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-167813696800384.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-q3m256, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.2K Feb 26 07:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 07:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 08:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 08:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 07:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 07:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K 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 1678786547193

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-q3m256
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:35:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:35:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:35:49] [INFO ] Load time of PNML (sax parser for PT used): 708 ms
[2023-03-14 09:35:49] [INFO ] Transformed 754 places.
[2023-03-14 09:35:49] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:35:49] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 883 ms.
[2023-03-14 09:35:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 165 ms.
Total runtime 1081 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m256
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 1 NEW BEST:: SOT 14110744 SOS 8907512 HAS SOPS 8905667 HAS SOUS 1691354 HAS SOUPS 1689509 WITH SCORE 1698416.512
AT ITER 14 NEW BEST:: SOT 14110609 SOS 8907377 HAS SOPS 8905532 HAS SOUS 1691082 HAS SOUPS 1689237 WITH SCORE 1698144.377
AT ITER 20 NEW BEST:: SOT 14110609 SOS 8907377 HAS SOPS 8905532 HAS SOUS 1691031 HAS SOUPS 1689186 WITH SCORE 1698093.377
AT ITER 25 NEW BEST:: SOT 14110609 SOS 8907133 HAS SOPS 8905288 HAS SOUS 1690909 HAS SOUPS 1689064 WITH SCORE 1697971.133
AT ITER 33 NEW BEST:: SOT 14106647 SOS 8903171 HAS SOPS 8901326 HAS SOUS 1686846 HAS SOUPS 1685001 WITH SCORE 1693904.171
AT ITER 34 NEW BEST:: SOT 14106511 SOS 8904055 HAS SOPS 8902210 HAS SOUS 1674469 HAS SOUPS 1672624 WITH SCORE 1681528.055
AT ITER 39 NEW BEST:: SOT 14106490 SOS 8904034 HAS SOPS 8902189 HAS SOUS 1670693 HAS SOUPS 1668848 WITH SCORE 1677752.034
AT ITER 43 NEW BEST:: SOT 14094651 SOS 8892907 HAS SOPS 8891062 HAS SOUS 1654772 HAS SOUPS 1652927 WITH SCORE 1661819.907
AT ITER 50 NEW BEST:: SOT 14094651 SOS 8900827 HAS SOPS 8898982 HAS SOUS 1654708 HAS SOUPS 1652863 WITH SCORE 1661763.827
AT ITER 67 NEW BEST:: SOT 14092210 SOS 8898386 HAS SOPS 8896541 HAS SOUS 1651199 HAS SOUPS 1649354 WITH SCORE 1658252.386
AT ITER 70 NEW BEST:: SOT 14095924 SOS 8902100 HAS SOPS 8900255 HAS SOUS 1651008 HAS SOUPS 1649163 WITH SCORE 1658065.1
AT ITER 73 NEW BEST:: SOT 14095325 SOS 8901705 HAS SOPS 8899860 HAS SOUS 1647093 HAS SOUPS 1645248 WITH SCORE 1654149.705
AT ITER 89 NEW BEST:: SOT 14095325 SOS 8901705 HAS SOPS 8899860 HAS SOUS 1647087 HAS SOUPS 1645242 WITH SCORE 1654143.705
AT ITER 92 NEW BEST:: SOT 14092606 SOS 8899638 HAS SOPS 8897793 HAS SOUS 1642875 HAS SOUPS 1641030 WITH SCORE 1649929.638
AT ITER 95 NEW BEST:: SOT 14092933 SOS 8900529 HAS SOPS 8898684 HAS SOUS 1634528 HAS SOUPS 1632683 WITH SCORE 1641583.529
AT ITER 104 NEW BEST:: SOT 14091412 SOS 8899008 HAS SOPS 8897163 HAS SOUS 1633919 HAS SOUPS 1632074 WITH SCORE 1640973.008
AT ITER 106 NEW BEST:: SOT 14091412 SOS 8899008 HAS SOPS 8897163 HAS SOUS 1633729 HAS SOUPS 1631884 WITH SCORE 1640783.008
AT ITER 107 NEW BEST:: SOT 14085496 SOS 8901132 HAS SOPS 8899287 HAS SOUS 1628504 HAS SOUPS 1626659 WITH SCORE 1635560.132
AT ITER 110 NEW BEST:: SOT 14085191 SOS 8900827 HAS SOPS 8898982 HAS SOUS 1627764 HAS SOUPS 1625919 WITH SCORE 1634819.827
AT ITER 121 NEW BEST:: SOT 14085191 SOS 8887075 HAS SOPS 8885230 HAS SOUS 1627573 HAS SOUPS 1625728 WITH SCORE 1634615.075
AT ITER 128 NEW BEST:: SOT 14085191 SOS 8884263 HAS SOPS 8882418 HAS SOUS 1627535 HAS SOUPS 1625690 WITH SCORE 1634574.263
AT ITER 138 NEW BEST:: SOT 14085205 SOS 8884277 HAS SOPS 8882432 HAS SOUS 1626653 HAS SOUPS 1624808 WITH SCORE 1633692.277
AT ITER 147 NEW BEST:: SOT 14085179 SOS 8884016 HAS SOPS 8882221 HAS SOUS 1620144 HAS SOUPS 1618349 WITH SCORE 1627233.016
AT ITER 152 NEW BEST:: SOT 14082195 SOS 8881032 HAS SOPS 8879237 HAS SOUS 1618251 HAS SOUPS 1616456 WITH SCORE 1625337.032
AT ITER 153 NEW BEST:: SOT 14082195 SOS 8880993 HAS SOPS 8879237 HAS SOUS 1618197 HAS SOUPS 1616441 WITH SCORE 1625321.993
AT ITER 169 NEW BEST:: SOT 14082328 SOS 8881126 HAS SOPS 8879370 HAS SOUS 1612423 HAS SOUPS 1610667 WITH SCORE 1619548.126
AT ITER 173 NEW BEST:: SOT 14082349 SOS 8881639 HAS SOPS 8880660 HAS SOUS 1608063 HAS SOUPS 1607084 WITH SCORE 1615965.639
AT ITER 175 NEW BEST:: SOT 14082349 SOS 8881399 HAS SOPS 8880420 HAS SOUS 1607943 HAS SOUPS 1606964 WITH SCORE 1615845.399
AT ITER 178 NEW BEST:: SOT 14082681 SOS 8881731 HAS SOPS 8880752 HAS SOUS 1605372 HAS SOUPS 1604393 WITH SCORE 1613274.731
AT ITER 179 NEW BEST:: SOT 14102737 SOS 8932184 HAS SOPS 8930499 HAS SOUS 1602703 HAS SOUPS 1601518 WITH SCORE 1610450.184
AT ITER 181 NEW BEST:: SOT 14111908 SOS 8943347 HAS SOPS 8941662 HAS SOUS 1600131 HAS SOUPS 1598946 WITH SCORE 1607889.347
AT ITER 185 NEW BEST:: SOT 14109584 SOS 8944857 HAS SOPS 8943172 HAS SOUS 1597024 HAS SOUPS 1595839 WITH SCORE 1604783.857
AT ITER 186 NEW BEST:: SOT 14109584 SOS 8954505 HAS SOPS 8952820 HAS SOUS 1596890 HAS SOUPS 1595705 WITH SCORE 1604659.505
AT ITER 198 NEW BEST:: SOT 14109584 SOS 8954477 HAS SOPS 8952792 HAS SOUS 1596890 HAS SOUPS 1595705 WITH SCORE 1604659.477
AT ITER 200 NEW BEST:: SOT 14109584 SOS 8941305 HAS SOPS 8939620 HAS SOUS 1596712 HAS SOUPS 1595527 WITH SCORE 1604468.305
AT ITER 203 NEW BEST:: SOT 14109689 SOS 8941410 HAS SOPS 8939725 HAS SOUS 1588721 HAS SOUPS 1587536 WITH SCORE 1596477.41
AT ITER 210 NEW BEST:: SOT 14126486 SOS 8959123 HAS SOPS 8957438 HAS SOUS 1586119 HAS SOUPS 1584934 WITH SCORE 1593893.123
AT ITER 211 NEW BEST:: SOT 14126486 SOS 8958679 HAS SOPS 8956994 HAS SOUS 1586113 HAS SOUPS 1584928 WITH SCORE 1593886.679
AT ITER 218 NEW BEST:: SOT 14126486 SOS 8958576 HAS SOPS 8956910 HAS SOUS 1586094 HAS SOUPS 1584928 WITH SCORE 1593886.576
AT ITER 223 NEW BEST:: SOT 14118733 SOS 8950503 HAS SOPS 8948898 HAS SOUS 1570209 HAS SOUPS 1569104 WITH SCORE 1578054.503
AT ITER 234 NEW BEST:: SOT 14117509 SOS 8949411 HAS SOPS 8947806 HAS SOUS 1567622 HAS SOUPS 1566517 WITH SCORE 1575466.411
AT ITER 238 NEW BEST:: SOT 14115894 SOS 8947796 HAS SOPS 8946191 HAS SOUS 1565087 HAS SOUPS 1563982 WITH SCORE 1572929.796
AT ITER 243 NEW BEST:: SOT 14113475 SOS 8945377 HAS SOPS 8943772 HAS SOUS 1561581 HAS SOUPS 1560476 WITH SCORE 1569421.377
AT ITER 253 NEW BEST:: SOT 14112798 SOS 8944703 HAS SOPS 8943095 HAS SOUS 1561447 HAS SOUPS 1560339 WITH SCORE 1569283.703
AT ITER 254 NEW BEST:: SOT 14112798 SOS 8940095 HAS SOPS 8938487 HAS SOUS 1561447 HAS SOUPS 1560339 WITH SCORE 1569279.095
AT ITER 259 NEW BEST:: SOT 14120302 SOS 8972077 HAS SOPS 8970469 HAS SOUS 1558842 HAS SOUPS 1557734 WITH SCORE 1566706.077
AT ITER 260 NEW BEST:: SOT 14116948 SOS 8987931 HAS SOPS 8986323 HAS SOUS 1558572 HAS SOUPS 1557464 WITH SCORE 1566451.931
AT ITER 265 NEW BEST:: SOT 14116879 SOS 8987862 HAS SOPS 8986254 HAS SOUS 1558565 HAS SOUPS 1557457 WITH SCORE 1566444.862
AT ITER 274 NEW BEST:: SOT 14009502 SOS 10163454 HAS SOPS 10162094 HAS SOUS 1450285 HAS SOUPS 1449256 WITH SCORE 1459419.454
AT ITER 280 NEW BEST:: SOT 14030213 SOS 10184165 HAS SOPS 10182805 HAS SOUS 1443816 HAS SOUPS 1442787 WITH SCORE 1452971.165
AT ITER 284 NEW BEST:: SOT 14030213 SOS 10176821 HAS SOPS 10175461 HAS SOUS 1443816 HAS SOUPS 1442787 WITH SCORE 1452963.821
AT ITER 286 NEW BEST:: SOT 14030213 SOS 10186397 HAS SOPS 10185037 HAS SOUS 1443683 HAS SOUPS 1442654 WITH SCORE 1452840.397
AT ITER 300 NEW BEST:: SOT 14031313 SOS 10187497 HAS SOPS 10186137 HAS SOUS 1432476 HAS SOUPS 1431447 WITH SCORE 1441634.497
AT ITER 310 NEW BEST:: SOT 14033184 SOS 10189095 HAS SOPS 10187792 HAS SOUS 1430089 HAS SOUPS 1429117 WITH SCORE 1439306.095
AT ITER 339 NEW BEST:: SOT 14033023 SOS 10188934 HAS SOPS 10187631 HAS SOUS 1429419 HAS SOUPS 1428447 WITH SCORE 1438635.934
AT ITER 342 NEW BEST:: SOT 14026266 SOS 10182177 HAS SOPS 10180874 HAS SOUS 1419556 HAS SOUPS 1418584 WITH SCORE 1428766.177
AT ITER 350 NEW BEST:: SOT 14026266 SOS 10181817 HAS SOPS 10180514 HAS SOUS 1419551 HAS SOUPS 1418579 WITH SCORE 1428760.817
AT ITER 354 NEW BEST:: SOT 14026623 SOS 10181978 HAS SOPS 10180675 HAS SOUS 1419517 HAS SOUPS 1418545 WITH SCORE 1428726.978
AT ITER 370 NEW BEST:: SOT 14026709 SOS 9573400 HAS SOPS 9572097 HAS SOUS 1419464 HAS SOUPS 1418492 WITH SCORE 1428065.4
AT ITER 372 NEW BEST:: SOT 14026823 SOS 9573514 HAS SOPS 9572211 HAS SOUS 1408682 HAS SOUPS 1407710 WITH SCORE 1417283.514
AT ITER 373 NEW BEST:: SOT 14021986 SOS 9568672 HAS SOPS 9567369 HAS SOUS 1398037 HAS SOUPS 1397065 WITH SCORE 1406633.672
AT ITER 377 NEW BEST:: SOT 14021986 SOS 9562264 HAS SOPS 9560961 HAS SOUS 1398037 HAS SOUPS 1397065 WITH SCORE 1406627.264
AT ITER 394 NEW BEST:: SOT 14037413 SOS 9577691 HAS SOPS 9576388 HAS SOUS 1388966 HAS SOUPS 1387994 WITH SCORE 1397571.691
AT ITER 399 NEW BEST:: SOT 14037039 SOS 10106157 HAS SOPS 10104854 HAS SOUS 1388403 HAS SOUPS 1387431 WITH SCORE 1397537.157
AT ITER 402 NEW BEST:: SOT 14036987 SOS 10106079 HAS SOPS 10104776 HAS SOUS 1388351 HAS SOUPS 1387379 WITH SCORE 1397485.079
AT ITER 404 NEW BEST:: SOT 14030161 SOS 10100661 HAS SOPS 10099358 HAS SOUS 1380143 HAS SOUPS 1379171 WITH SCORE 1389271.661
AT ITER 408 NEW BEST:: SOT 14030051 SOS 10100676 HAS SOPS 10099373 HAS SOUS 1379801 HAS SOUPS 1378829 WITH SCORE 1388929.676
AT ITER 413 NEW BEST:: SOT 14029201 SOS 10099826 HAS SOPS 10098523 HAS SOUS 1378071 HAS SOUPS 1377099 WITH SCORE 1387198.826
AT ITER 419 NEW BEST:: SOT 14027118 SOS 10097743 HAS SOPS 10096440 HAS SOUS 1366659 HAS SOUPS 1365687 WITH SCORE 1375784.743
AT ITER 422 NEW BEST:: SOT 14027118 SOS 10097451 HAS SOPS 10096148 HAS SOUS 1366513 HAS SOUPS 1365541 WITH SCORE 1375638.451
AT ITER 425 NEW BEST:: SOT 14027118 SOS 10097433 HAS SOPS 10096130 HAS SOUS 1366513 HAS SOUPS 1365541 WITH SCORE 1375638.433
AT ITER 428 NEW BEST:: SOT 14027118 SOS 10093345 HAS SOPS 10092042 HAS SOUS 1366457 HAS SOUPS 1365485 WITH SCORE 1375578.345
AT ITER 429 NEW BEST:: SOT 14027076 SOS 10096327 HAS SOPS 10095024 HAS SOUS 1366452 HAS SOUPS 1365480 WITH SCORE 1375576.327
AT ITER 431 NEW BEST:: SOT 14027994 SOS 10096999 HAS SOPS 10095744 HAS SOUS 1359484 HAS SOUPS 1358560 WITH SCORE 1368656.999
AT ITER 432 NEW BEST:: SOT 14027994 SOS 10096974 HAS SOPS 10095714 HAS SOUS 1359432 HAS SOUPS 1358503 WITH SCORE 1368599.974
AT ITER 439 NEW BEST:: SOT 14025994 SOS 10094974 HAS SOPS 10093714 HAS SOUS 1358344 HAS SOUPS 1357415 WITH SCORE 1367509.974
AT ITER 446 NEW BEST:: SOT 14025591 SOS 10094571 HAS SOPS 10093311 HAS SOUS 1357398 HAS SOUPS 1356469 WITH SCORE 1366563.571
AT ITER 453 NEW BEST:: SOT 14025527 SOS 10094507 HAS SOPS 10093247 HAS SOUS 1357334 HAS SOUPS 1356405 WITH SCORE 1366499.507
AT ITER 454 NEW BEST:: SOT 14022173 SOS 10091869 HAS SOPS 10090609 HAS SOUS 1356278 HAS SOUPS 1355349 WITH SCORE 1365440.869
AT ITER 455 NEW BEST:: SOT 14022173 SOS 10091869 HAS SOPS 10090609 HAS SOUS 1356114 HAS SOUPS 1355185 WITH SCORE 1365276.869
AT ITER 456 NEW BEST:: SOT 14023407 SOS 10093319 HAS SOPS 10092059 HAS SOUS 1355397 HAS SOUPS 1354468 WITH SCORE 1364561.319
AT ITER 458 NEW BEST:: SOT 14023407 SOS 10085579 HAS SOPS 10084319 HAS SOUS 1355217 HAS SOUPS 1354288 WITH SCORE 1364373.579
AT ITER 459 NEW BEST:: SOT 14017563 SOS 10079235 HAS SOPS 10078475 HAS SOUS 1349352 HAS SOUPS 1348592 WITH SCORE 1358671.235
AT ITER 461 NEW BEST:: SOT 14012405 SOS 10078313 HAS SOPS 10077553 HAS SOUS 1344578 HAS SOUPS 1343818 WITH SCORE 1353896.313
AT ITER 492 NEW BEST:: SOT 14012405 SOS 10072950 HAS SOPS 10072190 HAS SOUS 1344399 HAS SOUPS 1343639 WITH SCORE 1353711.95
AT ITER 493 NEW BEST:: SOT 14017671 SOS 10078366 HAS SOPS 10077581 HAS SOUS 1341216 HAS SOUPS 1340431 WITH SCORE 1350509.366
AT ITER 505 NEW BEST:: SOT 14015961 SOS 10076644 HAS SOPS 10075859 HAS SOUS 1333720 HAS SOUPS 1332935 WITH SCORE 1343011.644
AT ITER 508 NEW BEST:: SOT 14016026 SOS 10072029 HAS SOPS 10071244 HAS SOUS 1333720 HAS SOUPS 1332935 WITH SCORE 1343007.029
AT ITER 515 NEW BEST:: SOT 14016026 SOS 10067955 HAS SOPS 10067170 HAS SOUS 1333627 HAS SOUPS 1332842 WITH SCORE 1342909.955
AT ITER 518 NEW BEST:: SOT 14016026 SOS 10067955 HAS SOPS 10067170 HAS SOUS 1333608 HAS SOUPS 1332823 WITH SCORE 1342890.955
AT ITER 521 NEW BEST:: SOT 14016026 SOS 10070619 HAS SOPS 10069834 HAS SOUS 1333448 HAS SOUPS 1332663 WITH SCORE 1342733.619
AT ITER 526 NEW BEST:: SOT 14014763 SOS 10074096 HAS SOPS 10073311 HAS SOUS 1331293 HAS SOUPS 1330508 WITH SCORE 1340582.096
AT ITER 531 NEW BEST:: SOT 14014763 SOS 10070784 HAS SOPS 10069999 HAS SOUS 1331233 HAS SOUPS 1330448 WITH SCORE 1340518.784
AT ITER 532 NEW BEST:: SOT 14011793 SOS 10067814 HAS SOPS 10067029 HAS SOUS 1328263 HAS SOUPS 1327478 WITH SCORE 1337545.814
AT ITER 539 NEW BEST:: SOT 14011793 SOS 10061598 HAS SOPS 10060813 HAS SOUS 1328179 HAS SOUPS 1327394 WITH SCORE 1337455.598
AT ITER 548 NEW BEST:: SOT 14012979 SOS 10062750 HAS SOPS 10061965 HAS SOUS 1321606 HAS SOUPS 1320821 WITH SCORE 1330883.75
AT ITER 549 NEW BEST:: SOT 14012362 SOS 10062133 HAS SOPS 10061348 HAS SOUS 1320297 HAS SOUPS 1319512 WITH SCORE 1329574.133
AT ITER 551 NEW BEST:: SOT 14012472 SOS 9811035 HAS SOPS 9810250 HAS SOUS 1320407 HAS SOUPS 1319622 WITH SCORE 1329433.035
AT ITER 553 NEW BEST:: SOT 14011336 SOS 9805291 HAS SOPS 9804506 HAS SOUS 1319247 HAS SOUPS 1318462 WITH SCORE 1328267.291
AT ITER 560 NEW BEST:: SOT 14011208 SOS 9805163 HAS SOPS 9804378 HAS SOUS 1319034 HAS SOUPS 1318249 WITH SCORE 1328054.163
AT ITER 575 NEW BEST:: SOT 14011783 SOS 9805738 HAS SOPS 9804953 HAS SOUS 1318715 HAS SOUPS 1317930 WITH SCORE 1327735.738
AT ITER 576 NEW BEST:: SOT 14011783 SOS 9809266 HAS SOPS 9808481 HAS SOUS 1318578 HAS SOUPS 1317793 WITH SCORE 1327602.266
AT ITER 580 NEW BEST:: SOT 14011783 SOS 9806818 HAS SOPS 9806033 HAS SOUS 1318578 HAS SOUPS 1317793 WITH SCORE 1327599.818
AT ITER 589 NEW BEST:: SOT 14009979 SOS 9805014 HAS SOPS 9804229 HAS SOUS 1314774 HAS SOUPS 1313989 WITH SCORE 1323794.014
AT ITER 591 NEW BEST:: SOT 14009979 SOS 9797344 HAS SOPS 9796559 HAS SOUS 1314592 HAS SOUPS 1313807 WITH SCORE 1323604.344
AT ITER 592 NEW BEST:: SOT 14010694 SOS 9798177 HAS SOPS 9797392 HAS SOUS 1311342 HAS SOUPS 1310557 WITH SCORE 1320355.177
AT ITER 595 NEW BEST:: SOT 14011979 SOS 9799462 HAS SOPS 9798677 HAS SOUS 1305256 HAS SOUPS 1304471 WITH SCORE 1314270.462
AT ITER 596 NEW BEST:: SOT 14011979 SOS 9799462 HAS SOPS 9798677 HAS SOUS 1305064 HAS SOUPS 1304279 WITH SCORE 1314078.462
AT ITER 613 NEW BEST:: SOT 14017222 SOS 9804705 HAS SOPS 9803920 HAS SOUS 1303951 HAS SOUPS 1303166 WITH SCORE 1312970.705
AT ITER 631 NEW BEST:: SOT 14017222 SOS 9804557 HAS SOPS 9803772 HAS SOUS 1303803 HAS SOUPS 1303018 WITH SCORE 1312822.557
AT ITER 633 NEW BEST:: SOT 14017222 SOS 9804557 HAS SOPS 9803772 HAS SOUS 1303795 HAS SOUPS 1303010 WITH SCORE 1312814.557
AT ITER 647 NEW BEST:: SOT 14023598 SOS 9811096 HAS SOPS 9810311 HAS SOUS 1301189 HAS SOUPS 1300404 WITH SCORE 1310215.096
AT ITER 648 NEW BEST:: SOT 14024980 SOS 9812471 HAS SOPS 9811686 HAS SOUS 1298660 HAS SOUPS 1297875 WITH SCORE 1307687.471
AT ITER 649 NEW BEST:: SOT 14026005 SOS 9814028 HAS SOPS 9813243 HAS SOUS 1291343 HAS SOUPS 1290558 WITH SCORE 1300372.028
AT ITER 656 NEW BEST:: SOT 14023885 SOS 9812628 HAS SOPS 9811843 HAS SOUS 1285919 HAS SOUPS 1285134 WITH SCORE 1294946.628
AT ITER 666 NEW BEST:: SOT 14023885 SOS 9812628 HAS SOPS 9811843 HAS SOUS 1285878 HAS SOUPS 1285093 WITH SCORE 1294905.628
AT ITER 671 NEW BEST:: SOT 14023885 SOS 9812628 HAS SOPS 9811843 HAS SOUS 1285832 HAS SOUPS 1285047 WITH SCORE 1294859.628
AT ITER 673 NEW BEST:: SOT 14023885 SOS 9808092 HAS SOPS 9807307 HAS SOUS 1285769 HAS SOUPS 1284984 WITH SCORE 1294792.092
AT ITER 674 NEW BEST:: SOT 14022257 SOS 9807244 HAS SOPS 9806459 HAS SOUS 1282810 HAS SOUPS 1282025 WITH SCORE 1291832.244
AT ITER 678 NEW BEST:: SOT 14022257 SOS 9807129 HAS SOPS 9806344 HAS SOUS 1282695 HAS SOUPS 1281910 WITH SCORE 1291717.129
AT ITER 683 NEW BEST:: SOT 14022257 SOS 9438885 HAS SOPS 9438100 HAS SOUS 1282573 HAS SOUPS 1281788 WITH SCORE 1291226.885
AT ITER 697 NEW BEST:: SOT 14022257 SOS 9437085 HAS SOPS 9436300 HAS SOUS 1282509 HAS SOUPS 1281724 WITH SCORE 1291161.085
AT ITER 698 NEW BEST:: SOT 14022249 SOS 9437077 HAS SOPS 9436292 HAS SOUS 1282333 HAS SOUPS 1281548 WITH SCORE 1290985.077
AT ITER 700 NEW BEST:: SOT 14022249 SOS 9437077 HAS SOPS 9436292 HAS SOUS 1282274 HAS SOUPS 1281489 WITH SCORE 1290926.077
AT ITER 701 NEW BEST:: SOT 14022249 SOS 9436825 HAS SOPS 9436040 HAS SOUS 1282148 HAS SOUPS 1281363 WITH SCORE 1290799.825
AT ITER 717 NEW BEST:: SOT 14022249 SOS 9434593 HAS SOPS 9433808 HAS SOUS 1282148 HAS SOUPS 1281363 WITH SCORE 1290797.593
AT ITER 718 NEW BEST:: SOT 14021874 SOS 9434182 HAS SOPS 9433397 HAS SOUS 1281788 HAS SOUPS 1281003 WITH SCORE 1290437.182
AT ITER 730 NEW BEST:: SOT 14019689 SOS 9432333 HAS SOPS 9431548 HAS SOUS 1277343 HAS SOUPS 1276558 WITH SCORE 1285990.333
AT ITER 741 NEW BEST:: SOT 14019689 SOS 9432277 HAS SOPS 9431492 HAS SOUS 1277343 HAS SOUPS 1276558 WITH SCORE 1285990.277
AT ITER 751 NEW BEST:: SOT 14022041 SOS 9434629 HAS SOPS 9433844 HAS SOUS 1277026 HAS SOUPS 1276241 WITH SCORE 1285675.629
AT ITER 756 NEW BEST:: SOT 14022041 SOS 9434629 HAS SOPS 9433844 HAS SOUS 1276857 HAS SOUPS 1276072 WITH SCORE 1285506.629
AT ITER 772 NEW BEST:: SOT 14025259 SOS 9437676 HAS SOPS 9436916 HAS SOUS 1275605 HAS SOUPS 1274845 WITH SCORE 1284282.676
AT ITER 773 NEW BEST:: SOT 14025271 SOS 9438771 HAS SOPS 9438011 HAS SOUS 1275520 HAS SOUPS 1274760 WITH SCORE 1284198.771
AT ITER 776 NEW BEST:: SOT 14025271 SOS 9438589 HAS SOPS 9437829 HAS SOUS 1275494 HAS SOUPS 1274734 WITH SCORE 1284172.589
AT ITER 784 NEW BEST:: SOT 14023749 SOS 9437987 HAS SOPS 9437644 HAS SOUS 1270092 HAS SOUPS 1269749 WITH SCORE 1279186.987
AT ITER 792 NEW BEST:: SOT 14035156 SOS 9449815 HAS SOPS 9449387 HAS SOUS 1267842 HAS SOUPS 1267414 WITH SCORE 1276863.815
AT ITER 793 NEW BEST:: SOT 14035156 SOS 9445561 HAS SOPS 9445133 HAS SOUS 1267842 HAS SOUPS 1267414 WITH SCORE 1276859.561
AT ITER 796 NEW BEST:: SOT 14034441 SOS 9408873 HAS SOPS 9408445 HAS SOUS 1267638 HAS SOUPS 1267210 WITH SCORE 1276618.873
AT ITER 797 NEW BEST:: SOT 14037873 SOS 9412305 HAS SOPS 9411877 HAS SOUS 1256323 HAS SOUPS 1255895 WITH SCORE 1265307.305
AT ITER 808 NEW BEST:: SOT 14034158 SOS 9408590 HAS SOPS 9408162 HAS SOUS 1248951 HAS SOUPS 1248523 WITH SCORE 1257931.59
AT ITER 809 NEW BEST:: SOT 14041982 SOS 9416414 HAS SOPS 9415986 HAS SOUS 1247615 HAS SOUPS 1247187 WITH SCORE 1256603.414
AT ITER 810 NEW BEST:: SOT 14042044 SOS 9315460 HAS SOPS 9315032 HAS SOUS 1247677 HAS SOUPS 1247249 WITH SCORE 1256564.46
AT ITER 812 NEW BEST:: SOT 14039945 SOS 9313361 HAS SOPS 9312933 HAS SOUS 1243746 HAS SOUPS 1243318 WITH SCORE 1252631.361
AT ITER 820 NEW BEST:: SOT 14051572 SOS 9335937 HAS SOPS 9335093 HAS SOUS 1231560 HAS SOUPS 1230856 WITH SCORE 1240191.937
AT ITER 822 NEW BEST:: SOT 14050352 SOS 9334637 HAS SOPS 9333793 HAS SOUS 1229080 HAS SOUPS 1228376 WITH SCORE 1237710.637
AT ITER 842 NEW BEST:: SOT 14049086 SOS 9333371 HAS SOPS 9332527 HAS SOUS 1228643 HAS SOUPS 1227939 WITH SCORE 1237272.371
AT ITER 845 NEW BEST:: SOT 14048660 SOS 9332945 HAS SOPS 9332101 HAS SOUS 1228444 HAS SOUPS 1227740 WITH SCORE 1237072.945
AT ITER 857 NEW BEST:: SOT 14046448 SOS 9330733 HAS SOPS 9329889 HAS SOUS 1223579 HAS SOUPS 1222875 WITH SCORE 1232205.733
AT ITER 866 NEW BEST:: SOT 14045344 SOS 9329629 HAS SOPS 9328785 HAS SOUS 1221925 HAS SOUPS 1221221 WITH SCORE 1230550.629
AT ITER 882 NEW BEST:: SOT 14043793 SOS 9328078 HAS SOPS 9327234 HAS SOUS 1220622 HAS SOUPS 1219918 WITH SCORE 1229246.078
AT ITER 893 NEW BEST:: SOT 14043793 SOS 9327588 HAS SOPS 9326744 HAS SOUS 1220552 HAS SOUPS 1219848 WITH SCORE 1229175.588
AT ITER 905 NEW BEST:: SOT 14043793 SOS 9326508 HAS SOPS 9325664 HAS SOUS 1220552 HAS SOUPS 1219848 WITH SCORE 1229174.508
AT ITER 910 NEW BEST:: SOT 14043804 SOS 9283236 HAS SOPS 9282392 HAS SOUS 1220552 HAS SOUPS 1219848 WITH SCORE 1229131.236
AT ITER 919 NEW BEST:: SOT 14043804 SOS 9283236 HAS SOPS 9282392 HAS SOUS 1220534 HAS SOUPS 1219830 WITH SCORE 1229113.236
AT ITER 949 NEW BEST:: SOT 14038448 SOS 9277880 HAS SOPS 9277036 HAS SOUS 1214818 HAS SOUPS 1214114 WITH SCORE 1223391.88
AT ITER 950 NEW BEST:: SOT 14038448 SOS 9276944 HAS SOPS 9276100 HAS SOUS 1214818 HAS SOUPS 1214114 WITH SCORE 1223390.944
AT ITER 953 NEW BEST:: SOT 14034419 SOS 9272915 HAS SOPS 9272071 HAS SOUS 1210076 HAS SOUPS 1209372 WITH SCORE 1218644.915
AT ITER 958 NEW BEST:: SOT 14034129 SOS 9272625 HAS SOPS 9271781 HAS SOUS 1209648 HAS SOUPS 1208944 WITH SCORE 1218216.625
AT ITER 974 NEW BEST:: SOT 14020449 SOS 9247957 HAS SOPS 9247529 HAS SOUS 1188659 HAS SOUPS 1188231 WITH SCORE 1197478.957
AT ITER 995 NEW BEST:: SOT 14020449 SOS 9245045 HAS SOPS 9244617 HAS SOUS 1188659 HAS SOUPS 1188231 WITH SCORE 1197476.045
AT ITER 1009 NEW BEST:: SOT 14020449 SOS 9244685 HAS SOPS 9244257 HAS SOUS 1188659 HAS SOUPS 1188231 WITH SCORE 1197475.685
AT ITER 1010 NEW BEST:: SOT 14020449 SOS 9244503 HAS SOPS 9244075 HAS SOUS 1188568 HAS SOUPS 1188140 WITH SCORE 1197384.503
AT ITER 1024 NEW BEST:: SOT 14018668 SOS 9242722 HAS SOPS 9242294 HAS SOUS 1178597 HAS SOUPS 1178169 WITH SCORE 1187411.722
AT ITER 1035 NEW BEST:: SOT 14018668 SOS 9241936 HAS SOPS 9241508 HAS SOUS 1178597 HAS SOUPS 1178169 WITH SCORE 1187410.936
AT ITER 1042 NEW BEST:: SOT 14024410 SOS 9247678 HAS SOPS 9247250 HAS SOUS 1177717 HAS SOUPS 1177289 WITH SCORE 1186536.678
AT ITER 1077 NEW BEST:: SOT 14027673 SOS 9250941 HAS SOPS 9250513 HAS SOUS 1173296 HAS SOUPS 1172868 WITH SCORE 1182118.941
AT ITER 1085 NEW BEST:: SOT 14027684 SOS 9250937 HAS SOPS 9250509 HAS SOUS 1173292 HAS SOUPS 1172864 WITH SCORE 1182114.937
AT ITER 1091 NEW BEST:: SOT 14027684 SOS 9250937 HAS SOPS 9250509 HAS SOUS 1173274 HAS SOUPS 1172846 WITH SCORE 1182096.937
AT ITER 1097 NEW BEST:: SOT 14027495 SOS 9244142 HAS SOPS 9243714 HAS SOUS 1173029 HAS SOUPS 1172601 WITH SCORE 1181845.142
AT ITER 1114 NEW BEST:: SOT 14031232 SOS 9247879 HAS SOPS 9247451 HAS SOUS 1172415 HAS SOUPS 1171987 WITH SCORE 1181234.879
AT ITER 1118 NEW BEST:: SOT 14031232 SOS 9246483 HAS SOPS 9246055 HAS SOUS 1172304 HAS SOUPS 1171876 WITH SCORE 1181122.483
AT ITER 1158 NEW BEST:: SOT 14031001 SOS 9246252 HAS SOPS 9245824 HAS SOUS 1171810 HAS SOUPS 1171382 WITH SCORE 1180628.252
AT ITER 1180 NEW BEST:: SOT 14031001 SOS 9246252 HAS SOPS 9245824 HAS SOUS 1171757 HAS SOUPS 1171329 WITH SCORE 1180575.252
AT ITER 1187 NEW BEST:: SOT 14031001 SOS 9245442 HAS SOPS 9245014 HAS SOUS 1171618 HAS SOUPS 1171190 WITH SCORE 1180435.442
AT ITER 1190 NEW BEST:: SOT 14031001 SOS 9245292 HAS SOPS 9244864 HAS SOUS 1171603 HAS SOUPS 1171175 WITH SCORE 1180420.292
AT ITER 1195 NEW BEST:: SOT 14031001 SOS 9245540 HAS SOPS 9245112 HAS SOUS 1171459 HAS SOUPS 1171031 WITH SCORE 1180276.54
AT ITER 1199 NEW BEST:: SOT 14030980 SOS 9245519 HAS SOPS 9245091 HAS SOUS 1171457 HAS SOUPS 1171029 WITH SCORE 1180274.519
AT ITER 1201 NEW BEST:: SOT 14030980 SOS 9245519 HAS SOPS 9245091 HAS SOUS 1171389 HAS SOUPS 1170961 WITH SCORE 1180206.519
AT ITER 1214 NEW BEST:: SOT 14035164 SOS 9250145 HAS SOPS 9249666 HAS SOUS 1170720 HAS SOUPS 1170242 WITH SCORE 1179492.145
AT ITER 1223 NEW BEST:: SOT 14056109 SOS 9274114 HAS SOPS 9273635 HAS SOUS 1168320 HAS SOUPS 1167842 WITH SCORE 1177116.114
AT ITER 1224 NEW BEST:: SOT 14056967 SOS 9275028 HAS SOPS 9274549 HAS SOUS 1168269 HAS SOUPS 1167791 WITH SCORE 1177066.028
AT ITER 1227 NEW BEST:: SOT 14058636 SOS 9276697 HAS SOPS 9276218 HAS SOUS 1166851 HAS SOUPS 1166373 WITH SCORE 1175649.697
AT ITER 1230 NEW BEST:: SOT 14058636 SOS 9276480 HAS SOPS 9276001 HAS SOUS 1166851 HAS SOUPS 1166373 WITH SCORE 1175649.48
AT ITER 1232 NEW BEST:: SOT 14073561 SOS 9293339 HAS SOPS 9292498 HAS SOUS 1160357 HAS SOUPS 1159679 WITH SCORE 1168972.339
AT ITER 1239 NEW BEST:: SOT 14070894 SOS 9290672 HAS SOPS 9289831 HAS SOUS 1157207 HAS SOUPS 1156529 WITH SCORE 1165819.672
AT ITER 1245 NEW BEST:: SOT 14071137 SOS 9290915 HAS SOPS 9290074 HAS SOUS 1156775 HAS SOUPS 1156097 WITH SCORE 1165387.915
AT ITER 1253 NEW BEST:: SOT 14073705 SOS 9293483 HAS SOPS 9292642 HAS SOUS 1152007 HAS SOUPS 1151329 WITH SCORE 1160622.483
AT ITER 1254 NEW BEST:: SOT 14081587 SOS 9301727 HAS SOPS 9300886 HAS SOUS 1151878 HAS SOUPS 1151200 WITH SCORE 1160501.727
AT ITER 1259 NEW BEST:: SOT 14077249 SOS 9297188 HAS SOPS 9296414 HAS SOUS 1151419 HAS SOUPS 1150808 WITH SCORE 1160105.188
AT ITER 1272 NEW BEST:: SOT 14075178 SOS 9295117 HAS SOPS 9294343 HAS SOUS 1148830 HAS SOUPS 1148219 WITH SCORE 1157514.117
AT ITER 1283 NEW BEST:: SOT 14075757 SOS 9295696 HAS SOPS 9294922 HAS SOUS 1147134 HAS SOUPS 1146523 WITH SCORE 1155818.696
AT ITER 1322 NEW BEST:: SOT 14075757 SOS 9290557 HAS SOPS 9289783 HAS SOUS 1147134 HAS SOUPS 1146523 WITH SCORE 1155813.557
AT ITER 1327 NEW BEST:: SOT 14076309 SOS 9291102 HAS SOPS 9290328 HAS SOUS 1146783 HAS SOUPS 1146172 WITH SCORE 1155463.102
AT ITER 1333 NEW BEST:: SOT 14076311 SOS 9291102 HAS SOPS 9290328 HAS SOUS 1146777 HAS SOUPS 1146166 WITH SCORE 1155457.102
AT ITER 1341 NEW BEST:: SOT 14076319 SOS 9291110 HAS SOPS 9290336 HAS SOUS 1146768 HAS SOUPS 1146157 WITH SCORE 1155448.11
AT ITER 1343 NEW BEST:: SOT 14076319 SOS 9291110 HAS SOPS 9290336 HAS SOUS 1146760 HAS SOUPS 1146149 WITH SCORE 1155440.11
AT ITER 1352 NEW BEST:: SOT 14076319 SOS 9291110 HAS SOPS 9290336 HAS SOUS 1146751 HAS SOUPS 1146140 WITH SCORE 1155431.11
AT ITER 1357 NEW BEST:: SOT 14076265 SOS 8107932 HAS SOPS 8106693 HAS SOUS 1145893 HAS SOUPS 1145171 WITH SCORE 1153278.932
AT ITER 1365 NEW BEST:: SOT 14076265 SOS 8107968 HAS SOPS 8106729 HAS SOUS 1145756 HAS SOUPS 1145034 WITH SCORE 1153141.968
AT ITER 1380 NEW BEST:: SOT 14076265 SOS 8107608 HAS SOPS 8106369 HAS SOUS 1145756 HAS SOUPS 1145034 WITH SCORE 1153141.608
AT ITER 1389 NEW BEST:: SOT 14071860 SOS 8103203 HAS SOPS 8101964 HAS SOUS 1141890 HAS SOUPS 1141168 WITH SCORE 1149271.203
AT ITER 1390 NEW BEST:: SOT 14071860 SOS 8107859 HAS SOPS 8106620 HAS SOUS 1141738 HAS SOUPS 1141016 WITH SCORE 1149123.859
AT ITER 1394 NEW BEST:: SOT 14071860 SOS 8107711 HAS SOPS 8106472 HAS SOUS 1141700 HAS SOUPS 1140978 WITH SCORE 1149085.711
AT ITER 1407 NEW BEST:: SOT 14071418 SOS 8106981 HAS SOPS 8105742 HAS SOUS 1141542 HAS SOUPS 1140820 WITH SCORE 1148926.981
AT ITER 1418 NEW BEST:: SOT 14069121 SOS 8104417 HAS SOPS 8103230 HAS SOUS 1128751 HAS SOUPS 1128081 WITH SCORE 1136185.417
AT ITER 1426 NEW BEST:: SOT 14069257 SOS 8104535 HAS SOPS 8103348 HAS SOUS 1127979 HAS SOUPS 1127309 WITH SCORE 1135413.535
AT ITER 1436 NEW BEST:: SOT 14068146 SOS 8103420 HAS SOPS 8102233 HAS SOUS 1121953 HAS SOUPS 1121283 WITH SCORE 1129386.42
AT ITER 1443 NEW BEST:: SOT 14068146 SOS 8103312 HAS SOPS 8102125 HAS SOUS 1121953 HAS SOUPS 1121283 WITH SCORE 1129386.312
AT ITER 1447 NEW BEST:: SOT 14059573 SOS 8094739 HAS SOPS 8093552 HAS SOUS 1101772 HAS SOUPS 1101102 WITH SCORE 1109196.739
AT ITER 1457 NEW BEST:: SOT 14064183 SOS 8099349 HAS SOPS 8098162 HAS SOUS 1100734 HAS SOUPS 1100064 WITH SCORE 1108163.349
AT ITER 1461 NEW BEST:: SOT 14065883 SOS 8101039 HAS SOPS 8099852 HAS SOUS 1097380 HAS SOUPS 1096710 WITH SCORE 1104811.039
AT ITER 1466 NEW BEST:: SOT 14070042 SOS 8105198 HAS SOPS 8104011 HAS SOUS 1095901 HAS SOUPS 1095231 WITH SCORE 1103336.198
AT ITER 1477 NEW BEST:: SOT 14070042 SOS 8103830 HAS SOPS 8102643 HAS SOUS 1095849 HAS SOUPS 1095179 WITH SCORE 1103282.83
AT ITER 1478 NEW BEST:: SOT 14070040 SOS 8103828 HAS SOPS 8102641 HAS SOUS 1095749 HAS SOUPS 1095079 WITH SCORE 1103182.828
AT ITER 1489 NEW BEST:: SOT 14070040 SOS 8103761 HAS SOPS 8102574 HAS SOUS 1095682 HAS SOUPS 1095012 WITH SCORE 1103115.761
AT ITER 1496 NEW BEST:: SOT 14070040 SOS 8103736 HAS SOPS 8102549 HAS SOUS 1095682 HAS SOUPS 1095012 WITH SCORE 1103115.736
AT ITER 1497 NEW BEST:: SOT 14069590 SOS 8103263 HAS SOPS 8102076 HAS SOUS 1086256 HAS SOUPS 1085586 WITH SCORE 1093689.263
AT ITER 1505 NEW BEST:: SOT 14069590 SOS 8103166 HAS SOPS 8101979 HAS SOUS 1086159 HAS SOUPS 1085489 WITH SCORE 1093592.166
AT ITER 1507 NEW BEST:: SOT 14069590 SOS 8102922 HAS SOPS 8101735 HAS SOUS 1086159 HAS SOUPS 1085489 WITH SCORE 1093591.922
AT ITER 1512 NEW BEST:: SOT 14069590 SOS 8102884 HAS SOPS 8101697 HAS SOUS 1086159 HAS SOUPS 1085489 WITH SCORE 1093591.884
AT ITER 1514 NEW BEST:: SOT 14069590 SOS 8102524 HAS SOPS 8101337 HAS SOUS 1086159 HAS SOUPS 1085489 WITH SCORE 1093591.524
AT ITER 1517 NEW BEST:: SOT 14069590 SOS 8102524 HAS SOPS 8101337 HAS SOUS 1086158 HAS SOUPS 1085488 WITH SCORE 1093590.524
AT ITER 1524 NEW BEST:: SOT 14067280 SOS 8100214 HAS SOPS 8099027 HAS SOUS 1081538 HAS SOUPS 1080868 WITH SCORE 1088968.214
AT ITER 1527 NEW BEST:: SOT 14067280 SOS 8107362 HAS SOPS 8106175 HAS SOUS 1080305 HAS SOUPS 1079635 WITH SCORE 1087742.362
AT ITER 1533 NEW BEST:: SOT 14067193 SOS 8107275 HAS SOPS 8106088 HAS SOUS 1080129 HAS SOUPS 1079459 WITH SCORE 1087566.275
AT ITER 1541 NEW BEST:: SOT 14067080 SOS 8107162 HAS SOPS 8105975 HAS SOUS 1080072 HAS SOUPS 1079402 WITH SCORE 1087509.162
AT ITER 1546 NEW BEST:: SOT 14067080 SOS 8106802 HAS SOPS 8105615 HAS SOUS 1080072 HAS SOUPS 1079402 WITH SCORE 1087508.802
AT ITER 1550 NEW BEST:: SOT 14066920 SOS 8106642 HAS SOPS 8105455 HAS SOUS 1079959 HAS SOUPS 1079289 WITH SCORE 1087395.642
AT ITER 1555 NEW BEST:: SOT 14066073 SOS 8105795 HAS SOPS 8104608 HAS SOUS 1078264 HAS SOUPS 1077594 WITH SCORE 1085699.795
AT ITER 1556 NEW BEST:: SOT 14066073 SOS 8105749 HAS SOPS 8104562 HAS SOUS 1078191 HAS SOUPS 1077521 WITH SCORE 1085626.749
AT ITER 1558 NEW BEST:: SOT 14068422 SOS 8108098 HAS SOPS 8106911 HAS SOUS 1076660 HAS SOUPS 1075990 WITH SCORE 1084098.098
AT ITER 1562 NEW BEST:: SOT 14067182 SOS 8106858 HAS SOPS 8105671 HAS SOUS 1072570 HAS SOUPS 1071900 WITH SCORE 1080006.858
AT ITER 1571 NEW BEST:: SOT 14067182 SOS 8106578 HAS SOPS 8105391 HAS SOUS 1072508 HAS SOUPS 1071838 WITH SCORE 1079944.578
AT ITER 1577 NEW BEST:: SOT 14067182 SOS 8106524 HAS SOPS 8105337 HAS SOUS 1072481 HAS SOUPS 1071811 WITH SCORE 1079917.524
AT ITER 1594 NEW BEST:: SOT 14067069 SOS 8106411 HAS SOPS 8105224 HAS SOUS 1071741 HAS SOUPS 1071071 WITH SCORE 1079177.411
AT ITER 1596 NEW BEST:: SOT 14067069 SOS 8106411 HAS SOPS 8105224 HAS SOUS 1071731 HAS SOUPS 1071061 WITH SCORE 1079167.411
AT ITER 1618 NEW BEST:: SOT 14067069 SOS 8106411 HAS SOPS 8105224 HAS SOUS 1071681 HAS SOUPS 1071011 WITH SCORE 1079117.411
AT ITER 1629 NEW BEST:: SOT 14067069 SOS 8106411 HAS SOPS 8105224 HAS SOUS 1071600 HAS SOUPS 1070930 WITH SCORE 1079036.411
AT ITER 1645 NEW BEST:: SOT 14064632 SOS 8103974 HAS SOPS 8102787 HAS SOUS 1066811 HAS SOUPS 1066141 WITH SCORE 1074244.974
AT ITER 1654 NEW BEST:: SOT 14064632 SOS 8098938 HAS SOPS 8097751 HAS SOUS 1066811 HAS SOUPS 1066141 WITH SCORE 1074239.938
AT ITER 1665 NEW BEST:: SOT 14064632 SOS 8109396 HAS SOPS 8108209 HAS SOUS 1065939 HAS SOUPS 1065269 WITH SCORE 1073378.396
AT ITER 1671 NEW BEST:: SOT 14064632 SOS 8106372 HAS SOPS 8105185 HAS SOUS 1065939 HAS SOUPS 1065269 WITH SCORE 1073375.372
AT ITER 1695 NEW BEST:: SOT 14063023 SOS 8104763 HAS SOPS 8103576 HAS SOUS 1062688 HAS SOUPS 1062018 WITH SCORE 1070122.763
AT ITER 1702 NEW BEST:: SOT 14063023 SOS 8106823 HAS SOPS 8105636 HAS SOUS 1062558 HAS SOUPS 1061888 WITH SCORE 1069994.823
AT ITER 1703 NEW BEST:: SOT 14063023 SOS 8106463 HAS SOPS 8105276 HAS SOUS 1062558 HAS SOUPS 1061888 WITH SCORE 1069994.463
AT ITER 1705 NEW BEST:: SOT 14049369 SOS 8093093 HAS SOPS 8091906 HAS SOUS 1058496 HAS SOUPS 1057826 WITH SCORE 1065919.093
AT ITER 1726 NEW BEST:: SOT 14049369 SOS 8093068 HAS SOPS 8091881 HAS SOUS 1058471 HAS SOUPS 1057801 WITH SCORE 1065894.068
AT ITER 1727 NEW BEST:: SOT 14049369 SOS 8093068 HAS SOPS 8091881 HAS SOUS 1058419 HAS SOUPS 1057749 WITH SCORE 1065842.068
AT ITER 1728 NEW BEST:: SOT 14049034 SOS 8092536 HAS SOPS 8091352 HAS SOUS 1057687 HAS SOUPS 1057020 WITH SCORE 1065112.536
AT ITER 1773 NEW BEST:: SOT 14049826 SOS 8093328 HAS SOPS 8092144 HAS SOUS 1055534 HAS SOUPS 1054867 WITH SCORE 1062960.328
AT ITER 1774 NEW BEST:: SOT 14049826 SOS 8093328 HAS SOPS 8092144 HAS SOUS 1055428 HAS SOUPS 1054761 WITH SCORE 1062854.328
AT ITER 1779 NEW BEST:: SOT 14051375 SOS 8094877 HAS SOPS 8093693 HAS SOUS 1051092 HAS SOUPS 1050425 WITH SCORE 1058519.877
AT ITER 1786 NEW BEST:: SOT 14051375 SOS 8094827 HAS SOPS 8093643 HAS SOUS 1050989 HAS SOUPS 1050322 WITH SCORE 1058416.827
AT ITER 1788 NEW BEST:: SOT 14051375 SOS 8094467 HAS SOPS 8093283 HAS SOUS 1050989 HAS SOUPS 1050322 WITH SCORE 1058416.467
AT ITER 1790 NEW BEST:: SOT 14051375 SOS 8094447 HAS SOPS 8093263 HAS SOUS 1050823 HAS SOUPS 1050156 WITH SCORE 1058250.447
AT ITER 1797 NEW BEST:: SOT 14051867 SOS 8097806 HAS SOPS 8096539 HAS SOUS 1050227 HAS SOUPS 1049521 WITH SCORE 1057618.806
AT ITER 1803 NEW BEST:: SOT 14051960 SOS 8097899 HAS SOPS 8096632 HAS SOUS 1050207 HAS SOUPS 1049501 WITH SCORE 1057598.899
AT ITER 1825 NEW BEST:: SOT 14051960 SOS 8097363 HAS SOPS 8096096 HAS SOUS 1050119 HAS SOUPS 1049413 WITH SCORE 1057510.363
AT ITER 1830 NEW BEST:: SOT 14052009 SOS 8093744 HAS SOPS 8092477 HAS SOUS 1049979 HAS SOUPS 1049273 WITH SCORE 1057366.744
AT ITER 1838 NEW BEST:: SOT 14039361 SOS 8080553 HAS SOPS 8079286 HAS SOUS 1049140 HAS SOUPS 1048434 WITH SCORE 1056514.553
AT ITER 1866 NEW BEST:: SOT 14039361 SOS 8080193 HAS SOPS 8078926 HAS SOUS 1049140 HAS SOUPS 1048434 WITH SCORE 1056514.193
AT ITER 1867 NEW BEST:: SOT 14039388 SOS 8080220 HAS SOPS 8078953 HAS SOUS 1049105 HAS SOUPS 1048399 WITH SCORE 1056479.22
AT ITER 1887 NEW BEST:: SOT 14044543 SOS 8085611 HAS SOPS 8084344 HAS SOUS 1048145 HAS SOUPS 1047439 WITH SCORE 1055524.611
AT ITER 1897 NEW BEST:: SOT 14044543 SOS 8085584 HAS SOPS 8084317 HAS SOUS 1048118 HAS SOUPS 1047412 WITH SCORE 1055497.584
AT ITER 1937 NEW BEST:: SOT 14044480 SOS 8085521 HAS SOPS 8084254 HAS SOUS 1047975 HAS SOUPS 1047269 WITH SCORE 1055354.521
AT ITER 1939 NEW BEST:: SOT 14044494 SOS 8085535 HAS SOPS 8084268 HAS SOUS 1047848 HAS SOUPS 1047142 WITH SCORE 1055227.535
AT ITER 1945 NEW BEST:: SOT 14047590 SOS 8089399 HAS SOPS 8088132 HAS SOUS 1044320 HAS SOUPS 1043614 WITH SCORE 1051703.399
AT ITER 1955 NEW BEST:: SOT 14045533 SOS 8087342 HAS SOPS 8086075 HAS SOUS 1042980 HAS SOUPS 1042274 WITH SCORE 1050361.342
AT ITER 1995 NEW BEST:: SOT 14044527 SOS 8086311 HAS SOPS 8085044 HAS SOUS 1040940 HAS SOUPS 1040234 WITH SCORE 1048320.311
AT ITER 2001 NEW BEST:: SOT 14044527 SOS 8086049 HAS SOPS 8084782 HAS SOUS 1040809 HAS SOUPS 1040103 WITH SCORE 1048189.049
AT ITER 2004 NEW BEST:: SOT 14039928 SOS 8081450 HAS SOPS 8080183 HAS SOUS 1037944 HAS SOUPS 1037238 WITH SCORE 1045319.45
AT ITER 2007 NEW BEST:: SOT 14039928 SOS 8078200 HAS SOPS 8076933 HAS SOUS 1037862 HAS SOUPS 1037156 WITH SCORE 1045234.2
AT ITER 2023 NEW BEST:: SOT 14039928 SOS 8077464 HAS SOPS 8076197 HAS SOUS 1037862 HAS SOUPS 1037156 WITH SCORE 1045233.464
AT ITER 2026 NEW BEST:: SOT 14044091 SOS 8109969 HAS SOPS 8108702 HAS SOUS 1036569 HAS SOUPS 1035863 WITH SCORE 1043972.969
AT ITER 2032 NEW BEST:: SOT 14042648 SOS 8108526 HAS SOPS 8107259 HAS SOUS 1033581 HAS SOUPS 1032875 WITH SCORE 1040983.526
AT ITER 2066 NEW BEST:: SOT 14042648 SOS 8107950 HAS SOPS 8106683 HAS SOUS 1033581 HAS SOUPS 1032875 WITH SCORE 1040982.95
AT ITER 2068 NEW BEST:: SOT 14042648 SOS 8107590 HAS SOPS 8106323 HAS SOUS 1033581 HAS SOUPS 1032875 WITH SCORE 1040982.59
AT ITER 2071 NEW BEST:: SOT 14040143 SOS 8105085 HAS SOPS 8103818 HAS SOUS 1028814 HAS SOUPS 1028108 WITH SCORE 1036213.085
AT ITER 2075 NEW BEST:: SOT 14057327 SOS 8142539 HAS SOPS 8141272 HAS SOUS 1026833 HAS SOUPS 1026127 WITH SCORE 1034269.539
AT ITER 2081 NEW BEST:: SOT 14057374 SOS 8142586 HAS SOPS 8141319 HAS SOUS 1026820 HAS SOUPS 1026114 WITH SCORE 1034256.586
AT ITER 2087 NEW BEST:: SOT 14058496 SOS 8143708 HAS SOPS 8142441 HAS SOUS 1026213 HAS SOUPS 1025507 WITH SCORE 1033650.708
AT ITER 2089 NEW BEST:: SOT 14060378 SOS 8146022 HAS SOPS 8144773 HAS SOUS 1024461 HAS SOUPS 1023755 WITH SCORE 1031901.022
AT ITER 2090 NEW BEST:: SOT 14060378 SOS 8144654 HAS SOPS 8143405 HAS SOUS 1024461 HAS SOUPS 1023755 WITH SCORE 1031899.654
AT ITER 2094 NEW BEST:: SOT 14060157 SOS 8145229 HAS SOPS 8143980 HAS SOUS 1024412 HAS SOUPS 1023706 WITH SCORE 1031851.229
AT ITER 2096 NEW BEST:: SOT 14059495 SOS 8144495 HAS SOPS 8143246 HAS SOUS 1023887 HAS SOUPS 1023181 WITH SCORE 1031325.495
AT ITER 2116 NEW BEST:: SOT 14059495 SOS 8144173 HAS SOPS 8142924 HAS SOUS 1023828 HAS SOUPS 1023122 WITH SCORE 1031266.173
AT ITER 2127 NEW BEST:: SOT 14060732 SOS 8145468 HAS SOPS 8144219 HAS SOUS 1022240 HAS SOUPS 1021534 WITH SCORE 1029679.468
AT ITER 2129 NEW BEST:: SOT 14058287 SOS 8143023 HAS SOPS 8141774 HAS SOUS 1017337 HAS SOUPS 1016631 WITH SCORE 1024774.023
AT ITER 2138 NEW BEST:: SOT 14058287 SOS 8142663 HAS SOPS 8141414 HAS SOUS 1017337 HAS SOUPS 1016631 WITH SCORE 1024773.663
AT ITER 2144 NEW BEST:: SOT 14052395 SOS 8134394 HAS SOPS 8133142 HAS SOUS 1015139 HAS SOUPS 1014430 WITH SCORE 1022564.394
AT ITER 2147 NEW BEST:: SOT 14053006 SOS 8135005 HAS SOPS 8133753 HAS SOUS 1014123 HAS SOUPS 1013414 WITH SCORE 1021549.005
AT ITER 2162 NEW BEST:: SOT 14053009 SOS 8135008 HAS SOPS 8133756 HAS SOUS 1014070 HAS SOUPS 1013361 WITH SCORE 1021496.008
AT ITER 2170 NEW BEST:: SOT 14053052 SOS 8131503 HAS SOPS 8130251 HAS SOUS 1014021 HAS SOUPS 1013312 WITH SCORE 1021443.503
AT ITER 2194 NEW BEST:: SOT 14052217 SOS 8130668 HAS SOPS 8129416 HAS SOUS 1013770 HAS SOUPS 1013061 WITH SCORE 1021191.668
AT ITER 2216 NEW BEST:: SOT 14051676 SOS 8130127 HAS SOPS 8128875 HAS SOUS 1011303 HAS SOUPS 1010594 WITH SCORE 1018724.127
AT ITER 2217 NEW BEST:: SOT 14051676 SOS 8130118 HAS SOPS 8128866 HAS SOUS 1011303 HAS SOUPS 1010594 WITH SCORE 1018724.118
AT ITER 2227 NEW BEST:: SOT 14047775 SOS 8126217 HAS SOPS 8124965 HAS SOUS 1008699 HAS SOUPS 1007990 WITH SCORE 1016116.217
AT ITER 2252 NEW BEST:: SOT 14047775 SOS 8125857 HAS SOPS 8124605 HAS SOUS 1008699 HAS SOUPS 1007990 WITH SCORE 1016115.857
AT ITER 2261 NEW BEST:: SOT 14047507 SOS 8125589 HAS SOPS 8124337 HAS SOUS 1007916 HAS SOUPS 1007207 WITH SCORE 1015332.589
AT ITER 2342 NEW BEST:: SOT 14047680 SOS 8131999 HAS SOPS 8130747 HAS SOUS 1007899 HAS SOUPS 1007190 WITH SCORE 1015321.999
AT ITER 2347 NEW BEST:: SOT 14047683 SOS 8131550 HAS SOPS 8130241 HAS SOUS 1007830 HAS SOUPS 1007069 WITH SCORE 1015200.55
AT ITER 2348 NEW BEST:: SOT 14047683 SOS 8132156 HAS SOPS 8130847 HAS SOUS 1007629 HAS SOUPS 1006868 WITH SCORE 1015000.156
AT ITER 2371 NEW BEST:: SOT 14047806 SOS 8132279 HAS SOPS 8130970 HAS SOUS 1007623 HAS SOUPS 1006862 WITH SCORE 1014994.279
AT ITER 2374 NEW BEST:: SOT 14047806 SOS 8132275 HAS SOPS 8130966 HAS SOUS 1007623 HAS SOUPS 1006862 WITH SCORE 1014994.275
AT ITER 2376 NEW BEST:: SOT 14047261 SOS 8131730 HAS SOPS 8130421 HAS SOUS 1007540 HAS SOUPS 1006779 WITH SCORE 1014910.73
AT ITER 2380 NEW BEST:: SOT 14048172 SOS 8132571 HAS SOPS 8131268 HAS SOUS 1004637 HAS SOUPS 1003882 WITH SCORE 1012014.571
AT ITER 2422 NEW BEST:: SOT 14048172 SOS 8132424 HAS SOPS 8131121 HAS SOUS 1004490 HAS SOUPS 1003735 WITH SCORE 1011867.424
AT ITER 2434 NEW BEST:: SOT 14047716 SOS 8135592 HAS SOPS 8134289 HAS SOUS 1004433 HAS SOUPS 1003678 WITH SCORE 1011813.592
AT ITER 2436 NEW BEST:: SOT 14047315 SOS 8135191 HAS SOPS 8133888 HAS SOUS 1003753 HAS SOUPS 1002998 WITH SCORE 1011133.191
AT ITER 2437 NEW BEST:: SOT 14047315 SOS 8135191 HAS SOPS 8133888 HAS SOUS 1003738 HAS SOUPS 1002983 WITH SCORE 1011118.191
AT ITER 2442 NEW BEST:: SOT 14047315 SOS 8135188 HAS SOPS 8133885 HAS SOUS 1003735 HAS SOUPS 1002980 WITH SCORE 1011115.188
AT ITER 2454 NEW BEST:: SOT 14047315 SOS 8135188 HAS SOPS 8133885 HAS SOUS 1003727 HAS SOUPS 1002972 WITH SCORE 1011107.188
AT ITER 2460 NEW BEST:: SOT 14044091 SOS 8131878 HAS SOPS 8130575 HAS SOUS 1003604 HAS SOUPS 1002849 WITH SCORE 1010980.878
AT ITER 2463 NEW BEST:: SOT 14043998 SOS 8131785 HAS SOPS 8130482 HAS SOUS 1003511 HAS SOUPS 1002756 WITH SCORE 1010887.785
AT ITER 2472 NEW BEST:: SOT 14042333 SOS 8130120 HAS SOPS 8128817 HAS SOUS 1002622 HAS SOUPS 1001867 WITH SCORE 1009997.12
AT ITER 2480 NEW BEST:: SOT 14042495 SOS 8130282 HAS SOPS 8128979 HAS SOUS 1002388 HAS SOUPS 1001633 WITH SCORE 1009763.282
AT ITER 2488 NEW BEST:: SOT 14042448 SOS 8130235 HAS SOPS 8128932 HAS SOUS 1002341 HAS SOUPS 1001586 WITH SCORE 1009716.235
AT ITER 2493 NEW BEST:: SOT 14041711 SOS 8129473 HAS SOPS 8128170 HAS SOUS 998058 HAS SOUPS 997303 WITH SCORE 1005432.473
AT ITER 2504 NEW BEST:: SOT 14043338 SOS 8160306 HAS SOPS 8159003 HAS SOUS 997118 HAS SOUPS 996363 WITH SCORE 1004523.306
AT ITER 2523 NEW BEST:: SOT 14043343 SOS 8154018 HAS SOPS 8152715 HAS SOUS 996945 HAS SOUPS 996190 WITH SCORE 1004344.018
AT ITER 2527 NEW BEST:: SOT 14015091 SOS 8125229 HAS SOPS 8123827 HAS SOUS 988857 HAS SOUPS 988102 WITH SCORE 996227.229
AT ITER 2544 NEW BEST:: SOT 14015946 SOS 8126084 HAS SOPS 8124682 HAS SOUS 985860 HAS SOUPS 985105 WITH SCORE 993231.084
AT ITER 2549 NEW BEST:: SOT 14015946 SOS 8120008 HAS SOPS 8118606 HAS SOUS 985666 HAS SOUPS 984911 WITH SCORE 993031.008
AT ITER 2574 NEW BEST:: SOT 14015362 SOS 8119408 HAS SOPS 8118006 HAS SOUS 978627 HAS SOUPS 977872 WITH SCORE 985991.408
AT ITER 2576 NEW BEST:: SOT 14013239 SOS 8117285 HAS SOPS 8115883 HAS SOUS 976775 HAS SOUPS 976020 WITH SCORE 984137.285
AT ITER 2579 NEW BEST:: SOT 14013281 SOS 8117327 HAS SOPS 8115925 HAS SOUS 976750 HAS SOUPS 975995 WITH SCORE 984112.327
AT ITER 2588 NEW BEST:: SOT 14013281 SOS 8116967 HAS SOPS 8115565 HAS SOUS 976750 HAS SOUPS 975995 WITH SCORE 984111.967
AT ITER 2611 NEW BEST:: SOT 14013230 SOS 8116916 HAS SOPS 8115514 HAS SOUS 976647 HAS SOUPS 975892 WITH SCORE 984008.916
AT ITER 2630 NEW BEST:: SOT 14013230 SOS 8116916 HAS SOPS 8115514 HAS SOUS 976576 HAS SOUPS 975821 WITH SCORE 983937.916
AT ITER 2642 NEW BEST:: SOT 14013186 SOS 8116872 HAS SOPS 8115470 HAS SOUS 976367 HAS SOUPS 975612 WITH SCORE 983728.872
AT ITER 2647 NEW BEST:: SOT 14013185 SOS 8116871 HAS SOPS 8115469 HAS SOUS 976367 HAS SOUPS 975612 WITH SCORE 983728.871
AT ITER 2649 NEW BEST:: SOT 14013140 SOS 8116826 HAS SOPS 8115424 HAS SOUS 976367 HAS SOUPS 975612 WITH SCORE 983728.826
AT ITER 2666 NEW BEST:: SOT 14013140 SOS 8116200 HAS SOPS 8114798 HAS SOUS 976234 HAS SOUPS 975479 WITH SCORE 983595.2
AT ITER 2671 NEW BEST:: SOT 14012472 SOS 8115142 HAS SOPS 8113760 HAS SOUS 973297 HAS SOUPS 972557 WITH SCORE 980672.142
AT ITER 2674 NEW BEST:: SOT 14012472 SOS 8115142 HAS SOPS 8113760 HAS SOUS 973259 HAS SOUPS 972519 WITH SCORE 980634.142
AT ITER 2694 NEW BEST:: SOT 14013241 SOS 8116765 HAS SOPS 8115383 HAS SOUS 972185 HAS SOUPS 971445 WITH SCORE 979561.765
AT ITER 2712 NEW BEST:: SOT 14013241 SOS 8114533 HAS SOPS 8113151 HAS SOUS 972185 HAS SOUPS 971445 WITH SCORE 979559.533
AT ITER 2742 NEW BEST:: SOT 14013241 SOS 8119645 HAS SOPS 8118263 HAS SOUS 972178 HAS SOUPS 971438 WITH SCORE 979557.645
AT ITER 2758 NEW BEST:: SOT 14003453 SOS 8099208 HAS SOPS 8097826 HAS SOUS 970682 HAS SOUPS 969942 WITH SCORE 978041.208
AT ITER 2763 NEW BEST:: SOT 14003453 SOS 8096322 HAS SOPS 8094940 HAS SOUS 970643 HAS SOUPS 969903 WITH SCORE 977999.322
AT ITER 2773 NEW BEST:: SOT 14003453 SOS 8096107 HAS SOPS 8094725 HAS SOUS 970643 HAS SOUPS 969903 WITH SCORE 977999.107
AT ITER 2775 NEW BEST:: SOT 14003453 SOS 8095369 HAS SOPS 8093987 HAS SOUS 970643 HAS SOUPS 969903 WITH SCORE 977998.369
AT ITER 2819 NEW BEST:: SOT 14003506 SOS 8095422 HAS SOPS 8094040 HAS SOUS 970588 HAS SOUPS 969848 WITH SCORE 977943.422
AT ITER 2820 NEW BEST:: SOT 14002963 SOS 8093410 HAS SOPS 8092112 HAS SOUS 967306 HAS SOUPS 966605 WITH SCORE 974698.41
AT ITER 2831 NEW BEST:: SOT 14002963 SOS 8093050 HAS SOPS 8091752 HAS SOUS 967306 HAS SOUPS 966605 WITH SCORE 974698.05
AT ITER 2896 NEW BEST:: SOT 14000949 SOS 8091036 HAS SOPS 8089738 HAS SOUS 965232 HAS SOUPS 964531 WITH SCORE 972622.036
AT ITER 2913 NEW BEST:: SOT 14011775 SOS 8106553 HAS SOPS 8105255 HAS SOUS 964545 HAS SOUPS 963844 WITH SCORE 971950.553
AT ITER 2915 NEW BEST:: SOT 14011914 SOS 8106692 HAS SOPS 8105394 HAS SOUS 964512 HAS SOUPS 963811 WITH SCORE 971917.692
AT ITER 2923 NEW BEST:: SOT 14021537 SOS 8116797 HAS SOPS 8115499 HAS SOUS 963935 HAS SOUPS 963234 WITH SCORE 971350.797
AT ITER 2925 NEW BEST:: SOT 14021537 SOS 8112547 HAS SOPS 8111249 HAS SOUS 963790 HAS SOUPS 963089 WITH SCORE 971201.547
AT ITER 2944 NEW BEST:: SOT 14018904 SOS 8114007 HAS SOPS 8112710 HAS SOUS 961077 HAS SOUPS 960376 WITH SCORE 968490.007
AT ITER 2974 NEW BEST:: SOT 14018901 SOS 8114004 HAS SOPS 8112707 HAS SOUS 961057 HAS SOUPS 960356 WITH SCORE 968470.004
AT ITER 2980 NEW BEST:: SOT 14018901 SOS 8112636 HAS SOPS 8111339 HAS SOUS 961057 HAS SOUPS 960356 WITH SCORE 968468.636
AT ITER 3009 NEW BEST:: SOT 14018901 SOS 8109676 HAS SOPS 8108379 HAS SOUS 961017 HAS SOUPS 960316 WITH SCORE 968425.676
AT ITER 3011 NEW BEST:: SOT 14018850 SOS 8109625 HAS SOPS 8108328 HAS SOUS 960895 HAS SOUPS 960194 WITH SCORE 968303.625
AT ITER 3034 NEW BEST:: SOT 14018464 SOS 8109239 HAS SOPS 8107942 HAS SOUS 960519 HAS SOUPS 959818 WITH SCORE 967927.239
AT ITER 3036 NEW BEST:: SOT 14017988 SOS 8108763 HAS SOPS 8107466 HAS SOUS 959591 HAS SOUPS 958890 WITH SCORE 966998.763
AT ITER 3051 NEW BEST:: SOT 14017988 SOS 8107755 HAS SOPS 8106458 HAS SOUS 959591 HAS SOUPS 958890 WITH SCORE 966997.755
AT ITER 3057 NEW BEST:: SOT 14020322 SOS 8110089 HAS SOPS 8108792 HAS SOUS 958883 HAS SOUPS 958182 WITH SCORE 966292.089
AT ITER 3059 NEW BEST:: SOT 14020322 SOS 8109729 HAS SOPS 8108432 HAS SOUS 958883 HAS SOUPS 958182 WITH SCORE 966291.729
AT ITER 3064 NEW BEST:: SOT 14020325 SOS 8109732 HAS SOPS 8108435 HAS SOUS 958801 HAS SOUPS 958100 WITH SCORE 966209.732
AT ITER 3071 NEW BEST:: SOT 14020325 SOS 8109459 HAS SOPS 8108162 HAS SOUS 958697 HAS SOUPS 957996 WITH SCORE 966105.459
AT ITER 3073 NEW BEST:: SOT 14020325 SOS 8099653 HAS SOPS 8098356 HAS SOUS 958553 HAS SOUPS 957852 WITH SCORE 965951.653
AT ITER 3078 NEW BEST:: SOT 14020325 SOS 8098285 HAS SOPS 8096988 HAS SOUS 958382 HAS SOUPS 957681 WITH SCORE 965779.285
AT ITER 3080 NEW BEST:: SOT 14020325 SOS 8098159 HAS SOPS 8096862 HAS SOUS 958215 HAS SOUPS 957514 WITH SCORE 965612.159
AT ITER 3083 NEW BEST:: SOT 14020325 SOS 8094343 HAS SOPS 8093046 HAS SOUS 958215 HAS SOUPS 957514 WITH SCORE 965608.343
AT ITER 3085 NEW BEST:: SOT 14019545 SOS 8093563 HAS SOPS 8092266 HAS SOUS 957754 HAS SOUPS 957053 WITH SCORE 965146.563
AT ITER 3091 NEW BEST:: SOT 14019545 SOS 8093563 HAS SOPS 8092266 HAS SOUS 957746 HAS SOUPS 957045 WITH SCORE 965138.563
AT ITER 3113 NEW BEST:: SOT 14019545 SOS 8093529 HAS SOPS 8092232 HAS SOUS 957729 HAS SOUPS 957028 WITH SCORE 965121.529
AT ITER 3117 NEW BEST:: SOT 14019670 SOS 8093670 HAS SOPS 8092371 HAS SOUS 957645 HAS SOUPS 956942 WITH SCORE 965035.67
AT ITER 3123 NEW BEST:: SOT 14019879 SOS 8094311 HAS SOPS 8093012 HAS SOUS 957494 HAS SOUPS 956791 WITH SCORE 964885.311
AT ITER 3146 NEW BEST:: SOT 14020616 SOS 8095048 HAS SOPS 8093749 HAS SOUS 956910 HAS SOUPS 956207 WITH SCORE 964302.048
AT ITER 3151 NEW BEST:: SOT 14020616 SOS 8093773 HAS SOPS 8092342 HAS SOUS 956844 HAS SOUPS 956141 WITH SCORE 964234.773
AT ITER 3152 NEW BEST:: SOT 14018908 SOS 8092065 HAS SOPS 8090634 HAS SOUS 953555 HAS SOUPS 952852 WITH SCORE 960944.065
AT ITER 3205 NEW BEST:: SOT 14026172 SOS 8100402 HAS SOPS 8098971 HAS SOUS 950734 HAS SOUPS 950031 WITH SCORE 958131.402
AT ITER 3231 NEW BEST:: SOT 14031208 SOS 8111342 HAS SOPS 8109911 HAS SOUS 949650 HAS SOUPS 948947 WITH SCORE 957058.342
AT ITER 3272 NEW BEST:: SOT 14031208 SOS 8111276 HAS SOPS 8109845 HAS SOUS 949617 HAS SOUPS 948914 WITH SCORE 957025.276
AT ITER 3293 NEW BEST:: SOT 14025789 SOS 8097348 HAS SOPS 8096103 HAS SOUS 947132 HAS SOUPS 946491 WITH SCORE 954588.348
AT ITER 3298 NEW BEST:: SOT 14023313 SOS 8094872 HAS SOPS 8093627 HAS SOUS 945579 HAS SOUPS 944938 WITH SCORE 953032.872
AT ITER 3312 NEW BEST:: SOT 14019028 SOS 8090587 HAS SOPS 8089342 HAS SOUS 942816 HAS SOUPS 942175 WITH SCORE 950265.587
AT ITER 3322 NEW BEST:: SOT 14019131 SOS 7934119 HAS SOPS 7932874 HAS SOUS 942949 HAS SOUPS 942308 WITH SCORE 950242.119
AT ITER 3338 NEW BEST:: SOT 14019131 SOS 7934119 HAS SOPS 7932874 HAS SOUS 942945 HAS SOUPS 942304 WITH SCORE 950238.119
AT ITER 3341 NEW BEST:: SOT 14019098 SOS 7934086 HAS SOPS 7932841 HAS SOUS 942910 HAS SOUPS 942269 WITH SCORE 950203.086
AT ITER 3357 NEW BEST:: SOT 14019098 SOS 7934014 HAS SOPS 7932769 HAS SOUS 942910 HAS SOUPS 942269 WITH SCORE 950203.014
AT ITER 3359 NEW BEST:: SOT 14019784 SOS 7934700 HAS SOPS 7933455 HAS SOUS 939193 HAS SOUPS 938552 WITH SCORE 946486.7
AT ITER 3370 NEW BEST:: SOT 14019396 SOS 7934312 HAS SOPS 7933067 HAS SOUS 937042 HAS SOUPS 936401 WITH SCORE 944335.312
AT ITER 3371 NEW BEST:: SOT 14014958 SOS 7929874 HAS SOPS 7928629 HAS SOUS 934583 HAS SOUPS 933942 WITH SCORE 941871.874
AT ITER 3392 NEW BEST:: SOT 14012993 SOS 7927909 HAS SOPS 7926664 HAS SOUS 933454 HAS SOUPS 932813 WITH SCORE 940740.909
AT ITER 3397 NEW BEST:: SOT 14012474 SOS 7927390 HAS SOPS 7926145 HAS SOUS 932409 HAS SOUPS 931768 WITH SCORE 939695.39
AT ITER 3413 NEW BEST:: SOT 14008779 SOS 7923695 HAS SOPS 7922450 HAS SOUS 929946 HAS SOUPS 929305 WITH SCORE 937228.695
AT ITER 3414 NEW BEST:: SOT 14008891 SOS 7923807 HAS SOPS 7922562 HAS SOUS 929692 HAS SOUPS 929051 WITH SCORE 936974.807
AT ITER 3419 NEW BEST:: SOT 14008891 SOS 7904799 HAS SOPS 7903554 HAS SOUS 929648 HAS SOUPS 929007 WITH SCORE 936911.799
AT ITER 3436 NEW BEST:: SOT 14008891 SOS 7904781 HAS SOPS 7903536 HAS SOUS 929639 HAS SOUPS 928998 WITH SCORE 936902.781
AT ITER 3438 NEW BEST:: SOT 14012845 SOS 7908857 HAS SOPS 7907612 HAS SOUS 929251 HAS SOUPS 928610 WITH SCORE 936518.857
AT ITER 3455 NEW BEST:: SOT 14013942 SOS 7909954 HAS SOPS 7908709 HAS SOUS 926649 HAS SOUPS 926008 WITH SCORE 933917.954
AT ITER 3479 NEW BEST:: SOT 14013942 SOS 7909906 HAS SOPS 7908661 HAS SOUS 926601 HAS SOUPS 925960 WITH SCORE 933869.906
AT ITER 3480 NEW BEST:: SOT 14013942 SOS 7909906 HAS SOPS 7908661 HAS SOUS 926573 HAS SOUPS 925932 WITH SCORE 933841.906
AT ITER 3501 NEW BEST:: SOT 14014422 SOS 7910054 HAS SOPS 7908864 HAS SOUS 924142 HAS SOUPS 923556 WITH SCORE 931466.054
AT ITER 3505 NEW BEST:: SOT 14012408 SOS 7908040 HAS SOPS 7906850 HAS SOUS 922994 HAS SOUPS 922408 WITH SCORE 930316.04
AT ITER 3515 NEW BEST:: SOT 14013530 SOS 7910665 HAS SOPS 7909475 HAS SOUS 921521 HAS SOUPS 920935 WITH SCORE 928845.665
AT ITER 3539 NEW BEST:: SOT 14010051 SOS 7907186 HAS SOPS 7905996 HAS SOUS 918130 HAS SOUPS 917544 WITH SCORE 925451.186
AT ITER 3543 NEW BEST:: SOT 14012287 SOS 7909422 HAS SOPS 7908232 HAS SOUS 917910 HAS SOUPS 917324 WITH SCORE 925233.422
AT ITER 3548 NEW BEST:: SOT 14012201 SOS 7909354 HAS SOPS 7908164 HAS SOUS 917830 HAS SOUPS 917244 WITH SCORE 925153.354
AT ITER 3550 NEW BEST:: SOT 14012201 SOS 7905682 HAS SOPS 7904492 HAS SOUS 917830 HAS SOUPS 917244 WITH SCORE 925149.682
AT ITER 3555 NEW BEST:: SOT 14013013 SOS 7905270 HAS SOPS 7904100 HAS SOUS 916381 HAS SOUPS 915815 WITH SCORE 923720.27
AT ITER 3556 NEW BEST:: SOT 14013013 SOS 7904118 HAS SOPS 7902948 HAS SOUS 916381 HAS SOUPS 915815 WITH SCORE 923719.118
AT ITER 3557 NEW BEST:: SOT 14013052 SOS 7904157 HAS SOPS 7902987 HAS SOUS 916379 HAS SOUPS 915813 WITH SCORE 923717.157
AT ITER 3565 NEW BEST:: SOT 14013051 SOS 7904156 HAS SOPS 7902986 HAS SOUS 916379 HAS SOUPS 915813 WITH SCORE 923717.156
AT ITER 3568 NEW BEST:: SOT 14017134 SOS 7909157 HAS SOPS 7907987 HAS SOUS 912442 HAS SOUPS 911876 WITH SCORE 919785.157
AT ITER 3580 NEW BEST:: SOT 14017765 SOS 7910104 HAS SOPS 7908934 HAS SOUS 910397 HAS SOUPS 909831 WITH SCORE 917741.104
AT ITER 3628 NEW BEST:: SOT 14017760 SOS 7910099 HAS SOPS 7908929 HAS SOUS 910397 HAS SOUPS 909831 WITH SCORE 917741.099
AT ITER 3630 NEW BEST:: SOT 14017750 SOS 7910089 HAS SOPS 7908919 HAS SOUS 910392 HAS SOUPS 909826 WITH SCORE 917736.089
AT ITER 3669 NEW BEST:: SOT 14017506 SOS 7909845 HAS SOPS 7908675 HAS SOUS 910225 HAS SOUPS 909659 WITH SCORE 917568.845
AT ITER 3670 NEW BEST:: SOT 14019468 SOS 7911991 HAS SOPS 7910821 HAS SOUS 909253 HAS SOUPS 908687 WITH SCORE 916598.991
AT ITER 3677 NEW BEST:: SOT 14019468 SOS 7909039 HAS SOPS 7907869 HAS SOUS 909253 HAS SOUPS 908687 WITH SCORE 916596.039
AT ITER 3704 NEW BEST:: SOT 14017921 SOS 7904501 HAS SOPS 7903331 HAS SOUS 906237 HAS SOUPS 905671 WITH SCORE 913575.501
AT ITER 3716 NEW BEST:: SOT 14017879 SOS 7904459 HAS SOPS 7903289 HAS SOUS 906237 HAS SOUPS 905671 WITH SCORE 913575.459
AT ITER 3731 NEW BEST:: SOT 14017879 SOS 7904144 HAS SOPS 7902974 HAS SOUS 906078 HAS SOUPS 905512 WITH SCORE 913416.144
AT ITER 3734 NEW BEST:: SOT 14016643 SOS 7902908 HAS SOPS 7901738 HAS SOUS 902755 HAS SOUPS 902189 WITH SCORE 910091.908
AT ITER 3736 NEW BEST:: SOT 14015793 SOS 7902058 HAS SOPS 7900888 HAS SOUS 902068 HAS SOUPS 901502 WITH SCORE 909404.058
AT ITER 3756 NEW BEST:: SOT 14014163 SOS 7900428 HAS SOPS 7899258 HAS SOUS 899708 HAS SOUPS 899142 WITH SCORE 907042.428
AT ITER 3781 NEW BEST:: SOT 14014163 SOS 7895744 HAS SOPS 7894574 HAS SOUS 899632 HAS SOUPS 899066 WITH SCORE 906961.744
AT ITER 3798 NEW BEST:: SOT 14008044 SOS 7889625 HAS SOPS 7888455 HAS SOUS 896374 HAS SOUPS 895808 WITH SCORE 903697.625
AT ITER 3808 NEW BEST:: SOT 14008044 SOS 7889625 HAS SOPS 7888455 HAS SOUS 896314 HAS SOUPS 895748 WITH SCORE 903637.625
AT ITER 3809 NEW BEST:: SOT 14007336 SOS 7888900 HAS SOPS 7887730 HAS SOUS 894873 HAS SOUPS 894307 WITH SCORE 902195.9
AT ITER 3819 NEW BEST:: SOT 14007336 SOS 7888900 HAS SOPS 7887730 HAS SOUS 894843 HAS SOUPS 894277 WITH SCORE 902165.9
AT ITER 3842 NEW BEST:: SOT 14007331 SOS 7888895 HAS SOPS 7887725 HAS SOUS 894838 HAS SOUPS 894272 WITH SCORE 902160.895
AT ITER 3862 NEW BEST:: SOT 14006819 SOS 7888383 HAS SOPS 7887213 HAS SOUS 893557 HAS SOUPS 892991 WITH SCORE 900879.383
AT ITER 3912 NEW BEST:: SOT 14006819 SOS 7882767 HAS SOPS 7881597 HAS SOUS 893557 HAS SOUPS 892991 WITH SCORE 900873.767
AT ITER 3946 NEW BEST:: SOT 14006819 SOS 7879455 HAS SOPS 7878285 HAS SOUS 893463 HAS SOUPS 892897 WITH SCORE 900776.455
AT ITER 3967 NEW BEST:: SOT 14004652 SOS 7877288 HAS SOPS 7876118 HAS SOUS 891868 HAS SOUPS 891302 WITH SCORE 899179.288
AT ITER 3976 NEW BEST:: SOT 14004540 SOS 7877176 HAS SOPS 7876006 HAS SOUS 891774 HAS SOUPS 891208 WITH SCORE 899085.176
AT ITER 3994 NEW BEST:: SOT 14004540 SOS 7877176 HAS SOPS 7876006 HAS SOUS 891773 HAS SOUPS 891207 WITH SCORE 899084.176
AT ITER 4002 NEW BEST:: SOT 14007786 SOS 7880373 HAS SOPS 7879210 HAS SOUS 891168 HAS SOUPS 890609 WITH SCORE 898489.373
AT ITER 4023 NEW BEST:: SOT 14007786 SOS 7884112 HAS SOPS 7882949 HAS SOUS 891144 HAS SOUPS 890585 WITH SCORE 898469.112
AT ITER 4045 NEW BEST:: SOT 14006950 SOS 7883276 HAS SOPS 7882113 HAS SOUS 889377 HAS SOUPS 888818 WITH SCORE 896701.276
AT ITER 4053 NEW BEST:: SOT 14007265 SOS 7883567 HAS SOPS 7882404 HAS SOUS 888725 HAS SOUPS 888166 WITH SCORE 896049.567
AT ITER 4088 NEW BEST:: SOT 14006044 SOS 7883792 HAS SOPS 7882629 HAS SOUS 888657 HAS SOUPS 888098 WITH SCORE 895981.792
AT ITER 4091 NEW BEST:: SOT 14006044 SOS 7883792 HAS SOPS 7882629 HAS SOUS 888624 HAS SOUPS 888065 WITH SCORE 895948.792
AT ITER 4095 NEW BEST:: SOT 14006906 SOS 7884654 HAS SOPS 7883491 HAS SOUS 886782 HAS SOUPS 886223 WITH SCORE 894107.654
AT ITER 4098 NEW BEST:: SOT 14006898 SOS 7884646 HAS SOPS 7883483 HAS SOUS 886686 HAS SOUPS 886127 WITH SCORE 894011.646
AT ITER 4119 NEW BEST:: SOT 14003157 SOS 7880905 HAS SOPS 7879742 HAS SOUS 884219 HAS SOUPS 883660 WITH SCORE 891540.905
AT ITER 4137 NEW BEST:: SOT 14003157 SOS 7886161 HAS SOPS 7884998 HAS SOUS 884135 HAS SOUPS 883576 WITH SCORE 891462.161
AT ITER 4138 NEW BEST:: SOT 14003157 SOS 7883927 HAS SOPS 7882764 HAS SOUS 884076 HAS SOUPS 883517 WITH SCORE 891400.927
AT ITER 4147 NEW BEST:: SOT 14003101 SOS 7883871 HAS SOPS 7882708 HAS SOUS 884052 HAS SOUPS 883493 WITH SCORE 891376.871
AT ITER 4162 NEW BEST:: SOT 14003040 SOS 7883810 HAS SOPS 7882647 HAS SOUS 883934 HAS SOUPS 883375 WITH SCORE 891258.81
AT ITER 4170 NEW BEST:: SOT 14003040 SOS 7884602 HAS SOPS 7883439 HAS SOUS 883923 HAS SOUPS 883364 WITH SCORE 891248.602
AT ITER 4191 NEW BEST:: SOT 14003442 SOS 7885004 HAS SOPS 7883841 HAS SOUS 883743 HAS SOUPS 883184 WITH SCORE 891069.004
AT ITER 4208 NEW BEST:: SOT 14000627 SOS 7882189 HAS SOPS 7881026 HAS SOUS 882489 HAS SOUPS 881930 WITH SCORE 889812.189
AT ITER 4231 NEW BEST:: SOT 14000580 SOS 7882142 HAS SOPS 7880979 HAS SOUS 882442 HAS SOUPS 881883 WITH SCORE 889765.142
AT ITER 4232 NEW BEST:: SOT 14000282 SOS 7881844 HAS SOPS 7880681 HAS SOUS 881089 HAS SOUPS 880530 WITH SCORE 888411.844
AT ITER 4262 NEW BEST:: SOT 14000282 SOS 7882276 HAS SOPS 7881113 HAS SOUS 880971 HAS SOUPS 880412 WITH SCORE 888294.276
AT ITER 4272 NEW BEST:: SOT 14000282 SOS 7877170 HAS SOPS 7876007 HAS SOUS 880902 HAS SOUPS 880343 WITH SCORE 888220.17
AT ITER 4273 NEW BEST:: SOT 14002599 SOS 7879487 HAS SOPS 7878324 HAS SOUS 878822 HAS SOUPS 878263 WITH SCORE 886142.487
AT ITER 4277 NEW BEST:: SOT 14000051 SOS 7876956 HAS SOPS 7875793 HAS SOUS 877584 HAS SOUPS 877025 WITH SCORE 884901.956
AT ITER 4294 NEW BEST:: SOT 13995194 SOS 7871697 HAS SOPS 7870534 HAS SOUS 877407 HAS SOUPS 876848 WITH SCORE 884719.697
AT ITER 4300 NEW BEST:: SOT 13994648 SOS 7872225 HAS SOPS 7871062 HAS SOUS 876842 HAS SOUPS 876283 WITH SCORE 884155.225
AT ITER 4303 NEW BEST:: SOT 13988682 SOS 7865004 HAS SOPS 7863841 HAS SOUS 875855 HAS SOUPS 875296 WITH SCORE 883161.004
AT ITER 4304 NEW BEST:: SOT 13988039 SOS 7864361 HAS SOPS 7863198 HAS SOUS 874363 HAS SOUPS 873804 WITH SCORE 881668.361
AT ITER 4310 NEW BEST:: SOT 13986560 SOS 7862882 HAS SOPS 7861719 HAS SOUS 873124 HAS SOUPS 872565 WITH SCORE 880427.882
AT ITER 4351 NEW BEST:: SOT 13986560 SOS 7861888 HAS SOPS 7860725 HAS SOUS 873124 HAS SOUPS 872565 WITH SCORE 880426.888
AT ITER 4358 NEW BEST:: SOT 13983838 SOS 7859166 HAS SOPS 7858003 HAS SOUS 871436 HAS SOUPS 870877 WITH SCORE 878736.166
AT ITER 4364 NEW BEST:: SOT 13982430 SOS 7857758 HAS SOPS 7856595 HAS SOUS 870266 HAS SOUPS 869707 WITH SCORE 877564.758
AT ITER 4379 NEW BEST:: SOT 13982430 SOS 7858703 HAS SOPS 7857519 HAS SOUS 869976 HAS SOUPS 869410 WITH SCORE 877268.703
AT ITER 4390 NEW BEST:: SOT 13984594 SOS 7861027 HAS SOPS 7859843 HAS SOUS 869879 HAS SOUPS 869313 WITH SCORE 877174.027
AT ITER 4415 NEW BEST:: SOT 13984587 SOS 7861020 HAS SOPS 7859836 HAS SOUS 869872 HAS SOUPS 869306 WITH SCORE 877167.02
AT ITER 4428 NEW BEST:: SOT 13984587 SOS 7859148 HAS SOPS 7857964 HAS SOUS 869872 HAS SOUPS 869306 WITH SCORE 877165.148
AT ITER 4460 NEW BEST:: SOT 13982656 SOS 7857270 HAS SOPS 7856086 HAS SOUS 866305 HAS SOUPS 865739 WITH SCORE 873596.27
AT ITER 4472 NEW BEST:: SOT 13983830 SOS 7858403 HAS SOPS 7857219 HAS SOUS 865283 HAS SOUPS 864717 WITH SCORE 872575.403
AT ITER 4486 NEW BEST:: SOT 13983415 SOS 7857988 HAS SOPS 7856804 HAS SOUS 864405 HAS SOUPS 863839 WITH SCORE 871696.988
AT ITER 4493 NEW BEST:: SOT 13979553 SOS 7854126 HAS SOPS 7852942 HAS SOUS 860995 HAS SOUPS 860429 WITH SCORE 868283.126
AT ITER 4500 NEW BEST:: SOT 13979990 SOS 7854563 HAS SOPS 7853379 HAS SOUS 860865 HAS SOUPS 860299 WITH SCORE 868153.563
AT ITER 4515 NEW BEST:: SOT 13979990 SOS 7852344 HAS SOPS 7851160 HAS SOUS 860826 HAS SOUPS 860260 WITH SCORE 868112.344
AT ITER 4556 NEW BEST:: SOT 13979990 SOS 7843284 HAS SOPS 7842100 HAS SOUS 860595 HAS SOUPS 860029 WITH SCORE 867872.284
AT ITER 4565 NEW BEST:: SOT 13979704 SOS 7843082 HAS SOPS 7841898 HAS SOUS 857810 HAS SOUPS 857244 WITH SCORE 865087.082
AT ITER 4570 NEW BEST:: SOT 13978897 SOS 7842275 HAS SOPS 7841091 HAS SOUS 857111 HAS SOUPS 856545 WITH SCORE 864387.275
AT ITER 4590 NEW BEST:: SOT 13978897 SOS 7842923 HAS SOPS 7841739 HAS SOUS 857071 HAS SOUPS 856505 WITH SCORE 864347.923
AT ITER 4613 NEW BEST:: SOT 13986614 SOS 7852018 HAS SOPS 7850835 HAS SOUS 854568 HAS SOUPS 854002 WITH SCORE 861854.018
AT ITER 4625 NEW BEST:: SOT 13986008 SOS 7851411 HAS SOPS 7850228 HAS SOUS 853336 HAS SOUPS 852770 WITH SCORE 860621.411
AT ITER 4648 NEW BEST:: SOT 13986008 SOS 7850043 HAS SOPS 7848860 HAS SOUS 853336 HAS SOUPS 852770 WITH SCORE 860620.043
AT ITER 4668 NEW BEST:: SOT 13991852 SOS 7855887 HAS SOPS 7854704 HAS SOUS 849361 HAS SOUPS 848795 WITH SCORE 856650.887
AT ITER 4676 NEW BEST:: SOT 13990697 SOS 7854732 HAS SOPS 7853549 HAS SOUS 848731 HAS SOUPS 848165 WITH SCORE 856019.732
AT ITER 4677 NEW BEST:: SOT 13990670 SOS 7854705 HAS SOPS 7853522 HAS SOUS 848712 HAS SOUPS 848146 WITH SCORE 856000.705
AT ITER 4696 NEW BEST:: SOT 13990670 SOS 7854673 HAS SOPS 7853490 HAS SOUS 848676 HAS SOUPS 848110 WITH SCORE 855964.673
AT ITER 4697 NEW BEST:: SOT 13990662 SOS 7854665 HAS SOPS 7853482 HAS SOUS 848668 HAS SOUPS 848102 WITH SCORE 855956.665
AT ITER 4704 NEW BEST:: SOT 13989740 SOS 7853743 HAS SOPS 7852560 HAS SOUS 847857 HAS SOUPS 847291 WITH SCORE 855144.743
AT ITER 4724 NEW BEST:: SOT 13989740 SOS 7855687 HAS SOPS 7854504 HAS SOUS 847830 HAS SOUPS 847264 WITH SCORE 855119.687
AT ITER 4725 NEW BEST:: SOT 13989720 SOS 7855667 HAS SOPS 7854484 HAS SOUS 847810 HAS SOUPS 847244 WITH SCORE 855099.667
AT ITER 4754 NEW BEST:: SOT 13989720 SOS 7854639 HAS SOPS 7853456 HAS SOUS 847766 HAS SOUPS 847200 WITH SCORE 855054.639
AT ITER 4773 NEW BEST:: SOT 13984882 SOS 7849801 HAS SOPS 7848618 HAS SOUS 846538 HAS SOUPS 845972 WITH SCORE 853821.801
AT ITER 4799 NEW BEST:: SOT 13984882 SOS 7860303 HAS SOPS 7859120 HAS SOUS 846316 HAS SOUPS 845750 WITH SCORE 853610.303
AT ITER 4828 NEW BEST:: SOT 13993776 SOS 7876981 HAS SOPS 7875687 HAS SOUS 843530 HAS SOUPS 842905 WITH SCORE 850781.981
AT ITER 4856 NEW BEST:: SOT 13997250 SOS 7880455 HAS SOPS 7879161 HAS SOUS 842501 HAS SOUPS 841876 WITH SCORE 849756.455
AT ITER 4861 NEW BEST:: SOT 13997233 SOS 7880438 HAS SOPS 7879144 HAS SOUS 842484 HAS SOUPS 841859 WITH SCORE 849739.438
AT ITER 4887 NEW BEST:: SOT 13999391 SOS 7882596 HAS SOPS 7881302 HAS SOUS 841812 HAS SOUPS 841187 WITH SCORE 849069.596
AT ITER 4889 NEW BEST:: SOT 13999340 SOS 7882545 HAS SOPS 7881251 HAS SOUS 841763 HAS SOUPS 841138 WITH SCORE 849020.545
AT ITER 4890 NEW BEST:: SOT 14011373 SOS 7911675 HAS SOPS 7910381 HAS SOUS 840929 HAS SOUPS 840304 WITH SCORE 848215.675
AT ITER 4895 NEW BEST:: SOT 14012070 SOS 7912372 HAS SOPS 7911078 HAS SOUS 840109 HAS SOUPS 839484 WITH SCORE 847396.372
AT ITER 4902 NEW BEST:: SOT 14011788 SOS 7912090 HAS SOPS 7910796 HAS SOUS 839875 HAS SOUPS 839250 WITH SCORE 847162.09
AT ITER 4906 NEW BEST:: SOT 14010425 SOS 7929812 HAS SOPS 7928518 HAS SOUS 838883 HAS SOUPS 838258 WITH SCORE 846187.812
AT ITER 4917 NEW BEST:: SOT 14010425 SOS 7929380 HAS SOPS 7928086 HAS SOUS 838883 HAS SOUPS 838258 WITH SCORE 846187.38
AT ITER 4941 NEW BEST:: SOT 14010379 SOS 7929334 HAS SOPS 7928040 HAS SOUS 838753 HAS SOUPS 838128 WITH SCORE 846057.334
AT ITER 4973 NEW BEST:: SOT 14010159 SOS 7929114 HAS SOPS 7927820 HAS SOUS 838533 HAS SOUPS 837908 WITH SCORE 845837.114
AT ITER 4992 NEW BEST:: SOT 14010159 SOS 7927278 HAS SOPS 7925984 HAS SOUS 838533 HAS SOUPS 837908 WITH SCORE 845835.278
AT ITER 5000 NEW BEST:: SOT 14004592 SOS 7921711 HAS SOPS 7920417 HAS SOUS 834563 HAS SOUPS 833938 WITH SCORE 841859.711
AT ITER 5079 NEW BEST:: SOT 14004494 SOS 7921613 HAS SOPS 7920319 HAS SOUS 834546 HAS SOUPS 833921 WITH SCORE 841842.613
AT ITER 5084 NEW BEST:: SOT 14005119 SOS 7922346 HAS SOPS 7921052 HAS SOUS 830020 HAS SOUPS 829395 WITH SCORE 837317.346
AT ITER 5093 NEW BEST:: SOT 14005119 SOS 7925314 HAS SOPS 7923975 HAS SOUS 828290 HAS SOUPS 827620 WITH SCORE 835545.314
AT ITER 5127 NEW BEST:: SOT 14003782 SOS 7923977 HAS SOPS 7922638 HAS SOUS 827336 HAS SOUPS 826666 WITH SCORE 834589.977
AT ITER 5131 NEW BEST:: SOT 14002198 SOS 7922393 HAS SOPS 7921054 HAS SOUS 826188 HAS SOUPS 825518 WITH SCORE 833440.393
AT ITER 5149 NEW BEST:: SOT 14002198 SOS 7922344 HAS SOPS 7921005 HAS SOUS 826139 HAS SOUPS 825469 WITH SCORE 833391.344
AT ITER 5176 NEW BEST:: SOT 14001762 SOS 7921908 HAS SOPS 7920570 HAS SOUS 823042 HAS SOUPS 822372 WITH SCORE 830293.908
AT ITER 5186 NEW BEST:: SOT 14001762 SOS 7921693 HAS SOPS 7920355 HAS SOUS 823042 HAS SOUPS 822372 WITH SCORE 830293.693
AT ITER 5218 NEW BEST:: SOT 14001437 SOS 7921368 HAS SOPS 7920030 HAS SOUS 822815 HAS SOUPS 822145 WITH SCORE 830066.368
AT ITER 5220 NEW BEST:: SOT 14001399 SOS 7921330 HAS SOPS 7919992 HAS SOUS 822755 HAS SOUPS 822085 WITH SCORE 830006.33
AT ITER 5223 NEW BEST:: SOT 14001411 SOS 7921342 HAS SOPS 7920004 HAS SOUS 822661 HAS SOUPS 821991 WITH SCORE 829912.342
AT ITER 5251 NEW BEST:: SOT 14001411 SOS 7921342 HAS SOPS 7920004 HAS SOUS 822637 HAS SOUPS 821967 WITH SCORE 829888.342
AT ITER 5273 NEW BEST:: SOT 14000998 SOS 7920929 HAS SOPS 7919591 HAS SOUS 821854 HAS SOUPS 821184 WITH SCORE 829104.929
AT ITER 5275 NEW BEST:: SOT 14001065 SOS 7920996 HAS SOPS 7919658 HAS SOUS 821794 HAS SOUPS 821124 WITH SCORE 829044.996
AT ITER 5276 NEW BEST:: SOT 14001065 SOS 7920981 HAS SOPS 7919643 HAS SOUS 821779 HAS SOUPS 821109 WITH SCORE 829029.981
AT ITER 5285 NEW BEST:: SOT 13997991 SOS 7917907 HAS SOPS 7916569 HAS SOUS 819820 HAS SOUPS 819150 WITH SCORE 827067.907
AT ITER 5317 NEW BEST:: SOT 13997991 SOS 7917907 HAS SOPS 7916569 HAS SOUS 819747 HAS SOUPS 819077 WITH SCORE 826994.907
AT ITER 5322 NEW BEST:: SOT 13996601 SOS 7911693 HAS SOPS 7910355 HAS SOUS 817355 HAS SOUPS 816685 WITH SCORE 824596.693
AT ITER 5327 NEW BEST:: SOT 13999029 SOS 7914121 HAS SOPS 7912783 HAS SOUS 816244 HAS SOUPS 815574 WITH SCORE 823488.121
AT ITER 5365 NEW BEST:: SOT 13999029 SOS 7913975 HAS SOPS 7912637 HAS SOUS 816171 HAS SOUPS 815501 WITH SCORE 823414.975
AT ITER 5374 NEW BEST:: SOT 13998383 SOS 7913329 HAS SOPS 7911991 HAS SOUS 815751 HAS SOUPS 815081 WITH SCORE 822994.329
AT ITER 5381 NEW BEST:: SOT 13994690 SOS 7909312 HAS SOPS 7907974 HAS SOUS 813250 HAS SOUPS 812580 WITH SCORE 820489.312
AT ITER 5388 NEW BEST:: SOT 13994362 SOS 7908984 HAS SOPS 7907646 HAS SOUS 813007 HAS SOUPS 812337 WITH SCORE 820245.984
AT ITER 5414 NEW BEST:: SOT 13994362 SOS 7909404 HAS SOPS 7908066 HAS SOUS 812987 HAS SOUPS 812317 WITH SCORE 820226.404
AT ITER 5426 NEW BEST:: SOT 13994360 SOS 7909402 HAS SOPS 7908064 HAS SOUS 812987 HAS SOUPS 812317 WITH SCORE 820226.402
AT ITER 5435 NEW BEST:: SOT 13994360 SOS 7906780 HAS SOPS 7905442 HAS SOUS 812949 HAS SOUPS 812279 WITH SCORE 820185.78
AT ITER 5440 NEW BEST:: SOT 13994355 SOS 7906775 HAS SOPS 7905437 HAS SOUS 812945 HAS SOUPS 812275 WITH SCORE 820181.775
AT ITER 5454 NEW BEST:: SOT 13994355 SOS 7905407 HAS SOPS 7904069 HAS SOUS 812905 HAS SOUPS 812235 WITH SCORE 820140.407
AT ITER 5484 NEW BEST:: SOT 13994761 SOS 7905813 HAS SOPS 7904475 HAS SOUS 812441 HAS SOUPS 811771 WITH SCORE 819676.813
AT ITER 5520 NEW BEST:: SOT 13994761 SOS 7904330 HAS SOPS 7902992 HAS SOUS 812423 HAS SOUPS 811753 WITH SCORE 819657.33
AT ITER 5523 NEW BEST:: SOT 13995635 SOS 7905204 HAS SOPS 7903866 HAS SOUS 811967 HAS SOUPS 811297 WITH SCORE 819202.204
AT ITER 5532 NEW BEST:: SOT 13995265 SOS 7904834 HAS SOPS 7903496 HAS SOUS 811798 HAS SOUPS 811128 WITH SCORE 819032.834
AT ITER 5583 NEW BEST:: SOT 13995187 SOS 7904756 HAS SOPS 7903418 HAS SOUS 811781 HAS SOUPS 811111 WITH SCORE 819015.756
AT ITER 5585 NEW BEST:: SOT 13995187 SOS 7901588 HAS SOPS 7900250 HAS SOUS 811781 HAS SOUPS 811111 WITH SCORE 819012.588
AT ITER 5590 NEW BEST:: SOT 13995187 SOS 7898852 HAS SOPS 7897514 HAS SOUS 811781 HAS SOUPS 811111 WITH SCORE 819009.852
AT ITER 5592 NEW BEST:: SOT 13994153 SOS 7897818 HAS SOPS 7896480 HAS SOUS 810747 HAS SOUPS 810077 WITH SCORE 817974.818
AT ITER 5596 NEW BEST:: SOT 13994141 SOS 7897742 HAS SOPS 7896404 HAS SOUS 810747 HAS SOUPS 810077 WITH SCORE 817974.742
AT ITER 5647 NEW BEST:: SOT 13994137 SOS 7897738 HAS SOPS 7896400 HAS SOUS 810743 HAS SOUPS 810073 WITH SCORE 817970.738
AT ITER 5654 NEW BEST:: SOT 13994137 SOS 7901410 HAS SOPS 7900072 HAS SOUS 810692 HAS SOUPS 810022 WITH SCORE 817923.41
AT ITER 5661 NEW BEST:: SOT 13994841 SOS 7902114 HAS SOPS 7900776 HAS SOUS 808560 HAS SOUPS 807890 WITH SCORE 815792.114
AT ITER 5708 NEW BEST:: SOT 14000311 SOS 7914532 HAS SOPS 7913086 HAS SOUS 808161 HAS SOUPS 807416 WITH SCORE 815330.532
AT ITER 5718 NEW BEST:: SOT 14000164 SOS 7914385 HAS SOPS 7912939 HAS SOUS 808088 HAS SOUPS 807343 WITH SCORE 815257.385
AT ITER 5726 NEW BEST:: SOT 13998794 SOS 7918814 HAS SOPS 7917368 HAS SOUS 807687 HAS SOUPS 806942 WITH SCORE 814860.814
AT ITER 5767 NEW BEST:: SOT 13999838 SOS 7923664 HAS SOPS 7922186 HAS SOUS 807698 HAS SOUPS 806921 WITH SCORE 814844.664
AT ITER 5778 NEW BEST:: SOT 14000321 SOS 7924147 HAS SOPS 7922669 HAS SOUS 807628 HAS SOUPS 806851 WITH SCORE 814775.147
AT ITER 5789 NEW BEST:: SOT 14000277 SOS 7924103 HAS SOPS 7922625 HAS SOUS 807540 HAS SOUPS 806763 WITH SCORE 814687.103
AT ITER 5790 NEW BEST:: SOT 14000277 SOS 7923877 HAS SOPS 7922399 HAS SOUS 807427 HAS SOUPS 806650 WITH SCORE 814573.877
AT ITER 5791 NEW BEST:: SOT 14000277 SOS 7921030 HAS SOPS 7919552 HAS SOUS 807427 HAS SOUPS 806650 WITH SCORE 814571.03
AT ITER 5802 NEW BEST:: SOT 14001025 SOS 7919074 HAS SOPS 7917730 HAS SOUS 802251 HAS SOUPS 801520 WITH SCORE 809439.074
AT ITER 5806 NEW BEST:: SOT 14000152 SOS 7918201 HAS SOPS 7916857 HAS SOUS 802065 HAS SOUPS 801334 WITH SCORE 809252.201
AT ITER 5827 NEW BEST:: SOT 14000074 SOS 7918123 HAS SOPS 7916779 HAS SOUS 801744 HAS SOUPS 801013 WITH SCORE 808931.123
AT ITER 5840 NEW BEST:: SOT 14000093 SOS 7918142 HAS SOPS 7916798 HAS SOUS 801691 HAS SOUPS 800960 WITH SCORE 808878.142
AT ITER 5851 NEW BEST:: SOT 14001120 SOS 7919169 HAS SOPS 7917825 HAS SOUS 801370 HAS SOUPS 800639 WITH SCORE 808558.169
AT ITER 5874 NEW BEST:: SOT 14001987 SOS 7920036 HAS SOPS 7918692 HAS SOUS 801007 HAS SOUPS 800276 WITH SCORE 808196.036
AT ITER 5884 NEW BEST:: SOT 14003647 SOS 7922397 HAS SOPS 7921053 HAS SOUS 800983 HAS SOUPS 800252 WITH SCORE 808174.397
AT ITER 5889 NEW BEST:: SOT 14004630 SOS 7933997 HAS SOPS 7932822 HAS SOUS 796873 HAS SOUPS 796142 WITH SCORE 804075.997
AT ITER 5897 NEW BEST:: SOT 14007626 SOS 7935119 HAS SOPS 7933976 HAS SOUS 793170 HAS SOUPS 792471 WITH SCORE 800406.119
AT ITER 5911 NEW BEST:: SOT 14007610 SOS 7935103 HAS SOPS 7933960 HAS SOUS 793154 HAS SOUPS 792455 WITH SCORE 800390.103
AT ITER 5940 NEW BEST:: SOT 14005832 SOS 7944291 HAS SOPS 7943163 HAS SOUS 792589 HAS SOUPS 791890 WITH SCORE 799834.291
AT ITER 5966 NEW BEST:: SOT 14007178 SOS 7945637 HAS SOPS 7944509 HAS SOUS 791275 HAS SOUPS 790576 WITH SCORE 798521.637
AT ITER 5982 NEW BEST:: SOT 14006107 SOS 7944566 HAS SOPS 7943438 HAS SOUS 791006 HAS SOUPS 790307 WITH SCORE 798251.566
AT ITER 6019 NEW BEST:: SOT 14006110 SOS 7944569 HAS SOPS 7943441 HAS SOUS 791003 HAS SOUPS 790304 WITH SCORE 798248.569
AT ITER 6044 NEW BEST:: SOT 14006100 SOS 7944559 HAS SOPS 7943431 HAS SOUS 790993 HAS SOUPS 790294 WITH SCORE 798238.559
AT ITER 6058 NEW BEST:: SOT 14006592 SOS 7945147 HAS SOPS 7944019 HAS SOUS 790269 HAS SOUPS 789570 WITH SCORE 797515.147
AT ITER 6065 NEW BEST:: SOT 14006508 SOS 7945063 HAS SOPS 7943935 HAS SOUS 790223 HAS SOUPS 789524 WITH SCORE 797469.063
AT ITER 6069 NEW BEST:: SOT 14006508 SOS 7945063 HAS SOPS 7943935 HAS SOUS 790199 HAS SOUPS 789500 WITH SCORE 797445.063
AT ITER 6086 NEW BEST:: SOT 14005311 SOS 7942155 HAS SOPS 7940898 HAS SOUS 789909 HAS SOUPS 789081 WITH SCORE 797023.155
AT ITER 6172 NEW BEST:: SOT 14004969 SOS 7941813 HAS SOPS 7940556 HAS SOUS 789078 HAS SOUPS 788250 WITH SCORE 796191.813
AT ITER 6183 NEW BEST:: SOT 14001523 SOS 7938367 HAS SOPS 7937110 HAS SOUS 786192 HAS SOUPS 785364 WITH SCORE 793302.367
AT ITER 6197 NEW BEST:: SOT 14003590 SOS 7940434 HAS SOPS 7939177 HAS SOUS 784095 HAS SOUPS 783267 WITH SCORE 791207.434
AT ITER 6209 NEW BEST:: SOT 14003285 SOS 7940090 HAS SOPS 7938833 HAS SOUS 783113 HAS SOUPS 782285 WITH SCORE 790225.09
AT ITER 6225 NEW BEST:: SOT 14003285 SOS 7938522 HAS SOPS 7937265 HAS SOUS 783057 HAS SOUPS 782229 WITH SCORE 790167.522
AT ITER 6245 NEW BEST:: SOT 14003285 SOS 7938042 HAS SOPS 7936785 HAS SOUS 783017 HAS SOUPS 782189 WITH SCORE 790127.042
AT ITER 6278 NEW BEST:: SOT 14003285 SOS 7938042 HAS SOPS 7936785 HAS SOUS 782953 HAS SOUPS 782125 WITH SCORE 790063.042
AT ITER 6314 NEW BEST:: SOT 14001898 SOS 7936655 HAS SOPS 7935398 HAS SOUS 781896 HAS SOUPS 781068 WITH SCORE 789004.655
AT ITER 6325 NEW BEST:: SOT 14001719 SOS 7936476 HAS SOPS 7935219 HAS SOUS 781527 HAS SOUPS 780699 WITH SCORE 788635.476
AT ITER 6366 NEW BEST:: SOT 13998488 SOS 7933245 HAS SOPS 7931988 HAS SOUS 779630 HAS SOUPS 778802 WITH SCORE 786735.245
AT ITER 6367 NEW BEST:: SOT 13999356 SOS 7934113 HAS SOPS 7932856 HAS SOUS 779004 HAS SOUPS 778176 WITH SCORE 786110.113
AT ITER 6374 NEW BEST:: SOT 13999356 SOS 7934113 HAS SOPS 7932856 HAS SOUS 778987 HAS SOUPS 778159 WITH SCORE 786093.113
AT ITER 6380 NEW BEST:: SOT 13993244 SOS 7932157 HAS SOPS 7930900 HAS SOUS 773634 HAS SOUPS 772806 WITH SCORE 780738.157
AT ITER 6400 NEW BEST:: SOT 13993200 SOS 7932789 HAS SOPS 7931532 HAS SOUS 773384 HAS SOUPS 772556 WITH SCORE 780488.789
AT ITER 6417 NEW BEST:: SOT 13993199 SOS 7932788 HAS SOPS 7931531 HAS SOUS 773383 HAS SOUPS 772555 WITH SCORE 780487.788
AT ITER 6426 NEW BEST:: SOT 13993199 SOS 7932716 HAS SOPS 7931459 HAS SOUS 773232 HAS SOUPS 772404 WITH SCORE 780336.716
AT ITER 6433 NEW BEST:: SOT 13989399 SOS 7928916 HAS SOPS 7927659 HAS SOUS 770689 HAS SOUPS 769861 WITH SCORE 777789.916
AT ITER 6459 NEW BEST:: SOT 13989399 SOS 7928686 HAS SOPS 7927429 HAS SOUS 770669 HAS SOUPS 769841 WITH SCORE 777769.686
AT ITER 6529 NEW BEST:: SOT 13989399 SOS 7935814 HAS SOPS 7934557 HAS SOUS 770538 HAS SOUPS 769710 WITH SCORE 777645.814
AT ITER 6533 NEW BEST:: SOT 13989399 SOS 7936452 HAS SOPS 7935195 HAS SOUS 770425 HAS SOUPS 769597 WITH SCORE 777533.452
AT ITER 6623 NEW BEST:: SOT 13983265 SOS 7930200 HAS SOPS 7928899 HAS SOUS 769999 HAS SOUPS 769171 WITH SCORE 777101.2
AT ITER 6658 NEW BEST:: SOT 13980104 SOS 7918519 HAS SOPS 7917218 HAS SOUS 764924 HAS SOUPS 764096 WITH SCORE 772014.519
AT ITER 6661 NEW BEST:: SOT 13979792 SOS 7918207 HAS SOPS 7916906 HAS SOUS 763318 HAS SOUPS 762490 WITH SCORE 770408.207
AT ITER 6669 NEW BEST:: SOT 13979753 SOS 7918168 HAS SOPS 7916867 HAS SOUS 763292 HAS SOUPS 762464 WITH SCORE 770382.168
AT ITER 6684 NEW BEST:: SOT 13979747 SOS 7908370 HAS SOPS 7907069 HAS SOUS 763265 HAS SOUPS 762437 WITH SCORE 770345.37
AT ITER 6723 NEW BEST:: SOT 13980275 SOS 7908898 HAS SOPS 7907597 HAS SOUS 762769 HAS SOUPS 761941 WITH SCORE 769849.898
AT ITER 6731 NEW BEST:: SOT 13975026 SOS 7903649 HAS SOPS 7902348 HAS SOUS 761102 HAS SOUPS 760274 WITH SCORE 768177.649
AT ITER 6736 NEW BEST:: SOT 13975026 SOS 7901133 HAS SOPS 7899832 HAS SOUS 761102 HAS SOUPS 760274 WITH SCORE 768175.133
AT ITER 6857 NEW BEST:: SOT 13974999 SOS 7899234 HAS SOPS 7897933 HAS SOUS 761102 HAS SOUPS 760274 WITH SCORE 768173.234
AT ITER 6868 NEW BEST:: SOT 13974999 SOS 7897722 HAS SOPS 7896421 HAS SOUS 761102 HAS SOUPS 760274 WITH SCORE 768171.722
AT ITER 6882 NEW BEST:: SOT 13974694 SOS 7897417 HAS SOPS 7896116 HAS SOUS 760561 HAS SOUPS 759733 WITH SCORE 767630.417
AT ITER 6890 NEW BEST:: SOT 13974694 SOS 7897057 HAS SOPS 7895756 HAS SOUS 760556 HAS SOUPS 759728 WITH SCORE 767625.057
AT ITER 6892 NEW BEST:: SOT 13975212 SOS 7893952 HAS SOPS 7892762 HAS SOUS 758098 HAS SOUPS 757329 WITH SCORE 765222.952
AT ITER 6931 NEW BEST:: SOT 13972305 SOS 7891045 HAS SOPS 7889855 HAS SOUS 757011 HAS SOUPS 756242 WITH SCORE 764133.045
AT ITER 6992 NEW BEST:: SOT 13977865 SOS 7904957 HAS SOPS 7903767 HAS SOUS 755551 HAS SOUPS 754782 WITH SCORE 762686.957
AT ITER 7032 NEW BEST:: SOT 13980511 SOS 7907643 HAS SOPS 7906453 HAS SOUS 755516 HAS SOUPS 754747 WITH SCORE 762654.643
AT ITER 7064 NEW BEST:: SOT 13980577 SOS 7907709 HAS SOPS 7906519 HAS SOUS 755439 HAS SOUPS 754670 WITH SCORE 762577.709
AT ITER 7065 NEW BEST:: SOT 13977004 SOS 7904136 HAS SOPS 7902946 HAS SOUS 755281 HAS SOUPS 754512 WITH SCORE 762416.136
AT ITER 7066 NEW BEST:: SOT 13975190 SOS 7902322 HAS SOPS 7901132 HAS SOUS 754106 HAS SOUPS 753337 WITH SCORE 761239.322
AT ITER 7084 NEW BEST:: SOT 13975187 SOS 7902319 HAS SOPS 7901129 HAS SOUS 754103 HAS SOUPS 753334 WITH SCORE 761236.319
AT ITER 7120 NEW BEST:: SOT 13975094 SOS 7902226 HAS SOPS 7901036 HAS SOUS 754010 HAS SOUPS 753241 WITH SCORE 761143.226
AT ITER 7122 NEW BEST:: SOT 13975044 SOS 7902176 HAS SOPS 7900986 HAS SOUS 753960 HAS SOUPS 753191 WITH SCORE 761093.176
AT ITER 7127 NEW BEST:: SOT 13975044 SOS 7898360 HAS SOPS 7897170 HAS SOUS 753960 HAS SOUPS 753191 WITH SCORE 761089.36
AT ITER 7128 NEW BEST:: SOT 13974794 SOS 7898110 HAS SOPS 7896920 HAS SOUS 753600 HAS SOUPS 752831 WITH SCORE 760729.11
AT ITER 7140 NEW BEST:: SOT 13974002 SOS 7897362 HAS SOPS 7896163 HAS SOUS 753380 HAS SOUPS 752602 WITH SCORE 760499.362
AT ITER 7152 NEW BEST:: SOT 13974002 SOS 7896543 HAS SOPS 7895344 HAS SOUS 753341 HAS SOUPS 752563 WITH SCORE 760459.543
AT ITER 7160 NEW BEST:: SOT 13974001 SOS 7896542 HAS SOPS 7895343 HAS SOUS 753340 HAS SOUPS 752562 WITH SCORE 760458.542
AT ITER 7212 NEW BEST:: SOT 13974001 SOS 7896542 HAS SOPS 7895343 HAS SOUS 753333 HAS SOUPS 752555 WITH SCORE 760451.542
AT ITER 7220 NEW BEST:: SOT 13973770 SOS 7929006 HAS SOPS 7927807 HAS SOUS 750624 HAS SOUPS 749846 WITH SCORE 757775.006
AT ITER 7224 NEW BEST:: SOT 13970790 SOS 7925882 HAS SOPS 7924683 HAS SOUS 749848 HAS SOUPS 749070 WITH SCORE 756995.882
AT ITER 7227 NEW BEST:: SOT 13970565 SOS 7925657 HAS SOPS 7924458 HAS SOUS 749664 HAS SOUPS 748886 WITH SCORE 756811.657
AT ITER 7270 NEW BEST:: SOT 13970565 SOS 7925657 HAS SOPS 7924458 HAS SOUS 749612 HAS SOUPS 748834 WITH SCORE 756759.657
AT ITER 7275 NEW BEST:: SOT 13970565 SOS 7920158 HAS SOPS 7918959 HAS SOUS 749536 HAS SOUPS 748758 WITH SCORE 756678.158
AT ITER 7281 NEW BEST:: SOT 13970540 SOS 7920133 HAS SOPS 7918934 HAS SOUS 749509 HAS SOUPS 748731 WITH SCORE 756651.133
AT ITER 7295 NEW BEST:: SOT 13970496 SOS 7920089 HAS SOPS 7918890 HAS SOUS 749509 HAS SOUPS 748731 WITH SCORE 756651.089
AT ITER 7301 NEW BEST:: SOT 13970462 SOS 7920055 HAS SOPS 7918856 HAS SOUS 749439 HAS SOUPS 748661 WITH SCORE 756581.055
AT ITER 7309 NEW BEST:: SOT 13970462 SOS 7920054 HAS SOPS 7918855 HAS SOUS 749438 HAS SOUPS 748660 WITH SCORE 756580.054
AT ITER 7377 NEW BEST:: SOT 13970462 SOS 7920054 HAS SOPS 7918855 HAS SOUS 749401 HAS SOUPS 748623 WITH SCORE 756543.054
AT ITER 7438 NEW BEST:: SOT 13970462 SOS 7920069 HAS SOPS 7918870 HAS SOUS 749378 HAS SOUPS 748600 WITH SCORE 756520.069
AT ITER 7451 NEW BEST:: SOT 13969807 SOS 7919414 HAS SOPS 7918215 HAS SOUS 749130 HAS SOUPS 748352 WITH SCORE 756271.414
AT ITER 7548 NEW BEST:: SOT 13969191 SOS 7921045 HAS SOPS 7919846 HAS SOUS 748983 HAS SOUPS 748205 WITH SCORE 756126.045
AT ITER 7592 NEW BEST:: SOT 13969060 SOS 7920914 HAS SOPS 7919715 HAS SOUS 748879 HAS SOUPS 748101 WITH SCORE 756021.914
AT ITER 7594 NEW BEST:: SOT 13974858 SOS 7926712 HAS SOPS 7925513 HAS SOUS 747409 HAS SOUPS 746631 WITH SCORE 754557.712
AT ITER 7609 NEW BEST:: SOT 13974858 SOS 7924552 HAS SOPS 7923353 HAS SOUS 747409 HAS SOUPS 746631 WITH SCORE 754555.552
AT ITER 7644 NEW BEST:: SOT 13974816 SOS 7924510 HAS SOPS 7923311 HAS SOUS 747346 HAS SOUPS 746568 WITH SCORE 754492.51
AT ITER 7650 NEW BEST:: SOT 13974808 SOS 7924502 HAS SOPS 7923303 HAS SOUS 747346 HAS SOUPS 746568 WITH SCORE 754492.502
AT ITER 7689 NEW BEST:: SOT 13975744 SOS 7925438 HAS SOPS 7924239 HAS SOUS 746617 HAS SOUPS 745839 WITH SCORE 753764.438
AT ITER 7693 NEW BEST:: SOT 13975692 SOS 7925386 HAS SOPS 7924187 HAS SOUS 746569 HAS SOUPS 745791 WITH SCORE 753716.386
AT ITER 7715 NEW BEST:: SOT 13975591 SOS 7925285 HAS SOPS 7924086 HAS SOUS 746471 HAS SOUPS 745693 WITH SCORE 753618.285
AT ITER 7718 NEW BEST:: SOT 13975624 SOS 7925315 HAS SOPS 7924116 HAS SOUS 746392 HAS SOUPS 745614 WITH SCORE 753539.315
AT ITER 7737 NEW BEST:: SOT 13975626 SOS 7925346 HAS SOPS 7924147 HAS SOUS 746231 HAS SOUPS 745453 WITH SCORE 753378.346
AT ITER 7746 NEW BEST:: SOT 13976095 SOS 7925815 HAS SOPS 7924616 HAS SOUS 746025 HAS SOUPS 745247 WITH SCORE 753172.815
AT ITER 7764 NEW BEST:: SOT 13975557 SOS 7925249 HAS SOPS 7924050 HAS SOUS 745988 HAS SOUPS 745210 WITH SCORE 753135.249
AT ITER 7768 NEW BEST:: SOT 13975557 SOS 7919659 HAS SOPS 7918460 HAS SOUS 745855 HAS SOUPS 745077 WITH SCORE 752996.659
AT ITER 7829 NEW BEST:: SOT 13971539 SOS 7915641 HAS SOPS 7914442 HAS SOUS 745658 HAS SOUPS 744880 WITH SCORE 752795.641
AT ITER 7835 NEW BEST:: SOT 13971539 SOS 7917297 HAS SOPS 7916098 HAS SOUS 745635 HAS SOUPS 744857 WITH SCORE 752774.297
AT ITER 7922 NEW BEST:: SOT 13971533 SOS 7914235 HAS SOPS 7913036 HAS SOUS 745629 HAS SOUPS 744851 WITH SCORE 752765.235
AT ITER 7949 NEW BEST:: SOT 13971533 SOS 7912075 HAS SOPS 7910876 HAS SOUS 745629 HAS SOUPS 744851 WITH SCORE 752763.075
AT ITER 7961 NEW BEST:: SOT 13970338 SOS 7910880 HAS SOPS 7909681 HAS SOUS 744854 HAS SOUPS 744076 WITH SCORE 751986.88
AT ITER 7971 NEW BEST:: SOT 13970342 SOS 7910884 HAS SOPS 7909685 HAS SOUS 744850 HAS SOUPS 744072 WITH SCORE 751982.884
AT ITER 7973 NEW BEST:: SOT 13970292 SOS 7910834 HAS SOPS 7909635 HAS SOUS 744806 HAS SOUPS 744028 WITH SCORE 751938.834
AT ITER 7980 NEW BEST:: SOT 13970292 SOS 7910768 HAS SOPS 7909569 HAS SOUS 744725 HAS SOUPS 743947 WITH SCORE 751857.768
AT ITER 8020 NEW BEST:: SOT 13970418 SOS 7910894 HAS SOPS 7909695 HAS SOUS 742423 HAS SOUPS 741645 WITH SCORE 749555.894
AT ITER 8044 NEW BEST:: SOT 13971251 SOS 7940909 HAS SOPS 7939710 HAS SOUS 739656 HAS SOUPS 738878 WITH SCORE 746818.909
AT ITER 8157 NEW BEST:: SOT 13970786 SOS 7940470 HAS SOPS 7939271 HAS SOUS 739096 HAS SOUPS 738318 WITH SCORE 746258.47
AT ITER 8176 NEW BEST:: SOT 13970786 SOS 7940338 HAS SOPS 7939139 HAS SOUS 739079 HAS SOUPS 738301 WITH SCORE 746241.338
AT ITER 8183 NEW BEST:: SOT 13970485 SOS 7940037 HAS SOPS 7938838 HAS SOUS 738480 HAS SOUPS 737702 WITH SCORE 745642.037
AT ITER 8221 NEW BEST:: SOT 13970480 SOS 7940032 HAS SOPS 7938833 HAS SOUS 738475 HAS SOUPS 737697 WITH SCORE 745637.032
AT ITER 8222 NEW BEST:: SOT 13970480 SOS 7935208 HAS SOPS 7934009 HAS SOUS 738068 HAS SOUPS 737290 WITH SCORE 745225.208
AT ITER 8283 NEW BEST:: SOT 13970334 SOS 7935062 HAS SOPS 7933863 HAS SOUS 737952 HAS SOUPS 737174 WITH SCORE 745109.062
AT ITER 8291 NEW BEST:: SOT 13970301 SOS 7935029 HAS SOPS 7933830 HAS SOUS 737877 HAS SOUPS 737099 WITH SCORE 745034.029
AT ITER 8365 NEW BEST:: SOT 13972401 SOS 7938894 HAS SOPS 7937695 HAS SOUS 736749 HAS SOUPS 735971 WITH SCORE 743909.894
AT ITER 8383 NEW BEST:: SOT 13972472 SOS 7938965 HAS SOPS 7937766 HAS SOUS 736734 HAS SOUPS 735956 WITH SCORE 743894.965
AT ITER 8401 NEW BEST:: SOT 13972812 SOS 7968099 HAS SOPS 7966900 HAS SOUS 735085 HAS SOUPS 734307 WITH SCORE 742275.099
AT ITER 8402 NEW BEST:: SOT 13972812 SOS 7968020 HAS SOPS 7966821 HAS SOUS 735006 HAS SOUPS 734228 WITH SCORE 742196.02
AT ITER 8407 NEW BEST:: SOT 13972812 SOS 7963484 HAS SOPS 7962285 HAS SOUS 734934 HAS SOUPS 734156 WITH SCORE 742119.484
AT ITER 8437 NEW BEST:: SOT 13969509 SOS 7960181 HAS SOPS 7958982 HAS SOUS 732656 HAS SOUPS 731878 WITH SCORE 739838.181
AT ITER 8485 NEW BEST:: SOT 13979129 SOS 7974327 HAS SOPS 7973128 HAS SOUS 732542 HAS SOUPS 731764 WITH SCORE 739738.327
AT ITER 8539 NEW BEST:: SOT 13979142 SOS 7974340 HAS SOPS 7973141 HAS SOUS 732529 HAS SOUPS 731751 WITH SCORE 739725.34
AT ITER 8553 NEW BEST:: SOT 13979142 SOS 7973661 HAS SOPS 7972462 HAS SOUS 732466 HAS SOUPS 731688 WITH SCORE 739661.661
AT ITER 8576 NEW BEST:: SOT 13976727 SOS 7971246 HAS SOPS 7970047 HAS SOUS 732187 HAS SOUPS 731409 WITH SCORE 739380.246
AT ITER 8655 NEW BEST:: SOT 13976579 SOS 7973285 HAS SOPS 7972086 HAS SOUS 731602 HAS SOUPS 730824 WITH SCORE 738797.285
AT ITER 8661 NEW BEST:: SOT 13976414 SOS 7973120 HAS SOPS 7971921 HAS SOUS 731347 HAS SOUPS 730569 WITH SCORE 738542.12
AT ITER 8693 NEW BEST:: SOT 13976414 SOS 7972227 HAS SOPS 7971028 HAS SOUS 731247 HAS SOUPS 730469 WITH SCORE 738441.227
AT ITER 8725 NEW BEST:: SOT 13974878 SOS 7970691 HAS SOPS 7969492 HAS SOUS 730963 HAS SOUPS 730185 WITH SCORE 738155.691
AT ITER 8726 NEW BEST:: SOT 13974483 SOS 7970296 HAS SOPS 7969097 HAS SOUS 730615 HAS SOUPS 729837 WITH SCORE 737807.296
AT ITER 8746 NEW BEST:: SOT 13974365 SOS 7970849 HAS SOPS 7969713 HAS SOUS 729897 HAS SOUPS 729182 WITH SCORE 737152.849
AT ITER 8758 NEW BEST:: SOT 13974362 SOS 7970846 HAS SOPS 7969710 HAS SOUS 729893 HAS SOUPS 729178 WITH SCORE 737148.846
AT ITER 8779 NEW BEST:: SOT 13976225 SOS 7972943 HAS SOPS 7971807 HAS SOUS 729682 HAS SOUPS 728967 WITH SCORE 736939.943
AT ITER 8780 NEW BEST:: SOT 13976225 SOS 7972727 HAS SOPS 7971591 HAS SOUS 729682 HAS SOUPS 728967 WITH SCORE 736939.727
AT ITER 8782 NEW BEST:: SOT 13976225 SOS 7973159 HAS SOPS 7972023 HAS SOUS 729615 HAS SOUPS 728900 WITH SCORE 736873.159
AT ITER 8783 NEW BEST:: SOT 13975985 SOS 7972917 HAS SOPS 7971781 HAS SOUS 729382 HAS SOUPS 728667 WITH SCORE 736639.917
AT ITER 8790 NEW BEST:: SOT 13970975 SOS 7967907 HAS SOPS 7966771 HAS SOUS 725610 HAS SOUPS 724895 WITH SCORE 732862.907
AT ITER 8808 NEW BEST:: SOT 13970975 SOS 7970859 HAS SOPS 7969723 HAS SOUS 725555 HAS SOUPS 724840 WITH SCORE 732810.859
AT ITER 8813 NEW BEST:: SOT 13972679 SOS 7996473 HAS SOPS 7995337 HAS SOUS 723371 HAS SOUPS 722656 WITH SCORE 730652.473
AT ITER 8836 NEW BEST:: SOT 13971917 SOS 7995711 HAS SOPS 7994575 HAS SOUS 723324 HAS SOUPS 722609 WITH SCORE 730604.711
AT ITER 8865 NEW BEST:: SOT 13971829 SOS 7995623 HAS SOPS 7994487 HAS SOUS 723236 HAS SOUPS 722521 WITH SCORE 730516.623
AT ITER 8867 NEW BEST:: SOT 13971784 SOS 7995578 HAS SOPS 7994442 HAS SOUS 723191 HAS SOUPS 722476 WITH SCORE 730471.578
AT ITER 8868 NEW BEST:: SOT 13971785 SOS 8001505 HAS SOPS 8000369 HAS SOUS 723082 HAS SOUPS 722367 WITH SCORE 730368.505
AT ITER 8904 NEW BEST:: SOT 13971785 SOS 8001499 HAS SOPS 8000363 HAS SOUS 723079 HAS SOUPS 722364 WITH SCORE 730365.499
AT ITER 8926 NEW BEST:: SOT 13971785 SOS 8000475 HAS SOPS 7999339 HAS SOUS 723077 HAS SOUPS 722362 WITH SCORE 730362.475
AT ITER 8932 NEW BEST:: SOT 13971785 SOS 7999745 HAS SOPS 7998609 HAS SOUS 723067 HAS SOUPS 722352 WITH SCORE 730351.745
AT ITER 8985 NEW BEST:: SOT 13971056 SOS 7999016 HAS SOPS 7997880 HAS SOUS 722525 HAS SOUPS 721810 WITH SCORE 729809.016
AT ITER 9003 NEW BEST:: SOT 13973299 SOS 8001259 HAS SOPS 8000123 HAS SOUS 720745 HAS SOUPS 720030 WITH SCORE 728031.259
AT ITER 9015 NEW BEST:: SOT 13973299 SOS 8000403 HAS SOPS 7999267 HAS SOUS 720745 HAS SOUPS 720030 WITH SCORE 728030.403
AT ITER 9099 NEW BEST:: SOT 13968711 SOS 7995815 HAS SOPS 7994679 HAS SOUS 717076 HAS SOUPS 716361 WITH SCORE 724356.815
AT ITER 9109 NEW BEST:: SOT 13973566 SOS 8000670 HAS SOPS 7999534 HAS SOUS 717002 HAS SOUPS 716287 WITH SCORE 724287.67
AT ITER 9111 NEW BEST:: SOT 13973566 SOS 8000166 HAS SOPS 7999030 HAS SOUS 716995 HAS SOUPS 716280 WITH SCORE 724280.166
AT ITER 9113 NEW BEST:: SOT 13973566 SOS 8000125 HAS SOPS 7998989 HAS SOUS 716954 HAS SOUPS 716239 WITH SCORE 724239.125
AT ITER 9135 NEW BEST:: SOT 13973566 SOS 7999135 HAS SOPS 7997999 HAS SOUS 716909 HAS SOUPS 716194 WITH SCORE 724193.135
AT ITER 9154 NEW BEST:: SOT 13964508 SOS 7990077 HAS SOPS 7988905 HAS SOUS 715529 HAS SOUPS 714814 WITH SCORE 722804.077
AT ITER 9173 NEW BEST:: SOT 13964508 SOS 7990077 HAS SOPS 7988905 HAS SOUS 715492 HAS SOUPS 714777 WITH SCORE 722767.077
AT ITER 9178 NEW BEST:: SOT 13965031 SOS 7990600 HAS SOPS 7989428 HAS SOUS 715392 HAS SOUPS 714677 WITH SCORE 722667.6
AT ITER 9293 NEW BEST:: SOT 13965031 SOS 7990465 HAS SOPS 7989293 HAS SOUS 715384 HAS SOUPS 714669 WITH SCORE 722659.465
AT ITER 9297 NEW BEST:: SOT 13965031 SOS 7990343 HAS SOPS 7989171 HAS SOUS 715323 HAS SOUPS 714608 WITH SCORE 722598.343
AT ITER 9321 NEW BEST:: SOT 13965031 SOS 7990156 HAS SOPS 7988984 HAS SOUS 715323 HAS SOUPS 714608 WITH SCORE 722598.156
AT ITER 9326 NEW BEST:: SOT 13965031 SOS 7987698 HAS SOPS 7986526 HAS SOUS 715285 HAS SOUPS 714570 WITH SCORE 722557.698
AT ITER 9329 NEW BEST:: SOT 13965031 SOS 7987698 HAS SOPS 7986526 HAS SOUS 715276 HAS SOUPS 714561 WITH SCORE 722548.698
AT ITER 9344 NEW BEST:: SOT 13967828 SOS 8013552 HAS SOPS 8012380 HAS SOUS 714700 HAS SOUPS 713985 WITH SCORE 721998.552
AT ITER 9376 NEW BEST:: SOT 13967767 SOS 8013491 HAS SOPS 8012319 HAS SOUS 714581 HAS SOUPS 713866 WITH SCORE 721879.491
AT ITER 9379 NEW BEST:: SOT 13967784 SOS 7978273 HAS SOPS 7977101 HAS SOUS 714598 HAS SOUPS 713883 WITH SCORE 721861.273
AT ITER 9389 NEW BEST:: SOT 13967603 SOS 7976088 HAS SOPS 7975327 HAS SOUS 710508 HAS SOUPS 710063 WITH SCORE 718039.088
AT ITER 9420 NEW BEST:: SOT 13967591 SOS 7976076 HAS SOPS 7975315 HAS SOUS 710496 HAS SOUPS 710051 WITH SCORE 718027.076
AT ITER 9470 NEW BEST:: SOT 13968747 SOS 7977616 HAS SOPS 7976855 HAS SOUS 710091 HAS SOUPS 709646 WITH SCORE 717623.616
AT ITER 9478 NEW BEST:: SOT 13963376 SOS 7972245 HAS SOPS 7971484 HAS SOUS 708512 HAS SOUPS 708067 WITH SCORE 716039.245
AT ITER 9485 NEW BEST:: SOT 13963375 SOS 7972244 HAS SOPS 7971483 HAS SOUS 708511 HAS SOUPS 708066 WITH SCORE 716038.244
AT ITER 9491 NEW BEST:: SOT 13963213 SOS 7972082 HAS SOPS 7971321 HAS SOUS 708267 HAS SOUPS 707822 WITH SCORE 715794.082
AT ITER 9527 NEW BEST:: SOT 13966891 SOS 7975760 HAS SOPS 7974999 HAS SOUS 708141 HAS SOUPS 707696 WITH SCORE 715671.76
AT ITER 9569 NEW BEST:: SOT 13967040 SOS 7975572 HAS SOPS 7974858 HAS SOUS 707278 HAS SOUPS 706880 WITH SCORE 714855.572
AT ITER 9591 NEW BEST:: SOT 13968336 SOS 7980895 HAS SOPS 7980121 HAS SOUS 706348 HAS SOUPS 705920 WITH SCORE 713900.895
AT ITER 9609 NEW BEST:: SOT 13968297 SOS 7980856 HAS SOPS 7980082 HAS SOUS 706330 HAS SOUPS 705902 WITH SCORE 713882.856
AT ITER 9635 NEW BEST:: SOT 13968297 SOS 7979056 HAS SOPS 7978282 HAS SOUS 706330 HAS SOUPS 705902 WITH SCORE 713881.056
AT ITER 9638 NEW BEST:: SOT 13963460 SOS 7974219 HAS SOPS 7973445 HAS SOUS 702559 HAS SOUPS 702131 WITH SCORE 710105.219
AT ITER 9674 NEW BEST:: SOT 13964943 SOS 7975702 HAS SOPS 7974928 HAS SOUS 702318 HAS SOUPS 701890 WITH SCORE 709865.702
AT ITER 9675 NEW BEST:: SOT 13965174 SOS 7976246 HAS SOPS 7975511 HAS SOUS 702134 HAS SOUPS 701745 WITH SCORE 709721.246
AT ITER 9681 NEW BEST:: SOT 13965174 SOS 7976216 HAS SOPS 7975481 HAS SOUS 702119 HAS SOUPS 701730 WITH SCORE 709706.216
AT ITER 9686 NEW BEST:: SOT 13965918 SOS 7976960 HAS SOPS 7976225 HAS SOUS 702056 HAS SOUPS 701667 WITH SCORE 709643.96
AT ITER 9693 NEW BEST:: SOT 13964342 SOS 7975384 HAS SOPS 7974649 HAS SOUS 700783 HAS SOUPS 700394 WITH SCORE 708369.384
AT ITER 9715 NEW BEST:: SOT 13964342 SOS 7970848 HAS SOPS 7970113 HAS SOUS 700729 HAS SOUPS 700340 WITH SCORE 708310.848
AT ITER 9723 NEW BEST:: SOT 13963732 SOS 7970238 HAS SOPS 7969503 HAS SOUS 700194 HAS SOUPS 699805 WITH SCORE 707775.238
AT ITER 9773 NEW BEST:: SOT 13963479 SOS 7969985 HAS SOPS 7969250 HAS SOUS 700015 HAS SOUPS 699626 WITH SCORE 707595.985
AT ITER 9775 NEW BEST:: SOT 13963479 SOS 7969986 HAS SOPS 7969251 HAS SOUS 700014 HAS SOUPS 699625 WITH SCORE 707594.986
AT ITER 9785 NEW BEST:: SOT 13963426 SOS 7969933 HAS SOPS 7969198 HAS SOUS 699980 HAS SOUPS 699591 WITH SCORE 707560.933
AT ITER 9833 NEW BEST:: SOT 13963390 SOS 7969897 HAS SOPS 7969162 HAS SOUS 699944 HAS SOUPS 699555 WITH SCORE 707524.897
AT ITER 9837 NEW BEST:: SOT 13960714 SOS 7967221 HAS SOPS 7966486 HAS SOUS 699522 HAS SOUPS 699133 WITH SCORE 707100.221
AT ITER 9845 NEW BEST:: SOT 13960028 SOS 7966535 HAS SOPS 7965800 HAS SOUS 697732 HAS SOUPS 697343 WITH SCORE 705309.535
AT ITER 9857 NEW BEST:: SOT 13961054 SOS 7967693 HAS SOPS 7966958 HAS SOUS 697300 HAS SOUPS 696911 WITH SCORE 704878.693
AT ITER 9886 NEW BEST:: SOT 13961032 SOS 7967671 HAS SOPS 7966936 HAS SOUS 697278 HAS SOUPS 696889 WITH SCORE 704856.671
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10827576 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16077088 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:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-q3m256"
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-q3m256, 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-167813696800384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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