Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 13K Feb 26 06:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 06:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 06:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 07:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 07:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 06:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 06:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678467570128

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

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14035084 SOS 8812733 HAS SOPS 8810888 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631500.733
AT ITER 2 NEW BEST:: SOT 14035084 SOS 8807627 HAS SOPS 8805782 HAS SOUS 1624464 HAS SOUPS 1622619 WITH SCORE 1631426.627
AT ITER 4 NEW BEST:: SOT 14035084 SOS 8804815 HAS SOPS 8802970 HAS SOUS 1624426 HAS SOUPS 1622581 WITH SCORE 1631385.815
AT ITER 28 NEW BEST:: SOT 14035084 SOS 8804589 HAS SOPS 8802744 HAS SOUS 1624313 HAS SOUPS 1622468 WITH SCORE 1631272.589
AT ITER 31 NEW BEST:: SOT 14031240 SOS 8800745 HAS SOPS 8798900 HAS SOUS 1621496 HAS SOUPS 1619651 WITH SCORE 1628451.745
AT ITER 39 NEW BEST:: SOT 14031373 SOS 8800878 HAS SOPS 8799033 HAS SOUS 1611759 HAS SOUPS 1609914 WITH SCORE 1618714.878
AT ITER 55 NEW BEST:: SOT 14031373 SOS 8797030 HAS SOPS 8795185 HAS SOUS 1611707 HAS SOUPS 1609862 WITH SCORE 1618659.03
AT ITER 61 NEW BEST:: SOT 14031482 SOS 8797139 HAS SOPS 8795294 HAS SOUS 1603697 HAS SOUPS 1601852 WITH SCORE 1610649.139
AT ITER 64 NEW BEST:: SOT 14031482 SOS 8797139 HAS SOPS 8795294 HAS SOUS 1603658 HAS SOUPS 1601813 WITH SCORE 1610610.139
AT ITER 73 NEW BEST:: SOT 14031482 SOS 8790371 HAS SOPS 8788526 HAS SOUS 1603658 HAS SOUPS 1601813 WITH SCORE 1610603.371
AT ITER 74 NEW BEST:: SOT 14027970 SOS 8786859 HAS SOPS 8785014 HAS SOUS 1600186 HAS SOUPS 1598341 WITH SCORE 1607127.859
AT ITER 78 NEW BEST:: SOT 14027970 SOS 8786859 HAS SOPS 8785014 HAS SOUS 1600179 HAS SOUPS 1598334 WITH SCORE 1607120.859
AT ITER 87 NEW BEST:: SOT 14028764 SOS 8787653 HAS SOPS 8785808 HAS SOUS 1599206 HAS SOUPS 1597361 WITH SCORE 1606148.653
AT ITER 89 NEW BEST:: SOT 14024899 SOS 8784053 HAS SOPS 8782261 HAS SOUS 1590253 HAS SOUPS 1588461 WITH SCORE 1597245.053
AT ITER 90 NEW BEST:: SOT 14023802 SOS 8783292 HAS SOPS 8781500 HAS SOUS 1588110 HAS SOUPS 1586318 WITH SCORE 1595101.292
AT ITER 108 NEW BEST:: SOT 14023802 SOS 8769528 HAS SOPS 8767736 HAS SOUS 1587924 HAS SOUPS 1586132 WITH SCORE 1594901.528
AT ITER 113 NEW BEST:: SOT 14023802 SOS 8769506 HAS SOPS 8767714 HAS SOUS 1587924 HAS SOUPS 1586132 WITH SCORE 1594901.506
AT ITER 115 NEW BEST:: SOT 14023802 SOS 8767130 HAS SOPS 8765338 HAS SOUS 1587924 HAS SOUPS 1586132 WITH SCORE 1594899.13
AT ITER 116 NEW BEST:: SOT 14023587 SOS 8766915 HAS SOPS 8765123 HAS SOUS 1587491 HAS SOUPS 1585699 WITH SCORE 1594465.915
AT ITER 123 NEW BEST:: SOT 14024480 SOS 8767808 HAS SOPS 8766016 HAS SOUS 1586263 HAS SOUPS 1584471 WITH SCORE 1593238.808
AT ITER 136 NEW BEST:: SOT 14024950 SOS 8768278 HAS SOPS 8766486 HAS SOUS 1586259 HAS SOUPS 1584467 WITH SCORE 1593235.278
AT ITER 147 NEW BEST:: SOT 14024950 SOS 8768165 HAS SOPS 8766373 HAS SOUS 1586146 HAS SOUPS 1584354 WITH SCORE 1593122.165
AT ITER 157 NEW BEST:: SOT 14024950 SOS 8768101 HAS SOPS 8766309 HAS SOUS 1586082 HAS SOUPS 1584290 WITH SCORE 1593058.101
AT ITER 160 NEW BEST:: SOT 14021398 SOS 8764549 HAS SOPS 8762757 HAS SOUS 1582512 HAS SOUPS 1580720 WITH SCORE 1589484.549
AT ITER 166 NEW BEST:: SOT 14020940 SOS 8764091 HAS SOPS 8762299 HAS SOUS 1581067 HAS SOUPS 1579275 WITH SCORE 1588039.091
AT ITER 178 NEW BEST:: SOT 14020940 SOS 8764091 HAS SOPS 8762299 HAS SOUS 1581062 HAS SOUPS 1579270 WITH SCORE 1588034.091
AT ITER 194 NEW BEST:: SOT 14019027 SOS 8762178 HAS SOPS 8760386 HAS SOUS 1577389 HAS SOUPS 1575597 WITH SCORE 1584359.178
AT ITER 228 NEW BEST:: SOT 14019027 SOS 8747452 HAS SOPS 8745660 HAS SOUS 1577190 HAS SOUPS 1575398 WITH SCORE 1584145.452
AT ITER 262 NEW BEST:: SOT 14019027 SOS 8747452 HAS SOPS 8745660 HAS SOUS 1577002 HAS SOUPS 1575210 WITH SCORE 1583957.452
AT ITER 266 NEW BEST:: SOT 14016787 SOS 8745212 HAS SOPS 8743420 HAS SOUS 1574769 HAS SOUPS 1572977 WITH SCORE 1581722.212
AT ITER 276 NEW BEST:: SOT 14022423 SOS 8751672 HAS SOPS 8749880 HAS SOUS 1572050 HAS SOUPS 1570258 WITH SCORE 1579009.672
AT ITER 280 NEW BEST:: SOT 14022423 SOS 8751668 HAS SOPS 8749876 HAS SOUS 1572050 HAS SOUPS 1570258 WITH SCORE 1579009.668
AT ITER 285 NEW BEST:: SOT 14022423 SOS 8751668 HAS SOPS 8749876 HAS SOUS 1572032 HAS SOUPS 1570240 WITH SCORE 1578991.668
AT ITER 287 NEW BEST:: SOT 14023759 SOS 8753004 HAS SOPS 8751212 HAS SOUS 1571444 HAS SOUPS 1569652 WITH SCORE 1578405.004
AT ITER 288 NEW BEST:: SOT 14023759 SOS 8752987 HAS SOPS 8751212 HAS SOUS 1571376 HAS SOUPS 1569601 WITH SCORE 1578353.987
AT ITER 295 NEW BEST:: SOT 14023764 SOS 8753063 HAS SOPS 8751217 HAS SOUS 1570159 HAS SOUPS 1568313 WITH SCORE 1577066.063
AT ITER 299 NEW BEST:: SOT 14023235 SOS 8752594 HAS SOPS 8750748 HAS SOUS 1565377 HAS SOUPS 1563531 WITH SCORE 1572283.594
AT ITER 304 NEW BEST:: SOT 14023235 SOS 8346577 HAS SOPS 8344731 HAS SOUS 1565253 HAS SOUPS 1563407 WITH SCORE 1571753.577
AT ITER 306 NEW BEST:: SOT 14029318 SOS 8353728 HAS SOPS 8351882 HAS SOUS 1564919 HAS SOUPS 1563073 WITH SCORE 1571426.728
AT ITER 324 NEW BEST:: SOT 14029318 SOS 8353728 HAS SOPS 8351882 HAS SOUS 1564837 HAS SOUPS 1562991 WITH SCORE 1571344.728
AT ITER 334 NEW BEST:: SOT 14029318 SOS 8350812 HAS SOPS 8348966 HAS SOUS 1564801 HAS SOUPS 1562955 WITH SCORE 1571305.812
AT ITER 341 NEW BEST:: SOT 14026488 SOS 8347982 HAS SOPS 8346136 HAS SOUS 1562895 HAS SOUPS 1561049 WITH SCORE 1569396.982
AT ITER 356 NEW BEST:: SOT 14026488 SOS 8345102 HAS SOPS 8343256 HAS SOUS 1562895 HAS SOUPS 1561049 WITH SCORE 1569394.102
AT ITER 359 NEW BEST:: SOT 14021073 SOS 8339687 HAS SOPS 8337841 HAS SOUS 1557537 HAS SOUPS 1555691 WITH SCORE 1564030.687
AT ITER 363 NEW BEST:: SOT 14021173 SOS 8339787 HAS SOPS 8337941 HAS SOUS 1553085 HAS SOUPS 1551239 WITH SCORE 1559578.787
AT ITER 369 NEW BEST:: SOT 14026763 SOS 8346373 HAS SOPS 8344527 HAS SOUS 1552692 HAS SOUPS 1550846 WITH SCORE 1559192.373
AT ITER 375 NEW BEST:: SOT 14025124 SOS 8344734 HAS SOPS 8342888 HAS SOUS 1546447 HAS SOUPS 1544601 WITH SCORE 1552945.734
AT ITER 377 NEW BEST:: SOT 14025273 SOS 8342799 HAS SOPS 8340953 HAS SOUS 1546393 HAS SOUPS 1544547 WITH SCORE 1552889.799
AT ITER 378 NEW BEST:: SOT 14025273 SOS 8342799 HAS SOPS 8340953 HAS SOUS 1546336 HAS SOUPS 1544490 WITH SCORE 1552832.799
AT ITER 381 NEW BEST:: SOT 14025302 SOS 8342828 HAS SOPS 8340982 HAS SOUS 1546329 HAS SOUPS 1544483 WITH SCORE 1552825.828
AT ITER 384 NEW BEST:: SOT 14025302 SOS 8336096 HAS SOPS 8334250 HAS SOUS 1546287 HAS SOUPS 1544441 WITH SCORE 1552777.096
AT ITER 392 NEW BEST:: SOT 14032442 SOS 8343512 HAS SOPS 8341666 HAS SOUS 1543879 HAS SOUPS 1542033 WITH SCORE 1550376.512
AT ITER 404 NEW BEST:: SOT 14032554 SOS 8343624 HAS SOPS 8341778 HAS SOUS 1536733 HAS SOUPS 1534887 WITH SCORE 1543230.624
AT ITER 413 NEW BEST:: SOT 14031339 SOS 8342409 HAS SOPS 8340563 HAS SOUS 1535625 HAS SOUPS 1533779 WITH SCORE 1542121.409
AT ITER 415 NEW BEST:: SOT 14031166 SOS 8339574 HAS SOPS 8337728 HAS SOUS 1535548 HAS SOUPS 1533702 WITH SCORE 1542041.574
AT ITER 419 NEW BEST:: SOT 14020323 SOS 8329999 HAS SOPS 8328153 HAS SOUS 1522880 HAS SOUPS 1521034 WITH SCORE 1529363.999
AT ITER 431 NEW BEST:: SOT 14027647 SOS 8337585 HAS SOPS 8335739 HAS SOUS 1520949 HAS SOUPS 1519103 WITH SCORE 1527440.585
AT ITER 435 NEW BEST:: SOT 14027647 SOS 8337474 HAS SOPS 8335628 HAS SOUS 1520820 HAS SOUPS 1518974 WITH SCORE 1527311.474
AT ITER 439 NEW BEST:: SOT 14027647 SOS 8339058 HAS SOPS 8337212 HAS SOUS 1520798 HAS SOUPS 1518952 WITH SCORE 1527291.058
AT ITER 442 NEW BEST:: SOT 14030341 SOS 8410089 HAS SOPS 8405845 HAS SOUS 1519149 HAS SOUPS 1516760 WITH SCORE 1525170.089
AT ITER 452 NEW BEST:: SOT 14030341 SOS 8410089 HAS SOPS 8405845 HAS SOUS 1518964 HAS SOUPS 1516575 WITH SCORE 1524985.089
AT ITER 457 NEW BEST:: SOT 14030341 SOS 8416234 HAS SOPS 8411990 HAS SOUS 1518908 HAS SOUPS 1516519 WITH SCORE 1524935.234
AT ITER 458 NEW BEST:: SOT 14030341 SOS 8414866 HAS SOPS 8410622 HAS SOUS 1518908 HAS SOUPS 1516519 WITH SCORE 1524933.866
AT ITER 463 NEW BEST:: SOT 14024235 SOS 8413596 HAS SOPS 8409352 HAS SOUS 1514940 HAS SOUPS 1512551 WITH SCORE 1520964.596
AT ITER 465 NEW BEST:: SOT 14033865 SOS 8423918 HAS SOPS 8419674 HAS SOUS 1513849 HAS SOUPS 1511460 WITH SCORE 1519883.918
AT ITER 470 NEW BEST:: SOT 14031151 SOS 8439433 HAS SOPS 8435189 HAS SOUS 1512697 HAS SOUPS 1510308 WITH SCORE 1518747.433
AT ITER 477 NEW BEST:: SOT 14028608 SOS 8436890 HAS SOPS 8432646 HAS SOUS 1511233 HAS SOUPS 1508844 WITH SCORE 1517280.89
AT ITER 485 NEW BEST:: SOT 13894438 SOS 11272104 HAS SOPS 11269250 HAS SOUS 1379536 HAS SOUPS 1378003 WITH SCORE 1389275.104
AT ITER 488 NEW BEST:: SOT 13899553 SOS 11278275 HAS SOPS 11275421 HAS SOUS 1366890 HAS SOUPS 1365357 WITH SCORE 1376635.275
AT ITER 490 NEW BEST:: SOT 13899177 SOS 11277899 HAS SOPS 11275045 HAS SOUS 1364508 HAS SOUPS 1362975 WITH SCORE 1374252.899
AT ITER 493 NEW BEST:: SOT 13899177 SOS 11274875 HAS SOPS 11272021 HAS SOUS 1364508 HAS SOUPS 1362975 WITH SCORE 1374249.875
AT ITER 501 NEW BEST:: SOT 13899177 SOS 11274815 HAS SOPS 11271961 HAS SOUS 1364478 HAS SOUPS 1362945 WITH SCORE 1374219.815
AT ITER 503 NEW BEST:: SOT 13901100 SOS 11277878 HAS SOPS 11275024 HAS SOUS 1337638 HAS SOUPS 1336105 WITH SCORE 1347382.878
AT ITER 505 NEW BEST:: SOT 13901100 SOS 11277854 HAS SOPS 11275000 HAS SOUS 1337638 HAS SOUPS 1336105 WITH SCORE 1347382.854
AT ITER 506 NEW BEST:: SOT 13901100 SOS 11273966 HAS SOPS 11271112 HAS SOUS 1337638 HAS SOUPS 1336105 WITH SCORE 1347378.966
AT ITER 511 NEW BEST:: SOT 13906443 SOS 11279657 HAS SOPS 11276803 HAS SOUS 1336611 HAS SOUPS 1335078 WITH SCORE 1346357.657
AT ITER 515 NEW BEST:: SOT 13901288 SOS 11276140 HAS SOPS 11273286 HAS SOUS 1330277 HAS SOUPS 1328744 WITH SCORE 1340020.14
AT ITER 520 NEW BEST:: SOT 13901288 SOS 11276134 HAS SOPS 11273280 HAS SOUS 1330274 HAS SOUPS 1328741 WITH SCORE 1340017.134
AT ITER 521 NEW BEST:: SOT 13901288 SOS 11271598 HAS SOPS 11268744 HAS SOUS 1330274 HAS SOUPS 1328741 WITH SCORE 1340012.598
AT ITER 522 NEW BEST:: SOT 13900759 SOS 11270753 HAS SOPS 11267958 HAS SOUS 1321159 HAS SOUPS 1319685 WITH SCORE 1330955.753
AT ITER 523 NEW BEST:: SOT 13900781 SOS 11270555 HAS SOPS 11267760 HAS SOUS 1321159 HAS SOUPS 1319685 WITH SCORE 1330955.555
AT ITER 535 NEW BEST:: SOT 13900796 SOS 11270570 HAS SOPS 11267775 HAS SOUS 1321149 HAS SOUPS 1319675 WITH SCORE 1330945.57
AT ITER 543 NEW BEST:: SOT 13891747 SOS 11267325 HAS SOPS 11264530 HAS SOUS 1311495 HAS SOUPS 1310021 WITH SCORE 1321288.325
AT ITER 544 NEW BEST:: SOT 13891747 SOS 11262765 HAS SOPS 11259970 HAS SOUS 1311495 HAS SOUPS 1310021 WITH SCORE 1321283.765
AT ITER 558 NEW BEST:: SOT 13891537 SOS 11271843 HAS SOPS 11269048 HAS SOUS 1311243 HAS SOUPS 1309769 WITH SCORE 1321040.843
AT ITER 562 NEW BEST:: SOT 13891124 SOS 11271430 HAS SOPS 11268635 HAS SOUS 1310417 HAS SOUPS 1308943 WITH SCORE 1320214.43
AT ITER 567 NEW BEST:: SOT 13891124 SOS 11276050 HAS SOPS 11273255 HAS SOUS 1310351 HAS SOUPS 1308877 WITH SCORE 1320153.05
AT ITER 586 NEW BEST:: SOT 13889934 SOS 11274860 HAS SOPS 11272065 HAS SOUS 1308751 HAS SOUPS 1307277 WITH SCORE 1318551.86
AT ITER 587 NEW BEST:: SOT 13889934 SOS 11274702 HAS SOPS 11271907 HAS SOUS 1308672 HAS SOUPS 1307198 WITH SCORE 1318472.702
AT ITER 589 NEW BEST:: SOT 13889934 SOS 11273190 HAS SOPS 11270395 HAS SOUS 1308672 HAS SOUPS 1307198 WITH SCORE 1318471.19
AT ITER 595 NEW BEST:: SOT 13889934 SOS 11259890 HAS SOPS 11257095 HAS SOUS 1308497 HAS SOUPS 1307023 WITH SCORE 1318282.89
AT ITER 604 NEW BEST:: SOT 13890117 SOS 11246897 HAS SOPS 11244102 HAS SOUS 1308497 HAS SOUPS 1307023 WITH SCORE 1318269.897
AT ITER 612 NEW BEST:: SOT 13890117 SOS 11246897 HAS SOPS 11243481 HAS SOUS 1308497 HAS SOUPS 1306402 WITH SCORE 1317648.897
AT ITER 620 NEW BEST:: SOT 13887658 SOS 11249090 HAS SOPS 11245674 HAS SOUS 1297158 HAS SOUPS 1295063 WITH SCORE 1306312.09
AT ITER 625 NEW BEST:: SOT 13883986 SOS 11248286 HAS SOPS 11245458 HAS SOUS 1296359 HAS SOUPS 1294264 WITH SCORE 1305512.286
AT ITER 646 NEW BEST:: SOT 13883541 SOS 11247841 HAS SOPS 11245013 HAS SOUS 1295547 HAS SOUPS 1293452 WITH SCORE 1304699.841
AT ITER 658 NEW BEST:: SOT 13882721 SOS 11247021 HAS SOPS 11244193 HAS SOUS 1293874 HAS SOUPS 1291779 WITH SCORE 1303026.021
AT ITER 680 NEW BEST:: SOT 13879673 SOS 11243973 HAS SOPS 11241145 HAS SOUS 1291391 HAS SOUPS 1289296 WITH SCORE 1300539.973
AT ITER 681 NEW BEST:: SOT 13875558 SOS 11244754 HAS SOPS 11241926 HAS SOUS 1287937 HAS SOUPS 1285842 WITH SCORE 1297086.754
AT ITER 692 NEW BEST:: SOT 13872671 SOS 11245097 HAS SOPS 11242269 HAS SOUS 1287483 HAS SOUPS 1285388 WITH SCORE 1296633.097
AT ITER 696 NEW BEST:: SOT 13874005 SOS 11245925 HAS SOPS 11243213 HAS SOUS 1281901 HAS SOUPS 1279922 WITH SCORE 1291167.925
AT ITER 699 NEW BEST:: SOT 13870773 SOS 11265637 HAS SOPS 11262925 HAS SOUS 1280810 HAS SOUPS 1278831 WITH SCORE 1290096.637
AT ITER 709 NEW BEST:: SOT 13871158 SOS 11266022 HAS SOPS 11263310 HAS SOUS 1266347 HAS SOUPS 1264368 WITH SCORE 1275634.022
AT ITER 718 NEW BEST:: SOT 13871158 SOS 11274082 HAS SOPS 11271370 HAS SOUS 1266223 HAS SOUPS 1264244 WITH SCORE 1275518.082
AT ITER 721 NEW BEST:: SOT 13871158 SOS 11279490 HAS SOPS 11276778 HAS SOUS 1266146 HAS SOUPS 1264167 WITH SCORE 1275446.49
AT ITER 723 NEW BEST:: SOT 13852021 SOS 11257377 HAS SOPS 11254665 HAS SOUS 1260565 HAS SOUPS 1258586 WITH SCORE 1269843.377
AT ITER 731 NEW BEST:: SOT 13852021 SOS 11248737 HAS SOPS 11246025 HAS SOUS 1260565 HAS SOUPS 1258586 WITH SCORE 1269834.737
AT ITER 745 NEW BEST:: SOT 13848687 SOS 11245047 HAS SOPS 11242429 HAS SOUS 1247569 HAS SOUPS 1245684 WITH SCORE 1256929.047
AT ITER 749 NEW BEST:: SOT 13848687 SOS 11244955 HAS SOPS 11242337 HAS SOUS 1247477 HAS SOUPS 1245592 WITH SCORE 1256836.955
AT ITER 754 NEW BEST:: SOT 13852125 SOS 11248393 HAS SOPS 11245775 HAS SOUS 1239573 HAS SOUPS 1237688 WITH SCORE 1248936.393
AT ITER 763 NEW BEST:: SOT 13852125 SOS 11242777 HAS SOPS 11240159 HAS SOUS 1239573 HAS SOUPS 1237688 WITH SCORE 1248930.777
AT ITER 764 NEW BEST:: SOT 13850952 SOS 11241604 HAS SOPS 11238986 HAS SOUS 1232866 HAS SOUPS 1230981 WITH SCORE 1242222.604
AT ITER 766 NEW BEST:: SOT 13850924 SOS 11241832 HAS SOPS 11239214 HAS SOUS 1232838 HAS SOUPS 1230953 WITH SCORE 1242194.832
AT ITER 769 NEW BEST:: SOT 13850924 SOS 11239672 HAS SOPS 11237054 HAS SOUS 1232838 HAS SOUPS 1230953 WITH SCORE 1242192.672
AT ITER 776 NEW BEST:: SOT 13850924 SOS 11239514 HAS SOPS 11236896 HAS SOUS 1232759 HAS SOUPS 1230874 WITH SCORE 1242113.514
AT ITER 779 NEW BEST:: SOT 13850924 SOS 11239173 HAS SOPS 11236555 HAS SOUS 1232443 HAS SOUPS 1230558 WITH SCORE 1241797.173
AT ITER 786 NEW BEST:: SOT 13849185 SOS 11237434 HAS SOPS 11234816 HAS SOUS 1231423 HAS SOUPS 1229538 WITH SCORE 1240775.434
AT ITER 808 NEW BEST:: SOT 13848454 SOS 11236703 HAS SOPS 11234085 HAS SOUS 1230828 HAS SOUPS 1228943 WITH SCORE 1240179.703
AT ITER 814 NEW BEST:: SOT 13844699 SOS 11232948 HAS SOPS 11230330 HAS SOUS 1227889 HAS SOUPS 1226004 WITH SCORE 1237236.948
AT ITER 818 NEW BEST:: SOT 13843536 SOS 11231785 HAS SOPS 11229167 HAS SOUS 1222453 HAS SOUPS 1220568 WITH SCORE 1231799.785
AT ITER 825 NEW BEST:: SOT 13842148 SOS 11230397 HAS SOPS 11227779 HAS SOUS 1222033 HAS SOUPS 1220148 WITH SCORE 1231378.397
AT ITER 834 NEW BEST:: SOT 13841152 SOS 11229401 HAS SOPS 11226783 HAS SOUS 1220009 HAS SOUPS 1218124 WITH SCORE 1229353.401
AT ITER 836 NEW BEST:: SOT 13847140 SOS 11235735 HAS SOPS 11233117 HAS SOUS 1217943 HAS SOUPS 1216058 WITH SCORE 1227293.735
AT ITER 841 NEW BEST:: SOT 13842515 SOS 11231110 HAS SOPS 11228492 HAS SOUS 1215240 HAS SOUPS 1213355 WITH SCORE 1224586.11
AT ITER 849 NEW BEST:: SOT 13841579 SOS 11230152 HAS SOPS 11227534 HAS SOUS 1211712 HAS SOUPS 1209827 WITH SCORE 1221057.152
AT ITER 856 NEW BEST:: SOT 13841575 SOS 11230022 HAS SOPS 11226801 HAS SOUS 1211631 HAS SOUPS 1209143 WITH SCORE 1220373.022
AT ITER 859 NEW BEST:: SOT 13841436 SOS 11229883 HAS SOPS 11226662 HAS SOUS 1211454 HAS SOUPS 1208966 WITH SCORE 1220195.883
AT ITER 878 NEW BEST:: SOT 13841956 SOS 11230547 HAS SOPS 11227326 HAS SOUS 1211146 HAS SOUPS 1208658 WITH SCORE 1219888.547
AT ITER 882 NEW BEST:: SOT 13841956 SOS 11229755 HAS SOPS 11226534 HAS SOUS 1211080 HAS SOUPS 1208592 WITH SCORE 1219821.755
AT ITER 885 NEW BEST:: SOT 13839460 SOS 11227259 HAS SOPS 11224038 HAS SOUS 1210688 HAS SOUPS 1208200 WITH SCORE 1219427.259
AT ITER 896 NEW BEST:: SOT 13839460 SOS 11225387 HAS SOPS 11222166 HAS SOUS 1210688 HAS SOUPS 1208200 WITH SCORE 1219425.387
AT ITER 901 NEW BEST:: SOT 13862264 SOS 11249314 HAS SOPS 11245621 HAS SOUS 1204064 HAS SOUPS 1201272 WITH SCORE 1212521.314
AT ITER 905 NEW BEST:: SOT 13862264 SOS 11234298 HAS SOPS 11230605 HAS SOUS 1203705 HAS SOUPS 1200913 WITH SCORE 1212147.298
AT ITER 923 NEW BEST:: SOT 13862264 SOS 11234280 HAS SOPS 11230587 HAS SOUS 1203696 HAS SOUPS 1200904 WITH SCORE 1212138.28
AT ITER 925 NEW BEST:: SOT 13860208 SOS 11232224 HAS SOPS 11228531 HAS SOUS 1202647 HAS SOUPS 1199855 WITH SCORE 1211087.224
AT ITER 926 NEW BEST:: SOT 13857955 SOS 11224283 HAS SOPS 11220590 HAS SOUS 1201367 HAS SOUPS 1198575 WITH SCORE 1209799.283
AT ITER 932 NEW BEST:: SOT 13857955 SOS 11220827 HAS SOPS 11217134 HAS SOUS 1201367 HAS SOUPS 1198575 WITH SCORE 1209795.827
AT ITER 941 NEW BEST:: SOT 13857955 SOS 11220666 HAS SOPS 11216973 HAS SOUS 1201189 HAS SOUPS 1198397 WITH SCORE 1209617.666
AT ITER 945 NEW BEST:: SOT 13857955 SOS 11217354 HAS SOPS 11213661 HAS SOUS 1201189 HAS SOUPS 1198397 WITH SCORE 1209614.354
AT ITER 965 NEW BEST:: SOT 13857955 SOS 11217347 HAS SOPS 11213654 HAS SOUS 1201182 HAS SOUPS 1198390 WITH SCORE 1209607.347
AT ITER 970 NEW BEST:: SOT 13857955 SOS 11226377 HAS SOPS 11222684 HAS SOUS 1201053 HAS SOUPS 1198261 WITH SCORE 1209487.377
AT ITER 971 NEW BEST:: SOT 13858057 SOS 11226494 HAS SOPS 11222792 HAS SOUS 1200949 HAS SOUPS 1198154 WITH SCORE 1209380.494
AT ITER 978 NEW BEST:: SOT 13858057 SOS 11224046 HAS SOPS 11220344 HAS SOUS 1200949 HAS SOUPS 1198154 WITH SCORE 1209378.046
AT ITER 983 NEW BEST:: SOT 13858057 SOS 11224034 HAS SOPS 11220332 HAS SOUS 1200925 HAS SOUPS 1198130 WITH SCORE 1209354.034
AT ITER 992 NEW BEST:: SOT 13853357 SOS 11222513 HAS SOPS 11218811 HAS SOUS 1195901 HAS SOUPS 1193106 WITH SCORE 1204328.513
AT ITER 1008 NEW BEST:: SOT 13849746 SOS 11218902 HAS SOPS 11215200 HAS SOUS 1188691 HAS SOUPS 1185896 WITH SCORE 1197114.902
AT ITER 1009 NEW BEST:: SOT 13849705 SOS 11218861 HAS SOPS 11215159 HAS SOUS 1188600 HAS SOUPS 1185805 WITH SCORE 1197023.861
AT ITER 1011 NEW BEST:: SOT 13849705 SOS 11208637 HAS SOPS 11204935 HAS SOUS 1188600 HAS SOUPS 1185805 WITH SCORE 1197013.637
AT ITER 1016 NEW BEST:: SOT 13842439 SOS 11202089 HAS SOPS 11198387 HAS SOUS 1182581 HAS SOUPS 1179786 WITH SCORE 1190988.089
AT ITER 1020 NEW BEST:: SOT 13842439 SOS 11209439 HAS SOPS 11205737 HAS SOUS 1182476 HAS SOUPS 1179681 WITH SCORE 1190890.439
AT ITER 1024 NEW BEST:: SOT 13842439 SOS 11209567 HAS SOPS 11205865 HAS SOUS 1182432 HAS SOUPS 1179637 WITH SCORE 1190846.567
AT ITER 1031 NEW BEST:: SOT 13849144 SOS 11219201 HAS SOPS 11214954 HAS SOUS 1171812 HAS SOUPS 1168719 WITH SCORE 1179938.201
AT ITER 1032 NEW BEST:: SOT 13844101 SOS 11212274 HAS SOPS 11208027 HAS SOUS 1165821 HAS SOUPS 1162728 WITH SCORE 1173940.274
AT ITER 1042 NEW BEST:: SOT 13841091 SOS 11209264 HAS SOPS 11205017 HAS SOUS 1159421 HAS SOUPS 1156328 WITH SCORE 1167537.264
AT ITER 1053 NEW BEST:: SOT 13840189 SOS 11208419 HAS SOPS 11204607 HAS SOUS 1151834 HAS SOUPS 1149176 WITH SCORE 1160384.419
AT ITER 1059 NEW BEST:: SOT 13840189 SOS 11207285 HAS SOPS 11203473 HAS SOUS 1151655 HAS SOUPS 1148997 WITH SCORE 1160204.285
AT ITER 1063 NEW BEST:: SOT 13840189 SOS 11207771 HAS SOPS 11203959 HAS SOUS 1151628 HAS SOUPS 1148970 WITH SCORE 1160177.771
AT ITER 1066 NEW BEST:: SOT 13840189 SOS 11203955 HAS SOPS 11200143 HAS SOUS 1151628 HAS SOUPS 1148970 WITH SCORE 1160173.955
AT ITER 1071 NEW BEST:: SOT 13840189 SOS 11202347 HAS SOPS 11198535 HAS SOUS 1151628 HAS SOUPS 1148970 WITH SCORE 1160172.347
AT ITER 1083 NEW BEST:: SOT 13840189 SOS 11206767 HAS SOPS 11202955 HAS SOUS 1151560 HAS SOUPS 1148902 WITH SCORE 1160108.767
AT ITER 1084 NEW BEST:: SOT 13840189 SOS 11208847 HAS SOPS 11205035 HAS SOUS 1151528 HAS SOUPS 1148870 WITH SCORE 1160078.847
AT ITER 1086 NEW BEST:: SOT 13842041 SOS 11210632 HAS SOPS 11206820 HAS SOUS 1147610 HAS SOUPS 1144952 WITH SCORE 1156162.632
AT ITER 1090 NEW BEST:: SOT 13842041 SOS 11230784 HAS SOPS 11226972 HAS SOUS 1147581 HAS SOUPS 1144923 WITH SCORE 1156153.784
AT ITER 1092 NEW BEST:: SOT 13842041 SOS 11226680 HAS SOPS 11222868 HAS SOUS 1147581 HAS SOUPS 1144923 WITH SCORE 1156149.68
AT ITER 1098 NEW BEST:: SOT 13842041 SOS 11220781 HAS SOPS 11216969 HAS SOUS 1147365 HAS SOUPS 1144707 WITH SCORE 1155927.781
AT ITER 1100 NEW BEST:: SOT 13840925 SOS 11219665 HAS SOPS 11215853 HAS SOUS 1146668 HAS SOUPS 1144010 WITH SCORE 1155229.665
AT ITER 1103 NEW BEST:: SOT 13840925 SOS 11219665 HAS SOPS 11215853 HAS SOUS 1146660 HAS SOUPS 1144002 WITH SCORE 1155221.665
AT ITER 1104 NEW BEST:: SOT 13845458 SOS 11223817 HAS SOPS 11220084 HAS SOUS 1145438 HAS SOUPS 1142859 WITH SCORE 1154082.817
AT ITER 1116 NEW BEST:: SOT 13841700 SOS 11224079 HAS SOPS 11220346 HAS SOUS 1142814 HAS SOUPS 1140235 WITH SCORE 1151459.079
AT ITER 1117 NEW BEST:: SOT 13841700 SOS 11221999 HAS SOPS 11218266 HAS SOUS 1142814 HAS SOUPS 1140235 WITH SCORE 1151456.999
AT ITER 1120 NEW BEST:: SOT 13841700 SOS 11221960 HAS SOPS 11218227 HAS SOUS 1142736 HAS SOUPS 1140157 WITH SCORE 1151378.96
AT ITER 1123 NEW BEST:: SOT 13841777 SOS 11222037 HAS SOPS 11218304 HAS SOUS 1142729 HAS SOUPS 1140150 WITH SCORE 1151372.037
AT ITER 1126 NEW BEST:: SOT 13841777 SOS 11221965 HAS SOPS 11218232 HAS SOUS 1142729 HAS SOUPS 1140150 WITH SCORE 1151371.965
AT ITER 1127 NEW BEST:: SOT 13846007 SOS 11227082 HAS SOPS 11224097 HAS SOUS 1134461 HAS SOUPS 1132630 WITH SCORE 1143857.082
AT ITER 1131 NEW BEST:: SOT 13846079 SOS 11231186 HAS SOPS 11228201 HAS SOUS 1133053 HAS SOUPS 1131222 WITH SCORE 1142453.186
AT ITER 1132 NEW BEST:: SOT 13846079 SOS 11227154 HAS SOPS 11224169 HAS SOUS 1133053 HAS SOUPS 1131222 WITH SCORE 1142449.154
AT ITER 1135 NEW BEST:: SOT 13848627 SOS 11229702 HAS SOPS 11226717 HAS SOUS 1130727 HAS SOUPS 1128896 WITH SCORE 1140125.702
AT ITER 1147 NEW BEST:: SOT 13848627 SOS 11227542 HAS SOPS 11224557 HAS SOUS 1130727 HAS SOUPS 1128896 WITH SCORE 1140123.542
AT ITER 1160 NEW BEST:: SOT 13848513 SOS 11227428 HAS SOPS 11224443 HAS SOUS 1130613 HAS SOUPS 1128782 WITH SCORE 1140009.428
AT ITER 1164 NEW BEST:: SOT 13848513 SOS 11227428 HAS SOPS 11224443 HAS SOUS 1130369 HAS SOUPS 1128538 WITH SCORE 1139765.428
AT ITER 1165 NEW BEST:: SOT 13848502 SOS 11227417 HAS SOPS 11224432 HAS SOUS 1130356 HAS SOUPS 1128525 WITH SCORE 1139752.417
AT ITER 1176 NEW BEST:: SOT 13848502 SOS 11227189 HAS SOPS 11224204 HAS SOUS 1130353 HAS SOUPS 1128522 WITH SCORE 1139749.189
AT ITER 1190 NEW BEST:: SOT 13848502 SOS 11219845 HAS SOPS 11216860 HAS SOUS 1130353 HAS SOUPS 1128522 WITH SCORE 1139741.845
AT ITER 1193 NEW BEST:: SOT 13842392 SOS 11209395 HAS SOPS 11207751 HAS SOUS 1117688 HAS SOUPS 1116465 WITH SCORE 1127674.395
AT ITER 1205 NEW BEST:: SOT 13842392 SOS 11193771 HAS SOPS 11192127 HAS SOUS 1117688 HAS SOUPS 1116465 WITH SCORE 1127658.771
AT ITER 1219 NEW BEST:: SOT 13842392 SOS 11187867 HAS SOPS 11186223 HAS SOUS 1117688 HAS SOUPS 1116465 WITH SCORE 1127652.867
AT ITER 1237 NEW BEST:: SOT 13841755 SOS 11187230 HAS SOPS 11185586 HAS SOUS 1116414 HAS SOUPS 1115191 WITH SCORE 1126378.23
AT ITER 1251 NEW BEST:: SOT 13840283 SOS 11185758 HAS SOPS 11184114 HAS SOUS 1115282 HAS SOUPS 1114059 WITH SCORE 1125244.758
AT ITER 1253 NEW BEST:: SOT 13840283 SOS 11198334 HAS SOPS 11196690 HAS SOUS 1115107 HAS SOUPS 1113884 WITH SCORE 1125082.334
AT ITER 1277 NEW BEST:: SOT 13844408 SOS 11202705 HAS SOPS 11201061 HAS SOUS 1110356 HAS SOUPS 1109133 WITH SCORE 1120335.705
AT ITER 1282 NEW BEST:: SOT 13844408 SOS 11202705 HAS SOPS 11201061 HAS SOUS 1110346 HAS SOUPS 1109123 WITH SCORE 1120325.705
AT ITER 1290 NEW BEST:: SOT 13841104 SOS 11199446 HAS SOPS 11197823 HAS SOUS 1099319 HAS SOUPS 1098117 WITH SCORE 1109316.446
AT ITER 1294 NEW BEST:: SOT 13841104 SOS 11204362 HAS SOPS 11202739 HAS SOUS 1099163 HAS SOUPS 1097961 WITH SCORE 1109165.362
AT ITER 1297 NEW BEST:: SOT 13841104 SOS 11204362 HAS SOPS 11202739 HAS SOUS 1099149 HAS SOUPS 1097947 WITH SCORE 1109151.362
AT ITER 1304 NEW BEST:: SOT 13841104 SOS 11203995 HAS SOPS 11202372 HAS SOUS 1099149 HAS SOUPS 1097947 WITH SCORE 1109150.995
AT ITER 1309 NEW BEST:: SOT 13841104 SOS 11203893 HAS SOPS 11202270 HAS SOUS 1099098 HAS SOUPS 1097896 WITH SCORE 1109099.893
AT ITER 1313 NEW BEST:: SOT 13841104 SOS 11203893 HAS SOPS 11202270 HAS SOUS 1099072 HAS SOUPS 1097870 WITH SCORE 1109073.893
AT ITER 1315 NEW BEST:: SOT 13844278 SOS 11207177 HAS SOPS 11205554 HAS SOUS 1098818 HAS SOUPS 1097616 WITH SCORE 1108823.177
AT ITER 1317 NEW BEST:: SOT 13844278 SOS 11205161 HAS SOPS 11203538 HAS SOUS 1098818 HAS SOUPS 1097616 WITH SCORE 1108821.161
AT ITER 1343 NEW BEST:: SOT 13844223 SOS 11205106 HAS SOPS 11203483 HAS SOUS 1098763 HAS SOUPS 1097561 WITH SCORE 1108766.106
AT ITER 1351 NEW BEST:: SOT 13840473 SOS 11201303 HAS SOPS 11199680 HAS SOUS 1090614 HAS SOUPS 1089412 WITH SCORE 1100613.303
AT ITER 1370 NEW BEST:: SOT 13840473 SOS 11194426 HAS SOPS 11192803 HAS SOUS 1090424 HAS SOUPS 1089222 WITH SCORE 1100416.426
AT ITER 1375 NEW BEST:: SOT 13840473 SOS 11191402 HAS SOPS 11189779 HAS SOUS 1090424 HAS SOUPS 1089222 WITH SCORE 1100413.402
AT ITER 1381 NEW BEST:: SOT 13840473 SOS 11190887 HAS SOPS 11189264 HAS SOUS 1090424 HAS SOUPS 1089222 WITH SCORE 1100412.887
AT ITER 1382 NEW BEST:: SOT 13834317 SOS 11184559 HAS SOPS 11182936 HAS SOUS 1089553 HAS SOUPS 1088351 WITH SCORE 1099535.559
AT ITER 1387 NEW BEST:: SOT 13834317 SOS 11182183 HAS SOPS 11180560 HAS SOUS 1089553 HAS SOUPS 1088351 WITH SCORE 1099533.183
AT ITER 1409 NEW BEST:: SOT 13834317 SOS 11164384 HAS SOPS 11162761 HAS SOUS 1089365 HAS SOUPS 1088163 WITH SCORE 1099327.384
AT ITER 1427 NEW BEST:: SOT 13834301 SOS 11164368 HAS SOPS 11162745 HAS SOUS 1089315 HAS SOUPS 1088113 WITH SCORE 1099277.368
AT ITER 1435 NEW BEST:: SOT 13834301 SOS 11041536 HAS SOPS 11039913 HAS SOUS 1089315 HAS SOUPS 1088113 WITH SCORE 1099154.536
AT ITER 1457 NEW BEST:: SOT 13834301 SOS 11037720 HAS SOPS 11036097 HAS SOUS 1089315 HAS SOUPS 1088113 WITH SCORE 1099150.72
AT ITER 1478 NEW BEST:: SOT 13834301 SOS 11037720 HAS SOPS 11036097 HAS SOUS 1089309 HAS SOUPS 1088107 WITH SCORE 1099144.72
AT ITER 1479 NEW BEST:: SOT 13834298 SOS 11037717 HAS SOPS 11036094 HAS SOUS 1089303 HAS SOUPS 1088101 WITH SCORE 1099138.717
AT ITER 1494 NEW BEST:: SOT 13836209 SOS 11039702 HAS SOPS 11038079 HAS SOUS 1088734 HAS SOUPS 1087532 WITH SCORE 1098571.702
AT ITER 1495 NEW BEST:: SOT 13853231 SOS 11057629 HAS SOPS 11055714 HAS SOUS 1084820 HAS SOUPS 1083326 WITH SCORE 1094383.629
AT ITER 1509 NEW BEST:: SOT 13853231 SOS 11060073 HAS SOPS 11058158 HAS SOUS 1084786 HAS SOUPS 1083292 WITH SCORE 1094352.073
AT ITER 1524 NEW BEST:: SOT 13853048 SOS 11059890 HAS SOPS 11057975 HAS SOUS 1084467 HAS SOUPS 1082973 WITH SCORE 1094032.89
AT ITER 1530 NEW BEST:: SOT 13852964 SOS 11059806 HAS SOPS 11057891 HAS SOUS 1084316 HAS SOUPS 1082822 WITH SCORE 1093881.806
AT ITER 1558 NEW BEST:: SOT 13852964 SOS 11059806 HAS SOPS 11057891 HAS SOUS 1084167 HAS SOUPS 1082673 WITH SCORE 1093732.806
AT ITER 1560 NEW BEST:: SOT 13852964 SOS 11061951 HAS SOPS 11060036 HAS SOUS 1084134 HAS SOUPS 1082640 WITH SCORE 1093701.951
AT ITER 1561 NEW BEST:: SOT 13851725 SOS 11060712 HAS SOPS 11058797 HAS SOUS 1083410 HAS SOUPS 1081916 WITH SCORE 1092976.712
AT ITER 1564 NEW BEST:: SOT 13848719 SOS 11057706 HAS SOPS 11055791 HAS SOUS 1080074 HAS SOUPS 1078580 WITH SCORE 1089637.706
AT ITER 1570 NEW BEST:: SOT 13848124 SOS 11057111 HAS SOPS 11055196 HAS SOUS 1079569 HAS SOUPS 1078075 WITH SCORE 1089132.111
AT ITER 1577 NEW BEST:: SOT 13846083 SOS 11055070 HAS SOPS 11053155 HAS SOUS 1077528 HAS SOUPS 1076034 WITH SCORE 1087089.07
AT ITER 1592 NEW BEST:: SOT 13852447 SOS 11062269 HAS SOPS 11060223 HAS SOUS 1076333 HAS SOUPS 1074751 WITH SCORE 1085813.269
AT ITER 1594 NEW BEST:: SOT 13852368 SOS 11065047 HAS SOPS 11063001 HAS SOUS 1075732 HAS SOUPS 1074150 WITH SCORE 1085215.047
AT ITER 1623 NEW BEST:: SOT 13852368 SOS 11051223 HAS SOPS 11049177 HAS SOUS 1075732 HAS SOUPS 1074150 WITH SCORE 1085201.223
AT ITER 1626 NEW BEST:: SOT 13841097 SOS 11055951 HAS SOPS 11053905 HAS SOUS 1064638 HAS SOUPS 1063056 WITH SCORE 1074111.951
AT ITER 1633 NEW BEST:: SOT 13841097 SOS 11050551 HAS SOPS 11048505 HAS SOUS 1064638 HAS SOUPS 1063056 WITH SCORE 1074106.551
AT ITER 1634 NEW BEST:: SOT 13840443 SOS 11049897 HAS SOPS 11047851 HAS SOUS 1062809 HAS SOUPS 1061227 WITH SCORE 1072276.897
AT ITER 1635 NEW BEST:: SOT 13840443 SOS 11055917 HAS SOPS 11053871 HAS SOUS 1062723 HAS SOUPS 1061141 WITH SCORE 1072196.917
AT ITER 1641 NEW BEST:: SOT 13844429 SOS 11060159 HAS SOPS 11058113 HAS SOUS 1061920 HAS SOUPS 1060338 WITH SCORE 1071398.159
AT ITER 1650 NEW BEST:: SOT 13837067 SOS 11052797 HAS SOPS 11050751 HAS SOUS 1056954 HAS SOUPS 1055372 WITH SCORE 1066424.797
AT ITER 1668 NEW BEST:: SOT 13837067 SOS 11051848 HAS SOPS 11049802 HAS SOUS 1056941 HAS SOUPS 1055359 WITH SCORE 1066410.848
AT ITER 1672 NEW BEST:: SOT 13839616 SOS 11054397 HAS SOPS 11052351 HAS SOUS 1055066 HAS SOUPS 1053484 WITH SCORE 1064538.397
AT ITER 1677 NEW BEST:: SOT 13846124 SOS 11061733 HAS SOPS 11059513 HAS SOUS 1052873 HAS SOUPS 1051195 WITH SCORE 1062256.733
AT ITER 1687 NEW BEST:: SOT 13846124 SOS 11052589 HAS SOPS 11050369 HAS SOUS 1052873 HAS SOUPS 1051195 WITH SCORE 1062247.589
AT ITER 1693 NEW BEST:: SOT 13845269 SOS 11033446 HAS SOPS 11031226 HAS SOUS 1052572 HAS SOUPS 1050894 WITH SCORE 1061927.446
AT ITER 1721 NEW BEST:: SOT 13842258 SOS 11030435 HAS SOPS 11028215 HAS SOUS 1046576 HAS SOUPS 1044898 WITH SCORE 1055928.435
AT ITER 1726 NEW BEST:: SOT 13842258 SOS 11029931 HAS SOPS 11027711 HAS SOUS 1046576 HAS SOUPS 1044898 WITH SCORE 1055927.931
AT ITER 1732 NEW BEST:: SOT 13838880 SOS 11038352 HAS SOPS 11036132 HAS SOUS 1036344 HAS SOUPS 1034666 WITH SCORE 1045704.352
AT ITER 1770 NEW BEST:: SOT 13842025 SOS 11041497 HAS SOPS 11039277 HAS SOUS 1032682 HAS SOUPS 1031004 WITH SCORE 1042045.497
AT ITER 1797 NEW BEST:: SOT 13842087 SOS 11041643 HAS SOPS 11039423 HAS SOUS 1032196 HAS SOUPS 1030518 WITH SCORE 1041559.643
AT ITER 1800 NEW BEST:: SOT 13842066 SOS 11041598 HAS SOPS 11039378 HAS SOUS 1032154 HAS SOUPS 1030476 WITH SCORE 1041517.598
AT ITER 1817 NEW BEST:: SOT 13840855 SOS 11040387 HAS SOPS 11038167 HAS SOUS 1031558 HAS SOUPS 1029880 WITH SCORE 1040920.387
AT ITER 1827 NEW BEST:: SOT 13842820 SOS 11042275 HAS SOPS 11040066 HAS SOUS 1028331 HAS SOUPS 1026664 WITH SCORE 1037706.275
AT ITER 1829 NEW BEST:: SOT 13841894 SOS 11041238 HAS SOPS 11039046 HAS SOUS 1019874 HAS SOUPS 1018224 WITH SCORE 1029265.238
AT ITER 1840 NEW BEST:: SOT 13841894 SOS 11028318 HAS SOPS 11026126 HAS SOUS 1019695 HAS SOUPS 1018045 WITH SCORE 1029073.318
AT ITER 1844 NEW BEST:: SOT 13841894 SOS 11028076 HAS SOPS 11025884 HAS SOUS 1019574 HAS SOUPS 1017924 WITH SCORE 1028952.076
AT ITER 1854 NEW BEST:: SOT 13841358 SOS 11027593 HAS SOPS 11025401 HAS SOUS 1012253 HAS SOUPS 1010603 WITH SCORE 1021630.593
AT ITER 1858 NEW BEST:: SOT 13841337 SOS 11027576 HAS SOPS 11025384 HAS SOUS 1012175 HAS SOUPS 1010525 WITH SCORE 1021552.576
AT ITER 1869 NEW BEST:: SOT 13839905 SOS 11025335 HAS SOPS 11023435 HAS SOUS 1002542 HAS SOUPS 1001184 WITH SCORE 1012209.335
AT ITER 1880 NEW BEST:: SOT 13839905 SOS 11025335 HAS SOPS 11023435 HAS SOUS 1002530 HAS SOUPS 1001172 WITH SCORE 1012197.335
AT ITER 1898 NEW BEST:: SOT 13841326 SOS 11026660 HAS SOPS 11024776 HAS SOUS 1001900 HAS SOUPS 1000558 WITH SCORE 1011584.66
AT ITER 1909 NEW BEST:: SOT 13841326 SOS 11026504 HAS SOPS 11024620 HAS SOUS 1001900 HAS SOUPS 1000558 WITH SCORE 1011584.504
AT ITER 1910 NEW BEST:: SOT 13841326 SOS 11026339 HAS SOPS 11024455 HAS SOUS 1001900 HAS SOUPS 1000558 WITH SCORE 1011584.339
AT ITER 1912 NEW BEST:: SOT 13842232 SOS 11027245 HAS SOPS 11025361 HAS SOUS 1000555 HAS SOUPS 999213 WITH SCORE 1010240.245
AT ITER 1957 NEW BEST:: SOT 13842232 SOS 11033339 HAS SOPS 11031455 HAS SOUS 1000468 HAS SOUPS 999126 WITH SCORE 1010159.339
AT ITER 1958 NEW BEST:: SOT 13842232 SOS 11027723 HAS SOPS 11025839 HAS SOUS 1000468 HAS SOUPS 999126 WITH SCORE 1010153.723
AT ITER 1960 NEW BEST:: SOT 13842232 SOS 11040659 HAS SOPS 11038775 HAS SOUS 1000272 HAS SOUPS 998930 WITH SCORE 1009970.659
AT ITER 1980 NEW BEST:: SOT 13838068 SOS 11036851 HAS SOPS 11034967 HAS SOUS 991793 HAS SOUPS 990451 WITH SCORE 1001487.851
AT ITER 1984 NEW BEST:: SOT 13846296 SOS 11045315 HAS SOPS 11043431 HAS SOUS 989939 HAS SOUPS 988597 WITH SCORE 999642.315
AT ITER 1988 NEW BEST:: SOT 13846296 SOS 11044955 HAS SOPS 11043071 HAS SOUS 989939 HAS SOUPS 988597 WITH SCORE 999641.955
AT ITER 1997 NEW BEST:: SOT 13848037 SOS 11046430 HAS SOPS 11044546 HAS SOUS 987221 HAS SOUPS 985879 WITH SCORE 996925.43
AT ITER 2013 NEW BEST:: SOT 13852734 SOS 11054337 HAS SOPS 11052627 HAS SOUS 985960 HAS SOUPS 984673 WITH SCORE 995727.337
AT ITER 2026 NEW BEST:: SOT 13848748 SOS 11050351 HAS SOPS 11048641 HAS SOUS 982084 HAS SOUPS 980797 WITH SCORE 991847.351
AT ITER 2035 NEW BEST:: SOT 13848754 SOS 11050069 HAS SOPS 11048359 HAS SOUS 982084 HAS SOUPS 980797 WITH SCORE 991847.069
AT ITER 2064 NEW BEST:: SOT 13848690 SOS 11050005 HAS SOPS 11048295 HAS SOUS 982082 HAS SOUPS 980795 WITH SCORE 991845.005
AT ITER 2066 NEW BEST:: SOT 13849719 SOS 11051034 HAS SOPS 11049324 HAS SOUS 981848 HAS SOUPS 980561 WITH SCORE 991612.034
AT ITER 2067 NEW BEST:: SOT 13847061 SOS 11048376 HAS SOPS 11046666 HAS SOUS 979916 HAS SOUPS 978629 WITH SCORE 989677.376
AT ITER 2075 NEW BEST:: SOT 13847061 SOS 11038512 HAS SOPS 11036802 HAS SOUS 979916 HAS SOUPS 978629 WITH SCORE 989667.512
AT ITER 2082 NEW BEST:: SOT 13847061 SOS 11036712 HAS SOPS 11035002 HAS SOUS 979916 HAS SOUPS 978629 WITH SCORE 989665.712
AT ITER 2087 NEW BEST:: SOT 13848147 SOS 11037798 HAS SOPS 11036088 HAS SOUS 979519 HAS SOUPS 978232 WITH SCORE 989269.798
AT ITER 2089 NEW BEST:: SOT 13848481 SOS 11038132 HAS SOPS 11036422 HAS SOUS 979139 HAS SOUPS 977852 WITH SCORE 988890.132
AT ITER 2106 NEW BEST:: SOT 13845583 SOS 11035234 HAS SOPS 11033524 HAS SOUS 976186 HAS SOUPS 974899 WITH SCORE 985934.234
AT ITER 2107 NEW BEST:: SOT 13845583 SOS 11036446 HAS SOPS 11034736 HAS SOUS 975919 HAS SOUPS 974632 WITH SCORE 985668.446
AT ITER 2115 NEW BEST:: SOT 13847428 SOS 11038291 HAS SOPS 11036581 HAS SOUS 975333 HAS SOUPS 974046 WITH SCORE 985084.291
AT ITER 2124 NEW BEST:: SOT 13847428 SOS 11032891 HAS SOPS 11031181 HAS SOUS 975333 HAS SOUPS 974046 WITH SCORE 985078.891
AT ITER 2131 NEW BEST:: SOT 13847490 SOS 11032963 HAS SOPS 11031247 HAS SOUS 975261 HAS SOUPS 973972 WITH SCORE 985004.963
AT ITER 2137 NEW BEST:: SOT 13852918 SOS 11038412 HAS SOPS 11036696 HAS SOUS 973326 HAS SOUPS 972037 WITH SCORE 983075.412
AT ITER 2140 NEW BEST:: SOT 13852918 SOS 11038412 HAS SOPS 11036696 HAS SOUS 973315 HAS SOUPS 972026 WITH SCORE 983064.412
AT ITER 2147 NEW BEST:: SOT 13856939 SOS 11041497 HAS SOPS 11039900 HAS SOUS 970187 HAS SOUPS 969006 WITH SCORE 980047.497
AT ITER 2160 NEW BEST:: SOT 13856939 SOS 11032209 HAS SOPS 11030612 HAS SOUS 970187 HAS SOUPS 969006 WITH SCORE 980038.209
AT ITER 2165 NEW BEST:: SOT 13856923 SOS 11032193 HAS SOPS 11030596 HAS SOUS 970167 HAS SOUPS 968986 WITH SCORE 980018.193
AT ITER 2187 NEW BEST:: SOT 13861201 SOS 11036549 HAS SOPS 11034923 HAS SOUS 969926 HAS SOUPS 968716 WITH SCORE 979752.549
AT ITER 2191 NEW BEST:: SOT 13861201 SOS 11051436 HAS SOPS 11049810 HAS SOUS 969815 HAS SOUPS 968605 WITH SCORE 979656.436
AT ITER 2198 NEW BEST:: SOT 13864455 SOS 11054690 HAS SOPS 11053064 HAS SOUS 969759 HAS SOUPS 968549 WITH SCORE 979603.69
AT ITER 2212 NEW BEST:: SOT 13865212 SOS 11046613 HAS SOPS 11044987 HAS SOUS 969464 HAS SOUPS 968254 WITH SCORE 979300.613
AT ITER 2214 NEW BEST:: SOT 13865212 SOS 11046757 HAS SOPS 11045131 HAS SOUS 969342 HAS SOUPS 968132 WITH SCORE 979178.757
AT ITER 2215 NEW BEST:: SOT 13866751 SOS 11048122 HAS SOPS 11046509 HAS SOUS 966688 HAS SOUPS 965491 WITH SCORE 976539.122
AT ITER 2217 NEW BEST:: SOT 13864749 SOS 11046120 HAS SOPS 11044507 HAS SOUS 965412 HAS SOUPS 964215 WITH SCORE 975261.12
AT ITER 2245 NEW BEST:: SOT 13864749 SOS 11046120 HAS SOPS 11044507 HAS SOUS 965370 HAS SOUPS 964173 WITH SCORE 975219.12
AT ITER 2246 NEW BEST:: SOT 13862751 SOS 11044122 HAS SOPS 11042509 HAS SOUS 962548 HAS SOUPS 961351 WITH SCORE 972395.122
AT ITER 2266 NEW BEST:: SOT 13862958 SOS 11044329 HAS SOPS 11042716 HAS SOUS 962542 HAS SOUPS 961345 WITH SCORE 972389.329
AT ITER 2277 NEW BEST:: SOT 13862958 SOS 11043484 HAS SOPS 11041871 HAS SOUS 962516 HAS SOUPS 961319 WITH SCORE 972362.484
AT ITER 2283 NEW BEST:: SOT 13862989 SOS 11040480 HAS SOPS 11038867 HAS SOUS 962505 HAS SOUPS 961308 WITH SCORE 972348.48
AT ITER 2300 NEW BEST:: SOT 13862353 SOS 11039844 HAS SOPS 11038231 HAS SOUS 961257 HAS SOUPS 960060 WITH SCORE 971099.844
AT ITER 2301 NEW BEST:: SOT 13860647 SOS 11038083 HAS SOPS 11036481 HAS SOUS 957826 HAS SOUPS 956640 WITH SCORE 967678.083
AT ITER 2305 NEW BEST:: SOT 13859328 SOS 11036795 HAS SOPS 11035193 HAS SOUS 955540 HAS SOUPS 954354 WITH SCORE 965390.795
AT ITER 2314 NEW BEST:: SOT 13859325 SOS 11036792 HAS SOPS 11035190 HAS SOUS 955534 HAS SOUPS 954348 WITH SCORE 965384.792
AT ITER 2320 NEW BEST:: SOT 13866079 SOS 11043546 HAS SOPS 11041944 HAS SOUS 949948 HAS SOUPS 948762 WITH SCORE 959805.546
AT ITER 2326 NEW BEST:: SOT 13864503 SOS 11041970 HAS SOPS 11040368 HAS SOUS 948944 HAS SOUPS 947758 WITH SCORE 958799.97
AT ITER 2333 NEW BEST:: SOT 13861221 SOS 11038688 HAS SOPS 11037086 HAS SOUS 946910 HAS SOUPS 945724 WITH SCORE 956762.688
AT ITER 2338 NEW BEST:: SOT 13861243 SOS 11038710 HAS SOPS 11037108 HAS SOUS 943527 HAS SOUPS 942341 WITH SCORE 953379.71
AT ITER 2349 NEW BEST:: SOT 13861243 SOS 11036334 HAS SOPS 11034732 HAS SOUS 943527 HAS SOUPS 942341 WITH SCORE 953377.334
AT ITER 2356 NEW BEST:: SOT 13861124 SOS 11036209 HAS SOPS 11034607 HAS SOUS 943400 HAS SOUPS 942214 WITH SCORE 953250.209
AT ITER 2367 NEW BEST:: SOT 13861124 SOS 11036209 HAS SOPS 11034607 HAS SOUS 943399 HAS SOUPS 942213 WITH SCORE 953249.209
AT ITER 2383 NEW BEST:: SOT 13858891 SOS 11033841 HAS SOPS 11032233 HAS SOUS 941163 HAS SOUPS 939971 WITH SCORE 951004.841
AT ITER 2385 NEW BEST:: SOT 13855220 SOS 11031990 HAS SOPS 11030620 HAS SOUS 939007 HAS SOUPS 937815 WITH SCORE 948846.99
AT ITER 2406 NEW BEST:: SOT 13855220 SOS 10913793 HAS SOPS 10912423 HAS SOUS 938984 HAS SOUPS 937792 WITH SCORE 948705.793
AT ITER 2407 NEW BEST:: SOT 13855220 SOS 10913613 HAS SOPS 10912243 HAS SOUS 938969 HAS SOUPS 937777 WITH SCORE 948690.613
AT ITER 2430 NEW BEST:: SOT 13855088 SOS 10913481 HAS SOPS 10912111 HAS SOUS 938056 HAS SOUPS 936864 WITH SCORE 947777.481
AT ITER 2473 NEW BEST:: SOT 13855046 SOS 10913441 HAS SOPS 10912071 HAS SOUS 938039 HAS SOUPS 936847 WITH SCORE 947760.441
AT ITER 2475 NEW BEST:: SOT 13855046 SOS 10899113 HAS SOPS 10897743 HAS SOUS 938039 HAS SOUPS 936847 WITH SCORE 947746.113
AT ITER 2479 NEW BEST:: SOT 13855046 SOS 10898945 HAS SOPS 10897575 HAS SOUS 937831 HAS SOUPS 936639 WITH SCORE 947537.945
AT ITER 2481 NEW BEST:: SOT 13857865 SOS 10901764 HAS SOPS 10900394 HAS SOUS 937379 HAS SOUPS 936187 WITH SCORE 947088.764
AT ITER 2503 NEW BEST:: SOT 13857865 SOS 10902154 HAS SOPS 10900784 HAS SOUS 937373 HAS SOUPS 936181 WITH SCORE 947083.154
AT ITER 2521 NEW BEST:: SOT 13857865 SOS 10901938 HAS SOPS 10900568 HAS SOUS 937009 HAS SOUPS 935817 WITH SCORE 946718.938
AT ITER 2545 NEW BEST:: SOT 13857853 SOS 10901926 HAS SOPS 10900556 HAS SOUS 936234 HAS SOUPS 935042 WITH SCORE 945943.926
AT ITER 2580 NEW BEST:: SOT 13857800 SOS 10900413 HAS SOPS 10899043 HAS SOUS 936234 HAS SOUPS 935042 WITH SCORE 945942.413
AT ITER 2586 NEW BEST:: SOT 13866002 SOS 10908615 HAS SOPS 10907245 HAS SOUS 928239 HAS SOUPS 927047 WITH SCORE 937955.615
AT ITER 2588 NEW BEST:: SOT 13865959 SOS 10908572 HAS SOPS 10907202 HAS SOUS 928235 HAS SOUPS 927043 WITH SCORE 937951.572
AT ITER 2590 NEW BEST:: SOT 13865959 SOS 10908544 HAS SOPS 10907174 HAS SOUS 928235 HAS SOUPS 927043 WITH SCORE 937951.544
AT ITER 2593 NEW BEST:: SOT 13865959 SOS 10907032 HAS SOPS 10905662 HAS SOUS 928235 HAS SOUPS 927043 WITH SCORE 937950.032
AT ITER 2595 NEW BEST:: SOT 13864194 SOS 10905267 HAS SOPS 10903897 HAS SOUS 926914 HAS SOUPS 925722 WITH SCORE 936627.267
AT ITER 2599 NEW BEST:: SOT 13864194 SOS 10905470 HAS SOPS 10903879 HAS SOUS 926693 HAS SOUPS 925501 WITH SCORE 936406.47
AT ITER 2613 NEW BEST:: SOT 13864194 SOS 10916630 HAS SOPS 10915039 HAS SOUS 926667 HAS SOUPS 925475 WITH SCORE 936391.63
AT ITER 2633 NEW BEST:: SOT 13864200 SOS 10916636 HAS SOPS 10915045 HAS SOUS 923833 HAS SOUPS 922641 WITH SCORE 933557.636
AT ITER 2645 NEW BEST:: SOT 13864200 SOS 10901287 HAS SOPS 10899696 HAS SOUS 923624 HAS SOUPS 922432 WITH SCORE 933333.287
AT ITER 2650 NEW BEST:: SOT 13864200 SOS 10891495 HAS SOPS 10889904 HAS SOUS 923624 HAS SOUPS 922432 WITH SCORE 933323.495
AT ITER 2662 NEW BEST:: SOT 13864189 SOS 10891484 HAS SOPS 10889893 HAS SOUS 923534 HAS SOUPS 922342 WITH SCORE 933233.484
AT ITER 2710 NEW BEST:: SOT 13866336 SOS 10893578 HAS SOPS 10891987 HAS SOUS 920882 HAS SOUPS 919690 WITH SCORE 930583.578
AT ITER 2725 NEW BEST:: SOT 13866336 SOS 10893578 HAS SOPS 10891987 HAS SOUS 920878 HAS SOUPS 919686 WITH SCORE 930579.578
AT ITER 2731 NEW BEST:: SOT 13866336 SOS 10885802 HAS SOPS 10884211 HAS SOUS 920878 HAS SOUPS 919686 WITH SCORE 930571.802
AT ITER 2739 NEW BEST:: SOT 13861743 SOS 10881209 HAS SOPS 10879618 HAS SOUS 917222 HAS SOUPS 916030 WITH SCORE 926911.209
AT ITER 2759 NEW BEST:: SOT 13860472 SOS 10879938 HAS SOPS 10878347 HAS SOUS 916354 HAS SOUPS 915162 WITH SCORE 926041.938
AT ITER 2762 NEW BEST:: SOT 13860476 SOS 10879942 HAS SOPS 10878351 HAS SOUS 916136 HAS SOUPS 914944 WITH SCORE 925823.942
AT ITER 2764 NEW BEST:: SOT 13860774 SOS 10880235 HAS SOPS 10878644 HAS SOUS 911389 HAS SOUPS 910197 WITH SCORE 921077.235
AT ITER 2784 NEW BEST:: SOT 13860667 SOS 10887808 HAS SOPS 10886217 HAS SOUS 911282 HAS SOUPS 910090 WITH SCORE 920977.808
AT ITER 2792 NEW BEST:: SOT 13860667 SOS 10887680 HAS SOPS 10886089 HAS SOUS 911164 HAS SOUPS 909972 WITH SCORE 920859.68
AT ITER 2798 NEW BEST:: SOT 13860667 SOS 10905908 HAS SOPS 10904317 HAS SOUS 907782 HAS SOUPS 906590 WITH SCORE 917495.908
AT ITER 2807 NEW BEST:: SOT 13860667 SOS 10896476 HAS SOPS 10894885 HAS SOUS 907782 HAS SOUPS 906590 WITH SCORE 917486.476
AT ITER 2812 NEW BEST:: SOT 13860667 SOS 10885376 HAS SOPS 10883785 HAS SOUS 907632 HAS SOUPS 906440 WITH SCORE 917325.376
AT ITER 2840 NEW BEST:: SOT 13861989 SOS 10886646 HAS SOPS 10885055 HAS SOUS 903018 HAS SOUPS 901826 WITH SCORE 912712.646
AT ITER 2869 NEW BEST:: SOT 13861989 SOS 10885462 HAS SOPS 10883871 HAS SOUS 903002 HAS SOUPS 901810 WITH SCORE 912695.462
AT ITER 2873 NEW BEST:: SOT 13860915 SOS 10884388 HAS SOPS 10882797 HAS SOUS 902285 HAS SOUPS 901093 WITH SCORE 911977.388
AT ITER 2903 NEW BEST:: SOT 13860880 SOS 10884353 HAS SOPS 10882762 HAS SOUS 902250 HAS SOUPS 901058 WITH SCORE 911942.353
AT ITER 2918 NEW BEST:: SOT 13860880 SOS 10884182 HAS SOPS 10882591 HAS SOUS 902121 HAS SOUPS 900929 WITH SCORE 911813.182
AT ITER 2945 NEW BEST:: SOT 13860969 SOS 10888041 HAS SOPS 10886450 HAS SOUS 902057 HAS SOUPS 900865 WITH SCORE 911753.041
AT ITER 2995 NEW BEST:: SOT 13860969 SOS 10887831 HAS SOPS 10886240 HAS SOUS 902027 HAS SOUPS 900835 WITH SCORE 911722.831
AT ITER 3003 NEW BEST:: SOT 13860969 SOS 10887731 HAS SOPS 10886140 HAS SOUS 902027 HAS SOUPS 900835 WITH SCORE 911722.731
AT ITER 3008 NEW BEST:: SOT 13860969 SOS 10887444 HAS SOPS 10885853 HAS SOUS 901914 HAS SOUPS 900722 WITH SCORE 911609.444
AT ITER 3050 NEW BEST:: SOT 13860876 SOS 10887351 HAS SOPS 10885760 HAS SOUS 901868 HAS SOUPS 900676 WITH SCORE 911563.351
AT ITER 3063 NEW BEST:: SOT 13860876 SOS 10883679 HAS SOPS 10882088 HAS SOUS 901868 HAS SOUPS 900676 WITH SCORE 911559.679
AT ITER 3077 NEW BEST:: SOT 13860817 SOS 10883620 HAS SOPS 10882029 HAS SOUS 901868 HAS SOUPS 900676 WITH SCORE 911559.62
AT ITER 3086 NEW BEST:: SOT 13859065 SOS 10880182 HAS SOPS 10878533 HAS SOUS 899777 HAS SOUPS 898556 WITH SCORE 909436.182
AT ITER 3110 NEW BEST:: SOT 13859015 SOS 10880132 HAS SOPS 10878483 HAS SOUS 899709 HAS SOUPS 898488 WITH SCORE 909368.132
AT ITER 3124 NEW BEST:: SOT 13859015 SOS 10880132 HAS SOPS 10878483 HAS SOUS 899683 HAS SOUPS 898462 WITH SCORE 909342.132
AT ITER 3126 NEW BEST:: SOT 13859015 SOS 10870412 HAS SOPS 10868763 HAS SOUS 899683 HAS SOUPS 898462 WITH SCORE 909332.412
AT ITER 3144 NEW BEST:: SOT 13859015 SOS 10870052 HAS SOPS 10868403 HAS SOUS 899678 HAS SOUPS 898457 WITH SCORE 909327.052
AT ITER 3152 NEW BEST:: SOT 13859015 SOS 10877990 HAS SOPS 10876341 HAS SOUS 899623 HAS SOUPS 898402 WITH SCORE 909279.99
AT ITER 3160 NEW BEST:: SOT 13859015 SOS 10878206 HAS SOPS 10876557 HAS SOUS 899595 HAS SOUPS 898374 WITH SCORE 909252.206
AT ITER 3171 NEW BEST:: SOT 13855927 SOS 10875120 HAS SOPS 10873471 HAS SOUS 897094 HAS SOUPS 895873 WITH SCORE 906748.12
AT ITER 3173 NEW BEST:: SOT 13852559 SOS 10871752 HAS SOPS 10870103 HAS SOUS 894210 HAS SOUPS 892989 WITH SCORE 903860.752
AT ITER 3184 NEW BEST:: SOT 13860079 SOS 10879303 HAS SOPS 10877654 HAS SOUS 892294 HAS SOUPS 891073 WITH SCORE 901952.303
AT ITER 3187 NEW BEST:: SOT 13860079 SOS 10132528 HAS SOPS 10130879 HAS SOUS 892145 HAS SOUPS 890924 WITH SCORE 901056.528
AT ITER 3204 NEW BEST:: SOT 13860079 SOS 10128064 HAS SOPS 10126415 HAS SOUS 892145 HAS SOUPS 890924 WITH SCORE 901052.064
AT ITER 3206 NEW BEST:: SOT 13863199 SOS 10131184 HAS SOPS 10129535 HAS SOUS 891595 HAS SOUPS 890374 WITH SCORE 900505.184
AT ITER 3210 NEW BEST:: SOT 13863199 SOS 10126576 HAS SOPS 10124927 HAS SOUS 891595 HAS SOUPS 890374 WITH SCORE 900500.576
AT ITER 3224 NEW BEST:: SOT 13863244 SOS 10127876 HAS SOPS 10126227 HAS SOUS 891561 HAS SOUPS 890340 WITH SCORE 900467.876
AT ITER 3243 NEW BEST:: SOT 13863244 SOS 10119190 HAS SOPS 10117541 HAS SOUS 891410 HAS SOUPS 890189 WITH SCORE 900308.19
AT ITER 3250 NEW BEST:: SOT 13863030 SOS 10118976 HAS SOPS 10117327 HAS SOUS 890976 HAS SOUPS 889755 WITH SCORE 899873.976
AT ITER 3273 NEW BEST:: SOT 13861065 SOS 10114330 HAS SOPS 10112681 HAS SOUS 889703 HAS SOUPS 888482 WITH SCORE 898596.33
AT ITER 3278 NEW BEST:: SOT 13862190 SOS 10114978 HAS SOPS 10113411 HAS SOUS 886902 HAS SOUPS 885763 WITH SCORE 895877.978
AT ITER 3281 NEW BEST:: SOT 13860974 SOS 10113762 HAS SOPS 10112195 HAS SOUS 885996 HAS SOUPS 884857 WITH SCORE 894970.762
AT ITER 3296 NEW BEST:: SOT 13860859 SOS 10113647 HAS SOPS 10112080 HAS SOUS 885762 HAS SOUPS 884623 WITH SCORE 894736.647
AT ITER 3307 NEW BEST:: SOT 13862456 SOS 10115244 HAS SOPS 10113677 HAS SOUS 885107 HAS SOUPS 883968 WITH SCORE 894083.244
AT ITER 3308 NEW BEST:: SOT 13855020 SOS 8400434 HAS SOPS 8398042 HAS SOUS 875858 HAS SOUPS 874710 WITH SCORE 883110.434
AT ITER 3316 NEW BEST:: SOT 13854537 SOS 8399951 HAS SOPS 8397559 HAS SOUS 875475 HAS SOUPS 874327 WITH SCORE 882726.951
AT ITER 3325 NEW BEST:: SOT 13854537 SOS 8399951 HAS SOPS 8397559 HAS SOUS 875347 HAS SOUPS 874199 WITH SCORE 882598.951
AT ITER 3328 NEW BEST:: SOT 13855177 SOS 8404371 HAS SOPS 8401979 HAS SOUS 873719 HAS SOUPS 872571 WITH SCORE 880975.371
AT ITER 3335 NEW BEST:: SOT 13855177 SOS 8404371 HAS SOPS 8401979 HAS SOUS 873706 HAS SOUPS 872558 WITH SCORE 880962.371
AT ITER 3336 NEW BEST:: SOT 13855488 SOS 8404661 HAS SOPS 8402269 HAS SOUS 873437 HAS SOUPS 872289 WITH SCORE 880693.661
AT ITER 3342 NEW BEST:: SOT 13854868 SOS 8405059 HAS SOPS 8402912 HAS SOUS 869065 HAS SOUPS 868162 WITH SCORE 876567.059
AT ITER 3347 NEW BEST:: SOT 13854868 SOS 8403619 HAS SOPS 8401472 HAS SOUS 869065 HAS SOUPS 868162 WITH SCORE 876565.619
AT ITER 3351 NEW BEST:: SOT 13854868 SOS 8402222 HAS SOPS 8400075 HAS SOUS 869054 HAS SOUPS 868151 WITH SCORE 876553.222
AT ITER 3352 NEW BEST:: SOT 13856358 SOS 8403791 HAS SOPS 8401644 HAS SOUS 867084 HAS SOUPS 866181 WITH SCORE 874584.791
AT ITER 3380 NEW BEST:: SOT 13855890 SOS 8403212 HAS SOPS 8401082 HAS SOUS 866055 HAS SOUPS 865169 WITH SCORE 873572.212
AT ITER 3403 NEW BEST:: SOT 13855890 SOS 8403450 HAS SOPS 8401320 HAS SOUS 865976 HAS SOUPS 865090 WITH SCORE 873493.45
AT ITER 3407 NEW BEST:: SOT 13861300 SOS 8409826 HAS SOPS 8407696 HAS SOUS 864816 HAS SOUPS 863930 WITH SCORE 872339.826
AT ITER 3411 NEW BEST:: SOT 13861300 SOS 8410808 HAS SOPS 8408678 HAS SOUS 864290 HAS SOUPS 863404 WITH SCORE 871814.808
AT ITER 3432 NEW BEST:: SOT 13861310 SOS 8413295 HAS SOPS 8411373 HAS SOUS 862893 HAS SOUPS 862215 WITH SCORE 870628.295
AT ITER 3442 NEW BEST:: SOT 13861281 SOS 8413266 HAS SOPS 8411344 HAS SOUS 862878 HAS SOUPS 862200 WITH SCORE 870613.266
AT ITER 3443 NEW BEST:: SOT 13861281 SOS 8412960 HAS SOPS 8411038 HAS SOUS 862678 HAS SOUPS 862000 WITH SCORE 870412.96
AT ITER 3455 NEW BEST:: SOT 13867906 SOS 8419731 HAS SOPS 8417809 HAS SOUS 859922 HAS SOUPS 859244 WITH SCORE 867663.731
AT ITER 3480 NEW BEST:: SOT 13864286 SOS 8416206 HAS SOPS 8414284 HAS SOUS 852961 HAS SOUPS 852283 WITH SCORE 860699.206
AT ITER 3511 NEW BEST:: SOT 13864286 SOS 8416180 HAS SOPS 8414258 HAS SOUS 852948 HAS SOUPS 852270 WITH SCORE 860686.18
AT ITER 3530 NEW BEST:: SOT 13864286 SOS 8416180 HAS SOPS 8414258 HAS SOUS 852722 HAS SOUPS 852044 WITH SCORE 860460.18
AT ITER 3539 NEW BEST:: SOT 13864286 SOS 8414888 HAS SOPS 8412966 HAS SOUS 852722 HAS SOUPS 852044 WITH SCORE 860458.888
AT ITER 3550 NEW BEST:: SOT 13864202 SOS 8414804 HAS SOPS 8412882 HAS SOUS 852659 HAS SOUPS 851981 WITH SCORE 860395.804
AT ITER 3566 NEW BEST:: SOT 13863643 SOS 8414245 HAS SOPS 8412323 HAS SOUS 851299 HAS SOUPS 850621 WITH SCORE 859035.245
AT ITER 3570 NEW BEST:: SOT 13860434 SOS 8411036 HAS SOPS 8409114 HAS SOUS 847912 HAS SOUPS 847234 WITH SCORE 855645.036
AT ITER 3595 NEW BEST:: SOT 13860438 SOS 8411040 HAS SOPS 8409118 HAS SOUS 847904 HAS SOUPS 847226 WITH SCORE 855637.04
AT ITER 3603 NEW BEST:: SOT 13860438 SOS 8409690 HAS SOPS 8407768 HAS SOUS 847904 HAS SOUPS 847226 WITH SCORE 855635.69
AT ITER 3624 NEW BEST:: SOT 13857089 SOS 8406341 HAS SOPS 8404419 HAS SOUS 847228 HAS SOUPS 846550 WITH SCORE 854956.341
AT ITER 3651 NEW BEST:: SOT 13857129 SOS 8023840 HAS SOPS 8021918 HAS SOUS 847365 HAS SOUPS 846687 WITH SCORE 854710.84
AT ITER 3668 NEW BEST:: SOT 13858835 SOS 8025546 HAS SOPS 8023624 HAS SOUS 846501 HAS SOUPS 845823 WITH SCORE 853848.546
AT ITER 3680 NEW BEST:: SOT 13858835 SOS 8025330 HAS SOPS 8023408 HAS SOUS 846501 HAS SOUPS 845823 WITH SCORE 853848.33
AT ITER 3682 NEW BEST:: SOT 13857006 SOS 8023501 HAS SOPS 8021579 HAS SOUS 844990 HAS SOUPS 844312 WITH SCORE 852335.501
AT ITER 3694 NEW BEST:: SOT 13853117 SOS 8025840 HAS SOPS 8023918 HAS SOUS 841523 HAS SOUPS 840845 WITH SCORE 848870.84
AT ITER 3698 NEW BEST:: SOT 13853090 SOS 8025813 HAS SOPS 8023891 HAS SOUS 841451 HAS SOUPS 840773 WITH SCORE 848798.813
AT ITER 3707 NEW BEST:: SOT 13853090 SOS 8025787 HAS SOPS 8023865 HAS SOUS 841338 HAS SOUPS 840660 WITH SCORE 848685.787
AT ITER 3713 NEW BEST:: SOT 13853090 SOS 8025715 HAS SOPS 8023793 HAS SOUS 841302 HAS SOUPS 840624 WITH SCORE 848649.715
AT ITER 3723 NEW BEST:: SOT 13853090 SOS 8025709 HAS SOPS 8023787 HAS SOUS 841296 HAS SOUPS 840618 WITH SCORE 848643.709
AT ITER 3731 NEW BEST:: SOT 13850496 SOS 8023115 HAS SOPS 8021193 HAS SOUS 839259 HAS SOUPS 838581 WITH SCORE 846604.115
AT ITER 3747 NEW BEST:: SOT 13849190 SOS 8022290 HAS SOPS 8020368 HAS SOUS 837089 HAS SOUPS 836411 WITH SCORE 844433.29
AT ITER 3751 NEW BEST:: SOT 13849190 SOS 8022290 HAS SOPS 8020368 HAS SOUS 837039 HAS SOUPS 836361 WITH SCORE 844383.29
AT ITER 3765 NEW BEST:: SOT 13849190 SOS 8023968 HAS SOPS 8022046 HAS SOUS 837035 HAS SOUPS 836357 WITH SCORE 844380.968
AT ITER 3801 NEW BEST:: SOT 13849190 SOS 8023846 HAS SOPS 8021924 HAS SOUS 836913 HAS SOUPS 836235 WITH SCORE 844258.846
AT ITER 3824 NEW BEST:: SOT 13849087 SOS 8023743 HAS SOPS 8021821 HAS SOUS 836716 HAS SOUPS 836038 WITH SCORE 844061.743
AT ITER 3826 NEW BEST:: SOT 13850369 SOS 8025025 HAS SOPS 8023103 HAS SOUS 835659 HAS SOUPS 834981 WITH SCORE 843006.025
AT ITER 3834 NEW BEST:: SOT 13850345 SOS 8025001 HAS SOPS 8023079 HAS SOUS 835635 HAS SOUPS 834957 WITH SCORE 842982.001
AT ITER 3847 NEW BEST:: SOT 13850345 SOS 8020393 HAS SOPS 8018471 HAS SOUS 835635 HAS SOUPS 834957 WITH SCORE 842977.393
AT ITER 3848 NEW BEST:: SOT 13849791 SOS 8019839 HAS SOPS 8017917 HAS SOUS 834585 HAS SOUPS 833907 WITH SCORE 841926.839
AT ITER 3850 NEW BEST:: SOT 13850795 SOS 8020843 HAS SOPS 8018921 HAS SOUS 833709 HAS SOUPS 833031 WITH SCORE 841051.843
AT ITER 3860 NEW BEST:: SOT 13850472 SOS 8020520 HAS SOPS 8018598 HAS SOUS 830453 HAS SOUPS 829775 WITH SCORE 837795.52
AT ITER 3920 NEW BEST:: SOT 13850472 SOS 8018681 HAS SOPS 8016759 HAS SOUS 830429 HAS SOUPS 829751 WITH SCORE 837769.681
AT ITER 3934 NEW BEST:: SOT 13850371 SOS 8018580 HAS SOPS 8016658 HAS SOUS 830175 HAS SOUPS 829497 WITH SCORE 837515.58
AT ITER 3947 NEW BEST:: SOT 13849051 SOS 8017260 HAS SOPS 8015338 HAS SOUS 827664 HAS SOUPS 826986 WITH SCORE 835003.26
AT ITER 3969 NEW BEST:: SOT 13849048 SOS 8017257 HAS SOPS 8015335 HAS SOUS 827657 HAS SOUPS 826979 WITH SCORE 834996.257
AT ITER 3978 NEW BEST:: SOT 13849048 SOS 8017255 HAS SOPS 8015333 HAS SOUS 827655 HAS SOUPS 826977 WITH SCORE 834994.255
AT ITER 4008 NEW BEST:: SOT 13848741 SOS 8016948 HAS SOPS 8015026 HAS SOUS 827398 HAS SOUPS 826720 WITH SCORE 834736.948
AT ITER 4050 NEW BEST:: SOT 13845331 SOS 8016118 HAS SOPS 8014196 HAS SOUS 824946 HAS SOUPS 824268 WITH SCORE 832284.118
AT ITER 4062 NEW BEST:: SOT 13845331 SOS 8012086 HAS SOPS 8010164 HAS SOUS 824946 HAS SOUPS 824268 WITH SCORE 832280.086
AT ITER 4066 NEW BEST:: SOT 13845269 SOS 8012024 HAS SOPS 8010102 HAS SOUS 824848 HAS SOUPS 824170 WITH SCORE 832182.024
AT ITER 4074 NEW BEST:: SOT 13845269 SOS 8011882 HAS SOPS 8009960 HAS SOUS 824706 HAS SOUPS 824028 WITH SCORE 832039.882
AT ITER 4098 NEW BEST:: SOT 13845269 SOS 8011882 HAS SOPS 8009960 HAS SOUS 824684 HAS SOUPS 824006 WITH SCORE 832017.882
AT ITER 4113 NEW BEST:: SOT 13845274 SOS 8011705 HAS SOPS 8009783 HAS SOUS 824674 HAS SOUPS 823996 WITH SCORE 832007.705
AT ITER 4126 NEW BEST:: SOT 13843136 SOS 8009567 HAS SOPS 8007645 HAS SOUS 822624 HAS SOUPS 821946 WITH SCORE 829955.567
AT ITER 4136 NEW BEST:: SOT 13843116 SOS 8009547 HAS SOPS 8007625 HAS SOUS 822564 HAS SOUPS 821886 WITH SCORE 829895.547
AT ITER 4143 NEW BEST:: SOT 13843196 SOS 8014545 HAS SOPS 8012623 HAS SOUS 818140 HAS SOUPS 817462 WITH SCORE 825476.545
AT ITER 4152 NEW BEST:: SOT 13843778 SOS 8015127 HAS SOPS 8013205 HAS SOUS 817256 HAS SOUPS 816578 WITH SCORE 824593.127
AT ITER 4161 NEW BEST:: SOT 13843970 SOS 8015311 HAS SOPS 8013389 HAS SOUS 816654 HAS SOUPS 815976 WITH SCORE 823991.311
AT ITER 4163 NEW BEST:: SOT 13843939 SOS 8010350 HAS SOPS 8008428 HAS SOUS 816623 HAS SOUPS 815945 WITH SCORE 823955.35
AT ITER 4188 NEW BEST:: SOT 13844335 SOS 8010746 HAS SOPS 8008824 HAS SOUS 816617 HAS SOUPS 815939 WITH SCORE 823949.746
AT ITER 4205 NEW BEST:: SOT 13844335 SOS 8009914 HAS SOPS 8007992 HAS SOUS 816617 HAS SOUPS 815939 WITH SCORE 823948.914
AT ITER 4208 NEW BEST:: SOT 13843397 SOS 8008976 HAS SOPS 8007054 HAS SOUS 814787 HAS SOUPS 814109 WITH SCORE 822117.976
AT ITER 4219 NEW BEST:: SOT 13843378 SOS 8008957 HAS SOPS 8007035 HAS SOUS 814689 HAS SOUPS 814011 WITH SCORE 822019.957
AT ITER 4225 NEW BEST:: SOT 13842116 SOS 8007695 HAS SOPS 8005773 HAS SOUS 814213 HAS SOUPS 813535 WITH SCORE 821542.695
AT ITER 4228 NEW BEST:: SOT 13842116 SOS 8006806 HAS SOPS 8004884 HAS SOUS 814038 HAS SOUPS 813360 WITH SCORE 821366.806
AT ITER 4233 NEW BEST:: SOT 13845628 SOS 8010356 HAS SOPS 8008434 HAS SOUS 813582 HAS SOUPS 812904 WITH SCORE 820914.356
AT ITER 4238 NEW BEST:: SOT 13845628 SOS 8009964 HAS SOPS 8008042 HAS SOUS 813582 HAS SOUPS 812904 WITH SCORE 820913.964
AT ITER 4255 NEW BEST:: SOT 13845608 SOS 8008704 HAS SOPS 8006782 HAS SOUS 813582 HAS SOUPS 812904 WITH SCORE 820912.704
AT ITER 4285 NEW BEST:: SOT 13845608 SOS 8008468 HAS SOPS 8006546 HAS SOUS 813424 HAS SOUPS 812746 WITH SCORE 820754.468
AT ITER 4317 NEW BEST:: SOT 13844242 SOS 8007143 HAS SOPS 8005221 HAS SOUS 810809 HAS SOUPS 810131 WITH SCORE 818138.143
AT ITER 4319 NEW BEST:: SOT 13843624 SOS 8006525 HAS SOPS 8004603 HAS SOUS 810311 HAS SOUPS 809633 WITH SCORE 817639.525
AT ITER 4328 NEW BEST:: SOT 13843624 SOS 8001524 HAS SOPS 7999602 HAS SOUS 810122 HAS SOUPS 809444 WITH SCORE 817445.524
AT ITER 4336 NEW BEST:: SOT 13843731 SOS 8001684 HAS SOPS 7999762 HAS SOUS 809430 HAS SOUPS 808752 WITH SCORE 816753.684
AT ITER 4339 NEW BEST:: SOT 13847917 SOS 8005661 HAS SOPS 8003804 HAS SOUS 808115 HAS SOUPS 807502 WITH SCORE 815507.661
AT ITER 4346 NEW BEST:: SOT 13845056 SOS 8002800 HAS SOPS 8000943 HAS SOUS 805532 HAS SOUPS 804919 WITH SCORE 812921.8
AT ITER 4388 NEW BEST:: SOT 13845056 SOS 7999488 HAS SOPS 7997631 HAS SOUS 805532 HAS SOUPS 804919 WITH SCORE 812918.488
AT ITER 4395 NEW BEST:: SOT 13845056 SOS 7999342 HAS SOPS 7997485 HAS SOUS 805459 HAS SOUPS 804846 WITH SCORE 812845.342
AT ITER 4426 NEW BEST:: SOT 13844547 SOS 7998833 HAS SOPS 7996976 HAS SOUS 804521 HAS SOUPS 803908 WITH SCORE 811906.833
AT ITER 4428 NEW BEST:: SOT 13844397 SOS 7998683 HAS SOPS 7996826 HAS SOUS 804221 HAS SOUPS 803608 WITH SCORE 811606.683
AT ITER 4438 NEW BEST:: SOT 13841807 SOS 7996072 HAS SOPS 7994215 HAS SOUS 803294 HAS SOUPS 802681 WITH SCORE 810677.072
AT ITER 4483 NEW BEST:: SOT 13841586 SOS 7995851 HAS SOPS 7993994 HAS SOUS 803282 HAS SOUPS 802669 WITH SCORE 810664.851
AT ITER 4490 NEW BEST:: SOT 13846113 SOS 8000429 HAS SOPS 7998572 HAS SOUS 803178 HAS SOUPS 802565 WITH SCORE 810565.429
AT ITER 4497 NEW BEST:: SOT 13846209 SOS 8000665 HAS SOPS 7998808 HAS SOUS 803170 HAS SOUPS 802557 WITH SCORE 810557.665
AT ITER 4512 NEW BEST:: SOT 13846109 SOS 8000565 HAS SOPS 7998708 HAS SOUS 803093 HAS SOUPS 802480 WITH SCORE 810480.565
AT ITER 4518 NEW BEST:: SOT 13846212 SOS 8000650 HAS SOPS 7998793 HAS SOUS 803075 HAS SOUPS 802462 WITH SCORE 810462.65
AT ITER 4530 NEW BEST:: SOT 13846212 SOS 7999909 HAS SOPS 7998052 HAS SOUS 802987 HAS SOUPS 802374 WITH SCORE 810373.909
AT ITER 4534 NEW BEST:: SOT 13842586 SOS 7996283 HAS SOPS 7994426 HAS SOUS 799503 HAS SOUPS 798890 WITH SCORE 806886.283
AT ITER 4563 NEW BEST:: SOT 13842328 SOS 7993817 HAS SOPS 7992272 HAS SOUS 798954 HAS SOUPS 798403 WITH SCORE 806396.817
AT ITER 4572 NEW BEST:: SOT 13842352 SOS 7992061 HAS SOPS 7990511 HAS SOUS 798957 HAS SOUPS 798401 WITH SCORE 806393.061
AT ITER 4604 NEW BEST:: SOT 13842352 SOS 7992061 HAS SOPS 7990511 HAS SOUS 798927 HAS SOUPS 798371 WITH SCORE 806363.061
AT ITER 4612 NEW BEST:: SOT 13842352 SOS 7993117 HAS SOPS 7991567 HAS SOUS 798857 HAS SOUPS 798301 WITH SCORE 806294.117
AT ITER 4614 NEW BEST:: SOT 13840371 SOS 7991136 HAS SOPS 7989586 HAS SOUS 796811 HAS SOUPS 796255 WITH SCORE 804246.136
AT ITER 4615 NEW BEST:: SOT 13840431 SOS 7991196 HAS SOPS 7989646 HAS SOUS 796801 HAS SOUPS 796245 WITH SCORE 804236.196
AT ITER 4625 NEW BEST:: SOT 13840431 SOS 7991191 HAS SOPS 7989641 HAS SOUS 796796 HAS SOUPS 796240 WITH SCORE 804231.191
AT ITER 4631 NEW BEST:: SOT 13841027 SOS 7991787 HAS SOPS 7990237 HAS SOUS 796219 HAS SOUPS 795663 WITH SCORE 803654.787
AT ITER 4675 NEW BEST:: SOT 13843037 SOS 7993797 HAS SOPS 7992247 HAS SOUS 795407 HAS SOUPS 794851 WITH SCORE 802844.797
AT ITER 4677 NEW BEST:: SOT 13843036 SOS 7993796 HAS SOPS 7992246 HAS SOUS 795405 HAS SOUPS 794849 WITH SCORE 802842.796
AT ITER 4686 NEW BEST:: SOT 13842974 SOS 7993734 HAS SOPS 7992184 HAS SOUS 795343 HAS SOUPS 794787 WITH SCORE 802780.734
AT ITER 4714 NEW BEST:: SOT 13842974 SOS 7993656 HAS SOPS 7992106 HAS SOUS 795343 HAS SOUPS 794787 WITH SCORE 802780.656
AT ITER 4730 NEW BEST:: SOT 13844849 SOS 7995621 HAS SOPS 7994161 HAS SOUS 795115 HAS SOUPS 794559 WITH SCORE 802554.621
AT ITER 4753 NEW BEST:: SOT 13843190 SOS 8009843 HAS SOPS 8008383 HAS SOUS 793789 HAS SOUPS 793233 WITH SCORE 801242.843
AT ITER 4784 NEW BEST:: SOT 13845089 SOS 8011742 HAS SOPS 8010282 HAS SOUS 792842 HAS SOUPS 792286 WITH SCORE 800297.742
AT ITER 4798 NEW BEST:: SOT 13844493 SOS 8011146 HAS SOPS 8009686 HAS SOUS 791734 HAS SOUPS 791178 WITH SCORE 799189.146
AT ITER 4823 NEW BEST:: SOT 13844493 SOS 8015538 HAS SOPS 8014078 HAS SOUS 791673 HAS SOUPS 791117 WITH SCORE 799132.538
AT ITER 4826 NEW BEST:: SOT 13844316 SOS 8015361 HAS SOPS 8013901 HAS SOUS 790302 HAS SOUPS 789746 WITH SCORE 797761.361
AT ITER 4852 NEW BEST:: SOT 13844316 SOS 8015361 HAS SOPS 8013901 HAS SOUS 790266 HAS SOUPS 789710 WITH SCORE 797725.361
AT ITER 4862 NEW BEST:: SOT 13839697 SOS 8010742 HAS SOPS 8009282 HAS SOUS 786673 HAS SOUPS 786117 WITH SCORE 794127.742
AT ITER 4910 NEW BEST:: SOT 13839844 SOS 8011029 HAS SOPS 8009569 HAS SOUS 786551 HAS SOUPS 785995 WITH SCORE 794006.029
AT ITER 4917 NEW BEST:: SOT 13839882 SOS 8011066 HAS SOPS 8009606 HAS SOUS 786244 HAS SOUPS 785688 WITH SCORE 793699.066
AT ITER 4929 NEW BEST:: SOT 13839848 SOS 8009750 HAS SOPS 8008290 HAS SOUS 785884 HAS SOUPS 785328 WITH SCORE 793337.75
AT ITER 4974 NEW BEST:: SOT 13839848 SOS 8008254 HAS SOPS 8006794 HAS SOUS 785867 HAS SOUPS 785311 WITH SCORE 793319.254
AT ITER 4984 NEW BEST:: SOT 13839643 SOS 8008049 HAS SOPS 8006589 HAS SOUS 785686 HAS SOUPS 785130 WITH SCORE 793138.049
AT ITER 4991 NEW BEST:: SOT 13839643 SOS 8007852 HAS SOPS 8006392 HAS SOUS 785675 HAS SOUPS 785119 WITH SCORE 793126.852
AT ITER 5017 NEW BEST:: SOT 13838023 SOS 8006248 HAS SOPS 8004788 HAS SOUS 785366 HAS SOUPS 784810 WITH SCORE 792816.248
AT ITER 5023 NEW BEST:: SOT 13838023 SOS 8006232 HAS SOPS 8004772 HAS SOUS 785366 HAS SOUPS 784810 WITH SCORE 792816.232
AT ITER 5037 NEW BEST:: SOT 13838247 SOS 8006449 HAS SOPS 8004990 HAS SOUS 785279 HAS SOUPS 784724 WITH SCORE 792730.449
AT ITER 5041 NEW BEST:: SOT 13838247 SOS 8005979 HAS SOPS 8004520 HAS SOUS 785279 HAS SOUPS 784724 WITH SCORE 792729.979
AT ITER 5066 NEW BEST:: SOT 13835750 SOS 8003716 HAS SOPS 8002257 HAS SOUS 780139 HAS SOUPS 779584 WITH SCORE 787587.716
AT ITER 5068 NEW BEST:: SOT 13835750 SOS 8003716 HAS SOPS 8002257 HAS SOUS 780088 HAS SOUPS 779533 WITH SCORE 787536.716
AT ITER 5084 NEW BEST:: SOT 13835750 SOS 8003716 HAS SOPS 8002257 HAS SOUS 780075 HAS SOUPS 779520 WITH SCORE 787523.716
AT ITER 5085 NEW BEST:: SOT 13835750 SOS 8003646 HAS SOPS 8002187 HAS SOUS 780004 HAS SOUPS 779449 WITH SCORE 787452.646
AT ITER 5091 NEW BEST:: SOT 13841932 SOS 8017819 HAS SOPS 8016360 HAS SOUS 778876 HAS SOUPS 778321 WITH SCORE 786338.819
AT ITER 5104 NEW BEST:: SOT 13841576 SOS 8027936 HAS SOPS 8026477 HAS SOUS 776790 HAS SOUPS 776235 WITH SCORE 784262.936
AT ITER 5105 NEW BEST:: SOT 13841541 SOS 8027901 HAS SOPS 8026442 HAS SOUS 776755 HAS SOUPS 776200 WITH SCORE 784227.901
AT ITER 5110 NEW BEST:: SOT 13841541 SOS 8027893 HAS SOPS 8026434 HAS SOUS 776751 HAS SOUPS 776196 WITH SCORE 784223.893
AT ITER 5114 NEW BEST:: SOT 13837852 SOS 8024204 HAS SOPS 8022745 HAS SOUS 773599 HAS SOUPS 773044 WITH SCORE 781068.204
AT ITER 5124 NEW BEST:: SOT 13841327 SOS 8048277 HAS SOPS 8046818 HAS SOUS 772612 HAS SOUPS 772057 WITH SCORE 780105.277
AT ITER 5126 NEW BEST:: SOT 13841358 SOS 8048285 HAS SOPS 8046826 HAS SOUS 772078 HAS SOUPS 771523 WITH SCORE 779571.285
AT ITER 5185 NEW BEST:: SOT 13841358 SOS 8047349 HAS SOPS 8045890 HAS SOUS 772052 HAS SOUPS 771497 WITH SCORE 779544.349
AT ITER 5200 NEW BEST:: SOT 13841358 SOS 8047341 HAS SOPS 8045882 HAS SOUS 772050 HAS SOUPS 771495 WITH SCORE 779542.341
AT ITER 5227 NEW BEST:: SOT 13841358 SOS 8047341 HAS SOPS 8045882 HAS SOUS 771991 HAS SOUPS 771436 WITH SCORE 779483.341
AT ITER 5237 NEW BEST:: SOT 13841357 SOS 8047340 HAS SOPS 8045881 HAS SOUS 771990 HAS SOUPS 771435 WITH SCORE 779482.34
AT ITER 5254 NEW BEST:: SOT 13843369 SOS 8049352 HAS SOPS 8047893 HAS SOUS 771514 HAS SOUPS 770959 WITH SCORE 779008.352
AT ITER 5284 NEW BEST:: SOT 13837075 SOS 8043058 HAS SOPS 8041599 HAS SOUS 766995 HAS SOUPS 766440 WITH SCORE 774483.058
AT ITER 5328 NEW BEST:: SOT 13837791 SOS 8043774 HAS SOPS 8042315 HAS SOUS 766271 HAS SOUPS 765716 WITH SCORE 773759.774
AT ITER 5337 NEW BEST:: SOT 13837791 SOS 8034797 HAS SOPS 8033338 HAS SOUS 766186 HAS SOUPS 765631 WITH SCORE 773665.797
AT ITER 5345 NEW BEST:: SOT 13839525 SOS 8037035 HAS SOPS 8035576 HAS SOUS 764868 HAS SOUPS 764313 WITH SCORE 772350.035
AT ITER 5348 NEW BEST:: SOT 13854242 SOS 8064142 HAS SOPS 8062683 HAS SOUS 764098 HAS SOUPS 763543 WITH SCORE 771607.142
AT ITER 5350 NEW BEST:: SOT 13856693 SOS 8066591 HAS SOPS 8065132 HAS SOUS 762351 HAS SOUPS 761796 WITH SCORE 769862.591
AT ITER 5366 NEW BEST:: SOT 13856651 SOS 8066549 HAS SOPS 8065090 HAS SOUS 762291 HAS SOUPS 761736 WITH SCORE 769802.549
AT ITER 5403 NEW BEST:: SOT 13856645 SOS 8066543 HAS SOPS 8065084 HAS SOUS 762285 HAS SOUPS 761730 WITH SCORE 769796.543
AT ITER 5405 NEW BEST:: SOT 13856645 SOS 8067983 HAS SOPS 8066524 HAS SOUS 762265 HAS SOUPS 761710 WITH SCORE 769777.983
AT ITER 5409 NEW BEST:: SOT 13856644 SOS 8067982 HAS SOPS 8066523 HAS SOUS 762264 HAS SOUPS 761709 WITH SCORE 769776.982
AT ITER 5426 NEW BEST:: SOT 13856811 SOS 8068149 HAS SOPS 8066690 HAS SOUS 762209 HAS SOUPS 761654 WITH SCORE 769722.149
AT ITER 5435 NEW BEST:: SOT 13856811 SOS 8068149 HAS SOPS 8066690 HAS SOUS 762203 HAS SOUPS 761648 WITH SCORE 769716.149
AT ITER 5451 NEW BEST:: SOT 13856796 SOS 8068134 HAS SOPS 8066675 HAS SOUS 762188 HAS SOUPS 761633 WITH SCORE 769701.134
AT ITER 5508 NEW BEST:: SOT 13861914 SOS 8073457 HAS SOPS 8071998 HAS SOUS 758564 HAS SOUPS 758009 WITH SCORE 766082.457
AT ITER 5533 NEW BEST:: SOT 13861914 SOS 8073427 HAS SOPS 8071968 HAS SOUS 758564 HAS SOUPS 758009 WITH SCORE 766082.427
AT ITER 5570 NEW BEST:: SOT 13860033 SOS 8071546 HAS SOPS 8070087 HAS SOUS 757043 HAS SOUPS 756488 WITH SCORE 764559.546
AT ITER 5590 NEW BEST:: SOT 13861703 SOS 8073216 HAS SOPS 8071757 HAS SOUS 756093 HAS SOUPS 755538 WITH SCORE 763611.216
AT ITER 5594 NEW BEST:: SOT 13861188 SOS 8072548 HAS SOPS 8071089 HAS SOUS 754736 HAS SOUPS 754181 WITH SCORE 762253.548
AT ITER 5604 NEW BEST:: SOT 13861182 SOS 8072542 HAS SOPS 8071083 HAS SOUS 754730 HAS SOUPS 754175 WITH SCORE 762247.542
AT ITER 5619 NEW BEST:: SOT 13862476 SOS 8073836 HAS SOPS 8072377 HAS SOUS 754625 HAS SOUPS 754070 WITH SCORE 762143.836
AT ITER 5648 NEW BEST:: SOT 13862720 SOS 8128318 HAS SOPS 8125670 HAS SOUS 752301 HAS SOUPS 751218 WITH SCORE 759346.318
AT ITER 5668 NEW BEST:: SOT 13863864 SOS 8129462 HAS SOPS 8126814 HAS SOUS 752084 HAS SOUPS 751001 WITH SCORE 759130.462
AT ITER 5670 NEW BEST:: SOT 13863814 SOS 8129412 HAS SOPS 8126764 HAS SOUS 752034 HAS SOUPS 750951 WITH SCORE 759080.412
AT ITER 5684 NEW BEST:: SOT 13863766 SOS 8129364 HAS SOPS 8126716 HAS SOUS 751937 HAS SOUPS 750854 WITH SCORE 758983.364
AT ITER 5733 NEW BEST:: SOT 13863766 SOS 8129364 HAS SOPS 8126716 HAS SOUS 751933 HAS SOUPS 750850 WITH SCORE 758979.364
AT ITER 5744 NEW BEST:: SOT 13863766 SOS 8122884 HAS SOPS 8120236 HAS SOUS 751933 HAS SOUPS 750850 WITH SCORE 758972.884
AT ITER 5753 NEW BEST:: SOT 13863753 SOS 8122871 HAS SOPS 8120223 HAS SOUS 751920 HAS SOUPS 750837 WITH SCORE 758959.871
AT ITER 5775 NEW BEST:: SOT 13863753 SOS 8122821 HAS SOPS 8120173 HAS SOUS 751895 HAS SOUPS 750812 WITH SCORE 758934.821
AT ITER 5793 NEW BEST:: SOT 13863749 SOS 8122817 HAS SOPS 8120169 HAS SOUS 751891 HAS SOUPS 750808 WITH SCORE 758930.817
AT ITER 5805 NEW BEST:: SOT 13863749 SOS 8122817 HAS SOPS 8120169 HAS SOUS 751873 HAS SOUPS 750790 WITH SCORE 758912.817
AT ITER 5825 NEW BEST:: SOT 13863779 SOS 8122847 HAS SOPS 8120199 HAS SOUS 751831 HAS SOUPS 750748 WITH SCORE 758870.847
AT ITER 5843 NEW BEST:: SOT 13860892 SOS 8119960 HAS SOPS 8117312 HAS SOUS 750595 HAS SOUPS 749512 WITH SCORE 757631.96
AT ITER 5862 NEW BEST:: SOT 13855540 SOS 8117495 HAS SOPS 8114847 HAS SOUS 745841 HAS SOUPS 744758 WITH SCORE 752875.495
AT ITER 5867 NEW BEST:: SOT 13854210 SOS 8118925 HAS SOPS 8116277 HAS SOUS 743332 HAS SOUPS 742249 WITH SCORE 750367.925
AT ITER 5871 NEW BEST:: SOT 13854210 SOS 8118984 HAS SOPS 8116336 HAS SOUS 743214 HAS SOUPS 742131 WITH SCORE 750249.984
AT ITER 5876 NEW BEST:: SOT 13854138 SOS 8118912 HAS SOPS 8116264 HAS SOUS 743068 HAS SOUPS 741985 WITH SCORE 750103.912
AT ITER 5895 NEW BEST:: SOT 13854138 SOS 8118870 HAS SOPS 8116222 HAS SOUS 742943 HAS SOUPS 741860 WITH SCORE 749978.87
AT ITER 5899 NEW BEST:: SOT 13854138 SOS 8118330 HAS SOPS 8115682 HAS SOUS 742943 HAS SOUPS 741860 WITH SCORE 749978.33
AT ITER 5900 NEW BEST:: SOT 13854117 SOS 8118309 HAS SOPS 8115661 HAS SOUS 742922 HAS SOUPS 741839 WITH SCORE 749957.309
AT ITER 5915 NEW BEST:: SOT 13854117 SOS 8118541 HAS SOPS 8115893 HAS SOUS 742893 HAS SOUPS 741810 WITH SCORE 749928.541
AT ITER 5940 NEW BEST:: SOT 13854100 SOS 8118524 HAS SOPS 8115876 HAS SOUS 742893 HAS SOUPS 741810 WITH SCORE 749928.524
AT ITER 5948 NEW BEST:: SOT 13854100 SOS 8118296 HAS SOPS 8115648 HAS SOUS 742779 HAS SOUPS 741696 WITH SCORE 749814.296
AT ITER 5989 NEW BEST:: SOT 13854028 SOS 8121750 HAS SOPS 8119102 HAS SOUS 742655 HAS SOUPS 741572 WITH SCORE 749693.75
AT ITER 5995 NEW BEST:: SOT 13850794 SOS 8111344 HAS SOPS 8108940 HAS SOUS 742569 HAS SOUPS 741538 WITH SCORE 749649.344
AT ITER 6081 NEW BEST:: SOT 13850792 SOS 8111342 HAS SOPS 8108938 HAS SOUS 742468 HAS SOUPS 741437 WITH SCORE 749548.342
AT ITER 6086 NEW BEST:: SOT 13850950 SOS 8111500 HAS SOPS 8109096 HAS SOUS 742032 HAS SOUPS 741001 WITH SCORE 749112.5
AT ITER 6093 NEW BEST:: SOT 13850950 SOS 8113125 HAS SOPS 8110721 HAS SOUS 742009 HAS SOUPS 740978 WITH SCORE 749091.125
AT ITER 6095 NEW BEST:: SOT 13847928 SOS 8110103 HAS SOPS 8107699 HAS SOUS 739236 HAS SOUPS 738205 WITH SCORE 746315.103
AT ITER 6106 NEW BEST:: SOT 13843634 SOS 8105625 HAS SOPS 8103069 HAS SOUS 738174 HAS SOUPS 737143 WITH SCORE 745248.625
AT ITER 6114 NEW BEST:: SOT 13843634 SOS 8109307 HAS SOPS 8106751 HAS SOUS 738164 HAS SOUPS 737133 WITH SCORE 745242.307
AT ITER 6116 NEW BEST:: SOT 13843381 SOS 8109054 HAS SOPS 8106498 HAS SOUS 737962 HAS SOUPS 736931 WITH SCORE 745040.054
AT ITER 6135 NEW BEST:: SOT 13842220 SOS 8122760 HAS SOPS 8120204 HAS SOUS 737594 HAS SOUPS 736563 WITH SCORE 744685.76
AT ITER 6138 NEW BEST:: SOT 13842400 SOS 8122940 HAS SOPS 8120384 HAS SOUS 734515 HAS SOUPS 733484 WITH SCORE 741606.94
AT ITER 6142 NEW BEST:: SOT 13842383 SOS 8122923 HAS SOPS 8120367 HAS SOUS 734498 HAS SOUPS 733467 WITH SCORE 741589.923
AT ITER 6168 NEW BEST:: SOT 13842383 SOS 8122961 HAS SOPS 8120405 HAS SOUS 734460 HAS SOUPS 733429 WITH SCORE 741551.961
AT ITER 6187 NEW BEST:: SOT 13842383 SOS 8122931 HAS SOPS 8120375 HAS SOUS 734445 HAS SOUPS 733414 WITH SCORE 741536.931
AT ITER 6194 NEW BEST:: SOT 13842383 SOS 8122951 HAS SOPS 8120395 HAS SOUS 734435 HAS SOUPS 733404 WITH SCORE 741526.951
AT ITER 6218 NEW BEST:: SOT 13842083 SOS 8121121 HAS SOPS 8118718 HAS SOUS 733511 HAS SOUPS 732480 WITH SCORE 740601.121
AT ITER 6222 NEW BEST:: SOT 13842083 SOS 8121108 HAS SOPS 8118705 HAS SOUS 733498 HAS SOUPS 732467 WITH SCORE 740588.108
AT ITER 6247 NEW BEST:: SOT 13842083 SOS 8120488 HAS SOPS 8118085 HAS SOUS 733498 HAS SOUPS 732467 WITH SCORE 740587.488
AT ITER 6265 NEW BEST:: SOT 13842083 SOS 8115709 HAS SOPS 8113306 HAS SOUS 733481 HAS SOUPS 732450 WITH SCORE 740565.709
AT ITER 6270 NEW BEST:: SOT 13841449 SOS 8115075 HAS SOPS 8112672 HAS SOUS 732479 HAS SOUPS 731448 WITH SCORE 739563.075
AT ITER 6273 NEW BEST:: SOT 13841285 SOS 8237311 HAS SOPS 8234908 HAS SOUS 732300 HAS SOUPS 731269 WITH SCORE 739506.311
AT ITER 6287 NEW BEST:: SOT 13842057 SOS 8238083 HAS SOPS 8235680 HAS SOUS 732249 HAS SOUPS 731218 WITH SCORE 739456.083
AT ITER 6302 NEW BEST:: SOT 13841638 SOS 8237664 HAS SOPS 8235261 HAS SOUS 731144 HAS SOUPS 730113 WITH SCORE 738350.664
AT ITER 6309 NEW BEST:: SOT 13845517 SOS 8241567 HAS SOPS 8239164 HAS SOUS 730806 HAS SOUPS 729775 WITH SCORE 738016.567
AT ITER 6315 NEW BEST:: SOT 13845517 SOS 8241353 HAS SOPS 8238950 HAS SOUS 730699 HAS SOUPS 729668 WITH SCORE 737909.353
AT ITER 6344 NEW BEST:: SOT 13845517 SOS 8241345 HAS SOPS 8238942 HAS SOUS 730691 HAS SOUPS 729660 WITH SCORE 737901.345
AT ITER 6358 NEW BEST:: SOT 13845517 SOS 8241318 HAS SOPS 8238915 HAS SOUS 730664 HAS SOUPS 729633 WITH SCORE 737874.318
AT ITER 6408 NEW BEST:: SOT 13845634 SOS 8241435 HAS SOPS 8239032 HAS SOUS 730099 HAS SOUPS 729068 WITH SCORE 737309.435
AT ITER 6439 NEW BEST:: SOT 13845634 SOS 8240859 HAS SOPS 8238456 HAS SOUS 730099 HAS SOUPS 729068 WITH SCORE 737308.859
AT ITER 6479 NEW BEST:: SOT 13848201 SOS 8243426 HAS SOPS 8241023 HAS SOUS 729340 HAS SOUPS 728309 WITH SCORE 736552.426
AT ITER 6498 NEW BEST:: SOT 13848201 SOS 8245386 HAS SOPS 8242983 HAS SOUS 729276 HAS SOUPS 728245 WITH SCORE 736490.386
AT ITER 6505 NEW BEST:: SOT 13848033 SOS 8245218 HAS SOPS 8242815 HAS SOUS 729108 HAS SOUPS 728077 WITH SCORE 736322.218
AT ITER 6523 NEW BEST:: SOT 13848033 SOS 8245216 HAS SOPS 8242813 HAS SOUS 729108 HAS SOUPS 728077 WITH SCORE 736322.216
AT ITER 6531 NEW BEST:: SOT 13848050 SOS 8245233 HAS SOPS 8242830 HAS SOUS 729087 HAS SOUPS 728056 WITH SCORE 736301.233
AT ITER 6546 NEW BEST:: SOT 13847885 SOS 8245068 HAS SOPS 8242665 HAS SOUS 728694 HAS SOUPS 727663 WITH SCORE 735908.068
AT ITER 6637 NEW BEST:: SOT 13847885 SOS 8245011 HAS SOPS 8242605 HAS SOUS 728688 HAS SOUPS 727657 WITH SCORE 735902.011
AT ITER 6638 NEW BEST:: SOT 13846689 SOS 8243815 HAS SOPS 8241409 HAS SOUS 727720 HAS SOUPS 726689 WITH SCORE 734932.815
AT ITER 6641 NEW BEST:: SOT 13846689 SOS 8243005 HAS SOPS 8240599 HAS SOUS 727567 HAS SOUPS 726536 WITH SCORE 734779.005
AT ITER 6649 NEW BEST:: SOT 13846689 SOS 8240584 HAS SOPS 8238178 HAS SOUS 727453 HAS SOUPS 726422 WITH SCORE 734662.584
AT ITER 6651 NEW BEST:: SOT 13845453 SOS 8239348 HAS SOPS 8236942 HAS SOUS 726497 HAS SOUPS 725466 WITH SCORE 733705.348
AT ITER 6656 NEW BEST:: SOT 13846767 SOS 8240662 HAS SOPS 8238256 HAS SOUS 725862 HAS SOUPS 724831 WITH SCORE 733071.662
AT ITER 6679 NEW BEST:: SOT 13846767 SOS 8241670 HAS SOPS 8239264 HAS SOUS 725848 HAS SOUPS 724817 WITH SCORE 733058.67
AT ITER 6683 NEW BEST:: SOT 13839435 SOS 8209330 HAS SOPS 8206924 HAS SOUS 724926 HAS SOUPS 723895 WITH SCORE 732104.33
AT ITER 6694 NEW BEST:: SOT 13839435 SOS 8209282 HAS SOPS 8206876 HAS SOUS 724926 HAS SOUPS 723895 WITH SCORE 732104.282
AT ITER 6720 NEW BEST:: SOT 13839408 SOS 8209255 HAS SOPS 8206849 HAS SOUS 724890 HAS SOUPS 723859 WITH SCORE 732068.255
AT ITER 6729 NEW BEST:: SOT 13834644 SOS 8204491 HAS SOPS 8202085 HAS SOUS 722487 HAS SOUPS 721456 WITH SCORE 729660.491
AT ITER 6744 NEW BEST:: SOT 13833943 SOS 8203790 HAS SOPS 8201384 HAS SOUS 721016 HAS SOUPS 719985 WITH SCORE 728188.79
AT ITER 6758 NEW BEST:: SOT 13833892 SOS 8203967 HAS SOPS 8201561 HAS SOUS 719221 HAS SOUPS 718190 WITH SCORE 726393.967
AT ITER 6769 NEW BEST:: SOT 13837621 SOS 8191762 HAS SOPS 8189865 HAS SOUS 715154 HAS SOUPS 714382 WITH SCORE 722573.762
AT ITER 6812 NEW BEST:: SOT 13835120 SOS 8189261 HAS SOPS 8187364 HAS SOUS 714296 HAS SOUPS 713524 WITH SCORE 721713.261
AT ITER 6848 NEW BEST:: SOT 13835094 SOS 8189235 HAS SOPS 8187338 HAS SOUS 714270 HAS SOUPS 713498 WITH SCORE 721687.235
AT ITER 6973 NEW BEST:: SOT 13835813 SOS 8190934 HAS SOPS 8189037 HAS SOUS 713380 HAS SOUPS 712608 WITH SCORE 720798.934
AT ITER 6984 NEW BEST:: SOT 13835813 SOS 8190131 HAS SOPS 8188173 HAS SOUS 713240 HAS SOUPS 712468 WITH SCORE 720658.131
AT ITER 7016 NEW BEST:: SOT 13835813 SOS 8192747 HAS SOPS 8190789 HAS SOUS 712573 HAS SOUPS 711801 WITH SCORE 719993.747
AT ITER 7040 NEW BEST:: SOT 13842219 SOS 8184085 HAS SOPS 8182981 HAS SOUS 711256 HAS SOUPS 710724 WITH SCORE 718908.085
AT ITER 7057 NEW BEST:: SOT 13842219 SOS 8183931 HAS SOPS 8182827 HAS SOUS 711102 HAS SOUPS 710570 WITH SCORE 718753.931
AT ITER 7104 NEW BEST:: SOT 13842219 SOS 8179971 HAS SOPS 8178867 HAS SOUS 711102 HAS SOUPS 710570 WITH SCORE 718749.971
AT ITER 7135 NEW BEST:: SOT 13842247 SOS 8179999 HAS SOPS 8178895 HAS SOUS 711093 HAS SOUPS 710561 WITH SCORE 718740.999
AT ITER 7137 NEW BEST:: SOT 13842247 SOS 8179940 HAS SOPS 8178836 HAS SOUS 711034 HAS SOUPS 710502 WITH SCORE 718681.94
AT ITER 7164 NEW BEST:: SOT 13841540 SOS 8179233 HAS SOPS 8178129 HAS SOUS 710509 HAS SOUPS 709977 WITH SCORE 718156.233
AT ITER 7193 NEW BEST:: SOT 13840063 SOS 8177756 HAS SOPS 8176652 HAS SOUS 709659 HAS SOUPS 709127 WITH SCORE 717304.756
AT ITER 7216 NEW BEST:: SOT 13840100 SOS 8177793 HAS SOPS 8176689 HAS SOUS 709648 HAS SOUPS 709116 WITH SCORE 717293.793
AT ITER 7235 NEW BEST:: SOT 13840100 SOS 8177881 HAS SOPS 8176777 HAS SOUS 709560 HAS SOUPS 709028 WITH SCORE 717205.881
AT ITER 7251 NEW BEST:: SOT 13840100 SOS 8174429 HAS SOPS 8173325 HAS SOUS 709508 HAS SOUPS 708976 WITH SCORE 717150.429
AT ITER 7252 NEW BEST:: SOT 13840100 SOS 8173493 HAS SOPS 8172389 HAS SOUS 709508 HAS SOUPS 708976 WITH SCORE 717149.493
AT ITER 7260 NEW BEST:: SOT 13840100 SOS 8163685 HAS SOPS 8163196 HAS SOUS 709132 HAS SOUPS 708729 WITH SCORE 716892.685
AT ITER 7274 NEW BEST:: SOT 13840100 SOS 8163614 HAS SOPS 8163125 HAS SOUS 709061 HAS SOUPS 708658 WITH SCORE 716821.614
AT ITER 7299 NEW BEST:: SOT 13840100 SOS 8163182 HAS SOPS 8162693 HAS SOUS 709061 HAS SOUPS 708658 WITH SCORE 716821.182
AT ITER 7309 NEW BEST:: SOT 13839900 SOS 8162982 HAS SOPS 8162493 HAS SOUS 708871 HAS SOUPS 708468 WITH SCORE 716630.982
AT ITER 7315 NEW BEST:: SOT 13839850 SOS 8162932 HAS SOPS 8162443 HAS SOUS 708772 HAS SOUPS 708369 WITH SCORE 716531.932
AT ITER 7333 NEW BEST:: SOT 13840635 SOS 8163717 HAS SOPS 8163228 HAS SOUS 708065 HAS SOUPS 707662 WITH SCORE 715825.717
AT ITER 7334 NEW BEST:: SOT 13840629 SOS 8163711 HAS SOPS 8163222 HAS SOUS 708057 HAS SOUPS 707654 WITH SCORE 715817.711
AT ITER 7338 NEW BEST:: SOT 13840629 SOS 8163687 HAS SOPS 8163198 HAS SOUS 708057 HAS SOUPS 707654 WITH SCORE 715817.687
AT ITER 7345 NEW BEST:: SOT 13839789 SOS 8162847 HAS SOPS 8162358 HAS SOUS 706984 HAS SOUPS 706581 WITH SCORE 714743.847
AT ITER 7364 NEW BEST:: SOT 13839835 SOS 8160060 HAS SOPS 8159571 HAS SOUS 706939 HAS SOUPS 706536 WITH SCORE 714696.06
AT ITER 7374 NEW BEST:: SOT 13839855 SOS 8160080 HAS SOPS 8159591 HAS SOUS 706924 HAS SOUPS 706521 WITH SCORE 714681.08
AT ITER 7400 NEW BEST:: SOT 13839855 SOS 8160049 HAS SOPS 8159560 HAS SOUS 706893 HAS SOUPS 706490 WITH SCORE 714650.049
AT ITER 7415 NEW BEST:: SOT 13839067 SOS 8160311 HAS SOPS 8159822 HAS SOUS 705698 HAS SOUPS 705295 WITH SCORE 713455.311
AT ITER 7422 NEW BEST:: SOT 13840238 SOS 8161482 HAS SOPS 8160993 HAS SOUS 703818 HAS SOUPS 703415 WITH SCORE 711576.482
AT ITER 7427 NEW BEST:: SOT 13840238 SOS 8158818 HAS SOPS 8158329 HAS SOUS 703818 HAS SOUPS 703415 WITH SCORE 711573.818
AT ITER 7435 NEW BEST:: SOT 13840238 SOS 8158708 HAS SOPS 8158219 HAS SOUS 703708 HAS SOUPS 703305 WITH SCORE 711463.708
AT ITER 7449 NEW BEST:: SOT 13840238 SOS 8153902 HAS SOPS 8153413 HAS SOUS 703572 HAS SOUPS 703169 WITH SCORE 711322.902
AT ITER 7459 NEW BEST:: SOT 13840238 SOS 8153900 HAS SOPS 8153411 HAS SOUS 703570 HAS SOUPS 703167 WITH SCORE 711320.9
AT ITER 7473 NEW BEST:: SOT 13837412 SOS 8151074 HAS SOPS 8150585 HAS SOUS 701332 HAS SOUPS 700929 WITH SCORE 709080.074
AT ITER 7494 NEW BEST:: SOT 13837521 SOS 8172418 HAS SOPS 8171376 HAS SOUS 700462 HAS SOUPS 700104 WITH SCORE 708276.418
AT ITER 7497 NEW BEST:: SOT 13841436 SOS 8176389 HAS SOPS 8175340 HAS SOUS 700233 HAS SOUPS 699868 WITH SCORE 708044.389
AT ITER 7522 NEW BEST:: SOT 13841341 SOS 8176294 HAS SOPS 8175245 HAS SOUS 700150 HAS SOUPS 699785 WITH SCORE 707961.294
AT ITER 7574 NEW BEST:: SOT 13837137 SOS 8172090 HAS SOPS 8171041 HAS SOUS 696476 HAS SOUPS 696111 WITH SCORE 704283.09
AT ITER 7588 NEW BEST:: SOT 13837216 SOS 8189933 HAS SOPS 8188884 HAS SOUS 696240 HAS SOUPS 695875 WITH SCORE 704064.933
AT ITER 7591 NEW BEST:: SOT 13837211 SOS 8192856 HAS SOPS 8191808 HAS SOUS 695358 HAS SOUPS 694993 WITH SCORE 703185.856
AT ITER 7612 NEW BEST:: SOT 13837211 SOS 8190196 HAS SOPS 8189148 HAS SOUS 695323 HAS SOUPS 694958 WITH SCORE 703148.196
AT ITER 7618 NEW BEST:: SOT 13837199 SOS 8190184 HAS SOPS 8189136 HAS SOUS 695311 HAS SOUPS 694946 WITH SCORE 703136.184
AT ITER 7634 NEW BEST:: SOT 13837199 SOS 8195247 HAS SOPS 8194199 HAS SOUS 695228 HAS SOUPS 694863 WITH SCORE 703058.247
AT ITER 7642 NEW BEST:: SOT 13837211 SOS 8195210 HAS SOPS 8194169 HAS SOUS 695116 HAS SOUPS 694758 WITH SCORE 702953.21
AT ITER 7647 NEW BEST:: SOT 13837211 SOS 8192114 HAS SOPS 8191073 HAS SOUS 695116 HAS SOUPS 694758 WITH SCORE 702950.114
AT ITER 7711 NEW BEST:: SOT 13837030 SOS 8191933 HAS SOPS 8190892 HAS SOUS 694973 HAS SOUPS 694615 WITH SCORE 702806.933
AT ITER 7763 NEW BEST:: SOT 13837030 SOS 8191970 HAS SOPS 8190929 HAS SOUS 694936 HAS SOUPS 694578 WITH SCORE 702769.97
AT ITER 7801 NEW BEST:: SOT 13836999 SOS 8191939 HAS SOPS 8190898 HAS SOUS 694883 HAS SOUPS 694525 WITH SCORE 702716.939
AT ITER 7813 NEW BEST:: SOT 13836999 SOS 8191871 HAS SOPS 8190830 HAS SOUS 694883 HAS SOUPS 694525 WITH SCORE 702716.871
AT ITER 7841 NEW BEST:: SOT 13836986 SOS 8191858 HAS SOPS 8190817 HAS SOUS 694866 HAS SOUPS 694508 WITH SCORE 702699.858
AT ITER 7845 NEW BEST:: SOT 13836986 SOS 8200858 HAS SOPS 8199817 HAS SOUS 694850 HAS SOUPS 694492 WITH SCORE 702692.858
AT ITER 7872 NEW BEST:: SOT 13837370 SOS 8201242 HAS SOPS 8200201 HAS SOUS 694629 HAS SOUPS 694271 WITH SCORE 702472.242
AT ITER 7960 NEW BEST:: SOT 13837370 SOS 8199010 HAS SOPS 8197969 HAS SOUS 694629 HAS SOUPS 694271 WITH SCORE 702470.01
AT ITER 7995 NEW BEST:: SOT 13836906 SOS 8198546 HAS SOPS 8197505 HAS SOUS 687665 HAS SOUPS 687307 WITH SCORE 695505.546
AT ITER 8012 NEW BEST:: SOT 13836906 SOS 8196934 HAS SOPS 8195893 HAS SOUS 687577 HAS SOUPS 687219 WITH SCORE 695415.934
AT ITER 8017 NEW BEST:: SOT 13836906 SOS 8196901 HAS SOPS 8195860 HAS SOUS 687544 HAS SOUPS 687186 WITH SCORE 695382.901
AT ITER 8037 NEW BEST:: SOT 13836906 SOS 8194381 HAS SOPS 8193340 HAS SOUS 687509 HAS SOUPS 687151 WITH SCORE 695345.381
AT ITER 8063 NEW BEST:: SOT 13836906 SOS 8194267 HAS SOPS 8193226 HAS SOUS 687452 HAS SOUPS 687094 WITH SCORE 695288.267
AT ITER 8069 NEW BEST:: SOT 13836906 SOS 8194267 HAS SOPS 8193226 HAS SOUS 687426 HAS SOUPS 687068 WITH SCORE 695262.267
AT ITER 8101 NEW BEST:: SOT 13836153 SOS 8193514 HAS SOPS 8192473 HAS SOUS 686699 HAS SOUPS 686341 WITH SCORE 694534.514
AT ITER 8114 NEW BEST:: SOT 13836153 SOS 8193024 HAS SOPS 8191983 HAS SOUS 686699 HAS SOUPS 686341 WITH SCORE 694534.024
AT ITER 8143 NEW BEST:: SOT 13836143 SOS 8193014 HAS SOPS 8191973 HAS SOUS 686699 HAS SOUPS 686341 WITH SCORE 694534.014
AT ITER 8163 NEW BEST:: SOT 13835092 SOS 8191963 HAS SOPS 8190922 HAS SOUS 685794 HAS SOUPS 685436 WITH SCORE 693627.963
AT ITER 8164 NEW BEST:: SOT 13833402 SOS 8190273 HAS SOPS 8189232 HAS SOUS 684345 HAS SOUPS 683987 WITH SCORE 692177.273
AT ITER 8210 NEW BEST:: SOT 13833650 SOS 8187877 HAS SOPS 8186835 HAS SOUS 684202 HAS SOUPS 683844 WITH SCORE 692031.877
AT ITER 8234 NEW BEST:: SOT 13833604 SOS 8190208 HAS SOPS 8189166 HAS SOUS 684156 HAS SOUPS 683798 WITH SCORE 691988.208
AT ITER 8248 NEW BEST:: SOT 13833180 SOS 8189784 HAS SOPS 8188742 HAS SOUS 683903 HAS SOUPS 683545 WITH SCORE 691734.784
AT ITER 8261 NEW BEST:: SOT 13833192 SOS 8189796 HAS SOPS 8188754 HAS SOUS 683840 HAS SOUPS 683482 WITH SCORE 691671.796
AT ITER 8270 NEW BEST:: SOT 13833192 SOS 8189684 HAS SOPS 8188642 HAS SOUS 683768 HAS SOUPS 683410 WITH SCORE 691599.684
AT ITER 8333 NEW BEST:: SOT 13833192 SOS 8188460 HAS SOPS 8187418 HAS SOUS 683768 HAS SOUPS 683410 WITH SCORE 691598.46
AT ITER 8355 NEW BEST:: SOT 13833192 SOS 8188748 HAS SOPS 8187706 HAS SOUS 683764 HAS SOUPS 683406 WITH SCORE 691594.748
AT ITER 8366 NEW BEST:: SOT 13833192 SOS 8186876 HAS SOPS 8185834 HAS SOUS 683764 HAS SOUPS 683406 WITH SCORE 691592.876
AT ITER 8370 NEW BEST:: SOT 13833187 SOS 8186871 HAS SOPS 8185829 HAS SOUS 683761 HAS SOUPS 683403 WITH SCORE 691589.871
AT ITER 8441 NEW BEST:: SOT 13833071 SOS 8186755 HAS SOPS 8185713 HAS SOUS 683443 HAS SOUPS 683085 WITH SCORE 691271.755
AT ITER 8503 NEW BEST:: SOT 13833071 SOS 8186755 HAS SOPS 8185713 HAS SOUS 683439 HAS SOUPS 683081 WITH SCORE 691267.755
AT ITER 8528 NEW BEST:: SOT 13833071 SOS 8186107 HAS SOPS 8185065 HAS SOUS 683439 HAS SOUPS 683081 WITH SCORE 691267.107
AT ITER 8548 NEW BEST:: SOT 13833053 SOS 8186089 HAS SOPS 8185047 HAS SOUS 683427 HAS SOUPS 683069 WITH SCORE 691255.089
AT ITER 8614 NEW BEST:: SOT 13833203 SOS 8189718 HAS SOPS 8188676 HAS SOUS 681470 HAS SOUPS 681112 WITH SCORE 689301.718
AT ITER 8666 NEW BEST:: SOT 13832507 SOS 8189022 HAS SOPS 8187980 HAS SOUS 680065 HAS SOUPS 679707 WITH SCORE 687896.022
AT ITER 8678 NEW BEST:: SOT 13832507 SOS 8186599 HAS SOPS 8185557 HAS SOUS 679960 HAS SOUPS 679602 WITH SCORE 687788.599
AT ITER 8683 NEW BEST:: SOT 13832507 SOS 8186404 HAS SOPS 8185362 HAS SOUS 679946 HAS SOUPS 679588 WITH SCORE 687774.404
AT ITER 8696 NEW BEST:: SOT 13828548 SOS 8179463 HAS SOPS 8178421 HAS SOUS 679131 HAS SOUPS 678773 WITH SCORE 686952.463
AT ITER 8697 NEW BEST:: SOT 13828548 SOS 8180787 HAS SOPS 8179745 HAS SOUS 679054 HAS SOUPS 678696 WITH SCORE 686876.787
AT ITER 8730 NEW BEST:: SOT 13828477 SOS 8180716 HAS SOPS 8179674 HAS SOUS 678626 HAS SOUPS 678268 WITH SCORE 686448.716
AT ITER 8747 NEW BEST:: SOT 13828157 SOS 8180396 HAS SOPS 8179354 HAS SOUS 678383 HAS SOUPS 678025 WITH SCORE 686205.396
AT ITER 8752 NEW BEST:: SOT 13828157 SOS 8180396 HAS SOPS 8179100 HAS SOUS 678129 HAS SOUPS 677771 WITH SCORE 685951.396
AT ITER 8764 NEW BEST:: SOT 13828212 SOS 8180451 HAS SOPS 8179155 HAS SOUS 677733 HAS SOUPS 677375 WITH SCORE 685555.451
AT ITER 8786 NEW BEST:: SOT 13828223 SOS 8180462 HAS SOPS 8179166 HAS SOUS 677705 HAS SOUPS 677347 WITH SCORE 685527.462
AT ITER 8790 NEW BEST:: SOT 13828223 SOS 8176718 HAS SOPS 8175422 HAS SOUS 677705 HAS SOUPS 677347 WITH SCORE 685523.718
AT ITER 8812 NEW BEST:: SOT 13828223 SOS 8185940 HAS SOPS 8184644 HAS SOUS 677530 HAS SOUPS 677172 WITH SCORE 685357.94
AT ITER 8817 NEW BEST:: SOT 13828224 SOS 8185941 HAS SOPS 8184645 HAS SOUS 677499 HAS SOUPS 677141 WITH SCORE 685326.941
AT ITER 8840 NEW BEST:: SOT 13829922 SOS 8226602 HAS SOPS 8225584 HAS SOUS 677094 HAS SOUPS 676736 WITH SCORE 684962.602
AT ITER 8842 NEW BEST:: SOT 13829844 SOS 8226524 HAS SOPS 8225506 HAS SOUS 676929 HAS SOUPS 676571 WITH SCORE 684797.524
AT ITER 8923 NEW BEST:: SOT 13830334 SOS 8227511 HAS SOPS 8226493 HAS SOUS 676887 HAS SOUPS 676529 WITH SCORE 684756.511
AT ITER 8936 NEW BEST:: SOT 13830303 SOS 8227480 HAS SOPS 8226462 HAS SOUS 675590 HAS SOUPS 675232 WITH SCORE 683459.48
AT ITER 8954 NEW BEST:: SOT 13829568 SOS 8226745 HAS SOPS 8225727 HAS SOUS 674847 HAS SOUPS 674489 WITH SCORE 682715.745
AT ITER 8975 NEW BEST:: SOT 13829318 SOS 8226495 HAS SOPS 8225477 HAS SOUS 674399 HAS SOUPS 674041 WITH SCORE 682267.495
AT ITER 8990 NEW BEST:: SOT 13826203 SOS 8223380 HAS SOPS 8222362 HAS SOUS 671414 HAS SOUPS 671056 WITH SCORE 679279.38
AT ITER 9033 NEW BEST:: SOT 13826203 SOS 8223286 HAS SOPS 8222268 HAS SOUS 671320 HAS SOUPS 670962 WITH SCORE 679185.286
AT ITER 9046 NEW BEST:: SOT 13826203 SOS 8217598 HAS SOPS 8216580 HAS SOUS 671320 HAS SOUPS 670962 WITH SCORE 679179.598
AT ITER 9057 NEW BEST:: SOT 13826203 SOS 8221730 HAS SOPS 8220712 HAS SOUS 671212 HAS SOUPS 670854 WITH SCORE 679075.73
AT ITER 9065 NEW BEST:: SOT 13826162 SOS 8221689 HAS SOPS 8220671 HAS SOUS 671131 HAS SOUPS 670773 WITH SCORE 678994.689
AT ITER 9085 NEW BEST:: SOT 13823209 SOS 8218736 HAS SOPS 8217718 HAS SOUS 669864 HAS SOUPS 669506 WITH SCORE 677724.736
AT ITER 9116 NEW BEST:: SOT 13823209 SOS 8218732 HAS SOPS 8217714 HAS SOUS 669860 HAS SOUPS 669502 WITH SCORE 677720.732
AT ITER 9138 NEW BEST:: SOT 13823797 SOS 8219320 HAS SOPS 8218302 HAS SOUS 669282 HAS SOUPS 668924 WITH SCORE 677143.32
AT ITER 9151 NEW BEST:: SOT 13823797 SOS 8229404 HAS SOPS 8228386 HAS SOUS 667309 HAS SOUPS 666951 WITH SCORE 675180.404
AT ITER 9180 NEW BEST:: SOT 13823797 SOS 8229407 HAS SOPS 8228389 HAS SOUS 667297 HAS SOUPS 666939 WITH SCORE 675168.407
AT ITER 9195 NEW BEST:: SOT 13824225 SOS 8229835 HAS SOPS 8228817 HAS SOUS 667267 HAS SOUPS 666909 WITH SCORE 675138.835
AT ITER 9230 NEW BEST:: SOT 13823892 SOS 8229502 HAS SOPS 8228484 HAS SOUS 666934 HAS SOUPS 666576 WITH SCORE 674805.502
AT ITER 9255 NEW BEST:: SOT 13823896 SOS 8229310 HAS SOPS 8228292 HAS SOUS 666890 HAS SOUPS 666532 WITH SCORE 674761.31
AT ITER 9288 NEW BEST:: SOT 13823896 SOS 8229310 HAS SOPS 8228292 HAS SOUS 666843 HAS SOUPS 666485 WITH SCORE 674714.31
AT ITER 9293 NEW BEST:: SOT 13823896 SOS 8225617 HAS SOPS 8224599 HAS SOUS 666843 HAS SOUPS 666485 WITH SCORE 674710.617
AT ITER 9313 NEW BEST:: SOT 13823502 SOS 8225223 HAS SOPS 8224205 HAS SOUS 666522 HAS SOUPS 666164 WITH SCORE 674389.223
AT ITER 9321 NEW BEST:: SOT 13824857 SOS 8258036 HAS SOPS 8257018 HAS SOUS 660977 HAS SOUPS 660619 WITH SCORE 668877.036
AT ITER 9348 NEW BEST:: SOT 13823420 SOS 8256599 HAS SOPS 8255581 HAS SOUS 659849 HAS SOUPS 659491 WITH SCORE 667747.599
AT ITER 9359 NEW BEST:: SOT 13823456 SOS 8185103 HAS SOPS 8184085 HAS SOUS 659885 HAS SOUPS 659527 WITH SCORE 667712.103
AT ITER 9389 NEW BEST:: SOT 13823446 SOS 8185093 HAS SOPS 8184075 HAS SOUS 659875 HAS SOUPS 659517 WITH SCORE 667702.093
AT ITER 9401 NEW BEST:: SOT 13823064 SOS 8185135 HAS SOPS 8184117 HAS SOUS 659826 HAS SOUPS 659468 WITH SCORE 667653.135
AT ITER 9416 NEW BEST:: SOT 13823048 SOS 8185119 HAS SOPS 8184101 HAS SOUS 659810 HAS SOUPS 659452 WITH SCORE 667637.119
AT ITER 9443 NEW BEST:: SOT 13822963 SOS 8185034 HAS SOPS 8184016 HAS SOUS 659747 HAS SOUPS 659389 WITH SCORE 667574.034
AT ITER 9452 NEW BEST:: SOT 13822927 SOS 8196984 HAS SOPS 8195966 HAS SOUS 659653 HAS SOUPS 659295 WITH SCORE 667491.984
AT ITER 9466 NEW BEST:: SOT 13826249 SOS 8200306 HAS SOPS 8199288 HAS SOUS 658614 HAS SOUPS 658256 WITH SCORE 666456.306
AT ITER 9479 NEW BEST:: SOT 13826249 SOS 8200200 HAS SOPS 8199182 HAS SOUS 658561 HAS SOUPS 658203 WITH SCORE 666403.2
AT ITER 9497 NEW BEST:: SOT 13824523 SOS 8196983 HAS SOPS 8195965 HAS SOUS 658410 HAS SOUPS 658052 WITH SCORE 666248.983
AT ITER 9546 NEW BEST:: SOT 13823920 SOS 8182819 HAS SOPS 8181801 HAS SOUS 657813 HAS SOUPS 657455 WITH SCORE 665637.819
AT ITER 9568 NEW BEST:: SOT 13823918 SOS 8182819 HAS SOPS 8181801 HAS SOUS 657684 HAS SOUPS 657326 WITH SCORE 665508.819
AT ITER 9577 NEW BEST:: SOT 13822164 SOS 8181065 HAS SOPS 8180047 HAS SOUS 657429 HAS SOUPS 657071 WITH SCORE 665252.065
AT ITER 9582 NEW BEST:: SOT 13825201 SOS 8184102 HAS SOPS 8183084 HAS SOUS 656493 HAS SOUPS 656135 WITH SCORE 664319.102
AT ITER 9585 NEW BEST:: SOT 13825201 SOS 8184102 HAS SOPS 8183084 HAS SOUS 656484 HAS SOUPS 656126 WITH SCORE 664310.102
AT ITER 9627 NEW BEST:: SOT 13825201 SOS 8183310 HAS SOPS 8182292 HAS SOUS 656484 HAS SOUPS 656126 WITH SCORE 664309.31
AT ITER 9672 NEW BEST:: SOT 13825091 SOS 8183200 HAS SOPS 8182182 HAS SOUS 656014 HAS SOUPS 655656 WITH SCORE 663839.2
AT ITER 9703 NEW BEST:: SOT 13825769 SOS 8183878 HAS SOPS 8182860 HAS SOUS 655677 HAS SOUPS 655319 WITH SCORE 663502.878
AT ITER 9705 NEW BEST:: SOT 13826009 SOS 8184274 HAS SOPS 8183256 HAS SOUS 654932 HAS SOUPS 654574 WITH SCORE 662758.274
AT ITER 9729 NEW BEST:: SOT 13826009 SOS 8184176 HAS SOPS 8183158 HAS SOUS 654883 HAS SOUPS 654525 WITH SCORE 662709.176
AT ITER 9735 NEW BEST:: SOT 13825935 SOS 8184102 HAS SOPS 8183084 HAS SOUS 654809 HAS SOUPS 654451 WITH SCORE 662635.102
AT ITER 9755 NEW BEST:: SOT 13827276 SOS 8185443 HAS SOPS 8184425 HAS SOUS 654598 HAS SOUPS 654240 WITH SCORE 662425.443
AT ITER 9756 NEW BEST:: SOT 13827223 SOS 8192917 HAS SOPS 8191899 HAS SOUS 653494 HAS SOUPS 653136 WITH SCORE 661328.917
AT ITER 9761 NEW BEST:: SOT 13825820 SOS 8191514 HAS SOPS 8190496 HAS SOUS 652712 HAS SOUPS 652354 WITH SCORE 660545.514
AT ITER 9770 NEW BEST:: SOT 13825820 SOS 8190074 HAS SOPS 8189056 HAS SOUS 652692 HAS SOUPS 652334 WITH SCORE 660524.074
AT ITER 9781 NEW BEST:: SOT 13825820 SOS 8190033 HAS SOPS 8189015 HAS SOUS 652651 HAS SOUPS 652293 WITH SCORE 660483.033
AT ITER 9829 NEW BEST:: SOT 13821310 SOS 8185523 HAS SOPS 8184505 HAS SOUS 649012 HAS SOUPS 648654 WITH SCORE 656839.523
AT ITER 9870 NEW BEST:: SOT 13822266 SOS 8186479 HAS SOPS 8185461 HAS SOUS 648621 HAS SOUPS 648263 WITH SCORE 656449.479
AT ITER 9902 NEW BEST:: SOT 13820844 SOS 8185057 HAS SOPS 8184039 HAS SOUS 647377 HAS SOUPS 647019 WITH SCORE 655204.057
AT ITER 9920 NEW BEST:: SOT 13820844 SOS 8184735 HAS SOPS 8183717 HAS SOUS 647331 HAS SOUPS 646973 WITH SCORE 655157.735
AT ITER 9951 NEW BEST:: SOT 13820844 SOS 8182791 HAS SOPS 8181773 HAS SOUS 647331 HAS SOUPS 646973 WITH SCORE 655155.791
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 13105272 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16126248 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BugTracking-PT-q3m008, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688100344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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