fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r003-oct2-167813590400072
Last Updated
May 14, 2023

About the Execution of Smart for ASLink-PT-04b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2666.191 3600000.00 3600101.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 13:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 13:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 26 13:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 669K 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 1678469050250

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=ASLink-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04b
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: 2034 places, 2567 transitions, 7875 arcs.
AT ITER 0 NEW BEST:: SOT 2930331 SOS 779349 HAS SOPS 779349 HAS SOUS 619616 HAS SOUPS 619616 WITH SCORE 620395.349
AT ITER 3 NEW BEST:: SOT 2930331 SOS 779297 HAS SOPS 779297 HAS SOUS 619564 HAS SOUPS 619564 WITH SCORE 620343.297
AT ITER 12 NEW BEST:: SOT 2930225 SOS 779085 HAS SOPS 779085 HAS SOUS 619456 HAS SOUPS 619456 WITH SCORE 620235.085
AT ITER 35 NEW BEST:: SOT 2930098 SOS 778957 HAS SOPS 778957 HAS SOUS 619328 HAS SOUPS 619328 WITH SCORE 620106.957
AT ITER 37 NEW BEST:: SOT 2930097 SOS 778767 HAS SOPS 778767 HAS SOUS 619325 HAS SOUPS 619325 WITH SCORE 620103.767
AT ITER 53 NEW BEST:: SOT 2929990 SOS 778660 HAS SOPS 778660 HAS SOUS 619218 HAS SOUPS 619218 WITH SCORE 619996.66
AT ITER 74 NEW BEST:: SOT 2929907 SOS 778577 HAS SOPS 778577 HAS SOUS 619135 HAS SOUPS 619135 WITH SCORE 619913.577
AT ITER 79 NEW BEST:: SOT 2929874 SOS 778538 HAS SOPS 778538 HAS SOUS 619096 HAS SOUPS 619096 WITH SCORE 619874.538
AT ITER 90 NEW BEST:: SOT 2929230 SOS 778655 HAS SOPS 778655 HAS SOUS 618890 HAS SOUPS 618890 WITH SCORE 619668.655
AT ITER 100 NEW BEST:: SOT 2928780 SOS 780600 HAS SOPS 780600 HAS SOUS 618773 HAS SOUPS 618773 WITH SCORE 619553.6
AT ITER 109 NEW BEST:: SOT 2928720 SOS 780480 HAS SOPS 780480 HAS SOUS 618712 HAS SOUPS 618712 WITH SCORE 619492.48
AT ITER 110 NEW BEST:: SOT 2928360 SOS 780408 HAS SOPS 780408 HAS SOUS 618209 HAS SOUPS 618209 WITH SCORE 618989.408
AT ITER 121 NEW BEST:: SOT 2928360 SOS 779676 HAS SOPS 779676 HAS SOUS 618209 HAS SOUPS 618209 WITH SCORE 618988.676
AT ITER 122 NEW BEST:: SOT 2926560 SOS 778049 HAS SOPS 778049 HAS SOUS 616529 HAS SOUPS 616529 WITH SCORE 617307.049
AT ITER 124 NEW BEST:: SOT 2925279 SOS 776585 HAS SOPS 776585 HAS SOUS 616346 HAS SOUPS 616346 WITH SCORE 617122.585
AT ITER 129 NEW BEST:: SOT 2925278 SOS 776583 HAS SOPS 776583 HAS SOUS 616344 HAS SOUPS 616344 WITH SCORE 617120.583
AT ITER 132 NEW BEST:: SOT 2925278 SOS 776581 HAS SOPS 776581 HAS SOUS 616342 HAS SOUPS 616342 WITH SCORE 617118.581
AT ITER 152 NEW BEST:: SOT 2925185 SOS 776441 HAS SOPS 776441 HAS SOUS 616248 HAS SOUPS 616248 WITH SCORE 617024.441
AT ITER 158 NEW BEST:: SOT 2924996 SOS 776252 HAS SOPS 776252 HAS SOUS 616059 HAS SOUPS 616059 WITH SCORE 616835.252
AT ITER 190 NEW BEST:: SOT 2924945 SOS 775908 HAS SOPS 775908 HAS SOUS 615701 HAS SOUPS 615701 WITH SCORE 616476.908
AT ITER 208 NEW BEST:: SOT 2924802 SOS 776623 HAS SOPS 776623 HAS SOUS 615558 HAS SOUPS 615558 WITH SCORE 616334.623
AT ITER 215 NEW BEST:: SOT 2924660 SOS 776339 HAS SOPS 776339 HAS SOUS 615197 HAS SOUPS 615197 WITH SCORE 615973.339
AT ITER 219 NEW BEST:: SOT 2924196 SOS 775933 HAS SOPS 775933 HAS SOUS 615197 HAS SOUPS 615197 WITH SCORE 615972.933
AT ITER 222 NEW BEST:: SOT 2922428 SOS 773759 HAS SOPS 773759 HAS SOUS 613982 HAS SOUPS 613982 WITH SCORE 614755.759
AT ITER 227 NEW BEST:: SOT 2921102 SOS 773176 HAS SOPS 773176 HAS SOUS 612838 HAS SOUPS 612838 WITH SCORE 613611.176
AT ITER 251 NEW BEST:: SOT 2921134 SOS 772954 HAS SOPS 772954 HAS SOUS 612616 HAS SOUPS 612616 WITH SCORE 613388.954
AT ITER 252 NEW BEST:: SOT 2920970 SOS 772882 HAS SOPS 772882 HAS SOUS 612544 HAS SOUPS 612544 WITH SCORE 613316.882
AT ITER 253 NEW BEST:: SOT 2920959 SOS 772860 HAS SOPS 772860 HAS SOUS 612522 HAS SOUPS 612522 WITH SCORE 613294.86
AT ITER 275 NEW BEST:: SOT 2920677 SOS 771886 HAS SOPS 771886 HAS SOUS 612172 HAS SOUPS 612172 WITH SCORE 612943.886
AT ITER 282 NEW BEST:: SOT 2920557 SOS 771747 HAS SOPS 771747 HAS SOUS 612033 HAS SOUPS 612033 WITH SCORE 612804.747
AT ITER 285 NEW BEST:: SOT 2920409 SOS 772913 HAS SOPS 772913 HAS SOUS 611694 HAS SOUPS 611694 WITH SCORE 612466.913
AT ITER 297 NEW BEST:: SOT 2920139 SOS 772500 HAS SOPS 772500 HAS SOUS 611381 HAS SOUPS 611381 WITH SCORE 612153.5
AT ITER 300 NEW BEST:: SOT 2919595 SOS 772703 HAS SOPS 772703 HAS SOUS 611152 HAS SOUPS 611152 WITH SCORE 611924.703
AT ITER 311 NEW BEST:: SOT 2919370 SOS 772241 HAS SOPS 772241 HAS SOUS 610690 HAS SOUPS 610690 WITH SCORE 611462.241
AT ITER 330 NEW BEST:: SOT 2919329 SOS 772174 HAS SOPS 772174 HAS SOUS 610583 HAS SOUPS 610583 WITH SCORE 611355.174
AT ITER 348 NEW BEST:: SOT 2919329 SOS 772173 HAS SOPS 772173 HAS SOUS 610582 HAS SOUPS 610582 WITH SCORE 611354.173
AT ITER 360 NEW BEST:: SOT 2919226 SOS 771960 HAS SOPS 771960 HAS SOUS 610438 HAS SOUPS 610438 WITH SCORE 611209.96
AT ITER 366 NEW BEST:: SOT 2919226 SOS 771894 HAS SOPS 771894 HAS SOUS 610372 HAS SOUPS 610372 WITH SCORE 611143.894
AT ITER 375 NEW BEST:: SOT 2919021 SOS 771935 HAS SOPS 771935 HAS SOUS 610208 HAS SOUPS 610208 WITH SCORE 610979.935
AT ITER 378 NEW BEST:: SOT 2918839 SOS 774193 HAS SOPS 774193 HAS SOUS 610171 HAS SOUPS 610171 WITH SCORE 610945.193
AT ITER 379 NEW BEST:: SOT 2918398 SOS 774004 HAS SOPS 774004 HAS SOUS 609793 HAS SOUPS 609793 WITH SCORE 610567.004
AT ITER 405 NEW BEST:: SOT 2918358 SOS 773924 HAS SOPS 773924 HAS SOUS 609753 HAS SOUPS 609753 WITH SCORE 610526.924
AT ITER 407 NEW BEST:: SOT 2918249 SOS 773760 HAS SOPS 773760 HAS SOUS 609697 HAS SOUPS 609697 WITH SCORE 610470.76
AT ITER 418 NEW BEST:: SOT 2917868 SOS 773883 HAS SOPS 773883 HAS SOUS 609549 HAS SOUPS 609549 WITH SCORE 610322.883
AT ITER 424 NEW BEST:: SOT 2917675 SOS 773948 HAS SOPS 773948 HAS SOUS 609356 HAS SOUPS 609356 WITH SCORE 610129.948
AT ITER 432 NEW BEST:: SOT 2917552 SOS 773866 HAS SOPS 773866 HAS SOUS 609274 HAS SOUPS 609274 WITH SCORE 610047.866
AT ITER 439 NEW BEST:: SOT 2917338 SOS 773652 HAS SOPS 773652 HAS SOUS 609273 HAS SOUPS 609273 WITH SCORE 610046.652
AT ITER 468 NEW BEST:: SOT 2917030 SOS 773300 HAS SOPS 773300 HAS SOUS 608998 HAS SOUPS 608998 WITH SCORE 609771.3
AT ITER 484 NEW BEST:: SOT 2916849 SOS 772920 HAS SOPS 772920 HAS SOUS 608817 HAS SOUPS 608817 WITH SCORE 609589.92
AT ITER 503 NEW BEST:: SOT 2916694 SOS 772693 HAS SOPS 772693 HAS SOUS 608787 HAS SOUPS 608787 WITH SCORE 609559.693
AT ITER 517 NEW BEST:: SOT 2916574 SOS 772333 HAS SOPS 772333 HAS SOUS 608546 HAS SOUPS 608546 WITH SCORE 609318.333
AT ITER 523 NEW BEST:: SOT 2916420 SOS 771726 HAS SOPS 771726 HAS SOUS 608348 HAS SOUPS 608348 WITH SCORE 609119.726
AT ITER 532 NEW BEST:: SOT 2915845 SOS 771853 HAS SOPS 771853 HAS SOUS 608033 HAS SOUPS 608033 WITH SCORE 608804.853
AT ITER 533 NEW BEST:: SOT 2914125 SOS 771786 HAS SOPS 771786 HAS SOUS 606747 HAS SOUPS 606747 WITH SCORE 607518.786
AT ITER 537 NEW BEST:: SOT 2914070 SOS 771783 HAS SOPS 771783 HAS SOUS 606744 HAS SOUPS 606744 WITH SCORE 607515.783
AT ITER 540 NEW BEST:: SOT 2914021 SOS 771730 HAS SOPS 771730 HAS SOUS 606694 HAS SOUPS 606694 WITH SCORE 607465.73
AT ITER 579 NEW BEST:: SOT 2914020 SOS 772053 HAS SOPS 772053 HAS SOUS 606692 HAS SOUPS 606692 WITH SCORE 607464.053
AT ITER 582 NEW BEST:: SOT 2913962 SOS 771937 HAS SOPS 771937 HAS SOUS 606628 HAS SOUPS 606628 WITH SCORE 607399.937
AT ITER 583 NEW BEST:: SOT 2913785 SOS 771583 HAS SOPS 771583 HAS SOUS 606451 HAS SOUPS 606451 WITH SCORE 607222.583
AT ITER 585 NEW BEST:: SOT 2913548 SOS 771346 HAS SOPS 771346 HAS SOUS 605977 HAS SOUPS 605977 WITH SCORE 606748.346
AT ITER 622 NEW BEST:: SOT 2913754 SOS 771181 HAS SOPS 771181 HAS SOUS 605812 HAS SOUPS 605812 WITH SCORE 606583.181
AT ITER 630 NEW BEST:: SOT 2913561 SOS 770833 HAS SOPS 770833 HAS SOUS 605434 HAS SOUPS 605434 WITH SCORE 606204.833
AT ITER 652 NEW BEST:: SOT 2912782 SOS 770376 HAS SOPS 770376 HAS SOUS 604977 HAS SOUPS 604977 WITH SCORE 605747.376
AT ITER 653 NEW BEST:: SOT 2912567 SOS 769999 HAS SOPS 769999 HAS SOUS 604772 HAS SOUPS 604772 WITH SCORE 605541.999
AT ITER 657 NEW BEST:: SOT 2911862 SOS 769294 HAS SOPS 769294 HAS SOUS 604066 HAS SOUPS 604066 WITH SCORE 604835.294
AT ITER 667 NEW BEST:: SOT 2911862 SOS 769063 HAS SOPS 769063 HAS SOUS 603739 HAS SOUPS 603739 WITH SCORE 604508.063
AT ITER 703 NEW BEST:: SOT 2911816 SOS 768880 HAS SOPS 768880 HAS SOUS 603647 HAS SOUPS 603647 WITH SCORE 604415.88
AT ITER 730 NEW BEST:: SOT 2910124 SOS 784184 HAS SOPS 784184 HAS SOUS 603580 HAS SOUPS 603580 WITH SCORE 604364.184
AT ITER 744 NEW BEST:: SOT 2910124 SOS 784184 HAS SOPS 784184 HAS SOUS 603578 HAS SOUPS 603578 WITH SCORE 604362.184
AT ITER 761 NEW BEST:: SOT 2910124 SOS 784184 HAS SOPS 784184 HAS SOUS 603568 HAS SOUPS 603568 WITH SCORE 604352.184
AT ITER 762 NEW BEST:: SOT 2910103 SOS 783840 HAS SOPS 783840 HAS SOUS 603495 HAS SOUPS 603495 WITH SCORE 604278.84
AT ITER 775 NEW BEST:: SOT 2908288 SOS 782144 HAS SOPS 782144 HAS SOUS 601799 HAS SOUPS 601799 WITH SCORE 602581.144
AT ITER 824 NEW BEST:: SOT 2906770 SOS 782408 HAS SOPS 782408 HAS SOUS 600581 HAS SOUPS 600581 WITH SCORE 601363.408
AT ITER 838 NEW BEST:: SOT 2906608 SOS 782084 HAS SOPS 782084 HAS SOUS 600257 HAS SOUPS 600257 WITH SCORE 601039.084
AT ITER 843 NEW BEST:: SOT 2906240 SOS 781566 HAS SOPS 781566 HAS SOUS 599888 HAS SOUPS 599888 WITH SCORE 600669.566
AT ITER 849 NEW BEST:: SOT 2905932 SOS 781280 HAS SOPS 781280 HAS SOUS 599756 HAS SOUPS 599756 WITH SCORE 600537.28
AT ITER 858 NEW BEST:: SOT 2905862 SOS 781090 HAS SOPS 781090 HAS SOUS 599464 HAS SOUPS 599464 WITH SCORE 600245.09
AT ITER 864 NEW BEST:: SOT 2905861 SOS 781084 HAS SOPS 781084 HAS SOUS 599458 HAS SOUPS 599458 WITH SCORE 600239.084
AT ITER 879 NEW BEST:: SOT 2905785 SOS 780970 HAS SOPS 780970 HAS SOUS 599344 HAS SOUPS 599344 WITH SCORE 600124.97
AT ITER 904 NEW BEST:: SOT 2905554 SOS 775657 HAS SOPS 775657 HAS SOUS 598882 HAS SOUPS 598882 WITH SCORE 599657.657
AT ITER 930 NEW BEST:: SOT 2905554 SOS 775801 HAS SOPS 775801 HAS SOUS 598857 HAS SOUPS 598857 WITH SCORE 599632.801
AT ITER 951 NEW BEST:: SOT 2905383 SOS 775458 HAS SOPS 775458 HAS SOUS 598644 HAS SOUPS 598644 WITH SCORE 599419.458
AT ITER 968 NEW BEST:: SOT 2905416 SOS 775249 HAS SOPS 775249 HAS SOUS 598589 HAS SOUPS 598589 WITH SCORE 599364.249
AT ITER 998 NEW BEST:: SOT 2905416 SOS 775080 HAS SOPS 775080 HAS SOUS 598589 HAS SOUPS 598589 WITH SCORE 599364.08
AT ITER 1001 NEW BEST:: SOT 2905092 SOS 774756 HAS SOPS 774756 HAS SOUS 598265 HAS SOUPS 598265 WITH SCORE 599039.756
AT ITER 1004 NEW BEST:: SOT 2904848 SOS 774406 HAS SOPS 774406 HAS SOUS 598131 HAS SOUPS 598131 WITH SCORE 598905.406
AT ITER 1013 NEW BEST:: SOT 2904677 SOS 774117 HAS SOPS 774117 HAS SOUS 597817 HAS SOUPS 597817 WITH SCORE 598591.117
AT ITER 1018 NEW BEST:: SOT 2904677 SOS 774335 HAS SOPS 774335 HAS SOUS 597665 HAS SOUPS 597665 WITH SCORE 598439.335
AT ITER 1036 NEW BEST:: SOT 2904658 SOS 774277 HAS SOPS 774277 HAS SOUS 597627 HAS SOUPS 597627 WITH SCORE 598401.277
AT ITER 1038 NEW BEST:: SOT 2904723 SOS 774334 HAS SOPS 774334 HAS SOUS 597619 HAS SOUPS 597619 WITH SCORE 598393.334
AT ITER 1062 NEW BEST:: SOT 2904542 SOS 774333 HAS SOPS 774333 HAS SOUS 597528 HAS SOUPS 597528 WITH SCORE 598302.333
AT ITER 1066 NEW BEST:: SOT 2904542 SOS 774260 HAS SOPS 774260 HAS SOUS 597527 HAS SOUPS 597527 WITH SCORE 598301.26
AT ITER 1085 NEW BEST:: SOT 2904542 SOS 774166 HAS SOPS 774166 HAS SOUS 597433 HAS SOUPS 597433 WITH SCORE 598207.166
AT ITER 1086 NEW BEST:: SOT 2904668 SOS 774422 HAS SOPS 774422 HAS SOUS 597343 HAS SOUPS 597343 WITH SCORE 598117.422
AT ITER 1092 NEW BEST:: SOT 2904514 SOS 773701 HAS SOPS 773701 HAS SOUS 596993 HAS SOUPS 596993 WITH SCORE 597766.701
AT ITER 1107 NEW BEST:: SOT 2902961 SOS 772576 HAS SOPS 772576 HAS SOUS 595440 HAS SOUPS 595440 WITH SCORE 596212.576
AT ITER 1137 NEW BEST:: SOT 2902909 SOS 772522 HAS SOPS 772522 HAS SOUS 595386 HAS SOUPS 595386 WITH SCORE 596158.522
AT ITER 1164 NEW BEST:: SOT 2902909 SOS 772520 HAS SOPS 772520 HAS SOUS 595384 HAS SOUPS 595384 WITH SCORE 596156.52
AT ITER 1177 NEW BEST:: SOT 2902894 SOS 772397 HAS SOPS 772397 HAS SOUS 595261 HAS SOUPS 595261 WITH SCORE 596033.397
AT ITER 1180 NEW BEST:: SOT 2902374 SOS 772007 HAS SOPS 772007 HAS SOUS 594871 HAS SOUPS 594871 WITH SCORE 595643.007
AT ITER 1181 NEW BEST:: SOT 2902188 SOS 771704 HAS SOPS 771704 HAS SOUS 594684 HAS SOUPS 594684 WITH SCORE 595455.704
AT ITER 1183 NEW BEST:: SOT 2902161 SOS 771663 HAS SOPS 771663 HAS SOUS 594639 HAS SOUPS 594639 WITH SCORE 595410.663
AT ITER 1186 NEW BEST:: SOT 2902088 SOS 771590 HAS SOPS 771590 HAS SOUS 594566 HAS SOUPS 594566 WITH SCORE 595337.59
AT ITER 1189 NEW BEST:: SOT 2902027 SOS 770675 HAS SOPS 770675 HAS SOUS 594207 HAS SOUPS 594207 WITH SCORE 594977.675
AT ITER 1196 NEW BEST:: SOT 2901921 SOS 770668 HAS SOPS 770668 HAS SOUS 594101 HAS SOUPS 594101 WITH SCORE 594871.668
AT ITER 1200 NEW BEST:: SOT 2901729 SOS 770460 HAS SOPS 770460 HAS SOUS 594085 HAS SOUPS 594085 WITH SCORE 594855.46
AT ITER 1201 NEW BEST:: SOT 2901275 SOS 771512 HAS SOPS 771512 HAS SOUS 593961 HAS SOUPS 593961 WITH SCORE 594732.512
AT ITER 1229 NEW BEST:: SOT 2900911 SOS 771193 HAS SOPS 771193 HAS SOUS 593957 HAS SOUPS 593957 WITH SCORE 594728.193
AT ITER 1234 NEW BEST:: SOT 2900903 SOS 771185 HAS SOPS 771185 HAS SOUS 593949 HAS SOUPS 593949 WITH SCORE 594720.185
AT ITER 1237 NEW BEST:: SOT 2900903 SOS 771183 HAS SOPS 771183 HAS SOUS 593947 HAS SOUPS 593947 WITH SCORE 594718.183
AT ITER 1250 NEW BEST:: SOT 2900630 SOS 770364 HAS SOPS 770364 HAS SOUS 593128 HAS SOUPS 593128 WITH SCORE 593898.364
AT ITER 1271 NEW BEST:: SOT 2900145 SOS 771445 HAS SOPS 771445 HAS SOUS 593060 HAS SOUPS 593060 WITH SCORE 593831.445
AT ITER 1278 NEW BEST:: SOT 2900141 SOS 771439 HAS SOPS 771439 HAS SOUS 593055 HAS SOUPS 593055 WITH SCORE 593826.439
AT ITER 1313 NEW BEST:: SOT 2900140 SOS 771437 HAS SOPS 771437 HAS SOUS 593053 HAS SOUPS 593053 WITH SCORE 593824.437
AT ITER 1318 NEW BEST:: SOT 2899988 SOS 771262 HAS SOPS 771262 HAS SOUS 592906 HAS SOUPS 592906 WITH SCORE 593677.262
AT ITER 1320 NEW BEST:: SOT 2900079 SOS 771162 HAS SOPS 771162 HAS SOUS 591847 HAS SOUPS 591847 WITH SCORE 592618.162
AT ITER 1322 NEW BEST:: SOT 2899968 SOS 770940 HAS SOPS 770940 HAS SOUS 591625 HAS SOUPS 591625 WITH SCORE 592395.94
AT ITER 1323 NEW BEST:: SOT 2899995 SOS 769814 HAS SOPS 769814 HAS SOUS 591542 HAS SOUPS 591542 WITH SCORE 592311.814
AT ITER 1344 NEW BEST:: SOT 2899844 SOS 769661 HAS SOPS 769661 HAS SOUS 591263 HAS SOUPS 591263 WITH SCORE 592032.661
AT ITER 1355 NEW BEST:: SOT 2899844 SOS 769486 HAS SOPS 769486 HAS SOUS 591088 HAS SOUPS 591088 WITH SCORE 591857.486
AT ITER 1356 NEW BEST:: SOT 2899680 SOS 769318 HAS SOPS 769318 HAS SOUS 590923 HAS SOUPS 590923 WITH SCORE 591692.318
AT ITER 1371 NEW BEST:: SOT 2898829 SOS 769346 HAS SOPS 769346 HAS SOUS 590550 HAS SOUPS 590550 WITH SCORE 591319.346
AT ITER 1384 NEW BEST:: SOT 2898798 SOS 769135 HAS SOPS 769135 HAS SOUS 590339 HAS SOUPS 590339 WITH SCORE 591108.135
AT ITER 1385 NEW BEST:: SOT 2898757 SOS 769075 HAS SOPS 769075 HAS SOUS 590279 HAS SOUPS 590279 WITH SCORE 591048.075
AT ITER 1390 NEW BEST:: SOT 2898611 SOS 768929 HAS SOPS 768929 HAS SOUS 590079 HAS SOUPS 590079 WITH SCORE 590847.929
AT ITER 1398 NEW BEST:: SOT 2898611 SOS 768821 HAS SOPS 768821 HAS SOUS 590079 HAS SOUPS 590079 WITH SCORE 590847.821
AT ITER 1431 NEW BEST:: SOT 2898610 SOS 768819 HAS SOPS 768819 HAS SOUS 589904 HAS SOUPS 589904 WITH SCORE 590672.819
AT ITER 1462 NEW BEST:: SOT 2898330 SOS 768626 HAS SOPS 768626 HAS SOUS 589876 HAS SOUPS 589876 WITH SCORE 590644.626
AT ITER 1472 NEW BEST:: SOT 2898296 SOS 768432 HAS SOPS 768432 HAS SOUS 589863 HAS SOUPS 589863 WITH SCORE 590631.432
AT ITER 1479 NEW BEST:: SOT 2898291 SOS 768427 HAS SOPS 768427 HAS SOUS 589863 HAS SOUPS 589863 WITH SCORE 590631.427
AT ITER 1496 NEW BEST:: SOT 2898297 SOS 768189 HAS SOPS 768189 HAS SOUS 589726 HAS SOUPS 589726 WITH SCORE 590494.189
AT ITER 1503 NEW BEST:: SOT 2898241 SOS 768165 HAS SOPS 768165 HAS SOUS 589678 HAS SOUPS 589678 WITH SCORE 590446.165
AT ITER 1534 NEW BEST:: SOT 2898137 SOS 767897 HAS SOPS 767897 HAS SOUS 589433 HAS SOUPS 589433 WITH SCORE 590200.897
AT ITER 1539 NEW BEST:: SOT 2898059 SOS 767457 HAS SOPS 767457 HAS SOUS 589123 HAS SOUPS 589123 WITH SCORE 589890.457
AT ITER 1542 NEW BEST:: SOT 2898059 SOS 767443 HAS SOPS 767443 HAS SOUS 589109 HAS SOUPS 589109 WITH SCORE 589876.443
AT ITER 1602 NEW BEST:: SOT 2898059 SOS 767635 HAS SOPS 767635 HAS SOUS 589055 HAS SOUPS 589055 WITH SCORE 589822.635
AT ITER 1633 NEW BEST:: SOT 2897455 SOS 767294 HAS SOPS 767294 HAS SOUS 588729 HAS SOUPS 588729 WITH SCORE 589496.294
AT ITER 1657 NEW BEST:: SOT 2897004 SOS 766899 HAS SOPS 766899 HAS SOUS 588276 HAS SOUPS 588276 WITH SCORE 589042.899
AT ITER 1669 NEW BEST:: SOT 2896962 SOS 766796 HAS SOPS 766796 HAS SOUS 588215 HAS SOUPS 588215 WITH SCORE 588981.796
AT ITER 1673 NEW BEST:: SOT 2896947 SOS 766766 HAS SOPS 766766 HAS SOUS 588200 HAS SOUPS 588200 WITH SCORE 588966.766
AT ITER 1689 NEW BEST:: SOT 2896919 SOS 766698 HAS SOPS 766698 HAS SOUS 588132 HAS SOUPS 588132 WITH SCORE 588898.698
AT ITER 1698 NEW BEST:: SOT 2896919 SOS 766627 HAS SOPS 766627 HAS SOUS 588129 HAS SOUPS 588129 WITH SCORE 588895.627
AT ITER 1749 NEW BEST:: SOT 2896919 SOS 766415 HAS SOPS 766415 HAS SOUS 588128 HAS SOUPS 588128 WITH SCORE 588894.415
AT ITER 1769 NEW BEST:: SOT 2896919 SOS 766325 HAS SOPS 766325 HAS SOUS 587961 HAS SOUPS 587961 WITH SCORE 588727.325
AT ITER 1770 NEW BEST:: SOT 2896919 SOS 766325 HAS SOPS 766325 HAS SOUS 586869 HAS SOUPS 586869 WITH SCORE 587635.325
AT ITER 1799 NEW BEST:: SOT 2896919 SOS 766284 HAS SOPS 766284 HAS SOUS 586865 HAS SOUPS 586865 WITH SCORE 587631.284
AT ITER 1808 NEW BEST:: SOT 2896761 SOS 766010 HAS SOPS 766010 HAS SOUS 586549 HAS SOUPS 586549 WITH SCORE 587315.01
AT ITER 1809 NEW BEST:: SOT 2896761 SOS 765997 HAS SOPS 765997 HAS SOUS 586549 HAS SOUPS 586549 WITH SCORE 587314.997
AT ITER 1826 NEW BEST:: SOT 2896823 SOS 765913 HAS SOPS 765913 HAS SOUS 586465 HAS SOUPS 586465 WITH SCORE 587230.913
AT ITER 1878 NEW BEST:: SOT 2896823 SOS 765880 HAS SOPS 765880 HAS SOUS 586432 HAS SOUPS 586432 WITH SCORE 587197.88
AT ITER 1891 NEW BEST:: SOT 2896822 SOS 765700 HAS SOPS 765700 HAS SOUS 586430 HAS SOUPS 586430 WITH SCORE 587195.7
AT ITER 1898 NEW BEST:: SOT 2896822 SOS 765647 HAS SOPS 765647 HAS SOUS 586377 HAS SOUPS 586377 WITH SCORE 587142.647
AT ITER 1907 NEW BEST:: SOT 2896817 SOS 765642 HAS SOPS 765642 HAS SOUS 586372 HAS SOUPS 586372 WITH SCORE 587137.642
AT ITER 1914 NEW BEST:: SOT 2895375 SOS 764772 HAS SOPS 764772 HAS SOUS 585133 HAS SOUPS 585133 WITH SCORE 585897.772
AT ITER 1919 NEW BEST:: SOT 2895193 SOS 764400 HAS SOPS 764400 HAS SOUS 584951 HAS SOUPS 584951 WITH SCORE 585715.4
AT ITER 1928 NEW BEST:: SOT 2895193 SOS 764395 HAS SOPS 764395 HAS SOUS 584946 HAS SOUPS 584946 WITH SCORE 585710.395
AT ITER 1963 NEW BEST:: SOT 2895092 SOS 764294 HAS SOPS 764294 HAS SOUS 584744 HAS SOUPS 584744 WITH SCORE 585508.294
AT ITER 1979 NEW BEST:: SOT 2895092 SOS 764277 HAS SOPS 764277 HAS SOUS 584744 HAS SOUPS 584744 WITH SCORE 585508.277
AT ITER 1985 NEW BEST:: SOT 2895013 SOS 764040 HAS SOPS 764040 HAS SOUS 584585 HAS SOUPS 584585 WITH SCORE 585349.04
AT ITER 2016 NEW BEST:: SOT 2894882 SOS 763909 HAS SOPS 763909 HAS SOUS 584561 HAS SOUPS 584561 WITH SCORE 585324.909
AT ITER 2020 NEW BEST:: SOT 2894639 SOS 763755 HAS SOPS 763755 HAS SOUS 584407 HAS SOUPS 584407 WITH SCORE 585170.755
AT ITER 2029 NEW BEST:: SOT 2894605 SOS 763687 HAS SOPS 763687 HAS SOUS 584012 HAS SOUPS 584012 WITH SCORE 584775.687
AT ITER 2037 NEW BEST:: SOT 2894545 SOS 762485 HAS SOPS 762485 HAS SOUS 583362 HAS SOUPS 583362 WITH SCORE 584124.485
AT ITER 2046 NEW BEST:: SOT 2894404 SOS 762343 HAS SOPS 762343 HAS SOUS 583240 HAS SOUPS 583240 WITH SCORE 584002.343
AT ITER 2047 NEW BEST:: SOT 2894322 SOS 762264 HAS SOPS 762264 HAS SOUS 582481 HAS SOUPS 582481 WITH SCORE 583243.264
AT ITER 2054 NEW BEST:: SOT 2894224 SOS 761670 HAS SOPS 761670 HAS SOUS 581213 HAS SOUPS 581213 WITH SCORE 581974.67
AT ITER 2066 NEW BEST:: SOT 2894072 SOS 761503 HAS SOPS 761503 HAS SOUS 581194 HAS SOUPS 581194 WITH SCORE 581955.503
AT ITER 2071 NEW BEST:: SOT 2893855 SOS 760916 HAS SOPS 760916 HAS SOUS 580756 HAS SOUPS 580756 WITH SCORE 581516.916
AT ITER 2083 NEW BEST:: SOT 2893855 SOS 760761 HAS SOPS 760761 HAS SOUS 580601 HAS SOUPS 580601 WITH SCORE 581361.761
AT ITER 2100 NEW BEST:: SOT 2893778 SOS 760684 HAS SOPS 760684 HAS SOUS 580524 HAS SOUPS 580524 WITH SCORE 581284.684
AT ITER 2103 NEW BEST:: SOT 2893593 SOS 759389 HAS SOPS 759389 HAS SOUS 580154 HAS SOUPS 580154 WITH SCORE 580913.389
AT ITER 2116 NEW BEST:: SOT 2893618 SOS 759311 HAS SOPS 759311 HAS SOUS 580076 HAS SOUPS 580076 WITH SCORE 580835.311
AT ITER 2136 NEW BEST:: SOT 2893618 SOS 759306 HAS SOPS 759306 HAS SOUS 580075 HAS SOUPS 580075 WITH SCORE 580834.306
AT ITER 2138 NEW BEST:: SOT 2893484 SOS 759183 HAS SOPS 759183 HAS SOUS 579950 HAS SOUPS 579950 WITH SCORE 580709.183
AT ITER 2139 NEW BEST:: SOT 2893455 SOS 758758 HAS SOPS 758758 HAS SOUS 579657 HAS SOUPS 579657 WITH SCORE 580415.758
AT ITER 2171 NEW BEST:: SOT 2893343 SOS 758533 HAS SOPS 758533 HAS SOUS 579543 HAS SOUPS 579543 WITH SCORE 580301.533
AT ITER 2178 NEW BEST:: SOT 2893017 SOS 757696 HAS SOPS 757696 HAS SOUS 575099 HAS SOUPS 575099 WITH SCORE 575856.696
AT ITER 2186 NEW BEST:: SOT 2892958 SOS 757696 HAS SOPS 757696 HAS SOUS 575040 HAS SOUPS 575040 WITH SCORE 575797.696
AT ITER 2199 NEW BEST:: SOT 2892809 SOS 757607 HAS SOPS 757607 HAS SOUS 574995 HAS SOUPS 574995 WITH SCORE 575752.607
AT ITER 2206 NEW BEST:: SOT 2892809 SOS 757572 HAS SOPS 757572 HAS SOUS 574960 HAS SOUPS 574960 WITH SCORE 575717.572
AT ITER 2209 NEW BEST:: SOT 2892375 SOS 757291 HAS SOPS 757291 HAS SOUS 574679 HAS SOUPS 574679 WITH SCORE 575436.291
AT ITER 2212 NEW BEST:: SOT 2892324 SOS 757240 HAS SOPS 757240 HAS SOUS 574628 HAS SOUPS 574628 WITH SCORE 575385.24
AT ITER 2281 NEW BEST:: SOT 2892324 SOS 757195 HAS SOPS 757195 HAS SOUS 574628 HAS SOUPS 574628 WITH SCORE 575385.195
AT ITER 2293 NEW BEST:: SOT 2892324 SOS 756826 HAS SOPS 756826 HAS SOUS 574627 HAS SOUPS 574627 WITH SCORE 575383.826
AT ITER 2325 NEW BEST:: SOT 2892166 SOS 757544 HAS SOPS 757544 HAS SOUS 574428 HAS SOUPS 574428 WITH SCORE 575185.544
AT ITER 2352 NEW BEST:: SOT 2890084 SOS 758601 HAS SOPS 758601 HAS SOUS 572758 HAS SOUPS 572758 WITH SCORE 573516.601
AT ITER 2353 NEW BEST:: SOT 2890048 SOS 758529 HAS SOPS 758529 HAS SOUS 572686 HAS SOUPS 572686 WITH SCORE 573444.529
AT ITER 2365 NEW BEST:: SOT 2890048 SOS 758492 HAS SOPS 758492 HAS SOUS 572682 HAS SOUPS 572682 WITH SCORE 573440.492
AT ITER 2368 NEW BEST:: SOT 2889796 SOS 758996 HAS SOPS 758996 HAS SOUS 572598 HAS SOUPS 572598 WITH SCORE 573356.996
AT ITER 2370 NEW BEST:: SOT 2889413 SOS 758388 HAS SOPS 758388 HAS SOUS 571977 HAS SOUPS 571977 WITH SCORE 572735.388
AT ITER 2385 NEW BEST:: SOT 2889367 SOS 758775 HAS SOPS 758775 HAS SOUS 571931 HAS SOUPS 571931 WITH SCORE 572689.775
AT ITER 2387 NEW BEST:: SOT 2889127 SOS 758016 HAS SOPS 758016 HAS SOUS 571451 HAS SOUPS 571451 WITH SCORE 572209.016
AT ITER 2391 NEW BEST:: SOT 2888786 SOS 757674 HAS SOPS 757674 HAS SOUS 571109 HAS SOUPS 571109 WITH SCORE 571866.674
AT ITER 2404 NEW BEST:: SOT 2888626 SOS 757510 HAS SOPS 757510 HAS SOUS 570948 HAS SOUPS 570948 WITH SCORE 571705.51
AT ITER 2410 NEW BEST:: SOT 2888383 SOS 757145 HAS SOPS 757145 HAS SOUS 570618 HAS SOUPS 570618 WITH SCORE 571375.145
AT ITER 2416 NEW BEST:: SOT 2888350 SOS 756886 HAS SOPS 756886 HAS SOUS 570505 HAS SOUPS 570505 WITH SCORE 571261.886
AT ITER 2436 NEW BEST:: SOT 2888350 SOS 756867 HAS SOPS 756867 HAS SOUS 570486 HAS SOUPS 570486 WITH SCORE 571242.867
AT ITER 2451 NEW BEST:: SOT 2887972 SOS 756385 HAS SOPS 756385 HAS SOUS 569960 HAS SOUPS 569960 WITH SCORE 570716.385
AT ITER 2466 NEW BEST:: SOT 2887939 SOS 756352 HAS SOPS 756352 HAS SOUS 569940 HAS SOUPS 569940 WITH SCORE 570696.352
AT ITER 2470 NEW BEST:: SOT 2887937 SOS 756327 HAS SOPS 756327 HAS SOUS 569915 HAS SOUPS 569915 WITH SCORE 570671.327
AT ITER 2488 NEW BEST:: SOT 2887832 SOS 756181 HAS SOPS 756181 HAS SOUS 569809 HAS SOUPS 569809 WITH SCORE 570565.181
AT ITER 2492 NEW BEST:: SOT 2887832 SOS 756097 HAS SOPS 756097 HAS SOUS 569809 HAS SOUPS 569809 WITH SCORE 570565.097
AT ITER 2495 NEW BEST:: SOT 2887832 SOS 756097 HAS SOPS 756097 HAS SOUS 569001 HAS SOUPS 569001 WITH SCORE 569757.097
AT ITER 2502 NEW BEST:: SOT 2885928 SOS 754421 HAS SOPS 754421 HAS SOUS 568920 HAS SOUPS 568920 WITH SCORE 569674.421
AT ITER 2519 NEW BEST:: SOT 2885678 SOS 754171 HAS SOPS 754171 HAS SOUS 566790 HAS SOUPS 566790 WITH SCORE 567544.171
AT ITER 2521 NEW BEST:: SOT 2885596 SOS 753841 HAS SOPS 753841 HAS SOUS 566624 HAS SOUPS 566624 WITH SCORE 567377.841
AT ITER 2536 NEW BEST:: SOT 2885545 SOS 753688 HAS SOPS 753688 HAS SOUS 566471 HAS SOUPS 566471 WITH SCORE 567224.688
AT ITER 2537 NEW BEST:: SOT 2885465 SOS 753288 HAS SOPS 753288 HAS SOUS 566311 HAS SOUPS 566311 WITH SCORE 567064.288
AT ITER 2550 NEW BEST:: SOT 2885409 SOS 753175 HAS SOPS 753175 HAS SOUS 566251 HAS SOUPS 566251 WITH SCORE 567004.175
AT ITER 2562 NEW BEST:: SOT 2884977 SOS 752743 HAS SOPS 752743 HAS SOUS 566196 HAS SOUPS 566196 WITH SCORE 566948.743
AT ITER 2573 NEW BEST:: SOT 2884950 SOS 752689 HAS SOPS 752689 HAS SOUS 566169 HAS SOUPS 566169 WITH SCORE 566921.689
AT ITER 2581 NEW BEST:: SOT 2884921 SOS 752631 HAS SOPS 752631 HAS SOUS 566111 HAS SOUPS 566111 WITH SCORE 566863.631
AT ITER 2582 NEW BEST:: SOT 2884724 SOS 752376 HAS SOPS 752376 HAS SOUS 565880 HAS SOUPS 565880 WITH SCORE 566632.376
AT ITER 2586 NEW BEST:: SOT 2884693 SOS 752363 HAS SOPS 752363 HAS SOUS 565818 HAS SOUPS 565818 WITH SCORE 566570.363
AT ITER 2593 NEW BEST:: SOT 2884693 SOS 752114 HAS SOPS 752114 HAS SOUS 565817 HAS SOUPS 565817 WITH SCORE 566569.114
AT ITER 2619 NEW BEST:: SOT 2884693 SOS 752125 HAS SOPS 752125 HAS SOUS 565791 HAS SOUPS 565791 WITH SCORE 566543.125
AT ITER 2630 NEW BEST:: SOT 2884244 SOS 740228 HAS SOPS 740228 HAS SOUS 564202 HAS SOUPS 564202 WITH SCORE 564942.228
AT ITER 2631 NEW BEST:: SOT 2884194 SOS 740177 HAS SOPS 740177 HAS SOUS 564151 HAS SOUPS 564151 WITH SCORE 564891.177
AT ITER 2634 NEW BEST:: SOT 2882552 SOS 738672 HAS SOPS 738672 HAS SOUS 562646 HAS SOUPS 562646 WITH SCORE 563384.672
AT ITER 2652 NEW BEST:: SOT 2883937 SOS 740290 HAS SOPS 740290 HAS SOUS 561466 HAS SOUPS 561466 WITH SCORE 562206.29
AT ITER 2671 NEW BEST:: SOT 2883784 SOS 740137 HAS SOPS 740137 HAS SOUS 561313 HAS SOUPS 561313 WITH SCORE 562053.137
AT ITER 2675 NEW BEST:: SOT 2883784 SOS 740039 HAS SOPS 740039 HAS SOUS 561215 HAS SOUPS 561215 WITH SCORE 561955.039
AT ITER 2682 NEW BEST:: SOT 2883415 SOS 739647 HAS SOPS 739647 HAS SOUS 560612 HAS SOUPS 560612 WITH SCORE 561351.647
AT ITER 2690 NEW BEST:: SOT 2883402 SOS 739634 HAS SOPS 739634 HAS SOUS 560391 HAS SOUPS 560391 WITH SCORE 561130.634
AT ITER 2716 NEW BEST:: SOT 2883376 SOS 739607 HAS SOPS 739607 HAS SOUS 560364 HAS SOUPS 560364 WITH SCORE 561103.607
AT ITER 2731 NEW BEST:: SOT 2883320 SOS 739544 HAS SOPS 739544 HAS SOUS 560350 HAS SOUPS 560350 WITH SCORE 561089.544
AT ITER 2739 NEW BEST:: SOT 2883320 SOS 739138 HAS SOPS 739138 HAS SOUS 557168 HAS SOUPS 557168 WITH SCORE 557907.138
AT ITER 2740 NEW BEST:: SOT 2882858 SOS 737891 HAS SOPS 737891 HAS SOUS 555921 HAS SOUPS 555921 WITH SCORE 556658.891
AT ITER 2744 NEW BEST:: SOT 2882858 SOS 737769 HAS SOPS 737769 HAS SOUS 555913 HAS SOUPS 555913 WITH SCORE 556650.769
AT ITER 2757 NEW BEST:: SOT 2882858 SOS 738868 HAS SOPS 738868 HAS SOUS 555885 HAS SOUPS 555885 WITH SCORE 556623.868
AT ITER 2762 NEW BEST:: SOT 2882149 SOS 738957 HAS SOPS 738957 HAS SOUS 555470 HAS SOUPS 555470 WITH SCORE 556208.957
AT ITER 2771 NEW BEST:: SOT 2882149 SOS 738900 HAS SOPS 738900 HAS SOUS 555470 HAS SOUPS 555470 WITH SCORE 556208.9
AT ITER 2777 NEW BEST:: SOT 2882149 SOS 738680 HAS SOPS 738680 HAS SOUS 555250 HAS SOUPS 555250 WITH SCORE 555988.68
AT ITER 2796 NEW BEST:: SOT 2881915 SOS 738428 HAS SOPS 738428 HAS SOUS 554980 HAS SOUPS 554980 WITH SCORE 555718.428
AT ITER 2801 NEW BEST:: SOT 2881914 SOS 738357 HAS SOPS 738357 HAS SOUS 554909 HAS SOUPS 554909 WITH SCORE 555647.357
AT ITER 2808 NEW BEST:: SOT 2881914 SOS 738356 HAS SOPS 738356 HAS SOUS 554908 HAS SOUPS 554908 WITH SCORE 555646.356
AT ITER 2819 NEW BEST:: SOT 2881557 SOS 738162 HAS SOPS 738162 HAS SOUS 554551 HAS SOUPS 554551 WITH SCORE 555289.162
AT ITER 2826 NEW BEST:: SOT 2881430 SOS 737775 HAS SOPS 737775 HAS SOUS 554297 HAS SOUPS 554297 WITH SCORE 555034.775
AT ITER 2830 NEW BEST:: SOT 2881264 SOS 737443 HAS SOPS 737443 HAS SOUS 554102 HAS SOUPS 554102 WITH SCORE 554839.443
AT ITER 2842 NEW BEST:: SOT 2881261 SOS 737187 HAS SOPS 737187 HAS SOUS 553972 HAS SOUPS 553972 WITH SCORE 554709.187
AT ITER 2869 NEW BEST:: SOT 2882376 SOS 738464 HAS SOPS 738464 HAS SOUS 553824 HAS SOUPS 553824 WITH SCORE 554562.464
AT ITER 2872 NEW BEST:: SOT 2882183 SOS 738221 HAS SOPS 738221 HAS SOUS 553556 HAS SOUPS 553556 WITH SCORE 554294.221
AT ITER 2904 NEW BEST:: SOT 2882183 SOS 738111 HAS SOPS 738111 HAS SOUS 553446 HAS SOUPS 553446 WITH SCORE 554184.111
AT ITER 2907 NEW BEST:: SOT 2881976 SOS 737467 HAS SOPS 737467 HAS SOUS 552802 HAS SOUPS 552802 WITH SCORE 553539.467
AT ITER 2919 NEW BEST:: SOT 2881906 SOS 737467 HAS SOPS 737467 HAS SOUS 552732 HAS SOUPS 552732 WITH SCORE 553469.467
AT ITER 2948 NEW BEST:: SOT 2881865 SOS 737327 HAS SOPS 737327 HAS SOUS 552649 HAS SOUPS 552649 WITH SCORE 553386.327
AT ITER 2949 NEW BEST:: SOT 2881865 SOS 737320 HAS SOPS 737320 HAS SOUS 552648 HAS SOUPS 552648 WITH SCORE 553385.32
AT ITER 2975 NEW BEST:: SOT 2881728 SOS 737277 HAS SOPS 737277 HAS SOUS 552605 HAS SOUPS 552605 WITH SCORE 553342.277
AT ITER 2976 NEW BEST:: SOT 2881691 SOS 737055 HAS SOPS 737055 HAS SOUS 552527 HAS SOUPS 552527 WITH SCORE 553264.055
AT ITER 2990 NEW BEST:: SOT 2881691 SOS 737048 HAS SOPS 737048 HAS SOUS 552527 HAS SOUPS 552527 WITH SCORE 553264.048
AT ITER 2992 NEW BEST:: SOT 2881645 SOS 736910 HAS SOPS 736910 HAS SOUS 552389 HAS SOUPS 552389 WITH SCORE 553125.91
AT ITER 2996 NEW BEST:: SOT 2880453 SOS 738311 HAS SOPS 738311 HAS SOUS 551400 HAS SOUPS 551400 WITH SCORE 552138.311
AT ITER 3004 NEW BEST:: SOT 2880452 SOS 738204 HAS SOPS 738204 HAS SOUS 551396 HAS SOUPS 551396 WITH SCORE 552134.204
AT ITER 3034 NEW BEST:: SOT 2880406 SOS 738204 HAS SOPS 738204 HAS SOUS 551350 HAS SOUPS 551350 WITH SCORE 552088.204
AT ITER 3078 NEW BEST:: SOT 2879606 SOS 737404 HAS SOPS 737404 HAS SOUS 550550 HAS SOUPS 550550 WITH SCORE 551287.404
AT ITER 3091 NEW BEST:: SOT 2879573 SOS 737371 HAS SOPS 737371 HAS SOUS 550516 HAS SOUPS 550516 WITH SCORE 551253.371
AT ITER 3099 NEW BEST:: SOT 2878987 SOS 736983 HAS SOPS 736983 HAS SOUS 549930 HAS SOUPS 549930 WITH SCORE 550666.983
AT ITER 3132 NEW BEST:: SOT 2878924 SOS 736821 HAS SOPS 736821 HAS SOUS 549858 HAS SOUPS 549858 WITH SCORE 550594.821
AT ITER 3139 NEW BEST:: SOT 2878685 SOS 737468 HAS SOPS 737468 HAS SOUS 549618 HAS SOUPS 549618 WITH SCORE 550355.468
AT ITER 3142 NEW BEST:: SOT 2878498 SOS 737468 HAS SOPS 737468 HAS SOUS 549461 HAS SOUPS 549461 WITH SCORE 550198.468
AT ITER 3147 NEW BEST:: SOT 2878446 SOS 737364 HAS SOPS 737364 HAS SOUS 549357 HAS SOUPS 549357 WITH SCORE 550094.364
AT ITER 3162 NEW BEST:: SOT 2878304 SOS 736892 HAS SOPS 736892 HAS SOUS 548885 HAS SOUPS 548885 WITH SCORE 549621.892
AT ITER 3164 NEW BEST:: SOT 2878248 SOS 736865 HAS SOPS 736865 HAS SOUS 548857 HAS SOUPS 548857 WITH SCORE 549593.865
AT ITER 3190 NEW BEST:: SOT 2878199 SOS 737199 HAS SOPS 737199 HAS SOUS 548759 HAS SOUPS 548759 WITH SCORE 549496.199
AT ITER 3197 NEW BEST:: SOT 2878441 SOS 740488 HAS SOPS 740488 HAS SOUS 547390 HAS SOUPS 547390 WITH SCORE 548130.488
AT ITER 3224 NEW BEST:: SOT 2877971 SOS 739942 HAS SOPS 739942 HAS SOUS 546844 HAS SOUPS 546844 WITH SCORE 547583.942
AT ITER 3230 NEW BEST:: SOT 2877883 SOS 739896 HAS SOPS 739896 HAS SOUS 546798 HAS SOUPS 546798 WITH SCORE 547537.896
AT ITER 3232 NEW BEST:: SOT 2877822 SOS 739835 HAS SOPS 739835 HAS SOUS 546737 HAS SOUPS 546737 WITH SCORE 547476.835
AT ITER 3253 NEW BEST:: SOT 2877650 SOS 739491 HAS SOPS 739491 HAS SOUS 546393 HAS SOUPS 546393 WITH SCORE 547132.491
AT ITER 3254 NEW BEST:: SOT 2877650 SOS 739469 HAS SOPS 739469 HAS SOUS 546371 HAS SOUPS 546371 WITH SCORE 547110.469
AT ITER 3270 NEW BEST:: SOT 2877328 SOS 739249 HAS SOPS 739249 HAS SOUS 545994 HAS SOUPS 545994 WITH SCORE 546733.249
AT ITER 3281 NEW BEST:: SOT 2880992 SOS 743167 HAS SOPS 743167 HAS SOUS 545007 HAS SOUPS 545007 WITH SCORE 545750.167
AT ITER 3286 NEW BEST:: SOT 2880866 SOS 742915 HAS SOPS 742915 HAS SOUS 544755 HAS SOUPS 544755 WITH SCORE 545497.915
AT ITER 3290 NEW BEST:: SOT 2880538 SOS 742587 HAS SOPS 742587 HAS SOUS 544427 HAS SOUPS 544427 WITH SCORE 545169.587
AT ITER 3316 NEW BEST:: SOT 2880475 SOS 742545 HAS SOPS 742545 HAS SOUS 544385 HAS SOUPS 544385 WITH SCORE 545127.545
AT ITER 3325 NEW BEST:: SOT 2880475 SOS 742543 HAS SOPS 742543 HAS SOUS 544383 HAS SOUPS 544383 WITH SCORE 545125.543
AT ITER 3342 NEW BEST:: SOT 2880472 SOS 742537 HAS SOPS 742537 HAS SOUS 544377 HAS SOUPS 544377 WITH SCORE 545119.537
AT ITER 3355 NEW BEST:: SOT 2880471 SOS 742535 HAS SOPS 742535 HAS SOUS 544375 HAS SOUPS 544375 WITH SCORE 545117.535
AT ITER 3375 NEW BEST:: SOT 2880145 SOS 741987 HAS SOPS 741987 HAS SOUS 543827 HAS SOUPS 543827 WITH SCORE 544568.987
AT ITER 3377 NEW BEST:: SOT 2880145 SOS 741837 HAS SOPS 741837 HAS SOUS 543677 HAS SOUPS 543677 WITH SCORE 544418.837
AT ITER 3381 NEW BEST:: SOT 2882540 SOS 744580 HAS SOPS 744580 HAS SOUS 541931 HAS SOUPS 541931 WITH SCORE 542675.58
AT ITER 3383 NEW BEST:: SOT 2882376 SOS 744416 HAS SOPS 744416 HAS SOUS 541767 HAS SOUPS 541767 WITH SCORE 542511.416
AT ITER 3394 NEW BEST:: SOT 2881957 SOS 746978 HAS SOPS 746978 HAS SOUS 541625 HAS SOUPS 541625 WITH SCORE 542371.978
AT ITER 3402 NEW BEST:: SOT 2881906 SOS 748079 HAS SOPS 748079 HAS SOUS 541515 HAS SOUPS 541515 WITH SCORE 542263.079
AT ITER 3409 NEW BEST:: SOT 2881861 SOS 747989 HAS SOPS 747989 HAS SOUS 541425 HAS SOUPS 541425 WITH SCORE 542172.989
AT ITER 3410 NEW BEST:: SOT 2881567 SOS 747891 HAS SOPS 747891 HAS SOUS 541102 HAS SOUPS 541102 WITH SCORE 541849.891
AT ITER 3412 NEW BEST:: SOT 2881547 SOS 747851 HAS SOPS 747851 HAS SOUS 541062 HAS SOUPS 541062 WITH SCORE 541809.851
AT ITER 3415 NEW BEST:: SOT 2881547 SOS 747767 HAS SOPS 747767 HAS SOUS 540978 HAS SOUPS 540978 WITH SCORE 541725.767
AT ITER 3430 NEW BEST:: SOT 2881517 SOS 747707 HAS SOPS 747707 HAS SOUS 540918 HAS SOUPS 540918 WITH SCORE 541665.707
AT ITER 3432 NEW BEST:: SOT 2881476 SOS 747624 HAS SOPS 747624 HAS SOUS 540645 HAS SOUPS 540645 WITH SCORE 541392.624
AT ITER 3439 NEW BEST:: SOT 2881476 SOS 747571 HAS SOPS 747571 HAS SOUS 540632 HAS SOUPS 540632 WITH SCORE 541379.571
AT ITER 3441 NEW BEST:: SOT 2881334 SOS 747650 HAS SOPS 747650 HAS SOUS 540348 HAS SOUPS 540348 WITH SCORE 541095.65
AT ITER 3451 NEW BEST:: SOT 2881217 SOS 747376 HAS SOPS 747376 HAS SOUS 540025 HAS SOUPS 540025 WITH SCORE 540772.376
AT ITER 3460 NEW BEST:: SOT 2881201 SOS 747336 HAS SOPS 747336 HAS SOUS 539993 HAS SOUPS 539993 WITH SCORE 540740.336
AT ITER 3477 NEW BEST:: SOT 2881153 SOS 747290 HAS SOPS 747290 HAS SOUS 539947 HAS SOUPS 539947 WITH SCORE 540694.29
AT ITER 3494 NEW BEST:: SOT 2881152 SOS 747029 HAS SOPS 747029 HAS SOUS 539945 HAS SOUPS 539945 WITH SCORE 540692.029
AT ITER 3519 NEW BEST:: SOT 2881152 SOS 747085 HAS SOPS 747085 HAS SOUS 539163 HAS SOUPS 539163 WITH SCORE 539910.085
AT ITER 3530 NEW BEST:: SOT 2881075 SOS 746981 HAS SOPS 746981 HAS SOUS 539068 HAS SOUPS 539068 WITH SCORE 539814.981
AT ITER 3531 NEW BEST:: SOT 2881075 SOS 746956 HAS SOPS 746956 HAS SOUS 539043 HAS SOUPS 539043 WITH SCORE 539789.956
AT ITER 3537 NEW BEST:: SOT 2880016 SOS 746013 HAS SOPS 746013 HAS SOUS 538332 HAS SOUPS 538332 WITH SCORE 539078.013
AT ITER 3539 NEW BEST:: SOT 2879847 SOS 745675 HAS SOPS 745675 HAS SOUS 537994 HAS SOUPS 537994 WITH SCORE 538739.675
AT ITER 3542 NEW BEST:: SOT 2879846 SOS 745674 HAS SOPS 745674 HAS SOUS 537993 HAS SOUPS 537993 WITH SCORE 538738.674
AT ITER 3543 NEW BEST:: SOT 2879766 SOS 745514 HAS SOPS 745514 HAS SOUS 537893 HAS SOUPS 537893 WITH SCORE 538638.514
AT ITER 3574 NEW BEST:: SOT 2879565 SOS 745335 HAS SOPS 745335 HAS SOUS 537646 HAS SOUPS 537646 WITH SCORE 538391.335
AT ITER 3580 NEW BEST:: SOT 2879565 SOS 745372 HAS SOPS 745372 HAS SOUS 537645 HAS SOUPS 537645 WITH SCORE 538390.372
AT ITER 3600 NEW BEST:: SOT 2880053 SOS 746162 HAS SOPS 746162 HAS SOUS 537568 HAS SOUPS 537568 WITH SCORE 538314.162
AT ITER 3626 NEW BEST:: SOT 2880052 SOS 745768 HAS SOPS 745768 HAS SOUS 537183 HAS SOUPS 537183 WITH SCORE 537928.768
AT ITER 3639 NEW BEST:: SOT 2879846 SOS 745054 HAS SOPS 745054 HAS SOUS 536807 HAS SOUPS 536807 WITH SCORE 537552.054
AT ITER 3643 NEW BEST:: SOT 2879924 SOS 745015 HAS SOPS 745015 HAS SOUS 536646 HAS SOUPS 536646 WITH SCORE 537391.015
AT ITER 3667 NEW BEST:: SOT 2879924 SOS 744915 HAS SOPS 744915 HAS SOUS 536596 HAS SOUPS 536596 WITH SCORE 537340.915
AT ITER 3670 NEW BEST:: SOT 2879704 SOS 744287 HAS SOPS 744287 HAS SOUS 536156 HAS SOUPS 536156 WITH SCORE 536900.287
AT ITER 3678 NEW BEST:: SOT 2879702 SOS 744282 HAS SOPS 744282 HAS SOUS 536151 HAS SOUPS 536151 WITH SCORE 536895.282
AT ITER 3684 NEW BEST:: SOT 2879407 SOS 743883 HAS SOPS 743883 HAS SOUS 535650 HAS SOUPS 535650 WITH SCORE 536393.883
AT ITER 3721 NEW BEST:: SOT 2879263 SOS 743734 HAS SOPS 743734 HAS SOUS 535555 HAS SOUPS 535555 WITH SCORE 536298.734
AT ITER 3723 NEW BEST:: SOT 2879263 SOS 743695 HAS SOPS 743695 HAS SOUS 535544 HAS SOUPS 535544 WITH SCORE 536287.695
AT ITER 3730 NEW BEST:: SOT 2879190 SOS 743476 HAS SOPS 743476 HAS SOUS 535398 HAS SOUPS 535398 WITH SCORE 536141.476
AT ITER 3742 NEW BEST:: SOT 2879190 SOS 743433 HAS SOPS 743433 HAS SOUS 535390 HAS SOUPS 535390 WITH SCORE 536133.433
AT ITER 3759 NEW BEST:: SOT 2876897 SOS 741140 HAS SOPS 741140 HAS SOUS 535161 HAS SOUPS 535161 WITH SCORE 535902.14
AT ITER 3773 NEW BEST:: SOT 2876897 SOS 741053 HAS SOPS 741053 HAS SOUS 535159 HAS SOUPS 535159 WITH SCORE 535900.053
AT ITER 3779 NEW BEST:: SOT 2876711 SOS 740299 HAS SOPS 740299 HAS SOUS 534787 HAS SOUPS 534787 WITH SCORE 535527.299
AT ITER 3793 NEW BEST:: SOT 2876298 SOS 739895 HAS SOPS 739895 HAS SOUS 534680 HAS SOUPS 534680 WITH SCORE 535419.895
AT ITER 3796 NEW BEST:: SOT 2876281 SOS 739861 HAS SOPS 739861 HAS SOUS 534646 HAS SOUPS 534646 WITH SCORE 535385.861
AT ITER 3800 NEW BEST:: SOT 2872932 SOS 736492 HAS SOPS 736492 HAS SOUS 533357 HAS SOUPS 533357 WITH SCORE 534093.492
AT ITER 3801 NEW BEST:: SOT 2872802 SOS 736362 HAS SOPS 736362 HAS SOUS 533347 HAS SOUPS 533347 WITH SCORE 534083.362
AT ITER 3805 NEW BEST:: SOT 2872642 SOS 736268 HAS SOPS 736268 HAS SOUS 533205 HAS SOUPS 533205 WITH SCORE 533941.268
AT ITER 3807 NEW BEST:: SOT 2872642 SOS 735388 HAS SOPS 735388 HAS SOUS 533205 HAS SOUPS 533205 WITH SCORE 533940.388
AT ITER 3824 NEW BEST:: SOT 2872642 SOS 735384 HAS SOPS 735384 HAS SOUS 533197 HAS SOUPS 533197 WITH SCORE 533932.384
AT ITER 3827 NEW BEST:: SOT 2871763 SOS 734721 HAS SOPS 734721 HAS SOUS 532419 HAS SOUPS 532419 WITH SCORE 533153.721
AT ITER 3830 NEW BEST:: SOT 2871656 SOS 734621 HAS SOPS 734621 HAS SOUS 532368 HAS SOUPS 532368 WITH SCORE 533102.621
AT ITER 3840 NEW BEST:: SOT 2871656 SOS 733938 HAS SOPS 733938 HAS SOUS 532368 HAS SOUPS 532368 WITH SCORE 533101.938
AT ITER 3841 NEW BEST:: SOT 2871656 SOS 734774 HAS SOPS 734774 HAS SOUS 532168 HAS SOUPS 532168 WITH SCORE 532902.774
AT ITER 3843 NEW BEST:: SOT 2871636 SOS 734740 HAS SOPS 734740 HAS SOUS 532113 HAS SOUPS 532113 WITH SCORE 532847.74
AT ITER 3858 NEW BEST:: SOT 2871597 SOS 734662 HAS SOPS 734662 HAS SOUS 532035 HAS SOUPS 532035 WITH SCORE 532769.662
AT ITER 3860 NEW BEST:: SOT 2871229 SOS 734943 HAS SOPS 734943 HAS SOUS 531750 HAS SOUPS 531750 WITH SCORE 532484.943
AT ITER 3866 NEW BEST:: SOT 2871810 SOS 735675 HAS SOPS 735675 HAS SOUS 529426 HAS SOUPS 529426 WITH SCORE 530161.675
AT ITER 3871 NEW BEST:: SOT 2871712 SOS 734793 HAS SOPS 734793 HAS SOUS 529230 HAS SOUPS 529230 WITH SCORE 529964.793
AT ITER 3874 NEW BEST:: SOT 2871711 SOS 734729 HAS SOPS 734729 HAS SOUS 529166 HAS SOUPS 529166 WITH SCORE 529900.729
AT ITER 3886 NEW BEST:: SOT 2871782 SOS 734443 HAS SOPS 734443 HAS SOUS 528613 HAS SOUPS 528613 WITH SCORE 529347.443
AT ITER 3916 NEW BEST:: SOT 2871735 SOS 734407 HAS SOPS 734407 HAS SOUS 528563 HAS SOUPS 528563 WITH SCORE 529297.407
AT ITER 3920 NEW BEST:: SOT 2871485 SOS 733947 HAS SOPS 733947 HAS SOUS 528246 HAS SOUPS 528246 WITH SCORE 528979.947
AT ITER 3925 NEW BEST:: SOT 2871339 SOS 733743 HAS SOPS 733743 HAS SOUS 528100 HAS SOUPS 528100 WITH SCORE 528833.743
AT ITER 3935 NEW BEST:: SOT 2871322 SOS 733504 HAS SOPS 733504 HAS SOUS 527861 HAS SOUPS 527861 WITH SCORE 528594.504
AT ITER 3966 NEW BEST:: SOT 2870410 SOS 732478 HAS SOPS 732478 HAS SOUS 527626 HAS SOUPS 527626 WITH SCORE 528358.478
AT ITER 3981 NEW BEST:: SOT 2869760 SOS 731614 HAS SOPS 731614 HAS SOUS 527345 HAS SOUPS 527345 WITH SCORE 528076.614
AT ITER 4018 NEW BEST:: SOT 2869756 SOS 731753 HAS SOPS 731753 HAS SOUS 527337 HAS SOUPS 527337 WITH SCORE 528068.753
AT ITER 4036 NEW BEST:: SOT 2869499 SOS 731495 HAS SOPS 731495 HAS SOUS 527079 HAS SOUPS 527079 WITH SCORE 527810.495
AT ITER 4044 NEW BEST:: SOT 2869462 SOS 731373 HAS SOPS 731373 HAS SOUS 527048 HAS SOUPS 527048 WITH SCORE 527779.373
AT ITER 4068 NEW BEST:: SOT 2869402 SOS 731313 HAS SOPS 731313 HAS SOUS 526988 HAS SOUPS 526988 WITH SCORE 527719.313
AT ITER 4080 NEW BEST:: SOT 2869399 SOS 731308 HAS SOPS 731308 HAS SOUS 526982 HAS SOUPS 526982 WITH SCORE 527713.308
AT ITER 4091 NEW BEST:: SOT 2869579 SOS 732028 HAS SOPS 732028 HAS SOUS 526573 HAS SOUPS 526573 WITH SCORE 527305.028
AT ITER 4101 NEW BEST:: SOT 2869579 SOS 732028 HAS SOPS 732028 HAS SOUS 526540 HAS SOUPS 526540 WITH SCORE 527272.028
AT ITER 4112 NEW BEST:: SOT 2869560 SOS 731990 HAS SOPS 731990 HAS SOUS 526502 HAS SOUPS 526502 WITH SCORE 527233.99
AT ITER 4123 NEW BEST:: SOT 2869551 SOS 732035 HAS SOPS 732035 HAS SOUS 526484 HAS SOUPS 526484 WITH SCORE 527216.035
AT ITER 4126 NEW BEST:: SOT 2869328 SOS 731812 HAS SOPS 731812 HAS SOUS 526261 HAS SOUPS 526261 WITH SCORE 526992.812
AT ITER 4143 NEW BEST:: SOT 2869297 SOS 731572 HAS SOPS 731572 HAS SOUS 526258 HAS SOUPS 526258 WITH SCORE 526989.572
AT ITER 4151 NEW BEST:: SOT 2867640 SOS 730501 HAS SOPS 730501 HAS SOUS 525266 HAS SOUPS 525266 WITH SCORE 525996.501
AT ITER 4157 NEW BEST:: SOT 2867488 SOS 730176 HAS SOPS 730176 HAS SOUS 524941 HAS SOUPS 524941 WITH SCORE 525671.176
AT ITER 4173 NEW BEST:: SOT 2867384 SOS 730010 HAS SOPS 730010 HAS SOUS 524775 HAS SOUPS 524775 WITH SCORE 525505.01
AT ITER 4231 NEW BEST:: SOT 2867174 SOS 729800 HAS SOPS 729800 HAS SOUS 524565 HAS SOUPS 524565 WITH SCORE 525294.8
AT ITER 4237 NEW BEST:: SOT 2867072 SOS 729686 HAS SOPS 729686 HAS SOUS 524463 HAS SOUPS 524463 WITH SCORE 525192.686
AT ITER 4249 NEW BEST:: SOT 2867072 SOS 729685 HAS SOPS 729685 HAS SOUS 524159 HAS SOUPS 524159 WITH SCORE 524888.685
AT ITER 4261 NEW BEST:: SOT 2866256 SOS 729685 HAS SOPS 729685 HAS SOUS 523343 HAS SOUPS 523343 WITH SCORE 524072.685
AT ITER 4278 NEW BEST:: SOT 2866256 SOS 729426 HAS SOPS 729426 HAS SOUS 523342 HAS SOUPS 523342 WITH SCORE 524071.426
AT ITER 4293 NEW BEST:: SOT 2866256 SOS 728926 HAS SOPS 728926 HAS SOUS 523211 HAS SOUPS 523211 WITH SCORE 523939.926
AT ITER 4310 NEW BEST:: SOT 2866121 SOS 729007 HAS SOPS 729007 HAS SOUS 523181 HAS SOUPS 523181 WITH SCORE 523910.007
AT ITER 4314 NEW BEST:: SOT 2866011 SOS 729511 HAS SOPS 729511 HAS SOUS 523071 HAS SOUPS 523071 WITH SCORE 523800.511
AT ITER 4345 NEW BEST:: SOT 2865907 SOS 729439 HAS SOPS 729439 HAS SOUS 522999 HAS SOUPS 522999 WITH SCORE 523728.439
AT ITER 4346 NEW BEST:: SOT 2865856 SOS 730259 HAS SOPS 730259 HAS SOUS 522874 HAS SOUPS 522874 WITH SCORE 523604.259
AT ITER 4410 NEW BEST:: SOT 2865806 SOS 730209 HAS SOPS 730209 HAS SOUS 522824 HAS SOUPS 522824 WITH SCORE 523554.209
AT ITER 4427 NEW BEST:: SOT 2865505 SOS 729640 HAS SOPS 729640 HAS SOUS 522255 HAS SOUPS 522255 WITH SCORE 522984.64
AT ITER 4432 NEW BEST:: SOT 2865141 SOS 728760 HAS SOPS 728760 HAS SOUS 522077 HAS SOUPS 522077 WITH SCORE 522805.76
AT ITER 4445 NEW BEST:: SOT 2865242 SOS 728673 HAS SOPS 728673 HAS SOUS 521990 HAS SOUPS 521990 WITH SCORE 522718.673
AT ITER 4446 NEW BEST:: SOT 2865514 SOS 729057 HAS SOPS 729057 HAS SOUS 521750 HAS SOUPS 521750 WITH SCORE 522479.057
AT ITER 4453 NEW BEST:: SOT 2865439 SOS 728960 HAS SOPS 728960 HAS SOUS 521653 HAS SOUPS 521653 WITH SCORE 522381.96
AT ITER 4476 NEW BEST:: SOT 2865356 SOS 728877 HAS SOPS 728877 HAS SOUS 521570 HAS SOUPS 521570 WITH SCORE 522298.877
AT ITER 4511 NEW BEST:: SOT 2865325 SOS 728846 HAS SOPS 728846 HAS SOUS 521539 HAS SOUPS 521539 WITH SCORE 522267.846
AT ITER 4512 NEW BEST:: SOT 2865102 SOS 728350 HAS SOPS 728350 HAS SOUS 521263 HAS SOUPS 521263 WITH SCORE 521991.35
AT ITER 4514 NEW BEST:: SOT 2865092 SOS 728338 HAS SOPS 728338 HAS SOUS 521251 HAS SOUPS 521251 WITH SCORE 521979.338
AT ITER 4517 NEW BEST:: SOT 2865367 SOS 728622 HAS SOPS 728622 HAS SOUS 521235 HAS SOUPS 521235 WITH SCORE 521963.622
AT ITER 4519 NEW BEST:: SOT 2865367 SOS 728620 HAS SOPS 728620 HAS SOUS 521233 HAS SOUPS 521233 WITH SCORE 521961.62
AT ITER 4565 NEW BEST:: SOT 2865367 SOS 728609 HAS SOPS 728609 HAS SOUS 521233 HAS SOUPS 521233 WITH SCORE 521961.609
AT ITER 4605 NEW BEST:: SOT 2865275 SOS 728579 HAS SOPS 728579 HAS SOUS 521231 HAS SOUPS 521231 WITH SCORE 521959.579
AT ITER 4634 NEW BEST:: SOT 2865254 SOS 728383 HAS SOPS 728383 HAS SOUS 521016 HAS SOUPS 521016 WITH SCORE 521744.383
AT ITER 4636 NEW BEST:: SOT 2865079 SOS 728277 HAS SOPS 728277 HAS SOUS 520794 HAS SOUPS 520794 WITH SCORE 521522.277
AT ITER 4660 NEW BEST:: SOT 2865079 SOS 728224 HAS SOPS 728224 HAS SOUS 520741 HAS SOUPS 520741 WITH SCORE 521469.224
AT ITER 4662 NEW BEST:: SOT 2865079 SOS 728502 HAS SOPS 728502 HAS SOUS 520565 HAS SOUPS 520565 WITH SCORE 521293.502
AT ITER 4700 NEW BEST:: SOT 2865075 SOS 728494 HAS SOPS 728494 HAS SOUS 520557 HAS SOUPS 520557 WITH SCORE 521285.494
AT ITER 4718 NEW BEST:: SOT 2864628 SOS 728149 HAS SOPS 728149 HAS SOUS 520230 HAS SOUPS 520230 WITH SCORE 520958.149
AT ITER 4734 NEW BEST:: SOT 2864654 SOS 728201 HAS SOPS 728201 HAS SOUS 520210 HAS SOUPS 520210 WITH SCORE 520938.201
AT ITER 4741 NEW BEST:: SOT 2864792 SOS 728197 HAS SOPS 728197 HAS SOUS 520007 HAS SOUPS 520007 WITH SCORE 520735.197
AT ITER 4745 NEW BEST:: SOT 2864780 SOS 728173 HAS SOPS 728173 HAS SOUS 519983 HAS SOUPS 519983 WITH SCORE 520711.173
AT ITER 4750 NEW BEST:: SOT 2864779 SOS 727953 HAS SOPS 727953 HAS SOUS 519981 HAS SOUPS 519981 WITH SCORE 520708.953
AT ITER 4761 NEW BEST:: SOT 2864779 SOS 727975 HAS SOPS 727975 HAS SOUS 519961 HAS SOUPS 519961 WITH SCORE 520688.975
AT ITER 4765 NEW BEST:: SOT 2864779 SOS 727938 HAS SOPS 727938 HAS SOUS 519961 HAS SOUPS 519961 WITH SCORE 520688.938
AT ITER 4778 NEW BEST:: SOT 2864740 SOS 727470 HAS SOPS 727470 HAS SOUS 519883 HAS SOUPS 519883 WITH SCORE 520610.47
AT ITER 4801 NEW BEST:: SOT 2864740 SOS 727428 HAS SOPS 727428 HAS SOUS 519881 HAS SOUPS 519881 WITH SCORE 520608.428
AT ITER 4807 NEW BEST:: SOT 2864715 SOS 727239 HAS SOPS 727239 HAS SOUS 519881 HAS SOUPS 519881 WITH SCORE 520608.239
AT ITER 4823 NEW BEST:: SOT 2864715 SOS 727227 HAS SOPS 727227 HAS SOUS 519876 HAS SOUPS 519876 WITH SCORE 520603.227
AT ITER 4830 NEW BEST:: SOT 2864715 SOS 727178 HAS SOPS 727178 HAS SOUS 519827 HAS SOUPS 519827 WITH SCORE 520554.178
AT ITER 4845 NEW BEST:: SOT 2863547 SOS 726010 HAS SOPS 726010 HAS SOUS 519681 HAS SOUPS 519681 WITH SCORE 520407.01
AT ITER 4866 NEW BEST:: SOT 2863344 SOS 725825 HAS SOPS 725825 HAS SOUS 519496 HAS SOUPS 519496 WITH SCORE 520221.825
AT ITER 4876 NEW BEST:: SOT 2865097 SOS 728020 HAS SOPS 728020 HAS SOUS 518795 HAS SOUPS 518795 WITH SCORE 519523.02
AT ITER 4883 NEW BEST:: SOT 2864914 SOS 727654 HAS SOPS 727654 HAS SOUS 518429 HAS SOUPS 518429 WITH SCORE 519156.654
AT ITER 4886 NEW BEST:: SOT 2864925 SOS 727676 HAS SOPS 727676 HAS SOUS 518151 HAS SOUPS 518151 WITH SCORE 518878.676
AT ITER 4908 NEW BEST:: SOT 2864925 SOS 727494 HAS SOPS 727494 HAS SOUS 518151 HAS SOUPS 518151 WITH SCORE 518878.494
AT ITER 4909 NEW BEST:: SOT 2864839 SOS 727632 HAS SOPS 727632 HAS SOUS 518062 HAS SOUPS 518062 WITH SCORE 518789.632
AT ITER 4915 NEW BEST:: SOT 2864839 SOS 726840 HAS SOPS 726840 HAS SOUS 517963 HAS SOUPS 517963 WITH SCORE 518689.84
AT ITER 4920 NEW BEST:: SOT 2864839 SOS 726840 HAS SOPS 726840 HAS SOUS 517962 HAS SOUPS 517962 WITH SCORE 518688.84
AT ITER 4933 NEW BEST:: SOT 2864776 SOS 726777 HAS SOPS 726777 HAS SOUS 517898 HAS SOUPS 517898 WITH SCORE 518624.777
AT ITER 4962 NEW BEST:: SOT 2864823 SOS 726789 HAS SOPS 726789 HAS SOUS 517863 HAS SOUPS 517863 WITH SCORE 518589.789
AT ITER 4970 NEW BEST:: SOT 2864370 SOS 726490 HAS SOPS 726490 HAS SOUS 517560 HAS SOUPS 517560 WITH SCORE 518286.49
AT ITER 5019 NEW BEST:: SOT 2864301 SOS 726387 HAS SOPS 726387 HAS SOUS 517457 HAS SOUPS 517457 WITH SCORE 518183.387
AT ITER 5034 NEW BEST:: SOT 2864301 SOS 726690 HAS SOPS 726690 HAS SOUS 517422 HAS SOUPS 517422 WITH SCORE 518148.69
AT ITER 5035 NEW BEST:: SOT 2863813 SOS 726202 HAS SOPS 726202 HAS SOUS 516934 HAS SOUPS 516934 WITH SCORE 517660.202
AT ITER 5036 NEW BEST:: SOT 2863813 SOS 726177 HAS SOPS 726177 HAS SOUS 516909 HAS SOUPS 516909 WITH SCORE 517635.177
AT ITER 5051 NEW BEST:: SOT 2863670 SOS 726129 HAS SOPS 726129 HAS SOUS 516861 HAS SOUPS 516861 WITH SCORE 517587.129
AT ITER 5068 NEW BEST:: SOT 2863545 SOS 726004 HAS SOPS 726004 HAS SOUS 516733 HAS SOUPS 516733 WITH SCORE 517459.004
AT ITER 5081 NEW BEST:: SOT 2863469 SOS 725440 HAS SOPS 725440 HAS SOUS 516659 HAS SOUPS 516659 WITH SCORE 517384.44
AT ITER 5095 NEW BEST:: SOT 2863467 SOS 725436 HAS SOPS 725436 HAS SOUS 516635 HAS SOUPS 516635 WITH SCORE 517360.436
AT ITER 5112 NEW BEST:: SOT 2863362 SOS 725226 HAS SOPS 725226 HAS SOUS 516419 HAS SOUPS 516419 WITH SCORE 517144.226
AT ITER 5127 NEW BEST:: SOT 2863331 SOS 725164 HAS SOPS 725164 HAS SOUS 516357 HAS SOUPS 516357 WITH SCORE 517082.164
AT ITER 5171 NEW BEST:: SOT 2863253 SOS 725008 HAS SOPS 725008 HAS SOUS 516201 HAS SOUPS 516201 WITH SCORE 516926.008
AT ITER 5178 NEW BEST:: SOT 2862779 SOS 724868 HAS SOPS 724868 HAS SOUS 516080 HAS SOUPS 516080 WITH SCORE 516804.868
AT ITER 5187 NEW BEST:: SOT 2862824 SOS 724529 HAS SOPS 724529 HAS SOUS 515870 HAS SOUPS 515870 WITH SCORE 516594.529
AT ITER 5198 NEW BEST:: SOT 2862238 SOS 723997 HAS SOPS 723997 HAS SOUS 515722 HAS SOUPS 515722 WITH SCORE 516445.997
AT ITER 5213 NEW BEST:: SOT 2862238 SOS 723991 HAS SOPS 723991 HAS SOUS 515722 HAS SOUPS 515722 WITH SCORE 516445.991
AT ITER 5221 NEW BEST:: SOT 2862238 SOS 723983 HAS SOPS 723983 HAS SOUS 515722 HAS SOUPS 515722 WITH SCORE 516445.983
AT ITER 5235 NEW BEST:: SOT 2862191 SOS 723996 HAS SOPS 723996 HAS SOUS 515682 HAS SOUPS 515682 WITH SCORE 516405.996
AT ITER 5238 NEW BEST:: SOT 2860421 SOS 723127 HAS SOPS 723127 HAS SOUS 514370 HAS SOUPS 514370 WITH SCORE 515093.127
AT ITER 5242 NEW BEST:: SOT 2860421 SOS 723131 HAS SOPS 723131 HAS SOUS 514359 HAS SOUPS 514359 WITH SCORE 515082.131
AT ITER 5250 NEW BEST:: SOT 2860412 SOS 723150 HAS SOPS 723150 HAS SOUS 514350 HAS SOUPS 514350 WITH SCORE 515073.15
AT ITER 5279 NEW BEST:: SOT 2860335 SOS 723075 HAS SOPS 723075 HAS SOUS 514289 HAS SOUPS 514289 WITH SCORE 515012.075
AT ITER 5291 NEW BEST:: SOT 2860513 SOS 723400 HAS SOPS 723400 HAS SOUS 512614 HAS SOUPS 512614 WITH SCORE 513337.4
AT ITER 5292 NEW BEST:: SOT 2860387 SOS 723273 HAS SOPS 723273 HAS SOUS 512487 HAS SOUPS 512487 WITH SCORE 513210.273
AT ITER 5294 NEW BEST:: SOT 2860302 SOS 723242 HAS SOPS 723242 HAS SOUS 512485 HAS SOUPS 512485 WITH SCORE 513208.242
AT ITER 5297 NEW BEST:: SOT 2860342 SOS 721756 HAS SOPS 721756 HAS SOUS 512304 HAS SOUPS 512304 WITH SCORE 513025.756
AT ITER 5303 NEW BEST:: SOT 2860332 SOS 721746 HAS SOPS 721746 HAS SOUS 512294 HAS SOUPS 512294 WITH SCORE 513015.746
AT ITER 5310 NEW BEST:: SOT 2860230 SOS 720930 HAS SOPS 720930 HAS SOUS 512055 HAS SOUPS 512055 WITH SCORE 512775.93
AT ITER 5314 NEW BEST:: SOT 2860177 SOS 721195 HAS SOPS 721195 HAS SOUS 512002 HAS SOUPS 512002 WITH SCORE 512723.195
AT ITER 5359 NEW BEST:: SOT 2860210 SOS 721135 HAS SOPS 721135 HAS SOUS 511909 HAS SOUPS 511909 WITH SCORE 512630.135
AT ITER 5372 NEW BEST:: SOT 2860173 SOS 720813 HAS SOPS 720813 HAS SOUS 511680 HAS SOUPS 511680 WITH SCORE 512400.813
AT ITER 5373 NEW BEST:: SOT 2860108 SOS 720683 HAS SOPS 720683 HAS SOUS 511550 HAS SOUPS 511550 WITH SCORE 512270.683
AT ITER 5381 NEW BEST:: SOT 2860068 SOS 720563 HAS SOPS 720563 HAS SOUS 511470 HAS SOUPS 511470 WITH SCORE 512190.563
AT ITER 5407 NEW BEST:: SOT 2860073 SOS 720557 HAS SOPS 720557 HAS SOUS 511464 HAS SOUPS 511464 WITH SCORE 512184.557
AT ITER 5413 NEW BEST:: SOT 2860020 SOS 720503 HAS SOPS 720503 HAS SOUS 511355 HAS SOUPS 511355 WITH SCORE 512075.503
AT ITER 5425 NEW BEST:: SOT 2860142 SOS 720271 HAS SOPS 720271 HAS SOUS 511242 HAS SOUPS 511242 WITH SCORE 511962.271
AT ITER 5429 NEW BEST:: SOT 2859588 SOS 719436 HAS SOPS 719436 HAS SOUS 510731 HAS SOUPS 510731 WITH SCORE 511450.436
AT ITER 5445 NEW BEST:: SOT 2859431 SOS 719155 HAS SOPS 719155 HAS SOUS 510604 HAS SOUPS 510604 WITH SCORE 511323.155
AT ITER 5458 NEW BEST:: SOT 2859430 SOS 719153 HAS SOPS 719153 HAS SOUS 510602 HAS SOUPS 510602 WITH SCORE 511321.153
AT ITER 5465 NEW BEST:: SOT 2859344 SOS 719182 HAS SOPS 719182 HAS SOUS 510595 HAS SOUPS 510595 WITH SCORE 511314.182
AT ITER 5486 NEW BEST:: SOT 2859268 SOS 719181 HAS SOPS 719181 HAS SOUS 509386 HAS SOUPS 509386 WITH SCORE 510105.181
AT ITER 5492 NEW BEST:: SOT 2859268 SOS 719169 HAS SOPS 719169 HAS SOUS 509374 HAS SOUPS 509374 WITH SCORE 510093.169
AT ITER 5525 NEW BEST:: SOT 2859077 SOS 718585 HAS SOPS 718585 HAS SOUS 509101 HAS SOUPS 509101 WITH SCORE 509819.585
AT ITER 5528 NEW BEST:: SOT 2859077 SOS 718548 HAS SOPS 718548 HAS SOUS 509101 HAS SOUPS 509101 WITH SCORE 509819.548
AT ITER 5568 NEW BEST:: SOT 2859069 SOS 718497 HAS SOPS 718497 HAS SOUS 509050 HAS SOUPS 509050 WITH SCORE 509768.497
AT ITER 5602 NEW BEST:: SOT 2858703 SOS 718131 HAS SOPS 718131 HAS SOUS 508684 HAS SOUPS 508684 WITH SCORE 509402.131
AT ITER 5606 NEW BEST:: SOT 2858841 SOS 718125 HAS SOPS 718125 HAS SOUS 508681 HAS SOUPS 508681 WITH SCORE 509399.125
AT ITER 5653 NEW BEST:: SOT 2858841 SOS 718144 HAS SOPS 718144 HAS SOUS 508669 HAS SOUPS 508669 WITH SCORE 509387.144
AT ITER 5675 NEW BEST:: SOT 2858733 SOS 717942 HAS SOPS 717942 HAS SOUS 507756 HAS SOUPS 507756 WITH SCORE 508473.942
AT ITER 5702 NEW BEST:: SOT 2858733 SOS 717941 HAS SOPS 717941 HAS SOUS 507755 HAS SOUPS 507755 WITH SCORE 508472.941
AT ITER 5704 NEW BEST:: SOT 2858420 SOS 716835 HAS SOPS 716835 HAS SOUS 506649 HAS SOUPS 506649 WITH SCORE 507365.835
AT ITER 5708 NEW BEST:: SOT 2858379 SOS 716752 HAS SOPS 716752 HAS SOUS 506566 HAS SOUPS 506566 WITH SCORE 507282.752
AT ITER 5711 NEW BEST:: SOT 2858123 SOS 716339 HAS SOPS 716339 HAS SOUS 506153 HAS SOUPS 506153 WITH SCORE 506869.339
AT ITER 5716 NEW BEST:: SOT 2858419 SOS 716597 HAS SOPS 716597 HAS SOUS 506021 HAS SOUPS 506021 WITH SCORE 506737.597
AT ITER 5752 NEW BEST:: SOT 2858271 SOS 716301 HAS SOPS 716301 HAS SOUS 505725 HAS SOUPS 505725 WITH SCORE 506441.301
AT ITER 5757 NEW BEST:: SOT 2858141 SOS 715945 HAS SOPS 715945 HAS SOUS 505369 HAS SOUPS 505369 WITH SCORE 506084.945
AT ITER 5780 NEW BEST:: SOT 2857895 SOS 715696 HAS SOPS 715696 HAS SOUS 505028 HAS SOUPS 505028 WITH SCORE 505743.696
AT ITER 5781 NEW BEST:: SOT 2857392 SOS 714866 HAS SOPS 714866 HAS SOUS 504198 HAS SOUPS 504198 WITH SCORE 504912.866
AT ITER 5788 NEW BEST:: SOT 2857354 SOS 714809 HAS SOPS 714809 HAS SOUS 504171 HAS SOUPS 504171 WITH SCORE 504885.809
AT ITER 5793 NEW BEST:: SOT 2857354 SOS 714859 HAS SOPS 714859 HAS SOUS 504121 HAS SOUPS 504121 WITH SCORE 504835.859
AT ITER 5823 NEW BEST:: SOT 2857353 SOS 714562 HAS SOPS 714562 HAS SOUS 503824 HAS SOUPS 503824 WITH SCORE 504538.562
AT ITER 5824 NEW BEST:: SOT 2857224 SOS 714390 HAS SOPS 714390 HAS SOUS 503810 HAS SOUPS 503810 WITH SCORE 504524.39
AT ITER 5843 NEW BEST:: SOT 2857047 SOS 713841 HAS SOPS 713841 HAS SOUS 503200 HAS SOUPS 503200 WITH SCORE 503913.841
AT ITER 5857 NEW BEST:: SOT 2858064 SOS 714980 HAS SOPS 714980 HAS SOUS 503176 HAS SOUPS 503176 WITH SCORE 503890.98
AT ITER 5909 NEW BEST:: SOT 2857920 SOS 714692 HAS SOPS 714692 HAS SOUS 502957 HAS SOUPS 502957 WITH SCORE 503671.692
AT ITER 5949 NEW BEST:: SOT 2857892 SOS 714616 HAS SOPS 714616 HAS SOUS 502901 HAS SOUPS 502901 WITH SCORE 503615.616
AT ITER 5974 NEW BEST:: SOT 2858014 SOS 714670 HAS SOPS 714670 HAS SOUS 502749 HAS SOUPS 502749 WITH SCORE 503463.67
AT ITER 5975 NEW BEST:: SOT 2857974 SOS 714582 HAS SOPS 714582 HAS SOUS 502693 HAS SOUPS 502693 WITH SCORE 503407.582
AT ITER 5993 NEW BEST:: SOT 2857875 SOS 714491 HAS SOPS 714491 HAS SOUS 502602 HAS SOUPS 502602 WITH SCORE 503316.491
AT ITER 6002 NEW BEST:: SOT 2857850 SOS 714445 HAS SOPS 714445 HAS SOUS 502555 HAS SOUPS 502555 WITH SCORE 503269.445
AT ITER 6015 NEW BEST:: SOT 2857850 SOS 714321 HAS SOPS 714321 HAS SOUS 502555 HAS SOUPS 502555 WITH SCORE 503269.321
AT ITER 6030 NEW BEST:: SOT 2857849 SOS 713562 HAS SOPS 713562 HAS SOUS 502531 HAS SOUPS 502531 WITH SCORE 503244.562
AT ITER 6047 NEW BEST:: SOT 2857822 SOS 713447 HAS SOPS 713447 HAS SOUS 502473 HAS SOUPS 502473 WITH SCORE 503186.447
AT ITER 6098 NEW BEST:: SOT 2857432 SOS 713024 HAS SOPS 713024 HAS SOUS 502050 HAS SOUPS 502050 WITH SCORE 502763.024
AT ITER 6102 NEW BEST:: SOT 2857002 SOS 712949 HAS SOPS 712949 HAS SOUS 501498 HAS SOUPS 501498 WITH SCORE 502210.949
AT ITER 6104 NEW BEST:: SOT 2856841 SOS 713004 HAS SOPS 713004 HAS SOUS 501280 HAS SOUPS 501280 WITH SCORE 501993.004
AT ITER 6124 NEW BEST:: SOT 2856498 SOS 712661 HAS SOPS 712661 HAS SOUS 500853 HAS SOUPS 500853 WITH SCORE 501565.661
AT ITER 6172 NEW BEST:: SOT 2856441 SOS 712604 HAS SOPS 712604 HAS SOUS 500796 HAS SOUPS 500796 WITH SCORE 501508.604
AT ITER 6176 NEW BEST:: SOT 2856441 SOS 712954 HAS SOPS 712954 HAS SOUS 500691 HAS SOUPS 500691 WITH SCORE 501403.954
AT ITER 6181 NEW BEST:: SOT 2856440 SOS 712693 HAS SOPS 712693 HAS SOUS 500689 HAS SOUPS 500689 WITH SCORE 501401.693
AT ITER 6186 NEW BEST:: SOT 2856040 SOS 712293 HAS SOPS 712293 HAS SOUS 500289 HAS SOUPS 500289 WITH SCORE 501001.293
AT ITER 6209 NEW BEST:: SOT 2856040 SOS 711462 HAS SOPS 711462 HAS SOUS 500289 HAS SOUPS 500289 WITH SCORE 501000.462
AT ITER 6214 NEW BEST:: SOT 2856015 SOS 711412 HAS SOPS 711412 HAS SOUS 500263 HAS SOUPS 500263 WITH SCORE 500974.412
AT ITER 6224 NEW BEST:: SOT 2855869 SOS 710681 HAS SOPS 710681 HAS SOUS 500025 HAS SOUPS 500025 WITH SCORE 500735.681
AT ITER 6236 NEW BEST:: SOT 2855834 SOS 711493 HAS SOPS 711493 HAS SOUS 499955 HAS SOUPS 499955 WITH SCORE 500666.493
AT ITER 6239 NEW BEST:: SOT 2855844 SOS 711409 HAS SOPS 711409 HAS SOUS 499917 HAS SOUPS 499917 WITH SCORE 500628.409
AT ITER 6244 NEW BEST:: SOT 2855537 SOS 710475 HAS SOPS 710475 HAS SOUS 499610 HAS SOUPS 499610 WITH SCORE 500320.475
AT ITER 6247 NEW BEST:: SOT 2855458 SOS 710395 HAS SOPS 710395 HAS SOUS 499608 HAS SOUPS 499608 WITH SCORE 500318.395
AT ITER 6305 NEW BEST:: SOT 2855353 SOS 710183 HAS SOPS 710183 HAS SOUS 499397 HAS SOUPS 499397 WITH SCORE 500107.183
AT ITER 6308 NEW BEST:: SOT 2854490 SOS 711009 HAS SOPS 711009 HAS SOUS 499096 HAS SOUPS 499096 WITH SCORE 499807.009
AT ITER 6332 NEW BEST:: SOT 2854479 SOS 710954 HAS SOPS 710954 HAS SOUS 499052 HAS SOUPS 499052 WITH SCORE 499762.954
AT ITER 6337 NEW BEST:: SOT 2854307 SOS 710546 HAS SOPS 710546 HAS SOUS 498869 HAS SOUPS 498869 WITH SCORE 499579.546
AT ITER 6387 NEW BEST:: SOT 2854307 SOS 710546 HAS SOPS 710546 HAS SOUS 498663 HAS SOUPS 498663 WITH SCORE 499373.546
AT ITER 6390 NEW BEST:: SOT 2854034 SOS 709999 HAS SOPS 709999 HAS SOUS 498116 HAS SOUPS 498116 WITH SCORE 498825.999
AT ITER 6418 NEW BEST:: SOT 2853973 SOS 709938 HAS SOPS 709938 HAS SOUS 498055 HAS SOUPS 498055 WITH SCORE 498764.938
AT ITER 6422 NEW BEST:: SOT 2853794 SOS 709663 HAS SOPS 709663 HAS SOUS 497864 HAS SOUPS 497864 WITH SCORE 498573.663
AT ITER 6474 NEW BEST:: SOT 2853717 SOS 710163 HAS SOPS 710163 HAS SOUS 497782 HAS SOUPS 497782 WITH SCORE 498492.163
AT ITER 6481 NEW BEST:: SOT 2853727 SOS 710133 HAS SOPS 710133 HAS SOUS 497742 HAS SOUPS 497742 WITH SCORE 498452.133
AT ITER 6484 NEW BEST:: SOT 2853557 SOS 710065 HAS SOPS 710065 HAS SOUS 497589 HAS SOUPS 497589 WITH SCORE 498299.065
AT ITER 6486 NEW BEST:: SOT 2853457 SOS 709864 HAS SOPS 709864 HAS SOUS 497489 HAS SOUPS 497489 WITH SCORE 498198.864
AT ITER 6497 NEW BEST:: SOT 2853456 SOS 709836 HAS SOPS 709836 HAS SOUS 497486 HAS SOUPS 497486 WITH SCORE 498195.836
AT ITER 6513 NEW BEST:: SOT 2853441 SOS 709681 HAS SOPS 709681 HAS SOUS 497331 HAS SOUPS 497331 WITH SCORE 498040.681
AT ITER 6519 NEW BEST:: SOT 2853222 SOS 708502 HAS SOPS 708502 HAS SOUS 496968 HAS SOUPS 496968 WITH SCORE 497676.502
AT ITER 6525 NEW BEST:: SOT 2852884 SOS 708090 HAS SOPS 708090 HAS SOUS 496796 HAS SOUPS 496796 WITH SCORE 497504.09
AT ITER 6573 NEW BEST:: SOT 2851511 SOS 707314 HAS SOPS 707314 HAS SOUS 495224 HAS SOUPS 495224 WITH SCORE 495931.314
AT ITER 6582 NEW BEST:: SOT 2851466 SOS 707224 HAS SOPS 707224 HAS SOUS 495134 HAS SOUPS 495134 WITH SCORE 495841.224
AT ITER 6595 NEW BEST:: SOT 2851459 SOS 707203 HAS SOPS 707203 HAS SOUS 495113 HAS SOUPS 495113 WITH SCORE 495820.203
AT ITER 6605 NEW BEST:: SOT 2851294 SOS 707038 HAS SOPS 707038 HAS SOUS 495113 HAS SOUPS 495113 WITH SCORE 495820.038
AT ITER 6613 NEW BEST:: SOT 2851273 SOS 707017 HAS SOPS 707017 HAS SOUS 495092 HAS SOUPS 495092 WITH SCORE 495799.017
AT ITER 6617 NEW BEST:: SOT 2851105 SOS 706849 HAS SOPS 706849 HAS SOUS 494924 HAS SOUPS 494924 WITH SCORE 495630.849
AT ITER 6618 NEW BEST:: SOT 2851065 SOS 706205 HAS SOPS 706205 HAS SOUS 494815 HAS SOUPS 494815 WITH SCORE 495521.205
AT ITER 6625 NEW BEST:: SOT 2851065 SOS 706269 HAS SOPS 706269 HAS SOUS 494367 HAS SOUPS 494367 WITH SCORE 495073.269
AT ITER 6642 NEW BEST:: SOT 2851029 SOS 705823 HAS SOPS 705823 HAS SOUS 494343 HAS SOUPS 494343 WITH SCORE 495048.823
AT ITER 6654 NEW BEST:: SOT 2851029 SOS 705823 HAS SOPS 705823 HAS SOUS 494342 HAS SOUPS 494342 WITH SCORE 495047.823
AT ITER 6662 NEW BEST:: SOT 2850827 SOS 704813 HAS SOPS 704813 HAS SOUS 493938 HAS SOUPS 493938 WITH SCORE 494642.813
AT ITER 6666 NEW BEST:: SOT 2850814 SOS 704805 HAS SOPS 704805 HAS SOUS 493930 HAS SOUPS 493930 WITH SCORE 494634.805
AT ITER 6670 NEW BEST:: SOT 2850775 SOS 704457 HAS SOPS 704457 HAS SOUS 493844 HAS SOUPS 493844 WITH SCORE 494548.457
AT ITER 6692 NEW BEST:: SOT 2850775 SOS 704342 HAS SOPS 704342 HAS SOUS 493680 HAS SOUPS 493680 WITH SCORE 494384.342
AT ITER 6693 NEW BEST:: SOT 2850470 SOS 703732 HAS SOPS 703732 HAS SOUS 493070 HAS SOUPS 493070 WITH SCORE 493773.732
AT ITER 6706 NEW BEST:: SOT 2850453 SOS 703698 HAS SOPS 703698 HAS SOUS 493036 HAS SOUPS 493036 WITH SCORE 493739.698
AT ITER 6742 NEW BEST:: SOT 2850452 SOS 703697 HAS SOPS 703697 HAS SOUS 493035 HAS SOUPS 493035 WITH SCORE 493738.697
AT ITER 6753 NEW BEST:: SOT 2850412 SOS 703305 HAS SOPS 703305 HAS SOUS 492643 HAS SOUPS 492643 WITH SCORE 493346.305
AT ITER 6788 NEW BEST:: SOT 2850376 SOS 703508 HAS SOPS 703508 HAS SOUS 492545 HAS SOUPS 492545 WITH SCORE 493248.508
AT ITER 6797 NEW BEST:: SOT 2850196 SOS 703239 HAS SOPS 703239 HAS SOUS 492356 HAS SOUPS 492356 WITH SCORE 493059.239
AT ITER 6817 NEW BEST:: SOT 2850171 SOS 703189 HAS SOPS 703189 HAS SOUS 492221 HAS SOUPS 492221 WITH SCORE 492924.189
AT ITER 6819 NEW BEST:: SOT 2850118 SOS 703077 HAS SOPS 703077 HAS SOUS 492173 HAS SOUPS 492173 WITH SCORE 492876.077
AT ITER 6848 NEW BEST:: SOT 2850118 SOS 703111 HAS SOPS 703111 HAS SOUS 492002 HAS SOUPS 492002 WITH SCORE 492705.111
AT ITER 6871 NEW BEST:: SOT 2849795 SOS 702593 HAS SOPS 702593 HAS SOUS 491607 HAS SOUPS 491607 WITH SCORE 492309.593
AT ITER 6909 NEW BEST:: SOT 2849763 SOS 702223 HAS SOPS 702223 HAS SOUS 491594 HAS SOUPS 491594 WITH SCORE 492296.223
AT ITER 6962 NEW BEST:: SOT 2849013 SOS 701473 HAS SOPS 701473 HAS SOUS 490708 HAS SOUPS 490708 WITH SCORE 491409.473
AT ITER 6964 NEW BEST:: SOT 2848973 SOS 701393 HAS SOPS 701393 HAS SOUS 490628 HAS SOUPS 490628 WITH SCORE 491329.393
AT ITER 6972 NEW BEST:: SOT 2848863 SOS 701274 HAS SOPS 701274 HAS SOUS 490399 HAS SOUPS 490399 WITH SCORE 491100.274
AT ITER 7004 NEW BEST:: SOT 2848598 SOS 701009 HAS SOPS 701009 HAS SOUS 489906 HAS SOUPS 489906 WITH SCORE 490607.009
AT ITER 7028 NEW BEST:: SOT 2848598 SOS 701004 HAS SOPS 701004 HAS SOUS 489906 HAS SOUPS 489906 WITH SCORE 490607.004
AT ITER 7053 NEW BEST:: SOT 2848388 SOS 700856 HAS SOPS 700856 HAS SOUS 489690 HAS SOUPS 489690 WITH SCORE 490390.856
AT ITER 7060 NEW BEST:: SOT 2848014 SOS 700886 HAS SOPS 700886 HAS SOUS 489484 HAS SOUPS 489484 WITH SCORE 490184.886
AT ITER 7072 NEW BEST:: SOT 2848007 SOS 700891 HAS SOPS 700891 HAS SOUS 489483 HAS SOUPS 489483 WITH SCORE 490183.891
AT ITER 7078 NEW BEST:: SOT 2849501 SOS 702859 HAS SOPS 702859 HAS SOUS 488555 HAS SOUPS 488555 WITH SCORE 489257.859
AT ITER 7082 NEW BEST:: SOT 2848413 SOS 704163 HAS SOPS 704163 HAS SOUS 488003 HAS SOUPS 488003 WITH SCORE 488707.163
AT ITER 7102 NEW BEST:: SOT 2848413 SOS 703979 HAS SOPS 703979 HAS SOUS 487970 HAS SOUPS 487970 WITH SCORE 488673.979
AT ITER 7104 NEW BEST:: SOT 2848413 SOS 703899 HAS SOPS 703899 HAS SOUS 487890 HAS SOUPS 487890 WITH SCORE 488593.899
AT ITER 7108 NEW BEST:: SOT 2848413 SOS 703867 HAS SOPS 703867 HAS SOUS 487858 HAS SOUPS 487858 WITH SCORE 488561.867
AT ITER 7132 NEW BEST:: SOT 2848373 SOS 703787 HAS SOPS 703787 HAS SOUS 487778 HAS SOUPS 487778 WITH SCORE 488481.787
AT ITER 7187 NEW BEST:: SOT 2848280 SOS 702874 HAS SOPS 702874 HAS SOUS 487681 HAS SOUPS 487681 WITH SCORE 488383.874
AT ITER 7193 NEW BEST:: SOT 2847324 SOS 701996 HAS SOPS 701996 HAS SOUS 486803 HAS SOUPS 486803 WITH SCORE 487504.996
AT ITER 7209 NEW BEST:: SOT 2847324 SOS 701929 HAS SOPS 701929 HAS SOUS 486736 HAS SOUPS 486736 WITH SCORE 487437.929
AT ITER 7224 NEW BEST:: SOT 2847082 SOS 701287 HAS SOPS 701287 HAS SOUS 486240 HAS SOUPS 486240 WITH SCORE 486941.287
AT ITER 7252 NEW BEST:: SOT 2846955 SOS 701162 HAS SOPS 701162 HAS SOUS 485986 HAS SOUPS 485986 WITH SCORE 486687.162
AT ITER 7283 NEW BEST:: SOT 2846910 SOS 701110 HAS SOPS 701110 HAS SOUS 485934 HAS SOUPS 485934 WITH SCORE 486635.11
AT ITER 7292 NEW BEST:: SOT 2846846 SOS 700918 HAS SOPS 700918 HAS SOUS 485742 HAS SOUPS 485742 WITH SCORE 486442.918
AT ITER 7370 NEW BEST:: SOT 2846561 SOS 700633 HAS SOPS 700633 HAS SOUS 485457 HAS SOUPS 485457 WITH SCORE 486157.633
AT ITER 7386 NEW BEST:: SOT 2846482 SOS 700507 HAS SOPS 700507 HAS SOUS 485252 HAS SOUPS 485252 WITH SCORE 485952.507
AT ITER 7401 NEW BEST:: SOT 2846439 SOS 700135 HAS SOPS 700135 HAS SOUS 485125 HAS SOUPS 485125 WITH SCORE 485825.135
AT ITER 7403 NEW BEST:: SOT 2846526 SOS 699291 HAS SOPS 699291 HAS SOUS 484946 HAS SOUPS 484946 WITH SCORE 485645.291
AT ITER 7410 NEW BEST:: SOT 2846390 SOS 698921 HAS SOPS 698921 HAS SOUS 484576 HAS SOUPS 484576 WITH SCORE 485274.921
AT ITER 7411 NEW BEST:: SOT 2846452 SOS 698983 HAS SOPS 698983 HAS SOUS 484521 HAS SOUPS 484521 WITH SCORE 485219.983
AT ITER 7414 NEW BEST:: SOT 2846452 SOS 698935 HAS SOPS 698935 HAS SOUS 484383 HAS SOUPS 484383 WITH SCORE 485081.935
AT ITER 7418 NEW BEST:: SOT 2846452 SOS 698851 HAS SOPS 698851 HAS SOUS 484305 HAS SOUPS 484305 WITH SCORE 485003.851
AT ITER 7428 NEW BEST:: SOT 2846674 SOS 698977 HAS SOPS 698977 HAS SOUS 484299 HAS SOUPS 484299 WITH SCORE 484997.977
AT ITER 7436 NEW BEST:: SOT 2846647 SOS 698943 HAS SOPS 698943 HAS SOUS 484265 HAS SOUPS 484265 WITH SCORE 484963.943
AT ITER 7447 NEW BEST:: SOT 2846480 SOS 698389 HAS SOPS 698389 HAS SOUS 483849 HAS SOUPS 483849 WITH SCORE 484547.389
AT ITER 7454 NEW BEST:: SOT 2846338 SOS 698247 HAS SOPS 698247 HAS SOUS 483707 HAS SOUPS 483707 WITH SCORE 484405.247
AT ITER 7456 NEW BEST:: SOT 2846234 SOS 697138 HAS SOPS 697138 HAS SOUS 483499 HAS SOUPS 483499 WITH SCORE 484196.138
AT ITER 7479 NEW BEST:: SOT 2846234 SOS 697127 HAS SOPS 697127 HAS SOUS 483488 HAS SOUPS 483488 WITH SCORE 484185.127
AT ITER 7483 NEW BEST:: SOT 2846209 SOS 697102 HAS SOPS 697102 HAS SOUS 483463 HAS SOUPS 483463 WITH SCORE 484160.102
AT ITER 7501 NEW BEST:: SOT 2846208 SOS 697061 HAS SOPS 697061 HAS SOUS 483457 HAS SOUPS 483457 WITH SCORE 484154.061
AT ITER 7533 NEW BEST:: SOT 2846160 SOS 697013 HAS SOPS 697013 HAS SOUS 483409 HAS SOUPS 483409 WITH SCORE 484106.013
AT ITER 7541 NEW BEST:: SOT 2846135 SOS 696988 HAS SOPS 696988 HAS SOUS 483359 HAS SOUPS 483359 WITH SCORE 484055.988
AT ITER 7568 NEW BEST:: SOT 2846135 SOS 696988 HAS SOPS 696988 HAS SOUS 483333 HAS SOUPS 483333 WITH SCORE 484029.988
AT ITER 7570 NEW BEST:: SOT 2846128 SOS 696917 HAS SOPS 696917 HAS SOUS 483262 HAS SOUPS 483262 WITH SCORE 483958.917
AT ITER 7572 NEW BEST:: SOT 2846128 SOS 697641 HAS SOPS 697641 HAS SOUS 483105 HAS SOUPS 483105 WITH SCORE 483802.641
AT ITER 7588 NEW BEST:: SOT 2846091 SOS 697434 HAS SOPS 697434 HAS SOUS 482898 HAS SOUPS 482898 WITH SCORE 483595.434
AT ITER 7591 NEW BEST:: SOT 2845827 SOS 697240 HAS SOPS 697240 HAS SOUS 482704 HAS SOUPS 482704 WITH SCORE 483401.24
AT ITER 7599 NEW BEST:: SOT 2845827 SOS 697226 HAS SOPS 697226 HAS SOUS 482704 HAS SOUPS 482704 WITH SCORE 483401.226
AT ITER 7607 NEW BEST:: SOT 2846040 SOS 696893 HAS SOPS 696893 HAS SOUS 479176 HAS SOUPS 479176 WITH SCORE 479872.893
AT ITER 7654 NEW BEST:: SOT 2846038 SOS 696597 HAS SOPS 696597 HAS SOUS 478880 HAS SOUPS 478880 WITH SCORE 479576.597
AT ITER 7663 NEW BEST:: SOT 2846038 SOS 696537 HAS SOPS 696537 HAS SOUS 478820 HAS SOUPS 478820 WITH SCORE 479516.537
AT ITER 7671 NEW BEST:: SOT 2844845 SOS 695502 HAS SOPS 695502 HAS SOUS 477646 HAS SOUPS 477646 WITH SCORE 478341.502
AT ITER 7721 NEW BEST:: SOT 2844687 SOS 695891 HAS SOPS 695891 HAS SOUS 477590 HAS SOUPS 477590 WITH SCORE 478285.891
AT ITER 7723 NEW BEST:: SOT 2844687 SOS 695715 HAS SOPS 695715 HAS SOUS 477558 HAS SOUPS 477558 WITH SCORE 478253.715
AT ITER 7726 NEW BEST:: SOT 2844616 SOS 695573 HAS SOPS 695573 HAS SOUS 477484 HAS SOUPS 477484 WITH SCORE 478179.573
AT ITER 7730 NEW BEST:: SOT 2843368 SOS 694421 HAS SOPS 694421 HAS SOUS 477332 HAS SOUPS 477332 WITH SCORE 478026.421
AT ITER 7735 NEW BEST:: SOT 2843368 SOS 694390 HAS SOPS 694390 HAS SOUS 477332 HAS SOUPS 477332 WITH SCORE 478026.39
AT ITER 7759 NEW BEST:: SOT 2843188 SOS 694557 HAS SOPS 694557 HAS SOUS 477112 HAS SOUPS 477112 WITH SCORE 477806.557
AT ITER 7776 NEW BEST:: SOT 2843103 SOS 694217 HAS SOPS 694217 HAS SOUS 476942 HAS SOUPS 476942 WITH SCORE 477636.217
AT ITER 7797 NEW BEST:: SOT 2843103 SOS 694112 HAS SOPS 694112 HAS SOUS 476837 HAS SOUPS 476837 WITH SCORE 477531.112
AT ITER 7807 NEW BEST:: SOT 2842977 SOS 694304 HAS SOPS 694304 HAS SOUS 476807 HAS SOUPS 476807 WITH SCORE 477501.304
AT ITER 7837 NEW BEST:: SOT 2842652 SOS 695330 HAS SOPS 695330 HAS SOUS 476800 HAS SOUPS 476800 WITH SCORE 477495.33
AT ITER 7844 NEW BEST:: SOT 2842509 SOS 694723 HAS SOPS 694723 HAS SOUS 476277 HAS SOUPS 476277 WITH SCORE 476971.723
AT ITER 7867 NEW BEST:: SOT 2842531 SOS 694631 HAS SOPS 694631 HAS SOUS 476237 HAS SOUPS 476237 WITH SCORE 476931.631
AT ITER 7874 NEW BEST:: SOT 2842531 SOS 694673 HAS SOPS 694673 HAS SOUS 476236 HAS SOUPS 476236 WITH SCORE 476930.673
AT ITER 7884 NEW BEST:: SOT 2842596 SOS 694575 HAS SOPS 694575 HAS SOUS 476218 HAS SOUPS 476218 WITH SCORE 476912.575
AT ITER 7934 NEW BEST:: SOT 2842705 SOS 694565 HAS SOPS 694565 HAS SOUS 476197 HAS SOUPS 476197 WITH SCORE 476891.565
AT ITER 7936 NEW BEST:: SOT 2842572 SOS 694877 HAS SOPS 694877 HAS SOUS 476164 HAS SOUPS 476164 WITH SCORE 476858.877
AT ITER 7937 NEW BEST:: SOT 2842544 SOS 694858 HAS SOPS 694858 HAS SOUS 476145 HAS SOUPS 476145 WITH SCORE 476839.858
AT ITER 7941 NEW BEST:: SOT 2842495 SOS 694760 HAS SOPS 694760 HAS SOUS 476047 HAS SOUPS 476047 WITH SCORE 476741.76
AT ITER 7978 NEW BEST:: SOT 2842068 SOS 696124 HAS SOPS 696124 HAS SOUS 475887 HAS SOUPS 475887 WITH SCORE 476583.124
AT ITER 8026 NEW BEST:: SOT 2842057 SOS 696113 HAS SOPS 696113 HAS SOUS 475806 HAS SOUPS 475806 WITH SCORE 476502.113
AT ITER 8030 NEW BEST:: SOT 2842001 SOS 695898 HAS SOPS 695898 HAS SOUS 475589 HAS SOUPS 475589 WITH SCORE 476284.898
AT ITER 8038 NEW BEST:: SOT 2842001 SOS 695886 HAS SOPS 695886 HAS SOUS 475577 HAS SOUPS 475577 WITH SCORE 476272.886
AT ITER 8061 NEW BEST:: SOT 2841877 SOS 695960 HAS SOPS 695960 HAS SOUS 474869 HAS SOUPS 474869 WITH SCORE 475564.96
AT ITER 8077 NEW BEST:: SOT 2841851 SOS 695934 HAS SOPS 695934 HAS SOUS 474843 HAS SOUPS 474843 WITH SCORE 475538.934
AT ITER 8078 NEW BEST:: SOT 2841750 SOS 695097 HAS SOPS 695097 HAS SOUS 474591 HAS SOUPS 474591 WITH SCORE 475286.097
AT ITER 8081 NEW BEST:: SOT 2841753 SOS 695088 HAS SOPS 695088 HAS SOUS 474582 HAS SOUPS 474582 WITH SCORE 475277.088
AT ITER 8091 NEW BEST:: SOT 2841711 SOS 694943 HAS SOPS 694943 HAS SOUS 474437 HAS SOUPS 474437 WITH SCORE 475131.943
AT ITER 8094 NEW BEST:: SOT 2841709 SOS 694941 HAS SOPS 694941 HAS SOUS 474435 HAS SOUPS 474435 WITH SCORE 475129.941
AT ITER 8099 NEW BEST:: SOT 2841703 SOS 694929 HAS SOPS 694929 HAS SOUS 474423 HAS SOUPS 474423 WITH SCORE 475117.929
AT ITER 8101 NEW BEST:: SOT 2841642 SOS 694807 HAS SOPS 694807 HAS SOUS 474301 HAS SOUPS 474301 WITH SCORE 474995.807
AT ITER 8105 NEW BEST:: SOT 2841292 SOS 692181 HAS SOPS 692181 HAS SOUS 473653 HAS SOUPS 473653 WITH SCORE 474345.181
AT ITER 8144 NEW BEST:: SOT 2841127 SOS 691851 HAS SOPS 691851 HAS SOUS 473323 HAS SOUPS 473323 WITH SCORE 474014.851
AT ITER 8157 NEW BEST:: SOT 2841117 SOS 691780 HAS SOPS 691780 HAS SOUS 473303 HAS SOUPS 473303 WITH SCORE 473994.78
AT ITER 8161 NEW BEST:: SOT 2841117 SOS 691650 HAS SOPS 691650 HAS SOUS 473303 HAS SOUPS 473303 WITH SCORE 473994.65
AT ITER 8195 NEW BEST:: SOT 2841117 SOS 691529 HAS SOPS 691529 HAS SOUS 473182 HAS SOUPS 473182 WITH SCORE 473873.529
AT ITER 8200 NEW BEST:: SOT 2841141 SOS 691425 HAS SOPS 691425 HAS SOUS 473078 HAS SOUPS 473078 WITH SCORE 473769.425
AT ITER 8229 NEW BEST:: SOT 2840935 SOS 691425 HAS SOPS 691425 HAS SOUS 472872 HAS SOUPS 472872 WITH SCORE 473563.425
AT ITER 8238 NEW BEST:: SOT 2840754 SOS 689783 HAS SOPS 689783 HAS SOUS 472574 HAS SOUPS 472574 WITH SCORE 473263.783
AT ITER 8241 NEW BEST:: SOT 2840674 SOS 689621 HAS SOPS 689621 HAS SOUS 472412 HAS SOUPS 472412 WITH SCORE 473101.621
AT ITER 8254 NEW BEST:: SOT 2840674 SOS 689544 HAS SOPS 689544 HAS SOUS 472335 HAS SOUPS 472335 WITH SCORE 473024.544
AT ITER 8260 NEW BEST:: SOT 2840645 SOS 689515 HAS SOPS 689515 HAS SOUS 472306 HAS SOUPS 472306 WITH SCORE 472995.515
AT ITER 8297 NEW BEST:: SOT 2840565 SOS 688589 HAS SOPS 688589 HAS SOUS 472146 HAS SOUPS 472146 WITH SCORE 472834.589
AT ITER 8301 NEW BEST:: SOT 2840565 SOS 688069 HAS SOPS 688069 HAS SOUS 472146 HAS SOUPS 472146 WITH SCORE 472834.069
AT ITER 8365 NEW BEST:: SOT 2840563 SOS 688068 HAS SOPS 688068 HAS SOUS 472142 HAS SOUPS 472142 WITH SCORE 472830.068
AT ITER 8384 NEW BEST:: SOT 2840567 SOS 687966 HAS SOPS 687966 HAS SOUS 472040 HAS SOUPS 472040 WITH SCORE 472727.966
AT ITER 8412 NEW BEST:: SOT 2840593 SOS 687736 HAS SOPS 687736 HAS SOUS 471846 HAS SOUPS 471846 WITH SCORE 472533.736
AT ITER 8476 NEW BEST:: SOT 2840561 SOS 687704 HAS SOPS 687704 HAS SOUS 471814 HAS SOUPS 471814 WITH SCORE 472501.704
AT ITER 8495 NEW BEST:: SOT 2840803 SOS 688300 HAS SOPS 688300 HAS SOUS 471144 HAS SOUPS 471144 WITH SCORE 471832.3
AT ITER 8509 NEW BEST:: SOT 2840801 SOS 688166 HAS SOPS 688166 HAS SOUS 471088 HAS SOUPS 471088 WITH SCORE 471776.166
AT ITER 8522 NEW BEST:: SOT 2840763 SOS 688090 HAS SOPS 688090 HAS SOUS 471012 HAS SOUPS 471012 WITH SCORE 471700.09
AT ITER 8532 NEW BEST:: SOT 2840730 SOS 687893 HAS SOPS 687893 HAS SOUS 470882 HAS SOUPS 470882 WITH SCORE 471569.893
AT ITER 8545 NEW BEST:: SOT 2840558 SOS 687627 HAS SOPS 687627 HAS SOUS 470542 HAS SOUPS 470542 WITH SCORE 471229.627
AT ITER 8559 NEW BEST:: SOT 2840421 SOS 687552 HAS SOPS 687552 HAS SOUS 470331 HAS SOUPS 470331 WITH SCORE 471018.552
AT ITER 8570 NEW BEST:: SOT 2840299 SOS 687430 HAS SOPS 687430 HAS SOUS 470209 HAS SOUPS 470209 WITH SCORE 470896.43
AT ITER 8580 NEW BEST:: SOT 2840298 SOS 687429 HAS SOPS 687429 HAS SOUS 470208 HAS SOUPS 470208 WITH SCORE 470895.429
AT ITER 8583 NEW BEST:: SOT 2840204 SOS 687335 HAS SOPS 687335 HAS SOUS 470020 HAS SOUPS 470020 WITH SCORE 470707.335
AT ITER 8611 NEW BEST:: SOT 2840204 SOS 687307 HAS SOPS 687307 HAS SOUS 469992 HAS SOUPS 469992 WITH SCORE 470679.307
AT ITER 8636 NEW BEST:: SOT 2840201 SOS 687301 HAS SOPS 687301 HAS SOUS 469986 HAS SOUPS 469986 WITH SCORE 470673.301
AT ITER 8639 NEW BEST:: SOT 2840991 SOS 687983 HAS SOPS 687983 HAS SOUS 468724 HAS SOUPS 468724 WITH SCORE 469411.983
AT ITER 8690 NEW BEST:: SOT 2840970 SOS 687962 HAS SOPS 687962 HAS SOUS 468703 HAS SOUPS 468703 WITH SCORE 469390.962
AT ITER 8695 NEW BEST:: SOT 2841084 SOS 687927 HAS SOPS 687927 HAS SOUS 468699 HAS SOUPS 468699 WITH SCORE 469386.927
AT ITER 8698 NEW BEST:: SOT 2841076 SOS 687911 HAS SOPS 687911 HAS SOUS 468683 HAS SOUPS 468683 WITH SCORE 469370.911
AT ITER 8721 NEW BEST:: SOT 2840980 SOS 687719 HAS SOPS 687719 HAS SOUS 468491 HAS SOUPS 468491 WITH SCORE 469178.719
AT ITER 8742 NEW BEST:: SOT 2841064 SOS 687791 HAS SOPS 687791 HAS SOUS 468485 HAS SOUPS 468485 WITH SCORE 469172.791
AT ITER 8755 NEW BEST:: SOT 2840835 SOS 687757 HAS SOPS 687757 HAS SOUS 467998 HAS SOUPS 467998 WITH SCORE 468685.757
AT ITER 8779 NEW BEST:: SOT 2840703 SOS 687625 HAS SOPS 687625 HAS SOUS 467866 HAS SOUPS 467866 WITH SCORE 468553.625
AT ITER 8786 NEW BEST:: SOT 2840644 SOS 687522 HAS SOPS 687522 HAS SOUS 467822 HAS SOUPS 467822 WITH SCORE 468509.522
AT ITER 8798 NEW BEST:: SOT 2839904 SOS 686832 HAS SOPS 686832 HAS SOUS 467308 HAS SOUPS 467308 WITH SCORE 467994.832
AT ITER 8828 NEW BEST:: SOT 2839903 SOS 686831 HAS SOPS 686831 HAS SOUS 467307 HAS SOUPS 467307 WITH SCORE 467993.831
AT ITER 8835 NEW BEST:: SOT 2839754 SOS 686613 HAS SOPS 686613 HAS SOUS 467089 HAS SOUPS 467089 WITH SCORE 467775.613
AT ITER 8840 NEW BEST:: SOT 2839754 SOS 686599 HAS SOPS 686599 HAS SOUS 467082 HAS SOUPS 467082 WITH SCORE 467768.599
AT ITER 8854 NEW BEST:: SOT 2839508 SOS 686397 HAS SOPS 686397 HAS SOUS 466880 HAS SOUPS 466880 WITH SCORE 467566.397
AT ITER 8864 NEW BEST:: SOT 2839342 SOS 686202 HAS SOPS 686202 HAS SOUS 466685 HAS SOUPS 466685 WITH SCORE 467371.202
AT ITER 8878 NEW BEST:: SOT 2838670 SOS 685328 HAS SOPS 685328 HAS SOUS 466016 HAS SOUPS 466016 WITH SCORE 466701.328
AT ITER 8898 NEW BEST:: SOT 2838620 SOS 685228 HAS SOPS 685228 HAS SOUS 465916 HAS SOUPS 465916 WITH SCORE 466601.228
AT ITER 8925 NEW BEST:: SOT 2838620 SOS 685226 HAS SOPS 685226 HAS SOUS 465914 HAS SOUPS 465914 WITH SCORE 466599.226
AT ITER 8981 NEW BEST:: SOT 2838620 SOS 685166 HAS SOPS 685166 HAS SOUS 465884 HAS SOUPS 465884 WITH SCORE 466569.166
AT ITER 8987 NEW BEST:: SOT 2838608 SOS 685148 HAS SOPS 685148 HAS SOUS 465866 HAS SOUPS 465866 WITH SCORE 466551.148
AT ITER 8990 NEW BEST:: SOT 2838608 SOS 685147 HAS SOPS 685147 HAS SOUS 465865 HAS SOUPS 465865 WITH SCORE 466550.147
AT ITER 8996 NEW BEST:: SOT 2838554 SOS 684710 HAS SOPS 684710 HAS SOUS 465757 HAS SOUPS 465757 WITH SCORE 466441.71
AT ITER 8998 NEW BEST:: SOT 2838537 SOS 684681 HAS SOPS 684681 HAS SOUS 465728 HAS SOUPS 465728 WITH SCORE 466412.681
AT ITER 9009 NEW BEST:: SOT 2838481 SOS 684533 HAS SOPS 684533 HAS SOUS 465614 HAS SOUPS 465614 WITH SCORE 466298.533
AT ITER 9016 NEW BEST:: SOT 2838427 SOS 684448 HAS SOPS 684448 HAS SOUS 465529 HAS SOUPS 465529 WITH SCORE 466213.448
AT ITER 9020 NEW BEST:: SOT 2838426 SOS 683798 HAS SOPS 683798 HAS SOUS 465446 HAS SOUPS 465446 WITH SCORE 466129.798
AT ITER 9024 NEW BEST:: SOT 2838403 SOS 683607 HAS SOPS 683607 HAS SOUS 465436 HAS SOUPS 465436 WITH SCORE 466119.607
AT ITER 9031 NEW BEST:: SOT 2838291 SOS 683371 HAS SOPS 683371 HAS SOUS 465135 HAS SOUPS 465135 WITH SCORE 465818.371
AT ITER 9035 NEW BEST:: SOT 2838028 SOS 683079 HAS SOPS 683079 HAS SOUS 464719 HAS SOUPS 464719 WITH SCORE 465402.079
AT ITER 9043 NEW BEST:: SOT 2838016 SOS 683055 HAS SOPS 683055 HAS SOUS 464695 HAS SOUPS 464695 WITH SCORE 465378.055
AT ITER 9053 NEW BEST:: SOT 2838015 SOS 683024 HAS SOPS 683024 HAS SOUS 464664 HAS SOUPS 464664 WITH SCORE 465347.024
AT ITER 9081 NEW BEST:: SOT 2837816 SOS 682626 HAS SOPS 682626 HAS SOUS 464266 HAS SOUPS 464266 WITH SCORE 464948.626
AT ITER 9083 NEW BEST:: SOT 2837816 SOS 682591 HAS SOPS 682591 HAS SOUS 464231 HAS SOUPS 464231 WITH SCORE 464913.591
AT ITER 9114 NEW BEST:: SOT 2837802 SOS 682603 HAS SOPS 682603 HAS SOUS 464203 HAS SOUPS 464203 WITH SCORE 464885.603
AT ITER 9126 NEW BEST:: SOT 2837657 SOS 682167 HAS SOPS 682167 HAS SOUS 464057 HAS SOUPS 464057 WITH SCORE 464739.167
AT ITER 9142 NEW BEST:: SOT 2837657 SOS 682020 HAS SOPS 682020 HAS SOUS 464003 HAS SOUPS 464003 WITH SCORE 464685.02
AT ITER 9173 NEW BEST:: SOT 2837692 SOS 682090 HAS SOPS 682090 HAS SOUS 463802 HAS SOUPS 463802 WITH SCORE 464484.09
AT ITER 9177 NEW BEST:: SOT 2837628 SOS 681806 HAS SOPS 681806 HAS SOUS 463674 HAS SOUPS 463674 WITH SCORE 464355.806
AT ITER 9187 NEW BEST:: SOT 2837272 SOS 679048 HAS SOPS 679048 HAS SOUS 462436 HAS SOUPS 462436 WITH SCORE 463115.048
AT ITER 9194 NEW BEST:: SOT 2837265 SOS 679041 HAS SOPS 679041 HAS SOUS 462427 HAS SOUPS 462427 WITH SCORE 463106.041
AT ITER 9255 NEW BEST:: SOT 2837325 SOS 679145 HAS SOPS 679145 HAS SOUS 462419 HAS SOUPS 462419 WITH SCORE 463098.145
AT ITER 9295 NEW BEST:: SOT 2837262 SOS 679081 HAS SOPS 679081 HAS SOUS 462355 HAS SOUPS 462355 WITH SCORE 463034.081
AT ITER 9316 NEW BEST:: SOT 2837311 SOS 679231 HAS SOPS 679231 HAS SOUS 462313 HAS SOUPS 462313 WITH SCORE 462992.231
AT ITER 9325 NEW BEST:: SOT 2837055 SOS 678976 HAS SOPS 678976 HAS SOUS 462058 HAS SOUPS 462058 WITH SCORE 462736.976
AT ITER 9343 NEW BEST:: SOT 2837113 SOS 679034 HAS SOPS 679034 HAS SOUS 462056 HAS SOUPS 462056 WITH SCORE 462735.034
AT ITER 9351 NEW BEST:: SOT 2837521 SOS 679569 HAS SOPS 679569 HAS SOUS 461695 HAS SOUPS 461695 WITH SCORE 462374.569
AT ITER 9374 NEW BEST:: SOT 2837417 SOS 679465 HAS SOPS 679465 HAS SOUS 461591 HAS SOUPS 461591 WITH SCORE 462270.465
AT ITER 9401 NEW BEST:: SOT 2837373 SOS 679334 HAS SOPS 679334 HAS SOUS 461141 HAS SOUPS 461141 WITH SCORE 461820.334
AT ITER 9412 NEW BEST:: SOT 2837256 SOS 681401 HAS SOPS 681401 HAS SOUS 461087 HAS SOUPS 461087 WITH SCORE 461768.401
AT ITER 9458 NEW BEST:: SOT 2837069 SOS 681068 HAS SOPS 681068 HAS SOUS 460754 HAS SOUPS 460754 WITH SCORE 461435.068
AT ITER 9468 NEW BEST:: SOT 2837044 SOS 681043 HAS SOPS 681043 HAS SOUS 460729 HAS SOUPS 460729 WITH SCORE 461410.043
AT ITER 9496 NEW BEST:: SOT 2836998 SOS 680951 HAS SOPS 680951 HAS SOUS 460637 HAS SOUPS 460637 WITH SCORE 461317.951
AT ITER 9504 NEW BEST:: SOT 2836918 SOS 680780 HAS SOPS 680780 HAS SOUS 460477 HAS SOUPS 460477 WITH SCORE 461157.78
AT ITER 9505 NEW BEST:: SOT 2836855 SOS 680646 HAS SOPS 680646 HAS SOUS 460343 HAS SOUPS 460343 WITH SCORE 461023.646
AT ITER 9510 NEW BEST:: SOT 2836852 SOS 680640 HAS SOPS 680640 HAS SOUS 460340 HAS SOUPS 460340 WITH SCORE 461020.64
AT ITER 9517 NEW BEST:: SOT 2836772 SOS 680437 HAS SOPS 680437 HAS SOUS 460137 HAS SOUPS 460137 WITH SCORE 460817.437
AT ITER 9522 NEW BEST:: SOT 2836571 SOS 679468 HAS SOPS 679468 HAS SOUS 459735 HAS SOUPS 459735 WITH SCORE 460414.468
AT ITER 9523 NEW BEST:: SOT 2836245 SOS 679068 HAS SOPS 679068 HAS SOUS 459369 HAS SOUPS 459369 WITH SCORE 460048.068
AT ITER 9524 NEW BEST:: SOT 2836238 SOS 679223 HAS SOPS 679223 HAS SOUS 459343 HAS SOUPS 459343 WITH SCORE 460022.223
AT ITER 9527 NEW BEST:: SOT 2836235 SOS 679234 HAS SOPS 679234 HAS SOUS 459303 HAS SOUPS 459303 WITH SCORE 459982.234
AT ITER 9540 NEW BEST:: SOT 2836190 SOS 679085 HAS SOPS 679085 HAS SOUS 459154 HAS SOUPS 459154 WITH SCORE 459833.085
AT ITER 9576 NEW BEST:: SOT 2836171 SOS 679047 HAS SOPS 679047 HAS SOUS 459140 HAS SOUPS 459140 WITH SCORE 459819.047
AT ITER 9592 NEW BEST:: SOT 2836153 SOS 679011 HAS SOPS 679011 HAS SOUS 459104 HAS SOUPS 459104 WITH SCORE 459783.011
AT ITER 9640 NEW BEST:: SOT 2836119 SOS 678830 HAS SOPS 678830 HAS SOUS 458941 HAS SOUPS 458941 WITH SCORE 459619.83
AT ITER 9675 NEW BEST:: SOT 2835926 SOS 678637 HAS SOPS 678637 HAS SOUS 458748 HAS SOUPS 458748 WITH SCORE 459426.637
AT ITER 9679 NEW BEST:: SOT 2835863 SOS 678574 HAS SOPS 678574 HAS SOUS 458685 HAS SOUPS 458685 WITH SCORE 459363.574
AT ITER 9689 NEW BEST:: SOT 2835438 SOS 678148 HAS SOPS 678148 HAS SOUS 458259 HAS SOUPS 458259 WITH SCORE 458937.148
AT ITER 9694 NEW BEST:: SOT 2835422 SOS 678112 HAS SOPS 678112 HAS SOUS 458223 HAS SOUPS 458223 WITH SCORE 458901.112
AT ITER 9704 NEW BEST:: SOT 2835422 SOS 678054 HAS SOPS 678054 HAS SOUS 458165 HAS SOUPS 458165 WITH SCORE 458843.054
AT ITER 9735 NEW BEST:: SOT 2835367 SOS 677944 HAS SOPS 677944 HAS SOUS 458055 HAS SOUPS 458055 WITH SCORE 458732.944
AT ITER 9757 NEW BEST:: SOT 2835311 SOS 677880 HAS SOPS 677880 HAS SOUS 457949 HAS SOUPS 457949 WITH SCORE 458626.88
AT ITER 9806 NEW BEST:: SOT 2835296 SOS 678093 HAS SOPS 678093 HAS SOUS 457919 HAS SOUPS 457919 WITH SCORE 458597.093
AT ITER 9814 NEW BEST:: SOT 2835309 SOS 678045 HAS SOPS 678045 HAS SOUS 457871 HAS SOUPS 457871 WITH SCORE 458549.045
AT ITER 9818 NEW BEST:: SOT 2835308 SOS 677954 HAS SOPS 677954 HAS SOUS 457862 HAS SOUPS 457862 WITH SCORE 458539.954
AT ITER 9842 NEW BEST:: SOT 2835174 SOS 677795 HAS SOPS 677795 HAS SOUS 456091 HAS SOUPS 456091 WITH SCORE 456768.795
AT ITER 9860 NEW BEST:: SOT 2835028 SOS 677641 HAS SOPS 677641 HAS SOUS 455943 HAS SOUPS 455943 WITH SCORE 456620.641
AT ITER 9885 NEW BEST:: SOT 2834943 SOS 677471 HAS SOPS 677471 HAS SOUS 455884 HAS SOUPS 455884 WITH SCORE 456561.471
AT ITER 9894 NEW BEST:: SOT 2834770 SOS 677125 HAS SOPS 677125 HAS SOUS 455733 HAS SOUPS 455733 WITH SCORE 456410.125
AT ITER 9904 NEW BEST:: SOT 2834734 SOS 677053 HAS SOPS 677053 HAS SOUS 455633 HAS SOUPS 455633 WITH SCORE 456310.053
AT ITER 9942 NEW BEST:: SOT 2834585 SOS 676965 HAS SOPS 676965 HAS SOUS 455606 HAS SOUPS 455606 WITH SCORE 456282.965
AT ITER 9950 NEW BEST:: SOT 2834541 SOS 676877 HAS SOPS 676877 HAS SOUS 455518 HAS SOUPS 455518 WITH SCORE 456194.877
AT ITER 9959 NEW BEST:: SOT 2834520 SOS 676835 HAS SOPS 676835 HAS SOUS 455502 HAS SOUPS 455502 WITH SCORE 456178.835
AT ITER 9982 NEW BEST:: SOT 2834421 SOS 676728 HAS SOPS 676728 HAS SOUS 455457 HAS SOUPS 455457 WITH SCORE 456133.728
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13532120 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153376 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="ASLink-PT-04b"
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 ASLink-PT-04b, 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 r003-oct2-167813590400072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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