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-167813696700376.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-q3m128, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696700376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.0K Feb 26 07:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 07:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 06:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 06:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 07:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 07:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 07:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 07:30 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 1678786250100

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-q3m128
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:30:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:30:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:30:53] [INFO ] Load time of PNML (sax parser for PT used): 982 ms
[2023-03-14 09:30:53] [INFO ] Transformed 754 places.
[2023-03-14 09:30:53] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:30:53] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1255 ms.
[2023-03-14 09:30:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 136 ms.
Total runtime 1428 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m128
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 2 NEW BEST:: SOT 14111288 SOS 8911032 HAS SOPS 8909187 HAS SOUS 1693160 HAS SOUPS 1691315 WITH SCORE 1700226.032
AT ITER 5 NEW BEST:: SOT 14111288 SOS 8905704 HAS SOPS 8903859 HAS SOUS 1693160 HAS SOUPS 1691315 WITH SCORE 1700220.704
AT ITER 9 NEW BEST:: SOT 14111425 SOS 8905598 HAS SOPS 8903807 HAS SOUS 1681978 HAS SOUPS 1680187 WITH SCORE 1689092.598
AT ITER 20 NEW BEST:: SOT 14102092 SOS 8897753 HAS SOPS 8895962 HAS SOUS 1670725 HAS SOUPS 1668934 WITH SCORE 1677831.753
AT ITER 25 NEW BEST:: SOT 14100537 SOS 8896603 HAS SOPS 8894812 HAS SOUS 1667970 HAS SOUPS 1666179 WITH SCORE 1675075.603
AT ITER 29 NEW BEST:: SOT 14100537 SOS 8887891 HAS SOPS 8886100 HAS SOUS 1667970 HAS SOUPS 1666179 WITH SCORE 1675066.891
AT ITER 30 NEW BEST:: SOT 14099931 SOS 8887285 HAS SOPS 8885494 HAS SOUS 1667364 HAS SOUPS 1665573 WITH SCORE 1674460.285
AT ITER 42 NEW BEST:: SOT 14100115 SOS 8889017 HAS SOPS 8887226 HAS SOUS 1660386 HAS SOUPS 1658595 WITH SCORE 1667484.017
AT ITER 47 NEW BEST:: SOT 14100238 SOS 8151847 HAS SOPS 8150056 HAS SOUS 1660333 HAS SOUPS 1658542 WITH SCORE 1666693.847
AT ITER 49 NEW BEST:: SOT 14100238 SOS 8147777 HAS SOPS 8145986 HAS SOUS 1660278 HAS SOUPS 1658487 WITH SCORE 1666634.777
AT ITER 50 NEW BEST:: SOT 14100238 SOS 8147777 HAS SOPS 8145986 HAS SOUS 1660261 HAS SOUPS 1658470 WITH SCORE 1666617.777
AT ITER 51 NEW BEST:: SOT 14100238 SOS 8142737 HAS SOPS 8140946 HAS SOUS 1660261 HAS SOUPS 1658470 WITH SCORE 1666612.737
AT ITER 55 NEW BEST:: SOT 14100235 SOS 8142501 HAS SOPS 8140759 HAS SOUS 1655424 HAS SOUPS 1653682 WITH SCORE 1661824.501
AT ITER 67 NEW BEST:: SOT 14100245 SOS 8142579 HAS SOPS 8140837 HAS SOUS 1654936 HAS SOUPS 1653194 WITH SCORE 1661336.579
AT ITER 70 NEW BEST:: SOT 14087561 SOS 8134515 HAS SOPS 8132773 HAS SOUS 1636986 HAS SOUPS 1635244 WITH SCORE 1643378.515
AT ITER 74 NEW BEST:: SOT 14087561 SOS 8134145 HAS SOPS 8132403 HAS SOUS 1636801 HAS SOUPS 1635059 WITH SCORE 1643193.145
AT ITER 77 NEW BEST:: SOT 13958015 SOS 8975654 HAS SOPS 8974767 HAS SOUS 1506378 HAS SOUPS 1505491 WITH SCORE 1514466.654
AT ITER 81 NEW BEST:: SOT 13958015 SOS 8972414 HAS SOPS 8971527 HAS SOUS 1506198 HAS SOUPS 1505311 WITH SCORE 1514283.414
AT ITER 96 NEW BEST:: SOT 13957969 SOS 8972372 HAS SOPS 8971485 HAS SOUS 1506010 HAS SOUPS 1505123 WITH SCORE 1514095.372
AT ITER 102 NEW BEST:: SOT 13957969 SOS 8972372 HAS SOPS 8971485 HAS SOUS 1506004 HAS SOUPS 1505117 WITH SCORE 1514089.372
AT ITER 142 NEW BEST:: SOT 13957969 SOS 8972372 HAS SOPS 8971485 HAS SOUS 1505996 HAS SOUPS 1505109 WITH SCORE 1514081.372
AT ITER 148 NEW BEST:: SOT 13955832 SOS 8970204 HAS SOPS 8969317 HAS SOUS 1500637 HAS SOUPS 1499750 WITH SCORE 1508720.204
AT ITER 152 NEW BEST:: SOT 13953413 SOS 8968099 HAS SOPS 8967212 HAS SOUS 1475777 HAS SOUPS 1474890 WITH SCORE 1483858.099
AT ITER 158 NEW BEST:: SOT 13953413 SOS 8975083 HAS SOPS 8974196 HAS SOUS 1475734 HAS SOUPS 1474847 WITH SCORE 1483822.083
AT ITER 160 NEW BEST:: SOT 13953413 SOS 8975083 HAS SOPS 8974196 HAS SOUS 1475733 HAS SOUPS 1474846 WITH SCORE 1483821.083
AT ITER 168 NEW BEST:: SOT 13943670 SOS 8967264 HAS SOPS 8966377 HAS SOUS 1463181 HAS SOUPS 1462294 WITH SCORE 1471261.264
AT ITER 204 NEW BEST:: SOT 13942812 SOS 8966406 HAS SOPS 8965519 HAS SOUS 1462383 HAS SOUPS 1461496 WITH SCORE 1470462.406
AT ITER 209 NEW BEST:: SOT 13942812 SOS 8960442 HAS SOPS 8959555 HAS SOUS 1462312 HAS SOUPS 1461425 WITH SCORE 1470385.442
AT ITER 213 NEW BEST:: SOT 13942812 SOS 8955402 HAS SOPS 8954515 HAS SOUS 1462242 HAS SOUPS 1461355 WITH SCORE 1470310.402
AT ITER 224 NEW BEST:: SOT 13942812 SOS 8952871 HAS SOPS 8951984 HAS SOUS 1462087 HAS SOUPS 1461200 WITH SCORE 1470152.871
AT ITER 238 NEW BEST:: SOT 13942812 SOS 8950855 HAS SOPS 8949968 HAS SOUS 1462087 HAS SOUPS 1461200 WITH SCORE 1470150.855
AT ITER 239 NEW BEST:: SOT 13941021 SOS 8949046 HAS SOPS 8948159 HAS SOUS 1456213 HAS SOUPS 1455326 WITH SCORE 1464275.046
AT ITER 247 NEW BEST:: SOT 13941021 SOS 8947659 HAS SOPS 8946772 HAS SOUS 1456194 HAS SOUPS 1455307 WITH SCORE 1464254.659
AT ITER 254 NEW BEST:: SOT 13941021 SOS 8947659 HAS SOPS 8946772 HAS SOUS 1456189 HAS SOUPS 1455302 WITH SCORE 1464249.659
AT ITER 256 NEW BEST:: SOT 13941021 SOS 8947659 HAS SOPS 8946772 HAS SOUS 1456122 HAS SOUPS 1455235 WITH SCORE 1464182.659
AT ITER 257 NEW BEST:: SOT 13940969 SOS 8947451 HAS SOPS 8946458 HAS SOUS 1455996 HAS SOUPS 1455003 WITH SCORE 1463950.451
AT ITER 260 NEW BEST:: SOT 13940740 SOS 8947222 HAS SOPS 8946229 HAS SOUS 1455767 HAS SOUPS 1454774 WITH SCORE 1463721.222
AT ITER 261 NEW BEST:: SOT 13940560 SOS 8946722 HAS SOPS 8945790 HAS SOUS 1450145 HAS SOUPS 1449213 WITH SCORE 1458159.722
AT ITER 264 NEW BEST:: SOT 13940560 SOS 8943266 HAS SOPS 8942334 HAS SOUS 1450145 HAS SOUPS 1449213 WITH SCORE 1458156.266
AT ITER 267 NEW BEST:: SOT 13940560 SOS 8943014 HAS SOPS 8942082 HAS SOUS 1450019 HAS SOUPS 1449087 WITH SCORE 1458030.014
AT ITER 280 NEW BEST:: SOT 13939999 SOS 8942453 HAS SOPS 8941521 HAS SOUS 1445083 HAS SOUPS 1444151 WITH SCORE 1453093.453
AT ITER 292 NEW BEST:: SOT 13939999 SOS 8940005 HAS SOPS 8939073 HAS SOUS 1445083 HAS SOUPS 1444151 WITH SCORE 1453091.005
AT ITER 316 NEW BEST:: SOT 13938008 SOS 8938014 HAS SOPS 8937082 HAS SOUS 1436603 HAS SOUPS 1435671 WITH SCORE 1444609.014
AT ITER 318 NEW BEST:: SOT 13935150 SOS 8939226 HAS SOPS 8938294 HAS SOUS 1433835 HAS SOUPS 1432903 WITH SCORE 1441842.226
AT ITER 321 NEW BEST:: SOT 13935150 SOS 8935770 HAS SOPS 8934838 HAS SOUS 1433835 HAS SOUPS 1432903 WITH SCORE 1441838.77
AT ITER 322 NEW BEST:: SOT 13931103 SOS 8938747 HAS SOPS 8937815 HAS SOUS 1429372 HAS SOUPS 1428440 WITH SCORE 1437378.747
AT ITER 323 NEW BEST:: SOT 13931103 SOS 8936803 HAS SOPS 8935871 HAS SOUS 1429372 HAS SOUPS 1428440 WITH SCORE 1437376.803
AT ITER 324 NEW BEST:: SOT 13931103 SOS 8936770 HAS SOPS 8935838 HAS SOUS 1429372 HAS SOUPS 1428440 WITH SCORE 1437376.77
AT ITER 326 NEW BEST:: SOT 13931051 SOS 8936473 HAS SOPS 8934979 HAS SOUS 1429252 HAS SOUPS 1427758 WITH SCORE 1436694.473
AT ITER 339 NEW BEST:: SOT 13931051 SOS 8933673 HAS SOPS 8932179 HAS SOUS 1429224 HAS SOUPS 1427730 WITH SCORE 1436663.673
AT ITER 340 NEW BEST:: SOT 13931051 SOS 8931945 HAS SOPS 8930451 HAS SOUS 1429224 HAS SOUPS 1427730 WITH SCORE 1436661.945
AT ITER 349 NEW BEST:: SOT 13930598 SOS 8931407 HAS SOPS 8929913 HAS SOUS 1420382 HAS SOUPS 1418888 WITH SCORE 1427819.407
AT ITER 365 NEW BEST:: SOT 13927926 SOS 8928446 HAS SOPS 8927029 HAS SOUS 1410307 HAS SOUPS 1408890 WITH SCORE 1417818.446
AT ITER 383 NEW BEST:: SOT 13927008 SOS 8927465 HAS SOPS 8926048 HAS SOUS 1403841 HAS SOUPS 1402424 WITH SCORE 1411351.465
AT ITER 388 NEW BEST:: SOT 13926851 SOS 8915847 HAS SOPS 8914430 HAS SOUS 1403527 HAS SOUPS 1402110 WITH SCORE 1411025.847
AT ITER 405 NEW BEST:: SOT 13926851 SOS 8915847 HAS SOPS 8914430 HAS SOUS 1403522 HAS SOUPS 1402105 WITH SCORE 1411020.847
AT ITER 407 NEW BEST:: SOT 13926851 SOS 8911095 HAS SOPS 8909678 HAS SOUS 1403458 HAS SOUPS 1402041 WITH SCORE 1410952.095
AT ITER 410 NEW BEST:: SOT 13926269 SOS 8910513 HAS SOPS 8909096 HAS SOUS 1402278 HAS SOUPS 1400861 WITH SCORE 1409771.513
AT ITER 414 NEW BEST:: SOT 13926269 SOS 8910513 HAS SOPS 8909096 HAS SOUS 1402150 HAS SOUPS 1400733 WITH SCORE 1409643.513
AT ITER 415 NEW BEST:: SOT 13927989 SOS 8912233 HAS SOPS 8910816 HAS SOUS 1400229 HAS SOUPS 1398812 WITH SCORE 1407724.233
AT ITER 418 NEW BEST:: SOT 13926060 SOS 8910304 HAS SOPS 8908887 HAS SOUS 1399278 HAS SOUPS 1397861 WITH SCORE 1406771.304
AT ITER 421 NEW BEST:: SOT 13926060 SOS 8905768 HAS SOPS 8904351 HAS SOUS 1399278 HAS SOUPS 1397861 WITH SCORE 1406766.768
AT ITER 427 NEW BEST:: SOT 13919165 SOS 8900593 HAS SOPS 8899176 HAS SOUS 1392049 HAS SOUPS 1390632 WITH SCORE 1399532.593
AT ITER 428 NEW BEST:: SOT 13920201 SOS 8901629 HAS SOPS 8900212 HAS SOUS 1391628 HAS SOUPS 1390211 WITH SCORE 1399112.629
AT ITER 446 NEW BEST:: SOT 13946205 SOS 8929577 HAS SOPS 8928160 HAS SOUS 1381740 HAS SOUPS 1380323 WITH SCORE 1389252.577
AT ITER 468 NEW BEST:: SOT 13946205 SOS 8929357 HAS SOPS 8927940 HAS SOUS 1381630 HAS SOUPS 1380213 WITH SCORE 1389142.357
AT ITER 498 NEW BEST:: SOT 13940432 SOS 8931400 HAS SOPS 8929983 HAS SOUS 1375778 HAS SOUPS 1374361 WITH SCORE 1383292.4
AT ITER 502 NEW BEST:: SOT 13940432 SOS 8929381 HAS SOPS 8927964 HAS SOUS 1375631 HAS SOUPS 1374214 WITH SCORE 1383143.381
AT ITER 508 NEW BEST:: SOT 13942177 SOS 8931126 HAS SOPS 8929709 HAS SOUS 1375064 HAS SOUPS 1373647 WITH SCORE 1382578.126
AT ITER 510 NEW BEST:: SOT 13941983 SOS 8930932 HAS SOPS 8929515 HAS SOUS 1375031 HAS SOUPS 1373614 WITH SCORE 1382544.932
AT ITER 513 NEW BEST:: SOT 13941983 SOS 8930932 HAS SOPS 8929515 HAS SOUS 1374877 HAS SOUPS 1373460 WITH SCORE 1382390.932
AT ITER 514 NEW BEST:: SOT 13942555 SOS 8931504 HAS SOPS 8930087 HAS SOUS 1372148 HAS SOUPS 1370731 WITH SCORE 1379662.504
AT ITER 515 NEW BEST:: SOT 13942304 SOS 8931216 HAS SOPS 8929799 HAS SOUS 1371754 HAS SOUPS 1370337 WITH SCORE 1379268.216
AT ITER 522 NEW BEST:: SOT 13942304 SOS 8560182 HAS SOPS 8558765 HAS SOUS 1371659 HAS SOUPS 1370242 WITH SCORE 1378802.182
AT ITER 535 NEW BEST:: SOT 13949475 SOS 8567578 HAS SOPS 8566161 HAS SOUS 1352439 HAS SOUPS 1351022 WITH SCORE 1359589.578
AT ITER 548 NEW BEST:: SOT 13951072 SOS 8569175 HAS SOPS 8567758 HAS SOUS 1352044 HAS SOUPS 1350627 WITH SCORE 1359196.175
AT ITER 557 NEW BEST:: SOT 13951072 SOS 8567519 HAS SOPS 8566102 HAS SOUS 1352044 HAS SOUPS 1350627 WITH SCORE 1359194.519
AT ITER 558 NEW BEST:: SOT 13951417 SOS 8567826 HAS SOPS 8566409 HAS SOUS 1350288 HAS SOUPS 1348871 WITH SCORE 1357438.826
AT ITER 564 NEW BEST:: SOT 13950174 SOS 8566583 HAS SOPS 8565166 HAS SOUS 1347957 HAS SOUPS 1346540 WITH SCORE 1355106.583
AT ITER 569 NEW BEST:: SOT 13950174 SOS 8570543 HAS SOPS 8569126 HAS SOUS 1347904 HAS SOUPS 1346487 WITH SCORE 1355057.543
AT ITER 576 NEW BEST:: SOT 13950174 SOS 8570521 HAS SOPS 8569104 HAS SOUS 1347904 HAS SOUPS 1346487 WITH SCORE 1355057.521
AT ITER 587 NEW BEST:: SOT 13949403 SOS 8569750 HAS SOPS 8568333 HAS SOUS 1345834 HAS SOUPS 1344417 WITH SCORE 1352986.75
AT ITER 617 NEW BEST:: SOT 13939059 SOS 8560726 HAS SOPS 8559309 HAS SOUS 1331447 HAS SOUPS 1330030 WITH SCORE 1338590.726
AT ITER 622 NEW BEST:: SOT 13939059 SOS 8559940 HAS SOPS 8558523 HAS SOUS 1331381 HAS SOUPS 1329964 WITH SCORE 1338523.94
AT ITER 631 NEW BEST:: SOT 13939059 SOS 8560156 HAS SOPS 8558739 HAS SOUS 1331248 HAS SOUPS 1329831 WITH SCORE 1338391.156
AT ITER 638 NEW BEST:: SOT 13939910 SOS 8561007 HAS SOPS 8559590 HAS SOUS 1330658 HAS SOUPS 1329241 WITH SCORE 1337802.007
AT ITER 646 NEW BEST:: SOT 13940525 SOS 8561587 HAS SOPS 8560170 HAS SOUS 1329175 HAS SOUPS 1327758 WITH SCORE 1336319.587
AT ITER 648 NEW BEST:: SOT 13939685 SOS 8560892 HAS SOPS 8559406 HAS SOUS 1327770 HAS SOUPS 1326284 WITH SCORE 1334844.892
AT ITER 651 NEW BEST:: SOT 13939685 SOS 8560820 HAS SOPS 8559334 HAS SOUS 1327770 HAS SOUPS 1326284 WITH SCORE 1334844.82
AT ITER 655 NEW BEST:: SOT 13939685 SOS 8560820 HAS SOPS 8559334 HAS SOUS 1327564 HAS SOUPS 1326078 WITH SCORE 1334638.82
AT ITER 657 NEW BEST:: SOT 13939685 SOS 8560460 HAS SOPS 8558974 HAS SOUS 1327564 HAS SOUPS 1326078 WITH SCORE 1334638.46
AT ITER 658 NEW BEST:: SOT 13939685 SOS 8560214 HAS SOPS 8558728 HAS SOUS 1327441 HAS SOUPS 1325955 WITH SCORE 1334515.214
AT ITER 665 NEW BEST:: SOT 13938122 SOS 8558651 HAS SOPS 8557165 HAS SOUS 1325742 HAS SOUPS 1324256 WITH SCORE 1332814.651
AT ITER 666 NEW BEST:: SOT 13938122 SOS 8567684 HAS SOPS 8566198 HAS SOUS 1324826 HAS SOUPS 1323340 WITH SCORE 1331907.684
AT ITER 669 NEW BEST:: SOT 13939887 SOS 8569679 HAS SOPS 8568167 HAS SOUS 1324598 HAS SOUPS 1323086 WITH SCORE 1331655.679
AT ITER 670 NEW BEST:: SOT 13939704 SOS 8569496 HAS SOPS 8567984 HAS SOUS 1324514 HAS SOUPS 1323002 WITH SCORE 1331571.496
AT ITER 697 NEW BEST:: SOT 13941832 SOS 8571704 HAS SOPS 8570192 HAS SOUS 1323812 HAS SOUPS 1322300 WITH SCORE 1330871.704
AT ITER 732 NEW BEST:: SOT 13940445 SOS 8570317 HAS SOPS 8568805 HAS SOUS 1323057 HAS SOUPS 1321545 WITH SCORE 1330115.317
AT ITER 742 NEW BEST:: SOT 13940445 SOS 8570389 HAS SOPS 8568877 HAS SOUS 1322957 HAS SOUPS 1321445 WITH SCORE 1330015.389
AT ITER 752 NEW BEST:: SOT 13940445 SOS 8567149 HAS SOPS 8565637 HAS SOUS 1322921 HAS SOUPS 1321409 WITH SCORE 1329976.149
AT ITER 773 NEW BEST:: SOT 13939718 SOS 8566422 HAS SOPS 8564910 HAS SOUS 1321440 HAS SOUPS 1319928 WITH SCORE 1328494.422
AT ITER 794 NEW BEST:: SOT 13939718 SOS 8564962 HAS SOPS 8563450 HAS SOUS 1321440 HAS SOUPS 1319928 WITH SCORE 1328492.962
AT ITER 797 NEW BEST:: SOT 13939696 SOS 8565552 HAS SOPS 8564040 HAS SOUS 1319717 HAS SOUPS 1318205 WITH SCORE 1326770.552
AT ITER 798 NEW BEST:: SOT 13942138 SOS 8568088 HAS SOPS 8566576 HAS SOUS 1318846 HAS SOUPS 1317334 WITH SCORE 1325902.088
AT ITER 811 NEW BEST:: SOT 13942138 SOS 8567692 HAS SOPS 8566180 HAS SOUS 1318648 HAS SOUPS 1317136 WITH SCORE 1325703.692
AT ITER 829 NEW BEST:: SOT 13941026 SOS 8566580 HAS SOPS 8565068 HAS SOUS 1316382 HAS SOUPS 1314870 WITH SCORE 1323436.58
AT ITER 830 NEW BEST:: SOT 13940834 SOS 8734364 HAS SOPS 8732852 HAS SOUS 1316188 HAS SOUPS 1314676 WITH SCORE 1323410.364
AT ITER 832 NEW BEST:: SOT 13940834 SOS 8731444 HAS SOPS 8729932 HAS SOUS 1316148 HAS SOUPS 1314636 WITH SCORE 1323367.444
AT ITER 835 NEW BEST:: SOT 13940834 SOS 8731381 HAS SOPS 8729869 HAS SOUS 1316148 HAS SOUPS 1314636 WITH SCORE 1323367.381
AT ITER 840 NEW BEST:: SOT 13955955 SOS 8747150 HAS SOPS 8745638 HAS SOUS 1304451 HAS SOUPS 1302939 WITH SCORE 1311686.15
AT ITER 851 NEW BEST:: SOT 13950656 SOS 8735655 HAS SOPS 8734143 HAS SOUS 1300184 HAS SOUPS 1298672 WITH SCORE 1307407.655
AT ITER 855 NEW BEST:: SOT 13950656 SOS 8735593 HAS SOPS 8734081 HAS SOUS 1300138 HAS SOUPS 1298626 WITH SCORE 1307361.593
AT ITER 867 NEW BEST:: SOT 13949801 SOS 8734738 HAS SOPS 8733226 HAS SOUS 1298442 HAS SOUPS 1296930 WITH SCORE 1305664.738
AT ITER 871 NEW BEST:: SOT 13949801 SOS 8730624 HAS SOPS 8729112 HAS SOUS 1298257 HAS SOUPS 1296745 WITH SCORE 1305475.624
AT ITER 877 NEW BEST:: SOT 13947006 SOS 8727829 HAS SOPS 8726317 HAS SOUS 1292606 HAS SOUPS 1291094 WITH SCORE 1299821.829
AT ITER 880 NEW BEST:: SOT 13943932 SOS 8724755 HAS SOPS 8723243 HAS SOUS 1290926 HAS SOUPS 1289414 WITH SCORE 1298138.755
AT ITER 892 NEW BEST:: SOT 13943932 SOS 8724235 HAS SOPS 8722723 HAS SOUS 1290846 HAS SOUPS 1289334 WITH SCORE 1298058.235
AT ITER 918 NEW BEST:: SOT 13949124 SOS 8730939 HAS SOPS 8729427 HAS SOUS 1284409 HAS SOUPS 1282897 WITH SCORE 1291627.939
AT ITER 934 NEW BEST:: SOT 13957746 SOS 8739771 HAS SOPS 8738259 HAS SOUS 1284128 HAS SOUPS 1282616 WITH SCORE 1291355.771
AT ITER 955 NEW BEST:: SOT 13957746 SOS 8739771 HAS SOPS 8738259 HAS SOUS 1284043 HAS SOUPS 1282531 WITH SCORE 1291270.771
AT ITER 969 NEW BEST:: SOT 13957746 SOS 8739123 HAS SOPS 8737611 HAS SOUS 1283921 HAS SOUPS 1282409 WITH SCORE 1291148.123
AT ITER 973 NEW BEST:: SOT 13954137 SOS 8735514 HAS SOPS 8734002 HAS SOUS 1279435 HAS SOUPS 1277923 WITH SCORE 1286658.514
AT ITER 1002 NEW BEST:: SOT 13947459 SOS 8722736 HAS SOPS 8718855 HAS SOUS 1275341 HAS SOUPS 1271460 WITH SCORE 1280182.736
AT ITER 1015 NEW BEST:: SOT 13947459 SOS 8722598 HAS SOPS 8718717 HAS SOUS 1275341 HAS SOUPS 1271460 WITH SCORE 1280182.598
AT ITER 1027 NEW BEST:: SOT 13943732 SOS 8718871 HAS SOPS 8714990 HAS SOUS 1273116 HAS SOUPS 1269235 WITH SCORE 1277953.871
AT ITER 1032 NEW BEST:: SOT 13942909 SOS 8718552 HAS SOPS 8714671 HAS SOUS 1267244 HAS SOUPS 1263363 WITH SCORE 1272081.552
AT ITER 1038 NEW BEST:: SOT 13940924 SOS 8716251 HAS SOPS 8712429 HAS SOUS 1257483 HAS SOUPS 1253661 WITH SCORE 1262377.251
AT ITER 1042 NEW BEST:: SOT 13939494 SOS 8714821 HAS SOPS 8710999 HAS SOUS 1255832 HAS SOUPS 1252010 WITH SCORE 1260724.821
AT ITER 1043 NEW BEST:: SOT 13943594 SOS 8718921 HAS SOPS 8715099 HAS SOUS 1254255 HAS SOUPS 1250433 WITH SCORE 1259151.921
AT ITER 1056 NEW BEST:: SOT 13939384 SOS 8714517 HAS SOPS 8710758 HAS SOUS 1245427 HAS SOUPS 1241668 WITH SCORE 1250382.517
AT ITER 1063 NEW BEST:: SOT 13939384 SOS 8713953 HAS SOPS 8710194 HAS SOUS 1245286 HAS SOUPS 1241527 WITH SCORE 1250240.953
AT ITER 1072 NEW BEST:: SOT 13937973 SOS 8712542 HAS SOPS 8708783 HAS SOUS 1245016 HAS SOUPS 1241257 WITH SCORE 1249969.542
AT ITER 1076 NEW BEST:: SOT 13936117 SOS 8710686 HAS SOPS 8706927 HAS SOUS 1244031 HAS SOUPS 1240272 WITH SCORE 1248982.686
AT ITER 1085 NEW BEST:: SOT 13936259 SOS 8710828 HAS SOPS 8707069 HAS SOUS 1242745 HAS SOUPS 1238986 WITH SCORE 1247696.828
AT ITER 1096 NEW BEST:: SOT 13937641 SOS 8712456 HAS SOPS 8708697 HAS SOUS 1241662 HAS SOUPS 1237903 WITH SCORE 1246615.456
AT ITER 1100 NEW BEST:: SOT 13937641 SOS 8712388 HAS SOPS 8708629 HAS SOUS 1241594 HAS SOUPS 1237835 WITH SCORE 1246547.388
AT ITER 1108 NEW BEST:: SOT 13943789 SOS 8718536 HAS SOPS 8714777 HAS SOUS 1229010 HAS SOUPS 1225251 WITH SCORE 1233969.536
AT ITER 1109 NEW BEST:: SOT 13943546 SOS 8718299 HAS SOPS 8714540 HAS SOUS 1228512 HAS SOUPS 1224753 WITH SCORE 1233471.299
AT ITER 1114 NEW BEST:: SOT 13943546 SOS 8718299 HAS SOPS 8714540 HAS SOUS 1228479 HAS SOUPS 1224720 WITH SCORE 1233438.299
AT ITER 1133 NEW BEST:: SOT 13943546 SOS 8712207 HAS SOPS 8708448 HAS SOUS 1228354 HAS SOUPS 1224595 WITH SCORE 1233307.207
AT ITER 1136 NEW BEST:: SOT 13935711 SOS 8700379 HAS SOPS 8696620 HAS SOUS 1219412 HAS SOUPS 1215653 WITH SCORE 1224353.379
AT ITER 1142 NEW BEST:: SOT 13935711 SOS 8700379 HAS SOPS 8696620 HAS SOUS 1219404 HAS SOUPS 1215645 WITH SCORE 1224345.379
AT ITER 1157 NEW BEST:: SOT 13935389 SOS 8700057 HAS SOPS 8696298 HAS SOUS 1216516 HAS SOUPS 1212757 WITH SCORE 1221457.057
AT ITER 1165 NEW BEST:: SOT 13941825 SOS 8706657 HAS SOPS 8702898 HAS SOUS 1213766 HAS SOUPS 1210007 WITH SCORE 1218713.657
AT ITER 1178 NEW BEST:: SOT 13941724 SOS 8706556 HAS SOPS 8702797 HAS SOUS 1213663 HAS SOUPS 1209904 WITH SCORE 1218610.556
AT ITER 1180 NEW BEST:: SOT 13942975 SOS 8707807 HAS SOPS 8704048 HAS SOUS 1213445 HAS SOUPS 1209686 WITH SCORE 1218393.807
AT ITER 1182 NEW BEST:: SOT 13941412 SOS 8706244 HAS SOPS 8702485 HAS SOUS 1212536 HAS SOUPS 1208777 WITH SCORE 1217483.244
AT ITER 1186 NEW BEST:: SOT 13940336 SOS 8705168 HAS SOPS 8701409 HAS SOUS 1211210 HAS SOUPS 1207451 WITH SCORE 1216156.168
AT ITER 1188 NEW BEST:: SOT 13935778 SOS 8700610 HAS SOPS 8696851 HAS SOUS 1201883 HAS SOUPS 1198124 WITH SCORE 1206824.61
AT ITER 1194 NEW BEST:: SOT 13934326 SOS 8698606 HAS SOPS 8694938 HAS SOUS 1197874 HAS SOUPS 1194206 WITH SCORE 1202904.606
AT ITER 1196 NEW BEST:: SOT 13934326 SOS 8698605 HAS SOPS 8694937 HAS SOUS 1197874 HAS SOUPS 1194206 WITH SCORE 1202904.605
AT ITER 1202 NEW BEST:: SOT 13928533 SOS 8692812 HAS SOPS 8689144 HAS SOUS 1190397 HAS SOUPS 1186729 WITH SCORE 1195421.812
AT ITER 1220 NEW BEST:: SOT 13925001 SOS 8689280 HAS SOPS 8685612 HAS SOUS 1184894 HAS SOUPS 1181226 WITH SCORE 1189915.28
AT ITER 1227 NEW BEST:: SOT 13922960 SOS 8687239 HAS SOPS 8683571 HAS SOUS 1182448 HAS SOUPS 1178780 WITH SCORE 1187467.239
AT ITER 1228 NEW BEST:: SOT 13922960 SOS 8683947 HAS SOPS 8680279 HAS SOUS 1182324 HAS SOUPS 1178656 WITH SCORE 1187339.947
AT ITER 1243 NEW BEST:: SOT 13921998 SOS 8682985 HAS SOPS 8679317 HAS SOUS 1181800 HAS SOUPS 1178132 WITH SCORE 1186814.985
AT ITER 1251 NEW BEST:: SOT 13925679 SOS 8686754 HAS SOPS 8683086 HAS SOUS 1180829 HAS SOUPS 1177161 WITH SCORE 1185847.754
AT ITER 1252 NEW BEST:: SOT 13925679 SOS 8682533 HAS SOPS 8678865 HAS SOUS 1180774 HAS SOUPS 1177106 WITH SCORE 1185788.533
AT ITER 1259 NEW BEST:: SOT 13925679 SOS 8682363 HAS SOPS 8678695 HAS SOUS 1180774 HAS SOUPS 1177106 WITH SCORE 1185788.363
AT ITER 1267 NEW BEST:: SOT 13919898 SOS 8684336 HAS SOPS 8680668 HAS SOUS 1173384 HAS SOUPS 1169716 WITH SCORE 1178400.336
AT ITER 1273 NEW BEST:: SOT 13927633 SOS 8692382 HAS SOPS 8688644 HAS SOUS 1170812 HAS SOUPS 1167074 WITH SCORE 1175766.382
AT ITER 1283 NEW BEST:: SOT 13927638 SOS 8692387 HAS SOPS 8688649 HAS SOUS 1170560 HAS SOUPS 1166822 WITH SCORE 1175514.387
AT ITER 1285 NEW BEST:: SOT 13927638 SOS 8687923 HAS SOPS 8684185 HAS SOUS 1170560 HAS SOUPS 1166822 WITH SCORE 1175509.923
AT ITER 1303 NEW BEST:: SOT 13923985 SOS 8687714 HAS SOPS 8683976 HAS SOUS 1166687 HAS SOUPS 1162949 WITH SCORE 1171636.714
AT ITER 1312 NEW BEST:: SOT 13923393 SOS 8687122 HAS SOPS 8683384 HAS SOUS 1160745 HAS SOUPS 1157007 WITH SCORE 1165694.122
AT ITER 1314 NEW BEST:: SOT 13934727 SOS 8698456 HAS SOPS 8694718 HAS SOUS 1157015 HAS SOUPS 1153277 WITH SCORE 1161975.456
AT ITER 1330 NEW BEST:: SOT 13933120 SOS 8696849 HAS SOPS 8693111 HAS SOUS 1153349 HAS SOUPS 1149611 WITH SCORE 1158307.849
AT ITER 1333 NEW BEST:: SOT 13932689 SOS 8696454 HAS SOPS 8692701 HAS SOUS 1152506 HAS SOUPS 1148753 WITH SCORE 1157449.454
AT ITER 1363 NEW BEST:: SOT 13951903 SOS 8719579 HAS SOPS 8715611 HAS SOUS 1146852 HAS SOUPS 1142930 WITH SCORE 1151649.579
AT ITER 1368 NEW BEST:: SOT 13948242 SOS 8715918 HAS SOPS 8711950 HAS SOUS 1145142 HAS SOUPS 1141220 WITH SCORE 1149935.918
AT ITER 1395 NEW BEST:: SOT 13948072 SOS 8719840 HAS SOPS 8715872 HAS SOUS 1145138 HAS SOUPS 1141216 WITH SCORE 1149935.84
AT ITER 1414 NEW BEST:: SOT 13948055 SOS 8719807 HAS SOPS 8715839 HAS SOUS 1144112 HAS SOUPS 1140190 WITH SCORE 1148909.807
AT ITER 1437 NEW BEST:: SOT 13948055 SOS 8719807 HAS SOPS 8715839 HAS SOUS 1144013 HAS SOUPS 1140091 WITH SCORE 1148810.807
AT ITER 1450 NEW BEST:: SOT 13938734 SOS 8706073 HAS SOPS 8699930 HAS SOUS 1137602 HAS SOUPS 1131505 WITH SCORE 1140211.073
AT ITER 1457 NEW BEST:: SOT 13938734 SOS 8706073 HAS SOPS 8699930 HAS SOUS 1137504 HAS SOUPS 1131407 WITH SCORE 1140113.073
AT ITER 1464 NEW BEST:: SOT 13938734 SOS 8709981 HAS SOPS 8703838 HAS SOUS 1136521 HAS SOUPS 1130424 WITH SCORE 1139133.981
AT ITER 1473 NEW BEST:: SOT 13934077 SOS 8705324 HAS SOPS 8699181 HAS SOUS 1133587 HAS SOUPS 1127490 WITH SCORE 1136195.324
AT ITER 1480 NEW BEST:: SOT 13934276 SOS 8705533 HAS SOPS 8699390 HAS SOUS 1133483 HAS SOUPS 1127386 WITH SCORE 1136091.533
AT ITER 1500 NEW BEST:: SOT 13934276 SOS 8705204 HAS SOPS 8699061 HAS SOUS 1133410 HAS SOUPS 1127313 WITH SCORE 1136018.204
AT ITER 1528 NEW BEST:: SOT 13933678 SOS 8704396 HAS SOPS 8698283 HAS SOUS 1133142 HAS SOUPS 1127075 WITH SCORE 1135779.396
AT ITER 1540 NEW BEST:: SOT 13932518 SOS 8703236 HAS SOPS 8697123 HAS SOUS 1130782 HAS SOUPS 1124715 WITH SCORE 1133418.236
AT ITER 1543 NEW BEST:: SOT 13932518 SOS 8703012 HAS SOPS 8696899 HAS SOUS 1130712 HAS SOUPS 1124645 WITH SCORE 1133348.012
AT ITER 1579 NEW BEST:: SOT 13932518 SOS 8703012 HAS SOPS 8696899 HAS SOUS 1130595 HAS SOUPS 1124528 WITH SCORE 1133231.012
AT ITER 1584 NEW BEST:: SOT 13924214 SOS 8694639 HAS SOPS 8688526 HAS SOUS 1120149 HAS SOUPS 1114082 WITH SCORE 1122776.639
AT ITER 1594 NEW BEST:: SOT 13923056 SOS 8693481 HAS SOPS 8687368 HAS SOUS 1117793 HAS SOUPS 1111726 WITH SCORE 1120419.481
AT ITER 1610 NEW BEST:: SOT 13944437 SOS 8733839 HAS SOPS 8727199 HAS SOUS 1105990 HAS SOUPS 1099650 WITH SCORE 1108383.839
AT ITER 1612 NEW BEST:: SOT 13943389 SOS 8732791 HAS SOPS 8726070 HAS SOUS 1105595 HAS SOUPS 1099174 WITH SCORE 1107906.791
AT ITER 1614 NEW BEST:: SOT 13936695 SOS 8725655 HAS SOPS 8718934 HAS SOUS 1098689 HAS SOUPS 1092268 WITH SCORE 1100993.655
AT ITER 1622 NEW BEST:: SOT 13934330 SOS 8722858 HAS SOPS 8716192 HAS SOUS 1086439 HAS SOUPS 1080073 WITH SCORE 1088795.858
AT ITER 1626 NEW BEST:: SOT 13934330 SOS 8722858 HAS SOPS 8716192 HAS SOUS 1086388 HAS SOUPS 1080022 WITH SCORE 1088744.858
AT ITER 1640 NEW BEST:: SOT 13935485 SOS 8725093 HAS SOPS 8718427 HAS SOUS 1085342 HAS SOUPS 1078976 WITH SCORE 1087701.093
AT ITER 1646 NEW BEST:: SOT 13934513 SOS 8724121 HAS SOPS 8717455 HAS SOUS 1084390 HAS SOUPS 1078024 WITH SCORE 1086748.121
AT ITER 1649 NEW BEST:: SOT 13934513 SOS 8724121 HAS SOPS 8717455 HAS SOUS 1084389 HAS SOUPS 1078023 WITH SCORE 1086747.121
AT ITER 1652 NEW BEST:: SOT 13933806 SOS 8723402 HAS SOPS 8716736 HAS SOUS 1080649 HAS SOUPS 1074283 WITH SCORE 1083006.402
AT ITER 1656 NEW BEST:: SOT 13933806 SOS 8723042 HAS SOPS 8716376 HAS SOUS 1080563 HAS SOUPS 1074197 WITH SCORE 1082920.042
AT ITER 1661 NEW BEST:: SOT 13933806 SOS 8723014 HAS SOPS 8716348 HAS SOUS 1080559 HAS SOUPS 1074193 WITH SCORE 1082916.014
AT ITER 1663 NEW BEST:: SOT 13933830 SOS 8723038 HAS SOPS 8716372 HAS SOUS 1080323 HAS SOUPS 1073957 WITH SCORE 1082680.038
AT ITER 1665 NEW BEST:: SOT 13933799 SOS 8722796 HAS SOPS 8716130 HAS SOUS 1069956 HAS SOUPS 1063590 WITH SCORE 1072312.796
AT ITER 1667 NEW BEST:: SOT 13931851 SOS 8721206 HAS SOPS 8714540 HAS SOUS 1069125 HAS SOUPS 1062759 WITH SCORE 1071480.206
AT ITER 1685 NEW BEST:: SOT 13930088 SOS 8719443 HAS SOPS 8712777 HAS SOUS 1064265 HAS SOUPS 1057899 WITH SCORE 1066618.443
AT ITER 1720 NEW BEST:: SOT 13930088 SOS 8719181 HAS SOPS 8712515 HAS SOUS 1064134 HAS SOUPS 1057768 WITH SCORE 1066487.181
AT ITER 1728 NEW BEST:: SOT 13930088 SOS 8719181 HAS SOPS 8712515 HAS SOUS 1064059 HAS SOUPS 1057693 WITH SCORE 1066412.181
AT ITER 1740 NEW BEST:: SOT 13929871 SOS 8718964 HAS SOPS 8712298 HAS SOUS 1063842 HAS SOUPS 1057476 WITH SCORE 1066194.964
AT ITER 1746 NEW BEST:: SOT 13929871 SOS 8718332 HAS SOPS 8711666 HAS SOUS 1063701 HAS SOUPS 1057335 WITH SCORE 1066053.332
AT ITER 1747 NEW BEST:: SOT 13929284 SOS 8717745 HAS SOPS 8711079 HAS SOUS 1062517 HAS SOUPS 1056151 WITH SCORE 1064868.745
AT ITER 1748 NEW BEST:: SOT 13929348 SOS 8717809 HAS SOPS 8711143 HAS SOUS 1062507 HAS SOUPS 1056141 WITH SCORE 1064858.809
AT ITER 1762 NEW BEST:: SOT 13933943 SOS 8733335 HAS SOPS 8726669 HAS SOUS 1061859 HAS SOUPS 1055493 WITH SCORE 1064226.335
AT ITER 1773 NEW BEST:: SOT 13933943 SOS 8733333 HAS SOPS 8726667 HAS SOUS 1061859 HAS SOUPS 1055493 WITH SCORE 1064226.333
AT ITER 1775 NEW BEST:: SOT 13934734 SOS 8734124 HAS SOPS 8727458 HAS SOUS 1061167 HAS SOUPS 1054801 WITH SCORE 1063535.124
AT ITER 1780 NEW BEST:: SOT 13934734 SOS 8728241 HAS SOPS 8721575 HAS SOUS 1061168 HAS SOUPS 1054802 WITH SCORE 1063530.241
AT ITER 1787 NEW BEST:: SOT 13935778 SOS 8729292 HAS SOPS 8722503 HAS SOUS 1060883 HAS SOUPS 1054467 WITH SCORE 1063196.292
AT ITER 1792 NEW BEST:: SOT 13935141 SOS 8728646 HAS SOPS 8721857 HAS SOUS 1060568 HAS SOUPS 1054152 WITH SCORE 1062880.646
AT ITER 1794 NEW BEST:: SOT 13934645 SOS 8728150 HAS SOPS 8721361 HAS SOUS 1060072 HAS SOUPS 1053656 WITH SCORE 1062384.15
AT ITER 1795 NEW BEST:: SOT 13934781 SOS 8724344 HAS SOPS 8717555 HAS SOUS 1060018 HAS SOUPS 1053602 WITH SCORE 1062326.344
AT ITER 1796 NEW BEST:: SOT 13932595 SOS 8722169 HAS SOPS 8715380 HAS SOUS 1058765 HAS SOUPS 1052349 WITH SCORE 1061071.169
AT ITER 1817 NEW BEST:: SOT 13932595 SOS 8723549 HAS SOPS 8716760 HAS SOUS 1058700 HAS SOUPS 1052284 WITH SCORE 1061007.549
AT ITER 1819 NEW BEST:: SOT 13932595 SOS 8723549 HAS SOPS 8716760 HAS SOUS 1058565 HAS SOUPS 1052149 WITH SCORE 1060872.549
AT ITER 1825 NEW BEST:: SOT 13932595 SOS 8727797 HAS SOPS 8721008 HAS SOUS 1058506 HAS SOUPS 1052090 WITH SCORE 1060817.797
AT ITER 1842 NEW BEST:: SOT 13928077 SOS 8723279 HAS SOPS 8716490 HAS SOUS 1057955 HAS SOUPS 1051539 WITH SCORE 1060262.279
AT ITER 1860 NEW BEST:: SOT 13928077 SOS 8723221 HAS SOPS 8716432 HAS SOUS 1057866 HAS SOUPS 1051450 WITH SCORE 1060173.221
AT ITER 1878 NEW BEST:: SOT 13928077 SOS 8723097 HAS SOPS 8716308 HAS SOUS 1057866 HAS SOUPS 1051450 WITH SCORE 1060173.097
AT ITER 1888 NEW BEST:: SOT 13928077 SOS 8723097 HAS SOPS 8716308 HAS SOUS 1057766 HAS SOUPS 1051350 WITH SCORE 1060073.097
AT ITER 1903 NEW BEST:: SOT 13931240 SOS 8726340 HAS SOPS 8719551 HAS SOUS 1057452 HAS SOUPS 1051036 WITH SCORE 1059762.34
AT ITER 1905 NEW BEST:: SOT 13931240 SOS 8725632 HAS SOPS 8718843 HAS SOUS 1057297 HAS SOUPS 1050881 WITH SCORE 1059606.632
AT ITER 1914 NEW BEST:: SOT 13924113 SOS 8718203 HAS SOPS 8711414 HAS SOUS 1048535 HAS SOUPS 1042119 WITH SCORE 1050837.203
AT ITER 1935 NEW BEST:: SOT 13924113 SOS 8725143 HAS SOPS 8718354 HAS SOUS 1047837 HAS SOUPS 1041421 WITH SCORE 1050146.143
AT ITER 1939 NEW BEST:: SOT 13926339 SOS 8727369 HAS SOPS 8720580 HAS SOUS 1044573 HAS SOUPS 1038157 WITH SCORE 1046884.369
AT ITER 1945 NEW BEST:: SOT 13926323 SOS 8727353 HAS SOPS 8720564 HAS SOUS 1044543 HAS SOUPS 1038127 WITH SCORE 1046854.353
AT ITER 1955 NEW BEST:: SOT 13928075 SOS 8729094 HAS SOPS 8722305 HAS SOUS 1043862 HAS SOUPS 1037446 WITH SCORE 1046175.094
AT ITER 1961 NEW BEST:: SOT 13928075 SOS 8728364 HAS SOPS 8721575 HAS SOUS 1043862 HAS SOUPS 1037446 WITH SCORE 1046174.364
AT ITER 1993 NEW BEST:: SOT 13927848 SOS 8728137 HAS SOPS 8721348 HAS SOUS 1043719 HAS SOUPS 1037303 WITH SCORE 1046031.137
AT ITER 1995 NEW BEST:: SOT 13927848 SOS 8729217 HAS SOPS 8722428 HAS SOUS 1043645 HAS SOUPS 1037229 WITH SCORE 1045958.217
AT ITER 1996 NEW BEST:: SOT 13927770 SOS 8729139 HAS SOPS 8722350 HAS SOUS 1043487 HAS SOUPS 1037071 WITH SCORE 1045800.139
AT ITER 2005 NEW BEST:: SOT 13927770 SOS 8729121 HAS SOPS 8722332 HAS SOUS 1043478 HAS SOUPS 1037062 WITH SCORE 1045791.121
AT ITER 2014 NEW BEST:: SOT 13926499 SOS 8727850 HAS SOPS 8721061 HAS SOUS 1042517 HAS SOUPS 1036101 WITH SCORE 1044828.85
AT ITER 2020 NEW BEST:: SOT 13916006 SOS 8718211 HAS SOPS 8711444 HAS SOUS 1028199 HAS SOUPS 1021783 WITH SCORE 1030501.211
AT ITER 2034 NEW BEST:: SOT 13916015 SOS 8701363 HAS SOPS 8694596 HAS SOUS 1028208 HAS SOUPS 1021792 WITH SCORE 1030493.363
AT ITER 2048 NEW BEST:: SOT 13916015 SOS 8701363 HAS SOPS 8694596 HAS SOUS 1028102 HAS SOUPS 1021686 WITH SCORE 1030387.363
AT ITER 2050 NEW BEST:: SOT 13916003 SOS 8701351 HAS SOPS 8694584 HAS SOUS 1028090 HAS SOUPS 1021674 WITH SCORE 1030375.351
AT ITER 2073 NEW BEST:: SOT 13916003 SOS 8701351 HAS SOPS 8694584 HAS SOUS 1028082 HAS SOUPS 1021666 WITH SCORE 1030367.351
AT ITER 2075 NEW BEST:: SOT 13916513 SOS 8700713 HAS SOPS 8693946 HAS SOUS 1025739 HAS SOUPS 1019323 WITH SCORE 1028023.713
AT ITER 2106 NEW BEST:: SOT 13909739 SOS 8693816 HAS SOPS 8687049 HAS SOUS 1025003 HAS SOUPS 1018587 WITH SCORE 1027280.816
AT ITER 2114 NEW BEST:: SOT 13905877 SOS 8689641 HAS SOPS 8682935 HAS SOUS 1016575 HAS SOUPS 1010220 WITH SCORE 1018909.641
AT ITER 2165 NEW BEST:: SOT 13904427 SOS 8688191 HAS SOPS 8681485 HAS SOUS 1015649 HAS SOUPS 1009294 WITH SCORE 1017982.191
AT ITER 2173 NEW BEST:: SOT 13903585 SOS 8687364 HAS SOPS 8680703 HAS SOUS 1014200 HAS SOUPS 1007890 WITH SCORE 1016577.364
AT ITER 2180 NEW BEST:: SOT 13901913 SOS 8685692 HAS SOPS 8679031 HAS SOUS 1003652 HAS SOUPS 997342 WITH SCORE 1006027.692
AT ITER 2192 NEW BEST:: SOT 13901913 SOS 8685692 HAS SOPS 8679031 HAS SOUS 1003612 HAS SOUPS 997302 WITH SCORE 1005987.692
AT ITER 2220 NEW BEST:: SOT 13901913 SOS 8685514 HAS SOPS 8678853 HAS SOUS 1003612 HAS SOUPS 997302 WITH SCORE 1005987.514
AT ITER 2232 NEW BEST:: SOT 13901913 SOS 8681796 HAS SOPS 8676883 HAS SOUS 1001643 HAS SOUPS 997035 WITH SCORE 1005716.796
AT ITER 2234 NEW BEST:: SOT 13901913 SOS 8681796 HAS SOPS 8676883 HAS SOUS 1001636 HAS SOUPS 997028 WITH SCORE 1005709.796
AT ITER 2247 NEW BEST:: SOT 13901217 SOS 8681134 HAS SOPS 8676221 HAS SOUS 1000147 HAS SOUPS 995539 WITH SCORE 1004220.134
AT ITER 2249 NEW BEST:: SOT 13901217 SOS 8681134 HAS SOPS 8676221 HAS SOUS 1000113 HAS SOUPS 995505 WITH SCORE 1004186.134
AT ITER 2250 NEW BEST:: SOT 13900857 SOS 8680774 HAS SOPS 8675861 HAS SOUS 993975 HAS SOUPS 989367 WITH SCORE 998047.774
AT ITER 2266 NEW BEST:: SOT 13903371 SOS 8683288 HAS SOPS 8678375 HAS SOUS 993372 HAS SOUPS 988764 WITH SCORE 997447.288
AT ITER 2267 NEW BEST:: SOT 13903371 SOS 8682784 HAS SOPS 8677871 HAS SOUS 993372 HAS SOUPS 988764 WITH SCORE 997446.784
AT ITER 2294 NEW BEST:: SOT 13903371 SOS 8682462 HAS SOPS 8677549 HAS SOUS 993245 HAS SOUPS 988637 WITH SCORE 997319.462
AT ITER 2295 NEW BEST:: SOT 13904024 SOS 8683175 HAS SOPS 8678262 HAS SOUS 987334 HAS SOUPS 982726 WITH SCORE 991409.175
AT ITER 2314 NEW BEST:: SOT 13904024 SOS 8680871 HAS SOPS 8675958 HAS SOUS 987334 HAS SOUPS 982726 WITH SCORE 991406.871
AT ITER 2323 NEW BEST:: SOT 13904024 SOS 8680367 HAS SOPS 8675454 HAS SOUS 987334 HAS SOUPS 982726 WITH SCORE 991406.367
AT ITER 2337 NEW BEST:: SOT 13904024 SOS 8679719 HAS SOPS 8674806 HAS SOUS 987314 HAS SOUPS 982706 WITH SCORE 991385.719
AT ITER 2368 NEW BEST:: SOT 13904833 SOS 8680636 HAS SOPS 8675711 HAS SOUS 986748 HAS SOUPS 982128 WITH SCORE 990808.636
AT ITER 2376 NEW BEST:: SOT 13904833 SOS 8680450 HAS SOPS 8675525 HAS SOUS 986655 HAS SOUPS 982035 WITH SCORE 990715.45
AT ITER 2380 NEW BEST:: SOT 13904833 SOS 8680232 HAS SOPS 8675307 HAS SOUS 986546 HAS SOUPS 981926 WITH SCORE 990606.232
AT ITER 2418 NEW BEST:: SOT 13905401 SOS 8680800 HAS SOPS 8675875 HAS SOUS 986230 HAS SOUPS 981610 WITH SCORE 990290.8
AT ITER 2424 NEW BEST:: SOT 13905902 SOS 8685817 HAS SOPS 8680892 HAS SOUS 984070 HAS SOUPS 979450 WITH SCORE 988135.817
AT ITER 2436 NEW BEST:: SOT 13905902 SOS 8685807 HAS SOPS 8680882 HAS SOUS 984070 HAS SOUPS 979450 WITH SCORE 988135.807
AT ITER 2457 NEW BEST:: SOT 13905902 SOS 8685663 HAS SOPS 8680738 HAS SOUS 984070 HAS SOUPS 979450 WITH SCORE 988135.663
AT ITER 2471 NEW BEST:: SOT 13899312 SOS 8679073 HAS SOPS 8674148 HAS SOUS 983151 HAS SOUPS 978531 WITH SCORE 987210.073
AT ITER 2480 NEW BEST:: SOT 13897531 SOS 8677292 HAS SOPS 8672367 HAS SOUS 981221 HAS SOUPS 976601 WITH SCORE 985278.292
AT ITER 2489 NEW BEST:: SOT 13897531 SOS 8677292 HAS SOPS 8672367 HAS SOUS 981123 HAS SOUPS 976503 WITH SCORE 985180.292
AT ITER 2501 NEW BEST:: SOT 13897531 SOS 8677052 HAS SOPS 8672163 HAS SOUS 981087 HAS SOUPS 976503 WITH SCORE 985180.052
AT ITER 2518 NEW BEST:: SOT 13898765 SOS 8678286 HAS SOPS 8673397 HAS SOUS 980801 HAS SOUPS 976217 WITH SCORE 984895.286
AT ITER 2519 NEW BEST:: SOT 13902138 SOS 8681042 HAS SOPS 8676267 HAS SOUS 979554 HAS SOUPS 975084 WITH SCORE 983765.042
AT ITER 2533 NEW BEST:: SOT 13902138 SOS 8680898 HAS SOPS 8676123 HAS SOUS 979554 HAS SOUPS 975084 WITH SCORE 983764.898
AT ITER 2562 NEW BEST:: SOT 13901078 SOS 8679838 HAS SOPS 8675063 HAS SOUS 978494 HAS SOUPS 974024 WITH SCORE 982703.838
AT ITER 2594 NEW BEST:: SOT 13901078 SOS 7973786 HAS SOPS 7968111 HAS SOUS 978908 HAS SOUPS 974249 WITH SCORE 982222.786
AT ITER 2607 NEW BEST:: SOT 13901078 SOS 7973642 HAS SOPS 7967967 HAS SOUS 978761 HAS SOUPS 974102 WITH SCORE 982075.642
AT ITER 2627 NEW BEST:: SOT 13901048 SOS 7973597 HAS SOPS 7967922 HAS SOUS 978731 HAS SOUPS 974072 WITH SCORE 982045.597
AT ITER 2651 NEW BEST:: SOT 13901048 SOS 7973545 HAS SOPS 7967870 HAS SOUS 978660 HAS SOUPS 974001 WITH SCORE 981974.545
AT ITER 2714 NEW BEST:: SOT 13900742 SOS 7973239 HAS SOPS 7967564 HAS SOUS 978037 HAS SOUPS 973378 WITH SCORE 981351.239
AT ITER 2760 NEW BEST:: SOT 13900544 SOS 7973007 HAS SOPS 7967332 HAS SOUS 976149 HAS SOUPS 971490 WITH SCORE 979463.007
AT ITER 2783 NEW BEST:: SOT 13900544 SOS 7973495 HAS SOPS 7967820 HAS SOUS 976141 HAS SOUPS 971482 WITH SCORE 979455.495
AT ITER 2800 NEW BEST:: SOT 13900549 SOS 7973510 HAS SOPS 7967835 HAS SOUS 975848 HAS SOUPS 971189 WITH SCORE 979162.51
AT ITER 2812 NEW BEST:: SOT 13900549 SOS 7973462 HAS SOPS 7967787 HAS SOUS 975809 HAS SOUPS 971150 WITH SCORE 979123.462
AT ITER 2816 NEW BEST:: SOT 13900549 SOS 7973318 HAS SOPS 7967643 HAS SOUS 975809 HAS SOUPS 971150 WITH SCORE 979123.318
AT ITER 2818 NEW BEST:: SOT 13900549 SOS 7973174 HAS SOPS 7967499 HAS SOUS 975809 HAS SOUPS 971150 WITH SCORE 979123.174
AT ITER 2826 NEW BEST:: SOT 13909551 SOS 7982176 HAS SOPS 7976501 HAS SOUS 975640 HAS SOUPS 970981 WITH SCORE 978963.176
AT ITER 2836 NEW BEST:: SOT 13909519 SOS 7982144 HAS SOPS 7976469 HAS SOUS 975604 HAS SOUPS 970945 WITH SCORE 978927.144
AT ITER 2842 NEW BEST:: SOT 13909519 SOS 7982000 HAS SOPS 7976325 HAS SOUS 975533 HAS SOUPS 970874 WITH SCORE 978856.0
AT ITER 2854 NEW BEST:: SOT 13909519 SOS 7981864 HAS SOPS 7976189 HAS SOUS 975499 HAS SOUPS 970840 WITH SCORE 978821.864
AT ITER 2866 NEW BEST:: SOT 13909519 SOS 7982779 HAS SOPS 7977104 HAS SOUS 975484 HAS SOUPS 970825 WITH SCORE 978807.779
AT ITER 2868 NEW BEST:: SOT 13909519 SOS 7982777 HAS SOPS 7977102 HAS SOUS 975481 HAS SOUPS 970822 WITH SCORE 978804.777
AT ITER 2869 NEW BEST:: SOT 13909519 SOS 7980145 HAS SOPS 7974470 HAS SOUS 975387 HAS SOUPS 970728 WITH SCORE 978708.145
AT ITER 2878 NEW BEST:: SOT 13909519 SOS 7980058 HAS SOPS 7974383 HAS SOUS 975387 HAS SOUPS 970728 WITH SCORE 978708.058
AT ITER 2880 NEW BEST:: SOT 13913842 SOS 7963116 HAS SOPS 7958083 HAS SOUS 968890 HAS SOUPS 964548 WITH SCORE 972511.116
AT ITER 2881 NEW BEST:: SOT 13913842 SOS 7962972 HAS SOPS 7957939 HAS SOUS 968890 HAS SOUPS 964548 WITH SCORE 972510.972
AT ITER 2906 NEW BEST:: SOT 13911789 SOS 7960921 HAS SOPS 7955888 HAS SOUS 966971 HAS SOUPS 962629 WITH SCORE 970589.921
AT ITER 2911 NEW BEST:: SOT 13912147 SOS 7961005 HAS SOPS 7956022 HAS SOUS 965383 HAS SOUPS 961091 WITH SCORE 969052.005
AT ITER 2922 NEW BEST:: SOT 13909620 SOS 7955189 HAS SOPS 7950275 HAS SOUS 964296 HAS SOUPS 960027 WITH SCORE 967982.189
AT ITER 2923 NEW BEST:: SOT 13909487 SOS 7955056 HAS SOPS 7950142 HAS SOUS 963993 HAS SOUPS 959724 WITH SCORE 967679.056
AT ITER 2927 NEW BEST:: SOT 13909130 SOS 7954767 HAS SOPS 7949853 HAS SOUS 962846 HAS SOUPS 958577 WITH SCORE 966531.767
AT ITER 2938 NEW BEST:: SOT 13904761 SOS 7910231 HAS SOPS 7906129 HAS SOUS 961226 HAS SOUPS 957234 WITH SCORE 965144.231
AT ITER 2941 NEW BEST:: SOT 13900924 SOS 7906394 HAS SOPS 7902292 HAS SOUS 956616 HAS SOUPS 952624 WITH SCORE 960530.394
AT ITER 2958 NEW BEST:: SOT 13900924 SOS 7906270 HAS SOPS 7902168 HAS SOUS 956585 HAS SOUPS 952593 WITH SCORE 960499.27
AT ITER 2975 NEW BEST:: SOT 13900924 SOS 7906126 HAS SOPS 7902024 HAS SOUS 956585 HAS SOUPS 952593 WITH SCORE 960499.126
AT ITER 2981 NEW BEST:: SOT 13899628 SOS 7904830 HAS SOPS 7900728 HAS SOUS 955757 HAS SOUPS 951765 WITH SCORE 959669.83
AT ITER 2982 NEW BEST:: SOT 13899559 SOS 7904767 HAS SOPS 7900665 HAS SOUS 955757 HAS SOUPS 951765 WITH SCORE 959669.767
AT ITER 2996 NEW BEST:: SOT 13899559 SOS 7904494 HAS SOPS 7900455 HAS SOUS 955694 HAS SOUPS 951765 WITH SCORE 959669.494
AT ITER 3004 NEW BEST:: SOT 13899539 SOS 7904468 HAS SOPS 7900429 HAS SOUS 955442 HAS SOUPS 951513 WITH SCORE 959417.468
AT ITER 3019 NEW BEST:: SOT 13899490 SOS 7904419 HAS SOPS 7900380 HAS SOUS 955442 HAS SOUPS 951513 WITH SCORE 959417.419
AT ITER 3064 NEW BEST:: SOT 13899490 SOS 7904419 HAS SOPS 7900380 HAS SOUS 955422 HAS SOUPS 951493 WITH SCORE 959397.419
AT ITER 3081 NEW BEST:: SOT 13892887 SOS 7903264 HAS SOPS 7899867 HAS SOUS 946577 HAS SOUPS 943290 WITH SCORE 951193.264
AT ITER 3093 NEW BEST:: SOT 13893676 SOS 7904153 HAS SOPS 7900776 HAS SOUS 946477 HAS SOUPS 943190 WITH SCORE 951094.153
AT ITER 3100 NEW BEST:: SOT 13893676 SOS 7901849 HAS SOPS 7898472 HAS SOUS 946477 HAS SOUPS 943190 WITH SCORE 951091.849
AT ITER 3117 NEW BEST:: SOT 13893693 SOS 7901866 HAS SOPS 7898489 HAS SOUS 946474 HAS SOUPS 943187 WITH SCORE 951088.866
AT ITER 3119 NEW BEST:: SOT 13894148 SOS 7902188 HAS SOPS 7898811 HAS SOUS 941478 HAS SOUPS 938191 WITH SCORE 946093.188
AT ITER 3131 NEW BEST:: SOT 13891671 SOS 7899711 HAS SOPS 7896334 HAS SOUS 939001 HAS SOUPS 935714 WITH SCORE 943613.711
AT ITER 3135 NEW BEST:: SOT 13895672 SOS 7903781 HAS SOPS 7900404 HAS SOUS 938754 HAS SOUPS 935467 WITH SCORE 943370.781
AT ITER 3136 NEW BEST:: SOT 13895669 SOS 7903778 HAS SOPS 7900401 HAS SOUS 934225 HAS SOUPS 930938 WITH SCORE 938841.778
AT ITER 3146 NEW BEST:: SOT 13895669 SOS 7902686 HAS SOPS 7899309 HAS SOUS 934134 HAS SOUPS 930847 WITH SCORE 938749.686
AT ITER 3154 NEW BEST:: SOT 13895637 SOS 7902654 HAS SOPS 7899277 HAS SOUS 934010 HAS SOUPS 930723 WITH SCORE 938625.654
AT ITER 3156 NEW BEST:: SOT 13895637 SOS 7902654 HAS SOPS 7899277 HAS SOUS 933977 HAS SOUPS 930690 WITH SCORE 938592.654
AT ITER 3164 NEW BEST:: SOT 13895637 SOS 7897648 HAS SOPS 7894271 HAS SOUS 933886 HAS SOUPS 930599 WITH SCORE 938496.648
AT ITER 3165 NEW BEST:: SOT 13895637 SOS 7893544 HAS SOPS 7890167 HAS SOUS 933886 HAS SOUPS 930599 WITH SCORE 938492.544
AT ITER 3171 NEW BEST:: SOT 13897664 SOS 7895450 HAS SOPS 7892127 HAS SOUS 932589 HAS SOUPS 929356 WITH SCORE 937251.45
AT ITER 3174 NEW BEST:: SOT 13897664 SOS 7895512 HAS SOPS 7892179 HAS SOUS 932589 HAS SOUPS 929346 WITH SCORE 937241.512
AT ITER 3181 NEW BEST:: SOT 13897664 SOS 7895512 HAS SOPS 7892179 HAS SOUS 932482 HAS SOUPS 929239 WITH SCORE 937134.512
AT ITER 3184 NEW BEST:: SOT 13903421 SOS 7904392 HAS SOPS 7901059 HAS SOUS 925866 HAS SOUPS 922623 WITH SCORE 930527.392
AT ITER 3211 NEW BEST:: SOT 13903421 SOS 7910813 HAS SOPS 7907480 HAS SOUS 925295 HAS SOUPS 922052 WITH SCORE 929962.813
AT ITER 3241 NEW BEST:: SOT 13903421 SOS 7910813 HAS SOPS 7907480 HAS SOUS 925242 HAS SOUPS 921999 WITH SCORE 929909.813
AT ITER 3251 NEW BEST:: SOT 13903421 SOS 7910669 HAS SOPS 7907336 HAS SOUS 925242 HAS SOUPS 921999 WITH SCORE 929909.669
AT ITER 3258 NEW BEST:: SOT 13905056 SOS 7912304 HAS SOPS 7908971 HAS SOUS 924878 HAS SOUPS 921635 WITH SCORE 929547.304
AT ITER 3271 NEW BEST:: SOT 13905172 SOS 7912420 HAS SOPS 7909087 HAS SOUS 924762 HAS SOUPS 921519 WITH SCORE 929431.42
AT ITER 3275 NEW BEST:: SOT 13904440 SOS 7911688 HAS SOPS 7908355 HAS SOUS 923448 HAS SOUPS 920205 WITH SCORE 928116.688
AT ITER 3278 NEW BEST:: SOT 13908217 SOS 7915709 HAS SOPS 7912441 HAS SOUS 919357 HAS SOUPS 916179 WITH SCORE 924094.709
AT ITER 3284 NEW BEST:: SOT 13908217 SOS 7912793 HAS SOPS 7909525 HAS SOUS 919358 HAS SOUPS 916180 WITH SCORE 924092.793
AT ITER 3290 NEW BEST:: SOT 13908340 SOS 7912916 HAS SOPS 7909648 HAS SOUS 918926 HAS SOUPS 915748 WITH SCORE 923660.916
AT ITER 3317 NEW BEST:: SOT 13908340 SOS 7912772 HAS SOPS 7909504 HAS SOUS 918926 HAS SOUPS 915748 WITH SCORE 923660.772
AT ITER 3328 NEW BEST:: SOT 13908289 SOS 7912721 HAS SOPS 7909453 HAS SOUS 918904 HAS SOUPS 915726 WITH SCORE 923638.721
AT ITER 3355 NEW BEST:: SOT 13908528 SOS 7913018 HAS SOPS 7909853 HAS SOUS 915312 HAS SOUPS 912211 WITH SCORE 920124.018
AT ITER 3357 NEW BEST:: SOT 13908528 SOS 7913018 HAS SOPS 7909853 HAS SOUS 915305 HAS SOUPS 912204 WITH SCORE 920117.018
AT ITER 3375 NEW BEST:: SOT 13908572 SOS 7913054 HAS SOPS 7909890 HAS SOUS 915278 HAS SOUPS 912177 WITH SCORE 920090.054
AT ITER 3376 NEW BEST:: SOT 13909261 SOS 7913885 HAS SOPS 7910721 HAS SOUS 913855 HAS SOUPS 910754 WITH SCORE 918667.885
AT ITER 3385 NEW BEST:: SOT 13909261 SOS 7913835 HAS SOPS 7910671 HAS SOUS 913805 HAS SOUPS 910704 WITH SCORE 918617.835
AT ITER 3391 NEW BEST:: SOT 13909261 SOS 7914915 HAS SOPS 7911751 HAS SOUS 913774 HAS SOUPS 910673 WITH SCORE 918587.915
AT ITER 3410 NEW BEST:: SOT 13909252 SOS 7914906 HAS SOPS 7911742 HAS SOUS 913774 HAS SOUPS 910673 WITH SCORE 918587.906
AT ITER 3412 NEW BEST:: SOT 13909252 SOS 7914646 HAS SOPS 7911482 HAS SOUS 913774 HAS SOUPS 910673 WITH SCORE 918587.646
AT ITER 3418 NEW BEST:: SOT 13909252 SOS 7914646 HAS SOPS 7911482 HAS SOUS 913772 HAS SOUPS 910671 WITH SCORE 918585.646
AT ITER 3432 NEW BEST:: SOT 13909269 SOS 7914501 HAS SOPS 7911355 HAS SOUS 913387 HAS SOUPS 910304 WITH SCORE 918218.501
AT ITER 3435 NEW BEST:: SOT 13905293 SOS 7910525 HAS SOPS 7907379 HAS SOUS 910405 HAS SOUPS 907322 WITH SCORE 915232.525
AT ITER 3500 NEW BEST:: SOT 13905288 SOS 7910520 HAS SOPS 7907374 HAS SOUS 910395 HAS SOUPS 907312 WITH SCORE 915222.52
AT ITER 3506 NEW BEST:: SOT 13907790 SOS 7913022 HAS SOPS 7909876 HAS SOUS 908956 HAS SOUPS 905873 WITH SCORE 913786.022
AT ITER 3511 NEW BEST:: SOT 13905270 SOS 7910502 HAS SOPS 7907356 HAS SOUS 905205 HAS SOUPS 902122 WITH SCORE 910032.502
AT ITER 3530 NEW BEST:: SOT 13905270 SOS 7911302 HAS SOPS 7908156 HAS SOUS 905193 HAS SOUPS 902110 WITH SCORE 910021.302
AT ITER 3533 NEW BEST:: SOT 13909453 SOS 7915273 HAS SOPS 7912128 HAS SOUS 904231 HAS SOUPS 901149 WITH SCORE 909064.273
AT ITER 3539 NEW BEST:: SOT 13909453 SOS 7915253 HAS SOPS 7912108 HAS SOUS 904221 HAS SOUPS 901139 WITH SCORE 909054.253
AT ITER 3540 NEW BEST:: SOT 13909185 SOS 7914985 HAS SOPS 7911840 HAS SOUS 903681 HAS SOUPS 900599 WITH SCORE 908513.985
AT ITER 3557 NEW BEST:: SOT 13909185 SOS 7913671 HAS SOPS 7910526 HAS SOUS 903663 HAS SOUPS 900581 WITH SCORE 908494.671
AT ITER 3560 NEW BEST:: SOT 13908810 SOS 7913296 HAS SOPS 7910151 HAS SOUS 902284 HAS SOUPS 899202 WITH SCORE 907115.296
AT ITER 3582 NEW BEST:: SOT 13908810 SOS 7915064 HAS SOPS 7911919 HAS SOUS 902258 HAS SOUPS 899176 WITH SCORE 907091.064
AT ITER 3633 NEW BEST:: SOT 13908810 SOS 7914655 HAS SOPS 7911588 HAS SOUS 902180 HAS SOUPS 899176 WITH SCORE 907090.655
AT ITER 3665 NEW BEST:: SOT 13908798 SOS 7914643 HAS SOPS 7911576 HAS SOUS 902168 HAS SOUPS 899164 WITH SCORE 907078.643
AT ITER 3690 NEW BEST:: SOT 13908798 SOS 7914571 HAS SOPS 7911504 HAS SOUS 902132 HAS SOUPS 899128 WITH SCORE 907042.571
AT ITER 3693 NEW BEST:: SOT 13908531 SOS 7914304 HAS SOPS 7911237 HAS SOUS 897832 HAS SOUPS 894828 WITH SCORE 902742.304
AT ITER 3706 NEW BEST:: SOT 13908409 SOS 7914182 HAS SOPS 7911115 HAS SOUS 893021 HAS SOUPS 890017 WITH SCORE 897931.182
AT ITER 3710 NEW BEST:: SOT 13908409 SOS 7914098 HAS SOPS 7911031 HAS SOUS 892937 HAS SOUPS 889933 WITH SCORE 897847.098
AT ITER 3718 NEW BEST:: SOT 13908283 SOS 7913972 HAS SOPS 7910905 HAS SOUS 892561 HAS SOUPS 889557 WITH SCORE 897470.972
AT ITER 3720 NEW BEST:: SOT 13908283 SOS 7913972 HAS SOPS 7910905 HAS SOUS 892538 HAS SOUPS 889534 WITH SCORE 897447.972
AT ITER 3738 NEW BEST:: SOT 13904304 SOS 7909996 HAS SOPS 7906929 HAS SOUS 889774 HAS SOUPS 886770 WITH SCORE 894679.996
AT ITER 3742 NEW BEST:: SOT 13903507 SOS 7909186 HAS SOPS 7906119 HAS SOUS 888269 HAS SOUPS 885265 WITH SCORE 893174.186
AT ITER 3756 NEW BEST:: SOT 13904107 SOS 7909818 HAS SOPS 7906751 HAS SOUS 887649 HAS SOUPS 884645 WITH SCORE 892554.818
AT ITER 3799 NEW BEST:: SOT 13912608 SOS 7922876 HAS SOPS 7919809 HAS SOUS 883164 HAS SOUPS 880160 WITH SCORE 888082.876
AT ITER 3823 NEW BEST:: SOT 13912834 SOS 7923102 HAS SOPS 7920035 HAS SOUS 882969 HAS SOUPS 879965 WITH SCORE 887888.102
AT ITER 3830 NEW BEST:: SOT 13912762 SOS 7923022 HAS SOPS 7919955 HAS SOUS 882779 HAS SOUPS 879775 WITH SCORE 887698.022
AT ITER 3858 NEW BEST:: SOT 13912762 SOS 7923022 HAS SOPS 7919955 HAS SOUS 882759 HAS SOUPS 879755 WITH SCORE 887678.022
AT ITER 3859 NEW BEST:: SOT 13912318 SOS 7923224 HAS SOPS 7920251 HAS SOUS 880433 HAS SOUPS 877523 WITH SCORE 885446.224
AT ITER 3862 NEW BEST:: SOT 13911502 SOS 7923472 HAS SOPS 7920499 HAS SOUS 879317 HAS SOUPS 876407 WITH SCORE 884330.472
AT ITER 3891 NEW BEST:: SOT 13911558 SOS 7919439 HAS SOPS 7916466 HAS SOUS 879260 HAS SOUPS 876350 WITH SCORE 884269.439
AT ITER 3892 NEW BEST:: SOT 13911558 SOS 7922177 HAS SOPS 7919204 HAS SOUS 879078 HAS SOUPS 876168 WITH SCORE 884090.177
AT ITER 3933 NEW BEST:: SOT 13911558 SOS 7921673 HAS SOPS 7918700 HAS SOUS 878873 HAS SOUPS 875963 WITH SCORE 883884.673
AT ITER 3965 NEW BEST:: SOT 13911505 SOS 7921620 HAS SOPS 7918647 HAS SOUS 878873 HAS SOUPS 875963 WITH SCORE 883884.62
AT ITER 3980 NEW BEST:: SOT 13904716 SOS 7907854 HAS SOPS 7904991 HAS SOUS 875230 HAS SOUPS 872369 WITH SCORE 880276.854
AT ITER 3981 NEW BEST:: SOT 13904653 SOS 7907791 HAS SOPS 7904928 HAS SOUS 875184 HAS SOUPS 872323 WITH SCORE 880230.791
AT ITER 4014 NEW BEST:: SOT 13903647 SOS 7906785 HAS SOPS 7903922 HAS SOUS 873216 HAS SOUPS 870355 WITH SCORE 878261.785
AT ITER 4033 NEW BEST:: SOT 13903647 SOS 7906620 HAS SOPS 7903757 HAS SOUS 873216 HAS SOUPS 870355 WITH SCORE 878261.62
AT ITER 4045 NEW BEST:: SOT 13900220 SOS 7903103 HAS SOPS 7900240 HAS SOUS 872461 HAS SOUPS 869600 WITH SCORE 877503.103
AT ITER 4047 NEW BEST:: SOT 13900220 SOS 7903103 HAS SOPS 7900240 HAS SOUS 872377 HAS SOUPS 869516 WITH SCORE 877419.103
AT ITER 4052 NEW BEST:: SOT 13900220 SOS 7903607 HAS SOPS 7900744 HAS SOUS 872357 HAS SOUPS 869496 WITH SCORE 877399.607
AT ITER 4090 NEW BEST:: SOT 13900140 SOS 7903527 HAS SOPS 7900664 HAS SOUS 872269 HAS SOUPS 869408 WITH SCORE 877311.527
AT ITER 4115 NEW BEST:: SOT 13916190 SOS 7919913 HAS SOPS 7919165 HAS SOUS 869969 HAS SOUPS 869223 WITH SCORE 877142.913
AT ITER 4117 NEW BEST:: SOT 13914422 SOS 7918145 HAS SOPS 7917397 HAS SOUS 867524 HAS SOUPS 866778 WITH SCORE 874696.145
AT ITER 4132 NEW BEST:: SOT 13914416 SOS 7918571 HAS SOPS 7917823 HAS SOUS 867518 HAS SOUPS 866772 WITH SCORE 874690.571
AT ITER 4152 NEW BEST:: SOT 13914416 SOS 7918403 HAS SOPS 7917655 HAS SOUS 867313 HAS SOUPS 866567 WITH SCORE 874485.403
AT ITER 4184 NEW BEST:: SOT 13914416 SOS 7918419 HAS SOPS 7917671 HAS SOUS 867305 HAS SOUPS 866559 WITH SCORE 874477.419
AT ITER 4206 NEW BEST:: SOT 13914416 SOS 7918419 HAS SOPS 7917671 HAS SOUS 867290 HAS SOUPS 866544 WITH SCORE 874462.419
AT ITER 4217 NEW BEST:: SOT 13914416 SOS 7917205 HAS SOPS 7916457 HAS SOUS 867259 HAS SOUPS 866513 WITH SCORE 874430.205
AT ITER 4219 NEW BEST:: SOT 13916190 SOS 7918979 HAS SOPS 7918231 HAS SOUS 866074 HAS SOUPS 865328 WITH SCORE 873246.979
AT ITER 4238 NEW BEST:: SOT 13895916 SOS 7903617 HAS SOPS 7903098 HAS SOUS 863971 HAS SOUPS 863454 WITH SCORE 871357.617
AT ITER 4241 NEW BEST:: SOT 13893960 SOS 7895017 HAS SOPS 7894498 HAS SOUS 859790 HAS SOUPS 859273 WITH SCORE 867168.017
AT ITER 4264 NEW BEST:: SOT 13893960 SOS 7894310 HAS SOPS 7893791 HAS SOUS 859689 HAS SOUPS 859172 WITH SCORE 867066.31
AT ITER 4278 NEW BEST:: SOT 13895193 SOS 7928370 HAS SOPS 7927851 HAS SOUS 859335 HAS SOUPS 858818 WITH SCORE 866746.37
AT ITER 4342 NEW BEST:: SOT 13895193 SOS 7934243 HAS SOPS 7933724 HAS SOUS 858498 HAS SOUPS 857981 WITH SCORE 865915.243
AT ITER 4370 NEW BEST:: SOT 13896851 SOS 7935940 HAS SOPS 7935421 HAS SOUS 857757 HAS SOUPS 857240 WITH SCORE 865175.94
AT ITER 4378 NEW BEST:: SOT 13896851 SOS 7935796 HAS SOPS 7935277 HAS SOUS 857757 HAS SOUPS 857240 WITH SCORE 865175.796
AT ITER 4382 NEW BEST:: SOT 13896851 SOS 7935652 HAS SOPS 7935133 HAS SOUS 857757 HAS SOUPS 857240 WITH SCORE 865175.652
AT ITER 4430 NEW BEST:: SOT 13897499 SOS 7936504 HAS SOPS 7935985 HAS SOUS 856845 HAS SOUPS 856328 WITH SCORE 864264.504
AT ITER 4443 NEW BEST:: SOT 13897791 SOS 7936764 HAS SOPS 7936245 HAS SOUS 853588 HAS SOUPS 853071 WITH SCORE 861007.764
AT ITER 4460 NEW BEST:: SOT 13895020 SOS 7933993 HAS SOPS 7933474 HAS SOUS 852158 HAS SOUPS 851641 WITH SCORE 859574.993
AT ITER 4470 NEW BEST:: SOT 13895020 SOS 7926648 HAS SOPS 7926129 HAS SOUS 852097 HAS SOUPS 851580 WITH SCORE 859506.648
AT ITER 4475 NEW BEST:: SOT 13894968 SOS 7926596 HAS SOPS 7926077 HAS SOUS 852045 HAS SOUPS 851528 WITH SCORE 859454.596
AT ITER 4498 NEW BEST:: SOT 13894968 SOS 7926452 HAS SOPS 7925933 HAS SOUS 851994 HAS SOUPS 851477 WITH SCORE 859403.452
AT ITER 4512 NEW BEST:: SOT 13880632 SOS 7916586 HAS SOPS 7916067 HAS SOUS 841928 HAS SOUPS 841411 WITH SCORE 849327.586
AT ITER 4517 NEW BEST:: SOT 13878219 SOS 7914283 HAS SOPS 7913764 HAS SOUS 841608 HAS SOUPS 841091 WITH SCORE 849005.283
AT ITER 4531 NEW BEST:: SOT 13874683 SOS 7910747 HAS SOPS 7910228 HAS SOUS 839141 HAS SOUPS 838624 WITH SCORE 846534.747
AT ITER 4548 NEW BEST:: SOT 13873695 SOS 7909759 HAS SOPS 7909240 HAS SOUS 838723 HAS SOUPS 838206 WITH SCORE 846115.759
AT ITER 4549 NEW BEST:: SOT 13872644 SOS 7908690 HAS SOPS 7908171 HAS SOUS 838166 HAS SOUPS 837649 WITH SCORE 845557.69
AT ITER 4590 NEW BEST:: SOT 13872644 SOS 7908690 HAS SOPS 7908171 HAS SOUS 838147 HAS SOUPS 837630 WITH SCORE 845538.69
AT ITER 4597 NEW BEST:: SOT 13872421 SOS 7908467 HAS SOPS 7907948 HAS SOUS 837995 HAS SOUPS 837478 WITH SCORE 845386.467
AT ITER 4638 NEW BEST:: SOT 13874577 SOS 7910592 HAS SOPS 7910073 HAS SOUS 835304 HAS SOUPS 834787 WITH SCORE 842697.592
AT ITER 4643 NEW BEST:: SOT 13874115 SOS 7910136 HAS SOPS 7909617 HAS SOUS 834364 HAS SOUPS 833847 WITH SCORE 841757.136
AT ITER 4659 NEW BEST:: SOT 13874115 SOS 7910280 HAS SOPS 7909761 HAS SOUS 834250 HAS SOUPS 833733 WITH SCORE 841643.28
AT ITER 4667 NEW BEST:: SOT 13885270 SOS 9205665 HAS SOPS 9205150 HAS SOUS 832672 HAS SOUPS 832157 WITH SCORE 841362.665
AT ITER 4720 NEW BEST:: SOT 13885270 SOS 9205555 HAS SOPS 9205040 HAS SOUS 832617 HAS SOUPS 832102 WITH SCORE 841307.555
AT ITER 4736 NEW BEST:: SOT 13886892 SOS 9206939 HAS SOPS 9206473 HAS SOUS 831534 HAS SOUPS 831068 WITH SCORE 840274.939
AT ITER 4761 NEW BEST:: SOT 13886892 SOS 9206645 HAS SOPS 9206179 HAS SOUS 831387 HAS SOUPS 830921 WITH SCORE 840127.645
AT ITER 4773 NEW BEST:: SOT 13880616 SOS 9201682 HAS SOPS 9201216 HAS SOUS 824056 HAS SOUPS 823590 WITH SCORE 832791.682
AT ITER 4781 NEW BEST:: SOT 13879983 SOS 9201049 HAS SOPS 9200583 HAS SOUS 822762 HAS SOUPS 822296 WITH SCORE 831497.049
AT ITER 4791 NEW BEST:: SOT 13877205 SOS 9198271 HAS SOPS 9197805 HAS SOUS 822418 HAS SOUPS 821952 WITH SCORE 831150.271
AT ITER 4862 NEW BEST:: SOT 13876494 SOS 9197630 HAS SOPS 9197164 HAS SOUS 821019 HAS SOUPS 820553 WITH SCORE 829750.63
AT ITER 4875 NEW BEST:: SOT 13876494 SOS 9194407 HAS SOPS 9193941 HAS SOUS 820930 HAS SOUPS 820464 WITH SCORE 829658.407
AT ITER 4881 NEW BEST:: SOT 13876494 SOS 9194407 HAS SOPS 9193941 HAS SOUS 820923 HAS SOUPS 820457 WITH SCORE 829651.407
AT ITER 4891 NEW BEST:: SOT 13873351 SOS 9191264 HAS SOPS 9190798 HAS SOUS 820057 HAS SOUPS 819591 WITH SCORE 828782.264
AT ITER 4932 NEW BEST:: SOT 13873351 SOS 9190424 HAS SOPS 9189958 HAS SOUS 820057 HAS SOUPS 819591 WITH SCORE 828781.424
AT ITER 4938 NEW BEST:: SOT 13873312 SOS 9190385 HAS SOPS 9189919 HAS SOUS 819974 HAS SOUPS 819508 WITH SCORE 828698.385
AT ITER 4951 NEW BEST:: SOT 13873277 SOS 9190330 HAS SOPS 9189864 HAS SOUS 819883 HAS SOUPS 819417 WITH SCORE 828607.33
AT ITER 4977 NEW BEST:: SOT 13873277 SOS 9190290 HAS SOPS 9189824 HAS SOUS 818059 HAS SOUPS 817593 WITH SCORE 826783.29
AT ITER 4979 NEW BEST:: SOT 13873277 SOS 9188270 HAS SOPS 9187804 HAS SOUS 817982 HAS SOUPS 817516 WITH SCORE 826704.27
AT ITER 4993 NEW BEST:: SOT 13873250 SOS 9188243 HAS SOPS 9187777 HAS SOUS 817955 HAS SOUPS 817489 WITH SCORE 826677.243
AT ITER 4995 NEW BEST:: SOT 13883430 SOS 9198423 HAS SOPS 9197957 HAS SOUS 816779 HAS SOUPS 816313 WITH SCORE 825511.423
AT ITER 5001 NEW BEST:: SOT 13885177 SOS 9200170 HAS SOPS 9199704 HAS SOUS 816598 HAS SOUPS 816132 WITH SCORE 825332.17
AT ITER 5012 NEW BEST:: SOT 13887410 SOS 9207789 HAS SOPS 9207323 HAS SOUS 815024 HAS SOUPS 814558 WITH SCORE 823765.789
AT ITER 5045 NEW BEST:: SOT 13886091 SOS 9205916 HAS SOPS 9205407 HAS SOUS 814527 HAS SOUPS 814044 WITH SCORE 823249.916
AT ITER 5051 NEW BEST:: SOT 13885514 SOS 9205339 HAS SOPS 9204830 HAS SOUS 813223 HAS SOUPS 812740 WITH SCORE 821945.339
AT ITER 5089 NEW BEST:: SOT 13885454 SOS 9204559 HAS SOPS 9204050 HAS SOUS 813096 HAS SOUPS 812613 WITH SCORE 821817.559
AT ITER 5111 NEW BEST:: SOT 13881411 SOS 9200516 HAS SOPS 9200007 HAS SOUS 810099 HAS SOUPS 809616 WITH SCORE 818816.516
AT ITER 5119 NEW BEST:: SOT 13881411 SOS 9200492 HAS SOPS 9199983 HAS SOUS 810059 HAS SOUPS 809576 WITH SCORE 818776.492
AT ITER 5144 NEW BEST:: SOT 13882405 SOS 9210342 HAS SOPS 9209833 HAS SOUS 809459 HAS SOUPS 808976 WITH SCORE 818186.342
AT ITER 5199 NEW BEST:: SOT 13882191 SOS 9210124 HAS SOPS 9209615 HAS SOUS 809053 HAS SOUPS 808570 WITH SCORE 817780.124
AT ITER 5208 NEW BEST:: SOT 13882191 SOS 9210124 HAS SOPS 9209615 HAS SOUS 809045 HAS SOUPS 808562 WITH SCORE 817772.124
AT ITER 5213 NEW BEST:: SOT 13882191 SOS 9210119 HAS SOPS 9209610 HAS SOUS 808982 HAS SOUPS 808499 WITH SCORE 817709.119
AT ITER 5220 NEW BEST:: SOT 13883510 SOS 9211438 HAS SOPS 9210929 HAS SOUS 806789 HAS SOUPS 806306 WITH SCORE 815517.438
AT ITER 5234 NEW BEST:: SOT 13889423 SOS 9217549 HAS SOPS 9217040 HAS SOUS 806583 HAS SOUPS 806100 WITH SCORE 815317.549
AT ITER 5247 NEW BEST:: SOT 13889423 SOS 9217549 HAS SOPS 9217040 HAS SOUS 806465 HAS SOUPS 805982 WITH SCORE 815199.549
AT ITER 5253 NEW BEST:: SOT 13889423 SOS 9217330 HAS SOPS 9216821 HAS SOUS 806462 HAS SOUPS 805979 WITH SCORE 815196.33
AT ITER 5274 NEW BEST:: SOT 13891109 SOS 9219010 HAS SOPS 9218501 HAS SOUS 806174 HAS SOUPS 805691 WITH SCORE 814910.01
AT ITER 5299 NEW BEST:: SOT 13891109 SOS 9214176 HAS SOPS 9213667 HAS SOUS 806110 HAS SOUPS 805627 WITH SCORE 814841.176
AT ITER 5336 NEW BEST:: SOT 13891043 SOS 9218400 HAS SOPS 9217891 HAS SOUS 805978 HAS SOUPS 805495 WITH SCORE 814713.4
AT ITER 5358 NEW BEST:: SOT 13891043 SOS 9257804 HAS SOPS 9257295 HAS SOUS 805906 HAS SOUPS 805423 WITH SCORE 814680.804
AT ITER 5376 NEW BEST:: SOT 13891043 SOS 9257708 HAS SOPS 9257199 HAS SOUS 805906 HAS SOUPS 805423 WITH SCORE 814680.708
AT ITER 5391 NEW BEST:: SOT 13891017 SOS 9282941 HAS SOPS 9282432 HAS SOUS 805867 HAS SOUPS 805384 WITH SCORE 814666.941
AT ITER 5398 NEW BEST:: SOT 13892051 SOS 9284095 HAS SOPS 9283586 HAS SOUS 800411 HAS SOUPS 799928 WITH SCORE 809212.095
AT ITER 5446 NEW BEST:: SOT 13893110 SOS 9285088 HAS SOPS 9284579 HAS SOUS 798412 HAS SOUPS 797929 WITH SCORE 807214.088
AT ITER 5502 NEW BEST:: SOT 13893085 SOS 9285063 HAS SOPS 9284554 HAS SOUS 798391 HAS SOUPS 797908 WITH SCORE 807193.063
AT ITER 5505 NEW BEST:: SOT 13893085 SOS 9285018 HAS SOPS 9284509 HAS SOUS 798346 HAS SOUPS 797863 WITH SCORE 807148.018
AT ITER 5529 NEW BEST:: SOT 13893051 SOS 9284984 HAS SOPS 9284475 HAS SOUS 798296 HAS SOUPS 797813 WITH SCORE 807097.984
AT ITER 5540 NEW BEST:: SOT 13893051 SOS 9284809 HAS SOPS 9284300 HAS SOUS 798271 HAS SOUPS 797788 WITH SCORE 807072.809
AT ITER 5545 NEW BEST:: SOT 13893051 SOS 9280219 HAS SOPS 9279710 HAS SOUS 798271 HAS SOUPS 797788 WITH SCORE 807068.219
AT ITER 5575 NEW BEST:: SOT 13893051 SOS 9278779 HAS SOPS 9278270 HAS SOUS 798271 HAS SOUPS 797788 WITH SCORE 807066.779
AT ITER 5579 NEW BEST:: SOT 13892980 SOS 9278708 HAS SOPS 9278199 HAS SOUS 798032 HAS SOUPS 797549 WITH SCORE 806827.708
AT ITER 5605 NEW BEST:: SOT 13897258 SOS 9282716 HAS SOPS 9282237 HAS SOUS 796931 HAS SOUPS 796470 WITH SCORE 805752.716
AT ITER 5610 NEW BEST:: SOT 13895633 SOS 9281091 HAS SOPS 9280612 HAS SOUS 795731 HAS SOUPS 795270 WITH SCORE 804551.091
AT ITER 5630 NEW BEST:: SOT 13895633 SOS 9280095 HAS SOPS 9279616 HAS SOUS 795648 HAS SOUPS 795187 WITH SCORE 804467.095
AT ITER 5638 NEW BEST:: SOT 13898057 SOS 9282185 HAS SOPS 9281706 HAS SOUS 794629 HAS SOUPS 794168 WITH SCORE 803450.185
AT ITER 5668 NEW BEST:: SOT 13897831 SOS 9281959 HAS SOPS 9281480 HAS SOUS 794133 HAS SOUPS 793672 WITH SCORE 802953.959
AT ITER 5671 NEW BEST:: SOT 13897831 SOS 9281455 HAS SOPS 9280976 HAS SOUS 794133 HAS SOUPS 793672 WITH SCORE 802953.455
AT ITER 5681 NEW BEST:: SOT 13903680 SOS 9287304 HAS SOPS 9286825 HAS SOUS 794107 HAS SOUPS 793646 WITH SCORE 802933.304
AT ITER 5682 NEW BEST:: SOT 13902767 SOS 9286391 HAS SOPS 9285912 HAS SOUS 792244 HAS SOUPS 791783 WITH SCORE 801069.391
AT ITER 5689 NEW BEST:: SOT 13902767 SOS 9286391 HAS SOPS 9285912 HAS SOUS 792184 HAS SOUPS 791723 WITH SCORE 801009.391
AT ITER 5692 NEW BEST:: SOT 13903438 SOS 9287256 HAS SOPS 9286777 HAS SOUS 788321 HAS SOUPS 787860 WITH SCORE 797147.256
AT ITER 5695 NEW BEST:: SOT 13904951 SOS 9291937 HAS SOPS 9291458 HAS SOUS 782578 HAS SOUPS 782117 WITH SCORE 791408.937
AT ITER 5711 NEW BEST:: SOT 13904907 SOS 9291893 HAS SOPS 9291414 HAS SOUS 782441 HAS SOUPS 781980 WITH SCORE 791271.893
AT ITER 5738 NEW BEST:: SOT 13904907 SOS 9290266 HAS SOPS 9289787 HAS SOUS 782398 HAS SOUPS 781937 WITH SCORE 791227.266
AT ITER 5782 NEW BEST:: SOT 13904905 SOS 9290264 HAS SOPS 9289785 HAS SOUS 782392 HAS SOUPS 781931 WITH SCORE 791221.264
AT ITER 5801 NEW BEST:: SOT 13904901 SOS 9290260 HAS SOPS 9289781 HAS SOUS 782388 HAS SOUPS 781927 WITH SCORE 791217.26
AT ITER 5821 NEW BEST:: SOT 13904901 SOS 9287172 HAS SOPS 9286693 HAS SOUS 782245 HAS SOUPS 781784 WITH SCORE 791071.172
AT ITER 5826 NEW BEST:: SOT 13904885 SOS 9287156 HAS SOPS 9286677 HAS SOUS 782229 HAS SOUPS 781768 WITH SCORE 791055.156
AT ITER 5837 NEW BEST:: SOT 13904885 SOS 9286988 HAS SOPS 9286509 HAS SOUS 782187 HAS SOUPS 781726 WITH SCORE 791012.988
AT ITER 5840 NEW BEST:: SOT 13904885 SOS 9283952 HAS SOPS 9283473 HAS SOUS 782187 HAS SOUPS 781726 WITH SCORE 791009.952
AT ITER 5847 NEW BEST:: SOT 13905157 SOS 9284224 HAS SOPS 9283745 HAS SOUS 782084 HAS SOUPS 781623 WITH SCORE 790907.224
AT ITER 5876 NEW BEST:: SOT 13903074 SOS 9282141 HAS SOPS 9281662 HAS SOUS 780852 HAS SOUPS 780391 WITH SCORE 789673.141
AT ITER 5886 NEW BEST:: SOT 13898388 SOS 9276802 HAS SOPS 9276298 HAS SOUS 771687 HAS SOUPS 771201 WITH SCORE 780477.802
AT ITER 5891 NEW BEST:: SOT 13898388 SOS 9278242 HAS SOPS 9277738 HAS SOUS 770664 HAS SOUPS 770178 WITH SCORE 779456.242
AT ITER 5906 NEW BEST:: SOT 13898388 SOS 9275468 HAS SOPS 9274964 HAS SOUS 770626 HAS SOUPS 770140 WITH SCORE 779415.468
AT ITER 5953 NEW BEST:: SOT 13901223 SOS 9278291 HAS SOPS 9277787 HAS SOUS 769497 HAS SOUPS 769011 WITH SCORE 778289.291
AT ITER 5977 NEW BEST:: SOT 13901183 SOS 9278251 HAS SOPS 9277747 HAS SOUS 769457 HAS SOUPS 768971 WITH SCORE 778249.251
AT ITER 6038 NEW BEST:: SOT 13901154 SOS 9278222 HAS SOPS 9277718 HAS SOUS 769418 HAS SOUPS 768932 WITH SCORE 778210.222
AT ITER 6039 NEW BEST:: SOT 13900800 SOS 9277862 HAS SOPS 9277358 HAS SOUS 769166 HAS SOUPS 768680 WITH SCORE 777957.862
AT ITER 6056 NEW BEST:: SOT 13900748 SOS 9277786 HAS SOPS 9277282 HAS SOUS 767204 HAS SOUPS 766718 WITH SCORE 775995.786
AT ITER 6095 NEW BEST:: SOT 13902315 SOS 9279563 HAS SOPS 9279059 HAS SOUS 766286 HAS SOUPS 765800 WITH SCORE 775079.563
AT ITER 6096 NEW BEST:: SOT 13898289 SOS 9275537 HAS SOPS 9275033 HAS SOUS 762504 HAS SOUPS 762018 WITH SCORE 771293.537
AT ITER 6152 NEW BEST:: SOT 13898273 SOS 9275548 HAS SOPS 9275044 HAS SOUS 762434 HAS SOUPS 761948 WITH SCORE 771223.548
AT ITER 6162 NEW BEST:: SOT 13898273 SOS 9275764 HAS SOPS 9275260 HAS SOUS 762431 HAS SOUPS 761945 WITH SCORE 771220.764
AT ITER 6175 NEW BEST:: SOT 13897022 SOS 9281435 HAS SOPS 9280931 HAS SOUS 761201 HAS SOUPS 760715 WITH SCORE 769996.435
AT ITER 6202 NEW BEST:: SOT 13897022 SOS 9275759 HAS SOPS 9275255 HAS SOUS 761201 HAS SOUPS 760715 WITH SCORE 769990.759
AT ITER 6229 NEW BEST:: SOT 13897022 SOS 9275543 HAS SOPS 9275039 HAS SOUS 761198 HAS SOUPS 760712 WITH SCORE 769987.543
AT ITER 6232 NEW BEST:: SOT 13892701 SOS 9271156 HAS SOPS 9270652 HAS SOUS 754322 HAS SOUPS 753836 WITH SCORE 763107.156
AT ITER 6271 NEW BEST:: SOT 13892320 SOS 9270775 HAS SOPS 9270271 HAS SOUS 753968 HAS SOUPS 753482 WITH SCORE 762752.775
AT ITER 6288 NEW BEST:: SOT 13892309 SOS 9270742 HAS SOPS 9270238 HAS SOUS 753242 HAS SOUPS 752756 WITH SCORE 762026.742
AT ITER 6289 NEW BEST:: SOT 13894002 SOS 9272435 HAS SOPS 9271931 HAS SOUS 753188 HAS SOUPS 752702 WITH SCORE 761974.435
AT ITER 6295 NEW BEST:: SOT 13894002 SOS 9271931 HAS SOPS 9271427 HAS SOUS 753188 HAS SOUPS 752702 WITH SCORE 761973.931
AT ITER 6309 NEW BEST:: SOT 13902730 SOS 9280659 HAS SOPS 9280155 HAS SOUS 743007 HAS SOUPS 742521 WITH SCORE 751801.659
AT ITER 6315 NEW BEST:: SOT 13902699 SOS 9280628 HAS SOPS 9280124 HAS SOUS 742980 HAS SOUPS 742494 WITH SCORE 751774.628
AT ITER 6323 NEW BEST:: SOT 13902699 SOS 9279764 HAS SOPS 9279260 HAS SOUS 742980 HAS SOUPS 742494 WITH SCORE 751773.764
AT ITER 6328 NEW BEST:: SOT 13902683 SOS 9279748 HAS SOPS 9279244 HAS SOUS 742964 HAS SOUPS 742478 WITH SCORE 751757.748
AT ITER 6335 NEW BEST:: SOT 13902686 SOS 9279160 HAS SOPS 9278656 HAS SOUS 742911 HAS SOUPS 742425 WITH SCORE 751704.16
AT ITER 6360 NEW BEST:: SOT 13901438 SOS 9277912 HAS SOPS 9277408 HAS SOUS 741873 HAS SOUPS 741387 WITH SCORE 750664.912
AT ITER 6385 NEW BEST:: SOT 13898910 SOS 9272144 HAS SOPS 9271640 HAS SOUS 739077 HAS SOUPS 738591 WITH SCORE 747863.144
AT ITER 6386 NEW BEST:: SOT 13898910 SOS 9272034 HAS SOPS 9271530 HAS SOUS 738950 HAS SOUPS 738464 WITH SCORE 747736.034
AT ITER 6393 NEW BEST:: SOT 13898880 SOS 9272004 HAS SOPS 9271500 HAS SOUS 738943 HAS SOUPS 738457 WITH SCORE 747729.004
AT ITER 6396 NEW BEST:: SOT 13898454 SOS 9271583 HAS SOPS 9271080 HAS SOUS 738328 HAS SOUPS 737843 WITH SCORE 747114.583
AT ITER 6402 NEW BEST:: SOT 13894673 SOS 9267802 HAS SOPS 9267299 HAS SOUS 735604 HAS SOUPS 735119 WITH SCORE 744386.802
AT ITER 6406 NEW BEST:: SOT 13894974 SOS 9268103 HAS SOPS 9267600 HAS SOUS 735477 HAS SOUPS 734992 WITH SCORE 744260.103
AT ITER 6408 NEW BEST:: SOT 13894921 SOS 9268354 HAS SOPS 9267851 HAS SOUS 735476 HAS SOUPS 734991 WITH SCORE 744259.354
AT ITER 6411 NEW BEST:: SOT 13894375 SOS 9267808 HAS SOPS 9267305 HAS SOUS 735090 HAS SOUPS 734605 WITH SCORE 743872.808
AT ITER 6413 NEW BEST:: SOT 13894293 SOS 9262300 HAS SOPS 9261797 HAS SOUS 734958 HAS SOUPS 734473 WITH SCORE 743735.3
AT ITER 6420 NEW BEST:: SOT 13893866 SOS 9261873 HAS SOPS 9261370 HAS SOUS 734849 HAS SOUPS 734364 WITH SCORE 743625.873
AT ITER 6440 NEW BEST:: SOT 13893746 SOS 9261753 HAS SOPS 9261250 HAS SOUS 734569 HAS SOUPS 734084 WITH SCORE 743345.753
AT ITER 6447 NEW BEST:: SOT 13891890 SOS 9259897 HAS SOPS 9259394 HAS SOUS 733343 HAS SOUPS 732858 WITH SCORE 742117.897
AT ITER 6536 NEW BEST:: SOT 13891890 SOS 9263669 HAS SOPS 9263166 HAS SOUS 733224 HAS SOUPS 732739 WITH SCORE 742002.669
AT ITER 6544 NEW BEST:: SOT 13891890 SOS 9262229 HAS SOPS 9261726 HAS SOUS 733224 HAS SOUPS 732739 WITH SCORE 742001.229
AT ITER 6565 NEW BEST:: SOT 13891883 SOS 9262222 HAS SOPS 9261719 HAS SOUS 733224 HAS SOUPS 732739 WITH SCORE 742001.222
AT ITER 6566 NEW BEST:: SOT 13891791 SOS 9262274 HAS SOPS 9261753 HAS SOUS 732436 HAS SOUPS 731933 WITH SCORE 741195.274
AT ITER 6610 NEW BEST:: SOT 13891939 SOS 9262422 HAS SOPS 9261901 HAS SOUS 732404 HAS SOUPS 731901 WITH SCORE 741163.422
AT ITER 6648 NEW BEST:: SOT 13891503 SOS 9265050 HAS SOPS 9264529 HAS SOUS 731574 HAS SOUPS 731071 WITH SCORE 740336.05
AT ITER 6700 NEW BEST:: SOT 13891498 SOS 9271952 HAS SOPS 9271431 HAS SOUS 731562 HAS SOUPS 731059 WITH SCORE 740330.952
AT ITER 6715 NEW BEST:: SOT 13891390 SOS 9271844 HAS SOPS 9271323 HAS SOUS 731339 HAS SOUPS 730836 WITH SCORE 740107.844
AT ITER 6726 NEW BEST:: SOT 13891297 SOS 9271751 HAS SOPS 9271230 HAS SOUS 730826 HAS SOUPS 730323 WITH SCORE 739594.751
AT ITER 6753 NEW BEST:: SOT 13891297 SOS 9272039 HAS SOPS 9271518 HAS SOUS 730741 HAS SOUPS 730238 WITH SCORE 739510.039
AT ITER 6758 NEW BEST:: SOT 13891372 SOS 9272112 HAS SOPS 9271591 HAS SOUS 730688 HAS SOUPS 730185 WITH SCORE 739457.112
AT ITER 6760 NEW BEST:: SOT 13891374 SOS 9269954 HAS SOPS 9269433 HAS SOUS 730690 HAS SOUPS 730187 WITH SCORE 739456.954
AT ITER 6777 NEW BEST:: SOT 13888062 SOS 9266642 HAS SOPS 9266121 HAS SOUS 730190 HAS SOUPS 729687 WITH SCORE 738953.642
AT ITER 6783 NEW BEST:: SOT 13888062 SOS 9265094 HAS SOPS 9264573 HAS SOUS 730190 HAS SOUPS 729687 WITH SCORE 738952.094
AT ITER 6808 NEW BEST:: SOT 13888062 SOS 9258728 HAS SOPS 9258207 HAS SOUS 730094 HAS SOUPS 729591 WITH SCORE 738849.728
AT ITER 6839 NEW BEST:: SOT 13887408 SOS 9256994 HAS SOPS 9256473 HAS SOUS 729236 HAS SOUPS 728733 WITH SCORE 737989.994
AT ITER 6844 NEW BEST:: SOT 13887364 SOS 9256950 HAS SOPS 9256429 HAS SOUS 729190 HAS SOUPS 728687 WITH SCORE 737943.95
AT ITER 6847 NEW BEST:: SOT 13885208 SOS 9254794 HAS SOPS 9254273 HAS SOUS 728113 HAS SOUPS 727610 WITH SCORE 736864.794
AT ITER 6860 NEW BEST:: SOT 13885257 SOS 9254843 HAS SOPS 9254322 HAS SOUS 728099 HAS SOUPS 727596 WITH SCORE 736850.843
AT ITER 6862 NEW BEST:: SOT 13885237 SOS 9254823 HAS SOPS 9254302 HAS SOUS 728071 HAS SOUPS 727568 WITH SCORE 736822.823
AT ITER 6878 NEW BEST:: SOT 13885237 SOS 9253288 HAS SOPS 9252767 HAS SOUS 728048 HAS SOUPS 727545 WITH SCORE 736798.288
AT ITER 6911 NEW BEST:: SOT 13885037 SOS 9253080 HAS SOPS 9252559 HAS SOUS 727632 HAS SOUPS 727129 WITH SCORE 736382.08
AT ITER 6916 NEW BEST:: SOT 13885858 SOS 9253901 HAS SOPS 9253380 HAS SOUS 727424 HAS SOUPS 726921 WITH SCORE 736174.901
AT ITER 6927 NEW BEST:: SOT 13881242 SOS 9249247 HAS SOPS 9248726 HAS SOUS 722620 HAS SOUPS 722117 WITH SCORE 731366.247
AT ITER 6932 NEW BEST:: SOT 13881239 SOS 9249244 HAS SOPS 9248723 HAS SOUS 722500 HAS SOUPS 721997 WITH SCORE 731246.244
AT ITER 6939 NEW BEST:: SOT 13882136 SOS 9250109 HAS SOPS 9249588 HAS SOUS 721807 HAS SOUPS 721304 WITH SCORE 730554.109
AT ITER 6942 NEW BEST:: SOT 13880633 SOS 9248606 HAS SOPS 9248085 HAS SOUS 720712 HAS SOUPS 720209 WITH SCORE 729457.606
AT ITER 6954 NEW BEST:: SOT 13880896 SOS 9248869 HAS SOPS 9248348 HAS SOUS 717044 HAS SOUPS 716541 WITH SCORE 725789.869
AT ITER 6992 NEW BEST:: SOT 13880242 SOS 9248183 HAS SOPS 9247662 HAS SOUS 716693 HAS SOUPS 716190 WITH SCORE 725438.183
AT ITER 7011 NEW BEST:: SOT 13880213 SOS 9248154 HAS SOPS 9247633 HAS SOUS 716664 HAS SOUPS 716161 WITH SCORE 725409.154
AT ITER 7013 NEW BEST:: SOT 13880210 SOS 9248151 HAS SOPS 9247630 HAS SOUS 716661 HAS SOUPS 716158 WITH SCORE 725406.151
AT ITER 7136 NEW BEST:: SOT 13880125 SOS 9248066 HAS SOPS 9247545 HAS SOUS 716575 HAS SOUPS 716072 WITH SCORE 725320.066
AT ITER 7144 NEW BEST:: SOT 13880123 SOS 9248064 HAS SOPS 9247543 HAS SOUS 716573 HAS SOUPS 716070 WITH SCORE 725318.064
AT ITER 7151 NEW BEST:: SOT 13880123 SOS 9244752 HAS SOPS 9244231 HAS SOUS 716573 HAS SOUPS 716070 WITH SCORE 725314.752
AT ITER 7168 NEW BEST:: SOT 13880123 SOS 9246696 HAS SOPS 9246175 HAS SOUS 716469 HAS SOUPS 715966 WITH SCORE 725212.696
AT ITER 7169 NEW BEST:: SOT 13880123 SOS 9246696 HAS SOPS 9246175 HAS SOUS 716349 HAS SOUPS 715846 WITH SCORE 725092.696
AT ITER 7210 NEW BEST:: SOT 13878290 SOS 9244725 HAS SOPS 9244204 HAS SOUS 715391 HAS SOUPS 714888 WITH SCORE 724132.725
AT ITER 7215 NEW BEST:: SOT 13878290 SOS 9244618 HAS SOPS 9244097 HAS SOUS 715284 HAS SOUPS 714781 WITH SCORE 724025.618
AT ITER 7227 NEW BEST:: SOT 13877974 SOS 9244302 HAS SOPS 9243781 HAS SOUS 714646 HAS SOUPS 714143 WITH SCORE 723387.302
AT ITER 7240 NEW BEST:: SOT 13877974 SOS 9244182 HAS SOPS 9243661 HAS SOUS 714644 HAS SOUPS 714141 WITH SCORE 723385.182
AT ITER 7277 NEW BEST:: SOT 13877974 SOS 9240677 HAS SOPS 9240156 HAS SOUS 714246 HAS SOUPS 713743 WITH SCORE 722983.677
AT ITER 7289 NEW BEST:: SOT 13877974 SOS 9237293 HAS SOPS 9236772 HAS SOUS 714144 HAS SOUPS 713641 WITH SCORE 722878.293
AT ITER 7312 NEW BEST:: SOT 13878868 SOS 9238187 HAS SOPS 9237666 HAS SOUS 713184 HAS SOUPS 712681 WITH SCORE 721919.187
AT ITER 7322 NEW BEST:: SOT 13878936 SOS 9238255 HAS SOPS 9237734 HAS SOUS 713073 HAS SOUPS 712570 WITH SCORE 721808.255
AT ITER 7334 NEW BEST:: SOT 13878936 SOS 9237911 HAS SOPS 9237390 HAS SOUS 713061 HAS SOUPS 712558 WITH SCORE 721795.911
AT ITER 7343 NEW BEST:: SOT 13877885 SOS 9236860 HAS SOPS 9236339 HAS SOUS 710913 HAS SOUPS 710410 WITH SCORE 719646.86
AT ITER 7358 NEW BEST:: SOT 13877889 SOS 9236864 HAS SOPS 9236343 HAS SOUS 710905 HAS SOUPS 710402 WITH SCORE 719638.864
AT ITER 7417 NEW BEST:: SOT 13877889 SOS 9236640 HAS SOPS 9236119 HAS SOUS 710889 HAS SOUPS 710386 WITH SCORE 719622.64
AT ITER 7431 NEW BEST:: SOT 13879188 SOS 9237939 HAS SOPS 9237418 HAS SOUS 707318 HAS SOUPS 706815 WITH SCORE 716052.939
AT ITER 7449 NEW BEST:: SOT 13878986 SOS 9237737 HAS SOPS 9237216 HAS SOUS 706876 HAS SOUPS 706373 WITH SCORE 715610.737
AT ITER 7455 NEW BEST:: SOT 13878986 SOS 9237728 HAS SOPS 9237207 HAS SOUS 706867 HAS SOUPS 706364 WITH SCORE 715601.728
AT ITER 7469 NEW BEST:: SOT 13875748 SOS 8120800 HAS SOPS 8120279 HAS SOUS 704212 HAS SOUPS 703709 WITH SCORE 711829.8
AT ITER 7500 NEW BEST:: SOT 13875030 SOS 8120091 HAS SOPS 8119570 HAS SOUS 703658 HAS SOUPS 703155 WITH SCORE 711275.091
AT ITER 7529 NEW BEST:: SOT 13874962 SOS 8120023 HAS SOPS 8119502 HAS SOUS 703603 HAS SOUPS 703100 WITH SCORE 711220.023
AT ITER 7566 NEW BEST:: SOT 13874962 SOS 8119771 HAS SOPS 8119250 HAS SOUS 703552 HAS SOUPS 703049 WITH SCORE 711168.771
AT ITER 7687 NEW BEST:: SOT 13874899 SOS 8114956 HAS SOPS 8114435 HAS SOUS 703028 HAS SOUPS 702525 WITH SCORE 710639.956
AT ITER 7765 NEW BEST:: SOT 13874899 SOS 8112880 HAS SOPS 8112359 HAS SOUS 702986 HAS SOUPS 702483 WITH SCORE 710595.88
AT ITER 7777 NEW BEST:: SOT 13874770 SOS 8112751 HAS SOPS 8112230 HAS SOUS 702924 HAS SOUPS 702421 WITH SCORE 710533.751
AT ITER 7802 NEW BEST:: SOT 13874568 SOS 8112544 HAS SOPS 8112023 HAS SOUS 702475 HAS SOUPS 701972 WITH SCORE 710084.544
AT ITER 7808 NEW BEST:: SOT 13874558 SOS 8112534 HAS SOPS 8112013 HAS SOUS 702465 HAS SOUPS 701962 WITH SCORE 710074.534
AT ITER 7813 NEW BEST:: SOT 13874570 SOS 8112530 HAS SOPS 8112009 HAS SOUS 702449 HAS SOUPS 701946 WITH SCORE 710058.53
AT ITER 7819 NEW BEST:: SOT 13875935 SOS 8113895 HAS SOPS 8113374 HAS SOUS 701517 HAS SOUPS 701014 WITH SCORE 709127.895
AT ITER 7854 NEW BEST:: SOT 13875594 SOS 8113554 HAS SOPS 8113033 HAS SOUS 701200 HAS SOUPS 700697 WITH SCORE 708810.554
AT ITER 7869 NEW BEST:: SOT 13875597 SOS 8111277 HAS SOPS 8110756 HAS SOUS 701047 HAS SOUPS 700544 WITH SCORE 708655.277
AT ITER 7870 NEW BEST:: SOT 13875533 SOS 8111213 HAS SOPS 8110692 HAS SOUS 701005 HAS SOUPS 700502 WITH SCORE 708613.213
AT ITER 7883 NEW BEST:: SOT 13875533 SOS 8110937 HAS SOPS 8110416 HAS SOUS 700945 HAS SOUPS 700442 WITH SCORE 708552.937
AT ITER 7889 NEW BEST:: SOT 13874195 SOS 8109644 HAS SOPS 8109123 HAS SOUS 700250 HAS SOUPS 699747 WITH SCORE 707856.644
AT ITER 7910 NEW BEST:: SOT 13874184 SOS 8109633 HAS SOPS 8109112 HAS SOUS 700250 HAS SOUPS 699747 WITH SCORE 707856.633
AT ITER 7914 NEW BEST:: SOT 13874184 SOS 8109633 HAS SOPS 8109112 HAS SOUS 700224 HAS SOUPS 699721 WITH SCORE 707830.633
AT ITER 7932 NEW BEST:: SOT 13874184 SOS 8109535 HAS SOPS 8109014 HAS SOUS 700206 HAS SOUPS 699703 WITH SCORE 707812.535
AT ITER 7937 NEW BEST:: SOT 13875014 SOS 8110332 HAS SOPS 8109811 HAS SOUS 698821 HAS SOUPS 698318 WITH SCORE 706428.332
AT ITER 7945 NEW BEST:: SOT 13874990 SOS 8110300 HAS SOPS 8109779 HAS SOUS 698797 HAS SOUPS 698294 WITH SCORE 706404.3
AT ITER 7971 NEW BEST:: SOT 13874647 SOS 8109741 HAS SOPS 8109220 HAS SOUS 698682 HAS SOUPS 698179 WITH SCORE 706288.741
AT ITER 7972 NEW BEST:: SOT 13874647 SOS 8109644 HAS SOPS 8109142 HAS SOUS 698662 HAS SOUPS 698172 WITH SCORE 706281.644
AT ITER 7983 NEW BEST:: SOT 13874647 SOS 8108784 HAS SOPS 8108282 HAS SOUS 698632 HAS SOUPS 698142 WITH SCORE 706250.784
AT ITER 8003 NEW BEST:: SOT 13874674 SOS 8108811 HAS SOPS 8108309 HAS SOUS 698129 HAS SOUPS 697639 WITH SCORE 705747.811
AT ITER 8017 NEW BEST:: SOT 13874664 SOS 8108801 HAS SOPS 8108299 HAS SOUS 698119 HAS SOUPS 697629 WITH SCORE 705737.801
AT ITER 8045 NEW BEST:: SOT 13874664 SOS 8108739 HAS SOPS 8108237 HAS SOUS 697912 HAS SOUPS 697422 WITH SCORE 705530.739
AT ITER 8060 NEW BEST:: SOT 13874664 SOS 8105715 HAS SOPS 8105213 HAS SOUS 697912 HAS SOUPS 697422 WITH SCORE 705527.715
AT ITER 8082 NEW BEST:: SOT 13874664 SOS 8105223 HAS SOPS 8104721 HAS SOUS 697789 HAS SOUPS 697299 WITH SCORE 705404.223
AT ITER 8089 NEW BEST:: SOT 13874664 SOS 8104523 HAS SOPS 8104021 HAS SOUS 697614 HAS SOUPS 697124 WITH SCORE 705228.523
AT ITER 8090 NEW BEST:: SOT 13874664 SOS 8103351 HAS SOPS 8102849 HAS SOUS 697592 HAS SOUPS 697102 WITH SCORE 705205.351
AT ITER 8094 NEW BEST:: SOT 13873471 SOS 8102158 HAS SOPS 8101656 HAS SOUS 696537 HAS SOUPS 696047 WITH SCORE 704149.158
AT ITER 8095 NEW BEST:: SOT 13873509 SOS 8102196 HAS SOPS 8101694 HAS SOUS 696497 HAS SOUPS 696007 WITH SCORE 704109.196
AT ITER 8125 NEW BEST:: SOT 13873494 SOS 8102181 HAS SOPS 8101679 HAS SOUS 696482 HAS SOUPS 695992 WITH SCORE 704094.181
AT ITER 8129 NEW BEST:: SOT 13873472 SOS 8102157 HAS SOPS 8101655 HAS SOUS 696398 HAS SOUPS 695908 WITH SCORE 704010.157
AT ITER 8226 NEW BEST:: SOT 13873894 SOS 8102579 HAS SOPS 8102077 HAS SOUS 695514 HAS SOUPS 695024 WITH SCORE 703126.579
AT ITER 8237 NEW BEST:: SOT 13872678 SOS 8101363 HAS SOPS 8100861 HAS SOUS 694540 HAS SOUPS 694050 WITH SCORE 702151.363
AT ITER 8244 NEW BEST:: SOT 13872678 SOS 8100411 HAS SOPS 8099909 HAS SOUS 694526 HAS SOUPS 694036 WITH SCORE 702136.411
AT ITER 8247 NEW BEST:: SOT 13871750 SOS 8099471 HAS SOPS 8098969 HAS SOUS 694490 HAS SOUPS 694000 WITH SCORE 702099.471
AT ITER 8289 NEW BEST:: SOT 13871750 SOS 8099471 HAS SOPS 8098969 HAS SOUS 694479 HAS SOUPS 693989 WITH SCORE 702088.471
AT ITER 8334 NEW BEST:: SOT 13871750 SOS 8099183 HAS SOPS 8098681 HAS SOUS 694470 HAS SOUPS 693980 WITH SCORE 702079.183
AT ITER 8342 NEW BEST:: SOT 13871750 SOS 8094956 HAS SOPS 8094454 HAS SOUS 694470 HAS SOUPS 693980 WITH SCORE 702074.956
AT ITER 8386 NEW BEST:: SOT 13871661 SOS 8094867 HAS SOPS 8094365 HAS SOUS 694415 HAS SOUPS 693925 WITH SCORE 702019.867
AT ITER 8390 NEW BEST:: SOT 13871661 SOS 8096811 HAS SOPS 8096309 HAS SOUS 694353 HAS SOUPS 693863 WITH SCORE 701959.811
AT ITER 8400 NEW BEST:: SOT 13871661 SOS 8095299 HAS SOPS 8094797 HAS SOUS 694353 HAS SOUPS 693863 WITH SCORE 701958.299
AT ITER 8431 NEW BEST:: SOT 13871644 SOS 8095282 HAS SOPS 8094780 HAS SOUS 694336 HAS SOUPS 693846 WITH SCORE 701941.282
AT ITER 8466 NEW BEST:: SOT 13871589 SOS 8095227 HAS SOPS 8094725 HAS SOUS 693492 HAS SOUPS 693002 WITH SCORE 701097.227
AT ITER 8503 NEW BEST:: SOT 13871589 SOS 8097459 HAS SOPS 8096957 HAS SOUS 693461 HAS SOUPS 692971 WITH SCORE 701068.459
AT ITER 8504 NEW BEST:: SOT 13871570 SOS 8097421 HAS SOPS 8096919 HAS SOUS 693439 HAS SOUPS 692949 WITH SCORE 701046.421
AT ITER 8540 NEW BEST:: SOT 13871513 SOS 8097364 HAS SOPS 8096862 HAS SOUS 693197 HAS SOUPS 692707 WITH SCORE 700804.364
AT ITER 8545 NEW BEST:: SOT 13871501 SOS 8097352 HAS SOPS 8096850 HAS SOUS 693185 HAS SOUPS 692695 WITH SCORE 700792.352
AT ITER 8556 NEW BEST:: SOT 13871501 SOS 8102790 HAS SOPS 8102288 HAS SOUS 692263 HAS SOUPS 691773 WITH SCORE 699875.79
AT ITER 8566 NEW BEST:: SOT 13871501 SOS 8103294 HAS SOPS 8102792 HAS SOUS 692256 HAS SOUPS 691766 WITH SCORE 699869.294
AT ITER 8653 NEW BEST:: SOT 13871501 SOS 8102934 HAS SOPS 8102432 HAS SOUS 692256 HAS SOUPS 691766 WITH SCORE 699868.934
AT ITER 8675 NEW BEST:: SOT 13871936 SOS 8103369 HAS SOPS 8102867 HAS SOUS 691952 HAS SOUPS 691462 WITH SCORE 699565.369
AT ITER 8680 NEW BEST:: SOT 13871264 SOS 8102701 HAS SOPS 8102199 HAS SOUS 691943 HAS SOUPS 691453 WITH SCORE 699555.701
AT ITER 8766 NEW BEST:: SOT 13870415 SOS 8102036 HAS SOPS 8101534 HAS SOUS 691260 HAS SOUPS 690770 WITH SCORE 698872.036
AT ITER 8782 NEW BEST:: SOT 13864536 SOS 8096256 HAS SOPS 8095754 HAS SOUS 690579 HAS SOUPS 690089 WITH SCORE 698185.256
AT ITER 8814 NEW BEST:: SOT 13864536 SOS 8095680 HAS SOPS 8095178 HAS SOUS 690579 HAS SOUPS 690089 WITH SCORE 698184.68
AT ITER 8879 NEW BEST:: SOT 13864552 SOS 8095696 HAS SOPS 8095194 HAS SOUS 688896 HAS SOUPS 688406 WITH SCORE 696501.696
AT ITER 8909 NEW BEST:: SOT 13864552 SOS 8094380 HAS SOPS 8093878 HAS SOUS 688896 HAS SOUPS 688406 WITH SCORE 696500.38
AT ITER 8940 NEW BEST:: SOT 13864525 SOS 8094353 HAS SOPS 8093851 HAS SOUS 688869 HAS SOUPS 688379 WITH SCORE 696473.353
AT ITER 9009 NEW BEST:: SOT 13856540 SOS 8086368 HAS SOPS 8085866 HAS SOUS 688816 HAS SOUPS 688326 WITH SCORE 696412.368
AT ITER 9075 NEW BEST:: SOT 13856885 SOS 8086713 HAS SOPS 8086211 HAS SOUS 688538 HAS SOUPS 688048 WITH SCORE 696134.713
AT ITER 9079 NEW BEST:: SOT 13856885 SOS 8086265 HAS SOPS 8085763 HAS SOUS 688482 HAS SOUPS 687992 WITH SCORE 696078.265
AT ITER 9126 NEW BEST:: SOT 13855813 SOS 8085267 HAS SOPS 8084743 HAS SOUS 688368 HAS SOUPS 687856 WITH SCORE 695941.267
AT ITER 9141 NEW BEST:: SOT 13854817 SOS 8084271 HAS SOPS 8083747 HAS SOUS 686362 HAS SOUPS 685850 WITH SCORE 693934.271
AT ITER 9166 NEW BEST:: SOT 13853509 SOS 8082818 HAS SOPS 8082315 HAS SOUS 683676 HAS SOUPS 683185 WITH SCORE 691267.818
AT ITER 9170 NEW BEST:: SOT 13853539 SOS 8082848 HAS SOPS 8082345 HAS SOUS 683614 HAS SOUPS 683123 WITH SCORE 691205.848
AT ITER 9187 NEW BEST:: SOT 13853462 SOS 8082771 HAS SOPS 8082268 HAS SOUS 683548 HAS SOUPS 683057 WITH SCORE 691139.771
AT ITER 9196 NEW BEST:: SOT 13853550 SOS 8082835 HAS SOPS 8082332 HAS SOUS 683334 HAS SOUPS 682843 WITH SCORE 690925.835
AT ITER 9208 NEW BEST:: SOT 13854147 SOS 8084800 HAS SOPS 8084297 HAS SOUS 682810 HAS SOUPS 682319 WITH SCORE 690403.8
AT ITER 9240 NEW BEST:: SOT 13853154 SOS 8083807 HAS SOPS 8083304 HAS SOUS 682377 HAS SOUPS 681886 WITH SCORE 689969.807
AT ITER 9251 NEW BEST:: SOT 13853109 SOS 8083761 HAS SOPS 8083260 HAS SOUS 682263 HAS SOUPS 681774 WITH SCORE 689857.761
AT ITER 9270 NEW BEST:: SOT 13853109 SOS 8083761 HAS SOPS 8083260 HAS SOUS 682231 HAS SOUPS 681742 WITH SCORE 689825.761
AT ITER 9294 NEW BEST:: SOT 13852859 SOS 8083511 HAS SOPS 8083010 HAS SOUS 681713 HAS SOUPS 681224 WITH SCORE 689307.511
AT ITER 9345 NEW BEST:: SOT 13852859 SOS 8083511 HAS SOPS 8083010 HAS SOUS 681688 HAS SOUPS 681199 WITH SCORE 689282.511
AT ITER 9346 NEW BEST:: SOT 13852379 SOS 8083031 HAS SOPS 8082530 HAS SOUS 681310 HAS SOUPS 680821 WITH SCORE 688904.031
AT ITER 9375 NEW BEST:: SOT 13852379 SOS 8124227 HAS SOPS 8123726 HAS SOUS 681248 HAS SOUPS 680759 WITH SCORE 688883.227
AT ITER 9418 NEW BEST:: SOT 13852379 SOS 8124227 HAS SOPS 8123726 HAS SOUS 681222 HAS SOUPS 680733 WITH SCORE 688857.227
AT ITER 9420 NEW BEST:: SOT 13852379 SOS 8123939 HAS SOPS 8123438 HAS SOUS 681222 HAS SOUPS 680733 WITH SCORE 688856.939
AT ITER 9478 NEW BEST:: SOT 13852379 SOS 8137043 HAS SOPS 8136542 HAS SOUS 680975 HAS SOUPS 680486 WITH SCORE 688623.043
AT ITER 9495 NEW BEST:: SOT 13853232 SOS 8137890 HAS SOPS 8137389 HAS SOUS 680526 HAS SOUPS 680037 WITH SCORE 688174.89
AT ITER 9510 NEW BEST:: SOT 13853258 SOS 8137916 HAS SOPS 8137415 HAS SOUS 680518 HAS SOUPS 680029 WITH SCORE 688166.916
AT ITER 9518 NEW BEST:: SOT 13851292 SOS 8135950 HAS SOPS 8135449 HAS SOUS 679457 HAS SOUPS 678968 WITH SCORE 687103.95
AT ITER 9542 NEW BEST:: SOT 13851289 SOS 8135947 HAS SOPS 8135446 HAS SOUS 679454 HAS SOUPS 678965 WITH SCORE 687100.947
AT ITER 9603 NEW BEST:: SOT 13851289 SOS 8135947 HAS SOPS 8135446 HAS SOUS 679424 HAS SOUPS 678935 WITH SCORE 687070.947
AT ITER 9766 NEW BEST:: SOT 13851265 SOS 8135923 HAS SOPS 8135422 HAS SOUS 679408 HAS SOUPS 678919 WITH SCORE 687054.923
AT ITER 9811 NEW BEST:: SOT 13846629 SOS 8131419 HAS SOPS 8130918 HAS SOUS 677638 HAS SOUPS 677149 WITH SCORE 685280.419
AT ITER 9818 NEW BEST:: SOT 13846629 SOS 8131059 HAS SOPS 8130558 HAS SOUS 677638 HAS SOUPS 677149 WITH SCORE 685280.059
AT ITER 9872 NEW BEST:: SOT 13846629 SOS 8131311 HAS SOPS 8130810 HAS SOUS 677610 HAS SOUPS 677121 WITH SCORE 685252.311
AT ITER 9907 NEW BEST:: SOT 13846629 SOS 8129367 HAS SOPS 8128866 HAS SOUS 677610 HAS SOUPS 677121 WITH SCORE 685250.367
AT ITER 9915 NEW BEST:: SOT 13846068 SOS 8128806 HAS SOPS 8128305 HAS SOUS 676692 HAS SOUPS 676203 WITH SCORE 684331.806
AT ITER 9924 NEW BEST:: SOT 13847048 SOS 8129786 HAS SOPS 8129285 HAS SOUS 676207 HAS SOUPS 675718 WITH SCORE 683847.786
AT ITER 9931 NEW BEST:: SOT 13842428 SOS 8120990 HAS SOPS 8120489 HAS SOUS 675821 HAS SOUPS 675332 WITH SCORE 683452.99
AT ITER 9936 NEW BEST:: SOT 13842428 SOS 8118470 HAS SOPS 8117969 HAS SOUS 675751 HAS SOUPS 675262 WITH SCORE 683380.47
AT ITER 9953 NEW BEST:: SOT 13841607 SOS 8117680 HAS SOPS 8117168 HAS SOUS 675416 HAS SOUPS 674916 WITH SCORE 683033.68
AT ITER 9960 NEW BEST:: SOT 13841460 SOS 8117533 HAS SOPS 8117021 HAS SOUS 675379 HAS SOUPS 674879 WITH SCORE 682996.533
AT ITER 9968 NEW BEST:: SOT 13841460 SOS 8117547 HAS SOPS 8117035 HAS SOUS 675365 HAS SOUPS 674865 WITH SCORE 682982.547

BK_STOP 1678788539467

--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 164321
double free or corruption (out)
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 526 Aborted ${SMART}/smart ${INPUT_SM}

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-q3m128"
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-q3m128, 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-167813696700376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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