Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000065.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is 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-smll-158897508000065
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 669K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589019017063

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 13 NEW BEST:: SOT 2930331 SOS 780515 HAS SOPS 780515 HAS SOUS 619592 HAS SOUPS 619592 WITH SCORE 620372.515
AT ITER 28 NEW BEST:: SOT 2930138 SOS 781240 HAS SOPS 781240 HAS SOUS 619399 HAS SOUPS 619399 WITH SCORE 620180.24
AT ITER 54 NEW BEST:: SOT 2930082 SOS 781184 HAS SOPS 781184 HAS SOUS 619342 HAS SOUPS 619342 WITH SCORE 620123.184
AT ITER 73 NEW BEST:: SOT 2929966 SOS 780604 HAS SOPS 780604 HAS SOUS 619110 HAS SOUPS 619110 WITH SCORE 619890.604
AT ITER 78 NEW BEST:: SOT 2924990 SOS 775673 HAS SOPS 775673 HAS SOUS 618452 HAS SOUPS 618452 WITH SCORE 619227.673
AT ITER 82 NEW BEST:: SOT 2924858 SOS 775274 HAS SOPS 775274 HAS SOUS 618185 HAS SOUPS 618185 WITH SCORE 618960.274
AT ITER 103 NEW BEST:: SOT 2924277 SOS 774610 HAS SOPS 774610 HAS SOUS 618102 HAS SOUPS 618102 WITH SCORE 618876.61
AT ITER 121 NEW BEST:: SOT 2924238 SOS 774554 HAS SOPS 774554 HAS SOUS 618046 HAS SOUPS 618046 WITH SCORE 618820.554
AT ITER 131 NEW BEST:: SOT 2921856 SOS 782507 HAS SOPS 782507 HAS SOUS 616796 HAS SOUPS 616796 WITH SCORE 617578.507
AT ITER 150 NEW BEST:: SOT 2921856 SOS 782468 HAS SOPS 782468 HAS SOUS 616757 HAS SOUPS 616757 WITH SCORE 617539.468
AT ITER 153 NEW BEST:: SOT 2921854 SOS 782464 HAS SOPS 782464 HAS SOUS 616753 HAS SOUPS 616753 WITH SCORE 617535.464
AT ITER 160 NEW BEST:: SOT 2921854 SOS 782098 HAS SOPS 782098 HAS SOUS 616753 HAS SOUPS 616753 WITH SCORE 617535.098
AT ITER 163 NEW BEST:: SOT 2921573 SOS 781802 HAS SOPS 781802 HAS SOUS 616457 HAS SOUPS 616457 WITH SCORE 617238.802
AT ITER 167 NEW BEST:: SOT 2920352 SOS 781218 HAS SOPS 781218 HAS SOUS 615837 HAS SOUPS 615837 WITH SCORE 616618.218
AT ITER 175 NEW BEST:: SOT 2920352 SOS 781113 HAS SOPS 781113 HAS SOUS 615717 HAS SOUPS 615717 WITH SCORE 616498.113
AT ITER 178 NEW BEST:: SOT 2919982 SOS 780373 HAS SOPS 780373 HAS SOUS 614977 HAS SOUPS 614977 WITH SCORE 615757.373
AT ITER 187 NEW BEST:: SOT 2919845 SOS 780230 HAS SOPS 780230 HAS SOUS 614834 HAS SOUPS 614834 WITH SCORE 615614.23
AT ITER 190 NEW BEST:: SOT 2917050 SOS 787841 HAS SOPS 787841 HAS SOUS 614404 HAS SOUPS 614404 WITH SCORE 615191.841
AT ITER 195 NEW BEST:: SOT 2916971 SOS 787324 HAS SOPS 787324 HAS SOUS 614245 HAS SOUPS 614245 WITH SCORE 615032.324
AT ITER 206 NEW BEST:: SOT 2916851 SOS 787255 HAS SOPS 787255 HAS SOUS 614176 HAS SOUPS 614176 WITH SCORE 614963.255
AT ITER 209 NEW BEST:: SOT 2916851 SOS 787230 HAS SOPS 787230 HAS SOUS 614151 HAS SOUPS 614151 WITH SCORE 614938.23
AT ITER 210 NEW BEST:: SOT 2916577 SOS 786788 HAS SOPS 786788 HAS SOUS 613740 HAS SOUPS 613740 WITH SCORE 614526.788
AT ITER 225 NEW BEST:: SOT 2914915 SOS 784966 HAS SOPS 784966 HAS SOUS 611918 HAS SOUPS 611918 WITH SCORE 612702.966
AT ITER 245 NEW BEST:: SOT 2914737 SOS 784760 HAS SOPS 784760 HAS SOUS 611740 HAS SOUPS 611740 WITH SCORE 612524.76
AT ITER 250 NEW BEST:: SOT 2914737 SOS 784756 HAS SOPS 784756 HAS SOUS 611708 HAS SOUPS 611708 WITH SCORE 612492.756
AT ITER 273 NEW BEST:: SOT 2914351 SOS 784113 HAS SOPS 784113 HAS SOUS 611063 HAS SOUPS 611063 WITH SCORE 611847.113
AT ITER 303 NEW BEST:: SOT 2913701 SOS 783528 HAS SOPS 783528 HAS SOUS 610478 HAS SOUPS 610478 WITH SCORE 611261.528
AT ITER 338 NEW BEST:: SOT 2913529 SOS 783356 HAS SOPS 783356 HAS SOUS 610300 HAS SOUPS 610300 WITH SCORE 611083.356
AT ITER 342 NEW BEST:: SOT 2913151 SOS 782924 HAS SOPS 782924 HAS SOUS 610246 HAS SOUPS 610246 WITH SCORE 611028.924
AT ITER 363 NEW BEST:: SOT 2912805 SOS 782694 HAS SOPS 782694 HAS SOUS 609931 HAS SOUPS 609931 WITH SCORE 610713.694
AT ITER 370 NEW BEST:: SOT 2912805 SOS 782680 HAS SOPS 782680 HAS SOUS 609917 HAS SOUPS 609917 WITH SCORE 610699.68
AT ITER 373 NEW BEST:: SOT 2912446 SOS 781962 HAS SOPS 781962 HAS SOUS 609199 HAS SOUPS 609199 WITH SCORE 609980.962
AT ITER 410 NEW BEST:: SOT 2912409 SOS 781925 HAS SOPS 781925 HAS SOUS 609162 HAS SOUPS 609162 WITH SCORE 609943.925
AT ITER 413 NEW BEST:: SOT 2912409 SOS 781905 HAS SOPS 781905 HAS SOUS 609160 HAS SOUPS 609160 WITH SCORE 609941.905
AT ITER 424 NEW BEST:: SOT 2912408 SOS 781901 HAS SOPS 781901 HAS SOUS 609156 HAS SOUPS 609156 WITH SCORE 609937.901
AT ITER 425 NEW BEST:: SOT 2912387 SOS 781899 HAS SOPS 781899 HAS SOUS 609128 HAS SOUPS 609128 WITH SCORE 609909.899
AT ITER 442 NEW BEST:: SOT 2912387 SOS 781651 HAS SOPS 781651 HAS SOUS 609128 HAS SOUPS 609128 WITH SCORE 609909.651
AT ITER 452 NEW BEST:: SOT 2912387 SOS 781581 HAS SOPS 781581 HAS SOUS 609127 HAS SOUPS 609127 WITH SCORE 609908.581
AT ITER 467 NEW BEST:: SOT 2912275 SOS 781469 HAS SOPS 781469 HAS SOUS 609015 HAS SOUPS 609015 WITH SCORE 609796.469
AT ITER 469 NEW BEST:: SOT 2912091 SOS 781285 HAS SOPS 781285 HAS SOUS 608753 HAS SOUPS 608753 WITH SCORE 609534.285
AT ITER 489 NEW BEST:: SOT 2912063 SOS 781257 HAS SOPS 781257 HAS SOUS 608725 HAS SOUPS 608725 WITH SCORE 609506.257
AT ITER 490 NEW BEST:: SOT 2912061 SOS 781255 HAS SOPS 781255 HAS SOUS 608722 HAS SOUPS 608722 WITH SCORE 609503.255
AT ITER 492 NEW BEST:: SOT 2912060 SOS 781253 HAS SOPS 781253 HAS SOUS 608720 HAS SOUPS 608720 WITH SCORE 609501.253
AT ITER 502 NEW BEST:: SOT 2912060 SOS 781102 HAS SOPS 781102 HAS SOUS 608719 HAS SOUPS 608719 WITH SCORE 609500.102
AT ITER 511 NEW BEST:: SOT 2912060 SOS 779437 HAS SOPS 779437 HAS SOUS 608719 HAS SOUPS 608719 WITH SCORE 609498.437
AT ITER 520 NEW BEST:: SOT 2911752 SOS 779085 HAS SOPS 779085 HAS SOUS 608549 HAS SOUPS 608549 WITH SCORE 609328.085
AT ITER 521 NEW BEST:: SOT 2910441 SOS 778600 HAS SOPS 778600 HAS SOUS 607704 HAS SOUPS 607704 WITH SCORE 608482.6
AT ITER 531 NEW BEST:: SOT 2910441 SOS 778459 HAS SOPS 778459 HAS SOUS 607563 HAS SOUPS 607563 WITH SCORE 608341.459
AT ITER 547 NEW BEST:: SOT 2910248 SOS 778266 HAS SOPS 778266 HAS SOUS 607370 HAS SOUPS 607370 WITH SCORE 608148.266
AT ITER 597 NEW BEST:: SOT 2910068 SOS 778086 HAS SOPS 778086 HAS SOUS 606650 HAS SOUPS 606650 WITH SCORE 607428.086
AT ITER 615 NEW BEST:: SOT 2910060 SOS 778078 HAS SOPS 778078 HAS SOUS 606642 HAS SOUPS 606642 WITH SCORE 607420.078
AT ITER 622 NEW BEST:: SOT 2909979 SOS 777807 HAS SOPS 777807 HAS SOUS 606371 HAS SOUPS 606371 WITH SCORE 607148.807
AT ITER 628 NEW BEST:: SOT 2909779 SOS 776925 HAS SOPS 776925 HAS SOUS 605862 HAS SOUPS 605862 WITH SCORE 606638.925
AT ITER 651 NEW BEST:: SOT 2909436 SOS 776582 HAS SOPS 776582 HAS SOUS 605519 HAS SOUPS 605519 WITH SCORE 606295.582
AT ITER 654 NEW BEST:: SOT 2909303 SOS 776316 HAS SOPS 776316 HAS SOUS 605225 HAS SOUPS 605225 WITH SCORE 606001.316
AT ITER 680 NEW BEST:: SOT 2909239 SOS 776072 HAS SOPS 776072 HAS SOUS 604995 HAS SOUPS 604995 WITH SCORE 605771.072
AT ITER 682 NEW BEST:: SOT 2909239 SOS 776060 HAS SOPS 776060 HAS SOUS 604863 HAS SOUPS 604863 WITH SCORE 605639.06
AT ITER 688 NEW BEST:: SOT 2909046 SOS 775859 HAS SOPS 775859 HAS SOUS 604662 HAS SOUPS 604662 WITH SCORE 605437.859
AT ITER 702 NEW BEST:: SOT 2909019 SOS 775826 HAS SOPS 775826 HAS SOUS 604635 HAS SOUPS 604635 WITH SCORE 605410.826
AT ITER 714 NEW BEST:: SOT 2909177 SOS 775769 HAS SOPS 775769 HAS SOUS 604408 HAS SOUPS 604408 WITH SCORE 605183.769
AT ITER 727 NEW BEST:: SOT 2909177 SOS 775742 HAS SOPS 775742 HAS SOUS 604381 HAS SOUPS 604381 WITH SCORE 605156.742
AT ITER 729 NEW BEST:: SOT 2909177 SOS 775633 HAS SOPS 775633 HAS SOUS 604381 HAS SOUPS 604381 WITH SCORE 605156.633
AT ITER 732 NEW BEST:: SOT 2909177 SOS 775541 HAS SOPS 775541 HAS SOUS 604378 HAS SOUPS 604378 WITH SCORE 605153.541
AT ITER 735 NEW BEST:: SOT 2909159 SOS 775505 HAS SOPS 775505 HAS SOUS 604335 HAS SOUPS 604335 WITH SCORE 605110.505
AT ITER 755 NEW BEST:: SOT 2909159 SOS 775485 HAS SOPS 775485 HAS SOUS 604315 HAS SOUPS 604315 WITH SCORE 605090.485
AT ITER 765 NEW BEST:: SOT 2909128 SOS 775423 HAS SOPS 775423 HAS SOUS 604252 HAS SOUPS 604252 WITH SCORE 605027.423
AT ITER 792 NEW BEST:: SOT 2908724 SOS 775019 HAS SOPS 775019 HAS SOUS 603848 HAS SOUPS 603848 WITH SCORE 604623.019
AT ITER 801 NEW BEST:: SOT 2908640 SOS 773545 HAS SOPS 773545 HAS SOUS 603527 HAS SOUPS 603527 WITH SCORE 604300.545
AT ITER 809 NEW BEST:: SOT 2908569 SOS 773376 HAS SOPS 773376 HAS SOUS 603456 HAS SOUPS 603456 WITH SCORE 604229.376
AT ITER 811 NEW BEST:: SOT 2907274 SOS 774432 HAS SOPS 774432 HAS SOUS 602791 HAS SOUPS 602791 WITH SCORE 603565.432
AT ITER 826 NEW BEST:: SOT 2907068 SOS 774208 HAS SOPS 774208 HAS SOUS 602749 HAS SOUPS 602749 WITH SCORE 603523.208
AT ITER 840 NEW BEST:: SOT 2906655 SOS 773948 HAS SOPS 773948 HAS SOUS 602489 HAS SOUPS 602489 WITH SCORE 603262.948
AT ITER 858 NEW BEST:: SOT 2906104 SOS 773397 HAS SOPS 773397 HAS SOUS 601923 HAS SOUPS 601923 WITH SCORE 602696.397
AT ITER 869 NEW BEST:: SOT 2905812 SOS 773160 HAS SOPS 773160 HAS SOUS 601804 HAS SOUPS 601804 WITH SCORE 602577.16
AT ITER 870 NEW BEST:: SOT 2905589 SOS 772902 HAS SOPS 772902 HAS SOUS 601546 HAS SOUPS 601546 WITH SCORE 602318.902
AT ITER 892 NEW BEST:: SOT 2905568 SOS 772860 HAS SOPS 772860 HAS SOUS 601519 HAS SOUPS 601519 WITH SCORE 602291.86
AT ITER 897 NEW BEST:: SOT 2905336 SOS 772396 HAS SOPS 772396 HAS SOUS 601286 HAS SOUPS 601286 WITH SCORE 602058.396
AT ITER 902 NEW BEST:: SOT 2905336 SOS 772395 HAS SOPS 772395 HAS SOUS 601285 HAS SOUPS 601285 WITH SCORE 602057.395
AT ITER 909 NEW BEST:: SOT 2905148 SOS 772338 HAS SOPS 772338 HAS SOUS 600697 HAS SOUPS 600697 WITH SCORE 601469.338
AT ITER 919 NEW BEST:: SOT 2905099 SOS 772335 HAS SOPS 772335 HAS SOUS 600694 HAS SOUPS 600694 WITH SCORE 601466.335
AT ITER 927 NEW BEST:: SOT 2904928 SOS 771992 HAS SOPS 771992 HAS SOUS 600481 HAS SOUPS 600481 WITH SCORE 601252.992
AT ITER 955 NEW BEST:: SOT 2905025 SOS 772035 HAS SOPS 772035 HAS SOUS 600424 HAS SOUPS 600424 WITH SCORE 601196.035
AT ITER 969 NEW BEST:: SOT 2904973 SOS 771983 HAS SOPS 771983 HAS SOUS 600372 HAS SOUPS 600372 WITH SCORE 601143.983
AT ITER 973 NEW BEST:: SOT 2904522 SOS 771234 HAS SOPS 771234 HAS SOUS 599657 HAS SOUPS 599657 WITH SCORE 600428.234
AT ITER 976 NEW BEST:: SOT 2904550 SOS 771454 HAS SOPS 771454 HAS SOUS 599649 HAS SOUPS 599649 WITH SCORE 600420.454
AT ITER 982 NEW BEST:: SOT 2904521 SOS 771377 HAS SOPS 771377 HAS SOUS 599572 HAS SOUPS 599572 WITH SCORE 600343.377
AT ITER 1003 NEW BEST:: SOT 2904521 SOS 771198 HAS SOPS 771198 HAS SOUS 599400 HAS SOUPS 599400 WITH SCORE 600171.198
AT ITER 1021 NEW BEST:: SOT 2904520 SOS 771196 HAS SOPS 771196 HAS SOUS 599398 HAS SOUPS 599398 WITH SCORE 600169.196
AT ITER 1031 NEW BEST:: SOT 2904446 SOS 771120 HAS SOPS 771120 HAS SOUS 599315 HAS SOUPS 599315 WITH SCORE 600086.12
AT ITER 1037 NEW BEST:: SOT 2904293 SOS 770994 HAS SOPS 770994 HAS SOUS 599189 HAS SOUPS 599189 WITH SCORE 599959.994
AT ITER 1045 NEW BEST:: SOT 2904126 SOS 770411 HAS SOPS 770411 HAS SOUS 598947 HAS SOUPS 598947 WITH SCORE 599717.411
AT ITER 1058 NEW BEST:: SOT 2904164 SOS 770322 HAS SOPS 770322 HAS SOUS 598941 HAS SOUPS 598941 WITH SCORE 599711.322
AT ITER 1065 NEW BEST:: SOT 2903604 SOS 770178 HAS SOPS 770178 HAS SOUS 598406 HAS SOUPS 598406 WITH SCORE 599176.178
AT ITER 1087 NEW BEST:: SOT 2903106 SOS 769947 HAS SOPS 769947 HAS SOUS 598077 HAS SOUPS 598077 WITH SCORE 598846.947
AT ITER 1089 NEW BEST:: SOT 2902996 SOS 769837 HAS SOPS 769837 HAS SOUS 597967 HAS SOUPS 597967 WITH SCORE 598736.837
AT ITER 1092 NEW BEST:: SOT 2902408 SOS 769249 HAS SOPS 769249 HAS SOUS 597379 HAS SOUPS 597379 WITH SCORE 598148.249
AT ITER 1095 NEW BEST:: SOT 2902378 SOS 769182 HAS SOPS 769182 HAS SOUS 597349 HAS SOUPS 597349 WITH SCORE 598118.182
AT ITER 1102 NEW BEST:: SOT 2902142 SOS 768979 HAS SOPS 768979 HAS SOUS 597085 HAS SOUPS 597085 WITH SCORE 597853.979
AT ITER 1111 NEW BEST:: SOT 2902115 SOS 768733 HAS SOPS 768733 HAS SOUS 596796 HAS SOUPS 596796 WITH SCORE 597564.733
AT ITER 1142 NEW BEST:: SOT 2901991 SOS 768609 HAS SOPS 768609 HAS SOUS 596795 HAS SOUPS 596795 WITH SCORE 597563.609
AT ITER 1151 NEW BEST:: SOT 2901761 SOS 767856 HAS SOPS 767856 HAS SOUS 596562 HAS SOUPS 596562 WITH SCORE 597329.856
AT ITER 1179 NEW BEST:: SOT 2901752 SOS 767843 HAS SOPS 767843 HAS SOUS 596540 HAS SOUPS 596540 WITH SCORE 597307.843
AT ITER 1182 NEW BEST:: SOT 2900246 SOS 767848 HAS SOPS 767848 HAS SOUS 595363 HAS SOUPS 595363 WITH SCORE 596130.848
AT ITER 1208 NEW BEST:: SOT 2900246 SOS 767682 HAS SOPS 767682 HAS SOUS 595363 HAS SOUPS 595363 WITH SCORE 596130.682
AT ITER 1213 NEW BEST:: SOT 2900215 SOS 767350 HAS SOPS 767350 HAS SOUS 595253 HAS SOUPS 595253 WITH SCORE 596020.35
AT ITER 1224 NEW BEST:: SOT 2900173 SOS 767266 HAS SOPS 767266 HAS SOUS 595169 HAS SOUPS 595169 WITH SCORE 595936.266
AT ITER 1231 NEW BEST:: SOT 2900172 SOS 767265 HAS SOPS 767265 HAS SOUS 595168 HAS SOUPS 595168 WITH SCORE 595935.265
AT ITER 1243 NEW BEST:: SOT 2900172 SOS 767195 HAS SOPS 767195 HAS SOUS 595098 HAS SOUPS 595098 WITH SCORE 595865.195
AT ITER 1266 NEW BEST:: SOT 2900172 SOS 767603 HAS SOPS 767603 HAS SOUS 595075 HAS SOUPS 595075 WITH SCORE 595842.603
AT ITER 1289 NEW BEST:: SOT 2899584 SOS 767048 HAS SOPS 767048 HAS SOUS 594487 HAS SOUPS 594487 WITH SCORE 595254.048
AT ITER 1301 NEW BEST:: SOT 2899584 SOS 767004 HAS SOPS 767004 HAS SOUS 594443 HAS SOUPS 594443 WITH SCORE 595210.004
AT ITER 1314 NEW BEST:: SOT 2899412 SOS 766763 HAS SOPS 766763 HAS SOUS 594202 HAS SOUPS 594202 WITH SCORE 594968.763
AT ITER 1342 NEW BEST:: SOT 2899130 SOS 766481 HAS SOPS 766481 HAS SOUS 593920 HAS SOUPS 593920 WITH SCORE 594686.481
AT ITER 1364 NEW BEST:: SOT 2898962 SOS 766558 HAS SOPS 766558 HAS SOUS 593624 HAS SOUPS 593624 WITH SCORE 594390.558
AT ITER 1371 NEW BEST:: SOT 2898819 SOS 766435 HAS SOPS 766435 HAS SOUS 593499 HAS SOUPS 593499 WITH SCORE 594265.435
AT ITER 1373 NEW BEST:: SOT 2898490 SOS 766106 HAS SOPS 766106 HAS SOUS 593170 HAS SOUPS 593170 WITH SCORE 593936.106
AT ITER 1391 NEW BEST:: SOT 2898157 SOS 766008 HAS SOPS 766008 HAS SOUS 592971 HAS SOUPS 592971 WITH SCORE 593737.008
AT ITER 1394 NEW BEST:: SOT 2898157 SOS 765872 HAS SOPS 765872 HAS SOUS 592971 HAS SOUPS 592971 WITH SCORE 593736.872
AT ITER 1401 NEW BEST:: SOT 2896436 SOS 772753 HAS SOPS 772753 HAS SOUS 592263 HAS SOUPS 592263 WITH SCORE 593035.753
AT ITER 1402 NEW BEST:: SOT 2896436 SOS 772612 HAS SOPS 772612 HAS SOUS 592261 HAS SOUPS 592261 WITH SCORE 593033.612
AT ITER 1403 NEW BEST:: SOT 2896436 SOS 772611 HAS SOPS 772611 HAS SOUS 592260 HAS SOUPS 592260 WITH SCORE 593032.611
AT ITER 1452 NEW BEST:: SOT 2896085 SOS 772260 HAS SOPS 772260 HAS SOUS 591909 HAS SOUPS 591909 WITH SCORE 592681.26
AT ITER 1465 NEW BEST:: SOT 2896085 SOS 772259 HAS SOPS 772259 HAS SOUS 591908 HAS SOUPS 591908 WITH SCORE 592680.259
AT ITER 1471 NEW BEST:: SOT 2896010 SOS 772184 HAS SOPS 772184 HAS SOUS 591833 HAS SOUPS 591833 WITH SCORE 592605.184
AT ITER 1476 NEW BEST:: SOT 2896010 SOS 772182 HAS SOPS 772182 HAS SOUS 591831 HAS SOUPS 591831 WITH SCORE 592603.182
AT ITER 1497 NEW BEST:: SOT 2895942 SOS 771985 HAS SOPS 771985 HAS SOUS 591634 HAS SOUPS 591634 WITH SCORE 592405.985
AT ITER 1518 NEW BEST:: SOT 2895878 SOS 771921 HAS SOPS 771921 HAS SOUS 591570 HAS SOUPS 591570 WITH SCORE 592341.921
AT ITER 1524 NEW BEST:: SOT 2895622 SOS 771639 HAS SOPS 771639 HAS SOUS 591190 HAS SOUPS 591190 WITH SCORE 591961.639
AT ITER 1539 NEW BEST:: SOT 2895645 SOS 771635 HAS SOPS 771635 HAS SOUS 591186 HAS SOUPS 591186 WITH SCORE 591957.635
AT ITER 1547 NEW BEST:: SOT 2895608 SOS 771451 HAS SOPS 771451 HAS SOUS 591112 HAS SOUPS 591112 WITH SCORE 591883.451
AT ITER 1556 NEW BEST:: SOT 2895034 SOS 770795 HAS SOPS 770795 HAS SOUS 591030 HAS SOUPS 591030 WITH SCORE 591800.795
AT ITER 1568 NEW BEST:: SOT 2895034 SOS 770651 HAS SOPS 770651 HAS SOUS 591030 HAS SOUPS 591030 WITH SCORE 591800.651
AT ITER 1606 NEW BEST:: SOT 2894966 SOS 770727 HAS SOPS 770727 HAS SOUS 590861 HAS SOUPS 590861 WITH SCORE 591631.727
AT ITER 1610 NEW BEST:: SOT 2894545 SOS 770335 HAS SOPS 770335 HAS SOUS 590448 HAS SOUPS 590448 WITH SCORE 591218.335
AT ITER 1616 NEW BEST:: SOT 2894531 SOS 770321 HAS SOPS 770321 HAS SOUS 590434 HAS SOUPS 590434 WITH SCORE 591204.321
AT ITER 1619 NEW BEST:: SOT 2893711 SOS 769291 HAS SOPS 769291 HAS SOUS 590380 HAS SOUPS 590380 WITH SCORE 591149.291
AT ITER 1620 NEW BEST:: SOT 2893693 SOS 769273 HAS SOPS 769273 HAS SOUS 590362 HAS SOUPS 590362 WITH SCORE 591131.273
AT ITER 1630 NEW BEST:: SOT 2893479 SOS 768975 HAS SOPS 768975 HAS SOUS 590061 HAS SOUPS 590061 WITH SCORE 590829.975
AT ITER 1636 NEW BEST:: SOT 2893479 SOS 768974 HAS SOPS 768974 HAS SOUS 590060 HAS SOUPS 590060 WITH SCORE 590828.974
AT ITER 1639 NEW BEST:: SOT 2893387 SOS 768039 HAS SOPS 768039 HAS SOUS 589684 HAS SOUPS 589684 WITH SCORE 590452.039
AT ITER 1643 NEW BEST:: SOT 2893361 SOS 767997 HAS SOPS 767997 HAS SOUS 589642 HAS SOUPS 589642 WITH SCORE 590409.997
AT ITER 1648 NEW BEST:: SOT 2893253 SOS 767889 HAS SOPS 767889 HAS SOUS 589210 HAS SOUPS 589210 WITH SCORE 589977.889
AT ITER 1663 NEW BEST:: SOT 2892420 SOS 767347 HAS SOPS 767347 HAS SOUS 588530 HAS SOUPS 588530 WITH SCORE 589297.347
AT ITER 1674 NEW BEST:: SOT 2892586 SOS 767241 HAS SOPS 767241 HAS SOUS 588522 HAS SOUPS 588522 WITH SCORE 589289.241
AT ITER 1686 NEW BEST:: SOT 2892573 SOS 767149 HAS SOPS 767149 HAS SOUS 588430 HAS SOUPS 588430 WITH SCORE 589197.149
AT ITER 1704 NEW BEST:: SOT 2892444 SOS 766891 HAS SOPS 766891 HAS SOUS 588172 HAS SOUPS 588172 WITH SCORE 588938.891
AT ITER 1707 NEW BEST:: SOT 2892417 SOS 766850 HAS SOPS 766850 HAS SOUS 588131 HAS SOUPS 588131 WITH SCORE 588897.85
AT ITER 1711 NEW BEST:: SOT 2892230 SOS 766808 HAS SOPS 766808 HAS SOUS 588089 HAS SOUPS 588089 WITH SCORE 588855.808
AT ITER 1717 NEW BEST:: SOT 2892205 SOS 766497 HAS SOPS 766497 HAS SOUS 587966 HAS SOUPS 587966 WITH SCORE 588732.497
AT ITER 1720 NEW BEST:: SOT 2892025 SOS 766233 HAS SOPS 766233 HAS SOUS 587665 HAS SOUPS 587665 WITH SCORE 588431.233
AT ITER 1759 NEW BEST:: SOT 2891785 SOS 765753 HAS SOPS 765753 HAS SOUS 587185 HAS SOUPS 587185 WITH SCORE 587950.753
AT ITER 1783 NEW BEST:: SOT 2891785 SOS 765717 HAS SOPS 765717 HAS SOUS 587149 HAS SOUPS 587149 WITH SCORE 587914.717
AT ITER 1820 NEW BEST:: SOT 2891536 SOS 765242 HAS SOPS 765242 HAS SOUS 586900 HAS SOUPS 586900 WITH SCORE 587665.242
AT ITER 1823 NEW BEST:: SOT 2891535 SOS 765143 HAS SOPS 765143 HAS SOUS 586897 HAS SOUPS 586897 WITH SCORE 587662.143
AT ITER 1832 NEW BEST:: SOT 2891535 SOS 765142 HAS SOPS 765142 HAS SOUS 586805 HAS SOUPS 586805 WITH SCORE 587570.142
AT ITER 1837 NEW BEST:: SOT 2891487 SOS 765042 HAS SOPS 765042 HAS SOUS 586705 HAS SOUPS 586705 WITH SCORE 587470.042
AT ITER 1840 NEW BEST:: SOT 2890706 SOS 763480 HAS SOPS 763480 HAS SOUS 585143 HAS SOUPS 585143 WITH SCORE 585906.48
AT ITER 1850 NEW BEST:: SOT 2890700 SOS 763468 HAS SOPS 763468 HAS SOUS 585131 HAS SOUPS 585131 WITH SCORE 585894.468
AT ITER 1858 NEW BEST:: SOT 2890699 SOS 763527 HAS SOPS 763527 HAS SOUS 585129 HAS SOUPS 585129 WITH SCORE 585892.527
AT ITER 1870 NEW BEST:: SOT 2890699 SOS 763599 HAS SOPS 763599 HAS SOUS 585100 HAS SOUPS 585100 WITH SCORE 585863.599
AT ITER 1882 NEW BEST:: SOT 2890699 SOS 763599 HAS SOPS 763599 HAS SOUS 585099 HAS SOUPS 585099 WITH SCORE 585862.599
AT ITER 1883 NEW BEST:: SOT 2890709 SOS 763410 HAS SOPS 763410 HAS SOUS 584910 HAS SOUPS 584910 WITH SCORE 585673.41
AT ITER 1893 NEW BEST:: SOT 2890693 SOS 763392 HAS SOPS 763392 HAS SOUS 584844 HAS SOUPS 584844 WITH SCORE 585607.392
AT ITER 1907 NEW BEST:: SOT 2889800 SOS 762350 HAS SOPS 762350 HAS SOUS 583802 HAS SOUPS 583802 WITH SCORE 584564.35
AT ITER 1913 NEW BEST:: SOT 2889631 SOS 759477 HAS SOPS 759477 HAS SOUS 583464 HAS SOUPS 583464 WITH SCORE 584223.477
AT ITER 1919 NEW BEST:: SOT 2889446 SOS 759051 HAS SOPS 759051 HAS SOUS 583273 HAS SOUPS 583273 WITH SCORE 584032.051
AT ITER 1921 NEW BEST:: SOT 2889275 SOS 758881 HAS SOPS 758881 HAS SOUS 583005 HAS SOUPS 583005 WITH SCORE 583763.881
AT ITER 1942 NEW BEST:: SOT 2889202 SOS 758432 HAS SOPS 758432 HAS SOUS 580890 HAS SOUPS 580890 WITH SCORE 581648.432
AT ITER 1968 NEW BEST:: SOT 2889198 SOS 758423 HAS SOPS 758423 HAS SOUS 580881 HAS SOUPS 580881 WITH SCORE 581639.423
AT ITER 1986 NEW BEST:: SOT 2889198 SOS 758420 HAS SOPS 758420 HAS SOUS 580878 HAS SOUPS 580878 WITH SCORE 581636.42
AT ITER 1991 NEW BEST:: SOT 2889337 SOS 758405 HAS SOPS 758405 HAS SOUS 580868 HAS SOUPS 580868 WITH SCORE 581626.405
AT ITER 2005 NEW BEST:: SOT 2889004 SOS 758072 HAS SOPS 758072 HAS SOUS 580522 HAS SOUPS 580522 WITH SCORE 581280.072
AT ITER 2027 NEW BEST:: SOT 2888949 SOS 757797 HAS SOPS 757797 HAS SOUS 580412 HAS SOUPS 580412 WITH SCORE 581169.797
AT ITER 2039 NEW BEST:: SOT 2887749 SOS 759410 HAS SOPS 759410 HAS SOUS 579660 HAS SOUPS 579660 WITH SCORE 580419.41
AT ITER 2053 NEW BEST:: SOT 2887628 SOS 758457 HAS SOPS 758457 HAS SOUS 579418 HAS SOUPS 579418 WITH SCORE 580176.457
AT ITER 2059 NEW BEST:: SOT 2887628 SOS 758443 HAS SOPS 758443 HAS SOUS 579404 HAS SOUPS 579404 WITH SCORE 580162.443
AT ITER 2067 NEW BEST:: SOT 2887488 SOS 758303 HAS SOPS 758303 HAS SOUS 579264 HAS SOUPS 579264 WITH SCORE 580022.303
AT ITER 2068 NEW BEST:: SOT 2887488 SOS 758244 HAS SOPS 758244 HAS SOUS 579264 HAS SOUPS 579264 WITH SCORE 580022.244
AT ITER 2073 NEW BEST:: SOT 2887276 SOS 758043 HAS SOPS 758043 HAS SOUS 579062 HAS SOUPS 579062 WITH SCORE 579820.043
AT ITER 2096 NEW BEST:: SOT 2887285 SOS 758029 HAS SOPS 758029 HAS SOUS 579048 HAS SOUPS 579048 WITH SCORE 579806.029
AT ITER 2105 NEW BEST:: SOT 2886714 SOS 757817 HAS SOPS 757817 HAS SOUS 578663 HAS SOUPS 578663 WITH SCORE 579420.817
AT ITER 2120 NEW BEST:: SOT 2886275 SOS 760517 HAS SOPS 760517 HAS SOUS 578621 HAS SOUPS 578621 WITH SCORE 579381.517
AT ITER 2134 NEW BEST:: SOT 2886296 SOS 760591 HAS SOPS 760591 HAS SOUS 578460 HAS SOUPS 578460 WITH SCORE 579220.591
AT ITER 2137 NEW BEST:: SOT 2886077 SOS 760372 HAS SOPS 760372 HAS SOUS 578241 HAS SOUPS 578241 WITH SCORE 579001.372
AT ITER 2151 NEW BEST:: SOT 2886011 SOS 760240 HAS SOPS 760240 HAS SOUS 578109 HAS SOUPS 578109 WITH SCORE 578869.24
AT ITER 2160 NEW BEST:: SOT 2885961 SOS 760190 HAS SOPS 760190 HAS SOUS 578109 HAS SOUPS 578109 WITH SCORE 578869.19
AT ITER 2170 NEW BEST:: SOT 2885812 SOS 760099 HAS SOPS 760099 HAS SOUS 577823 HAS SOUPS 577823 WITH SCORE 578583.099
AT ITER 2178 NEW BEST:: SOT 2885649 SOS 759370 HAS SOPS 759370 HAS SOUS 575440 HAS SOUPS 575440 WITH SCORE 576199.37
AT ITER 2183 NEW BEST:: SOT 2885590 SOS 759311 HAS SOPS 759311 HAS SOUS 575333 HAS SOUPS 575333 WITH SCORE 576092.311
AT ITER 2187 NEW BEST:: SOT 2885529 SOS 759189 HAS SOPS 759189 HAS SOUS 575211 HAS SOUPS 575211 WITH SCORE 575970.189
AT ITER 2189 NEW BEST:: SOT 2885529 SOS 759188 HAS SOPS 759188 HAS SOUS 575208 HAS SOUPS 575208 WITH SCORE 575967.188
AT ITER 2212 NEW BEST:: SOT 2885522 SOS 758972 HAS SOPS 758972 HAS SOUS 575185 HAS SOUPS 575185 WITH SCORE 575943.972
AT ITER 2213 NEW BEST:: SOT 2885521 SOS 758858 HAS SOPS 758858 HAS SOUS 575174 HAS SOUPS 575174 WITH SCORE 575932.858
AT ITER 2216 NEW BEST:: SOT 2885521 SOS 758753 HAS SOPS 758753 HAS SOUS 575174 HAS SOUPS 575174 WITH SCORE 575932.753
AT ITER 2224 NEW BEST:: SOT 2885079 SOS 758544 HAS SOPS 758544 HAS SOUS 574964 HAS SOUPS 574964 WITH SCORE 575722.544
AT ITER 2228 NEW BEST:: SOT 2885070 SOS 758526 HAS SOPS 758526 HAS SOUS 574946 HAS SOUPS 574946 WITH SCORE 575704.526
AT ITER 2232 NEW BEST:: SOT 2885026 SOS 758601 HAS SOPS 758601 HAS SOUS 574853 HAS SOUPS 574853 WITH SCORE 575611.601
AT ITER 2236 NEW BEST:: SOT 2884730 SOS 758305 HAS SOPS 758305 HAS SOUS 574556 HAS SOUPS 574556 WITH SCORE 575314.305
AT ITER 2274 NEW BEST:: SOT 2883476 SOS 757480 HAS SOPS 757480 HAS SOUS 573610 HAS SOUPS 573610 WITH SCORE 574367.48
AT ITER 2275 NEW BEST:: SOT 2883461 SOS 757390 HAS SOPS 757390 HAS SOUS 573580 HAS SOUPS 573580 WITH SCORE 574337.39
AT ITER 2312 NEW BEST:: SOT 2883522 SOS 757376 HAS SOPS 757376 HAS SOUS 573460 HAS SOUPS 573460 WITH SCORE 574217.376
AT ITER 2318 NEW BEST:: SOT 2883522 SOS 757376 HAS SOPS 757376 HAS SOUS 573277 HAS SOUPS 573277 WITH SCORE 574034.376
AT ITER 2327 NEW BEST:: SOT 2883219 SOS 756845 HAS SOPS 756845 HAS SOUS 572739 HAS SOUPS 572739 WITH SCORE 573495.845
AT ITER 2329 NEW BEST:: SOT 2883218 SOS 756791 HAS SOPS 756791 HAS SOUS 572685 HAS SOUPS 572685 WITH SCORE 573441.791
AT ITER 2342 NEW BEST:: SOT 2883218 SOS 756752 HAS SOPS 756752 HAS SOUS 572685 HAS SOUPS 572685 WITH SCORE 573441.752
AT ITER 2348 NEW BEST:: SOT 2883016 SOS 756550 HAS SOPS 756550 HAS SOUS 572685 HAS SOUPS 572685 WITH SCORE 573441.55
AT ITER 2353 NEW BEST:: SOT 2882861 SOS 756235 HAS SOPS 756235 HAS SOUS 571236 HAS SOUPS 571236 WITH SCORE 571992.235
AT ITER 2361 NEW BEST:: SOT 2882861 SOS 756207 HAS SOPS 756207 HAS SOUS 571227 HAS SOUPS 571227 WITH SCORE 571983.207
AT ITER 2367 NEW BEST:: SOT 2882769 SOS 756114 HAS SOPS 756114 HAS SOUS 571134 HAS SOUPS 571134 WITH SCORE 571890.114
AT ITER 2380 NEW BEST:: SOT 2882992 SOS 759438 HAS SOPS 759438 HAS SOUS 569645 HAS SOUPS 569645 WITH SCORE 570404.438
AT ITER 2396 NEW BEST:: SOT 2881431 SOS 765270 HAS SOPS 765270 HAS SOUS 569285 HAS SOUPS 569285 WITH SCORE 570050.27
AT ITER 2401 NEW BEST:: SOT 2881070 SOS 764883 HAS SOPS 764883 HAS SOUS 568924 HAS SOUPS 568924 WITH SCORE 569688.883
AT ITER 2427 NEW BEST:: SOT 2880788 SOS 764521 HAS SOPS 764521 HAS SOUS 568844 HAS SOUPS 568844 WITH SCORE 569608.521
AT ITER 2444 NEW BEST:: SOT 2879171 SOS 763040 HAS SOPS 763040 HAS SOUS 567227 HAS SOUPS 567227 WITH SCORE 567990.04
AT ITER 2455 NEW BEST:: SOT 2879144 SOS 762987 HAS SOPS 762987 HAS SOUS 567223 HAS SOUPS 567223 WITH SCORE 567985.987
AT ITER 2480 NEW BEST:: SOT 2878729 SOS 763153 HAS SOPS 763153 HAS SOUS 566974 HAS SOUPS 566974 WITH SCORE 567737.153
AT ITER 2487 NEW BEST:: SOT 2878729 SOS 762991 HAS SOPS 762991 HAS SOUS 566970 HAS SOUPS 566970 WITH SCORE 567732.991
AT ITER 2493 NEW BEST:: SOT 2878393 SOS 762731 HAS SOPS 762731 HAS SOUS 566710 HAS SOUPS 566710 WITH SCORE 567472.731
AT ITER 2503 NEW BEST:: SOT 2878351 SOS 762741 HAS SOPS 762741 HAS SOUS 566601 HAS SOUPS 566601 WITH SCORE 567363.741
AT ITER 2523 NEW BEST:: SOT 2878219 SOS 762700 HAS SOPS 762700 HAS SOUS 566337 HAS SOUPS 566337 WITH SCORE 567099.7
AT ITER 2526 NEW BEST:: SOT 2877099 SOS 761420 HAS SOPS 761420 HAS SOUS 566177 HAS SOUPS 566177 WITH SCORE 566938.42
AT ITER 2529 NEW BEST:: SOT 2876958 SOS 761138 HAS SOPS 761138 HAS SOUS 566029 HAS SOUPS 566029 WITH SCORE 566790.138
AT ITER 2573 NEW BEST:: SOT 2876877 SOS 760976 HAS SOPS 760976 HAS SOUS 565867 HAS SOUPS 565867 WITH SCORE 566627.976
AT ITER 2607 NEW BEST:: SOT 2876877 SOS 760927 HAS SOPS 760927 HAS SOUS 565818 HAS SOUPS 565818 WITH SCORE 566578.927
AT ITER 2615 NEW BEST:: SOT 2876788 SOS 760838 HAS SOPS 760838 HAS SOUS 565729 HAS SOUPS 565729 WITH SCORE 566489.838
AT ITER 2623 NEW BEST:: SOT 2876629 SOS 760600 HAS SOPS 760600 HAS SOUS 565244 HAS SOUPS 565244 WITH SCORE 566004.6
AT ITER 2626 NEW BEST:: SOT 2876604 SOS 760554 HAS SOPS 760554 HAS SOUS 565198 HAS SOUPS 565198 WITH SCORE 565958.554
AT ITER 2629 NEW BEST:: SOT 2876296 SOS 759938 HAS SOPS 759938 HAS SOUS 564736 HAS SOUPS 564736 WITH SCORE 565495.938
AT ITER 2637 NEW BEST:: SOT 2876280 SOS 759882 HAS SOPS 759882 HAS SOUS 564704 HAS SOUPS 564704 WITH SCORE 565463.882
AT ITER 2639 NEW BEST:: SOT 2876263 SOS 759865 HAS SOPS 759865 HAS SOUS 564687 HAS SOUPS 564687 WITH SCORE 565446.865
AT ITER 2703 NEW BEST:: SOT 2876279 SOS 759882 HAS SOPS 759882 HAS SOUS 564612 HAS SOUPS 564612 WITH SCORE 565371.882
AT ITER 2744 NEW BEST:: SOT 2876184 SOS 759768 HAS SOPS 759768 HAS SOUS 564498 HAS SOUPS 564498 WITH SCORE 565257.768
AT ITER 2751 NEW BEST:: SOT 2876014 SOS 759745 HAS SOPS 759745 HAS SOUS 564293 HAS SOUPS 564293 WITH SCORE 565052.745
AT ITER 2764 NEW BEST:: SOT 2875917 SOS 759626 HAS SOPS 759626 HAS SOUS 564174 HAS SOUPS 564174 WITH SCORE 564933.626
AT ITER 2774 NEW BEST:: SOT 2875870 SOS 759579 HAS SOPS 759579 HAS SOUS 564127 HAS SOUPS 564127 WITH SCORE 564886.579
AT ITER 2792 NEW BEST:: SOT 2875946 SOS 759414 HAS SOPS 759414 HAS SOUS 563962 HAS SOUPS 563962 WITH SCORE 564721.414
AT ITER 2808 NEW BEST:: SOT 2875721 SOS 759163 HAS SOPS 759163 HAS SOUS 563486 HAS SOUPS 563486 WITH SCORE 564245.163
AT ITER 2814 NEW BEST:: SOT 2875400 SOS 758517 HAS SOPS 758517 HAS SOUS 563164 HAS SOUPS 563164 WITH SCORE 563922.517
AT ITER 2840 NEW BEST:: SOT 2875448 SOS 758508 HAS SOPS 758508 HAS SOUS 563155 HAS SOUPS 563155 WITH SCORE 563913.508
AT ITER 2843 NEW BEST:: SOT 2875390 SOS 758508 HAS SOPS 758508 HAS SOUS 563097 HAS SOUPS 563097 WITH SCORE 563855.508
AT ITER 2878 NEW BEST:: SOT 2875118 SOS 758258 HAS SOPS 758258 HAS SOUS 562847 HAS SOUPS 562847 WITH SCORE 563605.258
AT ITER 2913 NEW BEST:: SOT 2875001 SOS 758161 HAS SOPS 758161 HAS SOUS 562613 HAS SOUPS 562613 WITH SCORE 563371.161
AT ITER 2921 NEW BEST:: SOT 2875001 SOS 758034 HAS SOPS 758034 HAS SOUS 562613 HAS SOUPS 562613 WITH SCORE 563371.034
AT ITER 2965 NEW BEST:: SOT 2874981 SOS 758044 HAS SOPS 758044 HAS SOUS 562603 HAS SOUPS 562603 WITH SCORE 563361.044
AT ITER 2967 NEW BEST:: SOT 2874669 SOS 757498 HAS SOPS 757498 HAS SOUS 562043 HAS SOUPS 562043 WITH SCORE 562800.498
AT ITER 2969 NEW BEST:: SOT 2874511 SOS 757391 HAS SOPS 757391 HAS SOUS 561750 HAS SOUPS 561750 WITH SCORE 562507.391
AT ITER 2983 NEW BEST:: SOT 2874511 SOS 757249 HAS SOPS 757249 HAS SOUS 561608 HAS SOUPS 561608 WITH SCORE 562365.249
AT ITER 2985 NEW BEST:: SOT 2874407 SOS 757110 HAS SOPS 757110 HAS SOUS 561469 HAS SOUPS 561469 WITH SCORE 562226.11
AT ITER 3027 NEW BEST:: SOT 2874343 SOS 756982 HAS SOPS 756982 HAS SOUS 561341 HAS SOUPS 561341 WITH SCORE 562097.982
AT ITER 3035 NEW BEST:: SOT 2874343 SOS 756981 HAS SOPS 756981 HAS SOUS 561340 HAS SOUPS 561340 WITH SCORE 562096.981
AT ITER 3053 NEW BEST:: SOT 2874272 SOS 756883 HAS SOPS 756883 HAS SOUS 561268 HAS SOUPS 561268 WITH SCORE 562024.883
AT ITER 3074 NEW BEST:: SOT 2874272 SOS 756638 HAS SOPS 756638 HAS SOUS 561268 HAS SOUPS 561268 WITH SCORE 562024.638
AT ITER 3075 NEW BEST:: SOT 2873979 SOS 756345 HAS SOPS 756345 HAS SOUS 560682 HAS SOUPS 560682 WITH SCORE 561438.345
AT ITER 3092 NEW BEST:: SOT 2873722 SOS 755990 HAS SOPS 755990 HAS SOUS 560386 HAS SOUPS 560386 WITH SCORE 561141.99
AT ITER 3124 NEW BEST:: SOT 2873614 SOS 755849 HAS SOPS 755849 HAS SOUS 560278 HAS SOUPS 560278 WITH SCORE 561033.849
AT ITER 3131 NEW BEST:: SOT 2873299 SOS 755654 HAS SOPS 755654 HAS SOUS 560083 HAS SOUPS 560083 WITH SCORE 560838.654
AT ITER 3135 NEW BEST:: SOT 2873284 SOS 755624 HAS SOPS 755624 HAS SOUS 560053 HAS SOUPS 560053 WITH SCORE 560808.624
AT ITER 3146 NEW BEST:: SOT 2873395 SOS 755589 HAS SOPS 755589 HAS SOUS 560018 HAS SOUPS 560018 WITH SCORE 560773.589
AT ITER 3151 NEW BEST:: SOT 2873174 SOS 755368 HAS SOPS 755368 HAS SOUS 559812 HAS SOUPS 559812 WITH SCORE 560567.368
AT ITER 3167 NEW BEST:: SOT 2872901 SOS 755056 HAS SOPS 755056 HAS SOUS 559773 HAS SOUPS 559773 WITH SCORE 560528.056
AT ITER 3170 NEW BEST:: SOT 2872854 SOS 754962 HAS SOPS 754962 HAS SOUS 559726 HAS SOUPS 559726 WITH SCORE 560480.962
AT ITER 3175 NEW BEST:: SOT 2872422 SOS 754776 HAS SOPS 754776 HAS SOUS 559493 HAS SOUPS 559493 WITH SCORE 560247.776
AT ITER 3209 NEW BEST:: SOT 2872343 SOS 754697 HAS SOPS 754697 HAS SOUS 559414 HAS SOUPS 559414 WITH SCORE 560168.697
AT ITER 3214 NEW BEST:: SOT 2872283 SOS 754530 HAS SOPS 754530 HAS SOUS 559352 HAS SOUPS 559352 WITH SCORE 560106.53
AT ITER 3216 NEW BEST:: SOT 2871888 SOS 754121 HAS SOPS 754121 HAS SOUS 558903 HAS SOUPS 558903 WITH SCORE 559657.121
AT ITER 3239 NEW BEST:: SOT 2871855 SOS 754066 HAS SOPS 754066 HAS SOUS 558848 HAS SOUPS 558848 WITH SCORE 559602.066
AT ITER 3269 NEW BEST:: SOT 2871750 SOS 753852 HAS SOPS 753852 HAS SOUS 558634 HAS SOUPS 558634 WITH SCORE 559387.852
AT ITER 3281 NEW BEST:: SOT 2867562 SOS 750257 HAS SOPS 750257 HAS SOUS 554482 HAS SOUPS 554482 WITH SCORE 555232.257
AT ITER 3282 NEW BEST:: SOT 2867399 SOS 749931 HAS SOPS 749931 HAS SOUS 554156 HAS SOUPS 554156 WITH SCORE 554905.931
AT ITER 3300 NEW BEST:: SOT 2867315 SOS 749980 HAS SOPS 749980 HAS SOUS 554019 HAS SOUPS 554019 WITH SCORE 554768.98
AT ITER 3308 NEW BEST:: SOT 2867315 SOS 749911 HAS SOPS 749911 HAS SOUS 554019 HAS SOUPS 554019 WITH SCORE 554768.911
AT ITER 3311 NEW BEST:: SOT 2866811 SOS 749407 HAS SOPS 749407 HAS SOUS 553515 HAS SOUPS 553515 WITH SCORE 554264.407
AT ITER 3364 NEW BEST:: SOT 2866811 SOS 749367 HAS SOPS 749367 HAS SOUS 553505 HAS SOUPS 553505 WITH SCORE 554254.367
AT ITER 3369 NEW BEST:: SOT 2866811 SOS 749340 HAS SOPS 749340 HAS SOUS 553478 HAS SOUPS 553478 WITH SCORE 554227.34
AT ITER 3389 NEW BEST:: SOT 2866736 SOS 749190 HAS SOPS 749190 HAS SOUS 553328 HAS SOUPS 553328 WITH SCORE 554077.19
AT ITER 3417 NEW BEST:: SOT 2864239 SOS 746356 HAS SOPS 746356 HAS SOUS 552934 HAS SOUPS 552934 WITH SCORE 553680.356
AT ITER 3419 NEW BEST:: SOT 2864238 SOS 746354 HAS SOPS 746354 HAS SOUS 552932 HAS SOUPS 552932 WITH SCORE 553678.354
AT ITER 3421 NEW BEST:: SOT 2864238 SOS 746352 HAS SOPS 746352 HAS SOUS 552930 HAS SOUPS 552930 WITH SCORE 553676.352
AT ITER 3430 NEW BEST:: SOT 2864238 SOS 746321 HAS SOPS 746321 HAS SOUS 552899 HAS SOUPS 552899 WITH SCORE 553645.321
AT ITER 3437 NEW BEST:: SOT 2864587 SOS 746561 HAS SOPS 746561 HAS SOUS 552847 HAS SOUPS 552847 WITH SCORE 553593.561
AT ITER 3471 NEW BEST:: SOT 2864413 SOS 746041 HAS SOPS 746041 HAS SOUS 552499 HAS SOUPS 552499 WITH SCORE 553245.041
AT ITER 3475 NEW BEST:: SOT 2864349 SOS 745909 HAS SOPS 745909 HAS SOUS 552428 HAS SOUPS 552428 WITH SCORE 553173.909
AT ITER 3476 NEW BEST:: SOT 2864345 SOS 745905 HAS SOPS 745905 HAS SOUS 552424 HAS SOUPS 552424 WITH SCORE 553169.905
AT ITER 3509 NEW BEST:: SOT 2864103 SOS 743847 HAS SOPS 743847 HAS SOUS 552115 HAS SOUPS 552115 WITH SCORE 552858.847
AT ITER 3528 NEW BEST:: SOT 2863964 SOS 743569 HAS SOPS 743569 HAS SOUS 552011 HAS SOUPS 552011 WITH SCORE 552754.569
AT ITER 3530 NEW BEST:: SOT 2863964 SOS 743354 HAS SOPS 743354 HAS SOUS 552011 HAS SOUPS 552011 WITH SCORE 552754.354
AT ITER 3536 NEW BEST:: SOT 2863940 SOS 743323 HAS SOPS 743323 HAS SOUS 551942 HAS SOUPS 551942 WITH SCORE 552685.323
AT ITER 3539 NEW BEST:: SOT 2863905 SOS 743039 HAS SOPS 743039 HAS SOUS 551481 HAS SOUPS 551481 WITH SCORE 552224.039
AT ITER 3543 NEW BEST:: SOT 2864376 SOS 744036 HAS SOPS 744036 HAS SOUS 549208 HAS SOUPS 549208 WITH SCORE 549952.036
AT ITER 3549 NEW BEST:: SOT 2864376 SOS 744030 HAS SOPS 744030 HAS SOUS 549202 HAS SOUPS 549202 WITH SCORE 549946.03
AT ITER 3567 NEW BEST:: SOT 2864261 SOS 743856 HAS SOPS 743856 HAS SOUS 549037 HAS SOUPS 549037 WITH SCORE 549780.856
AT ITER 3568 NEW BEST:: SOT 2864053 SOS 743440 HAS SOPS 743440 HAS SOUS 548827 HAS SOUPS 548827 WITH SCORE 549570.44
AT ITER 3584 NEW BEST:: SOT 2864053 SOS 743354 HAS SOPS 743354 HAS SOUS 548827 HAS SOUPS 548827 WITH SCORE 549570.354
AT ITER 3588 NEW BEST:: SOT 2864049 SOS 743342 HAS SOPS 743342 HAS SOUS 548815 HAS SOUPS 548815 WITH SCORE 549558.342
AT ITER 3589 NEW BEST:: SOT 2864049 SOS 743117 HAS SOPS 743117 HAS SOUS 548590 HAS SOUPS 548590 WITH SCORE 549333.117
AT ITER 3600 NEW BEST:: SOT 2864049 SOS 743011 HAS SOPS 743011 HAS SOUS 548590 HAS SOUPS 548590 WITH SCORE 549333.011
AT ITER 3607 NEW BEST:: SOT 2864028 SOS 742999 HAS SOPS 742999 HAS SOUS 548578 HAS SOUPS 548578 WITH SCORE 549320.999
AT ITER 3608 NEW BEST:: SOT 2864028 SOS 742840 HAS SOPS 742840 HAS SOUS 548570 HAS SOUPS 548570 WITH SCORE 549312.84
AT ITER 3610 NEW BEST:: SOT 2863954 SOS 741730 HAS SOPS 741730 HAS SOUS 548348 HAS SOUPS 548348 WITH SCORE 549089.73
AT ITER 3636 NEW BEST:: SOT 2863761 SOS 741383 HAS SOPS 741383 HAS SOUS 548193 HAS SOUPS 548193 WITH SCORE 548934.383
AT ITER 3710 NEW BEST:: SOT 2863616 SOS 741197 HAS SOPS 741197 HAS SOUS 547903 HAS SOUPS 547903 WITH SCORE 548644.197
AT ITER 3732 NEW BEST:: SOT 2863415 SOS 740943 HAS SOPS 740943 HAS SOUS 547702 HAS SOUPS 547702 WITH SCORE 548442.943
AT ITER 3735 NEW BEST:: SOT 2863397 SOS 740907 HAS SOPS 740907 HAS SOUS 547681 HAS SOUPS 547681 WITH SCORE 548421.907
AT ITER 3752 NEW BEST:: SOT 2863397 SOS 740896 HAS SOPS 740896 HAS SOUS 547679 HAS SOUPS 547679 WITH SCORE 548419.896
AT ITER 3759 NEW BEST:: SOT 2863369 SOS 740868 HAS SOPS 740868 HAS SOUS 547651 HAS SOUPS 547651 WITH SCORE 548391.868
AT ITER 3791 NEW BEST:: SOT 2863138 SOS 740591 HAS SOPS 740591 HAS SOUS 547413 HAS SOUPS 547413 WITH SCORE 548153.591
AT ITER 3803 NEW BEST:: SOT 2862655 SOS 739623 HAS SOPS 739623 HAS SOUS 546908 HAS SOUPS 546908 WITH SCORE 547647.623
AT ITER 3812 NEW BEST:: SOT 2861809 SOS 738795 HAS SOPS 738795 HAS SOUS 546062 HAS SOUPS 546062 WITH SCORE 546800.795
AT ITER 3866 NEW BEST:: SOT 2861659 SOS 738489 HAS SOPS 738489 HAS SOUS 545756 HAS SOUPS 545756 WITH SCORE 546494.489
AT ITER 3877 NEW BEST:: SOT 2861285 SOS 738004 HAS SOPS 738004 HAS SOUS 545271 HAS SOUPS 545271 WITH SCORE 546009.004
AT ITER 3880 NEW BEST:: SOT 2861094 SOS 737813 HAS SOPS 737813 HAS SOUS 545080 HAS SOUPS 545080 WITH SCORE 545817.813
AT ITER 3891 NEW BEST:: SOT 2860826 SOS 737534 HAS SOPS 737534 HAS SOUS 544801 HAS SOUPS 544801 WITH SCORE 545538.534
AT ITER 3904 NEW BEST:: SOT 2860511 SOS 737180 HAS SOPS 737180 HAS SOUS 544064 HAS SOUPS 544064 WITH SCORE 544801.18
AT ITER 3925 NEW BEST:: SOT 2860270 SOS 736939 HAS SOPS 736939 HAS SOUS 543823 HAS SOUPS 543823 WITH SCORE 544559.939
AT ITER 3946 NEW BEST:: SOT 2860270 SOS 736937 HAS SOPS 736937 HAS SOUS 543821 HAS SOUPS 543821 WITH SCORE 544557.937
AT ITER 3954 NEW BEST:: SOT 2859986 SOS 737344 HAS SOPS 737344 HAS SOUS 543760 HAS SOUPS 543760 WITH SCORE 544497.344
AT ITER 3959 NEW BEST:: SOT 2859700 SOS 736651 HAS SOPS 736651 HAS SOUS 543180 HAS SOUPS 543180 WITH SCORE 543916.651
AT ITER 3972 NEW BEST:: SOT 2859700 SOS 736549 HAS SOPS 736549 HAS SOUS 543139 HAS SOUPS 543139 WITH SCORE 543875.549
AT ITER 3975 NEW BEST:: SOT 2859544 SOS 735957 HAS SOPS 735957 HAS SOUS 542824 HAS SOUPS 542824 WITH SCORE 543559.957
AT ITER 3981 NEW BEST:: SOT 2859387 SOS 737811 HAS SOPS 737811 HAS SOUS 542687 HAS SOUPS 542687 WITH SCORE 543424.811
AT ITER 4061 NEW BEST:: SOT 2859387 SOS 737780 HAS SOPS 737780 HAS SOUS 542656 HAS SOUPS 542656 WITH SCORE 543393.78
AT ITER 4063 NEW BEST:: SOT 2859132 SOS 737525 HAS SOPS 737525 HAS SOUS 542341 HAS SOUPS 542341 WITH SCORE 543078.525
AT ITER 4074 NEW BEST:: SOT 2859132 SOS 737437 HAS SOPS 737437 HAS SOUS 542201 HAS SOUPS 542201 WITH SCORE 542938.437
AT ITER 4092 NEW BEST:: SOT 2859117 SOS 737407 HAS SOPS 737407 HAS SOUS 542171 HAS SOUPS 542171 WITH SCORE 542908.407
AT ITER 4095 NEW BEST:: SOT 2859037 SOS 736895 HAS SOPS 736895 HAS SOUS 541882 HAS SOUPS 541882 WITH SCORE 542618.895
AT ITER 4121 NEW BEST:: SOT 2858921 SOS 736213 HAS SOPS 736213 HAS SOUS 541693 HAS SOUPS 541693 WITH SCORE 542429.213
AT ITER 4128 NEW BEST:: SOT 2858848 SOS 736095 HAS SOPS 736095 HAS SOUS 541673 HAS SOUPS 541673 WITH SCORE 542409.095
AT ITER 4132 NEW BEST:: SOT 2858893 SOS 736049 HAS SOPS 736049 HAS SOUS 541582 HAS SOUPS 541582 WITH SCORE 542318.049
AT ITER 4146 NEW BEST:: SOT 2858873 SOS 736002 HAS SOPS 736002 HAS SOUS 541382 HAS SOUPS 541382 WITH SCORE 542118.002
AT ITER 4186 NEW BEST:: SOT 2858519 SOS 735796 HAS SOPS 735796 HAS SOUS 541219 HAS SOUPS 541219 WITH SCORE 541954.796
AT ITER 4194 NEW BEST:: SOT 2858266 SOS 735679 HAS SOPS 735679 HAS SOUS 541102 HAS SOUPS 541102 WITH SCORE 541837.679
AT ITER 4195 NEW BEST:: SOT 2858237 SOS 735650 HAS SOPS 735650 HAS SOUS 541073 HAS SOUPS 541073 WITH SCORE 541808.65
AT ITER 4213 NEW BEST:: SOT 2858192 SOS 735603 HAS SOPS 735603 HAS SOUS 541071 HAS SOUPS 541071 WITH SCORE 541806.603
AT ITER 4236 NEW BEST:: SOT 2857878 SOS 734826 HAS SOPS 734826 HAS SOUS 540443 HAS SOUPS 540443 WITH SCORE 541177.826
AT ITER 4237 NEW BEST:: SOT 2857777 SOS 734708 HAS SOPS 734708 HAS SOUS 540331 HAS SOUPS 540331 WITH SCORE 541065.708
AT ITER 4239 NEW BEST:: SOT 2857764 SOS 734577 HAS SOPS 734577 HAS SOUS 540200 HAS SOUPS 540200 WITH SCORE 540934.577
AT ITER 4251 NEW BEST:: SOT 2857293 SOS 734019 HAS SOPS 734019 HAS SOUS 539642 HAS SOUPS 539642 WITH SCORE 540376.019
AT ITER 4260 NEW BEST:: SOT 2857203 SOS 733836 HAS SOPS 733836 HAS SOUS 539459 HAS SOUPS 539459 WITH SCORE 540192.836
AT ITER 4267 NEW BEST:: SOT 2856861 SOS 733531 HAS SOPS 733531 HAS SOUS 539024 HAS SOUPS 539024 WITH SCORE 539757.531
AT ITER 4271 NEW BEST:: SOT 2856824 SOS 733456 HAS SOPS 733456 HAS SOUS 538986 HAS SOUPS 538986 WITH SCORE 539719.456
AT ITER 4296 NEW BEST:: SOT 2856096 SOS 732208 HAS SOPS 732208 HAS SOUS 538882 HAS SOUPS 538882 WITH SCORE 539614.208
AT ITER 4321 NEW BEST:: SOT 2855375 SOS 731838 HAS SOPS 731838 HAS SOUS 538259 HAS SOUPS 538259 WITH SCORE 538990.838
AT ITER 4334 NEW BEST:: SOT 2855357 SOS 731802 HAS SOPS 731802 HAS SOUS 538223 HAS SOUPS 538223 WITH SCORE 538954.802
AT ITER 4338 NEW BEST:: SOT 2855270 SOS 730952 HAS SOPS 730952 HAS SOUS 538003 HAS SOUPS 538003 WITH SCORE 538733.952
AT ITER 4354 NEW BEST:: SOT 2855088 SOS 730770 HAS SOPS 730770 HAS SOUS 537821 HAS SOUPS 537821 WITH SCORE 538551.77
AT ITER 4356 NEW BEST:: SOT 2853978 SOS 729808 HAS SOPS 729808 HAS SOUS 537821 HAS SOUPS 537821 WITH SCORE 538550.808
AT ITER 4358 NEW BEST:: SOT 2853875 SOS 729071 HAS SOPS 729071 HAS SOUS 537305 HAS SOUPS 537305 WITH SCORE 538034.071
AT ITER 4359 NEW BEST:: SOT 2853755 SOS 728831 HAS SOPS 728831 HAS SOUS 537065 HAS SOUPS 537065 WITH SCORE 537793.831
AT ITER 4374 NEW BEST:: SOT 2853719 SOS 728795 HAS SOPS 728795 HAS SOUS 537029 HAS SOUPS 537029 WITH SCORE 537757.795
AT ITER 4389 NEW BEST:: SOT 2851806 SOS 726530 HAS SOPS 726530 HAS SOUS 535807 HAS SOUPS 535807 WITH SCORE 536533.53
AT ITER 4415 NEW BEST:: SOT 2851190 SOS 725778 HAS SOPS 725778 HAS SOUS 535496 HAS SOUPS 535496 WITH SCORE 536221.778
AT ITER 4469 NEW BEST:: SOT 2850395 SOS 724895 HAS SOPS 724895 HAS SOUS 534528 HAS SOUPS 534528 WITH SCORE 535252.895
AT ITER 4473 NEW BEST:: SOT 2850330 SOS 724830 HAS SOPS 724830 HAS SOUS 534398 HAS SOUPS 534398 WITH SCORE 535122.83
AT ITER 4516 NEW BEST:: SOT 2850329 SOS 724743 HAS SOPS 724743 HAS SOUS 534396 HAS SOUPS 534396 WITH SCORE 535120.743
AT ITER 4532 NEW BEST:: SOT 2850343 SOS 724739 HAS SOPS 724739 HAS SOUS 534387 HAS SOUPS 534387 WITH SCORE 535111.739
AT ITER 4541 NEW BEST:: SOT 2849741 SOS 723965 HAS SOPS 723965 HAS SOUS 534301 HAS SOUPS 534301 WITH SCORE 535024.965
AT ITER 4546 NEW BEST:: SOT 2849628 SOS 723852 HAS SOPS 723852 HAS SOUS 534228 HAS SOUPS 534228 WITH SCORE 534951.852
AT ITER 4560 NEW BEST:: SOT 2849307 SOS 723531 HAS SOPS 723531 HAS SOUS 533751 HAS SOUPS 533751 WITH SCORE 534474.531
AT ITER 4580 NEW BEST:: SOT 2849111 SOS 723335 HAS SOPS 723335 HAS SOUS 533464 HAS SOUPS 533464 WITH SCORE 534187.335
AT ITER 4586 NEW BEST:: SOT 2849082 SOS 723306 HAS SOPS 723306 HAS SOUS 533435 HAS SOUPS 533435 WITH SCORE 534158.306
AT ITER 4587 NEW BEST:: SOT 2849007 SOS 723245 HAS SOPS 723245 HAS SOUS 533146 HAS SOUPS 533146 WITH SCORE 533869.245
AT ITER 4602 NEW BEST:: SOT 2849133 SOS 722922 HAS SOPS 722922 HAS SOUS 532823 HAS SOUPS 532823 WITH SCORE 533545.922
AT ITER 4641 NEW BEST:: SOT 2849110 SOS 723146 HAS SOPS 723146 HAS SOUS 532794 HAS SOUPS 532794 WITH SCORE 533517.146
AT ITER 4644 NEW BEST:: SOT 2848933 SOS 722792 HAS SOPS 722792 HAS SOUS 531024 HAS SOUPS 531024 WITH SCORE 531746.792
AT ITER 4663 NEW BEST:: SOT 2848755 SOS 722527 HAS SOPS 722527 HAS SOUS 530846 HAS SOUPS 530846 WITH SCORE 531568.527
AT ITER 4674 NEW BEST:: SOT 2848755 SOS 722526 HAS SOPS 722526 HAS SOUS 530845 HAS SOUPS 530845 WITH SCORE 531567.526
AT ITER 4676 NEW BEST:: SOT 2848507 SOS 722113 HAS SOPS 722113 HAS SOUS 530432 HAS SOUPS 530432 WITH SCORE 531154.113
AT ITER 4712 NEW BEST:: SOT 2848437 SOS 721903 HAS SOPS 721903 HAS SOUS 530286 HAS SOUPS 530286 WITH SCORE 531007.903
AT ITER 4722 NEW BEST:: SOT 2848256 SOS 721952 HAS SOPS 721952 HAS SOUS 530105 HAS SOUPS 530105 WITH SCORE 530826.952
AT ITER 4751 NEW BEST:: SOT 2848328 SOS 721843 HAS SOPS 721843 HAS SOUS 529996 HAS SOUPS 529996 WITH SCORE 530717.843
AT ITER 4761 NEW BEST:: SOT 2848208 SOS 721722 HAS SOPS 721722 HAS SOUS 529875 HAS SOUPS 529875 WITH SCORE 530596.722
AT ITER 4763 NEW BEST:: SOT 2848255 SOS 721881 HAS SOPS 721881 HAS SOUS 529479 HAS SOUPS 529479 WITH SCORE 530200.881
AT ITER 4771 NEW BEST:: SOT 2848255 SOS 721880 HAS SOPS 721880 HAS SOUS 529478 HAS SOUPS 529478 WITH SCORE 530199.88
AT ITER 4794 NEW BEST:: SOT 2848255 SOS 721880 HAS SOPS 721880 HAS SOUS 529477 HAS SOUPS 529477 WITH SCORE 530198.88
AT ITER 4804 NEW BEST:: SOT 2848157 SOS 721733 HAS SOPS 721733 HAS SOUS 529330 HAS SOUPS 529330 WITH SCORE 530051.733
AT ITER 4815 NEW BEST:: SOT 2848230 SOS 722084 HAS SOPS 722084 HAS SOUS 528041 HAS SOUPS 528041 WITH SCORE 528763.084
AT ITER 4837 NEW BEST:: SOT 2848096 SOS 721950 HAS SOPS 721950 HAS SOUS 527907 HAS SOUPS 527907 WITH SCORE 528628.95
AT ITER 4840 NEW BEST:: SOT 2848047 SOS 721894 HAS SOPS 721894 HAS SOUS 527907 HAS SOUPS 527907 WITH SCORE 528628.894
AT ITER 4847 NEW BEST:: SOT 2848029 SOS 721822 HAS SOPS 721822 HAS SOUS 527835 HAS SOUPS 527835 WITH SCORE 528556.822
AT ITER 4856 NEW BEST:: SOT 2848015 SOS 721794 HAS SOPS 721794 HAS SOUS 527807 HAS SOUPS 527807 WITH SCORE 528528.794
AT ITER 4864 NEW BEST:: SOT 2848015 SOS 721757 HAS SOPS 721757 HAS SOUS 527767 HAS SOUPS 527767 WITH SCORE 528488.757
AT ITER 4874 NEW BEST:: SOT 2847995 SOS 721717 HAS SOPS 721717 HAS SOUS 527746 HAS SOUPS 527746 WITH SCORE 528467.717
AT ITER 4883 NEW BEST:: SOT 2847902 SOS 721848 HAS SOPS 721848 HAS SOUS 527560 HAS SOUPS 527560 WITH SCORE 528281.848
AT ITER 4891 NEW BEST:: SOT 2847666 SOS 721747 HAS SOPS 721747 HAS SOUS 527088 HAS SOUPS 527088 WITH SCORE 527809.747
AT ITER 4903 NEW BEST:: SOT 2847682 SOS 721975 HAS SOPS 721975 HAS SOUS 527057 HAS SOUPS 527057 WITH SCORE 527778.975
AT ITER 4906 NEW BEST:: SOT 2847679 SOS 721969 HAS SOPS 721969 HAS SOUS 527051 HAS SOUPS 527051 WITH SCORE 527772.969
AT ITER 4942 NEW BEST:: SOT 2847733 SOS 721986 HAS SOPS 721986 HAS SOUS 526968 HAS SOUPS 526968 WITH SCORE 527689.986
AT ITER 4954 NEW BEST:: SOT 2847676 SOS 721929 HAS SOPS 721929 HAS SOUS 526911 HAS SOUPS 526911 WITH SCORE 527632.929
AT ITER 4967 NEW BEST:: SOT 2847613 SOS 721703 HAS SOPS 721703 HAS SOUS 526531 HAS SOUPS 526531 WITH SCORE 527252.703
AT ITER 4996 NEW BEST:: SOT 2847534 SOS 721624 HAS SOPS 721624 HAS SOUS 526452 HAS SOUPS 526452 WITH SCORE 527173.624
AT ITER 5006 NEW BEST:: SOT 2847388 SOS 721478 HAS SOPS 721478 HAS SOUS 526160 HAS SOUPS 526160 WITH SCORE 526881.478
AT ITER 5011 NEW BEST:: SOT 2847711 SOS 721910 HAS SOPS 721910 HAS SOUS 525988 HAS SOUPS 525988 WITH SCORE 526709.91
AT ITER 5012 NEW BEST:: SOT 2847502 SOS 721596 HAS SOPS 721596 HAS SOUS 525570 HAS SOUPS 525570 WITH SCORE 526291.596
AT ITER 5022 NEW BEST:: SOT 2847584 SOS 721573 HAS SOPS 721573 HAS SOUS 525547 HAS SOUPS 525547 WITH SCORE 526268.573
AT ITER 5024 NEW BEST:: SOT 2847485 SOS 721575 HAS SOPS 721575 HAS SOUS 525490 HAS SOUPS 525490 WITH SCORE 526211.575
AT ITER 5032 NEW BEST:: SOT 2847474 SOS 721198 HAS SOPS 721198 HAS SOUS 525295 HAS SOUPS 525295 WITH SCORE 526016.198
AT ITER 5036 NEW BEST:: SOT 2847357 SOS 721094 HAS SOPS 721094 HAS SOUS 525191 HAS SOUPS 525191 WITH SCORE 525912.094
AT ITER 5060 NEW BEST:: SOT 2847333 SOS 720830 HAS SOPS 720830 HAS SOUS 525023 HAS SOUPS 525023 WITH SCORE 525743.83
AT ITER 5094 NEW BEST:: SOT 2847333 SOS 720583 HAS SOPS 720583 HAS SOUS 522185 HAS SOUPS 522185 WITH SCORE 522905.583
AT ITER 5101 NEW BEST:: SOT 2847363 SOS 720570 HAS SOPS 720570 HAS SOUS 522137 HAS SOUPS 522137 WITH SCORE 522857.57
AT ITER 5102 NEW BEST:: SOT 2846973 SOS 719708 HAS SOPS 719708 HAS SOUS 521740 HAS SOUPS 521740 WITH SCORE 522459.708
AT ITER 5116 NEW BEST:: SOT 2846948 SOS 719702 HAS SOPS 719702 HAS SOUS 521734 HAS SOUPS 521734 WITH SCORE 522453.702
AT ITER 5135 NEW BEST:: SOT 2846948 SOS 719677 HAS SOPS 719677 HAS SOUS 521709 HAS SOUPS 521709 WITH SCORE 522428.677
AT ITER 5139 NEW BEST:: SOT 2846912 SOS 719221 HAS SOPS 719221 HAS SOUS 521654 HAS SOUPS 521654 WITH SCORE 522373.221
AT ITER 5150 NEW BEST:: SOT 2846794 SOS 719103 HAS SOPS 719103 HAS SOUS 521536 HAS SOUPS 521536 WITH SCORE 522255.103
AT ITER 5160 NEW BEST:: SOT 2846823 SOS 719039 HAS SOPS 719039 HAS SOUS 521472 HAS SOUPS 521472 WITH SCORE 522191.039
AT ITER 5184 NEW BEST:: SOT 2846732 SOS 718499 HAS SOPS 718499 HAS SOUS 521290 HAS SOUPS 521290 WITH SCORE 522008.499
AT ITER 5194 NEW BEST:: SOT 2846484 SOS 718223 HAS SOPS 718223 HAS SOUS 521014 HAS SOUPS 521014 WITH SCORE 521732.223
AT ITER 5199 NEW BEST:: SOT 2846484 SOS 718223 HAS SOPS 718223 HAS SOUS 520894 HAS SOUPS 520894 WITH SCORE 521612.223
AT ITER 5203 NEW BEST:: SOT 2846420 SOS 717787 HAS SOPS 717787 HAS SOUS 520458 HAS SOUPS 520458 WITH SCORE 521175.787
AT ITER 5205 NEW BEST:: SOT 2846420 SOS 717526 HAS SOPS 717526 HAS SOUS 520378 HAS SOUPS 520378 WITH SCORE 521095.526
AT ITER 5214 NEW BEST:: SOT 2846257 SOS 717127 HAS SOPS 717127 HAS SOUS 520214 HAS SOUPS 520214 WITH SCORE 520931.127
AT ITER 5215 NEW BEST:: SOT 2846253 SOS 717051 HAS SOPS 717051 HAS SOUS 520210 HAS SOUPS 520210 WITH SCORE 520927.051
AT ITER 5221 NEW BEST:: SOT 2846258 SOS 717061 HAS SOPS 717061 HAS SOUS 520198 HAS SOUPS 520198 WITH SCORE 520915.061
AT ITER 5256 NEW BEST:: SOT 2846126 SOS 716706 HAS SOPS 716706 HAS SOUS 520091 HAS SOUPS 520091 WITH SCORE 520807.706
AT ITER 5265 NEW BEST:: SOT 2845932 SOS 716620 HAS SOPS 716620 HAS SOUS 519815 HAS SOUPS 519815 WITH SCORE 520531.62
AT ITER 5266 NEW BEST:: SOT 2845814 SOS 716273 HAS SOPS 716273 HAS SOUS 519468 HAS SOUPS 519468 WITH SCORE 520184.273
AT ITER 5278 NEW BEST:: SOT 2845813 SOS 716271 HAS SOPS 716271 HAS SOUS 519466 HAS SOUPS 519466 WITH SCORE 520182.271
AT ITER 5305 NEW BEST:: SOT 2845946 SOS 716453 HAS SOPS 716453 HAS SOUS 519459 HAS SOUPS 519459 WITH SCORE 520175.453
AT ITER 5307 NEW BEST:: SOT 2845904 SOS 712802 HAS SOPS 712802 HAS SOUS 519333 HAS SOUPS 519333 WITH SCORE 520045.802
AT ITER 5335 NEW BEST:: SOT 2844787 SOS 712365 HAS SOPS 712365 HAS SOUS 518379 HAS SOUPS 518379 WITH SCORE 519091.365
AT ITER 5357 NEW BEST:: SOT 2844830 SOS 712443 HAS SOPS 712443 HAS SOUS 518225 HAS SOUPS 518225 WITH SCORE 518937.443
AT ITER 5367 NEW BEST:: SOT 2844796 SOS 712375 HAS SOPS 712375 HAS SOUS 518157 HAS SOUPS 518157 WITH SCORE 518869.375
AT ITER 5371 NEW BEST:: SOT 2844845 SOS 712322 HAS SOPS 712322 HAS SOUS 518104 HAS SOUPS 518104 WITH SCORE 518816.322
AT ITER 5393 NEW BEST:: SOT 2844707 SOS 711839 HAS SOPS 711839 HAS SOUS 516161 HAS SOUPS 516161 WITH SCORE 516872.839
AT ITER 5409 NEW BEST:: SOT 2844159 SOS 711475 HAS SOPS 711475 HAS SOUS 515797 HAS SOUPS 515797 WITH SCORE 516508.475
AT ITER 5438 NEW BEST:: SOT 2843417 SOS 710733 HAS SOPS 710733 HAS SOUS 515797 HAS SOUPS 515797 WITH SCORE 516507.733
AT ITER 5444 NEW BEST:: SOT 2843413 SOS 710731 HAS SOPS 710731 HAS SOUS 515795 HAS SOUPS 515795 WITH SCORE 516505.731
AT ITER 5447 NEW BEST:: SOT 2843484 SOS 710771 HAS SOPS 710771 HAS SOUS 515394 HAS SOUPS 515394 WITH SCORE 516104.771
AT ITER 5449 NEW BEST:: SOT 2843443 SOS 710689 HAS SOPS 710689 HAS SOUS 515337 HAS SOUPS 515337 WITH SCORE 516047.689
AT ITER 5486 NEW BEST:: SOT 2843387 SOS 710633 HAS SOPS 710633 HAS SOUS 515281 HAS SOUPS 515281 WITH SCORE 515991.633
AT ITER 5507 NEW BEST:: SOT 2843280 SOS 710414 HAS SOPS 710414 HAS SOUS 515062 HAS SOUPS 515062 WITH SCORE 515772.414
AT ITER 5549 NEW BEST:: SOT 2843273 SOS 710350 HAS SOPS 710350 HAS SOUS 514984 HAS SOUPS 514984 WITH SCORE 515694.35
AT ITER 5566 NEW BEST:: SOT 2843185 SOS 710174 HAS SOPS 710174 HAS SOUS 514808 HAS SOUPS 514808 WITH SCORE 515518.174
AT ITER 5575 NEW BEST:: SOT 2843015 SOS 710104 HAS SOPS 710104 HAS SOUS 514732 HAS SOUPS 514732 WITH SCORE 515442.104
AT ITER 5592 NEW BEST:: SOT 2842947 SOS 710117 HAS SOPS 710117 HAS SOUS 514688 HAS SOUPS 514688 WITH SCORE 515398.117
AT ITER 5593 NEW BEST:: SOT 2842887 SOS 709937 HAS SOPS 709937 HAS SOUS 514568 HAS SOUPS 514568 WITH SCORE 515277.937
AT ITER 5613 NEW BEST:: SOT 2842521 SOS 709721 HAS SOPS 709721 HAS SOUS 514303 HAS SOUPS 514303 WITH SCORE 515012.721
AT ITER 5625 NEW BEST:: SOT 2842485 SOS 709653 HAS SOPS 709653 HAS SOUS 514235 HAS SOUPS 514235 WITH SCORE 514944.653
AT ITER 5640 NEW BEST:: SOT 2842443 SOS 709569 HAS SOPS 709569 HAS SOUS 514151 HAS SOUPS 514151 WITH SCORE 514860.569
AT ITER 5647 NEW BEST:: SOT 2842430 SOS 709534 HAS SOPS 709534 HAS SOUS 514125 HAS SOUPS 514125 WITH SCORE 514834.534
AT ITER 5659 NEW BEST:: SOT 2842354 SOS 709382 HAS SOPS 709382 HAS SOUS 513831 HAS SOUPS 513831 WITH SCORE 514540.382
AT ITER 5664 NEW BEST:: SOT 2842354 SOS 709355 HAS SOPS 709355 HAS SOUS 513831 HAS SOUPS 513831 WITH SCORE 514540.355
AT ITER 5687 NEW BEST:: SOT 2842353 SOS 709353 HAS SOPS 709353 HAS SOUS 513829 HAS SOUPS 513829 WITH SCORE 514538.353
AT ITER 5694 NEW BEST:: SOT 2842238 SOS 709209 HAS SOPS 709209 HAS SOUS 513685 HAS SOUPS 513685 WITH SCORE 514394.209
AT ITER 5714 NEW BEST:: SOT 2842206 SOS 709105 HAS SOPS 709105 HAS SOUS 513581 HAS SOUPS 513581 WITH SCORE 514290.105
AT ITER 5716 NEW BEST:: SOT 2842048 SOS 708978 HAS SOPS 708978 HAS SOUS 513454 HAS SOUPS 513454 WITH SCORE 514162.978
AT ITER 5717 NEW BEST:: SOT 2842230 SOS 709011 HAS SOPS 709011 HAS SOUS 513443 HAS SOUPS 513443 WITH SCORE 514152.011
AT ITER 5728 NEW BEST:: SOT 2842111 SOS 708740 HAS SOPS 708740 HAS SOUS 513172 HAS SOUPS 513172 WITH SCORE 513880.74
AT ITER 5758 NEW BEST:: SOT 2841964 SOS 709390 HAS SOPS 709390 HAS SOUS 512996 HAS SOUPS 512996 WITH SCORE 513705.39
AT ITER 5769 NEW BEST:: SOT 2841954 SOS 709370 HAS SOPS 709370 HAS SOUS 512976 HAS SOUPS 512976 WITH SCORE 513685.37
AT ITER 5798 NEW BEST:: SOT 2840299 SOS 710592 HAS SOPS 710592 HAS SOUS 512730 HAS SOUPS 512730 WITH SCORE 513440.592
AT ITER 5823 NEW BEST:: SOT 2840288 SOS 710676 HAS SOPS 710676 HAS SOUS 512708 HAS SOUPS 512708 WITH SCORE 513418.676
AT ITER 5871 NEW BEST:: SOT 2840288 SOS 708998 HAS SOPS 708998 HAS SOUS 512171 HAS SOUPS 512171 WITH SCORE 512879.998
AT ITER 5942 NEW BEST:: SOT 2840187 SOS 708797 HAS SOPS 708797 HAS SOUS 511269 HAS SOUPS 511269 WITH SCORE 511977.797
AT ITER 5958 NEW BEST:: SOT 2840114 SOS 708818 HAS SOPS 708818 HAS SOUS 511177 HAS SOUPS 511177 WITH SCORE 511885.818
AT ITER 5965 NEW BEST:: SOT 2840010 SOS 708726 HAS SOPS 708726 HAS SOUS 511119 HAS SOUPS 511119 WITH SCORE 511827.726
AT ITER 5977 NEW BEST:: SOT 2840009 SOS 708724 HAS SOPS 708724 HAS SOUS 511117 HAS SOUPS 511117 WITH SCORE 511825.724
AT ITER 5981 NEW BEST:: SOT 2839924 SOS 708461 HAS SOPS 708461 HAS SOUS 510854 HAS SOUPS 510854 WITH SCORE 511562.461
AT ITER 5987 NEW BEST:: SOT 2839921 SOS 708381 HAS SOPS 708381 HAS SOUS 510774 HAS SOUPS 510774 WITH SCORE 511482.381
AT ITER 5992 NEW BEST:: SOT 2839905 SOS 708509 HAS SOPS 708509 HAS SOUS 510758 HAS SOUPS 510758 WITH SCORE 511466.509
AT ITER 5995 NEW BEST:: SOT 2839769 SOS 708415 HAS SOPS 708415 HAS SOUS 510664 HAS SOUPS 510664 WITH SCORE 511372.415
AT ITER 6015 NEW BEST:: SOT 2839626 SOS 708384 HAS SOPS 708384 HAS SOUS 510620 HAS SOUPS 510620 WITH SCORE 511328.384
AT ITER 6031 NEW BEST:: SOT 2839410 SOS 707736 HAS SOPS 707736 HAS SOUS 509972 HAS SOUPS 509972 WITH SCORE 510679.736
AT ITER 6034 NEW BEST:: SOT 2839410 SOS 707736 HAS SOPS 707736 HAS SOUS 509879 HAS SOUPS 509879 WITH SCORE 510586.736
AT ITER 6043 NEW BEST:: SOT 2839244 SOS 707590 HAS SOPS 707590 HAS SOUS 509589 HAS SOUPS 509589 WITH SCORE 510296.59
AT ITER 6046 NEW BEST:: SOT 2838917 SOS 707266 HAS SOPS 707266 HAS SOUS 509286 HAS SOUPS 509286 WITH SCORE 509993.266
AT ITER 6070 NEW BEST:: SOT 2838917 SOS 707134 HAS SOPS 707134 HAS SOUS 509154 HAS SOUPS 509154 WITH SCORE 509861.134
AT ITER 6077 NEW BEST:: SOT 2838917 SOS 706908 HAS SOPS 706908 HAS SOUS 509041 HAS SOUPS 509041 WITH SCORE 509747.908
AT ITER 6130 NEW BEST:: SOT 2838749 SOS 706514 HAS SOPS 706514 HAS SOUS 508647 HAS SOUPS 508647 WITH SCORE 509353.514
AT ITER 6145 NEW BEST:: SOT 2838589 SOS 705965 HAS SOPS 705965 HAS SOUS 508362 HAS SOUPS 508362 WITH SCORE 509067.965
AT ITER 6157 NEW BEST:: SOT 2838367 SOS 706042 HAS SOPS 706042 HAS SOUS 508213 HAS SOUPS 508213 WITH SCORE 508919.042
AT ITER 6198 NEW BEST:: SOT 2838363 SOS 706034 HAS SOPS 706034 HAS SOUS 508205 HAS SOUPS 508205 WITH SCORE 508911.034
AT ITER 6208 NEW BEST:: SOT 2838073 SOS 705454 HAS SOPS 705454 HAS SOUS 507913 HAS SOUPS 507913 WITH SCORE 508618.454
AT ITER 6211 NEW BEST:: SOT 2838068 SOS 705444 HAS SOPS 705444 HAS SOUS 507903 HAS SOUPS 507903 WITH SCORE 508608.444
AT ITER 6220 NEW BEST:: SOT 2838068 SOS 705406 HAS SOPS 705406 HAS SOUS 507865 HAS SOUPS 507865 WITH SCORE 508570.406
AT ITER 6232 NEW BEST:: SOT 2838068 SOS 705401 HAS SOPS 705401 HAS SOUS 507864 HAS SOUPS 507864 WITH SCORE 508569.401
AT ITER 6243 NEW BEST:: SOT 2837999 SOS 705135 HAS SOPS 705135 HAS SOUS 507726 HAS SOUPS 507726 WITH SCORE 508431.135
AT ITER 6246 NEW BEST:: SOT 2837938 SOS 705084 HAS SOPS 705084 HAS SOUS 507665 HAS SOUPS 507665 WITH SCORE 508370.084
AT ITER 6256 NEW BEST:: SOT 2837938 SOS 705055 HAS SOPS 705055 HAS SOUS 507665 HAS SOUPS 507665 WITH SCORE 508370.055
AT ITER 6273 NEW BEST:: SOT 2837938 SOS 705053 HAS SOPS 705053 HAS SOUS 507663 HAS SOUPS 507663 WITH SCORE 508368.053
AT ITER 6291 NEW BEST:: SOT 2837789 SOS 704299 HAS SOPS 704299 HAS SOUS 507295 HAS SOUPS 507295 WITH SCORE 507999.299
AT ITER 6295 NEW BEST:: SOT 2837187 SOS 703665 HAS SOPS 703665 HAS SOUS 506661 HAS SOUPS 506661 WITH SCORE 507364.665
AT ITER 6299 NEW BEST:: SOT 2837264 SOS 703734 HAS SOPS 703734 HAS SOUS 506634 HAS SOUPS 506634 WITH SCORE 507337.734
AT ITER 6319 NEW BEST:: SOT 2837264 SOS 703794 HAS SOPS 703794 HAS SOUS 506372 HAS SOUPS 506372 WITH SCORE 507075.794
AT ITER 6324 NEW BEST:: SOT 2837166 SOS 703573 HAS SOPS 703573 HAS SOUS 506151 HAS SOUPS 506151 WITH SCORE 506854.573
AT ITER 6339 NEW BEST:: SOT 2836987 SOS 703719 HAS SOPS 703719 HAS SOUS 505755 HAS SOUPS 505755 WITH SCORE 506458.719
AT ITER 6357 NEW BEST:: SOT 2836752 SOS 703326 HAS SOPS 703326 HAS SOUS 505541 HAS SOUPS 505541 WITH SCORE 506244.326
AT ITER 6397 NEW BEST:: SOT 2836421 SOS 702583 HAS SOPS 702583 HAS SOUS 504879 HAS SOUPS 504879 WITH SCORE 505581.583
AT ITER 6402 NEW BEST:: SOT 2836400 SOS 702520 HAS SOPS 702520 HAS SOUS 504837 HAS SOUPS 504837 WITH SCORE 505539.52
AT ITER 6403 NEW BEST:: SOT 2836378 SOS 702190 HAS SOPS 702190 HAS SOUS 504771 HAS SOUPS 504771 WITH SCORE 505473.19
AT ITER 6439 NEW BEST:: SOT 2836223 SOS 703089 HAS SOPS 703089 HAS SOUS 504527 HAS SOUPS 504527 WITH SCORE 505230.089
AT ITER 6484 NEW BEST:: SOT 2836062 SOS 702933 HAS SOPS 702933 HAS SOUS 504371 HAS SOUPS 504371 WITH SCORE 505073.933
AT ITER 6491 NEW BEST:: SOT 2836038 SOS 702885 HAS SOPS 702885 HAS SOUS 504323 HAS SOUPS 504323 WITH SCORE 505025.885
AT ITER 6500 NEW BEST:: SOT 2835948 SOS 702795 HAS SOPS 702795 HAS SOUS 504188 HAS SOUPS 504188 WITH SCORE 504890.795
AT ITER 6513 NEW BEST:: SOT 2835932 SOS 702763 HAS SOPS 702763 HAS SOUS 504138 HAS SOUPS 504138 WITH SCORE 504840.763
AT ITER 6539 NEW BEST:: SOT 2835791 SOS 702622 HAS SOPS 702622 HAS SOUS 503997 HAS SOUPS 503997 WITH SCORE 504699.622
AT ITER 6546 NEW BEST:: SOT 2835790 SOS 702559 HAS SOPS 702559 HAS SOUS 503985 HAS SOUPS 503985 WITH SCORE 504687.559
AT ITER 6558 NEW BEST:: SOT 2835736 SOS 702518 HAS SOPS 702518 HAS SOUS 503944 HAS SOUPS 503944 WITH SCORE 504646.518
AT ITER 6595 NEW BEST:: SOT 2835699 SOS 702444 HAS SOPS 702444 HAS SOUS 503870 HAS SOUPS 503870 WITH SCORE 504572.444
AT ITER 6596 NEW BEST:: SOT 2835696 SOS 702451 HAS SOPS 702451 HAS SOUS 503840 HAS SOUPS 503840 WITH SCORE 504542.451
AT ITER 6622 NEW BEST:: SOT 2835696 SOS 702266 HAS SOPS 702266 HAS SOUS 503840 HAS SOUPS 503840 WITH SCORE 504542.266
AT ITER 6635 NEW BEST:: SOT 2835695 SOS 702264 HAS SOPS 702264 HAS SOUS 503838 HAS SOUPS 503838 WITH SCORE 504540.264
AT ITER 6681 NEW BEST:: SOT 2835695 SOS 702254 HAS SOPS 702254 HAS SOUS 503838 HAS SOUPS 503838 WITH SCORE 504540.254
AT ITER 6697 NEW BEST:: SOT 2835678 SOS 702101 HAS SOPS 702101 HAS SOUS 503804 HAS SOUPS 503804 WITH SCORE 504506.101
AT ITER 6698 NEW BEST:: SOT 2835517 SOS 701675 HAS SOPS 701675 HAS SOUS 501809 HAS SOUPS 501809 WITH SCORE 502510.675
AT ITER 6713 NEW BEST:: SOT 2835282 SOS 701265 HAS SOPS 701265 HAS SOUS 499626 HAS SOUPS 499626 WITH SCORE 500327.265
AT ITER 6725 NEW BEST:: SOT 2835279 SOS 701029 HAS SOPS 701029 HAS SOUS 499390 HAS SOUPS 499390 WITH SCORE 500091.029
AT ITER 6726 NEW BEST:: SOT 2835258 SOS 701008 HAS SOPS 701008 HAS SOUS 499348 HAS SOUPS 499348 WITH SCORE 500049.008
AT ITER 6745 NEW BEST:: SOT 2834950 SOS 700849 HAS SOPS 700849 HAS SOUS 499189 HAS SOUPS 499189 WITH SCORE 499889.849
AT ITER 6751 NEW BEST:: SOT 2834950 SOS 700360 HAS SOPS 700360 HAS SOUS 498700 HAS SOUPS 498700 WITH SCORE 499400.36
AT ITER 6755 NEW BEST:: SOT 2834786 SOS 700371 HAS SOPS 700371 HAS SOUS 498642 HAS SOUPS 498642 WITH SCORE 499342.371
AT ITER 6850 NEW BEST:: SOT 2834598 SOS 699995 HAS SOPS 699995 HAS SOUS 498454 HAS SOUPS 498454 WITH SCORE 499153.995
AT ITER 6860 NEW BEST:: SOT 2834598 SOS 699929 HAS SOPS 699929 HAS SOUS 498388 HAS SOUPS 498388 WITH SCORE 499087.929
AT ITER 6879 NEW BEST:: SOT 2834466 SOS 699797 HAS SOPS 699797 HAS SOUS 498322 HAS SOUPS 498322 WITH SCORE 499021.797
AT ITER 6890 NEW BEST:: SOT 2834466 SOS 699778 HAS SOPS 699778 HAS SOUS 498302 HAS SOUPS 498302 WITH SCORE 499001.778
AT ITER 6905 NEW BEST:: SOT 2833685 SOS 700577 HAS SOPS 700577 HAS SOUS 498280 HAS SOUPS 498280 WITH SCORE 498980.577
AT ITER 6919 NEW BEST:: SOT 2833669 SOS 700802 HAS SOPS 700802 HAS SOUS 498248 HAS SOUPS 498248 WITH SCORE 498948.802
AT ITER 6921 NEW BEST:: SOT 2833719 SOS 701095 HAS SOPS 701095 HAS SOUS 498128 HAS SOUPS 498128 WITH SCORE 498829.095
AT ITER 6929 NEW BEST:: SOT 2833719 SOS 700942 HAS SOPS 700942 HAS SOUS 497975 HAS SOUPS 497975 WITH SCORE 498675.942
AT ITER 6950 NEW BEST:: SOT 2833717 SOS 700857 HAS SOPS 700857 HAS SOUS 497971 HAS SOUPS 497971 WITH SCORE 498671.857
AT ITER 6966 NEW BEST:: SOT 2833687 SOS 700787 HAS SOPS 700787 HAS SOUS 497918 HAS SOUPS 497918 WITH SCORE 498618.787
AT ITER 6967 NEW BEST:: SOT 2833687 SOS 700587 HAS SOPS 700587 HAS SOUS 497910 HAS SOUPS 497910 WITH SCORE 498610.587
AT ITER 6978 NEW BEST:: SOT 2833728 SOS 700273 HAS SOPS 700273 HAS SOUS 497775 HAS SOUPS 497775 WITH SCORE 498475.273
AT ITER 6979 NEW BEST:: SOT 2833684 SOS 700185 HAS SOPS 700185 HAS SOUS 497687 HAS SOUPS 497687 WITH SCORE 498387.185
AT ITER 7023 NEW BEST:: SOT 2833456 SOS 699957 HAS SOPS 699957 HAS SOUS 497459 HAS SOUPS 497459 WITH SCORE 498158.957
AT ITER 7067 NEW BEST:: SOT 2833132 SOS 699181 HAS SOPS 699181 HAS SOUS 494887 HAS SOUPS 494887 WITH SCORE 495586.181
AT ITER 7108 NEW BEST:: SOT 2832942 SOS 698877 HAS SOPS 698877 HAS SOUS 494583 HAS SOUPS 494583 WITH SCORE 495281.877
AT ITER 7109 NEW BEST:: SOT 2832942 SOS 698691 HAS SOPS 698691 HAS SOUS 494397 HAS SOUPS 494397 WITH SCORE 495095.691
AT ITER 7127 NEW BEST:: SOT 2832882 SOS 698457 HAS SOPS 698457 HAS SOUS 494277 HAS SOUPS 494277 WITH SCORE 494975.457
AT ITER 7164 NEW BEST:: SOT 2832867 SOS 698402 HAS SOPS 698402 HAS SOUS 494235 HAS SOUPS 494235 WITH SCORE 494933.402
AT ITER 7178 NEW BEST:: SOT 2832387 SOS 697922 HAS SOPS 697922 HAS SOUS 493695 HAS SOUPS 493695 WITH SCORE 494392.922
AT ITER 7184 NEW BEST:: SOT 2832261 SOS 697895 HAS SOPS 697895 HAS SOUS 493598 HAS SOUPS 493598 WITH SCORE 494295.895
AT ITER 7185 NEW BEST:: SOT 2831994 SOS 697775 HAS SOPS 697775 HAS SOUS 493478 HAS SOUPS 493478 WITH SCORE 494175.775
AT ITER 7186 NEW BEST:: SOT 2831964 SOS 697745 HAS SOPS 697745 HAS SOUS 493448 HAS SOUPS 493448 WITH SCORE 494145.745
AT ITER 7216 NEW BEST:: SOT 2831935 SOS 697716 HAS SOPS 697716 HAS SOUS 493419 HAS SOUPS 493419 WITH SCORE 494116.716
AT ITER 7226 NEW BEST:: SOT 2831935 SOS 697710 HAS SOPS 697710 HAS SOUS 493419 HAS SOUPS 493419 WITH SCORE 494116.71
AT ITER 7318 NEW BEST:: SOT 2831844 SOS 697491 HAS SOPS 697491 HAS SOUS 493327 HAS SOUPS 493327 WITH SCORE 494024.491
AT ITER 7342 NEW BEST:: SOT 2831854 SOS 697467 HAS SOPS 697467 HAS SOUS 493303 HAS SOUPS 493303 WITH SCORE 494000.467
AT ITER 7347 NEW BEST:: SOT 2831734 SOS 697227 HAS SOPS 697227 HAS SOUS 493063 HAS SOUPS 493063 WITH SCORE 493760.227
AT ITER 7353 NEW BEST:: SOT 2831713 SOS 697206 HAS SOPS 697206 HAS SOUS 493042 HAS SOUPS 493042 WITH SCORE 493739.206
AT ITER 7376 NEW BEST:: SOT 2831553 SOS 697045 HAS SOPS 697045 HAS SOUS 492881 HAS SOUPS 492881 WITH SCORE 493578.045
AT ITER 7393 NEW BEST:: SOT 2831553 SOS 698126 HAS SOPS 698126 HAS SOUS 492559 HAS SOUPS 492559 WITH SCORE 493257.126
AT ITER 7448 NEW BEST:: SOT 2831453 SOS 698026 HAS SOPS 698026 HAS SOUS 492443 HAS SOUPS 492443 WITH SCORE 493141.026
AT ITER 7450 NEW BEST:: SOT 2831410 SOS 697983 HAS SOPS 697983 HAS SOUS 492400 HAS SOUPS 492400 WITH SCORE 493097.983
AT ITER 7456 NEW BEST:: SOT 2831344 SOS 697851 HAS SOPS 697851 HAS SOUS 492268 HAS SOUPS 492268 WITH SCORE 492965.851
AT ITER 7479 NEW BEST:: SOT 2831110 SOS 697732 HAS SOPS 697732 HAS SOUS 492146 HAS SOUPS 492146 WITH SCORE 492843.732
AT ITER 7480 NEW BEST:: SOT 2831088 SOS 697842 HAS SOPS 697842 HAS SOUS 492102 HAS SOUPS 492102 WITH SCORE 492799.842
AT ITER 7485 NEW BEST:: SOT 2830940 SOS 697734 HAS SOPS 697734 HAS SOUS 491994 HAS SOUPS 491994 WITH SCORE 492691.734
AT ITER 7486 NEW BEST:: SOT 2829782 SOS 696642 HAS SOPS 696642 HAS SOUS 491123 HAS SOUPS 491123 WITH SCORE 491819.642
AT ITER 7487 NEW BEST:: SOT 2829470 SOS 696261 HAS SOPS 696261 HAS SOUS 490503 HAS SOUPS 490503 WITH SCORE 491199.261
AT ITER 7493 NEW BEST:: SOT 2829372 SOS 696038 HAS SOPS 696038 HAS SOUS 490280 HAS SOUPS 490280 WITH SCORE 490976.038
AT ITER 7513 NEW BEST:: SOT 2828701 SOS 696076 HAS SOPS 696076 HAS SOUS 489915 HAS SOUPS 489915 WITH SCORE 490611.076
AT ITER 7516 NEW BEST:: SOT 2828697 SOS 696064 HAS SOPS 696064 HAS SOUS 489907 HAS SOUPS 489907 WITH SCORE 490603.064
AT ITER 7517 NEW BEST:: SOT 2828564 SOS 695953 HAS SOPS 695953 HAS SOUS 489773 HAS SOUPS 489773 WITH SCORE 490468.953
AT ITER 7535 NEW BEST:: SOT 2827023 SOS 694067 HAS SOPS 694067 HAS SOUS 488159 HAS SOUPS 488159 WITH SCORE 488853.067
AT ITER 7550 NEW BEST:: SOT 2826914 SOS 693958 HAS SOPS 693958 HAS SOUS 488065 HAS SOUPS 488065 WITH SCORE 488758.958
AT ITER 7575 NEW BEST:: SOT 2826859 SOS 693901 HAS SOPS 693901 HAS SOUS 488009 HAS SOUPS 488009 WITH SCORE 488702.901
AT ITER 7589 NEW BEST:: SOT 2826952 SOS 694097 HAS SOPS 694097 HAS SOUS 487989 HAS SOUPS 487989 WITH SCORE 488683.097
AT ITER 7615 NEW BEST:: SOT 2826951 SOS 694096 HAS SOPS 694096 HAS SOUS 487988 HAS SOUPS 487988 WITH SCORE 488682.096
AT ITER 7620 NEW BEST:: SOT 2826962 SOS 694053 HAS SOPS 694053 HAS SOUS 487959 HAS SOUPS 487959 WITH SCORE 488653.053
AT ITER 7631 NEW BEST:: SOT 2826826 SOS 693625 HAS SOPS 693625 HAS SOUS 487821 HAS SOUPS 487821 WITH SCORE 488514.625
AT ITER 7641 NEW BEST:: SOT 2825900 SOS 692433 HAS SOPS 692433 HAS SOUS 486629 HAS SOUPS 486629 WITH SCORE 487321.433
AT ITER 7676 NEW BEST:: SOT 2825900 SOS 692350 HAS SOPS 692350 HAS SOUS 486629 HAS SOUPS 486629 WITH SCORE 487321.35
AT ITER 7694 NEW BEST:: SOT 2825890 SOS 692345 HAS SOPS 692345 HAS SOUS 486599 HAS SOUPS 486599 WITH SCORE 487291.345
AT ITER 7712 NEW BEST:: SOT 2825888 SOS 692016 HAS SOPS 692016 HAS SOUS 486595 HAS SOUPS 486595 WITH SCORE 487287.016
AT ITER 7736 NEW BEST:: SOT 2825887 SOS 692097 HAS SOPS 692097 HAS SOUS 486593 HAS SOUPS 486593 WITH SCORE 487285.097
AT ITER 7750 NEW BEST:: SOT 2825886 SOS 691909 HAS SOPS 691909 HAS SOUS 486488 HAS SOUPS 486488 WITH SCORE 487179.909
AT ITER 7753 NEW BEST:: SOT 2825886 SOS 691908 HAS SOPS 691908 HAS SOUS 486487 HAS SOUPS 486487 WITH SCORE 487178.908
AT ITER 7760 NEW BEST:: SOT 2825886 SOS 692024 HAS SOPS 692024 HAS SOUS 485675 HAS SOUPS 485675 WITH SCORE 486367.024
AT ITER 7777 NEW BEST:: SOT 2825886 SOS 691987 HAS SOPS 691987 HAS SOUS 485638 HAS SOUPS 485638 WITH SCORE 486329.987
AT ITER 7781 NEW BEST:: SOT 2826102 SOS 692239 HAS SOPS 692239 HAS SOUS 485602 HAS SOUPS 485602 WITH SCORE 486294.239
AT ITER 7794 NEW BEST:: SOT 2826102 SOS 692238 HAS SOPS 692238 HAS SOUS 485601 HAS SOUPS 485601 WITH SCORE 486293.238
AT ITER 7797 NEW BEST:: SOT 2826109 SOS 692009 HAS SOPS 692009 HAS SOUS 485502 HAS SOUPS 485502 WITH SCORE 486194.009
AT ITER 7830 NEW BEST:: SOT 2826095 SOS 691995 HAS SOPS 691995 HAS SOUS 485376 HAS SOUPS 485376 WITH SCORE 486067.995
AT ITER 7844 NEW BEST:: SOT 2826021 SOS 691921 HAS SOPS 691921 HAS SOUS 485302 HAS SOUPS 485302 WITH SCORE 485993.921
AT ITER 7858 NEW BEST:: SOT 2826097 SOS 692151 HAS SOPS 692151 HAS SOUS 484629 HAS SOUPS 484629 WITH SCORE 485321.151
AT ITER 7864 NEW BEST:: SOT 2826064 SOS 692085 HAS SOPS 692085 HAS SOUS 484563 HAS SOUPS 484563 WITH SCORE 485255.085
AT ITER 7884 NEW BEST:: SOT 2826064 SOS 692084 HAS SOPS 692084 HAS SOUS 484562 HAS SOUPS 484562 WITH SCORE 485254.084
AT ITER 7887 NEW BEST:: SOT 2825965 SOS 691822 HAS SOPS 691822 HAS SOUS 484419 HAS SOUPS 484419 WITH SCORE 485110.822
AT ITER 7888 NEW BEST:: SOT 2825859 SOS 692153 HAS SOPS 692153 HAS SOUS 484242 HAS SOUPS 484242 WITH SCORE 484934.153
AT ITER 7932 NEW BEST:: SOT 2825421 SOS 691879 HAS SOPS 691879 HAS SOUS 483841 HAS SOUPS 483841 WITH SCORE 484532.879
AT ITER 7936 NEW BEST:: SOT 2825379 SOS 691794 HAS SOPS 691794 HAS SOUS 483756 HAS SOUPS 483756 WITH SCORE 484447.794
AT ITER 7961 NEW BEST:: SOT 2825376 SOS 691788 HAS SOPS 691788 HAS SOUS 483750 HAS SOUPS 483750 WITH SCORE 484441.788
AT ITER 7989 NEW BEST:: SOT 2825269 SOS 691437 HAS SOPS 691437 HAS SOUS 483372 HAS SOUPS 483372 WITH SCORE 484063.437
AT ITER 7994 NEW BEST:: SOT 2825182 SOS 691126 HAS SOPS 691126 HAS SOUS 483061 HAS SOUPS 483061 WITH SCORE 483752.126
AT ITER 8009 NEW BEST:: SOT 2825182 SOS 691082 HAS SOPS 691082 HAS SOUS 483061 HAS SOUPS 483061 WITH SCORE 483752.082
AT ITER 8054 NEW BEST:: SOT 2825182 SOS 691082 HAS SOPS 691082 HAS SOUS 482960 HAS SOUPS 482960 WITH SCORE 483651.082
AT ITER 8060 NEW BEST:: SOT 2825148 SOS 691014 HAS SOPS 691014 HAS SOUS 482892 HAS SOUPS 482892 WITH SCORE 483583.014
AT ITER 8062 NEW BEST:: SOT 2825148 SOS 690903 HAS SOPS 690903 HAS SOUS 482781 HAS SOUPS 482781 WITH SCORE 483471.903
AT ITER 8073 NEW BEST:: SOT 2825148 SOS 690901 HAS SOPS 690901 HAS SOUS 482779 HAS SOUPS 482779 WITH SCORE 483469.901
AT ITER 8081 NEW BEST:: SOT 2825004 SOS 690591 HAS SOPS 690591 HAS SOUS 482545 HAS SOUPS 482545 WITH SCORE 483235.591
AT ITER 8110 NEW BEST:: SOT 2825004 SOS 690735 HAS SOPS 690735 HAS SOUS 482521 HAS SOUPS 482521 WITH SCORE 483211.735
AT ITER 8143 NEW BEST:: SOT 2824816 SOS 690281 HAS SOPS 690281 HAS SOUS 482442 HAS SOUPS 482442 WITH SCORE 483132.281
AT ITER 8148 NEW BEST:: SOT 2824581 SOS 690075 HAS SOPS 690075 HAS SOUS 482275 HAS SOUPS 482275 WITH SCORE 482965.075
AT ITER 8156 NEW BEST:: SOT 2824551 SOS 690045 HAS SOPS 690045 HAS SOUS 481765 HAS SOUPS 481765 WITH SCORE 482455.045
AT ITER 8162 NEW BEST:: SOT 2823837 SOS 689328 HAS SOPS 689328 HAS SOUS 481765 HAS SOUPS 481765 WITH SCORE 482454.328
AT ITER 8168 NEW BEST:: SOT 2823837 SOS 689223 HAS SOPS 689223 HAS SOUS 481765 HAS SOUPS 481765 WITH SCORE 482454.223
AT ITER 8187 NEW BEST:: SOT 2823830 SOS 689209 HAS SOPS 689209 HAS SOUS 481758 HAS SOUPS 481758 WITH SCORE 482447.209
AT ITER 8205 NEW BEST:: SOT 2826068 SOS 691628 HAS SOPS 691628 HAS SOUS 481393 HAS SOUPS 481393 WITH SCORE 482084.628
AT ITER 8213 NEW BEST:: SOT 2826028 SOS 691437 HAS SOPS 691437 HAS SOUS 481313 HAS SOUPS 481313 WITH SCORE 482004.437
AT ITER 8222 NEW BEST:: SOT 2825994 SOS 691460 HAS SOPS 691460 HAS SOUS 481291 HAS SOUPS 481291 WITH SCORE 481982.46
AT ITER 8251 NEW BEST:: SOT 2825994 SOS 691479 HAS SOPS 691479 HAS SOUS 481183 HAS SOUPS 481183 WITH SCORE 481874.479
AT ITER 8267 NEW BEST:: SOT 2825998 SOS 691556 HAS SOPS 691556 HAS SOUS 481172 HAS SOUPS 481172 WITH SCORE 481863.556
AT ITER 8282 NEW BEST:: SOT 2826078 SOS 691925 HAS SOPS 691925 HAS SOUS 479281 HAS SOUPS 479281 WITH SCORE 479972.925
AT ITER 8306 NEW BEST:: SOT 2825799 SOS 689874 HAS SOPS 689874 HAS SOUS 478940 HAS SOUPS 478940 WITH SCORE 479629.874
AT ITER 8311 NEW BEST:: SOT 2825799 SOS 689842 HAS SOPS 689842 HAS SOUS 478940 HAS SOUPS 478940 WITH SCORE 479629.842
AT ITER 8314 NEW BEST:: SOT 2825763 SOS 689668 HAS SOPS 689668 HAS SOUS 478832 HAS SOUPS 478832 WITH SCORE 479521.668
AT ITER 8323 NEW BEST:: SOT 2825687 SOS 689592 HAS SOPS 689592 HAS SOUS 478680 HAS SOUPS 478680 WITH SCORE 479369.592
AT ITER 8326 NEW BEST:: SOT 2825660 SOS 689538 HAS SOPS 689538 HAS SOUS 478653 HAS SOUPS 478653 WITH SCORE 479342.538
AT ITER 8346 NEW BEST:: SOT 2823991 SOS 688418 HAS SOPS 688418 HAS SOUS 477953 HAS SOUPS 477953 WITH SCORE 478641.418
AT ITER 8361 NEW BEST:: SOT 2823876 SOS 688235 HAS SOPS 688235 HAS SOUS 477893 HAS SOUPS 477893 WITH SCORE 478581.235
AT ITER 8366 NEW BEST:: SOT 2823095 SOS 687501 HAS SOPS 687501 HAS SOUS 477586 HAS SOUPS 477586 WITH SCORE 478273.501
AT ITER 8395 NEW BEST:: SOT 2823024 SOS 687378 HAS SOPS 687378 HAS SOUS 477463 HAS SOUPS 477463 WITH SCORE 478150.378
AT ITER 8432 NEW BEST:: SOT 2822574 SOS 686828 HAS SOPS 686828 HAS SOUS 476913 HAS SOUPS 476913 WITH SCORE 477599.828
AT ITER 8436 NEW BEST:: SOT 2822858 SOS 687448 HAS SOPS 687448 HAS SOUS 475717 HAS SOUPS 475717 WITH SCORE 476404.448
AT ITER 8450 NEW BEST:: SOT 2822807 SOS 687346 HAS SOPS 687346 HAS SOUS 475615 HAS SOUPS 475615 WITH SCORE 476302.346
AT ITER 8456 NEW BEST:: SOT 2822861 SOS 687161 HAS SOPS 687161 HAS SOUS 475430 HAS SOUPS 475430 WITH SCORE 476117.161
AT ITER 8472 NEW BEST:: SOT 2822861 SOS 687139 HAS SOPS 687139 HAS SOUS 475428 HAS SOUPS 475428 WITH SCORE 476115.139
AT ITER 8480 NEW BEST:: SOT 2822646 SOS 682388 HAS SOPS 682388 HAS SOUS 474913 HAS SOUPS 474913 WITH SCORE 475595.388
AT ITER 8482 NEW BEST:: SOT 2822564 SOS 682176 HAS SOPS 682176 HAS SOUS 474701 HAS SOUPS 474701 WITH SCORE 475383.176
AT ITER 8492 NEW BEST:: SOT 2822542 SOS 682110 HAS SOPS 682110 HAS SOUS 474668 HAS SOUPS 474668 WITH SCORE 475350.11
AT ITER 8505 NEW BEST:: SOT 2822388 SOS 682110 HAS SOPS 682110 HAS SOUS 474535 HAS SOUPS 474535 WITH SCORE 475217.11
AT ITER 8512 NEW BEST:: SOT 2822334 SOS 682056 HAS SOPS 682056 HAS SOUS 474535 HAS SOUPS 474535 WITH SCORE 475217.056
AT ITER 8531 NEW BEST:: SOT 2822334 SOS 682052 HAS SOPS 682052 HAS SOUS 474531 HAS SOUPS 474531 WITH SCORE 475213.052
AT ITER 8532 NEW BEST:: SOT 2822257 SOS 681898 HAS SOPS 681898 HAS SOUS 474475 HAS SOUPS 474475 WITH SCORE 475156.898
AT ITER 8554 NEW BEST:: SOT 2822200 SOS 681841 HAS SOPS 681841 HAS SOUS 474418 HAS SOUPS 474418 WITH SCORE 475099.841
AT ITER 8575 NEW BEST:: SOT 2822110 SOS 681013 HAS SOPS 681013 HAS SOUS 473935 HAS SOUPS 473935 WITH SCORE 474616.013
AT ITER 8576 NEW BEST:: SOT 2822107 SOS 681007 HAS SOPS 681007 HAS SOUS 473929 HAS SOUPS 473929 WITH SCORE 474610.007
AT ITER 8593 NEW BEST:: SOT 2822107 SOS 681067 HAS SOPS 681067 HAS SOUS 473919 HAS SOUPS 473919 WITH SCORE 474600.067
AT ITER 8611 NEW BEST:: SOT 2822106 SOS 681066 HAS SOPS 681066 HAS SOUS 473917 HAS SOUPS 473917 WITH SCORE 474598.066
AT ITER 8614 NEW BEST:: SOT 2821902 SOS 680766 HAS SOPS 680766 HAS SOUS 473220 HAS SOUPS 473220 WITH SCORE 473900.766
AT ITER 8617 NEW BEST:: SOT 2821902 SOS 680766 HAS SOPS 680766 HAS SOUS 473206 HAS SOUPS 473206 WITH SCORE 473886.766
AT ITER 8623 NEW BEST:: SOT 2821848 SOS 680658 HAS SOPS 680658 HAS SOUS 473036 HAS SOUPS 473036 WITH SCORE 473716.658
AT ITER 8650 NEW BEST:: SOT 2821839 SOS 680616 HAS SOPS 680616 HAS SOUS 472964 HAS SOUPS 472964 WITH SCORE 473644.616
AT ITER 8673 NEW BEST:: SOT 2821816 SOS 680571 HAS SOPS 680571 HAS SOUS 472934 HAS SOUPS 472934 WITH SCORE 473614.571
AT ITER 8696 NEW BEST:: SOT 2821811 SOS 680561 HAS SOPS 680561 HAS SOUS 472924 HAS SOUPS 472924 WITH SCORE 473604.561
AT ITER 8699 NEW BEST:: SOT 2821773 SOS 680523 HAS SOPS 680523 HAS SOUS 472924 HAS SOUPS 472924 WITH SCORE 473604.523
AT ITER 8700 NEW BEST:: SOT 2821742 SOS 680461 HAS SOPS 680461 HAS SOUS 472862 HAS SOUPS 472862 WITH SCORE 473542.461
AT ITER 8704 NEW BEST:: SOT 2821742 SOS 680442 HAS SOPS 680442 HAS SOUS 472843 HAS SOUPS 472843 WITH SCORE 473523.442
AT ITER 8706 NEW BEST:: SOT 2821565 SOS 680269 HAS SOPS 680269 HAS SOUS 472670 HAS SOUPS 472670 WITH SCORE 473350.269
AT ITER 8720 NEW BEST:: SOT 2821513 SOS 680146 HAS SOPS 680146 HAS SOUS 472384 HAS SOUPS 472384 WITH SCORE 473064.146
AT ITER 8722 NEW BEST:: SOT 2821374 SOS 679838 HAS SOPS 679838 HAS SOUS 472076 HAS SOUPS 472076 WITH SCORE 472755.838
AT ITER 8728 NEW BEST:: SOT 2821374 SOS 679838 HAS SOPS 679838 HAS SOUS 472008 HAS SOUPS 472008 WITH SCORE 472687.838
AT ITER 8733 NEW BEST:: SOT 2820065 SOS 678529 HAS SOPS 678529 HAS SOUS 472008 HAS SOUPS 472008 WITH SCORE 472686.529
AT ITER 8775 NEW BEST:: SOT 2819678 SOS 677896 HAS SOPS 677896 HAS SOUS 471375 HAS SOUPS 471375 WITH SCORE 472052.896
AT ITER 8788 NEW BEST:: SOT 2819565 SOS 677670 HAS SOPS 677670 HAS SOUS 471149 HAS SOUPS 471149 WITH SCORE 471826.67
AT ITER 8814 NEW BEST:: SOT 2819497 SOS 677636 HAS SOPS 677636 HAS SOUS 471115 HAS SOUPS 471115 WITH SCORE 471792.636
AT ITER 8826 NEW BEST:: SOT 2819467 SOS 677606 HAS SOPS 677606 HAS SOUS 471085 HAS SOUPS 471085 WITH SCORE 471762.606
AT ITER 8836 NEW BEST:: SOT 2819436 SOS 677544 HAS SOPS 677544 HAS SOUS 470667 HAS SOUPS 470667 WITH SCORE 471344.544
AT ITER 8837 NEW BEST:: SOT 2819432 SOS 677467 HAS SOPS 677467 HAS SOUS 470664 HAS SOUPS 470664 WITH SCORE 471341.467
AT ITER 8884 NEW BEST:: SOT 2819432 SOS 677467 HAS SOPS 677467 HAS SOUS 470624 HAS SOUPS 470624 WITH SCORE 471301.467
AT ITER 8898 NEW BEST:: SOT 2819375 SOS 677320 HAS SOPS 677320 HAS SOUS 470477 HAS SOUPS 470477 WITH SCORE 471154.32
AT ITER 8909 NEW BEST:: SOT 2819320 SOS 677265 HAS SOPS 677265 HAS SOUS 470422 HAS SOUPS 470422 WITH SCORE 471099.265
AT ITER 8922 NEW BEST:: SOT 2816360 SOS 674490 HAS SOPS 674490 HAS SOUS 470052 HAS SOUPS 470052 WITH SCORE 470726.49
AT ITER 8952 NEW BEST:: SOT 2816149 SOS 674279 HAS SOPS 674279 HAS SOUS 469625 HAS SOUPS 469625 WITH SCORE 470299.279
AT ITER 8982 NEW BEST:: SOT 2815955 SOS 674618 HAS SOPS 674618 HAS SOUS 469500 HAS SOUPS 469500 WITH SCORE 470174.618
AT ITER 8984 NEW BEST:: SOT 2815832 SOS 674219 HAS SOPS 674219 HAS SOUS 469377 HAS SOUPS 469377 WITH SCORE 470051.219
AT ITER 8999 NEW BEST:: SOT 2815749 SOS 674516 HAS SOPS 674516 HAS SOUS 469329 HAS SOUPS 469329 WITH SCORE 470003.516
AT ITER 9017 NEW BEST:: SOT 2815645 SOS 674204 HAS SOPS 674204 HAS SOUS 469121 HAS SOUPS 469121 WITH SCORE 469795.204
AT ITER 9023 NEW BEST:: SOT 2815645 SOS 674197 HAS SOPS 674197 HAS SOUS 469114 HAS SOUPS 469114 WITH SCORE 469788.197
AT ITER 9077 NEW BEST:: SOT 2815603 SOS 674155 HAS SOPS 674155 HAS SOUS 469072 HAS SOUPS 469072 WITH SCORE 469746.155
AT ITER 9105 NEW BEST:: SOT 2815468 SOS 673737 HAS SOPS 673737 HAS SOUS 468802 HAS SOUPS 468802 WITH SCORE 469475.737
AT ITER 9110 NEW BEST:: SOT 2815376 SOS 673559 HAS SOPS 673559 HAS SOUS 467847 HAS SOUPS 467847 WITH SCORE 468520.559
AT ITER 9169 NEW BEST:: SOT 2815041 SOS 674063 HAS SOPS 674063 HAS SOUS 467684 HAS SOUPS 467684 WITH SCORE 468358.063
AT ITER 9178 NEW BEST:: SOT 2815028 SOS 674039 HAS SOPS 674039 HAS SOUS 467660 HAS SOUPS 467660 WITH SCORE 468334.039
AT ITER 9194 NEW BEST:: SOT 2815028 SOS 673482 HAS SOPS 673482 HAS SOUS 467660 HAS SOUPS 467660 WITH SCORE 468333.482
AT ITER 9214 NEW BEST:: SOT 2815043 SOS 673411 HAS SOPS 673411 HAS SOUS 467574 HAS SOUPS 467574 WITH SCORE 468247.411
AT ITER 9223 NEW BEST:: SOT 2815042 SOS 673409 HAS SOPS 673409 HAS SOUS 467572 HAS SOUPS 467572 WITH SCORE 468245.409
AT ITER 9225 NEW BEST:: SOT 2815084 SOS 673584 HAS SOPS 673584 HAS SOUS 467526 HAS SOUPS 467526 WITH SCORE 468199.584
AT ITER 9233 NEW BEST:: SOT 2814957 SOS 673281 HAS SOPS 673281 HAS SOUS 467370 HAS SOUPS 467370 WITH SCORE 468043.281
AT ITER 9246 NEW BEST:: SOT 2814919 SOS 673279 HAS SOPS 673279 HAS SOUS 467368 HAS SOUPS 467368 WITH SCORE 468041.279
AT ITER 9259 NEW BEST:: SOT 2814651 SOS 673085 HAS SOPS 673085 HAS SOUS 467174 HAS SOUPS 467174 WITH SCORE 467847.085
AT ITER 9264 NEW BEST:: SOT 2814651 SOS 673085 HAS SOPS 673085 HAS SOUS 467066 HAS SOUPS 467066 WITH SCORE 467739.085
AT ITER 9275 NEW BEST:: SOT 2814655 SOS 672811 HAS SOPS 672811 HAS SOUS 466792 HAS SOUPS 466792 WITH SCORE 467464.811
AT ITER 9277 NEW BEST:: SOT 2814655 SOS 672811 HAS SOPS 672811 HAS SOUS 466771 HAS SOUPS 466771 WITH SCORE 467443.811
AT ITER 9282 NEW BEST:: SOT 2814655 SOS 672810 HAS SOPS 672810 HAS SOUS 466770 HAS SOUPS 466770 WITH SCORE 467442.81
AT ITER 9290 NEW BEST:: SOT 2814699 SOS 671531 HAS SOPS 671531 HAS SOUS 466657 HAS SOUPS 466657 WITH SCORE 467328.531
AT ITER 9305 NEW BEST:: SOT 2814575 SOS 671241 HAS SOPS 671241 HAS SOUS 466392 HAS SOUPS 466392 WITH SCORE 467063.241
AT ITER 9314 NEW BEST:: SOT 2814575 SOS 671008 HAS SOPS 671008 HAS SOUS 466392 HAS SOUPS 466392 WITH SCORE 467063.008
AT ITER 9318 NEW BEST:: SOT 2814555 SOS 670988 HAS SOPS 670988 HAS SOUS 466371 HAS SOUPS 466371 WITH SCORE 467041.988
AT ITER 9329 NEW BEST:: SOT 2813890 SOS 672294 HAS SOPS 672294 HAS SOUS 465710 HAS SOUPS 465710 WITH SCORE 466382.294
AT ITER 9351 NEW BEST:: SOT 2813882 SOS 672278 HAS SOPS 672278 HAS SOUS 465694 HAS SOUPS 465694 WITH SCORE 466366.278
AT ITER 9384 NEW BEST:: SOT 2813833 SOS 672046 HAS SOPS 672046 HAS SOUS 465593 HAS SOUPS 465593 WITH SCORE 466265.046
AT ITER 9398 NEW BEST:: SOT 2813613 SOS 671606 HAS SOPS 671606 HAS SOUS 465153 HAS SOUPS 465153 WITH SCORE 465824.606
AT ITER 9410 NEW BEST:: SOT 2813594 SOS 672201 HAS SOPS 672201 HAS SOUS 465115 HAS SOUPS 465115 WITH SCORE 465787.201
AT ITER 9435 NEW BEST:: SOT 2813442 SOS 671956 HAS SOPS 671956 HAS SOUS 464869 HAS SOUPS 464869 WITH SCORE 465540.956
AT ITER 9439 NEW BEST:: SOT 2813394 SOS 672729 HAS SOPS 672729 HAS SOUS 464842 HAS SOUPS 464842 WITH SCORE 465514.729
AT ITER 9462 NEW BEST:: SOT 2813394 SOS 672659 HAS SOPS 672659 HAS SOUS 464842 HAS SOUPS 464842 WITH SCORE 465514.659
AT ITER 9468 NEW BEST:: SOT 2813392 SOS 672655 HAS SOPS 672655 HAS SOUS 464779 HAS SOUPS 464779 WITH SCORE 465451.655
AT ITER 9486 NEW BEST:: SOT 2813391 SOS 672654 HAS SOPS 672654 HAS SOUS 464778 HAS SOUPS 464778 WITH SCORE 465450.654
AT ITER 9489 NEW BEST:: SOT 2813391 SOS 672654 HAS SOPS 672654 HAS SOUS 464618 HAS SOUPS 464618 WITH SCORE 465290.654
AT ITER 9507 NEW BEST:: SOT 2813274 SOS 672633 HAS SOPS 672633 HAS SOUS 464597 HAS SOUPS 464597 WITH SCORE 465269.633
AT ITER 9514 NEW BEST:: SOT 2813170 SOS 672680 HAS SOPS 672680 HAS SOUS 464466 HAS SOUPS 464466 WITH SCORE 465138.68
AT ITER 9518 NEW BEST:: SOT 2813153 SOS 672646 HAS SOPS 672646 HAS SOUS 464432 HAS SOUPS 464432 WITH SCORE 465104.646
AT ITER 9530 NEW BEST:: SOT 2812894 SOS 672338 HAS SOPS 672338 HAS SOUS 464124 HAS SOUPS 464124 WITH SCORE 464796.338
AT ITER 9541 NEW BEST:: SOT 2812840 SOS 672230 HAS SOPS 672230 HAS SOUS 464016 HAS SOUPS 464016 WITH SCORE 464688.23
AT ITER 9547 NEW BEST:: SOT 2812884 SOS 672212 HAS SOPS 672212 HAS SOUS 463998 HAS SOUPS 463998 WITH SCORE 464670.212
AT ITER 9569 NEW BEST:: SOT 2812826 SOS 671022 HAS SOPS 671022 HAS SOUS 463827 HAS SOUPS 463827 WITH SCORE 464498.022
AT ITER 9592 NEW BEST:: SOT 2812694 SOS 670684 HAS SOPS 670684 HAS SOUS 463565 HAS SOUPS 463565 WITH SCORE 464235.684
AT ITER 9620 NEW BEST:: SOT 2812683 SOS 670673 HAS SOPS 670673 HAS SOUS 463477 HAS SOUPS 463477 WITH SCORE 464147.673
AT ITER 9628 NEW BEST:: SOT 2812378 SOS 670368 HAS SOPS 670368 HAS SOUS 463329 HAS SOUPS 463329 WITH SCORE 463999.368
AT ITER 9665 NEW BEST:: SOT 2812197 SOS 670187 HAS SOPS 670187 HAS SOUS 463148 HAS SOUPS 463148 WITH SCORE 463818.187
AT ITER 9676 NEW BEST:: SOT 2810507 SOS 668941 HAS SOPS 668941 HAS SOUS 462350 HAS SOUPS 462350 WITH SCORE 463018.941
AT ITER 9681 NEW BEST:: SOT 2810489 SOS 668905 HAS SOPS 668905 HAS SOUS 462332 HAS SOUPS 462332 WITH SCORE 463000.905
AT ITER 9682 NEW BEST:: SOT 2810377 SOS 668688 HAS SOPS 668688 HAS SOUS 462115 HAS SOUPS 462115 WITH SCORE 462783.688
AT ITER 9700 NEW BEST:: SOT 2810069 SOS 668380 HAS SOPS 668380 HAS SOUS 461807 HAS SOUPS 461807 WITH SCORE 462475.38
AT ITER 9713 NEW BEST:: SOT 2809993 SOS 668323 HAS SOPS 668323 HAS SOUS 461707 HAS SOUPS 461707 WITH SCORE 462375.323
AT ITER 9729 NEW BEST:: SOT 2809683 SOS 668246 HAS SOPS 668246 HAS SOUS 461611 HAS SOUPS 461611 WITH SCORE 462279.246
AT ITER 9753 NEW BEST:: SOT 2809706 SOS 668092 HAS SOPS 668092 HAS SOUS 461457 HAS SOUPS 461457 WITH SCORE 462125.092
AT ITER 9768 NEW BEST:: SOT 2809706 SOS 668075 HAS SOPS 668075 HAS SOUS 461440 HAS SOUPS 461440 WITH SCORE 462108.075
AT ITER 9769 NEW BEST:: SOT 2809683 SOS 668029 HAS SOPS 668029 HAS SOUS 461371 HAS SOUPS 461371 WITH SCORE 462039.029
AT ITER 9772 NEW BEST:: SOT 2809846 SOS 667821 HAS SOPS 667821 HAS SOUS 460982 HAS SOUPS 460982 WITH SCORE 461649.821
AT ITER 9788 NEW BEST:: SOT 2809846 SOS 667745 HAS SOPS 667745 HAS SOUS 460906 HAS SOUPS 460906 WITH SCORE 461573.745
AT ITER 9814 NEW BEST:: SOT 2809821 SOS 667576 HAS SOPS 667576 HAS SOUS 460767 HAS SOUPS 460767 WITH SCORE 461434.576
AT ITER 9816 NEW BEST:: SOT 2809764 SOS 667462 HAS SOPS 667462 HAS SOUS 460710 HAS SOUPS 460710 WITH SCORE 461377.462
AT ITER 9844 NEW BEST:: SOT 2809764 SOS 667430 HAS SOPS 667430 HAS SOUS 460694 HAS SOUPS 460694 WITH SCORE 461361.43
AT ITER 9935 NEW BEST:: SOT 2809286 SOS 666952 HAS SOPS 666952 HAS SOUS 460316 HAS SOUPS 460316 WITH SCORE 460982.952

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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-smll-158897508000065"
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 ;