Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400288.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.7K Apr 4 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 06:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 20:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 20:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 3 13:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 141K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589402182137

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

Filename model.pnml
Petri model created: 542 places, 621 transitions, 1533 arcs.
AT ITER 0 NEW BEST:: SOT 214397 SOS 97670 HAS SOPS 97670 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.67
AT ITER 2 NEW BEST:: SOT 214397 SOS 97609 HAS SOPS 97609 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.609
AT ITER 4 NEW BEST:: SOT 214397 SOS 97609 HAS SOPS 97609 HAS SOUS 78246 HAS SOUPS 78246 WITH SCORE 78343.609
AT ITER 5 NEW BEST:: SOT 214437 SOS 97461 HAS SOPS 97461 HAS SOUS 78207 HAS SOUPS 78207 WITH SCORE 78304.461
AT ITER 20 NEW BEST:: SOT 214437 SOS 97403 HAS SOPS 97403 HAS SOUS 78200 HAS SOUPS 78200 WITH SCORE 78297.403
AT ITER 22 NEW BEST:: SOT 214437 SOS 97403 HAS SOPS 97403 HAS SOUS 78179 HAS SOUPS 78179 WITH SCORE 78276.403
AT ITER 33 NEW BEST:: SOT 210193 SOS 102505 HAS SOPS 102505 HAS SOUS 74087 HAS SOUPS 74087 WITH SCORE 74189.505
AT ITER 37 NEW BEST:: SOT 210082 SOS 102312 HAS SOPS 102312 HAS SOUS 73914 HAS SOUPS 73914 WITH SCORE 74016.312
AT ITER 38 NEW BEST:: SOT 209914 SOS 102340 HAS SOPS 102340 HAS SOUS 73885 HAS SOUPS 73885 WITH SCORE 73987.34
AT ITER 39 NEW BEST:: SOT 209872 SOS 102298 HAS SOPS 102298 HAS SOUS 73861 HAS SOUPS 73861 WITH SCORE 73963.298
AT ITER 41 NEW BEST:: SOT 209872 SOS 101454 HAS SOPS 101454 HAS SOUS 73730 HAS SOUPS 73730 WITH SCORE 73831.454
AT ITER 47 NEW BEST:: SOT 209872 SOS 101500 HAS SOPS 101500 HAS SOUS 73729 HAS SOUPS 73729 WITH SCORE 73830.5
AT ITER 49 NEW BEST:: SOT 209872 SOS 101500 HAS SOPS 101500 HAS SOUS 73727 HAS SOUPS 73727 WITH SCORE 73828.5
AT ITER 57 NEW BEST:: SOT 209872 SOS 101500 HAS SOPS 101500 HAS SOUS 73702 HAS SOUPS 73702 WITH SCORE 73803.5
AT ITER 62 NEW BEST:: SOT 209835 SOS 101327 HAS SOPS 101327 HAS SOUS 73566 HAS SOUPS 73566 WITH SCORE 73667.327
AT ITER 66 NEW BEST:: SOT 209836 SOS 101218 HAS SOPS 101218 HAS SOUS 73526 HAS SOUPS 73526 WITH SCORE 73627.218
AT ITER 67 NEW BEST:: SOT 209791 SOS 101083 HAS SOPS 101083 HAS SOUS 73481 HAS SOUPS 73481 WITH SCORE 73582.083
AT ITER 72 NEW BEST:: SOT 209605 SOS 100858 HAS SOPS 100858 HAS SOUS 73332 HAS SOUPS 73332 WITH SCORE 73432.858
AT ITER 76 NEW BEST:: SOT 209506 SOS 100759 HAS SOPS 100759 HAS SOUS 73233 HAS SOUPS 73233 WITH SCORE 73333.759
AT ITER 79 NEW BEST:: SOT 209433 SOS 100461 HAS SOPS 100461 HAS SOUS 73160 HAS SOUPS 73160 WITH SCORE 73260.461
AT ITER 89 NEW BEST:: SOT 209187 SOS 100114 HAS SOPS 100114 HAS SOUS 72914 HAS SOUPS 72914 WITH SCORE 73014.114
AT ITER 92 NEW BEST:: SOT 209159 SOS 100058 HAS SOPS 100058 HAS SOUS 72858 HAS SOUPS 72858 WITH SCORE 72958.058
AT ITER 101 NEW BEST:: SOT 209158 SOS 100056 HAS SOPS 100056 HAS SOUS 72824 HAS SOUPS 72824 WITH SCORE 72924.056
AT ITER 102 NEW BEST:: SOT 209158 SOS 99872 HAS SOPS 99872 HAS SOUS 72679 HAS SOUPS 72679 WITH SCORE 72778.872
AT ITER 103 NEW BEST:: SOT 209238 SOS 99764 HAS SOPS 99764 HAS SOUS 72650 HAS SOUPS 72650 WITH SCORE 72749.764
AT ITER 109 NEW BEST:: SOT 209034 SOS 99608 HAS SOPS 99608 HAS SOUS 72464 HAS SOUPS 72464 WITH SCORE 72563.608
AT ITER 110 NEW BEST:: SOT 208789 SOS 99262 HAS SOPS 99262 HAS SOUS 72219 HAS SOUPS 72219 WITH SCORE 72318.262
AT ITER 112 NEW BEST:: SOT 208631 SOS 98788 HAS SOPS 98788 HAS SOUS 71745 HAS SOUPS 71745 WITH SCORE 71843.788
AT ITER 113 NEW BEST:: SOT 208595 SOS 98716 HAS SOPS 98716 HAS SOUS 71709 HAS SOUPS 71709 WITH SCORE 71807.716
AT ITER 118 NEW BEST:: SOT 208555 SOS 98711 HAS SOPS 98711 HAS SOUS 71679 HAS SOUPS 71679 WITH SCORE 71777.711
AT ITER 119 NEW BEST:: SOT 208444 SOS 98600 HAS SOPS 98600 HAS SOUS 71670 HAS SOUPS 71670 WITH SCORE 71768.6
AT ITER 124 NEW BEST:: SOT 208575 SOS 98350 HAS SOPS 98350 HAS SOUS 71590 HAS SOUPS 71590 WITH SCORE 71688.35
AT ITER 126 NEW BEST:: SOT 208502 SOS 98277 HAS SOPS 98277 HAS SOUS 71590 HAS SOUPS 71590 WITH SCORE 71688.277
AT ITER 127 NEW BEST:: SOT 208609 SOS 98003 HAS SOPS 98003 HAS SOUS 71456 HAS SOUPS 71456 WITH SCORE 71554.003
AT ITER 128 NEW BEST:: SOT 208638 SOS 97787 HAS SOPS 97787 HAS SOUS 71268 HAS SOUPS 71268 WITH SCORE 71365.787
AT ITER 129 NEW BEST:: SOT 208772 SOS 97209 HAS SOPS 97209 HAS SOUS 71223 HAS SOUPS 71223 WITH SCORE 71320.209
AT ITER 131 NEW BEST:: SOT 208772 SOS 97096 HAS SOPS 97096 HAS SOUS 71110 HAS SOUPS 71110 WITH SCORE 71207.096
AT ITER 139 NEW BEST:: SOT 208792 SOS 96986 HAS SOPS 96986 HAS SOUS 71068 HAS SOUPS 71068 WITH SCORE 71164.986
AT ITER 140 NEW BEST:: SOT 208618 SOS 96847 HAS SOPS 96847 HAS SOUS 70967 HAS SOUPS 70967 WITH SCORE 71063.847
AT ITER 142 NEW BEST:: SOT 208640 SOS 96835 HAS SOPS 96835 HAS SOUS 70929 HAS SOUPS 70929 WITH SCORE 71025.835
AT ITER 157 NEW BEST:: SOT 208551 SOS 96621 HAS SOPS 96621 HAS SOUS 70837 HAS SOUPS 70837 WITH SCORE 70933.621
AT ITER 159 NEW BEST:: SOT 208365 SOS 96528 HAS SOPS 96528 HAS SOUS 70744 HAS SOUPS 70744 WITH SCORE 70840.528
AT ITER 161 NEW BEST:: SOT 208333 SOS 96464 HAS SOPS 96464 HAS SOUS 70680 HAS SOUPS 70680 WITH SCORE 70776.464
AT ITER 163 NEW BEST:: SOT 208331 SOS 96466 HAS SOPS 96466 HAS SOUS 70678 HAS SOUPS 70678 WITH SCORE 70774.466
AT ITER 169 NEW BEST:: SOT 207990 SOS 96129 HAS SOPS 96129 HAS SOUS 70341 HAS SOUPS 70341 WITH SCORE 70437.129
AT ITER 173 NEW BEST:: SOT 207990 SOS 96040 HAS SOPS 96040 HAS SOUS 70206 HAS SOUPS 70206 WITH SCORE 70302.04
AT ITER 178 NEW BEST:: SOT 207693 SOS 95446 HAS SOPS 95446 HAS SOUS 69761 HAS SOUPS 69761 WITH SCORE 69856.446
AT ITER 179 NEW BEST:: SOT 207584 SOS 95228 HAS SOPS 95228 HAS SOUS 69652 HAS SOUPS 69652 WITH SCORE 69747.228
AT ITER 187 NEW BEST:: SOT 207607 SOS 95039 HAS SOPS 95039 HAS SOUS 69173 HAS SOUPS 69173 WITH SCORE 69268.039
AT ITER 197 NEW BEST:: SOT 207599 SOS 95023 HAS SOPS 95023 HAS SOUS 69149 HAS SOUPS 69149 WITH SCORE 69244.023
AT ITER 202 NEW BEST:: SOT 207629 SOS 94942 HAS SOPS 94942 HAS SOUS 69068 HAS SOUPS 69068 WITH SCORE 69162.942
AT ITER 214 NEW BEST:: SOT 207577 SOS 95064 HAS SOPS 95064 HAS SOUS 68966 HAS SOUPS 68966 WITH SCORE 69061.064
AT ITER 224 NEW BEST:: SOT 207577 SOS 95030 HAS SOPS 95030 HAS SOUS 68948 HAS SOUPS 68948 WITH SCORE 69043.03
AT ITER 226 NEW BEST:: SOT 207527 SOS 94980 HAS SOPS 94980 HAS SOUS 68926 HAS SOUPS 68926 WITH SCORE 69020.98
AT ITER 227 NEW BEST:: SOT 207540 SOS 94956 HAS SOPS 94956 HAS SOUS 68902 HAS SOUPS 68902 WITH SCORE 68996.956
AT ITER 229 NEW BEST:: SOT 207502 SOS 94880 HAS SOPS 94880 HAS SOUS 68826 HAS SOUPS 68826 WITH SCORE 68920.88
AT ITER 232 NEW BEST:: SOT 207395 SOS 94503 HAS SOPS 94503 HAS SOUS 68624 HAS SOUPS 68624 WITH SCORE 68718.503
AT ITER 233 NEW BEST:: SOT 207290 SOS 94398 HAS SOPS 94398 HAS SOUS 68414 HAS SOUPS 68414 WITH SCORE 68508.398
AT ITER 237 NEW BEST:: SOT 207106 SOS 93951 HAS SOPS 93951 HAS SOUS 68011 HAS SOUPS 68011 WITH SCORE 68104.951
AT ITER 238 NEW BEST:: SOT 207106 SOS 93893 HAS SOPS 93893 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68045.893
AT ITER 245 NEW BEST:: SOT 207136 SOS 93845 HAS SOPS 93845 HAS SOUS 67891 HAS SOUPS 67891 WITH SCORE 67984.845
AT ITER 246 NEW BEST:: SOT 207024 SOS 93621 HAS SOPS 93621 HAS SOUS 67791 HAS SOUPS 67791 WITH SCORE 67884.621
AT ITER 258 NEW BEST:: SOT 206993 SOS 93436 HAS SOPS 93436 HAS SOUS 67724 HAS SOUPS 67724 WITH SCORE 67817.436
AT ITER 261 NEW BEST:: SOT 206954 SOS 93280 HAS SOPS 93280 HAS SOUS 67685 HAS SOUPS 67685 WITH SCORE 67778.28
AT ITER 264 NEW BEST:: SOT 206853 SOS 93093 HAS SOPS 93093 HAS SOUS 67498 HAS SOUPS 67498 WITH SCORE 67591.093
AT ITER 272 NEW BEST:: SOT 206811 SOS 93009 HAS SOPS 93009 HAS SOUS 67414 HAS SOUPS 67414 WITH SCORE 67507.009
AT ITER 275 NEW BEST:: SOT 206703 SOS 92729 HAS SOPS 92729 HAS SOUS 67163 HAS SOUPS 67163 WITH SCORE 67255.729
AT ITER 276 NEW BEST:: SOT 206703 SOS 92729 HAS SOPS 92729 HAS SOUS 67162 HAS SOUPS 67162 WITH SCORE 67254.729
AT ITER 279 NEW BEST:: SOT 206665 SOS 92653 HAS SOPS 92653 HAS SOUS 67086 HAS SOUPS 67086 WITH SCORE 67178.653
AT ITER 282 NEW BEST:: SOT 205912 SOS 93437 HAS SOPS 93437 HAS SOUS 66637 HAS SOUPS 66637 WITH SCORE 66730.437
AT ITER 283 NEW BEST:: SOT 205763 SOS 93139 HAS SOPS 93139 HAS SOUS 66484 HAS SOUPS 66484 WITH SCORE 66577.139
AT ITER 286 NEW BEST:: SOT 205726 SOS 92880 HAS SOPS 92880 HAS SOUS 66447 HAS SOUPS 66447 WITH SCORE 66539.88
AT ITER 291 NEW BEST:: SOT 205571 SOS 92570 HAS SOPS 92570 HAS SOUS 66292 HAS SOUPS 66292 WITH SCORE 66384.57
AT ITER 294 NEW BEST:: SOT 205571 SOS 92518 HAS SOPS 92518 HAS SOUS 66292 HAS SOUPS 66292 WITH SCORE 66384.518
AT ITER 296 NEW BEST:: SOT 205534 SOS 92444 HAS SOPS 92444 HAS SOUS 66087 HAS SOUPS 66087 WITH SCORE 66179.444
AT ITER 299 NEW BEST:: SOT 205402 SOS 92146 HAS SOPS 92146 HAS SOUS 65953 HAS SOUPS 65953 WITH SCORE 66045.146
AT ITER 301 NEW BEST:: SOT 205361 SOS 92064 HAS SOPS 92064 HAS SOUS 65871 HAS SOUPS 65871 WITH SCORE 65963.064
AT ITER 303 NEW BEST:: SOT 205269 SOS 91880 HAS SOPS 91880 HAS SOUS 65785 HAS SOUPS 65785 WITH SCORE 65876.88
AT ITER 309 NEW BEST:: SOT 205228 SOS 91757 HAS SOPS 91757 HAS SOUS 65703 HAS SOUPS 65703 WITH SCORE 65794.757
AT ITER 313 NEW BEST:: SOT 205163 SOS 91692 HAS SOPS 91692 HAS SOUS 65638 HAS SOUPS 65638 WITH SCORE 65729.692
AT ITER 314 NEW BEST:: SOT 205163 SOS 91636 HAS SOPS 91636 HAS SOUS 65549 HAS SOUPS 65549 WITH SCORE 65640.636
AT ITER 315 NEW BEST:: SOT 205163 SOS 91594 HAS SOPS 91594 HAS SOUS 65546 HAS SOUPS 65546 WITH SCORE 65637.594
AT ITER 318 NEW BEST:: SOT 205111 SOS 91094 HAS SOPS 91094 HAS SOUS 65486 HAS SOUPS 65486 WITH SCORE 65577.094
AT ITER 320 NEW BEST:: SOT 204989 SOS 90962 HAS SOPS 90962 HAS SOUS 65362 HAS SOUPS 65362 WITH SCORE 65452.962
AT ITER 322 NEW BEST:: SOT 204793 SOS 90616 HAS SOPS 90616 HAS SOUS 65091 HAS SOUPS 65091 WITH SCORE 65181.616
AT ITER 330 NEW BEST:: SOT 204429 SOS 90152 HAS SOPS 90152 HAS SOUS 64791 HAS SOUPS 64791 WITH SCORE 64881.152
AT ITER 331 NEW BEST:: SOT 204480 SOS 90201 HAS SOPS 90201 HAS SOUS 64782 HAS SOUPS 64782 WITH SCORE 64872.201
AT ITER 336 NEW BEST:: SOT 204472 SOS 90211 HAS SOPS 90211 HAS SOUS 64776 HAS SOUPS 64776 WITH SCORE 64866.211
AT ITER 340 NEW BEST:: SOT 204449 SOS 90138 HAS SOPS 90138 HAS SOUS 64636 HAS SOUPS 64636 WITH SCORE 64726.138
AT ITER 346 NEW BEST:: SOT 203760 SOS 91216 HAS SOPS 91216 HAS SOUS 64273 HAS SOUPS 64273 WITH SCORE 64364.216
AT ITER 353 NEW BEST:: SOT 203619 SOS 91075 HAS SOPS 91075 HAS SOUS 64132 HAS SOUPS 64132 WITH SCORE 64223.075
AT ITER 356 NEW BEST:: SOT 203608 SOS 91092 HAS SOPS 91092 HAS SOUS 64088 HAS SOUPS 64088 WITH SCORE 64179.092
AT ITER 361 NEW BEST:: SOT 203514 SOS 90904 HAS SOPS 90904 HAS SOUS 63999 HAS SOUPS 63999 WITH SCORE 64089.904
AT ITER 368 NEW BEST:: SOT 203612 SOS 90688 HAS SOPS 90688 HAS SOUS 63942 HAS SOUPS 63942 WITH SCORE 64032.688
AT ITER 382 NEW BEST:: SOT 203742 SOS 90608 HAS SOPS 90608 HAS SOUS 63923 HAS SOUPS 63923 WITH SCORE 64013.608
AT ITER 387 NEW BEST:: SOT 203742 SOS 90538 HAS SOPS 90538 HAS SOUS 63914 HAS SOUPS 63914 WITH SCORE 64004.538
AT ITER 393 NEW BEST:: SOT 203742 SOS 90461 HAS SOPS 90461 HAS SOUS 63855 HAS SOUPS 63855 WITH SCORE 63945.461
AT ITER 406 NEW BEST:: SOT 203798 SOS 90517 HAS SOPS 90517 HAS SOUS 63799 HAS SOUPS 63799 WITH SCORE 63889.517
AT ITER 407 NEW BEST:: SOT 203798 SOS 90374 HAS SOPS 90374 HAS SOUS 63707 HAS SOUPS 63707 WITH SCORE 63797.374
AT ITER 409 NEW BEST:: SOT 203674 SOS 90126 HAS SOPS 90126 HAS SOUS 63581 HAS SOUPS 63581 WITH SCORE 63671.126
AT ITER 412 NEW BEST:: SOT 203674 SOS 90062 HAS SOPS 90062 HAS SOUS 63517 HAS SOUPS 63517 WITH SCORE 63607.062
AT ITER 418 NEW BEST:: SOT 203623 SOS 89961 HAS SOPS 89961 HAS SOUS 63411 HAS SOUPS 63411 WITH SCORE 63500.961
AT ITER 422 NEW BEST:: SOT 203554 SOS 89892 HAS SOPS 89892 HAS SOUS 63385 HAS SOUPS 63385 WITH SCORE 63474.892
AT ITER 427 NEW BEST:: SOT 203550 SOS 89876 HAS SOPS 89876 HAS SOUS 63381 HAS SOUPS 63381 WITH SCORE 63470.876
AT ITER 436 NEW BEST:: SOT 203522 SOS 89820 HAS SOPS 89820 HAS SOUS 63367 HAS SOUPS 63367 WITH SCORE 63456.82
AT ITER 438 NEW BEST:: SOT 203468 SOS 89712 HAS SOPS 89712 HAS SOUS 63313 HAS SOUPS 63313 WITH SCORE 63402.712
AT ITER 441 NEW BEST:: SOT 203405 SOS 89549 HAS SOPS 89549 HAS SOUS 63260 HAS SOUPS 63260 WITH SCORE 63349.549
AT ITER 445 NEW BEST:: SOT 203405 SOS 89549 HAS SOPS 89549 HAS SOUS 63255 HAS SOUPS 63255 WITH SCORE 63344.549
AT ITER 472 NEW BEST:: SOT 203370 SOS 89544 HAS SOPS 89544 HAS SOUS 63046 HAS SOUPS 63046 WITH SCORE 63135.544
AT ITER 474 NEW BEST:: SOT 203377 SOS 89024 HAS SOPS 89024 HAS SOUS 62715 HAS SOUPS 62715 WITH SCORE 62804.024
AT ITER 475 NEW BEST:: SOT 203391 SOS 88906 HAS SOPS 88906 HAS SOUS 62696 HAS SOUPS 62696 WITH SCORE 62784.906
AT ITER 483 NEW BEST:: SOT 203328 SOS 88704 HAS SOPS 88704 HAS SOUS 62633 HAS SOUPS 62633 WITH SCORE 62721.704
AT ITER 486 NEW BEST:: SOT 202039 SOS 87731 HAS SOPS 87731 HAS SOUS 61418 HAS SOUPS 61418 WITH SCORE 61505.731
AT ITER 489 NEW BEST:: SOT 201925 SOS 87583 HAS SOPS 87583 HAS SOUS 61369 HAS SOUPS 61369 WITH SCORE 61456.583
AT ITER 495 NEW BEST:: SOT 201690 SOS 87205 HAS SOPS 87205 HAS SOUS 60991 HAS SOUPS 60991 WITH SCORE 61078.205
AT ITER 496 NEW BEST:: SOT 201650 SOS 87125 HAS SOPS 87125 HAS SOUS 60951 HAS SOUPS 60951 WITH SCORE 61038.125
AT ITER 498 NEW BEST:: SOT 201629 SOS 87251 HAS SOPS 87251 HAS SOUS 60930 HAS SOUPS 60930 WITH SCORE 61017.251
AT ITER 505 NEW BEST:: SOT 201595 SOS 86814 HAS SOPS 86814 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60845.814
AT ITER 506 NEW BEST:: SOT 201490 SOS 86604 HAS SOPS 86604 HAS SOUS 60607 HAS SOUPS 60607 WITH SCORE 60693.604
AT ITER 510 NEW BEST:: SOT 201362 SOS 86483 HAS SOPS 86483 HAS SOUS 60590 HAS SOUPS 60590 WITH SCORE 60676.483
AT ITER 522 NEW BEST:: SOT 201366 SOS 86491 HAS SOPS 86491 HAS SOUS 60589 HAS SOUPS 60589 WITH SCORE 60675.491
AT ITER 523 NEW BEST:: SOT 201492 SOS 86617 HAS SOPS 86617 HAS SOUS 60331 HAS SOUPS 60331 WITH SCORE 60417.617
AT ITER 528 NEW BEST:: SOT 201119 SOS 86927 HAS SOPS 86927 HAS SOUS 60270 HAS SOUPS 60270 WITH SCORE 60356.927
AT ITER 531 NEW BEST:: SOT 201090 SOS 86840 HAS SOPS 86840 HAS SOUS 60183 HAS SOUPS 60183 WITH SCORE 60269.84
AT ITER 534 NEW BEST:: SOT 200940 SOS 86705 HAS SOPS 86705 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60095.705
AT ITER 536 NEW BEST:: SOT 200762 SOS 86581 HAS SOPS 86581 HAS SOUS 59656 HAS SOUPS 59656 WITH SCORE 59742.581
AT ITER 542 NEW BEST:: SOT 200762 SOS 86557 HAS SOPS 86557 HAS SOUS 59632 HAS SOUPS 59632 WITH SCORE 59718.557
AT ITER 543 NEW BEST:: SOT 200744 SOS 86383 HAS SOPS 86383 HAS SOUS 59596 HAS SOUPS 59596 WITH SCORE 59682.383
AT ITER 549 NEW BEST:: SOT 200670 SOS 86235 HAS SOPS 86235 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59617.235
AT ITER 558 NEW BEST:: SOT 200664 SOS 86083 HAS SOPS 86083 HAS SOUS 59453 HAS SOUPS 59453 WITH SCORE 59539.083
AT ITER 562 NEW BEST:: SOT 200664 SOS 86083 HAS SOPS 86083 HAS SOUS 59372 HAS SOUPS 59372 WITH SCORE 59458.083
AT ITER 566 NEW BEST:: SOT 200562 SOS 85940 HAS SOPS 85940 HAS SOUS 59329 HAS SOUPS 59329 WITH SCORE 59414.94
AT ITER 575 NEW BEST:: SOT 200473 SOS 85961 HAS SOPS 85961 HAS SOUS 59244 HAS SOUPS 59244 WITH SCORE 59329.961
AT ITER 578 NEW BEST:: SOT 200560 SOS 85951 HAS SOPS 85951 HAS SOUS 59236 HAS SOUPS 59236 WITH SCORE 59321.951
AT ITER 582 NEW BEST:: SOT 200576 SOS 85961 HAS SOPS 85961 HAS SOUS 59174 HAS SOUPS 59174 WITH SCORE 59259.961
AT ITER 583 NEW BEST:: SOT 200452 SOS 85779 HAS SOPS 85779 HAS SOUS 59116 HAS SOUPS 59116 WITH SCORE 59201.779
AT ITER 591 NEW BEST:: SOT 200470 SOS 85755 HAS SOPS 85755 HAS SOUS 59092 HAS SOUPS 59092 WITH SCORE 59177.755
AT ITER 597 NEW BEST:: SOT 200606 SOS 85875 HAS SOPS 85875 HAS SOUS 59083 HAS SOUPS 59083 WITH SCORE 59168.875
AT ITER 600 NEW BEST:: SOT 200007 SOS 86670 HAS SOPS 86670 HAS SOUS 58770 HAS SOUPS 58770 WITH SCORE 58856.67
AT ITER 619 NEW BEST:: SOT 199986 SOS 86649 HAS SOPS 86649 HAS SOUS 58728 HAS SOUPS 58728 WITH SCORE 58814.649
AT ITER 622 NEW BEST:: SOT 199809 SOS 86413 HAS SOPS 86413 HAS SOUS 58551 HAS SOUPS 58551 WITH SCORE 58637.413
AT ITER 630 NEW BEST:: SOT 199618 SOS 86151 HAS SOPS 86151 HAS SOUS 58384 HAS SOUPS 58384 WITH SCORE 58470.151
AT ITER 641 NEW BEST:: SOT 199399 SOS 86701 HAS SOPS 86701 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58330.701
AT ITER 646 NEW BEST:: SOT 199358 SOS 86519 HAS SOPS 86519 HAS SOUS 58217 HAS SOUPS 58217 WITH SCORE 58303.519
AT ITER 650 NEW BEST:: SOT 199248 SOS 86464 HAS SOPS 86464 HAS SOUS 58182 HAS SOUPS 58182 WITH SCORE 58268.464
AT ITER 655 NEW BEST:: SOT 199171 SOS 86310 HAS SOPS 86310 HAS SOUS 58105 HAS SOUPS 58105 WITH SCORE 58191.31
AT ITER 656 NEW BEST:: SOT 199171 SOS 86103 HAS SOPS 86103 HAS SOUS 58105 HAS SOUPS 58105 WITH SCORE 58191.103
AT ITER 657 NEW BEST:: SOT 199110 SOS 85895 HAS SOPS 85895 HAS SOUS 58045 HAS SOUPS 58045 WITH SCORE 58130.895
AT ITER 660 NEW BEST:: SOT 198897 SOS 85228 HAS SOPS 85228 HAS SOUS 57749 HAS SOUPS 57749 WITH SCORE 57834.228
AT ITER 662 NEW BEST:: SOT 198896 SOS 84986 HAS SOPS 84986 HAS SOUS 57507 HAS SOUPS 57507 WITH SCORE 57591.986
AT ITER 665 NEW BEST:: SOT 198896 SOS 84954 HAS SOPS 84954 HAS SOUS 57475 HAS SOUPS 57475 WITH SCORE 57559.954
AT ITER 681 NEW BEST:: SOT 198846 SOS 84870 HAS SOPS 84870 HAS SOUS 57391 HAS SOUPS 57391 WITH SCORE 57475.87
AT ITER 683 NEW BEST:: SOT 198838 SOS 84870 HAS SOPS 84870 HAS SOUS 57383 HAS SOUPS 57383 WITH SCORE 57467.87
AT ITER 689 NEW BEST:: SOT 198769 SOS 84732 HAS SOPS 84732 HAS SOUS 57314 HAS SOUPS 57314 WITH SCORE 57398.732
AT ITER 691 NEW BEST:: SOT 198554 SOS 84528 HAS SOPS 84528 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57194.528
AT ITER 697 NEW BEST:: SOT 198539 SOS 84508 HAS SOPS 84508 HAS SOUS 57095 HAS SOUPS 57095 WITH SCORE 57179.508
AT ITER 713 NEW BEST:: SOT 198539 SOS 84547 HAS SOPS 84547 HAS SOUS 56950 HAS SOUPS 56950 WITH SCORE 57034.547
AT ITER 717 NEW BEST:: SOT 198459 SOS 84519 HAS SOPS 84519 HAS SOUS 56826 HAS SOUPS 56826 WITH SCORE 56910.519
AT ITER 727 NEW BEST:: SOT 198315 SOS 84463 HAS SOPS 84463 HAS SOUS 56682 HAS SOUPS 56682 WITH SCORE 56766.463
AT ITER 728 NEW BEST:: SOT 198313 SOS 84431 HAS SOPS 84431 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56751.431
AT ITER 731 NEW BEST:: SOT 198313 SOS 84424 HAS SOPS 84424 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56751.424
AT ITER 740 NEW BEST:: SOT 198304 SOS 84401 HAS SOPS 84401 HAS SOUS 56649 HAS SOUPS 56649 WITH SCORE 56733.401
AT ITER 747 NEW BEST:: SOT 197937 SOS 83667 HAS SOPS 83667 HAS SOUS 56074 HAS SOUPS 56074 WITH SCORE 56157.667
AT ITER 748 NEW BEST:: SOT 197937 SOS 83667 HAS SOPS 83667 HAS SOUS 56072 HAS SOUPS 56072 WITH SCORE 56155.667
AT ITER 750 NEW BEST:: SOT 197930 SOS 83653 HAS SOPS 83653 HAS SOUS 56058 HAS SOUPS 56058 WITH SCORE 56141.653
AT ITER 778 NEW BEST:: SOT 197961 SOS 83507 HAS SOPS 83507 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55790.507
AT ITER 779 NEW BEST:: SOT 197961 SOS 83506 HAS SOPS 83506 HAS SOUS 55706 HAS SOUPS 55706 WITH SCORE 55789.506
AT ITER 785 NEW BEST:: SOT 197880 SOS 83182 HAS SOPS 83182 HAS SOUS 55544 HAS SOUPS 55544 WITH SCORE 55627.182
AT ITER 797 NEW BEST:: SOT 197892 SOS 83026 HAS SOPS 83026 HAS SOUS 55344 HAS SOUPS 55344 WITH SCORE 55427.026
AT ITER 805 NEW BEST:: SOT 197747 SOS 82736 HAS SOPS 82736 HAS SOUS 54996 HAS SOUPS 54996 WITH SCORE 55078.736
AT ITER 811 NEW BEST:: SOT 197683 SOS 82608 HAS SOPS 82608 HAS SOUS 54932 HAS SOUPS 54932 WITH SCORE 55014.608
AT ITER 814 NEW BEST:: SOT 197682 SOS 82577 HAS SOPS 82577 HAS SOUS 54901 HAS SOUPS 54901 WITH SCORE 54983.577
AT ITER 815 NEW BEST:: SOT 197568 SOS 82349 HAS SOPS 82349 HAS SOUS 54766 HAS SOUPS 54766 WITH SCORE 54848.349
AT ITER 821 NEW BEST:: SOT 197548 SOS 82309 HAS SOPS 82309 HAS SOUS 54726 HAS SOUPS 54726 WITH SCORE 54808.309
AT ITER 825 NEW BEST:: SOT 197393 SOS 82195 HAS SOPS 82195 HAS SOUS 54710 HAS SOUPS 54710 WITH SCORE 54792.195
AT ITER 826 NEW BEST:: SOT 197393 SOS 82079 HAS SOPS 82079 HAS SOUS 54592 HAS SOUPS 54592 WITH SCORE 54674.079
AT ITER 833 NEW BEST:: SOT 197393 SOS 82024 HAS SOPS 82024 HAS SOUS 54592 HAS SOUPS 54592 WITH SCORE 54674.024
AT ITER 842 NEW BEST:: SOT 197411 SOS 82002 HAS SOPS 82002 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54652.002
AT ITER 857 NEW BEST:: SOT 197346 SOS 81872 HAS SOPS 81872 HAS SOUS 54427 HAS SOUPS 54427 WITH SCORE 54508.872
AT ITER 858 NEW BEST:: SOT 197313 SOS 81806 HAS SOPS 81806 HAS SOUS 54361 HAS SOUPS 54361 WITH SCORE 54442.806
AT ITER 865 NEW BEST:: SOT 197294 SOS 81768 HAS SOPS 81768 HAS SOUS 54342 HAS SOUPS 54342 WITH SCORE 54423.768
AT ITER 876 NEW BEST:: SOT 197231 SOS 81705 HAS SOPS 81705 HAS SOUS 54279 HAS SOUPS 54279 WITH SCORE 54360.705
AT ITER 884 NEW BEST:: SOT 197231 SOS 81545 HAS SOPS 81545 HAS SOUS 54199 HAS SOUPS 54199 WITH SCORE 54280.545
AT ITER 885 NEW BEST:: SOT 197212 SOS 81494 HAS SOPS 81494 HAS SOUS 54162 HAS SOUPS 54162 WITH SCORE 54243.494
AT ITER 887 NEW BEST:: SOT 197176 SOS 81306 HAS SOPS 81306 HAS SOUS 54010 HAS SOUPS 54010 WITH SCORE 54091.306
AT ITER 888 NEW BEST:: SOT 197059 SOS 81178 HAS SOPS 81178 HAS SOUS 53836 HAS SOUPS 53836 WITH SCORE 53917.178
AT ITER 891 NEW BEST:: SOT 197015 SOS 81112 HAS SOPS 81112 HAS SOUS 53792 HAS SOUPS 53792 WITH SCORE 53873.112
AT ITER 894 NEW BEST:: SOT 197015 SOS 81098 HAS SOPS 81098 HAS SOUS 53792 HAS SOUPS 53792 WITH SCORE 53873.098
AT ITER 911 NEW BEST:: SOT 197015 SOS 81098 HAS SOPS 81098 HAS SOUS 53757 HAS SOUPS 53757 WITH SCORE 53838.098
AT ITER 912 NEW BEST:: SOT 197015 SOS 81043 HAS SOPS 81043 HAS SOUS 53680 HAS SOUPS 53680 WITH SCORE 53761.043
AT ITER 923 NEW BEST:: SOT 196840 SOS 80693 HAS SOPS 80693 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53420.693
AT ITER 934 NEW BEST:: SOT 196788 SOS 80644 HAS SOPS 80644 HAS SOUS 53262 HAS SOUPS 53262 WITH SCORE 53342.644
AT ITER 936 NEW BEST:: SOT 196899 SOS 80277 HAS SOPS 80277 HAS SOUS 53251 HAS SOUPS 53251 WITH SCORE 53331.277
AT ITER 941 NEW BEST:: SOT 196899 SOS 80251 HAS SOPS 80251 HAS SOUS 53225 HAS SOUPS 53225 WITH SCORE 53305.251
AT ITER 945 NEW BEST:: SOT 196888 SOS 80240 HAS SOPS 80240 HAS SOUS 53225 HAS SOUPS 53225 WITH SCORE 53305.24
AT ITER 952 NEW BEST:: SOT 196442 SOS 80578 HAS SOPS 80578 HAS SOUS 52861 HAS SOUPS 52861 WITH SCORE 52941.578
AT ITER 954 NEW BEST:: SOT 196352 SOS 80488 HAS SOPS 80488 HAS SOUS 52765 HAS SOUPS 52765 WITH SCORE 52845.488
AT ITER 961 NEW BEST:: SOT 196344 SOS 80472 HAS SOPS 80472 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52837.472
AT ITER 964 NEW BEST:: SOT 196295 SOS 80375 HAS SOPS 80375 HAS SOUS 52689 HAS SOUPS 52689 WITH SCORE 52769.375
AT ITER 965 NEW BEST:: SOT 196309 SOS 80403 HAS SOPS 80403 HAS SOUS 52589 HAS SOUPS 52589 WITH SCORE 52669.403
AT ITER 973 NEW BEST:: SOT 196264 SOS 80313 HAS SOPS 80313 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52624.313
AT ITER 977 NEW BEST:: SOT 196264 SOS 80295 HAS SOPS 80295 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52624.295
AT ITER 984 NEW BEST:: SOT 196234 SOS 80265 HAS SOPS 80265 HAS SOUS 52514 HAS SOUPS 52514 WITH SCORE 52594.265
AT ITER 990 NEW BEST:: SOT 196216 SOS 80004 HAS SOPS 80004 HAS SOUS 52496 HAS SOUPS 52496 WITH SCORE 52576.004
AT ITER 993 NEW BEST:: SOT 196210 SOS 79992 HAS SOPS 79992 HAS SOUS 52490 HAS SOUPS 52490 WITH SCORE 52569.992
AT ITER 994 NEW BEST:: SOT 196210 SOS 79681 HAS SOPS 79681 HAS SOUS 52490 HAS SOUPS 52490 WITH SCORE 52569.681
AT ITER 997 NEW BEST:: SOT 196208 SOS 79679 HAS SOPS 79679 HAS SOUS 52490 HAS SOUPS 52490 WITH SCORE 52569.679
AT ITER 1001 NEW BEST:: SOT 196193 SOS 79649 HAS SOPS 79649 HAS SOUS 52460 HAS SOUPS 52460 WITH SCORE 52539.649
AT ITER 1018 NEW BEST:: SOT 196190 SOS 79646 HAS SOPS 79646 HAS SOUS 52457 HAS SOUPS 52457 WITH SCORE 52536.646
AT ITER 1033 NEW BEST:: SOT 196064 SOS 79961 HAS SOPS 79961 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52458.961
AT ITER 1035 NEW BEST:: SOT 196048 SOS 79862 HAS SOPS 79862 HAS SOUS 52359 HAS SOUPS 52359 WITH SCORE 52438.862
AT ITER 1037 NEW BEST:: SOT 196032 SOS 79846 HAS SOPS 79846 HAS SOUS 52351 HAS SOUPS 52351 WITH SCORE 52430.846
AT ITER 1044 NEW BEST:: SOT 196032 SOS 79835 HAS SOPS 79835 HAS SOUS 52340 HAS SOUPS 52340 WITH SCORE 52419.835
AT ITER 1051 NEW BEST:: SOT 196069 SOS 79805 HAS SOPS 79805 HAS SOUS 52310 HAS SOUPS 52310 WITH SCORE 52389.805
AT ITER 1070 NEW BEST:: SOT 196009 SOS 79685 HAS SOPS 79685 HAS SOUS 52250 HAS SOUPS 52250 WITH SCORE 52329.685
AT ITER 1071 NEW BEST:: SOT 195723 SOS 79850 HAS SOPS 79850 HAS SOUS 52013 HAS SOUPS 52013 WITH SCORE 52092.85
AT ITER 1072 NEW BEST:: SOT 195674 SOS 79789 HAS SOPS 79789 HAS SOUS 51952 HAS SOUPS 51952 WITH SCORE 52031.789
AT ITER 1077 NEW BEST:: SOT 195672 SOS 79785 HAS SOPS 79785 HAS SOUS 51950 HAS SOUPS 51950 WITH SCORE 52029.785
AT ITER 1082 NEW BEST:: SOT 195594 SOS 79696 HAS SOPS 79696 HAS SOUS 51928 HAS SOUPS 51928 WITH SCORE 52007.696
AT ITER 1089 NEW BEST:: SOT 195560 SOS 79474 HAS SOPS 79474 HAS SOUS 51827 HAS SOUPS 51827 WITH SCORE 51906.474
AT ITER 1102 NEW BEST:: SOT 195560 SOS 79474 HAS SOPS 79474 HAS SOUS 51725 HAS SOUPS 51725 WITH SCORE 51804.474
AT ITER 1105 NEW BEST:: SOT 195518 SOS 79342 HAS SOPS 79342 HAS SOUS 51708 HAS SOUPS 51708 WITH SCORE 51787.342
AT ITER 1116 NEW BEST:: SOT 195500 SOS 79327 HAS SOPS 79327 HAS SOUS 51672 HAS SOUPS 51672 WITH SCORE 51751.327
AT ITER 1122 NEW BEST:: SOT 195499 SOS 79326 HAS SOPS 79326 HAS SOUS 51672 HAS SOUPS 51672 WITH SCORE 51751.326
AT ITER 1134 NEW BEST:: SOT 195499 SOS 79300 HAS SOPS 79300 HAS SOUS 51646 HAS SOUPS 51646 WITH SCORE 51725.3
AT ITER 1155 NEW BEST:: SOT 195315 SOS 79272 HAS SOPS 79272 HAS SOUS 51319 HAS SOUPS 51319 WITH SCORE 51398.272
AT ITER 1158 NEW BEST:: SOT 195314 SOS 79271 HAS SOPS 79271 HAS SOUS 51318 HAS SOUPS 51318 WITH SCORE 51397.271
AT ITER 1160 NEW BEST:: SOT 195314 SOS 79271 HAS SOPS 79271 HAS SOUS 51315 HAS SOUPS 51315 WITH SCORE 51394.271
AT ITER 1171 NEW BEST:: SOT 195274 SOS 79191 HAS SOPS 79191 HAS SOUS 51310 HAS SOUPS 51310 WITH SCORE 51389.191
AT ITER 1179 NEW BEST:: SOT 195255 SOS 79093 HAS SOPS 79093 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51379.093
AT ITER 1184 NEW BEST:: SOT 195262 SOS 79078 HAS SOPS 79078 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51357.078
AT ITER 1190 NEW BEST:: SOT 195135 SOS 78673 HAS SOPS 78673 HAS SOUS 51091 HAS SOUPS 51091 WITH SCORE 51169.673
AT ITER 1193 NEW BEST:: SOT 195102 SOS 78574 HAS SOPS 78574 HAS SOUS 51058 HAS SOUPS 51058 WITH SCORE 51136.574
AT ITER 1194 NEW BEST:: SOT 195053 SOS 78525 HAS SOPS 78525 HAS SOUS 50960 HAS SOUPS 50960 WITH SCORE 51038.525
AT ITER 1197 NEW BEST:: SOT 195117 SOS 78513 HAS SOPS 78513 HAS SOUS 50884 HAS SOUPS 50884 WITH SCORE 50962.513
AT ITER 1207 NEW BEST:: SOT 195077 SOS 78433 HAS SOPS 78433 HAS SOUS 50804 HAS SOUPS 50804 WITH SCORE 50882.433
AT ITER 1217 NEW BEST:: SOT 195027 SOS 78389 HAS SOPS 78389 HAS SOUS 50769 HAS SOUPS 50769 WITH SCORE 50847.389
AT ITER 1223 NEW BEST:: SOT 195027 SOS 77585 HAS SOPS 77585 HAS SOUS 50605 HAS SOUPS 50605 WITH SCORE 50682.585
AT ITER 1227 NEW BEST:: SOT 194893 SOS 77558 HAS SOPS 77558 HAS SOUS 50575 HAS SOUPS 50575 WITH SCORE 50652.558
AT ITER 1243 NEW BEST:: SOT 194822 SOS 77416 HAS SOPS 77416 HAS SOUS 50433 HAS SOUPS 50433 WITH SCORE 50510.416
AT ITER 1247 NEW BEST:: SOT 194811 SOS 77394 HAS SOPS 77394 HAS SOUS 50422 HAS SOUPS 50422 WITH SCORE 50499.394
AT ITER 1248 NEW BEST:: SOT 194824 SOS 77362 HAS SOPS 77362 HAS SOUS 50411 HAS SOUPS 50411 WITH SCORE 50488.362
AT ITER 1257 NEW BEST:: SOT 194805 SOS 77286 HAS SOPS 77286 HAS SOUS 50373 HAS SOUPS 50373 WITH SCORE 50450.286
AT ITER 1260 NEW BEST:: SOT 194763 SOS 77168 HAS SOPS 77168 HAS SOUS 50331 HAS SOUPS 50331 WITH SCORE 50408.168
AT ITER 1273 NEW BEST:: SOT 194692 SOS 77097 HAS SOPS 77097 HAS SOUS 50302 HAS SOUPS 50302 WITH SCORE 50379.097
AT ITER 1287 NEW BEST:: SOT 194721 SOS 76823 HAS SOPS 76823 HAS SOUS 50235 HAS SOUPS 50235 WITH SCORE 50311.823
AT ITER 1288 NEW BEST:: SOT 194669 SOS 76775 HAS SOPS 76775 HAS SOUS 50184 HAS SOUPS 50184 WITH SCORE 50260.775
AT ITER 1297 NEW BEST:: SOT 194668 SOS 76625 HAS SOPS 76625 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50258.625
AT ITER 1299 NEW BEST:: SOT 194653 SOS 76610 HAS SOPS 76610 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50258.61
AT ITER 1302 NEW BEST:: SOT 194667 SOS 76624 HAS SOPS 76624 HAS SOUS 50180 HAS SOUPS 50180 WITH SCORE 50256.624
AT ITER 1303 NEW BEST:: SOT 194599 SOS 76500 HAS SOPS 76500 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50200.5
AT ITER 1311 NEW BEST:: SOT 194598 SOS 76499 HAS SOPS 76499 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50199.499
AT ITER 1316 NEW BEST:: SOT 194598 SOS 76477 HAS SOPS 76477 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50199.477
AT ITER 1326 NEW BEST:: SOT 194598 SOS 76426 HAS SOPS 76426 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50187.426
AT ITER 1334 NEW BEST:: SOT 194560 SOS 76215 HAS SOPS 76215 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50111.215
AT ITER 1336 NEW BEST:: SOT 194436 SOS 76091 HAS SOPS 76091 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 50007.091
AT ITER 1363 NEW BEST:: SOT 194436 SOS 76167 HAS SOPS 76167 HAS SOUS 49924 HAS SOUPS 49924 WITH SCORE 50000.167
AT ITER 1375 NEW BEST:: SOT 194424 SOS 76155 HAS SOPS 76155 HAS SOUS 49912 HAS SOUPS 49912 WITH SCORE 49988.155
AT ITER 1377 NEW BEST:: SOT 194441 SOS 76189 HAS SOPS 76189 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49973.189
AT ITER 1385 NEW BEST:: SOT 194381 SOS 76160 HAS SOPS 76160 HAS SOUS 49837 HAS SOUPS 49837 WITH SCORE 49913.16
AT ITER 1387 NEW BEST:: SOT 194354 SOS 76106 HAS SOPS 76106 HAS SOUS 49783 HAS SOUPS 49783 WITH SCORE 49859.106
AT ITER 1388 NEW BEST:: SOT 194410 SOS 76100 HAS SOPS 76100 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49781.1
AT ITER 1389 NEW BEST:: SOT 194467 SOS 75354 HAS SOPS 75354 HAS SOUS 49676 HAS SOUPS 49676 WITH SCORE 49751.354
AT ITER 1392 NEW BEST:: SOT 194467 SOS 75212 HAS SOPS 75212 HAS SOUS 49676 HAS SOUPS 49676 WITH SCORE 49751.212
AT ITER 1400 NEW BEST:: SOT 194313 SOS 75060 HAS SOPS 75060 HAS SOUS 49608 HAS SOUPS 49608 WITH SCORE 49683.06
AT ITER 1402 NEW BEST:: SOT 194296 SOS 75026 HAS SOPS 75026 HAS SOUS 49591 HAS SOUPS 49591 WITH SCORE 49666.026
AT ITER 1432 NEW BEST:: SOT 193432 SOS 79144 HAS SOPS 79144 HAS SOUS 48973 HAS SOUPS 48973 WITH SCORE 49052.144
AT ITER 1446 NEW BEST:: SOT 193335 SOS 78950 HAS SOPS 78950 HAS SOUS 48779 HAS SOUPS 48779 WITH SCORE 48857.95
AT ITER 1455 NEW BEST:: SOT 193340 SOS 78960 HAS SOPS 78960 HAS SOUS 48768 HAS SOUPS 48768 WITH SCORE 48846.96
AT ITER 1466 NEW BEST:: SOT 193502 SOS 79122 HAS SOPS 79122 HAS SOUS 48750 HAS SOUPS 48750 WITH SCORE 48829.122
AT ITER 1469 NEW BEST:: SOT 193495 SOS 79132 HAS SOPS 79132 HAS SOUS 48736 HAS SOUPS 48736 WITH SCORE 48815.132
AT ITER 1472 NEW BEST:: SOT 193484 SOS 79110 HAS SOPS 79110 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48804.11
AT ITER 1476 NEW BEST:: SOT 193415 SOS 79021 HAS SOPS 79021 HAS SOUS 48685 HAS SOUPS 48685 WITH SCORE 48764.021
AT ITER 1478 NEW BEST:: SOT 193390 SOS 78955 HAS SOPS 78955 HAS SOUS 48660 HAS SOUPS 48660 WITH SCORE 48738.955
AT ITER 1489 NEW BEST:: SOT 193036 SOS 79745 HAS SOPS 79745 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48635.745
AT ITER 1500 NEW BEST:: SOT 193036 SOS 79518 HAS SOPS 79518 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48499.518
AT ITER 1502 NEW BEST:: SOT 193031 SOS 79513 HAS SOPS 79513 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48499.513
AT ITER 1508 NEW BEST:: SOT 192808 SOS 79350 HAS SOPS 79350 HAS SOUS 48411 HAS SOUPS 48411 WITH SCORE 48490.35
AT ITER 1518 NEW BEST:: SOT 192808 SOS 78941 HAS SOPS 78941 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48394.941
AT ITER 1521 NEW BEST:: SOT 192826 SOS 78931 HAS SOPS 78931 HAS SOUS 48311 HAS SOUPS 48311 WITH SCORE 48389.931
AT ITER 1529 NEW BEST:: SOT 192938 SOS 78819 HAS SOPS 78819 HAS SOUS 48275 HAS SOUPS 48275 WITH SCORE 48353.819
AT ITER 1541 NEW BEST:: SOT 192887 SOS 78766 HAS SOPS 78766 HAS SOUS 48273 HAS SOUPS 48273 WITH SCORE 48351.766
AT ITER 1542 NEW BEST:: SOT 192881 SOS 78722 HAS SOPS 78722 HAS SOUS 48267 HAS SOUPS 48267 WITH SCORE 48345.722
AT ITER 1546 NEW BEST:: SOT 192711 SOS 78551 HAS SOPS 78551 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48274.551
AT ITER 1548 NEW BEST:: SOT 192711 SOS 78551 HAS SOPS 78551 HAS SOUS 48171 HAS SOUPS 48171 WITH SCORE 48249.551
AT ITER 1559 NEW BEST:: SOT 192707 SOS 78503 HAS SOPS 78503 HAS SOUS 48099 HAS SOUPS 48099 WITH SCORE 48177.503
AT ITER 1561 NEW BEST:: SOT 192608 SOS 78359 HAS SOPS 78359 HAS SOUS 48054 HAS SOUPS 48054 WITH SCORE 48132.359
AT ITER 1563 NEW BEST:: SOT 192613 SOS 78364 HAS SOPS 78364 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48116.364
AT ITER 1564 NEW BEST:: SOT 192610 SOS 78361 HAS SOPS 78361 HAS SOUS 48035 HAS SOUPS 48035 WITH SCORE 48113.361
AT ITER 1568 NEW BEST:: SOT 192570 SOS 78281 HAS SOPS 78281 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48073.281
AT ITER 1569 NEW BEST:: SOT 192442 SOS 77919 HAS SOPS 77919 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48017.919
AT ITER 1573 NEW BEST:: SOT 192383 SOS 77801 HAS SOPS 77801 HAS SOUS 47702 HAS SOUPS 47702 WITH SCORE 47779.801
AT ITER 1582 NEW BEST:: SOT 192363 SOS 77761 HAS SOPS 77761 HAS SOUS 47658 HAS SOUPS 47658 WITH SCORE 47735.761
AT ITER 1586 NEW BEST:: SOT 192418 SOS 77816 HAS SOPS 77816 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47732.816
AT ITER 1588 NEW BEST:: SOT 192378 SOS 77721 HAS SOPS 77721 HAS SOUS 47560 HAS SOUPS 47560 WITH SCORE 47637.721
AT ITER 1589 NEW BEST:: SOT 192428 SOS 77713 HAS SOPS 77713 HAS SOUS 47528 HAS SOUPS 47528 WITH SCORE 47605.713
AT ITER 1597 NEW BEST:: SOT 192287 SOS 77572 HAS SOPS 77572 HAS SOUS 47387 HAS SOUPS 47387 WITH SCORE 47464.572
AT ITER 1601 NEW BEST:: SOT 192206 SOS 77451 HAS SOPS 77451 HAS SOUS 47307 HAS SOUPS 47307 WITH SCORE 47384.451
AT ITER 1642 NEW BEST:: SOT 191941 SOS 77371 HAS SOPS 77371 HAS SOUS 47114 HAS SOUPS 47114 WITH SCORE 47191.371
AT ITER 1667 NEW BEST:: SOT 191941 SOS 77324 HAS SOPS 77324 HAS SOUS 47067 HAS SOUPS 47067 WITH SCORE 47144.324
AT ITER 1675 NEW BEST:: SOT 191898 SOS 77238 HAS SOPS 77238 HAS SOUS 47011 HAS SOUPS 47011 WITH SCORE 47088.238
AT ITER 1678 NEW BEST:: SOT 191786 SOS 77096 HAS SOPS 77096 HAS SOUS 47006 HAS SOUPS 47006 WITH SCORE 47083.096
AT ITER 1679 NEW BEST:: SOT 191786 SOS 77075 HAS SOPS 77075 HAS SOUS 46983 HAS SOUPS 46983 WITH SCORE 47060.075
AT ITER 1682 NEW BEST:: SOT 191694 SOS 76883 HAS SOPS 76883 HAS SOUS 46939 HAS SOUPS 46939 WITH SCORE 47015.883
AT ITER 1684 NEW BEST:: SOT 191692 SOS 76873 HAS SOPS 76873 HAS SOUS 46937 HAS SOUPS 46937 WITH SCORE 47013.873
AT ITER 1687 NEW BEST:: SOT 191668 SOS 76836 HAS SOPS 76836 HAS SOUS 46921 HAS SOUPS 46921 WITH SCORE 46997.836
AT ITER 1690 NEW BEST:: SOT 191668 SOS 76835 HAS SOPS 76835 HAS SOUS 46920 HAS SOUPS 46920 WITH SCORE 46996.835
AT ITER 1696 NEW BEST:: SOT 191661 SOS 76807 HAS SOPS 76807 HAS SOUS 46906 HAS SOUPS 46906 WITH SCORE 46982.807
AT ITER 1697 NEW BEST:: SOT 191661 SOS 76794 HAS SOPS 76794 HAS SOUS 46906 HAS SOUPS 46906 WITH SCORE 46982.794
AT ITER 1699 NEW BEST:: SOT 191661 SOS 76794 HAS SOPS 76794 HAS SOUS 46881 HAS SOUPS 46881 WITH SCORE 46957.794
AT ITER 1717 NEW BEST:: SOT 191603 SOS 76653 HAS SOPS 76653 HAS SOUS 46823 HAS SOUPS 46823 WITH SCORE 46899.653
AT ITER 1735 NEW BEST:: SOT 191579 SOS 76389 HAS SOPS 76389 HAS SOUS 46775 HAS SOUPS 46775 WITH SCORE 46851.389
AT ITER 1752 NEW BEST:: SOT 191600 SOS 76410 HAS SOPS 76410 HAS SOUS 46745 HAS SOUPS 46745 WITH SCORE 46821.41
AT ITER 1753 NEW BEST:: SOT 191600 SOS 76407 HAS SOPS 76407 HAS SOUS 46742 HAS SOUPS 46742 WITH SCORE 46818.407
AT ITER 1760 NEW BEST:: SOT 191596 SOS 76450 HAS SOPS 76450 HAS SOUS 46734 HAS SOUPS 46734 WITH SCORE 46810.45
AT ITER 1766 NEW BEST:: SOT 191554 SOS 76408 HAS SOPS 76408 HAS SOUS 46734 HAS SOUPS 46734 WITH SCORE 46810.408
AT ITER 1769 NEW BEST:: SOT 191457 SOS 76311 HAS SOPS 76311 HAS SOUS 46637 HAS SOUPS 46637 WITH SCORE 46713.311
AT ITER 1771 NEW BEST:: SOT 191409 SOS 76218 HAS SOPS 76218 HAS SOUS 46553 HAS SOUPS 46553 WITH SCORE 46629.218
AT ITER 1794 NEW BEST:: SOT 191437 SOS 76246 HAS SOPS 76246 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46572.246
AT ITER 1802 NEW BEST:: SOT 191437 SOS 76246 HAS SOPS 76246 HAS SOUS 46491 HAS SOUPS 46491 WITH SCORE 46567.246
AT ITER 1809 NEW BEST:: SOT 191463 SOS 76187 HAS SOPS 76187 HAS SOUS 46400 HAS SOUPS 46400 WITH SCORE 46476.187
AT ITER 1827 NEW BEST:: SOT 191307 SOS 75753 HAS SOPS 75753 HAS SOUS 46163 HAS SOUPS 46163 WITH SCORE 46238.753
AT ITER 1851 NEW BEST:: SOT 191296 SOS 75622 HAS SOPS 75622 HAS SOUS 46077 HAS SOUPS 46077 WITH SCORE 46152.622
AT ITER 1864 NEW BEST:: SOT 191294 SOS 75578 HAS SOPS 75578 HAS SOUS 46073 HAS SOUPS 46073 WITH SCORE 46148.578
AT ITER 1868 NEW BEST:: SOT 191212 SOS 75496 HAS SOPS 75496 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 46008.496
AT ITER 1870 NEW BEST:: SOT 191074 SOS 75109 HAS SOPS 75109 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45796.109
AT ITER 1872 NEW BEST:: SOT 191019 SOS 75145 HAS SOPS 75145 HAS SOUS 45708 HAS SOUPS 45708 WITH SCORE 45783.145
AT ITER 1879 NEW BEST:: SOT 190974 SOS 75100 HAS SOPS 75100 HAS SOUS 45663 HAS SOUPS 45663 WITH SCORE 45738.1
AT ITER 1881 NEW BEST:: SOT 190962 SOS 75081 HAS SOPS 75081 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45708.081
AT ITER 1895 NEW BEST:: SOT 190928 SOS 75055 HAS SOPS 75055 HAS SOUS 45618 HAS SOUPS 45618 WITH SCORE 45693.055
AT ITER 1901 NEW BEST:: SOT 190927 SOS 75054 HAS SOPS 75054 HAS SOUS 45617 HAS SOUPS 45617 WITH SCORE 45692.054
AT ITER 1902 NEW BEST:: SOT 191013 SOS 75010 HAS SOPS 75010 HAS SOUS 45573 HAS SOUPS 45573 WITH SCORE 45648.01
AT ITER 1904 NEW BEST:: SOT 190989 SOS 74986 HAS SOPS 74986 HAS SOUS 45549 HAS SOUPS 45549 WITH SCORE 45623.986
AT ITER 1905 NEW BEST:: SOT 190975 SOS 74971 HAS SOPS 74971 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45622.971
AT ITER 1915 NEW BEST:: SOT 190833 SOS 74829 HAS SOPS 74829 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45531.829
AT ITER 1916 NEW BEST:: SOT 190833 SOS 74829 HAS SOPS 74829 HAS SOUS 45454 HAS SOUPS 45454 WITH SCORE 45528.829
AT ITER 1919 NEW BEST:: SOT 190833 SOS 74829 HAS SOPS 74829 HAS SOUS 45440 HAS SOUPS 45440 WITH SCORE 45514.829
AT ITER 1925 NEW BEST:: SOT 190844 SOS 74851 HAS SOPS 74851 HAS SOUS 45433 HAS SOUPS 45433 WITH SCORE 45507.851
AT ITER 1933 NEW BEST:: SOT 190822 SOS 74822 HAS SOPS 74822 HAS SOUS 45404 HAS SOUPS 45404 WITH SCORE 45478.822
AT ITER 1934 NEW BEST:: SOT 190777 SOS 74777 HAS SOPS 74777 HAS SOUS 45359 HAS SOUPS 45359 WITH SCORE 45433.777
AT ITER 1941 NEW BEST:: SOT 190586 SOS 84154 HAS SOPS 84154 HAS SOUS 45324 HAS SOUPS 45324 WITH SCORE 45408.154
AT ITER 1950 NEW BEST:: SOT 190499 SOS 84018 HAS SOPS 84018 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45321.018
AT ITER 1983 NEW BEST:: SOT 190473 SOS 83992 HAS SOPS 83992 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45294.992
AT ITER 1987 NEW BEST:: SOT 190475 SOS 83993 HAS SOPS 83993 HAS SOUS 45172 HAS SOUPS 45172 WITH SCORE 45255.993
AT ITER 1988 NEW BEST:: SOT 190467 SOS 83969 HAS SOPS 83969 HAS SOUS 45156 HAS SOUPS 45156 WITH SCORE 45239.969
AT ITER 1995 NEW BEST:: SOT 190466 SOS 83967 HAS SOPS 83967 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45237.967
AT ITER 2009 NEW BEST:: SOT 190538 SOS 83895 HAS SOPS 83895 HAS SOUS 45086 HAS SOUPS 45086 WITH SCORE 45169.895
AT ITER 2014 NEW BEST:: SOT 190522 SOS 83863 HAS SOPS 83863 HAS SOUS 45081 HAS SOUPS 45081 WITH SCORE 45164.863
AT ITER 2028 NEW BEST:: SOT 190481 SOS 83823 HAS SOPS 83823 HAS SOUS 45040 HAS SOUPS 45040 WITH SCORE 45123.823
AT ITER 2036 NEW BEST:: SOT 190475 SOS 83788 HAS SOPS 83788 HAS SOUS 44978 HAS SOUPS 44978 WITH SCORE 45061.788
AT ITER 2038 NEW BEST:: SOT 190475 SOS 83788 HAS SOPS 83788 HAS SOUS 44947 HAS SOUPS 44947 WITH SCORE 45030.788
AT ITER 2040 NEW BEST:: SOT 190425 SOS 83738 HAS SOPS 83738 HAS SOUS 44897 HAS SOUPS 44897 WITH SCORE 44980.738
AT ITER 2051 NEW BEST:: SOT 190373 SOS 83686 HAS SOPS 83686 HAS SOUS 44897 HAS SOUPS 44897 WITH SCORE 44980.686
AT ITER 2065 NEW BEST:: SOT 190373 SOS 83632 HAS SOPS 83632 HAS SOUS 44895 HAS SOUPS 44895 WITH SCORE 44978.632
AT ITER 2073 NEW BEST:: SOT 190301 SOS 83526 HAS SOPS 83526 HAS SOUS 44789 HAS SOUPS 44789 WITH SCORE 44872.526
AT ITER 2075 NEW BEST:: SOT 190303 SOS 83530 HAS SOPS 83530 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44866.53
AT ITER 2091 NEW BEST:: SOT 190246 SOS 83427 HAS SOPS 83427 HAS SOUS 44680 HAS SOUPS 44680 WITH SCORE 44763.427
AT ITER 2118 NEW BEST:: SOT 190287 SOS 83509 HAS SOPS 83509 HAS SOUS 44663 HAS SOUPS 44663 WITH SCORE 44746.509
AT ITER 2123 NEW BEST:: SOT 190268 SOS 82976 HAS SOPS 82976 HAS SOUS 44628 HAS SOUPS 44628 WITH SCORE 44710.976
AT ITER 2133 NEW BEST:: SOT 190260 SOS 82968 HAS SOPS 82968 HAS SOUS 44628 HAS SOUPS 44628 WITH SCORE 44710.968
AT ITER 2139 NEW BEST:: SOT 190255 SOS 82947 HAS SOPS 82947 HAS SOUS 44623 HAS SOUPS 44623 WITH SCORE 44705.947
AT ITER 2143 NEW BEST:: SOT 190255 SOS 82941 HAS SOPS 82941 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44699.941
AT ITER 2146 NEW BEST:: SOT 190239 SOS 82909 HAS SOPS 82909 HAS SOUS 44596 HAS SOUPS 44596 WITH SCORE 44678.909
AT ITER 2147 NEW BEST:: SOT 190122 SOS 82705 HAS SOPS 82705 HAS SOUS 44483 HAS SOUPS 44483 WITH SCORE 44565.705
AT ITER 2168 NEW BEST:: SOT 190105 SOS 82654 HAS SOPS 82654 HAS SOUS 44449 HAS SOUPS 44449 WITH SCORE 44531.654
AT ITER 2176 NEW BEST:: SOT 190105 SOS 82631 HAS SOPS 82631 HAS SOUS 44449 HAS SOUPS 44449 WITH SCORE 44531.631
AT ITER 2191 NEW BEST:: SOT 190066 SOS 82553 HAS SOPS 82553 HAS SOUS 44410 HAS SOUPS 44410 WITH SCORE 44492.553
AT ITER 2204 NEW BEST:: SOT 190043 SOS 82497 HAS SOPS 82497 HAS SOUS 44364 HAS SOUPS 44364 WITH SCORE 44446.497
AT ITER 2216 NEW BEST:: SOT 190002 SOS 82415 HAS SOPS 82415 HAS SOUS 44323 HAS SOUPS 44323 WITH SCORE 44405.415
AT ITER 2251 NEW BEST:: SOT 189934 SOS 82347 HAS SOPS 82347 HAS SOUS 44290 HAS SOUPS 44290 WITH SCORE 44372.347
AT ITER 2260 NEW BEST:: SOT 189925 SOS 82329 HAS SOPS 82329 HAS SOUS 44272 HAS SOUPS 44272 WITH SCORE 44354.329
AT ITER 2274 NEW BEST:: SOT 189919 SOS 82321 HAS SOPS 82321 HAS SOUS 44270 HAS SOUPS 44270 WITH SCORE 44352.321
AT ITER 2280 NEW BEST:: SOT 189787 SOS 82057 HAS SOPS 82057 HAS SOUS 44138 HAS SOUPS 44138 WITH SCORE 44220.057
AT ITER 2290 NEW BEST:: SOT 189717 SOS 81778 HAS SOPS 81778 HAS SOUS 43999 HAS SOUPS 43999 WITH SCORE 44080.778
AT ITER 2312 NEW BEST:: SOT 189634 SOS 81695 HAS SOPS 81695 HAS SOUS 43916 HAS SOUPS 43916 WITH SCORE 43997.695
AT ITER 2327 NEW BEST:: SOT 189618 SOS 81647 HAS SOPS 81647 HAS SOUS 43884 HAS SOUPS 43884 WITH SCORE 43965.647
AT ITER 2328 NEW BEST:: SOT 189570 SOS 81583 HAS SOPS 81583 HAS SOUS 43875 HAS SOUPS 43875 WITH SCORE 43956.583
AT ITER 2332 NEW BEST:: SOT 189568 SOS 81579 HAS SOPS 81579 HAS SOUS 43873 HAS SOUPS 43873 WITH SCORE 43954.579
AT ITER 2334 NEW BEST:: SOT 189523 SOS 81546 HAS SOPS 81546 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43909.546
AT ITER 2364 NEW BEST:: SOT 189388 SOS 81286 HAS SOPS 81286 HAS SOUS 43691 HAS SOUPS 43691 WITH SCORE 43772.286
AT ITER 2385 NEW BEST:: SOT 189373 SOS 81271 HAS SOPS 81271 HAS SOUS 43676 HAS SOUPS 43676 WITH SCORE 43757.271
AT ITER 2411 NEW BEST:: SOT 189342 SOS 81330 HAS SOPS 81330 HAS SOUS 43639 HAS SOUPS 43639 WITH SCORE 43720.33
AT ITER 2412 NEW BEST:: SOT 189441 SOS 81405 HAS SOPS 81405 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43696.405
AT ITER 2420 NEW BEST:: SOT 189438 SOS 81402 HAS SOPS 81402 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43677.402
AT ITER 2421 NEW BEST:: SOT 189438 SOS 81397 HAS SOPS 81397 HAS SOUS 43591 HAS SOUPS 43591 WITH SCORE 43672.397
AT ITER 2432 NEW BEST:: SOT 189371 SOS 81263 HAS SOPS 81263 HAS SOUS 43543 HAS SOUPS 43543 WITH SCORE 43624.263
AT ITER 2450 NEW BEST:: SOT 189311 SOS 80957 HAS SOPS 80957 HAS SOUS 43483 HAS SOUPS 43483 WITH SCORE 43563.957
AT ITER 2467 NEW BEST:: SOT 189238 SOS 80881 HAS SOPS 80881 HAS SOUS 43480 HAS SOUPS 43480 WITH SCORE 43560.881
AT ITER 2469 NEW BEST:: SOT 189237 SOS 80879 HAS SOPS 80879 HAS SOUS 43478 HAS SOUPS 43478 WITH SCORE 43558.879
AT ITER 2472 NEW BEST:: SOT 189219 SOS 80860 HAS SOPS 80860 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43545.86
AT ITER 2481 NEW BEST:: SOT 189219 SOS 80815 HAS SOPS 80815 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43545.815
AT ITER 2487 NEW BEST:: SOT 189219 SOS 80807 HAS SOPS 80807 HAS SOUS 43457 HAS SOUPS 43457 WITH SCORE 43537.807
AT ITER 2490 NEW BEST:: SOT 189330 SOS 80801 HAS SOPS 80801 HAS SOUS 43451 HAS SOUPS 43451 WITH SCORE 43531.801
AT ITER 2491 NEW BEST:: SOT 189330 SOS 80801 HAS SOPS 80801 HAS SOUS 43425 HAS SOUPS 43425 WITH SCORE 43505.801
AT ITER 2498 NEW BEST:: SOT 189278 SOS 80697 HAS SOPS 80697 HAS SOUS 43424 HAS SOUPS 43424 WITH SCORE 43504.697
AT ITER 2516 NEW BEST:: SOT 189259 SOS 80659 HAS SOPS 80659 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43485.659
AT ITER 2527 NEW BEST:: SOT 189259 SOS 80659 HAS SOPS 80659 HAS SOUS 43393 HAS SOUPS 43393 WITH SCORE 43473.659
AT ITER 2546 NEW BEST:: SOT 189497 SOS 79821 HAS SOPS 79821 HAS SOUS 43316 HAS SOUPS 43316 WITH SCORE 43395.821
AT ITER 2549 NEW BEST:: SOT 189471 SOS 79795 HAS SOPS 79795 HAS SOUS 43316 HAS SOUPS 43316 WITH SCORE 43395.795
AT ITER 2550 NEW BEST:: SOT 189473 SOS 79795 HAS SOPS 79795 HAS SOUS 43289 HAS SOUPS 43289 WITH SCORE 43368.795
AT ITER 2552 NEW BEST:: SOT 189437 SOS 79723 HAS SOPS 79723 HAS SOUS 43236 HAS SOUPS 43236 WITH SCORE 43315.723
AT ITER 2566 NEW BEST:: SOT 189414 SOS 79702 HAS SOPS 79702 HAS SOUS 43165 HAS SOUPS 43165 WITH SCORE 43244.702
AT ITER 2567 NEW BEST:: SOT 189414 SOS 79680 HAS SOPS 79680 HAS SOUS 43165 HAS SOUPS 43165 WITH SCORE 43244.68
AT ITER 2573 NEW BEST:: SOT 189375 SOS 79602 HAS SOPS 79602 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43205.602
AT ITER 2587 NEW BEST:: SOT 189400 SOS 79652 HAS SOPS 79652 HAS SOUS 43117 HAS SOUPS 43117 WITH SCORE 43196.652
AT ITER 2601 NEW BEST:: SOT 189400 SOS 79627 HAS SOPS 79627 HAS SOUS 43117 HAS SOUPS 43117 WITH SCORE 43196.627
AT ITER 2603 NEW BEST:: SOT 189399 SOS 79626 HAS SOPS 79626 HAS SOUS 43116 HAS SOUPS 43116 WITH SCORE 43195.626
AT ITER 2626 NEW BEST:: SOT 189288 SOS 79618 HAS SOPS 79618 HAS SOUS 43049 HAS SOUPS 43049 WITH SCORE 43128.618
AT ITER 2661 NEW BEST:: SOT 189277 SOS 79624 HAS SOPS 79624 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43090.624
AT ITER 2663 NEW BEST:: SOT 189232 SOS 79534 HAS SOPS 79534 HAS SOUS 43010 HAS SOUPS 43010 WITH SCORE 43089.534
AT ITER 2680 NEW BEST:: SOT 189223 SOS 79468 HAS SOPS 79468 HAS SOUS 42987 HAS SOUPS 42987 WITH SCORE 43066.468
AT ITER 2693 NEW BEST:: SOT 189217 SOS 79715 HAS SOPS 79715 HAS SOUS 42981 HAS SOUPS 42981 WITH SCORE 43060.715
AT ITER 2699 NEW BEST:: SOT 189083 SOS 79674 HAS SOPS 79674 HAS SOUS 42940 HAS SOUPS 42940 WITH SCORE 43019.674
AT ITER 2706 NEW BEST:: SOT 189083 SOS 79674 HAS SOPS 79674 HAS SOUS 42881 HAS SOUPS 42881 WITH SCORE 42960.674
AT ITER 2721 NEW BEST:: SOT 189065 SOS 79510 HAS SOPS 79510 HAS SOUS 42863 HAS SOUPS 42863 WITH SCORE 42942.51
AT ITER 2731 NEW BEST:: SOT 189067 SOS 79509 HAS SOPS 79509 HAS SOUS 42862 HAS SOUPS 42862 WITH SCORE 42941.509
AT ITER 2811 NEW BEST:: SOT 189025 SOS 79425 HAS SOPS 79425 HAS SOUS 42829 HAS SOUPS 42829 WITH SCORE 42908.425
AT ITER 2816 NEW BEST:: SOT 189018 SOS 79418 HAS SOPS 79418 HAS SOUS 42822 HAS SOUPS 42822 WITH SCORE 42901.418
AT ITER 2817 NEW BEST:: SOT 189012 SOS 79412 HAS SOPS 79412 HAS SOUS 42816 HAS SOUPS 42816 WITH SCORE 42895.412
AT ITER 2825 NEW BEST:: SOT 189012 SOS 79371 HAS SOPS 79371 HAS SOUS 42816 HAS SOUPS 42816 WITH SCORE 42895.371
AT ITER 2830 NEW BEST:: SOT 189012 SOS 79356 HAS SOPS 79356 HAS SOUS 42801 HAS SOUPS 42801 WITH SCORE 42880.356
AT ITER 2834 NEW BEST:: SOT 188941 SOS 79285 HAS SOPS 79285 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42819.285
AT ITER 2846 NEW BEST:: SOT 188941 SOS 79283 HAS SOPS 79283 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42817.283
AT ITER 2854 NEW BEST:: SOT 188933 SOS 79168 HAS SOPS 79168 HAS SOUS 42715 HAS SOUPS 42715 WITH SCORE 42794.168
AT ITER 2864 NEW BEST:: SOT 188933 SOS 79130 HAS SOPS 79130 HAS SOUS 42715 HAS SOUPS 42715 WITH SCORE 42794.13
AT ITER 2865 NEW BEST:: SOT 188894 SOS 79682 HAS SOPS 79682 HAS SOUS 42706 HAS SOUPS 42706 WITH SCORE 42785.682
AT ITER 2875 NEW BEST:: SOT 188838 SOS 79570 HAS SOPS 79570 HAS SOUS 42650 HAS SOUPS 42650 WITH SCORE 42729.57
AT ITER 2895 NEW BEST:: SOT 188838 SOS 79580 HAS SOPS 79580 HAS SOUS 42643 HAS SOUPS 42643 WITH SCORE 42722.58
AT ITER 2917 NEW BEST:: SOT 188759 SOS 79501 HAS SOPS 79501 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42643.501
AT ITER 2925 NEW BEST:: SOT 188804 SOS 79546 HAS SOPS 79546 HAS SOUS 42536 HAS SOUPS 42536 WITH SCORE 42615.546
AT ITER 2929 NEW BEST:: SOT 188725 SOS 79452 HAS SOPS 79452 HAS SOUS 42457 HAS SOUPS 42457 WITH SCORE 42536.452
AT ITER 2951 NEW BEST:: SOT 188740 SOS 79482 HAS SOPS 79482 HAS SOUS 42417 HAS SOUPS 42417 WITH SCORE 42496.482
AT ITER 2983 NEW BEST:: SOT 188661 SOS 79324 HAS SOPS 79324 HAS SOUS 42273 HAS SOUPS 42273 WITH SCORE 42352.324
AT ITER 2992 NEW BEST:: SOT 188661 SOS 79297 HAS SOPS 79297 HAS SOUS 42273 HAS SOUPS 42273 WITH SCORE 42352.297
AT ITER 3001 NEW BEST:: SOT 188639 SOS 79276 HAS SOPS 79276 HAS SOUS 42251 HAS SOUPS 42251 WITH SCORE 42330.276
AT ITER 3043 NEW BEST:: SOT 188639 SOS 79276 HAS SOPS 79276 HAS SOUS 42194 HAS SOUPS 42194 WITH SCORE 42273.276
AT ITER 3059 NEW BEST:: SOT 188639 SOS 79397 HAS SOPS 79397 HAS SOUS 42098 HAS SOUPS 42098 WITH SCORE 42177.397
AT ITER 3067 NEW BEST:: SOT 188324 SOS 79937 HAS SOPS 79937 HAS SOUS 42015 HAS SOUPS 42015 WITH SCORE 42094.937
AT ITER 3078 NEW BEST:: SOT 188346 SOS 79850 HAS SOPS 79850 HAS SOUS 42012 HAS SOUPS 42012 WITH SCORE 42091.85
AT ITER 3079 NEW BEST:: SOT 188346 SOS 79850 HAS SOPS 79850 HAS SOUS 41975 HAS SOUPS 41975 WITH SCORE 42054.85
AT ITER 3089 NEW BEST:: SOT 188407 SOS 79777 HAS SOPS 79777 HAS SOUS 41909 HAS SOUPS 41909 WITH SCORE 41988.777
AT ITER 3095 NEW BEST:: SOT 188419 SOS 79741 HAS SOPS 79741 HAS SOUS 41909 HAS SOUPS 41909 WITH SCORE 41988.741
AT ITER 3102 NEW BEST:: SOT 188418 SOS 79595 HAS SOPS 79595 HAS SOUS 41908 HAS SOUPS 41908 WITH SCORE 41987.595
AT ITER 3105 NEW BEST:: SOT 188410 SOS 79571 HAS SOPS 79571 HAS SOUS 41900 HAS SOUPS 41900 WITH SCORE 41979.571
AT ITER 3106 NEW BEST:: SOT 188400 SOS 79325 HAS SOPS 79325 HAS SOUS 41777 HAS SOUPS 41777 WITH SCORE 41856.325
AT ITER 3111 NEW BEST:: SOT 188367 SOS 79294 HAS SOPS 79294 HAS SOUS 41742 HAS SOUPS 41742 WITH SCORE 41821.294
AT ITER 3128 NEW BEST:: SOT 188367 SOS 79289 HAS SOPS 79289 HAS SOUS 41742 HAS SOUPS 41742 WITH SCORE 41821.289
AT ITER 3129 NEW BEST:: SOT 188302 SOS 78379 HAS SOPS 78379 HAS SOUS 41599 HAS SOUPS 41599 WITH SCORE 41677.379
AT ITER 3138 NEW BEST:: SOT 188211 SOS 78324 HAS SOPS 78324 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41621.324
AT ITER 3145 NEW BEST:: SOT 188073 SOS 77984 HAS SOPS 77984 HAS SOUS 41337 HAS SOUPS 41337 WITH SCORE 41414.984
AT ITER 3157 NEW BEST:: SOT 188117 SOS 78000 HAS SOPS 78000 HAS SOUS 41335 HAS SOUPS 41335 WITH SCORE 41413.0
AT ITER 3161 NEW BEST:: SOT 188074 SOS 77959 HAS SOPS 77959 HAS SOUS 41294 HAS SOUPS 41294 WITH SCORE 41371.959
AT ITER 3163 NEW BEST:: SOT 188068 SOS 77947 HAS SOPS 77947 HAS SOUS 41287 HAS SOUPS 41287 WITH SCORE 41364.947
AT ITER 3184 NEW BEST:: SOT 187963 SOS 77737 HAS SOPS 77737 HAS SOUS 41265 HAS SOUPS 41265 WITH SCORE 41342.737
AT ITER 3186 NEW BEST:: SOT 187943 SOS 77727 HAS SOPS 77727 HAS SOUS 41255 HAS SOUPS 41255 WITH SCORE 41332.727
AT ITER 3187 NEW BEST:: SOT 187943 SOS 77693 HAS SOPS 77693 HAS SOUS 41221 HAS SOUPS 41221 WITH SCORE 41298.693
AT ITER 3202 NEW BEST:: SOT 187943 SOS 77693 HAS SOPS 77693 HAS SOUS 41205 HAS SOUPS 41205 WITH SCORE 41282.693
AT ITER 3213 NEW BEST:: SOT 187934 SOS 77684 HAS SOPS 77684 HAS SOUS 41196 HAS SOUPS 41196 WITH SCORE 41273.684
AT ITER 3214 NEW BEST:: SOT 187959 SOS 77658 HAS SOPS 77658 HAS SOUS 41170 HAS SOUPS 41170 WITH SCORE 41247.658
AT ITER 3246 NEW BEST:: SOT 188011 SOS 77453 HAS SOPS 77453 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41209.453
AT ITER 3247 NEW BEST:: SOT 188091 SOS 77460 HAS SOPS 77460 HAS SOUS 41129 HAS SOUPS 41129 WITH SCORE 41206.46
AT ITER 3255 NEW BEST:: SOT 188070 SOS 76095 HAS SOPS 76095 HAS SOUS 41108 HAS SOUPS 41108 WITH SCORE 41184.095
AT ITER 3261 NEW BEST:: SOT 188062 SOS 76087 HAS SOPS 76087 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41176.087
AT ITER 3275 NEW BEST:: SOT 188031 SOS 76011 HAS SOPS 76011 HAS SOUS 41030 HAS SOUPS 41030 WITH SCORE 41106.011
AT ITER 3282 NEW BEST:: SOT 187980 SOS 75983 HAS SOPS 75983 HAS SOUS 41009 HAS SOUPS 41009 WITH SCORE 41084.983
AT ITER 3298 NEW BEST:: SOT 187980 SOS 75933 HAS SOPS 75933 HAS SOUS 40959 HAS SOUPS 40959 WITH SCORE 41034.933
AT ITER 3299 NEW BEST:: SOT 187973 SOS 75926 HAS SOPS 75926 HAS SOUS 40945 HAS SOUPS 40945 WITH SCORE 41020.926
AT ITER 3303 NEW BEST:: SOT 187930 SOS 75573 HAS SOPS 75573 HAS SOUS 40885 HAS SOUPS 40885 WITH SCORE 40960.573
AT ITER 3308 NEW BEST:: SOT 187930 SOS 75601 HAS SOPS 75601 HAS SOUS 40857 HAS SOUPS 40857 WITH SCORE 40932.601
AT ITER 3324 NEW BEST:: SOT 187930 SOS 75598 HAS SOPS 75598 HAS SOUS 40854 HAS SOUPS 40854 WITH SCORE 40929.598
AT ITER 3334 NEW BEST:: SOT 187929 SOS 75596 HAS SOPS 75596 HAS SOUS 40852 HAS SOUPS 40852 WITH SCORE 40927.596
AT ITER 3339 NEW BEST:: SOT 187903 SOS 75570 HAS SOPS 75570 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40901.57
AT ITER 3342 NEW BEST:: SOT 187903 SOS 75559 HAS SOPS 75559 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40901.559
AT ITER 3366 NEW BEST:: SOT 187901 SOS 75555 HAS SOPS 75555 HAS SOUS 40822 HAS SOUPS 40822 WITH SCORE 40897.555
AT ITER 3379 NEW BEST:: SOT 187964 SOS 75681 HAS SOPS 75681 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40894.681
AT ITER 3382 NEW BEST:: SOT 187932 SOS 75649 HAS SOPS 75649 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40863.649
AT ITER 3388 NEW BEST:: SOT 187928 SOS 75645 HAS SOPS 75645 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40859.645
AT ITER 3392 NEW BEST:: SOT 187840 SOS 75178 HAS SOPS 75178 HAS SOUS 40637 HAS SOUPS 40637 WITH SCORE 40712.178
AT ITER 3404 NEW BEST:: SOT 187801 SOS 75069 HAS SOPS 75069 HAS SOUS 40567 HAS SOUPS 40567 WITH SCORE 40642.069
AT ITER 3419 NEW BEST:: SOT 187732 SOS 75000 HAS SOPS 75000 HAS SOUS 40567 HAS SOUPS 40567 WITH SCORE 40642.0
AT ITER 3431 NEW BEST:: SOT 187762 SOS 75000 HAS SOPS 75000 HAS SOUS 40508 HAS SOUPS 40508 WITH SCORE 40583.0
AT ITER 3446 NEW BEST:: SOT 187755 SOS 74993 HAS SOPS 74993 HAS SOUS 40504 HAS SOUPS 40504 WITH SCORE 40578.993
AT ITER 3454 NEW BEST:: SOT 187695 SOS 74972 HAS SOPS 74972 HAS SOUS 40483 HAS SOUPS 40483 WITH SCORE 40557.972
AT ITER 3455 NEW BEST:: SOT 187602 SOS 74548 HAS SOPS 74548 HAS SOUS 40271 HAS SOUPS 40271 WITH SCORE 40345.548
AT ITER 3491 NEW BEST:: SOT 187519 SOS 74588 HAS SOPS 74588 HAS SOUS 40208 HAS SOUPS 40208 WITH SCORE 40282.588
AT ITER 3494 NEW BEST:: SOT 187507 SOS 74576 HAS SOPS 74576 HAS SOUS 40196 HAS SOUPS 40196 WITH SCORE 40270.576
AT ITER 3548 NEW BEST:: SOT 187506 SOS 74575 HAS SOPS 74575 HAS SOUS 40194 HAS SOUPS 40194 WITH SCORE 40268.575
AT ITER 3568 NEW BEST:: SOT 187467 SOS 74497 HAS SOPS 74497 HAS SOUS 40078 HAS SOUPS 40078 WITH SCORE 40152.497
AT ITER 3572 NEW BEST:: SOT 187465 SOS 74495 HAS SOPS 74495 HAS SOUS 40078 HAS SOUPS 40078 WITH SCORE 40152.495
AT ITER 3576 NEW BEST:: SOT 187583 SOS 74602 HAS SOPS 74602 HAS SOUS 40056 HAS SOUPS 40056 WITH SCORE 40130.602
AT ITER 3581 NEW BEST:: SOT 187612 SOS 74625 HAS SOPS 74625 HAS SOUS 40044 HAS SOUPS 40044 WITH SCORE 40118.625
AT ITER 3583 NEW BEST:: SOT 187598 SOS 74337 HAS SOPS 74337 HAS SOUS 40015 HAS SOUPS 40015 WITH SCORE 40089.337
AT ITER 3591 NEW BEST:: SOT 187519 SOS 74258 HAS SOPS 74258 HAS SOUS 40001 HAS SOUPS 40001 WITH SCORE 40075.258
AT ITER 3598 NEW BEST:: SOT 187519 SOS 74248 HAS SOPS 74248 HAS SOUS 40001 HAS SOUPS 40001 WITH SCORE 40075.248
AT ITER 3616 NEW BEST:: SOT 187494 SOS 74198 HAS SOPS 74198 HAS SOUS 39951 HAS SOUPS 39951 WITH SCORE 40025.198
AT ITER 3619 NEW BEST:: SOT 187480 SOS 74170 HAS SOPS 74170 HAS SOUS 39895 HAS SOUPS 39895 WITH SCORE 39969.17
AT ITER 3624 NEW BEST:: SOT 187496 SOS 74120 HAS SOPS 74120 HAS SOUS 39875 HAS SOUPS 39875 WITH SCORE 39949.12
AT ITER 3657 NEW BEST:: SOT 187474 SOS 74098 HAS SOPS 74098 HAS SOUS 39853 HAS SOUPS 39853 WITH SCORE 39927.098
AT ITER 3659 NEW BEST:: SOT 187432 SOS 74030 HAS SOPS 74030 HAS SOUS 39715 HAS SOUPS 39715 WITH SCORE 39789.03
AT ITER 3664 NEW BEST:: SOT 187450 SOS 74066 HAS SOPS 74066 HAS SOUS 39713 HAS SOUPS 39713 WITH SCORE 39787.066
AT ITER 3687 NEW BEST:: SOT 187399 SOS 73964 HAS SOPS 73964 HAS SOUS 39662 HAS SOUPS 39662 WITH SCORE 39735.964
AT ITER 3691 NEW BEST:: SOT 187353 SOS 73918 HAS SOPS 73918 HAS SOUS 39616 HAS SOUPS 39616 WITH SCORE 39689.918
AT ITER 3698 NEW BEST:: SOT 187353 SOS 73902 HAS SOPS 73902 HAS SOUS 39607 HAS SOUPS 39607 WITH SCORE 39680.902
AT ITER 3710 NEW BEST:: SOT 187327 SOS 73876 HAS SOPS 73876 HAS SOUS 39607 HAS SOUPS 39607 WITH SCORE 39680.876
AT ITER 3729 NEW BEST:: SOT 187327 SOS 73854 HAS SOPS 73854 HAS SOUS 39607 HAS SOUPS 39607 WITH SCORE 39680.854
AT ITER 3741 NEW BEST:: SOT 187336 SOS 73872 HAS SOPS 73872 HAS SOUS 39553 HAS SOUPS 39553 WITH SCORE 39626.872
AT ITER 3757 NEW BEST:: SOT 187336 SOS 73855 HAS SOPS 73855 HAS SOUS 39536 HAS SOUPS 39536 WITH SCORE 39609.855
AT ITER 3766 NEW BEST:: SOT 187326 SOS 73834 HAS SOPS 73834 HAS SOUS 39526 HAS SOUPS 39526 WITH SCORE 39599.834
AT ITER 3769 NEW BEST:: SOT 187283 SOS 73748 HAS SOPS 73748 HAS SOUS 39440 HAS SOUPS 39440 WITH SCORE 39513.748
AT ITER 3772 NEW BEST:: SOT 187277 SOS 73706 HAS SOPS 73706 HAS SOUS 39404 HAS SOUPS 39404 WITH SCORE 39477.706
AT ITER 3781 NEW BEST:: SOT 187268 SOS 73695 HAS SOPS 73695 HAS SOUS 39395 HAS SOUPS 39395 WITH SCORE 39468.695
AT ITER 3782 NEW BEST:: SOT 187293 SOS 73680 HAS SOPS 73680 HAS SOUS 39374 HAS SOUPS 39374 WITH SCORE 39447.68
AT ITER 3811 NEW BEST:: SOT 187282 SOS 73658 HAS SOPS 73658 HAS SOUS 39363 HAS SOUPS 39363 WITH SCORE 39436.658
AT ITER 3819 NEW BEST:: SOT 187264 SOS 73595 HAS SOPS 73595 HAS SOUS 39327 HAS SOUPS 39327 WITH SCORE 39400.595
AT ITER 3832 NEW BEST:: SOT 187195 SOS 73526 HAS SOPS 73526 HAS SOUS 39258 HAS SOUPS 39258 WITH SCORE 39331.526
AT ITER 3834 NEW BEST:: SOT 187183 SOS 73514 HAS SOPS 73514 HAS SOUS 39246 HAS SOUPS 39246 WITH SCORE 39319.514
AT ITER 3842 NEW BEST:: SOT 187214 SOS 73521 HAS SOPS 73521 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39272.521
AT ITER 3849 NEW BEST:: SOT 187214 SOS 73511 HAS SOPS 73511 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39272.511
AT ITER 3854 NEW BEST:: SOT 187176 SOS 73435 HAS SOPS 73435 HAS SOUS 39178 HAS SOUPS 39178 WITH SCORE 39251.435
AT ITER 3867 NEW BEST:: SOT 187134 SOS 73325 HAS SOPS 73325 HAS SOUS 39107 HAS SOUPS 39107 WITH SCORE 39180.325
AT ITER 3869 NEW BEST:: SOT 187134 SOS 73291 HAS SOPS 73291 HAS SOUS 39039 HAS SOUPS 39039 WITH SCORE 39112.291
AT ITER 3872 NEW BEST:: SOT 187125 SOS 73273 HAS SOPS 73273 HAS SOUS 39021 HAS SOUPS 39021 WITH SCORE 39094.273
AT ITER 3878 NEW BEST:: SOT 187122 SOS 73267 HAS SOPS 73267 HAS SOUS 39018 HAS SOUPS 39018 WITH SCORE 39091.267
AT ITER 3903 NEW BEST:: SOT 187115 SOS 73253 HAS SOPS 73253 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39077.253
AT ITER 3910 NEW BEST:: SOT 187099 SOS 73221 HAS SOPS 73221 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39045.221
AT ITER 3921 NEW BEST:: SOT 187073 SOS 73169 HAS SOPS 73169 HAS SOUS 38946 HAS SOUPS 38946 WITH SCORE 39019.169
AT ITER 3933 NEW BEST:: SOT 187048 SOS 73144 HAS SOPS 73144 HAS SOUS 38921 HAS SOUPS 38921 WITH SCORE 38994.144
AT ITER 3940 NEW BEST:: SOT 187046 SOS 73143 HAS SOPS 73143 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38993.143
AT ITER 3964 NEW BEST:: SOT 187080 SOS 73211 HAS SOPS 73211 HAS SOUS 38916 HAS SOUPS 38916 WITH SCORE 38989.211
AT ITER 3970 NEW BEST:: SOT 187080 SOS 73073 HAS SOPS 73073 HAS SOUS 38776 HAS SOUPS 38776 WITH SCORE 38849.073
AT ITER 3971 NEW BEST:: SOT 187080 SOS 73073 HAS SOPS 73073 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38814.073
AT ITER 3973 NEW BEST:: SOT 187080 SOS 73073 HAS SOPS 73073 HAS SOUS 38726 HAS SOUPS 38726 WITH SCORE 38799.073
AT ITER 3977 NEW BEST:: SOT 187055 SOS 73019 HAS SOPS 73019 HAS SOUS 38652 HAS SOUPS 38652 WITH SCORE 38725.019
AT ITER 3982 NEW BEST:: SOT 187040 SOS 72935 HAS SOPS 72935 HAS SOUS 38574 HAS SOUPS 38574 WITH SCORE 38646.935
AT ITER 3994 NEW BEST:: SOT 187070 SOS 72960 HAS SOPS 72960 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38636.96
AT ITER 4030 NEW BEST:: SOT 187070 SOS 72959 HAS SOPS 72959 HAS SOUS 38545 HAS SOUPS 38545 WITH SCORE 38617.959
AT ITER 4032 NEW BEST:: SOT 187066 SOS 72955 HAS SOPS 72955 HAS SOUS 38541 HAS SOUPS 38541 WITH SCORE 38613.955
AT ITER 4036 NEW BEST:: SOT 187066 SOS 72875 HAS SOPS 72875 HAS SOUS 38540 HAS SOUPS 38540 WITH SCORE 38612.875
AT ITER 4038 NEW BEST:: SOT 187063 SOS 72872 HAS SOPS 72872 HAS SOUS 38537 HAS SOUPS 38537 WITH SCORE 38609.872
AT ITER 4046 NEW BEST:: SOT 187063 SOS 72857 HAS SOPS 72857 HAS SOUS 38537 HAS SOUPS 38537 WITH SCORE 38609.857
AT ITER 4059 NEW BEST:: SOT 187063 SOS 72845 HAS SOPS 72845 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38607.845
AT ITER 4081 NEW BEST:: SOT 187093 SOS 72874 HAS SOPS 72874 HAS SOUS 38533 HAS SOUPS 38533 WITH SCORE 38605.874
AT ITER 4090 NEW BEST:: SOT 187093 SOS 72865 HAS SOPS 72865 HAS SOUS 38533 HAS SOUPS 38533 WITH SCORE 38605.865
AT ITER 4093 NEW BEST:: SOT 187156 SOS 72927 HAS SOPS 72927 HAS SOUS 38531 HAS SOUPS 38531 WITH SCORE 38603.927
AT ITER 4097 NEW BEST:: SOT 187156 SOS 72897 HAS SOPS 72897 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38507.897
AT ITER 4102 NEW BEST:: SOT 187151 SOS 72887 HAS SOPS 72887 HAS SOUS 38425 HAS SOUPS 38425 WITH SCORE 38497.887
AT ITER 4104 NEW BEST:: SOT 187113 SOS 72811 HAS SOPS 72811 HAS SOUS 38380 HAS SOUPS 38380 WITH SCORE 38452.811
AT ITER 4152 NEW BEST:: SOT 187101 SOS 72799 HAS SOPS 72799 HAS SOUS 38368 HAS SOUPS 38368 WITH SCORE 38440.799
AT ITER 4170 NEW BEST:: SOT 187083 SOS 72740 HAS SOPS 72740 HAS SOUS 38297 HAS SOUPS 38297 WITH SCORE 38369.74
AT ITER 4172 NEW BEST:: SOT 187080 SOS 72702 HAS SOPS 72702 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38354.702
AT ITER 4176 NEW BEST:: SOT 187088 SOS 72834 HAS SOPS 72834 HAS SOUS 38273 HAS SOUPS 38273 WITH SCORE 38345.834
AT ITER 4226 NEW BEST:: SOT 187114 SOS 72877 HAS SOPS 72877 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38336.877
AT ITER 4232 NEW BEST:: SOT 187111 SOS 72874 HAS SOPS 72874 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38336.874
AT ITER 4256 NEW BEST:: SOT 187015 SOS 72749 HAS SOPS 72749 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38284.749
AT ITER 4269 NEW BEST:: SOT 187014 SOS 72747 HAS SOPS 72747 HAS SOUS 38207 HAS SOUPS 38207 WITH SCORE 38279.747
AT ITER 4278 NEW BEST:: SOT 187014 SOS 72700 HAS SOPS 72700 HAS SOUS 38160 HAS SOUPS 38160 WITH SCORE 38232.7
AT ITER 4295 NEW BEST:: SOT 186929 SOS 72615 HAS SOPS 72615 HAS SOUS 38142 HAS SOUPS 38142 WITH SCORE 38214.615
AT ITER 4298 NEW BEST:: SOT 186804 SOS 72490 HAS SOPS 72490 HAS SOUS 38030 HAS SOUPS 38030 WITH SCORE 38102.49
AT ITER 4316 NEW BEST:: SOT 186790 SOS 72445 HAS SOPS 72445 HAS SOUS 38030 HAS SOUPS 38030 WITH SCORE 38102.445
AT ITER 4358 NEW BEST:: SOT 186791 SOS 72389 HAS SOPS 72389 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38046.389
AT ITER 4374 NEW BEST:: SOT 186747 SOS 72344 HAS SOPS 72344 HAS SOUS 37930 HAS SOUPS 37930 WITH SCORE 38002.344
AT ITER 4377 NEW BEST:: SOT 186759 SOS 72026 HAS SOPS 72026 HAS SOUS 37917 HAS SOUPS 37917 WITH SCORE 37989.026
AT ITER 4378 NEW BEST:: SOT 186748 SOS 72004 HAS SOPS 72004 HAS SOUS 37884 HAS SOUPS 37884 WITH SCORE 37956.004
AT ITER 4403 NEW BEST:: SOT 186753 SOS 72009 HAS SOPS 72009 HAS SOUS 37874 HAS SOUPS 37874 WITH SCORE 37946.009
AT ITER 4415 NEW BEST:: SOT 186753 SOS 71658 HAS SOPS 71658 HAS SOUS 37874 HAS SOUPS 37874 WITH SCORE 37945.658
AT ITER 4498 NEW BEST:: SOT 186752 SOS 71656 HAS SOPS 71656 HAS SOUS 37873 HAS SOUPS 37873 WITH SCORE 37944.656
AT ITER 4531 NEW BEST:: SOT 186748 SOS 71652 HAS SOPS 71652 HAS SOUS 37869 HAS SOUPS 37869 WITH SCORE 37940.652
AT ITER 4560 NEW BEST:: SOT 186749 SOS 71651 HAS SOPS 71651 HAS SOUS 37868 HAS SOUPS 37868 WITH SCORE 37939.651
AT ITER 4569 NEW BEST:: SOT 186744 SOS 71649 HAS SOPS 71649 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37934.649
AT ITER 4571 NEW BEST:: SOT 186565 SOS 71611 HAS SOPS 71611 HAS SOUS 37825 HAS SOUPS 37825 WITH SCORE 37896.611
AT ITER 4581 NEW BEST:: SOT 186552 SOS 71565 HAS SOPS 71565 HAS SOUS 37812 HAS SOUPS 37812 WITH SCORE 37883.565
AT ITER 4583 NEW BEST:: SOT 186518 SOS 71497 HAS SOPS 71497 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37815.497
AT ITER 4584 NEW BEST:: SOT 186487 SOS 71435 HAS SOPS 71435 HAS SOUS 37691 HAS SOUPS 37691 WITH SCORE 37762.435
AT ITER 4607 NEW BEST:: SOT 186487 SOS 71434 HAS SOPS 71434 HAS SOUS 37690 HAS SOUPS 37690 WITH SCORE 37761.434
AT ITER 4636 NEW BEST:: SOT 186487 SOS 71419 HAS SOPS 71419 HAS SOUS 37675 HAS SOUPS 37675 WITH SCORE 37746.419
AT ITER 4639 NEW BEST:: SOT 186462 SOS 71369 HAS SOPS 71369 HAS SOUS 37625 HAS SOUPS 37625 WITH SCORE 37696.369
AT ITER 4640 NEW BEST:: SOT 186343 SOS 71349 HAS SOPS 71349 HAS SOUS 37624 HAS SOUPS 37624 WITH SCORE 37695.349
AT ITER 4647 NEW BEST:: SOT 186312 SOS 71287 HAS SOPS 71287 HAS SOUS 37592 HAS SOUPS 37592 WITH SCORE 37663.287
AT ITER 4648 NEW BEST:: SOT 186308 SOS 71275 HAS SOPS 71275 HAS SOUS 37580 HAS SOUPS 37580 WITH SCORE 37651.275
AT ITER 4659 NEW BEST:: SOT 186308 SOS 71259 HAS SOPS 71259 HAS SOUS 37580 HAS SOUPS 37580 WITH SCORE 37651.259
AT ITER 4669 NEW BEST:: SOT 186309 SOS 71293 HAS SOPS 71293 HAS SOUS 37564 HAS SOUPS 37564 WITH SCORE 37635.293
AT ITER 4696 NEW BEST:: SOT 186291 SOS 71257 HAS SOPS 71257 HAS SOUS 37521 HAS SOUPS 37521 WITH SCORE 37592.257
AT ITER 4717 NEW BEST:: SOT 186163 SOS 71129 HAS SOPS 71129 HAS SOUS 37393 HAS SOUPS 37393 WITH SCORE 37464.129
AT ITER 4721 NEW BEST:: SOT 186151 SOS 71117 HAS SOPS 71117 HAS SOUS 37364 HAS SOUPS 37364 WITH SCORE 37435.117
AT ITER 4792 NEW BEST:: SOT 186104 SOS 71070 HAS SOPS 71070 HAS SOUS 37317 HAS SOUPS 37317 WITH SCORE 37388.07
AT ITER 4794 NEW BEST:: SOT 186071 SOS 71004 HAS SOPS 71004 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37355.004
AT ITER 4795 NEW BEST:: SOT 186050 SOS 70962 HAS SOPS 70962 HAS SOUS 37242 HAS SOUPS 37242 WITH SCORE 37312.962
AT ITER 4811 NEW BEST:: SOT 186022 SOS 70934 HAS SOPS 70934 HAS SOUS 37242 HAS SOUPS 37242 WITH SCORE 37312.934
AT ITER 4814 NEW BEST:: SOT 186022 SOS 70907 HAS SOPS 70907 HAS SOUS 37194 HAS SOUPS 37194 WITH SCORE 37264.907
AT ITER 4828 NEW BEST:: SOT 185986 SOS 70877 HAS SOPS 70877 HAS SOUS 37158 HAS SOUPS 37158 WITH SCORE 37228.877
AT ITER 4830 NEW BEST:: SOT 185986 SOS 70789 HAS SOPS 70789 HAS SOUS 37003 HAS SOUPS 37003 WITH SCORE 37073.789
AT ITER 4839 NEW BEST:: SOT 185947 SOS 70711 HAS SOPS 70711 HAS SOUS 36918 HAS SOUPS 36918 WITH SCORE 36988.711
AT ITER 4842 NEW BEST:: SOT 185946 SOS 70704 HAS SOPS 70704 HAS SOUS 36917 HAS SOUPS 36917 WITH SCORE 36987.704
AT ITER 4849 NEW BEST:: SOT 185940 SOS 70692 HAS SOPS 70692 HAS SOUS 36905 HAS SOUPS 36905 WITH SCORE 36975.692
AT ITER 4896 NEW BEST:: SOT 185963 SOS 70665 HAS SOPS 70665 HAS SOUS 36868 HAS SOUPS 36868 WITH SCORE 36938.665
AT ITER 4921 NEW BEST:: SOT 185955 SOS 70657 HAS SOPS 70657 HAS SOUS 36860 HAS SOUPS 36860 WITH SCORE 36930.657
AT ITER 4929 NEW BEST:: SOT 185955 SOS 70657 HAS SOPS 70657 HAS SOUS 36854 HAS SOUPS 36854 WITH SCORE 36924.657
AT ITER 4949 NEW BEST:: SOT 185896 SOS 70553 HAS SOPS 70553 HAS SOUS 36772 HAS SOUPS 36772 WITH SCORE 36842.553
AT ITER 4953 NEW BEST:: SOT 185909 SOS 70555 HAS SOPS 70555 HAS SOUS 36750 HAS SOUPS 36750 WITH SCORE 36820.555
AT ITER 4958 NEW BEST:: SOT 185892 SOS 70526 HAS SOPS 70526 HAS SOUS 36716 HAS SOUPS 36716 WITH SCORE 36786.526
AT ITER 4978 NEW BEST:: SOT 185869 SOS 70503 HAS SOPS 70503 HAS SOUS 36693 HAS SOUPS 36693 WITH SCORE 36763.503
AT ITER 4988 NEW BEST:: SOT 185862 SOS 70496 HAS SOPS 70496 HAS SOUS 36684 HAS SOUPS 36684 WITH SCORE 36754.496
AT ITER 4994 NEW BEST:: SOT 185821 SOS 69922 HAS SOPS 69922 HAS SOUS 36561 HAS SOUPS 36561 WITH SCORE 36630.922
AT ITER 5017 NEW BEST:: SOT 185821 SOS 69922 HAS SOPS 69922 HAS SOUS 36560 HAS SOUPS 36560 WITH SCORE 36629.922
AT ITER 5024 NEW BEST:: SOT 185802 SOS 69884 HAS SOPS 69884 HAS SOUS 36560 HAS SOUPS 36560 WITH SCORE 36629.884
AT ITER 5027 NEW BEST:: SOT 185727 SOS 69824 HAS SOPS 69824 HAS SOUS 36545 HAS SOUPS 36545 WITH SCORE 36614.824
AT ITER 5033 NEW BEST:: SOT 185697 SOS 69794 HAS SOPS 69794 HAS SOUS 36515 HAS SOUPS 36515 WITH SCORE 36584.794
AT ITER 5041 NEW BEST:: SOT 185690 SOS 69780 HAS SOPS 69780 HAS SOUS 36501 HAS SOUPS 36501 WITH SCORE 36570.78
AT ITER 5073 NEW BEST:: SOT 185706 SOS 69769 HAS SOPS 69769 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36556.769
AT ITER 5079 NEW BEST:: SOT 185704 SOS 69765 HAS SOPS 69765 HAS SOUS 36485 HAS SOUPS 36485 WITH SCORE 36554.765
AT ITER 5092 NEW BEST:: SOT 185697 SOS 69751 HAS SOPS 69751 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36547.751
AT ITER 5101 NEW BEST:: SOT 185689 SOS 69743 HAS SOPS 69743 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36547.743
AT ITER 5106 NEW BEST:: SOT 185641 SOS 69647 HAS SOPS 69647 HAS SOUS 36434 HAS SOUPS 36434 WITH SCORE 36503.647
AT ITER 5123 NEW BEST:: SOT 185640 SOS 69632 HAS SOPS 69632 HAS SOUS 36432 HAS SOUPS 36432 WITH SCORE 36501.632
AT ITER 5158 NEW BEST:: SOT 185661 SOS 69649 HAS SOPS 69649 HAS SOUS 36428 HAS SOUPS 36428 WITH SCORE 36497.649
AT ITER 5215 NEW BEST:: SOT 185648 SOS 69636 HAS SOPS 69636 HAS SOUS 36415 HAS SOUPS 36415 WITH SCORE 36484.636
AT ITER 5229 NEW BEST:: SOT 185620 SOS 69580 HAS SOPS 69580 HAS SOUS 36408 HAS SOUPS 36408 WITH SCORE 36477.58
AT ITER 5230 NEW BEST:: SOT 185592 SOS 69539 HAS SOPS 69539 HAS SOUS 36367 HAS SOUPS 36367 WITH SCORE 36436.539
AT ITER 5234 NEW BEST:: SOT 185610 SOS 69459 HAS SOPS 69459 HAS SOUS 36332 HAS SOUPS 36332 WITH SCORE 36401.459
AT ITER 5301 NEW BEST:: SOT 185622 SOS 69449 HAS SOPS 69449 HAS SOUS 36313 HAS SOUPS 36313 WITH SCORE 36382.449
AT ITER 5319 NEW BEST:: SOT 185619 SOS 69440 HAS SOPS 69440 HAS SOUS 36310 HAS SOUPS 36310 WITH SCORE 36379.44
AT ITER 5348 NEW BEST:: SOT 185605 SOS 69412 HAS SOPS 69412 HAS SOUS 36302 HAS SOUPS 36302 WITH SCORE 36371.412
AT ITER 5362 NEW BEST:: SOT 185586 SOS 69372 HAS SOPS 69372 HAS SOUS 36241 HAS SOUPS 36241 WITH SCORE 36310.372
AT ITER 5368 NEW BEST:: SOT 185570 SOS 69378 HAS SOPS 69378 HAS SOUS 36225 HAS SOUPS 36225 WITH SCORE 36294.378
AT ITER 5371 NEW BEST:: SOT 185512 SOS 69358 HAS SOPS 69358 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36274.358
AT ITER 5372 NEW BEST:: SOT 185438 SOS 69067 HAS SOPS 69067 HAS SOUS 36057 HAS SOUPS 36057 WITH SCORE 36126.067
AT ITER 5408 NEW BEST:: SOT 185402 SOS 69091 HAS SOPS 69091 HAS SOUS 36046 HAS SOUPS 36046 WITH SCORE 36115.091
AT ITER 5412 NEW BEST:: SOT 185402 SOS 69017 HAS SOPS 69017 HAS SOUS 35993 HAS SOUPS 35993 WITH SCORE 36062.017
AT ITER 5413 NEW BEST:: SOT 185402 SOS 69010 HAS SOPS 69010 HAS SOUS 35986 HAS SOUPS 35986 WITH SCORE 36055.01
AT ITER 5438 NEW BEST:: SOT 185401 SOS 68993 HAS SOPS 68993 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36037.993
AT ITER 5453 NEW BEST:: SOT 185398 SOS 68979 HAS SOPS 68979 HAS SOUS 35967 HAS SOUPS 35967 WITH SCORE 36035.979
AT ITER 5497 NEW BEST:: SOT 185476 SOS 69057 HAS SOPS 69057 HAS SOUS 35946 HAS SOUPS 35946 WITH SCORE 36015.057
AT ITER 5504 NEW BEST:: SOT 185570 SOS 69199 HAS SOPS 69199 HAS SOUS 35867 HAS SOUPS 35867 WITH SCORE 35936.199
AT ITER 5506 NEW BEST:: SOT 185573 SOS 69178 HAS SOPS 69178 HAS SOUS 35867 HAS SOUPS 35867 WITH SCORE 35936.178
AT ITER 5516 NEW BEST:: SOT 185554 SOS 69207 HAS SOPS 69207 HAS SOUS 35848 HAS SOUPS 35848 WITH SCORE 35917.207
AT ITER 5529 NEW BEST:: SOT 185545 SOS 69189 HAS SOPS 69189 HAS SOUS 35839 HAS SOUPS 35839 WITH SCORE 35908.189
AT ITER 5530 NEW BEST:: SOT 185545 SOS 69285 HAS SOPS 69285 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35903.285
AT ITER 5576 NEW BEST:: SOT 185542 SOS 69279 HAS SOPS 69279 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35900.279
AT ITER 5578 NEW BEST:: SOT 185542 SOS 69279 HAS SOPS 69279 HAS SOUS 35827 HAS SOUPS 35827 WITH SCORE 35896.279
AT ITER 5608 NEW BEST:: SOT 185527 SOS 69234 HAS SOPS 69234 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35866.234
AT ITER 5609 NEW BEST:: SOT 185517 SOS 69207 HAS SOPS 69207 HAS SOUS 35770 HAS SOUPS 35770 WITH SCORE 35839.207
AT ITER 5617 NEW BEST:: SOT 185487 SOS 69147 HAS SOPS 69147 HAS SOUS 35739 HAS SOUPS 35739 WITH SCORE 35808.147
AT ITER 5635 NEW BEST:: SOT 185474 SOS 69146 HAS SOPS 69146 HAS SOUS 35723 HAS SOUPS 35723 WITH SCORE 35792.146
AT ITER 5648 NEW BEST:: SOT 185461 SOS 69120 HAS SOPS 69120 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35779.12
AT ITER 5673 NEW BEST:: SOT 185405 SOS 69008 HAS SOPS 69008 HAS SOUS 35642 HAS SOUPS 35642 WITH SCORE 35711.008
AT ITER 5676 NEW BEST:: SOT 185405 SOS 69174 HAS SOPS 69174 HAS SOUS 35622 HAS SOUPS 35622 WITH SCORE 35691.174
AT ITER 5705 NEW BEST:: SOT 185419 SOS 69202 HAS SOPS 69202 HAS SOUS 35613 HAS SOUPS 35613 WITH SCORE 35682.202
AT ITER 5756 NEW BEST:: SOT 185420 SOS 69204 HAS SOPS 69204 HAS SOUS 35599 HAS SOUPS 35599 WITH SCORE 35668.204
AT ITER 5762 NEW BEST:: SOT 185418 SOS 69202 HAS SOPS 69202 HAS SOUS 35599 HAS SOUPS 35599 WITH SCORE 35668.202
AT ITER 5790 NEW BEST:: SOT 185374 SOS 69114 HAS SOPS 69114 HAS SOUS 35511 HAS SOUPS 35511 WITH SCORE 35580.114
AT ITER 5800 NEW BEST:: SOT 185369 SOS 69109 HAS SOPS 69109 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35574.109
AT ITER 5826 NEW BEST:: SOT 185368 SOS 69040 HAS SOPS 69040 HAS SOUS 35504 HAS SOUPS 35504 WITH SCORE 35573.04
AT ITER 5844 NEW BEST:: SOT 185358 SOS 69030 HAS SOPS 69030 HAS SOUS 35494 HAS SOUPS 35494 WITH SCORE 35563.03
AT ITER 5974 NEW BEST:: SOT 185385 SOS 69057 HAS SOPS 69057 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35552.057
AT ITER 5980 NEW BEST:: SOT 185275 SOS 68920 HAS SOPS 68920 HAS SOUS 35429 HAS SOUPS 35429 WITH SCORE 35497.92
AT ITER 5985 NEW BEST:: SOT 185273 SOS 68916 HAS SOPS 68916 HAS SOUS 35425 HAS SOUPS 35425 WITH SCORE 35493.916
AT ITER 6001 NEW BEST:: SOT 185264 SOS 68886 HAS SOPS 68886 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35476.886
AT ITER 6017 NEW BEST:: SOT 185246 SOS 68868 HAS SOPS 68868 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35458.868
AT ITER 6034 NEW BEST:: SOT 185136 SOS 68758 HAS SOPS 68758 HAS SOUS 35379 HAS SOUPS 35379 WITH SCORE 35447.758
AT ITER 6040 NEW BEST:: SOT 185143 SOS 68772 HAS SOPS 68772 HAS SOUS 35321 HAS SOUPS 35321 WITH SCORE 35389.772
AT ITER 6052 NEW BEST:: SOT 185143 SOS 68651 HAS SOPS 68651 HAS SOUS 35321 HAS SOUPS 35321 WITH SCORE 35389.651
AT ITER 6069 NEW BEST:: SOT 185139 SOS 68643 HAS SOPS 68643 HAS SOUS 35313 HAS SOUPS 35313 WITH SCORE 35381.643
AT ITER 6072 NEW BEST:: SOT 185138 SOS 68636 HAS SOPS 68636 HAS SOUS 35311 HAS SOUPS 35311 WITH SCORE 35379.636
AT ITER 6108 NEW BEST:: SOT 185131 SOS 68627 HAS SOPS 68627 HAS SOUS 35310 HAS SOUPS 35310 WITH SCORE 35378.627
AT ITER 6126 NEW BEST:: SOT 185128 SOS 68624 HAS SOPS 68624 HAS SOUS 35257 HAS SOUPS 35257 WITH SCORE 35325.624
AT ITER 6135 NEW BEST:: SOT 185126 SOS 68621 HAS SOPS 68621 HAS SOUS 35255 HAS SOUPS 35255 WITH SCORE 35323.621
AT ITER 6162 NEW BEST:: SOT 185126 SOS 68620 HAS SOPS 68620 HAS SOUS 35254 HAS SOUPS 35254 WITH SCORE 35322.62
AT ITER 6209 NEW BEST:: SOT 185127 SOS 68589 HAS SOPS 68589 HAS SOUS 35247 HAS SOUPS 35247 WITH SCORE 35315.589
AT ITER 6210 NEW BEST:: SOT 185117 SOS 68530 HAS SOPS 68530 HAS SOUS 35227 HAS SOUPS 35227 WITH SCORE 35295.53
AT ITER 6249 NEW BEST:: SOT 185097 SOS 68465 HAS SOPS 68465 HAS SOUS 35186 HAS SOUPS 35186 WITH SCORE 35254.465
AT ITER 6261 NEW BEST:: SOT 185171 SOS 67583 HAS SOPS 67583 HAS SOUS 35157 HAS SOUPS 35157 WITH SCORE 35224.583
AT ITER 6299 NEW BEST:: SOT 185171 SOS 67583 HAS SOPS 67583 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35207.583
AT ITER 6310 NEW BEST:: SOT 185088 SOS 67417 HAS SOPS 67417 HAS SOUS 35074 HAS SOUPS 35074 WITH SCORE 35141.417
AT ITER 6346 NEW BEST:: SOT 185086 SOS 67412 HAS SOPS 67412 HAS SOUS 35071 HAS SOUPS 35071 WITH SCORE 35138.412
AT ITER 6350 NEW BEST:: SOT 185079 SOS 67398 HAS SOPS 67398 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35131.398
AT ITER 6358 NEW BEST:: SOT 185075 SOS 67394 HAS SOPS 67394 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35131.394
AT ITER 6411 NEW BEST:: SOT 185058 SOS 67360 HAS SOPS 67360 HAS SOUS 35030 HAS SOUPS 35030 WITH SCORE 35097.36
AT ITER 6412 NEW BEST:: SOT 185058 SOS 67360 HAS SOPS 67360 HAS SOUS 35007 HAS SOUPS 35007 WITH SCORE 35074.36
AT ITER 6455 NEW BEST:: SOT 185040 SOS 67323 HAS SOPS 67323 HAS SOUS 34977 HAS SOUPS 34977 WITH SCORE 35044.323
AT ITER 6468 NEW BEST:: SOT 185021 SOS 67280 HAS SOPS 67280 HAS SOUS 34958 HAS SOUPS 34958 WITH SCORE 35025.28
AT ITER 6479 NEW BEST:: SOT 185021 SOS 67280 HAS SOPS 67280 HAS SOUS 34953 HAS SOUPS 34953 WITH SCORE 35020.28
AT ITER 6480 NEW BEST:: SOT 185006 SOS 67268 HAS SOPS 67268 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 34990.268
AT ITER 6520 NEW BEST:: SOT 184997 SOS 67250 HAS SOPS 67250 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34981.25
AT ITER 6537 NEW BEST:: SOT 184997 SOS 67250 HAS SOPS 67250 HAS SOUS 34893 HAS SOUPS 34893 WITH SCORE 34960.25
AT ITER 6565 NEW BEST:: SOT 184995 SOS 67081 HAS SOPS 67081 HAS SOUS 34889 HAS SOUPS 34889 WITH SCORE 34956.081
AT ITER 6574 NEW BEST:: SOT 184990 SOS 67076 HAS SOPS 67076 HAS SOUS 34884 HAS SOUPS 34884 WITH SCORE 34951.076
AT ITER 6620 NEW BEST:: SOT 184988 SOS 66953 HAS SOPS 66953 HAS SOUS 34768 HAS SOUPS 34768 WITH SCORE 34834.953
AT ITER 6648 NEW BEST:: SOT 184964 SOS 67045 HAS SOPS 67045 HAS SOUS 34758 HAS SOUPS 34758 WITH SCORE 34825.045
AT ITER 6652 NEW BEST:: SOT 185092 SOS 66130 HAS SOPS 66130 HAS SOUS 34661 HAS SOUPS 34661 WITH SCORE 34727.13
AT ITER 6667 NEW BEST:: SOT 185068 SOS 66082 HAS SOPS 66082 HAS SOUS 34637 HAS SOUPS 34637 WITH SCORE 34703.082
AT ITER 6678 NEW BEST:: SOT 185068 SOS 66074 HAS SOPS 66074 HAS SOUS 34637 HAS SOUPS 34637 WITH SCORE 34703.074
AT ITER 6712 NEW BEST:: SOT 185095 SOS 66102 HAS SOPS 66102 HAS SOUS 34635 HAS SOUPS 34635 WITH SCORE 34701.102
AT ITER 6719 NEW BEST:: SOT 185095 SOS 66102 HAS SOPS 66102 HAS SOUS 34634 HAS SOUPS 34634 WITH SCORE 34700.102
AT ITER 6748 NEW BEST:: SOT 185091 SOS 66098 HAS SOPS 66098 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34692.098
AT ITER 6815 NEW BEST:: SOT 185141 SOS 66140 HAS SOPS 66140 HAS SOUS 34610 HAS SOUPS 34610 WITH SCORE 34676.14
AT ITER 6824 NEW BEST:: SOT 185135 SOS 66131 HAS SOPS 66131 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34670.131
AT ITER 6840 NEW BEST:: SOT 185138 SOS 66134 HAS SOPS 66134 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34660.134
AT ITER 6844 NEW BEST:: SOT 185131 SOS 66106 HAS SOPS 66106 HAS SOUS 34558 HAS SOUPS 34558 WITH SCORE 34624.106
AT ITER 6860 NEW BEST:: SOT 185003 SOS 66236 HAS SOPS 66236 HAS SOUS 34430 HAS SOUPS 34430 WITH SCORE 34496.236
AT ITER 6899 NEW BEST:: SOT 185002 SOS 66234 HAS SOPS 66234 HAS SOUS 34429 HAS SOUPS 34429 WITH SCORE 34495.234
AT ITER 6903 NEW BEST:: SOT 185000 SOS 66226 HAS SOPS 66226 HAS SOUS 34427 HAS SOUPS 34427 WITH SCORE 34493.226
AT ITER 6912 NEW BEST:: SOT 185000 SOS 66226 HAS SOPS 66226 HAS SOUS 34402 HAS SOUPS 34402 WITH SCORE 34468.226
AT ITER 6921 NEW BEST:: SOT 184988 SOS 66157 HAS SOPS 66157 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34430.157
AT ITER 6973 NEW BEST:: SOT 184974 SOS 66129 HAS SOPS 66129 HAS SOUS 34341 HAS SOUPS 34341 WITH SCORE 34407.129
AT ITER 7022 NEW BEST:: SOT 184941 SOS 65909 HAS SOPS 65909 HAS SOUS 34311 HAS SOUPS 34311 WITH SCORE 34376.909
AT ITER 7034 NEW BEST:: SOT 184914 SOS 65913 HAS SOPS 65913 HAS SOUS 34253 HAS SOUPS 34253 WITH SCORE 34318.913
AT ITER 7052 NEW BEST:: SOT 184909 SOS 65908 HAS SOPS 65908 HAS SOUS 34248 HAS SOUPS 34248 WITH SCORE 34313.908
AT ITER 7061 NEW BEST:: SOT 184789 SOS 66457 HAS SOPS 66457 HAS SOUS 34221 HAS SOUPS 34221 WITH SCORE 34287.457
AT ITER 7062 NEW BEST:: SOT 184717 SOS 66643 HAS SOPS 66643 HAS SOUS 34218 HAS SOUPS 34218 WITH SCORE 34284.643
AT ITER 7074 NEW BEST:: SOT 184648 SOS 66616 HAS SOPS 66616 HAS SOUS 34137 HAS SOUPS 34137 WITH SCORE 34203.616
AT ITER 7078 NEW BEST:: SOT 184645 SOS 66610 HAS SOPS 66610 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34201.61
AT ITER 7085 NEW BEST:: SOT 184645 SOS 66559 HAS SOPS 66559 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34201.559
AT ITER 7146 NEW BEST:: SOT 184614 SOS 66485 HAS SOPS 66485 HAS SOUS 34104 HAS SOUPS 34104 WITH SCORE 34170.485
AT ITER 7157 NEW BEST:: SOT 184600 SOS 66420 HAS SOPS 66420 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34142.42
AT ITER 7159 NEW BEST:: SOT 184596 SOS 66412 HAS SOPS 66412 HAS SOUS 34068 HAS SOUPS 34068 WITH SCORE 34134.412
AT ITER 7201 NEW BEST:: SOT 184571 SOS 66387 HAS SOPS 66387 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34109.387
AT ITER 7232 NEW BEST:: SOT 184628 SOS 66407 HAS SOPS 66407 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34053.407
AT ITER 7246 NEW BEST:: SOT 184618 SOS 66387 HAS SOPS 66387 HAS SOUS 33972 HAS SOUPS 33972 WITH SCORE 34038.387
AT ITER 7251 NEW BEST:: SOT 184606 SOS 66351 HAS SOPS 66351 HAS SOUS 33948 HAS SOUPS 33948 WITH SCORE 34014.351
AT ITER 7301 NEW BEST:: SOT 184578 SOS 66145 HAS SOPS 66145 HAS SOUS 33871 HAS SOUPS 33871 WITH SCORE 33937.145
AT ITER 7317 NEW BEST:: SOT 184599 SOS 66146 HAS SOPS 66146 HAS SOUS 33851 HAS SOUPS 33851 WITH SCORE 33917.146
AT ITER 7323 NEW BEST:: SOT 184554 SOS 66122 HAS SOPS 66122 HAS SOUS 33806 HAS SOUPS 33806 WITH SCORE 33872.122
AT ITER 7354 NEW BEST:: SOT 184554 SOS 66122 HAS SOPS 66122 HAS SOUS 33798 HAS SOUPS 33798 WITH SCORE 33864.122
AT ITER 7429 NEW BEST:: SOT 184549 SOS 66014 HAS SOPS 66014 HAS SOUS 33747 HAS SOUPS 33747 WITH SCORE 33813.014
AT ITER 7451 NEW BEST:: SOT 184521 SOS 65938 HAS SOPS 65938 HAS SOUS 33699 HAS SOUPS 33699 WITH SCORE 33764.938
AT ITER 7454 NEW BEST:: SOT 184507 SOS 65910 HAS SOPS 65910 HAS SOUS 33684 HAS SOUPS 33684 WITH SCORE 33749.91
AT ITER 7470 NEW BEST:: SOT 184507 SOS 65864 HAS SOPS 65864 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33659.864
AT ITER 7473 NEW BEST:: SOT 184502 SOS 65854 HAS SOPS 65854 HAS SOUS 33584 HAS SOUPS 33584 WITH SCORE 33649.854
AT ITER 7491 NEW BEST:: SOT 184496 SOS 65842 HAS SOPS 65842 HAS SOUS 33578 HAS SOUPS 33578 WITH SCORE 33643.842
AT ITER 7526 NEW BEST:: SOT 184474 SOS 65820 HAS SOPS 65820 HAS SOUS 33578 HAS SOUPS 33578 WITH SCORE 33643.82
AT ITER 7527 NEW BEST:: SOT 184467 SOS 65713 HAS SOPS 65713 HAS SOUS 33571 HAS SOUPS 33571 WITH SCORE 33636.713
AT ITER 7537 NEW BEST:: SOT 184420 SOS 65666 HAS SOPS 65666 HAS SOUS 33524 HAS SOUPS 33524 WITH SCORE 33589.666
AT ITER 7540 NEW BEST:: SOT 184406 SOS 65624 HAS SOPS 65624 HAS SOUS 33510 HAS SOUPS 33510 WITH SCORE 33575.624
AT ITER 7577 NEW BEST:: SOT 184406 SOS 65624 HAS SOPS 65624 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33568.624
AT ITER 7619 NEW BEST:: SOT 184325 SOS 65073 HAS SOPS 65073 HAS SOUS 33323 HAS SOUPS 33323 WITH SCORE 33388.073
AT ITER 7649 NEW BEST:: SOT 184325 SOS 65059 HAS SOPS 65059 HAS SOUS 33323 HAS SOUPS 33323 WITH SCORE 33388.059
AT ITER 7715 NEW BEST:: SOT 184313 SOS 65047 HAS SOPS 65047 HAS SOUS 33319 HAS SOUPS 33319 WITH SCORE 33384.047
AT ITER 7732 NEW BEST:: SOT 184305 SOS 65047 HAS SOPS 65047 HAS SOUS 33311 HAS SOUPS 33311 WITH SCORE 33376.047
AT ITER 7751 NEW BEST:: SOT 184296 SOS 65011 HAS SOPS 65011 HAS SOUS 33293 HAS SOUPS 33293 WITH SCORE 33358.011
AT ITER 7765 NEW BEST:: SOT 184288 SOS 64987 HAS SOPS 64987 HAS SOUS 33277 HAS SOUPS 33277 WITH SCORE 33341.987
AT ITER 7783 NEW BEST:: SOT 184246 SOS 64945 HAS SOPS 64945 HAS SOUS 33277 HAS SOUPS 33277 WITH SCORE 33341.945
AT ITER 7825 NEW BEST:: SOT 184246 SOS 64910 HAS SOPS 64910 HAS SOUS 33277 HAS SOUPS 33277 WITH SCORE 33341.91
AT ITER 7839 NEW BEST:: SOT 184200 SOS 64855 HAS SOPS 64855 HAS SOUS 33251 HAS SOUPS 33251 WITH SCORE 33315.855
AT ITER 7869 NEW BEST:: SOT 184230 SOS 64850 HAS SOPS 64850 HAS SOUS 33199 HAS SOUPS 33199 WITH SCORE 33263.85
AT ITER 7879 NEW BEST:: SOT 184230 SOS 64850 HAS SOPS 64850 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33252.85
AT ITER 7891 NEW BEST:: SOT 184235 SOS 64855 HAS SOPS 64855 HAS SOUS 33177 HAS SOUPS 33177 WITH SCORE 33241.855
AT ITER 7905 NEW BEST:: SOT 184235 SOS 64787 HAS SOPS 64787 HAS SOUS 33177 HAS SOUPS 33177 WITH SCORE 33241.787
AT ITER 7915 NEW BEST:: SOT 184265 SOS 64817 HAS SOPS 64817 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33233.817
AT ITER 7916 NEW BEST:: SOT 184243 SOS 64795 HAS SOPS 64795 HAS SOUS 33147 HAS SOUPS 33147 WITH SCORE 33211.795
AT ITER 7919 NEW BEST:: SOT 184243 SOS 64795 HAS SOPS 64795 HAS SOUS 33143 HAS SOUPS 33143 WITH SCORE 33207.795
AT ITER 7946 NEW BEST:: SOT 184224 SOS 64757 HAS SOPS 64757 HAS SOUS 33142 HAS SOUPS 33142 WITH SCORE 33206.757
AT ITER 7948 NEW BEST:: SOT 184174 SOS 64743 HAS SOPS 64743 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33178.743
AT ITER 7960 NEW BEST:: SOT 184172 SOS 64739 HAS SOPS 64739 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33178.739
AT ITER 7985 NEW BEST:: SOT 184091 SOS 64749 HAS SOPS 64749 HAS SOUS 32911 HAS SOUPS 32911 WITH SCORE 32975.749
AT ITER 8004 NEW BEST:: SOT 184083 SOS 64652 HAS SOPS 64652 HAS SOUS 32903 HAS SOUPS 32903 WITH SCORE 32967.652
AT ITER 8022 NEW BEST:: SOT 184075 SOS 64636 HAS SOPS 64636 HAS SOUS 32887 HAS SOUPS 32887 WITH SCORE 32951.636
AT ITER 8024 NEW BEST:: SOT 184030 SOS 64591 HAS SOPS 64591 HAS SOUS 32850 HAS SOUPS 32850 WITH SCORE 32914.591
AT ITER 8029 NEW BEST:: SOT 183983 SOS 64544 HAS SOPS 64544 HAS SOUS 32754 HAS SOUPS 32754 WITH SCORE 32818.544
AT ITER 8040 NEW BEST:: SOT 183942 SOS 64421 HAS SOPS 64421 HAS SOUS 32713 HAS SOUPS 32713 WITH SCORE 32777.421
AT ITER 8084 NEW BEST:: SOT 183939 SOS 64415 HAS SOPS 64415 HAS SOUS 32707 HAS SOUPS 32707 WITH SCORE 32771.415
AT ITER 8089 NEW BEST:: SOT 183870 SOS 64299 HAS SOPS 64299 HAS SOUS 32618 HAS SOUPS 32618 WITH SCORE 32682.299
AT ITER 8094 NEW BEST:: SOT 183870 SOS 64209 HAS SOPS 64209 HAS SOUS 32608 HAS SOUPS 32608 WITH SCORE 32672.209
AT ITER 8103 NEW BEST:: SOT 183865 SOS 64206 HAS SOPS 64206 HAS SOUS 32605 HAS SOUPS 32605 WITH SCORE 32669.206
AT ITER 8106 NEW BEST:: SOT 183850 SOS 64193 HAS SOPS 64193 HAS SOUS 32589 HAS SOUPS 32589 WITH SCORE 32653.193
AT ITER 8112 NEW BEST:: SOT 183832 SOS 64157 HAS SOPS 64157 HAS SOUS 32553 HAS SOUPS 32553 WITH SCORE 32617.157
AT ITER 8128 NEW BEST:: SOT 183929 SOS 63351 HAS SOPS 63351 HAS SOUS 32550 HAS SOUPS 32550 WITH SCORE 32613.351
AT ITER 8151 NEW BEST:: SOT 183875 SOS 63259 HAS SOPS 63259 HAS SOUS 32496 HAS SOUPS 32496 WITH SCORE 32559.259
AT ITER 8166 NEW BEST:: SOT 183850 SOS 63251 HAS SOPS 63251 HAS SOUS 32488 HAS SOUPS 32488 WITH SCORE 32551.251
AT ITER 8227 NEW BEST:: SOT 183842 SOS 63240 HAS SOPS 63240 HAS SOUS 32477 HAS SOUPS 32477 WITH SCORE 32540.24
AT ITER 8231 NEW BEST:: SOT 183842 SOS 63210 HAS SOPS 63210 HAS SOUS 32477 HAS SOUPS 32477 WITH SCORE 32540.21
AT ITER 8272 NEW BEST:: SOT 183842 SOS 63202 HAS SOPS 63202 HAS SOUS 32469 HAS SOUPS 32469 WITH SCORE 32532.202
AT ITER 8281 NEW BEST:: SOT 183841 SOS 63200 HAS SOPS 63200 HAS SOUS 32468 HAS SOUPS 32468 WITH SCORE 32531.2
AT ITER 8369 NEW BEST:: SOT 183853 SOS 63205 HAS SOPS 63205 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32520.205
AT ITER 8409 NEW BEST:: SOT 183849 SOS 63197 HAS SOPS 63197 HAS SOUS 32449 HAS SOUPS 32449 WITH SCORE 32512.197
AT ITER 8413 NEW BEST:: SOT 183841 SOS 63189 HAS SOPS 63189 HAS SOUS 32441 HAS SOUPS 32441 WITH SCORE 32504.189
AT ITER 8424 NEW BEST:: SOT 183837 SOS 63185 HAS SOPS 63185 HAS SOUS 32433 HAS SOUPS 32433 WITH SCORE 32496.185
AT ITER 8453 NEW BEST:: SOT 183829 SOS 63169 HAS SOPS 63169 HAS SOUS 32417 HAS SOUPS 32417 WITH SCORE 32480.169
AT ITER 8466 NEW BEST:: SOT 183780 SOS 63098 HAS SOPS 63098 HAS SOUS 32400 HAS SOUPS 32400 WITH SCORE 32463.098
AT ITER 8482 NEW BEST:: SOT 183743 SOS 63024 HAS SOPS 63024 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32389.024
AT ITER 8497 NEW BEST:: SOT 183743 SOS 63007 HAS SOPS 63007 HAS SOUS 32309 HAS SOUPS 32309 WITH SCORE 32372.007
AT ITER 8503 NEW BEST:: SOT 183743 SOS 63012 HAS SOPS 63012 HAS SOUS 32304 HAS SOUPS 32304 WITH SCORE 32367.012
AT ITER 8526 NEW BEST:: SOT 183732 SOS 62980 HAS SOPS 62980 HAS SOUS 32293 HAS SOUPS 32293 WITH SCORE 32355.98
AT ITER 8606 NEW BEST:: SOT 183729 SOS 62978 HAS SOPS 62978 HAS SOUS 32291 HAS SOUPS 32291 WITH SCORE 32353.978
AT ITER 8607 NEW BEST:: SOT 183731 SOS 62982 HAS SOPS 62982 HAS SOUS 32263 HAS SOUPS 32263 WITH SCORE 32325.982
AT ITER 8638 NEW BEST:: SOT 183740 SOS 63036 HAS SOPS 63036 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32308.036
AT ITER 8669 NEW BEST:: SOT 183724 SOS 63004 HAS SOPS 63004 HAS SOUS 32234 HAS SOUPS 32234 WITH SCORE 32297.004
AT ITER 8676 NEW BEST:: SOT 183709 SOS 62969 HAS SOPS 62969 HAS SOUS 32209 HAS SOUPS 32209 WITH SCORE 32271.969
AT ITER 8690 NEW BEST:: SOT 183711 SOS 62973 HAS SOPS 62973 HAS SOUS 32200 HAS SOUPS 32200 WITH SCORE 32262.973
AT ITER 8746 NEW BEST:: SOT 183691 SOS 62941 HAS SOPS 62941 HAS SOUS 32180 HAS SOUPS 32180 WITH SCORE 32242.941
AT ITER 8808 NEW BEST:: SOT 183684 SOS 62927 HAS SOPS 62927 HAS SOUS 32166 HAS SOUPS 32166 WITH SCORE 32228.927
AT ITER 8824 NEW BEST:: SOT 183684 SOS 62873 HAS SOPS 62873 HAS SOUS 32148 HAS SOUPS 32148 WITH SCORE 32210.873
AT ITER 8848 NEW BEST:: SOT 183684 SOS 62869 HAS SOPS 62869 HAS SOUS 32146 HAS SOUPS 32146 WITH SCORE 32208.869
AT ITER 8860 NEW BEST:: SOT 183683 SOS 62857 HAS SOPS 62857 HAS SOUS 32135 HAS SOUPS 32135 WITH SCORE 32197.857
AT ITER 8875 NEW BEST:: SOT 183679 SOS 62853 HAS SOPS 62853 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32193.853
AT ITER 8883 NEW BEST:: SOT 183659 SOS 62823 HAS SOPS 62823 HAS SOUS 32101 HAS SOUPS 32101 WITH SCORE 32163.823
AT ITER 8982 NEW BEST:: SOT 183637 SOS 62816 HAS SOPS 62816 HAS SOUS 32094 HAS SOUPS 32094 WITH SCORE 32156.816
AT ITER 9038 NEW BEST:: SOT 183631 SOS 62808 HAS SOPS 62808 HAS SOUS 32088 HAS SOUPS 32088 WITH SCORE 32150.808
AT ITER 9056 NEW BEST:: SOT 183640 SOS 62736 HAS SOPS 62736 HAS SOUS 32088 HAS SOUPS 32088 WITH SCORE 32150.736
AT ITER 9059 NEW BEST:: SOT 183649 SOS 62754 HAS SOPS 62754 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32142.754
AT ITER 9092 NEW BEST:: SOT 183649 SOS 62754 HAS SOPS 62754 HAS SOUS 32077 HAS SOUPS 32077 WITH SCORE 32139.754
AT ITER 9218 NEW BEST:: SOT 183649 SOS 62704 HAS SOPS 62704 HAS SOUS 32077 HAS SOUPS 32077 WITH SCORE 32139.704
AT ITER 9241 NEW BEST:: SOT 183636 SOS 62652 HAS SOPS 62652 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32113.652
AT ITER 9248 NEW BEST:: SOT 183593 SOS 62619 HAS SOPS 62619 HAS SOUS 32018 HAS SOUPS 32018 WITH SCORE 32080.619
AT ITER 9253 NEW BEST:: SOT 183607 SOS 62614 HAS SOPS 62614 HAS SOUS 31984 HAS SOUPS 31984 WITH SCORE 32046.614
AT ITER 9276 NEW BEST:: SOT 183586 SOS 62612 HAS SOPS 62612 HAS SOUS 31968 HAS SOUPS 31968 WITH SCORE 32030.612
AT ITER 9298 NEW BEST:: SOT 183576 SOS 62621 HAS SOPS 62621 HAS SOUS 31965 HAS SOUPS 31965 WITH SCORE 32027.621
AT ITER 9308 NEW BEST:: SOT 183568 SOS 62605 HAS SOPS 62605 HAS SOUS 31957 HAS SOUPS 31957 WITH SCORE 32019.605
AT ITER 9378 NEW BEST:: SOT 183585 SOS 62487 HAS SOPS 62487 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31986.487
AT ITER 9389 NEW BEST:: SOT 183518 SOS 62440 HAS SOPS 62440 HAS SOUS 31877 HAS SOUPS 31877 WITH SCORE 31939.44
AT ITER 9400 NEW BEST:: SOT 183500 SOS 62404 HAS SOPS 62404 HAS SOUS 31841 HAS SOUPS 31841 WITH SCORE 31903.404
AT ITER 9444 NEW BEST:: SOT 183497 SOS 62373 HAS SOPS 62373 HAS SOUS 31835 HAS SOUPS 31835 WITH SCORE 31897.373
AT ITER 9458 NEW BEST:: SOT 183489 SOS 62367 HAS SOPS 62367 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31891.367
AT ITER 9464 NEW BEST:: SOT 183487 SOS 62363 HAS SOPS 62363 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31891.363
AT ITER 9466 NEW BEST:: SOT 183487 SOS 62359 HAS SOPS 62359 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31891.359
AT ITER 9484 NEW BEST:: SOT 183487 SOS 62359 HAS SOPS 62359 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31887.359
AT ITER 9489 NEW BEST:: SOT 183441 SOS 62313 HAS SOPS 62313 HAS SOUS 31779 HAS SOUPS 31779 WITH SCORE 31841.313
AT ITER 9523 NEW BEST:: SOT 183448 SOS 62345 HAS SOPS 62345 HAS SOUS 31754 HAS SOUPS 31754 WITH SCORE 31816.345
AT ITER 9530 NEW BEST:: SOT 183423 SOS 62395 HAS SOPS 62395 HAS SOUS 31740 HAS SOUPS 31740 WITH SCORE 31802.395
AT ITER 9556 NEW BEST:: SOT 183386 SOS 62357 HAS SOPS 62357 HAS SOUS 31736 HAS SOUPS 31736 WITH SCORE 31798.357
AT ITER 9636 NEW BEST:: SOT 183369 SOS 62340 HAS SOPS 62340 HAS SOUS 31736 HAS SOUPS 31736 WITH SCORE 31798.34
AT ITER 9654 NEW BEST:: SOT 183405 SOS 62379 HAS SOPS 62379 HAS SOUS 31727 HAS SOUPS 31727 WITH SCORE 31789.379
AT ITER 9669 NEW BEST:: SOT 183405 SOS 62379 HAS SOPS 62379 HAS SOUS 31723 HAS SOUPS 31723 WITH SCORE 31785.379
AT ITER 9695 NEW BEST:: SOT 183383 SOS 62335 HAS SOPS 62335 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31779.335
AT ITER 9700 NEW BEST:: SOT 183375 SOS 62319 HAS SOPS 62319 HAS SOUS 31701 HAS SOUPS 31701 WITH SCORE 31763.319
AT ITER 9725 NEW BEST:: SOT 183372 SOS 62316 HAS SOPS 62316 HAS SOUS 31695 HAS SOUPS 31695 WITH SCORE 31757.316
AT ITER 9746 NEW BEST:: SOT 183368 SOS 62304 HAS SOPS 62304 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31749.304
AT ITER 9800 NEW BEST:: SOT 183366 SOS 62313 HAS SOPS 62313 HAS SOUS 31684 HAS SOUPS 31684 WITH SCORE 31746.313
AT ITER 9813 NEW BEST:: SOT 183417 SOS 62241 HAS SOPS 62241 HAS SOUS 31627 HAS SOUPS 31627 WITH SCORE 31689.241
AT ITER 9819 NEW BEST:: SOT 183417 SOS 62241 HAS SOPS 62241 HAS SOUS 31612 HAS SOUPS 31612 WITH SCORE 31674.241
AT ITER 9866 NEW BEST:: SOT 183402 SOS 62226 HAS SOPS 62226 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31658.226
AT ITER 9885 NEW BEST:: SOT 183402 SOS 62220 HAS SOPS 62220 HAS SOUS 31590 HAS SOUPS 31590 WITH SCORE 31652.22
AT ITER 9908 NEW BEST:: SOT 183402 SOS 62220 HAS SOPS 62220 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31651.22
AT ITER 9915 NEW BEST:: SOT 183375 SOS 62199 HAS SOPS 62199 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31642.199
AT ITER 9942 NEW BEST:: SOT 183357 SOS 62199 HAS SOPS 62199 HAS SOUS 31562 HAS SOUPS 31562 WITH SCORE 31624.199
AT ITER 9943 NEW BEST:: SOT 183338 SOS 62171 HAS SOPS 62171 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 31606.171

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-06b"
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 FlexibleBarrier-PT-06b, 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 r078-smll-158922972400288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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