Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 131K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469865231

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

Filename model.pnml
Petri model created: 518 places, 471 transitions, 1415 arcs.
AT ITER 0 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61509.272
AT ITER 13 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61442 HAS SOUPS 61442 WITH SCORE 61506.272
AT ITER 14 NEW BEST:: SOT 157269 SOS 64270 HAS SOPS 64270 HAS SOUS 61440 HAS SOUPS 61440 WITH SCORE 61504.27
AT ITER 32 NEW BEST:: SOT 157269 SOS 64227 HAS SOPS 64227 HAS SOUS 61397 HAS SOUPS 61397 WITH SCORE 61461.227
AT ITER 46 NEW BEST:: SOT 157260 SOS 64263 HAS SOPS 64263 HAS SOUS 61392 HAS SOUPS 61392 WITH SCORE 61456.263
AT ITER 51 NEW BEST:: SOT 157209 SOS 64259 HAS SOPS 64259 HAS SOUS 61388 HAS SOUPS 61388 WITH SCORE 61452.259
AT ITER 53 NEW BEST:: SOT 155817 SOS 62931 HAS SOPS 62931 HAS SOUS 60060 HAS SOUPS 60060 WITH SCORE 60122.931
AT ITER 61 NEW BEST:: SOT 155756 SOS 62746 HAS SOPS 62746 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 59998.746
AT ITER 74 NEW BEST:: SOT 155772 SOS 62739 HAS SOPS 62739 HAS SOUS 59929 HAS SOUPS 59929 WITH SCORE 59991.739
AT ITER 76 NEW BEST:: SOT 155703 SOS 62977 HAS SOPS 62977 HAS SOUS 59912 HAS SOUPS 59912 WITH SCORE 59974.977
AT ITER 80 NEW BEST:: SOT 155623 SOS 62880 HAS SOPS 62880 HAS SOUS 59814 HAS SOUPS 59814 WITH SCORE 59876.88
AT ITER 86 NEW BEST:: SOT 155623 SOS 62836 HAS SOPS 62836 HAS SOUS 59770 HAS SOUPS 59770 WITH SCORE 59832.836
AT ITER 87 NEW BEST:: SOT 155623 SOS 62816 HAS SOPS 62816 HAS SOUS 59653 HAS SOUPS 59653 WITH SCORE 59715.816
AT ITER 100 NEW BEST:: SOT 155562 SOS 62682 HAS SOPS 62682 HAS SOUS 59519 HAS SOUPS 59519 WITH SCORE 59581.682
AT ITER 104 NEW BEST:: SOT 155427 SOS 62393 HAS SOPS 62393 HAS SOUS 59414 HAS SOUPS 59414 WITH SCORE 59476.393
AT ITER 107 NEW BEST:: SOT 155421 SOS 62356 HAS SOPS 62356 HAS SOUS 59408 HAS SOUPS 59408 WITH SCORE 59470.356
AT ITER 128 NEW BEST:: SOT 155421 SOS 62352 HAS SOPS 62352 HAS SOUS 59404 HAS SOUPS 59404 WITH SCORE 59466.352
AT ITER 131 NEW BEST:: SOT 155378 SOS 62256 HAS SOPS 62256 HAS SOUS 59308 HAS SOUPS 59308 WITH SCORE 59370.256
AT ITER 144 NEW BEST:: SOT 155242 SOS 62096 HAS SOPS 62096 HAS SOUS 59148 HAS SOUPS 59148 WITH SCORE 59210.096
AT ITER 154 NEW BEST:: SOT 155239 SOS 62093 HAS SOPS 62093 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59207.093
AT ITER 159 NEW BEST:: SOT 155239 SOS 62049 HAS SOPS 62049 HAS SOUS 59101 HAS SOUPS 59101 WITH SCORE 59163.049
AT ITER 160 NEW BEST:: SOT 155236 SOS 62036 HAS SOPS 62036 HAS SOUS 59088 HAS SOUPS 59088 WITH SCORE 59150.036
AT ITER 164 NEW BEST:: SOT 155302 SOS 61948 HAS SOPS 61948 HAS SOUS 59000 HAS SOUPS 59000 WITH SCORE 59061.948
AT ITER 182 NEW BEST:: SOT 155104 SOS 61466 HAS SOPS 61466 HAS SOUS 58698 HAS SOUPS 58698 WITH SCORE 58759.466
AT ITER 185 NEW BEST:: SOT 154999 SOS 61311 HAS SOPS 61311 HAS SOUS 58543 HAS SOUPS 58543 WITH SCORE 58604.311
AT ITER 188 NEW BEST:: SOT 154981 SOS 61293 HAS SOPS 61293 HAS SOUS 58525 HAS SOUPS 58525 WITH SCORE 58586.293
AT ITER 189 NEW BEST:: SOT 154924 SOS 61236 HAS SOPS 61236 HAS SOUS 58468 HAS SOUPS 58468 WITH SCORE 58529.236
AT ITER 194 NEW BEST:: SOT 154923 SOS 61114 HAS SOPS 61114 HAS SOUS 58346 HAS SOUPS 58346 WITH SCORE 58407.114
AT ITER 197 NEW BEST:: SOT 154922 SOS 61112 HAS SOPS 61112 HAS SOUS 58344 HAS SOUPS 58344 WITH SCORE 58405.112
AT ITER 215 NEW BEST:: SOT 154903 SOS 60967 HAS SOPS 60967 HAS SOUS 58252 HAS SOUPS 58252 WITH SCORE 58312.967
AT ITER 216 NEW BEST:: SOT 154922 SOS 60719 HAS SOPS 60719 HAS SOUS 58251 HAS SOUPS 58251 WITH SCORE 58311.719
AT ITER 221 NEW BEST:: SOT 154921 SOS 60593 HAS SOPS 60593 HAS SOUS 58125 HAS SOUPS 58125 WITH SCORE 58185.593
AT ITER 225 NEW BEST:: SOT 154920 SOS 60591 HAS SOPS 60591 HAS SOUS 58123 HAS SOUPS 58123 WITH SCORE 58183.591
AT ITER 238 NEW BEST:: SOT 154763 SOS 60358 HAS SOPS 60358 HAS SOUS 57890 HAS SOUPS 57890 WITH SCORE 57950.358
AT ITER 240 NEW BEST:: SOT 154650 SOS 60201 HAS SOPS 60201 HAS SOUS 57733 HAS SOUPS 57733 WITH SCORE 57793.201
AT ITER 242 NEW BEST:: SOT 152954 SOS 58204 HAS SOPS 58204 HAS SOUS 55948 HAS SOUPS 55948 WITH SCORE 56006.204
AT ITER 244 NEW BEST:: SOT 152961 SOS 58202 HAS SOPS 58202 HAS SOUS 55939 HAS SOUPS 55939 WITH SCORE 55997.202
AT ITER 269 NEW BEST:: SOT 152961 SOS 58035 HAS SOPS 58035 HAS SOUS 55856 HAS SOUPS 55856 WITH SCORE 55914.035
AT ITER 288 NEW BEST:: SOT 152961 SOS 58023 HAS SOPS 58023 HAS SOUS 55844 HAS SOUPS 55844 WITH SCORE 55902.023
AT ITER 310 NEW BEST:: SOT 152974 SOS 58010 HAS SOPS 58010 HAS SOUS 55831 HAS SOUPS 55831 WITH SCORE 55889.01
AT ITER 324 NEW BEST:: SOT 152974 SOS 57790 HAS SOPS 57790 HAS SOUS 55611 HAS SOUPS 55611 WITH SCORE 55668.79
AT ITER 332 NEW BEST:: SOT 152974 SOS 57711 HAS SOPS 57711 HAS SOUS 55606 HAS SOUPS 55606 WITH SCORE 55663.711
AT ITER 338 NEW BEST:: SOT 152950 SOS 57729 HAS SOPS 57729 HAS SOUS 55596 HAS SOUPS 55596 WITH SCORE 55653.729
AT ITER 339 NEW BEST:: SOT 152085 SOS 56880 HAS SOPS 56880 HAS SOUS 54747 HAS SOUPS 54747 WITH SCORE 54803.88
AT ITER 340 NEW BEST:: SOT 152084 SOS 56878 HAS SOPS 56878 HAS SOUS 54745 HAS SOUPS 54745 WITH SCORE 54801.878
AT ITER 344 NEW BEST:: SOT 152083 SOS 56875 HAS SOPS 56875 HAS SOUS 54742 HAS SOUPS 54742 WITH SCORE 54798.875
AT ITER 351 NEW BEST:: SOT 151768 SOS 56644 HAS SOPS 56644 HAS SOUS 54460 HAS SOUPS 54460 WITH SCORE 54516.644
AT ITER 376 NEW BEST:: SOT 151769 SOS 56646 HAS SOPS 56646 HAS SOUS 54374 HAS SOUPS 54374 WITH SCORE 54430.646
AT ITER 379 NEW BEST:: SOT 148800 SOS 65643 HAS SOPS 65643 HAS SOUS 51670 HAS SOUPS 51670 WITH SCORE 51735.643
AT ITER 380 NEW BEST:: SOT 148681 SOS 65405 HAS SOPS 65405 HAS SOUS 51591 HAS SOUPS 51591 WITH SCORE 51656.405
AT ITER 385 NEW BEST:: SOT 148795 SOS 66871 HAS SOPS 66871 HAS SOUS 51570 HAS SOUPS 51570 WITH SCORE 51636.871
AT ITER 387 NEW BEST:: SOT 148765 SOS 66841 HAS SOPS 66841 HAS SOUS 51570 HAS SOUPS 51570 WITH SCORE 51636.841
AT ITER 388 NEW BEST:: SOT 148725 SOS 66781 HAS SOPS 66781 HAS SOUS 51530 HAS SOUPS 51530 WITH SCORE 51596.781
AT ITER 418 NEW BEST:: SOT 148663 SOS 66719 HAS SOPS 66719 HAS SOUS 51468 HAS SOUPS 51468 WITH SCORE 51534.719
AT ITER 427 NEW BEST:: SOT 148630 SOS 66686 HAS SOPS 66686 HAS SOUS 51435 HAS SOUPS 51435 WITH SCORE 51501.686
AT ITER 429 NEW BEST:: SOT 148649 SOS 66535 HAS SOPS 66535 HAS SOUS 51426 HAS SOUPS 51426 WITH SCORE 51492.535
AT ITER 430 NEW BEST:: SOT 148524 SOS 66363 HAS SOPS 66363 HAS SOUS 51305 HAS SOUPS 51305 WITH SCORE 51371.363
AT ITER 433 NEW BEST:: SOT 148518 SOS 66357 HAS SOPS 66357 HAS SOUS 51299 HAS SOUPS 51299 WITH SCORE 51365.357
AT ITER 442 NEW BEST:: SOT 148435 SOS 66191 HAS SOPS 66191 HAS SOUS 51216 HAS SOUPS 51216 WITH SCORE 51282.191
AT ITER 443 NEW BEST:: SOT 147233 SOS 64935 HAS SOPS 64935 HAS SOUS 50042 HAS SOUPS 50042 WITH SCORE 50106.935
AT ITER 468 NEW BEST:: SOT 147171 SOS 64935 HAS SOPS 64935 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50105.935
AT ITER 469 NEW BEST:: SOT 146997 SOS 64755 HAS SOPS 64755 HAS SOUS 50029 HAS SOUPS 50029 WITH SCORE 50093.755
AT ITER 475 NEW BEST:: SOT 146996 SOS 64753 HAS SOPS 64753 HAS SOUS 50027 HAS SOUPS 50027 WITH SCORE 50091.753
AT ITER 477 NEW BEST:: SOT 146935 SOS 64692 HAS SOPS 64692 HAS SOUS 49966 HAS SOUPS 49966 WITH SCORE 50030.692
AT ITER 486 NEW BEST:: SOT 147008 SOS 64765 HAS SOPS 64765 HAS SOUS 49963 HAS SOUPS 49963 WITH SCORE 50027.765
AT ITER 487 NEW BEST:: SOT 147106 SOS 64575 HAS SOPS 64575 HAS SOUS 49903 HAS SOUPS 49903 WITH SCORE 49967.575
AT ITER 488 NEW BEST:: SOT 147106 SOS 64546 HAS SOPS 64546 HAS SOUS 49874 HAS SOUPS 49874 WITH SCORE 49938.546
AT ITER 489 NEW BEST:: SOT 147096 SOS 64536 HAS SOPS 64536 HAS SOUS 49864 HAS SOUPS 49864 WITH SCORE 49928.536
AT ITER 504 NEW BEST:: SOT 147113 SOS 64516 HAS SOPS 64516 HAS SOUS 49790 HAS SOUPS 49790 WITH SCORE 49854.516
AT ITER 506 NEW BEST:: SOT 147150 SOS 64553 HAS SOPS 64553 HAS SOUS 49759 HAS SOUPS 49759 WITH SCORE 49823.553
AT ITER 510 NEW BEST:: SOT 147232 SOS 64532 HAS SOPS 64532 HAS SOUS 49738 HAS SOUPS 49738 WITH SCORE 49802.532
AT ITER 525 NEW BEST:: SOT 147122 SOS 64041 HAS SOPS 64041 HAS SOUS 49729 HAS SOUPS 49729 WITH SCORE 49793.041
AT ITER 529 NEW BEST:: SOT 147105 SOS 64024 HAS SOPS 64024 HAS SOUS 49712 HAS SOUPS 49712 WITH SCORE 49776.024
AT ITER 539 NEW BEST:: SOT 147096 SOS 64015 HAS SOPS 64015 HAS SOUS 49702 HAS SOUPS 49702 WITH SCORE 49766.015
AT ITER 567 NEW BEST:: SOT 146996 SOS 63914 HAS SOPS 63914 HAS SOUS 49700 HAS SOUPS 49700 WITH SCORE 49763.914
AT ITER 568 NEW BEST:: SOT 146947 SOS 63816 HAS SOPS 63816 HAS SOUS 49650 HAS SOUPS 49650 WITH SCORE 49713.816
AT ITER 571 NEW BEST:: SOT 146762 SOS 63425 HAS SOPS 63425 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49322.425
AT ITER 574 NEW BEST:: SOT 146823 SOS 63196 HAS SOPS 63196 HAS SOUS 49225 HAS SOUPS 49225 WITH SCORE 49288.196
AT ITER 581 NEW BEST:: SOT 146677 SOS 63040 HAS SOPS 63040 HAS SOUS 49205 HAS SOUPS 49205 WITH SCORE 49268.04
AT ITER 584 NEW BEST:: SOT 146546 SOS 62908 HAS SOPS 62908 HAS SOUS 49203 HAS SOUPS 49203 WITH SCORE 49265.908
AT ITER 587 NEW BEST:: SOT 146473 SOS 62762 HAS SOPS 62762 HAS SOUS 49102 HAS SOUPS 49102 WITH SCORE 49164.762
AT ITER 598 NEW BEST:: SOT 146472 SOS 62760 HAS SOPS 62760 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49162.76
AT ITER 600 NEW BEST:: SOT 146426 SOS 62713 HAS SOPS 62713 HAS SOUS 49053 HAS SOUPS 49053 WITH SCORE 49115.713
AT ITER 607 NEW BEST:: SOT 146426 SOS 62713 HAS SOPS 62713 HAS SOUS 49006 HAS SOUPS 49006 WITH SCORE 49068.713
AT ITER 618 NEW BEST:: SOT 146125 SOS 62702 HAS SOPS 62702 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48866.702
AT ITER 623 NEW BEST:: SOT 146080 SOS 62612 HAS SOPS 62612 HAS SOUS 48714 HAS SOUPS 48714 WITH SCORE 48776.612
AT ITER 624 NEW BEST:: SOT 146070 SOS 62592 HAS SOPS 62592 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48756.592
AT ITER 627 NEW BEST:: SOT 146023 SOS 62545 HAS SOPS 62545 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48756.545
AT ITER 645 NEW BEST:: SOT 146062 SOS 62544 HAS SOPS 62544 HAS SOUS 48693 HAS SOUPS 48693 WITH SCORE 48755.544
AT ITER 655 NEW BEST:: SOT 146058 SOS 62463 HAS SOPS 62463 HAS SOUS 48612 HAS SOUPS 48612 WITH SCORE 48674.463
AT ITER 667 NEW BEST:: SOT 145863 SOS 62102 HAS SOPS 62102 HAS SOUS 48251 HAS SOUPS 48251 WITH SCORE 48313.102
AT ITER 671 NEW BEST:: SOT 145842 SOS 61984 HAS SOPS 61984 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48265.984
AT ITER 672 NEW BEST:: SOT 145776 SOS 61918 HAS SOPS 61918 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48265.918
AT ITER 677 NEW BEST:: SOT 145770 SOS 61906 HAS SOPS 61906 HAS SOUS 48198 HAS SOUPS 48198 WITH SCORE 48259.906
AT ITER 685 NEW BEST:: SOT 145705 SOS 61775 HAS SOPS 61775 HAS SOUS 48100 HAS SOUPS 48100 WITH SCORE 48161.775
AT ITER 687 NEW BEST:: SOT 145704 SOS 61774 HAS SOPS 61774 HAS SOUS 48099 HAS SOUPS 48099 WITH SCORE 48160.774
AT ITER 694 NEW BEST:: SOT 145729 SOS 61615 HAS SOPS 61615 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48001.615
AT ITER 711 NEW BEST:: SOT 145729 SOS 61604 HAS SOPS 61604 HAS SOUS 47918 HAS SOUPS 47918 WITH SCORE 47979.604
AT ITER 712 NEW BEST:: SOT 145701 SOS 61584 HAS SOPS 61584 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47950.584
AT ITER 714 NEW BEST:: SOT 145655 SOS 61515 HAS SOPS 61515 HAS SOUS 47843 HAS SOUPS 47843 WITH SCORE 47904.515
AT ITER 724 NEW BEST:: SOT 145553 SOS 61420 HAS SOPS 61420 HAS SOUS 47748 HAS SOUPS 47748 WITH SCORE 47809.42
AT ITER 734 NEW BEST:: SOT 145533 SOS 61394 HAS SOPS 61394 HAS SOUS 47743 HAS SOUPS 47743 WITH SCORE 47804.394
AT ITER 775 NEW BEST:: SOT 145529 SOS 61386 HAS SOPS 61386 HAS SOUS 47740 HAS SOUPS 47740 WITH SCORE 47801.386
AT ITER 785 NEW BEST:: SOT 145491 SOS 61310 HAS SOPS 61310 HAS SOUS 47714 HAS SOUPS 47714 WITH SCORE 47775.31
AT ITER 789 NEW BEST:: SOT 145488 SOS 61290 HAS SOPS 61290 HAS SOUS 47694 HAS SOUPS 47694 WITH SCORE 47755.29
AT ITER 795 NEW BEST:: SOT 145390 SOS 61258 HAS SOPS 61258 HAS SOUS 47596 HAS SOUPS 47596 WITH SCORE 47657.258
AT ITER 804 NEW BEST:: SOT 145286 SOS 61154 HAS SOPS 61154 HAS SOUS 47596 HAS SOUPS 47596 WITH SCORE 47657.154
AT ITER 816 NEW BEST:: SOT 145261 SOS 61104 HAS SOPS 61104 HAS SOUS 47571 HAS SOUPS 47571 WITH SCORE 47632.104
AT ITER 821 NEW BEST:: SOT 145171 SOS 60925 HAS SOPS 60925 HAS SOUS 47417 HAS SOUPS 47417 WITH SCORE 47477.925
AT ITER 830 NEW BEST:: SOT 145244 SOS 60998 HAS SOPS 60998 HAS SOUS 47398 HAS SOUPS 47398 WITH SCORE 47458.998
AT ITER 853 NEW BEST:: SOT 145181 SOS 60935 HAS SOPS 60935 HAS SOUS 47398 HAS SOUPS 47398 WITH SCORE 47458.935
AT ITER 860 NEW BEST:: SOT 145054 SOS 60765 HAS SOPS 60765 HAS SOUS 47312 HAS SOUPS 47312 WITH SCORE 47372.765
AT ITER 862 NEW BEST:: SOT 144988 SOS 60732 HAS SOPS 60732 HAS SOUS 47153 HAS SOUPS 47153 WITH SCORE 47213.732
AT ITER 866 NEW BEST:: SOT 144889 SOS 60534 HAS SOPS 60534 HAS SOUS 47006 HAS SOUPS 47006 WITH SCORE 47066.534
AT ITER 867 NEW BEST:: SOT 144815 SOS 60423 HAS SOPS 60423 HAS SOUS 46895 HAS SOUPS 46895 WITH SCORE 46955.423
AT ITER 868 NEW BEST:: SOT 143533 SOS 59997 HAS SOPS 59997 HAS SOUS 45859 HAS SOUPS 45859 WITH SCORE 45918.997
AT ITER 877 NEW BEST:: SOT 143514 SOS 59978 HAS SOPS 59978 HAS SOUS 45840 HAS SOUPS 45840 WITH SCORE 45899.978
AT ITER 893 NEW BEST:: SOT 143514 SOS 59962 HAS SOPS 59962 HAS SOUS 45838 HAS SOUPS 45838 WITH SCORE 45897.962
AT ITER 929 NEW BEST:: SOT 143569 SOS 59920 HAS SOPS 59920 HAS SOUS 45796 HAS SOUPS 45796 WITH SCORE 45855.92
AT ITER 931 NEW BEST:: SOT 143498 SOS 59781 HAS SOPS 59781 HAS SOUS 45561 HAS SOUPS 45561 WITH SCORE 45620.781
AT ITER 935 NEW BEST:: SOT 143396 SOS 59600 HAS SOPS 59600 HAS SOUS 45380 HAS SOUPS 45380 WITH SCORE 45439.6
AT ITER 937 NEW BEST:: SOT 143394 SOS 59541 HAS SOPS 59541 HAS SOUS 45321 HAS SOUPS 45321 WITH SCORE 45380.541
AT ITER 943 NEW BEST:: SOT 143391 SOS 59538 HAS SOPS 59538 HAS SOUS 45318 HAS SOUPS 45318 WITH SCORE 45377.538
AT ITER 968 NEW BEST:: SOT 141696 SOS 57843 HAS SOPS 57843 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43793.843
AT ITER 969 NEW BEST:: SOT 141696 SOS 57872 HAS SOPS 57872 HAS SOUS 43670 HAS SOUPS 43670 WITH SCORE 43727.872
AT ITER 971 NEW BEST:: SOT 141669 SOS 57845 HAS SOPS 57845 HAS SOUS 43670 HAS SOUPS 43670 WITH SCORE 43727.845
AT ITER 1001 NEW BEST:: SOT 141652 SOS 57935 HAS SOPS 57935 HAS SOUS 43630 HAS SOUPS 43630 WITH SCORE 43687.935
AT ITER 1002 NEW BEST:: SOT 141593 SOS 57876 HAS SOPS 57876 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43626.876
AT ITER 1007 NEW BEST:: SOT 141546 SOS 57829 HAS SOPS 57829 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43626.829
AT ITER 1025 NEW BEST:: SOT 141536 SOS 57819 HAS SOPS 57819 HAS SOUS 43559 HAS SOUPS 43559 WITH SCORE 43616.819
AT ITER 1050 NEW BEST:: SOT 141287 SOS 57570 HAS SOPS 57570 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43592.57
AT ITER 1052 NEW BEST:: SOT 141287 SOS 57570 HAS SOPS 57570 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43574.57
AT ITER 1055 NEW BEST:: SOT 141247 SOS 57490 HAS SOPS 57490 HAS SOUS 43477 HAS SOUPS 43477 WITH SCORE 43534.49
AT ITER 1090 NEW BEST:: SOT 141247 SOS 57380 HAS SOPS 57380 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43325.38
AT ITER 1096 NEW BEST:: SOT 141247 SOS 57380 HAS SOPS 57380 HAS SOUS 43266 HAS SOUPS 43266 WITH SCORE 43323.38
AT ITER 1104 NEW BEST:: SOT 141247 SOS 57380 HAS SOPS 57380 HAS SOUS 43163 HAS SOUPS 43163 WITH SCORE 43220.38
AT ITER 1115 NEW BEST:: SOT 141152 SOS 57285 HAS SOPS 57285 HAS SOUS 43163 HAS SOUPS 43163 WITH SCORE 43220.285
AT ITER 1117 NEW BEST:: SOT 141131 SOS 57264 HAS SOPS 57264 HAS SOUS 43142 HAS SOUPS 43142 WITH SCORE 43199.264
AT ITER 1135 NEW BEST:: SOT 141106 SOS 57239 HAS SOPS 57239 HAS SOUS 43117 HAS SOUPS 43117 WITH SCORE 43174.239
AT ITER 1142 NEW BEST:: SOT 141098 SOS 57197 HAS SOPS 57197 HAS SOUS 43101 HAS SOUPS 43101 WITH SCORE 43158.197
AT ITER 1144 NEW BEST:: SOT 140949 SOS 56899 HAS SOPS 56899 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43030.899
AT ITER 1153 NEW BEST:: SOT 141037 SOS 56841 HAS SOPS 56841 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43027.841
AT ITER 1163 NEW BEST:: SOT 141039 SOS 56738 HAS SOPS 56738 HAS SOUS 42868 HAS SOUPS 42868 WITH SCORE 42924.738
AT ITER 1165 NEW BEST:: SOT 141000 SOS 56660 HAS SOPS 56660 HAS SOUS 42790 HAS SOUPS 42790 WITH SCORE 42846.66
AT ITER 1183 NEW BEST:: SOT 140977 SOS 56559 HAS SOPS 56559 HAS SOUS 42611 HAS SOUPS 42611 WITH SCORE 42667.559
AT ITER 1186 NEW BEST:: SOT 141019 SOS 56494 HAS SOPS 56494 HAS SOUS 42392 HAS SOUPS 42392 WITH SCORE 42448.494
AT ITER 1187 NEW BEST:: SOT 140985 SOS 56426 HAS SOPS 56426 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42419.426
AT ITER 1212 NEW BEST:: SOT 140978 SOS 56419 HAS SOPS 56419 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42419.419
AT ITER 1214 NEW BEST:: SOT 140978 SOS 56419 HAS SOPS 56419 HAS SOUS 42356 HAS SOUPS 42356 WITH SCORE 42412.419
AT ITER 1227 NEW BEST:: SOT 140908 SOS 56349 HAS SOPS 56349 HAS SOUS 42356 HAS SOUPS 42356 WITH SCORE 42412.349
AT ITER 1231 NEW BEST:: SOT 140865 SOS 56306 HAS SOPS 56306 HAS SOUS 42313 HAS SOUPS 42313 WITH SCORE 42369.306
AT ITER 1240 NEW BEST:: SOT 140777 SOS 56259 HAS SOPS 56259 HAS SOUS 42294 HAS SOUPS 42294 WITH SCORE 42350.259
AT ITER 1251 NEW BEST:: SOT 140682 SOS 56158 HAS SOPS 56158 HAS SOUS 42239 HAS SOUPS 42239 WITH SCORE 42295.158
AT ITER 1261 NEW BEST:: SOT 140595 SOS 56071 HAS SOPS 56071 HAS SOUS 42239 HAS SOUPS 42239 WITH SCORE 42295.071
AT ITER 1270 NEW BEST:: SOT 140522 SOS 55925 HAS SOPS 55925 HAS SOUS 42164 HAS SOUPS 42164 WITH SCORE 42219.925
AT ITER 1271 NEW BEST:: SOT 140531 SOS 55862 HAS SOPS 55862 HAS SOUS 42020 HAS SOUPS 42020 WITH SCORE 42075.862
AT ITER 1321 NEW BEST:: SOT 140471 SOS 55807 HAS SOPS 55807 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42044.807
AT ITER 1323 NEW BEST:: SOT 140420 SOS 55791 HAS SOPS 55791 HAS SOUS 41973 HAS SOUPS 41973 WITH SCORE 42028.791
AT ITER 1330 NEW BEST:: SOT 140313 SOS 55766 HAS SOPS 55766 HAS SOUS 41948 HAS SOUPS 41948 WITH SCORE 42003.766
AT ITER 1336 NEW BEST:: SOT 140313 SOS 55737 HAS SOPS 55737 HAS SOUS 41919 HAS SOUPS 41919 WITH SCORE 41974.737
AT ITER 1342 NEW BEST:: SOT 140284 SOS 55708 HAS SOPS 55708 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41954.708
AT ITER 1358 NEW BEST:: SOT 140176 SOS 55571 HAS SOPS 55571 HAS SOUS 41884 HAS SOUPS 41884 WITH SCORE 41939.571
AT ITER 1359 NEW BEST:: SOT 140170 SOS 55559 HAS SOPS 55559 HAS SOUS 41872 HAS SOUPS 41872 WITH SCORE 41927.559
AT ITER 1361 NEW BEST:: SOT 140168 SOS 55522 HAS SOPS 55522 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41901.522
AT ITER 1374 NEW BEST:: SOT 140032 SOS 55352 HAS SOPS 55352 HAS SOUS 41778 HAS SOUPS 41778 WITH SCORE 41833.352
AT ITER 1377 NEW BEST:: SOT 140143 SOS 55308 HAS SOPS 55308 HAS SOUS 41734 HAS SOUPS 41734 WITH SCORE 41789.308
AT ITER 1387 NEW BEST:: SOT 140134 SOS 55299 HAS SOPS 55299 HAS SOUS 41725 HAS SOUPS 41725 WITH SCORE 41780.299
AT ITER 1402 NEW BEST:: SOT 140195 SOS 55360 HAS SOPS 55360 HAS SOUS 41711 HAS SOUPS 41711 WITH SCORE 41766.36
AT ITER 1408 NEW BEST:: SOT 140116 SOS 55202 HAS SOPS 55202 HAS SOUS 41631 HAS SOUPS 41631 WITH SCORE 41686.202
AT ITER 1419 NEW BEST:: SOT 140065 SOS 55141 HAS SOPS 55141 HAS SOUS 41570 HAS SOUPS 41570 WITH SCORE 41625.141
AT ITER 1423 NEW BEST:: SOT 140141 SOS 54978 HAS SOPS 54978 HAS SOUS 41480 HAS SOUPS 41480 WITH SCORE 41534.978
AT ITER 1424 NEW BEST:: SOT 140105 SOS 54943 HAS SOPS 54943 HAS SOUS 41445 HAS SOUPS 41445 WITH SCORE 41499.943
AT ITER 1425 NEW BEST:: SOT 140100 SOS 54933 HAS SOPS 54933 HAS SOUS 41438 HAS SOUPS 41438 WITH SCORE 41492.933
AT ITER 1430 NEW BEST:: SOT 139984 SOS 54762 HAS SOPS 54762 HAS SOUS 41351 HAS SOUPS 41351 WITH SCORE 41405.762
AT ITER 1432 NEW BEST:: SOT 139922 SOS 54638 HAS SOPS 54638 HAS SOUS 41224 HAS SOUPS 41224 WITH SCORE 41278.638
AT ITER 1436 NEW BEST:: SOT 139892 SOS 54578 HAS SOPS 54578 HAS SOUS 41194 HAS SOUPS 41194 WITH SCORE 41248.578
AT ITER 1441 NEW BEST:: SOT 139890 SOS 54542 HAS SOPS 54542 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41242.542
AT ITER 1442 NEW BEST:: SOT 139871 SOS 54523 HAS SOPS 54523 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41223.523
AT ITER 1444 NEW BEST:: SOT 139844 SOS 54496 HAS SOPS 54496 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41192.496
AT ITER 1445 NEW BEST:: SOT 139983 SOS 54606 HAS SOPS 54606 HAS SOUS 41115 HAS SOUPS 41115 WITH SCORE 41169.606
AT ITER 1456 NEW BEST:: SOT 139971 SOS 54589 HAS SOPS 54589 HAS SOUS 41098 HAS SOUPS 41098 WITH SCORE 41152.589
AT ITER 1457 NEW BEST:: SOT 139907 SOS 54525 HAS SOPS 54525 HAS SOUS 41034 HAS SOUPS 41034 WITH SCORE 41088.525
AT ITER 1468 NEW BEST:: SOT 139907 SOS 54417 HAS SOPS 54417 HAS SOUS 40926 HAS SOUPS 40926 WITH SCORE 40980.417
AT ITER 1493 NEW BEST:: SOT 139945 SOS 54385 HAS SOPS 54385 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 40967.385
AT ITER 1498 NEW BEST:: SOT 139953 SOS 54365 HAS SOPS 54365 HAS SOUS 40893 HAS SOUPS 40893 WITH SCORE 40947.365
AT ITER 1502 NEW BEST:: SOT 139978 SOS 54359 HAS SOPS 54359 HAS SOUS 40887 HAS SOUPS 40887 WITH SCORE 40941.359
AT ITER 1527 NEW BEST:: SOT 139808 SOS 54182 HAS SOPS 54182 HAS SOUS 40873 HAS SOUPS 40873 WITH SCORE 40927.182
AT ITER 1535 NEW BEST:: SOT 139808 SOS 54180 HAS SOPS 54180 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40925.18
AT ITER 1537 NEW BEST:: SOT 139732 SOS 54029 HAS SOPS 54029 HAS SOUS 40720 HAS SOUPS 40720 WITH SCORE 40774.029
AT ITER 1558 NEW BEST:: SOT 139685 SOS 53982 HAS SOPS 53982 HAS SOUS 40673 HAS SOUPS 40673 WITH SCORE 40726.982
AT ITER 1579 NEW BEST:: SOT 139682 SOS 53976 HAS SOPS 53976 HAS SOUS 40667 HAS SOUPS 40667 WITH SCORE 40720.976
AT ITER 1581 NEW BEST:: SOT 139682 SOS 53976 HAS SOPS 53976 HAS SOUS 40652 HAS SOUPS 40652 WITH SCORE 40705.976
AT ITER 1583 NEW BEST:: SOT 139660 SOS 53799 HAS SOPS 53799 HAS SOUS 40475 HAS SOUPS 40475 WITH SCORE 40528.799
AT ITER 1587 NEW BEST:: SOT 139694 SOS 53668 HAS SOPS 53668 HAS SOUS 40344 HAS SOUPS 40344 WITH SCORE 40397.668
AT ITER 1624 NEW BEST:: SOT 139625 SOS 53599 HAS SOPS 53599 HAS SOUS 40344 HAS SOUPS 40344 WITH SCORE 40397.599
AT ITER 1632 NEW BEST:: SOT 139637 SOS 53623 HAS SOPS 53623 HAS SOUS 40303 HAS SOUPS 40303 WITH SCORE 40356.623
AT ITER 1639 NEW BEST:: SOT 139616 SOS 53556 HAS SOPS 53556 HAS SOUS 40236 HAS SOUPS 40236 WITH SCORE 40289.556
AT ITER 1651 NEW BEST:: SOT 139596 SOS 53525 HAS SOPS 53525 HAS SOUS 40205 HAS SOUPS 40205 WITH SCORE 40258.525
AT ITER 1654 NEW BEST:: SOT 139586 SOS 53515 HAS SOPS 53515 HAS SOUS 40205 HAS SOUPS 40205 WITH SCORE 40258.515
AT ITER 1657 NEW BEST:: SOT 139569 SOS 53489 HAS SOPS 53489 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40242.489
AT ITER 1660 NEW BEST:: SOT 139561 SOS 53477 HAS SOPS 53477 HAS SOUS 40181 HAS SOUPS 40181 WITH SCORE 40234.477
AT ITER 1676 NEW BEST:: SOT 139595 SOS 53317 HAS SOPS 53317 HAS SOUS 40002 HAS SOUPS 40002 WITH SCORE 40055.317
AT ITER 1678 NEW BEST:: SOT 139610 SOS 53224 HAS SOPS 53224 HAS SOUS 39964 HAS SOUPS 39964 WITH SCORE 40017.224
AT ITER 1745 NEW BEST:: SOT 139600 SOS 53209 HAS SOPS 53209 HAS SOUS 39954 HAS SOUPS 39954 WITH SCORE 40007.209
AT ITER 1755 NEW BEST:: SOT 139592 SOS 53156 HAS SOPS 53156 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 39980.156
AT ITER 1774 NEW BEST:: SOT 139653 SOS 53149 HAS SOPS 53149 HAS SOUS 39920 HAS SOUPS 39920 WITH SCORE 39973.149
AT ITER 1797 NEW BEST:: SOT 139619 SOS 53081 HAS SOPS 53081 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39905.081
AT ITER 1799 NEW BEST:: SOT 139604 SOS 52962 HAS SOPS 52962 HAS SOUS 39818 HAS SOUPS 39818 WITH SCORE 39870.962
AT ITER 1804 NEW BEST:: SOT 139575 SOS 52933 HAS SOPS 52933 HAS SOUS 39789 HAS SOUPS 39789 WITH SCORE 39841.933
AT ITER 1818 NEW BEST:: SOT 139571 SOS 52929 HAS SOPS 52929 HAS SOUS 39785 HAS SOUPS 39785 WITH SCORE 39837.929
AT ITER 1824 NEW BEST:: SOT 139530 SOS 52912 HAS SOPS 52912 HAS SOUS 39768 HAS SOUPS 39768 WITH SCORE 39820.912
AT ITER 1841 NEW BEST:: SOT 139523 SOS 52882 HAS SOPS 52882 HAS SOUS 39734 HAS SOUPS 39734 WITH SCORE 39786.882
AT ITER 1865 NEW BEST:: SOT 139523 SOS 52879 HAS SOPS 52879 HAS SOUS 39731 HAS SOUPS 39731 WITH SCORE 39783.879
AT ITER 1879 NEW BEST:: SOT 139508 SOS 52863 HAS SOPS 52863 HAS SOUS 39729 HAS SOUPS 39729 WITH SCORE 39781.863
AT ITER 1881 NEW BEST:: SOT 139491 SOS 52828 HAS SOPS 52828 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39746.828
AT ITER 1900 NEW BEST:: SOT 139454 SOS 52784 HAS SOPS 52784 HAS SOUS 39650 HAS SOUPS 39650 WITH SCORE 39702.784
AT ITER 1916 NEW BEST:: SOT 139449 SOS 52764 HAS SOPS 52764 HAS SOUS 39645 HAS SOUPS 39645 WITH SCORE 39697.764
AT ITER 1928 NEW BEST:: SOT 139349 SOS 52564 HAS SOPS 52564 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39596.564
AT ITER 1939 NEW BEST:: SOT 139359 SOS 52572 HAS SOPS 52572 HAS SOUS 39533 HAS SOUPS 39533 WITH SCORE 39585.572
AT ITER 1942 NEW BEST:: SOT 139433 SOS 52613 HAS SOPS 52613 HAS SOUS 39495 HAS SOUPS 39495 WITH SCORE 39547.613
AT ITER 1943 NEW BEST:: SOT 139478 SOS 52351 HAS SOPS 52351 HAS SOUS 39483 HAS SOUPS 39483 WITH SCORE 39535.351
AT ITER 1982 NEW BEST:: SOT 139453 SOS 52181 HAS SOPS 52181 HAS SOUS 39313 HAS SOUPS 39313 WITH SCORE 39365.181
AT ITER 1987 NEW BEST:: SOT 139453 SOS 52157 HAS SOPS 52157 HAS SOUS 39289 HAS SOUPS 39289 WITH SCORE 39341.157
AT ITER 1990 NEW BEST:: SOT 139453 SOS 52065 HAS SOPS 52065 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39249.065
AT ITER 1995 NEW BEST:: SOT 139381 SOS 51921 HAS SOPS 51921 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39178.921
AT ITER 1996 NEW BEST:: SOT 139340 SOS 51880 HAS SOPS 51880 HAS SOUS 39086 HAS SOUPS 39086 WITH SCORE 39137.88
AT ITER 1999 NEW BEST:: SOT 139344 SOS 51852 HAS SOPS 51852 HAS SOUS 39058 HAS SOUPS 39058 WITH SCORE 39109.852
AT ITER 2009 NEW BEST:: SOT 139375 SOS 51719 HAS SOPS 51719 HAS SOUS 39022 HAS SOUPS 39022 WITH SCORE 39073.719
AT ITER 2013 NEW BEST:: SOT 139375 SOS 51715 HAS SOPS 51715 HAS SOUS 39021 HAS SOUPS 39021 WITH SCORE 39072.715
AT ITER 2071 NEW BEST:: SOT 139460 SOS 51701 HAS SOPS 51701 HAS SOUS 39006 HAS SOUPS 39006 WITH SCORE 39057.701
AT ITER 2107 NEW BEST:: SOT 139442 SOS 51704 HAS SOPS 51704 HAS SOUS 38876 HAS SOUPS 38876 WITH SCORE 38927.704
AT ITER 2111 NEW BEST:: SOT 139440 SOS 51702 HAS SOPS 51702 HAS SOUS 38874 HAS SOUPS 38874 WITH SCORE 38925.702
AT ITER 2112 NEW BEST:: SOT 139410 SOS 51623 HAS SOPS 51623 HAS SOUS 38831 HAS SOUPS 38831 WITH SCORE 38882.623
AT ITER 2115 NEW BEST:: SOT 139439 SOS 51681 HAS SOPS 51681 HAS SOUS 38824 HAS SOUPS 38824 WITH SCORE 38875.681
AT ITER 2122 NEW BEST:: SOT 139439 SOS 51678 HAS SOPS 51678 HAS SOUS 38824 HAS SOUPS 38824 WITH SCORE 38875.678
AT ITER 2129 NEW BEST:: SOT 139395 SOS 51611 HAS SOPS 51611 HAS SOUS 38757 HAS SOUPS 38757 WITH SCORE 38808.611
AT ITER 2145 NEW BEST:: SOT 139404 SOS 51596 HAS SOPS 51596 HAS SOUS 38742 HAS SOUPS 38742 WITH SCORE 38793.596
AT ITER 2151 NEW BEST:: SOT 139383 SOS 51554 HAS SOPS 51554 HAS SOUS 38700 HAS SOUPS 38700 WITH SCORE 38751.554
AT ITER 2152 NEW BEST:: SOT 139334 SOS 51456 HAS SOPS 51456 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38702.456
AT ITER 2157 NEW BEST:: SOT 139338 SOS 51442 HAS SOPS 51442 HAS SOUS 38646 HAS SOUPS 38646 WITH SCORE 38697.442
AT ITER 2160 NEW BEST:: SOT 139320 SOS 51406 HAS SOPS 51406 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38679.406
AT ITER 2164 NEW BEST:: SOT 139314 SOS 51353 HAS SOPS 51353 HAS SOUS 38575 HAS SOUPS 38575 WITH SCORE 38626.353
AT ITER 2168 NEW BEST:: SOT 139227 SOS 51253 HAS SOPS 51253 HAS SOUS 38475 HAS SOUPS 38475 WITH SCORE 38526.253
AT ITER 2170 NEW BEST:: SOT 139204 SOS 51184 HAS SOPS 51184 HAS SOUS 38429 HAS SOUPS 38429 WITH SCORE 38480.184
AT ITER 2189 NEW BEST:: SOT 139225 SOS 50908 HAS SOPS 50908 HAS SOUS 38321 HAS SOUPS 38321 WITH SCORE 38371.908
AT ITER 2196 NEW BEST:: SOT 139225 SOS 50885 HAS SOPS 50885 HAS SOUS 38298 HAS SOUPS 38298 WITH SCORE 38348.885
AT ITER 2198 NEW BEST:: SOT 139200 SOS 50835 HAS SOPS 50835 HAS SOUS 38167 HAS SOUPS 38167 WITH SCORE 38217.835
AT ITER 2216 NEW BEST:: SOT 139191 SOS 50826 HAS SOPS 50826 HAS SOUS 38158 HAS SOUPS 38158 WITH SCORE 38208.826
AT ITER 2229 NEW BEST:: SOT 139153 SOS 50749 HAS SOPS 50749 HAS SOUS 38119 HAS SOUPS 38119 WITH SCORE 38169.749
AT ITER 2234 NEW BEST:: SOT 138968 SOS 50563 HAS SOPS 50563 HAS SOUS 37933 HAS SOUPS 37933 WITH SCORE 37983.563
AT ITER 2241 NEW BEST:: SOT 138820 SOS 50415 HAS SOPS 50415 HAS SOUS 37785 HAS SOUPS 37785 WITH SCORE 37835.415
AT ITER 2246 NEW BEST:: SOT 138861 SOS 50429 HAS SOPS 50429 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37834.429
AT ITER 2260 NEW BEST:: SOT 138821 SOS 50349 HAS SOPS 50349 HAS SOUS 37704 HAS SOUPS 37704 WITH SCORE 37754.349
AT ITER 2294 NEW BEST:: SOT 138624 SOS 50089 HAS SOPS 50089 HAS SOUS 37590 HAS SOUPS 37590 WITH SCORE 37640.089
AT ITER 2296 NEW BEST:: SOT 138575 SOS 50038 HAS SOPS 50038 HAS SOUS 37539 HAS SOUPS 37539 WITH SCORE 37589.038
AT ITER 2307 NEW BEST:: SOT 138501 SOS 50036 HAS SOPS 50036 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37587.036
AT ITER 2319 NEW BEST:: SOT 138501 SOS 49991 HAS SOPS 49991 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37577.991
AT ITER 2327 NEW BEST:: SOT 138418 SOS 49891 HAS SOPS 49891 HAS SOUS 37497 HAS SOUPS 37497 WITH SCORE 37546.891
AT ITER 2328 NEW BEST:: SOT 138483 SOS 49260 HAS SOPS 49260 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37440.26
AT ITER 2345 NEW BEST:: SOT 138551 SOS 49230 HAS SOPS 49230 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37410.23
AT ITER 2358 NEW BEST:: SOT 138515 SOS 49188 HAS SOPS 49188 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37398.188
AT ITER 2371 NEW BEST:: SOT 138458 SOS 49131 HAS SOPS 49131 HAS SOUS 37292 HAS SOUPS 37292 WITH SCORE 37341.131
AT ITER 2383 NEW BEST:: SOT 138452 SOS 49125 HAS SOPS 49125 HAS SOUS 37286 HAS SOUPS 37286 WITH SCORE 37335.125
AT ITER 2402 NEW BEST:: SOT 138442 SOS 49115 HAS SOPS 49115 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37325.115
AT ITER 2409 NEW BEST:: SOT 137903 SOS 48551 HAS SOPS 48551 HAS SOUS 36712 HAS SOUPS 36712 WITH SCORE 36760.551
AT ITER 2435 NEW BEST:: SOT 137878 SOS 48501 HAS SOPS 48501 HAS SOUS 36687 HAS SOUPS 36687 WITH SCORE 36735.501
AT ITER 2442 NEW BEST:: SOT 137897 SOS 48391 HAS SOPS 48391 HAS SOUS 36429 HAS SOUPS 36429 WITH SCORE 36477.391
AT ITER 2450 NEW BEST:: SOT 137829 SOS 48255 HAS SOPS 48255 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36341.255
AT ITER 2453 NEW BEST:: SOT 137779 SOS 48205 HAS SOPS 48205 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36341.205
AT ITER 2454 NEW BEST:: SOT 137779 SOS 48183 HAS SOPS 48183 HAS SOUS 36271 HAS SOUPS 36271 WITH SCORE 36319.183
AT ITER 2464 NEW BEST:: SOT 137764 SOS 48153 HAS SOPS 48153 HAS SOUS 36241 HAS SOUPS 36241 WITH SCORE 36289.153
AT ITER 2470 NEW BEST:: SOT 137793 SOS 48182 HAS SOPS 48182 HAS SOUS 36221 HAS SOUPS 36221 WITH SCORE 36269.182
AT ITER 2473 NEW BEST:: SOT 137779 SOS 48154 HAS SOPS 48154 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36241.154
AT ITER 2475 NEW BEST:: SOT 137779 SOS 48154 HAS SOPS 48154 HAS SOUS 36172 HAS SOUPS 36172 WITH SCORE 36220.154
AT ITER 2501 NEW BEST:: SOT 137760 SOS 48101 HAS SOPS 48101 HAS SOUS 36129 HAS SOUPS 36129 WITH SCORE 36177.101
AT ITER 2535 NEW BEST:: SOT 137760 SOS 48098 HAS SOPS 48098 HAS SOUS 36126 HAS SOUPS 36126 WITH SCORE 36174.098
AT ITER 2549 NEW BEST:: SOT 137705 SOS 47988 HAS SOPS 47988 HAS SOUS 36016 HAS SOUPS 36016 WITH SCORE 36063.988
AT ITER 2567 NEW BEST:: SOT 137705 SOS 47874 HAS SOPS 47874 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35848.874
AT ITER 2577 NEW BEST:: SOT 137722 SOS 47872 HAS SOPS 47872 HAS SOUS 35799 HAS SOUPS 35799 WITH SCORE 35846.872
AT ITER 2592 NEW BEST:: SOT 137717 SOS 47862 HAS SOPS 47862 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35836.862
AT ITER 2616 NEW BEST:: SOT 137712 SOS 47857 HAS SOPS 47857 HAS SOUS 35784 HAS SOUPS 35784 WITH SCORE 35831.857
AT ITER 2626 NEW BEST:: SOT 137720 SOS 47860 HAS SOPS 47860 HAS SOUS 35777 HAS SOUPS 35777 WITH SCORE 35824.86
AT ITER 2639 NEW BEST:: SOT 137693 SOS 47694 HAS SOPS 47694 HAS SOUS 35611 HAS SOUPS 35611 WITH SCORE 35658.694
AT ITER 2649 NEW BEST:: SOT 137715 SOS 47678 HAS SOPS 47678 HAS SOUS 35595 HAS SOUPS 35595 WITH SCORE 35642.678
AT ITER 2658 NEW BEST:: SOT 137714 SOS 47671 HAS SOPS 47671 HAS SOUS 35588 HAS SOUPS 35588 WITH SCORE 35635.671
AT ITER 2667 NEW BEST:: SOT 137718 SOS 47669 HAS SOPS 47669 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35633.669
AT ITER 2675 NEW BEST:: SOT 137718 SOS 47591 HAS SOPS 47591 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35633.591
AT ITER 2688 NEW BEST:: SOT 137735 SOS 47549 HAS SOPS 47549 HAS SOUS 35485 HAS SOUPS 35485 WITH SCORE 35532.549
AT ITER 2709 NEW BEST:: SOT 137735 SOS 47563 HAS SOPS 47563 HAS SOUS 35479 HAS SOUPS 35479 WITH SCORE 35526.563
AT ITER 2758 NEW BEST:: SOT 137741 SOS 47537 HAS SOPS 47537 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35500.537
AT ITER 2774 NEW BEST:: SOT 137789 SOS 47531 HAS SOPS 47531 HAS SOUS 35447 HAS SOUPS 35447 WITH SCORE 35494.531
AT ITER 2777 NEW BEST:: SOT 137774 SOS 47501 HAS SOPS 47501 HAS SOUS 35417 HAS SOUPS 35417 WITH SCORE 35464.501
AT ITER 2790 NEW BEST:: SOT 137770 SOS 47555 HAS SOPS 47555 HAS SOUS 35391 HAS SOUPS 35391 WITH SCORE 35438.555
AT ITER 2793 NEW BEST:: SOT 137734 SOS 47519 HAS SOPS 47519 HAS SOUS 35391 HAS SOUPS 35391 WITH SCORE 35438.519
AT ITER 2797 NEW BEST:: SOT 137697 SOS 47410 HAS SOPS 47410 HAS SOUS 35282 HAS SOUPS 35282 WITH SCORE 35329.41
AT ITER 2828 NEW BEST:: SOT 137668 SOS 47381 HAS SOPS 47381 HAS SOUS 35249 HAS SOUPS 35249 WITH SCORE 35296.381
AT ITER 2849 NEW BEST:: SOT 137668 SOS 47381 HAS SOPS 47381 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35281.381
AT ITER 2855 NEW BEST:: SOT 137584 SOS 47213 HAS SOPS 47213 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35113.213
AT ITER 2857 NEW BEST:: SOT 137511 SOS 47067 HAS SOPS 47067 HAS SOUS 34977 HAS SOUPS 34977 WITH SCORE 35024.067
AT ITER 2862 NEW BEST:: SOT 137509 SOS 47064 HAS SOPS 47064 HAS SOUS 34975 HAS SOUPS 34975 WITH SCORE 35022.064
AT ITER 2887 NEW BEST:: SOT 137470 SOS 47023 HAS SOPS 47023 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 34981.023
AT ITER 2898 NEW BEST:: SOT 137470 SOS 46888 HAS SOPS 46888 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34845.888
AT ITER 2946 NEW BEST:: SOT 137511 SOS 46874 HAS SOPS 46874 HAS SOUS 34785 HAS SOUPS 34785 WITH SCORE 34831.874
AT ITER 2947 NEW BEST:: SOT 137517 SOS 46859 HAS SOPS 46859 HAS SOUS 34770 HAS SOUPS 34770 WITH SCORE 34816.859
AT ITER 2948 NEW BEST:: SOT 137505 SOS 46849 HAS SOPS 46849 HAS SOUS 34760 HAS SOUPS 34760 WITH SCORE 34806.849
AT ITER 2974 NEW BEST:: SOT 137537 SOS 46792 HAS SOPS 46792 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34749.792
AT ITER 3001 NEW BEST:: SOT 137526 SOS 46748 HAS SOPS 46748 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34675.748
AT ITER 3004 NEW BEST:: SOT 137469 SOS 46728 HAS SOPS 46728 HAS SOUS 34614 HAS SOUPS 34614 WITH SCORE 34660.728
AT ITER 3012 NEW BEST:: SOT 137469 SOS 46725 HAS SOPS 46725 HAS SOUS 34611 HAS SOUPS 34611 WITH SCORE 34657.725
AT ITER 3053 NEW BEST:: SOT 137468 SOS 46724 HAS SOPS 46724 HAS SOUS 34610 HAS SOUPS 34610 WITH SCORE 34656.724
AT ITER 3054 NEW BEST:: SOT 137466 SOS 46642 HAS SOPS 46642 HAS SOUS 34528 HAS SOUPS 34528 WITH SCORE 34574.642
AT ITER 3061 NEW BEST:: SOT 137456 SOS 46644 HAS SOPS 46644 HAS SOUS 34498 HAS SOUPS 34498 WITH SCORE 34544.644
AT ITER 3064 NEW BEST:: SOT 137478 SOS 46557 HAS SOPS 46557 HAS SOUS 34485 HAS SOUPS 34485 WITH SCORE 34531.557
AT ITER 3068 NEW BEST:: SOT 137456 SOS 46557 HAS SOPS 46557 HAS SOUS 34463 HAS SOUPS 34463 WITH SCORE 34509.557
AT ITER 3072 NEW BEST:: SOT 137276 SOS 46377 HAS SOPS 46377 HAS SOUS 34376 HAS SOUPS 34376 WITH SCORE 34422.377
AT ITER 3086 NEW BEST:: SOT 137272 SOS 46370 HAS SOPS 46370 HAS SOUS 34369 HAS SOUPS 34369 WITH SCORE 34415.37
AT ITER 3117 NEW BEST:: SOT 137311 SOS 46332 HAS SOPS 46332 HAS SOUS 34321 HAS SOUPS 34321 WITH SCORE 34367.332
AT ITER 3134 NEW BEST:: SOT 137271 SOS 46330 HAS SOPS 46330 HAS SOUS 34320 HAS SOUPS 34320 WITH SCORE 34366.33
AT ITER 3138 NEW BEST:: SOT 137249 SOS 46305 HAS SOPS 46305 HAS SOUS 34317 HAS SOUPS 34317 WITH SCORE 34363.305
AT ITER 3166 NEW BEST:: SOT 137195 SOS 46153 HAS SOPS 46153 HAS SOUS 34165 HAS SOUPS 34165 WITH SCORE 34211.153
AT ITER 3171 NEW BEST:: SOT 137163 SOS 46055 HAS SOPS 46055 HAS SOUS 34094 HAS SOUPS 34094 WITH SCORE 34140.055
AT ITER 3173 NEW BEST:: SOT 137163 SOS 46055 HAS SOPS 46055 HAS SOUS 34071 HAS SOUPS 34071 WITH SCORE 34117.055
AT ITER 3189 NEW BEST:: SOT 137116 SOS 46008 HAS SOPS 46008 HAS SOUS 34024 HAS SOUPS 34024 WITH SCORE 34070.008
AT ITER 3203 NEW BEST:: SOT 137054 SOS 45946 HAS SOPS 45946 HAS SOUS 33992 HAS SOUPS 33992 WITH SCORE 34037.946
AT ITER 3228 NEW BEST:: SOT 137082 SOS 45942 HAS SOPS 45942 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34029.942
AT ITER 3234 NEW BEST:: SOT 137082 SOS 45941 HAS SOPS 45941 HAS SOUS 33983 HAS SOUPS 33983 WITH SCORE 34028.941
AT ITER 3243 NEW BEST:: SOT 137082 SOS 45932 HAS SOPS 45932 HAS SOUS 33974 HAS SOUPS 33974 WITH SCORE 34019.932
AT ITER 3270 NEW BEST:: SOT 137076 SOS 45926 HAS SOPS 45926 HAS SOUS 33968 HAS SOUPS 33968 WITH SCORE 34013.926
AT ITER 3305 NEW BEST:: SOT 137042 SOS 45919 HAS SOPS 45919 HAS SOUS 33961 HAS SOUPS 33961 WITH SCORE 34006.919
AT ITER 3314 NEW BEST:: SOT 136990 SOS 45867 HAS SOPS 45867 HAS SOUS 33909 HAS SOUPS 33909 WITH SCORE 33954.867
AT ITER 3317 NEW BEST:: SOT 136926 SOS 45811 HAS SOPS 45811 HAS SOUS 33853 HAS SOUPS 33853 WITH SCORE 33898.811
AT ITER 3354 NEW BEST:: SOT 136969 SOS 45788 HAS SOPS 45788 HAS SOUS 33838 HAS SOUPS 33838 WITH SCORE 33883.788
AT ITER 3370 NEW BEST:: SOT 136972 SOS 45731 HAS SOPS 45731 HAS SOUS 33781 HAS SOUPS 33781 WITH SCORE 33826.731
AT ITER 3401 NEW BEST:: SOT 136972 SOS 45675 HAS SOPS 45675 HAS SOUS 33781 HAS SOUPS 33781 WITH SCORE 33826.675
AT ITER 3404 NEW BEST:: SOT 136972 SOS 45664 HAS SOPS 45664 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33804.664
AT ITER 3414 NEW BEST:: SOT 136960 SOS 45640 HAS SOPS 45640 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33780.64
AT ITER 3416 NEW BEST:: SOT 136960 SOS 45634 HAS SOPS 45634 HAS SOUS 33729 HAS SOUPS 33729 WITH SCORE 33774.634
AT ITER 3470 NEW BEST:: SOT 136945 SOS 45626 HAS SOPS 45626 HAS SOUS 33721 HAS SOUPS 33721 WITH SCORE 33766.626
AT ITER 3471 NEW BEST:: SOT 136934 SOS 45615 HAS SOPS 45615 HAS SOUS 33710 HAS SOUPS 33710 WITH SCORE 33755.615
AT ITER 3490 NEW BEST:: SOT 136836 SOS 45454 HAS SOPS 45454 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33731.454
AT ITER 3496 NEW BEST:: SOT 136915 SOS 45096 HAS SOPS 45096 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33578.096
AT ITER 3497 NEW BEST:: SOT 136879 SOS 45002 HAS SOPS 45002 HAS SOUS 33439 HAS SOUPS 33439 WITH SCORE 33484.002
AT ITER 3521 NEW BEST:: SOT 136855 SOS 44953 HAS SOPS 44953 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33359.953
AT ITER 3524 NEW BEST:: SOT 136851 SOS 44905 HAS SOPS 44905 HAS SOUS 33267 HAS SOUPS 33267 WITH SCORE 33311.905
AT ITER 3553 NEW BEST:: SOT 136844 SOS 44891 HAS SOPS 44891 HAS SOUS 33260 HAS SOUPS 33260 WITH SCORE 33304.891
AT ITER 3584 NEW BEST:: SOT 136787 SOS 44795 HAS SOPS 44795 HAS SOUS 33164 HAS SOUPS 33164 WITH SCORE 33208.795
AT ITER 3628 NEW BEST:: SOT 136778 SOS 44777 HAS SOPS 44777 HAS SOUS 33146 HAS SOUPS 33146 WITH SCORE 33190.777
AT ITER 3633 NEW BEST:: SOT 136687 SOS 44686 HAS SOPS 44686 HAS SOUS 33055 HAS SOUPS 33055 WITH SCORE 33099.686
AT ITER 3643 NEW BEST:: SOT 136670 SOS 44669 HAS SOPS 44669 HAS SOUS 33038 HAS SOUPS 33038 WITH SCORE 33082.669
AT ITER 3647 NEW BEST:: SOT 136647 SOS 44646 HAS SOPS 44646 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33059.646
AT ITER 3676 NEW BEST:: SOT 136557 SOS 44556 HAS SOPS 44556 HAS SOUS 32986 HAS SOUPS 32986 WITH SCORE 33030.556
AT ITER 3685 NEW BEST:: SOT 136501 SOS 44500 HAS SOPS 44500 HAS SOUS 32930 HAS SOUPS 32930 WITH SCORE 32974.5
AT ITER 3701 NEW BEST:: SOT 136477 SOS 44472 HAS SOPS 44472 HAS SOUS 32902 HAS SOUPS 32902 WITH SCORE 32946.472
AT ITER 3710 NEW BEST:: SOT 136454 SOS 44426 HAS SOPS 44426 HAS SOUS 32856 HAS SOUPS 32856 WITH SCORE 32900.426
AT ITER 3757 NEW BEST:: SOT 136425 SOS 44384 HAS SOPS 44384 HAS SOUS 32811 HAS SOUPS 32811 WITH SCORE 32855.384
AT ITER 3782 NEW BEST:: SOT 136386 SOS 44380 HAS SOPS 44380 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32851.38
AT ITER 3816 NEW BEST:: SOT 136367 SOS 44341 HAS SOPS 44341 HAS SOUS 32768 HAS SOUPS 32768 WITH SCORE 32812.341
AT ITER 3847 NEW BEST:: SOT 136353 SOS 44313 HAS SOPS 44313 HAS SOUS 32740 HAS SOUPS 32740 WITH SCORE 32784.313
AT ITER 3859 NEW BEST:: SOT 136348 SOS 44339 HAS SOPS 44339 HAS SOUS 32735 HAS SOUPS 32735 WITH SCORE 32779.339
AT ITER 3930 NEW BEST:: SOT 136356 SOS 44320 HAS SOPS 44320 HAS SOUS 32716 HAS SOUPS 32716 WITH SCORE 32760.32
AT ITER 3931 NEW BEST:: SOT 136348 SOS 44309 HAS SOPS 44309 HAS SOUS 32705 HAS SOUPS 32705 WITH SCORE 32749.309
AT ITER 3935 NEW BEST:: SOT 136348 SOS 44299 HAS SOPS 44299 HAS SOUS 32695 HAS SOUPS 32695 WITH SCORE 32739.299
AT ITER 3942 NEW BEST:: SOT 136344 SOS 44335 HAS SOPS 44335 HAS SOUS 32691 HAS SOUPS 32691 WITH SCORE 32735.335
AT ITER 3947 NEW BEST:: SOT 136326 SOS 44317 HAS SOPS 44317 HAS SOUS 32673 HAS SOUPS 32673 WITH SCORE 32717.317
AT ITER 3965 NEW BEST:: SOT 136300 SOS 44244 HAS SOPS 44244 HAS SOUS 32600 HAS SOUPS 32600 WITH SCORE 32644.244
AT ITER 3967 NEW BEST:: SOT 136267 SOS 44153 HAS SOPS 44153 HAS SOUS 32586 HAS SOUPS 32586 WITH SCORE 32630.153
AT ITER 3980 NEW BEST:: SOT 136254 SOS 44127 HAS SOPS 44127 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32604.127
AT ITER 3983 NEW BEST:: SOT 136196 SOS 44011 HAS SOPS 44011 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32546.011
AT ITER 3991 NEW BEST:: SOT 136194 SOS 44007 HAS SOPS 44007 HAS SOUS 32498 HAS SOUPS 32498 WITH SCORE 32542.007
AT ITER 3997 NEW BEST:: SOT 136217 SOS 44027 HAS SOPS 44027 HAS SOUS 32495 HAS SOUPS 32495 WITH SCORE 32539.027
AT ITER 4008 NEW BEST:: SOT 136245 SOS 44009 HAS SOPS 44009 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32475.009
AT ITER 4010 NEW BEST:: SOT 136245 SOS 44009 HAS SOPS 44009 HAS SOUS 32424 HAS SOUPS 32424 WITH SCORE 32468.009
AT ITER 4035 NEW BEST:: SOT 136220 SOS 43984 HAS SOPS 43984 HAS SOUS 32399 HAS SOUPS 32399 WITH SCORE 32442.984
AT ITER 4075 NEW BEST:: SOT 136207 SOS 43971 HAS SOPS 43971 HAS SOUS 32399 HAS SOUPS 32399 WITH SCORE 32442.971
AT ITER 4089 NEW BEST:: SOT 136196 SOS 43960 HAS SOPS 43960 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32431.96
AT ITER 4097 NEW BEST:: SOT 136190 SOS 43948 HAS SOPS 43948 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32419.948
AT ITER 4106 NEW BEST:: SOT 136112 SOS 43877 HAS SOPS 43877 HAS SOUS 32305 HAS SOUPS 32305 WITH SCORE 32348.877
AT ITER 4115 NEW BEST:: SOT 136112 SOS 43857 HAS SOPS 43857 HAS SOUS 32285 HAS SOUPS 32285 WITH SCORE 32328.857
AT ITER 4124 NEW BEST:: SOT 136110 SOS 43853 HAS SOPS 43853 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32324.853
AT ITER 4137 NEW BEST:: SOT 136109 SOS 43827 HAS SOPS 43827 HAS SOUS 32190 HAS SOUPS 32190 WITH SCORE 32233.827
AT ITER 4139 NEW BEST:: SOT 136107 SOS 43825 HAS SOPS 43825 HAS SOUS 32188 HAS SOUPS 32188 WITH SCORE 32231.825
AT ITER 4144 NEW BEST:: SOT 136091 SOS 43801 HAS SOPS 43801 HAS SOUS 32164 HAS SOUPS 32164 WITH SCORE 32207.801
AT ITER 4196 NEW BEST:: SOT 136069 SOS 43779 HAS SOPS 43779 HAS SOUS 32153 HAS SOUPS 32153 WITH SCORE 32196.779
AT ITER 4198 NEW BEST:: SOT 136087 SOS 43765 HAS SOPS 43765 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32182.765
AT ITER 4243 NEW BEST:: SOT 136100 SOS 43763 HAS SOPS 43763 HAS SOUS 32137 HAS SOUPS 32137 WITH SCORE 32180.763
AT ITER 4244 NEW BEST:: SOT 136111 SOS 43688 HAS SOPS 43688 HAS SOUS 32129 HAS SOUPS 32129 WITH SCORE 32172.688
AT ITER 4263 NEW BEST:: SOT 136060 SOS 43585 HAS SOPS 43585 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32069.585
AT ITER 4264 NEW BEST:: SOT 136074 SOS 43518 HAS SOPS 43518 HAS SOUS 31959 HAS SOUPS 31959 WITH SCORE 32002.518
AT ITER 4282 NEW BEST:: SOT 136073 SOS 43503 HAS SOPS 43503 HAS SOUS 31944 HAS SOUPS 31944 WITH SCORE 31987.503
AT ITER 4287 NEW BEST:: SOT 136069 SOS 43497 HAS SOPS 43497 HAS SOUS 31938 HAS SOUPS 31938 WITH SCORE 31981.497
AT ITER 4291 NEW BEST:: SOT 136079 SOS 43355 HAS SOPS 43355 HAS SOUS 31928 HAS SOUPS 31928 WITH SCORE 31971.355
AT ITER 4305 NEW BEST:: SOT 135965 SOS 43304 HAS SOPS 43304 HAS SOUS 31885 HAS SOUPS 31885 WITH SCORE 31928.304
AT ITER 4316 NEW BEST:: SOT 135932 SOS 43238 HAS SOPS 43238 HAS SOUS 31866 HAS SOUPS 31866 WITH SCORE 31909.238
AT ITER 4319 NEW BEST:: SOT 135932 SOS 43222 HAS SOPS 43222 HAS SOUS 31850 HAS SOUPS 31850 WITH SCORE 31893.222
AT ITER 4320 NEW BEST:: SOT 135932 SOS 43222 HAS SOPS 43222 HAS SOUS 31849 HAS SOUPS 31849 WITH SCORE 31892.222
AT ITER 4334 NEW BEST:: SOT 135932 SOS 43213 HAS SOPS 43213 HAS SOUS 31840 HAS SOUPS 31840 WITH SCORE 31883.213
AT ITER 4336 NEW BEST:: SOT 135924 SOS 43197 HAS SOPS 43197 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31867.197
AT ITER 4365 NEW BEST:: SOT 135907 SOS 43180 HAS SOPS 43180 HAS SOUS 31807 HAS SOUPS 31807 WITH SCORE 31850.18
AT ITER 4385 NEW BEST:: SOT 135926 SOS 43033 HAS SOPS 43033 HAS SOUS 31660 HAS SOUPS 31660 WITH SCORE 31703.033
AT ITER 4386 NEW BEST:: SOT 135814 SOS 43022 HAS SOPS 43022 HAS SOUS 31649 HAS SOUPS 31649 WITH SCORE 31692.022
AT ITER 4400 NEW BEST:: SOT 135768 SOS 42951 HAS SOPS 42951 HAS SOUS 31603 HAS SOUPS 31603 WITH SCORE 31645.951
AT ITER 4401 NEW BEST:: SOT 135764 SOS 42939 HAS SOPS 42939 HAS SOUS 31599 HAS SOUPS 31599 WITH SCORE 31641.939
AT ITER 4404 NEW BEST:: SOT 135704 SOS 42823 HAS SOPS 42823 HAS SOUS 31483 HAS SOUPS 31483 WITH SCORE 31525.823
AT ITER 4418 NEW BEST:: SOT 135677 SOS 42796 HAS SOPS 42796 HAS SOUS 31456 HAS SOUPS 31456 WITH SCORE 31498.796
AT ITER 4445 NEW BEST:: SOT 135633 SOS 42749 HAS SOPS 42749 HAS SOUS 31453 HAS SOUPS 31453 WITH SCORE 31495.749
AT ITER 4491 NEW BEST:: SOT 135644 SOS 42751 HAS SOPS 42751 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31486.751
AT ITER 4496 NEW BEST:: SOT 135626 SOS 42715 HAS SOPS 42715 HAS SOUS 31378 HAS SOUPS 31378 WITH SCORE 31420.715
AT ITER 4501 NEW BEST:: SOT 135626 SOS 42711 HAS SOPS 42711 HAS SOUS 31374 HAS SOUPS 31374 WITH SCORE 31416.711
AT ITER 4505 NEW BEST:: SOT 135626 SOS 42701 HAS SOPS 42701 HAS SOUS 31359 HAS SOUPS 31359 WITH SCORE 31401.701
AT ITER 4514 NEW BEST:: SOT 135575 SOS 42688 HAS SOPS 42688 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31388.688
AT ITER 4539 NEW BEST:: SOT 135577 SOS 42690 HAS SOPS 42690 HAS SOUS 31341 HAS SOUPS 31341 WITH SCORE 31383.69
AT ITER 4552 NEW BEST:: SOT 135571 SOS 42684 HAS SOPS 42684 HAS SOUS 31335 HAS SOUPS 31335 WITH SCORE 31377.684
AT ITER 4563 NEW BEST:: SOT 135560 SOS 42662 HAS SOPS 42662 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31355.662
AT ITER 4614 NEW BEST:: SOT 135512 SOS 42596 HAS SOPS 42596 HAS SOUS 31247 HAS SOUPS 31247 WITH SCORE 31289.596
AT ITER 4627 NEW BEST:: SOT 135500 SOS 42570 HAS SOPS 42570 HAS SOUS 31221 HAS SOUPS 31221 WITH SCORE 31263.57
AT ITER 4646 NEW BEST:: SOT 135496 SOS 42566 HAS SOPS 42566 HAS SOUS 31217 HAS SOUPS 31217 WITH SCORE 31259.566
AT ITER 4647 NEW BEST:: SOT 135471 SOS 42535 HAS SOPS 42535 HAS SOUS 31186 HAS SOUPS 31186 WITH SCORE 31228.535
AT ITER 4662 NEW BEST:: SOT 135563 SOS 42533 HAS SOPS 42533 HAS SOUS 31184 HAS SOUPS 31184 WITH SCORE 31226.533
AT ITER 4668 NEW BEST:: SOT 135563 SOS 42532 HAS SOPS 42532 HAS SOUS 31183 HAS SOUPS 31183 WITH SCORE 31225.532
AT ITER 4701 NEW BEST:: SOT 135595 SOS 42531 HAS SOPS 42531 HAS SOUS 31182 HAS SOUPS 31182 WITH SCORE 31224.531
AT ITER 4722 NEW BEST:: SOT 135593 SOS 42535 HAS SOPS 42535 HAS SOUS 31179 HAS SOUPS 31179 WITH SCORE 31221.535
AT ITER 4730 NEW BEST:: SOT 135510 SOS 42424 HAS SOPS 42424 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31110.424
AT ITER 4754 NEW BEST:: SOT 135515 SOS 42330 HAS SOPS 42330 HAS SOUS 31051 HAS SOUPS 31051 WITH SCORE 31093.33
AT ITER 4781 NEW BEST:: SOT 135513 SOS 42328 HAS SOPS 42328 HAS SOUS 31049 HAS SOUPS 31049 WITH SCORE 31091.328
AT ITER 4815 NEW BEST:: SOT 135507 SOS 42319 HAS SOPS 42319 HAS SOUS 31040 HAS SOUPS 31040 WITH SCORE 31082.319
AT ITER 4827 NEW BEST:: SOT 135668 SOS 42306 HAS SOPS 42306 HAS SOUS 31027 HAS SOUPS 31027 WITH SCORE 31069.306
AT ITER 4835 NEW BEST:: SOT 135677 SOS 42324 HAS SOPS 42324 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31042.324
AT ITER 4848 NEW BEST:: SOT 135677 SOS 42320 HAS SOPS 42320 HAS SOUS 30996 HAS SOUPS 30996 WITH SCORE 31038.32
AT ITER 4861 NEW BEST:: SOT 135615 SOS 42260 HAS SOPS 42260 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31010.26
AT ITER 4883 NEW BEST:: SOT 135613 SOS 42250 HAS SOPS 42250 HAS SOUS 30958 HAS SOUPS 30958 WITH SCORE 31000.25
AT ITER 4885 NEW BEST:: SOT 135612 SOS 42249 HAS SOPS 42249 HAS SOUS 30938 HAS SOUPS 30938 WITH SCORE 30980.249
AT ITER 4903 NEW BEST:: SOT 135508 SOS 42145 HAS SOPS 42145 HAS SOUS 30886 HAS SOUPS 30886 WITH SCORE 30928.145
AT ITER 4950 NEW BEST:: SOT 135501 SOS 42138 HAS SOPS 42138 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30921.138
AT ITER 4953 NEW BEST:: SOT 135390 SOS 42082 HAS SOPS 42082 HAS SOUS 30823 HAS SOUPS 30823 WITH SCORE 30865.082
AT ITER 4965 NEW BEST:: SOT 135450 SOS 42073 HAS SOPS 42073 HAS SOUS 30745 HAS SOUPS 30745 WITH SCORE 30787.073
AT ITER 4977 NEW BEST:: SOT 135398 SOS 41969 HAS SOPS 41969 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30772.969
AT ITER 4987 NEW BEST:: SOT 135357 SOS 41933 HAS SOPS 41933 HAS SOUS 30695 HAS SOUPS 30695 WITH SCORE 30736.933
AT ITER 4989 NEW BEST:: SOT 135357 SOS 41932 HAS SOPS 41932 HAS SOUS 30694 HAS SOUPS 30694 WITH SCORE 30735.932
AT ITER 4994 NEW BEST:: SOT 135378 SOS 41953 HAS SOPS 41953 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30689.953
AT ITER 5000 NEW BEST:: SOT 135378 SOS 41953 HAS SOPS 41953 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30688.953
AT ITER 5010 NEW BEST:: SOT 135378 SOS 41953 HAS SOPS 41953 HAS SOUS 30638 HAS SOUPS 30638 WITH SCORE 30679.953
AT ITER 5020 NEW BEST:: SOT 135366 SOS 41936 HAS SOPS 41936 HAS SOUS 30621 HAS SOUPS 30621 WITH SCORE 30662.936
AT ITER 5021 NEW BEST:: SOT 135352 SOS 41908 HAS SOPS 41908 HAS SOUS 30611 HAS SOUPS 30611 WITH SCORE 30652.908
AT ITER 5032 NEW BEST:: SOT 135349 SOS 41902 HAS SOPS 41902 HAS SOUS 30601 HAS SOUPS 30601 WITH SCORE 30642.902
AT ITER 5052 NEW BEST:: SOT 135348 SOS 41900 HAS SOPS 41900 HAS SOUS 30600 HAS SOUPS 30600 WITH SCORE 30641.9
AT ITER 5065 NEW BEST:: SOT 135377 SOS 41927 HAS SOPS 41927 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30636.927
AT ITER 5066 NEW BEST:: SOT 135377 SOS 41927 HAS SOPS 41927 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30628.927
AT ITER 5108 NEW BEST:: SOT 135365 SOS 41915 HAS SOPS 41915 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30610.915
AT ITER 5112 NEW BEST:: SOT 135360 SOS 41905 HAS SOPS 41905 HAS SOUS 30551 HAS SOUPS 30551 WITH SCORE 30592.905
AT ITER 5115 NEW BEST:: SOT 135300 SOS 41837 HAS SOPS 41837 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30524.837
AT ITER 5160 NEW BEST:: SOT 135298 SOS 41834 HAS SOPS 41834 HAS SOUS 30480 HAS SOUPS 30480 WITH SCORE 30521.834
AT ITER 5171 NEW BEST:: SOT 135295 SOS 41828 HAS SOPS 41828 HAS SOUS 30474 HAS SOUPS 30474 WITH SCORE 30515.828
AT ITER 5212 NEW BEST:: SOT 135295 SOS 41812 HAS SOPS 41812 HAS SOUS 30458 HAS SOUPS 30458 WITH SCORE 30499.812
AT ITER 5217 NEW BEST:: SOT 135216 SOS 41771 HAS SOPS 41771 HAS SOUS 30417 HAS SOUPS 30417 WITH SCORE 30458.771
AT ITER 5242 NEW BEST:: SOT 135215 SOS 41769 HAS SOPS 41769 HAS SOUS 30415 HAS SOUPS 30415 WITH SCORE 30456.769
AT ITER 5269 NEW BEST:: SOT 135186 SOS 41719 HAS SOPS 41719 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 30406.719
AT ITER 5278 NEW BEST:: SOT 135158 SOS 41702 HAS SOPS 41702 HAS SOUS 30348 HAS SOUPS 30348 WITH SCORE 30389.702
AT ITER 5289 NEW BEST:: SOT 135164 SOS 41696 HAS SOPS 41696 HAS SOUS 30315 HAS SOUPS 30315 WITH SCORE 30356.696
AT ITER 5294 NEW BEST:: SOT 135165 SOS 41685 HAS SOPS 41685 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 30332.685
AT ITER 5298 NEW BEST:: SOT 135130 SOS 41606 HAS SOPS 41606 HAS SOUS 30208 HAS SOUPS 30208 WITH SCORE 30249.606
AT ITER 5316 NEW BEST:: SOT 135132 SOS 41578 HAS SOPS 41578 HAS SOUS 30180 HAS SOUPS 30180 WITH SCORE 30221.578
AT ITER 5326 NEW BEST:: SOT 135131 SOS 41576 HAS SOPS 41576 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30219.576
AT ITER 5349 NEW BEST:: SOT 135137 SOS 41578 HAS SOPS 41578 HAS SOUS 30176 HAS SOUPS 30176 WITH SCORE 30217.578
AT ITER 5353 NEW BEST:: SOT 135041 SOS 41501 HAS SOPS 41501 HAS SOUS 30099 HAS SOUPS 30099 WITH SCORE 30140.501
AT ITER 5383 NEW BEST:: SOT 135006 SOS 41018 HAS SOPS 41018 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30070.018
AT ITER 5384 NEW BEST:: SOT 135006 SOS 41018 HAS SOPS 41018 HAS SOUS 30022 HAS SOUPS 30022 WITH SCORE 30063.018
AT ITER 5385 NEW BEST:: SOT 135004 SOS 41008 HAS SOPS 41008 HAS SOUS 30018 HAS SOUPS 30018 WITH SCORE 30059.008
AT ITER 5409 NEW BEST:: SOT 134969 SOS 40944 HAS SOPS 40944 HAS SOUS 29978 HAS SOUPS 29978 WITH SCORE 30018.944
AT ITER 5421 NEW BEST:: SOT 134918 SOS 40869 HAS SOPS 40869 HAS SOUS 29903 HAS SOUPS 29903 WITH SCORE 29943.869
AT ITER 5425 NEW BEST:: SOT 134914 SOS 40842 HAS SOPS 40842 HAS SOUS 29898 HAS SOUPS 29898 WITH SCORE 29938.842
AT ITER 5428 NEW BEST:: SOT 134914 SOS 40834 HAS SOPS 40834 HAS SOUS 29890 HAS SOUPS 29890 WITH SCORE 29930.834
AT ITER 5437 NEW BEST:: SOT 134778 SOS 40740 HAS SOPS 40740 HAS SOUS 29771 HAS SOUPS 29771 WITH SCORE 29811.74
AT ITER 5473 NEW BEST:: SOT 134774 SOS 40715 HAS SOPS 40715 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29791.715
AT ITER 5507 NEW BEST:: SOT 134751 SOS 40692 HAS SOPS 40692 HAS SOUS 29728 HAS SOUPS 29728 WITH SCORE 29768.692
AT ITER 5515 NEW BEST:: SOT 134738 SOS 40678 HAS SOPS 40678 HAS SOUS 29726 HAS SOUPS 29726 WITH SCORE 29766.678
AT ITER 5541 NEW BEST:: SOT 134731 SOS 40656 HAS SOPS 40656 HAS SOUS 29704 HAS SOUPS 29704 WITH SCORE 29744.656
AT ITER 5558 NEW BEST:: SOT 134711 SOS 40636 HAS SOPS 40636 HAS SOUS 29704 HAS SOUPS 29704 WITH SCORE 29744.636
AT ITER 5581 NEW BEST:: SOT 134663 SOS 40566 HAS SOPS 40566 HAS SOUS 29634 HAS SOUPS 29634 WITH SCORE 29674.566
AT ITER 5609 NEW BEST:: SOT 134662 SOS 40532 HAS SOPS 40532 HAS SOUS 29632 HAS SOUPS 29632 WITH SCORE 29672.532
AT ITER 5640 NEW BEST:: SOT 134654 SOS 40516 HAS SOPS 40516 HAS SOUS 29616 HAS SOUPS 29616 WITH SCORE 29656.516
AT ITER 5650 NEW BEST:: SOT 134628 SOS 40482 HAS SOPS 40482 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29649.482
AT ITER 5677 NEW BEST:: SOT 134578 SOS 40484 HAS SOPS 40484 HAS SOUS 29561 HAS SOUPS 29561 WITH SCORE 29601.484
AT ITER 5707 NEW BEST:: SOT 134586 SOS 40490 HAS SOPS 40490 HAS SOUS 29557 HAS SOUPS 29557 WITH SCORE 29597.49
AT ITER 5718 NEW BEST:: SOT 134596 SOS 40500 HAS SOPS 40500 HAS SOUS 29541 HAS SOUPS 29541 WITH SCORE 29581.5
AT ITER 5722 NEW BEST:: SOT 134592 SOS 40496 HAS SOPS 40496 HAS SOUS 29539 HAS SOUPS 29539 WITH SCORE 29579.496
AT ITER 5743 NEW BEST:: SOT 134589 SOS 40490 HAS SOPS 40490 HAS SOUS 29533 HAS SOUPS 29533 WITH SCORE 29573.49
AT ITER 5746 NEW BEST:: SOT 134577 SOS 40472 HAS SOPS 40472 HAS SOUS 29515 HAS SOUPS 29515 WITH SCORE 29555.472
AT ITER 5766 NEW BEST:: SOT 134577 SOS 40452 HAS SOPS 40452 HAS SOUS 29515 HAS SOUPS 29515 WITH SCORE 29555.452
AT ITER 5791 NEW BEST:: SOT 134565 SOS 40440 HAS SOPS 40440 HAS SOUS 29503 HAS SOUPS 29503 WITH SCORE 29543.44
AT ITER 5807 NEW BEST:: SOT 134478 SOS 40245 HAS SOPS 40245 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29461.245
AT ITER 5836 NEW BEST:: SOT 134462 SOS 40229 HAS SOPS 40229 HAS SOUS 29405 HAS SOUPS 29405 WITH SCORE 29445.229
AT ITER 5858 NEW BEST:: SOT 134452 SOS 40212 HAS SOPS 40212 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29428.212
AT ITER 5903 NEW BEST:: SOT 134441 SOS 40201 HAS SOPS 40201 HAS SOUS 29377 HAS SOUPS 29377 WITH SCORE 29417.201
AT ITER 5942 NEW BEST:: SOT 134430 SOS 40182 HAS SOPS 40182 HAS SOUS 29358 HAS SOUPS 29358 WITH SCORE 29398.182
AT ITER 5953 NEW BEST:: SOT 134434 SOS 40166 HAS SOPS 40166 HAS SOUS 29347 HAS SOUPS 29347 WITH SCORE 29387.166
AT ITER 5968 NEW BEST:: SOT 134432 SOS 40162 HAS SOPS 40162 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29385.162
AT ITER 6014 NEW BEST:: SOT 134430 SOS 40158 HAS SOPS 40158 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29381.158
AT ITER 6048 NEW BEST:: SOT 134416 SOS 40130 HAS SOPS 40130 HAS SOUS 29313 HAS SOUPS 29313 WITH SCORE 29353.13
AT ITER 6083 NEW BEST:: SOT 134428 SOS 40114 HAS SOPS 40114 HAS SOUS 29305 HAS SOUPS 29305 WITH SCORE 29345.114
AT ITER 6085 NEW BEST:: SOT 134402 SOS 39874 HAS SOPS 39874 HAS SOUS 29189 HAS SOUPS 29189 WITH SCORE 29228.874
AT ITER 6093 NEW BEST:: SOT 134380 SOS 39840 HAS SOPS 39840 HAS SOUS 29163 HAS SOUPS 29163 WITH SCORE 29202.84
AT ITER 6101 NEW BEST:: SOT 134368 SOS 39828 HAS SOPS 39828 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29189.828
AT ITER 6138 NEW BEST:: SOT 134349 SOS 39955 HAS SOPS 39955 HAS SOUS 29120 HAS SOUPS 29120 WITH SCORE 29159.955
AT ITER 6171 NEW BEST:: SOT 134357 SOS 39886 HAS SOPS 39886 HAS SOUS 29068 HAS SOUPS 29068 WITH SCORE 29107.886
AT ITER 6201 NEW BEST:: SOT 134341 SOS 39886 HAS SOPS 39886 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29091.886
AT ITER 6237 NEW BEST:: SOT 134341 SOS 39834 HAS SOPS 39834 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29091.834
AT ITER 6257 NEW BEST:: SOT 134340 SOS 39830 HAS SOPS 39830 HAS SOUS 29046 HAS SOUPS 29046 WITH SCORE 29085.83
AT ITER 6275 NEW BEST:: SOT 134332 SOS 39830 HAS SOPS 39830 HAS SOUS 29038 HAS SOUPS 29038 WITH SCORE 29077.83
AT ITER 6291 NEW BEST:: SOT 134290 SOS 39746 HAS SOPS 39746 HAS SOUS 28954 HAS SOUPS 28954 WITH SCORE 28993.746
AT ITER 6296 NEW BEST:: SOT 134278 SOS 39722 HAS SOPS 39722 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 28975.722
AT ITER 6328 NEW BEST:: SOT 134228 SOS 39675 HAS SOPS 39675 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 28975.675
AT ITER 6329 NEW BEST:: SOT 134111 SOS 39470 HAS SOPS 39470 HAS SOUS 28764 HAS SOUPS 28764 WITH SCORE 28803.47
AT ITER 6353 NEW BEST:: SOT 134077 SOS 39436 HAS SOPS 39436 HAS SOUS 28730 HAS SOUPS 28730 WITH SCORE 28769.436
AT ITER 6360 NEW BEST:: SOT 134068 SOS 39427 HAS SOPS 39427 HAS SOUS 28721 HAS SOUPS 28721 WITH SCORE 28760.427
AT ITER 6361 NEW BEST:: SOT 134068 SOS 39422 HAS SOPS 39422 HAS SOUS 28711 HAS SOUPS 28711 WITH SCORE 28750.422
AT ITER 6370 NEW BEST:: SOT 134068 SOS 39415 HAS SOPS 39415 HAS SOUS 28704 HAS SOUPS 28704 WITH SCORE 28743.415
AT ITER 6419 NEW BEST:: SOT 134068 SOS 39406 HAS SOPS 39406 HAS SOUS 28700 HAS SOUPS 28700 WITH SCORE 28739.406
AT ITER 6420 NEW BEST:: SOT 134109 SOS 39434 HAS SOPS 39434 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28730.434
AT ITER 6507 NEW BEST:: SOT 134094 SOS 39419 HAS SOPS 39419 HAS SOUS 28676 HAS SOUPS 28676 WITH SCORE 28715.419
AT ITER 6520 NEW BEST:: SOT 134021 SOS 39370 HAS SOPS 39370 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28662.37
AT ITER 6529 NEW BEST:: SOT 134021 SOS 39356 HAS SOPS 39356 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28662.356
AT ITER 6540 NEW BEST:: SOT 134021 SOS 39356 HAS SOPS 39356 HAS SOUS 28567 HAS SOUPS 28567 WITH SCORE 28606.356
AT ITER 6555 NEW BEST:: SOT 134019 SOS 39352 HAS SOPS 39352 HAS SOUS 28563 HAS SOUPS 28563 WITH SCORE 28602.352
AT ITER 6563 NEW BEST:: SOT 134019 SOS 39350 HAS SOPS 39350 HAS SOUS 28559 HAS SOUPS 28559 WITH SCORE 28598.35
AT ITER 6580 NEW BEST:: SOT 134019 SOS 39246 HAS SOPS 39246 HAS SOUS 28542 HAS SOUPS 28542 WITH SCORE 28581.246
AT ITER 6593 NEW BEST:: SOT 134017 SOS 39244 HAS SOPS 39244 HAS SOUS 28540 HAS SOUPS 28540 WITH SCORE 28579.244
AT ITER 6633 NEW BEST:: SOT 134019 SOS 39246 HAS SOPS 39246 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28572.246
AT ITER 6640 NEW BEST:: SOT 133980 SOS 39183 HAS SOPS 39183 HAS SOUS 28456 HAS SOUPS 28456 WITH SCORE 28495.183
AT ITER 6661 NEW BEST:: SOT 133969 SOS 39161 HAS SOPS 39161 HAS SOUS 28434 HAS SOUPS 28434 WITH SCORE 28473.161
AT ITER 6690 NEW BEST:: SOT 133973 SOS 39135 HAS SOPS 39135 HAS SOUS 28408 HAS SOUPS 28408 WITH SCORE 28447.135
AT ITER 6692 NEW BEST:: SOT 133959 SOS 39117 HAS SOPS 39117 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28429.117
AT ITER 6699 NEW BEST:: SOT 133918 SOS 39083 HAS SOPS 39083 HAS SOUS 28356 HAS SOUPS 28356 WITH SCORE 28395.083
AT ITER 6707 NEW BEST:: SOT 133924 SOS 39089 HAS SOPS 39089 HAS SOUS 28351 HAS SOUPS 28351 WITH SCORE 28390.089
AT ITER 6709 NEW BEST:: SOT 133909 SOS 39055 HAS SOPS 39055 HAS SOUS 28317 HAS SOUPS 28317 WITH SCORE 28356.055
AT ITER 6718 NEW BEST:: SOT 133875 SOS 39019 HAS SOPS 39019 HAS SOUS 28281 HAS SOUPS 28281 WITH SCORE 28320.019
AT ITER 6723 NEW BEST:: SOT 133894 SOS 39057 HAS SOPS 39057 HAS SOUS 28275 HAS SOUPS 28275 WITH SCORE 28314.057
AT ITER 6770 NEW BEST:: SOT 133881 SOS 39046 HAS SOPS 39046 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28301.046
AT ITER 6846 NEW BEST:: SOT 133879 SOS 39028 HAS SOPS 39028 HAS SOUS 28244 HAS SOUPS 28244 WITH SCORE 28283.028
AT ITER 6854 NEW BEST:: SOT 133782 SOS 38931 HAS SOPS 38931 HAS SOUS 28197 HAS SOUPS 28197 WITH SCORE 28235.931
AT ITER 6909 NEW BEST:: SOT 133767 SOS 38826 HAS SOPS 38826 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28205.826
AT ITER 6929 NEW BEST:: SOT 133745 SOS 38804 HAS SOPS 38804 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28205.804
AT ITER 6930 NEW BEST:: SOT 133750 SOS 38747 HAS SOPS 38747 HAS SOUS 28125 HAS SOUPS 28125 WITH SCORE 28163.747
AT ITER 6938 NEW BEST:: SOT 133747 SOS 38741 HAS SOPS 38741 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28157.741
AT ITER 6955 NEW BEST:: SOT 133621 SOS 38634 HAS SOPS 38634 HAS SOUS 28069 HAS SOUPS 28069 WITH SCORE 28107.634
AT ITER 6963 NEW BEST:: SOT 133621 SOS 38625 HAS SOPS 38625 HAS SOUS 28060 HAS SOUPS 28060 WITH SCORE 28098.625
AT ITER 6970 NEW BEST:: SOT 133600 SOS 38587 HAS SOPS 38587 HAS SOUS 28022 HAS SOUPS 28022 WITH SCORE 28060.587
AT ITER 6973 NEW BEST:: SOT 133598 SOS 38583 HAS SOPS 38583 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28056.583
AT ITER 6978 NEW BEST:: SOT 133582 SOS 38547 HAS SOPS 38547 HAS SOUS 27982 HAS SOUPS 27982 WITH SCORE 28020.547
AT ITER 6989 NEW BEST:: SOT 133567 SOS 38527 HAS SOPS 38527 HAS SOUS 27972 HAS SOUPS 27972 WITH SCORE 28010.527
AT ITER 6995 NEW BEST:: SOT 133565 SOS 38524 HAS SOPS 38524 HAS SOUS 27969 HAS SOUPS 27969 WITH SCORE 28007.524
AT ITER 7103 NEW BEST:: SOT 133582 SOS 38538 HAS SOPS 38538 HAS SOUS 27963 HAS SOUPS 27963 WITH SCORE 28001.538
AT ITER 7104 NEW BEST:: SOT 133582 SOS 38529 HAS SOPS 38529 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27992.529
AT ITER 7124 NEW BEST:: SOT 133574 SOS 38513 HAS SOPS 38513 HAS SOUS 27938 HAS SOUPS 27938 WITH SCORE 27976.513
AT ITER 7149 NEW BEST:: SOT 133570 SOS 38509 HAS SOPS 38509 HAS SOUS 27934 HAS SOUPS 27934 WITH SCORE 27972.509
AT ITER 7190 NEW BEST:: SOT 133556 SOS 38481 HAS SOPS 38481 HAS SOUS 27921 HAS SOUPS 27921 WITH SCORE 27959.481
AT ITER 7227 NEW BEST:: SOT 133542 SOS 38453 HAS SOPS 38453 HAS SOUS 27893 HAS SOUPS 27893 WITH SCORE 27931.453
AT ITER 7244 NEW BEST:: SOT 133464 SOS 38385 HAS SOPS 38385 HAS SOUS 27830 HAS SOUPS 27830 WITH SCORE 27868.385
AT ITER 7276 NEW BEST:: SOT 133464 SOS 38383 HAS SOPS 38383 HAS SOUS 27830 HAS SOUPS 27830 WITH SCORE 27868.383
AT ITER 7311 NEW BEST:: SOT 133464 SOS 38368 HAS SOPS 38368 HAS SOUS 27812 HAS SOUPS 27812 WITH SCORE 27850.368
AT ITER 7327 NEW BEST:: SOT 133462 SOS 38366 HAS SOPS 38366 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27848.366
AT ITER 7377 NEW BEST:: SOT 133428 SOS 38317 HAS SOPS 38317 HAS SOUS 27778 HAS SOUPS 27778 WITH SCORE 27816.317
AT ITER 7391 NEW BEST:: SOT 133403 SOS 38292 HAS SOPS 38292 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27774.292
AT ITER 7408 NEW BEST:: SOT 133381 SOS 38269 HAS SOPS 38269 HAS SOUS 27734 HAS SOUPS 27734 WITH SCORE 27772.269
AT ITER 7415 NEW BEST:: SOT 133381 SOS 38238 HAS SOPS 38238 HAS SOUS 27672 HAS SOUPS 27672 WITH SCORE 27710.238
AT ITER 7421 NEW BEST:: SOT 133365 SOS 38222 HAS SOPS 38222 HAS SOUS 27656 HAS SOUPS 27656 WITH SCORE 27694.222
AT ITER 7455 NEW BEST:: SOT 133389 SOS 38222 HAS SOPS 38222 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27687.222
AT ITER 7491 NEW BEST:: SOT 133341 SOS 38174 HAS SOPS 38174 HAS SOUS 27622 HAS SOUPS 27622 WITH SCORE 27660.174
AT ITER 7499 NEW BEST:: SOT 133341 SOS 38163 HAS SOPS 38163 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27649.163
AT ITER 7527 NEW BEST:: SOT 133308 SOS 38127 HAS SOPS 38127 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27613.127
AT ITER 7552 NEW BEST:: SOT 133287 SOS 38115 HAS SOPS 38115 HAS SOUS 27563 HAS SOUPS 27563 WITH SCORE 27601.115
AT ITER 7554 NEW BEST:: SOT 133298 SOS 38051 HAS SOPS 38051 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27537.051
AT ITER 7605 NEW BEST:: SOT 133271 SOS 37997 HAS SOPS 37997 HAS SOUS 27472 HAS SOUPS 27472 WITH SCORE 27509.997
AT ITER 7629 NEW BEST:: SOT 133263 SOS 37989 HAS SOPS 37989 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27501.989
AT ITER 7660 NEW BEST:: SOT 133274 SOS 38043 HAS SOPS 38043 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27493.043
AT ITER 7664 NEW BEST:: SOT 133264 SOS 38033 HAS SOPS 38033 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27493.033
AT ITER 7677 NEW BEST:: SOT 133265 SOS 38035 HAS SOPS 38035 HAS SOUS 27453 HAS SOUPS 27453 WITH SCORE 27491.035
AT ITER 7699 NEW BEST:: SOT 133264 SOS 38033 HAS SOPS 38033 HAS SOUS 27451 HAS SOUPS 27451 WITH SCORE 27489.033
AT ITER 7710 NEW BEST:: SOT 133258 SOS 38475 HAS SOPS 38475 HAS SOUS 27445 HAS SOUPS 27445 WITH SCORE 27483.475
AT ITER 7740 NEW BEST:: SOT 133245 SOS 38470 HAS SOPS 38470 HAS SOUS 27433 HAS SOUPS 27433 WITH SCORE 27471.47
AT ITER 7775 NEW BEST:: SOT 133252 SOS 38484 HAS SOPS 38484 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27467.484
AT ITER 7781 NEW BEST:: SOT 133193 SOS 38467 HAS SOPS 38467 HAS SOUS 27337 HAS SOUPS 27337 WITH SCORE 27375.467
AT ITER 7787 NEW BEST:: SOT 133185 SOS 38451 HAS SOPS 38451 HAS SOUS 27321 HAS SOUPS 27321 WITH SCORE 27359.451
AT ITER 7859 NEW BEST:: SOT 133176 SOS 38441 HAS SOPS 38441 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27349.441
AT ITER 7866 NEW BEST:: SOT 133175 SOS 38427 HAS SOPS 38427 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27335.427
AT ITER 7880 NEW BEST:: SOT 133174 SOS 38425 HAS SOPS 38425 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27333.425
AT ITER 7902 NEW BEST:: SOT 133188 SOS 38439 HAS SOPS 38439 HAS SOUS 27289 HAS SOUPS 27289 WITH SCORE 27327.439
AT ITER 7937 NEW BEST:: SOT 133173 SOS 38414 HAS SOPS 38414 HAS SOUS 27279 HAS SOUPS 27279 WITH SCORE 27317.414
AT ITER 7961 NEW BEST:: SOT 133173 SOS 38390 HAS SOPS 38390 HAS SOUS 27267 HAS SOUPS 27267 WITH SCORE 27305.39
AT ITER 8009 NEW BEST:: SOT 133153 SOS 38350 HAS SOPS 38350 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27265.35
AT ITER 8023 NEW BEST:: SOT 133126 SOS 38296 HAS SOPS 38296 HAS SOUS 27221 HAS SOUPS 27221 WITH SCORE 27259.296
AT ITER 8024 NEW BEST:: SOT 133120 SOS 38290 HAS SOPS 38290 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27237.29
AT ITER 8035 NEW BEST:: SOT 133154 SOS 38280 HAS SOPS 38280 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27237.28
AT ITER 8068 NEW BEST:: SOT 133129 SOS 38317 HAS SOPS 38317 HAS SOUS 27174 HAS SOUPS 27174 WITH SCORE 27212.317
AT ITER 8085 NEW BEST:: SOT 133123 SOS 38272 HAS SOPS 38272 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27203.272
AT ITER 8194 NEW BEST:: SOT 133061 SOS 38244 HAS SOPS 38244 HAS SOUS 27133 HAS SOUPS 27133 WITH SCORE 27171.244
AT ITER 8205 NEW BEST:: SOT 133112 SOS 38194 HAS SOPS 38194 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27121.194
AT ITER 8207 NEW BEST:: SOT 133115 SOS 38174 HAS SOPS 38174 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27101.174
AT ITER 8237 NEW BEST:: SOT 133079 SOS 38250 HAS SOPS 38250 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27066.25
AT ITER 8238 NEW BEST:: SOT 133076 SOS 38244 HAS SOPS 38244 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27060.244
AT ITER 8254 NEW BEST:: SOT 133069 SOS 38237 HAS SOPS 38237 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27060.237
AT ITER 8259 NEW BEST:: SOT 133067 SOS 38233 HAS SOPS 38233 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27056.233
AT ITER 8288 NEW BEST:: SOT 133047 SOS 38193 HAS SOPS 38193 HAS SOUS 26956 HAS SOUPS 26956 WITH SCORE 26994.193
AT ITER 8320 NEW BEST:: SOT 133023 SOS 38145 HAS SOPS 38145 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26951.145
AT ITER 8351 NEW BEST:: SOT 133022 SOS 38143 HAS SOPS 38143 HAS SOUS 26911 HAS SOUPS 26911 WITH SCORE 26949.143
AT ITER 8382 NEW BEST:: SOT 133017 SOS 38105 HAS SOPS 38105 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26911.105
AT ITER 8409 NEW BEST:: SOT 133018 SOS 38121 HAS SOPS 38121 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26897.121
AT ITER 8414 NEW BEST:: SOT 133017 SOS 38119 HAS SOPS 38119 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26897.119
AT ITER 8464 NEW BEST:: SOT 133017 SOS 38103 HAS SOPS 38103 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26897.103
AT ITER 8479 NEW BEST:: SOT 132968 SOS 38054 HAS SOPS 38054 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26839.054
AT ITER 8490 NEW BEST:: SOT 132968 SOS 38049 HAS SOPS 38049 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26839.049
AT ITER 8525 NEW BEST:: SOT 132967 SOS 38048 HAS SOPS 38048 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26839.048
AT ITER 8619 NEW BEST:: SOT 132981 SOS 38028 HAS SOPS 38028 HAS SOUS 26781 HAS SOUPS 26781 WITH SCORE 26819.028
AT ITER 8635 NEW BEST:: SOT 133000 SOS 38019 HAS SOPS 38019 HAS SOUS 26772 HAS SOUPS 26772 WITH SCORE 26810.019
AT ITER 8649 NEW BEST:: SOT 132992 SOS 37989 HAS SOPS 37989 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26779.989
AT ITER 8666 NEW BEST:: SOT 132992 SOS 38011 HAS SOPS 38011 HAS SOUS 26741 HAS SOUPS 26741 WITH SCORE 26779.011
AT ITER 8673 NEW BEST:: SOT 132970 SOS 37977 HAS SOPS 37977 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26744.977
AT ITER 8722 NEW BEST:: SOT 132972 SOS 37945 HAS SOPS 37945 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26712.945
AT ITER 8733 NEW BEST:: SOT 132965 SOS 37931 HAS SOPS 37931 HAS SOUS 26668 HAS SOUPS 26668 WITH SCORE 26705.931
AT ITER 8744 NEW BEST:: SOT 132929 SOS 37859 HAS SOPS 37859 HAS SOUS 26632 HAS SOUPS 26632 WITH SCORE 26669.859
AT ITER 8745 NEW BEST:: SOT 132919 SOS 37983 HAS SOPS 37983 HAS SOUS 26624 HAS SOUPS 26624 WITH SCORE 26661.983
AT ITER 8749 NEW BEST:: SOT 132919 SOS 37983 HAS SOPS 37983 HAS SOUS 26622 HAS SOUPS 26622 WITH SCORE 26659.983
AT ITER 8764 NEW BEST:: SOT 132974 SOS 38038 HAS SOPS 38038 HAS SOUS 26533 HAS SOUPS 26533 WITH SCORE 26571.038
AT ITER 8788 NEW BEST:: SOT 132988 SOS 37970 HAS SOPS 37970 HAS SOUS 26523 HAS SOUPS 26523 WITH SCORE 26560.97
AT ITER 8815 NEW BEST:: SOT 132984 SOS 37966 HAS SOPS 37966 HAS SOUS 26523 HAS SOUPS 26523 WITH SCORE 26560.966
AT ITER 8851 NEW BEST:: SOT 132971 SOS 37953 HAS SOPS 37953 HAS SOUS 26491 HAS SOUPS 26491 WITH SCORE 26528.953
AT ITER 8856 NEW BEST:: SOT 132959 SOS 37929 HAS SOPS 37929 HAS SOUS 26468 HAS SOUPS 26468 WITH SCORE 26505.929
AT ITER 8869 NEW BEST:: SOT 132936 SOS 37925 HAS SOPS 37925 HAS SOUS 26464 HAS SOUPS 26464 WITH SCORE 26501.925
AT ITER 8933 NEW BEST:: SOT 132916 SOS 37885 HAS SOPS 37885 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26461.885
AT ITER 8961 NEW BEST:: SOT 132904 SOS 37855 HAS SOPS 37855 HAS SOUS 26417 HAS SOUPS 26417 WITH SCORE 26454.855
AT ITER 8981 NEW BEST:: SOT 132899 SOS 37838 HAS SOPS 37838 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26451.838
AT ITER 9010 NEW BEST:: SOT 132837 SOS 37714 HAS SOPS 37714 HAS SOUS 26352 HAS SOUPS 26352 WITH SCORE 26389.714
AT ITER 9016 NEW BEST:: SOT 132836 SOS 37716 HAS SOPS 37716 HAS SOUS 26350 HAS SOUPS 26350 WITH SCORE 26387.716
AT ITER 9051 NEW BEST:: SOT 132827 SOS 37703 HAS SOPS 37703 HAS SOUS 26341 HAS SOUPS 26341 WITH SCORE 26378.703
AT ITER 9077 NEW BEST:: SOT 132806 SOS 37668 HAS SOPS 37668 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26357.668
AT ITER 9091 NEW BEST:: SOT 132806 SOS 37668 HAS SOPS 37668 HAS SOUS 26319 HAS SOUPS 26319 WITH SCORE 26356.668
AT ITER 9136 NEW BEST:: SOT 132802 SOS 37652 HAS SOPS 37652 HAS SOUS 26315 HAS SOUPS 26315 WITH SCORE 26352.652
AT ITER 9175 NEW BEST:: SOT 132803 SOS 37654 HAS SOPS 37654 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26351.654
AT ITER 9214 NEW BEST:: SOT 132826 SOS 37671 HAS SOPS 37671 HAS SOUS 26276 HAS SOUPS 26276 WITH SCORE 26313.671
AT ITER 9254 NEW BEST:: SOT 132826 SOS 37668 HAS SOPS 37668 HAS SOUS 26273 HAS SOUPS 26273 WITH SCORE 26310.668
AT ITER 9263 NEW BEST:: SOT 132818 SOS 37647 HAS SOPS 37647 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26302.647
AT ITER 9264 NEW BEST:: SOT 132815 SOS 37641 HAS SOPS 37641 HAS SOUS 26259 HAS SOUPS 26259 WITH SCORE 26296.641
AT ITER 9291 NEW BEST:: SOT 132813 SOS 37637 HAS SOPS 37637 HAS SOUS 26255 HAS SOUPS 26255 WITH SCORE 26292.637
AT ITER 9332 NEW BEST:: SOT 132812 SOS 37635 HAS SOPS 37635 HAS SOUS 26253 HAS SOUPS 26253 WITH SCORE 26290.635
AT ITER 9379 NEW BEST:: SOT 132784 SOS 37593 HAS SOPS 37593 HAS SOUS 26219 HAS SOUPS 26219 WITH SCORE 26256.593
AT ITER 9474 NEW BEST:: SOT 132769 SOS 37572 HAS SOPS 37572 HAS SOUS 26198 HAS SOUPS 26198 WITH SCORE 26235.572
AT ITER 9475 NEW BEST:: SOT 132758 SOS 37561 HAS SOPS 37561 HAS SOUS 26198 HAS SOUPS 26198 WITH SCORE 26235.561
AT ITER 9491 NEW BEST:: SOT 132757 SOS 37559 HAS SOPS 37559 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26233.559
AT ITER 9514 NEW BEST:: SOT 132749 SOS 37551 HAS SOPS 37551 HAS SOUS 26188 HAS SOUPS 26188 WITH SCORE 26225.551
AT ITER 9547 NEW BEST:: SOT 132753 SOS 37549 HAS SOPS 37549 HAS SOUS 26186 HAS SOUPS 26186 WITH SCORE 26223.549
AT ITER 9562 NEW BEST:: SOT 132748 SOS 37548 HAS SOPS 37548 HAS SOUS 26185 HAS SOUPS 26185 WITH SCORE 26222.548
AT ITER 9564 NEW BEST:: SOT 132695 SOS 37462 HAS SOPS 37462 HAS SOUS 26083 HAS SOUPS 26083 WITH SCORE 26120.462
AT ITER 9594 NEW BEST:: SOT 132656 SOS 37423 HAS SOPS 37423 HAS SOUS 26044 HAS SOUPS 26044 WITH SCORE 26081.423
AT ITER 9607 NEW BEST:: SOT 132635 SOS 37385 HAS SOPS 37385 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26043.385
AT ITER 9691 NEW BEST:: SOT 132637 SOS 37364 HAS SOPS 37364 HAS SOUS 25985 HAS SOUPS 25985 WITH SCORE 26022.364
AT ITER 9741 NEW BEST:: SOT 132637 SOS 37363 HAS SOPS 37363 HAS SOUS 25984 HAS SOUPS 25984 WITH SCORE 26021.363
AT ITER 9776 NEW BEST:: SOT 132641 SOS 37356 HAS SOPS 37356 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26014.356
AT ITER 9792 NEW BEST:: SOT 132641 SOS 37349 HAS SOPS 37349 HAS SOUS 25962 HAS SOUPS 25962 WITH SCORE 25999.349
AT ITER 9859 NEW BEST:: SOT 132641 SOS 37349 HAS SOPS 37349 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 25988.349
AT ITER 9914 NEW BEST:: SOT 132641 SOS 37347 HAS SOPS 37347 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25987.347
AT ITER 9933 NEW BEST:: SOT 132639 SOS 37343 HAS SOPS 37343 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25983.343
AT ITER 9998 NEW BEST:: SOT 132620 SOS 37316 HAS SOPS 37316 HAS SOUS 25930 HAS SOUPS 25930 WITH SCORE 25967.316
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 12100072 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16153728 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-10, 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 r035-tajo-167813688300528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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