Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K Mar 30 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 09:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 09:11 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:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 23:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 963K 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 1589126948458

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

Filename model.pnml
Petri model created: 2703 places, 4071 transitions, 11073 arcs.
AT ITER 0 NEW BEST:: SOT 6825256 SOS 1533996 HAS SOPS 1533996 HAS SOUS 962756 HAS SOUPS 962756 WITH SCORE 964289.996
AT ITER 5 NEW BEST:: SOT 6824277 SOS 1540099 HAS SOPS 1540099 HAS SOUS 962699 HAS SOUPS 962699 WITH SCORE 964239.099
AT ITER 72 NEW BEST:: SOT 6824277 SOS 1539732 HAS SOPS 1539732 HAS SOUS 962699 HAS SOUPS 962699 WITH SCORE 964238.732
AT ITER 73 NEW BEST:: SOT 6824035 SOS 1540511 HAS SOPS 1540511 HAS SOUS 962457 HAS SOUPS 962457 WITH SCORE 963997.511
AT ITER 90 NEW BEST:: SOT 6824040 SOS 1540449 HAS SOPS 1540449 HAS SOUS 962431 HAS SOUPS 962431 WITH SCORE 963971.449
AT ITER 104 NEW BEST:: SOT 6823851 SOS 1540634 HAS SOPS 1540634 HAS SOUS 962052 HAS SOUPS 962052 WITH SCORE 963592.634
AT ITER 109 NEW BEST:: SOT 6824121 SOS 1541174 HAS SOPS 1541174 HAS SOUS 961976 HAS SOUPS 961976 WITH SCORE 963517.174
AT ITER 115 NEW BEST:: SOT 6823441 SOS 1539814 HAS SOPS 1539814 HAS SOUS 960616 HAS SOUPS 960616 WITH SCORE 962155.814
AT ITER 141 NEW BEST:: SOT 6823435 SOS 1539802 HAS SOPS 1539802 HAS SOUS 960604 HAS SOUPS 960604 WITH SCORE 962143.802
AT ITER 177 NEW BEST:: SOT 6823367 SOS 1539666 HAS SOPS 1539666 HAS SOUS 960535 HAS SOUPS 960535 WITH SCORE 962074.666
AT ITER 179 NEW BEST:: SOT 6823253 SOS 1539552 HAS SOPS 1539552 HAS SOUS 960534 HAS SOUPS 960534 WITH SCORE 962073.552
AT ITER 184 NEW BEST:: SOT 6822697 SOS 1536216 HAS SOPS 1536216 HAS SOUS 959700 HAS SOUPS 959700 WITH SCORE 961236.216
AT ITER 203 NEW BEST:: SOT 6822323 SOS 1535843 HAS SOPS 1535843 HAS SOUS 959327 HAS SOUPS 959327 WITH SCORE 960862.843
AT ITER 219 NEW BEST:: SOT 6822314 SOS 1535825 HAS SOPS 1535825 HAS SOUS 959318 HAS SOUPS 959318 WITH SCORE 960853.825
AT ITER 220 NEW BEST:: SOT 6821686 SOS 1534569 HAS SOPS 1534569 HAS SOUS 958088 HAS SOUPS 958088 WITH SCORE 959622.569
AT ITER 224 NEW BEST:: SOT 6821686 SOS 1535123 HAS SOPS 1535123 HAS SOUS 958086 HAS SOUPS 958086 WITH SCORE 959621.123
AT ITER 230 NEW BEST:: SOT 6820202 SOS 1533427 HAS SOPS 1533427 HAS SOUS 957029 HAS SOUPS 957029 WITH SCORE 958562.427
AT ITER 233 NEW BEST:: SOT 6819596 SOS 1534033 HAS SOPS 1534033 HAS SOUS 956301 HAS SOUPS 956301 WITH SCORE 957835.033
AT ITER 254 NEW BEST:: SOT 6818930 SOS 1533367 HAS SOPS 1533367 HAS SOUS 955635 HAS SOUPS 955635 WITH SCORE 957168.367
AT ITER 286 NEW BEST:: SOT 6818844 SOS 1533324 HAS SOPS 1533324 HAS SOUS 955592 HAS SOUPS 955592 WITH SCORE 957125.324
AT ITER 316 NEW BEST:: SOT 6818698 SOS 1532883 HAS SOPS 1532883 HAS SOUS 955299 HAS SOUPS 955299 WITH SCORE 956831.883
AT ITER 318 NEW BEST:: SOT 6818215 SOS 1532406 HAS SOPS 1532406 HAS SOUS 954822 HAS SOUPS 954822 WITH SCORE 956354.406
AT ITER 334 NEW BEST:: SOT 6818078 SOS 1533380 HAS SOPS 1533380 HAS SOUS 954762 HAS SOUPS 954762 WITH SCORE 956295.38
AT ITER 365 NEW BEST:: SOT 6817574 SOS 1532876 HAS SOPS 1532876 HAS SOUS 954258 HAS SOUPS 954258 WITH SCORE 955790.876
AT ITER 366 NEW BEST:: SOT 6817539 SOS 1532806 HAS SOPS 1532806 HAS SOUS 954188 HAS SOUPS 954188 WITH SCORE 955720.806
AT ITER 367 NEW BEST:: SOT 6817415 SOS 1532558 HAS SOPS 1532558 HAS SOUS 953940 HAS SOUPS 953940 WITH SCORE 955472.558
AT ITER 385 NEW BEST:: SOT 6817198 SOS 1532124 HAS SOPS 1532124 HAS SOUS 953506 HAS SOUPS 953506 WITH SCORE 955038.124
AT ITER 395 NEW BEST:: SOT 6817198 SOS 1532966 HAS SOPS 1532966 HAS SOUS 953505 HAS SOUPS 953505 WITH SCORE 955037.966
AT ITER 408 NEW BEST:: SOT 6817198 SOS 1532887 HAS SOPS 1532887 HAS SOUS 953426 HAS SOUPS 953426 WITH SCORE 954958.887
AT ITER 409 NEW BEST:: SOT 6817198 SOS 1532880 HAS SOPS 1532880 HAS SOUS 953419 HAS SOUPS 953419 WITH SCORE 954951.88
AT ITER 410 NEW BEST:: SOT 6817108 SOS 1533234 HAS SOPS 1533234 HAS SOUS 953329 HAS SOUPS 953329 WITH SCORE 954862.234
AT ITER 414 NEW BEST:: SOT 6816560 SOS 1532960 HAS SOPS 1532960 HAS SOUS 953055 HAS SOUPS 953055 WITH SCORE 954587.96
AT ITER 427 NEW BEST:: SOT 6816491 SOS 1532787 HAS SOPS 1532787 HAS SOUS 952882 HAS SOUPS 952882 WITH SCORE 954414.787
AT ITER 497 NEW BEST:: SOT 6816093 SOS 1532385 HAS SOPS 1532385 HAS SOUS 952483 HAS SOUPS 952483 WITH SCORE 954015.385
AT ITER 499 NEW BEST:: SOT 6816093 SOS 1532385 HAS SOPS 1532385 HAS SOUS 952435 HAS SOUPS 952435 WITH SCORE 953967.385
AT ITER 515 NEW BEST:: SOT 6815892 SOS 1532184 HAS SOPS 1532184 HAS SOUS 952234 HAS SOUPS 952234 WITH SCORE 953766.184
AT ITER 527 NEW BEST:: SOT 6815808 SOS 1531810 HAS SOPS 1531810 HAS SOUS 952146 HAS SOUPS 952146 WITH SCORE 953677.81
AT ITER 529 NEW BEST:: SOT 6815806 SOS 1531806 HAS SOPS 1531806 HAS SOUS 952142 HAS SOUPS 952142 WITH SCORE 953673.806
AT ITER 556 NEW BEST:: SOT 6815806 SOS 1531678 HAS SOPS 1531678 HAS SOUS 952014 HAS SOUPS 952014 WITH SCORE 953545.678
AT ITER 559 NEW BEST:: SOT 6815422 SOS 1530910 HAS SOPS 1530910 HAS SOUS 950859 HAS SOUPS 950859 WITH SCORE 952389.91
AT ITER 565 NEW BEST:: SOT 6813647 SOS 1531917 HAS SOPS 1531917 HAS SOUS 949356 HAS SOUPS 949356 WITH SCORE 950887.917
AT ITER 567 NEW BEST:: SOT 6813809 SOS 1532241 HAS SOPS 1532241 HAS SOUS 949290 HAS SOUPS 949290 WITH SCORE 950822.241
AT ITER 602 NEW BEST:: SOT 6813809 SOS 1532241 HAS SOPS 1532241 HAS SOUS 949289 HAS SOUPS 949289 WITH SCORE 950821.241
AT ITER 609 NEW BEST:: SOT 6813454 SOS 1529980 HAS SOPS 1529980 HAS SOUS 948579 HAS SOUPS 948579 WITH SCORE 950108.98
AT ITER 621 NEW BEST:: SOT 6812823 SOS 1523039 HAS SOPS 1523039 HAS SOUS 947317 HAS SOUPS 947317 WITH SCORE 948840.039
AT ITER 636 NEW BEST:: SOT 6812648 SOS 1522864 HAS SOPS 1522864 HAS SOUS 946967 HAS SOUPS 946967 WITH SCORE 948489.864
AT ITER 637 NEW BEST:: SOT 6812164 SOS 1522422 HAS SOPS 1522422 HAS SOUS 946525 HAS SOUPS 946525 WITH SCORE 948047.422
AT ITER 639 NEW BEST:: SOT 6811879 SOS 1522198 HAS SOPS 1522198 HAS SOUS 946301 HAS SOUPS 946301 WITH SCORE 947823.198
AT ITER 653 NEW BEST:: SOT 6811879 SOS 1522781 HAS SOPS 1522781 HAS SOUS 945918 HAS SOUPS 945918 WITH SCORE 947440.781
AT ITER 674 NEW BEST:: SOT 6811822 SOS 1522667 HAS SOPS 1522667 HAS SOUS 945804 HAS SOUPS 945804 WITH SCORE 947326.667
AT ITER 688 NEW BEST:: SOT 6811822 SOS 1521881 HAS SOPS 1521881 HAS SOUS 945516 HAS SOUPS 945516 WITH SCORE 947037.881
AT ITER 694 NEW BEST:: SOT 6811400 SOS 1517239 HAS SOPS 1517239 HAS SOUS 944672 HAS SOUPS 944672 WITH SCORE 946189.239
AT ITER 700 NEW BEST:: SOT 6810649 SOS 1516919 HAS SOPS 1516919 HAS SOUS 944315 HAS SOUPS 944315 WITH SCORE 945831.919
AT ITER 705 NEW BEST:: SOT 6810649 SOS 1517232 HAS SOPS 1517232 HAS SOUS 944314 HAS SOUPS 944314 WITH SCORE 945831.232
AT ITER 706 NEW BEST:: SOT 6810824 SOS 1517582 HAS SOPS 1517582 HAS SOUS 943987 HAS SOUPS 943987 WITH SCORE 945504.582
AT ITER 714 NEW BEST:: SOT 6809256 SOS 1515814 HAS SOPS 1515814 HAS SOUS 943749 HAS SOUPS 943749 WITH SCORE 945264.814
AT ITER 724 NEW BEST:: SOT 6808559 SOS 1515117 HAS SOPS 1515117 HAS SOUS 943052 HAS SOUPS 943052 WITH SCORE 944567.117
AT ITER 787 NEW BEST:: SOT 6808107 SOS 1514861 HAS SOPS 1514861 HAS SOUS 942798 HAS SOUPS 942798 WITH SCORE 944312.861
AT ITER 798 NEW BEST:: SOT 6808107 SOS 1514860 HAS SOPS 1514860 HAS SOUS 942797 HAS SOUPS 942797 WITH SCORE 944311.86
AT ITER 830 NEW BEST:: SOT 6808107 SOS 1513723 HAS SOPS 1513723 HAS SOUS 942797 HAS SOUPS 942797 WITH SCORE 944310.723
AT ITER 832 NEW BEST:: SOT 6808107 SOS 1514323 HAS SOPS 1514323 HAS SOUS 942796 HAS SOUPS 942796 WITH SCORE 944310.323
AT ITER 834 NEW BEST:: SOT 6807725 SOS 1513989 HAS SOPS 1513989 HAS SOUS 942462 HAS SOUPS 942462 WITH SCORE 943975.989
AT ITER 856 NEW BEST:: SOT 6807341 SOS 1513601 HAS SOPS 1513601 HAS SOUS 942077 HAS SOUPS 942077 WITH SCORE 943590.601
AT ITER 857 NEW BEST:: SOT 6806648 SOS 1513197 HAS SOPS 1513197 HAS SOUS 941673 HAS SOUPS 941673 WITH SCORE 943186.197
AT ITER 860 NEW BEST:: SOT 6806586 SOS 1513166 HAS SOPS 1513166 HAS SOUS 941642 HAS SOUPS 941642 WITH SCORE 943155.166
AT ITER 930 NEW BEST:: SOT 6806542 SOS 1513244 HAS SOPS 1513244 HAS SOUS 941641 HAS SOUPS 941641 WITH SCORE 943154.244
AT ITER 958 NEW BEST:: SOT 6806324 SOS 1512808 HAS SOPS 1512808 HAS SOUS 941205 HAS SOUPS 941205 WITH SCORE 942717.808
AT ITER 993 NEW BEST:: SOT 6806074 SOS 1513268 HAS SOPS 1513268 HAS SOUS 940989 HAS SOUPS 940989 WITH SCORE 942502.268
AT ITER 1005 NEW BEST:: SOT 6805436 SOS 1512630 HAS SOPS 1512630 HAS SOUS 940351 HAS SOUPS 940351 WITH SCORE 941863.63
AT ITER 1007 NEW BEST:: SOT 6804823 SOS 1512017 HAS SOPS 1512017 HAS SOUS 939738 HAS SOUPS 939738 WITH SCORE 941250.017
AT ITER 1014 NEW BEST:: SOT 6804367 SOS 1510649 HAS SOPS 1510649 HAS SOUS 939054 HAS SOUPS 939054 WITH SCORE 940564.649
AT ITER 1027 NEW BEST:: SOT 6803795 SOS 1510649 HAS SOPS 1510649 HAS SOUS 938701 HAS SOUPS 938701 WITH SCORE 940211.649
AT ITER 1030 NEW BEST:: SOT 6803663 SOS 1510385 HAS SOPS 1510385 HAS SOUS 938437 HAS SOUPS 938437 WITH SCORE 939947.385
AT ITER 1032 NEW BEST:: SOT 6803561 SOS 1510181 HAS SOPS 1510181 HAS SOUS 938233 HAS SOUPS 938233 WITH SCORE 939743.181
AT ITER 1047 NEW BEST:: SOT 6803501 SOS 1510061 HAS SOPS 1510061 HAS SOUS 938113 HAS SOUPS 938113 WITH SCORE 939623.061
AT ITER 1057 NEW BEST:: SOT 6803551 SOS 1510161 HAS SOPS 1510161 HAS SOUS 937686 HAS SOUPS 937686 WITH SCORE 939196.161
AT ITER 1065 NEW BEST:: SOT 6803549 SOS 1510157 HAS SOPS 1510157 HAS SOUS 937682 HAS SOUPS 937682 WITH SCORE 939192.157
AT ITER 1096 NEW BEST:: SOT 6803675 SOS 1510409 HAS SOPS 1510409 HAS SOUS 937645 HAS SOUPS 937645 WITH SCORE 939155.409
AT ITER 1125 NEW BEST:: SOT 6803604 SOS 1510773 HAS SOPS 1510773 HAS SOUS 937573 HAS SOUPS 937573 WITH SCORE 939083.773
AT ITER 1162 NEW BEST:: SOT 6803105 SOS 1510264 HAS SOPS 1510264 HAS SOUS 937073 HAS SOUPS 937073 WITH SCORE 938583.264
AT ITER 1173 NEW BEST:: SOT 6803052 SOS 1510366 HAS SOPS 1510366 HAS SOUS 937019 HAS SOUPS 937019 WITH SCORE 938529.366
AT ITER 1177 NEW BEST:: SOT 6803052 SOS 1511190 HAS SOPS 1511190 HAS SOUS 937018 HAS SOUPS 937018 WITH SCORE 938529.19
AT ITER 1191 NEW BEST:: SOT 6802963 SOS 1511012 HAS SOPS 1511012 HAS SOUS 936840 HAS SOUPS 936840 WITH SCORE 938351.012
AT ITER 1226 NEW BEST:: SOT 6802424 SOS 1510473 HAS SOPS 1510473 HAS SOUS 936301 HAS SOUPS 936301 WITH SCORE 937811.473
AT ITER 1247 NEW BEST:: SOT 6802424 SOS 1510943 HAS SOPS 1510943 HAS SOUS 936300 HAS SOUPS 936300 WITH SCORE 937810.943
AT ITER 1254 NEW BEST:: SOT 6802424 SOS 1510942 HAS SOPS 1510942 HAS SOUS 936299 HAS SOUPS 936299 WITH SCORE 937809.942
AT ITER 1295 NEW BEST:: SOT 6802224 SOS 1510842 HAS SOPS 1510842 HAS SOUS 936199 HAS SOUPS 936199 WITH SCORE 937709.842
AT ITER 1313 NEW BEST:: SOT 6802215 SOS 1512453 HAS SOPS 1512453 HAS SOUS 936190 HAS SOUPS 936190 WITH SCORE 937702.453
AT ITER 1323 NEW BEST:: SOT 6802147 SOS 1512317 HAS SOPS 1512317 HAS SOUS 936054 HAS SOUPS 936054 WITH SCORE 937566.317
AT ITER 1329 NEW BEST:: SOT 6802087 SOS 1512257 HAS SOPS 1512257 HAS SOUS 935994 HAS SOUPS 935994 WITH SCORE 937506.257
AT ITER 1355 NEW BEST:: SOT 6802087 SOS 1512256 HAS SOPS 1512256 HAS SOUS 935993 HAS SOUPS 935993 WITH SCORE 937505.256
AT ITER 1376 NEW BEST:: SOT 6802087 SOS 1512256 HAS SOPS 1512256 HAS SOUS 935875 HAS SOUPS 935875 WITH SCORE 937387.256
AT ITER 1377 NEW BEST:: SOT 6801885 SOS 1511852 HAS SOPS 1511852 HAS SOUS 935471 HAS SOUPS 935471 WITH SCORE 936982.852
AT ITER 1384 NEW BEST:: SOT 6801885 SOS 1512499 HAS SOPS 1512499 HAS SOUS 935470 HAS SOUPS 935470 WITH SCORE 936982.499
AT ITER 1389 NEW BEST:: SOT 6801794 SOS 1512317 HAS SOPS 1512317 HAS SOUS 935288 HAS SOUPS 935288 WITH SCORE 936800.317
AT ITER 1392 NEW BEST:: SOT 6801794 SOS 1512513 HAS SOPS 1512513 HAS SOUS 935286 HAS SOUPS 935286 WITH SCORE 936798.513
AT ITER 1393 NEW BEST:: SOT 6801794 SOS 1512465 HAS SOPS 1512465 HAS SOUS 935286 HAS SOUPS 935286 WITH SCORE 936798.465
AT ITER 1416 NEW BEST:: SOT 6801876 SOS 1512629 HAS SOPS 1512629 HAS SOUS 935141 HAS SOUPS 935141 WITH SCORE 936653.629
AT ITER 1423 NEW BEST:: SOT 6801360 SOS 1513145 HAS SOPS 1513145 HAS SOUS 934505 HAS SOUPS 934505 WITH SCORE 936018.145
AT ITER 1429 NEW BEST:: SOT 6801581 SOS 1512924 HAS SOPS 1512924 HAS SOUS 934505 HAS SOUPS 934505 WITH SCORE 936017.924
AT ITER 1448 NEW BEST:: SOT 6801499 SOS 1512760 HAS SOPS 1512760 HAS SOUS 934341 HAS SOUPS 934341 WITH SCORE 935853.76
AT ITER 1495 NEW BEST:: SOT 6801041 SOS 1516775 HAS SOPS 1516775 HAS SOUS 933424 HAS SOUPS 933424 WITH SCORE 934940.775
AT ITER 1502 NEW BEST:: SOT 6801041 SOS 1516759 HAS SOPS 1516759 HAS SOUS 933408 HAS SOUPS 933408 WITH SCORE 934924.759
AT ITER 1513 NEW BEST:: SOT 6799989 SOS 1515717 HAS SOPS 1515717 HAS SOUS 932366 HAS SOUPS 932366 WITH SCORE 933881.717
AT ITER 1529 NEW BEST:: SOT 6799989 SOS 1515717 HAS SOPS 1515717 HAS SOUS 932365 HAS SOUPS 932365 WITH SCORE 933880.717
AT ITER 1549 NEW BEST:: SOT 6799989 SOS 1516125 HAS SOPS 1516125 HAS SOUS 932364 HAS SOUPS 932364 WITH SCORE 933880.125
AT ITER 1563 NEW BEST:: SOT 6799988 SOS 1516123 HAS SOPS 1516123 HAS SOUS 932363 HAS SOUPS 932363 WITH SCORE 933879.123
AT ITER 1606 NEW BEST:: SOT 6799966 SOS 1516079 HAS SOPS 1516079 HAS SOUS 932319 HAS SOUPS 932319 WITH SCORE 933835.079
AT ITER 1611 NEW BEST:: SOT 6798230 SOS 1522464 HAS SOPS 1522464 HAS SOUS 931054 HAS SOUPS 931054 WITH SCORE 932576.464
AT ITER 1637 NEW BEST:: SOT 6798230 SOS 1523417 HAS SOPS 1523417 HAS SOUS 931053 HAS SOUPS 931053 WITH SCORE 932576.417
AT ITER 1643 NEW BEST:: SOT 6798066 SOS 1527057 HAS SOPS 1527057 HAS SOUS 930724 HAS SOUPS 930724 WITH SCORE 932251.057
AT ITER 1661 NEW BEST:: SOT 6797671 SOS 1527056 HAS SOPS 1527056 HAS SOUS 930723 HAS SOUPS 930723 WITH SCORE 932250.056
AT ITER 1698 NEW BEST:: SOT 6797670 SOS 1527054 HAS SOPS 1527054 HAS SOUS 930721 HAS SOUPS 930721 WITH SCORE 932248.054
AT ITER 1706 NEW BEST:: SOT 6797077 SOS 1525868 HAS SOPS 1525868 HAS SOUS 930198 HAS SOUPS 930198 WITH SCORE 931723.868
AT ITER 1718 NEW BEST:: SOT 6796715 SOS 1525619 HAS SOPS 1525619 HAS SOUS 929892 HAS SOUPS 929892 WITH SCORE 931417.619
AT ITER 1720 NEW BEST:: SOT 6796484 SOS 1525157 HAS SOPS 1525157 HAS SOUS 929711 HAS SOUPS 929711 WITH SCORE 931236.157
AT ITER 1748 NEW BEST:: SOT 6795817 SOS 1524490 HAS SOPS 1524490 HAS SOUS 929044 HAS SOUPS 929044 WITH SCORE 930568.49
AT ITER 1768 NEW BEST:: SOT 6795509 SOS 1524114 HAS SOPS 1524114 HAS SOUS 928668 HAS SOUPS 928668 WITH SCORE 930192.114
AT ITER 1779 NEW BEST:: SOT 6795323 SOS 1525416 HAS SOPS 1525416 HAS SOUS 928482 HAS SOUPS 928482 WITH SCORE 930007.416
AT ITER 1790 NEW BEST:: SOT 6795121 SOS 1525012 HAS SOPS 1525012 HAS SOUS 928279 HAS SOUPS 928279 WITH SCORE 929804.012
AT ITER 1795 NEW BEST:: SOT 6795120 SOS 1525010 HAS SOPS 1525010 HAS SOUS 928277 HAS SOUPS 928277 WITH SCORE 929802.01
AT ITER 1800 NEW BEST:: SOT 6794814 SOS 1524700 HAS SOPS 1524700 HAS SOUS 927970 HAS SOUPS 927970 WITH SCORE 929494.7
AT ITER 1804 NEW BEST:: SOT 6794814 SOS 1525239 HAS SOPS 1525239 HAS SOUS 927969 HAS SOUPS 927969 WITH SCORE 929494.239
AT ITER 1810 NEW BEST:: SOT 6794527 SOS 1525137 HAS SOPS 1525137 HAS SOUS 927682 HAS SOUPS 927682 WITH SCORE 929207.137
AT ITER 1824 NEW BEST:: SOT 6794247 SOS 1522617 HAS SOPS 1522617 HAS SOUS 927314 HAS SOUPS 927314 WITH SCORE 928836.617
AT ITER 1832 NEW BEST:: SOT 6794202 SOS 1522460 HAS SOPS 1522460 HAS SOUS 927202 HAS SOUPS 927202 WITH SCORE 928724.46
AT ITER 1847 NEW BEST:: SOT 6793724 SOS 1520394 HAS SOPS 1520394 HAS SOUS 926327 HAS SOUPS 926327 WITH SCORE 927847.394
AT ITER 1852 NEW BEST:: SOT 6793498 SOS 1520168 HAS SOPS 1520168 HAS SOUS 926327 HAS SOUPS 926327 WITH SCORE 927847.168
AT ITER 1883 NEW BEST:: SOT 6793498 SOS 1520168 HAS SOPS 1520168 HAS SOUS 926219 HAS SOUPS 926219 WITH SCORE 927739.168
AT ITER 1889 NEW BEST:: SOT 6793498 SOS 1520168 HAS SOPS 1520168 HAS SOUS 926009 HAS SOUPS 926009 WITH SCORE 927529.168
AT ITER 1903 NEW BEST:: SOT 6793326 SOS 1520337 HAS SOPS 1520337 HAS SOUS 925836 HAS SOUPS 925836 WITH SCORE 927356.337
AT ITER 1950 NEW BEST:: SOT 6793326 SOS 1516137 HAS SOPS 1516137 HAS SOUS 925836 HAS SOUPS 925836 WITH SCORE 927352.137
AT ITER 2014 NEW BEST:: SOT 6792708 SOS 1519817 HAS SOPS 1519817 HAS SOUS 925589 HAS SOUPS 925589 WITH SCORE 927108.817
AT ITER 2019 NEW BEST:: SOT 6792204 SOS 1519436 HAS SOPS 1519436 HAS SOUS 925085 HAS SOUPS 925085 WITH SCORE 926604.436
AT ITER 2022 NEW BEST:: SOT 6792389 SOS 1519234 HAS SOPS 1519234 HAS SOUS 924984 HAS SOUPS 924984 WITH SCORE 926503.234
AT ITER 2060 NEW BEST:: SOT 6792388 SOS 1519232 HAS SOPS 1519232 HAS SOUS 924982 HAS SOUPS 924982 WITH SCORE 926501.232
AT ITER 2069 NEW BEST:: SOT 6792374 SOS 1519231 HAS SOPS 1519231 HAS SOUS 924981 HAS SOUPS 924981 WITH SCORE 926500.231
AT ITER 2086 NEW BEST:: SOT 6792354 SOS 1519191 HAS SOPS 1519191 HAS SOUS 924670 HAS SOUPS 924670 WITH SCORE 926189.191
AT ITER 2158 NEW BEST:: SOT 6792060 SOS 1518897 HAS SOPS 1518897 HAS SOUS 924376 HAS SOUPS 924376 WITH SCORE 925894.897
AT ITER 2167 NEW BEST:: SOT 6792060 SOS 1519697 HAS SOPS 1519697 HAS SOUS 923976 HAS SOUPS 923976 WITH SCORE 925495.697
AT ITER 2178 NEW BEST:: SOT 6791405 SOS 1519131 HAS SOPS 1519131 HAS SOUS 923410 HAS SOUPS 923410 WITH SCORE 924929.131
AT ITER 2180 NEW BEST:: SOT 6791405 SOS 1519025 HAS SOPS 1519025 HAS SOUS 923304 HAS SOUPS 923304 WITH SCORE 924823.025
AT ITER 2181 NEW BEST:: SOT 6791332 SOS 1518879 HAS SOPS 1518879 HAS SOUS 922864 HAS SOUPS 922864 WITH SCORE 924382.879
AT ITER 2184 NEW BEST:: SOT 6791150 SOS 1518739 HAS SOPS 1518739 HAS SOUS 922608 HAS SOUPS 922608 WITH SCORE 924126.739
AT ITER 2212 NEW BEST:: SOT 6791061 SOS 1518561 HAS SOPS 1518561 HAS SOUS 922519 HAS SOUPS 922519 WITH SCORE 924037.561
AT ITER 2226 NEW BEST:: SOT 6791061 SOS 1518561 HAS SOPS 1518561 HAS SOUS 922362 HAS SOUPS 922362 WITH SCORE 923880.561
AT ITER 2232 NEW BEST:: SOT 6790791 SOS 1518662 HAS SOPS 1518662 HAS SOUS 921822 HAS SOUPS 921822 WITH SCORE 923340.662
AT ITER 2238 NEW BEST:: SOT 6790460 SOS 1518588 HAS SOPS 1518588 HAS SOUS 921491 HAS SOUPS 921491 WITH SCORE 923009.588
AT ITER 2251 NEW BEST:: SOT 6790460 SOS 1518578 HAS SOPS 1518578 HAS SOUS 921399 HAS SOUPS 921399 WITH SCORE 922917.578
AT ITER 2263 NEW BEST:: SOT 6790457 SOS 1518597 HAS SOPS 1518597 HAS SOUS 921074 HAS SOUPS 921074 WITH SCORE 922592.597
AT ITER 2311 NEW BEST:: SOT 6790457 SOS 1518509 HAS SOPS 1518509 HAS SOUS 920887 HAS SOUPS 920887 WITH SCORE 922405.509
AT ITER 2338 NEW BEST:: SOT 6790456 SOS 1518507 HAS SOPS 1518507 HAS SOUS 920885 HAS SOUPS 920885 WITH SCORE 922403.507
AT ITER 2357 NEW BEST:: SOT 6790169 SOS 1518605 HAS SOPS 1518605 HAS SOUS 920647 HAS SOUPS 920647 WITH SCORE 922165.605
AT ITER 2358 NEW BEST:: SOT 6790151 SOS 1518579 HAS SOPS 1518579 HAS SOUS 920611 HAS SOUPS 920611 WITH SCORE 922129.579
AT ITER 2365 NEW BEST:: SOT 6789847 SOS 1517971 HAS SOPS 1517971 HAS SOUS 920307 HAS SOUPS 920307 WITH SCORE 921824.971
AT ITER 2367 NEW BEST:: SOT 6789051 SOS 1517533 HAS SOPS 1517533 HAS SOUS 919671 HAS SOUPS 919671 WITH SCORE 921188.533
AT ITER 2396 NEW BEST:: SOT 6789051 SOS 1517533 HAS SOPS 1517533 HAS SOUS 919501 HAS SOUPS 919501 WITH SCORE 921018.533
AT ITER 2423 NEW BEST:: SOT 6788935 SOS 1517417 HAS SOPS 1517417 HAS SOUS 919443 HAS SOUPS 919443 WITH SCORE 920960.417
AT ITER 2429 NEW BEST:: SOT 6788935 SOS 1516328 HAS SOPS 1516328 HAS SOUS 919138 HAS SOUPS 919138 WITH SCORE 920654.328
AT ITER 2443 NEW BEST:: SOT 6788907 SOS 1516374 HAS SOPS 1516374 HAS SOUS 919137 HAS SOUPS 919137 WITH SCORE 920653.374
AT ITER 2460 NEW BEST:: SOT 6788775 SOS 1516242 HAS SOPS 1516242 HAS SOUS 919005 HAS SOUPS 919005 WITH SCORE 920521.242
AT ITER 2485 NEW BEST:: SOT 6788714 SOS 1516120 HAS SOPS 1516120 HAS SOUS 918883 HAS SOUPS 918883 WITH SCORE 920399.12
AT ITER 2523 NEW BEST:: SOT 6788479 SOS 1515650 HAS SOPS 1515650 HAS SOUS 918648 HAS SOUPS 918648 WITH SCORE 920163.65
AT ITER 2544 NEW BEST:: SOT 6788361 SOS 1515414 HAS SOPS 1515414 HAS SOUS 918412 HAS SOUPS 918412 WITH SCORE 919927.414
AT ITER 2557 NEW BEST:: SOT 6787862 SOS 1512955 HAS SOPS 1512955 HAS SOUS 917423 HAS SOUPS 917423 WITH SCORE 918935.955
AT ITER 2564 NEW BEST:: SOT 6787862 SOS 1512871 HAS SOPS 1512871 HAS SOUS 917381 HAS SOUPS 917381 WITH SCORE 918893.871
AT ITER 2599 NEW BEST:: SOT 6787862 SOS 1513333 HAS SOPS 1513333 HAS SOUS 917380 HAS SOUPS 917380 WITH SCORE 918893.333
AT ITER 2614 NEW BEST:: SOT 6787739 SOS 1512886 HAS SOPS 1512886 HAS SOUS 917176 HAS SOUPS 917176 WITH SCORE 918688.886
AT ITER 2659 NEW BEST:: SOT 6787571 SOS 1512247 HAS SOPS 1512247 HAS SOUS 917008 HAS SOUPS 917008 WITH SCORE 918520.247
AT ITER 2673 NEW BEST:: SOT 6787571 SOS 1512247 HAS SOPS 1512247 HAS SOUS 916874 HAS SOUPS 916874 WITH SCORE 918386.247
AT ITER 2676 NEW BEST:: SOT 6787425 SOS 1513415 HAS SOPS 1513415 HAS SOUS 916582 HAS SOUPS 916582 WITH SCORE 918095.415
AT ITER 2685 NEW BEST:: SOT 6787194 SOS 1510643 HAS SOPS 1510643 HAS SOUS 916120 HAS SOUPS 916120 WITH SCORE 917630.643
AT ITER 2689 NEW BEST:: SOT 6787109 SOS 1510473 HAS SOPS 1510473 HAS SOUS 915950 HAS SOUPS 915950 WITH SCORE 917460.473
AT ITER 2705 NEW BEST:: SOT 6787108 SOS 1510471 HAS SOPS 1510471 HAS SOUS 915948 HAS SOUPS 915948 WITH SCORE 917458.471
AT ITER 2707 NEW BEST:: SOT 6786926 SOS 1510825 HAS SOPS 1510825 HAS SOUS 915765 HAS SOUPS 915765 WITH SCORE 917275.825
AT ITER 2709 NEW BEST:: SOT 6785764 SOS 1509663 HAS SOPS 1509663 HAS SOUS 914603 HAS SOUPS 914603 WITH SCORE 916112.663
AT ITER 2719 NEW BEST:: SOT 6785763 SOS 1509576 HAS SOPS 1509576 HAS SOUS 914516 HAS SOUPS 914516 WITH SCORE 916025.576
AT ITER 2721 NEW BEST:: SOT 6785763 SOS 1509519 HAS SOPS 1509519 HAS SOUS 914459 HAS SOUPS 914459 WITH SCORE 915968.519
AT ITER 2748 NEW BEST:: SOT 6783513 SOS 1509220 HAS SOPS 1509220 HAS SOUS 912477 HAS SOUPS 912477 WITH SCORE 913986.22
AT ITER 2751 NEW BEST:: SOT 6782977 SOS 1508513 HAS SOPS 1508513 HAS SOUS 912135 HAS SOUPS 912135 WITH SCORE 913643.513
AT ITER 2773 NEW BEST:: SOT 6782433 SOS 1507425 HAS SOPS 1507425 HAS SOUS 911308 HAS SOUPS 911308 WITH SCORE 912815.425
AT ITER 2794 NEW BEST:: SOT 6781994 SOS 1506547 HAS SOPS 1506547 HAS SOUS 910143 HAS SOUPS 910143 WITH SCORE 911649.547
AT ITER 2799 NEW BEST:: SOT 6781994 SOS 1506747 HAS SOPS 1506747 HAS SOUS 910142 HAS SOUPS 910142 WITH SCORE 911648.747
AT ITER 2820 NEW BEST:: SOT 6781900 SOS 1506653 HAS SOPS 1506653 HAS SOUS 910048 HAS SOUPS 910048 WITH SCORE 911554.653
AT ITER 2838 NEW BEST:: SOT 6780535 SOS 1505093 HAS SOPS 1505093 HAS SOUS 908830 HAS SOUPS 908830 WITH SCORE 910335.093
AT ITER 2839 NEW BEST:: SOT 6780420 SOS 1504863 HAS SOPS 1504863 HAS SOUS 908600 HAS SOUPS 908600 WITH SCORE 910104.863
AT ITER 2843 NEW BEST:: SOT 6780128 SOS 1504279 HAS SOPS 1504279 HAS SOUS 908321 HAS SOUPS 908321 WITH SCORE 909825.279
AT ITER 2886 NEW BEST:: SOT 6780122 SOS 1504285 HAS SOPS 1504285 HAS SOUS 908309 HAS SOUPS 908309 WITH SCORE 909813.285
AT ITER 2890 NEW BEST:: SOT 6780046 SOS 1504209 HAS SOPS 1504209 HAS SOUS 908233 HAS SOUPS 908233 WITH SCORE 909737.209
AT ITER 2895 NEW BEST:: SOT 6780088 SOS 1504078 HAS SOPS 1504078 HAS SOUS 908102 HAS SOUPS 908102 WITH SCORE 909606.078
AT ITER 2904 NEW BEST:: SOT 6780384 SOS 1503620 HAS SOPS 1503620 HAS SOUS 907644 HAS SOUPS 907644 WITH SCORE 909147.62
AT ITER 2910 NEW BEST:: SOT 6779676 SOS 1502912 HAS SOPS 1502912 HAS SOUS 906936 HAS SOUPS 906936 WITH SCORE 908438.912
AT ITER 2930 NEW BEST:: SOT 6779551 SOS 1502662 HAS SOPS 1502662 HAS SOUS 906811 HAS SOUPS 906811 WITH SCORE 908313.662
AT ITER 2958 NEW BEST:: SOT 6779503 SOS 1502566 HAS SOPS 1502566 HAS SOUS 906773 HAS SOUPS 906773 WITH SCORE 908275.566
AT ITER 2966 NEW BEST:: SOT 6779197 SOS 1500416 HAS SOPS 1500416 HAS SOUS 906567 HAS SOUPS 906567 WITH SCORE 908067.416
AT ITER 2990 NEW BEST:: SOT 6779185 SOS 1500392 HAS SOPS 1500392 HAS SOUS 906345 HAS SOUPS 906345 WITH SCORE 907845.392
AT ITER 2991 NEW BEST:: SOT 6779142 SOS 1500349 HAS SOPS 1500349 HAS SOUS 906302 HAS SOUPS 906302 WITH SCORE 907802.349
AT ITER 3027 NEW BEST:: SOT 6778979 SOS 1500423 HAS SOPS 1500423 HAS SOUS 906297 HAS SOUPS 906297 WITH SCORE 907797.423
AT ITER 3057 NEW BEST:: SOT 6778741 SOS 1500191 HAS SOPS 1500191 HAS SOUS 906228 HAS SOUPS 906228 WITH SCORE 907728.191
AT ITER 3058 NEW BEST:: SOT 6778706 SOS 1500121 HAS SOPS 1500121 HAS SOUS 906158 HAS SOUPS 906158 WITH SCORE 907658.121
AT ITER 3076 NEW BEST:: SOT 6778512 SOS 1499927 HAS SOPS 1499927 HAS SOUS 905964 HAS SOUPS 905964 WITH SCORE 907463.927
AT ITER 3077 NEW BEST:: SOT 6778322 SOS 1501257 HAS SOPS 1501257 HAS SOUS 905774 HAS SOUPS 905774 WITH SCORE 907275.257
AT ITER 3082 NEW BEST:: SOT 6778298 SOS 1501209 HAS SOPS 1501209 HAS SOUS 905726 HAS SOUPS 905726 WITH SCORE 907227.209
AT ITER 3091 NEW BEST:: SOT 6778248 SOS 1501084 HAS SOPS 1501084 HAS SOUS 905676 HAS SOUPS 905676 WITH SCORE 907177.084
AT ITER 3124 NEW BEST:: SOT 6778248 SOS 1500166 HAS SOPS 1500166 HAS SOUS 905676 HAS SOUPS 905676 WITH SCORE 907176.166
AT ITER 3138 NEW BEST:: SOT 6778248 SOS 1499356 HAS SOPS 1499356 HAS SOUS 905676 HAS SOUPS 905676 WITH SCORE 907175.356
AT ITER 3196 NEW BEST:: SOT 6778154 SOS 1498228 HAS SOPS 1498228 HAS SOUS 905488 HAS SOUPS 905488 WITH SCORE 906986.228
AT ITER 3206 NEW BEST:: SOT 6778154 SOS 1498228 HAS SOPS 1498228 HAS SOUS 905486 HAS SOUPS 905486 WITH SCORE 906984.228
AT ITER 3257 NEW BEST:: SOT 6778214 SOS 1497972 HAS SOPS 1497972 HAS SOUS 905418 HAS SOUPS 905418 WITH SCORE 906915.972
AT ITER 3281 NEW BEST:: SOT 6778213 SOS 1497970 HAS SOPS 1497970 HAS SOUS 905416 HAS SOUPS 905416 WITH SCORE 906913.97
AT ITER 3289 NEW BEST:: SOT 6778114 SOS 1497772 HAS SOPS 1497772 HAS SOUS 905218 HAS SOUPS 905218 WITH SCORE 906715.772
AT ITER 3293 NEW BEST:: SOT 6778113 SOS 1497770 HAS SOPS 1497770 HAS SOUS 905216 HAS SOUPS 905216 WITH SCORE 906713.77
AT ITER 3331 NEW BEST:: SOT 6778568 SOS 1496469 HAS SOPS 1496469 HAS SOUS 904934 HAS SOUPS 904934 WITH SCORE 906430.469
AT ITER 3332 NEW BEST:: SOT 6778259 SOS 1496039 HAS SOPS 1496039 HAS SOUS 904504 HAS SOUPS 904504 WITH SCORE 906000.039
AT ITER 3357 NEW BEST:: SOT 6778179 SOS 1495879 HAS SOPS 1495879 HAS SOUS 904344 HAS SOUPS 904344 WITH SCORE 905839.879
AT ITER 3364 NEW BEST:: SOT 6777669 SOS 1495318 HAS SOPS 1495318 HAS SOUS 904314 HAS SOUPS 904314 WITH SCORE 905809.318
AT ITER 3370 NEW BEST:: SOT 6777195 SOS 1495258 HAS SOPS 1495258 HAS SOUS 904253 HAS SOUPS 904253 WITH SCORE 905748.258
AT ITER 3386 NEW BEST:: SOT 6777071 SOS 1495072 HAS SOPS 1495072 HAS SOUS 904086 HAS SOUPS 904086 WITH SCORE 905581.072
AT ITER 3424 NEW BEST:: SOT 6776736 SOS 1495192 HAS SOPS 1495192 HAS SOUS 903896 HAS SOUPS 903896 WITH SCORE 905391.192
AT ITER 3427 NEW BEST:: SOT 6776736 SOS 1494205 HAS SOPS 1494205 HAS SOUS 903896 HAS SOUPS 903896 WITH SCORE 905390.205
AT ITER 3437 NEW BEST:: SOT 6776719 SOS 1495814 HAS SOPS 1495814 HAS SOUS 903330 HAS SOUPS 903330 WITH SCORE 904825.814
AT ITER 3442 NEW BEST:: SOT 6776677 SOS 1495894 HAS SOPS 1495894 HAS SOUS 903287 HAS SOUPS 903287 WITH SCORE 904782.894
AT ITER 3463 NEW BEST:: SOT 6776502 SOS 1495916 HAS SOPS 1495916 HAS SOUS 903111 HAS SOUPS 903111 WITH SCORE 904606.916
AT ITER 3466 NEW BEST:: SOT 6776502 SOS 1496062 HAS SOPS 1496062 HAS SOUS 902965 HAS SOUPS 902965 WITH SCORE 904461.062
AT ITER 3491 NEW BEST:: SOT 6776501 SOS 1496060 HAS SOPS 1496060 HAS SOUS 902963 HAS SOUPS 902963 WITH SCORE 904459.06
AT ITER 3493 NEW BEST:: SOT 6776372 SOS 1495802 HAS SOPS 1495802 HAS SOUS 902527 HAS SOUPS 902527 WITH SCORE 904022.802
AT ITER 3496 NEW BEST:: SOT 6776372 SOS 1495777 HAS SOPS 1495777 HAS SOUS 902527 HAS SOUPS 902527 WITH SCORE 904022.777
AT ITER 3508 NEW BEST:: SOT 6775845 SOS 1494723 HAS SOPS 1494723 HAS SOUS 901594 HAS SOUPS 901594 WITH SCORE 903088.723
AT ITER 3516 NEW BEST:: SOT 6775907 SOS 1495881 HAS SOPS 1495881 HAS SOUS 901371 HAS SOUPS 901371 WITH SCORE 902866.881
AT ITER 3519 NEW BEST:: SOT 6775907 SOS 1495991 HAS SOPS 1495991 HAS SOUS 901369 HAS SOUPS 901369 WITH SCORE 902864.991
AT ITER 3540 NEW BEST:: SOT 6775907 SOS 1496009 HAS SOPS 1496009 HAS SOUS 901368 HAS SOUPS 901368 WITH SCORE 902864.009
AT ITER 3543 NEW BEST:: SOT 6775848 SOS 1497462 HAS SOPS 1497462 HAS SOUS 901249 HAS SOUPS 901249 WITH SCORE 902746.462
AT ITER 3567 NEW BEST:: SOT 6775434 SOS 1497508 HAS SOPS 1497508 HAS SOUS 900835 HAS SOUPS 900835 WITH SCORE 902332.508
AT ITER 3634 NEW BEST:: SOT 6775485 SOS 1497610 HAS SOPS 1497610 HAS SOUS 900824 HAS SOUPS 900824 WITH SCORE 902321.61
AT ITER 3649 NEW BEST:: SOT 6775140 SOS 1497174 HAS SOPS 1497174 HAS SOUS 900388 HAS SOUPS 900388 WITH SCORE 901885.174
AT ITER 3681 NEW BEST:: SOT 6775140 SOS 1497035 HAS SOPS 1497035 HAS SOUS 900249 HAS SOUPS 900249 WITH SCORE 901746.035
AT ITER 3708 NEW BEST:: SOT 6775140 SOS 1496798 HAS SOPS 1496798 HAS SOUS 900091 HAS SOUPS 900091 WITH SCORE 901587.798
AT ITER 3713 NEW BEST:: SOT 6775139 SOS 1496796 HAS SOPS 1496796 HAS SOUS 900089 HAS SOUPS 900089 WITH SCORE 901585.796
AT ITER 3738 NEW BEST:: SOT 6775069 SOS 1496656 HAS SOPS 1496656 HAS SOUS 899949 HAS SOUPS 899949 WITH SCORE 901445.656
AT ITER 3745 NEW BEST:: SOT 6775068 SOS 1490885 HAS SOPS 1490885 HAS SOUS 899947 HAS SOUPS 899947 WITH SCORE 901437.885
AT ITER 3747 NEW BEST:: SOT 6774945 SOS 1490887 HAS SOPS 1490887 HAS SOUS 899826 HAS SOUPS 899826 WITH SCORE 901316.887
AT ITER 3750 NEW BEST:: SOT 6774710 SOS 1490718 HAS SOPS 1490718 HAS SOUS 899393 HAS SOUPS 899393 WITH SCORE 900883.718
AT ITER 3770 NEW BEST:: SOT 6774710 SOS 1490509 HAS SOPS 1490509 HAS SOUS 899214 HAS SOUPS 899214 WITH SCORE 900704.509
AT ITER 3803 NEW BEST:: SOT 6774710 SOS 1490496 HAS SOPS 1490496 HAS SOUS 899201 HAS SOUPS 899201 WITH SCORE 900691.496
AT ITER 3807 NEW BEST:: SOT 6774502 SOS 1494220 HAS SOPS 1494220 HAS SOUS 898966 HAS SOUPS 898966 WITH SCORE 900460.22
AT ITER 3811 NEW BEST:: SOT 6774482 SOS 1494217 HAS SOPS 1494217 HAS SOUS 898965 HAS SOUPS 898965 WITH SCORE 900459.217
AT ITER 3815 NEW BEST:: SOT 6774337 SOS 1494381 HAS SOPS 1494381 HAS SOUS 898839 HAS SOUPS 898839 WITH SCORE 900333.381
AT ITER 3848 NEW BEST:: SOT 6774120 SOS 1494140 HAS SOPS 1494140 HAS SOUS 898598 HAS SOUPS 898598 WITH SCORE 900092.14
AT ITER 3870 NEW BEST:: SOT 6773142 SOS 1496431 HAS SOPS 1496431 HAS SOUS 898273 HAS SOUPS 898273 WITH SCORE 899769.431
AT ITER 3878 NEW BEST:: SOT 6773220 SOS 1496275 HAS SOPS 1496275 HAS SOUS 898273 HAS SOUPS 898273 WITH SCORE 899769.275
AT ITER 3884 NEW BEST:: SOT 6773291 SOS 1496201 HAS SOPS 1496201 HAS SOUS 898272 HAS SOUPS 898272 WITH SCORE 899768.201
AT ITER 3889 NEW BEST:: SOT 6773165 SOS 1495949 HAS SOPS 1495949 HAS SOUS 897509 HAS SOUPS 897509 WITH SCORE 899004.949
AT ITER 3893 NEW BEST:: SOT 6773316 SOS 1495863 HAS SOPS 1495863 HAS SOUS 897330 HAS SOUPS 897330 WITH SCORE 898825.863
AT ITER 3909 NEW BEST:: SOT 6773103 SOS 1496086 HAS SOPS 1496086 HAS SOUS 897303 HAS SOUPS 897303 WITH SCORE 898799.086
AT ITER 3957 NEW BEST:: SOT 6773103 SOS 1495708 HAS SOPS 1495708 HAS SOUS 897303 HAS SOUPS 897303 WITH SCORE 898798.708
AT ITER 4006 NEW BEST:: SOT 6773086 SOS 1495674 HAS SOPS 1495674 HAS SOUS 897269 HAS SOUPS 897269 WITH SCORE 898764.674
AT ITER 4011 NEW BEST:: SOT 6772779 SOS 1495060 HAS SOPS 1495060 HAS SOUS 896655 HAS SOUPS 896655 WITH SCORE 898150.06
AT ITER 4028 NEW BEST:: SOT 6772779 SOS 1494533 HAS SOPS 1494533 HAS SOUS 896551 HAS SOUPS 896551 WITH SCORE 898045.533
AT ITER 4033 NEW BEST:: SOT 6772681 SOS 1494484 HAS SOPS 1494484 HAS SOUS 896502 HAS SOUPS 896502 WITH SCORE 897996.484
AT ITER 4056 NEW BEST:: SOT 6772681 SOS 1494484 HAS SOPS 1494484 HAS SOUS 896366 HAS SOUPS 896366 WITH SCORE 897860.484
AT ITER 4064 NEW BEST:: SOT 6772496 SOS 1494326 HAS SOPS 1494326 HAS SOUS 896180 HAS SOUPS 896180 WITH SCORE 897674.326
AT ITER 4074 NEW BEST:: SOT 6772237 SOS 1494064 HAS SOPS 1494064 HAS SOUS 895920 HAS SOUPS 895920 WITH SCORE 897414.064
AT ITER 4091 NEW BEST:: SOT 6772073 SOS 1493736 HAS SOPS 1493736 HAS SOUS 895837 HAS SOUPS 895837 WITH SCORE 897330.736
AT ITER 4109 NEW BEST:: SOT 6771670 SOS 1493180 HAS SOPS 1493180 HAS SOUS 895393 HAS SOUPS 895393 WITH SCORE 896886.18
AT ITER 4120 NEW BEST:: SOT 6771749 SOS 1492974 HAS SOPS 1492974 HAS SOUS 895187 HAS SOUPS 895187 WITH SCORE 896679.974
AT ITER 4138 NEW BEST:: SOT 6771966 SOS 1493408 HAS SOPS 1493408 HAS SOUS 895148 HAS SOUPS 895148 WITH SCORE 896641.408
AT ITER 4142 NEW BEST:: SOT 6771911 SOS 1493405 HAS SOPS 1493405 HAS SOUS 895147 HAS SOUPS 895147 WITH SCORE 896640.405
AT ITER 4178 NEW BEST:: SOT 6771684 SOS 1493152 HAS SOPS 1493152 HAS SOUS 895117 HAS SOUPS 895117 WITH SCORE 896610.152
AT ITER 4196 NEW BEST:: SOT 6771243 SOS 1492393 HAS SOPS 1492393 HAS SOUS 894907 HAS SOUPS 894907 WITH SCORE 896399.393
AT ITER 4213 NEW BEST:: SOT 6771421 SOS 1492376 HAS SOPS 1492376 HAS SOUS 894800 HAS SOUPS 894800 WITH SCORE 896292.376
AT ITER 4227 NEW BEST:: SOT 6771421 SOS 1491983 HAS SOPS 1491983 HAS SOUS 894799 HAS SOUPS 894799 WITH SCORE 896290.983
AT ITER 4239 NEW BEST:: SOT 6770995 SOS 1492657 HAS SOPS 1492657 HAS SOUS 894483 HAS SOUPS 894483 WITH SCORE 895975.657
AT ITER 4284 NEW BEST:: SOT 6770711 SOS 1491237 HAS SOPS 1491237 HAS SOUS 894199 HAS SOUPS 894199 WITH SCORE 895690.237
AT ITER 4294 NEW BEST:: SOT 6770663 SOS 1491141 HAS SOPS 1491141 HAS SOUS 894086 HAS SOUPS 894086 WITH SCORE 895577.141
AT ITER 4310 NEW BEST:: SOT 6770663 SOS 1491141 HAS SOPS 1491141 HAS SOUS 893794 HAS SOUPS 893794 WITH SCORE 895285.141
AT ITER 4382 NEW BEST:: SOT 6770663 SOS 1491209 HAS SOPS 1491209 HAS SOUS 893793 HAS SOUPS 893793 WITH SCORE 895284.209
AT ITER 4391 NEW BEST:: SOT 6770663 SOS 1491209 HAS SOPS 1491209 HAS SOUS 893755 HAS SOUPS 893755 WITH SCORE 895246.209
AT ITER 4415 NEW BEST:: SOT 6770714 SOS 1491170 HAS SOPS 1491170 HAS SOUS 893716 HAS SOUPS 893716 WITH SCORE 895207.17
AT ITER 4424 NEW BEST:: SOT 6770714 SOS 1490687 HAS SOPS 1490687 HAS SOUS 893555 HAS SOUPS 893555 WITH SCORE 895045.687
AT ITER 4437 NEW BEST:: SOT 6770714 SOS 1490785 HAS SOPS 1490785 HAS SOUS 893484 HAS SOUPS 893484 WITH SCORE 894974.785
AT ITER 4438 NEW BEST:: SOT 6770696 SOS 1491048 HAS SOPS 1491048 HAS SOUS 893447 HAS SOUPS 893447 WITH SCORE 894938.048
AT ITER 4447 NEW BEST:: SOT 6770863 SOS 1490714 HAS SOPS 1490714 HAS SOUS 893447 HAS SOUPS 893447 WITH SCORE 894937.714
AT ITER 4461 NEW BEST:: SOT 6771142 SOS 1490663 HAS SOPS 1490663 HAS SOUS 893396 HAS SOUPS 893396 WITH SCORE 894886.663
AT ITER 4470 NEW BEST:: SOT 6771142 SOS 1490329 HAS SOPS 1490329 HAS SOUS 893329 HAS SOUPS 893329 WITH SCORE 894819.329
AT ITER 4474 NEW BEST:: SOT 6770963 SOS 1490325 HAS SOPS 1490325 HAS SOUS 893328 HAS SOUPS 893328 WITH SCORE 894818.325
AT ITER 4485 NEW BEST:: SOT 6770553 SOS 1489505 HAS SOPS 1489505 HAS SOUS 892508 HAS SOUPS 892508 WITH SCORE 893997.505
AT ITER 4486 NEW BEST:: SOT 6770324 SOS 1487444 HAS SOPS 1487444 HAS SOUS 892057 HAS SOUPS 892057 WITH SCORE 893544.444
AT ITER 4532 NEW BEST:: SOT 6770230 SOS 1487897 HAS SOPS 1487897 HAS SOUS 891868 HAS SOUPS 891868 WITH SCORE 893355.897
AT ITER 4575 NEW BEST:: SOT 6770049 SOS 1487535 HAS SOPS 1487535 HAS SOUS 891216 HAS SOUPS 891216 WITH SCORE 892703.535
AT ITER 4630 NEW BEST:: SOT 6770049 SOS 1487519 HAS SOPS 1487519 HAS SOUS 891200 HAS SOUPS 891200 WITH SCORE 892687.519
AT ITER 4653 NEW BEST:: SOT 6769957 SOS 1487427 HAS SOPS 1487427 HAS SOUS 891107 HAS SOUPS 891107 WITH SCORE 892594.427
AT ITER 4674 NEW BEST:: SOT 6769937 SOS 1487387 HAS SOPS 1487387 HAS SOUS 891067 HAS SOUPS 891067 WITH SCORE 892554.387
AT ITER 4680 NEW BEST:: SOT 6769848 SOS 1488099 HAS SOPS 1488099 HAS SOUS 890978 HAS SOUPS 890978 WITH SCORE 892466.099
AT ITER 4682 NEW BEST:: SOT 6769693 SOS 1488465 HAS SOPS 1488465 HAS SOUS 890689 HAS SOUPS 890689 WITH SCORE 892177.465
AT ITER 4684 NEW BEST:: SOT 6769638 SOS 1488245 HAS SOPS 1488245 HAS SOUS 890612 HAS SOUPS 890612 WITH SCORE 892100.245
AT ITER 4707 NEW BEST:: SOT 6769102 SOS 1488245 HAS SOPS 1488245 HAS SOUS 889994 HAS SOUPS 889994 WITH SCORE 891482.245
AT ITER 4724 NEW BEST:: SOT 6769102 SOS 1488151 HAS SOPS 1488151 HAS SOUS 889947 HAS SOUPS 889947 WITH SCORE 891435.151
AT ITER 4746 NEW BEST:: SOT 6769102 SOS 1488060 HAS SOPS 1488060 HAS SOUS 889856 HAS SOUPS 889856 WITH SCORE 891344.06
AT ITER 4757 NEW BEST:: SOT 6769048 SOS 1487952 HAS SOPS 1487952 HAS SOUS 889748 HAS SOUPS 889748 WITH SCORE 891235.952
AT ITER 4772 NEW BEST:: SOT 6769030 SOS 1487916 HAS SOPS 1487916 HAS SOUS 889729 HAS SOUPS 889729 WITH SCORE 891216.916
AT ITER 4775 NEW BEST:: SOT 6769078 SOS 1487683 HAS SOPS 1487683 HAS SOUS 889485 HAS SOUPS 889485 WITH SCORE 890972.683
AT ITER 4784 NEW BEST:: SOT 6768846 SOS 1487723 HAS SOPS 1487723 HAS SOUS 889253 HAS SOUPS 889253 WITH SCORE 890740.723
AT ITER 4789 NEW BEST:: SOT 6768846 SOS 1487767 HAS SOPS 1487767 HAS SOUS 889231 HAS SOUPS 889231 WITH SCORE 890718.767
AT ITER 4790 NEW BEST:: SOT 6768846 SOS 1485337 HAS SOPS 1485337 HAS SOUS 889231 HAS SOUPS 889231 WITH SCORE 890716.337
AT ITER 4832 NEW BEST:: SOT 6768681 SOS 1485196 HAS SOPS 1485196 HAS SOUS 889090 HAS SOUPS 889090 WITH SCORE 890575.196
AT ITER 4875 NEW BEST:: SOT 6768108 SOS 1484742 HAS SOPS 1484742 HAS SOUS 888636 HAS SOUPS 888636 WITH SCORE 890120.742
AT ITER 4883 NEW BEST:: SOT 6768108 SOS 1484782 HAS SOPS 1484782 HAS SOUS 888596 HAS SOUPS 888596 WITH SCORE 890080.782
AT ITER 4914 NEW BEST:: SOT 6768108 SOS 1484778 HAS SOPS 1484778 HAS SOUS 888595 HAS SOUPS 888595 WITH SCORE 890079.778
AT ITER 4915 NEW BEST:: SOT 6767904 SOS 1484370 HAS SOPS 1484370 HAS SOUS 888466 HAS SOUPS 888466 WITH SCORE 889950.37
AT ITER 4968 NEW BEST:: SOT 6767807 SOS 1484176 HAS SOPS 1484176 HAS SOUS 888272 HAS SOUPS 888272 WITH SCORE 889756.176
AT ITER 4987 NEW BEST:: SOT 6767599 SOS 1484160 HAS SOPS 1484160 HAS SOUS 888259 HAS SOUPS 888259 WITH SCORE 889743.16
AT ITER 4989 NEW BEST:: SOT 6767599 SOS 1484102 HAS SOPS 1484102 HAS SOUS 888201 HAS SOUPS 888201 WITH SCORE 889685.102
AT ITER 5014 NEW BEST:: SOT 6767599 SOS 1484406 HAS SOPS 1484406 HAS SOUS 888200 HAS SOUPS 888200 WITH SCORE 889684.406
AT ITER 5023 NEW BEST:: SOT 6767499 SOS 1484326 HAS SOPS 1484326 HAS SOUS 888120 HAS SOUPS 888120 WITH SCORE 889604.326
AT ITER 5024 NEW BEST:: SOT 6766623 SOS 1483450 HAS SOPS 1483450 HAS SOUS 887244 HAS SOUPS 887244 WITH SCORE 888727.45
AT ITER 5072 NEW BEST:: SOT 6766639 SOS 1483482 HAS SOPS 1483482 HAS SOUS 887172 HAS SOUPS 887172 WITH SCORE 888655.482
AT ITER 5092 NEW BEST:: SOT 6765087 SOS 1485300 HAS SOPS 1485300 HAS SOUS 885903 HAS SOUPS 885903 WITH SCORE 887388.3
AT ITER 5095 NEW BEST:: SOT 6765067 SOS 1485260 HAS SOPS 1485260 HAS SOUS 885863 HAS SOUPS 885863 WITH SCORE 887348.26
AT ITER 5100 NEW BEST:: SOT 6765066 SOS 1485258 HAS SOPS 1485258 HAS SOUS 885861 HAS SOUPS 885861 WITH SCORE 887346.258
AT ITER 5101 NEW BEST:: SOT 6765028 SOS 1485108 HAS SOPS 1485108 HAS SOUS 885822 HAS SOUPS 885822 WITH SCORE 887307.108
AT ITER 5121 NEW BEST:: SOT 6764957 SOS 1485491 HAS SOPS 1485491 HAS SOUS 885750 HAS SOUPS 885750 WITH SCORE 887235.491
AT ITER 5125 NEW BEST:: SOT 6764934 SOS 1485567 HAS SOPS 1485567 HAS SOUS 885727 HAS SOUPS 885727 WITH SCORE 887212.567
AT ITER 5165 NEW BEST:: SOT 6764908 SOS 1485489 HAS SOPS 1485489 HAS SOUS 885649 HAS SOUPS 885649 WITH SCORE 887134.489
AT ITER 5169 NEW BEST:: SOT 6764868 SOS 1485408 HAS SOPS 1485408 HAS SOUS 885473 HAS SOUPS 885473 WITH SCORE 886958.408
AT ITER 5203 NEW BEST:: SOT 6764841 SOS 1485388 HAS SOPS 1485388 HAS SOUS 885453 HAS SOUPS 885453 WITH SCORE 886938.388
AT ITER 5212 NEW BEST:: SOT 6764660 SOS 1486153 HAS SOPS 1486153 HAS SOUS 885210 HAS SOUPS 885210 WITH SCORE 886696.153
AT ITER 5227 NEW BEST:: SOT 6764624 SOS 1486045 HAS SOPS 1486045 HAS SOUS 885138 HAS SOUPS 885138 WITH SCORE 886624.045
AT ITER 5242 NEW BEST:: SOT 6764845 SOS 1485908 HAS SOPS 1485908 HAS SOUS 884630 HAS SOUPS 884630 WITH SCORE 886115.908
AT ITER 5244 NEW BEST:: SOT 6764758 SOS 1486507 HAS SOPS 1486507 HAS SOUS 884455 HAS SOUPS 884455 WITH SCORE 885941.507
AT ITER 5246 NEW BEST:: SOT 6764643 SOS 1486643 HAS SOPS 1486643 HAS SOUS 884403 HAS SOUPS 884403 WITH SCORE 885889.643
AT ITER 5262 NEW BEST:: SOT 6765102 SOS 1487561 HAS SOPS 1487561 HAS SOUS 884390 HAS SOUPS 884390 WITH SCORE 885877.561
AT ITER 5287 NEW BEST:: SOT 6765070 SOS 1487505 HAS SOPS 1487505 HAS SOUS 884350 HAS SOUPS 884350 WITH SCORE 885837.505
AT ITER 5405 NEW BEST:: SOT 6765036 SOS 1487470 HAS SOPS 1487470 HAS SOUS 884315 HAS SOUPS 884315 WITH SCORE 885802.47
AT ITER 5408 NEW BEST:: SOT 6764718 SOS 1487422 HAS SOPS 1487422 HAS SOUS 883876 HAS SOUPS 883876 WITH SCORE 885363.422
AT ITER 5429 NEW BEST:: SOT 6764716 SOS 1487421 HAS SOPS 1487421 HAS SOUS 883875 HAS SOUPS 883875 WITH SCORE 885362.421
AT ITER 5436 NEW BEST:: SOT 6764733 SOS 1487420 HAS SOPS 1487420 HAS SOUS 883874 HAS SOUPS 883874 WITH SCORE 885361.42
AT ITER 5466 NEW BEST:: SOT 6764352 SOS 1487257 HAS SOPS 1487257 HAS SOUS 883594 HAS SOUPS 883594 WITH SCORE 885081.257
AT ITER 5473 NEW BEST:: SOT 6764346 SOS 1487245 HAS SOPS 1487245 HAS SOUS 883582 HAS SOUPS 883582 WITH SCORE 885069.245
AT ITER 5478 NEW BEST:: SOT 6764279 SOS 1487111 HAS SOPS 1487111 HAS SOUS 883515 HAS SOUPS 883515 WITH SCORE 885002.111
AT ITER 5494 NEW BEST:: SOT 6764035 SOS 1486623 HAS SOPS 1486623 HAS SOUS 883027 HAS SOUPS 883027 WITH SCORE 884513.623
AT ITER 5498 NEW BEST:: SOT 6761000 SOS 1485881 HAS SOPS 1485881 HAS SOUS 880947 HAS SOUPS 880947 WITH SCORE 882432.881
AT ITER 5518 NEW BEST:: SOT 6760702 SOS 1485902 HAS SOPS 1485902 HAS SOUS 880266 HAS SOUPS 880266 WITH SCORE 881751.902
AT ITER 5526 NEW BEST:: SOT 6760947 SOS 1485375 HAS SOPS 1485375 HAS SOUS 880172 HAS SOUPS 880172 WITH SCORE 881657.375
AT ITER 5556 NEW BEST:: SOT 6760947 SOS 1485035 HAS SOPS 1485035 HAS SOUS 880172 HAS SOUPS 880172 WITH SCORE 881657.035
AT ITER 5557 NEW BEST:: SOT 6760857 SOS 1484223 HAS SOPS 1484223 HAS SOUS 880081 HAS SOUPS 880081 WITH SCORE 881565.223
AT ITER 5564 NEW BEST:: SOT 6760543 SOS 1482653 HAS SOPS 1482653 HAS SOUS 879753 HAS SOUPS 879753 WITH SCORE 881235.653
AT ITER 5576 NEW BEST:: SOT 6760299 SOS 1481979 HAS SOPS 1481979 HAS SOUS 879628 HAS SOUPS 879628 WITH SCORE 881109.979
AT ITER 5601 NEW BEST:: SOT 6760086 SOS 1481695 HAS SOPS 1481695 HAS SOUS 879344 HAS SOUPS 879344 WITH SCORE 880825.695
AT ITER 5606 NEW BEST:: SOT 6760067 SOS 1481657 HAS SOPS 1481657 HAS SOUS 879325 HAS SOUPS 879325 WITH SCORE 880806.657
AT ITER 5612 NEW BEST:: SOT 6760031 SOS 1481585 HAS SOPS 1481585 HAS SOUS 879253 HAS SOUPS 879253 WITH SCORE 880734.585
AT ITER 5624 NEW BEST:: SOT 6759842 SOS 1479506 HAS SOPS 1479506 HAS SOUS 878875 HAS SOUPS 878875 WITH SCORE 880354.506
AT ITER 5634 NEW BEST:: SOT 6759662 SOS 1479448 HAS SOPS 1479448 HAS SOUS 878819 HAS SOUPS 878819 WITH SCORE 880298.448
AT ITER 5708 NEW BEST:: SOT 6759662 SOS 1479448 HAS SOPS 1479448 HAS SOUS 878796 HAS SOUPS 878796 WITH SCORE 880275.448
AT ITER 5719 NEW BEST:: SOT 6759662 SOS 1478623 HAS SOPS 1478623 HAS SOUS 878521 HAS SOUPS 878521 WITH SCORE 879999.623
AT ITER 5731 NEW BEST:: SOT 6759662 SOS 1478620 HAS SOPS 1478620 HAS SOUS 878520 HAS SOUPS 878520 WITH SCORE 879998.62
AT ITER 5763 NEW BEST:: SOT 6760354 SOS 1478907 HAS SOPS 1478907 HAS SOUS 878490 HAS SOUPS 878490 WITH SCORE 879968.907
AT ITER 5794 NEW BEST:: SOT 6760354 SOS 1478832 HAS SOPS 1478832 HAS SOUS 878414 HAS SOUPS 878414 WITH SCORE 879892.832
AT ITER 5805 NEW BEST:: SOT 6760160 SOS 1478444 HAS SOPS 1478444 HAS SOUS 878026 HAS SOUPS 878026 WITH SCORE 879504.444
AT ITER 5808 NEW BEST:: SOT 6759926 SOS 1478682 HAS SOPS 1478682 HAS SOUS 877867 HAS SOUPS 877867 WITH SCORE 879345.682
AT ITER 5825 NEW BEST:: SOT 6759797 SOS 1478553 HAS SOPS 1478553 HAS SOUS 877738 HAS SOUPS 877738 WITH SCORE 879216.553
AT ITER 5834 NEW BEST:: SOT 6759782 SOS 1478523 HAS SOPS 1478523 HAS SOUS 877708 HAS SOUPS 877708 WITH SCORE 879186.523
AT ITER 5849 NEW BEST:: SOT 6759545 SOS 1478286 HAS SOPS 1478286 HAS SOUS 877471 HAS SOUPS 877471 WITH SCORE 878949.286
AT ITER 5868 NEW BEST:: SOT 6759483 SOS 1478162 HAS SOPS 1478162 HAS SOUS 877347 HAS SOUPS 877347 WITH SCORE 878825.162
AT ITER 5886 NEW BEST:: SOT 6759576 SOS 1478159 HAS SOPS 1478159 HAS SOUS 877344 HAS SOUPS 877344 WITH SCORE 878822.159
AT ITER 5930 NEW BEST:: SOT 6759294 SOS 1477879 HAS SOPS 1477879 HAS SOUS 877103 HAS SOUPS 877103 WITH SCORE 878580.879
AT ITER 5973 NEW BEST:: SOT 6759726 SOS 1477933 HAS SOPS 1477933 HAS SOUS 877050 HAS SOUPS 877050 WITH SCORE 878527.933
AT ITER 5990 NEW BEST:: SOT 6759637 SOS 1477895 HAS SOPS 1477895 HAS SOUS 877021 HAS SOUPS 877021 WITH SCORE 878498.895
AT ITER 5994 NEW BEST:: SOT 6759592 SOS 1477973 HAS SOPS 1477973 HAS SOUS 876976 HAS SOUPS 876976 WITH SCORE 878453.973
AT ITER 6021 NEW BEST:: SOT 6759419 SOS 1476369 HAS SOPS 1476369 HAS SOUS 876748 HAS SOUPS 876748 WITH SCORE 878224.369
AT ITER 6060 NEW BEST:: SOT 6759077 SOS 1476065 HAS SOPS 1476065 HAS SOUS 876406 HAS SOUPS 876406 WITH SCORE 877882.065
AT ITER 6062 NEW BEST:: SOT 6758601 SOS 1474639 HAS SOPS 1474639 HAS SOUS 875835 HAS SOUPS 875835 WITH SCORE 877309.639
AT ITER 6077 NEW BEST:: SOT 6758601 SOS 1473916 HAS SOPS 1473916 HAS SOUS 875594 HAS SOUPS 875594 WITH SCORE 877067.916
AT ITER 6094 NEW BEST:: SOT 6758292 SOS 1473298 HAS SOPS 1473298 HAS SOUS 874976 HAS SOUPS 874976 WITH SCORE 876449.298
AT ITER 6095 NEW BEST:: SOT 6758268 SOS 1473202 HAS SOPS 1473202 HAS SOUS 874952 HAS SOUPS 874952 WITH SCORE 876425.202
AT ITER 6105 NEW BEST:: SOT 6757578 SOS 1472802 HAS SOPS 1472802 HAS SOUS 874263 HAS SOUPS 874263 WITH SCORE 875735.802
AT ITER 6133 NEW BEST:: SOT 6757578 SOS 1473446 HAS SOPS 1473446 HAS SOUS 874262 HAS SOUPS 874262 WITH SCORE 875735.446
AT ITER 6150 NEW BEST:: SOT 6757578 SOS 1473446 HAS SOPS 1473446 HAS SOUS 873829 HAS SOUPS 873829 WITH SCORE 875302.446
AT ITER 6166 NEW BEST:: SOT 6757577 SOS 1473445 HAS SOPS 1473445 HAS SOUS 873828 HAS SOUPS 873828 WITH SCORE 875301.445
AT ITER 6174 NEW BEST:: SOT 6757577 SOS 1473570 HAS SOPS 1473570 HAS SOUS 873787 HAS SOUPS 873787 WITH SCORE 875260.57
AT ITER 6189 NEW BEST:: SOT 6757492 SOS 1473482 HAS SOPS 1473482 HAS SOUS 873701 HAS SOUPS 873701 WITH SCORE 875174.482
AT ITER 6241 NEW BEST:: SOT 6757458 SOS 1473174 HAS SOPS 1473174 HAS SOUS 873633 HAS SOUPS 873633 WITH SCORE 875106.174
AT ITER 6247 NEW BEST:: SOT 6757346 SOS 1474171 HAS SOPS 1474171 HAS SOUS 873631 HAS SOUPS 873631 WITH SCORE 875105.171
AT ITER 6284 NEW BEST:: SOT 6757424 SOS 1474208 HAS SOPS 1474208 HAS SOUS 873575 HAS SOUPS 873575 WITH SCORE 875049.208
AT ITER 6290 NEW BEST:: SOT 6757091 SOS 1473865 HAS SOPS 1473865 HAS SOUS 873241 HAS SOUPS 873241 WITH SCORE 874714.865
AT ITER 6340 NEW BEST:: SOT 6756960 SOS 1474313 HAS SOPS 1474313 HAS SOUS 873181 HAS SOUPS 873181 WITH SCORE 874655.313
AT ITER 6358 NEW BEST:: SOT 6756838 SOS 1474557 HAS SOPS 1474557 HAS SOUS 873059 HAS SOUPS 873059 WITH SCORE 874533.557
AT ITER 6366 NEW BEST:: SOT 6756812 SOS 1474505 HAS SOPS 1474505 HAS SOUS 873007 HAS SOUPS 873007 WITH SCORE 874481.505
AT ITER 6367 NEW BEST:: SOT 6756811 SOS 1474503 HAS SOPS 1474503 HAS SOUS 873005 HAS SOUPS 873005 WITH SCORE 874479.503
AT ITER 6458 NEW BEST:: SOT 6756806 SOS 1474493 HAS SOPS 1474493 HAS SOUS 872995 HAS SOUPS 872995 WITH SCORE 874469.493
AT ITER 6494 NEW BEST:: SOT 6756806 SOS 1474493 HAS SOPS 1474493 HAS SOUS 872937 HAS SOUPS 872937 WITH SCORE 874411.493
AT ITER 6526 NEW BEST:: SOT 6756791 SOS 1474478 HAS SOPS 1474478 HAS SOUS 872935 HAS SOUPS 872935 WITH SCORE 874409.478
AT ITER 6573 NEW BEST:: SOT 6756782 SOS 1474460 HAS SOPS 1474460 HAS SOUS 872917 HAS SOUPS 872917 WITH SCORE 874391.46
AT ITER 6580 NEW BEST:: SOT 6756782 SOS 1474372 HAS SOPS 1474372 HAS SOUS 872895 HAS SOUPS 872895 WITH SCORE 874369.372
AT ITER 6592 NEW BEST:: SOT 6756768 SOS 1474344 HAS SOPS 1474344 HAS SOUS 872872 HAS SOUPS 872872 WITH SCORE 874346.344
AT ITER 6605 NEW BEST:: SOT 6756768 SOS 1474340 HAS SOPS 1474340 HAS SOUS 872871 HAS SOUPS 872871 WITH SCORE 874345.34
AT ITER 6608 NEW BEST:: SOT 6756747 SOS 1474287 HAS SOPS 1474287 HAS SOUS 872828 HAS SOUPS 872828 WITH SCORE 874302.287
AT ITER 6609 NEW BEST:: SOT 6756634 SOS 1474061 HAS SOPS 1474061 HAS SOUS 872602 HAS SOUPS 872602 WITH SCORE 874076.061
AT ITER 6612 NEW BEST:: SOT 6756551 SOS 1474357 HAS SOPS 1474357 HAS SOUS 872601 HAS SOUPS 872601 WITH SCORE 874075.357
AT ITER 6660 NEW BEST:: SOT 6755839 SOS 1474703 HAS SOPS 1474703 HAS SOUS 872012 HAS SOUPS 872012 WITH SCORE 873486.703
AT ITER 6746 NEW BEST:: SOT 6755629 SOS 1471765 HAS SOPS 1471765 HAS SOUS 871633 HAS SOUPS 871633 WITH SCORE 873104.765
AT ITER 6747 NEW BEST:: SOT 6755296 SOS 1471099 HAS SOPS 1471099 HAS SOUS 871300 HAS SOUPS 871300 WITH SCORE 872771.099
AT ITER 6752 NEW BEST:: SOT 6755173 SOS 1470730 HAS SOPS 1470730 HAS SOUS 871054 HAS SOUPS 871054 WITH SCORE 872524.73
AT ITER 6759 NEW BEST:: SOT 6755122 SOS 1470628 HAS SOPS 1470628 HAS SOUS 870952 HAS SOUPS 870952 WITH SCORE 872422.628
AT ITER 6766 NEW BEST:: SOT 6755012 SOS 1470408 HAS SOPS 1470408 HAS SOUS 870732 HAS SOUPS 870732 WITH SCORE 872202.408
AT ITER 6772 NEW BEST:: SOT 6754848 SOS 1470443 HAS SOPS 1470443 HAS SOUS 870546 HAS SOUPS 870546 WITH SCORE 872016.443
AT ITER 6776 NEW BEST:: SOT 6754750 SOS 1470247 HAS SOPS 1470247 HAS SOUS 870350 HAS SOUPS 870350 WITH SCORE 871820.247
AT ITER 6777 NEW BEST:: SOT 6754750 SOS 1470247 HAS SOPS 1470247 HAS SOUS 870260 HAS SOUPS 870260 WITH SCORE 871730.247
AT ITER 6822 NEW BEST:: SOT 6754664 SOS 1470247 HAS SOPS 1470247 HAS SOUS 870174 HAS SOUPS 870174 WITH SCORE 871644.247
AT ITER 6823 NEW BEST:: SOT 6754657 SOS 1470299 HAS SOPS 1470299 HAS SOUS 870166 HAS SOUPS 870166 WITH SCORE 871636.299
AT ITER 6828 NEW BEST:: SOT 6754805 SOS 1471344 HAS SOPS 1471344 HAS SOUS 870147 HAS SOUPS 870147 WITH SCORE 871618.344
AT ITER 6871 NEW BEST:: SOT 6754780 SOS 1471219 HAS SOPS 1471219 HAS SOUS 870122 HAS SOUPS 870122 WITH SCORE 871593.219
AT ITER 6881 NEW BEST:: SOT 6754760 SOS 1470920 HAS SOPS 1470920 HAS SOUS 870082 HAS SOUPS 870082 WITH SCORE 871552.92
AT ITER 6911 NEW BEST:: SOT 6754760 SOS 1471031 HAS SOPS 1471031 HAS SOUS 870011 HAS SOUPS 870011 WITH SCORE 871482.031
AT ITER 6948 NEW BEST:: SOT 6754855 SOS 1470990 HAS SOPS 1470990 HAS SOUS 869969 HAS SOUPS 869969 WITH SCORE 871439.99
AT ITER 6954 NEW BEST:: SOT 6754657 SOS 1470717 HAS SOPS 1470717 HAS SOUS 869696 HAS SOUPS 869696 WITH SCORE 871166.717
AT ITER 6959 NEW BEST:: SOT 6754222 SOS 1469847 HAS SOPS 1469847 HAS SOUS 868826 HAS SOUPS 868826 WITH SCORE 870295.847
AT ITER 6965 NEW BEST:: SOT 6753748 SOS 1468899 HAS SOPS 1468899 HAS SOUS 867971 HAS SOUPS 867971 WITH SCORE 869439.899
AT ITER 6966 NEW BEST:: SOT 6753674 SOS 1468943 HAS SOPS 1468943 HAS SOUS 867905 HAS SOUPS 867905 WITH SCORE 869373.943
AT ITER 7013 NEW BEST:: SOT 6753658 SOS 1468911 HAS SOPS 1468911 HAS SOUS 867873 HAS SOUPS 867873 WITH SCORE 869341.911
AT ITER 7064 NEW BEST:: SOT 6753658 SOS 1468731 HAS SOPS 1468731 HAS SOUS 867853 HAS SOUPS 867853 WITH SCORE 869321.731
AT ITER 7068 NEW BEST:: SOT 6753624 SOS 1468614 HAS SOPS 1468614 HAS SOUS 867819 HAS SOUPS 867819 WITH SCORE 869287.614
AT ITER 7074 NEW BEST:: SOT 6753624 SOS 1468581 HAS SOPS 1468581 HAS SOUS 867808 HAS SOUPS 867808 WITH SCORE 869276.581
AT ITER 7088 NEW BEST:: SOT 6753568 SOS 1468469 HAS SOPS 1468469 HAS SOUS 867752 HAS SOUPS 867752 WITH SCORE 869220.469
AT ITER 7118 NEW BEST:: SOT 6753552 SOS 1468437 HAS SOPS 1468437 HAS SOUS 867720 HAS SOUPS 867720 WITH SCORE 869188.437
AT ITER 7140 NEW BEST:: SOT 6753389 SOS 1468596 HAS SOPS 1468596 HAS SOUS 867393 HAS SOUPS 867393 WITH SCORE 868861.596
AT ITER 7183 NEW BEST:: SOT 6753288 SOS 1468390 HAS SOPS 1468390 HAS SOUS 867190 HAS SOUPS 867190 WITH SCORE 868658.39
AT ITER 7203 NEW BEST:: SOT 6752964 SOS 1467742 HAS SOPS 1467742 HAS SOUS 866542 HAS SOUPS 866542 WITH SCORE 868009.742
AT ITER 7217 NEW BEST:: SOT 6752730 SOS 1468106 HAS SOPS 1468106 HAS SOUS 866159 HAS SOUPS 866159 WITH SCORE 867627.106
AT ITER 7219 NEW BEST:: SOT 6752586 SOS 1467596 HAS SOPS 1467596 HAS SOUS 865964 HAS SOUPS 865964 WITH SCORE 867431.596
AT ITER 7242 NEW BEST:: SOT 6752454 SOS 1467464 HAS SOPS 1467464 HAS SOUS 865832 HAS SOUPS 865832 WITH SCORE 867299.464
AT ITER 7274 NEW BEST:: SOT 6752186 SOS 1466928 HAS SOPS 1466928 HAS SOUS 865323 HAS SOUPS 865323 WITH SCORE 866789.928
AT ITER 7298 NEW BEST:: SOT 6752157 SOS 1466426 HAS SOPS 1466426 HAS SOUS 865294 HAS SOUPS 865294 WITH SCORE 866760.426
AT ITER 7303 NEW BEST:: SOT 6752087 SOS 1466286 HAS SOPS 1466286 HAS SOUS 865154 HAS SOUPS 865154 WITH SCORE 866620.286
AT ITER 7321 NEW BEST:: SOT 6752087 SOS 1466186 HAS SOPS 1466186 HAS SOUS 865154 HAS SOUPS 865154 WITH SCORE 866620.186
AT ITER 7322 NEW BEST:: SOT 6752069 SOS 1466150 HAS SOPS 1466150 HAS SOUS 865118 HAS SOUPS 865118 WITH SCORE 866584.15
AT ITER 7325 NEW BEST:: SOT 6751869 SOS 1466150 HAS SOPS 1466150 HAS SOUS 864918 HAS SOUPS 864918 WITH SCORE 866384.15
AT ITER 7327 NEW BEST:: SOT 6751856 SOS 1466124 HAS SOPS 1466124 HAS SOUS 864892 HAS SOUPS 864892 WITH SCORE 866358.124
AT ITER 7331 NEW BEST:: SOT 6751926 SOS 1465760 HAS SOPS 1465760 HAS SOUS 864843 HAS SOUPS 864843 WITH SCORE 866308.76
AT ITER 7373 NEW BEST:: SOT 6751926 SOS 1465567 HAS SOPS 1465567 HAS SOUS 864650 HAS SOUPS 864650 WITH SCORE 866115.567
AT ITER 7412 NEW BEST:: SOT 6751850 SOS 1465415 HAS SOPS 1465415 HAS SOUS 864498 HAS SOUPS 864498 WITH SCORE 865963.415
AT ITER 7422 NEW BEST:: SOT 6751419 SOS 1465499 HAS SOPS 1465499 HAS SOUS 864217 HAS SOUPS 864217 WITH SCORE 865682.499
AT ITER 7426 NEW BEST:: SOT 6751367 SOS 1464875 HAS SOPS 1464875 HAS SOUS 864113 HAS SOUPS 864113 WITH SCORE 865577.875
AT ITER 7435 NEW BEST:: SOT 6751367 SOS 1464875 HAS SOPS 1464875 HAS SOUS 864104 HAS SOUPS 864104 WITH SCORE 865568.875
AT ITER 7447 NEW BEST:: SOT 6751367 SOS 1464775 HAS SOPS 1464775 HAS SOUS 864085 HAS SOUPS 864085 WITH SCORE 865549.775
AT ITER 7492 NEW BEST:: SOT 6750944 SOS 1464939 HAS SOPS 1464939 HAS SOUS 863662 HAS SOUPS 863662 WITH SCORE 865126.939
AT ITER 7495 NEW BEST:: SOT 6750864 SOS 1465015 HAS SOPS 1465015 HAS SOUS 863501 HAS SOUPS 863501 WITH SCORE 864966.015
AT ITER 7509 NEW BEST:: SOT 6750408 SOS 1462279 HAS SOPS 1462279 HAS SOUS 862817 HAS SOUPS 862817 WITH SCORE 864279.279
AT ITER 7576 NEW BEST:: SOT 6750274 SOS 1462145 HAS SOPS 1462145 HAS SOUS 862683 HAS SOUPS 862683 WITH SCORE 864145.145
AT ITER 7597 NEW BEST:: SOT 6749265 SOS 1461195 HAS SOPS 1461195 HAS SOUS 861733 HAS SOUPS 861733 WITH SCORE 863194.195
AT ITER 7618 NEW BEST:: SOT 6749265 SOS 1460571 HAS SOPS 1460571 HAS SOUS 861681 HAS SOUPS 861681 WITH SCORE 863141.571
AT ITER 7627 NEW BEST:: SOT 6749166 SOS 1460472 HAS SOPS 1460472 HAS SOUS 861582 HAS SOUPS 861582 WITH SCORE 863042.472
AT ITER 7628 NEW BEST:: SOT 6749166 SOS 1460434 HAS SOPS 1460434 HAS SOUS 861582 HAS SOUPS 861582 WITH SCORE 863042.434
AT ITER 7629 NEW BEST:: SOT 6749102 SOS 1460306 HAS SOPS 1460306 HAS SOUS 861564 HAS SOUPS 861564 WITH SCORE 863024.306
AT ITER 7640 NEW BEST:: SOT 6749102 SOS 1458899 HAS SOPS 1458899 HAS SOUS 861564 HAS SOUPS 861564 WITH SCORE 863022.899
AT ITER 7644 NEW BEST:: SOT 6749102 SOS 1458819 HAS SOPS 1458819 HAS SOUS 861484 HAS SOUPS 861484 WITH SCORE 862942.819
AT ITER 7648 NEW BEST:: SOT 6748861 SOS 1458578 HAS SOPS 1458578 HAS SOUS 861053 HAS SOUPS 861053 WITH SCORE 862511.578
AT ITER 7679 NEW BEST:: SOT 6748683 SOS 1458400 HAS SOPS 1458400 HAS SOUS 860875 HAS SOUPS 860875 WITH SCORE 862333.4
AT ITER 7713 NEW BEST:: SOT 6748681 SOS 1458396 HAS SOPS 1458396 HAS SOUS 860871 HAS SOUPS 860871 WITH SCORE 862329.396
AT ITER 7719 NEW BEST:: SOT 6748903 SOS 1458528 HAS SOPS 1458528 HAS SOUS 860794 HAS SOUPS 860794 WITH SCORE 862252.528
AT ITER 7727 NEW BEST:: SOT 6748754 SOS 1458369 HAS SOPS 1458369 HAS SOUS 860635 HAS SOUPS 860635 WITH SCORE 862093.369
AT ITER 7729 NEW BEST:: SOT 6749043 SOS 1457042 HAS SOPS 1457042 HAS SOUS 860554 HAS SOUPS 860554 WITH SCORE 862011.042
AT ITER 7746 NEW BEST:: SOT 6748445 SOS 1456797 HAS SOPS 1456797 HAS SOUS 860309 HAS SOUPS 860309 WITH SCORE 861765.797
AT ITER 7753 NEW BEST:: SOT 6748445 SOS 1456732 HAS SOPS 1456732 HAS SOUS 860244 HAS SOUPS 860244 WITH SCORE 861700.732
AT ITER 7783 NEW BEST:: SOT 6748399 SOS 1456640 HAS SOPS 1456640 HAS SOUS 860152 HAS SOUPS 860152 WITH SCORE 861608.64
AT ITER 7788 NEW BEST:: SOT 6747976 SOS 1455548 HAS SOPS 1455548 HAS SOUS 859639 HAS SOUPS 859639 WITH SCORE 861094.548
AT ITER 7800 NEW BEST:: SOT 6748213 SOS 1454504 HAS SOPS 1454504 HAS SOUS 859523 HAS SOUPS 859523 WITH SCORE 860977.504
AT ITER 7815 NEW BEST:: SOT 6748213 SOS 1453944 HAS SOPS 1453944 HAS SOUS 859523 HAS SOUPS 859523 WITH SCORE 860976.944
AT ITER 7821 NEW BEST:: SOT 6748213 SOS 1455579 HAS SOPS 1455579 HAS SOUS 859338 HAS SOUPS 859338 WITH SCORE 860793.579
AT ITER 7822 NEW BEST:: SOT 6748163 SOS 1455479 HAS SOPS 1455479 HAS SOUS 859238 HAS SOUPS 859238 WITH SCORE 860693.479
AT ITER 7828 NEW BEST:: SOT 6748043 SOS 1455419 HAS SOPS 1455419 HAS SOUS 859178 HAS SOUPS 859178 WITH SCORE 860633.419
AT ITER 7829 NEW BEST:: SOT 6748221 SOS 1455775 HAS SOPS 1455775 HAS SOUS 858935 HAS SOUPS 858935 WITH SCORE 860390.775
AT ITER 7840 NEW BEST:: SOT 6747616 SOS 1455170 HAS SOPS 1455170 HAS SOUS 858330 HAS SOUPS 858330 WITH SCORE 859785.17
AT ITER 7861 NEW BEST:: SOT 6747616 SOS 1455170 HAS SOPS 1455170 HAS SOUS 858233 HAS SOUPS 858233 WITH SCORE 859688.17
AT ITER 7869 NEW BEST:: SOT 6747493 SOS 1454924 HAS SOPS 1454924 HAS SOUS 857990 HAS SOUPS 857990 WITH SCORE 859444.924
AT ITER 7872 NEW BEST:: SOT 6747238 SOS 1454842 HAS SOPS 1454842 HAS SOUS 857307 HAS SOUPS 857307 WITH SCORE 858761.842
AT ITER 7892 NEW BEST:: SOT 6747028 SOS 1453937 HAS SOPS 1453937 HAS SOUS 856714 HAS SOUPS 856714 WITH SCORE 858167.937
AT ITER 7904 NEW BEST:: SOT 6746915 SOS 1453502 HAS SOPS 1453502 HAS SOUS 856601 HAS SOUPS 856601 WITH SCORE 858054.502
AT ITER 7918 NEW BEST:: SOT 6746915 SOS 1453861 HAS SOPS 1453861 HAS SOUS 856600 HAS SOUPS 856600 WITH SCORE 858053.861
AT ITER 7929 NEW BEST:: SOT 6746905 SOS 1453851 HAS SOPS 1453851 HAS SOUS 856599 HAS SOUPS 856599 WITH SCORE 858052.851
AT ITER 7944 NEW BEST:: SOT 6746904 SOS 1453849 HAS SOPS 1453849 HAS SOUS 856597 HAS SOUPS 856597 WITH SCORE 858050.849
AT ITER 7947 NEW BEST:: SOT 6746717 SOS 1453475 HAS SOPS 1453475 HAS SOUS 856223 HAS SOUPS 856223 WITH SCORE 857676.475
AT ITER 8010 NEW BEST:: SOT 6746474 SOS 1452989 HAS SOPS 1452989 HAS SOUS 855896 HAS SOUPS 855896 WITH SCORE 857348.989
AT ITER 8012 NEW BEST:: SOT 6746647 SOS 1453335 HAS SOPS 1453335 HAS SOUS 855540 HAS SOUPS 855540 WITH SCORE 856993.335
AT ITER 8030 NEW BEST:: SOT 6746647 SOS 1453326 HAS SOPS 1453326 HAS SOUS 855540 HAS SOUPS 855540 WITH SCORE 856993.326
AT ITER 8036 NEW BEST:: SOT 6746647 SOS 1453171 HAS SOPS 1453171 HAS SOUS 855540 HAS SOUPS 855540 WITH SCORE 856993.171
AT ITER 8064 NEW BEST:: SOT 6746508 SOS 1453492 HAS SOPS 1453492 HAS SOUS 855401 HAS SOUPS 855401 WITH SCORE 856854.492
AT ITER 8073 NEW BEST:: SOT 6746397 SOS 1453342 HAS SOPS 1453342 HAS SOUS 855218 HAS SOUPS 855218 WITH SCORE 856671.342
AT ITER 8083 NEW BEST:: SOT 6746185 SOS 1453333 HAS SOPS 1453333 HAS SOUS 855188 HAS SOUPS 855188 WITH SCORE 856641.333
AT ITER 8087 NEW BEST:: SOT 6746129 SOS 1453285 HAS SOPS 1453285 HAS SOUS 855136 HAS SOUPS 855136 WITH SCORE 856589.285
AT ITER 8113 NEW BEST:: SOT 6746129 SOS 1453065 HAS SOPS 1453065 HAS SOUS 854846 HAS SOUPS 854846 WITH SCORE 856299.065
AT ITER 8118 NEW BEST:: SOT 6746129 SOS 1452949 HAS SOPS 1452949 HAS SOUS 854730 HAS SOUPS 854730 WITH SCORE 856182.949
AT ITER 8131 NEW BEST:: SOT 6745926 SOS 1452543 HAS SOPS 1452543 HAS SOUS 854324 HAS SOUPS 854324 WITH SCORE 855776.543
AT ITER 8134 NEW BEST:: SOT 6745716 SOS 1452333 HAS SOPS 1452333 HAS SOUS 854114 HAS SOUPS 854114 WITH SCORE 855566.333
AT ITER 8182 NEW BEST:: SOT 6745676 SOS 1452373 HAS SOPS 1452373 HAS SOUS 854086 HAS SOUPS 854086 WITH SCORE 855538.373
AT ITER 8188 NEW BEST:: SOT 6745597 SOS 1452368 HAS SOPS 1452368 HAS SOUS 854046 HAS SOUPS 854046 WITH SCORE 855498.368
AT ITER 8221 NEW BEST:: SOT 6745560 SOS 1453114 HAS SOPS 1453114 HAS SOUS 854009 HAS SOUPS 854009 WITH SCORE 855462.114
AT ITER 8224 NEW BEST:: SOT 6745478 SOS 1452950 HAS SOPS 1452950 HAS SOUS 853551 HAS SOUPS 853551 WITH SCORE 855003.95
AT ITER 8322 NEW BEST:: SOT 6745440 SOS 1452912 HAS SOPS 1452912 HAS SOUS 853513 HAS SOUPS 853513 WITH SCORE 854965.912
AT ITER 8333 NEW BEST:: SOT 6745380 SOS 1452903 HAS SOPS 1452903 HAS SOUS 853490 HAS SOUPS 853490 WITH SCORE 854942.903
AT ITER 8334 NEW BEST:: SOT 6745190 SOS 1452713 HAS SOPS 1452713 HAS SOUS 853300 HAS SOUPS 853300 WITH SCORE 854752.713
AT ITER 8342 NEW BEST:: SOT 6745138 SOS 1452710 HAS SOPS 1452710 HAS SOUS 853299 HAS SOUPS 853299 WITH SCORE 854751.71
AT ITER 8344 NEW BEST:: SOT 6745138 SOS 1452630 HAS SOPS 1452630 HAS SOUS 853219 HAS SOUPS 853219 WITH SCORE 854671.63
AT ITER 8364 NEW BEST:: SOT 6745138 SOS 1452630 HAS SOPS 1452630 HAS SOUS 853218 HAS SOUPS 853218 WITH SCORE 854670.63
AT ITER 8369 NEW BEST:: SOT 6745123 SOS 1452713 HAS SOPS 1452713 HAS SOUS 853090 HAS SOUPS 853090 WITH SCORE 854542.713
AT ITER 8392 NEW BEST:: SOT 6745114 SOS 1452467 HAS SOPS 1452467 HAS SOUS 852996 HAS SOUPS 852996 WITH SCORE 854448.467
AT ITER 8415 NEW BEST:: SOT 6744962 SOS 1452163 HAS SOPS 1452163 HAS SOUS 852692 HAS SOUPS 852692 WITH SCORE 854144.163
AT ITER 8442 NEW BEST:: SOT 6744882 SOS 1452003 HAS SOPS 1452003 HAS SOUS 852532 HAS SOUPS 852532 WITH SCORE 853984.003
AT ITER 8446 NEW BEST:: SOT 6744882 SOS 1454535 HAS SOPS 1454535 HAS SOUS 852524 HAS SOUPS 852524 WITH SCORE 853978.535
AT ITER 8450 NEW BEST:: SOT 6742309 SOS 1452933 HAS SOPS 1452933 HAS SOUS 851356 HAS SOUPS 851356 WITH SCORE 852808.933
AT ITER 8452 NEW BEST:: SOT 6742076 SOS 1453337 HAS SOPS 1453337 HAS SOUS 850890 HAS SOUPS 850890 WITH SCORE 852343.337
AT ITER 8467 NEW BEST:: SOT 6742076 SOS 1453255 HAS SOPS 1453255 HAS SOUS 850890 HAS SOUPS 850890 WITH SCORE 852343.255
AT ITER 8470 NEW BEST:: SOT 6741600 SOS 1452735 HAS SOPS 1452735 HAS SOUS 850476 HAS SOUPS 850476 WITH SCORE 851928.735
AT ITER 8475 NEW BEST:: SOT 6741370 SOS 1452532 HAS SOPS 1452532 HAS SOUS 850470 HAS SOUPS 850470 WITH SCORE 851922.532
AT ITER 8485 NEW BEST:: SOT 6741320 SOS 1452507 HAS SOPS 1452507 HAS SOUS 850445 HAS SOUPS 850445 WITH SCORE 851897.507
AT ITER 8488 NEW BEST:: SOT 6741325 SOS 1452489 HAS SOPS 1452489 HAS SOUS 850427 HAS SOUPS 850427 WITH SCORE 851879.489
AT ITER 8489 NEW BEST:: SOT 6740993 SOS 1453253 HAS SOPS 1453253 HAS SOUS 850095 HAS SOUPS 850095 WITH SCORE 851548.253
AT ITER 8494 NEW BEST:: SOT 6740798 SOS 1452863 HAS SOPS 1452863 HAS SOUS 849705 HAS SOUPS 849705 WITH SCORE 851157.863
AT ITER 8496 NEW BEST:: SOT 6740793 SOS 1452858 HAS SOPS 1452858 HAS SOUS 849700 HAS SOUPS 849700 WITH SCORE 851152.858
AT ITER 8513 NEW BEST:: SOT 6740793 SOS 1452847 HAS SOPS 1452847 HAS SOUS 849699 HAS SOUPS 849699 WITH SCORE 851151.847
AT ITER 8529 NEW BEST:: SOT 6740525 SOS 1452445 HAS SOPS 1452445 HAS SOUS 849297 HAS SOUPS 849297 WITH SCORE 850749.445
AT ITER 8548 NEW BEST:: SOT 6740340 SOS 1452075 HAS SOPS 1452075 HAS SOUS 849216 HAS SOUPS 849216 WITH SCORE 850668.075
AT ITER 8595 NEW BEST:: SOT 6740340 SOS 1452196 HAS SOPS 1452196 HAS SOUS 849215 HAS SOUPS 849215 WITH SCORE 850667.196
AT ITER 8604 NEW BEST:: SOT 6739552 SOS 1452045 HAS SOPS 1452045 HAS SOUS 848956 HAS SOUPS 848956 WITH SCORE 850408.045
AT ITER 8607 NEW BEST:: SOT 6739552 SOS 1452045 HAS SOPS 1452045 HAS SOUS 848914 HAS SOUPS 848914 WITH SCORE 850366.045
AT ITER 8619 NEW BEST:: SOT 6739527 SOS 1452258 HAS SOPS 1452258 HAS SOUS 848655 HAS SOUPS 848655 WITH SCORE 850107.258
AT ITER 8668 NEW BEST:: SOT 6739527 SOS 1452168 HAS SOPS 1452168 HAS SOUS 848610 HAS SOUPS 848610 WITH SCORE 850062.168
AT ITER 8692 NEW BEST:: SOT 6739527 SOS 1452072 HAS SOPS 1452072 HAS SOUS 848549 HAS SOUPS 848549 WITH SCORE 850001.072
AT ITER 8726 NEW BEST:: SOT 6738867 SOS 1451538 HAS SOPS 1451538 HAS SOUS 847977 HAS SOUPS 847977 WITH SCORE 849428.538
AT ITER 8747 NEW BEST:: SOT 6738820 SOS 1451444 HAS SOPS 1451444 HAS SOUS 847883 HAS SOUPS 847883 WITH SCORE 849334.444
AT ITER 8782 NEW BEST:: SOT 6738464 SOS 1449690 HAS SOPS 1449690 HAS SOUS 847707 HAS SOUPS 847707 WITH SCORE 849156.69
AT ITER 8783 NEW BEST:: SOT 6738553 SOS 1449603 HAS SOPS 1449603 HAS SOUS 847620 HAS SOUPS 847620 WITH SCORE 849069.603
AT ITER 8825 NEW BEST:: SOT 6738544 SOS 1447983 HAS SOPS 1447983 HAS SOUS 847602 HAS SOUPS 847602 WITH SCORE 849049.983
AT ITER 8829 NEW BEST:: SOT 6738543 SOS 1447981 HAS SOPS 1447981 HAS SOUS 847600 HAS SOUPS 847600 WITH SCORE 849047.981
AT ITER 8835 NEW BEST:: SOT 6738535 SOS 1447965 HAS SOPS 1447965 HAS SOUS 847588 HAS SOUPS 847588 WITH SCORE 849035.965
AT ITER 8846 NEW BEST:: SOT 6738055 SOS 1447980 HAS SOPS 1447980 HAS SOUS 847329 HAS SOUPS 847329 WITH SCORE 848776.98
AT ITER 8857 NEW BEST:: SOT 6737975 SOS 1447820 HAS SOPS 1447820 HAS SOUS 847249 HAS SOUPS 847249 WITH SCORE 848696.82
AT ITER 8869 NEW BEST:: SOT 6737865 SOS 1448104 HAS SOPS 1448104 HAS SOUS 847153 HAS SOUPS 847153 WITH SCORE 848601.104
AT ITER 8877 NEW BEST:: SOT 6737697 SOS 1447012 HAS SOPS 1447012 HAS SOUS 846901 HAS SOUPS 846901 WITH SCORE 848348.012
AT ITER 8909 NEW BEST:: SOT 6737697 SOS 1447001 HAS SOPS 1447001 HAS SOUS 846901 HAS SOUPS 846901 WITH SCORE 848348.001
AT ITER 9073 NEW BEST:: SOT 6737401 SOS 1451827 HAS SOPS 1451827 HAS SOUS 846309 HAS SOUPS 846309 WITH SCORE 847760.827
AT ITER 9084 NEW BEST:: SOT 6737327 SOS 1451679 HAS SOPS 1451679 HAS SOUS 846308 HAS SOUPS 846308 WITH SCORE 847759.679
AT ITER 9089 NEW BEST:: SOT 6736727 SOS 1451159 HAS SOPS 1451159 HAS SOUS 845773 HAS SOUPS 845773 WITH SCORE 847224.159
AT ITER 9093 NEW BEST:: SOT 6736711 SOS 1451143 HAS SOPS 1451143 HAS SOUS 845757 HAS SOUPS 845757 WITH SCORE 847208.143
AT ITER 9119 NEW BEST:: SOT 6736703 SOS 1451055 HAS SOPS 1451055 HAS SOUS 845741 HAS SOUPS 845741 WITH SCORE 847192.055
AT ITER 9124 NEW BEST:: SOT 6736703 SOS 1451055 HAS SOPS 1451055 HAS SOUS 845740 HAS SOUPS 845740 WITH SCORE 847191.055
AT ITER 9131 NEW BEST:: SOT 6736607 SOS 1450863 HAS SOPS 1450863 HAS SOUS 845644 HAS SOUPS 845644 WITH SCORE 847094.863
AT ITER 9132 NEW BEST:: SOT 6736590 SOS 1450829 HAS SOPS 1450829 HAS SOUS 845610 HAS SOUPS 845610 WITH SCORE 847060.829
AT ITER 9133 NEW BEST:: SOT 6736566 SOS 1450781 HAS SOPS 1450781 HAS SOUS 845427 HAS SOUPS 845427 WITH SCORE 846877.781
AT ITER 9140 NEW BEST:: SOT 6736515 SOS 1450773 HAS SOPS 1450773 HAS SOUS 845419 HAS SOUPS 845419 WITH SCORE 846869.773
AT ITER 9146 NEW BEST:: SOT 6736691 SOS 1452492 HAS SOPS 1452492 HAS SOUS 845292 HAS SOUPS 845292 WITH SCORE 846744.492
AT ITER 9167 NEW BEST:: SOT 6736684 SOS 1452421 HAS SOPS 1452421 HAS SOUS 845221 HAS SOUPS 845221 WITH SCORE 846673.421
AT ITER 9195 NEW BEST:: SOT 6736388 SOS 1452270 HAS SOPS 1452270 HAS SOUS 844925 HAS SOUPS 844925 WITH SCORE 846377.27
AT ITER 9196 NEW BEST:: SOT 6736122 SOS 1451924 HAS SOPS 1451924 HAS SOUS 844759 HAS SOUPS 844759 WITH SCORE 846210.924
AT ITER 9210 NEW BEST:: SOT 6736163 SOS 1451696 HAS SOPS 1451696 HAS SOUS 844663 HAS SOUPS 844663 WITH SCORE 846114.696
AT ITER 9223 NEW BEST:: SOT 6736535 SOS 1451733 HAS SOPS 1451733 HAS SOUS 844621 HAS SOUPS 844621 WITH SCORE 846072.733
AT ITER 9292 NEW BEST:: SOT 6736535 SOS 1451113 HAS SOPS 1451113 HAS SOUS 844559 HAS SOUPS 844559 WITH SCORE 846010.113
AT ITER 9324 NEW BEST:: SOT 6735803 SOS 1450786 HAS SOPS 1450786 HAS SOUS 844232 HAS SOUPS 844232 WITH SCORE 845682.786
AT ITER 9347 NEW BEST:: SOT 6735763 SOS 1450706 HAS SOPS 1450706 HAS SOUS 844197 HAS SOUPS 844197 WITH SCORE 845647.706
AT ITER 9364 NEW BEST:: SOT 6735629 SOS 1450572 HAS SOPS 1450572 HAS SOUS 844063 HAS SOUPS 844063 WITH SCORE 845513.572
AT ITER 9450 NEW BEST:: SOT 6735536 SOS 1450486 HAS SOPS 1450486 HAS SOUS 843977 HAS SOUPS 843977 WITH SCORE 845427.486
AT ITER 9491 NEW BEST:: SOT 6735536 SOS 1449688 HAS SOPS 1449688 HAS SOUS 843977 HAS SOUPS 843977 WITH SCORE 845426.688
AT ITER 9538 NEW BEST:: SOT 6735353 SOS 1450002 HAS SOPS 1450002 HAS SOUS 843951 HAS SOUPS 843951 WITH SCORE 845401.002
AT ITER 9571 NEW BEST:: SOT 6735198 SOS 1449692 HAS SOPS 1449692 HAS SOUS 843907 HAS SOUPS 843907 WITH SCORE 845356.692
AT ITER 9580 NEW BEST:: SOT 6735198 SOS 1449692 HAS SOPS 1449692 HAS SOUS 843881 HAS SOUPS 843881 WITH SCORE 845330.692
AT ITER 9606 NEW BEST:: SOT 6735198 SOS 1449580 HAS SOPS 1449580 HAS SOUS 843881 HAS SOUPS 843881 WITH SCORE 845330.58
AT ITER 9614 NEW BEST:: SOT 6735197 SOS 1449578 HAS SOPS 1449578 HAS SOUS 843879 HAS SOUPS 843879 WITH SCORE 845328.578
AT ITER 9653 NEW BEST:: SOT 6735170 SOS 1449550 HAS SOPS 1449550 HAS SOUS 843851 HAS SOUPS 843851 WITH SCORE 845300.55
AT ITER 9686 NEW BEST:: SOT 6735170 SOS 1449550 HAS SOPS 1449550 HAS SOUS 843774 HAS SOUPS 843774 WITH SCORE 845223.55
AT ITER 9688 NEW BEST:: SOT 6735014 SOS 1449296 HAS SOPS 1449296 HAS SOUS 843574 HAS SOUPS 843574 WITH SCORE 845023.296
AT ITER 9797 NEW BEST:: SOT 6734726 SOS 1448962 HAS SOPS 1448962 HAS SOUS 843286 HAS SOUPS 843286 WITH SCORE 844734.962
AT ITER 9826 NEW BEST:: SOT 6734675 SOS 1453130 HAS SOPS 1453130 HAS SOUS 843184 HAS SOUPS 843184 WITH SCORE 844637.13
AT ITER 9830 NEW BEST:: SOT 6734675 SOS 1452912 HAS SOPS 1452912 HAS SOUS 842966 HAS SOUPS 842966 WITH SCORE 844418.912
AT ITER 9860 NEW BEST:: SOT 6734655 SOS 1452669 HAS SOPS 1452669 HAS SOUS 842766 HAS SOUPS 842766 WITH SCORE 844218.669
AT ITER 9888 NEW BEST:: SOT 6734657 SOS 1452673 HAS SOPS 1452673 HAS SOUS 842499 HAS SOUPS 842499 WITH SCORE 843951.673
AT ITER 9905 NEW BEST:: SOT 6734322 SOS 1453007 HAS SOPS 1453007 HAS SOUS 842498 HAS SOUPS 842498 WITH SCORE 843951.007
AT ITER 9927 NEW BEST:: SOT 6734322 SOS 1452947 HAS SOPS 1452947 HAS SOUS 842483 HAS SOUPS 842483 WITH SCORE 843935.947
AT ITER 9929 NEW BEST:: SOT 6734431 SOS 1453165 HAS SOPS 1453165 HAS SOUS 842430 HAS SOUPS 842430 WITH SCORE 843883.165
AT ITER 9946 NEW BEST:: SOT 6734364 SOS 1453181 HAS SOPS 1453181 HAS SOUS 842363 HAS SOUPS 842363 WITH SCORE 843816.181
AT ITER 9958 NEW BEST:: SOT 6734332 SOS 1453117 HAS SOPS 1453117 HAS SOUS 842348 HAS SOUPS 842348 WITH SCORE 843801.117
AT ITER 9966 NEW BEST:: SOT 6734296 SOS 1452931 HAS SOPS 1452931 HAS SOUS 842162 HAS SOUPS 842162 WITH SCORE 843614.931
AT ITER 9980 NEW BEST:: SOT 6734149 SOS 1452637 HAS SOPS 1452637 HAS SOUS 841915 HAS SOUPS 841915 WITH SCORE 843367.637

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="DLCround-PT-07b"
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 DLCround-PT-07b, 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 r048-ebro-158902542300528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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