fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r043-tajo-167813696700336
Last Updated
May 14, 2023

About the Execution of Smart+red for BugTracking-PT-q3m004

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696700336.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 smartxred
Input is BugTracking-PT-q3m004, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696700336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.2K Feb 26 07:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 07:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 07:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 07:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1678783863059

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q3m004
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 08:51:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 08:51:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 08:51:06] [INFO ] Load time of PNML (sax parser for PT used): 863 ms
[2023-03-14 08:51:06] [INFO ] Transformed 754 places.
[2023-03-14 08:51:06] [INFO ] Transformed 27370 transitions.
[2023-03-14 08:51:06] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1054 ms.
[2023-03-14 08:51:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 230 ms.
Total runtime 1320 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m004
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695521 HAS SOUPS 1693676 WITH SCORE 1702571.966
AT ITER 15 NEW BEST:: SOT 14117150 SOS 8895776 HAS SOPS 8893931 HAS SOUS 1695426 HAS SOUPS 1693581 WITH SCORE 1702476.776
AT ITER 19 NEW BEST:: SOT 14117150 SOS 8883640 HAS SOPS 8881795 HAS SOUS 1695262 HAS SOUPS 1693417 WITH SCORE 1702300.64
AT ITER 32 NEW BEST:: SOT 14117095 SOS 8883585 HAS SOPS 8881740 HAS SOUS 1691084 HAS SOUPS 1689239 WITH SCORE 1698122.585
AT ITER 34 NEW BEST:: SOT 14109133 SOS 8883675 HAS SOPS 8881830 HAS SOUS 1683562 HAS SOUPS 1681717 WITH SCORE 1690600.675
AT ITER 40 NEW BEST:: SOT 14103668 SOS 8886946 HAS SOPS 8885101 HAS SOUS 1679398 HAS SOUPS 1677553 WITH SCORE 1686439.946
AT ITER 55 NEW BEST:: SOT 14101455 SOS 8884733 HAS SOPS 8882888 HAS SOUS 1675714 HAS SOUPS 1673869 WITH SCORE 1682753.733
AT ITER 65 NEW BEST:: SOT 14097297 SOS 8880883 HAS SOPS 8879038 HAS SOUS 1659193 HAS SOUPS 1657348 WITH SCORE 1666228.883
AT ITER 67 NEW BEST:: SOT 14097297 SOS 8880883 HAS SOPS 8879038 HAS SOUS 1659161 HAS SOUPS 1657316 WITH SCORE 1666196.883
AT ITER 101 NEW BEST:: SOT 14097310 SOS 8881027 HAS SOPS 8879051 HAS SOUS 1658803 HAS SOUPS 1656857 WITH SCORE 1665738.027
AT ITER 111 NEW BEST:: SOT 14097212 SOS 8880929 HAS SOPS 8878953 HAS SOUS 1658705 HAS SOUPS 1656759 WITH SCORE 1665639.929
AT ITER 114 NEW BEST:: SOT 14097212 SOS 8880843 HAS SOPS 8878867 HAS SOUS 1658619 HAS SOUPS 1656673 WITH SCORE 1665553.843
AT ITER 117 NEW BEST:: SOT 14097212 SOS 8880843 HAS SOPS 8878867 HAS SOUS 1658612 HAS SOUPS 1656666 WITH SCORE 1665546.843
AT ITER 121 NEW BEST:: SOT 14097199 SOS 8880581 HAS SOPS 8878652 HAS SOUS 1651399 HAS SOUPS 1649500 WITH SCORE 1658380.581
AT ITER 128 NEW BEST:: SOT 14097199 SOS 8880281 HAS SOPS 8878352 HAS SOUS 1651249 HAS SOUPS 1649350 WITH SCORE 1658230.281
AT ITER 144 NEW BEST:: SOT 14097199 SOS 8495819 HAS SOPS 8493890 HAS SOUS 1651136 HAS SOUPS 1649237 WITH SCORE 1657732.819
AT ITER 155 NEW BEST:: SOT 14096882 SOS 8495666 HAS SOPS 8493737 HAS SOUS 1643482 HAS SOUPS 1641583 WITH SCORE 1650078.666
AT ITER 156 NEW BEST:: SOT 14096882 SOS 8495666 HAS SOPS 8493737 HAS SOUS 1643463 HAS SOUPS 1641564 WITH SCORE 1650059.666
AT ITER 179 NEW BEST:: SOT 14092566 SOS 8513626 HAS SOPS 8511697 HAS SOUS 1640007 HAS SOUPS 1638108 WITH SCORE 1646621.626
AT ITER 186 NEW BEST:: SOT 14089243 SOS 8510303 HAS SOPS 8508374 HAS SOUS 1638142 HAS SOUPS 1636243 WITH SCORE 1644753.303
AT ITER 207 NEW BEST:: SOT 14089243 SOS 8509043 HAS SOPS 8507114 HAS SOUS 1638097 HAS SOUPS 1636198 WITH SCORE 1644707.043
AT ITER 215 NEW BEST:: SOT 14081942 SOS 8504586 HAS SOPS 8502657 HAS SOUS 1630011 HAS SOUPS 1628112 WITH SCORE 1636616.586
AT ITER 226 NEW BEST:: SOT 14081942 SOS 8504586 HAS SOPS 8502657 HAS SOUS 1629863 HAS SOUPS 1627964 WITH SCORE 1636468.586
AT ITER 228 NEW BEST:: SOT 14079355 SOS 8501964 HAS SOPS 8500070 HAS SOUS 1623876 HAS SOUPS 1622012 WITH SCORE 1630513.964
AT ITER 234 NEW BEST:: SOT 14081072 SOS 8369828 HAS SOPS 8365238 HAS SOUS 1617360 HAS SOUPS 1614509 WITH SCORE 1622878.828
AT ITER 248 NEW BEST:: SOT 14077583 SOS 8366339 HAS SOPS 8361749 HAS SOUS 1615113 HAS SOUPS 1612262 WITH SCORE 1620628.339
AT ITER 249 NEW BEST:: SOT 14077583 SOS 8366339 HAS SOPS 8361749 HAS SOUS 1615036 HAS SOUPS 1612185 WITH SCORE 1620551.339
AT ITER 264 NEW BEST:: SOT 14077540 SOS 8362126 HAS SOPS 8357719 HAS SOUS 1606555 HAS SOUPS 1603785 WITH SCORE 1612147.126
AT ITER 268 NEW BEST:: SOT 14076176 SOS 8360762 HAS SOPS 8356355 HAS SOUS 1605949 HAS SOUPS 1603179 WITH SCORE 1611539.762
AT ITER 272 NEW BEST:: SOT 14076176 SOS 8364290 HAS SOPS 8359883 HAS SOUS 1605902 HAS SOUPS 1603132 WITH SCORE 1611496.29
AT ITER 281 NEW BEST:: SOT 14076176 SOS 8358386 HAS SOPS 8353979 HAS SOUS 1605902 HAS SOUPS 1603132 WITH SCORE 1611490.386
AT ITER 290 NEW BEST:: SOT 14076176 SOS 8354642 HAS SOPS 8350235 HAS SOUS 1605902 HAS SOUPS 1603132 WITH SCORE 1611486.642
AT ITER 304 NEW BEST:: SOT 14076176 SOS 8352934 HAS SOPS 8348527 HAS SOUS 1605841 HAS SOUPS 1603071 WITH SCORE 1611423.934
AT ITER 309 NEW BEST:: SOT 14076278 SOS 8352055 HAS SOPS 8347733 HAS SOUS 1600028 HAS SOUPS 1597303 WITH SCORE 1605655.055
AT ITER 326 NEW BEST:: SOT 14065347 SOS 8346846 HAS SOPS 8342524 HAS SOUS 1585340 HAS SOUPS 1582615 WITH SCORE 1590961.846
AT ITER 327 NEW BEST:: SOT 14065295 SOS 8346012 HAS SOPS 8341742 HAS SOUS 1581879 HAS SOUPS 1579185 WITH SCORE 1587531.012
AT ITER 330 NEW BEST:: SOT 14065295 SOS 8345728 HAS SOPS 8341458 HAS SOUS 1581737 HAS SOUPS 1579043 WITH SCORE 1587388.728
AT ITER 340 NEW BEST:: SOT 14064316 SOS 8344749 HAS SOPS 8340479 HAS SOUS 1580134 HAS SOUPS 1577440 WITH SCORE 1585784.749
AT ITER 343 NEW BEST:: SOT 14064316 SOS 8344708 HAS SOPS 8340438 HAS SOUS 1580093 HAS SOUPS 1577399 WITH SCORE 1585743.708
AT ITER 345 NEW BEST:: SOT 14064316 SOS 8356084 HAS SOPS 8351814 HAS SOUS 1579935 HAS SOUPS 1577241 WITH SCORE 1585597.084
AT ITER 396 NEW BEST:: SOT 14064316 SOS 8354656 HAS SOPS 8350386 HAS SOUS 1579918 HAS SOUPS 1577224 WITH SCORE 1585578.656
AT ITER 399 NEW BEST:: SOT 14064316 SOS 8354645 HAS SOPS 8350375 HAS SOUS 1579918 HAS SOUPS 1577224 WITH SCORE 1585578.645
AT ITER 401 NEW BEST:: SOT 14064309 SOS 8354768 HAS SOPS 8350498 HAS SOUS 1572588 HAS SOUPS 1569894 WITH SCORE 1578248.768
AT ITER 407 NEW BEST:: SOT 14064309 SOS 8354544 HAS SOPS 8350274 HAS SOUS 1572476 HAS SOUPS 1569782 WITH SCORE 1578136.544
AT ITER 409 NEW BEST:: SOT 14064309 SOS 8341656 HAS SOPS 8337386 HAS SOUS 1572476 HAS SOUPS 1569782 WITH SCORE 1578123.656
AT ITER 413 NEW BEST:: SOT 14064309 SOS 8349792 HAS SOPS 8345522 HAS SOUS 1572363 HAS SOUPS 1569669 WITH SCORE 1578018.792
AT ITER 415 NEW BEST:: SOT 14064309 SOS 8334744 HAS SOPS 8330474 HAS SOUS 1572363 HAS SOUPS 1569669 WITH SCORE 1578003.744
AT ITER 419 NEW BEST:: SOT 14064309 SOS 8333772 HAS SOPS 8329502 HAS SOUS 1572226 HAS SOUPS 1569532 WITH SCORE 1577865.772
AT ITER 421 NEW BEST:: SOT 14064309 SOS 8333772 HAS SOPS 8329502 HAS SOUS 1572161 HAS SOUPS 1569467 WITH SCORE 1577800.772
AT ITER 429 NEW BEST:: SOT 14064309 SOS 8323479 HAS SOPS 8319209 HAS SOUS 1572020 HAS SOUPS 1569326 WITH SCORE 1577649.479
AT ITER 432 NEW BEST:: SOT 14064089 SOS 8539409 HAS SOPS 8535139 HAS SOUS 1571804 HAS SOUPS 1569110 WITH SCORE 1577649.409
AT ITER 438 NEW BEST:: SOT 14064089 SOS 8539235 HAS SOPS 8534996 HAS SOUS 1571711 HAS SOUPS 1569017 WITH SCORE 1577556.235
AT ITER 441 NEW BEST:: SOT 14064089 SOS 8543411 HAS SOPS 8539172 HAS SOUS 1571653 HAS SOUPS 1568959 WITH SCORE 1577502.411
AT ITER 445 NEW BEST:: SOT 14060253 SOS 8539969 HAS SOPS 8535730 HAS SOUS 1566936 HAS SOUPS 1564242 WITH SCORE 1572781.969
AT ITER 452 NEW BEST:: SOT 14059185 SOS 8539713 HAS SOPS 8535474 HAS SOUS 1564578 HAS SOUPS 1561884 WITH SCORE 1570423.713
AT ITER 460 NEW BEST:: SOT 14055815 SOS 8536343 HAS SOPS 8532104 HAS SOUS 1562315 HAS SOUPS 1559621 WITH SCORE 1568157.343
AT ITER 462 NEW BEST:: SOT 14055033 SOS 8535561 HAS SOPS 8531322 HAS SOUS 1560742 HAS SOUPS 1558048 WITH SCORE 1566583.561
AT ITER 469 NEW BEST:: SOT 14053656 SOS 8534184 HAS SOPS 8529945 HAS SOUS 1559992 HAS SOUPS 1557298 WITH SCORE 1565832.184
AT ITER 494 NEW BEST:: SOT 14046823 SOS 8531383 HAS SOPS 8527144 HAS SOUS 1552889 HAS SOUPS 1550195 WITH SCORE 1558726.383
AT ITER 537 NEW BEST:: SOT 14042292 SOS 8510948 HAS SOPS 8506709 HAS SOUS 1544352 HAS SOUPS 1541658 WITH SCORE 1550168.948
AT ITER 554 NEW BEST:: SOT 14042292 SOS 8497005 HAS SOPS 8492766 HAS SOUS 1544161 HAS SOUPS 1541467 WITH SCORE 1549964.005
AT ITER 559 NEW BEST:: SOT 14042292 SOS 8494701 HAS SOPS 8490462 HAS SOUS 1544161 HAS SOUPS 1541467 WITH SCORE 1549961.701
AT ITER 573 NEW BEST:: SOT 14039637 SOS 8492046 HAS SOPS 8487807 HAS SOUS 1538687 HAS SOUPS 1535993 WITH SCORE 1544485.046
AT ITER 585 NEW BEST:: SOT 14039637 SOS 8492046 HAS SOPS 8487807 HAS SOUS 1538619 HAS SOUPS 1535925 WITH SCORE 1544417.046
AT ITER 603 NEW BEST:: SOT 13886209 SOS 8369316 HAS SOPS 8367859 HAS SOUS 1376099 HAS SOUPS 1375084 WITH SCORE 1383453.316
AT ITER 610 NEW BEST:: SOT 13884648 SOS 8383050 HAS SOPS 8381593 HAS SOUS 1371380 HAS SOUPS 1370365 WITH SCORE 1378748.05
AT ITER 620 NEW BEST:: SOT 13881592 SOS 8379994 HAS SOPS 8378537 HAS SOUS 1364977 HAS SOUPS 1363962 WITH SCORE 1372341.994
AT ITER 626 NEW BEST:: SOT 13879049 SOS 8377857 HAS SOPS 8376400 HAS SOUS 1360220 HAS SOUPS 1359205 WITH SCORE 1367582.857
AT ITER 641 NEW BEST:: SOT 13879049 SOS 8377857 HAS SOPS 8376400 HAS SOUS 1360219 HAS SOUPS 1359204 WITH SCORE 1367581.857
AT ITER 647 NEW BEST:: SOT 13876755 SOS 8375563 HAS SOPS 8374106 HAS SOUS 1357321 HAS SOUPS 1356306 WITH SCORE 1364681.563
AT ITER 658 NEW BEST:: SOT 13876755 SOS 8375563 HAS SOPS 8374106 HAS SOUS 1357266 HAS SOUPS 1356251 WITH SCORE 1364626.563
AT ITER 660 NEW BEST:: SOT 13876682 SOS 8375568 HAS SOPS 8374111 HAS SOUS 1355730 HAS SOUPS 1354715 WITH SCORE 1363090.568
AT ITER 668 NEW BEST:: SOT 13872102 SOS 8371576 HAS SOPS 8370119 HAS SOUS 1350151 HAS SOUPS 1349136 WITH SCORE 1357507.576
AT ITER 676 NEW BEST:: SOT 13872102 SOS 8371127 HAS SOPS 8370004 HAS SOUS 1347187 HAS SOUPS 1346461 WITH SCORE 1354832.127
AT ITER 677 NEW BEST:: SOT 13872102 SOS 8371063 HAS SOPS 8369940 HAS SOUS 1347155 HAS SOUPS 1346429 WITH SCORE 1354800.063
AT ITER 680 NEW BEST:: SOT 13871926 SOS 8371059 HAS SOPS 8369936 HAS SOUS 1342161 HAS SOUPS 1341435 WITH SCORE 1349806.059
AT ITER 682 NEW BEST:: SOT 13871926 SOS 8371059 HAS SOPS 8369936 HAS SOUS 1342013 HAS SOUPS 1341287 WITH SCORE 1349658.059
AT ITER 684 NEW BEST:: SOT 13871920 SOS 8370942 HAS SOPS 8369819 HAS SOUS 1342001 HAS SOUPS 1341275 WITH SCORE 1349645.942
AT ITER 695 NEW BEST:: SOT 13872894 SOS 8370379 HAS SOPS 8369303 HAS SOUS 1336261 HAS SOUPS 1335561 WITH SCORE 1343931.379
AT ITER 701 NEW BEST:: SOT 13872850 SOS 8370335 HAS SOPS 8369259 HAS SOUS 1336217 HAS SOUPS 1335517 WITH SCORE 1343887.335
AT ITER 710 NEW BEST:: SOT 13872956 SOS 8355582 HAS SOPS 8354506 HAS SOUS 1336224 HAS SOUPS 1335524 WITH SCORE 1343879.582
AT ITER 723 NEW BEST:: SOT 13872956 SOS 8355582 HAS SOPS 8354506 HAS SOUS 1336033 HAS SOUPS 1335333 WITH SCORE 1343688.582
AT ITER 725 NEW BEST:: SOT 13873725 SOS 8356351 HAS SOPS 8355275 HAS SOUS 1329318 HAS SOUPS 1328618 WITH SCORE 1336974.351
AT ITER 734 NEW BEST:: SOT 13871212 SOS 8353838 HAS SOPS 8352762 HAS SOUS 1327951 HAS SOUPS 1327251 WITH SCORE 1335604.838
AT ITER 742 NEW BEST:: SOT 13871212 SOS 8353868 HAS SOPS 8352796 HAS SOUS 1327915 HAS SOUPS 1327215 WITH SCORE 1335568.868
AT ITER 758 NEW BEST:: SOT 13871212 SOS 8353868 HAS SOPS 8352796 HAS SOUS 1327886 HAS SOUPS 1327186 WITH SCORE 1335539.868
AT ITER 762 NEW BEST:: SOT 13879216 SOS 8387702 HAS SOPS 8386173 HAS SOUS 1321231 HAS SOUPS 1320360 WITH SCORE 1328747.702
AT ITER 769 NEW BEST:: SOT 13879216 SOS 8387702 HAS SOPS 8386173 HAS SOUS 1321205 HAS SOUPS 1320334 WITH SCORE 1328721.702
AT ITER 778 NEW BEST:: SOT 13874428 SOS 8382914 HAS SOPS 8381385 HAS SOUS 1315799 HAS SOUPS 1314928 WITH SCORE 1323310.914
AT ITER 798 NEW BEST:: SOT 13853900 SOS 8360795 HAS SOPS 8359266 HAS SOUS 1308894 HAS SOUPS 1308023 WITH SCORE 1316383.795
AT ITER 803 NEW BEST:: SOT 13853900 SOS 8358744 HAS SOPS 8357215 HAS SOUS 1308305 HAS SOUPS 1307434 WITH SCORE 1315792.744
AT ITER 807 NEW BEST:: SOT 13855422 SOS 8360402 HAS SOPS 8358873 HAS SOUS 1307559 HAS SOUPS 1306688 WITH SCORE 1315048.402
AT ITER 829 NEW BEST:: SOT 13855422 SOS 8359250 HAS SOPS 8357721 HAS SOUS 1307559 HAS SOUPS 1306688 WITH SCORE 1315047.25
AT ITER 835 NEW BEST:: SOT 13855413 SOS 8359250 HAS SOPS 8357721 HAS SOUS 1307550 HAS SOUPS 1306679 WITH SCORE 1315038.25
AT ITER 847 NEW BEST:: SOT 13851989 SOS 8357434 HAS SOPS 8355905 HAS SOUS 1300973 HAS SOUPS 1300102 WITH SCORE 1308459.434
AT ITER 848 NEW BEST:: SOT 13850342 SOS 8355787 HAS SOPS 8354258 HAS SOUS 1299509 HAS SOUPS 1298638 WITH SCORE 1306993.787
AT ITER 849 NEW BEST:: SOT 13850342 SOS 8361403 HAS SOPS 8359874 HAS SOUS 1299405 HAS SOUPS 1298534 WITH SCORE 1306895.403
AT ITER 852 NEW BEST:: SOT 13849666 SOS 8360727 HAS SOPS 8359198 HAS SOUS 1284122 HAS SOUPS 1283251 WITH SCORE 1291611.727
AT ITER 856 NEW BEST:: SOT 13849666 SOS 8360447 HAS SOPS 8358918 HAS SOUS 1283982 HAS SOUPS 1283111 WITH SCORE 1291471.447
AT ITER 859 NEW BEST:: SOT 13848654 SOS 8359435 HAS SOPS 8357906 HAS SOUS 1281949 HAS SOUPS 1281078 WITH SCORE 1289437.435
AT ITER 860 NEW BEST:: SOT 13840542 SOS 8347545 HAS SOPS 8346016 HAS SOUS 1274178 HAS SOUPS 1273307 WITH SCORE 1281654.545
AT ITER 864 NEW BEST:: SOT 13836504 SOS 8343507 HAS SOPS 8341978 HAS SOUS 1271337 HAS SOUPS 1270466 WITH SCORE 1278809.507
AT ITER 866 NEW BEST:: SOT 13846100 SOS 8365271 HAS SOPS 8363745 HAS SOUS 1264084 HAS SOUPS 1263213 WITH SCORE 1271578.271
AT ITER 917 NEW BEST:: SOT 13846100 SOS 8365271 HAS SOPS 8363745 HAS SOUS 1264076 HAS SOUPS 1263205 WITH SCORE 1271570.271
AT ITER 918 NEW BEST:: SOT 13847601 SOS 8376492 HAS SOPS 8374966 HAS SOUS 1256315 HAS SOUPS 1255444 WITH SCORE 1263820.492
AT ITER 922 NEW BEST:: SOT 13847601 SOS 8376127 HAS SOPS 8374617 HAS SOUS 1255567 HAS SOUPS 1254704 WITH SCORE 1263080.127
AT ITER 926 NEW BEST:: SOT 13855119 SOS 8384079 HAS SOPS 8382569 HAS SOUS 1251955 HAS SOUPS 1251092 WITH SCORE 1259476.079
AT ITER 932 NEW BEST:: SOT 13855119 SOS 8383359 HAS SOPS 8381849 HAS SOUS 1251945 HAS SOUPS 1251082 WITH SCORE 1259465.359
AT ITER 966 NEW BEST:: SOT 13855113 SOS 8383353 HAS SOPS 8381843 HAS SOUS 1251901 HAS SOUPS 1251038 WITH SCORE 1259421.353
AT ITER 967 NEW BEST:: SOT 13850838 SOS 8379078 HAS SOPS 8377568 HAS SOUS 1248964 HAS SOUPS 1248101 WITH SCORE 1256480.078
AT ITER 970 NEW BEST:: SOT 13850838 SOS 8377638 HAS SOPS 8376128 HAS SOUS 1248964 HAS SOUPS 1248101 WITH SCORE 1256478.638
AT ITER 989 NEW BEST:: SOT 13850838 SOS 8377597 HAS SOPS 8376087 HAS SOUS 1248923 HAS SOUPS 1248060 WITH SCORE 1256437.597
AT ITER 1001 NEW BEST:: SOT 13850838 SOS 8377597 HAS SOPS 8376087 HAS SOUS 1248870 HAS SOUPS 1248007 WITH SCORE 1256384.597
AT ITER 1012 NEW BEST:: SOT 13852491 SOS 8379250 HAS SOPS 8377740 HAS SOUS 1246873 HAS SOUPS 1246010 WITH SCORE 1254389.25
AT ITER 1017 NEW BEST:: SOT 13852491 SOS 8379192 HAS SOPS 8377682 HAS SOUS 1246844 HAS SOUPS 1245981 WITH SCORE 1254360.192
AT ITER 1024 NEW BEST:: SOT 13852219 SOS 8378920 HAS SOPS 8377410 HAS SOUS 1245988 HAS SOUPS 1245125 WITH SCORE 1253503.92
AT ITER 1025 NEW BEST:: SOT 13852219 SOS 8399770 HAS SOPS 8397843 HAS SOUS 1245403 HAS SOUPS 1244401 WITH SCORE 1252800.77
AT ITER 1026 NEW BEST:: SOT 13853020 SOS 8400571 HAS SOPS 8398644 HAS SOUS 1243277 HAS SOUPS 1242275 WITH SCORE 1250675.571
AT ITER 1027 NEW BEST:: SOT 13838051 SOS 8385746 HAS SOPS 8383837 HAS SOUS 1225727 HAS SOUPS 1224725 WITH SCORE 1233110.746
AT ITER 1039 NEW BEST:: SOT 13838051 SOS 8378186 HAS SOPS 8376277 HAS SOUS 1225606 HAS SOUPS 1224604 WITH SCORE 1232982.186
AT ITER 1041 NEW BEST:: SOT 13837642 SOS 8377771 HAS SOPS 8375862 HAS SOUS 1221918 HAS SOUPS 1220916 WITH SCORE 1229293.771
AT ITER 1044 NEW BEST:: SOT 13836136 SOS 8376265 HAS SOPS 8374356 HAS SOUS 1218609 HAS SOUPS 1217607 WITH SCORE 1225983.265
AT ITER 1046 NEW BEST:: SOT 13836136 SOS 8375977 HAS SOPS 8374068 HAS SOUS 1218609 HAS SOUPS 1217607 WITH SCORE 1225982.977
AT ITER 1050 NEW BEST:: SOT 13836136 SOS 8372327 HAS SOPS 8370418 HAS SOUS 1218559 HAS SOUPS 1217557 WITH SCORE 1225929.327
AT ITER 1055 NEW BEST:: SOT 13836136 SOS 8372327 HAS SOPS 8370418 HAS SOUS 1218508 HAS SOUPS 1217506 WITH SCORE 1225878.327
AT ITER 1064 NEW BEST:: SOT 13836677 SOS 8372868 HAS SOPS 8370959 HAS SOUS 1214246 HAS SOUPS 1213244 WITH SCORE 1221616.868
AT ITER 1065 NEW BEST:: SOT 13848118 SOS 8409656 HAS SOPS 8407282 HAS SOUS 1212532 HAS SOUPS 1211358 WITH SCORE 1219767.656
AT ITER 1071 NEW BEST:: SOT 13849331 SOS 8411133 HAS SOPS 8408759 HAS SOUS 1206108 HAS SOUPS 1204934 WITH SCORE 1213345.133
AT ITER 1072 NEW BEST:: SOT 13851659 SOS 8413729 HAS SOPS 8411355 HAS SOUS 1203673 HAS SOUPS 1202499 WITH SCORE 1210912.729
AT ITER 1073 NEW BEST:: SOT 13851659 SOS 8413729 HAS SOPS 8411355 HAS SOUS 1203612 HAS SOUPS 1202438 WITH SCORE 1210851.729
AT ITER 1092 NEW BEST:: SOT 13853738 SOS 8415114 HAS SOPS 8412768 HAS SOUS 1198584 HAS SOUPS 1197424 WITH SCORE 1205839.114
AT ITER 1093 NEW BEST:: SOT 13853420 SOS 8414796 HAS SOPS 8412450 HAS SOUS 1197703 HAS SOUPS 1196543 WITH SCORE 1204957.796
AT ITER 1100 NEW BEST:: SOT 13852944 SOS 8414327 HAS SOPS 8411981 HAS SOUS 1197234 HAS SOUPS 1196074 WITH SCORE 1204488.327
AT ITER 1133 NEW BEST:: SOT 13852838 SOS 8421899 HAS SOPS 8419553 HAS SOUS 1197174 HAS SOUPS 1196014 WITH SCORE 1204435.899
AT ITER 1146 NEW BEST:: SOT 13852838 SOS 8418803 HAS SOPS 8416457 HAS SOUS 1197174 HAS SOUPS 1196014 WITH SCORE 1204432.803
AT ITER 1149 NEW BEST:: SOT 13852848 SOS 8418813 HAS SOPS 8416467 HAS SOUS 1197167 HAS SOUPS 1196007 WITH SCORE 1204425.813
AT ITER 1152 NEW BEST:: SOT 13846988 SOS 8413891 HAS SOPS 8411545 HAS SOUS 1193645 HAS SOUPS 1192485 WITH SCORE 1200898.891
AT ITER 1165 NEW BEST:: SOT 13846368 SOS 8411926 HAS SOPS 8409942 HAS SOUS 1191282 HAS SOUPS 1190381 WITH SCORE 1198792.926
AT ITER 1183 NEW BEST:: SOT 13850609 SOS 8416315 HAS SOPS 8414331 HAS SOUS 1184954 HAS SOUPS 1184053 WITH SCORE 1192469.315
AT ITER 1188 NEW BEST:: SOT 13848510 SOS 8414216 HAS SOPS 8412232 HAS SOUS 1180642 HAS SOUPS 1179741 WITH SCORE 1188155.216
AT ITER 1194 NEW BEST:: SOT 13848224 SOS 8413930 HAS SOPS 8411946 HAS SOUS 1173923 HAS SOUPS 1173022 WITH SCORE 1181435.93
AT ITER 1200 NEW BEST:: SOT 13851641 SOS 8483934 HAS SOPS 8480022 HAS SOUS 1174213 HAS SOUPS 1172749 WITH SCORE 1181232.934
AT ITER 1232 NEW BEST:: SOT 13851641 SOS 8483951 HAS SOPS 8480039 HAS SOUS 1174196 HAS SOUPS 1172732 WITH SCORE 1181215.951
AT ITER 1243 NEW BEST:: SOT 13842181 SOS 8471735 HAS SOPS 8467823 HAS SOUS 1163753 HAS SOUPS 1162289 WITH SCORE 1170760.735
AT ITER 1249 NEW BEST:: SOT 13839009 SOS 8468563 HAS SOPS 8464651 HAS SOUS 1157352 HAS SOUPS 1155888 WITH SCORE 1164356.563
AT ITER 1254 NEW BEST:: SOT 13851435 SOS 8481567 HAS SOPS 8477655 HAS SOUS 1156672 HAS SOUPS 1155208 WITH SCORE 1163689.567
AT ITER 1261 NEW BEST:: SOT 13851435 SOS 8481451 HAS SOPS 8477539 HAS SOUS 1156614 HAS SOUPS 1155150 WITH SCORE 1163631.451
AT ITER 1283 NEW BEST:: SOT 13851435 SOS 8481548 HAS SOPS 8477562 HAS SOUS 1156104 HAS SOUPS 1154640 WITH SCORE 1163121.548
AT ITER 1300 NEW BEST:: SOT 13849938 SOS 8480051 HAS SOPS 8476065 HAS SOUS 1149404 HAS SOUPS 1147940 WITH SCORE 1156420.051
AT ITER 1301 NEW BEST:: SOT 13849938 SOS 8479115 HAS SOPS 8475129 HAS SOUS 1149404 HAS SOUPS 1147940 WITH SCORE 1156419.115
AT ITER 1313 NEW BEST:: SOT 13849938 SOS 8474723 HAS SOPS 8470737 HAS SOUS 1149404 HAS SOUPS 1147940 WITH SCORE 1156414.723
AT ITER 1314 NEW BEST:: SOT 13849363 SOS 8474148 HAS SOPS 8470162 HAS SOUS 1149016 HAS SOUPS 1147552 WITH SCORE 1156026.148
AT ITER 1341 NEW BEST:: SOT 13849355 SOS 8474140 HAS SOPS 8470154 HAS SOUS 1149016 HAS SOUPS 1147552 WITH SCORE 1156026.14
AT ITER 1348 NEW BEST:: SOT 13849355 SOS 8474068 HAS SOPS 8470082 HAS SOUS 1149016 HAS SOUPS 1147552 WITH SCORE 1156026.068
AT ITER 1354 NEW BEST:: SOT 13849320 SOS 8473963 HAS SOPS 8469977 HAS SOUS 1148946 HAS SOUPS 1147482 WITH SCORE 1155955.963
AT ITER 1367 NEW BEST:: SOT 13848859 SOS 8472602 HAS SOPS 8468732 HAS SOUS 1147760 HAS SOUPS 1146296 WITH SCORE 1154768.602
AT ITER 1374 NEW BEST:: SOT 13848720 SOS 8471059 HAS SOPS 8467189 HAS SOUS 1147540 HAS SOUPS 1146076 WITH SCORE 1154547.059
AT ITER 1378 NEW BEST:: SOT 13847813 SOS 8470240 HAS SOPS 8466370 HAS SOUS 1144834 HAS SOUPS 1143370 WITH SCORE 1151840.24
AT ITER 1384 NEW BEST:: SOT 13841502 SOS 8467937 HAS SOPS 8464067 HAS SOUS 1140477 HAS SOUPS 1139013 WITH SCORE 1147480.937
AT ITER 1392 NEW BEST:: SOT 13841502 SOS 8467405 HAS SOPS 8463535 HAS SOUS 1140391 HAS SOUPS 1138927 WITH SCORE 1147394.405
AT ITER 1402 NEW BEST:: SOT 13840443 SOS 8466346 HAS SOPS 8462476 HAS SOUS 1135835 HAS SOUPS 1134371 WITH SCORE 1142837.346
AT ITER 1409 NEW BEST:: SOT 13826807 SOS 8453286 HAS SOPS 8449416 HAS SOUS 1131483 HAS SOUPS 1130019 WITH SCORE 1138472.286
AT ITER 1412 NEW BEST:: SOT 13823358 SOS 8449625 HAS SOPS 8445755 HAS SOUS 1123813 HAS SOUPS 1122349 WITH SCORE 1130798.625
AT ITER 1422 NEW BEST:: SOT 13823358 SOS 8443145 HAS SOPS 8439275 HAS SOUS 1123813 HAS SOUPS 1122349 WITH SCORE 1130792.145
AT ITER 1424 NEW BEST:: SOT 13823358 SOS 8443145 HAS SOPS 8439275 HAS SOUS 1123811 HAS SOUPS 1122347 WITH SCORE 1130790.145
AT ITER 1436 NEW BEST:: SOT 13822058 SOS 8440143 HAS SOPS 8436324 HAS SOUS 1116429 HAS SOUPS 1114993 WITH SCORE 1123433.143
AT ITER 1441 NEW BEST:: SOT 13821215 SOS 8439300 HAS SOPS 8435481 HAS SOUS 1114729 HAS SOUPS 1113293 WITH SCORE 1121732.3
AT ITER 1450 NEW BEST:: SOT 13819623 SOS 8437708 HAS SOPS 8433889 HAS SOUS 1111499 HAS SOUPS 1110063 WITH SCORE 1118500.708
AT ITER 1453 NEW BEST:: SOT 13819623 SOS 8436412 HAS SOPS 8432593 HAS SOUS 1111499 HAS SOUPS 1110063 WITH SCORE 1118499.412
AT ITER 1454 NEW BEST:: SOT 13819623 SOS 8423380 HAS SOPS 8419561 HAS SOUS 1111499 HAS SOUPS 1110063 WITH SCORE 1118486.38
AT ITER 1470 NEW BEST:: SOT 13819914 SOS 8423671 HAS SOPS 8419852 HAS SOUS 1111473 HAS SOUPS 1110037 WITH SCORE 1118460.671
AT ITER 1490 NEW BEST:: SOT 13820061 SOS 8421666 HAS SOPS 8417847 HAS SOUS 1111411 HAS SOUPS 1109975 WITH SCORE 1118396.666
AT ITER 1508 NEW BEST:: SOT 13820119 SOS 8421724 HAS SOPS 8417905 HAS SOUS 1111408 HAS SOUPS 1109972 WITH SCORE 1118393.724
AT ITER 1518 NEW BEST:: SOT 13821649 SOS 8423372 HAS SOPS 8419553 HAS SOUS 1109388 HAS SOUPS 1107952 WITH SCORE 1116375.372
AT ITER 1525 NEW BEST:: SOT 13810071 SOS 8410054 HAS SOPS 8406235 HAS SOUS 1095358 HAS SOUPS 1093922 WITH SCORE 1102332.054
AT ITER 1535 NEW BEST:: SOT 13810071 SOS 8405082 HAS SOPS 8401263 HAS SOUS 1095248 HAS SOUPS 1093812 WITH SCORE 1102217.082
AT ITER 1539 NEW BEST:: SOT 13808087 SOS 8401197 HAS SOPS 8397435 HAS SOUS 1089952 HAS SOUPS 1088547 WITH SCORE 1096948.197
AT ITER 1549 NEW BEST:: SOT 13810014 SOS 8402786 HAS SOPS 8399038 HAS SOUS 1086524 HAS SOUPS 1085126 WITH SCORE 1093528.786
AT ITER 1561 NEW BEST:: SOT 13810014 SOS 8400338 HAS SOPS 8396590 HAS SOUS 1086409 HAS SOUPS 1085011 WITH SCORE 1093411.338
AT ITER 1594 NEW BEST:: SOT 13810014 SOS 8400226 HAS SOPS 8396478 HAS SOUS 1086409 HAS SOUPS 1085011 WITH SCORE 1093411.226
AT ITER 1603 NEW BEST:: SOT 13811602 SOS 8401814 HAS SOPS 8398066 HAS SOUS 1085899 HAS SOUPS 1084501 WITH SCORE 1092902.814
AT ITER 1611 NEW BEST:: SOT 13811602 SOS 8406998 HAS SOPS 8403250 HAS SOUS 1085723 HAS SOUPS 1084325 WITH SCORE 1092731.998
AT ITER 1613 NEW BEST:: SOT 13811602 SOS 8406998 HAS SOPS 8403250 HAS SOUS 1085535 HAS SOUPS 1084137 WITH SCORE 1092543.998
AT ITER 1615 NEW BEST:: SOT 13811602 SOS 8408078 HAS SOPS 8404330 HAS SOUS 1085520 HAS SOUPS 1084122 WITH SCORE 1092530.078
AT ITER 1616 NEW BEST:: SOT 13811602 SOS 8404910 HAS SOPS 8401162 HAS SOUS 1085520 HAS SOUPS 1084122 WITH SCORE 1092526.91
AT ITER 1619 NEW BEST:: SOT 13810621 SOS 8390345 HAS SOPS 8386597 HAS SOUS 1083857 HAS SOUPS 1082459 WITH SCORE 1090849.345
AT ITER 1640 NEW BEST:: SOT 13810432 SOS 8401676 HAS SOPS 8397928 HAS SOUS 1083698 HAS SOUPS 1082300 WITH SCORE 1090701.676
AT ITER 1646 NEW BEST:: SOT 13810432 SOS 8398652 HAS SOPS 8394904 HAS SOUS 1083656 HAS SOUPS 1082258 WITH SCORE 1090656.652
AT ITER 1650 NEW BEST:: SOT 13810432 SOS 8398652 HAS SOPS 8394904 HAS SOUS 1083218 HAS SOUPS 1081820 WITH SCORE 1090218.652
AT ITER 1657 NEW BEST:: SOT 13809211 SOS 8397431 HAS SOPS 8393683 HAS SOUS 1082518 HAS SOUPS 1081120 WITH SCORE 1089517.431
AT ITER 1661 NEW BEST:: SOT 13809211 SOS 8399447 HAS SOPS 8395699 HAS SOUS 1082467 HAS SOUPS 1081069 WITH SCORE 1089468.447
AT ITER 1671 NEW BEST:: SOT 13809211 SOS 8397779 HAS SOPS 8394031 HAS SOUS 1082328 HAS SOUPS 1080930 WITH SCORE 1089327.779
AT ITER 1687 NEW BEST:: SOT 13809211 SOS 8397675 HAS SOPS 8393869 HAS SOUS 1082034 HAS SOUPS 1080624 WITH SCORE 1089021.675
AT ITER 1693 NEW BEST:: SOT 13807119 SOS 8395583 HAS SOPS 8391777 HAS SOUS 1080632 HAS SOUPS 1079222 WITH SCORE 1087617.583
AT ITER 1698 NEW BEST:: SOT 13807119 SOS 8408183 HAS SOPS 8404377 HAS SOUS 1080457 HAS SOUPS 1079047 WITH SCORE 1087455.183
AT ITER 1718 NEW BEST:: SOT 13807119 SOS 8215069 HAS SOPS 8211263 HAS SOUS 1080416 HAS SOUPS 1079006 WITH SCORE 1087221.069
AT ITER 1729 NEW BEST:: SOT 13807119 SOS 8214993 HAS SOPS 8211187 HAS SOUS 1080397 HAS SOUPS 1078987 WITH SCORE 1087201.993
AT ITER 1731 NEW BEST:: SOT 13804746 SOS 8214040 HAS SOPS 8210234 HAS SOUS 1076029 HAS SOUPS 1074619 WITH SCORE 1082833.04
AT ITER 1741 NEW BEST:: SOT 13803620 SOS 8210746 HAS SOPS 8206980 HAS SOUS 1069016 HAS SOUPS 1067646 WITH SCORE 1075856.746
AT ITER 1742 NEW BEST:: SOT 13803620 SOS 8210746 HAS SOPS 8206980 HAS SOUS 1068955 HAS SOUPS 1067585 WITH SCORE 1075795.746
AT ITER 1748 NEW BEST:: SOT 13805245 SOS 8210735 HAS SOPS 8207018 HAS SOUS 1062851 HAS SOUPS 1061508 WITH SCORE 1069718.735
AT ITER 1757 NEW BEST:: SOT 13805245 SOS 8198591 HAS SOPS 8194874 HAS SOUS 1062851 HAS SOUPS 1061508 WITH SCORE 1069706.591
AT ITER 1763 NEW BEST:: SOT 13805245 SOS 8198555 HAS SOPS 8194838 HAS SOUS 1062815 HAS SOUPS 1061472 WITH SCORE 1069670.555
AT ITER 1770 NEW BEST:: SOT 13805245 SOS 8199167 HAS SOPS 8195450 HAS SOUS 1062806 HAS SOUPS 1061463 WITH SCORE 1069662.167
AT ITER 1776 NEW BEST:: SOT 13807412 SOS 8201334 HAS SOPS 8197617 HAS SOUS 1061767 HAS SOUPS 1060424 WITH SCORE 1068625.334
AT ITER 1787 NEW BEST:: SOT 13811111 SOS 8205033 HAS SOPS 8201316 HAS SOUS 1061201 HAS SOUPS 1059858 WITH SCORE 1068063.033
AT ITER 1792 NEW BEST:: SOT 13811111 SOS 8205033 HAS SOPS 8201316 HAS SOUS 1061158 HAS SOUPS 1059815 WITH SCORE 1068020.033
AT ITER 1799 NEW BEST:: SOT 13811111 SOS 8205033 HAS SOPS 8201316 HAS SOUS 1061129 HAS SOUPS 1059786 WITH SCORE 1067991.033
AT ITER 1811 NEW BEST:: SOT 13811111 SOS 8205033 HAS SOPS 8201316 HAS SOUS 1061120 HAS SOUPS 1059777 WITH SCORE 1067982.033
AT ITER 1820 NEW BEST:: SOT 13810917 SOS 8204839 HAS SOPS 8201122 HAS SOUS 1061058 HAS SOUPS 1059715 WITH SCORE 1067919.839
AT ITER 1823 NEW BEST:: SOT 13810232 SOS 8204154 HAS SOPS 8200437 HAS SOUS 1059266 HAS SOUPS 1057923 WITH SCORE 1066127.154
AT ITER 1828 NEW BEST:: SOT 13810232 SOS 8199834 HAS SOPS 8196117 HAS SOUS 1059266 HAS SOUPS 1057923 WITH SCORE 1066122.834
AT ITER 1833 NEW BEST:: SOT 13810232 SOS 8198754 HAS SOPS 8195037 HAS SOUS 1059266 HAS SOUPS 1057923 WITH SCORE 1066121.754
AT ITER 1843 NEW BEST:: SOT 13810232 SOS 8200986 HAS SOPS 8197269 HAS SOUS 1059134 HAS SOUPS 1057791 WITH SCORE 1065991.986
AT ITER 1844 NEW BEST:: SOT 13810232 SOS 8200616 HAS SOPS 8196899 HAS SOUS 1059129 HAS SOUPS 1057786 WITH SCORE 1065986.616
AT ITER 1846 NEW BEST:: SOT 13798734 SOS 8188828 HAS SOPS 8185111 HAS SOUS 1058836 HAS SOUPS 1057493 WITH SCORE 1065681.828
AT ITER 1849 NEW BEST:: SOT 13793340 SOS 8176938 HAS SOPS 8173221 HAS SOUS 1056794 HAS SOUPS 1055451 WITH SCORE 1063627.938
AT ITER 1867 NEW BEST:: SOT 13793340 SOS 8187740 HAS SOPS 8184023 HAS SOUS 1056492 HAS SOUPS 1055149 WITH SCORE 1063336.74
AT ITER 1880 NEW BEST:: SOT 13793314 SOS 8188010 HAS SOPS 8184293 HAS SOUS 1048577 HAS SOUPS 1047234 WITH SCORE 1055422.01
AT ITER 1886 NEW BEST:: SOT 13793187 SOS 8187883 HAS SOPS 8184166 HAS SOUS 1048306 HAS SOUPS 1046963 WITH SCORE 1055150.883
AT ITER 1887 NEW BEST:: SOT 13793187 SOS 8186551 HAS SOPS 8182834 HAS SOUS 1048288 HAS SOUPS 1046945 WITH SCORE 1055131.551
AT ITER 1891 NEW BEST:: SOT 13793187 SOS 8181943 HAS SOPS 8178226 HAS SOUS 1048288 HAS SOUPS 1046945 WITH SCORE 1055126.943
AT ITER 1896 NEW BEST:: SOT 13792397 SOS 8181153 HAS SOPS 8177436 HAS SOUS 1046214 HAS SOUPS 1044871 WITH SCORE 1053052.153
AT ITER 1923 NEW BEST:: SOT 13792397 SOS 8181153 HAS SOPS 8177436 HAS SOUS 1046204 HAS SOUPS 1044861 WITH SCORE 1053042.153
AT ITER 1926 NEW BEST:: SOT 13792397 SOS 8180865 HAS SOPS 8177148 HAS SOUS 1046204 HAS SOUPS 1044861 WITH SCORE 1053041.865
AT ITER 1931 NEW BEST:: SOT 13792396 SOS 8180791 HAS SOPS 8177076 HAS SOUS 1046192 HAS SOUPS 1044850 WITH SCORE 1053030.791
AT ITER 1945 NEW BEST:: SOT 13793150 SOS 8181545 HAS SOPS 8177830 HAS SOUS 1045971 HAS SOUPS 1044629 WITH SCORE 1052810.545
AT ITER 1952 NEW BEST:: SOT 13791850 SOS 8180245 HAS SOPS 8176530 HAS SOUS 1045083 HAS SOUPS 1043741 WITH SCORE 1051921.245
AT ITER 1955 NEW BEST:: SOT 13790694 SOS 8178638 HAS SOPS 8174941 HAS SOUS 1041855 HAS SOUPS 1040522 WITH SCORE 1048700.638
AT ITER 1959 NEW BEST:: SOT 13790694 SOS 8178638 HAS SOPS 8174919 HAS SOUS 1041844 HAS SOUPS 1040511 WITH SCORE 1048689.638
AT ITER 1969 NEW BEST:: SOT 13790330 SOS 8178274 HAS SOPS 8174555 HAS SOUS 1041561 HAS SOUPS 1040228 WITH SCORE 1048406.274
AT ITER 1973 NEW BEST:: SOT 13790651 SOS 8178595 HAS SOPS 8174876 HAS SOUS 1041092 HAS SOUPS 1039759 WITH SCORE 1047937.595
AT ITER 1994 NEW BEST:: SOT 13788263 SOS 8175952 HAS SOPS 8172233 HAS SOUS 1035544 HAS SOUPS 1034211 WITH SCORE 1042386.952
AT ITER 2002 NEW BEST:: SOT 13783273 SOS 8166066 HAS SOPS 8162347 HAS SOUS 1026378 HAS SOUPS 1025045 WITH SCORE 1033211.066
AT ITER 2021 NEW BEST:: SOT 13783273 SOS 8176650 HAS SOPS 8172931 HAS SOUS 1026204 HAS SOUPS 1024871 WITH SCORE 1033047.65
AT ITER 2024 NEW BEST:: SOT 13783273 SOS 8178450 HAS SOPS 8174731 HAS SOUS 1026177 HAS SOUPS 1024844 WITH SCORE 1033022.45
AT ITER 2026 NEW BEST:: SOT 13782394 SOS 8176626 HAS SOPS 8172925 HAS SOUS 1018672 HAS SOUPS 1017357 WITH SCORE 1025533.626
AT ITER 2027 NEW BEST:: SOT 13782394 SOS 8175834 HAS SOPS 8172133 HAS SOUS 1018672 HAS SOUPS 1017357 WITH SCORE 1025532.834
AT ITER 2032 NEW BEST:: SOT 13782394 SOS 8167283 HAS SOPS 8163582 HAS SOUS 1018608 HAS SOUPS 1017293 WITH SCORE 1025460.283
AT ITER 2048 NEW BEST:: SOT 13782450 SOS 8167851 HAS SOPS 8164150 HAS SOUS 1011921 HAS SOUPS 1010606 WITH SCORE 1018773.851
AT ITER 2061 NEW BEST:: SOT 13782450 SOS 8167707 HAS SOPS 8164006 HAS SOUS 1011919 HAS SOUPS 1010604 WITH SCORE 1018771.707
AT ITER 2091 NEW BEST:: SOT 13782450 SOS 8167707 HAS SOPS 8164006 HAS SOUS 1011832 HAS SOUPS 1010517 WITH SCORE 1018684.707
AT ITER 2093 NEW BEST:: SOT 13782450 SOS 8167637 HAS SOPS 8163936 HAS SOUS 1011797 HAS SOUPS 1010482 WITH SCORE 1018649.637
AT ITER 2106 NEW BEST:: SOT 13782451 SOS 8167638 HAS SOPS 8163937 HAS SOUS 1011794 HAS SOUPS 1010479 WITH SCORE 1018646.638
AT ITER 2135 NEW BEST:: SOT 13782451 SOS 8166414 HAS SOPS 8162713 HAS SOUS 1011794 HAS SOUPS 1010479 WITH SCORE 1018645.414
AT ITER 2145 NEW BEST:: SOT 13781509 SOS 8165472 HAS SOPS 8161771 HAS SOUS 1009876 HAS SOUPS 1008561 WITH SCORE 1016726.472
AT ITER 2180 NEW BEST:: SOT 13781494 SOS 8164527 HAS SOPS 8160826 HAS SOUS 1009876 HAS SOUPS 1008561 WITH SCORE 1016725.527
AT ITER 2182 NEW BEST:: SOT 13782904 SOS 8165937 HAS SOPS 8162259 HAS SOUS 1009717 HAS SOUPS 1008402 WITH SCORE 1016567.937
AT ITER 2185 NEW BEST:: SOT 13782904 SOS 8165341 HAS SOPS 8161663 HAS SOUS 1009625 HAS SOUPS 1008310 WITH SCORE 1016475.341
AT ITER 2186 NEW BEST:: SOT 13781063 SOS 8163500 HAS SOPS 8159822 HAS SOUS 1008293 HAS SOUPS 1006978 WITH SCORE 1015141.5
AT ITER 2194 NEW BEST:: SOT 13780963 SOS 8163388 HAS SOPS 8159710 HAS SOUS 1008051 HAS SOUPS 1006736 WITH SCORE 1014899.388
AT ITER 2202 NEW BEST:: SOT 13780963 SOS 8163234 HAS SOPS 8159556 HAS SOUS 1007974 HAS SOUPS 1006659 WITH SCORE 1014822.234
AT ITER 2206 NEW BEST:: SOT 13788600 SOS 8182747 HAS SOPS 8179069 HAS SOUS 1001687 HAS SOUPS 1000372 WITH SCORE 1008554.747
AT ITER 2213 NEW BEST:: SOT 13788600 SOS 8182387 HAS SOPS 8178709 HAS SOUS 1001657 HAS SOUPS 1000342 WITH SCORE 1008524.387
AT ITER 2222 NEW BEST:: SOT 13788600 SOS 8182387 HAS SOPS 8178709 HAS SOUS 1001641 HAS SOUPS 1000326 WITH SCORE 1008508.387
AT ITER 2229 NEW BEST:: SOT 13788622 SOS 8182409 HAS SOPS 8178731 HAS SOUS 1001527 HAS SOUPS 1000212 WITH SCORE 1008394.409
AT ITER 2230 NEW BEST:: SOT 13788622 SOS 8176289 HAS SOPS 8172611 HAS SOUS 1001527 HAS SOUPS 1000212 WITH SCORE 1008388.289
AT ITER 2233 NEW BEST:: SOT 13788717 SOS 8169544 HAS SOPS 8165866 HAS SOUS 1001527 HAS SOUPS 1000212 WITH SCORE 1008381.544
AT ITER 2236 NEW BEST:: SOT 13786359 SOS 8166945 HAS SOPS 8163260 HAS SOUS 998514 HAS SOUPS 997199 WITH SCORE 1005365.945
AT ITER 2256 NEW BEST:: SOT 13784404 SOS 8164990 HAS SOPS 8161305 HAS SOUS 995584 HAS SOUPS 994269 WITH SCORE 1002433.99
AT ITER 2264 NEW BEST:: SOT 13784404 SOS 8171520 HAS SOPS 8167835 HAS SOUS 995385 HAS SOUPS 994070 WITH SCORE 1002241.52
AT ITER 2268 NEW BEST:: SOT 13783394 SOS 8347311 HAS SOPS 8343932 HAS SOUS 993633 HAS SOUPS 992373 WITH SCORE 1000720.311
AT ITER 2269 NEW BEST:: SOT 13780942 SOS 8344859 HAS SOPS 8341480 HAS SOUS 988932 HAS SOUPS 987672 WITH SCORE 996016.859
AT ITER 2282 NEW BEST:: SOT 13784086 SOS 8348003 HAS SOPS 8344624 HAS SOUS 987370 HAS SOUPS 986110 WITH SCORE 994458.003
AT ITER 2284 NEW BEST:: SOT 13775337 SOS 8262791 HAS SOPS 8261385 HAS SOUS 978196 HAS SOUPS 977507 WITH SCORE 985769.791
AT ITER 2323 NEW BEST:: SOT 13775207 SOS 8262661 HAS SOPS 8261255 HAS SOUS 978149 HAS SOUPS 977460 WITH SCORE 985722.661
AT ITER 2383 NEW BEST:: SOT 13775069 SOS 8262523 HAS SOPS 8261117 HAS SOUS 978011 HAS SOUPS 977322 WITH SCORE 985584.523
AT ITER 2386 NEW BEST:: SOT 13774527 SOS 8261981 HAS SOPS 8260575 HAS SOUS 977642 HAS SOUPS 976953 WITH SCORE 985214.981
AT ITER 2412 NEW BEST:: SOT 13774527 SOS 8258343 HAS SOPS 8256937 HAS SOUS 977597 HAS SOUPS 976908 WITH SCORE 985166.343
AT ITER 2429 NEW BEST:: SOT 13767288 SOS 8251042 HAS SOPS 8249636 HAS SOUS 972901 HAS SOUPS 972212 WITH SCORE 980463.042
AT ITER 2432 NEW BEST:: SOT 13766902 SOS 8250656 HAS SOPS 8249250 HAS SOUS 972635 HAS SOUPS 971946 WITH SCORE 980196.656
AT ITER 2433 NEW BEST:: SOT 13766902 SOS 8250296 HAS SOPS 8248890 HAS SOUS 972635 HAS SOUPS 971946 WITH SCORE 980196.296
AT ITER 2472 NEW BEST:: SOT 13765916 SOS 8249310 HAS SOPS 8247904 HAS SOUS 970621 HAS SOUPS 969932 WITH SCORE 978181.31
AT ITER 2475 NEW BEST:: SOT 13763884 SOS 8247278 HAS SOPS 8245872 HAS SOUS 966558 HAS SOUPS 965869 WITH SCORE 974116.278
AT ITER 2484 NEW BEST:: SOT 13765624 SOS 8262721 HAS SOPS 8261315 HAS SOUS 966267 HAS SOUPS 965578 WITH SCORE 973840.721
AT ITER 2494 NEW BEST:: SOT 13762044 SOS 8259641 HAS SOPS 8258235 HAS SOUS 954062 HAS SOUPS 953373 WITH SCORE 961632.641
AT ITER 2496 NEW BEST:: SOT 13757312 SOS 8254909 HAS SOPS 8253503 HAS SOUS 944165 HAS SOUPS 943476 WITH SCORE 951730.909
AT ITER 2502 NEW BEST:: SOT 13757312 SOS 8251916 HAS SOPS 8250510 HAS SOUS 944124 HAS SOUPS 943435 WITH SCORE 951686.916
AT ITER 2512 NEW BEST:: SOT 13756234 SOS 8250838 HAS SOPS 8249432 HAS SOUS 941751 HAS SOUPS 941062 WITH SCORE 949312.838
AT ITER 2519 NEW BEST:: SOT 13759209 SOS 8253945 HAS SOPS 8252539 HAS SOUS 937659 HAS SOUPS 936970 WITH SCORE 945223.945
AT ITER 2528 NEW BEST:: SOT 13759209 SOS 8253945 HAS SOPS 8252539 HAS SOUS 937652 HAS SOUPS 936963 WITH SCORE 945216.945
AT ITER 2540 NEW BEST:: SOT 13758291 SOS 8253027 HAS SOPS 8251621 HAS SOUS 937114 HAS SOUPS 936425 WITH SCORE 944678.027
AT ITER 2553 NEW BEST:: SOT 13758291 SOS 8253027 HAS SOPS 8251621 HAS SOUS 937100 HAS SOUPS 936411 WITH SCORE 944664.027
AT ITER 2567 NEW BEST:: SOT 13758291 SOS 8253698 HAS SOPS 8252292 HAS SOUS 937089 HAS SOUPS 936400 WITH SCORE 944653.698
AT ITER 2569 NEW BEST:: SOT 13758291 SOS 8249450 HAS SOPS 8248044 HAS SOUS 937089 HAS SOUPS 936400 WITH SCORE 944649.45
AT ITER 2574 NEW BEST:: SOT 13759902 SOS 8251061 HAS SOPS 8249655 HAS SOUS 933027 HAS SOUPS 932338 WITH SCORE 940589.061
AT ITER 2585 NEW BEST:: SOT 13759936 SOS 8251095 HAS SOPS 8249689 HAS SOUS 933022 HAS SOUPS 932333 WITH SCORE 940584.095
AT ITER 2593 NEW BEST:: SOT 13759936 SOS 8250255 HAS SOPS 8248849 HAS SOUS 933012 HAS SOUPS 932323 WITH SCORE 940573.255
AT ITER 2625 NEW BEST:: SOT 13759936 SOS 8245143 HAS SOPS 8243737 HAS SOUS 933012 HAS SOUPS 932323 WITH SCORE 940568.143
AT ITER 2627 NEW BEST:: SOT 13759936 SOS 8243775 HAS SOPS 8242369 HAS SOUS 932865 HAS SOUPS 932176 WITH SCORE 940419.775
AT ITER 2639 NEW BEST:: SOT 13758735 SOS 8242574 HAS SOPS 8241168 HAS SOUS 932031 HAS SOUPS 931342 WITH SCORE 939584.574
AT ITER 2643 NEW BEST:: SOT 13756209 SOS 8232938 HAS SOPS 8231521 HAS SOUS 931242 HAS SOUPS 930553 WITH SCORE 938785.938
AT ITER 2645 NEW BEST:: SOT 13756127 SOS 8233504 HAS SOPS 8232087 HAS SOUS 931232 HAS SOUPS 930543 WITH SCORE 938776.504
AT ITER 2654 NEW BEST:: SOT 13756452 SOS 8233829 HAS SOPS 8232412 HAS SOUS 930025 HAS SOUPS 929336 WITH SCORE 937569.829
AT ITER 2660 NEW BEST:: SOT 13754957 SOS 8232364 HAS SOPS 8230947 HAS SOUS 927535 HAS SOUPS 926846 WITH SCORE 935078.364
AT ITER 2672 NEW BEST:: SOT 13754937 SOS 8232344 HAS SOPS 8230927 HAS SOUS 927515 HAS SOUPS 926826 WITH SCORE 935058.344
AT ITER 2688 NEW BEST:: SOT 13754937 SOS 8231234 HAS SOPS 8229817 HAS SOUS 927500 HAS SOUPS 926811 WITH SCORE 935042.234
AT ITER 2695 NEW BEST:: SOT 13751002 SOS 8227299 HAS SOPS 8225882 HAS SOUS 924225 HAS SOUPS 923536 WITH SCORE 931763.299
AT ITER 2701 NEW BEST:: SOT 13750273 SOS 8226570 HAS SOPS 8225153 HAS SOUS 922739 HAS SOUPS 922050 WITH SCORE 930276.57
AT ITER 2702 NEW BEST:: SOT 13741098 SOS 8221869 HAS SOPS 8220526 HAS SOUS 912746 HAS SOUPS 912099 WITH SCORE 920320.869
AT ITER 2713 NEW BEST:: SOT 13742389 SOS 8223160 HAS SOPS 8221817 HAS SOUS 908928 HAS SOUPS 908281 WITH SCORE 916504.16
AT ITER 2739 NEW BEST:: SOT 13742389 SOS 8223160 HAS SOPS 8221817 HAS SOUS 908924 HAS SOUPS 908277 WITH SCORE 916500.16
AT ITER 2759 NEW BEST:: SOT 13742389 SOS 8229970 HAS SOPS 8228627 HAS SOUS 908823 HAS SOUPS 908176 WITH SCORE 916405.97
AT ITER 2764 NEW BEST:: SOT 13736832 SOS 8226953 HAS SOPS 8225610 HAS SOUS 904857 HAS SOUPS 904210 WITH SCORE 912436.953
AT ITER 2771 NEW BEST:: SOT 13736566 SOS 8226687 HAS SOPS 8225344 HAS SOUS 904321 HAS SOUPS 903674 WITH SCORE 911900.687
AT ITER 2773 NEW BEST:: SOT 13736651 SOS 7916487 HAS SOPS 7915144 HAS SOUS 904309 HAS SOUPS 903662 WITH SCORE 911578.487
AT ITER 2787 NEW BEST:: SOT 13736651 SOS 7918037 HAS SOPS 7916694 HAS SOUS 904142 HAS SOUPS 903495 WITH SCORE 911413.037
AT ITER 2788 NEW BEST:: SOT 13736634 SOS 7918020 HAS SOPS 7916677 HAS SOUS 904108 HAS SOUPS 903461 WITH SCORE 911379.02
AT ITER 2798 NEW BEST:: SOT 13736227 SOS 7917607 HAS SOPS 7916270 HAS SOUS 902011 HAS SOUPS 901370 WITH SCORE 909287.607
AT ITER 2801 NEW BEST:: SOT 13730932 SOS 7912314 HAS SOPS 7910977 HAS SOUS 899955 HAS SOUPS 899314 WITH SCORE 907226.314
AT ITER 2809 NEW BEST:: SOT 13730932 SOS 7912218 HAS SOPS 7910881 HAS SOUS 899931 HAS SOUPS 899290 WITH SCORE 907202.218
AT ITER 2817 NEW BEST:: SOT 13730932 SOS 7906234 HAS SOPS 7904897 HAS SOUS 899819 HAS SOUPS 899178 WITH SCORE 907084.234
AT ITER 2868 NEW BEST:: SOT 13732333 SOS 7907635 HAS SOPS 7906298 HAS SOUS 899464 HAS SOUPS 898823 WITH SCORE 906730.635
AT ITER 2872 NEW BEST:: SOT 13732333 SOS 7907347 HAS SOPS 7906010 HAS SOUS 899464 HAS SOUPS 898823 WITH SCORE 906730.347
AT ITER 2891 NEW BEST:: SOT 13732333 SOS 7861582 HAS SOPS 7860245 HAS SOUS 899459 HAS SOUPS 898818 WITH SCORE 906679.582
AT ITER 2898 NEW BEST:: SOT 13730755 SOS 7860004 HAS SOPS 7858667 HAS SOUS 898113 HAS SOUPS 897472 WITH SCORE 905332.004
AT ITER 2924 NEW BEST:: SOT 13730755 SOS 7859356 HAS SOPS 7858019 HAS SOUS 898113 HAS SOUPS 897472 WITH SCORE 905331.356
AT ITER 2963 NEW BEST:: SOT 13731376 SOS 7859977 HAS SOPS 7858640 HAS SOUS 896977 HAS SOUPS 896336 WITH SCORE 904195.977
AT ITER 2992 NEW BEST:: SOT 13733613 SOS 7862197 HAS SOPS 7860860 HAS SOUS 895441 HAS SOUPS 894800 WITH SCORE 902662.197
AT ITER 3001 NEW BEST:: SOT 13733613 SOS 7861597 HAS SOPS 7860260 HAS SOUS 895441 HAS SOUPS 894800 WITH SCORE 902661.597
AT ITER 3010 NEW BEST:: SOT 13733536 SOS 7861520 HAS SOPS 7860183 HAS SOUS 895379 HAS SOUPS 894738 WITH SCORE 902599.52
AT ITER 3018 NEW BEST:: SOT 13733879 SOS 7863375 HAS SOPS 7862038 HAS SOUS 894305 HAS SOUPS 893664 WITH SCORE 901527.375
AT ITER 3023 NEW BEST:: SOT 13733879 SOS 7863326 HAS SOPS 7861989 HAS SOUS 894256 HAS SOUPS 893615 WITH SCORE 901478.326
AT ITER 3043 NEW BEST:: SOT 13741015 SOS 7879626 HAS SOPS 7878159 HAS SOUS 893043 HAS SOUPS 892337 WITH SCORE 900216.626
AT ITER 3044 NEW BEST:: SOT 13741990 SOS 7880601 HAS SOPS 7879134 HAS SOUS 892689 HAS SOUPS 891983 WITH SCORE 899863.601
AT ITER 3047 NEW BEST:: SOT 13741990 SOS 7880601 HAS SOPS 7879134 HAS SOUS 892687 HAS SOUPS 891981 WITH SCORE 899861.601
AT ITER 3051 NEW BEST:: SOT 13742896 SOS 7881599 HAS SOPS 7880132 HAS SOUS 890411 HAS SOUPS 889705 WITH SCORE 897586.599
AT ITER 3054 NEW BEST:: SOT 13742896 SOS 7881515 HAS SOPS 7880048 HAS SOUS 890411 HAS SOUPS 889705 WITH SCORE 897586.515
AT ITER 3058 NEW BEST:: SOT 13743433 SOS 7882052 HAS SOPS 7880585 HAS SOUS 890210 HAS SOUPS 889504 WITH SCORE 897386.052
AT ITER 3064 NEW BEST:: SOT 13743433 SOS 7881999 HAS SOPS 7880532 HAS SOUS 890157 HAS SOUPS 889451 WITH SCORE 897332.999
AT ITER 3077 NEW BEST:: SOT 13743433 SOS 7880991 HAS SOPS 7879524 HAS SOUS 890157 HAS SOUPS 889451 WITH SCORE 897331.991
AT ITER 3078 NEW BEST:: SOT 13745272 SOS 7919954 HAS SOPS 7917580 HAS SOUS 890178 HAS SOUPS 889193 WITH SCORE 897112.954
AT ITER 3079 NEW BEST:: SOT 13744617 SOS 7919299 HAS SOPS 7916925 HAS SOUS 887744 HAS SOUPS 886759 WITH SCORE 894678.299
AT ITER 3080 NEW BEST:: SOT 13744319 SOS 7918945 HAS SOPS 7916578 HAS SOUS 883599 HAS SOUPS 882621 WITH SCORE 890539.945
AT ITER 3081 NEW BEST:: SOT 13743718 SOS 7918344 HAS SOPS 7915977 HAS SOUS 882141 HAS SOUPS 881163 WITH SCORE 889081.344
AT ITER 3104 NEW BEST:: SOT 13741068 SOS 7915796 HAS SOPS 7913429 HAS SOUS 878151 HAS SOUPS 877173 WITH SCORE 885088.796
AT ITER 3106 NEW BEST:: SOT 13741068 SOS 7914788 HAS SOPS 7912421 HAS SOUS 878151 HAS SOUPS 877173 WITH SCORE 885087.788
AT ITER 3128 NEW BEST:: SOT 13741068 SOS 7914460 HAS SOPS 7912093 HAS SOUS 878151 HAS SOUPS 877173 WITH SCORE 885087.46
AT ITER 3130 NEW BEST:: SOT 13741068 SOS 7910844 HAS SOPS 7908477 HAS SOUS 878062 HAS SOUPS 877084 WITH SCORE 884994.844
AT ITER 3143 NEW BEST:: SOT 13741555 SOS 7889357 HAS SOPS 7887827 HAS SOUS 874418 HAS SOUPS 873743 WITH SCORE 881632.357
AT ITER 3147 NEW BEST:: SOT 13741555 SOS 7891637 HAS SOPS 7890107 HAS SOUS 874258 HAS SOUPS 873583 WITH SCORE 881474.637
AT ITER 3156 NEW BEST:: SOT 13744125 SOS 7894519 HAS SOPS 7892989 HAS SOUS 872796 HAS SOUPS 872121 WITH SCORE 880015.519
AT ITER 3157 NEW BEST:: SOT 13743979 SOS 7894373 HAS SOPS 7892843 HAS SOUS 872131 HAS SOUPS 871456 WITH SCORE 879350.373
AT ITER 3177 NEW BEST:: SOT 13743979 SOS 7893365 HAS SOPS 7891835 HAS SOUS 872131 HAS SOUPS 871456 WITH SCORE 879349.365
AT ITER 3188 NEW BEST:: SOT 13743979 SOS 7893365 HAS SOPS 7891835 HAS SOUS 872115 HAS SOUPS 871440 WITH SCORE 879333.365
AT ITER 3189 NEW BEST:: SOT 13743979 SOS 7892717 HAS SOPS 7891187 HAS SOUS 871805 HAS SOUPS 871130 WITH SCORE 879022.717
AT ITER 3206 NEW BEST:: SOT 13743979 SOS 7884459 HAS SOPS 7882929 HAS SOUS 871599 HAS SOUPS 870924 WITH SCORE 878808.459
AT ITER 3239 NEW BEST:: SOT 13743979 SOS 7884387 HAS SOPS 7882857 HAS SOUS 871599 HAS SOUPS 870924 WITH SCORE 878808.387
AT ITER 3242 NEW BEST:: SOT 13743846 SOS 7884254 HAS SOPS 7882724 HAS SOUS 871252 HAS SOUPS 870577 WITH SCORE 878461.254
AT ITER 3251 NEW BEST:: SOT 13743794 SOS 7884202 HAS SOPS 7882672 HAS SOUS 871173 HAS SOUPS 870498 WITH SCORE 878382.202
AT ITER 3252 NEW BEST:: SOT 13743794 SOS 7884202 HAS SOPS 7882672 HAS SOUS 871156 HAS SOUPS 870481 WITH SCORE 878365.202
AT ITER 3256 NEW BEST:: SOT 13743794 SOS 7882826 HAS SOPS 7881296 HAS SOUS 871156 HAS SOUPS 870481 WITH SCORE 878363.826
AT ITER 3259 NEW BEST:: SOT 13742346 SOS 7881378 HAS SOPS 7879848 HAS SOUS 868113 HAS SOUPS 867438 WITH SCORE 875319.378
AT ITER 3268 NEW BEST:: SOT 13742554 SOS 7882012 HAS SOPS 7880482 HAS SOUS 867883 HAS SOUPS 867208 WITH SCORE 875090.012
AT ITER 3313 NEW BEST:: SOT 13742170 SOS 7881628 HAS SOPS 7880098 HAS SOUS 867670 HAS SOUPS 866995 WITH SCORE 874876.628
AT ITER 3317 NEW BEST:: SOT 13742168 SOS 7881626 HAS SOPS 7880096 HAS SOUS 867670 HAS SOUPS 866995 WITH SCORE 874876.626
AT ITER 3340 NEW BEST:: SOT 13742583 SOS 7906132 HAS SOPS 7904602 HAS SOUS 866497 HAS SOUPS 865822 WITH SCORE 873728.132
AT ITER 3343 NEW BEST:: SOT 13744640 SOS 7908121 HAS SOPS 7906623 HAS SOUS 863887 HAS SOUPS 863244 WITH SCORE 871152.121
AT ITER 3344 NEW BEST:: SOT 13742271 SOS 7905752 HAS SOPS 7904254 HAS SOUS 861581 HAS SOUPS 860938 WITH SCORE 868843.752
AT ITER 3355 NEW BEST:: SOT 13742224 SOS 7905705 HAS SOPS 7904207 HAS SOUS 861265 HAS SOUPS 860622 WITH SCORE 868527.705
AT ITER 3381 NEW BEST:: SOT 13743628 SOS 7907109 HAS SOPS 7905611 HAS SOUS 861045 HAS SOUPS 860402 WITH SCORE 868309.109
AT ITER 3384 NEW BEST:: SOT 13743628 SOS 7899379 HAS SOPS 7897881 HAS SOUS 861035 HAS SOUPS 860392 WITH SCORE 868291.379
AT ITER 3404 NEW BEST:: SOT 13739012 SOS 7894583 HAS SOPS 7893085 HAS SOUS 858464 HAS SOUPS 857821 WITH SCORE 865715.583
AT ITER 3408 NEW BEST:: SOT 13739012 SOS 7890551 HAS SOPS 7889053 HAS SOUS 858464 HAS SOUPS 857821 WITH SCORE 865711.551
AT ITER 3413 NEW BEST:: SOT 13739012 SOS 7886697 HAS SOPS 7885199 HAS SOUS 858409 HAS SOUPS 857766 WITH SCORE 865652.697
AT ITER 3420 NEW BEST:: SOT 13739012 SOS 7886089 HAS SOPS 7884591 HAS SOUS 858409 HAS SOUPS 857766 WITH SCORE 865652.089
AT ITER 3440 NEW BEST:: SOT 13739012 SOS 7886316 HAS SOPS 7884818 HAS SOUS 858292 HAS SOUPS 857649 WITH SCORE 865535.316
AT ITER 3445 NEW BEST:: SOT 13737092 SOS 7883828 HAS SOPS 7882330 HAS SOUS 854416 HAS SOUPS 853773 WITH SCORE 861656.828
AT ITER 3453 NEW BEST:: SOT 13736291 SOS 7880647 HAS SOPS 7879183 HAS SOUS 853773 HAS SOUPS 853147 WITH SCORE 861027.647
AT ITER 3457 NEW BEST:: SOT 13736291 SOS 7879999 HAS SOPS 7878535 HAS SOUS 853773 HAS SOUPS 853147 WITH SCORE 861026.999
AT ITER 3520 NEW BEST:: SOT 13737254 SOS 7880962 HAS SOPS 7879498 HAS SOUS 853458 HAS SOUPS 852832 WITH SCORE 860712.962
AT ITER 3521 NEW BEST:: SOT 13737254 SOS 7880962 HAS SOPS 7879498 HAS SOUS 853444 HAS SOUPS 852818 WITH SCORE 860698.962
AT ITER 3526 NEW BEST:: SOT 13737210 SOS 7880918 HAS SOPS 7879454 HAS SOUS 853408 HAS SOUPS 852782 WITH SCORE 860662.918
AT ITER 3533 NEW BEST:: SOT 13737210 SOS 7879910 HAS SOPS 7878446 HAS SOUS 853408 HAS SOUPS 852782 WITH SCORE 860661.91
AT ITER 3540 NEW BEST:: SOT 13737210 SOS 7877904 HAS SOPS 7876575 HAS SOUS 853362 HAS SOUPS 852763 WITH SCORE 860640.904
AT ITER 3545 NEW BEST:: SOT 13737210 SOS 7876704 HAS SOPS 7875439 HAS SOUS 853314 HAS SOUPS 852731 WITH SCORE 860607.704
AT ITER 3567 NEW BEST:: SOT 13737210 SOS 7876056 HAS SOPS 7874791 HAS SOUS 853314 HAS SOUPS 852731 WITH SCORE 860607.056
AT ITER 3582 NEW BEST:: SOT 13737176 SOS 7876022 HAS SOPS 7874757 HAS SOUS 853091 HAS SOUPS 852508 WITH SCORE 860384.022
AT ITER 3632 NEW BEST:: SOT 13739256 SOS 7878102 HAS SOPS 7876837 HAS SOUS 852782 HAS SOUPS 852199 WITH SCORE 860077.102
AT ITER 3650 NEW BEST:: SOT 13739256 SOS 7874772 HAS SOPS 7873507 HAS SOUS 852782 HAS SOUPS 852199 WITH SCORE 860073.772
AT ITER 3660 NEW BEST:: SOT 13740447 SOS 7875963 HAS SOPS 7874698 HAS SOUS 852257 HAS SOUPS 851674 WITH SCORE 859549.963
AT ITER 3680 NEW BEST:: SOT 13740447 SOS 7875603 HAS SOPS 7874338 HAS SOUS 852257 HAS SOUPS 851674 WITH SCORE 859549.603
AT ITER 3703 NEW BEST:: SOT 13738347 SOS 7873503 HAS SOPS 7872238 HAS SOUS 850495 HAS SOUPS 849912 WITH SCORE 857785.503
AT ITER 3721 NEW BEST:: SOT 13738347 SOS 7873518 HAS SOPS 7872238 HAS SOUS 850495 HAS SOUPS 849897 WITH SCORE 857770.518
AT ITER 3725 NEW BEST:: SOT 13738347 SOS 7872510 HAS SOPS 7871230 HAS SOUS 850495 HAS SOUPS 849897 WITH SCORE 857769.51
AT ITER 3749 NEW BEST:: SOT 13738848 SOS 7873029 HAS SOPS 7871749 HAS SOUS 850393 HAS SOUPS 849795 WITH SCORE 857668.029
AT ITER 3766 NEW BEST:: SOT 13738848 SOS 7869249 HAS SOPS 7867969 HAS SOUS 850279 HAS SOUPS 849681 WITH SCORE 857550.249
AT ITER 3775 NEW BEST:: SOT 13738848 SOS 7868241 HAS SOPS 7866961 HAS SOUS 850169 HAS SOUPS 849571 WITH SCORE 857439.241
AT ITER 3777 NEW BEST:: SOT 13737981 SOS 7867374 HAS SOPS 7866094 HAS SOUS 849645 HAS SOUPS 849047 WITH SCORE 856914.374
AT ITER 3800 NEW BEST:: SOT 13737981 SOS 7861989 HAS SOPS 7860709 HAS SOUS 849555 HAS SOUPS 848957 WITH SCORE 856818.989
AT ITER 3808 NEW BEST:: SOT 13737981 SOS 7861989 HAS SOPS 7860709 HAS SOUS 849531 HAS SOUPS 848933 WITH SCORE 856794.989
AT ITER 3817 NEW BEST:: SOT 13737981 SOS 7861125 HAS SOPS 7859845 HAS SOUS 849531 HAS SOUPS 848933 WITH SCORE 856794.125
AT ITER 3859 NEW BEST:: SOT 13736581 SOS 7859725 HAS SOPS 7858445 HAS SOUS 848383 HAS SOUPS 847785 WITH SCORE 855644.725
AT ITER 3861 NEW BEST:: SOT 13735968 SOS 7859112 HAS SOPS 7857832 HAS SOUS 847280 HAS SOUPS 846682 WITH SCORE 854541.112
AT ITER 3862 NEW BEST:: SOT 13735968 SOS 7859092 HAS SOPS 7857812 HAS SOUS 847270 HAS SOUPS 846672 WITH SCORE 854531.092
AT ITER 3865 NEW BEST:: SOT 13735980 SOS 7859101 HAS SOPS 7857824 HAS SOUS 847124 HAS SOUPS 846529 WITH SCORE 854388.101
AT ITER 3867 NEW BEST:: SOT 13735980 SOS 7858973 HAS SOPS 7857696 HAS SOUS 847060 HAS SOUPS 846465 WITH SCORE 854323.973
AT ITER 3898 NEW BEST:: SOT 13734625 SOS 7857618 HAS SOPS 7856341 HAS SOUS 844200 HAS SOUPS 843605 WITH SCORE 851462.618
AT ITER 3905 NEW BEST:: SOT 13734960 SOS 7860901 HAS SOPS 7859624 HAS SOUS 843926 HAS SOUPS 843331 WITH SCORE 851191.901
AT ITER 3935 NEW BEST:: SOT 13734960 SOS 7860901 HAS SOPS 7859624 HAS SOUS 843925 HAS SOUPS 843330 WITH SCORE 851190.901
AT ITER 3937 NEW BEST:: SOT 13738281 SOS 7864222 HAS SOPS 7862945 HAS SOUS 842183 HAS SOUPS 841588 WITH SCORE 849452.222
AT ITER 3943 NEW BEST:: SOT 13738281 SOS 7864167 HAS SOPS 7862890 HAS SOUS 842128 HAS SOUPS 841533 WITH SCORE 849397.167
AT ITER 3963 NEW BEST:: SOT 13738277 SOS 7864163 HAS SOPS 7862886 HAS SOUS 842124 HAS SOUPS 841529 WITH SCORE 849393.163
AT ITER 3969 NEW BEST:: SOT 13737574 SOS 7863460 HAS SOPS 7862183 HAS SOUS 840956 HAS SOUPS 840361 WITH SCORE 848224.46
AT ITER 3970 NEW BEST:: SOT 13737427 SOS 7863313 HAS SOPS 7862036 HAS SOUS 840659 HAS SOUPS 840064 WITH SCORE 847927.313
AT ITER 3993 NEW BEST:: SOT 13741529 SOS 7876418 HAS SOPS 7874970 HAS SOUS 836984 HAS SOUPS 836310 WITH SCORE 844186.418
AT ITER 3998 NEW BEST:: SOT 13740530 SOS 7875419 HAS SOPS 7873971 HAS SOUS 835655 HAS SOUPS 834981 WITH SCORE 842856.419
AT ITER 4021 NEW BEST:: SOT 13740530 SOS 7875419 HAS SOPS 7873971 HAS SOUS 835632 HAS SOUPS 834958 WITH SCORE 842833.419
AT ITER 4035 NEW BEST:: SOT 13738168 SOS 7873057 HAS SOPS 7871609 HAS SOUS 835485 HAS SOUPS 834811 WITH SCORE 842684.057
AT ITER 4049 NEW BEST:: SOT 13738168 SOS 7873057 HAS SOPS 7871609 HAS SOUS 835480 HAS SOUPS 834806 WITH SCORE 842679.057
AT ITER 4123 NEW BEST:: SOT 13738145 SOS 7871608 HAS SOPS 7870160 HAS SOUS 835480 HAS SOUPS 834806 WITH SCORE 842677.608
AT ITER 4149 NEW BEST:: SOT 13736207 SOS 7870030 HAS SOPS 7868582 HAS SOUS 835397 HAS SOUPS 834723 WITH SCORE 842593.03
AT ITER 4164 NEW BEST:: SOT 13736207 SOS 7870030 HAS SOPS 7868582 HAS SOUS 835395 HAS SOUPS 834721 WITH SCORE 842591.03
AT ITER 4170 NEW BEST:: SOT 13736394 SOS 7870217 HAS SOPS 7868769 HAS SOUS 834709 HAS SOUPS 834035 WITH SCORE 841905.217
AT ITER 4182 NEW BEST:: SOT 13736394 SOS 7866473 HAS SOPS 7865025 HAS SOUS 834709 HAS SOUPS 834035 WITH SCORE 841901.473
AT ITER 4195 NEW BEST:: SOT 13736394 SOS 7866813 HAS SOPS 7865365 HAS SOUS 834686 HAS SOUPS 834012 WITH SCORE 841878.813
AT ITER 4216 NEW BEST:: SOT 13736394 SOS 7866365 HAS SOPS 7864917 HAS SOUS 834568 HAS SOUPS 833894 WITH SCORE 841760.365
AT ITER 4252 NEW BEST:: SOT 13733987 SOS 7863958 HAS SOPS 7862510 HAS SOUS 832576 HAS SOUPS 831902 WITH SCORE 839765.958
AT ITER 4261 NEW BEST:: SOT 13733387 SOS 7863358 HAS SOPS 7861910 HAS SOUS 832064 HAS SOUPS 831390 WITH SCORE 839253.358
AT ITER 4276 NEW BEST:: SOT 13733349 SOS 7863320 HAS SOPS 7861872 HAS SOUS 831669 HAS SOUPS 830995 WITH SCORE 838858.32
AT ITER 4281 NEW BEST:: SOT 13733349 SOS 7860080 HAS SOPS 7858632 HAS SOUS 831669 HAS SOUPS 830995 WITH SCORE 838855.08
AT ITER 4291 NEW BEST:: SOT 13733139 SOS 7859886 HAS SOPS 7858438 HAS SOUS 831115 HAS SOUPS 830441 WITH SCORE 838300.886
AT ITER 4300 NEW BEST:: SOT 13733139 SOS 7859886 HAS SOPS 7858438 HAS SOUS 831068 HAS SOUPS 830394 WITH SCORE 838253.886
AT ITER 4346 NEW BEST:: SOT 13733139 SOS 7862766 HAS SOPS 7861318 HAS SOUS 831034 HAS SOUPS 830360 WITH SCORE 838222.766
AT ITER 4347 NEW BEST:: SOT 13733139 SOS 7862766 HAS SOPS 7861318 HAS SOUS 831026 HAS SOUPS 830352 WITH SCORE 838214.766
AT ITER 4354 NEW BEST:: SOT 13733508 SOS 7863135 HAS SOPS 7861687 HAS SOUS 830756 HAS SOUPS 830082 WITH SCORE 837945.135
AT ITER 4368 NEW BEST:: SOT 13732199 SOS 7856923 HAS SOPS 7855669 HAS SOUS 827351 HAS SOUPS 826779 WITH SCORE 834635.923
AT ITER 4370 NEW BEST:: SOT 13731795 SOS 7856519 HAS SOPS 7855265 HAS SOUS 826380 HAS SOUPS 825808 WITH SCORE 833664.519
AT ITER 4371 NEW BEST:: SOT 13733848 SOS 7881613 HAS SOPS 7880359 HAS SOUS 823138 HAS SOUPS 822566 WITH SCORE 830447.613
AT ITER 4377 NEW BEST:: SOT 13733848 SOS 7881037 HAS SOPS 7879783 HAS SOUS 823138 HAS SOUPS 822566 WITH SCORE 830447.037
AT ITER 4403 NEW BEST:: SOT 13733848 SOS 7880389 HAS SOPS 7879135 HAS SOUS 823066 HAS SOUPS 822494 WITH SCORE 830374.389
AT ITER 4408 NEW BEST:: SOT 13735256 SOS 7881797 HAS SOPS 7880543 HAS SOUS 821470 HAS SOUPS 820898 WITH SCORE 828779.797
AT ITER 4425 NEW BEST:: SOT 13735256 SOS 7881725 HAS SOPS 7880471 HAS SOUS 821470 HAS SOUPS 820898 WITH SCORE 828779.725
AT ITER 4427 NEW BEST:: SOT 13735241 SOS 7881710 HAS SOPS 7880456 HAS SOUS 821455 HAS SOUPS 820883 WITH SCORE 828764.71
AT ITER 4431 NEW BEST:: SOT 13733985 SOS 7880454 HAS SOPS 7879200 HAS SOUS 820295 HAS SOUPS 819723 WITH SCORE 827603.454
AT ITER 4454 NEW BEST:: SOT 13733510 SOS 7879979 HAS SOPS 7878725 HAS SOUS 819309 HAS SOUPS 818737 WITH SCORE 826616.979
AT ITER 4461 NEW BEST:: SOT 13733510 SOS 7879533 HAS SOPS 7878279 HAS SOUS 819309 HAS SOUPS 818737 WITH SCORE 826616.533
AT ITER 4469 NEW BEST:: SOT 13734100 SOS 7880123 HAS SOPS 7878869 HAS SOUS 819227 HAS SOUPS 818655 WITH SCORE 826535.123
AT ITER 4476 NEW BEST:: SOT 13733913 SOS 7879936 HAS SOPS 7878682 HAS SOUS 819040 HAS SOUPS 818468 WITH SCORE 826347.936
AT ITER 4504 NEW BEST:: SOT 13733255 SOS 7879278 HAS SOPS 7878024 HAS SOUS 817680 HAS SOUPS 817108 WITH SCORE 824987.278
AT ITER 4507 NEW BEST:: SOT 13731441 SOS 7877464 HAS SOPS 7876210 HAS SOUS 815860 HAS SOUPS 815288 WITH SCORE 823165.464
AT ITER 4596 NEW BEST:: SOT 13731822 SOS 7879285 HAS SOPS 7878031 HAS SOUS 813908 HAS SOUPS 813336 WITH SCORE 821215.285
AT ITER 4613 NEW BEST:: SOT 13729349 SOS 7876812 HAS SOPS 7875558 HAS SOUS 811712 HAS SOUPS 811140 WITH SCORE 819016.812
AT ITER 4614 NEW BEST:: SOT 13729349 SOS 7876812 HAS SOPS 7875558 HAS SOUS 811693 HAS SOUPS 811121 WITH SCORE 818997.812
AT ITER 4626 NEW BEST:: SOT 13729349 SOS 7876738 HAS SOPS 7875484 HAS SOUS 811656 HAS SOUPS 811084 WITH SCORE 818960.738
AT ITER 4633 NEW BEST:: SOT 13732370 SOS 7879856 HAS SOPS 7878602 HAS SOUS 810370 HAS SOUPS 809798 WITH SCORE 817677.856
AT ITER 4643 NEW BEST:: SOT 13727125 SOS 7877357 HAS SOPS 7876103 HAS SOUS 808480 HAS SOUPS 807908 WITH SCORE 815785.357
AT ITER 4644 NEW BEST:: SOT 13727125 SOS 7877657 HAS SOPS 7876403 HAS SOUS 808393 HAS SOUPS 807821 WITH SCORE 815698.657
AT ITER 4651 NEW BEST:: SOT 13727125 SOS 7877009 HAS SOPS 7875755 HAS SOUS 808393 HAS SOUPS 807821 WITH SCORE 815698.009
AT ITER 4666 NEW BEST:: SOT 13727134 SOS 7877018 HAS SOPS 7875764 HAS SOUS 808388 HAS SOUPS 807816 WITH SCORE 815693.018
AT ITER 4695 NEW BEST:: SOT 13727164 SOS 7820786 HAS SOPS 7819532 HAS SOUS 808388 HAS SOUPS 807816 WITH SCORE 815636.786
AT ITER 4706 NEW BEST:: SOT 13727164 SOS 7820686 HAS SOPS 7819432 HAS SOUS 808338 HAS SOUPS 807766 WITH SCORE 815586.686
AT ITER 4721 NEW BEST:: SOT 13728086 SOS 7821608 HAS SOPS 7820354 HAS SOUS 807648 HAS SOUPS 807076 WITH SCORE 814897.608
AT ITER 4776 NEW BEST:: SOT 13724610 SOS 7818132 HAS SOPS 7816878 HAS SOUS 804453 HAS SOUPS 803881 WITH SCORE 811699.132
AT ITER 4784 NEW BEST:: SOT 13724610 SOS 7817772 HAS SOPS 7816518 HAS SOUS 804437 HAS SOUPS 803865 WITH SCORE 811682.772
AT ITER 4796 NEW BEST:: SOT 13723544 SOS 7816706 HAS SOPS 7815452 HAS SOUS 802273 HAS SOUPS 801701 WITH SCORE 809517.706
AT ITER 4801 NEW BEST:: SOT 13719295 SOS 7812381 HAS SOPS 7811127 HAS SOUS 799065 HAS SOUPS 798493 WITH SCORE 806305.381
AT ITER 4810 NEW BEST:: SOT 13719100 SOS 7812186 HAS SOPS 7810932 HAS SOUS 798981 HAS SOUPS 798409 WITH SCORE 806221.186
AT ITER 4831 NEW BEST:: SOT 13719329 SOS 7812415 HAS SOPS 7811161 HAS SOUS 798738 HAS SOUPS 798166 WITH SCORE 805978.415
AT ITER 4834 NEW BEST:: SOT 13719380 SOS 7785295 HAS SOPS 7785108 HAS SOUS 795312 HAS SOUPS 795173 WITH SCORE 802958.295
AT ITER 4856 NEW BEST:: SOT 13719380 SOS 7784143 HAS SOPS 7783956 HAS SOUS 795312 HAS SOUPS 795173 WITH SCORE 802957.143
AT ITER 4865 NEW BEST:: SOT 13719372 SOS 7784135 HAS SOPS 7783948 HAS SOUS 795296 HAS SOUPS 795157 WITH SCORE 802941.135
AT ITER 4867 NEW BEST:: SOT 13718076 SOS 7782839 HAS SOPS 7782652 HAS SOUS 793905 HAS SOUPS 793766 WITH SCORE 801548.839
AT ITER 4883 NEW BEST:: SOT 13718076 SOS 7782683 HAS SOPS 7782521 HAS SOUS 793860 HAS SOUPS 793746 WITH SCORE 801528.683
AT ITER 4897 NEW BEST:: SOT 13718055 SOS 7782662 HAS SOPS 7782500 HAS SOUS 793860 HAS SOUPS 793746 WITH SCORE 801528.662
AT ITER 4960 NEW BEST:: SOT 13710993 SOS 7775175 HAS SOPS 7775010 HAS SOUS 793828 HAS SOUPS 793711 WITH SCORE 801486.175
AT ITER 4980 NEW BEST:: SOT 13710993 SOS 7773770 HAS SOPS 7773605 HAS SOUS 793828 HAS SOUPS 793711 WITH SCORE 801484.77
AT ITER 4999 NEW BEST:: SOT 13710699 SOS 7773476 HAS SOPS 7773311 HAS SOUS 793534 HAS SOUPS 793417 WITH SCORE 801190.476
AT ITER 5048 NEW BEST:: SOT 13709770 SOS 7772547 HAS SOPS 7772382 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799308.547
AT ITER 5078 NEW BEST:: SOT 13709770 SOS 7771683 HAS SOPS 7771518 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799307.683
AT ITER 5084 NEW BEST:: SOT 13709727 SOS 7771640 HAS SOPS 7771475 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799307.64
AT ITER 5087 NEW BEST:: SOT 13709727 SOS 7771064 HAS SOPS 7770899 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799307.064
AT ITER 5108 NEW BEST:: SOT 13709727 SOS 7770776 HAS SOPS 7770611 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799306.776
AT ITER 5129 NEW BEST:: SOT 13709727 SOS 7770704 HAS SOPS 7770539 HAS SOUS 791653 HAS SOUPS 791536 WITH SCORE 799306.704
AT ITER 5157 NEW BEST:: SOT 13709794 SOS 7770771 HAS SOPS 7770606 HAS SOUS 789076 HAS SOUPS 788959 WITH SCORE 796729.771
AT ITER 5172 NEW BEST:: SOT 13713605 SOS 7774582 HAS SOPS 7774417 HAS SOUS 788133 HAS SOUPS 788016 WITH SCORE 795790.582
AT ITER 5182 NEW BEST:: SOT 13713605 SOS 7774318 HAS SOPS 7774153 HAS SOUS 788067 HAS SOUPS 787950 WITH SCORE 795724.318
AT ITER 5191 NEW BEST:: SOT 13713587 SOS 7775596 HAS SOPS 7775431 HAS SOUS 788049 HAS SOUPS 787932 WITH SCORE 795707.596
AT ITER 5209 NEW BEST:: SOT 13716328 SOS 7778305 HAS SOPS 7778140 HAS SOUS 785450 HAS SOUPS 785333 WITH SCORE 793111.305
AT ITER 5215 NEW BEST:: SOT 13716328 SOS 7778277 HAS SOPS 7778112 HAS SOUS 785450 HAS SOUPS 785333 WITH SCORE 793111.277
AT ITER 5236 NEW BEST:: SOT 13716328 SOS 7773097 HAS SOPS 7772932 HAS SOUS 785380 HAS SOUPS 785263 WITH SCORE 793036.097
AT ITER 5240 NEW BEST:: SOT 13716138 SOS 7772907 HAS SOPS 7772742 HAS SOUS 785283 HAS SOUPS 785166 WITH SCORE 792938.907
AT ITER 5265 NEW BEST:: SOT 13716138 SOS 7771209 HAS SOPS 7771044 HAS SOUS 785190 HAS SOUPS 785073 WITH SCORE 792844.209
AT ITER 5270 NEW BEST:: SOT 13717652 SOS 7772723 HAS SOPS 7772558 HAS SOUS 782738 HAS SOUPS 782621 WITH SCORE 790393.723
AT ITER 5308 NEW BEST:: SOT 13718050 SOS 7773143 HAS SOPS 7772978 HAS SOUS 782637 HAS SOUPS 782520 WITH SCORE 790293.143
AT ITER 5315 NEW BEST:: SOT 13718507 SOS 7773600 HAS SOPS 7773435 HAS SOUS 782531 HAS SOUPS 782414 WITH SCORE 790187.6
AT ITER 5319 NEW BEST:: SOT 13718543 SOS 7773636 HAS SOPS 7773471 HAS SOUS 782510 HAS SOUPS 782393 WITH SCORE 790166.636
AT ITER 5361 NEW BEST:: SOT 13719888 SOS 7774981 HAS SOPS 7774816 HAS SOUS 781407 HAS SOUPS 781290 WITH SCORE 789064.981
AT ITER 5379 NEW BEST:: SOT 13715365 SOS 7770458 HAS SOPS 7770293 HAS SOUS 780002 HAS SOUPS 779885 WITH SCORE 787655.458
AT ITER 5393 NEW BEST:: SOT 13720324 SOS 7775417 HAS SOPS 7775252 HAS SOUS 778341 HAS SOUPS 778224 WITH SCORE 785999.417
AT ITER 5405 NEW BEST:: SOT 13722530 SOS 7777623 HAS SOPS 7777458 HAS SOUS 777730 HAS SOUPS 777613 WITH SCORE 785390.623
AT ITER 5413 NEW BEST:: SOT 13722530 SOS 7779603 HAS SOPS 7779438 HAS SOUS 777697 HAS SOUPS 777580 WITH SCORE 785359.603
AT ITER 5419 NEW BEST:: SOT 13722501 SOS 7780647 HAS SOPS 7780482 HAS SOUS 777345 HAS SOUPS 777228 WITH SCORE 785008.647
AT ITER 5466 NEW BEST:: SOT 13722483 SOS 7780629 HAS SOPS 7780464 HAS SOUS 777283 HAS SOUPS 777166 WITH SCORE 784946.629
AT ITER 5516 NEW BEST:: SOT 13722483 SOS 7780342 HAS SOPS 7780177 HAS SOUS 777242 HAS SOUPS 777125 WITH SCORE 784905.342
AT ITER 5535 NEW BEST:: SOT 13722483 SOS 7779190 HAS SOPS 7779025 HAS SOUS 777242 HAS SOUPS 777125 WITH SCORE 784904.19
AT ITER 5540 NEW BEST:: SOT 13725648 SOS 7785479 HAS SOPS 7785314 HAS SOUS 774407 HAS SOUPS 774290 WITH SCORE 782075.479
AT ITER 5554 NEW BEST:: SOT 13725624 SOS 7785455 HAS SOPS 7785290 HAS SOUS 774369 HAS SOUPS 774252 WITH SCORE 782037.455
AT ITER 5565 NEW BEST:: SOT 13722897 SOS 7782585 HAS SOPS 7782419 HAS SOUS 774050 HAS SOUPS 773932 WITH SCORE 781714.585
AT ITER 5580 NEW BEST:: SOT 13722897 SOS 7779057 HAS SOPS 7778891 HAS SOUS 774050 HAS SOUPS 773932 WITH SCORE 781711.057
AT ITER 5583 NEW BEST:: SOT 13722897 SOS 7777905 HAS SOPS 7777739 HAS SOUS 774050 HAS SOUPS 773932 WITH SCORE 781709.905
AT ITER 5592 NEW BEST:: SOT 13722897 SOS 7779786 HAS SOPS 7779620 HAS SOUS 773979 HAS SOUPS 773861 WITH SCORE 781640.786
AT ITER 5598 NEW BEST:: SOT 13722897 SOS 7780466 HAS SOPS 7780300 HAS SOUS 773969 HAS SOUPS 773851 WITH SCORE 781631.466
AT ITER 5600 NEW BEST:: SOT 13721372 SOS 7778941 HAS SOPS 7778775 HAS SOUS 770853 HAS SOUPS 770735 WITH SCORE 778513.941
AT ITER 5626 NEW BEST:: SOT 13721372 SOS 7777253 HAS SOPS 7777087 HAS SOUS 770839 HAS SOUPS 770721 WITH SCORE 778498.253
AT ITER 5630 NEW BEST:: SOT 13721372 SOS 7777109 HAS SOPS 7776943 HAS SOUS 770839 HAS SOUPS 770721 WITH SCORE 778498.109
AT ITER 5632 NEW BEST:: SOT 13723248 SOS 7778985 HAS SOPS 7778819 HAS SOUS 769947 HAS SOUPS 769829 WITH SCORE 777607.985
AT ITER 5737 NEW BEST:: SOT 13723248 SOS 7782105 HAS SOPS 7781939 HAS SOUS 769943 HAS SOUPS 769825 WITH SCORE 777607.105
AT ITER 5754 NEW BEST:: SOT 13723248 SOS 7784528 HAS SOPS 7784362 HAS SOUS 769814 HAS SOUPS 769696 WITH SCORE 777480.528
AT ITER 5789 NEW BEST:: SOT 13720128 SOS 7778888 HAS SOPS 7778722 HAS SOUS 769284 HAS SOUPS 769166 WITH SCORE 776944.888
AT ITER 5792 NEW BEST:: SOT 13719688 SOS 7778448 HAS SOPS 7778282 HAS SOUS 768395 HAS SOUPS 768277 WITH SCORE 776055.448
AT ITER 5793 NEW BEST:: SOT 13719688 SOS 7778448 HAS SOPS 7778282 HAS SOUS 768314 HAS SOUPS 768196 WITH SCORE 775974.448
AT ITER 5794 NEW BEST:: SOT 13719492 SOS 7778252 HAS SOPS 7778086 HAS SOUS 768139 HAS SOUPS 768021 WITH SCORE 775799.252
AT ITER 5804 NEW BEST:: SOT 13719445 SOS 7778204 HAS SOPS 7778038 HAS SOUS 768108 HAS SOUPS 767990 WITH SCORE 775768.204
AT ITER 5811 NEW BEST:: SOT 13719440 SOS 7778199 HAS SOPS 7778033 HAS SOUS 768103 HAS SOUPS 767985 WITH SCORE 775763.199
AT ITER 5812 NEW BEST:: SOT 13719440 SOS 7777847 HAS SOPS 7777681 HAS SOUS 768015 HAS SOUPS 767897 WITH SCORE 775674.847
AT ITER 5847 NEW BEST:: SOT 13719440 SOS 7774739 HAS SOPS 7774573 HAS SOUS 767971 HAS SOUPS 767853 WITH SCORE 775627.739
AT ITER 5853 NEW BEST:: SOT 13719440 SOS 7769501 HAS SOPS 7769335 HAS SOUS 767971 HAS SOUPS 767853 WITH SCORE 775622.501
AT ITER 5919 NEW BEST:: SOT 13719440 SOS 7768853 HAS SOPS 7768687 HAS SOUS 767971 HAS SOUPS 767853 WITH SCORE 775621.853
AT ITER 5931 NEW BEST:: SOT 13715747 SOS 7765160 HAS SOPS 7764994 HAS SOUS 765857 HAS SOUPS 765739 WITH SCORE 773504.16
AT ITER 5938 NEW BEST:: SOT 13711712 SOS 7761901 HAS SOPS 7761735 HAS SOUS 765632 HAS SOUPS 765514 WITH SCORE 773275.901
AT ITER 5941 NEW BEST:: SOT 13711824 SOS 7759493 HAS SOPS 7759327 HAS SOUS 764748 HAS SOUPS 764630 WITH SCORE 772389.493
AT ITER 5944 NEW BEST:: SOT 13711824 SOS 7759487 HAS SOPS 7759321 HAS SOUS 764742 HAS SOUPS 764624 WITH SCORE 772383.487
AT ITER 5953 NEW BEST:: SOT 13711893 SOS 7754473 HAS SOPS 7754307 HAS SOUS 764627 HAS SOUPS 764509 WITH SCORE 772263.473
AT ITER 5972 NEW BEST:: SOT 13709306 SOS 7749104 HAS SOPS 7748938 HAS SOUS 764001 HAS SOUPS 763883 WITH SCORE 771632.104
AT ITER 6020 NEW BEST:: SOT 13706616 SOS 7746414 HAS SOPS 7746248 HAS SOUS 763187 HAS SOUPS 763069 WITH SCORE 770815.414
AT ITER 6036 NEW BEST:: SOT 13706616 SOS 7746288 HAS SOPS 7746122 HAS SOUS 763169 HAS SOUPS 763051 WITH SCORE 770797.288
AT ITER 6048 NEW BEST:: SOT 13706616 SOS 7745136 HAS SOPS 7744970 HAS SOUS 763169 HAS SOUPS 763051 WITH SCORE 770796.136
AT ITER 6057 NEW BEST:: SOT 13706616 SOS 7738521 HAS SOPS 7738355 HAS SOUS 763160 HAS SOUPS 763042 WITH SCORE 770780.521
AT ITER 6083 NEW BEST:: SOT 13704672 SOS 7736577 HAS SOPS 7736411 HAS SOUS 762121 HAS SOUPS 762003 WITH SCORE 769739.577
AT ITER 6090 NEW BEST:: SOT 13704672 SOS 7736433 HAS SOPS 7736267 HAS SOUS 762121 HAS SOUPS 762003 WITH SCORE 769739.433
AT ITER 6131 NEW BEST:: SOT 13704672 SOS 7733539 HAS SOPS 7733373 HAS SOUS 762121 HAS SOUPS 762003 WITH SCORE 769736.539
AT ITER 6134 NEW BEST:: SOT 13704672 SOS 7733735 HAS SOPS 7733569 HAS SOUS 762018 HAS SOUPS 761900 WITH SCORE 769633.735
AT ITER 6149 NEW BEST:: SOT 13704655 SOS 7733718 HAS SOPS 7733552 HAS SOUS 762001 HAS SOUPS 761883 WITH SCORE 769616.718
AT ITER 6151 NEW BEST:: SOT 13704655 SOS 7733681 HAS SOPS 7733515 HAS SOUS 761988 HAS SOUPS 761870 WITH SCORE 769603.681
AT ITER 6202 NEW BEST:: SOT 13705316 SOS 7734342 HAS SOPS 7734176 HAS SOUS 761891 HAS SOUPS 761773 WITH SCORE 769507.342
AT ITER 6224 NEW BEST:: SOT 13705316 SOS 7727392 HAS SOPS 7727226 HAS SOUS 760585 HAS SOUPS 760467 WITH SCORE 768194.392
AT ITER 6275 NEW BEST:: SOT 13705266 SOS 7727292 HAS SOPS 7727126 HAS SOUS 760535 HAS SOUPS 760417 WITH SCORE 768144.292
AT ITER 6289 NEW BEST:: SOT 13701329 SOS 7722395 HAS SOPS 7722229 HAS SOUS 760259 HAS SOUPS 760141 WITH SCORE 767863.395
AT ITER 6323 NEW BEST:: SOT 13701313 SOS 7722379 HAS SOPS 7722213 HAS SOUS 760247 HAS SOUPS 760129 WITH SCORE 767851.379
AT ITER 6325 NEW BEST:: SOT 13701840 SOS 7722906 HAS SOPS 7722740 HAS SOUS 759550 HAS SOUPS 759432 WITH SCORE 767154.906
AT ITER 6380 NEW BEST:: SOT 13699587 SOS 7720653 HAS SOPS 7720487 HAS SOUS 757497 HAS SOUPS 757379 WITH SCORE 765099.653
AT ITER 6388 NEW BEST:: SOT 13700087 SOS 7721142 HAS SOPS 7720987 HAS SOUS 756740 HAS SOUPS 756633 WITH SCORE 764354.142
AT ITER 6389 NEW BEST:: SOT 13700087 SOS 7720966 HAS SOPS 7720811 HAS SOUS 756740 HAS SOUPS 756633 WITH SCORE 764353.966
AT ITER 6428 NEW BEST:: SOT 13697753 SOS 7718632 HAS SOPS 7718477 HAS SOUS 754656 HAS SOUPS 754549 WITH SCORE 762267.632
AT ITER 6500 NEW BEST:: SOT 13697753 SOS 7718448 HAS SOPS 7718293 HAS SOUS 754610 HAS SOUPS 754503 WITH SCORE 762221.448
AT ITER 6512 NEW BEST:: SOT 13697753 SOS 7717944 HAS SOPS 7717789 HAS SOUS 754610 HAS SOUPS 754503 WITH SCORE 762220.944
AT ITER 6513 NEW BEST:: SOT 13688944 SOS 7707823 HAS SOPS 7707668 HAS SOUS 754609 HAS SOUPS 754502 WITH SCORE 762209.823
AT ITER 6530 NEW BEST:: SOT 13688836 SOS 7707715 HAS SOPS 7707560 HAS SOUS 754387 HAS SOUPS 754280 WITH SCORE 761987.715
AT ITER 6548 NEW BEST:: SOT 13688004 SOS 7706883 HAS SOPS 7706728 HAS SOUS 753827 HAS SOUPS 753720 WITH SCORE 761426.883
AT ITER 6689 NEW BEST:: SOT 13688142 SOS 7707023 HAS SOPS 7706866 HAS SOUS 753724 HAS SOUPS 753615 WITH SCORE 761322.023
AT ITER 6695 NEW BEST:: SOT 13685518 SOS 7704219 HAS SOPS 7704062 HAS SOUS 751806 HAS SOUPS 751697 WITH SCORE 759401.219
AT ITER 6721 NEW BEST:: SOT 13685518 SOS 7703571 HAS SOPS 7703414 HAS SOUS 751806 HAS SOUPS 751697 WITH SCORE 759400.571
AT ITER 6737 NEW BEST:: SOT 13685518 SOS 7702831 HAS SOPS 7702674 HAS SOUS 751806 HAS SOUPS 751697 WITH SCORE 759399.831
AT ITER 6740 NEW BEST:: SOT 13685765 SOS 7703107 HAS SOPS 7702950 HAS SOUS 750602 HAS SOUPS 750493 WITH SCORE 758196.107
AT ITER 6771 NEW BEST:: SOT 13678510 SOS 7695443 HAS SOPS 7695279 HAS SOUS 750353 HAS SOUPS 750237 WITH SCORE 757932.443
AT ITER 6790 NEW BEST:: SOT 13676286 SOS 7706789 HAS SOPS 7706632 HAS SOUS 749966 HAS SOUPS 749857 WITH SCORE 757563.789
AT ITER 6791 NEW BEST:: SOT 13673095 SOS 7703598 HAS SOPS 7703441 HAS SOUS 747116 HAS SOUPS 747007 WITH SCORE 754710.598
AT ITER 6797 NEW BEST:: SOT 13670472 SOS 7701971 HAS SOPS 7701814 HAS SOUS 746656 HAS SOUPS 746547 WITH SCORE 754248.971
AT ITER 6799 NEW BEST:: SOT 13672596 SOS 7708295 HAS SOPS 7708138 HAS SOUS 746349 HAS SOUPS 746240 WITH SCORE 753948.295
AT ITER 6812 NEW BEST:: SOT 13672596 SOS 7706495 HAS SOPS 7706338 HAS SOUS 746349 HAS SOUPS 746240 WITH SCORE 753946.495
AT ITER 6815 NEW BEST:: SOT 13672596 SOS 7713159 HAS SOPS 7713002 HAS SOUS 745784 HAS SOUPS 745675 WITH SCORE 753388.159
AT ITER 6824 NEW BEST:: SOT 13669903 SOS 7718402 HAS SOPS 7718245 HAS SOUS 742252 HAS SOUPS 742143 WITH SCORE 749861.402
AT ITER 6828 NEW BEST:: SOT 13669903 SOS 7717348 HAS SOPS 7717191 HAS SOUS 742252 HAS SOUPS 742143 WITH SCORE 749860.348
AT ITER 6831 NEW BEST:: SOT 13669338 SOS 7716921 HAS SOPS 7716764 HAS SOUS 739502 HAS SOUPS 739393 WITH SCORE 747109.921
AT ITER 6834 NEW BEST:: SOT 13669338 SOS 7720089 HAS SOPS 7719932 HAS SOUS 739446 HAS SOUPS 739337 WITH SCORE 747057.089
AT ITER 6852 NEW BEST:: SOT 13669338 SOS 7719441 HAS SOPS 7719284 HAS SOUS 739446 HAS SOUPS 739337 WITH SCORE 747056.441
AT ITER 6870 NEW BEST:: SOT 13670949 SOS 7721052 HAS SOPS 7720895 HAS SOUS 739296 HAS SOUPS 739187 WITH SCORE 746908.052
AT ITER 6893 NEW BEST:: SOT 13661941 SOS 7712044 HAS SOPS 7711887 HAS SOUS 739097 HAS SOUPS 738988 WITH SCORE 746700.044
AT ITER 6907 NEW BEST:: SOT 13661941 SOS 7708060 HAS SOPS 7707903 HAS SOUS 739023 HAS SOUPS 738914 WITH SCORE 746622.06
AT ITER 6957 NEW BEST:: SOT 13661943 SOS 7708062 HAS SOPS 7707905 HAS SOUS 738973 HAS SOUPS 738864 WITH SCORE 746572.062
AT ITER 6963 NEW BEST:: SOT 13661751 SOS 7707870 HAS SOPS 7707713 HAS SOUS 738851 HAS SOUPS 738742 WITH SCORE 746449.87
AT ITER 6983 NEW BEST:: SOT 13661476 SOS 7707595 HAS SOPS 7707438 HAS SOUS 738257 HAS SOUPS 738148 WITH SCORE 745855.595
AT ITER 6989 NEW BEST:: SOT 13661040 SOS 7707159 HAS SOPS 7707002 HAS SOUS 737349 HAS SOUPS 737240 WITH SCORE 744947.159
AT ITER 7011 NEW BEST:: SOT 13660150 SOS 7706269 HAS SOPS 7706112 HAS SOUS 737219 HAS SOUPS 737110 WITH SCORE 744816.269
AT ITER 7049 NEW BEST:: SOT 13663343 SOS 7709462 HAS SOPS 7709305 HAS SOUS 737039 HAS SOUPS 736930 WITH SCORE 744639.462
AT ITER 7063 NEW BEST:: SOT 13663407 SOS 7709526 HAS SOPS 7709369 HAS SOUS 737035 HAS SOUPS 736926 WITH SCORE 744635.526
AT ITER 7156 NEW BEST:: SOT 13662886 SOS 7709180 HAS SOPS 7709023 HAS SOUS 736770 HAS SOUPS 736661 WITH SCORE 744370.18
AT ITER 7173 NEW BEST:: SOT 13662886 SOS 7711228 HAS SOPS 7711071 HAS SOUS 736181 HAS SOUPS 736072 WITH SCORE 743783.228
AT ITER 7252 NEW BEST:: SOT 13662886 SOS 7711084 HAS SOPS 7710927 HAS SOUS 736181 HAS SOUPS 736072 WITH SCORE 743783.084
AT ITER 7260 NEW BEST:: SOT 13662886 SOS 7710788 HAS SOPS 7710631 HAS SOUS 736177 HAS SOUPS 736068 WITH SCORE 743778.788
AT ITER 7281 NEW BEST:: SOT 13662670 SOS 7710572 HAS SOPS 7710415 HAS SOUS 735961 HAS SOUPS 735852 WITH SCORE 743562.572
AT ITER 7290 NEW BEST:: SOT 13661214 SOS 7709116 HAS SOPS 7708959 HAS SOUS 732870 HAS SOUPS 732761 WITH SCORE 740470.116
AT ITER 7294 NEW BEST:: SOT 13662354 SOS 7710256 HAS SOPS 7710099 HAS SOUS 732572 HAS SOUPS 732463 WITH SCORE 740173.256
AT ITER 7338 NEW BEST:: SOT 13662321 SOS 7710223 HAS SOPS 7710066 HAS SOUS 732466 HAS SOUPS 732357 WITH SCORE 740067.223
AT ITER 7345 NEW BEST:: SOT 13663487 SOS 7711389 HAS SOPS 7711232 HAS SOUS 732102 HAS SOUPS 731993 WITH SCORE 739704.389
AT ITER 7350 NEW BEST:: SOT 13663431 SOS 7711333 HAS SOPS 7711176 HAS SOUS 731988 HAS SOUPS 731879 WITH SCORE 739590.333
AT ITER 7352 NEW BEST:: SOT 13665176 SOS 7713078 HAS SOPS 7712921 HAS SOUS 730803 HAS SOUPS 730694 WITH SCORE 738407.078
AT ITER 7363 NEW BEST:: SOT 13665176 SOS 7712718 HAS SOPS 7712561 HAS SOUS 730803 HAS SOUPS 730694 WITH SCORE 738406.718
AT ITER 7385 NEW BEST:: SOT 13665176 SOS 7712640 HAS SOPS 7712483 HAS SOUS 730764 HAS SOUPS 730655 WITH SCORE 738367.64
AT ITER 7392 NEW BEST:: SOT 13665980 SOS 7721906 HAS SOPS 7721749 HAS SOUS 729961 HAS SOUPS 729852 WITH SCORE 737573.906
AT ITER 7397 NEW BEST:: SOT 13660990 SOS 7716916 HAS SOPS 7716759 HAS SOUS 725504 HAS SOUPS 725395 WITH SCORE 733111.916
AT ITER 7405 NEW BEST:: SOT 13660990 SOS 7716374 HAS SOPS 7716217 HAS SOUS 724962 HAS SOUPS 724853 WITH SCORE 732569.374
AT ITER 7417 NEW BEST:: SOT 13660990 SOS 7715534 HAS SOPS 7715377 HAS SOUS 724950 HAS SOUPS 724841 WITH SCORE 732556.534
AT ITER 7470 NEW BEST:: SOT 13660739 SOS 7715291 HAS SOPS 7715134 HAS SOUS 724447 HAS SOUPS 724338 WITH SCORE 732053.291
AT ITER 7479 NEW BEST:: SOT 13661921 SOS 7716693 HAS SOPS 7716536 HAS SOUS 722550 HAS SOUPS 722441 WITH SCORE 730157.693
AT ITER 7483 NEW BEST:: SOT 13662257 SOS 7717029 HAS SOPS 7716872 HAS SOUS 722467 HAS SOUPS 722358 WITH SCORE 730075.029
AT ITER 7503 NEW BEST:: SOT 13662257 SOS 7717029 HAS SOPS 7716872 HAS SOUS 722461 HAS SOUPS 722352 WITH SCORE 730069.029
AT ITER 7505 NEW BEST:: SOT 13662040 SOS 7716812 HAS SOPS 7716655 HAS SOUS 721943 HAS SOUPS 721834 WITH SCORE 729550.812
AT ITER 7509 NEW BEST:: SOT 13660383 SOS 7715155 HAS SOPS 7714998 HAS SOUS 718603 HAS SOUPS 718494 WITH SCORE 726209.155
AT ITER 7515 NEW BEST:: SOT 13660431 SOS 7715203 HAS SOPS 7715046 HAS SOUS 718559 HAS SOUPS 718450 WITH SCORE 726165.203
AT ITER 7540 NEW BEST:: SOT 13660431 SOS 7714951 HAS SOPS 7714794 HAS SOUS 718517 HAS SOUPS 718408 WITH SCORE 726122.951
AT ITER 7610 NEW BEST:: SOT 13659919 SOS 7714441 HAS SOPS 7714282 HAS SOUS 717513 HAS SOUPS 717402 WITH SCORE 725116.441
AT ITER 7613 NEW BEST:: SOT 13657901 SOS 7712423 HAS SOPS 7712264 HAS SOUS 715808 HAS SOUPS 715697 WITH SCORE 723409.423
AT ITER 7629 NEW BEST:: SOT 13657755 SOS 7712277 HAS SOPS 7712118 HAS SOUS 715516 HAS SOUPS 715405 WITH SCORE 723117.277
AT ITER 7653 NEW BEST:: SOT 13657752 SOS 7712274 HAS SOPS 7712115 HAS SOUS 715513 HAS SOUPS 715402 WITH SCORE 723114.274
AT ITER 7655 NEW BEST:: SOT 13657752 SOS 7712274 HAS SOPS 7712115 HAS SOUS 715474 HAS SOUPS 715363 WITH SCORE 723075.274
AT ITER 7658 NEW BEST:: SOT 13657752 SOS 7712339 HAS SOPS 7712180 HAS SOUS 715453 HAS SOUPS 715342 WITH SCORE 723054.339
AT ITER 7675 NEW BEST:: SOT 13657731 SOS 7712318 HAS SOPS 7712159 HAS SOUS 715432 HAS SOUPS 715321 WITH SCORE 723033.318
AT ITER 7682 NEW BEST:: SOT 13657720 SOS 7712307 HAS SOPS 7712148 HAS SOUS 715410 HAS SOUPS 715299 WITH SCORE 723011.307
AT ITER 7696 NEW BEST:: SOT 13657720 SOS 7714711 HAS SOPS 7714552 HAS SOUS 715316 HAS SOUPS 715205 WITH SCORE 722919.711
AT ITER 7697 NEW BEST:: SOT 13657720 SOS 7714711 HAS SOPS 7714552 HAS SOUS 714621 HAS SOUPS 714510 WITH SCORE 722224.711
AT ITER 7720 NEW BEST:: SOT 13657720 SOS 7714711 HAS SOPS 7714552 HAS SOUS 714618 HAS SOUPS 714507 WITH SCORE 722221.711
AT ITER 7723 NEW BEST:: SOT 13657720 SOS 7717266 HAS SOPS 7717107 HAS SOUS 714574 HAS SOUPS 714463 WITH SCORE 722180.266
AT ITER 7764 NEW BEST:: SOT 13657680 SOS 7717226 HAS SOPS 7717067 HAS SOUS 714534 HAS SOUPS 714423 WITH SCORE 722140.226
AT ITER 7776 NEW BEST:: SOT 13657680 SOS 7716953 HAS SOPS 7716794 HAS SOUS 714495 HAS SOUPS 714384 WITH SCORE 722100.953
AT ITER 7782 NEW BEST:: SOT 13657680 SOS 7716093 HAS SOPS 7715934 HAS SOUS 714375 HAS SOUPS 714264 WITH SCORE 721980.093
AT ITER 7789 NEW BEST:: SOT 13657680 SOS 7715157 HAS SOPS 7714998 HAS SOUS 714375 HAS SOUPS 714264 WITH SCORE 721979.157
AT ITER 7822 NEW BEST:: SOT 13657680 SOS 7713645 HAS SOPS 7713486 HAS SOUS 714249 HAS SOUPS 714138 WITH SCORE 721851.645
AT ITER 7835 NEW BEST:: SOT 13657680 SOS 7713645 HAS SOPS 7713486 HAS SOUS 714232 HAS SOUPS 714121 WITH SCORE 721834.645
AT ITER 7842 NEW BEST:: SOT 13659357 SOS 7715550 HAS SOPS 7715391 HAS SOUS 711923 HAS SOUPS 711812 WITH SCORE 719527.55
AT ITER 7874 NEW BEST:: SOT 13659322 SOS 7715515 HAS SOPS 7715356 HAS SOUS 711923 HAS SOUPS 711812 WITH SCORE 719527.515
AT ITER 7905 NEW BEST:: SOT 13659322 SOS 7715511 HAS SOPS 7715352 HAS SOUS 711921 HAS SOUPS 711810 WITH SCORE 719525.511
AT ITER 7924 NEW BEST:: SOT 13659327 SOS 7715516 HAS SOPS 7715357 HAS SOUS 711914 HAS SOUPS 711803 WITH SCORE 719518.516
AT ITER 7931 NEW BEST:: SOT 13657273 SOS 7707436 HAS SOPS 7707277 HAS SOUS 709383 HAS SOUPS 709272 WITH SCORE 716979.436
AT ITER 7981 NEW BEST:: SOT 13657255 SOS 7707418 HAS SOPS 7707259 HAS SOUS 709379 HAS SOUPS 709268 WITH SCORE 716975.418
AT ITER 7983 NEW BEST:: SOT 13655676 SOS 7712918 HAS SOPS 7712763 HAS SOUS 706898 HAS SOUPS 706791 WITH SCORE 714503.918
AT ITER 8034 NEW BEST:: SOT 13655653 SOS 7712895 HAS SOPS 7712740 HAS SOUS 706875 HAS SOUPS 706768 WITH SCORE 714480.895
AT ITER 8075 NEW BEST:: SOT 13655643 SOS 7712885 HAS SOPS 7712730 HAS SOUS 706855 HAS SOUPS 706748 WITH SCORE 714460.885
AT ITER 8084 NEW BEST:: SOT 13655643 SOS 7712885 HAS SOPS 7712730 HAS SOUS 706815 HAS SOUPS 706708 WITH SCORE 714420.885
AT ITER 8085 NEW BEST:: SOT 13655625 SOS 7712867 HAS SOPS 7712712 HAS SOUS 706797 HAS SOUPS 706690 WITH SCORE 714402.867
AT ITER 8086 NEW BEST:: SOT 13655576 SOS 7712818 HAS SOPS 7712663 HAS SOUS 706750 HAS SOUPS 706643 WITH SCORE 714355.818
AT ITER 8096 NEW BEST:: SOT 13655571 SOS 7712503 HAS SOPS 7712348 HAS SOUS 706750 HAS SOUPS 706643 WITH SCORE 714355.503
AT ITER 8125 NEW BEST:: SOT 13661264 SOS 7718196 HAS SOPS 7718041 HAS SOUS 706110 HAS SOUPS 706003 WITH SCORE 713721.196
AT ITER 8146 NEW BEST:: SOT 13661402 SOS 7718334 HAS SOPS 7718179 HAS SOUS 706106 HAS SOUPS 705999 WITH SCORE 713717.334
AT ITER 8160 NEW BEST:: SOT 13661425 SOS 7719293 HAS SOPS 7719138 HAS SOUS 705128 HAS SOUPS 705021 WITH SCORE 712740.293
AT ITER 8177 NEW BEST:: SOT 13661404 SOS 7719272 HAS SOPS 7719117 HAS SOUS 705097 HAS SOUPS 704990 WITH SCORE 712709.272
AT ITER 8205 NEW BEST:: SOT 13661052 SOS 7718920 HAS SOPS 7718765 HAS SOUS 704745 HAS SOUPS 704638 WITH SCORE 712356.92
AT ITER 8231 NEW BEST:: SOT 13658195 SOS 7716063 HAS SOPS 7715908 HAS SOUS 704430 HAS SOUPS 704323 WITH SCORE 712039.063
AT ITER 8246 NEW BEST:: SOT 13663588 SOS 7728800 HAS SOPS 7728645 HAS SOUS 703040 HAS SOUPS 702933 WITH SCORE 710661.8
AT ITER 8248 NEW BEST:: SOT 13668336 SOS 7733548 HAS SOPS 7733393 HAS SOUS 700546 HAS SOUPS 700439 WITH SCORE 708172.548
AT ITER 8295 NEW BEST:: SOT 13668373 SOS 7733585 HAS SOPS 7733430 HAS SOUS 700440 HAS SOUPS 700333 WITH SCORE 708066.585
AT ITER 8307 NEW BEST:: SOT 13665437 SOS 7730649 HAS SOPS 7730494 HAS SOUS 699958 HAS SOUPS 699851 WITH SCORE 707581.649
AT ITER 8310 NEW BEST:: SOT 13665191 SOS 7730403 HAS SOPS 7730248 HAS SOUS 699552 HAS SOUPS 699445 WITH SCORE 707175.403
AT ITER 8312 NEW BEST:: SOT 13667468 SOS 7732680 HAS SOPS 7732525 HAS SOUS 696643 HAS SOUPS 696536 WITH SCORE 704268.68
AT ITER 8343 NEW BEST:: SOT 13667388 SOS 7732600 HAS SOPS 7732445 HAS SOUS 696588 HAS SOUPS 696481 WITH SCORE 704213.6
AT ITER 8361 NEW BEST:: SOT 13667343 SOS 7732555 HAS SOPS 7732400 HAS SOUS 696543 HAS SOUPS 696436 WITH SCORE 704168.555
AT ITER 8363 NEW BEST:: SOT 13667328 SOS 7732540 HAS SOPS 7732385 HAS SOUS 696543 HAS SOUPS 696436 WITH SCORE 704168.54
AT ITER 8382 NEW BEST:: SOT 13665893 SOS 7731105 HAS SOPS 7730950 HAS SOUS 695283 HAS SOUPS 695176 WITH SCORE 702907.105
AT ITER 8389 NEW BEST:: SOT 13665893 SOS 7730993 HAS SOPS 7730838 HAS SOUS 695281 HAS SOUPS 695174 WITH SCORE 702904.993
AT ITER 8427 NEW BEST:: SOT 13665893 SOS 7732793 HAS SOPS 7732638 HAS SOUS 695138 HAS SOUPS 695031 WITH SCORE 702763.793
AT ITER 8432 NEW BEST:: SOT 13665888 SOS 7732788 HAS SOPS 7732633 HAS SOUS 695121 HAS SOUPS 695014 WITH SCORE 702746.788
AT ITER 8446 NEW BEST:: SOT 13661814 SOS 7728714 HAS SOPS 7728559 HAS SOUS 691027 HAS SOUPS 690920 WITH SCORE 698648.714
AT ITER 8461 NEW BEST:: SOT 13661700 SOS 7728600 HAS SOPS 7728445 HAS SOUS 690783 HAS SOUPS 690676 WITH SCORE 698404.6
AT ITER 8469 NEW BEST:: SOT 13661696 SOS 7728596 HAS SOPS 7728441 HAS SOUS 690779 HAS SOUPS 690672 WITH SCORE 698400.596
AT ITER 8480 NEW BEST:: SOT 13659502 SOS 7726402 HAS SOPS 7726247 HAS SOUS 689433 HAS SOUPS 689326 WITH SCORE 697052.402
AT ITER 8504 NEW BEST:: SOT 13659470 SOS 7726370 HAS SOPS 7726215 HAS SOUS 689409 HAS SOUPS 689302 WITH SCORE 697028.37
AT ITER 8519 NEW BEST:: SOT 13659478 SOS 7726378 HAS SOPS 7726223 HAS SOUS 689405 HAS SOUPS 689298 WITH SCORE 697024.378
AT ITER 8528 NEW BEST:: SOT 13659500 SOS 7726400 HAS SOPS 7726245 HAS SOUS 689397 HAS SOUPS 689290 WITH SCORE 697016.4
AT ITER 8529 NEW BEST:: SOT 13660543 SOS 7747521 HAS SOPS 7747366 HAS SOUS 688088 HAS SOUPS 687981 WITH SCORE 695728.521
AT ITER 8535 NEW BEST:: SOT 13661295 SOS 7748273 HAS SOPS 7748118 HAS SOUS 686413 HAS SOUPS 686306 WITH SCORE 694054.273
AT ITER 8548 NEW BEST:: SOT 13661295 SOS 7748257 HAS SOPS 7748102 HAS SOUS 686413 HAS SOUPS 686306 WITH SCORE 694054.257
AT ITER 8559 NEW BEST:: SOT 13661283 SOS 7748245 HAS SOPS 7748090 HAS SOUS 686401 HAS SOUPS 686294 WITH SCORE 694042.245
AT ITER 8560 NEW BEST:: SOT 13661349 SOS 7748311 HAS SOPS 7748156 HAS SOUS 686388 HAS SOUPS 686281 WITH SCORE 694029.311
AT ITER 8599 NEW BEST:: SOT 13661349 SOS 7744999 HAS SOPS 7744844 HAS SOUS 686388 HAS SOUPS 686281 WITH SCORE 694025.999
AT ITER 8648 NEW BEST:: SOT 13658567 SOS 7742119 HAS SOPS 7741964 HAS SOUS 685506 HAS SOUPS 685399 WITH SCORE 693141.119
AT ITER 8655 NEW BEST:: SOT 13658112 SOS 7741220 HAS SOPS 7741065 HAS SOUS 684644 HAS SOUPS 684537 WITH SCORE 692278.22
AT ITER 8673 NEW BEST:: SOT 13658058 SOS 7741166 HAS SOPS 7741011 HAS SOUS 684572 HAS SOUPS 684465 WITH SCORE 692206.166
AT ITER 8714 NEW BEST:: SOT 13658058 SOS 7741166 HAS SOPS 7741011 HAS SOUS 684526 HAS SOUPS 684419 WITH SCORE 692160.166
AT ITER 8730 NEW BEST:: SOT 13659698 SOS 7766860 HAS SOPS 7766705 HAS SOUS 682767 HAS SOUPS 682660 WITH SCORE 690426.86
AT ITER 8751 NEW BEST:: SOT 13656769 SOS 7763931 HAS SOPS 7763776 HAS SOUS 680736 HAS SOUPS 680629 WITH SCORE 688392.931
AT ITER 8803 NEW BEST:: SOT 13662987 SOS 7770575 HAS SOPS 7770420 HAS SOUS 679928 HAS SOUPS 679821 WITH SCORE 687591.575
AT ITER 8833 NEW BEST:: SOT 13662974 SOS 7770562 HAS SOPS 7770407 HAS SOUS 679915 HAS SOUPS 679808 WITH SCORE 687578.562
AT ITER 8862 NEW BEST:: SOT 13662974 SOS 7768026 HAS SOPS 7767871 HAS SOUS 679598 HAS SOUPS 679491 WITH SCORE 687259.026
AT ITER 8869 NEW BEST:: SOT 13659158 SOS 7764210 HAS SOPS 7764055 HAS SOUS 678134 HAS SOUPS 678027 WITH SCORE 685791.21
AT ITER 8881 NEW BEST:: SOT 13659139 SOS 7764191 HAS SOPS 7764036 HAS SOUS 678134 HAS SOUPS 678027 WITH SCORE 685791.191
AT ITER 8888 NEW BEST:: SOT 13659807 SOS 7764859 HAS SOPS 7764704 HAS SOUS 677949 HAS SOUPS 677842 WITH SCORE 685606.859
AT ITER 8903 NEW BEST:: SOT 13659807 SOS 7764859 HAS SOPS 7764704 HAS SOUS 677947 HAS SOUPS 677840 WITH SCORE 685604.859
AT ITER 8907 NEW BEST:: SOT 13659807 SOS 7764059 HAS SOPS 7763904 HAS SOUS 677926 HAS SOUPS 677819 WITH SCORE 685583.059
AT ITER 8917 NEW BEST:: SOT 13659807 SOS 7762907 HAS SOPS 7762752 HAS SOUS 677926 HAS SOUPS 677819 WITH SCORE 685581.907
AT ITER 8920 NEW BEST:: SOT 13659345 SOS 7762445 HAS SOPS 7762290 HAS SOUS 677176 HAS SOUPS 677069 WITH SCORE 684831.445
AT ITER 8922 NEW BEST:: SOT 13659456 SOS 7762556 HAS SOPS 7762401 HAS SOUS 676816 HAS SOUPS 676709 WITH SCORE 684471.556
AT ITER 8939 NEW BEST:: SOT 13659456 SOS 7762196 HAS SOPS 7762041 HAS SOUS 676816 HAS SOUPS 676709 WITH SCORE 684471.196
AT ITER 8940 NEW BEST:: SOT 13659456 SOS 7760964 HAS SOPS 7760809 HAS SOUS 676734 HAS SOUPS 676627 WITH SCORE 684387.964
AT ITER 8950 NEW BEST:: SOT 13660409 SOS 7761341 HAS SOPS 7761186 HAS SOUS 674363 HAS SOUPS 674256 WITH SCORE 682017.341
AT ITER 8984 NEW BEST:: SOT 13660409 SOS 7761049 HAS SOPS 7760894 HAS SOUS 674363 HAS SOUPS 674256 WITH SCORE 682017.049
AT ITER 9011 NEW BEST:: SOT 13660409 SOS 7761026 HAS SOPS 7760871 HAS SOUS 674340 HAS SOUPS 674233 WITH SCORE 681994.026
AT ITER 9036 NEW BEST:: SOT 13660367 SOS 7760984 HAS SOPS 7760829 HAS SOUS 674177 HAS SOUPS 674070 WITH SCORE 681830.984
AT ITER 9044 NEW BEST:: SOT 13660367 SOS 7761268 HAS SOPS 7761113 HAS SOUS 674104 HAS SOUPS 673997 WITH SCORE 681758.268
AT ITER 9050 NEW BEST:: SOT 13657595 SOS 7758496 HAS SOPS 7758341 HAS SOUS 670710 HAS SOUPS 670603 WITH SCORE 678361.496
AT ITER 9074 NEW BEST:: SOT 13657595 SOS 7758492 HAS SOPS 7758337 HAS SOUS 670708 HAS SOUPS 670601 WITH SCORE 678359.492
AT ITER 9084 NEW BEST:: SOT 13657580 SOS 7758477 HAS SOPS 7758322 HAS SOUS 670679 HAS SOUPS 670572 WITH SCORE 678330.477
AT ITER 9099 NEW BEST:: SOT 13659904 SOS 7762478 HAS SOPS 7762272 HAS SOUS 668733 HAS SOUPS 668587 WITH SCORE 676349.478
AT ITER 9122 NEW BEST:: SOT 13658464 SOS 7761038 HAS SOPS 7760832 HAS SOUS 667492 HAS SOUPS 667346 WITH SCORE 675107.038
AT ITER 9124 NEW BEST:: SOT 13658429 SOS 7760481 HAS SOPS 7760275 HAS SOUS 667386 HAS SOUPS 667240 WITH SCORE 675000.481
AT ITER 9126 NEW BEST:: SOT 13658389 SOS 7760441 HAS SOPS 7760235 HAS SOUS 667346 HAS SOUPS 667200 WITH SCORE 674960.441
AT ITER 9135 NEW BEST:: SOT 13655422 SOS 7757474 HAS SOPS 7757268 HAS SOUS 664718 HAS SOUPS 664572 WITH SCORE 672329.474
AT ITER 9159 NEW BEST:: SOT 13660686 SOS 7768494 HAS SOPS 7768288 HAS SOUS 664390 HAS SOUPS 664244 WITH SCORE 672012.494
AT ITER 9173 NEW BEST:: SOT 13660547 SOS 7768355 HAS SOPS 7768149 HAS SOUS 664283 HAS SOUPS 664137 WITH SCORE 671905.355
AT ITER 9189 NEW BEST:: SOT 13660540 SOS 7764024 HAS SOPS 7763636 HAS SOUS 664233 HAS SOUPS 663905 WITH SCORE 671669.024
AT ITER 9191 NEW BEST:: SOT 13660540 SOS 7763938 HAS SOPS 7763550 HAS SOUS 664190 HAS SOUPS 663862 WITH SCORE 671625.938
AT ITER 9226 NEW BEST:: SOT 13660076 SOS 7763474 HAS SOPS 7763086 HAS SOUS 663359 HAS SOUPS 663031 WITH SCORE 670794.474
AT ITER 9306 NEW BEST:: SOT 13661229 SOS 7764681 HAS SOPS 7764293 HAS SOUS 663069 HAS SOUPS 662741 WITH SCORE 670505.681
AT ITER 9322 NEW BEST:: SOT 13659775 SOS 7763227 HAS SOPS 7762839 HAS SOUS 660148 HAS SOUPS 659820 WITH SCORE 667583.227
AT ITER 9328 NEW BEST:: SOT 13654829 SOS 7758281 HAS SOPS 7757893 HAS SOUS 655781 HAS SOUPS 655453 WITH SCORE 663211.281
AT ITER 9334 NEW BEST:: SOT 13651630 SOS 7755082 HAS SOPS 7754694 HAS SOUS 652509 HAS SOUPS 652181 WITH SCORE 659936.082
AT ITER 9335 NEW BEST:: SOT 13651630 SOS 7754362 HAS SOPS 7753974 HAS SOUS 652509 HAS SOUPS 652181 WITH SCORE 659935.362
AT ITER 9350 NEW BEST:: SOT 13651693 SOS 7740601 HAS SOPS 7740213 HAS SOUS 652430 HAS SOUPS 652102 WITH SCORE 659842.601
AT ITER 9359 NEW BEST:: SOT 13651688 SOS 7740596 HAS SOPS 7740208 HAS SOUS 652425 HAS SOUPS 652097 WITH SCORE 659837.596
AT ITER 9372 NEW BEST:: SOT 13651323 SOS 7740231 HAS SOPS 7739843 HAS SOUS 651856 HAS SOUPS 651528 WITH SCORE 659268.231
AT ITER 9378 NEW BEST:: SOT 13650401 SOS 7739309 HAS SOPS 7738921 HAS SOUS 651376 HAS SOUPS 651048 WITH SCORE 658787.309
AT ITER 9379 NEW BEST:: SOT 13650401 SOS 7739309 HAS SOPS 7738921 HAS SOUS 651372 HAS SOUPS 651044 WITH SCORE 658783.309
AT ITER 9389 NEW BEST:: SOT 13650401 SOS 7737343 HAS SOPS 7736955 HAS SOUS 651321 HAS SOUPS 650993 WITH SCORE 658730.343
AT ITER 9404 NEW BEST:: SOT 13651047 SOS 7737959 HAS SOPS 7737571 HAS SOUS 650889 HAS SOUPS 650561 WITH SCORE 658298.959
AT ITER 9418 NEW BEST:: SOT 13652428 SOS 7739340 HAS SOPS 7738956 HAS SOUS 649381 HAS SOUPS 649053 WITH SCORE 656792.34
AT ITER 9447 NEW BEST:: SOT 13652417 SOS 7739329 HAS SOPS 7738945 HAS SOUS 649370 HAS SOUPS 649042 WITH SCORE 656781.329
AT ITER 9449 NEW BEST:: SOT 13651255 SOS 7738167 HAS SOPS 7737783 HAS SOUS 646356 HAS SOUPS 646028 WITH SCORE 653766.167
AT ITER 9457 NEW BEST:: SOT 13651255 SOS 7738649 HAS SOPS 7738265 HAS SOUS 646192 HAS SOUPS 645864 WITH SCORE 653602.649
AT ITER 9458 NEW BEST:: SOT 13654087 SOS 7741949 HAS SOPS 7741565 HAS SOUS 646103 HAS SOUPS 645775 WITH SCORE 653516.949
AT ITER 9493 NEW BEST:: SOT 13654087 SOS 7799723 HAS SOPS 7799339 HAS SOUS 646027 HAS SOUPS 645699 WITH SCORE 653498.723
AT ITER 9502 NEW BEST:: SOT 13654087 SOS 7796838 HAS SOPS 7796454 HAS SOUS 645981 HAS SOUPS 645653 WITH SCORE 653449.838
AT ITER 9546 NEW BEST:: SOT 13653589 SOS 7796300 HAS SOPS 7795917 HAS SOUS 643741 HAS SOUPS 643414 WITH SCORE 651210.3
AT ITER 9578 NEW BEST:: SOT 13653589 SOS 7795148 HAS SOPS 7794765 HAS SOUS 643741 HAS SOUPS 643414 WITH SCORE 651209.148
AT ITER 9582 NEW BEST:: SOT 13651386 SOS 7792945 HAS SOPS 7792562 HAS SOUS 642407 HAS SOUPS 642080 WITH SCORE 649872.945
AT ITER 9614 NEW BEST:: SOT 13651386 SOS 7792825 HAS SOPS 7792442 HAS SOUS 642407 HAS SOUPS 642080 WITH SCORE 649872.825
AT ITER 9631 NEW BEST:: SOT 13659454 SOS 7805441 HAS SOPS 7805058 HAS SOUS 640933 HAS SOUPS 640606 WITH SCORE 648411.441
AT ITER 9637 NEW BEST:: SOT 13659454 SOS 7809977 HAS SOPS 7809594 HAS SOUS 640904 HAS SOUPS 640577 WITH SCORE 648386.977
AT ITER 9638 NEW BEST:: SOT 13659032 SOS 7809555 HAS SOPS 7809172 HAS SOUS 640060 HAS SOUPS 639733 WITH SCORE 647542.555
AT ITER 9720 NEW BEST:: SOT 13659009 SOS 7809532 HAS SOPS 7809149 HAS SOUS 640050 HAS SOUPS 639723 WITH SCORE 647532.532
AT ITER 9732 NEW BEST:: SOT 13657408 SOS 7824107 HAS SOPS 7823724 HAS SOUS 638869 HAS SOUPS 638542 WITH SCORE 646366.107
AT ITER 9777 NEW BEST:: SOT 13658030 SOS 7824997 HAS SOPS 7824614 HAS SOUS 638005 HAS SOUPS 637678 WITH SCORE 645502.997
AT ITER 9804 NEW BEST:: SOT 13653458 SOS 7820425 HAS SOPS 7820042 HAS SOUS 633927 HAS SOUPS 633600 WITH SCORE 641420.425
AT ITER 9866 NEW BEST:: SOT 13653458 SOS 7820425 HAS SOPS 7820042 HAS SOUS 633879 HAS SOUPS 633552 WITH SCORE 641372.425
AT ITER 9882 NEW BEST:: SOT 13653458 SOS 7820427 HAS SOPS 7820044 HAS SOUS 633832 HAS SOUPS 633505 WITH SCORE 641325.427
AT ITER 9896 NEW BEST:: SOT 13653458 SOS 7820427 HAS SOPS 7820044 HAS SOUS 633142 HAS SOUPS 632815 WITH SCORE 640635.427
AT ITER 9897 NEW BEST:: SOT 13653410 SOS 7820379 HAS SOPS 7819996 HAS SOUS 633094 HAS SOUPS 632767 WITH SCORE 640587.379
AT ITER 9913 NEW BEST:: SOT 13649763 SOS 7816676 HAS SOPS 7816317 HAS SOUS 632354 HAS SOUPS 632051 WITH SCORE 639867.676
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10201284 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16073688 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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-q3m004"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BugTracking-PT-q3m004, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696700336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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