Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 3.3K May 14 00:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 169K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590435540226

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

Filename model.pnml
Petri model created: 503 places, 483 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 165422 SOS 127919 HAS SOPS 127919 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108146.919
AT ITER 2 NEW BEST:: SOT 165343 SOS 127534 HAS SOPS 127534 HAS SOUS 108008 HAS SOUPS 108008 WITH SCORE 108135.534
AT ITER 27 NEW BEST:: SOT 165296 SOS 127487 HAS SOPS 127487 HAS SOUS 108008 HAS SOUPS 108008 WITH SCORE 108135.487
AT ITER 35 NEW BEST:: SOT 165226 SOS 127435 HAS SOPS 127435 HAS SOUS 107956 HAS SOUPS 107956 WITH SCORE 108083.435
AT ITER 36 NEW BEST:: SOT 165054 SOS 127320 HAS SOPS 127320 HAS SOUS 107841 HAS SOUPS 107841 WITH SCORE 107968.32
AT ITER 39 NEW BEST:: SOT 164940 SOS 126836 HAS SOPS 126836 HAS SOUS 107641 HAS SOUPS 107641 WITH SCORE 107767.836
AT ITER 47 NEW BEST:: SOT 164939 SOS 126811 HAS SOPS 126811 HAS SOUS 107616 HAS SOUPS 107616 WITH SCORE 107742.811
AT ITER 52 NEW BEST:: SOT 164756 SOS 126628 HAS SOPS 126628 HAS SOUS 107433 HAS SOUPS 107433 WITH SCORE 107559.628
AT ITER 57 NEW BEST:: SOT 164603 SOS 126475 HAS SOPS 126475 HAS SOUS 107280 HAS SOUPS 107280 WITH SCORE 107406.475
AT ITER 65 NEW BEST:: SOT 164506 SOS 126376 HAS SOPS 126376 HAS SOUS 107181 HAS SOUPS 107181 WITH SCORE 107307.376
AT ITER 69 NEW BEST:: SOT 164428 SOS 126298 HAS SOPS 126298 HAS SOUS 107103 HAS SOUPS 107103 WITH SCORE 107229.298
AT ITER 73 NEW BEST:: SOT 164158 SOS 126028 HAS SOPS 126028 HAS SOUS 106833 HAS SOUPS 106833 WITH SCORE 106959.028
AT ITER 75 NEW BEST:: SOT 164081 SOS 125710 HAS SOPS 125710 HAS SOUS 106787 HAS SOUPS 106787 WITH SCORE 106912.71
AT ITER 79 NEW BEST:: SOT 164070 SOS 125655 HAS SOPS 125655 HAS SOUS 106776 HAS SOUPS 106776 WITH SCORE 106901.655
AT ITER 82 NEW BEST:: SOT 164136 SOS 125721 HAS SOPS 125721 HAS SOUS 106762 HAS SOUPS 106762 WITH SCORE 106887.721
AT ITER 83 NEW BEST:: SOT 164065 SOS 125641 HAS SOPS 125641 HAS SOUS 106682 HAS SOUPS 106682 WITH SCORE 106807.641
AT ITER 94 NEW BEST:: SOT 164083 SOS 125587 HAS SOPS 125587 HAS SOUS 106628 HAS SOUPS 106628 WITH SCORE 106753.587
AT ITER 97 NEW BEST:: SOT 163988 SOS 125234 HAS SOPS 125234 HAS SOUS 106605 HAS SOUPS 106605 WITH SCORE 106730.234
AT ITER 112 NEW BEST:: SOT 164061 SOS 125228 HAS SOPS 125228 HAS SOUS 106599 HAS SOUPS 106599 WITH SCORE 106724.228
AT ITER 120 NEW BEST:: SOT 163976 SOS 125148 HAS SOPS 125148 HAS SOUS 106519 HAS SOUPS 106519 WITH SCORE 106644.148
AT ITER 126 NEW BEST:: SOT 163822 SOS 124992 HAS SOPS 124992 HAS SOUS 106363 HAS SOUPS 106363 WITH SCORE 106487.992
AT ITER 129 NEW BEST:: SOT 163760 SOS 124697 HAS SOPS 124697 HAS SOUS 106290 HAS SOUPS 106290 WITH SCORE 106414.697
AT ITER 131 NEW BEST:: SOT 163680 SOS 124617 HAS SOPS 124617 HAS SOUS 106210 HAS SOUPS 106210 WITH SCORE 106334.617
AT ITER 132 NEW BEST:: SOT 163585 SOS 124507 HAS SOPS 124507 HAS SOUS 106100 HAS SOUPS 106100 WITH SCORE 106224.507
AT ITER 142 NEW BEST:: SOT 163565 SOS 124487 HAS SOPS 124487 HAS SOUS 106080 HAS SOUPS 106080 WITH SCORE 106204.487
AT ITER 153 NEW BEST:: SOT 163774 SOS 124697 HAS SOPS 124697 HAS SOUS 106001 HAS SOUPS 106001 WITH SCORE 106125.697
AT ITER 159 NEW BEST:: SOT 163816 SOS 124097 HAS SOPS 124097 HAS SOUS 105646 HAS SOUPS 105646 WITH SCORE 105770.097
AT ITER 162 NEW BEST:: SOT 163710 SOS 123723 HAS SOPS 123723 HAS SOUS 105398 HAS SOUPS 105398 WITH SCORE 105521.723
AT ITER 172 NEW BEST:: SOT 163797 SOS 123447 HAS SOPS 123447 HAS SOUS 105302 HAS SOUPS 105302 WITH SCORE 105425.447
AT ITER 174 NEW BEST:: SOT 163662 SOS 123312 HAS SOPS 123312 HAS SOUS 105167 HAS SOUPS 105167 WITH SCORE 105290.312
AT ITER 176 NEW BEST:: SOT 163585 SOS 123235 HAS SOPS 123235 HAS SOUS 105090 HAS SOUPS 105090 WITH SCORE 105213.235
AT ITER 187 NEW BEST:: SOT 163535 SOS 123035 HAS SOPS 123035 HAS SOUS 105039 HAS SOUPS 105039 WITH SCORE 105162.035
AT ITER 204 NEW BEST:: SOT 163535 SOS 122869 HAS SOPS 122869 HAS SOUS 104845 HAS SOUPS 104845 WITH SCORE 104967.869
AT ITER 209 NEW BEST:: SOT 163776 SOS 122768 HAS SOPS 122768 HAS SOUS 104831 HAS SOUPS 104831 WITH SCORE 104953.768
AT ITER 212 NEW BEST:: SOT 163465 SOS 122455 HAS SOPS 122455 HAS SOUS 104518 HAS SOUPS 104518 WITH SCORE 104640.455
AT ITER 213 NEW BEST:: SOT 163356 SOS 122399 HAS SOPS 122399 HAS SOUS 104462 HAS SOUPS 104462 WITH SCORE 104584.399
AT ITER 216 NEW BEST:: SOT 163199 SOS 122241 HAS SOPS 122241 HAS SOUS 104304 HAS SOUPS 104304 WITH SCORE 104426.241
AT ITER 219 NEW BEST:: SOT 163085 SOS 122126 HAS SOPS 122126 HAS SOUS 104188 HAS SOUPS 104188 WITH SCORE 104310.126
AT ITER 222 NEW BEST:: SOT 162882 SOS 121923 HAS SOPS 121923 HAS SOUS 103937 HAS SOUPS 103937 WITH SCORE 104058.923
AT ITER 223 NEW BEST:: SOT 163139 SOS 121522 HAS SOPS 121522 HAS SOUS 103803 HAS SOUPS 103803 WITH SCORE 103924.522
AT ITER 226 NEW BEST:: SOT 163073 SOS 121456 HAS SOPS 121456 HAS SOUS 103737 HAS SOUPS 103737 WITH SCORE 103858.456
AT ITER 227 NEW BEST:: SOT 163138 SOS 121004 HAS SOPS 121004 HAS SOUS 103548 HAS SOUPS 103548 WITH SCORE 103669.004
AT ITER 228 NEW BEST:: SOT 162840 SOS 120706 HAS SOPS 120706 HAS SOUS 103250 HAS SOUPS 103250 WITH SCORE 103370.706
AT ITER 229 NEW BEST:: SOT 162758 SOS 120624 HAS SOPS 120624 HAS SOUS 103168 HAS SOUPS 103168 WITH SCORE 103288.624
AT ITER 231 NEW BEST:: SOT 162670 SOS 120536 HAS SOPS 120536 HAS SOUS 102998 HAS SOUPS 102998 WITH SCORE 103118.536
AT ITER 232 NEW BEST:: SOT 162653 SOS 120505 HAS SOPS 120505 HAS SOUS 102978 HAS SOUPS 102978 WITH SCORE 103098.505
AT ITER 240 NEW BEST:: SOT 162533 SOS 119880 HAS SOPS 119880 HAS SOUS 102628 HAS SOUPS 102628 WITH SCORE 102747.88
AT ITER 260 NEW BEST:: SOT 162462 SOS 119808 HAS SOPS 119808 HAS SOUS 102556 HAS SOUPS 102556 WITH SCORE 102675.808
AT ITER 261 NEW BEST:: SOT 162423 SOS 119793 HAS SOPS 119793 HAS SOUS 102541 HAS SOUPS 102541 WITH SCORE 102660.793
AT ITER 265 NEW BEST:: SOT 162474 SOS 119844 HAS SOPS 119844 HAS SOUS 102412 HAS SOUPS 102412 WITH SCORE 102531.844
AT ITER 267 NEW BEST:: SOT 162368 SOS 119258 HAS SOPS 119258 HAS SOUS 102042 HAS SOUPS 102042 WITH SCORE 102161.258
AT ITER 272 NEW BEST:: SOT 162248 SOS 119205 HAS SOPS 119205 HAS SOUS 101992 HAS SOUPS 101992 WITH SCORE 102111.205
AT ITER 276 NEW BEST:: SOT 162196 SOS 118959 HAS SOPS 118959 HAS SOUS 101746 HAS SOUPS 101746 WITH SCORE 101864.959
AT ITER 281 NEW BEST:: SOT 162123 SOS 118939 HAS SOPS 118939 HAS SOUS 101726 HAS SOUPS 101726 WITH SCORE 101844.939
AT ITER 284 NEW BEST:: SOT 162106 SOS 118922 HAS SOPS 118922 HAS SOUS 101709 HAS SOUPS 101709 WITH SCORE 101827.922
AT ITER 286 NEW BEST:: SOT 162072 SOS 118888 HAS SOPS 118888 HAS SOUS 101708 HAS SOUPS 101708 WITH SCORE 101826.888
AT ITER 291 NEW BEST:: SOT 162008 SOS 118304 HAS SOPS 118304 HAS SOUS 101666 HAS SOUPS 101666 WITH SCORE 101784.304
AT ITER 294 NEW BEST:: SOT 161662 SOS 117955 HAS SOPS 117955 HAS SOUS 101317 HAS SOUPS 101317 WITH SCORE 101434.955
AT ITER 298 NEW BEST:: SOT 161599 SOS 117829 HAS SOPS 117829 HAS SOUS 101191 HAS SOUPS 101191 WITH SCORE 101308.829
AT ITER 303 NEW BEST:: SOT 161599 SOS 117828 HAS SOPS 117828 HAS SOUS 101190 HAS SOUPS 101190 WITH SCORE 101307.828
AT ITER 305 NEW BEST:: SOT 161551 SOS 117780 HAS SOPS 117780 HAS SOUS 101190 HAS SOUPS 101190 WITH SCORE 101307.78
AT ITER 307 NEW BEST:: SOT 161498 SOS 117727 HAS SOPS 117727 HAS SOUS 101137 HAS SOUPS 101137 WITH SCORE 101254.727
AT ITER 308 NEW BEST:: SOT 161831 SOS 117610 HAS SOPS 117610 HAS SOUS 100908 HAS SOUPS 100908 WITH SCORE 101025.61
AT ITER 309 NEW BEST:: SOT 161831 SOS 117414 HAS SOPS 117414 HAS SOUS 100892 HAS SOUPS 100892 WITH SCORE 101009.414
AT ITER 310 NEW BEST:: SOT 161705 SOS 117078 HAS SOPS 117078 HAS SOUS 100859 HAS SOUPS 100859 WITH SCORE 100976.078
AT ITER 315 NEW BEST:: SOT 161693 SOS 117042 HAS SOPS 117042 HAS SOUS 100835 HAS SOUPS 100835 WITH SCORE 100952.042
AT ITER 317 NEW BEST:: SOT 161693 SOS 117040 HAS SOPS 117040 HAS SOUS 100833 HAS SOUPS 100833 WITH SCORE 100950.04
AT ITER 319 NEW BEST:: SOT 161693 SOS 116775 HAS SOPS 116775 HAS SOUS 100717 HAS SOUPS 100717 WITH SCORE 100833.775
AT ITER 323 NEW BEST:: SOT 161644 SOS 116726 HAS SOPS 116726 HAS SOUS 100668 HAS SOUPS 100668 WITH SCORE 100784.726
AT ITER 328 NEW BEST:: SOT 161670 SOS 116632 HAS SOPS 116632 HAS SOUS 100597 HAS SOUPS 100597 WITH SCORE 100713.632
AT ITER 337 NEW BEST:: SOT 161648 SOS 116522 HAS SOPS 116522 HAS SOUS 100531 HAS SOUPS 100531 WITH SCORE 100647.522
AT ITER 364 NEW BEST:: SOT 161622 SOS 116470 HAS SOPS 116470 HAS SOUS 100479 HAS SOUPS 100479 WITH SCORE 100595.47
AT ITER 370 NEW BEST:: SOT 161606 SOS 116454 HAS SOPS 116454 HAS SOUS 100463 HAS SOUPS 100463 WITH SCORE 100579.454
AT ITER 372 NEW BEST:: SOT 161524 SOS 116370 HAS SOPS 116370 HAS SOUS 100428 HAS SOUPS 100428 WITH SCORE 100544.37
AT ITER 374 NEW BEST:: SOT 161493 SOS 116339 HAS SOPS 116339 HAS SOUS 100397 HAS SOUPS 100397 WITH SCORE 100513.339
AT ITER 375 NEW BEST:: SOT 161467 SOS 116503 HAS SOPS 116503 HAS SOUS 100393 HAS SOUPS 100393 WITH SCORE 100509.503
AT ITER 377 NEW BEST:: SOT 161467 SOS 116502 HAS SOPS 116502 HAS SOUS 100392 HAS SOUPS 100392 WITH SCORE 100508.502
AT ITER 382 NEW BEST:: SOT 161467 SOS 116500 HAS SOPS 116500 HAS SOUS 100390 HAS SOUPS 100390 WITH SCORE 100506.5
AT ITER 383 NEW BEST:: SOT 161467 SOS 116273 HAS SOPS 116273 HAS SOUS 99874 HAS SOUPS 99874 WITH SCORE 99990.273
AT ITER 386 NEW BEST:: SOT 161341 SOS 116146 HAS SOPS 116146 HAS SOUS 99747 HAS SOUPS 99747 WITH SCORE 99863.146
AT ITER 391 NEW BEST:: SOT 161259 SOS 116064 HAS SOPS 116064 HAS SOUS 99665 HAS SOUPS 99665 WITH SCORE 99781.064
AT ITER 392 NEW BEST:: SOT 161211 SOS 116016 HAS SOPS 116016 HAS SOUS 99617 HAS SOUPS 99617 WITH SCORE 99733.016
AT ITER 394 NEW BEST:: SOT 161155 SOS 115960 HAS SOPS 115960 HAS SOUS 99561 HAS SOUPS 99561 WITH SCORE 99676.96
AT ITER 399 NEW BEST:: SOT 161151 SOS 115819 HAS SOPS 115819 HAS SOUS 99420 HAS SOUPS 99420 WITH SCORE 99535.819
AT ITER 404 NEW BEST:: SOT 161073 SOS 115591 HAS SOPS 115591 HAS SOUS 99280 HAS SOUPS 99280 WITH SCORE 99395.591
AT ITER 410 NEW BEST:: SOT 161025 SOS 115543 HAS SOPS 115543 HAS SOUS 99232 HAS SOUPS 99232 WITH SCORE 99347.543
AT ITER 413 NEW BEST:: SOT 160894 SOS 115412 HAS SOPS 115412 HAS SOUS 99101 HAS SOUPS 99101 WITH SCORE 99216.412
AT ITER 424 NEW BEST:: SOT 161010 SOS 115025 HAS SOPS 115025 HAS SOUS 98787 HAS SOUPS 98787 WITH SCORE 98902.025
AT ITER 427 NEW BEST:: SOT 161027 SOS 114998 HAS SOPS 114998 HAS SOUS 98760 HAS SOUPS 98760 WITH SCORE 98874.998
AT ITER 436 NEW BEST:: SOT 160927 SOS 114621 HAS SOPS 114621 HAS SOUS 98462 HAS SOUPS 98462 WITH SCORE 98576.621
AT ITER 437 NEW BEST:: SOT 160849 SOS 114543 HAS SOPS 114543 HAS SOUS 98384 HAS SOUPS 98384 WITH SCORE 98498.543
AT ITER 439 NEW BEST:: SOT 160798 SOS 114488 HAS SOPS 114488 HAS SOUS 98215 HAS SOUPS 98215 WITH SCORE 98329.488
AT ITER 442 NEW BEST:: SOT 160609 SOS 114216 HAS SOPS 114216 HAS SOUS 97943 HAS SOUPS 97943 WITH SCORE 98057.216
AT ITER 454 NEW BEST:: SOT 160621 SOS 114207 HAS SOPS 114207 HAS SOUS 97937 HAS SOUPS 97937 WITH SCORE 98051.207
AT ITER 460 NEW BEST:: SOT 160682 SOS 114231 HAS SOPS 114231 HAS SOUS 97924 HAS SOUPS 97924 WITH SCORE 98038.231
AT ITER 466 NEW BEST:: SOT 160478 SOS 114086 HAS SOPS 114086 HAS SOUS 97783 HAS SOUPS 97783 WITH SCORE 97897.086
AT ITER 468 NEW BEST:: SOT 160450 SOS 114030 HAS SOPS 114030 HAS SOUS 97783 HAS SOUPS 97783 WITH SCORE 97897.03
AT ITER 469 NEW BEST:: SOT 160446 SOS 114026 HAS SOPS 114026 HAS SOUS 97779 HAS SOUPS 97779 WITH SCORE 97893.026
AT ITER 473 NEW BEST:: SOT 160080 SOS 113658 HAS SOPS 113658 HAS SOUS 97411 HAS SOUPS 97411 WITH SCORE 97524.658
AT ITER 475 NEW BEST:: SOT 160004 SOS 113582 HAS SOPS 113582 HAS SOUS 97298 HAS SOUPS 97298 WITH SCORE 97411.582
AT ITER 481 NEW BEST:: SOT 159972 SOS 113548 HAS SOPS 113548 HAS SOUS 97275 HAS SOUPS 97275 WITH SCORE 97388.548
AT ITER 483 NEW BEST:: SOT 159964 SOS 113458 HAS SOPS 113458 HAS SOUS 97200 HAS SOUPS 97200 WITH SCORE 97313.458
AT ITER 484 NEW BEST:: SOT 159963 SOS 113371 HAS SOPS 113371 HAS SOUS 97195 HAS SOUPS 97195 WITH SCORE 97308.371
AT ITER 486 NEW BEST:: SOT 159895 SOS 113321 HAS SOPS 113321 HAS SOUS 97145 HAS SOUPS 97145 WITH SCORE 97258.321
AT ITER 498 NEW BEST:: SOT 159813 SOS 113241 HAS SOPS 113241 HAS SOUS 97065 HAS SOUPS 97065 WITH SCORE 97178.241
AT ITER 505 NEW BEST:: SOT 159811 SOS 113133 HAS SOPS 113133 HAS SOUS 96957 HAS SOUPS 96957 WITH SCORE 97070.133
AT ITER 512 NEW BEST:: SOT 159792 SOS 113095 HAS SOPS 113095 HAS SOUS 96919 HAS SOUPS 96919 WITH SCORE 97032.095
AT ITER 516 NEW BEST:: SOT 159771 SOS 113072 HAS SOPS 113072 HAS SOUS 96896 HAS SOUPS 96896 WITH SCORE 97009.072
AT ITER 522 NEW BEST:: SOT 159495 SOS 112796 HAS SOPS 112796 HAS SOUS 96620 HAS SOUPS 96620 WITH SCORE 96732.796
AT ITER 531 NEW BEST:: SOT 159444 SOS 112637 HAS SOPS 112637 HAS SOUS 96531 HAS SOUPS 96531 WITH SCORE 96643.637
AT ITER 538 NEW BEST:: SOT 159430 SOS 112620 HAS SOPS 112620 HAS SOUS 96510 HAS SOUPS 96510 WITH SCORE 96622.62
AT ITER 542 NEW BEST:: SOT 159428 SOS 112616 HAS SOPS 112616 HAS SOUS 96506 HAS SOUPS 96506 WITH SCORE 96618.616
AT ITER 549 NEW BEST:: SOT 159429 SOS 112621 HAS SOPS 112621 HAS SOUS 96505 HAS SOUPS 96505 WITH SCORE 96617.621
AT ITER 559 NEW BEST:: SOT 159332 SOS 111910 HAS SOPS 111910 HAS SOUS 96416 HAS SOUPS 96416 WITH SCORE 96527.91
AT ITER 561 NEW BEST:: SOT 159332 SOS 111615 HAS SOPS 111615 HAS SOUS 96391 HAS SOUPS 96391 WITH SCORE 96502.615
AT ITER 573 NEW BEST:: SOT 159332 SOS 111615 HAS SOPS 111615 HAS SOUS 96351 HAS SOUPS 96351 WITH SCORE 96462.615
AT ITER 576 NEW BEST:: SOT 159317 SOS 111600 HAS SOPS 111600 HAS SOUS 96336 HAS SOUPS 96336 WITH SCORE 96447.6
AT ITER 577 NEW BEST:: SOT 159261 SOS 111447 HAS SOPS 111447 HAS SOUS 96183 HAS SOUPS 96183 WITH SCORE 96294.447
AT ITER 578 NEW BEST:: SOT 159385 SOS 111208 HAS SOPS 111208 HAS SOUS 95975 HAS SOUPS 95975 WITH SCORE 96086.208
AT ITER 580 NEW BEST:: SOT 159271 SOS 111094 HAS SOPS 111094 HAS SOUS 95861 HAS SOUPS 95861 WITH SCORE 95972.094
AT ITER 581 NEW BEST:: SOT 159308 SOS 111164 HAS SOPS 111164 HAS SOUS 95836 HAS SOUPS 95836 WITH SCORE 95947.164
AT ITER 586 NEW BEST:: SOT 159308 SOS 111058 HAS SOPS 111058 HAS SOUS 95730 HAS SOUPS 95730 WITH SCORE 95841.058
AT ITER 589 NEW BEST:: SOT 159246 SOS 110996 HAS SOPS 110996 HAS SOUS 95668 HAS SOUPS 95668 WITH SCORE 95778.996
AT ITER 591 NEW BEST:: SOT 159235 SOS 110974 HAS SOPS 110974 HAS SOUS 95645 HAS SOUPS 95645 WITH SCORE 95755.974
AT ITER 592 NEW BEST:: SOT 159207 SOS 110946 HAS SOPS 110946 HAS SOUS 95617 HAS SOUPS 95617 WITH SCORE 95727.946
AT ITER 594 NEW BEST:: SOT 159181 SOS 110756 HAS SOPS 110756 HAS SOUS 95595 HAS SOUPS 95595 WITH SCORE 95705.756
AT ITER 597 NEW BEST:: SOT 159046 SOS 110621 HAS SOPS 110621 HAS SOUS 95460 HAS SOUPS 95460 WITH SCORE 95570.621
AT ITER 598 NEW BEST:: SOT 158877 SOS 110450 HAS SOPS 110450 HAS SOUS 95289 HAS SOUPS 95289 WITH SCORE 95399.45
AT ITER 599 NEW BEST:: SOT 158788 SOS 110292 HAS SOPS 110292 HAS SOUS 95131 HAS SOUPS 95131 WITH SCORE 95241.292
AT ITER 601 NEW BEST:: SOT 158603 SOS 109952 HAS SOPS 109952 HAS SOUS 94791 HAS SOUPS 94791 WITH SCORE 94900.952
AT ITER 606 NEW BEST:: SOT 158593 SOS 109942 HAS SOPS 109942 HAS SOUS 94781 HAS SOUPS 94781 WITH SCORE 94890.942
AT ITER 607 NEW BEST:: SOT 158571 SOS 109920 HAS SOPS 109920 HAS SOUS 94759 HAS SOUPS 94759 WITH SCORE 94868.92
AT ITER 615 NEW BEST:: SOT 158481 SOS 109830 HAS SOPS 109830 HAS SOUS 94669 HAS SOUPS 94669 WITH SCORE 94778.83
AT ITER 617 NEW BEST:: SOT 158373 SOS 109669 HAS SOPS 109669 HAS SOUS 94508 HAS SOUPS 94508 WITH SCORE 94617.669
AT ITER 619 NEW BEST:: SOT 158150 SOS 109583 HAS SOPS 109583 HAS SOUS 94422 HAS SOUPS 94422 WITH SCORE 94531.583
AT ITER 621 NEW BEST:: SOT 158134 SOS 109360 HAS SOPS 109360 HAS SOUS 93894 HAS SOUPS 93894 WITH SCORE 94003.36
AT ITER 628 NEW BEST:: SOT 158321 SOS 109544 HAS SOPS 109544 HAS SOUS 93857 HAS SOUPS 93857 WITH SCORE 93966.544
AT ITER 636 NEW BEST:: SOT 157911 SOS 108543 HAS SOPS 108543 HAS SOUS 92315 HAS SOUPS 92315 WITH SCORE 92423.543
AT ITER 637 NEW BEST:: SOT 157867 SOS 108499 HAS SOPS 108499 HAS SOUS 92271 HAS SOUPS 92271 WITH SCORE 92379.499
AT ITER 639 NEW BEST:: SOT 157867 SOS 108499 HAS SOPS 108499 HAS SOUS 92241 HAS SOUPS 92241 WITH SCORE 92349.499
AT ITER 640 NEW BEST:: SOT 157801 SOS 108433 HAS SOPS 108433 HAS SOUS 92175 HAS SOUPS 92175 WITH SCORE 92283.433
AT ITER 641 NEW BEST:: SOT 157801 SOS 108433 HAS SOPS 108433 HAS SOUS 92174 HAS SOUPS 92174 WITH SCORE 92282.433
AT ITER 649 NEW BEST:: SOT 157731 SOS 108361 HAS SOPS 108361 HAS SOUS 92102 HAS SOUPS 92102 WITH SCORE 92210.361
AT ITER 653 NEW BEST:: SOT 157542 SOS 107945 HAS SOPS 107945 HAS SOUS 91686 HAS SOUPS 91686 WITH SCORE 91793.945
AT ITER 659 NEW BEST:: SOT 157400 SOS 107784 HAS SOPS 107784 HAS SOUS 91525 HAS SOUPS 91525 WITH SCORE 91632.784
AT ITER 664 NEW BEST:: SOT 157391 SOS 107649 HAS SOPS 107649 HAS SOUS 91390 HAS SOUPS 91390 WITH SCORE 91497.649
AT ITER 669 NEW BEST:: SOT 157346 SOS 107369 HAS SOPS 107369 HAS SOUS 91357 HAS SOUPS 91357 WITH SCORE 91464.369
AT ITER 679 NEW BEST:: SOT 157346 SOS 107373 HAS SOPS 107373 HAS SOUS 91309 HAS SOUPS 91309 WITH SCORE 91416.373
AT ITER 683 NEW BEST:: SOT 157273 SOS 107459 HAS SOPS 107459 HAS SOUS 91207 HAS SOUPS 91207 WITH SCORE 91314.459
AT ITER 686 NEW BEST:: SOT 157076 SOS 107216 HAS SOPS 107216 HAS SOUS 90964 HAS SOUPS 90964 WITH SCORE 91071.216
AT ITER 687 NEW BEST:: SOT 157019 SOS 107156 HAS SOPS 107156 HAS SOUS 90903 HAS SOUPS 90903 WITH SCORE 91010.156
AT ITER 697 NEW BEST:: SOT 157218 SOS 107227 HAS SOPS 107227 HAS SOUS 90734 HAS SOUPS 90734 WITH SCORE 90841.227
AT ITER 698 NEW BEST:: SOT 157180 SOS 107073 HAS SOPS 107073 HAS SOUS 90607 HAS SOUPS 90607 WITH SCORE 90714.073
AT ITER 704 NEW BEST:: SOT 157174 SOS 107062 HAS SOPS 107062 HAS SOUS 90596 HAS SOUPS 90596 WITH SCORE 90703.062
AT ITER 705 NEW BEST:: SOT 157046 SOS 106934 HAS SOPS 106934 HAS SOUS 90388 HAS SOUPS 90388 WITH SCORE 90494.934
AT ITER 718 NEW BEST:: SOT 157027 SOS 106915 HAS SOPS 106915 HAS SOUS 90369 HAS SOUPS 90369 WITH SCORE 90475.915
AT ITER 723 NEW BEST:: SOT 156972 SOS 106734 HAS SOPS 106734 HAS SOUS 90254 HAS SOUPS 90254 WITH SCORE 90360.734
AT ITER 727 NEW BEST:: SOT 156959 SOS 106721 HAS SOPS 106721 HAS SOUS 90241 HAS SOUPS 90241 WITH SCORE 90347.721
AT ITER 729 NEW BEST:: SOT 156903 SOS 106663 HAS SOPS 106663 HAS SOUS 90183 HAS SOUPS 90183 WITH SCORE 90289.663
AT ITER 730 NEW BEST:: SOT 156842 SOS 106602 HAS SOPS 106602 HAS SOUS 90047 HAS SOUPS 90047 WITH SCORE 90153.602
AT ITER 735 NEW BEST:: SOT 156737 SOS 106493 HAS SOPS 106493 HAS SOUS 89940 HAS SOUPS 89940 WITH SCORE 90046.493
AT ITER 737 NEW BEST:: SOT 156383 SOS 105608 HAS SOPS 105608 HAS SOUS 89139 HAS SOUPS 89139 WITH SCORE 89244.608
AT ITER 739 NEW BEST:: SOT 156401 SOS 105329 HAS SOPS 105329 HAS SOUS 88917 HAS SOUPS 88917 WITH SCORE 89022.329
AT ITER 743 NEW BEST:: SOT 156377 SOS 105305 HAS SOPS 105305 HAS SOUS 88893 HAS SOUPS 88893 WITH SCORE 88998.305
AT ITER 748 NEW BEST:: SOT 155917 SOS 104797 HAS SOPS 104797 HAS SOUS 88409 HAS SOUPS 88409 WITH SCORE 88513.797
AT ITER 750 NEW BEST:: SOT 155908 SOS 104717 HAS SOPS 104717 HAS SOUS 88340 HAS SOUPS 88340 WITH SCORE 88444.717
AT ITER 754 NEW BEST:: SOT 155890 SOS 104699 HAS SOPS 104699 HAS SOUS 88322 HAS SOUPS 88322 WITH SCORE 88426.699
AT ITER 759 NEW BEST:: SOT 155855 SOS 104612 HAS SOPS 104612 HAS SOUS 88235 HAS SOUPS 88235 WITH SCORE 88339.612
AT ITER 761 NEW BEST:: SOT 155838 SOS 104595 HAS SOPS 104595 HAS SOUS 88218 HAS SOUPS 88218 WITH SCORE 88322.595
AT ITER 762 NEW BEST:: SOT 155836 SOS 104593 HAS SOPS 104593 HAS SOUS 88216 HAS SOUPS 88216 WITH SCORE 88320.593
AT ITER 772 NEW BEST:: SOT 155836 SOS 104567 HAS SOPS 104567 HAS SOUS 88216 HAS SOUPS 88216 WITH SCORE 88320.567
AT ITER 773 NEW BEST:: SOT 155673 SOS 104284 HAS SOPS 104284 HAS SOUS 87847 HAS SOUPS 87847 WITH SCORE 87951.284
AT ITER 777 NEW BEST:: SOT 155679 SOS 104217 HAS SOPS 104217 HAS SOUS 87808 HAS SOUPS 87808 WITH SCORE 87912.217
AT ITER 779 NEW BEST:: SOT 155611 SOS 103963 HAS SOPS 103963 HAS SOUS 87791 HAS SOUPS 87791 WITH SCORE 87894.963
AT ITER 792 NEW BEST:: SOT 155581 SOS 103933 HAS SOPS 103933 HAS SOUS 87761 HAS SOUPS 87761 WITH SCORE 87864.933
AT ITER 802 NEW BEST:: SOT 155515 SOS 103441 HAS SOPS 103441 HAS SOUS 87761 HAS SOUPS 87761 WITH SCORE 87864.441
AT ITER 807 NEW BEST:: SOT 155371 SOS 103297 HAS SOPS 103297 HAS SOUS 87617 HAS SOUPS 87617 WITH SCORE 87720.297
AT ITER 809 NEW BEST:: SOT 155330 SOS 103255 HAS SOPS 103255 HAS SOUS 87451 HAS SOUPS 87451 WITH SCORE 87554.255
AT ITER 811 NEW BEST:: SOT 155128 SOS 101929 HAS SOPS 101929 HAS SOUS 86437 HAS SOUPS 86437 WITH SCORE 86538.929
AT ITER 813 NEW BEST:: SOT 155126 SOS 101927 HAS SOPS 101927 HAS SOUS 86343 HAS SOUPS 86343 WITH SCORE 86444.927
AT ITER 824 NEW BEST:: SOT 155105 SOS 101896 HAS SOPS 101896 HAS SOUS 86342 HAS SOUPS 86342 WITH SCORE 86443.896
AT ITER 851 NEW BEST:: SOT 155074 SOS 101892 HAS SOPS 101892 HAS SOUS 86327 HAS SOUPS 86327 WITH SCORE 86428.892
AT ITER 852 NEW BEST:: SOT 155141 SOS 101835 HAS SOPS 101835 HAS SOUS 86238 HAS SOUPS 86238 WITH SCORE 86339.835
AT ITER 865 NEW BEST:: SOT 155141 SOS 101834 HAS SOPS 101834 HAS SOUS 86237 HAS SOUPS 86237 WITH SCORE 86338.834
AT ITER 866 NEW BEST:: SOT 155058 SOS 101751 HAS SOPS 101751 HAS SOUS 86154 HAS SOUPS 86154 WITH SCORE 86255.751
AT ITER 869 NEW BEST:: SOT 155205 SOS 102077 HAS SOPS 102077 HAS SOUS 86148 HAS SOUPS 86148 WITH SCORE 86250.077
AT ITER 879 NEW BEST:: SOT 155136 SOS 102008 HAS SOPS 102008 HAS SOUS 86079 HAS SOUPS 86079 WITH SCORE 86181.008
AT ITER 883 NEW BEST:: SOT 155232 SOS 102154 HAS SOPS 102154 HAS SOUS 86009 HAS SOUPS 86009 WITH SCORE 86111.154
AT ITER 884 NEW BEST:: SOT 155194 SOS 102099 HAS SOPS 102099 HAS SOUS 85932 HAS SOUPS 85932 WITH SCORE 86034.099
AT ITER 888 NEW BEST:: SOT 155202 SOS 102145 HAS SOPS 102145 HAS SOUS 85931 HAS SOUPS 85931 WITH SCORE 86033.145
AT ITER 898 NEW BEST:: SOT 155202 SOS 102074 HAS SOPS 102074 HAS SOUS 85838 HAS SOUPS 85838 WITH SCORE 85940.074
AT ITER 900 NEW BEST:: SOT 155076 SOS 101896 HAS SOPS 101896 HAS SOUS 85660 HAS SOUPS 85660 WITH SCORE 85761.896
AT ITER 902 NEW BEST:: SOT 155095 SOS 101915 HAS SOPS 101915 HAS SOUS 85602 HAS SOUPS 85602 WITH SCORE 85703.915
AT ITER 906 NEW BEST:: SOT 155061 SOS 101879 HAS SOPS 101879 HAS SOUS 85567 HAS SOUPS 85567 WITH SCORE 85668.879
AT ITER 909 NEW BEST:: SOT 154895 SOS 101566 HAS SOPS 101566 HAS SOUS 85254 HAS SOUPS 85254 WITH SCORE 85355.566
AT ITER 921 NEW BEST:: SOT 155042 SOS 101592 HAS SOPS 101592 HAS SOUS 85120 HAS SOUPS 85120 WITH SCORE 85221.592
AT ITER 924 NEW BEST:: SOT 155030 SOS 101386 HAS SOPS 101386 HAS SOUS 85006 HAS SOUPS 85006 WITH SCORE 85107.386
AT ITER 926 NEW BEST:: SOT 154977 SOS 101333 HAS SOPS 101333 HAS SOUS 84953 HAS SOUPS 84953 WITH SCORE 85054.333
AT ITER 941 NEW BEST:: SOT 154909 SOS 101265 HAS SOPS 101265 HAS SOUS 84885 HAS SOUPS 84885 WITH SCORE 84986.265
AT ITER 946 NEW BEST:: SOT 154909 SOS 101175 HAS SOPS 101175 HAS SOUS 84686 HAS SOUPS 84686 WITH SCORE 84787.175
AT ITER 947 NEW BEST:: SOT 155038 SOS 101317 HAS SOPS 101317 HAS SOUS 84567 HAS SOUPS 84567 WITH SCORE 84668.317
AT ITER 954 NEW BEST:: SOT 155139 SOS 101630 HAS SOPS 101630 HAS SOUS 84538 HAS SOUPS 84538 WITH SCORE 84639.63
AT ITER 958 NEW BEST:: SOT 155139 SOS 101589 HAS SOPS 101589 HAS SOUS 84522 HAS SOUPS 84522 WITH SCORE 84623.589
AT ITER 967 NEW BEST:: SOT 155030 SOS 101348 HAS SOPS 101348 HAS SOUS 84325 HAS SOUPS 84325 WITH SCORE 84426.348
AT ITER 968 NEW BEST:: SOT 155109 SOS 101258 HAS SOPS 101258 HAS SOUS 84176 HAS SOUPS 84176 WITH SCORE 84277.258
AT ITER 973 NEW BEST:: SOT 155100 SOS 101236 HAS SOPS 101236 HAS SOUS 84169 HAS SOUPS 84169 WITH SCORE 84270.236
AT ITER 979 NEW BEST:: SOT 155053 SOS 101160 HAS SOPS 101160 HAS SOUS 84093 HAS SOUPS 84093 WITH SCORE 84194.16
AT ITER 985 NEW BEST:: SOT 155053 SOS 100964 HAS SOPS 100964 HAS SOUS 83935 HAS SOUPS 83935 WITH SCORE 84035.964
AT ITER 989 NEW BEST:: SOT 154984 SOS 100895 HAS SOPS 100895 HAS SOUS 83866 HAS SOUPS 83866 WITH SCORE 83966.895
AT ITER 992 NEW BEST:: SOT 154907 SOS 100826 HAS SOPS 100826 HAS SOUS 83821 HAS SOUPS 83821 WITH SCORE 83921.826
AT ITER 1000 NEW BEST:: SOT 154887 SOS 100772 HAS SOPS 100772 HAS SOUS 83767 HAS SOUPS 83767 WITH SCORE 83867.772
AT ITER 1005 NEW BEST:: SOT 154887 SOS 100718 HAS SOPS 100718 HAS SOUS 83713 HAS SOUPS 83713 WITH SCORE 83813.718
AT ITER 1012 NEW BEST:: SOT 154899 SOS 100263 HAS SOPS 100263 HAS SOUS 83624 HAS SOUPS 83624 WITH SCORE 83724.263
AT ITER 1020 NEW BEST:: SOT 154306 SOS 99541 HAS SOPS 99541 HAS SOUS 82899 HAS SOUPS 82899 WITH SCORE 82998.541
AT ITER 1022 NEW BEST:: SOT 154254 SOS 99489 HAS SOPS 99489 HAS SOUS 82847 HAS SOUPS 82847 WITH SCORE 82946.489
AT ITER 1025 NEW BEST:: SOT 154243 SOS 99203 HAS SOPS 99203 HAS SOUS 82825 HAS SOUPS 82825 WITH SCORE 82924.203
AT ITER 1026 NEW BEST:: SOT 154243 SOS 98839 HAS SOPS 98839 HAS SOUS 82761 HAS SOUPS 82761 WITH SCORE 82859.839
AT ITER 1032 NEW BEST:: SOT 154194 SOS 98318 HAS SOPS 98318 HAS SOUS 82216 HAS SOUPS 82216 WITH SCORE 82314.318
AT ITER 1034 NEW BEST:: SOT 154059 SOS 97959 HAS SOPS 97959 HAS SOUS 81969 HAS SOUPS 81969 WITH SCORE 82066.959
AT ITER 1044 NEW BEST:: SOT 153974 SOS 97874 HAS SOPS 97874 HAS SOUS 81884 HAS SOUPS 81884 WITH SCORE 81981.874
AT ITER 1045 NEW BEST:: SOT 153419 SOS 97294 HAS SOPS 97294 HAS SOUS 81514 HAS SOUPS 81514 WITH SCORE 81611.294
AT ITER 1052 NEW BEST:: SOT 153306 SOS 97181 HAS SOPS 97181 HAS SOUS 81401 HAS SOUPS 81401 WITH SCORE 81498.181
AT ITER 1055 NEW BEST:: SOT 153259 SOS 97134 HAS SOPS 97134 HAS SOUS 81354 HAS SOUPS 81354 WITH SCORE 81451.134
AT ITER 1056 NEW BEST:: SOT 153166 SOS 97041 HAS SOPS 97041 HAS SOUS 81261 HAS SOUPS 81261 WITH SCORE 81358.041
AT ITER 1057 NEW BEST:: SOT 153291 SOS 97147 HAS SOPS 97147 HAS SOUS 81102 HAS SOUPS 81102 WITH SCORE 81199.147
AT ITER 1059 NEW BEST:: SOT 153251 SOS 97054 HAS SOPS 97054 HAS SOUS 81009 HAS SOUPS 81009 WITH SCORE 81106.054
AT ITER 1062 NEW BEST:: SOT 153353 SOS 96901 HAS SOPS 96901 HAS SOUS 80942 HAS SOUPS 80942 WITH SCORE 81038.901
AT ITER 1064 NEW BEST:: SOT 153352 SOS 96900 HAS SOPS 96900 HAS SOUS 80941 HAS SOUPS 80941 WITH SCORE 81037.9
AT ITER 1067 NEW BEST:: SOT 153325 SOS 96898 HAS SOPS 96898 HAS SOUS 80939 HAS SOUPS 80939 WITH SCORE 81035.898
AT ITER 1069 NEW BEST:: SOT 153201 SOS 96656 HAS SOPS 96656 HAS SOUS 80581 HAS SOUPS 80581 WITH SCORE 80677.656
AT ITER 1072 NEW BEST:: SOT 153166 SOS 96542 HAS SOPS 96542 HAS SOUS 80571 HAS SOUPS 80571 WITH SCORE 80667.542
AT ITER 1075 NEW BEST:: SOT 152894 SOS 96303 HAS SOPS 96303 HAS SOUS 80504 HAS SOUPS 80504 WITH SCORE 80600.303
AT ITER 1083 NEW BEST:: SOT 152833 SOS 96242 HAS SOPS 96242 HAS SOUS 80443 HAS SOUPS 80443 WITH SCORE 80539.242
AT ITER 1087 NEW BEST:: SOT 152789 SOS 96321 HAS SOPS 96321 HAS SOUS 80417 HAS SOUPS 80417 WITH SCORE 80513.321
AT ITER 1101 NEW BEST:: SOT 152771 SOS 96303 HAS SOPS 96303 HAS SOUS 80399 HAS SOUPS 80399 WITH SCORE 80495.303
AT ITER 1102 NEW BEST:: SOT 152687 SOS 95939 HAS SOPS 95939 HAS SOUS 80299 HAS SOUPS 80299 WITH SCORE 80394.939
AT ITER 1115 NEW BEST:: SOT 152687 SOS 95980 HAS SOPS 95980 HAS SOUS 80286 HAS SOUPS 80286 WITH SCORE 80381.98
AT ITER 1122 NEW BEST:: SOT 152635 SOS 95928 HAS SOPS 95928 HAS SOUS 80234 HAS SOUPS 80234 WITH SCORE 80329.928
AT ITER 1131 NEW BEST:: SOT 152634 SOS 95840 HAS SOPS 95840 HAS SOUS 80232 HAS SOUPS 80232 WITH SCORE 80327.84
AT ITER 1133 NEW BEST:: SOT 152648 SOS 95854 HAS SOPS 95854 HAS SOUS 80218 HAS SOUPS 80218 WITH SCORE 80313.854
AT ITER 1136 NEW BEST:: SOT 152642 SOS 95842 HAS SOPS 95842 HAS SOUS 80203 HAS SOUPS 80203 WITH SCORE 80298.842
AT ITER 1138 NEW BEST:: SOT 152638 SOS 95836 HAS SOPS 95836 HAS SOUS 80197 HAS SOUPS 80197 WITH SCORE 80292.836
AT ITER 1144 NEW BEST:: SOT 152705 SOS 95787 HAS SOPS 95787 HAS SOUS 80034 HAS SOUPS 80034 WITH SCORE 80129.787
AT ITER 1149 NEW BEST:: SOT 152693 SOS 95582 HAS SOPS 95582 HAS SOUS 79915 HAS SOUPS 79915 WITH SCORE 80010.582
AT ITER 1152 NEW BEST:: SOT 152661 SOS 94912 HAS SOPS 94912 HAS SOUS 79402 HAS SOUPS 79402 WITH SCORE 79496.912
AT ITER 1154 NEW BEST:: SOT 152631 SOS 94831 HAS SOPS 94831 HAS SOUS 79378 HAS SOUPS 79378 WITH SCORE 79472.831
AT ITER 1156 NEW BEST:: SOT 152631 SOS 94868 HAS SOPS 94868 HAS SOUS 79354 HAS SOUPS 79354 WITH SCORE 79448.868
AT ITER 1169 NEW BEST:: SOT 152386 SOS 94623 HAS SOPS 94623 HAS SOUS 79109 HAS SOUPS 79109 WITH SCORE 79203.623
AT ITER 1172 NEW BEST:: SOT 152384 SOS 94619 HAS SOPS 94619 HAS SOUS 79104 HAS SOUPS 79104 WITH SCORE 79198.619
AT ITER 1177 NEW BEST:: SOT 152288 SOS 94608 HAS SOPS 94608 HAS SOUS 79093 HAS SOUPS 79093 WITH SCORE 79187.608
AT ITER 1192 NEW BEST:: SOT 152218 SOS 94433 HAS SOPS 94433 HAS SOUS 78988 HAS SOUPS 78988 WITH SCORE 79082.433
AT ITER 1198 NEW BEST:: SOT 152216 SOS 94431 HAS SOPS 94431 HAS SOUS 78986 HAS SOUPS 78986 WITH SCORE 79080.431
AT ITER 1200 NEW BEST:: SOT 152018 SOS 93839 HAS SOPS 93839 HAS SOUS 78841 HAS SOUPS 78841 WITH SCORE 78934.839
AT ITER 1201 NEW BEST:: SOT 152006 SOS 93815 HAS SOPS 93815 HAS SOUS 78829 HAS SOUPS 78829 WITH SCORE 78922.815
AT ITER 1203 NEW BEST:: SOT 151969 SOS 93642 HAS SOPS 93642 HAS SOUS 78827 HAS SOUPS 78827 WITH SCORE 78920.642
AT ITER 1207 NEW BEST:: SOT 151909 SOS 93492 HAS SOPS 93492 HAS SOUS 78707 HAS SOUPS 78707 WITH SCORE 78800.492
AT ITER 1208 NEW BEST:: SOT 151932 SOS 93485 HAS SOPS 93485 HAS SOUS 78698 HAS SOUPS 78698 WITH SCORE 78791.485
AT ITER 1215 NEW BEST:: SOT 151946 SOS 93458 HAS SOPS 93458 HAS SOUS 78611 HAS SOUPS 78611 WITH SCORE 78704.458
AT ITER 1217 NEW BEST:: SOT 151840 SOS 93343 HAS SOPS 93343 HAS SOUS 78524 HAS SOUPS 78524 WITH SCORE 78617.343
AT ITER 1219 NEW BEST:: SOT 151935 SOS 93304 HAS SOPS 93304 HAS SOUS 78455 HAS SOUPS 78455 WITH SCORE 78548.304
AT ITER 1222 NEW BEST:: SOT 151520 SOS 92327 HAS SOPS 92327 HAS SOUS 77635 HAS SOUPS 77635 WITH SCORE 77727.327
AT ITER 1223 NEW BEST:: SOT 151521 SOS 92327 HAS SOPS 92327 HAS SOUS 77634 HAS SOUPS 77634 WITH SCORE 77726.327
AT ITER 1226 NEW BEST:: SOT 151431 SOS 92211 HAS SOPS 92211 HAS SOUS 77521 HAS SOUPS 77521 WITH SCORE 77613.211
AT ITER 1233 NEW BEST:: SOT 151280 SOS 92051 HAS SOPS 92051 HAS SOUS 77361 HAS SOUPS 77361 WITH SCORE 77453.051
AT ITER 1252 NEW BEST:: SOT 151277 SOS 91946 HAS SOPS 91946 HAS SOUS 77256 HAS SOUPS 77256 WITH SCORE 77347.946
AT ITER 1265 NEW BEST:: SOT 151189 SOS 91856 HAS SOPS 91856 HAS SOUS 76620 HAS SOUPS 76620 WITH SCORE 76711.856
AT ITER 1269 NEW BEST:: SOT 151232 SOS 91852 HAS SOPS 91852 HAS SOUS 76617 HAS SOUPS 76617 WITH SCORE 76708.852
AT ITER 1274 NEW BEST:: SOT 151232 SOS 92025 HAS SOPS 92025 HAS SOUS 76332 HAS SOUPS 76332 WITH SCORE 76424.025
AT ITER 1277 NEW BEST:: SOT 151256 SOS 91375 HAS SOPS 91375 HAS SOUS 75785 HAS SOUPS 75785 WITH SCORE 75876.375
AT ITER 1286 NEW BEST:: SOT 151185 SOS 91203 HAS SOPS 91203 HAS SOUS 75692 HAS SOUPS 75692 WITH SCORE 75783.203
AT ITER 1287 NEW BEST:: SOT 151179 SOS 91197 HAS SOPS 91197 HAS SOUS 75686 HAS SOUPS 75686 WITH SCORE 75777.197
AT ITER 1288 NEW BEST:: SOT 151179 SOS 91192 HAS SOPS 91192 HAS SOUS 75648 HAS SOUPS 75648 WITH SCORE 75739.192
AT ITER 1292 NEW BEST:: SOT 151176 SOS 91192 HAS SOPS 91192 HAS SOUS 75645 HAS SOUPS 75645 WITH SCORE 75736.192
AT ITER 1298 NEW BEST:: SOT 151146 SOS 91118 HAS SOPS 91118 HAS SOUS 75485 HAS SOUPS 75485 WITH SCORE 75576.118
AT ITER 1300 NEW BEST:: SOT 151092 SOS 91000 HAS SOPS 91000 HAS SOUS 75427 HAS SOUPS 75427 WITH SCORE 75518.0
AT ITER 1302 NEW BEST:: SOT 151409 SOS 90779 HAS SOPS 90779 HAS SOUS 75228 HAS SOUPS 75228 WITH SCORE 75318.779
AT ITER 1306 NEW BEST:: SOT 151316 SOS 90633 HAS SOPS 90633 HAS SOUS 75121 HAS SOUPS 75121 WITH SCORE 75211.633
AT ITER 1312 NEW BEST:: SOT 151314 SOS 90631 HAS SOPS 90631 HAS SOUS 75119 HAS SOUPS 75119 WITH SCORE 75209.631
AT ITER 1335 NEW BEST:: SOT 151314 SOS 90354 HAS SOPS 90354 HAS SOUS 74911 HAS SOUPS 74911 WITH SCORE 75001.354
AT ITER 1336 NEW BEST:: SOT 151103 SOS 89819 HAS SOPS 89819 HAS SOUS 74440 HAS SOUPS 74440 WITH SCORE 74529.819
AT ITER 1337 NEW BEST:: SOT 151140 SOS 89635 HAS SOPS 89635 HAS SOUS 74186 HAS SOUPS 74186 WITH SCORE 74275.635
AT ITER 1344 NEW BEST:: SOT 151096 SOS 89553 HAS SOPS 89553 HAS SOUS 74033 HAS SOUPS 74033 WITH SCORE 74122.553
AT ITER 1348 NEW BEST:: SOT 151087 SOS 89535 HAS SOPS 89535 HAS SOUS 73802 HAS SOUPS 73802 WITH SCORE 73891.535
AT ITER 1353 NEW BEST:: SOT 151062 SOS 89485 HAS SOPS 89485 HAS SOUS 73677 HAS SOUPS 73677 WITH SCORE 73766.485
AT ITER 1355 NEW BEST:: SOT 150984 SOS 89451 HAS SOPS 89451 HAS SOUS 73643 HAS SOUPS 73643 WITH SCORE 73732.451
AT ITER 1365 NEW BEST:: SOT 150905 SOS 89372 HAS SOPS 89372 HAS SOUS 73564 HAS SOUPS 73564 WITH SCORE 73653.372
AT ITER 1376 NEW BEST:: SOT 150673 SOS 89225 HAS SOPS 89225 HAS SOUS 73471 HAS SOUPS 73471 WITH SCORE 73560.225
AT ITER 1381 NEW BEST:: SOT 150629 SOS 89207 HAS SOPS 89207 HAS SOUS 73453 HAS SOUPS 73453 WITH SCORE 73542.207
AT ITER 1382 NEW BEST:: SOT 150590 SOS 89167 HAS SOPS 89167 HAS SOUS 73413 HAS SOUPS 73413 WITH SCORE 73502.167
AT ITER 1386 NEW BEST:: SOT 150701 SOS 89280 HAS SOPS 89280 HAS SOUS 73330 HAS SOUPS 73330 WITH SCORE 73419.28
AT ITER 1397 NEW BEST:: SOT 150371 SOS 88950 HAS SOPS 88950 HAS SOUS 73000 HAS SOUPS 73000 WITH SCORE 73088.95
AT ITER 1399 NEW BEST:: SOT 150105 SOS 88741 HAS SOPS 88741 HAS SOUS 72814 HAS SOUPS 72814 WITH SCORE 72902.741
AT ITER 1403 NEW BEST:: SOT 150092 SOS 88728 HAS SOPS 88728 HAS SOUS 72758 HAS SOUPS 72758 WITH SCORE 72846.728
AT ITER 1409 NEW BEST:: SOT 150086 SOS 88712 HAS SOPS 88712 HAS SOUS 72750 HAS SOUPS 72750 WITH SCORE 72838.712
AT ITER 1413 NEW BEST:: SOT 150082 SOS 88708 HAS SOPS 88708 HAS SOUS 72704 HAS SOUPS 72704 WITH SCORE 72792.708
AT ITER 1414 NEW BEST:: SOT 150076 SOS 88702 HAS SOPS 88702 HAS SOUS 72698 HAS SOUPS 72698 WITH SCORE 72786.702
AT ITER 1424 NEW BEST:: SOT 149850 SOS 88476 HAS SOPS 88476 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72560.476
AT ITER 1429 NEW BEST:: SOT 149782 SOS 88408 HAS SOPS 88408 HAS SOUS 72404 HAS SOUPS 72404 WITH SCORE 72492.408
AT ITER 1430 NEW BEST:: SOT 149764 SOS 88399 HAS SOPS 88399 HAS SOUS 72395 HAS SOUPS 72395 WITH SCORE 72483.399
AT ITER 1433 NEW BEST:: SOT 149732 SOS 88367 HAS SOPS 88367 HAS SOUS 72363 HAS SOUPS 72363 WITH SCORE 72451.367
AT ITER 1441 NEW BEST:: SOT 149732 SOS 88305 HAS SOPS 88305 HAS SOUS 72301 HAS SOUPS 72301 WITH SCORE 72389.305
AT ITER 1461 NEW BEST:: SOT 149732 SOS 88305 HAS SOPS 88305 HAS SOUS 72295 HAS SOUPS 72295 WITH SCORE 72383.305
AT ITER 1464 NEW BEST:: SOT 149686 SOS 88029 HAS SOPS 88029 HAS SOUS 72205 HAS SOUPS 72205 WITH SCORE 72293.029
AT ITER 1466 NEW BEST:: SOT 149312 SOS 87594 HAS SOPS 87594 HAS SOUS 71770 HAS SOUPS 71770 WITH SCORE 71857.594
AT ITER 1467 NEW BEST:: SOT 149273 SOS 87478 HAS SOPS 87478 HAS SOUS 71751 HAS SOUPS 71751 WITH SCORE 71838.478
AT ITER 1479 NEW BEST:: SOT 149273 SOS 87479 HAS SOPS 87479 HAS SOUS 71738 HAS SOUPS 71738 WITH SCORE 71825.479
AT ITER 1494 NEW BEST:: SOT 148866 SOS 86441 HAS SOPS 86441 HAS SOUS 71158 HAS SOUPS 71158 WITH SCORE 71244.441
AT ITER 1495 NEW BEST:: SOT 148866 SOS 86145 HAS SOPS 86145 HAS SOUS 71016 HAS SOUPS 71016 WITH SCORE 71102.145
AT ITER 1517 NEW BEST:: SOT 148964 SOS 86225 HAS SOPS 86225 HAS SOUS 70868 HAS SOUPS 70868 WITH SCORE 70954.225
AT ITER 1522 NEW BEST:: SOT 148926 SOS 86187 HAS SOPS 86187 HAS SOUS 70828 HAS SOUPS 70828 WITH SCORE 70914.187
AT ITER 1525 NEW BEST:: SOT 148804 SOS 86027 HAS SOPS 86027 HAS SOUS 70649 HAS SOUPS 70649 WITH SCORE 70735.027
AT ITER 1538 NEW BEST:: SOT 148623 SOS 86091 HAS SOPS 86091 HAS SOUS 70375 HAS SOUPS 70375 WITH SCORE 70461.091
AT ITER 1548 NEW BEST:: SOT 148615 SOS 86034 HAS SOPS 86034 HAS SOUS 70352 HAS SOUPS 70352 WITH SCORE 70438.034
AT ITER 1550 NEW BEST:: SOT 148615 SOS 86033 HAS SOPS 86033 HAS SOUS 70352 HAS SOUPS 70352 WITH SCORE 70438.033
AT ITER 1559 NEW BEST:: SOT 148640 SOS 86147 HAS SOPS 86147 HAS SOUS 70351 HAS SOUPS 70351 WITH SCORE 70437.147
AT ITER 1561 NEW BEST:: SOT 148710 SOS 86114 HAS SOPS 86114 HAS SOUS 70347 HAS SOUPS 70347 WITH SCORE 70433.114
AT ITER 1568 NEW BEST:: SOT 148570 SOS 85974 HAS SOPS 85974 HAS SOUS 70239 HAS SOUPS 70239 WITH SCORE 70324.974
AT ITER 1588 NEW BEST:: SOT 148486 SOS 85819 HAS SOPS 85819 HAS SOUS 70013 HAS SOUPS 70013 WITH SCORE 70098.819
AT ITER 1594 NEW BEST:: SOT 148427 SOS 85669 HAS SOPS 85669 HAS SOUS 69743 HAS SOUPS 69743 WITH SCORE 69828.669
AT ITER 1601 NEW BEST:: SOT 148427 SOS 85622 HAS SOPS 85622 HAS SOUS 69696 HAS SOUPS 69696 WITH SCORE 69781.622
AT ITER 1602 NEW BEST:: SOT 148395 SOS 85569 HAS SOPS 85569 HAS SOUS 69643 HAS SOUPS 69643 WITH SCORE 69728.569
AT ITER 1605 NEW BEST:: SOT 148391 SOS 85565 HAS SOPS 85565 HAS SOUS 69620 HAS SOUPS 69620 WITH SCORE 69705.565
AT ITER 1614 NEW BEST:: SOT 148391 SOS 85565 HAS SOPS 85565 HAS SOUS 69434 HAS SOUPS 69434 WITH SCORE 69519.565
AT ITER 1617 NEW BEST:: SOT 148335 SOS 85509 HAS SOPS 85509 HAS SOUS 69378 HAS SOUPS 69378 WITH SCORE 69463.509
AT ITER 1621 NEW BEST:: SOT 148185 SOS 85359 HAS SOPS 85359 HAS SOUS 69228 HAS SOUPS 69228 WITH SCORE 69313.359
AT ITER 1622 NEW BEST:: SOT 148185 SOS 85357 HAS SOPS 85357 HAS SOUS 69215 HAS SOUPS 69215 WITH SCORE 69300.357
AT ITER 1623 NEW BEST:: SOT 148185 SOS 85360 HAS SOPS 85360 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69299.36
AT ITER 1628 NEW BEST:: SOT 148076 SOS 85222 HAS SOPS 85222 HAS SOUS 69074 HAS SOUPS 69074 WITH SCORE 69159.222
AT ITER 1641 NEW BEST:: SOT 147774 SOS 84920 HAS SOPS 84920 HAS SOUS 68772 HAS SOUPS 68772 WITH SCORE 68856.92
AT ITER 1652 NEW BEST:: SOT 147727 SOS 84820 HAS SOPS 84820 HAS SOUS 68645 HAS SOUPS 68645 WITH SCORE 68729.82
AT ITER 1677 NEW BEST:: SOT 147806 SOS 84745 HAS SOPS 84745 HAS SOUS 68498 HAS SOUPS 68498 WITH SCORE 68582.745
AT ITER 1685 NEW BEST:: SOT 147666 SOS 84605 HAS SOPS 84605 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68442.605
AT ITER 1690 NEW BEST:: SOT 147660 SOS 84599 HAS SOPS 84599 HAS SOUS 68349 HAS SOUPS 68349 WITH SCORE 68433.599
AT ITER 1703 NEW BEST:: SOT 147660 SOS 84625 HAS SOPS 84625 HAS SOUS 68323 HAS SOUPS 68323 WITH SCORE 68407.625
AT ITER 1716 NEW BEST:: SOT 147643 SOS 84560 HAS SOPS 84560 HAS SOUS 68258 HAS SOUPS 68258 WITH SCORE 68342.56
AT ITER 1729 NEW BEST:: SOT 147644 SOS 84557 HAS SOPS 84557 HAS SOUS 68255 HAS SOUPS 68255 WITH SCORE 68339.557
AT ITER 1730 NEW BEST:: SOT 147664 SOS 84575 HAS SOPS 84575 HAS SOUS 68181 HAS SOUPS 68181 WITH SCORE 68265.575
AT ITER 1743 NEW BEST:: SOT 147495 SOS 84472 HAS SOPS 84472 HAS SOUS 68058 HAS SOUPS 68058 WITH SCORE 68142.472
AT ITER 1749 NEW BEST:: SOT 147451 SOS 84439 HAS SOPS 84439 HAS SOUS 68034 HAS SOUPS 68034 WITH SCORE 68118.439
AT ITER 1750 NEW BEST:: SOT 147493 SOS 84448 HAS SOPS 84448 HAS SOUS 67946 HAS SOUPS 67946 WITH SCORE 68030.448
AT ITER 1751 NEW BEST:: SOT 147489 SOS 84444 HAS SOPS 84444 HAS SOUS 67942 HAS SOUPS 67942 WITH SCORE 68026.444
AT ITER 1752 NEW BEST:: SOT 147464 SOS 84419 HAS SOPS 84419 HAS SOUS 67917 HAS SOUPS 67917 WITH SCORE 68001.419
AT ITER 1754 NEW BEST:: SOT 147486 SOS 84561 HAS SOPS 84561 HAS SOUS 67845 HAS SOUPS 67845 WITH SCORE 67929.561
AT ITER 1755 NEW BEST:: SOT 147495 SOS 84564 HAS SOPS 84564 HAS SOUS 67718 HAS SOUPS 67718 WITH SCORE 67802.564
AT ITER 1758 NEW BEST:: SOT 147430 SOS 84475 HAS SOPS 84475 HAS SOUS 67629 HAS SOUPS 67629 WITH SCORE 67713.475
AT ITER 1762 NEW BEST:: SOT 147623 SOS 84631 HAS SOPS 84631 HAS SOUS 67535 HAS SOUPS 67535 WITH SCORE 67619.631
AT ITER 1770 NEW BEST:: SOT 147596 SOS 84523 HAS SOPS 84523 HAS SOUS 67535 HAS SOUPS 67535 WITH SCORE 67619.523
AT ITER 1773 NEW BEST:: SOT 147588 SOS 84376 HAS SOPS 84376 HAS SOUS 67268 HAS SOUPS 67268 WITH SCORE 67352.376
AT ITER 1787 NEW BEST:: SOT 147614 SOS 84359 HAS SOPS 84359 HAS SOUS 67261 HAS SOUPS 67261 WITH SCORE 67345.359
AT ITER 1801 NEW BEST:: SOT 147484 SOS 84094 HAS SOPS 84094 HAS SOUS 67156 HAS SOUPS 67156 WITH SCORE 67240.094
AT ITER 1806 NEW BEST:: SOT 147498 SOS 84094 HAS SOPS 84094 HAS SOUS 67142 HAS SOUPS 67142 WITH SCORE 67226.094
AT ITER 1808 NEW BEST:: SOT 147495 SOS 84085 HAS SOPS 84085 HAS SOUS 67133 HAS SOUPS 67133 WITH SCORE 67217.085
AT ITER 1811 NEW BEST:: SOT 147171 SOS 83680 HAS SOPS 83680 HAS SOUS 66712 HAS SOUPS 66712 WITH SCORE 66795.68
AT ITER 1813 NEW BEST:: SOT 147322 SOS 83643 HAS SOPS 83643 HAS SOUS 66675 HAS SOUPS 66675 WITH SCORE 66758.643
AT ITER 1816 NEW BEST:: SOT 147289 SOS 83299 HAS SOPS 83299 HAS SOUS 66667 HAS SOUPS 66667 WITH SCORE 66750.299
AT ITER 1818 NEW BEST:: SOT 147277 SOS 83281 HAS SOPS 83281 HAS SOUS 66649 HAS SOUPS 66649 WITH SCORE 66732.281
AT ITER 1824 NEW BEST:: SOT 147314 SOS 83193 HAS SOPS 83193 HAS SOUS 66561 HAS SOUPS 66561 WITH SCORE 66644.193
AT ITER 1832 NEW BEST:: SOT 147278 SOS 83094 HAS SOPS 83094 HAS SOUS 66444 HAS SOUPS 66444 WITH SCORE 66527.094
AT ITER 1837 NEW BEST:: SOT 147263 SOS 83084 HAS SOPS 83084 HAS SOUS 66434 HAS SOUPS 66434 WITH SCORE 66517.084
AT ITER 1842 NEW BEST:: SOT 147191 SOS 83010 HAS SOPS 83010 HAS SOUS 66349 HAS SOUPS 66349 WITH SCORE 66432.01
AT ITER 1858 NEW BEST:: SOT 147191 SOS 83054 HAS SOPS 83054 HAS SOUS 66337 HAS SOUPS 66337 WITH SCORE 66420.054
AT ITER 1877 NEW BEST:: SOT 147054 SOS 82768 HAS SOPS 82768 HAS SOUS 66015 HAS SOUPS 66015 WITH SCORE 66097.768
AT ITER 1883 NEW BEST:: SOT 146974 SOS 82645 HAS SOPS 82645 HAS SOUS 65849 HAS SOUPS 65849 WITH SCORE 65931.645
AT ITER 1887 NEW BEST:: SOT 146802 SOS 82443 HAS SOPS 82443 HAS SOUS 65647 HAS SOUPS 65647 WITH SCORE 65729.443
AT ITER 1901 NEW BEST:: SOT 146802 SOS 82441 HAS SOPS 82441 HAS SOUS 65645 HAS SOUPS 65645 WITH SCORE 65727.441
AT ITER 1911 NEW BEST:: SOT 146782 SOS 82317 HAS SOPS 82317 HAS SOUS 65611 HAS SOUPS 65611 WITH SCORE 65693.317
AT ITER 1912 NEW BEST:: SOT 146784 SOS 82065 HAS SOPS 82065 HAS SOUS 65220 HAS SOUPS 65220 WITH SCORE 65302.065
AT ITER 1920 NEW BEST:: SOT 146596 SOS 81761 HAS SOPS 81761 HAS SOUS 64916 HAS SOUPS 64916 WITH SCORE 64997.761
AT ITER 1924 NEW BEST:: SOT 146122 SOS 81214 HAS SOPS 81214 HAS SOUS 64417 HAS SOUPS 64417 WITH SCORE 64498.214
AT ITER 1926 NEW BEST:: SOT 146120 SOS 81212 HAS SOPS 81212 HAS SOUS 64415 HAS SOUPS 64415 WITH SCORE 64496.212
AT ITER 1927 NEW BEST:: SOT 146093 SOS 81172 HAS SOPS 81172 HAS SOUS 64277 HAS SOUPS 64277 WITH SCORE 64358.172
AT ITER 1929 NEW BEST:: SOT 145952 SOS 81031 HAS SOPS 81031 HAS SOUS 64136 HAS SOUPS 64136 WITH SCORE 64217.031
AT ITER 1941 NEW BEST:: SOT 146093 SOS 80910 HAS SOPS 80910 HAS SOUS 64128 HAS SOUPS 64128 WITH SCORE 64208.91
AT ITER 1944 NEW BEST:: SOT 146093 SOS 80858 HAS SOPS 80858 HAS SOUS 64102 HAS SOUPS 64102 WITH SCORE 64182.858
AT ITER 1946 NEW BEST:: SOT 146076 SOS 80822 HAS SOPS 80822 HAS SOUS 64066 HAS SOUPS 64066 WITH SCORE 64146.822
AT ITER 1963 NEW BEST:: SOT 145884 SOS 80556 HAS SOPS 80556 HAS SOUS 63800 HAS SOUPS 63800 WITH SCORE 63880.556
AT ITER 1965 NEW BEST:: SOT 145884 SOS 80696 HAS SOPS 80696 HAS SOUS 63730 HAS SOUPS 63730 WITH SCORE 63810.696
AT ITER 1978 NEW BEST:: SOT 145907 SOS 80684 HAS SOPS 80684 HAS SOUS 63707 HAS SOUPS 63707 WITH SCORE 63787.684
AT ITER 1986 NEW BEST:: SOT 145868 SOS 80606 HAS SOPS 80606 HAS SOUS 63668 HAS SOUPS 63668 WITH SCORE 63748.606
AT ITER 1995 NEW BEST:: SOT 145895 SOS 80572 HAS SOPS 80572 HAS SOUS 63660 HAS SOUPS 63660 WITH SCORE 63740.572
AT ITER 1999 NEW BEST:: SOT 145893 SOS 80568 HAS SOPS 80568 HAS SOUS 63655 HAS SOUPS 63655 WITH SCORE 63735.568
AT ITER 2002 NEW BEST:: SOT 145857 SOS 80532 HAS SOPS 80532 HAS SOUS 63619 HAS SOUPS 63619 WITH SCORE 63699.532
AT ITER 2008 NEW BEST:: SOT 145845 SOS 80524 HAS SOPS 80524 HAS SOUS 63611 HAS SOUPS 63611 WITH SCORE 63691.524
AT ITER 2014 NEW BEST:: SOT 145844 SOS 80427 HAS SOPS 80427 HAS SOUS 63524 HAS SOUPS 63524 WITH SCORE 63604.427
AT ITER 2015 NEW BEST:: SOT 145839 SOS 80279 HAS SOPS 80279 HAS SOUS 63519 HAS SOUPS 63519 WITH SCORE 63599.279
AT ITER 2020 NEW BEST:: SOT 145839 SOS 80273 HAS SOPS 80273 HAS SOUS 63519 HAS SOUPS 63519 WITH SCORE 63599.273
AT ITER 2021 NEW BEST:: SOT 145766 SOS 80223 HAS SOPS 80223 HAS SOUS 63469 HAS SOUPS 63469 WITH SCORE 63549.223
AT ITER 2050 NEW BEST:: SOT 145571 SOS 80028 HAS SOPS 80028 HAS SOUS 63200 HAS SOUPS 63200 WITH SCORE 63280.028
AT ITER 2053 NEW BEST:: SOT 145545 SOS 79937 HAS SOPS 79937 HAS SOUS 63109 HAS SOUPS 63109 WITH SCORE 63188.937
AT ITER 2068 NEW BEST:: SOT 145533 SOS 79925 HAS SOPS 79925 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63175.925
AT ITER 2078 NEW BEST:: SOT 145506 SOS 79925 HAS SOPS 79925 HAS SOUS 63077 HAS SOUPS 63077 WITH SCORE 63156.925
AT ITER 2082 NEW BEST:: SOT 145463 SOS 79854 HAS SOPS 79854 HAS SOUS 63006 HAS SOUPS 63006 WITH SCORE 63085.854
AT ITER 2088 NEW BEST:: SOT 145455 SOS 79846 HAS SOPS 79846 HAS SOUS 62998 HAS SOUPS 62998 WITH SCORE 63077.846
AT ITER 2092 NEW BEST:: SOT 145446 SOS 79624 HAS SOPS 79624 HAS SOUS 62973 HAS SOUPS 62973 WITH SCORE 63052.624
AT ITER 2096 NEW BEST:: SOT 145446 SOS 79567 HAS SOPS 79567 HAS SOUS 62916 HAS SOUPS 62916 WITH SCORE 62995.567
AT ITER 2103 NEW BEST:: SOT 145437 SOS 79558 HAS SOPS 79558 HAS SOUS 62907 HAS SOUPS 62907 WITH SCORE 62986.558
AT ITER 2109 NEW BEST:: SOT 145435 SOS 79556 HAS SOPS 79556 HAS SOUS 62905 HAS SOUPS 62905 WITH SCORE 62984.556
AT ITER 2111 NEW BEST:: SOT 145415 SOS 79536 HAS SOPS 79536 HAS SOUS 62885 HAS SOUPS 62885 WITH SCORE 62964.536
AT ITER 2113 NEW BEST:: SOT 145389 SOS 79448 HAS SOPS 79448 HAS SOUS 62809 HAS SOUPS 62809 WITH SCORE 62888.448
AT ITER 2114 NEW BEST:: SOT 145295 SOS 79432 HAS SOPS 79432 HAS SOUS 62725 HAS SOUPS 62725 WITH SCORE 62804.432
AT ITER 2119 NEW BEST:: SOT 145193 SOS 79175 HAS SOPS 79175 HAS SOUS 62468 HAS SOUPS 62468 WITH SCORE 62547.175
AT ITER 2134 NEW BEST:: SOT 145173 SOS 79153 HAS SOPS 79153 HAS SOUS 62280 HAS SOUPS 62280 WITH SCORE 62359.153
AT ITER 2136 NEW BEST:: SOT 145173 SOS 79150 HAS SOPS 79150 HAS SOUS 62277 HAS SOUPS 62277 WITH SCORE 62356.15
AT ITER 2164 NEW BEST:: SOT 145172 SOS 79149 HAS SOPS 79149 HAS SOUS 62276 HAS SOUPS 62276 WITH SCORE 62355.149
AT ITER 2165 NEW BEST:: SOT 145014 SOS 79053 HAS SOPS 79053 HAS SOUS 62180 HAS SOUPS 62180 WITH SCORE 62259.053
AT ITER 2173 NEW BEST:: SOT 145014 SOS 78871 HAS SOPS 78871 HAS SOUS 62157 HAS SOUPS 62157 WITH SCORE 62235.871
AT ITER 2174 NEW BEST:: SOT 144998 SOS 78851 HAS SOPS 78851 HAS SOUS 62137 HAS SOUPS 62137 WITH SCORE 62215.851
AT ITER 2192 NEW BEST:: SOT 144859 SOS 78371 HAS SOPS 78371 HAS SOUS 61866 HAS SOUPS 61866 WITH SCORE 61944.371
AT ITER 2194 NEW BEST:: SOT 144953 SOS 78593 HAS SOPS 78593 HAS SOUS 61769 HAS SOUPS 61769 WITH SCORE 61847.593
AT ITER 2200 NEW BEST:: SOT 144909 SOS 78549 HAS SOPS 78549 HAS SOUS 61725 HAS SOUPS 61725 WITH SCORE 61803.549
AT ITER 2202 NEW BEST:: SOT 144405 SOS 77393 HAS SOPS 77393 HAS SOUS 60986 HAS SOUPS 60986 WITH SCORE 61063.393
AT ITER 2203 NEW BEST:: SOT 144402 SOS 77287 HAS SOPS 77287 HAS SOUS 60921 HAS SOUPS 60921 WITH SCORE 60998.287
AT ITER 2211 NEW BEST:: SOT 144357 SOS 77242 HAS SOPS 77242 HAS SOUS 60867 HAS SOUPS 60867 WITH SCORE 60944.242
AT ITER 2213 NEW BEST:: SOT 144346 SOS 77226 HAS SOPS 77226 HAS SOUS 60863 HAS SOUPS 60863 WITH SCORE 60940.226
AT ITER 2219 NEW BEST:: SOT 144313 SOS 77163 HAS SOPS 77163 HAS SOUS 60832 HAS SOUPS 60832 WITH SCORE 60909.163
AT ITER 2233 NEW BEST:: SOT 144263 SOS 77086 HAS SOPS 77086 HAS SOUS 60755 HAS SOUPS 60755 WITH SCORE 60832.086
AT ITER 2238 NEW BEST:: SOT 144238 SOS 77083 HAS SOPS 77083 HAS SOUS 60752 HAS SOUPS 60752 WITH SCORE 60829.083
AT ITER 2239 NEW BEST:: SOT 144182 SOS 77044 HAS SOPS 77044 HAS SOUS 60713 HAS SOUPS 60713 WITH SCORE 60790.044
AT ITER 2241 NEW BEST:: SOT 144161 SOS 77023 HAS SOPS 77023 HAS SOUS 60692 HAS SOUPS 60692 WITH SCORE 60769.023
AT ITER 2263 NEW BEST:: SOT 144161 SOS 76918 HAS SOPS 76918 HAS SOUS 60587 HAS SOUPS 60587 WITH SCORE 60663.918
AT ITER 2264 NEW BEST:: SOT 144288 SOS 76833 HAS SOPS 76833 HAS SOUS 60543 HAS SOUPS 60543 WITH SCORE 60619.833
AT ITER 2265 NEW BEST:: SOT 144182 SOS 76685 HAS SOPS 76685 HAS SOUS 60395 HAS SOUPS 60395 WITH SCORE 60471.685
AT ITER 2278 NEW BEST:: SOT 144159 SOS 76662 HAS SOPS 76662 HAS SOUS 60373 HAS SOUPS 60373 WITH SCORE 60449.662
AT ITER 2293 NEW BEST:: SOT 144159 SOS 76475 HAS SOPS 76475 HAS SOUS 60186 HAS SOUPS 60186 WITH SCORE 60262.475
AT ITER 2294 NEW BEST:: SOT 144117 SOS 76433 HAS SOPS 76433 HAS SOUS 60110 HAS SOUPS 60110 WITH SCORE 60186.433
AT ITER 2305 NEW BEST:: SOT 144305 SOS 75540 HAS SOPS 75540 HAS SOUS 60013 HAS SOUPS 60013 WITH SCORE 60088.54
AT ITER 2310 NEW BEST:: SOT 144292 SOS 75450 HAS SOPS 75450 HAS SOUS 59966 HAS SOUPS 59966 WITH SCORE 60041.45
AT ITER 2327 NEW BEST:: SOT 144298 SOS 75450 HAS SOPS 75450 HAS SOUS 59960 HAS SOUPS 59960 WITH SCORE 60035.45
AT ITER 2330 NEW BEST:: SOT 144298 SOS 75444 HAS SOPS 75444 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60029.444
AT ITER 2331 NEW BEST:: SOT 144257 SOS 75414 HAS SOPS 75414 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 59999.414
AT ITER 2347 NEW BEST:: SOT 144235 SOS 75392 HAS SOPS 75392 HAS SOUS 59902 HAS SOUPS 59902 WITH SCORE 59977.392
AT ITER 2355 NEW BEST:: SOT 144235 SOS 75452 HAS SOPS 75452 HAS SOUS 59857 HAS SOUPS 59857 WITH SCORE 59932.452
AT ITER 2360 NEW BEST:: SOT 144136 SOS 75360 HAS SOPS 75360 HAS SOUS 59760 HAS SOUPS 59760 WITH SCORE 59835.36
AT ITER 2386 NEW BEST:: SOT 144136 SOS 75261 HAS SOPS 75261 HAS SOUS 59661 HAS SOUPS 59661 WITH SCORE 59736.261
AT ITER 2398 NEW BEST:: SOT 144127 SOS 75252 HAS SOPS 75252 HAS SOUS 59652 HAS SOUPS 59652 WITH SCORE 59727.252
AT ITER 2413 NEW BEST:: SOT 144103 SOS 75192 HAS SOPS 75192 HAS SOUS 59592 HAS SOUPS 59592 WITH SCORE 59667.192
AT ITER 2416 NEW BEST:: SOT 144106 SOS 75177 HAS SOPS 75177 HAS SOUS 59573 HAS SOUPS 59573 WITH SCORE 59648.177
AT ITER 2417 NEW BEST:: SOT 144106 SOS 75024 HAS SOPS 75024 HAS SOUS 59431 HAS SOUPS 59431 WITH SCORE 59506.024
AT ITER 2423 NEW BEST:: SOT 144009 SOS 74938 HAS SOPS 74938 HAS SOUS 59345 HAS SOUPS 59345 WITH SCORE 59419.938
AT ITER 2440 NEW BEST:: SOT 143968 SOS 74746 HAS SOPS 74746 HAS SOUS 59275 HAS SOUPS 59275 WITH SCORE 59349.746
AT ITER 2446 NEW BEST:: SOT 144005 SOS 74705 HAS SOPS 74705 HAS SOUS 59234 HAS SOUPS 59234 WITH SCORE 59308.705
AT ITER 2452 NEW BEST:: SOT 144014 SOS 74679 HAS SOPS 74679 HAS SOUS 59229 HAS SOUPS 59229 WITH SCORE 59303.679
AT ITER 2454 NEW BEST:: SOT 144163 SOS 74750 HAS SOPS 74750 HAS SOUS 59228 HAS SOUPS 59228 WITH SCORE 59302.75
AT ITER 2458 NEW BEST:: SOT 144170 SOS 74776 HAS SOPS 74776 HAS SOUS 59224 HAS SOUPS 59224 WITH SCORE 59298.776
AT ITER 2463 NEW BEST:: SOT 144170 SOS 74790 HAS SOPS 74790 HAS SOUS 59168 HAS SOUPS 59168 WITH SCORE 59242.79
AT ITER 2465 NEW BEST:: SOT 144170 SOS 74762 HAS SOPS 74762 HAS SOUS 59154 HAS SOUPS 59154 WITH SCORE 59228.762
AT ITER 2468 NEW BEST:: SOT 144169 SOS 74753 HAS SOPS 74753 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59219.753
AT ITER 2473 NEW BEST:: SOT 144168 SOS 74738 HAS SOPS 74738 HAS SOUS 59069 HAS SOUPS 59069 WITH SCORE 59143.738
AT ITER 2484 NEW BEST:: SOT 144168 SOS 74744 HAS SOPS 74744 HAS SOUS 59067 HAS SOUPS 59067 WITH SCORE 59141.744
AT ITER 2487 NEW BEST:: SOT 144169 SOS 74724 HAS SOPS 74724 HAS SOUS 59041 HAS SOUPS 59041 WITH SCORE 59115.724
AT ITER 2488 NEW BEST:: SOT 144214 SOS 74769 HAS SOPS 74769 HAS SOUS 59039 HAS SOUPS 59039 WITH SCORE 59113.769
AT ITER 2489 NEW BEST:: SOT 144325 SOS 74738 HAS SOPS 74738 HAS SOUS 58866 HAS SOUPS 58866 WITH SCORE 58940.738
AT ITER 2496 NEW BEST:: SOT 144232 SOS 74582 HAS SOPS 74582 HAS SOUS 58701 HAS SOUPS 58701 WITH SCORE 58775.582
AT ITER 2503 NEW BEST:: SOT 144265 SOS 74564 HAS SOPS 74564 HAS SOUS 58683 HAS SOUPS 58683 WITH SCORE 58757.564
AT ITER 2525 NEW BEST:: SOT 144097 SOS 74497 HAS SOPS 74497 HAS SOUS 58587 HAS SOUPS 58587 WITH SCORE 58661.497
AT ITER 2529 NEW BEST:: SOT 144067 SOS 74450 HAS SOPS 74450 HAS SOUS 58540 HAS SOUPS 58540 WITH SCORE 58614.45
AT ITER 2533 NEW BEST:: SOT 144049 SOS 74311 HAS SOPS 74311 HAS SOUS 58382 HAS SOUPS 58382 WITH SCORE 58456.311
AT ITER 2538 NEW BEST:: SOT 144052 SOS 74308 HAS SOPS 74308 HAS SOUS 58355 HAS SOUPS 58355 WITH SCORE 58429.308
AT ITER 2547 NEW BEST:: SOT 144149 SOS 74383 HAS SOPS 74383 HAS SOUS 58350 HAS SOUPS 58350 WITH SCORE 58424.383
AT ITER 2550 NEW BEST:: SOT 144149 SOS 74382 HAS SOPS 74382 HAS SOUS 58343 HAS SOUPS 58343 WITH SCORE 58417.382
AT ITER 2555 NEW BEST:: SOT 144170 SOS 74382 HAS SOPS 74382 HAS SOUS 58228 HAS SOUPS 58228 WITH SCORE 58302.382
AT ITER 2561 NEW BEST:: SOT 144149 SOS 74361 HAS SOPS 74361 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58281.361
AT ITER 2567 NEW BEST:: SOT 144123 SOS 74335 HAS SOPS 74335 HAS SOUS 58181 HAS SOUPS 58181 WITH SCORE 58255.335
AT ITER 2582 NEW BEST:: SOT 144025 SOS 74293 HAS SOPS 74293 HAS SOUS 58126 HAS SOUPS 58126 WITH SCORE 58200.293
AT ITER 2598 NEW BEST:: SOT 144025 SOS 74281 HAS SOPS 74281 HAS SOUS 58104 HAS SOUPS 58104 WITH SCORE 58178.281
AT ITER 2602 NEW BEST:: SOT 144017 SOS 74273 HAS SOPS 74273 HAS SOUS 58096 HAS SOUPS 58096 WITH SCORE 58170.273
AT ITER 2608 NEW BEST:: SOT 143891 SOS 74015 HAS SOPS 74015 HAS SOUS 57820 HAS SOUPS 57820 WITH SCORE 57894.015
AT ITER 2609 NEW BEST:: SOT 143684 SOS 73739 HAS SOPS 73739 HAS SOUS 57542 HAS SOUPS 57542 WITH SCORE 57615.739
AT ITER 2634 NEW BEST:: SOT 143644 SOS 73699 HAS SOPS 73699 HAS SOUS 57502 HAS SOUPS 57502 WITH SCORE 57575.699
AT ITER 2635 NEW BEST:: SOT 143619 SOS 73687 HAS SOPS 73687 HAS SOUS 57490 HAS SOUPS 57490 WITH SCORE 57563.687
AT ITER 2638 NEW BEST:: SOT 143484 SOS 73558 HAS SOPS 73558 HAS SOUS 57361 HAS SOUPS 57361 WITH SCORE 57434.558
AT ITER 2646 NEW BEST:: SOT 143467 SOS 73541 HAS SOPS 73541 HAS SOUS 57303 HAS SOUPS 57303 WITH SCORE 57376.541
AT ITER 2649 NEW BEST:: SOT 143458 SOS 73532 HAS SOPS 73532 HAS SOUS 57294 HAS SOUPS 57294 WITH SCORE 57367.532
AT ITER 2651 NEW BEST:: SOT 143444 SOS 73518 HAS SOPS 73518 HAS SOUS 57280 HAS SOUPS 57280 WITH SCORE 57353.518
AT ITER 2676 NEW BEST:: SOT 143372 SOS 73446 HAS SOPS 73446 HAS SOUS 57208 HAS SOUPS 57208 WITH SCORE 57281.446
AT ITER 2679 NEW BEST:: SOT 143366 SOS 73434 HAS SOPS 73434 HAS SOUS 57202 HAS SOUPS 57202 WITH SCORE 57275.434
AT ITER 2682 NEW BEST:: SOT 143365 SOS 73430 HAS SOPS 73430 HAS SOUS 57198 HAS SOUPS 57198 WITH SCORE 57271.43
AT ITER 2685 NEW BEST:: SOT 143355 SOS 73415 HAS SOPS 73415 HAS SOUS 57183 HAS SOUPS 57183 WITH SCORE 57256.415
AT ITER 2700 NEW BEST:: SOT 143351 SOS 73411 HAS SOPS 73411 HAS SOUS 57179 HAS SOUPS 57179 WITH SCORE 57252.411
AT ITER 2702 NEW BEST:: SOT 143428 SOS 73463 HAS SOPS 73463 HAS SOUS 57088 HAS SOUPS 57088 WITH SCORE 57161.463
AT ITER 2704 NEW BEST:: SOT 143419 SOS 73445 HAS SOPS 73445 HAS SOUS 57079 HAS SOUPS 57079 WITH SCORE 57152.445
AT ITER 2707 NEW BEST:: SOT 143321 SOS 73319 HAS SOPS 73319 HAS SOUS 56953 HAS SOUPS 56953 WITH SCORE 57026.319
AT ITER 2709 NEW BEST:: SOT 143269 SOS 73270 HAS SOPS 73270 HAS SOUS 56904 HAS SOUPS 56904 WITH SCORE 56977.27
AT ITER 2710 NEW BEST:: SOT 143224 SOS 73266 HAS SOPS 73266 HAS SOUS 56900 HAS SOUPS 56900 WITH SCORE 56973.266
AT ITER 2728 NEW BEST:: SOT 143186 SOS 73190 HAS SOPS 73190 HAS SOUS 56824 HAS SOUPS 56824 WITH SCORE 56897.19
AT ITER 2733 NEW BEST:: SOT 143186 SOS 73113 HAS SOPS 73113 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56820.113
AT ITER 2738 NEW BEST:: SOT 143215 SOS 73333 HAS SOPS 73333 HAS SOUS 56717 HAS SOUPS 56717 WITH SCORE 56790.333
AT ITER 2743 NEW BEST:: SOT 143205 SOS 73323 HAS SOPS 73323 HAS SOUS 56707 HAS SOUPS 56707 WITH SCORE 56780.323
AT ITER 2744 NEW BEST:: SOT 143197 SOS 73307 HAS SOPS 73307 HAS SOUS 56699 HAS SOUPS 56699 WITH SCORE 56772.307
AT ITER 2755 NEW BEST:: SOT 143200 SOS 73310 HAS SOPS 73310 HAS SOUS 56660 HAS SOUPS 56660 WITH SCORE 56733.31
AT ITER 2770 NEW BEST:: SOT 143155 SOS 72575 HAS SOPS 72575 HAS SOUS 56561 HAS SOUPS 56561 WITH SCORE 56633.575
AT ITER 2773 NEW BEST:: SOT 143155 SOS 72569 HAS SOPS 72569 HAS SOUS 56558 HAS SOUPS 56558 WITH SCORE 56630.569
AT ITER 2784 NEW BEST:: SOT 143145 SOS 72559 HAS SOPS 72559 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56620.559
AT ITER 2797 NEW BEST:: SOT 143142 SOS 72556 HAS SOPS 72556 HAS SOUS 56545 HAS SOUPS 56545 WITH SCORE 56617.556
AT ITER 2802 NEW BEST:: SOT 143004 SOS 72189 HAS SOPS 72189 HAS SOUS 56522 HAS SOUPS 56522 WITH SCORE 56594.189
AT ITER 2803 NEW BEST:: SOT 142969 SOS 72140 HAS SOPS 72140 HAS SOUS 56480 HAS SOUPS 56480 WITH SCORE 56552.14
AT ITER 2807 NEW BEST:: SOT 142959 SOS 72110 HAS SOPS 72110 HAS SOUS 56464 HAS SOUPS 56464 WITH SCORE 56536.11
AT ITER 2808 NEW BEST:: SOT 142969 SOS 71881 HAS SOPS 71881 HAS SOUS 56429 HAS SOUPS 56429 WITH SCORE 56500.881
AT ITER 2812 NEW BEST:: SOT 142950 SOS 71862 HAS SOPS 71862 HAS SOUS 56410 HAS SOUPS 56410 WITH SCORE 56481.862
AT ITER 2819 NEW BEST:: SOT 142989 SOS 71905 HAS SOPS 71905 HAS SOUS 56283 HAS SOUPS 56283 WITH SCORE 56354.905
AT ITER 2831 NEW BEST:: SOT 142988 SOS 71904 HAS SOPS 71904 HAS SOUS 56282 HAS SOUPS 56282 WITH SCORE 56353.904
AT ITER 2835 NEW BEST:: SOT 142903 SOS 71743 HAS SOPS 71743 HAS SOUS 56159 HAS SOUPS 56159 WITH SCORE 56230.743
AT ITER 2837 NEW BEST:: SOT 142895 SOS 71727 HAS SOPS 71727 HAS SOUS 56151 HAS SOUPS 56151 WITH SCORE 56222.727
AT ITER 2844 NEW BEST:: SOT 142895 SOS 71699 HAS SOPS 71699 HAS SOUS 56123 HAS SOUPS 56123 WITH SCORE 56194.699
AT ITER 2875 NEW BEST:: SOT 142905 SOS 71709 HAS SOPS 71709 HAS SOUS 56100 HAS SOUPS 56100 WITH SCORE 56171.709
AT ITER 2880 NEW BEST:: SOT 142905 SOS 71699 HAS SOPS 71699 HAS SOUS 56090 HAS SOUPS 56090 WITH SCORE 56161.699
AT ITER 2886 NEW BEST:: SOT 142904 SOS 71698 HAS SOPS 71698 HAS SOUS 56089 HAS SOUPS 56089 WITH SCORE 56160.698
AT ITER 2887 NEW BEST:: SOT 142885 SOS 71662 HAS SOPS 71662 HAS SOUS 56036 HAS SOUPS 56036 WITH SCORE 56107.662
AT ITER 2892 NEW BEST:: SOT 142828 SOS 71605 HAS SOPS 71605 HAS SOUS 55981 HAS SOUPS 55981 WITH SCORE 56052.605
AT ITER 2898 NEW BEST:: SOT 142828 SOS 71585 HAS SOPS 71585 HAS SOUS 55916 HAS SOUPS 55916 WITH SCORE 55987.585
AT ITER 2907 NEW BEST:: SOT 142750 SOS 71481 HAS SOPS 71481 HAS SOUS 55812 HAS SOUPS 55812 WITH SCORE 55883.481
AT ITER 2911 NEW BEST:: SOT 142667 SOS 71267 HAS SOPS 71267 HAS SOUS 55659 HAS SOUPS 55659 WITH SCORE 55730.267
AT ITER 2919 NEW BEST:: SOT 142667 SOS 71285 HAS SOPS 71285 HAS SOUS 55650 HAS SOUPS 55650 WITH SCORE 55721.285
AT ITER 2930 NEW BEST:: SOT 142607 SOS 71333 HAS SOPS 71333 HAS SOUS 55616 HAS SOUPS 55616 WITH SCORE 55687.333
AT ITER 2933 NEW BEST:: SOT 142583 SOS 71270 HAS SOPS 71270 HAS SOUS 55566 HAS SOUPS 55566 WITH SCORE 55637.27
AT ITER 2934 NEW BEST:: SOT 142365 SOS 71092 HAS SOPS 71092 HAS SOUS 55388 HAS SOUPS 55388 WITH SCORE 55459.092
AT ITER 2962 NEW BEST:: SOT 142374 SOS 71091 HAS SOPS 71091 HAS SOUS 55387 HAS SOUPS 55387 WITH SCORE 55458.091
AT ITER 2985 NEW BEST:: SOT 142368 SOS 71176 HAS SOPS 71176 HAS SOUS 55366 HAS SOUPS 55366 WITH SCORE 55437.176
AT ITER 2995 NEW BEST:: SOT 142327 SOS 71139 HAS SOPS 71139 HAS SOUS 55298 HAS SOUPS 55298 WITH SCORE 55369.139
AT ITER 3018 NEW BEST:: SOT 142334 SOS 71148 HAS SOPS 71148 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55334.148
AT ITER 3019 NEW BEST:: SOT 142389 SOS 71272 HAS SOPS 71272 HAS SOUS 55234 HAS SOUPS 55234 WITH SCORE 55305.272
AT ITER 3059 NEW BEST:: SOT 142384 SOS 71206 HAS SOPS 71206 HAS SOUS 55200 HAS SOUPS 55200 WITH SCORE 55271.206
AT ITER 3060 NEW BEST:: SOT 142284 SOS 71106 HAS SOPS 71106 HAS SOUS 55100 HAS SOUPS 55100 WITH SCORE 55171.106
AT ITER 3078 NEW BEST:: SOT 142282 SOS 71104 HAS SOPS 71104 HAS SOUS 55098 HAS SOUPS 55098 WITH SCORE 55169.104
AT ITER 3080 NEW BEST:: SOT 142282 SOS 71016 HAS SOPS 71016 HAS SOUS 55083 HAS SOUPS 55083 WITH SCORE 55154.016
AT ITER 3090 NEW BEST:: SOT 142282 SOS 70999 HAS SOPS 70999 HAS SOUS 55066 HAS SOUPS 55066 WITH SCORE 55136.999
AT ITER 3126 NEW BEST:: SOT 142326 SOS 70545 HAS SOPS 70545 HAS SOUS 54844 HAS SOUPS 54844 WITH SCORE 54914.545
AT ITER 3137 NEW BEST:: SOT 142297 SOS 70501 HAS SOPS 70501 HAS SOUS 54815 HAS SOUPS 54815 WITH SCORE 54885.501
AT ITER 3140 NEW BEST:: SOT 142262 SOS 70417 HAS SOPS 70417 HAS SOUS 54773 HAS SOUPS 54773 WITH SCORE 54843.417
AT ITER 3142 NEW BEST:: SOT 142265 SOS 70360 HAS SOPS 70360 HAS SOUS 54731 HAS SOUPS 54731 WITH SCORE 54801.36
AT ITER 3143 NEW BEST:: SOT 142310 SOS 70357 HAS SOPS 70357 HAS SOUS 54728 HAS SOUPS 54728 WITH SCORE 54798.357
AT ITER 3158 NEW BEST:: SOT 142607 SOS 70388 HAS SOPS 70388 HAS SOUS 54579 HAS SOUPS 54579 WITH SCORE 54649.388
AT ITER 3159 NEW BEST:: SOT 142607 SOS 70298 HAS SOPS 70298 HAS SOUS 54551 HAS SOUPS 54551 WITH SCORE 54621.298
AT ITER 3160 NEW BEST:: SOT 142550 SOS 70184 HAS SOPS 70184 HAS SOUS 54358 HAS SOUPS 54358 WITH SCORE 54428.184
AT ITER 3186 NEW BEST:: SOT 142588 SOS 70378 HAS SOPS 70378 HAS SOUS 54303 HAS SOUPS 54303 WITH SCORE 54373.378
AT ITER 3196 NEW BEST:: SOT 142565 SOS 70360 HAS SOPS 70360 HAS SOUS 54285 HAS SOUPS 54285 WITH SCORE 54355.36
AT ITER 3204 NEW BEST:: SOT 142560 SOS 70303 HAS SOPS 70303 HAS SOUS 54228 HAS SOUPS 54228 WITH SCORE 54298.303
AT ITER 3209 NEW BEST:: SOT 142638 SOS 70336 HAS SOPS 70336 HAS SOUS 54220 HAS SOUPS 54220 WITH SCORE 54290.336
AT ITER 3245 NEW BEST:: SOT 142632 SOS 70326 HAS SOPS 70326 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54280.326
AT ITER 3274 NEW BEST:: SOT 142643 SOS 70183 HAS SOPS 70183 HAS SOUS 54071 HAS SOUPS 54071 WITH SCORE 54141.183
AT ITER 3275 NEW BEST:: SOT 142610 SOS 70150 HAS SOPS 70150 HAS SOUS 54035 HAS SOUPS 54035 WITH SCORE 54105.15
AT ITER 3289 NEW BEST:: SOT 142603 SOS 70060 HAS SOPS 70060 HAS SOUS 53948 HAS SOUPS 53948 WITH SCORE 54018.06
AT ITER 3292 NEW BEST:: SOT 142415 SOS 69872 HAS SOPS 69872 HAS SOUS 53781 HAS SOUPS 53781 WITH SCORE 53850.872
AT ITER 3313 NEW BEST:: SOT 142215 SOS 69688 HAS SOPS 69688 HAS SOUS 53597 HAS SOUPS 53597 WITH SCORE 53666.688
AT ITER 3315 NEW BEST:: SOT 142115 SOS 69488 HAS SOPS 69488 HAS SOUS 53397 HAS SOUPS 53397 WITH SCORE 53466.488
AT ITER 3328 NEW BEST:: SOT 142117 SOS 69490 HAS SOPS 69490 HAS SOUS 53279 HAS SOUPS 53279 WITH SCORE 53348.49
AT ITER 3357 NEW BEST:: SOT 142154 SOS 69483 HAS SOPS 69483 HAS SOUS 53159 HAS SOUPS 53159 WITH SCORE 53228.483
AT ITER 3364 NEW BEST:: SOT 142131 SOS 69460 HAS SOPS 69460 HAS SOUS 53136 HAS SOUPS 53136 WITH SCORE 53205.46
AT ITER 3372 NEW BEST:: SOT 142128 SOS 69451 HAS SOPS 69451 HAS SOUS 53130 HAS SOUPS 53130 WITH SCORE 53199.451
AT ITER 3378 NEW BEST:: SOT 142123 SOS 69433 HAS SOPS 69433 HAS SOUS 53094 HAS SOUPS 53094 WITH SCORE 53163.433
AT ITER 3381 NEW BEST:: SOT 142096 SOS 69405 HAS SOPS 69405 HAS SOUS 53091 HAS SOUPS 53091 WITH SCORE 53160.405
AT ITER 3393 NEW BEST:: SOT 142002 SOS 69255 HAS SOPS 69255 HAS SOUS 52979 HAS SOUPS 52979 WITH SCORE 53048.255
AT ITER 3400 NEW BEST:: SOT 141933 SOS 69161 HAS SOPS 69161 HAS SOUS 52869 HAS SOUPS 52869 WITH SCORE 52938.161
AT ITER 3404 NEW BEST:: SOT 141974 SOS 69068 HAS SOPS 69068 HAS SOUS 52765 HAS SOUPS 52765 WITH SCORE 52834.068
AT ITER 3405 NEW BEST:: SOT 141974 SOS 69015 HAS SOPS 69015 HAS SOUS 52699 HAS SOUPS 52699 WITH SCORE 52768.015
AT ITER 3413 NEW BEST:: SOT 141970 SOS 69003 HAS SOPS 69003 HAS SOUS 52687 HAS SOUPS 52687 WITH SCORE 52756.003
AT ITER 3425 NEW BEST:: SOT 141937 SOS 68936 HAS SOPS 68936 HAS SOUS 52665 HAS SOUPS 52665 WITH SCORE 52733.936
AT ITER 3433 NEW BEST:: SOT 141927 SOS 68926 HAS SOPS 68926 HAS SOUS 52655 HAS SOUPS 52655 WITH SCORE 52723.926
AT ITER 3435 NEW BEST:: SOT 141920 SOS 68847 HAS SOPS 68847 HAS SOUS 52570 HAS SOUPS 52570 WITH SCORE 52638.847
AT ITER 3441 NEW BEST:: SOT 141781 SOS 68737 HAS SOPS 68737 HAS SOUS 52460 HAS SOUPS 52460 WITH SCORE 52528.737
AT ITER 3449 NEW BEST:: SOT 141740 SOS 68674 HAS SOPS 68674 HAS SOUS 52397 HAS SOUPS 52397 WITH SCORE 52465.674
AT ITER 3452 NEW BEST:: SOT 141730 SOS 68655 HAS SOPS 68655 HAS SOUS 52378 HAS SOUPS 52378 WITH SCORE 52446.655
AT ITER 3471 NEW BEST:: SOT 141703 SOS 68628 HAS SOPS 68628 HAS SOUS 52351 HAS SOUPS 52351 WITH SCORE 52419.628
AT ITER 3479 NEW BEST:: SOT 141630 SOS 68300 HAS SOPS 68300 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52343.3
AT ITER 3498 NEW BEST:: SOT 141697 SOS 68100 HAS SOPS 68100 HAS SOUS 52242 HAS SOUPS 52242 WITH SCORE 52310.1
AT ITER 3508 NEW BEST:: SOT 141690 SOS 68093 HAS SOPS 68093 HAS SOUS 52235 HAS SOUPS 52235 WITH SCORE 52303.093
AT ITER 3522 NEW BEST:: SOT 141660 SOS 68115 HAS SOPS 68115 HAS SOUS 52219 HAS SOUPS 52219 WITH SCORE 52287.115
AT ITER 3527 NEW BEST:: SOT 141618 SOS 68073 HAS SOPS 68073 HAS SOUS 52177 HAS SOUPS 52177 WITH SCORE 52245.073
AT ITER 3551 NEW BEST:: SOT 141619 SOS 68054 HAS SOPS 68054 HAS SOUS 52150 HAS SOUPS 52150 WITH SCORE 52218.054
AT ITER 3556 NEW BEST:: SOT 141522 SOS 67963 HAS SOPS 67963 HAS SOUS 52091 HAS SOUPS 52091 WITH SCORE 52158.963
AT ITER 3566 NEW BEST:: SOT 141361 SOS 67775 HAS SOPS 67775 HAS SOUS 51903 HAS SOUPS 51903 WITH SCORE 51970.775
AT ITER 3570 NEW BEST:: SOT 141316 SOS 67754 HAS SOPS 67754 HAS SOUS 51882 HAS SOUPS 51882 WITH SCORE 51949.754
AT ITER 3575 NEW BEST:: SOT 141264 SOS 67702 HAS SOPS 67702 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51897.702
AT ITER 3597 NEW BEST:: SOT 141316 SOS 67674 HAS SOPS 67674 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51892.674
AT ITER 3603 NEW BEST:: SOT 141249 SOS 67727 HAS SOPS 67727 HAS SOUS 51799 HAS SOUPS 51799 WITH SCORE 51866.727
AT ITER 3605 NEW BEST:: SOT 141302 SOS 67722 HAS SOPS 67722 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51862.722
AT ITER 3614 NEW BEST:: SOT 141209 SOS 67632 HAS SOPS 67632 HAS SOUS 51759 HAS SOUPS 51759 WITH SCORE 51826.632
AT ITER 3633 NEW BEST:: SOT 141208 SOS 67631 HAS SOPS 67631 HAS SOUS 51758 HAS SOUPS 51758 WITH SCORE 51825.631
AT ITER 3659 NEW BEST:: SOT 141208 SOS 67638 HAS SOPS 67638 HAS SOUS 51751 HAS SOUPS 51751 WITH SCORE 51818.638
AT ITER 3676 NEW BEST:: SOT 141260 SOS 67340 HAS SOPS 67340 HAS SOUS 51730 HAS SOUPS 51730 WITH SCORE 51797.34
AT ITER 3684 NEW BEST:: SOT 141257 SOS 67337 HAS SOPS 67337 HAS SOUS 51727 HAS SOUPS 51727 WITH SCORE 51794.337
AT ITER 3690 NEW BEST:: SOT 141201 SOS 67337 HAS SOPS 67337 HAS SOUS 51671 HAS SOUPS 51671 WITH SCORE 51738.337
AT ITER 3717 NEW BEST:: SOT 141197 SOS 67332 HAS SOPS 67332 HAS SOUS 51666 HAS SOUPS 51666 WITH SCORE 51733.332
AT ITER 3722 NEW BEST:: SOT 141234 SOS 67328 HAS SOPS 67328 HAS SOUS 51662 HAS SOUPS 51662 WITH SCORE 51729.328
AT ITER 3736 NEW BEST:: SOT 141094 SOS 66906 HAS SOPS 66906 HAS SOUS 51349 HAS SOUPS 51349 WITH SCORE 51415.906
AT ITER 3769 NEW BEST:: SOT 140826 SOS 66570 HAS SOPS 66570 HAS SOUS 50996 HAS SOUPS 50996 WITH SCORE 51062.57
AT ITER 3804 NEW BEST:: SOT 140814 SOS 66558 HAS SOPS 66558 HAS SOUS 50984 HAS SOUPS 50984 WITH SCORE 51050.558
AT ITER 3808 NEW BEST:: SOT 140794 SOS 66538 HAS SOPS 66538 HAS SOUS 50964 HAS SOUPS 50964 WITH SCORE 51030.538
AT ITER 3811 NEW BEST:: SOT 140757 SOS 66464 HAS SOPS 66464 HAS SOUS 50890 HAS SOUPS 50890 WITH SCORE 50956.464
AT ITER 3819 NEW BEST:: SOT 140739 SOS 66456 HAS SOPS 66456 HAS SOUS 50868 HAS SOUPS 50868 WITH SCORE 50934.456
AT ITER 3825 NEW BEST:: SOT 141045 SOS 66376 HAS SOPS 66376 HAS SOUS 50811 HAS SOUPS 50811 WITH SCORE 50877.376
AT ITER 3836 NEW BEST:: SOT 141036 SOS 66368 HAS SOPS 66368 HAS SOUS 50792 HAS SOUPS 50792 WITH SCORE 50858.368
AT ITER 3866 NEW BEST:: SOT 141036 SOS 66365 HAS SOPS 66365 HAS SOUS 50789 HAS SOUPS 50789 WITH SCORE 50855.365
AT ITER 3912 NEW BEST:: SOT 141036 SOS 66344 HAS SOPS 66344 HAS SOUS 50768 HAS SOUPS 50768 WITH SCORE 50834.344
AT ITER 3927 NEW BEST:: SOT 141036 SOS 66256 HAS SOPS 66256 HAS SOUS 50768 HAS SOUPS 50768 WITH SCORE 50834.256
AT ITER 3930 NEW BEST:: SOT 140958 SOS 66180 HAS SOPS 66180 HAS SOUS 50677 HAS SOUPS 50677 WITH SCORE 50743.18
AT ITER 3941 NEW BEST:: SOT 140939 SOS 66046 HAS SOPS 66046 HAS SOUS 50582 HAS SOUPS 50582 WITH SCORE 50648.046
AT ITER 3956 NEW BEST:: SOT 140939 SOS 66013 HAS SOPS 66013 HAS SOUS 50448 HAS SOUPS 50448 WITH SCORE 50514.013
AT ITER 3966 NEW BEST:: SOT 140984 SOS 65992 HAS SOPS 65992 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50502.992
AT ITER 3967 NEW BEST:: SOT 140941 SOS 65840 HAS SOPS 65840 HAS SOUS 50367 HAS SOUPS 50367 WITH SCORE 50432.84
AT ITER 3971 NEW BEST:: SOT 140961 SOS 65697 HAS SOPS 65697 HAS SOUS 50254 HAS SOUPS 50254 WITH SCORE 50319.697
AT ITER 3991 NEW BEST:: SOT 140959 SOS 65693 HAS SOPS 65693 HAS SOUS 50250 HAS SOUPS 50250 WITH SCORE 50315.693
AT ITER 3998 NEW BEST:: SOT 140870 SOS 65528 HAS SOPS 65528 HAS SOUS 50150 HAS SOUPS 50150 WITH SCORE 50215.528
AT ITER 4005 NEW BEST:: SOT 140822 SOS 65429 HAS SOPS 65429 HAS SOUS 50078 HAS SOUPS 50078 WITH SCORE 50143.429
AT ITER 4015 NEW BEST:: SOT 140822 SOS 65401 HAS SOPS 65401 HAS SOUS 49994 HAS SOUPS 49994 WITH SCORE 50059.401
AT ITER 4023 NEW BEST:: SOT 140816 SOS 65226 HAS SOPS 65226 HAS SOUS 49912 HAS SOUPS 49912 WITH SCORE 49977.226
AT ITER 4028 NEW BEST:: SOT 140718 SOS 65131 HAS SOPS 65131 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49882.131
AT ITER 4031 NEW BEST:: SOT 140717 SOS 65130 HAS SOPS 65130 HAS SOUS 49816 HAS SOUPS 49816 WITH SCORE 49881.13
AT ITER 4049 NEW BEST:: SOT 140559 SOS 64888 HAS SOPS 64888 HAS SOUS 49574 HAS SOUPS 49574 WITH SCORE 49638.888
AT ITER 4053 NEW BEST:: SOT 140559 SOS 64888 HAS SOPS 64888 HAS SOUS 49559 HAS SOUPS 49559 WITH SCORE 49623.888
AT ITER 4079 NEW BEST:: SOT 140559 SOS 64874 HAS SOPS 64874 HAS SOUS 49535 HAS SOUPS 49535 WITH SCORE 49599.874
AT ITER 4080 NEW BEST:: SOT 140513 SOS 64838 HAS SOPS 64838 HAS SOUS 49499 HAS SOUPS 49499 WITH SCORE 49563.838
AT ITER 4085 NEW BEST:: SOT 140513 SOS 64823 HAS SOPS 64823 HAS SOUS 49478 HAS SOUPS 49478 WITH SCORE 49542.823
AT ITER 4097 NEW BEST:: SOT 140513 SOS 64814 HAS SOPS 64814 HAS SOUS 49460 HAS SOUPS 49460 WITH SCORE 49524.814
AT ITER 4105 NEW BEST:: SOT 140516 SOS 64798 HAS SOPS 64798 HAS SOUS 49444 HAS SOUPS 49444 WITH SCORE 49508.798
AT ITER 4112 NEW BEST:: SOT 140516 SOS 64797 HAS SOPS 64797 HAS SOUS 49441 HAS SOUPS 49441 WITH SCORE 49505.797
AT ITER 4117 NEW BEST:: SOT 140514 SOS 64745 HAS SOPS 64745 HAS SOUS 49389 HAS SOUPS 49389 WITH SCORE 49453.745
AT ITER 4135 NEW BEST:: SOT 140313 SOS 64432 HAS SOPS 64432 HAS SOUS 49076 HAS SOUPS 49076 WITH SCORE 49140.432
AT ITER 4140 NEW BEST:: SOT 140310 SOS 64429 HAS SOPS 64429 HAS SOUS 49073 HAS SOUPS 49073 WITH SCORE 49137.429
AT ITER 4145 NEW BEST:: SOT 140198 SOS 64317 HAS SOPS 64317 HAS SOUS 48961 HAS SOUPS 48961 WITH SCORE 49025.317
AT ITER 4146 NEW BEST:: SOT 140215 SOS 63906 HAS SOPS 63906 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48787.906
AT ITER 4189 NEW BEST:: SOT 140190 SOS 63869 HAS SOPS 63869 HAS SOUS 48711 HAS SOUPS 48711 WITH SCORE 48774.869
AT ITER 4201 NEW BEST:: SOT 140189 SOS 63868 HAS SOPS 63868 HAS SOUS 48708 HAS SOUPS 48708 WITH SCORE 48771.868
AT ITER 4213 NEW BEST:: SOT 140145 SOS 63800 HAS SOPS 63800 HAS SOUS 48644 HAS SOUPS 48644 WITH SCORE 48707.8
AT ITER 4244 NEW BEST:: SOT 140179 SOS 63777 HAS SOPS 63777 HAS SOUS 48631 HAS SOUPS 48631 WITH SCORE 48694.777
AT ITER 4245 NEW BEST:: SOT 140172 SOS 63667 HAS SOPS 63667 HAS SOUS 48582 HAS SOUPS 48582 WITH SCORE 48645.667
AT ITER 4251 NEW BEST:: SOT 140173 SOS 63758 HAS SOPS 63758 HAS SOUS 48503 HAS SOUPS 48503 WITH SCORE 48566.758
AT ITER 4270 NEW BEST:: SOT 139858 SOS 63402 HAS SOPS 63402 HAS SOUS 48147 HAS SOUPS 48147 WITH SCORE 48210.402
AT ITER 4272 NEW BEST:: SOT 139800 SOS 63344 HAS SOPS 63344 HAS SOUS 48089 HAS SOUPS 48089 WITH SCORE 48152.344
AT ITER 4315 NEW BEST:: SOT 139771 SOS 63257 HAS SOPS 63257 HAS SOUS 48056 HAS SOUPS 48056 WITH SCORE 48119.257
AT ITER 4323 NEW BEST:: SOT 139708 SOS 63130 HAS SOPS 63130 HAS SOUS 47955 HAS SOUPS 47955 WITH SCORE 48018.13
AT ITER 4331 NEW BEST:: SOT 139692 SOS 63121 HAS SOPS 63121 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 48009.121
AT ITER 4339 NEW BEST:: SOT 139650 SOS 63088 HAS SOPS 63088 HAS SOUS 47913 HAS SOUPS 47913 WITH SCORE 47976.088
AT ITER 4341 NEW BEST:: SOT 139635 SOS 63043 HAS SOPS 63043 HAS SOUS 47893 HAS SOUPS 47893 WITH SCORE 47956.043
AT ITER 4342 NEW BEST:: SOT 139635 SOS 63022 HAS SOPS 63022 HAS SOUS 47882 HAS SOUPS 47882 WITH SCORE 47945.022
AT ITER 4361 NEW BEST:: SOT 139588 SOS 62975 HAS SOPS 62975 HAS SOUS 47835 HAS SOUPS 47835 WITH SCORE 47897.975
AT ITER 4368 NEW BEST:: SOT 139588 SOS 62967 HAS SOPS 62967 HAS SOUS 47831 HAS SOUPS 47831 WITH SCORE 47893.967
AT ITER 4372 NEW BEST:: SOT 139588 SOS 62982 HAS SOPS 62982 HAS SOUS 47825 HAS SOUPS 47825 WITH SCORE 47887.982
AT ITER 4388 NEW BEST:: SOT 139588 SOS 62979 HAS SOPS 62979 HAS SOUS 47823 HAS SOUPS 47823 WITH SCORE 47885.979
AT ITER 4423 NEW BEST:: SOT 139520 SOS 62823 HAS SOPS 62823 HAS SOUS 47639 HAS SOUPS 47639 WITH SCORE 47701.823
AT ITER 4426 NEW BEST:: SOT 139520 SOS 62854 HAS SOPS 62854 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47671.854
AT ITER 4438 NEW BEST:: SOT 139254 SOS 62660 HAS SOPS 62660 HAS SOUS 47423 HAS SOUPS 47423 WITH SCORE 47485.66
AT ITER 4445 NEW BEST:: SOT 139335 SOS 62628 HAS SOPS 62628 HAS SOUS 47251 HAS SOUPS 47251 WITH SCORE 47313.628
AT ITER 4491 NEW BEST:: SOT 139164 SOS 62447 HAS SOPS 62447 HAS SOUS 47231 HAS SOUPS 47231 WITH SCORE 47293.447
AT ITER 4510 NEW BEST:: SOT 139154 SOS 62405 HAS SOPS 62405 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47285.405
AT ITER 4513 NEW BEST:: SOT 139217 SOS 62520 HAS SOPS 62520 HAS SOUS 47207 HAS SOUPS 47207 WITH SCORE 47269.52
AT ITER 4528 NEW BEST:: SOT 139098 SOS 62161 HAS SOPS 62161 HAS SOUS 47004 HAS SOUPS 47004 WITH SCORE 47066.161
AT ITER 4529 NEW BEST:: SOT 139098 SOS 62107 HAS SOPS 62107 HAS SOUS 46923 HAS SOUPS 46923 WITH SCORE 46985.107
AT ITER 4533 NEW BEST:: SOT 139098 SOS 62108 HAS SOPS 62108 HAS SOUS 46870 HAS SOUPS 46870 WITH SCORE 46932.108
AT ITER 4540 NEW BEST:: SOT 139064 SOS 62074 HAS SOPS 62074 HAS SOUS 46853 HAS SOUPS 46853 WITH SCORE 46915.074
AT ITER 4550 NEW BEST:: SOT 139075 SOS 62084 HAS SOPS 62084 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 46895.084
AT ITER 4559 NEW BEST:: SOT 139066 SOS 61850 HAS SOPS 61850 HAS SOUS 46748 HAS SOUPS 46748 WITH SCORE 46809.85
AT ITER 4563 NEW BEST:: SOT 139184 SOS 61890 HAS SOPS 61890 HAS SOUS 46669 HAS SOUPS 46669 WITH SCORE 46730.89
AT ITER 4572 NEW BEST:: SOT 139206 SOS 61777 HAS SOPS 61777 HAS SOUS 46644 HAS SOUPS 46644 WITH SCORE 46705.777
AT ITER 4581 NEW BEST:: SOT 139196 SOS 61838 HAS SOPS 61838 HAS SOUS 46583 HAS SOUPS 46583 WITH SCORE 46644.838
AT ITER 4587 NEW BEST:: SOT 139196 SOS 61788 HAS SOPS 61788 HAS SOUS 46578 HAS SOUPS 46578 WITH SCORE 46639.788
AT ITER 4594 NEW BEST:: SOT 139177 SOS 61771 HAS SOPS 61771 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46557.771
AT ITER 4602 NEW BEST:: SOT 139177 SOS 61755 HAS SOPS 61755 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46557.755
AT ITER 4609 NEW BEST:: SOT 139221 SOS 61859 HAS SOPS 61859 HAS SOUS 46477 HAS SOUPS 46477 WITH SCORE 46538.859
AT ITER 4662 NEW BEST:: SOT 139198 SOS 61829 HAS SOPS 61829 HAS SOUS 46426 HAS SOUPS 46426 WITH SCORE 46487.829
AT ITER 4669 NEW BEST:: SOT 139235 SOS 61831 HAS SOPS 61831 HAS SOUS 46406 HAS SOUPS 46406 WITH SCORE 46467.831
AT ITER 4673 NEW BEST:: SOT 139187 SOS 61713 HAS SOPS 61713 HAS SOUS 46303 HAS SOUPS 46303 WITH SCORE 46364.713
AT ITER 4685 NEW BEST:: SOT 139080 SOS 61641 HAS SOPS 61641 HAS SOUS 46215 HAS SOUPS 46215 WITH SCORE 46276.641
AT ITER 4696 NEW BEST:: SOT 139121 SOS 61682 HAS SOPS 61682 HAS SOUS 46210 HAS SOUPS 46210 WITH SCORE 46271.682
AT ITER 4703 NEW BEST:: SOT 139129 SOS 61088 HAS SOPS 61088 HAS SOUS 46153 HAS SOUPS 46153 WITH SCORE 46214.088
AT ITER 4713 NEW BEST:: SOT 139161 SOS 61136 HAS SOPS 61136 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46203.136
AT ITER 4718 NEW BEST:: SOT 139161 SOS 60968 HAS SOPS 60968 HAS SOUS 45992 HAS SOUPS 45992 WITH SCORE 46052.968
AT ITER 4721 NEW BEST:: SOT 139109 SOS 60916 HAS SOPS 60916 HAS SOUS 45940 HAS SOUPS 45940 WITH SCORE 46000.916
AT ITER 4745 NEW BEST:: SOT 139100 SOS 60898 HAS SOPS 60898 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 45982.898
AT ITER 4752 NEW BEST:: SOT 139037 SOS 60726 HAS SOPS 60726 HAS SOUS 45850 HAS SOUPS 45850 WITH SCORE 45910.726
AT ITER 4762 NEW BEST:: SOT 139093 SOS 60766 HAS SOPS 60766 HAS SOUS 45847 HAS SOUPS 45847 WITH SCORE 45907.766
AT ITER 4771 NEW BEST:: SOT 139063 SOS 60734 HAS SOPS 60734 HAS SOUS 45815 HAS SOUPS 45815 WITH SCORE 45875.734
AT ITER 4780 NEW BEST:: SOT 139052 SOS 60734 HAS SOPS 60734 HAS SOUS 45760 HAS SOUPS 45760 WITH SCORE 45820.734
AT ITER 4782 NEW BEST:: SOT 139052 SOS 60734 HAS SOPS 60734 HAS SOUS 45746 HAS SOUPS 45746 WITH SCORE 45806.734
AT ITER 4794 NEW BEST:: SOT 139052 SOS 60724 HAS SOPS 60724 HAS SOUS 45736 HAS SOUPS 45736 WITH SCORE 45796.724
AT ITER 4873 NEW BEST:: SOT 139051 SOS 60719 HAS SOPS 60719 HAS SOUS 45733 HAS SOUPS 45733 WITH SCORE 45793.719
AT ITER 4875 NEW BEST:: SOT 138976 SOS 60612 HAS SOPS 60612 HAS SOUS 45626 HAS SOUPS 45626 WITH SCORE 45686.612
AT ITER 4892 NEW BEST:: SOT 138976 SOS 60517 HAS SOPS 60517 HAS SOUS 45594 HAS SOUPS 45594 WITH SCORE 45654.517
AT ITER 4901 NEW BEST:: SOT 138965 SOS 60642 HAS SOPS 60642 HAS SOUS 45580 HAS SOUPS 45580 WITH SCORE 45640.642
AT ITER 4911 NEW BEST:: SOT 138947 SOS 60624 HAS SOPS 60624 HAS SOUS 45571 HAS SOUPS 45571 WITH SCORE 45631.624
AT ITER 4922 NEW BEST:: SOT 138984 SOS 60641 HAS SOPS 60641 HAS SOUS 45504 HAS SOUPS 45504 WITH SCORE 45564.641
AT ITER 4945 NEW BEST:: SOT 138933 SOS 60605 HAS SOPS 60605 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45557.605
AT ITER 4951 NEW BEST:: SOT 138909 SOS 60595 HAS SOPS 60595 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45487.595
AT ITER 4975 NEW BEST:: SOT 138923 SOS 60609 HAS SOPS 60609 HAS SOUS 45426 HAS SOUPS 45426 WITH SCORE 45486.609
AT ITER 4991 NEW BEST:: SOT 138859 SOS 59809 HAS SOPS 59809 HAS SOUS 45151 HAS SOUPS 45151 WITH SCORE 45210.809
AT ITER 5003 NEW BEST:: SOT 138853 SOS 59803 HAS SOPS 59803 HAS SOUS 45145 HAS SOUPS 45145 WITH SCORE 45204.803
AT ITER 5007 NEW BEST:: SOT 138821 SOS 59771 HAS SOPS 59771 HAS SOUS 45113 HAS SOUPS 45113 WITH SCORE 45172.771
AT ITER 5022 NEW BEST:: SOT 138760 SOS 59482 HAS SOPS 59482 HAS SOUS 44991 HAS SOUPS 44991 WITH SCORE 45050.482
AT ITER 5038 NEW BEST:: SOT 138768 SOS 59483 HAS SOPS 59483 HAS SOUS 44989 HAS SOUPS 44989 WITH SCORE 45048.483
AT ITER 5050 NEW BEST:: SOT 138759 SOS 59471 HAS SOPS 59471 HAS SOUS 44977 HAS SOUPS 44977 WITH SCORE 45036.471
AT ITER 5074 NEW BEST:: SOT 138728 SOS 59379 HAS SOPS 59379 HAS SOUS 44845 HAS SOUPS 44845 WITH SCORE 44904.379
AT ITER 5077 NEW BEST:: SOT 138731 SOS 59354 HAS SOPS 59354 HAS SOUS 44816 HAS SOUPS 44816 WITH SCORE 44875.354
AT ITER 5084 NEW BEST:: SOT 138716 SOS 59289 HAS SOPS 59289 HAS SOUS 44767 HAS SOUPS 44767 WITH SCORE 44826.289
AT ITER 5098 NEW BEST:: SOT 138716 SOS 59289 HAS SOPS 59289 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44816.289
AT ITER 5103 NEW BEST:: SOT 138578 SOS 59177 HAS SOPS 59177 HAS SOUS 44645 HAS SOUPS 44645 WITH SCORE 44704.177
AT ITER 5104 NEW BEST:: SOT 138544 SOS 59131 HAS SOPS 59131 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44688.131
AT ITER 5131 NEW BEST:: SOT 138445 SOS 59050 HAS SOPS 59050 HAS SOUS 44547 HAS SOUPS 44547 WITH SCORE 44606.05
AT ITER 5139 NEW BEST:: SOT 138445 SOS 59014 HAS SOPS 59014 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44602.014
AT ITER 5144 NEW BEST:: SOT 138445 SOS 59016 HAS SOPS 59016 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44601.016
AT ITER 5160 NEW BEST:: SOT 138422 SOS 59016 HAS SOPS 59016 HAS SOUS 44519 HAS SOUPS 44519 WITH SCORE 44578.016
AT ITER 5164 NEW BEST:: SOT 138423 SOS 59016 HAS SOPS 59016 HAS SOUS 44515 HAS SOUPS 44515 WITH SCORE 44574.016
AT ITER 5187 NEW BEST:: SOT 138423 SOS 59038 HAS SOPS 59038 HAS SOUS 44501 HAS SOUPS 44501 WITH SCORE 44560.038
AT ITER 5191 NEW BEST:: SOT 138410 SOS 59025 HAS SOPS 59025 HAS SOUS 44488 HAS SOUPS 44488 WITH SCORE 44547.025
AT ITER 5199 NEW BEST:: SOT 138410 SOS 59019 HAS SOPS 59019 HAS SOUS 44487 HAS SOUPS 44487 WITH SCORE 44546.019
AT ITER 5214 NEW BEST:: SOT 138393 SOS 59002 HAS SOPS 59002 HAS SOUS 44470 HAS SOUPS 44470 WITH SCORE 44529.002
AT ITER 5215 NEW BEST:: SOT 138393 SOS 58989 HAS SOPS 58989 HAS SOUS 44457 HAS SOUPS 44457 WITH SCORE 44515.989
AT ITER 5252 NEW BEST:: SOT 138400 SOS 58977 HAS SOPS 58977 HAS SOUS 44436 HAS SOUPS 44436 WITH SCORE 44494.977
AT ITER 5260 NEW BEST:: SOT 138400 SOS 58958 HAS SOPS 58958 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44475.958
AT ITER 5271 NEW BEST:: SOT 138398 SOS 58939 HAS SOPS 58939 HAS SOUS 44402 HAS SOUPS 44402 WITH SCORE 44460.939
AT ITER 5293 NEW BEST:: SOT 138390 SOS 58931 HAS SOPS 58931 HAS SOUS 44394 HAS SOUPS 44394 WITH SCORE 44452.931
AT ITER 5314 NEW BEST:: SOT 138380 SOS 58921 HAS SOPS 58921 HAS SOUS 44384 HAS SOUPS 44384 WITH SCORE 44442.921
AT ITER 5328 NEW BEST:: SOT 138398 SOS 58938 HAS SOPS 58938 HAS SOUS 44371 HAS SOUPS 44371 WITH SCORE 44429.938
AT ITER 5343 NEW BEST:: SOT 138384 SOS 58917 HAS SOPS 58917 HAS SOUS 44350 HAS SOUPS 44350 WITH SCORE 44408.917
AT ITER 5349 NEW BEST:: SOT 138297 SOS 58743 HAS SOPS 58743 HAS SOUS 44345 HAS SOUPS 44345 WITH SCORE 44403.743
AT ITER 5350 NEW BEST:: SOT 138263 SOS 58626 HAS SOPS 58626 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44388.626
AT ITER 5373 NEW BEST:: SOT 138227 SOS 58590 HAS SOPS 58590 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44366.59
AT ITER 5377 NEW BEST:: SOT 138181 SOS 58522 HAS SOPS 58522 HAS SOUS 44247 HAS SOUPS 44247 WITH SCORE 44305.522
AT ITER 5381 NEW BEST:: SOT 138146 SOS 58502 HAS SOPS 58502 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44268.502
AT ITER 5388 NEW BEST:: SOT 138146 SOS 58494 HAS SOPS 58494 HAS SOUS 44202 HAS SOUPS 44202 WITH SCORE 44260.494
AT ITER 5403 NEW BEST:: SOT 138030 SOS 58314 HAS SOPS 58314 HAS SOUS 44168 HAS SOUPS 44168 WITH SCORE 44226.314
AT ITER 5443 NEW BEST:: SOT 138019 SOS 58292 HAS SOPS 58292 HAS SOUS 44161 HAS SOUPS 44161 WITH SCORE 44219.292
AT ITER 5457 NEW BEST:: SOT 137985 SOS 58252 HAS SOPS 58252 HAS SOUS 44121 HAS SOUPS 44121 WITH SCORE 44179.252
AT ITER 5477 NEW BEST:: SOT 138039 SOS 58068 HAS SOPS 58068 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44173.068
AT ITER 5487 NEW BEST:: SOT 138033 SOS 58062 HAS SOPS 58062 HAS SOUS 44109 HAS SOUPS 44109 WITH SCORE 44167.062
AT ITER 5497 NEW BEST:: SOT 138033 SOS 58008 HAS SOPS 58008 HAS SOUS 44109 HAS SOUPS 44109 WITH SCORE 44167.008
AT ITER 5499 NEW BEST:: SOT 138018 SOS 57991 HAS SOPS 57991 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44142.991
AT ITER 5505 NEW BEST:: SOT 138018 SOS 57883 HAS SOPS 57883 HAS SOUS 44061 HAS SOUPS 44061 WITH SCORE 44118.883
AT ITER 5510 NEW BEST:: SOT 137973 SOS 57814 HAS SOPS 57814 HAS SOUS 43977 HAS SOUPS 43977 WITH SCORE 44034.814
AT ITER 5513 NEW BEST:: SOT 137928 SOS 57355 HAS SOPS 57355 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43902.355
AT ITER 5547 NEW BEST:: SOT 137918 SOS 57349 HAS SOPS 57349 HAS SOUS 43839 HAS SOUPS 43839 WITH SCORE 43896.349
AT ITER 5568 NEW BEST:: SOT 137898 SOS 57294 HAS SOPS 57294 HAS SOUS 43784 HAS SOUPS 43784 WITH SCORE 43841.294
AT ITER 5575 NEW BEST:: SOT 137844 SOS 57441 HAS SOPS 57441 HAS SOUS 43699 HAS SOUPS 43699 WITH SCORE 43756.441
AT ITER 5583 NEW BEST:: SOT 137809 SOS 57389 HAS SOPS 57389 HAS SOUS 43582 HAS SOUPS 43582 WITH SCORE 43639.389
AT ITER 5633 NEW BEST:: SOT 137804 SOS 57344 HAS SOPS 57344 HAS SOUS 43547 HAS SOUPS 43547 WITH SCORE 43604.344
AT ITER 5654 NEW BEST:: SOT 137777 SOS 57317 HAS SOPS 57317 HAS SOUS 43520 HAS SOUPS 43520 WITH SCORE 43577.317
AT ITER 5664 NEW BEST:: SOT 137631 SOS 57363 HAS SOPS 57363 HAS SOUS 43435 HAS SOUPS 43435 WITH SCORE 43492.363
AT ITER 5737 NEW BEST:: SOT 137631 SOS 57359 HAS SOPS 57359 HAS SOUS 43433 HAS SOUPS 43433 WITH SCORE 43490.359
AT ITER 5757 NEW BEST:: SOT 137609 SOS 57337 HAS SOPS 57337 HAS SOUS 43411 HAS SOUPS 43411 WITH SCORE 43468.337
AT ITER 5772 NEW BEST:: SOT 137462 SOS 57150 HAS SOPS 57150 HAS SOUS 43382 HAS SOUPS 43382 WITH SCORE 43439.15
AT ITER 5786 NEW BEST:: SOT 137444 SOS 57132 HAS SOPS 57132 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43421.132
AT ITER 5792 NEW BEST:: SOT 137434 SOS 57122 HAS SOPS 57122 HAS SOUS 43354 HAS SOUPS 43354 WITH SCORE 43411.122
AT ITER 5814 NEW BEST:: SOT 137430 SOS 57118 HAS SOPS 57118 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43407.118
AT ITER 5820 NEW BEST:: SOT 137408 SOS 57092 HAS SOPS 57092 HAS SOUS 43324 HAS SOUPS 43324 WITH SCORE 43381.092
AT ITER 5845 NEW BEST:: SOT 137424 SOS 57066 HAS SOPS 57066 HAS SOUS 43310 HAS SOUPS 43310 WITH SCORE 43367.066
AT ITER 5882 NEW BEST:: SOT 137384 SOS 57025 HAS SOPS 57025 HAS SOUS 43269 HAS SOUPS 43269 WITH SCORE 43326.025
AT ITER 5890 NEW BEST:: SOT 137384 SOS 56949 HAS SOPS 56949 HAS SOUS 43255 HAS SOUPS 43255 WITH SCORE 43311.949
AT ITER 5898 NEW BEST:: SOT 137404 SOS 56947 HAS SOPS 56947 HAS SOUS 43235 HAS SOUPS 43235 WITH SCORE 43291.947
AT ITER 5900 NEW BEST:: SOT 137407 SOS 56944 HAS SOPS 56944 HAS SOUS 43223 HAS SOUPS 43223 WITH SCORE 43279.944
AT ITER 5901 NEW BEST:: SOT 137402 SOS 56934 HAS SOPS 56934 HAS SOUS 43189 HAS SOUPS 43189 WITH SCORE 43245.934
AT ITER 5905 NEW BEST:: SOT 137402 SOS 56955 HAS SOPS 56955 HAS SOUS 43168 HAS SOUPS 43168 WITH SCORE 43224.955
AT ITER 5936 NEW BEST:: SOT 137380 SOS 56827 HAS SOPS 56827 HAS SOUS 43135 HAS SOUPS 43135 WITH SCORE 43191.827
AT ITER 5966 NEW BEST:: SOT 137419 SOS 56862 HAS SOPS 56862 HAS SOUS 43064 HAS SOUPS 43064 WITH SCORE 43120.862
AT ITER 5967 NEW BEST:: SOT 137411 SOS 56854 HAS SOPS 56854 HAS SOUS 43064 HAS SOUPS 43064 WITH SCORE 43120.854
AT ITER 5968 NEW BEST:: SOT 137411 SOS 56851 HAS SOPS 56851 HAS SOUS 43063 HAS SOUPS 43063 WITH SCORE 43119.851
AT ITER 6002 NEW BEST:: SOT 137372 SOS 56814 HAS SOPS 56814 HAS SOUS 43026 HAS SOUPS 43026 WITH SCORE 43082.814
AT ITER 6011 NEW BEST:: SOT 137365 SOS 56808 HAS SOPS 56808 HAS SOUS 42996 HAS SOUPS 42996 WITH SCORE 43052.808
AT ITER 6013 NEW BEST:: SOT 137361 SOS 56789 HAS SOPS 56789 HAS SOUS 42977 HAS SOUPS 42977 WITH SCORE 43033.789
AT ITER 6028 NEW BEST:: SOT 137395 SOS 56823 HAS SOPS 56823 HAS SOUS 42968 HAS SOUPS 42968 WITH SCORE 43024.823
AT ITER 6041 NEW BEST:: SOT 137349 SOS 56777 HAS SOPS 56777 HAS SOUS 42922 HAS SOUPS 42922 WITH SCORE 42978.777
AT ITER 6050 NEW BEST:: SOT 137259 SOS 56687 HAS SOPS 56687 HAS SOUS 42772 HAS SOUPS 42772 WITH SCORE 42828.687
AT ITER 6063 NEW BEST:: SOT 137250 SOS 56663 HAS SOPS 56663 HAS SOUS 42751 HAS SOUPS 42751 WITH SCORE 42807.663
AT ITER 6091 NEW BEST:: SOT 137250 SOS 56623 HAS SOPS 56623 HAS SOUS 42731 HAS SOUPS 42731 WITH SCORE 42787.623
AT ITER 6096 NEW BEST:: SOT 137182 SOS 56555 HAS SOPS 56555 HAS SOUS 42663 HAS SOUPS 42663 WITH SCORE 42719.555
AT ITER 6104 NEW BEST:: SOT 137114 SOS 56487 HAS SOPS 56487 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42531.487
AT ITER 6120 NEW BEST:: SOT 137114 SOS 56484 HAS SOPS 56484 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42531.484
AT ITER 6137 NEW BEST:: SOT 137114 SOS 56482 HAS SOPS 56482 HAS SOUS 42471 HAS SOUPS 42471 WITH SCORE 42527.482
AT ITER 6150 NEW BEST:: SOT 137103 SOS 56436 HAS SOPS 56436 HAS SOUS 42449 HAS SOUPS 42449 WITH SCORE 42505.436
AT ITER 6156 NEW BEST:: SOT 137099 SOS 56428 HAS SOPS 56428 HAS SOUS 42441 HAS SOUPS 42441 WITH SCORE 42497.428
AT ITER 6169 NEW BEST:: SOT 137087 SOS 56416 HAS SOPS 56416 HAS SOUS 42425 HAS SOUPS 42425 WITH SCORE 42481.416
AT ITER 6177 NEW BEST:: SOT 137082 SOS 56386 HAS SOPS 56386 HAS SOUS 42420 HAS SOUPS 42420 WITH SCORE 42476.386
AT ITER 6187 NEW BEST:: SOT 136996 SOS 56300 HAS SOPS 56300 HAS SOUS 42334 HAS SOUPS 42334 WITH SCORE 42390.3
AT ITER 6213 NEW BEST:: SOT 136996 SOS 56156 HAS SOPS 56156 HAS SOUS 42306 HAS SOUPS 42306 WITH SCORE 42362.156
AT ITER 6240 NEW BEST:: SOT 136989 SOS 56169 HAS SOPS 56169 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42355.169
AT ITER 6242 NEW BEST:: SOT 136974 SOS 56138 HAS SOPS 56138 HAS SOUS 42260 HAS SOUPS 42260 WITH SCORE 42316.138
AT ITER 6243 NEW BEST:: SOT 136974 SOS 56140 HAS SOPS 56140 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42289.14
AT ITER 6276 NEW BEST:: SOT 136984 SOS 56150 HAS SOPS 56150 HAS SOUS 42223 HAS SOUPS 42223 WITH SCORE 42279.15
AT ITER 6283 NEW BEST:: SOT 136984 SOS 56060 HAS SOPS 56060 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42275.06
AT ITER 6303 NEW BEST:: SOT 136878 SOS 55891 HAS SOPS 55891 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42130.891
AT ITER 6310 NEW BEST:: SOT 136878 SOS 55858 HAS SOPS 55858 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42130.858
AT ITER 6337 NEW BEST:: SOT 136886 SOS 55850 HAS SOPS 55850 HAS SOUS 42067 HAS SOUPS 42067 WITH SCORE 42122.85
AT ITER 6342 NEW BEST:: SOT 136894 SOS 55722 HAS SOPS 55722 HAS SOUS 41995 HAS SOUPS 41995 WITH SCORE 42050.722
AT ITER 6384 NEW BEST:: SOT 136894 SOS 55672 HAS SOPS 55672 HAS SOUS 41986 HAS SOUPS 41986 WITH SCORE 42041.672
AT ITER 6391 NEW BEST:: SOT 136914 SOS 55534 HAS SOPS 55534 HAS SOUS 41917 HAS SOUPS 41917 WITH SCORE 41972.534
AT ITER 6399 NEW BEST:: SOT 136929 SOS 55504 HAS SOPS 55504 HAS SOUS 41887 HAS SOUPS 41887 WITH SCORE 41942.504
AT ITER 6409 NEW BEST:: SOT 136929 SOS 55276 HAS SOPS 55276 HAS SOUS 41707 HAS SOUPS 41707 WITH SCORE 41762.276
AT ITER 6434 NEW BEST:: SOT 136914 SOS 55261 HAS SOPS 55261 HAS SOUS 41692 HAS SOUPS 41692 WITH SCORE 41747.261
AT ITER 6436 NEW BEST:: SOT 136930 SOS 55191 HAS SOPS 55191 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41729.191
AT ITER 6439 NEW BEST:: SOT 136930 SOS 55191 HAS SOPS 55191 HAS SOUS 41648 HAS SOUPS 41648 WITH SCORE 41703.191
AT ITER 6449 NEW BEST:: SOT 136949 SOS 55132 HAS SOPS 55132 HAS SOUS 41636 HAS SOUPS 41636 WITH SCORE 41691.132
AT ITER 6454 NEW BEST:: SOT 136938 SOS 55063 HAS SOPS 55063 HAS SOUS 41563 HAS SOUPS 41563 WITH SCORE 41618.063
AT ITER 6466 NEW BEST:: SOT 136938 SOS 55075 HAS SOPS 55075 HAS SOUS 41559 HAS SOUPS 41559 WITH SCORE 41614.075
AT ITER 6478 NEW BEST:: SOT 136922 SOS 55043 HAS SOPS 55043 HAS SOUS 41559 HAS SOUPS 41559 WITH SCORE 41614.043
AT ITER 6492 NEW BEST:: SOT 136912 SOS 55033 HAS SOPS 55033 HAS SOUS 41549 HAS SOUPS 41549 WITH SCORE 41604.033
AT ITER 6495 NEW BEST:: SOT 136904 SOS 55027 HAS SOPS 55027 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41598.027
AT ITER 6537 NEW BEST:: SOT 136836 SOS 54925 HAS SOPS 54925 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41477.925
AT ITER 6541 NEW BEST:: SOT 136832 SOS 54918 HAS SOPS 54918 HAS SOUS 41420 HAS SOUPS 41420 WITH SCORE 41474.918
AT ITER 6548 NEW BEST:: SOT 136807 SOS 54878 HAS SOPS 54878 HAS SOUS 41375 HAS SOUPS 41375 WITH SCORE 41429.878
AT ITER 6552 NEW BEST:: SOT 136818 SOS 54863 HAS SOPS 54863 HAS SOUS 41366 HAS SOUPS 41366 WITH SCORE 41420.863
AT ITER 6616 NEW BEST:: SOT 136809 SOS 54854 HAS SOPS 54854 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41402.854
AT ITER 6632 NEW BEST:: SOT 136795 SOS 54840 HAS SOPS 54840 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41388.84
AT ITER 6637 NEW BEST:: SOT 136787 SOS 54832 HAS SOPS 54832 HAS SOUS 41326 HAS SOUPS 41326 WITH SCORE 41380.832
AT ITER 6651 NEW BEST:: SOT 136714 SOS 54759 HAS SOPS 54759 HAS SOUS 41253 HAS SOUPS 41253 WITH SCORE 41307.759
AT ITER 6680 NEW BEST:: SOT 136803 SOS 54628 HAS SOPS 54628 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41222.628
AT ITER 6694 NEW BEST:: SOT 136777 SOS 54602 HAS SOPS 54602 HAS SOUS 41142 HAS SOUPS 41142 WITH SCORE 41196.602
AT ITER 6701 NEW BEST:: SOT 136775 SOS 54598 HAS SOPS 54598 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41192.598
AT ITER 6712 NEW BEST:: SOT 136769 SOS 54590 HAS SOPS 54590 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41184.59
AT ITER 6738 NEW BEST:: SOT 136769 SOS 54581 HAS SOPS 54581 HAS SOUS 41121 HAS SOUPS 41121 WITH SCORE 41175.581
AT ITER 6741 NEW BEST:: SOT 136743 SOS 54546 HAS SOPS 54546 HAS SOUS 41040 HAS SOUPS 41040 WITH SCORE 41094.546
AT ITER 6745 NEW BEST:: SOT 136702 SOS 54382 HAS SOPS 54382 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41012.382
AT ITER 6767 NEW BEST:: SOT 136567 SOS 54257 HAS SOPS 54257 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40907.257
AT ITER 6769 NEW BEST:: SOT 136528 SOS 54218 HAS SOPS 54218 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40868.218
AT ITER 6787 NEW BEST:: SOT 136546 SOS 54219 HAS SOPS 54219 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40810.219
AT ITER 6809 NEW BEST:: SOT 136546 SOS 54183 HAS SOPS 54183 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40803.183
AT ITER 6887 NEW BEST:: SOT 136534 SOS 54171 HAS SOPS 54171 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40791.171
AT ITER 6920 NEW BEST:: SOT 136461 SOS 54177 HAS SOPS 54177 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40712.177
AT ITER 6929 NEW BEST:: SOT 136429 SOS 54110 HAS SOPS 54110 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40645.11
AT ITER 6953 NEW BEST:: SOT 136407 SOS 54064 HAS SOPS 54064 HAS SOUS 40584 HAS SOUPS 40584 WITH SCORE 40638.064
AT ITER 6955 NEW BEST:: SOT 136419 SOS 54041 HAS SOPS 54041 HAS SOUS 40561 HAS SOUPS 40561 WITH SCORE 40615.041
AT ITER 6964 NEW BEST:: SOT 136277 SOS 53727 HAS SOPS 53727 HAS SOUS 40389 HAS SOUPS 40389 WITH SCORE 40442.727
AT ITER 6971 NEW BEST:: SOT 136264 SOS 53701 HAS SOPS 53701 HAS SOUS 40376 HAS SOUPS 40376 WITH SCORE 40429.701
AT ITER 7006 NEW BEST:: SOT 136263 SOS 53700 HAS SOPS 53700 HAS SOUS 40375 HAS SOUPS 40375 WITH SCORE 40428.7
AT ITER 7014 NEW BEST:: SOT 136229 SOS 53403 HAS SOPS 53403 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40413.403
AT ITER 7035 NEW BEST:: SOT 136226 SOS 53357 HAS SOPS 53357 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40389.357
AT ITER 7041 NEW BEST:: SOT 136229 SOS 53366 HAS SOPS 53366 HAS SOUS 40328 HAS SOUPS 40328 WITH SCORE 40381.366
AT ITER 7066 NEW BEST:: SOT 136264 SOS 53331 HAS SOPS 53331 HAS SOUS 40310 HAS SOUPS 40310 WITH SCORE 40363.331
AT ITER 7105 NEW BEST:: SOT 136236 SOS 53303 HAS SOPS 53303 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40335.303
AT ITER 7205 NEW BEST:: SOT 136216 SOS 53301 HAS SOPS 53301 HAS SOUS 40280 HAS SOUPS 40280 WITH SCORE 40333.301
AT ITER 7221 NEW BEST:: SOT 136214 SOS 53295 HAS SOPS 53295 HAS SOUS 40276 HAS SOUPS 40276 WITH SCORE 40329.295
AT ITER 7226 NEW BEST:: SOT 136213 SOS 53227 HAS SOPS 53227 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40303.227
AT ITER 7234 NEW BEST:: SOT 136228 SOS 53197 HAS SOPS 53197 HAS SOUS 40230 HAS SOUPS 40230 WITH SCORE 40283.197
AT ITER 7243 NEW BEST:: SOT 136214 SOS 53183 HAS SOPS 53183 HAS SOUS 40216 HAS SOUPS 40216 WITH SCORE 40269.183
AT ITER 7259 NEW BEST:: SOT 136196 SOS 52751 HAS SOPS 52751 HAS SOUS 40072 HAS SOUPS 40072 WITH SCORE 40124.751
AT ITER 7300 NEW BEST:: SOT 136171 SOS 52627 HAS SOPS 52627 HAS SOUS 40017 HAS SOUPS 40017 WITH SCORE 40069.627
AT ITER 7338 NEW BEST:: SOT 136169 SOS 52590 HAS SOPS 52590 HAS SOUS 39999 HAS SOUPS 39999 WITH SCORE 40051.59
AT ITER 7341 NEW BEST:: SOT 136123 SOS 52547 HAS SOPS 52547 HAS SOUS 39956 HAS SOUPS 39956 WITH SCORE 40008.547
AT ITER 7348 NEW BEST:: SOT 136017 SOS 52382 HAS SOPS 52382 HAS SOUS 39865 HAS SOUPS 39865 WITH SCORE 39917.382
AT ITER 7349 NEW BEST:: SOT 135760 SOS 52317 HAS SOPS 52317 HAS SOUS 39815 HAS SOUPS 39815 WITH SCORE 39867.317
AT ITER 7360 NEW BEST:: SOT 135656 SOS 52096 HAS SOPS 52096 HAS SOUS 39675 HAS SOUPS 39675 WITH SCORE 39727.096
AT ITER 7380 NEW BEST:: SOT 135639 SOS 52057 HAS SOPS 52057 HAS SOUS 39657 HAS SOUPS 39657 WITH SCORE 39709.057
AT ITER 7391 NEW BEST:: SOT 135639 SOS 52052 HAS SOPS 52052 HAS SOUS 39652 HAS SOUPS 39652 WITH SCORE 39704.052
AT ITER 7412 NEW BEST:: SOT 135639 SOS 51934 HAS SOPS 51934 HAS SOUS 39615 HAS SOUPS 39615 WITH SCORE 39666.934
AT ITER 7437 NEW BEST:: SOT 135639 SOS 51934 HAS SOPS 51934 HAS SOUS 39597 HAS SOUPS 39597 WITH SCORE 39648.934
AT ITER 7457 NEW BEST:: SOT 135639 SOS 51916 HAS SOPS 51916 HAS SOUS 39588 HAS SOUPS 39588 WITH SCORE 39639.916
AT ITER 7512 NEW BEST:: SOT 135642 SOS 51916 HAS SOPS 51916 HAS SOUS 39585 HAS SOUPS 39585 WITH SCORE 39636.916
AT ITER 7513 NEW BEST:: SOT 135642 SOS 51896 HAS SOPS 51896 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39600.896
AT ITER 7514 NEW BEST:: SOT 135621 SOS 51866 HAS SOPS 51866 HAS SOUS 39519 HAS SOUPS 39519 WITH SCORE 39570.866
AT ITER 7517 NEW BEST:: SOT 135604 SOS 51799 HAS SOPS 51799 HAS SOUS 39492 HAS SOUPS 39492 WITH SCORE 39543.799
AT ITER 7523 NEW BEST:: SOT 135550 SOS 51730 HAS SOPS 51730 HAS SOUS 39459 HAS SOUPS 39459 WITH SCORE 39510.73
AT ITER 7587 NEW BEST:: SOT 135550 SOS 51579 HAS SOPS 51579 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39450.579
AT ITER 7658 NEW BEST:: SOT 135553 SOS 51582 HAS SOPS 51582 HAS SOUS 39396 HAS SOUPS 39396 WITH SCORE 39447.582
AT ITER 7670 NEW BEST:: SOT 135553 SOS 51576 HAS SOPS 51576 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39441.576
AT ITER 7701 NEW BEST:: SOT 135543 SOS 51561 HAS SOPS 51561 HAS SOUS 39375 HAS SOUPS 39375 WITH SCORE 39426.561
AT ITER 7703 NEW BEST:: SOT 135554 SOS 51574 HAS SOPS 51574 HAS SOUS 39373 HAS SOUPS 39373 WITH SCORE 39424.574
AT ITER 7719 NEW BEST:: SOT 135552 SOS 51570 HAS SOPS 51570 HAS SOUS 39369 HAS SOUPS 39369 WITH SCORE 39420.57
AT ITER 7791 NEW BEST:: SOT 135542 SOS 51536 HAS SOPS 51536 HAS SOUS 39355 HAS SOUPS 39355 WITH SCORE 39406.536
AT ITER 7814 NEW BEST:: SOT 135542 SOS 51430 HAS SOPS 51430 HAS SOUS 39249 HAS SOUPS 39249 WITH SCORE 39300.43
AT ITER 7817 NEW BEST:: SOT 135542 SOS 51427 HAS SOPS 51427 HAS SOUS 39249 HAS SOUPS 39249 WITH SCORE 39300.427
AT ITER 7833 NEW BEST:: SOT 135542 SOS 51421 HAS SOPS 51421 HAS SOUS 39249 HAS SOUPS 39249 WITH SCORE 39300.421
AT ITER 7837 NEW BEST:: SOT 135542 SOS 51373 HAS SOPS 51373 HAS SOUS 39237 HAS SOUPS 39237 WITH SCORE 39288.373
AT ITER 7856 NEW BEST:: SOT 135565 SOS 51378 HAS SOPS 51378 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39255.378
AT ITER 7870 NEW BEST:: SOT 135611 SOS 51424 HAS SOPS 51424 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39241.424
AT ITER 7897 NEW BEST:: SOT 135582 SOS 51395 HAS SOPS 51395 HAS SOUS 39161 HAS SOUPS 39161 WITH SCORE 39212.395
AT ITER 7916 NEW BEST:: SOT 135588 SOS 51342 HAS SOPS 51342 HAS SOUS 39100 HAS SOUPS 39100 WITH SCORE 39151.342
AT ITER 7918 NEW BEST:: SOT 135578 SOS 51327 HAS SOPS 51327 HAS SOUS 39070 HAS SOUPS 39070 WITH SCORE 39121.327
AT ITER 7926 NEW BEST:: SOT 135573 SOS 51317 HAS SOPS 51317 HAS SOUS 39060 HAS SOUPS 39060 WITH SCORE 39111.317
AT ITER 7932 NEW BEST:: SOT 135571 SOS 51315 HAS SOPS 51315 HAS SOUS 39058 HAS SOUPS 39058 WITH SCORE 39109.315
AT ITER 7933 NEW BEST:: SOT 135567 SOS 51295 HAS SOPS 51295 HAS SOUS 39050 HAS SOUPS 39050 WITH SCORE 39101.295
AT ITER 7944 NEW BEST:: SOT 135524 SOS 51255 HAS SOPS 51255 HAS SOUS 39003 HAS SOUPS 39003 WITH SCORE 39054.255
AT ITER 7982 NEW BEST:: SOT 135555 SOS 51067 HAS SOPS 51067 HAS SOUS 38860 HAS SOUPS 38860 WITH SCORE 38911.067
AT ITER 7985 NEW BEST:: SOT 135467 SOS 50970 HAS SOPS 50970 HAS SOUS 38754 HAS SOUPS 38754 WITH SCORE 38804.97
AT ITER 8004 NEW BEST:: SOT 135497 SOS 50928 HAS SOPS 50928 HAS SOUS 38742 HAS SOUPS 38742 WITH SCORE 38792.928
AT ITER 8064 NEW BEST:: SOT 135497 SOS 50927 HAS SOPS 50927 HAS SOUS 38723 HAS SOUPS 38723 WITH SCORE 38773.927
AT ITER 8088 NEW BEST:: SOT 135459 SOS 50889 HAS SOPS 50889 HAS SOUS 38685 HAS SOUPS 38685 WITH SCORE 38735.889
AT ITER 8125 NEW BEST:: SOT 135397 SOS 50863 HAS SOPS 50863 HAS SOUS 38684 HAS SOUPS 38684 WITH SCORE 38734.863
AT ITER 8200 NEW BEST:: SOT 135418 SOS 50881 HAS SOPS 50881 HAS SOUS 38683 HAS SOUPS 38683 WITH SCORE 38733.881
AT ITER 8207 NEW BEST:: SOT 135415 SOS 50881 HAS SOPS 50881 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38729.881
AT ITER 8267 NEW BEST:: SOT 135415 SOS 50853 HAS SOPS 50853 HAS SOUS 38611 HAS SOUPS 38611 WITH SCORE 38661.853
AT ITER 8306 NEW BEST:: SOT 135456 SOS 50839 HAS SOPS 50839 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38657.839
AT ITER 8325 NEW BEST:: SOT 135454 SOS 50670 HAS SOPS 50670 HAS SOUS 38570 HAS SOUPS 38570 WITH SCORE 38620.67
AT ITER 8338 NEW BEST:: SOT 135460 SOS 50671 HAS SOPS 50671 HAS SOUS 38565 HAS SOUPS 38565 WITH SCORE 38615.671
AT ITER 8353 NEW BEST:: SOT 135460 SOS 50636 HAS SOPS 50636 HAS SOUS 38555 HAS SOUPS 38555 WITH SCORE 38605.636
AT ITER 8355 NEW BEST:: SOT 135355 SOS 50520 HAS SOPS 50520 HAS SOUS 38453 HAS SOUPS 38453 WITH SCORE 38503.52
AT ITER 8399 NEW BEST:: SOT 135352 SOS 50519 HAS SOPS 50519 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38502.519
AT ITER 8426 NEW BEST:: SOT 135465 SOS 50608 HAS SOPS 50608 HAS SOUS 38422 HAS SOUPS 38422 WITH SCORE 38472.608
AT ITER 8439 NEW BEST:: SOT 135462 SOS 50605 HAS SOPS 50605 HAS SOUS 38419 HAS SOUPS 38419 WITH SCORE 38469.605
AT ITER 8445 NEW BEST:: SOT 135478 SOS 50748 HAS SOPS 50748 HAS SOUS 38406 HAS SOUPS 38406 WITH SCORE 38456.748
AT ITER 8492 NEW BEST:: SOT 135344 SOS 50640 HAS SOPS 50640 HAS SOUS 38397 HAS SOUPS 38397 WITH SCORE 38447.64
AT ITER 8495 NEW BEST:: SOT 135201 SOS 50497 HAS SOPS 50497 HAS SOUS 38254 HAS SOUPS 38254 WITH SCORE 38304.497
AT ITER 8545 NEW BEST:: SOT 135199 SOS 50496 HAS SOPS 50496 HAS SOUS 38253 HAS SOUPS 38253 WITH SCORE 38303.496
AT ITER 8559 NEW BEST:: SOT 135199 SOS 50496 HAS SOPS 50496 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38300.496
AT ITER 8571 NEW BEST:: SOT 135168 SOS 50453 HAS SOPS 50453 HAS SOUS 38229 HAS SOUPS 38229 WITH SCORE 38279.453
AT ITER 8578 NEW BEST:: SOT 135170 SOS 50444 HAS SOPS 50444 HAS SOUS 38215 HAS SOUPS 38215 WITH SCORE 38265.444
AT ITER 8606 NEW BEST:: SOT 135141 SOS 50327 HAS SOPS 50327 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38255.327
AT ITER 8625 NEW BEST:: SOT 135117 SOS 50219 HAS SOPS 50219 HAS SOUS 38118 HAS SOUPS 38118 WITH SCORE 38168.219
AT ITER 8633 NEW BEST:: SOT 135089 SOS 50179 HAS SOPS 50179 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38156.179
AT ITER 8638 NEW BEST:: SOT 135089 SOS 50144 HAS SOPS 50144 HAS SOUS 38099 HAS SOUPS 38099 WITH SCORE 38149.144
AT ITER 8642 NEW BEST:: SOT 135084 SOS 50087 HAS SOPS 50087 HAS SOUS 38068 HAS SOUPS 38068 WITH SCORE 38118.087
AT ITER 8643 NEW BEST:: SOT 135070 SOS 50061 HAS SOPS 50061 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38101.061
AT ITER 8675 NEW BEST:: SOT 135054 SOS 50036 HAS SOPS 50036 HAS SOUS 38026 HAS SOUPS 38026 WITH SCORE 38076.036
AT ITER 8698 NEW BEST:: SOT 135050 SOS 50032 HAS SOPS 50032 HAS SOUS 38022 HAS SOUPS 38022 WITH SCORE 38072.032
AT ITER 8703 NEW BEST:: SOT 135039 SOS 50021 HAS SOPS 50021 HAS SOUS 38011 HAS SOUPS 38011 WITH SCORE 38061.021
AT ITER 8725 NEW BEST:: SOT 135024 SOS 50001 HAS SOPS 50001 HAS SOUS 37991 HAS SOUPS 37991 WITH SCORE 38041.001
AT ITER 8727 NEW BEST:: SOT 134990 SOS 49903 HAS SOPS 49903 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37927.903
AT ITER 8735 NEW BEST:: SOT 134979 SOS 49875 HAS SOPS 49875 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 37897.875
AT ITER 8740 NEW BEST:: SOT 134951 SOS 49676 HAS SOPS 49676 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37812.676
AT ITER 8742 NEW BEST:: SOT 134902 SOS 49627 HAS SOPS 49627 HAS SOUS 37719 HAS SOUPS 37719 WITH SCORE 37768.627
AT ITER 8743 NEW BEST:: SOT 134916 SOS 49614 HAS SOPS 49614 HAS SOUS 37706 HAS SOUPS 37706 WITH SCORE 37755.614
AT ITER 8792 NEW BEST:: SOT 134895 SOS 49626 HAS SOPS 49626 HAS SOUS 37661 HAS SOUPS 37661 WITH SCORE 37710.626
AT ITER 8808 NEW BEST:: SOT 134786 SOS 49517 HAS SOPS 49517 HAS SOUS 37552 HAS SOUPS 37552 WITH SCORE 37601.517
AT ITER 8871 NEW BEST:: SOT 134786 SOS 49515 HAS SOPS 49515 HAS SOUS 37551 HAS SOUPS 37551 WITH SCORE 37600.515
AT ITER 8909 NEW BEST:: SOT 134772 SOS 49515 HAS SOPS 49515 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37586.515
AT ITER 8942 NEW BEST:: SOT 134765 SOS 49487 HAS SOPS 49487 HAS SOUS 37502 HAS SOUPS 37502 WITH SCORE 37551.487
AT ITER 8947 NEW BEST:: SOT 134757 SOS 48906 HAS SOPS 48906 HAS SOUS 37476 HAS SOUPS 37476 WITH SCORE 37524.906
AT ITER 8971 NEW BEST:: SOT 134757 SOS 48905 HAS SOPS 48905 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37514.905
AT ITER 8994 NEW BEST:: SOT 134711 SOS 48859 HAS SOPS 48859 HAS SOUS 37420 HAS SOUPS 37420 WITH SCORE 37468.859
AT ITER 9001 NEW BEST:: SOT 134769 SOS 48638 HAS SOPS 48638 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37373.638
AT ITER 9020 NEW BEST:: SOT 134765 SOS 48607 HAS SOPS 48607 HAS SOUS 37291 HAS SOUPS 37291 WITH SCORE 37339.607
AT ITER 9030 NEW BEST:: SOT 134752 SOS 48594 HAS SOPS 48594 HAS SOUS 37278 HAS SOUPS 37278 WITH SCORE 37326.594
AT ITER 9037 NEW BEST:: SOT 134608 SOS 48420 HAS SOPS 48420 HAS SOUS 37156 HAS SOUPS 37156 WITH SCORE 37204.42
AT ITER 9066 NEW BEST:: SOT 134483 SOS 48243 HAS SOPS 48243 HAS SOUS 36987 HAS SOUPS 36987 WITH SCORE 37035.243
AT ITER 9083 NEW BEST:: SOT 134481 SOS 48241 HAS SOPS 48241 HAS SOUS 36985 HAS SOUPS 36985 WITH SCORE 37033.241
AT ITER 9099 NEW BEST:: SOT 134351 SOS 47991 HAS SOPS 47991 HAS SOUS 36771 HAS SOUPS 36771 WITH SCORE 36818.991
AT ITER 9128 NEW BEST:: SOT 134351 SOS 47901 HAS SOPS 47901 HAS SOUS 36735 HAS SOUPS 36735 WITH SCORE 36782.901
AT ITER 9140 NEW BEST:: SOT 134349 SOS 47899 HAS SOPS 47899 HAS SOUS 36733 HAS SOUPS 36733 WITH SCORE 36780.899
AT ITER 9172 NEW BEST:: SOT 134288 SOS 47883 HAS SOPS 47883 HAS SOUS 36717 HAS SOUPS 36717 WITH SCORE 36764.883
AT ITER 9200 NEW BEST:: SOT 134288 SOS 47878 HAS SOPS 47878 HAS SOUS 36713 HAS SOUPS 36713 WITH SCORE 36760.878
AT ITER 9234 NEW BEST:: SOT 134237 SOS 47827 HAS SOPS 47827 HAS SOUS 36662 HAS SOUPS 36662 WITH SCORE 36709.827
AT ITER 9259 NEW BEST:: SOT 134221 SOS 47827 HAS SOPS 47827 HAS SOUS 36654 HAS SOUPS 36654 WITH SCORE 36701.827
AT ITER 9261 NEW BEST:: SOT 134211 SOS 47817 HAS SOPS 47817 HAS SOUS 36644 HAS SOUPS 36644 WITH SCORE 36691.817
AT ITER 9269 NEW BEST:: SOT 134166 SOS 47873 HAS SOPS 47873 HAS SOUS 36577 HAS SOUPS 36577 WITH SCORE 36624.873
AT ITER 9281 NEW BEST:: SOT 134150 SOS 47847 HAS SOPS 47847 HAS SOUS 36561 HAS SOUPS 36561 WITH SCORE 36608.847
AT ITER 9331 NEW BEST:: SOT 134149 SOS 47846 HAS SOPS 47846 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36606.846
AT ITER 9337 NEW BEST:: SOT 134185 SOS 47894 HAS SOPS 47894 HAS SOUS 36558 HAS SOUPS 36558 WITH SCORE 36605.894
AT ITER 9343 NEW BEST:: SOT 134185 SOS 47830 HAS SOPS 47830 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36552.83
AT ITER 9369 NEW BEST:: SOT 134201 SOS 47840 HAS SOPS 47840 HAS SOUS 36496 HAS SOUPS 36496 WITH SCORE 36543.84
AT ITER 9372 NEW BEST:: SOT 134218 SOS 47894 HAS SOPS 47894 HAS SOUS 36493 HAS SOUPS 36493 WITH SCORE 36540.894
AT ITER 9376 NEW BEST:: SOT 134179 SOS 47925 HAS SOPS 47925 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36525.925
AT ITER 9389 NEW BEST:: SOT 134179 SOS 47925 HAS SOPS 47925 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36492.925
AT ITER 9404 NEW BEST:: SOT 134040 SOS 47786 HAS SOPS 47786 HAS SOUS 36295 HAS SOUPS 36295 WITH SCORE 36342.786
AT ITER 9460 NEW BEST:: SOT 133983 SOS 47660 HAS SOPS 47660 HAS SOUS 36178 HAS SOUPS 36178 WITH SCORE 36225.66
AT ITER 9461 NEW BEST:: SOT 133974 SOS 47633 HAS SOPS 47633 HAS SOUS 36169 HAS SOUPS 36169 WITH SCORE 36216.633
AT ITER 9479 NEW BEST:: SOT 133935 SOS 47574 HAS SOPS 47574 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36184.574
AT ITER 9531 NEW BEST:: SOT 133821 SOS 47425 HAS SOPS 47425 HAS SOUS 35908 HAS SOUPS 35908 WITH SCORE 35955.425
AT ITER 9539 NEW BEST:: SOT 133747 SOS 47351 HAS SOPS 47351 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35881.351
AT ITER 9553 NEW BEST:: SOT 133747 SOS 47339 HAS SOPS 47339 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35878.339
AT ITER 9554 NEW BEST:: SOT 133708 SOS 47300 HAS SOPS 47300 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35836.3
AT ITER 9556 NEW BEST:: SOT 133709 SOS 47301 HAS SOPS 47301 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35757.301
AT ITER 9606 NEW BEST:: SOT 133703 SOS 47281 HAS SOPS 47281 HAS SOUS 35688 HAS SOUPS 35688 WITH SCORE 35735.281
AT ITER 9652 NEW BEST:: SOT 133685 SOS 47263 HAS SOPS 47263 HAS SOUS 35670 HAS SOUPS 35670 WITH SCORE 35717.263
AT ITER 9716 NEW BEST:: SOT 133685 SOS 47257 HAS SOPS 47257 HAS SOUS 35667 HAS SOUPS 35667 WITH SCORE 35714.257
AT ITER 9728 NEW BEST:: SOT 133688 SOS 47252 HAS SOPS 47252 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35709.252
AT ITER 9732 NEW BEST:: SOT 133688 SOS 47239 HAS SOPS 47239 HAS SOUS 35645 HAS SOUPS 35645 WITH SCORE 35692.239
AT ITER 9747 NEW BEST:: SOT 133618 SOS 47155 HAS SOPS 47155 HAS SOUS 35561 HAS SOUPS 35561 WITH SCORE 35608.155
AT ITER 9786 NEW BEST:: SOT 133628 SOS 47155 HAS SOPS 47155 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35598.155
AT ITER 9804 NEW BEST:: SOT 133631 SOS 47168 HAS SOPS 47168 HAS SOUS 35499 HAS SOUPS 35499 WITH SCORE 35546.168
AT ITER 9872 NEW BEST:: SOT 133621 SOS 47134 HAS SOPS 47134 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35535.134
AT ITER 9887 NEW BEST:: SOT 133621 SOS 46996 HAS SOPS 46996 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35534.996
AT ITER 9903 NEW BEST:: SOT 133607 SOS 46975 HAS SOPS 46975 HAS SOUS 35467 HAS SOUPS 35467 WITH SCORE 35513.975
AT ITER 9918 NEW BEST:: SOT 133593 SOS 46961 HAS SOPS 46961 HAS SOUS 35465 HAS SOUPS 35465 WITH SCORE 35511.961
AT ITER 9929 NEW BEST:: SOT 133574 SOS 46942 HAS SOPS 46942 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35499.942
AT ITER 9938 NEW BEST:: SOT 133574 SOS 46941 HAS SOPS 46941 HAS SOUS 35449 HAS SOUPS 35449 WITH SCORE 35495.941
AT ITER 9984 NEW BEST:: SOT 133567 SOS 46926 HAS SOPS 46926 HAS SOUS 35418 HAS SOUPS 35418 WITH SCORE 35464.926
AT ITER 9989 NEW BEST:: SOT 133558 SOS 46902 HAS SOPS 46902 HAS SOUS 35394 HAS SOUPS 35394 WITH SCORE 35440.902

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="ShieldIIPs-PT-020A"
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 ShieldIIPs-PT-020A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469000144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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