About the Execution of Smart for Anderson-PT-11
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
10715.676 | 3600000.00 | 3600199.00 | 9.90 | [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/mcc2023-input.r515-tall-167987241900064.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 Anderson-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900064
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 6.2K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Mar 23 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 26 22:42 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 1679873570780
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=Anderson-PT-11
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 11
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: 749 places, 3245 transitions, 12540 arcs.
AT ITER 0 NEW BEST:: SOT 1393012 SOS 900592 HAS SOPS 900592 HAS SOUS 223624 HAS SOUPS 223624 WITH SCORE 224524.592
AT ITER 1 NEW BEST:: SOT 1392751 SOS 897964 HAS SOPS 897964 HAS SOUS 223253 HAS SOUPS 223253 WITH SCORE 224150.964
AT ITER 20 NEW BEST:: SOT 1391116 SOS 896646 HAS SOPS 896646 HAS SOUS 221797 HAS SOUPS 221797 WITH SCORE 222693.646
AT ITER 27 NEW BEST:: SOT 1390792 SOS 894540 HAS SOPS 894540 HAS SOUS 221311 HAS SOUPS 221311 WITH SCORE 222205.54
AT ITER 56 NEW BEST:: SOT 1390585 SOS 892020 HAS SOPS 892020 HAS SOUS 221025 HAS SOUPS 221025 WITH SCORE 221917.02
AT ITER 62 NEW BEST:: SOT 1390404 SOS 890335 HAS SOPS 890335 HAS SOUS 220767 HAS SOUPS 220767 WITH SCORE 221657.335
AT ITER 81 NEW BEST:: SOT 1390396 SOS 890319 HAS SOPS 890319 HAS SOUS 220759 HAS SOUPS 220759 WITH SCORE 221649.319
AT ITER 92 NEW BEST:: SOT 1390252 SOS 889383 HAS SOPS 889383 HAS SOUS 220543 HAS SOUPS 220543 WITH SCORE 221432.383
AT ITER 94 NEW BEST:: SOT 1390131 SOS 888052 HAS SOPS 888052 HAS SOUS 220422 HAS SOUPS 220422 WITH SCORE 221310.052
AT ITER 117 NEW BEST:: SOT 1390007 SOS 887246 HAS SOPS 887246 HAS SOUS 220236 HAS SOUPS 220236 WITH SCORE 221123.246
AT ITER 118 NEW BEST:: SOT 1389836 SOS 886040 HAS SOPS 886040 HAS SOUS 219985 HAS SOUPS 219985 WITH SCORE 220871.04
AT ITER 141 NEW BEST:: SOT 1389742 SOS 885852 HAS SOPS 885852 HAS SOUS 219840 HAS SOUPS 219840 WITH SCORE 220725.852
AT ITER 142 NEW BEST:: SOT 1389640 SOS 885189 HAS SOPS 885189 HAS SOUS 219687 HAS SOUPS 219687 WITH SCORE 220572.189
AT ITER 158 NEW BEST:: SOT 1389312 SOS 884694 HAS SOPS 884533 HAS SOUS 219352 HAS SOUPS 219191 WITH SCORE 220075.694
AT ITER 161 NEW BEST:: SOT 1382439 SOS 880743 HAS SOPS 880582 HAS SOUS 212712 HAS SOUPS 212551 WITH SCORE 213431.743
AT ITER 176 NEW BEST:: SOT 1382389 SOS 880693 HAS SOPS 880532 HAS SOUS 212655 HAS SOUPS 212494 WITH SCORE 213374.693
AT ITER 178 NEW BEST:: SOT 1382266 SOS 878494 HAS SOPS 878333 HAS SOUS 212501 HAS SOUPS 212340 WITH SCORE 213218.494
AT ITER 183 NEW BEST:: SOT 1382167 SOS 878395 HAS SOPS 878234 HAS SOUS 212303 HAS SOUPS 212142 WITH SCORE 213020.395
AT ITER 185 NEW BEST:: SOT 1382163 SOS 878387 HAS SOPS 878226 HAS SOUS 212295 HAS SOUPS 212134 WITH SCORE 213012.387
AT ITER 186 NEW BEST:: SOT 1382064 SOS 878288 HAS SOPS 878127 HAS SOUS 212140 HAS SOUPS 211979 WITH SCORE 212857.288
AT ITER 190 NEW BEST:: SOT 1382291 SOS 878538 HAS SOPS 878377 HAS SOUS 211907 HAS SOUPS 211746 WITH SCORE 212624.538
AT ITER 191 NEW BEST:: SOT 1382239 SOS 878486 HAS SOPS 878325 HAS SOUS 211855 HAS SOUPS 211694 WITH SCORE 212572.486
AT ITER 197 NEW BEST:: SOT 1382129 SOS 878376 HAS SOPS 878215 HAS SOUS 211681 HAS SOUPS 211520 WITH SCORE 212398.376
AT ITER 209 NEW BEST:: SOT 1382128 SOS 878374 HAS SOPS 878213 HAS SOUS 211679 HAS SOUPS 211518 WITH SCORE 212396.374
AT ITER 211 NEW BEST:: SOT 1382014 SOS 878260 HAS SOPS 878099 HAS SOUS 211516 HAS SOUPS 211355 WITH SCORE 212233.26
AT ITER 212 NEW BEST:: SOT 1381953 SOS 878199 HAS SOPS 878038 HAS SOUS 211394 HAS SOUPS 211233 WITH SCORE 212111.199
AT ITER 215 NEW BEST:: SOT 1381833 SOS 876254 HAS SOPS 876093 HAS SOUS 211160 HAS SOUPS 210999 WITH SCORE 211875.254
AT ITER 223 NEW BEST:: SOT 1381605 SOS 874772 HAS SOPS 874611 HAS SOUS 210818 HAS SOUPS 210657 WITH SCORE 211531.772
AT ITER 225 NEW BEST:: SOT 1381431 SOS 873641 HAS SOPS 873480 HAS SOUS 210557 HAS SOUPS 210396 WITH SCORE 211269.641
AT ITER 231 NEW BEST:: SOT 1381217 SOS 871323 HAS SOPS 871162 HAS SOUS 210257 HAS SOUPS 210096 WITH SCORE 210967.323
AT ITER 251 NEW BEST:: SOT 1381183 SOS 871255 HAS SOPS 871094 HAS SOUS 210189 HAS SOUPS 210028 WITH SCORE 210899.255
AT ITER 252 NEW BEST:: SOT 1381167 SOS 871239 HAS SOPS 871078 HAS SOUS 210157 HAS SOUPS 209996 WITH SCORE 210867.239
AT ITER 254 NEW BEST:: SOT 1380935 SOS 869731 HAS SOPS 869570 HAS SOUS 209809 HAS SOUPS 209648 WITH SCORE 210517.731
AT ITER 263 NEW BEST:: SOT 1380773 SOS 867058 HAS SOPS 866897 HAS SOUS 209600 HAS SOUPS 209439 WITH SCORE 210306.058
AT ITER 274 NEW BEST:: SOT 1380692 SOS 866977 HAS SOPS 866816 HAS SOUS 209519 HAS SOUPS 209358 WITH SCORE 210224.977
AT ITER 275 NEW BEST:: SOT 1380515 SOS 864634 HAS SOPS 864473 HAS SOUS 209305 HAS SOUPS 209144 WITH SCORE 210008.634
AT ITER 277 NEW BEST:: SOT 1380425 SOS 864544 HAS SOPS 864383 HAS SOUS 209125 HAS SOUPS 208964 WITH SCORE 209828.544
AT ITER 293 NEW BEST:: SOT 1380374 SOS 864493 HAS SOPS 864332 HAS SOUS 209023 HAS SOUPS 208862 WITH SCORE 209726.493
AT ITER 295 NEW BEST:: SOT 1380060 SOS 862452 HAS SOPS 862291 HAS SOUS 208552 HAS SOUPS 208391 WITH SCORE 209253.452
AT ITER 301 NEW BEST:: SOT 1382680 SOS 865072 HAS SOPS 864911 HAS SOUS 208452 HAS SOUPS 208291 WITH SCORE 209156.072
AT ITER 306 NEW BEST:: SOT 1382602 SOS 864565 HAS SOPS 864404 HAS SOUS 208335 HAS SOUPS 208174 WITH SCORE 209038.565
AT ITER 319 NEW BEST:: SOT 1382330 SOS 862689 HAS SOPS 862528 HAS SOUS 207931 HAS SOUPS 207770 WITH SCORE 208632.689
AT ITER 320 NEW BEST:: SOT 1382234 SOS 861561 HAS SOPS 861400 HAS SOUS 207835 HAS SOUPS 207674 WITH SCORE 208535.561
AT ITER 323 NEW BEST:: SOT 1382224 SOS 861091 HAS SOPS 860930 HAS SOUS 207834 HAS SOUPS 207673 WITH SCORE 208534.091
AT ITER 334 NEW BEST:: SOT 1382135 SOS 861002 HAS SOPS 860841 HAS SOUS 207723 HAS SOUPS 207562 WITH SCORE 208423.002
AT ITER 335 NEW BEST:: SOT 1382137 SOS 859213 HAS SOPS 859052 HAS SOUS 207723 HAS SOUPS 207562 WITH SCORE 208421.213
AT ITER 344 NEW BEST:: SOT 1382137 SOS 859207 HAS SOPS 859046 HAS SOUS 207723 HAS SOUPS 207562 WITH SCORE 208421.207
AT ITER 352 NEW BEST:: SOT 1383787 SOS 860857 HAS SOPS 860696 HAS SOUS 207252 HAS SOUPS 207091 WITH SCORE 207951.857
AT ITER 357 NEW BEST:: SOT 1383749 SOS 860781 HAS SOPS 860620 HAS SOUS 207207 HAS SOUPS 207046 WITH SCORE 207906.781
AT ITER 359 NEW BEST:: SOT 1383596 SOS 860475 HAS SOPS 860314 HAS SOUS 207047 HAS SOUPS 206886 WITH SCORE 207746.475
AT ITER 364 NEW BEST:: SOT 1388945 SOS 865824 HAS SOPS 865663 HAS SOUS 206987 HAS SOUPS 206826 WITH SCORE 207691.824
AT ITER 366 NEW BEST:: SOT 1388911 SOS 865756 HAS SOPS 865595 HAS SOUS 206919 HAS SOUPS 206758 WITH SCORE 207623.756
AT ITER 367 NEW BEST:: SOT 1388073 SOS 864918 HAS SOPS 864757 HAS SOUS 206312 HAS SOUPS 206151 WITH SCORE 207015.918
AT ITER 384 NEW BEST:: SOT 1387773 SOS 862912 HAS SOPS 862751 HAS SOUS 205896 HAS SOUPS 205735 WITH SCORE 206597.912
AT ITER 387 NEW BEST:: SOT 1387631 SOS 862770 HAS SOPS 862609 HAS SOUS 205683 HAS SOUPS 205522 WITH SCORE 206384.77
AT ITER 389 NEW BEST:: SOT 1387565 SOS 862704 HAS SOPS 862543 HAS SOUS 205551 HAS SOUPS 205390 WITH SCORE 206252.704
AT ITER 397 NEW BEST:: SOT 1387411 SOS 861703 HAS SOPS 861542 HAS SOUS 205320 HAS SOUPS 205159 WITH SCORE 206020.703
AT ITER 398 NEW BEST:: SOT 1387314 SOS 861606 HAS SOPS 861445 HAS SOUS 205136 HAS SOUPS 204975 WITH SCORE 205836.606
AT ITER 400 NEW BEST:: SOT 1387314 SOS 861552 HAS SOPS 861391 HAS SOUS 205136 HAS SOUPS 204975 WITH SCORE 205836.552
AT ITER 418 NEW BEST:: SOT 1387284 SOS 861522 HAS SOPS 861361 HAS SOUS 205076 HAS SOUPS 204915 WITH SCORE 205776.522
AT ITER 421 NEW BEST:: SOT 1387110 SOS 860391 HAS SOPS 860230 HAS SOUS 204815 HAS SOUPS 204654 WITH SCORE 205514.391
AT ITER 435 NEW BEST:: SOT 1387070 SOS 860351 HAS SOPS 860190 HAS SOUS 204735 HAS SOUPS 204574 WITH SCORE 205434.351
AT ITER 452 NEW BEST:: SOT 1386931 SOS 858822 HAS SOPS 858661 HAS SOUS 204596 HAS SOUPS 204435 WITH SCORE 205293.822
AT ITER 453 NEW BEST:: SOT 1386926 SOS 858817 HAS SOPS 858656 HAS SOUS 204591 HAS SOUPS 204430 WITH SCORE 205288.817
AT ITER 454 NEW BEST:: SOT 1386865 SOS 858695 HAS SOPS 858534 HAS SOUS 204469 HAS SOUPS 204308 WITH SCORE 205166.695
AT ITER 456 NEW BEST:: SOT 1386821 SOS 858651 HAS SOPS 858490 HAS SOUS 204371 HAS SOUPS 204210 WITH SCORE 205068.651
AT ITER 457 NEW BEST:: SOT 1384939 SOS 861476 HAS SOPS 859086 HAS SOUS 203090 HAS SOUPS 202452 WITH SCORE 203313.476
AT ITER 461 NEW BEST:: SOT 1384893 SOS 861104 HAS SOPS 858484 HAS SOUS 203106 HAS SOUPS 202238 WITH SCORE 203099.104
AT ITER 462 NEW BEST:: SOT 1384817 SOS 860268 HAS SOPS 857648 HAS SOUS 203030 HAS SOUPS 202162 WITH SCORE 203022.268
AT ITER 471 NEW BEST:: SOT 1384764 SOS 859415 HAS SOPS 856795 HAS SOUS 202979 HAS SOUPS 202111 WITH SCORE 202970.415
AT ITER 484 NEW BEST:: SOT 1384540 SOS 857707 HAS SOPS 855087 HAS SOUS 202647 HAS SOUPS 201779 WITH SCORE 202636.707
AT ITER 490 NEW BEST:: SOT 1384372 SOS 856120 HAS SOPS 853509 HAS SOUS 202449 HAS SOUPS 201581 WITH SCORE 202437.12
AT ITER 495 NEW BEST:: SOT 1384372 SOS 853588 HAS SOPS 850977 HAS SOUS 202407 HAS SOUPS 201539 WITH SCORE 202392.588
AT ITER 502 NEW BEST:: SOT 1384348 SOS 853564 HAS SOPS 850953 HAS SOUS 202383 HAS SOUPS 201515 WITH SCORE 202368.564
AT ITER 517 NEW BEST:: SOT 1384348 SOS 853564 HAS SOPS 850953 HAS SOUS 202362 HAS SOUPS 201494 WITH SCORE 202347.564
AT ITER 523 NEW BEST:: SOT 1384234 SOS 852823 HAS SOPS 850212 HAS SOUS 202191 HAS SOUPS 201323 WITH SCORE 202175.823
AT ITER 525 NEW BEST:: SOT 1383866 SOS 852511 HAS SOPS 849900 HAS SOUS 201855 HAS SOUPS 200987 WITH SCORE 201839.511
AT ITER 557 NEW BEST:: SOT 1383790 SOS 851027 HAS SOPS 848416 HAS SOUS 201819 HAS SOUPS 200951 WITH SCORE 201802.027
AT ITER 559 NEW BEST:: SOT 1383756 SOS 850993 HAS SOPS 848348 HAS SOUS 201785 HAS SOUPS 200883 WITH SCORE 201733.993
AT ITER 581 NEW BEST:: SOT 1383687 SOS 850884 HAS SOPS 848239 HAS SOUS 201708 HAS SOUPS 200806 WITH SCORE 201656.884
AT ITER 583 NEW BEST:: SOT 1383655 SOS 850820 HAS SOPS 848175 HAS SOUS 201676 HAS SOUPS 200774 WITH SCORE 201624.82
AT ITER 588 NEW BEST:: SOT 1386788 SOS 853953 HAS SOPS 851308 HAS SOUS 201668 HAS SOUPS 200766 WITH SCORE 201619.953
AT ITER 612 NEW BEST:: SOT 1386659 SOS 853695 HAS SOPS 851050 HAS SOUS 201535 HAS SOUPS 200633 WITH SCORE 201486.695
AT ITER 615 NEW BEST:: SOT 1386412 SOS 851050 HAS SOPS 848405 HAS SOUS 201168 HAS SOUPS 200266 WITH SCORE 201117.05
AT ITER 619 NEW BEST:: SOT 1386408 SOS 850890 HAS SOPS 848245 HAS SOUS 201010 HAS SOUPS 200108 WITH SCORE 200958.89
AT ITER 621 NEW BEST:: SOT 1386327 SOS 850478 HAS SOPS 847645 HAS SOUS 200949 HAS SOUPS 199859 WITH SCORE 200709.478
AT ITER 635 NEW BEST:: SOT 1386292 SOS 850443 HAS SOPS 847610 HAS SOUS 200879 HAS SOUPS 199789 WITH SCORE 200639.443
AT ITER 649 NEW BEST:: SOT 1386223 SOS 850374 HAS SOPS 847541 HAS SOUS 200843 HAS SOUPS 199753 WITH SCORE 200603.374
AT ITER 650 NEW BEST:: SOT 1386223 SOS 849514 HAS SOPS 846681 HAS SOUS 200843 HAS SOUPS 199753 WITH SCORE 200602.514
AT ITER 652 NEW BEST:: SOT 1385937 SOS 847655 HAS SOPS 844822 HAS SOUS 200414 HAS SOUPS 199324 WITH SCORE 200171.655
AT ITER 671 NEW BEST:: SOT 1385928 SOS 847637 HAS SOPS 844804 HAS SOUS 200398 HAS SOUPS 199308 WITH SCORE 200155.637
AT ITER 679 NEW BEST:: SOT 1385913 SOS 845978 HAS SOPS 843145 HAS SOUS 200395 HAS SOUPS 199305 WITH SCORE 200150.978
AT ITER 700 NEW BEST:: SOT 1387690 SOS 847755 HAS SOPS 844922 HAS SOUS 200370 HAS SOUPS 199280 WITH SCORE 200127.755
AT ITER 703 NEW BEST:: SOT 1387660 SOS 847725 HAS SOPS 844892 HAS SOUS 200310 HAS SOUPS 199220 WITH SCORE 200067.725
AT ITER 706 NEW BEST:: SOT 1387636 SOS 846570 HAS SOPS 843737 HAS SOUS 200278 HAS SOUPS 199188 WITH SCORE 200034.57
AT ITER 711 NEW BEST:: SOT 1387636 SOS 846537 HAS SOPS 843704 HAS SOUS 200275 HAS SOUPS 199185 WITH SCORE 200031.537
AT ITER 714 NEW BEST:: SOT 1383996 SOS 842897 HAS SOPS 840064 HAS SOUS 196630 HAS SOUPS 195540 WITH SCORE 196382.897
AT ITER 719 NEW BEST:: SOT 1383996 SOS 841401 HAS SOPS 838568 HAS SOUS 196494 HAS SOUPS 195404 WITH SCORE 196245.401
AT ITER 721 NEW BEST:: SOT 1383884 SOS 841289 HAS SOPS 838456 HAS SOUS 196270 HAS SOUPS 195180 WITH SCORE 196021.289
AT ITER 737 NEW BEST:: SOT 1383876 SOS 841281 HAS SOPS 838448 HAS SOUS 196254 HAS SOUPS 195164 WITH SCORE 196005.281
AT ITER 741 NEW BEST:: SOT 1383876 SOS 841281 HAS SOPS 838448 HAS SOUS 196243 HAS SOUPS 195153 WITH SCORE 195994.281
AT ITER 757 NEW BEST:: SOT 1385020 SOS 842425 HAS SOPS 839592 HAS SOUS 195893 HAS SOUPS 194803 WITH SCORE 195645.425
AT ITER 760 NEW BEST:: SOT 1384938 SOS 842343 HAS SOPS 839510 HAS SOUS 195727 HAS SOUPS 194637 WITH SCORE 195479.343
AT ITER 761 NEW BEST:: SOT 1384926 SOS 842319 HAS SOPS 839486 HAS SOUS 195715 HAS SOUPS 194625 WITH SCORE 195467.319
AT ITER 764 NEW BEST:: SOT 1384855 SOS 841741 HAS SOPS 838880 HAS SOUS 195504 HAS SOUPS 194386 WITH SCORE 195227.741
AT ITER 772 NEW BEST:: SOT 1384588 SOS 839308 HAS SOPS 836447 HAS SOUS 195138 HAS SOUPS 194020 WITH SCORE 194859.308
AT ITER 775 NEW BEST:: SOT 1384495 SOS 839215 HAS SOPS 836354 HAS SOUS 194963 HAS SOUPS 193845 WITH SCORE 194684.215
AT ITER 798 NEW BEST:: SOT 1384362 SOS 838121 HAS SOPS 835260 HAS SOUS 194789 HAS SOUPS 193671 WITH SCORE 194509.121
AT ITER 803 NEW BEST:: SOT 1384304 SOS 836934 HAS SOPS 834073 HAS SOUS 194765 HAS SOUPS 193647 WITH SCORE 194483.934
AT ITER 809 NEW BEST:: SOT 1384304 SOS 836923 HAS SOPS 834062 HAS SOUS 194764 HAS SOUPS 193646 WITH SCORE 194482.923
AT ITER 826 NEW BEST:: SOT 1384257 SOS 836876 HAS SOPS 834015 HAS SOUS 194670 HAS SOUPS 193552 WITH SCORE 194388.876
AT ITER 827 NEW BEST:: SOT 1384257 SOS 836876 HAS SOPS 833932 HAS SOUS 194670 HAS SOUPS 193469 WITH SCORE 194305.876
AT ITER 828 NEW BEST:: SOT 1384222 SOS 836841 HAS SOPS 833897 HAS SOUS 194613 HAS SOUPS 193412 WITH SCORE 194248.841
AT ITER 829 NEW BEST:: SOT 1389386 SOS 842005 HAS SOPS 839061 HAS SOUS 194427 HAS SOUPS 193226 WITH SCORE 194068.005
AT ITER 835 NEW BEST:: SOT 1389349 SOS 841968 HAS SOPS 839024 HAS SOUS 194353 HAS SOUPS 193152 WITH SCORE 193993.968
AT ITER 860 NEW BEST:: SOT 1389131 SOS 840389 HAS SOPS 837445 HAS SOUS 194030 HAS SOUPS 192829 WITH SCORE 193669.389
AT ITER 861 NEW BEST:: SOT 1389131 SOS 840368 HAS SOPS 837424 HAS SOUS 194030 HAS SOUPS 192829 WITH SCORE 193669.368
AT ITER 864 NEW BEST:: SOT 1389086 SOS 839873 HAS SOPS 836929 HAS SOUS 193985 HAS SOUPS 192784 WITH SCORE 193623.873
AT ITER 869 NEW BEST:: SOT 1389080 SOS 839861 HAS SOPS 836917 HAS SOUS 193973 HAS SOUPS 192772 WITH SCORE 193611.861
AT ITER 873 NEW BEST:: SOT 1389080 SOS 839618 HAS SOPS 836674 HAS SOUS 193973 HAS SOUPS 192772 WITH SCORE 193611.618
AT ITER 886 NEW BEST:: SOT 1389040 SOS 839538 HAS SOPS 836594 HAS SOUS 193950 HAS SOUPS 192749 WITH SCORE 193588.538
AT ITER 893 NEW BEST:: SOT 1388841 SOS 839329 HAS SOPS 836385 HAS SOUS 193563 HAS SOUPS 192362 WITH SCORE 193201.329
AT ITER 908 NEW BEST:: SOT 1388601 SOS 837607 HAS SOPS 834663 HAS SOUS 193211 HAS SOUPS 192010 WITH SCORE 192847.607
AT ITER 913 NEW BEST:: SOT 1388601 SOS 837607 HAS SOPS 834663 HAS SOUS 193083 HAS SOUPS 191882 WITH SCORE 192719.607
AT ITER 915 NEW BEST:: SOT 1388492 SOS 835499 HAS SOPS 832555 HAS SOUS 193020 HAS SOUPS 191819 WITH SCORE 192654.499
AT ITER 923 NEW BEST:: SOT 1388453 SOS 835421 HAS SOPS 832477 HAS SOUS 192887 HAS SOUPS 191686 WITH SCORE 192521.421
AT ITER 924 NEW BEST:: SOT 1388448 SOS 835411 HAS SOPS 832467 HAS SOUS 192877 HAS SOUPS 191676 WITH SCORE 192511.411
AT ITER 927 NEW BEST:: SOT 1388367 SOS 835330 HAS SOPS 832386 HAS SOUS 192715 HAS SOUPS 191514 WITH SCORE 192349.33
AT ITER 934 NEW BEST:: SOT 1388247 SOS 835210 HAS SOPS 832266 HAS SOUS 192475 HAS SOUPS 191274 WITH SCORE 192109.21
AT ITER 944 NEW BEST:: SOT 1388101 SOS 833793 HAS SOPS 830849 HAS SOUS 192270 HAS SOUPS 191069 WITH SCORE 191902.793
AT ITER 962 NEW BEST:: SOT 1390795 SOS 836487 HAS SOPS 833543 HAS SOUS 192164 HAS SOUPS 190963 WITH SCORE 191799.487
AT ITER 970 NEW BEST:: SOT 1390712 SOS 836321 HAS SOPS 833377 HAS SOUS 192081 HAS SOUPS 190880 WITH SCORE 191716.321
AT ITER 982 NEW BEST:: SOT 1390682 SOS 836126 HAS SOPS 833182 HAS SOUS 192036 HAS SOUPS 190835 WITH SCORE 191671.126
AT ITER 985 NEW BEST:: SOT 1390573 SOS 836017 HAS SOPS 833073 HAS SOUS 191872 HAS SOUPS 190671 WITH SCORE 191507.017
AT ITER 993 NEW BEST:: SOT 1390550 SOS 835971 HAS SOPS 833027 HAS SOUS 191826 HAS SOUPS 190625 WITH SCORE 191460.971
AT ITER 996 NEW BEST:: SOT 1390480 SOS 835901 HAS SOPS 832957 HAS SOUS 191756 HAS SOUPS 190555 WITH SCORE 191390.901
AT ITER 1027 NEW BEST:: SOT 1390295 SOS 834424 HAS SOPS 831480 HAS SOUS 191509 HAS SOUPS 190308 WITH SCORE 191142.424
AT ITER 1029 NEW BEST:: SOT 1390275 SOS 834384 HAS SOPS 831440 HAS SOUS 191469 HAS SOUPS 190268 WITH SCORE 191102.384
AT ITER 1032 NEW BEST:: SOT 1394795 SOS 838904 HAS SOPS 835960 HAS SOUS 191405 HAS SOUPS 190204 WITH SCORE 191042.904
AT ITER 1061 NEW BEST:: SOT 1394789 SOS 838865 HAS SOPS 835921 HAS SOUS 191396 HAS SOUPS 190195 WITH SCORE 191033.865
AT ITER 1071 NEW BEST:: SOT 1394760 SOS 838807 HAS SOPS 835863 HAS SOUS 191338 HAS SOUPS 190137 WITH SCORE 190975.807
AT ITER 1084 NEW BEST:: SOT 1394679 SOS 838726 HAS SOPS 835782 HAS SOUS 191176 HAS SOUPS 189975 WITH SCORE 190813.726
AT ITER 1087 NEW BEST:: SOT 1394668 SOS 838715 HAS SOPS 835771 HAS SOUS 191154 HAS SOUPS 189953 WITH SCORE 190791.715
AT ITER 1092 NEW BEST:: SOT 1394619 SOS 838283 HAS SOPS 835125 HAS SOUS 191124 HAS SOUPS 189709 WITH SCORE 190547.283
AT ITER 1113 NEW BEST:: SOT 1394558 SOS 838222 HAS SOPS 835064 HAS SOUS 191041 HAS SOUPS 189626 WITH SCORE 190464.222
AT ITER 1125 NEW BEST:: SOT 1394596 SOS 838260 HAS SOPS 835102 HAS SOUS 191004 HAS SOUPS 189589 WITH SCORE 190427.26
AT ITER 1127 NEW BEST:: SOT 1394524 SOS 838116 HAS SOPS 834958 HAS SOUS 190896 HAS SOUPS 189481 WITH SCORE 190319.116
AT ITER 1134 NEW BEST:: SOT 1394473 SOS 838078 HAS SOPS 834920 HAS SOUS 190845 HAS SOUPS 189430 WITH SCORE 190268.078
AT ITER 1146 NEW BEST:: SOT 1394411 SOS 837396 HAS SOPS 834238 HAS SOUS 190783 HAS SOUPS 189368 WITH SCORE 190205.396
AT ITER 1158 NEW BEST:: SOT 1394405 SOS 837390 HAS SOPS 834232 HAS SOUS 190777 HAS SOUPS 189362 WITH SCORE 190199.39
AT ITER 1162 NEW BEST:: SOT 1393628 SOS 836576 HAS SOPS 833418 HAS SOUS 190740 HAS SOUPS 189325 WITH SCORE 190161.576
AT ITER 1170 NEW BEST:: SOT 1393622 SOS 836564 HAS SOPS 833406 HAS SOUS 190728 HAS SOUPS 189313 WITH SCORE 190149.564
AT ITER 1175 NEW BEST:: SOT 1393615 SOS 836550 HAS SOPS 833392 HAS SOUS 190721 HAS SOUPS 189306 WITH SCORE 190142.55
AT ITER 1187 NEW BEST:: SOT 1393608 SOS 836543 HAS SOPS 833385 HAS SOUS 190707 HAS SOUPS 189292 WITH SCORE 190128.543
AT ITER 1189 NEW BEST:: SOT 1393664 SOS 836622 HAS SOPS 833464 HAS SOUS 190280 HAS SOUPS 188865 WITH SCORE 189701.622
AT ITER 1191 NEW BEST:: SOT 1393577 SOS 836448 HAS SOPS 833290 HAS SOUS 190130 HAS SOUPS 188715 WITH SCORE 189551.448
AT ITER 1193 NEW BEST:: SOT 1393563 SOS 836434 HAS SOPS 833191 HAS SOUS 190116 HAS SOUPS 188616 WITH SCORE 189452.434
AT ITER 1225 NEW BEST:: SOT 1393502 SOS 836396 HAS SOPS 833153 HAS SOUS 190078 HAS SOUPS 188578 WITH SCORE 189414.396
AT ITER 1244 NEW BEST:: SOT 1393278 SOS 834544 HAS SOPS 831301 HAS SOUS 189746 HAS SOUPS 188246 WITH SCORE 189080.544
AT ITER 1247 NEW BEST:: SOT 1393228 SOS 834444 HAS SOPS 831201 HAS SOUS 189646 HAS SOUPS 188146 WITH SCORE 188980.444
AT ITER 1266 NEW BEST:: SOT 1393208 SOS 834424 HAS SOPS 831181 HAS SOUS 189569 HAS SOUPS 188069 WITH SCORE 188903.424
AT ITER 1277 NEW BEST:: SOT 1393058 SOS 833449 HAS SOPS 830206 HAS SOUS 189344 HAS SOUPS 187844 WITH SCORE 188677.449
AT ITER 1285 NEW BEST:: SOT 1393168 SOS 831526 HAS SOPS 828444 HAS SOUS 189169 HAS SOUPS 187830 WITH SCORE 188661.526
AT ITER 1305 NEW BEST:: SOT 1393149 SOS 830606 HAS SOPS 827524 HAS SOUS 189150 HAS SOUPS 187811 WITH SCORE 188641.606
AT ITER 1320 NEW BEST:: SOT 1393054 SOS 828832 HAS SOPS 825750 HAS SOUS 189068 HAS SOUPS 187729 WITH SCORE 188557.832
AT ITER 1333 NEW BEST:: SOT 1393003 SOS 828695 HAS SOPS 825648 HAS SOUS 188930 HAS SOUPS 187591 WITH SCORE 188419.695
AT ITER 1334 NEW BEST:: SOT 1394100 SOS 829792 HAS SOPS 826745 HAS SOUS 188872 HAS SOUPS 187533 WITH SCORE 188362.792
AT ITER 1335 NEW BEST:: SOT 1394096 SOS 829788 HAS SOPS 826741 HAS SOUS 188868 HAS SOUPS 187529 WITH SCORE 188358.788
AT ITER 1342 NEW BEST:: SOT 1394059 SOS 829714 HAS SOPS 826667 HAS SOUS 188806 HAS SOUPS 187467 WITH SCORE 188296.714
AT ITER 1361 NEW BEST:: SOT 1399222 SOS 834877 HAS SOPS 831830 HAS SOUS 188736 HAS SOUPS 187397 WITH SCORE 188231.877
AT ITER 1362 NEW BEST:: SOT 1399208 SOS 834870 HAS SOPS 831823 HAS SOUS 188722 HAS SOUPS 187383 WITH SCORE 188217.87
AT ITER 1363 NEW BEST:: SOT 1399221 SOS 834883 HAS SOPS 831804 HAS SOUS 188748 HAS SOUPS 187377 WITH SCORE 188211.883
AT ITER 1368 NEW BEST:: SOT 1399076 SOS 834408 HAS SOPS 831505 HAS SOUS 188436 HAS SOUPS 187065 WITH SCORE 187899.408
AT ITER 1369 NEW BEST:: SOT 1399070 SOS 834342 HAS SOPS 831439 HAS SOUS 188428 HAS SOUPS 187057 WITH SCORE 187891.342
AT ITER 1381 NEW BEST:: SOT 1398964 SOS 834269 HAS SOPS 831366 HAS SOUS 188322 HAS SOUPS 186951 WITH SCORE 187785.269
AT ITER 1386 NEW BEST:: SOT 1398513 SOS 833977 HAS SOPS 831261 HAS SOUS 188065 HAS SOUPS 186694 WITH SCORE 187527.977
AT ITER 1392 NEW BEST:: SOT 1398464 SOS 833928 HAS SOPS 831212 HAS SOUS 188016 HAS SOUPS 186645 WITH SCORE 187478.928
AT ITER 1395 NEW BEST:: SOT 1398410 SOS 833874 HAS SOPS 831158 HAS SOUS 187877 HAS SOUPS 186506 WITH SCORE 187339.874
AT ITER 1412 NEW BEST:: SOT 1398410 SOS 833874 HAS SOPS 831158 HAS SOUS 187864 HAS SOUPS 186493 WITH SCORE 187326.874
AT ITER 1421 NEW BEST:: SOT 1398386 SOS 833826 HAS SOPS 831110 HAS SOUS 187816 HAS SOUPS 186445 WITH SCORE 187278.826
AT ITER 1431 NEW BEST:: SOT 1398331 SOS 833716 HAS SOPS 831000 HAS SOUS 187706 HAS SOUPS 186335 WITH SCORE 187168.716
AT ITER 1435 NEW BEST:: SOT 1398265 SOS 833650 HAS SOPS 831000 HAS SOUS 187574 HAS SOUPS 186269 WITH SCORE 187102.65
AT ITER 1443 NEW BEST:: SOT 1398179 SOS 833564 HAS SOPS 830914 HAS SOUS 187461 HAS SOUPS 186156 WITH SCORE 186989.564
AT ITER 1451 NEW BEST:: SOT 1397439 SOS 832824 HAS SOPS 830174 HAS SOUS 187456 HAS SOUPS 186151 WITH SCORE 186983.824
AT ITER 1452 NEW BEST:: SOT 1397374 SOS 832759 HAS SOPS 830109 HAS SOUS 187358 HAS SOUPS 186053 WITH SCORE 186885.759
AT ITER 1453 NEW BEST:: SOT 1397459 SOS 832762 HAS SOPS 830054 HAS SOUS 187381 HAS SOUPS 186018 WITH SCORE 186850.762
AT ITER 1454 NEW BEST:: SOT 1397440 SOS 832724 HAS SOPS 830016 HAS SOUS 187314 HAS SOUPS 185951 WITH SCORE 186783.724
AT ITER 1487 NEW BEST:: SOT 1397394 SOS 832425 HAS SOPS 829717 HAS SOUS 187245 HAS SOUPS 185882 WITH SCORE 186714.425
AT ITER 1490 NEW BEST:: SOT 1397394 SOS 831885 HAS SOPS 829177 HAS SOUS 187245 HAS SOUPS 185882 WITH SCORE 186713.885
AT ITER 1500 NEW BEST:: SOT 1397406 SOS 831897 HAS SOPS 829189 HAS SOUS 187227 HAS SOUPS 185864 WITH SCORE 186695.897
AT ITER 1524 NEW BEST:: SOT 1397311 SOS 831802 HAS SOPS 829094 HAS SOUS 187102 HAS SOUPS 185739 WITH SCORE 186570.802
AT ITER 1529 NEW BEST:: SOT 1397194 SOS 831685 HAS SOPS 828977 HAS SOUS 186944 HAS SOUPS 185581 WITH SCORE 186412.685
AT ITER 1537 NEW BEST:: SOT 1397194 SOS 831280 HAS SOPS 828572 HAS SOUS 186944 HAS SOUPS 185581 WITH SCORE 186412.28
AT ITER 1543 NEW BEST:: SOT 1397176 SOS 831244 HAS SOPS 828536 HAS SOUS 186918 HAS SOUPS 185555 WITH SCORE 186386.244
AT ITER 1549 NEW BEST:: SOT 1397144 SOS 831212 HAS SOPS 828504 HAS SOUS 186864 HAS SOUPS 185501 WITH SCORE 186332.212
AT ITER 1553 NEW BEST:: SOT 1397105 SOS 831173 HAS SOPS 828465 HAS SOUS 186825 HAS SOUPS 185462 WITH SCORE 186293.173
AT ITER 1555 NEW BEST:: SOT 1397012 SOS 829259 HAS SOPS 826551 HAS SOUS 186731 HAS SOUPS 185368 WITH SCORE 186197.259
AT ITER 1562 NEW BEST:: SOT 1397033 SOS 829280 HAS SOPS 826572 HAS SOUS 186714 HAS SOUPS 185351 WITH SCORE 186180.28
AT ITER 1566 NEW BEST:: SOT 1397031 SOS 829618 HAS SOPS 826910 HAS SOUS 186705 HAS SOUPS 185342 WITH SCORE 186171.618
AT ITER 1579 NEW BEST:: SOT 1396831 SOS 828318 HAS SOPS 825610 HAS SOUS 186405 HAS SOUPS 185042 WITH SCORE 185870.318
AT ITER 1581 NEW BEST:: SOT 1396831 SOS 827579 HAS SOPS 824871 HAS SOUS 186346 HAS SOUPS 184983 WITH SCORE 185810.579
AT ITER 1596 NEW BEST:: SOT 1396926 SOS 827674 HAS SOPS 824837 HAS SOUS 186435 HAS SOUPS 184949 WITH SCORE 185776.674
AT ITER 1597 NEW BEST:: SOT 1395106 SOS 825854 HAS SOPS 823017 HAS SOUS 186435 HAS SOUPS 184949 WITH SCORE 185774.854
AT ITER 1601 NEW BEST:: SOT 1395065 SOS 825813 HAS SOPS 822976 HAS SOUS 186353 HAS SOUPS 184867 WITH SCORE 185692.813
AT ITER 1613 NEW BEST:: SOT 1394721 SOS 823082 HAS SOPS 820245 HAS SOUS 185841 HAS SOUPS 184355 WITH SCORE 185178.082
AT ITER 1629 NEW BEST:: SOT 1394703 SOS 823064 HAS SOPS 820227 HAS SOUS 185822 HAS SOUPS 184336 WITH SCORE 185159.064
AT ITER 1644 NEW BEST:: SOT 1394698 SOS 823059 HAS SOPS 820222 HAS SOUS 185817 HAS SOUPS 184331 WITH SCORE 185154.059
AT ITER 1663 NEW BEST:: SOT 1394651 SOS 823012 HAS SOPS 820175 HAS SOUS 185709 HAS SOUPS 184223 WITH SCORE 185046.012
AT ITER 1673 NEW BEST:: SOT 1394638 SOS 822999 HAS SOPS 820162 HAS SOUS 185673 HAS SOUPS 184187 WITH SCORE 185009.999
AT ITER 1688 NEW BEST:: SOT 1394593 SOS 822954 HAS SOPS 820117 HAS SOUS 185565 HAS SOUPS 184079 WITH SCORE 184901.954
AT ITER 1692 NEW BEST:: SOT 1394593 SOS 822567 HAS SOPS 819730 HAS SOUS 185565 HAS SOUPS 184079 WITH SCORE 184901.567
AT ITER 1710 NEW BEST:: SOT 1394577 SOS 822535 HAS SOPS 819698 HAS SOUS 185549 HAS SOUPS 184063 WITH SCORE 184885.535
AT ITER 1713 NEW BEST:: SOT 1396625 SOS 824583 HAS SOPS 821746 HAS SOUS 185497 HAS SOUPS 184011 WITH SCORE 184835.583
AT ITER 1718 NEW BEST:: SOT 1396577 SOS 824487 HAS SOPS 821650 HAS SOUS 185463 HAS SOUPS 183977 WITH SCORE 184801.487
AT ITER 1719 NEW BEST:: SOT 1396574 SOS 824481 HAS SOPS 821644 HAS SOUS 185457 HAS SOUPS 183971 WITH SCORE 184795.481
AT ITER 1761 NEW BEST:: SOT 1396524 SOS 824431 HAS SOPS 821594 HAS SOUS 185357 HAS SOUPS 183871 WITH SCORE 184695.431
AT ITER 1772 NEW BEST:: SOT 1396964 SOS 824871 HAS SOPS 822034 HAS SOUS 185335 HAS SOUPS 183849 WITH SCORE 184673.871
AT ITER 1781 NEW BEST:: SOT 1396964 SOS 824841 HAS SOPS 822004 HAS SOUS 185335 HAS SOUPS 183849 WITH SCORE 184673.841
AT ITER 1802 NEW BEST:: SOT 1397093 SOS 824339 HAS SOPS 821502 HAS SOUS 185276 HAS SOUPS 183790 WITH SCORE 184614.339
AT ITER 1808 NEW BEST:: SOT 1397066 SOS 824132 HAS SOPS 821295 HAS SOUS 185232 HAS SOUPS 183746 WITH SCORE 184570.132
AT ITER 1809 NEW BEST:: SOT 1396997 SOS 823994 HAS SOPS 821157 HAS SOUS 185094 HAS SOUPS 183608 WITH SCORE 184431.994
AT ITER 1820 NEW BEST:: SOT 1397671 SOS 824668 HAS SOPS 821831 HAS SOUS 185040 HAS SOUPS 183554 WITH SCORE 184378.668
AT ITER 1822 NEW BEST:: SOT 1397545 SOS 824530 HAS SOPS 821693 HAS SOUS 185034 HAS SOUPS 183548 WITH SCORE 184372.53
AT ITER 1831 NEW BEST:: SOT 1397528 SOS 824496 HAS SOPS 821659 HAS SOUS 185005 HAS SOUPS 183519 WITH SCORE 184343.496
AT ITER 1832 NEW BEST:: SOT 1397542 SOS 822513 HAS SOPS 819861 HAS SOUS 184649 HAS SOUPS 183348 WITH SCORE 184170.513
AT ITER 1834 NEW BEST:: SOT 1397528 SOS 822485 HAS SOPS 819833 HAS SOUS 184635 HAS SOUPS 183334 WITH SCORE 184156.485
AT ITER 1838 NEW BEST:: SOT 1397771 SOS 822758 HAS SOPS 820106 HAS SOUS 184248 HAS SOUPS 182947 WITH SCORE 183769.758
AT ITER 1842 NEW BEST:: SOT 1397699 SOS 822686 HAS SOPS 820034 HAS SOUS 184176 HAS SOUPS 182875 WITH SCORE 183697.686
AT ITER 1844 NEW BEST:: SOT 1397691 SOS 822344 HAS SOPS 819692 HAS SOUS 184118 HAS SOUPS 182817 WITH SCORE 183639.344
AT ITER 1873 NEW BEST:: SOT 1397565 SOS 822092 HAS SOPS 819440 HAS SOUS 184053 HAS SOUPS 182752 WITH SCORE 183574.092
AT ITER 1882 NEW BEST:: SOT 1397535 SOS 822032 HAS SOPS 819380 HAS SOUS 183993 HAS SOUPS 182692 WITH SCORE 183514.032
AT ITER 1883 NEW BEST:: SOT 1397389 SOS 819967 HAS SOPS 817315 HAS SOUS 183857 HAS SOUPS 182556 WITH SCORE 183375.967
AT ITER 1886 NEW BEST:: SOT 1397362 SOS 819940 HAS SOPS 817288 HAS SOUS 183803 HAS SOUPS 182502 WITH SCORE 183321.94
AT ITER 1893 NEW BEST:: SOT 1397335 SOS 819886 HAS SOPS 817234 HAS SOUS 183749 HAS SOUPS 182448 WITH SCORE 183267.886
AT ITER 1902 NEW BEST:: SOT 1396695 SOS 819246 HAS SOPS 816594 HAS SOUS 183739 HAS SOUPS 182438 WITH SCORE 183257.246
AT ITER 1932 NEW BEST:: SOT 1396627 SOS 820001 HAS SOPS 817349 HAS SOUS 183671 HAS SOUPS 182370 WITH SCORE 183190.001
AT ITER 1940 NEW BEST:: SOT 1396587 SOS 819669 HAS SOPS 817017 HAS SOUS 183619 HAS SOUPS 182318 WITH SCORE 183137.669
AT ITER 1945 NEW BEST:: SOT 1396484 SOS 819432 HAS SOPS 816780 HAS SOUS 183442 HAS SOUPS 182141 WITH SCORE 182960.432
AT ITER 1947 NEW BEST:: SOT 1396471 SOS 818461 HAS SOPS 815809 HAS SOUS 183429 HAS SOUPS 182128 WITH SCORE 182946.461
AT ITER 1954 NEW BEST:: SOT 1396460 SOS 818340 HAS SOPS 815688 HAS SOUS 183418 HAS SOUPS 182117 WITH SCORE 182935.34
AT ITER 1960 NEW BEST:: SOT 1396344 SOS 818224 HAS SOPS 815572 HAS SOUS 183279 HAS SOUPS 181978 WITH SCORE 182796.224
AT ITER 1973 NEW BEST:: SOT 1396317 SOS 818101 HAS SOPS 815449 HAS SOUS 183222 HAS SOUPS 181921 WITH SCORE 182739.101
AT ITER 1980 NEW BEST:: SOT 1396301 SOS 818085 HAS SOPS 815433 HAS SOUS 183190 HAS SOUPS 181889 WITH SCORE 182707.085
AT ITER 1986 NEW BEST:: SOT 1396245 SOS 818029 HAS SOPS 815377 HAS SOUS 183134 HAS SOUPS 181833 WITH SCORE 182651.029
AT ITER 1989 NEW BEST:: SOT 1396202 SOS 817986 HAS SOPS 815334 HAS SOUS 183070 HAS SOUPS 181769 WITH SCORE 182586.986
AT ITER 2003 NEW BEST:: SOT 1396194 SOS 817978 HAS SOPS 815326 HAS SOUS 183031 HAS SOUPS 181730 WITH SCORE 182547.978
AT ITER 2004 NEW BEST:: SOT 1396181 SOS 817965 HAS SOPS 815313 HAS SOUS 182935 HAS SOUPS 181634 WITH SCORE 182451.965
AT ITER 2007 NEW BEST:: SOT 1396292 SOS 818032 HAS SOPS 815380 HAS SOUS 182906 HAS SOUPS 181605 WITH SCORE 182423.032
AT ITER 2016 NEW BEST:: SOT 1396292 SOS 818032 HAS SOPS 815229 HAS SOUS 182783 HAS SOUPS 181454 WITH SCORE 182272.032
AT ITER 2026 NEW BEST:: SOT 1394652 SOS 814880 HAS SOPS 812159 HAS SOUS 182701 HAS SOUPS 181454 WITH SCORE 182268.88
AT ITER 2042 NEW BEST:: SOT 1394505 SOS 814684 HAS SOPS 811963 HAS SOUS 182554 HAS SOUPS 181307 WITH SCORE 182121.684
AT ITER 2051 NEW BEST:: SOT 1394476 SOS 814655 HAS SOPS 811934 HAS SOUS 182493 HAS SOUPS 181246 WITH SCORE 182060.655
AT ITER 2062 NEW BEST:: SOT 1394378 SOS 814557 HAS SOPS 811836 HAS SOUS 182297 HAS SOUPS 181050 WITH SCORE 181864.557
AT ITER 2073 NEW BEST:: SOT 1394370 SOS 814541 HAS SOPS 811820 HAS SOUS 182281 HAS SOUPS 181034 WITH SCORE 181848.541
AT ITER 2075 NEW BEST:: SOT 1394292 SOS 814463 HAS SOPS 811742 HAS SOUS 182092 HAS SOUPS 180845 WITH SCORE 181659.463
AT ITER 2076 NEW BEST:: SOT 1394112 SOS 814283 HAS SOPS 811562 HAS SOUS 181887 HAS SOUPS 180640 WITH SCORE 181454.283
AT ITER 2100 NEW BEST:: SOT 1394091 SOS 814262 HAS SOPS 811541 HAS SOUS 181845 HAS SOUPS 180598 WITH SCORE 181412.262
AT ITER 2146 NEW BEST:: SOT 1394049 SOS 814220 HAS SOPS 811499 HAS SOUS 181843 HAS SOUPS 180596 WITH SCORE 181410.22
AT ITER 2167 NEW BEST:: SOT 1394071 SOS 814210 HAS SOPS 811489 HAS SOUS 181842 HAS SOUPS 180595 WITH SCORE 181409.21
AT ITER 2168 NEW BEST:: SOT 1394071 SOS 813445 HAS SOPS 810724 HAS SOUS 181842 HAS SOUPS 180595 WITH SCORE 181408.445
AT ITER 2182 NEW BEST:: SOT 1394071 SOS 813355 HAS SOPS 810634 HAS SOUS 181842 HAS SOUPS 180595 WITH SCORE 181408.355
AT ITER 2183 NEW BEST:: SOT 1394053 SOS 813337 HAS SOPS 810616 HAS SOUS 181806 HAS SOUPS 180559 WITH SCORE 181372.337
AT ITER 2192 NEW BEST:: SOT 1394043 SOS 813327 HAS SOPS 810606 HAS SOUS 181786 HAS SOUPS 180539 WITH SCORE 181352.327
AT ITER 2195 NEW BEST:: SOT 1394070 SOS 813354 HAS SOPS 810570 HAS SOUS 181840 HAS SOUPS 180530 WITH SCORE 181343.354
AT ITER 2215 NEW BEST:: SOT 1394082 SOS 813366 HAS SOPS 810582 HAS SOUS 181824 HAS SOUPS 180514 WITH SCORE 181327.366
AT ITER 2217 NEW BEST:: SOT 1394020 SOS 813242 HAS SOPS 810458 HAS SOUS 181751 HAS SOUPS 180441 WITH SCORE 181254.242
AT ITER 2221 NEW BEST:: SOT 1393880 SOS 811774 HAS SOPS 808990 HAS SOUS 181603 HAS SOUPS 180293 WITH SCORE 181104.774
AT ITER 2232 NEW BEST:: SOT 1393861 SOS 811313 HAS SOPS 808529 HAS SOUS 181584 HAS SOUPS 180274 WITH SCORE 181085.313
AT ITER 2278 NEW BEST:: SOT 1393837 SOS 811049 HAS SOPS 808265 HAS SOUS 181560 HAS SOUPS 180250 WITH SCORE 181061.049
AT ITER 2315 NEW BEST:: SOT 1393979 SOS 810826 HAS SOPS 807745 HAS SOUS 181542 HAS SOUPS 180232 WITH SCORE 181042.826
AT ITER 2323 NEW BEST:: SOT 1393921 SOS 809918 HAS SOPS 806837 HAS SOUS 181484 HAS SOUPS 180174 WITH SCORE 180983.918
AT ITER 2361 NEW BEST:: SOT 1393878 SOS 809832 HAS SOPS 806751 HAS SOUS 181433 HAS SOUPS 180123 WITH SCORE 180932.832
AT ITER 2377 NEW BEST:: SOT 1393872 SOS 807463 HAS SOPS 804382 HAS SOUS 181340 HAS SOUPS 180030 WITH SCORE 180837.463
AT ITER 2383 NEW BEST:: SOT 1393221 SOS 806810 HAS SOPS 803729 HAS SOUS 181309 HAS SOUPS 179999 WITH SCORE 180805.81
AT ITER 2389 NEW BEST:: SOT 1393205 SOS 806778 HAS SOPS 803697 HAS SOUS 181277 HAS SOUPS 179967 WITH SCORE 180773.778
AT ITER 2418 NEW BEST:: SOT 1393198 SOS 806881 HAS SOPS 803800 HAS SOUS 181270 HAS SOUPS 179960 WITH SCORE 180766.881
AT ITER 2420 NEW BEST:: SOT 1393172 SOS 806829 HAS SOPS 803748 HAS SOUS 181246 HAS SOUPS 179936 WITH SCORE 180742.829
AT ITER 2428 NEW BEST:: SOT 1393102 SOS 808954 HAS SOPS 805873 HAS SOUS 181233 HAS SOUPS 179923 WITH SCORE 180731.954
AT ITER 2436 NEW BEST:: SOT 1393076 SOS 808694 HAS SOPS 805613 HAS SOUS 181233 HAS SOUPS 179923 WITH SCORE 180731.694
AT ITER 2446 NEW BEST:: SOT 1393053 SOS 808671 HAS SOPS 805590 HAS SOUS 181205 HAS SOUPS 179895 WITH SCORE 180703.671
AT ITER 2451 NEW BEST:: SOT 1393050 SOS 808148 HAS SOPS 805067 HAS SOUS 181137 HAS SOUPS 179827 WITH SCORE 180635.148
AT ITER 2452 NEW BEST:: SOT 1391055 SOS 804641 HAS SOPS 801560 HAS SOUS 181102 HAS SOUPS 179792 WITH SCORE 180596.641
AT ITER 2463 NEW BEST:: SOT 1391055 SOS 804641 HAS SOPS 801560 HAS SOUS 181089 HAS SOUPS 179779 WITH SCORE 180583.641
AT ITER 2470 NEW BEST:: SOT 1390874 SOS 804397 HAS SOPS 801434 HAS SOUS 180908 HAS SOUPS 179598 WITH SCORE 180402.397
AT ITER 2485 NEW BEST:: SOT 1390519 SOS 804132 HAS SOPS 801415 HAS SOUS 180502 HAS SOUPS 179438 WITH SCORE 180242.132
AT ITER 2499 NEW BEST:: SOT 1390502 SOS 804098 HAS SOPS 801381 HAS SOUS 180468 HAS SOUPS 179404 WITH SCORE 180208.098
AT ITER 2503 NEW BEST:: SOT 1390479 SOS 804075 HAS SOPS 801358 HAS SOUS 180422 HAS SOUPS 179358 WITH SCORE 180162.075
AT ITER 2518 NEW BEST:: SOT 1390434 SOS 803220 HAS SOPS 800503 HAS SOUS 180417 HAS SOUPS 179353 WITH SCORE 180156.22
AT ITER 2528 NEW BEST:: SOT 1390434 SOS 803220 HAS SOPS 800503 HAS SOUS 180375 HAS SOUPS 179311 WITH SCORE 180114.22
AT ITER 2532 NEW BEST:: SOT 1390425 SOS 803211 HAS SOPS 800494 HAS SOUS 180357 HAS SOUPS 179293 WITH SCORE 180096.211
AT ITER 2540 NEW BEST:: SOT 1390393 SOS 803099 HAS SOPS 800382 HAS SOUS 180345 HAS SOUPS 179281 WITH SCORE 180084.099
AT ITER 2543 NEW BEST:: SOT 1390356 SOS 803025 HAS SOPS 800308 HAS SOUS 180308 HAS SOUPS 179244 WITH SCORE 180047.025
AT ITER 2550 NEW BEST:: SOT 1390281 SOS 802209 HAS SOPS 799492 HAS SOUS 180232 HAS SOUPS 179168 WITH SCORE 179970.209
AT ITER 2566 NEW BEST:: SOT 1390194 SOS 802035 HAS SOPS 799318 HAS SOUS 180151 HAS SOUPS 179087 WITH SCORE 179889.035
AT ITER 2576 NEW BEST:: SOT 1389394 SOS 801235 HAS SOPS 798518 HAS SOUS 180107 HAS SOUPS 179043 WITH SCORE 179844.235
AT ITER 2589 NEW BEST:: SOT 1389385 SOS 801226 HAS SOPS 798509 HAS SOUS 180089 HAS SOUPS 179025 WITH SCORE 179826.226
AT ITER 2592 NEW BEST:: SOT 1389294 SOS 800207 HAS SOPS 797490 HAS SOUS 180000 HAS SOUPS 178936 WITH SCORE 179736.207
AT ITER 2593 NEW BEST:: SOT 1389291 SOS 800204 HAS SOPS 797487 HAS SOUS 179997 HAS SOUPS 178933 WITH SCORE 179733.204
AT ITER 2602 NEW BEST:: SOT 1389091 SOS 797905 HAS SOPS 795188 HAS SOUS 179701 HAS SOUPS 178637 WITH SCORE 179434.905
AT ITER 2617 NEW BEST:: SOT 1389181 SOS 798006 HAS SOPS 795289 HAS SOUS 179639 HAS SOUPS 178575 WITH SCORE 179373.006
AT ITER 2635 NEW BEST:: SOT 1393279 SOS 802104 HAS SOPS 799387 HAS SOUS 179350 HAS SOUPS 178286 WITH SCORE 179088.104
AT ITER 2638 NEW BEST:: SOT 1393276 SOS 802101 HAS SOPS 799384 HAS SOUS 179347 HAS SOUPS 178283 WITH SCORE 179085.101
AT ITER 2641 NEW BEST:: SOT 1393156 SOS 801174 HAS SOPS 798457 HAS SOUS 179320 HAS SOUPS 178256 WITH SCORE 179057.174
AT ITER 2658 NEW BEST:: SOT 1393156 SOS 801165 HAS SOPS 798457 HAS SOUS 179320 HAS SOUPS 178256 WITH SCORE 179057.165
AT ITER 2671 NEW BEST:: SOT 1393715 SOS 801757 HAS SOPS 799049 HAS SOUS 179186 HAS SOUPS 178122 WITH SCORE 178923.757
AT ITER 2672 NEW BEST:: SOT 1393692 SOS 801734 HAS SOPS 799026 HAS SOUS 179140 HAS SOUPS 178076 WITH SCORE 178877.734
AT ITER 2689 NEW BEST:: SOT 1393672 SOS 801694 HAS SOPS 798986 HAS SOUS 179100 HAS SOUPS 178036 WITH SCORE 178837.694
AT ITER 2696 NEW BEST:: SOT 1393672 SOS 801694 HAS SOPS 798956 HAS SOUS 179100 HAS SOUPS 178006 WITH SCORE 178807.694
AT ITER 2699 NEW BEST:: SOT 1394043 SOS 802065 HAS SOPS 799356 HAS SOUS 178862 HAS SOUPS 177768 WITH SCORE 178570.065
AT ITER 2731 NEW BEST:: SOT 1393953 SOS 801039 HAS SOPS 798330 HAS SOUS 178766 HAS SOUPS 177672 WITH SCORE 178473.039
AT ITER 2748 NEW BEST:: SOT 1393983 SOS 797682 HAS SOPS 796125 HAS SOUS 178471 HAS SOUPS 177560 WITH SCORE 178357.682
AT ITER 2777 NEW BEST:: SOT 1393941 SOS 797598 HAS SOPS 796041 HAS SOUS 178429 HAS SOUPS 177518 WITH SCORE 178315.598
AT ITER 2783 NEW BEST:: SOT 1393924 SOS 797411 HAS SOPS 795854 HAS SOUS 178412 HAS SOUPS 177501 WITH SCORE 178298.411
AT ITER 2811 NEW BEST:: SOT 1393924 SOS 797345 HAS SOPS 795788 HAS SOUS 178406 HAS SOUPS 177495 WITH SCORE 178292.345
AT ITER 2825 NEW BEST:: SOT 1393924 SOS 796322 HAS SOPS 794765 HAS SOUS 178313 HAS SOUPS 177402 WITH SCORE 178198.322
AT ITER 2827 NEW BEST:: SOT 1393732 SOS 795938 HAS SOPS 794381 HAS SOUS 178009 HAS SOUPS 177098 WITH SCORE 177893.938
AT ITER 2834 NEW BEST:: SOT 1393663 SOS 795800 HAS SOPS 794243 HAS SOUS 177871 HAS SOUPS 176960 WITH SCORE 177755.8
AT ITER 2835 NEW BEST:: SOT 1393639 SOS 795752 HAS SOPS 794195 HAS SOUS 177847 HAS SOUPS 176936 WITH SCORE 177731.752
AT ITER 2840 NEW BEST:: SOT 1393600 SOS 795713 HAS SOPS 794156 HAS SOUS 177769 HAS SOUPS 176858 WITH SCORE 177653.713
AT ITER 2843 NEW BEST:: SOT 1393576 SOS 795695 HAS SOPS 794132 HAS SOUS 177745 HAS SOUPS 176828 WITH SCORE 177623.695
AT ITER 2844 NEW BEST:: SOT 1393550 SOS 795643 HAS SOPS 794080 HAS SOUS 177723 HAS SOUPS 176806 WITH SCORE 177601.643
AT ITER 2847 NEW BEST:: SOT 1393569 SOS 795662 HAS SOPS 794053 HAS SOUS 177715 HAS SOUPS 176798 WITH SCORE 177593.662
AT ITER 2853 NEW BEST:: SOT 1393569 SOS 795662 HAS SOPS 794053 HAS SOUS 177575 HAS SOUPS 176658 WITH SCORE 177453.662
AT ITER 2857 NEW BEST:: SOT 1393538 SOS 795321 HAS SOPS 793712 HAS SOUS 177544 HAS SOUPS 176627 WITH SCORE 177422.321
AT ITER 2860 NEW BEST:: SOT 1393517 SOS 795279 HAS SOPS 793670 HAS SOUS 177502 HAS SOUPS 176585 WITH SCORE 177380.279
AT ITER 2861 NEW BEST:: SOT 1393486 SOS 795248 HAS SOPS 793639 HAS SOUS 177471 HAS SOUPS 176554 WITH SCORE 177349.248
AT ITER 2866 NEW BEST:: SOT 1393509 SOS 795271 HAS SOPS 793662 HAS SOUS 177470 HAS SOUPS 176553 WITH SCORE 177348.271
AT ITER 2893 NEW BEST:: SOT 1393509 SOS 795271 HAS SOPS 793662 HAS SOUS 177463 HAS SOUPS 176546 WITH SCORE 177341.271
AT ITER 2898 NEW BEST:: SOT 1393465 SOS 794529 HAS SOPS 792920 HAS SOUS 177459 HAS SOUPS 176542 WITH SCORE 177336.529
AT ITER 2899 NEW BEST:: SOT 1393465 SOS 794052 HAS SOPS 792443 HAS SOUS 177459 HAS SOUPS 176542 WITH SCORE 177336.052
AT ITER 2914 NEW BEST:: SOT 1393465 SOS 794052 HAS SOPS 792443 HAS SOUS 177364 HAS SOUPS 176447 WITH SCORE 177241.052
AT ITER 2928 NEW BEST:: SOT 1393457 SOS 794044 HAS SOPS 792435 HAS SOUS 177348 HAS SOUPS 176431 WITH SCORE 177225.044
AT ITER 2938 NEW BEST:: SOT 1393443 SOS 794030 HAS SOPS 792421 HAS SOUS 177340 HAS SOUPS 176423 WITH SCORE 177217.03
AT ITER 2948 NEW BEST:: SOT 1393427 SOS 793998 HAS SOPS 792389 HAS SOUS 177324 HAS SOUPS 176407 WITH SCORE 177200.998
AT ITER 2980 NEW BEST:: SOT 1393427 SOS 793952 HAS SOPS 792343 HAS SOUS 177278 HAS SOUPS 176361 WITH SCORE 177154.952
AT ITER 2986 NEW BEST:: SOT 1393412 SOS 793937 HAS SOPS 792328 HAS SOUS 177262 HAS SOUPS 176345 WITH SCORE 177138.937
AT ITER 2992 NEW BEST:: SOT 1393256 SOS 795587 HAS SOPS 793978 HAS SOUS 176959 HAS SOUPS 176042 WITH SCORE 176837.587
AT ITER 2998 NEW BEST:: SOT 1393128 SOS 792802 HAS SOPS 791193 HAS SOUS 176902 HAS SOUPS 175985 WITH SCORE 176777.802
AT ITER 3013 NEW BEST:: SOT 1393128 SOS 793702 HAS SOPS 792093 HAS SOUS 176894 HAS SOUPS 175977 WITH SCORE 176770.702
AT ITER 3014 NEW BEST:: SOT 1393067 SOS 793580 HAS SOPS 791971 HAS SOUS 176772 HAS SOUPS 175855 WITH SCORE 176648.58
AT ITER 3015 NEW BEST:: SOT 1394844 SOS 795353 HAS SOPS 793744 HAS SOUS 176449 HAS SOUPS 175532 WITH SCORE 176327.353
AT ITER 3019 NEW BEST:: SOT 1394822 SOS 795331 HAS SOPS 793722 HAS SOUS 176392 HAS SOUPS 175475 WITH SCORE 176270.331
AT ITER 3051 NEW BEST:: SOT 1394770 SOS 798529 HAS SOPS 796383 HAS SOUS 176558 HAS SOUPS 175423 WITH SCORE 176221.529
AT ITER 3066 NEW BEST:: SOT 1394751 SOS 798491 HAS SOPS 796345 HAS SOUS 176520 HAS SOUPS 175385 WITH SCORE 176183.491
AT ITER 3068 NEW BEST:: SOT 1394727 SOS 798443 HAS SOPS 796297 HAS SOUS 176496 HAS SOUPS 175361 WITH SCORE 176159.443
AT ITER 3084 NEW BEST:: SOT 1394712 SOS 797648 HAS SOPS 795502 HAS SOUS 176481 HAS SOUPS 175346 WITH SCORE 176143.648
AT ITER 3120 NEW BEST:: SOT 1394711 SOS 797646 HAS SOPS 795500 HAS SOUS 176479 HAS SOUPS 175344 WITH SCORE 176141.646
AT ITER 3121 NEW BEST:: SOT 1394608 SOS 796454 HAS SOPS 794367 HAS SOUS 176376 HAS SOUPS 175241 WITH SCORE 176037.454
AT ITER 3144 NEW BEST:: SOT 1394594 SOS 796426 HAS SOPS 794339 HAS SOUS 176348 HAS SOUPS 175213 WITH SCORE 176009.426
AT ITER 3146 NEW BEST:: SOT 1394536 SOS 796310 HAS SOPS 794223 HAS SOUS 176261 HAS SOUPS 175126 WITH SCORE 175922.31
AT ITER 3159 NEW BEST:: SOT 1394524 SOS 796298 HAS SOPS 794211 HAS SOUS 176237 HAS SOUPS 175102 WITH SCORE 175898.298
AT ITER 3160 NEW BEST:: SOT 1394208 SOS 796032 HAS SOPS 793945 HAS SOUS 175921 HAS SOUPS 174786 WITH SCORE 175582.032
AT ITER 3162 NEW BEST:: SOT 1394208 SOS 794668 HAS SOPS 792623 HAS SOUS 175921 HAS SOUPS 174786 WITH SCORE 175580.668
AT ITER 3168 NEW BEST:: SOT 1394204 SOS 795731 HAS SOPS 793686 HAS SOUS 175913 HAS SOUPS 174778 WITH SCORE 175573.731
AT ITER 3207 NEW BEST:: SOT 1394171 SOS 794459 HAS SOPS 792414 HAS SOUS 175879 HAS SOUPS 174744 WITH SCORE 175538.459
AT ITER 3211 NEW BEST:: SOT 1394284 SOS 794572 HAS SOPS 792527 HAS SOUS 175728 HAS SOUPS 174593 WITH SCORE 175387.572
AT ITER 3223 NEW BEST:: SOT 1394283 SOS 794579 HAS SOPS 792534 HAS SOUS 175727 HAS SOUPS 174592 WITH SCORE 175386.579
AT ITER 3229 NEW BEST:: SOT 1394271 SOS 794555 HAS SOPS 792510 HAS SOUS 175725 HAS SOUPS 174590 WITH SCORE 175384.555
AT ITER 3241 NEW BEST:: SOT 1394268 SOS 794552 HAS SOPS 792507 HAS SOUS 175719 HAS SOUPS 174584 WITH SCORE 175378.552
AT ITER 3253 NEW BEST:: SOT 1394197 SOS 794410 HAS SOPS 792365 HAS SOUS 175648 HAS SOUPS 174513 WITH SCORE 175307.41
AT ITER 3288 NEW BEST:: SOT 1394170 SOS 794095 HAS SOPS 792050 HAS SOUS 175621 HAS SOUPS 174486 WITH SCORE 175280.095
AT ITER 3304 NEW BEST:: SOT 1394087 SOS 794012 HAS SOPS 791967 HAS SOUS 175450 HAS SOUPS 174315 WITH SCORE 175109.012
AT ITER 3325 NEW BEST:: SOT 1393944 SOS 792268 HAS SOPS 790223 HAS SOUS 175304 HAS SOUPS 174169 WITH SCORE 174961.268
AT ITER 3350 NEW BEST:: SOT 1395872 SOS 794196 HAS SOPS 792151 HAS SOUS 175280 HAS SOUPS 174145 WITH SCORE 174939.196
AT ITER 3351 NEW BEST:: SOT 1395907 SOS 794231 HAS SOPS 792109 HAS SOUS 175350 HAS SOUPS 174138 WITH SCORE 174932.231
AT ITER 3352 NEW BEST:: SOT 1395797 SOS 794121 HAS SOPS 791999 HAS SOUS 175130 HAS SOUPS 173918 WITH SCORE 174712.121
AT ITER 3355 NEW BEST:: SOT 1395797 SOS 794104 HAS SOPS 791982 HAS SOUS 175130 HAS SOUPS 173918 WITH SCORE 174712.104
AT ITER 3364 NEW BEST:: SOT 1395773 SOS 794056 HAS SOPS 791934 HAS SOUS 175082 HAS SOUPS 173870 WITH SCORE 174664.056
AT ITER 3366 NEW BEST:: SOT 1395589 SOS 793037 HAS SOPS 790915 HAS SOUS 174910 HAS SOUPS 173698 WITH SCORE 174491.037
AT ITER 3391 NEW BEST:: SOT 1395587 SOS 793035 HAS SOPS 790913 HAS SOUS 174844 HAS SOUPS 173632 WITH SCORE 174425.035
AT ITER 3399 NEW BEST:: SOT 1395587 SOS 793035 HAS SOPS 790907 HAS SOUS 174844 HAS SOUPS 173626 WITH SCORE 174419.035
AT ITER 3422 NEW BEST:: SOT 1395580 SOS 793021 HAS SOPS 790893 HAS SOUS 174757 HAS SOUPS 173539 WITH SCORE 174332.021
AT ITER 3446 NEW BEST:: SOT 1395527 SOS 792968 HAS SOPS 790840 HAS SOUS 174704 HAS SOUPS 173486 WITH SCORE 174278.968
AT ITER 3450 NEW BEST:: SOT 1395513 SOS 792954 HAS SOPS 790826 HAS SOUS 174683 HAS SOUPS 173465 WITH SCORE 174257.954
AT ITER 3462 NEW BEST:: SOT 1395431 SOS 793816 HAS SOPS 791688 HAS SOUS 174539 HAS SOUPS 173321 WITH SCORE 174114.816
AT ITER 3472 NEW BEST:: SOT 1395420 SOS 793794 HAS SOPS 791666 HAS SOUS 174528 HAS SOUPS 173310 WITH SCORE 174103.794
AT ITER 3484 NEW BEST:: SOT 1395359 SOS 793672 HAS SOPS 791544 HAS SOUS 174406 HAS SOUPS 173188 WITH SCORE 173981.672
AT ITER 3488 NEW BEST:: SOT 1395314 SOS 793987 HAS SOPS 791859 HAS SOUS 174361 HAS SOUPS 173143 WITH SCORE 173936.987
AT ITER 3489 NEW BEST:: SOT 1395287 SOS 793933 HAS SOPS 791805 HAS SOUS 174264 HAS SOUPS 173046 WITH SCORE 173839.933
AT ITER 3497 NEW BEST:: SOT 1395289 SOS 793937 HAS SOPS 791809 HAS SOUS 174237 HAS SOUPS 173019 WITH SCORE 173812.937
AT ITER 3521 NEW BEST:: SOT 1395096 SOS 793691 HAS SOPS 791563 HAS SOUS 174100 HAS SOUPS 172882 WITH SCORE 173675.691
AT ITER 3547 NEW BEST:: SOT 1395799 SOS 794394 HAS SOPS 792266 HAS SOUS 173989 HAS SOUPS 172771 WITH SCORE 173565.394
AT ITER 3562 NEW BEST:: SOT 1395796 SOS 794391 HAS SOPS 792263 HAS SOUS 173983 HAS SOUPS 172765 WITH SCORE 173559.391
AT ITER 3569 NEW BEST:: SOT 1395796 SOS 794978 HAS SOPS 792794 HAS SOUS 173924 HAS SOUPS 172706 WITH SCORE 173500.978
AT ITER 3580 NEW BEST:: SOT 1395792 SOS 794970 HAS SOPS 792786 HAS SOUS 173918 HAS SOUPS 172700 WITH SCORE 173494.97
AT ITER 3581 NEW BEST:: SOT 1395780 SOS 794775 HAS SOPS 792591 HAS SOUS 173905 HAS SOUPS 172687 WITH SCORE 173481.775
AT ITER 3585 NEW BEST:: SOT 1395738 SOS 794187 HAS SOPS 792003 HAS SOUS 173863 HAS SOUPS 172645 WITH SCORE 173439.187
AT ITER 3589 NEW BEST:: SOT 1395702 SOS 792981 HAS SOPS 790797 HAS SOUS 173816 HAS SOUPS 172598 WITH SCORE 173390.981
AT ITER 3607 NEW BEST:: SOT 1395670 SOS 792949 HAS SOPS 790765 HAS SOUS 173752 HAS SOUPS 172534 WITH SCORE 173326.949
AT ITER 3612 NEW BEST:: SOT 1395624 SOS 792903 HAS SOPS 790719 HAS SOUS 173724 HAS SOUPS 172506 WITH SCORE 173298.903
AT ITER 3625 NEW BEST:: SOT 1395608 SOS 793015 HAS SOPS 790831 HAS SOUS 173692 HAS SOUPS 172474 WITH SCORE 173267.015
AT ITER 3627 NEW BEST:: SOT 1395590 SOS 793312 HAS SOPS 791128 HAS SOUS 173681 HAS SOUPS 172463 WITH SCORE 173256.312
AT ITER 3644 NEW BEST:: SOT 1395558 SOS 792753 HAS SOPS 790569 HAS SOUS 173672 HAS SOUPS 172454 WITH SCORE 173246.753
AT ITER 3649 NEW BEST:: SOT 1395530 SOS 792725 HAS SOPS 790541 HAS SOUS 173630 HAS SOUPS 172412 WITH SCORE 173204.725
AT ITER 3671 NEW BEST:: SOT 1395497 SOS 792137 HAS SOPS 789953 HAS SOUS 173595 HAS SOUPS 172377 WITH SCORE 173169.137
AT ITER 3698 NEW BEST:: SOT 1395485 SOS 792125 HAS SOPS 789938 HAS SOUS 173580 HAS SOUPS 172362 WITH SCORE 173154.125
AT ITER 3727 NEW BEST:: SOT 1395428 SOS 792011 HAS SOPS 789824 HAS SOUS 173523 HAS SOUPS 172305 WITH SCORE 173097.011
AT ITER 3739 NEW BEST:: SOT 1395291 SOS 792027 HAS SOPS 789840 HAS SOUS 173517 HAS SOUPS 172299 WITH SCORE 173091.027
AT ITER 3761 NEW BEST:: SOT 1395281 SOS 792017 HAS SOPS 789830 HAS SOUS 173500 HAS SOUPS 172282 WITH SCORE 173074.017
AT ITER 3768 NEW BEST:: SOT 1395272 SOS 791999 HAS SOPS 789812 HAS SOUS 173482 HAS SOUPS 172264 WITH SCORE 173055.999
AT ITER 3788 NEW BEST:: SOT 1395231 SOS 791692 HAS SOPS 789505 HAS SOUS 173425 HAS SOUPS 172207 WITH SCORE 172998.692
AT ITER 3807 NEW BEST:: SOT 1395231 SOS 791652 HAS SOPS 789465 HAS SOUS 173385 HAS SOUPS 172167 WITH SCORE 172958.652
AT ITER 3840 NEW BEST:: SOT 1395231 SOS 791652 HAS SOPS 789465 HAS SOUS 173381 HAS SOUPS 172163 WITH SCORE 172954.652
AT ITER 3859 NEW BEST:: SOT 1395218 SOS 791639 HAS SOPS 789452 HAS SOUS 173355 HAS SOUPS 172137 WITH SCORE 172928.639
AT ITER 3870 NEW BEST:: SOT 1395252 SOS 792364 HAS SOPS 790177 HAS SOUS 173350 HAS SOUPS 172132 WITH SCORE 172924.364
AT ITER 3890 NEW BEST:: SOT 1395248 SOS 792320 HAS SOPS 790133 HAS SOUS 173346 HAS SOUPS 172128 WITH SCORE 172920.32
AT ITER 3896 NEW BEST:: SOT 1395248 SOS 792230 HAS SOPS 790043 HAS SOUS 173346 HAS SOUPS 172128 WITH SCORE 172920.23
AT ITER 3899 NEW BEST:: SOT 1395228 SOS 792496 HAS SOPS 790309 HAS SOUS 173326 HAS SOUPS 172108 WITH SCORE 172900.496
AT ITER 3919 NEW BEST:: SOT 1395215 SOS 792483 HAS SOPS 790296 HAS SOUS 173313 HAS SOUPS 172095 WITH SCORE 172887.483
AT ITER 3920 NEW BEST:: SOT 1395213 SOS 792479 HAS SOPS 790292 HAS SOUS 173304 HAS SOUPS 172086 WITH SCORE 172878.479
AT ITER 3926 NEW BEST:: SOT 1395194 SOS 792441 HAS SOPS 790254 HAS SOUS 173290 HAS SOUPS 172072 WITH SCORE 172864.441
AT ITER 3956 NEW BEST:: SOT 1395114 SOS 791020 HAS SOPS 788833 HAS SOUS 172972 HAS SOUPS 171754 WITH SCORE 172545.02
AT ITER 3957 NEW BEST:: SOT 1395151 SOS 791094 HAS SOPS 788907 HAS SOUS 172914 HAS SOUPS 171696 WITH SCORE 172487.094
AT ITER 3959 NEW BEST:: SOT 1395131 SOS 791074 HAS SOPS 788887 HAS SOUS 172894 HAS SOUPS 171676 WITH SCORE 172467.074
AT ITER 3964 NEW BEST:: SOT 1395126 SOS 791199 HAS SOPS 789012 HAS SOUS 172889 HAS SOUPS 171671 WITH SCORE 172462.199
AT ITER 3978 NEW BEST:: SOT 1395146 SOS 791219 HAS SOPS 789032 HAS SOUS 172888 HAS SOUPS 171670 WITH SCORE 172461.219
AT ITER 3996 NEW BEST:: SOT 1395146 SOS 790904 HAS SOPS 788717 HAS SOUS 172888 HAS SOUPS 171670 WITH SCORE 172460.904
AT ITER 4030 NEW BEST:: SOT 1394926 SOS 790684 HAS SOPS 788497 HAS SOUS 172548 HAS SOUPS 171330 WITH SCORE 172120.684
AT ITER 4035 NEW BEST:: SOT 1394926 SOS 790684 HAS SOPS 788497 HAS SOUS 172544 HAS SOUPS 171326 WITH SCORE 172116.684
AT ITER 4051 NEW BEST:: SOT 1394917 SOS 790225 HAS SOPS 788101 HAS SOUS 172514 HAS SOUPS 171317 WITH SCORE 172107.225
AT ITER 4064 NEW BEST:: SOT 1394847 SOS 789842 HAS SOPS 787718 HAS SOUS 172401 HAS SOUPS 171204 WITH SCORE 171993.842
AT ITER 4074 NEW BEST:: SOT 1394811 SOS 789806 HAS SOPS 787682 HAS SOUS 172365 HAS SOUPS 171168 WITH SCORE 171957.806
AT ITER 4091 NEW BEST:: SOT 1394807 SOS 789924 HAS SOPS 787800 HAS SOUS 172361 HAS SOUPS 171164 WITH SCORE 171953.924
AT ITER 4092 NEW BEST:: SOT 1394825 SOS 789942 HAS SOPS 787773 HAS SOUS 172397 HAS SOUPS 171155 WITH SCORE 171944.942
AT ITER 4097 NEW BEST:: SOT 1396179 SOS 791296 HAS SOPS 789127 HAS SOUS 172386 HAS SOUPS 171144 WITH SCORE 171935.296
AT ITER 4101 NEW BEST:: SOT 1396044 SOS 789721 HAS SOPS 787552 HAS SOUS 172196 HAS SOUPS 170954 WITH SCORE 171743.721
AT ITER 4127 NEW BEST:: SOT 1396719 SOS 790396 HAS SOPS 788227 HAS SOUS 172079 HAS SOUPS 170837 WITH SCORE 171627.396
AT ITER 4140 NEW BEST:: SOT 1396688 SOS 790365 HAS SOPS 788196 HAS SOUS 172048 HAS SOUPS 170806 WITH SCORE 171596.365
AT ITER 4165 NEW BEST:: SOT 1396734 SOS 790119 HAS SOPS 787731 HAS SOUS 172192 HAS SOUPS 170731 WITH SCORE 171521.119
AT ITER 4201 NEW BEST:: SOT 1396702 SOS 790087 HAS SOPS 787699 HAS SOUS 172139 HAS SOUPS 170678 WITH SCORE 171468.087
AT ITER 4219 NEW BEST:: SOT 1396606 SOS 789039 HAS SOPS 786651 HAS SOUS 172069 HAS SOUPS 170608 WITH SCORE 171397.039
AT ITER 4241 NEW BEST:: SOT 1396605 SOS 789037 HAS SOPS 786649 HAS SOUS 172067 HAS SOUPS 170606 WITH SCORE 171395.037
AT ITER 4244 NEW BEST:: SOT 1396581 SOS 788989 HAS SOPS 786601 HAS SOUS 172019 HAS SOUPS 170558 WITH SCORE 171346.989
AT ITER 4251 NEW BEST:: SOT 1396510 SOS 788847 HAS SOPS 786459 HAS SOUS 171960 HAS SOUPS 170499 WITH SCORE 171287.847
AT ITER 4275 NEW BEST:: SOT 1396413 SOS 789859 HAS SOPS 787471 HAS SOUS 171878 HAS SOUPS 170417 WITH SCORE 171206.859
AT ITER 4280 NEW BEST:: SOT 1396406 SOS 789845 HAS SOPS 787457 HAS SOUS 171864 HAS SOUPS 170403 WITH SCORE 171192.845
AT ITER 4282 NEW BEST:: SOT 1396355 SOS 789794 HAS SOPS 787406 HAS SOUS 171813 HAS SOUPS 170352 WITH SCORE 171141.794
AT ITER 4294 NEW BEST:: SOT 1396355 SOS 789389 HAS SOPS 787001 HAS SOUS 171813 HAS SOUPS 170352 WITH SCORE 171141.389
AT ITER 4303 NEW BEST:: SOT 1396349 SOS 789383 HAS SOPS 786995 HAS SOUS 171801 HAS SOUPS 170340 WITH SCORE 171129.383
AT ITER 4309 NEW BEST:: SOT 1395109 SOS 788143 HAS SOPS 785755 HAS SOUS 171800 HAS SOUPS 170339 WITH SCORE 171127.143
AT ITER 4328 NEW BEST:: SOT 1395317 SOS 788351 HAS SOPS 785963 HAS SOUS 171756 HAS SOUPS 170295 WITH SCORE 171083.351
AT ITER 4337 NEW BEST:: SOT 1395334 SOS 788368 HAS SOPS 785980 HAS SOUS 171755 HAS SOUPS 170294 WITH SCORE 171082.368
AT ITER 4362 NEW BEST:: SOT 1395295 SOS 787795 HAS SOPS 785407 HAS SOUS 171700 HAS SOUPS 170239 WITH SCORE 171026.795
AT ITER 4366 NEW BEST:: SOT 1395304 SOS 787782 HAS SOPS 785394 HAS SOUS 171687 HAS SOUPS 170226 WITH SCORE 171013.782
AT ITER 4383 NEW BEST:: SOT 1395250 SOS 787728 HAS SOPS 785408 HAS SOUS 171647 HAS SOUPS 170186 WITH SCORE 170973.728
AT ITER 4399 NEW BEST:: SOT 1395250 SOS 788349 HAS SOPS 786029 HAS SOUS 171610 HAS SOUPS 170149 WITH SCORE 170937.349
AT ITER 4411 NEW BEST:: SOT 1395224 SOS 787559 HAS SOPS 785239 HAS SOUS 171584 HAS SOUPS 170123 WITH SCORE 170910.559
AT ITER 4413 NEW BEST:: SOT 1395158 SOS 787493 HAS SOPS 785239 HAS SOUS 171556 HAS SOUPS 170123 WITH SCORE 170910.493
AT ITER 4418 NEW BEST:: SOT 1395087 SOS 787513 HAS SOPS 785262 HAS SOUS 171538 HAS SOUPS 170108 WITH SCORE 170895.513
AT ITER 4426 NEW BEST:: SOT 1395087 SOS 787027 HAS SOPS 784776 HAS SOUS 171538 HAS SOUPS 170108 WITH SCORE 170895.027
AT ITER 4429 NEW BEST:: SOT 1395083 SOS 787023 HAS SOPS 784772 HAS SOUS 171534 HAS SOUPS 170104 WITH SCORE 170891.023
AT ITER 4435 NEW BEST:: SOT 1395080 SOS 787020 HAS SOPS 784769 HAS SOUS 171528 HAS SOUPS 170098 WITH SCORE 170885.02
AT ITER 4456 NEW BEST:: SOT 1395080 SOS 787020 HAS SOPS 784769 HAS SOUS 171518 HAS SOUPS 170088 WITH SCORE 170875.02
AT ITER 4461 NEW BEST:: SOT 1395321 SOS 787261 HAS SOPS 785010 HAS SOUS 171486 HAS SOUPS 170056 WITH SCORE 170843.261
AT ITER 4480 NEW BEST:: SOT 1395305 SOS 787245 HAS SOPS 784994 HAS SOUS 171421 HAS SOUPS 169991 WITH SCORE 170778.245
AT ITER 4492 NEW BEST:: SOT 1395271 SOS 787211 HAS SOPS 784960 HAS SOUS 171353 HAS SOUPS 169923 WITH SCORE 170710.211
AT ITER 4500 NEW BEST:: SOT 1395258 SOS 787041 HAS SOPS 784790 HAS SOUS 171333 HAS SOUPS 169903 WITH SCORE 170690.041
AT ITER 4532 NEW BEST:: SOT 1395293 SOS 787930 HAS SOPS 785679 HAS SOUS 171324 HAS SOUPS 169894 WITH SCORE 170681.93
AT ITER 4540 NEW BEST:: SOT 1395293 SOS 787921 HAS SOPS 785670 HAS SOUS 171324 HAS SOUPS 169894 WITH SCORE 170681.921
AT ITER 4544 NEW BEST:: SOT 1395258 SOS 787886 HAS SOPS 785635 HAS SOUS 171254 HAS SOUPS 169824 WITH SCORE 170611.886
AT ITER 4560 NEW BEST:: SOT 1395231 SOS 787859 HAS SOPS 785608 HAS SOUS 171221 HAS SOUPS 169791 WITH SCORE 170578.859
AT ITER 4569 NEW BEST:: SOT 1395218 SOS 787833 HAS SOPS 785582 HAS SOUS 171195 HAS SOUPS 169765 WITH SCORE 170552.833
AT ITER 4572 NEW BEST:: SOT 1395176 SOS 787791 HAS SOPS 785540 HAS SOUS 171111 HAS SOUPS 169681 WITH SCORE 170468.791
AT ITER 4609 NEW BEST:: SOT 1395167 SOS 787269 HAS SOPS 785018 HAS SOUS 171110 HAS SOUPS 169680 WITH SCORE 170467.269
AT ITER 4615 NEW BEST:: SOT 1395120 SOS 787175 HAS SOPS 784924 HAS SOUS 171016 HAS SOUPS 169586 WITH SCORE 170373.175
AT ITER 4633 NEW BEST:: SOT 1395053 SOS 787108 HAS SOPS 784857 HAS SOUS 170882 HAS SOUPS 169452 WITH SCORE 170239.108
AT ITER 4681 NEW BEST:: SOT 1395026 SOS 787081 HAS SOPS 784830 HAS SOUS 170855 HAS SOUPS 169425 WITH SCORE 170212.081
AT ITER 4701 NEW BEST:: SOT 1395025 SOS 787079 HAS SOPS 784828 HAS SOUS 170853 HAS SOUPS 169423 WITH SCORE 170210.079
AT ITER 4705 NEW BEST:: SOT 1395025 SOS 786969 HAS SOPS 784718 HAS SOUS 170843 HAS SOUPS 169413 WITH SCORE 170199.969
AT ITER 4724 NEW BEST:: SOT 1398178 SOS 790122 HAS SOPS 787871 HAS SOUS 170808 HAS SOUPS 169378 WITH SCORE 170168.122
AT ITER 4731 NEW BEST:: SOT 1398169 SOS 790113 HAS SOPS 787871 HAS SOUS 170799 HAS SOUPS 169369 WITH SCORE 170159.113
AT ITER 4746 NEW BEST:: SOT 1398622 SOS 790566 HAS SOPS 788324 HAS SOUS 170769 HAS SOUPS 169339 WITH SCORE 170129.566
AT ITER 4750 NEW BEST:: SOT 1398609 SOS 790657 HAS SOPS 788415 HAS SOUS 170754 HAS SOUPS 169324 WITH SCORE 170114.657
AT ITER 4751 NEW BEST:: SOT 1398613 SOS 790639 HAS SOPS 788397 HAS SOUS 170731 HAS SOUPS 169301 WITH SCORE 170091.639
AT ITER 4765 NEW BEST:: SOT 1398558 SOS 790045 HAS SOPS 787803 HAS SOUS 170727 HAS SOUPS 169297 WITH SCORE 170087.045
AT ITER 4797 NEW BEST:: SOT 1398537 SOS 790024 HAS SOPS 787782 HAS SOUS 170706 HAS SOUPS 169276 WITH SCORE 170066.024
AT ITER 4813 NEW BEST:: SOT 1398501 SOS 789988 HAS SOPS 787746 HAS SOUS 170634 HAS SOUPS 169204 WITH SCORE 169993.988
AT ITER 4869 NEW BEST:: SOT 1398519 SOS 790024 HAS SOPS 787782 HAS SOUS 170618 HAS SOUPS 169188 WITH SCORE 169978.024
AT ITER 4886 NEW BEST:: SOT 1398515 SOS 790037 HAS SOPS 787795 HAS SOUS 170614 HAS SOUPS 169184 WITH SCORE 169974.037
AT ITER 4913 NEW BEST:: SOT 1398496 SOS 789900 HAS SOPS 787658 HAS SOUS 170587 HAS SOUPS 169157 WITH SCORE 169946.9
AT ITER 4928 NEW BEST:: SOT 1398466 SOS 788106 HAS SOPS 785864 HAS SOUS 170579 HAS SOUPS 169149 WITH SCORE 169937.106
AT ITER 4963 NEW BEST:: SOT 1398419 SOS 788012 HAS SOPS 785770 HAS SOUS 170522 HAS SOUPS 169092 WITH SCORE 169880.012
AT ITER 4985 NEW BEST:: SOT 1398411 SOS 788004 HAS SOPS 785762 HAS SOUS 170506 HAS SOUPS 169076 WITH SCORE 169864.004
AT ITER 4988 NEW BEST:: SOT 1398964 SOS 788595 HAS SOPS 786353 HAS SOUS 170415 HAS SOUPS 168985 WITH SCORE 169773.595
AT ITER 4999 NEW BEST:: SOT 1398940 SOS 788547 HAS SOPS 786305 HAS SOUS 170367 HAS SOUPS 168937 WITH SCORE 169725.547
AT ITER 5006 NEW BEST:: SOT 1398873 SOS 788480 HAS SOPS 786238 HAS SOUS 170233 HAS SOUPS 168803 WITH SCORE 169591.48
AT ITER 5009 NEW BEST:: SOT 1398693 SOS 787310 HAS SOPS 785068 HAS SOUS 169963 HAS SOUPS 168533 WITH SCORE 169320.31
AT ITER 5014 NEW BEST:: SOT 1398681 SOS 787286 HAS SOPS 785044 HAS SOUS 169951 HAS SOUPS 168521 WITH SCORE 169308.286
AT ITER 5036 NEW BEST:: SOT 1398627 SOS 787067 HAS SOPS 784825 HAS SOUS 169914 HAS SOUPS 168484 WITH SCORE 169271.067
AT ITER 5103 NEW BEST:: SOT 1398608 SOS 787029 HAS SOPS 784787 HAS SOUS 169876 HAS SOUPS 168446 WITH SCORE 169233.029
AT ITER 5124 NEW BEST:: SOT 1398539 SOS 785343 HAS SOPS 783101 HAS SOUS 169871 HAS SOUPS 168441 WITH SCORE 169226.343
AT ITER 5134 NEW BEST:: SOT 1398539 SOS 785263 HAS SOPS 783021 HAS SOUS 169871 HAS SOUPS 168441 WITH SCORE 169226.263
AT ITER 5163 NEW BEST:: SOT 1398539 SOS 785263 HAS SOPS 783021 HAS SOUS 169854 HAS SOUPS 168424 WITH SCORE 169209.263
AT ITER 5167 NEW BEST:: SOT 1398539 SOS 785263 HAS SOPS 783021 HAS SOUS 169851 HAS SOUPS 168421 WITH SCORE 169206.263
AT ITER 5176 NEW BEST:: SOT 1398539 SOS 784642 HAS SOPS 782400 HAS SOUS 169851 HAS SOUPS 168421 WITH SCORE 169205.642
AT ITER 5205 NEW BEST:: SOT 1398518 SOS 784621 HAS SOPS 782379 HAS SOUS 169851 HAS SOUPS 168421 WITH SCORE 169205.621
AT ITER 5213 NEW BEST:: SOT 1400787 SOS 786890 HAS SOPS 784648 HAS SOUS 169605 HAS SOUPS 168175 WITH SCORE 168961.89
AT ITER 5215 NEW BEST:: SOT 1400745 SOS 786848 HAS SOPS 784606 HAS SOUS 169510 HAS SOUPS 168080 WITH SCORE 168866.848
AT ITER 5225 NEW BEST:: SOT 1400683 SOS 786786 HAS SOPS 784649 HAS SOUS 169386 HAS SOUPS 168061 WITH SCORE 168847.786
AT ITER 5286 NEW BEST:: SOT 1400667 SOS 786770 HAS SOPS 784633 HAS SOUS 169354 HAS SOUPS 168029 WITH SCORE 168815.77
AT ITER 5304 NEW BEST:: SOT 1399722 SOS 785825 HAS SOPS 783688 HAS SOUS 169354 HAS SOUPS 168029 WITH SCORE 168814.825
AT ITER 5354 NEW BEST:: SOT 1399722 SOS 785573 HAS SOPS 783436 HAS SOUS 169354 HAS SOUPS 168029 WITH SCORE 168814.573
AT ITER 5356 NEW BEST:: SOT 1399556 SOS 784494 HAS SOPS 782357 HAS SOUS 169105 HAS SOUPS 167780 WITH SCORE 168564.494
AT ITER 5415 NEW BEST:: SOT 1399634 SOS 784496 HAS SOPS 782359 HAS SOUS 169061 HAS SOUPS 167736 WITH SCORE 168520.496
AT ITER 5424 NEW BEST:: SOT 1399630 SOS 784492 HAS SOPS 782355 HAS SOUS 169053 HAS SOUPS 167728 WITH SCORE 168512.492
AT ITER 5441 NEW BEST:: SOT 1399622 SOS 784484 HAS SOPS 782347 HAS SOUS 169037 HAS SOUPS 167712 WITH SCORE 168496.484
AT ITER 5447 NEW BEST:: SOT 1399334 SOS 784415 HAS SOPS 782417 HAS SOUS 168772 HAS SOUPS 167586 WITH SCORE 168370.415
AT ITER 5453 NEW BEST:: SOT 1399287 SOS 784368 HAS SOPS 782370 HAS SOUS 168678 HAS SOUPS 167492 WITH SCORE 168276.368
AT ITER 5464 NEW BEST:: SOT 1399298 SOS 784333 HAS SOPS 782335 HAS SOUS 168644 HAS SOUPS 167458 WITH SCORE 168242.333
AT ITER 5479 NEW BEST:: SOT 1399282 SOS 784317 HAS SOPS 782319 HAS SOUS 168622 HAS SOUPS 167436 WITH SCORE 168220.317
AT ITER 5492 NEW BEST:: SOT 1399282 SOS 784425 HAS SOPS 782427 HAS SOUS 168610 HAS SOUPS 167424 WITH SCORE 168208.425
AT ITER 5493 NEW BEST:: SOT 1399165 SOS 786146 HAS SOPS 783671 HAS SOUS 168632 HAS SOUPS 167307 WITH SCORE 168093.146
AT ITER 5515 NEW BEST:: SOT 1399165 SOS 786146 HAS SOPS 783669 HAS SOUS 168632 HAS SOUPS 167305 WITH SCORE 168091.146
AT ITER 5524 NEW BEST:: SOT 1399144 SOS 786104 HAS SOPS 783627 HAS SOUS 168590 HAS SOUPS 167263 WITH SCORE 168049.104
AT ITER 5526 NEW BEST:: SOT 1399144 SOS 786085 HAS SOPS 783608 HAS SOUS 168571 HAS SOUPS 167244 WITH SCORE 168030.085
AT ITER 5556 NEW BEST:: SOT 1399113 SOS 786023 HAS SOPS 783546 HAS SOUS 168490 HAS SOUPS 167163 WITH SCORE 167949.023
AT ITER 5561 NEW BEST:: SOT 1399081 SOS 785959 HAS SOPS 783482 HAS SOUS 168416 HAS SOUPS 167089 WITH SCORE 167874.959
AT ITER 5569 NEW BEST:: SOT 1399081 SOS 785249 HAS SOPS 782772 HAS SOUS 168416 HAS SOUPS 167089 WITH SCORE 167874.249
AT ITER 5571 NEW BEST:: SOT 1399072 SOS 785240 HAS SOPS 782772 HAS SOUS 168398 HAS SOUPS 167080 WITH SCORE 167865.24
AT ITER 5581 NEW BEST:: SOT 1399072 SOS 786176 HAS SOPS 783708 HAS SOUS 168294 HAS SOUPS 166976 WITH SCORE 167762.176
AT ITER 5584 NEW BEST:: SOT 1399034 SOS 786138 HAS SOPS 783670 HAS SOUS 168218 HAS SOUPS 166900 WITH SCORE 167686.138
AT ITER 5591 NEW BEST:: SOT 1398965 SOS 786069 HAS SOPS 783601 HAS SOUS 168135 HAS SOUPS 166817 WITH SCORE 167603.069
AT ITER 5593 NEW BEST:: SOT 1398961 SOS 787309 HAS SOPS 784841 HAS SOUS 168108 HAS SOUPS 166790 WITH SCORE 167577.309
AT ITER 5594 NEW BEST:: SOT 1398930 SOS 787278 HAS SOPS 784810 HAS SOUS 168077 HAS SOUPS 166759 WITH SCORE 167546.278
AT ITER 5619 NEW BEST:: SOT 1398911 SOS 787259 HAS SOPS 784772 HAS SOUS 168078 HAS SOUPS 166721 WITH SCORE 167508.259
AT ITER 5637 NEW BEST:: SOT 1398908 SOS 787253 HAS SOPS 784766 HAS SOUS 168072 HAS SOUPS 166715 WITH SCORE 167502.253
AT ITER 5649 NEW BEST:: SOT 1398860 SOS 787205 HAS SOPS 784718 HAS SOUS 168014 HAS SOUPS 166657 WITH SCORE 167444.205
AT ITER 5675 NEW BEST:: SOT 1398860 SOS 787565 HAS SOPS 785078 HAS SOUS 167974 HAS SOUPS 166617 WITH SCORE 167404.565
AT ITER 5678 NEW BEST:: SOT 1398870 SOS 787387 HAS SOPS 784900 HAS SOUS 167966 HAS SOUPS 166609 WITH SCORE 167396.387
AT ITER 5682 NEW BEST:: SOT 1398847 SOS 787364 HAS SOPS 784877 HAS SOUS 167943 HAS SOUPS 166586 WITH SCORE 167373.364
AT ITER 5729 NEW BEST:: SOT 1401927 SOS 790444 HAS SOPS 787957 HAS SOUS 167728 HAS SOUPS 166371 WITH SCORE 167161.444
AT ITER 5747 NEW BEST:: SOT 1401983 SOS 790409 HAS SOPS 787894 HAS SOUS 167752 HAS SOUPS 166367 WITH SCORE 167157.409
AT ITER 5756 NEW BEST:: SOT 1401966 SOS 790392 HAS SOPS 787877 HAS SOUS 167718 HAS SOUPS 166333 WITH SCORE 167123.392
AT ITER 5794 NEW BEST:: SOT 1401962 SOS 789086 HAS SOPS 786571 HAS SOUS 167680 HAS SOUPS 166295 WITH SCORE 167084.086
AT ITER 5831 NEW BEST:: SOT 1401959 SOS 789080 HAS SOPS 786565 HAS SOUS 167677 HAS SOUPS 166292 WITH SCORE 167081.08
AT ITER 5851 NEW BEST:: SOT 1401933 SOS 789028 HAS SOPS 786513 HAS SOUS 167651 HAS SOUPS 166266 WITH SCORE 167055.028
AT ITER 5860 NEW BEST:: SOT 1401888 SOS 788862 HAS SOPS 786347 HAS SOUS 167610 HAS SOUPS 166225 WITH SCORE 167013.862
AT ITER 5887 NEW BEST:: SOT 1401878 SOS 788742 HAS SOPS 786227 HAS SOUS 167600 HAS SOUPS 166215 WITH SCORE 167003.742
AT ITER 5888 NEW BEST:: SOT 1401843 SOS 788707 HAS SOPS 786192 HAS SOUS 167504 HAS SOUPS 166119 WITH SCORE 166907.707
AT ITER 5922 NEW BEST:: SOT 1401867 SOS 783816 HAS SOPS 782028 HAS SOUS 167098 HAS SOUPS 165977 WITH SCORE 166760.816
AT ITER 5931 NEW BEST:: SOT 1401867 SOS 783663 HAS SOPS 781875 HAS SOUS 167098 HAS SOUPS 165977 WITH SCORE 166760.663
AT ITER 5949 NEW BEST:: SOT 1401806 SOS 783181 HAS SOPS 781393 HAS SOUS 167055 HAS SOUPS 165934 WITH SCORE 166717.181
AT ITER 5966 NEW BEST:: SOT 1401794 SOS 783169 HAS SOPS 781381 HAS SOUS 167043 HAS SOUPS 165922 WITH SCORE 166705.169
AT ITER 5984 NEW BEST:: SOT 1401719 SOS 783107 HAS SOPS 781319 HAS SOUS 166976 HAS SOUPS 165855 WITH SCORE 166638.107
AT ITER 6010 NEW BEST:: SOT 1401683 SOS 783071 HAS SOPS 781283 HAS SOUS 166976 HAS SOUPS 165855 WITH SCORE 166638.071
AT ITER 6026 NEW BEST:: SOT 1401625 SOS 780016 HAS SOPS 778228 HAS SOUS 166778 HAS SOUPS 165657 WITH SCORE 166437.016
AT ITER 6067 NEW BEST:: SOT 1401613 SOS 780235 HAS SOPS 778447 HAS SOUS 166739 HAS SOUPS 165618 WITH SCORE 166398.235
AT ITER 6077 NEW BEST:: SOT 1401588 SOS 780185 HAS SOPS 778397 HAS SOUS 166708 HAS SOUPS 165587 WITH SCORE 166367.185
AT ITER 6089 NEW BEST:: SOT 1401576 SOS 780161 HAS SOPS 778373 HAS SOUS 166694 HAS SOUPS 165573 WITH SCORE 166353.161
AT ITER 6090 NEW BEST:: SOT 1401591 SOS 780172 HAS SOPS 778305 HAS SOUS 166666 HAS SOUPS 165524 WITH SCORE 166304.172
AT ITER 6118 NEW BEST:: SOT 1401504 SOS 780085 HAS SOPS 778218 HAS SOUS 166579 HAS SOUPS 165437 WITH SCORE 166217.085
AT ITER 6135 NEW BEST:: SOT 1401522 SOS 780121 HAS SOPS 778254 HAS SOUS 166536 HAS SOUPS 165394 WITH SCORE 166174.121
AT ITER 6202 NEW BEST:: SOT 1401522 SOS 779869 HAS SOPS 778002 HAS SOUS 166536 HAS SOUPS 165394 WITH SCORE 166173.869
AT ITER 6248 NEW BEST:: SOT 1401522 SOS 779619 HAS SOPS 777752 HAS SOUS 166536 HAS SOUPS 165394 WITH SCORE 166173.619
AT ITER 6263 NEW BEST:: SOT 1401493 SOS 779561 HAS SOPS 777694 HAS SOUS 166485 HAS SOUPS 165343 WITH SCORE 166122.561
AT ITER 6266 NEW BEST:: SOT 1401340 SOS 779255 HAS SOPS 777388 HAS SOUS 166262 HAS SOUPS 165120 WITH SCORE 165899.255
AT ITER 6284 NEW BEST:: SOT 1401267 SOS 778407 HAS SOPS 776540 HAS SOUS 166191 HAS SOUPS 165049 WITH SCORE 165827.407
AT ITER 6295 NEW BEST:: SOT 1401251 SOS 778665 HAS SOPS 776798 HAS SOUS 166159 HAS SOUPS 165017 WITH SCORE 165795.665
AT ITER 6297 NEW BEST:: SOT 1401228 SOS 777299 HAS SOPS 775432 HAS SOUS 166004 HAS SOUPS 164862 WITH SCORE 165639.299
AT ITER 6301 NEW BEST:: SOT 1401220 SOS 777760 HAS SOPS 775893 HAS SOUS 165996 HAS SOUPS 164854 WITH SCORE 165631.76
AT ITER 6332 NEW BEST:: SOT 1401201 SOS 777722 HAS SOPS 775855 HAS SOUS 165977 HAS SOUPS 164835 WITH SCORE 165612.722
AT ITER 6423 NEW BEST:: SOT 1401156 SOS 777677 HAS SOPS 775810 HAS SOUS 165917 HAS SOUPS 164775 WITH SCORE 165552.677
AT ITER 6464 NEW BEST:: SOT 1401131 SOS 778077 HAS SOPS 776210 HAS SOUS 165867 HAS SOUPS 164725 WITH SCORE 165503.077
AT ITER 6470 NEW BEST:: SOT 1401096 SOS 778007 HAS SOPS 776140 HAS SOUS 165810 HAS SOUPS 164668 WITH SCORE 165446.007
AT ITER 6495 NEW BEST:: SOT 1401076 SOS 777967 HAS SOPS 776100 HAS SOUS 165770 HAS SOUPS 164628 WITH SCORE 165405.967
AT ITER 6505 NEW BEST:: SOT 1401070 SOS 777955 HAS SOPS 776088 HAS SOUS 165758 HAS SOUPS 164616 WITH SCORE 165393.955
AT ITER 6547 NEW BEST:: SOT 1401059 SOS 777944 HAS SOPS 776077 HAS SOUS 165747 HAS SOUPS 164605 WITH SCORE 165382.944
AT ITER 6554 NEW BEST:: SOT 1401049 SOS 777934 HAS SOPS 776067 HAS SOUS 165744 HAS SOUPS 164602 WITH SCORE 165379.934
AT ITER 6573 NEW BEST:: SOT 1401040 SOS 777925 HAS SOPS 776058 HAS SOUS 165735 HAS SOUPS 164593 WITH SCORE 165370.925
AT ITER 6625 NEW BEST:: SOT 1401040 SOS 777925 HAS SOPS 776058 HAS SOUS 165714 HAS SOUPS 164572 WITH SCORE 165349.925
AT ITER 6634 NEW BEST:: SOT 1400965 SOS 777775 HAS SOPS 775908 HAS SOUS 165580 HAS SOUPS 164438 WITH SCORE 165215.775
AT ITER 6652 NEW BEST:: SOT 1400966 SOS 777776 HAS SOPS 775909 HAS SOUS 165575 HAS SOUPS 164433 WITH SCORE 165210.776
AT ITER 6656 NEW BEST:: SOT 1400916 SOS 777726 HAS SOPS 775859 HAS SOUS 165535 HAS SOUPS 164393 WITH SCORE 165170.726
AT ITER 6673 NEW BEST:: SOT 1400883 SOS 777693 HAS SOPS 775826 HAS SOUS 165469 HAS SOUPS 164327 WITH SCORE 165104.693
AT ITER 6675 NEW BEST:: SOT 1400843 SOS 777746 HAS SOPS 775879 HAS SOUS 165429 HAS SOUPS 164287 WITH SCORE 165064.746
AT ITER 6691 NEW BEST:: SOT 1400813 SOS 777434 HAS SOPS 775567 HAS SOUS 165397 HAS SOUPS 164255 WITH SCORE 165032.434
AT ITER 6692 NEW BEST:: SOT 1400806 SOS 777420 HAS SOPS 775553 HAS SOUS 165383 HAS SOUPS 164241 WITH SCORE 165018.42
AT ITER 6735 NEW BEST:: SOT 1400761 SOS 776817 HAS SOPS 774950 HAS SOUS 165338 HAS SOUPS 164196 WITH SCORE 164972.817
AT ITER 6755 NEW BEST:: SOT 1400758 SOS 776814 HAS SOPS 774947 HAS SOUS 165335 HAS SOUPS 164193 WITH SCORE 164969.814
AT ITER 6763 NEW BEST:: SOT 1400680 SOS 776736 HAS SOPS 774869 HAS SOUS 165291 HAS SOUPS 164149 WITH SCORE 164925.736
AT ITER 6775 NEW BEST:: SOT 1400587 SOS 776643 HAS SOPS 774776 HAS SOUS 165129 HAS SOUPS 163987 WITH SCORE 164763.643
AT ITER 6824 NEW BEST:: SOT 1400567 SOS 776623 HAS SOPS 774756 HAS SOUS 165089 HAS SOUPS 163947 WITH SCORE 164723.623
AT ITER 6856 NEW BEST:: SOT 1400530 SOS 776531 HAS SOPS 774664 HAS SOUS 165084 HAS SOUPS 163942 WITH SCORE 164718.531
AT ITER 6892 NEW BEST:: SOT 1400522 SOS 776523 HAS SOPS 774656 HAS SOUS 165068 HAS SOUPS 163926 WITH SCORE 164702.523
AT ITER 6908 NEW BEST:: SOT 1400492 SOS 776793 HAS SOPS 774926 HAS SOUS 165038 HAS SOUPS 163896 WITH SCORE 164672.793
AT ITER 6917 NEW BEST:: SOT 1400463 SOS 776764 HAS SOPS 774897 HAS SOUS 165012 HAS SOUPS 163870 WITH SCORE 164646.764
AT ITER 6941 NEW BEST:: SOT 1400346 SOS 776647 HAS SOPS 774780 HAS SOUS 164941 HAS SOUPS 163799 WITH SCORE 164575.647
AT ITER 7009 NEW BEST:: SOT 1400346 SOS 776636 HAS SOPS 774769 HAS SOUS 164855 HAS SOUPS 163713 WITH SCORE 164489.636
AT ITER 7034 NEW BEST:: SOT 1399024 SOS 775314 HAS SOPS 773447 HAS SOUS 164801 HAS SOUPS 163659 WITH SCORE 164434.314
AT ITER 7040 NEW BEST:: SOT 1399024 SOS 775188 HAS SOPS 773321 HAS SOUS 164801 HAS SOUPS 163659 WITH SCORE 164434.188
AT ITER 7139 NEW BEST:: SOT 1399504 SOS 775668 HAS SOPS 773801 HAS SOUS 164753 HAS SOUPS 163611 WITH SCORE 164386.668
AT ITER 7150 NEW BEST:: SOT 1399450 SOS 775560 HAS SOPS 773693 HAS SOUS 164699 HAS SOUPS 163557 WITH SCORE 164332.56
AT ITER 7177 NEW BEST:: SOT 1399450 SOS 775560 HAS SOPS 773693 HAS SOUS 164695 HAS SOUPS 163553 WITH SCORE 164328.56
AT ITER 7214 NEW BEST:: SOT 1399370 SOS 774429 HAS SOPS 772562 HAS SOUS 164679 HAS SOUPS 163537 WITH SCORE 164311.429
AT ITER 7231 NEW BEST:: SOT 1399370 SOS 773970 HAS SOPS 772103 HAS SOUS 164679 HAS SOUPS 163537 WITH SCORE 164310.97
AT ITER 7285 NEW BEST:: SOT 1399372 SOS 773972 HAS SOPS 772105 HAS SOUS 164631 HAS SOUPS 163489 WITH SCORE 164262.972
AT ITER 7286 NEW BEST:: SOT 1399343 SOS 774175 HAS SOPS 772308 HAS SOUS 164602 HAS SOUPS 163460 WITH SCORE 164234.175
AT ITER 7320 NEW BEST:: SOT 1399306 SOS 774138 HAS SOPS 772280 HAS SOUS 164574 HAS SOUPS 163432 WITH SCORE 164206.138
AT ITER 7345 NEW BEST:: SOT 1399361 SOS 774193 HAS SOPS 772335 HAS SOUS 164523 HAS SOUPS 163381 WITH SCORE 164155.193
AT ITER 7351 NEW BEST:: SOT 1399339 SOS 774599 HAS SOPS 772741 HAS SOUS 164501 HAS SOUPS 163359 WITH SCORE 164133.599
AT ITER 7390 NEW BEST:: SOT 1399334 SOS 774481 HAS SOPS 772623 HAS SOUS 164386 HAS SOUPS 163244 WITH SCORE 164018.481
AT ITER 7430 NEW BEST:: SOT 1399348 SOS 774495 HAS SOPS 772637 HAS SOUS 164384 HAS SOUPS 163242 WITH SCORE 164016.495
AT ITER 7465 NEW BEST:: SOT 1399328 SOS 774455 HAS SOPS 772597 HAS SOUS 164344 HAS SOUPS 163202 WITH SCORE 163976.455
AT ITER 7496 NEW BEST:: SOT 1399269 SOS 774396 HAS SOPS 772538 HAS SOUS 164272 HAS SOUPS 163130 WITH SCORE 163904.396
AT ITER 7516 NEW BEST:: SOT 1399223 SOS 774350 HAS SOPS 772492 HAS SOUS 164226 HAS SOUPS 163084 WITH SCORE 163858.35
AT ITER 7562 NEW BEST:: SOT 1399290 SOS 774340 HAS SOPS 772482 HAS SOUS 164216 HAS SOUPS 163074 WITH SCORE 163848.34
AT ITER 7563 NEW BEST:: SOT 1399290 SOS 774619 HAS SOPS 772761 HAS SOUS 164212 HAS SOUPS 163070 WITH SCORE 163844.619
AT ITER 7584 NEW BEST:: SOT 1399276 SOS 774605 HAS SOPS 772747 HAS SOUS 164184 HAS SOUPS 163042 WITH SCORE 163816.605
AT ITER 7594 NEW BEST:: SOT 1399257 SOS 774567 HAS SOPS 772709 HAS SOUS 164146 HAS SOUPS 163004 WITH SCORE 163778.567
AT ITER 7601 NEW BEST:: SOT 1399276 SOS 774586 HAS SOPS 772669 HAS SOUS 164170 HAS SOUPS 162969 WITH SCORE 163743.586
AT ITER 7619 NEW BEST:: SOT 1399269 SOS 774579 HAS SOPS 772662 HAS SOUS 164156 HAS SOUPS 162955 WITH SCORE 163729.579
AT ITER 7626 NEW BEST:: SOT 1399243 SOS 774553 HAS SOPS 772636 HAS SOUS 164104 HAS SOUPS 162903 WITH SCORE 163677.553
AT ITER 7646 NEW BEST:: SOT 1398910 SOS 773869 HAS SOPS 772088 HAS SOUS 163927 HAS SOUPS 162726 WITH SCORE 163499.869
AT ITER 7648 NEW BEST:: SOT 1398763 SOS 773722 HAS SOPS 771941 HAS SOUS 163920 HAS SOUPS 162719 WITH SCORE 163492.722
AT ITER 7649 NEW BEST:: SOT 1398755 SOS 775119 HAS SOPS 773338 HAS SOUS 163912 HAS SOUPS 162711 WITH SCORE 163486.119
AT ITER 7655 NEW BEST:: SOT 1398755 SOS 775119 HAS SOPS 773338 HAS SOUS 163904 HAS SOUPS 162703 WITH SCORE 163478.119
AT ITER 7666 NEW BEST:: SOT 1398437 SOS 774841 HAS SOPS 773060 HAS SOUS 163612 HAS SOUPS 162411 WITH SCORE 163185.841
AT ITER 7698 NEW BEST:: SOT 1398432 SOS 774786 HAS SOPS 773005 HAS SOUS 163607 HAS SOUPS 162406 WITH SCORE 163180.786
AT ITER 7729 NEW BEST:: SOT 1398642 SOS 774238 HAS SOPS 772457 HAS SOUS 163575 HAS SOUPS 162374 WITH SCORE 163148.238
AT ITER 7745 NEW BEST:: SOT 1398629 SOS 774068 HAS SOPS 772287 HAS SOUS 163565 HAS SOUPS 162364 WITH SCORE 163138.068
AT ITER 7748 NEW BEST:: SOT 1398589 SOS 774042 HAS SOPS 772261 HAS SOUS 163564 HAS SOUPS 162363 WITH SCORE 163137.042
AT ITER 7750 NEW BEST:: SOT 1398579 SOS 774032 HAS SOPS 772251 HAS SOUS 163550 HAS SOUPS 162349 WITH SCORE 163123.032
AT ITER 7782 NEW BEST:: SOT 1398579 SOS 773992 HAS SOPS 772211 HAS SOUS 163546 HAS SOUPS 162345 WITH SCORE 163118.992
AT ITER 7835 NEW BEST:: SOT 1398579 SOS 773245 HAS SOPS 771464 HAS SOUS 163546 HAS SOUPS 162345 WITH SCORE 163118.245
AT ITER 7900 NEW BEST:: SOT 1398559 SOS 773283 HAS SOPS 771502 HAS SOUS 163545 HAS SOUPS 162344 WITH SCORE 163117.283
AT ITER 7903 NEW BEST:: SOT 1398556 SOS 773280 HAS SOPS 771499 HAS SOUS 163542 HAS SOUPS 162341 WITH SCORE 163114.28
AT ITER 7909 NEW BEST:: SOT 1398545 SOS 773258 HAS SOPS 771477 HAS SOUS 163531 HAS SOUPS 162330 WITH SCORE 163103.258
AT ITER 7916 NEW BEST:: SOT 1398514 SOS 772908 HAS SOPS 771127 HAS SOUS 163497 HAS SOUPS 162296 WITH SCORE 163068.908
AT ITER 7934 NEW BEST:: SOT 1398435 SOS 772451 HAS SOPS 770670 HAS SOUS 163381 HAS SOUPS 162180 WITH SCORE 162952.451
AT ITER 7953 NEW BEST:: SOT 1398591 SOS 770068 HAS SOPS 768287 HAS SOUS 163379 HAS SOUPS 162178 WITH SCORE 162948.068
AT ITER 7977 NEW BEST:: SOT 1398624 SOS 770101 HAS SOPS 768252 HAS SOUS 163445 HAS SOUPS 162176 WITH SCORE 162946.101
AT ITER 7996 NEW BEST:: SOT 1398616 SOS 769419 HAS SOPS 767570 HAS SOUS 163437 HAS SOUPS 162168 WITH SCORE 162937.419
AT ITER 7997 NEW BEST:: SOT 1398615 SOS 769417 HAS SOPS 767568 HAS SOUS 163436 HAS SOUPS 162167 WITH SCORE 162936.417
AT ITER 8032 NEW BEST:: SOT 1398599 SOS 769369 HAS SOPS 767520 HAS SOUS 163420 HAS SOUPS 162151 WITH SCORE 162920.369
AT ITER 8098 NEW BEST:: SOT 1398581 SOS 769476 HAS SOPS 767627 HAS SOUS 163384 HAS SOUPS 162115 WITH SCORE 162884.476
AT ITER 8139 NEW BEST:: SOT 1398582 SOS 769109 HAS SOPS 767260 HAS SOUS 163382 HAS SOUPS 162113 WITH SCORE 162882.109
AT ITER 8144 NEW BEST:: SOT 1398532 SOS 768866 HAS SOPS 767017 HAS SOUS 163282 HAS SOUPS 162013 WITH SCORE 162781.866
AT ITER 8147 NEW BEST:: SOT 1398528 SOS 768858 HAS SOPS 767009 HAS SOUS 163278 HAS SOUPS 162009 WITH SCORE 162777.858
AT ITER 8158 NEW BEST:: SOT 1398477 SOS 768756 HAS SOPS 766907 HAS SOUS 163187 HAS SOUPS 161918 WITH SCORE 162686.756
AT ITER 8169 NEW BEST:: SOT 1398421 SOS 768700 HAS SOPS 766851 HAS SOUS 163138 HAS SOUPS 161869 WITH SCORE 162637.7
AT ITER 8174 NEW BEST:: SOT 1398421 SOS 767998 HAS SOPS 766149 HAS SOUS 163138 HAS SOUPS 161869 WITH SCORE 162636.998
AT ITER 8194 NEW BEST:: SOT 1398417 SOS 768035 HAS SOPS 766186 HAS SOUS 163131 HAS SOUPS 161862 WITH SCORE 162630.035
AT ITER 8197 NEW BEST:: SOT 1398391 SOS 768009 HAS SOPS 766160 HAS SOUS 163079 HAS SOUPS 161810 WITH SCORE 162578.009
AT ITER 8210 NEW BEST:: SOT 1398391 SOS 767998 HAS SOPS 766149 HAS SOUS 163078 HAS SOUPS 161809 WITH SCORE 162576.998
AT ITER 8234 NEW BEST:: SOT 1398370 SOS 767977 HAS SOPS 766128 HAS SOUS 163057 HAS SOUPS 161788 WITH SCORE 162555.977
AT ITER 8254 NEW BEST:: SOT 1398379 SOS 768083 HAS SOPS 766234 HAS SOUS 163014 HAS SOUPS 161745 WITH SCORE 162513.083
AT ITER 8268 NEW BEST:: SOT 1398348 SOS 768052 HAS SOPS 766203 HAS SOUS 162952 HAS SOUPS 161683 WITH SCORE 162451.052
AT ITER 8274 NEW BEST:: SOT 1398296 SOS 768000 HAS SOPS 766151 HAS SOUS 162848 HAS SOUPS 161579 WITH SCORE 162347.0
AT ITER 8289 NEW BEST:: SOT 1398275 SOS 768534 HAS SOPS 766685 HAS SOUS 162807 HAS SOUPS 161538 WITH SCORE 162306.534
AT ITER 8325 NEW BEST:: SOT 1398884 SOS 769143 HAS SOPS 767294 HAS SOUS 162766 HAS SOUPS 161497 WITH SCORE 162266.143
AT ITER 8344 NEW BEST:: SOT 1398767 SOS 769026 HAS SOPS 767177 HAS SOUS 162721 HAS SOUPS 161452 WITH SCORE 162221.026
AT ITER 8365 NEW BEST:: SOT 1398699 SOS 768958 HAS SOPS 767109 HAS SOUS 162653 HAS SOUPS 161384 WITH SCORE 162152.958
AT ITER 8368 NEW BEST:: SOT 1398689 SOS 768948 HAS SOPS 767099 HAS SOUS 162628 HAS SOUPS 161359 WITH SCORE 162127.948
AT ITER 8414 NEW BEST:: SOT 1398678 SOS 768937 HAS SOPS 767088 HAS SOUS 162606 HAS SOUPS 161337 WITH SCORE 162105.937
AT ITER 8454 NEW BEST:: SOT 1398552 SOS 768811 HAS SOPS 766962 HAS SOUS 162606 HAS SOUPS 161337 WITH SCORE 162105.811
AT ITER 8512 NEW BEST:: SOT 1398552 SOS 768437 HAS SOPS 766588 HAS SOUS 162572 HAS SOUPS 161303 WITH SCORE 162071.437
AT ITER 8529 NEW BEST:: SOT 1398549 SOS 768431 HAS SOPS 766582 HAS SOUS 162569 HAS SOUPS 161300 WITH SCORE 162068.431
AT ITER 8554 NEW BEST:: SOT 1398544 SOS 768466 HAS SOPS 766617 HAS SOUS 162559 HAS SOUPS 161290 WITH SCORE 162058.466
AT ITER 8601 NEW BEST:: SOT 1398557 SOS 768376 HAS SOPS 766527 HAS SOUS 162514 HAS SOUPS 161245 WITH SCORE 162013.376
AT ITER 8614 NEW BEST:: SOT 1398549 SOS 768360 HAS SOPS 766511 HAS SOUS 162506 HAS SOUPS 161237 WITH SCORE 162005.36
AT ITER 8616 NEW BEST:: SOT 1398525 SOS 768336 HAS SOPS 766487 HAS SOUS 162425 HAS SOUPS 161156 WITH SCORE 161924.336
AT ITER 8637 NEW BEST:: SOT 1398525 SOS 768444 HAS SOPS 766595 HAS SOUS 162413 HAS SOUPS 161144 WITH SCORE 161912.444
AT ITER 8650 NEW BEST:: SOT 1398506 SOS 768406 HAS SOPS 766557 HAS SOUS 162394 HAS SOUPS 161125 WITH SCORE 161893.406
AT ITER 8694 NEW BEST:: SOT 1398455 SOS 768319 HAS SOPS 766470 HAS SOUS 162363 HAS SOUPS 161094 WITH SCORE 161862.319
AT ITER 8698 NEW BEST:: SOT 1398465 SOS 768537 HAS SOPS 766688 HAS SOUS 162361 HAS SOUPS 161092 WITH SCORE 161860.537
AT ITER 8703 NEW BEST:: SOT 1398426 SOS 767928 HAS SOPS 766079 HAS SOUS 162322 HAS SOUPS 161053 WITH SCORE 161820.928
AT ITER 8720 NEW BEST:: SOT 1398397 SOS 767899 HAS SOPS 766050 HAS SOUS 162264 HAS SOUPS 160995 WITH SCORE 161762.899
AT ITER 8733 NEW BEST:: SOT 1398305 SOS 767679 HAS SOPS 765830 HAS SOUS 162129 HAS SOUPS 160860 WITH SCORE 161627.679
AT ITER 8758 NEW BEST:: SOT 1398303 SOS 767675 HAS SOPS 765826 HAS SOUS 162127 HAS SOUPS 160858 WITH SCORE 161625.675
AT ITER 8764 NEW BEST:: SOT 1398535 SOS 767907 HAS SOPS 766058 HAS SOUS 162107 HAS SOUPS 160838 WITH SCORE 161605.907
AT ITER 8806 NEW BEST:: SOT 1398524 SOS 767896 HAS SOPS 766047 HAS SOUS 162085 HAS SOUPS 160816 WITH SCORE 161583.896
AT ITER 8893 NEW BEST:: SOT 1398520 SOS 768068 HAS SOPS 766219 HAS SOUS 162081 HAS SOUPS 160812 WITH SCORE 161580.068
AT ITER 8971 NEW BEST:: SOT 1398516 SOS 768064 HAS SOPS 766215 HAS SOUS 162073 HAS SOUPS 160804 WITH SCORE 161572.064
AT ITER 8973 NEW BEST:: SOT 1398516 SOS 767974 HAS SOPS 766125 HAS SOUS 162073 HAS SOUPS 160804 WITH SCORE 161571.974
AT ITER 8987 NEW BEST:: SOT 1398499 SOS 767957 HAS SOPS 766108 HAS SOUS 162039 HAS SOUPS 160770 WITH SCORE 161537.957
AT ITER 9036 NEW BEST:: SOT 1398715 SOS 768173 HAS SOPS 766324 HAS SOUS 161991 HAS SOUPS 160722 WITH SCORE 161490.173
AT ITER 9051 NEW BEST:: SOT 1398394 SOS 767852 HAS SOPS 766003 HAS SOUS 161985 HAS SOUPS 160716 WITH SCORE 161483.852
AT ITER 9063 NEW BEST:: SOT 1398621 SOS 766607 HAS SOPS 764758 HAS SOUS 161868 HAS SOUPS 160599 WITH SCORE 161365.607
AT ITER 9075 NEW BEST:: SOT 1398615 SOS 766604 HAS SOPS 764755 HAS SOUS 161865 HAS SOUPS 160596 WITH SCORE 161362.604
AT ITER 9076 NEW BEST:: SOT 1398599 SOS 766851 HAS SOPS 765002 HAS SOUS 161833 HAS SOUPS 160564 WITH SCORE 161330.851
AT ITER 9080 NEW BEST:: SOT 1398592 SOS 766774 HAS SOPS 764925 HAS SOUS 161826 HAS SOUPS 160557 WITH SCORE 161323.774
AT ITER 9084 NEW BEST:: SOT 1398584 SOS 766766 HAS SOPS 764917 HAS SOUS 161810 HAS SOUPS 160541 WITH SCORE 161307.766
AT ITER 9096 NEW BEST:: SOT 1398568 SOS 766750 HAS SOPS 764926 HAS SOUS 161784 HAS SOUPS 160540 WITH SCORE 161306.75
AT ITER 9097 NEW BEST:: SOT 1398555 SOS 766737 HAS SOPS 764913 HAS SOUS 161771 HAS SOUPS 160527 WITH SCORE 161293.737
AT ITER 9134 NEW BEST:: SOT 1398549 SOS 766725 HAS SOPS 764901 HAS SOUS 161759 HAS SOUPS 160515 WITH SCORE 161281.725
AT ITER 9165 NEW BEST:: SOT 1398549 SOS 766149 HAS SOPS 764325 HAS SOUS 161759 HAS SOUPS 160515 WITH SCORE 161281.149
AT ITER 9182 NEW BEST:: SOT 1398480 SOS 765333 HAS SOPS 763509 HAS SOUS 161693 HAS SOUPS 160449 WITH SCORE 161214.333
AT ITER 9183 NEW BEST:: SOT 1398837 SOS 765690 HAS SOPS 763866 HAS SOUS 161651 HAS SOUPS 160407 WITH SCORE 161172.69
AT ITER 9211 NEW BEST:: SOT 1398811 SOS 766169 HAS SOPS 764345 HAS SOUS 161618 HAS SOUPS 160374 WITH SCORE 161140.169
AT ITER 9266 NEW BEST:: SOT 1398782 SOS 766606 HAS SOPS 764782 HAS SOUS 161589 HAS SOUPS 160345 WITH SCORE 161111.606
AT ITER 9285 NEW BEST:: SOT 1398770 SOS 767113 HAS SOPS 765289 HAS SOUS 161571 HAS SOUPS 160327 WITH SCORE 161094.113
AT ITER 9298 NEW BEST:: SOT 1398719 SOS 767470 HAS SOPS 765646 HAS SOUS 161520 HAS SOUPS 160276 WITH SCORE 161043.47
AT ITER 9331 NEW BEST:: SOT 1398718 SOS 767477 HAS SOPS 765653 HAS SOUS 161518 HAS SOUPS 160274 WITH SCORE 161041.477
AT ITER 9349 NEW BEST:: SOT 1398704 SOS 767463 HAS SOPS 765639 HAS SOUS 161490 HAS SOUPS 160246 WITH SCORE 161013.463
AT ITER 9354 NEW BEST:: SOT 1398687 SOS 767599 HAS SOPS 765775 HAS SOUS 161473 HAS SOUPS 160229 WITH SCORE 160996.599
AT ITER 9385 NEW BEST:: SOT 1398687 SOS 768694 HAS SOPS 766870 HAS SOUS 161395 HAS SOUPS 160151 WITH SCORE 160919.694
AT ITER 9473 NEW BEST:: SOT 1398469 SOS 768272 HAS SOPS 766448 HAS SOUS 161191 HAS SOUPS 159947 WITH SCORE 160715.272
AT ITER 9475 NEW BEST:: SOT 1398444 SOS 768247 HAS SOPS 766423 HAS SOUS 161141 HAS SOUPS 159897 WITH SCORE 160665.247
AT ITER 9477 NEW BEST:: SOT 1398434 SOS 768227 HAS SOPS 766403 HAS SOUS 161111 HAS SOUPS 159867 WITH SCORE 160635.227
AT ITER 9484 NEW BEST:: SOT 1398430 SOS 768183 HAS SOPS 766359 HAS SOUS 161107 HAS SOUPS 159863 WITH SCORE 160631.183
AT ITER 9498 NEW BEST:: SOT 1398430 SOS 768183 HAS SOPS 766359 HAS SOUS 161070 HAS SOUPS 159826 WITH SCORE 160594.183
AT ITER 9538 NEW BEST:: SOT 1398403 SOS 768156 HAS SOPS 766332 HAS SOUS 161016 HAS SOUPS 159772 WITH SCORE 160540.156
AT ITER 9543 NEW BEST:: SOT 1398381 SOS 768134 HAS SOPS 766310 HAS SOUS 160964 HAS SOUPS 159720 WITH SCORE 160488.134
AT ITER 9554 NEW BEST:: SOT 1398223 SOS 767976 HAS SOPS 766152 HAS SOUS 160785 HAS SOUPS 159541 WITH SCORE 160308.976
AT ITER 9602 NEW BEST:: SOT 1398199 SOS 768168 HAS SOPS 766344 HAS SOUS 160754 HAS SOUPS 159510 WITH SCORE 160278.168
AT ITER 9607 NEW BEST:: SOT 1398427 SOS 768396 HAS SOPS 766572 HAS SOUS 160742 HAS SOUPS 159498 WITH SCORE 160266.396
AT ITER 9641 NEW BEST:: SOT 1398427 SOS 768450 HAS SOPS 766626 HAS SOUS 160736 HAS SOUPS 159492 WITH SCORE 160260.45
AT ITER 9656 NEW BEST:: SOT 1398417 SOS 768430 HAS SOPS 766606 HAS SOUS 160718 HAS SOUPS 159474 WITH SCORE 160242.43
AT ITER 9682 NEW BEST:: SOT 1398407 SOS 768365 HAS SOPS 766541 HAS SOUS 160703 HAS SOUPS 159459 WITH SCORE 160227.365
AT ITER 9749 NEW BEST:: SOT 1398395 SOS 768931 HAS SOPS 767107 HAS SOUS 160641 HAS SOUPS 159397 WITH SCORE 160165.931
AT ITER 9765 NEW BEST:: SOT 1398373 SOS 768909 HAS SOPS 767085 HAS SOUS 160597 HAS SOUPS 159353 WITH SCORE 160121.909
AT ITER 9767 NEW BEST:: SOT 1398359 SOS 768895 HAS SOPS 767071 HAS SOUS 160569 HAS SOUPS 159325 WITH SCORE 160093.895
AT ITER 9775 NEW BEST:: SOT 1398341 SOS 768859 HAS SOPS 767035 HAS SOUS 160533 HAS SOUPS 159289 WITH SCORE 160057.859
AT ITER 9805 NEW BEST:: SOT 1398334 SOS 768791 HAS SOPS 766967 HAS SOUS 160525 HAS SOUPS 159281 WITH SCORE 160049.791
AT ITER 9826 NEW BEST:: SOT 1398330 SOS 768787 HAS SOPS 766963 HAS SOUS 160517 HAS SOUPS 159273 WITH SCORE 160041.787
AT ITER 9827 NEW BEST:: SOT 1398323 SOS 768764 HAS SOPS 766940 HAS SOUS 160494 HAS SOUPS 159250 WITH SCORE 160018.764
AT ITER 9835 NEW BEST:: SOT 1399197 SOS 769671 HAS SOPS 767893 HAS SOUS 160389 HAS SOUPS 159191 WITH SCORE 159960.671
AT ITER 9894 NEW BEST:: SOT 1399190 SOS 769664 HAS SOPS 767886 HAS SOUS 160375 HAS SOUPS 159177 WITH SCORE 159946.664
AT ITER 9920 NEW BEST:: SOT 1399185 SOS 769659 HAS SOPS 767881 HAS SOUS 160365 HAS SOUPS 159167 WITH SCORE 159936.659
AT ITER 9921 NEW BEST:: SOT 1399158 SOS 768625 HAS SOPS 766882 HAS SOUS 160338 HAS SOUPS 159140 WITH SCORE 159908.625
AT ITER 9923 NEW BEST:: SOT 1399155 SOS 768622 HAS SOPS 766879 HAS SOUS 160332 HAS SOUPS 159134 WITH SCORE 159902.622
AT ITER 9932 NEW BEST:: SOT 1399155 SOS 768614 HAS SOPS 766871 HAS SOUS 160332 HAS SOUPS 159134 WITH SCORE 159902.614
AT ITER 9940 NEW BEST:: SOT 1399141 SOS 768600 HAS SOPS 766864 HAS SOUS 160318 HAS SOUPS 159127 WITH SCORE 159895.6
AT ITER 9987 NEW BEST:: SOT 1399140 SOS 768599 HAS SOPS 766863 HAS SOUS 160316 HAS SOUPS 159125 WITH SCORE 159893.599
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5476348 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16144584 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="Anderson-PT-11"
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 Anderson-PT-11, 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 r515-tall-167987241900064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-11.tgz
mv Anderson-PT-11 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 '
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 ;