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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.2K Feb 26 07:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 07:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 08:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 08:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 07:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 07:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678467590325

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-q3m256
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m256
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 15 NEW BEST:: SOT 14035244 SOS 8812854 HAS SOPS 8811048 HAS SOUS 1612651 HAS SOUPS 1610845 WITH SCORE 1619657.854
AT ITER 20 NEW BEST:: SOT 14035270 SOS 8811008 HAS SOPS 8809202 HAS SOUS 1612651 HAS SOUPS 1610845 WITH SCORE 1619656.008
AT ITER 23 NEW BEST:: SOT 14035270 SOS 8806568 HAS SOPS 8804762 HAS SOUS 1612591 HAS SOUPS 1610785 WITH SCORE 1619591.568
AT ITER 34 NEW BEST:: SOT 14035270 SOS 8806568 HAS SOPS 8804762 HAS SOUS 1612553 HAS SOUPS 1610747 WITH SCORE 1619553.568
AT ITER 37 NEW BEST:: SOT 14035183 SOS 8806427 HAS SOPS 8804675 HAS SOUS 1607335 HAS SOUPS 1605583 WITH SCORE 1614389.427
AT ITER 46 NEW BEST:: SOT 14033834 SOS 8802980 HAS SOPS 8798996 HAS SOUS 1608516 HAS SOUPS 1604532 WITH SCORE 1613334.98
AT ITER 54 NEW BEST:: SOT 14033834 SOS 8796140 HAS SOPS 8792156 HAS SOUS 1608516 HAS SOUPS 1604532 WITH SCORE 1613328.14
AT ITER 55 NEW BEST:: SOT 14033834 SOS 8788292 HAS SOPS 8784308 HAS SOUS 1608407 HAS SOUPS 1604423 WITH SCORE 1613211.292
AT ITER 68 NEW BEST:: SOT 14030999 SOS 8785457 HAS SOPS 8781473 HAS SOUS 1600833 HAS SOUPS 1596849 WITH SCORE 1605634.457
AT ITER 73 NEW BEST:: SOT 14021099 SOS 8776277 HAS SOPS 8772293 HAS SOUS 1590109 HAS SOUPS 1586125 WITH SCORE 1594901.277
AT ITER 74 NEW BEST:: SOT 14021099 SOS 8763993 HAS SOPS 8760009 HAS SOUS 1589943 HAS SOUPS 1585959 WITH SCORE 1594722.993
AT ITER 79 NEW BEST:: SOT 14020756 SOS 8763650 HAS SOPS 8759666 HAS SOUS 1587694 HAS SOUPS 1583710 WITH SCORE 1592473.65
AT ITER 92 NEW BEST:: SOT 14020756 SOS 8763650 HAS SOPS 8759666 HAS SOUS 1587687 HAS SOUPS 1583703 WITH SCORE 1592466.65
AT ITER 115 NEW BEST:: SOT 14013814 SOS 8757395 HAS SOPS 8753411 HAS SOUS 1582394 HAS SOUPS 1578410 WITH SCORE 1587167.395
AT ITER 121 NEW BEST:: SOT 14016144 SOS 8759766 HAS SOPS 8755782 HAS SOUS 1581957 HAS SOUPS 1577973 WITH SCORE 1586732.766
AT ITER 122 NEW BEST:: SOT 14016144 SOS 8379525 HAS SOPS 8375541 HAS SOUS 1581838 HAS SOUPS 1577854 WITH SCORE 1586233.525
AT ITER 128 NEW BEST:: SOT 14016144 SOS 8378157 HAS SOPS 8374173 HAS SOUS 1581838 HAS SOUPS 1577854 WITH SCORE 1586232.157
AT ITER 135 NEW BEST:: SOT 14016158 SOS 8378171 HAS SOPS 8374187 HAS SOUS 1576711 HAS SOUPS 1572727 WITH SCORE 1581105.171
AT ITER 137 NEW BEST:: SOT 14016158 SOS 8378171 HAS SOPS 8374187 HAS SOUS 1576557 HAS SOUPS 1572573 WITH SCORE 1580951.171
AT ITER 158 NEW BEST:: SOT 14016158 SOS 8374139 HAS SOPS 8370155 HAS SOUS 1576557 HAS SOUPS 1572573 WITH SCORE 1580947.139
AT ITER 165 NEW BEST:: SOT 14016158 SOS 8374139 HAS SOPS 8370155 HAS SOUS 1576443 HAS SOUPS 1572459 WITH SCORE 1580833.139
AT ITER 169 NEW BEST:: SOT 14016158 SOS 8370395 HAS SOPS 8366411 HAS SOUS 1576443 HAS SOUPS 1572459 WITH SCORE 1580829.395
AT ITER 180 NEW BEST:: SOT 14016158 SOS 8365355 HAS SOPS 8361371 HAS SOUS 1576443 HAS SOUPS 1572459 WITH SCORE 1580824.355
AT ITER 181 NEW BEST:: SOT 14016158 SOS 8377379 HAS SOPS 8373395 HAS SOUS 1576276 HAS SOUPS 1572292 WITH SCORE 1580669.379
AT ITER 194 NEW BEST:: SOT 14016158 SOS 8378387 HAS SOPS 8374403 HAS SOUS 1576265 HAS SOUPS 1572281 WITH SCORE 1580659.387
AT ITER 201 NEW BEST:: SOT 14015681 SOS 8377910 HAS SOPS 8373926 HAS SOUS 1573386 HAS SOUPS 1569402 WITH SCORE 1577779.91
AT ITER 212 NEW BEST:: SOT 14015681 SOS 8381942 HAS SOPS 8377958 HAS SOUS 1573318 HAS SOUPS 1569334 WITH SCORE 1577715.942
AT ITER 224 NEW BEST:: SOT 14015681 SOS 8381915 HAS SOPS 8377958 HAS SOUS 1573291 HAS SOUPS 1569334 WITH SCORE 1577715.915
AT ITER 227 NEW BEST:: SOT 14015681 SOS 8386739 HAS SOPS 8382782 HAS SOUS 1573224 HAS SOUPS 1569267 WITH SCORE 1577653.739
AT ITER 229 NEW BEST:: SOT 14014498 SOS 8384988 HAS SOPS 8381102 HAS SOUS 1571056 HAS SOUPS 1567170 WITH SCORE 1575554.988
AT ITER 235 NEW BEST:: SOT 14014498 SOS 8373892 HAS SOPS 8370006 HAS SOUS 1570904 HAS SOUPS 1567018 WITH SCORE 1575391.892
AT ITER 236 NEW BEST:: SOT 14014498 SOS 8372740 HAS SOPS 8368854 HAS SOUS 1570904 HAS SOUPS 1567018 WITH SCORE 1575390.74
AT ITER 239 NEW BEST:: SOT 14014498 SOS 8372524 HAS SOPS 8368638 HAS SOUS 1570796 HAS SOUPS 1566910 WITH SCORE 1575282.524
AT ITER 250 NEW BEST:: SOT 14014509 SOS 8373078 HAS SOPS 8369165 HAS SOUS 1570807 HAS SOUPS 1566894 WITH SCORE 1575267.078
AT ITER 251 NEW BEST:: SOT 14014509 SOS 8365878 HAS SOPS 8361965 HAS SOUS 1570807 HAS SOUPS 1566894 WITH SCORE 1575259.878
AT ITER 255 NEW BEST:: SOT 14014509 SOS 8365878 HAS SOPS 8361965 HAS SOUS 1570803 HAS SOUPS 1566890 WITH SCORE 1575255.878
AT ITER 268 NEW BEST:: SOT 14014509 SOS 8364865 HAS SOPS 8361089 HAS SOUS 1570666 HAS SOUPS 1566890 WITH SCORE 1575254.865
AT ITER 285 NEW BEST:: SOT 14009728 SOS 8365544 HAS SOPS 8361768 HAS SOUS 1568807 HAS SOUPS 1565031 WITH SCORE 1573396.544
AT ITER 293 NEW BEST:: SOT 14009728 SOS 8365544 HAS SOPS 8361768 HAS SOUS 1568798 HAS SOUPS 1565022 WITH SCORE 1573387.544
AT ITER 296 NEW BEST:: SOT 14009553 SOS 8362898 HAS SOPS 8359122 HAS SOUS 1568742 HAS SOUPS 1564966 WITH SCORE 1573328.898
AT ITER 304 NEW BEST:: SOT 14009677 SOS 8363022 HAS SOPS 8359246 HAS SOUS 1559685 HAS SOUPS 1555909 WITH SCORE 1564272.022
AT ITER 309 NEW BEST:: SOT 14009677 SOS 8361222 HAS SOPS 8357446 HAS SOUS 1559685 HAS SOUPS 1555909 WITH SCORE 1564270.222
AT ITER 311 NEW BEST:: SOT 14009677 SOS 8348838 HAS SOPS 8345062 HAS SOUS 1559685 HAS SOUPS 1555909 WITH SCORE 1564257.838
AT ITER 313 NEW BEST:: SOT 14009677 SOS 8348828 HAS SOPS 8345052 HAS SOUS 1559676 HAS SOUPS 1555900 WITH SCORE 1564248.828
AT ITER 316 NEW BEST:: SOT 14009677 SOS 8348756 HAS SOPS 8344980 HAS SOUS 1559669 HAS SOUPS 1555893 WITH SCORE 1564241.756
AT ITER 325 NEW BEST:: SOT 14009677 SOS 7531064 HAS SOPS 7527288 HAS SOUS 1559459 HAS SOUPS 1555683 WITH SCORE 1563214.064
AT ITER 329 NEW BEST:: SOT 13998907 SOS 7525996 HAS SOPS 7522220 HAS SOUS 1546731 HAS SOUPS 1542955 WITH SCORE 1550480.996
AT ITER 342 NEW BEST:: SOT 13998907 SOS 7525996 HAS SOPS 7522220 HAS SOUS 1546658 HAS SOUPS 1542882 WITH SCORE 1550407.996
AT ITER 353 NEW BEST:: SOT 13998907 SOS 7524124 HAS SOPS 7520348 HAS SOUS 1546658 HAS SOUPS 1542882 WITH SCORE 1550406.124
AT ITER 370 NEW BEST:: SOT 13998907 SOS 7523248 HAS SOPS 7519472 HAS SOUS 1546585 HAS SOUPS 1542809 WITH SCORE 1550332.248
AT ITER 377 NEW BEST:: SOT 13998178 SOS 7522531 HAS SOPS 7518755 HAS SOUS 1545804 HAS SOUPS 1542028 WITH SCORE 1549550.531
AT ITER 380 NEW BEST:: SOT 13998214 SOS 7522567 HAS SOPS 7518791 HAS SOUS 1543372 HAS SOUPS 1539596 WITH SCORE 1547118.567
AT ITER 391 NEW BEST:: SOT 13998245 SOS 7522598 HAS SOPS 7518822 HAS SOUS 1539458 HAS SOUPS 1535682 WITH SCORE 1543204.598
AT ITER 403 NEW BEST:: SOT 13995400 SOS 7519753 HAS SOPS 7515977 HAS SOUS 1533643 HAS SOUPS 1529867 WITH SCORE 1537386.753
AT ITER 411 NEW BEST:: SOT 13995340 SOS 7519693 HAS SOPS 7515917 HAS SOUS 1533583 HAS SOUPS 1529807 WITH SCORE 1537326.693
AT ITER 416 NEW BEST:: SOT 13995340 SOS 7519571 HAS SOPS 7515795 HAS SOUS 1533522 HAS SOUPS 1529746 WITH SCORE 1537265.571
AT ITER 419 NEW BEST:: SOT 13995340 SOS 7519426 HAS SOPS 7515650 HAS SOUS 1533522 HAS SOUPS 1529746 WITH SCORE 1537265.426
AT ITER 428 NEW BEST:: SOT 13995465 SOS 7530595 HAS SOPS 7526819 HAS SOUS 1533468 HAS SOUPS 1529692 WITH SCORE 1537222.595
AT ITER 433 NEW BEST:: SOT 13995465 SOS 7530311 HAS SOPS 7526535 HAS SOUS 1533326 HAS SOUPS 1529550 WITH SCORE 1537080.311
AT ITER 434 NEW BEST:: SOT 13995646 SOS 7530212 HAS SOPS 7526488 HAS SOUS 1527562 HAS SOUPS 1523838 WITH SCORE 1531368.212
AT ITER 440 NEW BEST:: SOT 13995812 SOS 7530057 HAS SOPS 7526389 HAS SOUS 1516014 HAS SOUPS 1512346 WITH SCORE 1519876.057
AT ITER 442 NEW BEST:: SOT 13994205 SOS 7529062 HAS SOPS 7525394 HAS SOUS 1509993 HAS SOUPS 1506325 WITH SCORE 1513854.062
AT ITER 443 NEW BEST:: SOT 13994205 SOS 7528997 HAS SOPS 7525329 HAS SOUS 1509928 HAS SOUPS 1506260 WITH SCORE 1513788.997
AT ITER 447 NEW BEST:: SOT 13994199 SOS 7528739 HAS SOPS 7525122 HAS SOUS 1507380 HAS SOUPS 1503763 WITH SCORE 1511291.739
AT ITER 448 NEW BEST:: SOT 13993964 SOS 7528504 HAS SOPS 7524887 HAS SOUS 1506905 HAS SOUPS 1503288 WITH SCORE 1510816.504
AT ITER 467 NEW BEST:: SOT 13993964 SOS 7526272 HAS SOPS 7522655 HAS SOUS 1506905 HAS SOUPS 1503288 WITH SCORE 1510814.272
AT ITER 472 NEW BEST:: SOT 13998472 SOS 7383024 HAS SOPS 7376319 HAS SOUS 1505391 HAS SOUPS 1500155 WITH SCORE 1507538.024
AT ITER 473 NEW BEST:: SOT 13998472 SOS 7380314 HAS SOPS 7373564 HAS SOUS 1501615 HAS SOUPS 1496336 WITH SCORE 1503716.314
AT ITER 488 NEW BEST:: SOT 13993595 SOS 7382397 HAS SOPS 7375647 HAS SOUS 1497118 HAS SOUPS 1491839 WITH SCORE 1499221.397
AT ITER 500 NEW BEST:: SOT 13993655 SOS 7381706 HAS SOPS 7375009 HAS SOUS 1492302 HAS SOUPS 1487076 WITH SCORE 1494457.706
AT ITER 507 NEW BEST:: SOT 13992445 SOS 7377272 HAS SOPS 7370713 HAS SOUS 1487707 HAS SOUPS 1482566 WITH SCORE 1489943.272
AT ITER 515 NEW BEST:: SOT 13993866 SOS 7378630 HAS SOPS 7372088 HAS SOUS 1486543 HAS SOUPS 1481419 WITH SCORE 1488797.63
AT ITER 538 NEW BEST:: SOT 13993866 SOS 7378630 HAS SOPS 7372088 HAS SOUS 1486433 HAS SOUPS 1481309 WITH SCORE 1488687.63
AT ITER 542 NEW BEST:: SOT 13990951 SOS 7376547 HAS SOPS 7370005 HAS SOUS 1480904 HAS SOUPS 1475780 WITH SCORE 1483156.547
AT ITER 547 NEW BEST:: SOT 13994804 SOS 7380580 HAS SOPS 7374038 HAS SOUS 1480629 HAS SOUPS 1475505 WITH SCORE 1482885.58
AT ITER 555 NEW BEST:: SOT 13994804 SOS 7383388 HAS SOPS 7376846 HAS SOUS 1480499 HAS SOUPS 1475375 WITH SCORE 1482758.388
AT ITER 569 NEW BEST:: SOT 13994804 SOS 7382286 HAS SOPS 7375744 HAS SOUS 1480405 HAS SOUPS 1475281 WITH SCORE 1482663.286
AT ITER 580 NEW BEST:: SOT 13992120 SOS 7383572 HAS SOPS 7377030 HAS SOUS 1479103 HAS SOUPS 1473979 WITH SCORE 1481362.572
AT ITER 583 NEW BEST:: SOT 13990184 SOS 7380996 HAS SOPS 7374534 HAS SOUS 1476060 HAS SOUPS 1471016 WITH SCORE 1478396.996
AT ITER 584 NEW BEST:: SOT 13990184 SOS 7379484 HAS SOPS 7373022 HAS SOUS 1476060 HAS SOUPS 1471016 WITH SCORE 1478395.484
AT ITER 585 NEW BEST:: SOT 13990184 SOS 7377014 HAS SOPS 7371319 HAS SOUS 1474648 HAS SOUPS 1469708 WITH SCORE 1477085.014
AT ITER 587 NEW BEST:: SOT 13990184 SOS 7374566 HAS SOPS 7368871 HAS SOUS 1474648 HAS SOUPS 1469708 WITH SCORE 1477082.566
AT ITER 589 NEW BEST:: SOT 13987130 SOS 7374680 HAS SOPS 7368985 HAS SOUS 1473597 HAS SOUPS 1468657 WITH SCORE 1476031.68
AT ITER 598 NEW BEST:: SOT 13991153 SOS 7388532 HAS SOPS 7382599 HAS SOUS 1472837 HAS SOUPS 1467833 WITH SCORE 1475221.532
AT ITER 603 NEW BEST:: SOT 13991153 SOS 7388532 HAS SOPS 7382599 HAS SOUS 1472757 HAS SOUPS 1467753 WITH SCORE 1475141.532
AT ITER 642 NEW BEST:: SOT 13980430 SOS 7379427 HAS SOPS 7373494 HAS SOUS 1460257 HAS SOUPS 1455253 WITH SCORE 1462632.427
AT ITER 653 NEW BEST:: SOT 13980451 SOS 7379448 HAS SOPS 7373515 HAS SOUS 1459050 HAS SOUPS 1454046 WITH SCORE 1461425.448
AT ITER 667 NEW BEST:: SOT 13981227 SOS 7380224 HAS SOPS 7374291 HAS SOUS 1457761 HAS SOUPS 1452757 WITH SCORE 1460137.224
AT ITER 671 NEW BEST:: SOT 13981227 SOS 7379384 HAS SOPS 7373451 HAS SOUS 1457751 HAS SOUPS 1452747 WITH SCORE 1460126.384
AT ITER 688 NEW BEST:: SOT 13981227 SOS 7379052 HAS SOPS 7373119 HAS SOUS 1457585 HAS SOUPS 1452581 WITH SCORE 1459960.052
AT ITER 689 NEW BEST:: SOT 13981173 SOS 7377172 HAS SOPS 7371344 HAS SOUS 1452706 HAS SOUPS 1447790 WITH SCORE 1455167.172
AT ITER 690 NEW BEST:: SOT 13981173 SOS 7382932 HAS SOPS 7377104 HAS SOUS 1452544 HAS SOUPS 1447628 WITH SCORE 1455010.932
AT ITER 696 NEW BEST:: SOT 13981173 SOS 7382932 HAS SOPS 7377104 HAS SOUS 1452443 HAS SOUPS 1447527 WITH SCORE 1454909.932
AT ITER 703 NEW BEST:: SOT 13973548 SOS 7376823 HAS SOPS 7370995 HAS SOUS 1446689 HAS SOUPS 1441773 WITH SCORE 1449149.823
AT ITER 709 NEW BEST:: SOT 13971766 SOS 7375050 HAS SOPS 7369222 HAS SOUS 1443719 HAS SOUPS 1438803 WITH SCORE 1446178.05
AT ITER 710 NEW BEST:: SOT 13971766 SOS 7381674 HAS SOPS 7375846 HAS SOUS 1443532 HAS SOUPS 1438616 WITH SCORE 1445997.674
AT ITER 718 NEW BEST:: SOT 13969801 SOS 7380235 HAS SOPS 7374407 HAS SOUS 1429273 HAS SOUPS 1424357 WITH SCORE 1431737.235
AT ITER 731 NEW BEST:: SOT 13969801 SOS 7380019 HAS SOPS 7374191 HAS SOUS 1429273 HAS SOUPS 1424357 WITH SCORE 1431737.019
AT ITER 750 NEW BEST:: SOT 13969207 SOS 7378716 HAS SOPS 7372915 HAS SOUS 1427282 HAS SOUPS 1422393 WITH SCORE 1429771.716
AT ITER 755 NEW BEST:: SOT 13969207 SOS 7378716 HAS SOPS 7372915 HAS SOUS 1427278 HAS SOUPS 1422389 WITH SCORE 1429767.716
AT ITER 761 NEW BEST:: SOT 13969207 SOS 7378716 HAS SOPS 7372915 HAS SOUS 1427246 HAS SOUPS 1422357 WITH SCORE 1429735.716
AT ITER 767 NEW BEST:: SOT 13962919 SOS 7376644 HAS SOPS 7370843 HAS SOUS 1419605 HAS SOUPS 1414716 WITH SCORE 1422092.644
AT ITER 771 NEW BEST:: SOT 13962172 SOS 7375897 HAS SOPS 7370096 HAS SOUS 1419572 HAS SOUPS 1414683 WITH SCORE 1422058.897
AT ITER 776 NEW BEST:: SOT 13959076 SOS 7372721 HAS SOPS 7366920 HAS SOUS 1418624 HAS SOUPS 1413735 WITH SCORE 1421107.721
AT ITER 792 NEW BEST:: SOT 13959076 SOS 7372399 HAS SOPS 7366598 HAS SOUS 1418463 HAS SOUPS 1413574 WITH SCORE 1420946.399
AT ITER 796 NEW BEST:: SOT 13959035 SOS 7371755 HAS SOPS 7365995 HAS SOUS 1415955 HAS SOUPS 1411107 WITH SCORE 1418478.755
AT ITER 799 NEW BEST:: SOT 13956665 SOS 7369431 HAS SOPS 7363662 HAS SOUS 1413631 HAS SOUPS 1408774 WITH SCORE 1416143.431
AT ITER 802 NEW BEST:: SOT 13955813 SOS 7371686 HAS SOPS 7365970 HAS SOUS 1412752 HAS SOUPS 1407895 WITH SCORE 1415266.686
AT ITER 805 NEW BEST:: SOT 13955813 SOS 7371686 HAS SOPS 7365970 HAS SOUS 1412749 HAS SOUPS 1407892 WITH SCORE 1415263.686
AT ITER 806 NEW BEST:: SOT 13955813 SOS 7371118 HAS SOPS 7365402 HAS SOUS 1412749 HAS SOUPS 1407892 WITH SCORE 1415263.118
AT ITER 808 NEW BEST:: SOT 13955813 SOS 7371118 HAS SOPS 7365402 HAS SOUS 1412600 HAS SOUPS 1407743 WITH SCORE 1415114.118
AT ITER 818 NEW BEST:: SOT 13952855 SOS 7368160 HAS SOPS 7362444 HAS SOUS 1411080 HAS SOUPS 1406223 WITH SCORE 1413591.16
AT ITER 830 NEW BEST:: SOT 13952855 SOS 7368160 HAS SOPS 7362444 HAS SOUS 1411074 HAS SOUPS 1406217 WITH SCORE 1413585.16
AT ITER 840 NEW BEST:: SOT 13952855 SOS 7366464 HAS SOPS 7360803 HAS SOUS 1409228 HAS SOUPS 1404418 WITH SCORE 1411784.464
AT ITER 844 NEW BEST:: SOT 13952795 SOS 7366404 HAS SOPS 7360743 HAS SOUS 1409168 HAS SOUPS 1404358 WITH SCORE 1411724.404
AT ITER 848 NEW BEST:: SOT 13952795 SOS 7366052 HAS SOPS 7360391 HAS SOUS 1408992 HAS SOUPS 1404182 WITH SCORE 1411548.052
AT ITER 856 NEW BEST:: SOT 13952795 SOS 7366052 HAS SOPS 7360391 HAS SOUS 1408888 HAS SOUPS 1404078 WITH SCORE 1411444.052
AT ITER 859 NEW BEST:: SOT 13954387 SOS 7367644 HAS SOPS 7361983 HAS SOUS 1408100 HAS SOUPS 1403290 WITH SCORE 1410657.644
AT ITER 864 NEW BEST:: SOT 13954181 SOS 7367438 HAS SOPS 7361777 HAS SOUS 1407894 HAS SOUPS 1403084 WITH SCORE 1410451.438
AT ITER 865 NEW BEST:: SOT 13954181 SOS 7368992 HAS SOPS 7363331 HAS SOUS 1407838 HAS SOUPS 1403028 WITH SCORE 1410396.992
AT ITER 880 NEW BEST:: SOT 13954181 SOS 7368824 HAS SOPS 7363163 HAS SOUS 1407692 HAS SOUPS 1402882 WITH SCORE 1410250.824
AT ITER 886 NEW BEST:: SOT 13954196 SOS 7368396 HAS SOPS 7362773 HAS SOUS 1404693 HAS SOUPS 1399921 WITH SCORE 1407289.396
AT ITER 887 NEW BEST:: SOT 13952964 SOS 7367164 HAS SOPS 7361541 HAS SOUS 1402227 HAS SOUPS 1397455 WITH SCORE 1404822.164
AT ITER 890 NEW BEST:: SOT 13949467 SOS 7367783 HAS SOPS 7362160 HAS SOUS 1395441 HAS SOUPS 1390669 WITH SCORE 1398036.783
AT ITER 893 NEW BEST:: SOT 13935553 SOS 7353464 HAS SOPS 7347841 HAS SOUS 1389424 HAS SOUPS 1384652 WITH SCORE 1392005.464
AT ITER 896 NEW BEST:: SOT 13935173 SOS 7353084 HAS SOPS 7347461 HAS SOUS 1388659 HAS SOUPS 1383887 WITH SCORE 1391240.084
AT ITER 897 NEW BEST:: SOT 13934859 SOS 7352770 HAS SOPS 7347147 HAS SOUS 1383173 HAS SOUPS 1378401 WITH SCORE 1385753.77
AT ITER 914 NEW BEST:: SOT 13934867 SOS 7352778 HAS SOPS 7347155 HAS SOUS 1383167 HAS SOUPS 1378395 WITH SCORE 1385747.778
AT ITER 928 NEW BEST:: SOT 13934867 SOS 7359402 HAS SOPS 7353779 HAS SOUS 1383059 HAS SOUPS 1378287 WITH SCORE 1385646.402
AT ITER 938 NEW BEST:: SOT 13934801 SOS 7359228 HAS SOPS 7353608 HAS SOUS 1382879 HAS SOUPS 1378110 WITH SCORE 1385469.228
AT ITER 941 NEW BEST:: SOT 13925836 SOS 7352017 HAS SOPS 7346397 HAS SOUS 1374850 HAS SOUPS 1370081 WITH SCORE 1377433.017
AT ITER 945 NEW BEST:: SOT 13914330 SOS 7341787 HAS SOPS 7336231 HAS SOUS 1361680 HAS SOUPS 1356911 WITH SCORE 1364252.787
AT ITER 963 NEW BEST:: SOT 13914330 SOS 7341574 HAS SOPS 7336023 HAS SOUS 1361543 HAS SOUPS 1356779 WITH SCORE 1364120.574
AT ITER 979 NEW BEST:: SOT 13921117 SOS 7366146 HAS SOPS 7360152 HAS SOUS 1357232 HAS SOUPS 1352351 WITH SCORE 1359717.146
AT ITER 982 NEW BEST:: SOT 13921117 SOS 7365964 HAS SOPS 7359970 HAS SOUS 1357103 HAS SOUPS 1352222 WITH SCORE 1359587.964
AT ITER 994 NEW BEST:: SOT 13921117 SOS 7363311 HAS SOPS 7357426 HAS SOUS 1355664 HAS SOUPS 1350833 WITH SCORE 1358196.311
AT ITER 1007 NEW BEST:: SOT 13918686 SOS 7360880 HAS SOPS 7354995 HAS SOUS 1354114 HAS SOUPS 1349283 WITH SCORE 1356643.88
AT ITER 1051 NEW BEST:: SOT 13918686 SOS 7360504 HAS SOPS 7354619 HAS SOUS 1354020 HAS SOUPS 1349189 WITH SCORE 1356549.504
AT ITER 1075 NEW BEST:: SOT 13918686 SOS 7361368 HAS SOPS 7355483 HAS SOUS 1354008 HAS SOUPS 1349177 WITH SCORE 1356538.368
AT ITER 1078 NEW BEST:: SOT 13918686 SOS 7369864 HAS SOPS 7363979 HAS SOUS 1353812 HAS SOUPS 1348981 WITH SCORE 1356350.864
AT ITER 1089 NEW BEST:: SOT 13918662 SOS 7367807 HAS SOPS 7361972 HAS SOUS 1352289 HAS SOUPS 1347482 WITH SCORE 1354849.807
AT ITER 1094 NEW BEST:: SOT 13809335 SOS 7342069 HAS SOPS 7338678 HAS SOUS 1245582 HAS SOUPS 1242771 WITH SCORE 1250113.069
AT ITER 1096 NEW BEST:: SOT 13809335 SOS 7340485 HAS SOPS 7337094 HAS SOUS 1245582 HAS SOUPS 1242771 WITH SCORE 1250111.485
AT ITER 1106 NEW BEST:: SOT 13809373 SOS 7340544 HAS SOPS 7337153 HAS SOUS 1243947 HAS SOUPS 1241136 WITH SCORE 1248476.544
AT ITER 1108 NEW BEST:: SOT 13809373 SOS 7338562 HAS SOPS 7335171 HAS SOUS 1243947 HAS SOUPS 1241136 WITH SCORE 1248474.562
AT ITER 1115 NEW BEST:: SOT 13809373 SOS 7336760 HAS SOPS 7333369 HAS SOUS 1243910 HAS SOUPS 1241099 WITH SCORE 1248435.76
AT ITER 1118 NEW BEST:: SOT 13809373 SOS 7336678 HAS SOPS 7333287 HAS SOUS 1243869 HAS SOUPS 1241058 WITH SCORE 1248394.678
AT ITER 1122 NEW BEST:: SOT 13809373 SOS 7336678 HAS SOPS 7333287 HAS SOUS 1243826 HAS SOUPS 1241015 WITH SCORE 1248351.678
AT ITER 1133 NEW BEST:: SOT 13809373 SOS 7336678 HAS SOPS 7333287 HAS SOUS 1243586 HAS SOUPS 1240775 WITH SCORE 1248111.678
AT ITER 1156 NEW BEST:: SOT 13809360 SOS 7336691 HAS SOPS 7333300 HAS SOUS 1243573 HAS SOUPS 1240762 WITH SCORE 1248098.691
AT ITER 1161 NEW BEST:: SOT 13804082 SOS 7337173 HAS SOPS 7333782 HAS SOUS 1238300 HAS SOUPS 1235489 WITH SCORE 1242826.173
AT ITER 1164 NEW BEST:: SOT 13801095 SOS 7332617 HAS SOPS 7329235 HAS SOUS 1231013 HAS SOUPS 1228211 WITH SCORE 1235543.617
AT ITER 1177 NEW BEST:: SOT 13801095 SOS 7330073 HAS SOPS 7326691 HAS SOUS 1230899 HAS SOUPS 1228097 WITH SCORE 1235427.073
AT ITER 1193 NEW BEST:: SOT 13805126 SOS 7334104 HAS SOPS 7330722 HAS SOUS 1225432 HAS SOUPS 1222630 WITH SCORE 1229964.104
AT ITER 1194 NEW BEST:: SOT 13805126 SOS 7334115 HAS SOPS 7330733 HAS SOUS 1225354 HAS SOUPS 1222552 WITH SCORE 1229886.115
AT ITER 1204 NEW BEST:: SOT 13805192 SOS 7334145 HAS SOPS 7330763 HAS SOUS 1220987 HAS SOUPS 1218185 WITH SCORE 1225519.145
AT ITER 1213 NEW BEST:: SOT 13805192 SOS 7333939 HAS SOPS 7330557 HAS SOUS 1220987 HAS SOUPS 1218185 WITH SCORE 1225518.939
AT ITER 1232 NEW BEST:: SOT 13805192 SOS 7333071 HAS SOPS 7329689 HAS SOUS 1220827 HAS SOUPS 1218025 WITH SCORE 1225358.071
AT ITER 1235 NEW BEST:: SOT 13805192 SOS 7332861 HAS SOPS 7329479 HAS SOUS 1220797 HAS SOUPS 1217995 WITH SCORE 1225327.861
AT ITER 1247 NEW BEST:: SOT 13804422 SOS 7332091 HAS SOPS 7328709 HAS SOUS 1220505 HAS SOUPS 1217703 WITH SCORE 1225035.091
AT ITER 1268 NEW BEST:: SOT 13804422 SOS 7331181 HAS SOPS 7327799 HAS SOUS 1220297 HAS SOUPS 1217495 WITH SCORE 1224826.181
AT ITER 1270 NEW BEST:: SOT 13805906 SOS 7332632 HAS SOPS 7329250 HAS SOUS 1213036 HAS SOUPS 1210234 WITH SCORE 1217566.632
AT ITER 1303 NEW BEST:: SOT 13795240 SOS 7324236 HAS SOPS 7320854 HAS SOUS 1202077 HAS SOUPS 1199275 WITH SCORE 1206599.236
AT ITER 1313 NEW BEST:: SOT 13789930 SOS 7317990 HAS SOPS 7314725 HAS SOUS 1196367 HAS SOUPS 1193682 WITH SCORE 1200999.99
AT ITER 1314 NEW BEST:: SOT 13787125 SOS 7317201 HAS SOPS 7313936 HAS SOUS 1190491 HAS SOUPS 1187806 WITH SCORE 1195123.201
AT ITER 1326 NEW BEST:: SOT 13787125 SOS 7318811 HAS SOPS 7315546 HAS SOUS 1190304 HAS SOUPS 1187619 WITH SCORE 1194937.811
AT ITER 1335 NEW BEST:: SOT 13787055 SOS 7318741 HAS SOPS 7315476 HAS SOUS 1190234 HAS SOUPS 1187549 WITH SCORE 1194867.741
AT ITER 1338 NEW BEST:: SOT 13784654 SOS 7316340 HAS SOPS 7313075 HAS SOUS 1180533 HAS SOUPS 1177848 WITH SCORE 1185164.34
AT ITER 1346 NEW BEST:: SOT 13793718 SOS 7347100 HAS SOPS 7343835 HAS SOUS 1168046 HAS SOUPS 1165361 WITH SCORE 1172708.1
AT ITER 1376 NEW BEST:: SOT 13791205 SOS 7344587 HAS SOPS 7341322 HAS SOUS 1166260 HAS SOUPS 1163575 WITH SCORE 1170919.587
AT ITER 1383 NEW BEST:: SOT 13791205 SOS 7344277 HAS SOPS 7341012 HAS SOUS 1166141 HAS SOUPS 1163456 WITH SCORE 1170800.277
AT ITER 1395 NEW BEST:: SOT 13802826 SOS 7363501 HAS SOPS 7360236 HAS SOUS 1163101 HAS SOUPS 1160416 WITH SCORE 1167779.501
AT ITER 1410 NEW BEST:: SOT 13766249 SOS 9177475 HAS SOPS 9174718 HAS SOUS 1132094 HAS SOUPS 1129409 WITH SCORE 1138586.475
AT ITER 1443 NEW BEST:: SOT 13766563 SOS 9177789 HAS SOPS 9175032 HAS SOUS 1131100 HAS SOUPS 1128415 WITH SCORE 1137592.789
AT ITER 1453 NEW BEST:: SOT 13762536 SOS 9173735 HAS SOPS 9170978 HAS SOUS 1122425 HAS SOUPS 1119740 WITH SCORE 1128913.735
AT ITER 1462 NEW BEST:: SOT 13762423 SOS 9169276 HAS SOPS 9166519 HAS SOUS 1122312 HAS SOUPS 1119627 WITH SCORE 1128796.276
AT ITER 1466 NEW BEST:: SOT 13762423 SOS 9168196 HAS SOPS 9165439 HAS SOUS 1122312 HAS SOUPS 1119627 WITH SCORE 1128795.196
AT ITER 1484 NEW BEST:: SOT 13762423 SOS 9168140 HAS SOPS 9165383 HAS SOUS 1122312 HAS SOUPS 1119627 WITH SCORE 1128795.14
AT ITER 1495 NEW BEST:: SOT 13770916 SOS 9176633 HAS SOPS 9173876 HAS SOUS 1121401 HAS SOUPS 1118716 WITH SCORE 1127892.633
AT ITER 1505 NEW BEST:: SOT 13769229 SOS 9174946 HAS SOPS 9172189 HAS SOUS 1110770 HAS SOUPS 1108085 WITH SCORE 1117259.946
AT ITER 1510 NEW BEST:: SOT 13769229 SOS 9174772 HAS SOPS 9172015 HAS SOUS 1110683 HAS SOUPS 1107998 WITH SCORE 1117172.772
AT ITER 1512 NEW BEST:: SOT 13767028 SOS 9172571 HAS SOPS 9169814 HAS SOUS 1106181 HAS SOUPS 1103496 WITH SCORE 1112668.571
AT ITER 1523 NEW BEST:: SOT 13757758 SOS 7435914 HAS SOPS 7432821 HAS SOUS 1104365 HAS SOUPS 1101680 WITH SCORE 1109115.914
AT ITER 1524 NEW BEST:: SOT 13757842 SOS 7435990 HAS SOPS 7432897 HAS SOUS 1104175 HAS SOUPS 1101490 WITH SCORE 1108925.99
AT ITER 1529 NEW BEST:: SOT 13757677 SOS 7435489 HAS SOPS 7432454 HAS SOUS 1096528 HAS SOUPS 1093901 WITH SCORE 1101336.489
AT ITER 1544 NEW BEST:: SOT 13757677 SOS 7435227 HAS SOPS 7432214 HAS SOUS 1096481 HAS SOUPS 1093876 WITH SCORE 1101311.227
AT ITER 1558 NEW BEST:: SOT 13758636 SOS 7436436 HAS SOPS 7433473 HAS SOUS 1094857 HAS SOUPS 1092252 WITH SCORE 1099688.436
AT ITER 1569 NEW BEST:: SOT 13758636 SOS 7433520 HAS SOPS 7430557 HAS SOUS 1094782 HAS SOUPS 1092177 WITH SCORE 1099610.52
AT ITER 1572 NEW BEST:: SOT 13758636 SOS 7433520 HAS SOPS 7430557 HAS SOUS 1094771 HAS SOUPS 1092166 WITH SCORE 1099599.52
AT ITER 1604 NEW BEST:: SOT 13755790 SOS 7428010 HAS SOPS 7425047 HAS SOUS 1094737 HAS SOUPS 1092132 WITH SCORE 1099560.01
AT ITER 1615 NEW BEST:: SOT 13755790 SOS 7427714 HAS SOPS 7424751 HAS SOUS 1094589 HAS SOUPS 1091984 WITH SCORE 1099411.714
AT ITER 1629 NEW BEST:: SOT 13755790 SOS 7426388 HAS SOPS 7423425 HAS SOUS 1094589 HAS SOUPS 1091984 WITH SCORE 1099410.388
AT ITER 1631 NEW BEST:: SOT 13755790 SOS 7425380 HAS SOPS 7422417 HAS SOUS 1094589 HAS SOUPS 1091984 WITH SCORE 1099409.38
AT ITER 1633 NEW BEST:: SOT 13753522 SOS 7416089 HAS SOPS 7413325 HAS SOUS 1094451 HAS SOUPS 1091892 WITH SCORE 1099308.089
AT ITER 1648 NEW BEST:: SOT 13761753 SOS 7429325 HAS SOPS 7426561 HAS SOUS 1090884 HAS SOUPS 1088325 WITH SCORE 1095754.325
AT ITER 1661 NEW BEST:: SOT 13761492 SOS 7429064 HAS SOPS 7426300 HAS SOUS 1090623 HAS SOUPS 1088064 WITH SCORE 1095493.064
AT ITER 1665 NEW BEST:: SOT 13761448 SOS 7429020 HAS SOPS 7426256 HAS SOUS 1090579 HAS SOUPS 1088020 WITH SCORE 1095449.02
AT ITER 1679 NEW BEST:: SOT 13761448 SOS 7429020 HAS SOPS 7426256 HAS SOUS 1090522 HAS SOUPS 1087963 WITH SCORE 1095392.02
AT ITER 1686 NEW BEST:: SOT 13761448 SOS 7423399 HAS SOPS 7420635 HAS SOUS 1090428 HAS SOUPS 1087869 WITH SCORE 1095292.399
AT ITER 1692 NEW BEST:: SOT 13759477 SOS 7421428 HAS SOPS 7418664 HAS SOUS 1088814 HAS SOUPS 1086255 WITH SCORE 1093676.428
AT ITER 1693 NEW BEST:: SOT 13759477 SOS 7419106 HAS SOPS 7416342 HAS SOUS 1088733 HAS SOUPS 1086174 WITH SCORE 1093593.106
AT ITER 1696 NEW BEST:: SOT 13758327 SOS 7417956 HAS SOPS 7415192 HAS SOUS 1086413 HAS SOUPS 1083854 WITH SCORE 1091271.956
AT ITER 1732 NEW BEST:: SOT 13752709 SOS 7411562 HAS SOPS 7408908 HAS SOUS 1079547 HAS SOUPS 1077098 WITH SCORE 1084509.562
AT ITER 1739 NEW BEST:: SOT 13752667 SOS 7411520 HAS SOPS 7408866 HAS SOUS 1079475 HAS SOUPS 1077026 WITH SCORE 1084437.52
AT ITER 1760 NEW BEST:: SOT 13752667 SOS 7413625 HAS SOPS 7410971 HAS SOUS 1079251 HAS SOUPS 1076802 WITH SCORE 1084215.625
AT ITER 1768 NEW BEST:: SOT 13753767 SOS 7414909 HAS SOPS 7412255 HAS SOUS 1077479 HAS SOUPS 1075030 WITH SCORE 1082444.909
AT ITER 1782 NEW BEST:: SOT 13753767 SOS 7414637 HAS SOPS 7411983 HAS SOUS 1077343 HAS SOUPS 1074894 WITH SCORE 1082308.637
AT ITER 1794 NEW BEST:: SOT 13753767 SOS 7414507 HAS SOPS 7411853 HAS SOUS 1077278 HAS SOUPS 1074829 WITH SCORE 1082243.507
AT ITER 1838 NEW BEST:: SOT 13753736 SOS 7414650 HAS SOPS 7411996 HAS SOUS 1077213 HAS SOUPS 1074764 WITH SCORE 1082178.65
AT ITER 1865 NEW BEST:: SOT 13754117 SOS 7414996 HAS SOPS 7412342 HAS SOUS 1076265 HAS SOUPS 1073816 WITH SCORE 1081230.996
AT ITER 1895 NEW BEST:: SOT 13754007 SOS 7414911 HAS SOPS 7412257 HAS SOUS 1076155 HAS SOUPS 1073706 WITH SCORE 1081120.911
AT ITER 1901 NEW BEST:: SOT 13754007 SOS 7414026 HAS SOPS 7411497 HAS SOUS 1075905 HAS SOUPS 1073581 WITH SCORE 1080995.026
AT ITER 1915 NEW BEST:: SOT 13751547 SOS 7411486 HAS SOPS 7408957 HAS SOUS 1074858 HAS SOUPS 1072534 WITH SCORE 1079945.486
AT ITER 1924 NEW BEST:: SOT 13750902 SOS 7410841 HAS SOPS 7408312 HAS SOUS 1073553 HAS SOUPS 1071229 WITH SCORE 1078639.841
AT ITER 1934 NEW BEST:: SOT 13750902 SOS 7410779 HAS SOPS 7408250 HAS SOUS 1073553 HAS SOUPS 1071229 WITH SCORE 1078639.779
AT ITER 1957 NEW BEST:: SOT 13750902 SOS 7411139 HAS SOPS 7408610 HAS SOUS 1073458 HAS SOUPS 1071134 WITH SCORE 1078545.139
AT ITER 1961 NEW BEST:: SOT 13750902 SOS 7410347 HAS SOPS 7407818 HAS SOUS 1073458 HAS SOUPS 1071134 WITH SCORE 1078544.347
AT ITER 1966 NEW BEST:: SOT 13750362 SOS 7409793 HAS SOPS 7407264 HAS SOUS 1069905 HAS SOUPS 1067581 WITH SCORE 1074990.793
AT ITER 1973 NEW BEST:: SOT 13747848 SOS 7410439 HAS SOPS 7407910 HAS SOUS 1068251 HAS SOUPS 1065927 WITH SCORE 1073337.439
AT ITER 1981 NEW BEST:: SOT 13747355 SOS 7409946 HAS SOPS 7407417 HAS SOUS 1067187 HAS SOUPS 1064863 WITH SCORE 1072272.946
AT ITER 1988 NEW BEST:: SOT 13747355 SOS 7409946 HAS SOPS 7407417 HAS SOUS 1067089 HAS SOUPS 1064765 WITH SCORE 1072174.946
AT ITER 1990 NEW BEST:: SOT 13752287 SOS 7421860 HAS SOPS 7419227 HAS SOUS 1062111 HAS SOUPS 1059737 WITH SCORE 1067158.86
AT ITER 2002 NEW BEST:: SOT 13752287 SOS 7421444 HAS SOPS 7418811 HAS SOUS 1062111 HAS SOUPS 1059737 WITH SCORE 1067158.444
AT ITER 2006 NEW BEST:: SOT 13753456 SOS 7422613 HAS SOPS 7419980 HAS SOUS 1061694 HAS SOUPS 1059320 WITH SCORE 1066742.613
AT ITER 2009 NEW BEST:: SOT 13755980 SOS 7430177 HAS SOPS 7427544 HAS SOUS 1059675 HAS SOUPS 1057301 WITH SCORE 1064731.177
AT ITER 2030 NEW BEST:: SOT 13765014 SOS 7453795 HAS SOPS 7451162 HAS SOUS 1056280 HAS SOUPS 1053906 WITH SCORE 1061359.795
AT ITER 2031 NEW BEST:: SOT 13761753 SOS 7450534 HAS SOPS 7447901 HAS SOUS 1054568 HAS SOUPS 1052194 WITH SCORE 1059644.534
AT ITER 2036 NEW BEST:: SOT 13757629 SOS 7446410 HAS SOPS 7443777 HAS SOUS 1054518 HAS SOUPS 1052144 WITH SCORE 1059590.41
AT ITER 2041 NEW BEST:: SOT 13758663 SOS 7447456 HAS SOPS 7444823 HAS SOUS 1054450 HAS SOUPS 1052076 WITH SCORE 1059523.456
AT ITER 2046 NEW BEST:: SOT 13757083 SOS 7447484 HAS SOPS 7444851 HAS SOUS 1051936 HAS SOUPS 1049562 WITH SCORE 1057009.484
AT ITER 2050 NEW BEST:: SOT 13757077 SOS 7447478 HAS SOPS 7444845 HAS SOUS 1051870 HAS SOUPS 1049496 WITH SCORE 1056943.478
AT ITER 2060 NEW BEST:: SOT 13757077 SOS 7452158 HAS SOPS 7449525 HAS SOUS 1051694 HAS SOUPS 1049320 WITH SCORE 1056772.158
AT ITER 2069 NEW BEST:: SOT 13754250 SOS 7453583 HAS SOPS 7449042 HAS SOUS 1053141 HAS SOUPS 1048859 WITH SCORE 1056312.583
AT ITER 2080 NEW BEST:: SOT 13750561 SOS 7453836 HAS SOPS 7449295 HAS SOUS 1051606 HAS SOUPS 1047324 WITH SCORE 1054777.836
AT ITER 2096 NEW BEST:: SOT 13750561 SOS 7454268 HAS SOPS 7449727 HAS SOUS 1051600 HAS SOUPS 1047318 WITH SCORE 1054772.268
AT ITER 2102 NEW BEST:: SOT 13750451 SOS 7454158 HAS SOPS 7449617 HAS SOUS 1051490 HAS SOUPS 1047208 WITH SCORE 1054662.158
AT ITER 2118 NEW BEST:: SOT 13749477 SOS 7453184 HAS SOPS 7448643 HAS SOUS 1049588 HAS SOUPS 1045306 WITH SCORE 1052759.184
AT ITER 2121 NEW BEST:: SOT 13748766 SOS 7452190 HAS SOPS 7447690 HAS SOUS 1048051 HAS SOUPS 1043810 WITH SCORE 1051262.19
AT ITER 2125 NEW BEST:: SOT 13748766 SOS 7452190 HAS SOPS 7447690 HAS SOUS 1048048 HAS SOUPS 1043807 WITH SCORE 1051259.19
AT ITER 2143 NEW BEST:: SOT 13748766 SOS 7449526 HAS SOPS 7445026 HAS SOUS 1048048 HAS SOUPS 1043807 WITH SCORE 1051256.526
AT ITER 2147 NEW BEST:: SOT 13755454 SOS 7456758 HAS SOPS 7452258 HAS SOUS 1043408 HAS SOUPS 1039167 WITH SCORE 1046623.758
AT ITER 2153 NEW BEST:: SOT 13755196 SOS 7456500 HAS SOPS 7452000 HAS SOUS 1042889 HAS SOUPS 1038648 WITH SCORE 1046104.5
AT ITER 2157 NEW BEST:: SOT 13753878 SOS 7455182 HAS SOPS 7450682 HAS SOUS 1040249 HAS SOUPS 1036008 WITH SCORE 1043463.182
AT ITER 2185 NEW BEST:: SOT 13754678 SOS 7455982 HAS SOPS 7451482 HAS SOUS 1039989 HAS SOUPS 1035748 WITH SCORE 1043203.982
AT ITER 2188 NEW BEST:: SOT 13761638 SOS 7467393 HAS SOPS 7462893 HAS SOUS 1038268 HAS SOUPS 1034027 WITH SCORE 1041494.393
AT ITER 2189 NEW BEST:: SOT 13760902 SOS 7466657 HAS SOPS 7462157 HAS SOUS 1036657 HAS SOUPS 1032416 WITH SCORE 1039882.657
AT ITER 2217 NEW BEST:: SOT 13760902 SOS 7466633 HAS SOPS 7462133 HAS SOUS 1036645 HAS SOUPS 1032404 WITH SCORE 1039870.633
AT ITER 2229 NEW BEST:: SOT 13760855 SOS 7466586 HAS SOPS 7462086 HAS SOUS 1036555 HAS SOUPS 1032314 WITH SCORE 1039780.586
AT ITER 2276 NEW BEST:: SOT 13772281 SOS 7498231 HAS SOPS 7493731 HAS SOUS 1032842 HAS SOUPS 1028601 WITH SCORE 1036099.231
AT ITER 2282 NEW BEST:: SOT 13772281 SOS 7494491 HAS SOPS 7489991 HAS SOUS 1032774 HAS SOUPS 1028533 WITH SCORE 1036027.491
AT ITER 2284 NEW BEST:: SOT 13772281 SOS 7492475 HAS SOPS 7487975 HAS SOUS 1032746 HAS SOUPS 1028505 WITH SCORE 1035997.475
AT ITER 2297 NEW BEST:: SOT 13773674 SOS 7493868 HAS SOPS 7489368 HAS SOUS 1031298 HAS SOUPS 1027057 WITH SCORE 1034550.868
AT ITER 2311 NEW BEST:: SOT 13773674 SOS 7489848 HAS SOPS 7485348 HAS SOUS 1031298 HAS SOUPS 1027057 WITH SCORE 1034546.848
AT ITER 2316 NEW BEST:: SOT 13771843 SOS 7488028 HAS SOPS 7483528 HAS SOUS 1031294 HAS SOUPS 1027053 WITH SCORE 1034541.028
AT ITER 2319 NEW BEST:: SOT 13771843 SOS 7487706 HAS SOPS 7483206 HAS SOUS 1031133 HAS SOUPS 1026892 WITH SCORE 1034379.706
AT ITER 2341 NEW BEST:: SOT 13771578 SOS 7487441 HAS SOPS 7482941 HAS SOUS 1030597 HAS SOUPS 1026356 WITH SCORE 1033843.441
AT ITER 2350 NEW BEST:: SOT 13771750 SOS 7487422 HAS SOPS 7482953 HAS SOUS 1029842 HAS SOUPS 1025632 WITH SCORE 1033119.422
AT ITER 2363 NEW BEST:: SOT 13769597 SOS 7485269 HAS SOPS 7480800 HAS SOUS 1028130 HAS SOUPS 1023920 WITH SCORE 1031405.269
AT ITER 2368 NEW BEST:: SOT 13769597 SOS 7485166 HAS SOPS 7480697 HAS SOUS 1028027 HAS SOUPS 1023817 WITH SCORE 1031302.166
AT ITER 2375 NEW BEST:: SOT 13769597 SOS 7487758 HAS SOPS 7483289 HAS SOUS 1027905 HAS SOUPS 1023695 WITH SCORE 1031182.758
AT ITER 2423 NEW BEST:: SOT 13769553 SOS 7487714 HAS SOPS 7483245 HAS SOUS 1027816 HAS SOUPS 1023606 WITH SCORE 1031093.714
AT ITER 2431 NEW BEST:: SOT 13769553 SOS 7486418 HAS SOPS 7481949 HAS SOUS 1027816 HAS SOUPS 1023606 WITH SCORE 1031092.418
AT ITER 2439 NEW BEST:: SOT 13766721 SOS 7483586 HAS SOPS 7479117 HAS SOUS 1025399 HAS SOUPS 1021189 WITH SCORE 1028672.586
AT ITER 2441 NEW BEST:: SOT 13766175 SOS 7487902 HAS SOPS 7485341 HAS SOUS 1022511 HAS SOUPS 1020209 WITH SCORE 1027696.902
AT ITER 2444 NEW BEST:: SOT 13765510 SOS 7487237 HAS SOPS 7484676 HAS SOUS 1021873 HAS SOUPS 1019571 WITH SCORE 1027058.237
AT ITER 2469 NEW BEST:: SOT 13763538 SOS 7483259 HAS SOPS 7480752 HAS SOUS 1019840 HAS SOUPS 1017538 WITH SCORE 1025021.259
AT ITER 2481 NEW BEST:: SOT 13763538 SOS 7482638 HAS SOPS 7480131 HAS SOUS 1019771 HAS SOUPS 1017469 WITH SCORE 1024951.638
AT ITER 2487 NEW BEST:: SOT 13761182 SOS 7479916 HAS SOPS 7477373 HAS SOUS 1015509 HAS SOUPS 1013207 WITH SCORE 1020686.916
AT ITER 2490 NEW BEST:: SOT 13755145 SOS 7471863 HAS SOPS 7469320 HAS SOUS 1010013 HAS SOUPS 1007711 WITH SCORE 1015182.863
AT ITER 2502 NEW BEST:: SOT 13755145 SOS 7471719 HAS SOPS 7469176 HAS SOUS 1010013 HAS SOUPS 1007711 WITH SCORE 1015182.719
AT ITER 2523 NEW BEST:: SOT 13754940 SOS 7471497 HAS SOPS 7468954 HAS SOUS 1009791 HAS SOUPS 1007489 WITH SCORE 1014960.497
AT ITER 2547 NEW BEST:: SOT 13755662 SOS 7472219 HAS SOPS 7469676 HAS SOUS 1006776 HAS SOUPS 1004474 WITH SCORE 1011946.219
AT ITER 2548 NEW BEST:: SOT 13755662 SOS 7472213 HAS SOPS 7469670 HAS SOUS 1006767 HAS SOUPS 1004465 WITH SCORE 1011937.213
AT ITER 2549 NEW BEST:: SOT 13755631 SOS 7472182 HAS SOPS 7469639 HAS SOUS 1006763 HAS SOUPS 1004461 WITH SCORE 1011933.182
AT ITER 2556 NEW BEST:: SOT 13764680 SOS 7485322 HAS SOPS 7482779 HAS SOUS 1002184 HAS SOUPS 999882 WITH SCORE 1007367.322
AT ITER 2558 NEW BEST:: SOT 13764680 SOS 7484858 HAS SOPS 7482315 HAS SOUS 1002068 HAS SOUPS 999766 WITH SCORE 1007250.858
AT ITER 2569 NEW BEST:: SOT 13764680 SOS 7484858 HAS SOPS 7482315 HAS SOUS 1001989 HAS SOUPS 999687 WITH SCORE 1007171.858
AT ITER 2578 NEW BEST:: SOT 13764680 SOS 7484858 HAS SOPS 7482315 HAS SOUS 1001985 HAS SOUPS 999683 WITH SCORE 1007167.858
AT ITER 2583 NEW BEST:: SOT 13763611 SOS 7483847 HAS SOPS 7481304 HAS SOUS 999913 HAS SOUPS 997611 WITH SCORE 1005094.847
AT ITER 2593 NEW BEST:: SOT 13763712 SOS 7483882 HAS SOPS 7481358 HAS SOUS 999168 HAS SOUPS 996885 WITH SCORE 1004368.882
AT ITER 2603 NEW BEST:: SOT 13763712 SOS 7482988 HAS SOPS 7480464 HAS SOUS 999155 HAS SOUPS 996872 WITH SCORE 1004354.988
AT ITER 2616 NEW BEST:: SOT 13763487 SOS 7483013 HAS SOPS 7480515 HAS SOUS 998512 HAS SOUPS 996255 WITH SCORE 1003738.013
AT ITER 2618 NEW BEST:: SOT 13763487 SOS 7482356 HAS SOPS 7479858 HAS SOUS 998503 HAS SOUPS 996246 WITH SCORE 1003728.356
AT ITER 2629 NEW BEST:: SOT 13763487 SOS 7482356 HAS SOPS 7479858 HAS SOUS 998475 HAS SOUPS 996218 WITH SCORE 1003700.356
AT ITER 2633 NEW BEST:: SOT 13763487 SOS 7482628 HAS SOPS 7480130 HAS SOUS 994753 HAS SOUPS 992496 WITH SCORE 999978.628
AT ITER 2646 NEW BEST:: SOT 13768591 SOS 7487732 HAS SOPS 7485234 HAS SOUS 990847 HAS SOUPS 988590 WITH SCORE 996077.732
AT ITER 2658 NEW BEST:: SOT 13768547 SOS 7487688 HAS SOPS 7485190 HAS SOUS 990805 HAS SOUPS 988548 WITH SCORE 996035.688
AT ITER 2664 NEW BEST:: SOT 13764294 SOS 7482979 HAS SOPS 7480538 HAS SOUS 986994 HAS SOUPS 984794 WITH SCORE 992276.979
AT ITER 2671 NEW BEST:: SOT 13764634 SOS 7483319 HAS SOPS 7480878 HAS SOUS 986163 HAS SOUPS 983963 WITH SCORE 991446.319
AT ITER 2683 NEW BEST:: SOT 13765110 SOS 7483909 HAS SOPS 7481468 HAS SOUS 983306 HAS SOUPS 981106 WITH SCORE 988589.909
AT ITER 2684 NEW BEST:: SOT 13765110 SOS 7483894 HAS SOPS 7481453 HAS SOUS 983303 HAS SOUPS 981103 WITH SCORE 988586.894
AT ITER 2702 NEW BEST:: SOT 13761682 SOS 7484050 HAS SOPS 7481609 HAS SOUS 981861 HAS SOUPS 979661 WITH SCORE 987145.05
AT ITER 2706 NEW BEST:: SOT 13752789 SOS 7475737 HAS SOPS 7473296 HAS SOUS 974623 HAS SOUPS 972423 WITH SCORE 979898.737
AT ITER 2729 NEW BEST:: SOT 13752789 SOS 7475017 HAS SOPS 7472576 HAS SOUS 974623 HAS SOUPS 972423 WITH SCORE 979898.017
AT ITER 2733 NEW BEST:: SOT 13752789 SOS 7474369 HAS SOPS 7471928 HAS SOUS 974623 HAS SOUPS 972423 WITH SCORE 979897.369
AT ITER 2742 NEW BEST:: SOT 13752789 SOS 7474244 HAS SOPS 7471803 HAS SOUS 974623 HAS SOUPS 972423 WITH SCORE 979897.244
AT ITER 2809 NEW BEST:: SOT 13753067 SOS 7471072 HAS SOPS 7468681 HAS SOUS 974462 HAS SOUPS 972312 WITH SCORE 979783.072
AT ITER 2829 NEW BEST:: SOT 13752552 SOS 7470571 HAS SOPS 7468180 HAS SOUS 973835 HAS SOUPS 971685 WITH SCORE 979155.571
AT ITER 2832 NEW BEST:: SOT 13752729 SOS 7470748 HAS SOPS 7468357 HAS SOUS 973687 HAS SOUPS 971537 WITH SCORE 979007.748
AT ITER 2833 NEW BEST:: SOT 13752729 SOS 7470748 HAS SOPS 7468357 HAS SOUS 973684 HAS SOUPS 971534 WITH SCORE 979004.748
AT ITER 2883 NEW BEST:: SOT 13755713 SOS 7473732 HAS SOPS 7471341 HAS SOUS 972849 HAS SOUPS 970699 WITH SCORE 978172.732
AT ITER 2884 NEW BEST:: SOT 13755718 SOS 7473737 HAS SOPS 7471346 HAS SOUS 972834 HAS SOUPS 970684 WITH SCORE 978157.737
AT ITER 2905 NEW BEST:: SOT 13755761 SOS 7473299 HAS SOPS 7470753 HAS SOUS 972922 HAS SOUPS 970617 WITH SCORE 978090.299
AT ITER 2919 NEW BEST:: SOT 13755673 SOS 7473211 HAS SOPS 7470665 HAS SOUS 972834 HAS SOUPS 970529 WITH SCORE 978002.211
AT ITER 2934 NEW BEST:: SOT 13755673 SOS 7470997 HAS SOPS 7468451 HAS SOUS 972793 HAS SOUPS 970488 WITH SCORE 977958.997
AT ITER 2935 NEW BEST:: SOT 13754756 SOS 7470080 HAS SOPS 7467534 HAS SOUS 971964 HAS SOUPS 969659 WITH SCORE 977129.08
AT ITER 2954 NEW BEST:: SOT 13762652 SOS 7478104 HAS SOPS 7475558 HAS SOUS 965628 HAS SOUPS 963323 WITH SCORE 970801.104
AT ITER 2963 NEW BEST:: SOT 13763900 SOS 7531039 HAS SOPS 7527395 HAS SOUS 965336 HAS SOUPS 962649 WITH SCORE 970180.039
AT ITER 2969 NEW BEST:: SOT 13763900 SOS 7529599 HAS SOPS 7525955 HAS SOUS 965336 HAS SOUPS 962649 WITH SCORE 970178.599
AT ITER 2972 NEW BEST:: SOT 13759057 SOS 7521516 HAS SOPS 7517872 HAS SOUS 962348 HAS SOUPS 959661 WITH SCORE 967182.516
AT ITER 2979 NEW BEST:: SOT 13759006 SOS 7521465 HAS SOPS 7517821 HAS SOUS 962305 HAS SOUPS 959618 WITH SCORE 967139.465
AT ITER 2986 NEW BEST:: SOT 13759006 SOS 7521406 HAS SOPS 7517762 HAS SOUS 962305 HAS SOUPS 959618 WITH SCORE 967139.406
AT ITER 2991 NEW BEST:: SOT 13760917 SOS 7523453 HAS SOPS 7519809 HAS SOUS 955454 HAS SOUPS 952767 WITH SCORE 960290.453
AT ITER 3000 NEW BEST:: SOT 13761380 SOS 7527666 HAS SOPS 7524022 HAS SOUS 954482 HAS SOUPS 951795 WITH SCORE 959322.666
AT ITER 3020 NEW BEST:: SOT 13761380 SOS 7530618 HAS SOPS 7526974 HAS SOUS 954441 HAS SOUPS 951754 WITH SCORE 959284.618
AT ITER 3021 NEW BEST:: SOT 13757704 SOS 7526942 HAS SOPS 7523298 HAS SOUS 951461 HAS SOUPS 948774 WITH SCORE 956300.942
AT ITER 3026 NEW BEST:: SOT 13757704 SOS 7526634 HAS SOPS 7522990 HAS SOUS 951307 HAS SOUPS 948620 WITH SCORE 956146.634
AT ITER 3032 NEW BEST:: SOT 13757704 SOS 7526472 HAS SOPS 7522828 HAS SOUS 951289 HAS SOUPS 948602 WITH SCORE 956128.472
AT ITER 3053 NEW BEST:: SOT 13757704 SOS 7526472 HAS SOPS 7522828 HAS SOUS 951262 HAS SOUPS 948575 WITH SCORE 956101.472
AT ITER 3057 NEW BEST:: SOT 13765036 SOS 7533804 HAS SOPS 7530160 HAS SOUS 950153 HAS SOUPS 947466 WITH SCORE 954999.804
AT ITER 3081 NEW BEST:: SOT 13765036 SOS 7533804 HAS SOPS 7530160 HAS SOUS 950079 HAS SOUPS 947392 WITH SCORE 954925.804
AT ITER 3085 NEW BEST:: SOT 13770131 SOS 7538899 HAS SOPS 7535255 HAS SOUS 945223 HAS SOUPS 942536 WITH SCORE 950074.899
AT ITER 3088 NEW BEST:: SOT 13770811 SOS 7539464 HAS SOPS 7535837 HAS SOUS 945070 HAS SOUPS 942400 WITH SCORE 949939.464
AT ITER 3099 NEW BEST:: SOT 13771838 SOS 7540508 HAS SOPS 7536881 HAS SOUS 944776 HAS SOUPS 942106 WITH SCORE 949646.508
AT ITER 3100 NEW BEST:: SOT 13771822 SOS 7540492 HAS SOPS 7536865 HAS SOUS 944768 HAS SOUPS 942098 WITH SCORE 949638.492
AT ITER 3124 NEW BEST:: SOT 13759484 SOS 7526927 HAS SOPS 7522790 HAS SOUS 931298 HAS SOUPS 928628 WITH SCORE 936154.927
AT ITER 3127 NEW BEST:: SOT 13761197 SOS 7528533 HAS SOPS 7524396 HAS SOUS 930752 HAS SOUPS 928082 WITH SCORE 935610.533
AT ITER 3140 NEW BEST:: SOT 13759994 SOS 7527330 HAS SOPS 7523193 HAS SOUS 929909 HAS SOUPS 927239 WITH SCORE 934766.33
AT ITER 3156 NEW BEST:: SOT 13757627 SOS 7523399 HAS SOPS 7519262 HAS SOUS 929148 HAS SOUPS 926478 WITH SCORE 934001.399
AT ITER 3166 NEW BEST:: SOT 13757627 SOS 7523362 HAS SOPS 7519225 HAS SOUS 929148 HAS SOUPS 926478 WITH SCORE 934001.362
AT ITER 3177 NEW BEST:: SOT 13754183 SOS 7523186 HAS SOPS 7519559 HAS SOUS 928152 HAS SOUPS 925482 WITH SCORE 933005.186
AT ITER 3183 NEW BEST:: SOT 13752540 SOS 7521543 HAS SOPS 7517916 HAS SOUS 924839 HAS SOUPS 922169 WITH SCORE 929690.543
AT ITER 3184 NEW BEST:: SOT 13752540 SOS 7521522 HAS SOPS 7517898 HAS SOUS 924836 HAS SOUPS 922169 WITH SCORE 929690.522
AT ITER 3185 NEW BEST:: SOT 13753271 SOS 7522253 HAS SOPS 7518629 HAS SOUS 923539 HAS SOUPS 920872 WITH SCORE 928394.253
AT ITER 3204 NEW BEST:: SOT 13753306 SOS 7522288 HAS SOPS 7518664 HAS SOUS 923116 HAS SOUPS 920449 WITH SCORE 927971.288
AT ITER 3215 NEW BEST:: SOT 13753282 SOS 7522264 HAS SOPS 7518640 HAS SOUS 923080 HAS SOUPS 920413 WITH SCORE 927935.264
AT ITER 3227 NEW BEST:: SOT 13753282 SOS 7522242 HAS SOPS 7518618 HAS SOUS 923058 HAS SOUPS 920391 WITH SCORE 927913.242
AT ITER 3230 NEW BEST:: SOT 13749550 SOS 7518510 HAS SOPS 7514886 HAS SOUS 922476 HAS SOUPS 919809 WITH SCORE 927327.51
AT ITER 3234 NEW BEST:: SOT 13744904 SOS 7498680 HAS SOPS 7495042 HAS SOUS 919446 HAS SOUPS 916765 WITH SCORE 924263.68
AT ITER 3238 NEW BEST:: SOT 13743429 SOS 7497205 HAS SOPS 7493567 HAS SOUS 918342 HAS SOUPS 915661 WITH SCORE 923158.205
AT ITER 3244 NEW BEST:: SOT 13743429 SOS 7497205 HAS SOPS 7493569 HAS SOUS 918247 HAS SOUPS 915568 WITH SCORE 923065.205
AT ITER 3255 NEW BEST:: SOT 13730896 SOS 7488241 HAS SOPS 7484657 HAS SOUS 904714 HAS SOUPS 902035 WITH SCORE 909523.241
AT ITER 3264 NEW BEST:: SOT 13730896 SOS 7488005 HAS SOPS 7484421 HAS SOUS 904655 HAS SOUPS 901976 WITH SCORE 909464.005
AT ITER 3271 NEW BEST:: SOT 13730896 SOS 7487019 HAS SOPS 7483589 HAS SOUS 904501 HAS SOUPS 901976 WITH SCORE 909463.019
AT ITER 3274 NEW BEST:: SOT 13741074 SOS 7501442 HAS SOPS 7498012 HAS SOUS 904189 HAS SOUPS 901664 WITH SCORE 909165.442
AT ITER 3276 NEW BEST:: SOT 13745787 SOS 7512175 HAS SOPS 7508745 HAS SOUS 901124 HAS SOUPS 898599 WITH SCORE 906111.175
AT ITER 3286 NEW BEST:: SOT 13746066 SOS 7513093 HAS SOPS 7509663 HAS SOUS 900722 HAS SOUPS 898197 WITH SCORE 905710.093
AT ITER 3294 NEW BEST:: SOT 13745384 SOS 7512372 HAS SOPS 7508943 HAS SOUS 895750 HAS SOUPS 893226 WITH SCORE 900738.372
AT ITER 3295 NEW BEST:: SOT 13745964 SOS 7512963 HAS SOPS 7509534 HAS SOUS 895603 HAS SOUPS 893079 WITH SCORE 900591.963
AT ITER 3314 NEW BEST:: SOT 13752524 SOS 7519523 HAS SOPS 7516094 HAS SOUS 894318 HAS SOUPS 891794 WITH SCORE 899313.523
AT ITER 3323 NEW BEST:: SOT 13752528 SOS 7519455 HAS SOPS 7516034 HAS SOUS 894158 HAS SOUPS 891642 WITH SCORE 899161.455
AT ITER 3325 NEW BEST:: SOT 13751530 SOS 7518457 HAS SOPS 7515036 HAS SOUS 893160 HAS SOUPS 890644 WITH SCORE 898162.457
AT ITER 3352 NEW BEST:: SOT 13744649 SOS 7507566 HAS SOPS 7504157 HAS SOUS 889504 HAS SOUPS 887000 WITH SCORE 894507.566
AT ITER 3366 NEW BEST:: SOT 13744917 SOS 7507822 HAS SOPS 7504419 HAS SOUS 887658 HAS SOUPS 885154 WITH SCORE 892661.822
AT ITER 3372 NEW BEST:: SOT 13747848 SOS 7513237 HAS SOPS 7509834 HAS SOUS 886385 HAS SOUPS 883881 WITH SCORE 891394.237
AT ITER 3387 NEW BEST:: SOT 13747840 SOS 7513229 HAS SOPS 7509826 HAS SOUS 886303 HAS SOUPS 883799 WITH SCORE 891312.229
AT ITER 3388 NEW BEST:: SOT 13746423 SOS 7511812 HAS SOPS 7508409 HAS SOUS 883476 HAS SOUPS 880972 WITH SCORE 888483.812
AT ITER 3393 NEW BEST:: SOT 13742462 SOS 7509796 HAS SOPS 7506393 HAS SOUS 879710 HAS SOUPS 877206 WITH SCORE 884715.796
AT ITER 3403 NEW BEST:: SOT 13742462 SOS 7511129 HAS SOPS 7507726 HAS SOUS 879694 HAS SOUPS 877190 WITH SCORE 884701.129
AT ITER 3419 NEW BEST:: SOT 13742462 SOS 7511031 HAS SOPS 7507628 HAS SOUS 879636 HAS SOUPS 877132 WITH SCORE 884643.031
AT ITER 3427 NEW BEST:: SOT 13742462 SOS 7510523 HAS SOPS 7507120 HAS SOUS 879581 HAS SOUPS 877077 WITH SCORE 884587.523
AT ITER 3431 NEW BEST:: SOT 13742430 SOS 7510491 HAS SOPS 7507088 HAS SOUS 879547 HAS SOUPS 877043 WITH SCORE 884553.491
AT ITER 3477 NEW BEST:: SOT 13742430 SOS 7514232 HAS SOPS 7510829 HAS SOUS 879426 HAS SOUPS 876922 WITH SCORE 884436.232
AT ITER 3487 NEW BEST:: SOT 13745612 SOS 7517297 HAS SOPS 7513894 HAS SOUS 876495 HAS SOUPS 873991 WITH SCORE 881508.297
AT ITER 3502 NEW BEST:: SOT 13745614 SOS 7531397 HAS SOPS 7527994 HAS SOUS 874778 HAS SOUPS 872274 WITH SCORE 879805.397
AT ITER 3516 NEW BEST:: SOT 13746262 SOS 7532273 HAS SOPS 7528870 HAS SOUS 873637 HAS SOUPS 871133 WITH SCORE 878665.273
AT ITER 3531 NEW BEST:: SOT 13745861 SOS 7531872 HAS SOPS 7528469 HAS SOUS 872915 HAS SOUPS 870411 WITH SCORE 877942.872
AT ITER 3534 NEW BEST:: SOT 13745861 SOS 7531856 HAS SOPS 7528453 HAS SOUS 872915 HAS SOUPS 870411 WITH SCORE 877942.856
AT ITER 3535 NEW BEST:: SOT 13745908 SOS 7531902 HAS SOPS 7528499 HAS SOUS 872805 HAS SOUPS 870301 WITH SCORE 877832.902
AT ITER 3538 NEW BEST:: SOT 13749842 SOS 7535812 HAS SOPS 7532409 HAS SOUS 872203 HAS SOUPS 869699 WITH SCORE 877234.812
AT ITER 3544 NEW BEST:: SOT 13749842 SOS 7535452 HAS SOPS 7532049 HAS SOUS 872175 HAS SOUPS 869671 WITH SCORE 877206.452
AT ITER 3554 NEW BEST:: SOT 13749842 SOS 7535394 HAS SOPS 7531991 HAS SOUS 872146 HAS SOUPS 869642 WITH SCORE 877177.394
AT ITER 3592 NEW BEST:: SOT 13748364 SOS 7531236 HAS SOPS 7527890 HAS SOUS 871409 HAS SOUPS 868924 WITH SCORE 876455.236
AT ITER 3619 NEW BEST:: SOT 13748364 SOS 7531221 HAS SOPS 7527875 HAS SOUS 871409 HAS SOUPS 868924 WITH SCORE 876455.221
AT ITER 3633 NEW BEST:: SOT 13748139 SOS 7530974 HAS SOPS 7527628 HAS SOUS 867889 HAS SOUPS 865404 WITH SCORE 872934.974
AT ITER 3637 NEW BEST:: SOT 13747908 SOS 7530743 HAS SOPS 7527397 HAS SOUS 865323 HAS SOUPS 862838 WITH SCORE 870368.743
AT ITER 3653 NEW BEST:: SOT 13747873 SOS 7530708 HAS SOPS 7527362 HAS SOUS 865154 HAS SOUPS 862669 WITH SCORE 870199.708
AT ITER 3656 NEW BEST:: SOT 13751238 SOS 7534781 HAS SOPS 7531435 HAS SOUS 864398 HAS SOUPS 861913 WITH SCORE 869447.781
AT ITER 3675 NEW BEST:: SOT 13751238 SOS 7534709 HAS SOPS 7531363 HAS SOUS 864362 HAS SOUPS 861877 WITH SCORE 869411.709
AT ITER 3678 NEW BEST:: SOT 13751238 SOS 7534939 HAS SOPS 7531593 HAS SOUS 864264 HAS SOUPS 861779 WITH SCORE 869313.939
AT ITER 3705 NEW BEST:: SOT 13750449 SOS 7534150 HAS SOPS 7530804 HAS SOUS 862779 HAS SOUPS 860294 WITH SCORE 867828.15
AT ITER 3710 NEW BEST:: SOT 13750445 SOS 7534146 HAS SOPS 7530800 HAS SOUS 862694 HAS SOUPS 860209 WITH SCORE 867743.146
AT ITER 3712 NEW BEST:: SOT 13750135 SOS 7533908 HAS SOPS 7530562 HAS SOUS 861207 HAS SOUPS 858722 WITH SCORE 866255.908
AT ITER 3721 NEW BEST:: SOT 13750051 SOS 7533824 HAS SOPS 7530478 HAS SOUS 861083 HAS SOUPS 858598 WITH SCORE 866131.824
AT ITER 3729 NEW BEST:: SOT 13750051 SOS 7533612 HAS SOPS 7530266 HAS SOUS 860871 HAS SOUPS 858386 WITH SCORE 865919.612
AT ITER 3761 NEW BEST:: SOT 13750017 SOS 7533578 HAS SOPS 7530232 HAS SOUS 860837 HAS SOUPS 858352 WITH SCORE 865885.578
AT ITER 3799 NEW BEST:: SOT 13749396 SOS 7532957 HAS SOPS 7529611 HAS SOUS 860332 HAS SOUPS 857847 WITH SCORE 865379.957
AT ITER 3861 NEW BEST:: SOT 13751796 SOS 7535357 HAS SOPS 7532011 HAS SOUS 859327 HAS SOUPS 856842 WITH SCORE 864377.357
AT ITER 3868 NEW BEST:: SOT 13751796 SOS 7535357 HAS SOPS 7532011 HAS SOUS 859323 HAS SOUPS 856838 WITH SCORE 864373.357
AT ITER 3873 NEW BEST:: SOT 13751796 SOS 7535381 HAS SOPS 7532035 HAS SOUS 859251 HAS SOUPS 856766 WITH SCORE 864301.381
AT ITER 3898 NEW BEST:: SOT 13752067 SOS 7535647 HAS SOPS 7532301 HAS SOUS 858723 HAS SOUPS 856238 WITH SCORE 863773.647
AT ITER 3900 NEW BEST:: SOT 13750993 SOS 7534573 HAS SOPS 7531227 HAS SOUS 857901 HAS SOUPS 855416 WITH SCORE 862950.573
AT ITER 3958 NEW BEST:: SOT 13750993 SOS 7534573 HAS SOPS 7531227 HAS SOUS 857832 HAS SOUPS 855347 WITH SCORE 862881.573
AT ITER 3964 NEW BEST:: SOT 13750993 SOS 7537320 HAS SOPS 7533974 HAS SOUS 857764 HAS SOUPS 855279 WITH SCORE 862816.32
AT ITER 3983 NEW BEST:: SOT 13750993 SOS 7534362 HAS SOPS 7531016 HAS SOUS 857764 HAS SOUPS 855279 WITH SCORE 862813.362
AT ITER 4008 NEW BEST:: SOT 13751467 SOS 7534644 HAS SOPS 7531319 HAS SOUS 852600 HAS SOUPS 850136 WITH SCORE 857670.644
AT ITER 4012 NEW BEST:: SOT 13751467 SOS 7534599 HAS SOPS 7531279 HAS SOUS 852510 HAS SOUPS 850051 WITH SCORE 857585.599
AT ITER 4014 NEW BEST:: SOT 13751743 SOS 7534989 HAS SOPS 7531669 HAS SOUS 852323 HAS SOUPS 849864 WITH SCORE 857398.989
AT ITER 4026 NEW BEST:: SOT 13751743 SOS 7534979 HAS SOPS 7531659 HAS SOUS 852318 HAS SOUPS 849859 WITH SCORE 857393.979
AT ITER 4032 NEW BEST:: SOT 13747670 SOS 7530162 HAS SOPS 7526935 HAS SOUS 848432 HAS SOUPS 846066 WITH SCORE 853596.162
AT ITER 4067 NEW BEST:: SOT 13742920 SOS 7527140 HAS SOPS 7523913 HAS SOUS 844466 HAS SOUPS 842100 WITH SCORE 849627.14
AT ITER 4092 NEW BEST:: SOT 13742920 SOS 7527100 HAS SOPS 7523873 HAS SOUS 844404 HAS SOUPS 842038 WITH SCORE 849565.1
AT ITER 4094 NEW BEST:: SOT 13743366 SOS 7527546 HAS SOPS 7524319 HAS SOUS 838768 HAS SOUPS 836402 WITH SCORE 843929.546
AT ITER 4124 NEW BEST:: SOT 13743366 SOS 7524734 HAS SOPS 7521507 HAS SOUS 838675 HAS SOUPS 836309 WITH SCORE 843833.734
AT ITER 4128 NEW BEST:: SOT 13737282 SOS 7518650 HAS SOPS 7515423 HAS SOUS 837117 HAS SOUPS 834751 WITH SCORE 842269.65
AT ITER 4144 NEW BEST:: SOT 13737282 SOS 7518591 HAS SOPS 7515372 HAS SOUS 837109 HAS SOUPS 834751 WITH SCORE 842269.591
AT ITER 4145 NEW BEST:: SOT 13737282 SOS 7520719 HAS SOPS 7517500 HAS SOUS 836895 HAS SOUPS 834537 WITH SCORE 842057.719
AT ITER 4180 NEW BEST:: SOT 13736942 SOS 7520375 HAS SOPS 7517156 HAS SOUS 836322 HAS SOUPS 833964 WITH SCORE 841484.375
AT ITER 4182 NEW BEST:: SOT 13736976 SOS 7541165 HAS SOPS 7537975 HAS SOUS 832868 HAS SOUPS 830510 WITH SCORE 838051.165
AT ITER 4186 NEW BEST:: SOT 13735285 SOS 7539474 HAS SOPS 7536284 HAS SOUS 829528 HAS SOUPS 827170 WITH SCORE 834709.474
AT ITER 4203 NEW BEST:: SOT 13735285 SOS 7541668 HAS SOPS 7538478 HAS SOUS 829512 HAS SOUPS 827154 WITH SCORE 834695.668
AT ITER 4211 NEW BEST:: SOT 13735285 SOS 7548389 HAS SOPS 7545199 HAS SOUS 828607 HAS SOUPS 826249 WITH SCORE 833797.389
AT ITER 4221 NEW BEST:: SOT 13734980 SOS 7548084 HAS SOPS 7544894 HAS SOUS 828356 HAS SOUPS 825998 WITH SCORE 833546.084
AT ITER 4242 NEW BEST:: SOT 13732959 SOS 7545832 HAS SOPS 7542675 HAS SOUS 826467 HAS SOUPS 824142 WITH SCORE 831687.832
AT ITER 4253 NEW BEST:: SOT 13732405 SOS 7545268 HAS SOPS 7542111 HAS SOUS 826033 HAS SOUPS 823708 WITH SCORE 831253.268
AT ITER 4258 NEW BEST:: SOT 13730363 SOS 7543226 HAS SOPS 7540069 HAS SOUS 824278 HAS SOUPS 821953 WITH SCORE 829496.226
AT ITER 4259 NEW BEST:: SOT 13730363 SOS 7543226 HAS SOPS 7540069 HAS SOUS 824270 HAS SOUPS 821945 WITH SCORE 829488.226
AT ITER 4260 NEW BEST:: SOT 13730926 SOS 7543885 HAS SOPS 7540716 HAS SOUS 824211 HAS SOUPS 821874 WITH SCORE 829417.885
AT ITER 4297 NEW BEST:: SOT 13730926 SOS 7543885 HAS SOPS 7540716 HAS SOUS 824108 HAS SOUPS 821771 WITH SCORE 829314.885
AT ITER 4317 NEW BEST:: SOT 13730664 SOS 7562878 HAS SOPS 7559709 HAS SOUS 822889 HAS SOUPS 820552 WITH SCORE 828114.878
AT ITER 4339 NEW BEST:: SOT 13730664 SOS 7555707 HAS SOPS 7552538 HAS SOUS 822889 HAS SOUPS 820552 WITH SCORE 828107.707
AT ITER 4352 NEW BEST:: SOT 13730664 SOS 7555532 HAS SOPS 7552363 HAS SOUS 822864 HAS SOUPS 820527 WITH SCORE 828082.532
AT ITER 4358 NEW BEST:: SOT 13733142 SOS 7558010 HAS SOPS 7554841 HAS SOUS 821468 HAS SOUPS 819131 WITH SCORE 826689.01
AT ITER 4390 NEW BEST:: SOT 13733142 SOS 7555202 HAS SOPS 7552033 HAS SOUS 821468 HAS SOUPS 819131 WITH SCORE 826686.202
AT ITER 4391 NEW BEST:: SOT 13733604 SOS 7555664 HAS SOPS 7552495 HAS SOUS 821323 HAS SOUPS 818986 WITH SCORE 826541.664
AT ITER 4446 NEW BEST:: SOT 13731508 SOS 7553480 HAS SOPS 7550311 HAS SOUS 820188 HAS SOUPS 817851 WITH SCORE 825404.48
AT ITER 4447 NEW BEST:: SOT 13733348 SOS 7555390 HAS SOPS 7552221 HAS SOUS 819470 HAS SOUPS 817133 WITH SCORE 824688.39
AT ITER 4457 NEW BEST:: SOT 13733348 SOS 7555369 HAS SOPS 7552200 HAS SOUS 819449 HAS SOUPS 817112 WITH SCORE 824667.369
AT ITER 4466 NEW BEST:: SOT 13733348 SOS 7557435 HAS SOPS 7554266 HAS SOUS 819326 HAS SOUPS 816989 WITH SCORE 824546.435
AT ITER 4531 NEW BEST:: SOT 13733380 SOS 7557467 HAS SOPS 7554298 HAS SOUS 819313 HAS SOUPS 816976 WITH SCORE 824533.467
AT ITER 4538 NEW BEST:: SOT 13733043 SOS 7557130 HAS SOPS 7553961 HAS SOUS 818615 HAS SOUPS 816278 WITH SCORE 823835.13
AT ITER 4539 NEW BEST:: SOT 13727868 SOS 7556249 HAS SOPS 7553080 HAS SOUS 814976 HAS SOUPS 812639 WITH SCORE 820195.249
AT ITER 4546 NEW BEST:: SOT 13726865 SOS 7553085 HAS SOPS 7549965 HAS SOUS 814085 HAS SOUPS 811780 WITH SCORE 819333.085
AT ITER 4547 NEW BEST:: SOT 13726865 SOS 7552901 HAS SOPS 7549781 HAS SOUS 813993 HAS SOUPS 811688 WITH SCORE 819240.901
AT ITER 4601 NEW BEST:: SOT 13726866 SOS 7552902 HAS SOPS 7549782 HAS SOUS 813877 HAS SOUPS 811572 WITH SCORE 819124.902
AT ITER 4602 NEW BEST:: SOT 13726848 SOS 7552884 HAS SOPS 7549764 HAS SOUS 813859 HAS SOUPS 811554 WITH SCORE 819106.884
AT ITER 4620 NEW BEST:: SOT 13726826 SOS 7551437 HAS SOPS 7548317 HAS SOUS 813860 HAS SOUPS 811555 WITH SCORE 819106.437
AT ITER 4631 NEW BEST:: SOT 13729747 SOS 7553830 HAS SOPS 7550791 HAS SOUS 810896 HAS SOUPS 808672 WITH SCORE 816225.83
AT ITER 4736 NEW BEST:: SOT 13729677 SOS 7553760 HAS SOPS 7550721 HAS SOUS 810791 HAS SOUPS 808567 WITH SCORE 816120.76
AT ITER 4778 NEW BEST:: SOT 13729677 SOS 7553710 HAS SOPS 7550671 HAS SOUS 810766 HAS SOUPS 808542 WITH SCORE 816095.71
AT ITER 4785 NEW BEST:: SOT 13729426 SOS 7553459 HAS SOPS 7550450 HAS SOUS 810215 HAS SOUPS 807991 WITH SCORE 815544.459
AT ITER 4802 NEW BEST:: SOT 13729180 SOS 7553153 HAS SOPS 7550144 HAS SOUS 808064 HAS SOUPS 805840 WITH SCORE 813393.153
AT ITER 4824 NEW BEST:: SOT 13729080 SOS 7553053 HAS SOPS 7550044 HAS SOUS 807707 HAS SOUPS 805483 WITH SCORE 813036.053
AT ITER 4829 NEW BEST:: SOT 13729080 SOS 7553048 HAS SOPS 7550039 HAS SOUS 807707 HAS SOUPS 805483 WITH SCORE 813036.048
AT ITER 4837 NEW BEST:: SOT 13729080 SOS 7553048 HAS SOPS 7550039 HAS SOUS 807650 HAS SOUPS 805426 WITH SCORE 812979.048
AT ITER 4872 NEW BEST:: SOT 13729080 SOS 7552970 HAS SOPS 7549961 HAS SOUS 807633 HAS SOUPS 805409 WITH SCORE 812961.97
AT ITER 4877 NEW BEST:: SOT 13723415 SOS 7539352 HAS SOPS 7536550 HAS SOUS 799055 HAS SOUPS 796939 WITH SCORE 804478.352
AT ITER 4904 NEW BEST:: SOT 13722556 SOS 7538493 HAS SOPS 7535691 HAS SOUS 797635 HAS SOUPS 795519 WITH SCORE 803057.493
AT ITER 4907 NEW BEST:: SOT 13720164 SOS 7536101 HAS SOPS 7533299 HAS SOUS 795506 HAS SOUPS 793390 WITH SCORE 800926.101
AT ITER 4911 NEW BEST:: SOT 13720164 SOS 7536101 HAS SOPS 7533299 HAS SOUS 795400 HAS SOUPS 793284 WITH SCORE 800820.101
AT ITER 4914 NEW BEST:: SOT 13720164 SOS 7574239 HAS SOPS 7571437 HAS SOUS 795359 HAS SOUPS 793243 WITH SCORE 800817.239
AT ITER 4954 NEW BEST:: SOT 13720164 SOS 7576543 HAS SOPS 7573741 HAS SOUS 795236 HAS SOUPS 793120 WITH SCORE 800696.543
AT ITER 4958 NEW BEST:: SOT 13720164 SOS 7576421 HAS SOPS 7573619 HAS SOUS 795236 HAS SOUPS 793120 WITH SCORE 800696.421
AT ITER 4968 NEW BEST:: SOT 13720164 SOS 7576421 HAS SOPS 7573619 HAS SOUS 795235 HAS SOUPS 793119 WITH SCORE 800695.421
AT ITER 4979 NEW BEST:: SOT 13720164 SOS 7576421 HAS SOPS 7573619 HAS SOUS 795221 HAS SOUPS 793105 WITH SCORE 800681.421
AT ITER 4991 NEW BEST:: SOT 13720153 SOS 7576410 HAS SOPS 7573608 HAS SOUS 795210 HAS SOUPS 793094 WITH SCORE 800670.41
AT ITER 4994 NEW BEST:: SOT 13719368 SOS 7575625 HAS SOPS 7572823 HAS SOUS 793637 HAS SOUPS 791521 WITH SCORE 799096.625
AT ITER 4995 NEW BEST:: SOT 13719360 SOS 7575594 HAS SOPS 7572792 HAS SOUS 793629 HAS SOUPS 791513 WITH SCORE 799088.594
AT ITER 5004 NEW BEST:: SOT 13719316 SOS 7575550 HAS SOPS 7572749 HAS SOUS 793540 HAS SOUPS 791424 WITH SCORE 798999.55
AT ITER 5012 NEW BEST:: SOT 13719316 SOS 7573606 HAS SOPS 7570805 HAS SOUS 793540 HAS SOUPS 791424 WITH SCORE 798997.606
AT ITER 5015 NEW BEST:: SOT 13719140 SOS 7573430 HAS SOPS 7570629 HAS SOUS 793178 HAS SOUPS 791062 WITH SCORE 798635.43
AT ITER 5016 NEW BEST:: SOT 13723377 SOS 7577801 HAS SOPS 7575000 HAS SOUS 789653 HAS SOUPS 787537 WITH SCORE 795114.801
AT ITER 5020 NEW BEST:: SOT 13723377 SOS 7582625 HAS SOPS 7579824 HAS SOUS 789629 HAS SOUPS 787513 WITH SCORE 795095.625
AT ITER 5023 NEW BEST:: SOT 13723377 SOS 7602491 HAS SOPS 7599690 HAS SOUS 789063 HAS SOUPS 786947 WITH SCORE 794549.491
AT ITER 5036 NEW BEST:: SOT 13721443 SOS 7600557 HAS SOPS 7597756 HAS SOUS 788822 HAS SOUPS 786706 WITH SCORE 794306.557
AT ITER 5079 NEW BEST:: SOT 13721397 SOS 7597600 HAS SOPS 7594799 HAS SOUS 788735 HAS SOUPS 786619 WITH SCORE 794216.6
AT ITER 5095 NEW BEST:: SOT 13721333 SOS 7597534 HAS SOPS 7594733 HAS SOUS 788660 HAS SOUPS 786544 WITH SCORE 794141.534
AT ITER 5123 NEW BEST:: SOT 13721286 SOS 7597463 HAS SOPS 7594662 HAS SOUS 788519 HAS SOUPS 786403 WITH SCORE 794000.463
AT ITER 5181 NEW BEST:: SOT 13720908 SOS 7597085 HAS SOPS 7594284 HAS SOUS 787251 HAS SOUPS 785135 WITH SCORE 792732.085
AT ITER 5199 NEW BEST:: SOT 13720908 SOS 7596077 HAS SOPS 7593276 HAS SOUS 787251 HAS SOUPS 785135 WITH SCORE 792731.077
AT ITER 5212 NEW BEST:: SOT 13720874 SOS 7596042 HAS SOPS 7593241 HAS SOUS 787182 HAS SOUPS 785066 WITH SCORE 792662.042
AT ITER 5216 NEW BEST:: SOT 13720874 SOS 7596078 HAS SOPS 7593277 HAS SOUS 787143 HAS SOUPS 785027 WITH SCORE 792623.078
AT ITER 5225 NEW BEST:: SOT 13719856 SOS 7595060 HAS SOPS 7592259 HAS SOUS 785239 HAS SOUPS 783123 WITH SCORE 790718.06
AT ITER 5235 NEW BEST:: SOT 13719785 SOS 7594989 HAS SOPS 7592188 HAS SOUS 785168 HAS SOUPS 783052 WITH SCORE 790646.989
AT ITER 5243 NEW BEST:: SOT 13719892 SOS 7594976 HAS SOPS 7592190 HAS SOUS 784361 HAS SOUPS 782260 WITH SCORE 789854.976
AT ITER 5271 NEW BEST:: SOT 13716532 SOS 7597952 HAS SOPS 7595166 HAS SOUS 783522 HAS SOUPS 781421 WITH SCORE 789018.952
AT ITER 5288 NEW BEST:: SOT 13716532 SOS 7598168 HAS SOPS 7595382 HAS SOUS 783519 HAS SOUPS 781418 WITH SCORE 789016.168
AT ITER 5290 NEW BEST:: SOT 13716697 SOS 7601359 HAS SOPS 7598573 HAS SOUS 781702 HAS SOUPS 779601 WITH SCORE 787202.359
AT ITER 5295 NEW BEST:: SOT 13716697 SOS 7600791 HAS SOPS 7598005 HAS SOUS 781702 HAS SOUPS 779601 WITH SCORE 787201.791
AT ITER 5364 NEW BEST:: SOT 13713999 SOS 7598093 HAS SOPS 7595307 HAS SOUS 781393 HAS SOUPS 779292 WITH SCORE 786890.093
AT ITER 5375 NEW BEST:: SOT 13714543 SOS 7599353 HAS SOPS 7596567 HAS SOUS 772485 HAS SOUPS 770384 WITH SCORE 777983.353
AT ITER 5382 NEW BEST:: SOT 13709457 SOS 7594267 HAS SOPS 7591481 HAS SOUS 769383 HAS SOUPS 767282 WITH SCORE 774876.267
AT ITER 5391 NEW BEST:: SOT 13709457 SOS 7594216 HAS SOPS 7591430 HAS SOUS 769305 HAS SOUPS 767204 WITH SCORE 774798.216
AT ITER 5402 NEW BEST:: SOT 13709413 SOS 7594172 HAS SOPS 7591386 HAS SOUS 769251 HAS SOUPS 767150 WITH SCORE 774744.172
AT ITER 5419 NEW BEST:: SOT 13709413 SOS 7594100 HAS SOPS 7591323 HAS SOUS 769233 HAS SOUPS 767141 WITH SCORE 774735.1
AT ITER 5428 NEW BEST:: SOT 13709413 SOS 7593983 HAS SOPS 7591206 HAS SOUS 769220 HAS SOUPS 767128 WITH SCORE 774721.983
AT ITER 5441 NEW BEST:: SOT 13709413 SOS 7593479 HAS SOPS 7590702 HAS SOUS 769178 HAS SOUPS 767086 WITH SCORE 774679.479
AT ITER 5457 NEW BEST:: SOT 13707981 SOS 7592047 HAS SOPS 7589270 HAS SOUS 767917 HAS SOUPS 765825 WITH SCORE 773417.047
AT ITER 5469 NEW BEST:: SOT 13707181 SOS 7591247 HAS SOPS 7588470 HAS SOUS 766284 HAS SOUPS 764192 WITH SCORE 771783.247
AT ITER 5481 NEW BEST:: SOT 13707181 SOS 7558433 HAS SOPS 7555656 HAS SOUS 766284 HAS SOUPS 764192 WITH SCORE 771750.433
AT ITER 5484 NEW BEST:: SOT 13704659 SOS 7555911 HAS SOPS 7553134 HAS SOUS 763972 HAS SOUPS 761880 WITH SCORE 769435.911
AT ITER 5495 NEW BEST:: SOT 13709866 SOS 7575244 HAS SOPS 7572467 HAS SOUS 760738 HAS SOUPS 758646 WITH SCORE 766221.244
AT ITER 5512 NEW BEST:: SOT 13709832 SOS 7582122 HAS SOPS 7579345 HAS SOUS 760479 HAS SOUPS 758387 WITH SCORE 765969.122
AT ITER 5591 NEW BEST:: SOT 13710210 SOS 7582500 HAS SOPS 7579957 HAS SOUS 759784 HAS SOUPS 757926 WITH SCORE 765508.5
AT ITER 5608 NEW BEST:: SOT 13710178 SOS 7637276 HAS SOPS 7634733 HAS SOUS 759705 HAS SOUPS 757847 WITH SCORE 765484.276
AT ITER 5618 NEW BEST:: SOT 13710178 SOS 7637246 HAS SOPS 7634703 HAS SOUS 759690 HAS SOUPS 757832 WITH SCORE 765469.246
AT ITER 5689 NEW BEST:: SOT 13709879 SOS 7636947 HAS SOPS 7634404 HAS SOUS 759141 HAS SOUPS 757283 WITH SCORE 764919.947
AT ITER 5736 NEW BEST:: SOT 13709879 SOS 7640403 HAS SOPS 7637860 HAS SOUS 759085 HAS SOUPS 757227 WITH SCORE 764867.403
AT ITER 5745 NEW BEST:: SOT 13709707 SOS 7640231 HAS SOPS 7637688 HAS SOUS 758741 HAS SOUPS 756883 WITH SCORE 764523.231
AT ITER 5782 NEW BEST:: SOT 13709707 SOS 7640153 HAS SOPS 7637610 HAS SOUS 758663 HAS SOUPS 756805 WITH SCORE 764445.153
AT ITER 5788 NEW BEST:: SOT 13709734 SOS 7640174 HAS SOPS 7637631 HAS SOUS 758588 HAS SOUPS 756730 WITH SCORE 764370.174
AT ITER 5795 NEW BEST:: SOT 13710615 SOS 7640997 HAS SOPS 7638454 HAS SOUS 756818 HAS SOUPS 754960 WITH SCORE 762600.997
AT ITER 5805 NEW BEST:: SOT 13709113 SOS 7639495 HAS SOPS 7636952 HAS SOUS 754978 HAS SOUPS 753120 WITH SCORE 760759.495
AT ITER 5822 NEW BEST:: SOT 13709113 SOS 7639552 HAS SOPS 7637009 HAS SOUS 754977 HAS SOUPS 753119 WITH SCORE 760758.552
AT ITER 5838 NEW BEST:: SOT 13708808 SOS 7639247 HAS SOPS 7636704 HAS SOUS 754477 HAS SOUPS 752619 WITH SCORE 760258.247
AT ITER 5857 NEW BEST:: SOT 13707868 SOS 7641827 HAS SOPS 7639528 HAS SOUS 751994 HAS SOUPS 750380 WITH SCORE 758021.827
AT ITER 5891 NEW BEST:: SOT 13707826 SOS 7641785 HAS SOPS 7639486 HAS SOUS 751908 HAS SOUPS 750294 WITH SCORE 757935.785
AT ITER 5912 NEW BEST:: SOT 13704375 SOS 7638334 HAS SOPS 7636035 HAS SOUS 748659 HAS SOUPS 747045 WITH SCORE 754683.334
AT ITER 5913 NEW BEST:: SOT 13703284 SOS 7637243 HAS SOPS 7634944 HAS SOUS 748187 HAS SOUPS 746573 WITH SCORE 754210.243
AT ITER 5926 NEW BEST:: SOT 13701649 SOS 7635625 HAS SOPS 7633326 HAS SOUS 747638 HAS SOUPS 746024 WITH SCORE 753659.625
AT ITER 5952 NEW BEST:: SOT 13701397 SOS 7635373 HAS SOPS 7633074 HAS SOUS 747421 HAS SOUPS 745807 WITH SCORE 753442.373
AT ITER 5981 NEW BEST:: SOT 13702871 SOS 7636891 HAS SOPS 7634592 HAS SOUS 746785 HAS SOUPS 745171 WITH SCORE 752807.891
AT ITER 5994 NEW BEST:: SOT 13702871 SOS 7636773 HAS SOPS 7634474 HAS SOUS 746726 HAS SOUPS 745112 WITH SCORE 752748.773
AT ITER 6021 NEW BEST:: SOT 13702266 SOS 7636168 HAS SOPS 7633869 HAS SOUS 745489 HAS SOUPS 743875 WITH SCORE 751511.168
AT ITER 6023 NEW BEST:: SOT 13702180 SOS 7636082 HAS SOPS 7633783 HAS SOUS 745360 HAS SOUPS 743746 WITH SCORE 751382.082
AT ITER 6039 NEW BEST:: SOT 13702180 SOS 7636006 HAS SOPS 7633707 HAS SOUS 745360 HAS SOUPS 743746 WITH SCORE 751382.006
AT ITER 6040 NEW BEST:: SOT 13702162 SOS 7635988 HAS SOPS 7633689 HAS SOUS 745342 HAS SOUPS 743728 WITH SCORE 751363.988
AT ITER 6076 NEW BEST:: SOT 13702122 SOS 7635948 HAS SOPS 7633649 HAS SOUS 745252 HAS SOUPS 743638 WITH SCORE 751273.948
AT ITER 6086 NEW BEST:: SOT 13702122 SOS 7635948 HAS SOPS 7633649 HAS SOUS 745251 HAS SOUPS 743637 WITH SCORE 751272.948
AT ITER 6089 NEW BEST:: SOT 13701590 SOS 7635416 HAS SOPS 7633117 HAS SOUS 744786 HAS SOUPS 743172 WITH SCORE 750807.416
AT ITER 6098 NEW BEST:: SOT 13701071 SOS 7634841 HAS SOPS 7632549 HAS SOUS 744478 HAS SOUPS 742871 WITH SCORE 750505.841
AT ITER 6109 NEW BEST:: SOT 13701654 SOS 7633336 HAS SOPS 7631044 HAS SOUS 744265 HAS SOUPS 742658 WITH SCORE 750291.336
AT ITER 6119 NEW BEST:: SOT 13697461 SOS 7628959 HAS SOPS 7626667 HAS SOUS 742928 HAS SOUPS 741321 WITH SCORE 748949.959
AT ITER 6122 NEW BEST:: SOT 13697439 SOS 7628937 HAS SOPS 7626645 HAS SOUS 742928 HAS SOUPS 741321 WITH SCORE 748949.937
AT ITER 6129 NEW BEST:: SOT 13689696 SOS 7613313 HAS SOPS 7611021 HAS SOUS 742924 HAS SOUPS 741317 WITH SCORE 748930.313
AT ITER 6135 NEW BEST:: SOT 13690029 SOS 7613646 HAS SOPS 7611354 HAS SOUS 742431 HAS SOUPS 740824 WITH SCORE 748437.646
AT ITER 6141 NEW BEST:: SOT 13690029 SOS 7611328 HAS SOPS 7609036 HAS SOUS 742431 HAS SOUPS 740824 WITH SCORE 748435.328
AT ITER 6165 NEW BEST:: SOT 13690029 SOS 7610872 HAS SOPS 7608580 HAS SOUS 742431 HAS SOUPS 740824 WITH SCORE 748434.872
AT ITER 6184 NEW BEST:: SOT 13690028 SOS 7610871 HAS SOPS 7608579 HAS SOUS 742429 HAS SOUPS 740822 WITH SCORE 748432.871
AT ITER 6238 NEW BEST:: SOT 13690028 SOS 7610752 HAS SOPS 7608460 HAS SOUS 742378 HAS SOUPS 740771 WITH SCORE 748381.752
AT ITER 6264 NEW BEST:: SOT 13690028 SOS 7610640 HAS SOPS 7608348 HAS SOUS 742322 HAS SOUPS 740715 WITH SCORE 748325.64
AT ITER 6293 NEW BEST:: SOT 13690028 SOS 7610374 HAS SOPS 7608082 HAS SOUS 742232 HAS SOUPS 740625 WITH SCORE 748235.374
AT ITER 6301 NEW BEST:: SOT 13693018 SOS 7613432 HAS SOPS 7611144 HAS SOUS 742222 HAS SOUPS 740619 WITH SCORE 748232.432
AT ITER 6420 NEW BEST:: SOT 13693018 SOS 7613206 HAS SOPS 7610947 HAS SOUS 742164 HAS SOUPS 740590 WITH SCORE 748203.206
AT ITER 6426 NEW BEST:: SOT 13692185 SOS 7612373 HAS SOPS 7610114 HAS SOUS 740474 HAS SOUPS 738900 WITH SCORE 746512.373
AT ITER 6477 NEW BEST:: SOT 13691519 SOS 7611707 HAS SOPS 7609448 HAS SOUS 740100 HAS SOUPS 738526 WITH SCORE 746137.707
AT ITER 6478 NEW BEST:: SOT 13694177 SOS 7611133 HAS SOPS 7608874 HAS SOUS 739357 HAS SOUPS 737783 WITH SCORE 745394.133
AT ITER 6482 NEW BEST:: SOT 13699572 SOS 7624477 HAS SOPS 7622218 HAS SOUS 738936 HAS SOUPS 737362 WITH SCORE 744986.477
AT ITER 6517 NEW BEST:: SOT 13696904 SOS 7621809 HAS SOPS 7619550 HAS SOUS 736445 HAS SOUPS 734871 WITH SCORE 742492.809
AT ITER 6528 NEW BEST:: SOT 13696734 SOS 7621639 HAS SOPS 7619380 HAS SOUS 734665 HAS SOUPS 733091 WITH SCORE 740712.639
AT ITER 6544 NEW BEST:: SOT 13696931 SOS 7621897 HAS SOPS 7619638 HAS SOUS 733836 HAS SOUPS 732262 WITH SCORE 739883.897
AT ITER 6561 NEW BEST:: SOT 13696931 SOS 7621915 HAS SOPS 7619656 HAS SOUS 733334 HAS SOUPS 731760 WITH SCORE 739381.915
AT ITER 6585 NEW BEST:: SOT 13695928 SOS 7620963 HAS SOPS 7618704 HAS SOUS 733332 HAS SOUPS 731758 WITH SCORE 739378.963
AT ITER 6594 NEW BEST:: SOT 13700076 SOS 7651933 HAS SOPS 7649674 HAS SOUS 730628 HAS SOUPS 729054 WITH SCORE 736705.933
AT ITER 6599 NEW BEST:: SOT 13700076 SOS 7652869 HAS SOPS 7650610 HAS SOUS 730550 HAS SOUPS 728976 WITH SCORE 736628.869
AT ITER 6600 NEW BEST:: SOT 13699640 SOS 7652433 HAS SOPS 7650174 HAS SOUS 729572 HAS SOUPS 727998 WITH SCORE 735650.433
AT ITER 6605 NEW BEST:: SOT 13699640 SOS 7653153 HAS SOPS 7650894 HAS SOUS 729566 HAS SOUPS 727992 WITH SCORE 735645.153
AT ITER 6635 NEW BEST:: SOT 13699108 SOS 7652621 HAS SOPS 7650362 HAS SOUS 728490 HAS SOUPS 726916 WITH SCORE 734568.621
AT ITER 6643 NEW BEST:: SOT 13703349 SOS 7656977 HAS SOPS 7654815 HAS SOUS 727205 HAS SOUPS 725728 WITH SCORE 733384.977
AT ITER 6647 NEW BEST:: SOT 13703349 SOS 7656955 HAS SOPS 7654793 HAS SOUS 727205 HAS SOUPS 725728 WITH SCORE 733384.955
AT ITER 6723 NEW BEST:: SOT 13703327 SOS 7656933 HAS SOPS 7654771 HAS SOUS 727183 HAS SOUPS 725706 WITH SCORE 733362.933
AT ITER 6739 NEW BEST:: SOT 13702691 SOS 7656343 HAS SOPS 7654181 HAS SOUS 726397 HAS SOUPS 724920 WITH SCORE 732576.343
AT ITER 6744 NEW BEST:: SOT 13697182 SOS 7650880 HAS SOPS 7648718 HAS SOUS 722984 HAS SOUPS 721507 WITH SCORE 729157.88
AT ITER 6757 NEW BEST:: SOT 13695894 SOS 7649620 HAS SOPS 7647458 HAS SOUS 722802 HAS SOUPS 721325 WITH SCORE 728974.62
AT ITER 6806 NEW BEST:: SOT 13695892 SOS 7649618 HAS SOPS 7647456 HAS SOUS 722800 HAS SOUPS 721323 WITH SCORE 728972.618
AT ITER 6873 NEW BEST:: SOT 13695892 SOS 7641752 HAS SOPS 7639590 HAS SOUS 722800 HAS SOUPS 721323 WITH SCORE 728964.752
AT ITER 6887 NEW BEST:: SOT 13694980 SOS 7640840 HAS SOPS 7638678 HAS SOUS 720949 HAS SOUPS 719472 WITH SCORE 727112.84
AT ITER 6914 NEW BEST:: SOT 13692465 SOS 7638325 HAS SOPS 7636163 HAS SOUS 720392 HAS SOUPS 718915 WITH SCORE 726553.325
AT ITER 6921 NEW BEST:: SOT 13693085 SOS 7638945 HAS SOPS 7636783 HAS SOUS 719956 HAS SOUPS 718479 WITH SCORE 726117.945
AT ITER 6926 NEW BEST:: SOT 13693085 SOS 7638915 HAS SOPS 7636753 HAS SOUS 719956 HAS SOUPS 718479 WITH SCORE 726117.915
AT ITER 6928 NEW BEST:: SOT 13693085 SOS 7638195 HAS SOPS 7636033 HAS SOUS 719956 HAS SOUPS 718479 WITH SCORE 726117.195
AT ITER 6929 NEW BEST:: SOT 13691766 SOS 7636876 HAS SOPS 7634714 HAS SOUS 719610 HAS SOUPS 718133 WITH SCORE 725769.876
AT ITER 6938 NEW BEST:: SOT 13691766 SOS 7636876 HAS SOPS 7634714 HAS SOUS 719580 HAS SOUPS 718103 WITH SCORE 725739.876
AT ITER 6939 NEW BEST:: SOT 13691766 SOS 7636120 HAS SOPS 7633958 HAS SOUS 719580 HAS SOUPS 718103 WITH SCORE 725739.12
AT ITER 6943 NEW BEST:: SOT 13691666 SOS 7636020 HAS SOPS 7633858 HAS SOUS 719376 HAS SOUPS 717899 WITH SCORE 725535.02
AT ITER 6960 NEW BEST:: SOT 13689920 SOS 7634274 HAS SOPS 7632112 HAS SOUS 719139 HAS SOUPS 717662 WITH SCORE 725296.274
AT ITER 6978 NEW BEST:: SOT 13689920 SOS 7636866 HAS SOPS 7634704 HAS SOUS 719103 HAS SOUPS 717626 WITH SCORE 725262.866
AT ITER 7030 NEW BEST:: SOT 13689920 SOS 7636866 HAS SOPS 7634704 HAS SOUS 719091 HAS SOUPS 717614 WITH SCORE 725250.866
AT ITER 7067 NEW BEST:: SOT 13689920 SOS 7635144 HAS SOPS 7632982 HAS SOUS 719091 HAS SOUPS 717614 WITH SCORE 725249.144
AT ITER 7070 NEW BEST:: SOT 13689722 SOS 7634804 HAS SOPS 7632642 HAS SOUS 719019 HAS SOUPS 717542 WITH SCORE 725176.804
AT ITER 7079 NEW BEST:: SOT 13689518 SOS 7634600 HAS SOPS 7632438 HAS SOUS 718987 HAS SOUPS 717510 WITH SCORE 725144.6
AT ITER 7081 NEW BEST:: SOT 13689518 SOS 7634456 HAS SOPS 7632294 HAS SOUS 718915 HAS SOUPS 717438 WITH SCORE 725072.456
AT ITER 7197 NEW BEST:: SOT 13689116 SOS 7634054 HAS SOPS 7631892 HAS SOUS 718653 HAS SOUPS 717176 WITH SCORE 724810.054
AT ITER 7205 NEW BEST:: SOT 13689116 SOS 7633994 HAS SOPS 7631832 HAS SOUS 718623 HAS SOUPS 717146 WITH SCORE 724779.994
AT ITER 7206 NEW BEST:: SOT 13688513 SOS 7631819 HAS SOPS 7629657 HAS SOUS 717266 HAS SOUPS 715789 WITH SCORE 723420.819
AT ITER 7210 NEW BEST:: SOT 13688513 SOS 7631817 HAS SOPS 7629655 HAS SOUS 717264 HAS SOUPS 715787 WITH SCORE 723418.817
AT ITER 7211 NEW BEST:: SOT 13690587 SOS 7633901 HAS SOPS 7632089 HAS SOUS 715846 HAS SOUPS 714719 WITH SCORE 722352.901
AT ITER 7225 NEW BEST:: SOT 13690261 SOS 7616251 HAS SOPS 7614439 HAS SOUS 715639 HAS SOUPS 714512 WITH SCORE 722128.251
AT ITER 7275 NEW BEST:: SOT 13690298 SOS 7616288 HAS SOPS 7614476 HAS SOUS 715635 HAS SOUPS 714508 WITH SCORE 722124.288
AT ITER 7277 NEW BEST:: SOT 13690298 SOS 7614632 HAS SOPS 7612820 HAS SOUS 715635 HAS SOUPS 714508 WITH SCORE 722122.632
AT ITER 7281 NEW BEST:: SOT 13690298 SOS 7614632 HAS SOPS 7612820 HAS SOUS 715611 HAS SOUPS 714484 WITH SCORE 722098.632
AT ITER 7297 NEW BEST:: SOT 13689939 SOS 7614423 HAS SOPS 7612611 HAS SOUS 714961 HAS SOUPS 713834 WITH SCORE 721448.423
AT ITER 7305 NEW BEST:: SOT 13689939 SOS 7614423 HAS SOPS 7612611 HAS SOUS 714945 HAS SOUPS 713818 WITH SCORE 721432.423
AT ITER 7341 NEW BEST:: SOT 13689827 SOS 7614302 HAS SOPS 7612490 HAS SOUS 714706 HAS SOUPS 713579 WITH SCORE 721193.302
AT ITER 7345 NEW BEST:: SOT 13689648 SOS 7616126 HAS SOPS 7614269 HAS SOUS 712830 HAS SOUPS 711673 WITH SCORE 719289.126
AT ITER 7364 NEW BEST:: SOT 13689648 SOS 7594926 HAS SOPS 7593069 HAS SOUS 712830 HAS SOUPS 711673 WITH SCORE 719267.926
AT ITER 7366 NEW BEST:: SOT 13689823 SOS 7595208 HAS SOPS 7593351 HAS SOUS 711120 HAS SOUPS 709963 WITH SCORE 717558.208
AT ITER 7389 NEW BEST:: SOT 13687183 SOS 7592370 HAS SOPS 7590513 HAS SOUS 710919 HAS SOUPS 709762 WITH SCORE 717354.37
AT ITER 7410 NEW BEST:: SOT 13687171 SOS 7592358 HAS SOPS 7590501 HAS SOUS 710913 HAS SOUPS 709756 WITH SCORE 717348.358
AT ITER 7412 NEW BEST:: SOT 13687171 SOS 7592358 HAS SOPS 7590501 HAS SOUS 710907 HAS SOUPS 709750 WITH SCORE 717342.358
AT ITER 7414 NEW BEST:: SOT 13687171 SOS 7592308 HAS SOPS 7590451 HAS SOUS 710849 HAS SOUPS 709692 WITH SCORE 717284.308
AT ITER 7416 NEW BEST:: SOT 13686884 SOS 7592021 HAS SOPS 7590164 HAS SOUS 710099 HAS SOUPS 708942 WITH SCORE 716534.021
AT ITER 7426 NEW BEST:: SOT 13686884 SOS 7591536 HAS SOPS 7589764 HAS SOUS 710014 HAS SOUPS 708942 WITH SCORE 716533.536
AT ITER 7450 NEW BEST:: SOT 13686884 SOS 7591484 HAS SOPS 7589712 HAS SOUS 709931 HAS SOUPS 708859 WITH SCORE 716450.484
AT ITER 7461 NEW BEST:: SOT 13687648 SOS 7592248 HAS SOPS 7590476 HAS SOUS 708100 HAS SOUPS 707028 WITH SCORE 714620.248
AT ITER 7462 NEW BEST:: SOT 13697848 SOS 7602316 HAS SOPS 7600544 HAS SOUS 705570 HAS SOUPS 704498 WITH SCORE 712100.316
AT ITER 7504 NEW BEST:: SOT 13697622 SOS 7602090 HAS SOPS 7600318 HAS SOUS 705340 HAS SOUPS 704268 WITH SCORE 711870.09
AT ITER 7507 NEW BEST:: SOT 13697404 SOS 7601872 HAS SOPS 7600100 HAS SOUS 704890 HAS SOUPS 703818 WITH SCORE 711419.872
AT ITER 7542 NEW BEST:: SOT 13695748 SOS 7600216 HAS SOPS 7598444 HAS SOUS 703311 HAS SOUPS 702239 WITH SCORE 709839.216
AT ITER 7546 NEW BEST:: SOT 13689431 SOS 7593543 HAS SOPS 7591771 HAS SOUS 702966 HAS SOUPS 701894 WITH SCORE 709487.543
AT ITER 7595 NEW BEST:: SOT 13689431 SOS 7593543 HAS SOPS 7591771 HAS SOUS 702922 HAS SOUPS 701850 WITH SCORE 709443.543
AT ITER 7600 NEW BEST:: SOT 13688098 SOS 7592170 HAS SOPS 7590398 HAS SOUS 702151 HAS SOUPS 701079 WITH SCORE 708671.17
AT ITER 7620 NEW BEST:: SOT 13688098 SOS 7595986 HAS SOPS 7594214 HAS SOUS 702046 HAS SOUPS 700974 WITH SCORE 708569.986
AT ITER 7628 NEW BEST:: SOT 13688056 SOS 7595944 HAS SOPS 7594172 HAS SOUS 701998 HAS SOUPS 700926 WITH SCORE 708521.944
AT ITER 7629 NEW BEST:: SOT 13688056 SOS 7595300 HAS SOPS 7593528 HAS SOUS 701987 HAS SOUPS 700915 WITH SCORE 708510.3
AT ITER 7667 NEW BEST:: SOT 13688042 SOS 7595286 HAS SOPS 7593514 HAS SOUS 701973 HAS SOUPS 700901 WITH SCORE 708496.286
AT ITER 7698 NEW BEST:: SOT 13688042 SOS 7595274 HAS SOPS 7593502 HAS SOUS 701973 HAS SOUPS 700901 WITH SCORE 708496.274
AT ITER 7718 NEW BEST:: SOT 13688042 SOS 7595922 HAS SOPS 7594150 HAS SOUS 701964 HAS SOUPS 700892 WITH SCORE 708487.922
AT ITER 7730 NEW BEST:: SOT 13692556 SOS 7600630 HAS SOPS 7598858 HAS SOUS 701768 HAS SOUPS 700696 WITH SCORE 708296.63
AT ITER 7741 NEW BEST:: SOT 13692556 SOS 7600599 HAS SOPS 7598835 HAS SOUS 701760 HAS SOUPS 700696 WITH SCORE 708296.599
AT ITER 7781 NEW BEST:: SOT 13692085 SOS 7600047 HAS SOPS 7598283 HAS SOUS 695795 HAS SOUPS 694731 WITH SCORE 702331.047
AT ITER 7810 NEW BEST:: SOT 13692774 SOS 7600729 HAS SOPS 7598965 HAS SOUS 695673 HAS SOUPS 694609 WITH SCORE 702209.729
AT ITER 7815 NEW BEST:: SOT 13692595 SOS 7600550 HAS SOPS 7598786 HAS SOUS 695554 HAS SOUPS 694490 WITH SCORE 702090.55
AT ITER 7834 NEW BEST:: SOT 13692583 SOS 7600538 HAS SOPS 7598774 HAS SOUS 695532 HAS SOUPS 694468 WITH SCORE 702068.538
AT ITER 7857 NEW BEST:: SOT 13692583 SOS 7600538 HAS SOPS 7598774 HAS SOUS 695526 HAS SOUPS 694462 WITH SCORE 702062.538
AT ITER 7910 NEW BEST:: SOT 13692583 SOS 7600501 HAS SOPS 7598737 HAS SOUS 695517 HAS SOUPS 694453 WITH SCORE 702053.501
AT ITER 7988 NEW BEST:: SOT 13690081 SOS 7597999 HAS SOPS 7596235 HAS SOUS 692874 HAS SOUPS 691810 WITH SCORE 699407.999
AT ITER 8033 NEW BEST:: SOT 13688555 SOS 7596361 HAS SOPS 7594611 HAS SOUS 691474 HAS SOUPS 690424 WITH SCORE 698020.361
AT ITER 8046 NEW BEST:: SOT 13688555 SOS 7596346 HAS SOPS 7594596 HAS SOUS 691459 HAS SOUPS 690409 WITH SCORE 698005.346
AT ITER 8063 NEW BEST:: SOT 13688040 SOS 7595831 HAS SOPS 7594081 HAS SOUS 690411 HAS SOUPS 689361 WITH SCORE 696956.831
AT ITER 8074 NEW BEST:: SOT 13687591 SOS 7594407 HAS SOPS 7592644 HAS SOUS 689732 HAS SOUPS 688669 WITH SCORE 696263.407
AT ITER 8115 NEW BEST:: SOT 13688163 SOS 7594990 HAS SOPS 7593227 HAS SOUS 689434 HAS SOUPS 688371 WITH SCORE 695965.99
AT ITER 8196 NEW BEST:: SOT 13688897 SOS 7595724 HAS SOPS 7593961 HAS SOUS 689418 HAS SOUPS 688355 WITH SCORE 695950.724
AT ITER 8211 NEW BEST:: SOT 13690566 SOS 7597338 HAS SOPS 7595575 HAS SOUS 688479 HAS SOUPS 687416 WITH SCORE 695013.338
AT ITER 8220 NEW BEST:: SOT 13690439 SOS 7597209 HAS SOPS 7595446 HAS SOUS 688405 HAS SOUPS 687342 WITH SCORE 694939.209
AT ITER 8235 NEW BEST:: SOT 13686002 SOS 7592772 HAS SOPS 7591009 HAS SOUS 684911 HAS SOUPS 683848 WITH SCORE 691440.772
AT ITER 8255 NEW BEST:: SOT 13684976 SOS 7610848 HAS SOPS 7609435 HAS SOUS 684212 HAS SOUPS 683499 WITH SCORE 691109.848
AT ITER 8291 NEW BEST:: SOT 13682690 SOS 7608480 HAS SOPS 7607067 HAS SOUS 682710 HAS SOUPS 681997 WITH SCORE 689605.48
AT ITER 8312 NEW BEST:: SOT 13682689 SOS 7608479 HAS SOPS 7607066 HAS SOUS 682710 HAS SOUPS 681997 WITH SCORE 689605.479
AT ITER 8324 NEW BEST:: SOT 13683073 SOS 7608863 HAS SOPS 7607450 HAS SOUS 682647 HAS SOUPS 681934 WITH SCORE 689542.863
AT ITER 8325 NEW BEST:: SOT 13683123 SOS 7608913 HAS SOPS 7607500 HAS SOUS 682597 HAS SOUPS 681884 WITH SCORE 689492.913
AT ITER 8333 NEW BEST:: SOT 13683077 SOS 7608867 HAS SOPS 7607454 HAS SOUS 682534 HAS SOUPS 681821 WITH SCORE 689429.867
AT ITER 8384 NEW BEST:: SOT 13683060 SOS 7608850 HAS SOPS 7607437 HAS SOUS 682517 HAS SOUPS 681804 WITH SCORE 689412.85
AT ITER 8405 NEW BEST:: SOT 13683311 SOS 7610310 HAS SOPS 7609089 HAS SOUS 679452 HAS SOUPS 678931 WITH SCORE 686541.31
AT ITER 8434 NEW BEST:: SOT 13683261 SOS 7610260 HAS SOPS 7609039 HAS SOUS 679402 HAS SOUPS 678881 WITH SCORE 686491.26
AT ITER 8435 NEW BEST:: SOT 13678322 SOS 7600937 HAS SOPS 7599716 HAS SOUS 678012 HAS SOUPS 677491 WITH SCORE 685091.937
AT ITER 8482 NEW BEST:: SOT 13678322 SOS 7600937 HAS SOPS 7599716 HAS SOUS 677938 HAS SOUPS 677417 WITH SCORE 685017.937
AT ITER 8483 NEW BEST:: SOT 13679616 SOS 7602231 HAS SOPS 7601010 HAS SOUS 677332 HAS SOUPS 676811 WITH SCORE 684413.231
AT ITER 8503 NEW BEST:: SOT 13678962 SOS 7601588 HAS SOPS 7600367 HAS SOUS 677264 HAS SOUPS 676743 WITH SCORE 684344.588
AT ITER 8534 NEW BEST:: SOT 13678962 SOS 7601574 HAS SOPS 7600353 HAS SOUS 677223 HAS SOUPS 676702 WITH SCORE 684303.574
AT ITER 8543 NEW BEST:: SOT 13678170 SOS 7600782 HAS SOPS 7599561 HAS SOUS 676678 HAS SOUPS 676157 WITH SCORE 683757.782
AT ITER 8564 NEW BEST:: SOT 13677728 SOS 7600340 HAS SOPS 7599119 HAS SOUS 676606 HAS SOUPS 676085 WITH SCORE 683685.34
AT ITER 8617 NEW BEST:: SOT 13677799 SOS 7600411 HAS SOPS 7599190 HAS SOUS 676590 HAS SOUPS 676069 WITH SCORE 683669.411
AT ITER 8664 NEW BEST:: SOT 13677174 SOS 7602155 HAS SOPS 7601090 HAS SOUS 676277 HAS SOUPS 675876 WITH SCORE 683478.155
AT ITER 8668 NEW BEST:: SOT 13677174 SOS 7602155 HAS SOPS 7601090 HAS SOUS 676271 HAS SOUPS 675870 WITH SCORE 683472.155
AT ITER 8786 NEW BEST:: SOT 13676065 SOS 7601046 HAS SOPS 7599981 HAS SOUS 673379 HAS SOUPS 672978 WITH SCORE 680579.046
AT ITER 8813 NEW BEST:: SOT 13675733 SOS 7600714 HAS SOPS 7599649 HAS SOUS 672715 HAS SOUPS 672314 WITH SCORE 679914.714
AT ITER 8859 NEW BEST:: SOT 13675775 SOS 7600756 HAS SOPS 7599691 HAS SOUS 672702 HAS SOUPS 672301 WITH SCORE 679901.756
AT ITER 8886 NEW BEST:: SOT 13677900 SOS 7602881 HAS SOPS 7601816 HAS SOUS 669861 HAS SOUPS 669460 WITH SCORE 677062.881
AT ITER 8910 NEW BEST:: SOT 13677617 SOS 7602598 HAS SOPS 7601533 HAS SOUS 669501 HAS SOUPS 669100 WITH SCORE 676702.598
AT ITER 8920 NEW BEST:: SOT 13677617 SOS 7602542 HAS SOPS 7601477 HAS SOUS 669460 HAS SOUPS 669059 WITH SCORE 676661.542
AT ITER 9027 NEW BEST:: SOT 13677617 SOS 7598016 HAS SOPS 7596951 HAS SOUS 669418 HAS SOUPS 669017 WITH SCORE 676615.016
AT ITER 9148 NEW BEST:: SOT 13678202 SOS 7598601 HAS SOPS 7597536 HAS SOUS 667397 HAS SOUPS 666996 WITH SCORE 674594.601
AT ITER 9160 NEW BEST:: SOT 13678210 SOS 7598609 HAS SOPS 7597544 HAS SOUS 667395 HAS SOUPS 666994 WITH SCORE 674592.609
AT ITER 9171 NEW BEST:: SOT 13677510 SOS 7597909 HAS SOPS 7596844 HAS SOUS 666505 HAS SOUPS 666104 WITH SCORE 673701.909
AT ITER 9238 NEW BEST:: SOT 13681563 SOS 7601962 HAS SOPS 7600897 HAS SOUS 666300 HAS SOUPS 665899 WITH SCORE 673500.962
AT ITER 9266 NEW BEST:: SOT 13681511 SOS 7601910 HAS SOPS 7600845 HAS SOUS 666267 HAS SOUPS 665866 WITH SCORE 673467.91
AT ITER 9293 NEW BEST:: SOT 13681509 SOS 7601908 HAS SOPS 7600843 HAS SOUS 666261 HAS SOUPS 665860 WITH SCORE 673461.908
AT ITER 9324 NEW BEST:: SOT 13679731 SOS 7600130 HAS SOPS 7599065 HAS SOUS 666012 HAS SOUPS 665611 WITH SCORE 673211.13
AT ITER 9393 NEW BEST:: SOT 13678845 SOS 7599244 HAS SOPS 7598179 HAS SOUS 664288 HAS SOUPS 663887 WITH SCORE 671486.244
AT ITER 9495 NEW BEST:: SOT 13678845 SOS 7599244 HAS SOPS 7598179 HAS SOUS 664234 HAS SOUPS 663833 WITH SCORE 671432.244
AT ITER 9545 NEW BEST:: SOT 13678522 SOS 7598921 HAS SOPS 7597856 HAS SOUS 663584 HAS SOUPS 663183 WITH SCORE 670781.921
AT ITER 9581 NEW BEST:: SOT 13678486 SOS 7598885 HAS SOPS 7597820 HAS SOUS 663524 HAS SOUPS 663123 WITH SCORE 670721.885
AT ITER 9591 NEW BEST:: SOT 13675983 SOS 7596218 HAS SOPS 7595153 HAS SOUS 662685 HAS SOUPS 662284 WITH SCORE 669880.218
AT ITER 9598 NEW BEST:: SOT 13676749 SOS 7596984 HAS SOPS 7595919 HAS SOUS 662674 HAS SOUPS 662273 WITH SCORE 669869.984
AT ITER 9622 NEW BEST:: SOT 13676636 SOS 7597575 HAS SOPS 7596510 HAS SOUS 662097 HAS SOUPS 661696 WITH SCORE 669293.575
AT ITER 9754 NEW BEST:: SOT 13676552 SOS 7597491 HAS SOPS 7596426 HAS SOUS 662013 HAS SOUPS 661612 WITH SCORE 669209.491
AT ITER 9798 NEW BEST:: SOT 13677042 SOS 7597981 HAS SOPS 7596916 HAS SOUS 661142 HAS SOUPS 660741 WITH SCORE 668338.981
AT ITER 9853 NEW BEST:: SOT 13673519 SOS 7594284 HAS SOPS 7593219 HAS SOUS 659755 HAS SOUPS 659354 WITH SCORE 666948.284
AT ITER 9872 NEW BEST:: SOT 13673519 SOS 7594284 HAS SOPS 7593219 HAS SOUS 659745 HAS SOUPS 659344 WITH SCORE 666938.284
AT ITER 9911 NEW BEST:: SOT 13673519 SOS 7594272 HAS SOPS 7593207 HAS SOUS 659739 HAS SOUPS 659338 WITH SCORE 666932.272
AT ITER 9914 NEW BEST:: SOT 13673968 SOS 7594721 HAS SOPS 7593656 HAS SOUS 658360 HAS SOUPS 657959 WITH SCORE 665553.721
AT ITER 9933 NEW BEST:: SOT 13670568 SOS 7596217 HAS SOPS 7595152 HAS SOUS 656988 HAS SOUPS 656587 WITH SCORE 664183.217
AT ITER 9943 NEW BEST:: SOT 13670568 SOS 7597189 HAS SOPS 7596124 HAS SOUS 656930 HAS SOUPS 656529 WITH SCORE 664126.189
AT ITER 9951 NEW BEST:: SOT 13670531 SOS 7597152 HAS SOPS 7596087 HAS SOUS 656893 HAS SOUPS 656492 WITH SCORE 664089.152
AT ITER 9956 NEW BEST:: SOT 13670531 SOS 7594168 HAS SOPS 7593103 HAS SOUS 656767 HAS SOUPS 656366 WITH SCORE 663960.168
AT ITER 9958 NEW BEST:: SOT 13670531 SOS 7595032 HAS SOPS 7593967 HAS SOUS 656748 HAS SOUPS 656347 WITH SCORE 663942.032
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 15964532 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16123936 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-q3m256"
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-q3m256, 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-167813688100384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q3m256.tgz
mv BugTracking-PT-q3m256 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;