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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.8K Feb 26 06:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 06:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 06:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 06:04 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.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 07:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 07:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 07:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 26 07:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678784802247

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-q3m016
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:06:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:06:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:06:45] [INFO ] Load time of PNML (sax parser for PT used): 775 ms
[2023-03-14 09:06:45] [INFO ] Transformed 754 places.
[2023-03-14 09:06:45] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:06:45] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 937 ms.
[2023-03-14 09:06:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 131 ms.
Total runtime 1100 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m016
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 5 NEW BEST:: SOT 14112711 SOS 8891412 HAS SOPS 8889617 HAS SOUS 1685498 HAS SOUPS 1683703 WITH SCORE 1692594.412
AT ITER 18 NEW BEST:: SOT 14112703 SOS 8891354 HAS SOPS 8889609 HAS SOUS 1681515 HAS SOUPS 1679770 WITH SCORE 1688661.354
AT ITER 19 NEW BEST:: SOT 14112826 SOS 8891438 HAS SOPS 8889732 HAS SOUS 1671341 HAS SOUPS 1669635 WITH SCORE 1678526.438
AT ITER 20 NEW BEST:: SOT 14121129 SOS 8901247 HAS SOPS 8899541 HAS SOUS 1668029 HAS SOUPS 1666323 WITH SCORE 1675224.247
AT ITER 48 NEW BEST:: SOT 14120704 SOS 8900922 HAS SOPS 8899216 HAS SOUS 1667629 HAS SOUPS 1665923 WITH SCORE 1674823.922
AT ITER 58 NEW BEST:: SOT 14119822 SOS 8900089 HAS SOPS 8898519 HAS SOUS 1664903 HAS SOUPS 1663333 WITH SCORE 1672233.089
AT ITER 66 NEW BEST:: SOT 14120671 SOS 8901052 HAS SOPS 8899482 HAS SOUS 1664601 HAS SOUPS 1663031 WITH SCORE 1671932.052
AT ITER 72 NEW BEST:: SOT 14130393 SOS 8953166 HAS SOPS 8950261 HAS SOUS 1652743 HAS SOUPS 1650866 WITH SCORE 1659819.166
AT ITER 84 NEW BEST:: SOT 14130393 SOS 8949516 HAS SOPS 8946611 HAS SOUS 1652693 HAS SOUPS 1650816 WITH SCORE 1659765.516
AT ITER 85 NEW BEST:: SOT 14131501 SOS 8950896 HAS SOPS 8947991 HAS SOUS 1640986 HAS SOUPS 1639109 WITH SCORE 1648059.896
AT ITER 105 NEW BEST:: SOT 14131345 SOS 8950896 HAS SOPS 8947991 HAS SOUS 1640960 HAS SOUPS 1639083 WITH SCORE 1648033.896
AT ITER 107 NEW BEST:: SOT 14131345 SOS 8939581 HAS SOPS 8936676 HAS SOUS 1640805 HAS SOUPS 1638928 WITH SCORE 1647867.581
AT ITER 114 NEW BEST:: SOT 14131345 SOS 8939581 HAS SOPS 8936676 HAS SOUS 1640804 HAS SOUPS 1638927 WITH SCORE 1647866.581
AT ITER 132 NEW BEST:: SOT 14131383 SOS 8542323 HAS SOPS 8539418 HAS SOUS 1640751 HAS SOUPS 1638874 WITH SCORE 1647416.323
AT ITER 146 NEW BEST:: SOT 14131471 SOS 8542411 HAS SOPS 8539506 HAS SOUS 1639598 HAS SOUPS 1637721 WITH SCORE 1646263.411
AT ITER 154 NEW BEST:: SOT 14132497 SOS 8543437 HAS SOPS 8540532 HAS SOUS 1638441 HAS SOUPS 1636564 WITH SCORE 1645107.437
AT ITER 155 NEW BEST:: SOT 14131518 SOS 8545578 HAS SOPS 8542673 HAS SOUS 1637989 HAS SOUPS 1636112 WITH SCORE 1644657.578
AT ITER 162 NEW BEST:: SOT 14131345 SOS 8545405 HAS SOPS 8542500 HAS SOUS 1637634 HAS SOUPS 1635757 WITH SCORE 1644302.405
AT ITER 173 NEW BEST:: SOT 14132320 SOS 8546380 HAS SOPS 8543475 HAS SOUS 1634538 HAS SOUPS 1632661 WITH SCORE 1641207.38
AT ITER 174 NEW BEST:: SOT 14131186 SOS 8545275 HAS SOPS 8542370 HAS SOUS 1633433 HAS SOUPS 1631556 WITH SCORE 1640101.275
AT ITER 180 NEW BEST:: SOT 14131186 SOS 8545275 HAS SOPS 8542370 HAS SOUS 1633424 HAS SOUPS 1631547 WITH SCORE 1640092.275
AT ITER 182 NEW BEST:: SOT 14131186 SOS 8545247 HAS SOPS 8542342 HAS SOUS 1633424 HAS SOUPS 1631547 WITH SCORE 1640092.247
AT ITER 195 NEW BEST:: SOT 14131186 SOS 8551007 HAS SOPS 8548102 HAS SOUS 1633387 HAS SOUPS 1631510 WITH SCORE 1640061.007
AT ITER 196 NEW BEST:: SOT 14123084 SOS 8550909 HAS SOPS 8548004 HAS SOUS 1624225 HAS SOUPS 1622348 WITH SCORE 1630898.909
AT ITER 208 NEW BEST:: SOT 14121990 SOS 8549815 HAS SOPS 8546910 HAS SOUS 1622019 HAS SOUPS 1620142 WITH SCORE 1628691.815
AT ITER 215 NEW BEST:: SOT 14121990 SOS 8547669 HAS SOPS 8544764 HAS SOUS 1621990 HAS SOUPS 1620113 WITH SCORE 1628660.669
AT ITER 216 NEW BEST:: SOT 14121990 SOS 8544265 HAS SOPS 8541360 HAS SOUS 1621944 HAS SOUPS 1620067 WITH SCORE 1628611.265
AT ITER 217 NEW BEST:: SOT 14121990 SOS 8536305 HAS SOPS 8533400 HAS SOUS 1621780 HAS SOUPS 1619903 WITH SCORE 1628439.305
AT ITER 219 NEW BEST:: SOT 14121990 SOS 8534334 HAS SOPS 8531429 HAS SOUS 1621753 HAS SOUPS 1619876 WITH SCORE 1628410.334
AT ITER 230 NEW BEST:: SOT 14121990 SOS 8532318 HAS SOPS 8529413 HAS SOUS 1621753 HAS SOUPS 1619876 WITH SCORE 1628408.318
AT ITER 235 NEW BEST:: SOT 14121990 SOS 8530838 HAS SOPS 8527933 HAS SOUS 1621733 HAS SOUPS 1619856 WITH SCORE 1628386.838
AT ITER 243 NEW BEST:: SOT 14122961 SOS 8531809 HAS SOPS 8528904 HAS SOUS 1614375 HAS SOUPS 1612498 WITH SCORE 1621029.809
AT ITER 245 NEW BEST:: SOT 14122961 SOS 8521081 HAS SOPS 8518176 HAS SOUS 1614284 HAS SOUPS 1612407 WITH SCORE 1620928.081
AT ITER 246 NEW BEST:: SOT 14122961 SOS 8520865 HAS SOPS 8517960 HAS SOUS 1614176 HAS SOUPS 1612299 WITH SCORE 1620819.865
AT ITER 247 NEW BEST:: SOT 14114318 SOS 8512222 HAS SOPS 8509317 HAS SOUS 1610956 HAS SOUPS 1609079 WITH SCORE 1617591.222
AT ITER 248 NEW BEST:: SOT 14109608 SOS 8511248 HAS SOPS 8508343 HAS SOUS 1605634 HAS SOUPS 1603757 WITH SCORE 1612268.248
AT ITER 251 NEW BEST:: SOT 14109608 SOS 8516936 HAS SOPS 8514031 HAS SOUS 1605443 HAS SOUPS 1603566 WITH SCORE 1612082.936
AT ITER 253 NEW BEST:: SOT 14109608 SOS 8513336 HAS SOPS 8510431 HAS SOUS 1605443 HAS SOUPS 1603566 WITH SCORE 1612079.336
AT ITER 254 NEW BEST:: SOT 14109608 SOS 8504484 HAS SOPS 8501579 HAS SOUS 1605265 HAS SOUPS 1603388 WITH SCORE 1611892.484
AT ITER 258 NEW BEST:: SOT 14109608 SOS 8500596 HAS SOPS 8497691 HAS SOUS 1605265 HAS SOUPS 1603388 WITH SCORE 1611888.596
AT ITER 261 NEW BEST:: SOT 14109608 SOS 8498508 HAS SOPS 8495603 HAS SOUS 1605236 HAS SOUPS 1603359 WITH SCORE 1611857.508
AT ITER 263 NEW BEST:: SOT 14109767 SOS 8498620 HAS SOPS 8495762 HAS SOUS 1596770 HAS SOUPS 1594940 WITH SCORE 1603438.62
AT ITER 280 NEW BEST:: SOT 14109767 SOS 8490728 HAS SOPS 8487870 HAS SOUS 1596604 HAS SOUPS 1594774 WITH SCORE 1603264.728
AT ITER 281 NEW BEST:: SOT 14109767 SOS 8490728 HAS SOPS 8487870 HAS SOUS 1596595 HAS SOUPS 1594765 WITH SCORE 1603255.728
AT ITER 284 NEW BEST:: SOT 14109767 SOS 8495696 HAS SOPS 8492838 HAS SOUS 1596413 HAS SOUPS 1594583 WITH SCORE 1603078.696
AT ITER 290 NEW BEST:: SOT 14109800 SOS 8495729 HAS SOPS 8492871 HAS SOUS 1590845 HAS SOUPS 1589015 WITH SCORE 1597510.729
AT ITER 295 NEW BEST:: SOT 14109800 SOS 8491933 HAS SOPS 8489075 HAS SOUS 1590793 HAS SOUPS 1588963 WITH SCORE 1597454.933
AT ITER 304 NEW BEST:: SOT 14109800 SOS 8489989 HAS SOPS 8487131 HAS SOUS 1590793 HAS SOUPS 1588963 WITH SCORE 1597452.989
AT ITER 324 NEW BEST:: SOT 14105443 SOS 8480664 HAS SOPS 8477806 HAS SOUS 1582344 HAS SOUPS 1580514 WITH SCORE 1588994.664
AT ITER 334 NEW BEST:: SOT 14104574 SOS 8479795 HAS SOPS 8476937 HAS SOUS 1577229 HAS SOUPS 1575399 WITH SCORE 1583878.795
AT ITER 335 NEW BEST:: SOT 14104574 SOS 8476771 HAS SOPS 8473913 HAS SOUS 1577229 HAS SOUPS 1575399 WITH SCORE 1583875.771
AT ITER 348 NEW BEST:: SOT 14104574 SOS 8476475 HAS SOPS 8473617 HAS SOUS 1577225 HAS SOUPS 1575395 WITH SCORE 1583871.475
AT ITER 362 NEW BEST:: SOT 14109534 SOS 8481799 HAS SOPS 8478941 HAS SOUS 1576692 HAS SOUPS 1574862 WITH SCORE 1583343.799
AT ITER 368 NEW BEST:: SOT 14109515 SOS 8481450 HAS SOPS 8478651 HAS SOUS 1570489 HAS SOUPS 1568718 WITH SCORE 1577199.45
AT ITER 380 NEW BEST:: SOT 14110064 SOS 8481999 HAS SOPS 8479200 HAS SOUS 1570433 HAS SOUPS 1568662 WITH SCORE 1577143.999
AT ITER 392 NEW BEST:: SOT 14110064 SOS 8481605 HAS SOPS 8478806 HAS SOUS 1570288 HAS SOUPS 1568517 WITH SCORE 1576998.605
AT ITER 407 NEW BEST:: SOT 14110061 SOS 8481397 HAS SOPS 8478630 HAS SOUS 1563212 HAS SOUPS 1561473 WITH SCORE 1569954.397
AT ITER 413 NEW BEST:: SOT 14110061 SOS 8486869 HAS SOPS 8484102 HAS SOUS 1563090 HAS SOUPS 1561351 WITH SCORE 1569837.869
AT ITER 417 NEW BEST:: SOT 14110061 SOS 8486772 HAS SOPS 8484005 HAS SOUS 1562993 HAS SOUPS 1561254 WITH SCORE 1569740.772
AT ITER 426 NEW BEST:: SOT 13955814 SOS 11090333 HAS SOPS 11087314 HAS SOUS 1409766 HAS SOUPS 1407240 WITH SCORE 1418330.333
AT ITER 433 NEW BEST:: SOT 13959700 SOS 11094829 HAS SOPS 11091932 HAS SOUS 1409304 HAS SOUPS 1406785 WITH SCORE 1417879.829
AT ITER 435 NEW BEST:: SOT 13957396 SOS 11092525 HAS SOPS 11089628 HAS SOUS 1395675 HAS SOUPS 1393156 WITH SCORE 1404248.525
AT ITER 439 NEW BEST:: SOT 13959447 SOS 11094576 HAS SOPS 11091679 HAS SOUS 1393274 HAS SOUPS 1390755 WITH SCORE 1401849.576
AT ITER 457 NEW BEST:: SOT 13959832 SOS 11095051 HAS SOPS 11092154 HAS SOUS 1387440 HAS SOUPS 1384921 WITH SCORE 1396016.051
AT ITER 460 NEW BEST:: SOT 13958489 SOS 11093708 HAS SOPS 11090811 HAS SOUS 1384708 HAS SOUPS 1382189 WITH SCORE 1393282.708
AT ITER 474 NEW BEST:: SOT 13958489 SOS 11087372 HAS SOPS 11084475 HAS SOUS 1384708 HAS SOUPS 1382189 WITH SCORE 1393276.372
AT ITER 475 NEW BEST:: SOT 13955567 SOS 11084034 HAS SOPS 11081189 HAS SOUS 1381786 HAS SOUPS 1379319 WITH SCORE 1390403.034
AT ITER 480 NEW BEST:: SOT 13956702 SOS 11085457 HAS SOPS 11082612 HAS SOUS 1381280 HAS SOUPS 1378813 WITH SCORE 1389898.457
AT ITER 493 NEW BEST:: SOT 13951918 SOS 11080677 HAS SOPS 11077828 HAS SOUS 1378384 HAS SOUPS 1375913 WITH SCORE 1386993.677
AT ITER 499 NEW BEST:: SOT 13955031 SOS 11083790 HAS SOPS 11080941 HAS SOUS 1376432 HAS SOUPS 1373961 WITH SCORE 1385044.79
AT ITER 500 NEW BEST:: SOT 13953507 SOS 11082266 HAS SOPS 11079417 HAS SOUS 1375608 HAS SOUPS 1373137 WITH SCORE 1384219.266
AT ITER 503 NEW BEST:: SOT 13953507 SOS 11082266 HAS SOPS 11079417 HAS SOUS 1375553 HAS SOUPS 1373082 WITH SCORE 1384164.266
AT ITER 508 NEW BEST:: SOT 13953507 SOS 11083346 HAS SOPS 11080497 HAS SOUS 1375549 HAS SOUPS 1373078 WITH SCORE 1384161.346
AT ITER 511 NEW BEST:: SOT 13963255 SOS 11093648 HAS SOPS 11090799 HAS SOUS 1370576 HAS SOUPS 1368105 WITH SCORE 1379198.648
AT ITER 525 NEW BEST:: SOT 13963906 SOS 11094323 HAS SOPS 11091474 HAS SOUS 1370396 HAS SOUPS 1367925 WITH SCORE 1379019.323
AT ITER 538 NEW BEST:: SOT 13962239 SOS 11092656 HAS SOPS 11089807 HAS SOUS 1366878 HAS SOUPS 1364407 WITH SCORE 1375499.656
AT ITER 549 NEW BEST:: SOT 13962239 SOS 11092510 HAS SOPS 11089661 HAS SOUS 1366876 HAS SOUPS 1364405 WITH SCORE 1375497.51
AT ITER 550 NEW BEST:: SOT 13960992 SOS 11091377 HAS SOPS 11088528 HAS SOUS 1358352 HAS SOUPS 1355881 WITH SCORE 1366972.377
AT ITER 564 NEW BEST:: SOT 13961444 SOS 11092063 HAS SOPS 11089266 HAS SOUS 1356932 HAS SOUPS 1354461 WITH SCORE 1365553.063
AT ITER 572 NEW BEST:: SOT 13961444 SOS 11086087 HAS SOPS 11083290 HAS SOUS 1356932 HAS SOUPS 1354461 WITH SCORE 1365547.087
AT ITER 573 NEW BEST:: SOT 13961444 SOS 11086093 HAS SOPS 11083294 HAS SOUS 1356856 HAS SOUPS 1354383 WITH SCORE 1365469.093
AT ITER 584 NEW BEST:: SOT 13961444 SOS 11086093 HAS SOPS 11083294 HAS SOUS 1356847 HAS SOUPS 1354374 WITH SCORE 1365460.093
AT ITER 592 NEW BEST:: SOT 13959189 SOS 11083838 HAS SOPS 11081039 HAS SOUS 1354011 HAS SOUPS 1351538 WITH SCORE 1362621.838
AT ITER 594 NEW BEST:: SOT 13964292 SOS 11089846 HAS SOPS 11086854 HAS SOUS 1348582 HAS SOUPS 1346020 WITH SCORE 1357109.846
AT ITER 606 NEW BEST:: SOT 13963963 SOS 11089517 HAS SOPS 11086525 HAS SOUS 1346473 HAS SOUPS 1343911 WITH SCORE 1355000.517
AT ITER 612 NEW BEST:: SOT 13962170 SOS 11087724 HAS SOPS 11084732 HAS SOUS 1344667 HAS SOUPS 1342105 WITH SCORE 1353192.724
AT ITER 616 NEW BEST:: SOT 13962060 SOS 11087646 HAS SOPS 11084654 HAS SOUS 1344573 HAS SOUPS 1342011 WITH SCORE 1353098.646
AT ITER 642 NEW BEST:: SOT 13956824 SOS 11085776 HAS SOPS 11082784 HAS SOUS 1341349 HAS SOUPS 1338787 WITH SCORE 1349872.776
AT ITER 666 NEW BEST:: SOT 13956824 SOS 11075984 HAS SOPS 11072992 HAS SOUS 1341349 HAS SOUPS 1338787 WITH SCORE 1349862.984
AT ITER 681 NEW BEST:: SOT 13956877 SOS 11075813 HAS SOPS 11072859 HAS SOUS 1339555 HAS SOUPS 1337031 WITH SCORE 1348106.813
AT ITER 685 NEW BEST:: SOT 13958413 SOS 11073830 HAS SOPS 11070876 HAS SOUS 1338341 HAS SOUPS 1335817 WITH SCORE 1346890.83
AT ITER 690 NEW BEST:: SOT 13958413 SOS 11073830 HAS SOPS 11070876 HAS SOUS 1338314 HAS SOUPS 1335790 WITH SCORE 1346863.83
AT ITER 693 NEW BEST:: SOT 13954908 SOS 11070325 HAS SOPS 11067371 HAS SOUS 1331145 HAS SOUPS 1328621 WITH SCORE 1339691.325
AT ITER 694 NEW BEST:: SOT 13957858 SOS 11073298 HAS SOPS 11070344 HAS SOUS 1329879 HAS SOUPS 1327355 WITH SCORE 1338428.298
AT ITER 695 NEW BEST:: SOT 13973409 SOS 11091291 HAS SOPS 11087735 HAS SOUS 1324589 HAS SOUPS 1321835 WITH SCORE 1332926.291
AT ITER 700 NEW BEST:: SOT 13973409 SOS 11089707 HAS SOPS 11086151 HAS SOUS 1324567 HAS SOUPS 1321813 WITH SCORE 1332902.707
AT ITER 711 NEW BEST:: SOT 13975345 SOS 11091729 HAS SOPS 11088173 HAS SOUS 1321691 HAS SOUPS 1318937 WITH SCORE 1330028.729
AT ITER 723 NEW BEST:: SOT 13975294 SOS 11091678 HAS SOPS 11088122 HAS SOUS 1321589 HAS SOUPS 1318835 WITH SCORE 1329926.678
AT ITER 726 NEW BEST:: SOT 13975294 SOS 11089590 HAS SOPS 11086034 HAS SOUS 1321589 HAS SOUPS 1318835 WITH SCORE 1329924.59
AT ITER 730 NEW BEST:: SOT 13976676 SOS 11091026 HAS SOPS 11087470 HAS SOUS 1321009 HAS SOUPS 1318255 WITH SCORE 1329346.026
AT ITER 735 NEW BEST:: SOT 13976676 SOS 11086346 HAS SOPS 11082790 HAS SOUS 1321009 HAS SOUPS 1318255 WITH SCORE 1329341.346
AT ITER 741 NEW BEST:: SOT 13979429 SOS 11089571 HAS SOPS 11086015 HAS SOUS 1311784 HAS SOUPS 1309030 WITH SCORE 1320119.571
AT ITER 742 NEW BEST:: SOT 13979429 SOS 11103539 HAS SOPS 11099983 HAS SOUS 1311590 HAS SOUPS 1308836 WITH SCORE 1319939.539
AT ITER 748 NEW BEST:: SOT 13979429 SOS 11101862 HAS SOPS 11098396 HAS SOUS 1311213 HAS SOUPS 1308546 WITH SCORE 1319647.862
AT ITER 757 NEW BEST:: SOT 13978769 SOS 11102032 HAS SOPS 11098566 HAS SOUS 1310293 HAS SOUPS 1307626 WITH SCORE 1318728.032
AT ITER 764 NEW BEST:: SOT 13978807 SOS 11102070 HAS SOPS 11098604 HAS SOUS 1310199 HAS SOUPS 1307532 WITH SCORE 1318634.07
AT ITER 783 NEW BEST:: SOT 13978807 SOS 11101668 HAS SOPS 11098202 HAS SOUS 1309998 HAS SOUPS 1307331 WITH SCORE 1318432.668
AT ITER 785 NEW BEST:: SOT 13978807 SOS 11104620 HAS SOPS 11101154 HAS SOUS 1309946 HAS SOUPS 1307279 WITH SCORE 1318383.62
AT ITER 811 NEW BEST:: SOT 13977598 SOS 11103411 HAS SOPS 11099945 HAS SOUS 1302436 HAS SOUPS 1299769 WITH SCORE 1310872.411
AT ITER 816 NEW BEST:: SOT 13977598 SOS 11101827 HAS SOPS 11098361 HAS SOUS 1302436 HAS SOUPS 1299769 WITH SCORE 1310870.827
AT ITER 824 NEW BEST:: SOT 13977129 SOS 11101036 HAS SOPS 11097632 HAS SOUS 1295489 HAS SOUPS 1292884 WITH SCORE 1303985.036
AT ITER 844 NEW BEST:: SOT 13976490 SOS 11100397 HAS SOPS 11096993 HAS SOUS 1291097 HAS SOUPS 1288492 WITH SCORE 1299592.397
AT ITER 845 NEW BEST:: SOT 13973930 SOS 11097837 HAS SOPS 11094433 HAS SOUS 1288537 HAS SOUPS 1285932 WITH SCORE 1297029.837
AT ITER 848 NEW BEST:: SOT 13973872 SOS 11097779 HAS SOPS 11094375 HAS SOUS 1288421 HAS SOUPS 1285816 WITH SCORE 1296913.779
AT ITER 851 NEW BEST:: SOT 13973872 SOS 11109155 HAS SOPS 11105751 HAS SOUS 1288263 HAS SOUPS 1285658 WITH SCORE 1296767.155
AT ITER 875 NEW BEST:: SOT 13969415 SOS 11108586 HAS SOPS 11105182 HAS SOUS 1286307 HAS SOUPS 1283702 WITH SCORE 1294810.586
AT ITER 876 NEW BEST:: SOT 13970170 SOS 11109399 HAS SOPS 11105995 HAS SOUS 1285513 HAS SOUPS 1282908 WITH SCORE 1294017.399
AT ITER 878 NEW BEST:: SOT 13971602 SOS 11110975 HAS SOPS 11107571 HAS SOUS 1284529 HAS SOUPS 1281924 WITH SCORE 1293034.975
AT ITER 879 NEW BEST:: SOT 13971602 SOS 11105287 HAS SOPS 11101883 HAS SOUS 1284529 HAS SOUPS 1281924 WITH SCORE 1293029.287
AT ITER 888 NEW BEST:: SOT 13971602 SOS 11094775 HAS SOPS 11091371 HAS SOUS 1284529 HAS SOUPS 1281924 WITH SCORE 1293018.775
AT ITER 889 NEW BEST:: SOT 13981142 SOS 11104095 HAS SOPS 11101188 HAS SOUS 1281885 HAS SOUPS 1279614 WITH SCORE 1290718.095
AT ITER 897 NEW BEST:: SOT 13980110 SOS 11103063 HAS SOPS 11100156 HAS SOUS 1281000 HAS SOUPS 1278729 WITH SCORE 1289832.063
AT ITER 903 NEW BEST:: SOT 13981572 SOS 11104525 HAS SOPS 11101618 HAS SOUS 1277649 HAS SOUPS 1275378 WITH SCORE 1286482.525
AT ITER 925 NEW BEST:: SOT 13981607 SOS 11101719 HAS SOPS 11098812 HAS SOUS 1277616 HAS SOUPS 1275345 WITH SCORE 1286446.719
AT ITER 933 NEW BEST:: SOT 13983502 SOS 11103614 HAS SOPS 11100707 HAS SOUS 1274309 HAS SOUPS 1272038 WITH SCORE 1283141.614
AT ITER 936 NEW BEST:: SOT 13982302 SOS 11102414 HAS SOPS 11099507 HAS SOUS 1274180 HAS SOUPS 1271909 WITH SCORE 1283011.414
AT ITER 937 NEW BEST:: SOT 13981880 SOS 11101977 HAS SOPS 11099070 HAS SOUS 1270474 HAS SOUPS 1268203 WITH SCORE 1279304.977
AT ITER 938 NEW BEST:: SOT 13981880 SOS 11097585 HAS SOPS 11094678 HAS SOUS 1270422 HAS SOUPS 1268151 WITH SCORE 1279248.585
AT ITER 948 NEW BEST:: SOT 13982223 SOS 11097928 HAS SOPS 11095021 HAS SOUS 1267081 HAS SOUPS 1264810 WITH SCORE 1275907.928
AT ITER 949 NEW BEST:: SOT 13976162 SOS 11091697 HAS SOPS 11088790 HAS SOUS 1266691 HAS SOUPS 1264420 WITH SCORE 1275511.697
AT ITER 956 NEW BEST:: SOT 13976860 SOS 11092023 HAS SOPS 11089178 HAS SOUS 1263396 HAS SOUPS 1261187 WITH SCORE 1272279.023
AT ITER 965 NEW BEST:: SOT 13976860 SOS 11093967 HAS SOPS 11091122 HAS SOUS 1263369 HAS SOUPS 1261160 WITH SCORE 1272253.967
AT ITER 978 NEW BEST:: SOT 13976860 SOS 11093967 HAS SOPS 11091122 HAS SOUS 1263367 HAS SOUPS 1261158 WITH SCORE 1272251.967
AT ITER 986 NEW BEST:: SOT 13976860 SOS 11093967 HAS SOPS 11091122 HAS SOUS 1263340 HAS SOUPS 1261131 WITH SCORE 1272224.967
AT ITER 989 NEW BEST:: SOT 13974137 SOS 11093966 HAS SOPS 11091121 HAS SOUS 1261635 HAS SOUPS 1259426 WITH SCORE 1270519.966
AT ITER 997 NEW BEST:: SOT 13974137 SOS 11093966 HAS SOPS 11091121 HAS SOUS 1261554 HAS SOUPS 1259345 WITH SCORE 1270438.966
AT ITER 1007 NEW BEST:: SOT 13974137 SOS 10653677 HAS SOPS 10650832 HAS SOUS 1261449 HAS SOUPS 1259240 WITH SCORE 1269893.677
AT ITER 1009 NEW BEST:: SOT 13974137 SOS 10653677 HAS SOPS 10650832 HAS SOUS 1261428 HAS SOUPS 1259219 WITH SCORE 1269872.677
AT ITER 1011 NEW BEST:: SOT 13974888 SOS 10654428 HAS SOPS 10651583 HAS SOUS 1261026 HAS SOUPS 1258817 WITH SCORE 1269471.428
AT ITER 1012 NEW BEST:: SOT 13978545 SOS 10658155 HAS SOPS 10655310 HAS SOUS 1260101 HAS SOUPS 1257892 WITH SCORE 1268550.155
AT ITER 1013 NEW BEST:: SOT 13978545 SOS 10650587 HAS SOPS 10647742 HAS SOUS 1259953 HAS SOUPS 1257744 WITH SCORE 1268394.587
AT ITER 1018 NEW BEST:: SOT 13978128 SOS 10650162 HAS SOPS 10647317 HAS SOUS 1258957 HAS SOUPS 1256748 WITH SCORE 1267398.162
AT ITER 1032 NEW BEST:: SOT 13978128 SOS 10650054 HAS SOPS 10647209 HAS SOUS 1258903 HAS SOUPS 1256694 WITH SCORE 1267344.054
AT ITER 1058 NEW BEST:: SOT 13978128 SOS 10647786 HAS SOPS 10644941 HAS SOUS 1258903 HAS SOUPS 1256694 WITH SCORE 1267341.786
AT ITER 1065 NEW BEST:: SOT 13978128 SOS 10648002 HAS SOPS 10645157 HAS SOUS 1258855 HAS SOUPS 1256646 WITH SCORE 1267294.002
AT ITER 1072 NEW BEST:: SOT 13981611 SOS 10651705 HAS SOPS 10648860 HAS SOUS 1258369 HAS SOUPS 1256160 WITH SCORE 1266811.705
AT ITER 1085 NEW BEST:: SOT 13990805 SOS 10661249 HAS SOPS 10658404 HAS SOUS 1255494 HAS SOUPS 1253285 WITH SCORE 1263946.249
AT ITER 1086 NEW BEST:: SOT 13991833 SOS 10662445 HAS SOPS 10659600 HAS SOUS 1254547 HAS SOUPS 1252338 WITH SCORE 1263000.445
AT ITER 1101 NEW BEST:: SOT 13991833 SOS 10653517 HAS SOPS 10650672 HAS SOUS 1254547 HAS SOUPS 1252338 WITH SCORE 1262991.517
AT ITER 1102 NEW BEST:: SOT 13991833 SOS 10646717 HAS SOPS 10643872 HAS SOUS 1254536 HAS SOUPS 1252327 WITH SCORE 1262973.717
AT ITER 1115 NEW BEST:: SOT 13991843 SOS 10645641 HAS SOPS 10642982 HAS SOUS 1254308 HAS SOUPS 1252285 WITH SCORE 1262930.641
AT ITER 1127 NEW BEST:: SOT 13991843 SOS 10645641 HAS SOPS 10642982 HAS SOUS 1254303 HAS SOUPS 1252280 WITH SCORE 1262925.641
AT ITER 1131 NEW BEST:: SOT 13991843 SOS 10645641 HAS SOPS 10642982 HAS SOUS 1254288 HAS SOUPS 1252265 WITH SCORE 1262910.641
AT ITER 1133 NEW BEST:: SOT 13991658 SOS 10645456 HAS SOPS 10642797 HAS SOUS 1253926 HAS SOUPS 1251903 WITH SCORE 1262548.456
AT ITER 1144 NEW BEST:: SOT 13991658 SOS 10638472 HAS SOPS 10635813 HAS SOUS 1253926 HAS SOUPS 1251903 WITH SCORE 1262541.472
AT ITER 1155 NEW BEST:: SOT 13989749 SOS 10636519 HAS SOPS 10633871 HAS SOUS 1242664 HAS SOUPS 1240652 WITH SCORE 1251288.519
AT ITER 1157 NEW BEST:: SOT 13989749 SOS 10630543 HAS SOPS 10627895 HAS SOUS 1242664 HAS SOUPS 1240652 WITH SCORE 1251282.543
AT ITER 1158 NEW BEST:: SOT 13989749 SOS 10623127 HAS SOPS 10620479 HAS SOUS 1242664 HAS SOUPS 1240652 WITH SCORE 1251275.127
AT ITER 1177 NEW BEST:: SOT 13987407 SOS 10620374 HAS SOPS 10617783 HAS SOUS 1239503 HAS SOUPS 1237548 WITH SCORE 1248168.374
AT ITER 1196 NEW BEST:: SOT 13987407 SOS 10624766 HAS SOPS 10622175 HAS SOUS 1239368 HAS SOUPS 1237413 WITH SCORE 1248037.766
AT ITER 1202 NEW BEST:: SOT 13987407 SOS 10624766 HAS SOPS 10622175 HAS SOUS 1239250 HAS SOUPS 1237295 WITH SCORE 1247919.766
AT ITER 1211 NEW BEST:: SOT 13987407 SOS 10624744 HAS SOPS 10622153 HAS SOUS 1239216 HAS SOUPS 1237261 WITH SCORE 1247885.744
AT ITER 1212 NEW BEST:: SOT 14001318 SOS 10642315 HAS SOPS 10639724 HAS SOUS 1236145 HAS SOUPS 1234190 WITH SCORE 1244832.315
AT ITER 1215 NEW BEST:: SOT 14019436 SOS 10660433 HAS SOPS 10657842 HAS SOUS 1231960 HAS SOUPS 1230005 WITH SCORE 1240665.433
AT ITER 1223 NEW BEST:: SOT 14012849 SOS 10653846 HAS SOPS 10651255 HAS SOUS 1227035 HAS SOUPS 1225080 WITH SCORE 1235733.846
AT ITER 1250 NEW BEST:: SOT 14012849 SOS 10011471 HAS SOPS 10008880 HAS SOUS 1226910 HAS SOUPS 1224955 WITH SCORE 1234966.471
AT ITER 1257 NEW BEST:: SOT 14012849 SOS 10011471 HAS SOPS 10008880 HAS SOUS 1226906 HAS SOUPS 1224951 WITH SCORE 1234962.471
AT ITER 1261 NEW BEST:: SOT 14012849 SOS 10011465 HAS SOPS 10008874 HAS SOUS 1226903 HAS SOUPS 1224948 WITH SCORE 1234959.465
AT ITER 1263 NEW BEST:: SOT 14012849 SOS 10011465 HAS SOPS 10008874 HAS SOUS 1226816 HAS SOUPS 1224861 WITH SCORE 1234872.465
AT ITER 1276 NEW BEST:: SOT 14012849 SOS 10005921 HAS SOPS 10003330 HAS SOUS 1226816 HAS SOUPS 1224861 WITH SCORE 1234866.921
AT ITER 1278 NEW BEST:: SOT 14017625 SOS 10011617 HAS SOPS 10009210 HAS SOUS 1224181 HAS SOUPS 1222233 WITH SCORE 1232244.617
AT ITER 1281 NEW BEST:: SOT 14035307 SOS 10029299 HAS SOPS 10026892 HAS SOUS 1218194 HAS SOUPS 1216246 WITH SCORE 1226275.299
AT ITER 1283 NEW BEST:: SOT 14035554 SOS 10029546 HAS SOPS 10027139 HAS SOUS 1218032 HAS SOUPS 1216084 WITH SCORE 1226113.546
AT ITER 1284 NEW BEST:: SOT 14035378 SOS 10029370 HAS SOPS 10026963 HAS SOUS 1217856 HAS SOUPS 1215908 WITH SCORE 1225937.37
AT ITER 1289 NEW BEST:: SOT 14035378 SOS 10029370 HAS SOPS 10026963 HAS SOUS 1217788 HAS SOUPS 1215840 WITH SCORE 1225869.37
AT ITER 1293 NEW BEST:: SOT 14035268 SOS 10029260 HAS SOPS 10026853 HAS SOUS 1217696 HAS SOUPS 1215748 WITH SCORE 1225777.26
AT ITER 1296 NEW BEST:: SOT 14033791 SOS 10027783 HAS SOPS 10025376 HAS SOUS 1210878 HAS SOUPS 1208930 WITH SCORE 1218957.783
AT ITER 1302 NEW BEST:: SOT 14033791 SOS 10018927 HAS SOPS 10016520 HAS SOUS 1210878 HAS SOUPS 1208930 WITH SCORE 1218948.927
AT ITER 1307 NEW BEST:: SOT 14033791 SOS 10018837 HAS SOPS 10016430 HAS SOUS 1210878 HAS SOUPS 1208930 WITH SCORE 1218948.837
AT ITER 1310 NEW BEST:: SOT 14049244 SOS 10034697 HAS SOPS 10032222 HAS SOUS 1207505 HAS SOUPS 1205523 WITH SCORE 1215557.697
AT ITER 1313 NEW BEST:: SOT 14049186 SOS 10034639 HAS SOPS 10032164 HAS SOUS 1207331 HAS SOUPS 1205349 WITH SCORE 1215383.639
AT ITER 1316 NEW BEST:: SOT 14049592 SOS 10035045 HAS SOPS 10032570 HAS SOUS 1204541 HAS SOUPS 1202559 WITH SCORE 1212594.045
AT ITER 1319 NEW BEST:: SOT 14049844 SOS 10035002 HAS SOPS 10032576 HAS SOUS 1203000 HAS SOUPS 1201067 WITH SCORE 1211102.002
AT ITER 1331 NEW BEST:: SOT 14049844 SOS 10025930 HAS SOPS 10023504 HAS SOUS 1202806 HAS SOUPS 1200873 WITH SCORE 1210898.93
AT ITER 1334 NEW BEST:: SOT 14048012 SOS 10024098 HAS SOPS 10021672 HAS SOUS 1201838 HAS SOUPS 1199905 WITH SCORE 1209929.098
AT ITER 1337 NEW BEST:: SOT 14048012 SOS 10021122 HAS SOPS 10018696 HAS SOUS 1201775 HAS SOUPS 1199842 WITH SCORE 1209863.122
AT ITER 1340 NEW BEST:: SOT 14048012 SOS 10030626 HAS SOPS 10028200 HAS SOUS 1201623 HAS SOUPS 1199690 WITH SCORE 1209720.626
AT ITER 1370 NEW BEST:: SOT 14046490 SOS 10029104 HAS SOPS 10026678 HAS SOUS 1191950 HAS SOUPS 1190017 WITH SCORE 1200046.104
AT ITER 1379 NEW BEST:: SOT 14045089 SOS 10026805 HAS SOPS 10024752 HAS SOUS 1181021 HAS SOUPS 1179269 WITH SCORE 1189295.805
AT ITER 1380 NEW BEST:: SOT 14045089 SOS 10019245 HAS SOPS 10017192 HAS SOUS 1180873 HAS SOUPS 1179121 WITH SCORE 1189140.245
AT ITER 1401 NEW BEST:: SOT 14044082 SOS 10018238 HAS SOPS 10016185 HAS SOUS 1180645 HAS SOUPS 1178893 WITH SCORE 1188911.238
AT ITER 1403 NEW BEST:: SOT 14040662 SOS 10014818 HAS SOPS 10012765 HAS SOUS 1178378 HAS SOUPS 1176626 WITH SCORE 1186640.818
AT ITER 1409 NEW BEST:: SOT 14040662 SOS 10014818 HAS SOPS 10012765 HAS SOUS 1178262 HAS SOUPS 1176510 WITH SCORE 1186524.818
AT ITER 1419 NEW BEST:: SOT 14040662 SOS 10014818 HAS SOPS 10012765 HAS SOUS 1178168 HAS SOUPS 1176416 WITH SCORE 1186430.818
AT ITER 1421 NEW BEST:: SOT 14040662 SOS 10008914 HAS SOPS 10006861 HAS SOUS 1178168 HAS SOUPS 1176416 WITH SCORE 1186424.914
AT ITER 1427 NEW BEST:: SOT 14039608 SOS 10007860 HAS SOPS 10005807 HAS SOUS 1175975 HAS SOUPS 1174223 WITH SCORE 1184230.86
AT ITER 1435 NEW BEST:: SOT 14035116 SOS 10004168 HAS SOPS 10002115 HAS SOUS 1166922 HAS SOUPS 1165170 WITH SCORE 1175174.168
AT ITER 1437 NEW BEST:: SOT 14032857 SOS 10001909 HAS SOPS 9999856 HAS SOUS 1165367 HAS SOUPS 1163615 WITH SCORE 1173616.909
AT ITER 1450 NEW BEST:: SOT 14032857 SOS 10001909 HAS SOPS 9999856 HAS SOUS 1165275 HAS SOUPS 1163523 WITH SCORE 1173524.909
AT ITER 1457 NEW BEST:: SOT 14032857 SOS 10001735 HAS SOPS 9999682 HAS SOUS 1165188 HAS SOUPS 1163436 WITH SCORE 1173437.735
AT ITER 1464 NEW BEST:: SOT 14032857 SOS 10001654 HAS SOPS 9999601 HAS SOUS 1165107 HAS SOUPS 1163355 WITH SCORE 1173356.654
AT ITER 1474 NEW BEST:: SOT 14038697 SOS 10008046 HAS SOPS 10006136 HAS SOUS 1164107 HAS SOUPS 1162498 WITH SCORE 1172506.046
AT ITER 1508 NEW BEST:: SOT 14033947 SOS 10003056 HAS SOPS 10001180 HAS SOUS 1153948 HAS SOUPS 1152373 WITH SCORE 1162376.056
AT ITER 1512 NEW BEST:: SOT 14029754 SOS 9998863 HAS SOPS 9996987 HAS SOUS 1145447 HAS SOUPS 1143872 WITH SCORE 1153870.863
AT ITER 1513 NEW BEST:: SOT 14031268 SOS 10000377 HAS SOPS 9998501 HAS SOUS 1145004 HAS SOUPS 1143429 WITH SCORE 1153429.377
AT ITER 1514 NEW BEST:: SOT 14031268 SOS 9997040 HAS SOPS 9995164 HAS SOUS 1145004 HAS SOUPS 1143429 WITH SCORE 1153426.04
AT ITER 1515 NEW BEST:: SOT 14045945 SOS 10030139 HAS SOPS 10028482 HAS SOUS 1142300 HAS SOUPS 1140892 WITH SCORE 1150922.139
AT ITER 1518 NEW BEST:: SOT 14050149 SOS 10032138 HAS SOPS 10030058 HAS SOUS 1138597 HAS SOUPS 1136904 WITH SCORE 1146936.138
AT ITER 1521 NEW BEST:: SOT 14050106 SOS 10032095 HAS SOPS 10030015 HAS SOUS 1137196 HAS SOUPS 1135503 WITH SCORE 1145535.095
AT ITER 1537 NEW BEST:: SOT 14050196 SOS 10032185 HAS SOPS 10030105 HAS SOUS 1137194 HAS SOUPS 1135501 WITH SCORE 1145533.185
AT ITER 1546 NEW BEST:: SOT 14050196 SOS 10029809 HAS SOPS 10027729 HAS SOUS 1137194 HAS SOUPS 1135501 WITH SCORE 1145530.809
AT ITER 1556 NEW BEST:: SOT 14056996 SOS 10037089 HAS SOPS 10035009 HAS SOUS 1136286 HAS SOUPS 1134593 WITH SCORE 1144630.089
AT ITER 1584 NEW BEST:: SOT 14056996 SOS 10037089 HAS SOPS 10035009 HAS SOUS 1136263 HAS SOUPS 1134570 WITH SCORE 1144607.089
AT ITER 1586 NEW BEST:: SOT 14053273 SOS 10033366 HAS SOPS 10031286 HAS SOUS 1133882 HAS SOUPS 1132189 WITH SCORE 1142222.366
AT ITER 1604 NEW BEST:: SOT 14053273 SOS 10033288 HAS SOPS 10031208 HAS SOUS 1133843 HAS SOUPS 1132150 WITH SCORE 1142183.288
AT ITER 1624 NEW BEST:: SOT 14053273 SOS 10033252 HAS SOPS 10031172 HAS SOUS 1133807 HAS SOUPS 1132114 WITH SCORE 1142147.252
AT ITER 1625 NEW BEST:: SOT 14053273 SOS 10036276 HAS SOPS 10034196 HAS SOUS 1133722 HAS SOUPS 1132029 WITH SCORE 1142065.276
AT ITER 1631 NEW BEST:: SOT 14043941 SOS 10025698 HAS SOPS 10023849 HAS SOUS 1121555 HAS SOUPS 1120093 WITH SCORE 1130118.698
AT ITER 1639 NEW BEST:: SOT 14043941 SOS 10035490 HAS SOPS 10033641 HAS SOUS 1121346 HAS SOUPS 1119884 WITH SCORE 1129919.49
AT ITER 1657 NEW BEST:: SOT 14043941 SOS 10031913 HAS SOPS 10030064 HAS SOUS 1121297 HAS SOUPS 1119835 WITH SCORE 1129866.913
AT ITER 1658 NEW BEST:: SOT 14049431 SOS 10038155 HAS SOPS 10036306 HAS SOUS 1109503 HAS SOUPS 1108041 WITH SCORE 1118079.155
AT ITER 1662 NEW BEST:: SOT 14050046 SOS 10038770 HAS SOPS 10036921 HAS SOUS 1108386 HAS SOUPS 1106924 WITH SCORE 1116962.77
AT ITER 1665 NEW BEST:: SOT 14050044 SOS 10038770 HAS SOPS 10036921 HAS SOUS 1108384 HAS SOUPS 1106922 WITH SCORE 1116960.77
AT ITER 1667 NEW BEST:: SOT 14054615 SOS 10044087 HAS SOPS 10042342 HAS SOUS 1107797 HAS SOUPS 1106387 WITH SCORE 1116431.087
AT ITER 1701 NEW BEST:: SOT 14046827 SOS 10036299 HAS SOPS 10034554 HAS SOUS 1107326 HAS SOUPS 1105916 WITH SCORE 1115952.299
AT ITER 1723 NEW BEST:: SOT 14046827 SOS 10036299 HAS SOPS 10034554 HAS SOUS 1107296 HAS SOUPS 1105886 WITH SCORE 1115922.299
AT ITER 1743 NEW BEST:: SOT 14046767 SOS 10084191 HAS SOPS 10082446 HAS SOUS 1107234 HAS SOUPS 1105824 WITH SCORE 1115908.191
AT ITER 1767 NEW BEST:: SOT 14046767 SOS 10084127 HAS SOPS 10082382 HAS SOUS 1107170 HAS SOUPS 1105760 WITH SCORE 1115844.127
AT ITER 1776 NEW BEST:: SOT 14046767 SOS 10080311 HAS SOPS 10078566 HAS SOUS 1107170 HAS SOUPS 1105760 WITH SCORE 1115840.311
AT ITER 1785 NEW BEST:: SOT 14046767 SOS 10079573 HAS SOPS 10077810 HAS SOUS 1107152 HAS SOUPS 1105742 WITH SCORE 1115821.573
AT ITER 1788 NEW BEST:: SOT 14046767 SOS 10077485 HAS SOPS 10075722 HAS SOUS 1107152 HAS SOUPS 1105742 WITH SCORE 1115819.485
AT ITER 1796 NEW BEST:: SOT 14046767 SOS 10077485 HAS SOPS 10075722 HAS SOUS 1107037 HAS SOUPS 1105627 WITH SCORE 1115704.485
AT ITER 1804 NEW BEST:: SOT 14046715 SOS 10077433 HAS SOPS 10075670 HAS SOUS 1107035 HAS SOUPS 1105625 WITH SCORE 1115702.433
AT ITER 1820 NEW BEST:: SOT 14046715 SOS 10077309 HAS SOPS 10075546 HAS SOUS 1106911 HAS SOUPS 1105501 WITH SCORE 1115578.309
AT ITER 1823 NEW BEST:: SOT 14046704 SOS 10077298 HAS SOPS 10075535 HAS SOUS 1106244 HAS SOUPS 1104834 WITH SCORE 1114911.298
AT ITER 1829 NEW BEST:: SOT 14046704 SOS 10072330 HAS SOPS 10070567 HAS SOUS 1106244 HAS SOUPS 1104834 WITH SCORE 1114906.33
AT ITER 1836 NEW BEST:: SOT 14047156 SOS 10072782 HAS SOPS 10071019 HAS SOUS 1105534 HAS SOUPS 1104124 WITH SCORE 1114196.782
AT ITER 1853 NEW BEST:: SOT 14047438 SOS 10073022 HAS SOPS 10071259 HAS SOUS 1100411 HAS SOUPS 1099001 WITH SCORE 1109074.022
AT ITER 1854 NEW BEST:: SOT 14044650 SOS 10071274 HAS SOPS 10069905 HAS SOUS 1096142 HAS SOUPS 1094929 WITH SCORE 1105000.274
AT ITER 1855 NEW BEST:: SOT 14044650 SOS 10070976 HAS SOPS 10069607 HAS SOUS 1095993 HAS SOUPS 1094780 WITH SCORE 1104850.976
AT ITER 1859 NEW BEST:: SOT 14044650 SOS 10070989 HAS SOPS 10069620 HAS SOUS 1095968 HAS SOUPS 1094755 WITH SCORE 1104825.989
AT ITER 1869 NEW BEST:: SOT 14041363 SOS 10067581 HAS SOPS 10066212 HAS SOUS 1090854 HAS SOUPS 1089641 WITH SCORE 1099708.581
AT ITER 1871 NEW BEST:: SOT 14039794 SOS 10066447 HAS SOPS 10064970 HAS SOUS 1090886 HAS SOUPS 1089565 WITH SCORE 1099631.447
AT ITER 1878 NEW BEST:: SOT 14039794 SOS 10062432 HAS SOPS 10060955 HAS SOUS 1090831 HAS SOUPS 1089510 WITH SCORE 1099572.432
AT ITER 1881 NEW BEST:: SOT 14047206 SOS 10069844 HAS SOPS 10068367 HAS SOUS 1084950 HAS SOUPS 1083629 WITH SCORE 1093698.844
AT ITER 1882 NEW BEST:: SOT 14041858 SOS 10081402 HAS SOPS 10079925 HAS SOUS 1082292 HAS SOUPS 1080971 WITH SCORE 1091052.402
AT ITER 1890 NEW BEST:: SOT 14041307 SOS 10080851 HAS SOPS 10079374 HAS SOUS 1081561 HAS SOUPS 1080240 WITH SCORE 1090320.851
AT ITER 1896 NEW BEST:: SOT 14041407 SOS 10080959 HAS SOPS 10079482 HAS SOUS 1081551 HAS SOUPS 1080230 WITH SCORE 1090310.959
AT ITER 1897 NEW BEST:: SOT 14039601 SOS 10079167 HAS SOPS 10077676 HAS SOUS 1080249 HAS SOUPS 1078914 WITH SCORE 1088993.167
AT ITER 1903 NEW BEST:: SOT 14039601 SOS 10165195 HAS SOPS 10163704 HAS SOUS 1080120 HAS SOUPS 1078785 WITH SCORE 1088950.195
AT ITER 1908 NEW BEST:: SOT 14038582 SOS 10164162 HAS SOPS 10162671 HAS SOUS 1073594 HAS SOUPS 1072259 WITH SCORE 1082423.162
AT ITER 1911 NEW BEST:: SOT 14040475 SOS 10166207 HAS SOPS 10164716 HAS SOUS 1073448 HAS SOUPS 1072113 WITH SCORE 1082279.207
AT ITER 1925 NEW BEST:: SOT 14040475 SOS 10166177 HAS SOPS 10164686 HAS SOUS 1073448 HAS SOUPS 1072113 WITH SCORE 1082279.177
AT ITER 1939 NEW BEST:: SOT 14042505 SOS 10168207 HAS SOPS 10166716 HAS SOUS 1070611 HAS SOUPS 1069276 WITH SCORE 1079444.207
AT ITER 1945 NEW BEST:: SOT 14041874 SOS 10165761 HAS SOPS 10164711 HAS SOUS 1068926 HAS SOUPS 1067876 WITH SCORE 1078041.761
AT ITER 1970 NEW BEST:: SOT 14039857 SOS 10170750 HAS SOPS 10169700 HAS SOUS 1068441 HAS SOUPS 1067391 WITH SCORE 1077561.75
AT ITER 1985 NEW BEST:: SOT 14041312 SOS 10172164 HAS SOPS 10171114 HAS SOUS 1066633 HAS SOUPS 1065583 WITH SCORE 1075755.164
AT ITER 1991 NEW BEST:: SOT 14039154 SOS 10170006 HAS SOPS 10168956 HAS SOUS 1065147 HAS SOUPS 1064097 WITH SCORE 1074267.006
AT ITER 1996 NEW BEST:: SOT 14039154 SOS 10173678 HAS SOPS 10172628 HAS SOUS 1065077 HAS SOUPS 1064027 WITH SCORE 1074200.678
AT ITER 1999 NEW BEST:: SOT 14037840 SOS 10172232 HAS SOPS 10171182 HAS SOUS 1064835 HAS SOUPS 1063785 WITH SCORE 1073957.232
AT ITER 2023 NEW BEST:: SOT 14037840 SOS 10166760 HAS SOPS 10165710 HAS SOUS 1064835 HAS SOUPS 1063785 WITH SCORE 1073951.76
AT ITER 2044 NEW BEST:: SOT 14035043 SOS 10163963 HAS SOPS 10162913 HAS SOUS 1061432 HAS SOUPS 1060382 WITH SCORE 1070545.963
AT ITER 2045 NEW BEST:: SOT 14035043 SOS 10161515 HAS SOPS 10160465 HAS SOUS 1061332 HAS SOUPS 1060282 WITH SCORE 1070443.515
AT ITER 2047 NEW BEST:: SOT 14035043 SOS 10161515 HAS SOPS 10160465 HAS SOUS 1061286 HAS SOUPS 1060236 WITH SCORE 1070397.515
AT ITER 2054 NEW BEST:: SOT 14045435 SOS 10171907 HAS SOPS 10170857 HAS SOUS 1054237 HAS SOUPS 1053187 WITH SCORE 1063358.907
AT ITER 2069 NEW BEST:: SOT 14045526 SOS 10171998 HAS SOPS 10170948 HAS SOUS 1054233 HAS SOUPS 1053183 WITH SCORE 1063354.998
AT ITER 2075 NEW BEST:: SOT 14045526 SOS 10171998 HAS SOPS 10170948 HAS SOUS 1054042 HAS SOUPS 1052992 WITH SCORE 1063163.998
AT ITER 2081 NEW BEST:: SOT 14058852 SOS 10185180 HAS SOPS 10184130 HAS SOUS 1052527 HAS SOUPS 1051477 WITH SCORE 1061662.18
AT ITER 2090 NEW BEST:: SOT 14058852 SOS 10185172 HAS SOPS 10184122 HAS SOUS 1052502 HAS SOUPS 1051452 WITH SCORE 1061637.172
AT ITER 2095 NEW BEST:: SOT 14058852 SOS 10193524 HAS SOPS 10192474 HAS SOUS 1052386 HAS SOUPS 1051336 WITH SCORE 1061529.524
AT ITER 2099 NEW BEST:: SOT 14058852 SOS 10193521 HAS SOPS 10192471 HAS SOUS 1052386 HAS SOUPS 1051336 WITH SCORE 1061529.521
AT ITER 2129 NEW BEST:: SOT 14058852 SOS 10187761 HAS SOPS 10186711 HAS SOUS 1052386 HAS SOUPS 1051336 WITH SCORE 1061523.761
AT ITER 2164 NEW BEST:: SOT 14058852 SOS 10187761 HAS SOPS 10186711 HAS SOUS 1052359 HAS SOUPS 1051309 WITH SCORE 1061496.761
AT ITER 2168 NEW BEST:: SOT 14068094 SOS 10198418 HAS SOPS 10197051 HAS SOUS 1046602 HAS SOUPS 1045369 WITH SCORE 1055567.418
AT ITER 2169 NEW BEST:: SOT 14067600 SOS 10197924 HAS SOPS 10196557 HAS SOUS 1046108 HAS SOUPS 1044875 WITH SCORE 1055072.924
AT ITER 2177 NEW BEST:: SOT 14067600 SOS 10197924 HAS SOPS 10196557 HAS SOUS 1045906 HAS SOUPS 1044673 WITH SCORE 1054870.924
AT ITER 2183 NEW BEST:: SOT 14062747 SOS 10193071 HAS SOPS 10191704 HAS SOUS 1042473 HAS SOUPS 1041240 WITH SCORE 1051433.071
AT ITER 2187 NEW BEST:: SOT 14060809 SOS 10191133 HAS SOPS 10189766 HAS SOUS 1038259 HAS SOUPS 1037026 WITH SCORE 1047217.133
AT ITER 2198 NEW BEST:: SOT 14055651 SOS 10185975 HAS SOPS 10184608 HAS SOUS 1036753 HAS SOUPS 1035520 WITH SCORE 1045705.975
AT ITER 2200 NEW BEST:: SOT 14059492 SOS 10189816 HAS SOPS 10188449 HAS SOUS 1031986 HAS SOUPS 1030753 WITH SCORE 1040942.816
AT ITER 2203 NEW BEST:: SOT 14059492 SOS 10187032 HAS SOPS 10185665 HAS SOUS 1031760 HAS SOUPS 1030527 WITH SCORE 1040714.032
AT ITER 2214 NEW BEST:: SOT 14059474 SOS 10202422 HAS SOPS 10201055 HAS SOUS 1031742 HAS SOUPS 1030509 WITH SCORE 1040711.422
AT ITER 2219 NEW BEST:: SOT 14059474 SOS 10201740 HAS SOPS 10200373 HAS SOUS 1031742 HAS SOUPS 1030509 WITH SCORE 1040710.74
AT ITER 2224 NEW BEST:: SOT 14062822 SOS 10205088 HAS SOPS 10203721 HAS SOUS 1024129 HAS SOUPS 1022896 WITH SCORE 1033101.088
AT ITER 2226 NEW BEST:: SOT 14062800 SOS 10205066 HAS SOPS 10203699 HAS SOUS 1024055 HAS SOUPS 1022822 WITH SCORE 1033027.066
AT ITER 2227 NEW BEST:: SOT 14062800 SOS 10204597 HAS SOPS 10203309 HAS SOUS 1023976 HAS SOUPS 1022822 WITH SCORE 1033026.597
AT ITER 2275 NEW BEST:: SOT 14066266 SOS 10208063 HAS SOPS 10206775 HAS SOUS 1023762 HAS SOUPS 1022608 WITH SCORE 1032816.063
AT ITER 2281 NEW BEST:: SOT 14066003 SOS 10207784 HAS SOPS 10206496 HAS SOUS 1023208 HAS SOUPS 1022054 WITH SCORE 1032261.784
AT ITER 2290 NEW BEST:: SOT 14063160 SOS 10224451 HAS SOPS 10223163 HAS SOUS 1020402 HAS SOUPS 1019248 WITH SCORE 1029472.451
AT ITER 2298 NEW BEST:: SOT 14063160 SOS 10218259 HAS SOPS 10216971 HAS SOUS 1020402 HAS SOUPS 1019248 WITH SCORE 1029466.259
AT ITER 2300 NEW BEST:: SOT 14063160 SOS 10218259 HAS SOPS 10216971 HAS SOUS 1020399 HAS SOUPS 1019245 WITH SCORE 1029463.259
AT ITER 2313 NEW BEST:: SOT 14064095 SOS 10219368 HAS SOPS 10218080 HAS SOUS 1019354 HAS SOUPS 1018200 WITH SCORE 1028419.368
AT ITER 2318 NEW BEST:: SOT 14064095 SOS 10219386 HAS SOPS 10218098 HAS SOUS 1019352 HAS SOUPS 1018198 WITH SCORE 1028417.386
AT ITER 2328 NEW BEST:: SOT 14062919 SOS 10218210 HAS SOPS 10216922 HAS SOUS 1018821 HAS SOUPS 1017667 WITH SCORE 1027885.21
AT ITER 2329 NEW BEST:: SOT 14063840 SOS 10219131 HAS SOPS 10217843 HAS SOUS 1018388 HAS SOUPS 1017234 WITH SCORE 1027453.131
AT ITER 2338 NEW BEST:: SOT 14063840 SOS 10219131 HAS SOPS 10217843 HAS SOUS 1018332 HAS SOUPS 1017178 WITH SCORE 1027397.131
AT ITER 2340 NEW BEST:: SOT 14065763 SOS 10221054 HAS SOPS 10219766 HAS SOUS 1018304 HAS SOUPS 1017150 WITH SCORE 1027371.054
AT ITER 2341 NEW BEST:: SOT 14065763 SOS 10220824 HAS SOPS 10219536 HAS SOUS 1018304 HAS SOUPS 1017150 WITH SCORE 1027370.824
AT ITER 2344 NEW BEST:: SOT 14058821 SOS 10213882 HAS SOPS 10212594 HAS SOUS 1016732 HAS SOUPS 1015578 WITH SCORE 1025791.882
AT ITER 2361 NEW BEST:: SOT 14058821 SOS 10216397 HAS SOPS 10215109 HAS SOUS 1016638 HAS SOUPS 1015484 WITH SCORE 1025700.397
AT ITER 2367 NEW BEST:: SOT 14059373 SOS 10216965 HAS SOPS 10215677 HAS SOUS 1016406 HAS SOUPS 1015252 WITH SCORE 1025468.965
AT ITER 2370 NEW BEST:: SOT 14061705 SOS 10218777 HAS SOPS 10217473 HAS SOUS 1012888 HAS SOUPS 1011718 WITH SCORE 1021936.777
AT ITER 2400 NEW BEST:: SOT 14061186 SOS 10218265 HAS SOPS 10216961 HAS SOUS 1012845 HAS SOUPS 1011675 WITH SCORE 1021893.265
AT ITER 2420 NEW BEST:: SOT 14061186 SOS 10211857 HAS SOPS 10210553 HAS SOUS 1012845 HAS SOUPS 1011675 WITH SCORE 1021886.857
AT ITER 2421 NEW BEST:: SOT 14061489 SOS 10212094 HAS SOPS 10210790 HAS SOUS 1010122 HAS SOUPS 1008952 WITH SCORE 1019164.094
AT ITER 2428 NEW BEST:: SOT 14057058 SOS 10207663 HAS SOPS 10206359 HAS SOUS 1006720 HAS SOUPS 1005550 WITH SCORE 1015757.663
AT ITER 2446 NEW BEST:: SOT 14056969 SOS 10207574 HAS SOPS 10206270 HAS SOUS 1006529 HAS SOUPS 1005359 WITH SCORE 1015566.574
AT ITER 2452 NEW BEST:: SOT 14056536 SOS 10207141 HAS SOPS 10205837 HAS SOUS 1005636 HAS SOUPS 1004466 WITH SCORE 1014673.141
AT ITER 2464 NEW BEST:: SOT 14056445 SOS 10194922 HAS SOPS 10193618 HAS SOUS 1005134 HAS SOUPS 1003964 WITH SCORE 1014158.922
AT ITER 2488 NEW BEST:: SOT 14056445 SOS 10194909 HAS SOPS 10193605 HAS SOUS 1005134 HAS SOUPS 1003964 WITH SCORE 1014158.909
AT ITER 2499 NEW BEST:: SOT 14056117 SOS 10194581 HAS SOPS 10193277 HAS SOUS 1005071 HAS SOUPS 1003901 WITH SCORE 1014095.581
AT ITER 2518 NEW BEST:: SOT 14058844 SOS 10197308 HAS SOPS 10196004 HAS SOUS 1003456 HAS SOUPS 1002286 WITH SCORE 1012483.308
AT ITER 2522 NEW BEST:: SOT 14058840 SOS 10197304 HAS SOPS 10196000 HAS SOUS 1003456 HAS SOUPS 1002286 WITH SCORE 1012483.304
AT ITER 2528 NEW BEST:: SOT 14058778 SOS 10197242 HAS SOPS 10195938 HAS SOUS 1003456 HAS SOUPS 1002286 WITH SCORE 1012483.242
AT ITER 2529 NEW BEST:: SOT 14058778 SOS 10195786 HAS SOPS 10194482 HAS SOUS 1003412 HAS SOUPS 1002242 WITH SCORE 1012437.786
AT ITER 2534 NEW BEST:: SOT 14058156 SOS 10195178 HAS SOPS 10193874 HAS SOUS 1001984 HAS SOUPS 1000814 WITH SCORE 1011009.178
AT ITER 2535 NEW BEST:: SOT 14058156 SOS 10195242 HAS SOPS 10193938 HAS SOUS 1001920 HAS SOUPS 1000750 WITH SCORE 1010945.242
AT ITER 2543 NEW BEST:: SOT 14058156 SOS 10193298 HAS SOPS 10191994 HAS SOUS 1001920 HAS SOUPS 1000750 WITH SCORE 1010943.298
AT ITER 2572 NEW BEST:: SOT 14058156 SOS 10184898 HAS SOPS 10183594 HAS SOUS 1001800 HAS SOUPS 1000630 WITH SCORE 1010814.898
AT ITER 2594 NEW BEST:: SOT 14058156 SOS 10184177 HAS SOPS 10182873 HAS SOUS 1001780 HAS SOUPS 1000610 WITH SCORE 1010794.177
AT ITER 2602 NEW BEST:: SOT 14060027 SOS 10186043 HAS SOPS 10184739 HAS SOUS 1001403 HAS SOUPS 1000233 WITH SCORE 1010419.043
AT ITER 2611 NEW BEST:: SOT 14060027 SOS 10191222 HAS SOPS 10189918 HAS SOUS 1001292 HAS SOUPS 1000122 WITH SCORE 1010313.222
AT ITER 2622 NEW BEST:: SOT 14060027 SOS 10191218 HAS SOPS 10189914 HAS SOUS 1001290 HAS SOUPS 1000120 WITH SCORE 1010311.218
AT ITER 2630 NEW BEST:: SOT 14060027 SOS 10184594 HAS SOPS 10183290 HAS SOUS 1001290 HAS SOUPS 1000120 WITH SCORE 1010304.594
AT ITER 2634 NEW BEST:: SOT 14060012 SOS 10184579 HAS SOPS 10183275 HAS SOUS 1001258 HAS SOUPS 1000088 WITH SCORE 1010272.579
AT ITER 2643 NEW BEST:: SOT 14060163 SOS 10184730 HAS SOPS 10183426 HAS SOUS 1001170 HAS SOUPS 1000000 WITH SCORE 1010184.73
AT ITER 2658 NEW BEST:: SOT 14060063 SOS 10184630 HAS SOPS 10183326 HAS SOUS 1000922 HAS SOUPS 999752 WITH SCORE 1009936.63
AT ITER 2666 NEW BEST:: SOT 14060063 SOS 10178726 HAS SOPS 10177422 HAS SOUS 1000840 HAS SOUPS 999670 WITH SCORE 1009848.726
AT ITER 2676 NEW BEST:: SOT 14060063 SOS 10177862 HAS SOPS 10176558 HAS SOUS 1000840 HAS SOUPS 999670 WITH SCORE 1009847.862
AT ITER 2690 NEW BEST:: SOT 14060063 SOS 10167206 HAS SOPS 10165902 HAS SOUS 1000840 HAS SOUPS 999670 WITH SCORE 1009837.206
AT ITER 2704 NEW BEST:: SOT 14060063 SOS 10162958 HAS SOPS 10161654 HAS SOUS 1000763 HAS SOUPS 999593 WITH SCORE 1009755.958
AT ITER 2715 NEW BEST:: SOT 14059937 SOS 10162832 HAS SOPS 10161528 HAS SOUS 1000673 HAS SOUPS 999503 WITH SCORE 1009665.832
AT ITER 2716 NEW BEST:: SOT 14059893 SOS 10162788 HAS SOPS 10161484 HAS SOUS 1000646 HAS SOUPS 999476 WITH SCORE 1009638.788
AT ITER 2719 NEW BEST:: SOT 14059893 SOS 10162820 HAS SOPS 10161516 HAS SOUS 1000614 HAS SOUPS 999444 WITH SCORE 1009606.82
AT ITER 2742 NEW BEST:: SOT 14065174 SOS 10168616 HAS SOPS 10167332 HAS SOUS 998977 HAS SOUPS 997827 WITH SCORE 1007995.616
AT ITER 2743 NEW BEST:: SOT 14065174 SOS 10164800 HAS SOPS 10163516 HAS SOUS 998977 HAS SOUPS 997827 WITH SCORE 1007991.8
AT ITER 2745 NEW BEST:: SOT 14061106 SOS 10160520 HAS SOPS 10159236 HAS SOUS 994012 HAS SOUPS 992862 WITH SCORE 1003022.52
AT ITER 2746 NEW BEST:: SOT 14061106 SOS 10160454 HAS SOPS 10159170 HAS SOUS 994012 HAS SOUPS 992862 WITH SCORE 1003022.454
AT ITER 2748 NEW BEST:: SOT 14061106 SOS 10150446 HAS SOPS 10149162 HAS SOUS 994012 HAS SOUPS 992862 WITH SCORE 1003012.446
AT ITER 2774 NEW BEST:: SOT 14062361 SOS 10151701 HAS SOPS 10150417 HAS SOUS 993263 HAS SOUPS 992113 WITH SCORE 1002264.701
AT ITER 2779 NEW BEST:: SOT 14062345 SOS 10151685 HAS SOPS 10150401 HAS SOUS 993198 HAS SOUPS 992048 WITH SCORE 1002199.685
AT ITER 2782 NEW BEST:: SOT 14062201 SOS 10151541 HAS SOPS 10150257 HAS SOUS 993054 HAS SOUPS 991904 WITH SCORE 1002055.541
AT ITER 2821 NEW BEST:: SOT 14062201 SOS 10151541 HAS SOPS 10150257 HAS SOUS 992982 HAS SOUPS 991832 WITH SCORE 1001983.541
AT ITER 2823 NEW BEST:: SOT 14062201 SOS 10150397 HAS SOPS 10149314 HAS SOUS 992580 HAS SOUPS 991631 WITH SCORE 1001781.397
AT ITER 2829 NEW BEST:: SOT 14062260 SOS 10150456 HAS SOPS 10149373 HAS SOUS 992565 HAS SOUPS 991616 WITH SCORE 1001766.456
AT ITER 2843 NEW BEST:: SOT 14061917 SOS 10150113 HAS SOPS 10149030 HAS SOUS 990135 HAS SOUPS 989186 WITH SCORE 999336.113
AT ITER 2844 NEW BEST:: SOT 14061917 SOS 10144569 HAS SOPS 10143486 HAS SOUS 989438 HAS SOUPS 988489 WITH SCORE 998633.569
AT ITER 2847 NEW BEST:: SOT 14063163 SOS 10145663 HAS SOPS 10144580 HAS SOUS 988957 HAS SOUPS 988008 WITH SCORE 998153.663
AT ITER 2857 NEW BEST:: SOT 14063163 SOS 10141343 HAS SOPS 10140260 HAS SOUS 988957 HAS SOUPS 988008 WITH SCORE 998149.343
AT ITER 2870 NEW BEST:: SOT 14071803 SOS 10149983 HAS SOPS 10148900 HAS SOUS 985380 HAS SOUPS 984431 WITH SCORE 994580.983
AT ITER 2888 NEW BEST:: SOT 14071749 SOS 10149929 HAS SOPS 10148846 HAS SOUS 985283 HAS SOUPS 984334 WITH SCORE 994483.929
AT ITER 2902 NEW BEST:: SOT 14071749 SOS 10148864 HAS SOPS 10147781 HAS SOUS 985283 HAS SOUPS 984334 WITH SCORE 994482.864
AT ITER 2908 NEW BEST:: SOT 14069482 SOS 10146597 HAS SOPS 10145514 HAS SOUS 982183 HAS SOUPS 981234 WITH SCORE 991380.597
AT ITER 2918 NEW BEST:: SOT 14069482 SOS 9858354 HAS SOPS 9857271 HAS SOUS 982126 HAS SOUPS 981177 WITH SCORE 991035.354
AT ITER 2924 NEW BEST:: SOT 14082631 SOS 9871503 HAS SOPS 9870420 HAS SOUS 973212 HAS SOUPS 972263 WITH SCORE 982134.503
AT ITER 2928 NEW BEST:: SOT 14082570 SOS 9871974 HAS SOPS 9870815 HAS SOUS 972858 HAS SOUPS 971833 WITH SCORE 981704.974
AT ITER 2930 NEW BEST:: SOT 14078009 SOS 9867413 HAS SOPS 9866254 HAS SOUS 969613 HAS SOUPS 968588 WITH SCORE 978455.413
AT ITER 2944 NEW BEST:: SOT 14076701 SOS 9866105 HAS SOPS 9864946 HAS SOUS 966966 HAS SOUPS 965941 WITH SCORE 975807.105
AT ITER 2950 NEW BEST:: SOT 14080654 SOS 9870058 HAS SOPS 9868899 HAS SOUS 963153 HAS SOUPS 962128 WITH SCORE 971998.058
AT ITER 2952 NEW BEST:: SOT 14078791 SOS 9867563 HAS SOPS 9866483 HAS SOUS 960068 HAS SOUPS 959122 WITH SCORE 968989.563
AT ITER 2954 NEW BEST:: SOT 14074982 SOS 9865204 HAS SOPS 9864258 HAS SOUS 956604 HAS SOUPS 955658 WITH SCORE 965523.204
AT ITER 2975 NEW BEST:: SOT 14081017 SOS 9871440 HAS SOPS 9870368 HAS SOUS 952527 HAS SOUPS 951516 WITH SCORE 961387.44
AT ITER 2984 NEW BEST:: SOT 14081017 SOS 9870792 HAS SOPS 9869720 HAS SOUS 952527 HAS SOUPS 951516 WITH SCORE 961386.792
AT ITER 2991 NEW BEST:: SOT 14081017 SOS 9870792 HAS SOPS 9869720 HAS SOUS 952480 HAS SOUPS 951469 WITH SCORE 961339.792
AT ITER 3017 NEW BEST:: SOT 14082568 SOS 9872130 HAS SOPS 9871092 HAS SOUS 952031 HAS SOUPS 951054 WITH SCORE 960926.13
AT ITER 3034 NEW BEST:: SOT 14082568 SOS 9870848 HAS SOPS 9869810 HAS SOUS 951822 HAS SOUPS 950845 WITH SCORE 960715.848
AT ITER 3074 NEW BEST:: SOT 14082568 SOS 9870822 HAS SOPS 9869784 HAS SOUS 951822 HAS SOUPS 950845 WITH SCORE 960715.822
AT ITER 3083 NEW BEST:: SOT 14080685 SOS 9883622 HAS SOPS 9883068 HAS SOUS 948342 HAS SOUPS 947849 WITH SCORE 957732.622
AT ITER 3090 NEW BEST:: SOT 14080685 SOS 9878150 HAS SOPS 9877596 HAS SOUS 948342 HAS SOUPS 947849 WITH SCORE 957727.15
AT ITER 3103 NEW BEST:: SOT 14068226 SOS 9865691 HAS SOPS 9865137 HAS SOUS 942491 HAS SOUPS 941998 WITH SCORE 951863.691
AT ITER 3119 NEW BEST:: SOT 14068294 SOS 9865759 HAS SOPS 9865205 HAS SOUS 942377 HAS SOUPS 941884 WITH SCORE 951749.759
AT ITER 3134 NEW BEST:: SOT 14065487 SOS 9862952 HAS SOPS 9862398 HAS SOUS 936706 HAS SOUPS 936213 WITH SCORE 946075.952
AT ITER 3163 NEW BEST:: SOT 14065487 SOS 9862952 HAS SOPS 9862398 HAS SOUS 936557 HAS SOUPS 936064 WITH SCORE 945926.952
AT ITER 3195 NEW BEST:: SOT 14064883 SOS 9862348 HAS SOPS 9861794 HAS SOUS 935104 HAS SOUPS 934611 WITH SCORE 944473.348
AT ITER 3196 NEW BEST:: SOT 14064662 SOS 9862127 HAS SOPS 9861573 HAS SOUS 934606 HAS SOUPS 934113 WITH SCORE 943975.127
AT ITER 3208 NEW BEST:: SOT 14064662 SOS 9858959 HAS SOPS 9858405 HAS SOUS 934606 HAS SOUPS 934113 WITH SCORE 943971.959
AT ITER 3210 NEW BEST:: SOT 14065678 SOS 9859975 HAS SOPS 9859421 HAS SOUS 932078 HAS SOUPS 931585 WITH SCORE 941444.975
AT ITER 3215 NEW BEST:: SOT 14066855 SOS 9861206 HAS SOPS 9860652 HAS SOUS 931274 HAS SOUPS 930781 WITH SCORE 940642.206
AT ITER 3232 NEW BEST:: SOT 14067174 SOS 9860656 HAS SOPS 9860214 HAS SOUS 929751 HAS SOUPS 929370 WITH SCORE 939230.656
AT ITER 3269 NEW BEST:: SOT 14067057 SOS 9860539 HAS SOPS 9860097 HAS SOUS 929628 HAS SOUPS 929247 WITH SCORE 939107.539
AT ITER 3279 NEW BEST:: SOT 14067057 SOS 9864753 HAS SOPS 9864311 HAS SOUS 929569 HAS SOUPS 929188 WITH SCORE 939052.753
AT ITER 3312 NEW BEST:: SOT 14064167 SOS 9861179 HAS SOPS 9860737 HAS SOUS 929157 HAS SOUPS 928776 WITH SCORE 938637.179
AT ITER 3314 NEW BEST:: SOT 14063874 SOS 9864803 HAS SOPS 9864361 HAS SOUS 928743 HAS SOUPS 928362 WITH SCORE 938226.803
AT ITER 3328 NEW BEST:: SOT 14063838 SOS 9864767 HAS SOPS 9864325 HAS SOUS 928707 HAS SOUPS 928326 WITH SCORE 938190.767
AT ITER 3336 NEW BEST:: SOT 14064128 SOS 9865057 HAS SOPS 9864615 HAS SOUS 927735 HAS SOUPS 927354 WITH SCORE 937219.057
AT ITER 3346 NEW BEST:: SOT 14063921 SOS 9864850 HAS SOPS 9864408 HAS SOUS 927528 HAS SOUPS 927147 WITH SCORE 937011.85
AT ITER 3354 NEW BEST:: SOT 14063921 SOS 9866299 HAS SOPS 9865857 HAS SOUS 927507 HAS SOUPS 927126 WITH SCORE 936992.299
AT ITER 3381 NEW BEST:: SOT 14059257 SOS 9861635 HAS SOPS 9861193 HAS SOUS 919228 HAS SOUPS 918847 WITH SCORE 928708.635
AT ITER 3382 NEW BEST:: SOT 14058261 SOS 9860639 HAS SOPS 9860197 HAS SOUS 918461 HAS SOUPS 918080 WITH SCORE 927940.639
AT ITER 3384 NEW BEST:: SOT 14058261 SOS 9852791 HAS SOPS 9852349 HAS SOUS 918461 HAS SOUPS 918080 WITH SCORE 927932.791
AT ITER 3396 NEW BEST:: SOT 14059963 SOS 9854493 HAS SOPS 9854051 HAS SOUS 916840 HAS SOUPS 916459 WITH SCORE 926313.493
AT ITER 3412 NEW BEST:: SOT 14059963 SOS 9845061 HAS SOPS 9844619 HAS SOUS 916840 HAS SOUPS 916459 WITH SCORE 926304.061
AT ITER 3415 NEW BEST:: SOT 14057351 SOS 9842382 HAS SOPS 9841940 HAS SOUS 916710 HAS SOUPS 916329 WITH SCORE 926171.382
AT ITER 3417 NEW BEST:: SOT 14060638 SOS 9845669 HAS SOPS 9845227 HAS SOUS 916639 HAS SOUPS 916258 WITH SCORE 926103.669
AT ITER 3418 NEW BEST:: SOT 14062995 SOS 9848426 HAS SOPS 9847984 HAS SOUS 914432 HAS SOUPS 914051 WITH SCORE 923899.426
AT ITER 3434 NEW BEST:: SOT 14064248 SOS 9849679 HAS SOPS 9849237 HAS SOUS 913998 HAS SOUPS 913617 WITH SCORE 923466.679
AT ITER 3453 NEW BEST:: SOT 14071543 SOS 9856974 HAS SOPS 9856532 HAS SOUS 911213 HAS SOUPS 910832 WITH SCORE 920688.974
AT ITER 3454 NEW BEST:: SOT 14071279 SOS 9856704 HAS SOPS 9856266 HAS SOUS 911055 HAS SOUPS 910676 WITH SCORE 920532.704
AT ITER 3473 NEW BEST:: SOT 14071279 SOS 9859832 HAS SOPS 9859394 HAS SOUS 910999 HAS SOUPS 910620 WITH SCORE 920479.832
AT ITER 3487 NEW BEST:: SOT 14071279 SOS 9859626 HAS SOPS 9859188 HAS SOUS 910896 HAS SOUPS 910517 WITH SCORE 920376.626
AT ITER 3489 NEW BEST:: SOT 14071279 SOS 9859552 HAS SOPS 9859114 HAS SOUS 910859 HAS SOUPS 910480 WITH SCORE 920339.552
AT ITER 3492 NEW BEST:: SOT 14070859 SOS 9859132 HAS SOPS 9858694 HAS SOUS 910567 HAS SOUPS 910188 WITH SCORE 920047.132
AT ITER 3504 NEW BEST:: SOT 14069112 SOS 9857385 HAS SOPS 9856947 HAS SOUS 909172 HAS SOUPS 908793 WITH SCORE 918650.385
AT ITER 3506 NEW BEST:: SOT 14069112 SOS 9854153 HAS SOPS 9853715 HAS SOUS 908937 HAS SOUPS 908558 WITH SCORE 918412.153
AT ITER 3511 NEW BEST:: SOT 14069062 SOS 9854103 HAS SOPS 9853665 HAS SOUS 908887 HAS SOUPS 908508 WITH SCORE 918362.103
AT ITER 3522 NEW BEST:: SOT 14069091 SOS 9854132 HAS SOPS 9853694 HAS SOUS 908873 HAS SOUPS 908494 WITH SCORE 918348.132
AT ITER 3530 NEW BEST:: SOT 14069091 SOS 9850350 HAS SOPS 9849912 HAS SOUS 908873 HAS SOUPS 908494 WITH SCORE 918344.35
AT ITER 3559 NEW BEST:: SOT 14069000 SOS 9858763 HAS SOPS 9858325 HAS SOUS 908031 HAS SOUPS 907652 WITH SCORE 917510.763
AT ITER 3561 NEW BEST:: SOT 14069000 SOS 9875035 HAS SOPS 9874597 HAS SOUS 907959 HAS SOUPS 907580 WITH SCORE 917455.035
AT ITER 3588 NEW BEST:: SOT 14068389 SOS 9874424 HAS SOPS 9873986 HAS SOUS 903020 HAS SOUPS 902641 WITH SCORE 912515.424
AT ITER 3602 NEW BEST:: SOT 14068361 SOS 9874396 HAS SOPS 9873958 HAS SOUS 902989 HAS SOUPS 902610 WITH SCORE 912484.396
AT ITER 3607 NEW BEST:: SOT 14068349 SOS 9874384 HAS SOPS 9873946 HAS SOUS 902977 HAS SOUPS 902598 WITH SCORE 912472.384
AT ITER 3609 NEW BEST:: SOT 14068349 SOS 9874347 HAS SOPS 9873909 HAS SOUS 902940 HAS SOUPS 902561 WITH SCORE 912435.347
AT ITER 3613 NEW BEST:: SOT 14068312 SOS 9874310 HAS SOPS 9873872 HAS SOUS 902939 HAS SOUPS 902560 WITH SCORE 912434.31
AT ITER 3616 NEW BEST:: SOT 14068292 SOS 9874290 HAS SOPS 9873852 HAS SOUS 902919 HAS SOUPS 902540 WITH SCORE 912414.29
AT ITER 3644 NEW BEST:: SOT 14068292 SOS 9872582 HAS SOPS 9872144 HAS SOUS 902857 HAS SOUPS 902478 WITH SCORE 912350.582
AT ITER 3650 NEW BEST:: SOT 14069477 SOS 9873767 HAS SOPS 9873329 HAS SOUS 901986 HAS SOUPS 901607 WITH SCORE 911480.767
AT ITER 3675 NEW BEST:: SOT 14069467 SOS 9873757 HAS SOPS 9873319 HAS SOUS 901976 HAS SOUPS 901597 WITH SCORE 911470.757
AT ITER 3709 NEW BEST:: SOT 14069467 SOS 9864253 HAS SOPS 9863815 HAS SOUS 901976 HAS SOUPS 901597 WITH SCORE 911461.253
AT ITER 3744 NEW BEST:: SOT 14069527 SOS 9864313 HAS SOPS 9863875 HAS SOUS 901966 HAS SOUPS 901587 WITH SCORE 911451.313
AT ITER 3750 NEW BEST:: SOT 14068359 SOS 9863145 HAS SOPS 9862707 HAS SOUS 899294 HAS SOUPS 898915 WITH SCORE 908778.145
AT ITER 3753 NEW BEST:: SOT 14068359 SOS 9856089 HAS SOPS 9855651 HAS SOUS 899294 HAS SOUPS 898915 WITH SCORE 908771.089
AT ITER 3757 NEW BEST:: SOT 14068359 SOS 9853847 HAS SOPS 9853409 HAS SOUS 899136 HAS SOUPS 898757 WITH SCORE 908610.847
AT ITER 3778 NEW BEST:: SOT 14065803 SOS 9851291 HAS SOPS 9850853 HAS SOUS 897430 HAS SOUPS 897051 WITH SCORE 906902.291
AT ITER 3786 NEW BEST:: SOT 14065341 SOS 9850829 HAS SOPS 9850391 HAS SOUS 897096 HAS SOUPS 896717 WITH SCORE 906567.829
AT ITER 3797 NEW BEST:: SOT 14062356 SOS 9847844 HAS SOPS 9847406 HAS SOUS 894187 HAS SOUPS 893808 WITH SCORE 903655.844
AT ITER 3800 NEW BEST:: SOT 14058176 SOS 9843664 HAS SOPS 9843226 HAS SOUS 889534 HAS SOUPS 889155 WITH SCORE 898998.664
AT ITER 3844 NEW BEST:: SOT 14057961 SOS 9843449 HAS SOPS 9843011 HAS SOUS 889358 HAS SOUPS 888979 WITH SCORE 898822.449
AT ITER 3859 NEW BEST:: SOT 14057543 SOS 9843031 HAS SOPS 9842593 HAS SOUS 888514 HAS SOUPS 888135 WITH SCORE 897978.031
AT ITER 3878 NEW BEST:: SOT 14055021 SOS 9841087 HAS SOPS 9840649 HAS SOUS 888375 HAS SOUPS 887996 WITH SCORE 897837.087
AT ITER 3920 NEW BEST:: SOT 14053863 SOS 9839929 HAS SOPS 9839491 HAS SOUS 885999 HAS SOUPS 885620 WITH SCORE 895459.929
AT ITER 3954 NEW BEST:: SOT 14053857 SOS 9839923 HAS SOPS 9839485 HAS SOUS 885996 HAS SOUPS 885617 WITH SCORE 895456.923
AT ITER 3978 NEW BEST:: SOT 14051462 SOS 9837528 HAS SOPS 9837090 HAS SOUS 884426 HAS SOUPS 884047 WITH SCORE 893884.528
AT ITER 3996 NEW BEST:: SOT 14047929 SOS 9833970 HAS SOPS 9833532 HAS SOUS 879525 HAS SOUPS 879146 WITH SCORE 888979.97
AT ITER 4005 NEW BEST:: SOT 14047653 SOS 9833694 HAS SOPS 9833256 HAS SOUS 878946 HAS SOUPS 878567 WITH SCORE 888400.694
AT ITER 4023 NEW BEST:: SOT 14048282 SOS 9834323 HAS SOPS 9833885 HAS SOUS 877764 HAS SOUPS 877385 WITH SCORE 887219.323
AT ITER 4032 NEW BEST:: SOT 14049260 SOS 9835301 HAS SOPS 9834863 HAS SOUS 874769 HAS SOUPS 874390 WITH SCORE 884225.301
AT ITER 4040 NEW BEST:: SOT 14049275 SOS 9835316 HAS SOPS 9834878 HAS SOUS 874664 HAS SOUPS 874285 WITH SCORE 884120.316
AT ITER 4047 NEW BEST:: SOT 14051116 SOS 9837270 HAS SOPS 9836811 HAS SOUS 873375 HAS SOUPS 872987 WITH SCORE 882824.27
AT ITER 4049 NEW BEST:: SOT 14050368 SOS 9837834 HAS SOPS 9837375 HAS SOUS 869762 HAS SOUPS 869374 WITH SCORE 879211.834
AT ITER 4056 NEW BEST:: SOT 14050266 SOS 9837732 HAS SOPS 9837273 HAS SOUS 869663 HAS SOUPS 869275 WITH SCORE 879112.732
AT ITER 4059 NEW BEST:: SOT 14050194 SOS 9837660 HAS SOPS 9837201 HAS SOUS 869567 HAS SOUPS 869179 WITH SCORE 879016.66
AT ITER 4063 NEW BEST:: SOT 14050194 SOS 9837660 HAS SOPS 9837201 HAS SOUS 869559 HAS SOUPS 869171 WITH SCORE 879008.66
AT ITER 4082 NEW BEST:: SOT 14050194 SOS 9837588 HAS SOPS 9837129 HAS SOUS 869559 HAS SOUPS 869171 WITH SCORE 879008.588
AT ITER 4092 NEW BEST:: SOT 14050194 SOS 9837450 HAS SOPS 9836991 HAS SOUS 869380 HAS SOUPS 868992 WITH SCORE 878829.45
AT ITER 4094 NEW BEST:: SOT 14048771 SOS 9836027 HAS SOPS 9835568 HAS SOUS 868019 HAS SOUPS 867631 WITH SCORE 877467.027
AT ITER 4100 NEW BEST:: SOT 14048771 SOS 9838691 HAS SOPS 9838232 HAS SOUS 867813 HAS SOUPS 867425 WITH SCORE 877263.691
AT ITER 4112 NEW BEST:: SOT 14049503 SOS 9839423 HAS SOPS 9838964 HAS SOUS 865813 HAS SOUPS 865425 WITH SCORE 875264.423
AT ITER 4120 NEW BEST:: SOT 14049443 SOS 9839363 HAS SOPS 9838904 HAS SOUS 865690 HAS SOUPS 865302 WITH SCORE 875141.363
AT ITER 4134 NEW BEST:: SOT 14049409 SOS 9839329 HAS SOPS 9838870 HAS SOUS 865637 HAS SOUPS 865249 WITH SCORE 875088.329
AT ITER 4135 NEW BEST:: SOT 14049409 SOS 9839652 HAS SOPS 9839193 HAS SOUS 865570 HAS SOUPS 865182 WITH SCORE 875021.652
AT ITER 4141 NEW BEST:: SOT 14049409 SOS 9839652 HAS SOPS 9839193 HAS SOUS 865496 HAS SOUPS 865108 WITH SCORE 874947.652
AT ITER 4161 NEW BEST:: SOT 14049409 SOS 9837492 HAS SOPS 9837033 HAS SOUS 865496 HAS SOUPS 865108 WITH SCORE 874945.492
AT ITER 4197 NEW BEST:: SOT 14049417 SOS 9837420 HAS SOPS 9836961 HAS SOUS 865496 HAS SOUPS 865108 WITH SCORE 874945.42
AT ITER 4232 NEW BEST:: SOT 14049417 SOS 9829788 HAS SOPS 9829329 HAS SOUS 865496 HAS SOUPS 865108 WITH SCORE 874937.788
AT ITER 4254 NEW BEST:: SOT 14047528 SOS 9827899 HAS SOPS 9827440 HAS SOUS 861671 HAS SOUPS 861283 WITH SCORE 871110.899
AT ITER 4255 NEW BEST:: SOT 14047528 SOS 9826963 HAS SOPS 9826504 HAS SOUS 861671 HAS SOUPS 861283 WITH SCORE 871109.963
AT ITER 4264 NEW BEST:: SOT 14046968 SOS 9826403 HAS SOPS 9825944 HAS SOUS 861532 HAS SOUPS 861144 WITH SCORE 870970.403
AT ITER 4279 NEW BEST:: SOT 14046968 SOS 9826156 HAS SOPS 9825731 HAS SOUS 861328 HAS SOUPS 860974 WITH SCORE 870800.156
AT ITER 4283 NEW BEST:: SOT 14046268 SOS 9825339 HAS SOPS 9824914 HAS SOUS 860696 HAS SOUPS 860342 WITH SCORE 870167.339
AT ITER 4315 NEW BEST:: SOT 14045686 SOS 9824757 HAS SOPS 9824332 HAS SOUS 860450 HAS SOUPS 860096 WITH SCORE 869920.757
AT ITER 4318 NEW BEST:: SOT 14045686 SOS 9824757 HAS SOPS 9824332 HAS SOUS 860354 HAS SOUPS 860000 WITH SCORE 869824.757
AT ITER 4322 NEW BEST:: SOT 14043113 SOS 9822184 HAS SOPS 9821759 HAS SOUS 857522 HAS SOUPS 857168 WITH SCORE 866990.184
AT ITER 4344 NEW BEST:: SOT 14043113 SOS 9765352 HAS SOPS 9764927 HAS SOUS 857472 HAS SOUPS 857118 WITH SCORE 866883.352
AT ITER 4366 NEW BEST:: SOT 14043113 SOS 9765321 HAS SOPS 9764896 HAS SOUS 857428 HAS SOUPS 857074 WITH SCORE 866839.321
AT ITER 4380 NEW BEST:: SOT 14043163 SOS 9765371 HAS SOPS 9764946 HAS SOUS 857412 HAS SOUPS 857058 WITH SCORE 866823.371
AT ITER 4384 NEW BEST:: SOT 14043163 SOS 9765323 HAS SOPS 9764898 HAS SOUS 857388 HAS SOUPS 857034 WITH SCORE 866799.323
AT ITER 4397 NEW BEST:: SOT 14043285 SOS 9765807 HAS SOPS 9765382 HAS SOUS 857093 HAS SOUPS 856739 WITH SCORE 866504.807
AT ITER 4404 NEW BEST:: SOT 14043397 SOS 9764754 HAS SOPS 9764329 HAS SOUS 856548 HAS SOUPS 856194 WITH SCORE 865958.754
AT ITER 4424 NEW BEST:: SOT 14043397 SOS 9764738 HAS SOPS 9764313 HAS SOUS 856516 HAS SOUPS 856162 WITH SCORE 865926.738
AT ITER 4474 NEW BEST:: SOT 14044567 SOS 9765698 HAS SOPS 9765303 HAS SOUS 856003 HAS SOUPS 855679 WITH SCORE 865444.698
AT ITER 4502 NEW BEST:: SOT 14044567 SOS 9765482 HAS SOPS 9765087 HAS SOUS 856003 HAS SOUPS 855679 WITH SCORE 865444.482
AT ITER 4527 NEW BEST:: SOT 14044567 SOS 9765416 HAS SOPS 9765021 HAS SOUS 855970 HAS SOUPS 855646 WITH SCORE 865411.416
AT ITER 4536 NEW BEST:: SOT 14044551 SOS 9765400 HAS SOPS 9765005 HAS SOUS 855923 HAS SOUPS 855599 WITH SCORE 865364.4
AT ITER 4563 NEW BEST:: SOT 14034719 SOS 9755568 HAS SOPS 9755173 HAS SOUS 852727 HAS SOUPS 852403 WITH SCORE 862158.568
AT ITER 4564 NEW BEST:: SOT 14034719 SOS 9735691 HAS SOPS 9734616 HAS SOUS 851809 HAS SOUPS 850863 WITH SCORE 860598.691
AT ITER 4579 NEW BEST:: SOT 14035228 SOS 9736200 HAS SOPS 9735125 HAS SOUS 851799 HAS SOUPS 850853 WITH SCORE 860589.2
AT ITER 4586 NEW BEST:: SOT 14034534 SOS 9735506 HAS SOPS 9734431 HAS SOUS 850797 HAS SOUPS 849851 WITH SCORE 859586.506
AT ITER 4593 NEW BEST:: SOT 14034738 SOS 9735710 HAS SOPS 9734635 HAS SOUS 849077 HAS SOUPS 848131 WITH SCORE 857866.71
AT ITER 4609 NEW BEST:: SOT 14034713 SOS 9735685 HAS SOPS 9734610 HAS SOUS 848988 HAS SOUPS 848042 WITH SCORE 857777.685
AT ITER 4614 NEW BEST:: SOT 14033596 SOS 9734568 HAS SOPS 9733493 HAS SOUS 848681 HAS SOUPS 847735 WITH SCORE 857469.568
AT ITER 4619 NEW BEST:: SOT 14033596 SOS 9732192 HAS SOPS 9731117 HAS SOUS 848681 HAS SOUPS 847735 WITH SCORE 857467.192
AT ITER 4634 NEW BEST:: SOT 14033596 SOS 9732120 HAS SOPS 9731045 HAS SOUS 848681 HAS SOUPS 847735 WITH SCORE 857467.12
AT ITER 4651 NEW BEST:: SOT 14034818 SOS 9733342 HAS SOPS 9732267 HAS SOUS 848035 HAS SOUPS 847089 WITH SCORE 856822.342
AT ITER 4654 NEW BEST:: SOT 14034136 SOS 9732682 HAS SOPS 9731607 HAS SOUS 847764 HAS SOUPS 846818 WITH SCORE 856550.682
AT ITER 4656 NEW BEST:: SOT 14035851 SOS 9734463 HAS SOPS 9733388 HAS SOUS 847443 HAS SOUPS 846497 WITH SCORE 856231.463
AT ITER 4674 NEW BEST:: SOT 14035851 SOS 9734463 HAS SOPS 9733388 HAS SOUS 847354 HAS SOUPS 846408 WITH SCORE 856142.463
AT ITER 4687 NEW BEST:: SOT 14035851 SOS 9734435 HAS SOPS 9733360 HAS SOUS 847350 HAS SOUPS 846404 WITH SCORE 856138.435
AT ITER 4692 NEW BEST:: SOT 14035851 SOS 9734075 HAS SOPS 9733000 HAS SOUS 847350 HAS SOUPS 846404 WITH SCORE 856138.075
AT ITER 4707 NEW BEST:: SOT 14033348 SOS 9731572 HAS SOPS 9730497 HAS SOUS 845826 HAS SOUPS 844880 WITH SCORE 854611.572
AT ITER 4723 NEW BEST:: SOT 14033348 SOS 9730636 HAS SOPS 9729561 HAS SOUS 845826 HAS SOUPS 844880 WITH SCORE 854610.636
AT ITER 4793 NEW BEST:: SOT 14034013 SOS 9731301 HAS SOPS 9730226 HAS SOUS 845460 HAS SOUPS 844514 WITH SCORE 854245.301
AT ITER 4804 NEW BEST:: SOT 14034013 SOS 9731057 HAS SOPS 9729982 HAS SOUS 845338 HAS SOUPS 844392 WITH SCORE 854123.057
AT ITER 4819 NEW BEST:: SOT 14035773 SOS 9733553 HAS SOPS 9732478 HAS SOUS 844974 HAS SOUPS 844028 WITH SCORE 853761.553
AT ITER 4830 NEW BEST:: SOT 14035773 SOS 9732185 HAS SOPS 9731110 HAS SOUS 844974 HAS SOUPS 844028 WITH SCORE 853760.185
AT ITER 4855 NEW BEST:: SOT 14036209 SOS 9732621 HAS SOPS 9731546 HAS SOUS 844368 HAS SOUPS 843422 WITH SCORE 853154.621
AT ITER 4857 NEW BEST:: SOT 14036355 SOS 9732767 HAS SOPS 9731692 HAS SOUS 840676 HAS SOUPS 839730 WITH SCORE 849462.767
AT ITER 4863 NEW BEST:: SOT 14036355 SOS 9728519 HAS SOPS 9727444 HAS SOUS 840676 HAS SOUPS 839730 WITH SCORE 849458.519
AT ITER 4870 NEW BEST:: SOT 14030231 SOS 9722395 HAS SOPS 9721320 HAS SOUS 840157 HAS SOUPS 839211 WITH SCORE 848933.395
AT ITER 4876 NEW BEST:: SOT 14030155 SOS 9721509 HAS SOPS 9720524 HAS SOUS 838922 HAS SOUPS 838066 WITH SCORE 847787.509
AT ITER 4899 NEW BEST:: SOT 14030155 SOS 9726748 HAS SOPS 9725763 HAS SOUS 838907 HAS SOUPS 838051 WITH SCORE 847777.748
AT ITER 4979 NEW BEST:: SOT 14031942 SOS 9728577 HAS SOPS 9727592 HAS SOUS 836594 HAS SOUPS 835738 WITH SCORE 845466.577
AT ITER 4982 NEW BEST:: SOT 14032549 SOS 9729174 HAS SOPS 9728189 HAS SOUS 835976 HAS SOUPS 835120 WITH SCORE 844849.174
AT ITER 4987 NEW BEST:: SOT 14032549 SOS 9727754 HAS SOPS 9726769 HAS SOUS 835861 HAS SOUPS 835005 WITH SCORE 844732.754
AT ITER 4989 NEW BEST:: SOT 14032837 SOS 9728084 HAS SOPS 9727099 HAS SOUS 835620 HAS SOUPS 834764 WITH SCORE 844492.084
AT ITER 5048 NEW BEST:: SOT 14031786 SOS 9727033 HAS SOPS 9726048 HAS SOUS 833749 HAS SOUPS 832893 WITH SCORE 842620.033
AT ITER 5057 NEW BEST:: SOT 14031786 SOS 9734251 HAS SOPS 9733266 HAS SOUS 833648 HAS SOUPS 832792 WITH SCORE 842526.251
AT ITER 5060 NEW BEST:: SOT 14031707 SOS 9734172 HAS SOPS 9733187 HAS SOUS 833569 HAS SOUPS 832713 WITH SCORE 842447.172
AT ITER 5065 NEW BEST:: SOT 14029836 SOS 9732301 HAS SOPS 9731316 HAS SOUS 832088 HAS SOUPS 831232 WITH SCORE 840964.301
AT ITER 5072 NEW BEST:: SOT 14030167 SOS 9732632 HAS SOPS 9731647 HAS SOUS 830653 HAS SOUPS 829797 WITH SCORE 839529.632
AT ITER 5076 NEW BEST:: SOT 14028771 SOS 9731236 HAS SOPS 9730251 HAS SOUS 829509 HAS SOUPS 828653 WITH SCORE 838384.236
AT ITER 5079 NEW BEST:: SOT 14028727 SOS 9731192 HAS SOPS 9730207 HAS SOUS 829465 HAS SOUPS 828609 WITH SCORE 838340.192
AT ITER 5091 NEW BEST:: SOT 14028542 SOS 9730997 HAS SOPS 9730018 HAS SOUS 829343 HAS SOUPS 828489 WITH SCORE 838219.997
AT ITER 5100 NEW BEST:: SOT 14028675 SOS 9731130 HAS SOPS 9730151 HAS SOUS 828886 HAS SOUPS 828032 WITH SCORE 837763.13
AT ITER 5103 NEW BEST:: SOT 14028675 SOS 9725442 HAS SOPS 9724463 HAS SOUS 828886 HAS SOUPS 828032 WITH SCORE 837757.442
AT ITER 5105 NEW BEST:: SOT 14028601 SOS 9725368 HAS SOPS 9724389 HAS SOUS 828849 HAS SOUPS 827995 WITH SCORE 837720.368
AT ITER 5107 NEW BEST:: SOT 14029441 SOS 9726208 HAS SOPS 9725229 HAS SOUS 828399 HAS SOUPS 827545 WITH SCORE 837271.208
AT ITER 5112 NEW BEST:: SOT 14029274 SOS 9726310 HAS SOPS 9725331 HAS SOUS 828350 HAS SOUPS 827496 WITH SCORE 837222.31
AT ITER 5118 NEW BEST:: SOT 14029274 SOS 9731164 HAS SOPS 9730185 HAS SOUS 828322 HAS SOUPS 827468 WITH SCORE 837199.164
AT ITER 5130 NEW BEST:: SOT 14028944 SOS 9730834 HAS SOPS 9729855 HAS SOUS 827992 HAS SOUPS 827138 WITH SCORE 836868.834
AT ITER 5132 NEW BEST:: SOT 14028934 SOS 9730824 HAS SOPS 9729845 HAS SOUS 827980 HAS SOUPS 827126 WITH SCORE 836856.824
AT ITER 5140 NEW BEST:: SOT 14028934 SOS 9730824 HAS SOPS 9729845 HAS SOUS 827896 HAS SOUPS 827042 WITH SCORE 836772.824
AT ITER 5143 NEW BEST:: SOT 14029058 SOS 9730891 HAS SOPS 9729921 HAS SOUS 827595 HAS SOUPS 826750 WITH SCORE 836480.891
AT ITER 5153 NEW BEST:: SOT 14028731 SOS 9730564 HAS SOPS 9729594 HAS SOUS 826935 HAS SOUPS 826090 WITH SCORE 835820.564
AT ITER 5164 NEW BEST:: SOT 14028731 SOS 9730549 HAS SOPS 9729579 HAS SOUS 826891 HAS SOUPS 826046 WITH SCORE 835776.549
AT ITER 5169 NEW BEST:: SOT 14028731 SOS 9729973 HAS SOPS 9729003 HAS SOUS 826891 HAS SOUPS 826046 WITH SCORE 835775.973
AT ITER 5177 NEW BEST:: SOT 14028731 SOS 9729253 HAS SOPS 9728283 HAS SOUS 826891 HAS SOUPS 826046 WITH SCORE 835775.253
AT ITER 5181 NEW BEST:: SOT 14026966 SOS 9725338 HAS SOPS 9724368 HAS SOUS 825938 HAS SOUPS 825093 WITH SCORE 834818.338
AT ITER 5187 NEW BEST:: SOT 14025618 SOS 9723990 HAS SOPS 9723020 HAS SOUS 824902 HAS SOUPS 824057 WITH SCORE 833780.99
AT ITER 5188 NEW BEST:: SOT 14025618 SOS 9723702 HAS SOPS 9722732 HAS SOUS 824902 HAS SOUPS 824057 WITH SCORE 833780.702
AT ITER 5204 NEW BEST:: SOT 14025618 SOS 9718592 HAS SOPS 9717622 HAS SOUS 824832 HAS SOUPS 823987 WITH SCORE 833705.592
AT ITER 5209 NEW BEST:: SOT 14028132 SOS 9721390 HAS SOPS 9720420 HAS SOUS 822349 HAS SOUPS 821504 WITH SCORE 831225.39
AT ITER 5261 NEW BEST:: SOT 14028132 SOS 9724918 HAS SOPS 9723948 HAS SOUS 822300 HAS SOUPS 821455 WITH SCORE 831179.918
AT ITER 5269 NEW BEST:: SOT 14028112 SOS 9724898 HAS SOPS 9723928 HAS SOUS 822290 HAS SOUPS 821445 WITH SCORE 831169.898
AT ITER 5281 NEW BEST:: SOT 14026806 SOS 9723592 HAS SOPS 9722622 HAS SOUS 821800 HAS SOUPS 820955 WITH SCORE 830678.592
AT ITER 5288 NEW BEST:: SOT 14026609 SOS 9723395 HAS SOPS 9722425 HAS SOUS 821783 HAS SOUPS 820938 WITH SCORE 830661.395
AT ITER 5290 NEW BEST:: SOT 14025934 SOS 9730483 HAS SOPS 9729513 HAS SOUS 820387 HAS SOUPS 819542 WITH SCORE 829272.483
AT ITER 5296 NEW BEST:: SOT 14025670 SOS 9730219 HAS SOPS 9729249 HAS SOUS 819984 HAS SOUPS 819139 WITH SCORE 828869.219
AT ITER 5300 NEW BEST:: SOT 14026118 SOS 9730667 HAS SOPS 9729697 HAS SOUS 819512 HAS SOUPS 818667 WITH SCORE 828397.667
AT ITER 5308 NEW BEST:: SOT 14026118 SOS 9726361 HAS SOPS 9725391 HAS SOUS 819447 HAS SOUPS 818602 WITH SCORE 828328.361
AT ITER 5319 NEW BEST:: SOT 14024506 SOS 9724749 HAS SOPS 9723779 HAS SOUS 818232 HAS SOUPS 817387 WITH SCORE 827111.749
AT ITER 5321 NEW BEST:: SOT 14024506 SOS 9722381 HAS SOPS 9721411 HAS SOUS 818168 HAS SOUPS 817323 WITH SCORE 827045.381
AT ITER 5323 NEW BEST:: SOT 14024524 SOS 9722399 HAS SOPS 9721429 HAS SOUS 818148 HAS SOUPS 817303 WITH SCORE 827025.399
AT ITER 5326 NEW BEST:: SOT 14025579 SOS 9723431 HAS SOPS 9722461 HAS SOUS 817637 HAS SOUPS 816792 WITH SCORE 826515.431
AT ITER 5335 NEW BEST:: SOT 14031478 SOS 9729330 HAS SOPS 9728360 HAS SOUS 817568 HAS SOUPS 816723 WITH SCORE 826452.33
AT ITER 5339 NEW BEST:: SOT 14031525 SOS 9729377 HAS SOPS 9728407 HAS SOUS 817553 HAS SOUPS 816708 WITH SCORE 826437.377
AT ITER 5345 NEW BEST:: SOT 14031507 SOS 9729359 HAS SOPS 9728389 HAS SOUS 817526 HAS SOUPS 816681 WITH SCORE 826410.359
AT ITER 5357 NEW BEST:: SOT 14031457 SOS 9729309 HAS SOPS 9728339 HAS SOUS 817403 HAS SOUPS 816558 WITH SCORE 826287.309
AT ITER 5364 NEW BEST:: SOT 14031457 SOS 9724053 HAS SOPS 9723083 HAS SOUS 817403 HAS SOUPS 816558 WITH SCORE 826282.053
AT ITER 5389 NEW BEST:: SOT 14031220 SOS 9723816 HAS SOPS 9722846 HAS SOUS 817166 HAS SOUPS 816321 WITH SCORE 826044.816
AT ITER 5404 NEW BEST:: SOT 14031180 SOS 9723776 HAS SOPS 9722806 HAS SOUS 817128 HAS SOUPS 816283 WITH SCORE 826006.776
AT ITER 5413 NEW BEST:: SOT 14031180 SOS 9723596 HAS SOPS 9722626 HAS SOUS 817128 HAS SOUPS 816283 WITH SCORE 826006.596
AT ITER 5446 NEW BEST:: SOT 14033569 SOS 9725985 HAS SOPS 9725015 HAS SOUS 815030 HAS SOUPS 814185 WITH SCORE 823910.985
AT ITER 5473 NEW BEST:: SOT 14033569 SOS 9727593 HAS SOPS 9726623 HAS SOUS 815006 HAS SOUPS 814161 WITH SCORE 823888.593
AT ITER 5475 NEW BEST:: SOT 14032887 SOS 9726911 HAS SOPS 9725941 HAS SOUS 814764 HAS SOUPS 813919 WITH SCORE 823645.911
AT ITER 5489 NEW BEST:: SOT 14032988 SOS 9727090 HAS SOPS 9726120 HAS SOUS 810387 HAS SOUPS 809542 WITH SCORE 819269.09
AT ITER 5497 NEW BEST:: SOT 14032977 SOS 9727079 HAS SOPS 9726109 HAS SOUS 810041 HAS SOUPS 809196 WITH SCORE 818923.079
AT ITER 5577 NEW BEST:: SOT 14032977 SOS 9724343 HAS SOPS 9723373 HAS SOUS 810041 HAS SOUPS 809196 WITH SCORE 818920.343
AT ITER 5578 NEW BEST:: SOT 14032933 SOS 9724299 HAS SOPS 9723329 HAS SOUS 809984 HAS SOUPS 809139 WITH SCORE 818863.299
AT ITER 5622 NEW BEST:: SOT 14032854 SOS 9724220 HAS SOPS 9723250 HAS SOUS 809807 HAS SOUPS 808962 WITH SCORE 818686.22
AT ITER 5623 NEW BEST:: SOT 14032854 SOS 9724220 HAS SOPS 9723250 HAS SOUS 809797 HAS SOUPS 808952 WITH SCORE 818676.22
AT ITER 5638 NEW BEST:: SOT 14034146 SOS 9725441 HAS SOPS 9724471 HAS SOUS 808559 HAS SOUPS 807714 WITH SCORE 817439.441
AT ITER 5662 NEW BEST:: SOT 14036651 SOS 9727992 HAS SOPS 9727022 HAS SOUS 808508 HAS SOUPS 807663 WITH SCORE 817390.992
AT ITER 5668 NEW BEST:: SOT 14036651 SOS 9719136 HAS SOPS 9718166 HAS SOUS 808459 HAS SOUPS 807614 WITH SCORE 817333.136
AT ITER 5673 NEW BEST:: SOT 14036427 SOS 9718912 HAS SOPS 9717942 HAS SOUS 808171 HAS SOUPS 807326 WITH SCORE 817044.912
AT ITER 5682 NEW BEST:: SOT 14035001 SOS 9717835 HAS SOPS 9716865 HAS SOUS 804874 HAS SOUPS 804029 WITH SCORE 813746.835
AT ITER 5694 NEW BEST:: SOT 14035001 SOS 9717648 HAS SOPS 9716678 HAS SOUS 804831 HAS SOUPS 803986 WITH SCORE 813703.648
AT ITER 5699 NEW BEST:: SOT 14034564 SOS 9717211 HAS SOPS 9716241 HAS SOUS 803951 HAS SOUPS 803106 WITH SCORE 812823.211
AT ITER 5740 NEW BEST:: SOT 14033790 SOS 9717073 HAS SOPS 9716103 HAS SOUS 800245 HAS SOUPS 799400 WITH SCORE 809117.073
AT ITER 5743 NEW BEST:: SOT 14033790 SOS 9717006 HAS SOPS 9716036 HAS SOUS 800180 HAS SOUPS 799335 WITH SCORE 809052.006
AT ITER 5744 NEW BEST:: SOT 14033790 SOS 9708510 HAS SOPS 9707540 HAS SOUS 800180 HAS SOUPS 799335 WITH SCORE 809043.51
AT ITER 5753 NEW BEST:: SOT 14029213 SOS 9703933 HAS SOPS 9702963 HAS SOUS 799194 HAS SOUPS 798349 WITH SCORE 808052.933
AT ITER 5808 NEW BEST:: SOT 14029213 SOS 9704509 HAS SOPS 9703539 HAS SOUS 799186 HAS SOUPS 798341 WITH SCORE 808045.509
AT ITER 5817 NEW BEST:: SOT 14024220 SOS 9699516 HAS SOPS 9698546 HAS SOUS 795434 HAS SOUPS 794589 WITH SCORE 804288.516
AT ITER 5834 NEW BEST:: SOT 14024220 SOS 9693540 HAS SOPS 9692570 HAS SOUS 795434 HAS SOUPS 794589 WITH SCORE 804282.54
AT ITER 5839 NEW BEST:: SOT 14030260 SOS 9699580 HAS SOPS 9698610 HAS SOUS 793872 HAS SOUPS 793027 WITH SCORE 802726.58
AT ITER 5850 NEW BEST:: SOT 14029710 SOS 9699030 HAS SOPS 9698060 HAS SOUS 793458 HAS SOUPS 792613 WITH SCORE 802312.03
AT ITER 5857 NEW BEST:: SOT 14029657 SOS 9698977 HAS SOPS 9698007 HAS SOUS 793405 HAS SOUPS 792560 WITH SCORE 802258.977
AT ITER 5890 NEW BEST:: SOT 14030479 SOS 9699799 HAS SOPS 9698829 HAS SOUS 793380 HAS SOUPS 792535 WITH SCORE 802234.799
AT ITER 5974 NEW BEST:: SOT 14030836 SOS 9700154 HAS SOPS 9699184 HAS SOUS 792417 HAS SOUPS 791572 WITH SCORE 801272.154
AT ITER 5986 NEW BEST:: SOT 14030836 SOS 9700154 HAS SOPS 9699184 HAS SOUS 792394 HAS SOUPS 791549 WITH SCORE 801249.154
AT ITER 5992 NEW BEST:: SOT 14030836 SOS 9699435 HAS SOPS 9698483 HAS SOUS 792365 HAS SOUPS 791526 WITH SCORE 801225.435
AT ITER 5995 NEW BEST:: SOT 14030809 SOS 9699408 HAS SOPS 9698456 HAS SOUS 792338 HAS SOUPS 791499 WITH SCORE 801198.408
AT ITER 6048 NEW BEST:: SOT 14030809 SOS 9698167 HAS SOPS 9697215 HAS SOUS 792321 HAS SOUPS 791482 WITH SCORE 801180.167
AT ITER 6061 NEW BEST:: SOT 14030809 SOS 9698527 HAS SOPS 9697575 HAS SOUS 792284 HAS SOUPS 791445 WITH SCORE 801143.527
AT ITER 6072 NEW BEST:: SOT 14030808 SOS 9698526 HAS SOPS 9697574 HAS SOUS 792283 HAS SOUPS 791444 WITH SCORE 801142.526
AT ITER 6101 NEW BEST:: SOT 14028799 SOS 9696517 HAS SOPS 9695565 HAS SOUS 790319 HAS SOUPS 789480 WITH SCORE 799176.517
AT ITER 6130 NEW BEST:: SOT 14028789 SOS 9696507 HAS SOPS 9695555 HAS SOUS 790303 HAS SOUPS 789464 WITH SCORE 799160.507
AT ITER 6141 NEW BEST:: SOT 14028789 SOS 9696291 HAS SOPS 9695339 HAS SOUS 790300 HAS SOUPS 789461 WITH SCORE 799157.291
AT ITER 6150 NEW BEST:: SOT 14029455 SOS 9696957 HAS SOPS 9696005 HAS SOUS 790230 HAS SOUPS 789391 WITH SCORE 799087.957
AT ITER 6153 NEW BEST:: SOT 14026883 SOS 9693833 HAS SOPS 9692881 HAS SOUS 789610 HAS SOUPS 788771 WITH SCORE 798464.833
AT ITER 6187 NEW BEST:: SOT 14026459 SOS 9693409 HAS SOPS 9692457 HAS SOUS 787864 HAS SOUPS 787025 WITH SCORE 796718.409
AT ITER 6198 NEW BEST:: SOT 14026459 SOS 9693121 HAS SOPS 9692169 HAS SOUS 787864 HAS SOUPS 787025 WITH SCORE 796718.121
AT ITER 6200 NEW BEST:: SOT 14026404 SOS 9693066 HAS SOPS 9692114 HAS SOUS 787655 HAS SOUPS 786816 WITH SCORE 796509.066
AT ITER 6222 NEW BEST:: SOT 14026404 SOS 9687816 HAS SOPS 9686864 HAS SOUS 787613 HAS SOUPS 786774 WITH SCORE 796461.816
AT ITER 6234 NEW BEST:: SOT 14020824 SOS 9682236 HAS SOPS 9681284 HAS SOUS 782927 HAS SOUPS 782088 WITH SCORE 791770.236
AT ITER 6236 NEW BEST:: SOT 14020824 SOS 9682236 HAS SOPS 9681284 HAS SOUS 781121 HAS SOUPS 780282 WITH SCORE 789964.236
AT ITER 6256 NEW BEST:: SOT 14020512 SOS 9681736 HAS SOPS 9680945 HAS SOUS 780452 HAS SOUPS 779661 WITH SCORE 789342.736
AT ITER 6281 NEW BEST:: SOT 14020512 SOS 9677128 HAS SOPS 9676337 HAS SOUS 780452 HAS SOUPS 779661 WITH SCORE 789338.128
AT ITER 6292 NEW BEST:: SOT 14018474 SOS 9675090 HAS SOPS 9674299 HAS SOUS 776313 HAS SOUPS 775522 WITH SCORE 785197.09
AT ITER 6297 NEW BEST:: SOT 14018474 SOS 9675090 HAS SOPS 9674299 HAS SOUS 776235 HAS SOUPS 775444 WITH SCORE 785119.09
AT ITER 6355 NEW BEST:: SOT 14018234 SOS 9674815 HAS SOPS 9674024 HAS SOUS 775960 HAS SOUPS 775169 WITH SCORE 784843.815
AT ITER 6363 NEW BEST:: SOT 14018234 SOS 9673807 HAS SOPS 9673016 HAS SOUS 775960 HAS SOUPS 775169 WITH SCORE 784842.807
AT ITER 6384 NEW BEST:: SOT 14018234 SOS 9672007 HAS SOPS 9671216 HAS SOUS 775960 HAS SOUPS 775169 WITH SCORE 784841.007
AT ITER 6385 NEW BEST:: SOT 14018234 SOS 9668047 HAS SOPS 9667256 HAS SOUS 775960 HAS SOUPS 775169 WITH SCORE 784837.047
AT ITER 6391 NEW BEST:: SOT 14018234 SOS 9668047 HAS SOPS 9667256 HAS SOUS 775942 HAS SOUPS 775151 WITH SCORE 784819.047
AT ITER 6418 NEW BEST:: SOT 14018234 SOS 9667319 HAS SOPS 9666528 HAS SOUS 775879 HAS SOUPS 775088 WITH SCORE 784755.319
AT ITER 6431 NEW BEST:: SOT 14019220 SOS 9668350 HAS SOPS 9667559 HAS SOUS 774738 HAS SOUPS 773947 WITH SCORE 783615.35
AT ITER 6448 NEW BEST:: SOT 14019220 SOS 9667702 HAS SOPS 9666911 HAS SOUS 774738 HAS SOUPS 773947 WITH SCORE 783614.702
AT ITER 6521 NEW BEST:: SOT 14019220 SOS 9665830 HAS SOPS 9665039 HAS SOUS 774738 HAS SOUPS 773947 WITH SCORE 783612.83
AT ITER 6563 NEW BEST:: SOT 14020035 SOS 9666645 HAS SOPS 9665854 HAS SOUS 774059 HAS SOUPS 773268 WITH SCORE 782934.645
AT ITER 6594 NEW BEST:: SOT 14019863 SOS 9666473 HAS SOPS 9665682 HAS SOUS 773887 HAS SOUPS 773096 WITH SCORE 782762.473
AT ITER 6633 NEW BEST:: SOT 14028344 SOS 9674954 HAS SOPS 9674163 HAS SOUS 773315 HAS SOUPS 772524 WITH SCORE 782198.954
AT ITER 6687 NEW BEST:: SOT 14028414 SOS 9675024 HAS SOPS 9674233 HAS SOUS 773252 HAS SOUPS 772461 WITH SCORE 782136.024
AT ITER 6692 NEW BEST:: SOT 14028380 SOS 9674990 HAS SOPS 9674199 HAS SOUS 773240 HAS SOUPS 772449 WITH SCORE 782123.99
AT ITER 6704 NEW BEST:: SOT 14028380 SOS 9674990 HAS SOPS 9674199 HAS SOUS 773232 HAS SOUPS 772441 WITH SCORE 782115.99
AT ITER 6720 NEW BEST:: SOT 14028380 SOS 9675566 HAS SOPS 9674775 HAS SOUS 773216 HAS SOUPS 772425 WITH SCORE 782100.566
AT ITER 6740 NEW BEST:: SOT 14028358 SOS 9675544 HAS SOPS 9674753 HAS SOUS 773194 HAS SOUPS 772403 WITH SCORE 782078.544
AT ITER 6752 NEW BEST:: SOT 14028342 SOS 9675528 HAS SOPS 9674737 HAS SOUS 773178 HAS SOUPS 772387 WITH SCORE 782062.528
AT ITER 6760 NEW BEST:: SOT 14025343 SOS 9680773 HAS SOPS 9679982 HAS SOUS 770083 HAS SOUPS 769292 WITH SCORE 778972.773
AT ITER 6780 NEW BEST:: SOT 14026010 SOS 9681368 HAS SOPS 9680577 HAS SOUS 768937 HAS SOUPS 768146 WITH SCORE 777827.368
AT ITER 6795 NEW BEST:: SOT 14026663 SOS 9682021 HAS SOPS 9681230 HAS SOUS 768498 HAS SOUPS 767707 WITH SCORE 777389.021
AT ITER 6830 NEW BEST:: SOT 14027622 SOS 9682980 HAS SOPS 9682189 HAS SOUS 768417 HAS SOUPS 767626 WITH SCORE 777308.98
AT ITER 6844 NEW BEST:: SOT 14027610 SOS 9682968 HAS SOPS 9682177 HAS SOUS 768405 HAS SOUPS 767614 WITH SCORE 777296.968
AT ITER 6860 NEW BEST:: SOT 14027603 SOS 9682961 HAS SOPS 9682170 HAS SOUS 768398 HAS SOUPS 767607 WITH SCORE 777289.961
AT ITER 6874 NEW BEST:: SOT 14028310 SOS 9683668 HAS SOPS 9682877 HAS SOUS 767181 HAS SOUPS 766390 WITH SCORE 776073.668
AT ITER 6877 NEW BEST:: SOT 14028611 SOS 9682529 HAS SOPS 9681738 HAS SOUS 767094 HAS SOUPS 766303 WITH SCORE 775985.529
AT ITER 6878 NEW BEST:: SOT 14026710 SOS 9680628 HAS SOPS 9679837 HAS SOUS 766273 HAS SOUPS 765482 WITH SCORE 775162.628
AT ITER 6921 NEW BEST:: SOT 14025420 SOS 9679298 HAS SOPS 9678507 HAS SOUS 765910 HAS SOUPS 765119 WITH SCORE 774798.298
AT ITER 6925 NEW BEST:: SOT 14025300 SOS 9679178 HAS SOPS 9678387 HAS SOUS 765700 HAS SOUPS 764909 WITH SCORE 774588.178
AT ITER 6926 NEW BEST:: SOT 14025300 SOS 9680522 HAS SOPS 9679731 HAS SOUS 765681 HAS SOUPS 764890 WITH SCORE 774570.522
AT ITER 6931 NEW BEST:: SOT 14025300 SOS 9684050 HAS SOPS 9683259 HAS SOUS 765608 HAS SOUPS 764817 WITH SCORE 774501.05
AT ITER 6949 NEW BEST:: SOT 14025300 SOS 9669002 HAS SOPS 9668211 HAS SOUS 765608 HAS SOUPS 764817 WITH SCORE 774486.002
AT ITER 6954 NEW BEST:: SOT 14025300 SOS 9668282 HAS SOPS 9667491 HAS SOUS 765608 HAS SOUPS 764817 WITH SCORE 774485.282
AT ITER 6980 NEW BEST:: SOT 14024186 SOS 9667168 HAS SOPS 9666377 HAS SOUS 764672 HAS SOUPS 763881 WITH SCORE 773548.168
AT ITER 6982 NEW BEST:: SOT 14023934 SOS 9666908 HAS SOPS 9666117 HAS SOUS 764668 HAS SOUPS 763877 WITH SCORE 773543.908
AT ITER 7002 NEW BEST:: SOT 14023934 SOS 9666908 HAS SOPS 9666117 HAS SOUS 764660 HAS SOUPS 763869 WITH SCORE 773535.908
AT ITER 7011 NEW BEST:: SOT 14024075 SOS 8092976 HAS SOPS 8091485 HAS SOUS 763342 HAS SOUPS 761867 WITH SCORE 769959.976
AT ITER 7043 NEW BEST:: SOT 14032359 SOS 8102484 HAS SOPS 8100993 HAS SOUS 762301 HAS SOUPS 760826 WITH SCORE 768928.484
AT ITER 7057 NEW BEST:: SOT 14032269 SOS 8102160 HAS SOPS 8100669 HAS SOUS 762238 HAS SOUPS 760763 WITH SCORE 768865.16
AT ITER 7067 NEW BEST:: SOT 14032251 SOS 8102142 HAS SOPS 8100651 HAS SOUS 762220 HAS SOUPS 760745 WITH SCORE 768847.142
AT ITER 7080 NEW BEST:: SOT 14032197 SOS 8102088 HAS SOPS 8100597 HAS SOUS 762184 HAS SOUPS 760709 WITH SCORE 768811.088
AT ITER 7094 NEW BEST:: SOT 14032197 SOS 8093664 HAS SOPS 8092173 HAS SOUS 762184 HAS SOUPS 760709 WITH SCORE 768802.664
AT ITER 7114 NEW BEST:: SOT 14032079 SOS 8093546 HAS SOPS 8092055 HAS SOUS 762018 HAS SOUPS 760543 WITH SCORE 768636.546
AT ITER 7124 NEW BEST:: SOT 14032079 SOS 8088146 HAS SOPS 8086655 HAS SOUS 761603 HAS SOUPS 760128 WITH SCORE 768216.146
AT ITER 7135 NEW BEST:: SOT 14033498 SOS 8113295 HAS SOPS 8111804 HAS SOUS 759969 HAS SOUPS 758494 WITH SCORE 766607.295
AT ITER 7156 NEW BEST:: SOT 14038201 SOS 8120189 HAS SOPS 8119041 HAS SOUS 756864 HAS SOUPS 755729 WITH SCORE 763849.189
AT ITER 7168 NEW BEST:: SOT 14038201 SOS 8120331 HAS SOPS 8119183 HAS SOUS 756862 HAS SOUPS 755727 WITH SCORE 763847.331
AT ITER 7191 NEW BEST:: SOT 14035633 SOS 8117763 HAS SOPS 8116615 HAS SOUS 755215 HAS SOUPS 754080 WITH SCORE 762197.763
AT ITER 7192 NEW BEST:: SOT 14035584 SOS 8117714 HAS SOPS 8116566 HAS SOUS 755166 HAS SOUPS 754031 WITH SCORE 762148.714
AT ITER 7225 NEW BEST:: SOT 14035558 SOS 8117688 HAS SOPS 8116540 HAS SOUS 755094 HAS SOUPS 753959 WITH SCORE 762076.688
AT ITER 7267 NEW BEST:: SOT 14035376 SOS 8117506 HAS SOPS 8116358 HAS SOUS 754973 HAS SOUPS 753838 WITH SCORE 761955.506
AT ITER 7276 NEW BEST:: SOT 14035376 SOS 8116642 HAS SOPS 8115494 HAS SOUS 754973 HAS SOUPS 753838 WITH SCORE 761954.642
AT ITER 7280 NEW BEST:: SOT 14035370 SOS 8116636 HAS SOPS 8115488 HAS SOUS 754973 HAS SOUPS 753838 WITH SCORE 761954.636
AT ITER 7286 NEW BEST:: SOT 14035370 SOS 8120884 HAS SOPS 8119736 HAS SOUS 754914 HAS SOUPS 753779 WITH SCORE 761899.884
AT ITER 7293 NEW BEST:: SOT 14035873 SOS 8121387 HAS SOPS 8120239 HAS SOUS 754482 HAS SOUPS 753347 WITH SCORE 761468.387
AT ITER 7300 NEW BEST:: SOT 14036283 SOS 8145718 HAS SOPS 8144570 HAS SOUS 747231 HAS SOUPS 746096 WITH SCORE 754241.718
AT ITER 7303 NEW BEST:: SOT 14036283 SOS 8144854 HAS SOPS 8143706 HAS SOUS 747231 HAS SOUPS 746096 WITH SCORE 754240.854
AT ITER 7310 NEW BEST:: SOT 14036283 SOS 8143702 HAS SOPS 8142554 HAS SOUS 747231 HAS SOUPS 746096 WITH SCORE 754239.702
AT ITER 7336 NEW BEST:: SOT 14036283 SOS 8143472 HAS SOPS 8142324 HAS SOUS 747206 HAS SOUPS 746071 WITH SCORE 754214.472
AT ITER 7346 NEW BEST:: SOT 14036100 SOS 8143302 HAS SOPS 8142154 HAS SOUS 746914 HAS SOUPS 745779 WITH SCORE 753922.302
AT ITER 7352 NEW BEST:: SOT 14036088 SOS 8143290 HAS SOPS 8142142 HAS SOUS 746902 HAS SOUPS 745767 WITH SCORE 753910.29
AT ITER 7361 NEW BEST:: SOT 14036063 SOS 8143265 HAS SOPS 8142117 HAS SOUS 746877 HAS SOUPS 745742 WITH SCORE 753885.265
AT ITER 7378 NEW BEST:: SOT 14036063 SOS 8135705 HAS SOPS 8134557 HAS SOUS 746877 HAS SOUPS 745742 WITH SCORE 753877.705
AT ITER 7386 NEW BEST:: SOT 14036036 SOS 8141867 HAS SOPS 8140719 HAS SOUS 746862 HAS SOUPS 745727 WITH SCORE 753868.867
AT ITER 7429 NEW BEST:: SOT 14036036 SOS 8138915 HAS SOPS 8137767 HAS SOUS 746862 HAS SOUPS 745727 WITH SCORE 753865.915
AT ITER 7432 NEW BEST:: SOT 14036036 SOS 8141075 HAS SOPS 8139927 HAS SOUS 746832 HAS SOUPS 745697 WITH SCORE 753838.075
AT ITER 7464 NEW BEST:: SOT 14036036 SOS 8139563 HAS SOPS 8138415 HAS SOUS 746832 HAS SOUPS 745697 WITH SCORE 753836.563
AT ITER 7480 NEW BEST:: SOT 14034053 SOS 8137580 HAS SOPS 8136432 HAS SOUS 745487 HAS SOUPS 744352 WITH SCORE 752489.58
AT ITER 7495 NEW BEST:: SOT 14034053 SOS 8136572 HAS SOPS 8135424 HAS SOUS 745487 HAS SOUPS 744352 WITH SCORE 752488.572
AT ITER 7511 NEW BEST:: SOT 14033619 SOS 8136138 HAS SOPS 8134990 HAS SOUS 745119 HAS SOUPS 743984 WITH SCORE 752120.138
AT ITER 7527 NEW BEST:: SOT 14033614 SOS 8136133 HAS SOPS 8134985 HAS SOUS 745114 HAS SOUPS 743979 WITH SCORE 752115.133
AT ITER 7533 NEW BEST:: SOT 14034433 SOS 8136952 HAS SOPS 8135804 HAS SOUS 744878 HAS SOUPS 743743 WITH SCORE 751879.952
AT ITER 7566 NEW BEST:: SOT 14034433 SOS 8136520 HAS SOPS 8135372 HAS SOUS 744878 HAS SOUPS 743743 WITH SCORE 751879.52
AT ITER 7580 NEW BEST:: SOT 14028557 SOS 8130644 HAS SOPS 8129496 HAS SOUS 744800 HAS SOUPS 743665 WITH SCORE 751795.644
AT ITER 7612 NEW BEST:: SOT 14028557 SOS 8130504 HAS SOPS 8129356 HAS SOUS 744571 HAS SOUPS 743436 WITH SCORE 751566.504
AT ITER 7633 NEW BEST:: SOT 14028557 SOS 8128884 HAS SOPS 8127736 HAS SOUS 744571 HAS SOUPS 743436 WITH SCORE 751564.884
AT ITER 7639 NEW BEST:: SOT 14028470 SOS 8128797 HAS SOPS 8127649 HAS SOUS 744522 HAS SOUPS 743387 WITH SCORE 751515.797
AT ITER 7676 NEW BEST:: SOT 14028464 SOS 8128791 HAS SOPS 8127643 HAS SOUS 744504 HAS SOUPS 743369 WITH SCORE 751497.791
AT ITER 7697 NEW BEST:: SOT 14028443 SOS 8128770 HAS SOPS 8127622 HAS SOUS 744483 HAS SOUPS 743348 WITH SCORE 751476.77
AT ITER 7708 NEW BEST:: SOT 14024414 SOS 8124741 HAS SOPS 8123593 HAS SOUS 740010 HAS SOUPS 738875 WITH SCORE 746999.741
AT ITER 7778 NEW BEST:: SOT 14024414 SOS 8124712 HAS SOPS 8123564 HAS SOUS 739952 HAS SOUPS 738817 WITH SCORE 746941.712
AT ITER 7798 NEW BEST:: SOT 14024414 SOS 8124690 HAS SOPS 8123542 HAS SOUS 739941 HAS SOUPS 738806 WITH SCORE 746930.69
AT ITER 7803 NEW BEST:: SOT 14024337 SOS 8124543 HAS SOPS 8123395 HAS SOUS 739909 HAS SOUPS 738774 WITH SCORE 746898.543
AT ITER 7813 NEW BEST:: SOT 14024515 SOS 8124721 HAS SOPS 8123573 HAS SOUS 739907 HAS SOUPS 738772 WITH SCORE 746896.721
AT ITER 7816 NEW BEST:: SOT 14024515 SOS 8124697 HAS SOPS 8123549 HAS SOUS 739903 HAS SOUPS 738768 WITH SCORE 746892.697
AT ITER 7833 NEW BEST:: SOT 14024487 SOS 8124669 HAS SOPS 8123521 HAS SOUS 739848 HAS SOUPS 738713 WITH SCORE 746837.669
AT ITER 7863 NEW BEST:: SOT 14024487 SOS 8127963 HAS SOPS 8126815 HAS SOUS 739794 HAS SOUPS 738659 WITH SCORE 746786.963
AT ITER 7876 NEW BEST:: SOT 14024236 SOS 8127712 HAS SOPS 8126564 HAS SOUS 739570 HAS SOUPS 738435 WITH SCORE 746562.712
AT ITER 7884 NEW BEST:: SOT 14024219 SOS 8127695 HAS SOPS 8126547 HAS SOUS 739553 HAS SOUPS 738418 WITH SCORE 746545.695
AT ITER 7908 NEW BEST:: SOT 14024219 SOS 8129647 HAS SOPS 8128499 HAS SOUS 739521 HAS SOUPS 738386 WITH SCORE 746515.647
AT ITER 7913 NEW BEST:: SOT 14024219 SOS 8137337 HAS SOPS 8136189 HAS SOUS 739414 HAS SOUPS 738279 WITH SCORE 746416.337
AT ITER 7919 NEW BEST:: SOT 14024219 SOS 8136401 HAS SOPS 8135253 HAS SOUS 739414 HAS SOUPS 738279 WITH SCORE 746415.401
AT ITER 7926 NEW BEST:: SOT 14023377 SOS 8135559 HAS SOPS 8134411 HAS SOUS 737809 HAS SOUPS 736674 WITH SCORE 744809.559
AT ITER 7928 NEW BEST:: SOT 14023377 SOS 8132751 HAS SOPS 8131603 HAS SOUS 737809 HAS SOUPS 736674 WITH SCORE 744806.751
AT ITER 7942 NEW BEST:: SOT 14023377 SOS 8132175 HAS SOPS 8131027 HAS SOUS 737809 HAS SOUPS 736674 WITH SCORE 744806.175
AT ITER 7970 NEW BEST:: SOT 14023367 SOS 8132213 HAS SOPS 8131065 HAS SOUS 737108 HAS SOUPS 735973 WITH SCORE 744105.213
AT ITER 8013 NEW BEST:: SOT 14023241 SOS 8132087 HAS SOPS 8130939 HAS SOUS 736982 HAS SOUPS 735847 WITH SCORE 743979.087
AT ITER 8024 NEW BEST:: SOT 14023241 SOS 8134103 HAS SOPS 8132955 HAS SOUS 736954 HAS SOUPS 735819 WITH SCORE 743953.103
AT ITER 8025 NEW BEST:: SOT 14023469 SOS 8134331 HAS SOPS 8133183 HAS SOUS 736574 HAS SOUPS 735439 WITH SCORE 743573.331
AT ITER 8032 NEW BEST:: SOT 14023347 SOS 8134209 HAS SOPS 8133061 HAS SOUS 736438 HAS SOUPS 735303 WITH SCORE 743437.209
AT ITER 8056 NEW BEST:: SOT 14022954 SOS 8133816 HAS SOPS 8132668 HAS SOUS 735746 HAS SOUPS 734611 WITH SCORE 742744.816
AT ITER 8058 NEW BEST:: SOT 14022954 SOS 8136374 HAS SOPS 8135226 HAS SOUS 735691 HAS SOUPS 734556 WITH SCORE 742692.374
AT ITER 8064 NEW BEST:: SOT 14021132 SOS 8134552 HAS SOPS 8133404 HAS SOUS 731987 HAS SOUPS 730852 WITH SCORE 738986.552
AT ITER 8069 NEW BEST:: SOT 14021106 SOS 8134526 HAS SOPS 8133378 HAS SOUS 731950 HAS SOUPS 730815 WITH SCORE 738949.526
AT ITER 8076 NEW BEST:: SOT 14021286 SOS 8134706 HAS SOPS 8133558 HAS SOUS 731930 HAS SOUPS 730795 WITH SCORE 738929.706
AT ITER 8078 NEW BEST:: SOT 14020798 SOS 8134300 HAS SOPS 8133124 HAS SOUS 730957 HAS SOUPS 729794 WITH SCORE 737928.3
AT ITER 8093 NEW BEST:: SOT 14020761 SOS 8134215 HAS SOPS 8133039 HAS SOUS 730357 HAS SOUPS 729194 WITH SCORE 737328.215
AT ITER 8102 NEW BEST:: SOT 14019797 SOS 8133251 HAS SOPS 8132075 HAS SOUS 730202 HAS SOUPS 729039 WITH SCORE 737172.251
AT ITER 8124 NEW BEST:: SOT 14019756 SOS 8133210 HAS SOPS 8132034 HAS SOUS 730161 HAS SOUPS 728998 WITH SCORE 737131.21
AT ITER 8173 NEW BEST:: SOT 14019925 SOS 8133385 HAS SOPS 8132209 HAS SOUS 730144 HAS SOUPS 728981 WITH SCORE 737114.385
AT ITER 8180 NEW BEST:: SOT 14019953 SOS 8133413 HAS SOPS 8132237 HAS SOUS 730130 HAS SOUPS 728967 WITH SCORE 737100.413
AT ITER 8186 NEW BEST:: SOT 14019953 SOS 8132213 HAS SOPS 8130941 HAS SOUS 729974 HAS SOUPS 728811 WITH SCORE 736943.213
AT ITER 8199 NEW BEST:: SOT 14019917 SOS 8132177 HAS SOPS 8130905 HAS SOUS 729938 HAS SOUPS 728775 WITH SCORE 736907.177
AT ITER 8207 NEW BEST:: SOT 14019917 SOS 8132151 HAS SOPS 8130879 HAS SOUS 729932 HAS SOUPS 728769 WITH SCORE 736901.151
AT ITER 8210 NEW BEST:: SOT 14019757 SOS 8131987 HAS SOPS 8130715 HAS SOUS 729601 HAS SOUPS 728438 WITH SCORE 736569.987
AT ITER 8216 NEW BEST:: SOT 14019737 SOS 8131967 HAS SOPS 8130695 HAS SOUS 729581 HAS SOUPS 728418 WITH SCORE 736549.967
AT ITER 8248 NEW BEST:: SOT 14019737 SOS 8121777 HAS SOPS 8120505 HAS SOUS 729581 HAS SOUPS 728418 WITH SCORE 736539.777
AT ITER 8286 NEW BEST:: SOT 14019737 SOS 8121777 HAS SOPS 8120505 HAS SOUS 729542 HAS SOUPS 728379 WITH SCORE 736500.777
AT ITER 8350 NEW BEST:: SOT 14019731 SOS 8121771 HAS SOPS 8120499 HAS SOUS 729530 HAS SOUPS 728367 WITH SCORE 736488.771
AT ITER 8380 NEW BEST:: SOT 14019706 SOS 8121746 HAS SOPS 8120474 HAS SOUS 729505 HAS SOUPS 728342 WITH SCORE 736463.746
AT ITER 8385 NEW BEST:: SOT 14019846 SOS 8121886 HAS SOPS 8120614 HAS SOUS 729452 HAS SOUPS 728289 WITH SCORE 736410.886
AT ITER 8408 NEW BEST:: SOT 14014422 SOS 8116462 HAS SOPS 8115190 HAS SOUS 724988 HAS SOUPS 723825 WITH SCORE 731941.462
AT ITER 8410 NEW BEST:: SOT 14014422 SOS 8116462 HAS SOPS 8115118 HAS SOUS 724988 HAS SOUPS 723753 WITH SCORE 731869.462
AT ITER 8429 NEW BEST:: SOT 14014422 SOS 8113423 HAS SOPS 8112079 HAS SOUS 724917 HAS SOUPS 723682 WITH SCORE 731795.423
AT ITER 8434 NEW BEST:: SOT 14014422 SOS 8106059 HAS SOPS 8104711 HAS SOUS 724909 HAS SOUPS 723670 WITH SCORE 731776.059
AT ITER 8441 NEW BEST:: SOT 14012918 SOS 8103277 HAS SOPS 8101929 HAS SOUS 724773 HAS SOUPS 723534 WITH SCORE 731637.277
AT ITER 8443 NEW BEST:: SOT 14012918 SOS 8101981 HAS SOPS 8100633 HAS SOUS 724773 HAS SOUPS 723534 WITH SCORE 731635.981
AT ITER 8447 NEW BEST:: SOT 14012912 SOS 8101975 HAS SOPS 8100627 HAS SOUS 724767 HAS SOUPS 723528 WITH SCORE 731629.975
AT ITER 8457 NEW BEST:: SOT 14012780 SOS 8104807 HAS SOPS 8103459 HAS SOUS 724640 HAS SOUPS 723401 WITH SCORE 731505.807
AT ITER 8479 NEW BEST:: SOT 14012777 SOS 8104804 HAS SOPS 8103456 HAS SOUS 724626 HAS SOUPS 723387 WITH SCORE 731491.804
AT ITER 8493 NEW BEST:: SOT 14012777 SOS 8103868 HAS SOPS 8102520 HAS SOUS 724626 HAS SOUPS 723387 WITH SCORE 731490.868
AT ITER 8521 NEW BEST:: SOT 14012777 SOS 8103868 HAS SOPS 8102520 HAS SOUS 724593 HAS SOUPS 723354 WITH SCORE 731457.868
AT ITER 8563 NEW BEST:: SOT 14012777 SOS 8103804 HAS SOPS 8102456 HAS SOUS 724593 HAS SOUPS 723354 WITH SCORE 731457.804
AT ITER 8651 NEW BEST:: SOT 14012777 SOS 8098524 HAS SOPS 8097176 HAS SOUS 724473 HAS SOUPS 723234 WITH SCORE 731332.524
AT ITER 8693 NEW BEST:: SOT 14007061 SOS 8085256 HAS SOPS 8084122 HAS SOUS 723918 HAS SOUPS 722797 WITH SCORE 730882.256
AT ITER 8705 NEW BEST:: SOT 14006085 SOS 8084298 HAS SOPS 8083164 HAS SOUS 723371 HAS SOUPS 722250 WITH SCORE 730334.298
AT ITER 8764 NEW BEST:: SOT 14006018 SOS 8084231 HAS SOPS 8083097 HAS SOUS 723345 HAS SOUPS 722224 WITH SCORE 730308.231
AT ITER 8772 NEW BEST:: SOT 14006018 SOS 8083666 HAS SOPS 8082532 HAS SOUS 723283 HAS SOUPS 722162 WITH SCORE 730245.666
AT ITER 8774 NEW BEST:: SOT 14005950 SOS 8083598 HAS SOPS 8082464 HAS SOUS 723197 HAS SOUPS 722076 WITH SCORE 730159.598
AT ITER 8807 NEW BEST:: SOT 14005950 SOS 8077000 HAS SOPS 8075866 HAS SOUS 723135 HAS SOUPS 722014 WITH SCORE 730091.0
AT ITER 8816 NEW BEST:: SOT 14005920 SOS 8077908 HAS SOPS 8076774 HAS SOUS 723105 HAS SOUPS 721984 WITH SCORE 730061.908
AT ITER 8826 NEW BEST:: SOT 14005920 SOS 8076252 HAS SOPS 8075118 HAS SOUS 723105 HAS SOUPS 721984 WITH SCORE 730060.252
AT ITER 8890 NEW BEST:: SOT 14008761 SOS 8079153 HAS SOPS 8078019 HAS SOUS 723031 HAS SOUPS 721910 WITH SCORE 729989.153
AT ITER 8897 NEW BEST:: SOT 14008761 SOS 8079045 HAS SOPS 8077911 HAS SOUS 722977 HAS SOUPS 721856 WITH SCORE 729935.045
AT ITER 8907 NEW BEST:: SOT 14008703 SOS 8072662 HAS SOPS 8071528 HAS SOUS 722793 HAS SOUPS 721672 WITH SCORE 729744.662
AT ITER 8917 NEW BEST:: SOT 14008488 SOS 8072447 HAS SOPS 8071313 HAS SOUS 722640 HAS SOUPS 721519 WITH SCORE 729591.447
AT ITER 8957 NEW BEST:: SOT 14014067 SOS 8082165 HAS SOPS 8081171 HAS SOUS 720474 HAS SOUPS 719493 WITH SCORE 727575.165
AT ITER 9034 NEW BEST:: SOT 14014067 SOS 8082152 HAS SOPS 8081158 HAS SOUS 720444 HAS SOUPS 719463 WITH SCORE 727545.152
AT ITER 9037 NEW BEST:: SOT 14014067 SOS 8082042 HAS SOPS 8081048 HAS SOUS 720368 HAS SOUPS 719387 WITH SCORE 727469.042
AT ITER 9038 NEW BEST:: SOT 14013906 SOS 8081874 HAS SOPS 8080880 HAS SOUS 720115 HAS SOUPS 719134 WITH SCORE 727215.874
AT ITER 9046 NEW BEST:: SOT 14014298 SOS 8083706 HAS SOPS 8082712 HAS SOUS 719027 HAS SOUPS 718046 WITH SCORE 726129.706
AT ITER 9054 NEW BEST:: SOT 14011282 SOS 8080690 HAS SOPS 8079696 HAS SOUS 716781 HAS SOUPS 715800 WITH SCORE 723880.69
AT ITER 9106 NEW BEST:: SOT 14011340 SOS 8080760 HAS SOPS 8079766 HAS SOUS 716735 HAS SOUPS 715754 WITH SCORE 723834.76
AT ITER 9116 NEW BEST:: SOT 14012118 SOS 8081602 HAS SOPS 8080608 HAS SOUS 714903 HAS SOUPS 713922 WITH SCORE 722003.602
AT ITER 9127 NEW BEST:: SOT 14012118 SOS 8081458 HAS SOPS 8080464 HAS SOUS 714901 HAS SOUPS 713920 WITH SCORE 722001.458
AT ITER 9141 NEW BEST:: SOT 14012161 SOS 8084655 HAS SOPS 8083661 HAS SOUS 714896 HAS SOUPS 713915 WITH SCORE 721999.655
AT ITER 9162 NEW BEST:: SOT 14012161 SOS 8086311 HAS SOPS 8085317 HAS SOUS 714850 HAS SOUPS 713869 WITH SCORE 721955.311
AT ITER 9179 NEW BEST:: SOT 14012161 SOS 8084891 HAS SOPS 8083897 HAS SOUS 714801 HAS SOUPS 713820 WITH SCORE 721904.891
AT ITER 9200 NEW BEST:: SOT 14012161 SOS 8083307 HAS SOPS 8082313 HAS SOUS 714801 HAS SOUPS 713820 WITH SCORE 721903.307
AT ITER 9220 NEW BEST:: SOT 14012161 SOS 8079131 HAS SOPS 8078137 HAS SOUS 714801 HAS SOUPS 713820 WITH SCORE 721899.131
AT ITER 9238 NEW BEST:: SOT 14012138 SOS 8079108 HAS SOPS 8078114 HAS SOUS 714778 HAS SOUPS 713797 WITH SCORE 721876.108
AT ITER 9279 NEW BEST:: SOT 14012138 SOS 8082300 HAS SOPS 8081306 HAS SOUS 714368 HAS SOUPS 713387 WITH SCORE 721469.3
AT ITER 9350 NEW BEST:: SOT 14011823 SOS 8081985 HAS SOPS 8080991 HAS SOUS 714143 HAS SOUPS 713162 WITH SCORE 721243.985
AT ITER 9382 NEW BEST:: SOT 14011771 SOS 8081933 HAS SOPS 8080939 HAS SOUS 713945 HAS SOUPS 712964 WITH SCORE 721045.933
AT ITER 9444 NEW BEST:: SOT 14010507 SOS 8081106 HAS SOPS 8080042 HAS SOUS 711269 HAS SOUPS 710218 WITH SCORE 718299.106
AT ITER 9456 NEW BEST:: SOT 14009729 SOS 8080328 HAS SOPS 8079264 HAS SOUS 709681 HAS SOUPS 708630 WITH SCORE 716710.328
AT ITER 9462 NEW BEST:: SOT 14009726 SOS 8082665 HAS SOPS 8081601 HAS SOUS 709673 HAS SOUPS 708622 WITH SCORE 716704.665
AT ITER 9487 NEW BEST:: SOT 14009726 SOS 8084609 HAS SOPS 8083545 HAS SOUS 709646 HAS SOUPS 708595 WITH SCORE 716679.609
AT ITER 9523 NEW BEST:: SOT 14010085 SOS 8085024 HAS SOPS 8084199 HAS SOUS 709036 HAS SOUPS 708224 WITH SCORE 716309.024
AT ITER 9531 NEW BEST:: SOT 14010082 SOS 8085021 HAS SOPS 8084196 HAS SOUS 709028 HAS SOUPS 708216 WITH SCORE 716301.021
AT ITER 9562 NEW BEST:: SOT 14010082 SOS 8088362 HAS SOPS 8087537 HAS SOUS 708976 HAS SOUPS 708164 WITH SCORE 716252.362
AT ITER 9601 NEW BEST:: SOT 14010064 SOS 8088344 HAS SOPS 8087519 HAS SOUS 708958 HAS SOUPS 708146 WITH SCORE 716234.344
AT ITER 9633 NEW BEST:: SOT 14007373 SOS 8081490 HAS SOPS 8080665 HAS SOUS 708866 HAS SOUPS 708054 WITH SCORE 716135.49
AT ITER 9637 NEW BEST:: SOT 14007373 SOS 8080266 HAS SOPS 8079441 HAS SOUS 708866 HAS SOUPS 708054 WITH SCORE 716134.266
AT ITER 9657 NEW BEST:: SOT 14007373 SOS 8080216 HAS SOPS 8079391 HAS SOUS 708866 HAS SOUPS 708054 WITH SCORE 716134.216
AT ITER 9669 NEW BEST:: SOT 14007273 SOS 8080124 HAS SOPS 8079299 HAS SOUS 708586 HAS SOUPS 707774 WITH SCORE 715854.124
AT ITER 9682 NEW BEST:: SOT 14007273 SOS 8079963 HAS SOPS 8079138 HAS SOUS 708441 HAS SOUPS 707629 WITH SCORE 715708.963
AT ITER 9711 NEW BEST:: SOT 14006984 SOS 8079674 HAS SOPS 8078849 HAS SOUS 707554 HAS SOUPS 706742 WITH SCORE 714821.674
AT ITER 9712 NEW BEST:: SOT 14007005 SOS 8079697 HAS SOPS 8078872 HAS SOUS 707500 HAS SOUPS 706688 WITH SCORE 714767.697
AT ITER 9736 NEW BEST:: SOT 14003629 SOS 8076321 HAS SOPS 8075496 HAS SOUS 707335 HAS SOUPS 706523 WITH SCORE 714599.321
AT ITER 9739 NEW BEST:: SOT 14003629 SOS 8070921 HAS SOPS 8070096 HAS SOUS 707335 HAS SOUPS 706523 WITH SCORE 714593.921
AT ITER 9760 NEW BEST:: SOT 14003629 SOS 8070903 HAS SOPS 8070078 HAS SOUS 707317 HAS SOUPS 706505 WITH SCORE 714575.903
AT ITER 9767 NEW BEST:: SOT 14000401 SOS 8067695 HAS SOPS 8066870 HAS SOUS 705231 HAS SOUPS 704419 WITH SCORE 712486.695
AT ITER 9781 NEW BEST:: SOT 14000401 SOS 8066615 HAS SOPS 8065790 HAS SOUS 705231 HAS SOUPS 704419 WITH SCORE 712485.615
AT ITER 9795 NEW BEST:: SOT 14000374 SOS 8066588 HAS SOPS 8065763 HAS SOUS 705204 HAS SOUPS 704392 WITH SCORE 712458.588
AT ITER 9837 NEW BEST:: SOT 14000381 SOS 8066595 HAS SOPS 8065770 HAS SOUS 704668 HAS SOUPS 703856 WITH SCORE 711922.595
AT ITER 9840 NEW BEST:: SOT 14000381 SOS 8066739 HAS SOPS 8065914 HAS SOUS 704666 HAS SOUPS 703854 WITH SCORE 711920.739
AT ITER 9849 NEW BEST:: SOT 14000377 SOS 8066735 HAS SOPS 8065910 HAS SOUS 704662 HAS SOUPS 703850 WITH SCORE 711916.735
AT ITER 9917 NEW BEST:: SOT 14000343 SOS 8066701 HAS SOPS 8065876 HAS SOUS 704628 HAS SOUPS 703816 WITH SCORE 711882.701
AT ITER 9958 NEW BEST:: SOT 14000343 SOS 8074803 HAS SOPS 8073978 HAS SOUS 704496 HAS SOUPS 703684 WITH SCORE 711758.803
AT ITER 9969 NEW BEST:: SOT 14000245 SOS 8074705 HAS SOPS 8073880 HAS SOUS 704378 HAS SOUPS 703566 WITH SCORE 711640.705
AT ITER 9979 NEW BEST:: SOT 14000245 SOS 8074534 HAS SOPS 8073709 HAS SOUS 704378 HAS SOUPS 703566 WITH SCORE 711640.534
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10431112 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16074268 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q3m016"
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-q3m016, 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-167813696700352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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