fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100145
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-09b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.770 3600000.00 3600020.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100145.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100145
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 24 05:37 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 1589073935707

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 09b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 4014 places, 4932 transitions, 14960 arcs.
AT ITER 0 NEW BEST:: SOT 10464167 SOS 1698605 HAS SOPS 1698605 HAS SOUS 1376319 HAS SOUPS 1376319 WITH SCORE 1378017.605
AT ITER 45 NEW BEST:: SOT 10464046 SOS 1698469 HAS SOPS 1698469 HAS SOUS 1376183 HAS SOUPS 1376183 WITH SCORE 1377881.469
AT ITER 46 NEW BEST:: SOT 10463941 SOS 1698259 HAS SOPS 1698259 HAS SOUS 1375973 HAS SOUPS 1375973 WITH SCORE 1377671.259
AT ITER 69 NEW BEST:: SOT 10463940 SOS 1698258 HAS SOPS 1698258 HAS SOUS 1375972 HAS SOUPS 1375972 WITH SCORE 1377670.258
AT ITER 79 NEW BEST:: SOT 10463940 SOS 1698108 HAS SOPS 1698108 HAS SOUS 1375970 HAS SOUPS 1375970 WITH SCORE 1377668.108
AT ITER 85 NEW BEST:: SOT 10463887 SOS 1697406 HAS SOPS 1697406 HAS SOUS 1375857 HAS SOUPS 1375857 WITH SCORE 1377554.406
AT ITER 127 NEW BEST:: SOT 10463886 SOS 1697404 HAS SOPS 1697404 HAS SOUS 1375855 HAS SOUPS 1375855 WITH SCORE 1377552.404
AT ITER 128 NEW BEST:: SOT 10463705 SOS 1698594 HAS SOPS 1698594 HAS SOUS 1375682 HAS SOUPS 1375682 WITH SCORE 1377380.594
AT ITER 141 NEW BEST:: SOT 10463701 SOS 1698590 HAS SOPS 1698590 HAS SOUS 1375678 HAS SOUPS 1375678 WITH SCORE 1377376.59
AT ITER 182 NEW BEST:: SOT 10463701 SOS 1698410 HAS SOPS 1698410 HAS SOUS 1375677 HAS SOUPS 1375677 WITH SCORE 1377375.41
AT ITER 194 NEW BEST:: SOT 10463490 SOS 1698233 HAS SOPS 1698233 HAS SOUS 1375501 HAS SOUPS 1375501 WITH SCORE 1377199.233
AT ITER 218 NEW BEST:: SOT 10463362 SOS 1698105 HAS SOPS 1698105 HAS SOUS 1375373 HAS SOUPS 1375373 WITH SCORE 1377071.105
AT ITER 247 NEW BEST:: SOT 10462904 SOS 1697767 HAS SOPS 1697767 HAS SOUS 1374944 HAS SOUPS 1374944 WITH SCORE 1376641.767
AT ITER 264 NEW BEST:: SOT 10462656 SOS 1697269 HAS SOPS 1697269 HAS SOUS 1374647 HAS SOUPS 1374647 WITH SCORE 1376344.269
AT ITER 283 NEW BEST:: SOT 10462564 SOS 1697256 HAS SOPS 1697256 HAS SOUS 1374634 HAS SOUPS 1374634 WITH SCORE 1376331.256
AT ITER 294 NEW BEST:: SOT 10462248 SOS 1695490 HAS SOPS 1695490 HAS SOUS 1374022 HAS SOUPS 1374022 WITH SCORE 1375717.49
AT ITER 318 NEW BEST:: SOT 10462248 SOS 1695437 HAS SOPS 1695437 HAS SOUS 1374022 HAS SOUPS 1374022 WITH SCORE 1375717.437
AT ITER 323 NEW BEST:: SOT 10459096 SOS 1692482 HAS SOPS 1692482 HAS SOUS 1373628 HAS SOUPS 1373628 WITH SCORE 1375320.482
AT ITER 335 NEW BEST:: SOT 10459054 SOS 1692398 HAS SOPS 1692398 HAS SOUS 1373585 HAS SOUPS 1373585 WITH SCORE 1375277.398
AT ITER 395 NEW BEST:: SOT 10458870 SOS 1692167 HAS SOPS 1692167 HAS SOUS 1373341 HAS SOUPS 1373341 WITH SCORE 1375033.167
AT ITER 411 NEW BEST:: SOT 10458713 SOS 1691809 HAS SOPS 1691809 HAS SOUS 1373248 HAS SOUPS 1373248 WITH SCORE 1374939.809
AT ITER 413 NEW BEST:: SOT 10458626 SOS 1692244 HAS SOPS 1692244 HAS SOUS 1373161 HAS SOUPS 1373161 WITH SCORE 1374853.244
AT ITER 420 NEW BEST:: SOT 10458552 SOS 1692123 HAS SOPS 1692123 HAS SOUS 1373040 HAS SOUPS 1373040 WITH SCORE 1374732.123
AT ITER 432 NEW BEST:: SOT 10458480 SOS 1691664 HAS SOPS 1691664 HAS SOUS 1372759 HAS SOUPS 1372759 WITH SCORE 1374450.664
AT ITER 443 NEW BEST:: SOT 10458367 SOS 1691438 HAS SOPS 1691438 HAS SOUS 1372533 HAS SOUPS 1372533 WITH SCORE 1374224.438
AT ITER 448 NEW BEST:: SOT 10457972 SOS 1690998 HAS SOPS 1690998 HAS SOUS 1372090 HAS SOUPS 1372090 WITH SCORE 1373780.998
AT ITER 458 NEW BEST:: SOT 10457792 SOS 1691996 HAS SOPS 1691996 HAS SOUS 1371890 HAS SOUPS 1371890 WITH SCORE 1373581.996
AT ITER 504 NEW BEST:: SOT 10457488 SOS 1693474 HAS SOPS 1693474 HAS SOUS 1371277 HAS SOUPS 1371277 WITH SCORE 1372970.474
AT ITER 518 NEW BEST:: SOT 10457267 SOS 1692973 HAS SOPS 1692973 HAS SOUS 1370834 HAS SOUPS 1370834 WITH SCORE 1372526.973
AT ITER 522 NEW BEST:: SOT 10456691 SOS 1692589 HAS SOPS 1692589 HAS SOUS 1370450 HAS SOUPS 1370450 WITH SCORE 1372142.589
AT ITER 551 NEW BEST:: SOT 10456488 SOS 1692179 HAS SOPS 1692179 HAS SOUS 1370040 HAS SOUPS 1370040 WITH SCORE 1371732.179
AT ITER 552 NEW BEST:: SOT 10455557 SOS 1691439 HAS SOPS 1691439 HAS SOUS 1369304 HAS SOUPS 1369304 WITH SCORE 1370995.439
AT ITER 553 NEW BEST:: SOT 10455557 SOS 1691315 HAS SOPS 1691315 HAS SOUS 1369303 HAS SOUPS 1369303 WITH SCORE 1370994.315
AT ITER 587 NEW BEST:: SOT 10455215 SOS 1690791 HAS SOPS 1690791 HAS SOUS 1369171 HAS SOUPS 1369171 WITH SCORE 1370861.791
AT ITER 632 NEW BEST:: SOT 10455185 SOS 1690512 HAS SOPS 1690512 HAS SOUS 1369083 HAS SOUPS 1369083 WITH SCORE 1370773.512
AT ITER 641 NEW BEST:: SOT 10455089 SOS 1690309 HAS SOPS 1690309 HAS SOUS 1368880 HAS SOUPS 1368880 WITH SCORE 1370570.309
AT ITER 656 NEW BEST:: SOT 10454966 SOS 1690186 HAS SOPS 1690186 HAS SOUS 1368757 HAS SOUPS 1368757 WITH SCORE 1370447.186
AT ITER 676 NEW BEST:: SOT 10454966 SOS 1690185 HAS SOPS 1690185 HAS SOUS 1368756 HAS SOUPS 1368756 WITH SCORE 1370446.185
AT ITER 680 NEW BEST:: SOT 10454732 SOS 1689946 HAS SOPS 1689946 HAS SOUS 1368518 HAS SOUPS 1368518 WITH SCORE 1370207.946
AT ITER 688 NEW BEST:: SOT 10454579 SOS 1689793 HAS SOPS 1689793 HAS SOUS 1368363 HAS SOUPS 1368363 WITH SCORE 1370052.793
AT ITER 692 NEW BEST:: SOT 10454579 SOS 1689068 HAS SOPS 1689068 HAS SOUS 1368363 HAS SOUPS 1368363 WITH SCORE 1370052.068
AT ITER 699 NEW BEST:: SOT 10454578 SOS 1689066 HAS SOPS 1689066 HAS SOUS 1368361 HAS SOUPS 1368361 WITH SCORE 1370050.066
AT ITER 701 NEW BEST:: SOT 10454574 SOS 1689062 HAS SOPS 1689062 HAS SOUS 1368357 HAS SOUPS 1368357 WITH SCORE 1370046.062
AT ITER 703 NEW BEST:: SOT 10453410 SOS 1689578 HAS SOPS 1689578 HAS SOUS 1367764 HAS SOUPS 1367764 WITH SCORE 1369453.578
AT ITER 718 NEW BEST:: SOT 10453228 SOS 1689409 HAS SOPS 1689409 HAS SOUS 1367686 HAS SOUPS 1367686 WITH SCORE 1369375.409
AT ITER 727 NEW BEST:: SOT 10452903 SOS 1689084 HAS SOPS 1689084 HAS SOUS 1367361 HAS SOUPS 1367361 WITH SCORE 1369050.084
AT ITER 731 NEW BEST:: SOT 10452747 SOS 1688772 HAS SOPS 1688772 HAS SOUS 1367204 HAS SOUPS 1367204 WITH SCORE 1368892.772
AT ITER 738 NEW BEST:: SOT 10452747 SOS 1688772 HAS SOPS 1688772 HAS SOUS 1367118 HAS SOUPS 1367118 WITH SCORE 1368806.772
AT ITER 765 NEW BEST:: SOT 10452747 SOS 1688754 HAS SOPS 1688754 HAS SOUS 1367100 HAS SOUPS 1367100 WITH SCORE 1368788.754
AT ITER 769 NEW BEST:: SOT 10452747 SOS 1688843 HAS SOPS 1688843 HAS SOUS 1367099 HAS SOUPS 1367099 WITH SCORE 1368787.843
AT ITER 778 NEW BEST:: SOT 10452747 SOS 1688798 HAS SOPS 1688798 HAS SOUS 1367054 HAS SOUPS 1367054 WITH SCORE 1368742.798
AT ITER 785 NEW BEST:: SOT 10452747 SOS 1688788 HAS SOPS 1688788 HAS SOUS 1367044 HAS SOUPS 1367044 WITH SCORE 1368732.788
AT ITER 794 NEW BEST:: SOT 10452747 SOS 1688716 HAS SOPS 1688716 HAS SOUS 1367040 HAS SOUPS 1367040 WITH SCORE 1368728.716
AT ITER 808 NEW BEST:: SOT 10452634 SOS 1688204 HAS SOPS 1688204 HAS SOUS 1366807 HAS SOUPS 1366807 WITH SCORE 1368495.204
AT ITER 836 NEW BEST:: SOT 10452391 SOS 1689677 HAS SOPS 1689677 HAS SOUS 1366600 HAS SOUPS 1366600 WITH SCORE 1368289.677
AT ITER 841 NEW BEST:: SOT 10452391 SOS 1689625 HAS SOPS 1689625 HAS SOUS 1366600 HAS SOUPS 1366600 WITH SCORE 1368289.625
AT ITER 843 NEW BEST:: SOT 10452391 SOS 1689624 HAS SOPS 1689624 HAS SOUS 1366599 HAS SOUPS 1366599 WITH SCORE 1368288.624
AT ITER 850 NEW BEST:: SOT 10452486 SOS 1689479 HAS SOPS 1689479 HAS SOUS 1366523 HAS SOUPS 1366523 WITH SCORE 1368212.479
AT ITER 872 NEW BEST:: SOT 10452446 SOS 1689487 HAS SOPS 1689487 HAS SOUS 1366419 HAS SOUPS 1366419 WITH SCORE 1368108.487
AT ITER 876 NEW BEST:: SOT 10452181 SOS 1688622 HAS SOPS 1688622 HAS SOUS 1364884 HAS SOUPS 1364884 WITH SCORE 1366572.622
AT ITER 886 NEW BEST:: SOT 10451844 SOS 1688620 HAS SOPS 1688620 HAS SOUS 1364882 HAS SOUPS 1364882 WITH SCORE 1366570.62
AT ITER 915 NEW BEST:: SOT 10451921 SOS 1688297 HAS SOPS 1688297 HAS SOUS 1364559 HAS SOUPS 1364559 WITH SCORE 1366247.297
AT ITER 930 NEW BEST:: SOT 10451898 SOS 1688297 HAS SOPS 1688297 HAS SOUS 1364513 HAS SOUPS 1364513 WITH SCORE 1366201.297
AT ITER 945 NEW BEST:: SOT 10451770 SOS 1688105 HAS SOPS 1688105 HAS SOUS 1364321 HAS SOUPS 1364321 WITH SCORE 1366009.105
AT ITER 962 NEW BEST:: SOT 10451640 SOS 1687845 HAS SOPS 1687845 HAS SOUS 1364061 HAS SOUPS 1364061 WITH SCORE 1365748.845
AT ITER 973 NEW BEST:: SOT 10451640 SOS 1687770 HAS SOPS 1687770 HAS SOUS 1363986 HAS SOUPS 1363986 WITH SCORE 1365673.77
AT ITER 979 NEW BEST:: SOT 10451344 SOS 1688260 HAS SOPS 1688260 HAS SOUS 1363705 HAS SOUPS 1363705 WITH SCORE 1365393.26
AT ITER 987 NEW BEST:: SOT 10451300 SOS 1688170 HAS SOPS 1688170 HAS SOUS 1363615 HAS SOUPS 1363615 WITH SCORE 1365303.17
AT ITER 995 NEW BEST:: SOT 10451060 SOS 1687930 HAS SOPS 1687930 HAS SOUS 1363375 HAS SOUPS 1363375 WITH SCORE 1365062.93
AT ITER 1015 NEW BEST:: SOT 10450990 SOS 1687541 HAS SOPS 1687541 HAS SOUS 1362786 HAS SOUPS 1362786 WITH SCORE 1364473.541
AT ITER 1051 NEW BEST:: SOT 10450826 SOS 1687101 HAS SOPS 1687101 HAS SOUS 1362450 HAS SOUPS 1362450 WITH SCORE 1364137.101
AT ITER 1116 NEW BEST:: SOT 10450825 SOS 1687099 HAS SOPS 1687099 HAS SOUS 1362448 HAS SOUPS 1362448 WITH SCORE 1364135.099
AT ITER 1128 NEW BEST:: SOT 10450500 SOS 1687199 HAS SOPS 1687199 HAS SOUS 1362195 HAS SOUPS 1362195 WITH SCORE 1363882.199
AT ITER 1179 NEW BEST:: SOT 10450385 SOS 1687084 HAS SOPS 1687084 HAS SOUS 1362078 HAS SOUPS 1362078 WITH SCORE 1363765.084
AT ITER 1184 NEW BEST:: SOT 10448882 SOS 1687482 HAS SOPS 1687482 HAS SOUS 1361055 HAS SOUPS 1361055 WITH SCORE 1362742.482
AT ITER 1197 NEW BEST:: SOT 10448768 SOS 1687672 HAS SOPS 1687672 HAS SOUS 1361021 HAS SOUPS 1361021 WITH SCORE 1362708.672
AT ITER 1207 NEW BEST:: SOT 10448358 SOS 1686852 HAS SOPS 1686852 HAS SOUS 1360201 HAS SOUPS 1360201 WITH SCORE 1361887.852
AT ITER 1210 NEW BEST:: SOT 10448265 SOS 1686919 HAS SOPS 1686919 HAS SOUS 1360188 HAS SOUPS 1360188 WITH SCORE 1361874.919
AT ITER 1211 NEW BEST:: SOT 10448265 SOS 1687092 HAS SOPS 1687092 HAS SOUS 1359990 HAS SOUPS 1359990 WITH SCORE 1361677.092
AT ITER 1291 NEW BEST:: SOT 10448265 SOS 1686843 HAS SOPS 1686843 HAS SOUS 1359933 HAS SOUPS 1359933 WITH SCORE 1361619.843
AT ITER 1294 NEW BEST:: SOT 10448124 SOS 1686702 HAS SOPS 1686702 HAS SOUS 1359790 HAS SOUPS 1359790 WITH SCORE 1361476.702
AT ITER 1309 NEW BEST:: SOT 10447858 SOS 1686416 HAS SOPS 1686416 HAS SOUS 1359455 HAS SOUPS 1359455 WITH SCORE 1361141.416
AT ITER 1354 NEW BEST:: SOT 10447574 SOS 1686275 HAS SOPS 1686275 HAS SOUS 1359278 HAS SOUPS 1359278 WITH SCORE 1360964.275
AT ITER 1387 NEW BEST:: SOT 10447574 SOS 1686100 HAS SOPS 1686100 HAS SOUS 1359264 HAS SOUPS 1359264 WITH SCORE 1360950.1
AT ITER 1396 NEW BEST:: SOT 10447325 SOS 1685601 HAS SOPS 1685601 HAS SOUS 1358765 HAS SOUPS 1358765 WITH SCORE 1360450.601
AT ITER 1418 NEW BEST:: SOT 10447325 SOS 1685600 HAS SOPS 1685600 HAS SOUS 1358764 HAS SOUPS 1358764 WITH SCORE 1360449.6
AT ITER 1462 NEW BEST:: SOT 10447096 SOS 1685378 HAS SOPS 1685378 HAS SOUS 1358541 HAS SOUPS 1358541 WITH SCORE 1360226.378
AT ITER 1470 NEW BEST:: SOT 10447096 SOS 1685203 HAS SOPS 1685203 HAS SOUS 1358541 HAS SOUPS 1358541 WITH SCORE 1360226.203
AT ITER 1485 NEW BEST:: SOT 10446963 SOS 1684804 HAS SOPS 1684804 HAS SOUS 1358270 HAS SOUPS 1358270 WITH SCORE 1359954.804
AT ITER 1486 NEW BEST:: SOT 10444759 SOS 1690088 HAS SOPS 1690088 HAS SOUS 1356213 HAS SOUPS 1356213 WITH SCORE 1357903.088
AT ITER 1570 NEW BEST:: SOT 10444559 SOS 1690009 HAS SOPS 1690009 HAS SOUS 1355813 HAS SOUPS 1355813 WITH SCORE 1357503.009
AT ITER 1588 NEW BEST:: SOT 10443278 SOS 1688545 HAS SOPS 1688545 HAS SOUS 1355630 HAS SOUPS 1355630 WITH SCORE 1357318.545
AT ITER 1596 NEW BEST:: SOT 10443143 SOS 1688421 HAS SOPS 1688421 HAS SOUS 1355543 HAS SOUPS 1355543 WITH SCORE 1357231.421
AT ITER 1603 NEW BEST:: SOT 10442842 SOS 1687819 HAS SOPS 1687819 HAS SOUS 1354941 HAS SOUPS 1354941 WITH SCORE 1356628.819
AT ITER 1612 NEW BEST:: SOT 10442626 SOS 1687886 HAS SOPS 1687886 HAS SOUS 1354885 HAS SOUPS 1354885 WITH SCORE 1356572.886
AT ITER 1614 NEW BEST:: SOT 10442396 SOS 1687607 HAS SOPS 1687607 HAS SOUS 1354591 HAS SOUPS 1354591 WITH SCORE 1356278.607
AT ITER 1627 NEW BEST:: SOT 10442270 SOS 1687490 HAS SOPS 1687490 HAS SOUS 1354474 HAS SOUPS 1354474 WITH SCORE 1356161.49
AT ITER 1628 NEW BEST:: SOT 10446463 SOS 1692188 HAS SOPS 1692188 HAS SOUS 1354125 HAS SOUPS 1354125 WITH SCORE 1355817.188
AT ITER 1633 NEW BEST:: SOT 10446171 SOS 1691604 HAS SOPS 1691604 HAS SOUS 1353541 HAS SOUPS 1353541 WITH SCORE 1355232.604
AT ITER 1647 NEW BEST:: SOT 10445805 SOS 1691360 HAS SOPS 1691360 HAS SOUS 1353296 HAS SOUPS 1353296 WITH SCORE 1354987.36
AT ITER 1658 NEW BEST:: SOT 10445805 SOS 1691193 HAS SOPS 1691193 HAS SOUS 1353296 HAS SOUPS 1353296 WITH SCORE 1354987.193
AT ITER 1675 NEW BEST:: SOT 10445805 SOS 1691171 HAS SOPS 1691171 HAS SOUS 1353274 HAS SOUPS 1353274 WITH SCORE 1354965.171
AT ITER 1708 NEW BEST:: SOT 10445707 SOS 1690438 HAS SOPS 1690438 HAS SOUS 1353078 HAS SOUPS 1353078 WITH SCORE 1354768.438
AT ITER 1732 NEW BEST:: SOT 10445678 SOS 1690118 HAS SOPS 1690118 HAS SOUS 1352900 HAS SOUPS 1352900 WITH SCORE 1354590.118
AT ITER 1756 NEW BEST:: SOT 10445314 SOS 1689791 HAS SOPS 1689791 HAS SOUS 1352573 HAS SOUPS 1352573 WITH SCORE 1354262.791
AT ITER 1783 NEW BEST:: SOT 10445183 SOS 1689517 HAS SOPS 1689517 HAS SOUS 1352299 HAS SOUPS 1352299 WITH SCORE 1353988.517
AT ITER 1804 NEW BEST:: SOT 10445183 SOS 1689539 HAS SOPS 1689539 HAS SOUS 1352288 HAS SOUPS 1352288 WITH SCORE 1353977.539
AT ITER 1837 NEW BEST:: SOT 10445168 SOS 1689509 HAS SOPS 1689509 HAS SOUS 1352272 HAS SOUPS 1352272 WITH SCORE 1353961.509
AT ITER 1844 NEW BEST:: SOT 10444641 SOS 1690561 HAS SOPS 1690561 HAS SOUS 1352048 HAS SOUPS 1352048 WITH SCORE 1353738.561
AT ITER 1858 NEW BEST:: SOT 10444641 SOS 1690405 HAS SOPS 1690405 HAS SOUS 1351892 HAS SOUPS 1351892 WITH SCORE 1353582.405
AT ITER 1867 NEW BEST:: SOT 10444071 SOS 1690348 HAS SOPS 1690348 HAS SOUS 1351835 HAS SOUPS 1351835 WITH SCORE 1353525.348
AT ITER 1868 NEW BEST:: SOT 10443968 SOS 1690221 HAS SOPS 1690221 HAS SOUS 1351718 HAS SOUPS 1351718 WITH SCORE 1353408.221
AT ITER 1910 NEW BEST:: SOT 10443855 SOS 1689882 HAS SOPS 1689882 HAS SOUS 1351491 HAS SOUPS 1351491 WITH SCORE 1353180.882
AT ITER 1923 NEW BEST:: SOT 10443855 SOS 1689850 HAS SOPS 1689850 HAS SOUS 1351491 HAS SOUPS 1351491 WITH SCORE 1353180.85
AT ITER 1926 NEW BEST:: SOT 10443778 SOS 1689430 HAS SOPS 1689430 HAS SOUS 1351344 HAS SOUPS 1351344 WITH SCORE 1353033.43
AT ITER 1941 NEW BEST:: SOT 10443609 SOS 1688827 HAS SOPS 1688827 HAS SOUS 1350741 HAS SOUPS 1350741 WITH SCORE 1352429.827
AT ITER 1943 NEW BEST:: SOT 10443608 SOS 1688825 HAS SOPS 1688825 HAS SOUS 1350739 HAS SOUPS 1350739 WITH SCORE 1352427.825
AT ITER 1944 NEW BEST:: SOT 10443290 SOS 1686871 HAS SOPS 1686871 HAS SOUS 1350148 HAS SOUPS 1350148 WITH SCORE 1351834.871
AT ITER 1976 NEW BEST:: SOT 10443286 SOS 1686863 HAS SOPS 1686863 HAS SOUS 1350143 HAS SOUPS 1350143 WITH SCORE 1351829.863
AT ITER 2019 NEW BEST:: SOT 10443277 SOS 1685709 HAS SOPS 1685709 HAS SOUS 1349919 HAS SOUPS 1349919 WITH SCORE 1351604.709
AT ITER 2068 NEW BEST:: SOT 10443276 SOS 1685707 HAS SOPS 1685707 HAS SOUS 1349917 HAS SOUPS 1349917 WITH SCORE 1351602.707
AT ITER 2146 NEW BEST:: SOT 10442706 SOS 1685328 HAS SOPS 1685328 HAS SOUS 1349709 HAS SOUPS 1349709 WITH SCORE 1351394.328
AT ITER 2151 NEW BEST:: SOT 10442447 SOS 1685050 HAS SOPS 1685050 HAS SOUS 1349408 HAS SOUPS 1349408 WITH SCORE 1351093.05
AT ITER 2159 NEW BEST:: SOT 10442142 SOS 1684475 HAS SOPS 1684475 HAS SOUS 1346774 HAS SOUPS 1346774 WITH SCORE 1348458.475
AT ITER 2173 NEW BEST:: SOT 10442061 SOS 1682995 HAS SOPS 1682995 HAS SOUS 1346611 HAS SOUPS 1346611 WITH SCORE 1348293.995
AT ITER 2251 NEW BEST:: SOT 10441926 SOS 1682710 HAS SOPS 1682710 HAS SOUS 1346454 HAS SOUPS 1346454 WITH SCORE 1348136.71
AT ITER 2270 NEW BEST:: SOT 10442035 SOS 1682659 HAS SOPS 1682659 HAS SOUS 1346403 HAS SOUPS 1346403 WITH SCORE 1348085.659
AT ITER 2294 NEW BEST:: SOT 10442035 SOS 1682659 HAS SOPS 1682659 HAS SOUS 1346381 HAS SOUPS 1346381 WITH SCORE 1348063.659
AT ITER 2295 NEW BEST:: SOT 10442308 SOS 1682611 HAS SOPS 1682611 HAS SOUS 1346333 HAS SOUPS 1346333 WITH SCORE 1348015.611
AT ITER 2308 NEW BEST:: SOT 10441924 SOS 1682299 HAS SOPS 1682299 HAS SOUS 1346021 HAS SOUPS 1346021 WITH SCORE 1347703.299
AT ITER 2310 NEW BEST:: SOT 10441827 SOS 1681936 HAS SOPS 1681936 HAS SOUS 1345826 HAS SOUPS 1345826 WITH SCORE 1347507.936
AT ITER 2340 NEW BEST:: SOT 10441827 SOS 1681858 HAS SOPS 1681858 HAS SOUS 1345825 HAS SOUPS 1345825 WITH SCORE 1347506.858
AT ITER 2362 NEW BEST:: SOT 10440617 SOS 1680572 HAS SOPS 1680572 HAS SOUS 1344539 HAS SOUPS 1344539 WITH SCORE 1346219.572
AT ITER 2366 NEW BEST:: SOT 10440402 SOS 1678969 HAS SOPS 1678969 HAS SOUS 1344253 HAS SOUPS 1344253 WITH SCORE 1345931.969
AT ITER 2382 NEW BEST:: SOT 10440444 SOS 1683125 HAS SOPS 1683125 HAS SOUS 1343743 HAS SOUPS 1343743 WITH SCORE 1345426.125
AT ITER 2389 NEW BEST:: SOT 10440256 SOS 1681496 HAS SOPS 1681496 HAS SOUS 1343451 HAS SOUPS 1343451 WITH SCORE 1345132.496
AT ITER 2390 NEW BEST:: SOT 10440256 SOS 1681477 HAS SOPS 1681477 HAS SOUS 1343432 HAS SOUPS 1343432 WITH SCORE 1345113.477
AT ITER 2408 NEW BEST:: SOT 10440134 SOS 1681461 HAS SOPS 1681461 HAS SOUS 1343416 HAS SOUPS 1343416 WITH SCORE 1345097.461
AT ITER 2456 NEW BEST:: SOT 10440026 SOS 1680934 HAS SOPS 1680934 HAS SOUS 1343154 HAS SOUPS 1343154 WITH SCORE 1344834.934
AT ITER 2464 NEW BEST:: SOT 10439789 SOS 1680433 HAS SOPS 1680433 HAS SOUS 1343041 HAS SOUPS 1343041 WITH SCORE 1344721.433
AT ITER 2468 NEW BEST:: SOT 10439586 SOS 1680230 HAS SOPS 1680230 HAS SOUS 1342838 HAS SOUPS 1342838 WITH SCORE 1344518.23
AT ITER 2470 NEW BEST:: SOT 10439585 SOS 1680190 HAS SOPS 1680190 HAS SOUS 1342798 HAS SOUPS 1342798 WITH SCORE 1344478.19
AT ITER 2490 NEW BEST:: SOT 10439583 SOS 1680207 HAS SOPS 1680207 HAS SOUS 1342794 HAS SOUPS 1342794 WITH SCORE 1344474.207
AT ITER 2493 NEW BEST:: SOT 10439570 SOS 1680168 HAS SOPS 1680168 HAS SOUS 1342768 HAS SOUPS 1342768 WITH SCORE 1344448.168
AT ITER 2498 NEW BEST:: SOT 10439388 SOS 1680332 HAS SOPS 1680332 HAS SOUS 1342766 HAS SOUPS 1342766 WITH SCORE 1344446.332
AT ITER 2512 NEW BEST:: SOT 10439268 SOS 1680040 HAS SOPS 1680040 HAS SOUS 1342594 HAS SOUPS 1342594 WITH SCORE 1344274.04
AT ITER 2514 NEW BEST:: SOT 10439162 SOS 1679600 HAS SOPS 1679600 HAS SOUS 1342377 HAS SOUPS 1342377 WITH SCORE 1344056.6
AT ITER 2536 NEW BEST:: SOT 10439069 SOS 1679313 HAS SOPS 1679313 HAS SOUS 1342036 HAS SOUPS 1342036 WITH SCORE 1343715.313
AT ITER 2553 NEW BEST:: SOT 10439060 SOS 1679295 HAS SOPS 1679295 HAS SOUS 1342018 HAS SOUPS 1342018 WITH SCORE 1343697.295
AT ITER 2555 NEW BEST:: SOT 10438857 SOS 1678686 HAS SOPS 1678686 HAS SOUS 1341612 HAS SOUPS 1341612 WITH SCORE 1343290.686
AT ITER 2599 NEW BEST:: SOT 10438695 SOS 1678524 HAS SOPS 1678524 HAS SOUS 1341449 HAS SOUPS 1341449 WITH SCORE 1343127.524
AT ITER 2638 NEW BEST:: SOT 10438695 SOS 1678323 HAS SOPS 1678323 HAS SOUS 1341447 HAS SOUPS 1341447 WITH SCORE 1343125.323
AT ITER 2656 NEW BEST:: SOT 10438247 SOS 1677450 HAS SOPS 1677450 HAS SOUS 1341164 HAS SOUPS 1341164 WITH SCORE 1342841.45
AT ITER 2668 NEW BEST:: SOT 10438137 SOS 1676957 HAS SOPS 1676957 HAS SOUS 1340671 HAS SOUPS 1340671 WITH SCORE 1342347.957
AT ITER 2673 NEW BEST:: SOT 10437988 SOS 1676596 HAS SOPS 1676596 HAS SOUS 1340309 HAS SOUPS 1340309 WITH SCORE 1341985.596
AT ITER 2678 NEW BEST:: SOT 10437860 SOS 1676471 HAS SOPS 1676471 HAS SOUS 1340149 HAS SOUPS 1340149 WITH SCORE 1341825.471
AT ITER 2679 NEW BEST:: SOT 10437720 SOS 1676051 HAS SOPS 1676051 HAS SOUS 1339868 HAS SOUPS 1339868 WITH SCORE 1341544.051
AT ITER 2682 NEW BEST:: SOT 10437715 SOS 1676046 HAS SOPS 1676046 HAS SOUS 1339863 HAS SOUPS 1339863 WITH SCORE 1341539.046
AT ITER 2711 NEW BEST:: SOT 10437070 SOS 1675980 HAS SOPS 1675980 HAS SOUS 1339316 HAS SOUPS 1339316 WITH SCORE 1340991.98
AT ITER 2731 NEW BEST:: SOT 10436948 SOS 1675614 HAS SOPS 1675614 HAS SOUS 1339071 HAS SOUPS 1339071 WITH SCORE 1340746.614
AT ITER 2746 NEW BEST:: SOT 10436651 SOS 1675218 HAS SOPS 1675218 HAS SOUS 1338675 HAS SOUPS 1338675 WITH SCORE 1340350.218
AT ITER 2760 NEW BEST:: SOT 10436594 SOS 1675161 HAS SOPS 1675161 HAS SOUS 1338618 HAS SOUPS 1338618 WITH SCORE 1340293.161
AT ITER 2794 NEW BEST:: SOT 10436594 SOS 1680178 HAS SOPS 1680178 HAS SOUS 1338008 HAS SOUPS 1338008 WITH SCORE 1339688.178
AT ITER 2813 NEW BEST:: SOT 10436436 SOS 1680160 HAS SOPS 1680160 HAS SOUS 1338006 HAS SOUPS 1338006 WITH SCORE 1339686.16
AT ITER 2816 NEW BEST:: SOT 10436210 SOS 1679838 HAS SOPS 1679838 HAS SOUS 1337780 HAS SOUPS 1337780 WITH SCORE 1339459.838
AT ITER 2821 NEW BEST:: SOT 10436140 SOS 1679767 HAS SOPS 1679767 HAS SOUS 1337696 HAS SOUPS 1337696 WITH SCORE 1339375.767
AT ITER 2840 NEW BEST:: SOT 10436140 SOS 1679622 HAS SOPS 1679622 HAS SOUS 1337695 HAS SOUPS 1337695 WITH SCORE 1339374.622
AT ITER 2876 NEW BEST:: SOT 10435924 SOS 1679406 HAS SOPS 1679406 HAS SOUS 1337407 HAS SOUPS 1337407 WITH SCORE 1339086.406
AT ITER 2877 NEW BEST:: SOT 10435922 SOS 1679355 HAS SOPS 1679355 HAS SOUS 1337356 HAS SOUPS 1337356 WITH SCORE 1339035.355
AT ITER 2910 NEW BEST:: SOT 10435922 SOS 1679354 HAS SOPS 1679354 HAS SOUS 1337355 HAS SOUPS 1337355 WITH SCORE 1339034.354
AT ITER 2914 NEW BEST:: SOT 10436232 SOS 1679654 HAS SOPS 1679654 HAS SOUS 1337345 HAS SOUPS 1337345 WITH SCORE 1339024.654
AT ITER 2923 NEW BEST:: SOT 10436103 SOS 1679620 HAS SOPS 1679620 HAS SOUS 1337244 HAS SOUPS 1337244 WITH SCORE 1338923.62
AT ITER 2949 NEW BEST:: SOT 10435734 SOS 1678881 HAS SOPS 1678881 HAS SOUS 1336505 HAS SOUPS 1336505 WITH SCORE 1338183.881
AT ITER 2955 NEW BEST:: SOT 10435734 SOS 1678880 HAS SOPS 1678880 HAS SOUS 1336504 HAS SOUPS 1336504 WITH SCORE 1338182.88
AT ITER 3008 NEW BEST:: SOT 10435734 SOS 1678880 HAS SOPS 1678880 HAS SOUS 1336488 HAS SOUPS 1336488 WITH SCORE 1338166.88
AT ITER 3021 NEW BEST:: SOT 10435159 SOS 1678314 HAS SOPS 1678314 HAS SOUS 1335913 HAS SOUPS 1335913 WITH SCORE 1337591.314
AT ITER 3048 NEW BEST:: SOT 10434623 SOS 1677242 HAS SOPS 1677242 HAS SOUS 1334841 HAS SOUPS 1334841 WITH SCORE 1336518.242
AT ITER 3059 NEW BEST:: SOT 10433167 SOS 1675769 HAS SOPS 1675769 HAS SOUS 1333368 HAS SOUPS 1333368 WITH SCORE 1335043.769
AT ITER 3068 NEW BEST:: SOT 10433167 SOS 1675727 HAS SOPS 1675727 HAS SOUS 1333368 HAS SOUPS 1333368 WITH SCORE 1335043.727
AT ITER 3070 NEW BEST:: SOT 10433123 SOS 1675595 HAS SOPS 1675595 HAS SOUS 1333280 HAS SOUPS 1333280 WITH SCORE 1334955.595
AT ITER 3075 NEW BEST:: SOT 10432794 SOS 1675264 HAS SOPS 1675264 HAS SOUS 1332901 HAS SOUPS 1332901 WITH SCORE 1334576.264
AT ITER 3118 NEW BEST:: SOT 10432784 SOS 1675244 HAS SOPS 1675244 HAS SOUS 1332881 HAS SOUPS 1332881 WITH SCORE 1334556.244
AT ITER 3168 NEW BEST:: SOT 10432574 SOS 1675034 HAS SOPS 1675034 HAS SOUS 1332671 HAS SOUPS 1332671 WITH SCORE 1334346.034
AT ITER 3189 NEW BEST:: SOT 10432574 SOS 1675285 HAS SOPS 1675285 HAS SOUS 1332670 HAS SOUPS 1332670 WITH SCORE 1334345.285
AT ITER 3191 NEW BEST:: SOT 10432573 SOS 1674909 HAS SOPS 1674909 HAS SOUS 1332481 HAS SOUPS 1332481 WITH SCORE 1334155.909
AT ITER 3198 NEW BEST:: SOT 10432412 SOS 1674365 HAS SOPS 1674365 HAS SOUS 1332072 HAS SOUPS 1332072 WITH SCORE 1333746.365
AT ITER 3210 NEW BEST:: SOT 10432412 SOS 1674278 HAS SOPS 1674278 HAS SOUS 1332072 HAS SOUPS 1332072 WITH SCORE 1333746.278
AT ITER 3217 NEW BEST:: SOT 10432412 SOS 1674277 HAS SOPS 1674277 HAS SOUS 1332071 HAS SOUPS 1332071 WITH SCORE 1333745.277
AT ITER 3220 NEW BEST:: SOT 10432412 SOS 1674266 HAS SOPS 1674266 HAS SOUS 1331972 HAS SOUPS 1331972 WITH SCORE 1333646.266
AT ITER 3238 NEW BEST:: SOT 10432412 SOS 1674230 HAS SOPS 1674230 HAS SOUS 1331971 HAS SOUPS 1331971 WITH SCORE 1333645.23
AT ITER 3252 NEW BEST:: SOT 10432337 SOS 1674206 HAS SOPS 1674206 HAS SOUS 1331883 HAS SOUPS 1331883 WITH SCORE 1333557.206
AT ITER 3260 NEW BEST:: SOT 10431923 SOS 1673813 HAS SOPS 1673813 HAS SOUS 1331490 HAS SOUPS 1331490 WITH SCORE 1333163.813
AT ITER 3265 NEW BEST:: SOT 10431916 SOS 1673694 HAS SOPS 1673694 HAS SOUS 1331482 HAS SOUPS 1331482 WITH SCORE 1333155.694
AT ITER 3271 NEW BEST:: SOT 10431640 SOS 1673511 HAS SOPS 1673511 HAS SOUS 1331299 HAS SOUPS 1331299 WITH SCORE 1332972.511
AT ITER 3350 NEW BEST:: SOT 10431567 SOS 1673454 HAS SOPS 1673454 HAS SOUS 1331242 HAS SOUPS 1331242 WITH SCORE 1332915.454
AT ITER 3354 NEW BEST:: SOT 10431435 SOS 1673057 HAS SOPS 1673057 HAS SOUS 1331085 HAS SOUPS 1331085 WITH SCORE 1332758.057
AT ITER 3367 NEW BEST:: SOT 10430139 SOS 1671918 HAS SOPS 1671918 HAS SOUS 1329946 HAS SOUPS 1329946 WITH SCORE 1331617.918
AT ITER 3389 NEW BEST:: SOT 10430139 SOS 1671480 HAS SOPS 1671480 HAS SOUS 1329946 HAS SOUPS 1329946 WITH SCORE 1331617.48
AT ITER 3500 NEW BEST:: SOT 10430138 SOS 1671190 HAS SOPS 1671190 HAS SOUS 1329944 HAS SOUPS 1329944 WITH SCORE 1331615.19
AT ITER 3522 NEW BEST:: SOT 10429982 SOS 1671034 HAS SOPS 1671034 HAS SOUS 1329788 HAS SOUPS 1329788 WITH SCORE 1331459.034
AT ITER 3527 NEW BEST:: SOT 10429927 SOS 1670979 HAS SOPS 1670979 HAS SOUS 1329733 HAS SOUPS 1329733 WITH SCORE 1331403.979
AT ITER 3551 NEW BEST:: SOT 10429927 SOS 1670752 HAS SOPS 1670752 HAS SOUS 1329732 HAS SOUPS 1329732 WITH SCORE 1331402.752
AT ITER 3556 NEW BEST:: SOT 10429776 SOS 1670587 HAS SOPS 1670587 HAS SOUS 1329313 HAS SOUPS 1329313 WITH SCORE 1330983.587
AT ITER 3594 NEW BEST:: SOT 10429330 SOS 1673068 HAS SOPS 1673068 HAS SOUS 1329240 HAS SOUPS 1329240 WITH SCORE 1330913.068
AT ITER 3600 NEW BEST:: SOT 10429084 SOS 1673045 HAS SOPS 1673045 HAS SOUS 1329240 HAS SOUPS 1329240 WITH SCORE 1330913.045
AT ITER 3609 NEW BEST:: SOT 10428884 SOS 1672690 HAS SOPS 1672690 HAS SOUS 1328885 HAS SOUPS 1328885 WITH SCORE 1330557.69
AT ITER 3652 NEW BEST:: SOT 10428466 SOS 1671982 HAS SOPS 1671982 HAS SOUS 1328456 HAS SOUPS 1328456 WITH SCORE 1330127.982
AT ITER 3706 NEW BEST:: SOT 10428076 SOS 1671722 HAS SOPS 1671722 HAS SOUS 1328196 HAS SOUPS 1328196 WITH SCORE 1329867.722
AT ITER 3795 NEW BEST:: SOT 10428076 SOS 1671721 HAS SOPS 1671721 HAS SOUS 1328195 HAS SOUPS 1328195 WITH SCORE 1329866.721
AT ITER 3852 NEW BEST:: SOT 10428067 SOS 1671694 HAS SOPS 1671694 HAS SOUS 1328168 HAS SOUPS 1328168 WITH SCORE 1329839.694
AT ITER 3883 NEW BEST:: SOT 10428067 SOS 1671677 HAS SOPS 1671677 HAS SOUS 1328151 HAS SOUPS 1328151 WITH SCORE 1329822.677
AT ITER 3889 NEW BEST:: SOT 10428066 SOS 1671674 HAS SOPS 1671674 HAS SOUS 1328148 HAS SOUPS 1328148 WITH SCORE 1329819.674
AT ITER 3890 NEW BEST:: SOT 10427635 SOS 1670945 HAS SOPS 1670945 HAS SOUS 1327416 HAS SOUPS 1327416 WITH SCORE 1329086.945
AT ITER 3893 NEW BEST:: SOT 10427497 SOS 1670791 HAS SOPS 1670791 HAS SOUS 1326726 HAS SOUPS 1326726 WITH SCORE 1328396.791
AT ITER 3907 NEW BEST:: SOT 10427497 SOS 1670857 HAS SOPS 1670857 HAS SOUS 1324361 HAS SOUPS 1324361 WITH SCORE 1326031.857
AT ITER 3930 NEW BEST:: SOT 10427496 SOS 1670844 HAS SOPS 1670844 HAS SOUS 1324348 HAS SOUPS 1324348 WITH SCORE 1326018.844
AT ITER 3941 NEW BEST:: SOT 10427222 SOS 1670570 HAS SOPS 1670570 HAS SOUS 1324028 HAS SOUPS 1324028 WITH SCORE 1325698.57
AT ITER 3949 NEW BEST:: SOT 10426946 SOS 1670294 HAS SOPS 1670294 HAS SOUS 1321768 HAS SOUPS 1321768 WITH SCORE 1323438.294
AT ITER 3958 NEW BEST:: SOT 10427378 SOS 1670889 HAS SOPS 1670889 HAS SOUS 1321383 HAS SOUPS 1321383 WITH SCORE 1323053.889
AT ITER 4030 NEW BEST:: SOT 10427044 SOS 1671529 HAS SOPS 1671529 HAS SOUS 1321269 HAS SOUPS 1321269 WITH SCORE 1322940.529
AT ITER 4039 NEW BEST:: SOT 10427044 SOS 1671483 HAS SOPS 1671483 HAS SOUS 1321269 HAS SOUPS 1321269 WITH SCORE 1322940.483
AT ITER 4087 NEW BEST:: SOT 10427083 SOS 1671242 HAS SOPS 1671242 HAS SOUS 1320986 HAS SOUPS 1320986 WITH SCORE 1322657.242
AT ITER 4117 NEW BEST:: SOT 10426795 SOS 1670659 HAS SOPS 1670659 HAS SOUS 1320403 HAS SOUPS 1320403 WITH SCORE 1322073.659
AT ITER 4121 NEW BEST:: SOT 10426704 SOS 1670476 HAS SOPS 1670476 HAS SOUS 1320220 HAS SOUPS 1320220 WITH SCORE 1321890.476
AT ITER 4148 NEW BEST:: SOT 10426704 SOS 1670472 HAS SOPS 1670472 HAS SOUS 1320215 HAS SOUPS 1320215 WITH SCORE 1321885.472
AT ITER 4172 NEW BEST:: SOT 10426704 SOS 1670439 HAS SOPS 1670439 HAS SOUS 1320215 HAS SOUPS 1320215 WITH SCORE 1321885.439
AT ITER 4190 NEW BEST:: SOT 10426551 SOS 1670271 HAS SOPS 1670271 HAS SOUS 1318838 HAS SOUPS 1318838 WITH SCORE 1320508.271
AT ITER 4222 NEW BEST:: SOT 10426588 SOS 1670351 HAS SOPS 1670351 HAS SOUS 1316346 HAS SOUPS 1316346 WITH SCORE 1318016.351
AT ITER 4225 NEW BEST:: SOT 10426486 SOS 1670153 HAS SOPS 1670153 HAS SOUS 1316148 HAS SOUPS 1316148 WITH SCORE 1317818.153
AT ITER 4229 NEW BEST:: SOT 10426321 SOS 1669999 HAS SOPS 1669999 HAS SOUS 1316137 HAS SOUPS 1316137 WITH SCORE 1317806.999
AT ITER 4232 NEW BEST:: SOT 10426321 SOS 1669981 HAS SOPS 1669981 HAS SOUS 1316119 HAS SOUPS 1316119 WITH SCORE 1317788.981
AT ITER 4239 NEW BEST:: SOT 10426112 SOS 1669910 HAS SOPS 1669910 HAS SOUS 1316031 HAS SOUPS 1316031 WITH SCORE 1317700.91
AT ITER 4242 NEW BEST:: SOT 10425997 SOS 1669794 HAS SOPS 1669794 HAS SOUS 1315915 HAS SOUPS 1315915 WITH SCORE 1317584.794
AT ITER 4274 NEW BEST:: SOT 10425883 SOS 1669507 HAS SOPS 1669507 HAS SOUS 1314211 HAS SOUPS 1314211 WITH SCORE 1315880.507
AT ITER 4296 NEW BEST:: SOT 10425800 SOS 1669258 HAS SOPS 1669258 HAS SOUS 1313962 HAS SOUPS 1313962 WITH SCORE 1315631.258
AT ITER 4303 NEW BEST:: SOT 10425717 SOS 1669092 HAS SOPS 1669092 HAS SOUS 1313796 HAS SOUPS 1313796 WITH SCORE 1315465.092
AT ITER 4326 NEW BEST:: SOT 10425188 SOS 1668973 HAS SOPS 1668973 HAS SOUS 1313429 HAS SOUPS 1313429 WITH SCORE 1315097.973
AT ITER 4344 NEW BEST:: SOT 10425188 SOS 1668973 HAS SOPS 1668973 HAS SOUS 1313393 HAS SOUPS 1313393 WITH SCORE 1315061.973
AT ITER 4357 NEW BEST:: SOT 10425108 SOS 1668813 HAS SOPS 1668813 HAS SOUS 1313312 HAS SOUPS 1313312 WITH SCORE 1314980.813
AT ITER 4369 NEW BEST:: SOT 10424829 SOS 1668511 HAS SOPS 1668511 HAS SOUS 1313033 HAS SOUPS 1313033 WITH SCORE 1314701.511
AT ITER 4374 NEW BEST:: SOT 10424664 SOS 1668346 HAS SOPS 1668346 HAS SOUS 1312868 HAS SOUPS 1312868 WITH SCORE 1314536.346
AT ITER 4409 NEW BEST:: SOT 10424640 SOS 1668262 HAS SOPS 1668262 HAS SOUS 1312784 HAS SOUPS 1312784 WITH SCORE 1314452.262
AT ITER 4425 NEW BEST:: SOT 10424612 SOS 1668206 HAS SOPS 1668206 HAS SOUS 1312665 HAS SOUPS 1312665 WITH SCORE 1314333.206
AT ITER 4437 NEW BEST:: SOT 10424601 SOS 1668173 HAS SOPS 1668173 HAS SOUS 1312577 HAS SOUPS 1312577 WITH SCORE 1314245.173
AT ITER 4493 NEW BEST:: SOT 10424505 SOS 1668076 HAS SOPS 1668076 HAS SOUS 1311712 HAS SOUPS 1311712 WITH SCORE 1313380.076
AT ITER 4518 NEW BEST:: SOT 10421289 SOS 1665049 HAS SOPS 1665049 HAS SOUS 1308496 HAS SOUPS 1308496 WITH SCORE 1310161.049
AT ITER 4522 NEW BEST:: SOT 10421288 SOS 1665046 HAS SOPS 1665046 HAS SOUS 1308493 HAS SOUPS 1308493 WITH SCORE 1310158.046
AT ITER 4523 NEW BEST:: SOT 10420800 SOS 1664921 HAS SOPS 1664921 HAS SOUS 1308079 HAS SOUPS 1308079 WITH SCORE 1309743.921
AT ITER 4550 NEW BEST:: SOT 10419949 SOS 1664335 HAS SOPS 1664335 HAS SOUS 1307493 HAS SOUPS 1307493 WITH SCORE 1309157.335
AT ITER 4570 NEW BEST:: SOT 10417641 SOS 1664238 HAS SOPS 1664238 HAS SOUS 1305775 HAS SOUPS 1305775 WITH SCORE 1307439.238
AT ITER 4593 NEW BEST:: SOT 10417527 SOS 1664068 HAS SOPS 1664068 HAS SOUS 1305719 HAS SOUPS 1305719 WITH SCORE 1307383.068
AT ITER 4611 NEW BEST:: SOT 10416940 SOS 1663224 HAS SOPS 1663224 HAS SOUS 1304875 HAS SOUPS 1304875 WITH SCORE 1306538.224
AT ITER 4617 NEW BEST:: SOT 10416940 SOS 1663121 HAS SOPS 1663121 HAS SOUS 1304772 HAS SOUPS 1304772 WITH SCORE 1306435.121
AT ITER 4634 NEW BEST:: SOT 10416710 SOS 1662847 HAS SOPS 1662847 HAS SOUS 1304567 HAS SOUPS 1304567 WITH SCORE 1306229.847
AT ITER 4669 NEW BEST:: SOT 10416661 SOS 1662700 HAS SOPS 1662700 HAS SOUS 1304420 HAS SOUPS 1304420 WITH SCORE 1306082.7
AT ITER 4675 NEW BEST:: SOT 10414237 SOS 1660273 HAS SOPS 1660273 HAS SOUS 1304028 HAS SOUPS 1304028 WITH SCORE 1305688.273
AT ITER 4680 NEW BEST:: SOT 10414178 SOS 1660155 HAS SOPS 1660155 HAS SOUS 1303910 HAS SOUPS 1303910 WITH SCORE 1305570.155
AT ITER 4708 NEW BEST:: SOT 10414069 SOS 1659937 HAS SOPS 1659937 HAS SOUS 1303798 HAS SOUPS 1303798 WITH SCORE 1305457.937
AT ITER 4710 NEW BEST:: SOT 10414069 SOS 1659741 HAS SOPS 1659741 HAS SOUS 1303602 HAS SOUPS 1303602 WITH SCORE 1305261.741
AT ITER 4734 NEW BEST:: SOT 10414069 SOS 1659737 HAS SOPS 1659737 HAS SOUS 1303598 HAS SOUPS 1303598 WITH SCORE 1305257.737
AT ITER 4745 NEW BEST:: SOT 10414023 SOS 1659645 HAS SOPS 1659645 HAS SOUS 1303506 HAS SOUPS 1303506 WITH SCORE 1305165.645
AT ITER 4770 NEW BEST:: SOT 10411751 SOS 1659885 HAS SOPS 1659885 HAS SOUS 1301479 HAS SOUPS 1301479 WITH SCORE 1303138.885
AT ITER 4777 NEW BEST:: SOT 10411750 SOS 1659883 HAS SOPS 1659883 HAS SOUS 1301477 HAS SOUPS 1301477 WITH SCORE 1303136.883
AT ITER 4786 NEW BEST:: SOT 10411750 SOS 1659880 HAS SOPS 1659880 HAS SOUS 1301474 HAS SOUPS 1301474 WITH SCORE 1303133.88
AT ITER 4788 NEW BEST:: SOT 10411750 SOS 1659812 HAS SOPS 1659812 HAS SOUS 1301474 HAS SOUPS 1301474 WITH SCORE 1303133.812
AT ITER 4821 NEW BEST:: SOT 10411720 SOS 1659752 HAS SOPS 1659752 HAS SOUS 1301443 HAS SOUPS 1301443 WITH SCORE 1303102.752
AT ITER 4831 NEW BEST:: SOT 10411662 SOS 1659578 HAS SOPS 1659578 HAS SOUS 1301327 HAS SOUPS 1301327 WITH SCORE 1302986.578
AT ITER 4840 NEW BEST:: SOT 10411568 SOS 1659110 HAS SOPS 1659110 HAS SOUS 1301139 HAS SOUPS 1301139 WITH SCORE 1302798.11
AT ITER 4862 NEW BEST:: SOT 10411190 SOS 1658732 HAS SOPS 1658732 HAS SOUS 1300761 HAS SOUPS 1300761 WITH SCORE 1302419.732
AT ITER 4891 NEW BEST:: SOT 10411082 SOS 1658603 HAS SOPS 1658603 HAS SOUS 1300632 HAS SOUPS 1300632 WITH SCORE 1302290.603
AT ITER 4909 NEW BEST:: SOT 10410869 SOS 1657668 HAS SOPS 1657668 HAS SOUS 1300206 HAS SOUPS 1300206 WITH SCORE 1301863.668
AT ITER 4913 NEW BEST:: SOT 10410869 SOS 1657506 HAS SOPS 1657506 HAS SOUS 1300044 HAS SOUPS 1300044 WITH SCORE 1301701.506
AT ITER 4932 NEW BEST:: SOT 10410812 SOS 1657528 HAS SOPS 1657528 HAS SOUS 1299851 HAS SOUPS 1299851 WITH SCORE 1301508.528
AT ITER 4962 NEW BEST:: SOT 10410639 SOS 1657499 HAS SOPS 1657499 HAS SOUS 1299678 HAS SOUPS 1299678 WITH SCORE 1301335.499
AT ITER 4998 NEW BEST:: SOT 10410639 SOS 1657398 HAS SOPS 1657398 HAS SOUS 1299577 HAS SOUPS 1299577 WITH SCORE 1301234.398
AT ITER 5011 NEW BEST:: SOT 10410104 SOS 1657672 HAS SOPS 1657672 HAS SOUS 1299265 HAS SOUPS 1299265 WITH SCORE 1300922.672
AT ITER 5060 NEW BEST:: SOT 10410091 SOS 1657646 HAS SOPS 1657646 HAS SOUS 1299239 HAS SOUPS 1299239 WITH SCORE 1300896.646
AT ITER 5076 NEW BEST:: SOT 10409773 SOS 1657704 HAS SOPS 1657704 HAS SOUS 1299181 HAS SOUPS 1299181 WITH SCORE 1300838.704
AT ITER 5119 NEW BEST:: SOT 10409475 SOS 1657206 HAS SOPS 1657206 HAS SOUS 1298652 HAS SOUPS 1298652 WITH SCORE 1300309.206
AT ITER 5164 NEW BEST:: SOT 10409183 SOS 1657118 HAS SOPS 1657118 HAS SOUS 1298564 HAS SOUPS 1298564 WITH SCORE 1300221.118
AT ITER 5174 NEW BEST:: SOT 10409181 SOS 1656840 HAS SOPS 1656840 HAS SOUS 1298560 HAS SOUPS 1298560 WITH SCORE 1300216.84
AT ITER 5214 NEW BEST:: SOT 10409174 SOS 1656822 HAS SOPS 1656822 HAS SOUS 1298542 HAS SOUPS 1298542 WITH SCORE 1300198.822
AT ITER 5251 NEW BEST:: SOT 10409174 SOS 1656584 HAS SOPS 1656584 HAS SOUS 1298304 HAS SOUPS 1298304 WITH SCORE 1299960.584
AT ITER 5269 NEW BEST:: SOT 10408635 SOS 1656045 HAS SOPS 1656045 HAS SOUS 1297765 HAS SOUPS 1297765 WITH SCORE 1299421.045
AT ITER 5277 NEW BEST:: SOT 10408600 SOS 1656000 HAS SOPS 1656000 HAS SOUS 1297760 HAS SOUPS 1297760 WITH SCORE 1299416.0
AT ITER 5315 NEW BEST:: SOT 10408599 SOS 1655952 HAS SOPS 1655952 HAS SOUS 1297758 HAS SOUPS 1297758 WITH SCORE 1299413.952
AT ITER 5327 NEW BEST:: SOT 10408533 SOS 1655886 HAS SOPS 1655886 HAS SOUS 1297689 HAS SOUPS 1297689 WITH SCORE 1299344.886
AT ITER 5359 NEW BEST:: SOT 10408533 SOS 1655697 HAS SOPS 1655697 HAS SOUS 1297500 HAS SOUPS 1297500 WITH SCORE 1299155.697
AT ITER 5381 NEW BEST:: SOT 10408533 SOS 1655696 HAS SOPS 1655696 HAS SOUS 1297499 HAS SOUPS 1297499 WITH SCORE 1299154.696
AT ITER 5403 NEW BEST:: SOT 10408389 SOS 1655264 HAS SOPS 1655264 HAS SOUS 1297067 HAS SOUPS 1297067 WITH SCORE 1298722.264
AT ITER 5404 NEW BEST:: SOT 10408224 SOS 1655099 HAS SOPS 1655099 HAS SOUS 1296902 HAS SOUPS 1296902 WITH SCORE 1298557.099
AT ITER 5434 NEW BEST:: SOT 10408017 SOS 1654545 HAS SOPS 1654545 HAS SOUS 1296348 HAS SOUPS 1296348 WITH SCORE 1298002.545
AT ITER 5441 NEW BEST:: SOT 10408017 SOS 1654544 HAS SOPS 1654544 HAS SOUS 1296347 HAS SOUPS 1296347 WITH SCORE 1298001.544
AT ITER 5448 NEW BEST:: SOT 10407854 SOS 1654381 HAS SOPS 1654381 HAS SOUS 1296184 HAS SOUPS 1296184 WITH SCORE 1297838.381
AT ITER 5455 NEW BEST:: SOT 10407036 SOS 1653689 HAS SOPS 1653689 HAS SOUS 1295382 HAS SOUPS 1295382 WITH SCORE 1297035.689
AT ITER 5463 NEW BEST:: SOT 10406691 SOS 1653653 HAS SOPS 1653653 HAS SOUS 1295380 HAS SOUPS 1295380 WITH SCORE 1297033.653
AT ITER 5475 NEW BEST:: SOT 10406669 SOS 1653665 HAS SOPS 1653665 HAS SOUS 1295283 HAS SOUPS 1295283 WITH SCORE 1296936.665
AT ITER 5505 NEW BEST:: SOT 10406658 SOS 1653643 HAS SOPS 1653643 HAS SOUS 1295261 HAS SOUPS 1295261 WITH SCORE 1296914.643
AT ITER 5530 NEW BEST:: SOT 10406568 SOS 1653541 HAS SOPS 1653541 HAS SOUS 1295171 HAS SOUPS 1295171 WITH SCORE 1296824.541
AT ITER 5533 NEW BEST:: SOT 10406568 SOS 1652611 HAS SOPS 1652611 HAS SOUS 1294706 HAS SOUPS 1294706 WITH SCORE 1296358.611
AT ITER 5539 NEW BEST:: SOT 10406568 SOS 1652544 HAS SOPS 1652544 HAS SOUS 1294639 HAS SOUPS 1294639 WITH SCORE 1296291.544
AT ITER 5540 NEW BEST:: SOT 10408480 SOS 1655210 HAS SOPS 1655210 HAS SOUS 1294333 HAS SOUPS 1294333 WITH SCORE 1295988.21
AT ITER 5570 NEW BEST:: SOT 10408480 SOS 1655545 HAS SOPS 1655545 HAS SOUS 1294251 HAS SOUPS 1294251 WITH SCORE 1295906.545
AT ITER 5593 NEW BEST:: SOT 10408117 SOS 1656731 HAS SOPS 1656731 HAS SOUS 1294242 HAS SOUPS 1294242 WITH SCORE 1295898.731
AT ITER 5603 NEW BEST:: SOT 10407928 SOS 1656353 HAS SOPS 1656353 HAS SOUS 1294053 HAS SOUPS 1294053 WITH SCORE 1295709.353
AT ITER 5605 NEW BEST:: SOT 10406512 SOS 1655973 HAS SOPS 1655973 HAS SOUS 1292896 HAS SOUPS 1292896 WITH SCORE 1294551.973
AT ITER 5635 NEW BEST:: SOT 10406467 SOS 1655881 HAS SOPS 1655881 HAS SOUS 1292805 HAS SOUPS 1292805 WITH SCORE 1294460.881
AT ITER 5681 NEW BEST:: SOT 10406414 SOS 1655775 HAS SOPS 1655775 HAS SOUS 1292699 HAS SOUPS 1292699 WITH SCORE 1294354.775
AT ITER 5686 NEW BEST:: SOT 10406199 SOS 1655345 HAS SOPS 1655345 HAS SOUS 1292395 HAS SOUPS 1292395 WITH SCORE 1294050.345
AT ITER 5691 NEW BEST:: SOT 10406199 SOS 1655334 HAS SOPS 1655334 HAS SOUS 1292384 HAS SOUPS 1292384 WITH SCORE 1294039.334
AT ITER 5704 NEW BEST:: SOT 10406191 SOS 1655318 HAS SOPS 1655318 HAS SOUS 1292360 HAS SOUPS 1292360 WITH SCORE 1294015.318
AT ITER 5761 NEW BEST:: SOT 10408661 SOS 1657833 HAS SOPS 1657833 HAS SOUS 1292102 HAS SOUPS 1292102 WITH SCORE 1293759.833
AT ITER 5767 NEW BEST:: SOT 10408212 SOS 1657475 HAS SOPS 1657475 HAS SOUS 1291744 HAS SOUPS 1291744 WITH SCORE 1293401.475
AT ITER 5770 NEW BEST:: SOT 10408190 SOS 1657420 HAS SOPS 1657420 HAS SOUS 1291689 HAS SOUPS 1291689 WITH SCORE 1293346.42
AT ITER 5774 NEW BEST:: SOT 10408190 SOS 1657420 HAS SOPS 1657420 HAS SOUS 1291687 HAS SOUPS 1291687 WITH SCORE 1293344.42
AT ITER 5782 NEW BEST:: SOT 10407823 SOS 1657053 HAS SOPS 1657053 HAS SOUS 1291314 HAS SOUPS 1291314 WITH SCORE 1292971.053
AT ITER 5833 NEW BEST:: SOT 10407823 SOS 1657049 HAS SOPS 1657049 HAS SOUS 1291310 HAS SOUPS 1291310 WITH SCORE 1292967.049
AT ITER 5837 NEW BEST:: SOT 10407590 SOS 1656922 HAS SOPS 1656922 HAS SOUS 1291183 HAS SOUPS 1291183 WITH SCORE 1292839.922
AT ITER 5848 NEW BEST:: SOT 10407357 SOS 1656689 HAS SOPS 1656689 HAS SOUS 1290717 HAS SOUPS 1290717 WITH SCORE 1292373.689
AT ITER 5873 NEW BEST:: SOT 10407357 SOS 1656247 HAS SOPS 1656247 HAS SOUS 1290717 HAS SOUPS 1290717 WITH SCORE 1292373.247
AT ITER 5874 NEW BEST:: SOT 10407311 SOS 1656201 HAS SOPS 1656201 HAS SOUS 1290671 HAS SOUPS 1290671 WITH SCORE 1292327.201
AT ITER 5902 NEW BEST:: SOT 10407392 SOS 1656282 HAS SOPS 1656282 HAS SOUS 1290385 HAS SOUPS 1290385 WITH SCORE 1292041.282
AT ITER 5928 NEW BEST:: SOT 10407280 SOS 1656143 HAS SOPS 1656143 HAS SOUS 1290235 HAS SOUPS 1290235 WITH SCORE 1291891.143
AT ITER 5960 NEW BEST:: SOT 10407184 SOS 1656262 HAS SOPS 1656262 HAS SOUS 1289421 HAS SOUPS 1289421 WITH SCORE 1291077.262
AT ITER 5985 NEW BEST:: SOT 10406866 SOS 1656262 HAS SOPS 1656262 HAS SOUS 1289209 HAS SOUPS 1289209 WITH SCORE 1290865.262
AT ITER 6008 NEW BEST:: SOT 10406601 SOS 1656444 HAS SOPS 1656444 HAS SOUS 1289092 HAS SOUPS 1289092 WITH SCORE 1290748.444
AT ITER 6027 NEW BEST:: SOT 10406601 SOS 1656353 HAS SOPS 1656353 HAS SOUS 1289091 HAS SOUPS 1289091 WITH SCORE 1290747.353
AT ITER 6034 NEW BEST:: SOT 10406434 SOS 1656348 HAS SOPS 1656348 HAS SOUS 1289086 HAS SOUPS 1289086 WITH SCORE 1290742.348
AT ITER 6098 NEW BEST:: SOT 10406326 SOS 1656107 HAS SOPS 1656107 HAS SOUS 1288845 HAS SOUPS 1288845 WITH SCORE 1290501.107
AT ITER 6162 NEW BEST:: SOT 10406208 SOS 1655871 HAS SOPS 1655871 HAS SOUS 1288609 HAS SOUPS 1288609 WITH SCORE 1290264.871
AT ITER 6229 NEW BEST:: SOT 10406207 SOS 1655869 HAS SOPS 1655869 HAS SOUS 1288607 HAS SOUPS 1288607 WITH SCORE 1290262.869
AT ITER 6242 NEW BEST:: SOT 10406207 SOS 1655851 HAS SOPS 1655851 HAS SOUS 1288589 HAS SOUPS 1288589 WITH SCORE 1290244.851
AT ITER 6250 NEW BEST:: SOT 10406166 SOS 1656241 HAS SOPS 1656241 HAS SOUS 1288583 HAS SOUPS 1288583 WITH SCORE 1290239.241
AT ITER 6258 NEW BEST:: SOT 10405998 SOS 1656073 HAS SOPS 1656073 HAS SOUS 1288247 HAS SOUPS 1288247 WITH SCORE 1289903.073
AT ITER 6265 NEW BEST:: SOT 10405894 SOS 1655269 HAS SOPS 1655269 HAS SOUS 1288039 HAS SOUPS 1288039 WITH SCORE 1289694.269
AT ITER 6266 NEW BEST:: SOT 10405894 SOS 1655301 HAS SOPS 1655301 HAS SOUS 1287079 HAS SOUPS 1287079 WITH SCORE 1288734.301
AT ITER 6323 NEW BEST:: SOT 10405845 SOS 1655252 HAS SOPS 1655252 HAS SOUS 1287030 HAS SOUPS 1287030 WITH SCORE 1288685.252
AT ITER 6331 NEW BEST:: SOT 10405862 SOS 1655225 HAS SOPS 1655225 HAS SOUS 1287003 HAS SOUPS 1287003 WITH SCORE 1288658.225
AT ITER 6358 NEW BEST:: SOT 10404907 SOS 1654366 HAS SOPS 1654366 HAS SOUS 1286144 HAS SOUPS 1286144 WITH SCORE 1287798.366
AT ITER 6366 NEW BEST:: SOT 10404573 SOS 1654032 HAS SOPS 1654032 HAS SOUS 1285810 HAS SOUPS 1285810 WITH SCORE 1287464.032
AT ITER 6371 NEW BEST:: SOT 10404573 SOS 1653818 HAS SOPS 1653818 HAS SOUS 1285596 HAS SOUPS 1285596 WITH SCORE 1287249.818
AT ITER 6416 NEW BEST:: SOT 10404573 SOS 1653814 HAS SOPS 1653814 HAS SOUS 1285590 HAS SOUPS 1285590 WITH SCORE 1287243.814
AT ITER 6423 NEW BEST:: SOT 10403184 SOS 1652408 HAS SOPS 1652408 HAS SOUS 1284368 HAS SOUPS 1284368 WITH SCORE 1286020.408
AT ITER 6427 NEW BEST:: SOT 10402775 SOS 1651862 HAS SOPS 1651862 HAS SOUS 1283822 HAS SOUPS 1283822 WITH SCORE 1285473.862
AT ITER 6480 NEW BEST:: SOT 10402666 SOS 1651644 HAS SOPS 1651644 HAS SOUS 1283604 HAS SOUPS 1283604 WITH SCORE 1285255.644
AT ITER 6483 NEW BEST:: SOT 10402664 SOS 1651642 HAS SOPS 1651642 HAS SOUS 1283602 HAS SOUPS 1283602 WITH SCORE 1285253.642
AT ITER 6506 NEW BEST:: SOT 10402081 SOS 1651317 HAS SOPS 1651317 HAS SOUS 1283278 HAS SOUPS 1283278 WITH SCORE 1284929.317
AT ITER 6512 NEW BEST:: SOT 10402267 SOS 1651235 HAS SOPS 1651235 HAS SOUS 1283196 HAS SOUPS 1283196 WITH SCORE 1284847.235
AT ITER 6546 NEW BEST:: SOT 10402007 SOS 1652509 HAS SOPS 1652509 HAS SOUS 1282825 HAS SOUPS 1282825 WITH SCORE 1284477.509
AT ITER 6551 NEW BEST:: SOT 10401948 SOS 1652103 HAS SOPS 1652103 HAS SOUS 1282112 HAS SOUPS 1282112 WITH SCORE 1283764.103
AT ITER 6554 NEW BEST:: SOT 10401697 SOS 1651852 HAS SOPS 1651852 HAS SOUS 1281484 HAS SOUPS 1281484 WITH SCORE 1283135.852
AT ITER 6568 NEW BEST:: SOT 10401382 SOS 1651249 HAS SOPS 1651249 HAS SOUS 1280881 HAS SOUPS 1280881 WITH SCORE 1282532.249
AT ITER 6583 NEW BEST:: SOT 10401279 SOS 1650825 HAS SOPS 1650825 HAS SOUS 1280675 HAS SOUPS 1280675 WITH SCORE 1282325.825
AT ITER 6617 NEW BEST:: SOT 10401271 SOS 1650801 HAS SOPS 1650801 HAS SOUS 1280656 HAS SOUPS 1280656 WITH SCORE 1282306.801
AT ITER 6672 NEW BEST:: SOT 10401225 SOS 1650709 HAS SOPS 1650709 HAS SOUS 1280564 HAS SOUPS 1280564 WITH SCORE 1282214.709
AT ITER 6677 NEW BEST:: SOT 10401055 SOS 1650369 HAS SOPS 1650369 HAS SOUS 1280224 HAS SOUPS 1280224 WITH SCORE 1281874.369
AT ITER 6703 NEW BEST:: SOT 10400936 SOS 1649977 HAS SOPS 1649977 HAS SOUS 1279986 HAS SOUPS 1279986 WITH SCORE 1281635.977
AT ITER 6717 NEW BEST:: SOT 10400936 SOS 1648367 HAS SOPS 1648367 HAS SOUS 1279986 HAS SOUPS 1279986 WITH SCORE 1281634.367
AT ITER 6736 NEW BEST:: SOT 10400667 SOS 1648098 HAS SOPS 1648098 HAS SOUS 1279448 HAS SOUPS 1279448 WITH SCORE 1281096.098
AT ITER 6808 NEW BEST:: SOT 10400663 SOS 1647120 HAS SOPS 1647120 HAS SOUS 1279121 HAS SOUPS 1279121 WITH SCORE 1280768.12
AT ITER 6817 NEW BEST:: SOT 10400428 SOS 1646650 HAS SOPS 1646650 HAS SOUS 1278651 HAS SOUPS 1278651 WITH SCORE 1280297.65
AT ITER 6901 NEW BEST:: SOT 10400428 SOS 1646905 HAS SOPS 1646905 HAS SOUS 1278644 HAS SOUPS 1278644 WITH SCORE 1280290.905
AT ITER 6915 NEW BEST:: SOT 10400426 SOS 1646903 HAS SOPS 1646903 HAS SOUS 1278640 HAS SOUPS 1278640 WITH SCORE 1280286.903
AT ITER 6940 NEW BEST:: SOT 10400426 SOS 1646901 HAS SOPS 1646901 HAS SOUS 1278638 HAS SOUPS 1278638 WITH SCORE 1280284.901
AT ITER 6959 NEW BEST:: SOT 10400285 SOS 1646619 HAS SOPS 1646619 HAS SOUS 1278187 HAS SOUPS 1278187 WITH SCORE 1279833.619
AT ITER 6980 NEW BEST:: SOT 10399640 SOS 1646271 HAS SOPS 1646271 HAS SOUS 1277800 HAS SOUPS 1277800 WITH SCORE 1279446.271
AT ITER 7002 NEW BEST:: SOT 10399640 SOS 1646380 HAS SOPS 1646380 HAS SOUS 1277037 HAS SOUPS 1277037 WITH SCORE 1278683.38
AT ITER 7026 NEW BEST:: SOT 10399611 SOS 1646351 HAS SOPS 1646351 HAS SOUS 1277008 HAS SOUPS 1277008 WITH SCORE 1278654.351
AT ITER 7062 NEW BEST:: SOT 10399301 SOS 1645968 HAS SOPS 1645968 HAS SOUS 1276625 HAS SOUPS 1276625 WITH SCORE 1278270.968
AT ITER 7088 NEW BEST:: SOT 10399209 SOS 1645876 HAS SOPS 1645876 HAS SOUS 1274021 HAS SOUPS 1274021 WITH SCORE 1275666.876
AT ITER 7094 NEW BEST:: SOT 10398388 SOS 1647753 HAS SOPS 1647753 HAS SOUS 1273634 HAS SOUPS 1273634 WITH SCORE 1275281.753
AT ITER 7097 NEW BEST:: SOT 10398500 SOS 1647068 HAS SOPS 1647068 HAS SOUS 1273194 HAS SOUPS 1273194 WITH SCORE 1274841.068
AT ITER 7111 NEW BEST:: SOT 10398755 SOS 1647023 HAS SOPS 1647023 HAS SOUS 1273149 HAS SOUPS 1273149 WITH SCORE 1274796.023
AT ITER 7139 NEW BEST:: SOT 10398711 SOS 1646599 HAS SOPS 1646599 HAS SOUS 1273004 HAS SOUPS 1273004 WITH SCORE 1274650.599
AT ITER 7146 NEW BEST:: SOT 10397127 SOS 1644817 HAS SOPS 1644817 HAS SOUS 1271222 HAS SOUPS 1271222 WITH SCORE 1272866.817
AT ITER 7228 NEW BEST:: SOT 10397020 SOS 1644660 HAS SOPS 1644660 HAS SOUS 1271113 HAS SOUPS 1271113 WITH SCORE 1272757.66
AT ITER 7276 NEW BEST:: SOT 10397021 SOS 1644437 HAS SOPS 1644437 HAS SOUS 1270724 HAS SOUPS 1270724 WITH SCORE 1272368.437
AT ITER 7296 NEW BEST:: SOT 10396709 SOS 1644124 HAS SOPS 1644124 HAS SOUS 1270589 HAS SOUPS 1270589 WITH SCORE 1272233.124
AT ITER 7343 NEW BEST:: SOT 10396709 SOS 1643737 HAS SOPS 1643737 HAS SOUS 1270588 HAS SOUPS 1270588 WITH SCORE 1272231.737
AT ITER 7361 NEW BEST:: SOT 10396639 SOS 1644107 HAS SOPS 1644107 HAS SOUS 1270520 HAS SOUPS 1270520 WITH SCORE 1272164.107
AT ITER 7362 NEW BEST:: SOT 10396283 SOS 1643778 HAS SOPS 1643778 HAS SOUS 1270380 HAS SOUPS 1270380 WITH SCORE 1272023.778
AT ITER 7406 NEW BEST:: SOT 10396283 SOS 1643776 HAS SOPS 1643776 HAS SOUS 1270378 HAS SOUPS 1270378 WITH SCORE 1272021.776
AT ITER 7410 NEW BEST:: SOT 10396275 SOS 1643768 HAS SOPS 1643768 HAS SOUS 1270370 HAS SOUPS 1270370 WITH SCORE 1272013.768
AT ITER 7429 NEW BEST:: SOT 10396238 SOS 1643392 HAS SOPS 1643392 HAS SOUS 1270146 HAS SOUPS 1270146 WITH SCORE 1271789.392
AT ITER 7457 NEW BEST:: SOT 10396266 SOS 1643448 HAS SOPS 1643448 HAS SOUS 1269962 HAS SOUPS 1269962 WITH SCORE 1271605.448
AT ITER 7459 NEW BEST:: SOT 10396200 SOS 1643382 HAS SOPS 1643382 HAS SOUS 1269896 HAS SOUPS 1269896 WITH SCORE 1271539.382
AT ITER 7475 NEW BEST:: SOT 10396291 SOS 1643406 HAS SOPS 1643406 HAS SOUS 1269731 HAS SOUPS 1269731 WITH SCORE 1271374.406
AT ITER 7490 NEW BEST:: SOT 10395623 SOS 1643729 HAS SOPS 1643729 HAS SOUS 1269623 HAS SOUPS 1269623 WITH SCORE 1271266.729
AT ITER 7530 NEW BEST:: SOT 10394751 SOS 1642639 HAS SOPS 1642639 HAS SOUS 1269405 HAS SOUPS 1269405 WITH SCORE 1271047.639
AT ITER 7546 NEW BEST:: SOT 10394555 SOS 1642443 HAS SOPS 1642443 HAS SOUS 1269209 HAS SOUPS 1269209 WITH SCORE 1270851.443
AT ITER 7564 NEW BEST:: SOT 10394555 SOS 1642163 HAS SOPS 1642163 HAS SOUS 1269089 HAS SOUPS 1269089 WITH SCORE 1270731.163
AT ITER 7573 NEW BEST:: SOT 10394386 SOS 1641825 HAS SOPS 1641825 HAS SOUS 1268741 HAS SOUPS 1268741 WITH SCORE 1270382.825
AT ITER 7603 NEW BEST:: SOT 10394302 SOS 1641526 HAS SOPS 1641526 HAS SOUS 1268571 HAS SOUPS 1268571 WITH SCORE 1270212.526
AT ITER 7612 NEW BEST:: SOT 10394302 SOS 1641517 HAS SOPS 1641517 HAS SOUS 1268571 HAS SOUPS 1268571 WITH SCORE 1270212.517
AT ITER 7622 NEW BEST:: SOT 10392110 SOS 1639051 HAS SOPS 1639051 HAS SOUS 1268297 HAS SOUPS 1268297 WITH SCORE 1269936.051
AT ITER 7644 NEW BEST:: SOT 10392110 SOS 1638923 HAS SOPS 1638923 HAS SOUS 1268234 HAS SOUPS 1268234 WITH SCORE 1269872.923
AT ITER 7673 NEW BEST:: SOT 10391612 SOS 1638578 HAS SOPS 1638578 HAS SOUS 1267664 HAS SOUPS 1267664 WITH SCORE 1269302.578
AT ITER 7678 NEW BEST:: SOT 10391435 SOS 1638114 HAS SOPS 1638114 HAS SOUS 1267539 HAS SOUPS 1267539 WITH SCORE 1269177.114
AT ITER 7688 NEW BEST:: SOT 10391332 SOS 1637908 HAS SOPS 1637908 HAS SOUS 1267333 HAS SOUPS 1267333 WITH SCORE 1268970.908
AT ITER 7701 NEW BEST:: SOT 10391306 SOS 1637856 HAS SOPS 1637856 HAS SOUS 1267281 HAS SOUPS 1267281 WITH SCORE 1268918.856
AT ITER 7726 NEW BEST:: SOT 10391162 SOS 1637567 HAS SOPS 1637567 HAS SOUS 1266992 HAS SOUPS 1266992 WITH SCORE 1268629.567
AT ITER 7790 NEW BEST:: SOT 10391137 SOS 1637200 HAS SOPS 1637200 HAS SOUS 1266942 HAS SOUPS 1266942 WITH SCORE 1268579.2
AT ITER 7824 NEW BEST:: SOT 10390967 SOS 1636876 HAS SOPS 1636876 HAS SOUS 1266594 HAS SOUPS 1266594 WITH SCORE 1268230.876
AT ITER 7833 NEW BEST:: SOT 10391028 SOS 1636736 HAS SOPS 1636736 HAS SOUS 1266454 HAS SOUPS 1266454 WITH SCORE 1268090.736
AT ITER 7893 NEW BEST:: SOT 10391028 SOS 1636611 HAS SOPS 1636611 HAS SOUS 1266453 HAS SOUPS 1266453 WITH SCORE 1268089.611
AT ITER 7962 NEW BEST:: SOT 10391028 SOS 1636601 HAS SOPS 1636601 HAS SOUS 1266443 HAS SOUPS 1266443 WITH SCORE 1268079.601
AT ITER 8024 NEW BEST:: SOT 10390846 SOS 1636462 HAS SOPS 1636462 HAS SOUS 1266082 HAS SOUPS 1266082 WITH SCORE 1267718.462
AT ITER 8054 NEW BEST:: SOT 10390828 SOS 1636424 HAS SOPS 1636424 HAS SOUS 1266044 HAS SOUPS 1266044 WITH SCORE 1267680.424
AT ITER 8058 NEW BEST:: SOT 10390680 SOS 1636128 HAS SOPS 1636128 HAS SOUS 1265748 HAS SOUPS 1265748 WITH SCORE 1267384.128
AT ITER 8060 NEW BEST:: SOT 10390680 SOS 1636720 HAS SOPS 1636720 HAS SOUS 1265717 HAS SOUPS 1265717 WITH SCORE 1267353.72
AT ITER 8124 NEW BEST:: SOT 10390680 SOS 1636719 HAS SOPS 1636719 HAS SOUS 1265716 HAS SOUPS 1265716 WITH SCORE 1267352.719
AT ITER 8155 NEW BEST:: SOT 10390530 SOS 1636419 HAS SOPS 1636419 HAS SOUS 1265416 HAS SOUPS 1265416 WITH SCORE 1267052.419
AT ITER 8164 NEW BEST:: SOT 10390530 SOS 1636197 HAS SOPS 1636197 HAS SOUS 1265410 HAS SOUPS 1265410 WITH SCORE 1267046.197
AT ITER 8178 NEW BEST:: SOT 10390990 SOS 1637127 HAS SOPS 1637127 HAS SOUS 1263582 HAS SOUPS 1263582 WITH SCORE 1265219.127
AT ITER 8190 NEW BEST:: SOT 10390829 SOS 1636644 HAS SOPS 1636644 HAS SOUS 1263099 HAS SOUPS 1263099 WITH SCORE 1264735.644
AT ITER 8277 NEW BEST:: SOT 10390694 SOS 1636374 HAS SOPS 1636374 HAS SOUS 1262829 HAS SOUPS 1262829 WITH SCORE 1264465.374
AT ITER 8282 NEW BEST:: SOT 10390688 SOS 1635314 HAS SOPS 1635314 HAS SOUS 1262817 HAS SOUPS 1262817 WITH SCORE 1264452.314
AT ITER 8290 NEW BEST:: SOT 10390484 SOS 1635224 HAS SOPS 1635224 HAS SOUS 1262725 HAS SOUPS 1262725 WITH SCORE 1264360.224
AT ITER 8294 NEW BEST:: SOT 10390467 SOS 1635156 HAS SOPS 1635156 HAS SOUS 1262708 HAS SOUPS 1262708 WITH SCORE 1264343.156
AT ITER 8327 NEW BEST:: SOT 10390355 SOS 1635049 HAS SOPS 1635049 HAS SOUS 1262636 HAS SOUPS 1262636 WITH SCORE 1264271.049
AT ITER 8334 NEW BEST:: SOT 10390353 SOS 1635047 HAS SOPS 1635047 HAS SOUS 1262634 HAS SOUPS 1262634 WITH SCORE 1264269.047
AT ITER 8342 NEW BEST:: SOT 10390286 SOS 1634708 HAS SOPS 1634708 HAS SOUS 1262499 HAS SOUPS 1262499 WITH SCORE 1264133.708
AT ITER 8356 NEW BEST:: SOT 10390286 SOS 1634707 HAS SOPS 1634707 HAS SOUS 1262498 HAS SOUPS 1262498 WITH SCORE 1264132.707
AT ITER 8362 NEW BEST:: SOT 10390239 SOS 1634613 HAS SOPS 1634613 HAS SOUS 1262448 HAS SOUPS 1262448 WITH SCORE 1264082.613
AT ITER 8373 NEW BEST:: SOT 10390047 SOS 1634712 HAS SOPS 1634712 HAS SOUS 1262064 HAS SOUPS 1262064 WITH SCORE 1263698.712
AT ITER 8375 NEW BEST:: SOT 10390009 SOS 1634555 HAS SOPS 1634555 HAS SOUS 1261906 HAS SOUPS 1261906 WITH SCORE 1263540.555
AT ITER 8416 NEW BEST:: SOT 10388772 SOS 1633359 HAS SOPS 1633359 HAS SOUS 1260669 HAS SOUPS 1260669 WITH SCORE 1262302.359
AT ITER 8437 NEW BEST:: SOT 10388861 SOS 1633381 HAS SOPS 1633381 HAS SOUS 1260616 HAS SOUPS 1260616 WITH SCORE 1262249.381
AT ITER 8478 NEW BEST:: SOT 10388861 SOS 1633381 HAS SOPS 1633381 HAS SOUS 1260303 HAS SOUPS 1260303 WITH SCORE 1261936.381
AT ITER 8515 NEW BEST:: SOT 10388861 SOS 1633359 HAS SOPS 1633359 HAS SOUS 1260302 HAS SOUPS 1260302 WITH SCORE 1261935.359
AT ITER 8549 NEW BEST:: SOT 10388549 SOS 1632666 HAS SOPS 1632666 HAS SOUS 1259630 HAS SOUPS 1259630 WITH SCORE 1261262.666
AT ITER 8554 NEW BEST:: SOT 10388354 SOS 1632587 HAS SOPS 1632587 HAS SOUS 1259551 HAS SOUPS 1259551 WITH SCORE 1261183.587
AT ITER 8565 NEW BEST:: SOT 10387895 SOS 1632128 HAS SOPS 1632128 HAS SOUS 1259041 HAS SOUPS 1259041 WITH SCORE 1260673.128
AT ITER 8569 NEW BEST:: SOT 10388172 SOS 1632064 HAS SOPS 1632064 HAS SOUS 1258977 HAS SOUPS 1258977 WITH SCORE 1260609.064
AT ITER 8611 NEW BEST:: SOT 10388140 SOS 1632032 HAS SOPS 1632032 HAS SOUS 1258945 HAS SOUPS 1258945 WITH SCORE 1260577.032
AT ITER 8624 NEW BEST:: SOT 10387751 SOS 1631584 HAS SOPS 1631584 HAS SOUS 1258497 HAS SOUPS 1258497 WITH SCORE 1260128.584
AT ITER 8682 NEW BEST:: SOT 10387763 SOS 1631428 HAS SOPS 1631428 HAS SOUS 1258464 HAS SOUPS 1258464 WITH SCORE 1260095.428
AT ITER 8688 NEW BEST:: SOT 10387762 SOS 1631683 HAS SOPS 1631683 HAS SOUS 1258439 HAS SOUPS 1258439 WITH SCORE 1260070.683
AT ITER 8701 NEW BEST:: SOT 10387611 SOS 1631381 HAS SOPS 1631381 HAS SOUS 1258286 HAS SOUPS 1258286 WITH SCORE 1259917.381
AT ITER 8715 NEW BEST:: SOT 10387611 SOS 1630912 HAS SOPS 1630912 HAS SOUS 1258286 HAS SOUPS 1258286 WITH SCORE 1259916.912
AT ITER 8725 NEW BEST:: SOT 10387477 SOS 1630643 HAS SOPS 1630643 HAS SOUS 1258017 HAS SOUPS 1258017 WITH SCORE 1259647.643
AT ITER 8776 NEW BEST:: SOT 10387476 SOS 1630467 HAS SOPS 1630467 HAS SOUS 1257841 HAS SOUPS 1257841 WITH SCORE 1259471.467
AT ITER 8782 NEW BEST:: SOT 10387244 SOS 1631903 HAS SOPS 1631903 HAS SOUS 1257345 HAS SOUPS 1257345 WITH SCORE 1258976.903
AT ITER 8818 NEW BEST:: SOT 10387006 SOS 1631700 HAS SOPS 1631700 HAS SOUS 1257125 HAS SOUPS 1257125 WITH SCORE 1258756.7
AT ITER 8826 NEW BEST:: SOT 10386943 SOS 1631637 HAS SOPS 1631637 HAS SOUS 1257062 HAS SOUPS 1257062 WITH SCORE 1258693.637
AT ITER 8827 NEW BEST:: SOT 10386748 SOS 1631603 HAS SOPS 1631603 HAS SOUS 1256748 HAS SOUPS 1256748 WITH SCORE 1258379.603
AT ITER 8838 NEW BEST:: SOT 10388728 SOS 1633523 HAS SOPS 1633523 HAS SOUS 1256142 HAS SOUPS 1256142 WITH SCORE 1257775.523
AT ITER 8839 NEW BEST:: SOT 10388390 SOS 1632847 HAS SOPS 1632847 HAS SOUS 1255466 HAS SOUPS 1255466 WITH SCORE 1257098.847
AT ITER 8851 NEW BEST:: SOT 10388390 SOS 1632847 HAS SOPS 1632847 HAS SOUS 1255465 HAS SOUPS 1255465 WITH SCORE 1257097.847
AT ITER 8869 NEW BEST:: SOT 10388278 SOS 1632637 HAS SOPS 1632637 HAS SOUS 1255325 HAS SOUPS 1255325 WITH SCORE 1256957.637
AT ITER 8880 NEW BEST:: SOT 10388185 SOS 1632451 HAS SOPS 1632451 HAS SOUS 1255139 HAS SOUPS 1255139 WITH SCORE 1256771.451
AT ITER 8896 NEW BEST:: SOT 10388173 SOS 1632439 HAS SOPS 1632439 HAS SOUS 1255127 HAS SOUPS 1255127 WITH SCORE 1256759.439
AT ITER 8900 NEW BEST:: SOT 10388093 SOS 1632171 HAS SOPS 1632171 HAS SOUS 1254967 HAS SOUPS 1254967 WITH SCORE 1256599.171
AT ITER 8923 NEW BEST:: SOT 10388067 SOS 1632131 HAS SOPS 1632131 HAS SOUS 1254927 HAS SOUPS 1254927 WITH SCORE 1256559.131
AT ITER 8925 NEW BEST:: SOT 10388079 SOS 1631764 HAS SOPS 1631764 HAS SOUS 1254901 HAS SOUPS 1254901 WITH SCORE 1256532.764
AT ITER 8927 NEW BEST:: SOT 10387868 SOS 1630918 HAS SOPS 1630918 HAS SOUS 1254055 HAS SOUPS 1254055 WITH SCORE 1255685.918
AT ITER 8949 NEW BEST:: SOT 10389528 SOS 1632782 HAS SOPS 1632782 HAS SOUS 1253950 HAS SOUPS 1253950 WITH SCORE 1255582.782
AT ITER 9044 NEW BEST:: SOT 10389421 SOS 1632650 HAS SOPS 1632650 HAS SOUS 1253880 HAS SOUPS 1253880 WITH SCORE 1255512.65
AT ITER 9061 NEW BEST:: SOT 10388977 SOS 1632983 HAS SOPS 1632983 HAS SOUS 1253547 HAS SOUPS 1253547 WITH SCORE 1255179.983
AT ITER 9082 NEW BEST:: SOT 10388618 SOS 1632886 HAS SOPS 1632886 HAS SOUS 1253450 HAS SOUPS 1253450 WITH SCORE 1255082.886
AT ITER 9086 NEW BEST:: SOT 10388545 SOS 1632872 HAS SOPS 1632872 HAS SOUS 1253335 HAS SOUPS 1253335 WITH SCORE 1254967.872
AT ITER 9114 NEW BEST:: SOT 10388416 SOS 1632759 HAS SOPS 1632759 HAS SOUS 1253222 HAS SOUPS 1253222 WITH SCORE 1254854.759
AT ITER 9116 NEW BEST:: SOT 10388295 SOS 1632758 HAS SOPS 1632758 HAS SOUS 1252980 HAS SOUPS 1252980 WITH SCORE 1254612.758
AT ITER 9141 NEW BEST:: SOT 10388298 SOS 1634109 HAS SOPS 1634109 HAS SOUS 1252948 HAS SOUPS 1252948 WITH SCORE 1254582.109
AT ITER 9158 NEW BEST:: SOT 10387669 SOS 1633307 HAS SOPS 1633307 HAS SOUS 1252146 HAS SOUPS 1252146 WITH SCORE 1253779.307
AT ITER 9189 NEW BEST:: SOT 10387669 SOS 1633537 HAS SOPS 1633537 HAS SOUS 1252087 HAS SOUPS 1252087 WITH SCORE 1253720.537
AT ITER 9198 NEW BEST:: SOT 10387669 SOS 1633525 HAS SOPS 1633525 HAS SOUS 1252087 HAS SOUPS 1252087 WITH SCORE 1253720.525
AT ITER 9202 NEW BEST:: SOT 10387382 SOS 1633447 HAS SOPS 1633447 HAS SOUS 1251891 HAS SOUPS 1251891 WITH SCORE 1253524.447
AT ITER 9205 NEW BEST:: SOT 10387212 SOS 1633107 HAS SOPS 1633107 HAS SOUS 1251552 HAS SOUPS 1251552 WITH SCORE 1253185.107
AT ITER 9232 NEW BEST:: SOT 10387197 SOS 1633077 HAS SOPS 1633077 HAS SOUS 1251522 HAS SOUPS 1251522 WITH SCORE 1253155.077
AT ITER 9262 NEW BEST:: SOT 10387197 SOS 1632978 HAS SOPS 1632978 HAS SOUS 1251423 HAS SOUPS 1251423 WITH SCORE 1253055.978
AT ITER 9271 NEW BEST:: SOT 10387197 SOS 1633149 HAS SOPS 1633149 HAS SOUS 1251403 HAS SOUPS 1251403 WITH SCORE 1253036.149
AT ITER 9272 NEW BEST:: SOT 10387052 SOS 1634160 HAS SOPS 1634160 HAS SOUS 1251258 HAS SOUPS 1251258 WITH SCORE 1252892.16
AT ITER 9302 NEW BEST:: SOT 10386802 SOS 1633960 HAS SOPS 1633960 HAS SOUS 1251058 HAS SOUPS 1251058 WITH SCORE 1252691.96
AT ITER 9307 NEW BEST:: SOT 10386198 SOS 1635675 HAS SOPS 1635675 HAS SOUS 1250655 HAS SOUPS 1250655 WITH SCORE 1252290.675
AT ITER 9311 NEW BEST:: SOT 10386059 SOS 1635394 HAS SOPS 1635394 HAS SOUS 1250301 HAS SOUPS 1250301 WITH SCORE 1251936.394
AT ITER 9325 NEW BEST:: SOT 10386059 SOS 1635294 HAS SOPS 1635294 HAS SOUS 1250201 HAS SOUPS 1250201 WITH SCORE 1251836.294
AT ITER 9344 NEW BEST:: SOT 10385824 SOS 1634824 HAS SOPS 1634824 HAS SOUS 1250072 HAS SOUPS 1250072 WITH SCORE 1251706.824
AT ITER 9372 NEW BEST:: SOT 10385824 SOS 1634826 HAS SOPS 1634826 HAS SOUS 1250004 HAS SOUPS 1250004 WITH SCORE 1251638.826
AT ITER 9385 NEW BEST:: SOT 10385824 SOS 1634785 HAS SOPS 1634785 HAS SOUS 1250003 HAS SOUPS 1250003 WITH SCORE 1251637.785
AT ITER 9410 NEW BEST:: SOT 10385700 SOS 1634731 HAS SOPS 1634731 HAS SOUS 1249949 HAS SOUPS 1249949 WITH SCORE 1251583.731
AT ITER 9419 NEW BEST:: SOT 10385416 SOS 1633999 HAS SOPS 1633999 HAS SOUS 1249217 HAS SOUPS 1249217 WITH SCORE 1250850.999
AT ITER 9453 NEW BEST:: SOT 10385416 SOS 1633993 HAS SOPS 1633993 HAS SOUS 1249205 HAS SOUPS 1249205 WITH SCORE 1250838.993
AT ITER 9457 NEW BEST:: SOT 10385671 SOS 1634132 HAS SOPS 1634132 HAS SOUS 1249110 HAS SOUPS 1249110 WITH SCORE 1250744.132
AT ITER 9476 NEW BEST:: SOT 10385664 SOS 1633903 HAS SOPS 1633903 HAS SOUS 1248881 HAS SOUPS 1248881 WITH SCORE 1250514.903
AT ITER 9488 NEW BEST:: SOT 10385482 SOS 1633588 HAS SOPS 1633588 HAS SOUS 1248779 HAS SOUPS 1248779 WITH SCORE 1250412.588
AT ITER 9490 NEW BEST:: SOT 10385501 SOS 1633456 HAS SOPS 1633456 HAS SOUS 1248647 HAS SOUPS 1248647 WITH SCORE 1250280.456
AT ITER 9524 NEW BEST:: SOT 10385273 SOS 1634806 HAS SOPS 1634806 HAS SOUS 1248259 HAS SOUPS 1248259 WITH SCORE 1249893.806
AT ITER 9539 NEW BEST:: SOT 10384775 SOS 1637836 HAS SOPS 1637836 HAS SOUS 1248100 HAS SOUPS 1248100 WITH SCORE 1249737.836
AT ITER 9568 NEW BEST:: SOT 10384546 SOS 1639157 HAS SOPS 1639157 HAS SOUS 1248014 HAS SOUPS 1248014 WITH SCORE 1249653.157
AT ITER 9577 NEW BEST:: SOT 10384217 SOS 1638828 HAS SOPS 1638828 HAS SOUS 1248014 HAS SOUPS 1248014 WITH SCORE 1249652.828
AT ITER 9593 NEW BEST:: SOT 10382321 SOS 1638910 HAS SOPS 1638910 HAS SOUS 1246644 HAS SOUPS 1246644 WITH SCORE 1248282.91
AT ITER 9600 NEW BEST:: SOT 10382151 SOS 1638467 HAS SOPS 1638467 HAS SOUS 1246474 HAS SOUPS 1246474 WITH SCORE 1248112.467
AT ITER 9601 NEW BEST:: SOT 10382068 SOS 1638295 HAS SOPS 1638295 HAS SOUS 1246385 HAS SOUPS 1246385 WITH SCORE 1248023.295
AT ITER 9610 NEW BEST:: SOT 10381969 SOS 1637975 HAS SOPS 1637975 HAS SOUS 1245735 HAS SOUPS 1245735 WITH SCORE 1247372.975
AT ITER 9645 NEW BEST:: SOT 10381929 SOS 1637861 HAS SOPS 1637861 HAS SOUS 1245646 HAS SOUPS 1245646 WITH SCORE 1247283.861
AT ITER 9693 NEW BEST:: SOT 10381638 SOS 1637570 HAS SOPS 1637570 HAS SOUS 1245064 HAS SOUPS 1245064 WITH SCORE 1246701.57
AT ITER 9761 NEW BEST:: SOT 10381609 SOS 1637516 HAS SOPS 1637516 HAS SOUS 1245008 HAS SOUPS 1245008 WITH SCORE 1246645.516
AT ITER 9765 NEW BEST:: SOT 10381607 SOS 1637499 HAS SOPS 1637499 HAS SOUS 1244991 HAS SOUPS 1244991 WITH SCORE 1246628.499
AT ITER 9826 NEW BEST:: SOT 10381607 SOS 1636917 HAS SOPS 1636917 HAS SOUS 1244991 HAS SOUPS 1244991 WITH SCORE 1246627.917
AT ITER 9827 NEW BEST:: SOT 10381595 SOS 1636899 HAS SOPS 1636899 HAS SOUS 1244967 HAS SOUPS 1244967 WITH SCORE 1246603.899
AT ITER 9830 NEW BEST:: SOT 10381555 SOS 1636522 HAS SOPS 1636522 HAS SOUS 1244935 HAS SOUPS 1244935 WITH SCORE 1246571.522
AT ITER 9838 NEW BEST:: SOT 10381631 SOS 1636266 HAS SOPS 1636266 HAS SOUS 1244762 HAS SOUPS 1244762 WITH SCORE 1246398.266
AT ITER 9886 NEW BEST:: SOT 10380630 SOS 1635284 HAS SOPS 1635284 HAS SOUS 1243974 HAS SOUPS 1243974 WITH SCORE 1245609.284
AT ITER 9892 NEW BEST:: SOT 10380632 SOS 1634056 HAS SOPS 1634056 HAS SOUS 1243831 HAS SOUPS 1243831 WITH SCORE 1245465.056
AT ITER 9901 NEW BEST:: SOT 10380632 SOS 1633957 HAS SOPS 1633957 HAS SOUS 1243732 HAS SOUPS 1243732 WITH SCORE 1245365.957
AT ITER 9904 NEW BEST:: SOT 10380630 SOS 1633960 HAS SOPS 1633960 HAS SOUS 1243695 HAS SOUPS 1243695 WITH SCORE 1245328.96
AT ITER 9993 NEW BEST:: SOT 10380630 SOS 1633909 HAS SOPS 1633909 HAS SOUS 1243695 HAS SOUPS 1243695 WITH SCORE 1245328.909
AT ITER 9998 NEW BEST:: SOT 10380630 SOS 1633883 HAS SOPS 1633883 HAS SOUS 1243695 HAS SOUPS 1243695 WITH SCORE 1245328.883
AT ITER 9999 NEW BEST:: SOT 10380600 SOS 1633837 HAS SOPS 1633837 HAS SOUS 1243649 HAS SOUPS 1243649 WITH SCORE 1245282.837

BK_TIME_CONFINEMENT_REACHED

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

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="ASLink-PT-09b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-09b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100145"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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