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-167814472000152.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 CloudReconfiguration-PT-319, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.6K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 661K 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 1678229778746

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=CloudReconfiguration-PT-319
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 319
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458368 SOS 744475 HAS SOPS 744475 HAS SOUS 686763 HAS SOUPS 686763 WITH SCORE 687507.475
AT ITER 4 NEW BEST:: SOT 4458172 SOS 743566 HAS SOPS 743566 HAS SOUS 686229 HAS SOUPS 686229 WITH SCORE 686972.566
AT ITER 6 NEW BEST:: SOT 4458028 SOS 743422 HAS SOPS 743422 HAS SOUS 686085 HAS SOUPS 686085 WITH SCORE 686828.422
AT ITER 33 NEW BEST:: SOT 4457867 SOS 743730 HAS SOPS 743730 HAS SOUS 686050 HAS SOUPS 686050 WITH SCORE 686793.73
AT ITER 93 NEW BEST:: SOT 4457812 SOS 743461 HAS SOPS 743461 HAS SOUS 685854 HAS SOUPS 685854 WITH SCORE 686597.461
AT ITER 103 NEW BEST:: SOT 4457576 SOS 743172 HAS SOPS 743172 HAS SOUS 685435 HAS SOUPS 685435 WITH SCORE 686178.172
AT ITER 110 NEW BEST:: SOT 4457378 SOS 742974 HAS SOPS 742974 HAS SOUS 685237 HAS SOUPS 685237 WITH SCORE 685979.974
AT ITER 113 NEW BEST:: SOT 4457356 SOS 742930 HAS SOPS 742930 HAS SOUS 685193 HAS SOUPS 685193 WITH SCORE 685935.93
AT ITER 122 NEW BEST:: SOT 4457238 SOS 742812 HAS SOPS 742812 HAS SOUS 685192 HAS SOUPS 685192 WITH SCORE 685934.812
AT ITER 126 NEW BEST:: SOT 4457091 SOS 742668 HAS SOPS 742668 HAS SOUS 685048 HAS SOUPS 685048 WITH SCORE 685790.668
AT ITER 147 NEW BEST:: SOT 4456933 SOS 742537 HAS SOPS 742537 HAS SOUS 684917 HAS SOUPS 684917 WITH SCORE 685659.537
AT ITER 154 NEW BEST:: SOT 4456853 SOS 742570 HAS SOPS 742570 HAS SOUS 684894 HAS SOUPS 684894 WITH SCORE 685636.57
AT ITER 183 NEW BEST:: SOT 4456853 SOS 742570 HAS SOPS 742570 HAS SOUS 684893 HAS SOUPS 684893 WITH SCORE 685635.57
AT ITER 184 NEW BEST:: SOT 4456853 SOS 742570 HAS SOPS 742570 HAS SOUS 684690 HAS SOUPS 684690 WITH SCORE 685432.57
AT ITER 187 NEW BEST:: SOT 4456852 SOS 742552 HAS SOPS 742552 HAS SOUS 684673 HAS SOUPS 684673 WITH SCORE 685415.552
AT ITER 188 NEW BEST:: SOT 4456787 SOS 742493 HAS SOPS 742493 HAS SOUS 684613 HAS SOUPS 684613 WITH SCORE 685355.493
AT ITER 195 NEW BEST:: SOT 4456625 SOS 742169 HAS SOPS 742169 HAS SOUS 684289 HAS SOUPS 684289 WITH SCORE 685031.169
AT ITER 222 NEW BEST:: SOT 4456535 SOS 742127 HAS SOPS 742127 HAS SOUS 684218 HAS SOUPS 684218 WITH SCORE 684960.127
AT ITER 225 NEW BEST:: SOT 4456185 SOS 741787 HAS SOPS 741787 HAS SOUS 683878 HAS SOUPS 683878 WITH SCORE 684619.787
AT ITER 227 NEW BEST:: SOT 4456185 SOS 741723 HAS SOPS 741723 HAS SOUS 683814 HAS SOUPS 683814 WITH SCORE 684555.723
AT ITER 230 NEW BEST:: SOT 4456147 SOS 741609 HAS SOPS 741609 HAS SOUS 683700 HAS SOUPS 683700 WITH SCORE 684441.609
AT ITER 256 NEW BEST:: SOT 4454509 SOS 761207 HAS SOPS 761207 HAS SOUS 683344 HAS SOUPS 683344 WITH SCORE 684105.207
AT ITER 272 NEW BEST:: SOT 4454367 SOS 761309 HAS SOPS 761309 HAS SOUS 683306 HAS SOUPS 683306 WITH SCORE 684067.309
AT ITER 332 NEW BEST:: SOT 4454279 SOS 761363 HAS SOPS 761363 HAS SOUS 683218 HAS SOUPS 683218 WITH SCORE 683979.363
AT ITER 342 NEW BEST:: SOT 4454279 SOS 761363 HAS SOPS 761363 HAS SOUS 683145 HAS SOUPS 683145 WITH SCORE 683906.363
AT ITER 349 NEW BEST:: SOT 4453876 SOS 762112 HAS SOPS 762112 HAS SOUS 682899 HAS SOUPS 682899 WITH SCORE 683661.112
AT ITER 361 NEW BEST:: SOT 4453846 SOS 762082 HAS SOPS 762082 HAS SOUS 682839 HAS SOUPS 682839 WITH SCORE 683601.082
AT ITER 365 NEW BEST:: SOT 4453641 SOS 761912 HAS SOPS 761912 HAS SOUS 682633 HAS SOUPS 682633 WITH SCORE 683394.912
AT ITER 381 NEW BEST:: SOT 4453562 SOS 761878 HAS SOPS 761878 HAS SOUS 682533 HAS SOUPS 682533 WITH SCORE 683294.878
AT ITER 383 NEW BEST:: SOT 4453386 SOS 761815 HAS SOPS 761815 HAS SOUS 682357 HAS SOUPS 682357 WITH SCORE 683118.815
AT ITER 384 NEW BEST:: SOT 4453363 SOS 761302 HAS SOPS 761302 HAS SOUS 681954 HAS SOUPS 681954 WITH SCORE 682715.302
AT ITER 397 NEW BEST:: SOT 4453530 SOS 761289 HAS SOPS 761289 HAS SOUS 681858 HAS SOUPS 681858 WITH SCORE 682619.289
AT ITER 417 NEW BEST:: SOT 4453494 SOS 761217 HAS SOPS 761217 HAS SOUS 681822 HAS SOUPS 681822 WITH SCORE 682583.217
AT ITER 435 NEW BEST:: SOT 4453050 SOS 760921 HAS SOPS 760921 HAS SOUS 681378 HAS SOUPS 681378 WITH SCORE 682138.921
AT ITER 437 NEW BEST:: SOT 4452838 SOS 760497 HAS SOPS 760497 HAS SOUS 680954 HAS SOUPS 680954 WITH SCORE 681714.497
AT ITER 444 NEW BEST:: SOT 4452838 SOS 760422 HAS SOPS 760422 HAS SOUS 680953 HAS SOUPS 680953 WITH SCORE 681713.422
AT ITER 446 NEW BEST:: SOT 4452976 SOS 760698 HAS SOPS 760698 HAS SOUS 680864 HAS SOUPS 680864 WITH SCORE 681624.698
AT ITER 469 NEW BEST:: SOT 4452693 SOS 760132 HAS SOPS 760132 HAS SOUS 680298 HAS SOUPS 680298 WITH SCORE 681058.132
AT ITER 470 NEW BEST:: SOT 4452276 SOS 759808 HAS SOPS 759808 HAS SOUS 679917 HAS SOUPS 679917 WITH SCORE 680676.808
AT ITER 472 NEW BEST:: SOT 4452106 SOS 759869 HAS SOPS 759869 HAS SOUS 679827 HAS SOUPS 679827 WITH SCORE 680586.869
AT ITER 475 NEW BEST:: SOT 4452089 SOS 759835 HAS SOPS 759835 HAS SOUS 679793 HAS SOUPS 679793 WITH SCORE 680552.835
AT ITER 525 NEW BEST:: SOT 4452111 SOS 759879 HAS SOPS 759879 HAS SOUS 679744 HAS SOUPS 679744 WITH SCORE 680503.879
AT ITER 527 NEW BEST:: SOT 4447764 SOS 794194 HAS SOPS 794194 HAS SOUS 676895 HAS SOUPS 676895 WITH SCORE 677689.194
AT ITER 575 NEW BEST:: SOT 4447763 SOS 794192 HAS SOPS 794192 HAS SOUS 676893 HAS SOUPS 676893 WITH SCORE 677687.192
AT ITER 583 NEW BEST:: SOT 4447763 SOS 794169 HAS SOPS 794169 HAS SOUS 676870 HAS SOUPS 676870 WITH SCORE 677664.169
AT ITER 602 NEW BEST:: SOT 4447699 SOS 794041 HAS SOPS 794041 HAS SOUS 676742 HAS SOUPS 676742 WITH SCORE 677536.041
AT ITER 603 NEW BEST:: SOT 4447698 SOS 794039 HAS SOPS 794039 HAS SOUS 676740 HAS SOUPS 676740 WITH SCORE 677534.039
AT ITER 605 NEW BEST:: SOT 4447698 SOS 793969 HAS SOPS 793969 HAS SOUS 676670 HAS SOUPS 676670 WITH SCORE 677463.969
AT ITER 614 NEW BEST:: SOT 4447573 SOS 793964 HAS SOPS 793964 HAS SOUS 676525 HAS SOUPS 676525 WITH SCORE 677318.964
AT ITER 630 NEW BEST:: SOT 4447414 SOS 793646 HAS SOPS 793646 HAS SOUS 676241 HAS SOUPS 676241 WITH SCORE 677034.646
AT ITER 646 NEW BEST:: SOT 4447250 SOS 793594 HAS SOPS 793594 HAS SOUS 676096 HAS SOUPS 676096 WITH SCORE 676889.594
AT ITER 647 NEW BEST:: SOT 4447358 SOS 793520 HAS SOPS 793520 HAS SOUS 676033 HAS SOUPS 676033 WITH SCORE 676826.52
AT ITER 670 NEW BEST:: SOT 4447358 SOS 793335 HAS SOPS 793335 HAS SOUS 676032 HAS SOUPS 676032 WITH SCORE 676825.335
AT ITER 678 NEW BEST:: SOT 4447314 SOS 793247 HAS SOPS 793247 HAS SOUS 675780 HAS SOUPS 675780 WITH SCORE 676573.247
AT ITER 681 NEW BEST:: SOT 4447564 SOS 793165 HAS SOPS 793165 HAS SOUS 675585 HAS SOUPS 675585 WITH SCORE 676378.165
AT ITER 688 NEW BEST:: SOT 4447636 SOS 793109 HAS SOPS 793109 HAS SOUS 675529 HAS SOUPS 675529 WITH SCORE 676322.109
AT ITER 697 NEW BEST:: SOT 4447422 SOS 792910 HAS SOPS 792910 HAS SOUS 675323 HAS SOUPS 675323 WITH SCORE 676115.91
AT ITER 702 NEW BEST:: SOT 4447422 SOS 792910 HAS SOPS 792910 HAS SOUS 675318 HAS SOUPS 675318 WITH SCORE 676110.91
AT ITER 704 NEW BEST:: SOT 4447386 SOS 792838 HAS SOPS 792838 HAS SOUS 675274 HAS SOUPS 675274 WITH SCORE 676066.838
AT ITER 710 NEW BEST:: SOT 4447091 SOS 792663 HAS SOPS 792663 HAS SOUS 674979 HAS SOUPS 674979 WITH SCORE 675771.663
AT ITER 739 NEW BEST:: SOT 4447037 SOS 792555 HAS SOPS 792555 HAS SOUS 674979 HAS SOUPS 674979 WITH SCORE 675771.555
AT ITER 743 NEW BEST:: SOT 4443853 SOS 790866 HAS SOPS 790866 HAS SOUS 672130 HAS SOUPS 672130 WITH SCORE 672920.866
AT ITER 754 NEW BEST:: SOT 4443778 SOS 790812 HAS SOPS 790812 HAS SOUS 672066 HAS SOUPS 672066 WITH SCORE 672856.812
AT ITER 756 NEW BEST:: SOT 4443601 SOS 790690 HAS SOPS 790690 HAS SOUS 671712 HAS SOUPS 671712 WITH SCORE 672502.69
AT ITER 780 NEW BEST:: SOT 4443466 SOS 790420 HAS SOPS 790420 HAS SOUS 671368 HAS SOUPS 671368 WITH SCORE 672158.42
AT ITER 799 NEW BEST:: SOT 4443465 SOS 790286 HAS SOPS 790286 HAS SOUS 671234 HAS SOUPS 671234 WITH SCORE 672024.286
AT ITER 800 NEW BEST:: SOT 4443461 SOS 790278 HAS SOPS 790278 HAS SOUS 671230 HAS SOUPS 671230 WITH SCORE 672020.278
AT ITER 801 NEW BEST:: SOT 4442989 SOS 790150 HAS SOPS 790150 HAS SOUS 670758 HAS SOUPS 670758 WITH SCORE 671548.15
AT ITER 809 NEW BEST:: SOT 4442988 SOS 790148 HAS SOPS 790148 HAS SOUS 670756 HAS SOUPS 670756 WITH SCORE 671546.148
AT ITER 814 NEW BEST:: SOT 4442889 SOS 790049 HAS SOPS 790049 HAS SOUS 670657 HAS SOUPS 670657 WITH SCORE 671447.049
AT ITER 825 NEW BEST:: SOT 4442889 SOS 786899 HAS SOPS 786899 HAS SOUS 670657 HAS SOUPS 670657 WITH SCORE 671443.899
AT ITER 839 NEW BEST:: SOT 4442642 SOS 786405 HAS SOPS 786405 HAS SOUS 670163 HAS SOUPS 670163 WITH SCORE 670949.405
AT ITER 845 NEW BEST:: SOT 4442366 SOS 786583 HAS SOPS 786583 HAS SOUS 670040 HAS SOUPS 670040 WITH SCORE 670826.583
AT ITER 859 NEW BEST:: SOT 4442255 SOS 786361 HAS SOPS 786361 HAS SOUS 669818 HAS SOUPS 669818 WITH SCORE 670604.361
AT ITER 900 NEW BEST:: SOT 4442007 SOS 786359 HAS SOPS 786359 HAS SOUS 669816 HAS SOUPS 669816 WITH SCORE 670602.359
AT ITER 937 NEW BEST:: SOT 4442007 SOS 786313 HAS SOPS 786313 HAS SOUS 669816 HAS SOUPS 669816 WITH SCORE 670602.313
AT ITER 966 NEW BEST:: SOT 4442007 SOS 786313 HAS SOPS 786313 HAS SOUS 669815 HAS SOUPS 669815 WITH SCORE 670601.313
AT ITER 968 NEW BEST:: SOT 4441972 SOS 786243 HAS SOPS 786243 HAS SOUS 669780 HAS SOUPS 669780 WITH SCORE 670566.243
AT ITER 971 NEW BEST:: SOT 4441853 SOS 786124 HAS SOPS 786124 HAS SOUS 669780 HAS SOUPS 669780 WITH SCORE 670566.124
AT ITER 1001 NEW BEST:: SOT 4441926 SOS 786086 HAS SOPS 786086 HAS SOUS 669778 HAS SOUPS 669778 WITH SCORE 670564.086
AT ITER 1018 NEW BEST:: SOT 4441692 SOS 785852 HAS SOPS 785852 HAS SOUS 669544 HAS SOUPS 669544 WITH SCORE 670329.852
AT ITER 1035 NEW BEST:: SOT 4441325 SOS 785118 HAS SOPS 785118 HAS SOUS 668810 HAS SOUPS 668810 WITH SCORE 669595.118
AT ITER 1043 NEW BEST:: SOT 4441283 SOS 784992 HAS SOPS 784992 HAS SOUS 668726 HAS SOUPS 668726 WITH SCORE 669510.992
AT ITER 1077 NEW BEST:: SOT 4441292 SOS 784929 HAS SOPS 784929 HAS SOUS 668663 HAS SOUPS 668663 WITH SCORE 669447.929
AT ITER 1156 NEW BEST:: SOT 4441131 SOS 784607 HAS SOPS 784607 HAS SOUS 668341 HAS SOUPS 668341 WITH SCORE 669125.607
AT ITER 1166 NEW BEST:: SOT 4440895 SOS 784135 HAS SOPS 784135 HAS SOUS 667869 HAS SOUPS 667869 WITH SCORE 668653.135
AT ITER 1184 NEW BEST:: SOT 4440895 SOS 784098 HAS SOPS 784098 HAS SOUS 667832 HAS SOUPS 667832 WITH SCORE 668616.098
AT ITER 1207 NEW BEST:: SOT 4440895 SOS 784026 HAS SOPS 784026 HAS SOUS 667830 HAS SOUPS 667830 WITH SCORE 668614.026
AT ITER 1219 NEW BEST:: SOT 4440411 SOS 783576 HAS SOPS 783576 HAS SOUS 667208 HAS SOUPS 667208 WITH SCORE 667991.576
AT ITER 1242 NEW BEST:: SOT 4440380 SOS 783514 HAS SOPS 783514 HAS SOUS 667146 HAS SOUPS 667146 WITH SCORE 667929.514
AT ITER 1277 NEW BEST:: SOT 4440333 SOS 783420 HAS SOPS 783420 HAS SOUS 667052 HAS SOUPS 667052 WITH SCORE 667835.42
AT ITER 1311 NEW BEST:: SOT 4440382 SOS 783518 HAS SOPS 783518 HAS SOUS 666847 HAS SOUPS 666847 WITH SCORE 667630.518
AT ITER 1334 NEW BEST:: SOT 4440381 SOS 783516 HAS SOPS 783516 HAS SOUS 666845 HAS SOUPS 666845 WITH SCORE 667628.516
AT ITER 1348 NEW BEST:: SOT 4440319 SOS 783392 HAS SOPS 783392 HAS SOUS 666721 HAS SOUPS 666721 WITH SCORE 667504.392
AT ITER 1360 NEW BEST:: SOT 4440198 SOS 783383 HAS SOPS 783383 HAS SOUS 666708 HAS SOUPS 666708 WITH SCORE 667491.383
AT ITER 1368 NEW BEST:: SOT 4440171 SOS 783508 HAS SOPS 783508 HAS SOUS 666681 HAS SOUPS 666681 WITH SCORE 667464.508
AT ITER 1375 NEW BEST:: SOT 4439902 SOS 783340 HAS SOPS 783340 HAS SOUS 666486 HAS SOUPS 666486 WITH SCORE 667269.34
AT ITER 1376 NEW BEST:: SOT 4437526 SOS 810424 HAS SOPS 810424 HAS SOUS 664932 HAS SOUPS 664932 WITH SCORE 665742.424
AT ITER 1382 NEW BEST:: SOT 4437433 SOS 810238 HAS SOPS 810238 HAS SOUS 664746 HAS SOUPS 664746 WITH SCORE 665556.238
AT ITER 1393 NEW BEST:: SOT 4437171 SOS 810055 HAS SOPS 810055 HAS SOUS 664523 HAS SOUPS 664523 WITH SCORE 665333.055
AT ITER 1406 NEW BEST:: SOT 4437162 SOS 810037 HAS SOPS 810037 HAS SOUS 664505 HAS SOUPS 664505 WITH SCORE 665315.037
AT ITER 1413 NEW BEST:: SOT 4437114 SOS 809941 HAS SOPS 809941 HAS SOUS 664128 HAS SOUPS 664128 WITH SCORE 664937.941
AT ITER 1426 NEW BEST:: SOT 4437114 SOS 809914 HAS SOPS 809914 HAS SOUS 664101 HAS SOUPS 664101 WITH SCORE 664910.914
AT ITER 1427 NEW BEST:: SOT 4437113 SOS 809912 HAS SOPS 809912 HAS SOUS 664099 HAS SOUPS 664099 WITH SCORE 664908.912
AT ITER 1431 NEW BEST:: SOT 4436868 SOS 809396 HAS SOPS 809396 HAS SOUS 663919 HAS SOUPS 663919 WITH SCORE 664728.396
AT ITER 1452 NEW BEST:: SOT 4436868 SOS 809396 HAS SOPS 809396 HAS SOUS 663729 HAS SOUPS 663729 WITH SCORE 664538.396
AT ITER 1474 NEW BEST:: SOT 4436794 SOS 809048 HAS SOPS 809048 HAS SOUS 663555 HAS SOUPS 663555 WITH SCORE 664364.048
AT ITER 1483 NEW BEST:: SOT 4436761 SOS 809046 HAS SOPS 809046 HAS SOUS 663553 HAS SOUPS 663553 WITH SCORE 664362.046
AT ITER 1484 NEW BEST:: SOT 4436738 SOS 809040 HAS SOPS 809040 HAS SOUS 663530 HAS SOUPS 663530 WITH SCORE 664339.04
AT ITER 1486 NEW BEST:: SOT 4436111 SOS 809046 HAS SOPS 809046 HAS SOUS 663044 HAS SOUPS 663044 WITH SCORE 663853.046
AT ITER 1515 NEW BEST:: SOT 4435918 SOS 808853 HAS SOPS 808853 HAS SOUS 662954 HAS SOUPS 662954 WITH SCORE 663762.853
AT ITER 1525 NEW BEST:: SOT 4435802 SOS 808621 HAS SOPS 808621 HAS SOUS 662601 HAS SOUPS 662601 WITH SCORE 663409.621
AT ITER 1527 NEW BEST:: SOT 4435205 SOS 808415 HAS SOPS 808415 HAS SOUS 662004 HAS SOUPS 662004 WITH SCORE 662812.415
AT ITER 1533 NEW BEST:: SOT 4435177 SOS 809619 HAS SOPS 809619 HAS SOUS 661948 HAS SOUPS 661948 WITH SCORE 662757.619
AT ITER 1608 NEW BEST:: SOT 4435177 SOS 809578 HAS SOPS 809578 HAS SOUS 661948 HAS SOUPS 661948 WITH SCORE 662757.578
AT ITER 1635 NEW BEST:: SOT 4435036 SOS 809582 HAS SOPS 809582 HAS SOUS 661894 HAS SOUPS 661894 WITH SCORE 662703.582
AT ITER 1667 NEW BEST:: SOT 4434362 SOS 809386 HAS SOPS 809386 HAS SOUS 661301 HAS SOUPS 661301 WITH SCORE 662110.386
AT ITER 1686 NEW BEST:: SOT 4434300 SOS 809262 HAS SOPS 809262 HAS SOUS 661177 HAS SOUPS 661177 WITH SCORE 661986.262
AT ITER 1733 NEW BEST:: SOT 4433691 SOS 808829 HAS SOPS 808829 HAS SOUS 660744 HAS SOUPS 660744 WITH SCORE 661552.829
AT ITER 1750 NEW BEST:: SOT 4433051 SOS 807931 HAS SOPS 807931 HAS SOUS 659732 HAS SOUPS 659732 WITH SCORE 660539.931
AT ITER 1760 NEW BEST:: SOT 4432931 SOS 807691 HAS SOPS 807691 HAS SOUS 659370 HAS SOUPS 659370 WITH SCORE 660177.691
AT ITER 1764 NEW BEST:: SOT 4432508 SOS 807413 HAS SOPS 807413 HAS SOUS 658947 HAS SOUPS 658947 WITH SCORE 659754.413
AT ITER 1768 NEW BEST:: SOT 4432470 SOS 807428 HAS SOPS 807428 HAS SOUS 658909 HAS SOUPS 658909 WITH SCORE 659716.428
AT ITER 1769 NEW BEST:: SOT 4432469 SOS 807259 HAS SOPS 807259 HAS SOUS 658907 HAS SOUPS 658907 WITH SCORE 659714.259
AT ITER 1773 NEW BEST:: SOT 4432358 SOS 807347 HAS SOPS 807347 HAS SOUS 658733 HAS SOUPS 658733 WITH SCORE 659540.347
AT ITER 1836 NEW BEST:: SOT 4432244 SOS 807119 HAS SOPS 807119 HAS SOUS 658505 HAS SOUPS 658505 WITH SCORE 659312.119
AT ITER 1841 NEW BEST:: SOT 4432116 SOS 806863 HAS SOPS 806863 HAS SOUS 658249 HAS SOUPS 658249 WITH SCORE 659055.863
AT ITER 1845 NEW BEST:: SOT 4431936 SOS 806799 HAS SOPS 806799 HAS SOUS 658069 HAS SOUPS 658069 WITH SCORE 658875.799
AT ITER 1864 NEW BEST:: SOT 4431845 SOS 806617 HAS SOPS 806617 HAS SOUS 657991 HAS SOUPS 657991 WITH SCORE 658797.617
AT ITER 1877 NEW BEST:: SOT 4431320 SOS 806059 HAS SOPS 806059 HAS SOUS 657466 HAS SOUPS 657466 WITH SCORE 658272.059
AT ITER 1887 NEW BEST:: SOT 4431225 SOS 805869 HAS SOPS 805869 HAS SOUS 657276 HAS SOUPS 657276 WITH SCORE 658081.869
AT ITER 1915 NEW BEST:: SOT 4431223 SOS 805878 HAS SOPS 805878 HAS SOUS 657271 HAS SOUPS 657271 WITH SCORE 658076.878
AT ITER 1943 NEW BEST:: SOT 4431063 SOS 805558 HAS SOPS 805558 HAS SOUS 656951 HAS SOUPS 656951 WITH SCORE 657756.558
AT ITER 1946 NEW BEST:: SOT 4430960 SOS 805352 HAS SOPS 805352 HAS SOUS 656847 HAS SOUPS 656847 WITH SCORE 657652.352
AT ITER 1954 NEW BEST:: SOT 4430877 SOS 805186 HAS SOPS 805186 HAS SOUS 656763 HAS SOUPS 656763 WITH SCORE 657568.186
AT ITER 1961 NEW BEST:: SOT 4430877 SOS 805186 HAS SOPS 805186 HAS SOUS 656503 HAS SOUPS 656503 WITH SCORE 657308.186
AT ITER 1975 NEW BEST:: SOT 4430663 SOS 804758 HAS SOPS 804758 HAS SOUS 656075 HAS SOUPS 656075 WITH SCORE 656879.758
AT ITER 1979 NEW BEST:: SOT 4430570 SOS 804572 HAS SOPS 804572 HAS SOUS 655982 HAS SOUPS 655982 WITH SCORE 656786.572
AT ITER 1993 NEW BEST:: SOT 4430555 SOS 804656 HAS SOPS 804656 HAS SOUS 655967 HAS SOUPS 655967 WITH SCORE 656771.656
AT ITER 2009 NEW BEST:: SOT 4430321 SOS 800252 HAS SOPS 800252 HAS SOUS 655637 HAS SOUPS 655637 WITH SCORE 656437.252
AT ITER 2016 NEW BEST:: SOT 4429819 SOS 802083 HAS SOPS 802083 HAS SOUS 655635 HAS SOUPS 655635 WITH SCORE 656437.083
AT ITER 2040 NEW BEST:: SOT 4429765 SOS 801640 HAS SOPS 801640 HAS SOUS 655527 HAS SOUPS 655527 WITH SCORE 656328.64
AT ITER 2072 NEW BEST:: SOT 4429393 SOS 800896 HAS SOPS 800896 HAS SOUS 655155 HAS SOUPS 655155 WITH SCORE 655955.896
AT ITER 2084 NEW BEST:: SOT 4429196 SOS 800502 HAS SOPS 800502 HAS SOUS 654761 HAS SOUPS 654761 WITH SCORE 655561.502
AT ITER 2086 NEW BEST:: SOT 4429132 SOS 800374 HAS SOPS 800374 HAS SOUS 654632 HAS SOUPS 654632 WITH SCORE 655432.374
AT ITER 2093 NEW BEST:: SOT 4429006 SOS 800122 HAS SOPS 800122 HAS SOUS 654506 HAS SOUPS 654506 WITH SCORE 655306.122
AT ITER 2101 NEW BEST:: SOT 4428972 SOS 800054 HAS SOPS 800054 HAS SOUS 654466 HAS SOUPS 654466 WITH SCORE 655266.054
AT ITER 2151 NEW BEST:: SOT 4428901 SOS 799912 HAS SOPS 799912 HAS SOUS 654395 HAS SOUPS 654395 WITH SCORE 655194.912
AT ITER 2174 NEW BEST:: SOT 4428875 SOS 799860 HAS SOPS 799860 HAS SOUS 654343 HAS SOUPS 654343 WITH SCORE 655142.86
AT ITER 2175 NEW BEST:: SOT 4428875 SOS 799563 HAS SOPS 799563 HAS SOUS 654046 HAS SOUPS 654046 WITH SCORE 654845.563
AT ITER 2180 NEW BEST:: SOT 4428875 SOS 799511 HAS SOPS 799511 HAS SOUS 654046 HAS SOUPS 654046 WITH SCORE 654845.511
AT ITER 2185 NEW BEST:: SOT 4428896 SOS 799469 HAS SOPS 799469 HAS SOUS 654046 HAS SOUPS 654046 WITH SCORE 654845.469
AT ITER 2195 NEW BEST:: SOT 4428734 SOS 799145 HAS SOPS 799145 HAS SOUS 653884 HAS SOUPS 653884 WITH SCORE 654683.145
AT ITER 2197 NEW BEST:: SOT 4428547 SOS 798771 HAS SOPS 798771 HAS SOUS 653510 HAS SOUPS 653510 WITH SCORE 654308.771
AT ITER 2215 NEW BEST:: SOT 4428415 SOS 798639 HAS SOPS 798639 HAS SOUS 653378 HAS SOUPS 653378 WITH SCORE 654176.639
AT ITER 2216 NEW BEST:: SOT 4428276 SOS 798361 HAS SOPS 798361 HAS SOUS 653100 HAS SOUPS 653100 WITH SCORE 653898.361
AT ITER 2218 NEW BEST:: SOT 4428115 SOS 798039 HAS SOPS 798039 HAS SOUS 652939 HAS SOUPS 652939 WITH SCORE 653737.039
AT ITER 2231 NEW BEST:: SOT 4427086 SOS 797010 HAS SOPS 797010 HAS SOUS 651910 HAS SOUPS 651910 WITH SCORE 652707.01
AT ITER 2233 NEW BEST:: SOT 4426778 SOS 796394 HAS SOPS 796394 HAS SOUS 651410 HAS SOUPS 651410 WITH SCORE 652206.394
AT ITER 2235 NEW BEST:: SOT 4426538 SOS 796850 HAS SOPS 796850 HAS SOUS 651373 HAS SOUPS 651373 WITH SCORE 652169.85
AT ITER 2239 NEW BEST:: SOT 4426761 SOS 797296 HAS SOPS 797296 HAS SOUS 651361 HAS SOUPS 651361 WITH SCORE 652158.296
AT ITER 2254 NEW BEST:: SOT 4426732 SOS 797304 HAS SOPS 797304 HAS SOUS 651357 HAS SOUPS 651357 WITH SCORE 652154.304
AT ITER 2296 NEW BEST:: SOT 4426646 SOS 797132 HAS SOPS 797132 HAS SOUS 650857 HAS SOUPS 650857 WITH SCORE 651654.132
AT ITER 2306 NEW BEST:: SOT 4426498 SOS 796910 HAS SOPS 796910 HAS SOUS 650635 HAS SOUPS 650635 WITH SCORE 651431.91
AT ITER 2319 NEW BEST:: SOT 4426403 SOS 796720 HAS SOPS 796720 HAS SOUS 650445 HAS SOUPS 650445 WITH SCORE 651241.72
AT ITER 2339 NEW BEST:: SOT 4426139 SOS 796192 HAS SOPS 796192 HAS SOUS 649917 HAS SOUPS 649917 WITH SCORE 650713.192
AT ITER 2351 NEW BEST:: SOT 4425970 SOS 795854 HAS SOPS 795854 HAS SOUS 649719 HAS SOUPS 649719 WITH SCORE 650514.854
AT ITER 2364 NEW BEST:: SOT 4425970 SOS 795823 HAS SOPS 795823 HAS SOUS 649719 HAS SOUPS 649719 WITH SCORE 650514.823
AT ITER 2370 NEW BEST:: SOT 4425887 SOS 795657 HAS SOPS 795657 HAS SOUS 649636 HAS SOUPS 649636 WITH SCORE 650431.657
AT ITER 2377 NEW BEST:: SOT 4426091 SOS 795585 HAS SOPS 795585 HAS SOUS 649618 HAS SOUPS 649618 WITH SCORE 650413.585
AT ITER 2395 NEW BEST:: SOT 4426091 SOS 795550 HAS SOPS 795550 HAS SOUS 649583 HAS SOUPS 649583 WITH SCORE 650378.55
AT ITER 2401 NEW BEST:: SOT 4426219 SOS 795806 HAS SOPS 795806 HAS SOUS 649556 HAS SOUPS 649556 WITH SCORE 650351.806
AT ITER 2433 NEW BEST:: SOT 4426219 SOS 795686 HAS SOPS 795686 HAS SOUS 649556 HAS SOUPS 649556 WITH SCORE 650351.686
AT ITER 2449 NEW BEST:: SOT 4425872 SOS 795388 HAS SOPS 795388 HAS SOUS 649258 HAS SOUPS 649258 WITH SCORE 650053.388
AT ITER 2456 NEW BEST:: SOT 4425836 SOS 795316 HAS SOPS 795316 HAS SOUS 649222 HAS SOUPS 649222 WITH SCORE 650017.316
AT ITER 2460 NEW BEST:: SOT 4425682 SOS 795162 HAS SOPS 795162 HAS SOUS 649206 HAS SOUPS 649206 WITH SCORE 650001.162
AT ITER 2461 NEW BEST:: SOT 4425504 SOS 794806 HAS SOPS 794806 HAS SOUS 648850 HAS SOUPS 648850 WITH SCORE 649644.806
AT ITER 2466 NEW BEST:: SOT 4425384 SOS 794566 HAS SOPS 794566 HAS SOUS 648730 HAS SOUPS 648730 WITH SCORE 649524.566
AT ITER 2467 NEW BEST:: SOT 4425170 SOS 794324 HAS SOPS 794324 HAS SOUS 648488 HAS SOUPS 648488 WITH SCORE 649282.324
AT ITER 2472 NEW BEST:: SOT 4424564 SOS 793916 HAS SOPS 793916 HAS SOUS 647615 HAS SOUPS 647615 WITH SCORE 648408.916
AT ITER 2477 NEW BEST:: SOT 4424470 SOS 793728 HAS SOPS 793728 HAS SOUS 647264 HAS SOUPS 647264 WITH SCORE 648057.728
AT ITER 2479 NEW BEST:: SOT 4424403 SOS 793719 HAS SOPS 793719 HAS SOUS 647238 HAS SOUPS 647238 WITH SCORE 648031.719
AT ITER 2490 NEW BEST:: SOT 4424398 SOS 793709 HAS SOPS 793709 HAS SOUS 647228 HAS SOUPS 647228 WITH SCORE 648021.709
AT ITER 2569 NEW BEST:: SOT 4424125 SOS 793687 HAS SOPS 793687 HAS SOUS 646955 HAS SOUPS 646955 WITH SCORE 647748.687
AT ITER 2593 NEW BEST:: SOT 4423996 SOS 794081 HAS SOPS 794081 HAS SOUS 646690 HAS SOUPS 646690 WITH SCORE 647484.081
AT ITER 2627 NEW BEST:: SOT 4423996 SOS 794019 HAS SOPS 794019 HAS SOUS 646690 HAS SOUPS 646690 WITH SCORE 647484.019
AT ITER 2635 NEW BEST:: SOT 4423956 SOS 793939 HAS SOPS 793939 HAS SOUS 646610 HAS SOUPS 646610 WITH SCORE 647403.939
AT ITER 2654 NEW BEST:: SOT 4423456 SOS 793884 HAS SOPS 793884 HAS SOUS 646189 HAS SOUPS 646189 WITH SCORE 646982.884
AT ITER 2667 NEW BEST:: SOT 4423426 SOS 793824 HAS SOPS 793824 HAS SOUS 646129 HAS SOUPS 646129 WITH SCORE 646922.824
AT ITER 2691 NEW BEST:: SOT 4423236 SOS 793444 HAS SOPS 793444 HAS SOUS 645749 HAS SOUPS 645749 WITH SCORE 646542.444
AT ITER 2775 NEW BEST:: SOT 4423235 SOS 793296 HAS SOPS 793296 HAS SOUS 645746 HAS SOUPS 645746 WITH SCORE 646539.296
AT ITER 2784 NEW BEST:: SOT 4423202 SOS 793230 HAS SOPS 793230 HAS SOUS 645713 HAS SOUPS 645713 WITH SCORE 646506.23
AT ITER 2790 NEW BEST:: SOT 4423202 SOS 793225 HAS SOPS 793225 HAS SOUS 645713 HAS SOUPS 645713 WITH SCORE 646506.225
AT ITER 2823 NEW BEST:: SOT 4422987 SOS 793010 HAS SOPS 793010 HAS SOUS 645573 HAS SOUPS 645573 WITH SCORE 646366.01
AT ITER 2827 NEW BEST:: SOT 4422987 SOS 793010 HAS SOPS 793010 HAS SOUS 645534 HAS SOUPS 645534 WITH SCORE 646327.01
AT ITER 2835 NEW BEST:: SOT 4422985 SOS 793006 HAS SOPS 793006 HAS SOUS 645530 HAS SOUPS 645530 WITH SCORE 646323.006
AT ITER 2852 NEW BEST:: SOT 4422823 SOS 792682 HAS SOPS 792682 HAS SOUS 645206 HAS SOUPS 645206 WITH SCORE 645998.682
AT ITER 2862 NEW BEST:: SOT 4422692 SOS 792669 HAS SOPS 792669 HAS SOUS 644950 HAS SOUPS 644950 WITH SCORE 645742.669
AT ITER 2884 NEW BEST:: SOT 4422686 SOS 792657 HAS SOPS 792657 HAS SOUS 644863 HAS SOUPS 644863 WITH SCORE 645655.657
AT ITER 2969 NEW BEST:: SOT 4422091 SOS 791953 HAS SOPS 791953 HAS SOUS 644122 HAS SOUPS 644122 WITH SCORE 644913.953
AT ITER 2978 NEW BEST:: SOT 4422079 SOS 791613 HAS SOPS 791613 HAS SOUS 644110 HAS SOUPS 644110 WITH SCORE 644901.613
AT ITER 3003 NEW BEST:: SOT 4421999 SOS 791453 HAS SOPS 791453 HAS SOUS 644001 HAS SOUPS 644001 WITH SCORE 644792.453
AT ITER 3019 NEW BEST:: SOT 4422034 SOS 791293 HAS SOPS 791293 HAS SOUS 643921 HAS SOUPS 643921 WITH SCORE 644712.293
AT ITER 3045 NEW BEST:: SOT 4421895 SOS 790646 HAS SOPS 790646 HAS SOUS 643430 HAS SOUPS 643430 WITH SCORE 644220.646
AT ITER 3046 NEW BEST:: SOT 4421895 SOS 790279 HAS SOPS 790279 HAS SOUS 643429 HAS SOUPS 643429 WITH SCORE 644219.279
AT ITER 3086 NEW BEST:: SOT 4421720 SOS 790104 HAS SOPS 790104 HAS SOUS 643254 HAS SOUPS 643254 WITH SCORE 644044.104
AT ITER 3087 NEW BEST:: SOT 4421719 SOS 790102 HAS SOPS 790102 HAS SOUS 643252 HAS SOUPS 643252 WITH SCORE 644042.102
AT ITER 3113 NEW BEST:: SOT 4421719 SOS 789712 HAS SOPS 789712 HAS SOUS 643252 HAS SOUPS 643252 WITH SCORE 644041.712
AT ITER 3139 NEW BEST:: SOT 4421707 SOS 789704 HAS SOPS 789704 HAS SOUS 643240 HAS SOUPS 643240 WITH SCORE 644029.704
AT ITER 3142 NEW BEST:: SOT 4421548 SOS 789545 HAS SOPS 789545 HAS SOUS 643081 HAS SOUPS 643081 WITH SCORE 643870.545
AT ITER 3147 NEW BEST:: SOT 4421295 SOS 789342 HAS SOPS 789342 HAS SOUS 642761 HAS SOUPS 642761 WITH SCORE 643550.342
AT ITER 3168 NEW BEST:: SOT 4421294 SOS 789268 HAS SOPS 789268 HAS SOUS 642759 HAS SOUPS 642759 WITH SCORE 643548.268
AT ITER 3181 NEW BEST:: SOT 4421205 SOS 788682 HAS SOPS 788682 HAS SOUS 642550 HAS SOUPS 642550 WITH SCORE 643338.682
AT ITER 3214 NEW BEST:: SOT 4421130 SOS 788200 HAS SOPS 788200 HAS SOUS 642400 HAS SOUPS 642400 WITH SCORE 643188.2
AT ITER 3224 NEW BEST:: SOT 4421137 SOS 788192 HAS SOPS 788192 HAS SOUS 642392 HAS SOUPS 642392 WITH SCORE 643180.192
AT ITER 3243 NEW BEST:: SOT 4421097 SOS 788216 HAS SOPS 788216 HAS SOUS 642364 HAS SOUPS 642364 WITH SCORE 643152.216
AT ITER 3249 NEW BEST:: SOT 4421051 SOS 788124 HAS SOPS 788124 HAS SOUS 642272 HAS SOUPS 642272 WITH SCORE 643060.124
AT ITER 3282 NEW BEST:: SOT 4420795 SOS 787612 HAS SOPS 787612 HAS SOUS 641760 HAS SOUPS 641760 WITH SCORE 642547.612
AT ITER 3290 NEW BEST:: SOT 4420695 SOS 787412 HAS SOPS 787412 HAS SOUS 641560 HAS SOUPS 641560 WITH SCORE 642347.412
AT ITER 3294 NEW BEST:: SOT 4420354 SOS 788297 HAS SOPS 788297 HAS SOUS 641441 HAS SOUPS 641441 WITH SCORE 642229.297
AT ITER 3321 NEW BEST:: SOT 4420204 SOS 787997 HAS SOPS 787997 HAS SOUS 641291 HAS SOUPS 641291 WITH SCORE 642078.997
AT ITER 3322 NEW BEST:: SOT 4420203 SOS 787995 HAS SOPS 787995 HAS SOUS 641289 HAS SOUPS 641289 WITH SCORE 642076.995
AT ITER 3323 NEW BEST:: SOT 4420163 SOS 787915 HAS SOPS 787915 HAS SOUS 641209 HAS SOUPS 641209 WITH SCORE 641996.915
AT ITER 3326 NEW BEST:: SOT 4420127 SOS 787843 HAS SOPS 787843 HAS SOUS 641152 HAS SOUPS 641152 WITH SCORE 641939.843
AT ITER 3355 NEW BEST:: SOT 4420101 SOS 787791 HAS SOPS 787791 HAS SOUS 641100 HAS SOUPS 641100 WITH SCORE 641887.791
AT ITER 3386 NEW BEST:: SOT 4420079 SOS 787615 HAS SOPS 787615 HAS SOUS 641041 HAS SOUPS 641041 WITH SCORE 641828.615
AT ITER 3394 NEW BEST:: SOT 4419941 SOS 787339 HAS SOPS 787339 HAS SOUS 640903 HAS SOUPS 640903 WITH SCORE 641690.339
AT ITER 3520 NEW BEST:: SOT 4419703 SOS 786823 HAS SOPS 786823 HAS SOUS 640807 HAS SOUPS 640807 WITH SCORE 641593.823
AT ITER 3564 NEW BEST:: SOT 4419825 SOS 787067 HAS SOPS 787067 HAS SOUS 640635 HAS SOUPS 640635 WITH SCORE 641422.067
AT ITER 3633 NEW BEST:: SOT 4419829 SOS 787075 HAS SOPS 787075 HAS SOUS 640622 HAS SOUPS 640622 WITH SCORE 641409.075
AT ITER 3645 NEW BEST:: SOT 4419790 SOS 786997 HAS SOPS 786997 HAS SOUS 640559 HAS SOUPS 640559 WITH SCORE 641345.997
AT ITER 3661 NEW BEST:: SOT 4419789 SOS 786995 HAS SOPS 786995 HAS SOUS 640557 HAS SOUPS 640557 WITH SCORE 641343.995
AT ITER 3679 NEW BEST:: SOT 4419741 SOS 786970 HAS SOPS 786970 HAS SOUS 640532 HAS SOUPS 640532 WITH SCORE 641318.97
AT ITER 3693 NEW BEST:: SOT 4419740 SOS 786850 HAS SOPS 786850 HAS SOUS 640456 HAS SOUPS 640456 WITH SCORE 641242.85
AT ITER 3702 NEW BEST:: SOT 4419695 SOS 786760 HAS SOPS 786760 HAS SOUS 640366 HAS SOUPS 640366 WITH SCORE 641152.76
AT ITER 3724 NEW BEST:: SOT 4419595 SOS 786665 HAS SOPS 786665 HAS SOUS 640271 HAS SOUPS 640271 WITH SCORE 641057.665
AT ITER 3739 NEW BEST:: SOT 4419119 SOS 787057 HAS SOPS 787057 HAS SOUS 640077 HAS SOUPS 640077 WITH SCORE 640864.057
AT ITER 3757 NEW BEST:: SOT 4419032 SOS 786883 HAS SOPS 786883 HAS SOUS 639903 HAS SOUPS 639903 WITH SCORE 640689.883
AT ITER 3781 NEW BEST:: SOT 4418960 SOS 787011 HAS SOPS 787011 HAS SOUS 639759 HAS SOUPS 639759 WITH SCORE 640546.011
AT ITER 3808 NEW BEST:: SOT 4418888 SOS 786521 HAS SOPS 786521 HAS SOUS 639340 HAS SOUPS 639340 WITH SCORE 640126.521
AT ITER 3810 NEW BEST:: SOT 4418873 SOS 786491 HAS SOPS 786491 HAS SOUS 639310 HAS SOUPS 639310 WITH SCORE 640096.491
AT ITER 3839 NEW BEST:: SOT 4416880 SOS 802413 HAS SOPS 802413 HAS SOUS 637688 HAS SOUPS 637688 WITH SCORE 638490.413
AT ITER 3844 NEW BEST:: SOT 4416791 SOS 802390 HAS SOPS 802390 HAS SOUS 637662 HAS SOUPS 637662 WITH SCORE 638464.39
AT ITER 3845 NEW BEST:: SOT 4416724 SOS 802256 HAS SOPS 802256 HAS SOUS 637528 HAS SOUPS 637528 WITH SCORE 638330.256
AT ITER 3850 NEW BEST:: SOT 4416673 SOS 802154 HAS SOPS 802154 HAS SOUS 637426 HAS SOUPS 637426 WITH SCORE 638228.154
AT ITER 3862 NEW BEST:: SOT 4416672 SOS 802207 HAS SOPS 802207 HAS SOUS 637424 HAS SOUPS 637424 WITH SCORE 638226.207
AT ITER 3868 NEW BEST:: SOT 4416661 SOS 802185 HAS SOPS 802185 HAS SOUS 637402 HAS SOUPS 637402 WITH SCORE 638204.185
AT ITER 3877 NEW BEST:: SOT 4416661 SOS 802071 HAS SOPS 802071 HAS SOUS 637402 HAS SOUPS 637402 WITH SCORE 638204.071
AT ITER 3882 NEW BEST:: SOT 4416661 SOS 802071 HAS SOPS 802071 HAS SOUS 637358 HAS SOUPS 637358 WITH SCORE 638160.071
AT ITER 3890 NEW BEST:: SOT 4416622 SOS 802047 HAS SOPS 802047 HAS SOUS 637319 HAS SOUPS 637319 WITH SCORE 638121.047
AT ITER 3907 NEW BEST:: SOT 4416609 SOS 802021 HAS SOPS 802021 HAS SOUS 637179 HAS SOUPS 637179 WITH SCORE 637981.021
AT ITER 3934 NEW BEST:: SOT 4416579 SOS 801961 HAS SOPS 801961 HAS SOUS 637119 HAS SOUPS 637119 WITH SCORE 637920.961
AT ITER 3952 NEW BEST:: SOT 4416557 SOS 801917 HAS SOPS 801917 HAS SOUS 637097 HAS SOUPS 637097 WITH SCORE 637898.917
AT ITER 3960 NEW BEST:: SOT 4416335 SOS 801835 HAS SOPS 801835 HAS SOUS 636920 HAS SOUPS 636920 WITH SCORE 637721.835
AT ITER 3967 NEW BEST:: SOT 4416296 SOS 801757 HAS SOPS 801757 HAS SOUS 636842 HAS SOUPS 636842 WITH SCORE 637643.757
AT ITER 3986 NEW BEST:: SOT 4416296 SOS 801757 HAS SOPS 801757 HAS SOUS 636597 HAS SOUPS 636597 WITH SCORE 637398.757
AT ITER 3990 NEW BEST:: SOT 4416187 SOS 801723 HAS SOPS 801723 HAS SOUS 636514 HAS SOUPS 636514 WITH SCORE 637315.723
AT ITER 4014 NEW BEST:: SOT 4416097 SOS 801543 HAS SOPS 801543 HAS SOUS 636513 HAS SOUPS 636513 WITH SCORE 637314.543
AT ITER 4017 NEW BEST:: SOT 4416096 SOS 801541 HAS SOPS 801541 HAS SOUS 636511 HAS SOUPS 636511 WITH SCORE 637312.541
AT ITER 4022 NEW BEST:: SOT 4415871 SOS 801320 HAS SOPS 801320 HAS SOUS 636286 HAS SOUPS 636286 WITH SCORE 637087.32
AT ITER 4030 NEW BEST:: SOT 4415897 SOS 801346 HAS SOPS 801346 HAS SOUS 636272 HAS SOUPS 636272 WITH SCORE 637073.346
AT ITER 4039 NEW BEST:: SOT 4415897 SOS 801292 HAS SOPS 801292 HAS SOUS 636272 HAS SOUPS 636272 WITH SCORE 637073.292
AT ITER 4044 NEW BEST:: SOT 4415775 SOS 801048 HAS SOPS 801048 HAS SOUS 636028 HAS SOUPS 636028 WITH SCORE 636829.048
AT ITER 4051 NEW BEST:: SOT 4415627 SOS 800456 HAS SOPS 800456 HAS SOUS 635732 HAS SOUPS 635732 WITH SCORE 636532.456
AT ITER 4067 NEW BEST:: SOT 4415591 SOS 800384 HAS SOPS 800384 HAS SOUS 635624 HAS SOUPS 635624 WITH SCORE 636424.384
AT ITER 4070 NEW BEST:: SOT 4415496 SOS 800384 HAS SOPS 800384 HAS SOUS 635529 HAS SOUPS 635529 WITH SCORE 636329.384
AT ITER 4072 NEW BEST:: SOT 4415495 SOS 800382 HAS SOPS 800382 HAS SOUS 635527 HAS SOUPS 635527 WITH SCORE 636327.382
AT ITER 4096 NEW BEST:: SOT 4415589 SOS 800350 HAS SOPS 800350 HAS SOUS 635496 HAS SOUPS 635496 WITH SCORE 636296.35
AT ITER 4106 NEW BEST:: SOT 4415588 SOS 800348 HAS SOPS 800348 HAS SOUS 635496 HAS SOUPS 635496 WITH SCORE 636296.348
AT ITER 4119 NEW BEST:: SOT 4415448 SOS 800068 HAS SOPS 800068 HAS SOUS 635202 HAS SOUPS 635202 WITH SCORE 636002.068
AT ITER 4125 NEW BEST:: SOT 4415431 SOS 800034 HAS SOPS 800034 HAS SOUS 635168 HAS SOUPS 635168 WITH SCORE 635968.034
AT ITER 4138 NEW BEST:: SOT 4415124 SOS 799613 HAS SOPS 799613 HAS SOUS 634732 HAS SOUPS 634732 WITH SCORE 635531.613
AT ITER 4151 NEW BEST:: SOT 4415109 SOS 799583 HAS SOPS 799583 HAS SOUS 634702 HAS SOUPS 634702 WITH SCORE 635501.583
AT ITER 4166 NEW BEST:: SOT 4415038 SOS 799441 HAS SOPS 799441 HAS SOUS 634347 HAS SOUPS 634347 WITH SCORE 635146.441
AT ITER 4176 NEW BEST:: SOT 4414892 SOS 799149 HAS SOPS 799149 HAS SOUS 634055 HAS SOUPS 634055 WITH SCORE 634854.149
AT ITER 4178 NEW BEST:: SOT 4414679 SOS 798936 HAS SOPS 798936 HAS SOUS 633842 HAS SOUPS 633842 WITH SCORE 634640.936
AT ITER 4209 NEW BEST:: SOT 4415011 SOS 799600 HAS SOPS 799600 HAS SOUS 633770 HAS SOUPS 633770 WITH SCORE 634569.6
AT ITER 4234 NEW BEST:: SOT 4415109 SOS 799796 HAS SOPS 799796 HAS SOUS 633734 HAS SOUPS 633734 WITH SCORE 634533.796
AT ITER 4235 NEW BEST:: SOT 4415364 SOS 799541 HAS SOPS 799541 HAS SOUS 633734 HAS SOUPS 633734 WITH SCORE 634533.541
AT ITER 4247 NEW BEST:: SOT 4415308 SOS 799485 HAS SOPS 799485 HAS SOUS 633678 HAS SOUPS 633678 WITH SCORE 634477.485
AT ITER 4283 NEW BEST:: SOT 4415308 SOS 799071 HAS SOPS 799071 HAS SOUS 633678 HAS SOUPS 633678 WITH SCORE 634477.071
AT ITER 4305 NEW BEST:: SOT 4415269 SOS 798993 HAS SOPS 798993 HAS SOUS 633600 HAS SOUPS 633600 WITH SCORE 634398.993
AT ITER 4322 NEW BEST:: SOT 4415269 SOS 798668 HAS SOPS 798668 HAS SOUS 633600 HAS SOUPS 633600 WITH SCORE 634398.668
AT ITER 4329 NEW BEST:: SOT 4415222 SOS 798574 HAS SOPS 798574 HAS SOUS 633553 HAS SOUPS 633553 WITH SCORE 634351.574
AT ITER 4361 NEW BEST:: SOT 4415132 SOS 798384 HAS SOPS 798384 HAS SOUS 633373 HAS SOUPS 633373 WITH SCORE 634171.384
AT ITER 4372 NEW BEST:: SOT 4414863 SOS 797846 HAS SOPS 797846 HAS SOUS 632835 HAS SOUPS 632835 WITH SCORE 633632.846
AT ITER 4382 NEW BEST:: SOT 4414589 SOS 797298 HAS SOPS 797298 HAS SOUS 632678 HAS SOUPS 632678 WITH SCORE 633475.298
AT ITER 4391 NEW BEST:: SOT 4414456 SOS 797032 HAS SOPS 797032 HAS SOUS 632412 HAS SOUPS 632412 WITH SCORE 633209.032
AT ITER 4393 NEW BEST:: SOT 4414455 SOS 796694 HAS SOPS 796694 HAS SOUS 632409 HAS SOUPS 632409 WITH SCORE 633205.694
AT ITER 4396 NEW BEST:: SOT 4414435 SOS 796654 HAS SOPS 796654 HAS SOUS 632369 HAS SOUPS 632369 WITH SCORE 633165.654
AT ITER 4401 NEW BEST:: SOT 4414477 SOS 796528 HAS SOPS 796528 HAS SOUS 632245 HAS SOUPS 632245 WITH SCORE 633041.528
AT ITER 4422 NEW BEST:: SOT 4414083 SOS 796134 HAS SOPS 796134 HAS SOUS 631851 HAS SOUPS 631851 WITH SCORE 632647.134
AT ITER 4435 NEW BEST:: SOT 4414040 SOS 796048 HAS SOPS 796048 HAS SOUS 631765 HAS SOUPS 631765 WITH SCORE 632561.048
AT ITER 4443 NEW BEST:: SOT 4413950 SOS 795683 HAS SOPS 795683 HAS SOUS 631443 HAS SOUPS 631443 WITH SCORE 632238.683
AT ITER 4467 NEW BEST:: SOT 4413520 SOS 794823 HAS SOPS 794823 HAS SOUS 631316 HAS SOUPS 631316 WITH SCORE 632110.823
AT ITER 4490 NEW BEST:: SOT 4413427 SOS 794637 HAS SOPS 794637 HAS SOUS 631223 HAS SOUPS 631223 WITH SCORE 632017.637
AT ITER 4524 NEW BEST:: SOT 4413315 SOS 794413 HAS SOPS 794413 HAS SOUS 630999 HAS SOUPS 630999 WITH SCORE 631793.413
AT ITER 4542 NEW BEST:: SOT 4413315 SOS 794407 HAS SOPS 794407 HAS SOUS 630993 HAS SOUPS 630993 WITH SCORE 631787.407
AT ITER 4545 NEW BEST:: SOT 4413234 SOS 794350 HAS SOPS 794350 HAS SOUS 630933 HAS SOUPS 630933 WITH SCORE 631727.35
AT ITER 4546 NEW BEST:: SOT 4413204 SOS 794350 HAS SOPS 794350 HAS SOUS 630903 HAS SOUPS 630903 WITH SCORE 631697.35
AT ITER 4550 NEW BEST:: SOT 4413184 SOS 794310 HAS SOPS 794310 HAS SOUS 630863 HAS SOUPS 630863 WITH SCORE 631657.31
AT ITER 4555 NEW BEST:: SOT 4413184 SOS 794239 HAS SOPS 794239 HAS SOUS 630792 HAS SOUPS 630792 WITH SCORE 631586.239
AT ITER 4561 NEW BEST:: SOT 4413243 SOS 793831 HAS SOPS 793831 HAS SOUS 630588 HAS SOUPS 630588 WITH SCORE 631381.831
AT ITER 4562 NEW BEST:: SOT 4412927 SOS 798141 HAS SOPS 798141 HAS SOUS 630558 HAS SOUPS 630558 WITH SCORE 631356.141
AT ITER 4572 NEW BEST:: SOT 4412980 SOS 798247 HAS SOPS 798247 HAS SOUS 630529 HAS SOUPS 630529 WITH SCORE 631327.247
AT ITER 4575 NEW BEST:: SOT 4412977 SOS 798241 HAS SOPS 798241 HAS SOUS 630527 HAS SOUPS 630527 WITH SCORE 631325.241
AT ITER 4589 NEW BEST:: SOT 4412849 SOS 798113 HAS SOPS 798113 HAS SOUS 630399 HAS SOUPS 630399 WITH SCORE 631197.113
AT ITER 4600 NEW BEST:: SOT 4412843 SOS 798101 HAS SOPS 798101 HAS SOUS 630393 HAS SOUPS 630393 WITH SCORE 631191.101
AT ITER 4601 NEW BEST:: SOT 4412189 SOS 798485 HAS SOPS 798485 HAS SOUS 630013 HAS SOUPS 630013 WITH SCORE 630811.485
AT ITER 4605 NEW BEST:: SOT 4412171 SOS 798449 HAS SOPS 798449 HAS SOUS 629977 HAS SOUPS 629977 WITH SCORE 630775.449
AT ITER 4642 NEW BEST:: SOT 4412132 SOS 798371 HAS SOPS 798371 HAS SOUS 629899 HAS SOUPS 629899 WITH SCORE 630697.371
AT ITER 4648 NEW BEST:: SOT 4411881 SOS 798143 HAS SOPS 798143 HAS SOUS 629609 HAS SOUPS 629609 WITH SCORE 630407.143
AT ITER 4657 NEW BEST:: SOT 4411288 SOS 797224 HAS SOPS 797224 HAS SOUS 628690 HAS SOUPS 628690 WITH SCORE 629487.224
AT ITER 4660 NEW BEST:: SOT 4411282 SOS 797212 HAS SOPS 797212 HAS SOUS 628577 HAS SOUPS 628577 WITH SCORE 629374.212
AT ITER 4661 NEW BEST:: SOT 4411275 SOS 797198 HAS SOPS 797198 HAS SOUS 628563 HAS SOUPS 628563 WITH SCORE 629360.198
AT ITER 4662 NEW BEST:: SOT 4411275 SOS 796909 HAS SOPS 796909 HAS SOUS 628563 HAS SOUPS 628563 WITH SCORE 629359.909
AT ITER 4665 NEW BEST:: SOT 4411200 SOS 796845 HAS SOPS 796845 HAS SOUS 628402 HAS SOUPS 628402 WITH SCORE 629198.845
AT ITER 4714 NEW BEST:: SOT 4410713 SOS 795871 HAS SOPS 795871 HAS SOUS 627511 HAS SOUPS 627511 WITH SCORE 628306.871
AT ITER 4720 NEW BEST:: SOT 4410708 SOS 795861 HAS SOPS 795861 HAS SOUS 627511 HAS SOUPS 627511 WITH SCORE 628306.861
AT ITER 4751 NEW BEST:: SOT 4410687 SOS 795861 HAS SOPS 795861 HAS SOUS 627490 HAS SOUPS 627490 WITH SCORE 628285.861
AT ITER 4769 NEW BEST:: SOT 4410595 SOS 795677 HAS SOPS 795677 HAS SOUS 627398 HAS SOUPS 627398 WITH SCORE 628193.677
AT ITER 4770 NEW BEST:: SOT 4410556 SOS 795599 HAS SOPS 795599 HAS SOUS 627297 HAS SOUPS 627297 WITH SCORE 628092.599
AT ITER 4773 NEW BEST:: SOT 4410556 SOS 795337 HAS SOPS 795337 HAS SOUS 627297 HAS SOUPS 627297 WITH SCORE 628092.337
AT ITER 4775 NEW BEST:: SOT 4410405 SOS 795285 HAS SOPS 795285 HAS SOUS 627196 HAS SOUPS 627196 WITH SCORE 627991.285
AT ITER 4780 NEW BEST:: SOT 4410297 SOS 795069 HAS SOPS 795069 HAS SOUS 626980 HAS SOUPS 626980 WITH SCORE 627775.069
AT ITER 4786 NEW BEST:: SOT 4410296 SOS 795067 HAS SOPS 795067 HAS SOUS 626978 HAS SOUPS 626978 WITH SCORE 627773.067
AT ITER 4800 NEW BEST:: SOT 4410536 SOS 794889 HAS SOPS 794889 HAS SOUS 626889 HAS SOUPS 626889 WITH SCORE 627683.889
AT ITER 4821 NEW BEST:: SOT 4410549 SOS 794915 HAS SOPS 794915 HAS SOUS 626835 HAS SOUPS 626835 WITH SCORE 627629.915
AT ITER 4845 NEW BEST:: SOT 4410543 SOS 794903 HAS SOPS 794903 HAS SOUS 626807 HAS SOUPS 626807 WITH SCORE 627601.903
AT ITER 4849 NEW BEST:: SOT 4410643 SOS 794728 HAS SOPS 794728 HAS SOUS 626772 HAS SOUPS 626772 WITH SCORE 627566.728
AT ITER 4875 NEW BEST:: SOT 4410698 SOS 794577 HAS SOPS 794577 HAS SOUS 626628 HAS SOUPS 626628 WITH SCORE 627422.577
AT ITER 4885 NEW BEST:: SOT 4410644 SOS 794546 HAS SOPS 794546 HAS SOUS 626520 HAS SOUPS 626520 WITH SCORE 627314.546
AT ITER 4895 NEW BEST:: SOT 4410544 SOS 794401 HAS SOPS 794401 HAS SOUS 626365 HAS SOUPS 626365 WITH SCORE 627159.401
AT ITER 4918 NEW BEST:: SOT 4410544 SOS 794106 HAS SOPS 794106 HAS SOUS 626070 HAS SOUPS 626070 WITH SCORE 626864.106
AT ITER 4973 NEW BEST:: SOT 4410476 SOS 793621 HAS SOPS 793621 HAS SOUS 625850 HAS SOUPS 625850 WITH SCORE 626643.621
AT ITER 4988 NEW BEST:: SOT 4410203 SOS 793348 HAS SOPS 793348 HAS SOUS 625645 HAS SOUPS 625645 WITH SCORE 626438.348
AT ITER 5008 NEW BEST:: SOT 4410202 SOS 793346 HAS SOPS 793346 HAS SOUS 625644 HAS SOUPS 625644 WITH SCORE 626437.346
AT ITER 5013 NEW BEST:: SOT 4410461 SOS 793449 HAS SOPS 793449 HAS SOUS 625569 HAS SOUPS 625569 WITH SCORE 626362.449
AT ITER 5042 NEW BEST:: SOT 4410461 SOS 793449 HAS SOPS 793449 HAS SOUS 625542 HAS SOUPS 625542 WITH SCORE 626335.449
AT ITER 5045 NEW BEST:: SOT 4410446 SOS 793419 HAS SOPS 793419 HAS SOUS 625512 HAS SOUPS 625512 WITH SCORE 626305.419
AT ITER 5121 NEW BEST:: SOT 4410442 SOS 793411 HAS SOPS 793411 HAS SOUS 625507 HAS SOUPS 625507 WITH SCORE 626300.411
AT ITER 5130 NEW BEST:: SOT 4410363 SOS 793253 HAS SOPS 793253 HAS SOUS 625349 HAS SOUPS 625349 WITH SCORE 626142.253
AT ITER 5152 NEW BEST:: SOT 4410382 SOS 793107 HAS SOPS 793107 HAS SOUS 625276 HAS SOUPS 625276 WITH SCORE 626069.107
AT ITER 5160 NEW BEST:: SOT 4410194 SOS 792543 HAS SOPS 792543 HAS SOUS 624900 HAS SOUPS 624900 WITH SCORE 625692.543
AT ITER 5165 NEW BEST:: SOT 4410189 SOS 792533 HAS SOPS 792533 HAS SOUS 624895 HAS SOUPS 624895 WITH SCORE 625687.533
AT ITER 5167 NEW BEST:: SOT 4409962 SOS 792799 HAS SOPS 792799 HAS SOUS 624864 HAS SOUPS 624864 WITH SCORE 625656.799
AT ITER 5180 NEW BEST:: SOT 4409962 SOS 792448 HAS SOPS 792448 HAS SOUS 624864 HAS SOUPS 624864 WITH SCORE 625656.448
AT ITER 5200 NEW BEST:: SOT 4409986 SOS 792328 HAS SOPS 792328 HAS SOUS 624744 HAS SOUPS 624744 WITH SCORE 625536.328
AT ITER 5231 NEW BEST:: SOT 4409930 SOS 792216 HAS SOPS 792216 HAS SOUS 624688 HAS SOUPS 624688 WITH SCORE 625480.216
AT ITER 5235 NEW BEST:: SOT 4409658 SOS 791672 HAS SOPS 791672 HAS SOUS 624144 HAS SOUPS 624144 WITH SCORE 624935.672
AT ITER 5250 NEW BEST:: SOT 4409584 SOS 791766 HAS SOPS 791766 HAS SOUS 624127 HAS SOUPS 624127 WITH SCORE 624918.766
AT ITER 5258 NEW BEST:: SOT 4409639 SOS 791466 HAS SOPS 791466 HAS SOUS 623897 HAS SOUPS 623897 WITH SCORE 624688.466
AT ITER 5267 NEW BEST:: SOT 4409566 SOS 791466 HAS SOPS 791466 HAS SOUS 623824 HAS SOUPS 623824 WITH SCORE 624615.466
AT ITER 5276 NEW BEST:: SOT 4409566 SOS 790816 HAS SOPS 790816 HAS SOUS 623759 HAS SOUPS 623759 WITH SCORE 624549.816
AT ITER 5278 NEW BEST:: SOT 4409566 SOS 790726 HAS SOPS 790726 HAS SOUS 623759 HAS SOUPS 623759 WITH SCORE 624549.726
AT ITER 5350 NEW BEST:: SOT 4409717 SOS 790677 HAS SOPS 790677 HAS SOUS 623610 HAS SOUPS 623610 WITH SCORE 624400.677
AT ITER 5360 NEW BEST:: SOT 4409717 SOS 790677 HAS SOPS 790677 HAS SOUS 623575 HAS SOUPS 623575 WITH SCORE 624365.677
AT ITER 5388 NEW BEST:: SOT 4409731 SOS 790673 HAS SOPS 790673 HAS SOUS 623571 HAS SOUPS 623571 WITH SCORE 624361.673
AT ITER 5442 NEW BEST:: SOT 4409622 SOS 790455 HAS SOPS 790455 HAS SOUS 623462 HAS SOUPS 623462 WITH SCORE 624252.455
AT ITER 5451 NEW BEST:: SOT 4409573 SOS 790406 HAS SOPS 790406 HAS SOUS 623413 HAS SOUPS 623413 WITH SCORE 624203.406
AT ITER 5460 NEW BEST:: SOT 4409385 SOS 790218 HAS SOPS 790218 HAS SOUS 623225 HAS SOUPS 623225 WITH SCORE 624015.218
AT ITER 5466 NEW BEST:: SOT 4409312 SOS 790144 HAS SOPS 790144 HAS SOUS 623162 HAS SOUPS 623162 WITH SCORE 623952.144
AT ITER 5484 NEW BEST:: SOT 4409479 SOS 790478 HAS SOPS 790478 HAS SOUS 623150 HAS SOUPS 623150 WITH SCORE 623940.478
AT ITER 5496 NEW BEST:: SOT 4409444 SOS 790408 HAS SOPS 790408 HAS SOUS 622869 HAS SOUPS 622869 WITH SCORE 623659.408
AT ITER 5555 NEW BEST:: SOT 4409300 SOS 790120 HAS SOPS 790120 HAS SOUS 622721 HAS SOUPS 622721 WITH SCORE 623511.12
AT ITER 5561 NEW BEST:: SOT 4409336 SOS 790192 HAS SOPS 790192 HAS SOUS 622633 HAS SOUPS 622633 WITH SCORE 623423.192
AT ITER 5562 NEW BEST:: SOT 4409335 SOS 790011 HAS SOPS 790011 HAS SOUS 622631 HAS SOUPS 622631 WITH SCORE 623421.011
AT ITER 5566 NEW BEST:: SOT 4409194 SOS 789934 HAS SOPS 789934 HAS SOUS 622490 HAS SOUPS 622490 WITH SCORE 623279.934
AT ITER 5586 NEW BEST:: SOT 4409179 SOS 789904 HAS SOPS 789904 HAS SOUS 622412 HAS SOUPS 622412 WITH SCORE 623201.904
AT ITER 5623 NEW BEST:: SOT 4409179 SOS 789362 HAS SOPS 789362 HAS SOUS 622141 HAS SOUPS 622141 WITH SCORE 622930.362
AT ITER 5639 NEW BEST:: SOT 4409106 SOS 789216 HAS SOPS 789216 HAS SOUS 621995 HAS SOUPS 621995 WITH SCORE 622784.216
AT ITER 5649 NEW BEST:: SOT 4409201 SOS 788968 HAS SOPS 788968 HAS SOUS 621967 HAS SOUPS 621967 WITH SCORE 622755.968
AT ITER 5669 NEW BEST:: SOT 4409436 SOS 788640 HAS SOPS 788640 HAS SOUS 621829 HAS SOUPS 621829 WITH SCORE 622617.64
AT ITER 5744 NEW BEST:: SOT 4409327 SOS 784544 HAS SOPS 784544 HAS SOUS 621446 HAS SOUPS 621446 WITH SCORE 622230.544
AT ITER 5747 NEW BEST:: SOT 4409498 SOS 783751 HAS SOPS 783751 HAS SOUS 621390 HAS SOUPS 621390 WITH SCORE 622173.751
AT ITER 5750 NEW BEST:: SOT 4409498 SOS 783751 HAS SOPS 783751 HAS SOUS 621381 HAS SOUPS 621381 WITH SCORE 622164.751
AT ITER 5756 NEW BEST:: SOT 4409513 SOS 783747 HAS SOPS 783747 HAS SOUS 621377 HAS SOUPS 621377 WITH SCORE 622160.747
AT ITER 5762 NEW BEST:: SOT 4409487 SOS 783695 HAS SOPS 783695 HAS SOUS 621350 HAS SOUPS 621350 WITH SCORE 622133.695
AT ITER 5807 NEW BEST:: SOT 4409487 SOS 783360 HAS SOPS 783360 HAS SOUS 621350 HAS SOUPS 621350 WITH SCORE 622133.36
AT ITER 5834 NEW BEST:: SOT 4409244 SOS 783303 HAS SOPS 783303 HAS SOUS 621107 HAS SOUPS 621107 WITH SCORE 621890.303
AT ITER 5839 NEW BEST:: SOT 4409026 SOS 782867 HAS SOPS 782867 HAS SOUS 620533 HAS SOUPS 620533 WITH SCORE 621315.867
AT ITER 5860 NEW BEST:: SOT 4409025 SOS 782865 HAS SOPS 782865 HAS SOUS 620531 HAS SOUPS 620531 WITH SCORE 621313.865
AT ITER 5861 NEW BEST:: SOT 4408963 SOS 782571 HAS SOPS 782571 HAS SOUS 620316 HAS SOUPS 620316 WITH SCORE 621098.571
AT ITER 5884 NEW BEST:: SOT 4408963 SOS 782350 HAS SOPS 782350 HAS SOUS 620316 HAS SOUPS 620316 WITH SCORE 621098.35
AT ITER 5900 NEW BEST:: SOT 4408797 SOS 782018 HAS SOPS 782018 HAS SOUS 620316 HAS SOUPS 620316 WITH SCORE 621098.018
AT ITER 5918 NEW BEST:: SOT 4408670 SOS 781325 HAS SOPS 781325 HAS SOUS 619750 HAS SOUPS 619750 WITH SCORE 620531.325
AT ITER 5975 NEW BEST:: SOT 4408592 SOS 781261 HAS SOPS 781261 HAS SOUS 619672 HAS SOUPS 619672 WITH SCORE 620453.261
AT ITER 5985 NEW BEST:: SOT 4408547 SOS 781171 HAS SOPS 781171 HAS SOUS 619582 HAS SOUPS 619582 WITH SCORE 620363.171
AT ITER 5993 NEW BEST:: SOT 4408504 SOS 780958 HAS SOPS 780958 HAS SOUS 619412 HAS SOUPS 619412 WITH SCORE 620192.958
AT ITER 6000 NEW BEST:: SOT 4408575 SOS 780870 HAS SOPS 780870 HAS SOUS 619341 HAS SOUPS 619341 WITH SCORE 620121.87
AT ITER 6042 NEW BEST:: SOT 4408519 SOS 780758 HAS SOPS 780758 HAS SOUS 619229 HAS SOUPS 619229 WITH SCORE 620009.758
AT ITER 6096 NEW BEST:: SOT 4408518 SOS 780756 HAS SOPS 780756 HAS SOUS 619227 HAS SOUPS 619227 WITH SCORE 620007.756
AT ITER 6126 NEW BEST:: SOT 4408527 SOS 780774 HAS SOPS 780774 HAS SOUS 619182 HAS SOUPS 619182 WITH SCORE 619962.774
AT ITER 6128 NEW BEST:: SOT 4408603 SOS 780926 HAS SOPS 780926 HAS SOUS 618999 HAS SOUPS 618999 WITH SCORE 619779.926
AT ITER 6132 NEW BEST:: SOT 4408402 SOS 780524 HAS SOPS 780524 HAS SOUS 618597 HAS SOUPS 618597 WITH SCORE 619377.524
AT ITER 6148 NEW BEST:: SOT 4407985 SOS 780849 HAS SOPS 780849 HAS SOUS 618373 HAS SOUPS 618373 WITH SCORE 619153.849
AT ITER 6160 NEW BEST:: SOT 4407950 SOS 780746 HAS SOPS 780746 HAS SOUS 618303 HAS SOUPS 618303 WITH SCORE 619083.746
AT ITER 6163 NEW BEST:: SOT 4407863 SOS 780087 HAS SOPS 780087 HAS SOUS 618129 HAS SOUPS 618129 WITH SCORE 618909.087
AT ITER 6181 NEW BEST:: SOT 4407666 SOS 779867 HAS SOPS 779867 HAS SOUS 617909 HAS SOUPS 617909 WITH SCORE 618688.867
AT ITER 6187 NEW BEST:: SOT 4407635 SOS 779805 HAS SOPS 779805 HAS SOUS 617847 HAS SOUPS 617847 WITH SCORE 618626.805
AT ITER 6193 NEW BEST:: SOT 4407536 SOS 779837 HAS SOPS 779837 HAS SOUS 617755 HAS SOUPS 617755 WITH SCORE 618534.837
AT ITER 6196 NEW BEST:: SOT 4407638 SOS 780273 HAS SOPS 780273 HAS SOUS 617727 HAS SOUPS 617727 WITH SCORE 618507.273
AT ITER 6210 NEW BEST:: SOT 4407764 SOS 780259 HAS SOPS 780259 HAS SOUS 617713 HAS SOUPS 617713 WITH SCORE 618493.259
AT ITER 6222 NEW BEST:: SOT 4407527 SOS 779966 HAS SOPS 779966 HAS SOUS 617476 HAS SOUPS 617476 WITH SCORE 618255.966
AT ITER 6239 NEW BEST:: SOT 4407527 SOS 779928 HAS SOPS 779928 HAS SOUS 617438 HAS SOUPS 617438 WITH SCORE 618217.928
AT ITER 6249 NEW BEST:: SOT 4407351 SOS 779752 HAS SOPS 779752 HAS SOUS 617262 HAS SOUPS 617262 WITH SCORE 618041.752
AT ITER 6256 NEW BEST:: SOT 4407303 SOS 779722 HAS SOPS 779722 HAS SOUS 617225 HAS SOUPS 617225 WITH SCORE 618004.722
AT ITER 6310 NEW BEST:: SOT 4407225 SOS 779566 HAS SOPS 779566 HAS SOUS 617069 HAS SOUPS 617069 WITH SCORE 617848.566
AT ITER 6390 NEW BEST:: SOT 4407225 SOS 779566 HAS SOPS 779566 HAS SOUS 617017 HAS SOUPS 617017 WITH SCORE 617796.566
AT ITER 6393 NEW BEST:: SOT 4407232 SOS 779580 HAS SOPS 779580 HAS SOUS 617008 HAS SOUPS 617008 WITH SCORE 617787.58
AT ITER 6401 NEW BEST:: SOT 4407232 SOS 779580 HAS SOPS 779580 HAS SOUS 616976 HAS SOUPS 616976 WITH SCORE 617755.58
AT ITER 6416 NEW BEST:: SOT 4407225 SOS 778795 HAS SOPS 778795 HAS SOUS 616864 HAS SOUPS 616864 WITH SCORE 617642.795
AT ITER 6417 NEW BEST:: SOT 4407207 SOS 778759 HAS SOPS 778759 HAS SOUS 616846 HAS SOUPS 616846 WITH SCORE 617624.759
AT ITER 6452 NEW BEST:: SOT 4407140 SOS 778625 HAS SOPS 778625 HAS SOUS 616712 HAS SOUPS 616712 WITH SCORE 617490.625
AT ITER 6515 NEW BEST:: SOT 4406834 SOS 778013 HAS SOPS 778013 HAS SOUS 616100 HAS SOUPS 616100 WITH SCORE 616878.013
AT ITER 6520 NEW BEST:: SOT 4406834 SOS 777926 HAS SOPS 777926 HAS SOUS 616100 HAS SOUPS 616100 WITH SCORE 616877.926
AT ITER 6589 NEW BEST:: SOT 4406831 SOS 777920 HAS SOPS 777920 HAS SOUS 616094 HAS SOUPS 616094 WITH SCORE 616871.92
AT ITER 6611 NEW BEST:: SOT 4406831 SOS 777920 HAS SOPS 777920 HAS SOUS 616090 HAS SOUPS 616090 WITH SCORE 616867.92
AT ITER 6618 NEW BEST:: SOT 4406831 SOS 777795 HAS SOPS 777795 HAS SOUS 615965 HAS SOUPS 615965 WITH SCORE 616742.795
AT ITER 6633 NEW BEST:: SOT 4406822 SOS 777777 HAS SOPS 777777 HAS SOUS 615947 HAS SOUPS 615947 WITH SCORE 616724.777
AT ITER 6640 NEW BEST:: SOT 4406910 SOS 777557 HAS SOPS 777557 HAS SOUS 615893 HAS SOUPS 615893 WITH SCORE 616670.557
AT ITER 6662 NEW BEST:: SOT 4406910 SOS 777467 HAS SOPS 777467 HAS SOUS 615848 HAS SOUPS 615848 WITH SCORE 616625.467
AT ITER 6690 NEW BEST:: SOT 4406919 SOS 777439 HAS SOPS 777439 HAS SOUS 615526 HAS SOUPS 615526 WITH SCORE 616303.439
AT ITER 6728 NEW BEST:: SOT 4406774 SOS 777010 HAS SOPS 777010 HAS SOUS 615236 HAS SOUPS 615236 WITH SCORE 616013.01
AT ITER 6748 NEW BEST:: SOT 4406550 SOS 776488 HAS SOPS 776488 HAS SOUS 614788 HAS SOUPS 614788 WITH SCORE 615564.488
AT ITER 6749 NEW BEST:: SOT 4406503 SOS 776394 HAS SOPS 776394 HAS SOUS 614694 HAS SOUPS 614694 WITH SCORE 615470.394
AT ITER 6762 NEW BEST:: SOT 4406611 SOS 776177 HAS SOPS 776177 HAS SOUS 614488 HAS SOUPS 614488 WITH SCORE 615264.177
AT ITER 6805 NEW BEST:: SOT 4406518 SOS 776147 HAS SOPS 776147 HAS SOUS 614458 HAS SOUPS 614458 WITH SCORE 615234.147
AT ITER 6824 NEW BEST:: SOT 4406427 SOS 776088 HAS SOPS 776088 HAS SOUS 614399 HAS SOUPS 614399 WITH SCORE 615175.088
AT ITER 6830 NEW BEST:: SOT 4406219 SOS 776088 HAS SOPS 776088 HAS SOUS 614292 HAS SOUPS 614292 WITH SCORE 615068.088
AT ITER 6864 NEW BEST:: SOT 4405821 SOS 775292 HAS SOPS 775292 HAS SOUS 613933 HAS SOUPS 613933 WITH SCORE 614708.292
AT ITER 6889 NEW BEST:: SOT 4405775 SOS 781346 HAS SOPS 781346 HAS SOUS 613887 HAS SOUPS 613887 WITH SCORE 614668.346
AT ITER 6911 NEW BEST:: SOT 4405825 SOS 781137 HAS SOPS 781137 HAS SOUS 613678 HAS SOUPS 613678 WITH SCORE 614459.137
AT ITER 6928 NEW BEST:: SOT 4405825 SOS 781136 HAS SOPS 781136 HAS SOUS 613678 HAS SOUPS 613678 WITH SCORE 614459.136
AT ITER 6956 NEW BEST:: SOT 4405785 SOS 781056 HAS SOPS 781056 HAS SOUS 613638 HAS SOUPS 613638 WITH SCORE 614419.056
AT ITER 6959 NEW BEST:: SOT 4405648 SOS 780783 HAS SOPS 780783 HAS SOUS 613500 HAS SOUPS 613500 WITH SCORE 614280.783
AT ITER 7036 NEW BEST:: SOT 4405710 SOS 780907 HAS SOPS 780907 HAS SOUS 613427 HAS SOUPS 613427 WITH SCORE 614207.907
AT ITER 7107 NEW BEST:: SOT 4404978 SOS 783699 HAS SOPS 783699 HAS SOUS 613327 HAS SOUPS 613327 WITH SCORE 614110.699
AT ITER 7143 NEW BEST:: SOT 4405030 SOS 783430 HAS SOPS 783430 HAS SOUS 613110 HAS SOUPS 613110 WITH SCORE 613893.43
AT ITER 7168 NEW BEST:: SOT 4404973 SOS 783372 HAS SOPS 783372 HAS SOUS 613052 HAS SOUPS 613052 WITH SCORE 613835.372
AT ITER 7189 NEW BEST:: SOT 4404973 SOS 783372 HAS SOPS 783372 HAS SOUS 613051 HAS SOUPS 613051 WITH SCORE 613834.372
AT ITER 7190 NEW BEST:: SOT 4404973 SOS 783303 HAS SOPS 783303 HAS SOUS 613051 HAS SOUPS 613051 WITH SCORE 613834.303
AT ITER 7214 NEW BEST:: SOT 4404929 SOS 783215 HAS SOPS 783215 HAS SOUS 612963 HAS SOUPS 612963 WITH SCORE 613746.215
AT ITER 7235 NEW BEST:: SOT 4404687 SOS 782731 HAS SOPS 782731 HAS SOUS 612706 HAS SOUPS 612706 WITH SCORE 613488.731
AT ITER 7270 NEW BEST:: SOT 4404681 SOS 782719 HAS SOPS 782719 HAS SOUS 612700 HAS SOUPS 612700 WITH SCORE 613482.719
AT ITER 7272 NEW BEST:: SOT 4404596 SOS 782671 HAS SOPS 782671 HAS SOUS 612652 HAS SOUPS 612652 WITH SCORE 613434.671
AT ITER 7275 NEW BEST:: SOT 4404576 SOS 782631 HAS SOPS 782631 HAS SOUS 612612 HAS SOUPS 612612 WITH SCORE 613394.631
AT ITER 7280 NEW BEST:: SOT 4404339 SOS 782511 HAS SOPS 782511 HAS SOUS 612415 HAS SOUPS 612415 WITH SCORE 613197.511
AT ITER 7287 NEW BEST:: SOT 4404251 SOS 781949 HAS SOPS 781949 HAS SOUS 612239 HAS SOUPS 612239 WITH SCORE 613020.949
AT ITER 7335 NEW BEST:: SOT 4404223 SOS 781893 HAS SOPS 781893 HAS SOUS 611996 HAS SOUPS 611996 WITH SCORE 612777.893
AT ITER 7337 NEW BEST:: SOT 4404223 SOS 781835 HAS SOPS 781835 HAS SOUS 611996 HAS SOUPS 611996 WITH SCORE 612777.835
AT ITER 7345 NEW BEST:: SOT 4404201 SOS 781823 HAS SOPS 781823 HAS SOUS 611964 HAS SOUPS 611964 WITH SCORE 612745.823
AT ITER 7360 NEW BEST:: SOT 4404137 SOS 781695 HAS SOPS 781695 HAS SOUS 611900 HAS SOUPS 611900 WITH SCORE 612681.695
AT ITER 7387 NEW BEST:: SOT 4404062 SOS 781695 HAS SOPS 781695 HAS SOUS 611750 HAS SOUPS 611750 WITH SCORE 612531.695
AT ITER 7416 NEW BEST:: SOT 4403939 SOS 781648 HAS SOPS 781648 HAS SOUS 611647 HAS SOUPS 611647 WITH SCORE 612428.648
AT ITER 7454 NEW BEST:: SOT 4403770 SOS 781263 HAS SOPS 781263 HAS SOUS 611478 HAS SOUPS 611478 WITH SCORE 612259.263
AT ITER 7478 NEW BEST:: SOT 4403640 SOS 781003 HAS SOPS 781003 HAS SOUS 611478 HAS SOUPS 611478 WITH SCORE 612259.003
AT ITER 7490 NEW BEST:: SOT 4403487 SOS 780850 HAS SOPS 780850 HAS SOUS 611325 HAS SOUPS 611325 WITH SCORE 612105.85
AT ITER 7492 NEW BEST:: SOT 4403051 SOS 782158 HAS SOPS 782158 HAS SOUS 611107 HAS SOUPS 611107 WITH SCORE 611889.158
AT ITER 7506 NEW BEST:: SOT 4403050 SOS 782156 HAS SOPS 782156 HAS SOUS 611105 HAS SOUPS 611105 WITH SCORE 611887.156
AT ITER 7519 NEW BEST:: SOT 4403049 SOS 782082 HAS SOPS 782082 HAS SOUS 611103 HAS SOUPS 611103 WITH SCORE 611885.082
AT ITER 7523 NEW BEST:: SOT 4403000 SOS 781984 HAS SOPS 781984 HAS SOUS 611005 HAS SOUPS 611005 WITH SCORE 611786.984
AT ITER 7555 NEW BEST:: SOT 4402941 SOS 781866 HAS SOPS 781866 HAS SOUS 610887 HAS SOUPS 610887 WITH SCORE 611668.866
AT ITER 7562 NEW BEST:: SOT 4402941 SOS 781416 HAS SOPS 781416 HAS SOUS 610887 HAS SOUPS 610887 WITH SCORE 611668.416
AT ITER 7615 NEW BEST:: SOT 4402941 SOS 781356 HAS SOPS 781356 HAS SOUS 610827 HAS SOUPS 610827 WITH SCORE 611608.356
AT ITER 7637 NEW BEST:: SOT 4402932 SOS 781338 HAS SOPS 781338 HAS SOUS 610822 HAS SOUPS 610822 WITH SCORE 611603.338
AT ITER 7671 NEW BEST:: SOT 4402602 SOS 781206 HAS SOPS 781206 HAS SOUS 610492 HAS SOUPS 610492 WITH SCORE 611273.206
AT ITER 7672 NEW BEST:: SOT 4402580 SOS 781162 HAS SOPS 781162 HAS SOUS 610448 HAS SOUPS 610448 WITH SCORE 611229.162
AT ITER 7676 NEW BEST:: SOT 4402397 SOS 780409 HAS SOPS 780409 HAS SOUS 610082 HAS SOUPS 610082 WITH SCORE 610862.409
AT ITER 7687 NEW BEST:: SOT 4402306 SOS 780227 HAS SOPS 780227 HAS SOUS 609900 HAS SOUPS 609900 WITH SCORE 610680.227
AT ITER 7732 NEW BEST:: SOT 4402338 SOS 779960 HAS SOPS 779960 HAS SOUS 609765 HAS SOUPS 609765 WITH SCORE 610544.96
AT ITER 7744 NEW BEST:: SOT 4402213 SOS 780030 HAS SOPS 780030 HAS SOUS 609737 HAS SOUPS 609737 WITH SCORE 610517.03
AT ITER 7754 NEW BEST:: SOT 4402252 SOS 779729 HAS SOPS 779729 HAS SOUS 609599 HAS SOUPS 609599 WITH SCORE 610378.729
AT ITER 7775 NEW BEST:: SOT 4402248 SOS 779721 HAS SOPS 779721 HAS SOUS 609591 HAS SOUPS 609591 WITH SCORE 610370.721
AT ITER 7782 NEW BEST:: SOT 4402248 SOS 779626 HAS SOPS 779626 HAS SOUS 609591 HAS SOUPS 609591 WITH SCORE 610370.626
AT ITER 7816 NEW BEST:: SOT 4402196 SOS 779501 HAS SOPS 779501 HAS SOUS 609487 HAS SOUPS 609487 WITH SCORE 610266.501
AT ITER 7865 NEW BEST:: SOT 4402163 SOS 779435 HAS SOPS 779435 HAS SOUS 609454 HAS SOUPS 609454 WITH SCORE 610233.435
AT ITER 7875 NEW BEST:: SOT 4402124 SOS 779428 HAS SOPS 779428 HAS SOUS 609429 HAS SOUPS 609429 WITH SCORE 610208.428
AT ITER 7913 NEW BEST:: SOT 4402108 SOS 779412 HAS SOPS 779412 HAS SOUS 609413 HAS SOUPS 609413 WITH SCORE 610192.412
AT ITER 7934 NEW BEST:: SOT 4401701 SOS 778598 HAS SOPS 778598 HAS SOUS 609233 HAS SOUPS 609233 WITH SCORE 610011.598
AT ITER 7939 NEW BEST:: SOT 4401454 SOS 778104 HAS SOPS 778104 HAS SOUS 608755 HAS SOUPS 608755 WITH SCORE 609533.104
AT ITER 7944 NEW BEST:: SOT 4401298 SOS 777850 HAS SOPS 777850 HAS SOUS 608597 HAS SOUPS 608597 WITH SCORE 609374.85
AT ITER 7977 NEW BEST:: SOT 4401230 SOS 777567 HAS SOPS 777567 HAS SOUS 608203 HAS SOUPS 608203 WITH SCORE 608980.567
AT ITER 7980 NEW BEST:: SOT 4400939 SOS 776985 HAS SOPS 776985 HAS SOUS 607621 HAS SOUPS 607621 WITH SCORE 608397.985
AT ITER 7983 NEW BEST:: SOT 4399850 SOS 776922 HAS SOPS 776922 HAS SOUS 606717 HAS SOUPS 606717 WITH SCORE 607493.922
AT ITER 7987 NEW BEST:: SOT 4399769 SOS 776760 HAS SOPS 776760 HAS SOUS 606636 HAS SOUPS 606636 WITH SCORE 607412.76
AT ITER 7991 NEW BEST:: SOT 4399765 SOS 776752 HAS SOPS 776752 HAS SOUS 606632 HAS SOUPS 606632 WITH SCORE 607408.752
AT ITER 8003 NEW BEST:: SOT 4399235 SOS 776120 HAS SOPS 776120 HAS SOUS 606214 HAS SOUPS 606214 WITH SCORE 606990.12
AT ITER 8039 NEW BEST:: SOT 4399150 SOS 775950 HAS SOPS 775950 HAS SOUS 606044 HAS SOUPS 606044 WITH SCORE 606819.95
AT ITER 8050 NEW BEST:: SOT 4399107 SOS 775840 HAS SOPS 775840 HAS SOUS 605958 HAS SOUPS 605958 WITH SCORE 606733.84
AT ITER 8082 NEW BEST:: SOT 4399035 SOS 775696 HAS SOPS 775696 HAS SOUS 605886 HAS SOUPS 605886 WITH SCORE 606661.696
AT ITER 8119 NEW BEST:: SOT 4398901 SOS 775409 HAS SOPS 775409 HAS SOUS 605547 HAS SOUPS 605547 WITH SCORE 606322.409
AT ITER 8152 NEW BEST:: SOT 4398896 SOS 775399 HAS SOPS 775399 HAS SOUS 605537 HAS SOUPS 605537 WITH SCORE 606312.399
AT ITER 8171 NEW BEST:: SOT 4398817 SOS 775241 HAS SOPS 775241 HAS SOUS 605379 HAS SOUPS 605379 WITH SCORE 606154.241
AT ITER 8186 NEW BEST:: SOT 4398671 SOS 774803 HAS SOPS 774803 HAS SOUS 605087 HAS SOUPS 605087 WITH SCORE 605861.803
AT ITER 8191 NEW BEST:: SOT 4398668 SOS 774797 HAS SOPS 774797 HAS SOUS 605081 HAS SOUPS 605081 WITH SCORE 605855.797
AT ITER 8194 NEW BEST:: SOT 4398668 SOS 774692 HAS SOPS 774692 HAS SOUS 604976 HAS SOUPS 604976 WITH SCORE 605750.692
AT ITER 8210 NEW BEST:: SOT 4398591 SOS 774538 HAS SOPS 774538 HAS SOUS 604822 HAS SOUPS 604822 WITH SCORE 605596.538
AT ITER 8230 NEW BEST:: SOT 4398462 SOS 774280 HAS SOPS 774280 HAS SOUS 604704 HAS SOUPS 604704 WITH SCORE 605478.28
AT ITER 8267 NEW BEST:: SOT 4398406 SOS 774224 HAS SOPS 774224 HAS SOUS 604648 HAS SOUPS 604648 WITH SCORE 605422.224
AT ITER 8285 NEW BEST:: SOT 4398365 SOS 774142 HAS SOPS 774142 HAS SOUS 604602 HAS SOUPS 604602 WITH SCORE 605376.142
AT ITER 8291 NEW BEST:: SOT 4398313 SOS 774089 HAS SOPS 774089 HAS SOUS 604549 HAS SOUPS 604549 WITH SCORE 605323.089
AT ITER 8308 NEW BEST:: SOT 4398209 SOS 774088 HAS SOPS 774088 HAS SOUS 604548 HAS SOUPS 604548 WITH SCORE 605322.088
AT ITER 8311 NEW BEST:: SOT 4398233 SOS 774055 HAS SOPS 774055 HAS SOUS 604531 HAS SOUPS 604531 WITH SCORE 605305.055
AT ITER 8314 NEW BEST:: SOT 4398035 SOS 773659 HAS SOPS 773659 HAS SOUS 604154 HAS SOUPS 604154 WITH SCORE 604927.659
AT ITER 8346 NEW BEST:: SOT 4397996 SOS 773620 HAS SOPS 773620 HAS SOUS 604115 HAS SOUPS 604115 WITH SCORE 604888.62
AT ITER 8368 NEW BEST:: SOT 4397996 SOS 773524 HAS SOPS 773524 HAS SOUS 604067 HAS SOUPS 604067 WITH SCORE 604840.524
AT ITER 8374 NEW BEST:: SOT 4397884 SOS 773300 HAS SOPS 773300 HAS SOUS 603843 HAS SOUPS 603843 WITH SCORE 604616.3
AT ITER 8397 NEW BEST:: SOT 4397854 SOS 773240 HAS SOPS 773240 HAS SOUS 603843 HAS SOUPS 603843 WITH SCORE 604616.24
AT ITER 8417 NEW BEST:: SOT 4397773 SOS 773078 HAS SOPS 773078 HAS SOUS 603778 HAS SOUPS 603778 WITH SCORE 604551.078
AT ITER 8474 NEW BEST:: SOT 4397525 SOS 772582 HAS SOPS 772582 HAS SOUS 603591 HAS SOUPS 603591 WITH SCORE 604363.582
AT ITER 8490 NEW BEST:: SOT 4397525 SOS 772125 HAS SOPS 772125 HAS SOUS 603134 HAS SOUPS 603134 WITH SCORE 603906.125
AT ITER 8497 NEW BEST:: SOT 4397525 SOS 771944 HAS SOPS 771944 HAS SOUS 603134 HAS SOUPS 603134 WITH SCORE 603905.944
AT ITER 8509 NEW BEST:: SOT 4397253 SOS 771400 HAS SOPS 771400 HAS SOUS 602862 HAS SOUPS 602862 WITH SCORE 603633.4
AT ITER 8520 NEW BEST:: SOT 4397221 SOS 771336 HAS SOPS 771336 HAS SOUS 602830 HAS SOUPS 602830 WITH SCORE 603601.336
AT ITER 8533 NEW BEST:: SOT 4397142 SOS 771178 HAS SOPS 771178 HAS SOUS 602672 HAS SOUPS 602672 WITH SCORE 603443.178
AT ITER 8543 NEW BEST:: SOT 4397089 SOS 771072 HAS SOPS 771072 HAS SOUS 602416 HAS SOUPS 602416 WITH SCORE 603187.072
AT ITER 8545 NEW BEST:: SOT 4397039 SOS 770922 HAS SOPS 770922 HAS SOUS 602366 HAS SOUPS 602366 WITH SCORE 603136.922
AT ITER 8605 NEW BEST:: SOT 4396963 SOS 770846 HAS SOPS 770846 HAS SOUS 602307 HAS SOUPS 602307 WITH SCORE 603077.846
AT ITER 8608 NEW BEST:: SOT 4396923 SOS 770766 HAS SOPS 770766 HAS SOUS 602227 HAS SOUPS 602227 WITH SCORE 602997.766
AT ITER 8659 NEW BEST:: SOT 4396543 SOS 770386 HAS SOPS 770386 HAS SOUS 601847 HAS SOUPS 601847 WITH SCORE 602617.386
AT ITER 8707 NEW BEST:: SOT 4396448 SOS 770196 HAS SOPS 770196 HAS SOUS 601752 HAS SOUPS 601752 WITH SCORE 602522.196
AT ITER 8782 NEW BEST:: SOT 4396402 SOS 770104 HAS SOPS 770104 HAS SOUS 601660 HAS SOUPS 601660 WITH SCORE 602430.104
AT ITER 8805 NEW BEST:: SOT 4396310 SOS 770020 HAS SOPS 770020 HAS SOUS 601568 HAS SOUPS 601568 WITH SCORE 602338.02
AT ITER 8806 NEW BEST:: SOT 4396228 SOS 769856 HAS SOPS 769856 HAS SOUS 601486 HAS SOUPS 601486 WITH SCORE 602255.856
AT ITER 8833 NEW BEST:: SOT 4396123 SOS 769646 HAS SOPS 769646 HAS SOUS 601276 HAS SOUPS 601276 WITH SCORE 602045.646
AT ITER 8848 NEW BEST:: SOT 4396090 SOS 769547 HAS SOPS 769547 HAS SOUS 601240 HAS SOUPS 601240 WITH SCORE 602009.547
AT ITER 8850 NEW BEST:: SOT 4396035 SOS 769341 HAS SOPS 769341 HAS SOUS 601130 HAS SOUPS 601130 WITH SCORE 601899.341
AT ITER 8875 NEW BEST:: SOT 4396019 SOS 769058 HAS SOPS 769058 HAS SOUS 601085 HAS SOUPS 601085 WITH SCORE 601854.058
AT ITER 8892 NEW BEST:: SOT 4395999 SOS 769048 HAS SOPS 769048 HAS SOUS 601065 HAS SOUPS 601065 WITH SCORE 601834.048
AT ITER 8897 NEW BEST:: SOT 4395985 SOS 769020 HAS SOPS 769020 HAS SOUS 601051 HAS SOUPS 601051 WITH SCORE 601820.02
AT ITER 8901 NEW BEST:: SOT 4395923 SOS 768958 HAS SOPS 768958 HAS SOUS 600989 HAS SOUPS 600989 WITH SCORE 601757.958
AT ITER 8902 NEW BEST:: SOT 4395746 SOS 768604 HAS SOPS 768604 HAS SOUS 600635 HAS SOUPS 600635 WITH SCORE 601403.604
AT ITER 8932 NEW BEST:: SOT 4395425 SOS 769377 HAS SOPS 769377 HAS SOUS 600341 HAS SOUPS 600341 WITH SCORE 601110.377
AT ITER 8998 NEW BEST:: SOT 4395425 SOS 769371 HAS SOPS 769371 HAS SOUS 600335 HAS SOUPS 600335 WITH SCORE 601104.371
AT ITER 9063 NEW BEST:: SOT 4395424 SOS 769364 HAS SOPS 769364 HAS SOUS 600334 HAS SOUPS 600334 WITH SCORE 601103.364
AT ITER 9070 NEW BEST:: SOT 4395326 SOS 769168 HAS SOPS 769168 HAS SOUS 600225 HAS SOUPS 600225 WITH SCORE 600994.168
AT ITER 9075 NEW BEST:: SOT 4395303 SOS 769122 HAS SOPS 769122 HAS SOUS 600193 HAS SOUPS 600193 WITH SCORE 600962.122
AT ITER 9084 NEW BEST:: SOT 4395233 SOS 768982 HAS SOPS 768982 HAS SOUS 600053 HAS SOUPS 600053 WITH SCORE 600821.982
AT ITER 9100 NEW BEST:: SOT 4395132 SOS 768881 HAS SOPS 768881 HAS SOUS 599952 HAS SOUPS 599952 WITH SCORE 600720.881
AT ITER 9126 NEW BEST:: SOT 4395063 SOS 768743 HAS SOPS 768743 HAS SOUS 599814 HAS SOUPS 599814 WITH SCORE 600582.743
AT ITER 9133 NEW BEST:: SOT 4394971 SOS 768559 HAS SOPS 768559 HAS SOUS 599630 HAS SOUPS 599630 WITH SCORE 600398.559
AT ITER 9172 NEW BEST:: SOT 4394938 SOS 768493 HAS SOPS 768493 HAS SOUS 599564 HAS SOUPS 599564 WITH SCORE 600332.493
AT ITER 9176 NEW BEST:: SOT 4394836 SOS 768289 HAS SOPS 768289 HAS SOUS 599547 HAS SOUPS 599547 WITH SCORE 600315.289
AT ITER 9192 NEW BEST:: SOT 4394835 SOS 768278 HAS SOPS 768278 HAS SOUS 599545 HAS SOUPS 599545 WITH SCORE 600313.278
AT ITER 9268 NEW BEST:: SOT 4394834 SOS 768276 HAS SOPS 768276 HAS SOUS 599543 HAS SOUPS 599543 WITH SCORE 600311.276
AT ITER 9269 NEW BEST:: SOT 4394450 SOS 768013 HAS SOPS 768013 HAS SOUS 599279 HAS SOUPS 599279 WITH SCORE 600047.013
AT ITER 9280 NEW BEST:: SOT 4394335 SOS 767783 HAS SOPS 767783 HAS SOUS 599164 HAS SOUPS 599164 WITH SCORE 599931.783
AT ITER 9296 NEW BEST:: SOT 4393946 SOS 768040 HAS SOPS 768040 HAS SOUS 599141 HAS SOUPS 599141 WITH SCORE 599909.04
AT ITER 9335 NEW BEST:: SOT 4393946 SOS 768040 HAS SOPS 768040 HAS SOUS 599107 HAS SOUPS 599107 WITH SCORE 599875.04
AT ITER 9373 NEW BEST:: SOT 4393923 SOS 767994 HAS SOPS 767994 HAS SOUS 599061 HAS SOUPS 599061 WITH SCORE 599828.994
AT ITER 9384 NEW BEST:: SOT 4393923 SOS 767994 HAS SOPS 767994 HAS SOUS 599050 HAS SOUPS 599050 WITH SCORE 599817.994
AT ITER 9398 NEW BEST:: SOT 4393871 SOS 767890 HAS SOPS 767890 HAS SOUS 598972 HAS SOUPS 598972 WITH SCORE 599739.89
AT ITER 9463 NEW BEST:: SOT 4393806 SOS 767760 HAS SOPS 767760 HAS SOUS 598924 HAS SOUPS 598924 WITH SCORE 599691.76
AT ITER 9501 NEW BEST:: SOT 4393715 SOS 767669 HAS SOPS 767669 HAS SOUS 598833 HAS SOUPS 598833 WITH SCORE 599600.669
AT ITER 9542 NEW BEST:: SOT 4393648 SOS 767535 HAS SOPS 767535 HAS SOUS 598699 HAS SOUPS 598699 WITH SCORE 599466.535
AT ITER 9553 NEW BEST:: SOT 4393539 SOS 766894 HAS SOPS 766894 HAS SOUS 598172 HAS SOUPS 598172 WITH SCORE 598938.894
AT ITER 9583 NEW BEST:: SOT 4393538 SOS 766887 HAS SOPS 766887 HAS SOUS 598170 HAS SOUPS 598170 WITH SCORE 598936.887
AT ITER 9584 NEW BEST:: SOT 4393537 SOS 766885 HAS SOPS 766885 HAS SOUS 598168 HAS SOUPS 598168 WITH SCORE 598934.885
AT ITER 9588 NEW BEST:: SOT 4393526 SOS 766973 HAS SOPS 766973 HAS SOUS 598157 HAS SOUPS 598157 WITH SCORE 598923.973
AT ITER 9611 NEW BEST:: SOT 4393480 SOS 766960 HAS SOPS 766960 HAS SOUS 598133 HAS SOUPS 598133 WITH SCORE 598899.96
AT ITER 9628 NEW BEST:: SOT 4393312 SOS 766792 HAS SOPS 766792 HAS SOUS 597965 HAS SOUPS 597965 WITH SCORE 598731.792
AT ITER 9631 NEW BEST:: SOT 4393272 SOS 766712 HAS SOPS 766712 HAS SOUS 597905 HAS SOUPS 597905 WITH SCORE 598671.712
AT ITER 9702 NEW BEST:: SOT 4393343 SOS 766678 HAS SOPS 766678 HAS SOUS 597871 HAS SOUPS 597871 WITH SCORE 598637.678
AT ITER 9703 NEW BEST:: SOT 4393225 SOS 766501 HAS SOPS 766501 HAS SOUS 597694 HAS SOUPS 597694 WITH SCORE 598460.501
AT ITER 9704 NEW BEST:: SOT 4393174 SOS 766399 HAS SOPS 766399 HAS SOUS 597592 HAS SOUPS 597592 WITH SCORE 598358.399
AT ITER 9734 NEW BEST:: SOT 4392882 SOS 766280 HAS SOPS 766280 HAS SOUS 597473 HAS SOUPS 597473 WITH SCORE 598239.28
AT ITER 9750 NEW BEST:: SOT 4392847 SOS 766210 HAS SOPS 766210 HAS SOUS 597403 HAS SOUPS 597403 WITH SCORE 598169.21
AT ITER 9752 NEW BEST:: SOT 4392779 SOS 766074 HAS SOPS 766074 HAS SOUS 597341 HAS SOUPS 597341 WITH SCORE 598107.074
AT ITER 9755 NEW BEST:: SOT 4392714 SOS 765944 HAS SOPS 765944 HAS SOUS 597341 HAS SOUPS 597341 WITH SCORE 598106.944
AT ITER 9779 NEW BEST:: SOT 4392525 SOS 765566 HAS SOPS 765566 HAS SOUS 596963 HAS SOUPS 596963 WITH SCORE 597728.566
AT ITER 9791 NEW BEST:: SOT 4392525 SOS 765282 HAS SOPS 765282 HAS SOUS 596963 HAS SOUPS 596963 WITH SCORE 597728.282
AT ITER 9841 NEW BEST:: SOT 4392384 SOS 765000 HAS SOPS 765000 HAS SOUS 596681 HAS SOUPS 596681 WITH SCORE 597446.0
AT ITER 9887 NEW BEST:: SOT 4392036 SOS 764652 HAS SOPS 764652 HAS SOUS 596333 HAS SOUPS 596333 WITH SCORE 597097.652
AT ITER 9901 NEW BEST:: SOT 4392098 SOS 764563 HAS SOPS 764563 HAS SOUS 596244 HAS SOUPS 596244 WITH SCORE 597008.563
AT ITER 9920 NEW BEST:: SOT 4392097 SOS 764561 HAS SOPS 764561 HAS SOUS 596243 HAS SOUPS 596243 WITH SCORE 597007.561
AT ITER 9941 NEW BEST:: SOT 4391874 SOS 764115 HAS SOPS 764115 HAS SOUS 595842 HAS SOUPS 595842 WITH SCORE 596606.115
AT ITER 9988 NEW BEST:: SOT 4391873 SOS 763935 HAS SOPS 763935 HAS SOUS 595840 HAS SOUPS 595840 WITH SCORE 596603.935
AT ITER 9998 NEW BEST:: SOT 4391817 SOS 763823 HAS SOPS 763823 HAS SOUS 595728 HAS SOUPS 595728 WITH SCORE 596491.823
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12260480 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155108 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="CloudReconfiguration-PT-319"
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 CloudReconfiguration-PT-319, 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-167814472000152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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