Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 10K Feb 26 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 08:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 08:27 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 1678783543639

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q3m002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 08:45:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 08:45:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 08:45:45] [INFO ] Load time of PNML (sax parser for PT used): 659 ms
[2023-03-14 08:45:45] [INFO ] Transformed 754 places.
[2023-03-14 08:45:45] [INFO ] Transformed 27370 transitions.
[2023-03-14 08:45:45] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 838 ms.
[2023-03-14 08:45:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 140 ms.
Total runtime 1006 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m002
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695521 HAS SOUPS 1693676 WITH SCORE 1702571.966
AT ITER 11 NEW BEST:: SOT 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695488 HAS SOUPS 1693643 WITH SCORE 1702538.966
AT ITER 15 NEW BEST:: SOT 14117687 SOS 8897079 HAS SOPS 8895234 HAS SOUS 1688478 HAS SOUPS 1686633 WITH SCORE 1695530.079
AT ITER 22 NEW BEST:: SOT 14117687 SOS 8891607 HAS SOPS 8889762 HAS SOUS 1688477 HAS SOUPS 1686632 WITH SCORE 1695523.607
AT ITER 31 NEW BEST:: SOT 14117687 SOS 8888395 HAS SOPS 8886550 HAS SOUS 1688433 HAS SOUPS 1686588 WITH SCORE 1695476.395
AT ITER 33 NEW BEST:: SOT 14117687 SOS 8888395 HAS SOPS 8886550 HAS SOUS 1688429 HAS SOUPS 1686584 WITH SCORE 1695472.395
AT ITER 34 NEW BEST:: SOT 14117687 SOS 8888551 HAS SOPS 8886706 HAS SOUS 1688057 HAS SOUPS 1686212 WITH SCORE 1695100.551
AT ITER 45 NEW BEST:: SOT 14117687 SOS 8881855 HAS SOPS 8880010 HAS SOUS 1688057 HAS SOUPS 1686212 WITH SCORE 1695093.855
AT ITER 50 NEW BEST:: SOT 14117687 SOS 8881775 HAS SOPS 8879930 HAS SOUS 1687977 HAS SOUPS 1686132 WITH SCORE 1695013.775
AT ITER 56 NEW BEST:: SOT 14111315 SOS 8882363 HAS SOPS 8880518 HAS SOUS 1684075 HAS SOUPS 1682230 WITH SCORE 1691112.363
AT ITER 62 NEW BEST:: SOT 13975917 SOS 9681543 HAS SOPS 9680553 HAS SOUS 1548750 HAS SOUPS 1547760 WITH SCORE 1557441.543
AT ITER 75 NEW BEST:: SOT 13973880 SOS 9679506 HAS SOPS 9678516 HAS SOUS 1528897 HAS SOUPS 1527907 WITH SCORE 1537586.506
AT ITER 86 NEW BEST:: SOT 13973880 SOS 9676250 HAS SOPS 9675260 HAS SOUS 1528853 HAS SOUPS 1527863 WITH SCORE 1537539.25
AT ITER 97 NEW BEST:: SOT 13971386 SOS 9673756 HAS SOPS 9672766 HAS SOUS 1520321 HAS SOUPS 1519331 WITH SCORE 1529004.756
AT ITER 107 NEW BEST:: SOT 13971386 SOS 9668206 HAS SOPS 9667216 HAS SOUS 1520246 HAS SOUPS 1519256 WITH SCORE 1528924.206
AT ITER 117 NEW BEST:: SOT 13970798 SOS 9667618 HAS SOPS 9666628 HAS SOUS 1519658 HAS SOUPS 1518668 WITH SCORE 1528335.618
AT ITER 121 NEW BEST:: SOT 13970798 SOS 9667618 HAS SOPS 9666628 HAS SOUS 1519556 HAS SOUPS 1518566 WITH SCORE 1528233.618
AT ITER 127 NEW BEST:: SOT 13970798 SOS 9667618 HAS SOPS 9666628 HAS SOUS 1519549 HAS SOUPS 1518559 WITH SCORE 1528226.618
AT ITER 138 NEW BEST:: SOT 13970798 SOS 9667354 HAS SOPS 9666364 HAS SOUS 1519417 HAS SOUPS 1518427 WITH SCORE 1528094.354
AT ITER 140 NEW BEST:: SOT 13967690 SOS 9664246 HAS SOPS 9663256 HAS SOUS 1508392 HAS SOUPS 1507402 WITH SCORE 1517066.246
AT ITER 141 NEW BEST:: SOT 13965737 SOS 9662293 HAS SOPS 9661303 HAS SOUS 1505060 HAS SOUPS 1504070 WITH SCORE 1513732.293
AT ITER 144 NEW BEST:: SOT 13965737 SOS 9662293 HAS SOPS 9661303 HAS SOUS 1504960 HAS SOUPS 1503970 WITH SCORE 1513632.293
AT ITER 152 NEW BEST:: SOT 13962574 SOS 9659130 HAS SOPS 9658140 HAS SOUS 1498541 HAS SOUPS 1497551 WITH SCORE 1507210.13
AT ITER 156 NEW BEST:: SOT 13990401 SOS 9689549 HAS SOPS 9688559 HAS SOUS 1490005 HAS SOUPS 1489015 WITH SCORE 1498704.549
AT ITER 158 NEW BEST:: SOT 13990401 SOS 9689549 HAS SOPS 9688559 HAS SOUS 1489811 HAS SOUPS 1488821 WITH SCORE 1498510.549
AT ITER 162 NEW BEST:: SOT 13990401 SOS 9680837 HAS SOPS 9679847 HAS SOUS 1489811 HAS SOUPS 1488821 WITH SCORE 1498501.837
AT ITER 175 NEW BEST:: SOT 13990401 SOS 9680607 HAS SOPS 9679617 HAS SOUS 1489696 HAS SOUPS 1488706 WITH SCORE 1498386.607
AT ITER 177 NEW BEST:: SOT 13991841 SOS 9682047 HAS SOPS 9681057 HAS SOUS 1487679 HAS SOUPS 1486689 WITH SCORE 1496371.047
AT ITER 178 NEW BEST:: SOT 13991841 SOS 9694503 HAS SOPS 9693513 HAS SOUS 1486950 HAS SOUPS 1485960 WITH SCORE 1495654.503
AT ITER 185 NEW BEST:: SOT 13992814 SOS 9695476 HAS SOPS 9694486 HAS SOUS 1481414 HAS SOUPS 1480424 WITH SCORE 1490119.476
AT ITER 186 NEW BEST:: SOT 13994039 SOS 9696813 HAS SOPS 9695823 HAS SOUS 1480761 HAS SOUPS 1479771 WITH SCORE 1489467.813
AT ITER 187 NEW BEST:: SOT 13994039 SOS 9696813 HAS SOPS 9695823 HAS SOUS 1480754 HAS SOUPS 1479764 WITH SCORE 1489460.813
AT ITER 196 NEW BEST:: SOT 13993220 SOS 9696784 HAS SOPS 9695794 HAS SOUS 1479497 HAS SOUPS 1478507 WITH SCORE 1488203.784
AT ITER 197 NEW BEST:: SOT 13993220 SOS 9696784 HAS SOPS 9695794 HAS SOUS 1479491 HAS SOUPS 1478501 WITH SCORE 1488197.784
AT ITER 198 NEW BEST:: SOT 13993220 SOS 9475100 HAS SOPS 9474110 HAS SOUS 1479491 HAS SOUPS 1478501 WITH SCORE 1487976.1
AT ITER 207 NEW BEST:: SOT 13993220 SOS 9475100 HAS SOPS 9474110 HAS SOUS 1479311 HAS SOUPS 1478321 WITH SCORE 1487796.1
AT ITER 209 NEW BEST:: SOT 13993220 SOS 9476756 HAS SOPS 9475766 HAS SOUS 1479288 HAS SOUPS 1478298 WITH SCORE 1487774.756
AT ITER 215 NEW BEST:: SOT 13993220 SOS 9470924 HAS SOPS 9469934 HAS SOUS 1479288 HAS SOUPS 1478298 WITH SCORE 1487768.924
AT ITER 216 NEW BEST:: SOT 13993220 SOS 9470924 HAS SOPS 9469934 HAS SOUS 1479268 HAS SOUPS 1478278 WITH SCORE 1487748.924
AT ITER 228 NEW BEST:: SOT 13993220 SOS 9470924 HAS SOPS 9469934 HAS SOUS 1479261 HAS SOUPS 1478271 WITH SCORE 1487741.924
AT ITER 230 NEW BEST:: SOT 13993220 SOS 9456790 HAS SOPS 9455800 HAS SOUS 1479070 HAS SOUPS 1478080 WITH SCORE 1487536.79
AT ITER 231 NEW BEST:: SOT 13993075 SOS 9456924 HAS SOPS 9455934 HAS SOUS 1478763 HAS SOUPS 1477773 WITH SCORE 1487229.924
AT ITER 234 NEW BEST:: SOT 14009416 SOS 9496296 HAS SOPS 9494019 HAS SOUS 1462127 HAS SOUPS 1460816 WITH SCORE 1470312.296
AT ITER 237 NEW BEST:: SOT 14009416 SOS 9491256 HAS SOPS 9488979 HAS SOUS 1462127 HAS SOUPS 1460816 WITH SCORE 1470307.256
AT ITER 249 NEW BEST:: SOT 14009416 SOS 9490599 HAS SOPS 9488322 HAS SOUS 1462118 HAS SOUPS 1460807 WITH SCORE 1470297.599
AT ITER 252 NEW BEST:: SOT 14009416 SOS 9490599 HAS SOPS 9488322 HAS SOUS 1462109 HAS SOUPS 1460798 WITH SCORE 1470288.599
AT ITER 272 NEW BEST:: SOT 14007349 SOS 9488299 HAS SOPS 9486071 HAS SOUS 1448811 HAS SOUPS 1447549 WITH SCORE 1457037.299
AT ITER 279 NEW BEST:: SOT 14005345 SOS 9486255 HAS SOPS 9484027 HAS SOUS 1437776 HAS SOUPS 1436514 WITH SCORE 1446000.255
AT ITER 283 NEW BEST:: SOT 14005345 SOS 9482743 HAS SOPS 9480515 HAS SOUS 1437712 HAS SOUPS 1436450 WITH SCORE 1445932.743
AT ITER 291 NEW BEST:: SOT 14005311 SOS 9482709 HAS SOPS 9480481 HAS SOUS 1437440 HAS SOUPS 1436178 WITH SCORE 1445660.709
AT ITER 294 NEW BEST:: SOT 14005311 SOS 9482709 HAS SOPS 9480481 HAS SOUS 1437371 HAS SOUPS 1436109 WITH SCORE 1445591.709
AT ITER 301 NEW BEST:: SOT 13996397 SOS 9477107 HAS SOPS 9475437 HAS SOUS 1425602 HAS SOUPS 1424340 WITH SCORE 1433817.107
AT ITER 305 NEW BEST:: SOT 13996264 SOS 9493441 HAS SOPS 9491771 HAS SOUS 1425169 HAS SOUPS 1423907 WITH SCORE 1433400.441
AT ITER 311 NEW BEST:: SOT 13996264 SOS 9493432 HAS SOPS 9491762 HAS SOUS 1425169 HAS SOUPS 1423907 WITH SCORE 1433400.432
AT ITER 312 NEW BEST:: SOT 13996264 SOS 9493134 HAS SOPS 9491464 HAS SOUS 1425020 HAS SOUPS 1423758 WITH SCORE 1433251.134
AT ITER 313 NEW BEST:: SOT 13996264 SOS 9493134 HAS SOPS 9491464 HAS SOUS 1424850 HAS SOUPS 1423588 WITH SCORE 1433081.134
AT ITER 318 NEW BEST:: SOT 14016618 SOS 9520703 HAS SOPS 9518580 HAS SOUS 1418157 HAS SOUPS 1416691 WITH SCORE 1426211.703
AT ITER 342 NEW BEST:: SOT 14016618 SOS 9520703 HAS SOPS 9518580 HAS SOUS 1417972 HAS SOUPS 1416506 WITH SCORE 1426026.703
AT ITER 356 NEW BEST:: SOT 14032414 SOS 9537096 HAS SOPS 9534677 HAS SOUS 1417264 HAS SOUPS 1415697 WITH SCORE 1425234.096
AT ITER 362 NEW BEST:: SOT 14024938 SOS 8702856 HAS SOPS 8699956 HAS SOUS 1409424 HAS SOUPS 1407810 WITH SCORE 1416512.856
AT ITER 392 NEW BEST:: SOT 14025196 SOS 8703198 HAS SOPS 8700298 HAS SOUS 1405094 HAS SOUPS 1403480 WITH SCORE 1412183.198
AT ITER 393 NEW BEST:: SOT 14025196 SOS 8698722 HAS SOPS 8695822 HAS SOUS 1405016 HAS SOUPS 1403402 WITH SCORE 1412100.722
AT ITER 396 NEW BEST:: SOT 14022061 SOS 8695587 HAS SOPS 8692687 HAS SOUS 1398647 HAS SOUPS 1397033 WITH SCORE 1405728.587
AT ITER 401 NEW BEST:: SOT 14022061 SOS 8695371 HAS SOPS 8692471 HAS SOUS 1398539 HAS SOUPS 1396925 WITH SCORE 1405620.371
AT ITER 413 NEW BEST:: SOT 14021041 SOS 8694351 HAS SOPS 8691451 HAS SOUS 1397663 HAS SOUPS 1396049 WITH SCORE 1404743.351
AT ITER 436 NEW BEST:: SOT 14021280 SOS 8694590 HAS SOPS 8691690 HAS SOUS 1389680 HAS SOUPS 1388066 WITH SCORE 1396760.59
AT ITER 439 NEW BEST:: SOT 14019360 SOS 8693034 HAS SOPS 8690134 HAS SOUS 1364170 HAS SOUPS 1362556 WITH SCORE 1371249.034
AT ITER 441 NEW BEST:: SOT 14019360 SOS 8690346 HAS SOPS 8687446 HAS SOUS 1364122 HAS SOUPS 1362508 WITH SCORE 1371198.346
AT ITER 458 NEW BEST:: SOT 14019088 SOS 8689912 HAS SOPS 8687033 HAS SOUS 1363103 HAS SOUPS 1361510 WITH SCORE 1370199.912
AT ITER 463 NEW BEST:: SOT 14028397 SOS 8699221 HAS SOPS 8696342 HAS SOUS 1362086 HAS SOUPS 1360493 WITH SCORE 1369192.221
AT ITER 471 NEW BEST:: SOT 14028397 SOS 8696557 HAS SOPS 8693678 HAS SOUS 1362086 HAS SOUPS 1360493 WITH SCORE 1369189.557
AT ITER 476 NEW BEST:: SOT 14024779 SOS 8693731 HAS SOPS 8690852 HAS SOUS 1355141 HAS SOUPS 1353548 WITH SCORE 1362241.731
AT ITER 479 NEW BEST:: SOT 14024779 SOS 8688475 HAS SOPS 8685596 HAS SOUS 1355141 HAS SOUPS 1353548 WITH SCORE 1362236.475
AT ITER 480 NEW BEST:: SOT 14024585 SOS 8688429 HAS SOPS 8685550 HAS SOUS 1355141 HAS SOUPS 1353548 WITH SCORE 1362236.429
AT ITER 482 NEW BEST:: SOT 14024127 SOS 8672065 HAS SOPS 8669813 HAS SOUS 1344775 HAS SOUPS 1343401 WITH SCORE 1352073.065
AT ITER 511 NEW BEST:: SOT 14020194 SOS 8668555 HAS SOPS 8666303 HAS SOUS 1337217 HAS SOUPS 1335843 WITH SCORE 1344511.555
AT ITER 512 NEW BEST:: SOT 14018684 SOS 8667045 HAS SOPS 8664793 HAS SOUS 1334138 HAS SOUPS 1332764 WITH SCORE 1341431.045
AT ITER 518 NEW BEST:: SOT 14018339 SOS 8642577 HAS SOPS 8641387 HAS SOUS 1328648 HAS SOUPS 1327653 WITH SCORE 1336295.577
AT ITER 527 NEW BEST:: SOT 14016517 SOS 8640755 HAS SOPS 8639565 HAS SOUS 1327428 HAS SOUPS 1326433 WITH SCORE 1335073.755
AT ITER 528 NEW BEST:: SOT 14016517 SOS 8637129 HAS SOPS 8635939 HAS SOUS 1327379 HAS SOUPS 1326384 WITH SCORE 1335021.129
AT ITER 549 NEW BEST:: SOT 14016517 SOS 8637129 HAS SOPS 8635939 HAS SOUS 1327342 HAS SOUPS 1326347 WITH SCORE 1334984.129
AT ITER 553 NEW BEST:: SOT 14016517 SOS 8634249 HAS SOPS 8633059 HAS SOUS 1327342 HAS SOUPS 1326347 WITH SCORE 1334981.249
AT ITER 587 NEW BEST:: SOT 14023611 SOS 8641709 HAS SOPS 8640519 HAS SOUS 1326529 HAS SOUPS 1325534 WITH SCORE 1334175.709
AT ITER 611 NEW BEST:: SOT 14016874 SOS 8635269 HAS SOPS 8634079 HAS SOUS 1318457 HAS SOUPS 1317462 WITH SCORE 1326097.269
AT ITER 638 NEW BEST:: SOT 14018890 SOS 8637285 HAS SOPS 8636095 HAS SOUS 1314893 HAS SOUPS 1313898 WITH SCORE 1322535.285
AT ITER 645 NEW BEST:: SOT 14020212 SOS 8638607 HAS SOPS 8637417 HAS SOUS 1313144 HAS SOUPS 1312149 WITH SCORE 1320787.607
AT ITER 652 NEW BEST:: SOT 14046350 SOS 8678436 HAS SOPS 8677246 HAS SOUS 1311665 HAS SOUPS 1310670 WITH SCORE 1319348.436
AT ITER 680 NEW BEST:: SOT 14044882 SOS 8676968 HAS SOPS 8675778 HAS SOUS 1310081 HAS SOUPS 1309086 WITH SCORE 1317762.968
AT ITER 690 NEW BEST:: SOT 14044882 SOS 8676774 HAS SOPS 8675584 HAS SOUS 1309984 HAS SOUPS 1308989 WITH SCORE 1317665.774
AT ITER 694 NEW BEST:: SOT 14043841 SOS 8676017 HAS SOPS 8674827 HAS SOUS 1309122 HAS SOUPS 1308127 WITH SCORE 1316803.017
AT ITER 715 NEW BEST:: SOT 14049553 SOS 8738291 HAS SOPS 8735702 HAS SOUS 1307856 HAS SOUPS 1306416 WITH SCORE 1315154.291
AT ITER 721 NEW BEST:: SOT 14049553 SOS 8734187 HAS SOPS 8731598 HAS SOUS 1307856 HAS SOUPS 1306416 WITH SCORE 1315150.187
AT ITER 728 NEW BEST:: SOT 14050353 SOS 8734987 HAS SOPS 8732398 HAS SOUS 1306806 HAS SOUPS 1305366 WITH SCORE 1314100.987
AT ITER 734 NEW BEST:: SOT 14049977 SOS 8734675 HAS SOPS 8732086 HAS SOUS 1303599 HAS SOUPS 1302159 WITH SCORE 1310893.675
AT ITER 736 NEW BEST:: SOT 14050588 SOS 8735295 HAS SOPS 8732706 HAS SOUS 1303560 HAS SOUPS 1302120 WITH SCORE 1310855.295
AT ITER 741 NEW BEST:: SOT 14050588 SOS 8733351 HAS SOPS 8730762 HAS SOUS 1303560 HAS SOUPS 1302120 WITH SCORE 1310853.351
AT ITER 748 NEW BEST:: SOT 14049476 SOS 8732239 HAS SOPS 8729650 HAS SOUS 1303184 HAS SOUPS 1301744 WITH SCORE 1310476.239
AT ITER 749 NEW BEST:: SOT 14073524 SOS 8778377 HAS SOPS 8775788 HAS SOUS 1292840 HAS SOUPS 1291400 WITH SCORE 1300178.377
AT ITER 753 NEW BEST:: SOT 14073595 SOS 8777056 HAS SOPS 8774467 HAS SOUS 1292778 HAS SOUPS 1291338 WITH SCORE 1300115.056
AT ITER 754 NEW BEST:: SOT 14068471 SOS 8753832 HAS SOPS 8751243 HAS SOUS 1291381 HAS SOUPS 1289941 WITH SCORE 1298694.832
AT ITER 761 NEW BEST:: SOT 14068471 SOS 8733772 HAS SOPS 8731183 HAS SOUS 1291381 HAS SOUPS 1289941 WITH SCORE 1298674.772
AT ITER 774 NEW BEST:: SOT 14068471 SOS 8720121 HAS SOPS 8717532 HAS SOUS 1291194 HAS SOUPS 1289754 WITH SCORE 1298474.121
AT ITER 779 NEW BEST:: SOT 14068471 SOS 8728996 HAS SOPS 8726407 HAS SOUS 1290625 HAS SOUPS 1289185 WITH SCORE 1297913.996
AT ITER 784 NEW BEST:: SOT 14066783 SOS 8727308 HAS SOPS 8724719 HAS SOUS 1289350 HAS SOUPS 1287910 WITH SCORE 1296637.308
AT ITER 810 NEW BEST:: SOT 14066783 SOS 8727596 HAS SOPS 8725007 HAS SOUS 1289285 HAS SOUPS 1287845 WITH SCORE 1296572.596
AT ITER 813 NEW BEST:: SOT 14066783 SOS 8714748 HAS SOPS 8712159 HAS SOUS 1289109 HAS SOUPS 1287669 WITH SCORE 1296383.748
AT ITER 815 NEW BEST:: SOT 14063669 SOS 8722896 HAS SOPS 8720307 HAS SOUS 1287492 HAS SOUPS 1286052 WITH SCORE 1294774.896
AT ITER 820 NEW BEST:: SOT 14063669 SOS 8733120 HAS SOPS 8730531 HAS SOUS 1287475 HAS SOUPS 1286035 WITH SCORE 1294768.12
AT ITER 821 NEW BEST:: SOT 14061207 SOS 8730395 HAS SOPS 8727858 HAS SOUS 1277657 HAS SOUPS 1276269 WITH SCORE 1284999.395
AT ITER 823 NEW BEST:: SOT 14061207 SOS 8728595 HAS SOPS 8726058 HAS SOUS 1277531 HAS SOUPS 1276143 WITH SCORE 1284871.595
AT ITER 825 NEW BEST:: SOT 14060653 SOS 8728037 HAS SOPS 8725500 HAS SOUS 1276407 HAS SOUPS 1275019 WITH SCORE 1283747.037
AT ITER 845 NEW BEST:: SOT 14060653 SOS 8728037 HAS SOPS 8725500 HAS SOUS 1276250 HAS SOUPS 1274862 WITH SCORE 1283590.037
AT ITER 851 NEW BEST:: SOT 14060653 SOS 8738333 HAS SOPS 8735796 HAS SOUS 1276085 HAS SOUPS 1274697 WITH SCORE 1283435.333
AT ITER 853 NEW BEST:: SOT 14059482 SOS 8737162 HAS SOPS 8734625 HAS SOUS 1273889 HAS SOUPS 1272501 WITH SCORE 1281238.162
AT ITER 854 NEW BEST:: SOT 14054561 SOS 8732241 HAS SOPS 8729704 HAS SOUS 1273112 HAS SOUPS 1271724 WITH SCORE 1280456.241
AT ITER 856 NEW BEST:: SOT 14052944 SOS 8730624 HAS SOPS 8728087 HAS SOUS 1270615 HAS SOUPS 1269227 WITH SCORE 1277957.624
AT ITER 859 NEW BEST:: SOT 14052944 SOS 8728968 HAS SOPS 8726431 HAS SOUS 1270454 HAS SOUPS 1269066 WITH SCORE 1277794.968
AT ITER 879 NEW BEST:: SOT 14052944 SOS 8721408 HAS SOPS 8718871 HAS SOUS 1270454 HAS SOUPS 1269066 WITH SCORE 1277787.408
AT ITER 899 NEW BEST:: SOT 14054274 SOS 8722738 HAS SOPS 8720201 HAS SOUS 1269274 HAS SOUPS 1267886 WITH SCORE 1276608.738
AT ITER 902 NEW BEST:: SOT 14052251 SOS 8720715 HAS SOPS 8718178 HAS SOUS 1256077 HAS SOUPS 1254689 WITH SCORE 1263409.715
AT ITER 911 NEW BEST:: SOT 14052251 SOS 8730003 HAS SOPS 8727466 HAS SOUS 1255948 HAS SOUPS 1254560 WITH SCORE 1263290.003
AT ITER 914 NEW BEST:: SOT 14049694 SOS 8727446 HAS SOPS 8724909 HAS SOUS 1249484 HAS SOUPS 1248096 WITH SCORE 1256823.446
AT ITER 915 NEW BEST:: SOT 14051184 SOS 8728936 HAS SOPS 8726399 HAS SOUS 1248179 HAS SOUPS 1246791 WITH SCORE 1255519.936
AT ITER 923 NEW BEST:: SOT 14050327 SOS 8728079 HAS SOPS 8725542 HAS SOUS 1248099 HAS SOUPS 1246711 WITH SCORE 1255439.079
AT ITER 941 NEW BEST:: SOT 14050375 SOS 8724671 HAS SOPS 8722134 HAS SOUS 1248099 HAS SOUPS 1246711 WITH SCORE 1255435.671
AT ITER 950 NEW BEST:: SOT 14050375 SOS 8719180 HAS SOPS 8716643 HAS SOUS 1248035 HAS SOUPS 1246647 WITH SCORE 1255366.18
AT ITER 961 NEW BEST:: SOT 14053631 SOS 8745543 HAS SOPS 8742520 HAS SOUS 1240819 HAS SOUPS 1239269 WITH SCORE 1248014.543
AT ITER 964 NEW BEST:: SOT 14056941 SOS 8748960 HAS SOPS 8745937 HAS SOUS 1239397 HAS SOUPS 1237847 WITH SCORE 1246595.96
AT ITER 992 NEW BEST:: SOT 14055032 SOS 8746997 HAS SOPS 8743920 HAS SOUS 1235659 HAS SOUPS 1234109 WITH SCORE 1242855.997
AT ITER 994 NEW BEST:: SOT 14055032 SOS 8756501 HAS SOPS 8753424 HAS SOUS 1235489 HAS SOUPS 1233939 WITH SCORE 1242695.501
AT ITER 1007 NEW BEST:: SOT 14056061 SOS 8757668 HAS SOPS 8754591 HAS SOUS 1235279 HAS SOUPS 1233729 WITH SCORE 1242486.668
AT ITER 1028 NEW BEST:: SOT 14056061 SOS 8745915 HAS SOPS 8742838 HAS SOUS 1235118 HAS SOUPS 1233568 WITH SCORE 1242313.915
AT ITER 1029 NEW BEST:: SOT 14052199 SOS 8742216 HAS SOPS 8739251 HAS SOUS 1226748 HAS SOUPS 1225310 WITH SCORE 1234052.216
AT ITER 1035 NEW BEST:: SOT 14052199 SOS 8732300 HAS SOPS 8729335 HAS SOUS 1226614 HAS SOUPS 1225176 WITH SCORE 1233908.3
AT ITER 1038 NEW BEST:: SOT 14052138 SOS 8732239 HAS SOPS 8729274 HAS SOUS 1226614 HAS SOUPS 1225176 WITH SCORE 1233908.239
AT ITER 1045 NEW BEST:: SOT 14040279 SOS 8722540 HAS SOPS 8719575 HAS SOUS 1223842 HAS SOUPS 1222404 WITH SCORE 1231126.54
AT ITER 1051 NEW BEST:: SOT 14040198 SOS 8722435 HAS SOPS 8719470 HAS SOUS 1223737 HAS SOUPS 1222299 WITH SCORE 1231021.435
AT ITER 1053 NEW BEST:: SOT 14040193 SOS 8727260 HAS SOPS 8724295 HAS SOUS 1223730 HAS SOUPS 1222292 WITH SCORE 1231019.26
AT ITER 1063 NEW BEST:: SOT 14040390 SOS 8729091 HAS SOPS 8726126 HAS SOUS 1219656 HAS SOUPS 1218218 WITH SCORE 1226947.091
AT ITER 1066 NEW BEST:: SOT 14040390 SOS 8728925 HAS SOPS 8725960 HAS SOUS 1219490 HAS SOUPS 1218052 WITH SCORE 1226780.925
AT ITER 1069 NEW BEST:: SOT 14040299 SOS 8728806 HAS SOPS 8725841 HAS SOUS 1219362 HAS SOUPS 1217924 WITH SCORE 1226652.806
AT ITER 1092 NEW BEST:: SOT 14040299 SOS 8728755 HAS SOPS 8725790 HAS SOUS 1219362 HAS SOUPS 1217924 WITH SCORE 1226652.755
AT ITER 1116 NEW BEST:: SOT 14040299 SOS 8728755 HAS SOPS 8725790 HAS SOUS 1219317 HAS SOUPS 1217879 WITH SCORE 1226607.755
AT ITER 1120 NEW BEST:: SOT 14040167 SOS 8728623 HAS SOPS 8725658 HAS SOUS 1216449 HAS SOUPS 1215011 WITH SCORE 1223739.623
AT ITER 1121 NEW BEST:: SOT 14040167 SOS 8585883 HAS SOPS 8582918 HAS SOUS 1216503 HAS SOUPS 1215065 WITH SCORE 1223650.883
AT ITER 1162 NEW BEST:: SOT 14038047 SOS 8583763 HAS SOPS 8580798 HAS SOUS 1215234 HAS SOUPS 1213796 WITH SCORE 1222379.763
AT ITER 1171 NEW BEST:: SOT 14038047 SOS 8583611 HAS SOPS 8580646 HAS SOUS 1215158 HAS SOUPS 1213720 WITH SCORE 1222303.611
AT ITER 1172 NEW BEST:: SOT 14037962 SOS 8583259 HAS SOPS 8580342 HAS SOUS 1215094 HAS SOUPS 1213704 WITH SCORE 1222287.259
AT ITER 1175 NEW BEST:: SOT 14034551 SOS 8579848 HAS SOPS 8576931 HAS SOUS 1209371 HAS SOUPS 1207981 WITH SCORE 1216560.848
AT ITER 1177 NEW BEST:: SOT 14034551 SOS 8571064 HAS SOPS 8568147 HAS SOUS 1208645 HAS SOUPS 1207255 WITH SCORE 1215826.064
AT ITER 1188 NEW BEST:: SOT 14029843 SOS 8568807 HAS SOPS 8565890 HAS SOUS 1204905 HAS SOUPS 1203515 WITH SCORE 1212083.807
AT ITER 1197 NEW BEST:: SOT 14031534 SOS 8570714 HAS SOPS 8567797 HAS SOUS 1204199 HAS SOUPS 1202809 WITH SCORE 1211379.714
AT ITER 1207 NEW BEST:: SOT 14031534 SOS 8565098 HAS SOPS 8562181 HAS SOUS 1204199 HAS SOUPS 1202809 WITH SCORE 1211374.098
AT ITER 1229 NEW BEST:: SOT 14030232 SOS 8563796 HAS SOPS 8560879 HAS SOUS 1201489 HAS SOUPS 1200099 WITH SCORE 1208662.796
AT ITER 1242 NEW BEST:: SOT 14030230 SOS 8563794 HAS SOPS 8560877 HAS SOUS 1201487 HAS SOUPS 1200097 WITH SCORE 1208660.794
AT ITER 1245 NEW BEST:: SOT 14030230 SOS 8557026 HAS SOPS 8554109 HAS SOUS 1201349 HAS SOUPS 1199959 WITH SCORE 1208516.026
AT ITER 1255 NEW BEST:: SOT 14030230 SOS 8556854 HAS SOPS 8553937 HAS SOUS 1201263 HAS SOUPS 1199873 WITH SCORE 1208429.854
AT ITER 1258 NEW BEST:: SOT 14022116 SOS 8551620 HAS SOPS 8548703 HAS SOUS 1190897 HAS SOUPS 1189507 WITH SCORE 1198058.62
AT ITER 1259 NEW BEST:: SOT 14021234 SOS 8550712 HAS SOPS 8547795 HAS SOUS 1189043 HAS SOUPS 1187653 WITH SCORE 1196203.712
AT ITER 1272 NEW BEST:: SOT 14021085 SOS 8550563 HAS SOPS 8547646 HAS SOUS 1188745 HAS SOUPS 1187355 WITH SCORE 1195905.563
AT ITER 1287 NEW BEST:: SOT 14026758 SOS 8564854 HAS SOPS 8561805 HAS SOUS 1188616 HAS SOUPS 1187153 WITH SCORE 1195717.854
AT ITER 1295 NEW BEST:: SOT 14038084 SOS 8576458 HAS SOPS 8573409 HAS SOUS 1188072 HAS SOUPS 1186609 WITH SCORE 1195185.458
AT ITER 1299 NEW BEST:: SOT 14038084 SOS 8571922 HAS SOPS 8568873 HAS SOUS 1188072 HAS SOUPS 1186609 WITH SCORE 1195180.922
AT ITER 1300 NEW BEST:: SOT 14040098 SOS 8574079 HAS SOPS 8571030 HAS SOUS 1181878 HAS SOUPS 1180415 WITH SCORE 1188989.079
AT ITER 1304 NEW BEST:: SOT 14049553 SOS 8583693 HAS SOPS 8580644 HAS SOUS 1181508 HAS SOUPS 1180045 WITH SCORE 1188628.693
AT ITER 1339 NEW BEST:: SOT 14049553 SOS 8575257 HAS SOPS 8572436 HAS SOUS 1181394 HAS SOUPS 1179988 WITH SCORE 1188563.257
AT ITER 1343 NEW BEST:: SOT 14040298 SOS 8566642 HAS SOPS 8563821 HAS SOUS 1169035 HAS SOUPS 1167629 WITH SCORE 1176195.642
AT ITER 1350 NEW BEST:: SOT 14036864 SOS 8563208 HAS SOPS 8560387 HAS SOUS 1166648 HAS SOUPS 1165242 WITH SCORE 1173805.208
AT ITER 1362 NEW BEST:: SOT 14037464 SOS 8563777 HAS SOPS 8560956 HAS SOUS 1164710 HAS SOUPS 1163304 WITH SCORE 1171867.777
AT ITER 1363 NEW BEST:: SOT 14037464 SOS 8556649 HAS SOPS 8553828 HAS SOUS 1164710 HAS SOUPS 1163304 WITH SCORE 1171860.649
AT ITER 1370 NEW BEST:: SOT 14037464 SOS 8560249 HAS SOPS 8557428 HAS SOUS 1164605 HAS SOUPS 1163199 WITH SCORE 1171759.249
AT ITER 1384 NEW BEST:: SOT 14037464 SOS 8559313 HAS SOPS 8556492 HAS SOUS 1164605 HAS SOUPS 1163199 WITH SCORE 1171758.313
AT ITER 1387 NEW BEST:: SOT 14037464 SOS 8559213 HAS SOPS 8556392 HAS SOUS 1164555 HAS SOUPS 1163149 WITH SCORE 1171708.213
AT ITER 1400 NEW BEST:: SOT 14039371 SOS 8561160 HAS SOPS 8558339 HAS SOUS 1163497 HAS SOUPS 1162091 WITH SCORE 1170652.16
AT ITER 1401 NEW BEST:: SOT 14037383 SOS 8559172 HAS SOPS 8556351 HAS SOUS 1162339 HAS SOUPS 1160933 WITH SCORE 1169492.172
AT ITER 1403 NEW BEST:: SOT 14037681 SOS 8559470 HAS SOPS 8556649 HAS SOUS 1153378 HAS SOUPS 1151972 WITH SCORE 1160531.47
AT ITER 1416 NEW BEST:: SOT 14043682 SOS 8565471 HAS SOPS 8562650 HAS SOUS 1152630 HAS SOUPS 1151224 WITH SCORE 1159789.471
AT ITER 1430 NEW BEST:: SOT 14043682 SOS 8565471 HAS SOPS 8562650 HAS SOUS 1152626 HAS SOUPS 1151220 WITH SCORE 1159785.471
AT ITER 1438 NEW BEST:: SOT 14043682 SOS 8560287 HAS SOPS 8557466 HAS SOUS 1152626 HAS SOUPS 1151220 WITH SCORE 1159780.287
AT ITER 1464 NEW BEST:: SOT 14056335 SOS 8603707 HAS SOPS 8600267 HAS SOUS 1152078 HAS SOUPS 1150451 WITH SCORE 1159054.707
AT ITER 1468 NEW BEST:: SOT 14055599 SOS 8605595 HAS SOPS 8602122 HAS SOUS 1149281 HAS SOUPS 1147634 WITH SCORE 1156239.595
AT ITER 1471 NEW BEST:: SOT 14055468 SOS 8605464 HAS SOPS 8601991 HAS SOUS 1149010 HAS SOUPS 1147363 WITH SCORE 1155968.464
AT ITER 1475 NEW BEST:: SOT 14055237 SOS 8605233 HAS SOPS 8601760 HAS SOUS 1148905 HAS SOUPS 1147258 WITH SCORE 1155863.233
AT ITER 1479 NEW BEST:: SOT 14055174 SOS 8605170 HAS SOPS 8601697 HAS SOUS 1148674 HAS SOUPS 1147027 WITH SCORE 1155632.17
AT ITER 1492 NEW BEST:: SOT 14055174 SOS 8601930 HAS SOPS 8598457 HAS SOUS 1148674 HAS SOUPS 1147027 WITH SCORE 1155628.93
AT ITER 1501 NEW BEST:: SOT 14054964 SOS 8601720 HAS SOPS 8598247 HAS SOUS 1148236 HAS SOUPS 1146589 WITH SCORE 1155190.72
AT ITER 1513 NEW BEST:: SOT 14061903 SOS 8614125 HAS SOPS 8610565 HAS SOUS 1147855 HAS SOUPS 1146167 WITH SCORE 1154781.125
AT ITER 1515 NEW BEST:: SOT 14061903 SOS 8599843 HAS SOPS 8596283 HAS SOUS 1147662 HAS SOUPS 1145974 WITH SCORE 1154573.843
AT ITER 1531 NEW BEST:: SOT 14061808 SOS 8599748 HAS SOPS 8596188 HAS SOUS 1147567 HAS SOUPS 1145879 WITH SCORE 1154478.748
AT ITER 1533 NEW BEST:: SOT 14061808 SOS 8598308 HAS SOPS 8594748 HAS SOUS 1147567 HAS SOUPS 1145879 WITH SCORE 1154477.308
AT ITER 1536 NEW BEST:: SOT 14061808 SOS 8582546 HAS SOPS 8578986 HAS SOUS 1147354 HAS SOUPS 1145666 WITH SCORE 1154248.546
AT ITER 1544 NEW BEST:: SOT 14061808 SOS 8580962 HAS SOPS 8577402 HAS SOUS 1147354 HAS SOUPS 1145666 WITH SCORE 1154246.962
AT ITER 1546 NEW BEST:: SOT 14061808 SOS 8578946 HAS SOPS 8575386 HAS SOUS 1147354 HAS SOUPS 1145666 WITH SCORE 1154244.946
AT ITER 1549 NEW BEST:: SOT 14063237 SOS 8580375 HAS SOPS 8576815 HAS SOUS 1145983 HAS SOUPS 1144295 WITH SCORE 1152875.375
AT ITER 1552 NEW BEST:: SOT 14061325 SOS 8578463 HAS SOPS 8574903 HAS SOUS 1142989 HAS SOUPS 1141301 WITH SCORE 1149879.463
AT ITER 1563 NEW BEST:: SOT 14061325 SOS 8578175 HAS SOPS 8574615 HAS SOUS 1142965 HAS SOUPS 1141277 WITH SCORE 1149855.175
AT ITER 1575 NEW BEST:: SOT 14067157 SOS 8584373 HAS SOPS 8580813 HAS SOUS 1140070 HAS SOUPS 1138382 WITH SCORE 1146966.373
AT ITER 1578 NEW BEST:: SOT 14067157 SOS 8582819 HAS SOPS 8579259 HAS SOUS 1140049 HAS SOUPS 1138361 WITH SCORE 1146943.819
AT ITER 1591 NEW BEST:: SOT 14067157 SOS 8577152 HAS SOPS 8573592 HAS SOUS 1140049 HAS SOUPS 1138361 WITH SCORE 1146938.152
AT ITER 1597 NEW BEST:: SOT 14077176 SOS 8587171 HAS SOPS 8583611 HAS SOUS 1138774 HAS SOUPS 1137086 WITH SCORE 1145673.171
AT ITER 1609 NEW BEST:: SOT 14077176 SOS 8587171 HAS SOPS 8583611 HAS SOUS 1138749 HAS SOUPS 1137061 WITH SCORE 1145648.171
AT ITER 1610 NEW BEST:: SOT 14077176 SOS 8584285 HAS SOPS 8580725 HAS SOUS 1138710 HAS SOUPS 1137022 WITH SCORE 1145606.285
AT ITER 1617 NEW BEST:: SOT 14077176 SOS 8573335 HAS SOPS 8569775 HAS SOUS 1138560 HAS SOUPS 1136872 WITH SCORE 1145445.335
AT ITER 1623 NEW BEST:: SOT 14077176 SOS 8576439 HAS SOPS 8572879 HAS SOUS 1138328 HAS SOUPS 1136640 WITH SCORE 1145216.439
AT ITER 1635 NEW BEST:: SOT 14077176 SOS 8576439 HAS SOPS 8572879 HAS SOUS 1138304 HAS SOUPS 1136616 WITH SCORE 1145192.439
AT ITER 1639 NEW BEST:: SOT 14097806 SOS 8610956 HAS SOPS 8607396 HAS SOUS 1132775 HAS SOUPS 1131087 WITH SCORE 1139697.956
AT ITER 1651 NEW BEST:: SOT 14095186 SOS 8608093 HAS SOPS 8604578 HAS SOUS 1131444 HAS SOUPS 1129801 WITH SCORE 1138409.093
AT ITER 1655 NEW BEST:: SOT 14093696 SOS 8606603 HAS SOPS 8603088 HAS SOUS 1128373 HAS SOUPS 1126730 WITH SCORE 1135336.603
AT ITER 1664 NEW BEST:: SOT 14093267 SOS 8604959 HAS SOPS 8601444 HAS SOUS 1127502 HAS SOUPS 1125859 WITH SCORE 1134463.959
AT ITER 1673 NEW BEST:: SOT 14093267 SOS 8604401 HAS SOPS 8600886 HAS SOUS 1127440 HAS SOUPS 1125797 WITH SCORE 1134401.401
AT ITER 1679 NEW BEST:: SOT 14092712 SOS 8602650 HAS SOPS 8599162 HAS SOUS 1126749 HAS SOUPS 1125115 WITH SCORE 1133717.65
AT ITER 1680 NEW BEST:: SOT 14090969 SOS 8600927 HAS SOPS 8597439 HAS SOUS 1123302 HAS SOUPS 1121668 WITH SCORE 1130268.927
AT ITER 1682 NEW BEST:: SOT 14089532 SOS 8599510 HAS SOPS 8596022 HAS SOUS 1121368 HAS SOUPS 1119734 WITH SCORE 1128333.51
AT ITER 1714 NEW BEST:: SOT 14085176 SOS 8595154 HAS SOPS 8591666 HAS SOUS 1117304 HAS SOUPS 1115670 WITH SCORE 1124265.154
AT ITER 1715 NEW BEST:: SOT 14084811 SOS 8594789 HAS SOPS 8591301 HAS SOUS 1116939 HAS SOUPS 1115305 WITH SCORE 1123899.789
AT ITER 1718 NEW BEST:: SOT 14084811 SOS 8593767 HAS SOPS 8590279 HAS SOUS 1116925 HAS SOUPS 1115291 WITH SCORE 1123884.767
AT ITER 1724 NEW BEST:: SOT 14084811 SOS 8593767 HAS SOPS 8590279 HAS SOUS 1116877 HAS SOUPS 1115243 WITH SCORE 1123836.767
AT ITER 1725 NEW BEST:: SOT 14082028 SOS 8590984 HAS SOPS 8587496 HAS SOUS 1107544 HAS SOUPS 1105910 WITH SCORE 1114500.984
AT ITER 1730 NEW BEST:: SOT 14079698 SOS 8588654 HAS SOPS 8585166 HAS SOUS 1105656 HAS SOUPS 1104022 WITH SCORE 1112610.654
AT ITER 1738 NEW BEST:: SOT 14079698 SOS 8583470 HAS SOPS 8579982 HAS SOUS 1105656 HAS SOUPS 1104022 WITH SCORE 1112605.47
AT ITER 1740 NEW BEST:: SOT 14079698 SOS 8583380 HAS SOPS 8579892 HAS SOUS 1105471 HAS SOUPS 1103837 WITH SCORE 1112420.38
AT ITER 1755 NEW BEST:: SOT 14076244 SOS 8579926 HAS SOPS 8576438 HAS SOUS 1104741 HAS SOUPS 1103107 WITH SCORE 1111686.926
AT ITER 1761 NEW BEST:: SOT 14076244 SOS 8586302 HAS SOPS 8582814 HAS SOUS 1104663 HAS SOUPS 1103029 WITH SCORE 1111615.302
AT ITER 1769 NEW BEST:: SOT 14076244 SOS 8582846 HAS SOPS 8579358 HAS SOUS 1104615 HAS SOUPS 1102981 WITH SCORE 1111563.846
AT ITER 1780 NEW BEST:: SOT 14076244 SOS 8595423 HAS SOPS 8591935 HAS SOUS 1104270 HAS SOUPS 1102636 WITH SCORE 1111231.423
AT ITER 1781 NEW BEST:: SOT 14078935 SOS 8598068 HAS SOPS 8594580 HAS SOUS 1101393 HAS SOUPS 1099759 WITH SCORE 1108357.068
AT ITER 1805 NEW BEST:: SOT 14078935 SOS 8601578 HAS SOPS 8598090 HAS SOUS 1101339 HAS SOUPS 1099705 WITH SCORE 1108306.578
AT ITER 1812 NEW BEST:: SOT 14079204 SOS 8601847 HAS SOPS 8598359 HAS SOUS 1100513 HAS SOUPS 1098879 WITH SCORE 1107480.847
AT ITER 1818 NEW BEST:: SOT 14079402 SOS 8587789 HAS SOPS 8584301 HAS SOUS 1100513 HAS SOUPS 1098879 WITH SCORE 1107466.789
AT ITER 1820 NEW BEST:: SOT 14079176 SOS 8587563 HAS SOPS 8584075 HAS SOUS 1100513 HAS SOUPS 1098879 WITH SCORE 1107466.563
AT ITER 1832 NEW BEST:: SOT 14079176 SOS 8587473 HAS SOPS 8583985 HAS SOUS 1100459 HAS SOUPS 1098825 WITH SCORE 1107412.473
AT ITER 1834 NEW BEST:: SOT 14079455 SOS 8587752 HAS SOPS 8584264 HAS SOUS 1100207 HAS SOUPS 1098573 WITH SCORE 1107160.752
AT ITER 1845 NEW BEST:: SOT 14079455 SOS 8587686 HAS SOPS 8584198 HAS SOUS 1100207 HAS SOUPS 1098573 WITH SCORE 1107160.686
AT ITER 1853 NEW BEST:: SOT 14079455 SOS 8579437 HAS SOPS 8575949 HAS SOUS 1100094 HAS SOUPS 1098460 WITH SCORE 1107039.437
AT ITER 1877 NEW BEST:: SOT 14079515 SOS 8579497 HAS SOPS 8576009 HAS SOUS 1095969 HAS SOUPS 1094335 WITH SCORE 1102914.497
AT ITER 1879 NEW BEST:: SOT 14079515 SOS 8577265 HAS SOPS 8573777 HAS SOUS 1095969 HAS SOUPS 1094335 WITH SCORE 1102912.265
AT ITER 1894 NEW BEST:: SOT 14077846 SOS 8575322 HAS SOPS 8571882 HAS SOUS 1087699 HAS SOUPS 1086113 WITH SCORE 1094688.322
AT ITER 1901 NEW BEST:: SOT 14075147 SOS 8572623 HAS SOPS 8569183 HAS SOUS 1086142 HAS SOUPS 1084556 WITH SCORE 1093128.623
AT ITER 1926 NEW BEST:: SOT 14075147 SOS 8572623 HAS SOPS 8569183 HAS SOUS 1086067 HAS SOUPS 1084481 WITH SCORE 1093053.623
AT ITER 1936 NEW BEST:: SOT 14075147 SOS 8589423 HAS SOPS 8585983 HAS SOUS 1085776 HAS SOUPS 1084190 WITH SCORE 1092779.423
AT ITER 1946 NEW BEST:: SOT 14075147 SOS 8587044 HAS SOPS 8583604 HAS SOUS 1085776 HAS SOUPS 1084190 WITH SCORE 1092777.044
AT ITER 1971 NEW BEST:: SOT 14075147 SOS 8587073 HAS SOPS 8583633 HAS SOUS 1085698 HAS SOUPS 1084112 WITH SCORE 1092699.073
AT ITER 2025 NEW BEST:: SOT 14080657 SOS 8592583 HAS SOPS 8589143 HAS SOUS 1080920 HAS SOUPS 1079334 WITH SCORE 1087926.583
AT ITER 2035 NEW BEST:: SOT 14080657 SOS 8592283 HAS SOPS 8588843 HAS SOUS 1080866 HAS SOUPS 1079280 WITH SCORE 1087872.283
AT ITER 2038 NEW BEST:: SOT 14080756 SOS 8592430 HAS SOPS 8588990 HAS SOUS 1080499 HAS SOUPS 1078913 WITH SCORE 1087505.43
AT ITER 2042 NEW BEST:: SOT 14080672 SOS 8592346 HAS SOPS 8588906 HAS SOUS 1080361 HAS SOUPS 1078775 WITH SCORE 1087367.346
AT ITER 2051 NEW BEST:: SOT 14080672 SOS 8619637 HAS SOPS 8616197 HAS SOUS 1080151 HAS SOUPS 1078565 WITH SCORE 1087184.637
AT ITER 2060 NEW BEST:: SOT 14080672 SOS 8618557 HAS SOPS 8615117 HAS SOUS 1080151 HAS SOUPS 1078565 WITH SCORE 1087183.557
AT ITER 2068 NEW BEST:: SOT 14080634 SOS 8618519 HAS SOPS 8615079 HAS SOUS 1080113 HAS SOUPS 1078527 WITH SCORE 1087145.519
AT ITER 2069 NEW BEST:: SOT 14080634 SOS 8618519 HAS SOPS 8615079 HAS SOUS 1080095 HAS SOUPS 1078509 WITH SCORE 1087127.519
AT ITER 2071 NEW BEST:: SOT 14080634 SOS 8618512 HAS SOPS 8615072 HAS SOUS 1080095 HAS SOUPS 1078509 WITH SCORE 1087127.512
AT ITER 2085 NEW BEST:: SOT 14080634 SOS 8611888 HAS SOPS 8608448 HAS SOUS 1078607 HAS SOUPS 1077021 WITH SCORE 1085632.888
AT ITER 2086 NEW BEST:: SOT 14080634 SOS 8616918 HAS SOPS 8613478 HAS SOUS 1078530 HAS SOUPS 1076944 WITH SCORE 1085560.918
AT ITER 2089 NEW BEST:: SOT 14080506 SOS 8616814 HAS SOPS 8613374 HAS SOUS 1078038 HAS SOUPS 1076452 WITH SCORE 1085068.814
AT ITER 2108 NEW BEST:: SOT 14080506 SOS 8616582 HAS SOPS 8613142 HAS SOUS 1077922 HAS SOUPS 1076336 WITH SCORE 1084952.582
AT ITER 2110 NEW BEST:: SOT 14079802 SOS 8615668 HAS SOPS 8612253 HAS SOUS 1072415 HAS SOUPS 1070854 WITH SCORE 1079469.668
AT ITER 2130 NEW BEST:: SOT 14079802 SOS 8615668 HAS SOPS 8612253 HAS SOUS 1072350 HAS SOUPS 1070789 WITH SCORE 1079404.668
AT ITER 2135 NEW BEST:: SOT 14079876 SOS 8626922 HAS SOPS 8623507 HAS SOUS 1072328 HAS SOUPS 1070767 WITH SCORE 1079393.922
AT ITER 2141 NEW BEST:: SOT 14079876 SOS 8626418 HAS SOPS 8623003 HAS SOUS 1072118 HAS SOUPS 1070557 WITH SCORE 1079183.418
AT ITER 2143 NEW BEST:: SOT 14076588 SOS 8623110 HAS SOPS 8619695 HAS SOUS 1070784 HAS SOUPS 1069223 WITH SCORE 1077846.11
AT ITER 2155 NEW BEST:: SOT 14076588 SOS 8623110 HAS SOPS 8619695 HAS SOUS 1070715 HAS SOUPS 1069154 WITH SCORE 1077777.11
AT ITER 2156 NEW BEST:: SOT 14076420 SOS 8622942 HAS SOPS 8619527 HAS SOUS 1070376 HAS SOUPS 1068815 WITH SCORE 1077437.942
AT ITER 2172 NEW BEST:: SOT 14076420 SOS 8622912 HAS SOPS 8619497 HAS SOUS 1070376 HAS SOUPS 1068815 WITH SCORE 1077437.912
AT ITER 2201 NEW BEST:: SOT 14073296 SOS 8639456 HAS SOPS 8636041 HAS SOUS 1070283 HAS SOUPS 1068722 WITH SCORE 1077361.456
AT ITER 2221 NEW BEST:: SOT 14072865 SOS 8638972 HAS SOPS 8635557 HAS SOUS 1069011 HAS SOUPS 1067450 WITH SCORE 1076088.972
AT ITER 2222 NEW BEST:: SOT 14072865 SOS 8646888 HAS SOPS 8643473 HAS SOUS 1068900 HAS SOUPS 1067339 WITH SCORE 1075985.888
AT ITER 2233 NEW BEST:: SOT 14074194 SOS 8662283 HAS SOPS 8658868 HAS SOUS 1067396 HAS SOUPS 1065835 WITH SCORE 1074497.283
AT ITER 2238 NEW BEST:: SOT 14074194 SOS 8662139 HAS SOPS 8658724 HAS SOUS 1067396 HAS SOUPS 1065835 WITH SCORE 1074497.139
AT ITER 2241 NEW BEST:: SOT 14071177 SOS 8659122 HAS SOPS 8655707 HAS SOUS 1061124 HAS SOUPS 1059563 WITH SCORE 1068222.122
AT ITER 2245 NEW BEST:: SOT 14071177 SOS 8655882 HAS SOPS 8652467 HAS SOUS 1061124 HAS SOUPS 1059563 WITH SCORE 1068218.882
AT ITER 2253 NEW BEST:: SOT 14071177 SOS 8655378 HAS SOPS 8651963 HAS SOUS 1061117 HAS SOUPS 1059556 WITH SCORE 1068211.378
AT ITER 2259 NEW BEST:: SOT 14071177 SOS 8660418 HAS SOPS 8657003 HAS SOUS 1061047 HAS SOUPS 1059486 WITH SCORE 1068146.418
AT ITER 2263 NEW BEST:: SOT 14073080 SOS 8663356 HAS SOPS 8659941 HAS SOUS 1059524 HAS SOUPS 1057963 WITH SCORE 1066626.356
AT ITER 2270 NEW BEST:: SOT 14073182 SOS 8663458 HAS SOPS 8660043 HAS SOUS 1059476 HAS SOUPS 1057915 WITH SCORE 1066578.458
AT ITER 2284 NEW BEST:: SOT 14070931 SOS 8661207 HAS SOPS 8657792 HAS SOUS 1058223 HAS SOUPS 1056662 WITH SCORE 1065323.207
AT ITER 2331 NEW BEST:: SOT 14086621 SOS 8692322 HAS SOPS 8689654 HAS SOUS 1056906 HAS SOUPS 1055655 WITH SCORE 1064347.322
AT ITER 2332 NEW BEST:: SOT 14098403 SOS 8723722 HAS SOPS 8721054 HAS SOUS 1049394 HAS SOUPS 1048143 WITH SCORE 1056866.722
AT ITER 2344 NEW BEST:: SOT 14098403 SOS 8723156 HAS SOPS 8720488 HAS SOUS 1049394 HAS SOUPS 1048143 WITH SCORE 1056866.156
AT ITER 2357 NEW BEST:: SOT 14098403 SOS 8723138 HAS SOPS 8720470 HAS SOUS 1049385 HAS SOUPS 1048134 WITH SCORE 1056857.138
AT ITER 2358 NEW BEST:: SOT 14098403 SOS 8724348 HAS SOPS 8721680 HAS SOUS 1049357 HAS SOUPS 1048106 WITH SCORE 1056830.348
AT ITER 2359 NEW BEST:: SOT 14100470 SOS 8726415 HAS SOPS 8723747 HAS SOUS 1048133 HAS SOUPS 1046882 WITH SCORE 1055608.415
AT ITER 2364 NEW BEST:: SOT 14100407 SOS 8726352 HAS SOPS 8723684 HAS SOUS 1048012 HAS SOUPS 1046761 WITH SCORE 1055487.352
AT ITER 2367 NEW BEST:: SOT 14100388 SOS 8726333 HAS SOPS 8723665 HAS SOUS 1047992 HAS SOUPS 1046741 WITH SCORE 1055467.333
AT ITER 2369 NEW BEST:: SOT 14104136 SOS 8730225 HAS SOPS 8727557 HAS SOUS 1047246 HAS SOUPS 1045995 WITH SCORE 1054725.225
AT ITER 2381 NEW BEST:: SOT 14103855 SOS 8729944 HAS SOPS 8727276 HAS SOUS 1046709 HAS SOUPS 1045458 WITH SCORE 1054187.944
AT ITER 2391 NEW BEST:: SOT 14104184 SOS 8732127 HAS SOPS 8729459 HAS SOUS 1045468 HAS SOUPS 1044217 WITH SCORE 1052949.127
AT ITER 2400 NEW BEST:: SOT 14103932 SOS 8731875 HAS SOPS 8729207 HAS SOUS 1044994 HAS SOUPS 1043743 WITH SCORE 1052474.875
AT ITER 2401 NEW BEST:: SOT 14099846 SOS 8727789 HAS SOPS 8725121 HAS SOUS 1042040 HAS SOUPS 1040789 WITH SCORE 1049516.789
AT ITER 2452 NEW BEST:: SOT 14099647 SOS 8727590 HAS SOPS 8724922 HAS SOUS 1041929 HAS SOUPS 1040678 WITH SCORE 1049405.59
AT ITER 2465 NEW BEST:: SOT 14101493 SOS 8729436 HAS SOPS 8726768 HAS SOUS 1040978 HAS SOUPS 1039727 WITH SCORE 1048456.436
AT ITER 2474 NEW BEST:: SOT 14101493 SOS 8729346 HAS SOPS 8726678 HAS SOUS 1040888 HAS SOUPS 1039637 WITH SCORE 1048366.346
AT ITER 2488 NEW BEST:: SOT 14101493 SOS 8729330 HAS SOPS 8726662 HAS SOUS 1040880 HAS SOUPS 1039629 WITH SCORE 1048358.33
AT ITER 2493 NEW BEST:: SOT 14100447 SOS 8728284 HAS SOPS 8725616 HAS SOUS 1038926 HAS SOUPS 1037675 WITH SCORE 1046403.284
AT ITER 2495 NEW BEST:: SOT 14102674 SOS 8735013 HAS SOPS 8732345 HAS SOUS 1038549 HAS SOUPS 1037298 WITH SCORE 1046033.013
AT ITER 2497 NEW BEST:: SOT 14102674 SOS 8733861 HAS SOPS 8731193 HAS SOUS 1038549 HAS SOUPS 1037298 WITH SCORE 1046031.861
AT ITER 2501 NEW BEST:: SOT 14102674 SOS 8741565 HAS SOPS 8738897 HAS SOUS 1038408 HAS SOUPS 1037157 WITH SCORE 1045898.565
AT ITER 2506 NEW BEST:: SOT 14101078 SOS 8739969 HAS SOPS 8737301 HAS SOUS 1033528 HAS SOUPS 1032277 WITH SCORE 1041016.969
AT ITER 2509 NEW BEST:: SOT 14101078 SOS 8737233 HAS SOPS 8734565 HAS SOUS 1033528 HAS SOUPS 1032277 WITH SCORE 1041014.233
AT ITER 2518 NEW BEST:: SOT 14128723 SOS 8776773 HAS SOPS 8774105 HAS SOUS 1033241 HAS SOUPS 1031990 WITH SCORE 1040766.773
AT ITER 2526 NEW BEST:: SOT 14128723 SOS 8776269 HAS SOPS 8773601 HAS SOUS 1033241 HAS SOUPS 1031990 WITH SCORE 1040766.269
AT ITER 2542 NEW BEST:: SOT 14128719 SOS 8776265 HAS SOPS 8773597 HAS SOUS 1033233 HAS SOUPS 1031982 WITH SCORE 1040758.265
AT ITER 2556 NEW BEST:: SOT 14128273 SOS 8775819 HAS SOPS 8773151 HAS SOUS 1032229 HAS SOUPS 1030978 WITH SCORE 1039753.819
AT ITER 2576 NEW BEST:: SOT 14131804 SOS 8801906 HAS SOPS 8799238 HAS SOUS 1031461 HAS SOUPS 1030210 WITH SCORE 1039011.906
AT ITER 2587 NEW BEST:: SOT 14131804 SOS 8801948 HAS SOPS 8799280 HAS SOUS 1031419 HAS SOUPS 1030168 WITH SCORE 1038969.948
AT ITER 2589 NEW BEST:: SOT 14131765 SOS 8801909 HAS SOPS 8799241 HAS SOUS 1031317 HAS SOUPS 1030066 WITH SCORE 1038867.909
AT ITER 2590 NEW BEST:: SOT 14131785 SOS 8806610 HAS SOPS 8803942 HAS SOUS 1031312 HAS SOUPS 1030061 WITH SCORE 1038867.61
AT ITER 2598 NEW BEST:: SOT 14127628 SOS 8802453 HAS SOPS 8799785 HAS SOUS 1028358 HAS SOUPS 1027107 WITH SCORE 1035909.453
AT ITER 2600 NEW BEST:: SOT 14127628 SOS 8799501 HAS SOPS 8796833 HAS SOUS 1028358 HAS SOUPS 1027107 WITH SCORE 1035906.501
AT ITER 2608 NEW BEST:: SOT 14127587 SOS 8799460 HAS SOPS 8796792 HAS SOUS 1028127 HAS SOUPS 1026876 WITH SCORE 1035675.46
AT ITER 2610 NEW BEST:: SOT 14125328 SOS 8797201 HAS SOPS 8794533 HAS SOUS 1027388 HAS SOUPS 1026137 WITH SCORE 1034934.201
AT ITER 2663 NEW BEST:: SOT 14125328 SOS 8796239 HAS SOPS 8793571 HAS SOUS 1027375 HAS SOUPS 1026124 WITH SCORE 1034920.239
AT ITER 2675 NEW BEST:: SOT 14125328 SOS 8804358 HAS SOPS 8801690 HAS SOUS 1027202 HAS SOUPS 1025951 WITH SCORE 1034755.358
AT ITER 2679 NEW BEST:: SOT 14125328 SOS 8799822 HAS SOPS 8797154 HAS SOUS 1027082 HAS SOUPS 1025831 WITH SCORE 1034630.822
AT ITER 2686 NEW BEST:: SOT 14124259 SOS 8798753 HAS SOPS 8796085 HAS SOUS 1018523 HAS SOUPS 1017272 WITH SCORE 1026070.753
AT ITER 2708 NEW BEST:: SOT 14125399 SOS 8799893 HAS SOPS 8797225 HAS SOUS 1016976 HAS SOUPS 1015725 WITH SCORE 1024524.893
AT ITER 2726 NEW BEST:: SOT 14125996 SOS 8800490 HAS SOPS 8797822 HAS SOUS 1014920 HAS SOUPS 1013669 WITH SCORE 1022469.49
AT ITER 2729 NEW BEST:: SOT 14125996 SOS 8800490 HAS SOPS 8797822 HAS SOUS 1014918 HAS SOUPS 1013667 WITH SCORE 1022467.49
AT ITER 2745 NEW BEST:: SOT 14123282 SOS 8797432 HAS SOPS 8794807 HAS SOUS 1009727 HAS SOUPS 1008519 WITH SCORE 1017316.432
AT ITER 2754 NEW BEST:: SOT 14124585 SOS 8798735 HAS SOPS 8796110 HAS SOUS 1007807 HAS SOUPS 1006599 WITH SCORE 1015397.735
AT ITER 2773 NEW BEST:: SOT 14124580 SOS 8798554 HAS SOPS 8795929 HAS SOUS 1007376 HAS SOUPS 1006168 WITH SCORE 1014966.554
AT ITER 2839 NEW BEST:: SOT 14124528 SOS 8793949 HAS SOPS 8790881 HAS SOUS 1006792 HAS SOUPS 1005578 WITH SCORE 1014371.949
AT ITER 2842 NEW BEST:: SOT 14124528 SOS 8786982 HAS SOPS 8783914 HAS SOUS 1006684 HAS SOUPS 1005470 WITH SCORE 1014256.982
AT ITER 2914 NEW BEST:: SOT 14123838 SOS 8786292 HAS SOPS 8783224 HAS SOUS 1005864 HAS SOUPS 1004650 WITH SCORE 1013436.292
AT ITER 2918 NEW BEST:: SOT 14123514 SOS 8789452 HAS SOPS 8786281 HAS SOUS 1003802 HAS SOUPS 1002509 WITH SCORE 1011298.452
AT ITER 2934 NEW BEST:: SOT 14123514 SOS 8789408 HAS SOPS 8786237 HAS SOUS 1003780 HAS SOUPS 1002487 WITH SCORE 1011276.408
AT ITER 2935 NEW BEST:: SOT 14123514 SOS 8789408 HAS SOPS 8786237 HAS SOUS 1003765 HAS SOUPS 1002472 WITH SCORE 1011261.408
AT ITER 2936 NEW BEST:: SOT 14123514 SOS 8785338 HAS SOPS 8782167 HAS SOUS 1003710 HAS SOUPS 1002417 WITH SCORE 1011202.338
AT ITER 2950 NEW BEST:: SOT 14122401 SOS 8784225 HAS SOPS 8781054 HAS SOUS 1001286 HAS SOUPS 999993 WITH SCORE 1008777.225
AT ITER 2961 NEW BEST:: SOT 14124843 SOS 8786845 HAS SOPS 8783674 HAS SOUS 1001245 HAS SOUPS 999952 WITH SCORE 1008738.845
AT ITER 2968 NEW BEST:: SOT 14124843 SOS 8793219 HAS SOPS 8789259 HAS SOUS 997658 HAS SOUPS 996365 WITH SCORE 1005158.219
AT ITER 2993 NEW BEST:: SOT 14124843 SOS 8793219 HAS SOPS 8789259 HAS SOUS 997585 HAS SOUPS 996292 WITH SCORE 1005085.219
AT ITER 2996 NEW BEST:: SOT 14128738 SOS 8800078 HAS SOPS 8796066 HAS SOUS 997060 HAS SOUPS 995715 WITH SCORE 1004515.078
AT ITER 3019 NEW BEST:: SOT 14128729 SOS 8800069 HAS SOPS 8796057 HAS SOUS 997057 HAS SOUPS 995712 WITH SCORE 1004512.069
AT ITER 3030 NEW BEST:: SOT 14128765 SOS 8800105 HAS SOPS 8796093 HAS SOUS 996949 HAS SOUPS 995604 WITH SCORE 1004404.105
AT ITER 3053 NEW BEST:: SOT 14129765 SOS 8801105 HAS SOPS 8797093 HAS SOUS 991682 HAS SOUPS 990337 WITH SCORE 999138.105
AT ITER 3086 NEW BEST:: SOT 14130555 SOS 8801895 HAS SOPS 8797883 HAS SOUS 990395 HAS SOUPS 989050 WITH SCORE 997851.895
AT ITER 3089 NEW BEST:: SOT 14128828 SOS 8800225 HAS SOPS 8796213 HAS SOUS 988687 HAS SOUPS 987342 WITH SCORE 996142.225
AT ITER 3100 NEW BEST:: SOT 14128788 SOS 8800185 HAS SOPS 8796173 HAS SOUS 988687 HAS SOUPS 987342 WITH SCORE 996142.185
AT ITER 3104 NEW BEST:: SOT 14128788 SOS 8799009 HAS SOPS 8795029 HAS SOUS 988663 HAS SOUPS 987326 WITH SCORE 996125.009
AT ITER 3105 NEW BEST:: SOT 14128788 SOS 8792151 HAS SOPS 8788171 HAS SOUS 988663 HAS SOUPS 987326 WITH SCORE 996118.151
AT ITER 3108 NEW BEST:: SOT 14123566 SOS 8786630 HAS SOPS 8782692 HAS SOUS 984906 HAS SOUPS 983611 WITH SCORE 992397.63
AT ITER 3111 NEW BEST:: SOT 14123566 SOS 8783549 HAS SOPS 8779611 HAS SOUS 984867 HAS SOUPS 983572 WITH SCORE 992355.549
AT ITER 3119 NEW BEST:: SOT 14123627 SOS 8784590 HAS SOPS 8780652 HAS SOUS 984275 HAS SOUPS 982980 WITH SCORE 991764.59
AT ITER 3139 NEW BEST:: SOT 14124101 SOS 8785823 HAS SOPS 8781885 HAS SOUS 984232 HAS SOUPS 982937 WITH SCORE 991722.823
AT ITER 3142 NEW BEST:: SOT 14124101 SOS 8785823 HAS SOPS 8781885 HAS SOUS 984215 HAS SOUPS 982920 WITH SCORE 991705.823
AT ITER 3150 NEW BEST:: SOT 14118355 SOS 8776639 HAS SOPS 8772795 HAS SOUS 983571 HAS SOUPS 982346 WITH SCORE 991122.639
AT ITER 3152 NEW BEST:: SOT 14118884 SOS 8777242 HAS SOPS 8773398 HAS SOUS 983178 HAS SOUPS 981953 WITH SCORE 990730.242
AT ITER 3155 NEW BEST:: SOT 14118884 SOS 8772398 HAS SOPS 8768554 HAS SOUS 983141 HAS SOUPS 981916 WITH SCORE 990688.398
AT ITER 3157 NEW BEST:: SOT 14126335 SOS 8779849 HAS SOPS 8776005 HAS SOUS 979259 HAS SOUPS 978034 WITH SCORE 986813.849
AT ITER 3183 NEW BEST:: SOT 14126335 SOS 8779633 HAS SOPS 8775789 HAS SOUS 979259 HAS SOUPS 978034 WITH SCORE 986813.633
AT ITER 3207 NEW BEST:: SOT 14126335 SOS 8784418 HAS SOPS 8780574 HAS SOUS 979231 HAS SOUPS 978006 WITH SCORE 986790.418
AT ITER 3211 NEW BEST:: SOT 14126335 SOS 8780549 HAS SOPS 8776705 HAS SOUS 979178 HAS SOUPS 977953 WITH SCORE 986733.549
AT ITER 3240 NEW BEST:: SOT 14131260 SOS 8790354 HAS SOPS 8786510 HAS SOUS 973857 HAS SOUPS 972632 WITH SCORE 981422.354
AT ITER 3251 NEW BEST:: SOT 14131197 SOS 8790273 HAS SOPS 8786429 HAS SOUS 973730 HAS SOUPS 972505 WITH SCORE 981295.273
AT ITER 3253 NEW BEST:: SOT 14129713 SOS 8788789 HAS SOPS 8784945 HAS SOUS 972855 HAS SOUPS 971630 WITH SCORE 980418.789
AT ITER 3262 NEW BEST:: SOT 14129713 SOS 8784325 HAS SOPS 8780481 HAS SOUS 972855 HAS SOUPS 971630 WITH SCORE 980414.325
AT ITER 3305 NEW BEST:: SOT 14129036 SOS 8783648 HAS SOPS 8779804 HAS SOUS 971501 HAS SOUPS 970276 WITH SCORE 979059.648
AT ITER 3321 NEW BEST:: SOT 14127978 SOS 8782590 HAS SOPS 8778746 HAS SOUS 970599 HAS SOUPS 969374 WITH SCORE 978156.59
AT ITER 3325 NEW BEST:: SOT 14123868 SOS 8778364 HAS SOPS 8774520 HAS SOUS 970194 HAS SOUPS 968969 WITH SCORE 977747.364
AT ITER 3330 NEW BEST:: SOT 14123868 SOS 8787581 HAS SOPS 8783737 HAS SOUS 968959 HAS SOUPS 967734 WITH SCORE 976521.581
AT ITER 3358 NEW BEST:: SOT 14123868 SOS 8785997 HAS SOPS 8782153 HAS SOUS 968827 HAS SOUPS 967602 WITH SCORE 976387.997
AT ITER 3364 NEW BEST:: SOT 14119058 SOS 8781187 HAS SOPS 8777343 HAS SOUS 967968 HAS SOUPS 966743 WITH SCORE 975524.187
AT ITER 3383 NEW BEST:: SOT 14119049 SOS 8781178 HAS SOPS 8777334 HAS SOUS 967959 HAS SOUPS 966734 WITH SCORE 975515.178
AT ITER 3388 NEW BEST:: SOT 14118886 SOS 8782641 HAS SOPS 8778797 HAS SOUS 967170 HAS SOUPS 965945 WITH SCORE 974727.641
AT ITER 3390 NEW BEST:: SOT 14118886 SOS 8776499 HAS SOPS 8772655 HAS SOUS 967087 HAS SOUPS 965862 WITH SCORE 974638.499
AT ITER 3391 NEW BEST:: SOT 14122850 SOS 8790317 HAS SOPS 8786101 HAS SOUS 963670 HAS SOUPS 962363 WITH SCORE 971153.317
AT ITER 3395 NEW BEST:: SOT 14122850 SOS 8788013 HAS SOPS 8783797 HAS SOUS 963670 HAS SOUPS 962363 WITH SCORE 971151.013
AT ITER 3405 NEW BEST:: SOT 14122850 SOS 8788013 HAS SOPS 8783797 HAS SOUS 963565 HAS SOUPS 962258 WITH SCORE 971046.013
AT ITER 3408 NEW BEST:: SOT 14122850 SOS 8786357 HAS SOPS 8782141 HAS SOUS 963565 HAS SOUPS 962258 WITH SCORE 971044.357
AT ITER 3426 NEW BEST:: SOT 14125770 SOS 8790237 HAS SOPS 8786021 HAS SOUS 960614 HAS SOUPS 959307 WITH SCORE 968097.237
AT ITER 3429 NEW BEST:: SOT 14125770 SOS 8790259 HAS SOPS 8786043 HAS SOUS 960592 HAS SOUPS 959285 WITH SCORE 968075.259
AT ITER 3430 NEW BEST:: SOT 14126849 SOS 8791338 HAS SOPS 8787122 HAS SOUS 957751 HAS SOUPS 956444 WITH SCORE 965235.338
AT ITER 3436 NEW BEST:: SOT 14126511 SOS 8791000 HAS SOPS 8786784 HAS SOUS 957091 HAS SOUPS 955784 WITH SCORE 964575.0
AT ITER 3440 NEW BEST:: SOT 14126511 SOS 8788986 HAS SOPS 8784770 HAS SOUS 957017 HAS SOUPS 955710 WITH SCORE 964498.986
AT ITER 3444 NEW BEST:: SOT 14123220 SOS 8775858 HAS SOPS 8772037 HAS SOUS 953075 HAS SOUPS 951873 WITH SCORE 960648.858
AT ITER 3448 NEW BEST:: SOT 14123049 SOS 8760237 HAS SOPS 8757316 HAS SOUS 950858 HAS SOUPS 949881 WITH SCORE 958641.237
AT ITER 3466 NEW BEST:: SOT 14123049 SOS 8760203 HAS SOPS 8757282 HAS SOUS 950841 HAS SOUPS 949864 WITH SCORE 958624.203
AT ITER 3482 NEW BEST:: SOT 14122796 SOS 8759950 HAS SOPS 8757029 HAS SOUS 949570 HAS SOUPS 948593 WITH SCORE 957352.95
AT ITER 3485 NEW BEST:: SOT 14122796 SOS 8759644 HAS SOPS 8756723 HAS SOUS 949570 HAS SOUPS 948593 WITH SCORE 957352.644
AT ITER 3488 NEW BEST:: SOT 14122796 SOS 8753286 HAS SOPS 8750365 HAS SOUS 949483 HAS SOUPS 948506 WITH SCORE 957259.286
AT ITER 3496 NEW BEST:: SOT 14122865 SOS 8753355 HAS SOPS 8750434 HAS SOUS 949482 HAS SOUPS 948505 WITH SCORE 957258.355
AT ITER 3503 NEW BEST:: SOT 14122865 SOS 8752731 HAS SOPS 8749810 HAS SOUS 949430 HAS SOUPS 948453 WITH SCORE 957205.731
AT ITER 3504 NEW BEST:: SOT 14121980 SOS 8751846 HAS SOPS 8748925 HAS SOUS 946740 HAS SOUPS 945763 WITH SCORE 954514.846
AT ITER 3509 NEW BEST:: SOT 14121980 SOS 8749110 HAS SOPS 8746189 HAS SOUS 946740 HAS SOUPS 945763 WITH SCORE 954512.11
AT ITER 3518 NEW BEST:: SOT 14099658 SOS 8706490 HAS SOPS 8704129 HAS SOUS 942830 HAS SOUPS 942008 WITH SCORE 950714.49
AT ITER 3535 NEW BEST:: SOT 14099658 SOS 8705398 HAS SOPS 8703037 HAS SOUS 942830 HAS SOUPS 942008 WITH SCORE 950713.398
AT ITER 3541 NEW BEST:: SOT 14094584 SOS 8700324 HAS SOPS 8697963 HAS SOUS 939182 HAS SOUPS 938360 WITH SCORE 947060.324
AT ITER 3559 NEW BEST:: SOT 14094584 SOS 8698308 HAS SOPS 8695947 HAS SOUS 939154 HAS SOUPS 938332 WITH SCORE 947030.308
AT ITER 3564 NEW BEST:: SOT 14094572 SOS 8698296 HAS SOPS 8695935 HAS SOUS 939151 HAS SOUPS 938329 WITH SCORE 947027.296
AT ITER 3565 NEW BEST:: SOT 14094572 SOS 8698296 HAS SOPS 8695935 HAS SOUS 939098 HAS SOUPS 938276 WITH SCORE 946974.296
AT ITER 3609 NEW BEST:: SOT 14092505 SOS 8696229 HAS SOPS 8693868 HAS SOUS 937368 HAS SOUPS 936546 WITH SCORE 945242.229
AT ITER 3612 NEW BEST:: SOT 14086657 SOS 8689931 HAS SOPS 8687570 HAS SOUS 936773 HAS SOUPS 935951 WITH SCORE 944640.931
AT ITER 3614 NEW BEST:: SOT 14086657 SOS 8689922 HAS SOPS 8687561 HAS SOUS 936713 HAS SOUPS 935891 WITH SCORE 944580.922
AT ITER 3642 NEW BEST:: SOT 14082508 SOS 8685778 HAS SOPS 8683417 HAS SOUS 934920 HAS SOUPS 934098 WITH SCORE 942783.778
AT ITER 3652 NEW BEST:: SOT 14082597 SOS 8685867 HAS SOPS 8683506 HAS SOUS 934669 HAS SOUPS 933847 WITH SCORE 942532.867
AT ITER 3706 NEW BEST:: SOT 14081637 SOS 8676253 HAS SOPS 8673892 HAS SOUS 932998 HAS SOUPS 932176 WITH SCORE 940852.253
AT ITER 3708 NEW BEST:: SOT 14082400 SOS 8662921 HAS SOPS 8661384 HAS SOUS 927649 HAS SOUPS 927048 WITH SCORE 935710.921
AT ITER 3712 NEW BEST:: SOT 14082396 SOS 8662917 HAS SOPS 8661380 HAS SOUS 927538 HAS SOUPS 926937 WITH SCORE 935599.917
AT ITER 3723 NEW BEST:: SOT 14082377 SOS 8662898 HAS SOPS 8661361 HAS SOUS 927519 HAS SOUPS 926918 WITH SCORE 935580.898
AT ITER 3730 NEW BEST:: SOT 14084902 SOS 8668565 HAS SOPS 8666965 HAS SOUS 926152 HAS SOUPS 925512 WITH SCORE 934180.565
AT ITER 3741 NEW BEST:: SOT 14084843 SOS 8668506 HAS SOPS 8666906 HAS SOUS 926127 HAS SOUPS 925487 WITH SCORE 934155.506
AT ITER 3751 NEW BEST:: SOT 14084822 SOS 8668831 HAS SOPS 8667231 HAS SOUS 926031 HAS SOUPS 925391 WITH SCORE 934059.831
AT ITER 3770 NEW BEST:: SOT 14084842 SOS 8668841 HAS SOPS 8667241 HAS SOUS 925707 HAS SOUPS 925067 WITH SCORE 933735.841
AT ITER 3793 NEW BEST:: SOT 14084818 SOS 8668817 HAS SOPS 8667217 HAS SOUS 925697 HAS SOUPS 925057 WITH SCORE 933725.817
AT ITER 3794 NEW BEST:: SOT 14084717 SOS 8668716 HAS SOPS 8667116 HAS SOUS 925516 HAS SOUPS 924876 WITH SCORE 933544.716
AT ITER 3810 NEW BEST:: SOT 14084717 SOS 8669912 HAS SOPS 8668312 HAS SOUS 925499 HAS SOUPS 924859 WITH SCORE 933528.912
AT ITER 3819 NEW BEST:: SOT 14084717 SOS 8665952 HAS SOPS 8664352 HAS SOUS 925499 HAS SOUPS 924859 WITH SCORE 933524.952
AT ITER 3824 NEW BEST:: SOT 14084274 SOS 8665509 HAS SOPS 8663909 HAS SOUS 924604 HAS SOUPS 923964 WITH SCORE 932629.509
AT ITER 3834 NEW BEST:: SOT 14084274 SOS 8669397 HAS SOPS 8667797 HAS SOUS 924550 HAS SOUPS 923910 WITH SCORE 932579.397
AT ITER 3847 NEW BEST:: SOT 14083145 SOS 8673618 HAS SOPS 8672018 HAS SOUS 924080 HAS SOUPS 923440 WITH SCORE 932113.618
AT ITER 3858 NEW BEST:: SOT 14082339 SOS 8672812 HAS SOPS 8671212 HAS SOUS 923274 HAS SOUPS 922634 WITH SCORE 931306.812
AT ITER 3863 NEW BEST:: SOT 14082249 SOS 8672731 HAS SOPS 8671131 HAS SOUS 923174 HAS SOUPS 922534 WITH SCORE 931206.731
AT ITER 3872 NEW BEST:: SOT 14081815 SOS 8672297 HAS SOPS 8670697 HAS SOUS 921833 HAS SOUPS 921193 WITH SCORE 929865.297
AT ITER 3890 NEW BEST:: SOT 14084274 SOS 8674756 HAS SOPS 8673156 HAS SOUS 918019 HAS SOUPS 917379 WITH SCORE 926053.756
AT ITER 3910 NEW BEST:: SOT 14085405 SOS 8675887 HAS SOPS 8674287 HAS SOUS 917697 HAS SOUPS 917057 WITH SCORE 925732.887
AT ITER 3914 NEW BEST:: SOT 14085097 SOS 8675579 HAS SOPS 8673979 HAS SOUS 917469 HAS SOUPS 916829 WITH SCORE 925504.579
AT ITER 3919 NEW BEST:: SOT 14083704 SOS 8674186 HAS SOPS 8672586 HAS SOUS 914554 HAS SOUPS 913914 WITH SCORE 922588.186
AT ITER 3921 NEW BEST:: SOT 14083704 SOS 8674186 HAS SOPS 8672586 HAS SOUS 914553 HAS SOUPS 913913 WITH SCORE 922587.186
AT ITER 3927 NEW BEST:: SOT 14083704 SOS 8666962 HAS SOPS 8665362 HAS SOUS 914445 HAS SOUPS 913805 WITH SCORE 922471.962
AT ITER 3929 NEW BEST:: SOT 14083704 SOS 8666770 HAS SOPS 8665170 HAS SOUS 914337 HAS SOUPS 913697 WITH SCORE 922363.77
AT ITER 3936 NEW BEST:: SOT 14082718 SOS 8665784 HAS SOPS 8664184 HAS SOUS 913353 HAS SOUPS 912713 WITH SCORE 921378.784
AT ITER 3937 NEW BEST:: SOT 14082716 SOS 8665782 HAS SOPS 8664182 HAS SOUS 913351 HAS SOUPS 912711 WITH SCORE 921376.782
AT ITER 3941 NEW BEST:: SOT 14078859 SOS 8661559 HAS SOPS 8659959 HAS SOUS 912711 HAS SOUPS 912071 WITH SCORE 920732.559
AT ITER 3951 NEW BEST:: SOT 14078829 SOS 8661529 HAS SOPS 8659929 HAS SOUS 912711 HAS SOUPS 912071 WITH SCORE 920732.529
AT ITER 3975 NEW BEST:: SOT 14078829 SOS 8654401 HAS SOPS 8652801 HAS SOUS 912711 HAS SOUPS 912071 WITH SCORE 920725.401
AT ITER 3979 NEW BEST:: SOT 14078829 SOS 8651473 HAS SOPS 8649873 HAS SOUS 912699 HAS SOUPS 912059 WITH SCORE 920710.473
AT ITER 3996 NEW BEST:: SOT 14077686 SOS 8647894 HAS SOPS 8646331 HAS SOUS 912046 HAS SOUPS 911426 WITH SCORE 920073.894
AT ITER 4002 NEW BEST:: SOT 14077686 SOS 8641702 HAS SOPS 8640139 HAS SOUS 912046 HAS SOUPS 911426 WITH SCORE 920067.702
AT ITER 4012 NEW BEST:: SOT 14077686 SOS 8633062 HAS SOPS 8631499 HAS SOUS 912046 HAS SOUPS 911426 WITH SCORE 920059.062
AT ITER 4037 NEW BEST:: SOT 14077685 SOS 8633061 HAS SOPS 8631498 HAS SOUS 912045 HAS SOUPS 911425 WITH SCORE 920058.061
AT ITER 4047 NEW BEST:: SOT 14077685 SOS 10410569 HAS SOPS 10409416 HAS SOUS 906934 HAS SOUPS 906330 WITH SCORE 916740.569
AT ITER 4048 NEW BEST:: SOT 14077792 SOS 10410676 HAS SOPS 10409523 HAS SOUS 906932 HAS SOUPS 906328 WITH SCORE 916738.676
AT ITER 4058 NEW BEST:: SOT 14077792 SOS 10410676 HAS SOPS 10409523 HAS SOUS 906921 HAS SOUPS 906317 WITH SCORE 916727.676
AT ITER 4073 NEW BEST:: SOT 14076808 SOS 10409692 HAS SOPS 10408539 HAS SOUS 905045 HAS SOUPS 904441 WITH SCORE 914850.692
AT ITER 4076 NEW BEST:: SOT 14078878 SOS 10411728 HAS SOPS 10410575 HAS SOUS 903103 HAS SOUPS 902499 WITH SCORE 912910.728
AT ITER 4097 NEW BEST:: SOT 14078722 SOS 10411572 HAS SOPS 10410419 HAS SOUS 898891 HAS SOUPS 898287 WITH SCORE 908698.572
AT ITER 4107 NEW BEST:: SOT 14078722 SOS 10409124 HAS SOPS 10407971 HAS SOUS 898891 HAS SOUPS 898287 WITH SCORE 908696.124
AT ITER 4116 NEW BEST:: SOT 14077970 SOS 10408356 HAS SOPS 10407203 HAS SOUS 898739 HAS SOUPS 898135 WITH SCORE 908543.356
AT ITER 4118 NEW BEST:: SOT 14077978 SOS 10408364 HAS SOPS 10407211 HAS SOUS 898371 HAS SOUPS 897767 WITH SCORE 908175.364
AT ITER 4126 NEW BEST:: SOT 14079239 SOS 10409625 HAS SOPS 10408472 HAS SOUS 897971 HAS SOUPS 897367 WITH SCORE 907776.625
AT ITER 4127 NEW BEST:: SOT 14076383 SOS 10406769 HAS SOPS 10405616 HAS SOUS 897371 HAS SOUPS 896767 WITH SCORE 907173.769
AT ITER 4129 NEW BEST:: SOT 14076383 SOS 10406265 HAS SOPS 10405112 HAS SOUS 897365 HAS SOUPS 896761 WITH SCORE 907167.265
AT ITER 4142 NEW BEST:: SOT 14074761 SOS 10404547 HAS SOPS 10403394 HAS SOUS 895846 HAS SOUPS 895242 WITH SCORE 905646.547
AT ITER 4153 NEW BEST:: SOT 14074761 SOS 10400227 HAS SOPS 10399074 HAS SOUS 895846 HAS SOUPS 895242 WITH SCORE 905642.227
AT ITER 4155 NEW BEST:: SOT 14074790 SOS 10400256 HAS SOPS 10399103 HAS SOUS 895691 HAS SOUPS 895087 WITH SCORE 905487.256
AT ITER 4160 NEW BEST:: SOT 14074877 SOS 10400343 HAS SOPS 10399190 HAS SOUS 895365 HAS SOUPS 894761 WITH SCORE 905161.343
AT ITER 4179 NEW BEST:: SOT 14074876 SOS 10400342 HAS SOPS 10399189 HAS SOUS 895364 HAS SOUPS 894760 WITH SCORE 905160.342
AT ITER 4181 NEW BEST:: SOT 14074876 SOS 10399880 HAS SOPS 10398727 HAS SOUS 895133 HAS SOUPS 894529 WITH SCORE 904928.88
AT ITER 4183 NEW BEST:: SOT 14074835 SOS 10399839 HAS SOPS 10398686 HAS SOUS 895133 HAS SOUPS 894529 WITH SCORE 904928.839
AT ITER 4201 NEW BEST:: SOT 14071408 SOS 10396712 HAS SOPS 10395559 HAS SOUS 889102 HAS SOUPS 888498 WITH SCORE 898894.712
AT ITER 4213 NEW BEST:: SOT 14063511 SOS 10386751 HAS SOPS 10385598 HAS SOUS 887016 HAS SOUPS 886412 WITH SCORE 896798.751
AT ITER 4221 NEW BEST:: SOT 14063511 SOS 10387831 HAS SOPS 10386678 HAS SOUS 887001 HAS SOUPS 886397 WITH SCORE 896784.831
AT ITER 4223 NEW BEST:: SOT 14065669 SOS 10389989 HAS SOPS 10388836 HAS SOUS 884188 HAS SOUPS 883584 WITH SCORE 893973.989
AT ITER 4224 NEW BEST:: SOT 14064511 SOS 10388831 HAS SOPS 10387678 HAS SOUS 881872 HAS SOUPS 881268 WITH SCORE 891656.831
AT ITER 4234 NEW BEST:: SOT 14064511 SOS 10385951 HAS SOPS 10384798 HAS SOUS 881872 HAS SOUPS 881268 WITH SCORE 891653.951
AT ITER 4245 NEW BEST:: SOT 14064511 SOS 10383503 HAS SOPS 10382350 HAS SOUS 881872 HAS SOUPS 881268 WITH SCORE 891651.503
AT ITER 4272 NEW BEST:: SOT 14064511 SOS 10377815 HAS SOPS 10376662 HAS SOUS 881872 HAS SOUPS 881268 WITH SCORE 891645.815
AT ITER 4279 NEW BEST:: SOT 14064511 SOS 10377095 HAS SOPS 10375942 HAS SOUS 881872 HAS SOUPS 881268 WITH SCORE 891645.095
AT ITER 4287 NEW BEST:: SOT 14064511 SOS 10377095 HAS SOPS 10375942 HAS SOUS 881841 HAS SOUPS 881237 WITH SCORE 891614.095
AT ITER 4302 NEW BEST:: SOT 14067424 SOS 10380818 HAS SOPS 10379575 HAS SOUS 878952 HAS SOUPS 878258 WITH SCORE 888638.818
AT ITER 4306 NEW BEST:: SOT 14066338 SOS 10379732 HAS SOPS 10378489 HAS SOUS 878362 HAS SOUPS 877668 WITH SCORE 888047.732
AT ITER 4316 NEW BEST:: SOT 14066337 SOS 10379731 HAS SOPS 10378488 HAS SOUS 878362 HAS SOUPS 877668 WITH SCORE 888047.731
AT ITER 4322 NEW BEST:: SOT 14066337 SOS 10384349 HAS SOPS 10383078 HAS SOUS 878362 HAS SOUPS 877640 WITH SCORE 888024.349
AT ITER 4332 NEW BEST:: SOT 14066343 SOS 10384346 HAS SOPS 10383075 HAS SOUS 878359 HAS SOUPS 877637 WITH SCORE 888021.346
AT ITER 4340 NEW BEST:: SOT 14066327 SOS 10384330 HAS SOPS 10383059 HAS SOUS 878347 HAS SOUPS 877625 WITH SCORE 888009.33
AT ITER 4362 NEW BEST:: SOT 14066336 SOS 10383691 HAS SOPS 10382420 HAS SOUS 878347 HAS SOUPS 877625 WITH SCORE 888008.691
AT ITER 4363 NEW BEST:: SOT 14066336 SOS 10382755 HAS SOPS 10381484 HAS SOUS 878347 HAS SOUPS 877625 WITH SCORE 888007.755
AT ITER 4378 NEW BEST:: SOT 14051820 SOS 10368239 HAS SOPS 10366968 HAS SOUS 868560 HAS SOUPS 867838 WITH SCORE 878206.239
AT ITER 4392 NEW BEST:: SOT 14051445 SOS 10367864 HAS SOPS 10366593 HAS SOUS 868062 HAS SOUPS 867340 WITH SCORE 877707.864
AT ITER 4398 NEW BEST:: SOT 14051295 SOS 10542026 HAS SOPS 10540755 HAS SOUS 867836 HAS SOUPS 867114 WITH SCORE 877656.026
AT ITER 4438 NEW BEST:: SOT 14051295 SOS 10541165 HAS SOPS 10539894 HAS SOUS 867833 HAS SOUPS 867111 WITH SCORE 877652.165
AT ITER 4457 NEW BEST:: SOT 14051295 SOS 10535568 HAS SOPS 10534297 HAS SOUS 867736 HAS SOUPS 867014 WITH SCORE 877549.568
AT ITER 4465 NEW BEST:: SOT 14051295 SOS 10535355 HAS SOPS 10534084 HAS SOUS 867721 HAS SOUPS 866999 WITH SCORE 877534.355
AT ITER 4481 NEW BEST:: SOT 14051295 SOS 10531971 HAS SOPS 10530700 HAS SOUS 867721 HAS SOUPS 866999 WITH SCORE 877530.971
AT ITER 4488 NEW BEST:: SOT 14051295 SOS 10517725 HAS SOPS 10516454 HAS SOUS 867711 HAS SOUPS 866989 WITH SCORE 877506.725
AT ITER 4555 NEW BEST:: SOT 14050497 SOS 10516927 HAS SOPS 10515656 HAS SOUS 864167 HAS SOUPS 863445 WITH SCORE 873961.927
AT ITER 4558 NEW BEST:: SOT 14049377 SOS 10515807 HAS SOPS 10514536 HAS SOUS 863047 HAS SOUPS 862325 WITH SCORE 872840.807
AT ITER 4564 NEW BEST:: SOT 14049370 SOS 10515800 HAS SOPS 10514529 HAS SOUS 863040 HAS SOUPS 862318 WITH SCORE 872833.8
AT ITER 4570 NEW BEST:: SOT 14049370 SOS 10515799 HAS SOPS 10514528 HAS SOUS 863039 HAS SOUPS 862317 WITH SCORE 872832.799
AT ITER 4622 NEW BEST:: SOT 14049370 SOS 10513567 HAS SOPS 10512296 HAS SOUS 863039 HAS SOUPS 862317 WITH SCORE 872830.567
AT ITER 4627 NEW BEST:: SOT 14049370 SOS 10510327 HAS SOPS 10509056 HAS SOUS 863039 HAS SOUPS 862317 WITH SCORE 872827.327
AT ITER 4651 NEW BEST:: SOT 14049385 SOS 10510342 HAS SOPS 10509071 HAS SOUS 863012 HAS SOUPS 862290 WITH SCORE 872800.342
AT ITER 4654 NEW BEST:: SOT 14047771 SOS 10508728 HAS SOPS 10507457 HAS SOUS 862166 HAS SOUPS 861444 WITH SCORE 871952.728
AT ITER 4660 NEW BEST:: SOT 14047771 SOS 10503099 HAS SOPS 10501828 HAS SOUS 862078 HAS SOUPS 861356 WITH SCORE 871859.099
AT ITER 4662 NEW BEST:: SOT 14047771 SOS 10502879 HAS SOPS 10501740 HAS SOUS 861604 HAS SOUPS 860926 WITH SCORE 871428.879
AT ITER 4680 NEW BEST:: SOT 14047771 SOS 10502524 HAS SOPS 10501385 HAS SOUS 861599 HAS SOUPS 860921 WITH SCORE 871423.524
AT ITER 4687 NEW BEST:: SOT 14047771 SOS 10497755 HAS SOPS 10496616 HAS SOUS 861488 HAS SOUPS 860810 WITH SCORE 871307.755
AT ITER 4693 NEW BEST:: SOT 14048829 SOS 10498855 HAS SOPS 10497716 HAS SOUS 861474 HAS SOUPS 860796 WITH SCORE 871294.855
AT ITER 4707 NEW BEST:: SOT 14048829 SOS 10496263 HAS SOPS 10495124 HAS SOUS 861474 HAS SOUPS 860796 WITH SCORE 871292.263
AT ITER 4727 NEW BEST:: SOT 14044746 SOS 10492180 HAS SOPS 10491041 HAS SOUS 858804 HAS SOUPS 858126 WITH SCORE 868618.18
AT ITER 4733 NEW BEST:: SOT 14045788 SOS 10493247 HAS SOPS 10492108 HAS SOUS 858504 HAS SOUPS 857826 WITH SCORE 868319.247
AT ITER 4742 NEW BEST:: SOT 14045788 SOS 10493247 HAS SOPS 10492108 HAS SOUS 858483 HAS SOUPS 857805 WITH SCORE 868298.247
AT ITER 4780 NEW BEST:: SOT 14046721 SOS 10494848 HAS SOPS 10493477 HAS SOUS 857902 HAS SOUPS 857151 WITH SCORE 867645.848
AT ITER 4784 NEW BEST:: SOT 14040185 SOS 10489424 HAS SOPS 10488053 HAS SOUS 851457 HAS SOUPS 850706 WITH SCORE 861195.424
AT ITER 4795 NEW BEST:: SOT 14040185 SOS 10489039 HAS SOPS 10487899 HAS SOUS 850448 HAS SOUPS 849774 WITH SCORE 860263.039
AT ITER 4804 NEW BEST:: SOT 14040240 SOS 10489062 HAS SOPS 10487924 HAS SOUS 849936 HAS SOUPS 849264 WITH SCORE 859753.062
AT ITER 4846 NEW BEST:: SOT 14040240 SOS 10483662 HAS SOPS 10482524 HAS SOUS 849936 HAS SOUPS 849264 WITH SCORE 859747.662
AT ITER 4852 NEW BEST:: SOT 14041782 SOS 10485204 HAS SOPS 10484066 HAS SOUS 847941 HAS SOUPS 847269 WITH SCORE 857754.204
AT ITER 4861 NEW BEST:: SOT 14041781 SOS 10485203 HAS SOPS 10484065 HAS SOUS 847915 HAS SOUPS 847243 WITH SCORE 857728.203
AT ITER 4874 NEW BEST:: SOT 14041781 SOS 10485203 HAS SOPS 10484065 HAS SOUS 847893 HAS SOUPS 847221 WITH SCORE 857706.203
AT ITER 4885 NEW BEST:: SOT 14041676 SOS 10485098 HAS SOPS 10483960 HAS SOUS 847790 HAS SOUPS 847118 WITH SCORE 857603.098
AT ITER 4887 NEW BEST:: SOT 14041355 SOS 10484825 HAS SOPS 10483679 HAS SOUS 847120 HAS SOUPS 846440 WITH SCORE 856924.825
AT ITER 4920 NEW BEST:: SOT 14041355 SOS 10481012 HAS SOPS 10479866 HAS SOUS 847120 HAS SOUPS 846440 WITH SCORE 856921.012
AT ITER 4922 NEW BEST:: SOT 14040912 SOS 10480549 HAS SOPS 10479403 HAS SOUS 846764 HAS SOUPS 846084 WITH SCORE 856564.549
AT ITER 4956 NEW BEST:: SOT 14040850 SOS 10480488 HAS SOPS 10479342 HAS SOUS 846640 HAS SOUPS 845960 WITH SCORE 856440.488
AT ITER 4971 NEW BEST:: SOT 14039872 SOS 10479510 HAS SOPS 10478364 HAS SOUS 844776 HAS SOUPS 844096 WITH SCORE 854575.51
AT ITER 4987 NEW BEST:: SOT 14039135 SOS 10478773 HAS SOPS 10477627 HAS SOUS 843287 HAS SOUPS 842607 WITH SCORE 853085.773
AT ITER 4988 NEW BEST:: SOT 14039119 SOS 10477605 HAS SOPS 10476459 HAS SOUS 843271 HAS SOUPS 842591 WITH SCORE 853068.605
AT ITER 5002 NEW BEST:: SOT 14039119 SOS 10477605 HAS SOPS 10476459 HAS SOUS 843231 HAS SOUPS 842551 WITH SCORE 853028.605
AT ITER 5006 NEW BEST:: SOT 14040143 SOS 10478629 HAS SOPS 10477483 HAS SOUS 842928 HAS SOUPS 842248 WITH SCORE 852726.629
AT ITER 5022 NEW BEST:: SOT 14040143 SOS 10483574 HAS SOPS 10482428 HAS SOUS 842739 HAS SOUPS 842059 WITH SCORE 852542.574
AT ITER 5032 NEW BEST:: SOT 14040143 SOS 10476103 HAS SOPS 10474957 HAS SOUS 842722 HAS SOUPS 842042 WITH SCORE 852518.103
AT ITER 5039 NEW BEST:: SOT 14040143 SOS 10473587 HAS SOPS 10472441 HAS SOUS 842688 HAS SOUPS 842008 WITH SCORE 852481.587
AT ITER 5040 NEW BEST:: SOT 14040315 SOS 10473731 HAS SOPS 10472613 HAS SOUS 842543 HAS SOUPS 841891 WITH SCORE 852364.731
AT ITER 5063 NEW BEST:: SOT 14040315 SOS 10479547 HAS SOPS 10478429 HAS SOUS 842456 HAS SOUPS 841804 WITH SCORE 852283.547
AT ITER 5077 NEW BEST:: SOT 14040315 SOS 10487131 HAS SOPS 10486013 HAS SOUS 842294 HAS SOUPS 841642 WITH SCORE 852129.131
AT ITER 5134 NEW BEST:: SOT 14040315 SOS 10484575 HAS SOPS 10483457 HAS SOUS 842258 HAS SOUPS 841606 WITH SCORE 852090.575
AT ITER 5149 NEW BEST:: SOT 14035295 SOS 10479555 HAS SOPS 10478437 HAS SOUS 837543 HAS SOUPS 836891 WITH SCORE 847370.555
AT ITER 5160 NEW BEST:: SOT 14035295 SOS 10476851 HAS SOPS 10475733 HAS SOUS 837473 HAS SOUPS 836821 WITH SCORE 847297.851
AT ITER 5175 NEW BEST:: SOT 14037008 SOS 10478563 HAS SOPS 10477445 HAS SOUS 835975 HAS SOUPS 835323 WITH SCORE 845801.563
AT ITER 5177 NEW BEST:: SOT 14037008 SOS 10476835 HAS SOPS 10475717 HAS SOUS 835975 HAS SOUPS 835323 WITH SCORE 845799.835
AT ITER 5180 NEW BEST:: SOT 14036999 SOS 10476826 HAS SOPS 10475708 HAS SOUS 835966 HAS SOUPS 835314 WITH SCORE 845790.826
AT ITER 5204 NEW BEST:: SOT 14036999 SOS 10471375 HAS SOPS 10470257 HAS SOUS 835945 HAS SOUPS 835293 WITH SCORE 845764.375
AT ITER 5212 NEW BEST:: SOT 14037055 SOS 10467399 HAS SOPS 10466281 HAS SOUS 835945 HAS SOUPS 835293 WITH SCORE 845760.399
AT ITER 5223 NEW BEST:: SOT 14038878 SOS 10481626 HAS SOPS 10480508 HAS SOUS 835905 HAS SOUPS 835253 WITH SCORE 845734.626
AT ITER 5292 NEW BEST:: SOT 14038878 SOS 10481626 HAS SOPS 10480508 HAS SOUS 835887 HAS SOUPS 835235 WITH SCORE 845716.626
AT ITER 5335 NEW BEST:: SOT 14038878 SOS 10474426 HAS SOPS 10473308 HAS SOUS 835887 HAS SOUPS 835235 WITH SCORE 845709.426
AT ITER 5342 NEW BEST:: SOT 14042407 SOS 10477955 HAS SOPS 10476837 HAS SOUS 834532 HAS SOUPS 833880 WITH SCORE 844357.955
AT ITER 5347 NEW BEST:: SOT 14042407 SOS 10477021 HAS SOPS 10475903 HAS SOUS 834517 HAS SOUPS 833865 WITH SCORE 844342.021
AT ITER 5348 NEW BEST:: SOT 14042407 SOS 10474501 HAS SOPS 10473383 HAS SOUS 834517 HAS SOUPS 833865 WITH SCORE 844339.501
AT ITER 5364 NEW BEST:: SOT 14042240 SOS 10474334 HAS SOPS 10473216 HAS SOUS 834350 HAS SOUPS 833698 WITH SCORE 844172.334
AT ITER 5402 NEW BEST:: SOT 14042240 SOS 10473686 HAS SOPS 10472568 HAS SOUS 834350 HAS SOUPS 833698 WITH SCORE 844171.686
AT ITER 5414 NEW BEST:: SOT 14042213 SOS 10473659 HAS SOPS 10472541 HAS SOUS 834337 HAS SOUPS 833685 WITH SCORE 844158.659
AT ITER 5417 NEW BEST:: SOT 14042213 SOS 10472435 HAS SOPS 10471317 HAS SOUS 834337 HAS SOUPS 833685 WITH SCORE 844157.435
AT ITER 5427 NEW BEST:: SOT 14042213 SOS 10476246 HAS SOPS 10475128 HAS SOUS 834283 HAS SOUPS 833631 WITH SCORE 844107.246
AT ITER 5428 NEW BEST:: SOT 14042213 SOS 10476246 HAS SOPS 10475128 HAS SOUS 834234 HAS SOUPS 833582 WITH SCORE 844058.246
AT ITER 5448 NEW BEST:: SOT 14040655 SOS 10474688 HAS SOPS 10473570 HAS SOUS 834188 HAS SOUPS 833536 WITH SCORE 844010.688
AT ITER 5452 NEW BEST:: SOT 14039245 SOS 10473278 HAS SOPS 10472160 HAS SOUS 832321 HAS SOUPS 831669 WITH SCORE 842142.278
AT ITER 5467 NEW BEST:: SOT 14038304 SOS 10472337 HAS SOPS 10471219 HAS SOUS 830409 HAS SOUPS 829757 WITH SCORE 840229.337
AT ITER 5469 NEW BEST:: SOT 14038304 SOS 10338247 HAS SOPS 10337129 HAS SOUS 830377 HAS SOUPS 829725 WITH SCORE 840063.247
AT ITER 5475 NEW BEST:: SOT 14037585 SOS 10349443 HAS SOPS 10348325 HAS SOUS 829104 HAS SOUPS 828452 WITH SCORE 838801.443
AT ITER 5491 NEW BEST:: SOT 14037414 SOS 10349272 HAS SOPS 10348154 HAS SOUS 828990 HAS SOUPS 828338 WITH SCORE 838687.272
AT ITER 5536 NEW BEST:: SOT 14034331 SOS 10346189 HAS SOPS 10345071 HAS SOUS 828232 HAS SOUPS 827580 WITH SCORE 837926.189
AT ITER 5556 NEW BEST:: SOT 14032018 SOS 10343876 HAS SOPS 10342758 HAS SOUS 827012 HAS SOUPS 826360 WITH SCORE 836703.876
AT ITER 5559 NEW BEST:: SOT 14031970 SOS 10343828 HAS SOPS 10342710 HAS SOUS 826979 HAS SOUPS 826327 WITH SCORE 836670.828
AT ITER 5565 NEW BEST:: SOT 14031970 SOS 10343828 HAS SOPS 10342710 HAS SOUS 826964 HAS SOUPS 826312 WITH SCORE 836655.828
AT ITER 5582 NEW BEST:: SOT 14031970 SOS 10342316 HAS SOPS 10341198 HAS SOUS 826964 HAS SOUPS 826312 WITH SCORE 836654.316
AT ITER 5615 NEW BEST:: SOT 14031919 SOS 10342265 HAS SOPS 10341147 HAS SOUS 826864 HAS SOUPS 826212 WITH SCORE 836554.265
AT ITER 5644 NEW BEST:: SOT 14031919 SOS 10346295 HAS SOPS 10345177 HAS SOUS 826810 HAS SOUPS 826158 WITH SCORE 836504.295
AT ITER 5646 NEW BEST:: SOT 14030765 SOS 10345141 HAS SOPS 10344023 HAS SOUS 824514 HAS SOUPS 823862 WITH SCORE 834207.141
AT ITER 5662 NEW BEST:: SOT 14032475 SOS 10346851 HAS SOPS 10345733 HAS SOUS 824191 HAS SOUPS 823539 WITH SCORE 833885.851
AT ITER 5667 NEW BEST:: SOT 14032286 SOS 10346662 HAS SOPS 10345544 HAS SOUS 823266 HAS SOUPS 822614 WITH SCORE 832960.662
AT ITER 5678 NEW BEST:: SOT 14032239 SOS 10346615 HAS SOPS 10345497 HAS SOUS 823219 HAS SOUPS 822567 WITH SCORE 832913.615
AT ITER 5682 NEW BEST:: SOT 14031763 SOS 10346139 HAS SOPS 10345021 HAS SOUS 823140 HAS SOUPS 822488 WITH SCORE 832834.139
AT ITER 5723 NEW BEST:: SOT 14031737 SOS 10346113 HAS SOPS 10344995 HAS SOUS 823056 HAS SOUPS 822404 WITH SCORE 832750.113
AT ITER 5745 NEW BEST:: SOT 14031737 SOS 10345963 HAS SOPS 10344845 HAS SOUS 822906 HAS SOUPS 822254 WITH SCORE 832599.963
AT ITER 5750 NEW BEST:: SOT 14034016 SOS 10348282 HAS SOPS 10347164 HAS SOUS 822837 HAS SOUPS 822185 WITH SCORE 832533.282
AT ITER 5761 NEW BEST:: SOT 14033290 SOS 10347556 HAS SOPS 10346438 HAS SOUS 820532 HAS SOUPS 819880 WITH SCORE 830227.556
AT ITER 5764 NEW BEST:: SOT 14033290 SOS 10345468 HAS SOPS 10344350 HAS SOUS 820503 HAS SOUPS 819851 WITH SCORE 830196.468
AT ITER 5769 NEW BEST:: SOT 14033251 SOS 10345429 HAS SOPS 10344311 HAS SOUS 820464 HAS SOUPS 819812 WITH SCORE 830157.429
AT ITER 5786 NEW BEST:: SOT 14033251 SOS 10343727 HAS SOPS 10342609 HAS SOUS 820464 HAS SOUPS 819812 WITH SCORE 830155.727
AT ITER 5792 NEW BEST:: SOT 14033251 SOS 10343727 HAS SOPS 10342609 HAS SOUS 820347 HAS SOUPS 819695 WITH SCORE 830038.727
AT ITER 5793 NEW BEST:: SOT 14033019 SOS 10343495 HAS SOPS 10342377 HAS SOUS 820122 HAS SOUPS 819470 WITH SCORE 829813.495
AT ITER 5795 NEW BEST:: SOT 14037357 SOS 10346200 HAS SOPS 10345082 HAS SOUS 819327 HAS SOUPS 818675 WITH SCORE 829021.2
AT ITER 5811 NEW BEST:: SOT 14035629 SOS 10344472 HAS SOPS 10343354 HAS SOUS 816249 HAS SOUPS 815597 WITH SCORE 825941.472
AT ITER 5813 NEW BEST:: SOT 14034674 SOS 10343503 HAS SOPS 10342385 HAS SOUS 813901 HAS SOUPS 813249 WITH SCORE 823592.503
AT ITER 5817 NEW BEST:: SOT 14034674 SOS 10349061 HAS SOPS 10347943 HAS SOUS 813759 HAS SOUPS 813107 WITH SCORE 823456.061
AT ITER 5821 NEW BEST:: SOT 14034674 SOS 10347631 HAS SOPS 10346513 HAS SOUS 813737 HAS SOUPS 813085 WITH SCORE 823432.631
AT ITER 5830 NEW BEST:: SOT 14035077 SOS 10348060 HAS SOPS 10346942 HAS SOUS 813216 HAS SOUPS 812564 WITH SCORE 822912.06
AT ITER 5892 NEW BEST:: SOT 14036792 SOS 10349749 HAS SOPS 10348631 HAS SOUS 812784 HAS SOUPS 812132 WITH SCORE 822481.749
AT ITER 5902 NEW BEST:: SOT 14036274 SOS 10349231 HAS SOPS 10348113 HAS SOUS 811706 HAS SOUPS 811054 WITH SCORE 821403.231
AT ITER 5933 NEW BEST:: SOT 14036274 SOS 10347863 HAS SOPS 10346745 HAS SOUS 811706 HAS SOUPS 811054 WITH SCORE 821401.863
AT ITER 5978 NEW BEST:: SOT 14036274 SOS 10347831 HAS SOPS 10346713 HAS SOUS 811690 HAS SOUPS 811038 WITH SCORE 821385.831
AT ITER 5988 NEW BEST:: SOT 14036334 SOS 10333298 HAS SOPS 10332180 HAS SOUS 811414 HAS SOUPS 810762 WITH SCORE 821095.298
AT ITER 6044 NEW BEST:: SOT 14036334 SOS 10338082 HAS SOPS 10336964 HAS SOUS 811322 HAS SOUPS 810670 WITH SCORE 821008.082
AT ITER 6075 NEW BEST:: SOT 14036310 SOS 10338058 HAS SOPS 10336940 HAS SOUS 811310 HAS SOUPS 810658 WITH SCORE 820996.058
AT ITER 6091 NEW BEST:: SOT 14036310 SOS 10337972 HAS SOPS 10336854 HAS SOUS 811294 HAS SOUPS 810642 WITH SCORE 820979.972
AT ITER 6095 NEW BEST:: SOT 14033888 SOS 10335550 HAS SOPS 10334432 HAS SOUS 810941 HAS SOUPS 810289 WITH SCORE 820624.55
AT ITER 6111 NEW BEST:: SOT 14033888 SOS 10335542 HAS SOPS 10334424 HAS SOUS 810937 HAS SOUPS 810285 WITH SCORE 820620.542
AT ITER 6135 NEW BEST:: SOT 14029555 SOS 10331209 HAS SOPS 10330091 HAS SOUS 805239 HAS SOUPS 804587 WITH SCORE 814918.209
AT ITER 6146 NEW BEST:: SOT 14029555 SOS 10330191 HAS SOPS 10329073 HAS SOUS 805219 HAS SOUPS 804567 WITH SCORE 814897.191
AT ITER 6150 NEW BEST:: SOT 14029555 SOS 10328463 HAS SOPS 10327345 HAS SOUS 805219 HAS SOUPS 804567 WITH SCORE 814895.463
AT ITER 6191 NEW BEST:: SOT 14029555 SOS 10323471 HAS SOPS 10322353 HAS SOUS 805219 HAS SOUPS 804567 WITH SCORE 814890.471
AT ITER 6193 NEW BEST:: SOT 14029640 SOS 10323556 HAS SOPS 10322438 HAS SOUS 804971 HAS SOUPS 804319 WITH SCORE 814642.556
AT ITER 6200 NEW BEST:: SOT 14029642 SOS 10323558 HAS SOPS 10322440 HAS SOUS 804962 HAS SOUPS 804310 WITH SCORE 814633.558
AT ITER 6211 NEW BEST:: SOT 14026420 SOS 10319814 HAS SOPS 10318754 HAS SOUS 803248 HAS SOUPS 802654 WITH SCORE 812973.814
AT ITER 6212 NEW BEST:: SOT 14023876 SOS 10317270 HAS SOPS 10316210 HAS SOUS 803083 HAS SOUPS 802489 WITH SCORE 812806.27
AT ITER 6220 NEW BEST:: SOT 14023792 SOS 10317186 HAS SOPS 10316126 HAS SOUS 802999 HAS SOUPS 802405 WITH SCORE 812722.186
AT ITER 6248 NEW BEST:: SOT 14023792 SOS 10315818 HAS SOPS 10314758 HAS SOUS 802999 HAS SOUPS 802405 WITH SCORE 812720.818
AT ITER 6259 NEW BEST:: SOT 14023792 SOS 10315818 HAS SOPS 10314758 HAS SOUS 802965 HAS SOUPS 802371 WITH SCORE 812686.818
AT ITER 6282 NEW BEST:: SOT 14023792 SOS 10315530 HAS SOPS 10314470 HAS SOUS 802936 HAS SOUPS 802342 WITH SCORE 812657.53
AT ITER 6298 NEW BEST:: SOT 14023949 SOS 10315687 HAS SOPS 10314627 HAS SOUS 802701 HAS SOUPS 802107 WITH SCORE 812422.687
AT ITER 6309 NEW BEST:: SOT 14023949 SOS 10315500 HAS SOPS 10314440 HAS SOUS 802699 HAS SOUPS 802105 WITH SCORE 812420.5
AT ITER 6310 NEW BEST:: SOT 14026360 SOS 10317911 HAS SOPS 10316851 HAS SOUS 800845 HAS SOUPS 800251 WITH SCORE 810568.911
AT ITER 6311 NEW BEST:: SOT 14026379 SOS 10315658 HAS SOPS 10314598 HAS SOUS 800729 HAS SOUPS 800135 WITH SCORE 810450.658
AT ITER 6321 NEW BEST:: SOT 14026928 SOS 10316207 HAS SOPS 10315147 HAS SOUS 799166 HAS SOUPS 798572 WITH SCORE 808888.207
AT ITER 6349 NEW BEST:: SOT 14025408 SOS 10314687 HAS SOPS 10313627 HAS SOUS 798315 HAS SOUPS 797721 WITH SCORE 808035.687
AT ITER 6364 NEW BEST:: SOT 14025376 SOS 10314655 HAS SOPS 10313595 HAS SOUS 798299 HAS SOUPS 797705 WITH SCORE 808019.655
AT ITER 6401 NEW BEST:: SOT 14024967 SOS 10314246 HAS SOPS 10313186 HAS SOUS 797338 HAS SOUPS 796744 WITH SCORE 807058.246
AT ITER 6417 NEW BEST:: SOT 14024967 SOS 10309278 HAS SOPS 10308218 HAS SOUS 797338 HAS SOUPS 796744 WITH SCORE 807053.278
AT ITER 6429 NEW BEST:: SOT 14023497 SOS 10307808 HAS SOPS 10306748 HAS SOUS 793946 HAS SOUPS 793352 WITH SCORE 803659.808
AT ITER 6445 NEW BEST:: SOT 14023497 SOS 10306656 HAS SOPS 10305596 HAS SOUS 793946 HAS SOUPS 793352 WITH SCORE 803658.656
AT ITER 6531 NEW BEST:: SOT 14023338 SOS 10306497 HAS SOPS 10305437 HAS SOUS 793625 HAS SOUPS 793031 WITH SCORE 803337.497
AT ITER 6533 NEW BEST:: SOT 14020006 SOS 10303165 HAS SOPS 10302105 HAS SOUS 791427 HAS SOUPS 790833 WITH SCORE 801136.165
AT ITER 6534 NEW BEST:: SOT 14020165 SOS 10303324 HAS SOPS 10302264 HAS SOUS 791403 HAS SOUPS 790809 WITH SCORE 801112.324
AT ITER 6539 NEW BEST:: SOT 14020165 SOS 10306894 HAS SOPS 10305834 HAS SOUS 791352 HAS SOUPS 790758 WITH SCORE 801064.894
AT ITER 6546 NEW BEST:: SOT 14021420 SOS 10308149 HAS SOPS 10307089 HAS SOUS 790394 HAS SOUPS 789800 WITH SCORE 800108.149
AT ITER 6548 NEW BEST:: SOT 14015287 SOS 10299531 HAS SOPS 10298471 HAS SOUS 782437 HAS SOUPS 781843 WITH SCORE 792142.531
AT ITER 6549 NEW BEST:: SOT 14011112 SOS 10295601 HAS SOPS 10294541 HAS SOUS 779824 HAS SOUPS 779230 WITH SCORE 789525.601
AT ITER 6559 NEW BEST:: SOT 14011112 SOS 10296465 HAS SOPS 10295405 HAS SOUS 779488 HAS SOUPS 778894 WITH SCORE 789190.465
AT ITER 6593 NEW BEST:: SOT 14011103 SOS 10296456 HAS SOPS 10295396 HAS SOUS 779474 HAS SOUPS 778880 WITH SCORE 789176.456
AT ITER 6639 NEW BEST:: SOT 14011103 SOS 10292895 HAS SOPS 10291835 HAS SOUS 779453 HAS SOUPS 778859 WITH SCORE 789151.895
AT ITER 6694 NEW BEST:: SOT 14008039 SOS 10289831 HAS SOPS 10288771 HAS SOUS 777534 HAS SOUPS 776940 WITH SCORE 787229.831
AT ITER 6707 NEW BEST:: SOT 14008073 SOS 10289865 HAS SOPS 10288805 HAS SOUS 777496 HAS SOUPS 776902 WITH SCORE 787191.865
AT ITER 6780 NEW BEST:: SOT 14007040 SOS 10288832 HAS SOPS 10287772 HAS SOUS 776731 HAS SOUPS 776137 WITH SCORE 786425.832
AT ITER 6797 NEW BEST:: SOT 14006366 SOS 10288158 HAS SOPS 10287098 HAS SOUS 776309 HAS SOUPS 775715 WITH SCORE 786003.158
AT ITER 6803 NEW BEST:: SOT 14006257 SOS 10288049 HAS SOPS 10286989 HAS SOUS 776091 HAS SOUPS 775497 WITH SCORE 785785.049
AT ITER 6805 NEW BEST:: SOT 14006388 SOS 10288180 HAS SOPS 10287120 HAS SOUS 775984 HAS SOUPS 775390 WITH SCORE 785678.18
AT ITER 6829 NEW BEST:: SOT 14006931 SOS 10288723 HAS SOPS 10287663 HAS SOUS 775435 HAS SOUPS 774841 WITH SCORE 785129.723
AT ITER 6835 NEW BEST:: SOT 14005453 SOS 10298988 HAS SOPS 10297928 HAS SOUS 775044 HAS SOUPS 774450 WITH SCORE 784748.988
AT ITER 6842 NEW BEST:: SOT 14006808 SOS 10300343 HAS SOPS 10299283 HAS SOUS 773283 HAS SOUPS 772689 WITH SCORE 782989.343
AT ITER 6851 NEW BEST:: SOT 14006808 SOS 10300343 HAS SOPS 10299283 HAS SOUS 773274 HAS SOUPS 772680 WITH SCORE 782980.343
AT ITER 6856 NEW BEST:: SOT 14006808 SOS 10299683 HAS SOPS 10298623 HAS SOUS 773208 HAS SOUPS 772614 WITH SCORE 782913.683
AT ITER 6875 NEW BEST:: SOT 14006808 SOS 10299683 HAS SOPS 10298623 HAS SOUS 773161 HAS SOUPS 772567 WITH SCORE 782866.683
AT ITER 6877 NEW BEST:: SOT 14006058 SOS 10298933 HAS SOPS 10297873 HAS SOUS 771649 HAS SOUPS 771055 WITH SCORE 781353.933
AT ITER 6891 NEW BEST:: SOT 14005504 SOS 10298379 HAS SOPS 10297319 HAS SOUS 770564 HAS SOUPS 769970 WITH SCORE 780268.379
AT ITER 6909 NEW BEST:: SOT 14005504 SOS 10297172 HAS SOPS 10296112 HAS SOUS 770530 HAS SOUPS 769936 WITH SCORE 780233.172
AT ITER 6914 NEW BEST:: SOT 14005504 SOS 10294004 HAS SOPS 10292944 HAS SOUS 770530 HAS SOUPS 769936 WITH SCORE 780230.004
AT ITER 6927 NEW BEST:: SOT 14000998 SOS 10289498 HAS SOPS 10288438 HAS SOUS 767168 HAS SOUPS 766574 WITH SCORE 776863.498
AT ITER 6933 NEW BEST:: SOT 13995325 SOS 10283321 HAS SOPS 10282317 HAS SOUS 763235 HAS SOUPS 762697 WITH SCORE 772980.321
AT ITER 6944 NEW BEST:: SOT 13995325 SOS 10278137 HAS SOPS 10277133 HAS SOUS 763235 HAS SOUPS 762697 WITH SCORE 772975.137
AT ITER 6957 NEW BEST:: SOT 13995325 SOS 10276145 HAS SOPS 10275141 HAS SOUS 763235 HAS SOUPS 762697 WITH SCORE 772973.145
AT ITER 6994 NEW BEST:: SOT 13995325 SOS 10275790 HAS SOPS 10274786 HAS SOUS 763230 HAS SOUPS 762692 WITH SCORE 772967.79
AT ITER 7001 NEW BEST:: SOT 13994250 SOS 10274715 HAS SOPS 10273711 HAS SOUS 762407 HAS SOUPS 761869 WITH SCORE 772143.715
AT ITER 7007 NEW BEST:: SOT 13994014 SOS 10274479 HAS SOPS 10273475 HAS SOUS 762171 HAS SOUPS 761633 WITH SCORE 771907.479
AT ITER 7011 NEW BEST:: SOT 13993958 SOS 10274423 HAS SOPS 10273419 HAS SOUS 762115 HAS SOUPS 761577 WITH SCORE 771851.423
AT ITER 7026 NEW BEST:: SOT 13993958 SOS 10272461 HAS SOPS 10271445 HAS SOUS 762088 HAS SOUPS 761538 WITH SCORE 771810.461
AT ITER 7032 NEW BEST:: SOT 13993962 SOS 10272465 HAS SOPS 10271449 HAS SOUS 762086 HAS SOUPS 761536 WITH SCORE 771808.465
AT ITER 7046 NEW BEST:: SOT 13993962 SOS 10271258 HAS SOPS 10270242 HAS SOUS 762035 HAS SOUPS 761485 WITH SCORE 771756.258
AT ITER 7056 NEW BEST:: SOT 13993972 SOS 10271115 HAS SOPS 10270116 HAS SOUS 761573 HAS SOUPS 761040 WITH SCORE 771311.115
AT ITER 7059 NEW BEST:: SOT 13994004 SOS 10271147 HAS SOPS 10270148 HAS SOUS 761533 HAS SOUPS 761000 WITH SCORE 771271.147
AT ITER 7091 NEW BEST:: SOT 13994004 SOS 10271003 HAS SOPS 10270004 HAS SOUS 761533 HAS SOUPS 761000 WITH SCORE 771271.003
AT ITER 7107 NEW BEST:: SOT 13993890 SOS 10270871 HAS SOPS 10269870 HAS SOUS 761487 HAS SOUPS 760954 WITH SCORE 771224.871
AT ITER 7111 NEW BEST:: SOT 13993890 SOS 10211975 HAS SOPS 10210974 HAS SOUS 761487 HAS SOUPS 760954 WITH SCORE 771165.975
AT ITER 7120 NEW BEST:: SOT 13996797 SOS 10214881 HAS SOPS 10213880 HAS SOUS 761032 HAS SOUPS 760499 WITH SCORE 770713.881
AT ITER 7134 NEW BEST:: SOT 13995937 SOS 10214021 HAS SOPS 10213020 HAS SOUS 760486 HAS SOUPS 759953 WITH SCORE 770167.021
AT ITER 7136 NEW BEST:: SOT 13996764 SOS 10205572 HAS SOPS 10204571 HAS SOUS 759831 HAS SOUPS 759298 WITH SCORE 769503.572
AT ITER 7143 NEW BEST:: SOT 13996764 SOS 10204671 HAS SOPS 10203670 HAS SOUS 759789 HAS SOUPS 759256 WITH SCORE 769460.671
AT ITER 7197 NEW BEST:: SOT 13996666 SOS 10204557 HAS SOPS 10203556 HAS SOUS 759727 HAS SOUPS 759194 WITH SCORE 769398.557
AT ITER 7209 NEW BEST:: SOT 13996666 SOS 10203477 HAS SOPS 10202476 HAS SOUS 759727 HAS SOUPS 759194 WITH SCORE 769397.477
AT ITER 7234 NEW BEST:: SOT 13996323 SOS 10203134 HAS SOPS 10202133 HAS SOUS 759712 HAS SOUPS 759179 WITH SCORE 769382.134
AT ITER 7242 NEW BEST:: SOT 13991487 SOS 10198298 HAS SOPS 10197297 HAS SOUS 756034 HAS SOUPS 755501 WITH SCORE 765699.298
AT ITER 7265 NEW BEST:: SOT 13991487 SOS 10196310 HAS SOPS 10195309 HAS SOUS 756034 HAS SOUPS 755501 WITH SCORE 765697.31
AT ITER 7279 NEW BEST:: SOT 13991200 SOS 10196023 HAS SOPS 10195022 HAS SOUS 755616 HAS SOUPS 755083 WITH SCORE 765279.023
AT ITER 7281 NEW BEST:: SOT 13991200 SOS 10200223 HAS SOPS 10199222 HAS SOUS 755187 HAS SOUPS 754654 WITH SCORE 764854.223
AT ITER 7309 NEW BEST:: SOT 13991477 SOS 10200560 HAS SOPS 10199559 HAS SOUS 755159 HAS SOUPS 754626 WITH SCORE 764826.56
AT ITER 7311 NEW BEST:: SOT 13991477 SOS 10201269 HAS SOPS 10200268 HAS SOUS 755061 HAS SOUPS 754528 WITH SCORE 764729.269
AT ITER 7321 NEW BEST:: SOT 13991477 SOS 10201269 HAS SOPS 10200268 HAS SOUS 754952 HAS SOUPS 754419 WITH SCORE 764620.269
AT ITER 7324 NEW BEST:: SOT 13991477 SOS 10197525 HAS SOPS 10196524 HAS SOUS 754952 HAS SOUPS 754419 WITH SCORE 764616.525
AT ITER 7340 NEW BEST:: SOT 13993747 SOS 10199795 HAS SOPS 10198794 HAS SOUS 752962 HAS SOUPS 752429 WITH SCORE 762628.795
AT ITER 7366 NEW BEST:: SOT 13991013 SOS 10197022 HAS SOPS 10195982 HAS SOUS 751110 HAS SOUPS 750561 WITH SCORE 760758.022
AT ITER 7369 NEW BEST:: SOT 13990850 SOS 10196859 HAS SOPS 10195819 HAS SOUS 749112 HAS SOUPS 748563 WITH SCORE 758759.859
AT ITER 7371 NEW BEST:: SOT 13991314 SOS 10197323 HAS SOPS 10196283 HAS SOUS 748522 HAS SOUPS 747973 WITH SCORE 758170.323
AT ITER 7386 NEW BEST:: SOT 13990957 SOS 10196966 HAS SOPS 10195926 HAS SOUS 747516 HAS SOUPS 746967 WITH SCORE 757163.966
AT ITER 7395 NEW BEST:: SOT 13990933 SOS 10196945 HAS SOPS 10195905 HAS SOUS 747417 HAS SOUPS 746868 WITH SCORE 757064.945
AT ITER 7396 NEW BEST:: SOT 13990933 SOS 10196590 HAS SOPS 10195550 HAS SOUS 747412 HAS SOUPS 746863 WITH SCORE 757059.59
AT ITER 7476 NEW BEST:: SOT 13991320 SOS 10210795 HAS SOPS 10210432 HAS SOUS 742113 HAS SOUPS 741948 WITH SCORE 752158.795
AT ITER 7494 NEW BEST:: SOT 13991376 SOS 10214567 HAS SOPS 10214204 HAS SOUS 742109 HAS SOUPS 741944 WITH SCORE 752158.567
AT ITER 7506 NEW BEST:: SOT 13991376 SOS 10220423 HAS SOPS 10220060 HAS SOUS 741983 HAS SOUPS 741818 WITH SCORE 752038.423
AT ITER 7516 NEW BEST:: SOT 13991376 SOS 10220351 HAS SOPS 10219988 HAS SOUS 741983 HAS SOUPS 741818 WITH SCORE 752038.351
AT ITER 7529 NEW BEST:: SOT 13991286 SOS 10220261 HAS SOPS 10219898 HAS SOUS 741785 HAS SOUPS 741620 WITH SCORE 751840.261
AT ITER 7531 NEW BEST:: SOT 13991286 SOS 10217180 HAS SOPS 10216817 HAS SOUS 741785 HAS SOUPS 741620 WITH SCORE 751837.18
AT ITER 7541 NEW BEST:: SOT 13991286 SOS 10217125 HAS SOPS 10216762 HAS SOUS 741780 HAS SOUPS 741615 WITH SCORE 751832.125
AT ITER 7547 NEW BEST:: SOT 13991286 SOS 10212292 HAS SOPS 10211929 HAS SOUS 741462 HAS SOUPS 741297 WITH SCORE 751509.292
AT ITER 7549 NEW BEST:: SOT 13991286 SOS 10209187 HAS SOPS 10208824 HAS SOUS 741429 HAS SOUPS 741264 WITH SCORE 751473.187
AT ITER 7575 NEW BEST:: SOT 13991211 SOS 10209112 HAS SOPS 10208749 HAS SOUS 741369 HAS SOUPS 741204 WITH SCORE 751413.112
AT ITER 7576 NEW BEST:: SOT 13990137 SOS 10208038 HAS SOPS 10207675 HAS SOUS 740671 HAS SOUPS 740506 WITH SCORE 750714.038
AT ITER 7586 NEW BEST:: SOT 13990099 SOS 10208000 HAS SOPS 10207637 HAS SOUS 740633 HAS SOUPS 740468 WITH SCORE 750676.0
AT ITER 7588 NEW BEST:: SOT 13990099 SOS 10208000 HAS SOPS 10207637 HAS SOUS 740569 HAS SOUPS 740404 WITH SCORE 750612.0
AT ITER 7611 NEW BEST:: SOT 13990099 SOS 10204594 HAS SOPS 10204231 HAS SOUS 740352 HAS SOUPS 740187 WITH SCORE 750391.594
AT ITER 7616 NEW BEST:: SOT 13992517 SOS 10207012 HAS SOPS 10206649 HAS SOUS 738669 HAS SOUPS 738504 WITH SCORE 748711.012
AT ITER 7617 NEW BEST:: SOT 13992513 SOS 10207008 HAS SOPS 10206645 HAS SOUS 738667 HAS SOUPS 738502 WITH SCORE 748709.008
AT ITER 7619 NEW BEST:: SOT 13992551 SOS 10207046 HAS SOPS 10206683 HAS SOUS 738597 HAS SOUPS 738432 WITH SCORE 748639.046
AT ITER 7631 NEW BEST:: SOT 13990640 SOS 10205135 HAS SOPS 10204772 HAS SOUS 737355 HAS SOUPS 737190 WITH SCORE 747395.135
AT ITER 7632 NEW BEST:: SOT 13988995 SOS 10203490 HAS SOPS 10203127 HAS SOUS 736368 HAS SOUPS 736203 WITH SCORE 746406.49
AT ITER 7675 NEW BEST:: SOT 13988995 SOS 10201546 HAS SOPS 10201183 HAS SOUS 736368 HAS SOUPS 736203 WITH SCORE 746404.546
AT ITER 7678 NEW BEST:: SOT 13988099 SOS 10212209 HAS SOPS 10211846 HAS SOUS 734903 HAS SOUPS 734738 WITH SCORE 744950.209
AT ITER 7681 NEW BEST:: SOT 13988099 SOS 10207548 HAS SOPS 10207185 HAS SOUS 734829 HAS SOUPS 734664 WITH SCORE 744871.548
AT ITER 7706 NEW BEST:: SOT 13988099 SOS 10025360 HAS SOPS 10024997 HAS SOUS 734897 HAS SOUPS 734732 WITH SCORE 744757.36
AT ITER 7733 NEW BEST:: SOT 13988089 SOS 10025350 HAS SOPS 10024987 HAS SOUS 734877 HAS SOUPS 734712 WITH SCORE 744737.35
AT ITER 7784 NEW BEST:: SOT 13987838 SOS 10025099 HAS SOPS 10024736 HAS SOUS 734752 HAS SOUPS 734587 WITH SCORE 744612.099
AT ITER 7789 NEW BEST:: SOT 13987838 SOS 10023867 HAS SOPS 10023504 HAS SOUS 734688 HAS SOUPS 734523 WITH SCORE 744546.867
AT ITER 7797 NEW BEST:: SOT 13984194 SOS 10020223 HAS SOPS 10019860 HAS SOUS 732861 HAS SOUPS 732696 WITH SCORE 742716.223
AT ITER 7810 NEW BEST:: SOT 13984392 SOS 10020421 HAS SOPS 10020058 HAS SOUS 731376 HAS SOUPS 731211 WITH SCORE 741231.421
AT ITER 7815 NEW BEST:: SOT 13984392 SOS 10020404 HAS SOPS 10020041 HAS SOUS 731373 HAS SOUPS 731208 WITH SCORE 741228.404
AT ITER 7870 NEW BEST:: SOT 13985063 SOS 10021103 HAS SOPS 10020740 HAS SOUS 730648 HAS SOUPS 730483 WITH SCORE 740504.103
AT ITER 7873 NEW BEST:: SOT 13985063 SOS 10019735 HAS SOPS 10019372 HAS SOUS 730648 HAS SOUPS 730483 WITH SCORE 740502.735
AT ITER 7892 NEW BEST:: SOT 13983519 SOS 10017907 HAS SOPS 10017544 HAS SOUS 728497 HAS SOUPS 728332 WITH SCORE 738349.907
AT ITER 7896 NEW BEST:: SOT 13983518 SOS 10017906 HAS SOPS 10017543 HAS SOUS 728496 HAS SOUPS 728331 WITH SCORE 738348.906
AT ITER 7944 NEW BEST:: SOT 13981227 SOS 10015615 HAS SOPS 10015252 HAS SOUS 727291 HAS SOUPS 727126 WITH SCORE 737141.615
AT ITER 7953 NEW BEST:: SOT 13981535 SOS 10015923 HAS SOPS 10015560 HAS SOUS 726254 HAS SOUPS 726089 WITH SCORE 736104.923
AT ITER 7961 NEW BEST:: SOT 13981535 SOS 10015781 HAS SOPS 10015418 HAS SOUS 726250 HAS SOUPS 726085 WITH SCORE 736100.781
AT ITER 7981 NEW BEST:: SOT 13981495 SOS 10015741 HAS SOPS 10015378 HAS SOUS 726220 HAS SOUPS 726055 WITH SCORE 736070.741
AT ITER 7987 NEW BEST:: SOT 13981495 SOS 10013765 HAS SOPS 10013402 HAS SOUS 726207 HAS SOUPS 726042 WITH SCORE 736055.765
AT ITER 7988 NEW BEST:: SOT 13984599 SOS 10016935 HAS SOPS 10016572 HAS SOUS 725716 HAS SOUPS 725551 WITH SCORE 735567.935
AT ITER 7991 NEW BEST:: SOT 13983502 SOS 10015838 HAS SOPS 10015475 HAS SOUS 723482 HAS SOUPS 723317 WITH SCORE 733332.838
AT ITER 8031 NEW BEST:: SOT 13980837 SOS 10013173 HAS SOPS 10012810 HAS SOUS 721347 HAS SOUPS 721182 WITH SCORE 731195.173
AT ITER 8032 NEW BEST:: SOT 13981307 SOS 10013643 HAS SOPS 10013280 HAS SOUS 721202 HAS SOUPS 721037 WITH SCORE 731050.643
AT ITER 8054 NEW BEST:: SOT 13981307 SOS 10011768 HAS SOPS 10011405 HAS SOUS 721011 HAS SOUPS 720846 WITH SCORE 730857.768
AT ITER 8060 NEW BEST:: SOT 13986284 SOS 10016745 HAS SOPS 10016382 HAS SOUS 720806 HAS SOUPS 720641 WITH SCORE 730657.745
AT ITER 8107 NEW BEST:: SOT 13986195 SOS 10019701 HAS SOPS 10019338 HAS SOUS 720722 HAS SOUPS 720557 WITH SCORE 730576.701
AT ITER 8121 NEW BEST:: SOT 13984846 SOS 10018352 HAS SOPS 10017989 HAS SOUS 719739 HAS SOUPS 719574 WITH SCORE 729592.352
AT ITER 8154 NEW BEST:: SOT 13984843 SOS 10018349 HAS SOPS 10017986 HAS SOUS 719727 HAS SOUPS 719562 WITH SCORE 729580.349
AT ITER 8200 NEW BEST:: SOT 13983771 SOS 10017253 HAS SOPS 10016890 HAS SOUS 718829 HAS SOUPS 718664 WITH SCORE 728681.253
AT ITER 8202 NEW BEST:: SOT 13983594 SOS 10017076 HAS SOPS 10016713 HAS SOUS 718376 HAS SOUPS 718211 WITH SCORE 728228.076
AT ITER 8205 NEW BEST:: SOT 13977884 SOS 10011366 HAS SOPS 10011003 HAS SOUS 717397 HAS SOUPS 717232 WITH SCORE 727243.366
AT ITER 8207 NEW BEST:: SOT 13977852 SOS 10011334 HAS SOPS 10010971 HAS SOUS 717341 HAS SOUPS 717176 WITH SCORE 727187.334
AT ITER 8211 NEW BEST:: SOT 13977852 SOS 10011334 HAS SOPS 10010971 HAS SOUS 717335 HAS SOUPS 717170 WITH SCORE 727181.334
AT ITER 8242 NEW BEST:: SOT 13976557 SOS 10010039 HAS SOPS 10009676 HAS SOUS 717083 HAS SOUPS 716918 WITH SCORE 726928.039
AT ITER 8255 NEW BEST:: SOT 13976594 SOS 10010076 HAS SOPS 10009713 HAS SOUS 717027 HAS SOUPS 716862 WITH SCORE 726872.076
AT ITER 8259 NEW BEST:: SOT 13976409 SOS 10009891 HAS SOPS 10009528 HAS SOUS 716602 HAS SOUPS 716437 WITH SCORE 726446.891
AT ITER 8287 NEW BEST:: SOT 13973801 SOS 10007283 HAS SOPS 10006920 HAS SOUS 714513 HAS SOUPS 714348 WITH SCORE 724355.283
AT ITER 8316 NEW BEST:: SOT 13973801 SOS 10013893 HAS SOPS 10013530 HAS SOUS 714132 HAS SOUPS 713967 WITH SCORE 723980.893
AT ITER 8356 NEW BEST:: SOT 13973788 SOS 10013880 HAS SOPS 10013517 HAS SOUS 714127 HAS SOUPS 713962 WITH SCORE 723975.88
AT ITER 8368 NEW BEST:: SOT 13975125 SOS 10015217 HAS SOPS 10014854 HAS SOUS 713432 HAS SOUPS 713267 WITH SCORE 723282.217
AT ITER 8371 NEW BEST:: SOT 13975077 SOS 10015169 HAS SOPS 10014806 HAS SOUS 713384 HAS SOUPS 713219 WITH SCORE 723234.169
AT ITER 8385 NEW BEST:: SOT 13975077 SOS 10015169 HAS SOPS 10014806 HAS SOUS 713376 HAS SOUPS 713211 WITH SCORE 723226.169
AT ITER 8394 NEW BEST:: SOT 13975038 SOS 10013864 HAS SOPS 10013501 HAS SOUS 713376 HAS SOUPS 713211 WITH SCORE 723224.864
AT ITER 8407 NEW BEST:: SOT 13974822 SOS 10013648 HAS SOPS 10013285 HAS SOUS 713105 HAS SOUPS 712940 WITH SCORE 722953.648
AT ITER 8415 NEW BEST:: SOT 13975046 SOS 10013872 HAS SOPS 10013509 HAS SOUS 712520 HAS SOUPS 712355 WITH SCORE 722368.872
AT ITER 8420 NEW BEST:: SOT 13975544 SOS 10010536 HAS SOPS 10010173 HAS SOUS 712375 HAS SOUPS 712210 WITH SCORE 722220.536
AT ITER 8436 NEW BEST:: SOT 13975039 SOS 10010031 HAS SOPS 10009668 HAS SOUS 711965 HAS SOUPS 711800 WITH SCORE 721810.031
AT ITER 8518 NEW BEST:: SOT 13974087 SOS 10014219 HAS SOPS 10013856 HAS SOUS 711422 HAS SOUPS 711257 WITH SCORE 721271.219
AT ITER 8555 NEW BEST:: SOT 13969090 SOS 10009222 HAS SOPS 10008859 HAS SOUS 709053 HAS SOUPS 708888 WITH SCORE 718897.222
AT ITER 8573 NEW BEST:: SOT 13969090 SOS 10008070 HAS SOPS 10007707 HAS SOUS 709053 HAS SOUPS 708888 WITH SCORE 718896.07
AT ITER 8577 NEW BEST:: SOT 13969154 SOS 10008134 HAS SOPS 10007771 HAS SOUS 708751 HAS SOUPS 708586 WITH SCORE 718594.134
AT ITER 8596 NEW BEST:: SOT 13967314 SOS 10006294 HAS SOPS 10005931 HAS SOUS 706969 HAS SOUPS 706804 WITH SCORE 716810.294
AT ITER 8612 NEW BEST:: SOT 13967309 SOS 10006289 HAS SOPS 10005926 HAS SOUS 706964 HAS SOUPS 706799 WITH SCORE 716805.289
AT ITER 8618 NEW BEST:: SOT 13967398 SOS 10004532 HAS SOPS 10004169 HAS SOUS 703925 HAS SOUPS 703760 WITH SCORE 713764.532
AT ITER 8628 NEW BEST:: SOT 13967854 SOS 10004849 HAS SOPS 10004486 HAS SOUS 703462 HAS SOUPS 703297 WITH SCORE 713301.849
AT ITER 8635 NEW BEST:: SOT 13965101 SOS 10002096 HAS SOPS 10001733 HAS SOUS 702885 HAS SOUPS 702720 WITH SCORE 712722.096
AT ITER 8651 NEW BEST:: SOT 13965153 SOS 10002148 HAS SOPS 10001785 HAS SOUS 702576 HAS SOUPS 702411 WITH SCORE 712413.148
AT ITER 8656 NEW BEST:: SOT 13965153 SOS 9937951 HAS SOPS 9937588 HAS SOUS 702561 HAS SOUPS 702396 WITH SCORE 712333.951
AT ITER 8684 NEW BEST:: SOT 13965153 SOS 9935981 HAS SOPS 9935618 HAS SOUS 702533 HAS SOUPS 702368 WITH SCORE 712303.981
AT ITER 8693 NEW BEST:: SOT 13965161 SOS 9935989 HAS SOPS 9935626 HAS SOUS 701169 HAS SOUPS 701004 WITH SCORE 710939.989
AT ITER 8706 NEW BEST:: SOT 13964705 SOS 9935533 HAS SOPS 9935170 HAS SOUS 700272 HAS SOUPS 700107 WITH SCORE 710042.533
AT ITER 8718 NEW BEST:: SOT 13964723 SOS 9933795 HAS SOPS 9933444 HAS SOUS 699838 HAS SOUPS 699685 WITH SCORE 709618.795
AT ITER 8724 NEW BEST:: SOT 13964693 SOS 9933765 HAS SOPS 9933414 HAS SOUS 699808 HAS SOUPS 699655 WITH SCORE 709588.765
AT ITER 8753 NEW BEST:: SOT 13964571 SOS 9933643 HAS SOPS 9933292 HAS SOUS 699541 HAS SOUPS 699388 WITH SCORE 709321.643
AT ITER 8761 NEW BEST:: SOT 13964010 SOS 9933081 HAS SOPS 9932729 HAS SOUS 698993 HAS SOUPS 698839 WITH SCORE 708772.081
AT ITER 8793 NEW BEST:: SOT 13964010 SOS 9928667 HAS SOPS 9928315 HAS SOUS 698657 HAS SOUPS 698503 WITH SCORE 708431.667
AT ITER 8794 NEW BEST:: SOT 13963931 SOS 9928588 HAS SOPS 9928236 HAS SOUS 698578 HAS SOUPS 698424 WITH SCORE 708352.588
AT ITER 8799 NEW BEST:: SOT 13963931 SOS 9925276 HAS SOPS 9924924 HAS SOUS 698578 HAS SOUPS 698424 WITH SCORE 708349.276
AT ITER 8822 NEW BEST:: SOT 13964215 SOS 9925560 HAS SOPS 9925208 HAS SOUS 698546 HAS SOUPS 698392 WITH SCORE 708317.56
AT ITER 8843 NEW BEST:: SOT 13964215 SOS 9925465 HAS SOPS 9925113 HAS SOUS 698546 HAS SOUPS 698392 WITH SCORE 708317.465
AT ITER 8855 NEW BEST:: SOT 13964215 SOS 9922803 HAS SOPS 9922451 HAS SOUS 698544 HAS SOUPS 698390 WITH SCORE 708312.803
AT ITER 8867 NEW BEST:: SOT 13964212 SOS 9922800 HAS SOPS 9922448 HAS SOUS 698533 HAS SOUPS 698379 WITH SCORE 708301.8
AT ITER 8902 NEW BEST:: SOT 13964212 SOS 9925176 HAS SOPS 9924824 HAS SOUS 698500 HAS SOUPS 698346 WITH SCORE 708271.176
AT ITER 8920 NEW BEST:: SOT 13964212 SOS 9921000 HAS SOPS 9920648 HAS SOUS 698500 HAS SOUPS 698346 WITH SCORE 708267.0
AT ITER 8951 NEW BEST:: SOT 13964212 SOS 9920712 HAS SOPS 9920360 HAS SOUS 698500 HAS SOUPS 698346 WITH SCORE 708266.712
AT ITER 8952 NEW BEST:: SOT 13964125 SOS 9920625 HAS SOPS 9920273 HAS SOUS 696749 HAS SOUPS 696595 WITH SCORE 706515.625
AT ITER 8964 NEW BEST:: SOT 13964003 SOS 9920503 HAS SOPS 9920151 HAS SOUS 696501 HAS SOUPS 696347 WITH SCORE 706267.503
AT ITER 8971 NEW BEST:: SOT 13963995 SOS 9920495 HAS SOPS 9920143 HAS SOUS 696493 HAS SOUPS 696339 WITH SCORE 706259.495
AT ITER 8976 NEW BEST:: SOT 13963995 SOS 9920351 HAS SOPS 9919999 HAS SOUS 696493 HAS SOUPS 696339 WITH SCORE 706259.351
AT ITER 8987 NEW BEST:: SOT 13963992 SOS 9920348 HAS SOPS 9919996 HAS SOUS 696490 HAS SOUPS 696336 WITH SCORE 706256.348
AT ITER 9011 NEW BEST:: SOT 13963992 SOS 9920432 HAS SOPS 9920080 HAS SOUS 696406 HAS SOUPS 696252 WITH SCORE 706172.432
AT ITER 9014 NEW BEST:: SOT 13964022 SOS 9920462 HAS SOPS 9920110 HAS SOUS 696393 HAS SOUPS 696239 WITH SCORE 706159.462
AT ITER 9021 NEW BEST:: SOT 13963962 SOS 9922035 HAS SOPS 9921660 HAS SOUS 696379 HAS SOUPS 696202 WITH SCORE 706124.035
AT ITER 9068 NEW BEST:: SOT 13963962 SOS 9921243 HAS SOPS 9920868 HAS SOUS 696379 HAS SOUPS 696202 WITH SCORE 706123.243
AT ITER 9083 NEW BEST:: SOT 13963962 SOS 9916468 HAS SOPS 9916093 HAS SOUS 696341 HAS SOUPS 696164 WITH SCORE 706080.468
AT ITER 9097 NEW BEST:: SOT 13963024 SOS 9915530 HAS SOPS 9915155 HAS SOUS 695841 HAS SOUPS 695664 WITH SCORE 705579.53
AT ITER 9104 NEW BEST:: SOT 13963024 SOS 9916633 HAS SOPS 9916258 HAS SOUS 695825 HAS SOUPS 695648 WITH SCORE 705564.633
AT ITER 9108 NEW BEST:: SOT 13963024 SOS 9914473 HAS SOPS 9914098 HAS SOUS 695825 HAS SOUPS 695648 WITH SCORE 705562.473
AT ITER 9134 NEW BEST:: SOT 13963024 SOS 9909505 HAS SOPS 9909130 HAS SOUS 695825 HAS SOUPS 695648 WITH SCORE 705557.505
AT ITER 9165 NEW BEST:: SOT 13959357 SOS 9905838 HAS SOPS 9905463 HAS SOUS 693918 HAS SOUPS 693741 WITH SCORE 703646.838
AT ITER 9166 NEW BEST:: SOT 13958620 SOS 9905311 HAS SOPS 9904936 HAS SOUS 693177 HAS SOUPS 693000 WITH SCORE 702905.311
AT ITER 9193 NEW BEST:: SOT 13958634 SOS 9903659 HAS SOPS 9903298 HAS SOUS 692813 HAS SOUPS 692650 WITH SCORE 702553.659
AT ITER 9202 NEW BEST:: SOT 13958634 SOS 9906107 HAS SOPS 9905746 HAS SOUS 692779 HAS SOUPS 692616 WITH SCORE 702522.107
AT ITER 9219 NEW BEST:: SOT 13958634 SOS 9903371 HAS SOPS 9903010 HAS SOUS 692779 HAS SOUPS 692616 WITH SCORE 702519.371
AT ITER 9222 NEW BEST:: SOT 13958623 SOS 9903360 HAS SOPS 9902999 HAS SOUS 692768 HAS SOUPS 692605 WITH SCORE 702508.36
AT ITER 9247 NEW BEST:: SOT 13953788 SOS 9898525 HAS SOPS 9898164 HAS SOUS 687776 HAS SOUPS 687613 WITH SCORE 697511.525
AT ITER 9281 NEW BEST:: SOT 13953788 SOS 9897167 HAS SOPS 9896806 HAS SOUS 687763 HAS SOUPS 687600 WITH SCORE 697497.167
AT ITER 9291 NEW BEST:: SOT 13953831 SOS 9897210 HAS SOPS 9896849 HAS SOUS 687716 HAS SOUPS 687553 WITH SCORE 697450.21
AT ITER 9292 NEW BEST:: SOT 13953831 SOS 9893898 HAS SOPS 9893537 HAS SOUS 687716 HAS SOUPS 687553 WITH SCORE 697446.898
AT ITER 9297 NEW BEST:: SOT 13954279 SOS 9894346 HAS SOPS 9893985 HAS SOUS 686596 HAS SOUPS 686433 WITH SCORE 696327.346
AT ITER 9305 NEW BEST:: SOT 13955217 SOS 9895284 HAS SOPS 9894923 HAS SOUS 686267 HAS SOUPS 686104 WITH SCORE 695999.284
AT ITER 9339 NEW BEST:: SOT 13955211 SOS 9895272 HAS SOPS 9894911 HAS SOUS 686258 HAS SOUPS 686095 WITH SCORE 695990.272
AT ITER 9368 NEW BEST:: SOT 13955211 SOS 9895272 HAS SOPS 9894911 HAS SOUS 686256 HAS SOUPS 686093 WITH SCORE 695988.272
AT ITER 9398 NEW BEST:: SOT 13955211 SOS 9895200 HAS SOPS 9894839 HAS SOUS 686256 HAS SOUPS 686093 WITH SCORE 695988.2
AT ITER 9478 NEW BEST:: SOT 13955012 SOS 9895001 HAS SOPS 9894640 HAS SOUS 686160 HAS SOUPS 685997 WITH SCORE 695892.001
AT ITER 9508 NEW BEST:: SOT 13955178 SOS 9895192 HAS SOPS 9894831 HAS SOUS 684759 HAS SOUPS 684596 WITH SCORE 694491.192
AT ITER 9530 NEW BEST:: SOT 13955178 SOS 9894256 HAS SOPS 9893895 HAS SOUS 684746 HAS SOUPS 684583 WITH SCORE 694477.256
AT ITER 9540 NEW BEST:: SOT 13957230 SOS 9896308 HAS SOPS 9895947 HAS SOUS 684547 HAS SOUPS 684384 WITH SCORE 694280.308
AT ITER 9545 NEW BEST:: SOT 13957230 SOS 9895772 HAS SOPS 9895411 HAS SOUS 684547 HAS SOUPS 684384 WITH SCORE 694279.772
AT ITER 9552 NEW BEST:: SOT 13957213 SOS 9895755 HAS SOPS 9895394 HAS SOUS 684513 HAS SOUPS 684350 WITH SCORE 694245.755
AT ITER 9577 NEW BEST:: SOT 13957191 SOS 9895733 HAS SOPS 9895372 HAS SOUS 684491 HAS SOUPS 684328 WITH SCORE 694223.733
AT ITER 9591 NEW BEST:: SOT 13962991 SOS 9901699 HAS SOPS 9901338 HAS SOUS 684470 HAS SOUPS 684307 WITH SCORE 694208.699
AT ITER 9595 NEW BEST:: SOT 13963004 SOS 9901712 HAS SOPS 9901351 HAS SOUS 684412 HAS SOUPS 684249 WITH SCORE 694150.712
AT ITER 9648 NEW BEST:: SOT 13963004 SOS 9877030 HAS SOPS 9876669 HAS SOUS 684412 HAS SOUPS 684249 WITH SCORE 694126.03
AT ITER 9656 NEW BEST:: SOT 13963004 SOS 9869707 HAS SOPS 9869346 HAS SOUS 684346 HAS SOUPS 684183 WITH SCORE 694052.707
AT ITER 9667 NEW BEST:: SOT 13962928 SOS 9869631 HAS SOPS 9869270 HAS SOUS 684346 HAS SOUPS 684183 WITH SCORE 694052.631
AT ITER 9689 NEW BEST:: SOT 13962928 SOS 9869631 HAS SOPS 9869270 HAS SOUS 684332 HAS SOUPS 684169 WITH SCORE 694038.631
AT ITER 9694 NEW BEST:: SOT 13962103 SOS 9868806 HAS SOPS 9868445 HAS SOUS 684046 HAS SOUPS 683883 WITH SCORE 693751.806
AT ITER 9762 NEW BEST:: SOT 13958256 SOS 9866669 HAS SOPS 9866308 HAS SOUS 680438 HAS SOUPS 680275 WITH SCORE 690141.669
AT ITER 9767 NEW BEST:: SOT 13958244 SOS 9866753 HAS SOPS 9866392 HAS SOUS 680350 HAS SOUPS 680187 WITH SCORE 690053.753
AT ITER 9809 NEW BEST:: SOT 13958244 SOS 9866683 HAS SOPS 9866322 HAS SOUS 680292 HAS SOUPS 680129 WITH SCORE 689995.683
AT ITER 9818 NEW BEST:: SOT 13953502 SOS 9862522 HAS SOPS 9862161 HAS SOUS 676471 HAS SOUPS 676308 WITH SCORE 686170.522
AT ITER 9825 NEW BEST:: SOT 13953502 SOS 9861807 HAS SOPS 9861446 HAS SOUS 676427 HAS SOUPS 676264 WITH SCORE 686125.807
AT ITER 9857 NEW BEST:: SOT 13953448 SOS 9861753 HAS SOPS 9861392 HAS SOUS 676393 HAS SOUPS 676230 WITH SCORE 686091.753
AT ITER 9863 NEW BEST:: SOT 13952485 SOS 9860790 HAS SOPS 9860429 HAS SOUS 674684 HAS SOUPS 674521 WITH SCORE 684381.79
AT ITER 9870 NEW BEST:: SOT 13952485 SOS 9863260 HAS SOPS 9862899 HAS SOUS 674646 HAS SOUPS 674483 WITH SCORE 684346.26
AT ITER 9871 NEW BEST:: SOT 13951677 SOS 9862452 HAS SOPS 9862091 HAS SOUS 674200 HAS SOUPS 674037 WITH SCORE 683899.452
AT ITER 9882 NEW BEST:: SOT 13951677 SOS 9862236 HAS SOPS 9861875 HAS SOUS 674200 HAS SOUPS 674037 WITH SCORE 683899.236
AT ITER 9887 NEW BEST:: SOT 13951657 SOS 9862216 HAS SOPS 9861855 HAS SOUS 674152 HAS SOUPS 673989 WITH SCORE 683851.216
AT ITER 9888 NEW BEST:: SOT 13951655 SOS 9862214 HAS SOPS 9861853 HAS SOUS 674123 HAS SOUPS 673960 WITH SCORE 683822.214
AT ITER 9954 NEW BEST:: SOT 13951655 SOS 9861494 HAS SOPS 9861133 HAS SOUS 674123 HAS SOUPS 673960 WITH SCORE 683821.494
AT ITER 9955 NEW BEST:: SOT 13951655 SOS 9865744 HAS SOPS 9865383 HAS SOUS 674063 HAS SOUPS 673900 WITH SCORE 683765.744
AT ITER 9964 NEW BEST:: SOT 13951789 SOS 9865878 HAS SOPS 9865517 HAS SOUS 673544 HAS SOUPS 673381 WITH SCORE 683246.878
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10272188 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16076576 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BugTracking-PT-q3m002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696700328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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