Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407600440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DiscoveryGPU-PT-15b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407600440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.8K Feb 25 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 111K Mar 5 18:22 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 1679910887092

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-15b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 436 places, 464 transitions, 1214 arcs.
AT ITER 0 NEW BEST:: SOT 137914 SOS 63994 HAS SOPS 63994 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57308.994
AT ITER 6 NEW BEST:: SOT 137918 SOS 63909 HAS SOPS 63909 HAS SOUS 57158 HAS SOUPS 57158 WITH SCORE 57221.909
AT ITER 20 NEW BEST:: SOT 137881 SOS 63835 HAS SOPS 63835 HAS SOUS 57119 HAS SOUPS 57119 WITH SCORE 57182.835
AT ITER 28 NEW BEST:: SOT 137843 SOS 62658 HAS SOPS 62658 HAS SOUS 57081 HAS SOUPS 57081 WITH SCORE 57143.658
AT ITER 30 NEW BEST:: SOT 137802 SOS 62479 HAS SOPS 62479 HAS SOUS 56811 HAS SOUPS 56811 WITH SCORE 56873.479
AT ITER 31 NEW BEST:: SOT 137747 SOS 62444 HAS SOPS 62444 HAS SOUS 56810 HAS SOUPS 56810 WITH SCORE 56872.444
AT ITER 36 NEW BEST:: SOT 137746 SOS 62389 HAS SOPS 62389 HAS SOUS 56808 HAS SOUPS 56808 WITH SCORE 56870.389
AT ITER 41 NEW BEST:: SOT 137596 SOS 62146 HAS SOPS 62146 HAS SOUS 56565 HAS SOUPS 56565 WITH SCORE 56627.146
AT ITER 44 NEW BEST:: SOT 137485 SOS 62001 HAS SOPS 62001 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56482.001
AT ITER 45 NEW BEST:: SOT 137476 SOS 61992 HAS SOPS 61992 HAS SOUS 56419 HAS SOUPS 56419 WITH SCORE 56480.992
AT ITER 46 NEW BEST:: SOT 137416 SOS 61904 HAS SOPS 61904 HAS SOUS 56359 HAS SOUPS 56359 WITH SCORE 56420.904
AT ITER 49 NEW BEST:: SOT 137317 SOS 61805 HAS SOPS 61805 HAS SOUS 56260 HAS SOUPS 56260 WITH SCORE 56321.805
AT ITER 55 NEW BEST:: SOT 137300 SOS 61774 HAS SOPS 61774 HAS SOUS 56226 HAS SOUPS 56226 WITH SCORE 56287.774
AT ITER 60 NEW BEST:: SOT 137300 SOS 61742 HAS SOPS 61742 HAS SOUS 56225 HAS SOUPS 56225 WITH SCORE 56286.742
AT ITER 62 NEW BEST:: SOT 137234 SOS 61629 HAS SOPS 61629 HAS SOUS 56158 HAS SOUPS 56158 WITH SCORE 56219.629
AT ITER 80 NEW BEST:: SOT 137085 SOS 61421 HAS SOPS 61421 HAS SOUS 55950 HAS SOUPS 55950 WITH SCORE 56011.421
AT ITER 81 NEW BEST:: SOT 137097 SOS 61352 HAS SOPS 61352 HAS SOUS 55881 HAS SOUPS 55881 WITH SCORE 55942.352
AT ITER 82 NEW BEST:: SOT 137097 SOS 61327 HAS SOPS 61327 HAS SOUS 55880 HAS SOUPS 55880 WITH SCORE 55941.327
AT ITER 95 NEW BEST:: SOT 137106 SOS 61275 HAS SOPS 61275 HAS SOUS 55862 HAS SOUPS 55862 WITH SCORE 55923.275
AT ITER 99 NEW BEST:: SOT 136975 SOS 61150 HAS SOPS 61150 HAS SOUS 55737 HAS SOUPS 55737 WITH SCORE 55798.15
AT ITER 100 NEW BEST:: SOT 136770 SOS 60815 HAS SOPS 60815 HAS SOUS 55357 HAS SOUPS 55357 WITH SCORE 55417.815
AT ITER 117 NEW BEST:: SOT 136728 SOS 60820 HAS SOPS 60820 HAS SOUS 55347 HAS SOUPS 55347 WITH SCORE 55407.82
AT ITER 118 NEW BEST:: SOT 136658 SOS 60586 HAS SOPS 60586 HAS SOUS 55206 HAS SOUPS 55206 WITH SCORE 55266.586
AT ITER 121 NEW BEST:: SOT 136576 SOS 60422 HAS SOPS 60422 HAS SOUS 55122 HAS SOUPS 55122 WITH SCORE 55182.422
AT ITER 126 NEW BEST:: SOT 136576 SOS 60377 HAS SOPS 60377 HAS SOUS 55076 HAS SOUPS 55076 WITH SCORE 55136.377
AT ITER 129 NEW BEST:: SOT 136557 SOS 60358 HAS SOPS 60358 HAS SOUS 55057 HAS SOUPS 55057 WITH SCORE 55117.358
AT ITER 133 NEW BEST:: SOT 136453 SOS 60269 HAS SOPS 60269 HAS SOUS 55050 HAS SOUPS 55050 WITH SCORE 55110.269
AT ITER 134 NEW BEST:: SOT 136457 SOS 60220 HAS SOPS 60220 HAS SOUS 55029 HAS SOUPS 55029 WITH SCORE 55089.22
AT ITER 136 NEW BEST:: SOT 136262 SOS 59945 HAS SOPS 59945 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54813.945
AT ITER 140 NEW BEST:: SOT 136245 SOS 59928 HAS SOPS 59928 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54813.928
AT ITER 155 NEW BEST:: SOT 136160 SOS 59799 HAS SOPS 59799 HAS SOUS 54690 HAS SOUPS 54690 WITH SCORE 54749.799
AT ITER 156 NEW BEST:: SOT 136080 SOS 59692 HAS SOPS 59692 HAS SOUS 54610 HAS SOUPS 54610 WITH SCORE 54669.692
AT ITER 159 NEW BEST:: SOT 136077 SOS 59686 HAS SOPS 59686 HAS SOUS 54607 HAS SOUPS 54607 WITH SCORE 54666.686
AT ITER 166 NEW BEST:: SOT 136062 SOS 59400 HAS SOPS 59400 HAS SOUS 54577 HAS SOUPS 54577 WITH SCORE 54636.4
AT ITER 171 NEW BEST:: SOT 135946 SOS 59219 HAS SOPS 59219 HAS SOUS 54486 HAS SOUPS 54486 WITH SCORE 54545.219
AT ITER 173 NEW BEST:: SOT 135938 SOS 59074 HAS SOPS 59074 HAS SOUS 54376 HAS SOUPS 54376 WITH SCORE 54435.074
AT ITER 174 NEW BEST:: SOT 135856 SOS 58935 HAS SOPS 58935 HAS SOUS 54294 HAS SOUPS 54294 WITH SCORE 54352.935
AT ITER 177 NEW BEST:: SOT 135841 SOS 59127 HAS SOPS 59127 HAS SOUS 54292 HAS SOUPS 54292 WITH SCORE 54351.127
AT ITER 186 NEW BEST:: SOT 135811 SOS 59067 HAS SOPS 59067 HAS SOUS 54232 HAS SOUPS 54232 WITH SCORE 54291.067
AT ITER 188 NEW BEST:: SOT 135746 SOS 59019 HAS SOPS 59019 HAS SOUS 54217 HAS SOUPS 54217 WITH SCORE 54276.019
AT ITER 198 NEW BEST:: SOT 135758 SOS 59150 HAS SOPS 59150 HAS SOUS 54111 HAS SOUPS 54111 WITH SCORE 54170.15
AT ITER 208 NEW BEST:: SOT 135734 SOS 59102 HAS SOPS 59102 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54122.102
AT ITER 209 NEW BEST:: SOT 135714 SOS 59113 HAS SOPS 59113 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54114.113
AT ITER 216 NEW BEST:: SOT 135706 SOS 58994 HAS SOPS 58994 HAS SOUS 54036 HAS SOUPS 54036 WITH SCORE 54094.994
AT ITER 221 NEW BEST:: SOT 135524 SOS 58994 HAS SOPS 58994 HAS SOUS 53854 HAS SOUPS 53854 WITH SCORE 53912.994
AT ITER 223 NEW BEST:: SOT 135469 SOS 58720 HAS SOPS 58720 HAS SOUS 53681 HAS SOUPS 53681 WITH SCORE 53739.72
AT ITER 229 NEW BEST:: SOT 135318 SOS 58756 HAS SOPS 58756 HAS SOUS 53648 HAS SOUPS 53648 WITH SCORE 53706.756
AT ITER 235 NEW BEST:: SOT 135261 SOS 58699 HAS SOPS 58699 HAS SOUS 53591 HAS SOUPS 53591 WITH SCORE 53649.699
AT ITER 238 NEW BEST:: SOT 135261 SOS 58666 HAS SOPS 58666 HAS SOUS 53588 HAS SOUPS 53588 WITH SCORE 53646.666
AT ITER 239 NEW BEST:: SOT 135259 SOS 58664 HAS SOPS 58664 HAS SOUS 53588 HAS SOUPS 53588 WITH SCORE 53646.664
AT ITER 247 NEW BEST:: SOT 135255 SOS 58656 HAS SOPS 58656 HAS SOUS 53580 HAS SOUPS 53580 WITH SCORE 53638.656
AT ITER 250 NEW BEST:: SOT 135174 SOS 58575 HAS SOPS 58575 HAS SOUS 53499 HAS SOUPS 53499 WITH SCORE 53557.575
AT ITER 251 NEW BEST:: SOT 135129 SOS 58570 HAS SOPS 58570 HAS SOUS 53451 HAS SOUPS 53451 WITH SCORE 53509.57
AT ITER 266 NEW BEST:: SOT 135060 SOS 58344 HAS SOPS 58344 HAS SOUS 53405 HAS SOUPS 53405 WITH SCORE 53463.344
AT ITER 271 NEW BEST:: SOT 134993 SOS 58210 HAS SOPS 58210 HAS SOUS 53271 HAS SOUPS 53271 WITH SCORE 53329.21
AT ITER 278 NEW BEST:: SOT 134982 SOS 58207 HAS SOPS 58207 HAS SOUS 53250 HAS SOUPS 53250 WITH SCORE 53308.207
AT ITER 282 NEW BEST:: SOT 134911 SOS 58065 HAS SOPS 58065 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53166.065
AT ITER 283 NEW BEST:: SOT 134911 SOS 58065 HAS SOPS 58065 HAS SOUS 53049 HAS SOUPS 53049 WITH SCORE 53107.065
AT ITER 286 NEW BEST:: SOT 134911 SOS 58019 HAS SOPS 58019 HAS SOUS 53048 HAS SOUPS 53048 WITH SCORE 53106.019
AT ITER 287 NEW BEST:: SOT 134815 SOS 57878 HAS SOPS 57878 HAS SOUS 52967 HAS SOUPS 52967 WITH SCORE 53024.878
AT ITER 294 NEW BEST:: SOT 134804 SOS 57856 HAS SOPS 57856 HAS SOUS 52945 HAS SOUPS 52945 WITH SCORE 53002.856
AT ITER 307 NEW BEST:: SOT 134804 SOS 57773 HAS SOPS 57773 HAS SOUS 52862 HAS SOUPS 52862 WITH SCORE 52919.773
AT ITER 309 NEW BEST:: SOT 134683 SOS 57531 HAS SOPS 57531 HAS SOUS 52620 HAS SOUPS 52620 WITH SCORE 52677.531
AT ITER 310 NEW BEST:: SOT 134762 SOS 57495 HAS SOPS 57495 HAS SOUS 52584 HAS SOUPS 52584 WITH SCORE 52641.495
AT ITER 312 NEW BEST:: SOT 134728 SOS 57454 HAS SOPS 57454 HAS SOUS 52543 HAS SOUPS 52543 WITH SCORE 52600.454
AT ITER 314 NEW BEST:: SOT 134680 SOS 57406 HAS SOPS 57406 HAS SOUS 52529 HAS SOUPS 52529 WITH SCORE 52586.406
AT ITER 315 NEW BEST:: SOT 134792 SOS 57834 HAS SOPS 57834 HAS SOUS 52432 HAS SOUPS 52432 WITH SCORE 52489.834
AT ITER 324 NEW BEST:: SOT 134739 SOS 57781 HAS SOPS 57781 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52436.781
AT ITER 325 NEW BEST:: SOT 134739 SOS 57778 HAS SOPS 57778 HAS SOUS 52376 HAS SOUPS 52376 WITH SCORE 52433.778
AT ITER 328 NEW BEST:: SOT 134739 SOS 57734 HAS SOPS 57734 HAS SOUS 52375 HAS SOUPS 52375 WITH SCORE 52432.734
AT ITER 329 NEW BEST:: SOT 134603 SOS 57352 HAS SOPS 57352 HAS SOUS 51993 HAS SOUPS 51993 WITH SCORE 52050.352
AT ITER 330 NEW BEST:: SOT 134531 SOS 57287 HAS SOPS 57287 HAS SOUS 51928 HAS SOUPS 51928 WITH SCORE 51985.287
AT ITER 331 NEW BEST:: SOT 134487 SOS 57243 HAS SOPS 57243 HAS SOUS 51884 HAS SOUPS 51884 WITH SCORE 51941.243
AT ITER 332 NEW BEST:: SOT 134390 SOS 56666 HAS SOPS 56666 HAS SOUS 51699 HAS SOUPS 51699 WITH SCORE 51755.666
AT ITER 343 NEW BEST:: SOT 134390 SOS 56666 HAS SOPS 56666 HAS SOUS 51698 HAS SOUPS 51698 WITH SCORE 51754.666
AT ITER 348 NEW BEST:: SOT 134454 SOS 56603 HAS SOPS 56603 HAS SOUS 51635 HAS SOUPS 51635 WITH SCORE 51691.603
AT ITER 356 NEW BEST:: SOT 134454 SOS 56603 HAS SOPS 56603 HAS SOUS 51622 HAS SOUPS 51622 WITH SCORE 51678.603
AT ITER 357 NEW BEST:: SOT 134374 SOS 56556 HAS SOPS 56556 HAS SOUS 51559 HAS SOUPS 51559 WITH SCORE 51615.556
AT ITER 361 NEW BEST:: SOT 134332 SOS 56472 HAS SOPS 56472 HAS SOUS 51475 HAS SOUPS 51475 WITH SCORE 51531.472
AT ITER 362 NEW BEST:: SOT 134318 SOS 56471 HAS SOPS 56471 HAS SOUS 51474 HAS SOUPS 51474 WITH SCORE 51530.471
AT ITER 368 NEW BEST:: SOT 134216 SOS 56280 HAS SOPS 56280 HAS SOUS 51387 HAS SOUPS 51387 WITH SCORE 51443.28
AT ITER 374 NEW BEST:: SOT 134176 SOS 56239 HAS SOPS 56239 HAS SOUS 51346 HAS SOUPS 51346 WITH SCORE 51402.239
AT ITER 375 NEW BEST:: SOT 134161 SOS 56209 HAS SOPS 56209 HAS SOUS 51316 HAS SOUPS 51316 WITH SCORE 51372.209
AT ITER 384 NEW BEST:: SOT 134011 SOS 55912 HAS SOPS 55912 HAS SOUS 51286 HAS SOUPS 51286 WITH SCORE 51341.912
AT ITER 387 NEW BEST:: SOT 133996 SOS 55882 HAS SOPS 55882 HAS SOUS 51256 HAS SOUPS 51256 WITH SCORE 51311.882
AT ITER 389 NEW BEST:: SOT 133893 SOS 55779 HAS SOPS 55779 HAS SOUS 51153 HAS SOUPS 51153 WITH SCORE 51208.779
AT ITER 391 NEW BEST:: SOT 133753 SOS 55639 HAS SOPS 55639 HAS SOUS 51013 HAS SOUPS 51013 WITH SCORE 51068.639
AT ITER 401 NEW BEST:: SOT 133753 SOS 55639 HAS SOPS 55639 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51066.639
AT ITER 405 NEW BEST:: SOT 133531 SOS 55310 HAS SOPS 55310 HAS SOUS 50796 HAS SOUPS 50796 WITH SCORE 50851.31
AT ITER 408 NEW BEST:: SOT 133459 SOS 55055 HAS SOPS 55055 HAS SOUS 50652 HAS SOUPS 50652 WITH SCORE 50707.055
AT ITER 410 NEW BEST:: SOT 133342 SOS 54821 HAS SOPS 54821 HAS SOUS 50418 HAS SOUPS 50418 WITH SCORE 50472.821
AT ITER 414 NEW BEST:: SOT 133176 SOS 54572 HAS SOPS 54572 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50223.572
AT ITER 430 NEW BEST:: SOT 133185 SOS 54523 HAS SOPS 54523 HAS SOUS 50120 HAS SOUPS 50120 WITH SCORE 50174.523
AT ITER 431 NEW BEST:: SOT 133193 SOS 54488 HAS SOPS 54488 HAS SOUS 50093 HAS SOUPS 50093 WITH SCORE 50147.488
AT ITER 433 NEW BEST:: SOT 133177 SOS 54673 HAS SOPS 54673 HAS SOUS 49886 HAS SOUPS 49886 WITH SCORE 49940.673
AT ITER 435 NEW BEST:: SOT 133177 SOS 54656 HAS SOPS 54656 HAS SOUS 49883 HAS SOUPS 49883 WITH SCORE 49937.656
AT ITER 450 NEW BEST:: SOT 133073 SOS 54448 HAS SOPS 54448 HAS SOUS 49727 HAS SOUPS 49727 WITH SCORE 49781.448
AT ITER 463 NEW BEST:: SOT 133072 SOS 54446 HAS SOPS 54446 HAS SOUS 49725 HAS SOUPS 49725 WITH SCORE 49779.446
AT ITER 465 NEW BEST:: SOT 132961 SOS 52123 HAS SOPS 52123 HAS SOUS 49410 HAS SOUPS 49410 WITH SCORE 49462.123
AT ITER 484 NEW BEST:: SOT 132925 SOS 52087 HAS SOPS 52087 HAS SOUS 49374 HAS SOUPS 49374 WITH SCORE 49426.087
AT ITER 489 NEW BEST:: SOT 132920 SOS 52077 HAS SOPS 52077 HAS SOUS 49364 HAS SOUPS 49364 WITH SCORE 49416.077
AT ITER 498 NEW BEST:: SOT 132834 SOS 51995 HAS SOPS 51995 HAS SOUS 49282 HAS SOUPS 49282 WITH SCORE 49333.995
AT ITER 512 NEW BEST:: SOT 132770 SOS 51994 HAS SOPS 51994 HAS SOUS 49281 HAS SOUPS 49281 WITH SCORE 49332.994
AT ITER 517 NEW BEST:: SOT 132783 SOS 51975 HAS SOPS 51975 HAS SOUS 49262 HAS SOUPS 49262 WITH SCORE 49313.975
AT ITER 518 NEW BEST:: SOT 132770 SOS 51960 HAS SOPS 51960 HAS SOUS 49247 HAS SOUPS 49247 WITH SCORE 49298.96
AT ITER 521 NEW BEST:: SOT 132734 SOS 51888 HAS SOPS 51888 HAS SOUS 49220 HAS SOUPS 49220 WITH SCORE 49271.888
AT ITER 524 NEW BEST:: SOT 132706 SOS 51866 HAS SOPS 51866 HAS SOUS 49197 HAS SOUPS 49197 WITH SCORE 49248.866
AT ITER 525 NEW BEST:: SOT 132647 SOS 51777 HAS SOPS 51777 HAS SOUS 49152 HAS SOUPS 49152 WITH SCORE 49203.777
AT ITER 526 NEW BEST:: SOT 132420 SOS 51563 HAS SOPS 51563 HAS SOUS 48936 HAS SOUPS 48936 WITH SCORE 48987.563
AT ITER 530 NEW BEST:: SOT 132372 SOS 51467 HAS SOPS 51467 HAS SOUS 48840 HAS SOUPS 48840 WITH SCORE 48891.467
AT ITER 531 NEW BEST:: SOT 132372 SOS 51407 HAS SOPS 51407 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48861.407
AT ITER 534 NEW BEST:: SOT 132243 SOS 51266 HAS SOPS 51266 HAS SOUS 48618 HAS SOUPS 48618 WITH SCORE 48669.266
AT ITER 535 NEW BEST:: SOT 132148 SOS 51192 HAS SOPS 51192 HAS SOUS 48544 HAS SOUPS 48544 WITH SCORE 48595.192
AT ITER 544 NEW BEST:: SOT 132147 SOS 51191 HAS SOPS 51191 HAS SOUS 48543 HAS SOUPS 48543 WITH SCORE 48594.191
AT ITER 545 NEW BEST:: SOT 131984 SOS 50865 HAS SOPS 50865 HAS SOUS 48217 HAS SOUPS 48217 WITH SCORE 48267.865
AT ITER 551 NEW BEST:: SOT 131966 SOS 50751 HAS SOPS 50751 HAS SOUS 48199 HAS SOUPS 48199 WITH SCORE 48249.751
AT ITER 554 NEW BEST:: SOT 131899 SOS 50636 HAS SOPS 50636 HAS SOUS 48084 HAS SOUPS 48084 WITH SCORE 48134.636
AT ITER 558 NEW BEST:: SOT 131895 SOS 50628 HAS SOPS 50628 HAS SOUS 48070 HAS SOUPS 48070 WITH SCORE 48120.628
AT ITER 588 NEW BEST:: SOT 131884 SOS 50595 HAS SOPS 50595 HAS SOUS 48048 HAS SOUPS 48048 WITH SCORE 48098.595
AT ITER 594 NEW BEST:: SOT 131884 SOS 50593 HAS SOPS 50593 HAS SOUS 48046 HAS SOUPS 48046 WITH SCORE 48096.593
AT ITER 600 NEW BEST:: SOT 131884 SOS 50536 HAS SOPS 50536 HAS SOUS 47989 HAS SOUPS 47989 WITH SCORE 48039.536
AT ITER 601 NEW BEST:: SOT 131877 SOS 50522 HAS SOPS 50522 HAS SOUS 47975 HAS SOUPS 47975 WITH SCORE 48025.522
AT ITER 606 NEW BEST:: SOT 131828 SOS 50424 HAS SOPS 50424 HAS SOUS 47926 HAS SOUPS 47926 WITH SCORE 47976.424
AT ITER 612 NEW BEST:: SOT 131652 SOS 50479 HAS SOPS 50479 HAS SOUS 47904 HAS SOUPS 47904 WITH SCORE 47954.479
AT ITER 619 NEW BEST:: SOT 131611 SOS 50397 HAS SOPS 50397 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47872.397
AT ITER 620 NEW BEST:: SOT 131611 SOS 50540 HAS SOPS 50540 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47831.54
AT ITER 627 NEW BEST:: SOT 131611 SOS 50532 HAS SOPS 50532 HAS SOUS 47773 HAS SOUPS 47773 WITH SCORE 47823.532
AT ITER 630 NEW BEST:: SOT 131595 SOS 50332 HAS SOPS 50332 HAS SOUS 47741 HAS SOUPS 47741 WITH SCORE 47791.332
AT ITER 646 NEW BEST:: SOT 131553 SOS 50290 HAS SOPS 50290 HAS SOUS 47696 HAS SOUPS 47696 WITH SCORE 47746.29
AT ITER 649 NEW BEST:: SOT 131538 SOS 50244 HAS SOPS 50244 HAS SOUS 47665 HAS SOUPS 47665 WITH SCORE 47715.244
AT ITER 650 NEW BEST:: SOT 131481 SOS 50182 HAS SOPS 50182 HAS SOUS 47603 HAS SOUPS 47603 WITH SCORE 47653.182
AT ITER 655 NEW BEST:: SOT 131458 SOS 50113 HAS SOPS 50113 HAS SOUS 47580 HAS SOUPS 47580 WITH SCORE 47630.113
AT ITER 656 NEW BEST:: SOT 131467 SOS 50131 HAS SOPS 50131 HAS SOUS 47578 HAS SOUPS 47578 WITH SCORE 47628.131
AT ITER 663 NEW BEST:: SOT 131326 SOS 50079 HAS SOPS 50079 HAS SOUS 47411 HAS SOUPS 47411 WITH SCORE 47461.079
AT ITER 675 NEW BEST:: SOT 131326 SOS 50068 HAS SOPS 50068 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47450.068
AT ITER 677 NEW BEST:: SOT 131278 SOS 50039 HAS SOPS 50039 HAS SOUS 47352 HAS SOUPS 47352 WITH SCORE 47402.039
AT ITER 679 NEW BEST:: SOT 131262 SOS 50014 HAS SOPS 50014 HAS SOUS 47327 HAS SOUPS 47327 WITH SCORE 47377.014
AT ITER 686 NEW BEST:: SOT 131249 SOS 50014 HAS SOPS 50014 HAS SOUS 47326 HAS SOUPS 47326 WITH SCORE 47376.014
AT ITER 694 NEW BEST:: SOT 128716 SOS 47707 HAS SOPS 47707 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44894.707
AT ITER 695 NEW BEST:: SOT 128601 SOS 47476 HAS SOPS 47476 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44664.476
AT ITER 718 NEW BEST:: SOT 128542 SOS 47417 HAS SOPS 47417 HAS SOUS 44558 HAS SOUPS 44558 WITH SCORE 44605.417
AT ITER 722 NEW BEST:: SOT 128492 SOS 47334 HAS SOPS 47334 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44522.334
AT ITER 735 NEW BEST:: SOT 128456 SOS 47300 HAS SOPS 47300 HAS SOUS 44441 HAS SOUPS 44441 WITH SCORE 44488.3
AT ITER 736 NEW BEST:: SOT 128382 SOS 47226 HAS SOPS 47226 HAS SOUS 44367 HAS SOUPS 44367 WITH SCORE 44414.226
AT ITER 738 NEW BEST:: SOT 128352 SOS 47196 HAS SOPS 47196 HAS SOUS 44307 HAS SOUPS 44307 WITH SCORE 44354.196
AT ITER 740 NEW BEST:: SOT 128336 SOS 47164 HAS SOPS 47164 HAS SOUS 44291 HAS SOUPS 44291 WITH SCORE 44338.164
AT ITER 752 NEW BEST:: SOT 128324 SOS 47140 HAS SOPS 47140 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44314.14
AT ITER 756 NEW BEST:: SOT 128315 SOS 47112 HAS SOPS 47112 HAS SOUS 44248 HAS SOUPS 44248 WITH SCORE 44295.112
AT ITER 759 NEW BEST:: SOT 128323 SOS 47033 HAS SOPS 47033 HAS SOUS 44169 HAS SOUPS 44169 WITH SCORE 44216.033
AT ITER 760 NEW BEST:: SOT 128280 SOS 47015 HAS SOPS 47015 HAS SOUS 44126 HAS SOUPS 44126 WITH SCORE 44173.015
AT ITER 764 NEW BEST:: SOT 128280 SOS 46959 HAS SOPS 46959 HAS SOUS 44070 HAS SOUPS 44070 WITH SCORE 44116.959
AT ITER 769 NEW BEST:: SOT 128324 SOS 46940 HAS SOPS 46940 HAS SOUS 44051 HAS SOUPS 44051 WITH SCORE 44097.94
AT ITER 774 NEW BEST:: SOT 128275 SOS 46927 HAS SOPS 46927 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44048.927
AT ITER 789 NEW BEST:: SOT 128275 SOS 46922 HAS SOPS 46922 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44043.922
AT ITER 795 NEW BEST:: SOT 128244 SOS 46837 HAS SOPS 46837 HAS SOUS 43923 HAS SOUPS 43923 WITH SCORE 43969.837
AT ITER 798 NEW BEST:: SOT 128223 SOS 46831 HAS SOPS 46831 HAS SOUS 43917 HAS SOUPS 43917 WITH SCORE 43963.831
AT ITER 804 NEW BEST:: SOT 128223 SOS 46813 HAS SOPS 46813 HAS SOUS 43899 HAS SOUPS 43899 WITH SCORE 43945.813
AT ITER 805 NEW BEST:: SOT 127575 SOS 49519 HAS SOPS 49519 HAS SOUS 43584 HAS SOUPS 43584 WITH SCORE 43633.519
AT ITER 808 NEW BEST:: SOT 127648 SOS 49462 HAS SOPS 49462 HAS SOUS 43482 HAS SOUPS 43482 WITH SCORE 43531.462
AT ITER 810 NEW BEST:: SOT 127648 SOS 49383 HAS SOPS 49383 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43452.383
AT ITER 823 NEW BEST:: SOT 127594 SOS 49275 HAS SOPS 49275 HAS SOUS 43307 HAS SOUPS 43307 WITH SCORE 43356.275
AT ITER 828 NEW BEST:: SOT 127568 SOS 49197 HAS SOPS 49197 HAS SOUS 43255 HAS SOUPS 43255 WITH SCORE 43304.197
AT ITER 832 NEW BEST:: SOT 127385 SOS 48786 HAS SOPS 48786 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43198.786
AT ITER 855 NEW BEST:: SOT 127340 SOS 48741 HAS SOPS 48741 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43189.741
AT ITER 861 NEW BEST:: SOT 127288 SOS 48705 HAS SOPS 48705 HAS SOUS 43105 HAS SOUPS 43105 WITH SCORE 43153.705
AT ITER 862 NEW BEST:: SOT 127236 SOS 48601 HAS SOPS 48601 HAS SOUS 43088 HAS SOUPS 43088 WITH SCORE 43136.601
AT ITER 870 NEW BEST:: SOT 127137 SOS 48458 HAS SOPS 48458 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43090.458
AT ITER 873 NEW BEST:: SOT 127075 SOS 48521 HAS SOPS 48521 HAS SOUS 42966 HAS SOUPS 42966 WITH SCORE 43014.521
AT ITER 877 NEW BEST:: SOT 127054 SOS 48500 HAS SOPS 48500 HAS SOUS 42945 HAS SOUPS 42945 WITH SCORE 42993.5
AT ITER 894 NEW BEST:: SOT 127016 SOS 48462 HAS SOPS 48462 HAS SOUS 42907 HAS SOUPS 42907 WITH SCORE 42955.462
AT ITER 903 NEW BEST:: SOT 127003 SOS 48423 HAS SOPS 48423 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42915.423
AT ITER 906 NEW BEST:: SOT 127003 SOS 48423 HAS SOPS 48423 HAS SOUS 42866 HAS SOUPS 42866 WITH SCORE 42914.423
AT ITER 916 NEW BEST:: SOT 126964 SOS 48345 HAS SOPS 48345 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42836.345
AT ITER 919 NEW BEST:: SOT 126963 SOS 48343 HAS SOPS 48343 HAS SOUS 42786 HAS SOUPS 42786 WITH SCORE 42834.343
AT ITER 936 NEW BEST:: SOT 126954 SOS 48341 HAS SOPS 48341 HAS SOUS 42768 HAS SOUPS 42768 WITH SCORE 42816.341
AT ITER 940 NEW BEST:: SOT 126893 SOS 48219 HAS SOPS 48219 HAS SOUS 42646 HAS SOUPS 42646 WITH SCORE 42694.219
AT ITER 943 NEW BEST:: SOT 126893 SOS 48230 HAS SOPS 48230 HAS SOUS 42638 HAS SOUPS 42638 WITH SCORE 42686.23
AT ITER 950 NEW BEST:: SOT 126890 SOS 48227 HAS SOPS 48227 HAS SOUS 42635 HAS SOUPS 42635 WITH SCORE 42683.227
AT ITER 955 NEW BEST:: SOT 126766 SOS 48100 HAS SOPS 48100 HAS SOUS 42473 HAS SOUPS 42473 WITH SCORE 42521.1
AT ITER 965 NEW BEST:: SOT 126762 SOS 48092 HAS SOPS 48092 HAS SOUS 42465 HAS SOUPS 42465 WITH SCORE 42513.092
AT ITER 971 NEW BEST:: SOT 126821 SOS 48135 HAS SOPS 48135 HAS SOUS 42464 HAS SOUPS 42464 WITH SCORE 42512.135
AT ITER 978 NEW BEST:: SOT 126735 SOS 48000 HAS SOPS 48000 HAS SOUS 42381 HAS SOUPS 42381 WITH SCORE 42429.0
AT ITER 997 NEW BEST:: SOT 124746 SOS 50709 HAS SOPS 50709 HAS SOUS 40692 HAS SOUPS 40692 WITH SCORE 40742.709
AT ITER 1000 NEW BEST:: SOT 124723 SOS 50663 HAS SOPS 50663 HAS SOUS 40669 HAS SOUPS 40669 WITH SCORE 40719.663
AT ITER 1005 NEW BEST:: SOT 124710 SOS 50637 HAS SOPS 50637 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40694.637
AT ITER 1007 NEW BEST:: SOT 124684 SOS 50611 HAS SOPS 50611 HAS SOUS 40618 HAS SOUPS 40618 WITH SCORE 40668.611
AT ITER 1012 NEW BEST:: SOT 124684 SOS 50611 HAS SOPS 50611 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40619.611
AT ITER 1018 NEW BEST:: SOT 123303 SOS 51344 HAS SOPS 51344 HAS SOUS 39610 HAS SOUPS 39610 WITH SCORE 39661.344
AT ITER 1020 NEW BEST:: SOT 123108 SOS 50954 HAS SOPS 50954 HAS SOUS 39220 HAS SOUPS 39220 WITH SCORE 39270.954
AT ITER 1026 NEW BEST:: SOT 123176 SOS 50918 HAS SOPS 50918 HAS SOUS 39150 HAS SOUPS 39150 WITH SCORE 39200.918
AT ITER 1027 NEW BEST:: SOT 123133 SOS 50832 HAS SOPS 50832 HAS SOUS 39064 HAS SOUPS 39064 WITH SCORE 39114.832
AT ITER 1031 NEW BEST:: SOT 123088 SOS 50742 HAS SOPS 50742 HAS SOUS 39019 HAS SOUPS 39019 WITH SCORE 39069.742
AT ITER 1035 NEW BEST:: SOT 123029 SOS 50539 HAS SOPS 50539 HAS SOUS 38738 HAS SOUPS 38738 WITH SCORE 38788.539
AT ITER 1039 NEW BEST:: SOT 122971 SOS 50452 HAS SOPS 50452 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38701.452
AT ITER 1045 NEW BEST:: SOT 123034 SOS 50334 HAS SOPS 50334 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38614.334
AT ITER 1059 NEW BEST:: SOT 123015 SOS 50335 HAS SOPS 50335 HAS SOUS 38545 HAS SOUPS 38545 WITH SCORE 38595.335
AT ITER 1062 NEW BEST:: SOT 122764 SOS 49982 HAS SOPS 49982 HAS SOUS 38199 HAS SOUPS 38199 WITH SCORE 38248.982
AT ITER 1066 NEW BEST:: SOT 122764 SOS 49959 HAS SOPS 49959 HAS SOUS 38153 HAS SOUPS 38153 WITH SCORE 38202.959
AT ITER 1078 NEW BEST:: SOT 122638 SOS 51622 HAS SOPS 51622 HAS SOUS 38105 HAS SOUPS 38105 WITH SCORE 38156.622
AT ITER 1087 NEW BEST:: SOT 122599 SOS 51557 HAS SOPS 51557 HAS SOUS 38040 HAS SOUPS 38040 WITH SCORE 38091.557
AT ITER 1089 NEW BEST:: SOT 122610 SOS 51579 HAS SOPS 51579 HAS SOUS 38019 HAS SOUPS 38019 WITH SCORE 38070.579
AT ITER 1098 NEW BEST:: SOT 122477 SOS 51335 HAS SOPS 51335 HAS SOUS 37696 HAS SOUPS 37696 WITH SCORE 37747.335
AT ITER 1111 NEW BEST:: SOT 122435 SOS 51154 HAS SOPS 51154 HAS SOUS 37612 HAS SOUPS 37612 WITH SCORE 37663.154
AT ITER 1135 NEW BEST:: SOT 122418 SOS 51137 HAS SOPS 51137 HAS SOUS 37578 HAS SOUPS 37578 WITH SCORE 37629.137
AT ITER 1154 NEW BEST:: SOT 122417 SOS 51136 HAS SOPS 51136 HAS SOUS 37576 HAS SOUPS 37576 WITH SCORE 37627.136
AT ITER 1155 NEW BEST:: SOT 122436 SOS 51174 HAS SOPS 51174 HAS SOUS 37564 HAS SOUPS 37564 WITH SCORE 37615.174
AT ITER 1161 NEW BEST:: SOT 122397 SOS 51135 HAS SOPS 51135 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37576.135
AT ITER 1165 NEW BEST:: SOT 122397 SOS 51115 HAS SOPS 51115 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37576.115
AT ITER 1167 NEW BEST:: SOT 122354 SOS 51065 HAS SOPS 51065 HAS SOUS 37511 HAS SOUPS 37511 WITH SCORE 37562.065
AT ITER 1171 NEW BEST:: SOT 122327 SOS 51038 HAS SOPS 51038 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37535.038
AT ITER 1174 NEW BEST:: SOT 122247 SOS 50878 HAS SOPS 50878 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37454.878
AT ITER 1181 NEW BEST:: SOT 122189 SOS 50762 HAS SOPS 50762 HAS SOUS 37293 HAS SOUPS 37293 WITH SCORE 37343.762
AT ITER 1188 NEW BEST:: SOT 122189 SOS 50756 HAS SOPS 50756 HAS SOUS 37287 HAS SOUPS 37287 WITH SCORE 37337.756
AT ITER 1200 NEW BEST:: SOT 122053 SOS 50348 HAS SOPS 50348 HAS SOUS 36879 HAS SOUPS 36879 WITH SCORE 36929.348
AT ITER 1201 NEW BEST:: SOT 122022 SOS 50299 HAS SOPS 50299 HAS SOUS 36821 HAS SOUPS 36821 WITH SCORE 36871.299
AT ITER 1207 NEW BEST:: SOT 121990 SOS 50154 HAS SOPS 50154 HAS SOUS 36746 HAS SOUPS 36746 WITH SCORE 36796.154
AT ITER 1210 NEW BEST:: SOT 121918 SOS 50127 HAS SOPS 50127 HAS SOUS 36602 HAS SOUPS 36602 WITH SCORE 36652.127
AT ITER 1218 NEW BEST:: SOT 121882 SOS 50055 HAS SOPS 50055 HAS SOUS 36530 HAS SOUPS 36530 WITH SCORE 36580.055
AT ITER 1226 NEW BEST:: SOT 121864 SOS 50019 HAS SOPS 50019 HAS SOUS 36499 HAS SOUPS 36499 WITH SCORE 36549.019
AT ITER 1236 NEW BEST:: SOT 121842 SOS 49997 HAS SOPS 49997 HAS SOUS 36499 HAS SOUPS 36499 WITH SCORE 36548.997
AT ITER 1237 NEW BEST:: SOT 121816 SOS 49962 HAS SOPS 49962 HAS SOUS 36464 HAS SOUPS 36464 WITH SCORE 36513.962
AT ITER 1238 NEW BEST:: SOT 121805 SOS 49940 HAS SOPS 49940 HAS SOUS 36453 HAS SOUPS 36453 WITH SCORE 36502.94
AT ITER 1247 NEW BEST:: SOT 121796 SOS 49913 HAS SOPS 49913 HAS SOUS 36444 HAS SOUPS 36444 WITH SCORE 36493.913
AT ITER 1254 NEW BEST:: SOT 121740 SOS 49795 HAS SOPS 49795 HAS SOUS 36326 HAS SOUPS 36326 WITH SCORE 36375.795
AT ITER 1290 NEW BEST:: SOT 121720 SOS 49775 HAS SOPS 49775 HAS SOUS 36305 HAS SOUPS 36305 WITH SCORE 36354.775
AT ITER 1291 NEW BEST:: SOT 121722 SOS 49752 HAS SOPS 49752 HAS SOUS 36305 HAS SOUPS 36305 WITH SCORE 36354.752
AT ITER 1315 NEW BEST:: SOT 121723 SOS 49580 HAS SOPS 49580 HAS SOUS 36268 HAS SOUPS 36268 WITH SCORE 36317.58
AT ITER 1316 NEW BEST:: SOT 121720 SOS 49575 HAS SOPS 49575 HAS SOUS 36264 HAS SOUPS 36264 WITH SCORE 36313.575
AT ITER 1326 NEW BEST:: SOT 121751 SOS 49556 HAS SOPS 49556 HAS SOUS 36237 HAS SOUPS 36237 WITH SCORE 36286.556
AT ITER 1329 NEW BEST:: SOT 121753 SOS 49556 HAS SOPS 49556 HAS SOUS 36235 HAS SOUPS 36235 WITH SCORE 36284.556
AT ITER 1341 NEW BEST:: SOT 121705 SOS 49460 HAS SOPS 49460 HAS SOUS 36168 HAS SOUPS 36168 WITH SCORE 36217.46
AT ITER 1345 NEW BEST:: SOT 120874 SOS 52447 HAS SOPS 52447 HAS SOUS 35517 HAS SOUPS 35517 WITH SCORE 35569.447
AT ITER 1349 NEW BEST:: SOT 120865 SOS 50326 HAS SOPS 50326 HAS SOUS 35499 HAS SOUPS 35499 WITH SCORE 35549.326
AT ITER 1362 NEW BEST:: SOT 120768 SOS 50315 HAS SOPS 50315 HAS SOUS 35459 HAS SOUPS 35459 WITH SCORE 35509.315
AT ITER 1381 NEW BEST:: SOT 120714 SOS 50246 HAS SOPS 50246 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35440.246
AT ITER 1405 NEW BEST:: SOT 120673 SOS 50252 HAS SOPS 50252 HAS SOUS 35335 HAS SOUPS 35335 WITH SCORE 35385.252
AT ITER 1408 NEW BEST:: SOT 120495 SOS 49960 HAS SOPS 49960 HAS SOUS 35043 HAS SOUPS 35043 WITH SCORE 35092.96
AT ITER 1409 NEW BEST:: SOT 120540 SOS 49833 HAS SOPS 49833 HAS SOUS 34979 HAS SOUPS 34979 WITH SCORE 35028.833
AT ITER 1411 NEW BEST:: SOT 120486 SOS 49725 HAS SOPS 49725 HAS SOUS 34873 HAS SOUPS 34873 WITH SCORE 34922.725
AT ITER 1415 NEW BEST:: SOT 120414 SOS 49581 HAS SOPS 49581 HAS SOUS 34820 HAS SOUPS 34820 WITH SCORE 34869.581
AT ITER 1419 NEW BEST:: SOT 120409 SOS 49643 HAS SOPS 49643 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34864.643
AT ITER 1423 NEW BEST:: SOT 120439 SOS 49654 HAS SOPS 49654 HAS SOUS 34798 HAS SOUPS 34798 WITH SCORE 34847.654
AT ITER 1424 NEW BEST:: SOT 120403 SOS 49610 HAS SOPS 49610 HAS SOUS 34726 HAS SOUPS 34726 WITH SCORE 34775.61
AT ITER 1429 NEW BEST:: SOT 120387 SOS 49579 HAS SOPS 49579 HAS SOUS 34694 HAS SOUPS 34694 WITH SCORE 34743.579
AT ITER 1431 NEW BEST:: SOT 120387 SOS 49574 HAS SOPS 49574 HAS SOUS 34694 HAS SOUPS 34694 WITH SCORE 34743.574
AT ITER 1433 NEW BEST:: SOT 120367 SOS 49450 HAS SOPS 49450 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34608.45
AT ITER 1438 NEW BEST:: SOT 120343 SOS 49486 HAS SOPS 49486 HAS SOUS 34511 HAS SOUPS 34511 WITH SCORE 34560.486
AT ITER 1439 NEW BEST:: SOT 120340 SOS 49506 HAS SOPS 49506 HAS SOUS 34487 HAS SOUPS 34487 WITH SCORE 34536.506
AT ITER 1443 NEW BEST:: SOT 120339 SOS 49455 HAS SOPS 49455 HAS SOUS 34435 HAS SOUPS 34435 WITH SCORE 34484.455
AT ITER 1444 NEW BEST:: SOT 120328 SOS 49411 HAS SOPS 49411 HAS SOUS 34413 HAS SOUPS 34413 WITH SCORE 34462.411
AT ITER 1446 NEW BEST:: SOT 120327 SOS 49409 HAS SOPS 49409 HAS SOUS 34411 HAS SOUPS 34411 WITH SCORE 34460.409
AT ITER 1452 NEW BEST:: SOT 120277 SOS 49284 HAS SOPS 49284 HAS SOUS 34358 HAS SOUPS 34358 WITH SCORE 34407.284
AT ITER 1453 NEW BEST:: SOT 120201 SOS 49219 HAS SOPS 49219 HAS SOUS 34041 HAS SOUPS 34041 WITH SCORE 34090.219
AT ITER 1461 NEW BEST:: SOT 120186 SOS 49190 HAS SOPS 49190 HAS SOUS 34011 HAS SOUPS 34011 WITH SCORE 34060.19
AT ITER 1462 NEW BEST:: SOT 120215 SOS 49098 HAS SOPS 49098 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 33999.098
AT ITER 1463 NEW BEST:: SOT 120237 SOS 48947 HAS SOPS 48947 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33893.947
AT ITER 1474 NEW BEST:: SOT 120224 SOS 48947 HAS SOPS 48947 HAS SOUS 33832 HAS SOUPS 33832 WITH SCORE 33880.947
AT ITER 1482 NEW BEST:: SOT 120216 SOS 48931 HAS SOPS 48931 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33864.931
AT ITER 1496 NEW BEST:: SOT 120145 SOS 48789 HAS SOPS 48789 HAS SOUS 33673 HAS SOUPS 33673 WITH SCORE 33721.789
AT ITER 1500 NEW BEST:: SOT 120107 SOS 48772 HAS SOPS 48772 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33683.772
AT ITER 1504 NEW BEST:: SOT 120096 SOS 48750 HAS SOPS 48750 HAS SOUS 33622 HAS SOUPS 33622 WITH SCORE 33670.75
AT ITER 1505 NEW BEST:: SOT 119919 SOS 48396 HAS SOPS 48396 HAS SOUS 33515 HAS SOUPS 33515 WITH SCORE 33563.396
AT ITER 1506 NEW BEST:: SOT 119937 SOS 48474 HAS SOPS 48474 HAS SOUS 33509 HAS SOUPS 33509 WITH SCORE 33557.474
AT ITER 1507 NEW BEST:: SOT 119937 SOS 48470 HAS SOPS 48470 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33553.47
AT ITER 1511 NEW BEST:: SOT 119883 SOS 48362 HAS SOPS 48362 HAS SOUS 33326 HAS SOUPS 33326 WITH SCORE 33374.362
AT ITER 1512 NEW BEST:: SOT 119860 SOS 48282 HAS SOPS 48282 HAS SOUS 33301 HAS SOUPS 33301 WITH SCORE 33349.282
AT ITER 1514 NEW BEST:: SOT 119747 SOS 48056 HAS SOPS 48056 HAS SOUS 33084 HAS SOUPS 33084 WITH SCORE 33132.056
AT ITER 1521 NEW BEST:: SOT 119724 SOS 48010 HAS SOPS 48010 HAS SOUS 33035 HAS SOUPS 33035 WITH SCORE 33083.01
AT ITER 1531 NEW BEST:: SOT 119714 SOS 48006 HAS SOPS 48006 HAS SOUS 33025 HAS SOUPS 33025 WITH SCORE 33073.006
AT ITER 1533 NEW BEST:: SOT 119682 SOS 47974 HAS SOPS 47974 HAS SOUS 32993 HAS SOUPS 32993 WITH SCORE 33040.974
AT ITER 1535 NEW BEST:: SOT 119678 SOS 47966 HAS SOPS 47966 HAS SOUS 32886 HAS SOUPS 32886 WITH SCORE 32933.966
AT ITER 1540 NEW BEST:: SOT 119592 SOS 47801 HAS SOPS 47801 HAS SOUS 32804 HAS SOUPS 32804 WITH SCORE 32851.801
AT ITER 1544 NEW BEST:: SOT 119565 SOS 47724 HAS SOPS 47724 HAS SOUS 32775 HAS SOUPS 32775 WITH SCORE 32822.724
AT ITER 1565 NEW BEST:: SOT 119592 SOS 47751 HAS SOPS 47751 HAS SOUS 32721 HAS SOUPS 32721 WITH SCORE 32768.751
AT ITER 1595 NEW BEST:: SOT 119431 SOS 47603 HAS SOPS 47603 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32621.603
AT ITER 1602 NEW BEST:: SOT 119029 SOS 54821 HAS SOPS 54821 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32296.821
AT ITER 1616 NEW BEST:: SOT 118858 SOS 54597 HAS SOPS 54597 HAS SOUS 32122 HAS SOUPS 32122 WITH SCORE 32176.597
AT ITER 1620 NEW BEST:: SOT 118848 SOS 54582 HAS SOPS 54582 HAS SOUS 32107 HAS SOUPS 32107 WITH SCORE 32161.582
AT ITER 1632 NEW BEST:: SOT 118833 SOS 54453 HAS SOPS 54453 HAS SOUS 32077 HAS SOUPS 32077 WITH SCORE 32131.453
AT ITER 1634 NEW BEST:: SOT 118848 SOS 54505 HAS SOPS 54505 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32129.505
AT ITER 1643 NEW BEST:: SOT 118841 SOS 54491 HAS SOPS 54491 HAS SOUS 32068 HAS SOUPS 32068 WITH SCORE 32122.491
AT ITER 1645 NEW BEST:: SOT 118807 SOS 54444 HAS SOPS 54444 HAS SOUS 32000 HAS SOUPS 32000 WITH SCORE 32054.444
AT ITER 1656 NEW BEST:: SOT 118790 SOS 54410 HAS SOPS 54410 HAS SOUS 31997 HAS SOUPS 31997 WITH SCORE 32051.41
AT ITER 1665 NEW BEST:: SOT 118726 SOS 54353 HAS SOPS 54353 HAS SOUS 31994 HAS SOUPS 31994 WITH SCORE 32048.353
AT ITER 1668 NEW BEST:: SOT 118726 SOS 54328 HAS SOPS 54328 HAS SOUS 31994 HAS SOUPS 31994 WITH SCORE 32048.328
AT ITER 1671 NEW BEST:: SOT 118665 SOS 54306 HAS SOPS 54306 HAS SOUS 31972 HAS SOUPS 31972 WITH SCORE 32026.306
AT ITER 1675 NEW BEST:: SOT 118663 SOS 54302 HAS SOPS 54302 HAS SOUS 31965 HAS SOUPS 31965 WITH SCORE 32019.302
AT ITER 1678 NEW BEST:: SOT 118634 SOS 54244 HAS SOPS 54244 HAS SOUS 31900 HAS SOUPS 31900 WITH SCORE 31954.244
AT ITER 1685 NEW BEST:: SOT 118546 SOS 54147 HAS SOPS 54147 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31771.147
AT ITER 1689 NEW BEST:: SOT 118522 SOS 54163 HAS SOPS 54163 HAS SOUS 31693 HAS SOUPS 31693 WITH SCORE 31747.163
AT ITER 1697 NEW BEST:: SOT 118518 SOS 54135 HAS SOPS 54135 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31739.135
AT ITER 1702 NEW BEST:: SOT 118477 SOS 54054 HAS SOPS 54054 HAS SOUS 31656 HAS SOUPS 31656 WITH SCORE 31710.054
AT ITER 1711 NEW BEST:: SOT 118450 SOS 53986 HAS SOPS 53986 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31650.986
AT ITER 1712 NEW BEST:: SOT 118432 SOS 53876 HAS SOPS 53876 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31634.876
AT ITER 1718 NEW BEST:: SOT 118426 SOS 53870 HAS SOPS 53870 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31634.87
AT ITER 1741 NEW BEST:: SOT 118388 SOS 53813 HAS SOPS 53813 HAS SOUS 31524 HAS SOUPS 31524 WITH SCORE 31577.813
AT ITER 1743 NEW BEST:: SOT 118339 SOS 53826 HAS SOPS 53826 HAS SOUS 31488 HAS SOUPS 31488 WITH SCORE 31541.826
AT ITER 1750 NEW BEST:: SOT 118339 SOS 53826 HAS SOPS 53826 HAS SOUS 31474 HAS SOUPS 31474 WITH SCORE 31527.826
AT ITER 1752 NEW BEST:: SOT 118316 SOS 53780 HAS SOPS 53780 HAS SOUS 31428 HAS SOUPS 31428 WITH SCORE 31481.78
AT ITER 1776 NEW BEST:: SOT 118313 SOS 53774 HAS SOPS 53774 HAS SOUS 31422 HAS SOUPS 31422 WITH SCORE 31475.774
AT ITER 1778 NEW BEST:: SOT 118313 SOS 53774 HAS SOPS 53774 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31455.774
AT ITER 1783 NEW BEST:: SOT 118314 SOS 53763 HAS SOPS 53763 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31451.763
AT ITER 1793 NEW BEST:: SOT 118225 SOS 53735 HAS SOPS 53735 HAS SOUS 31220 HAS SOUPS 31220 WITH SCORE 31273.735
AT ITER 1821 NEW BEST:: SOT 118225 SOS 53735 HAS SOPS 53735 HAS SOUS 31208 HAS SOUPS 31208 WITH SCORE 31261.735
AT ITER 1829 NEW BEST:: SOT 118221 SOS 53727 HAS SOPS 53727 HAS SOUS 31197 HAS SOUPS 31197 WITH SCORE 31250.727
AT ITER 1833 NEW BEST:: SOT 118210 SOS 53705 HAS SOPS 53705 HAS SOUS 31175 HAS SOUPS 31175 WITH SCORE 31228.705
AT ITER 1851 NEW BEST:: SOT 118209 SOS 53704 HAS SOPS 53704 HAS SOUS 31174 HAS SOUPS 31174 WITH SCORE 31227.704
AT ITER 1866 NEW BEST:: SOT 118189 SOS 53674 HAS SOPS 53674 HAS SOUS 31154 HAS SOUPS 31154 WITH SCORE 31207.674
AT ITER 1900 NEW BEST:: SOT 118170 SOS 53635 HAS SOPS 53635 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31188.635
AT ITER 1910 NEW BEST:: SOT 118140 SOS 53499 HAS SOPS 53499 HAS SOUS 31022 HAS SOUPS 31022 WITH SCORE 31075.499
AT ITER 1923 NEW BEST:: SOT 118131 SOS 53481 HAS SOPS 53481 HAS SOUS 31013 HAS SOUPS 31013 WITH SCORE 31066.481
AT ITER 1942 NEW BEST:: SOT 118131 SOS 53456 HAS SOPS 53456 HAS SOUS 30988 HAS SOUPS 30988 WITH SCORE 31041.456
AT ITER 1959 NEW BEST:: SOT 118187 SOS 53568 HAS SOPS 53568 HAS SOUS 30957 HAS SOUPS 30957 WITH SCORE 31010.568
AT ITER 1973 NEW BEST:: SOT 118187 SOS 53560 HAS SOPS 53560 HAS SOUS 30949 HAS SOUPS 30949 WITH SCORE 31002.56
AT ITER 1981 NEW BEST:: SOT 118162 SOS 53510 HAS SOPS 53510 HAS SOUS 30916 HAS SOUPS 30916 WITH SCORE 30969.51
AT ITER 1984 NEW BEST:: SOT 118154 SOS 53502 HAS SOPS 53502 HAS SOUS 30908 HAS SOUPS 30908 WITH SCORE 30961.502
AT ITER 2015 NEW BEST:: SOT 118140 SOS 53474 HAS SOPS 53474 HAS SOUS 30894 HAS SOUPS 30894 WITH SCORE 30947.474
AT ITER 2016 NEW BEST:: SOT 118151 SOS 53445 HAS SOPS 53445 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30945.445
AT ITER 2017 NEW BEST:: SOT 118134 SOS 53238 HAS SOPS 53238 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30911.238
AT ITER 2021 NEW BEST:: SOT 118116 SOS 53202 HAS SOPS 53202 HAS SOUS 30820 HAS SOUPS 30820 WITH SCORE 30873.202
AT ITER 2022 NEW BEST:: SOT 118097 SOS 53180 HAS SOPS 53180 HAS SOUS 30798 HAS SOUPS 30798 WITH SCORE 30851.18
AT ITER 2028 NEW BEST:: SOT 118091 SOS 53168 HAS SOPS 53168 HAS SOUS 30773 HAS SOUPS 30773 WITH SCORE 30826.168
AT ITER 2034 NEW BEST:: SOT 118059 SOS 53101 HAS SOPS 53101 HAS SOUS 30713 HAS SOUPS 30713 WITH SCORE 30766.101
AT ITER 2061 NEW BEST:: SOT 118044 SOS 53059 HAS SOPS 53059 HAS SOUS 30710 HAS SOUPS 30710 WITH SCORE 30763.059
AT ITER 2064 NEW BEST:: SOT 118022 SOS 53082 HAS SOPS 53082 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30741.082
AT ITER 2067 NEW BEST:: SOT 117955 SOS 52867 HAS SOPS 52867 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30694.867
AT ITER 2097 NEW BEST:: SOT 117952 SOS 52864 HAS SOPS 52864 HAS SOUS 30639 HAS SOUPS 30639 WITH SCORE 30691.864
AT ITER 2118 NEW BEST:: SOT 117781 SOS 52723 HAS SOPS 52723 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30550.723
AT ITER 2121 NEW BEST:: SOT 117776 SOS 52713 HAS SOPS 52713 HAS SOUS 30488 HAS SOUPS 30488 WITH SCORE 30540.713
AT ITER 2127 NEW BEST:: SOT 117726 SOS 52638 HAS SOPS 52638 HAS SOUS 30438 HAS SOUPS 30438 WITH SCORE 30490.638
AT ITER 2130 NEW BEST:: SOT 117725 SOS 52636 HAS SOPS 52636 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30488.636
AT ITER 2133 NEW BEST:: SOT 117725 SOS 52614 HAS SOPS 52614 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30488.614
AT ITER 2141 NEW BEST:: SOT 117724 SOS 52612 HAS SOPS 52612 HAS SOUS 30434 HAS SOUPS 30434 WITH SCORE 30486.612
AT ITER 2150 NEW BEST:: SOT 117718 SOS 52600 HAS SOPS 52600 HAS SOUS 30422 HAS SOUPS 30422 WITH SCORE 30474.6
AT ITER 2167 NEW BEST:: SOT 117716 SOS 52596 HAS SOPS 52596 HAS SOUS 30371 HAS SOUPS 30371 WITH SCORE 30423.596
AT ITER 2180 NEW BEST:: SOT 117670 SOS 52504 HAS SOPS 52504 HAS SOUS 30279 HAS SOUPS 30279 WITH SCORE 30331.504
AT ITER 2184 NEW BEST:: SOT 117645 SOS 52479 HAS SOPS 52479 HAS SOUS 30254 HAS SOUPS 30254 WITH SCORE 30306.479
AT ITER 2186 NEW BEST:: SOT 117649 SOS 52487 HAS SOPS 52487 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30303.487
AT ITER 2192 NEW BEST:: SOT 117623 SOS 52441 HAS SOPS 52441 HAS SOUS 30199 HAS SOUPS 30199 WITH SCORE 30251.441
AT ITER 2193 NEW BEST:: SOT 117623 SOS 52440 HAS SOPS 52440 HAS SOUS 30199 HAS SOUPS 30199 WITH SCORE 30251.44
AT ITER 2195 NEW BEST:: SOT 117602 SOS 52428 HAS SOPS 52428 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30226.428
AT ITER 2211 NEW BEST:: SOT 117597 SOS 52418 HAS SOPS 52418 HAS SOUS 30169 HAS SOUPS 30169 WITH SCORE 30221.418
AT ITER 2213 NEW BEST:: SOT 117586 SOS 52354 HAS SOPS 52354 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30146.354
AT ITER 2217 NEW BEST:: SOT 117535 SOS 52333 HAS SOPS 52333 HAS SOUS 30087 HAS SOUPS 30087 WITH SCORE 30139.333
AT ITER 2230 NEW BEST:: SOT 117387 SOS 52129 HAS SOPS 52129 HAS SOUS 29914 HAS SOUPS 29914 WITH SCORE 29966.129
AT ITER 2232 NEW BEST:: SOT 117388 SOS 52128 HAS SOPS 52128 HAS SOUS 29913 HAS SOUPS 29913 WITH SCORE 29965.128
AT ITER 2234 NEW BEST:: SOT 117370 SOS 52092 HAS SOPS 52092 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29938.092
AT ITER 2238 NEW BEST:: SOT 117287 SOS 52013 HAS SOPS 52013 HAS SOUS 29869 HAS SOUPS 29869 WITH SCORE 29921.013
AT ITER 2239 NEW BEST:: SOT 117268 SOS 51994 HAS SOPS 51994 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29886.994
AT ITER 2241 NEW BEST:: SOT 117227 SOS 51951 HAS SOPS 51951 HAS SOUS 29740 HAS SOUPS 29740 WITH SCORE 29791.951
AT ITER 2246 NEW BEST:: SOT 117219 SOS 51935 HAS SOPS 51935 HAS SOUS 29724 HAS SOUPS 29724 WITH SCORE 29775.935
AT ITER 2256 NEW BEST:: SOT 117218 SOS 51933 HAS SOPS 51933 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29773.933
AT ITER 2269 NEW BEST:: SOT 117127 SOS 51842 HAS SOPS 51842 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29773.842
AT ITER 2276 NEW BEST:: SOT 117127 SOS 51821 HAS SOPS 51821 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29773.821
AT ITER 2284 NEW BEST:: SOT 117112 SOS 51779 HAS SOPS 51779 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29758.779
AT ITER 2295 NEW BEST:: SOT 117075 SOS 51705 HAS SOPS 51705 HAS SOUS 29678 HAS SOUPS 29678 WITH SCORE 29729.705
AT ITER 2308 NEW BEST:: SOT 117048 SOS 51651 HAS SOPS 51651 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29702.651
AT ITER 2324 NEW BEST:: SOT 116960 SOS 51511 HAS SOPS 51511 HAS SOUS 29527 HAS SOUPS 29527 WITH SCORE 29578.511
AT ITER 2329 NEW BEST:: SOT 116963 SOS 51508 HAS SOPS 51508 HAS SOUS 29521 HAS SOUPS 29521 WITH SCORE 29572.508
AT ITER 2357 NEW BEST:: SOT 116818 SOS 51234 HAS SOPS 51234 HAS SOUS 29247 HAS SOUPS 29247 WITH SCORE 29298.234
AT ITER 2360 NEW BEST:: SOT 116803 SOS 51213 HAS SOPS 51213 HAS SOUS 29232 HAS SOUPS 29232 WITH SCORE 29283.213
AT ITER 2371 NEW BEST:: SOT 116802 SOS 51211 HAS SOPS 51211 HAS SOUS 29229 HAS SOUPS 29229 WITH SCORE 29280.211
AT ITER 2400 NEW BEST:: SOT 116783 SOS 51234 HAS SOPS 51234 HAS SOUS 29177 HAS SOUPS 29177 WITH SCORE 29228.234
AT ITER 2410 NEW BEST:: SOT 116727 SOS 51122 HAS SOPS 51122 HAS SOUS 29093 HAS SOUPS 29093 WITH SCORE 29144.122
AT ITER 2440 NEW BEST:: SOT 116717 SOS 51102 HAS SOPS 51102 HAS SOUS 29084 HAS SOUPS 29084 WITH SCORE 29135.102
AT ITER 2443 NEW BEST:: SOT 116736 SOS 51123 HAS SOPS 51123 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29078.123
AT ITER 2454 NEW BEST:: SOT 116736 SOS 50903 HAS SOPS 50903 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29077.903
AT ITER 2457 NEW BEST:: SOT 116736 SOS 50903 HAS SOPS 50903 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29076.903
AT ITER 2460 NEW BEST:: SOT 116727 SOS 50885 HAS SOPS 50885 HAS SOUS 29008 HAS SOUPS 29008 WITH SCORE 29058.885
AT ITER 2472 NEW BEST:: SOT 116726 SOS 50884 HAS SOPS 50884 HAS SOUS 29007 HAS SOUPS 29007 WITH SCORE 29057.884
AT ITER 2476 NEW BEST:: SOT 116717 SOS 50983 HAS SOPS 50983 HAS SOUS 28998 HAS SOUPS 28998 WITH SCORE 29048.983
AT ITER 2478 NEW BEST:: SOT 116695 SOS 50939 HAS SOPS 50939 HAS SOUS 28976 HAS SOUPS 28976 WITH SCORE 29026.939
AT ITER 2489 NEW BEST:: SOT 116710 SOS 46512 HAS SOPS 46512 HAS SOUS 28941 HAS SOUPS 28941 WITH SCORE 28987.512
AT ITER 2502 NEW BEST:: SOT 116710 SOS 46507 HAS SOPS 46507 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 28982.507
AT ITER 2506 NEW BEST:: SOT 116706 SOS 46503 HAS SOPS 46503 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28974.503
AT ITER 2508 NEW BEST:: SOT 116704 SOS 46437 HAS SOPS 46437 HAS SOUS 28924 HAS SOUPS 28924 WITH SCORE 28970.437
AT ITER 2515 NEW BEST:: SOT 116693 SOS 46488 HAS SOPS 46488 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28948.488
AT ITER 2528 NEW BEST:: SOT 116668 SOS 46463 HAS SOPS 46463 HAS SOUS 28877 HAS SOUPS 28877 WITH SCORE 28923.463
AT ITER 2534 NEW BEST:: SOT 116661 SOS 46449 HAS SOPS 46449 HAS SOUS 28870 HAS SOUPS 28870 WITH SCORE 28916.449
AT ITER 2543 NEW BEST:: SOT 116712 SOS 46525 HAS SOPS 46525 HAS SOUS 28825 HAS SOUPS 28825 WITH SCORE 28871.525
AT ITER 2546 NEW BEST:: SOT 116692 SOS 46519 HAS SOPS 46519 HAS SOUS 28819 HAS SOUPS 28819 WITH SCORE 28865.519
AT ITER 2570 NEW BEST:: SOT 116665 SOS 46465 HAS SOPS 46465 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28828.465
AT ITER 2576 NEW BEST:: SOT 116667 SOS 46469 HAS SOPS 46469 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28822.469
AT ITER 2577 NEW BEST:: SOT 116667 SOS 46411 HAS SOPS 46411 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28822.411
AT ITER 2583 NEW BEST:: SOT 116623 SOS 46323 HAS SOPS 46323 HAS SOUS 28706 HAS SOUPS 28706 WITH SCORE 28752.323
AT ITER 2587 NEW BEST:: SOT 116609 SOS 46309 HAS SOPS 46309 HAS SOUS 28678 HAS SOUPS 28678 WITH SCORE 28724.309
AT ITER 2601 NEW BEST:: SOT 116590 SOS 46271 HAS SOPS 46271 HAS SOUS 28659 HAS SOUPS 28659 WITH SCORE 28705.271
AT ITER 2605 NEW BEST:: SOT 116588 SOS 46281 HAS SOPS 46281 HAS SOUS 28657 HAS SOUPS 28657 WITH SCORE 28703.281
AT ITER 2609 NEW BEST:: SOT 116523 SOS 46216 HAS SOPS 46216 HAS SOUS 28639 HAS SOUPS 28639 WITH SCORE 28685.216
AT ITER 2614 NEW BEST:: SOT 116495 SOS 46188 HAS SOPS 46188 HAS SOUS 28583 HAS SOUPS 28583 WITH SCORE 28629.188
AT ITER 2621 NEW BEST:: SOT 116482 SOS 46162 HAS SOPS 46162 HAS SOUS 28575 HAS SOUPS 28575 WITH SCORE 28621.162
AT ITER 2633 NEW BEST:: SOT 116446 SOS 46126 HAS SOPS 46126 HAS SOUS 28539 HAS SOUPS 28539 WITH SCORE 28585.126
AT ITER 2640 NEW BEST:: SOT 116402 SOS 45987 HAS SOPS 45987 HAS SOUS 28464 HAS SOUPS 28464 WITH SCORE 28509.987
AT ITER 2654 NEW BEST:: SOT 116390 SOS 45963 HAS SOPS 45963 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28492.963
AT ITER 2661 NEW BEST:: SOT 116386 SOS 45960 HAS SOPS 45960 HAS SOUS 28439 HAS SOUPS 28439 WITH SCORE 28484.96
AT ITER 2665 NEW BEST:: SOT 116370 SOS 45944 HAS SOPS 45944 HAS SOUS 28407 HAS SOUPS 28407 WITH SCORE 28452.944
AT ITER 2673 NEW BEST:: SOT 116361 SOS 45903 HAS SOPS 45903 HAS SOUS 28380 HAS SOUPS 28380 WITH SCORE 28425.903
AT ITER 2682 NEW BEST:: SOT 116354 SOS 45907 HAS SOPS 45907 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28417.907
AT ITER 2691 NEW BEST:: SOT 116354 SOS 45898 HAS SOPS 45898 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28417.898
AT ITER 2709 NEW BEST:: SOT 116365 SOS 45920 HAS SOPS 45920 HAS SOUS 28365 HAS SOUPS 28365 WITH SCORE 28410.92
AT ITER 2753 NEW BEST:: SOT 116358 SOS 45906 HAS SOPS 45906 HAS SOUS 28351 HAS SOUPS 28351 WITH SCORE 28396.906
AT ITER 2770 NEW BEST:: SOT 116353 SOS 45901 HAS SOPS 45901 HAS SOUS 28336 HAS SOUPS 28336 WITH SCORE 28381.901
AT ITER 2778 NEW BEST:: SOT 116335 SOS 45888 HAS SOPS 45888 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28322.888
AT ITER 2783 NEW BEST:: SOT 116302 SOS 45880 HAS SOPS 45880 HAS SOUS 28215 HAS SOUPS 28215 WITH SCORE 28260.88
AT ITER 2786 NEW BEST:: SOT 116280 SOS 45858 HAS SOPS 45858 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28216.858
AT ITER 2799 NEW BEST:: SOT 116282 SOS 45779 HAS SOPS 45779 HAS SOUS 28092 HAS SOUPS 28092 WITH SCORE 28137.779
AT ITER 2831 NEW BEST:: SOT 116183 SOS 45647 HAS SOPS 45647 HAS SOUS 27960 HAS SOUPS 27960 WITH SCORE 28005.647
AT ITER 2839 NEW BEST:: SOT 116140 SOS 45604 HAS SOPS 45604 HAS SOUS 27948 HAS SOUPS 27948 WITH SCORE 27993.604
AT ITER 2841 NEW BEST:: SOT 116148 SOS 45620 HAS SOPS 45620 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27987.62
AT ITER 2850 NEW BEST:: SOT 116139 SOS 45538 HAS SOPS 45538 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 27969.538
AT ITER 2851 NEW BEST:: SOT 116131 SOS 45530 HAS SOPS 45530 HAS SOUS 27916 HAS SOUPS 27916 WITH SCORE 27961.53
AT ITER 2863 NEW BEST:: SOT 116130 SOS 45528 HAS SOPS 45528 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27960.528
AT ITER 2875 NEW BEST:: SOT 116122 SOS 45512 HAS SOPS 45512 HAS SOUS 27899 HAS SOUPS 27899 WITH SCORE 27944.512
AT ITER 2892 NEW BEST:: SOT 115984 SOS 45374 HAS SOPS 45374 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27830.374
AT ITER 2925 NEW BEST:: SOT 115975 SOS 45356 HAS SOPS 45356 HAS SOUS 27767 HAS SOUPS 27767 WITH SCORE 27812.356
AT ITER 2927 NEW BEST:: SOT 115975 SOS 45317 HAS SOPS 45317 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27773.317
AT ITER 2930 NEW BEST:: SOT 115967 SOS 45286 HAS SOPS 45286 HAS SOUS 27712 HAS SOUPS 27712 WITH SCORE 27757.286
AT ITER 2968 NEW BEST:: SOT 115967 SOS 45230 HAS SOPS 45230 HAS SOUS 27686 HAS SOUPS 27686 WITH SCORE 27731.23
AT ITER 2982 NEW BEST:: SOT 115957 SOS 45215 HAS SOPS 45215 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27711.215
AT ITER 3005 NEW BEST:: SOT 115957 SOS 45214 HAS SOPS 45214 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27711.214
AT ITER 3008 NEW BEST:: SOT 115931 SOS 45229 HAS SOPS 45229 HAS SOUS 27614 HAS SOUPS 27614 WITH SCORE 27659.229
AT ITER 3016 NEW BEST:: SOT 115931 SOS 45229 HAS SOPS 45229 HAS SOUS 27613 HAS SOUPS 27613 WITH SCORE 27658.229
AT ITER 3024 NEW BEST:: SOT 115892 SOS 45205 HAS SOPS 45205 HAS SOUS 27535 HAS SOUPS 27535 WITH SCORE 27580.205
AT ITER 3044 NEW BEST:: SOT 115881 SOS 45183 HAS SOPS 45183 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27558.183
AT ITER 3061 NEW BEST:: SOT 115862 SOS 45111 HAS SOPS 45111 HAS SOUS 27462 HAS SOUPS 27462 WITH SCORE 27507.111
AT ITER 3077 NEW BEST:: SOT 115859 SOS 45089 HAS SOPS 45089 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27501.089
AT ITER 3081 NEW BEST:: SOT 115859 SOS 45089 HAS SOPS 45089 HAS SOUS 27378 HAS SOUPS 27378 WITH SCORE 27423.089
AT ITER 3082 NEW BEST:: SOT 115861 SOS 45068 HAS SOPS 45068 HAS SOUS 27322 HAS SOUPS 27322 WITH SCORE 27367.068
AT ITER 3115 NEW BEST:: SOT 115847 SOS 45040 HAS SOPS 45040 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27353.04
AT ITER 3144 NEW BEST:: SOT 115823 SOS 44992 HAS SOPS 44992 HAS SOUS 27260 HAS SOUPS 27260 WITH SCORE 27304.992
AT ITER 3151 NEW BEST:: SOT 115821 SOS 44943 HAS SOPS 44943 HAS SOUS 27256 HAS SOUPS 27256 WITH SCORE 27300.943
AT ITER 3162 NEW BEST:: SOT 115815 SOS 44931 HAS SOPS 44931 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27291.931
AT ITER 3185 NEW BEST:: SOT 115815 SOS 44903 HAS SOPS 44903 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27291.903
AT ITER 3193 NEW BEST:: SOT 115795 SOS 44886 HAS SOPS 44886 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27271.886
AT ITER 3209 NEW BEST:: SOT 115794 SOS 44885 HAS SOPS 44885 HAS SOUS 27225 HAS SOUPS 27225 WITH SCORE 27269.885
AT ITER 3213 NEW BEST:: SOT 115792 SOS 44826 HAS SOPS 44826 HAS SOUS 27221 HAS SOUPS 27221 WITH SCORE 27265.826
AT ITER 3214 NEW BEST:: SOT 115782 SOS 44816 HAS SOPS 44816 HAS SOUS 27211 HAS SOUPS 27211 WITH SCORE 27255.816
AT ITER 3218 NEW BEST:: SOT 115778 SOS 44808 HAS SOPS 44808 HAS SOUS 27207 HAS SOUPS 27207 WITH SCORE 27251.808
AT ITER 3221 NEW BEST:: SOT 115720 SOS 44756 HAS SOPS 44756 HAS SOUS 27155 HAS SOUPS 27155 WITH SCORE 27199.756
AT ITER 3224 NEW BEST:: SOT 115720 SOS 44756 HAS SOPS 44756 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27187.756
AT ITER 3234 NEW BEST:: SOT 115717 SOS 44750 HAS SOPS 44750 HAS SOUS 27140 HAS SOUPS 27140 WITH SCORE 27184.75
AT ITER 3239 NEW BEST:: SOT 115708 SOS 44732 HAS SOPS 44732 HAS SOUS 27122 HAS SOUPS 27122 WITH SCORE 27166.732
AT ITER 3240 NEW BEST:: SOT 115628 SOS 44703 HAS SOPS 44703 HAS SOUS 27120 HAS SOUPS 27120 WITH SCORE 27164.703
AT ITER 3248 NEW BEST:: SOT 115673 SOS 44729 HAS SOPS 44729 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27130.729
AT ITER 3259 NEW BEST:: SOT 115555 SOS 44636 HAS SOPS 44636 HAS SOUS 27074 HAS SOUPS 27074 WITH SCORE 27118.636
AT ITER 3265 NEW BEST:: SOT 115552 SOS 44630 HAS SOPS 44630 HAS SOUS 27066 HAS SOUPS 27066 WITH SCORE 27110.63
AT ITER 3285 NEW BEST:: SOT 115531 SOS 44609 HAS SOPS 44609 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27089.609
AT ITER 3287 NEW BEST:: SOT 115519 SOS 44597 HAS SOPS 44597 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27089.597
AT ITER 3313 NEW BEST:: SOT 115520 SOS 44596 HAS SOPS 44596 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27089.596
AT ITER 3315 NEW BEST:: SOT 115518 SOS 44592 HAS SOPS 44592 HAS SOUS 27041 HAS SOUPS 27041 WITH SCORE 27085.592
AT ITER 3362 NEW BEST:: SOT 115424 SOS 44412 HAS SOPS 44412 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26941.412
AT ITER 3382 NEW BEST:: SOT 115379 SOS 44367 HAS SOPS 44367 HAS SOUS 26762 HAS SOUPS 26762 WITH SCORE 26806.367
AT ITER 3384 NEW BEST:: SOT 115336 SOS 44281 HAS SOPS 44281 HAS SOUS 26678 HAS SOUPS 26678 WITH SCORE 26722.281
AT ITER 3386 NEW BEST:: SOT 115336 SOS 44263 HAS SOPS 44263 HAS SOUS 26678 HAS SOUPS 26678 WITH SCORE 26722.263
AT ITER 3396 NEW BEST:: SOT 115334 SOS 44259 HAS SOPS 44259 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26720.259
AT ITER 3402 NEW BEST:: SOT 115341 SOS 44273 HAS SOPS 44273 HAS SOUS 26669 HAS SOUPS 26669 WITH SCORE 26713.273
AT ITER 3422 NEW BEST:: SOT 115330 SOS 44194 HAS SOPS 44194 HAS SOUS 26647 HAS SOUPS 26647 WITH SCORE 26691.194
AT ITER 3426 NEW BEST:: SOT 115308 SOS 44123 HAS SOPS 44123 HAS SOUS 26603 HAS SOUPS 26603 WITH SCORE 26647.123
AT ITER 3428 NEW BEST:: SOT 115308 SOS 44123 HAS SOPS 44123 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26630.123
AT ITER 3431 NEW BEST:: SOT 115263 SOS 44105 HAS SOPS 44105 HAS SOUS 26548 HAS SOUPS 26548 WITH SCORE 26592.105
AT ITER 3449 NEW BEST:: SOT 115263 SOS 44105 HAS SOPS 44105 HAS SOUS 26530 HAS SOUPS 26530 WITH SCORE 26574.105
AT ITER 3457 NEW BEST:: SOT 115260 SOS 44099 HAS SOPS 44099 HAS SOUS 26527 HAS SOUPS 26527 WITH SCORE 26571.099
AT ITER 3461 NEW BEST:: SOT 115218 SOS 44015 HAS SOPS 44015 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26466.015
AT ITER 3471 NEW BEST:: SOT 115211 SOS 44001 HAS SOPS 44001 HAS SOUS 26415 HAS SOUPS 26415 WITH SCORE 26459.001
AT ITER 3474 NEW BEST:: SOT 115204 SOS 44000 HAS SOPS 44000 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26458.0
AT ITER 3494 NEW BEST:: SOT 115088 SOS 43870 HAS SOPS 43870 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26451.87
AT ITER 3531 NEW BEST:: SOT 115052 SOS 43834 HAS SOPS 43834 HAS SOUS 26381 HAS SOUPS 26381 WITH SCORE 26424.834
AT ITER 3552 NEW BEST:: SOT 115038 SOS 43807 HAS SOPS 43807 HAS SOUS 26353 HAS SOUPS 26353 WITH SCORE 26396.807
AT ITER 3575 NEW BEST:: SOT 115008 SOS 43777 HAS SOPS 43777 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26366.777
AT ITER 3581 NEW BEST:: SOT 114976 SOS 43713 HAS SOPS 43713 HAS SOUS 26259 HAS SOUPS 26259 WITH SCORE 26302.713
AT ITER 3582 NEW BEST:: SOT 114975 SOS 43712 HAS SOPS 43712 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26300.712
AT ITER 3586 NEW BEST:: SOT 114926 SOS 43614 HAS SOPS 43614 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26251.614
AT ITER 3615 NEW BEST:: SOT 114924 SOS 43623 HAS SOPS 43623 HAS SOUS 26194 HAS SOUPS 26194 WITH SCORE 26237.623
AT ITER 3619 NEW BEST:: SOT 114901 SOS 43577 HAS SOPS 43577 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26134.577
AT ITER 3633 NEW BEST:: SOT 114894 SOS 43563 HAS SOPS 43563 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26127.563
AT ITER 3636 NEW BEST:: SOT 114870 SOS 43539 HAS SOPS 43539 HAS SOUS 26080 HAS SOUPS 26080 WITH SCORE 26123.539
AT ITER 3642 NEW BEST:: SOT 114853 SOS 43522 HAS SOPS 43522 HAS SOUS 25976 HAS SOUPS 25976 WITH SCORE 26019.522
AT ITER 3649 NEW BEST:: SOT 114810 SOS 43479 HAS SOPS 43479 HAS SOUS 25933 HAS SOUPS 25933 WITH SCORE 25976.479
AT ITER 3668 NEW BEST:: SOT 114773 SOS 43394 HAS SOPS 43394 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25939.394
AT ITER 3690 NEW BEST:: SOT 114765 SOS 43385 HAS SOPS 43385 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25930.385
AT ITER 3716 NEW BEST:: SOT 114739 SOS 43333 HAS SOPS 43333 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25927.333
AT ITER 3735 NEW BEST:: SOT 114725 SOS 43253 HAS SOPS 43253 HAS SOUS 25804 HAS SOUPS 25804 WITH SCORE 25847.253
AT ITER 3741 NEW BEST:: SOT 114724 SOS 43210 HAS SOPS 43210 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25805.21
AT ITER 3745 NEW BEST:: SOT 114679 SOS 43207 HAS SOPS 43207 HAS SOUS 25759 HAS SOUPS 25759 WITH SCORE 25802.207
AT ITER 3751 NEW BEST:: SOT 114664 SOS 43192 HAS SOPS 43192 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25772.192
AT ITER 3756 NEW BEST:: SOT 114653 SOS 43181 HAS SOPS 43181 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25761.181
AT ITER 3780 NEW BEST:: SOT 114649 SOS 43177 HAS SOPS 43177 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25753.177
AT ITER 3808 NEW BEST:: SOT 114649 SOS 43177 HAS SOPS 43177 HAS SOUS 25706 HAS SOUPS 25706 WITH SCORE 25749.177
AT ITER 3813 NEW BEST:: SOT 114649 SOS 43167 HAS SOPS 43167 HAS SOUS 25706 HAS SOUPS 25706 WITH SCORE 25749.167
AT ITER 3824 NEW BEST:: SOT 114639 SOS 43205 HAS SOPS 43205 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25729.205
AT ITER 3831 NEW BEST:: SOT 114609 SOS 43194 HAS SOPS 43194 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25726.194
AT ITER 3835 NEW BEST:: SOT 114587 SOS 43163 HAS SOPS 43163 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25695.163
AT ITER 3846 NEW BEST:: SOT 114555 SOS 43123 HAS SOPS 43123 HAS SOUS 25588 HAS SOUPS 25588 WITH SCORE 25631.123
AT ITER 3862 NEW BEST:: SOT 114568 SOS 43136 HAS SOPS 43136 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25629.136
AT ITER 3874 NEW BEST:: SOT 114477 SOS 43045 HAS SOPS 43045 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25629.045
AT ITER 3901 NEW BEST:: SOT 114425 SOS 42996 HAS SOPS 42996 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25576.996
AT ITER 3904 NEW BEST:: SOT 114425 SOS 42980 HAS SOPS 42980 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25560.98
AT ITER 3915 NEW BEST:: SOT 114421 SOS 42978 HAS SOPS 42978 HAS SOUS 25516 HAS SOUPS 25516 WITH SCORE 25558.978
AT ITER 3920 NEW BEST:: SOT 114421 SOS 42978 HAS SOPS 42978 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25553.978
AT ITER 3928 NEW BEST:: SOT 114421 SOS 42919 HAS SOPS 42919 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25553.919
AT ITER 3961 NEW BEST:: SOT 114421 SOS 42905 HAS SOPS 42905 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25553.905
AT ITER 3966 NEW BEST:: SOT 114411 SOS 42885 HAS SOPS 42885 HAS SOUS 25508 HAS SOUPS 25508 WITH SCORE 25550.885
AT ITER 3975 NEW BEST:: SOT 114433 SOS 42879 HAS SOPS 42879 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25547.879
AT ITER 3986 NEW BEST:: SOT 114429 SOS 42871 HAS SOPS 42871 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25535.871
AT ITER 3992 NEW BEST:: SOT 114417 SOS 42847 HAS SOPS 42847 HAS SOUS 25466 HAS SOUPS 25466 WITH SCORE 25508.847
AT ITER 3999 NEW BEST:: SOT 114414 SOS 42841 HAS SOPS 42841 HAS SOUS 25460 HAS SOUPS 25460 WITH SCORE 25502.841
AT ITER 4006 NEW BEST:: SOT 114371 SOS 42771 HAS SOPS 42771 HAS SOUS 25390 HAS SOUPS 25390 WITH SCORE 25432.771
AT ITER 4029 NEW BEST:: SOT 114371 SOS 42754 HAS SOPS 42754 HAS SOUS 25390 HAS SOUPS 25390 WITH SCORE 25432.754
AT ITER 4031 NEW BEST:: SOT 114353 SOS 42752 HAS SOPS 42752 HAS SOUS 25388 HAS SOUPS 25388 WITH SCORE 25430.752
AT ITER 4048 NEW BEST:: SOT 114300 SOS 42707 HAS SOPS 42707 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25412.707
AT ITER 4072 NEW BEST:: SOT 114290 SOS 42687 HAS SOPS 42687 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25409.687
AT ITER 4079 NEW BEST:: SOT 114256 SOS 42619 HAS SOPS 42619 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25375.619
AT ITER 4080 NEW BEST:: SOT 114253 SOS 42616 HAS SOPS 42616 HAS SOUS 25327 HAS SOUPS 25327 WITH SCORE 25369.616
AT ITER 4085 NEW BEST:: SOT 114248 SOS 42606 HAS SOPS 42606 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25359.606
AT ITER 4086 NEW BEST:: SOT 114247 SOS 42604 HAS SOPS 42604 HAS SOUS 25315 HAS SOUPS 25315 WITH SCORE 25357.604
AT ITER 4102 NEW BEST:: SOT 114216 SOS 42524 HAS SOPS 42524 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25351.524
AT ITER 4117 NEW BEST:: SOT 114214 SOS 42520 HAS SOPS 42520 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25349.52
AT ITER 4135 NEW BEST:: SOT 114181 SOS 42454 HAS SOPS 42454 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25283.454
AT ITER 4143 NEW BEST:: SOT 114172 SOS 42436 HAS SOPS 42436 HAS SOUS 25223 HAS SOUPS 25223 WITH SCORE 25265.436
AT ITER 4146 NEW BEST:: SOT 114172 SOS 42413 HAS SOPS 42413 HAS SOUS 25200 HAS SOUPS 25200 WITH SCORE 25242.413
AT ITER 4160 NEW BEST:: SOT 114164 SOS 42397 HAS SOPS 42397 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25226.397
AT ITER 4165 NEW BEST:: SOT 114154 SOS 42364 HAS SOPS 42364 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25206.364
AT ITER 4182 NEW BEST:: SOT 114149 SOS 42354 HAS SOPS 42354 HAS SOUS 25154 HAS SOUPS 25154 WITH SCORE 25196.354
AT ITER 4226 NEW BEST:: SOT 114147 SOS 42379 HAS SOPS 42379 HAS SOUS 25152 HAS SOUPS 25152 WITH SCORE 25194.379
AT ITER 4231 NEW BEST:: SOT 114103 SOS 42396 HAS SOPS 42396 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25185.396
AT ITER 4239 NEW BEST:: SOT 114092 SOS 42373 HAS SOPS 42373 HAS SOUS 25120 HAS SOUPS 25120 WITH SCORE 25162.373
AT ITER 4323 NEW BEST:: SOT 114079 SOS 42360 HAS SOPS 42360 HAS SOUS 25106 HAS SOUPS 25106 WITH SCORE 25148.36
AT ITER 4338 NEW BEST:: SOT 114012 SOS 42331 HAS SOPS 42331 HAS SOUS 25077 HAS SOUPS 25077 WITH SCORE 25119.331
AT ITER 4352 NEW BEST:: SOT 114005 SOS 42317 HAS SOPS 42317 HAS SOUS 25070 HAS SOUPS 25070 WITH SCORE 25112.317
AT ITER 4353 NEW BEST:: SOT 113990 SOS 42340 HAS SOPS 42340 HAS SOUS 25040 HAS SOUPS 25040 WITH SCORE 25082.34
AT ITER 4373 NEW BEST:: SOT 114010 SOS 42335 HAS SOPS 42335 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25077.335
AT ITER 4400 NEW BEST:: SOT 113994 SOS 42319 HAS SOPS 42319 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25045.319
AT ITER 4408 NEW BEST:: SOT 113975 SOS 42281 HAS SOPS 42281 HAS SOUS 24972 HAS SOUPS 24972 WITH SCORE 25014.281
AT ITER 4427 NEW BEST:: SOT 113975 SOS 42281 HAS SOPS 42281 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24976.281
AT ITER 4435 NEW BEST:: SOT 113931 SOS 42237 HAS SOPS 42237 HAS SOUS 24890 HAS SOUPS 24890 WITH SCORE 24932.237
AT ITER 4451 NEW BEST:: SOT 113887 SOS 42307 HAS SOPS 42307 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24888.307
AT ITER 4485 NEW BEST:: SOT 113885 SOS 42303 HAS SOPS 42303 HAS SOUS 24842 HAS SOUPS 24842 WITH SCORE 24884.303
AT ITER 4496 NEW BEST:: SOT 113889 SOS 42317 HAS SOPS 42317 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24882.317
AT ITER 4525 NEW BEST:: SOT 113934 SOS 42293 HAS SOPS 42293 HAS SOUS 24804 HAS SOUPS 24804 WITH SCORE 24846.293
AT ITER 4527 NEW BEST:: SOT 113932 SOS 42291 HAS SOPS 42291 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24843.291
AT ITER 4530 NEW BEST:: SOT 113929 SOS 42285 HAS SOPS 42285 HAS SOUS 24795 HAS SOUPS 24795 WITH SCORE 24837.285
AT ITER 4551 NEW BEST:: SOT 113924 SOS 42275 HAS SOPS 42275 HAS SOUS 24773 HAS SOUPS 24773 WITH SCORE 24815.275
AT ITER 4610 NEW BEST:: SOT 113920 SOS 42271 HAS SOPS 42271 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24811.271
AT ITER 4618 NEW BEST:: SOT 113880 SOS 42191 HAS SOPS 42191 HAS SOUS 24689 HAS SOUPS 24689 WITH SCORE 24731.191
AT ITER 4619 NEW BEST:: SOT 113864 SOS 42182 HAS SOPS 42182 HAS SOUS 24657 HAS SOUPS 24657 WITH SCORE 24699.182
AT ITER 4648 NEW BEST:: SOT 113863 SOS 42172 HAS SOPS 42172 HAS SOUS 24655 HAS SOUPS 24655 WITH SCORE 24697.172
AT ITER 4659 NEW BEST:: SOT 113842 SOS 42186 HAS SOPS 42186 HAS SOUS 24613 HAS SOUPS 24613 WITH SCORE 24655.186
AT ITER 4680 NEW BEST:: SOT 113780 SOS 42133 HAS SOPS 42133 HAS SOUS 24566 HAS SOUPS 24566 WITH SCORE 24608.133
AT ITER 4685 NEW BEST:: SOT 113755 SOS 42124 HAS SOPS 42124 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24601.124
AT ITER 4690 NEW BEST:: SOT 113741 SOS 42110 HAS SOPS 42110 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24587.11
AT ITER 4711 NEW BEST:: SOT 113741 SOS 42105 HAS SOPS 42105 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24582.105
AT ITER 4712 NEW BEST:: SOT 113752 SOS 42116 HAS SOPS 42116 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24564.116
AT ITER 4728 NEW BEST:: SOT 113752 SOS 42098 HAS SOPS 42098 HAS SOUS 24504 HAS SOUPS 24504 WITH SCORE 24546.098
AT ITER 4746 NEW BEST:: SOT 113746 SOS 42092 HAS SOPS 42092 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24540.092
AT ITER 4748 NEW BEST:: SOT 113743 SOS 42089 HAS SOPS 42089 HAS SOUS 24492 HAS SOUPS 24492 WITH SCORE 24534.089
AT ITER 4751 NEW BEST:: SOT 113743 SOS 42122 HAS SOPS 42122 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24501.122
AT ITER 4769 NEW BEST:: SOT 113742 SOS 42120 HAS SOPS 42120 HAS SOUS 24452 HAS SOUPS 24452 WITH SCORE 24494.12
AT ITER 4776 NEW BEST:: SOT 113707 SOS 42104 HAS SOPS 42104 HAS SOUS 24442 HAS SOUPS 24442 WITH SCORE 24484.104
AT ITER 4779 NEW BEST:: SOT 113707 SOS 42104 HAS SOPS 42104 HAS SOUS 24399 HAS SOUPS 24399 WITH SCORE 24441.104
AT ITER 4781 NEW BEST:: SOT 113706 SOS 42102 HAS SOPS 42102 HAS SOUS 24397 HAS SOUPS 24397 WITH SCORE 24439.102
AT ITER 4804 NEW BEST:: SOT 113711 SOS 42101 HAS SOPS 42101 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24438.101
AT ITER 4820 NEW BEST:: SOT 113710 SOS 42088 HAS SOPS 42088 HAS SOUS 24383 HAS SOUPS 24383 WITH SCORE 24425.088
AT ITER 4907 NEW BEST:: SOT 113697 SOS 42064 HAS SOPS 42064 HAS SOUS 24376 HAS SOUPS 24376 WITH SCORE 24418.064
AT ITER 5000 NEW BEST:: SOT 113697 SOS 42059 HAS SOPS 42059 HAS SOUS 24361 HAS SOUPS 24361 WITH SCORE 24403.059
AT ITER 5034 NEW BEST:: SOT 113691 SOS 42053 HAS SOPS 42053 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24400.053
AT ITER 5048 NEW BEST:: SOT 113732 SOS 42135 HAS SOPS 42135 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24384.135
AT ITER 5055 NEW BEST:: SOT 113727 SOS 42126 HAS SOPS 42126 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24374.126
AT ITER 5072 NEW BEST:: SOT 113696 SOS 42037 HAS SOPS 42037 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24270.037
AT ITER 5074 NEW BEST:: SOT 113686 SOS 42017 HAS SOPS 42017 HAS SOUS 24195 HAS SOUPS 24195 WITH SCORE 24237.017
AT ITER 5105 NEW BEST:: SOT 113606 SOS 41857 HAS SOPS 41857 HAS SOUS 24021 HAS SOUPS 24021 WITH SCORE 24062.857
AT ITER 5132 NEW BEST:: SOT 113598 SOS 41846 HAS SOPS 41846 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24053.846
AT ITER 5137 NEW BEST:: SOT 113598 SOS 41840 HAS SOPS 41840 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24047.84
AT ITER 5169 NEW BEST:: SOT 113601 SOS 41872 HAS SOPS 41872 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24036.872
AT ITER 5174 NEW BEST:: SOT 113576 SOS 41847 HAS SOPS 41847 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 24011.847
AT ITER 5195 NEW BEST:: SOT 113561 SOS 41875 HAS SOPS 41875 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23972.875
AT ITER 5198 NEW BEST:: SOT 113535 SOS 41849 HAS SOPS 41849 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 23951.849
AT ITER 5200 NEW BEST:: SOT 113516 SOS 41765 HAS SOPS 41765 HAS SOUS 23869 HAS SOUPS 23869 WITH SCORE 23910.765
AT ITER 5240 NEW BEST:: SOT 113509 SOS 41751 HAS SOPS 41751 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23883.751
AT ITER 5246 NEW BEST:: SOT 113464 SOS 41706 HAS SOPS 41706 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23838.706
AT ITER 5262 NEW BEST:: SOT 113457 SOS 41699 HAS SOPS 41699 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23831.699
AT ITER 5268 NEW BEST:: SOT 113446 SOS 41688 HAS SOPS 41688 HAS SOUS 23775 HAS SOUPS 23775 WITH SCORE 23816.688
AT ITER 5302 NEW BEST:: SOT 113452 SOS 41698 HAS SOPS 41698 HAS SOUS 23744 HAS SOUPS 23744 WITH SCORE 23785.698
AT ITER 5304 NEW BEST:: SOT 113437 SOS 41693 HAS SOPS 41693 HAS SOUS 23729 HAS SOUPS 23729 WITH SCORE 23770.693
AT ITER 5307 NEW BEST:: SOT 113433 SOS 41685 HAS SOPS 41685 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23762.685
AT ITER 5316 NEW BEST:: SOT 113422 SOS 41674 HAS SOPS 41674 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23751.674
AT ITER 5322 NEW BEST:: SOT 113395 SOS 41647 HAS SOPS 41647 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23724.647
AT ITER 5335 NEW BEST:: SOT 113392 SOS 41780 HAS SOPS 41780 HAS SOUS 23677 HAS SOUPS 23677 WITH SCORE 23718.78
AT ITER 5346 NEW BEST:: SOT 113389 SOS 41777 HAS SOPS 41777 HAS SOUS 23671 HAS SOUPS 23671 WITH SCORE 23712.777
AT ITER 5372 NEW BEST:: SOT 113387 SOS 41773 HAS SOPS 41773 HAS SOUS 23667 HAS SOUPS 23667 WITH SCORE 23708.773
AT ITER 5379 NEW BEST:: SOT 113378 SOS 41755 HAS SOPS 41755 HAS SOUS 23649 HAS SOUPS 23649 WITH SCORE 23690.755
AT ITER 5382 NEW BEST:: SOT 113291 SOS 41581 HAS SOPS 41581 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23603.581
AT ITER 5399 NEW BEST:: SOT 113331 SOS 41512 HAS SOPS 41512 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23522.512
AT ITER 5409 NEW BEST:: SOT 113326 SOS 41512 HAS SOPS 41512 HAS SOUS 23476 HAS SOUPS 23476 WITH SCORE 23517.512
AT ITER 5427 NEW BEST:: SOT 113321 SOS 41507 HAS SOPS 41507 HAS SOUS 23476 HAS SOUPS 23476 WITH SCORE 23517.507
AT ITER 5439 NEW BEST:: SOT 113314 SOS 41513 HAS SOPS 41513 HAS SOUS 23462 HAS SOUPS 23462 WITH SCORE 23503.513
AT ITER 5468 NEW BEST:: SOT 113299 SOS 41483 HAS SOPS 41483 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23488.483
AT ITER 5469 NEW BEST:: SOT 113299 SOS 41470 HAS SOPS 41470 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23488.47
AT ITER 5484 NEW BEST:: SOT 113266 SOS 41435 HAS SOPS 41435 HAS SOUS 23412 HAS SOUPS 23412 WITH SCORE 23453.435
AT ITER 5490 NEW BEST:: SOT 113261 SOS 41425 HAS SOPS 41425 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23448.425
AT ITER 5504 NEW BEST:: SOT 113260 SOS 41424 HAS SOPS 41424 HAS SOUS 23405 HAS SOUPS 23405 WITH SCORE 23446.424
AT ITER 5514 NEW BEST:: SOT 113235 SOS 41327 HAS SOPS 41327 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23443.327
AT ITER 5528 NEW BEST:: SOT 113194 SOS 41257 HAS SOPS 41257 HAS SOUS 23332 HAS SOUPS 23332 WITH SCORE 23373.257
AT ITER 5547 NEW BEST:: SOT 113201 SOS 39629 HAS SOPS 39629 HAS SOUS 23325 HAS SOUPS 23325 WITH SCORE 23364.629
AT ITER 5553 NEW BEST:: SOT 113187 SOS 39610 HAS SOPS 39610 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23354.61
AT ITER 5561 NEW BEST:: SOT 113187 SOS 39620 HAS SOPS 39620 HAS SOUS 23305 HAS SOUPS 23305 WITH SCORE 23344.62
AT ITER 5566 NEW BEST:: SOT 113165 SOS 39598 HAS SOPS 39598 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23259.598
AT ITER 5602 NEW BEST:: SOT 113174 SOS 39590 HAS SOPS 39590 HAS SOUS 23195 HAS SOUPS 23195 WITH SCORE 23234.59
AT ITER 5623 NEW BEST:: SOT 113168 SOS 39584 HAS SOPS 39584 HAS SOUS 23180 HAS SOUPS 23180 WITH SCORE 23219.584
AT ITER 5627 NEW BEST:: SOT 113153 SOS 39539 HAS SOPS 39539 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23174.539
AT ITER 5636 NEW BEST:: SOT 113150 SOS 39533 HAS SOPS 39533 HAS SOUS 23132 HAS SOUPS 23132 WITH SCORE 23171.533
AT ITER 5644 NEW BEST:: SOT 113141 SOS 39478 HAS SOPS 39478 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23153.478
AT ITER 5667 NEW BEST:: SOT 113126 SOS 39485 HAS SOPS 39485 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23123.485
AT ITER 5730 NEW BEST:: SOT 113078 SOS 39396 HAS SOPS 39396 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23067.396
AT ITER 5740 NEW BEST:: SOT 113078 SOS 39332 HAS SOPS 39332 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23067.332
AT ITER 5772 NEW BEST:: SOT 113077 SOS 39318 HAS SOPS 39318 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23065.318
AT ITER 5791 NEW BEST:: SOT 113056 SOS 39297 HAS SOPS 39297 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23043.297
AT ITER 5792 NEW BEST:: SOT 113097 SOS 39338 HAS SOPS 39338 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23037.338
AT ITER 5816 NEW BEST:: SOT 113093 SOS 39330 HAS SOPS 39330 HAS SOUS 22987 HAS SOUPS 22987 WITH SCORE 23026.33
AT ITER 5818 NEW BEST:: SOT 113107 SOS 39318 HAS SOPS 39318 HAS SOUS 22975 HAS SOUPS 22975 WITH SCORE 23014.318
AT ITER 5839 NEW BEST:: SOT 113103 SOS 39310 HAS SOPS 39310 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 23006.31
AT ITER 5866 NEW BEST:: SOT 113117 SOS 39324 HAS SOPS 39324 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22968.324
AT ITER 5867 NEW BEST:: SOT 113105 SOS 39312 HAS SOPS 39312 HAS SOUS 22905 HAS SOUPS 22905 WITH SCORE 22944.312
AT ITER 5868 NEW BEST:: SOT 113112 SOS 39308 HAS SOPS 39308 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22936.308
AT ITER 5913 NEW BEST:: SOT 113094 SOS 39292 HAS SOPS 39292 HAS SOUS 22881 HAS SOUPS 22881 WITH SCORE 22920.292
AT ITER 5922 NEW BEST:: SOT 113094 SOS 39267 HAS SOPS 39267 HAS SOUS 22881 HAS SOUPS 22881 WITH SCORE 22920.267
AT ITER 5984 NEW BEST:: SOT 113087 SOS 39267 HAS SOPS 39267 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22913.267
AT ITER 5997 NEW BEST:: SOT 113090 SOS 39270 HAS SOPS 39270 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22898.27
AT ITER 6001 NEW BEST:: SOT 113086 SOS 39266 HAS SOPS 39266 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22890.266
AT ITER 6011 NEW BEST:: SOT 113084 SOS 39262 HAS SOPS 39262 HAS SOUS 22849 HAS SOUPS 22849 WITH SCORE 22888.262
AT ITER 6015 NEW BEST:: SOT 113082 SOS 39108 HAS SOPS 39108 HAS SOUS 22843 HAS SOUPS 22843 WITH SCORE 22882.108
AT ITER 6017 NEW BEST:: SOT 113066 SOS 39076 HAS SOPS 39076 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22866.076
AT ITER 6028 NEW BEST:: SOT 113065 SOS 39039 HAS SOPS 39039 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22864.039
AT ITER 6058 NEW BEST:: SOT 113065 SOS 39038 HAS SOPS 39038 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22864.038
AT ITER 6105 NEW BEST:: SOT 113060 SOS 39028 HAS SOPS 39028 HAS SOUS 22820 HAS SOUPS 22820 WITH SCORE 22859.028
AT ITER 6133 NEW BEST:: SOT 113060 SOS 39055 HAS SOPS 39055 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22832.055
AT ITER 6146 NEW BEST:: SOT 113060 SOS 39043 HAS SOPS 39043 HAS SOUS 22787 HAS SOUPS 22787 WITH SCORE 22826.043
AT ITER 6179 NEW BEST:: SOT 113076 SOS 39017 HAS SOPS 39017 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22748.017
AT ITER 6197 NEW BEST:: SOT 113073 SOS 39011 HAS SOPS 39011 HAS SOUS 22703 HAS SOUPS 22703 WITH SCORE 22742.011
AT ITER 6234 NEW BEST:: SOT 113073 SOS 39006 HAS SOPS 39006 HAS SOUS 22698 HAS SOUPS 22698 WITH SCORE 22737.006
AT ITER 6267 NEW BEST:: SOT 113059 SOS 38985 HAS SOPS 38985 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22722.985
AT ITER 6269 NEW BEST:: SOT 113009 SOS 38885 HAS SOPS 38885 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22622.885
AT ITER 6298 NEW BEST:: SOT 112975 SOS 38851 HAS SOPS 38851 HAS SOUS 22550 HAS SOUPS 22550 WITH SCORE 22588.851
AT ITER 6354 NEW BEST:: SOT 112975 SOS 38833 HAS SOPS 38833 HAS SOUS 22550 HAS SOUPS 22550 WITH SCORE 22588.833
AT ITER 6368 NEW BEST:: SOT 112916 SOS 38762 HAS SOPS 38762 HAS SOUS 22479 HAS SOUPS 22479 WITH SCORE 22517.762
AT ITER 6389 NEW BEST:: SOT 112916 SOS 38739 HAS SOPS 38739 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22494.739
AT ITER 6392 NEW BEST:: SOT 112881 SOS 38704 HAS SOPS 38704 HAS SOUS 22425 HAS SOUPS 22425 WITH SCORE 22463.704
AT ITER 6416 NEW BEST:: SOT 112775 SOS 38598 HAS SOPS 38598 HAS SOUS 22343 HAS SOUPS 22343 WITH SCORE 22381.598
AT ITER 6482 NEW BEST:: SOT 112759 SOS 38570 HAS SOPS 38570 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22376.57
AT ITER 6494 NEW BEST:: SOT 112739 SOS 38540 HAS SOPS 38540 HAS SOUS 22308 HAS SOUPS 22308 WITH SCORE 22346.54
AT ITER 6499 NEW BEST:: SOT 112740 SOS 38542 HAS SOPS 38542 HAS SOUS 22304 HAS SOUPS 22304 WITH SCORE 22342.542
AT ITER 6503 NEW BEST:: SOT 112733 SOS 38535 HAS SOPS 38535 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22323.535
AT ITER 6505 NEW BEST:: SOT 112712 SOS 38513 HAS SOPS 38513 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22282.513
AT ITER 6518 NEW BEST:: SOT 112690 SOS 38547 HAS SOPS 38547 HAS SOUS 22200 HAS SOUPS 22200 WITH SCORE 22238.547
AT ITER 6521 NEW BEST:: SOT 112680 SOS 38527 HAS SOPS 38527 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22218.527
AT ITER 6524 NEW BEST:: SOT 112669 SOS 38516 HAS SOPS 38516 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22207.516
AT ITER 6525 NEW BEST:: SOT 112669 SOS 38480 HAS SOPS 38480 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22207.48
AT ITER 6529 NEW BEST:: SOT 112665 SOS 38472 HAS SOPS 38472 HAS SOUS 22161 HAS SOUPS 22161 WITH SCORE 22199.472
AT ITER 6555 NEW BEST:: SOT 112664 SOS 38473 HAS SOPS 38473 HAS SOUS 22159 HAS SOUPS 22159 WITH SCORE 22197.473
AT ITER 6556 NEW BEST:: SOT 112721 SOS 38461 HAS SOPS 38461 HAS SOUS 22147 HAS SOUPS 22147 WITH SCORE 22185.461
AT ITER 6599 NEW BEST:: SOT 112691 SOS 38401 HAS SOPS 38401 HAS SOUS 22102 HAS SOUPS 22102 WITH SCORE 22140.401
AT ITER 6623 NEW BEST:: SOT 112675 SOS 38327 HAS SOPS 38327 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22108.327
AT ITER 6628 NEW BEST:: SOT 112675 SOS 38321 HAS SOPS 38321 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22108.321
AT ITER 6673 NEW BEST:: SOT 112642 SOS 38255 HAS SOPS 38255 HAS SOUS 22004 HAS SOUPS 22004 WITH SCORE 22042.255
AT ITER 6690 NEW BEST:: SOT 112640 SOS 38251 HAS SOPS 38251 HAS SOUS 22000 HAS SOUPS 22000 WITH SCORE 22038.251
AT ITER 6705 NEW BEST:: SOT 112640 SOS 38247 HAS SOPS 38247 HAS SOUS 22000 HAS SOUPS 22000 WITH SCORE 22038.247
AT ITER 6707 NEW BEST:: SOT 112620 SOS 38227 HAS SOPS 38227 HAS SOUS 21980 HAS SOUPS 21980 WITH SCORE 22018.227
AT ITER 6750 NEW BEST:: SOT 112615 SOS 38224 HAS SOPS 38224 HAS SOUS 21970 HAS SOUPS 21970 WITH SCORE 22008.224
AT ITER 6757 NEW BEST:: SOT 112606 SOS 38215 HAS SOPS 38215 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21990.215
AT ITER 6758 NEW BEST:: SOT 112606 SOS 38223 HAS SOPS 38223 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21982.223
AT ITER 6773 NEW BEST:: SOT 112606 SOS 38222 HAS SOPS 38222 HAS SOUS 21943 HAS SOUPS 21943 WITH SCORE 21981.222
AT ITER 6775 NEW BEST:: SOT 112606 SOS 38170 HAS SOPS 38170 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21929.17
AT ITER 6820 NEW BEST:: SOT 112606 SOS 38148 HAS SOPS 38148 HAS SOUS 21880 HAS SOUPS 21880 WITH SCORE 21918.148
AT ITER 6839 NEW BEST:: SOT 112606 SOS 38145 HAS SOPS 38145 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21915.145
AT ITER 6846 NEW BEST:: SOT 112606 SOS 38138 HAS SOPS 38138 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21901.138
AT ITER 6854 NEW BEST:: SOT 112606 SOS 38138 HAS SOPS 38138 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21897.138
AT ITER 6940 NEW BEST:: SOT 112606 SOS 38132 HAS SOPS 38132 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21897.132
AT ITER 6969 NEW BEST:: SOT 112600 SOS 38126 HAS SOPS 38126 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21885.126
AT ITER 6983 NEW BEST:: SOT 112584 SOS 38091 HAS SOPS 38091 HAS SOUS 21818 HAS SOUPS 21818 WITH SCORE 21856.091
AT ITER 6984 NEW BEST:: SOT 112566 SOS 38038 HAS SOPS 38038 HAS SOUS 21765 HAS SOUPS 21765 WITH SCORE 21803.038
AT ITER 7020 NEW BEST:: SOT 112558 SOS 38022 HAS SOPS 38022 HAS SOUS 21749 HAS SOUPS 21749 WITH SCORE 21787.022
AT ITER 7046 NEW BEST:: SOT 112558 SOS 38022 HAS SOPS 38022 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21773.022
AT ITER 7049 NEW BEST:: SOT 112556 SOS 38022 HAS SOPS 38022 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21771.022
AT ITER 7053 NEW BEST:: SOT 112555 SOS 38016 HAS SOPS 38016 HAS SOUS 21729 HAS SOUPS 21729 WITH SCORE 21767.016
AT ITER 7086 NEW BEST:: SOT 112560 SOS 38071 HAS SOPS 38071 HAS SOUS 21718 HAS SOUPS 21718 WITH SCORE 21756.071
AT ITER 7121 NEW BEST:: SOT 112543 SOS 38060 HAS SOPS 38060 HAS SOUS 21707 HAS SOUPS 21707 WITH SCORE 21745.06
AT ITER 7145 NEW BEST:: SOT 112532 SOS 38056 HAS SOPS 38056 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21741.056
AT ITER 7150 NEW BEST:: SOT 112530 SOS 38015 HAS SOPS 38015 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21710.015
AT ITER 7164 NEW BEST:: SOT 112527 SOS 38012 HAS SOPS 38012 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21707.012
AT ITER 7166 NEW BEST:: SOT 112525 SOS 38010 HAS SOPS 38010 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21703.01
AT ITER 7209 NEW BEST:: SOT 112525 SOS 37998 HAS SOPS 37998 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21690.998
AT ITER 7220 NEW BEST:: SOT 112518 SOS 38111 HAS SOPS 38111 HAS SOUS 21646 HAS SOUPS 21646 WITH SCORE 21684.111
AT ITER 7282 NEW BEST:: SOT 112517 SOS 38110 HAS SOPS 38110 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21682.11
AT ITER 7312 NEW BEST:: SOT 112462 SOS 38095 HAS SOPS 38095 HAS SOUS 21581 HAS SOUPS 21581 WITH SCORE 21619.095
AT ITER 7328 NEW BEST:: SOT 112438 SOS 38044 HAS SOPS 38044 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21571.044
AT ITER 7377 NEW BEST:: SOT 112432 SOS 38032 HAS SOPS 38032 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21571.032
AT ITER 7440 NEW BEST:: SOT 112430 SOS 38047 HAS SOPS 38047 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21567.047
AT ITER 7459 NEW BEST:: SOT 112358 SOS 37934 HAS SOPS 37934 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21453.934
AT ITER 7483 NEW BEST:: SOT 112326 SOS 37902 HAS SOPS 37902 HAS SOUS 21352 HAS SOUPS 21352 WITH SCORE 21389.902
AT ITER 7497 NEW BEST:: SOT 112325 SOS 37899 HAS SOPS 37899 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21387.899
AT ITER 7524 NEW BEST:: SOT 112316 SOS 37867 HAS SOPS 37867 HAS SOUS 21311 HAS SOUPS 21311 WITH SCORE 21348.867
AT ITER 7541 NEW BEST:: SOT 112319 SOS 37894 HAS SOPS 37894 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21333.894
AT ITER 7553 NEW BEST:: SOT 112333 SOS 37880 HAS SOPS 37880 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21319.88
AT ITER 7572 NEW BEST:: SOT 112332 SOS 37879 HAS SOPS 37879 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21318.879
AT ITER 7587 NEW BEST:: SOT 112332 SOS 37856 HAS SOPS 37856 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21318.856
AT ITER 7595 NEW BEST:: SOT 112325 SOS 37851 HAS SOPS 37851 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21295.851
AT ITER 7612 NEW BEST:: SOT 112316 SOS 37857 HAS SOPS 37857 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21267.857
AT ITER 7639 NEW BEST:: SOT 112299 SOS 37832 HAS SOPS 37832 HAS SOUS 21214 HAS SOUPS 21214 WITH SCORE 21251.832
AT ITER 7658 NEW BEST:: SOT 112270 SOS 37803 HAS SOPS 37803 HAS SOUS 21185 HAS SOUPS 21185 WITH SCORE 21222.803
AT ITER 7668 NEW BEST:: SOT 112270 SOS 37803 HAS SOPS 37803 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21217.803
AT ITER 7681 NEW BEST:: SOT 112266 SOS 37797 HAS SOPS 37797 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21211.797
AT ITER 7703 NEW BEST:: SOT 112266 SOS 37793 HAS SOPS 37793 HAS SOUS 21170 HAS SOUPS 21170 WITH SCORE 21207.793
AT ITER 7744 NEW BEST:: SOT 112260 SOS 37796 HAS SOPS 37796 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21201.796
AT ITER 7754 NEW BEST:: SOT 112315 SOS 37895 HAS SOPS 37895 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21190.895
AT ITER 7756 NEW BEST:: SOT 112313 SOS 37893 HAS SOPS 37893 HAS SOUS 21149 HAS SOUPS 21149 WITH SCORE 21186.893
AT ITER 7757 NEW BEST:: SOT 112311 SOS 37889 HAS SOPS 37889 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21182.889
AT ITER 7770 NEW BEST:: SOT 112311 SOS 37852 HAS SOPS 37852 HAS SOUS 21108 HAS SOUPS 21108 WITH SCORE 21145.852
AT ITER 7793 NEW BEST:: SOT 112287 SOS 37804 HAS SOPS 37804 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21109.804
AT ITER 7819 NEW BEST:: SOT 112286 SOS 37802 HAS SOPS 37802 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21095.802
AT ITER 7832 NEW BEST:: SOT 112285 SOS 37794 HAS SOPS 37794 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21093.794
AT ITER 7871 NEW BEST:: SOT 112266 SOS 37767 HAS SOPS 37767 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21063.767
AT ITER 7894 NEW BEST:: SOT 112265 SOS 37749 HAS SOPS 37749 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21061.749
AT ITER 7914 NEW BEST:: SOT 112271 SOS 37755 HAS SOPS 37755 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21060.755
AT ITER 7947 NEW BEST:: SOT 112268 SOS 37740 HAS SOPS 37740 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21051.74
AT ITER 7954 NEW BEST:: SOT 112259 SOS 37722 HAS SOPS 37722 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21044.722
AT ITER 7979 NEW BEST:: SOT 112256 SOS 37716 HAS SOPS 37716 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21038.716
AT ITER 7985 NEW BEST:: SOT 112214 SOS 37653 HAS SOPS 37653 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 20988.653
AT ITER 7988 NEW BEST:: SOT 112214 SOS 37642 HAS SOPS 37642 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20977.642
AT ITER 8007 NEW BEST:: SOT 112214 SOS 37623 HAS SOPS 37623 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20977.623
AT ITER 8043 NEW BEST:: SOT 112192 SOS 37608 HAS SOPS 37608 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20933.608
AT ITER 8048 NEW BEST:: SOT 112188 SOS 37590 HAS SOPS 37590 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20921.59
AT ITER 8054 NEW BEST:: SOT 112181 SOS 37576 HAS SOPS 37576 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20907.576
AT ITER 8079 NEW BEST:: SOT 112203 SOS 37596 HAS SOPS 37596 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20890.596
AT ITER 8115 NEW BEST:: SOT 112181 SOS 37563 HAS SOPS 37563 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20868.563
AT ITER 8126 NEW BEST:: SOT 112163 SOS 37518 HAS SOPS 37518 HAS SOUS 20771 HAS SOUPS 20771 WITH SCORE 20808.518
AT ITER 8138 NEW BEST:: SOT 112161 SOS 37516 HAS SOPS 37516 HAS SOUS 20769 HAS SOUPS 20769 WITH SCORE 20806.516
AT ITER 8145 NEW BEST:: SOT 112174 SOS 37529 HAS SOPS 37529 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20797.529
AT ITER 8157 NEW BEST:: SOT 112173 SOS 37527 HAS SOPS 37527 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20796.527
AT ITER 8158 NEW BEST:: SOT 112159 SOS 37532 HAS SOPS 37532 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20795.532
AT ITER 8182 NEW BEST:: SOT 112121 SOS 37784 HAS SOPS 37784 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20725.784
AT ITER 8198 NEW BEST:: SOT 112121 SOS 37765 HAS SOPS 37765 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20723.765
AT ITER 8224 NEW BEST:: SOT 112120 SOS 37763 HAS SOPS 37763 HAS SOUS 20684 HAS SOUPS 20684 WITH SCORE 20721.763
AT ITER 8225 NEW BEST:: SOT 112122 SOS 37751 HAS SOPS 37751 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20709.751
AT ITER 8249 NEW BEST:: SOT 112122 SOS 37693 HAS SOPS 37693 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20709.693
AT ITER 8284 NEW BEST:: SOT 112112 SOS 37698 HAS SOPS 37698 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20674.698
AT ITER 8301 NEW BEST:: SOT 112075 SOS 37677 HAS SOPS 37677 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20666.677
AT ITER 8338 NEW BEST:: SOT 112072 SOS 37660 HAS SOPS 37660 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20656.66
AT ITER 8340 NEW BEST:: SOT 112072 SOS 37645 HAS SOPS 37645 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20642.645
AT ITER 8363 NEW BEST:: SOT 112036 SOS 37660 HAS SOPS 37660 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20621.66
AT ITER 8364 NEW BEST:: SOT 112048 SOS 37684 HAS SOPS 37684 HAS SOUS 20580 HAS SOUPS 20580 WITH SCORE 20617.684
AT ITER 8412 NEW BEST:: SOT 112035 SOS 37658 HAS SOPS 37658 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20615.658
AT ITER 8461 NEW BEST:: SOT 112015 SOS 37618 HAS SOPS 37618 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20571.618
AT ITER 8481 NEW BEST:: SOT 112015 SOS 37618 HAS SOPS 37618 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20570.618
AT ITER 8489 NEW BEST:: SOT 112013 SOS 37614 HAS SOPS 37614 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20566.614
AT ITER 8506 NEW BEST:: SOT 112003 SOS 37696 HAS SOPS 37696 HAS SOUS 20509 HAS SOUPS 20509 WITH SCORE 20546.696
AT ITER 8517 NEW BEST:: SOT 112012 SOS 37676 HAS SOPS 37676 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20526.676
AT ITER 8518 NEW BEST:: SOT 112012 SOS 37642 HAS SOPS 37642 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20526.642
AT ITER 8545 NEW BEST:: SOT 112012 SOS 37619 HAS SOPS 37619 HAS SOUS 20478 HAS SOUPS 20478 WITH SCORE 20515.619
AT ITER 8550 NEW BEST:: SOT 112010 SOS 37617 HAS SOPS 37617 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20513.617
AT ITER 8555 NEW BEST:: SOT 112012 SOS 37607 HAS SOPS 37607 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20505.607
AT ITER 8566 NEW BEST:: SOT 112010 SOS 37601 HAS SOPS 37601 HAS SOUS 20464 HAS SOUPS 20464 WITH SCORE 20501.601
AT ITER 8577 NEW BEST:: SOT 112006 SOS 37593 HAS SOPS 37593 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20481.593
AT ITER 8611 NEW BEST:: SOT 111998 SOS 37585 HAS SOPS 37585 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20481.585
AT ITER 8644 NEW BEST:: SOT 111995 SOS 37582 HAS SOPS 37582 HAS SOUS 20441 HAS SOUPS 20441 WITH SCORE 20478.582
AT ITER 8685 NEW BEST:: SOT 111995 SOS 37557 HAS SOPS 37557 HAS SOUS 20416 HAS SOUPS 20416 WITH SCORE 20453.557
AT ITER 8686 NEW BEST:: SOT 111990 SOS 37547 HAS SOPS 37547 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20443.547
AT ITER 8704 NEW BEST:: SOT 111975 SOS 37541 HAS SOPS 37541 HAS SOUS 20400 HAS SOUPS 20400 WITH SCORE 20437.541
AT ITER 8748 NEW BEST:: SOT 111925 SOS 37482 HAS SOPS 37482 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20380.482
AT ITER 8750 NEW BEST:: SOT 111888 SOS 37350 HAS SOPS 37350 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20306.35
AT ITER 8795 NEW BEST:: SOT 111868 SOS 37330 HAS SOPS 37330 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20286.33
AT ITER 8809 NEW BEST:: SOT 111857 SOS 37316 HAS SOPS 37316 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20283.316
AT ITER 8816 NEW BEST:: SOT 111848 SOS 37298 HAS SOPS 37298 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20274.298
AT ITER 8836 NEW BEST:: SOT 111848 SOS 37288 HAS SOPS 37288 HAS SOUS 20227 HAS SOUPS 20227 WITH SCORE 20264.288
AT ITER 8843 NEW BEST:: SOT 111837 SOS 37265 HAS SOPS 37265 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20252.265
AT ITER 8858 NEW BEST:: SOT 111816 SOS 37260 HAS SOPS 37260 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20247.26
AT ITER 8876 NEW BEST:: SOT 111795 SOS 37218 HAS SOPS 37218 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20226.218
AT ITER 8886 NEW BEST:: SOT 111785 SOS 37196 HAS SOPS 37196 HAS SOUS 20169 HAS SOUPS 20169 WITH SCORE 20206.196
AT ITER 8897 NEW BEST:: SOT 111782 SOS 37190 HAS SOPS 37190 HAS SOUS 20163 HAS SOUPS 20163 WITH SCORE 20200.19
AT ITER 8951 NEW BEST:: SOT 111800 SOS 37196 HAS SOPS 37196 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20134.196
AT ITER 8974 NEW BEST:: SOT 111815 SOS 37198 HAS SOPS 37198 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20133.198
AT ITER 8982 NEW BEST:: SOT 111811 SOS 37163 HAS SOPS 37163 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20123.163
AT ITER 8999 NEW BEST:: SOT 111804 SOS 37156 HAS SOPS 37156 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20116.156
AT ITER 9021 NEW BEST:: SOT 111747 SOS 37102 HAS SOPS 37102 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20085.102
AT ITER 9069 NEW BEST:: SOT 111732 SOS 37090 HAS SOPS 37090 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20078.09
AT ITER 9076 NEW BEST:: SOT 111728 SOS 37082 HAS SOPS 37082 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20076.082
AT ITER 9097 NEW BEST:: SOT 111722 SOS 37076 HAS SOPS 37076 HAS SOUS 20027 HAS SOUPS 20027 WITH SCORE 20064.076
AT ITER 9110 NEW BEST:: SOT 111721 SOS 37075 HAS SOPS 37075 HAS SOUS 20026 HAS SOUPS 20026 WITH SCORE 20063.075
AT ITER 9141 NEW BEST:: SOT 111721 SOS 37075 HAS SOPS 37075 HAS SOUS 20019 HAS SOUPS 20019 WITH SCORE 20056.075
AT ITER 9159 NEW BEST:: SOT 111727 SOS 37087 HAS SOPS 37087 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20052.087
AT ITER 9168 NEW BEST:: SOT 111698 SOS 36991 HAS SOPS 36991 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19993.991
AT ITER 9192 NEW BEST:: SOT 111692 SOS 36988 HAS SOPS 36988 HAS SOUS 19951 HAS SOUPS 19951 WITH SCORE 19987.988
AT ITER 9294 NEW BEST:: SOT 111693 SOS 36972 HAS SOPS 36972 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19954.972
AT ITER 9300 NEW BEST:: SOT 111703 SOS 36960 HAS SOPS 36960 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19942.96
AT ITER 9320 NEW BEST:: SOT 111703 SOS 36928 HAS SOPS 36928 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19942.928
AT ITER 9332 NEW BEST:: SOT 111696 SOS 36921 HAS SOPS 36921 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19925.921
AT ITER 9362 NEW BEST:: SOT 111686 SOS 36980 HAS SOPS 36980 HAS SOUS 19870 HAS SOUPS 19870 WITH SCORE 19906.98
AT ITER 9365 NEW BEST:: SOT 111712 SOS 36961 HAS SOPS 36961 HAS SOUS 19841 HAS SOUPS 19841 WITH SCORE 19877.961
AT ITER 9389 NEW BEST:: SOT 111703 SOS 36927 HAS SOPS 36927 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19859.927
AT ITER 9401 NEW BEST:: SOT 111684 SOS 36889 HAS SOPS 36889 HAS SOUS 19765 HAS SOUPS 19765 WITH SCORE 19801.889
AT ITER 9417 NEW BEST:: SOT 111667 SOS 36829 HAS SOPS 36829 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19767.829
AT ITER 9419 NEW BEST:: SOT 111662 SOS 36821 HAS SOPS 36821 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19757.821
AT ITER 9459 NEW BEST:: SOT 111662 SOS 36817 HAS SOPS 36817 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19757.817
AT ITER 9496 NEW BEST:: SOT 111629 SOS 36804 HAS SOPS 36804 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19744.804
AT ITER 9503 NEW BEST:: SOT 111634 SOS 36809 HAS SOPS 36809 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19740.809
AT ITER 9507 NEW BEST:: SOT 111630 SOS 36805 HAS SOPS 36805 HAS SOUS 19700 HAS SOUPS 19700 WITH SCORE 19736.805
AT ITER 9514 NEW BEST:: SOT 111627 SOS 36799 HAS SOPS 36799 HAS SOUS 19694 HAS SOUPS 19694 WITH SCORE 19730.799
AT ITER 9519 NEW BEST:: SOT 111620 SOS 36797 HAS SOPS 36797 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19728.797
AT ITER 9545 NEW BEST:: SOT 111591 SOS 36768 HAS SOPS 36768 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19699.768
AT ITER 9573 NEW BEST:: SOT 111588 SOS 36759 HAS SOPS 36759 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19696.759
AT ITER 9619 NEW BEST:: SOT 111572 SOS 36743 HAS SOPS 36743 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19664.743
AT ITER 9640 NEW BEST:: SOT 111579 SOS 36757 HAS SOPS 36757 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19656.757
AT ITER 9663 NEW BEST:: SOT 111579 SOS 36755 HAS SOPS 36755 HAS SOUS 19618 HAS SOUPS 19618 WITH SCORE 19654.755
AT ITER 9666 NEW BEST:: SOT 111578 SOS 36753 HAS SOPS 36753 HAS SOUS 19616 HAS SOUPS 19616 WITH SCORE 19652.753
AT ITER 9677 NEW BEST:: SOT 111573 SOS 36743 HAS SOPS 36743 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19642.743
AT ITER 9681 NEW BEST:: SOT 111573 SOS 36701 HAS SOPS 36701 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19642.701
AT ITER 9688 NEW BEST:: SOT 111565 SOS 36693 HAS SOPS 36693 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19634.693
AT ITER 9704 NEW BEST:: SOT 111563 SOS 36691 HAS SOPS 36691 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19632.691
AT ITER 9726 NEW BEST:: SOT 111561 SOS 36662 HAS SOPS 36662 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19604.662
AT ITER 9748 NEW BEST:: SOT 111561 SOS 36638 HAS SOPS 36638 HAS SOUS 19544 HAS SOUPS 19544 WITH SCORE 19580.638
AT ITER 9749 NEW BEST:: SOT 111554 SOS 36637 HAS SOPS 36637 HAS SOUS 19543 HAS SOUPS 19543 WITH SCORE 19579.637
AT ITER 9752 NEW BEST:: SOT 111554 SOS 36636 HAS SOPS 36636 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19578.636
AT ITER 9835 NEW BEST:: SOT 111554 SOS 36633 HAS SOPS 36633 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19578.633
AT ITER 9855 NEW BEST:: SOT 111554 SOS 36604 HAS SOPS 36604 HAS SOUS 19513 HAS SOUPS 19513 WITH SCORE 19549.604
AT ITER 9978 NEW BEST:: SOT 111554 SOS 36594 HAS SOPS 36594 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19539.594
AT ITER 9985 NEW BEST:: SOT 111566 SOS 36582 HAS SOPS 36582 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19533.582
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7448816 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16146976 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="DiscoveryGPU-PT-15b"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-15b, 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 r131-smll-167819407600440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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