fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r035-tajo-167813688200440
Last Updated
May 14, 2023

About the Execution of Smart for BugTracking-PT-q8m128

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6596.539 3600000.00 3600167.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-167813688200440.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-q8m128, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688200440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.3K Feb 26 06:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 06:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 06:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 07:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 07:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 07:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 07:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:38 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 1678467755915

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-q8m128
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m128
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 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658044 HAS SOUPS 1653589 WITH SCORE 1659645.099
AT ITER 5 NEW BEST:: SOT 12974547 SOS 6054293 HAS SOPS 6049838 HAS SOUS 1651510 HAS SOUPS 1647055 WITH SCORE 1653109.293
AT ITER 36 NEW BEST:: SOT 12974560 SOS 6054268 HAS SOPS 6049851 HAS SOUS 1643159 HAS SOUPS 1638742 WITH SCORE 1644796.268
AT ITER 45 NEW BEST:: SOT 12973026 SOS 6053242 HAS SOPS 6048825 HAS SOUS 1637215 HAS SOUPS 1632798 WITH SCORE 1638851.242
AT ITER 56 NEW BEST:: SOT 12975103 SOS 6055319 HAS SOPS 6050902 HAS SOUS 1632399 HAS SOUPS 1627982 WITH SCORE 1634037.319
AT ITER 59 NEW BEST:: SOT 12975103 SOS 6051071 HAS SOPS 6046654 HAS SOUS 1632399 HAS SOUPS 1627982 WITH SCORE 1634033.071
AT ITER 76 NEW BEST:: SOT 12976944 SOS 6052912 HAS SOPS 6048495 HAS SOUS 1624557 HAS SOUPS 1620140 WITH SCORE 1626192.912
AT ITER 77 NEW BEST:: SOT 12976944 SOS 6047008 HAS SOPS 6042591 HAS SOUS 1624557 HAS SOUPS 1620140 WITH SCORE 1626187.008
AT ITER 84 NEW BEST:: SOT 12966794 SOS 6034603 HAS SOPS 6028512 HAS SOUS 1615399 HAS SOUPS 1609308 WITH SCORE 1615342.603
AT ITER 89 NEW BEST:: SOT 12956984 SOS 6026017 HAS SOPS 6019926 HAS SOUS 1605591 HAS SOUPS 1599500 WITH SCORE 1605526.017
AT ITER 94 NEW BEST:: SOT 12970387 SOS 6060821 HAS SOPS 6054092 HAS SOUS 1604556 HAS SOUPS 1598294 WITH SCORE 1604354.821
AT ITER 112 NEW BEST:: SOT 12969958 SOS 6060383 HAS SOPS 6053654 HAS SOUS 1604253 HAS SOUPS 1597991 WITH SCORE 1604051.383
AT ITER 125 NEW BEST:: SOT 12967304 SOS 6062953 HAS SOPS 6056224 HAS SOUS 1603340 HAS SOUPS 1597078 WITH SCORE 1603140.953
AT ITER 130 NEW BEST:: SOT 12969256 SOS 6065124 HAS SOPS 6058395 HAS SOUS 1593447 HAS SOUPS 1587185 WITH SCORE 1593250.124
AT ITER 141 NEW BEST:: SOT 12986293 SOS 6107971 HAS SOPS 6100649 HAS SOUS 1589774 HAS SOUPS 1583335 WITH SCORE 1589442.971
AT ITER 162 NEW BEST:: SOT 12991900 SOS 6114074 HAS SOPS 6106752 HAS SOUS 1586730 HAS SOUPS 1580291 WITH SCORE 1586405.074
AT ITER 164 NEW BEST:: SOT 12991900 SOS 6108170 HAS SOPS 6100848 HAS SOUS 1586730 HAS SOUPS 1580291 WITH SCORE 1586399.17
AT ITER 165 NEW BEST:: SOT 12990228 SOS 6106498 HAS SOPS 6099176 HAS SOUS 1583805 HAS SOUPS 1577366 WITH SCORE 1583472.498
AT ITER 171 NEW BEST:: SOT 12990228 SOS 6106406 HAS SOPS 6099084 HAS SOUS 1583713 HAS SOUPS 1577274 WITH SCORE 1583380.406
AT ITER 195 NEW BEST:: SOT 12991080 SOS 6107261 HAS SOPS 6099971 HAS SOUS 1581452 HAS SOUPS 1575045 WITH SCORE 1581152.261
AT ITER 208 NEW BEST:: SOT 12993092 SOS 6109273 HAS SOPS 6101983 HAS SOUS 1574571 HAS SOUPS 1568164 WITH SCORE 1574273.273
AT ITER 214 NEW BEST:: SOT 12992675 SOS 6108856 HAS SOPS 6101566 HAS SOUS 1569667 HAS SOUPS 1563260 WITH SCORE 1569368.856
AT ITER 217 NEW BEST:: SOT 12991939 SOS 6108120 HAS SOPS 6100830 HAS SOUS 1568150 HAS SOUPS 1561743 WITH SCORE 1567851.12
AT ITER 227 NEW BEST:: SOT 12992105 SOS 6108286 HAS SOPS 6100996 HAS SOUS 1560443 HAS SOUPS 1554036 WITH SCORE 1560144.286
AT ITER 234 NEW BEST:: SOT 12990572 SOS 6106933 HAS SOPS 6099643 HAS SOUS 1547060 HAS SOUPS 1540653 WITH SCORE 1546759.933
AT ITER 235 NEW BEST:: SOT 12988799 SOS 6105256 HAS SOPS 6098014 HAS SOUS 1534637 HAS SOUPS 1528278 WITH SCORE 1534383.256
AT ITER 241 NEW BEST:: SOT 12988708 SOS 6107613 HAS SOPS 6100371 HAS SOUS 1534566 HAS SOUPS 1528207 WITH SCORE 1534314.613
AT ITER 248 NEW BEST:: SOT 12988729 SOS 6107634 HAS SOPS 6100392 HAS SOUS 1528222 HAS SOUPS 1521863 WITH SCORE 1527970.634
AT ITER 249 NEW BEST:: SOT 12988458 SOS 6107363 HAS SOPS 6100121 HAS SOUS 1526372 HAS SOUPS 1520013 WITH SCORE 1526120.363
AT ITER 254 NEW BEST:: SOT 12988275 SOS 6107180 HAS SOPS 6099938 HAS SOUS 1525979 HAS SOUPS 1519620 WITH SCORE 1525727.18
AT ITER 260 NEW BEST:: SOT 12988387 SOS 6107238 HAS SOPS 6100050 HAS SOUS 1516870 HAS SOUPS 1510565 WITH SCORE 1516672.238
AT ITER 263 NEW BEST:: SOT 12988490 SOS 6107017 HAS SOPS 6099892 HAS SOUS 1510164 HAS SOUPS 1503922 WITH SCORE 1510029.017
AT ITER 265 NEW BEST:: SOT 12988490 SOS 6106789 HAS SOPS 6099664 HAS SOUS 1510050 HAS SOUPS 1503808 WITH SCORE 1509914.789
AT ITER 272 NEW BEST:: SOT 12988490 SOS 6100525 HAS SOPS 6093400 HAS SOUS 1510050 HAS SOUPS 1503808 WITH SCORE 1509908.525
AT ITER 288 NEW BEST:: SOT 12988490 SOS 6117249 HAS SOPS 6109672 HAS SOUS 1509850 HAS SOUPS 1503495 WITH SCORE 1509612.249
AT ITER 290 NEW BEST:: SOT 12994749 SOS 6123508 HAS SOPS 6115931 HAS SOUS 1498415 HAS SOUPS 1492060 WITH SCORE 1498183.508
AT ITER 296 NEW BEST:: SOT 12994467 SOS 6123226 HAS SOPS 6115649 HAS SOUS 1495114 HAS SOUPS 1488759 WITH SCORE 1494882.226
AT ITER 302 NEW BEST:: SOT 13008663 SOS 6160887 HAS SOPS 6152574 HAS SOUS 1490758 HAS SOUPS 1484212 WITH SCORE 1490372.887
AT ITER 306 NEW BEST:: SOT 13012181 SOS 6165455 HAS SOPS 6157142 HAS SOUS 1469590 HAS SOUPS 1463044 WITH SCORE 1469209.455
AT ITER 313 NEW BEST:: SOT 13013653 SOS 6166927 HAS SOPS 6158614 HAS SOUS 1469510 HAS SOUPS 1462964 WITH SCORE 1469130.927
AT ITER 319 NEW BEST:: SOT 13013653 SOS 6161527 HAS SOPS 6153214 HAS SOUS 1469510 HAS SOUPS 1462964 WITH SCORE 1469125.527
AT ITER 321 NEW BEST:: SOT 13013653 SOS 6152383 HAS SOPS 6144070 HAS SOUS 1469510 HAS SOUPS 1462964 WITH SCORE 1469116.383
AT ITER 323 NEW BEST:: SOT 13013653 SOS 6144247 HAS SOPS 6135934 HAS SOUS 1469510 HAS SOUPS 1462964 WITH SCORE 1469108.247
AT ITER 344 NEW BEST:: SOT 13012014 SOS 6142634 HAS SOPS 6134321 HAS SOUS 1467895 HAS SOUPS 1461349 WITH SCORE 1467491.634
AT ITER 357 NEW BEST:: SOT 13012014 SOS 6145344 HAS SOPS 6137031 HAS SOUS 1467505 HAS SOUPS 1460959 WITH SCORE 1467104.344
AT ITER 366 NEW BEST:: SOT 13012014 SOS 6144696 HAS SOPS 6136383 HAS SOUS 1467505 HAS SOUPS 1460959 WITH SCORE 1467103.696
AT ITER 371 NEW BEST:: SOT 13011693 SOS 6144375 HAS SOPS 6136062 HAS SOUS 1466954 HAS SOUPS 1460408 WITH SCORE 1466552.375
AT ITER 391 NEW BEST:: SOT 12888095 SOS 8267282 HAS SOPS 8260672 HAS SOUS 1345758 HAS SOUPS 1340115 WITH SCORE 1348382.282
AT ITER 393 NEW BEST:: SOT 12888095 SOS 8267282 HAS SOPS 8260672 HAS SOUS 1345752 HAS SOUPS 1340109 WITH SCORE 1348376.282
AT ITER 396 NEW BEST:: SOT 12889920 SOS 8269107 HAS SOPS 8262497 HAS SOUS 1343573 HAS SOUPS 1337930 WITH SCORE 1346199.107
AT ITER 400 NEW BEST:: SOT 12891278 SOS 8270601 HAS SOPS 8263991 HAS SOUS 1337359 HAS SOUPS 1331716 WITH SCORE 1339986.601
AT ITER 404 NEW BEST:: SOT 12891684 SOS 8271007 HAS SOPS 8264397 HAS SOUS 1329670 HAS SOUPS 1324027 WITH SCORE 1332298.007
AT ITER 415 NEW BEST:: SOT 12891901 SOS 8271224 HAS SOPS 8264614 HAS SOUS 1326011 HAS SOUPS 1320368 WITH SCORE 1328639.224
AT ITER 420 NEW BEST:: SOT 12889300 SOS 8268623 HAS SOPS 8262013 HAS SOUS 1322673 HAS SOUPS 1317030 WITH SCORE 1325298.623
AT ITER 421 NEW BEST:: SOT 12888538 SOS 8268851 HAS SOPS 8262439 HAS SOUS 1308892 HAS SOUPS 1303256 WITH SCORE 1311524.851
AT ITER 432 NEW BEST:: SOT 12906977 SOS 8296491 HAS SOPS 8290352 HAS SOUS 1301398 HAS SOUPS 1295762 WITH SCORE 1304058.491
AT ITER 461 NEW BEST:: SOT 12906977 SOS 8289579 HAS SOPS 8283440 HAS SOUS 1301398 HAS SOUPS 1295762 WITH SCORE 1304051.579
AT ITER 463 NEW BEST:: SOT 12906036 SOS 8288593 HAS SOPS 8282499 HAS SOUS 1294539 HAS SOUPS 1288948 WITH SCORE 1297236.593
AT ITER 465 NEW BEST:: SOT 12903991 SOS 8286548 HAS SOPS 8280454 HAS SOUS 1286625 HAS SOUPS 1281034 WITH SCORE 1289320.548
AT ITER 475 NEW BEST:: SOT 12901684 SOS 8283971 HAS SOPS 8277931 HAS SOUS 1278500 HAS SOUPS 1272963 WITH SCORE 1281246.971
AT ITER 491 NEW BEST:: SOT 12901910 SOS 8284225 HAS SOPS 8278185 HAS SOUS 1274492 HAS SOUPS 1268955 WITH SCORE 1277239.225
AT ITER 493 NEW BEST:: SOT 12899007 SOS 8281012 HAS SOPS 8275028 HAS SOUS 1262664 HAS SOUPS 1257183 WITH SCORE 1265464.012
AT ITER 503 NEW BEST:: SOT 12901481 SOS 8283567 HAS SOPS 8277641 HAS SOUS 1260281 HAS SOUPS 1254858 WITH SCORE 1263141.567
AT ITER 529 NEW BEST:: SOT 12901481 SOS 8278455 HAS SOPS 8272529 HAS SOUS 1260281 HAS SOUPS 1254858 WITH SCORE 1263136.455
AT ITER 531 NEW BEST:: SOT 12899665 SOS 8276639 HAS SOPS 8270713 HAS SOUS 1257897 HAS SOUPS 1252474 WITH SCORE 1260750.639
AT ITER 541 NEW BEST:: SOT 12898001 SOS 8286314 HAS SOPS 8280419 HAS SOUS 1256507 HAS SOUPS 1251084 WITH SCORE 1259370.314
AT ITER 547 NEW BEST:: SOT 12898001 SOS 7818665 HAS SOPS 7812770 HAS SOUS 1256416 HAS SOUPS 1250993 WITH SCORE 1258811.665
AT ITER 548 NEW BEST:: SOT 12896668 SOS 7817332 HAS SOPS 7811437 HAS SOUS 1255116 HAS SOUPS 1249693 WITH SCORE 1257510.332
AT ITER 568 NEW BEST:: SOT 12905451 SOS 7826115 HAS SOPS 7820220 HAS SOUS 1253012 HAS SOUPS 1247589 WITH SCORE 1255415.115
AT ITER 581 NEW BEST:: SOT 12903026 SOS 7826944 HAS SOPS 7821049 HAS SOUS 1252951 HAS SOUPS 1247528 WITH SCORE 1255354.944
AT ITER 592 NEW BEST:: SOT 12903026 SOS 7826944 HAS SOPS 7821049 HAS SOUS 1252933 HAS SOUPS 1247510 WITH SCORE 1255336.944
AT ITER 623 NEW BEST:: SOT 12903026 SOS 7820752 HAS SOPS 7814857 HAS SOUS 1252933 HAS SOUPS 1247510 WITH SCORE 1255330.752
AT ITER 625 NEW BEST:: SOT 12902747 SOS 7820473 HAS SOPS 7814578 HAS SOUS 1252285 HAS SOUPS 1246862 WITH SCORE 1254682.473
AT ITER 629 NEW BEST:: SOT 12901304 SOS 7823934 HAS SOPS 7818039 HAS SOUS 1250749 HAS SOUPS 1245326 WITH SCORE 1253149.934
AT ITER 641 NEW BEST:: SOT 12904351 SOS 7826981 HAS SOPS 7821086 HAS SOUS 1246831 HAS SOUPS 1241408 WITH SCORE 1249234.981
AT ITER 645 NEW BEST:: SOT 12900475 SOS 7824982 HAS SOPS 7819334 HAS SOUS 1242473 HAS SOUPS 1237050 WITH SCORE 1244874.982
AT ITER 651 NEW BEST:: SOT 12901720 SOS 7825584 HAS SOPS 7820061 HAS SOUS 1241850 HAS SOUPS 1236552 WITH SCORE 1244377.584
AT ITER 671 NEW BEST:: SOT 12901720 SOS 7825408 HAS SOPS 7819885 HAS SOUS 1241762 HAS SOUPS 1236464 WITH SCORE 1244289.408
AT ITER 676 NEW BEST:: SOT 12901720 SOS 7825084 HAS SOPS 7819561 HAS SOUS 1241762 HAS SOUPS 1236464 WITH SCORE 1244289.084
AT ITER 691 NEW BEST:: SOT 12901720 SOS 7825084 HAS SOPS 7819561 HAS SOUS 1241742 HAS SOUPS 1236444 WITH SCORE 1244269.084
AT ITER 710 NEW BEST:: SOT 12901720 SOS 7818676 HAS SOPS 7813153 HAS SOUS 1241742 HAS SOUPS 1236444 WITH SCORE 1244262.676
AT ITER 711 NEW BEST:: SOT 12899063 SOS 7816019 HAS SOPS 7810496 HAS SOUS 1238411 HAS SOUPS 1233113 WITH SCORE 1240929.019
AT ITER 724 NEW BEST:: SOT 12899063 SOS 7816017 HAS SOPS 7810494 HAS SOUS 1237782 HAS SOUPS 1232484 WITH SCORE 1240300.017
AT ITER 725 NEW BEST:: SOT 12896332 SOS 7813286 HAS SOPS 7807763 HAS SOUS 1224736 HAS SOUPS 1219438 WITH SCORE 1227251.286
AT ITER 733 NEW BEST:: SOT 12896368 SOS 7813322 HAS SOPS 7807799 HAS SOUS 1222076 HAS SOUPS 1216778 WITH SCORE 1224591.322
AT ITER 736 NEW BEST:: SOT 12893687 SOS 7807867 HAS SOPS 7802344 HAS SOUS 1219357 HAS SOUPS 1214059 WITH SCORE 1221866.867
AT ITER 744 NEW BEST:: SOT 12892433 SOS 7806613 HAS SOPS 7801090 HAS SOUS 1216759 HAS SOUPS 1211461 WITH SCORE 1219267.613
AT ITER 747 NEW BEST:: SOT 12890969 SOS 7805149 HAS SOPS 7799626 HAS SOUS 1210839 HAS SOUPS 1205541 WITH SCORE 1213346.149
AT ITER 755 NEW BEST:: SOT 12890969 SOS 7802594 HAS SOPS 7797071 HAS SOUS 1210804 HAS SOUPS 1205506 WITH SCORE 1213308.594
AT ITER 765 NEW BEST:: SOT 12890692 SOS 7802183 HAS SOPS 7796660 HAS SOUS 1206241 HAS SOUPS 1200943 WITH SCORE 1208745.183
AT ITER 770 NEW BEST:: SOT 12890692 SOS 7807643 HAS SOPS 7802120 HAS SOUS 1205787 HAS SOUPS 1200489 WITH SCORE 1208296.643
AT ITER 776 NEW BEST:: SOT 12890055 SOS 7807006 HAS SOPS 7801483 HAS SOUS 1204499 HAS SOUPS 1199201 WITH SCORE 1207008.006
AT ITER 784 NEW BEST:: SOT 12890055 SOS 7801966 HAS SOPS 7796443 HAS SOUS 1204499 HAS SOUPS 1199201 WITH SCORE 1207002.966
AT ITER 791 NEW BEST:: SOT 12890217 SOS 7802149 HAS SOPS 7796626 HAS SOUS 1203141 HAS SOUPS 1197843 WITH SCORE 1205645.149
AT ITER 800 NEW BEST:: SOT 12890442 SOS 7796974 HAS SOPS 7791451 HAS SOUS 1203099 HAS SOUPS 1197801 WITH SCORE 1205597.974
AT ITER 814 NEW BEST:: SOT 12889491 SOS 7796023 HAS SOPS 7790500 HAS SOUS 1201165 HAS SOUPS 1195867 WITH SCORE 1203663.023
AT ITER 816 NEW BEST:: SOT 12889491 SOS 7795146 HAS SOPS 7789623 HAS SOUS 1201153 HAS SOUPS 1195855 WITH SCORE 1203650.146
AT ITER 817 NEW BEST:: SOT 12886600 SOS 7792237 HAS SOPS 7786714 HAS SOUS 1197767 HAS SOUPS 1192469 WITH SCORE 1200261.237
AT ITER 819 NEW BEST:: SOT 12889275 SOS 7794912 HAS SOPS 7789389 HAS SOUS 1196943 HAS SOUPS 1191645 WITH SCORE 1199439.912
AT ITER 830 NEW BEST:: SOT 12889275 SOS 7785984 HAS SOPS 7780461 HAS SOUS 1196943 HAS SOUPS 1191645 WITH SCORE 1199430.984
AT ITER 833 NEW BEST:: SOT 12885547 SOS 7793328 HAS SOPS 7788181 HAS SOUS 1193462 HAS SOUPS 1188418 WITH SCORE 1196211.328
AT ITER 840 NEW BEST:: SOT 12884766 SOS 7793619 HAS SOPS 7788516 HAS SOUS 1186768 HAS SOUPS 1181768 WITH SCORE 1189561.619
AT ITER 858 NEW BEST:: SOT 12898858 SOS 7809823 HAS SOPS 7804198 HAS SOUS 1179938 HAS SOUPS 1174737 WITH SCORE 1182546.823
AT ITER 869 NEW BEST:: SOT 12899224 SOS 7810394 HAS SOPS 7805169 HAS SOUS 1178518 HAS SOUPS 1173717 WITH SCORE 1181527.394
AT ITER 872 NEW BEST:: SOT 12899206 SOS 7810340 HAS SOPS 7805115 HAS SOUS 1178464 HAS SOUPS 1173663 WITH SCORE 1181473.34
AT ITER 888 NEW BEST:: SOT 12897950 SOS 7809084 HAS SOPS 7803859 HAS SOUS 1175882 HAS SOUPS 1171081 WITH SCORE 1178890.084
AT ITER 893 NEW BEST:: SOT 12898914 SOS 7810516 HAS SOPS 7805291 HAS SOUS 1173419 HAS SOUPS 1168618 WITH SCORE 1176428.516
AT ITER 897 NEW BEST:: SOT 12896754 SOS 7807848 HAS SOPS 7802746 HAS SOUS 1168629 HAS SOUPS 1163951 WITH SCORE 1171758.848
AT ITER 900 NEW BEST:: SOT 12896725 SOS 7807819 HAS SOPS 7802717 HAS SOUS 1168600 HAS SOUPS 1163922 WITH SCORE 1171729.819
AT ITER 906 NEW BEST:: SOT 12895993 SOS 7807420 HAS SOPS 7802318 HAS SOUS 1167913 HAS SOUPS 1163235 WITH SCORE 1171042.42
AT ITER 915 NEW BEST:: SOT 12895901 SOS 7808576 HAS SOPS 7803474 HAS SOUS 1154534 HAS SOUPS 1149856 WITH SCORE 1157664.576
AT ITER 922 NEW BEST:: SOT 12895201 SOS 7807146 HAS SOPS 7802044 HAS SOUS 1153834 HAS SOUPS 1149156 WITH SCORE 1156963.146
AT ITER 925 NEW BEST:: SOT 12894444 SOS 7806389 HAS SOPS 7801287 HAS SOUS 1146503 HAS SOUPS 1141825 WITH SCORE 1149631.389
AT ITER 968 NEW BEST:: SOT 12902547 SOS 7823493 HAS SOPS 7818462 HAS SOUS 1143569 HAS SOUPS 1138962 WITH SCORE 1146785.493
AT ITER 970 NEW BEST:: SOT 12902547 SOS 7818165 HAS SOPS 7813134 HAS SOUS 1143569 HAS SOUPS 1138962 WITH SCORE 1146780.165
AT ITER 971 NEW BEST:: SOT 12901118 SOS 7816736 HAS SOPS 7811705 HAS SOUS 1139519 HAS SOUPS 1134912 WITH SCORE 1142728.736
AT ITER 992 NEW BEST:: SOT 12901118 SOS 7816736 HAS SOPS 7811705 HAS SOUS 1139506 HAS SOUPS 1134899 WITH SCORE 1142715.736
AT ITER 996 NEW BEST:: SOT 12900902 SOS 7816520 HAS SOPS 7811489 HAS SOUS 1139070 HAS SOUPS 1134463 WITH SCORE 1142279.52
AT ITER 1025 NEW BEST:: SOT 12899928 SOS 7815546 HAS SOPS 7810515 HAS SOUS 1133919 HAS SOUPS 1129312 WITH SCORE 1137127.546
AT ITER 1030 NEW BEST:: SOT 12899928 SOS 7815546 HAS SOPS 7810515 HAS SOUS 1133897 HAS SOUPS 1129290 WITH SCORE 1137105.546
AT ITER 1046 NEW BEST:: SOT 12902547 SOS 7818226 HAS SOPS 7813217 HAS SOUS 1132680 HAS SOUPS 1128095 WITH SCORE 1135913.226
AT ITER 1052 NEW BEST:: SOT 12925071 SOS 7841585 HAS SOPS 7836061 HAS SOUS 1129322 HAS SOUPS 1124517 WITH SCORE 1132358.585
AT ITER 1069 NEW BEST:: SOT 12925002 SOS 7841472 HAS SOPS 7835970 HAS SOUS 1127948 HAS SOUPS 1123165 WITH SCORE 1131006.472
AT ITER 1077 NEW BEST:: SOT 12925093 SOS 7841563 HAS SOPS 7836061 HAS SOUS 1127924 HAS SOUPS 1123141 WITH SCORE 1130982.563
AT ITER 1088 NEW BEST:: SOT 12925093 SOS 7841563 HAS SOPS 7836061 HAS SOUS 1127876 HAS SOUPS 1123093 WITH SCORE 1130934.563
AT ITER 1103 NEW BEST:: SOT 12925093 SOS 7837027 HAS SOPS 7831525 HAS SOUS 1127876 HAS SOUPS 1123093 WITH SCORE 1130930.027
AT ITER 1104 NEW BEST:: SOT 12924718 SOS 7836652 HAS SOPS 7831150 HAS SOUS 1127114 HAS SOUPS 1122331 WITH SCORE 1130167.652
AT ITER 1122 NEW BEST:: SOT 12923997 SOS 7835931 HAS SOPS 7830429 HAS SOUS 1126174 HAS SOUPS 1121391 WITH SCORE 1129226.931
AT ITER 1127 NEW BEST:: SOT 12924822 SOS 7837113 HAS SOPS 7831635 HAS SOUS 1124277 HAS SOUPS 1119518 WITH SCORE 1127355.113
AT ITER 1142 NEW BEST:: SOT 12924822 SOS 7830921 HAS SOPS 7825443 HAS SOUS 1124277 HAS SOUPS 1119518 WITH SCORE 1127348.921
AT ITER 1143 NEW BEST:: SOT 12924822 SOS 7830921 HAS SOPS 7825443 HAS SOUS 1124271 HAS SOUPS 1119512 WITH SCORE 1127342.921
AT ITER 1191 NEW BEST:: SOT 12922196 SOS 7833379 HAS SOPS 7827901 HAS SOUS 1123208 HAS SOUPS 1118449 WITH SCORE 1126282.379
AT ITER 1201 NEW BEST:: SOT 12922790 SOS 7833964 HAS SOPS 7828486 HAS SOUS 1120275 HAS SOUPS 1115516 WITH SCORE 1123349.964
AT ITER 1215 NEW BEST:: SOT 12924457 SOS 7835597 HAS SOPS 7830119 HAS SOUS 1119204 HAS SOUPS 1114445 WITH SCORE 1122280.597
AT ITER 1220 NEW BEST:: SOT 12923903 SOS 7835043 HAS SOPS 7829565 HAS SOUS 1117931 HAS SOUPS 1113172 WITH SCORE 1121007.043
AT ITER 1229 NEW BEST:: SOT 12925870 SOS 7836992 HAS SOPS 7831514 HAS SOUS 1114242 HAS SOUPS 1109483 WITH SCORE 1117319.992
AT ITER 1231 NEW BEST:: SOT 12925236 SOS 7836358 HAS SOPS 7830880 HAS SOUS 1111526 HAS SOUPS 1106767 WITH SCORE 1114603.358
AT ITER 1236 NEW BEST:: SOT 12925014 SOS 7836105 HAS SOPS 7830634 HAS SOUS 1111136 HAS SOUPS 1106384 WITH SCORE 1114220.105
AT ITER 1248 NEW BEST:: SOT 12924531 SOS 7835399 HAS SOPS 7829963 HAS SOUS 1110702 HAS SOUPS 1105985 WITH SCORE 1113820.399
AT ITER 1253 NEW BEST:: SOT 12924531 SOS 7835363 HAS SOPS 7829927 HAS SOUS 1110666 HAS SOUPS 1105949 WITH SCORE 1113784.363
AT ITER 1270 NEW BEST:: SOT 12907811 SOS 7808995 HAS SOPS 7803559 HAS SOUS 1093797 HAS SOUPS 1089080 WITH SCORE 1096888.995
AT ITER 1274 NEW BEST:: SOT 12905230 SOS 7806414 HAS SOPS 7800978 HAS SOUS 1089771 HAS SOUPS 1085054 WITH SCORE 1092860.414
AT ITER 1283 NEW BEST:: SOT 12913973 SOS 7815157 HAS SOPS 7809721 HAS SOUS 1089153 HAS SOUPS 1084436 WITH SCORE 1092251.157
AT ITER 1287 NEW BEST:: SOT 12917129 SOS 7818404 HAS SOPS 7813018 HAS SOUS 1087078 HAS SOUPS 1082411 WITH SCORE 1090229.404
AT ITER 1310 NEW BEST:: SOT 12917353 SOS 7818628 HAS SOPS 7813242 HAS SOUS 1081844 HAS SOUPS 1077177 WITH SCORE 1084995.628
AT ITER 1329 NEW BEST:: SOT 12917768 SOS 7819160 HAS SOPS 7813774 HAS SOUS 1070847 HAS SOUPS 1066180 WITH SCORE 1073999.16
AT ITER 1335 NEW BEST:: SOT 12918095 SOS 7819487 HAS SOPS 7814101 HAS SOUS 1064960 HAS SOUPS 1060293 WITH SCORE 1068112.487
AT ITER 1342 NEW BEST:: SOT 12918095 SOS 7819415 HAS SOPS 7814029 HAS SOUS 1064960 HAS SOUPS 1060293 WITH SCORE 1068112.415
AT ITER 1360 NEW BEST:: SOT 12916977 SOS 7819701 HAS SOPS 7814100 HAS SOUS 1062505 HAS SOUPS 1057739 WITH SCORE 1065558.701
AT ITER 1364 NEW BEST:: SOT 12916977 SOS 7819595 HAS SOPS 7813994 HAS SOUS 1062452 HAS SOUPS 1057686 WITH SCORE 1065505.595
AT ITER 1368 NEW BEST:: SOT 12921264 SOS 7823882 HAS SOPS 7818281 HAS SOUS 1037979 HAS SOUPS 1033213 WITH SCORE 1041036.882
AT ITER 1374 NEW BEST:: SOT 12918448 SOS 7821066 HAS SOPS 7815465 HAS SOUS 1031807 HAS SOUPS 1027041 WITH SCORE 1034862.066
AT ITER 1404 NEW BEST:: SOT 12918448 SOS 7820758 HAS SOPS 7815157 HAS SOUS 1031793 HAS SOUPS 1027027 WITH SCORE 1034847.758
AT ITER 1419 NEW BEST:: SOT 12918448 SOS 7821348 HAS SOPS 7815747 HAS SOUS 1031125 HAS SOUPS 1026359 WITH SCORE 1034180.348
AT ITER 1432 NEW BEST:: SOT 12920297 SOS 7830904 HAS SOPS 7825360 HAS SOUS 1027435 HAS SOUPS 1022726 WITH SCORE 1030556.904
AT ITER 1447 NEW BEST:: SOT 12928657 SOS 7840476 HAS SOPS 7834944 HAS SOUS 1027175 HAS SOUPS 1022478 WITH SCORE 1030318.476
AT ITER 1463 NEW BEST:: SOT 12927183 SOS 7839002 HAS SOPS 7833470 HAS SOUS 1023897 HAS SOUPS 1019200 WITH SCORE 1027039.002
AT ITER 1475 NEW BEST:: SOT 12933054 SOS 7838465 HAS SOPS 7832933 HAS SOUS 1022382 HAS SOUPS 1017685 WITH SCORE 1025523.465
AT ITER 1477 NEW BEST:: SOT 12938751 SOS 7844182 HAS SOPS 7838650 HAS SOUS 1021919 HAS SOUPS 1017222 WITH SCORE 1025066.182
AT ITER 1478 NEW BEST:: SOT 12940392 SOS 7845823 HAS SOPS 7840291 HAS SOUS 1008783 HAS SOUPS 1004086 WITH SCORE 1011931.823
AT ITER 1488 NEW BEST:: SOT 12940392 SOS 7840783 HAS SOPS 7835251 HAS SOUS 1008783 HAS SOUPS 1004086 WITH SCORE 1011926.783
AT ITER 1516 NEW BEST:: SOT 12940392 SOS 7837975 HAS SOPS 7832443 HAS SOUS 1008783 HAS SOUPS 1004086 WITH SCORE 1011923.975
AT ITER 1518 NEW BEST:: SOT 12940366 SOS 7837949 HAS SOPS 7832417 HAS SOUS 1008779 HAS SOUPS 1004082 WITH SCORE 1011919.949
AT ITER 1522 NEW BEST:: SOT 12938177 SOS 7835751 HAS SOPS 7830219 HAS SOUS 1006563 HAS SOUPS 1001866 WITH SCORE 1009701.751
AT ITER 1530 NEW BEST:: SOT 12942487 SOS 7840293 HAS SOPS 7834761 HAS SOUS 1003299 HAS SOUPS 998602 WITH SCORE 1006442.293
AT ITER 1557 NEW BEST:: SOT 12951968 SOS 7849993 HAS SOPS 7844429 HAS SOUS 1002167 HAS SOUPS 997438 WITH SCORE 1005287.993
AT ITER 1570 NEW BEST:: SOT 12951041 SOS 7849066 HAS SOPS 7843502 HAS SOUS 1000255 HAS SOUPS 995526 WITH SCORE 1003375.066
AT ITER 1577 NEW BEST:: SOT 12966367 SOS 7893979 HAS SOPS 7888937 HAS SOUS 988920 HAS SOUPS 984246 WITH SCORE 992139.979
AT ITER 1584 NEW BEST:: SOT 12965180 SOS 7892748 HAS SOPS 7887706 HAS SOUS 987527 HAS SOUPS 982853 WITH SCORE 990745.748
AT ITER 1588 NEW BEST:: SOT 12964364 SOS 7891932 HAS SOPS 7886871 HAS SOUS 987168 HAS SOUPS 982475 WITH SCORE 990366.932
AT ITER 1624 NEW BEST:: SOT 12964364 SOS 7886244 HAS SOPS 7881183 HAS SOUS 987168 HAS SOUPS 982475 WITH SCORE 990361.244
AT ITER 1640 NEW BEST:: SOT 12964364 SOS 7885688 HAS SOPS 7880627 HAS SOUS 987029 HAS SOUPS 982336 WITH SCORE 990221.688
AT ITER 1644 NEW BEST:: SOT 12966033 SOS 7887357 HAS SOPS 7882296 HAS SOUS 986043 HAS SOUPS 981350 WITH SCORE 989237.357
AT ITER 1649 NEW BEST:: SOT 12968782 SOS 7890139 HAS SOPS 7885107 HAS SOUS 984869 HAS SOUPS 980205 WITH SCORE 988095.139
AT ITER 1654 NEW BEST:: SOT 12969724 SOS 7891081 HAS SOPS 7886049 HAS SOUS 979511 HAS SOUPS 974847 WITH SCORE 982738.081
AT ITER 1665 NEW BEST:: SOT 12970761 SOS 7892118 HAS SOPS 7887086 HAS SOUS 977964 HAS SOUPS 973300 WITH SCORE 981192.118
AT ITER 1675 NEW BEST:: SOT 12970761 SOS 7892118 HAS SOPS 7887086 HAS SOUS 977957 HAS SOUPS 973293 WITH SCORE 981185.118
AT ITER 1684 NEW BEST:: SOT 12979029 SOS 7906930 HAS SOPS 7901906 HAS SOUS 977122 HAS SOUPS 972466 WITH SCORE 980372.93
AT ITER 1732 NEW BEST:: SOT 12983241 SOS 7910837 HAS SOPS 7905865 HAS SOUS 975064 HAS SOUPS 970460 WITH SCORE 978370.837
AT ITER 1735 NEW BEST:: SOT 12985813 SOS 7913154 HAS SOPS 7908258 HAS SOUS 974460 HAS SOUPS 969932 WITH SCORE 977845.154
AT ITER 1738 NEW BEST:: SOT 12985681 SOS 7908342 HAS SOPS 7903446 HAS SOUS 974118 HAS SOUPS 969590 WITH SCORE 977498.342
AT ITER 1739 NEW BEST:: SOT 12985568 SOS 7907401 HAS SOPS 7902618 HAS SOUS 973892 HAS SOUPS 969477 WITH SCORE 977384.401
AT ITER 1746 NEW BEST:: SOT 12986569 SOS 7914268 HAS SOPS 7909700 HAS SOUS 972969 HAS SOUPS 968769 WITH SCORE 976683.268
AT ITER 1751 NEW BEST:: SOT 12986700 SOS 7914390 HAS SOPS 7909822 HAS SOUS 972425 HAS SOUPS 968225 WITH SCORE 976139.39
AT ITER 1754 NEW BEST:: SOT 12986700 SOS 7902150 HAS SOPS 7897582 HAS SOUS 972425 HAS SOUPS 968225 WITH SCORE 976127.15
AT ITER 1779 NEW BEST:: SOT 12987839 SOS 7903688 HAS SOPS 7899141 HAS SOUS 971867 HAS SOUPS 967688 WITH SCORE 975591.688
AT ITER 1786 NEW BEST:: SOT 12987387 SOS 7903236 HAS SOPS 7898689 HAS SOUS 971245 HAS SOUPS 967066 WITH SCORE 974969.236
AT ITER 1796 NEW BEST:: SOT 12982118 SOS 7897967 HAS SOPS 7893420 HAS SOUS 964651 HAS SOUPS 960472 WITH SCORE 968369.967
AT ITER 1807 NEW BEST:: SOT 12982118 SOS 7885313 HAS SOPS 7880766 HAS SOUS 964480 HAS SOUPS 960301 WITH SCORE 968186.313
AT ITER 1809 NEW BEST:: SOT 12982118 SOS 7884599 HAS SOPS 7880052 HAS SOUS 964480 HAS SOUPS 960301 WITH SCORE 968185.599
AT ITER 1849 NEW BEST:: SOT 12982118 SOS 7883250 HAS SOPS 7878703 HAS SOUS 964480 HAS SOUPS 960301 WITH SCORE 968184.25
AT ITER 1857 NEW BEST:: SOT 12988535 SOS 7890201 HAS SOPS 7885654 HAS SOUS 961838 HAS SOUPS 957659 WITH SCORE 965549.201
AT ITER 1876 NEW BEST:: SOT 12988535 SOS 7880337 HAS SOPS 7875790 HAS SOUS 961838 HAS SOUPS 957659 WITH SCORE 965539.337
AT ITER 1893 NEW BEST:: SOT 12991723 SOS 7883516 HAS SOPS 7878969 HAS SOUS 959227 HAS SOUPS 955048 WITH SCORE 962931.516
AT ITER 1907 NEW BEST:: SOT 12995644 SOS 7892063 HAS SOPS 7887552 HAS SOUS 957444 HAS SOUPS 953301 WITH SCORE 961193.063
AT ITER 1996 NEW BEST:: SOT 12995560 SOS 7894553 HAS SOPS 7890043 HAS SOUS 953010 HAS SOUPS 948868 WITH SCORE 956762.553
AT ITER 2027 NEW BEST:: SOT 12995560 SOS 7894198 HAS SOPS 7889688 HAS SOUS 953010 HAS SOUPS 948868 WITH SCORE 956762.198
AT ITER 2049 NEW BEST:: SOT 12996124 SOS 7894762 HAS SOPS 7890252 HAS SOUS 951880 HAS SOUPS 947738 WITH SCORE 955632.762
AT ITER 2059 NEW BEST:: SOT 12986889 SOS 7885527 HAS SOPS 7881017 HAS SOUS 945699 HAS SOUPS 941557 WITH SCORE 949442.527
AT ITER 2068 NEW BEST:: SOT 12986889 SOS 7885373 HAS SOPS 7880863 HAS SOUS 945622 HAS SOUPS 941480 WITH SCORE 949365.373
AT ITER 2072 NEW BEST:: SOT 12986342 SOS 7884822 HAS SOPS 7880312 HAS SOUS 941460 HAS SOUPS 937318 WITH SCORE 945202.822
AT ITER 2080 NEW BEST:: SOT 12986342 SOS 7884806 HAS SOPS 7880312 HAS SOUS 941444 HAS SOUPS 937318 WITH SCORE 945202.806
AT ITER 2098 NEW BEST:: SOT 12989056 SOS 7887516 HAS SOPS 7883023 HAS SOUS 939441 HAS SOUPS 935316 WITH SCORE 943203.516
AT ITER 2100 NEW BEST:: SOT 12989012 SOS 7887472 HAS SOPS 7882979 HAS SOUS 938927 HAS SOUPS 934802 WITH SCORE 942689.472
AT ITER 2106 NEW BEST:: SOT 12988352 SOS 7886812 HAS SOPS 7882319 HAS SOUS 937772 HAS SOUPS 933647 WITH SCORE 941533.812
AT ITER 2121 NEW BEST:: SOT 12988352 SOS 7882132 HAS SOPS 7877639 HAS SOUS 937772 HAS SOUPS 933647 WITH SCORE 941529.132
AT ITER 2122 NEW BEST:: SOT 12988322 SOS 7882107 HAS SOPS 7877614 HAS SOUS 937747 HAS SOUPS 933622 WITH SCORE 941504.107
AT ITER 2137 NEW BEST:: SOT 12988322 SOS 7878939 HAS SOPS 7874446 HAS SOUS 937747 HAS SOUPS 933622 WITH SCORE 941500.939
AT ITER 2143 NEW BEST:: SOT 12988322 SOS 7878703 HAS SOPS 7874210 HAS SOUS 937629 HAS SOUPS 933504 WITH SCORE 941382.703
AT ITER 2182 NEW BEST:: SOT 12988322 SOS 7878559 HAS SOPS 7874066 HAS SOUS 937629 HAS SOUPS 933504 WITH SCORE 941382.559
AT ITER 2213 NEW BEST:: SOT 12988322 SOS 7878492 HAS SOPS 7873999 HAS SOUS 937562 HAS SOUPS 933437 WITH SCORE 941315.492
AT ITER 2229 NEW BEST:: SOT 12986997 SOS 7877190 HAS SOPS 7872697 HAS SOUS 936260 HAS SOUPS 932135 WITH SCORE 940012.19
AT ITER 2230 NEW BEST:: SOT 12988149 SOS 7878342 HAS SOPS 7873849 HAS SOUS 929544 HAS SOUPS 925419 WITH SCORE 933297.342
AT ITER 2232 NEW BEST:: SOT 12987897 SOS 7878087 HAS SOPS 7873597 HAS SOUS 929204 HAS SOUPS 925082 WITH SCORE 932960.087
AT ITER 2237 NEW BEST:: SOT 12990286 SOS 7880768 HAS SOPS 7876424 HAS SOUS 926553 HAS SOUPS 922431 WITH SCORE 930311.768
AT ITER 2270 NEW BEST:: SOT 12987594 SOS 7878076 HAS SOPS 7873732 HAS SOUS 920859 HAS SOUPS 916737 WITH SCORE 924615.076
AT ITER 2272 NEW BEST:: SOT 12987554 SOS 7878036 HAS SOPS 7873692 HAS SOUS 920765 HAS SOUPS 916643 WITH SCORE 924521.036
AT ITER 2286 NEW BEST:: SOT 12987543 SOS 7878025 HAS SOPS 7873681 HAS SOUS 920754 HAS SOUPS 916632 WITH SCORE 924510.025
AT ITER 2299 NEW BEST:: SOT 12987543 SOS 7877994 HAS SOPS 7873681 HAS SOUS 920718 HAS SOUPS 916627 WITH SCORE 924504.994
AT ITER 2311 NEW BEST:: SOT 12986353 SOS 7876977 HAS SOPS 7872664 HAS SOUS 918475 HAS SOUPS 914384 WITH SCORE 922260.977
AT ITER 2329 NEW BEST:: SOT 12983381 SOS 7886632 HAS SOPS 7882319 HAS SOUS 916163 HAS SOUPS 912072 WITH SCORE 919958.632
AT ITER 2331 NEW BEST:: SOT 12982029 SOS 7885280 HAS SOPS 7880967 HAS SOUS 913429 HAS SOUPS 909338 WITH SCORE 917223.28
AT ITER 2342 NEW BEST:: SOT 12982029 SOS 7880672 HAS SOPS 7876359 HAS SOUS 913429 HAS SOUPS 909338 WITH SCORE 917218.672
AT ITER 2352 NEW BEST:: SOT 12981929 SOS 7880570 HAS SOPS 7876257 HAS SOUS 913339 HAS SOUPS 909248 WITH SCORE 917128.57
AT ITER 2372 NEW BEST:: SOT 12979536 SOS 7878443 HAS SOPS 7874130 HAS SOUS 909008 HAS SOUPS 904917 WITH SCORE 912795.443
AT ITER 2399 NEW BEST:: SOT 12985890 SOS 7891477 HAS SOPS 7887180 HAS SOUS 905018 HAS SOUPS 900943 WITH SCORE 908834.477
AT ITER 2407 NEW BEST:: SOT 12984230 SOS 7889817 HAS SOPS 7885520 HAS SOUS 901628 HAS SOUPS 897553 WITH SCORE 905442.817
AT ITER 2423 NEW BEST:: SOT 12983200 SOS 7885663 HAS SOPS 7881342 HAS SOUS 901608 HAS SOUPS 897509 WITH SCORE 905394.663
AT ITER 2424 NEW BEST:: SOT 12978333 SOS 7880796 HAS SOPS 7876475 HAS SOUS 899005 HAS SOUPS 894906 WITH SCORE 902786.796
AT ITER 2428 NEW BEST:: SOT 12978333 SOS 7877628 HAS SOPS 7873307 HAS SOUS 899005 HAS SOUPS 894906 WITH SCORE 902783.628
AT ITER 2431 NEW BEST:: SOT 12978216 SOS 7869769 HAS SOPS 7865448 HAS SOUS 898998 HAS SOUPS 894899 WITH SCORE 902768.769
AT ITER 2434 NEW BEST:: SOT 12978438 SOS 7869991 HAS SOPS 7865670 HAS SOUS 898759 HAS SOUPS 894660 WITH SCORE 902529.991
AT ITER 2442 NEW BEST:: SOT 12977870 SOS 7869135 HAS SOPS 7864814 HAS SOUS 898475 HAS SOUPS 894376 WITH SCORE 902245.135
AT ITER 2463 NEW BEST:: SOT 12977636 SOS 7868901 HAS SOPS 7864580 HAS SOUS 898001 HAS SOUPS 893902 WITH SCORE 901770.901
AT ITER 2465 NEW BEST:: SOT 12977617 SOS 7868882 HAS SOPS 7864561 HAS SOUS 897982 HAS SOUPS 893883 WITH SCORE 901751.882
AT ITER 2468 NEW BEST:: SOT 12974947 SOS 7866172 HAS SOPS 7861851 HAS SOUS 897714 HAS SOUPS 893615 WITH SCORE 901481.172
AT ITER 2472 NEW BEST:: SOT 12971333 SOS 7862558 HAS SOPS 7858237 HAS SOUS 896783 HAS SOUPS 892684 WITH SCORE 900546.558
AT ITER 2484 NEW BEST:: SOT 12971607 SOS 7862832 HAS SOPS 7858511 HAS SOUS 895856 HAS SOUPS 891757 WITH SCORE 899619.832
AT ITER 2559 NEW BEST:: SOT 12971088 SOS 7862313 HAS SOPS 7857992 HAS SOUS 894792 HAS SOUPS 890693 WITH SCORE 898555.313
AT ITER 2570 NEW BEST:: SOT 12970393 SOS 7859884 HAS SOPS 7855914 HAS SOUS 887504 HAS SOUPS 883656 WITH SCORE 891515.884
AT ITER 2572 NEW BEST:: SOT 12965556 SOS 7854975 HAS SOPS 7851077 HAS SOUS 881509 HAS SOUPS 877733 WITH SCORE 885587.975
AT ITER 2594 NEW BEST:: SOT 12965556 SOS 7854352 HAS SOPS 7850453 HAS SOUS 881461 HAS SOUPS 877684 WITH SCORE 885538.352
AT ITER 2607 NEW BEST:: SOT 12965519 SOS 7854314 HAS SOPS 7850415 HAS SOUS 881388 HAS SOUPS 877611 WITH SCORE 885465.314
AT ITER 2611 NEW BEST:: SOT 12965519 SOS 7851650 HAS SOPS 7847751 HAS SOUS 879751 HAS SOUPS 875974 WITH SCORE 883825.65
AT ITER 2618 NEW BEST:: SOT 12965519 SOS 7851578 HAS SOPS 7847679 HAS SOUS 879751 HAS SOUPS 875974 WITH SCORE 883825.578
AT ITER 2622 NEW BEST:: SOT 12972520 SOS 7858666 HAS SOPS 7854767 HAS SOUS 879291 HAS SOUPS 875514 WITH SCORE 883372.666
AT ITER 2625 NEW BEST:: SOT 12972520 SOS 7854490 HAS SOPS 7850591 HAS SOUS 879291 HAS SOUPS 875514 WITH SCORE 883368.49
AT ITER 2626 NEW BEST:: SOT 12972499 SOS 7854469 HAS SOPS 7850570 HAS SOUS 879278 HAS SOUPS 875501 WITH SCORE 883355.469
AT ITER 2629 NEW BEST:: SOT 12968925 SOS 7846138 HAS SOPS 7842172 HAS SOUS 878997 HAS SOUPS 875153 WITH SCORE 882999.138
AT ITER 2640 NEW BEST:: SOT 12968918 SOS 7846132 HAS SOPS 7842165 HAS SOUS 878978 HAS SOUPS 875133 WITH SCORE 882979.132
AT ITER 2649 NEW BEST:: SOT 12969841 SOS 7847055 HAS SOPS 7843088 HAS SOUS 875379 HAS SOUPS 871534 WITH SCORE 879381.055
AT ITER 2665 NEW BEST:: SOT 12968258 SOS 7845494 HAS SOPS 7841527 HAS SOUS 873532 HAS SOUPS 869687 WITH SCORE 877532.494
AT ITER 2689 NEW BEST:: SOT 12970252 SOS 7847521 HAS SOPS 7843554 HAS SOUS 873192 HAS SOUPS 869347 WITH SCORE 877194.521
AT ITER 2703 NEW BEST:: SOT 12970252 SOS 7847521 HAS SOPS 7843554 HAS SOUS 873143 HAS SOUPS 869298 WITH SCORE 877145.521
AT ITER 2744 NEW BEST:: SOT 12970280 SOS 7849027 HAS SOPS 7845026 HAS SOUS 873120 HAS SOUPS 869241 WITH SCORE 877090.027
AT ITER 2762 NEW BEST:: SOT 12970280 SOS 7848739 HAS SOPS 7844738 HAS SOUS 873120 HAS SOUPS 869241 WITH SCORE 877089.739
AT ITER 2764 NEW BEST:: SOT 12970190 SOS 7847974 HAS SOPS 7843973 HAS SOUS 870111 HAS SOUPS 866232 WITH SCORE 874079.974
AT ITER 2776 NEW BEST:: SOT 12970190 SOS 7846032 HAS SOPS 7842031 HAS SOUS 869761 HAS SOUPS 865882 WITH SCORE 873728.032
AT ITER 2779 NEW BEST:: SOT 12969833 SOS 7845651 HAS SOPS 7841653 HAS SOUS 869549 HAS SOUPS 865673 WITH SCORE 873518.651
AT ITER 2780 NEW BEST:: SOT 12972287 SOS 7847852 HAS SOPS 7843903 HAS SOUS 868041 HAS SOUPS 864214 WITH SCORE 872061.852
AT ITER 2793 NEW BEST:: SOT 12972006 SOS 7847571 HAS SOPS 7843622 HAS SOUS 864827 HAS SOUPS 861000 WITH SCORE 868847.571
AT ITER 2816 NEW BEST:: SOT 12971978 SOS 7847139 HAS SOPS 7843050 HAS SOUS 864771 HAS SOUPS 860804 WITH SCORE 868651.139
AT ITER 2833 NEW BEST:: SOT 12971978 SOS 7847139 HAS SOPS 7843050 HAS SOUS 864740 HAS SOUPS 860773 WITH SCORE 868620.139
AT ITER 2834 NEW BEST:: SOT 12971329 SOS 7846634 HAS SOPS 7842545 HAS SOUS 863999 HAS SOUPS 860032 WITH SCORE 867878.634
AT ITER 2843 NEW BEST:: SOT 12971329 SOS 7841306 HAS SOPS 7837217 HAS SOUS 863927 HAS SOUPS 859960 WITH SCORE 867801.306
AT ITER 2845 NEW BEST:: SOT 12971329 SOS 7844879 HAS SOPS 7840790 HAS SOUS 863283 HAS SOUPS 859316 WITH SCORE 867160.879
AT ITER 2856 NEW BEST:: SOT 12972652 SOS 7846167 HAS SOPS 7842078 HAS SOUS 860279 HAS SOUPS 856312 WITH SCORE 864158.167
AT ITER 2857 NEW BEST:: SOT 12971937 SOS 7845452 HAS SOPS 7841363 HAS SOUS 859559 HAS SOUPS 855592 WITH SCORE 863437.452
AT ITER 2858 NEW BEST:: SOT 12971874 SOS 7845389 HAS SOPS 7841300 HAS SOUS 859532 HAS SOUPS 855565 WITH SCORE 863410.389
AT ITER 2863 NEW BEST:: SOT 12971874 SOS 7845041 HAS SOPS 7840952 HAS SOUS 859358 HAS SOUPS 855391 WITH SCORE 863236.041
AT ITER 2878 NEW BEST:: SOT 12977475 SOS 7850642 HAS SOPS 7846553 HAS SOUS 859288 HAS SOUPS 855321 WITH SCORE 863171.642
AT ITER 2887 NEW BEST:: SOT 12975489 SOS 7848750 HAS SOPS 7844661 HAS SOUS 859206 HAS SOUPS 855239 WITH SCORE 863087.75
AT ITER 2897 NEW BEST:: SOT 12975389 SOS 7848650 HAS SOPS 7844561 HAS SOUS 859001 HAS SOUPS 855034 WITH SCORE 862882.65
AT ITER 2910 NEW BEST:: SOT 12974796 SOS 7848052 HAS SOPS 7843963 HAS SOUS 858468 HAS SOUPS 854501 WITH SCORE 862349.052
AT ITER 2929 NEW BEST:: SOT 12974551 SOS 7847597 HAS SOPS 7843508 HAS SOUS 854196 HAS SOUPS 850229 WITH SCORE 858076.597
AT ITER 2936 NEW BEST:: SOT 12974551 SOS 7853555 HAS SOPS 7849466 HAS SOUS 854081 HAS SOUPS 850114 WITH SCORE 857967.555
AT ITER 2940 NEW BEST:: SOT 12974535 SOS 7853539 HAS SOPS 7849450 HAS SOUS 854081 HAS SOUPS 850114 WITH SCORE 857967.539
AT ITER 2951 NEW BEST:: SOT 12974528 SOS 7853532 HAS SOPS 7849443 HAS SOUS 854074 HAS SOUPS 850107 WITH SCORE 857960.532
AT ITER 2957 NEW BEST:: SOT 12974528 SOS 7846188 HAS SOPS 7842099 HAS SOUS 854074 HAS SOUPS 850107 WITH SCORE 857953.188
AT ITER 2990 NEW BEST:: SOT 12974248 SOS 7845913 HAS SOPS 7841824 HAS SOUS 853789 HAS SOUPS 849822 WITH SCORE 857667.913
AT ITER 2999 NEW BEST:: SOT 12976424 SOS 7858241 HAS SOPS 7854152 HAS SOUS 851702 HAS SOUPS 847735 WITH SCORE 855593.241
AT ITER 3015 NEW BEST:: SOT 12976424 SOS 7858170 HAS SOPS 7854081 HAS SOUS 851631 HAS SOUPS 847664 WITH SCORE 855522.17
AT ITER 3020 NEW BEST:: SOT 12976424 SOS 7852482 HAS SOPS 7848393 HAS SOUS 851631 HAS SOUPS 847664 WITH SCORE 855516.482
AT ITER 3044 NEW BEST:: SOT 12976424 SOS 7847810 HAS SOPS 7843721 HAS SOUS 851567 HAS SOUPS 847600 WITH SCORE 855447.81
AT ITER 3065 NEW BEST:: SOT 12977396 SOS 7848729 HAS SOPS 7844640 HAS SOUS 850171 HAS SOUPS 846204 WITH SCORE 854052.729
AT ITER 3086 NEW BEST:: SOT 12978065 SOS 7850537 HAS SOPS 7846461 HAS SOUS 849054 HAS SOUPS 845100 WITH SCORE 852950.537
AT ITER 3088 NEW BEST:: SOT 12977438 SOS 7849910 HAS SOPS 7845834 HAS SOUS 845973 HAS SOUPS 842019 WITH SCORE 849868.91
AT ITER 3107 NEW BEST:: SOT 12977374 SOS 7849846 HAS SOPS 7845770 HAS SOUS 845925 HAS SOUPS 841971 WITH SCORE 849820.846
AT ITER 3128 NEW BEST:: SOT 12977374 SOS 7846678 HAS SOPS 7842602 HAS SOUS 845925 HAS SOUPS 841971 WITH SCORE 849817.678
AT ITER 3129 NEW BEST:: SOT 12977374 SOS 8547165 HAS SOPS 8543089 HAS SOUS 844815 HAS SOUPS 840861 WITH SCORE 849408.165
AT ITER 3134 NEW BEST:: SOT 12975590 SOS 8545381 HAS SOPS 8541305 HAS SOUS 843005 HAS SOUPS 839051 WITH SCORE 847596.381
AT ITER 3143 NEW BEST:: SOT 12975590 SOS 8545309 HAS SOPS 8541233 HAS SOUS 843005 HAS SOUPS 839051 WITH SCORE 847596.309
AT ITER 3167 NEW BEST:: SOT 12971749 SOS 8541180 HAS SOPS 8537140 HAS SOUS 840482 HAS SOUPS 836564 WITH SCORE 845105.18
AT ITER 3171 NEW BEST:: SOT 12971749 SOS 8540460 HAS SOPS 8536420 HAS SOUS 840482 HAS SOUPS 836564 WITH SCORE 845104.46
AT ITER 3180 NEW BEST:: SOT 12971749 SOS 8540445 HAS SOPS 8536405 HAS SOUS 840466 HAS SOUPS 836548 WITH SCORE 845088.445
AT ITER 3184 NEW BEST:: SOT 12971749 SOS 8539977 HAS SOPS 8535937 HAS SOUS 840232 HAS SOUPS 836314 WITH SCORE 844853.977
AT ITER 3189 NEW BEST:: SOT 12971749 SOS 8529309 HAS SOPS 8525269 HAS SOUS 840105 HAS SOUPS 836187 WITH SCORE 844716.309
AT ITER 3191 NEW BEST:: SOT 12974243 SOS 8531752 HAS SOPS 8527712 HAS SOUS 838253 HAS SOUPS 834335 WITH SCORE 842866.752
AT ITER 3217 NEW BEST:: SOT 12974411 SOS 8531920 HAS SOPS 8527880 HAS SOUS 838062 HAS SOUPS 834144 WITH SCORE 842675.92
AT ITER 3223 NEW BEST:: SOT 12974389 SOS 8531898 HAS SOPS 8527858 HAS SOUS 838031 HAS SOUPS 834113 WITH SCORE 842644.898
AT ITER 3243 NEW BEST:: SOT 12974331 SOS 8531840 HAS SOPS 8527800 HAS SOUS 837975 HAS SOUPS 834057 WITH SCORE 842588.84
AT ITER 3267 NEW BEST:: SOT 12974328 SOS 8531836 HAS SOPS 8527796 HAS SOUS 837973 HAS SOUPS 834055 WITH SCORE 842586.836
AT ITER 3277 NEW BEST:: SOT 12974328 SOS 8531752 HAS SOPS 8527712 HAS SOUS 837952 HAS SOUPS 834034 WITH SCORE 842565.752
AT ITER 3289 NEW BEST:: SOT 12974307 SOS 8531731 HAS SOPS 8527691 HAS SOUS 837931 HAS SOUPS 834013 WITH SCORE 842544.731
AT ITER 3303 NEW BEST:: SOT 12974307 SOS 8529499 HAS SOPS 8525459 HAS SOUS 837931 HAS SOUPS 834013 WITH SCORE 842542.499
AT ITER 3315 NEW BEST:: SOT 12974230 SOS 8529422 HAS SOPS 8525382 HAS SOUS 837865 HAS SOUPS 833947 WITH SCORE 842476.422
AT ITER 3319 NEW BEST:: SOT 12974183 SOS 8529375 HAS SOPS 8525335 HAS SOUS 837865 HAS SOUPS 833947 WITH SCORE 842476.375
AT ITER 3324 NEW BEST:: SOT 12974493 SOS 8529685 HAS SOPS 8525645 HAS SOUS 837820 HAS SOUPS 833902 WITH SCORE 842431.685
AT ITER 3325 NEW BEST:: SOT 12974549 SOS 7961167 HAS SOPS 7957127 HAS SOUS 837673 HAS SOUPS 833755 WITH SCORE 841716.167
AT ITER 3365 NEW BEST:: SOT 12974459 SOS 7961149 HAS SOPS 7957109 HAS SOUS 837520 HAS SOUPS 833602 WITH SCORE 841563.149
AT ITER 3384 NEW BEST:: SOT 12974459 SOS 7956253 HAS SOPS 7952213 HAS SOUS 837520 HAS SOUPS 833602 WITH SCORE 841558.253
AT ITER 3388 NEW BEST:: SOT 12968907 SOS 7953881 HAS SOPS 7949841 HAS SOUS 830986 HAS SOUPS 827068 WITH SCORE 835021.881
AT ITER 3399 NEW BEST:: SOT 12967865 SOS 7952839 HAS SOPS 7948799 HAS SOUS 828850 HAS SOUPS 824932 WITH SCORE 832884.839
AT ITER 3402 NEW BEST:: SOT 12967865 SOS 7952839 HAS SOPS 7948799 HAS SOUS 828823 HAS SOUPS 824905 WITH SCORE 832857.839
AT ITER 3411 NEW BEST:: SOT 12967848 SOS 7952820 HAS SOPS 7948782 HAS SOUS 828814 HAS SOUPS 824898 WITH SCORE 832850.82
AT ITER 3415 NEW BEST:: SOT 12972700 SOS 7958392 HAS SOPS 7954354 HAS SOUS 825741 HAS SOUPS 821825 WITH SCORE 829783.392
AT ITER 3456 NEW BEST:: SOT 12974601 SOS 7960345 HAS SOPS 7956307 HAS SOUS 822718 HAS SOUPS 818802 WITH SCORE 826762.345
AT ITER 3464 NEW BEST:: SOT 12973802 SOS 7959586 HAS SOPS 7955548 HAS SOUS 819628 HAS SOUPS 815712 WITH SCORE 823671.586
AT ITER 3465 NEW BEST:: SOT 12973802 SOS 7959586 HAS SOPS 7955548 HAS SOUS 819614 HAS SOUPS 815698 WITH SCORE 823657.586
AT ITER 3474 NEW BEST:: SOT 12973856 SOS 7959959 HAS SOPS 7955847 HAS SOUS 819439 HAS SOUPS 815449 WITH SCORE 823408.959
AT ITER 3478 NEW BEST:: SOT 12972838 SOS 7958941 HAS SOPS 7954829 HAS SOUS 818421 HAS SOUPS 814431 WITH SCORE 822389.941
AT ITER 3481 NEW BEST:: SOT 12970789 SOS 7956906 HAS SOPS 7952794 HAS SOUS 815898 HAS SOUPS 811908 WITH SCORE 819864.906
AT ITER 3499 NEW BEST:: SOT 12970789 SOS 7956258 HAS SOPS 7952146 HAS SOUS 815898 HAS SOUPS 811908 WITH SCORE 819864.258
AT ITER 3521 NEW BEST:: SOT 12970789 SOS 7944234 HAS SOPS 7940122 HAS SOUS 815898 HAS SOUPS 811908 WITH SCORE 819852.234
AT ITER 3580 NEW BEST:: SOT 12963047 SOS 7936492 HAS SOPS 7932380 HAS SOUS 815868 HAS SOUPS 811878 WITH SCORE 819814.492
AT ITER 3585 NEW BEST:: SOT 12963482 SOS 7935495 HAS SOPS 7931601 HAS SOUS 814096 HAS SOUPS 810284 WITH SCORE 818219.495
AT ITER 3614 NEW BEST:: SOT 12968850 SOS 7940863 HAS SOPS 7936969 HAS SOUS 814041 HAS SOUPS 810229 WITH SCORE 818169.863
AT ITER 3620 NEW BEST:: SOT 12968239 SOS 7940252 HAS SOPS 7936358 HAS SOUS 812319 HAS SOUPS 808507 WITH SCORE 816447.252
AT ITER 3623 NEW BEST:: SOT 12970553 SOS 7944207 HAS SOPS 7940322 HAS SOUS 811600 HAS SOUPS 807797 WITH SCORE 815741.207
AT ITER 3625 NEW BEST:: SOT 12968649 SOS 7941815 HAS SOPS 7937906 HAS SOUS 811603 HAS SOUPS 807779 WITH SCORE 815720.815
AT ITER 3642 NEW BEST:: SOT 12975823 SOS 7948989 HAS SOPS 7945080 HAS SOUS 810200 HAS SOUPS 806376 WITH SCORE 814324.989
AT ITER 3653 NEW BEST:: SOT 12975786 SOS 7948986 HAS SOPS 7945077 HAS SOUS 809174 HAS SOUPS 805350 WITH SCORE 813298.986
AT ITER 3655 NEW BEST:: SOT 12970793 SOS 7943993 HAS SOPS 7940084 HAS SOUS 808112 HAS SOUPS 804288 WITH SCORE 812231.993
AT ITER 3679 NEW BEST:: SOT 12970793 SOS 7473979 HAS SOPS 7470070 HAS SOUS 807342 HAS SOUPS 803518 WITH SCORE 810991.979
AT ITER 3685 NEW BEST:: SOT 12966050 SOS 7469236 HAS SOPS 7465327 HAS SOUS 805256 HAS SOUPS 801432 WITH SCORE 808901.236
AT ITER 3697 NEW BEST:: SOT 12966018 SOS 7469204 HAS SOPS 7465295 HAS SOUS 804612 HAS SOUPS 800788 WITH SCORE 808257.204
AT ITER 3724 NEW BEST:: SOT 12967471 SOS 7470605 HAS SOPS 7466696 HAS SOUS 803129 HAS SOUPS 799305 WITH SCORE 806775.605
AT ITER 3746 NEW BEST:: SOT 12967471 SOS 7470317 HAS SOPS 7466408 HAS SOUS 803129 HAS SOUPS 799305 WITH SCORE 806775.317
AT ITER 3749 NEW BEST:: SOT 12967453 SOS 7470299 HAS SOPS 7466390 HAS SOUS 803111 HAS SOUPS 799287 WITH SCORE 806757.299
AT ITER 3754 NEW BEST:: SOT 12967299 SOS 7470145 HAS SOPS 7466252 HAS SOUS 802957 HAS SOUPS 799149 WITH SCORE 806619.145
AT ITER 3783 NEW BEST:: SOT 12966594 SOS 7469440 HAS SOPS 7465547 HAS SOUS 801576 HAS SOUPS 797768 WITH SCORE 805237.44
AT ITER 3826 NEW BEST:: SOT 12957959 SOS 7466443 HAS SOPS 7462550 HAS SOUS 793344 HAS SOUPS 789536 WITH SCORE 797002.443
AT ITER 3861 NEW BEST:: SOT 12961301 SOS 7469785 HAS SOPS 7465892 HAS SOUS 792671 HAS SOUPS 788863 WITH SCORE 796332.785
AT ITER 3886 NEW BEST:: SOT 12961288 SOS 7469772 HAS SOPS 7465879 HAS SOUS 792658 HAS SOUPS 788850 WITH SCORE 796319.772
AT ITER 3910 NEW BEST:: SOT 12961288 SOS 7300185 HAS SOPS 7296292 HAS SOUS 792625 HAS SOUPS 788817 WITH SCORE 796117.185
AT ITER 3915 NEW BEST:: SOT 12959833 SOS 7298730 HAS SOPS 7294837 HAS SOUS 789684 HAS SOUPS 785876 WITH SCORE 793174.73
AT ITER 3935 NEW BEST:: SOT 12960035 SOS 7298695 HAS SOPS 7294838 HAS SOUS 788677 HAS SOUPS 784905 WITH SCORE 792203.695
AT ITER 3940 NEW BEST:: SOT 12959911 SOS 7299803 HAS SOPS 7295946 HAS SOUS 788480 HAS SOUPS 784708 WITH SCORE 792007.803
AT ITER 3941 NEW BEST:: SOT 12951538 SOS 7291430 HAS SOPS 7287573 HAS SOUS 784435 HAS SOUPS 780663 WITH SCORE 787954.43
AT ITER 3983 NEW BEST:: SOT 12951790 SOS 7291682 HAS SOPS 7287825 HAS SOUS 784016 HAS SOUPS 780244 WITH SCORE 787535.682
AT ITER 3991 NEW BEST:: SOT 12951724 SOS 7286487 HAS SOPS 7282476 HAS SOUS 782551 HAS SOUPS 778763 WITH SCORE 786049.487
AT ITER 3992 NEW BEST:: SOT 12959822 SOS 7303482 HAS SOPS 7299502 HAS SOUS 777952 HAS SOUPS 774195 WITH SCORE 781498.482
AT ITER 4000 NEW BEST:: SOT 12956755 SOS 7300363 HAS SOPS 7296383 HAS SOUS 775230 HAS SOUPS 771473 WITH SCORE 778773.363
AT ITER 4039 NEW BEST:: SOT 12956748 SOS 7307193 HAS SOPS 7303213 HAS SOUS 775221 HAS SOUPS 771464 WITH SCORE 778771.193
AT ITER 4053 NEW BEST:: SOT 12955938 SOS 7306026 HAS SOPS 7302046 HAS SOUS 773587 HAS SOUPS 769830 WITH SCORE 777136.026
AT ITER 4058 NEW BEST:: SOT 12957787 SOS 7307847 HAS SOPS 7303867 HAS SOUS 772220 HAS SOUPS 768463 WITH SCORE 775770.847
AT ITER 4120 NEW BEST:: SOT 12958968 SOS 7308998 HAS SOPS 7305018 HAS SOUS 769691 HAS SOUPS 765934 WITH SCORE 773242.998
AT ITER 4125 NEW BEST:: SOT 12958967 SOS 7308998 HAS SOPS 7305017 HAS SOUS 769690 HAS SOUPS 765932 WITH SCORE 773240.998
AT ITER 4129 NEW BEST:: SOT 12958696 SOS 7308443 HAS SOPS 7304462 HAS SOUS 769419 HAS SOUPS 765661 WITH SCORE 772969.443
AT ITER 4149 NEW BEST:: SOT 12959169 SOS 7308916 HAS SOPS 7304935 HAS SOUS 768677 HAS SOUPS 764919 WITH SCORE 772227.916
AT ITER 4174 NEW BEST:: SOT 12959420 SOS 7309167 HAS SOPS 7305186 HAS SOUS 768660 HAS SOUPS 764902 WITH SCORE 772211.167
AT ITER 4183 NEW BEST:: SOT 12954985 SOS 7304732 HAS SOPS 7300751 HAS SOUS 767925 HAS SOUPS 764167 WITH SCORE 771471.732
AT ITER 4185 NEW BEST:: SOT 12954921 SOS 7304659 HAS SOPS 7300678 HAS SOUS 767476 HAS SOUPS 763718 WITH SCORE 771022.659
AT ITER 4189 NEW BEST:: SOT 12956438 SOS 7306176 HAS SOPS 7302195 HAS SOUS 765989 HAS SOUPS 762231 WITH SCORE 769537.176
AT ITER 4213 NEW BEST:: SOT 12956438 SOS 7306203 HAS SOPS 7302211 HAS SOUS 765899 HAS SOUPS 762130 WITH SCORE 769436.203
AT ITER 4227 NEW BEST:: SOT 12956438 SOS 7301667 HAS SOPS 7297675 HAS SOUS 765899 HAS SOUPS 762130 WITH SCORE 769431.667
AT ITER 4245 NEW BEST:: SOT 12956441 SOS 7300977 HAS SOPS 7297425 HAS SOUS 763436 HAS SOUPS 759887 WITH SCORE 767187.977
AT ITER 4280 NEW BEST:: SOT 12956441 SOS 7299321 HAS SOPS 7295769 HAS SOUS 763436 HAS SOUPS 759887 WITH SCORE 767186.321
AT ITER 4325 NEW BEST:: SOT 12957569 SOS 7300449 HAS SOPS 7296897 HAS SOUS 762475 HAS SOUPS 758926 WITH SCORE 766226.449
AT ITER 4351 NEW BEST:: SOT 12957501 SOS 7300309 HAS SOPS 7296757 HAS SOUS 762406 HAS SOUPS 758857 WITH SCORE 766157.309
AT ITER 4354 NEW BEST:: SOT 12970601 SOS 7313409 HAS SOPS 7309857 HAS SOUS 759979 HAS SOUPS 756430 WITH SCORE 763743.409
AT ITER 4366 NEW BEST:: SOT 12970734 SOS 7313509 HAS SOPS 7309957 HAS SOUS 759176 HAS SOUPS 755627 WITH SCORE 762940.509
AT ITER 4368 NEW BEST:: SOT 12971579 SOS 7314395 HAS SOPS 7310884 HAS SOUS 758311 HAS SOUPS 754803 WITH SCORE 762117.395
AT ITER 4381 NEW BEST:: SOT 12971579 SOS 7312523 HAS SOPS 7309012 HAS SOUS 758311 HAS SOUPS 754803 WITH SCORE 762115.523
AT ITER 4404 NEW BEST:: SOT 12973581 SOS 7314525 HAS SOPS 7311014 HAS SOUS 757281 HAS SOUPS 753773 WITH SCORE 761087.525
AT ITER 4432 NEW BEST:: SOT 12973581 SOS 7314312 HAS SOPS 7310804 HAS SOUS 757278 HAS SOUPS 753770 WITH SCORE 761084.312
AT ITER 4449 NEW BEST:: SOT 12973213 SOS 7313944 HAS SOPS 7310436 HAS SOUS 756966 HAS SOUPS 753458 WITH SCORE 760771.944
AT ITER 4484 NEW BEST:: SOT 12974485 SOS 7315164 HAS SOPS 7311656 HAS SOUS 755694 HAS SOUPS 752186 WITH SCORE 759501.164
AT ITER 4491 NEW BEST:: SOT 12974526 SOS 7315205 HAS SOPS 7311697 HAS SOUS 755667 HAS SOUPS 752159 WITH SCORE 759474.205
AT ITER 4503 NEW BEST:: SOT 12974609 SOS 7315276 HAS SOPS 7311768 HAS SOUS 755211 HAS SOUPS 751703 WITH SCORE 759018.276
AT ITER 4506 NEW BEST:: SOT 12974609 SOS 7313764 HAS SOPS 7310256 HAS SOUS 755211 HAS SOUPS 751703 WITH SCORE 759016.764
AT ITER 4530 NEW BEST:: SOT 12974609 SOS 7313304 HAS SOPS 7309796 HAS SOUS 755211 HAS SOUPS 751703 WITH SCORE 759016.304
AT ITER 4542 NEW BEST:: SOT 12974003 SOS 7312537 HAS SOPS 7309052 HAS SOUS 754488 HAS SOUPS 751003 WITH SCORE 758315.537
AT ITER 4545 NEW BEST:: SOT 12971253 SOS 7309787 HAS SOPS 7306302 HAS SOUS 751173 HAS SOUPS 747688 WITH SCORE 754997.787
AT ITER 4599 NEW BEST:: SOT 12971306 SOS 7309840 HAS SOPS 7306355 HAS SOUS 751159 HAS SOUPS 747674 WITH SCORE 754983.84
AT ITER 4643 NEW BEST:: SOT 12971258 SOS 7309513 HAS SOPS 7305670 HAS SOUS 751063 HAS SOUPS 747220 WITH SCORE 754529.513
AT ITER 4647 NEW BEST:: SOT 12969758 SOS 7307996 HAS SOPS 7304153 HAS SOUS 750745 HAS SOUPS 746902 WITH SCORE 754209.996
AT ITER 4668 NEW BEST:: SOT 12969745 SOS 7307983 HAS SOPS 7304140 HAS SOUS 750745 HAS SOUPS 746902 WITH SCORE 754209.983
AT ITER 4707 NEW BEST:: SOT 12969773 SOS 7308011 HAS SOPS 7304168 HAS SOUS 750408 HAS SOUPS 746565 WITH SCORE 753873.011
AT ITER 4736 NEW BEST:: SOT 12969740 SOS 7307978 HAS SOPS 7304135 HAS SOUS 750375 HAS SOUPS 746532 WITH SCORE 753839.978
AT ITER 4740 NEW BEST:: SOT 12969727 SOS 7307965 HAS SOPS 7304122 HAS SOUS 750362 HAS SOUPS 746519 WITH SCORE 753826.965
AT ITER 4748 NEW BEST:: SOT 12969727 SOS 7307941 HAS SOPS 7304098 HAS SOUS 750360 HAS SOUPS 746517 WITH SCORE 753824.941
AT ITER 4792 NEW BEST:: SOT 12969457 SOS 7307669 HAS SOPS 7303826 HAS SOUS 750092 HAS SOUPS 746249 WITH SCORE 753556.669
AT ITER 4800 NEW BEST:: SOT 12969457 SOS 7311589 HAS SOPS 7307746 HAS SOUS 750036 HAS SOUPS 746193 WITH SCORE 753504.589
AT ITER 4833 NEW BEST:: SOT 12969785 SOS 7311917 HAS SOPS 7308074 HAS SOUS 744477 HAS SOUPS 740634 WITH SCORE 747945.917
AT ITER 4848 NEW BEST:: SOT 12969786 SOS 7310549 HAS SOPS 7306706 HAS SOUS 744477 HAS SOUPS 740634 WITH SCORE 747944.549
AT ITER 4894 NEW BEST:: SOT 12969663 SOS 7310402 HAS SOPS 7306559 HAS SOUS 744157 HAS SOUPS 740314 WITH SCORE 747624.402
AT ITER 4895 NEW BEST:: SOT 12968837 SOS 7309576 HAS SOPS 7305733 HAS SOUS 743273 HAS SOUPS 739430 WITH SCORE 746739.576
AT ITER 4901 NEW BEST:: SOT 12968837 SOS 7311714 HAS SOPS 7307995 HAS SOUS 742045 HAS SOUPS 738326 WITH SCORE 745637.714
AT ITER 4937 NEW BEST:: SOT 12967287 SOS 7309156 HAS SOPS 7305437 HAS SOUS 741745 HAS SOUPS 738026 WITH SCORE 745335.156
AT ITER 4947 NEW BEST:: SOT 12966383 SOS 7308252 HAS SOPS 7304533 HAS SOUS 736907 HAS SOUPS 733188 WITH SCORE 740496.252
AT ITER 4990 NEW BEST:: SOT 12970381 SOS 7312250 HAS SOPS 7308531 HAS SOUS 735994 HAS SOUPS 732275 WITH SCORE 739587.25
AT ITER 4999 NEW BEST:: SOT 12970230 SOS 7312155 HAS SOPS 7308428 HAS SOUS 735674 HAS SOUPS 731947 WITH SCORE 739259.155
AT ITER 5001 NEW BEST:: SOT 12970230 SOS 7312575 HAS SOPS 7308848 HAS SOUS 735668 HAS SOUPS 731941 WITH SCORE 739253.575
AT ITER 5006 NEW BEST:: SOT 12970165 SOS 7312710 HAS SOPS 7308957 HAS SOUS 734432 HAS SOUPS 730679 WITH SCORE 737991.71
AT ITER 5016 NEW BEST:: SOT 12969259 SOS 7311804 HAS SOPS 7308051 HAS SOUS 732736 HAS SOUPS 728983 WITH SCORE 736294.804
AT ITER 5017 NEW BEST:: SOT 12968811 SOS 7311356 HAS SOPS 7307603 HAS SOUS 732209 HAS SOUPS 728456 WITH SCORE 735767.356
AT ITER 5052 NEW BEST:: SOT 12968811 SOS 7310888 HAS SOPS 7307135 HAS SOUS 732170 HAS SOUPS 728417 WITH SCORE 735727.888
AT ITER 5062 NEW BEST:: SOT 12969521 SOS 7311609 HAS SOPS 7307856 HAS SOUS 732125 HAS SOUPS 728372 WITH SCORE 735683.609
AT ITER 5079 NEW BEST:: SOT 12969593 SOS 7311681 HAS SOPS 7307928 HAS SOUS 732015 HAS SOUPS 728262 WITH SCORE 735573.681
AT ITER 5105 NEW BEST:: SOT 12969593 SOS 7311373 HAS SOPS 7307620 HAS SOUS 732001 HAS SOUPS 728248 WITH SCORE 735559.373
AT ITER 5119 NEW BEST:: SOT 12969579 SOS 7311626 HAS SOPS 7307816 HAS SOUS 732011 HAS SOUPS 728231 WITH SCORE 735542.626
AT ITER 5136 NEW BEST:: SOT 12969579 SOS 7317746 HAS SOPS 7313936 HAS SOUS 731897 HAS SOUPS 728117 WITH SCORE 735434.746
AT ITER 5177 NEW BEST:: SOT 12969570 SOS 7317737 HAS SOPS 7313927 HAS SOUS 731889 HAS SOUPS 728109 WITH SCORE 735426.737
AT ITER 5216 NEW BEST:: SOT 12966788 SOS 7314955 HAS SOPS 7311145 HAS SOUS 729196 HAS SOUPS 725416 WITH SCORE 732730.955
AT ITER 5218 NEW BEST:: SOT 12963883 SOS 7312050 HAS SOPS 7308240 HAS SOUS 728634 HAS SOUPS 724854 WITH SCORE 732166.05
AT ITER 5281 NEW BEST:: SOT 12963874 SOS 7312041 HAS SOPS 7308231 HAS SOUS 728625 HAS SOUPS 724845 WITH SCORE 732157.041
AT ITER 5304 NEW BEST:: SOT 12963888 SOS 7312055 HAS SOPS 7308245 HAS SOUS 728027 HAS SOUPS 724247 WITH SCORE 731559.055
AT ITER 5325 NEW BEST:: SOT 12960096 SOS 7306175 HAS SOPS 7302365 HAS SOUS 726152 HAS SOUPS 722372 WITH SCORE 729678.175
AT ITER 5371 NEW BEST:: SOT 12960522 SOS 7306685 HAS SOPS 7302875 HAS SOUS 726136 HAS SOUPS 722356 WITH SCORE 729662.685
AT ITER 5417 NEW BEST:: SOT 12960456 SOS 7306663 HAS SOPS 7302853 HAS SOUS 726114 HAS SOUPS 722334 WITH SCORE 729640.663
AT ITER 5447 NEW BEST:: SOT 12960455 SOS 7306662 HAS SOPS 7302852 HAS SOUS 726114 HAS SOUPS 722334 WITH SCORE 729640.662
AT ITER 5475 NEW BEST:: SOT 12960171 SOS 7306234 HAS SOPS 7302424 HAS SOUS 725972 HAS SOUPS 722192 WITH SCORE 729498.234
AT ITER 5483 NEW BEST:: SOT 12959242 SOS 7305305 HAS SOPS 7301495 HAS SOUS 718500 HAS SOUPS 714720 WITH SCORE 722025.305
AT ITER 5499 NEW BEST:: SOT 12959126 SOS 7305189 HAS SOPS 7301379 HAS SOUS 718413 HAS SOUPS 714633 WITH SCORE 721938.189
AT ITER 5502 NEW BEST:: SOT 12959088 SOS 7305165 HAS SOPS 7301355 HAS SOUS 718337 HAS SOUPS 714557 WITH SCORE 721862.165
AT ITER 5509 NEW BEST:: SOT 12970462 SOS 7316539 HAS SOPS 7312729 HAS SOUS 718052 HAS SOUPS 714272 WITH SCORE 721588.539
AT ITER 5514 NEW BEST:: SOT 12970894 SOS 7316971 HAS SOPS 7313161 HAS SOUS 717908 HAS SOUPS 714128 WITH SCORE 721444.971
AT ITER 5520 NEW BEST:: SOT 12971509 SOS 7317586 HAS SOPS 7313776 HAS SOUS 717763 HAS SOUPS 713983 WITH SCORE 721300.586
AT ITER 5528 NEW BEST:: SOT 12980382 SOS 7326459 HAS SOPS 7322649 HAS SOUS 717416 HAS SOUPS 713636 WITH SCORE 720962.459
AT ITER 5587 NEW BEST:: SOT 12980382 SOS 7325091 HAS SOPS 7321281 HAS SOUS 717416 HAS SOUPS 713636 WITH SCORE 720961.091
AT ITER 5611 NEW BEST:: SOT 12980445 SOS 7325154 HAS SOPS 7321344 HAS SOUS 717407 HAS SOUPS 713627 WITH SCORE 720952.154
AT ITER 5617 NEW BEST:: SOT 12981893 SOS 7326602 HAS SOPS 7322792 HAS SOUS 714729 HAS SOUPS 710949 WITH SCORE 718275.602
AT ITER 5649 NEW BEST:: SOT 12982367 SOS 7327495 HAS SOPS 7323778 HAS SOUS 713300 HAS SOUPS 709583 WITH SCORE 716910.495
AT ITER 5674 NEW BEST:: SOT 12982367 SOS 7323823 HAS SOPS 7320106 HAS SOUS 713300 HAS SOUPS 709583 WITH SCORE 716906.823
AT ITER 5676 NEW BEST:: SOT 12982314 SOS 7323466 HAS SOPS 7319801 HAS SOUS 713195 HAS SOUPS 709530 WITH SCORE 716853.466
AT ITER 5770 NEW BEST:: SOT 12982240 SOS 7323498 HAS SOPS 7319822 HAS SOUS 712534 HAS SOUPS 708858 WITH SCORE 716181.498
AT ITER 5789 NEW BEST:: SOT 12983798 SOS 7325056 HAS SOPS 7321380 HAS SOUS 712511 HAS SOUPS 708835 WITH SCORE 716160.056
AT ITER 5805 NEW BEST:: SOT 12983574 SOS 7324802 HAS SOPS 7321126 HAS SOUS 712119 HAS SOUPS 708443 WITH SCORE 715767.802
AT ITER 5815 NEW BEST:: SOT 12983574 SOS 7324730 HAS SOPS 7321054 HAS SOUS 712119 HAS SOUPS 708443 WITH SCORE 715767.73
AT ITER 5837 NEW BEST:: SOT 12983578 SOS 7326385 HAS SOPS 7322709 HAS SOUS 712096 HAS SOUPS 708420 WITH SCORE 715746.385
AT ITER 5864 NEW BEST:: SOT 12983578 SOS 7326061 HAS SOPS 7322385 HAS SOUS 712060 HAS SOUPS 708384 WITH SCORE 715710.061
AT ITER 5867 NEW BEST:: SOT 12983358 SOS 7325841 HAS SOPS 7322165 HAS SOUS 711856 HAS SOUPS 708180 WITH SCORE 715505.841
AT ITER 5871 NEW BEST:: SOT 12983340 SOS 7325823 HAS SOPS 7322147 HAS SOUS 711852 HAS SOUPS 708176 WITH SCORE 715501.823
AT ITER 5876 NEW BEST:: SOT 12983340 SOS 7325463 HAS SOPS 7321787 HAS SOUS 711629 HAS SOUPS 707953 WITH SCORE 715278.463
AT ITER 5878 NEW BEST:: SOT 12983380 SOS 7325503 HAS SOPS 7321827 HAS SOUS 711599 HAS SOUPS 707923 WITH SCORE 715248.503
AT ITER 5880 NEW BEST:: SOT 12979709 SOS 7321832 HAS SOPS 7318156 HAS SOUS 708327 HAS SOUPS 704651 WITH SCORE 711972.832
AT ITER 5892 NEW BEST:: SOT 12981123 SOS 7323216 HAS SOPS 7319540 HAS SOUS 707168 HAS SOUPS 703492 WITH SCORE 710815.216
AT ITER 5897 NEW BEST:: SOT 12980714 SOS 7322807 HAS SOPS 7319131 HAS SOUS 706343 HAS SOUPS 702667 WITH SCORE 709989.807
AT ITER 5910 NEW BEST:: SOT 12980712 SOS 7322805 HAS SOPS 7319129 HAS SOUS 706341 HAS SOUPS 702665 WITH SCORE 709987.805
AT ITER 5916 NEW BEST:: SOT 12984776 SOS 7327036 HAS SOPS 7323360 HAS SOUS 706025 HAS SOUPS 702349 WITH SCORE 709676.036
AT ITER 5940 NEW BEST:: SOT 12984672 SOS 7326808 HAS SOPS 7323150 HAS SOUS 705859 HAS SOUPS 702201 WITH SCORE 709527.808
AT ITER 5962 NEW BEST:: SOT 12984451 SOS 7327311 HAS SOPS 7323653 HAS SOUS 703661 HAS SOUPS 700003 WITH SCORE 707330.311
AT ITER 6015 NEW BEST:: SOT 12984451 SOS 7326907 HAS SOPS 7323342 HAS SOUS 703568 HAS SOUPS 700003 WITH SCORE 707329.907
AT ITER 6093 NEW BEST:: SOT 12984451 SOS 7326907 HAS SOPS 7323342 HAS SOUS 703562 HAS SOUPS 699997 WITH SCORE 707323.907
AT ITER 6109 NEW BEST:: SOT 12983965 SOS 7326421 HAS SOPS 7322856 HAS SOUS 702564 HAS SOUPS 698999 WITH SCORE 706325.421
AT ITER 6116 NEW BEST:: SOT 12984938 SOS 7336178 HAS SOPS 7332613 HAS SOUS 699567 HAS SOUPS 696002 WITH SCORE 703338.178
AT ITER 6125 NEW BEST:: SOT 12984989 SOS 7336224 HAS SOPS 7332659 HAS SOUS 699394 HAS SOUPS 695829 WITH SCORE 703165.224
AT ITER 6126 NEW BEST:: SOT 12987456 SOS 7342468 HAS SOPS 7338947 HAS SOUS 695829 HAS SOUPS 692308 WITH SCORE 699650.468
AT ITER 6141 NEW BEST:: SOT 12987456 SOS 7296433 HAS SOPS 7292912 HAS SOUS 695820 HAS SOUPS 692299 WITH SCORE 699595.433
AT ITER 6151 NEW BEST:: SOT 12987456 SOS 7296145 HAS SOPS 7292624 HAS SOUS 695820 HAS SOUPS 692299 WITH SCORE 699595.145
AT ITER 6160 NEW BEST:: SOT 12987455 SOS 7296144 HAS SOPS 7292623 HAS SOUS 695820 HAS SOUPS 692299 WITH SCORE 699595.144
AT ITER 6174 NEW BEST:: SOT 12987521 SOS 7296210 HAS SOPS 7292689 HAS SOUS 693946 HAS SOUPS 690425 WITH SCORE 697721.21
AT ITER 6180 NEW BEST:: SOT 12987521 SOS 7296162 HAS SOPS 7292641 HAS SOUS 693942 HAS SOUPS 690421 WITH SCORE 697717.162
AT ITER 6182 NEW BEST:: SOT 12987521 SOS 7296130 HAS SOPS 7292609 HAS SOUS 693926 HAS SOUPS 690405 WITH SCORE 697701.13
AT ITER 6187 NEW BEST:: SOT 12987446 SOS 7296055 HAS SOPS 7292534 HAS SOUS 693781 HAS SOUPS 690260 WITH SCORE 697556.055
AT ITER 6212 NEW BEST:: SOT 12987446 SOS 7295839 HAS SOPS 7292318 HAS SOUS 693781 HAS SOUPS 690260 WITH SCORE 697555.839
AT ITER 6236 NEW BEST:: SOT 12987440 SOS 7295833 HAS SOPS 7292312 HAS SOUS 693775 HAS SOUPS 690254 WITH SCORE 697549.833
AT ITER 6308 NEW BEST:: SOT 12987206 SOS 7295199 HAS SOPS 7291678 HAS SOUS 693303 HAS SOUPS 689782 WITH SCORE 697077.199
AT ITER 6387 NEW BEST:: SOT 12987203 SOS 7295196 HAS SOPS 7291675 HAS SOUS 693300 HAS SOUPS 689779 WITH SCORE 697074.196
AT ITER 6403 NEW BEST:: SOT 12989215 SOS 7297208 HAS SOPS 7293687 HAS SOUS 693077 HAS SOUPS 689556 WITH SCORE 696853.208
AT ITER 6416 NEW BEST:: SOT 12989200 SOS 7297193 HAS SOPS 7293672 HAS SOUS 693074 HAS SOUPS 689553 WITH SCORE 696850.193
AT ITER 6437 NEW BEST:: SOT 12988127 SOS 7296171 HAS SOPS 7292650 HAS SOUS 693062 HAS SOUPS 689541 WITH SCORE 696837.171
AT ITER 6445 NEW BEST:: SOT 12988125 SOS 7296169 HAS SOPS 7292648 HAS SOUS 693060 HAS SOUPS 689539 WITH SCORE 696835.169
AT ITER 6452 NEW BEST:: SOT 12988125 SOS 7291057 HAS SOPS 7287536 HAS SOUS 693060 HAS SOUPS 689539 WITH SCORE 696830.057
AT ITER 6484 NEW BEST:: SOT 12989451 SOS 7295314 HAS SOPS 7291822 HAS SOUS 691163 HAS SOUPS 687671 WITH SCORE 694966.314
AT ITER 6502 NEW BEST:: SOT 12987398 SOS 7293243 HAS SOPS 7289751 HAS SOUS 690399 HAS SOUPS 686907 WITH SCORE 694200.243
AT ITER 6522 NEW BEST:: SOT 12986116 SOS 7293145 HAS SOPS 7289653 HAS SOUS 690177 HAS SOUPS 686685 WITH SCORE 693978.145
AT ITER 6582 NEW BEST:: SOT 12986103 SOS 7293132 HAS SOPS 7289640 HAS SOUS 690163 HAS SOUPS 686671 WITH SCORE 693964.132
AT ITER 6592 NEW BEST:: SOT 12986020 SOS 7293049 HAS SOPS 7289557 HAS SOUS 690085 HAS SOUPS 686593 WITH SCORE 693886.049
AT ITER 6594 NEW BEST:: SOT 12993661 SOS 7300690 HAS SOPS 7297198 HAS SOUS 686068 HAS SOUPS 682576 WITH SCORE 689876.69
AT ITER 6608 NEW BEST:: SOT 12991805 SOS 7295018 HAS SOPS 7291526 HAS SOUS 685371 HAS SOUPS 681879 WITH SCORE 689174.018
AT ITER 6654 NEW BEST:: SOT 12991153 SOS 7294366 HAS SOPS 7290874 HAS SOUS 685063 HAS SOUPS 681571 WITH SCORE 688865.366
AT ITER 6661 NEW BEST:: SOT 12992336 SOS 7296840 HAS SOPS 7293348 HAS SOUS 684584 HAS SOUPS 681092 WITH SCORE 688388.84
AT ITER 6693 NEW BEST:: SOT 12992205 SOS 7296709 HAS SOPS 7293217 HAS SOUS 684292 HAS SOUPS 680800 WITH SCORE 688096.709
AT ITER 6744 NEW BEST:: SOT 12992625 SOS 7297129 HAS SOPS 7293637 HAS SOUS 683702 HAS SOUPS 680210 WITH SCORE 687507.129
AT ITER 6779 NEW BEST:: SOT 12992625 SOS 7295354 HAS SOPS 7291862 HAS SOUS 683702 HAS SOUPS 680210 WITH SCORE 687505.354
AT ITER 6791 NEW BEST:: SOT 12992625 SOS 7295146 HAS SOPS 7291654 HAS SOUS 683650 HAS SOUPS 680158 WITH SCORE 687453.146
AT ITER 6808 NEW BEST:: SOT 12993107 SOS 7295337 HAS SOPS 7291896 HAS SOUS 681686 HAS SOUPS 678245 WITH SCORE 685540.337
AT ITER 6941 NEW BEST:: SOT 12996180 SOS 7298500 HAS SOPS 7295059 HAS SOUS 681388 HAS SOUPS 677947 WITH SCORE 685245.5
AT ITER 6943 NEW BEST:: SOT 12996180 SOS 7299262 HAS SOPS 7295821 HAS SOUS 681361 HAS SOUPS 677920 WITH SCORE 685219.262
AT ITER 6967 NEW BEST:: SOT 12996252 SOS 7299334 HAS SOPS 7295893 HAS SOUS 681013 HAS SOUPS 677572 WITH SCORE 684871.334
AT ITER 6971 NEW BEST:: SOT 12991823 SOS 7294653 HAS SOPS 7291212 HAS SOUS 679156 HAS SOUPS 675715 WITH SCORE 683009.653
AT ITER 6984 NEW BEST:: SOT 12991863 SOS 7294764 HAS SOPS 7291324 HAS SOUS 679104 HAS SOUPS 675664 WITH SCORE 682958.764
AT ITER 6999 NEW BEST:: SOT 12991719 SOS 7294620 HAS SOPS 7291180 HAS SOUS 678980 HAS SOUPS 675540 WITH SCORE 682834.62
AT ITER 7006 NEW BEST:: SOT 12993062 SOS 7298735 HAS SOPS 7295367 HAS SOUS 678844 HAS SOUPS 675476 WITH SCORE 682774.735
AT ITER 7062 NEW BEST:: SOT 12992918 SOS 7298591 HAS SOPS 7295223 HAS SOUS 678700 HAS SOUPS 675332 WITH SCORE 682630.591
AT ITER 7085 NEW BEST:: SOT 12996682 SOS 7305811 HAS SOPS 7302443 HAS SOUS 677221 HAS SOUPS 673853 WITH SCORE 681158.811
AT ITER 7108 NEW BEST:: SOT 12996625 SOS 7305753 HAS SOPS 7302385 HAS SOUS 677158 HAS SOUPS 673790 WITH SCORE 681095.753
AT ITER 7136 NEW BEST:: SOT 12996621 SOS 7305749 HAS SOPS 7302381 HAS SOUS 677154 HAS SOUPS 673786 WITH SCORE 681091.749
AT ITER 7152 NEW BEST:: SOT 12996870 SOS 7306014 HAS SOPS 7302646 HAS SOUS 676965 HAS SOUPS 673597 WITH SCORE 680903.014
AT ITER 7180 NEW BEST:: SOT 12996870 SOS 7311774 HAS SOPS 7308406 HAS SOUS 676789 HAS SOUPS 673421 WITH SCORE 680732.774
AT ITER 7183 NEW BEST:: SOT 12996865 SOS 7315868 HAS SOPS 7312500 HAS SOUS 676784 HAS SOUPS 673416 WITH SCORE 680731.868
AT ITER 7184 NEW BEST:: SOT 12996865 SOS 7315854 HAS SOPS 7312493 HAS SOUS 676770 HAS SOUPS 673409 WITH SCORE 680724.854
AT ITER 7196 NEW BEST:: SOT 12996865 SOS 7315854 HAS SOPS 7312493 HAS SOUS 676757 HAS SOUPS 673396 WITH SCORE 680711.854
AT ITER 7210 NEW BEST:: SOT 12996920 SOS 7315921 HAS SOPS 7312560 HAS SOUS 676120 HAS SOUPS 672759 WITH SCORE 680074.921
AT ITER 7292 NEW BEST:: SOT 12995428 SOS 7314469 HAS SOPS 7311077 HAS SOUS 675851 HAS SOUPS 672459 WITH SCORE 679773.469
AT ITER 7304 NEW BEST:: SOT 12995021 SOS 7314062 HAS SOPS 7310670 HAS SOUS 675163 HAS SOUPS 671771 WITH SCORE 679085.062
AT ITER 7327 NEW BEST:: SOT 12995021 SOS 7311542 HAS SOPS 7308150 HAS SOUS 674481 HAS SOUPS 671089 WITH SCORE 678400.542
AT ITER 7334 NEW BEST:: SOT 12996204 SOS 7312431 HAS SOPS 7309141 HAS SOUS 673088 HAS SOUPS 669798 WITH SCORE 677110.431
AT ITER 7426 NEW BEST:: SOT 12996238 SOS 7312465 HAS SOPS 7309175 HAS SOUS 673056 HAS SOUPS 669766 WITH SCORE 677078.465
AT ITER 7577 NEW BEST:: SOT 12996254 SOS 7312433 HAS SOPS 7309149 HAS SOUS 672875 HAS SOUPS 669591 WITH SCORE 676903.433
AT ITER 7662 NEW BEST:: SOT 12995022 SOS 7311216 HAS SOPS 7307932 HAS SOUS 671608 HAS SOUPS 668324 WITH SCORE 675635.216
AT ITER 7668 NEW BEST:: SOT 12998774 SOS 7317315 HAS SOPS 7314659 HAS SOUS 668991 HAS SOUPS 666335 WITH SCORE 673652.315
AT ITER 7690 NEW BEST:: SOT 12998774 SOS 7319064 HAS SOPS 7316408 HAS SOUS 668957 HAS SOUPS 666301 WITH SCORE 673620.064
AT ITER 7699 NEW BEST:: SOT 12998774 SOS 7315258 HAS SOPS 7312602 HAS SOUS 668895 HAS SOUPS 666239 WITH SCORE 673554.258
AT ITER 7707 NEW BEST:: SOT 12990851 SOS 7309670 HAS SOPS 7306309 HAS SOUS 667885 HAS SOUPS 664931 WITH SCORE 672240.67
AT ITER 7712 NEW BEST:: SOT 12988851 SOS 7307566 HAS SOPS 7304205 HAS SOUS 666660 HAS SOUPS 663706 WITH SCORE 671013.566
AT ITER 7725 NEW BEST:: SOT 12989514 SOS 7308243 HAS SOPS 7304882 HAS SOUS 666223 HAS SOUPS 663269 WITH SCORE 670577.243
AT ITER 7733 NEW BEST:: SOT 12989483 SOS 7308212 HAS SOPS 7304851 HAS SOUS 666112 HAS SOUPS 663158 WITH SCORE 670466.212
AT ITER 7736 NEW BEST:: SOT 12989421 SOS 7307569 HAS SOPS 7304300 HAS SOUS 665958 HAS SOUPS 663096 WITH SCORE 670403.569
AT ITER 7764 NEW BEST:: SOT 12989421 SOS 7307569 HAS SOPS 7304300 HAS SOUS 665941 HAS SOUPS 663079 WITH SCORE 670386.569
AT ITER 7846 NEW BEST:: SOT 12989421 SOS 7307137 HAS SOPS 7303868 HAS SOUS 665941 HAS SOUPS 663079 WITH SCORE 670386.137
AT ITER 7921 NEW BEST:: SOT 12988929 SOS 7306645 HAS SOPS 7303376 HAS SOUS 665587 HAS SOUPS 662725 WITH SCORE 670031.645
AT ITER 7925 NEW BEST:: SOT 12989626 SOS 7307342 HAS SOPS 7304073 HAS SOUS 664299 HAS SOUPS 661437 WITH SCORE 668744.342
AT ITER 7944 NEW BEST:: SOT 12989556 SOS 7307272 HAS SOPS 7304003 HAS SOUS 664229 HAS SOUPS 661367 WITH SCORE 668674.272
AT ITER 7947 NEW BEST:: SOT 12978389 SOS 7296105 HAS SOPS 7292836 HAS SOUS 659771 HAS SOUPS 656909 WITH SCORE 664205.105
AT ITER 7950 NEW BEST:: SOT 12978389 SOS 7298841 HAS SOPS 7295572 HAS SOUS 659245 HAS SOUPS 656383 WITH SCORE 663681.841
AT ITER 7958 NEW BEST:: SOT 12978347 SOS 7298858 HAS SOPS 7295589 HAS SOUS 659191 HAS SOUPS 656329 WITH SCORE 663627.858
AT ITER 7975 NEW BEST:: SOT 12978347 SOS 7301916 HAS SOPS 7298647 HAS SOUS 659064 HAS SOUPS 656202 WITH SCORE 663503.916
AT ITER 8042 NEW BEST:: SOT 12976858 SOS 7300418 HAS SOPS 7297149 HAS SOUS 657131 HAS SOUPS 654269 WITH SCORE 661569.418
AT ITER 8070 NEW BEST:: SOT 12978122 SOS 7301661 HAS SOPS 7298392 HAS SOUS 653915 HAS SOUPS 651053 WITH SCORE 658354.661
AT ITER 8083 NEW BEST:: SOT 12978199 SOS 7301738 HAS SOPS 7298469 HAS SOUS 653264 HAS SOUPS 650402 WITH SCORE 657703.738
AT ITER 8138 NEW BEST:: SOT 12977131 SOS 7300670 HAS SOPS 7297401 HAS SOUS 653259 HAS SOUPS 650397 WITH SCORE 657697.67
AT ITER 8153 NEW BEST:: SOT 12972491 SOS 7295894 HAS SOPS 7292625 HAS SOUS 651496 HAS SOUPS 648634 WITH SCORE 655929.894
AT ITER 8204 NEW BEST:: SOT 12972428 SOS 7295788 HAS SOPS 7292519 HAS SOUS 651452 HAS SOUPS 648590 WITH SCORE 655885.788
AT ITER 8216 NEW BEST:: SOT 12972400 SOS 7295760 HAS SOPS 7292491 HAS SOUS 651280 HAS SOUPS 648418 WITH SCORE 655713.76
AT ITER 8227 NEW BEST:: SOT 12972399 SOS 7295759 HAS SOPS 7292490 HAS SOUS 651280 HAS SOUPS 648418 WITH SCORE 655713.759
AT ITER 8234 NEW BEST:: SOT 12972754 SOS 7295178 HAS SOPS 7291909 HAS SOUS 647117 HAS SOUPS 644255 WITH SCORE 651550.178
AT ITER 8286 NEW BEST:: SOT 12966890 SOS 7289082 HAS SOPS 7285813 HAS SOUS 642342 HAS SOUPS 639480 WITH SCORE 646769.082
AT ITER 8325 NEW BEST:: SOT 12965681 SOS 7287873 HAS SOPS 7284604 HAS SOUS 639899 HAS SOUPS 637037 WITH SCORE 644324.873
AT ITER 8332 NEW BEST:: SOT 12966132 SOS 7288324 HAS SOPS 7285055 HAS SOUS 639889 HAS SOUPS 637027 WITH SCORE 644315.324
AT ITER 8355 NEW BEST:: SOT 12963990 SOS 7287118 HAS SOPS 7283849 HAS SOUS 639357 HAS SOUPS 636495 WITH SCORE 643782.118
AT ITER 8364 NEW BEST:: SOT 12962669 SOS 7285797 HAS SOPS 7282528 HAS SOUS 638549 HAS SOUPS 635687 WITH SCORE 642972.797
AT ITER 8385 NEW BEST:: SOT 12962675 SOS 7285803 HAS SOPS 7282534 HAS SOUS 638531 HAS SOUPS 635669 WITH SCORE 642954.803
AT ITER 8396 NEW BEST:: SOT 12962675 SOS 7284464 HAS SOPS 7281195 HAS SOUS 638470 HAS SOUPS 635608 WITH SCORE 642892.464
AT ITER 8404 NEW BEST:: SOT 12962644 SOS 7284433 HAS SOPS 7281164 HAS SOUS 638439 HAS SOUPS 635577 WITH SCORE 642861.433
AT ITER 8419 NEW BEST:: SOT 12962072 SOS 7283861 HAS SOPS 7280592 HAS SOUS 638161 HAS SOUPS 635299 WITH SCORE 642582.861
AT ITER 8433 NEW BEST:: SOT 12962072 SOS 7283861 HAS SOPS 7280592 HAS SOUS 638154 HAS SOUPS 635292 WITH SCORE 642575.861
AT ITER 8446 NEW BEST:: SOT 12960866 SOS 7282655 HAS SOPS 7279386 HAS SOUS 636961 HAS SOUPS 634099 WITH SCORE 641381.655
AT ITER 8456 NEW BEST:: SOT 12960734 SOS 7282481 HAS SOPS 7279219 HAS SOUS 636843 HAS SOUPS 633988 WITH SCORE 641270.481
AT ITER 8462 NEW BEST:: SOT 12960734 SOS 7278627 HAS SOPS 7275365 HAS SOUS 636843 HAS SOUPS 633988 WITH SCORE 641266.627
AT ITER 8471 NEW BEST:: SOT 12958709 SOS 7276602 HAS SOPS 7273340 HAS SOUS 635020 HAS SOUPS 632165 WITH SCORE 639441.602
AT ITER 8478 NEW BEST:: SOT 12956357 SOS 7274250 HAS SOPS 7270988 HAS SOUS 632387 HAS SOUPS 629532 WITH SCORE 636806.25
AT ITER 8551 NEW BEST:: SOT 12955660 SOS 7272054 HAS SOPS 7268792 HAS SOUS 632184 HAS SOUPS 629329 WITH SCORE 636601.054
AT ITER 8564 NEW BEST:: SOT 12955082 SOS 7271476 HAS SOPS 7268214 HAS SOUS 630998 HAS SOUPS 628143 WITH SCORE 635414.476
AT ITER 8583 NEW BEST:: SOT 12955082 SOS 7266218 HAS SOPS 7262904 HAS SOUS 630873 HAS SOUPS 627993 WITH SCORE 635259.218
AT ITER 8633 NEW BEST:: SOT 12954496 SOS 7265620 HAS SOPS 7262306 HAS SOUS 630242 HAS SOUPS 627362 WITH SCORE 634627.62
AT ITER 8669 NEW BEST:: SOT 12949612 SOS 7260736 HAS SOPS 7257422 HAS SOUS 629990 HAS SOUPS 627110 WITH SCORE 634370.736
AT ITER 8670 NEW BEST:: SOT 12949612 SOS 7259482 HAS SOPS 7256168 HAS SOUS 629933 HAS SOUPS 627053 WITH SCORE 634312.482
AT ITER 8676 NEW BEST:: SOT 12948612 SOS 7258502 HAS SOPS 7255188 HAS SOUS 628853 HAS SOUPS 625973 WITH SCORE 633231.502
AT ITER 8736 NEW BEST:: SOT 12944513 SOS 7250103 HAS SOPS 7246715 HAS SOUS 628689 HAS SOUPS 625809 WITH SCORE 633059.103
AT ITER 8738 NEW BEST:: SOT 12944513 SOS 7249959 HAS SOPS 7246571 HAS SOUS 628000 HAS SOUPS 625120 WITH SCORE 632369.959
AT ITER 8749 NEW BEST:: SOT 12946234 SOS 7251743 HAS SOPS 7248362 HAS SOUS 627688 HAS SOUPS 624815 WITH SCORE 632066.743
AT ITER 8788 NEW BEST:: SOT 12946119 SOS 7251628 HAS SOPS 7248247 HAS SOUS 627404 HAS SOUPS 624531 WITH SCORE 631782.628
AT ITER 8841 NEW BEST:: SOT 12950112 SOS 7255706 HAS SOPS 7252325 HAS SOUS 625283 HAS SOUPS 622410 WITH SCORE 629665.706
AT ITER 8865 NEW BEST:: SOT 12951786 SOS 7259764 HAS SOPS 7256501 HAS SOUS 623838 HAS SOUPS 621083 WITH SCORE 628342.764
AT ITER 8871 NEW BEST:: SOT 12951786 SOS 7228660 HAS SOPS 7225397 HAS SOUS 623610 HAS SOUPS 620855 WITH SCORE 628083.66
AT ITER 8878 NEW BEST:: SOT 12951786 SOS 7228480 HAS SOPS 7225217 HAS SOUS 623565 HAS SOUPS 620810 WITH SCORE 628038.48
AT ITER 8940 NEW BEST:: SOT 12951764 SOS 7228458 HAS SOPS 7225195 HAS SOUS 623565 HAS SOUPS 620810 WITH SCORE 628038.458
AT ITER 8954 NEW BEST:: SOT 12951764 SOS 7228418 HAS SOPS 7225155 HAS SOUS 623525 HAS SOUPS 620770 WITH SCORE 627998.418
AT ITER 8967 NEW BEST:: SOT 12951764 SOS 7229136 HAS SOPS 7225873 HAS SOUS 623462 HAS SOUPS 620707 WITH SCORE 627936.136
AT ITER 9006 NEW BEST:: SOT 12951326 SOS 7228687 HAS SOPS 7225424 HAS SOUS 622986 HAS SOUPS 620231 WITH SCORE 627459.687
AT ITER 9095 NEW BEST:: SOT 12951326 SOS 7226483 HAS SOPS 7223220 HAS SOUS 622504 HAS SOUPS 619749 WITH SCORE 626975.483
AT ITER 9117 NEW BEST:: SOT 12952216 SOS 7228813 HAS SOPS 7225550 HAS SOUS 621303 HAS SOUPS 618548 WITH SCORE 625776.813
AT ITER 9122 NEW BEST:: SOT 12951138 SOS 7227755 HAS SOPS 7224492 HAS SOUS 620915 HAS SOUPS 618160 WITH SCORE 625387.755
AT ITER 9130 NEW BEST:: SOT 12951151 SOS 7225509 HAS SOPS 7223025 HAS SOUS 616934 HAS SOUPS 614477 WITH SCORE 621702.509
AT ITER 9158 NEW BEST:: SOT 12951151 SOS 7072894 HAS SOPS 7070403 HAS SOUS 616958 HAS SOUPS 614501 WITH SCORE 621573.894
AT ITER 9194 NEW BEST:: SOT 12951151 SOS 6953330 HAS SOPS 6950814 HAS SOUS 616924 HAS SOUPS 614461 WITH SCORE 621414.33
AT ITER 9215 NEW BEST:: SOT 12951151 SOS 6956970 HAS SOPS 6954454 HAS SOUS 616901 HAS SOUPS 614438 WITH SCORE 621394.97
AT ITER 9228 NEW BEST:: SOT 12951117 SOS 6956936 HAS SOPS 6954420 HAS SOUS 616867 HAS SOUPS 614404 WITH SCORE 621360.936
AT ITER 9233 NEW BEST:: SOT 12949382 SOS 6955201 HAS SOPS 6952685 HAS SOUS 616745 HAS SOUPS 614282 WITH SCORE 621237.201
AT ITER 9246 NEW BEST:: SOT 12948494 SOS 6954313 HAS SOPS 6951797 HAS SOUS 615857 HAS SOUPS 613394 WITH SCORE 620348.313
AT ITER 9264 NEW BEST:: SOT 12948494 SOS 6949501 HAS SOPS 6946985 HAS SOUS 615788 HAS SOUPS 613325 WITH SCORE 620274.501
AT ITER 9288 NEW BEST:: SOT 12949666 SOS 6950706 HAS SOPS 6948190 HAS SOUS 615700 HAS SOUPS 613237 WITH SCORE 620187.706
AT ITER 9289 NEW BEST:: SOT 12949647 SOS 6950687 HAS SOPS 6948171 HAS SOUS 615681 HAS SOUPS 613218 WITH SCORE 620168.687
AT ITER 9290 NEW BEST:: SOT 12947870 SOS 6948910 HAS SOPS 6946394 HAS SOUS 615507 HAS SOUPS 613044 WITH SCORE 619992.91
AT ITER 9312 NEW BEST:: SOT 12947384 SOS 6947684 HAS SOPS 6945168 HAS SOUS 615417 HAS SOUPS 612954 WITH SCORE 619901.684
AT ITER 9353 NEW BEST:: SOT 12947384 SOS 6946244 HAS SOPS 6943728 HAS SOUS 615417 HAS SOUPS 612954 WITH SCORE 619900.244
AT ITER 9376 NEW BEST:: SOT 12947270 SOS 6946130 HAS SOPS 6943614 HAS SOUS 615343 HAS SOUPS 612880 WITH SCORE 619826.13
AT ITER 9398 NEW BEST:: SOT 12943868 SOS 6942773 HAS SOPS 6940257 HAS SOUS 612277 HAS SOUPS 609814 WITH SCORE 616756.773
AT ITER 9408 NEW BEST:: SOT 12944040 SOS 6942951 HAS SOPS 6940435 HAS SOUS 612263 HAS SOUPS 609800 WITH SCORE 616742.951
AT ITER 9474 NEW BEST:: SOT 12943848 SOS 6946569 HAS SOPS 6944053 HAS SOUS 612080 HAS SOUPS 609617 WITH SCORE 616563.569
AT ITER 9479 NEW BEST:: SOT 12943713 SOS 6946439 HAS SOPS 6943918 HAS SOUS 612080 HAS SOUPS 609612 WITH SCORE 616558.439
AT ITER 9494 NEW BEST:: SOT 12943713 SOS 6946431 HAS SOPS 6943910 HAS SOUS 612064 HAS SOUPS 609596 WITH SCORE 616542.431
AT ITER 9509 NEW BEST:: SOT 12943711 SOS 6946422 HAS SOPS 6943902 HAS SOUS 612062 HAS SOUPS 609595 WITH SCORE 616541.422
AT ITER 9536 NEW BEST:: SOT 12943854 SOS 6946534 HAS SOPS 6944014 HAS SOUS 611589 HAS SOUPS 609122 WITH SCORE 616068.534
AT ITER 9539 NEW BEST:: SOT 12944778 SOS 6947458 HAS SOPS 6944938 HAS SOUS 610584 HAS SOUPS 608117 WITH SCORE 615064.458
AT ITER 9560 NEW BEST:: SOT 12944781 SOS 6947461 HAS SOPS 6944941 HAS SOUS 610572 HAS SOUPS 608105 WITH SCORE 615052.461
AT ITER 9572 NEW BEST:: SOT 12946043 SOS 6950525 HAS SOPS 6948007 HAS SOUS 609153 HAS SOUPS 606688 WITH SCORE 613638.525
AT ITER 9612 NEW BEST:: SOT 12944247 SOS 6948729 HAS SOPS 6946211 HAS SOUS 608016 HAS SOUPS 605551 WITH SCORE 612499.729
AT ITER 9640 NEW BEST:: SOT 12943995 SOS 6948481 HAS SOPS 6945959 HAS SOUS 607814 HAS SOUPS 605345 WITH SCORE 612293.481
AT ITER 9703 NEW BEST:: SOT 12946435 SOS 6954219 HAS SOPS 6951711 HAS SOUS 605543 HAS SOUPS 603088 WITH SCORE 610042.219
AT ITER 9712 NEW BEST:: SOT 12948753 SOS 6959497 HAS SOPS 6957021 HAS SOUS 604341 HAS SOUPS 601918 WITH SCORE 608877.497
AT ITER 9717 NEW BEST:: SOT 12948753 SOS 6958777 HAS SOPS 6956301 HAS SOUS 604341 HAS SOUPS 601918 WITH SCORE 608876.777
AT ITER 9743 NEW BEST:: SOT 12948783 SOS 6958862 HAS SOPS 6956386 HAS SOUS 604111 HAS SOUPS 601688 WITH SCORE 608646.862
AT ITER 9770 NEW BEST:: SOT 12948615 SOS 6958694 HAS SOPS 6956218 HAS SOUS 603933 HAS SOUPS 601510 WITH SCORE 608468.694
AT ITER 9775 NEW BEST:: SOT 12944756 SOS 6954764 HAS SOPS 6952288 HAS SOUS 602413 HAS SOUPS 599990 WITH SCORE 606944.764
AT ITER 9788 NEW BEST:: SOT 12943060 SOS 6952960 HAS SOPS 6950432 HAS SOUS 601893 HAS SOUPS 599418 WITH SCORE 606370.96
AT ITER 9797 NEW BEST:: SOT 12942220 SOS 6951987 HAS SOPS 6949478 HAS SOUS 600995 HAS SOUPS 598539 WITH SCORE 605490.987
AT ITER 9800 NEW BEST:: SOT 12942194 SOS 6951972 HAS SOPS 6949463 HAS SOUS 600579 HAS SOUPS 598123 WITH SCORE 605074.972
AT ITER 9816 NEW BEST:: SOT 12942118 SOS 6951896 HAS SOPS 6949387 HAS SOUS 600522 HAS SOUPS 598066 WITH SCORE 605017.896
AT ITER 9826 NEW BEST:: SOT 12942118 SOS 6951918 HAS SOPS 6949387 HAS SOUS 600522 HAS SOUPS 598044 WITH SCORE 604995.918
AT ITER 9827 NEW BEST:: SOT 12941508 SOS 6951242 HAS SOPS 6948721 HAS SOUS 599852 HAS SOUPS 597384 WITH SCORE 604335.242
AT ITER 9854 NEW BEST:: SOT 12941476 SOS 6951090 HAS SOPS 6948605 HAS SOUS 599784 HAS SOUPS 597352 WITH SCORE 604303.09
AT ITER 9856 NEW BEST:: SOT 12943323 SOS 6952874 HAS SOPS 6950389 HAS SOUS 598703 HAS SOUPS 596271 WITH SCORE 603223.874
AT ITER 9857 NEW BEST:: SOT 12950077 SOS 6959547 HAS SOPS 6957062 HAS SOUS 598578 HAS SOUPS 596146 WITH SCORE 603105.547
AT ITER 9883 NEW BEST:: SOT 12949936 SOS 6959406 HAS SOPS 6956921 HAS SOUS 598455 HAS SOUPS 596023 WITH SCORE 602982.406
AT ITER 9991 NEW BEST:: SOT 12947466 SOS 6956936 HAS SOPS 6954451 HAS SOUS 597549 HAS SOUPS 595117 WITH SCORE 602073.936
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 9565144 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16125492 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-q8m128"
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-q8m128, 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-167813688200440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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