Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472700696.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCround-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 18:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 963K 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 1678258415600

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2703 places, 4071 transitions, 11073 arcs.
AT ITER 0 NEW BEST:: SOT 6825256 SOS 1533996 HAS SOPS 1533996 HAS SOUS 962756 HAS SOUPS 962756 WITH SCORE 964289.996
AT ITER 20 NEW BEST:: SOT 6825256 SOS 1534707 HAS SOPS 1534707 HAS SOUS 962755 HAS SOUPS 962755 WITH SCORE 964289.707
AT ITER 32 NEW BEST:: SOT 6824995 SOS 1534259 HAS SOPS 1534259 HAS SOUS 962494 HAS SOUPS 962494 WITH SCORE 964028.259
AT ITER 39 NEW BEST:: SOT 6824983 SOS 1534247 HAS SOPS 1534247 HAS SOUS 962482 HAS SOUPS 962482 WITH SCORE 964016.247
AT ITER 44 NEW BEST:: SOT 6823646 SOS 1534654 HAS SOPS 1534654 HAS SOUS 961971 HAS SOUPS 961971 WITH SCORE 963505.654
AT ITER 54 NEW BEST:: SOT 6823645 SOS 1534652 HAS SOPS 1534652 HAS SOUS 961970 HAS SOUPS 961970 WITH SCORE 963504.652
AT ITER 64 NEW BEST:: SOT 6823037 SOS 1533436 HAS SOPS 1533436 HAS SOUS 960926 HAS SOUPS 960926 WITH SCORE 962459.436
AT ITER 69 NEW BEST:: SOT 6823105 SOS 1533433 HAS SOPS 1533433 HAS SOUS 960923 HAS SOUPS 960923 WITH SCORE 962456.433
AT ITER 103 NEW BEST:: SOT 6823090 SOS 1533403 HAS SOPS 1533403 HAS SOUS 960893 HAS SOUPS 960893 WITH SCORE 962426.403
AT ITER 107 NEW BEST:: SOT 6822944 SOS 1533283 HAS SOPS 1533283 HAS SOUS 960758 HAS SOUPS 960758 WITH SCORE 962291.283
AT ITER 108 NEW BEST:: SOT 6822812 SOS 1533019 HAS SOPS 1533019 HAS SOUS 960494 HAS SOUPS 960494 WITH SCORE 962027.019
AT ITER 109 NEW BEST:: SOT 6822812 SOS 1533019 HAS SOPS 1533019 HAS SOUS 960348 HAS SOUPS 960348 WITH SCORE 961881.019
AT ITER 153 NEW BEST:: SOT 6822735 SOS 1532865 HAS SOPS 1532865 HAS SOUS 960194 HAS SOUPS 960194 WITH SCORE 961726.865
AT ITER 161 NEW BEST:: SOT 6822735 SOS 1533311 HAS SOPS 1533311 HAS SOUS 960193 HAS SOUPS 960193 WITH SCORE 961726.311
AT ITER 187 NEW BEST:: SOT 6822753 SOS 1533347 HAS SOPS 1533347 HAS SOUS 959838 HAS SOUPS 959838 WITH SCORE 961371.347
AT ITER 190 NEW BEST:: SOT 6822682 SOS 1533344 HAS SOPS 1533344 HAS SOUS 959837 HAS SOUPS 959837 WITH SCORE 961370.344
AT ITER 258 NEW BEST:: SOT 6822551 SOS 1533373 HAS SOPS 1533373 HAS SOUS 959803 HAS SOUPS 959803 WITH SCORE 961336.373
AT ITER 261 NEW BEST:: SOT 6822405 SOS 1533081 HAS SOPS 1533081 HAS SOUS 959511 HAS SOUPS 959511 WITH SCORE 961044.081
AT ITER 262 NEW BEST:: SOT 6821545 SOS 1532221 HAS SOPS 1532221 HAS SOUS 958651 HAS SOUPS 958651 WITH SCORE 960183.221
AT ITER 278 NEW BEST:: SOT 6821383 SOS 1532383 HAS SOPS 1532383 HAS SOUS 958403 HAS SOUPS 958403 WITH SCORE 959935.383
AT ITER 279 NEW BEST:: SOT 6821383 SOS 1532383 HAS SOPS 1532383 HAS SOUS 958398 HAS SOUPS 958398 WITH SCORE 959930.383
AT ITER 282 NEW BEST:: SOT 6820763 SOS 1531762 HAS SOPS 1531762 HAS SOUS 957777 HAS SOUPS 957777 WITH SCORE 959308.762
AT ITER 308 NEW BEST:: SOT 6820479 SOS 1532996 HAS SOPS 1532996 HAS SOUS 957208 HAS SOUPS 957208 WITH SCORE 958740.996
AT ITER 323 NEW BEST:: SOT 6820111 SOS 1532628 HAS SOPS 1532628 HAS SOUS 956840 HAS SOUPS 956840 WITH SCORE 958372.628
AT ITER 324 NEW BEST:: SOT 6819856 SOS 1532724 HAS SOPS 1532724 HAS SOUS 956786 HAS SOUPS 956786 WITH SCORE 958318.724
AT ITER 330 NEW BEST:: SOT 6819835 SOS 1532682 HAS SOPS 1532682 HAS SOUS 956744 HAS SOUPS 956744 WITH SCORE 958276.682
AT ITER 338 NEW BEST:: SOT 6819835 SOS 1532418 HAS SOPS 1532418 HAS SOUS 956480 HAS SOUPS 956480 WITH SCORE 958012.418
AT ITER 342 NEW BEST:: SOT 6819490 SOS 1532069 HAS SOPS 1532069 HAS SOUS 956134 HAS SOUPS 956134 WITH SCORE 957666.069
AT ITER 372 NEW BEST:: SOT 6819364 SOS 1531817 HAS SOPS 1531817 HAS SOUS 955841 HAS SOUPS 955841 WITH SCORE 957372.817
AT ITER 378 NEW BEST:: SOT 6819364 SOS 1531376 HAS SOPS 1531376 HAS SOUS 955837 HAS SOUPS 955837 WITH SCORE 957368.376
AT ITER 402 NEW BEST:: SOT 6819143 SOS 1530934 HAS SOPS 1530934 HAS SOUS 955616 HAS SOUPS 955616 WITH SCORE 957146.934
AT ITER 447 NEW BEST:: SOT 6819087 SOS 1530941 HAS SOPS 1530941 HAS SOUS 955591 HAS SOUPS 955591 WITH SCORE 957121.941
AT ITER 477 NEW BEST:: SOT 6819087 SOS 1530940 HAS SOPS 1530940 HAS SOUS 955589 HAS SOUPS 955589 WITH SCORE 957119.94
AT ITER 487 NEW BEST:: SOT 6819056 SOS 1530095 HAS SOPS 1530095 HAS SOUS 954906 HAS SOUPS 954906 WITH SCORE 956436.095
AT ITER 493 NEW BEST:: SOT 6818542 SOS 1529067 HAS SOPS 1529067 HAS SOUS 953878 HAS SOUPS 953878 WITH SCORE 955407.067
AT ITER 545 NEW BEST:: SOT 6818197 SOS 1528722 HAS SOPS 1528722 HAS SOUS 953533 HAS SOUPS 953533 WITH SCORE 955061.722
AT ITER 550 NEW BEST:: SOT 6818287 SOS 1528902 HAS SOPS 1528902 HAS SOUS 953484 HAS SOUPS 953484 WITH SCORE 955012.902
AT ITER 557 NEW BEST:: SOT 6818159 SOS 1528646 HAS SOPS 1528646 HAS SOUS 953355 HAS SOUPS 953355 WITH SCORE 954883.646
AT ITER 587 NEW BEST:: SOT 6818158 SOS 1528644 HAS SOPS 1528644 HAS SOUS 953353 HAS SOUPS 953353 WITH SCORE 954881.644
AT ITER 588 NEW BEST:: SOT 6818158 SOS 1528592 HAS SOPS 1528592 HAS SOUS 953301 HAS SOUPS 953301 WITH SCORE 954829.592
AT ITER 623 NEW BEST:: SOT 6818158 SOS 1527983 HAS SOPS 1527983 HAS SOUS 953098 HAS SOUPS 953098 WITH SCORE 954625.983
AT ITER 627 NEW BEST:: SOT 6817196 SOS 1527142 HAS SOPS 1527142 HAS SOUS 952257 HAS SOUPS 952257 WITH SCORE 953784.142
AT ITER 643 NEW BEST:: SOT 6816426 SOS 1526400 HAS SOPS 1526400 HAS SOUS 951487 HAS SOUPS 951487 WITH SCORE 953013.4
AT ITER 654 NEW BEST:: SOT 6816365 SOS 1526278 HAS SOPS 1526278 HAS SOUS 951426 HAS SOUPS 951426 WITH SCORE 952952.278
AT ITER 655 NEW BEST:: SOT 6816354 SOS 1526256 HAS SOPS 1526256 HAS SOUS 951127 HAS SOUPS 951127 WITH SCORE 952653.256
AT ITER 658 NEW BEST:: SOT 6816354 SOS 1526166 HAS SOPS 1526166 HAS SOUS 951082 HAS SOUPS 951082 WITH SCORE 952608.166
AT ITER 672 NEW BEST:: SOT 6816047 SOS 1526163 HAS SOPS 1526163 HAS SOUS 950467 HAS SOUPS 950467 WITH SCORE 951993.163
AT ITER 732 NEW BEST:: SOT 6816047 SOS 1526897 HAS SOPS 1526897 HAS SOUS 950466 HAS SOUPS 950466 WITH SCORE 951992.897
AT ITER 754 NEW BEST:: SOT 6815751 SOS 1526726 HAS SOPS 1526726 HAS SOUS 950298 HAS SOUPS 950298 WITH SCORE 951824.726
AT ITER 793 NEW BEST:: SOT 6815424 SOS 1526072 HAS SOPS 1526072 HAS SOUS 949644 HAS SOUPS 949644 WITH SCORE 951170.072
AT ITER 794 NEW BEST:: SOT 6814781 SOS 1525616 HAS SOPS 1525616 HAS SOUS 949187 HAS SOUPS 949187 WITH SCORE 950712.616
AT ITER 801 NEW BEST:: SOT 6814358 SOS 1523501 HAS SOPS 1523501 HAS SOUS 948341 HAS SOUPS 948341 WITH SCORE 949864.501
AT ITER 812 NEW BEST:: SOT 6814178 SOS 1523141 HAS SOPS 1523141 HAS SOUS 948160 HAS SOUPS 948160 WITH SCORE 949683.141
AT ITER 834 NEW BEST:: SOT 6814146 SOS 1523109 HAS SOPS 1523109 HAS SOUS 948128 HAS SOUPS 948128 WITH SCORE 949651.109
AT ITER 848 NEW BEST:: SOT 6814146 SOS 1523109 HAS SOPS 1523109 HAS SOUS 947970 HAS SOUPS 947970 WITH SCORE 949493.109
AT ITER 856 NEW BEST:: SOT 6814335 SOS 1527248 HAS SOPS 1527248 HAS SOUS 947928 HAS SOUPS 947928 WITH SCORE 949455.248
AT ITER 860 NEW BEST:: SOT 6814335 SOS 1527248 HAS SOPS 1527248 HAS SOUS 947927 HAS SOUPS 947927 WITH SCORE 949454.248
AT ITER 873 NEW BEST:: SOT 6813977 SOS 1526173 HAS SOPS 1526173 HAS SOUS 947210 HAS SOUPS 947210 WITH SCORE 948736.173
AT ITER 876 NEW BEST:: SOT 6814022 SOS 1526263 HAS SOPS 1526263 HAS SOUS 946990 HAS SOUPS 946990 WITH SCORE 948516.263
AT ITER 908 NEW BEST:: SOT 6813947 SOS 1526103 HAS SOPS 1526103 HAS SOUS 946839 HAS SOUPS 946839 WITH SCORE 948365.103
AT ITER 923 NEW BEST:: SOT 6813830 SOS 1525869 HAS SOPS 1525869 HAS SOUS 946605 HAS SOUPS 946605 WITH SCORE 948130.869
AT ITER 963 NEW BEST:: SOT 6813830 SOS 1525868 HAS SOPS 1525868 HAS SOUS 946604 HAS SOUPS 946604 WITH SCORE 948129.868
AT ITER 964 NEW BEST:: SOT 6813583 SOS 1525621 HAS SOPS 1525621 HAS SOUS 946357 HAS SOUPS 946357 WITH SCORE 947882.621
AT ITER 974 NEW BEST:: SOT 6813583 SOS 1526112 HAS SOPS 1526112 HAS SOUS 946356 HAS SOUPS 946356 WITH SCORE 947882.112
AT ITER 982 NEW BEST:: SOT 6813795 SOS 1526110 HAS SOPS 1526110 HAS SOUS 946355 HAS SOUPS 946355 WITH SCORE 947881.11
AT ITER 987 NEW BEST:: SOT 6813795 SOS 1525993 HAS SOPS 1525993 HAS SOUS 946355 HAS SOUPS 946355 WITH SCORE 947880.993
AT ITER 997 NEW BEST:: SOT 6812877 SOS 1524616 HAS SOPS 1524616 HAS SOUS 944978 HAS SOUPS 944978 WITH SCORE 946502.616
AT ITER 1011 NEW BEST:: SOT 6812411 SOS 1524231 HAS SOPS 1524231 HAS SOUS 944593 HAS SOUPS 944593 WITH SCORE 946117.231
AT ITER 1013 NEW BEST:: SOT 6811983 SOS 1523799 HAS SOPS 1523799 HAS SOUS 944164 HAS SOUPS 944164 WITH SCORE 945687.799
AT ITER 1017 NEW BEST:: SOT 6812114 SOS 1523047 HAS SOPS 1523047 HAS SOUS 944022 HAS SOUPS 944022 WITH SCORE 945545.047
AT ITER 1039 NEW BEST:: SOT 6811929 SOS 1522677 HAS SOPS 1522677 HAS SOUS 943366 HAS SOUPS 943366 WITH SCORE 944888.677
AT ITER 1049 NEW BEST:: SOT 6811929 SOS 1522677 HAS SOPS 1522677 HAS SOUS 943336 HAS SOUPS 943336 WITH SCORE 944858.677
AT ITER 1069 NEW BEST:: SOT 6811727 SOS 1522273 HAS SOPS 1522273 HAS SOUS 942932 HAS SOUPS 942932 WITH SCORE 944454.273
AT ITER 1091 NEW BEST:: SOT 6811690 SOS 1522200 HAS SOPS 1522200 HAS SOUS 942859 HAS SOUPS 942859 WITH SCORE 944381.2
AT ITER 1103 NEW BEST:: SOT 6811404 SOS 1522114 HAS SOPS 1522114 HAS SOUS 942773 HAS SOUPS 942773 WITH SCORE 944295.114
AT ITER 1117 NEW BEST:: SOT 6811247 SOS 1522267 HAS SOPS 1522267 HAS SOUS 942680 HAS SOUPS 942680 WITH SCORE 944202.267
AT ITER 1129 NEW BEST:: SOT 6811247 SOS 1522773 HAS SOPS 1522773 HAS SOUS 942679 HAS SOUPS 942679 WITH SCORE 944201.773
AT ITER 1133 NEW BEST:: SOT 6811246 SOS 1522771 HAS SOPS 1522771 HAS SOUS 942677 HAS SOUPS 942677 WITH SCORE 944199.771
AT ITER 1137 NEW BEST:: SOT 6810646 SOS 1521571 HAS SOPS 1521571 HAS SOUS 941304 HAS SOUPS 941304 WITH SCORE 942825.571
AT ITER 1148 NEW BEST:: SOT 6810643 SOS 1522335 HAS SOPS 1522335 HAS SOUS 941297 HAS SOUPS 941297 WITH SCORE 942819.335
AT ITER 1177 NEW BEST:: SOT 6810381 SOS 1522073 HAS SOPS 1522073 HAS SOUS 941035 HAS SOUPS 941035 WITH SCORE 942557.073
AT ITER 1181 NEW BEST:: SOT 6810581 SOS 1521036 HAS SOPS 1521036 HAS SOUS 940756 HAS SOUPS 940756 WITH SCORE 942277.036
AT ITER 1184 NEW BEST:: SOT 6810697 SOS 1520737 HAS SOPS 1520737 HAS SOUS 940457 HAS SOUPS 940457 WITH SCORE 941977.737
AT ITER 1185 NEW BEST:: SOT 6810365 SOS 1520387 HAS SOPS 1520387 HAS SOUS 939855 HAS SOUPS 939855 WITH SCORE 941375.387
AT ITER 1213 NEW BEST:: SOT 6809785 SOS 1520053 HAS SOPS 1520053 HAS SOUS 939710 HAS SOUPS 939710 WITH SCORE 941230.053
AT ITER 1216 NEW BEST:: SOT 6809785 SOS 1520583 HAS SOPS 1520583 HAS SOUS 939475 HAS SOUPS 939475 WITH SCORE 940995.583
AT ITER 1219 NEW BEST:: SOT 6809794 SOS 1520421 HAS SOPS 1520421 HAS SOUS 939400 HAS SOUPS 939400 WITH SCORE 940920.421
AT ITER 1226 NEW BEST:: SOT 6808530 SOS 1523487 HAS SOPS 1523487 HAS SOUS 938741 HAS SOUPS 938741 WITH SCORE 940264.487
AT ITER 1230 NEW BEST:: SOT 6808179 SOS 1524960 HAS SOPS 1524960 HAS SOUS 938581 HAS SOUPS 938581 WITH SCORE 940105.96
AT ITER 1235 NEW BEST:: SOT 6808116 SOS 1525561 HAS SOPS 1525561 HAS SOUS 938488 HAS SOUPS 938488 WITH SCORE 940013.561
AT ITER 1245 NEW BEST:: SOT 6808116 SOS 1526214 HAS SOPS 1526214 HAS SOUS 938487 HAS SOUPS 938487 WITH SCORE 940013.214
AT ITER 1252 NEW BEST:: SOT 6807683 SOS 1525777 HAS SOPS 1525777 HAS SOUS 938053 HAS SOUPS 938053 WITH SCORE 939578.777
AT ITER 1272 NEW BEST:: SOT 6807607 SOS 1525625 HAS SOPS 1525625 HAS SOUS 937662 HAS SOUPS 937662 WITH SCORE 939187.625
AT ITER 1316 NEW BEST:: SOT 6807273 SOS 1525222 HAS SOPS 1525222 HAS SOUS 937426 HAS SOUPS 937426 WITH SCORE 938951.222
AT ITER 1317 NEW BEST:: SOT 6807330 SOS 1525336 HAS SOPS 1525336 HAS SOUS 937361 HAS SOUPS 937361 WITH SCORE 938886.336
AT ITER 1333 NEW BEST:: SOT 6807286 SOS 1525248 HAS SOPS 1525248 HAS SOUS 937273 HAS SOUPS 937273 WITH SCORE 938798.248
AT ITER 1337 NEW BEST:: SOT 6807226 SOS 1521422 HAS SOPS 1521422 HAS SOUS 937209 HAS SOUPS 937209 WITH SCORE 938730.422
AT ITER 1365 NEW BEST:: SOT 6807100 SOS 1521275 HAS SOPS 1521275 HAS SOUS 937062 HAS SOUPS 937062 WITH SCORE 938583.275
AT ITER 1376 NEW BEST:: SOT 6806888 SOS 1520639 HAS SOPS 1520639 HAS SOUS 936638 HAS SOUPS 936638 WITH SCORE 938158.639
AT ITER 1377 NEW BEST:: SOT 6806508 SOS 1520503 HAS SOPS 1520503 HAS SOUS 936257 HAS SOUPS 936257 WITH SCORE 937777.503
AT ITER 1383 NEW BEST:: SOT 6806422 SOS 1520457 HAS SOPS 1520457 HAS SOUS 935891 HAS SOUPS 935891 WITH SCORE 937411.457
AT ITER 1405 NEW BEST:: SOT 6806240 SOS 1520369 HAS SOPS 1520369 HAS SOUS 935708 HAS SOUPS 935708 WITH SCORE 937228.369
AT ITER 1443 NEW BEST:: SOT 6806423 SOS 1524433 HAS SOPS 1524433 HAS SOUS 935661 HAS SOUPS 935661 WITH SCORE 937185.433
AT ITER 1445 NEW BEST:: SOT 6806196 SOS 1524656 HAS SOPS 1524656 HAS SOUS 935206 HAS SOUPS 935206 WITH SCORE 936730.656
AT ITER 1447 NEW BEST:: SOT 6805975 SOS 1524214 HAS SOPS 1524214 HAS SOUS 934707 HAS SOUPS 934707 WITH SCORE 936231.214
AT ITER 1458 NEW BEST:: SOT 6805745 SOS 1523981 HAS SOPS 1523981 HAS SOUS 934476 HAS SOUPS 934476 WITH SCORE 935999.981
AT ITER 1466 NEW BEST:: SOT 6805745 SOS 1523837 HAS SOPS 1523837 HAS SOUS 934404 HAS SOUPS 934404 WITH SCORE 935927.837
AT ITER 1495 NEW BEST:: SOT 6805357 SOS 1523449 HAS SOPS 1523449 HAS SOUS 934210 HAS SOUPS 934210 WITH SCORE 935733.449
AT ITER 1497 NEW BEST:: SOT 6805357 SOS 1523339 HAS SOPS 1523339 HAS SOUS 934100 HAS SOUPS 934100 WITH SCORE 935623.339
AT ITER 1499 NEW BEST:: SOT 6804288 SOS 1528743 HAS SOPS 1528743 HAS SOUS 933874 HAS SOUPS 933874 WITH SCORE 935402.743
AT ITER 1504 NEW BEST:: SOT 6804032 SOS 1528231 HAS SOPS 1528231 HAS SOUS 933617 HAS SOUPS 933617 WITH SCORE 935145.231
AT ITER 1514 NEW BEST:: SOT 6804178 SOS 1529806 HAS SOPS 1529806 HAS SOUS 933479 HAS SOUPS 933479 WITH SCORE 935008.806
AT ITER 1522 NEW BEST:: SOT 6803821 SOS 1532305 HAS SOPS 1532305 HAS SOUS 933046 HAS SOUPS 933046 WITH SCORE 934578.305
AT ITER 1534 NEW BEST:: SOT 6803751 SOS 1532302 HAS SOPS 1532302 HAS SOUS 933045 HAS SOUPS 933045 WITH SCORE 934577.302
AT ITER 1551 NEW BEST:: SOT 6803502 SOS 1532055 HAS SOPS 1532055 HAS SOUS 932703 HAS SOUPS 932703 WITH SCORE 934235.055
AT ITER 1608 NEW BEST:: SOT 6803502 SOS 1531494 HAS SOPS 1531494 HAS SOUS 932516 HAS SOUPS 932516 WITH SCORE 934047.494
AT ITER 1615 NEW BEST:: SOT 6802845 SOS 1531377 HAS SOPS 1531377 HAS SOUS 932352 HAS SOUPS 932352 WITH SCORE 933883.377
AT ITER 1619 NEW BEST:: SOT 6802464 SOS 1530615 HAS SOPS 1530615 HAS SOUS 931201 HAS SOUPS 931201 WITH SCORE 932731.615
AT ITER 1651 NEW BEST:: SOT 6802079 SOS 1530543 HAS SOPS 1530543 HAS SOUS 931129 HAS SOUPS 931129 WITH SCORE 932659.543
AT ITER 1658 NEW BEST:: SOT 6802079 SOS 1530211 HAS SOPS 1530211 HAS SOUS 930963 HAS SOUPS 930963 WITH SCORE 932493.211
AT ITER 1664 NEW BEST:: SOT 6802079 SOS 1530102 HAS SOPS 1530102 HAS SOUS 930963 HAS SOUPS 930963 WITH SCORE 932493.102
AT ITER 1699 NEW BEST:: SOT 6802285 SOS 1531655 HAS SOPS 1531655 HAS SOUS 930802 HAS SOUPS 930802 WITH SCORE 932333.655
AT ITER 1726 NEW BEST:: SOT 6802087 SOS 1530323 HAS SOPS 1530323 HAS SOUS 930406 HAS SOUPS 930406 WITH SCORE 931936.323
AT ITER 1736 NEW BEST:: SOT 6802087 SOS 1530323 HAS SOPS 1530323 HAS SOUS 930166 HAS SOUPS 930166 WITH SCORE 931696.323
AT ITER 1739 NEW BEST:: SOT 6802087 SOS 1529453 HAS SOPS 1529453 HAS SOUS 930165 HAS SOUPS 930165 WITH SCORE 931694.453
AT ITER 1740 NEW BEST:: SOT 6801971 SOS 1529337 HAS SOPS 1529337 HAS SOUS 930164 HAS SOUPS 930164 WITH SCORE 931693.337
AT ITER 1750 NEW BEST:: SOT 6801413 SOS 1528695 HAS SOPS 1528695 HAS SOUS 929489 HAS SOUPS 929489 WITH SCORE 931017.695
AT ITER 1755 NEW BEST:: SOT 6801248 SOS 1528594 HAS SOPS 1528594 HAS SOUS 929388 HAS SOUPS 929388 WITH SCORE 930916.594
AT ITER 1763 NEW BEST:: SOT 6800786 SOS 1528132 HAS SOPS 1528132 HAS SOUS 928926 HAS SOUPS 928926 WITH SCORE 930454.132
AT ITER 1805 NEW BEST:: SOT 6800706 SOS 1528007 HAS SOPS 1528007 HAS SOUS 928801 HAS SOUPS 928801 WITH SCORE 930329.007
AT ITER 1806 NEW BEST:: SOT 6800705 SOS 1527811 HAS SOPS 1527811 HAS SOUS 928372 HAS SOUPS 928372 WITH SCORE 929899.811
AT ITER 1825 NEW BEST:: SOT 6800681 SOS 1527763 HAS SOPS 1527763 HAS SOUS 928348 HAS SOUPS 928348 WITH SCORE 929875.763
AT ITER 1836 NEW BEST:: SOT 6800628 SOS 1527710 HAS SOPS 1527710 HAS SOUS 928295 HAS SOUPS 928295 WITH SCORE 929822.71
AT ITER 1861 NEW BEST:: SOT 6800628 SOS 1527710 HAS SOPS 1527710 HAS SOUS 928292 HAS SOUPS 928292 WITH SCORE 929819.71
AT ITER 1887 NEW BEST:: SOT 6800065 SOS 1527114 HAS SOPS 1527114 HAS SOUS 927728 HAS SOUPS 927728 WITH SCORE 929255.114
AT ITER 1892 NEW BEST:: SOT 6799966 SOS 1526916 HAS SOPS 1526916 HAS SOUS 927310 HAS SOUPS 927310 WITH SCORE 928836.916
AT ITER 1916 NEW BEST:: SOT 6799966 SOS 1526912 HAS SOPS 1526912 HAS SOUS 927309 HAS SOUPS 927309 WITH SCORE 928835.912
AT ITER 1951 NEW BEST:: SOT 6799737 SOS 1527423 HAS SOPS 1527423 HAS SOUS 927174 HAS SOUPS 927174 WITH SCORE 928701.423
AT ITER 1954 NEW BEST:: SOT 6799531 SOS 1526490 HAS SOPS 1526490 HAS SOUS 926981 HAS SOUPS 926981 WITH SCORE 928507.49
AT ITER 1974 NEW BEST:: SOT 6799488 SOS 1526404 HAS SOPS 1526404 HAS SOUS 926938 HAS SOUPS 926938 WITH SCORE 928464.404
AT ITER 1975 NEW BEST:: SOT 6799488 SOS 1526533 HAS SOPS 1526533 HAS SOUS 926937 HAS SOUPS 926937 WITH SCORE 928463.533
AT ITER 1977 NEW BEST:: SOT 6799488 SOS 1526514 HAS SOPS 1526514 HAS SOUS 926918 HAS SOUPS 926918 WITH SCORE 928444.514
AT ITER 1979 NEW BEST:: SOT 6799496 SOS 1526530 HAS SOPS 1526530 HAS SOUS 926762 HAS SOUPS 926762 WITH SCORE 928288.53
AT ITER 2026 NEW BEST:: SOT 6799365 SOS 1526268 HAS SOPS 1526268 HAS SOUS 926229 HAS SOUPS 926229 WITH SCORE 927755.268
AT ITER 2041 NEW BEST:: SOT 6799186 SOS 1525910 HAS SOPS 1525910 HAS SOUS 925871 HAS SOUPS 925871 WITH SCORE 927396.91
AT ITER 2079 NEW BEST:: SOT 6799096 SOS 1525730 HAS SOPS 1525730 HAS SOUS 925691 HAS SOUPS 925691 WITH SCORE 927216.73
AT ITER 2088 NEW BEST:: SOT 6799095 SOS 1525729 HAS SOPS 1525729 HAS SOUS 925690 HAS SOUPS 925690 WITH SCORE 927215.729
AT ITER 2098 NEW BEST:: SOT 6799094 SOS 1525223 HAS SOPS 1525223 HAS SOUS 925688 HAS SOUPS 925688 WITH SCORE 927213.223
AT ITER 2116 NEW BEST:: SOT 6799094 SOS 1525223 HAS SOPS 1525223 HAS SOUS 925461 HAS SOUPS 925461 WITH SCORE 926986.223
AT ITER 2118 NEW BEST:: SOT 6799094 SOS 1524332 HAS SOPS 1524332 HAS SOUS 925164 HAS SOUPS 925164 WITH SCORE 926688.332
AT ITER 2133 NEW BEST:: SOT 6798856 SOS 1523592 HAS SOPS 1523592 HAS SOUS 925090 HAS SOUPS 925090 WITH SCORE 926613.592
AT ITER 2134 NEW BEST:: SOT 6798727 SOS 1523334 HAS SOPS 1523334 HAS SOUS 924832 HAS SOUPS 924832 WITH SCORE 926355.334
AT ITER 2136 NEW BEST:: SOT 6798445 SOS 1523565 HAS SOPS 1523565 HAS SOUS 924267 HAS SOUPS 924267 WITH SCORE 925790.565
AT ITER 2147 NEW BEST:: SOT 6798136 SOS 1523685 HAS SOPS 1523685 HAS SOUS 923998 HAS SOUPS 923998 WITH SCORE 925521.685
AT ITER 2173 NEW BEST:: SOT 6797894 SOS 1523685 HAS SOPS 1523685 HAS SOUS 923877 HAS SOUPS 923877 WITH SCORE 925400.685
AT ITER 2203 NEW BEST:: SOT 6798171 SOS 1525927 HAS SOPS 1525927 HAS SOUS 923866 HAS SOUPS 923866 WITH SCORE 925391.927
AT ITER 2250 NEW BEST:: SOT 6798075 SOS 1526493 HAS SOPS 1526493 HAS SOUS 923849 HAS SOUPS 923849 WITH SCORE 925375.493
AT ITER 2254 NEW BEST:: SOT 6798075 SOS 1525782 HAS SOPS 1525782 HAS SOUS 923849 HAS SOUPS 923849 WITH SCORE 925374.782
AT ITER 2263 NEW BEST:: SOT 6797845 SOS 1525583 HAS SOPS 1525583 HAS SOUS 923505 HAS SOUPS 923505 WITH SCORE 925030.583
AT ITER 2264 NEW BEST:: SOT 6797845 SOS 1525223 HAS SOPS 1525223 HAS SOUS 923501 HAS SOUPS 923501 WITH SCORE 925026.223
AT ITER 2291 NEW BEST:: SOT 6797574 SOS 1524948 HAS SOPS 1524948 HAS SOUS 923229 HAS SOUPS 923229 WITH SCORE 924753.948
AT ITER 2319 NEW BEST:: SOT 6797574 SOS 1526090 HAS SOPS 1526090 HAS SOUS 923014 HAS SOUPS 923014 WITH SCORE 924540.09
AT ITER 2338 NEW BEST:: SOT 6797253 SOS 1526411 HAS SOPS 1526411 HAS SOUS 922587 HAS SOUPS 922587 WITH SCORE 924113.411
AT ITER 2354 NEW BEST:: SOT 6797253 SOS 1526491 HAS SOPS 1526491 HAS SOUS 922558 HAS SOUPS 922558 WITH SCORE 924084.491
AT ITER 2358 NEW BEST:: SOT 6797230 SOS 1526445 HAS SOPS 1526445 HAS SOUS 922512 HAS SOUPS 922512 WITH SCORE 924038.445
AT ITER 2387 NEW BEST:: SOT 6797134 SOS 1526349 HAS SOPS 1526349 HAS SOUS 922416 HAS SOUPS 922416 WITH SCORE 923942.349
AT ITER 2393 NEW BEST:: SOT 6797134 SOS 1526157 HAS SOPS 1526157 HAS SOUS 922416 HAS SOUPS 922416 WITH SCORE 923942.157
AT ITER 2432 NEW BEST:: SOT 6796949 SOS 1525787 HAS SOPS 1525787 HAS SOUS 922046 HAS SOUPS 922046 WITH SCORE 923571.787
AT ITER 2443 NEW BEST:: SOT 6796949 SOS 1526857 HAS SOPS 1526857 HAS SOUS 922044 HAS SOUPS 922044 WITH SCORE 923570.857
AT ITER 2461 NEW BEST:: SOT 6796895 SOS 1526848 HAS SOPS 1526848 HAS SOUS 922035 HAS SOUPS 922035 WITH SCORE 923561.848
AT ITER 2482 NEW BEST:: SOT 6796612 SOS 1526763 HAS SOPS 1526763 HAS SOUS 921950 HAS SOUPS 921950 WITH SCORE 923476.763
AT ITER 2484 NEW BEST:: SOT 6796489 SOS 1525779 HAS SOPS 1525779 HAS SOUS 921707 HAS SOUPS 921707 WITH SCORE 923232.779
AT ITER 2492 NEW BEST:: SOT 6796386 SOS 1529635 HAS SOPS 1529635 HAS SOUS 921074 HAS SOUPS 921074 WITH SCORE 922603.635
AT ITER 2532 NEW BEST:: SOT 6796518 SOS 1528973 HAS SOPS 1528973 HAS SOUS 921012 HAS SOUPS 921012 WITH SCORE 922540.973
AT ITER 2542 NEW BEST:: SOT 6796387 SOS 1529239 HAS SOPS 1529239 HAS SOUS 920992 HAS SOUPS 920992 WITH SCORE 922521.239
AT ITER 2556 NEW BEST:: SOT 6796177 SOS 1528819 HAS SOPS 1528819 HAS SOUS 920801 HAS SOUPS 920801 WITH SCORE 922329.819
AT ITER 2564 NEW BEST:: SOT 6796177 SOS 1530222 HAS SOPS 1530222 HAS SOUS 920799 HAS SOUPS 920799 WITH SCORE 922329.222
AT ITER 2565 NEW BEST:: SOT 6796163 SOS 1530650 HAS SOPS 1530650 HAS SOUS 920785 HAS SOUPS 920785 WITH SCORE 922315.65
AT ITER 2572 NEW BEST:: SOT 6796163 SOS 1530442 HAS SOPS 1530442 HAS SOUS 920577 HAS SOUPS 920577 WITH SCORE 922107.442
AT ITER 2609 NEW BEST:: SOT 6795840 SOS 1527772 HAS SOPS 1527772 HAS SOUS 920254 HAS SOUPS 920254 WITH SCORE 921781.772
AT ITER 2624 NEW BEST:: SOT 6795840 SOS 1527792 HAS SOPS 1527792 HAS SOUS 920253 HAS SOUPS 920253 WITH SCORE 921780.792
AT ITER 2637 NEW BEST:: SOT 6795602 SOS 1527782 HAS SOPS 1527782 HAS SOUS 920252 HAS SOUPS 920252 WITH SCORE 921779.782
AT ITER 2641 NEW BEST:: SOT 6795181 SOS 1527361 HAS SOPS 1527361 HAS SOUS 920252 HAS SOUPS 920252 WITH SCORE 921779.361
AT ITER 2646 NEW BEST:: SOT 6794749 SOS 1527145 HAS SOPS 1527145 HAS SOUS 920036 HAS SOUPS 920036 WITH SCORE 921563.145
AT ITER 2669 NEW BEST:: SOT 6794592 SOS 1526831 HAS SOPS 1526831 HAS SOUS 919879 HAS SOUPS 919879 WITH SCORE 921405.831
AT ITER 2675 NEW BEST:: SOT 6794591 SOS 1526829 HAS SOPS 1526829 HAS SOUS 919877 HAS SOUPS 919877 WITH SCORE 921403.829
AT ITER 2689 NEW BEST:: SOT 6794355 SOS 1526593 HAS SOPS 1526593 HAS SOUS 919641 HAS SOUPS 919641 WITH SCORE 921167.593
AT ITER 2715 NEW BEST:: SOT 6794230 SOS 1526343 HAS SOPS 1526343 HAS SOUS 919391 HAS SOUPS 919391 WITH SCORE 920917.343
AT ITER 2729 NEW BEST:: SOT 6794151 SOS 1526293 HAS SOPS 1526293 HAS SOUS 919341 HAS SOUPS 919341 WITH SCORE 920867.293
AT ITER 2768 NEW BEST:: SOT 6794232 SOS 1526131 HAS SOPS 1526131 HAS SOUS 919260 HAS SOUPS 919260 WITH SCORE 920786.131
AT ITER 2786 NEW BEST:: SOT 6794188 SOS 1526122 HAS SOPS 1526122 HAS SOUS 919251 HAS SOUPS 919251 WITH SCORE 920777.122
AT ITER 2800 NEW BEST:: SOT 6794188 SOS 1526122 HAS SOPS 1526122 HAS SOUS 919250 HAS SOUPS 919250 WITH SCORE 920776.122
AT ITER 2817 NEW BEST:: SOT 6794039 SOS 1526484 HAS SOPS 1526484 HAS SOUS 918952 HAS SOUPS 918952 WITH SCORE 920478.484
AT ITER 2829 NEW BEST:: SOT 6793833 SOS 1525638 HAS SOPS 1525638 HAS SOUS 918756 HAS SOUPS 918756 WITH SCORE 920281.638
AT ITER 2837 NEW BEST:: SOT 6793586 SOS 1525144 HAS SOPS 1525144 HAS SOUS 918025 HAS SOUPS 918025 WITH SCORE 919550.144
AT ITER 2849 NEW BEST:: SOT 6793586 SOS 1524887 HAS SOPS 1524887 HAS SOUS 918025 HAS SOUPS 918025 WITH SCORE 919549.887
AT ITER 2852 NEW BEST:: SOT 6793585 SOS 1524885 HAS SOPS 1524885 HAS SOUS 918023 HAS SOUPS 918023 WITH SCORE 919547.885
AT ITER 2901 NEW BEST:: SOT 6793139 SOS 1522655 HAS SOPS 1522655 HAS SOUS 917131 HAS SOUPS 917131 WITH SCORE 918653.655
AT ITER 2952 NEW BEST:: SOT 6793224 SOS 1522197 HAS SOPS 1522197 HAS SOUS 916902 HAS SOUPS 916902 WITH SCORE 918424.197
AT ITER 2966 NEW BEST:: SOT 6793050 SOS 1522527 HAS SOPS 1522527 HAS SOUS 916728 HAS SOUPS 916728 WITH SCORE 918250.527
AT ITER 3031 NEW BEST:: SOT 6792860 SOS 1522147 HAS SOPS 1522147 HAS SOUS 915761 HAS SOUPS 915761 WITH SCORE 917283.147
AT ITER 3038 NEW BEST:: SOT 6792822 SOS 1522071 HAS SOPS 1522071 HAS SOUS 915723 HAS SOUPS 915723 WITH SCORE 917245.071
AT ITER 3050 NEW BEST:: SOT 6792822 SOS 1522001 HAS SOPS 1522001 HAS SOUS 915653 HAS SOUPS 915653 WITH SCORE 917175.001
AT ITER 3095 NEW BEST:: SOT 6793304 SOS 1523815 HAS SOPS 1523815 HAS SOUS 915087 HAS SOUPS 915087 WITH SCORE 916610.815
AT ITER 3107 NEW BEST:: SOT 6793304 SOS 1523815 HAS SOPS 1523815 HAS SOUS 914496 HAS SOUPS 914496 WITH SCORE 916019.815
AT ITER 3122 NEW BEST:: SOT 6793149 SOS 1524027 HAS SOPS 1524027 HAS SOUS 914398 HAS SOUPS 914398 WITH SCORE 915922.027
AT ITER 3125 NEW BEST:: SOT 6792922 SOS 1523573 HAS SOPS 1523573 HAS SOUS 914170 HAS SOUPS 914170 WITH SCORE 915693.573
AT ITER 3129 NEW BEST:: SOT 6792922 SOS 1523688 HAS SOPS 1523688 HAS SOUS 914169 HAS SOUPS 914169 WITH SCORE 915692.688
AT ITER 3153 NEW BEST:: SOT 6792871 SOS 1523586 HAS SOPS 1523586 HAS SOUS 914067 HAS SOUPS 914067 WITH SCORE 915590.586
AT ITER 3158 NEW BEST:: SOT 6792642 SOS 1523576 HAS SOPS 1523576 HAS SOUS 913970 HAS SOUPS 913970 WITH SCORE 915493.576
AT ITER 3161 NEW BEST:: SOT 6792642 SOS 1523576 HAS SOPS 1523576 HAS SOUS 913967 HAS SOUPS 913967 WITH SCORE 915490.576
AT ITER 3167 NEW BEST:: SOT 6792908 SOS 1525410 HAS SOPS 1525410 HAS SOUS 913848 HAS SOUPS 913848 WITH SCORE 915373.41
AT ITER 3217 NEW BEST:: SOT 6790508 SOS 1523475 HAS SOPS 1523475 HAS SOUS 911656 HAS SOUPS 911656 WITH SCORE 913179.475
AT ITER 3234 NEW BEST:: SOT 6790407 SOS 1523374 HAS SOPS 1523374 HAS SOUS 911555 HAS SOUPS 911555 WITH SCORE 913078.374
AT ITER 3259 NEW BEST:: SOT 6790407 SOS 1523373 HAS SOPS 1523373 HAS SOUS 911217 HAS SOUPS 911217 WITH SCORE 912740.373
AT ITER 3262 NEW BEST:: SOT 6790327 SOS 1523213 HAS SOPS 1523213 HAS SOUS 911057 HAS SOUPS 911057 WITH SCORE 912580.213
AT ITER 3302 NEW BEST:: SOT 6790216 SOS 1522991 HAS SOPS 1522991 HAS SOUS 910835 HAS SOUPS 910835 WITH SCORE 912357.991
AT ITER 3325 NEW BEST:: SOT 6789796 SOS 1522567 HAS SOPS 1522567 HAS SOUS 910414 HAS SOUPS 910414 WITH SCORE 911936.567
AT ITER 3339 NEW BEST:: SOT 6789800 SOS 1521909 HAS SOPS 1521909 HAS SOUS 909588 HAS SOUPS 909588 WITH SCORE 911109.909
AT ITER 3341 NEW BEST:: SOT 6789534 SOS 1521643 HAS SOPS 1521643 HAS SOUS 909322 HAS SOUPS 909322 WITH SCORE 910843.643
AT ITER 3346 NEW BEST:: SOT 6789573 SOS 1521714 HAS SOPS 1521714 HAS SOUS 909287 HAS SOUPS 909287 WITH SCORE 910808.714
AT ITER 3352 NEW BEST:: SOT 6789573 SOS 1521688 HAS SOPS 1521688 HAS SOUS 909261 HAS SOUPS 909261 WITH SCORE 910782.688
AT ITER 3356 NEW BEST:: SOT 6789362 SOS 1521899 HAS SOPS 1521899 HAS SOUS 909050 HAS SOUPS 909050 WITH SCORE 910571.899
AT ITER 3370 NEW BEST:: SOT 6789354 SOS 1521883 HAS SOPS 1521883 HAS SOUS 909034 HAS SOUPS 909034 WITH SCORE 910555.883
AT ITER 3385 NEW BEST:: SOT 6789281 SOS 1522235 HAS SOPS 1522235 HAS SOUS 908845 HAS SOUPS 908845 WITH SCORE 910367.235
AT ITER 3429 NEW BEST:: SOT 6789281 SOS 1522235 HAS SOPS 1522235 HAS SOUS 908417 HAS SOUPS 908417 WITH SCORE 909939.235
AT ITER 3430 NEW BEST:: SOT 6789162 SOS 1521997 HAS SOPS 1521997 HAS SOUS 908178 HAS SOUPS 908178 WITH SCORE 909699.997
AT ITER 3461 NEW BEST:: SOT 6788739 SOS 1521990 HAS SOPS 1521990 HAS SOUS 908171 HAS SOUPS 908171 WITH SCORE 909692.99
AT ITER 3495 NEW BEST:: SOT 6788567 SOS 1521646 HAS SOPS 1521646 HAS SOUS 907999 HAS SOUPS 907999 WITH SCORE 909520.646
AT ITER 3518 NEW BEST:: SOT 6788564 SOS 1525248 HAS SOPS 1525248 HAS SOUS 907992 HAS SOUPS 907992 WITH SCORE 909517.248
AT ITER 3527 NEW BEST:: SOT 6788331 SOS 1524782 HAS SOPS 1524782 HAS SOUS 907526 HAS SOUPS 907526 WITH SCORE 909050.782
AT ITER 3568 NEW BEST:: SOT 6788112 SOS 1524563 HAS SOPS 1524563 HAS SOUS 907522 HAS SOUPS 907522 WITH SCORE 909046.563
AT ITER 3570 NEW BEST:: SOT 6788102 SOS 1524543 HAS SOPS 1524543 HAS SOUS 907512 HAS SOUPS 907512 WITH SCORE 909036.543
AT ITER 3604 NEW BEST:: SOT 6788102 SOS 1524490 HAS SOPS 1524490 HAS SOUS 907459 HAS SOUPS 907459 WITH SCORE 908983.49
AT ITER 3612 NEW BEST:: SOT 6788061 SOS 1524489 HAS SOPS 1524489 HAS SOUS 907458 HAS SOUPS 907458 WITH SCORE 908982.489
AT ITER 3627 NEW BEST:: SOT 6787873 SOS 1524113 HAS SOPS 1524113 HAS SOUS 907213 HAS SOUPS 907213 WITH SCORE 908737.113
AT ITER 3636 NEW BEST:: SOT 6787467 SOS 1523301 HAS SOPS 1523301 HAS SOUS 906377 HAS SOUPS 906377 WITH SCORE 907900.301
AT ITER 3659 NEW BEST:: SOT 6786990 SOS 1522843 HAS SOPS 1522843 HAS SOUS 905900 HAS SOUPS 905900 WITH SCORE 907422.843
AT ITER 3670 NEW BEST:: SOT 6786977 SOS 1522817 HAS SOPS 1522817 HAS SOUS 905874 HAS SOUPS 905874 WITH SCORE 907396.817
AT ITER 3673 NEW BEST:: SOT 6786959 SOS 1522781 HAS SOPS 1522781 HAS SOUS 905838 HAS SOUPS 905838 WITH SCORE 907360.781
AT ITER 3702 NEW BEST:: SOT 6786959 SOS 1522596 HAS SOPS 1522596 HAS SOUS 905838 HAS SOUPS 905838 WITH SCORE 907360.596
AT ITER 3723 NEW BEST:: SOT 6786926 SOS 1522530 HAS SOPS 1522530 HAS SOUS 905772 HAS SOUPS 905772 WITH SCORE 907294.53
AT ITER 3732 NEW BEST:: SOT 6786625 SOS 1522658 HAS SOPS 1522658 HAS SOUS 905411 HAS SOUPS 905411 WITH SCORE 906933.658
AT ITER 3746 NEW BEST:: SOT 6786544 SOS 1523813 HAS SOPS 1523813 HAS SOUS 905179 HAS SOUPS 905179 WITH SCORE 906702.813
AT ITER 3766 NEW BEST:: SOT 6786409 SOS 1523543 HAS SOPS 1523543 HAS SOUS 904909 HAS SOUPS 904909 WITH SCORE 906432.543
AT ITER 3812 NEW BEST:: SOT 6786409 SOS 1523570 HAS SOPS 1523570 HAS SOUS 904908 HAS SOUPS 904908 WITH SCORE 906431.57
AT ITER 3861 NEW BEST:: SOT 6786252 SOS 1523561 HAS SOPS 1523561 HAS SOUS 904860 HAS SOUPS 904860 WITH SCORE 906383.561
AT ITER 3862 NEW BEST:: SOT 6786026 SOS 1523109 HAS SOPS 1523109 HAS SOUS 904685 HAS SOUPS 904685 WITH SCORE 906208.109
AT ITER 3870 NEW BEST:: SOT 6785824 SOS 1522705 HAS SOPS 1522705 HAS SOUS 904281 HAS SOUPS 904281 WITH SCORE 905803.705
AT ITER 3878 NEW BEST:: SOT 6785741 SOS 1522539 HAS SOPS 1522539 HAS SOUS 904032 HAS SOUPS 904032 WITH SCORE 905554.539
AT ITER 3880 NEW BEST:: SOT 6785740 SOS 1522537 HAS SOPS 1522537 HAS SOUS 904030 HAS SOUPS 904030 WITH SCORE 905552.537
AT ITER 3885 NEW BEST:: SOT 6785370 SOS 1522625 HAS SOPS 1522625 HAS SOUS 903808 HAS SOUPS 903808 WITH SCORE 905330.625
AT ITER 3892 NEW BEST:: SOT 6785370 SOS 1522539 HAS SOPS 1522539 HAS SOUS 903808 HAS SOUPS 903808 WITH SCORE 905330.539
AT ITER 3902 NEW BEST:: SOT 6785179 SOS 1522484 HAS SOPS 1522484 HAS SOUS 903753 HAS SOUPS 903753 WITH SCORE 905275.484
AT ITER 3909 NEW BEST:: SOT 6785179 SOS 1522969 HAS SOPS 1522969 HAS SOUS 903397 HAS SOUPS 903397 WITH SCORE 904919.969
AT ITER 3912 NEW BEST:: SOT 6784322 SOS 1521255 HAS SOPS 1521255 HAS SOUS 901895 HAS SOUPS 901895 WITH SCORE 903416.255
AT ITER 3933 NEW BEST:: SOT 6784496 SOS 1524160 HAS SOPS 1524160 HAS SOUS 901828 HAS SOUPS 901828 WITH SCORE 903352.16
AT ITER 3956 NEW BEST:: SOT 6784496 SOS 1523524 HAS SOPS 1523524 HAS SOUS 901670 HAS SOUPS 901670 WITH SCORE 903193.524
AT ITER 3962 NEW BEST:: SOT 6784496 SOS 1523532 HAS SOPS 1523532 HAS SOUS 901669 HAS SOUPS 901669 WITH SCORE 903192.532
AT ITER 3971 NEW BEST:: SOT 6784335 SOS 1523210 HAS SOPS 1523210 HAS SOUS 901347 HAS SOUPS 901347 WITH SCORE 902870.21
AT ITER 3997 NEW BEST:: SOT 6784335 SOS 1522863 HAS SOPS 1522863 HAS SOUS 901000 HAS SOUPS 901000 WITH SCORE 902522.863
AT ITER 4056 NEW BEST:: SOT 6783933 SOS 1522461 HAS SOPS 1522461 HAS SOUS 900598 HAS SOUPS 900598 WITH SCORE 902120.461
AT ITER 4068 NEW BEST:: SOT 6783932 SOS 1522459 HAS SOPS 1522459 HAS SOUS 900596 HAS SOUPS 900596 WITH SCORE 902118.459
AT ITER 4087 NEW BEST:: SOT 6783895 SOS 1522422 HAS SOPS 1522422 HAS SOUS 900559 HAS SOUPS 900559 WITH SCORE 902081.422
AT ITER 4113 NEW BEST:: SOT 6783849 SOS 1523150 HAS SOPS 1523150 HAS SOUS 900513 HAS SOUPS 900513 WITH SCORE 902036.15
AT ITER 4188 NEW BEST:: SOT 6783848 SOS 1523148 HAS SOPS 1523148 HAS SOUS 900511 HAS SOUPS 900511 WITH SCORE 902034.148
AT ITER 4201 NEW BEST:: SOT 6783448 SOS 1522548 HAS SOPS 1522548 HAS SOUS 899911 HAS SOUPS 899911 WITH SCORE 901433.548
AT ITER 4217 NEW BEST:: SOT 6783430 SOS 1522674 HAS SOPS 1522674 HAS SOUS 899893 HAS SOUPS 899893 WITH SCORE 901415.674
AT ITER 4223 NEW BEST:: SOT 6783356 SOS 1522616 HAS SOPS 1522616 HAS SOUS 899835 HAS SOUPS 899835 WITH SCORE 901357.616
AT ITER 4246 NEW BEST:: SOT 6782788 SOS 1521764 HAS SOPS 1521764 HAS SOUS 899551 HAS SOUPS 899551 WITH SCORE 901072.764
AT ITER 4270 NEW BEST:: SOT 6782770 SOS 1521724 HAS SOPS 1521724 HAS SOUS 899514 HAS SOUPS 899514 WITH SCORE 901035.724
AT ITER 4273 NEW BEST:: SOT 6782770 SOS 1521724 HAS SOPS 1521724 HAS SOUS 899441 HAS SOUPS 899441 WITH SCORE 900962.724
AT ITER 4307 NEW BEST:: SOT 6782770 SOS 1521724 HAS SOPS 1521724 HAS SOUS 899440 HAS SOUPS 899440 WITH SCORE 900961.724
AT ITER 4310 NEW BEST:: SOT 6782609 SOS 1521563 HAS SOPS 1521563 HAS SOUS 899118 HAS SOUPS 899118 WITH SCORE 900639.563
AT ITER 4312 NEW BEST:: SOT 6782608 SOS 1521561 HAS SOPS 1521561 HAS SOUS 899116 HAS SOUPS 899116 WITH SCORE 900637.561
AT ITER 4318 NEW BEST:: SOT 6782607 SOS 1521484 HAS SOPS 1521484 HAS SOUS 899039 HAS SOUPS 899039 WITH SCORE 900560.484
AT ITER 4338 NEW BEST:: SOT 6782517 SOS 1521304 HAS SOPS 1521304 HAS SOUS 898859 HAS SOUPS 898859 WITH SCORE 900380.304
AT ITER 4365 NEW BEST:: SOT 6782256 SOS 1520782 HAS SOPS 1520782 HAS SOUS 898337 HAS SOUPS 898337 WITH SCORE 899857.782
AT ITER 4372 NEW BEST:: SOT 6782228 SOS 1520726 HAS SOPS 1520726 HAS SOUS 898281 HAS SOUPS 898281 WITH SCORE 899801.726
AT ITER 4379 NEW BEST:: SOT 6780871 SOS 1519442 HAS SOPS 1519442 HAS SOUS 896924 HAS SOUPS 896924 WITH SCORE 898443.442
AT ITER 4383 NEW BEST:: SOT 6780454 SOS 1514855 HAS SOPS 1514855 HAS SOUS 896090 HAS SOUPS 896090 WITH SCORE 897604.855
AT ITER 4390 NEW BEST:: SOT 6779951 SOS 1513844 HAS SOPS 1513844 HAS SOUS 895088 HAS SOUPS 895088 WITH SCORE 896601.844
AT ITER 4468 NEW BEST:: SOT 6779951 SOS 1513844 HAS SOPS 1513844 HAS SOUS 895087 HAS SOUPS 895087 WITH SCORE 896600.844
AT ITER 4538 NEW BEST:: SOT 6779846 SOS 1513844 HAS SOPS 1513844 HAS SOUS 894982 HAS SOUPS 894982 WITH SCORE 896495.844
AT ITER 4539 NEW BEST:: SOT 6779845 SOS 1513842 HAS SOPS 1513842 HAS SOUS 894980 HAS SOUPS 894980 WITH SCORE 896493.842
AT ITER 4546 NEW BEST:: SOT 6779733 SOS 1513839 HAS SOPS 1513839 HAS SOUS 894979 HAS SOUPS 894979 WITH SCORE 896492.839
AT ITER 4552 NEW BEST:: SOT 6778953 SOS 1508554 HAS SOPS 1508554 HAS SOUS 893762 HAS SOUPS 893762 WITH SCORE 895270.554
AT ITER 4556 NEW BEST:: SOT 6778714 SOS 1508076 HAS SOPS 1508076 HAS SOUS 893284 HAS SOUPS 893284 WITH SCORE 894792.076
AT ITER 4558 NEW BEST:: SOT 6778683 SOS 1508107 HAS SOPS 1508107 HAS SOUS 893253 HAS SOUPS 893253 WITH SCORE 894761.107
AT ITER 4586 NEW BEST:: SOT 6778440 SOS 1507621 HAS SOPS 1507621 HAS SOUS 893009 HAS SOUPS 893009 WITH SCORE 894516.621
AT ITER 4587 NEW BEST:: SOT 6778440 SOS 1502158 HAS SOPS 1502158 HAS SOUS 893009 HAS SOUPS 893009 WITH SCORE 894511.158
AT ITER 4593 NEW BEST:: SOT 6778440 SOS 1502814 HAS SOPS 1502814 HAS SOUS 893008 HAS SOUPS 893008 WITH SCORE 894510.814
AT ITER 4604 NEW BEST:: SOT 6778431 SOS 1502828 HAS SOPS 1502828 HAS SOUS 893007 HAS SOUPS 893007 WITH SCORE 894509.828
AT ITER 4615 NEW BEST:: SOT 6778268 SOS 1502502 HAS SOPS 1502502 HAS SOUS 892681 HAS SOUPS 892681 WITH SCORE 894183.502
AT ITER 4640 NEW BEST:: SOT 6778031 SOS 1502240 HAS SOPS 1502240 HAS SOUS 892444 HAS SOUPS 892444 WITH SCORE 893946.24
AT ITER 4643 NEW BEST:: SOT 6777751 SOS 1502481 HAS SOPS 1502481 HAS SOUS 892164 HAS SOUPS 892164 WITH SCORE 893666.481
AT ITER 4645 NEW BEST:: SOT 6777348 SOS 1502074 HAS SOPS 1502074 HAS SOUS 891760 HAS SOUPS 891760 WITH SCORE 893262.074
AT ITER 4652 NEW BEST:: SOT 6777347 SOS 1501997 HAS SOPS 1501997 HAS SOUS 891683 HAS SOUPS 891683 WITH SCORE 893184.997
AT ITER 4671 NEW BEST:: SOT 6777233 SOS 1501714 HAS SOPS 1501714 HAS SOUS 891400 HAS SOUPS 891400 WITH SCORE 892901.714
AT ITER 4686 NEW BEST:: SOT 6776519 SOS 1501000 HAS SOPS 1501000 HAS SOUS 890788 HAS SOUPS 890788 WITH SCORE 892289.0
AT ITER 4693 NEW BEST:: SOT 6776519 SOS 1500853 HAS SOPS 1500853 HAS SOUS 890666 HAS SOUPS 890666 WITH SCORE 892166.853
AT ITER 4700 NEW BEST:: SOT 6776498 SOS 1498363 HAS SOPS 1498363 HAS SOUS 890107 HAS SOUPS 890107 WITH SCORE 891605.363
AT ITER 4728 NEW BEST:: SOT 6776359 SOS 1498085 HAS SOPS 1498085 HAS SOUS 889829 HAS SOUPS 889829 WITH SCORE 891327.085
AT ITER 4742 NEW BEST:: SOT 6776235 SOS 1497837 HAS SOPS 1497837 HAS SOUS 889581 HAS SOUPS 889581 WITH SCORE 891078.837
AT ITER 4748 NEW BEST:: SOT 6776235 SOS 1497997 HAS SOPS 1497997 HAS SOUS 889579 HAS SOUPS 889579 WITH SCORE 891076.997
AT ITER 4751 NEW BEST:: SOT 6776111 SOS 1497749 HAS SOPS 1497749 HAS SOUS 889469 HAS SOUPS 889469 WITH SCORE 890966.749
AT ITER 4753 NEW BEST:: SOT 6776084 SOS 1497668 HAS SOPS 1497668 HAS SOUS 889415 HAS SOUPS 889415 WITH SCORE 890912.668
AT ITER 4754 NEW BEST:: SOT 6776405 SOS 1496216 HAS SOPS 1496216 HAS SOUS 889038 HAS SOUPS 889038 WITH SCORE 890534.216
AT ITER 4772 NEW BEST:: SOT 6776404 SOS 1496214 HAS SOPS 1496214 HAS SOUS 889036 HAS SOUPS 889036 WITH SCORE 890532.214
AT ITER 4775 NEW BEST:: SOT 6776404 SOS 1496250 HAS SOPS 1496250 HAS SOUS 888750 HAS SOUPS 888750 WITH SCORE 890246.25
AT ITER 4777 NEW BEST:: SOT 6776530 SOS 1496202 HAS SOPS 1496202 HAS SOUS 888702 HAS SOUPS 888702 WITH SCORE 890198.202
AT ITER 4839 NEW BEST:: SOT 6776456 SOS 1496128 HAS SOPS 1496128 HAS SOUS 888554 HAS SOUPS 888554 WITH SCORE 890050.128
AT ITER 4871 NEW BEST:: SOT 6776456 SOS 1495833 HAS SOPS 1495833 HAS SOUS 888227 HAS SOUPS 888227 WITH SCORE 889722.833
AT ITER 4877 NEW BEST:: SOT 6776243 SOS 1495527 HAS SOPS 1495527 HAS SOUS 887894 HAS SOUPS 887894 WITH SCORE 889389.527
AT ITER 4912 NEW BEST:: SOT 6776101 SOS 1495244 HAS SOPS 1495244 HAS SOUS 887889 HAS SOUPS 887889 WITH SCORE 889384.244
AT ITER 4937 NEW BEST:: SOT 6775703 SOS 1492676 HAS SOPS 1492676 HAS SOUS 887274 HAS SOUPS 887274 WITH SCORE 888766.676
AT ITER 4956 NEW BEST:: SOT 6775549 SOS 1497194 HAS SOPS 1497194 HAS SOUS 886965 HAS SOUPS 886965 WITH SCORE 888462.194
AT ITER 4962 NEW BEST:: SOT 6775548 SOS 1497183 HAS SOPS 1497183 HAS SOUS 886964 HAS SOUPS 886964 WITH SCORE 888461.183
AT ITER 4985 NEW BEST:: SOT 6775549 SOS 1497185 HAS SOPS 1497185 HAS SOUS 886878 HAS SOUPS 886878 WITH SCORE 888375.185
AT ITER 4990 NEW BEST:: SOT 6775222 SOS 1496957 HAS SOPS 1496957 HAS SOUS 886585 HAS SOUPS 886585 WITH SCORE 888081.957
AT ITER 5019 NEW BEST:: SOT 6775005 SOS 1496312 HAS SOPS 1496312 HAS SOUS 885940 HAS SOUPS 885940 WITH SCORE 887436.312
AT ITER 5040 NEW BEST:: SOT 6774924 SOS 1496075 HAS SOPS 1496075 HAS SOUS 885703 HAS SOUPS 885703 WITH SCORE 887199.075
AT ITER 5045 NEW BEST:: SOT 6774630 SOS 1495799 HAS SOPS 1495799 HAS SOUS 885427 HAS SOUPS 885427 WITH SCORE 886922.799
AT ITER 5052 NEW BEST:: SOT 6774630 SOS 1495327 HAS SOPS 1495327 HAS SOUS 885309 HAS SOUPS 885309 WITH SCORE 886804.327
AT ITER 5057 NEW BEST:: SOT 6774679 SOS 1495112 HAS SOPS 1495112 HAS SOUS 885045 HAS SOUPS 885045 WITH SCORE 886540.112
AT ITER 5060 NEW BEST:: SOT 6774679 SOS 1494956 HAS SOPS 1494956 HAS SOUS 885045 HAS SOUPS 885045 WITH SCORE 886539.956
AT ITER 5100 NEW BEST:: SOT 6774413 SOS 1494578 HAS SOPS 1494578 HAS SOUS 884775 HAS SOUPS 884775 WITH SCORE 886269.578
AT ITER 5106 NEW BEST:: SOT 6774390 SOS 1494536 HAS SOPS 1494536 HAS SOUS 884752 HAS SOUPS 884752 WITH SCORE 886246.536
AT ITER 5110 NEW BEST:: SOT 6774301 SOS 1494447 HAS SOPS 1494447 HAS SOUS 884663 HAS SOUPS 884663 WITH SCORE 886157.447
AT ITER 5112 NEW BEST:: SOT 6774301 SOS 1494447 HAS SOPS 1494447 HAS SOUS 884628 HAS SOUPS 884628 WITH SCORE 886122.447
AT ITER 5146 NEW BEST:: SOT 6774335 SOS 1495185 HAS SOPS 1495185 HAS SOUS 884026 HAS SOUPS 884026 WITH SCORE 885521.185
AT ITER 5147 NEW BEST:: SOT 6774045 SOS 1494605 HAS SOPS 1494605 HAS SOUS 883822 HAS SOUPS 883822 WITH SCORE 885316.605
AT ITER 5173 NEW BEST:: SOT 6773106 SOS 1495376 HAS SOPS 1495376 HAS SOUS 883702 HAS SOUPS 883702 WITH SCORE 885197.376
AT ITER 5206 NEW BEST:: SOT 6773106 SOS 1495522 HAS SOPS 1495522 HAS SOUS 883700 HAS SOUPS 883700 WITH SCORE 885195.522
AT ITER 5233 NEW BEST:: SOT 6772890 SOS 1493568 HAS SOPS 1493568 HAS SOUS 883312 HAS SOUPS 883312 WITH SCORE 884805.568
AT ITER 5240 NEW BEST:: SOT 6772449 SOS 1493127 HAS SOPS 1493127 HAS SOUS 882871 HAS SOUPS 882871 WITH SCORE 884364.127
AT ITER 5256 NEW BEST:: SOT 6772302 SOS 1492833 HAS SOPS 1492833 HAS SOUS 882474 HAS SOUPS 882474 WITH SCORE 883966.833
AT ITER 5266 NEW BEST:: SOT 6772167 SOS 1492869 HAS SOPS 1492869 HAS SOUS 882159 HAS SOUPS 882159 WITH SCORE 883651.869
AT ITER 5276 NEW BEST:: SOT 6772103 SOS 1492805 HAS SOPS 1492805 HAS SOUS 882159 HAS SOUPS 882159 WITH SCORE 883651.805
AT ITER 5289 NEW BEST:: SOT 6771903 SOS 1492666 HAS SOPS 1492666 HAS SOUS 881919 HAS SOUPS 881919 WITH SCORE 883411.666
AT ITER 5291 NEW BEST:: SOT 6771492 SOS 1491844 HAS SOPS 1491844 HAS SOUS 881106 HAS SOUPS 881106 WITH SCORE 882597.844
AT ITER 5292 NEW BEST:: SOT 6771328 SOS 1491745 HAS SOPS 1491745 HAS SOUS 881006 HAS SOUPS 881006 WITH SCORE 882497.745
AT ITER 5293 NEW BEST:: SOT 6771292 SOS 1491709 HAS SOPS 1491709 HAS SOUS 880970 HAS SOUPS 880970 WITH SCORE 882461.709
AT ITER 5365 NEW BEST:: SOT 6771059 SOS 1491243 HAS SOPS 1491243 HAS SOUS 880504 HAS SOUPS 880504 WITH SCORE 881995.243
AT ITER 5381 NEW BEST:: SOT 6771059 SOS 1494678 HAS SOPS 1494678 HAS SOUS 880459 HAS SOUPS 880459 WITH SCORE 881953.678
AT ITER 5387 NEW BEST:: SOT 6771059 SOS 1495341 HAS SOPS 1495341 HAS SOUS 880458 HAS SOUPS 880458 WITH SCORE 881953.341
AT ITER 5398 NEW BEST:: SOT 6771056 SOS 1496574 HAS SOPS 1496574 HAS SOUS 880344 HAS SOUPS 880344 WITH SCORE 881840.574
AT ITER 5420 NEW BEST:: SOT 6771036 SOS 1496534 HAS SOPS 1496534 HAS SOUS 880304 HAS SOUPS 880304 WITH SCORE 881800.534
AT ITER 5445 NEW BEST:: SOT 6771036 SOS 1496902 HAS SOPS 1496902 HAS SOUS 880111 HAS SOUPS 880111 WITH SCORE 881607.902
AT ITER 5451 NEW BEST:: SOT 6770263 SOS 1496676 HAS SOPS 1496676 HAS SOUS 879778 HAS SOUPS 879778 WITH SCORE 881274.676
AT ITER 5487 NEW BEST:: SOT 6770326 SOS 1496675 HAS SOPS 1496675 HAS SOUS 879777 HAS SOUPS 879777 WITH SCORE 881273.675
AT ITER 5514 NEW BEST:: SOT 6770295 SOS 1496529 HAS SOPS 1496529 HAS SOUS 879715 HAS SOUPS 879715 WITH SCORE 881211.529
AT ITER 5545 NEW BEST:: SOT 6770389 SOS 1495886 HAS SOPS 1495886 HAS SOUS 879532 HAS SOUPS 879532 WITH SCORE 881027.886
AT ITER 5560 NEW BEST:: SOT 6770389 SOS 1495886 HAS SOPS 1495886 HAS SOUS 879494 HAS SOUPS 879494 WITH SCORE 880989.886
AT ITER 5585 NEW BEST:: SOT 6770389 SOS 1495886 HAS SOPS 1495886 HAS SOUS 879453 HAS SOUPS 879453 WITH SCORE 880948.886
AT ITER 5592 NEW BEST:: SOT 6770303 SOS 1495762 HAS SOPS 1495762 HAS SOUS 879297 HAS SOUPS 879297 WITH SCORE 880792.762
AT ITER 5660 NEW BEST:: SOT 6770303 SOS 1495762 HAS SOPS 1495762 HAS SOUS 878962 HAS SOUPS 878962 WITH SCORE 880457.762
AT ITER 5735 NEW BEST:: SOT 6770165 SOS 1495355 HAS SOPS 1495355 HAS SOUS 878938 HAS SOUPS 878938 WITH SCORE 880433.355
AT ITER 5741 NEW BEST:: SOT 6770081 SOS 1495187 HAS SOPS 1495187 HAS SOUS 878363 HAS SOUPS 878363 WITH SCORE 879858.187
AT ITER 5755 NEW BEST:: SOT 6770081 SOS 1495183 HAS SOPS 1495183 HAS SOUS 878361 HAS SOUPS 878361 WITH SCORE 879856.183
AT ITER 5783 NEW BEST:: SOT 6770080 SOS 1495181 HAS SOPS 1495181 HAS SOUS 878359 HAS SOUPS 878359 WITH SCORE 879854.181
AT ITER 5807 NEW BEST:: SOT 6770079 SOS 1495179 HAS SOPS 1495179 HAS SOUS 878357 HAS SOUPS 878357 WITH SCORE 879852.179
AT ITER 5816 NEW BEST:: SOT 6768916 SOS 1493561 HAS SOPS 1493561 HAS SOUS 876514 HAS SOUPS 876514 WITH SCORE 878007.561
AT ITER 5850 NEW BEST:: SOT 6768752 SOS 1493397 HAS SOPS 1493397 HAS SOUS 876350 HAS SOUPS 876350 WITH SCORE 877843.397
AT ITER 5896 NEW BEST:: SOT 6768752 SOS 1493397 HAS SOPS 1493397 HAS SOUS 876179 HAS SOUPS 876179 WITH SCORE 877672.397
AT ITER 5899 NEW BEST:: SOT 6768703 SOS 1493207 HAS SOPS 1493207 HAS SOUS 876132 HAS SOUPS 876132 WITH SCORE 877625.207
AT ITER 5904 NEW BEST:: SOT 6768521 SOS 1491205 HAS SOPS 1491205 HAS SOUS 875768 HAS SOUPS 875768 WITH SCORE 877259.205
AT ITER 5906 NEW BEST:: SOT 6768580 SOS 1491323 HAS SOPS 1491323 HAS SOUS 875765 HAS SOUPS 875765 WITH SCORE 877256.323
AT ITER 5911 NEW BEST:: SOT 6768386 SOS 1491129 HAS SOPS 1491129 HAS SOUS 875571 HAS SOUPS 875571 WITH SCORE 877062.129
AT ITER 5916 NEW BEST:: SOT 6768602 SOS 1491129 HAS SOPS 1491129 HAS SOUS 875457 HAS SOUPS 875457 WITH SCORE 876948.129
AT ITER 5923 NEW BEST:: SOT 6768602 SOS 1490799 HAS SOPS 1490799 HAS SOUS 875292 HAS SOUPS 875292 WITH SCORE 876782.799
AT ITER 5924 NEW BEST:: SOT 6768592 SOS 1490807 HAS SOPS 1490807 HAS SOUS 875289 HAS SOUPS 875289 WITH SCORE 876779.807
AT ITER 5952 NEW BEST:: SOT 6768586 SOS 1490795 HAS SOPS 1490795 HAS SOUS 875283 HAS SOUPS 875283 WITH SCORE 876773.795
AT ITER 5962 NEW BEST:: SOT 6768303 SOS 1490229 HAS SOPS 1490229 HAS SOUS 874717 HAS SOUPS 874717 WITH SCORE 876207.229
AT ITER 5967 NEW BEST:: SOT 6768303 SOS 1490229 HAS SOPS 1490229 HAS SOUS 874587 HAS SOUPS 874587 WITH SCORE 876077.229
AT ITER 5973 NEW BEST:: SOT 6768303 SOS 1489981 HAS SOPS 1489981 HAS SOUS 874586 HAS SOUPS 874586 WITH SCORE 876075.981
AT ITER 5974 NEW BEST:: SOT 6768286 SOS 1488955 HAS SOPS 1488955 HAS SOUS 874328 HAS SOUPS 874328 WITH SCORE 875816.955
AT ITER 5982 NEW BEST:: SOT 6768286 SOS 1488955 HAS SOPS 1488955 HAS SOUS 874210 HAS SOUPS 874210 WITH SCORE 875698.955
AT ITER 6001 NEW BEST:: SOT 6768358 SOS 1489037 HAS SOPS 1489037 HAS SOUS 874142 HAS SOUPS 874142 WITH SCORE 875631.037
AT ITER 6039 NEW BEST:: SOT 6768358 SOS 1488557 HAS SOPS 1488557 HAS SOUS 873920 HAS SOUPS 873920 WITH SCORE 875408.557
AT ITER 6074 NEW BEST:: SOT 6768371 SOS 1488544 HAS SOPS 1488544 HAS SOUS 873920 HAS SOUPS 873920 WITH SCORE 875408.544
AT ITER 6119 NEW BEST:: SOT 6768289 SOS 1488626 HAS SOPS 1488626 HAS SOUS 873838 HAS SOUPS 873838 WITH SCORE 875326.626
AT ITER 6133 NEW BEST:: SOT 6768164 SOS 1488460 HAS SOPS 1488460 HAS SOUS 873629 HAS SOUPS 873629 WITH SCORE 875117.46
AT ITER 6143 NEW BEST:: SOT 6767978 SOS 1488181 HAS SOPS 1488181 HAS SOUS 873350 HAS SOUPS 873350 WITH SCORE 874838.181
AT ITER 6232 NEW BEST:: SOT 6768010 SOS 1488100 HAS SOPS 1488100 HAS SOUS 873103 HAS SOUPS 873103 WITH SCORE 874591.1
AT ITER 6255 NEW BEST:: SOT 6767811 SOS 1486306 HAS SOPS 1486306 HAS SOUS 872704 HAS SOUPS 872704 WITH SCORE 874190.306
AT ITER 6281 NEW BEST:: SOT 6767932 SOS 1486364 HAS SOPS 1486364 HAS SOUS 872674 HAS SOUPS 872674 WITH SCORE 874160.364
AT ITER 6292 NEW BEST:: SOT 6767817 SOS 1486134 HAS SOPS 1486134 HAS SOUS 872444 HAS SOUPS 872444 WITH SCORE 873930.134
AT ITER 6372 NEW BEST:: SOT 6767702 SOS 1485904 HAS SOPS 1485904 HAS SOUS 872155 HAS SOUPS 872155 WITH SCORE 873640.904
AT ITER 6374 NEW BEST:: SOT 6767667 SOS 1485774 HAS SOPS 1485774 HAS SOUS 871812 HAS SOUPS 871812 WITH SCORE 873297.774
AT ITER 6380 NEW BEST:: SOT 6767451 SOS 1485589 HAS SOPS 1485589 HAS SOUS 871349 HAS SOUPS 871349 WITH SCORE 872834.589
AT ITER 6388 NEW BEST:: SOT 6767451 SOS 1485583 HAS SOPS 1485583 HAS SOUS 871349 HAS SOUPS 871349 WITH SCORE 872834.583
AT ITER 6406 NEW BEST:: SOT 6767451 SOS 1487032 HAS SOPS 1487032 HAS SOUS 871319 HAS SOUPS 871319 WITH SCORE 872806.032
AT ITER 6424 NEW BEST:: SOT 6767245 SOS 1484938 HAS SOPS 1484938 HAS SOUS 870604 HAS SOUPS 870604 WITH SCORE 872088.938
AT ITER 6432 NEW BEST:: SOT 6767245 SOS 1484938 HAS SOPS 1484938 HAS SOUS 870365 HAS SOUPS 870365 WITH SCORE 871849.938
AT ITER 6439 NEW BEST:: SOT 6767244 SOS 1484936 HAS SOPS 1484936 HAS SOUS 870363 HAS SOUPS 870363 WITH SCORE 871847.936
AT ITER 6460 NEW BEST:: SOT 6767202 SOS 1484699 HAS SOPS 1484699 HAS SOUS 870279 HAS SOUPS 870279 WITH SCORE 871763.699
AT ITER 6482 NEW BEST:: SOT 6767143 SOS 1484581 HAS SOPS 1484581 HAS SOUS 870161 HAS SOUPS 870161 WITH SCORE 871645.581
AT ITER 6485 NEW BEST:: SOT 6767143 SOS 1484356 HAS SOPS 1484356 HAS SOUS 870086 HAS SOUPS 870086 WITH SCORE 871570.356
AT ITER 6506 NEW BEST:: SOT 6767143 SOS 1484212 HAS SOPS 1484212 HAS SOUS 870086 HAS SOUPS 870086 WITH SCORE 871570.212
AT ITER 6508 NEW BEST:: SOT 6767047 SOS 1484308 HAS SOPS 1484308 HAS SOUS 869894 HAS SOUPS 869894 WITH SCORE 871378.308
AT ITER 6516 NEW BEST:: SOT 6767047 SOS 1484580 HAS SOPS 1484580 HAS SOUS 869893 HAS SOUPS 869893 WITH SCORE 871377.58
AT ITER 6587 NEW BEST:: SOT 6766725 SOS 1484339 HAS SOPS 1484339 HAS SOUS 869652 HAS SOUPS 869652 WITH SCORE 871136.339
AT ITER 6693 NEW BEST:: SOT 6766448 SOS 1484224 HAS SOPS 1484224 HAS SOUS 869537 HAS SOUPS 869537 WITH SCORE 871021.224
AT ITER 6700 NEW BEST:: SOT 6766426 SOS 1484202 HAS SOPS 1484202 HAS SOUS 869493 HAS SOUPS 869493 WITH SCORE 870977.202
AT ITER 6709 NEW BEST:: SOT 6766419 SOS 1484188 HAS SOPS 1484188 HAS SOUS 869479 HAS SOUPS 869479 WITH SCORE 870963.188
AT ITER 6714 NEW BEST:: SOT 6766299 SOS 1484068 HAS SOPS 1484068 HAS SOUS 869359 HAS SOUPS 869359 WITH SCORE 870843.068
AT ITER 6719 NEW BEST:: SOT 6766356 SOS 1484182 HAS SOPS 1484182 HAS SOUS 869204 HAS SOUPS 869204 WITH SCORE 870688.182
AT ITER 6753 NEW BEST:: SOT 6766302 SOS 1483906 HAS SOPS 1483906 HAS SOUS 869066 HAS SOUPS 869066 WITH SCORE 870549.906
AT ITER 6767 NEW BEST:: SOT 6766270 SOS 1483728 HAS SOPS 1483728 HAS SOUS 869002 HAS SOUPS 869002 WITH SCORE 870485.728
AT ITER 6768 NEW BEST:: SOT 6766270 SOS 1483817 HAS SOPS 1483817 HAS SOUS 869001 HAS SOUPS 869001 WITH SCORE 870484.817
AT ITER 6778 NEW BEST:: SOT 6766204 SOS 1483751 HAS SOPS 1483751 HAS SOUS 868935 HAS SOUPS 868935 WITH SCORE 870418.751
AT ITER 6812 NEW BEST:: SOT 6766241 SOS 1483825 HAS SOPS 1483825 HAS SOUS 868891 HAS SOUPS 868891 WITH SCORE 870374.825
AT ITER 6822 NEW BEST:: SOT 6766241 SOS 1483705 HAS SOPS 1483705 HAS SOUS 868891 HAS SOUPS 868891 WITH SCORE 870374.705
AT ITER 6833 NEW BEST:: SOT 6766278 SOS 1483742 HAS SOPS 1483742 HAS SOUS 868890 HAS SOUPS 868890 WITH SCORE 870373.742
AT ITER 6835 NEW BEST:: SOT 6766278 SOS 1483695 HAS SOPS 1483695 HAS SOUS 868890 HAS SOUPS 868890 WITH SCORE 870373.695
AT ITER 6841 NEW BEST:: SOT 6766186 SOS 1483649 HAS SOPS 1483649 HAS SOUS 868844 HAS SOUPS 868844 WITH SCORE 870327.649
AT ITER 6850 NEW BEST:: SOT 6766186 SOS 1483649 HAS SOPS 1483649 HAS SOUS 868843 HAS SOUPS 868843 WITH SCORE 870326.649
AT ITER 6881 NEW BEST:: SOT 6765081 SOS 1484004 HAS SOPS 1484004 HAS SOUS 867758 HAS SOUPS 867758 WITH SCORE 869242.004
AT ITER 6917 NEW BEST:: SOT 6765004 SOS 1483157 HAS SOPS 1483157 HAS SOUS 867681 HAS SOUPS 867681 WITH SCORE 869164.157
AT ITER 6920 NEW BEST:: SOT 6764894 SOS 1482277 HAS SOPS 1482277 HAS SOUS 867471 HAS SOUPS 867471 WITH SCORE 868953.277
AT ITER 6932 NEW BEST:: SOT 6764894 SOS 1482254 HAS SOPS 1482254 HAS SOUS 867471 HAS SOUPS 867471 WITH SCORE 868953.254
AT ITER 6935 NEW BEST:: SOT 6764555 SOS 1481524 HAS SOPS 1481524 HAS SOUS 867398 HAS SOUPS 867398 WITH SCORE 868879.524
AT ITER 6948 NEW BEST:: SOT 6764453 SOS 1480961 HAS SOPS 1480961 HAS SOUS 866938 HAS SOUPS 866938 WITH SCORE 868418.961
AT ITER 6951 NEW BEST:: SOT 6764453 SOS 1482004 HAS SOPS 1482004 HAS SOUS 866936 HAS SOUPS 866936 WITH SCORE 868418.004
AT ITER 6976 NEW BEST:: SOT 6764261 SOS 1481908 HAS SOPS 1481908 HAS SOUS 866840 HAS SOUPS 866840 WITH SCORE 868321.908
AT ITER 6981 NEW BEST:: SOT 6764261 SOS 1481676 HAS SOPS 1481676 HAS SOUS 866840 HAS SOUPS 866840 WITH SCORE 868321.676
AT ITER 7006 NEW BEST:: SOT 6764261 SOS 1481636 HAS SOPS 1481636 HAS SOUS 866800 HAS SOUPS 866800 WITH SCORE 868281.636
AT ITER 7008 NEW BEST:: SOT 6764056 SOS 1481431 HAS SOPS 1481431 HAS SOUS 866595 HAS SOUPS 866595 WITH SCORE 868076.431
AT ITER 7011 NEW BEST:: SOT 6764009 SOS 1481337 HAS SOPS 1481337 HAS SOUS 866501 HAS SOUPS 866501 WITH SCORE 867982.337
AT ITER 7030 NEW BEST:: SOT 6764009 SOS 1485284 HAS SOPS 1485284 HAS SOUS 866492 HAS SOUPS 866492 WITH SCORE 867977.284
AT ITER 7046 NEW BEST:: SOT 6764090 SOS 1485056 HAS SOPS 1485056 HAS SOUS 866313 HAS SOUPS 866313 WITH SCORE 867798.056
AT ITER 7066 NEW BEST:: SOT 6763872 SOS 1486166 HAS SOPS 1486166 HAS SOUS 866095 HAS SOUPS 866095 WITH SCORE 867581.166
AT ITER 7076 NEW BEST:: SOT 6763872 SOS 1486165 HAS SOPS 1486165 HAS SOUS 866094 HAS SOUPS 866094 WITH SCORE 867580.165
AT ITER 7082 NEW BEST:: SOT 6763872 SOS 1486165 HAS SOPS 1486165 HAS SOUS 866086 HAS SOUPS 866086 WITH SCORE 867572.165
AT ITER 7088 NEW BEST:: SOT 6764025 SOS 1486191 HAS SOPS 1486191 HAS SOUS 866076 HAS SOUPS 866076 WITH SCORE 867562.191
AT ITER 7091 NEW BEST:: SOT 6763970 SOS 1486242 HAS SOPS 1486242 HAS SOUS 866021 HAS SOUPS 866021 WITH SCORE 867507.242
AT ITER 7100 NEW BEST:: SOT 6763970 SOS 1486689 HAS SOPS 1486689 HAS SOUS 865886 HAS SOUPS 865886 WITH SCORE 867372.689
AT ITER 7123 NEW BEST:: SOT 6763433 SOS 1486815 HAS SOPS 1486815 HAS SOUS 865349 HAS SOUPS 865349 WITH SCORE 866835.815
AT ITER 7140 NEW BEST:: SOT 6763201 SOS 1490527 HAS SOPS 1490527 HAS SOUS 865117 HAS SOUPS 865117 WITH SCORE 866607.527
AT ITER 7150 NEW BEST:: SOT 6763041 SOS 1490127 HAS SOPS 1490127 HAS SOUS 864957 HAS SOUPS 864957 WITH SCORE 866447.127
AT ITER 7154 NEW BEST:: SOT 6762947 SOS 1488256 HAS SOPS 1488256 HAS SOUS 864676 HAS SOUPS 864676 WITH SCORE 866164.256
AT ITER 7162 NEW BEST:: SOT 6762815 SOS 1487992 HAS SOPS 1487992 HAS SOUS 864412 HAS SOUPS 864412 WITH SCORE 865899.992
AT ITER 7264 NEW BEST:: SOT 6762815 SOS 1487626 HAS SOPS 1487626 HAS SOUS 864291 HAS SOUPS 864291 WITH SCORE 865778.626
AT ITER 7284 NEW BEST:: SOT 6762530 SOS 1484871 HAS SOPS 1484871 HAS SOUS 863759 HAS SOUPS 863759 WITH SCORE 865243.871
AT ITER 7287 NEW BEST:: SOT 6762239 SOS 1484289 HAS SOPS 1484289 HAS SOUS 863177 HAS SOUPS 863177 WITH SCORE 864661.289
AT ITER 7301 NEW BEST:: SOT 6762239 SOS 1484263 HAS SOPS 1484263 HAS SOUS 863151 HAS SOUPS 863151 WITH SCORE 864635.263
AT ITER 7328 NEW BEST:: SOT 6762161 SOS 1484260 HAS SOPS 1484260 HAS SOUS 863150 HAS SOUPS 863150 WITH SCORE 864634.26
AT ITER 7348 NEW BEST:: SOT 6762102 SOS 1484542 HAS SOPS 1484542 HAS SOUS 863132 HAS SOUPS 863132 WITH SCORE 864616.542
AT ITER 7375 NEW BEST:: SOT 6762067 SOS 1482472 HAS SOPS 1482472 HAS SOUS 863062 HAS SOUPS 863062 WITH SCORE 864544.472
AT ITER 7385 NEW BEST:: SOT 6762081 SOS 1482429 HAS SOPS 1482429 HAS SOUS 863005 HAS SOUPS 863005 WITH SCORE 864487.429
AT ITER 7458 NEW BEST:: SOT 6762021 SOS 1482403 HAS SOPS 1482403 HAS SOUS 862965 HAS SOUPS 862965 WITH SCORE 864447.403
AT ITER 7463 NEW BEST:: SOT 6762019 SOS 1482399 HAS SOPS 1482399 HAS SOUS 862961 HAS SOUPS 862961 WITH SCORE 864443.399
AT ITER 7468 NEW BEST:: SOT 6762009 SOS 1482388 HAS SOPS 1482388 HAS SOUS 862946 HAS SOUPS 862946 WITH SCORE 864428.388
AT ITER 7469 NEW BEST:: SOT 6761722 SOS 1482101 HAS SOPS 1482101 HAS SOUS 862659 HAS SOUPS 862659 WITH SCORE 864141.101
AT ITER 7489 NEW BEST:: SOT 6761722 SOS 1482609 HAS SOPS 1482609 HAS SOUS 862658 HAS SOUPS 862658 WITH SCORE 864140.609
AT ITER 7540 NEW BEST:: SOT 6761722 SOS 1482609 HAS SOPS 1482609 HAS SOUS 862442 HAS SOUPS 862442 WITH SCORE 863924.609
AT ITER 7544 NEW BEST:: SOT 6761628 SOS 1482421 HAS SOPS 1482421 HAS SOUS 862254 HAS SOUPS 862254 WITH SCORE 863736.421
AT ITER 7562 NEW BEST:: SOT 6761621 SOS 1482414 HAS SOPS 1482414 HAS SOUS 862247 HAS SOUPS 862247 WITH SCORE 863729.414
AT ITER 7567 NEW BEST:: SOT 6761476 SOS 1480214 HAS SOPS 1480214 HAS SOUS 861957 HAS SOUPS 861957 WITH SCORE 863437.214
AT ITER 7572 NEW BEST:: SOT 6761474 SOS 1480210 HAS SOPS 1480210 HAS SOUS 861953 HAS SOUPS 861953 WITH SCORE 863433.21
AT ITER 7592 NEW BEST:: SOT 6760490 SOS 1479608 HAS SOPS 1479608 HAS SOUS 861155 HAS SOUPS 861155 WITH SCORE 862634.608
AT ITER 7595 NEW BEST:: SOT 6760178 SOS 1478598 HAS SOPS 1478598 HAS SOUS 861016 HAS SOUPS 861016 WITH SCORE 862494.598
AT ITER 7598 NEW BEST:: SOT 6760178 SOS 1477941 HAS SOPS 1477941 HAS SOUS 860943 HAS SOUPS 860943 WITH SCORE 862420.941
AT ITER 7601 NEW BEST:: SOT 6759699 SOS 1477061 HAS SOPS 1477061 HAS SOUS 860366 HAS SOUPS 860366 WITH SCORE 861843.061
AT ITER 7713 NEW BEST:: SOT 6759855 SOS 1477281 HAS SOPS 1477281 HAS SOUS 860249 HAS SOUPS 860249 WITH SCORE 861726.281
AT ITER 7716 NEW BEST:: SOT 6759786 SOS 1476969 HAS SOPS 1476969 HAS SOUS 860180 HAS SOUPS 860180 WITH SCORE 861656.969
AT ITER 7762 NEW BEST:: SOT 6759658 SOS 1477293 HAS SOPS 1477293 HAS SOUS 860069 HAS SOUPS 860069 WITH SCORE 861546.293
AT ITER 7771 NEW BEST:: SOT 6759499 SOS 1476975 HAS SOPS 1476975 HAS SOUS 859851 HAS SOUPS 859851 WITH SCORE 861327.975
AT ITER 7828 NEW BEST:: SOT 6759394 SOS 1476869 HAS SOPS 1476869 HAS SOUS 859745 HAS SOUPS 859745 WITH SCORE 861221.869
AT ITER 7844 NEW BEST:: SOT 6759381 SOS 1476855 HAS SOPS 1476855 HAS SOUS 859731 HAS SOUPS 859731 WITH SCORE 861207.855
AT ITER 7860 NEW BEST:: SOT 6759381 SOS 1476855 HAS SOPS 1476855 HAS SOUS 859596 HAS SOUPS 859596 WITH SCORE 861072.855
AT ITER 7864 NEW BEST:: SOT 6759441 SOS 1474565 HAS SOPS 1474565 HAS SOUS 859470 HAS SOUPS 859470 WITH SCORE 860944.565
AT ITER 7867 NEW BEST:: SOT 6759233 SOS 1474811 HAS SOPS 1474811 HAS SOUS 859447 HAS SOUPS 859447 WITH SCORE 860921.811
AT ITER 7880 NEW BEST:: SOT 6759233 SOS 1474686 HAS SOPS 1474686 HAS SOUS 859322 HAS SOUPS 859322 WITH SCORE 860796.686
AT ITER 7891 NEW BEST:: SOT 6759154 SOS 1475490 HAS SOPS 1475490 HAS SOUS 859259 HAS SOUPS 859259 WITH SCORE 860734.49
AT ITER 7897 NEW BEST:: SOT 6759154 SOS 1475446 HAS SOPS 1475446 HAS SOUS 859259 HAS SOUPS 859259 WITH SCORE 860734.446
AT ITER 7904 NEW BEST:: SOT 6759057 SOS 1476125 HAS SOPS 1476125 HAS SOUS 859152 HAS SOUPS 859152 WITH SCORE 860628.125
AT ITER 7914 NEW BEST:: SOT 6758924 SOS 1475859 HAS SOPS 1475859 HAS SOUS 858650 HAS SOUPS 858650 WITH SCORE 860125.859
AT ITER 7964 NEW BEST:: SOT 6759163 SOS 1474815 HAS SOPS 1474815 HAS SOUS 858128 HAS SOUPS 858128 WITH SCORE 859602.815
AT ITER 7976 NEW BEST:: SOT 6758955 SOS 1474804 HAS SOPS 1474804 HAS SOUS 857883 HAS SOUPS 857883 WITH SCORE 859357.804
AT ITER 8021 NEW BEST:: SOT 6758954 SOS 1474802 HAS SOPS 1474802 HAS SOUS 857881 HAS SOUPS 857881 WITH SCORE 859355.802
AT ITER 8072 NEW BEST:: SOT 6758954 SOS 1474802 HAS SOPS 1474802 HAS SOUS 857783 HAS SOUPS 857783 WITH SCORE 859257.802
AT ITER 8106 NEW BEST:: SOT 6758872 SOS 1474638 HAS SOPS 1474638 HAS SOUS 857619 HAS SOUPS 857619 WITH SCORE 859093.638
AT ITER 8108 NEW BEST:: SOT 6758872 SOS 1478399 HAS SOPS 1478399 HAS SOUS 857465 HAS SOUPS 857465 WITH SCORE 858943.399
AT ITER 8139 NEW BEST:: SOT 6758857 SOS 1478369 HAS SOPS 1478369 HAS SOUS 857435 HAS SOUPS 857435 WITH SCORE 858913.369
AT ITER 8140 NEW BEST:: SOT 6758616 SOS 1478283 HAS SOPS 1478283 HAS SOUS 857293 HAS SOUPS 857293 WITH SCORE 858771.283
AT ITER 8160 NEW BEST:: SOT 6758282 SOS 1477949 HAS SOPS 1477949 HAS SOUS 857293 HAS SOUPS 857293 WITH SCORE 858770.949
AT ITER 8167 NEW BEST:: SOT 6758314 SOS 1478010 HAS SOPS 1478010 HAS SOUS 857292 HAS SOUPS 857292 WITH SCORE 858770.01
AT ITER 8189 NEW BEST:: SOT 6758189 SOS 1477447 HAS SOPS 1477447 HAS SOUS 856731 HAS SOUPS 856731 WITH SCORE 858208.447
AT ITER 8194 NEW BEST:: SOT 6758189 SOS 1477215 HAS SOPS 1477215 HAS SOUS 856696 HAS SOUPS 856696 WITH SCORE 858173.215
AT ITER 8200 NEW BEST:: SOT 6758212 SOS 1476799 HAS SOPS 1476799 HAS SOUS 856588 HAS SOUPS 856588 WITH SCORE 858064.799
AT ITER 8210 NEW BEST:: SOT 6758211 SOS 1476797 HAS SOPS 1476797 HAS SOUS 856586 HAS SOUPS 856586 WITH SCORE 858062.797
AT ITER 8233 NEW BEST:: SOT 6757778 SOS 1476361 HAS SOPS 1476361 HAS SOUS 856152 HAS SOUPS 856152 WITH SCORE 857628.361
AT ITER 8236 NEW BEST:: SOT 6757778 SOS 1476136 HAS SOPS 1476136 HAS SOUS 856152 HAS SOUPS 856152 WITH SCORE 857628.136
AT ITER 8274 NEW BEST:: SOT 6758031 SOS 1476102 HAS SOPS 1476102 HAS SOUS 856118 HAS SOUPS 856118 WITH SCORE 857594.102
AT ITER 8368 NEW BEST:: SOT 6756993 SOS 1472689 HAS SOPS 1472689 HAS SOUS 854344 HAS SOUPS 854344 WITH SCORE 855816.689
AT ITER 8384 NEW BEST:: SOT 6756844 SOS 1472391 HAS SOPS 1472391 HAS SOUS 854195 HAS SOUPS 854195 WITH SCORE 855667.391
AT ITER 8396 NEW BEST:: SOT 6756570 SOS 1472380 HAS SOPS 1472380 HAS SOUS 854194 HAS SOUPS 854194 WITH SCORE 855666.38
AT ITER 8398 NEW BEST:: SOT 6756183 SOS 1472025 HAS SOPS 1472025 HAS SOUS 853849 HAS SOUPS 853849 WITH SCORE 855321.025
AT ITER 8450 NEW BEST:: SOT 6756025 SOS 1471946 HAS SOPS 1471946 HAS SOUS 853770 HAS SOUPS 853770 WITH SCORE 855241.946
AT ITER 8476 NEW BEST:: SOT 6755829 SOS 1471921 HAS SOPS 1471921 HAS SOUS 853745 HAS SOUPS 853745 WITH SCORE 855216.921
AT ITER 8536 NEW BEST:: SOT 6755829 SOS 1471921 HAS SOPS 1471921 HAS SOUS 853744 HAS SOUPS 853744 WITH SCORE 855215.921
AT ITER 8565 NEW BEST:: SOT 6755798 SOS 1471859 HAS SOPS 1471859 HAS SOUS 853646 HAS SOUPS 853646 WITH SCORE 855117.859
AT ITER 8579 NEW BEST:: SOT 6755726 SOS 1472265 HAS SOPS 1472265 HAS SOUS 853604 HAS SOUPS 853604 WITH SCORE 855076.265
AT ITER 8586 NEW BEST:: SOT 6755632 SOS 1472040 HAS SOPS 1472040 HAS SOUS 853379 HAS SOUPS 853379 WITH SCORE 854851.04
AT ITER 8590 NEW BEST:: SOT 6755629 SOS 1472324 HAS SOPS 1472324 HAS SOUS 853373 HAS SOUPS 853373 WITH SCORE 854845.324
AT ITER 8648 NEW BEST:: SOT 6755629 SOS 1472324 HAS SOPS 1472324 HAS SOUS 853353 HAS SOUPS 853353 WITH SCORE 854825.324
AT ITER 8692 NEW BEST:: SOT 6755586 SOS 1472281 HAS SOPS 1472281 HAS SOUS 853310 HAS SOUPS 853310 WITH SCORE 854782.281
AT ITER 8803 NEW BEST:: SOT 6755585 SOS 1472279 HAS SOPS 1472279 HAS SOUS 853308 HAS SOUPS 853308 WITH SCORE 854780.279
AT ITER 8808 NEW BEST:: SOT 6755403 SOS 1472279 HAS SOPS 1472279 HAS SOUS 853126 HAS SOUPS 853126 WITH SCORE 854598.279
AT ITER 8843 NEW BEST:: SOT 6755100 SOS 1471246 HAS SOPS 1471246 HAS SOUS 852885 HAS SOUPS 852885 WITH SCORE 854356.246
AT ITER 8949 NEW BEST:: SOT 6754984 SOS 1471014 HAS SOPS 1471014 HAS SOUS 852653 HAS SOUPS 852653 WITH SCORE 854124.014
AT ITER 8960 NEW BEST:: SOT 6754926 SOS 1471011 HAS SOPS 1471011 HAS SOUS 852595 HAS SOUPS 852595 WITH SCORE 854066.011
AT ITER 8968 NEW BEST:: SOT 6754640 SOS 1471957 HAS SOPS 1471957 HAS SOUS 852160 HAS SOUPS 852160 WITH SCORE 853631.957
AT ITER 9046 NEW BEST:: SOT 6754544 SOS 1471765 HAS SOPS 1471765 HAS SOUS 852087 HAS SOUPS 852087 WITH SCORE 853558.765
AT ITER 9059 NEW BEST:: SOT 6754544 SOS 1471764 HAS SOPS 1471764 HAS SOUS 852086 HAS SOUPS 852086 WITH SCORE 853557.764
AT ITER 9063 NEW BEST:: SOT 6754238 SOS 1471458 HAS SOPS 1471458 HAS SOUS 851780 HAS SOUPS 851780 WITH SCORE 853251.458
AT ITER 9084 NEW BEST:: SOT 6754243 SOS 1471468 HAS SOPS 1471468 HAS SOUS 851551 HAS SOUPS 851551 WITH SCORE 853022.468
AT ITER 9104 NEW BEST:: SOT 6754243 SOS 1471332 HAS SOPS 1471332 HAS SOUS 851333 HAS SOUPS 851333 WITH SCORE 852804.332
AT ITER 9107 NEW BEST:: SOT 6754220 SOS 1471286 HAS SOPS 1471286 HAS SOUS 851310 HAS SOUPS 851310 WITH SCORE 852781.286
AT ITER 9128 NEW BEST:: SOT 6754220 SOS 1471286 HAS SOPS 1471286 HAS SOUS 851309 HAS SOUPS 851309 WITH SCORE 852780.286
AT ITER 9151 NEW BEST:: SOT 6754103 SOS 1470297 HAS SOPS 1470297 HAS SOUS 851271 HAS SOUPS 851271 WITH SCORE 852741.297
AT ITER 9153 NEW BEST:: SOT 6753552 SOS 1464024 HAS SOPS 1464024 HAS SOUS 850932 HAS SOUPS 850932 WITH SCORE 852396.024
AT ITER 9171 NEW BEST:: SOT 6753286 SOS 1464013 HAS SOPS 1464013 HAS SOUS 850931 HAS SOUPS 850931 WITH SCORE 852395.013
AT ITER 9225 NEW BEST:: SOT 6751338 SOS 1461783 HAS SOPS 1461783 HAS SOUS 848757 HAS SOUPS 848757 WITH SCORE 850218.783
AT ITER 9231 NEW BEST:: SOT 6751053 SOS 1462745 HAS SOPS 1462745 HAS SOUS 848186 HAS SOUPS 848186 WITH SCORE 849648.745
AT ITER 9236 NEW BEST:: SOT 6750306 SOS 1461998 HAS SOPS 1461998 HAS SOUS 847439 HAS SOUPS 847439 WITH SCORE 848900.998
AT ITER 9251 NEW BEST:: SOT 6750090 SOS 1461782 HAS SOPS 1461782 HAS SOUS 847223 HAS SOUPS 847223 WITH SCORE 848684.782
AT ITER 9252 NEW BEST:: SOT 6750086 SOS 1461205 HAS SOPS 1461205 HAS SOUS 847135 HAS SOUPS 847135 WITH SCORE 848596.205
AT ITER 9272 NEW BEST:: SOT 6750000 SOS 1460666 HAS SOPS 1460666 HAS SOUS 847097 HAS SOUPS 847097 WITH SCORE 848557.666
AT ITER 9294 NEW BEST:: SOT 6750000 SOS 1459883 HAS SOPS 1459883 HAS SOUS 846836 HAS SOUPS 846836 WITH SCORE 848295.883
AT ITER 9316 NEW BEST:: SOT 6750198 SOS 1460279 HAS SOPS 1460279 HAS SOUS 846800 HAS SOUPS 846800 WITH SCORE 848260.279
AT ITER 9318 NEW BEST:: SOT 6749816 SOS 1458421 HAS SOPS 1458421 HAS SOUS 846049 HAS SOUPS 846049 WITH SCORE 847507.421
AT ITER 9365 NEW BEST:: SOT 6749816 SOS 1457893 HAS SOPS 1457893 HAS SOUS 845873 HAS SOUPS 845873 WITH SCORE 847330.893
AT ITER 9371 NEW BEST:: SOT 6749002 SOS 1452729 HAS SOPS 1452729 HAS SOUS 844624 HAS SOUPS 844624 WITH SCORE 846076.729
AT ITER 9390 NEW BEST:: SOT 6748963 SOS 1452651 HAS SOPS 1452651 HAS SOUS 844456 HAS SOUPS 844456 WITH SCORE 845908.651
AT ITER 9433 NEW BEST:: SOT 6748583 SOS 1451891 HAS SOPS 1451891 HAS SOUS 843624 HAS SOUPS 843624 WITH SCORE 845075.891
AT ITER 9440 NEW BEST:: SOT 6748441 SOS 1450740 HAS SOPS 1450740 HAS SOUS 843412 HAS SOUPS 843412 WITH SCORE 844862.74
AT ITER 9443 NEW BEST:: SOT 6748267 SOS 1448763 HAS SOPS 1448763 HAS SOUS 843064 HAS SOUPS 843064 WITH SCORE 844512.763
AT ITER 9506 NEW BEST:: SOT 6748211 SOS 1448651 HAS SOPS 1448651 HAS SOUS 842952 HAS SOUPS 842952 WITH SCORE 844400.651
AT ITER 9530 NEW BEST:: SOT 6748062 SOS 1448539 HAS SOPS 1448539 HAS SOUS 842840 HAS SOUPS 842840 WITH SCORE 844288.539
AT ITER 9537 NEW BEST:: SOT 6747342 SOS 1448542 HAS SOPS 1448542 HAS SOUS 842601 HAS SOUPS 842601 WITH SCORE 844049.542
AT ITER 9540 NEW BEST:: SOT 6747334 SOS 1448470 HAS SOPS 1448470 HAS SOUS 842593 HAS SOUPS 842593 WITH SCORE 844041.47
AT ITER 9591 NEW BEST:: SOT 6747286 SOS 1448374 HAS SOPS 1448374 HAS SOUS 842497 HAS SOUPS 842497 WITH SCORE 843945.374
AT ITER 9600 NEW BEST:: SOT 6747367 SOS 1448536 HAS SOPS 1448536 HAS SOUS 842302 HAS SOUPS 842302 WITH SCORE 843750.536
AT ITER 9614 NEW BEST:: SOT 6747298 SOS 1448398 HAS SOPS 1448398 HAS SOUS 842164 HAS SOUPS 842164 WITH SCORE 843612.398
AT ITER 9663 NEW BEST:: SOT 6747142 SOS 1447146 HAS SOPS 1447146 HAS SOUS 841851 HAS SOUPS 841851 WITH SCORE 843298.146
AT ITER 9665 NEW BEST:: SOT 6747142 SOS 1447145 HAS SOPS 1447145 HAS SOUS 841850 HAS SOUPS 841850 WITH SCORE 843297.145
AT ITER 9671 NEW BEST:: SOT 6746581 SOS 1447295 HAS SOPS 1447295 HAS SOUS 841745 HAS SOUPS 841745 WITH SCORE 843192.295
AT ITER 9675 NEW BEST:: SOT 6746567 SOS 1447267 HAS SOPS 1447267 HAS SOUS 841717 HAS SOUPS 841717 WITH SCORE 843164.267
AT ITER 9694 NEW BEST:: SOT 6746505 SOS 1447143 HAS SOPS 1447143 HAS SOUS 841570 HAS SOUPS 841570 WITH SCORE 843017.143
AT ITER 9766 NEW BEST:: SOT 6746505 SOS 1447430 HAS SOPS 1447430 HAS SOUS 841569 HAS SOUPS 841569 WITH SCORE 843016.43
AT ITER 9818 NEW BEST:: SOT 6746505 SOS 1447430 HAS SOPS 1447430 HAS SOUS 841544 HAS SOUPS 841544 WITH SCORE 842991.43
AT ITER 9831 NEW BEST:: SOT 6746477 SOS 1447539 HAS SOPS 1447539 HAS SOUS 841487 HAS SOUPS 841487 WITH SCORE 842934.539
AT ITER 9879 NEW BEST:: SOT 6746252 SOS 1447712 HAS SOPS 1447712 HAS SOUS 841063 HAS SOUPS 841063 WITH SCORE 842510.712
AT ITER 9883 NEW BEST:: SOT 6746067 SOS 1446232 HAS SOPS 1446232 HAS SOUS 840813 HAS SOUPS 840813 WITH SCORE 842259.232
AT ITER 9885 NEW BEST:: SOT 6746162 SOS 1446418 HAS SOPS 1446418 HAS SOUS 840812 HAS SOUPS 840812 WITH SCORE 842258.418
AT ITER 9906 NEW BEST:: SOT 6746182 SOS 1446416 HAS SOPS 1446416 HAS SOUS 840810 HAS SOUPS 840810 WITH SCORE 842256.416
AT ITER 9923 NEW BEST:: SOT 6746144 SOS 1446340 HAS SOPS 1446340 HAS SOUS 840810 HAS SOUPS 840810 WITH SCORE 842256.34
AT ITER 9927 NEW BEST:: SOT 6746142 SOS 1446338 HAS SOPS 1446338 HAS SOUS 840808 HAS SOUPS 840808 WITH SCORE 842254.338
AT ITER 9934 NEW BEST:: SOT 6746124 SOS 1446311 HAS SOPS 1446311 HAS SOUS 840790 HAS SOUPS 840790 WITH SCORE 842236.311
AT ITER 9940 NEW BEST:: SOT 6746111 SOS 1446285 HAS SOPS 1446285 HAS SOUS 840764 HAS SOUPS 840764 WITH SCORE 842210.285
AT ITER 9964 NEW BEST:: SOT 6746088 SOS 1446239 HAS SOPS 1446239 HAS SOUS 840718 HAS SOUPS 840718 WITH SCORE 842164.239
AT ITER 9979 NEW BEST:: SOT 6745966 SOS 1446676 HAS SOPS 1446676 HAS SOUS 840701 HAS SOUPS 840701 WITH SCORE 842147.676
AT ITER 9988 NEW BEST:: SOT 6745907 SOS 1446558 HAS SOPS 1446558 HAS SOUS 840658 HAS SOUPS 840658 WITH SCORE 842104.558
AT ITER 9989 NEW BEST:: SOT 6745901 SOS 1446546 HAS SOPS 1446546 HAS SOUS 840646 HAS SOUPS 840646 WITH SCORE 842092.546
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14823012 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151280 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCround-PT-07b, 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 r099-tall-167814472700696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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