fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470401072
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVt-PT-050A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15792.410 2262068.00 2262050.00 0.00 [undef] Cannot compute

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-159033470401072.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 ShieldRVt-PT-050A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.1K May 14 03:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 20:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:55 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 136K 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 1590457513833

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

Filename model.pnml
Petri model created: 403 places, 403 transitions, 1706 arcs.
AT ITER 0 NEW BEST:: SOT 127357 SOS 93163 HAS SOPS 93163 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87414.163
AT ITER 1 NEW BEST:: SOT 127123 SOS 92854 HAS SOPS 92854 HAS SOUS 87012 HAS SOUPS 87012 WITH SCORE 87104.854
AT ITER 10 NEW BEST:: SOT 126954 SOS 92540 HAS SOPS 92540 HAS SOUS 86749 HAS SOUPS 86749 WITH SCORE 86841.54
AT ITER 17 NEW BEST:: SOT 126951 SOS 92537 HAS SOPS 92537 HAS SOUS 86746 HAS SOUPS 86746 WITH SCORE 86838.537
AT ITER 18 NEW BEST:: SOT 126916 SOS 92467 HAS SOPS 92467 HAS SOUS 86641 HAS SOUPS 86641 WITH SCORE 86733.467
AT ITER 20 NEW BEST:: SOT 126787 SOS 92169 HAS SOPS 92169 HAS SOUS 86401 HAS SOUPS 86401 WITH SCORE 86493.169
AT ITER 21 NEW BEST:: SOT 126592 SOS 91864 HAS SOPS 91864 HAS SOUS 86233 HAS SOUPS 86233 WITH SCORE 86324.864
AT ITER 22 NEW BEST:: SOT 126550 SOS 91622 HAS SOPS 91622 HAS SOUS 86089 HAS SOUPS 86089 WITH SCORE 86180.622
AT ITER 23 NEW BEST:: SOT 126472 SOS 91498 HAS SOPS 91498 HAS SOUS 85890 HAS SOUPS 85890 WITH SCORE 85981.498
AT ITER 26 NEW BEST:: SOT 126389 SOS 91329 HAS SOPS 91329 HAS SOUS 85804 HAS SOUPS 85804 WITH SCORE 85895.329
AT ITER 28 NEW BEST:: SOT 125964 SOS 90729 HAS SOPS 90729 HAS SOUS 85074 HAS SOUPS 85074 WITH SCORE 85164.729
AT ITER 31 NEW BEST:: SOT 125842 SOS 90422 HAS SOPS 90422 HAS SOUS 84741 HAS SOUPS 84741 WITH SCORE 84831.422
AT ITER 32 NEW BEST:: SOT 125473 SOS 89804 HAS SOPS 89804 HAS SOUS 84046 HAS SOUPS 84046 WITH SCORE 84135.804
AT ITER 33 NEW BEST:: SOT 124997 SOS 89150 HAS SOPS 89150 HAS SOUS 83313 HAS SOUPS 83313 WITH SCORE 83402.15
AT ITER 34 NEW BEST:: SOT 124920 SOS 89073 HAS SOPS 89073 HAS SOUS 83236 HAS SOUPS 83236 WITH SCORE 83325.073
AT ITER 36 NEW BEST:: SOT 124603 SOS 88589 HAS SOPS 88589 HAS SOUS 82788 HAS SOUPS 82788 WITH SCORE 82876.589
AT ITER 39 NEW BEST:: SOT 124321 SOS 88133 HAS SOPS 88133 HAS SOUS 82249 HAS SOUPS 82249 WITH SCORE 82337.133
AT ITER 41 NEW BEST:: SOT 124248 SOS 87985 HAS SOPS 87985 HAS SOUS 82044 HAS SOUPS 82044 WITH SCORE 82131.985
AT ITER 43 NEW BEST:: SOT 124213 SOS 87950 HAS SOPS 87950 HAS SOUS 82009 HAS SOUPS 82009 WITH SCORE 82096.95
AT ITER 44 NEW BEST:: SOT 124127 SOS 87751 HAS SOPS 87751 HAS SOUS 81792 HAS SOUPS 81792 WITH SCORE 81879.751
AT ITER 45 NEW BEST:: SOT 124127 SOS 87693 HAS SOPS 87693 HAS SOUS 81792 HAS SOUPS 81792 WITH SCORE 81879.693
AT ITER 49 NEW BEST:: SOT 124123 SOS 87689 HAS SOPS 87689 HAS SOUS 81788 HAS SOUPS 81788 WITH SCORE 81875.689
AT ITER 50 NEW BEST:: SOT 123846 SOS 87225 HAS SOPS 87225 HAS SOUS 81221 HAS SOUPS 81221 WITH SCORE 81308.225
AT ITER 51 NEW BEST:: SOT 123716 SOS 87169 HAS SOPS 87169 HAS SOUS 81032 HAS SOUPS 81032 WITH SCORE 81119.169
AT ITER 52 NEW BEST:: SOT 123631 SOS 87000 HAS SOPS 87000 HAS SOUS 80863 HAS SOUPS 80863 WITH SCORE 80950.0
AT ITER 55 NEW BEST:: SOT 123628 SOS 86997 HAS SOPS 86997 HAS SOUS 80860 HAS SOUPS 80860 WITH SCORE 80946.997
AT ITER 57 NEW BEST:: SOT 123443 SOS 86494 HAS SOPS 86494 HAS SOUS 80553 HAS SOUPS 80553 WITH SCORE 80639.494
AT ITER 59 NEW BEST:: SOT 123054 SOS 85919 HAS SOPS 85919 HAS SOUS 80000 HAS SOUPS 80000 WITH SCORE 80085.919
AT ITER 60 NEW BEST:: SOT 123007 SOS 85825 HAS SOPS 85825 HAS SOUS 79946 HAS SOUPS 79946 WITH SCORE 80031.825
AT ITER 63 NEW BEST:: SOT 122852 SOS 85516 HAS SOPS 85516 HAS SOUS 79562 HAS SOUPS 79562 WITH SCORE 79647.516
AT ITER 67 NEW BEST:: SOT 122711 SOS 85236 HAS SOPS 85236 HAS SOUS 79355 HAS SOUPS 79355 WITH SCORE 79440.236
AT ITER 71 NEW BEST:: SOT 122599 SOS 85028 HAS SOPS 85028 HAS SOUS 79155 HAS SOUPS 79155 WITH SCORE 79240.028
AT ITER 73 NEW BEST:: SOT 122643 SOS 84970 HAS SOPS 84970 HAS SOUS 79035 HAS SOUPS 79035 WITH SCORE 79119.97
AT ITER 76 NEW BEST:: SOT 122644 SOS 84937 HAS SOPS 84937 HAS SOUS 78998 HAS SOUPS 78998 WITH SCORE 79082.937
AT ITER 79 NEW BEST:: SOT 122506 SOS 84753 HAS SOPS 84753 HAS SOUS 78814 HAS SOUPS 78814 WITH SCORE 78898.753
AT ITER 80 NEW BEST:: SOT 122082 SOS 84165 HAS SOPS 84165 HAS SOUS 78226 HAS SOUPS 78226 WITH SCORE 78310.165
AT ITER 82 NEW BEST:: SOT 121992 SOS 83986 HAS SOPS 83986 HAS SOUS 77958 HAS SOUPS 77958 WITH SCORE 78041.986
AT ITER 86 NEW BEST:: SOT 121936 SOS 83893 HAS SOPS 83893 HAS SOUS 77865 HAS SOUPS 77865 WITH SCORE 77948.893
AT ITER 88 NEW BEST:: SOT 121910 SOS 83765 HAS SOPS 83765 HAS SOUS 77785 HAS SOUPS 77785 WITH SCORE 77868.765
AT ITER 89 NEW BEST:: SOT 121807 SOS 83464 HAS SOPS 83464 HAS SOUS 77499 HAS SOUPS 77499 WITH SCORE 77582.464
AT ITER 90 NEW BEST:: SOT 121821 SOS 83493 HAS SOPS 83493 HAS SOUS 77449 HAS SOUPS 77449 WITH SCORE 77532.493
AT ITER 91 NEW BEST:: SOT 121603 SOS 83131 HAS SOPS 83131 HAS SOUS 76851 HAS SOUPS 76851 WITH SCORE 76934.131
AT ITER 92 NEW BEST:: SOT 121598 SOS 83001 HAS SOPS 83001 HAS SOUS 76840 HAS SOUPS 76840 WITH SCORE 76923.001
AT ITER 93 NEW BEST:: SOT 121537 SOS 82880 HAS SOPS 82880 HAS SOUS 76659 HAS SOUPS 76659 WITH SCORE 76741.88
AT ITER 94 NEW BEST:: SOT 121488 SOS 82842 HAS SOPS 82842 HAS SOUS 76630 HAS SOUPS 76630 WITH SCORE 76712.842
AT ITER 96 NEW BEST:: SOT 121330 SOS 82526 HAS SOPS 82526 HAS SOUS 76401 HAS SOUPS 76401 WITH SCORE 76483.526
AT ITER 97 NEW BEST:: SOT 121140 SOS 82037 HAS SOPS 82037 HAS SOUS 75911 HAS SOUPS 75911 WITH SCORE 75993.037
AT ITER 100 NEW BEST:: SOT 121105 SOS 81968 HAS SOPS 81968 HAS SOUS 75821 HAS SOUPS 75821 WITH SCORE 75902.968
AT ITER 108 NEW BEST:: SOT 120925 SOS 81375 HAS SOPS 81375 HAS SOUS 75162 HAS SOUPS 75162 WITH SCORE 75243.375
AT ITER 109 NEW BEST:: SOT 120784 SOS 81096 HAS SOPS 81096 HAS SOUS 74883 HAS SOUPS 74883 WITH SCORE 74964.096
AT ITER 110 NEW BEST:: SOT 120509 SOS 80742 HAS SOPS 80742 HAS SOUS 74450 HAS SOUPS 74450 WITH SCORE 74530.742
AT ITER 112 NEW BEST:: SOT 120508 SOS 80741 HAS SOPS 80741 HAS SOUS 74449 HAS SOUPS 74449 WITH SCORE 74529.741
AT ITER 114 NEW BEST:: SOT 120331 SOS 80392 HAS SOPS 80392 HAS SOUS 73995 HAS SOUPS 73995 WITH SCORE 74075.392
AT ITER 116 NEW BEST:: SOT 120328 SOS 80389 HAS SOPS 80389 HAS SOUS 73992 HAS SOUPS 73992 WITH SCORE 74072.389
AT ITER 117 NEW BEST:: SOT 120274 SOS 80216 HAS SOPS 80216 HAS SOUS 73789 HAS SOUPS 73789 WITH SCORE 73869.216
AT ITER 120 NEW BEST:: SOT 120274 SOS 80424 HAS SOPS 80424 HAS SOUS 73760 HAS SOUPS 73760 WITH SCORE 73840.424
AT ITER 126 NEW BEST:: SOT 120188 SOS 80338 HAS SOPS 80338 HAS SOUS 73674 HAS SOUPS 73674 WITH SCORE 73754.338
AT ITER 129 NEW BEST:: SOT 119988 SOS 80084 HAS SOPS 80084 HAS SOUS 73445 HAS SOUPS 73445 WITH SCORE 73525.084
AT ITER 131 NEW BEST:: SOT 119890 SOS 79886 HAS SOPS 79886 HAS SOUS 73247 HAS SOUPS 73247 WITH SCORE 73326.886
AT ITER 132 NEW BEST:: SOT 119845 SOS 79826 HAS SOPS 79826 HAS SOUS 73174 HAS SOUPS 73174 WITH SCORE 73253.826
AT ITER 133 NEW BEST:: SOT 119773 SOS 79718 HAS SOPS 79718 HAS SOUS 73066 HAS SOUPS 73066 WITH SCORE 73145.718
AT ITER 134 NEW BEST:: SOT 119668 SOS 79304 HAS SOPS 79304 HAS SOUS 72755 HAS SOUPS 72755 WITH SCORE 72834.304
AT ITER 144 NEW BEST:: SOT 119505 SOS 78902 HAS SOPS 78902 HAS SOUS 72430 HAS SOUPS 72430 WITH SCORE 72508.902
AT ITER 145 NEW BEST:: SOT 119380 SOS 78657 HAS SOPS 78657 HAS SOUS 72429 HAS SOUPS 72429 WITH SCORE 72507.657
AT ITER 146 NEW BEST:: SOT 119380 SOS 78725 HAS SOPS 78725 HAS SOUS 72397 HAS SOUPS 72397 WITH SCORE 72475.725
AT ITER 148 NEW BEST:: SOT 119337 SOS 78597 HAS SOPS 78597 HAS SOUS 72356 HAS SOUPS 72356 WITH SCORE 72434.597
AT ITER 153 NEW BEST:: SOT 119230 SOS 78384 HAS SOPS 78384 HAS SOUS 72143 HAS SOUPS 72143 WITH SCORE 72221.384
AT ITER 155 NEW BEST:: SOT 119087 SOS 78210 HAS SOPS 78210 HAS SOUS 71969 HAS SOUPS 71969 WITH SCORE 72047.21
AT ITER 158 NEW BEST:: SOT 119024 SOS 78084 HAS SOPS 78084 HAS SOUS 71843 HAS SOUPS 71843 WITH SCORE 71921.084
AT ITER 161 NEW BEST:: SOT 118989 SOS 78019 HAS SOPS 78019 HAS SOUS 71748 HAS SOUPS 71748 WITH SCORE 71826.019
AT ITER 163 NEW BEST:: SOT 118752 SOS 77703 HAS SOPS 77703 HAS SOUS 71374 HAS SOUPS 71374 WITH SCORE 71451.703
AT ITER 166 NEW BEST:: SOT 118550 SOS 77262 HAS SOPS 77262 HAS SOUS 70823 HAS SOUPS 70823 WITH SCORE 70900.262
AT ITER 168 NEW BEST:: SOT 118545 SOS 77252 HAS SOPS 77252 HAS SOUS 70808 HAS SOUPS 70808 WITH SCORE 70885.252
AT ITER 171 NEW BEST:: SOT 118445 SOS 77104 HAS SOPS 77104 HAS SOUS 70660 HAS SOUPS 70660 WITH SCORE 70737.104
AT ITER 174 NEW BEST:: SOT 118442 SOS 77101 HAS SOPS 77101 HAS SOUS 70626 HAS SOUPS 70626 WITH SCORE 70703.101
AT ITER 177 NEW BEST:: SOT 118441 SOS 77100 HAS SOPS 77100 HAS SOUS 70625 HAS SOUPS 70625 WITH SCORE 70702.1
AT ITER 179 NEW BEST:: SOT 118267 SOS 76840 HAS SOPS 76840 HAS SOUS 70401 HAS SOUPS 70401 WITH SCORE 70477.84
AT ITER 180 NEW BEST:: SOT 118160 SOS 76408 HAS SOPS 76408 HAS SOUS 70068 HAS SOUPS 70068 WITH SCORE 70144.408
AT ITER 181 NEW BEST:: SOT 118086 SOS 76307 HAS SOPS 76307 HAS SOUS 69967 HAS SOUPS 69967 WITH SCORE 70043.307
AT ITER 183 NEW BEST:: SOT 117955 SOS 75886 HAS SOPS 75886 HAS SOUS 69498 HAS SOUPS 69498 WITH SCORE 69573.886
AT ITER 190 NEW BEST:: SOT 117844 SOS 75507 HAS SOPS 75507 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69255.507
AT ITER 196 NEW BEST:: SOT 117662 SOS 75142 HAS SOPS 75142 HAS SOUS 68902 HAS SOUPS 68902 WITH SCORE 68977.142
AT ITER 199 NEW BEST:: SOT 117563 SOS 74842 HAS SOPS 74842 HAS SOUS 68765 HAS SOUPS 68765 WITH SCORE 68839.842
AT ITER 200 NEW BEST:: SOT 117278 SOS 74429 HAS SOPS 74429 HAS SOUS 68289 HAS SOUPS 68289 WITH SCORE 68363.429
AT ITER 202 NEW BEST:: SOT 117144 SOS 74295 HAS SOPS 74295 HAS SOUS 68155 HAS SOUPS 68155 WITH SCORE 68229.295
AT ITER 204 NEW BEST:: SOT 117013 SOS 74028 HAS SOPS 74028 HAS SOUS 67888 HAS SOUPS 67888 WITH SCORE 67962.028
AT ITER 207 NEW BEST:: SOT 116630 SOS 73477 HAS SOPS 73477 HAS SOUS 67264 HAS SOUPS 67264 WITH SCORE 67337.477
AT ITER 208 NEW BEST:: SOT 116445 SOS 73230 HAS SOPS 73230 HAS SOUS 67017 HAS SOUPS 67017 WITH SCORE 67090.23
AT ITER 216 NEW BEST:: SOT 116445 SOS 73181 HAS SOPS 73181 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67074.181
AT ITER 218 NEW BEST:: SOT 116339 SOS 72895 HAS SOPS 72895 HAS SOUS 66736 HAS SOUPS 66736 WITH SCORE 66808.895
AT ITER 219 NEW BEST:: SOT 116179 SOS 72509 HAS SOPS 72509 HAS SOUS 66334 HAS SOUPS 66334 WITH SCORE 66406.509
AT ITER 223 NEW BEST:: SOT 115976 SOS 72163 HAS SOPS 72163 HAS SOUS 65845 HAS SOUPS 65845 WITH SCORE 65917.163
AT ITER 230 NEW BEST:: SOT 115795 SOS 71740 HAS SOPS 71740 HAS SOUS 65560 HAS SOUPS 65560 WITH SCORE 65631.74
AT ITER 240 NEW BEST:: SOT 115877 SOS 71675 HAS SOPS 71675 HAS SOUS 65512 HAS SOUPS 65512 WITH SCORE 65583.675
AT ITER 241 NEW BEST:: SOT 115842 SOS 71602 HAS SOPS 71602 HAS SOUS 65470 HAS SOUPS 65470 WITH SCORE 65541.602
AT ITER 246 NEW BEST:: SOT 115842 SOS 71539 HAS SOPS 71539 HAS SOUS 65407 HAS SOUPS 65407 WITH SCORE 65478.539
AT ITER 247 NEW BEST:: SOT 115755 SOS 71423 HAS SOPS 71423 HAS SOUS 65291 HAS SOUPS 65291 WITH SCORE 65362.423
AT ITER 251 NEW BEST:: SOT 115656 SOS 71282 HAS SOPS 71282 HAS SOUS 65150 HAS SOUPS 65150 WITH SCORE 65221.282
AT ITER 255 NEW BEST:: SOT 115642 SOS 71068 HAS SOPS 71068 HAS SOUS 64851 HAS SOUPS 64851 WITH SCORE 64922.068
AT ITER 258 NEW BEST:: SOT 115576 SOS 70917 HAS SOPS 70917 HAS SOUS 64702 HAS SOUPS 64702 WITH SCORE 64772.917
AT ITER 259 NEW BEST:: SOT 115475 SOS 70771 HAS SOPS 70771 HAS SOUS 64572 HAS SOUPS 64572 WITH SCORE 64642.771
AT ITER 265 NEW BEST:: SOT 115475 SOS 70833 HAS SOPS 70833 HAS SOUS 64570 HAS SOUPS 64570 WITH SCORE 64640.833
AT ITER 266 NEW BEST:: SOT 115382 SOS 70429 HAS SOPS 70429 HAS SOUS 64312 HAS SOUPS 64312 WITH SCORE 64382.429
AT ITER 272 NEW BEST:: SOT 115440 SOS 70451 HAS SOPS 70451 HAS SOUS 64303 HAS SOUPS 64303 WITH SCORE 64373.451
AT ITER 275 NEW BEST:: SOT 115288 SOS 70269 HAS SOPS 70269 HAS SOUS 64121 HAS SOUPS 64121 WITH SCORE 64191.269
AT ITER 276 NEW BEST:: SOT 115279 SOS 70030 HAS SOPS 70030 HAS SOUS 63924 HAS SOUPS 63924 WITH SCORE 63994.03
AT ITER 278 NEW BEST:: SOT 114978 SOS 69439 HAS SOPS 69439 HAS SOUS 63243 HAS SOUPS 63243 WITH SCORE 63312.439
AT ITER 282 NEW BEST:: SOT 114871 SOS 69296 HAS SOPS 69296 HAS SOUS 63092 HAS SOUPS 63092 WITH SCORE 63161.296
AT ITER 293 NEW BEST:: SOT 114785 SOS 69106 HAS SOPS 69106 HAS SOUS 62895 HAS SOUPS 62895 WITH SCORE 62964.106
AT ITER 294 NEW BEST:: SOT 114672 SOS 68767 HAS SOPS 68767 HAS SOUS 62669 HAS SOUPS 62669 WITH SCORE 62737.767
AT ITER 297 NEW BEST:: SOT 114606 SOS 68503 HAS SOPS 68503 HAS SOUS 62502 HAS SOUPS 62502 WITH SCORE 62570.503
AT ITER 302 NEW BEST:: SOT 114616 SOS 68435 HAS SOPS 68435 HAS SOUS 62444 HAS SOUPS 62444 WITH SCORE 62512.435
AT ITER 305 NEW BEST:: SOT 114556 SOS 68315 HAS SOPS 68315 HAS SOUS 62324 HAS SOUPS 62324 WITH SCORE 62392.315
AT ITER 306 NEW BEST:: SOT 114422 SOS 67832 HAS SOPS 67832 HAS SOUS 61926 HAS SOUPS 61926 WITH SCORE 61993.832
AT ITER 312 NEW BEST:: SOT 114295 SOS 67705 HAS SOPS 67705 HAS SOUS 61799 HAS SOUPS 61799 WITH SCORE 61866.705
AT ITER 313 NEW BEST:: SOT 113926 SOS 67077 HAS SOPS 67077 HAS SOUS 61332 HAS SOUPS 61332 WITH SCORE 61399.077
AT ITER 318 NEW BEST:: SOT 113858 SOS 66985 HAS SOPS 66985 HAS SOUS 61229 HAS SOUPS 61229 WITH SCORE 61295.985
AT ITER 319 NEW BEST:: SOT 113764 SOS 66797 HAS SOPS 66797 HAS SOUS 60994 HAS SOUPS 60994 WITH SCORE 61060.797
AT ITER 322 NEW BEST:: SOT 113764 SOS 66852 HAS SOPS 66852 HAS SOUS 60933 HAS SOUPS 60933 WITH SCORE 60999.852
AT ITER 326 NEW BEST:: SOT 113722 SOS 66785 HAS SOPS 66785 HAS SOUS 60849 HAS SOUPS 60849 WITH SCORE 60915.785
AT ITER 327 NEW BEST:: SOT 113656 SOS 66724 HAS SOPS 66724 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60847.724
AT ITER 329 NEW BEST:: SOT 113646 SOS 66724 HAS SOPS 66724 HAS SOUS 60751 HAS SOUPS 60751 WITH SCORE 60817.724
AT ITER 332 NEW BEST:: SOT 113646 SOS 66749 HAS SOPS 66749 HAS SOUS 60726 HAS SOUPS 60726 WITH SCORE 60792.749
AT ITER 335 NEW BEST:: SOT 113646 SOS 66753 HAS SOPS 66753 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60760.753
AT ITER 336 NEW BEST:: SOT 113451 SOS 66232 HAS SOPS 66232 HAS SOUS 60328 HAS SOUPS 60328 WITH SCORE 60394.232
AT ITER 341 NEW BEST:: SOT 113447 SOS 66224 HAS SOPS 66224 HAS SOUS 60316 HAS SOUPS 60316 WITH SCORE 60382.224
AT ITER 342 NEW BEST:: SOT 113322 SOS 66131 HAS SOPS 66131 HAS SOUS 59980 HAS SOUPS 59980 WITH SCORE 60046.131
AT ITER 343 NEW BEST:: SOT 113322 SOS 66131 HAS SOPS 66131 HAS SOUS 59978 HAS SOUPS 59978 WITH SCORE 60044.131
AT ITER 345 NEW BEST:: SOT 113131 SOS 65796 HAS SOPS 65796 HAS SOUS 59682 HAS SOUPS 59682 WITH SCORE 59747.796
AT ITER 350 NEW BEST:: SOT 113085 SOS 65658 HAS SOPS 65658 HAS SOUS 59636 HAS SOUPS 59636 WITH SCORE 59701.658
AT ITER 351 NEW BEST:: SOT 113076 SOS 65588 HAS SOPS 65588 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59649.588
AT ITER 354 NEW BEST:: SOT 112979 SOS 65622 HAS SOPS 65622 HAS SOUS 59456 HAS SOUPS 59456 WITH SCORE 59521.622
AT ITER 355 NEW BEST:: SOT 112793 SOS 65056 HAS SOPS 65056 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59090.056
AT ITER 366 NEW BEST:: SOT 112764 SOS 64976 HAS SOPS 64976 HAS SOUS 58894 HAS SOUPS 58894 WITH SCORE 58958.976
AT ITER 368 NEW BEST:: SOT 112728 SOS 64836 HAS SOPS 64836 HAS SOUS 58733 HAS SOUPS 58733 WITH SCORE 58797.836
AT ITER 371 NEW BEST:: SOT 112515 SOS 64423 HAS SOPS 64423 HAS SOUS 58340 HAS SOUPS 58340 WITH SCORE 58404.423
AT ITER 373 NEW BEST:: SOT 112466 SOS 64351 HAS SOPS 64351 HAS SOUS 58268 HAS SOUPS 58268 WITH SCORE 58332.351
AT ITER 375 NEW BEST:: SOT 112439 SOS 64306 HAS SOPS 64306 HAS SOUS 58205 HAS SOUPS 58205 WITH SCORE 58269.306
AT ITER 376 NEW BEST:: SOT 112292 SOS 64110 HAS SOPS 64110 HAS SOUS 58005 HAS SOUPS 58005 WITH SCORE 58069.11
AT ITER 380 NEW BEST:: SOT 112272 SOS 64048 HAS SOPS 64048 HAS SOUS 57945 HAS SOUPS 57945 WITH SCORE 58009.048
AT ITER 381 NEW BEST:: SOT 112243 SOS 63975 HAS SOPS 63975 HAS SOUS 57887 HAS SOUPS 57887 WITH SCORE 57950.975
AT ITER 382 NEW BEST:: SOT 112125 SOS 63741 HAS SOPS 63741 HAS SOUS 57654 HAS SOUPS 57654 WITH SCORE 57717.741
AT ITER 383 NEW BEST:: SOT 111818 SOS 63156 HAS SOPS 63156 HAS SOUS 56809 HAS SOUPS 56809 WITH SCORE 56872.156
AT ITER 387 NEW BEST:: SOT 111818 SOS 63132 HAS SOPS 63132 HAS SOUS 56776 HAS SOUPS 56776 WITH SCORE 56839.132
AT ITER 388 NEW BEST:: SOT 111818 SOS 63162 HAS SOPS 63162 HAS SOUS 56761 HAS SOUPS 56761 WITH SCORE 56824.162
AT ITER 396 NEW BEST:: SOT 111711 SOS 62864 HAS SOPS 62864 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56456.864
AT ITER 397 NEW BEST:: SOT 111700 SOS 62779 HAS SOPS 62779 HAS SOUS 56365 HAS SOUPS 56365 WITH SCORE 56427.779
AT ITER 400 NEW BEST:: SOT 111700 SOS 62748 HAS SOPS 62748 HAS SOUS 56334 HAS SOUPS 56334 WITH SCORE 56396.748
AT ITER 411 NEW BEST:: SOT 111524 SOS 62395 HAS SOPS 62395 HAS SOUS 56166 HAS SOUPS 56166 WITH SCORE 56228.395
AT ITER 412 NEW BEST:: SOT 111504 SOS 62375 HAS SOPS 62375 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56208.375
AT ITER 425 NEW BEST:: SOT 111426 SOS 62240 HAS SOPS 62240 HAS SOUS 56011 HAS SOUPS 56011 WITH SCORE 56073.24
AT ITER 426 NEW BEST:: SOT 111346 SOS 62164 HAS SOPS 62164 HAS SOUS 55927 HAS SOUPS 55927 WITH SCORE 55989.164
AT ITER 427 NEW BEST:: SOT 111236 SOS 61999 HAS SOPS 61999 HAS SOUS 55762 HAS SOUPS 55762 WITH SCORE 55823.999
AT ITER 434 NEW BEST:: SOT 111179 SOS 61874 HAS SOPS 61874 HAS SOUS 55630 HAS SOUPS 55630 WITH SCORE 55691.874
AT ITER 438 NEW BEST:: SOT 110985 SOS 61562 HAS SOPS 61562 HAS SOUS 55398 HAS SOUPS 55398 WITH SCORE 55459.562
AT ITER 442 NEW BEST:: SOT 110843 SOS 61420 HAS SOPS 61420 HAS SOUS 55256 HAS SOUPS 55256 WITH SCORE 55317.42
AT ITER 443 NEW BEST:: SOT 110932 SOS 61509 HAS SOPS 61509 HAS SOUS 55254 HAS SOUPS 55254 WITH SCORE 55315.509
AT ITER 444 NEW BEST:: SOT 110831 SOS 61256 HAS SOPS 61256 HAS SOUS 54965 HAS SOUPS 54965 WITH SCORE 55026.256
AT ITER 446 NEW BEST:: SOT 110796 SOS 61153 HAS SOPS 61153 HAS SOUS 54858 HAS SOUPS 54858 WITH SCORE 54919.153
AT ITER 451 NEW BEST:: SOT 110794 SOS 61149 HAS SOPS 61149 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54582.149
AT ITER 453 NEW BEST:: SOT 110763 SOS 61137 HAS SOPS 61137 HAS SOUS 54479 HAS SOUPS 54479 WITH SCORE 54540.137
AT ITER 456 NEW BEST:: SOT 110647 SOS 60929 HAS SOPS 60929 HAS SOUS 54380 HAS SOUPS 54380 WITH SCORE 54440.929
AT ITER 457 NEW BEST:: SOT 110657 SOS 60892 HAS SOPS 60892 HAS SOUS 54343 HAS SOUPS 54343 WITH SCORE 54403.892
AT ITER 458 NEW BEST:: SOT 110653 SOS 60886 HAS SOPS 60886 HAS SOUS 54337 HAS SOUPS 54337 WITH SCORE 54397.886
AT ITER 461 NEW BEST:: SOT 110435 SOS 60759 HAS SOPS 60759 HAS SOUS 54088 HAS SOUPS 54088 WITH SCORE 54148.759
AT ITER 463 NEW BEST:: SOT 110297 SOS 60617 HAS SOPS 60617 HAS SOUS 53922 HAS SOUPS 53922 WITH SCORE 53982.617
AT ITER 467 NEW BEST:: SOT 110297 SOS 60571 HAS SOPS 60571 HAS SOUS 53876 HAS SOUPS 53876 WITH SCORE 53936.571
AT ITER 469 NEW BEST:: SOT 110272 SOS 60562 HAS SOPS 60562 HAS SOUS 53804 HAS SOUPS 53804 WITH SCORE 53864.562
AT ITER 471 NEW BEST:: SOT 110038 SOS 60082 HAS SOPS 60082 HAS SOUS 53403 HAS SOUPS 53403 WITH SCORE 53463.082
AT ITER 472 NEW BEST:: SOT 109971 SOS 60015 HAS SOPS 60015 HAS SOUS 53345 HAS SOUPS 53345 WITH SCORE 53405.015
AT ITER 484 NEW BEST:: SOT 109971 SOS 60054 HAS SOPS 60054 HAS SOUS 53337 HAS SOUPS 53337 WITH SCORE 53397.054
AT ITER 490 NEW BEST:: SOT 109895 SOS 59978 HAS SOPS 59978 HAS SOUS 53214 HAS SOUPS 53214 WITH SCORE 53273.978
AT ITER 493 NEW BEST:: SOT 109817 SOS 59900 HAS SOPS 59900 HAS SOUS 53136 HAS SOUPS 53136 WITH SCORE 53195.9
AT ITER 497 NEW BEST:: SOT 109709 SOS 59709 HAS SOPS 59709 HAS SOUS 52921 HAS SOUPS 52921 WITH SCORE 52980.709
AT ITER 500 NEW BEST:: SOT 109664 SOS 59626 HAS SOPS 59626 HAS SOUS 52867 HAS SOUPS 52867 WITH SCORE 52926.626
AT ITER 508 NEW BEST:: SOT 109654 SOS 59606 HAS SOPS 59606 HAS SOUS 52847 HAS SOUPS 52847 WITH SCORE 52906.606
AT ITER 513 NEW BEST:: SOT 109650 SOS 59593 HAS SOPS 59593 HAS SOUS 52832 HAS SOUPS 52832 WITH SCORE 52891.593
AT ITER 518 NEW BEST:: SOT 109650 SOS 59385 HAS SOPS 59385 HAS SOUS 52576 HAS SOUPS 52576 WITH SCORE 52635.385
AT ITER 519 NEW BEST:: SOT 109592 SOS 59263 HAS SOPS 59263 HAS SOUS 52460 HAS SOUPS 52460 WITH SCORE 52519.263
AT ITER 521 NEW BEST:: SOT 109592 SOS 59275 HAS SOPS 59275 HAS SOUS 52448 HAS SOUPS 52448 WITH SCORE 52507.275
AT ITER 524 NEW BEST:: SOT 109458 SOS 59037 HAS SOPS 59037 HAS SOUS 52252 HAS SOUPS 52252 WITH SCORE 52311.037
AT ITER 526 NEW BEST:: SOT 109399 SOS 58814 HAS SOPS 58814 HAS SOUS 52111 HAS SOUPS 52111 WITH SCORE 52169.814
AT ITER 529 NEW BEST:: SOT 109281 SOS 58544 HAS SOPS 58544 HAS SOUS 51966 HAS SOUPS 51966 WITH SCORE 52024.544
AT ITER 530 NEW BEST:: SOT 109251 SOS 58514 HAS SOPS 58514 HAS SOUS 51921 HAS SOUPS 51921 WITH SCORE 51979.514
AT ITER 531 NEW BEST:: SOT 109227 SOS 58452 HAS SOPS 58452 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51917.452
AT ITER 532 NEW BEST:: SOT 109215 SOS 58245 HAS SOPS 58245 HAS SOUS 51652 HAS SOUPS 51652 WITH SCORE 51710.245
AT ITER 534 NEW BEST:: SOT 109166 SOS 58147 HAS SOPS 58147 HAS SOUS 51554 HAS SOUPS 51554 WITH SCORE 51612.147
AT ITER 536 NEW BEST:: SOT 109129 SOS 58098 HAS SOPS 58098 HAS SOUS 51505 HAS SOUPS 51505 WITH SCORE 51563.098
AT ITER 539 NEW BEST:: SOT 109071 SOS 57901 HAS SOPS 57901 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51428.901
AT ITER 543 NEW BEST:: SOT 108989 SOS 57737 HAS SOPS 57737 HAS SOUS 51207 HAS SOUPS 51207 WITH SCORE 51264.737
AT ITER 554 NEW BEST:: SOT 108959 SOS 57641 HAS SOPS 57641 HAS SOUS 51131 HAS SOUPS 51131 WITH SCORE 51188.641
AT ITER 557 NEW BEST:: SOT 108974 SOS 57567 HAS SOPS 57567 HAS SOUS 51082 HAS SOUPS 51082 WITH SCORE 51139.567
AT ITER 565 NEW BEST:: SOT 108953 SOS 57488 HAS SOPS 57488 HAS SOUS 51022 HAS SOUPS 51022 WITH SCORE 51079.488
AT ITER 566 NEW BEST:: SOT 108896 SOS 57321 HAS SOPS 57321 HAS SOUS 50910 HAS SOUPS 50910 WITH SCORE 50967.321
AT ITER 571 NEW BEST:: SOT 108831 SOS 57103 HAS SOPS 57103 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50809.103
AT ITER 578 NEW BEST:: SOT 108840 SOS 57046 HAS SOPS 57046 HAS SOUS 50670 HAS SOUPS 50670 WITH SCORE 50727.046
AT ITER 587 NEW BEST:: SOT 108731 SOS 56828 HAS SOPS 56828 HAS SOUS 50532 HAS SOUPS 50532 WITH SCORE 50588.828
AT ITER 588 NEW BEST:: SOT 108717 SOS 56816 HAS SOPS 56816 HAS SOUS 50520 HAS SOUPS 50520 WITH SCORE 50576.816
AT ITER 594 NEW BEST:: SOT 108705 SOS 56792 HAS SOPS 56792 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50552.792
AT ITER 595 NEW BEST:: SOT 108565 SOS 56543 HAS SOPS 56543 HAS SOUS 50259 HAS SOUPS 50259 WITH SCORE 50315.543
AT ITER 599 NEW BEST:: SOT 108565 SOS 56595 HAS SOPS 56595 HAS SOUS 50175 HAS SOUPS 50175 WITH SCORE 50231.595
AT ITER 612 NEW BEST:: SOT 108478 SOS 56114 HAS SOPS 56114 HAS SOUS 49956 HAS SOUPS 49956 WITH SCORE 50012.114
AT ITER 615 NEW BEST:: SOT 108414 SOS 55840 HAS SOPS 55840 HAS SOUS 49700 HAS SOUPS 49700 WITH SCORE 49755.84
AT ITER 616 NEW BEST:: SOT 108259 SOS 55358 HAS SOPS 55358 HAS SOUS 49415 HAS SOUPS 49415 WITH SCORE 49470.358
AT ITER 618 NEW BEST:: SOT 108259 SOS 55257 HAS SOPS 55257 HAS SOUS 49380 HAS SOUPS 49380 WITH SCORE 49435.257
AT ITER 619 NEW BEST:: SOT 108221 SOS 55340 HAS SOPS 55340 HAS SOUS 49360 HAS SOUPS 49360 WITH SCORE 49415.34
AT ITER 631 NEW BEST:: SOT 108166 SOS 55266 HAS SOPS 55266 HAS SOUS 49286 HAS SOUPS 49286 WITH SCORE 49341.266
AT ITER 632 NEW BEST:: SOT 108166 SOS 55250 HAS SOPS 55250 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49309.25
AT ITER 642 NEW BEST:: SOT 108166 SOS 55241 HAS SOPS 55241 HAS SOUS 49213 HAS SOUPS 49213 WITH SCORE 49268.241
AT ITER 643 NEW BEST:: SOT 108140 SOS 55163 HAS SOPS 55163 HAS SOUS 49161 HAS SOUPS 49161 WITH SCORE 49216.163
AT ITER 647 NEW BEST:: SOT 108119 SOS 55074 HAS SOPS 55074 HAS SOUS 49082 HAS SOUPS 49082 WITH SCORE 49137.074
AT ITER 649 NEW BEST:: SOT 108035 SOS 54864 HAS SOPS 54864 HAS SOUS 48914 HAS SOUPS 48914 WITH SCORE 48968.864
AT ITER 653 NEW BEST:: SOT 108035 SOS 54864 HAS SOPS 54864 HAS SOUS 48827 HAS SOUPS 48827 WITH SCORE 48881.864
AT ITER 654 NEW BEST:: SOT 108035 SOS 54864 HAS SOPS 54864 HAS SOUS 48798 HAS SOUPS 48798 WITH SCORE 48852.864
AT ITER 657 NEW BEST:: SOT 108023 SOS 54840 HAS SOPS 54840 HAS SOUS 48624 HAS SOUPS 48624 WITH SCORE 48678.84
AT ITER 663 NEW BEST:: SOT 107825 SOS 54604 HAS SOPS 54604 HAS SOUS 48388 HAS SOUPS 48388 WITH SCORE 48442.604
AT ITER 664 NEW BEST:: SOT 107835 SOS 54680 HAS SOPS 54680 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48354.68
AT ITER 669 NEW BEST:: SOT 107777 SOS 54514 HAS SOPS 54514 HAS SOUS 48186 HAS SOUPS 48186 WITH SCORE 48240.514
AT ITER 671 NEW BEST:: SOT 107580 SOS 54275 HAS SOPS 54275 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 48000.275
AT ITER 674 NEW BEST:: SOT 107481 SOS 53991 HAS SOPS 53991 HAS SOUS 47866 HAS SOUPS 47866 WITH SCORE 47919.991
AT ITER 676 NEW BEST:: SOT 107477 SOS 53983 HAS SOPS 53983 HAS SOUS 47858 HAS SOUPS 47858 WITH SCORE 47911.983
AT ITER 677 NEW BEST:: SOT 107401 SOS 53688 HAS SOPS 53688 HAS SOUS 47709 HAS SOUPS 47709 WITH SCORE 47762.688
AT ITER 686 NEW BEST:: SOT 107254 SOS 53265 HAS SOPS 53265 HAS SOUS 47416 HAS SOUPS 47416 WITH SCORE 47469.265
AT ITER 688 NEW BEST:: SOT 107254 SOS 53172 HAS SOPS 53172 HAS SOUS 47324 HAS SOUPS 47324 WITH SCORE 47377.172
AT ITER 691 NEW BEST:: SOT 107235 SOS 53048 HAS SOPS 53048 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47269.048
AT ITER 699 NEW BEST:: SOT 107172 SOS 52969 HAS SOPS 52969 HAS SOUS 47118 HAS SOUPS 47118 WITH SCORE 47170.969
AT ITER 707 NEW BEST:: SOT 107169 SOS 52964 HAS SOPS 52964 HAS SOUS 47113 HAS SOUPS 47113 WITH SCORE 47165.964
AT ITER 709 NEW BEST:: SOT 107136 SOS 52915 HAS SOPS 52915 HAS SOUS 47058 HAS SOUPS 47058 WITH SCORE 47110.915
AT ITER 710 NEW BEST:: SOT 107127 SOS 52895 HAS SOPS 52895 HAS SOUS 47041 HAS SOUPS 47041 WITH SCORE 47093.895
AT ITER 711 NEW BEST:: SOT 107058 SOS 52714 HAS SOPS 52714 HAS SOUS 46972 HAS SOUPS 46972 WITH SCORE 47024.714
AT ITER 716 NEW BEST:: SOT 106976 SOS 52632 HAS SOPS 52632 HAS SOUS 46962 HAS SOUPS 46962 WITH SCORE 47014.632
AT ITER 718 NEW BEST:: SOT 106963 SOS 52593 HAS SOPS 52593 HAS SOUS 46910 HAS SOUPS 46910 WITH SCORE 46962.593
AT ITER 719 NEW BEST:: SOT 106783 SOS 52259 HAS SOPS 52259 HAS SOUS 46533 HAS SOUPS 46533 WITH SCORE 46585.259
AT ITER 732 NEW BEST:: SOT 106745 SOS 52225 HAS SOPS 52225 HAS SOUS 46487 HAS SOUPS 46487 WITH SCORE 46539.225
AT ITER 735 NEW BEST:: SOT 106744 SOS 52221 HAS SOPS 52221 HAS SOUS 46449 HAS SOUPS 46449 WITH SCORE 46501.221
AT ITER 741 NEW BEST:: SOT 106699 SOS 52131 HAS SOPS 52131 HAS SOUS 46359 HAS SOUPS 46359 WITH SCORE 46411.131
AT ITER 742 NEW BEST:: SOT 106643 SOS 52047 HAS SOPS 52047 HAS SOUS 46289 HAS SOUPS 46289 WITH SCORE 46341.047
AT ITER 743 NEW BEST:: SOT 106622 SOS 52005 HAS SOPS 52005 HAS SOUS 46226 HAS SOUPS 46226 WITH SCORE 46278.005
AT ITER 746 NEW BEST:: SOT 106459 SOS 51718 HAS SOPS 51718 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46042.718
AT ITER 747 NEW BEST:: SOT 106400 SOS 51687 HAS SOPS 51687 HAS SOUS 45928 HAS SOUPS 45928 WITH SCORE 45979.687
AT ITER 751 NEW BEST:: SOT 106366 SOS 51602 HAS SOPS 51602 HAS SOUS 45860 HAS SOUPS 45860 WITH SCORE 45911.602
AT ITER 755 NEW BEST:: SOT 106326 SOS 51562 HAS SOPS 51562 HAS SOUS 45836 HAS SOUPS 45836 WITH SCORE 45887.562
AT ITER 758 NEW BEST:: SOT 106216 SOS 51348 HAS SOPS 51348 HAS SOUS 45622 HAS SOUPS 45622 WITH SCORE 45673.348
AT ITER 760 NEW BEST:: SOT 106245 SOS 51234 HAS SOPS 51234 HAS SOUS 45568 HAS SOUPS 45568 WITH SCORE 45619.234
AT ITER 763 NEW BEST:: SOT 106233 SOS 51198 HAS SOPS 51198 HAS SOUS 45520 HAS SOUPS 45520 WITH SCORE 45571.198
AT ITER 767 NEW BEST:: SOT 106179 SOS 51152 HAS SOPS 51152 HAS SOUS 45505 HAS SOUPS 45505 WITH SCORE 45556.152
AT ITER 777 NEW BEST:: SOT 106178 SOS 51150 HAS SOPS 51150 HAS SOUS 45504 HAS SOUPS 45504 WITH SCORE 45555.15
AT ITER 782 NEW BEST:: SOT 106168 SOS 51129 HAS SOPS 51129 HAS SOUS 45489 HAS SOUPS 45489 WITH SCORE 45540.129
AT ITER 786 NEW BEST:: SOT 106124 SOS 51044 HAS SOPS 51044 HAS SOUS 45402 HAS SOUPS 45402 WITH SCORE 45453.044
AT ITER 787 NEW BEST:: SOT 105739 SOS 50268 HAS SOPS 50268 HAS SOUS 44808 HAS SOUPS 44808 WITH SCORE 44858.268
AT ITER 793 NEW BEST:: SOT 105680 SOS 50109 HAS SOPS 50109 HAS SOUS 44630 HAS SOUPS 44630 WITH SCORE 44680.109
AT ITER 796 NEW BEST:: SOT 105701 SOS 50020 HAS SOPS 50020 HAS SOUS 44577 HAS SOUPS 44577 WITH SCORE 44627.02
AT ITER 799 NEW BEST:: SOT 105680 SOS 49978 HAS SOPS 49978 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44591.978
AT ITER 815 NEW BEST:: SOT 105475 SOS 49585 HAS SOPS 49585 HAS SOUS 44224 HAS SOUPS 44224 WITH SCORE 44273.585
AT ITER 823 NEW BEST:: SOT 105461 SOS 49575 HAS SOPS 49575 HAS SOUS 44181 HAS SOUPS 44181 WITH SCORE 44230.575
AT ITER 840 NEW BEST:: SOT 105377 SOS 49321 HAS SOPS 49321 HAS SOUS 44093 HAS SOUPS 44093 WITH SCORE 44142.321
AT ITER 841 NEW BEST:: SOT 105240 SOS 49184 HAS SOPS 49184 HAS SOUS 44035 HAS SOUPS 44035 WITH SCORE 44084.184
AT ITER 853 NEW BEST:: SOT 104953 SOS 48763 HAS SOPS 48763 HAS SOUS 43423 HAS SOUPS 43423 WITH SCORE 43471.763
AT ITER 860 NEW BEST:: SOT 104857 SOS 48571 HAS SOPS 48571 HAS SOUS 43295 HAS SOUPS 43295 WITH SCORE 43343.571
AT ITER 863 NEW BEST:: SOT 104828 SOS 48542 HAS SOPS 48542 HAS SOUS 43237 HAS SOUPS 43237 WITH SCORE 43285.542
AT ITER 865 NEW BEST:: SOT 104808 SOS 48432 HAS SOPS 48432 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43240.432
AT ITER 873 NEW BEST:: SOT 104695 SOS 48044 HAS SOPS 48044 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 42971.044
AT ITER 874 NEW BEST:: SOT 104531 SOS 47716 HAS SOPS 47716 HAS SOUS 42677 HAS SOUPS 42677 WITH SCORE 42724.716
AT ITER 886 NEW BEST:: SOT 104503 SOS 47598 HAS SOPS 47598 HAS SOUS 42599 HAS SOUPS 42599 WITH SCORE 42646.598
AT ITER 890 NEW BEST:: SOT 104503 SOS 47505 HAS SOPS 47505 HAS SOUS 42575 HAS SOUPS 42575 WITH SCORE 42622.505
AT ITER 905 NEW BEST:: SOT 104488 SOS 47460 HAS SOPS 47460 HAS SOUS 42539 HAS SOUPS 42539 WITH SCORE 42586.46
AT ITER 906 NEW BEST:: SOT 104474 SOS 47446 HAS SOPS 47446 HAS SOUS 42525 HAS SOUPS 42525 WITH SCORE 42572.446
AT ITER 907 NEW BEST:: SOT 104422 SOS 47397 HAS SOPS 47397 HAS SOUS 42476 HAS SOUPS 42476 WITH SCORE 42523.397
AT ITER 908 NEW BEST:: SOT 104367 SOS 47323 HAS SOPS 47323 HAS SOUS 42402 HAS SOUPS 42402 WITH SCORE 42449.323
AT ITER 910 NEW BEST:: SOT 104362 SOS 47308 HAS SOPS 47308 HAS SOUS 42392 HAS SOUPS 42392 WITH SCORE 42439.308
AT ITER 920 NEW BEST:: SOT 104353 SOS 47240 HAS SOPS 47240 HAS SOUS 42344 HAS SOUPS 42344 WITH SCORE 42391.24
AT ITER 929 NEW BEST:: SOT 104353 SOS 47240 HAS SOPS 47240 HAS SOUS 42336 HAS SOUPS 42336 WITH SCORE 42383.24
AT ITER 932 NEW BEST:: SOT 104305 SOS 47150 HAS SOPS 47150 HAS SOUS 42207 HAS SOUPS 42207 WITH SCORE 42254.15
AT ITER 933 NEW BEST:: SOT 104300 SOS 47143 HAS SOPS 47143 HAS SOUS 42200 HAS SOUPS 42200 WITH SCORE 42247.143
AT ITER 934 NEW BEST:: SOT 104249 SOS 46787 HAS SOPS 46787 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42033.787
AT ITER 935 NEW BEST:: SOT 104192 SOS 46694 HAS SOPS 46694 HAS SOUS 41894 HAS SOUPS 41894 WITH SCORE 41940.694
AT ITER 936 NEW BEST:: SOT 104144 SOS 46707 HAS SOPS 46707 HAS SOUS 41655 HAS SOUPS 41655 WITH SCORE 41701.707
AT ITER 940 NEW BEST:: SOT 104133 SOS 46688 HAS SOPS 46688 HAS SOUS 41629 HAS SOUPS 41629 WITH SCORE 41675.688
AT ITER 953 NEW BEST:: SOT 104133 SOS 46663 HAS SOPS 46663 HAS SOUS 41629 HAS SOUPS 41629 WITH SCORE 41675.663
AT ITER 957 NEW BEST:: SOT 104099 SOS 46618 HAS SOPS 46618 HAS SOUS 41560 HAS SOUPS 41560 WITH SCORE 41606.618
AT ITER 962 NEW BEST:: SOT 104010 SOS 46460 HAS SOPS 46460 HAS SOUS 41399 HAS SOUPS 41399 WITH SCORE 41445.46
AT ITER 966 NEW BEST:: SOT 103974 SOS 46478 HAS SOPS 46478 HAS SOUS 41378 HAS SOUPS 41378 WITH SCORE 41424.478
AT ITER 978 NEW BEST:: SOT 103874 SOS 46378 HAS SOPS 46378 HAS SOUS 41219 HAS SOUPS 41219 WITH SCORE 41265.378
AT ITER 984 NEW BEST:: SOT 103817 SOS 46195 HAS SOPS 46195 HAS SOUS 41088 HAS SOUPS 41088 WITH SCORE 41134.195
AT ITER 1011 NEW BEST:: SOT 103673 SOS 45847 HAS SOPS 45847 HAS SOUS 40770 HAS SOUPS 40770 WITH SCORE 40815.847
AT ITER 1013 NEW BEST:: SOT 103477 SOS 45389 HAS SOPS 45389 HAS SOUS 40548 HAS SOUPS 40548 WITH SCORE 40593.389
AT ITER 1031 NEW BEST:: SOT 103439 SOS 45351 HAS SOPS 45351 HAS SOUS 40510 HAS SOUPS 40510 WITH SCORE 40555.351
AT ITER 1033 NEW BEST:: SOT 103427 SOS 45327 HAS SOPS 45327 HAS SOUS 40486 HAS SOUPS 40486 WITH SCORE 40531.327
AT ITER 1052 NEW BEST:: SOT 103384 SOS 45208 HAS SOPS 45208 HAS SOUS 40430 HAS SOUPS 40430 WITH SCORE 40475.208
AT ITER 1075 NEW BEST:: SOT 103303 SOS 45100 HAS SOPS 45100 HAS SOUS 40322 HAS SOUPS 40322 WITH SCORE 40367.1
AT ITER 1077 NEW BEST:: SOT 103268 SOS 44944 HAS SOPS 44944 HAS SOUS 40272 HAS SOUPS 40272 WITH SCORE 40316.944
AT ITER 1081 NEW BEST:: SOT 103268 SOS 44946 HAS SOPS 44946 HAS SOUS 40268 HAS SOUPS 40268 WITH SCORE 40312.946
AT ITER 1097 NEW BEST:: SOT 103262 SOS 44937 HAS SOPS 44937 HAS SOUS 40256 HAS SOUPS 40256 WITH SCORE 40300.937
AT ITER 1102 NEW BEST:: SOT 103262 SOS 45053 HAS SOPS 45053 HAS SOUS 40232 HAS SOUPS 40232 WITH SCORE 40277.053
AT ITER 1129 NEW BEST:: SOT 103134 SOS 44841 HAS SOPS 44841 HAS SOUS 40021 HAS SOUPS 40021 WITH SCORE 40065.841
AT ITER 1136 NEW BEST:: SOT 103125 SOS 44820 HAS SOPS 44820 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40050.82
AT ITER 1141 NEW BEST:: SOT 103103 SOS 44776 HAS SOPS 44776 HAS SOUS 39973 HAS SOUPS 39973 WITH SCORE 40017.776
AT ITER 1145 NEW BEST:: SOT 103083 SOS 44746 HAS SOPS 44746 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 39987.746
AT ITER 1154 NEW BEST:: SOT 103001 SOS 44664 HAS SOPS 44664 HAS SOUS 39861 HAS SOUPS 39861 WITH SCORE 39905.664
AT ITER 1163 NEW BEST:: SOT 103003 SOS 44706 HAS SOPS 44706 HAS SOUS 39834 HAS SOUPS 39834 WITH SCORE 39878.706
AT ITER 1174 NEW BEST:: SOT 102909 SOS 44471 HAS SOPS 44471 HAS SOUS 39646 HAS SOUPS 39646 WITH SCORE 39690.471
AT ITER 1190 NEW BEST:: SOT 102862 SOS 44415 HAS SOPS 44415 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39625.415
AT ITER 1202 NEW BEST:: SOT 102746 SOS 44235 HAS SOPS 44235 HAS SOUS 39391 HAS SOUPS 39391 WITH SCORE 39435.235
AT ITER 1214 NEW BEST:: SOT 102654 SOS 44097 HAS SOPS 44097 HAS SOUS 39203 HAS SOUPS 39203 WITH SCORE 39247.097
AT ITER 1223 NEW BEST:: SOT 102611 SOS 43974 HAS SOPS 43974 HAS SOUS 39140 HAS SOUPS 39140 WITH SCORE 39183.974
AT ITER 1232 NEW BEST:: SOT 102554 SOS 43846 HAS SOPS 43846 HAS SOUS 39038 HAS SOUPS 39038 WITH SCORE 39081.846
AT ITER 1234 NEW BEST:: SOT 102553 SOS 43840 HAS SOPS 43840 HAS SOUS 39032 HAS SOUPS 39032 WITH SCORE 39075.84
AT ITER 1236 NEW BEST:: SOT 102525 SOS 43765 HAS SOPS 43765 HAS SOUS 38967 HAS SOUPS 38967 WITH SCORE 39010.765
AT ITER 1239 NEW BEST:: SOT 102475 SOS 43668 HAS SOPS 43668 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38892.668
AT ITER 1241 NEW BEST:: SOT 102477 SOS 43678 HAS SOPS 43678 HAS SOUS 38824 HAS SOUPS 38824 WITH SCORE 38867.678
AT ITER 1246 NEW BEST:: SOT 102477 SOS 43658 HAS SOPS 43658 HAS SOUS 38793 HAS SOUPS 38793 WITH SCORE 38836.658
AT ITER 1276 NEW BEST:: SOT 102459 SOS 43602 HAS SOPS 43602 HAS SOUS 38762 HAS SOUPS 38762 WITH SCORE 38805.602
AT ITER 1277 NEW BEST:: SOT 102369 SOS 43390 HAS SOPS 43390 HAS SOUS 38641 HAS SOUPS 38641 WITH SCORE 38684.39
AT ITER 1284 NEW BEST:: SOT 102354 SOS 43309 HAS SOPS 43309 HAS SOUS 38583 HAS SOUPS 38583 WITH SCORE 38626.309
AT ITER 1290 NEW BEST:: SOT 102335 SOS 43214 HAS SOPS 43214 HAS SOUS 38545 HAS SOUPS 38545 WITH SCORE 38588.214
AT ITER 1293 NEW BEST:: SOT 102287 SOS 43101 HAS SOPS 43101 HAS SOUS 38511 HAS SOUPS 38511 WITH SCORE 38554.101
AT ITER 1302 NEW BEST:: SOT 102253 SOS 43067 HAS SOPS 43067 HAS SOUS 38477 HAS SOUPS 38477 WITH SCORE 38520.067
AT ITER 1305 NEW BEST:: SOT 102229 SOS 43043 HAS SOPS 43043 HAS SOUS 38453 HAS SOUPS 38453 WITH SCORE 38496.043
AT ITER 1308 NEW BEST:: SOT 102229 SOS 43043 HAS SOPS 43043 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38474.043
AT ITER 1309 NEW BEST:: SOT 102129 SOS 42884 HAS SOPS 42884 HAS SOUS 38268 HAS SOUPS 38268 WITH SCORE 38310.884
AT ITER 1310 NEW BEST:: SOT 102066 SOS 42803 HAS SOPS 42803 HAS SOUS 38187 HAS SOUPS 38187 WITH SCORE 38229.803
AT ITER 1316 NEW BEST:: SOT 102048 SOS 42764 HAS SOPS 42764 HAS SOUS 38163 HAS SOUPS 38163 WITH SCORE 38205.764
AT ITER 1322 NEW BEST:: SOT 101981 SOS 42478 HAS SOPS 42478 HAS SOUS 37999 HAS SOUPS 37999 WITH SCORE 38041.478
AT ITER 1325 NEW BEST:: SOT 101932 SOS 42423 HAS SOPS 42423 HAS SOUS 37958 HAS SOUPS 37958 WITH SCORE 38000.423
AT ITER 1328 NEW BEST:: SOT 101899 SOS 42388 HAS SOPS 42388 HAS SOUS 37919 HAS SOUPS 37919 WITH SCORE 37961.388
AT ITER 1334 NEW BEST:: SOT 101814 SOS 42191 HAS SOPS 42191 HAS SOUS 37671 HAS SOUPS 37671 WITH SCORE 37713.191
AT ITER 1347 NEW BEST:: SOT 101811 SOS 42187 HAS SOPS 42187 HAS SOUS 37667 HAS SOUPS 37667 WITH SCORE 37709.187
AT ITER 1348 NEW BEST:: SOT 101597 SOS 41927 HAS SOPS 41927 HAS SOUS 37425 HAS SOUPS 37425 WITH SCORE 37466.927
AT ITER 1356 NEW BEST:: SOT 101558 SOS 41888 HAS SOPS 41888 HAS SOUS 37386 HAS SOUPS 37386 WITH SCORE 37427.888
AT ITER 1375 NEW BEST:: SOT 101558 SOS 41888 HAS SOPS 41888 HAS SOUS 37366 HAS SOUPS 37366 WITH SCORE 37407.888
AT ITER 1376 NEW BEST:: SOT 101557 SOS 41887 HAS SOPS 41887 HAS SOUS 37365 HAS SOUPS 37365 WITH SCORE 37406.887
AT ITER 1385 NEW BEST:: SOT 101551 SOS 41863 HAS SOPS 41863 HAS SOUS 37341 HAS SOUPS 37341 WITH SCORE 37382.863
AT ITER 1397 NEW BEST:: SOT 101519 SOS 41754 HAS SOPS 41754 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37286.754
AT ITER 1399 NEW BEST:: SOT 101506 SOS 41715 HAS SOPS 41715 HAS SOUS 37237 HAS SOUPS 37237 WITH SCORE 37278.715
AT ITER 1402 NEW BEST:: SOT 101479 SOS 41676 HAS SOPS 41676 HAS SOUS 37198 HAS SOUPS 37198 WITH SCORE 37239.676
AT ITER 1410 NEW BEST:: SOT 101479 SOS 41761 HAS SOPS 41761 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37204.761
AT ITER 1432 NEW BEST:: SOT 101479 SOS 41863 HAS SOPS 41863 HAS SOUS 37155 HAS SOUPS 37155 WITH SCORE 37196.863
AT ITER 1448 NEW BEST:: SOT 101359 SOS 41710 HAS SOPS 41710 HAS SOUS 37014 HAS SOUPS 37014 WITH SCORE 37055.71
AT ITER 1451 NEW BEST:: SOT 101285 SOS 41602 HAS SOPS 41602 HAS SOUS 36892 HAS SOUPS 36892 WITH SCORE 36933.602
AT ITER 1454 NEW BEST:: SOT 101265 SOS 41582 HAS SOPS 41582 HAS SOUS 36872 HAS SOUPS 36872 WITH SCORE 36913.582
AT ITER 1457 NEW BEST:: SOT 101259 SOS 41576 HAS SOPS 41576 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36907.576
AT ITER 1459 NEW BEST:: SOT 101159 SOS 41426 HAS SOPS 41426 HAS SOUS 36690 HAS SOUPS 36690 WITH SCORE 36731.426
AT ITER 1482 NEW BEST:: SOT 101052 SOS 41164 HAS SOPS 41164 HAS SOUS 36583 HAS SOUPS 36583 WITH SCORE 36624.164
AT ITER 1484 NEW BEST:: SOT 101035 SOS 41147 HAS SOPS 41147 HAS SOUS 36566 HAS SOUPS 36566 WITH SCORE 36607.147
AT ITER 1490 NEW BEST:: SOT 101011 SOS 41121 HAS SOPS 41121 HAS SOUS 36540 HAS SOUPS 36540 WITH SCORE 36581.121
AT ITER 1505 NEW BEST:: SOT 100911 SOS 40902 HAS SOPS 40902 HAS SOUS 36325 HAS SOUPS 36325 WITH SCORE 36365.902
AT ITER 1509 NEW BEST:: SOT 100887 SOS 40747 HAS SOPS 40747 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36352.747
AT ITER 1514 NEW BEST:: SOT 100860 SOS 40702 HAS SOPS 40702 HAS SOUS 36276 HAS SOUPS 36276 WITH SCORE 36316.702
AT ITER 1515 NEW BEST:: SOT 100791 SOS 40631 HAS SOPS 40631 HAS SOUS 36173 HAS SOUPS 36173 WITH SCORE 36213.631
AT ITER 1530 NEW BEST:: SOT 100740 SOS 40530 HAS SOPS 40530 HAS SOUS 36072 HAS SOUPS 36072 WITH SCORE 36112.53
AT ITER 1532 NEW BEST:: SOT 100739 SOS 40529 HAS SOPS 40529 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36111.529
AT ITER 1535 NEW BEST:: SOT 100758 SOS 40567 HAS SOPS 40567 HAS SOUS 36043 HAS SOUPS 36043 WITH SCORE 36083.567
AT ITER 1539 NEW BEST:: SOT 100599 SOS 40278 HAS SOPS 40278 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35871.278
AT ITER 1556 NEW BEST:: SOT 100589 SOS 40268 HAS SOPS 40268 HAS SOUS 35821 HAS SOUPS 35821 WITH SCORE 35861.268
AT ITER 1574 NEW BEST:: SOT 100617 SOS 40360 HAS SOPS 40360 HAS SOUS 35818 HAS SOUPS 35818 WITH SCORE 35858.36
AT ITER 1581 NEW BEST:: SOT 100639 SOS 40404 HAS SOPS 40404 HAS SOUS 35813 HAS SOUPS 35813 WITH SCORE 35853.404
AT ITER 1585 NEW BEST:: SOT 100597 SOS 40333 HAS SOPS 40333 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35769.333
AT ITER 1591 NEW BEST:: SOT 100557 SOS 40293 HAS SOPS 40293 HAS SOUS 35677 HAS SOUPS 35677 WITH SCORE 35717.293
AT ITER 1611 NEW BEST:: SOT 100545 SOS 40205 HAS SOPS 40205 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35528.205
AT ITER 1616 NEW BEST:: SOT 100525 SOS 40145 HAS SOPS 40145 HAS SOUS 35475 HAS SOUPS 35475 WITH SCORE 35515.145
AT ITER 1620 NEW BEST:: SOT 100489 SOS 40109 HAS SOPS 40109 HAS SOUS 35439 HAS SOUPS 35439 WITH SCORE 35479.109
AT ITER 1625 NEW BEST:: SOT 100475 SOS 40101 HAS SOPS 40101 HAS SOUS 35431 HAS SOUPS 35431 WITH SCORE 35471.101
AT ITER 1629 NEW BEST:: SOT 100463 SOS 40077 HAS SOPS 40077 HAS SOUS 35413 HAS SOUPS 35413 WITH SCORE 35453.077
AT ITER 1632 NEW BEST:: SOT 100448 SOS 40059 HAS SOPS 40059 HAS SOUS 35395 HAS SOUPS 35395 WITH SCORE 35435.059
AT ITER 1633 NEW BEST:: SOT 100415 SOS 39933 HAS SOPS 39933 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35351.933
AT ITER 1650 NEW BEST:: SOT 100417 SOS 39901 HAS SOPS 39901 HAS SOUS 35302 HAS SOUPS 35302 WITH SCORE 35341.901
AT ITER 1651 NEW BEST:: SOT 100397 SOS 39834 HAS SOPS 39834 HAS SOUS 35224 HAS SOUPS 35224 WITH SCORE 35263.834
AT ITER 1662 NEW BEST:: SOT 100362 SOS 39728 HAS SOPS 39728 HAS SOUS 35150 HAS SOUPS 35150 WITH SCORE 35189.728
AT ITER 1673 NEW BEST:: SOT 100359 SOS 39722 HAS SOPS 39722 HAS SOUS 35141 HAS SOUPS 35141 WITH SCORE 35180.722
AT ITER 1692 NEW BEST:: SOT 100350 SOS 39718 HAS SOPS 39718 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35179.718
AT ITER 1705 NEW BEST:: SOT 100323 SOS 39635 HAS SOPS 39635 HAS SOUS 35108 HAS SOUPS 35108 WITH SCORE 35147.635
AT ITER 1711 NEW BEST:: SOT 100319 SOS 39632 HAS SOPS 39632 HAS SOUS 35103 HAS SOUPS 35103 WITH SCORE 35142.632
AT ITER 1720 NEW BEST:: SOT 100313 SOS 39605 HAS SOPS 39605 HAS SOUS 35088 HAS SOUPS 35088 WITH SCORE 35127.605
AT ITER 1748 NEW BEST:: SOT 100278 SOS 39465 HAS SOPS 39465 HAS SOUS 35018 HAS SOUPS 35018 WITH SCORE 35057.465
AT ITER 1757 NEW BEST:: SOT 100278 SOS 39413 HAS SOPS 39413 HAS SOUS 34992 HAS SOUPS 34992 WITH SCORE 35031.413
AT ITER 1766 NEW BEST:: SOT 100232 SOS 39355 HAS SOPS 39355 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 34973.355
AT ITER 1769 NEW BEST:: SOT 100119 SOS 39119 HAS SOPS 39119 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34882.119
AT ITER 1773 NEW BEST:: SOT 100108 SOS 39108 HAS SOPS 39108 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34871.108
AT ITER 1778 NEW BEST:: SOT 100082 SOS 38963 HAS SOPS 38963 HAS SOUS 34716 HAS SOUPS 34716 WITH SCORE 34754.963
AT ITER 1781 NEW BEST:: SOT 100078 SOS 38947 HAS SOPS 38947 HAS SOUS 34689 HAS SOUPS 34689 WITH SCORE 34727.947
AT ITER 1789 NEW BEST:: SOT 100045 SOS 39040 HAS SOPS 39040 HAS SOUS 34672 HAS SOUPS 34672 WITH SCORE 34711.04
AT ITER 1799 NEW BEST:: SOT 100045 SOS 39046 HAS SOPS 39046 HAS SOUS 34650 HAS SOUPS 34650 WITH SCORE 34689.046
AT ITER 1802 NEW BEST:: SOT 100045 SOS 39025 HAS SOPS 39025 HAS SOUS 34635 HAS SOUPS 34635 WITH SCORE 34674.025
AT ITER 1809 NEW BEST:: SOT 99985 SOS 38965 HAS SOPS 38965 HAS SOUS 34521 HAS SOUPS 34521 WITH SCORE 34559.965
AT ITER 1820 NEW BEST:: SOT 99977 SOS 38949 HAS SOPS 38949 HAS SOUS 34505 HAS SOUPS 34505 WITH SCORE 34543.949
AT ITER 1845 NEW BEST:: SOT 99821 SOS 38581 HAS SOPS 38581 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34213.581
AT ITER 1846 NEW BEST:: SOT 99821 SOS 38554 HAS SOPS 38554 HAS SOUS 34154 HAS SOUPS 34154 WITH SCORE 34192.554
AT ITER 1854 NEW BEST:: SOT 99797 SOS 38522 HAS SOPS 38522 HAS SOUS 34122 HAS SOUPS 34122 WITH SCORE 34160.522
AT ITER 1869 NEW BEST:: SOT 99769 SOS 38438 HAS SOPS 38438 HAS SOUS 34066 HAS SOUPS 34066 WITH SCORE 34104.438
AT ITER 1885 NEW BEST:: SOT 99723 SOS 38381 HAS SOPS 38381 HAS SOUS 34009 HAS SOUPS 34009 WITH SCORE 34047.381
AT ITER 1900 NEW BEST:: SOT 99678 SOS 38306 HAS SOPS 38306 HAS SOUS 33949 HAS SOUPS 33949 WITH SCORE 33987.306
AT ITER 1909 NEW BEST:: SOT 99678 SOS 38296 HAS SOPS 38296 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33967.296
AT ITER 1915 NEW BEST:: SOT 99609 SOS 38195 HAS SOPS 38195 HAS SOUS 33825 HAS SOUPS 33825 WITH SCORE 33863.195
AT ITER 1917 NEW BEST:: SOT 99600 SOS 38175 HAS SOPS 38175 HAS SOUS 33809 HAS SOUPS 33809 WITH SCORE 33847.175
AT ITER 1929 NEW BEST:: SOT 99534 SOS 38085 HAS SOPS 38085 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33770.085
AT ITER 1936 NEW BEST:: SOT 99523 SOS 38052 HAS SOPS 38052 HAS SOUS 33706 HAS SOUPS 33706 WITH SCORE 33744.052
AT ITER 1942 NEW BEST:: SOT 99520 SOS 37962 HAS SOPS 37962 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33672.962
AT ITER 1945 NEW BEST:: SOT 99482 SOS 37859 HAS SOPS 37859 HAS SOUS 33624 HAS SOUPS 33624 WITH SCORE 33661.859
AT ITER 1952 NEW BEST:: SOT 99425 SOS 37802 HAS SOPS 37802 HAS SOUS 33567 HAS SOUPS 33567 WITH SCORE 33604.802
AT ITER 1966 NEW BEST:: SOT 99389 SOS 37951 HAS SOPS 37951 HAS SOUS 33566 HAS SOUPS 33566 WITH SCORE 33603.951
AT ITER 1971 NEW BEST:: SOT 99289 SOS 37746 HAS SOPS 37746 HAS SOUS 33391 HAS SOUPS 33391 WITH SCORE 33428.746
AT ITER 1984 NEW BEST:: SOT 99289 SOS 37739 HAS SOPS 37739 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33424.739
AT ITER 1991 NEW BEST:: SOT 99289 SOS 37734 HAS SOPS 37734 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33424.734
AT ITER 1997 NEW BEST:: SOT 99262 SOS 37680 HAS SOPS 37680 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33377.68
AT ITER 2006 NEW BEST:: SOT 99239 SOS 37666 HAS SOPS 37666 HAS SOUS 33324 HAS SOUPS 33324 WITH SCORE 33361.666
AT ITER 2020 NEW BEST:: SOT 99239 SOS 37666 HAS SOPS 37666 HAS SOUS 33320 HAS SOUPS 33320 WITH SCORE 33357.666
AT ITER 2022 NEW BEST:: SOT 99221 SOS 37673 HAS SOPS 37673 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33341.673
AT ITER 2023 NEW BEST:: SOT 99273 SOS 37725 HAS SOPS 37725 HAS SOUS 33298 HAS SOUPS 33298 WITH SCORE 33335.725
AT ITER 2024 NEW BEST:: SOT 99217 SOS 37524 HAS SOPS 37524 HAS SOUS 33152 HAS SOUPS 33152 WITH SCORE 33189.524
AT ITER 2036 NEW BEST:: SOT 99142 SOS 37424 HAS SOPS 37424 HAS SOUS 33052 HAS SOUPS 33052 WITH SCORE 33089.424
AT ITER 2046 NEW BEST:: SOT 99133 SOS 37409 HAS SOPS 37409 HAS SOUS 33037 HAS SOUPS 33037 WITH SCORE 33074.409
AT ITER 2062 NEW BEST:: SOT 99127 SOS 37403 HAS SOPS 37403 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33068.403
AT ITER 2070 NEW BEST:: SOT 99087 SOS 37353 HAS SOPS 37353 HAS SOUS 32981 HAS SOUPS 32981 WITH SCORE 33018.353
AT ITER 2090 NEW BEST:: SOT 99087 SOS 37127 HAS SOPS 37127 HAS SOUS 32977 HAS SOUPS 32977 WITH SCORE 33014.127
AT ITER 2093 NEW BEST:: SOT 99025 SOS 36978 HAS SOPS 36978 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32925.978
AT ITER 2095 NEW BEST:: SOT 98981 SOS 36890 HAS SOPS 36890 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32837.89
AT ITER 2100 NEW BEST:: SOT 98907 SOS 36738 HAS SOPS 36738 HAS SOUS 32649 HAS SOUPS 32649 WITH SCORE 32685.738
AT ITER 2109 NEW BEST:: SOT 98733 SOS 36540 HAS SOPS 36540 HAS SOUS 32333 HAS SOUPS 32333 WITH SCORE 32369.54
AT ITER 2133 NEW BEST:: SOT 98723 SOS 36526 HAS SOPS 36526 HAS SOUS 32319 HAS SOUPS 32319 WITH SCORE 32355.526
AT ITER 2157 NEW BEST:: SOT 98740 SOS 36506 HAS SOPS 36506 HAS SOUS 32299 HAS SOUPS 32299 WITH SCORE 32335.506
AT ITER 2168 NEW BEST:: SOT 98722 SOS 36485 HAS SOPS 36485 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32314.485
AT ITER 2195 NEW BEST:: SOT 98619 SOS 36382 HAS SOPS 36382 HAS SOUS 32114 HAS SOUPS 32114 WITH SCORE 32150.382
AT ITER 2216 NEW BEST:: SOT 98613 SOS 36374 HAS SOPS 36374 HAS SOUS 32106 HAS SOUPS 32106 WITH SCORE 32142.374
AT ITER 2221 NEW BEST:: SOT 98595 SOS 36326 HAS SOPS 36326 HAS SOUS 32077 HAS SOUPS 32077 WITH SCORE 32113.326
AT ITER 2226 NEW BEST:: SOT 98589 SOS 36180 HAS SOPS 36180 HAS SOUS 32032 HAS SOUPS 32032 WITH SCORE 32068.18
AT ITER 2233 NEW BEST:: SOT 98523 SOS 36106 HAS SOPS 36106 HAS SOUS 31958 HAS SOUPS 31958 WITH SCORE 31994.106
AT ITER 2249 NEW BEST:: SOT 98489 SOS 36037 HAS SOPS 36037 HAS SOUS 31904 HAS SOUPS 31904 WITH SCORE 31940.037
AT ITER 2250 NEW BEST:: SOT 98467 SOS 35998 HAS SOPS 35998 HAS SOUS 31873 HAS SOUPS 31873 WITH SCORE 31908.998
AT ITER 2261 NEW BEST:: SOT 98455 SOS 35974 HAS SOPS 35974 HAS SOUS 31843 HAS SOUPS 31843 WITH SCORE 31878.974
AT ITER 2279 NEW BEST:: SOT 98441 SOS 35976 HAS SOPS 35976 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31860.976
AT ITER 2287 NEW BEST:: SOT 98441 SOS 35976 HAS SOPS 35976 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31838.976
AT ITER 2308 NEW BEST:: SOT 98412 SOS 35779 HAS SOPS 35779 HAS SOUS 31720 HAS SOUPS 31720 WITH SCORE 31755.779
AT ITER 2313 NEW BEST:: SOT 98412 SOS 35774 HAS SOPS 35774 HAS SOUS 31710 HAS SOUPS 31710 WITH SCORE 31745.774
AT ITER 2316 NEW BEST:: SOT 98412 SOS 35744 HAS SOPS 35744 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31742.744
AT ITER 2322 NEW BEST:: SOT 98394 SOS 35735 HAS SOPS 35735 HAS SOUS 31599 HAS SOUPS 31599 WITH SCORE 31634.735
AT ITER 2333 NEW BEST:: SOT 98394 SOS 35597 HAS SOPS 35597 HAS SOUS 31528 HAS SOUPS 31528 WITH SCORE 31563.597
AT ITER 2345 NEW BEST:: SOT 98354 SOS 35540 HAS SOPS 35540 HAS SOUS 31480 HAS SOUPS 31480 WITH SCORE 31515.54
AT ITER 2393 NEW BEST:: SOT 98354 SOS 35551 HAS SOPS 35551 HAS SOUS 31472 HAS SOUPS 31472 WITH SCORE 31507.551
AT ITER 2398 NEW BEST:: SOT 98298 SOS 35506 HAS SOPS 35506 HAS SOUS 31397 HAS SOUPS 31397 WITH SCORE 31432.506
AT ITER 2419 NEW BEST:: SOT 98286 SOS 35458 HAS SOPS 35458 HAS SOUS 31383 HAS SOUPS 31383 WITH SCORE 31418.458
AT ITER 2428 NEW BEST:: SOT 98274 SOS 35434 HAS SOPS 35434 HAS SOUS 31359 HAS SOUPS 31359 WITH SCORE 31394.434
AT ITER 2442 NEW BEST:: SOT 98274 SOS 35375 HAS SOPS 35375 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31366.375
AT ITER 2447 NEW BEST:: SOT 98251 SOS 35288 HAS SOPS 35288 HAS SOUS 31241 HAS SOUPS 31241 WITH SCORE 31276.288
AT ITER 2479 NEW BEST:: SOT 98248 SOS 35285 HAS SOPS 35285 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31273.285
AT ITER 2485 NEW BEST:: SOT 98244 SOS 35286 HAS SOPS 35286 HAS SOUS 31232 HAS SOUPS 31232 WITH SCORE 31267.286
AT ITER 2488 NEW BEST:: SOT 98129 SOS 35133 HAS SOPS 35133 HAS SOUS 31060 HAS SOUPS 31060 WITH SCORE 31095.133
AT ITER 2500 NEW BEST:: SOT 98084 SOS 35073 HAS SOPS 35073 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31035.073
AT ITER 2515 NEW BEST:: SOT 98092 SOS 35095 HAS SOPS 35095 HAS SOUS 30987 HAS SOUPS 30987 WITH SCORE 31022.095
AT ITER 2517 NEW BEST:: SOT 98092 SOS 35061 HAS SOPS 35061 HAS SOUS 30987 HAS SOUPS 30987 WITH SCORE 31022.061
AT ITER 2532 NEW BEST:: SOT 97992 SOS 34936 HAS SOPS 34936 HAS SOUS 30862 HAS SOUPS 30862 WITH SCORE 30896.936
AT ITER 2537 NEW BEST:: SOT 97992 SOS 34961 HAS SOPS 34961 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30889.961
AT ITER 2560 NEW BEST:: SOT 97992 SOS 34952 HAS SOPS 34952 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30889.952
AT ITER 2567 NEW BEST:: SOT 97992 SOS 34964 HAS SOPS 34964 HAS SOUS 30846 HAS SOUPS 30846 WITH SCORE 30880.964
AT ITER 2578 NEW BEST:: SOT 97986 SOS 34888 HAS SOPS 34888 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30849.888
AT ITER 2588 NEW BEST:: SOT 97928 SOS 34809 HAS SOPS 34809 HAS SOUS 30736 HAS SOUPS 30736 WITH SCORE 30770.809
AT ITER 2598 NEW BEST:: SOT 97858 SOS 34739 HAS SOPS 34739 HAS SOUS 30644 HAS SOUPS 30644 WITH SCORE 30678.739
AT ITER 2624 NEW BEST:: SOT 97804 SOS 34685 HAS SOPS 34685 HAS SOUS 30590 HAS SOUPS 30590 WITH SCORE 30624.685
AT ITER 2633 NEW BEST:: SOT 97797 SOS 34661 HAS SOPS 34661 HAS SOUS 30565 HAS SOUPS 30565 WITH SCORE 30599.661
AT ITER 2634 NEW BEST:: SOT 97776 SOS 34621 HAS SOPS 34621 HAS SOUS 30563 HAS SOUPS 30563 WITH SCORE 30597.621
AT ITER 2643 NEW BEST:: SOT 97759 SOS 34566 HAS SOPS 34566 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30594.566
AT ITER 2646 NEW BEST:: SOT 97746 SOS 34553 HAS SOPS 34553 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 30567.553
AT ITER 2661 NEW BEST:: SOT 97746 SOS 34548 HAS SOPS 34548 HAS SOUS 30532 HAS SOUPS 30532 WITH SCORE 30566.548
AT ITER 2674 NEW BEST:: SOT 97684 SOS 34357 HAS SOPS 34357 HAS SOUS 30372 HAS SOUPS 30372 WITH SCORE 30406.357
AT ITER 2676 NEW BEST:: SOT 97667 SOS 34319 HAS SOPS 34319 HAS SOUS 30359 HAS SOUPS 30359 WITH SCORE 30393.319
AT ITER 2686 NEW BEST:: SOT 97667 SOS 34311 HAS SOPS 34311 HAS SOUS 30359 HAS SOUPS 30359 WITH SCORE 30393.311
AT ITER 2703 NEW BEST:: SOT 97662 SOS 34288 HAS SOPS 34288 HAS SOUS 30351 HAS SOUPS 30351 WITH SCORE 30385.288
AT ITER 2715 NEW BEST:: SOT 97650 SOS 34293 HAS SOPS 34293 HAS SOUS 30320 HAS SOUPS 30320 WITH SCORE 30354.293
AT ITER 2718 NEW BEST:: SOT 97646 SOS 34290 HAS SOPS 34290 HAS SOUS 30307 HAS SOUPS 30307 WITH SCORE 30341.29
AT ITER 2719 NEW BEST:: SOT 97629 SOS 34242 HAS SOPS 34242 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30339.242
AT ITER 2733 NEW BEST:: SOT 97623 SOS 34236 HAS SOPS 34236 HAS SOUS 30282 HAS SOUPS 30282 WITH SCORE 30316.236
AT ITER 2734 NEW BEST:: SOT 97640 SOS 34234 HAS SOPS 34234 HAS SOUS 30281 HAS SOUPS 30281 WITH SCORE 30315.234
AT ITER 2786 NEW BEST:: SOT 97635 SOS 34224 HAS SOPS 34224 HAS SOUS 30277 HAS SOUPS 30277 WITH SCORE 30311.224
AT ITER 2797 NEW BEST:: SOT 97633 SOS 34222 HAS SOPS 34222 HAS SOUS 30273 HAS SOUPS 30273 WITH SCORE 30307.222
AT ITER 2812 NEW BEST:: SOT 97637 SOS 34256 HAS SOPS 34256 HAS SOUS 30250 HAS SOUPS 30250 WITH SCORE 30284.256
AT ITER 2824 NEW BEST:: SOT 97607 SOS 34064 HAS SOPS 34064 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30224.064
AT ITER 2829 NEW BEST:: SOT 97592 SOS 34039 HAS SOPS 34039 HAS SOUS 30165 HAS SOUPS 30165 WITH SCORE 30199.039
AT ITER 2834 NEW BEST:: SOT 97572 SOS 34036 HAS SOPS 34036 HAS SOUS 30137 HAS SOUPS 30137 WITH SCORE 30171.036
AT ITER 2867 NEW BEST:: SOT 97572 SOS 33964 HAS SOPS 33964 HAS SOUS 30101 HAS SOUPS 30101 WITH SCORE 30134.964
AT ITER 2874 NEW BEST:: SOT 97476 SOS 33837 HAS SOPS 33837 HAS SOUS 29991 HAS SOUPS 29991 WITH SCORE 30024.837
AT ITER 2877 NEW BEST:: SOT 97476 SOS 33837 HAS SOPS 33837 HAS SOUS 29989 HAS SOUPS 29989 WITH SCORE 30022.837
AT ITER 2912 NEW BEST:: SOT 97470 SOS 33831 HAS SOPS 33831 HAS SOUS 29983 HAS SOUPS 29983 WITH SCORE 30016.831
AT ITER 2926 NEW BEST:: SOT 97455 SOS 33811 HAS SOPS 33811 HAS SOUS 29953 HAS SOUPS 29953 WITH SCORE 29986.811
AT ITER 2956 NEW BEST:: SOT 97455 SOS 33822 HAS SOPS 33822 HAS SOUS 29938 HAS SOUPS 29938 WITH SCORE 29971.822
AT ITER 2958 NEW BEST:: SOT 97455 SOS 33822 HAS SOPS 33822 HAS SOUS 29917 HAS SOUPS 29917 WITH SCORE 29950.822
AT ITER 2971 NEW BEST:: SOT 97450 SOS 33817 HAS SOPS 33817 HAS SOUS 29912 HAS SOUPS 29912 WITH SCORE 29945.817
AT ITER 2988 NEW BEST:: SOT 97435 SOS 33793 HAS SOPS 33793 HAS SOUS 29888 HAS SOUPS 29888 WITH SCORE 29921.793
AT ITER 2995 NEW BEST:: SOT 97423 SOS 33775 HAS SOPS 33775 HAS SOUS 29870 HAS SOUPS 29870 WITH SCORE 29903.775
AT ITER 3020 NEW BEST:: SOT 97311 SOS 33607 HAS SOPS 33607 HAS SOUS 29758 HAS SOUPS 29758 WITH SCORE 29791.607
AT ITER 3024 NEW BEST:: SOT 97268 SOS 33561 HAS SOPS 33561 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29742.561
AT ITER 3035 NEW BEST:: SOT 97269 SOS 33429 HAS SOPS 33429 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29628.429
AT ITER 3037 NEW BEST:: SOT 97269 SOS 33418 HAS SOPS 33418 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29628.418
AT ITER 3049 NEW BEST:: SOT 97269 SOS 33413 HAS SOPS 33413 HAS SOUS 29590 HAS SOUPS 29590 WITH SCORE 29623.413
AT ITER 3057 NEW BEST:: SOT 97266 SOS 33407 HAS SOPS 33407 HAS SOUS 29577 HAS SOUPS 29577 WITH SCORE 29610.407
AT ITER 3071 NEW BEST:: SOT 97266 SOS 33412 HAS SOPS 33412 HAS SOUS 29574 HAS SOUPS 29574 WITH SCORE 29607.412
AT ITER 3074 NEW BEST:: SOT 97266 SOS 33414 HAS SOPS 33414 HAS SOUS 29572 HAS SOUPS 29572 WITH SCORE 29605.414
AT ITER 3123 NEW BEST:: SOT 97266 SOS 33414 HAS SOPS 33414 HAS SOUS 29558 HAS SOUPS 29558 WITH SCORE 29591.414
AT ITER 3130 NEW BEST:: SOT 97256 SOS 33374 HAS SOPS 33374 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29571.374
AT ITER 3132 NEW BEST:: SOT 97134 SOS 33127 HAS SOPS 33127 HAS SOUS 29331 HAS SOUPS 29331 WITH SCORE 29364.127
AT ITER 3135 NEW BEST:: SOT 97128 SOS 33119 HAS SOPS 33119 HAS SOUS 29323 HAS SOUPS 29323 WITH SCORE 29356.119
AT ITER 3169 NEW BEST:: SOT 97128 SOS 33100 HAS SOPS 33100 HAS SOUS 29323 HAS SOUPS 29323 WITH SCORE 29356.1
AT ITER 3190 NEW BEST:: SOT 97103 SOS 33075 HAS SOPS 33075 HAS SOUS 29298 HAS SOUPS 29298 WITH SCORE 29331.075
AT ITER 3192 NEW BEST:: SOT 97091 SOS 33050 HAS SOPS 33050 HAS SOUS 29273 HAS SOUPS 29273 WITH SCORE 29306.05
AT ITER 3241 NEW BEST:: SOT 97079 SOS 33021 HAS SOPS 33021 HAS SOUS 29182 HAS SOUPS 29182 WITH SCORE 29215.021
AT ITER 3245 NEW BEST:: SOT 97086 SOS 33046 HAS SOPS 33046 HAS SOUS 29180 HAS SOUPS 29180 WITH SCORE 29213.046
AT ITER 3256 NEW BEST:: SOT 97057 SOS 33017 HAS SOPS 33017 HAS SOUS 29122 HAS SOUPS 29122 WITH SCORE 29155.017
AT ITER 3269 NEW BEST:: SOT 97027 SOS 32975 HAS SOPS 32975 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29106.975
AT ITER 3281 NEW BEST:: SOT 96958 SOS 32883 HAS SOPS 32883 HAS SOUS 28976 HAS SOUPS 28976 WITH SCORE 29008.883
AT ITER 3300 NEW BEST:: SOT 96947 SOS 32809 HAS SOPS 32809 HAS SOUS 28917 HAS SOUPS 28917 WITH SCORE 28949.809
AT ITER 3304 NEW BEST:: SOT 96904 SOS 32701 HAS SOPS 32701 HAS SOUS 28823 HAS SOUPS 28823 WITH SCORE 28855.701
AT ITER 3346 NEW BEST:: SOT 96838 SOS 32635 HAS SOPS 32635 HAS SOUS 28757 HAS SOUPS 28757 WITH SCORE 28789.635
AT ITER 3347 NEW BEST:: SOT 96835 SOS 32629 HAS SOPS 32629 HAS SOUS 28749 HAS SOUPS 28749 WITH SCORE 28781.629
AT ITER 3357 NEW BEST:: SOT 96823 SOS 32617 HAS SOPS 32617 HAS SOUS 28749 HAS SOUPS 28749 WITH SCORE 28781.617
AT ITER 3363 NEW BEST:: SOT 96730 SOS 32442 HAS SOPS 32442 HAS SOUS 28683 HAS SOUPS 28683 WITH SCORE 28715.442
AT ITER 3384 NEW BEST:: SOT 96711 SOS 32423 HAS SOPS 32423 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28672.423
AT ITER 3407 NEW BEST:: SOT 96679 SOS 32375 HAS SOPS 32375 HAS SOUS 28597 HAS SOUPS 28597 WITH SCORE 28629.375
AT ITER 3411 NEW BEST:: SOT 96547 SOS 32023 HAS SOPS 32023 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28362.023
AT ITER 3445 NEW BEST:: SOT 96535 SOS 31949 HAS SOPS 31949 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28333.949
AT ITER 3465 NEW BEST:: SOT 96535 SOS 31920 HAS SOPS 31920 HAS SOUS 28286 HAS SOUPS 28286 WITH SCORE 28317.92
AT ITER 3494 NEW BEST:: SOT 96535 SOS 31920 HAS SOPS 31920 HAS SOUS 28283 HAS SOUPS 28283 WITH SCORE 28314.92
AT ITER 3564 NEW BEST:: SOT 96532 SOS 31912 HAS SOPS 31912 HAS SOUS 28282 HAS SOUPS 28282 WITH SCORE 28313.912
AT ITER 3595 NEW BEST:: SOT 96521 SOS 31901 HAS SOPS 31901 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28293.901
AT ITER 3598 NEW BEST:: SOT 96518 SOS 31895 HAS SOPS 31895 HAS SOUS 28256 HAS SOUPS 28256 WITH SCORE 28287.895
AT ITER 3604 NEW BEST:: SOT 96518 SOS 31895 HAS SOPS 31895 HAS SOUS 28255 HAS SOUPS 28255 WITH SCORE 28286.895
AT ITER 3656 NEW BEST:: SOT 96505 SOS 31886 HAS SOPS 31886 HAS SOUS 28205 HAS SOUPS 28205 WITH SCORE 28236.886
AT ITER 3727 NEW BEST:: SOT 96505 SOS 31862 HAS SOPS 31862 HAS SOUS 28181 HAS SOUPS 28181 WITH SCORE 28212.862
AT ITER 3746 NEW BEST:: SOT 96483 SOS 31828 HAS SOPS 31828 HAS SOUS 28147 HAS SOUPS 28147 WITH SCORE 28178.828
AT ITER 3764 NEW BEST:: SOT 96419 SOS 31764 HAS SOPS 31764 HAS SOUS 28051 HAS SOUPS 28051 WITH SCORE 28082.764
AT ITER 3789 NEW BEST:: SOT 96419 SOS 31764 HAS SOPS 31764 HAS SOUS 28006 HAS SOUPS 28006 WITH SCORE 28037.764
AT ITER 3800 NEW BEST:: SOT 96439 SOS 31794 HAS SOPS 31794 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28033.794
AT ITER 3804 NEW BEST:: SOT 96415 SOS 31770 HAS SOPS 31770 HAS SOUS 27970 HAS SOUPS 27970 WITH SCORE 28001.77
AT ITER 3840 NEW BEST:: SOT 96283 SOS 31638 HAS SOPS 31638 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27869.638
AT ITER 3853 NEW BEST:: SOT 96264 SOS 31587 HAS SOPS 31587 HAS SOUS 27811 HAS SOUPS 27811 WITH SCORE 27842.587
AT ITER 3870 NEW BEST:: SOT 96248 SOS 31570 HAS SOPS 31570 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27825.57
AT ITER 3889 NEW BEST:: SOT 96244 SOS 31564 HAS SOPS 31564 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27819.564
AT ITER 3936 NEW BEST:: SOT 96235 SOS 31511 HAS SOPS 31511 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27784.511
AT ITER 3952 NEW BEST:: SOT 96204 SOS 31472 HAS SOPS 31472 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27756.472
AT ITER 3976 NEW BEST:: SOT 96207 SOS 31467 HAS SOPS 31467 HAS SOUS 27720 HAS SOUPS 27720 WITH SCORE 27751.467
AT ITER 3978 NEW BEST:: SOT 96195 SOS 31444 HAS SOPS 31444 HAS SOUS 27694 HAS SOUPS 27694 WITH SCORE 27725.444
AT ITER 4049 NEW BEST:: SOT 96185 SOS 31480 HAS SOPS 31480 HAS SOUS 27664 HAS SOUPS 27664 WITH SCORE 27695.48
AT ITER 4074 NEW BEST:: SOT 96185 SOS 31480 HAS SOPS 31480 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27676.48
AT ITER 4087 NEW BEST:: SOT 96187 SOS 31449 HAS SOPS 31449 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27647.449
AT ITER 4096 NEW BEST:: SOT 96119 SOS 31361 HAS SOPS 31361 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27539.361
AT ITER 4099 NEW BEST:: SOT 96119 SOS 31288 HAS SOPS 31288 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27539.288
AT ITER 4160 NEW BEST:: SOT 96109 SOS 31268 HAS SOPS 31268 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27522.268
AT ITER 4184 NEW BEST:: SOT 96031 SOS 31146 HAS SOPS 31146 HAS SOUS 27416 HAS SOUPS 27416 WITH SCORE 27447.146
AT ITER 4223 NEW BEST:: SOT 95980 SOS 31036 HAS SOPS 31036 HAS SOUS 27334 HAS SOUPS 27334 WITH SCORE 27365.036
AT ITER 4228 NEW BEST:: SOT 95980 SOS 31036 HAS SOPS 31036 HAS SOUS 27333 HAS SOUPS 27333 WITH SCORE 27364.036
AT ITER 4248 NEW BEST:: SOT 95924 SOS 30951 HAS SOPS 30951 HAS SOUS 27261 HAS SOUPS 27261 WITH SCORE 27291.951
AT ITER 4254 NEW BEST:: SOT 95906 SOS 30927 HAS SOPS 30927 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27267.927
AT ITER 4271 NEW BEST:: SOT 95901 SOS 30937 HAS SOPS 30937 HAS SOUS 27224 HAS SOUPS 27224 WITH SCORE 27254.937
AT ITER 4297 NEW BEST:: SOT 95857 SOS 30737 HAS SOPS 30737 HAS SOUS 27118 HAS SOUPS 27118 WITH SCORE 27148.737
AT ITER 4323 NEW BEST:: SOT 95857 SOS 30699 HAS SOPS 30699 HAS SOUS 27099 HAS SOUPS 27099 WITH SCORE 27129.699
AT ITER 4325 NEW BEST:: SOT 95821 SOS 30642 HAS SOPS 30642 HAS SOUS 27037 HAS SOUPS 27037 WITH SCORE 27067.642
AT ITER 4333 NEW BEST:: SOT 95834 SOS 30658 HAS SOPS 30658 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27065.658
AT ITER 4355 NEW BEST:: SOT 95839 SOS 30654 HAS SOPS 30654 HAS SOUS 27031 HAS SOUPS 27031 WITH SCORE 27061.654
AT ITER 4364 NEW BEST:: SOT 95839 SOS 30651 HAS SOPS 30651 HAS SOUS 27009 HAS SOUPS 27009 WITH SCORE 27039.651
AT ITER 4366 NEW BEST:: SOT 95788 SOS 30583 HAS SOPS 30583 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26971.583
AT ITER 4431 NEW BEST:: SOT 95786 SOS 30581 HAS SOPS 30581 HAS SOUS 26940 HAS SOUPS 26940 WITH SCORE 26970.581
AT ITER 4433 NEW BEST:: SOT 95783 SOS 30577 HAS SOPS 30577 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26966.577
AT ITER 4445 NEW BEST:: SOT 95779 SOS 30566 HAS SOPS 30566 HAS SOUS 26928 HAS SOUPS 26928 WITH SCORE 26958.566
AT ITER 4468 NEW BEST:: SOT 95780 SOS 30567 HAS SOPS 30567 HAS SOUS 26924 HAS SOUPS 26924 WITH SCORE 26954.567
AT ITER 4477 NEW BEST:: SOT 95750 SOS 30519 HAS SOPS 30519 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26910.519
AT ITER 4532 NEW BEST:: SOT 95757 SOS 30526 HAS SOPS 30526 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26900.526
AT ITER 4581 NEW BEST:: SOT 95752 SOS 30502 HAS SOPS 30502 HAS SOUS 26855 HAS SOUPS 26855 WITH SCORE 26885.502
AT ITER 4601 NEW BEST:: SOT 95742 SOS 30491 HAS SOPS 30491 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26878.491
AT ITER 4615 NEW BEST:: SOT 95679 SOS 30424 HAS SOPS 30424 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26818.424
AT ITER 4629 NEW BEST:: SOT 95643 SOS 30360 HAS SOPS 30360 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26772.36
AT ITER 4645 NEW BEST:: SOT 95643 SOS 30359 HAS SOPS 30359 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26772.359
AT ITER 4649 NEW BEST:: SOT 95607 SOS 30311 HAS SOPS 30311 HAS SOUS 26694 HAS SOUPS 26694 WITH SCORE 26724.311
AT ITER 4657 NEW BEST:: SOT 95608 SOS 30311 HAS SOPS 30311 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26722.311
AT ITER 4663 NEW BEST:: SOT 95591 SOS 30276 HAS SOPS 30276 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26690.276
AT ITER 4664 NEW BEST:: SOT 95564 SOS 30213 HAS SOPS 30213 HAS SOUS 26615 HAS SOUPS 26615 WITH SCORE 26645.213
AT ITER 4680 NEW BEST:: SOT 95555 SOS 30204 HAS SOPS 30204 HAS SOUS 26600 HAS SOUPS 26600 WITH SCORE 26630.204
AT ITER 4684 NEW BEST:: SOT 95554 SOS 30200 HAS SOPS 30200 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26627.2
AT ITER 4730 NEW BEST:: SOT 95546 SOS 29821 HAS SOPS 29821 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26480.821
AT ITER 4773 NEW BEST:: SOT 95546 SOS 29829 HAS SOPS 29829 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26476.829
AT ITER 4792 NEW BEST:: SOT 95546 SOS 29829 HAS SOPS 29829 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26466.829
AT ITER 4794 NEW BEST:: SOT 95499 SOS 29761 HAS SOPS 29761 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26398.761
AT ITER 4797 NEW BEST:: SOT 95498 SOS 29760 HAS SOPS 29760 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26397.76
AT ITER 4798 NEW BEST:: SOT 95430 SOS 29663 HAS SOPS 29663 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26307.663
AT ITER 4804 NEW BEST:: SOT 95421 SOS 29654 HAS SOPS 29654 HAS SOUS 26269 HAS SOUPS 26269 WITH SCORE 26298.654
AT ITER 4866 NEW BEST:: SOT 95415 SOS 29626 HAS SOPS 29626 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26283.626
AT ITER 4873 NEW BEST:: SOT 95415 SOS 29620 HAS SOPS 29620 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26283.62
AT ITER 4915 NEW BEST:: SOT 95421 SOS 29606 HAS SOPS 29606 HAS SOUS 26245 HAS SOUPS 26245 WITH SCORE 26274.606
AT ITER 4923 NEW BEST:: SOT 95425 SOS 29601 HAS SOPS 29601 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26269.601
AT ITER 4924 NEW BEST:: SOT 95413 SOS 29577 HAS SOPS 29577 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26257.577
AT ITER 4952 NEW BEST:: SOT 95389 SOS 29549 HAS SOPS 29549 HAS SOUS 26201 HAS SOUPS 26201 WITH SCORE 26230.549
AT ITER 4976 NEW BEST:: SOT 95370 SOS 29514 HAS SOPS 29514 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26218.514
AT ITER 5002 NEW BEST:: SOT 95270 SOS 29340 HAS SOPS 29340 HAS SOUS 26042 HAS SOUPS 26042 WITH SCORE 26071.34
AT ITER 5003 NEW BEST:: SOT 95268 SOS 29338 HAS SOPS 29338 HAS SOUS 26039 HAS SOUPS 26039 WITH SCORE 26068.338
AT ITER 5004 NEW BEST:: SOT 95268 SOS 29331 HAS SOPS 29331 HAS SOUS 26032 HAS SOUPS 26032 WITH SCORE 26061.331
AT ITER 5075 NEW BEST:: SOT 95268 SOS 29331 HAS SOPS 29331 HAS SOUS 26020 HAS SOUPS 26020 WITH SCORE 26049.331
AT ITER 5109 NEW BEST:: SOT 95252 SOS 29299 HAS SOPS 29299 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26025.299
AT ITER 5113 NEW BEST:: SOT 95236 SOS 29251 HAS SOPS 29251 HAS SOUS 25980 HAS SOUPS 25980 WITH SCORE 26009.251
AT ITER 5116 NEW BEST:: SOT 95236 SOS 29250 HAS SOPS 29250 HAS SOUS 25980 HAS SOUPS 25980 WITH SCORE 26009.25
AT ITER 5120 NEW BEST:: SOT 95231 SOS 29245 HAS SOPS 29245 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26004.245
AT ITER 5132 NEW BEST:: SOT 95175 SOS 29155 HAS SOPS 29155 HAS SOUS 25919 HAS SOUPS 25919 WITH SCORE 25948.155
AT ITER 5157 NEW BEST:: SOT 95156 SOS 29115 HAS SOPS 29115 HAS SOUS 25900 HAS SOUPS 25900 WITH SCORE 25929.115
AT ITER 5159 NEW BEST:: SOT 95108 SOS 29035 HAS SOPS 29035 HAS SOUS 25830 HAS SOUPS 25830 WITH SCORE 25859.035
AT ITER 5162 NEW BEST:: SOT 95077 SOS 29000 HAS SOPS 29000 HAS SOUS 25793 HAS SOUPS 25793 WITH SCORE 25822.0
AT ITER 5184 NEW BEST:: SOT 95077 SOS 29006 HAS SOPS 29006 HAS SOUS 25790 HAS SOUPS 25790 WITH SCORE 25819.006
AT ITER 5214 NEW BEST:: SOT 95083 SOS 29030 HAS SOPS 29030 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 25818.03
AT ITER 5230 NEW BEST:: SOT 95014 SOS 28952 HAS SOPS 28952 HAS SOUS 25700 HAS SOUPS 25700 WITH SCORE 25728.952
AT ITER 5237 NEW BEST:: SOT 95000 SOS 28928 HAS SOPS 28928 HAS SOUS 25679 HAS SOUPS 25679 WITH SCORE 25707.928
AT ITER 5240 NEW BEST:: SOT 94968 SOS 28816 HAS SOPS 28816 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25643.816
AT ITER 5283 NEW BEST:: SOT 94968 SOS 28785 HAS SOPS 28785 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25603.785
AT ITER 5284 NEW BEST:: SOT 94959 SOS 28761 HAS SOPS 28761 HAS SOUS 25521 HAS SOUPS 25521 WITH SCORE 25549.761
AT ITER 5290 NEW BEST:: SOT 94958 SOS 28760 HAS SOPS 28760 HAS SOUS 25520 HAS SOUPS 25520 WITH SCORE 25548.76
AT ITER 5294 NEW BEST:: SOT 94962 SOS 28756 HAS SOPS 28756 HAS SOUS 25516 HAS SOUPS 25516 WITH SCORE 25544.756
AT ITER 5346 NEW BEST:: SOT 94920 SOS 28685 HAS SOPS 28685 HAS SOUS 25458 HAS SOUPS 25458 WITH SCORE 25486.685
AT ITER 5463 NEW BEST:: SOT 94917 SOS 28670 HAS SOPS 28670 HAS SOUS 25449 HAS SOUPS 25449 WITH SCORE 25477.67
AT ITER 5465 NEW BEST:: SOT 94931 SOS 28670 HAS SOPS 28670 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25476.67
AT ITER 5472 NEW BEST:: SOT 94931 SOS 28685 HAS SOPS 28685 HAS SOUS 25431 HAS SOUPS 25431 WITH SCORE 25459.685
AT ITER 5474 NEW BEST:: SOT 94924 SOS 28667 HAS SOPS 28667 HAS SOUS 25421 HAS SOUPS 25421 WITH SCORE 25449.667
AT ITER 5486 NEW BEST:: SOT 94918 SOS 28660 HAS SOPS 28660 HAS SOUS 25414 HAS SOUPS 25414 WITH SCORE 25442.66
AT ITER 5501 NEW BEST:: SOT 94882 SOS 28588 HAS SOPS 28588 HAS SOUS 25342 HAS SOUPS 25342 WITH SCORE 25370.588
AT ITER 5502 NEW BEST:: SOT 94853 SOS 28537 HAS SOPS 28537 HAS SOUS 25299 HAS SOUPS 25299 WITH SCORE 25327.537
AT ITER 5505 NEW BEST:: SOT 94837 SOS 28512 HAS SOPS 28512 HAS SOUS 25283 HAS SOUPS 25283 WITH SCORE 25311.512
AT ITER 5525 NEW BEST:: SOT 94778 SOS 28409 HAS SOPS 28409 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25230.409
AT ITER 5541 NEW BEST:: SOT 94772 SOS 28408 HAS SOPS 28408 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25229.408
AT ITER 5550 NEW BEST:: SOT 94747 SOS 28324 HAS SOPS 28324 HAS SOUS 25130 HAS SOUPS 25130 WITH SCORE 25158.324
AT ITER 5568 NEW BEST:: SOT 94747 SOS 28324 HAS SOPS 28324 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25156.324
AT ITER 5626 NEW BEST:: SOT 94741 SOS 28318 HAS SOPS 28318 HAS SOUS 25122 HAS SOUPS 25122 WITH SCORE 25150.318
AT ITER 5646 NEW BEST:: SOT 94730 SOS 28285 HAS SOPS 28285 HAS SOUS 25100 HAS SOUPS 25100 WITH SCORE 25128.285
AT ITER 5666 NEW BEST:: SOT 94715 SOS 28217 HAS SOPS 28217 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25083.217
AT ITER 5708 NEW BEST:: SOT 94710 SOS 28212 HAS SOPS 28212 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25083.212
AT ITER 5729 NEW BEST:: SOT 94710 SOS 28196 HAS SOPS 28196 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25067.196
AT ITER 5734 NEW BEST:: SOT 94698 SOS 28180 HAS SOPS 28180 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25043.18
AT ITER 5740 NEW BEST:: SOT 94680 SOS 28092 HAS SOPS 28092 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25005.092
AT ITER 5765 NEW BEST:: SOT 94596 SOS 28008 HAS SOPS 28008 HAS SOUS 24922 HAS SOUPS 24922 WITH SCORE 24950.008
AT ITER 5768 NEW BEST:: SOT 94578 SOS 27995 HAS SOPS 27995 HAS SOUS 24881 HAS SOUPS 24881 WITH SCORE 24908.995
AT ITER 5776 NEW BEST:: SOT 94568 SOS 27965 HAS SOPS 27965 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24893.965
AT ITER 5781 NEW BEST:: SOT 94560 SOS 27957 HAS SOPS 27957 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24885.957
AT ITER 5887 NEW BEST:: SOT 94544 SOS 27931 HAS SOPS 27931 HAS SOUS 24827 HAS SOUPS 24827 WITH SCORE 24854.931
AT ITER 5903 NEW BEST:: SOT 94537 SOS 27924 HAS SOPS 27924 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24847.924
AT ITER 5948 NEW BEST:: SOT 94529 SOS 27920 HAS SOPS 27920 HAS SOUS 24812 HAS SOUPS 24812 WITH SCORE 24839.92
AT ITER 5969 NEW BEST:: SOT 94514 SOS 27905 HAS SOPS 27905 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24828.905
AT ITER 6025 NEW BEST:: SOT 94512 SOS 27899 HAS SOPS 27899 HAS SOUS 24797 HAS SOUPS 24797 WITH SCORE 24824.899
AT ITER 6099 NEW BEST:: SOT 94506 SOS 27889 HAS SOPS 27889 HAS SOUS 24791 HAS SOUPS 24791 WITH SCORE 24818.889
AT ITER 6133 NEW BEST:: SOT 94480 SOS 27837 HAS SOPS 27837 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24792.837
AT ITER 6134 NEW BEST:: SOT 94479 SOS 27834 HAS SOPS 27834 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24788.834
AT ITER 6137 NEW BEST:: SOT 94472 SOS 27827 HAS SOPS 27827 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24763.827
AT ITER 6188 NEW BEST:: SOT 94470 SOS 27824 HAS SOPS 27824 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24760.824
AT ITER 6218 NEW BEST:: SOT 94450 SOS 27775 HAS SOPS 27775 HAS SOUS 24703 HAS SOUPS 24703 WITH SCORE 24730.775
AT ITER 6250 NEW BEST:: SOT 94450 SOS 27761 HAS SOPS 27761 HAS SOUS 24696 HAS SOUPS 24696 WITH SCORE 24723.761
AT ITER 6301 NEW BEST:: SOT 94493 SOS 27745 HAS SOPS 27745 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24721.745
AT ITER 6347 NEW BEST:: SOT 94466 SOS 27668 HAS SOPS 27668 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24696.668
AT ITER 6351 NEW BEST:: SOT 94466 SOS 27651 HAS SOPS 27651 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24696.651
AT ITER 6398 NEW BEST:: SOT 94461 SOS 27628 HAS SOPS 27628 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 24660.628
AT ITER 6399 NEW BEST:: SOT 94445 SOS 27612 HAS SOPS 27612 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24644.612
AT ITER 6438 NEW BEST:: SOT 94445 SOS 27601 HAS SOPS 27601 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24644.601
AT ITER 6458 NEW BEST:: SOT 94384 SOS 27540 HAS SOPS 27540 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24579.54
AT ITER 6489 NEW BEST:: SOT 94377 SOS 27528 HAS SOPS 27528 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24563.528
AT ITER 6559 NEW BEST:: SOT 94357 SOS 27472 HAS SOPS 27472 HAS SOUS 24490 HAS SOUPS 24490 WITH SCORE 24517.472
AT ITER 6571 NEW BEST:: SOT 94351 SOS 27460 HAS SOPS 27460 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24508.46
AT ITER 6610 NEW BEST:: SOT 94351 SOS 27460 HAS SOPS 27460 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24503.46
AT ITER 6624 NEW BEST:: SOT 94289 SOS 27398 HAS SOPS 27398 HAS SOUS 24416 HAS SOUPS 24416 WITH SCORE 24443.398
AT ITER 6634 NEW BEST:: SOT 94290 SOS 27398 HAS SOPS 27398 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24442.398
AT ITER 6652 NEW BEST:: SOT 94278 SOS 27378 HAS SOPS 27378 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24418.378
AT ITER 6658 NEW BEST:: SOT 94239 SOS 27326 HAS SOPS 27326 HAS SOUS 24339 HAS SOUPS 24339 WITH SCORE 24366.326
AT ITER 6661 NEW BEST:: SOT 94237 SOS 27324 HAS SOPS 27324 HAS SOUS 24329 HAS SOUPS 24329 WITH SCORE 24356.324
AT ITER 6667 NEW BEST:: SOT 94222 SOS 27299 HAS SOPS 27299 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24341.299
AT ITER 6696 NEW BEST:: SOT 94201 SOS 27215 HAS SOPS 27215 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24287.215
AT ITER 6711 NEW BEST:: SOT 94209 SOS 27209 HAS SOPS 27209 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24285.209
AT ITER 6746 NEW BEST:: SOT 94179 SOS 27153 HAS SOPS 27153 HAS SOUS 24202 HAS SOUPS 24202 WITH SCORE 24229.153
AT ITER 6774 NEW BEST:: SOT 94174 SOS 27140 HAS SOPS 27140 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24216.14
AT ITER 6791 NEW BEST:: SOT 94175 SOS 27143 HAS SOPS 27143 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24215.143
AT ITER 6808 NEW BEST:: SOT 94172 SOS 27131 HAS SOPS 27131 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24206.131
AT ITER 6836 NEW BEST:: SOT 94141 SOS 27095 HAS SOPS 27095 HAS SOUS 24143 HAS SOUPS 24143 WITH SCORE 24170.095
AT ITER 6867 NEW BEST:: SOT 94120 SOS 27032 HAS SOPS 27032 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24128.032
AT ITER 6872 NEW BEST:: SOT 94089 SOS 27005 HAS SOPS 27005 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24101.005
AT ITER 6874 NEW BEST:: SOT 94067 SOS 26983 HAS SOPS 26983 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24100.983
AT ITER 6896 NEW BEST:: SOT 94045 SOS 26953 HAS SOPS 26953 HAS SOUS 24039 HAS SOUPS 24039 WITH SCORE 24065.953
AT ITER 6939 NEW BEST:: SOT 94040 SOS 26948 HAS SOPS 26948 HAS SOUS 24034 HAS SOUPS 24034 WITH SCORE 24060.948
AT ITER 6978 NEW BEST:: SOT 94038 SOS 26946 HAS SOPS 26946 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24056.946
AT ITER 6987 NEW BEST:: SOT 94038 SOS 26914 HAS SOPS 26914 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24056.914
AT ITER 7027 NEW BEST:: SOT 94038 SOS 26921 HAS SOPS 26921 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24042.921
AT ITER 7050 NEW BEST:: SOT 94038 SOS 26819 HAS SOPS 26819 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24038.819
AT ITER 7054 NEW BEST:: SOT 94020 SOS 26807 HAS SOPS 26807 HAS SOUS 23994 HAS SOUPS 23994 WITH SCORE 24020.807
AT ITER 7079 NEW BEST:: SOT 94004 SOS 26789 HAS SOPS 26789 HAS SOUS 23976 HAS SOUPS 23976 WITH SCORE 24002.789
AT ITER 7118 NEW BEST:: SOT 93996 SOS 26781 HAS SOPS 26781 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23986.781
AT ITER 7119 NEW BEST:: SOT 93980 SOS 26721 HAS SOPS 26721 HAS SOUS 23915 HAS SOUPS 23915 WITH SCORE 23941.721
AT ITER 7154 NEW BEST:: SOT 93966 SOS 26707 HAS SOPS 26707 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23927.707
AT ITER 7179 NEW BEST:: SOT 93934 SOS 26618 HAS SOPS 26618 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23873.618
AT ITER 7189 NEW BEST:: SOT 93930 SOS 26613 HAS SOPS 26613 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23868.613
AT ITER 7202 NEW BEST:: SOT 93921 SOS 26575 HAS SOPS 26575 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23847.575
AT ITER 7220 NEW BEST:: SOT 93896 SOS 26536 HAS SOPS 26536 HAS SOUS 23780 HAS SOUPS 23780 WITH SCORE 23806.536
AT ITER 7252 NEW BEST:: SOT 93895 SOS 26533 HAS SOPS 26533 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23804.533
AT ITER 7284 NEW BEST:: SOT 93895 SOS 26534 HAS SOPS 26534 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23803.534
AT ITER 7326 NEW BEST:: SOT 93891 SOS 26527 HAS SOPS 26527 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23796.527
AT ITER 7334 NEW BEST:: SOT 93884 SOS 26526 HAS SOPS 26526 HAS SOUS 23769 HAS SOUPS 23769 WITH SCORE 23795.526
AT ITER 7347 NEW BEST:: SOT 93865 SOS 26514 HAS SOPS 26514 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23762.514
AT ITER 7357 NEW BEST:: SOT 93875 SOS 26550 HAS SOPS 26550 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23740.55
AT ITER 7376 NEW BEST:: SOT 93871 SOS 26544 HAS SOPS 26544 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23734.544
AT ITER 7432 NEW BEST:: SOT 93863 SOS 26540 HAS SOPS 26540 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23730.54
AT ITER 7448 NEW BEST:: SOT 93850 SOS 26551 HAS SOPS 26551 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23707.551
AT ITER 7452 NEW BEST:: SOT 93850 SOS 26549 HAS SOPS 26549 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23686.549
AT ITER 7457 NEW BEST:: SOT 93849 SOS 26544 HAS SOPS 26544 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23684.544
AT ITER 7495 NEW BEST:: SOT 93849 SOS 26493 HAS SOPS 26493 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23632.493
AT ITER 7529 NEW BEST:: SOT 93845 SOS 26485 HAS SOPS 26485 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23631.485
AT ITER 7549 NEW BEST:: SOT 93845 SOS 26483 HAS SOPS 26483 HAS SOUS 23603 HAS SOUPS 23603 WITH SCORE 23629.483
AT ITER 7551 NEW BEST:: SOT 93816 SOS 26396 HAS SOPS 26396 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23595.396
AT ITER 7559 NEW BEST:: SOT 93813 SOS 26397 HAS SOPS 26397 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23587.397
AT ITER 7575 NEW BEST:: SOT 93800 SOS 26375 HAS SOPS 26375 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23568.375
AT ITER 7581 NEW BEST:: SOT 93756 SOS 26264 HAS SOPS 26264 HAS SOUS 23458 HAS SOUPS 23458 WITH SCORE 23484.264
AT ITER 7607 NEW BEST:: SOT 93740 SOS 26216 HAS SOPS 26216 HAS SOUS 23442 HAS SOUPS 23442 WITH SCORE 23468.216
AT ITER 7713 NEW BEST:: SOT 93692 SOS 26168 HAS SOPS 26168 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23396.168
AT ITER 7748 NEW BEST:: SOT 93684 SOS 26160 HAS SOPS 26160 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23388.16
AT ITER 7760 NEW BEST:: SOT 93677 SOS 26149 HAS SOPS 26149 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23380.149
AT ITER 7764 NEW BEST:: SOT 93671 SOS 26133 HAS SOPS 26133 HAS SOUS 23348 HAS SOUPS 23348 WITH SCORE 23374.133
AT ITER 7787 NEW BEST:: SOT 93668 SOS 26124 HAS SOPS 26124 HAS SOUS 23344 HAS SOUPS 23344 WITH SCORE 23370.124
AT ITER 7806 NEW BEST:: SOT 93610 SOS 26042 HAS SOPS 26042 HAS SOUS 23235 HAS SOUPS 23235 WITH SCORE 23261.042
AT ITER 7837 NEW BEST:: SOT 93607 SOS 26039 HAS SOPS 26039 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23258.039
AT ITER 7853 NEW BEST:: SOT 93603 SOS 26034 HAS SOPS 26034 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23253.034
AT ITER 7869 NEW BEST:: SOT 93605 SOS 26051 HAS SOPS 26051 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23246.051
AT ITER 7889 NEW BEST:: SOT 93605 SOS 26041 HAS SOPS 26041 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23241.041
AT ITER 7936 NEW BEST:: SOT 93543 SOS 25941 HAS SOPS 25941 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23156.941
AT ITER 7979 NEW BEST:: SOT 93523 SOS 25916 HAS SOPS 25916 HAS SOUS 23106 HAS SOUPS 23106 WITH SCORE 23131.916
AT ITER 8070 NEW BEST:: SOT 93515 SOS 25892 HAS SOPS 25892 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23114.892
AT ITER 8134 NEW BEST:: SOT 93515 SOS 25811 HAS SOPS 25811 HAS SOUS 23038 HAS SOUPS 23038 WITH SCORE 23063.811
AT ITER 8176 NEW BEST:: SOT 93512 SOS 25808 HAS SOPS 25808 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23060.808
AT ITER 8197 NEW BEST:: SOT 93512 SOS 25787 HAS SOPS 25787 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23053.787
AT ITER 8235 NEW BEST:: SOT 93508 SOS 25781 HAS SOPS 25781 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23051.781
AT ITER 8254 NEW BEST:: SOT 93508 SOS 25760 HAS SOPS 25760 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23051.76
AT ITER 8295 NEW BEST:: SOT 93509 SOS 25851 HAS SOPS 25851 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 22999.851
AT ITER 8327 NEW BEST:: SOT 93508 SOS 25846 HAS SOPS 25846 HAS SOUS 22971 HAS SOUPS 22971 WITH SCORE 22996.846
AT ITER 8424 NEW BEST:: SOT 93508 SOS 25830 HAS SOPS 25830 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22980.83
AT ITER 8457 NEW BEST:: SOT 93507 SOS 25829 HAS SOPS 25829 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22979.829
AT ITER 8459 NEW BEST:: SOT 93505 SOS 25803 HAS SOPS 25803 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22958.803
AT ITER 8476 NEW BEST:: SOT 93505 SOS 25848 HAS SOPS 25848 HAS SOUS 22928 HAS SOUPS 22928 WITH SCORE 22953.848
AT ITER 8512 NEW BEST:: SOT 93504 SOS 25847 HAS SOPS 25847 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22952.847
AT ITER 8539 NEW BEST:: SOT 93495 SOS 25832 HAS SOPS 25832 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22937.832
AT ITER 8555 NEW BEST:: SOT 93473 SOS 25810 HAS SOPS 25810 HAS SOUS 22879 HAS SOUPS 22879 WITH SCORE 22904.81
AT ITER 8635 NEW BEST:: SOT 93416 SOS 25668 HAS SOPS 25668 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22782.668
AT ITER 8657 NEW BEST:: SOT 93423 SOS 25664 HAS SOPS 25664 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22753.664
AT ITER 8671 NEW BEST:: SOT 93423 SOS 25664 HAS SOPS 25664 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22752.664
AT ITER 8681 NEW BEST:: SOT 93377 SOS 25636 HAS SOPS 25636 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22721.636
AT ITER 8701 NEW BEST:: SOT 93367 SOS 25609 HAS SOPS 25609 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.609
AT ITER 8703 NEW BEST:: SOT 93367 SOS 25557 HAS SOPS 25557 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.557
AT ITER 8717 NEW BEST:: SOT 93367 SOS 25554 HAS SOPS 25554 HAS SOUS 22673 HAS SOUPS 22673 WITH SCORE 22698.554
AT ITER 8733 NEW BEST:: SOT 93363 SOS 25548 HAS SOPS 25548 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22692.548
AT ITER 8754 NEW BEST:: SOT 93361 SOS 25546 HAS SOPS 25546 HAS SOUS 22665 HAS SOUPS 22665 WITH SCORE 22690.546
AT ITER 8781 NEW BEST:: SOT 93361 SOS 25530 HAS SOPS 25530 HAS SOUS 22665 HAS SOUPS 22665 WITH SCORE 22690.53
AT ITER 8788 NEW BEST:: SOT 93351 SOS 25520 HAS SOPS 25520 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22675.52
AT ITER 8790 NEW BEST:: SOT 93351 SOS 25571 HAS SOPS 25571 HAS SOUS 22638 HAS SOUPS 22638 WITH SCORE 22663.571
AT ITER 8892 NEW BEST:: SOT 93339 SOS 25540 HAS SOPS 25540 HAS SOUS 22607 HAS SOUPS 22607 WITH SCORE 22632.54
AT ITER 8919 NEW BEST:: SOT 93325 SOS 25468 HAS SOPS 25468 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22560.468
AT ITER 8955 NEW BEST:: SOT 93325 SOS 25467 HAS SOPS 25467 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22559.467
AT ITER 8982 NEW BEST:: SOT 93258 SOS 25328 HAS SOPS 25328 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22444.328
AT ITER 9114 NEW BEST:: SOT 93259 SOS 25321 HAS SOPS 25321 HAS SOUS 22403 HAS SOUPS 22403 WITH SCORE 22428.321
AT ITER 9133 NEW BEST:: SOT 93251 SOS 25311 HAS SOPS 25311 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22412.311
AT ITER 9159 NEW BEST:: SOT 93245 SOS 25302 HAS SOPS 25302 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22403.302
AT ITER 9163 NEW BEST:: SOT 93214 SOS 25215 HAS SOPS 25215 HAS SOUS 22360 HAS SOUPS 22360 WITH SCORE 22385.215
AT ITER 9202 NEW BEST:: SOT 93211 SOS 25212 HAS SOPS 25212 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22382.212
AT ITER 9242 NEW BEST:: SOT 93208 SOS 25207 HAS SOPS 25207 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22377.207
AT ITER 9281 NEW BEST:: SOT 93189 SOS 25188 HAS SOPS 25188 HAS SOUS 22333 HAS SOUPS 22333 WITH SCORE 22358.188
AT ITER 9289 NEW BEST:: SOT 93189 SOS 25162 HAS SOPS 25162 HAS SOUS 22332 HAS SOUPS 22332 WITH SCORE 22357.162
AT ITER 9308 NEW BEST:: SOT 93189 SOS 25164 HAS SOPS 25164 HAS SOUS 22330 HAS SOUPS 22330 WITH SCORE 22355.164
AT ITER 9349 NEW BEST:: SOT 93190 SOS 25163 HAS SOPS 25163 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22354.163
AT ITER 9393 NEW BEST:: SOT 93190 SOS 25163 HAS SOPS 25163 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22342.163
AT ITER 9407 NEW BEST:: SOT 93187 SOS 25159 HAS SOPS 25159 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22338.159
AT ITER 9438 NEW BEST:: SOT 93166 SOS 25145 HAS SOPS 25145 HAS SOUS 22278 HAS SOUPS 22278 WITH SCORE 22303.145
AT ITER 9547 NEW BEST:: SOT 93166 SOS 25132 HAS SOPS 25132 HAS SOUS 22278 HAS SOUPS 22278 WITH SCORE 22303.132
AT ITER 9557 NEW BEST:: SOT 93154 SOS 25102 HAS SOPS 25102 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22279.102
AT ITER 9579 NEW BEST:: SOT 93148 SOS 25092 HAS SOPS 25092 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22269.092
AT ITER 9590 NEW BEST:: SOT 93143 SOS 25117 HAS SOPS 25117 HAS SOUS 22214 HAS SOUPS 22214 WITH SCORE 22239.117
AT ITER 9594 NEW BEST:: SOT 93117 SOS 25081 HAS SOPS 25081 HAS SOUS 22196 HAS SOUPS 22196 WITH SCORE 22221.081
AT ITER 9603 NEW BEST:: SOT 93086 SOS 25014 HAS SOPS 25014 HAS SOUS 22128 HAS SOUPS 22128 WITH SCORE 22153.014
AT ITER 9626 NEW BEST:: SOT 93062 SOS 24974 HAS SOPS 24974 HAS SOUS 22096 HAS SOUPS 22096 WITH SCORE 22120.974
AT ITER 9631 NEW BEST:: SOT 93060 SOS 24964 HAS SOPS 24964 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22116.964
AT ITER 9642 NEW BEST:: SOT 93054 SOS 24956 HAS SOPS 24956 HAS SOUS 22084 HAS SOUPS 22084 WITH SCORE 22108.956
AT ITER 9644 NEW BEST:: SOT 93054 SOS 24933 HAS SOPS 24933 HAS SOUS 22084 HAS SOUPS 22084 WITH SCORE 22108.933
AT ITER 9664 NEW BEST:: SOT 93045 SOS 24920 HAS SOPS 24920 HAS SOUS 22053 HAS SOUPS 22053 WITH SCORE 22077.92
AT ITER 9669 NEW BEST:: SOT 92992 SOS 24867 HAS SOPS 24867 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22023.867
AT ITER 9746 NEW BEST:: SOT 92989 SOS 24863 HAS SOPS 24863 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22019.863
AT ITER 9811 NEW BEST:: SOT 92989 SOS 24863 HAS SOPS 24863 HAS SOUS 21988 HAS SOUPS 21988 WITH SCORE 22012.863
AT ITER 9842 NEW BEST:: SOT 92983 SOS 24851 HAS SOPS 24851 HAS SOUS 21976 HAS SOUPS 21976 WITH SCORE 22000.851
AT ITER 9856 NEW BEST:: SOT 92981 SOS 24843 HAS SOPS 24843 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21981.843
AT ITER 9904 NEW BEST:: SOT 92982 SOS 24841 HAS SOPS 24841 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21980.841
AT ITER 9912 NEW BEST:: SOT 92979 SOS 24827 HAS SOPS 24827 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21976.827
AT ITER 9924 NEW BEST:: SOT 92979 SOS 24815 HAS SOPS 24815 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21964.815
AT ITER 9990 NEW BEST:: SOT 92969 SOS 24785 HAS SOPS 24785 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21954.785
AT ITER 9996 NEW BEST:: SOT 92975 SOS 24770 HAS SOPS 24770 HAS SOUS 21921 HAS SOUPS 21921 WITH SCORE 21945.77

BK_STOP 1590459775901

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-050A"
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 ShieldRVt-PT-050A, 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-159033470401072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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