Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Mar 31 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 31 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 104K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589365085213

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

Filename model.pnml
Petri model created: 408 places, 434 transitions, 1135 arcs.
AT ITER 0 NEW BEST:: SOT 123878 SOS 59654 HAS SOPS 59654 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52725.654
AT ITER 1 NEW BEST:: SOT 123710 SOS 59486 HAS SOPS 59486 HAS SOUS 52498 HAS SOUPS 52498 WITH SCORE 52557.486
AT ITER 7 NEW BEST:: SOT 123598 SOS 59374 HAS SOPS 59374 HAS SOUS 52386 HAS SOUPS 52386 WITH SCORE 52445.374
AT ITER 10 NEW BEST:: SOT 123481 SOS 59257 HAS SOPS 59257 HAS SOUS 52269 HAS SOUPS 52269 WITH SCORE 52328.257
AT ITER 11 NEW BEST:: SOT 123481 SOS 59183 HAS SOPS 59183 HAS SOUS 52267 HAS SOUPS 52267 WITH SCORE 52326.183
AT ITER 15 NEW BEST:: SOT 123368 SOS 58965 HAS SOPS 58965 HAS SOUS 52081 HAS SOUPS 52081 WITH SCORE 52139.965
AT ITER 22 NEW BEST:: SOT 123315 SOS 58937 HAS SOPS 58937 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52086.937
AT ITER 28 NEW BEST:: SOT 123284 SOS 58875 HAS SOPS 58875 HAS SOUS 51966 HAS SOUPS 51966 WITH SCORE 52024.875
AT ITER 35 NEW BEST:: SOT 123284 SOS 58800 HAS SOPS 58800 HAS SOUS 51963 HAS SOUPS 51963 WITH SCORE 52021.8
AT ITER 37 NEW BEST:: SOT 123260 SOS 58774 HAS SOPS 58774 HAS SOUS 51938 HAS SOUPS 51938 WITH SCORE 51996.774
AT ITER 38 NEW BEST:: SOT 123155 SOS 58579 HAS SOPS 58579 HAS SOUS 51851 HAS SOUPS 51851 WITH SCORE 51909.579
AT ITER 42 NEW BEST:: SOT 122933 SOS 58181 HAS SOPS 58181 HAS SOUS 51517 HAS SOUPS 51517 WITH SCORE 51575.181
AT ITER 47 NEW BEST:: SOT 122932 SOS 58179 HAS SOPS 58179 HAS SOUS 51515 HAS SOUPS 51515 WITH SCORE 51573.179
AT ITER 59 NEW BEST:: SOT 122806 SOS 57913 HAS SOPS 57913 HAS SOUS 51249 HAS SOUPS 51249 WITH SCORE 51306.913
AT ITER 61 NEW BEST:: SOT 122806 SOS 57832 HAS SOPS 57832 HAS SOUS 51247 HAS SOUPS 51247 WITH SCORE 51304.832
AT ITER 63 NEW BEST:: SOT 122806 SOS 57694 HAS SOPS 57694 HAS SOUS 51247 HAS SOUPS 51247 WITH SCORE 51304.694
AT ITER 64 NEW BEST:: SOT 122593 SOS 57698 HAS SOPS 57698 HAS SOUS 51212 HAS SOUPS 51212 WITH SCORE 51269.698
AT ITER 65 NEW BEST:: SOT 122403 SOS 57508 HAS SOPS 57508 HAS SOUS 51022 HAS SOUPS 51022 WITH SCORE 51079.508
AT ITER 75 NEW BEST:: SOT 122402 SOS 57506 HAS SOPS 57506 HAS SOUS 51020 HAS SOUPS 51020 WITH SCORE 51077.506
AT ITER 76 NEW BEST:: SOT 122451 SOS 57490 HAS SOPS 57490 HAS SOUS 50992 HAS SOUPS 50992 WITH SCORE 51049.49
AT ITER 87 NEW BEST:: SOT 122357 SOS 57396 HAS SOPS 57396 HAS SOUS 50898 HAS SOUPS 50898 WITH SCORE 50955.396
AT ITER 89 NEW BEST:: SOT 122357 SOS 57342 HAS SOPS 57342 HAS SOUS 50844 HAS SOUPS 50844 WITH SCORE 50901.342
AT ITER 92 NEW BEST:: SOT 122312 SOS 57297 HAS SOPS 57297 HAS SOUS 50799 HAS SOUPS 50799 WITH SCORE 50856.297
AT ITER 93 NEW BEST:: SOT 122312 SOS 57297 HAS SOPS 57297 HAS SOUS 50794 HAS SOUPS 50794 WITH SCORE 50851.297
AT ITER 97 NEW BEST:: SOT 122312 SOS 57287 HAS SOPS 57287 HAS SOUS 50794 HAS SOUPS 50794 WITH SCORE 50851.287
AT ITER 101 NEW BEST:: SOT 122055 SOS 56951 HAS SOPS 56951 HAS SOUS 50429 HAS SOUPS 50429 WITH SCORE 50485.951
AT ITER 102 NEW BEST:: SOT 121950 SOS 56738 HAS SOPS 56738 HAS SOUS 50216 HAS SOUPS 50216 WITH SCORE 50272.738
AT ITER 109 NEW BEST:: SOT 121841 SOS 56628 HAS SOPS 56628 HAS SOUS 50106 HAS SOUPS 50106 WITH SCORE 50162.628
AT ITER 110 NEW BEST:: SOT 121761 SOS 56580 HAS SOPS 56580 HAS SOUS 50034 HAS SOUPS 50034 WITH SCORE 50090.58
AT ITER 111 NEW BEST:: SOT 121742 SOS 56561 HAS SOPS 56561 HAS SOUS 50015 HAS SOUPS 50015 WITH SCORE 50071.561
AT ITER 122 NEW BEST:: SOT 121742 SOS 56519 HAS SOPS 56519 HAS SOUS 50015 HAS SOUPS 50015 WITH SCORE 50071.519
AT ITER 124 NEW BEST:: SOT 121639 SOS 56135 HAS SOPS 56135 HAS SOUS 49623 HAS SOUPS 49623 WITH SCORE 49679.135
AT ITER 127 NEW BEST:: SOT 121639 SOS 56120 HAS SOPS 56120 HAS SOUS 49608 HAS SOUPS 49608 WITH SCORE 49664.12
AT ITER 128 NEW BEST:: SOT 121461 SOS 55853 HAS SOPS 55853 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49396.853
AT ITER 134 NEW BEST:: SOT 121473 SOS 55790 HAS SOPS 55790 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49333.79
AT ITER 135 NEW BEST:: SOT 121473 SOS 55790 HAS SOPS 55790 HAS SOUS 49277 HAS SOUPS 49277 WITH SCORE 49332.79
AT ITER 137 NEW BEST:: SOT 121417 SOS 55747 HAS SOPS 55747 HAS SOUS 49277 HAS SOUPS 49277 WITH SCORE 49332.747
AT ITER 144 NEW BEST:: SOT 121459 SOS 55759 HAS SOPS 55759 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49284.759
AT ITER 145 NEW BEST:: SOT 121459 SOS 55714 HAS SOPS 55714 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49284.714
AT ITER 173 NEW BEST:: SOT 121358 SOS 55626 HAS SOPS 55626 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49196.626
AT ITER 174 NEW BEST:: SOT 121248 SOS 55516 HAS SOPS 55516 HAS SOUS 49031 HAS SOUPS 49031 WITH SCORE 49086.516
AT ITER 189 NEW BEST:: SOT 121248 SOS 55516 HAS SOPS 55516 HAS SOUS 48975 HAS SOUPS 48975 WITH SCORE 49030.516
AT ITER 197 NEW BEST:: SOT 121248 SOS 55459 HAS SOPS 55459 HAS SOUS 48917 HAS SOUPS 48917 WITH SCORE 48972.459
AT ITER 202 NEW BEST:: SOT 121082 SOS 55210 HAS SOPS 55210 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48723.21
AT ITER 206 NEW BEST:: SOT 121063 SOS 55227 HAS SOPS 55227 HAS SOUS 48640 HAS SOUPS 48640 WITH SCORE 48695.227
AT ITER 210 NEW BEST:: SOT 121063 SOS 55150 HAS SOPS 55150 HAS SOUS 48593 HAS SOUPS 48593 WITH SCORE 48648.15
AT ITER 212 NEW BEST:: SOT 121025 SOS 55124 HAS SOPS 55124 HAS SOUS 48572 HAS SOUPS 48572 WITH SCORE 48627.124
AT ITER 213 NEW BEST:: SOT 121030 SOS 54996 HAS SOPS 54996 HAS SOUS 48507 HAS SOUPS 48507 WITH SCORE 48561.996
AT ITER 226 NEW BEST:: SOT 120899 SOS 54865 HAS SOPS 54865 HAS SOUS 48376 HAS SOUPS 48376 WITH SCORE 48430.865
AT ITER 234 NEW BEST:: SOT 120841 SOS 54761 HAS SOPS 54761 HAS SOUS 48272 HAS SOUPS 48272 WITH SCORE 48326.761
AT ITER 237 NEW BEST:: SOT 120841 SOS 54755 HAS SOPS 54755 HAS SOUS 48265 HAS SOUPS 48265 WITH SCORE 48319.755
AT ITER 240 NEW BEST:: SOT 120705 SOS 54638 HAS SOPS 54638 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48282.638
AT ITER 245 NEW BEST:: SOT 120573 SOS 54484 HAS SOPS 54484 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48150.484
AT ITER 247 NEW BEST:: SOT 120573 SOS 54428 HAS SOPS 54428 HAS SOUS 48068 HAS SOUPS 48068 WITH SCORE 48122.428
AT ITER 251 NEW BEST:: SOT 120578 SOS 54236 HAS SOPS 54236 HAS SOUS 47866 HAS SOUPS 47866 WITH SCORE 47920.236
AT ITER 256 NEW BEST:: SOT 120560 SOS 54172 HAS SOPS 54172 HAS SOUS 47802 HAS SOUPS 47802 WITH SCORE 47856.172
AT ITER 260 NEW BEST:: SOT 116096 SOS 55865 HAS SOPS 55865 HAS SOUS 43786 HAS SOUPS 43786 WITH SCORE 43841.865
AT ITER 268 NEW BEST:: SOT 116083 SOS 55839 HAS SOPS 55839 HAS SOUS 43760 HAS SOUPS 43760 WITH SCORE 43815.839
AT ITER 270 NEW BEST:: SOT 116102 SOS 55877 HAS SOPS 55877 HAS SOUS 43759 HAS SOUPS 43759 WITH SCORE 43814.877
AT ITER 287 NEW BEST:: SOT 116013 SOS 55729 HAS SOPS 55729 HAS SOUS 43712 HAS SOUPS 43712 WITH SCORE 43767.729
AT ITER 297 NEW BEST:: SOT 115853 SOS 55424 HAS SOPS 55424 HAS SOUS 43482 HAS SOUPS 43482 WITH SCORE 43537.424
AT ITER 299 NEW BEST:: SOT 115840 SOS 55411 HAS SOPS 55411 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43524.411
AT ITER 304 NEW BEST:: SOT 115734 SOS 55310 HAS SOPS 55310 HAS SOUS 43372 HAS SOUPS 43372 WITH SCORE 43427.31
AT ITER 311 NEW BEST:: SOT 115728 SOS 55301 HAS SOPS 55301 HAS SOUS 43363 HAS SOUPS 43363 WITH SCORE 43418.301
AT ITER 312 NEW BEST:: SOT 115726 SOS 55278 HAS SOPS 55278 HAS SOUS 43359 HAS SOUPS 43359 WITH SCORE 43414.278
AT ITER 320 NEW BEST:: SOT 115726 SOS 55259 HAS SOPS 55259 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43400.259
AT ITER 323 NEW BEST:: SOT 115625 SOS 55088 HAS SOPS 55088 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43334.088
AT ITER 328 NEW BEST:: SOT 115545 SOS 54928 HAS SOPS 54928 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43253.928
AT ITER 329 NEW BEST:: SOT 115344 SOS 54588 HAS SOPS 54588 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43006.588
AT ITER 332 NEW BEST:: SOT 115238 SOS 54376 HAS SOPS 54376 HAS SOUS 42793 HAS SOUPS 42793 WITH SCORE 42847.376
AT ITER 340 NEW BEST:: SOT 115238 SOS 54304 HAS SOPS 54304 HAS SOUS 42721 HAS SOUPS 42721 WITH SCORE 42775.304
AT ITER 345 NEW BEST:: SOT 115233 SOS 54294 HAS SOPS 54294 HAS SOUS 42711 HAS SOUPS 42711 WITH SCORE 42765.294
AT ITER 350 NEW BEST:: SOT 115233 SOS 54287 HAS SOPS 54287 HAS SOUS 42704 HAS SOUPS 42704 WITH SCORE 42758.287
AT ITER 355 NEW BEST:: SOT 115193 SOS 54164 HAS SOPS 54164 HAS SOUS 42663 HAS SOUPS 42663 WITH SCORE 42717.164
AT ITER 357 NEW BEST:: SOT 115048 SOS 54002 HAS SOPS 54002 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42575.002
AT ITER 365 NEW BEST:: SOT 115041 SOS 53995 HAS SOPS 53995 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42567.995
AT ITER 369 NEW BEST:: SOT 114895 SOS 53703 HAS SOPS 53703 HAS SOUS 42368 HAS SOUPS 42368 WITH SCORE 42421.703
AT ITER 378 NEW BEST:: SOT 114806 SOS 53586 HAS SOPS 53586 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42362.586
AT ITER 388 NEW BEST:: SOT 114806 SOS 53586 HAS SOPS 53586 HAS SOUS 42199 HAS SOUPS 42199 WITH SCORE 42252.586
AT ITER 391 NEW BEST:: SOT 114763 SOS 53512 HAS SOPS 53512 HAS SOUS 42155 HAS SOUPS 42155 WITH SCORE 42208.512
AT ITER 394 NEW BEST:: SOT 114733 SOS 53482 HAS SOPS 53482 HAS SOUS 42125 HAS SOUPS 42125 WITH SCORE 42178.482
AT ITER 395 NEW BEST:: SOT 114685 SOS 53192 HAS SOPS 53192 HAS SOUS 42049 HAS SOUPS 42049 WITH SCORE 42102.192
AT ITER 398 NEW BEST:: SOT 114657 SOS 52984 HAS SOPS 52984 HAS SOUS 41971 HAS SOUPS 41971 WITH SCORE 42023.984
AT ITER 399 NEW BEST:: SOT 114541 SOS 52810 HAS SOPS 52810 HAS SOUS 41797 HAS SOUPS 41797 WITH SCORE 41849.81
AT ITER 407 NEW BEST:: SOT 114515 SOS 52750 HAS SOPS 52750 HAS SOUS 41720 HAS SOUPS 41720 WITH SCORE 41772.75
AT ITER 408 NEW BEST:: SOT 114410 SOS 52548 HAS SOPS 52548 HAS SOUS 41615 HAS SOUPS 41615 WITH SCORE 41667.548
AT ITER 422 NEW BEST:: SOT 113198 SOS 52364 HAS SOPS 52364 HAS SOUS 40365 HAS SOUPS 40365 WITH SCORE 40417.364
AT ITER 425 NEW BEST:: SOT 113197 SOS 52298 HAS SOPS 52298 HAS SOUS 40299 HAS SOUPS 40299 WITH SCORE 40351.298
AT ITER 436 NEW BEST:: SOT 113197 SOS 52270 HAS SOPS 52270 HAS SOUS 40271 HAS SOUPS 40271 WITH SCORE 40323.27
AT ITER 448 NEW BEST:: SOT 113153 SOS 52226 HAS SOPS 52226 HAS SOUS 40226 HAS SOUPS 40226 WITH SCORE 40278.226
AT ITER 452 NEW BEST:: SOT 113115 SOS 52150 HAS SOPS 52150 HAS SOUS 40224 HAS SOUPS 40224 WITH SCORE 40276.15
AT ITER 454 NEW BEST:: SOT 113103 SOS 52126 HAS SOPS 52126 HAS SOUS 40212 HAS SOUPS 40212 WITH SCORE 40264.126
AT ITER 455 NEW BEST:: SOT 113103 SOS 52057 HAS SOPS 52057 HAS SOUS 40212 HAS SOUPS 40212 WITH SCORE 40264.057
AT ITER 459 NEW BEST:: SOT 113057 SOS 51965 HAS SOPS 51965 HAS SOUS 40120 HAS SOUPS 40120 WITH SCORE 40171.965
AT ITER 462 NEW BEST:: SOT 112983 SOS 51743 HAS SOPS 51743 HAS SOUS 39972 HAS SOUPS 39972 WITH SCORE 40023.743
AT ITER 468 NEW BEST:: SOT 112927 SOS 51631 HAS SOPS 51631 HAS SOUS 39863 HAS SOUPS 39863 WITH SCORE 39914.631
AT ITER 470 NEW BEST:: SOT 112859 SOS 51366 HAS SOPS 51366 HAS SOUS 39727 HAS SOUPS 39727 WITH SCORE 39778.366
AT ITER 473 NEW BEST:: SOT 112829 SOS 50561 HAS SOPS 50561 HAS SOUS 39695 HAS SOUPS 39695 WITH SCORE 39745.561
AT ITER 483 NEW BEST:: SOT 112829 SOS 50561 HAS SOPS 50561 HAS SOUS 39658 HAS SOUPS 39658 WITH SCORE 39708.561
AT ITER 485 NEW BEST:: SOT 112818 SOS 50539 HAS SOPS 50539 HAS SOUS 39636 HAS SOUPS 39636 WITH SCORE 39686.539
AT ITER 486 NEW BEST:: SOT 112687 SOS 50327 HAS SOPS 50327 HAS SOUS 39446 HAS SOUPS 39446 WITH SCORE 39496.327
AT ITER 487 NEW BEST:: SOT 112632 SOS 50277 HAS SOPS 50277 HAS SOUS 39406 HAS SOUPS 39406 WITH SCORE 39456.277
AT ITER 491 NEW BEST:: SOT 112615 SOS 50215 HAS SOPS 50215 HAS SOUS 39372 HAS SOUPS 39372 WITH SCORE 39422.215
AT ITER 498 NEW BEST:: SOT 112614 SOS 50209 HAS SOPS 50209 HAS SOUS 39370 HAS SOUPS 39370 WITH SCORE 39420.209
AT ITER 501 NEW BEST:: SOT 112532 SOS 50100 HAS SOPS 50100 HAS SOUS 39261 HAS SOUPS 39261 WITH SCORE 39311.1
AT ITER 502 NEW BEST:: SOT 112369 SOS 49866 HAS SOPS 49866 HAS SOUS 39056 HAS SOUPS 39056 WITH SCORE 39105.866
AT ITER 509 NEW BEST:: SOT 112348 SOS 49845 HAS SOPS 49845 HAS SOUS 39035 HAS SOUPS 39035 WITH SCORE 39084.845
AT ITER 519 NEW BEST:: SOT 112351 SOS 49849 HAS SOPS 49849 HAS SOUS 38933 HAS SOUPS 38933 WITH SCORE 38982.849
AT ITER 521 NEW BEST:: SOT 112350 SOS 49846 HAS SOPS 49846 HAS SOUS 38930 HAS SOUPS 38930 WITH SCORE 38979.846
AT ITER 535 NEW BEST:: SOT 112350 SOS 49808 HAS SOPS 49808 HAS SOUS 38930 HAS SOUPS 38930 WITH SCORE 38979.808
AT ITER 539 NEW BEST:: SOT 112314 SOS 49736 HAS SOPS 49736 HAS SOUS 38791 HAS SOUPS 38791 WITH SCORE 38840.736
AT ITER 543 NEW BEST:: SOT 112361 SOS 49564 HAS SOPS 49564 HAS SOUS 38717 HAS SOUPS 38717 WITH SCORE 38766.564
AT ITER 547 NEW BEST:: SOT 112308 SOS 49453 HAS SOPS 49453 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38584.453
AT ITER 559 NEW BEST:: SOT 112298 SOS 49453 HAS SOPS 49453 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38564.453
AT ITER 569 NEW BEST:: SOT 112344 SOS 49383 HAS SOPS 49383 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38494.383
AT ITER 570 NEW BEST:: SOT 112375 SOS 49434 HAS SOPS 49434 HAS SOUS 38433 HAS SOUPS 38433 WITH SCORE 38482.434
AT ITER 577 NEW BEST:: SOT 112344 SOS 49372 HAS SOPS 49372 HAS SOUS 38402 HAS SOUPS 38402 WITH SCORE 38451.372
AT ITER 588 NEW BEST:: SOT 112344 SOS 49334 HAS SOPS 49334 HAS SOUS 38364 HAS SOUPS 38364 WITH SCORE 38413.334
AT ITER 590 NEW BEST:: SOT 112225 SOS 49096 HAS SOPS 49096 HAS SOUS 37982 HAS SOUPS 37982 WITH SCORE 38031.096
AT ITER 595 NEW BEST:: SOT 112185 SOS 48990 HAS SOPS 48990 HAS SOUS 37942 HAS SOUPS 37942 WITH SCORE 37990.99
AT ITER 601 NEW BEST:: SOT 112123 SOS 48928 HAS SOPS 48928 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 37928.928
AT ITER 610 NEW BEST:: SOT 112117 SOS 48916 HAS SOPS 48916 HAS SOUS 37868 HAS SOUPS 37868 WITH SCORE 37916.916
AT ITER 613 NEW BEST:: SOT 111972 SOS 48696 HAS SOPS 48696 HAS SOUS 37648 HAS SOUPS 37648 WITH SCORE 37696.696
AT ITER 621 NEW BEST:: SOT 111971 SOS 48694 HAS SOPS 48694 HAS SOUS 37646 HAS SOUPS 37646 WITH SCORE 37694.694
AT ITER 625 NEW BEST:: SOT 111961 SOS 48445 HAS SOPS 48445 HAS SOUS 37636 HAS SOUPS 37636 WITH SCORE 37684.445
AT ITER 627 NEW BEST:: SOT 111973 SOS 48469 HAS SOPS 48469 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37668.469
AT ITER 638 NEW BEST:: SOT 111949 SOS 48450 HAS SOPS 48450 HAS SOUS 37613 HAS SOUPS 37613 WITH SCORE 37661.45
AT ITER 641 NEW BEST:: SOT 111887 SOS 48326 HAS SOPS 48326 HAS SOUS 37489 HAS SOUPS 37489 WITH SCORE 37537.326
AT ITER 643 NEW BEST:: SOT 111875 SOS 48314 HAS SOPS 48314 HAS SOUS 37465 HAS SOUPS 37465 WITH SCORE 37513.314
AT ITER 646 NEW BEST:: SOT 111775 SOS 48020 HAS SOPS 48020 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37332.02
AT ITER 660 NEW BEST:: SOT 111773 SOS 48016 HAS SOPS 48016 HAS SOUS 37282 HAS SOUPS 37282 WITH SCORE 37330.016
AT ITER 670 NEW BEST:: SOT 111713 SOS 47930 HAS SOPS 47930 HAS SOUS 37196 HAS SOUPS 37196 WITH SCORE 37243.93
AT ITER 677 NEW BEST:: SOT 111583 SOS 47822 HAS SOPS 47822 HAS SOUS 37077 HAS SOUPS 37077 WITH SCORE 37124.822
AT ITER 682 NEW BEST:: SOT 111583 SOS 47837 HAS SOPS 47837 HAS SOUS 37075 HAS SOUPS 37075 WITH SCORE 37122.837
AT ITER 683 NEW BEST:: SOT 111578 SOS 47828 HAS SOPS 47828 HAS SOUS 37069 HAS SOUPS 37069 WITH SCORE 37116.828
AT ITER 684 NEW BEST:: SOT 111578 SOS 47818 HAS SOPS 47818 HAS SOUS 37069 HAS SOUPS 37069 WITH SCORE 37116.818
AT ITER 694 NEW BEST:: SOT 111543 SOS 47748 HAS SOPS 47748 HAS SOUS 36999 HAS SOUPS 36999 WITH SCORE 37046.748
AT ITER 695 NEW BEST:: SOT 111522 SOS 47683 HAS SOPS 47683 HAS SOUS 36958 HAS SOUPS 36958 WITH SCORE 37005.683
AT ITER 701 NEW BEST:: SOT 111488 SOS 47615 HAS SOPS 47615 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 36994.615
AT ITER 703 NEW BEST:: SOT 111488 SOS 47602 HAS SOPS 47602 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 36994.602
AT ITER 712 NEW BEST:: SOT 111344 SOS 47408 HAS SOPS 47408 HAS SOUS 36844 HAS SOUPS 36844 WITH SCORE 36891.408
AT ITER 713 NEW BEST:: SOT 111198 SOS 47329 HAS SOPS 47329 HAS SOUS 36765 HAS SOUPS 36765 WITH SCORE 36812.329
AT ITER 719 NEW BEST:: SOT 111141 SOS 47257 HAS SOPS 47257 HAS SOUS 36693 HAS SOUPS 36693 WITH SCORE 36740.257
AT ITER 721 NEW BEST:: SOT 111140 SOS 47202 HAS SOPS 47202 HAS SOUS 36677 HAS SOUPS 36677 WITH SCORE 36724.202
AT ITER 729 NEW BEST:: SOT 111077 SOS 47203 HAS SOPS 47203 HAS SOUS 36639 HAS SOUPS 36639 WITH SCORE 36686.203
AT ITER 734 NEW BEST:: SOT 110958 SOS 47210 HAS SOPS 47210 HAS SOUS 36586 HAS SOUPS 36586 WITH SCORE 36633.21
AT ITER 736 NEW BEST:: SOT 110950 SOS 47192 HAS SOPS 47192 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36625.192
AT ITER 738 NEW BEST:: SOT 110950 SOS 47174 HAS SOPS 47174 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36625.174
AT ITER 739 NEW BEST:: SOT 110814 SOS 46994 HAS SOPS 46994 HAS SOUS 36538 HAS SOUPS 36538 WITH SCORE 36584.994
AT ITER 745 NEW BEST:: SOT 110797 SOS 46977 HAS SOPS 46977 HAS SOUS 36504 HAS SOUPS 36504 WITH SCORE 36550.977
AT ITER 746 NEW BEST:: SOT 110797 SOS 46949 HAS SOPS 46949 HAS SOUS 36490 HAS SOUPS 36490 WITH SCORE 36536.949
AT ITER 752 NEW BEST:: SOT 110696 SOS 46811 HAS SOPS 46811 HAS SOUS 36397 HAS SOUPS 36397 WITH SCORE 36443.811
AT ITER 757 NEW BEST:: SOT 110680 SOS 46779 HAS SOPS 46779 HAS SOUS 36381 HAS SOUPS 36381 WITH SCORE 36427.779
AT ITER 768 NEW BEST:: SOT 110680 SOS 46709 HAS SOPS 46709 HAS SOUS 36381 HAS SOUPS 36381 WITH SCORE 36427.709
AT ITER 776 NEW BEST:: SOT 110680 SOS 46707 HAS SOPS 46707 HAS SOUS 36379 HAS SOUPS 36379 WITH SCORE 36425.707
AT ITER 789 NEW BEST:: SOT 110693 SOS 46615 HAS SOPS 46615 HAS SOUS 36289 HAS SOUPS 36289 WITH SCORE 36335.615
AT ITER 791 NEW BEST:: SOT 110486 SOS 49529 HAS SOPS 49529 HAS SOUS 36278 HAS SOUPS 36278 WITH SCORE 36327.529
AT ITER 795 NEW BEST:: SOT 110443 SOS 49539 HAS SOPS 49539 HAS SOUS 36214 HAS SOUPS 36214 WITH SCORE 36263.539
AT ITER 799 NEW BEST:: SOT 110436 SOS 49525 HAS SOPS 49525 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36253.525
AT ITER 800 NEW BEST:: SOT 110372 SOS 48241 HAS SOPS 48241 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36235.241
AT ITER 809 NEW BEST:: SOT 110367 SOS 48231 HAS SOPS 48231 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36235.231
AT ITER 821 NEW BEST:: SOT 110375 SOS 48247 HAS SOPS 48247 HAS SOUS 36177 HAS SOUPS 36177 WITH SCORE 36225.247
AT ITER 827 NEW BEST:: SOT 110363 SOS 48230 HAS SOPS 48230 HAS SOUS 36153 HAS SOUPS 36153 WITH SCORE 36201.23
AT ITER 834 NEW BEST:: SOT 110371 SOS 47935 HAS SOPS 47935 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36012.935
AT ITER 847 NEW BEST:: SOT 110361 SOS 47915 HAS SOPS 47915 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36002.915
AT ITER 854 NEW BEST:: SOT 110352 SOS 47887 HAS SOPS 47887 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36002.887
AT ITER 858 NEW BEST:: SOT 110306 SOS 47795 HAS SOPS 47795 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35951.795
AT ITER 862 NEW BEST:: SOT 110306 SOS 47795 HAS SOPS 47795 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 35937.795
AT ITER 863 NEW BEST:: SOT 110016 SOS 47739 HAS SOPS 47739 HAS SOUS 35771 HAS SOUPS 35771 WITH SCORE 35818.739
AT ITER 876 NEW BEST:: SOT 110016 SOS 47732 HAS SOPS 47732 HAS SOUS 35757 HAS SOUPS 35757 WITH SCORE 35804.732
AT ITER 898 NEW BEST:: SOT 110015 SOS 47817 HAS SOPS 47817 HAS SOUS 35756 HAS SOUPS 35756 WITH SCORE 35803.817
AT ITER 913 NEW BEST:: SOT 109991 SOS 47793 HAS SOPS 47793 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35767.793
AT ITER 917 NEW BEST:: SOT 110030 SOS 47778 HAS SOPS 47778 HAS SOUS 35708 HAS SOUPS 35708 WITH SCORE 35755.778
AT ITER 934 NEW BEST:: SOT 110038 SOS 47636 HAS SOPS 47636 HAS SOUS 35623 HAS SOUPS 35623 WITH SCORE 35670.636
AT ITER 936 NEW BEST:: SOT 109930 SOS 47646 HAS SOPS 47646 HAS SOUS 35497 HAS SOUPS 35497 WITH SCORE 35544.646
AT ITER 937 NEW BEST:: SOT 109848 SOS 47482 HAS SOPS 47482 HAS SOUS 35345 HAS SOUPS 35345 WITH SCORE 35392.482
AT ITER 942 NEW BEST:: SOT 109847 SOS 47481 HAS SOPS 47481 HAS SOUS 35343 HAS SOUPS 35343 WITH SCORE 35390.481
AT ITER 975 NEW BEST:: SOT 109824 SOS 47435 HAS SOPS 47435 HAS SOUS 35320 HAS SOUPS 35320 WITH SCORE 35367.435
AT ITER 976 NEW BEST:: SOT 109803 SOS 47403 HAS SOPS 47403 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35348.403
AT ITER 978 NEW BEST:: SOT 109810 SOS 47436 HAS SOPS 47436 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35281.436
AT ITER 985 NEW BEST:: SOT 109794 SOS 47404 HAS SOPS 47404 HAS SOUS 35218 HAS SOUPS 35218 WITH SCORE 35265.404
AT ITER 987 NEW BEST:: SOT 109799 SOS 47409 HAS SOPS 47409 HAS SOUS 35189 HAS SOUPS 35189 WITH SCORE 35236.409
AT ITER 991 NEW BEST:: SOT 109600 SOS 47097 HAS SOPS 47097 HAS SOUS 34913 HAS SOUPS 34913 WITH SCORE 34960.097
AT ITER 1001 NEW BEST:: SOT 109499 SOS 46996 HAS SOPS 46996 HAS SOUS 34819 HAS SOUPS 34819 WITH SCORE 34865.996
AT ITER 1003 NEW BEST:: SOT 109587 SOS 47084 HAS SOPS 47084 HAS SOUS 34811 HAS SOUPS 34811 WITH SCORE 34858.084
AT ITER 1006 NEW BEST:: SOT 109579 SOS 47072 HAS SOPS 47072 HAS SOUS 34795 HAS SOUPS 34795 WITH SCORE 34842.072
AT ITER 1008 NEW BEST:: SOT 109567 SOS 47054 HAS SOPS 47054 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34824.054
AT ITER 1013 NEW BEST:: SOT 109512 SOS 47000 HAS SOPS 47000 HAS SOUS 34666 HAS SOUPS 34666 WITH SCORE 34713.0
AT ITER 1014 NEW BEST:: SOT 109512 SOS 46953 HAS SOPS 46953 HAS SOUS 34666 HAS SOUPS 34666 WITH SCORE 34712.953
AT ITER 1016 NEW BEST:: SOT 109481 SOS 46891 HAS SOPS 46891 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34650.891
AT ITER 1026 NEW BEST:: SOT 109476 SOS 46847 HAS SOPS 46847 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34640.847
AT ITER 1032 NEW BEST:: SOT 109399 SOS 46693 HAS SOPS 46693 HAS SOUS 34447 HAS SOUPS 34447 WITH SCORE 34493.693
AT ITER 1040 NEW BEST:: SOT 109398 SOS 46694 HAS SOPS 46694 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34491.694
AT ITER 1042 NEW BEST:: SOT 109398 SOS 46660 HAS SOPS 46660 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34491.66
AT ITER 1054 NEW BEST:: SOT 109374 SOS 46636 HAS SOPS 46636 HAS SOUS 34424 HAS SOUPS 34424 WITH SCORE 34470.636
AT ITER 1066 NEW BEST:: SOT 109378 SOS 46572 HAS SOPS 46572 HAS SOUS 34395 HAS SOUPS 34395 WITH SCORE 34441.572
AT ITER 1071 NEW BEST:: SOT 109291 SOS 46227 HAS SOPS 46227 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34210.227
AT ITER 1090 NEW BEST:: SOT 109280 SOS 46261 HAS SOPS 46261 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34199.261
AT ITER 1099 NEW BEST:: SOT 109250 SOS 46201 HAS SOPS 46201 HAS SOUS 34077 HAS SOUPS 34077 WITH SCORE 34123.201
AT ITER 1101 NEW BEST:: SOT 109156 SOS 46013 HAS SOPS 46013 HAS SOUS 33983 HAS SOUPS 33983 WITH SCORE 34029.013
AT ITER 1104 NEW BEST:: SOT 109103 SOS 45998 HAS SOPS 45998 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33922.998
AT ITER 1108 NEW BEST:: SOT 109131 SOS 46007 HAS SOPS 46007 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33914.007
AT ITER 1119 NEW BEST:: SOT 109015 SOS 43061 HAS SOPS 43061 HAS SOUS 33636 HAS SOUPS 33636 WITH SCORE 33679.061
AT ITER 1124 NEW BEST:: SOT 109015 SOS 43041 HAS SOPS 43041 HAS SOUS 33636 HAS SOUPS 33636 WITH SCORE 33679.041
AT ITER 1126 NEW BEST:: SOT 108927 SOS 42905 HAS SOPS 42905 HAS SOUS 33536 HAS SOUPS 33536 WITH SCORE 33578.905
AT ITER 1127 NEW BEST:: SOT 108907 SOS 42834 HAS SOPS 42834 HAS SOUS 33513 HAS SOUPS 33513 WITH SCORE 33555.834
AT ITER 1131 NEW BEST:: SOT 108780 SOS 42734 HAS SOPS 42734 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33538.734
AT ITER 1136 NEW BEST:: SOT 108728 SOS 42682 HAS SOPS 42682 HAS SOUS 33444 HAS SOUPS 33444 WITH SCORE 33486.682
AT ITER 1138 NEW BEST:: SOT 108651 SOS 42661 HAS SOPS 42661 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33332.661
AT ITER 1140 NEW BEST:: SOT 108514 SOS 42566 HAS SOPS 42566 HAS SOUS 33246 HAS SOUPS 33246 WITH SCORE 33288.566
AT ITER 1151 NEW BEST:: SOT 108514 SOS 42539 HAS SOPS 42539 HAS SOUS 33246 HAS SOUPS 33246 WITH SCORE 33288.539
AT ITER 1155 NEW BEST:: SOT 108509 SOS 42529 HAS SOPS 42529 HAS SOUS 33241 HAS SOUPS 33241 WITH SCORE 33283.529
AT ITER 1161 NEW BEST:: SOT 108500 SOS 42525 HAS SOPS 42525 HAS SOUS 33218 HAS SOUPS 33218 WITH SCORE 33260.525
AT ITER 1166 NEW BEST:: SOT 108511 SOS 42440 HAS SOPS 42440 HAS SOUS 33144 HAS SOUPS 33144 WITH SCORE 33186.44
AT ITER 1168 NEW BEST:: SOT 108347 SOS 42127 HAS SOPS 42127 HAS SOUS 32990 HAS SOUPS 32990 WITH SCORE 33032.127
AT ITER 1172 NEW BEST:: SOT 108272 SOS 41927 HAS SOPS 41927 HAS SOUS 32840 HAS SOUPS 32840 WITH SCORE 32881.927
AT ITER 1189 NEW BEST:: SOT 108200 SOS 41810 HAS SOPS 41810 HAS SOUS 32788 HAS SOUPS 32788 WITH SCORE 32829.81
AT ITER 1191 NEW BEST:: SOT 108176 SOS 41714 HAS SOPS 41714 HAS SOUS 32764 HAS SOUPS 32764 WITH SCORE 32805.714
AT ITER 1195 NEW BEST:: SOT 108164 SOS 41713 HAS SOPS 41713 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32804.713
AT ITER 1214 NEW BEST:: SOT 108160 SOS 41705 HAS SOPS 41705 HAS SOUS 32755 HAS SOUPS 32755 WITH SCORE 32796.705
AT ITER 1221 NEW BEST:: SOT 108063 SOS 41511 HAS SOPS 41511 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32707.511
AT ITER 1235 NEW BEST:: SOT 108066 SOS 41437 HAS SOPS 41437 HAS SOUS 32539 HAS SOUPS 32539 WITH SCORE 32580.437
AT ITER 1237 NEW BEST:: SOT 107972 SOS 41250 HAS SOPS 41250 HAS SOUS 32456 HAS SOUPS 32456 WITH SCORE 32497.25
AT ITER 1252 NEW BEST:: SOT 107904 SOS 41114 HAS SOPS 41114 HAS SOUS 32320 HAS SOUPS 32320 WITH SCORE 32361.114
AT ITER 1281 NEW BEST:: SOT 107854 SOS 40903 HAS SOPS 40903 HAS SOUS 32270 HAS SOUPS 32270 WITH SCORE 32310.903
AT ITER 1282 NEW BEST:: SOT 107848 SOS 40891 HAS SOPS 40891 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32298.891
AT ITER 1287 NEW BEST:: SOT 107839 SOS 40873 HAS SOPS 40873 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32289.873
AT ITER 1301 NEW BEST:: SOT 107807 SOS 40757 HAS SOPS 40757 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32173.757
AT ITER 1312 NEW BEST:: SOT 107752 SOS 41299 HAS SOPS 41299 HAS SOUS 32123 HAS SOUPS 32123 WITH SCORE 32164.299
AT ITER 1316 NEW BEST:: SOT 107712 SOS 41259 HAS SOPS 41259 HAS SOUS 32083 HAS SOUPS 32083 WITH SCORE 32124.259
AT ITER 1318 NEW BEST:: SOT 107641 SOS 41236 HAS SOPS 41236 HAS SOUS 32031 HAS SOUPS 32031 WITH SCORE 32072.236
AT ITER 1319 NEW BEST:: SOT 107612 SOS 41621 HAS SOPS 41621 HAS SOUS 32025 HAS SOUPS 32025 WITH SCORE 32066.621
AT ITER 1331 NEW BEST:: SOT 107530 SOS 41591 HAS SOPS 41591 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32060.591
AT ITER 1338 NEW BEST:: SOT 107491 SOS 41614 HAS SOPS 41614 HAS SOUS 31802 HAS SOUPS 31802 WITH SCORE 31843.614
AT ITER 1344 NEW BEST:: SOT 107491 SOS 41538 HAS SOPS 41538 HAS SOUS 31802 HAS SOUPS 31802 WITH SCORE 31843.538
AT ITER 1366 NEW BEST:: SOT 107490 SOS 41537 HAS SOPS 41537 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31841.537
AT ITER 1367 NEW BEST:: SOT 107469 SOS 41502 HAS SOPS 41502 HAS SOUS 31765 HAS SOUPS 31765 WITH SCORE 31806.502
AT ITER 1393 NEW BEST:: SOT 107421 SOS 41406 HAS SOPS 41406 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31750.406
AT ITER 1396 NEW BEST:: SOT 107350 SOS 41408 HAS SOPS 41408 HAS SOUS 31637 HAS SOUPS 31637 WITH SCORE 31678.408
AT ITER 1397 NEW BEST:: SOT 107324 SOS 41337 HAS SOPS 41337 HAS SOUS 31555 HAS SOUPS 31555 WITH SCORE 31596.337
AT ITER 1404 NEW BEST:: SOT 107335 SOS 41292 HAS SOPS 41292 HAS SOUS 31527 HAS SOUPS 31527 WITH SCORE 31568.292
AT ITER 1411 NEW BEST:: SOT 107356 SOS 41246 HAS SOPS 41246 HAS SOUS 31502 HAS SOUPS 31502 WITH SCORE 31543.246
AT ITER 1416 NEW BEST:: SOT 107317 SOS 41202 HAS SOPS 41202 HAS SOUS 31480 HAS SOUPS 31480 WITH SCORE 31521.202
AT ITER 1417 NEW BEST:: SOT 107192 SOS 40942 HAS SOPS 40942 HAS SOUS 31189 HAS SOUPS 31189 WITH SCORE 31229.942
AT ITER 1422 NEW BEST:: SOT 107179 SOS 40929 HAS SOPS 40929 HAS SOUS 31175 HAS SOUPS 31175 WITH SCORE 31215.929
AT ITER 1443 NEW BEST:: SOT 107142 SOS 40892 HAS SOPS 40892 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31178.892
AT ITER 1444 NEW BEST:: SOT 107138 SOS 40888 HAS SOPS 40888 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31178.888
AT ITER 1445 NEW BEST:: SOT 107020 SOS 40652 HAS SOPS 40652 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31102.652
AT ITER 1446 NEW BEST:: SOT 107020 SOS 40649 HAS SOPS 40649 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31102.649
AT ITER 1448 NEW BEST:: SOT 107020 SOS 40636 HAS SOPS 40636 HAS SOUS 31049 HAS SOUPS 31049 WITH SCORE 31089.636
AT ITER 1451 NEW BEST:: SOT 107023 SOS 40629 HAS SOPS 40629 HAS SOUS 31042 HAS SOUPS 31042 WITH SCORE 31082.629
AT ITER 1457 NEW BEST:: SOT 106953 SOS 40418 HAS SOPS 40418 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31011.418
AT ITER 1464 NEW BEST:: SOT 106927 SOS 40392 HAS SOPS 40392 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30959.392
AT ITER 1473 NEW BEST:: SOT 106886 SOS 40340 HAS SOPS 40340 HAS SOUS 30878 HAS SOUPS 30878 WITH SCORE 30918.34
AT ITER 1477 NEW BEST:: SOT 106845 SOS 40258 HAS SOPS 40258 HAS SOUS 30796 HAS SOUPS 30796 WITH SCORE 30836.258
AT ITER 1478 NEW BEST:: SOT 106808 SOS 40235 HAS SOPS 40235 HAS SOUS 30772 HAS SOUPS 30772 WITH SCORE 30812.235
AT ITER 1480 NEW BEST:: SOT 106545 SOS 39845 HAS SOPS 39845 HAS SOUS 30297 HAS SOUPS 30297 WITH SCORE 30336.845
AT ITER 1490 NEW BEST:: SOT 106517 SOS 39785 HAS SOPS 39785 HAS SOUS 30269 HAS SOUPS 30269 WITH SCORE 30308.785
AT ITER 1506 NEW BEST:: SOT 106517 SOS 39774 HAS SOPS 39774 HAS SOUS 30265 HAS SOUPS 30265 WITH SCORE 30304.774
AT ITER 1513 NEW BEST:: SOT 106476 SOS 39708 HAS SOPS 39708 HAS SOUS 30207 HAS SOUPS 30207 WITH SCORE 30246.708
AT ITER 1526 NEW BEST:: SOT 106439 SOS 39634 HAS SOPS 39634 HAS SOUS 30135 HAS SOUPS 30135 WITH SCORE 30174.634
AT ITER 1535 NEW BEST:: SOT 106215 SOS 39832 HAS SOPS 39832 HAS SOUS 30119 HAS SOUPS 30119 WITH SCORE 30158.832
AT ITER 1543 NEW BEST:: SOT 106215 SOS 39832 HAS SOPS 39832 HAS SOUS 30103 HAS SOUPS 30103 WITH SCORE 30142.832
AT ITER 1559 NEW BEST:: SOT 106215 SOS 39790 HAS SOPS 39790 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30114.79
AT ITER 1565 NEW BEST:: SOT 106170 SOS 39714 HAS SOPS 39714 HAS SOUS 30025 HAS SOUPS 30025 WITH SCORE 30064.714
AT ITER 1577 NEW BEST:: SOT 106142 SOS 39686 HAS SOPS 39686 HAS SOUS 29997 HAS SOUPS 29997 WITH SCORE 30036.686
AT ITER 1578 NEW BEST:: SOT 106141 SOS 39684 HAS SOPS 39684 HAS SOUS 29996 HAS SOUPS 29996 WITH SCORE 30035.684
AT ITER 1589 NEW BEST:: SOT 106067 SOS 39638 HAS SOPS 39638 HAS SOUS 29991 HAS SOUPS 29991 WITH SCORE 30030.638
AT ITER 1593 NEW BEST:: SOT 106078 SOS 39605 HAS SOPS 39605 HAS SOUS 29966 HAS SOUPS 29966 WITH SCORE 30005.605
AT ITER 1596 NEW BEST:: SOT 106074 SOS 39760 HAS SOPS 39760 HAS SOUS 29958 HAS SOUPS 29958 WITH SCORE 29997.76
AT ITER 1607 NEW BEST:: SOT 106001 SOS 39584 HAS SOPS 39584 HAS SOUS 29812 HAS SOUPS 29812 WITH SCORE 29851.584
AT ITER 1613 NEW BEST:: SOT 105983 SOS 39566 HAS SOPS 39566 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29833.566
AT ITER 1643 NEW BEST:: SOT 105935 SOS 39470 HAS SOPS 39470 HAS SOUS 29698 HAS SOUPS 29698 WITH SCORE 29737.47
AT ITER 1650 NEW BEST:: SOT 105931 SOS 39462 HAS SOPS 39462 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29729.462
AT ITER 1664 NEW BEST:: SOT 105927 SOS 39446 HAS SOPS 39446 HAS SOUS 29681 HAS SOUPS 29681 WITH SCORE 29720.446
AT ITER 1666 NEW BEST:: SOT 105824 SOS 39260 HAS SOPS 39260 HAS SOUS 29611 HAS SOUPS 29611 WITH SCORE 29650.26
AT ITER 1687 NEW BEST:: SOT 105774 SOS 39169 HAS SOPS 39169 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29585.169
AT ITER 1715 NEW BEST:: SOT 105770 SOS 39108 HAS SOPS 39108 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29577.108
AT ITER 1718 NEW BEST:: SOT 105770 SOS 39076 HAS SOPS 39076 HAS SOUS 29506 HAS SOUPS 29506 WITH SCORE 29545.076
AT ITER 1743 NEW BEST:: SOT 105693 SOS 38922 HAS SOPS 38922 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29388.922
AT ITER 1744 NEW BEST:: SOT 105612 SOS 38869 HAS SOPS 38869 HAS SOUS 29349 HAS SOUPS 29349 WITH SCORE 29387.869
AT ITER 1768 NEW BEST:: SOT 105601 SOS 38847 HAS SOPS 38847 HAS SOUS 29347 HAS SOUPS 29347 WITH SCORE 29385.847
AT ITER 1780 NEW BEST:: SOT 105525 SOS 38660 HAS SOPS 38660 HAS SOUS 29205 HAS SOUPS 29205 WITH SCORE 29243.66
AT ITER 1783 NEW BEST:: SOT 105470 SOS 38605 HAS SOPS 38605 HAS SOUS 29190 HAS SOUPS 29190 WITH SCORE 29228.605
AT ITER 1814 NEW BEST:: SOT 105443 SOS 38606 HAS SOPS 38606 HAS SOUS 29166 HAS SOUPS 29166 WITH SCORE 29204.606
AT ITER 1837 NEW BEST:: SOT 105433 SOS 38535 HAS SOPS 38535 HAS SOUS 29135 HAS SOUPS 29135 WITH SCORE 29173.535
AT ITER 1858 NEW BEST:: SOT 105452 SOS 38495 HAS SOPS 38495 HAS SOUS 29062 HAS SOUPS 29062 WITH SCORE 29100.495
AT ITER 1860 NEW BEST:: SOT 105441 SOS 38384 HAS SOPS 38384 HAS SOUS 29040 HAS SOUPS 29040 WITH SCORE 29078.384
AT ITER 1861 NEW BEST:: SOT 105441 SOS 38324 HAS SOPS 38324 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29048.324
AT ITER 1876 NEW BEST:: SOT 105441 SOS 38351 HAS SOPS 38351 HAS SOUS 28989 HAS SOUPS 28989 WITH SCORE 29027.351
AT ITER 1908 NEW BEST:: SOT 105428 SOS 38325 HAS SOPS 38325 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28988.325
AT ITER 1917 NEW BEST:: SOT 105428 SOS 38300 HAS SOPS 38300 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28988.3
AT ITER 1918 NEW BEST:: SOT 105395 SOS 38234 HAS SOPS 38234 HAS SOUS 28884 HAS SOUPS 28884 WITH SCORE 28922.234
AT ITER 1931 NEW BEST:: SOT 105241 SOS 41759 HAS SOPS 41759 HAS SOUS 28785 HAS SOUPS 28785 WITH SCORE 28826.759
AT ITER 1940 NEW BEST:: SOT 105295 SOS 41692 HAS SOPS 41692 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28817.692
AT ITER 1953 NEW BEST:: SOT 105295 SOS 41692 HAS SOPS 41692 HAS SOUS 28722 HAS SOUPS 28722 WITH SCORE 28763.692
AT ITER 1956 NEW BEST:: SOT 105261 SOS 41641 HAS SOPS 41641 HAS SOUS 28654 HAS SOUPS 28654 WITH SCORE 28695.641
AT ITER 1966 NEW BEST:: SOT 105209 SOS 41576 HAS SOPS 41576 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28644.576
AT ITER 1970 NEW BEST:: SOT 105188 SOS 41534 HAS SOPS 41534 HAS SOUS 28564 HAS SOUPS 28564 WITH SCORE 28605.534
AT ITER 1976 NEW BEST:: SOT 105137 SOS 41470 HAS SOPS 41470 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28578.47
AT ITER 1979 NEW BEST:: SOT 105106 SOS 41471 HAS SOPS 41471 HAS SOUS 28475 HAS SOUPS 28475 WITH SCORE 28516.471
AT ITER 1984 NEW BEST:: SOT 105148 SOS 41522 HAS SOPS 41522 HAS SOUS 28469 HAS SOUPS 28469 WITH SCORE 28510.522
AT ITER 1985 NEW BEST:: SOT 105148 SOS 41515 HAS SOPS 41515 HAS SOUS 28469 HAS SOUPS 28469 WITH SCORE 28510.515
AT ITER 1999 NEW BEST:: SOT 105137 SOS 41493 HAS SOPS 41493 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28488.493
AT ITER 2003 NEW BEST:: SOT 105137 SOS 41448 HAS SOPS 41448 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28488.448
AT ITER 2023 NEW BEST:: SOT 105148 SOS 41440 HAS SOPS 41440 HAS SOUS 28438 HAS SOUPS 28438 WITH SCORE 28479.44
AT ITER 2025 NEW BEST:: SOT 105146 SOS 41435 HAS SOPS 41435 HAS SOUS 28435 HAS SOUPS 28435 WITH SCORE 28476.435
AT ITER 2036 NEW BEST:: SOT 105144 SOS 41431 HAS SOPS 41431 HAS SOUS 28431 HAS SOUPS 28431 WITH SCORE 28472.431
AT ITER 2046 NEW BEST:: SOT 105064 SOS 41284 HAS SOPS 41284 HAS SOUS 28326 HAS SOUPS 28326 WITH SCORE 28367.284
AT ITER 2053 NEW BEST:: SOT 105064 SOS 41284 HAS SOPS 41284 HAS SOUS 28269 HAS SOUPS 28269 WITH SCORE 28310.284
AT ITER 2062 NEW BEST:: SOT 105038 SOS 41130 HAS SOPS 41130 HAS SOUS 28217 HAS SOUPS 28217 WITH SCORE 28258.13
AT ITER 2072 NEW BEST:: SOT 105062 SOS 41126 HAS SOPS 41126 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28254.126
AT ITER 2073 NEW BEST:: SOT 105006 SOS 41043 HAS SOPS 41043 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28254.043
AT ITER 2075 NEW BEST:: SOT 105006 SOS 41015 HAS SOPS 41015 HAS SOUS 28199 HAS SOUPS 28199 WITH SCORE 28240.015
AT ITER 2076 NEW BEST:: SOT 105006 SOS 40939 HAS SOPS 40939 HAS SOUS 28199 HAS SOUPS 28199 WITH SCORE 28239.939
AT ITER 2096 NEW BEST:: SOT 104963 SOS 40853 HAS SOPS 40853 HAS SOUS 28052 HAS SOUPS 28052 WITH SCORE 28092.853
AT ITER 2122 NEW BEST:: SOT 104960 SOS 40844 HAS SOPS 40844 HAS SOUS 28046 HAS SOUPS 28046 WITH SCORE 28086.844
AT ITER 2127 NEW BEST:: SOT 104960 SOS 40844 HAS SOPS 40844 HAS SOUS 28043 HAS SOUPS 28043 WITH SCORE 28083.844
AT ITER 2169 NEW BEST:: SOT 104914 SOS 40775 HAS SOPS 40775 HAS SOUS 27974 HAS SOUPS 27974 WITH SCORE 28014.775
AT ITER 2174 NEW BEST:: SOT 104912 SOS 40771 HAS SOPS 40771 HAS SOUS 27960 HAS SOUPS 27960 WITH SCORE 28000.771
AT ITER 2191 NEW BEST:: SOT 104887 SOS 40696 HAS SOPS 40696 HAS SOUS 27885 HAS SOUPS 27885 WITH SCORE 27925.696
AT ITER 2194 NEW BEST:: SOT 104852 SOS 40658 HAS SOPS 40658 HAS SOUS 27866 HAS SOUPS 27866 WITH SCORE 27906.658
AT ITER 2205 NEW BEST:: SOT 104829 SOS 40635 HAS SOPS 40635 HAS SOUS 27820 HAS SOUPS 27820 WITH SCORE 27860.635
AT ITER 2212 NEW BEST:: SOT 104800 SOS 40606 HAS SOPS 40606 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27828.606
AT ITER 2213 NEW BEST:: SOT 104815 SOS 40604 HAS SOPS 40604 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27825.604
AT ITER 2222 NEW BEST:: SOT 104815 SOS 40283 HAS SOPS 40283 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27811.283
AT ITER 2230 NEW BEST:: SOT 104763 SOS 40098 HAS SOPS 40098 HAS SOUS 27638 HAS SOUPS 27638 WITH SCORE 27678.098
AT ITER 2242 NEW BEST:: SOT 104747 SOS 40034 HAS SOPS 40034 HAS SOUS 27633 HAS SOUPS 27633 WITH SCORE 27673.034
AT ITER 2244 NEW BEST:: SOT 104746 SOS 40033 HAS SOPS 40033 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27672.033
AT ITER 2255 NEW BEST:: SOT 104750 SOS 40031 HAS SOPS 40031 HAS SOUS 27630 HAS SOUPS 27630 WITH SCORE 27670.031
AT ITER 2257 NEW BEST:: SOT 104737 SOS 40005 HAS SOPS 40005 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27657.005
AT ITER 2260 NEW BEST:: SOT 104736 SOS 40004 HAS SOPS 40004 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27656.004
AT ITER 2265 NEW BEST:: SOT 104736 SOS 39964 HAS SOPS 39964 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27655.964
AT ITER 2282 NEW BEST:: SOT 104736 SOS 39954 HAS SOPS 39954 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27645.954
AT ITER 2288 NEW BEST:: SOT 104693 SOS 39911 HAS SOPS 39911 HAS SOUS 27576 HAS SOUPS 27576 WITH SCORE 27615.911
AT ITER 2291 NEW BEST:: SOT 104631 SOS 39787 HAS SOPS 39787 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27553.787
AT ITER 2301 NEW BEST:: SOT 104530 SOS 40359 HAS SOPS 40359 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27513.359
AT ITER 2318 NEW BEST:: SOT 104510 SOS 40393 HAS SOPS 40393 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27509.393
AT ITER 2321 NEW BEST:: SOT 104515 SOS 40373 HAS SOPS 40373 HAS SOUS 27444 HAS SOUPS 27444 WITH SCORE 27484.373
AT ITER 2327 NEW BEST:: SOT 104539 SOS 40340 HAS SOPS 40340 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27441.34
AT ITER 2399 NEW BEST:: SOT 104539 SOS 40340 HAS SOPS 40340 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27439.34
AT ITER 2405 NEW BEST:: SOT 104561 SOS 40362 HAS SOPS 40362 HAS SOUS 27341 HAS SOUPS 27341 WITH SCORE 27381.362
AT ITER 2421 NEW BEST:: SOT 104545 SOS 40303 HAS SOPS 40303 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27360.303
AT ITER 2432 NEW BEST:: SOT 104470 SOS 40153 HAS SOPS 40153 HAS SOUS 27161 HAS SOUPS 27161 WITH SCORE 27201.153
AT ITER 2445 NEW BEST:: SOT 104059 SOS 39780 HAS SOPS 39780 HAS SOUS 26851 HAS SOUPS 26851 WITH SCORE 26890.78
AT ITER 2448 NEW BEST:: SOT 104050 SOS 39742 HAS SOPS 39742 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26861.742
AT ITER 2449 NEW BEST:: SOT 104023 SOS 39657 HAS SOPS 39657 HAS SOUS 26704 HAS SOUPS 26704 WITH SCORE 26743.657
AT ITER 2452 NEW BEST:: SOT 104019 SOS 39649 HAS SOPS 39649 HAS SOUS 26700 HAS SOUPS 26700 WITH SCORE 26739.649
AT ITER 2459 NEW BEST:: SOT 104009 SOS 39516 HAS SOPS 39516 HAS SOUS 26699 HAS SOUPS 26699 WITH SCORE 26738.516
AT ITER 2469 NEW BEST:: SOT 103990 SOS 39437 HAS SOPS 39437 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26700.437
AT ITER 2471 NEW BEST:: SOT 103988 SOS 39433 HAS SOPS 39433 HAS SOUS 26657 HAS SOUPS 26657 WITH SCORE 26696.433
AT ITER 2481 NEW BEST:: SOT 103905 SOS 39335 HAS SOPS 39335 HAS SOUS 26613 HAS SOUPS 26613 WITH SCORE 26652.335
AT ITER 2485 NEW BEST:: SOT 103755 SOS 39177 HAS SOPS 39177 HAS SOUS 26375 HAS SOUPS 26375 WITH SCORE 26414.177
AT ITER 2518 NEW BEST:: SOT 103755 SOS 39177 HAS SOPS 39177 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26408.177
AT ITER 2536 NEW BEST:: SOT 103755 SOS 39146 HAS SOPS 39146 HAS SOUS 26307 HAS SOUPS 26307 WITH SCORE 26346.146
AT ITER 2538 NEW BEST:: SOT 103742 SOS 39120 HAS SOPS 39120 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26320.12
AT ITER 2539 NEW BEST:: SOT 103428 SOS 39201 HAS SOPS 39201 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26149.201
AT ITER 2540 NEW BEST:: SOT 103407 SOS 39159 HAS SOPS 39159 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26128.159
AT ITER 2542 NEW BEST:: SOT 103372 SOS 39034 HAS SOPS 39034 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26037.034
AT ITER 2548 NEW BEST:: SOT 103355 SOS 39000 HAS SOPS 39000 HAS SOUS 25964 HAS SOUPS 25964 WITH SCORE 26003.0
AT ITER 2556 NEW BEST:: SOT 103289 SOS 38866 HAS SOPS 38866 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25870.866
AT ITER 2560 NEW BEST:: SOT 103277 SOS 38814 HAS SOPS 38814 HAS SOUS 25780 HAS SOUPS 25780 WITH SCORE 25818.814
AT ITER 2566 NEW BEST:: SOT 103260 SOS 38722 HAS SOPS 38722 HAS SOUS 25715 HAS SOUPS 25715 WITH SCORE 25753.722
AT ITER 2577 NEW BEST:: SOT 103271 SOS 38656 HAS SOPS 38656 HAS SOUS 25692 HAS SOUPS 25692 WITH SCORE 25730.656
AT ITER 2615 NEW BEST:: SOT 103240 SOS 38629 HAS SOPS 38629 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25699.629
AT ITER 2630 NEW BEST:: SOT 103240 SOS 38623 HAS SOPS 38623 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25699.623
AT ITER 2631 NEW BEST:: SOT 103240 SOS 38618 HAS SOPS 38618 HAS SOUS 25656 HAS SOUPS 25656 WITH SCORE 25694.618
AT ITER 2636 NEW BEST:: SOT 103187 SOS 38512 HAS SOPS 38512 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25515.512
AT ITER 2639 NEW BEST:: SOT 103155 SOS 38480 HAS SOPS 38480 HAS SOUS 25445 HAS SOUPS 25445 WITH SCORE 25483.48
AT ITER 2642 NEW BEST:: SOT 103146 SOS 38471 HAS SOPS 38471 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25465.471
AT ITER 2654 NEW BEST:: SOT 103115 SOS 38409 HAS SOPS 38409 HAS SOUS 25401 HAS SOUPS 25401 WITH SCORE 25439.409
AT ITER 2659 NEW BEST:: SOT 103119 SOS 38417 HAS SOPS 38417 HAS SOUS 25388 HAS SOUPS 25388 WITH SCORE 25426.417
AT ITER 2664 NEW BEST:: SOT 103119 SOS 38386 HAS SOPS 38386 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25395.386
AT ITER 2666 NEW BEST:: SOT 103107 SOS 38362 HAS SOPS 38362 HAS SOUS 25351 HAS SOUPS 25351 WITH SCORE 25389.362
AT ITER 2675 NEW BEST:: SOT 103106 SOS 38361 HAS SOPS 38361 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25388.361
AT ITER 2680 NEW BEST:: SOT 103032 SOS 38213 HAS SOPS 38213 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25240.213
AT ITER 2688 NEW BEST:: SOT 103008 SOS 38189 HAS SOPS 38189 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25216.189
AT ITER 2689 NEW BEST:: SOT 103002 SOS 38177 HAS SOPS 38177 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25204.177
AT ITER 2692 NEW BEST:: SOT 102997 SOS 38153 HAS SOPS 38153 HAS SOUS 25147 HAS SOUPS 25147 WITH SCORE 25185.153
AT ITER 2707 NEW BEST:: SOT 102988 SOS 38129 HAS SOPS 38129 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25170.129
AT ITER 2722 NEW BEST:: SOT 102969 SOS 38110 HAS SOPS 38110 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25132.11
AT ITER 2735 NEW BEST:: SOT 102955 SOS 38082 HAS SOPS 38082 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25104.082
AT ITER 2737 NEW BEST:: SOT 102897 SOS 38078 HAS SOPS 38078 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25100.078
AT ITER 2738 NEW BEST:: SOT 102792 SOS 37868 HAS SOPS 37868 HAS SOUS 25038 HAS SOUPS 25038 WITH SCORE 25075.868
AT ITER 2744 NEW BEST:: SOT 102747 SOS 37777 HAS SOPS 37777 HAS SOUS 24928 HAS SOUPS 24928 WITH SCORE 24965.777
AT ITER 2754 NEW BEST:: SOT 102722 SOS 37727 HAS SOPS 37727 HAS SOUS 24878 HAS SOUPS 24878 WITH SCORE 24915.727
AT ITER 2773 NEW BEST:: SOT 102722 SOS 37715 HAS SOPS 37715 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24909.715
AT ITER 2795 NEW BEST:: SOT 102720 SOS 37711 HAS SOPS 37711 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24839.711
AT ITER 2800 NEW BEST:: SOT 102720 SOS 37660 HAS SOPS 37660 HAS SOUS 24751 HAS SOUPS 24751 WITH SCORE 24788.66
AT ITER 2803 NEW BEST:: SOT 102720 SOS 37648 HAS SOPS 37648 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24776.648
AT ITER 2825 NEW BEST:: SOT 102712 SOS 37640 HAS SOPS 37640 HAS SOUS 24723 HAS SOUPS 24723 WITH SCORE 24760.64
AT ITER 2829 NEW BEST:: SOT 102711 SOS 37617 HAS SOPS 37617 HAS SOUS 24700 HAS SOUPS 24700 WITH SCORE 24737.617
AT ITER 2830 NEW BEST:: SOT 102705 SOS 37605 HAS SOPS 37605 HAS SOUS 24688 HAS SOUPS 24688 WITH SCORE 24725.605
AT ITER 2832 NEW BEST:: SOT 102698 SOS 37598 HAS SOPS 37598 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24718.598
AT ITER 2839 NEW BEST:: SOT 102695 SOS 37594 HAS SOPS 37594 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24712.594
AT ITER 2841 NEW BEST:: SOT 102723 SOS 37557 HAS SOPS 37557 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24712.557
AT ITER 2874 NEW BEST:: SOT 102718 SOS 37552 HAS SOPS 37552 HAS SOUS 24670 HAS SOUPS 24670 WITH SCORE 24707.552
AT ITER 2882 NEW BEST:: SOT 102718 SOS 37551 HAS SOPS 37551 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24706.551
AT ITER 2896 NEW BEST:: SOT 102706 SOS 37527 HAS SOPS 37527 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24682.527
AT ITER 2905 NEW BEST:: SOT 102660 SOS 37504 HAS SOPS 37504 HAS SOUS 24619 HAS SOUPS 24619 WITH SCORE 24656.504
AT ITER 2914 NEW BEST:: SOT 102644 SOS 37652 HAS SOPS 37652 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 24634.652
AT ITER 2948 NEW BEST:: SOT 102591 SOS 37573 HAS SOPS 37573 HAS SOUS 24563 HAS SOUPS 24563 WITH SCORE 24600.573
AT ITER 2965 NEW BEST:: SOT 102586 SOS 37563 HAS SOPS 37563 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24595.563
AT ITER 2981 NEW BEST:: SOT 102566 SOS 37543 HAS SOPS 37543 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24573.543
AT ITER 2987 NEW BEST:: SOT 102566 SOS 37395 HAS SOPS 37395 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24573.395
AT ITER 2992 NEW BEST:: SOT 102582 SOS 37427 HAS SOPS 37427 HAS SOUS 24505 HAS SOUPS 24505 WITH SCORE 24542.427
AT ITER 3017 NEW BEST:: SOT 102399 SOS 38764 HAS SOPS 38764 HAS SOUS 24388 HAS SOUPS 24388 WITH SCORE 24426.764
AT ITER 3022 NEW BEST:: SOT 102392 SOS 38758 HAS SOPS 38758 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24420.758
AT ITER 3045 NEW BEST:: SOT 102397 SOS 38738 HAS SOPS 38738 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24400.738
AT ITER 3053 NEW BEST:: SOT 102374 SOS 38718 HAS SOPS 38718 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24372.718
AT ITER 3057 NEW BEST:: SOT 102372 SOS 38714 HAS SOPS 38714 HAS SOUS 24330 HAS SOUPS 24330 WITH SCORE 24368.714
AT ITER 3066 NEW BEST:: SOT 102495 SOS 38828 HAS SOPS 38828 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24363.828
AT ITER 3070 NEW BEST:: SOT 102479 SOS 38808 HAS SOPS 38808 HAS SOUS 24293 HAS SOUPS 24293 WITH SCORE 24331.808
AT ITER 3079 NEW BEST:: SOT 102459 SOS 38752 HAS SOPS 38752 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24291.752
AT ITER 3088 NEW BEST:: SOT 102393 SOS 38653 HAS SOPS 38653 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24192.653
AT ITER 3101 NEW BEST:: SOT 102262 SOS 38552 HAS SOPS 38552 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24027.552
AT ITER 3110 NEW BEST:: SOT 102263 SOS 38533 HAS SOPS 38533 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 24008.533
AT ITER 3127 NEW BEST:: SOT 102263 SOS 38518 HAS SOPS 38518 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 24008.518
AT ITER 3162 NEW BEST:: SOT 102116 SOS 39969 HAS SOPS 39969 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23996.969
AT ITER 3163 NEW BEST:: SOT 102108 SOS 39953 HAS SOPS 39953 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23983.953
AT ITER 3166 NEW BEST:: SOT 102103 SOS 39912 HAS SOPS 39912 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23978.912
AT ITER 3176 NEW BEST:: SOT 102102 SOS 39910 HAS SOPS 39910 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23977.91
AT ITER 3202 NEW BEST:: SOT 102102 SOS 39908 HAS SOPS 39908 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23977.908
AT ITER 3211 NEW BEST:: SOT 102077 SOS 39858 HAS SOPS 39858 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23926.858
AT ITER 3220 NEW BEST:: SOT 102053 SOS 39810 HAS SOPS 39810 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23870.81
AT ITER 3240 NEW BEST:: SOT 102046 SOS 39813 HAS SOPS 39813 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 23865.813
AT ITER 3250 NEW BEST:: SOT 102040 SOS 39801 HAS SOPS 39801 HAS SOUS 23781 HAS SOUPS 23781 WITH SCORE 23820.801
AT ITER 3266 NEW BEST:: SOT 102039 SOS 39799 HAS SOPS 39799 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23817.799
AT ITER 3277 NEW BEST:: SOT 102030 SOS 39781 HAS SOPS 39781 HAS SOUS 23769 HAS SOUPS 23769 WITH SCORE 23808.781
AT ITER 3291 NEW BEST:: SOT 102024 SOS 39769 HAS SOPS 39769 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23796.769
AT ITER 3298 NEW BEST:: SOT 101994 SOS 39724 HAS SOPS 39724 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23751.724
AT ITER 3307 NEW BEST:: SOT 101976 SOS 39657 HAS SOPS 39657 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23715.657
AT ITER 3308 NEW BEST:: SOT 101972 SOS 39622 HAS SOPS 39622 HAS SOUS 23641 HAS SOUPS 23641 WITH SCORE 23680.622
AT ITER 3317 NEW BEST:: SOT 101951 SOS 39616 HAS SOPS 39616 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23672.616
AT ITER 3328 NEW BEST:: SOT 101916 SOS 39546 HAS SOPS 39546 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23637.546
AT ITER 3338 NEW BEST:: SOT 101915 SOS 39545 HAS SOPS 39545 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23636.545
AT ITER 3352 NEW BEST:: SOT 101914 SOS 39543 HAS SOPS 39543 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23634.543
AT ITER 3364 NEW BEST:: SOT 101928 SOS 39537 HAS SOPS 39537 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23628.537
AT ITER 3381 NEW BEST:: SOT 101928 SOS 39517 HAS SOPS 39517 HAS SOUS 23579 HAS SOUPS 23579 WITH SCORE 23618.517
AT ITER 3385 NEW BEST:: SOT 101873 SOS 39418 HAS SOPS 39418 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23537.418
AT ITER 3428 NEW BEST:: SOT 101863 SOS 39408 HAS SOPS 39408 HAS SOUS 23488 HAS SOUPS 23488 WITH SCORE 23527.408
AT ITER 3452 NEW BEST:: SOT 101891 SOS 38082 HAS SOPS 38082 HAS SOUS 23488 HAS SOUPS 23488 WITH SCORE 23526.082
AT ITER 3455 NEW BEST:: SOT 101886 SOS 38072 HAS SOPS 38072 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23521.072
AT ITER 3462 NEW BEST:: SOT 101842 SOS 37912 HAS SOPS 37912 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23439.912
AT ITER 3473 NEW BEST:: SOT 101835 SOS 37898 HAS SOPS 37898 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23432.898
AT ITER 3494 NEW BEST:: SOT 101832 SOS 37889 HAS SOPS 37889 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23426.889
AT ITER 3496 NEW BEST:: SOT 101780 SOS 37785 HAS SOPS 37785 HAS SOUS 23289 HAS SOUPS 23289 WITH SCORE 23326.785
AT ITER 3497 NEW BEST:: SOT 101762 SOS 37723 HAS SOPS 37723 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23226.723
AT ITER 3498 NEW BEST:: SOT 101762 SOS 37686 HAS SOPS 37686 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23196.686
AT ITER 3523 NEW BEST:: SOT 101753 SOS 37668 HAS SOPS 37668 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23177.668
AT ITER 3540 NEW BEST:: SOT 101747 SOS 37639 HAS SOPS 37639 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23173.639
AT ITER 3547 NEW BEST:: SOT 101744 SOS 37627 HAS SOPS 37627 HAS SOUS 23127 HAS SOUPS 23127 WITH SCORE 23164.627
AT ITER 3570 NEW BEST:: SOT 101732 SOS 37615 HAS SOPS 37615 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23152.615
AT ITER 3591 NEW BEST:: SOT 101748 SOS 37623 HAS SOPS 37623 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23147.623
AT ITER 3592 NEW BEST:: SOT 101678 SOS 37580 HAS SOPS 37580 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23136.58
AT ITER 3594 NEW BEST:: SOT 101678 SOS 37552 HAS SOPS 37552 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23108.552
AT ITER 3595 NEW BEST:: SOT 101678 SOS 37104 HAS SOPS 37104 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23092.104
AT ITER 3597 NEW BEST:: SOT 101667 SOS 37082 HAS SOPS 37082 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23070.082
AT ITER 3598 NEW BEST:: SOT 101747 SOS 37052 HAS SOPS 37052 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23026.052
AT ITER 3624 NEW BEST:: SOT 101747 SOS 37030 HAS SOPS 37030 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 23004.03
AT ITER 3626 NEW BEST:: SOT 101737 SOS 37010 HAS SOPS 37010 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22992.01
AT ITER 3637 NEW BEST:: SOT 101737 SOS 36998 HAS SOPS 36998 HAS SOUS 22943 HAS SOUPS 22943 WITH SCORE 22979.998
AT ITER 3638 NEW BEST:: SOT 101729 SOS 37026 HAS SOPS 37026 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22954.026
AT ITER 3653 NEW BEST:: SOT 101717 SOS 37014 HAS SOPS 37014 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22908.014
AT ITER 3698 NEW BEST:: SOT 101706 SOS 36992 HAS SOPS 36992 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22874.992
AT ITER 3717 NEW BEST:: SOT 101739 SOS 36987 HAS SOPS 36987 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22871.987
AT ITER 3722 NEW BEST:: SOT 101678 SOS 36836 HAS SOPS 36836 HAS SOUS 22792 HAS SOUPS 22792 WITH SCORE 22828.836
AT ITER 3735 NEW BEST:: SOT 101652 SOS 36791 HAS SOPS 36791 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22795.791
AT ITER 3746 NEW BEST:: SOT 101642 SOS 36791 HAS SOPS 36791 HAS SOUS 22749 HAS SOUPS 22749 WITH SCORE 22785.791
AT ITER 3753 NEW BEST:: SOT 101639 SOS 36801 HAS SOPS 36801 HAS SOUS 22745 HAS SOUPS 22745 WITH SCORE 22781.801
AT ITER 3757 NEW BEST:: SOT 101619 SOS 36761 HAS SOPS 36761 HAS SOUS 22702 HAS SOUPS 22702 WITH SCORE 22738.761
AT ITER 3790 NEW BEST:: SOT 101585 SOS 36727 HAS SOPS 36727 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22670.727
AT ITER 3804 NEW BEST:: SOT 101576 SOS 36709 HAS SOPS 36709 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22669.709
AT ITER 3820 NEW BEST:: SOT 101554 SOS 36665 HAS SOPS 36665 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22625.665
AT ITER 3841 NEW BEST:: SOT 101554 SOS 36641 HAS SOPS 36641 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22625.641
AT ITER 3855 NEW BEST:: SOT 101515 SOS 36537 HAS SOPS 36537 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22547.537
AT ITER 3873 NEW BEST:: SOT 101457 SOS 36397 HAS SOPS 36397 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22481.397
AT ITER 3889 NEW BEST:: SOT 101440 SOS 35896 HAS SOPS 35896 HAS SOUS 22394 HAS SOUPS 22394 WITH SCORE 22429.896
AT ITER 3890 NEW BEST:: SOT 101431 SOS 35878 HAS SOPS 35878 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22411.878
AT ITER 3905 NEW BEST:: SOT 101431 SOS 35876 HAS SOPS 35876 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22411.876
AT ITER 3912 NEW BEST:: SOT 101431 SOS 35876 HAS SOPS 35876 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22356.876
AT ITER 3929 NEW BEST:: SOT 101427 SOS 35870 HAS SOPS 35870 HAS SOUS 22315 HAS SOUPS 22315 WITH SCORE 22350.87
AT ITER 3964 NEW BEST:: SOT 101427 SOS 35869 HAS SOPS 35869 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22349.869
AT ITER 4014 NEW BEST:: SOT 101426 SOS 35868 HAS SOPS 35868 HAS SOUS 22304 HAS SOUPS 22304 WITH SCORE 22339.868
AT ITER 4023 NEW BEST:: SOT 101426 SOS 35868 HAS SOPS 35868 HAS SOUS 22277 HAS SOUPS 22277 WITH SCORE 22312.868
AT ITER 4045 NEW BEST:: SOT 101418 SOS 35863 HAS SOPS 35863 HAS SOUS 22272 HAS SOUPS 22272 WITH SCORE 22307.863
AT ITER 4051 NEW BEST:: SOT 101421 SOS 35862 HAS SOPS 35862 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22306.862
AT ITER 4079 NEW BEST:: SOT 101420 SOS 35806 HAS SOPS 35806 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22304.806
AT ITER 4082 NEW BEST:: SOT 101418 SOS 35736 HAS SOPS 35736 HAS SOUS 22260 HAS SOUPS 22260 WITH SCORE 22295.736
AT ITER 4097 NEW BEST:: SOT 101390 SOS 35679 HAS SOPS 35679 HAS SOUS 22238 HAS SOUPS 22238 WITH SCORE 22273.679
AT ITER 4118 NEW BEST:: SOT 101461 SOS 35750 HAS SOPS 35750 HAS SOUS 22223 HAS SOUPS 22223 WITH SCORE 22258.75
AT ITER 4128 NEW BEST:: SOT 101250 SOS 35387 HAS SOPS 35387 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22140.387
AT ITER 4131 NEW BEST:: SOT 101250 SOS 35374 HAS SOPS 35374 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22140.374
AT ITER 4133 NEW BEST:: SOT 101253 SOS 35380 HAS SOPS 35380 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22118.38
AT ITER 4136 NEW BEST:: SOT 101222 SOS 35375 HAS SOPS 35375 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22064.375
AT ITER 4144 NEW BEST:: SOT 101222 SOS 35374 HAS SOPS 35374 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22064.374
AT ITER 4156 NEW BEST:: SOT 101204 SOS 35338 HAS SOPS 35338 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22019.338
AT ITER 4159 NEW BEST:: SOT 101192 SOS 35326 HAS SOPS 35326 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 21995.326
AT ITER 4168 NEW BEST:: SOT 101190 SOS 35330 HAS SOPS 35330 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21991.33
AT ITER 4178 NEW BEST:: SOT 101190 SOS 35330 HAS SOPS 35330 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21990.33
AT ITER 4203 NEW BEST:: SOT 101183 SOS 35319 HAS SOPS 35319 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21977.319
AT ITER 4219 NEW BEST:: SOT 101153 SOS 35250 HAS SOPS 35250 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21916.25
AT ITER 4241 NEW BEST:: SOT 101131 SOS 35206 HAS SOPS 35206 HAS SOUS 21837 HAS SOUPS 21837 WITH SCORE 21872.206
AT ITER 4244 NEW BEST:: SOT 101078 SOS 35100 HAS SOPS 35100 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21788.1
AT ITER 4263 NEW BEST:: SOT 101084 SOS 35068 HAS SOPS 35068 HAS SOUS 21716 HAS SOUPS 21716 WITH SCORE 21751.068
AT ITER 4264 NEW BEST:: SOT 101079 SOS 35038 HAS SOPS 35038 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21726.038
AT ITER 4289 NEW BEST:: SOT 101079 SOS 35031 HAS SOPS 35031 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21726.031
AT ITER 4293 NEW BEST:: SOT 101079 SOS 35022 HAS SOPS 35022 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21717.022
AT ITER 4296 NEW BEST:: SOT 101068 SOS 35000 HAS SOPS 35000 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21695.0
AT ITER 4300 NEW BEST:: SOT 101068 SOS 34990 HAS SOPS 34990 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21694.99
AT ITER 4302 NEW BEST:: SOT 101052 SOS 34935 HAS SOPS 34935 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21639.935
AT ITER 4303 NEW BEST:: SOT 101045 SOS 34925 HAS SOPS 34925 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21636.925
AT ITER 4304 NEW BEST:: SOT 101028 SOS 34952 HAS SOPS 34952 HAS SOUS 21577 HAS SOUPS 21577 WITH SCORE 21611.952
AT ITER 4322 NEW BEST:: SOT 101031 SOS 34917 HAS SOPS 34917 HAS SOUS 21571 HAS SOUPS 21571 WITH SCORE 21605.917
AT ITER 4340 NEW BEST:: SOT 100980 SOS 34853 HAS SOPS 34853 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21541.853
AT ITER 4350 NEW BEST:: SOT 100965 SOS 34898 HAS SOPS 34898 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21526.898
AT ITER 4355 NEW BEST:: SOT 100885 SOS 34848 HAS SOPS 34848 HAS SOUS 21420 HAS SOUPS 21420 WITH SCORE 21454.848
AT ITER 4356 NEW BEST:: SOT 100865 SOS 34286 HAS SOPS 34286 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21440.286
AT ITER 4388 NEW BEST:: SOT 100864 SOS 34284 HAS SOPS 34284 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21440.284
AT ITER 4398 NEW BEST:: SOT 100866 SOS 34282 HAS SOPS 34282 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21439.282
AT ITER 4414 NEW BEST:: SOT 100844 SOS 34239 HAS SOPS 34239 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21395.239
AT ITER 4438 NEW BEST:: SOT 100826 SOS 34203 HAS SOPS 34203 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21359.203
AT ITER 4463 NEW BEST:: SOT 100737 SOS 34107 HAS SOPS 34107 HAS SOUS 21119 HAS SOUPS 21119 WITH SCORE 21153.107
AT ITER 4475 NEW BEST:: SOT 100728 SOS 34098 HAS SOPS 34098 HAS SOUS 21101 HAS SOUPS 21101 WITH SCORE 21135.098
AT ITER 4500 NEW BEST:: SOT 100717 SOS 34076 HAS SOPS 34076 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21113.076
AT ITER 4504 NEW BEST:: SOT 100677 SOS 34067 HAS SOPS 34067 HAS SOUS 20999 HAS SOUPS 20999 WITH SCORE 21033.067
AT ITER 4513 NEW BEST:: SOT 100601 SOS 33953 HAS SOPS 33953 HAS SOUS 20885 HAS SOUPS 20885 WITH SCORE 20918.953
AT ITER 4521 NEW BEST:: SOT 100595 SOS 33935 HAS SOPS 33935 HAS SOUS 20873 HAS SOUPS 20873 WITH SCORE 20906.935
AT ITER 4527 NEW BEST:: SOT 100527 SOS 33799 HAS SOPS 33799 HAS SOUS 20737 HAS SOUPS 20737 WITH SCORE 20770.799
AT ITER 4542 NEW BEST:: SOT 100504 SOS 33753 HAS SOPS 33753 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20724.753
AT ITER 4557 NEW BEST:: SOT 100511 SOS 33720 HAS SOPS 33720 HAS SOUS 20670 HAS SOUPS 20670 WITH SCORE 20703.72
AT ITER 4563 NEW BEST:: SOT 100500 SOS 33698 HAS SOPS 33698 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20670.698
AT ITER 4578 NEW BEST:: SOT 100496 SOS 33690 HAS SOPS 33690 HAS SOUS 20631 HAS SOUPS 20631 WITH SCORE 20664.69
AT ITER 4590 NEW BEST:: SOT 100496 SOS 33672 HAS SOPS 33672 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20662.672
AT ITER 4592 NEW BEST:: SOT 100486 SOS 33642 HAS SOPS 33642 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20653.642
AT ITER 4612 NEW BEST:: SOT 100477 SOS 33633 HAS SOPS 33633 HAS SOUS 20611 HAS SOUPS 20611 WITH SCORE 20644.633
AT ITER 4627 NEW BEST:: SOT 100471 SOS 33622 HAS SOPS 33622 HAS SOUS 20600 HAS SOUPS 20600 WITH SCORE 20633.622
AT ITER 4629 NEW BEST:: SOT 100479 SOS 33653 HAS SOPS 33653 HAS SOUS 20593 HAS SOUPS 20593 WITH SCORE 20626.653
AT ITER 4633 NEW BEST:: SOT 100479 SOS 33653 HAS SOPS 33653 HAS SOUS 20580 HAS SOUPS 20580 WITH SCORE 20613.653
AT ITER 4642 NEW BEST:: SOT 100475 SOS 33627 HAS SOPS 33627 HAS SOUS 20568 HAS SOUPS 20568 WITH SCORE 20601.627
AT ITER 4645 NEW BEST:: SOT 100467 SOS 33619 HAS SOPS 33619 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20593.619
AT ITER 4652 NEW BEST:: SOT 100432 SOS 33598 HAS SOPS 33598 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20523.598
AT ITER 4671 NEW BEST:: SOT 100470 SOS 33636 HAS SOPS 33636 HAS SOUS 20471 HAS SOUPS 20471 WITH SCORE 20504.636
AT ITER 4677 NEW BEST:: SOT 100476 SOS 33637 HAS SOPS 33637 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20486.637
AT ITER 4685 NEW BEST:: SOT 100476 SOS 33629 HAS SOPS 33629 HAS SOUS 20445 HAS SOUPS 20445 WITH SCORE 20478.629
AT ITER 4695 NEW BEST:: SOT 100446 SOS 33569 HAS SOPS 33569 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20418.569
AT ITER 4712 NEW BEST:: SOT 100345 SOS 33430 HAS SOPS 33430 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20216.43
AT ITER 4740 NEW BEST:: SOT 100246 SOS 33370 HAS SOPS 33370 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20116.37
AT ITER 4742 NEW BEST:: SOT 100242 SOS 33362 HAS SOPS 33362 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20108.362
AT ITER 4779 NEW BEST:: SOT 100240 SOS 33355 HAS SOPS 33355 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20103.355
AT ITER 4786 NEW BEST:: SOT 100262 SOS 33325 HAS SOPS 33325 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20096.325
AT ITER 4796 NEW BEST:: SOT 100262 SOS 33266 HAS SOPS 33266 HAS SOUS 20004 HAS SOUPS 20004 WITH SCORE 20037.266
AT ITER 4803 NEW BEST:: SOT 100238 SOS 33242 HAS SOPS 33242 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20013.242
AT ITER 4825 NEW BEST:: SOT 100236 SOS 33211 HAS SOPS 33211 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19993.211
AT ITER 4837 NEW BEST:: SOT 100206 SOS 33188 HAS SOPS 33188 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19970.188
AT ITER 4876 NEW BEST:: SOT 100122 SOS 33115 HAS SOPS 33115 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19970.115
AT ITER 4878 NEW BEST:: SOT 100088 SOS 33047 HAS SOPS 33047 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19916.047
AT ITER 4893 NEW BEST:: SOT 100063 SOS 32997 HAS SOPS 32997 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19865.997
AT ITER 4927 NEW BEST:: SOT 100063 SOS 32996 HAS SOPS 32996 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19865.996
AT ITER 4935 NEW BEST:: SOT 100063 SOS 32996 HAS SOPS 32996 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19862.996
AT ITER 4942 NEW BEST:: SOT 100060 SOS 32994 HAS SOPS 32994 HAS SOUS 19828 HAS SOUPS 19828 WITH SCORE 19860.994
AT ITER 4945 NEW BEST:: SOT 100049 SOS 32972 HAS SOPS 32972 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19838.972
AT ITER 4960 NEW BEST:: SOT 100053 SOS 32966 HAS SOPS 32966 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19834.966
AT ITER 4979 NEW BEST:: SOT 100031 SOS 32944 HAS SOPS 32944 HAS SOUS 19728 HAS SOUPS 19728 WITH SCORE 19760.944
AT ITER 4997 NEW BEST:: SOT 100024 SOS 32932 HAS SOPS 32932 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19746.932
AT ITER 5014 NEW BEST:: SOT 99990 SOS 32898 HAS SOPS 32898 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19712.898
AT ITER 5026 NEW BEST:: SOT 99986 SOS 32883 HAS SOPS 32883 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19704.883
AT ITER 5051 NEW BEST:: SOT 99981 SOS 32873 HAS SOPS 32873 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19694.873
AT ITER 5063 NEW BEST:: SOT 99975 SOS 32844 HAS SOPS 32844 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19659.844
AT ITER 5067 NEW BEST:: SOT 99975 SOS 32838 HAS SOPS 32838 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19659.838
AT ITER 5094 NEW BEST:: SOT 99974 SOS 32817 HAS SOPS 32817 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19638.817
AT ITER 5103 NEW BEST:: SOT 99969 SOS 32807 HAS SOPS 32807 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19570.807
AT ITER 5114 NEW BEST:: SOT 99968 SOS 32805 HAS SOPS 32805 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19568.805
AT ITER 5118 NEW BEST:: SOT 99967 SOS 32803 HAS SOPS 32803 HAS SOUS 19534 HAS SOUPS 19534 WITH SCORE 19566.803
AT ITER 5142 NEW BEST:: SOT 99971 SOS 32765 HAS SOPS 32765 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19548.765
AT ITER 5153 NEW BEST:: SOT 99968 SOS 32757 HAS SOPS 32757 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19542.757
AT ITER 5161 NEW BEST:: SOT 99967 SOS 32758 HAS SOPS 32758 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19540.758
AT ITER 5181 NEW BEST:: SOT 99954 SOS 32741 HAS SOPS 32741 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19523.741
AT ITER 5188 NEW BEST:: SOT 99932 SOS 32724 HAS SOPS 32724 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19476.724
AT ITER 5191 NEW BEST:: SOT 99932 SOS 32721 HAS SOPS 32721 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19476.721
AT ITER 5261 NEW BEST:: SOT 99932 SOS 32718 HAS SOPS 32718 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19476.718
AT ITER 5272 NEW BEST:: SOT 99926 SOS 32686 HAS SOPS 32686 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19470.686
AT ITER 5318 NEW BEST:: SOT 99919 SOS 32672 HAS SOPS 32672 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19456.672
AT ITER 5322 NEW BEST:: SOT 99916 SOS 32666 HAS SOPS 32666 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19450.666
AT ITER 5358 NEW BEST:: SOT 99906 SOS 32646 HAS SOPS 32646 HAS SOUS 19398 HAS SOUPS 19398 WITH SCORE 19430.646
AT ITER 5361 NEW BEST:: SOT 99902 SOS 32665 HAS SOPS 32665 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19401.665
AT ITER 5369 NEW BEST:: SOT 99901 SOS 32663 HAS SOPS 32663 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19399.663
AT ITER 5370 NEW BEST:: SOT 99893 SOS 32611 HAS SOPS 32611 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19338.611
AT ITER 5376 NEW BEST:: SOT 99892 SOS 32564 HAS SOPS 32564 HAS SOUS 19301 HAS SOUPS 19301 WITH SCORE 19333.564
AT ITER 5384 NEW BEST:: SOT 99880 SOS 32556 HAS SOPS 32556 HAS SOUS 19298 HAS SOUPS 19298 WITH SCORE 19330.556
AT ITER 5422 NEW BEST:: SOT 99861 SOS 32518 HAS SOPS 32518 HAS SOUS 19283 HAS SOUPS 19283 WITH SCORE 19315.518
AT ITER 5424 NEW BEST:: SOT 99840 SOS 32507 HAS SOPS 32507 HAS SOUS 19283 HAS SOUPS 19283 WITH SCORE 19315.507
AT ITER 5440 NEW BEST:: SOT 99845 SOS 32540 HAS SOPS 32540 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19303.54
AT ITER 5445 NEW BEST:: SOT 99843 SOS 32477 HAS SOPS 32477 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19299.477
AT ITER 5448 NEW BEST:: SOT 99843 SOS 32474 HAS SOPS 32474 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19299.474
AT ITER 5477 NEW BEST:: SOT 99833 SOS 32445 HAS SOPS 32445 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19279.445
AT ITER 5513 NEW BEST:: SOT 99822 SOS 32535 HAS SOPS 32535 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19268.535
AT ITER 5580 NEW BEST:: SOT 99747 SOS 32489 HAS SOPS 32489 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19233.489
AT ITER 5585 NEW BEST:: SOT 99765 SOS 32407 HAS SOPS 32407 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19209.407
AT ITER 5590 NEW BEST:: SOT 99751 SOS 32389 HAS SOPS 32389 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19204.389
AT ITER 5609 NEW BEST:: SOT 99734 SOS 32378 HAS SOPS 32378 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19193.378
AT ITER 5611 NEW BEST:: SOT 99712 SOS 32356 HAS SOPS 32356 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19160.356
AT ITER 5624 NEW BEST:: SOT 99707 SOS 32339 HAS SOPS 32339 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19150.339
AT ITER 5627 NEW BEST:: SOT 99704 SOS 32333 HAS SOPS 32333 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19144.333
AT ITER 5646 NEW BEST:: SOT 99643 SOS 32800 HAS SOPS 32800 HAS SOUS 19058 HAS SOUPS 19058 WITH SCORE 19090.8
AT ITER 5662 NEW BEST:: SOT 99620 SOS 32763 HAS SOPS 32763 HAS SOUS 19048 HAS SOUPS 19048 WITH SCORE 19080.763
AT ITER 5665 NEW BEST:: SOT 99556 SOS 32699 HAS SOPS 32699 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19016.699
AT ITER 5673 NEW BEST:: SOT 99543 SOS 32673 HAS SOPS 32673 HAS SOUS 18958 HAS SOUPS 18958 WITH SCORE 18990.673
AT ITER 5702 NEW BEST:: SOT 99532 SOS 32633 HAS SOPS 32633 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18979.633
AT ITER 5789 NEW BEST:: SOT 99531 SOS 32637 HAS SOPS 32637 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18977.637
AT ITER 5845 NEW BEST:: SOT 99531 SOS 32635 HAS SOPS 32635 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18975.635
AT ITER 5860 NEW BEST:: SOT 99553 SOS 32657 HAS SOPS 32657 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18954.657
AT ITER 5868 NEW BEST:: SOT 99553 SOS 32654 HAS SOPS 32654 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18954.654
AT ITER 5902 NEW BEST:: SOT 99537 SOS 32648 HAS SOPS 32648 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18930.648
AT ITER 5905 NEW BEST:: SOT 99537 SOS 32653 HAS SOPS 32653 HAS SOUS 18893 HAS SOUPS 18893 WITH SCORE 18925.653
AT ITER 5939 NEW BEST:: SOT 99533 SOS 32626 HAS SOPS 32626 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18914.626
AT ITER 5952 NEW BEST:: SOT 99537 SOS 32622 HAS SOPS 32622 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18914.622
AT ITER 5959 NEW BEST:: SOT 99514 SOS 32664 HAS SOPS 32664 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18900.664
AT ITER 5988 NEW BEST:: SOT 99512 SOS 32880 HAS SOPS 32880 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18892.88
AT ITER 5992 NEW BEST:: SOT 99505 SOS 32815 HAS SOPS 32815 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18878.815
AT ITER 6058 NEW BEST:: SOT 99503 SOS 32813 HAS SOPS 32813 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18874.813
AT ITER 6075 NEW BEST:: SOT 99486 SOS 32756 HAS SOPS 32756 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18840.756
AT ITER 6084 NEW BEST:: SOT 99486 SOS 32756 HAS SOPS 32756 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18824.756
AT ITER 6086 NEW BEST:: SOT 99291 SOS 33208 HAS SOPS 33208 HAS SOUS 18593 HAS SOUPS 18593 WITH SCORE 18626.208
AT ITER 6087 NEW BEST:: SOT 99286 SOS 33198 HAS SOPS 33198 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18616.198
AT ITER 6095 NEW BEST:: SOT 99267 SOS 33179 HAS SOPS 33179 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18578.179
AT ITER 6100 NEW BEST:: SOT 99263 SOS 33175 HAS SOPS 33175 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18578.175
AT ITER 6107 NEW BEST:: SOT 99252 SOS 33164 HAS SOPS 33164 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18567.164
AT ITER 6119 NEW BEST:: SOT 99274 SOS 33139 HAS SOPS 33139 HAS SOUS 18531 HAS SOUPS 18531 WITH SCORE 18564.139
AT ITER 6128 NEW BEST:: SOT 99271 SOS 33098 HAS SOPS 33098 HAS SOUS 18525 HAS SOUPS 18525 WITH SCORE 18558.098
AT ITER 6147 NEW BEST:: SOT 99260 SOS 33087 HAS SOPS 33087 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18537.087
AT ITER 6194 NEW BEST:: SOT 99223 SOS 33087 HAS SOPS 33087 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18500.087
AT ITER 6236 NEW BEST:: SOT 99221 SOS 33083 HAS SOPS 33083 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18451.083
AT ITER 6237 NEW BEST:: SOT 99226 SOS 33078 HAS SOPS 33078 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18446.078
AT ITER 6243 NEW BEST:: SOT 99192 SOS 33057 HAS SOPS 33057 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18425.057
AT ITER 6269 NEW BEST:: SOT 99161 SOS 32995 HAS SOPS 32995 HAS SOUS 18330 HAS SOUPS 18330 WITH SCORE 18362.995
AT ITER 6276 NEW BEST:: SOT 99146 SOS 32965 HAS SOPS 32965 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18305.965
AT ITER 6283 NEW BEST:: SOT 99116 SOS 32935 HAS SOPS 32935 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18245.935
AT ITER 6308 NEW BEST:: SOT 99117 SOS 32937 HAS SOPS 32937 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18222.937
AT ITER 6367 NEW BEST:: SOT 99108 SOS 32919 HAS SOPS 32919 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18188.919
AT ITER 6376 NEW BEST:: SOT 99114 SOS 32907 HAS SOPS 32907 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18176.907
AT ITER 6377 NEW BEST:: SOT 99113 SOS 32905 HAS SOPS 32905 HAS SOUS 18142 HAS SOUPS 18142 WITH SCORE 18174.905
AT ITER 6378 NEW BEST:: SOT 99112 SOS 32903 HAS SOPS 32903 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18172.903
AT ITER 6424 NEW BEST:: SOT 99110 SOS 32909 HAS SOPS 32909 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18160.909
AT ITER 6477 NEW BEST:: SOT 99039 SOS 32767 HAS SOPS 32767 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18018.767
AT ITER 6491 NEW BEST:: SOT 99034 SOS 32757 HAS SOPS 32757 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18013.757
AT ITER 6506 NEW BEST:: SOT 99005 SOS 33088 HAS SOPS 33088 HAS SOUS 17963 HAS SOUPS 17963 WITH SCORE 17996.088
AT ITER 6548 NEW BEST:: SOT 99005 SOS 33086 HAS SOPS 33086 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 17994.086
AT ITER 6564 NEW BEST:: SOT 98998 SOS 33079 HAS SOPS 33079 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 17989.079
AT ITER 6601 NEW BEST:: SOT 99009 SOS 33111 HAS SOPS 33111 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17986.111
AT ITER 6611 NEW BEST:: SOT 99009 SOS 33111 HAS SOPS 33111 HAS SOUS 17940 HAS SOUPS 17940 WITH SCORE 17973.111
AT ITER 6637 NEW BEST:: SOT 99008 SOS 33109 HAS SOPS 33109 HAS SOUS 17939 HAS SOUPS 17939 WITH SCORE 17972.109
AT ITER 6638 NEW BEST:: SOT 99008 SOS 33108 HAS SOPS 33108 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17971.108
AT ITER 6669 NEW BEST:: SOT 98998 SOS 33088 HAS SOPS 33088 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17951.088
AT ITER 6702 NEW BEST:: SOT 98981 SOS 33071 HAS SOPS 33071 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17934.071
AT ITER 6704 NEW BEST:: SOT 98962 SOS 33018 HAS SOPS 33018 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17915.018
AT ITER 6731 NEW BEST:: SOT 98954 SOS 33010 HAS SOPS 33010 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17907.01
AT ITER 6740 NEW BEST:: SOT 98933 SOS 33311 HAS SOPS 33311 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17893.311
AT ITER 6747 NEW BEST:: SOT 98915 SOS 33293 HAS SOPS 33293 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17879.293
AT ITER 6751 NEW BEST:: SOT 98902 SOS 33267 HAS SOPS 33267 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17853.267
AT ITER 6778 NEW BEST:: SOT 98878 SOS 33243 HAS SOPS 33243 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17805.243
AT ITER 6799 NEW BEST:: SOT 98876 SOS 33241 HAS SOPS 33241 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17803.241
AT ITER 6803 NEW BEST:: SOT 98885 SOS 33239 HAS SOPS 33239 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17797.239
AT ITER 6806 NEW BEST:: SOT 98854 SOS 33223 HAS SOPS 33223 HAS SOUS 17748 HAS SOUPS 17748 WITH SCORE 17781.223
AT ITER 6813 NEW BEST:: SOT 98847 SOS 33237 HAS SOPS 33237 HAS SOUS 17744 HAS SOUPS 17744 WITH SCORE 17777.237
AT ITER 6820 NEW BEST:: SOT 98819 SOS 33171 HAS SOPS 33171 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17757.171
AT ITER 6826 NEW BEST:: SOT 98811 SOS 33159 HAS SOPS 33159 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17749.159
AT ITER 6855 NEW BEST:: SOT 98813 SOS 33163 HAS SOPS 33163 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17747.163
AT ITER 6886 NEW BEST:: SOT 98667 SOS 35448 HAS SOPS 35448 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17730.448
AT ITER 6888 NEW BEST:: SOT 98648 SOS 35410 HAS SOPS 35410 HAS SOUS 17657 HAS SOUPS 17657 WITH SCORE 17692.41
AT ITER 6895 NEW BEST:: SOT 98639 SOS 35392 HAS SOPS 35392 HAS SOUS 17631 HAS SOUPS 17631 WITH SCORE 17666.392
AT ITER 6897 NEW BEST:: SOT 98631 SOS 35425 HAS SOPS 35425 HAS SOUS 17615 HAS SOUPS 17615 WITH SCORE 17650.425
AT ITER 6913 NEW BEST:: SOT 98617 SOS 35450 HAS SOPS 35450 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17647.45
AT ITER 6915 NEW BEST:: SOT 98617 SOS 35450 HAS SOPS 35450 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17637.45
AT ITER 6927 NEW BEST:: SOT 98594 SOS 35404 HAS SOPS 35404 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17579.404
AT ITER 6979 NEW BEST:: SOT 98594 SOS 35354 HAS SOPS 35354 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17579.354
AT ITER 6994 NEW BEST:: SOT 98590 SOS 35271 HAS SOPS 35271 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17540.271
AT ITER 7016 NEW BEST:: SOT 98572 SOS 35239 HAS SOPS 35239 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17511.239
AT ITER 7058 NEW BEST:: SOT 98570 SOS 35234 HAS SOPS 35234 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17499.234
AT ITER 7119 NEW BEST:: SOT 98491 SOS 36246 HAS SOPS 36246 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17447.246
AT ITER 7120 NEW BEST:: SOT 98479 SOS 36237 HAS SOPS 36237 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17430.237
AT ITER 7173 NEW BEST:: SOT 98473 SOS 36240 HAS SOPS 36240 HAS SOUS 17382 HAS SOUPS 17382 WITH SCORE 17418.24
AT ITER 7186 NEW BEST:: SOT 98473 SOS 36235 HAS SOPS 36235 HAS SOUS 17382 HAS SOUPS 17382 WITH SCORE 17418.235
AT ITER 7203 NEW BEST:: SOT 98404 SOS 36176 HAS SOPS 36176 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17297.176
AT ITER 7236 NEW BEST:: SOT 98404 SOS 36175 HAS SOPS 36175 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17297.175
AT ITER 7250 NEW BEST:: SOT 98389 SOS 36173 HAS SOPS 36173 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17295.173
AT ITER 7321 NEW BEST:: SOT 98371 SOS 36137 HAS SOPS 36137 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17259.137
AT ITER 7325 NEW BEST:: SOT 98345 SOS 36110 HAS SOPS 36110 HAS SOUS 17169 HAS SOUPS 17169 WITH SCORE 17205.11
AT ITER 7408 NEW BEST:: SOT 98335 SOS 36094 HAS SOPS 36094 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17191.094
AT ITER 7424 NEW BEST:: SOT 98335 SOS 36003 HAS SOPS 36003 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17191.003
AT ITER 7432 NEW BEST:: SOT 98332 SOS 35990 HAS SOPS 35990 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17171.99
AT ITER 7439 NEW BEST:: SOT 98332 SOS 35950 HAS SOPS 35950 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17171.95
AT ITER 7449 NEW BEST:: SOT 98338 SOS 35956 HAS SOPS 35956 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17148.956
AT ITER 7471 NEW BEST:: SOT 98328 SOS 35946 HAS SOPS 35946 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17128.946
AT ITER 7482 NEW BEST:: SOT 98338 SOS 35916 HAS SOPS 35916 HAS SOUS 17064 HAS SOUPS 17064 WITH SCORE 17099.916
AT ITER 7525 NEW BEST:: SOT 98316 SOS 35894 HAS SOPS 35894 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17077.894
AT ITER 7531 NEW BEST:: SOT 98316 SOS 35926 HAS SOPS 35926 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17045.926
AT ITER 7555 NEW BEST:: SOT 98304 SOS 35914 HAS SOPS 35914 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17033.914
AT ITER 7560 NEW BEST:: SOT 98302 SOS 35910 HAS SOPS 35910 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17031.91
AT ITER 7587 NEW BEST:: SOT 98300 SOS 35906 HAS SOPS 35906 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17027.906
AT ITER 7593 NEW BEST:: SOT 98293 SOS 35899 HAS SOPS 35899 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17020.899
AT ITER 7614 NEW BEST:: SOT 98287 SOS 35893 HAS SOPS 35893 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17014.893
AT ITER 7618 NEW BEST:: SOT 98286 SOS 35891 HAS SOPS 35891 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17012.891
AT ITER 7630 NEW BEST:: SOT 98281 SOS 35886 HAS SOPS 35886 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 17002.886
AT ITER 7670 NEW BEST:: SOT 98277 SOS 35882 HAS SOPS 35882 HAS SOUS 16963 HAS SOUPS 16963 WITH SCORE 16998.882
AT ITER 7692 NEW BEST:: SOT 98247 SOS 35860 HAS SOPS 35860 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16933.86
AT ITER 7699 NEW BEST:: SOT 98245 SOS 35850 HAS SOPS 35850 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16929.85
AT ITER 7711 NEW BEST:: SOT 98244 SOS 35849 HAS SOPS 35849 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16928.849
AT ITER 7742 NEW BEST:: SOT 98081 SOS 35721 HAS SOPS 35721 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16800.721
AT ITER 7753 NEW BEST:: SOT 98055 SOS 35669 HAS SOPS 35669 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16729.669
AT ITER 7765 NEW BEST:: SOT 98052 SOS 35669 HAS SOPS 35669 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16726.669
AT ITER 7787 NEW BEST:: SOT 98046 SOS 35658 HAS SOPS 35658 HAS SOUS 16687 HAS SOUPS 16687 WITH SCORE 16722.658
AT ITER 7839 NEW BEST:: SOT 98044 SOS 35647 HAS SOPS 35647 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16699.647
AT ITER 7847 NEW BEST:: SOT 98041 SOS 35641 HAS SOPS 35641 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16696.641
AT ITER 7872 NEW BEST:: SOT 98036 SOS 35648 HAS SOPS 35648 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16686.648
AT ITER 7905 NEW BEST:: SOT 98037 SOS 35640 HAS SOPS 35640 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16678.64
AT ITER 7946 NEW BEST:: SOT 98022 SOS 35650 HAS SOPS 35650 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16648.65
AT ITER 8065 NEW BEST:: SOT 98013 SOS 35624 HAS SOPS 35624 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16647.624
AT ITER 8081 NEW BEST:: SOT 97989 SOS 35576 HAS SOPS 35576 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16599.576
AT ITER 8094 NEW BEST:: SOT 97989 SOS 35549 HAS SOPS 35549 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16599.549
AT ITER 8199 NEW BEST:: SOT 97969 SOS 34985 HAS SOPS 34985 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16570.985
AT ITER 8209 NEW BEST:: SOT 97981 SOS 34981 HAS SOPS 34981 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16551.981
AT ITER 8239 NEW BEST:: SOT 97976 SOS 34978 HAS SOPS 34978 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16548.978
AT ITER 8261 NEW BEST:: SOT 97976 SOS 34956 HAS SOPS 34956 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16548.956
AT ITER 8359 NEW BEST:: SOT 97967 SOS 34911 HAS SOPS 34911 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16530.911
AT ITER 8404 NEW BEST:: SOT 97967 SOS 34879 HAS SOPS 34879 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16530.879
AT ITER 8412 NEW BEST:: SOT 97967 SOS 34850 HAS SOPS 34850 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16530.85
AT ITER 8425 NEW BEST:: SOT 97943 SOS 34826 HAS SOPS 34826 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16506.826
AT ITER 8451 NEW BEST:: SOT 97939 SOS 34820 HAS SOPS 34820 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16498.82
AT ITER 8475 NEW BEST:: SOT 97931 SOS 34812 HAS SOPS 34812 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16482.812
AT ITER 8510 NEW BEST:: SOT 97919 SOS 34788 HAS SOPS 34788 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16470.788
AT ITER 8542 NEW BEST:: SOT 97895 SOS 34754 HAS SOPS 34754 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16448.754
AT ITER 8543 NEW BEST:: SOT 97895 SOS 34663 HAS SOPS 34663 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16448.663
AT ITER 8600 NEW BEST:: SOT 97883 SOS 34639 HAS SOPS 34639 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16436.639
AT ITER 8617 NEW BEST:: SOT 97884 SOS 34635 HAS SOPS 34635 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16432.635
AT ITER 8653 NEW BEST:: SOT 97883 SOS 34629 HAS SOPS 34629 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16422.629
AT ITER 8654 NEW BEST:: SOT 97905 SOS 34648 HAS SOPS 34648 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16414.648
AT ITER 8666 NEW BEST:: SOT 97871 SOS 34617 HAS SOPS 34617 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16383.617
AT ITER 8674 NEW BEST:: SOT 97871 SOS 34557 HAS SOPS 34557 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16379.557
AT ITER 8735 NEW BEST:: SOT 97870 SOS 34555 HAS SOPS 34555 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16378.555
AT ITER 8736 NEW BEST:: SOT 97869 SOS 34553 HAS SOPS 34553 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16376.553
AT ITER 8778 NEW BEST:: SOT 97861 SOS 34571 HAS SOPS 34571 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16360.571
AT ITER 8781 NEW BEST:: SOT 97853 SOS 34555 HAS SOPS 34555 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16344.555
AT ITER 8843 NEW BEST:: SOT 97845 SOS 34512 HAS SOPS 34512 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16309.512
AT ITER 8854 NEW BEST:: SOT 97826 SOS 34483 HAS SOPS 34483 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16281.483
AT ITER 8860 NEW BEST:: SOT 97823 SOS 34478 HAS SOPS 34478 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16276.478
AT ITER 8929 NEW BEST:: SOT 97831 SOS 34494 HAS SOPS 34494 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16273.494
AT ITER 8935 NEW BEST:: SOT 97830 SOS 34488 HAS SOPS 34488 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16268.488
AT ITER 8942 NEW BEST:: SOT 97815 SOS 34473 HAS SOPS 34473 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16267.473
AT ITER 9002 NEW BEST:: SOT 97811 SOS 34481 HAS SOPS 34481 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16259.481
AT ITER 9006 NEW BEST:: SOT 97782 SOS 34423 HAS SOPS 34423 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16235.423
AT ITER 9033 NEW BEST:: SOT 97627 SOS 34168 HAS SOPS 34168 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16098.168
AT ITER 9040 NEW BEST:: SOT 97623 SOS 34160 HAS SOPS 34160 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16092.16
AT ITER 9057 NEW BEST:: SOT 97640 SOS 34149 HAS SOPS 34149 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16083.149
AT ITER 9113 NEW BEST:: SOT 97639 SOS 34148 HAS SOPS 34148 HAS SOUS 16048 HAS SOUPS 16048 WITH SCORE 16082.148
AT ITER 9125 NEW BEST:: SOT 97628 SOS 34126 HAS SOPS 34126 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16060.126
AT ITER 9132 NEW BEST:: SOT 97628 SOS 34080 HAS SOPS 34080 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16060.08
AT ITER 9164 NEW BEST:: SOT 97628 SOS 34079 HAS SOPS 34079 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16059.079
AT ITER 9171 NEW BEST:: SOT 97481 SOS 33948 HAS SOPS 33948 HAS SOUS 15922 HAS SOUPS 15922 WITH SCORE 15955.948
AT ITER 9179 NEW BEST:: SOT 97478 SOS 33945 HAS SOPS 33945 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15949.945
AT ITER 9180 NEW BEST:: SOT 97474 SOS 33941 HAS SOPS 33941 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15943.941
AT ITER 9217 NEW BEST:: SOT 97474 SOS 33934 HAS SOPS 33934 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15943.934
AT ITER 9252 NEW BEST:: SOT 97459 SOS 33919 HAS SOPS 33919 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15913.919
AT ITER 9286 NEW BEST:: SOT 97462 SOS 33876 HAS SOPS 33876 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15882.876
AT ITER 9317 NEW BEST:: SOT 97442 SOS 33876 HAS SOPS 33876 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15862.876
AT ITER 9321 NEW BEST:: SOT 97438 SOS 33872 HAS SOPS 33872 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15854.872
AT ITER 9323 NEW BEST:: SOT 97434 SOS 33868 HAS SOPS 33868 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15842.868
AT ITER 9347 NEW BEST:: SOT 97425 SOS 33854 HAS SOPS 33854 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15829.854
AT ITER 9361 NEW BEST:: SOT 97424 SOS 33860 HAS SOPS 33860 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15828.86
AT ITER 9386 NEW BEST:: SOT 97425 SOS 32810 HAS SOPS 32810 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15823.81
AT ITER 9412 NEW BEST:: SOT 97398 SOS 32763 HAS SOPS 32763 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15769.763
AT ITER 9425 NEW BEST:: SOT 97394 SOS 32761 HAS SOPS 32761 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15767.761
AT ITER 9438 NEW BEST:: SOT 97394 SOS 32723 HAS SOPS 32723 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15767.723
AT ITER 9529 NEW BEST:: SOT 97390 SOS 32715 HAS SOPS 32715 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15759.715
AT ITER 9534 NEW BEST:: SOT 97387 SOS 32709 HAS SOPS 32709 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15753.709
AT ITER 9565 NEW BEST:: SOT 97377 SOS 32699 HAS SOPS 32699 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15743.699
AT ITER 9629 NEW BEST:: SOT 97352 SOS 32649 HAS SOPS 32649 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15711.649
AT ITER 9645 NEW BEST:: SOT 97323 SOS 32603 HAS SOPS 32603 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15680.603
AT ITER 9647 NEW BEST:: SOT 97299 SOS 32601 HAS SOPS 32601 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15678.601
AT ITER 9694 NEW BEST:: SOT 97291 SOS 32601 HAS SOPS 32601 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15676.601
AT ITER 9701 NEW BEST:: SOT 97300 SOS 32594 HAS SOPS 32594 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15660.594
AT ITER 9715 NEW BEST:: SOT 97292 SOS 32586 HAS SOPS 32586 HAS SOUS 15620 HAS SOUPS 15620 WITH SCORE 15652.586
AT ITER 9722 NEW BEST:: SOT 97289 SOS 32591 HAS SOPS 32591 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15643.591
AT ITER 9826 NEW BEST:: SOT 97282 SOS 32577 HAS SOPS 32577 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15629.577
AT ITER 9834 NEW BEST:: SOT 97281 SOS 32575 HAS SOPS 32575 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15627.575
AT ITER 9884 NEW BEST:: SOT 97277 SOS 32544 HAS SOPS 32544 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15608.544
AT ITER 9909 NEW BEST:: SOT 97274 SOS 32541 HAS SOPS 32541 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15605.541
AT ITER 9922 NEW BEST:: SOT 97296 SOS 32653 HAS SOPS 32653 HAS SOUS 15561 HAS SOUPS 15561 WITH SCORE 15593.653
AT ITER 9926 NEW BEST:: SOT 97247 SOS 32555 HAS SOPS 32555 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15495.555

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-14b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-14b, 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 r063-tajo-158922807900728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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