About the Execution of Smart for BugTracking-PT-q3m064
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
346.252 | 3600000.00 | 3599879.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688100368.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-q3m064, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688100368
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.2K Feb 26 06:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 06:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 26 06:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 06:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 14K Feb 26 07:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 07:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 07:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 07:00 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 1678467587278
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-q3m064
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m064
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 14035084 SOS 8812545 HAS SOPS 8810700 HAS SOUS 1624439 HAS SOUPS 1622594 WITH SCORE 1631406.545
AT ITER 11 NEW BEST:: SOT 14035084 SOS 8807289 HAS SOPS 8805444 HAS SOUS 1624439 HAS SOUPS 1622594 WITH SCORE 1631401.289
AT ITER 19 NEW BEST:: SOT 14035084 SOS 8803977 HAS SOPS 8802132 HAS SOUS 1624439 HAS SOUPS 1622594 WITH SCORE 1631397.977
AT ITER 20 NEW BEST:: SOT 14032652 SOS 8801545 HAS SOPS 8799700 HAS SOUS 1622969 HAS SOUPS 1621124 WITH SCORE 1629925.545
AT ITER 22 NEW BEST:: SOT 14025335 SOS 8799460 HAS SOPS 8797615 HAS SOUS 1616001 HAS SOUPS 1614156 WITH SCORE 1622955.46
AT ITER 27 NEW BEST:: SOT 14025335 SOS 8799460 HAS SOPS 8797615 HAS SOUS 1615994 HAS SOUPS 1614149 WITH SCORE 1622948.46
AT ITER 28 NEW BEST:: SOT 14025335 SOS 8788948 HAS SOPS 8787103 HAS SOUS 1615850 HAS SOUPS 1614005 WITH SCORE 1622793.948
AT ITER 31 NEW BEST:: SOT 14024310 SOS 8792759 HAS SOPS 8790914 HAS SOUS 1614178 HAS SOUPS 1612333 WITH SCORE 1621125.759
AT ITER 32 NEW BEST:: SOT 14021460 SOS 8789909 HAS SOPS 8788064 HAS SOUS 1612731 HAS SOUPS 1610886 WITH SCORE 1619675.909
AT ITER 33 NEW BEST:: SOT 14021590 SOS 8789802 HAS SOPS 8788008 HAS SOUS 1602434 HAS SOUPS 1600640 WITH SCORE 1609429.802
AT ITER 55 NEW BEST:: SOT 14021526 SOS 8789738 HAS SOPS 8787944 HAS SOUS 1602426 HAS SOUPS 1600632 WITH SCORE 1609421.738
AT ITER 56 NEW BEST:: SOT 14017300 SOS 8785512 HAS SOPS 8783718 HAS SOUS 1599185 HAS SOUPS 1597391 WITH SCORE 1606176.512
AT ITER 65 NEW BEST:: SOT 14017300 SOS 8783352 HAS SOPS 8781558 HAS SOUS 1599185 HAS SOUPS 1597391 WITH SCORE 1606174.352
AT ITER 76 NEW BEST:: SOT 14017300 SOS 8776584 HAS SOPS 8774790 HAS SOUS 1599185 HAS SOUPS 1597391 WITH SCORE 1606167.584
AT ITER 80 NEW BEST:: SOT 14017300 SOS 8775781 HAS SOPS 8773987 HAS SOUS 1599174 HAS SOUPS 1597380 WITH SCORE 1606155.781
AT ITER 86 NEW BEST:: SOT 14014805 SOS 8779532 HAS SOPS 8775228 HAS SOUS 1601058 HAS SOUPS 1596754 WITH SCORE 1605533.532
AT ITER 90 NEW BEST:: SOT 14014805 SOS 8790404 HAS SOPS 8786100 HAS SOUS 1601025 HAS SOUPS 1596721 WITH SCORE 1605511.404
AT ITER 108 NEW BEST:: SOT 14013737 SOS 8789747 HAS SOPS 8785443 HAS SOUS 1599276 HAS SOUPS 1594972 WITH SCORE 1603761.747
AT ITER 120 NEW BEST:: SOT 14013690 SOS 8789676 HAS SOPS 8785372 HAS SOUS 1594904 HAS SOUPS 1590600 WITH SCORE 1599389.676
AT ITER 125 NEW BEST:: SOT 14013690 SOS 8783534 HAS SOPS 8779230 HAS SOUS 1594820 HAS SOUPS 1590516 WITH SCORE 1599299.534
AT ITER 126 NEW BEST:: SOT 14013690 SOS 8780500 HAS SOPS 8776196 HAS SOUS 1594779 HAS SOUPS 1590475 WITH SCORE 1599255.5
AT ITER 139 NEW BEST:: SOT 14013690 SOS 8778008 HAS SOPS 8773704 HAS SOUS 1594690 HAS SOUPS 1590386 WITH SCORE 1599164.008
AT ITER 155 NEW BEST:: SOT 14013690 SOS 8778008 HAS SOPS 8773704 HAS SOUS 1594688 HAS SOUPS 1590384 WITH SCORE 1599162.008
AT ITER 157 NEW BEST:: SOT 14006568 SOS 8772620 HAS SOPS 8768316 HAS SOUS 1589933 HAS SOUPS 1585629 WITH SCORE 1594401.62
AT ITER 161 NEW BEST:: SOT 14006568 SOS 8772620 HAS SOPS 8768316 HAS SOUS 1589812 HAS SOUPS 1585508 WITH SCORE 1594280.62
AT ITER 188 NEW BEST:: SOT 14006573 SOS 8772625 HAS SOPS 8768321 HAS SOUS 1585922 HAS SOUPS 1581618 WITH SCORE 1590390.625
AT ITER 207 NEW BEST:: SOT 14006573 SOS 8758417 HAS SOPS 8754113 HAS SOUS 1585730 HAS SOUPS 1581426 WITH SCORE 1590184.417
AT ITER 222 NEW BEST:: SOT 14006677 SOS 8758524 HAS SOPS 8754220 HAS SOUS 1585680 HAS SOUPS 1581376 WITH SCORE 1590134.524
AT ITER 231 NEW BEST:: SOT 14002891 SOS 8754738 HAS SOPS 8750434 HAS SOUS 1578232 HAS SOUPS 1573928 WITH SCORE 1582682.738
AT ITER 241 NEW BEST:: SOT 14000335 SOS 8752934 HAS SOPS 8748630 HAS SOUS 1571890 HAS SOUPS 1567586 WITH SCORE 1576338.934
AT ITER 247 NEW BEST:: SOT 14001584 SOS 8754183 HAS SOPS 8749879 HAS SOUS 1557653 HAS SOUPS 1553349 WITH SCORE 1562103.183
AT ITER 252 NEW BEST:: SOT 14003047 SOS 8756238 HAS SOPS 8751934 HAS SOUS 1528285 HAS SOUPS 1523981 WITH SCORE 1532737.238
AT ITER 257 NEW BEST:: SOT 14001213 SOS 8754404 HAS SOPS 8750550 HAS SOUS 1526267 HAS SOUPS 1522413 WITH SCORE 1531167.404
AT ITER 258 NEW BEST:: SOT 14001213 SOS 8742164 HAS SOPS 8738310 HAS SOUS 1526267 HAS SOUPS 1522413 WITH SCORE 1531155.164
AT ITER 260 NEW BEST:: SOT 14000633 SOS 8741584 HAS SOPS 8737730 HAS SOUS 1523046 HAS SOUPS 1519192 WITH SCORE 1527933.584
AT ITER 266 NEW BEST:: SOT 14000633 SOS 8738776 HAS SOPS 8734922 HAS SOUS 1523046 HAS SOUPS 1519192 WITH SCORE 1527930.776
AT ITER 274 NEW BEST:: SOT 14014412 SOS 8753131 HAS SOPS 8749277 HAS SOUS 1519725 HAS SOUPS 1515871 WITH SCORE 1524624.131
AT ITER 292 NEW BEST:: SOT 14014412 SOS 8749431 HAS SOPS 8745577 HAS SOUS 1519675 HAS SOUPS 1515821 WITH SCORE 1524570.431
AT ITER 297 NEW BEST:: SOT 14019242 SOS 8765083 HAS SOPS 8760947 HAS SOUS 1515087 HAS SOUPS 1511158 WITH SCORE 1519923.083
AT ITER 301 NEW BEST:: SOT 14022851 SOS 8768692 HAS SOPS 8764556 HAS SOUS 1509318 HAS SOUPS 1505389 WITH SCORE 1514157.692
AT ITER 309 NEW BEST:: SOT 14022851 SOS 8760988 HAS SOPS 8756852 HAS SOUS 1509318 HAS SOUPS 1505389 WITH SCORE 1514149.988
AT ITER 313 NEW BEST:: SOT 14022851 SOS 8760988 HAS SOPS 8756852 HAS SOUS 1509304 HAS SOUPS 1505375 WITH SCORE 1514135.988
AT ITER 314 NEW BEST:: SOT 14022851 SOS 8760979 HAS SOPS 8756843 HAS SOUS 1509304 HAS SOUPS 1505375 WITH SCORE 1514135.979
AT ITER 320 NEW BEST:: SOT 14022851 SOS 8757353 HAS SOPS 8753217 HAS SOUS 1509255 HAS SOUPS 1505326 WITH SCORE 1514083.353
AT ITER 327 NEW BEST:: SOT 14022851 SOS 8801357 HAS SOPS 8797221 HAS SOUS 1509131 HAS SOUPS 1505202 WITH SCORE 1514003.357
AT ITER 344 NEW BEST:: SOT 14028947 SOS 8822568 HAS SOPS 8818099 HAS SOUS 1503150 HAS SOUPS 1499113 WITH SCORE 1507935.568
AT ITER 346 NEW BEST:: SOT 14028957 SOS 8822578 HAS SOPS 8818109 HAS SOUS 1502009 HAS SOUPS 1497972 WITH SCORE 1506794.578
AT ITER 369 NEW BEST:: SOT 14021392 SOS 8815735 HAS SOPS 8811266 HAS SOUS 1495579 HAS SOUPS 1491542 WITH SCORE 1500357.735
AT ITER 372 NEW BEST:: SOT 14021417 SOS 8815759 HAS SOPS 8811290 HAS SOUS 1495554 HAS SOUPS 1491517 WITH SCORE 1500332.759
AT ITER 374 NEW BEST:: SOT 14021417 SOS 8815759 HAS SOPS 8811290 HAS SOUS 1495550 HAS SOUPS 1491513 WITH SCORE 1500328.759
AT ITER 377 NEW BEST:: SOT 14021417 SOS 8815759 HAS SOPS 8811290 HAS SOUS 1495544 HAS SOUPS 1491507 WITH SCORE 1500322.759
AT ITER 378 NEW BEST:: SOT 14020076 SOS 8814418 HAS SOPS 8809949 HAS SOUS 1494973 HAS SOUPS 1490936 WITH SCORE 1499750.418
AT ITER 392 NEW BEST:: SOT 14020076 SOS 8809738 HAS SOPS 8805269 HAS SOUS 1494973 HAS SOUPS 1490936 WITH SCORE 1499745.738
AT ITER 396 NEW BEST:: SOT 14014363 SOS 8808201 HAS SOPS 8803732 HAS SOUS 1488675 HAS SOUPS 1484638 WITH SCORE 1493446.201
AT ITER 402 NEW BEST:: SOT 14014493 SOS 8808331 HAS SOPS 8803862 HAS SOUS 1482731 HAS SOUPS 1478694 WITH SCORE 1487502.331
AT ITER 405 NEW BEST:: SOT 14014493 SOS 8808331 HAS SOPS 8803862 HAS SOUS 1482709 HAS SOUPS 1478672 WITH SCORE 1487480.331
AT ITER 406 NEW BEST:: SOT 14014493 SOS 8808331 HAS SOPS 8803862 HAS SOUS 1482495 HAS SOUPS 1478458 WITH SCORE 1487266.331
AT ITER 407 NEW BEST:: SOT 14015831 SOS 8809867 HAS SOPS 8805398 HAS SOUS 1482012 HAS SOUPS 1477975 WITH SCORE 1486784.867
AT ITER 412 NEW BEST:: SOT 14035497 SOS 8849884 HAS SOPS 8845415 HAS SOUS 1468876 HAS SOUPS 1464839 WITH SCORE 1473688.884
AT ITER 416 NEW BEST:: SOT 14035497 SOS 8860180 HAS SOPS 8855711 HAS SOUS 1468824 HAS SOUPS 1464787 WITH SCORE 1473647.18
AT ITER 417 NEW BEST:: SOT 14035533 SOS 8859977 HAS SOPS 8855560 HAS SOUS 1460668 HAS SOUPS 1456683 WITH SCORE 1465542.977
AT ITER 425 NEW BEST:: SOT 14035533 SOS 8855889 HAS SOPS 8851472 HAS SOUS 1460612 HAS SOUPS 1456627 WITH SCORE 1465482.889
AT ITER 426 NEW BEST:: SOT 14035533 SOS 8855889 HAS SOPS 8851472 HAS SOUS 1460605 HAS SOUPS 1456620 WITH SCORE 1465475.889
AT ITER 433 NEW BEST:: SOT 14037299 SOS 8858413 HAS SOPS 8853996 HAS SOUS 1456647 HAS SOUPS 1452662 WITH SCORE 1461520.413
AT ITER 434 NEW BEST:: SOT 14031358 SOS 8854508 HAS SOPS 8850091 HAS SOUS 1453492 HAS SOUPS 1449507 WITH SCORE 1458361.508
AT ITER 450 NEW BEST:: SOT 14037313 SOS 8872648 HAS SOPS 8867869 HAS SOUS 1450298 HAS SOUPS 1446225 WITH SCORE 1455097.648
AT ITER 451 NEW BEST:: SOT 14044600 SOS 8893723 HAS SOPS 8888549 HAS SOUS 1449479 HAS SOUPS 1445310 WITH SCORE 1454203.723
AT ITER 453 NEW BEST:: SOT 14044600 SOS 8903515 HAS SOPS 8898341 HAS SOUS 1449343 HAS SOUPS 1445174 WITH SCORE 1454077.515
AT ITER 457 NEW BEST:: SOT 14044600 SOS 8903515 HAS SOPS 8898341 HAS SOUS 1449219 HAS SOUPS 1445050 WITH SCORE 1453953.515
AT ITER 465 NEW BEST:: SOT 14046704 SOS 8905697 HAS SOPS 8900523 HAS SOUS 1448715 HAS SOUPS 1444546 WITH SCORE 1453451.697
AT ITER 469 NEW BEST:: SOT 14046704 SOS 8902961 HAS SOPS 8897787 HAS SOUS 1448677 HAS SOUPS 1444508 WITH SCORE 1453410.961
AT ITER 471 NEW BEST:: SOT 14045342 SOS 8898275 HAS SOPS 8893211 HAS SOUS 1448462 HAS SOUPS 1444315 WITH SCORE 1453213.275
AT ITER 472 NEW BEST:: SOT 14059843 SOS 8938471 HAS SOPS 8933117 HAS SOUS 1444793 HAS SOUPS 1440464 WITH SCORE 1449402.471
AT ITER 475 NEW BEST:: SOT 14059843 SOS 8965716 HAS SOPS 8959942 HAS SOUS 1444408 HAS SOUPS 1439892 WITH SCORE 1448857.716
AT ITER 479 NEW BEST:: SOT 14056851 SOS 8962724 HAS SOPS 8956950 HAS SOUS 1442215 HAS SOUPS 1437699 WITH SCORE 1446661.724
AT ITER 483 NEW BEST:: SOT 14054645 SOS 8960518 HAS SOPS 8954744 HAS SOUS 1440093 HAS SOUPS 1435577 WITH SCORE 1444537.518
AT ITER 485 NEW BEST:: SOT 14054099 SOS 8959972 HAS SOPS 8954198 HAS SOUS 1439595 HAS SOUPS 1435079 WITH SCORE 1444038.972
AT ITER 491 NEW BEST:: SOT 14053261 SOS 8959134 HAS SOPS 8953360 HAS SOUS 1434002 HAS SOUPS 1429486 WITH SCORE 1438445.134
AT ITER 496 NEW BEST:: SOT 14053261 SOS 8959134 HAS SOPS 8953360 HAS SOUS 1433806 HAS SOUPS 1429290 WITH SCORE 1438249.134
AT ITER 498 NEW BEST:: SOT 14053190 SOS 8958922 HAS SOPS 8953158 HAS SOUS 1427880 HAS SOUPS 1423374 WITH SCORE 1432332.922
AT ITER 504 NEW BEST:: SOT 14053142 SOS 8958874 HAS SOPS 8953110 HAS SOUS 1427713 HAS SOUPS 1423207 WITH SCORE 1432165.874
AT ITER 507 NEW BEST:: SOT 14046655 SOS 8953115 HAS SOPS 8947351 HAS SOUS 1423659 HAS SOUPS 1419153 WITH SCORE 1428106.115
AT ITER 508 NEW BEST:: SOT 14046655 SOS 8951675 HAS SOPS 8945911 HAS SOUS 1423659 HAS SOUPS 1419153 WITH SCORE 1428104.675
AT ITER 509 NEW BEST:: SOT 14045893 SOS 8950993 HAS SOPS 8945229 HAS SOUS 1422352 HAS SOUPS 1417846 WITH SCORE 1426796.993
AT ITER 513 NEW BEST:: SOT 14044838 SOS 8949938 HAS SOPS 8944174 HAS SOUS 1420240 HAS SOUPS 1415734 WITH SCORE 1424683.938
AT ITER 518 NEW BEST:: SOT 14044838 SOS 8949553 HAS SOPS 8943789 HAS SOUS 1420170 HAS SOUPS 1415664 WITH SCORE 1424613.553
AT ITER 530 NEW BEST:: SOT 14044885 SOS 8948536 HAS SOPS 8942772 HAS SOUS 1420116 HAS SOUPS 1415610 WITH SCORE 1424558.536
AT ITER 533 NEW BEST:: SOT 14042343 SOS 8945994 HAS SOPS 8940230 HAS SOUS 1417668 HAS SOUPS 1413162 WITH SCORE 1422107.994
AT ITER 534 NEW BEST:: SOT 14042331 SOS 8950126 HAS SOPS 8944362 HAS SOUS 1417642 HAS SOUPS 1413136 WITH SCORE 1422086.126
AT ITER 535 NEW BEST:: SOT 14042331 SOS 8950126 HAS SOPS 8944362 HAS SOUS 1417610 HAS SOUPS 1413104 WITH SCORE 1422054.126
AT ITER 537 NEW BEST:: SOT 14042331 SOS 8949988 HAS SOPS 8944253 HAS SOUS 1417578 HAS SOUPS 1413101 WITH SCORE 1422050.988
AT ITER 539 NEW BEST:: SOT 14042331 SOS 8944876 HAS SOPS 8939141 HAS SOUS 1417578 HAS SOUPS 1413101 WITH SCORE 1422045.876
AT ITER 552 NEW BEST:: SOT 14042331 SOS 8944876 HAS SOPS 8939141 HAS SOUS 1417486 HAS SOUPS 1413009 WITH SCORE 1421953.876
AT ITER 558 NEW BEST:: SOT 14054807 SOS 8960418 HAS SOPS 8954809 HAS SOUS 1412821 HAS SOUPS 1408344 WITH SCORE 1417304.418
AT ITER 561 NEW BEST:: SOT 14054174 SOS 8959709 HAS SOPS 8954143 HAS SOUS 1409823 HAS SOUPS 1405389 WITH SCORE 1414348.709
AT ITER 563 NEW BEST:: SOT 14051287 SOS 8959722 HAS SOPS 8954156 HAS SOUS 1409336 HAS SOUPS 1404902 WITH SCORE 1413861.722
AT ITER 566 NEW BEST:: SOT 14051287 SOS 8959722 HAS SOPS 8954156 HAS SOUS 1409265 HAS SOUPS 1404831 WITH SCORE 1413790.722
AT ITER 574 NEW BEST:: SOT 14049619 SOS 8958971 HAS SOPS 8953731 HAS SOUS 1403689 HAS SOUPS 1399581 WITH SCORE 1408539.971
AT ITER 579 NEW BEST:: SOT 14049619 SOS 8958971 HAS SOPS 8953731 HAS SOUS 1403567 HAS SOUPS 1399459 WITH SCORE 1408417.971
AT ITER 597 NEW BEST:: SOT 14049619 SOS 8958971 HAS SOPS 8953731 HAS SOUS 1403558 HAS SOUPS 1399450 WITH SCORE 1408408.971
AT ITER 604 NEW BEST:: SOT 14049619 SOS 8953281 HAS SOPS 8948041 HAS SOUS 1403504 HAS SOUPS 1399396 WITH SCORE 1408349.281
AT ITER 607 NEW BEST:: SOT 14049619 SOS 8953281 HAS SOPS 8948041 HAS SOUS 1403497 HAS SOUPS 1399389 WITH SCORE 1408342.281
AT ITER 622 NEW BEST:: SOT 14049619 SOS 8949777 HAS SOPS 8944537 HAS SOUS 1403449 HAS SOUPS 1399341 WITH SCORE 1408290.777
AT ITER 639 NEW BEST:: SOT 14045752 SOS 8946966 HAS SOPS 8941726 HAS SOUS 1403213 HAS SOUPS 1399105 WITH SCORE 1408051.966
AT ITER 648 NEW BEST:: SOT 14046912 SOS 8948462 HAS SOPS 8943222 HAS SOUS 1402536 HAS SOUPS 1398428 WITH SCORE 1407376.462
AT ITER 661 NEW BEST:: SOT 14045699 SOS 8947261 HAS SOPS 8942021 HAS SOUS 1401848 HAS SOUPS 1397740 WITH SCORE 1406687.261
AT ITER 663 NEW BEST:: SOT 14045770 SOS 8947344 HAS SOPS 8942104 HAS SOUS 1401785 HAS SOUPS 1397677 WITH SCORE 1406624.344
AT ITER 664 NEW BEST:: SOT 13890893 SOS 11538091 HAS SOPS 11534353 HAS SOUS 1247207 HAS SOUPS 1243985 WITH SCORE 1255523.091
AT ITER 666 NEW BEST:: SOT 13892661 SOS 11539859 HAS SOPS 11536121 HAS SOUS 1247139 HAS SOUPS 1243917 WITH SCORE 1255456.859
AT ITER 669 NEW BEST:: SOT 13904816 SOS 11552014 HAS SOPS 11548276 HAS SOUS 1235561 HAS SOUPS 1232339 WITH SCORE 1243891.014
AT ITER 672 NEW BEST:: SOT 13904777 SOS 11551975 HAS SOPS 11548237 HAS SOUS 1235561 HAS SOUPS 1232339 WITH SCORE 1243890.975
AT ITER 677 NEW BEST:: SOT 13904777 SOS 11550175 HAS SOPS 11546437 HAS SOUS 1235536 HAS SOUPS 1232314 WITH SCORE 1243864.175
AT ITER 682 NEW BEST:: SOT 13904777 SOS 11476672 HAS SOPS 11472934 HAS SOUS 1235521 HAS SOUPS 1232299 WITH SCORE 1243775.672
AT ITER 683 NEW BEST:: SOT 13904777 SOS 11476617 HAS SOPS 11472879 HAS SOUS 1235465 HAS SOUPS 1232243 WITH SCORE 1243719.617
AT ITER 692 NEW BEST:: SOT 13905619 SOS 11477459 HAS SOPS 11473721 HAS SOUS 1233597 HAS SOUPS 1230375 WITH SCORE 1241852.459
AT ITER 697 NEW BEST:: SOT 13905584 SOS 11477424 HAS SOPS 11473686 HAS SOUS 1233207 HAS SOUPS 1229985 WITH SCORE 1241462.424
AT ITER 708 NEW BEST:: SOT 13905584 SOS 11471232 HAS SOPS 11467494 HAS SOUS 1233207 HAS SOUPS 1229985 WITH SCORE 1241456.232
AT ITER 709 NEW BEST:: SOT 13906952 SOS 11472944 HAS SOPS 11469206 HAS SOUS 1229783 HAS SOUPS 1226561 WITH SCORE 1238033.944
AT ITER 717 NEW BEST:: SOT 13896899 SOS 11464095 HAS SOPS 11460357 HAS SOUS 1217750 HAS SOUPS 1214528 WITH SCORE 1225992.095
AT ITER 747 NEW BEST:: SOT 13896899 SOS 11459415 HAS SOPS 11455677 HAS SOUS 1217750 HAS SOUPS 1214528 WITH SCORE 1225987.415
AT ITER 753 NEW BEST:: SOT 13892732 SOS 11455968 HAS SOPS 11452230 HAS SOUS 1210181 HAS SOUPS 1206959 WITH SCORE 1218414.968
AT ITER 758 NEW BEST:: SOT 13892732 SOS 11451144 HAS SOPS 11447406 HAS SOUS 1210181 HAS SOUPS 1206959 WITH SCORE 1218410.144
AT ITER 761 NEW BEST:: SOT 13892732 SOS 11451144 HAS SOPS 11447406 HAS SOUS 1210066 HAS SOUPS 1206844 WITH SCORE 1218295.144
AT ITER 764 NEW BEST:: SOT 13892125 SOS 11450537 HAS SOPS 11446799 HAS SOUS 1188103 HAS SOUPS 1184881 WITH SCORE 1196331.537
AT ITER 771 NEW BEST:: SOT 13892125 SOS 11450447 HAS SOPS 11446709 HAS SOUS 1187967 HAS SOUPS 1184745 WITH SCORE 1196195.447
AT ITER 773 NEW BEST:: SOT 13892125 SOS 11450447 HAS SOPS 11446709 HAS SOUS 1187966 HAS SOUPS 1184744 WITH SCORE 1196194.447
AT ITER 779 NEW BEST:: SOT 13895141 SOS 11450411 HAS SOPS 11445516 HAS SOUS 1182434 HAS SOUPS 1178817 WITH SCORE 1190267.411
AT ITER 790 NEW BEST:: SOT 13895141 SOS 11450352 HAS SOPS 11445457 HAS SOUS 1182434 HAS SOUPS 1178817 WITH SCORE 1190267.352
AT ITER 792 NEW BEST:: SOT 13895141 SOS 11449024 HAS SOPS 11444129 HAS SOUS 1182253 HAS SOUPS 1178636 WITH SCORE 1190085.024
AT ITER 799 NEW BEST:: SOT 13895141 SOS 11449004 HAS SOPS 11444109 HAS SOUS 1182253 HAS SOUPS 1178636 WITH SCORE 1190085.004
AT ITER 804 NEW BEST:: SOT 13894845 SOS 11448708 HAS SOPS 11443813 HAS SOUS 1181651 HAS SOUPS 1178034 WITH SCORE 1189482.708
AT ITER 812 NEW BEST:: SOT 13894845 SOS 11442012 HAS SOPS 11437117 HAS SOUS 1181558 HAS SOUPS 1177941 WITH SCORE 1189383.012
AT ITER 814 NEW BEST:: SOT 13894845 SOS 11441613 HAS SOPS 11436718 HAS SOUS 1181493 HAS SOUPS 1177876 WITH SCORE 1189317.613
AT ITER 818 NEW BEST:: SOT 13894845 SOS 11438547 HAS SOPS 11433652 HAS SOUS 1181451 HAS SOUPS 1177834 WITH SCORE 1189272.547
AT ITER 822 NEW BEST:: SOT 13909661 SOS 11454153 HAS SOPS 11448831 HAS SOUS 1178446 HAS SOUPS 1174578 WITH SCORE 1186032.153
AT ITER 832 NEW BEST:: SOT 13912417 SOS 11457019 HAS SOPS 11451697 HAS SOUS 1177798 HAS SOUPS 1173930 WITH SCORE 1185387.019
AT ITER 842 NEW BEST:: SOT 13912408 SOS 11457010 HAS SOPS 11451688 HAS SOUS 1177777 HAS SOUPS 1173909 WITH SCORE 1185366.01
AT ITER 845 NEW BEST:: SOT 13913600 SOS 11458410 HAS SOPS 11453088 HAS SOUS 1175729 HAS SOUPS 1171861 WITH SCORE 1183319.41
AT ITER 862 NEW BEST:: SOT 13911794 SOS 11454688 HAS SOPS 11450523 HAS SOUS 1163833 HAS SOUPS 1160360 WITH SCORE 1171814.688
AT ITER 865 NEW BEST:: SOT 13910886 SOS 11453780 HAS SOPS 11449615 HAS SOUS 1159289 HAS SOUPS 1155816 WITH SCORE 1167269.78
AT ITER 905 NEW BEST:: SOT 13910886 SOS 11445048 HAS SOPS 11440883 HAS SOUS 1159289 HAS SOUPS 1155816 WITH SCORE 1167261.048
AT ITER 908 NEW BEST:: SOT 13910886 SOS 11443543 HAS SOPS 11439378 HAS SOUS 1159159 HAS SOUPS 1155686 WITH SCORE 1167129.543
AT ITER 917 NEW BEST:: SOT 13926197 SOS 11458854 HAS SOPS 11454689 HAS SOUS 1156135 HAS SOUPS 1152662 WITH SCORE 1164120.854
AT ITER 923 NEW BEST:: SOT 13937429 SOS 11470842 HAS SOPS 11466677 HAS SOUS 1155176 HAS SOUPS 1151703 WITH SCORE 1163173.842
AT ITER 935 NEW BEST:: SOT 13937429 SOS 11480922 HAS SOPS 11476757 HAS SOUS 1155036 HAS SOUPS 1151563 WITH SCORE 1163043.922
AT ITER 939 NEW BEST:: SOT 13933490 SOS 11476983 HAS SOPS 11472818 HAS SOUS 1148846 HAS SOUPS 1145373 WITH SCORE 1156849.983
AT ITER 942 NEW BEST:: SOT 13933490 SOS 11476905 HAS SOPS 11472740 HAS SOUS 1148806 HAS SOUPS 1145333 WITH SCORE 1156809.905
AT ITER 947 NEW BEST:: SOT 13929350 SOS 11472681 HAS SOPS 11468516 HAS SOUS 1148480 HAS SOUPS 1145007 WITH SCORE 1156479.681
AT ITER 966 NEW BEST:: SOT 13926912 SOS 11491159 HAS SOPS 11486994 HAS SOUS 1146650 HAS SOUPS 1143177 WITH SCORE 1154668.159
AT ITER 978 NEW BEST:: SOT 13926912 SOS 11480957 HAS SOPS 11476792 HAS SOUS 1146650 HAS SOUPS 1143177 WITH SCORE 1154657.957
AT ITER 982 NEW BEST:: SOT 13926912 SOS 11480945 HAS SOPS 11476780 HAS SOUS 1146650 HAS SOUPS 1143177 WITH SCORE 1154657.945
AT ITER 986 NEW BEST:: SOT 13926799 SOS 11480832 HAS SOPS 11476667 HAS SOUS 1146557 HAS SOUPS 1143084 WITH SCORE 1154564.832
AT ITER 987 NEW BEST:: SOT 13924570 SOS 11478603 HAS SOPS 11474438 HAS SOUS 1135292 HAS SOUPS 1131819 WITH SCORE 1143297.603
AT ITER 994 NEW BEST:: SOT 13924570 SOS 11478604 HAS SOPS 11474439 HAS SOUS 1135252 HAS SOUPS 1131779 WITH SCORE 1143257.604
AT ITER 1022 NEW BEST:: SOT 13923241 SOS 11477672 HAS SOPS 11473507 HAS SOUS 1132952 HAS SOUPS 1129479 WITH SCORE 1140956.672
AT ITER 1048 NEW BEST:: SOT 13923241 SOS 11477672 HAS SOPS 11473507 HAS SOUS 1132927 HAS SOUPS 1129454 WITH SCORE 1140931.672
AT ITER 1064 NEW BEST:: SOT 13923241 SOS 11471336 HAS SOPS 11467171 HAS SOUS 1132839 HAS SOUPS 1129366 WITH SCORE 1140837.336
AT ITER 1107 NEW BEST:: SOT 13923241 SOS 11471336 HAS SOPS 11467171 HAS SOUS 1132668 HAS SOUPS 1129195 WITH SCORE 1140666.336
AT ITER 1113 NEW BEST:: SOT 13922180 SOS 11469385 HAS SOPS 11465441 HAS SOUS 1121812 HAS SOUPS 1118423 WITH SCORE 1129892.385
AT ITER 1130 NEW BEST:: SOT 13922180 SOS 11468449 HAS SOPS 11464505 HAS SOUS 1121812 HAS SOUPS 1118423 WITH SCORE 1129891.449
AT ITER 1150 NEW BEST:: SOT 13923677 SOS 11469946 HAS SOPS 11466002 HAS SOUS 1120959 HAS SOUPS 1117570 WITH SCORE 1129039.946
AT ITER 1151 NEW BEST:: SOT 13923588 SOS 11469857 HAS SOPS 11465913 HAS SOUS 1115059 HAS SOUPS 1111670 WITH SCORE 1123139.857
AT ITER 1161 NEW BEST:: SOT 13923588 SOS 11469857 HAS SOPS 11465913 HAS SOUS 1115013 HAS SOUPS 1111624 WITH SCORE 1123093.857
AT ITER 1162 NEW BEST:: SOT 13930065 SOS 11477606 HAS SOPS 11473238 HAS SOUS 1108925 HAS SOUPS 1105430 WITH SCORE 1116907.606
AT ITER 1165 NEW BEST:: SOT 13930065 SOS 11477606 HAS SOPS 11473238 HAS SOUS 1108804 HAS SOUPS 1105309 WITH SCORE 1116786.606
AT ITER 1170 NEW BEST:: SOT 13930910 SOS 11478535 HAS SOPS 11474167 HAS SOUS 1108196 HAS SOUPS 1104701 WITH SCORE 1116179.535
AT ITER 1176 NEW BEST:: SOT 13930910 SOS 11478535 HAS SOPS 11474167 HAS SOUS 1108073 HAS SOUPS 1104578 WITH SCORE 1116056.535
AT ITER 1185 NEW BEST:: SOT 13930316 SOS 11477941 HAS SOPS 11473573 HAS SOUS 1105804 HAS SOUPS 1102309 WITH SCORE 1113786.941
AT ITER 1195 NEW BEST:: SOT 13930316 SOS 11477476 HAS SOPS 11473187 HAS SOUS 1105725 HAS SOUPS 1102309 WITH SCORE 1113786.476
AT ITER 1202 NEW BEST:: SOT 13930454 SOS 11477614 HAS SOPS 11473325 HAS SOUS 1105687 HAS SOUPS 1102271 WITH SCORE 1113748.614
AT ITER 1209 NEW BEST:: SOT 13929788 SOS 11476948 HAS SOPS 11472659 HAS SOUS 1098236 HAS SOUPS 1094820 WITH SCORE 1106296.948
AT ITER 1211 NEW BEST:: SOT 13929788 SOS 11476426 HAS SOPS 11472137 HAS SOUS 1098024 HAS SOUPS 1094608 WITH SCORE 1106084.426
AT ITER 1218 NEW BEST:: SOT 13929788 SOS 11476426 HAS SOPS 11472137 HAS SOUS 1097946 HAS SOUPS 1094530 WITH SCORE 1106006.426
AT ITER 1240 NEW BEST:: SOT 13931719 SOS 11477567 HAS SOPS 11473705 HAS SOUS 1094774 HAS SOUPS 1091609 WITH SCORE 1103086.567
AT ITER 1243 NEW BEST:: SOT 13922922 SOS 11468770 HAS SOPS 11464908 HAS SOUS 1082715 HAS SOUPS 1079550 WITH SCORE 1091018.77
AT ITER 1244 NEW BEST:: SOT 13922919 SOS 11468767 HAS SOPS 11464905 HAS SOUS 1082713 HAS SOUPS 1079548 WITH SCORE 1091016.767
AT ITER 1247 NEW BEST:: SOT 13921112 SOS 11466899 HAS SOPS 11463045 HAS SOUS 1075389 HAS SOUPS 1072232 WITH SCORE 1083698.899
AT ITER 1248 NEW BEST:: SOT 13921138 SOS 11120041 HAS SOPS 11116187 HAS SOUS 1075336 HAS SOUPS 1072179 WITH SCORE 1083299.041
AT ITER 1256 NEW BEST:: SOT 13921138 SOS 11112625 HAS SOPS 11108771 HAS SOUS 1075336 HAS SOUPS 1072179 WITH SCORE 1083291.625
AT ITER 1276 NEW BEST:: SOT 13918855 SOS 11110342 HAS SOPS 11106488 HAS SOUS 1074900 HAS SOUPS 1071743 WITH SCORE 1082853.342
AT ITER 1281 NEW BEST:: SOT 13918855 SOS 11105158 HAS SOPS 11101304 HAS SOUS 1074900 HAS SOUPS 1071743 WITH SCORE 1082848.158
AT ITER 1283 NEW BEST:: SOT 13917589 SOS 11103892 HAS SOPS 11100038 HAS SOUS 1066668 HAS SOUPS 1063511 WITH SCORE 1074614.892
AT ITER 1295 NEW BEST:: SOT 13917589 SOS 11103892 HAS SOPS 11100038 HAS SOUS 1066557 HAS SOUPS 1063400 WITH SCORE 1074503.892
AT ITER 1309 NEW BEST:: SOT 13917589 SOS 11103879 HAS SOPS 11100025 HAS SOUS 1066557 HAS SOUPS 1063400 WITH SCORE 1074503.879
AT ITER 1327 NEW BEST:: SOT 13917319 SOS 11103609 HAS SOPS 11099755 HAS SOUS 1066025 HAS SOUPS 1062868 WITH SCORE 1073971.609
AT ITER 1350 NEW BEST:: SOT 13917319 SOS 11097201 HAS SOPS 11093347 HAS SOUS 1066025 HAS SOUPS 1062868 WITH SCORE 1073965.201
AT ITER 1364 NEW BEST:: SOT 13917319 SOS 11092109 HAS SOPS 11088255 HAS SOUS 1066025 HAS SOUPS 1062868 WITH SCORE 1073960.109
AT ITER 1370 NEW BEST:: SOT 13916619 SOS 11091409 HAS SOPS 11087555 HAS SOUS 1061149 HAS SOUPS 1057992 WITH SCORE 1069083.409
AT ITER 1380 NEW BEST:: SOT 13916651 SOS 11091441 HAS SOPS 11087587 HAS SOUS 1053794 HAS SOUPS 1050637 WITH SCORE 1061728.441
AT ITER 1381 NEW BEST:: SOT 13916664 SOS 11091454 HAS SOPS 11087600 HAS SOUS 1053781 HAS SOUPS 1050624 WITH SCORE 1061715.454
AT ITER 1384 NEW BEST:: SOT 13916664 SOS 11089078 HAS SOPS 11085224 HAS SOUS 1053781 HAS SOUPS 1050624 WITH SCORE 1061713.078
AT ITER 1395 NEW BEST:: SOT 13911343 SOS 11071085 HAS SOPS 11067231 HAS SOUS 1048152 HAS SOUPS 1044995 WITH SCORE 1056066.085
AT ITER 1415 NEW BEST:: SOT 13911372 SOS 11071120 HAS SOPS 11067266 HAS SOUS 1048115 HAS SOUPS 1044958 WITH SCORE 1056029.12
AT ITER 1420 NEW BEST:: SOT 13908020 SOS 11067811 HAS SOPS 11063957 HAS SOUS 1045543 HAS SOUPS 1042386 WITH SCORE 1053453.811
AT ITER 1423 NEW BEST:: SOT 13908020 SOS 11067765 HAS SOPS 11063911 HAS SOUS 1045490 HAS SOUPS 1042333 WITH SCORE 1053400.765
AT ITER 1433 NEW BEST:: SOT 13905144 SOS 11065212 HAS SOPS 11061433 HAS SOUS 1040063 HAS SOUPS 1036906 WITH SCORE 1047971.212
AT ITER 1457 NEW BEST:: SOT 13905345 SOS 11065449 HAS SOPS 11061670 HAS SOUS 1039917 HAS SOUPS 1036760 WITH SCORE 1047825.449
AT ITER 1467 NEW BEST:: SOT 13905345 SOS 11050246 HAS SOPS 11046467 HAS SOUS 1039721 HAS SOUPS 1036564 WITH SCORE 1047614.246
AT ITER 1477 NEW BEST:: SOT 13905343 SOS 11050244 HAS SOPS 11046465 HAS SOUS 1039719 HAS SOUPS 1036562 WITH SCORE 1047612.244
AT ITER 1484 NEW BEST:: SOT 13905343 SOS 11045708 HAS SOPS 11041929 HAS SOUS 1039719 HAS SOUPS 1036562 WITH SCORE 1047607.708
AT ITER 1490 NEW BEST:: SOT 13908809 SOS 11049174 HAS SOPS 11045395 HAS SOUS 1037413 HAS SOUPS 1034256 WITH SCORE 1045305.174
AT ITER 1510 NEW BEST:: SOT 13908809 SOS 11049318 HAS SOPS 11045539 HAS SOUS 1037280 HAS SOUPS 1034123 WITH SCORE 1045172.318
AT ITER 1511 NEW BEST:: SOT 13908809 SOS 11059542 HAS SOPS 11055763 HAS SOUS 1037117 HAS SOUPS 1033960 WITH SCORE 1045019.542
AT ITER 1512 NEW BEST:: SOT 13908523 SOS 11059256 HAS SOPS 11055477 HAS SOUS 1032553 HAS SOUPS 1029396 WITH SCORE 1040455.256
AT ITER 1516 NEW BEST:: SOT 13908523 SOS 11059256 HAS SOPS 11055477 HAS SOUS 1032353 HAS SOUPS 1029196 WITH SCORE 1040255.256
AT ITER 1525 NEW BEST:: SOT 13909827 SOS 11056078 HAS SOPS 11052299 HAS SOUS 1031965 HAS SOUPS 1028808 WITH SCORE 1039864.078
AT ITER 1526 NEW BEST:: SOT 13910598 SOS 11056849 HAS SOPS 11053070 HAS SOUS 1030874 HAS SOUPS 1027717 WITH SCORE 1038773.849
AT ITER 1542 NEW BEST:: SOT 13910760 SOS 11057011 HAS SOPS 11053232 HAS SOUS 1029326 HAS SOUPS 1026169 WITH SCORE 1037226.011
AT ITER 1548 NEW BEST:: SOT 13910760 SOS 11053771 HAS SOPS 11049992 HAS SOUS 1029326 HAS SOUPS 1026169 WITH SCORE 1037222.771
AT ITER 1553 NEW BEST:: SOT 13910760 SOS 11053771 HAS SOPS 11049992 HAS SOUS 1029282 HAS SOUPS 1026125 WITH SCORE 1037178.771
AT ITER 1562 NEW BEST:: SOT 13910759 SOS 11053770 HAS SOPS 11049991 HAS SOUS 1029281 HAS SOUPS 1026124 WITH SCORE 1037177.77
AT ITER 1567 NEW BEST:: SOT 13911374 SOS 11054661 HAS SOPS 11050882 HAS SOUS 1022506 HAS SOUPS 1019349 WITH SCORE 1030403.661
AT ITER 1584 NEW BEST:: SOT 13911202 SOS 11054489 HAS SOPS 11050710 HAS SOUS 1022126 HAS SOUPS 1018969 WITH SCORE 1030023.489
AT ITER 1589 NEW BEST:: SOT 13911202 SOS 11054489 HAS SOPS 11050710 HAS SOUS 1022120 HAS SOUPS 1018963 WITH SCORE 1030017.489
AT ITER 1596 NEW BEST:: SOT 13911111 SOS 11054465 HAS SOPS 11050686 HAS SOUS 1022093 HAS SOUPS 1018936 WITH SCORE 1029990.465
AT ITER 1603 NEW BEST:: SOT 13911111 SOS 11052737 HAS SOPS 11048958 HAS SOUS 1022093 HAS SOUPS 1018936 WITH SCORE 1029988.737
AT ITER 1610 NEW BEST:: SOT 13911563 SOS 11053189 HAS SOPS 11049410 HAS SOUS 1021963 HAS SOUPS 1018806 WITH SCORE 1029859.189
AT ITER 1614 NEW BEST:: SOT 13911563 SOS 11015762 HAS SOPS 11011983 HAS SOUS 1021944 HAS SOUPS 1018787 WITH SCORE 1029802.762
AT ITER 1623 NEW BEST:: SOT 13911563 SOS 11015022 HAS SOPS 11011243 HAS SOUS 1021934 HAS SOUPS 1018777 WITH SCORE 1029792.022
AT ITER 1629 NEW BEST:: SOT 13911987 SOS 11011810 HAS SOPS 11008031 HAS SOUS 1021014 HAS SOUPS 1017857 WITH SCORE 1028868.81
AT ITER 1641 NEW BEST:: SOT 13915615 SOS 11015438 HAS SOPS 11011659 HAS SOUS 1017354 HAS SOUPS 1014197 WITH SCORE 1025212.438
AT ITER 1645 NEW BEST:: SOT 13915615 SOS 11003235 HAS SOPS 10999456 HAS SOUS 1017191 HAS SOUPS 1014034 WITH SCORE 1025037.235
AT ITER 1655 NEW BEST:: SOT 13914886 SOS 11002506 HAS SOPS 10998727 HAS SOUS 1015709 HAS SOUPS 1012552 WITH SCORE 1023554.506
AT ITER 1660 NEW BEST:: SOT 13914886 SOS 11001995 HAS SOPS 10998309 HAS SOUS 1015598 HAS SOUPS 1012534 WITH SCORE 1023535.995
AT ITER 1667 NEW BEST:: SOT 13914886 SOS 11001779 HAS SOPS 10998093 HAS SOUS 1015598 HAS SOUPS 1012534 WITH SCORE 1023535.779
AT ITER 1680 NEW BEST:: SOT 13914852 SOS 11001745 HAS SOPS 10998059 HAS SOUS 1015581 HAS SOUPS 1012517 WITH SCORE 1023518.745
AT ITER 1699 NEW BEST:: SOT 13914852 SOS 11001025 HAS SOPS 10997339 HAS SOUS 1015581 HAS SOUPS 1012517 WITH SCORE 1023518.025
AT ITER 1712 NEW BEST:: SOT 13914852 SOS 11000621 HAS SOPS 10996935 HAS SOUS 1015581 HAS SOUPS 1012517 WITH SCORE 1023517.621
AT ITER 1714 NEW BEST:: SOT 13912948 SOS 10996413 HAS SOPS 10992727 HAS SOUS 1002853 HAS SOUPS 999789 WITH SCORE 1010785.413
AT ITER 1725 NEW BEST:: SOT 13912948 SOS 10995261 HAS SOPS 10991575 HAS SOUS 1002853 HAS SOUPS 999789 WITH SCORE 1010784.261
AT ITER 1738 NEW BEST:: SOT 13912971 SOS 10995261 HAS SOPS 10991575 HAS SOUS 1002840 HAS SOUPS 999776 WITH SCORE 1010771.261
AT ITER 1760 NEW BEST:: SOT 13909143 SOS 10991433 HAS SOPS 10987747 HAS SOUS 1000611 HAS SOUPS 997547 WITH SCORE 1008538.433
AT ITER 1761 NEW BEST:: SOT 13909143 SOS 10991066 HAS SOPS 10987455 HAS SOUS 1000536 HAS SOUPS 997547 WITH SCORE 1008538.066
AT ITER 1767 NEW BEST:: SOT 13909143 SOS 10987216 HAS SOPS 10983605 HAS SOUS 1000411 HAS SOUPS 997422 WITH SCORE 1008409.216
AT ITER 1781 NEW BEST:: SOT 13909143 SOS 10979080 HAS SOPS 10975469 HAS SOUS 1000411 HAS SOUPS 997422 WITH SCORE 1008401.08
AT ITER 1782 NEW BEST:: SOT 13909143 SOS 10971016 HAS SOPS 10967405 HAS SOUS 1000411 HAS SOUPS 997422 WITH SCORE 1008393.016
AT ITER 1784 NEW BEST:: SOT 13909159 SOS 10969617 HAS SOPS 10965149 HAS SOUS 1000352 HAS SOUPS 996506 WITH SCORE 1007475.617
AT ITER 1804 NEW BEST:: SOT 13908494 SOS 10968952 HAS SOPS 10964484 HAS SOUS 998957 HAS SOUPS 995111 WITH SCORE 1006079.952
AT ITER 1805 NEW BEST:: SOT 13908477 SOS 10968918 HAS SOPS 10964450 HAS SOUS 998957 HAS SOUPS 995111 WITH SCORE 1006079.918
AT ITER 1814 NEW BEST:: SOT 13909471 SOS 10969912 HAS SOPS 10965444 HAS SOUS 996623 HAS SOUPS 992777 WITH SCORE 1003746.912
AT ITER 1824 NEW BEST:: SOT 13909471 SOS 10969012 HAS SOPS 10964544 HAS SOUS 996548 HAS SOUPS 992702 WITH SCORE 1003671.012
AT ITER 1831 NEW BEST:: SOT 13913059 SOS 10971430 HAS SOPS 10967303 HAS SOUS 989540 HAS SOUPS 985989 WITH SCORE 996960.43
AT ITER 1879 NEW BEST:: SOT 13915118 SOS 10973432 HAS SOPS 10969305 HAS SOUS 988778 HAS SOUPS 985227 WITH SCORE 996200.432
AT ITER 1882 NEW BEST:: SOT 13915118 SOS 10976022 HAS SOPS 10971895 HAS SOUS 988741 HAS SOUPS 985190 WITH SCORE 996166.022
AT ITER 1902 NEW BEST:: SOT 13914911 SOS 10975815 HAS SOPS 10971688 HAS SOUS 988324 HAS SOUPS 984773 WITH SCORE 995748.815
AT ITER 1904 NEW BEST:: SOT 13914911 SOS 10972833 HAS SOPS 10968706 HAS SOUS 988324 HAS SOUPS 984773 WITH SCORE 995745.833
AT ITER 1909 NEW BEST:: SOT 13914911 SOS 10971433 HAS SOPS 10967306 HAS SOUS 988324 HAS SOUPS 984773 WITH SCORE 995744.433
AT ITER 1918 NEW BEST:: SOT 13913925 SOS 10970447 HAS SOPS 10966320 HAS SOUS 987404 HAS SOUPS 983853 WITH SCORE 994823.447
AT ITER 1921 NEW BEST:: SOT 13916732 SOS 10973254 HAS SOPS 10969127 HAS SOUS 985363 HAS SOUPS 981812 WITH SCORE 992785.254
AT ITER 1932 NEW BEST:: SOT 13916732 SOS 10977221 HAS SOPS 10973094 HAS SOUS 985148 HAS SOUPS 981597 WITH SCORE 992574.221
AT ITER 1936 NEW BEST:: SOT 13916732 SOS 10977221 HAS SOPS 10973094 HAS SOUS 985143 HAS SOUPS 981592 WITH SCORE 992569.221
AT ITER 1942 NEW BEST:: SOT 13916732 SOS 10977100 HAS SOPS 10972973 HAS SOUS 985143 HAS SOUPS 981592 WITH SCORE 992569.1
AT ITER 1965 NEW BEST:: SOT 13916732 SOS 10984118 HAS SOPS 10979991 HAS SOUS 985044 HAS SOUPS 981493 WITH SCORE 992477.118
AT ITER 1978 NEW BEST:: SOT 13916732 SOS 10979453 HAS SOPS 10975326 HAS SOUS 984993 HAS SOUPS 981442 WITH SCORE 992421.453
AT ITER 1999 NEW BEST:: SOT 13915780 SOS 9223414 HAS SOPS 9219287 HAS SOUS 985054 HAS SOUPS 981503 WITH SCORE 990726.414
AT ITER 2000 NEW BEST:: SOT 13915780 SOS 9223146 HAS SOPS 9219019 HAS SOUS 984920 HAS SOUPS 981369 WITH SCORE 990592.146
AT ITER 2005 NEW BEST:: SOT 13915780 SOS 9226450 HAS SOPS 9222323 HAS SOUS 984887 HAS SOUPS 981336 WITH SCORE 990562.45
AT ITER 2012 NEW BEST:: SOT 13913723 SOS 9224361 HAS SOPS 9220234 HAS SOUS 980723 HAS SOUPS 977172 WITH SCORE 986396.361
AT ITER 2020 NEW BEST:: SOT 13913723 SOS 9232265 HAS SOPS 9228138 HAS SOUS 979621 HAS SOUPS 976070 WITH SCORE 985302.265
AT ITER 2025 NEW BEST:: SOT 13914015 SOS 9232557 HAS SOPS 9228430 HAS SOUS 979336 HAS SOUPS 975785 WITH SCORE 985017.557
AT ITER 2043 NEW BEST:: SOT 13915278 SOS 9233820 HAS SOPS 9229693 HAS SOUS 975197 HAS SOUPS 971646 WITH SCORE 980879.82
AT ITER 2046 NEW BEST:: SOT 13915278 SOS 9230940 HAS SOPS 9226813 HAS SOUS 975197 HAS SOUPS 971646 WITH SCORE 980876.94
AT ITER 2065 NEW BEST:: SOT 13915263 SOS 9230925 HAS SOPS 9226798 HAS SOUS 975182 HAS SOUPS 971631 WITH SCORE 980861.925
AT ITER 2067 NEW BEST:: SOT 13915263 SOS 9230931 HAS SOPS 9226804 HAS SOUS 975176 HAS SOUPS 971625 WITH SCORE 980855.931
AT ITER 2093 NEW BEST:: SOT 13914078 SOS 9229728 HAS SOPS 9225601 HAS SOUS 972758 HAS SOUPS 969207 WITH SCORE 978436.728
AT ITER 2101 NEW BEST:: SOT 13913708 SOS 9228757 HAS SOPS 9224765 HAS SOUS 971788 HAS SOUPS 968372 WITH SCORE 977600.757
AT ITER 2110 NEW BEST:: SOT 13914385 SOS 9229434 HAS SOPS 9225442 HAS SOUS 971762 HAS SOUPS 968346 WITH SCORE 977575.434
AT ITER 2121 NEW BEST:: SOT 13914347 SOS 9229396 HAS SOPS 9225404 HAS SOUS 971736 HAS SOUPS 968320 WITH SCORE 977549.396
AT ITER 2129 NEW BEST:: SOT 13914347 SOS 9228666 HAS SOPS 9224674 HAS SOUS 971726 HAS SOUPS 968310 WITH SCORE 977538.666
AT ITER 2133 NEW BEST:: SOT 13920555 SOS 9235706 HAS SOPS 9231588 HAS SOUS 970294 HAS SOUPS 966789 WITH SCORE 976024.706
AT ITER 2134 NEW BEST:: SOT 13920555 SOS 9235506 HAS SOPS 9231388 HAS SOUS 970193 HAS SOUPS 966688 WITH SCORE 975923.506
AT ITER 2154 NEW BEST:: SOT 13921736 SOS 9236687 HAS SOPS 9232983 HAS SOUS 968821 HAS SOUPS 965730 WITH SCORE 974966.687
AT ITER 2158 NEW BEST:: SOT 13921736 SOS 9234239 HAS SOPS 9230535 HAS SOUS 968821 HAS SOUPS 965730 WITH SCORE 974964.239
AT ITER 2161 NEW BEST:: SOT 13919951 SOS 9232499 HAS SOPS 9228795 HAS SOUS 967632 HAS SOUPS 964541 WITH SCORE 973773.499
AT ITER 2165 NEW BEST:: SOT 13914719 SOS 9225683 HAS SOPS 9222507 HAS SOUS 966906 HAS SOUPS 963947 WITH SCORE 973172.683
AT ITER 2168 NEW BEST:: SOT 13911825 SOS 9222677 HAS SOPS 9219501 HAS SOUS 966128 HAS SOUPS 963169 WITH SCORE 972391.677
AT ITER 2175 NEW BEST:: SOT 13911546 SOS 9222398 HAS SOPS 9219222 HAS SOUS 964871 HAS SOUPS 961912 WITH SCORE 971134.398
AT ITER 2181 NEW BEST:: SOT 13914456 SOS 9225308 HAS SOPS 9222132 HAS SOUS 960255 HAS SOUPS 957296 WITH SCORE 966521.308
AT ITER 2200 NEW BEST:: SOT 13914456 SOS 9225308 HAS SOPS 9222132 HAS SOUS 960169 HAS SOUPS 957210 WITH SCORE 966435.308
AT ITER 2220 NEW BEST:: SOT 13914456 SOS 9221132 HAS SOPS 9217956 HAS SOUS 960169 HAS SOUPS 957210 WITH SCORE 966431.132
AT ITER 2228 NEW BEST:: SOT 13906470 SOS 9212663 HAS SOPS 9209562 HAS SOUS 954961 HAS SOUPS 952077 WITH SCORE 961289.663
AT ITER 2237 NEW BEST:: SOT 13906470 SOS 9211511 HAS SOPS 9208410 HAS SOUS 954945 HAS SOUPS 952061 WITH SCORE 961272.511
AT ITER 2256 NEW BEST:: SOT 13906470 SOS 9226840 HAS SOPS 9223739 HAS SOUS 954715 HAS SOUPS 951831 WITH SCORE 961057.84
AT ITER 2269 NEW BEST:: SOT 13905556 SOS 9225926 HAS SOPS 9222825 HAS SOUS 953120 HAS SOUPS 950236 WITH SCORE 959461.926
AT ITER 2272 NEW BEST:: SOT 13907329 SOS 9227739 HAS SOPS 9224668 HAS SOUS 952791 HAS SOUPS 949907 WITH SCORE 959134.739
AT ITER 2279 NEW BEST:: SOT 13907329 SOS 9225579 HAS SOPS 9222508 HAS SOUS 952791 HAS SOUPS 949907 WITH SCORE 959132.579
AT ITER 2332 NEW BEST:: SOT 13907329 SOS 9225259 HAS SOPS 9222244 HAS SOUS 952641 HAS SOUPS 949813 WITH SCORE 959038.259
AT ITER 2348 NEW BEST:: SOT 13918508 SOS 9236698 HAS SOPS 9233801 HAS SOUS 951177 HAS SOUPS 948349 WITH SCORE 957585.698
AT ITER 2352 NEW BEST:: SOT 13918508 SOS 9246086 HAS SOPS 9243189 HAS SOUS 951045 HAS SOUPS 948217 WITH SCORE 957463.086
AT ITER 2385 NEW BEST:: SOT 13921525 SOS 9249103 HAS SOPS 9246206 HAS SOUS 950671 HAS SOUPS 947843 WITH SCORE 957092.103
AT ITER 2391 NEW BEST:: SOT 13921525 SOS 9247879 HAS SOPS 9244982 HAS SOUS 950671 HAS SOUPS 947843 WITH SCORE 957090.879
AT ITER 2396 NEW BEST:: SOT 13919393 SOS 9246569 HAS SOPS 9243672 HAS SOUS 948054 HAS SOUPS 945226 WITH SCORE 954472.569
AT ITER 2399 NEW BEST:: SOT 13919393 SOS 9255525 HAS SOPS 9252628 HAS SOUS 947916 HAS SOUPS 945088 WITH SCORE 954343.525
AT ITER 2403 NEW BEST:: SOT 13919393 SOS 9255525 HAS SOPS 9252628 HAS SOUS 947893 HAS SOUPS 945065 WITH SCORE 954320.525
AT ITER 2422 NEW BEST:: SOT 13919193 SOS 9255481 HAS SOPS 9252584 HAS SOUS 947729 HAS SOUPS 944901 WITH SCORE 954156.481
AT ITER 2427 NEW BEST:: SOT 13918631 SOS 9254922 HAS SOPS 9252025 HAS SOUS 946553 HAS SOUPS 943725 WITH SCORE 952979.922
AT ITER 2430 NEW BEST:: SOT 13913471 SOS 9249298 HAS SOPS 9246481 HAS SOUS 944032 HAS SOUPS 941252 WITH SCORE 950501.298
AT ITER 2432 NEW BEST:: SOT 13913471 SOS 9249668 HAS SOPS 9246786 HAS SOUS 944032 HAS SOUPS 941187 WITH SCORE 950436.668
AT ITER 2457 NEW BEST:: SOT 13913435 SOS 9252224 HAS SOPS 9249342 HAS SOUS 943996 HAS SOUPS 941151 WITH SCORE 950403.224
AT ITER 2468 NEW BEST:: SOT 13913435 SOS 9247760 HAS SOPS 9244878 HAS SOUS 943934 HAS SOUPS 941089 WITH SCORE 950336.76
AT ITER 2473 NEW BEST:: SOT 13913435 SOS 9243728 HAS SOPS 9240846 HAS SOUS 943934 HAS SOUPS 941089 WITH SCORE 950332.728
AT ITER 2477 NEW BEST:: SOT 13913038 SOS 9243340 HAS SOPS 9240458 HAS SOUS 943591 HAS SOUPS 940746 WITH SCORE 949989.34
AT ITER 2493 NEW BEST:: SOT 13913038 SOS 9238552 HAS SOPS 9235670 HAS SOUS 943534 HAS SOUPS 940689 WITH SCORE 949927.552
AT ITER 2497 NEW BEST:: SOT 13912314 SOS 9237839 HAS SOPS 9234957 HAS SOUS 942071 HAS SOUPS 939226 WITH SCORE 948463.839
AT ITER 2503 NEW BEST:: SOT 13912314 SOS 9235597 HAS SOPS 9232715 HAS SOUS 942071 HAS SOUPS 939226 WITH SCORE 948461.597
AT ITER 2507 NEW BEST:: SOT 13912208 SOS 9235191 HAS SOPS 9232309 HAS SOUS 941891 HAS SOUPS 939046 WITH SCORE 948281.191
AT ITER 2508 NEW BEST:: SOT 13912003 SOS 9234986 HAS SOPS 9232104 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943431.986
AT ITER 2511 NEW BEST:: SOT 13912003 SOS 9228650 HAS SOPS 9225768 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943425.65
AT ITER 2514 NEW BEST:: SOT 13912003 SOS 9227858 HAS SOPS 9224976 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943424.858
AT ITER 2549 NEW BEST:: SOT 13912003 SOS 9217814 HAS SOPS 9214932 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943414.814
AT ITER 2554 NEW BEST:: SOT 13912003 SOS 9214430 HAS SOPS 9211548 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943411.43
AT ITER 2569 NEW BEST:: SOT 13912003 SOS 9209678 HAS SOPS 9206796 HAS SOUS 937042 HAS SOUPS 934197 WITH SCORE 943406.678
AT ITER 2582 NEW BEST:: SOT 13912206 SOS 9209881 HAS SOPS 9206999 HAS SOUS 937011 HAS SOUPS 934166 WITH SCORE 943375.881
AT ITER 2586 NEW BEST:: SOT 13912206 SOS 9209838 HAS SOPS 9206956 HAS SOUS 936927 HAS SOUPS 934082 WITH SCORE 943291.838
AT ITER 2589 NEW BEST:: SOT 13914540 SOS 9212172 HAS SOPS 9209290 HAS SOUS 934763 HAS SOUPS 931918 WITH SCORE 941130.172
AT ITER 2599 NEW BEST:: SOT 13915857 SOS 9213460 HAS SOPS 9210578 HAS SOUS 932720 HAS SOUPS 929875 WITH SCORE 939088.46
AT ITER 2622 NEW BEST:: SOT 13915857 SOS 9213889 HAS SOPS 9210928 HAS SOUS 932720 HAS SOUPS 929796 WITH SCORE 939009.889
AT ITER 2626 NEW BEST:: SOT 13915857 SOS 9214589 HAS SOPS 9211628 HAS SOUS 932711 HAS SOUPS 929787 WITH SCORE 939001.589
AT ITER 2640 NEW BEST:: SOT 13915857 SOS 9210593 HAS SOPS 9207632 HAS SOUS 932657 HAS SOUPS 929733 WITH SCORE 938943.593
AT ITER 2655 NEW BEST:: SOT 13920381 SOS 9215167 HAS SOPS 9212206 HAS SOUS 931052 HAS SOUPS 928128 WITH SCORE 937343.167
AT ITER 2682 NEW BEST:: SOT 13921280 SOS 9215933 HAS SOPS 9213000 HAS SOUS 930188 HAS SOUPS 927292 WITH SCORE 936507.933
AT ITER 2709 NEW BEST:: SOT 13920844 SOS 9215497 HAS SOPS 9212564 HAS SOUS 929298 HAS SOUPS 926402 WITH SCORE 935617.497
AT ITER 2737 NEW BEST:: SOT 13919221 SOS 9213874 HAS SOPS 9210941 HAS SOUS 927899 HAS SOUPS 925003 WITH SCORE 934216.874
AT ITER 2751 NEW BEST:: SOT 13919221 SOS 9216466 HAS SOPS 9213533 HAS SOUS 927863 HAS SOUPS 924967 WITH SCORE 934183.466
AT ITER 2761 NEW BEST:: SOT 13919221 SOS 9214954 HAS SOPS 9212021 HAS SOUS 927863 HAS SOUPS 924967 WITH SCORE 934181.954
AT ITER 2765 NEW BEST:: SOT 13918469 SOS 9214201 HAS SOPS 9211268 HAS SOUS 927159 HAS SOUPS 924263 WITH SCORE 933477.201
AT ITER 2771 NEW BEST:: SOT 13918829 SOS 9214561 HAS SOPS 9211628 HAS SOUS 927078 HAS SOUPS 924182 WITH SCORE 933396.561
AT ITER 2778 NEW BEST:: SOT 13921007 SOS 9216739 HAS SOPS 9213806 HAS SOUS 926890 HAS SOUPS 923994 WITH SCORE 933210.739
AT ITER 2791 NEW BEST:: SOT 13920432 SOS 9216164 HAS SOPS 9213231 HAS SOUS 926836 HAS SOUPS 923940 WITH SCORE 933156.164
AT ITER 2828 NEW BEST:: SOT 13920432 SOS 9214796 HAS SOPS 9211863 HAS SOUS 926836 HAS SOUPS 923940 WITH SCORE 933154.796
AT ITER 2829 NEW BEST:: SOT 13918195 SOS 9212559 HAS SOPS 9209626 HAS SOUS 926644 HAS SOUPS 923748 WITH SCORE 932960.559
AT ITER 2864 NEW BEST:: SOT 13915108 SOS 9209472 HAS SOPS 9206539 HAS SOUS 920406 HAS SOUPS 917510 WITH SCORE 926719.472
AT ITER 2872 NEW BEST:: SOT 13915108 SOS 9209184 HAS SOPS 9206251 HAS SOUS 920406 HAS SOUPS 917510 WITH SCORE 926719.184
AT ITER 2888 NEW BEST:: SOT 13915108 SOS 9204648 HAS SOPS 9201715 HAS SOUS 920406 HAS SOUPS 917510 WITH SCORE 926714.648
AT ITER 2896 NEW BEST:: SOT 13915108 SOS 9202000 HAS SOPS 9199067 HAS SOUS 920359 HAS SOUPS 917463 WITH SCORE 926665.0
AT ITER 2902 NEW BEST:: SOT 13910919 SOS 9197811 HAS SOPS 9194878 HAS SOUS 916512 HAS SOUPS 913616 WITH SCORE 922813.811
AT ITER 2917 NEW BEST:: SOT 13910890 SOS 9197840 HAS SOPS 9194907 HAS SOUS 916407 HAS SOUPS 913511 WITH SCORE 922708.84
AT ITER 2922 NEW BEST:: SOT 13908817 SOS 9195509 HAS SOPS 9192576 HAS SOUS 914291 HAS SOUPS 911395 WITH SCORE 920590.509
AT ITER 2932 NEW BEST:: SOT 13909014 SOS 9195706 HAS SOPS 9192773 HAS SOUS 913550 HAS SOUPS 910654 WITH SCORE 919849.706
AT ITER 2937 NEW BEST:: SOT 13906971 SOS 9193663 HAS SOPS 9190730 HAS SOUS 913397 HAS SOUPS 910501 WITH SCORE 919694.663
AT ITER 2973 NEW BEST:: SOT 13906967 SOS 9193659 HAS SOPS 9190726 HAS SOUS 913393 HAS SOUPS 910497 WITH SCORE 919690.659
AT ITER 2979 NEW BEST:: SOT 13904889 SOS 9191581 HAS SOPS 9188648 HAS SOUS 911988 HAS SOUPS 909092 WITH SCORE 918283.581
AT ITER 2980 NEW BEST:: SOT 13904942 SOS 9015985 HAS SOPS 9013052 HAS SOUS 912000 HAS SOUPS 909104 WITH SCORE 918119.985
AT ITER 2993 NEW BEST:: SOT 13904428 SOS 9014987 HAS SOPS 9012054 HAS SOUS 911893 HAS SOUPS 908997 WITH SCORE 918011.987
AT ITER 3006 NEW BEST:: SOT 13905935 SOS 9016494 HAS SOPS 9013561 HAS SOUS 909523 HAS SOUPS 906627 WITH SCORE 915643.494
AT ITER 3014 NEW BEST:: SOT 13905935 SOS 9014874 HAS SOPS 9011941 HAS SOUS 909388 HAS SOUPS 906492 WITH SCORE 915506.874
AT ITER 3042 NEW BEST:: SOT 13908205 SOS 9017144 HAS SOPS 9014211 HAS SOUS 906577 HAS SOUPS 903681 WITH SCORE 912698.144
AT ITER 3049 NEW BEST:: SOT 13908205 SOS 9009872 HAS SOPS 9006939 HAS SOUS 906577 HAS SOUPS 903681 WITH SCORE 912690.872
AT ITER 3058 NEW BEST:: SOT 13908205 SOS 9009872 HAS SOPS 9006939 HAS SOUS 906511 HAS SOUPS 903615 WITH SCORE 912624.872
AT ITER 3063 NEW BEST:: SOT 13908200 SOS 9009867 HAS SOPS 9006934 HAS SOUS 906511 HAS SOUPS 903615 WITH SCORE 912624.867
AT ITER 3075 NEW BEST:: SOT 13907225 SOS 9008892 HAS SOPS 9005959 HAS SOUS 905988 HAS SOUPS 903092 WITH SCORE 912100.892
AT ITER 3090 NEW BEST:: SOT 13907225 SOS 9008873 HAS SOPS 9005940 HAS SOUS 905988 HAS SOUPS 903092 WITH SCORE 912100.873
AT ITER 3099 NEW BEST:: SOT 13908630 SOS 9010028 HAS SOPS 9007145 HAS SOUS 902431 HAS SOUPS 899585 WITH SCORE 908595.028
AT ITER 3101 NEW BEST:: SOT 13906714 SOS 9008112 HAS SOPS 9005229 HAS SOUS 900665 HAS SOUPS 897819 WITH SCORE 906827.112
AT ITER 3131 NEW BEST:: SOT 13906714 SOS 9005376 HAS SOPS 9002493 HAS SOUS 900665 HAS SOUPS 897819 WITH SCORE 906824.376
AT ITER 3133 NEW BEST:: SOT 13901170 SOS 8999918 HAS SOPS 8997035 HAS SOUS 898638 HAS SOUPS 895792 WITH SCORE 904791.918
AT ITER 3143 NEW BEST:: SOT 13897024 SOS 8995772 HAS SOPS 8992889 HAS SOUS 895566 HAS SOUPS 892720 WITH SCORE 901715.772
AT ITER 3153 NEW BEST:: SOT 13897024 SOS 8993396 HAS SOPS 8990513 HAS SOUS 895566 HAS SOUPS 892720 WITH SCORE 901713.396
AT ITER 3179 NEW BEST:: SOT 13897024 SOS 8993460 HAS SOPS 8990490 HAS SOUS 895478 HAS SOUPS 892633 WITH SCORE 901626.46
AT ITER 3184 NEW BEST:: SOT 13897024 SOS 8992668 HAS SOPS 8989698 HAS SOUS 895478 HAS SOUPS 892633 WITH SCORE 901625.668
AT ITER 3229 NEW BEST:: SOT 13897024 SOS 8987556 HAS SOPS 8984586 HAS SOUS 895478 HAS SOUPS 892633 WITH SCORE 901620.556
AT ITER 3232 NEW BEST:: SOT 13897227 SOS 8986873 HAS SOPS 8984029 HAS SOUS 892371 HAS SOUPS 889615 WITH SCORE 898601.873
AT ITER 3240 NEW BEST:: SOT 13897183 SOS 8986829 HAS SOPS 8983985 HAS SOUS 892371 HAS SOUPS 889615 WITH SCORE 898601.829
AT ITER 3246 NEW BEST:: SOT 13897183 SOS 8983769 HAS SOPS 8980925 HAS SOUS 891829 HAS SOUPS 889073 WITH SCORE 898056.769
AT ITER 3248 NEW BEST:: SOT 13897183 SOS 8983738 HAS SOPS 8980894 HAS SOUS 891829 HAS SOUPS 889073 WITH SCORE 898056.738
AT ITER 3252 NEW BEST:: SOT 13894140 SOS 8980717 HAS SOPS 8977873 HAS SOUS 889802 HAS SOUPS 887046 WITH SCORE 896026.717
AT ITER 3266 NEW BEST:: SOT 13894233 SOS 8980810 HAS SOPS 8977966 HAS SOUS 889747 HAS SOUPS 886991 WITH SCORE 895971.81
AT ITER 3275 NEW BEST:: SOT 13891468 SOS 8978045 HAS SOPS 8975201 HAS SOUS 886720 HAS SOUPS 883964 WITH SCORE 892942.045
AT ITER 3298 NEW BEST:: SOT 13891468 SOS 8969768 HAS SOPS 8966924 HAS SOUS 886541 HAS SOUPS 883785 WITH SCORE 892754.768
AT ITER 3313 NEW BEST:: SOT 13891468 SOS 8969768 HAS SOPS 8966924 HAS SOUS 886520 HAS SOUPS 883764 WITH SCORE 892733.768
AT ITER 3318 NEW BEST:: SOT 13891468 SOS 8963504 HAS SOPS 8960660 HAS SOUS 886520 HAS SOUPS 883764 WITH SCORE 892727.504
AT ITER 3325 NEW BEST:: SOT 13891468 SOS 8966672 HAS SOPS 8963828 HAS SOUS 886444 HAS SOUPS 883688 WITH SCORE 892654.672
AT ITER 3334 NEW BEST:: SOT 13891468 SOS 8962593 HAS SOPS 8959749 HAS SOUS 886392 HAS SOUPS 883636 WITH SCORE 892598.593
AT ITER 3337 NEW BEST:: SOT 13891468 SOS 8973817 HAS SOPS 8970973 HAS SOUS 886366 HAS SOUPS 883610 WITH SCORE 892583.817
AT ITER 3350 NEW BEST:: SOT 13891423 SOS 8973772 HAS SOPS 8970928 HAS SOUS 886321 HAS SOUPS 883565 WITH SCORE 892538.772
AT ITER 3360 NEW BEST:: SOT 13891501 SOS 8973850 HAS SOPS 8971006 HAS SOUS 886295 HAS SOUPS 883539 WITH SCORE 892512.85
AT ITER 3377 NEW BEST:: SOT 13891391 SOS 8973740 HAS SOPS 8970896 HAS SOUS 886185 HAS SOUPS 883429 WITH SCORE 892402.74
AT ITER 3383 NEW BEST:: SOT 13891534 SOS 8985543 HAS SOPS 8982699 HAS SOUS 885765 HAS SOUPS 883009 WITH SCORE 891994.543
AT ITER 3392 NEW BEST:: SOT 13891044 SOS 8985053 HAS SOPS 8982209 HAS SOUS 885413 HAS SOUPS 882657 WITH SCORE 891642.053
AT ITER 3420 NEW BEST:: SOT 13891362 SOS 8985371 HAS SOPS 8982527 HAS SOUS 885362 HAS SOUPS 882606 WITH SCORE 891591.371
AT ITER 3433 NEW BEST:: SOT 13891362 SOS 8978747 HAS SOPS 8975903 HAS SOUS 885362 HAS SOUPS 882606 WITH SCORE 891584.747
AT ITER 3437 NEW BEST:: SOT 13891090 SOS 8978475 HAS SOPS 8975631 HAS SOUS 885119 HAS SOUPS 882363 WITH SCORE 891341.475
AT ITER 3460 NEW BEST:: SOT 13890991 SOS 8981132 HAS SOPS 8978288 HAS SOUS 884374 HAS SOUPS 881618 WITH SCORE 890599.132
AT ITER 3463 NEW BEST:: SOT 13891483 SOS 8981912 HAS SOPS 8979068 HAS SOUS 883612 HAS SOUPS 880856 WITH SCORE 889837.912
AT ITER 3520 NEW BEST:: SOT 13891446 SOS 8981886 HAS SOPS 8979042 HAS SOUS 882744 HAS SOUPS 879988 WITH SCORE 888969.886
AT ITER 3521 NEW BEST:: SOT 13891446 SOS 8976630 HAS SOPS 8973786 HAS SOUS 882744 HAS SOUPS 879988 WITH SCORE 888964.63
AT ITER 3540 NEW BEST:: SOT 13891446 SOS 8976630 HAS SOPS 8973786 HAS SOUS 882713 HAS SOUPS 879957 WITH SCORE 888933.63
AT ITER 3555 NEW BEST:: SOT 13891446 SOS 8976630 HAS SOPS 8973786 HAS SOUS 882692 HAS SOUPS 879936 WITH SCORE 888912.63
AT ITER 3566 NEW BEST:: SOT 13891446 SOS 8973750 HAS SOPS 8970906 HAS SOUS 882652 HAS SOUPS 879896 WITH SCORE 888869.75
AT ITER 3574 NEW BEST:: SOT 13891428 SOS 8973732 HAS SOPS 8970888 HAS SOUS 882646 HAS SOUPS 879890 WITH SCORE 888863.732
AT ITER 3607 NEW BEST:: SOT 13891428 SOS 8974092 HAS SOPS 8971248 HAS SOUS 882641 HAS SOUPS 879885 WITH SCORE 888859.092
AT ITER 3608 NEW BEST:: SOT 13891428 SOS 8973873 HAS SOPS 8971029 HAS SOUS 882638 HAS SOUPS 879882 WITH SCORE 888855.873
AT ITER 3612 NEW BEST:: SOT 13891428 SOS 8973839 HAS SOPS 8970995 HAS SOUS 882621 HAS SOUPS 879865 WITH SCORE 888838.839
AT ITER 3651 NEW BEST:: SOT 13891428 SOS 8691383 HAS SOPS 8688539 HAS SOUS 882449 HAS SOUPS 879693 WITH SCORE 888384.383
AT ITER 3666 NEW BEST:: SOT 13891428 SOS 8698511 HAS SOPS 8695667 HAS SOUS 882264 HAS SOUPS 879508 WITH SCORE 888206.511
AT ITER 3667 NEW BEST:: SOT 13891428 SOS 8698519 HAS SOPS 8695675 HAS SOUS 882262 HAS SOUPS 879506 WITH SCORE 888204.519
AT ITER 3678 NEW BEST:: SOT 13891413 SOS 8698504 HAS SOPS 8695660 HAS SOUS 882148 HAS SOUPS 879392 WITH SCORE 888090.504
AT ITER 3714 NEW BEST:: SOT 13891413 SOS 8695636 HAS SOPS 8692792 HAS SOUS 882058 HAS SOUPS 879302 WITH SCORE 887997.636
AT ITER 3726 NEW BEST:: SOT 13890752 SOS 8694975 HAS SOPS 8692131 HAS SOUS 876352 HAS SOUPS 873596 WITH SCORE 882290.975
AT ITER 3732 NEW BEST:: SOT 13890752 SOS 8694963 HAS SOPS 8692119 HAS SOUS 876352 HAS SOUPS 873596 WITH SCORE 882290.963
AT ITER 3748 NEW BEST:: SOT 13890752 SOS 8688589 HAS SOPS 8685745 HAS SOUS 876225 HAS SOUPS 873469 WITH SCORE 882157.589
AT ITER 3784 NEW BEST:: SOT 13873173 SOS 8672527 HAS SOPS 8669683 HAS SOUS 873259 HAS SOUPS 870503 WITH SCORE 879175.527
AT ITER 3785 NEW BEST:: SOT 13873173 SOS 8670491 HAS SOPS 8667647 HAS SOUS 873219 HAS SOUPS 870463 WITH SCORE 879133.491
AT ITER 3788 NEW BEST:: SOT 13873173 SOS 8665955 HAS SOPS 8663111 HAS SOUS 873219 HAS SOUPS 870463 WITH SCORE 879128.955
AT ITER 3814 NEW BEST:: SOT 13873097 SOS 8665520 HAS SOPS 8662757 HAS SOUS 872943 HAS SOUPS 870268 WITH SCORE 878933.52
AT ITER 3819 NEW BEST:: SOT 13873084 SOS 8665507 HAS SOPS 8662744 HAS SOUS 872930 HAS SOUPS 870255 WITH SCORE 878920.507
AT ITER 3821 NEW BEST:: SOT 13873084 SOS 8665437 HAS SOPS 8662674 HAS SOUS 872920 HAS SOUPS 870245 WITH SCORE 878910.437
AT ITER 3822 NEW BEST:: SOT 13882500 SOS 8674853 HAS SOPS 8672090 HAS SOUS 872056 HAS SOUPS 869381 WITH SCORE 878055.853
AT ITER 3833 NEW BEST:: SOT 13882405 SOS 8947326 HAS SOPS 8944563 HAS SOUS 871756 HAS SOUPS 869081 WITH SCORE 878028.326
AT ITER 3846 NEW BEST:: SOT 13882405 SOS 8940990 HAS SOPS 8938227 HAS SOUS 871756 HAS SOUPS 869081 WITH SCORE 878021.99
AT ITER 3850 NEW BEST:: SOT 13882405 SOS 8940630 HAS SOPS 8937867 HAS SOUS 871756 HAS SOUPS 869081 WITH SCORE 878021.63
AT ITER 3860 NEW BEST:: SOT 13882398 SOS 8940623 HAS SOPS 8937860 HAS SOUS 871735 HAS SOUPS 869060 WITH SCORE 878000.623
AT ITER 3866 NEW BEST:: SOT 13882398 SOS 8936159 HAS SOPS 8933396 HAS SOUS 871735 HAS SOUPS 869060 WITH SCORE 877996.159
AT ITER 3889 NEW BEST:: SOT 13885531 SOS 8939544 HAS SOPS 8936781 HAS SOUS 869548 HAS SOUPS 866873 WITH SCORE 875812.544
AT ITER 3922 NEW BEST:: SOT 13886421 SOS 8940662 HAS SOPS 8937899 HAS SOUS 867485 HAS SOUPS 864810 WITH SCORE 873750.662
AT ITER 3933 NEW BEST:: SOT 13887389 SOS 8941630 HAS SOPS 8938867 HAS SOUS 865299 HAS SOUPS 862624 WITH SCORE 871565.63
AT ITER 3937 NEW BEST:: SOT 13887389 SOS 8941184 HAS SOPS 8938421 HAS SOUS 865293 HAS SOUPS 862618 WITH SCORE 871559.184
AT ITER 3952 NEW BEST:: SOT 13887389 SOS 8941134 HAS SOPS 8938371 HAS SOUS 865243 HAS SOUPS 862568 WITH SCORE 871509.134
AT ITER 3965 NEW BEST:: SOT 13887076 SOS 8941279 HAS SOPS 8938516 HAS SOUS 864835 HAS SOUPS 862160 WITH SCORE 871101.279
AT ITER 3978 NEW BEST:: SOT 13889256 SOS 8943459 HAS SOPS 8940696 HAS SOUS 864724 HAS SOUPS 862049 WITH SCORE 870992.459
AT ITER 3982 NEW BEST:: SOT 13889256 SOS 8937123 HAS SOPS 8934360 HAS SOUS 864635 HAS SOUPS 861960 WITH SCORE 870897.123
AT ITER 3996 NEW BEST:: SOT 13889256 SOS 8936179 HAS SOPS 8933416 HAS SOUS 864555 HAS SOUPS 861880 WITH SCORE 870816.179
AT ITER 3998 NEW BEST:: SOT 13889058 SOS 8935981 HAS SOPS 8933218 HAS SOUS 862311 HAS SOUPS 859636 WITH SCORE 868571.981
AT ITER 4015 NEW BEST:: SOT 13888611 SOS 8935534 HAS SOPS 8932771 HAS SOUS 861160 HAS SOUPS 858485 WITH SCORE 867420.534
AT ITER 4016 NEW BEST:: SOT 13885582 SOS 8932424 HAS SOPS 8929661 HAS SOUS 859825 HAS SOUPS 857150 WITH SCORE 866082.424
AT ITER 4019 NEW BEST:: SOT 13885582 SOS 8928259 HAS SOPS 8925496 HAS SOUS 859776 HAS SOUPS 857101 WITH SCORE 866029.259
AT ITER 4020 NEW BEST:: SOT 13885582 SOS 8927107 HAS SOPS 8924344 HAS SOUS 859776 HAS SOUPS 857101 WITH SCORE 866028.107
AT ITER 4027 NEW BEST:: SOT 13885582 SOS 8926995 HAS SOPS 8924232 HAS SOUS 859760 HAS SOUPS 857085 WITH SCORE 866011.995
AT ITER 4028 NEW BEST:: SOT 13878859 SOS 8921187 HAS SOPS 8918424 HAS SOUS 858049 HAS SOUPS 855374 WITH SCORE 864295.187
AT ITER 4034 NEW BEST:: SOT 13878859 SOS 8920107 HAS SOPS 8917344 HAS SOUS 858049 HAS SOUPS 855374 WITH SCORE 864294.107
AT ITER 4046 NEW BEST:: SOT 13878859 SOS 8920701 HAS SOPS 8917938 HAS SOUS 858038 HAS SOUPS 855363 WITH SCORE 864283.701
AT ITER 4057 NEW BEST:: SOT 13878675 SOS 8920503 HAS SOPS 8917740 HAS SOUS 857628 HAS SOUPS 854953 WITH SCORE 863873.503
AT ITER 4074 NEW BEST:: SOT 13878675 SOS 8915967 HAS SOPS 8913204 HAS SOUS 857628 HAS SOUPS 854953 WITH SCORE 863868.967
AT ITER 4086 NEW BEST:: SOT 13878737 SOS 8916215 HAS SOPS 8913452 HAS SOUS 856915 HAS SOUPS 854240 WITH SCORE 863156.215
AT ITER 4089 NEW BEST:: SOT 13880204 SOS 8917613 HAS SOPS 8914850 HAS SOUS 855099 HAS SOUPS 852424 WITH SCORE 861341.613
AT ITER 4098 NEW BEST:: SOT 13880166 SOS 8944431 HAS SOPS 8941668 HAS SOUS 855070 HAS SOUPS 852395 WITH SCORE 861339.431
AT ITER 4124 NEW BEST:: SOT 13879980 SOS 8944242 HAS SOPS 8941479 HAS SOUS 854671 HAS SOUPS 851996 WITH SCORE 860940.242
AT ITER 4138 NEW BEST:: SOT 13879812 SOS 8944074 HAS SOPS 8941311 HAS SOUS 854560 HAS SOUPS 851885 WITH SCORE 860829.074
AT ITER 4140 NEW BEST:: SOT 13881252 SOS 8945511 HAS SOPS 8942748 HAS SOUS 852581 HAS SOUPS 849906 WITH SCORE 858851.511
AT ITER 4143 NEW BEST:: SOT 13881252 SOS 8948941 HAS SOPS 8946178 HAS SOUS 852532 HAS SOUPS 849857 WITH SCORE 858805.941
AT ITER 4146 NEW BEST:: SOT 13880953 SOS 8948714 HAS SOPS 8945951 HAS SOUS 850971 HAS SOUPS 848296 WITH SCORE 857244.714
AT ITER 4149 NEW BEST:: SOT 13880953 SOS 8948714 HAS SOPS 8945951 HAS SOUS 850963 HAS SOUPS 848288 WITH SCORE 857236.714
AT ITER 4196 NEW BEST:: SOT 13878478 SOS 8965135 HAS SOPS 8964219 HAS SOUS 847206 HAS SOUPS 846378 WITH SCORE 855343.135
AT ITER 4204 NEW BEST:: SOT 13878477 SOS 8965134 HAS SOPS 8964218 HAS SOUS 847204 HAS SOUPS 846376 WITH SCORE 855341.134
AT ITER 4216 NEW BEST:: SOT 13878477 SOS 8962542 HAS SOPS 8961626 HAS SOUS 847204 HAS SOUPS 846376 WITH SCORE 855338.542
AT ITER 4227 NEW BEST:: SOT 13878477 SOS 8961709 HAS SOPS 8960793 HAS SOUS 847170 HAS SOUPS 846342 WITH SCORE 855303.709
AT ITER 4234 NEW BEST:: SOT 13878477 SOS 8961689 HAS SOPS 8960773 HAS SOUS 847168 HAS SOUPS 846340 WITH SCORE 855301.689
AT ITER 4235 NEW BEST:: SOT 13878477 SOS 8957153 HAS SOPS 8956237 HAS SOUS 847168 HAS SOUPS 846340 WITH SCORE 855297.153
AT ITER 4240 NEW BEST:: SOT 13878477 SOS 8956703 HAS SOPS 8955787 HAS SOUS 847153 HAS SOUPS 846325 WITH SCORE 855281.703
AT ITER 4262 NEW BEST:: SOT 13878477 SOS 8954077 HAS SOPS 8953161 HAS SOUS 847049 HAS SOUPS 846221 WITH SCORE 855175.077
AT ITER 4287 NEW BEST:: SOT 13878471 SOS 8959291 HAS SOPS 8958375 HAS SOUS 847040 HAS SOUPS 846212 WITH SCORE 855171.291
AT ITER 4297 NEW BEST:: SOT 13878471 SOS 8954971 HAS SOPS 8954055 HAS SOUS 847040 HAS SOUPS 846212 WITH SCORE 855166.971
AT ITER 4301 NEW BEST:: SOT 13876296 SOS 8952796 HAS SOPS 8951880 HAS SOUS 845393 HAS SOUPS 844565 WITH SCORE 853517.796
AT ITER 4311 NEW BEST:: SOT 13877494 SOS 8953994 HAS SOPS 8953078 HAS SOUS 845188 HAS SOUPS 844360 WITH SCORE 853313.994
AT ITER 4326 NEW BEST:: SOT 13877494 SOS 8949424 HAS SOPS 8948508 HAS SOUS 845188 HAS SOUPS 844360 WITH SCORE 853309.424
AT ITER 4360 NEW BEST:: SOT 13875238 SOS 8947168 HAS SOPS 8946252 HAS SOUS 840415 HAS SOUPS 839587 WITH SCORE 848534.168
AT ITER 4367 NEW BEST:: SOT 13875238 SOS 8947059 HAS SOPS 8946143 HAS SOUS 840219 HAS SOUPS 839391 WITH SCORE 848338.059
AT ITER 4380 NEW BEST:: SOT 13874712 SOS 8946533 HAS SOPS 8945617 HAS SOUS 839817 HAS SOUPS 838989 WITH SCORE 847935.533
AT ITER 4387 NEW BEST:: SOT 13872766 SOS 8944239 HAS SOPS 8943323 HAS SOUS 839781 HAS SOUPS 838953 WITH SCORE 847897.239
AT ITER 4423 NEW BEST:: SOT 13872766 SOS 8940639 HAS SOPS 8939723 HAS SOUS 839781 HAS SOUPS 838953 WITH SCORE 847893.639
AT ITER 4449 NEW BEST:: SOT 13872766 SOS 8940495 HAS SOPS 8939579 HAS SOUS 839781 HAS SOUPS 838953 WITH SCORE 847893.495
AT ITER 4452 NEW BEST:: SOT 13872764 SOS 8940493 HAS SOPS 8939577 HAS SOUS 839778 HAS SOUPS 838950 WITH SCORE 847890.493
AT ITER 4453 NEW BEST:: SOT 13872757 SOS 8940486 HAS SOPS 8939570 HAS SOUS 839771 HAS SOUPS 838943 WITH SCORE 847883.486
AT ITER 4457 NEW BEST:: SOT 13872757 SOS 8940486 HAS SOPS 8939570 HAS SOUS 839743 HAS SOUPS 838915 WITH SCORE 847855.486
AT ITER 4476 NEW BEST:: SOT 13872642 SOS 8940371 HAS SOPS 8939455 HAS SOUS 839495 HAS SOUPS 838667 WITH SCORE 847607.371
AT ITER 4483 NEW BEST:: SOT 13874492 SOS 8942582 HAS SOPS 8941924 HAS SOUS 838837 HAS SOUPS 838267 WITH SCORE 847209.582
AT ITER 4485 NEW BEST:: SOT 13874492 SOS 8942535 HAS SOPS 8941877 HAS SOUS 838776 HAS SOUPS 838206 WITH SCORE 847148.535
AT ITER 4521 NEW BEST:: SOT 13861482 SOS 8929525 HAS SOPS 8928867 HAS SOUS 828622 HAS SOUPS 828052 WITH SCORE 836981.525
AT ITER 4524 NEW BEST:: SOT 13861444 SOS 8929487 HAS SOPS 8928829 HAS SOUS 828584 HAS SOUPS 828014 WITH SCORE 836943.487
AT ITER 4526 NEW BEST:: SOT 13862604 SOS 8930647 HAS SOPS 8929989 HAS SOUS 827491 HAS SOUPS 826921 WITH SCORE 835851.647
AT ITER 4533 NEW BEST:: SOT 13862595 SOS 8930638 HAS SOPS 8929980 HAS SOUS 827473 HAS SOUPS 826903 WITH SCORE 835833.638
AT ITER 4539 NEW BEST:: SOT 13861108 SOS 8929151 HAS SOPS 8928493 HAS SOUS 826559 HAS SOUPS 825989 WITH SCORE 834918.151
AT ITER 4543 NEW BEST:: SOT 13859930 SOS 8928969 HAS SOPS 8928491 HAS SOUS 824163 HAS SOUPS 823773 WITH SCORE 832701.969
AT ITER 4565 NEW BEST:: SOT 13859769 SOS 8928808 HAS SOPS 8928330 HAS SOUS 823963 HAS SOUPS 823573 WITH SCORE 832501.808
AT ITER 4599 NEW BEST:: SOT 13859769 SOS 8928789 HAS SOPS 8928311 HAS SOUS 823944 HAS SOUPS 823554 WITH SCORE 832482.789
AT ITER 4601 NEW BEST:: SOT 13859780 SOS 8928800 HAS SOPS 8928322 HAS SOUS 823933 HAS SOUPS 823543 WITH SCORE 832471.8
AT ITER 4602 NEW BEST:: SOT 13864162 SOS 8932098 HAS SOPS 8931758 HAS SOUS 823392 HAS SOUPS 823140 WITH SCORE 832072.098
AT ITER 4604 NEW BEST:: SOT 13864162 SOS 8934432 HAS SOPS 8934092 HAS SOUS 823385 HAS SOUPS 823133 WITH SCORE 832067.432
AT ITER 4634 NEW BEST:: SOT 13864122 SOS 8934392 HAS SOPS 8934052 HAS SOUS 823315 HAS SOUPS 823063 WITH SCORE 831997.392
AT ITER 4677 NEW BEST:: SOT 13863148 SOS 8933418 HAS SOPS 8933078 HAS SOUS 822663 HAS SOUPS 822411 WITH SCORE 831344.418
AT ITER 4690 NEW BEST:: SOT 13862200 SOS 8932470 HAS SOPS 8932130 HAS SOUS 822021 HAS SOUPS 821769 WITH SCORE 830701.47
AT ITER 4748 NEW BEST:: SOT 13862170 SOS 8932440 HAS SOPS 8932100 HAS SOUS 821991 HAS SOUPS 821739 WITH SCORE 830671.44
AT ITER 4776 NEW BEST:: SOT 13862170 SOS 8937041 HAS SOPS 8936701 HAS SOUS 821880 HAS SOUPS 821628 WITH SCORE 830565.041
AT ITER 4781 NEW BEST:: SOT 13862170 SOS 8936105 HAS SOPS 8935765 HAS SOUS 821867 HAS SOUPS 821615 WITH SCORE 830551.105
AT ITER 4787 NEW BEST:: SOT 13861375 SOS 8935174 HAS SOPS 8934851 HAS SOUS 820683 HAS SOUPS 820448 WITH SCORE 829383.174
AT ITER 4823 NEW BEST:: SOT 13861374 SOS 8935173 HAS SOPS 8934850 HAS SOUS 820564 HAS SOUPS 820329 WITH SCORE 829264.173
AT ITER 4828 NEW BEST:: SOT 13861374 SOS 8940141 HAS SOPS 8939818 HAS SOUS 820413 HAS SOUPS 820178 WITH SCORE 829118.141
AT ITER 4832 NEW BEST:: SOT 13858788 SOS 8937555 HAS SOPS 8937232 HAS SOUS 820291 HAS SOUPS 820056 WITH SCORE 828993.555
AT ITER 4836 NEW BEST:: SOT 13858033 SOS 8936800 HAS SOPS 8936477 HAS SOUS 818768 HAS SOUPS 818533 WITH SCORE 827469.8
AT ITER 4838 NEW BEST:: SOT 13858033 SOS 8936512 HAS SOPS 8936189 HAS SOUS 818768 HAS SOUPS 818533 WITH SCORE 827469.512
AT ITER 4895 NEW BEST:: SOT 13849544 SOS 8928139 HAS SOPS 8927816 HAS SOUS 810006 HAS SOUPS 809771 WITH SCORE 818699.139
AT ITER 4917 NEW BEST:: SOT 13849504 SOS 8928099 HAS SOPS 8927776 HAS SOUS 809936 HAS SOUPS 809701 WITH SCORE 818629.099
AT ITER 4948 NEW BEST:: SOT 13851329 SOS 8929924 HAS SOPS 8929601 HAS SOUS 809591 HAS SOUPS 809356 WITH SCORE 818285.924
AT ITER 4964 NEW BEST:: SOT 13851329 SOS 8929766 HAS SOPS 8929443 HAS SOUS 809577 HAS SOUPS 809342 WITH SCORE 818271.766
AT ITER 4965 NEW BEST:: SOT 13851139 SOS 8929576 HAS SOPS 8929253 HAS SOUS 809254 HAS SOUPS 809019 WITH SCORE 817948.576
AT ITER 4982 NEW BEST:: SOT 13850835 SOS 8929272 HAS SOPS 8928949 HAS SOUS 809230 HAS SOUPS 808995 WITH SCORE 817924.272
AT ITER 4991 NEW BEST:: SOT 13850835 SOS 8924736 HAS SOPS 8924413 HAS SOUS 809230 HAS SOUPS 808995 WITH SCORE 817919.736
AT ITER 5023 NEW BEST:: SOT 13851764 SOS 8942804 HAS SOPS 8942481 HAS SOUS 808895 HAS SOUPS 808660 WITH SCORE 817602.804
AT ITER 5033 NEW BEST:: SOT 13851764 SOS 8942770 HAS SOPS 8942447 HAS SOUS 808844 HAS SOUPS 808609 WITH SCORE 817551.77
AT ITER 5035 NEW BEST:: SOT 13851764 SOS 8941744 HAS SOPS 8941421 HAS SOUS 808844 HAS SOUPS 808609 WITH SCORE 817550.744
AT ITER 5043 NEW BEST:: SOT 13851683 SOS 8941663 HAS SOPS 8941340 HAS SOUS 808760 HAS SOUPS 808525 WITH SCORE 817466.663
AT ITER 5061 NEW BEST:: SOT 13852507 SOS 8942487 HAS SOPS 8942164 HAS SOUS 808691 HAS SOUPS 808456 WITH SCORE 817398.487
AT ITER 5063 NEW BEST:: SOT 13852339 SOS 8942319 HAS SOPS 8941996 HAS SOUS 808684 HAS SOUPS 808449 WITH SCORE 817391.319
AT ITER 5091 NEW BEST:: SOT 13852201 SOS 8942181 HAS SOPS 8941858 HAS SOUS 808605 HAS SOUPS 808370 WITH SCORE 817312.181
AT ITER 5109 NEW BEST:: SOT 13852201 SOS 8942109 HAS SOPS 8941786 HAS SOUS 808605 HAS SOUPS 808370 WITH SCORE 817312.109
AT ITER 5128 NEW BEST:: SOT 13852201 SOS 8939805 HAS SOPS 8939482 HAS SOUS 808605 HAS SOUPS 808370 WITH SCORE 817309.805
AT ITER 5238 NEW BEST:: SOT 13850832 SOS 8938436 HAS SOPS 8938113 HAS SOUS 806170 HAS SOUPS 805935 WITH SCORE 814873.436
AT ITER 5240 NEW BEST:: SOT 13849960 SOS 8937564 HAS SOPS 8937241 HAS SOUS 804914 HAS SOUPS 804679 WITH SCORE 813616.564
AT ITER 5280 NEW BEST:: SOT 13852062 SOS 8939666 HAS SOPS 8939343 HAS SOUS 803981 HAS SOUPS 803746 WITH SCORE 812685.666
AT ITER 5346 NEW BEST:: SOT 13852062 SOS 8939666 HAS SOPS 8939343 HAS SOUS 803962 HAS SOUPS 803727 WITH SCORE 812666.666
AT ITER 5365 NEW BEST:: SOT 13851033 SOS 8938637 HAS SOPS 8938314 HAS SOUS 801589 HAS SOUPS 801354 WITH SCORE 810292.637
AT ITER 5400 NEW BEST:: SOT 13851033 SOS 8936520 HAS SOPS 8936197 HAS SOUS 801419 HAS SOUPS 801184 WITH SCORE 810120.52
AT ITER 5408 NEW BEST:: SOT 13849569 SOS 8935122 HAS SOPS 8934799 HAS SOUS 798014 HAS SOUPS 797779 WITH SCORE 806714.122
AT ITER 5411 NEW BEST:: SOT 13849569 SOS 8935129 HAS SOPS 8934805 HAS SOUS 798014 HAS SOUPS 797778 WITH SCORE 806713.129
AT ITER 5426 NEW BEST:: SOT 13847650 SOS 8933203 HAS SOPS 8932879 HAS SOUS 797789 HAS SOUPS 797553 WITH SCORE 806486.203
AT ITER 5427 NEW BEST:: SOT 13847410 SOS 8932959 HAS SOPS 8932635 HAS SOUS 796931 HAS SOUPS 796695 WITH SCORE 805627.959
AT ITER 5431 NEW BEST:: SOT 13847377 SOS 8932926 HAS SOPS 8932602 HAS SOUS 796860 HAS SOUPS 796624 WITH SCORE 805556.926
AT ITER 5447 NEW BEST:: SOT 13847377 SOS 8926662 HAS SOPS 8926338 HAS SOUS 796831 HAS SOUPS 796595 WITH SCORE 805521.662
AT ITER 5459 NEW BEST:: SOT 13846738 SOS 8925933 HAS SOPS 8925627 HAS SOUS 796057 HAS SOUPS 795830 WITH SCORE 804755.933
AT ITER 5465 NEW BEST:: SOT 13846738 SOS 8925933 HAS SOPS 8925627 HAS SOUS 795986 HAS SOUPS 795759 WITH SCORE 804684.933
AT ITER 5466 NEW BEST:: SOT 13846378 SOS 8925573 HAS SOPS 8925267 HAS SOUS 795452 HAS SOUPS 795225 WITH SCORE 804150.573
AT ITER 5472 NEW BEST:: SOT 13846257 SOS 8920026 HAS SOPS 8919720 HAS SOUS 795430 HAS SOUPS 795203 WITH SCORE 804123.026
AT ITER 5475 NEW BEST:: SOT 13846257 SOS 8916714 HAS SOPS 8916408 HAS SOUS 795430 HAS SOUPS 795203 WITH SCORE 804119.714
AT ITER 5478 NEW BEST:: SOT 13846257 SOS 8920386 HAS SOPS 8920080 HAS SOUS 795420 HAS SOUPS 795193 WITH SCORE 804113.386
AT ITER 5501 NEW BEST:: SOT 13846257 SOS 8922978 HAS SOPS 8922672 HAS SOUS 795322 HAS SOUPS 795095 WITH SCORE 804017.978
AT ITER 5517 NEW BEST:: SOT 13846257 SOS 8923034 HAS SOPS 8922728 HAS SOUS 795301 HAS SOUPS 795074 WITH SCORE 803997.034
AT ITER 5559 NEW BEST:: SOT 13846470 SOS 8923227 HAS SOPS 8922921 HAS SOUS 794714 HAS SOUPS 794487 WITH SCORE 803410.227
AT ITER 5569 NEW BEST:: SOT 13846440 SOS 8923197 HAS SOPS 8922891 HAS SOUS 794650 HAS SOUPS 794423 WITH SCORE 803346.197
AT ITER 5578 NEW BEST:: SOT 13846440 SOS 8926587 HAS SOPS 8926281 HAS SOUS 794451 HAS SOUPS 794224 WITH SCORE 803150.587
AT ITER 5676 NEW BEST:: SOT 13846440 SOS 8926587 HAS SOPS 8926281 HAS SOUS 794427 HAS SOUPS 794200 WITH SCORE 803126.587
AT ITER 5677 NEW BEST:: SOT 13845587 SOS 8925700 HAS SOPS 8925394 HAS SOUS 794320 HAS SOUPS 794093 WITH SCORE 803018.7
AT ITER 5678 NEW BEST:: SOT 13845587 SOS 8930587 HAS SOPS 8930281 HAS SOUS 794126 HAS SOUPS 793899 WITH SCORE 802829.587
AT ITER 5683 NEW BEST:: SOT 13845541 SOS 8930541 HAS SOPS 8930235 HAS SOUS 794111 HAS SOUPS 793884 WITH SCORE 802814.541
AT ITER 5696 NEW BEST:: SOT 13845541 SOS 8928597 HAS SOPS 8928291 HAS SOUS 794111 HAS SOUPS 793884 WITH SCORE 802812.597
AT ITER 5703 NEW BEST:: SOT 13847283 SOS 8930308 HAS SOPS 8930002 HAS SOUS 790665 HAS SOUPS 790438 WITH SCORE 799368.308
AT ITER 5715 NEW BEST:: SOT 13847283 SOS 8925772 HAS SOPS 8925466 HAS SOUS 790665 HAS SOUPS 790438 WITH SCORE 799363.772
AT ITER 5729 NEW BEST:: SOT 13846592 SOS 8925185 HAS SOPS 8924879 HAS SOUS 788811 HAS SOUPS 788584 WITH SCORE 797509.185
AT ITER 5774 NEW BEST:: SOT 13846592 SOS 8924033 HAS SOPS 8923727 HAS SOUS 788811 HAS SOUPS 788584 WITH SCORE 797508.033
AT ITER 5822 NEW BEST:: SOT 13846604 SOS 8924045 HAS SOPS 8923739 HAS SOUS 788310 HAS SOUPS 788083 WITH SCORE 797007.045
AT ITER 5839 NEW BEST:: SOT 13845610 SOS 8923051 HAS SOPS 8922745 HAS SOUS 787415 HAS SOUPS 787188 WITH SCORE 796111.051
AT ITER 5846 NEW BEST:: SOT 13845987 SOS 8923968 HAS SOPS 8923662 HAS SOUS 782268 HAS SOUPS 782041 WITH SCORE 790964.968
AT ITER 5869 NEW BEST:: SOT 13845987 SOS 8922168 HAS SOPS 8921862 HAS SOUS 782268 HAS SOUPS 782041 WITH SCORE 790963.168
AT ITER 5871 NEW BEST:: SOT 13845839 SOS 8081358 HAS SOPS 8080930 HAS SOUS 781806 HAS SOUPS 781547 WITH SCORE 789628.358
AT ITER 5872 NEW BEST:: SOT 13845693 SOS 8081284 HAS SOPS 8080856 HAS SOUS 781568 HAS SOUPS 781309 WITH SCORE 789390.284
AT ITER 5875 NEW BEST:: SOT 13845050 SOS 8080641 HAS SOPS 8080213 HAS SOUS 780252 HAS SOUPS 779993 WITH SCORE 788073.641
AT ITER 5881 NEW BEST:: SOT 13845196 SOS 8080787 HAS SOPS 8080359 HAS SOUS 779799 HAS SOUPS 779540 WITH SCORE 787620.787
AT ITER 5931 NEW BEST:: SOT 13845915 SOS 8081506 HAS SOPS 8081078 HAS SOUS 779320 HAS SOUPS 779061 WITH SCORE 787142.506
AT ITER 5943 NEW BEST:: SOT 13842465 SOS 8078196 HAS SOPS 8077768 HAS SOUS 776406 HAS SOUPS 776147 WITH SCORE 784225.196
AT ITER 5947 NEW BEST:: SOT 13842465 SOS 8078138 HAS SOPS 8077710 HAS SOUS 776377 HAS SOUPS 776118 WITH SCORE 784196.138
AT ITER 5955 NEW BEST:: SOT 13837334 SOS 8070415 HAS SOPS 8069987 HAS SOUS 771766 HAS SOUPS 771507 WITH SCORE 779577.415
AT ITER 5974 NEW BEST:: SOT 13837334 SOS 8067697 HAS SOPS 8067269 HAS SOUS 771766 HAS SOUPS 771507 WITH SCORE 779574.697
AT ITER 5985 NEW BEST:: SOT 13837334 SOS 8067081 HAS SOPS 8066653 HAS SOUS 771752 HAS SOUPS 771493 WITH SCORE 779560.081
AT ITER 5993 NEW BEST:: SOT 13837334 SOS 8063625 HAS SOPS 8063197 HAS SOUS 771752 HAS SOUPS 771493 WITH SCORE 779556.625
AT ITER 6025 NEW BEST:: SOT 13837531 SOS 8063822 HAS SOPS 8063394 HAS SOUS 771326 HAS SOUPS 771067 WITH SCORE 779130.822
AT ITER 6030 NEW BEST:: SOT 13837412 SOS 8063703 HAS SOPS 8063275 HAS SOUS 771217 HAS SOUPS 770958 WITH SCORE 779021.703
AT ITER 6033 NEW BEST:: SOT 13837564 SOS 8063788 HAS SOPS 8063384 HAS SOUS 770759 HAS SOUPS 770524 WITH SCORE 778587.788
AT ITER 6066 NEW BEST:: SOT 13837564 SOS 8063788 HAS SOPS 8063384 HAS SOUS 770732 HAS SOUPS 770497 WITH SCORE 778560.788
AT ITER 6067 NEW BEST:: SOT 13839854 SOS 8202642 HAS SOPS 8202293 HAS SOUS 770312 HAS SOUPS 770077 WITH SCORE 778279.642
AT ITER 6095 NEW BEST:: SOT 13839854 SOS 8201160 HAS SOPS 8200811 HAS SOUS 770193 HAS SOUPS 769958 WITH SCORE 778159.16
AT ITER 6103 NEW BEST:: SOT 13839691 SOS 8200997 HAS SOPS 8200648 HAS SOUS 770044 HAS SOUPS 769809 WITH SCORE 778009.997
AT ITER 6112 NEW BEST:: SOT 13839456 SOS 8200762 HAS SOPS 8200413 HAS SOUS 767757 HAS SOUPS 767522 WITH SCORE 775722.762
AT ITER 6142 NEW BEST:: SOT 13839456 SOS 8202302 HAS SOPS 8201953 HAS SOUS 767735 HAS SOUPS 767500 WITH SCORE 775702.302
AT ITER 6162 NEW BEST:: SOT 13842716 SOS 8205562 HAS SOPS 8205213 HAS SOUS 764502 HAS SOUPS 764267 WITH SCORE 772472.562
AT ITER 6175 NEW BEST:: SOT 13841147 SOS 8203993 HAS SOPS 8203644 HAS SOUS 763786 HAS SOUPS 763551 WITH SCORE 771754.993
AT ITER 6181 NEW BEST:: SOT 13836965 SOS 8199811 HAS SOPS 8199462 HAS SOUS 760468 HAS SOUPS 760233 WITH SCORE 768432.811
AT ITER 6182 NEW BEST:: SOT 13838480 SOS 8201326 HAS SOPS 8200977 HAS SOUS 759943 HAS SOUPS 759708 WITH SCORE 767909.326
AT ITER 6237 NEW BEST:: SOT 13839875 SOS 8202721 HAS SOPS 8202372 HAS SOUS 759249 HAS SOUPS 759014 WITH SCORE 767216.721
AT ITER 6269 NEW BEST:: SOT 13847076 SOS 8209922 HAS SOPS 8209573 HAS SOUS 758627 HAS SOUPS 758392 WITH SCORE 766601.922
AT ITER 6329 NEW BEST:: SOT 13846689 SOS 8209535 HAS SOPS 8209186 HAS SOUS 757922 HAS SOUPS 757687 WITH SCORE 765896.535
AT ITER 6351 NEW BEST:: SOT 13844781 SOS 8238641 HAS SOPS 8238292 HAS SOUS 755734 HAS SOUPS 755499 WITH SCORE 763737.641
AT ITER 6356 NEW BEST:: SOT 13844706 SOS 8238391 HAS SOPS 8238067 HAS SOUS 755563 HAS SOUPS 755353 WITH SCORE 763591.391
AT ITER 6391 NEW BEST:: SOT 13844505 SOS 8238190 HAS SOPS 8237866 HAS SOUS 755392 HAS SOUPS 755182 WITH SCORE 763420.19
AT ITER 6432 NEW BEST:: SOT 13847340 SOS 8241057 HAS SOPS 8240733 HAS SOUS 754706 HAS SOUPS 754496 WITH SCORE 762737.057
AT ITER 6482 NEW BEST:: SOT 13847226 SOS 8240960 HAS SOPS 8240632 HAS SOUS 754089 HAS SOUPS 753875 WITH SCORE 762115.96
AT ITER 6524 NEW BEST:: SOT 13846479 SOS 8242510 HAS SOPS 8242182 HAS SOUS 752258 HAS SOUPS 752044 WITH SCORE 760286.51
AT ITER 6568 NEW BEST:: SOT 13846479 SOS 8243878 HAS SOPS 8243550 HAS SOUS 752230 HAS SOUPS 752016 WITH SCORE 760259.878
AT ITER 6649 NEW BEST:: SOT 13846479 SOS 8243158 HAS SOPS 8242830 HAS SOUS 752230 HAS SOUPS 752016 WITH SCORE 760259.158
AT ITER 6659 NEW BEST:: SOT 13845766 SOS 8242445 HAS SOPS 8242117 HAS SOUS 750814 HAS SOUPS 750600 WITH SCORE 758842.445
AT ITER 6684 NEW BEST:: SOT 13846638 SOS 8243317 HAS SOPS 8242989 HAS SOUS 750782 HAS SOUPS 750568 WITH SCORE 758811.317
AT ITER 6690 NEW BEST:: SOT 13844689 SOS 8241368 HAS SOPS 8241040 HAS SOUS 749694 HAS SOUPS 749480 WITH SCORE 757721.368
AT ITER 6694 NEW BEST:: SOT 13844413 SOS 8241092 HAS SOPS 8240764 HAS SOUS 749512 HAS SOUPS 749298 WITH SCORE 757539.092
AT ITER 6716 NEW BEST:: SOT 13844413 SOS 8244260 HAS SOPS 8243932 HAS SOUS 749467 HAS SOUPS 749253 WITH SCORE 757497.26
AT ITER 6734 NEW BEST:: SOT 13844413 SOS 8239528 HAS SOPS 8239200 HAS SOUS 749326 HAS SOUPS 749112 WITH SCORE 757351.528
AT ITER 6750 NEW BEST:: SOT 13844238 SOS 8239353 HAS SOPS 8239025 HAS SOUS 748972 HAS SOUPS 748758 WITH SCORE 756997.353
AT ITER 6753 NEW BEST:: SOT 13843981 SOS 8239096 HAS SOPS 8238768 HAS SOUS 748705 HAS SOUPS 748491 WITH SCORE 756730.096
AT ITER 6769 NEW BEST:: SOT 13847188 SOS 8250238 HAS SOPS 8249910 HAS SOUS 745365 HAS SOUPS 745151 WITH SCORE 753401.238
AT ITER 6782 NEW BEST:: SOT 13847087 SOS 8250137 HAS SOPS 8249809 HAS SOUS 745133 HAS SOUPS 744919 WITH SCORE 753169.137
AT ITER 6790 NEW BEST:: SOT 13845778 SOS 8248828 HAS SOPS 8248500 HAS SOUS 743484 HAS SOUPS 743270 WITH SCORE 751518.828
AT ITER 6793 NEW BEST:: SOT 13845778 SOS 8248748 HAS SOPS 8248420 HAS SOUS 743476 HAS SOUPS 743262 WITH SCORE 751510.748
AT ITER 6802 NEW BEST:: SOT 13845778 SOS 8246791 HAS SOPS 8246463 HAS SOUS 743476 HAS SOUPS 743262 WITH SCORE 751508.791
AT ITER 6816 NEW BEST:: SOT 13845548 SOS 8246561 HAS SOPS 8246233 HAS SOUS 743072 HAS SOUPS 742858 WITH SCORE 751104.561
AT ITER 6817 NEW BEST:: SOT 13841154 SOS 8242382 HAS SOPS 8242054 HAS SOUS 739491 HAS SOUPS 739277 WITH SCORE 747519.382
AT ITER 6835 NEW BEST:: SOT 13841185 SOS 8242413 HAS SOPS 8242085 HAS SOUS 739456 HAS SOUPS 739242 WITH SCORE 747484.413
AT ITER 6855 NEW BEST:: SOT 13837083 SOS 8238311 HAS SOPS 8237983 HAS SOUS 737898 HAS SOUPS 737684 WITH SCORE 745922.311
AT ITER 6887 NEW BEST:: SOT 13840223 SOS 8241687 HAS SOPS 8241359 HAS SOUS 736886 HAS SOUPS 736672 WITH SCORE 744913.687
AT ITER 6919 NEW BEST:: SOT 13838479 SOS 8239956 HAS SOPS 8239628 HAS SOUS 736693 HAS SOUPS 736479 WITH SCORE 744718.956
AT ITER 6954 NEW BEST:: SOT 13838479 SOS 8236716 HAS SOPS 8236388 HAS SOUS 736695 HAS SOUPS 736481 WITH SCORE 744717.716
AT ITER 6960 NEW BEST:: SOT 13838479 SOS 8233980 HAS SOPS 8233652 HAS SOUS 736695 HAS SOUPS 736481 WITH SCORE 744714.98
AT ITER 6978 NEW BEST:: SOT 13838479 SOS 8232344 HAS SOPS 8232016 HAS SOUS 736562 HAS SOUPS 736348 WITH SCORE 744580.344
AT ITER 6982 NEW BEST:: SOT 13838479 SOS 8230688 HAS SOPS 8230360 HAS SOUS 736562 HAS SOUPS 736348 WITH SCORE 744578.688
AT ITER 6985 NEW BEST:: SOT 13838479 SOS 8230760 HAS SOPS 8230432 HAS SOUS 736561 HAS SOUPS 736347 WITH SCORE 744577.76
AT ITER 7008 NEW BEST:: SOT 13846485 SOS 8239280 HAS SOPS 8238952 HAS SOUS 736067 HAS SOUPS 735853 WITH SCORE 744092.28
AT ITER 7017 NEW BEST:: SOT 13843114 SOS 8233749 HAS SOPS 8233421 HAS SOUS 734716 HAS SOUPS 734502 WITH SCORE 742735.749
AT ITER 7072 NEW BEST:: SOT 13841654 SOS 8232289 HAS SOPS 8231961 HAS SOUS 734132 HAS SOUPS 733918 WITH SCORE 742150.289
AT ITER 7157 NEW BEST:: SOT 13845349 SOS 8235984 HAS SOPS 8235656 HAS SOUS 733702 HAS SOUPS 733488 WITH SCORE 741723.984
AT ITER 7159 NEW BEST:: SOT 13845349 SOS 8232456 HAS SOPS 8232128 HAS SOUS 733702 HAS SOUPS 733488 WITH SCORE 741720.456
AT ITER 7163 NEW BEST:: SOT 13845349 SOS 8232419 HAS SOPS 8232091 HAS SOUS 733693 HAS SOUPS 733479 WITH SCORE 741711.419
AT ITER 7177 NEW BEST:: SOT 13847083 SOS 8234153 HAS SOPS 8233825 HAS SOUS 733253 HAS SOUPS 733039 WITH SCORE 741273.153
AT ITER 7196 NEW BEST:: SOT 13845756 SOS 8232826 HAS SOPS 8232498 HAS SOUS 732230 HAS SOUPS 732016 WITH SCORE 740248.826
AT ITER 7220 NEW BEST:: SOT 13845756 SOS 8229586 HAS SOPS 8229258 HAS SOUS 732230 HAS SOUPS 732016 WITH SCORE 740245.586
AT ITER 7226 NEW BEST:: SOT 13850062 SOS 8234105 HAS SOPS 8233777 HAS SOUS 728644 HAS SOUPS 728430 WITH SCORE 736664.105
AT ITER 7229 NEW BEST:: SOT 13849836 SOS 8233879 HAS SOPS 8233551 HAS SOUS 728407 HAS SOUPS 728193 WITH SCORE 736426.879
AT ITER 7301 NEW BEST:: SOT 13850782 SOS 8235233 HAS SOPS 8234905 HAS SOUS 726690 HAS SOUPS 726476 WITH SCORE 734711.233
AT ITER 7310 NEW BEST:: SOT 13853602 SOS 8238653 HAS SOPS 8238325 HAS SOUS 726028 HAS SOUPS 725814 WITH SCORE 734052.653
AT ITER 7343 NEW BEST:: SOT 13853451 SOS 8238502 HAS SOPS 8238174 HAS SOUS 725872 HAS SOUPS 725658 WITH SCORE 733896.502
AT ITER 7374 NEW BEST:: SOT 13851964 SOS 8237015 HAS SOPS 8236687 HAS SOUS 724210 HAS SOUPS 723996 WITH SCORE 732233.015
AT ITER 7415 NEW BEST:: SOT 13851964 SOS 8236933 HAS SOPS 8236605 HAS SOUS 724169 HAS SOUPS 723955 WITH SCORE 732191.933
AT ITER 7422 NEW BEST:: SOT 13850051 SOS 8230056 HAS SOPS 8229728 HAS SOUS 723995 HAS SOUPS 723781 WITH SCORE 732011.056
AT ITER 7442 NEW BEST:: SOT 13849206 SOS 8235457 HAS SOPS 8235129 HAS SOUS 723935 HAS SOUPS 723721 WITH SCORE 731956.457
AT ITER 7451 NEW BEST:: SOT 13849178 SOS 8235429 HAS SOPS 8235101 HAS SOUS 723907 HAS SOUPS 723693 WITH SCORE 731928.429
AT ITER 7455 NEW BEST:: SOT 13848741 SOS 8234992 HAS SOPS 8234664 HAS SOUS 723345 HAS SOUPS 723131 WITH SCORE 731365.992
AT ITER 7458 NEW BEST:: SOT 13849019 SOS 8235270 HAS SOPS 8234942 HAS SOUS 723257 HAS SOUPS 723043 WITH SCORE 731278.27
AT ITER 7461 NEW BEST:: SOT 13849019 SOS 8200809 HAS SOPS 8200481 HAS SOUS 723259 HAS SOUPS 723045 WITH SCORE 731245.809
AT ITER 7505 NEW BEST:: SOT 13848927 SOS 8200717 HAS SOPS 8200389 HAS SOUS 723167 HAS SOUPS 722953 WITH SCORE 731153.717
AT ITER 7514 NEW BEST:: SOT 13848927 SOS 8200605 HAS SOPS 8200277 HAS SOUS 723151 HAS SOUPS 722937 WITH SCORE 731137.605
AT ITER 7529 NEW BEST:: SOT 13845291 SOS 8196969 HAS SOPS 8196641 HAS SOUS 720353 HAS SOUPS 720139 WITH SCORE 728335.969
AT ITER 7588 NEW BEST:: SOT 13845235 SOS 8194987 HAS SOPS 8194659 HAS SOUS 720353 HAS SOUPS 720139 WITH SCORE 728333.987
AT ITER 7602 NEW BEST:: SOT 13845104 SOS 8194856 HAS SOPS 8194528 HAS SOUS 719975 HAS SOUPS 719761 WITH SCORE 727955.856
AT ITER 7642 NEW BEST:: SOT 13845056 SOS 8194808 HAS SOPS 8194480 HAS SOUS 719927 HAS SOUPS 719713 WITH SCORE 727907.808
AT ITER 7645 NEW BEST:: SOT 13844003 SOS 8218706 HAS SOPS 8218378 HAS SOUS 718975 HAS SOUPS 718761 WITH SCORE 726979.706
AT ITER 7655 NEW BEST:: SOT 13840450 SOS 8215153 HAS SOPS 8214825 HAS SOUS 717736 HAS SOUPS 717522 WITH SCORE 725737.153
AT ITER 7659 NEW BEST:: SOT 13840933 SOS 8215636 HAS SOPS 8215308 HAS SOUS 716392 HAS SOUPS 716178 WITH SCORE 724393.636
AT ITER 7673 NEW BEST:: SOT 13840897 SOS 8215600 HAS SOPS 8215272 HAS SOUS 716269 HAS SOUPS 716055 WITH SCORE 724270.6
AT ITER 7704 NEW BEST:: SOT 13840528 SOS 8215231 HAS SOPS 8214903 HAS SOUS 715548 HAS SOUPS 715334 WITH SCORE 723549.231
AT ITER 7711 NEW BEST:: SOT 13841471 SOS 8216204 HAS SOPS 8215876 HAS SOUS 715143 HAS SOUPS 714929 WITH SCORE 723145.204
AT ITER 7724 NEW BEST:: SOT 13841471 SOS 8216420 HAS SOPS 8216092 HAS SOUS 715079 HAS SOUPS 714865 WITH SCORE 723081.42
AT ITER 7762 NEW BEST:: SOT 13841353 SOS 8216302 HAS SOPS 8215974 HAS SOUS 715035 HAS SOUPS 714821 WITH SCORE 723037.302
AT ITER 7767 NEW BEST:: SOT 13840983 SOS 8225377 HAS SOPS 8225049 HAS SOUS 714974 HAS SOUPS 714760 WITH SCORE 722985.377
AT ITER 7791 NEW BEST:: SOT 13840983 SOS 8225387 HAS SOPS 8225054 HAS SOUS 714828 HAS SOUPS 714609 WITH SCORE 722834.387
AT ITER 7798 NEW BEST:: SOT 13840964 SOS 8225368 HAS SOPS 8225035 HAS SOUS 714809 HAS SOUPS 714590 WITH SCORE 722815.368
AT ITER 7804 NEW BEST:: SOT 13841965 SOS 8226369 HAS SOPS 8226036 HAS SOUS 713977 HAS SOUPS 713758 WITH SCORE 721984.369
AT ITER 7806 NEW BEST:: SOT 13838201 SOS 8222605 HAS SOPS 8222272 HAS SOUS 712170 HAS SOUPS 711951 WITH SCORE 720173.605
AT ITER 7818 NEW BEST:: SOT 13838201 SOS 8222461 HAS SOPS 8222128 HAS SOUS 712170 HAS SOUPS 711951 WITH SCORE 720173.461
AT ITER 7832 NEW BEST:: SOT 13838201 SOS 8222326 HAS SOPS 8221993 HAS SOUS 712155 HAS SOUPS 711936 WITH SCORE 720158.326
AT ITER 7836 NEW BEST:: SOT 13836091 SOS 8220184 HAS SOPS 8219851 HAS SOUS 707841 HAS SOUPS 707622 WITH SCORE 715842.184
AT ITER 7851 NEW BEST:: SOT 13836088 SOS 8220181 HAS SOPS 8219848 HAS SOUS 707750 HAS SOUPS 707531 WITH SCORE 715751.181
AT ITER 7925 NEW BEST:: SOT 13835857 SOS 8221393 HAS SOPS 8221125 HAS SOUS 707233 HAS SOUPS 707079 WITH SCORE 715300.393
AT ITER 7939 NEW BEST:: SOT 13835857 SOS 8219892 HAS SOPS 8219624 HAS SOUS 707195 HAS SOUPS 707041 WITH SCORE 715260.892
AT ITER 7953 NEW BEST:: SOT 13835857 SOS 8219604 HAS SOPS 8219336 HAS SOUS 707195 HAS SOUPS 707041 WITH SCORE 715260.604
AT ITER 8004 NEW BEST:: SOT 13835818 SOS 8219565 HAS SOPS 8219297 HAS SOUS 707156 HAS SOUPS 707002 WITH SCORE 715221.565
AT ITER 8032 NEW BEST:: SOT 13835818 SOS 8219565 HAS SOPS 8219297 HAS SOUS 707090 HAS SOUPS 706936 WITH SCORE 715155.565
AT ITER 8045 NEW BEST:: SOT 13827681 SOS 8211428 HAS SOPS 8211160 HAS SOUS 706988 HAS SOUPS 706834 WITH SCORE 715045.428
AT ITER 8076 NEW BEST:: SOT 13827681 SOS 8207180 HAS SOPS 8206912 HAS SOUS 706988 HAS SOUPS 706834 WITH SCORE 715041.18
AT ITER 8098 NEW BEST:: SOT 13827896 SOS 8207380 HAS SOPS 8207112 HAS SOUS 706488 HAS SOUPS 706334 WITH SCORE 714541.38
AT ITER 8129 NEW BEST:: SOT 13823038 SOS 8202522 HAS SOPS 8202254 HAS SOUS 702169 HAS SOUPS 702015 WITH SCORE 710217.522
AT ITER 8131 NEW BEST:: SOT 13821588 SOS 8200820 HAS SOPS 8200552 HAS SOUS 702168 HAS SOUPS 702014 WITH SCORE 710214.82
AT ITER 8168 NEW BEST:: SOT 13822428 SOS 8201660 HAS SOPS 8201392 HAS SOUS 701805 HAS SOUPS 701651 WITH SCORE 709852.66
AT ITER 8190 NEW BEST:: SOT 13822341 SOS 8201573 HAS SOPS 8201305 HAS SOUS 701757 HAS SOUPS 701603 WITH SCORE 709804.573
AT ITER 8195 NEW BEST:: SOT 13822179 SOS 8201411 HAS SOPS 8201143 HAS SOUS 701485 HAS SOUPS 701331 WITH SCORE 709532.411
AT ITER 8200 NEW BEST:: SOT 13822401 SOS 8201625 HAS SOPS 8201360 HAS SOUS 700684 HAS SOUPS 700533 WITH SCORE 708734.625
AT ITER 8210 NEW BEST:: SOT 13822312 SOS 8201536 HAS SOPS 8201271 HAS SOUS 700613 HAS SOUPS 700462 WITH SCORE 708663.536
AT ITER 8224 NEW BEST:: SOT 13822312 SOS 8201536 HAS SOPS 8201271 HAS SOUS 700586 HAS SOUPS 700435 WITH SCORE 708636.536
AT ITER 8298 NEW BEST:: SOT 13822297 SOS 8201521 HAS SOPS 8201256 HAS SOUS 700573 HAS SOUPS 700422 WITH SCORE 708623.521
AT ITER 8299 NEW BEST:: SOT 13822169 SOS 8201393 HAS SOPS 8201128 HAS SOUS 700445 HAS SOUPS 700294 WITH SCORE 708495.393
AT ITER 8300 NEW BEST:: SOT 13819171 SOS 8198395 HAS SOPS 8198130 HAS SOUS 698031 HAS SOUPS 697880 WITH SCORE 706078.395
AT ITER 8312 NEW BEST:: SOT 13819174 SOS 8198294 HAS SOPS 8198031 HAS SOUS 697978 HAS SOUPS 697829 WITH SCORE 706027.294
AT ITER 8341 NEW BEST:: SOT 13819174 SOS 8197822 HAS SOPS 8197559 HAS SOUS 697971 HAS SOUPS 697822 WITH SCORE 706019.822
AT ITER 8349 NEW BEST:: SOT 13821661 SOS 8200957 HAS SOPS 8200694 HAS SOUS 696624 HAS SOUPS 696475 WITH SCORE 704675.957
AT ITER 8380 NEW BEST:: SOT 13823460 SOS 8202756 HAS SOPS 8202493 HAS SOUS 695327 HAS SOUPS 695178 WITH SCORE 703380.756
AT ITER 8431 NEW BEST:: SOT 13817713 SOS 8197009 HAS SOPS 8196746 HAS SOUS 690506 HAS SOUPS 690357 WITH SCORE 698554.009
AT ITER 8444 NEW BEST:: SOT 13817588 SOS 8196884 HAS SOPS 8196621 HAS SOUS 690381 HAS SOUPS 690232 WITH SCORE 698428.884
AT ITER 8465 NEW BEST:: SOT 13817588 SOS 8194579 HAS SOPS 8194316 HAS SOUS 690381 HAS SOUPS 690232 WITH SCORE 698426.579
AT ITER 8474 NEW BEST:: SOT 13817143 SOS 8194134 HAS SOPS 8193871 HAS SOUS 689484 HAS SOUPS 689335 WITH SCORE 697529.134
AT ITER 8488 NEW BEST:: SOT 13817143 SOS 8193126 HAS SOPS 8192863 HAS SOUS 689484 HAS SOUPS 689335 WITH SCORE 697528.126
AT ITER 8525 NEW BEST:: SOT 13816492 SOS 8192348 HAS SOPS 8192109 HAS SOUS 688044 HAS SOUPS 687919 WITH SCORE 696111.348
AT ITER 8541 NEW BEST:: SOT 13816468 SOS 8192324 HAS SOPS 8192085 HAS SOUS 688042 HAS SOUPS 687917 WITH SCORE 696109.324
AT ITER 8546 NEW BEST:: SOT 13817486 SOS 8192752 HAS SOPS 8192513 HAS SOUS 687584 HAS SOUPS 687459 WITH SCORE 695651.752
AT ITER 8556 NEW BEST:: SOT 13817460 SOS 8192726 HAS SOPS 8192487 HAS SOUS 687543 HAS SOUPS 687418 WITH SCORE 695610.726
AT ITER 8557 NEW BEST:: SOT 13817474 SOS 8192731 HAS SOPS 8192496 HAS SOUS 687441 HAS SOUPS 687320 WITH SCORE 695512.731
AT ITER 8570 NEW BEST:: SOT 13817327 SOS 8192584 HAS SOPS 8192349 HAS SOUS 687141 HAS SOUPS 687020 WITH SCORE 695212.584
AT ITER 8573 NEW BEST:: SOT 13817209 SOS 8192466 HAS SOPS 8192231 HAS SOUS 687116 HAS SOUPS 686995 WITH SCORE 695187.466
AT ITER 8582 NEW BEST:: SOT 13816266 SOS 8188842 HAS SOPS 8188664 HAS SOUS 686793 HAS SOUPS 686691 WITH SCORE 694879.842
AT ITER 8594 NEW BEST:: SOT 13816251 SOS 8188827 HAS SOPS 8188649 HAS SOUS 686778 HAS SOUPS 686676 WITH SCORE 694864.827
AT ITER 8619 NEW BEST:: SOT 13816251 SOS 8188701 HAS SOPS 8188523 HAS SOUS 686760 HAS SOUPS 686658 WITH SCORE 694846.701
AT ITER 8625 NEW BEST:: SOT 13815801 SOS 8188010 HAS SOPS 8187832 HAS SOUS 686145 HAS SOUPS 686043 WITH SCORE 694231.01
AT ITER 8638 NEW BEST:: SOT 13815801 SOS 8189954 HAS SOPS 8189776 HAS SOUS 686101 HAS SOUPS 685999 WITH SCORE 694188.954
AT ITER 8680 NEW BEST:: SOT 13815801 SOS 8189066 HAS SOPS 8188888 HAS SOUS 686089 HAS SOUPS 685987 WITH SCORE 694176.066
AT ITER 8687 NEW BEST:: SOT 13816921 SOS 8190237 HAS SOPS 8190042 HAS SOUS 685414 HAS SOUPS 685295 WITH SCORE 693485.237
AT ITER 8705 NEW BEST:: SOT 13816921 SOS 8190221 HAS SOPS 8190026 HAS SOUS 685398 HAS SOUPS 685279 WITH SCORE 693469.221
AT ITER 8750 NEW BEST:: SOT 13818563 SOS 8191863 HAS SOPS 8191668 HAS SOUS 683956 HAS SOUPS 683837 WITH SCORE 692028.863
AT ITER 8752 NEW BEST:: SOT 13817074 SOS 8190374 HAS SOPS 8190179 HAS SOUS 683313 HAS SOUPS 683194 WITH SCORE 691384.374
AT ITER 8775 NEW BEST:: SOT 13817020 SOS 8190320 HAS SOPS 8190125 HAS SOUS 683259 HAS SOUPS 683140 WITH SCORE 691330.32
AT ITER 8788 NEW BEST:: SOT 13816950 SOS 8190250 HAS SOPS 8190055 HAS SOUS 683154 HAS SOUPS 683035 WITH SCORE 691225.25
AT ITER 8833 NEW BEST:: SOT 13816064 SOS 8189364 HAS SOPS 8189169 HAS SOUS 681338 HAS SOUPS 681219 WITH SCORE 689408.364
AT ITER 8837 NEW BEST:: SOT 13816019 SOS 8189319 HAS SOPS 8189124 HAS SOUS 681244 HAS SOUPS 681125 WITH SCORE 689314.319
AT ITER 8844 NEW BEST:: SOT 13815755 SOS 8189055 HAS SOPS 8188860 HAS SOUS 680965 HAS SOUPS 680846 WITH SCORE 689035.055
AT ITER 8858 NEW BEST:: SOT 13819164 SOS 8192842 HAS SOPS 8192647 HAS SOUS 679964 HAS SOUPS 679845 WITH SCORE 688037.842
AT ITER 8870 NEW BEST:: SOT 13819164 SOS 8189958 HAS SOPS 8189763 HAS SOUS 679861 HAS SOUPS 679742 WITH SCORE 687931.958
AT ITER 8877 NEW BEST:: SOT 13820168 SOS 8190743 HAS SOPS 8190545 HAS SOUS 679402 HAS SOUPS 679280 WITH SCORE 687470.743
AT ITER 8896 NEW BEST:: SOT 13817662 SOS 8188237 HAS SOPS 8188039 HAS SOUS 677470 HAS SOUPS 677348 WITH SCORE 685536.237
AT ITER 8898 NEW BEST:: SOT 13818795 SOS 8189370 HAS SOPS 8189172 HAS SOUS 677239 HAS SOUPS 677117 WITH SCORE 685306.37
AT ITER 8917 NEW BEST:: SOT 13818394 SOS 8188969 HAS SOPS 8188771 HAS SOUS 676376 HAS SOUPS 676254 WITH SCORE 684442.969
AT ITER 8966 NEW BEST:: SOT 13818394 SOS 8188537 HAS SOPS 8188339 HAS SOUS 676376 HAS SOUPS 676254 WITH SCORE 684442.537
AT ITER 8975 NEW BEST:: SOT 13824554 SOS 8194697 HAS SOPS 8194499 HAS SOUS 676176 HAS SOUPS 676054 WITH SCORE 684248.697
AT ITER 9027 NEW BEST:: SOT 13817876 SOS 8188019 HAS SOPS 8187821 HAS SOUS 672019 HAS SOUPS 671897 WITH SCORE 680085.019
AT ITER 9042 NEW BEST:: SOT 13823164 SOS 8193307 HAS SOPS 8193109 HAS SOUS 670396 HAS SOUPS 670274 WITH SCORE 678467.307
AT ITER 9045 NEW BEST:: SOT 13823409 SOS 8193552 HAS SOPS 8193354 HAS SOUS 670039 HAS SOUPS 669917 WITH SCORE 678110.552
AT ITER 9046 NEW BEST:: SOT 13823409 SOS 8193535 HAS SOPS 8193337 HAS SOUS 670039 HAS SOUPS 669917 WITH SCORE 678110.535
AT ITER 9063 NEW BEST:: SOT 13823421 SOS 8151787 HAS SOPS 8151589 HAS SOUS 670051 HAS SOUPS 669929 WITH SCORE 678080.787
AT ITER 9064 NEW BEST:: SOT 13823436 SOS 8151802 HAS SOPS 8151604 HAS SOUS 670035 HAS SOUPS 669913 WITH SCORE 678064.802
AT ITER 9065 NEW BEST:: SOT 13823184 SOS 8151550 HAS SOPS 8151352 HAS SOUS 669859 HAS SOUPS 669737 WITH SCORE 677888.55
AT ITER 9093 NEW BEST:: SOT 13823566 SOS 8151932 HAS SOPS 8151734 HAS SOUS 669857 HAS SOUPS 669735 WITH SCORE 677886.932
AT ITER 9147 NEW BEST:: SOT 13823563 SOS 8151929 HAS SOPS 8151731 HAS SOUS 669832 HAS SOUPS 669710 WITH SCORE 677861.929
AT ITER 9179 NEW BEST:: SOT 13823394 SOS 8151760 HAS SOPS 8151562 HAS SOUS 669819 HAS SOUPS 669697 WITH SCORE 677848.76
AT ITER 9182 NEW BEST:: SOT 13823394 SOS 8151636 HAS SOPS 8151438 HAS SOUS 669819 HAS SOUPS 669697 WITH SCORE 677848.636
AT ITER 9209 NEW BEST:: SOT 13823332 SOS 8151574 HAS SOPS 8151376 HAS SOUS 669792 HAS SOUPS 669670 WITH SCORE 677821.574
AT ITER 9243 NEW BEST:: SOT 13823332 SOS 8149702 HAS SOPS 8149504 HAS SOUS 669792 HAS SOUPS 669670 WITH SCORE 677819.702
AT ITER 9254 NEW BEST:: SOT 13823332 SOS 8152468 HAS SOPS 8152270 HAS SOUS 669789 HAS SOUPS 669667 WITH SCORE 677819.468
AT ITER 9262 NEW BEST:: SOT 13824888 SOS 8154024 HAS SOPS 8153826 HAS SOUS 668967 HAS SOUPS 668845 WITH SCORE 676999.024
AT ITER 9349 NEW BEST:: SOT 13824641 SOS 8153777 HAS SOPS 8153579 HAS SOUS 668187 HAS SOUPS 668065 WITH SCORE 676218.777
AT ITER 9404 NEW BEST:: SOT 13825484 SOS 8156348 HAS SOPS 8156150 HAS SOUS 667953 HAS SOUPS 667831 WITH SCORE 675987.348
AT ITER 9428 NEW BEST:: SOT 13825484 SOS 8156180 HAS SOPS 8155982 HAS SOUS 667953 HAS SOUPS 667831 WITH SCORE 675987.18
AT ITER 9461 NEW BEST:: SOT 13825278 SOS 8155974 HAS SOPS 8155776 HAS SOUS 667769 HAS SOUPS 667647 WITH SCORE 675802.974
AT ITER 9500 NEW BEST:: SOT 13825278 SOS 8154176 HAS SOPS 8153978 HAS SOUS 667769 HAS SOUPS 667647 WITH SCORE 675801.176
AT ITER 9543 NEW BEST:: SOT 13825266 SOS 8154164 HAS SOPS 8153966 HAS SOUS 667757 HAS SOUPS 667635 WITH SCORE 675789.164
AT ITER 9554 NEW BEST:: SOT 13825195 SOS 8154093 HAS SOPS 8153895 HAS SOUS 667643 HAS SOUPS 667521 WITH SCORE 675675.093
AT ITER 9572 NEW BEST:: SOT 13825149 SOS 8154047 HAS SOPS 8153849 HAS SOUS 667597 HAS SOUPS 667475 WITH SCORE 675629.047
AT ITER 9586 NEW BEST:: SOT 13816694 SOS 8145592 HAS SOPS 8145394 HAS SOUS 666021 HAS SOUPS 665899 WITH SCORE 674044.592
AT ITER 9660 NEW BEST:: SOT 13816744 SOS 8145642 HAS SOPS 8145444 HAS SOUS 665919 HAS SOUPS 665797 WITH SCORE 673942.642
AT ITER 9672 NEW BEST:: SOT 13816696 SOS 8145594 HAS SOPS 8145396 HAS SOUS 665871 HAS SOUPS 665749 WITH SCORE 673894.594
AT ITER 9681 NEW BEST:: SOT 13816685 SOS 8145583 HAS SOPS 8145385 HAS SOUS 665789 HAS SOUPS 665667 WITH SCORE 673812.583
AT ITER 9685 NEW BEST:: SOT 13816717 SOS 8145615 HAS SOPS 8145417 HAS SOUS 665766 HAS SOUPS 665644 WITH SCORE 673789.615
AT ITER 9687 NEW BEST:: SOT 13816717 SOS 8145609 HAS SOPS 8145411 HAS SOUS 665766 HAS SOUPS 665644 WITH SCORE 673789.609
AT ITER 9716 NEW BEST:: SOT 13816718 SOS 8142154 HAS SOPS 8141956 HAS SOUS 665767 HAS SOUPS 665645 WITH SCORE 673787.154
AT ITER 9776 NEW BEST:: SOT 13816928 SOS 8142364 HAS SOPS 8142166 HAS SOUS 662169 HAS SOUPS 662047 WITH SCORE 670189.364
AT ITER 9794 NEW BEST:: SOT 13816928 SOS 8141788 HAS SOPS 8141590 HAS SOUS 662159 HAS SOUPS 662037 WITH SCORE 670178.788
AT ITER 9849 NEW BEST:: SOT 13816675 SOS 8141535 HAS SOPS 8141337 HAS SOUS 661523 HAS SOUPS 661401 WITH SCORE 669542.535
AT ITER 9879 NEW BEST:: SOT 13816675 SOS 8143839 HAS SOPS 8143641 HAS SOUS 661491 HAS SOUPS 661369 WITH SCORE 669512.839
AT ITER 9883 NEW BEST:: SOT 13816527 SOS 8143691 HAS SOPS 8143493 HAS SOUS 661112 HAS SOUPS 660990 WITH SCORE 669133.691
AT ITER 9891 NEW BEST:: SOT 13816527 SOS 8144697 HAS SOPS 8144499 HAS SOUS 661034 HAS SOUPS 660912 WITH SCORE 669056.697
AT ITER 9895 NEW BEST:: SOT 13815879 SOS 8144049 HAS SOPS 8143851 HAS SOUS 660931 HAS SOUPS 660809 WITH SCORE 668953.049
AT ITER 9914 NEW BEST:: SOT 13815879 SOS 8141877 HAS SOPS 8141679 HAS SOUS 660876 HAS SOUPS 660754 WITH SCORE 668895.877
AT ITER 9920 NEW BEST:: SOT 13813669 SOS 8141011 HAS SOPS 8140813 HAS SOUS 659409 HAS SOUPS 659287 WITH SCORE 667428.011
AT ITER 9928 NEW BEST:: SOT 13810958 SOS 8138300 HAS SOPS 8138102 HAS SOUS 656087 HAS SOUPS 655965 WITH SCORE 664103.3
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15963388 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16123216 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-q3m064"
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-q3m064, 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-167813688100368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q3m064.tgz
mv BugTracking-PT-q3m064 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 '
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 ;