Execution Chart

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

Trace from the execution

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

--------------------
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 1678467575799

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

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14035084 SOS 8812733 HAS SOPS 8810888 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631500.733
AT ITER 3 NEW BEST:: SOT 14033110 SOS 8811087 HAS SOPS 8809242 HAS SOUS 1616353 HAS SOUPS 1614508 WITH SCORE 1623319.087
AT ITER 5 NEW BEST:: SOT 14033246 SOS 8811223 HAS SOPS 8809378 HAS SOUS 1606974 HAS SOUPS 1605129 WITH SCORE 1613940.223
AT ITER 7 NEW BEST:: SOT 14033246 SOS 8811223 HAS SOPS 8809378 HAS SOUS 1606972 HAS SOUPS 1605127 WITH SCORE 1613938.223
AT ITER 22 NEW BEST:: SOT 14033246 SOS 8805525 HAS SOPS 8803680 HAS SOUS 1606895 HAS SOUPS 1605050 WITH SCORE 1613855.525
AT ITER 24 NEW BEST:: SOT 14033313 SOS 8805592 HAS SOPS 8803747 HAS SOUS 1606774 HAS SOUPS 1604929 WITH SCORE 1613734.592
AT ITER 32 NEW BEST:: SOT 14033127 SOS 8805406 HAS SOPS 8803561 HAS SOUS 1606675 HAS SOUPS 1604830 WITH SCORE 1613635.406
AT ITER 45 NEW BEST:: SOT 14033245 SOS 8805287 HAS SOPS 8803493 HAS SOUS 1596544 HAS SOUPS 1594750 WITH SCORE 1603555.287
AT ITER 49 NEW BEST:: SOT 14023607 SOS 8796369 HAS SOPS 8794575 HAS SOUS 1586435 HAS SOUPS 1584641 WITH SCORE 1593437.369
AT ITER 52 NEW BEST:: SOT 14019836 SOS 8796350 HAS SOPS 8794556 HAS SOUS 1585800 HAS SOUPS 1584006 WITH SCORE 1592802.35
AT ITER 53 NEW BEST:: SOT 14019836 SOS 8796350 HAS SOPS 8794556 HAS SOUS 1585782 HAS SOUPS 1583988 WITH SCORE 1592784.35
AT ITER 77 NEW BEST:: SOT 14019836 SOS 8508197 HAS SOPS 8506403 HAS SOUS 1585714 HAS SOUPS 1583920 WITH SCORE 1592428.197
AT ITER 100 NEW BEST:: SOT 14018609 SOS 8507310 HAS SOPS 8505516 HAS SOUS 1583232 HAS SOUPS 1581438 WITH SCORE 1589945.31
AT ITER 102 NEW BEST:: SOT 14018154 SOS 8511859 HAS SOPS 8510065 HAS SOUS 1582726 HAS SOUPS 1580932 WITH SCORE 1589443.859
AT ITER 104 NEW BEST:: SOT 14018154 SOS 8497503 HAS SOPS 8495709 HAS SOUS 1582532 HAS SOUPS 1580738 WITH SCORE 1589235.503
AT ITER 108 NEW BEST:: SOT 14017139 SOS 8496576 HAS SOPS 8494782 HAS SOUS 1577330 HAS SOUPS 1575536 WITH SCORE 1584032.576
AT ITER 109 NEW BEST:: SOT 14017174 SOS 8496562 HAS SOPS 8494620 HAS SOUS 1577018 HAS SOUPS 1575142 WITH SCORE 1583638.562
AT ITER 131 NEW BEST:: SOT 14017199 SOS 8496587 HAS SOPS 8494645 HAS SOUS 1571064 HAS SOUPS 1569188 WITH SCORE 1577684.587
AT ITER 143 NEW BEST:: SOT 14013378 SOS 8498350 HAS SOPS 8496408 HAS SOUS 1568543 HAS SOUPS 1566667 WITH SCORE 1575165.35
AT ITER 159 NEW BEST:: SOT 14013378 SOS 8498350 HAS SOPS 8496408 HAS SOUS 1568541 HAS SOUPS 1566665 WITH SCORE 1575163.35
AT ITER 163 NEW BEST:: SOT 14013378 SOS 8498128 HAS SOPS 8496186 HAS SOUS 1568430 HAS SOUPS 1566554 WITH SCORE 1575052.128
AT ITER 168 NEW BEST:: SOT 14013378 SOS 8498128 HAS SOPS 8496186 HAS SOUS 1568415 HAS SOUPS 1566539 WITH SCORE 1575037.128
AT ITER 170 NEW BEST:: SOT 14013378 SOS 8498128 HAS SOPS 8496186 HAS SOUS 1568381 HAS SOUPS 1566505 WITH SCORE 1575003.128
AT ITER 174 NEW BEST:: SOT 14013378 SOS 8497561 HAS SOPS 8495619 HAS SOUS 1568229 HAS SOUPS 1566353 WITH SCORE 1574850.561
AT ITER 180 NEW BEST:: SOT 14001973 SOS 8486730 HAS SOPS 8484788 HAS SOUS 1554140 HAS SOUPS 1552264 WITH SCORE 1560750.73
AT ITER 187 NEW BEST:: SOT 14002028 SOS 8483833 HAS SOPS 8481891 HAS SOUS 1554140 HAS SOUPS 1552264 WITH SCORE 1560747.833
AT ITER 188 NEW BEST:: SOT 14002221 SOS 8483970 HAS SOPS 8482084 HAS SOUS 1551479 HAS SOUPS 1549659 WITH SCORE 1558142.97
AT ITER 201 NEW BEST:: SOT 14002891 SOS 8484876 HAS SOPS 8482990 HAS SOUS 1547921 HAS SOUPS 1546101 WITH SCORE 1554585.876
AT ITER 208 NEW BEST:: SOT 14002891 SOS 8483220 HAS SOPS 8481334 HAS SOUS 1547921 HAS SOUPS 1546101 WITH SCORE 1554584.22
AT ITER 222 NEW BEST:: SOT 14002852 SOS 8483181 HAS SOPS 8481295 HAS SOUS 1547921 HAS SOUPS 1546101 WITH SCORE 1554584.181
AT ITER 228 NEW BEST:: SOT 13995315 SOS 8475308 HAS SOPS 8473480 HAS SOUS 1530073 HAS SOUPS 1528311 WITH SCORE 1536786.308
AT ITER 234 NEW BEST:: SOT 13988960 SOS 8476249 HAS SOPS 8474421 HAS SOUS 1522402 HAS SOUPS 1520640 WITH SCORE 1529116.249
AT ITER 236 NEW BEST:: SOT 13988960 SOS 8483377 HAS SOPS 8481549 HAS SOUS 1522303 HAS SOUPS 1520541 WITH SCORE 1529024.377
AT ITER 244 NEW BEST:: SOT 13983759 SOS 8479972 HAS SOPS 8478210 HAS SOUS 1521084 HAS SOUPS 1519322 WITH SCORE 1527801.972
AT ITER 246 NEW BEST:: SOT 13983759 SOS 8479972 HAS SOPS 8478210 HAS SOUS 1521024 HAS SOUPS 1519262 WITH SCORE 1527741.972
AT ITER 252 NEW BEST:: SOT 13983759 SOS 8474068 HAS SOPS 8472306 HAS SOUS 1521024 HAS SOUPS 1519262 WITH SCORE 1527736.068
AT ITER 261 NEW BEST:: SOT 13983759 SOS 8473878 HAS SOPS 8472116 HAS SOUS 1520929 HAS SOUPS 1519167 WITH SCORE 1527640.878
AT ITER 266 NEW BEST:: SOT 13983448 SOS 8473583 HAS SOPS 8471821 HAS SOUS 1520634 HAS SOUPS 1518872 WITH SCORE 1527345.583
AT ITER 274 NEW BEST:: SOT 13983460 SOS 8473595 HAS SOPS 8471833 HAS SOUS 1519912 HAS SOUPS 1518150 WITH SCORE 1526623.595
AT ITER 300 NEW BEST:: SOT 13983460 SOS 8467259 HAS SOPS 8465497 HAS SOUS 1519912 HAS SOUPS 1518150 WITH SCORE 1526617.259
AT ITER 301 NEW BEST:: SOT 13983460 SOS 8467259 HAS SOPS 8465497 HAS SOUS 1519729 HAS SOUPS 1517967 WITH SCORE 1526434.259
AT ITER 306 NEW BEST:: SOT 13981814 SOS 8464091 HAS SOPS 8459989 HAS SOUS 1520917 HAS SOUPS 1516815 WITH SCORE 1525279.091
AT ITER 313 NEW BEST:: SOT 13981617 SOS 8464296 HAS SOPS 8460194 HAS SOUS 1520675 HAS SOUPS 1516573 WITH SCORE 1525037.296
AT ITER 323 NEW BEST:: SOT 13981617 SOS 8464296 HAS SOPS 8460194 HAS SOUS 1520560 HAS SOUPS 1516458 WITH SCORE 1524922.296
AT ITER 346 NEW BEST:: SOT 13981617 SOS 8464125 HAS SOPS 8460053 HAS SOUS 1520515 HAS SOUPS 1516443 WITH SCORE 1524907.125
AT ITER 350 NEW BEST:: SOT 13981617 SOS 8471829 HAS SOPS 8467757 HAS SOUS 1520473 HAS SOUPS 1516401 WITH SCORE 1524872.829
AT ITER 358 NEW BEST:: SOT 13981617 SOS 8500152 HAS SOPS 8496080 HAS SOUS 1520405 HAS SOUPS 1516333 WITH SCORE 1524833.152
AT ITER 359 NEW BEST:: SOT 13980287 SOS 8498822 HAS SOPS 8494750 HAS SOUS 1512263 HAS SOUPS 1508191 WITH SCORE 1516689.822
AT ITER 362 NEW BEST:: SOT 13980287 SOS 8508398 HAS SOPS 8504326 HAS SOUS 1512130 HAS SOUPS 1508058 WITH SCORE 1516566.398
AT ITER 370 NEW BEST:: SOT 13980287 SOS 8508398 HAS SOPS 8504326 HAS SOUS 1512093 HAS SOUPS 1508021 WITH SCORE 1516529.398
AT ITER 385 NEW BEST:: SOT 13977816 SOS 8505927 HAS SOPS 8501855 HAS SOUS 1510565 HAS SOUPS 1506493 WITH SCORE 1514998.927
AT ITER 391 NEW BEST:: SOT 13977816 SOS 8504127 HAS SOPS 8500055 HAS SOUS 1510565 HAS SOUPS 1506493 WITH SCORE 1514997.127
AT ITER 416 NEW BEST:: SOT 13977816 SOS 8501175 HAS SOPS 8497103 HAS SOUS 1510391 HAS SOUPS 1506319 WITH SCORE 1514820.175
AT ITER 424 NEW BEST:: SOT 13977816 SOS 8497359 HAS SOPS 8493287 HAS SOUS 1510335 HAS SOUPS 1506263 WITH SCORE 1514760.359
AT ITER 433 NEW BEST:: SOT 13974398 SOS 8511568 HAS SOPS 8507496 HAS SOUS 1509396 HAS SOUPS 1505324 WITH SCORE 1513835.568
AT ITER 435 NEW BEST:: SOT 13974398 SOS 8511406 HAS SOPS 8507334 HAS SOUS 1509396 HAS SOUPS 1505324 WITH SCORE 1513835.406
AT ITER 436 NEW BEST:: SOT 13974325 SOS 8511333 HAS SOPS 8507261 HAS SOUS 1509248 HAS SOUPS 1505176 WITH SCORE 1513687.333
AT ITER 439 NEW BEST:: SOT 13973697 SOS 8510825 HAS SOPS 8506753 HAS SOUS 1504469 HAS SOUPS 1500397 WITH SCORE 1508907.825
AT ITER 441 NEW BEST:: SOT 13973697 SOS 8497949 HAS SOPS 8493877 HAS SOUS 1504295 HAS SOUPS 1500223 WITH SCORE 1508720.949
AT ITER 453 NEW BEST:: SOT 13974521 SOS 8498893 HAS SOPS 8494821 HAS SOUS 1504026 HAS SOUPS 1499954 WITH SCORE 1508452.893
AT ITER 459 NEW BEST:: SOT 13974511 SOS 8498843 HAS SOPS 8494771 HAS SOUS 1504006 HAS SOUPS 1499934 WITH SCORE 1508432.843
AT ITER 465 NEW BEST:: SOT 13974473 SOS 8498483 HAS SOPS 8494473 HAS SOUS 1497423 HAS SOUPS 1493413 WITH SCORE 1501911.483
AT ITER 474 NEW BEST:: SOT 13974473 SOS 8495963 HAS SOPS 8491953 HAS SOUS 1497423 HAS SOUPS 1493413 WITH SCORE 1501908.963
AT ITER 479 NEW BEST:: SOT 13970627 SOS 8492445 HAS SOPS 8488819 HAS SOUS 1484100 HAS SOUPS 1480474 WITH SCORE 1488966.445
AT ITER 486 NEW BEST:: SOT 13970627 SOS 8492445 HAS SOPS 8488819 HAS SOUS 1484089 HAS SOUPS 1480463 WITH SCORE 1488955.445
AT ITER 497 NEW BEST:: SOT 13970724 SOS 8499800 HAS SOPS 8496174 HAS SOUS 1484081 HAS SOUPS 1480455 WITH SCORE 1488954.8
AT ITER 506 NEW BEST:: SOT 13970724 SOS 8499800 HAS SOPS 8496174 HAS SOUS 1484045 HAS SOUPS 1480419 WITH SCORE 1488918.8
AT ITER 520 NEW BEST:: SOT 13970724 SOS 8498792 HAS SOPS 8495166 HAS SOUS 1484045 HAS SOUPS 1480419 WITH SCORE 1488917.792
AT ITER 531 NEW BEST:: SOT 13970724 SOS 8498792 HAS SOPS 8495166 HAS SOUS 1483379 HAS SOUPS 1479753 WITH SCORE 1488251.792
AT ITER 536 NEW BEST:: SOT 13970066 SOS 8498134 HAS SOPS 8494508 HAS SOUS 1483140 HAS SOUPS 1479514 WITH SCORE 1488012.134
AT ITER 550 NEW BEST:: SOT 13970066 SOS 8494606 HAS SOPS 8490980 HAS SOUS 1483140 HAS SOUPS 1479514 WITH SCORE 1488008.606
AT ITER 551 NEW BEST:: SOT 13970066 SOS 8494606 HAS SOPS 8490980 HAS SOUS 1482339 HAS SOUPS 1478713 WITH SCORE 1487207.606
AT ITER 553 NEW BEST:: SOT 13970066 SOS 8492230 HAS SOPS 8488604 HAS SOUS 1482299 HAS SOUPS 1478673 WITH SCORE 1487165.23
AT ITER 580 NEW BEST:: SOT 13969238 SOS 8492242 HAS SOPS 8488616 HAS SOUS 1481040 HAS SOUPS 1477414 WITH SCORE 1485906.242
AT ITER 583 NEW BEST:: SOT 13969137 SOS 8491847 HAS SOPS 8488278 HAS SOUS 1476057 HAS SOUPS 1472488 WITH SCORE 1480979.847
AT ITER 585 NEW BEST:: SOT 13969137 SOS 8489900 HAS SOPS 8486331 HAS SOUS 1476041 HAS SOUPS 1472472 WITH SCORE 1480961.9
AT ITER 604 NEW BEST:: SOT 13969137 SOS 8489900 HAS SOPS 8486331 HAS SOUS 1476039 HAS SOUPS 1472470 WITH SCORE 1480959.9
AT ITER 607 NEW BEST:: SOT 13968676 SOS 8489439 HAS SOPS 8485870 HAS SOUS 1475795 HAS SOUPS 1472226 WITH SCORE 1480715.439
AT ITER 618 NEW BEST:: SOT 13968676 SOS 8489439 HAS SOPS 8485870 HAS SOUS 1475699 HAS SOUPS 1472130 WITH SCORE 1480619.439
AT ITER 620 NEW BEST:: SOT 13968676 SOS 8489439 HAS SOPS 8485870 HAS SOUS 1475628 HAS SOUPS 1472059 WITH SCORE 1480548.439
AT ITER 623 NEW BEST:: SOT 13966622 SOS 8487536 HAS SOPS 8483967 HAS SOUS 1470543 HAS SOUPS 1466974 WITH SCORE 1475461.536
AT ITER 629 NEW BEST:: SOT 13966622 SOS 8488616 HAS SOPS 8485047 HAS SOUS 1470528 HAS SOUPS 1466959 WITH SCORE 1475447.616
AT ITER 640 NEW BEST:: SOT 13966622 SOS 8481344 HAS SOPS 8477775 HAS SOUS 1470528 HAS SOUPS 1466959 WITH SCORE 1475440.344
AT ITER 643 NEW BEST:: SOT 13967195 SOS 8481917 HAS SOPS 8478348 HAS SOUS 1462057 HAS SOUPS 1458488 WITH SCORE 1466969.917
AT ITER 644 NEW BEST:: SOT 13967195 SOS 8482133 HAS SOPS 8478564 HAS SOUS 1462054 HAS SOUPS 1458485 WITH SCORE 1466967.133
AT ITER 647 NEW BEST:: SOT 13966547 SOS 8481530 HAS SOPS 8477961 HAS SOUS 1460721 HAS SOUPS 1457152 WITH SCORE 1465633.53
AT ITER 648 NEW BEST:: SOT 13969705 SOS 8543020 HAS SOPS 8537515 HAS SOUS 1460594 HAS SOUPS 1456614 WITH SCORE 1465157.02
AT ITER 650 NEW BEST:: SOT 13969727 SOS 8542993 HAS SOPS 8537537 HAS SOUS 1453834 HAS SOUPS 1449903 WITH SCORE 1458445.993
AT ITER 665 NEW BEST:: SOT 13969505 SOS 8542771 HAS SOPS 8537315 HAS SOUS 1453386 HAS SOUPS 1449455 WITH SCORE 1457997.771
AT ITER 675 NEW BEST:: SOT 13968785 SOS 8542101 HAS SOPS 8536655 HAS SOUS 1452092 HAS SOUPS 1448171 WITH SCORE 1456713.101
AT ITER 690 NEW BEST:: SOT 13968785 SOS 8542101 HAS SOPS 8536655 HAS SOUS 1451839 HAS SOUPS 1447918 WITH SCORE 1456460.101
AT ITER 693 NEW BEST:: SOT 13968723 SOS 8542039 HAS SOPS 8536593 HAS SOUS 1451839 HAS SOUPS 1447918 WITH SCORE 1456460.039
AT ITER 695 NEW BEST:: SOT 13968723 SOS 8538079 HAS SOPS 8532633 HAS SOUS 1451839 HAS SOUPS 1447918 WITH SCORE 1456456.079
AT ITER 706 NEW BEST:: SOT 13965060 SOS 8534331 HAS SOPS 8528933 HAS SOUS 1443761 HAS SOUPS 1439888 WITH SCORE 1448422.331
AT ITER 714 NEW BEST:: SOT 13962661 SOS 8532183 HAS SOPS 8526832 HAS SOUS 1439383 HAS SOUPS 1435557 WITH SCORE 1444089.183
AT ITER 718 NEW BEST:: SOT 13959998 SOS 8532480 HAS SOPS 8527129 HAS SOUS 1437280 HAS SOUPS 1433454 WITH SCORE 1441986.48
AT ITER 733 NEW BEST:: SOT 13959998 SOS 8429808 HAS SOPS 8424457 HAS SOUS 1437216 HAS SOUPS 1433390 WITH SCORE 1441819.808
AT ITER 745 NEW BEST:: SOT 13959572 SOS 8429382 HAS SOPS 8424031 HAS SOUS 1436460 HAS SOUPS 1432634 WITH SCORE 1441063.382
AT ITER 755 NEW BEST:: SOT 13958528 SOS 8428338 HAS SOPS 8422987 HAS SOUS 1434669 HAS SOUPS 1430843 WITH SCORE 1439271.338
AT ITER 759 NEW BEST:: SOT 13958528 SOS 8440794 HAS SOPS 8435443 HAS SOUS 1434496 HAS SOUPS 1430670 WITH SCORE 1439110.794
AT ITER 762 NEW BEST:: SOT 13958528 SOS 8451594 HAS SOPS 8446243 HAS SOUS 1434346 HAS SOUPS 1430520 WITH SCORE 1438971.594
AT ITER 781 NEW BEST:: SOT 13958528 SOS 8437386 HAS SOPS 8432035 HAS SOUS 1434154 HAS SOUPS 1430328 WITH SCORE 1438765.386
AT ITER 792 NEW BEST:: SOT 13957241 SOS 8435007 HAS SOPS 8429656 HAS SOUS 1431352 HAS SOUPS 1427526 WITH SCORE 1435961.007
AT ITER 793 NEW BEST:: SOT 13958370 SOS 8436892 HAS SOPS 8431541 HAS SOUS 1428510 HAS SOUPS 1424684 WITH SCORE 1433120.892
AT ITER 803 NEW BEST:: SOT 13958370 SOS 8436892 HAS SOPS 8431541 HAS SOUS 1428504 HAS SOUPS 1424678 WITH SCORE 1433114.892
AT ITER 815 NEW BEST:: SOT 13957817 SOS 8436339 HAS SOPS 8430988 HAS SOUS 1427384 HAS SOUPS 1423558 WITH SCORE 1431994.339
AT ITER 824 NEW BEST:: SOT 13957817 SOS 8433851 HAS SOPS 8428500 HAS SOUS 1427252 HAS SOUPS 1423426 WITH SCORE 1431859.851
AT ITER 825 NEW BEST:: SOT 13953245 SOS 8432931 HAS SOPS 8427580 HAS SOUS 1423117 HAS SOUPS 1419291 WITH SCORE 1427723.931
AT ITER 843 NEW BEST:: SOT 13952463 SOS 8432149 HAS SOPS 8426798 HAS SOUS 1421545 HAS SOUPS 1417719 WITH SCORE 1426151.149
AT ITER 844 NEW BEST:: SOT 13948734 SOS 8428420 HAS SOPS 8423069 HAS SOUS 1421167 HAS SOUPS 1417341 WITH SCORE 1425769.42
AT ITER 847 NEW BEST:: SOT 13948734 SOS 8420212 HAS SOPS 8414861 HAS SOUS 1421167 HAS SOUPS 1417341 WITH SCORE 1425761.212
AT ITER 850 NEW BEST:: SOT 13934630 SOS 8407408 HAS SOPS 8402057 HAS SOUS 1402374 HAS SOUPS 1398548 WITH SCORE 1406955.408
AT ITER 851 NEW BEST:: SOT 13934600 SOS 8407296 HAS SOPS 8401487 HAS SOUS 1402314 HAS SOUPS 1398030 WITH SCORE 1406437.296
AT ITER 853 NEW BEST:: SOT 13934600 SOS 8407250 HAS SOPS 8401441 HAS SOUS 1402268 HAS SOUPS 1397984 WITH SCORE 1406391.25
AT ITER 857 NEW BEST:: SOT 13934600 SOS 8406930 HAS SOPS 8401121 HAS SOUS 1402236 HAS SOUPS 1397952 WITH SCORE 1406358.93
AT ITER 868 NEW BEST:: SOT 13934600 SOS 8404698 HAS SOPS 8398889 HAS SOUS 1402236 HAS SOUPS 1397952 WITH SCORE 1406356.698
AT ITER 876 NEW BEST:: SOT 13934600 SOS 8407506 HAS SOPS 8401697 HAS SOUS 1402197 HAS SOUPS 1397913 WITH SCORE 1406320.506
AT ITER 882 NEW BEST:: SOT 13934600 SOS 8399541 HAS SOPS 8393732 HAS SOUS 1402172 HAS SOUPS 1397888 WITH SCORE 1406287.541
AT ITER 897 NEW BEST:: SOT 13934600 SOS 8397247 HAS SOPS 8391438 HAS SOUS 1402141 HAS SOUPS 1397857 WITH SCORE 1406254.247
AT ITER 899 NEW BEST:: SOT 13932434 SOS 8395869 HAS SOPS 8390060 HAS SOUS 1398153 HAS SOUPS 1393869 WITH SCORE 1402264.869
AT ITER 907 NEW BEST:: SOT 13932434 SOS 8395869 HAS SOPS 8390060 HAS SOUS 1398135 HAS SOUPS 1393851 WITH SCORE 1402246.869
AT ITER 917 NEW BEST:: SOT 13932434 SOS 8395232 HAS SOPS 8389423 HAS SOUS 1398044 HAS SOUPS 1393760 WITH SCORE 1402155.232
AT ITER 935 NEW BEST:: SOT 13932434 SOS 8395156 HAS SOPS 8389347 HAS SOUS 1398043 HAS SOUPS 1393759 WITH SCORE 1402154.156
AT ITER 949 NEW BEST:: SOT 13940976 SOS 8404262 HAS SOPS 8398453 HAS SOUS 1396467 HAS SOUPS 1392183 WITH SCORE 1400587.262
AT ITER 958 NEW BEST:: SOT 13940976 SOS 8398142 HAS SOPS 8392333 HAS SOUS 1396467 HAS SOUPS 1392183 WITH SCORE 1400581.142
AT ITER 962 NEW BEST:: SOT 13942116 SOS 8399282 HAS SOPS 8393473 HAS SOUS 1394387 HAS SOUPS 1390103 WITH SCORE 1398502.282
AT ITER 975 NEW BEST:: SOT 13942116 SOS 8399192 HAS SOPS 8393383 HAS SOUS 1394387 HAS SOUPS 1390103 WITH SCORE 1398502.192
AT ITER 979 NEW BEST:: SOT 13944881 SOS 8401957 HAS SOPS 8396148 HAS SOUS 1393192 HAS SOUPS 1388908 WITH SCORE 1397309.957
AT ITER 981 NEW BEST:: SOT 13948316 SOS 8405392 HAS SOPS 8399583 HAS SOUS 1392676 HAS SOUPS 1388392 WITH SCORE 1396797.392
AT ITER 986 NEW BEST:: SOT 13948419 SOS 8405531 HAS SOPS 8399722 HAS SOUS 1392561 HAS SOUPS 1388277 WITH SCORE 1396682.531
AT ITER 992 NEW BEST:: SOT 13948419 SOS 8401067 HAS SOPS 8395258 HAS SOUS 1392561 HAS SOUPS 1388277 WITH SCORE 1396678.067
AT ITER 999 NEW BEST:: SOT 13948419 SOS 8401067 HAS SOPS 8395258 HAS SOUS 1392516 HAS SOUPS 1388232 WITH SCORE 1396633.067
AT ITER 1001 NEW BEST:: SOT 13948419 SOS 8398907 HAS SOPS 8393098 HAS SOUS 1392516 HAS SOUPS 1388232 WITH SCORE 1396630.907
AT ITER 1020 NEW BEST:: SOT 13948419 SOS 8389115 HAS SOPS 8383306 HAS SOUS 1392516 HAS SOUPS 1388232 WITH SCORE 1396621.115
AT ITER 1028 NEW BEST:: SOT 13952200 SOS 8392896 HAS SOPS 8387087 HAS SOUS 1389770 HAS SOUPS 1385486 WITH SCORE 1393878.896
AT ITER 1036 NEW BEST:: SOT 13952200 SOS 8385192 HAS SOPS 8379383 HAS SOUS 1389770 HAS SOUPS 1385486 WITH SCORE 1393871.192
AT ITER 1037 NEW BEST:: SOT 13949543 SOS 8382535 HAS SOPS 8376726 HAS SOUS 1386708 HAS SOUPS 1382424 WITH SCORE 1390806.535
AT ITER 1077 NEW BEST:: SOT 13949543 SOS 8382535 HAS SOPS 8376726 HAS SOUS 1386686 HAS SOUPS 1382402 WITH SCORE 1390784.535
AT ITER 1091 NEW BEST:: SOT 13949543 SOS 8374903 HAS SOPS 8369094 HAS SOUS 1386686 HAS SOUPS 1382402 WITH SCORE 1390776.903
AT ITER 1099 NEW BEST:: SOT 13944290 SOS 8390842 HAS SOPS 8385033 HAS SOUS 1381622 HAS SOUPS 1377338 WITH SCORE 1385728.842
AT ITER 1102 NEW BEST:: SOT 13944308 SOS 8390860 HAS SOPS 8385051 HAS SOUS 1378985 HAS SOUPS 1374701 WITH SCORE 1383091.86
AT ITER 1116 NEW BEST:: SOT 13944308 SOS 8394892 HAS SOPS 8389083 HAS SOUS 1378937 HAS SOUPS 1374653 WITH SCORE 1383047.892
AT ITER 1122 NEW BEST:: SOT 13944308 SOS 8394838 HAS SOPS 8389029 HAS SOUS 1378910 HAS SOUPS 1374626 WITH SCORE 1383020.838
AT ITER 1124 NEW BEST:: SOT 13956248 SOS 8427084 HAS SOPS 8421275 HAS SOUS 1371982 HAS SOUPS 1367698 WITH SCORE 1376125.084
AT ITER 1128 NEW BEST:: SOT 13956248 SOS 8423412 HAS SOPS 8417603 HAS SOUS 1371982 HAS SOUPS 1367698 WITH SCORE 1376121.412
AT ITER 1129 NEW BEST:: SOT 13956248 SOS 8423247 HAS SOPS 8417438 HAS SOUS 1371982 HAS SOUPS 1367698 WITH SCORE 1376121.247
AT ITER 1134 NEW BEST:: SOT 13953625 SOS 8420624 HAS SOPS 8414815 HAS SOUS 1370082 HAS SOUPS 1365798 WITH SCORE 1374218.624
AT ITER 1137 NEW BEST:: SOT 13953625 SOS 8433080 HAS SOPS 8427271 HAS SOUS 1369909 HAS SOUPS 1365625 WITH SCORE 1374058.08
AT ITER 1178 NEW BEST:: SOT 13953625 SOS 8432662 HAS SOPS 8426853 HAS SOUS 1369700 HAS SOUPS 1365416 WITH SCORE 1373848.662
AT ITER 1182 NEW BEST:: SOT 13953625 SOS 8424602 HAS SOPS 8418793 HAS SOUS 1369701 HAS SOUPS 1365417 WITH SCORE 1373841.602
AT ITER 1184 NEW BEST:: SOT 13951064 SOS 8422032 HAS SOPS 8416223 HAS SOUS 1367910 HAS SOUPS 1363626 WITH SCORE 1372048.032
AT ITER 1200 NEW BEST:: SOT 13950203 SOS 8421171 HAS SOPS 8415362 HAS SOUS 1367294 HAS SOUPS 1363010 WITH SCORE 1371431.171
AT ITER 1209 NEW BEST:: SOT 13948818 SOS 8419777 HAS SOPS 8413968 HAS SOUS 1366429 HAS SOUPS 1362145 WITH SCORE 1370564.777
AT ITER 1215 NEW BEST:: SOT 13948818 SOS 8419489 HAS SOPS 8413680 HAS SOUS 1366285 HAS SOUPS 1362001 WITH SCORE 1370420.489
AT ITER 1218 NEW BEST:: SOT 13945646 SOS 8417537 HAS SOPS 8411728 HAS SOUS 1365304 HAS SOUPS 1361020 WITH SCORE 1369437.537
AT ITER 1220 NEW BEST:: SOT 13940888 SOS 8412573 HAS SOPS 8406764 HAS SOUS 1364851 HAS SOUPS 1360567 WITH SCORE 1368979.573
AT ITER 1227 NEW BEST:: SOT 13940194 SOS 8411879 HAS SOPS 8406070 HAS SOUS 1363450 HAS SOUPS 1359166 WITH SCORE 1367577.879
AT ITER 1233 NEW BEST:: SOT 13936687 SOS 8403044 HAS SOPS 8397235 HAS SOUS 1360647 HAS SOUPS 1356363 WITH SCORE 1364766.044
AT ITER 1239 NEW BEST:: SOT 13936687 SOS 8402036 HAS SOPS 8396227 HAS SOUS 1360647 HAS SOUPS 1356363 WITH SCORE 1364765.036
AT ITER 1246 NEW BEST:: SOT 13936687 SOS 8401518 HAS SOPS 8395709 HAS SOUS 1360640 HAS SOUPS 1356356 WITH SCORE 1364757.518
AT ITER 1251 NEW BEST:: SOT 13937686 SOS 8402629 HAS SOPS 8396820 HAS SOUS 1359831 HAS SOUPS 1355547 WITH SCORE 1363949.629
AT ITER 1257 NEW BEST:: SOT 13937427 SOS 8402289 HAS SOPS 8396565 HAS SOUS 1351702 HAS SOUPS 1347503 WITH SCORE 1355905.289
AT ITER 1261 NEW BEST:: SOT 13937427 SOS 8401764 HAS SOPS 8396040 HAS SOUS 1351627 HAS SOUPS 1347428 WITH SCORE 1355829.764
AT ITER 1264 NEW BEST:: SOT 13938501 SOS 8402835 HAS SOPS 8397111 HAS SOUS 1344220 HAS SOUPS 1340021 WITH SCORE 1348423.835
AT ITER 1267 NEW BEST:: SOT 13933947 SOS 8398281 HAS SOPS 8392557 HAS SOUS 1339951 HAS SOUPS 1335752 WITH SCORE 1344150.281
AT ITER 1285 NEW BEST:: SOT 13933913 SOS 8398246 HAS SOPS 8392522 HAS SOUS 1339927 HAS SOUPS 1335728 WITH SCORE 1344126.246
AT ITER 1287 NEW BEST:: SOT 13940390 SOS 8405231 HAS SOPS 8399507 HAS SOUS 1337177 HAS SOUPS 1332978 WITH SCORE 1341383.231
AT ITER 1288 NEW BEST:: SOT 13940390 SOS 8405231 HAS SOPS 8399507 HAS SOUS 1337117 HAS SOUPS 1332918 WITH SCORE 1341323.231
AT ITER 1293 NEW BEST:: SOT 13940390 SOS 8400263 HAS SOPS 8394539 HAS SOUS 1337117 HAS SOUPS 1332918 WITH SCORE 1341318.263
AT ITER 1295 NEW BEST:: SOT 13940390 SOS 8387159 HAS SOPS 8381435 HAS SOUS 1337117 HAS SOUPS 1332918 WITH SCORE 1341305.159
AT ITER 1314 NEW BEST:: SOT 13940390 SOS 8380247 HAS SOPS 8374523 HAS SOUS 1337117 HAS SOUPS 1332918 WITH SCORE 1341298.247
AT ITER 1318 NEW BEST:: SOT 13936968 SOS 8381649 HAS SOPS 8375925 HAS SOUS 1334942 HAS SOUPS 1330743 WITH SCORE 1339124.649
AT ITER 1323 NEW BEST:: SOT 13799183 SOS 8640683 HAS SOPS 8636186 HAS SOUS 1183027 HAS SOUPS 1179976 WITH SCORE 1188616.683
AT ITER 1325 NEW BEST:: SOT 13799183 SOS 8638091 HAS SOPS 8633594 HAS SOUS 1183027 HAS SOUPS 1179976 WITH SCORE 1188614.091
AT ITER 1354 NEW BEST:: SOT 13789488 SOS 8633540 HAS SOPS 8629791 HAS SOUS 1173764 HAS SOUPS 1170713 WITH SCORE 1179346.54
AT ITER 1361 NEW BEST:: SOT 13789488 SOS 8633540 HAS SOPS 8629791 HAS SOUS 1173696 HAS SOUPS 1170645 WITH SCORE 1179278.54
AT ITER 1375 NEW BEST:: SOT 13789488 SOS 8620812 HAS SOPS 8617063 HAS SOUS 1173696 HAS SOUPS 1170645 WITH SCORE 1179265.812
AT ITER 1378 NEW BEST:: SOT 13789488 SOS 8615700 HAS SOPS 8611951 HAS SOUS 1173696 HAS SOUPS 1170645 WITH SCORE 1179260.7
AT ITER 1381 NEW BEST:: SOT 13793869 SOS 8620062 HAS SOPS 8616313 HAS SOUS 1173490 HAS SOUPS 1170439 WITH SCORE 1179059.062
AT ITER 1396 NEW BEST:: SOT 13795261 SOS 8621554 HAS SOPS 8617805 HAS SOUS 1171665 HAS SOUPS 1168614 WITH SCORE 1177235.554
AT ITER 1407 NEW BEST:: SOT 13793020 SOS 8619313 HAS SOPS 8615564 HAS SOUS 1168327 HAS SOUPS 1165276 WITH SCORE 1173895.313
AT ITER 1421 NEW BEST:: SOT 13793020 SOS 8615929 HAS SOPS 8612180 HAS SOUS 1168327 HAS SOUPS 1165276 WITH SCORE 1173891.929
AT ITER 1424 NEW BEST:: SOT 13799152 SOS 8622079 HAS SOPS 8618330 HAS SOUS 1167701 HAS SOUPS 1164650 WITH SCORE 1173272.079
AT ITER 1430 NEW BEST:: SOT 13799152 SOS 8623454 HAS SOPS 8619705 HAS SOUS 1167509 HAS SOUPS 1164458 WITH SCORE 1173081.454
AT ITER 1442 NEW BEST:: SOT 13801019 SOS 8625825 HAS SOPS 8622076 HAS SOUS 1166307 HAS SOUPS 1163256 WITH SCORE 1171881.825
AT ITER 1447 NEW BEST:: SOT 13801019 SOS 8625825 HAS SOPS 8622076 HAS SOUS 1166297 HAS SOUPS 1163246 WITH SCORE 1171871.825
AT ITER 1473 NEW BEST:: SOT 13797140 SOS 8634294 HAS SOPS 8630545 HAS SOUS 1164429 HAS SOUPS 1161378 WITH SCORE 1170012.294
AT ITER 1480 NEW BEST:: SOT 13797140 SOS 8632926 HAS SOPS 8629177 HAS SOUS 1164429 HAS SOUPS 1161378 WITH SCORE 1170010.926
AT ITER 1493 NEW BEST:: SOT 13797140 SOS 8632680 HAS SOPS 8628931 HAS SOUS 1164265 HAS SOUPS 1161214 WITH SCORE 1169846.68
AT ITER 1499 NEW BEST:: SOT 13800264 SOS 8635804 HAS SOPS 8632055 HAS SOUS 1162591 HAS SOUPS 1159540 WITH SCORE 1168175.804
AT ITER 1503 NEW BEST:: SOT 13800230 SOS 8635792 HAS SOPS 8632043 HAS SOUS 1161168 HAS SOUPS 1158117 WITH SCORE 1166752.792
AT ITER 1511 NEW BEST:: SOT 13794771 SOS 8647003 HAS SOPS 8643254 HAS SOUS 1156030 HAS SOUPS 1152979 WITH SCORE 1161626.003
AT ITER 1516 NEW BEST:: SOT 13791340 SOS 8643592 HAS SOPS 8639843 HAS SOUS 1149214 HAS SOUPS 1146163 WITH SCORE 1154806.592
AT ITER 1523 NEW BEST:: SOT 13790359 SOS 8642611 HAS SOPS 8638862 HAS SOUS 1147196 HAS SOUPS 1144145 WITH SCORE 1152787.611
AT ITER 1526 NEW BEST:: SOT 13787631 SOS 8639883 HAS SOPS 8636134 HAS SOUS 1146461 HAS SOUPS 1143410 WITH SCORE 1152049.883
AT ITER 1534 NEW BEST:: SOT 13787631 SOS 8637164 HAS SOPS 8633475 HAS SOUS 1146375 HAS SOUPS 1143402 WITH SCORE 1152039.164
AT ITER 1542 NEW BEST:: SOT 13791552 SOS 8641253 HAS SOPS 8637564 HAS SOUS 1145865 HAS SOUPS 1142892 WITH SCORE 1151533.253
AT ITER 1553 NEW BEST:: SOT 13791552 SOS 8641253 HAS SOPS 8637564 HAS SOUS 1145735 HAS SOUPS 1142762 WITH SCORE 1151403.253
AT ITER 1563 NEW BEST:: SOT 13795693 SOS 8646816 HAS SOPS 8643127 HAS SOUS 1142040 HAS SOUPS 1139067 WITH SCORE 1147713.816
AT ITER 1568 NEW BEST:: SOT 13795693 SOS 8646816 HAS SOPS 8643127 HAS SOUS 1141831 HAS SOUPS 1138858 WITH SCORE 1147504.816
AT ITER 1574 NEW BEST:: SOT 13791971 SOS 8643094 HAS SOPS 8639405 HAS SOUS 1136989 HAS SOUPS 1134016 WITH SCORE 1142659.094
AT ITER 1596 NEW BEST:: SOT 13786914 SOS 8638037 HAS SOPS 8634348 HAS SOUS 1131068 HAS SOUPS 1128095 WITH SCORE 1136733.037
AT ITER 1600 NEW BEST:: SOT 13786914 SOS 8637389 HAS SOPS 8633700 HAS SOUS 1131068 HAS SOUPS 1128095 WITH SCORE 1136732.389
AT ITER 1619 NEW BEST:: SOT 13786896 SOS 8637377 HAS SOPS 8633688 HAS SOUS 1131043 HAS SOUPS 1128070 WITH SCORE 1136707.377
AT ITER 1623 NEW BEST:: SOT 13786896 SOS 8637377 HAS SOPS 8633688 HAS SOUS 1131011 HAS SOUPS 1128038 WITH SCORE 1136675.377
AT ITER 1624 NEW BEST:: SOT 13786737 SOS 8637229 HAS SOPS 8633540 HAS SOUS 1130621 HAS SOUPS 1127648 WITH SCORE 1136285.229
AT ITER 1628 NEW BEST:: SOT 13784012 SOS 8635362 HAS SOPS 8631673 HAS SOUS 1129963 HAS SOUPS 1126990 WITH SCORE 1135625.362
AT ITER 1654 NEW BEST:: SOT 13784012 SOS 8649258 HAS SOPS 8645569 HAS SOUS 1129770 HAS SOUPS 1126797 WITH SCORE 1135446.258
AT ITER 1659 NEW BEST:: SOT 13784012 SOS 8647098 HAS SOPS 8643409 HAS SOUS 1129770 HAS SOUPS 1126797 WITH SCORE 1135444.098
AT ITER 1664 NEW BEST:: SOT 13783184 SOS 8646270 HAS SOPS 8642581 HAS SOUS 1128114 HAS SOUPS 1125141 WITH SCORE 1133787.27
AT ITER 1667 NEW BEST:: SOT 13783184 SOS 8642858 HAS SOPS 8639361 HAS SOUS 1128049 HAS SOUPS 1125122 WITH SCORE 1133764.858
AT ITER 1669 NEW BEST:: SOT 13782875 SOS 8642549 HAS SOPS 8639052 HAS SOUS 1126611 HAS SOUPS 1123684 WITH SCORE 1132326.549
AT ITER 1673 NEW BEST:: SOT 13782875 SOS 8638877 HAS SOPS 8635380 HAS SOUS 1126611 HAS SOUPS 1123684 WITH SCORE 1132322.877
AT ITER 1677 NEW BEST:: SOT 13779789 SOS 8635791 HAS SOPS 8632294 HAS SOUS 1123896 HAS SOUPS 1120969 WITH SCORE 1129604.791
AT ITER 1682 NEW BEST:: SOT 13779789 SOS 8642559 HAS SOPS 8639062 HAS SOUS 1123802 HAS SOUPS 1120875 WITH SCORE 1129517.559
AT ITER 1695 NEW BEST:: SOT 13779789 SOS 8642485 HAS SOPS 8638988 HAS SOUS 1123802 HAS SOUPS 1120875 WITH SCORE 1129517.485
AT ITER 1701 NEW BEST:: SOT 13779957 SOS 8630557 HAS SOPS 8627060 HAS SOUS 1123802 HAS SOUPS 1120875 WITH SCORE 1129505.557
AT ITER 1704 NEW BEST:: SOT 13779957 SOS 8630557 HAS SOPS 8627060 HAS SOUS 1123722 HAS SOUPS 1120795 WITH SCORE 1129425.557
AT ITER 1712 NEW BEST:: SOT 13779957 SOS 8630551 HAS SOPS 8627054 HAS SOUS 1123719 HAS SOUPS 1120792 WITH SCORE 1129422.551
AT ITER 1735 NEW BEST:: SOT 13784163 SOS 8634757 HAS SOPS 8631260 HAS SOUS 1115444 HAS SOUPS 1112517 WITH SCORE 1121151.757
AT ITER 1739 NEW BEST:: SOT 13783877 SOS 8634471 HAS SOPS 8630974 HAS SOUS 1114888 HAS SOUPS 1111961 WITH SCORE 1120595.471
AT ITER 1741 NEW BEST:: SOT 13782790 SOS 8633384 HAS SOPS 8629887 HAS SOUS 1113941 HAS SOUPS 1111014 WITH SCORE 1119647.384
AT ITER 1754 NEW BEST:: SOT 13782790 SOS 8618984 HAS SOPS 8615487 HAS SOUS 1113941 HAS SOUPS 1111014 WITH SCORE 1119632.984
AT ITER 1767 NEW BEST:: SOT 13788617 SOS 8625271 HAS SOPS 8621774 HAS SOUS 1111353 HAS SOUPS 1108426 WITH SCORE 1117051.271
AT ITER 1793 NEW BEST:: SOT 13786158 SOS 8622812 HAS SOPS 8619315 HAS SOUS 1109174 HAS SOUPS 1106247 WITH SCORE 1114869.812
AT ITER 1808 NEW BEST:: SOT 13786140 SOS 8622794 HAS SOPS 8619297 HAS SOUS 1109040 HAS SOUPS 1106113 WITH SCORE 1114735.794
AT ITER 1817 NEW BEST:: SOT 13786103 SOS 8622757 HAS SOPS 8619260 HAS SOUS 1109003 HAS SOUPS 1106076 WITH SCORE 1114698.757
AT ITER 1828 NEW BEST:: SOT 13786564 SOS 8623566 HAS SOPS 8620069 HAS SOUS 1105065 HAS SOUPS 1102138 WITH SCORE 1110761.566
AT ITER 1857 NEW BEST:: SOT 13785982 SOS 8622751 HAS SOPS 8619285 HAS SOUS 1104631 HAS SOUPS 1101735 WITH SCORE 1110357.751
AT ITER 1862 NEW BEST:: SOT 13794498 SOS 8931181 HAS SOPS 8927872 HAS SOUS 1103790 HAS SOUPS 1100933 WITH SCORE 1109864.181
AT ITER 1867 NEW BEST:: SOT 13794498 SOS 8930573 HAS SOPS 8927264 HAS SOUS 1103782 HAS SOUPS 1100925 WITH SCORE 1109855.573
AT ITER 1876 NEW BEST:: SOT 13794435 SOS 8930510 HAS SOPS 8927201 HAS SOUS 1103719 HAS SOUPS 1100862 WITH SCORE 1109792.51
AT ITER 1885 NEW BEST:: SOT 13794385 SOS 8930460 HAS SOPS 8927151 HAS SOUS 1103669 HAS SOUPS 1100812 WITH SCORE 1109742.46
AT ITER 1917 NEW BEST:: SOT 13794385 SOS 8929182 HAS SOPS 8925873 HAS SOUS 1103669 HAS SOUPS 1100812 WITH SCORE 1109741.182
AT ITER 1926 NEW BEST:: SOT 13794385 SOS 8927670 HAS SOPS 8924361 HAS SOUS 1103669 HAS SOUPS 1100812 WITH SCORE 1109739.67
AT ITER 1933 NEW BEST:: SOT 13794385 SOS 8927670 HAS SOPS 8924361 HAS SOUS 1103639 HAS SOUPS 1100782 WITH SCORE 1109709.67
AT ITER 1949 NEW BEST:: SOT 13792693 SOS 8925938 HAS SOPS 8922629 HAS SOUS 1093315 HAS SOUPS 1090458 WITH SCORE 1099383.938
AT ITER 1959 NEW BEST:: SOT 13792693 SOS 8915536 HAS SOPS 8912227 HAS SOUS 1093148 HAS SOUPS 1090291 WITH SCORE 1099206.536
AT ITER 1971 NEW BEST:: SOT 13780666 SOS 8904805 HAS SOPS 8901496 HAS SOUS 1087931 HAS SOUPS 1085074 WITH SCORE 1093978.805
AT ITER 1986 NEW BEST:: SOT 13780454 SOS 8904557 HAS SOPS 8901248 HAS SOUS 1086136 HAS SOUPS 1083279 WITH SCORE 1092183.557
AT ITER 1991 NEW BEST:: SOT 13780454 SOS 8902793 HAS SOPS 8899484 HAS SOUS 1086115 HAS SOUPS 1083258 WITH SCORE 1092160.793
AT ITER 2001 NEW BEST:: SOT 13780454 SOS 8897784 HAS SOPS 8894475 HAS SOUS 1086115 HAS SOUPS 1083258 WITH SCORE 1092155.784
AT ITER 2003 NEW BEST:: SOT 13785772 SOS 8919037 HAS SOPS 8915144 HAS SOUS 1075434 HAS SOUPS 1072411 WITH SCORE 1081330.037
AT ITER 2005 NEW BEST:: SOT 13785765 SOS 8919030 HAS SOPS 8915137 HAS SOUS 1075420 HAS SOUPS 1072397 WITH SCORE 1081316.03
AT ITER 2034 NEW BEST:: SOT 13785765 SOS 8905654 HAS SOPS 8901761 HAS SOUS 1075420 HAS SOUPS 1072397 WITH SCORE 1081302.654
AT ITER 2059 NEW BEST:: SOT 13785765 SOS 8901958 HAS SOPS 8898065 HAS SOUS 1075420 HAS SOUPS 1072397 WITH SCORE 1081298.958
AT ITER 2067 NEW BEST:: SOT 13785765 SOS 8899792 HAS SOPS 8895899 HAS SOUS 1075420 HAS SOUPS 1072397 WITH SCORE 1081296.792
AT ITER 2069 NEW BEST:: SOT 13785718 SOS 8899745 HAS SOPS 8895852 HAS SOUS 1068636 HAS SOUPS 1065613 WITH SCORE 1074512.745
AT ITER 2077 NEW BEST:: SOT 13785718 SOS 8899745 HAS SOPS 8895852 HAS SOUS 1068634 HAS SOUPS 1065611 WITH SCORE 1074510.745
AT ITER 2082 NEW BEST:: SOT 13785693 SOS 8899720 HAS SOPS 8895827 HAS SOUS 1064740 HAS SOUPS 1061717 WITH SCORE 1070616.72
AT ITER 2095 NEW BEST:: SOT 13785764 SOS 8899778 HAS SOPS 8895885 HAS SOUS 1061944 HAS SOUPS 1058921 WITH SCORE 1067820.778
AT ITER 2099 NEW BEST:: SOT 13785764 SOS 8889770 HAS SOPS 8885877 HAS SOUS 1061952 HAS SOUPS 1058929 WITH SCORE 1067818.77
AT ITER 2100 NEW BEST:: SOT 13785253 SOS 8889259 HAS SOPS 8885366 HAS SOUS 1061199 HAS SOUPS 1058176 WITH SCORE 1067065.259
AT ITER 2109 NEW BEST:: SOT 13785253 SOS 8882563 HAS SOPS 8878670 HAS SOUS 1061199 HAS SOUPS 1058176 WITH SCORE 1067058.563
AT ITER 2114 NEW BEST:: SOT 13785253 SOS 8878531 HAS SOPS 8874638 HAS SOUS 1061199 HAS SOUPS 1058176 WITH SCORE 1067054.531
AT ITER 2134 NEW BEST:: SOT 13785862 SOS 8879140 HAS SOPS 8875247 HAS SOUS 1059413 HAS SOUPS 1056390 WITH SCORE 1065269.14
AT ITER 2141 NEW BEST:: SOT 13785033 SOS 8878592 HAS SOPS 8874699 HAS SOUS 1057998 HAS SOUPS 1054975 WITH SCORE 1063853.592
AT ITER 2152 NEW BEST:: SOT 13785033 SOS 8878056 HAS SOPS 8874163 HAS SOUS 1057838 HAS SOUPS 1054815 WITH SCORE 1063693.056
AT ITER 2180 NEW BEST:: SOT 13785033 SOS 8872008 HAS SOPS 8868115 HAS SOUS 1057838 HAS SOUPS 1054815 WITH SCORE 1063687.008
AT ITER 2183 NEW BEST:: SOT 13795155 SOS 8882130 HAS SOPS 8878237 HAS SOUS 1055427 HAS SOUPS 1052404 WITH SCORE 1061286.13
AT ITER 2186 NEW BEST:: SOT 13795155 SOS 8881970 HAS SOPS 8878077 HAS SOUS 1055347 HAS SOUPS 1052324 WITH SCORE 1061205.97
AT ITER 2188 NEW BEST:: SOT 13795155 SOS 8881726 HAS SOPS 8877833 HAS SOUS 1055215 HAS SOUPS 1052192 WITH SCORE 1061073.726
AT ITER 2195 NEW BEST:: SOT 13795155 SOS 8877982 HAS SOPS 8874089 HAS SOUS 1055215 HAS SOUPS 1052192 WITH SCORE 1061069.982
AT ITER 2199 NEW BEST:: SOT 13795155 SOS 8882302 HAS SOPS 8878409 HAS SOUS 1055155 HAS SOUPS 1052132 WITH SCORE 1061014.302
AT ITER 2251 NEW BEST:: SOT 13794787 SOS 8881934 HAS SOPS 8878041 HAS SOUS 1054412 HAS SOUPS 1051389 WITH SCORE 1060270.934
AT ITER 2254 NEW BEST:: SOT 13773511 SOS 8866719 HAS SOPS 8862826 HAS SOUS 1049949 HAS SOUPS 1046926 WITH SCORE 1055792.719
AT ITER 2259 NEW BEST:: SOT 13773439 SOS 8866647 HAS SOPS 8862754 HAS SOUS 1049941 HAS SOUPS 1046918 WITH SCORE 1055784.647
AT ITER 2285 NEW BEST:: SOT 13773439 SOS 8868447 HAS SOPS 8864554 HAS SOUS 1049916 HAS SOUPS 1046893 WITH SCORE 1055761.447
AT ITER 2289 NEW BEST:: SOT 13773439 SOS 8868826 HAS SOPS 8864933 HAS SOUS 1049857 HAS SOUPS 1046834 WITH SCORE 1055702.826
AT ITER 2290 NEW BEST:: SOT 13773435 SOS 8868822 HAS SOPS 8864929 HAS SOUS 1049849 HAS SOUPS 1046826 WITH SCORE 1055694.822
AT ITER 2299 NEW BEST:: SOT 13773435 SOS 8868078 HAS SOPS 8864185 HAS SOUS 1049787 HAS SOUPS 1046764 WITH SCORE 1055632.078
AT ITER 2320 NEW BEST:: SOT 13773149 SOS 8869414 HAS SOPS 8865774 HAS SOUS 1049074 HAS SOUPS 1046304 WITH SCORE 1055173.414
AT ITER 2329 NEW BEST:: SOT 13773149 SOS 8864815 HAS SOPS 8861175 HAS SOUS 1048948 HAS SOUPS 1046178 WITH SCORE 1055042.815
AT ITER 2330 NEW BEST:: SOT 13769933 SOS 8861599 HAS SOPS 8857959 HAS SOUS 1046680 HAS SOUPS 1043910 WITH SCORE 1052771.599
AT ITER 2341 NEW BEST:: SOT 13769891 SOS 8861557 HAS SOPS 8857917 HAS SOUS 1046569 HAS SOUPS 1043799 WITH SCORE 1052660.557
AT ITER 2349 NEW BEST:: SOT 13767104 SOS 8874388 HAS SOPS 8870748 HAS SOUS 1046065 HAS SOUPS 1043295 WITH SCORE 1052169.388
AT ITER 2353 NEW BEST:: SOT 13767104 SOS 8876260 HAS SOPS 8872620 HAS SOUS 1046039 HAS SOUPS 1043269 WITH SCORE 1052145.26
AT ITER 2354 NEW BEST:: SOT 13767104 SOS 8874964 HAS SOPS 8871324 HAS SOUS 1046039 HAS SOUPS 1043269 WITH SCORE 1052143.964
AT ITER 2368 NEW BEST:: SOT 13766497 SOS 8874357 HAS SOPS 8870717 HAS SOUS 1044895 HAS SOUPS 1042125 WITH SCORE 1050999.357
AT ITER 2378 NEW BEST:: SOT 13768330 SOS 8876190 HAS SOPS 8872550 HAS SOUS 1040912 HAS SOUPS 1038142 WITH SCORE 1047018.19
AT ITER 2381 NEW BEST:: SOT 13773202 SOS 8881596 HAS SOPS 8877956 HAS SOUS 1039435 HAS SOUPS 1036665 WITH SCORE 1045546.596
AT ITER 2386 NEW BEST:: SOT 13773202 SOS 8871444 HAS SOPS 8867804 HAS SOUS 1039435 HAS SOUPS 1036665 WITH SCORE 1045536.444
AT ITER 2390 NEW BEST:: SOT 13772969 SOS 8871211 HAS SOPS 8867571 HAS SOUS 1039041 HAS SOUPS 1036271 WITH SCORE 1045142.211
AT ITER 2410 NEW BEST:: SOT 13772991 SOS 8862568 HAS SOPS 8858928 HAS SOUS 1038944 HAS SOUPS 1036174 WITH SCORE 1045036.568
AT ITER 2425 NEW BEST:: SOT 13777069 SOS 8866646 HAS SOPS 8863006 HAS SOUS 1038335 HAS SOUPS 1035565 WITH SCORE 1044431.646
AT ITER 2437 NEW BEST:: SOT 13776650 SOS 8866227 HAS SOPS 8862587 HAS SOUS 1028424 HAS SOUPS 1025654 WITH SCORE 1034520.227
AT ITER 2446 NEW BEST:: SOT 13779413 SOS 8868990 HAS SOPS 8865350 HAS SOUS 1027308 HAS SOUPS 1024538 WITH SCORE 1033406.99
AT ITER 2468 NEW BEST:: SOT 13779413 SOS 8865924 HAS SOPS 8862284 HAS SOUS 1027224 HAS SOUPS 1024454 WITH SCORE 1033319.924
AT ITER 2473 NEW BEST:: SOT 13777231 SOS 8863742 HAS SOPS 8860102 HAS SOUS 1026711 HAS SOUPS 1023941 WITH SCORE 1032804.742
AT ITER 2475 NEW BEST:: SOT 13777552 SOS 8864063 HAS SOPS 8860423 HAS SOUS 1026623 HAS SOUPS 1023853 WITH SCORE 1032717.063
AT ITER 2477 NEW BEST:: SOT 13773657 SOS 8860168 HAS SOPS 8856528 HAS SOUS 1018769 HAS SOUPS 1015999 WITH SCORE 1024859.168
AT ITER 2479 NEW BEST:: SOT 13778987 SOS 8865498 HAS SOPS 8861858 HAS SOUS 1018172 HAS SOUPS 1015402 WITH SCORE 1024267.498
AT ITER 2481 NEW BEST:: SOT 13778987 SOS 8865272 HAS SOPS 8861632 HAS SOUS 1018059 HAS SOUPS 1015289 WITH SCORE 1024154.272
AT ITER 2500 NEW BEST:: SOT 13778178 SOS 8864463 HAS SOPS 8860823 HAS SOUS 1015689 HAS SOUPS 1012919 WITH SCORE 1021783.463
AT ITER 2525 NEW BEST:: SOT 13777275 SOS 8863315 HAS SOPS 8859710 HAS SOUS 1014971 HAS SOUPS 1012236 WITH SCORE 1021099.315
AT ITER 2529 NEW BEST:: SOT 13777275 SOS 8886123 HAS SOPS 8881463 HAS SOUS 1014523 HAS SOUPS 1011577 WITH SCORE 1020463.123
AT ITER 2532 NEW BEST:: SOT 13777275 SOS 8886085 HAS SOPS 8881425 HAS SOUS 1014485 HAS SOUPS 1011539 WITH SCORE 1020425.085
AT ITER 2566 NEW BEST:: SOT 13777458 SOS 8883844 HAS SOPS 8879184 HAS SOUS 1014431 HAS SOUPS 1011485 WITH SCORE 1020368.844
AT ITER 2567 NEW BEST:: SOT 13777458 SOS 8886416 HAS SOPS 8881756 HAS SOUS 1014331 HAS SOUPS 1011385 WITH SCORE 1020271.416
AT ITER 2576 NEW BEST:: SOT 13777458 SOS 8886332 HAS SOPS 8881672 HAS SOUS 1014319 HAS SOUPS 1011373 WITH SCORE 1020259.332
AT ITER 2580 NEW BEST:: SOT 13777458 SOS 8874812 HAS SOPS 8870152 HAS SOUS 1014319 HAS SOUPS 1011373 WITH SCORE 1020247.812
AT ITER 2594 NEW BEST:: SOT 13777458 SOS 8880218 HAS SOPS 8875558 HAS SOUS 1014120 HAS SOUPS 1011174 WITH SCORE 1020054.218
AT ITER 2609 NEW BEST:: SOT 13777458 SOS 8880140 HAS SOPS 8875480 HAS SOUS 1013973 HAS SOUPS 1011027 WITH SCORE 1019907.14
AT ITER 2613 NEW BEST:: SOT 13776663 SOS 8879345 HAS SOPS 8874685 HAS SOUS 1013178 HAS SOUPS 1010232 WITH SCORE 1019111.345
AT ITER 2618 NEW BEST:: SOT 13777260 SOS 8879942 HAS SOPS 8875282 HAS SOUS 1010644 HAS SOUPS 1007698 WITH SCORE 1016577.942
AT ITER 2625 NEW BEST:: SOT 13778079 SOS 8899188 HAS SOPS 8894528 HAS SOUS 1007591 HAS SOUPS 1004645 WITH SCORE 1013544.188
AT ITER 2638 NEW BEST:: SOT 13778079 SOS 8890247 HAS SOPS 8885587 HAS SOUS 1007591 HAS SOUPS 1004645 WITH SCORE 1013535.247
AT ITER 2645 NEW BEST:: SOT 13773634 SOS 8882372 HAS SOPS 8877712 HAS SOUS 1006571 HAS SOUPS 1003625 WITH SCORE 1012507.372
AT ITER 2648 NEW BEST:: SOT 13773634 SOS 8883331 HAS SOPS 8878671 HAS SOUS 1006534 HAS SOUPS 1003588 WITH SCORE 1012471.331
AT ITER 2662 NEW BEST:: SOT 13773554 SOS 8883251 HAS SOPS 8878591 HAS SOUS 1006437 HAS SOUPS 1003491 WITH SCORE 1012374.251
AT ITER 2671 NEW BEST:: SOT 13773190 SOS 8882887 HAS SOPS 8878227 HAS SOUS 1005701 HAS SOUPS 1002755 WITH SCORE 1011637.887
AT ITER 2683 NEW BEST:: SOT 13773190 SOS 8882788 HAS SOPS 8878128 HAS SOUS 1005696 HAS SOUPS 1002750 WITH SCORE 1011632.788
AT ITER 2684 NEW BEST:: SOT 13773190 SOS 8886100 HAS SOPS 8881440 HAS SOUS 1005650 HAS SOUPS 1002704 WITH SCORE 1011590.1
AT ITER 2704 NEW BEST:: SOT 13772734 SOS 8885644 HAS SOPS 8880984 HAS SOUS 1002442 HAS SOUPS 999496 WITH SCORE 1008381.644
AT ITER 2712 NEW BEST:: SOT 13772734 SOS 8870319 HAS SOPS 8866174 HAS SOUS 1002317 HAS SOUPS 999474 WITH SCORE 1008344.319
AT ITER 2723 NEW BEST:: SOT 13772734 SOS 8870264 HAS SOPS 8866119 HAS SOUS 1002221 HAS SOUPS 999378 WITH SCORE 1008248.264
AT ITER 2731 NEW BEST:: SOT 13772674 SOS 8870204 HAS SOPS 8866059 HAS SOUS 1002163 HAS SOUPS 999320 WITH SCORE 1008190.204
AT ITER 2743 NEW BEST:: SOT 13772065 SOS 8869595 HAS SOPS 8865450 HAS SOUS 1001035 HAS SOUPS 998192 WITH SCORE 1007061.595
AT ITER 2752 NEW BEST:: SOT 13772065 SOS 8866643 HAS SOPS 8862498 HAS SOUS 1000994 HAS SOUPS 998151 WITH SCORE 1007017.643
AT ITER 2758 NEW BEST:: SOT 13768214 SOS 8862792 HAS SOPS 8858647 HAS SOUS 1000009 HAS SOUPS 997166 WITH SCORE 1006028.792
AT ITER 2775 NEW BEST:: SOT 13768147 SOS 8862725 HAS SOPS 8858580 HAS SOUS 999806 HAS SOUPS 996963 WITH SCORE 1005825.725
AT ITER 2780 NEW BEST:: SOT 13768147 SOS 8871509 HAS SOPS 8867364 HAS SOUS 999684 HAS SOUPS 996841 WITH SCORE 1005712.509
AT ITER 2782 NEW BEST:: SOT 13768171 SOS 8871533 HAS SOPS 8867388 HAS SOUS 999680 HAS SOUPS 996837 WITH SCORE 1005708.533
AT ITER 2798 NEW BEST:: SOT 13768171 SOS 8867372 HAS SOPS 8863227 HAS SOUS 999623 HAS SOUPS 996780 WITH SCORE 1005647.372
AT ITER 2811 NEW BEST:: SOT 13768171 SOS 8867372 HAS SOPS 8863227 HAS SOUS 999593 HAS SOUPS 996750 WITH SCORE 1005617.372
AT ITER 2822 NEW BEST:: SOT 13768171 SOS 8869903 HAS SOPS 8865758 HAS SOUS 999537 HAS SOUPS 996694 WITH SCORE 1005563.903
AT ITER 2837 NEW BEST:: SOT 13767179 SOS 8868911 HAS SOPS 8864766 HAS SOUS 999450 HAS SOUPS 996607 WITH SCORE 1005475.911
AT ITER 2843 NEW BEST:: SOT 13767179 SOS 8857888 HAS SOPS 8853743 HAS SOUS 999299 HAS SOUPS 996456 WITH SCORE 1005313.888
AT ITER 2851 NEW BEST:: SOT 13764484 SOS 8855193 HAS SOPS 8851048 HAS SOUS 996993 HAS SOUPS 994150 WITH SCORE 1003005.193
AT ITER 2853 NEW BEST:: SOT 13766657 SOS 8853624 HAS SOPS 8849479 HAS SOUS 996357 HAS SOUPS 993514 WITH SCORE 1002367.624
AT ITER 2855 NEW BEST:: SOT 13761573 SOS 8848540 HAS SOPS 8844395 HAS SOUS 991964 HAS SOUPS 989121 WITH SCORE 997969.54
AT ITER 2876 NEW BEST:: SOT 13762318 SOS 8849285 HAS SOPS 8845140 HAS SOUS 991038 HAS SOUPS 988195 WITH SCORE 997044.285
AT ITER 2879 NEW BEST:: SOT 13762318 SOS 8849275 HAS SOPS 8845130 HAS SOUS 991033 HAS SOUPS 988190 WITH SCORE 997039.275
AT ITER 2882 NEW BEST:: SOT 13762286 SOS 8853037 HAS SOPS 8848892 HAS SOUS 991001 HAS SOUPS 988158 WITH SCORE 997011.037
AT ITER 2885 NEW BEST:: SOT 13762043 SOS 8852794 HAS SOPS 8848649 HAS SOUS 990513 HAS SOUPS 987670 WITH SCORE 996522.794
AT ITER 2898 NEW BEST:: SOT 13760954 SOS 8851705 HAS SOPS 8847560 HAS SOUS 988190 HAS SOUPS 985347 WITH SCORE 994198.705
AT ITER 2902 NEW BEST:: SOT 13760954 SOS 8853315 HAS SOPS 8849170 HAS SOUS 988167 HAS SOUPS 985324 WITH SCORE 994177.315
AT ITER 2907 NEW BEST:: SOT 13765577 SOS 8857938 HAS SOPS 8853793 HAS SOUS 978935 HAS SOUPS 976092 WITH SCORE 984949.938
AT ITER 2912 NEW BEST:: SOT 13765499 SOS 8840872 HAS SOPS 8837464 HAS SOUS 976655 HAS SOUPS 974097 WITH SCORE 982937.872
AT ITER 2916 NEW BEST:: SOT 13765499 SOS 8840872 HAS SOPS 8837464 HAS SOUS 976640 HAS SOUPS 974082 WITH SCORE 982922.872
AT ITER 2926 NEW BEST:: SOT 13784792 SOS 8871028 HAS SOPS 8867620 HAS SOUS 975390 HAS SOUPS 972832 WITH SCORE 981703.028
AT ITER 2955 NEW BEST:: SOT 13787097 SOS 8873333 HAS SOPS 8869925 HAS SOUS 975052 HAS SOUPS 972494 WITH SCORE 981367.333
AT ITER 2964 NEW BEST:: SOT 13787097 SOS 8882507 HAS SOPS 8879099 HAS SOUS 974922 HAS SOUPS 972364 WITH SCORE 981246.507
AT ITER 2965 NEW BEST:: SOT 13790518 SOS 8885919 HAS SOPS 8882511 HAS SOUS 974184 HAS SOUPS 971626 WITH SCORE 980511.919
AT ITER 2970 NEW BEST:: SOT 13789179 SOS 8884580 HAS SOPS 8881172 HAS SOUS 973958 HAS SOUPS 971400 WITH SCORE 980284.58
AT ITER 2971 NEW BEST:: SOT 13789179 SOS 8877740 HAS SOPS 8874332 HAS SOUS 973958 HAS SOUPS 971400 WITH SCORE 980277.74
AT ITER 2977 NEW BEST:: SOT 13789995 SOS 8878556 HAS SOPS 8875418 HAS SOUS 971969 HAS SOUPS 969681 WITH SCORE 978559.556
AT ITER 2997 NEW BEST:: SOT 13789995 SOS 8878556 HAS SOPS 8875418 HAS SOUS 971940 HAS SOUPS 969652 WITH SCORE 978530.556
AT ITER 3004 NEW BEST:: SOT 13789179 SOS 8877740 HAS SOPS 8874602 HAS SOUS 970263 HAS SOUPS 967975 WITH SCORE 976852.74
AT ITER 3023 NEW BEST:: SOT 13789179 SOS 8870924 HAS SOPS 8867786 HAS SOUS 970169 HAS SOUPS 967881 WITH SCORE 976751.924
AT ITER 3032 NEW BEST:: SOT 13788501 SOS 8870246 HAS SOPS 8867108 HAS SOUS 968801 HAS SOUPS 966513 WITH SCORE 975383.246
AT ITER 3040 NEW BEST:: SOT 13791843 SOS 8873588 HAS SOPS 8870450 HAS SOUS 967221 HAS SOUPS 964933 WITH SCORE 973806.588
AT ITER 3053 NEW BEST:: SOT 13791843 SOS 8864486 HAS SOPS 8861348 HAS SOUS 967098 HAS SOUPS 964810 WITH SCORE 973674.486
AT ITER 3070 NEW BEST:: SOT 13794555 SOS 8867198 HAS SOPS 8864060 HAS SOUS 966788 HAS SOUPS 964500 WITH SCORE 973367.198
AT ITER 3077 NEW BEST:: SOT 13796123 SOS 8868766 HAS SOPS 8865628 HAS SOUS 960436 HAS SOUPS 958148 WITH SCORE 967016.766
AT ITER 3093 NEW BEST:: SOT 13796123 SOS 8868756 HAS SOPS 8865618 HAS SOUS 960426 HAS SOUPS 958138 WITH SCORE 967006.756
AT ITER 3106 NEW BEST:: SOT 13796013 SOS 8868646 HAS SOPS 8865508 HAS SOUS 959884 HAS SOUPS 957596 WITH SCORE 966464.646
AT ITER 3110 NEW BEST:: SOT 13796013 SOS 8866424 HAS SOPS 8863286 HAS SOUS 959854 HAS SOUPS 957566 WITH SCORE 966432.424
AT ITER 3112 NEW BEST:: SOT 13796357 SOS 8866804 HAS SOPS 8863666 HAS SOUS 959766 HAS SOUPS 957478 WITH SCORE 966344.804
AT ITER 3116 NEW BEST:: SOT 13797087 SOS 8867534 HAS SOPS 8864396 HAS SOUS 958657 HAS SOUPS 956369 WITH SCORE 965236.534
AT ITER 3126 NEW BEST:: SOT 13803846 SOS 8877026 HAS SOPS 8873888 HAS SOUS 953352 HAS SOUPS 951064 WITH SCORE 959941.026
AT ITER 3144 NEW BEST:: SOT 13803846 SOS 8876223 HAS SOPS 8873085 HAS SOUS 953341 HAS SOUPS 951053 WITH SCORE 959929.223
AT ITER 3145 NEW BEST:: SOT 13802951 SOS 8875328 HAS SOPS 8872190 HAS SOUS 951568 HAS SOUPS 949280 WITH SCORE 958155.328
AT ITER 3148 NEW BEST:: SOT 13802375 SOS 8874752 HAS SOPS 8871614 HAS SOUS 951182 HAS SOUPS 948894 WITH SCORE 957768.752
AT ITER 3176 NEW BEST:: SOT 13811175 SOS 8889871 HAS SOPS 8886733 HAS SOUS 947887 HAS SOUPS 945599 WITH SCORE 954488.871
AT ITER 3184 NEW BEST:: SOT 13811175 SOS 8888143 HAS SOPS 8885005 HAS SOUS 947887 HAS SOUPS 945599 WITH SCORE 954487.143
AT ITER 3197 NEW BEST:: SOT 13811133 SOS 8888106 HAS SOPS 8884968 HAS SOUS 947878 HAS SOUPS 945590 WITH SCORE 954478.106
AT ITER 3218 NEW BEST:: SOT 13815078 SOS 8892179 HAS SOPS 8889169 HAS SOUS 947317 HAS SOUPS 945029 WITH SCORE 953921.179
AT ITER 3235 NEW BEST:: SOT 13815078 SOS 8891887 HAS SOPS 8888877 HAS SOUS 947309 HAS SOUPS 945021 WITH SCORE 953912.887
AT ITER 3260 NEW BEST:: SOT 13816265 SOS 8893116 HAS SOPS 8890106 HAS SOUS 943822 HAS SOUPS 941534 WITH SCORE 950427.116
AT ITER 3266 NEW BEST:: SOT 13816265 SOS 8893108 HAS SOPS 8890098 HAS SOUS 943822 HAS SOUPS 941534 WITH SCORE 950427.108
AT ITER 3267 NEW BEST:: SOT 13813537 SOS 8859931 HAS SOPS 8857917 HAS SOUS 940071 HAS SOUPS 938057 WITH SCORE 946916.931
AT ITER 3272 NEW BEST:: SOT 13811420 SOS 8857814 HAS SOPS 8855800 HAS SOUS 938225 HAS SOUPS 936211 WITH SCORE 945068.814
AT ITER 3286 NEW BEST:: SOT 13811420 SOS 8857793 HAS SOPS 8855779 HAS SOUS 938204 HAS SOUPS 936190 WITH SCORE 945047.793
AT ITER 3301 NEW BEST:: SOT 13811420 SOS 8851457 HAS SOPS 8849443 HAS SOUS 938204 HAS SOUPS 936190 WITH SCORE 945041.457
AT ITER 3339 NEW BEST:: SOT 13811393 SOS 8851430 HAS SOPS 8849416 HAS SOUS 938177 HAS SOUPS 936163 WITH SCORE 945014.43
AT ITER 3347 NEW BEST:: SOT 13816067 SOS 8856104 HAS SOPS 8854090 HAS SOUS 937153 HAS SOUPS 935139 WITH SCORE 943995.104
AT ITER 3364 NEW BEST:: SOT 13817969 SOS 8858006 HAS SOPS 8855992 HAS SOUS 931181 HAS SOUPS 929167 WITH SCORE 938025.006
AT ITER 3395 NEW BEST:: SOT 13817969 SOS 8855379 HAS SOPS 8853365 HAS SOUS 931181 HAS SOUPS 929167 WITH SCORE 938022.379
AT ITER 3423 NEW BEST:: SOT 13814771 SOS 8852181 HAS SOPS 8850167 HAS SOUS 924910 HAS SOUPS 922896 WITH SCORE 931748.181
AT ITER 3424 NEW BEST:: SOT 13814771 SOS 8852076 HAS SOPS 8850062 HAS SOUS 924802 HAS SOUPS 922788 WITH SCORE 931640.076
AT ITER 3432 NEW BEST:: SOT 13812134 SOS 8849397 HAS SOPS 8847383 HAS SOUS 924266 HAS SOUPS 922252 WITH SCORE 931101.397
AT ITER 3435 NEW BEST:: SOT 13812094 SOS 8849357 HAS SOPS 8847343 HAS SOUS 924156 HAS SOUPS 922142 WITH SCORE 930991.357
AT ITER 3445 NEW BEST:: SOT 13813263 SOS 8850526 HAS SOPS 8848512 HAS SOUS 923292 HAS SOUPS 921278 WITH SCORE 930128.526
AT ITER 3447 NEW BEST:: SOT 13813154 SOS 8850417 HAS SOPS 8848403 HAS SOUS 920250 HAS SOUPS 918236 WITH SCORE 927086.417
AT ITER 3460 NEW BEST:: SOT 13813154 SOS 8862556 HAS SOPS 8860542 HAS SOUS 920071 HAS SOUPS 918057 WITH SCORE 926919.556
AT ITER 3462 NEW BEST:: SOT 13813154 SOS 8856770 HAS SOPS 8854756 HAS SOUS 919730 HAS SOUPS 917716 WITH SCORE 926572.77
AT ITER 3472 NEW BEST:: SOT 13813154 SOS 8853620 HAS SOPS 8851606 HAS SOUS 919730 HAS SOUPS 917716 WITH SCORE 926569.62
AT ITER 3490 NEW BEST:: SOT 13808775 SOS 8849169 HAS SOPS 8847155 HAS SOUS 918871 HAS SOUPS 916857 WITH SCORE 925706.169
AT ITER 3499 NEW BEST:: SOT 13808775 SOS 8849120 HAS SOPS 8847106 HAS SOUS 918773 HAS SOUPS 916759 WITH SCORE 925608.12
AT ITER 3515 NEW BEST:: SOT 13808552 SOS 8852087 HAS SOPS 8850073 HAS SOUS 917563 HAS SOUPS 915549 WITH SCORE 924401.087
AT ITER 3518 NEW BEST:: SOT 13808552 SOS 8850015 HAS SOPS 8848001 HAS SOUS 917535 HAS SOUPS 915521 WITH SCORE 924371.015
AT ITER 3520 NEW BEST:: SOT 13808552 SOS 8849655 HAS SOPS 8847641 HAS SOUS 917530 HAS SOUPS 915516 WITH SCORE 924365.655
AT ITER 3525 NEW BEST:: SOT 13808552 SOS 8847891 HAS SOPS 8845877 HAS SOUS 917530 HAS SOUPS 915516 WITH SCORE 924363.891
AT ITER 3529 NEW BEST:: SOT 13811636 SOS 8850975 HAS SOPS 8848961 HAS SOUS 916798 HAS SOUPS 914784 WITH SCORE 923634.975
AT ITER 3534 NEW BEST:: SOT 13812471 SOS 8851930 HAS SOPS 8849916 HAS SOUS 914671 HAS SOUPS 912657 WITH SCORE 921508.93
AT ITER 3560 NEW BEST:: SOT 13814474 SOS 8853933 HAS SOPS 8851919 HAS SOUS 914276 HAS SOUPS 912262 WITH SCORE 921115.933
AT ITER 3566 NEW BEST:: SOT 13813915 SOS 8853374 HAS SOPS 8851360 HAS SOUS 913806 HAS SOUPS 911792 WITH SCORE 920645.374
AT ITER 3569 NEW BEST:: SOT 13813620 SOS 8853487 HAS SOPS 8851473 HAS SOUS 913164 HAS SOUPS 911150 WITH SCORE 920003.487
AT ITER 3571 NEW BEST:: SOT 13810290 SOS 8850157 HAS SOPS 8848143 HAS SOUS 910427 HAS SOUPS 908413 WITH SCORE 917263.157
AT ITER 3588 NEW BEST:: SOT 13809926 SOS 8849793 HAS SOPS 8847779 HAS SOUS 909692 HAS SOUPS 907678 WITH SCORE 916527.793
AT ITER 3591 NEW BEST:: SOT 13805683 SOS 8845550 HAS SOPS 8843536 HAS SOUS 909477 HAS SOUPS 907463 WITH SCORE 916308.55
AT ITER 3599 NEW BEST:: SOT 13806067 SOS 8845934 HAS SOPS 8843920 HAS SOUS 909100 HAS SOUPS 907086 WITH SCORE 915931.934
AT ITER 3601 NEW BEST:: SOT 13806663 SOS 8846530 HAS SOPS 8844516 HAS SOUS 908850 HAS SOUPS 906836 WITH SCORE 915682.53
AT ITER 3628 NEW BEST:: SOT 13805981 SOS 8845972 HAS SOPS 8843958 HAS SOUS 899981 HAS SOUPS 897967 WITH SCORE 906812.972
AT ITER 3660 NEW BEST:: SOT 13805981 SOS 8845972 HAS SOPS 8843958 HAS SOUS 899979 HAS SOUPS 897965 WITH SCORE 906810.972
AT ITER 3670 NEW BEST:: SOT 13806730 SOS 8846721 HAS SOPS 8844707 HAS SOUS 898769 HAS SOUPS 896755 WITH SCORE 905601.721
AT ITER 3676 NEW BEST:: SOT 13806680 SOS 8846671 HAS SOPS 8844657 HAS SOUS 898663 HAS SOUPS 896649 WITH SCORE 905495.671
AT ITER 3677 NEW BEST:: SOT 13805368 SOS 8845359 HAS SOPS 8843345 HAS SOUS 898638 HAS SOUPS 896624 WITH SCORE 905469.359
AT ITER 3679 NEW BEST:: SOT 13805368 SOS 8845071 HAS SOPS 8843057 HAS SOUS 898638 HAS SOUPS 896624 WITH SCORE 905469.071
AT ITER 3694 NEW BEST:: SOT 13805328 SOS 8845031 HAS SOPS 8843017 HAS SOUS 898602 HAS SOUPS 896588 WITH SCORE 905433.031
AT ITER 3700 NEW BEST:: SOT 13805328 SOS 8840783 HAS SOPS 8838769 HAS SOUS 898602 HAS SOUPS 896588 WITH SCORE 905428.783
AT ITER 3717 NEW BEST:: SOT 13804453 SOS 8839908 HAS SOPS 8837894 HAS SOUS 896947 HAS SOUPS 894933 WITH SCORE 903772.908
AT ITER 3719 NEW BEST:: SOT 13804453 SOS 8839476 HAS SOPS 8837462 HAS SOUS 896947 HAS SOUPS 894933 WITH SCORE 903772.476
AT ITER 3722 NEW BEST:: SOT 13804453 SOS 8832132 HAS SOPS 8830118 HAS SOUS 896947 HAS SOUPS 894933 WITH SCORE 903765.132
AT ITER 3736 NEW BEST:: SOT 13804453 SOS 8829324 HAS SOPS 8827310 HAS SOUS 896947 HAS SOUPS 894933 WITH SCORE 903762.324
AT ITER 3743 NEW BEST:: SOT 13804453 SOS 8818401 HAS SOPS 8816387 HAS SOUS 896785 HAS SOUPS 894771 WITH SCORE 903589.401
AT ITER 3756 NEW BEST:: SOT 13804571 SOS 8818479 HAS SOPS 8816469 HAS SOUS 893807 HAS SOUPS 891797 WITH SCORE 900615.479
AT ITER 3785 NEW BEST:: SOT 13804435 SOS 8818343 HAS SOPS 8816333 HAS SOUS 893523 HAS SOUPS 891513 WITH SCORE 900331.343
AT ITER 3789 NEW BEST:: SOT 13804438 SOS 8818346 HAS SOPS 8816336 HAS SOUS 893440 HAS SOUPS 891430 WITH SCORE 900248.346
AT ITER 3793 NEW BEST:: SOT 13804438 SOS 8818346 HAS SOPS 8816336 HAS SOUS 893428 HAS SOUPS 891418 WITH SCORE 900236.346
AT ITER 3811 NEW BEST:: SOT 13803120 SOS 8817028 HAS SOPS 8815018 HAS SOUS 890756 HAS SOUPS 888746 WITH SCORE 897563.028
AT ITER 3837 NEW BEST:: SOT 13803202 SOS 8817110 HAS SOPS 8815100 HAS SOUS 890754 HAS SOUPS 888744 WITH SCORE 897561.11
AT ITER 3838 NEW BEST:: SOT 13812604 SOS 8826503 HAS SOPS 8824493 HAS SOUS 890522 HAS SOUPS 888512 WITH SCORE 897338.503
AT ITER 3843 NEW BEST:: SOT 13811269 SOS 8825168 HAS SOPS 8823158 HAS SOUS 888530 HAS SOUPS 886520 WITH SCORE 895345.168
AT ITER 3853 NEW BEST:: SOT 13811269 SOS 8825150 HAS SOPS 8823140 HAS SOUS 888521 HAS SOUPS 886511 WITH SCORE 895336.15
AT ITER 3883 NEW BEST:: SOT 13811269 SOS 8820770 HAS SOPS 8818760 HAS SOUS 888461 HAS SOUPS 886451 WITH SCORE 895271.77
AT ITER 3903 NEW BEST:: SOT 13811461 SOS 8820962 HAS SOPS 8818952 HAS SOUS 887805 HAS SOUPS 885795 WITH SCORE 894615.962
AT ITER 3924 NEW BEST:: SOT 13811461 SOS 8820612 HAS SOPS 8818602 HAS SOUS 887755 HAS SOUPS 885745 WITH SCORE 894565.612
AT ITER 3937 NEW BEST:: SOT 13811456 SOS 8822960 HAS SOPS 8820950 HAS SOUS 887424 HAS SOUPS 885414 WITH SCORE 894236.96
AT ITER 3953 NEW BEST:: SOT 13813335 SOS 8824839 HAS SOPS 8822829 HAS SOUS 886393 HAS SOUPS 884383 WITH SCORE 893207.839
AT ITER 3959 NEW BEST:: SOT 13810781 SOS 8822285 HAS SOPS 8820275 HAS SOUS 884287 HAS SOUPS 882277 WITH SCORE 891099.285
AT ITER 3961 NEW BEST:: SOT 13810136 SOS 8821736 HAS SOPS 8819726 HAS SOUS 880002 HAS SOUPS 877992 WITH SCORE 886813.736
AT ITER 3967 NEW BEST:: SOT 13810136 SOS 8822204 HAS SOPS 8820194 HAS SOUS 879861 HAS SOUPS 877851 WITH SCORE 886673.204
AT ITER 3983 NEW BEST:: SOT 13810136 SOS 8454458 HAS SOPS 8452448 HAS SOUS 879768 HAS SOUPS 877758 WITH SCORE 886212.458
AT ITER 3989 NEW BEST:: SOT 13806032 SOS 8449837 HAS SOPS 8447900 HAS SOUS 876164 HAS SOUPS 874227 WITH SCORE 882676.837
AT ITER 4005 NEW BEST:: SOT 13804114 SOS 8447920 HAS SOPS 8445983 HAS SOUS 874453 HAS SOUPS 872516 WITH SCORE 880963.92
AT ITER 4010 NEW BEST:: SOT 13806848 SOS 8450654 HAS SOPS 8448717 HAS SOUS 873113 HAS SOUPS 871176 WITH SCORE 879626.654
AT ITER 4068 NEW BEST:: SOT 13805955 SOS 8449761 HAS SOPS 8447824 HAS SOUS 871225 HAS SOUPS 869288 WITH SCORE 877737.761
AT ITER 4079 NEW BEST:: SOT 13804117 SOS 8447601 HAS SOPS 8445710 HAS SOUS 869663 HAS SOUPS 867772 WITH SCORE 876219.601
AT ITER 4082 NEW BEST:: SOT 13804140 SOS 8447624 HAS SOPS 8445733 HAS SOUS 869659 HAS SOUPS 867768 WITH SCORE 876215.624
AT ITER 4086 NEW BEST:: SOT 13804700 SOS 8448154 HAS SOPS 8446263 HAS SOUS 868156 HAS SOUPS 866265 WITH SCORE 874713.154
AT ITER 4143 NEW BEST:: SOT 13804700 SOS 8444102 HAS SOPS 8442211 HAS SOUS 868156 HAS SOUPS 866265 WITH SCORE 874709.102
AT ITER 4151 NEW BEST:: SOT 13804678 SOS 8440728 HAS SOPS 8438837 HAS SOUS 868134 HAS SOUPS 866243 WITH SCORE 874683.728
AT ITER 4162 NEW BEST:: SOT 13804678 SOS 8437416 HAS SOPS 8435525 HAS SOUS 868134 HAS SOUPS 866243 WITH SCORE 874680.416
AT ITER 4172 NEW BEST:: SOT 13804678 SOS 8431726 HAS SOPS 8429835 HAS SOUS 867871 HAS SOUPS 865980 WITH SCORE 874411.726
AT ITER 4181 NEW BEST:: SOT 13804597 SOS 8431645 HAS SOPS 8429754 HAS SOUS 867798 HAS SOUPS 865907 WITH SCORE 874338.645
AT ITER 4185 NEW BEST:: SOT 13802938 SOS 8428330 HAS SOPS 8426439 HAS SOUS 867731 HAS SOUPS 865840 WITH SCORE 874268.33
AT ITER 4194 NEW BEST:: SOT 13801748 SOS 8429858 HAS SOPS 8427967 HAS SOUS 867263 HAS SOUPS 865372 WITH SCORE 873801.858
AT ITER 4196 NEW BEST:: SOT 13801681 SOS 8429791 HAS SOPS 8427900 HAS SOUS 867127 HAS SOUPS 865236 WITH SCORE 873665.791
AT ITER 4204 NEW BEST:: SOT 13811065 SOS 8439175 HAS SOPS 8437284 HAS SOUS 866904 HAS SOUPS 865013 WITH SCORE 873452.175
AT ITER 4242 NEW BEST:: SOT 13811065 SOS 8438977 HAS SOPS 8437086 HAS SOUS 866795 HAS SOUPS 864904 WITH SCORE 873342.977
AT ITER 4260 NEW BEST:: SOT 13810958 SOS 8438870 HAS SOPS 8436979 HAS SOUS 866593 HAS SOUPS 864702 WITH SCORE 873140.87
AT ITER 4261 NEW BEST:: SOT 13811890 SOS 8453472 HAS SOPS 8451581 HAS SOUS 863054 HAS SOUPS 861163 WITH SCORE 869616.472
AT ITER 4271 NEW BEST:: SOT 13811975 SOS 8453557 HAS SOPS 8451666 HAS SOUS 863030 HAS SOUPS 861139 WITH SCORE 869592.557
AT ITER 4283 NEW BEST:: SOT 13811970 SOS 8453552 HAS SOPS 8451661 HAS SOUS 863014 HAS SOUPS 861123 WITH SCORE 869576.552
AT ITER 4290 NEW BEST:: SOT 13814372 SOS 8455858 HAS SOPS 8453967 HAS SOUS 862096 HAS SOUPS 860205 WITH SCORE 868660.858
AT ITER 4292 NEW BEST:: SOT 13814372 SOS 8454818 HAS SOPS 8452927 HAS SOUS 861856 HAS SOUPS 859965 WITH SCORE 868419.818
AT ITER 4304 NEW BEST:: SOT 13813213 SOS 8453659 HAS SOPS 8451768 HAS SOUS 861099 HAS SOUPS 859208 WITH SCORE 867661.659
AT ITER 4305 NEW BEST:: SOT 13812939 SOS 8453385 HAS SOPS 8451494 HAS SOUS 858377 HAS SOUPS 856486 WITH SCORE 864939.385
AT ITER 4360 NEW BEST:: SOT 13812939 SOS 8447592 HAS SOPS 8445701 HAS SOUS 858266 HAS SOUPS 856375 WITH SCORE 864822.592
AT ITER 4365 NEW BEST:: SOT 13812939 SOS 8443200 HAS SOPS 8441309 HAS SOUS 858266 HAS SOUPS 856375 WITH SCORE 864818.2
AT ITER 4371 NEW BEST:: SOT 13816933 SOS 8447194 HAS SOPS 8445303 HAS SOUS 857738 HAS SOUPS 855847 WITH SCORE 864294.194
AT ITER 4381 NEW BEST:: SOT 13816887 SOS 8447148 HAS SOPS 8445257 HAS SOUS 857692 HAS SOUPS 855801 WITH SCORE 864248.148
AT ITER 4416 NEW BEST:: SOT 13816675 SOS 8446974 HAS SOPS 8445083 HAS SOUS 855812 HAS SOUPS 853921 WITH SCORE 862367.974
AT ITER 4422 NEW BEST:: SOT 13816675 SOS 8446519 HAS SOPS 8444628 HAS SOUS 855747 HAS SOUPS 853856 WITH SCORE 862302.519
AT ITER 4434 NEW BEST:: SOT 13816517 SOS 8446361 HAS SOPS 8444470 HAS SOUS 855406 HAS SOUPS 853515 WITH SCORE 861961.361
AT ITER 4440 NEW BEST:: SOT 13813376 SOS 8442807 HAS SOPS 8440975 HAS SOUS 852678 HAS SOUPS 850846 WITH SCORE 859288.807
AT ITER 4500 NEW BEST:: SOT 13813353 SOS 8442784 HAS SOPS 8440952 HAS SOUS 852632 HAS SOUPS 850800 WITH SCORE 859242.784
AT ITER 4514 NEW BEST:: SOT 13813206 SOS 8442637 HAS SOPS 8440805 HAS SOUS 852392 HAS SOUPS 850560 WITH SCORE 859002.637
AT ITER 4517 NEW BEST:: SOT 13813206 SOS 8442541 HAS SOPS 8440709 HAS SOUS 852392 HAS SOUPS 850560 WITH SCORE 859002.541
AT ITER 4520 NEW BEST:: SOT 13808779 SOS 8437027 HAS SOPS 8435195 HAS SOUS 848621 HAS SOUPS 846789 WITH SCORE 855226.027
AT ITER 4530 NEW BEST:: SOT 13808779 SOS 8430475 HAS SOPS 8428643 HAS SOUS 848621 HAS SOUPS 846789 WITH SCORE 855219.475
AT ITER 4534 NEW BEST:: SOT 13807701 SOS 8428821 HAS SOPS 8426989 HAS SOUS 848044 HAS SOUPS 846212 WITH SCORE 854640.821
AT ITER 4540 NEW BEST:: SOT 13799562 SOS 8415930 HAS SOPS 8414098 HAS SOUS 847703 HAS SOUPS 845871 WITH SCORE 854286.93
AT ITER 4546 NEW BEST:: SOT 13803250 SOS 8419618 HAS SOPS 8417786 HAS SOUS 845305 HAS SOUPS 843473 WITH SCORE 851892.618
AT ITER 4553 NEW BEST:: SOT 13805008 SOS 8421381 HAS SOPS 8419549 HAS SOUS 843999 HAS SOUPS 842167 WITH SCORE 850588.381
AT ITER 4560 NEW BEST:: SOT 13804830 SOS 8421203 HAS SOPS 8419371 HAS SOUS 843861 HAS SOUPS 842029 WITH SCORE 850450.203
AT ITER 4571 NEW BEST:: SOT 13801565 SOS 8417938 HAS SOPS 8416106 HAS SOUS 840935 HAS SOUPS 839103 WITH SCORE 847520.938
AT ITER 4584 NEW BEST:: SOT 13801527 SOS 8417900 HAS SOPS 8416068 HAS SOUS 840929 HAS SOUPS 839097 WITH SCORE 847514.9
AT ITER 4588 NEW BEST:: SOT 13801509 SOS 8417882 HAS SOPS 8416050 HAS SOUS 840911 HAS SOUPS 839079 WITH SCORE 847496.882
AT ITER 4616 NEW BEST:: SOT 13798065 SOS 8413914 HAS SOPS 8412082 HAS SOUS 833523 HAS SOUPS 831691 WITH SCORE 840104.914
AT ITER 4642 NEW BEST:: SOT 13797300 SOS 8413149 HAS SOPS 8411317 HAS SOUS 832907 HAS SOUPS 831075 WITH SCORE 839488.149
AT ITER 4652 NEW BEST:: SOT 13797222 SOS 8413069 HAS SOPS 8411237 HAS SOUS 832845 HAS SOUPS 831013 WITH SCORE 839426.069
AT ITER 4692 NEW BEST:: SOT 13794367 SOS 8416590 HAS SOPS 8414758 HAS SOUS 831343 HAS SOUPS 829511 WITH SCORE 837927.59
AT ITER 4720 NEW BEST:: SOT 13792239 SOS 8414462 HAS SOPS 8412630 HAS SOUS 829732 HAS SOUPS 827900 WITH SCORE 836314.462
AT ITER 4726 NEW BEST:: SOT 13792239 SOS 8416044 HAS SOPS 8414212 HAS SOUS 829659 HAS SOUPS 827827 WITH SCORE 836243.044
AT ITER 4738 NEW BEST:: SOT 13792239 SOS 8410732 HAS SOPS 8408900 HAS SOUS 829545 HAS SOUPS 827713 WITH SCORE 836123.732
AT ITER 4740 NEW BEST:: SOT 13793896 SOS 8412389 HAS SOPS 8410557 HAS SOUS 829170 HAS SOUPS 827338 WITH SCORE 835750.389
AT ITER 4741 NEW BEST:: SOT 13793775 SOS 8420365 HAS SOPS 8418533 HAS SOUS 829049 HAS SOUPS 827217 WITH SCORE 835637.365
AT ITER 4758 NEW BEST:: SOT 13792874 SOS 8419464 HAS SOPS 8417632 HAS SOUS 827665 HAS SOUPS 825833 WITH SCORE 834252.464
AT ITER 4816 NEW BEST:: SOT 13792436 SOS 8419026 HAS SOPS 8417194 HAS SOUS 827227 HAS SOUPS 825395 WITH SCORE 833814.026
AT ITER 4818 NEW BEST:: SOT 13789298 SOS 8420066 HAS SOPS 8420060 HAS SOUS 821714 HAS SOUPS 821708 WITH SCORE 830128.066
AT ITER 4824 NEW BEST:: SOT 13789298 SOS 8419922 HAS SOPS 8419916 HAS SOUS 821651 HAS SOUPS 821645 WITH SCORE 830064.922
AT ITER 4827 NEW BEST:: SOT 13789298 SOS 8419868 HAS SOPS 8419862 HAS SOUS 821613 HAS SOUPS 821607 WITH SCORE 830026.868
AT ITER 4847 NEW BEST:: SOT 13789290 SOS 8419860 HAS SOPS 8419854 HAS SOUS 821613 HAS SOUPS 821607 WITH SCORE 830026.86
AT ITER 4851 NEW BEST:: SOT 13789294 SOS 8398103 HAS SOPS 8398097 HAS SOUS 821527 HAS SOUPS 821521 WITH SCORE 829919.103
AT ITER 4854 NEW BEST:: SOT 13795996 SOS 8404805 HAS SOPS 8404799 HAS SOUS 819260 HAS SOUPS 819254 WITH SCORE 827658.805
AT ITER 4855 NEW BEST:: SOT 13795861 SOS 8406136 HAS SOPS 8406130 HAS SOUS 819151 HAS SOUPS 819145 WITH SCORE 827551.136
AT ITER 4858 NEW BEST:: SOT 13796204 SOS 8406629 HAS SOPS 8406623 HAS SOUS 817819 HAS SOUPS 817813 WITH SCORE 826219.629
AT ITER 4870 NEW BEST:: SOT 13796186 SOS 8406611 HAS SOPS 8406605 HAS SOUS 817801 HAS SOUPS 817795 WITH SCORE 826201.611
AT ITER 4874 NEW BEST:: SOT 13799884 SOS 8410309 HAS SOPS 8410303 HAS SOUS 817086 HAS SOUPS 817080 WITH SCORE 825490.309
AT ITER 4882 NEW BEST:: SOT 13800520 SOS 8410945 HAS SOPS 8410939 HAS SOUS 816647 HAS SOUPS 816641 WITH SCORE 825051.945
AT ITER 4900 NEW BEST:: SOT 13800211 SOS 8410636 HAS SOPS 8410630 HAS SOUS 816099 HAS SOUPS 816093 WITH SCORE 824503.636
AT ITER 4910 NEW BEST:: SOT 13800211 SOS 8410336 HAS SOPS 8410330 HAS SOUS 815949 HAS SOUPS 815943 WITH SCORE 824353.336
AT ITER 4911 NEW BEST:: SOT 13800211 SOS 8410336 HAS SOPS 8410330 HAS SOUS 815935 HAS SOUPS 815929 WITH SCORE 824339.336
AT ITER 4939 NEW BEST:: SOT 13797581 SOS 8422476 HAS SOPS 8422470 HAS SOUS 814995 HAS SOUPS 814989 WITH SCORE 823411.476
AT ITER 4947 NEW BEST:: SOT 13796231 SOS 8421126 HAS SOPS 8421120 HAS SOUS 814549 HAS SOUPS 814543 WITH SCORE 822964.126
AT ITER 4960 NEW BEST:: SOT 13796231 SOS 8421122 HAS SOPS 8421116 HAS SOUS 814549 HAS SOUPS 814543 WITH SCORE 822964.122
AT ITER 4967 NEW BEST:: SOT 13796231 SOS 8417306 HAS SOPS 8417300 HAS SOUS 814549 HAS SOUPS 814543 WITH SCORE 822960.306
AT ITER 4975 NEW BEST:: SOT 13796231 SOS 8412554 HAS SOPS 8412548 HAS SOUS 814549 HAS SOUPS 814543 WITH SCORE 822955.554
AT ITER 4979 NEW BEST:: SOT 13796154 SOS 8412477 HAS SOPS 8412471 HAS SOUS 814393 HAS SOUPS 814387 WITH SCORE 822799.477
AT ITER 4980 NEW BEST:: SOT 13796846 SOS 8413169 HAS SOPS 8413163 HAS SOUS 813685 HAS SOUPS 813679 WITH SCORE 822092.169
AT ITER 4991 NEW BEST:: SOT 13796846 SOS 8413181 HAS SOPS 8413175 HAS SOUS 813677 HAS SOUPS 813671 WITH SCORE 822084.181
AT ITER 4998 NEW BEST:: SOT 13796846 SOS 8407925 HAS SOPS 8407919 HAS SOUS 813677 HAS SOUPS 813671 WITH SCORE 822078.925
AT ITER 5002 NEW BEST:: SOT 13798300 SOS 8409379 HAS SOPS 8409373 HAS SOUS 812005 HAS SOUPS 811999 WITH SCORE 820408.379
AT ITER 5009 NEW BEST:: SOT 13798300 SOS 8409379 HAS SOPS 8409373 HAS SOUS 811983 HAS SOUPS 811977 WITH SCORE 820386.379
AT ITER 5029 NEW BEST:: SOT 13798300 SOS 8408155 HAS SOPS 8408149 HAS SOUS 811983 HAS SOUPS 811977 WITH SCORE 820385.155
AT ITER 5050 NEW BEST:: SOT 13798180 SOS 8408014 HAS SOPS 8408011 HAS SOUS 811633 HAS SOUPS 811630 WITH SCORE 820038.014
AT ITER 5065 NEW BEST:: SOT 13798180 SOS 8407818 HAS SOPS 8407815 HAS SOUS 811605 HAS SOUPS 811602 WITH SCORE 820009.818
AT ITER 5071 NEW BEST:: SOT 13798265 SOS 8407903 HAS SOPS 8407900 HAS SOUS 811582 HAS SOUPS 811579 WITH SCORE 819986.903
AT ITER 5073 NEW BEST:: SOT 13797765 SOS 8407403 HAS SOPS 8407400 HAS SOUS 810392 HAS SOUPS 810389 WITH SCORE 818796.403
AT ITER 5078 NEW BEST:: SOT 13797132 SOS 8406770 HAS SOPS 8406767 HAS SOUS 809189 HAS SOUPS 809186 WITH SCORE 817592.77
AT ITER 5089 NEW BEST:: SOT 13795776 SOS 8405414 HAS SOPS 8405411 HAS SOUS 806182 HAS SOUPS 806179 WITH SCORE 814584.414
AT ITER 5092 NEW BEST:: SOT 13792916 SOS 8402554 HAS SOPS 8402551 HAS SOUS 804063 HAS SOUPS 804060 WITH SCORE 812462.554
AT ITER 5099 NEW BEST:: SOT 13792827 SOS 8402465 HAS SOPS 8402462 HAS SOUS 803974 HAS SOUPS 803971 WITH SCORE 812373.465
AT ITER 5110 NEW BEST:: SOT 13792827 SOS 8402055 HAS SOPS 8402052 HAS SOUS 803974 HAS SOUPS 803971 WITH SCORE 812373.055
AT ITER 5130 NEW BEST:: SOT 13792800 SOS 8468179 HAS SOPS 8468176 HAS SOUS 803891 HAS SOUPS 803888 WITH SCORE 812356.179
AT ITER 5135 NEW BEST:: SOT 13798740 SOS 8479015 HAS SOPS 8479012 HAS SOUS 802590 HAS SOUPS 802587 WITH SCORE 811066.015
AT ITER 5139 NEW BEST:: SOT 13798740 SOS 8478999 HAS SOPS 8478996 HAS SOUS 802590 HAS SOUPS 802587 WITH SCORE 811065.999
AT ITER 5148 NEW BEST:: SOT 13798692 SOS 8478951 HAS SOPS 8478948 HAS SOUS 802517 HAS SOUPS 802514 WITH SCORE 810992.951
AT ITER 5174 NEW BEST:: SOT 13798692 SOS 8475783 HAS SOPS 8475780 HAS SOUS 802517 HAS SOUPS 802514 WITH SCORE 810989.783
AT ITER 5182 NEW BEST:: SOT 13798637 SOS 8475728 HAS SOPS 8475725 HAS SOUS 802462 HAS SOUPS 802459 WITH SCORE 810934.728
AT ITER 5189 NEW BEST:: SOT 13798637 SOS 8475728 HAS SOPS 8475725 HAS SOUS 802453 HAS SOUPS 802450 WITH SCORE 810925.728
AT ITER 5205 NEW BEST:: SOT 13796539 SOS 8473630 HAS SOPS 8473627 HAS SOUS 800495 HAS SOUPS 800492 WITH SCORE 808965.63
AT ITER 5225 NEW BEST:: SOT 13796539 SOS 8469886 HAS SOPS 8469883 HAS SOUS 800495 HAS SOUPS 800492 WITH SCORE 808961.886
AT ITER 5235 NEW BEST:: SOT 13792346 SOS 8464208 HAS SOPS 8464205 HAS SOUS 799342 HAS SOUPS 799339 WITH SCORE 807803.208
AT ITER 5255 NEW BEST:: SOT 13792374 SOS 8464236 HAS SOPS 8464233 HAS SOUS 799302 HAS SOUPS 799299 WITH SCORE 807763.236
AT ITER 5320 NEW BEST:: SOT 13792345 SOS 8464207 HAS SOPS 8464204 HAS SOUS 798469 HAS SOUPS 798466 WITH SCORE 806930.207
AT ITER 5327 NEW BEST:: SOT 13792347 SOS 8464209 HAS SOPS 8464206 HAS SOUS 798457 HAS SOUPS 798454 WITH SCORE 806918.209
AT ITER 5328 NEW BEST:: SOT 13792347 SOS 8463859 HAS SOPS 8463856 HAS SOUS 798457 HAS SOUPS 798454 WITH SCORE 806917.859
AT ITER 5351 NEW BEST:: SOT 13792804 SOS 8464316 HAS SOPS 8464313 HAS SOUS 797682 HAS SOUPS 797679 WITH SCORE 806143.316
AT ITER 5356 NEW BEST:: SOT 13792753 SOS 8464265 HAS SOPS 8464262 HAS SOUS 797631 HAS SOUPS 797628 WITH SCORE 806092.265
AT ITER 5374 NEW BEST:: SOT 13792753 SOS 8459369 HAS SOPS 8459366 HAS SOUS 797631 HAS SOUPS 797628 WITH SCORE 806087.369
AT ITER 5377 NEW BEST:: SOT 13792753 SOS 8450828 HAS SOPS 8450825 HAS SOUS 797514 HAS SOUPS 797511 WITH SCORE 805961.828
AT ITER 5380 NEW BEST:: SOT 13792753 SOS 8451808 HAS SOPS 8451805 HAS SOUS 797500 HAS SOUPS 797497 WITH SCORE 805948.808
AT ITER 5383 NEW BEST:: SOT 13785783 SOS 8444838 HAS SOPS 8444835 HAS SOUS 791377 HAS SOUPS 791374 WITH SCORE 799818.838
AT ITER 5406 NEW BEST:: SOT 13785766 SOS 8444821 HAS SOPS 8444818 HAS SOUS 791326 HAS SOUPS 791323 WITH SCORE 799767.821
AT ITER 5410 NEW BEST:: SOT 13789944 SOS 8448999 HAS SOPS 8448996 HAS SOUS 789901 HAS SOUPS 789898 WITH SCORE 798346.999
AT ITER 5454 NEW BEST:: SOT 13789701 SOS 8459615 HAS SOPS 8459612 HAS SOUS 789506 HAS SOUPS 789503 WITH SCORE 797962.615
AT ITER 5457 NEW BEST:: SOT 13789860 SOS 8459774 HAS SOPS 8459771 HAS SOUS 788377 HAS SOUPS 788374 WITH SCORE 796833.774
AT ITER 5473 NEW BEST:: SOT 13788378 SOS 8458292 HAS SOPS 8458289 HAS SOUS 787193 HAS SOUPS 787190 WITH SCORE 795648.292
AT ITER 5480 NEW BEST:: SOT 13788378 SOS 8458050 HAS SOPS 8458047 HAS SOUS 787193 HAS SOUPS 787190 WITH SCORE 795648.05
AT ITER 5508 NEW BEST:: SOT 13787085 SOS 8456757 HAS SOPS 8456754 HAS SOUS 785988 HAS SOUPS 785985 WITH SCORE 794441.757
AT ITER 5549 NEW BEST:: SOT 13787051 SOS 8456723 HAS SOPS 8456720 HAS SOUS 785954 HAS SOUPS 785951 WITH SCORE 794407.723
AT ITER 5552 NEW BEST:: SOT 13786419 SOS 8456091 HAS SOPS 8456088 HAS SOUS 784610 HAS SOUPS 784607 WITH SCORE 793063.091
AT ITER 5585 NEW BEST:: SOT 13786419 SOS 8456091 HAS SOPS 8456088 HAS SOUS 784594 HAS SOUPS 784591 WITH SCORE 793047.091
AT ITER 5604 NEW BEST:: SOT 13786648 SOS 8466400 HAS SOPS 8466397 HAS SOUS 783161 HAS SOUPS 783158 WITH SCORE 791624.4
AT ITER 5642 NEW BEST:: SOT 13789529 SOS 8469281 HAS SOPS 8469278 HAS SOUS 783036 HAS SOUPS 783033 WITH SCORE 791502.281
AT ITER 5672 NEW BEST:: SOT 13788613 SOS 8468365 HAS SOPS 8468362 HAS SOUS 782248 HAS SOUPS 782245 WITH SCORE 790713.365
AT ITER 5673 NEW BEST:: SOT 13785181 SOS 8464933 HAS SOPS 8464930 HAS SOUS 779162 HAS SOUPS 779159 WITH SCORE 787623.933
AT ITER 5700 NEW BEST:: SOT 13785181 SOS 8464887 HAS SOPS 8464884 HAS SOUS 779139 HAS SOUPS 779136 WITH SCORE 787600.887
AT ITER 5733 NEW BEST:: SOT 13785181 SOS 8464885 HAS SOPS 8464882 HAS SOUS 779138 HAS SOUPS 779135 WITH SCORE 787599.885
AT ITER 5739 NEW BEST:: SOT 13785019 SOS 8464723 HAS SOPS 8464720 HAS SOUS 778811 HAS SOUPS 778808 WITH SCORE 787272.723
AT ITER 5742 NEW BEST:: SOT 13783759 SOS 8463463 HAS SOPS 8463460 HAS SOUS 777689 HAS SOUPS 777686 WITH SCORE 786149.463
AT ITER 5752 NEW BEST:: SOT 13782768 SOS 8462434 HAS SOPS 8462431 HAS SOUS 774054 HAS SOUPS 774051 WITH SCORE 782513.434
AT ITER 5763 NEW BEST:: SOT 13784274 SOS 8463940 HAS SOPS 8463937 HAS SOUS 774015 HAS SOUPS 774012 WITH SCORE 782475.94
AT ITER 5764 NEW BEST:: SOT 13784274 SOS 8462956 HAS SOPS 8462953 HAS SOUS 773933 HAS SOUPS 773930 WITH SCORE 782392.956
AT ITER 5795 NEW BEST:: SOT 13784241 SOS 8462923 HAS SOPS 8462920 HAS SOUS 773900 HAS SOUPS 773897 WITH SCORE 782359.923
AT ITER 5805 NEW BEST:: SOT 13784241 SOS 8462909 HAS SOPS 8462906 HAS SOUS 773900 HAS SOUPS 773897 WITH SCORE 782359.909
AT ITER 5817 NEW BEST:: SOT 13784238 SOS 8462906 HAS SOPS 8462903 HAS SOUS 773897 HAS SOUPS 773894 WITH SCORE 782356.906
AT ITER 5824 NEW BEST:: SOT 13784223 SOS 8462891 HAS SOPS 8462888 HAS SOUS 773768 HAS SOUPS 773765 WITH SCORE 782227.891
AT ITER 5861 NEW BEST:: SOT 13785040 SOS 7932369 HAS SOPS 7932363 HAS SOUS 771113 HAS SOUPS 771107 WITH SCORE 779039.369
AT ITER 5875 NEW BEST:: SOT 13792909 SOS 7940238 HAS SOPS 7940232 HAS SOUS 767828 HAS SOUPS 767822 WITH SCORE 775762.238
AT ITER 5878 NEW BEST:: SOT 13792909 SOS 7937642 HAS SOPS 7937636 HAS SOUS 767790 HAS SOUPS 767784 WITH SCORE 775721.642
AT ITER 5893 NEW BEST:: SOT 13796127 SOS 7940860 HAS SOPS 7940854 HAS SOUS 766451 HAS SOUPS 766445 WITH SCORE 774385.86
AT ITER 5899 NEW BEST:: SOT 13795746 SOS 7940479 HAS SOPS 7940473 HAS SOUS 765602 HAS SOUPS 765596 WITH SCORE 773536.479
AT ITER 5910 NEW BEST:: SOT 13795754 SOS 7940487 HAS SOPS 7940481 HAS SOUS 765579 HAS SOUPS 765573 WITH SCORE 773513.487
AT ITER 5935 NEW BEST:: SOT 13795754 SOS 7942057 HAS SOPS 7942051 HAS SOUS 765534 HAS SOUPS 765528 WITH SCORE 773470.057
AT ITER 5941 NEW BEST:: SOT 13794982 SOS 7941285 HAS SOPS 7941279 HAS SOUS 764797 HAS SOUPS 764791 WITH SCORE 772732.285
AT ITER 5962 NEW BEST:: SOT 13794960 SOS 7941263 HAS SOPS 7941257 HAS SOUS 764775 HAS SOUPS 764769 WITH SCORE 772710.263
AT ITER 5977 NEW BEST:: SOT 13794960 SOS 7936943 HAS SOPS 7936937 HAS SOUS 764775 HAS SOUPS 764769 WITH SCORE 772705.943
AT ITER 5978 NEW BEST:: SOT 13794039 SOS 7936022 HAS SOPS 7936016 HAS SOUS 763934 HAS SOUPS 763928 WITH SCORE 771864.022
AT ITER 6007 NEW BEST:: SOT 13794039 SOS 7932383 HAS SOPS 7932377 HAS SOUS 763934 HAS SOUPS 763928 WITH SCORE 771860.383
AT ITER 6008 NEW BEST:: SOT 13793993 SOS 7932337 HAS SOPS 7932331 HAS SOUS 763911 HAS SOUPS 763905 WITH SCORE 771837.337
AT ITER 6074 NEW BEST:: SOT 13788816 SOS 7928329 HAS SOPS 7928323 HAS SOUS 760259 HAS SOUPS 760253 WITH SCORE 768181.329
AT ITER 6084 NEW BEST:: SOT 13788808 SOS 7928321 HAS SOPS 7928315 HAS SOUS 760259 HAS SOUPS 760253 WITH SCORE 768181.321
AT ITER 6091 NEW BEST:: SOT 13788808 SOS 7927729 HAS SOPS 7927723 HAS SOUS 760243 HAS SOUPS 760237 WITH SCORE 768164.729
AT ITER 6097 NEW BEST:: SOT 13788808 SOS 7917865 HAS SOPS 7917859 HAS SOUS 760243 HAS SOUPS 760237 WITH SCORE 768154.865
AT ITER 6099 NEW BEST:: SOT 13787594 SOS 7916651 HAS SOPS 7916645 HAS SOUS 759363 HAS SOUPS 759357 WITH SCORE 767273.651
AT ITER 6103 NEW BEST:: SOT 13787651 SOS 7916708 HAS SOPS 7916702 HAS SOUS 759346 HAS SOUPS 759340 WITH SCORE 767256.708
AT ITER 6111 NEW BEST:: SOT 13788987 SOS 7918308 HAS SOPS 7918302 HAS SOUS 759086 HAS SOUPS 759080 WITH SCORE 766998.308
AT ITER 6127 NEW BEST:: SOT 13788744 SOS 7918065 HAS SOPS 7918059 HAS SOUS 758616 HAS SOUPS 758610 WITH SCORE 766528.065
AT ITER 6148 NEW BEST:: SOT 13788649 SOS 7917970 HAS SOPS 7917964 HAS SOUS 758440 HAS SOUPS 758434 WITH SCORE 766351.97
AT ITER 6193 NEW BEST:: SOT 13788609 SOS 7917930 HAS SOPS 7917924 HAS SOUS 758400 HAS SOUPS 758394 WITH SCORE 766311.93
AT ITER 6194 NEW BEST:: SOT 13788609 SOS 7917066 HAS SOPS 7917060 HAS SOUS 758400 HAS SOUPS 758394 WITH SCORE 766311.066
AT ITER 6202 NEW BEST:: SOT 13788609 SOS 7917066 HAS SOPS 7917060 HAS SOUS 758383 HAS SOUPS 758377 WITH SCORE 766294.066
AT ITER 6224 NEW BEST:: SOT 13785054 SOS 7913511 HAS SOPS 7913505 HAS SOUS 756934 HAS SOUPS 756928 WITH SCORE 764841.511
AT ITER 6250 NEW BEST:: SOT 13784272 SOS 7912729 HAS SOPS 7912723 HAS SOUS 754311 HAS SOUPS 754305 WITH SCORE 762217.729
AT ITER 6262 NEW BEST:: SOT 13784273 SOS 7912730 HAS SOPS 7912724 HAS SOUS 754280 HAS SOUPS 754274 WITH SCORE 762186.73
AT ITER 6273 NEW BEST:: SOT 13784233 SOS 7912618 HAS SOPS 7912612 HAS SOUS 754279 HAS SOUPS 754273 WITH SCORE 762185.618
AT ITER 6279 NEW BEST:: SOT 13784233 SOS 7907794 HAS SOPS 7907788 HAS SOUS 754279 HAS SOUPS 754273 WITH SCORE 762180.794
AT ITER 6380 NEW BEST:: SOT 13784154 SOS 7907715 HAS SOPS 7907709 HAS SOUS 754250 HAS SOUPS 754244 WITH SCORE 762151.715
AT ITER 6418 NEW BEST:: SOT 13784154 SOS 7905267 HAS SOPS 7905261 HAS SOUS 754250 HAS SOUPS 754244 WITH SCORE 762149.267
AT ITER 6452 NEW BEST:: SOT 13783745 SOS 7904844 HAS SOPS 7904838 HAS SOUS 753993 HAS SOUPS 753987 WITH SCORE 761891.844
AT ITER 6455 NEW BEST:: SOT 13784123 SOS 7905222 HAS SOPS 7905216 HAS SOUS 753259 HAS SOUPS 753253 WITH SCORE 761158.222
AT ITER 6467 NEW BEST:: SOT 13784123 SOS 7900110 HAS SOPS 7900104 HAS SOUS 753259 HAS SOUPS 753253 WITH SCORE 761153.11
AT ITER 6471 NEW BEST:: SOT 13784357 SOS 7900344 HAS SOPS 7900338 HAS SOUS 752805 HAS SOUPS 752799 WITH SCORE 760699.344
AT ITER 6480 NEW BEST:: SOT 13784031 SOS 7900018 HAS SOPS 7900012 HAS SOUS 752328 HAS SOUPS 752322 WITH SCORE 760222.018
AT ITER 6493 NEW BEST:: SOT 13784094 SOS 7900081 HAS SOPS 7900075 HAS SOUS 752297 HAS SOUPS 752291 WITH SCORE 760191.081
AT ITER 6506 NEW BEST:: SOT 13783296 SOS 7906943 HAS SOPS 7906937 HAS SOUS 750269 HAS SOUPS 750263 WITH SCORE 758169.943
AT ITER 6522 NEW BEST:: SOT 13783303 SOS 7906937 HAS SOPS 7906934 HAS SOUS 749608 HAS SOUPS 749605 WITH SCORE 757511.937
AT ITER 6537 NEW BEST:: SOT 13783303 SOS 7908201 HAS SOPS 7908198 HAS SOUS 749477 HAS SOUPS 749474 WITH SCORE 757382.201
AT ITER 6546 NEW BEST:: SOT 13783303 SOS 7908075 HAS SOPS 7908072 HAS SOUS 749453 HAS SOUPS 749450 WITH SCORE 757358.075
AT ITER 6584 NEW BEST:: SOT 13783303 SOS 7909227 HAS SOPS 7909224 HAS SOUS 749437 HAS SOUPS 749434 WITH SCORE 757343.227
AT ITER 6610 NEW BEST:: SOT 13783247 SOS 7909169 HAS SOPS 7909166 HAS SOUS 748198 HAS SOUPS 748195 WITH SCORE 756104.169
AT ITER 6613 NEW BEST:: SOT 13783243 SOS 7909165 HAS SOPS 7909162 HAS SOUS 748194 HAS SOUPS 748191 WITH SCORE 756100.165
AT ITER 6627 NEW BEST:: SOT 13783253 SOS 7909175 HAS SOPS 7909172 HAS SOUS 748056 HAS SOUPS 748053 WITH SCORE 755962.175
AT ITER 6650 NEW BEST:: SOT 13783253 SOS 7909154 HAS SOPS 7909151 HAS SOUS 748046 HAS SOUPS 748043 WITH SCORE 755952.154
AT ITER 6656 NEW BEST:: SOT 13783253 SOS 7910645 HAS SOPS 7910642 HAS SOUS 748006 HAS SOUPS 748003 WITH SCORE 755913.645
AT ITER 6688 NEW BEST:: SOT 13783253 SOS 7909143 HAS SOPS 7909140 HAS SOUS 747920 HAS SOUPS 747917 WITH SCORE 755826.143
AT ITER 6764 NEW BEST:: SOT 13783253 SOS 7908783 HAS SOPS 7908780 HAS SOUS 747920 HAS SOUPS 747917 WITH SCORE 755825.783
AT ITER 6766 NEW BEST:: SOT 13784372 SOS 7909902 HAS SOPS 7909899 HAS SOUS 747283 HAS SOUPS 747280 WITH SCORE 755189.902
AT ITER 6770 NEW BEST:: SOT 13787949 SOS 7947391 HAS SOPS 7947388 HAS SOUS 742526 HAS SOUPS 742523 WITH SCORE 750470.391
AT ITER 6803 NEW BEST:: SOT 13788470 SOS 7947912 HAS SOPS 7947909 HAS SOUS 742123 HAS SOUPS 742120 WITH SCORE 750067.912
AT ITER 6834 NEW BEST:: SOT 13788470 SOS 7974048 HAS SOPS 7974045 HAS SOUS 740912 HAS SOUPS 740909 WITH SCORE 748883.048
AT ITER 6849 NEW BEST:: SOT 13788470 SOS 7973484 HAS SOPS 7973481 HAS SOUS 740865 HAS SOUPS 740862 WITH SCORE 748835.484
AT ITER 6850 NEW BEST:: SOT 13788470 SOS 7973444 HAS SOPS 7973441 HAS SOUS 740855 HAS SOUPS 740852 WITH SCORE 748825.444
AT ITER 6871 NEW BEST:: SOT 13785301 SOS 7970275 HAS SOPS 7970272 HAS SOUS 740231 HAS SOUPS 740228 WITH SCORE 748198.275
AT ITER 6890 NEW BEST:: SOT 13785260 SOS 7970234 HAS SOPS 7970231 HAS SOUS 740134 HAS SOUPS 740131 WITH SCORE 748101.234
AT ITER 6906 NEW BEST:: SOT 13785260 SOS 7970155 HAS SOPS 7970152 HAS SOUS 740133 HAS SOUPS 740130 WITH SCORE 748100.155
AT ITER 6907 NEW BEST:: SOT 13785260 SOS 7971277 HAS SOPS 7971274 HAS SOUS 740091 HAS SOUPS 740088 WITH SCORE 748059.277
AT ITER 6908 NEW BEST:: SOT 13782505 SOS 7985324 HAS SOPS 7985321 HAS SOUS 733300 HAS SOUPS 733297 WITH SCORE 741282.324
AT ITER 6921 NEW BEST:: SOT 13780068 SOS 7982887 HAS SOPS 7982884 HAS SOUS 731214 HAS SOUPS 731211 WITH SCORE 739193.887
AT ITER 6924 NEW BEST:: SOT 13779997 SOS 7982816 HAS SOPS 7982813 HAS SOUS 731173 HAS SOUPS 731170 WITH SCORE 739152.816
AT ITER 6945 NEW BEST:: SOT 13779713 SOS 7982532 HAS SOPS 7982529 HAS SOUS 730748 HAS SOUPS 730745 WITH SCORE 738727.532
AT ITER 6959 NEW BEST:: SOT 13779748 SOS 7982567 HAS SOPS 7982564 HAS SOUS 730709 HAS SOUPS 730706 WITH SCORE 738688.567
AT ITER 6961 NEW BEST:: SOT 13779353 SOS 7982172 HAS SOPS 7982169 HAS SOUS 730252 HAS SOUPS 730249 WITH SCORE 738231.172
AT ITER 7023 NEW BEST:: SOT 13779418 SOS 7982237 HAS SOPS 7982234 HAS SOUS 730223 HAS SOUPS 730220 WITH SCORE 738202.237
AT ITER 7092 NEW BEST:: SOT 13779340 SOS 8033901 HAS SOPS 8033898 HAS SOUS 730065 HAS SOUPS 730062 WITH SCORE 738095.901
AT ITER 7097 NEW BEST:: SOT 13779328 SOS 8033889 HAS SOPS 8033886 HAS SOUS 730062 HAS SOUPS 730059 WITH SCORE 738092.889
AT ITER 7102 NEW BEST:: SOT 13779328 SOS 8035169 HAS SOPS 8035166 HAS SOUS 730000 HAS SOUPS 729997 WITH SCORE 738032.169
AT ITER 7143 NEW BEST:: SOT 13779065 SOS 8034906 HAS SOPS 8034903 HAS SOUS 729539 HAS SOUPS 729536 WITH SCORE 737570.906
AT ITER 7160 NEW BEST:: SOT 13770431 SOS 8060393 HAS SOPS 8058581 HAS SOUS 728969 HAS SOUPS 728478 WITH SCORE 736538.393
AT ITER 7165 NEW BEST:: SOT 13771213 SOS 8061175 HAS SOPS 8059363 HAS SOUS 727972 HAS SOUPS 727481 WITH SCORE 735542.175
AT ITER 7170 NEW BEST:: SOT 13769153 SOS 8059115 HAS SOPS 8057303 HAS SOUS 724173 HAS SOUPS 723682 WITH SCORE 731741.115
AT ITER 7171 NEW BEST:: SOT 13769153 SOS 8059047 HAS SOPS 8057235 HAS SOUS 724139 HAS SOUPS 723648 WITH SCORE 731707.047
AT ITER 7182 NEW BEST:: SOT 13762895 SOS 8046851 HAS SOPS 8045039 HAS SOUS 716337 HAS SOUPS 715846 WITH SCORE 723892.851
AT ITER 7187 NEW BEST:: SOT 13762526 SOS 8046482 HAS SOPS 8044670 HAS SOUS 716256 HAS SOUPS 715765 WITH SCORE 723811.482
AT ITER 7191 NEW BEST:: SOT 13762526 SOS 8045762 HAS SOPS 8043950 HAS SOUS 716180 HAS SOUPS 715689 WITH SCORE 723734.762
AT ITER 7204 NEW BEST:: SOT 13762492 SOS 8045728 HAS SOPS 8043916 HAS SOUS 716146 HAS SOUPS 715655 WITH SCORE 723700.728
AT ITER 7225 NEW BEST:: SOT 13762492 SOS 8046922 HAS SOPS 8045110 HAS SOUS 716133 HAS SOUPS 715642 WITH SCORE 723688.922
AT ITER 7227 NEW BEST:: SOT 13762492 SOS 8046406 HAS SOPS 8044594 HAS SOUS 716004 HAS SOUPS 715513 WITH SCORE 723559.406
AT ITER 7237 NEW BEST:: SOT 13762492 SOS 8042878 HAS SOPS 8041066 HAS SOUS 716004 HAS SOUPS 715513 WITH SCORE 723555.878
AT ITER 7239 NEW BEST:: SOT 13762492 SOS 8042416 HAS SOPS 8040604 HAS SOUS 715938 HAS SOUPS 715447 WITH SCORE 723489.416
AT ITER 7290 NEW BEST:: SOT 13762492 SOS 8041552 HAS SOPS 8039740 HAS SOUS 715938 HAS SOUPS 715447 WITH SCORE 723488.552
AT ITER 7291 NEW BEST:: SOT 13762222 SOS 8041140 HAS SOPS 8039328 HAS SOUS 715806 HAS SOUPS 715315 WITH SCORE 723356.14
AT ITER 7295 NEW BEST:: SOT 13759942 SOS 8038860 HAS SOPS 8037048 HAS SOUS 714794 HAS SOUPS 714303 WITH SCORE 722341.86
AT ITER 7297 NEW BEST:: SOT 13759905 SOS 8038823 HAS SOPS 8037011 HAS SOUS 714735 HAS SOUPS 714244 WITH SCORE 722282.823
AT ITER 7310 NEW BEST:: SOT 13759905 SOS 8036582 HAS SOPS 8034770 HAS SOUS 714681 HAS SOUPS 714190 WITH SCORE 722226.582
AT ITER 7326 NEW BEST:: SOT 13759747 SOS 8036424 HAS SOPS 8034612 HAS SOUS 714589 HAS SOUPS 714098 WITH SCORE 722134.424
AT ITER 7332 NEW BEST:: SOT 13759737 SOS 8036414 HAS SOPS 8034602 HAS SOUS 714589 HAS SOUPS 714098 WITH SCORE 722134.414
AT ITER 7360 NEW BEST:: SOT 13758857 SOS 8035534 HAS SOPS 8033722 HAS SOUS 713853 HAS SOUPS 713362 WITH SCORE 721397.534
AT ITER 7374 NEW BEST:: SOT 13758857 SOS 8035534 HAS SOPS 8033722 HAS SOUS 713843 HAS SOUPS 713352 WITH SCORE 721387.534
AT ITER 7388 NEW BEST:: SOT 13755869 SOS 8032546 HAS SOPS 8030734 HAS SOUS 711287 HAS SOUPS 710796 WITH SCORE 718828.546
AT ITER 7412 NEW BEST:: SOT 13754925 SOS 8031602 HAS SOPS 8029790 HAS SOUS 708058 HAS SOUPS 707567 WITH SCORE 715598.602
AT ITER 7430 NEW BEST:: SOT 13754645 SOS 8031322 HAS SOPS 8029510 HAS SOUS 708006 HAS SOUPS 707515 WITH SCORE 715546.322
AT ITER 7463 NEW BEST:: SOT 13754645 SOS 8031034 HAS SOPS 8029222 HAS SOUS 708002 HAS SOUPS 707511 WITH SCORE 715542.034
AT ITER 7489 NEW BEST:: SOT 13754645 SOS 8030806 HAS SOPS 8028994 HAS SOUS 707998 HAS SOUPS 707507 WITH SCORE 715537.806
AT ITER 7490 NEW BEST:: SOT 13755157 SOS 8031318 HAS SOPS 8029506 HAS SOUS 706702 HAS SOUPS 706211 WITH SCORE 714242.318
AT ITER 7498 NEW BEST:: SOT 13755157 SOS 8032170 HAS SOPS 8030358 HAS SOUS 704575 HAS SOUPS 704084 WITH SCORE 712116.17
AT ITER 7532 NEW BEST:: SOT 13755153 SOS 8032150 HAS SOPS 8030338 HAS SOUS 704498 HAS SOUPS 704007 WITH SCORE 712039.15
AT ITER 7550 NEW BEST:: SOT 13755632 SOS 8032693 HAS SOPS 8030881 HAS SOUS 704133 HAS SOUPS 703642 WITH SCORE 711674.693
AT ITER 7588 NEW BEST:: SOT 13755344 SOS 8032405 HAS SOPS 8030593 HAS SOUS 703522 HAS SOUPS 703031 WITH SCORE 711063.405
AT ITER 7608 NEW BEST:: SOT 13756554 SOS 8033615 HAS SOPS 8031803 HAS SOUS 701890 HAS SOUPS 701399 WITH SCORE 709432.615
AT ITER 7652 NEW BEST:: SOT 13756554 SOS 8033831 HAS SOPS 8032019 HAS SOUS 701854 HAS SOUPS 701363 WITH SCORE 709396.831
AT ITER 7664 NEW BEST:: SOT 13756554 SOS 8033831 HAS SOPS 8032019 HAS SOUS 701587 HAS SOUPS 701096 WITH SCORE 709129.831
AT ITER 7670 NEW BEST:: SOT 13756545 SOS 8033822 HAS SOPS 8032010 HAS SOUS 701578 HAS SOUPS 701087 WITH SCORE 709120.822
AT ITER 7671 NEW BEST:: SOT 13756353 SOS 8033630 HAS SOPS 8031818 HAS SOUS 701296 HAS SOUPS 700805 WITH SCORE 708838.63
AT ITER 7717 NEW BEST:: SOT 13756353 SOS 8023798 HAS SOPS 8022361 HAS SOUS 701062 HAS SOUPS 700646 WITH SCORE 708669.798
AT ITER 7730 NEW BEST:: SOT 13753007 SOS 8020452 HAS SOPS 8019015 HAS SOUS 698254 HAS SOUPS 697838 WITH SCORE 705858.452
AT ITER 7747 NEW BEST:: SOT 13757987 SOS 8025550 HAS SOPS 8024113 HAS SOUS 696004 HAS SOUPS 695588 WITH SCORE 703613.55
AT ITER 7752 NEW BEST:: SOT 13756717 SOS 8023570 HAS SOPS 8022133 HAS SOUS 695394 HAS SOUPS 694978 WITH SCORE 703001.57
AT ITER 7778 NEW BEST:: SOT 13756694 SOS 8023547 HAS SOPS 8022110 HAS SOUS 695388 HAS SOUPS 694972 WITH SCORE 702995.547
AT ITER 7818 NEW BEST:: SOT 13756678 SOS 7994999 HAS SOPS 7994996 HAS SOUS 689567 HAS SOUPS 689564 WITH SCORE 697558.999
AT ITER 7884 NEW BEST:: SOT 13756678 SOS 7993127 HAS SOPS 7993124 HAS SOUS 689567 HAS SOUPS 689564 WITH SCORE 697557.127
AT ITER 7893 NEW BEST:: SOT 13754774 SOS 7991223 HAS SOPS 7991220 HAS SOUS 689316 HAS SOUPS 689313 WITH SCORE 697304.223
AT ITER 7906 NEW BEST:: SOT 13758400 SOS 7999025 HAS SOPS 7999022 HAS SOUS 685937 HAS SOUPS 685934 WITH SCORE 693933.025
AT ITER 7929 NEW BEST:: SOT 13758393 SOS 7999018 HAS SOPS 7999015 HAS SOUS 685930 HAS SOUPS 685927 WITH SCORE 693926.018
AT ITER 7937 NEW BEST:: SOT 13758393 SOS 7994325 HAS SOPS 7994322 HAS SOUS 685930 HAS SOUPS 685927 WITH SCORE 693921.325
AT ITER 7946 NEW BEST:: SOT 13758577 SOS 7994509 HAS SOPS 7994506 HAS SOUS 685384 HAS SOUPS 685381 WITH SCORE 693375.509
AT ITER 7955 NEW BEST:: SOT 13758282 SOS 7994214 HAS SOPS 7994211 HAS SOUS 685091 HAS SOUPS 685088 WITH SCORE 693082.214
AT ITER 7977 NEW BEST:: SOT 13758184 SOS 7994116 HAS SOPS 7994113 HAS SOUS 684993 HAS SOUPS 684990 WITH SCORE 692984.116
AT ITER 8022 NEW BEST:: SOT 13758184 SOS 7994108 HAS SOPS 7994105 HAS SOUS 684985 HAS SOUPS 684982 WITH SCORE 692976.108
AT ITER 8023 NEW BEST:: SOT 13758527 SOS 7994451 HAS SOPS 7994448 HAS SOUS 684233 HAS SOUPS 684230 WITH SCORE 692224.451
AT ITER 8089 NEW BEST:: SOT 13756203 SOS 7992127 HAS SOPS 7992124 HAS SOUS 682151 HAS SOUPS 682148 WITH SCORE 690140.127
AT ITER 8097 NEW BEST:: SOT 13756203 SOS 7991291 HAS SOPS 7991288 HAS SOUS 682151 HAS SOUPS 682148 WITH SCORE 690139.291
AT ITER 8119 NEW BEST:: SOT 13749835 SOS 7984923 HAS SOPS 7984920 HAS SOUS 681275 HAS SOUPS 681272 WITH SCORE 689256.923
AT ITER 8129 NEW BEST:: SOT 13749927 SOS 7985015 HAS SOPS 7985012 HAS SOUS 680509 HAS SOUPS 680506 WITH SCORE 688491.015
AT ITER 8134 NEW BEST:: SOT 13750280 SOS 7985368 HAS SOPS 7985365 HAS SOUS 680185 HAS SOUPS 680182 WITH SCORE 688167.368
AT ITER 8155 NEW BEST:: SOT 13750280 SOS 7984144 HAS SOPS 7984141 HAS SOUS 679736 HAS SOUPS 679733 WITH SCORE 687717.144
AT ITER 8192 NEW BEST:: SOT 13750280 SOS 7983962 HAS SOPS 7983959 HAS SOUS 679710 HAS SOUPS 679707 WITH SCORE 687690.962
AT ITER 8199 NEW BEST:: SOT 13750719 SOS 7984401 HAS SOPS 7984398 HAS SOUS 678059 HAS SOUPS 678056 WITH SCORE 686040.401
AT ITER 8225 NEW BEST:: SOT 13750668 SOS 7984350 HAS SOPS 7984347 HAS SOUS 678013 HAS SOUPS 678010 WITH SCORE 685994.35
AT ITER 8237 NEW BEST:: SOT 13750710 SOS 8075751 HAS SOPS 8075748 HAS SOUS 677114 HAS SOUPS 677111 WITH SCORE 685186.751
AT ITER 8244 NEW BEST:: SOT 13750710 SOS 8075566 HAS SOPS 8075563 HAS SOUS 677114 HAS SOUPS 677111 WITH SCORE 685186.566
AT ITER 8259 NEW BEST:: SOT 13751513 SOS 8076369 HAS SOPS 8076366 HAS SOUS 676615 HAS SOUPS 676612 WITH SCORE 684688.369
AT ITER 8288 NEW BEST:: SOT 13751513 SOS 8076369 HAS SOPS 8076366 HAS SOUS 676573 HAS SOUPS 676570 WITH SCORE 684646.369
AT ITER 8295 NEW BEST:: SOT 13749431 SOS 8074287 HAS SOPS 8074284 HAS SOUS 675172 HAS SOUPS 675169 WITH SCORE 683243.287
AT ITER 8314 NEW BEST:: SOT 13749423 SOS 8074279 HAS SOPS 8074276 HAS SOUS 675170 HAS SOUPS 675167 WITH SCORE 683241.279
AT ITER 8440 NEW BEST:: SOT 13749399 SOS 8074255 HAS SOPS 8074252 HAS SOUS 675146 HAS SOUPS 675143 WITH SCORE 683217.255
AT ITER 8446 NEW BEST:: SOT 13744602 SOS 8069458 HAS SOPS 8069455 HAS SOUS 670996 HAS SOUPS 670993 WITH SCORE 679062.458
AT ITER 8457 NEW BEST:: SOT 13744296 SOS 8069152 HAS SOPS 8069149 HAS SOUS 670775 HAS SOUPS 670772 WITH SCORE 678841.152
AT ITER 8465 NEW BEST:: SOT 13744296 SOS 8066416 HAS SOPS 8066413 HAS SOUS 670775 HAS SOUPS 670772 WITH SCORE 678838.416
AT ITER 8515 NEW BEST:: SOT 13744296 SOS 8069776 HAS SOPS 8069773 HAS SOUS 670700 HAS SOUPS 670697 WITH SCORE 678766.776
AT ITER 8524 NEW BEST:: SOT 13743237 SOS 8068717 HAS SOPS 8068714 HAS SOUS 667411 HAS SOUPS 667408 WITH SCORE 675476.717
AT ITER 8618 NEW BEST:: SOT 13743129 SOS 8068609 HAS SOPS 8068606 HAS SOUS 667311 HAS SOUPS 667308 WITH SCORE 675376.609
AT ITER 8641 NEW BEST:: SOT 13743129 SOS 8063929 HAS SOPS 8063926 HAS SOUS 667311 HAS SOUPS 667308 WITH SCORE 675371.929
AT ITER 8707 NEW BEST:: SOT 13743129 SOS 8064112 HAS SOPS 8064109 HAS SOUS 667303 HAS SOUPS 667300 WITH SCORE 675364.112
AT ITER 8723 NEW BEST:: SOT 13742841 SOS 8063810 HAS SOPS 8063807 HAS SOUS 662304 HAS SOUPS 662301 WITH SCORE 670364.81
AT ITER 8731 NEW BEST:: SOT 13742841 SOS 8063833 HAS SOPS 8063830 HAS SOUS 662291 HAS SOUPS 662288 WITH SCORE 670351.833
AT ITER 8827 NEW BEST:: SOT 13742841 SOS 8063257 HAS SOPS 8063254 HAS SOUS 662291 HAS SOUPS 662288 WITH SCORE 670351.257
AT ITER 8837 NEW BEST:: SOT 13742073 SOS 8062489 HAS SOPS 8062486 HAS SOUS 661716 HAS SOUPS 661713 WITH SCORE 669775.489
AT ITER 8871 NEW BEST:: SOT 13742316 SOS 8062732 HAS SOPS 8062729 HAS SOUS 661687 HAS SOUPS 661684 WITH SCORE 669746.732
AT ITER 8882 NEW BEST:: SOT 13742316 SOS 8062732 HAS SOPS 8062729 HAS SOUS 661642 HAS SOUPS 661639 WITH SCORE 669701.732
AT ITER 8892 NEW BEST:: SOT 13741184 SOS 8061600 HAS SOPS 8061597 HAS SOUS 660739 HAS SOUPS 660736 WITH SCORE 668797.6
AT ITER 8898 NEW BEST:: SOT 13741412 SOS 8061828 HAS SOPS 8061825 HAS SOUS 660508 HAS SOUPS 660505 WITH SCORE 668566.828
AT ITER 8962 NEW BEST:: SOT 13741139 SOS 8061555 HAS SOPS 8061552 HAS SOUS 659930 HAS SOUPS 659927 WITH SCORE 667988.555
AT ITER 8984 NEW BEST:: SOT 13740795 SOS 8061211 HAS SOPS 8061208 HAS SOUS 659216 HAS SOUPS 659213 WITH SCORE 667274.211
AT ITER 9047 NEW BEST:: SOT 13740795 SOS 8059771 HAS SOPS 8059768 HAS SOUS 659216 HAS SOUPS 659213 WITH SCORE 667272.771
AT ITER 9061 NEW BEST:: SOT 13740795 SOS 8059085 HAS SOPS 8059082 HAS SOUS 659118 HAS SOUPS 659115 WITH SCORE 667174.085
AT ITER 9071 NEW BEST:: SOT 13742069 SOS 8060713 HAS SOPS 8060710 HAS SOUS 658672 HAS SOUPS 658669 WITH SCORE 666729.713
AT ITER 9102 NEW BEST:: SOT 13740804 SOS 8059448 HAS SOPS 8059445 HAS SOUS 658343 HAS SOUPS 658340 WITH SCORE 666399.448
AT ITER 9103 NEW BEST:: SOT 13740804 SOS 8059115 HAS SOPS 8059112 HAS SOUS 658306 HAS SOUPS 658303 WITH SCORE 666362.115
AT ITER 9113 NEW BEST:: SOT 13743585 SOS 8062014 HAS SOPS 8062011 HAS SOUS 657116 HAS SOUPS 657113 WITH SCORE 665175.014
AT ITER 9123 NEW BEST:: SOT 13743585 SOS 8062014 HAS SOPS 8062011 HAS SOUS 657112 HAS SOUPS 657109 WITH SCORE 665171.014
AT ITER 9125 NEW BEST:: SOT 13743514 SOS 8061943 HAS SOPS 8061940 HAS SOUS 657038 HAS SOUPS 657035 WITH SCORE 665096.943
AT ITER 9126 NEW BEST:: SOT 13743514 SOS 8061943 HAS SOPS 8061940 HAS SOUS 656987 HAS SOUPS 656984 WITH SCORE 665045.943
AT ITER 9132 NEW BEST:: SOT 13743491 SOS 8061920 HAS SOPS 8061917 HAS SOUS 656957 HAS SOUPS 656954 WITH SCORE 665015.92
AT ITER 9143 NEW BEST:: SOT 13743433 SOS 8061862 HAS SOPS 8061859 HAS SOUS 656743 HAS SOUPS 656740 WITH SCORE 664801.862
AT ITER 9198 NEW BEST:: SOT 13743446 SOS 8061875 HAS SOPS 8061872 HAS SOUS 656678 HAS SOUPS 656675 WITH SCORE 664736.875
AT ITER 9226 NEW BEST:: SOT 13743438 SOS 8076731 HAS SOPS 8076728 HAS SOUS 656646 HAS SOUPS 656643 WITH SCORE 664719.731
AT ITER 9227 NEW BEST:: SOT 13743438 SOS 8076227 HAS SOPS 8076224 HAS SOUS 656646 HAS SOUPS 656643 WITH SCORE 664719.227
AT ITER 9269 NEW BEST:: SOT 13743438 SOS 8076217 HAS SOPS 8076214 HAS SOUS 656646 HAS SOUPS 656643 WITH SCORE 664719.217
AT ITER 9284 NEW BEST:: SOT 13743438 SOS 8076217 HAS SOPS 8076214 HAS SOUS 656640 HAS SOUPS 656637 WITH SCORE 664713.217
AT ITER 9296 NEW BEST:: SOT 13743438 SOS 8074921 HAS SOPS 8074918 HAS SOUS 656640 HAS SOUPS 656637 WITH SCORE 664711.921
AT ITER 9310 NEW BEST:: SOT 13743156 SOS 8074639 HAS SOPS 8074636 HAS SOUS 656366 HAS SOUPS 656363 WITH SCORE 664437.639
AT ITER 9350 NEW BEST:: SOT 13743127 SOS 8074610 HAS SOPS 8074607 HAS SOUS 656337 HAS SOUPS 656334 WITH SCORE 664408.61
AT ITER 9380 NEW BEST:: SOT 13742444 SOS 8073927 HAS SOPS 8073924 HAS SOUS 655807 HAS SOUPS 655804 WITH SCORE 663877.927
AT ITER 9401 NEW BEST:: SOT 13742559 SOS 8076080 HAS SOPS 8076077 HAS SOUS 655491 HAS SOUPS 655488 WITH SCORE 663564.08
AT ITER 9433 NEW BEST:: SOT 13739997 SOS 8077333 HAS SOPS 8077330 HAS SOUS 654108 HAS SOUPS 654105 WITH SCORE 662182.333
AT ITER 9455 NEW BEST:: SOT 13739996 SOS 8077332 HAS SOPS 8077329 HAS SOUS 654106 HAS SOUPS 654103 WITH SCORE 662180.332
AT ITER 9472 NEW BEST:: SOT 13739307 SOS 8076659 HAS SOPS 8076656 HAS SOUS 652717 HAS SOUPS 652714 WITH SCORE 660790.659
AT ITER 9529 NEW BEST:: SOT 13739307 SOS 8073995 HAS SOPS 8073992 HAS SOUS 652717 HAS SOUPS 652714 WITH SCORE 660787.995
AT ITER 9555 NEW BEST:: SOT 13739307 SOS 8074659 HAS SOPS 8074656 HAS SOUS 652703 HAS SOUPS 652700 WITH SCORE 660774.659
AT ITER 9559 NEW BEST:: SOT 13738952 SOS 8072744 HAS SOPS 8072741 HAS SOUS 652244 HAS SOUPS 652241 WITH SCORE 660313.744
AT ITER 9583 NEW BEST:: SOT 13738864 SOS 8072656 HAS SOPS 8072653 HAS SOUS 652066 HAS SOUPS 652063 WITH SCORE 660135.656
AT ITER 9594 NEW BEST:: SOT 13735080 SOS 8068368 HAS SOPS 8068365 HAS SOUS 650030 HAS SOUPS 650027 WITH SCORE 658095.368
AT ITER 9602 NEW BEST:: SOT 13735080 SOS 8068316 HAS SOPS 8068313 HAS SOUS 649978 HAS SOUPS 649975 WITH SCORE 658043.316
AT ITER 9603 NEW BEST:: SOT 13735080 SOS 8068226 HAS SOPS 8068223 HAS SOUS 649888 HAS SOUPS 649885 WITH SCORE 657953.226
AT ITER 9627 NEW BEST:: SOT 13736000 SOS 8069216 HAS SOPS 8069213 HAS SOUS 649409 HAS SOUPS 649406 WITH SCORE 657475.216
AT ITER 9645 NEW BEST:: SOT 13735939 SOS 8069165 HAS SOPS 8069162 HAS SOUS 649286 HAS SOUPS 649283 WITH SCORE 657352.165
AT ITER 9649 NEW BEST:: SOT 13736222 SOS 8069448 HAS SOPS 8069445 HAS SOUS 649176 HAS SOUPS 649173 WITH SCORE 657242.448
AT ITER 9657 NEW BEST:: SOT 13736143 SOS 8069369 HAS SOPS 8069366 HAS SOUS 648965 HAS SOUPS 648962 WITH SCORE 657031.369
AT ITER 9658 NEW BEST:: SOT 13733552 SOS 8066778 HAS SOPS 8066775 HAS SOUS 646778 HAS SOUPS 646775 WITH SCORE 654841.778
AT ITER 9676 NEW BEST:: SOT 13735424 SOS 8071160 HAS SOPS 8071157 HAS SOUS 642923 HAS SOUPS 642920 WITH SCORE 650991.16
AT ITER 9744 NEW BEST:: SOT 13735424 SOS 8070876 HAS SOPS 8070873 HAS SOUS 642923 HAS SOUPS 642920 WITH SCORE 650990.876
AT ITER 9747 NEW BEST:: SOT 13735440 SOS 8070892 HAS SOPS 8070889 HAS SOUS 642891 HAS SOUPS 642888 WITH SCORE 650958.892
AT ITER 9820 NEW BEST:: SOT 13730652 SOS 8065822 HAS SOPS 8065819 HAS SOUS 641514 HAS SOUPS 641511 WITH SCORE 649576.822
AT ITER 9852 NEW BEST:: SOT 13729869 SOS 8065279 HAS SOPS 8065276 HAS SOUS 639610 HAS SOUPS 639607 WITH SCORE 647672.279
AT ITER 9907 NEW BEST:: SOT 13729869 SOS 8062151 HAS SOPS 8062148 HAS SOUS 639610 HAS SOUPS 639607 WITH SCORE 647669.151
AT ITER 9911 NEW BEST:: SOT 13729869 SOS 8061071 HAS SOPS 8061068 HAS SOUS 639610 HAS SOUPS 639607 WITH SCORE 647668.071
AT ITER 9947 NEW BEST:: SOT 13729829 SOS 8061031 HAS SOPS 8061028 HAS SOUS 639570 HAS SOUPS 639567 WITH SCORE 647628.031
AT ITER 9957 NEW BEST:: SOT 13728678 SOS 8059880 HAS SOPS 8059877 HAS SOUS 637164 HAS SOUPS 637161 WITH SCORE 645220.88
AT ITER 9960 NEW BEST:: SOT 13727868 SOS 8059070 HAS SOPS 8059067 HAS SOUS 636175 HAS SOUPS 636172 WITH SCORE 644231.07
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 13962436 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16126224 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BugTracking-PT-q3m016, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688100352"
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 ;