Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.3K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589091734240

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

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4440554 SOS 758790 HAS SOPS 758790 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700575.79
AT ITER 16 NEW BEST:: SOT 4440489 SOS 758660 HAS SOPS 758660 HAS SOUS 699687 HAS SOUPS 699687 WITH SCORE 700445.66
AT ITER 23 NEW BEST:: SOT 4440349 SOS 758520 HAS SOPS 758520 HAS SOUS 699686 HAS SOUPS 699686 WITH SCORE 700444.52
AT ITER 44 NEW BEST:: SOT 4440414 SOS 758130 HAS SOPS 758130 HAS SOUS 699523 HAS SOUPS 699523 WITH SCORE 700281.13
AT ITER 99 NEW BEST:: SOT 4440414 SOS 758128 HAS SOPS 758128 HAS SOUS 699523 HAS SOUPS 699523 WITH SCORE 700281.128
AT ITER 110 NEW BEST:: SOT 4440245 SOS 758007 HAS SOPS 758007 HAS SOUS 699354 HAS SOUPS 699354 WITH SCORE 700112.007
AT ITER 142 NEW BEST:: SOT 4440230 SOS 757992 HAS SOPS 757992 HAS SOUS 699339 HAS SOUPS 699339 WITH SCORE 700096.992
AT ITER 169 NEW BEST:: SOT 4438599 SOS 758174 HAS SOPS 758174 HAS SOUS 697691 HAS SOUPS 697691 WITH SCORE 698449.174
AT ITER 176 NEW BEST:: SOT 4438510 SOS 758085 HAS SOPS 758085 HAS SOUS 697602 HAS SOUPS 697602 WITH SCORE 698360.085
AT ITER 189 NEW BEST:: SOT 4438510 SOS 758015 HAS SOPS 758015 HAS SOUS 697601 HAS SOUPS 697601 WITH SCORE 698359.015
AT ITER 201 NEW BEST:: SOT 4438510 SOS 757960 HAS SOPS 757960 HAS SOUS 697601 HAS SOUPS 697601 WITH SCORE 698358.96
AT ITER 230 NEW BEST:: SOT 4438510 SOS 757714 HAS SOPS 757714 HAS SOUS 697601 HAS SOUPS 697601 WITH SCORE 698358.714
AT ITER 250 NEW BEST:: SOT 4438283 SOS 757552 HAS SOPS 757552 HAS SOUS 697300 HAS SOUPS 697300 WITH SCORE 698057.552
AT ITER 285 NEW BEST:: SOT 4438015 SOS 757016 HAS SOPS 757016 HAS SOUS 696809 HAS SOUPS 696809 WITH SCORE 697566.016
AT ITER 295 NEW BEST:: SOT 4437969 SOS 756924 HAS SOPS 756924 HAS SOUS 696762 HAS SOUPS 696762 WITH SCORE 697518.924
AT ITER 330 NEW BEST:: SOT 4434351 SOS 765715 HAS SOPS 765715 HAS SOUS 694085 HAS SOUPS 694085 WITH SCORE 694850.715
AT ITER 351 NEW BEST:: SOT 4434086 SOS 765185 HAS SOPS 765185 HAS SOUS 693820 HAS SOUPS 693820 WITH SCORE 694585.185
AT ITER 361 NEW BEST:: SOT 4434049 SOS 765111 HAS SOPS 765111 HAS SOUS 693746 HAS SOUPS 693746 WITH SCORE 694511.111
AT ITER 388 NEW BEST:: SOT 4434049 SOS 765088 HAS SOPS 765088 HAS SOUS 693723 HAS SOUPS 693723 WITH SCORE 694488.088
AT ITER 389 NEW BEST:: SOT 4434061 SOS 765112 HAS SOPS 765112 HAS SOUS 693569 HAS SOUPS 693569 WITH SCORE 694334.112
AT ITER 398 NEW BEST:: SOT 4434060 SOS 765110 HAS SOPS 765110 HAS SOUS 693567 HAS SOUPS 693567 WITH SCORE 694332.11
AT ITER 424 NEW BEST:: SOT 4434060 SOS 765028 HAS SOPS 765028 HAS SOUS 693567 HAS SOUPS 693567 WITH SCORE 694332.028
AT ITER 434 NEW BEST:: SOT 4434060 SOS 764968 HAS SOPS 764968 HAS SOUS 693567 HAS SOUPS 693567 WITH SCORE 694331.968
AT ITER 445 NEW BEST:: SOT 4433986 SOS 764820 HAS SOPS 764820 HAS SOUS 693283 HAS SOUPS 693283 WITH SCORE 694047.82
AT ITER 449 NEW BEST:: SOT 4433986 SOS 764769 HAS SOPS 764769 HAS SOUS 693283 HAS SOUPS 693283 WITH SCORE 694047.769
AT ITER 457 NEW BEST:: SOT 4433136 SOS 763919 HAS SOPS 763919 HAS SOUS 692433 HAS SOUPS 692433 WITH SCORE 693196.919
AT ITER 463 NEW BEST:: SOT 4433136 SOS 763919 HAS SOPS 763919 HAS SOUS 692415 HAS SOUPS 692415 WITH SCORE 693178.919
AT ITER 469 NEW BEST:: SOT 4432983 SOS 763817 HAS SOPS 763817 HAS SOUS 692313 HAS SOUPS 692313 WITH SCORE 693076.817
AT ITER 475 NEW BEST:: SOT 4432983 SOS 763817 HAS SOPS 763817 HAS SOUS 692312 HAS SOUPS 692312 WITH SCORE 693075.817
AT ITER 483 NEW BEST:: SOT 4432983 SOS 763780 HAS SOPS 763780 HAS SOUS 692312 HAS SOUPS 692312 WITH SCORE 693075.78
AT ITER 489 NEW BEST:: SOT 4432983 SOS 763659 HAS SOPS 763659 HAS SOUS 692191 HAS SOUPS 692191 WITH SCORE 692954.659
AT ITER 510 NEW BEST:: SOT 4432976 SOS 763645 HAS SOPS 763645 HAS SOUS 692177 HAS SOUPS 692177 WITH SCORE 692940.645
AT ITER 520 NEW BEST:: SOT 4432804 SOS 763301 HAS SOPS 763301 HAS SOUS 691833 HAS SOUPS 691833 WITH SCORE 692596.301
AT ITER 528 NEW BEST:: SOT 4432727 SOS 763147 HAS SOPS 763147 HAS SOUS 691756 HAS SOUPS 691756 WITH SCORE 692519.147
AT ITER 553 NEW BEST:: SOT 4432621 SOS 762935 HAS SOPS 762935 HAS SOUS 691544 HAS SOUPS 691544 WITH SCORE 692306.935
AT ITER 562 NEW BEST:: SOT 4432650 SOS 762915 HAS SOPS 762915 HAS SOUS 691495 HAS SOUPS 691495 WITH SCORE 692257.915
AT ITER 578 NEW BEST:: SOT 4432634 SOS 762883 HAS SOPS 762883 HAS SOUS 691463 HAS SOUPS 691463 WITH SCORE 692225.883
AT ITER 584 NEW BEST:: SOT 4432550 SOS 762715 HAS SOPS 762715 HAS SOUS 691085 HAS SOUPS 691085 WITH SCORE 691847.715
AT ITER 592 NEW BEST:: SOT 4431995 SOS 761975 HAS SOPS 761975 HAS SOUS 690345 HAS SOUPS 690345 WITH SCORE 691106.975
AT ITER 599 NEW BEST:: SOT 4431995 SOS 761835 HAS SOPS 761835 HAS SOUS 690345 HAS SOUPS 690345 WITH SCORE 691106.835
AT ITER 602 NEW BEST:: SOT 4431866 SOS 761577 HAS SOPS 761577 HAS SOUS 690087 HAS SOUPS 690087 WITH SCORE 690848.577
AT ITER 613 NEW BEST:: SOT 4431824 SOS 761689 HAS SOPS 761689 HAS SOUS 689992 HAS SOUPS 689992 WITH SCORE 690753.689
AT ITER 614 NEW BEST:: SOT 4431824 SOS 761689 HAS SOPS 761689 HAS SOUS 689991 HAS SOUPS 689991 WITH SCORE 690752.689
AT ITER 622 NEW BEST:: SOT 4431851 SOS 761743 HAS SOPS 761743 HAS SOUS 689790 HAS SOUPS 689790 WITH SCORE 690551.743
AT ITER 637 NEW BEST:: SOT 4431747 SOS 761431 HAS SOPS 761431 HAS SOUS 689582 HAS SOUPS 689582 WITH SCORE 690343.431
AT ITER 655 NEW BEST:: SOT 4431696 SOS 761329 HAS SOPS 761329 HAS SOUS 689480 HAS SOUPS 689480 WITH SCORE 690241.329
AT ITER 657 NEW BEST:: SOT 4431696 SOS 761179 HAS SOPS 761179 HAS SOUS 689480 HAS SOUPS 689480 WITH SCORE 690241.179
AT ITER 673 NEW BEST:: SOT 4431637 SOS 761415 HAS SOPS 761415 HAS SOUS 689308 HAS SOUPS 689308 WITH SCORE 690069.415
AT ITER 708 NEW BEST:: SOT 4431637 SOS 761214 HAS SOPS 761214 HAS SOUS 689307 HAS SOUPS 689307 WITH SCORE 690068.214
AT ITER 709 NEW BEST:: SOT 4431637 SOS 761132 HAS SOPS 761132 HAS SOUS 689307 HAS SOUPS 689307 WITH SCORE 690068.132
AT ITER 736 NEW BEST:: SOT 4431478 SOS 761162 HAS SOPS 761162 HAS SOUS 689216 HAS SOUPS 689216 WITH SCORE 689977.162
AT ITER 745 NEW BEST:: SOT 4431675 SOS 761075 HAS SOPS 761075 HAS SOUS 689175 HAS SOUPS 689175 WITH SCORE 689936.075
AT ITER 769 NEW BEST:: SOT 4431623 SOS 760971 HAS SOPS 760971 HAS SOUS 689071 HAS SOUPS 689071 WITH SCORE 689831.971
AT ITER 811 NEW BEST:: SOT 4431397 SOS 760971 HAS SOPS 760971 HAS SOUS 689070 HAS SOUPS 689070 WITH SCORE 689830.971
AT ITER 837 NEW BEST:: SOT 4431310 SOS 760797 HAS SOPS 760797 HAS SOUS 688896 HAS SOUPS 688896 WITH SCORE 689656.797
AT ITER 839 NEW BEST:: SOT 4431246 SOS 760669 HAS SOPS 760669 HAS SOUS 688768 HAS SOUPS 688768 WITH SCORE 689528.669
AT ITER 845 NEW BEST:: SOT 4430890 SOS 760135 HAS SOPS 760135 HAS SOUS 688234 HAS SOUPS 688234 WITH SCORE 688994.135
AT ITER 848 NEW BEST:: SOT 4430889 SOS 760133 HAS SOPS 760133 HAS SOUS 688232 HAS SOUPS 688232 WITH SCORE 688992.133
AT ITER 854 NEW BEST:: SOT 4430888 SOS 760131 HAS SOPS 760131 HAS SOUS 688230 HAS SOUPS 688230 WITH SCORE 688990.131
AT ITER 863 NEW BEST:: SOT 4430887 SOS 760129 HAS SOPS 760129 HAS SOUS 688228 HAS SOUPS 688228 WITH SCORE 688988.129
AT ITER 875 NEW BEST:: SOT 4430777 SOS 759516 HAS SOPS 759516 HAS SOUS 687814 HAS SOUPS 687814 WITH SCORE 688573.516
AT ITER 888 NEW BEST:: SOT 4430471 SOS 758904 HAS SOPS 758904 HAS SOUS 687613 HAS SOUPS 687613 WITH SCORE 688371.904
AT ITER 893 NEW BEST:: SOT 4430428 SOS 758818 HAS SOPS 758818 HAS SOUS 687527 HAS SOUPS 687527 WITH SCORE 688285.818
AT ITER 894 NEW BEST:: SOT 4430170 SOS 758532 HAS SOPS 758532 HAS SOUS 687185 HAS SOUPS 687185 WITH SCORE 687943.532
AT ITER 897 NEW BEST:: SOT 4430158 SOS 758520 HAS SOPS 758520 HAS SOUS 687185 HAS SOUPS 687185 WITH SCORE 687943.52
AT ITER 899 NEW BEST:: SOT 4430252 SOS 758708 HAS SOPS 758708 HAS SOUS 687131 HAS SOUPS 687131 WITH SCORE 687889.708
AT ITER 915 NEW BEST:: SOT 4430090 SOS 758465 HAS SOPS 758465 HAS SOUS 686969 HAS SOUPS 686969 WITH SCORE 687727.465
AT ITER 954 NEW BEST:: SOT 4430090 SOS 758427 HAS SOPS 758427 HAS SOUS 686969 HAS SOUPS 686969 WITH SCORE 687727.427
AT ITER 956 NEW BEST:: SOT 4430058 SOS 758410 HAS SOPS 758410 HAS SOUS 686952 HAS SOUPS 686952 WITH SCORE 687710.41
AT ITER 964 NEW BEST:: SOT 4430290 SOS 758459 HAS SOPS 758459 HAS SOUS 686936 HAS SOUPS 686936 WITH SCORE 687694.459
AT ITER 980 NEW BEST:: SOT 4430290 SOS 758459 HAS SOPS 758459 HAS SOUS 686862 HAS SOUPS 686862 WITH SCORE 687620.459
AT ITER 989 NEW BEST:: SOT 4430290 SOS 758308 HAS SOPS 758308 HAS SOUS 686862 HAS SOUPS 686862 WITH SCORE 687620.308
AT ITER 1002 NEW BEST:: SOT 4430006 SOS 758764 HAS SOPS 758764 HAS SOUS 686686 HAS SOUPS 686686 WITH SCORE 687444.764
AT ITER 1016 NEW BEST:: SOT 4430060 SOS 758463 HAS SOPS 758463 HAS SOUS 686424 HAS SOUPS 686424 WITH SCORE 687182.463
AT ITER 1030 NEW BEST:: SOT 4430060 SOS 758135 HAS SOPS 758135 HAS SOUS 686424 HAS SOUPS 686424 WITH SCORE 687182.135
AT ITER 1042 NEW BEST:: SOT 4428856 SOS 757585 HAS SOPS 757585 HAS SOUS 685521 HAS SOUPS 685521 WITH SCORE 686278.585
AT ITER 1043 NEW BEST:: SOT 4428741 SOS 757697 HAS SOPS 757697 HAS SOUS 685520 HAS SOUPS 685520 WITH SCORE 686277.697
AT ITER 1044 NEW BEST:: SOT 4428782 SOS 757690 HAS SOPS 757690 HAS SOUS 685513 HAS SOUPS 685513 WITH SCORE 686270.69
AT ITER 1056 NEW BEST:: SOT 4428782 SOS 757548 HAS SOPS 757548 HAS SOUS 685513 HAS SOUPS 685513 WITH SCORE 686270.548
AT ITER 1061 NEW BEST:: SOT 4428628 SOS 757240 HAS SOPS 757240 HAS SOUS 685205 HAS SOUPS 685205 WITH SCORE 685962.24
AT ITER 1074 NEW BEST:: SOT 4428569 SOS 757297 HAS SOPS 757297 HAS SOUS 685149 HAS SOUPS 685149 WITH SCORE 685906.297
AT ITER 1087 NEW BEST:: SOT 4428569 SOS 757297 HAS SOPS 757297 HAS SOUS 685146 HAS SOUPS 685146 WITH SCORE 685903.297
AT ITER 1094 NEW BEST:: SOT 4428477 SOS 757113 HAS SOPS 757113 HAS SOUS 685054 HAS SOUPS 685054 WITH SCORE 685811.113
AT ITER 1098 NEW BEST:: SOT 4428405 SOS 757041 HAS SOPS 757041 HAS SOUS 684982 HAS SOUPS 684982 WITH SCORE 685739.041
AT ITER 1113 NEW BEST:: SOT 4428405 SOS 756759 HAS SOPS 756759 HAS SOUS 684982 HAS SOUPS 684982 WITH SCORE 685738.759
AT ITER 1115 NEW BEST:: SOT 4428095 SOS 756485 HAS SOPS 756485 HAS SOUS 684680 HAS SOUPS 684680 WITH SCORE 685436.485
AT ITER 1117 NEW BEST:: SOT 4427949 SOS 756193 HAS SOPS 756193 HAS SOUS 684388 HAS SOUPS 684388 WITH SCORE 685144.193
AT ITER 1123 NEW BEST:: SOT 4416542 SOS 746580 HAS SOPS 746580 HAS SOUS 673288 HAS SOUPS 673288 WITH SCORE 674034.58
AT ITER 1125 NEW BEST:: SOT 4416542 SOS 746377 HAS SOPS 746377 HAS SOUS 673288 HAS SOUPS 673288 WITH SCORE 674034.377
AT ITER 1150 NEW BEST:: SOT 4416349 SOS 746219 HAS SOPS 746219 HAS SOUS 673109 HAS SOUPS 673109 WITH SCORE 673855.219
AT ITER 1157 NEW BEST:: SOT 4415956 SOS 746219 HAS SOPS 746219 HAS SOUS 672880 HAS SOUPS 672880 WITH SCORE 673626.219
AT ITER 1169 NEW BEST:: SOT 4415756 SOS 746019 HAS SOPS 746019 HAS SOUS 672880 HAS SOUPS 672880 WITH SCORE 673626.019
AT ITER 1182 NEW BEST:: SOT 4415673 SOS 745964 HAS SOPS 745964 HAS SOUS 672797 HAS SOUPS 672797 WITH SCORE 673542.964
AT ITER 1190 NEW BEST:: SOT 4415094 SOS 745380 HAS SOPS 745380 HAS SOUS 672213 HAS SOUPS 672213 WITH SCORE 672958.38
AT ITER 1191 NEW BEST:: SOT 4414575 SOS 744846 HAS SOPS 744846 HAS SOUS 671679 HAS SOUPS 671679 WITH SCORE 672423.846
AT ITER 1213 NEW BEST:: SOT 4414071 SOS 744342 HAS SOPS 744342 HAS SOUS 671175 HAS SOUPS 671175 WITH SCORE 671919.342
AT ITER 1236 NEW BEST:: SOT 4413804 SOS 743808 HAS SOPS 743808 HAS SOUS 670641 HAS SOUPS 670641 WITH SCORE 671384.808
AT ITER 1261 NEW BEST:: SOT 4413804 SOS 743808 HAS SOPS 743808 HAS SOUS 670638 HAS SOUPS 670638 WITH SCORE 671381.808
AT ITER 1272 NEW BEST:: SOT 4413418 SOS 743422 HAS SOPS 743422 HAS SOUS 670059 HAS SOUPS 670059 WITH SCORE 670802.422
AT ITER 1276 NEW BEST:: SOT 4413455 SOS 743496 HAS SOPS 743496 HAS SOUS 670007 HAS SOUPS 670007 WITH SCORE 670750.496
AT ITER 1277 NEW BEST:: SOT 4407713 SOS 805121 HAS SOPS 805121 HAS SOUS 668008 HAS SOUPS 668008 WITH SCORE 668813.121
AT ITER 1312 NEW BEST:: SOT 4408040 SOS 805065 HAS SOPS 805065 HAS SOUS 667952 HAS SOUPS 667952 WITH SCORE 668757.065
AT ITER 1329 NEW BEST:: SOT 4407744 SOS 805784 HAS SOPS 805784 HAS SOUS 667899 HAS SOUPS 667899 WITH SCORE 668704.784
AT ITER 1382 NEW BEST:: SOT 4407718 SOS 805732 HAS SOPS 805732 HAS SOUS 667873 HAS SOUPS 667873 WITH SCORE 668678.732
AT ITER 1387 NEW BEST:: SOT 4407614 SOS 805709 HAS SOPS 805709 HAS SOUS 667769 HAS SOUPS 667769 WITH SCORE 668574.709
AT ITER 1394 NEW BEST:: SOT 4407471 SOS 805423 HAS SOPS 805423 HAS SOUS 667483 HAS SOUPS 667483 WITH SCORE 668288.423
AT ITER 1405 NEW BEST:: SOT 4407284 SOS 805395 HAS SOPS 805395 HAS SOUS 667296 HAS SOUPS 667296 WITH SCORE 668101.395
AT ITER 1409 NEW BEST:: SOT 4407050 SOS 805224 HAS SOPS 805224 HAS SOUS 667094 HAS SOUPS 667094 WITH SCORE 667899.224
AT ITER 1433 NEW BEST:: SOT 4407026 SOS 805201 HAS SOPS 805201 HAS SOUS 667071 HAS SOUPS 667071 WITH SCORE 667876.201
AT ITER 1464 NEW BEST:: SOT 4406973 SOS 805095 HAS SOPS 805095 HAS SOUS 666965 HAS SOUPS 666965 WITH SCORE 667770.095
AT ITER 1466 NEW BEST:: SOT 4406828 SOS 804805 HAS SOPS 804805 HAS SOUS 666714 HAS SOUPS 666714 WITH SCORE 667518.805
AT ITER 1467 NEW BEST:: SOT 4406710 SOS 804881 HAS SOPS 804881 HAS SOUS 666596 HAS SOUPS 666596 WITH SCORE 667400.881
AT ITER 1489 NEW BEST:: SOT 4406685 SOS 804856 HAS SOPS 804856 HAS SOUS 666571 HAS SOUPS 666571 WITH SCORE 667375.856
AT ITER 1497 NEW BEST:: SOT 4406685 SOS 804856 HAS SOPS 804856 HAS SOUS 666522 HAS SOUPS 666522 WITH SCORE 667326.856
AT ITER 1505 NEW BEST:: SOT 4406340 SOS 759126 HAS SOPS 759126 HAS SOUS 665832 HAS SOUPS 665832 WITH SCORE 666591.126
AT ITER 1528 NEW BEST:: SOT 4405567 SOS 758545 HAS SOPS 758545 HAS SOUS 664931 HAS SOUPS 664931 WITH SCORE 665689.545
AT ITER 1538 NEW BEST:: SOT 4405497 SOS 758405 HAS SOPS 758405 HAS SOUS 664861 HAS SOUPS 664861 WITH SCORE 665619.405
AT ITER 1581 NEW BEST:: SOT 4405496 SOS 758404 HAS SOPS 758404 HAS SOUS 664859 HAS SOUPS 664859 WITH SCORE 665617.404
AT ITER 1604 NEW BEST:: SOT 4405468 SOS 758385 HAS SOPS 758385 HAS SOUS 664820 HAS SOUPS 664820 WITH SCORE 665578.385
AT ITER 1641 NEW BEST:: SOT 4405441 SOS 758227 HAS SOPS 758227 HAS SOUS 664662 HAS SOUPS 664662 WITH SCORE 665420.227
AT ITER 1651 NEW BEST:: SOT 4405441 SOS 758155 HAS SOPS 758155 HAS SOUS 664662 HAS SOUPS 664662 WITH SCORE 665420.155
AT ITER 1652 NEW BEST:: SOT 4405026 SOS 758341 HAS SOPS 758341 HAS SOUS 664501 HAS SOUPS 664501 WITH SCORE 665259.341
AT ITER 1681 NEW BEST:: SOT 4404705 SOS 758341 HAS SOPS 758341 HAS SOUS 664180 HAS SOUPS 664180 WITH SCORE 664938.341
AT ITER 1684 NEW BEST:: SOT 4404704 SOS 758339 HAS SOPS 758339 HAS SOUS 664178 HAS SOUPS 664178 WITH SCORE 664936.339
AT ITER 1685 NEW BEST:: SOT 4404562 SOS 758055 HAS SOPS 758055 HAS SOUS 663894 HAS SOUPS 663894 WITH SCORE 664652.055
AT ITER 1723 NEW BEST:: SOT 4404491 SOS 757913 HAS SOPS 757913 HAS SOUS 663597 HAS SOUPS 663597 WITH SCORE 664354.913
AT ITER 1745 NEW BEST:: SOT 4404490 SOS 757911 HAS SOPS 757911 HAS SOUS 663595 HAS SOUPS 663595 WITH SCORE 664352.911
AT ITER 1782 NEW BEST:: SOT 4404490 SOS 757624 HAS SOPS 757624 HAS SOUS 663594 HAS SOUPS 663594 WITH SCORE 664351.624
AT ITER 1798 NEW BEST:: SOT 4404490 SOS 757584 HAS SOPS 757584 HAS SOUS 663594 HAS SOUPS 663594 WITH SCORE 664351.584
AT ITER 1805 NEW BEST:: SOT 4404490 SOS 757305 HAS SOPS 757305 HAS SOUS 663315 HAS SOUPS 663315 WITH SCORE 664072.305
AT ITER 1829 NEW BEST:: SOT 4404511 SOS 757556 HAS SOPS 757556 HAS SOUS 663232 HAS SOUPS 663232 WITH SCORE 663989.556
AT ITER 1834 NEW BEST:: SOT 4404511 SOS 757556 HAS SOPS 757556 HAS SOUS 663231 HAS SOUPS 663231 WITH SCORE 663988.556
AT ITER 1840 NEW BEST:: SOT 4404440 SOS 757414 HAS SOPS 757414 HAS SOUS 663134 HAS SOUPS 663134 WITH SCORE 663891.414
AT ITER 1849 NEW BEST:: SOT 4404440 SOS 757261 HAS SOPS 757261 HAS SOUS 662981 HAS SOUPS 662981 WITH SCORE 663738.261
AT ITER 1863 NEW BEST:: SOT 4404357 SOS 757178 HAS SOPS 757178 HAS SOUS 662898 HAS SOUPS 662898 WITH SCORE 663655.178
AT ITER 1864 NEW BEST:: SOT 4404319 SOS 756764 HAS SOPS 756764 HAS SOUS 662822 HAS SOUPS 662822 WITH SCORE 663578.764
AT ITER 1889 NEW BEST:: SOT 4404087 SOS 756300 HAS SOPS 756300 HAS SOUS 662127 HAS SOUPS 662127 WITH SCORE 662883.3
AT ITER 1894 NEW BEST:: SOT 4404087 SOS 756193 HAS SOPS 756193 HAS SOUS 662082 HAS SOUPS 662082 WITH SCORE 662838.193
AT ITER 1917 NEW BEST:: SOT 4404087 SOS 756193 HAS SOPS 756193 HAS SOUS 662055 HAS SOUPS 662055 WITH SCORE 662811.193
AT ITER 1951 NEW BEST:: SOT 4404022 SOS 756063 HAS SOPS 756063 HAS SOUS 661989 HAS SOUPS 661989 WITH SCORE 662745.063
AT ITER 1984 NEW BEST:: SOT 4404021 SOS 756061 HAS SOPS 756061 HAS SOUS 661988 HAS SOUPS 661988 WITH SCORE 662744.061
AT ITER 1994 NEW BEST:: SOT 4399523 SOS 787847 HAS SOPS 787847 HAS SOUS 658672 HAS SOUPS 658672 WITH SCORE 659459.847
AT ITER 1999 NEW BEST:: SOT 4399489 SOS 787779 HAS SOPS 787779 HAS SOUS 658638 HAS SOUPS 658638 WITH SCORE 659425.779
AT ITER 2027 NEW BEST:: SOT 4399489 SOS 787764 HAS SOPS 787764 HAS SOUS 658623 HAS SOUPS 658623 WITH SCORE 659410.764
AT ITER 2034 NEW BEST:: SOT 4399635 SOS 787220 HAS SOPS 787220 HAS SOUS 658351 HAS SOUPS 658351 WITH SCORE 659138.22
AT ITER 2052 NEW BEST:: SOT 4399812 SOS 787216 HAS SOPS 787216 HAS SOUS 658349 HAS SOUPS 658349 WITH SCORE 659136.216
AT ITER 2068 NEW BEST:: SOT 4399880 SOS 787708 HAS SOPS 787708 HAS SOUS 658345 HAS SOUPS 658345 WITH SCORE 659132.708
AT ITER 2105 NEW BEST:: SOT 4399879 SOS 787675 HAS SOPS 787675 HAS SOUS 658312 HAS SOUPS 658312 WITH SCORE 659099.675
AT ITER 2107 NEW BEST:: SOT 4399792 SOS 787501 HAS SOPS 787501 HAS SOUS 658138 HAS SOUPS 658138 WITH SCORE 658925.501
AT ITER 2109 NEW BEST:: SOT 4399776 SOS 787469 HAS SOPS 787469 HAS SOUS 658106 HAS SOUPS 658106 WITH SCORE 658893.469
AT ITER 2155 NEW BEST:: SOT 4399776 SOS 787469 HAS SOPS 787469 HAS SOUS 658001 HAS SOUPS 658001 WITH SCORE 658788.469
AT ITER 2158 NEW BEST:: SOT 4399654 SOS 788326 HAS SOPS 788326 HAS SOUS 657924 HAS SOUPS 657924 WITH SCORE 658712.326
AT ITER 2170 NEW BEST:: SOT 4398963 SOS 791151 HAS SOPS 791151 HAS SOUS 657464 HAS SOUPS 657464 WITH SCORE 658255.151
AT ITER 2171 NEW BEST:: SOT 4398934 SOS 791187 HAS SOPS 791187 HAS SOUS 657341 HAS SOUPS 657341 WITH SCORE 658132.187
AT ITER 2192 NEW BEST:: SOT 4398851 SOS 791104 HAS SOPS 791104 HAS SOUS 657258 HAS SOUPS 657258 WITH SCORE 658049.104
AT ITER 2213 NEW BEST:: SOT 4398785 SOS 791133 HAS SOPS 791133 HAS SOUS 657192 HAS SOUPS 657192 WITH SCORE 657983.133
AT ITER 2223 NEW BEST:: SOT 4397864 SOS 794538 HAS SOPS 794538 HAS SOUS 657039 HAS SOUPS 657039 WITH SCORE 657833.538
AT ITER 2227 NEW BEST:: SOT 4397864 SOS 794448 HAS SOPS 794448 HAS SOUS 656848 HAS SOUPS 656848 WITH SCORE 657642.448
AT ITER 2231 NEW BEST:: SOT 4397849 SOS 794418 HAS SOPS 794418 HAS SOUS 656833 HAS SOUPS 656833 WITH SCORE 657627.418
AT ITER 2256 NEW BEST:: SOT 4397701 SOS 794418 HAS SOPS 794418 HAS SOUS 656685 HAS SOUPS 656685 WITH SCORE 657479.418
AT ITER 2302 NEW BEST:: SOT 4397643 SOS 794302 HAS SOPS 794302 HAS SOUS 656569 HAS SOUPS 656569 WITH SCORE 657363.302
AT ITER 2381 NEW BEST:: SOT 4397643 SOS 794302 HAS SOPS 794302 HAS SOUS 656568 HAS SOUPS 656568 WITH SCORE 657362.302
AT ITER 2389 NEW BEST:: SOT 4397643 SOS 794302 HAS SOPS 794302 HAS SOUS 656567 HAS SOUPS 656567 WITH SCORE 657361.302
AT ITER 2391 NEW BEST:: SOT 4397575 SOS 794234 HAS SOPS 794234 HAS SOUS 656499 HAS SOUPS 656499 WITH SCORE 657293.234
AT ITER 2407 NEW BEST:: SOT 4397575 SOS 794177 HAS SOPS 794177 HAS SOUS 656442 HAS SOUPS 656442 WITH SCORE 657236.177
AT ITER 2408 NEW BEST:: SOT 4397574 SOS 794175 HAS SOPS 794175 HAS SOUS 656440 HAS SOUPS 656440 WITH SCORE 657234.175
AT ITER 2413 NEW BEST:: SOT 4397307 SOS 794366 HAS SOPS 794366 HAS SOUS 656246 HAS SOUPS 656246 WITH SCORE 657040.366
AT ITER 2433 NEW BEST:: SOT 4397307 SOS 794339 HAS SOPS 794339 HAS SOUS 656246 HAS SOUPS 656246 WITH SCORE 657040.339
AT ITER 2447 NEW BEST:: SOT 4397290 SOS 793950 HAS SOPS 793950 HAS SOUS 656178 HAS SOUPS 656178 WITH SCORE 656971.95
AT ITER 2466 NEW BEST:: SOT 4397119 SOS 793608 HAS SOPS 793608 HAS SOUS 655665 HAS SOUPS 655665 WITH SCORE 656458.608
AT ITER 2486 NEW BEST:: SOT 4397129 SOS 793628 HAS SOPS 793628 HAS SOUS 655482 HAS SOUPS 655482 WITH SCORE 656275.628
AT ITER 2504 NEW BEST:: SOT 4397079 SOS 793528 HAS SOPS 793528 HAS SOUS 655432 HAS SOUPS 655432 WITH SCORE 656225.528
AT ITER 2505 NEW BEST:: SOT 4396994 SOS 793256 HAS SOPS 793256 HAS SOUS 655347 HAS SOUPS 655347 WITH SCORE 656140.256
AT ITER 2527 NEW BEST:: SOT 4396994 SOS 793151 HAS SOPS 793151 HAS SOUS 655242 HAS SOUPS 655242 WITH SCORE 656035.151
AT ITER 2532 NEW BEST:: SOT 4396872 SOS 792907 HAS SOPS 792907 HAS SOUS 654847 HAS SOUPS 654847 WITH SCORE 655639.907
AT ITER 2540 NEW BEST:: SOT 4396710 SOS 792799 HAS SOPS 792799 HAS SOUS 654685 HAS SOUPS 654685 WITH SCORE 655477.799
AT ITER 2543 NEW BEST:: SOT 4396710 SOS 792799 HAS SOPS 792799 HAS SOUS 654638 HAS SOUPS 654638 WITH SCORE 655430.799
AT ITER 2555 NEW BEST:: SOT 4396710 SOS 792641 HAS SOPS 792641 HAS SOUS 654554 HAS SOUPS 654554 WITH SCORE 655346.641
AT ITER 2567 NEW BEST:: SOT 4396431 SOS 792083 HAS SOPS 792083 HAS SOUS 653996 HAS SOUPS 653996 WITH SCORE 654788.083
AT ITER 2583 NEW BEST:: SOT 4396430 SOS 792033 HAS SOPS 792033 HAS SOUS 653993 HAS SOUPS 653993 WITH SCORE 654785.033
AT ITER 2589 NEW BEST:: SOT 4396138 SOS 792165 HAS SOPS 792165 HAS SOUS 653880 HAS SOUPS 653880 WITH SCORE 654672.165
AT ITER 2601 NEW BEST:: SOT 4395887 SOS 792065 HAS SOPS 792065 HAS SOUS 653679 HAS SOUPS 653679 WITH SCORE 654471.065
AT ITER 2608 NEW BEST:: SOT 4395837 SOS 791965 HAS SOPS 791965 HAS SOUS 653579 HAS SOUPS 653579 WITH SCORE 654370.965
AT ITER 2612 NEW BEST:: SOT 4395836 SOS 791963 HAS SOPS 791963 HAS SOUS 653577 HAS SOUPS 653577 WITH SCORE 654368.963
AT ITER 2617 NEW BEST:: SOT 4395805 SOS 791901 HAS SOPS 791901 HAS SOUS 653502 HAS SOUPS 653502 WITH SCORE 654293.901
AT ITER 2621 NEW BEST:: SOT 4395699 SOS 791852 HAS SOPS 791852 HAS SOUS 653396 HAS SOUPS 653396 WITH SCORE 654187.852
AT ITER 2631 NEW BEST:: SOT 4395635 SOS 790476 HAS SOPS 790476 HAS SOUS 653300 HAS SOUPS 653300 WITH SCORE 654090.476
AT ITER 2644 NEW BEST:: SOT 4395635 SOS 790476 HAS SOPS 790476 HAS SOUS 653255 HAS SOUPS 653255 WITH SCORE 654045.476
AT ITER 2684 NEW BEST:: SOT 4395624 SOS 790454 HAS SOPS 790454 HAS SOUS 653233 HAS SOUPS 653233 WITH SCORE 654023.454
AT ITER 2701 NEW BEST:: SOT 4395572 SOS 790350 HAS SOPS 790350 HAS SOUS 653181 HAS SOUPS 653181 WITH SCORE 653971.35
AT ITER 2710 NEW BEST:: SOT 4395572 SOS 790317 HAS SOPS 790317 HAS SOUS 653181 HAS SOUPS 653181 WITH SCORE 653971.317
AT ITER 2712 NEW BEST:: SOT 4395572 SOS 790300 HAS SOPS 790300 HAS SOUS 653181 HAS SOUPS 653181 WITH SCORE 653971.3
AT ITER 2722 NEW BEST:: SOT 4395572 SOS 790300 HAS SOPS 790300 HAS SOUS 653168 HAS SOUPS 653168 WITH SCORE 653958.3
AT ITER 2725 NEW BEST:: SOT 4395562 SOS 790280 HAS SOPS 790280 HAS SOUS 653158 HAS SOUPS 653158 WITH SCORE 653948.28
AT ITER 2728 NEW BEST:: SOT 4395516 SOS 790234 HAS SOPS 790234 HAS SOUS 653112 HAS SOUPS 653112 WITH SCORE 653902.234
AT ITER 2735 NEW BEST:: SOT 4395515 SOS 790232 HAS SOPS 790232 HAS SOUS 653110 HAS SOUPS 653110 WITH SCORE 653900.232
AT ITER 2743 NEW BEST:: SOT 4395497 SOS 788481 HAS SOPS 788481 HAS SOUS 652859 HAS SOUPS 652859 WITH SCORE 653647.481
AT ITER 2752 NEW BEST:: SOT 4395474 SOS 788435 HAS SOPS 788435 HAS SOUS 652813 HAS SOUPS 652813 WITH SCORE 653601.435
AT ITER 2779 NEW BEST:: SOT 4395381 SOS 788249 HAS SOPS 788249 HAS SOUS 652759 HAS SOUPS 652759 WITH SCORE 653547.249
AT ITER 2844 NEW BEST:: SOT 4395120 SOS 788099 HAS SOPS 788099 HAS SOUS 652585 HAS SOUPS 652585 WITH SCORE 653373.099
AT ITER 2864 NEW BEST:: SOT 4395129 SOS 788117 HAS SOPS 788117 HAS SOUS 652583 HAS SOUPS 652583 WITH SCORE 653371.117
AT ITER 2868 NEW BEST:: SOT 4394580 SOS 787751 HAS SOPS 787751 HAS SOUS 652034 HAS SOUPS 652034 WITH SCORE 652821.751
AT ITER 2879 NEW BEST:: SOT 4394580 SOS 787448 HAS SOPS 787448 HAS SOUS 652034 HAS SOUPS 652034 WITH SCORE 652821.448
AT ITER 2882 NEW BEST:: SOT 4394580 SOS 787448 HAS SOPS 787448 HAS SOUS 652008 HAS SOUPS 652008 WITH SCORE 652795.448
AT ITER 2911 NEW BEST:: SOT 4394520 SOS 787398 HAS SOPS 787398 HAS SOUS 651950 HAS SOUPS 651950 WITH SCORE 652737.398
AT ITER 2924 NEW BEST:: SOT 4394520 SOS 787176 HAS SOPS 787176 HAS SOUS 651950 HAS SOUPS 651950 WITH SCORE 652737.176
AT ITER 2937 NEW BEST:: SOT 4394451 SOS 787038 HAS SOPS 787038 HAS SOUS 651881 HAS SOUPS 651881 WITH SCORE 652668.038
AT ITER 2942 NEW BEST:: SOT 4394428 SOS 786992 HAS SOPS 786992 HAS SOUS 651857 HAS SOUPS 651857 WITH SCORE 652643.992
AT ITER 2963 NEW BEST:: SOT 4394389 SOS 786875 HAS SOPS 786875 HAS SOUS 651818 HAS SOUPS 651818 WITH SCORE 652604.875
AT ITER 2978 NEW BEST:: SOT 4394196 SOS 786759 HAS SOPS 786759 HAS SOUS 651662 HAS SOUPS 651662 WITH SCORE 652448.759
AT ITER 2983 NEW BEST:: SOT 4394163 SOS 786693 HAS SOPS 786693 HAS SOUS 651528 HAS SOUPS 651528 WITH SCORE 652314.693
AT ITER 2991 NEW BEST:: SOT 4394076 SOS 786573 HAS SOPS 786573 HAS SOUS 651408 HAS SOUPS 651408 WITH SCORE 652194.573
AT ITER 3000 NEW BEST:: SOT 4393988 SOS 786463 HAS SOPS 786463 HAS SOUS 651298 HAS SOUPS 651298 WITH SCORE 652084.463
AT ITER 3020 NEW BEST:: SOT 4393988 SOS 786395 HAS SOPS 786395 HAS SOUS 651298 HAS SOUPS 651298 WITH SCORE 652084.395
AT ITER 3031 NEW BEST:: SOT 4393653 SOS 786481 HAS SOPS 786481 HAS SOUS 651185 HAS SOUPS 651185 WITH SCORE 651971.481
AT ITER 3042 NEW BEST:: SOT 4393329 SOS 786039 HAS SOPS 786039 HAS SOUS 650687 HAS SOUPS 650687 WITH SCORE 651473.039
AT ITER 3053 NEW BEST:: SOT 4393305 SOS 786093 HAS SOPS 786093 HAS SOUS 650663 HAS SOUPS 650663 WITH SCORE 651449.093
AT ITER 3068 NEW BEST:: SOT 4393212 SOS 785765 HAS SOPS 785765 HAS SOUS 650443 HAS SOUPS 650443 WITH SCORE 651228.765
AT ITER 3090 NEW BEST:: SOT 4393205 SOS 785810 HAS SOPS 785810 HAS SOUS 650433 HAS SOUPS 650433 WITH SCORE 651218.81
AT ITER 3110 NEW BEST:: SOT 4393204 SOS 785808 HAS SOPS 785808 HAS SOUS 650432 HAS SOUPS 650432 WITH SCORE 651217.808
AT ITER 3120 NEW BEST:: SOT 4393203 SOS 784805 HAS SOPS 784805 HAS SOUS 650430 HAS SOUPS 650430 WITH SCORE 651214.805
AT ITER 3124 NEW BEST:: SOT 4392709 SOS 785690 HAS SOPS 785690 HAS SOUS 650344 HAS SOUPS 650344 WITH SCORE 651129.69
AT ITER 3164 NEW BEST:: SOT 4392757 SOS 785786 HAS SOPS 785786 HAS SOUS 650326 HAS SOUPS 650326 WITH SCORE 651111.786
AT ITER 3174 NEW BEST:: SOT 4392757 SOS 785696 HAS SOPS 785696 HAS SOUS 650326 HAS SOUPS 650326 WITH SCORE 651111.696
AT ITER 3199 NEW BEST:: SOT 4392716 SOS 785614 HAS SOPS 785614 HAS SOUS 650244 HAS SOUPS 650244 WITH SCORE 651029.614
AT ITER 3226 NEW BEST:: SOT 4386697 SOS 799686 HAS SOPS 799686 HAS SOUS 645657 HAS SOUPS 645657 WITH SCORE 646456.686
AT ITER 3323 NEW BEST:: SOT 4386660 SOS 799649 HAS SOPS 799649 HAS SOUS 645583 HAS SOUPS 645583 WITH SCORE 646382.649
AT ITER 3325 NEW BEST:: SOT 4386618 SOS 799565 HAS SOPS 799565 HAS SOUS 645541 HAS SOUPS 645541 WITH SCORE 646340.565
AT ITER 3347 NEW BEST:: SOT 4386384 SOS 799539 HAS SOPS 799539 HAS SOUS 645515 HAS SOUPS 645515 WITH SCORE 646314.539
AT ITER 3350 NEW BEST:: SOT 4386384 SOS 799432 HAS SOPS 799432 HAS SOUS 645515 HAS SOUPS 645515 WITH SCORE 646314.432
AT ITER 3363 NEW BEST:: SOT 4386213 SOS 799090 HAS SOPS 799090 HAS SOUS 645173 HAS SOUPS 645173 WITH SCORE 645972.09
AT ITER 3372 NEW BEST:: SOT 4386142 SOS 799274 HAS SOPS 799274 HAS SOUS 645102 HAS SOUPS 645102 WITH SCORE 645901.274
AT ITER 3386 NEW BEST:: SOT 4386207 SOS 799006 HAS SOPS 799006 HAS SOUS 644832 HAS SOUPS 644832 WITH SCORE 645631.006
AT ITER 3408 NEW BEST:: SOT 4386185 SOS 798962 HAS SOPS 798962 HAS SOUS 644810 HAS SOUPS 644810 WITH SCORE 645608.962
AT ITER 3430 NEW BEST:: SOT 4384916 SOS 799976 HAS SOPS 799976 HAS SOUS 643334 HAS SOUPS 643334 WITH SCORE 644133.976
AT ITER 3444 NEW BEST:: SOT 4384914 SOS 799972 HAS SOPS 799972 HAS SOUS 643330 HAS SOUPS 643330 WITH SCORE 644129.972
AT ITER 3491 NEW BEST:: SOT 4384684 SOS 799627 HAS SOPS 799627 HAS SOUS 642985 HAS SOUPS 642985 WITH SCORE 643784.627
AT ITER 3496 NEW BEST:: SOT 4384684 SOS 799427 HAS SOPS 799427 HAS SOUS 642785 HAS SOUPS 642785 WITH SCORE 643584.427
AT ITER 3502 NEW BEST:: SOT 4384721 SOS 799501 HAS SOPS 799501 HAS SOUS 642682 HAS SOUPS 642682 WITH SCORE 643481.501
AT ITER 3512 NEW BEST:: SOT 4384721 SOS 799337 HAS SOPS 799337 HAS SOUS 642682 HAS SOUPS 642682 WITH SCORE 643481.337
AT ITER 3532 NEW BEST:: SOT 4384710 SOS 799315 HAS SOPS 799315 HAS SOUS 642671 HAS SOUPS 642671 WITH SCORE 643470.315
AT ITER 3539 NEW BEST:: SOT 4384652 SOS 799199 HAS SOPS 799199 HAS SOUS 642613 HAS SOUPS 642613 WITH SCORE 643412.199
AT ITER 3556 NEW BEST:: SOT 4382835 SOS 802586 HAS SOPS 802586 HAS SOUS 641384 HAS SOUPS 641384 WITH SCORE 642186.586
AT ITER 3560 NEW BEST:: SOT 4382710 SOS 802461 HAS SOPS 802461 HAS SOUS 641259 HAS SOUPS 641259 WITH SCORE 642061.461
AT ITER 3565 NEW BEST:: SOT 4382710 SOS 802461 HAS SOPS 802461 HAS SOUS 641258 HAS SOUPS 641258 WITH SCORE 642060.461
AT ITER 3611 NEW BEST:: SOT 4382647 SOS 802399 HAS SOPS 802399 HAS SOUS 641195 HAS SOUPS 641195 WITH SCORE 641997.399
AT ITER 3623 NEW BEST:: SOT 4382633 SOS 802217 HAS SOPS 802217 HAS SOUS 641181 HAS SOUPS 641181 WITH SCORE 641983.217
AT ITER 3660 NEW BEST:: SOT 4382512 SOS 802123 HAS SOPS 802123 HAS SOUS 641087 HAS SOUPS 641087 WITH SCORE 641889.123
AT ITER 3662 NEW BEST:: SOT 4382467 SOS 802078 HAS SOPS 802078 HAS SOUS 641042 HAS SOUPS 641042 WITH SCORE 641844.078
AT ITER 3683 NEW BEST:: SOT 4382570 SOS 802181 HAS SOPS 802181 HAS SOUS 640945 HAS SOUPS 640945 WITH SCORE 641747.181
AT ITER 3685 NEW BEST:: SOT 4382570 SOS 802181 HAS SOPS 802181 HAS SOUS 640883 HAS SOUPS 640883 WITH SCORE 641685.181
AT ITER 3687 NEW BEST:: SOT 4382554 SOS 802149 HAS SOPS 802149 HAS SOUS 640851 HAS SOUPS 640851 WITH SCORE 641653.149
AT ITER 3698 NEW BEST:: SOT 4382629 SOS 802103 HAS SOPS 802103 HAS SOUS 640793 HAS SOUPS 640793 WITH SCORE 641595.103
AT ITER 3700 NEW BEST:: SOT 4382548 SOS 801941 HAS SOPS 801941 HAS SOUS 640631 HAS SOUPS 640631 WITH SCORE 641432.941
AT ITER 3731 NEW BEST:: SOT 4382548 SOS 801761 HAS SOPS 801761 HAS SOUS 640631 HAS SOUPS 640631 WITH SCORE 641432.761
AT ITER 3732 NEW BEST:: SOT 4382222 SOS 801420 HAS SOPS 801420 HAS SOUS 640227 HAS SOUPS 640227 WITH SCORE 641028.42
AT ITER 3752 NEW BEST:: SOT 4381885 SOS 800746 HAS SOPS 800746 HAS SOUS 639951 HAS SOUPS 639951 WITH SCORE 640751.746
AT ITER 3803 NEW BEST:: SOT 4381885 SOS 800671 HAS SOPS 800671 HAS SOUS 639951 HAS SOUPS 639951 WITH SCORE 640751.671
AT ITER 3804 NEW BEST:: SOT 4381684 SOS 800269 HAS SOPS 800269 HAS SOUS 639814 HAS SOUPS 639814 WITH SCORE 640614.269
AT ITER 3855 NEW BEST:: SOT 4381614 SOS 800217 HAS SOPS 800217 HAS SOUS 639700 HAS SOUPS 639700 WITH SCORE 640500.217
AT ITER 3859 NEW BEST:: SOT 4381545 SOS 800157 HAS SOPS 800157 HAS SOUS 639678 HAS SOUPS 639678 WITH SCORE 640478.157
AT ITER 3878 NEW BEST:: SOT 4381489 SOS 800046 HAS SOPS 800046 HAS SOUS 639648 HAS SOUPS 639648 WITH SCORE 640448.046
AT ITER 3960 NEW BEST:: SOT 4381439 SOS 799996 HAS SOPS 799996 HAS SOUS 639598 HAS SOUPS 639598 WITH SCORE 640397.996
AT ITER 3971 NEW BEST:: SOT 4381431 SOS 800005 HAS SOPS 800005 HAS SOUS 639590 HAS SOUPS 639590 WITH SCORE 640390.005
AT ITER 3980 NEW BEST:: SOT 4381430 SOS 800003 HAS SOPS 800003 HAS SOUS 639588 HAS SOUPS 639588 WITH SCORE 640388.003
AT ITER 3989 NEW BEST:: SOT 4381430 SOS 800003 HAS SOPS 800003 HAS SOUS 639488 HAS SOUPS 639488 WITH SCORE 640288.003
AT ITER 4046 NEW BEST:: SOT 4381142 SOS 799003 HAS SOPS 799003 HAS SOUS 638912 HAS SOUPS 638912 WITH SCORE 639711.003
AT ITER 4072 NEW BEST:: SOT 4380888 SOS 798243 HAS SOPS 798243 HAS SOUS 638404 HAS SOUPS 638404 WITH SCORE 639202.243
AT ITER 4095 NEW BEST:: SOT 4380734 SOS 797935 HAS SOPS 797935 HAS SOUS 638096 HAS SOUPS 638096 WITH SCORE 638893.935
AT ITER 4102 NEW BEST:: SOT 4380734 SOS 797925 HAS SOPS 797925 HAS SOUS 638086 HAS SOUPS 638086 WITH SCORE 638883.925
AT ITER 4126 NEW BEST:: SOT 4380532 SOS 797521 HAS SOPS 797521 HAS SOUS 637783 HAS SOUPS 637783 WITH SCORE 638580.521
AT ITER 4142 NEW BEST:: SOT 4380212 SOS 796797 HAS SOPS 796797 HAS SOUS 637291 HAS SOUPS 637291 WITH SCORE 638087.797
AT ITER 4149 NEW BEST:: SOT 4380211 SOS 796795 HAS SOPS 796795 HAS SOUS 637289 HAS SOUPS 637289 WITH SCORE 638085.795
AT ITER 4155 NEW BEST:: SOT 4380618 SOS 796749 HAS SOPS 796749 HAS SOUS 637243 HAS SOUPS 637243 WITH SCORE 638039.749
AT ITER 4179 NEW BEST:: SOT 4380469 SOS 796128 HAS SOPS 796128 HAS SOUS 636969 HAS SOUPS 636969 WITH SCORE 637765.128
AT ITER 4188 NEW BEST:: SOT 4380621 SOS 796012 HAS SOPS 796012 HAS SOUS 636853 HAS SOUPS 636853 WITH SCORE 637649.012
AT ITER 4207 NEW BEST:: SOT 4380456 SOS 795682 HAS SOPS 795682 HAS SOUS 636523 HAS SOUPS 636523 WITH SCORE 637318.682
AT ITER 4212 NEW BEST:: SOT 4380210 SOS 795190 HAS SOPS 795190 HAS SOUS 636154 HAS SOUPS 636154 WITH SCORE 636949.19
AT ITER 4234 NEW BEST:: SOT 4380167 SOS 795104 HAS SOPS 795104 HAS SOUS 636111 HAS SOUPS 636111 WITH SCORE 636906.104
AT ITER 4243 NEW BEST:: SOT 4379977 SOS 795072 HAS SOPS 795072 HAS SOUS 635980 HAS SOUPS 635980 WITH SCORE 636775.072
AT ITER 4253 NEW BEST:: SOT 4379726 SOS 794570 HAS SOPS 794570 HAS SOUS 635478 HAS SOUPS 635478 WITH SCORE 636272.57
AT ITER 4258 NEW BEST:: SOT 4379617 SOS 794352 HAS SOPS 794352 HAS SOUS 635369 HAS SOUPS 635369 WITH SCORE 636163.352
AT ITER 4274 NEW BEST:: SOT 4379617 SOS 794139 HAS SOPS 794139 HAS SOUS 635369 HAS SOUPS 635369 WITH SCORE 636163.139
AT ITER 4297 NEW BEST:: SOT 4379617 SOS 794070 HAS SOPS 794070 HAS SOUS 635369 HAS SOUPS 635369 WITH SCORE 636163.07
AT ITER 4302 NEW BEST:: SOT 4379617 SOS 794070 HAS SOPS 794070 HAS SOUS 635191 HAS SOUPS 635191 WITH SCORE 635985.07
AT ITER 4304 NEW BEST:: SOT 4379656 SOS 793688 HAS SOPS 793688 HAS SOUS 635000 HAS SOUPS 635000 WITH SCORE 635793.688
AT ITER 4310 NEW BEST:: SOT 4379667 SOS 793710 HAS SOPS 793710 HAS SOUS 634820 HAS SOUPS 634820 WITH SCORE 635613.71
AT ITER 4314 NEW BEST:: SOT 4379601 SOS 793721 HAS SOPS 793721 HAS SOUS 634688 HAS SOUPS 634688 WITH SCORE 635481.721
AT ITER 4315 NEW BEST:: SOT 4379601 SOS 793721 HAS SOPS 793721 HAS SOUS 634633 HAS SOUPS 634633 WITH SCORE 635426.721
AT ITER 4339 NEW BEST:: SOT 4379601 SOS 793681 HAS SOPS 793681 HAS SOUS 634593 HAS SOUPS 634593 WITH SCORE 635386.681
AT ITER 4341 NEW BEST:: SOT 4379561 SOS 793681 HAS SOPS 793681 HAS SOUS 634553 HAS SOUPS 634553 WITH SCORE 635346.681
AT ITER 4356 NEW BEST:: SOT 4379561 SOS 793681 HAS SOPS 793681 HAS SOUS 634552 HAS SOUPS 634552 WITH SCORE 635345.681
AT ITER 4360 NEW BEST:: SOT 4379492 SOS 793477 HAS SOPS 793477 HAS SOUS 634348 HAS SOUPS 634348 WITH SCORE 635141.477
AT ITER 4379 NEW BEST:: SOT 4379533 SOS 793225 HAS SOPS 793225 HAS SOUS 634222 HAS SOUPS 634222 WITH SCORE 635015.225
AT ITER 4416 NEW BEST:: SOT 4379423 SOS 793005 HAS SOPS 793005 HAS SOUS 634057 HAS SOUPS 634057 WITH SCORE 634850.005
AT ITER 4425 NEW BEST:: SOT 4379362 SOS 792883 HAS SOPS 792883 HAS SOUS 633996 HAS SOUPS 633996 WITH SCORE 634788.883
AT ITER 4451 NEW BEST:: SOT 4379362 SOS 792841 HAS SOPS 792841 HAS SOUS 633954 HAS SOUPS 633954 WITH SCORE 634746.841
AT ITER 4452 NEW BEST:: SOT 4379370 SOS 792857 HAS SOPS 792857 HAS SOUS 633609 HAS SOUPS 633609 WITH SCORE 634401.857
AT ITER 4508 NEW BEST:: SOT 4379170 SOS 793601 HAS SOPS 793601 HAS SOUS 633500 HAS SOUPS 633500 WITH SCORE 634293.601
AT ITER 4509 NEW BEST:: SOT 4378950 SOS 792786 HAS SOPS 792786 HAS SOUS 633109 HAS SOUPS 633109 WITH SCORE 633901.786
AT ITER 4544 NEW BEST:: SOT 4379187 SOS 792596 HAS SOPS 792596 HAS SOUS 633014 HAS SOUPS 633014 WITH SCORE 633806.596
AT ITER 4568 NEW BEST:: SOT 4379134 SOS 792618 HAS SOPS 792618 HAS SOUS 632961 HAS SOUPS 632961 WITH SCORE 633753.618
AT ITER 4575 NEW BEST:: SOT 4379119 SOS 792588 HAS SOPS 792588 HAS SOUS 632931 HAS SOUPS 632931 WITH SCORE 633723.588
AT ITER 4579 NEW BEST:: SOT 4378933 SOS 792216 HAS SOPS 792216 HAS SOUS 632559 HAS SOUPS 632559 WITH SCORE 633351.216
AT ITER 4589 NEW BEST:: SOT 4378933 SOS 792180 HAS SOPS 792180 HAS SOUS 632523 HAS SOUPS 632523 WITH SCORE 633315.18
AT ITER 4659 NEW BEST:: SOT 4378694 SOS 792030 HAS SOPS 792030 HAS SOUS 632335 HAS SOUPS 632335 WITH SCORE 633127.03
AT ITER 4667 NEW BEST:: SOT 4378694 SOS 791753 HAS SOPS 791753 HAS SOUS 632058 HAS SOUPS 632058 WITH SCORE 632849.753
AT ITER 4726 NEW BEST:: SOT 4378694 SOS 791571 HAS SOPS 791571 HAS SOUS 632058 HAS SOUPS 632058 WITH SCORE 632849.571
AT ITER 4752 NEW BEST:: SOT 4378617 SOS 791571 HAS SOPS 791571 HAS SOUS 632054 HAS SOUPS 632054 WITH SCORE 632845.571
AT ITER 4758 NEW BEST:: SOT 4378423 SOS 791183 HAS SOPS 791183 HAS SOUS 631666 HAS SOUPS 631666 WITH SCORE 632457.183
AT ITER 4787 NEW BEST:: SOT 4378336 SOS 790922 HAS SOPS 790922 HAS SOUS 631492 HAS SOUPS 631492 WITH SCORE 632282.922
AT ITER 4828 NEW BEST:: SOT 4378336 SOS 790922 HAS SOPS 790922 HAS SOUS 631301 HAS SOUPS 631301 WITH SCORE 632091.922
AT ITER 4857 NEW BEST:: SOT 4378336 SOS 790922 HAS SOPS 790922 HAS SOUS 631279 HAS SOUPS 631279 WITH SCORE 632069.922
AT ITER 4867 NEW BEST:: SOT 4378324 SOS 790910 HAS SOPS 790910 HAS SOUS 631255 HAS SOUPS 631255 WITH SCORE 632045.91
AT ITER 4884 NEW BEST:: SOT 4378105 SOS 790472 HAS SOPS 790472 HAS SOUS 630817 HAS SOUPS 630817 WITH SCORE 631607.472
AT ITER 4890 NEW BEST:: SOT 4378098 SOS 790458 HAS SOPS 790458 HAS SOUS 630810 HAS SOUPS 630810 WITH SCORE 631600.458
AT ITER 4902 NEW BEST:: SOT 4378139 SOS 790540 HAS SOPS 790540 HAS SOUS 630586 HAS SOUPS 630586 WITH SCORE 631376.54
AT ITER 5090 NEW BEST:: SOT 4378034 SOS 790435 HAS SOPS 790435 HAS SOUS 630481 HAS SOUPS 630481 WITH SCORE 631271.435
AT ITER 5113 NEW BEST:: SOT 4377623 SOS 789418 HAS SOPS 789418 HAS SOUS 629962 HAS SOUPS 629962 WITH SCORE 630751.418
AT ITER 5130 NEW BEST:: SOT 4377208 SOS 788961 HAS SOPS 788961 HAS SOUS 629320 HAS SOUPS 629320 WITH SCORE 630108.961
AT ITER 5143 NEW BEST:: SOT 4377148 SOS 788433 HAS SOPS 788433 HAS SOUS 628904 HAS SOUPS 628904 WITH SCORE 629692.433
AT ITER 5162 NEW BEST:: SOT 4377031 SOS 788199 HAS SOPS 788199 HAS SOUS 628670 HAS SOUPS 628670 WITH SCORE 629458.199
AT ITER 5175 NEW BEST:: SOT 4376808 SOS 787753 HAS SOPS 787753 HAS SOUS 628447 HAS SOUPS 628447 WITH SCORE 629234.753
AT ITER 5215 NEW BEST:: SOT 4376573 SOS 787283 HAS SOPS 787283 HAS SOUS 628212 HAS SOUPS 628212 WITH SCORE 628999.283
AT ITER 5245 NEW BEST:: SOT 4376540 SOS 787184 HAS SOPS 787184 HAS SOUS 628173 HAS SOUPS 628173 WITH SCORE 628960.184
AT ITER 5248 NEW BEST:: SOT 4376540 SOS 787075 HAS SOPS 787075 HAS SOUS 628162 HAS SOUPS 628162 WITH SCORE 628949.075
AT ITER 5256 NEW BEST:: SOT 4376534 SOS 786791 HAS SOPS 786791 HAS SOUS 627884 HAS SOUPS 627884 WITH SCORE 628670.791
AT ITER 5261 NEW BEST:: SOT 4373853 SOS 800760 HAS SOPS 800760 HAS SOUS 626068 HAS SOUPS 626068 WITH SCORE 626868.76
AT ITER 5278 NEW BEST:: SOT 4373727 SOS 800974 HAS SOPS 800974 HAS SOUS 625995 HAS SOUPS 625995 WITH SCORE 626795.974
AT ITER 5312 NEW BEST:: SOT 4373306 SOS 800548 HAS SOPS 800548 HAS SOUS 625797 HAS SOUPS 625797 WITH SCORE 626597.548
AT ITER 5359 NEW BEST:: SOT 4373298 SOS 800524 HAS SOPS 800524 HAS SOUS 625781 HAS SOUPS 625781 WITH SCORE 626581.524
AT ITER 5372 NEW BEST:: SOT 4373077 SOS 800592 HAS SOPS 800592 HAS SOUS 625573 HAS SOUPS 625573 WITH SCORE 626373.592
AT ITER 5374 NEW BEST:: SOT 4373075 SOS 800588 HAS SOPS 800588 HAS SOUS 625569 HAS SOUPS 625569 WITH SCORE 626369.588
AT ITER 5387 NEW BEST:: SOT 4372994 SOS 800426 HAS SOPS 800426 HAS SOUS 625407 HAS SOUPS 625407 WITH SCORE 626207.426
AT ITER 5416 NEW BEST:: SOT 4372871 SOS 800385 HAS SOPS 800385 HAS SOUS 625366 HAS SOUPS 625366 WITH SCORE 626166.385
AT ITER 5427 NEW BEST:: SOT 4372845 SOS 800333 HAS SOPS 800333 HAS SOUS 625314 HAS SOUPS 625314 WITH SCORE 626114.333
AT ITER 5430 NEW BEST:: SOT 4372845 SOS 799999 HAS SOPS 799999 HAS SOUS 625310 HAS SOUPS 625310 WITH SCORE 626109.999
AT ITER 5457 NEW BEST:: SOT 4372719 SOS 799747 HAS SOPS 799747 HAS SOUS 625058 HAS SOUPS 625058 WITH SCORE 625857.747
AT ITER 5465 NEW BEST:: SOT 4372670 SOS 799649 HAS SOPS 799649 HAS SOUS 624960 HAS SOUPS 624960 WITH SCORE 625759.649
AT ITER 5467 NEW BEST:: SOT 4372594 SOS 799497 HAS SOPS 799497 HAS SOUS 624884 HAS SOUPS 624884 WITH SCORE 625683.497
AT ITER 5481 NEW BEST:: SOT 4372425 SOS 799510 HAS SOPS 799510 HAS SOUS 624808 HAS SOUPS 624808 WITH SCORE 625607.51
AT ITER 5496 NEW BEST:: SOT 4372388 SOS 799436 HAS SOPS 799436 HAS SOUS 624771 HAS SOUPS 624771 WITH SCORE 625570.436
AT ITER 5498 NEW BEST:: SOT 4372369 SOS 799480 HAS SOPS 799480 HAS SOUS 624702 HAS SOUPS 624702 WITH SCORE 625501.48
AT ITER 5541 NEW BEST:: SOT 4372369 SOS 799433 HAS SOPS 799433 HAS SOUS 624702 HAS SOUPS 624702 WITH SCORE 625501.433
AT ITER 5563 NEW BEST:: SOT 4372135 SOS 799199 HAS SOPS 799199 HAS SOUS 624462 HAS SOUPS 624462 WITH SCORE 625261.199
AT ITER 5567 NEW BEST:: SOT 4370992 SOS 801062 HAS SOPS 801062 HAS SOUS 624096 HAS SOUPS 624096 WITH SCORE 624897.062
AT ITER 5569 NEW BEST:: SOT 4370992 SOS 800501 HAS SOPS 800501 HAS SOUS 623979 HAS SOUPS 623979 WITH SCORE 624779.501
AT ITER 5624 NEW BEST:: SOT 4370965 SOS 800447 HAS SOPS 800447 HAS SOUS 623925 HAS SOUPS 623925 WITH SCORE 624725.447
AT ITER 5634 NEW BEST:: SOT 4370965 SOS 800404 HAS SOPS 800404 HAS SOUS 623882 HAS SOUPS 623882 WITH SCORE 624682.404
AT ITER 5639 NEW BEST:: SOT 4370636 SOS 781542 HAS SOPS 781542 HAS SOUS 623250 HAS SOUPS 623250 WITH SCORE 624031.542
AT ITER 5661 NEW BEST:: SOT 4370630 SOS 781501 HAS SOPS 781501 HAS SOUS 623244 HAS SOUPS 623244 WITH SCORE 624025.501
AT ITER 5677 NEW BEST:: SOT 4370574 SOS 781297 HAS SOPS 781297 HAS SOUS 623188 HAS SOUPS 623188 WITH SCORE 623969.297
AT ITER 5718 NEW BEST:: SOT 4370301 SOS 780751 HAS SOPS 780751 HAS SOUS 622622 HAS SOUPS 622622 WITH SCORE 623402.751
AT ITER 5745 NEW BEST:: SOT 4370274 SOS 780697 HAS SOPS 780697 HAS SOUS 622568 HAS SOUPS 622568 WITH SCORE 623348.697
AT ITER 5772 NEW BEST:: SOT 4370013 SOS 781071 HAS SOPS 781071 HAS SOUS 622531 HAS SOUPS 622531 WITH SCORE 623312.071
AT ITER 5784 NEW BEST:: SOT 4370013 SOS 781071 HAS SOPS 781071 HAS SOUS 622490 HAS SOUPS 622490 WITH SCORE 623271.071
AT ITER 5790 NEW BEST:: SOT 4369702 SOS 780449 HAS SOPS 780449 HAS SOUS 622158 HAS SOUPS 622158 WITH SCORE 622938.449
AT ITER 5791 NEW BEST:: SOT 4369702 SOS 780380 HAS SOPS 780380 HAS SOUS 622089 HAS SOUPS 622089 WITH SCORE 622869.38
AT ITER 5794 NEW BEST:: SOT 4369789 SOS 779982 HAS SOPS 779982 HAS SOUS 621977 HAS SOUPS 621977 WITH SCORE 622756.982
AT ITER 5797 NEW BEST:: SOT 4369742 SOS 779586 HAS SOPS 779586 HAS SOUS 621758 HAS SOUPS 621758 WITH SCORE 622537.586
AT ITER 5843 NEW BEST:: SOT 4369694 SOS 779490 HAS SOPS 779490 HAS SOUS 621710 HAS SOUPS 621710 WITH SCORE 622489.49
AT ITER 5845 NEW BEST:: SOT 4369504 SOS 778613 HAS SOPS 778613 HAS SOUS 621367 HAS SOUPS 621367 WITH SCORE 622145.613
AT ITER 5850 NEW BEST:: SOT 4369460 SOS 778525 HAS SOPS 778525 HAS SOUS 621279 HAS SOUPS 621279 WITH SCORE 622057.525
AT ITER 5856 NEW BEST:: SOT 4368815 SOS 777235 HAS SOPS 777235 HAS SOUS 620155 HAS SOUPS 620155 WITH SCORE 620932.235
AT ITER 5861 NEW BEST:: SOT 4368779 SOS 776871 HAS SOPS 776871 HAS SOUS 620026 HAS SOUPS 620026 WITH SCORE 620802.871
AT ITER 5884 NEW BEST:: SOT 4368779 SOS 776833 HAS SOPS 776833 HAS SOUS 619988 HAS SOUPS 619988 WITH SCORE 620764.833
AT ITER 5895 NEW BEST:: SOT 4368744 SOS 776806 HAS SOPS 776806 HAS SOUS 619918 HAS SOUPS 619918 WITH SCORE 620694.806
AT ITER 5896 NEW BEST:: SOT 4368698 SOS 776714 HAS SOPS 776714 HAS SOUS 619872 HAS SOUPS 619872 WITH SCORE 620648.714
AT ITER 5903 NEW BEST:: SOT 4368634 SOS 776508 HAS SOPS 776508 HAS SOUS 619730 HAS SOUPS 619730 WITH SCORE 620506.508
AT ITER 5904 NEW BEST:: SOT 4368634 SOS 776398 HAS SOPS 776398 HAS SOUS 619620 HAS SOUPS 619620 WITH SCORE 620396.398
AT ITER 5909 NEW BEST:: SOT 4368304 SOS 775738 HAS SOPS 775738 HAS SOUS 619371 HAS SOUPS 619371 WITH SCORE 620146.738
AT ITER 5927 NEW BEST:: SOT 4368196 SOS 775522 HAS SOPS 775522 HAS SOUS 619258 HAS SOUPS 619258 WITH SCORE 620033.522
AT ITER 5929 NEW BEST:: SOT 4368148 SOS 775426 HAS SOPS 775426 HAS SOUS 619162 HAS SOUPS 619162 WITH SCORE 619937.426
AT ITER 5949 NEW BEST:: SOT 4368142 SOS 775414 HAS SOPS 775414 HAS SOUS 619150 HAS SOUPS 619150 WITH SCORE 619925.414
AT ITER 5967 NEW BEST:: SOT 4367985 SOS 775100 HAS SOPS 775100 HAS SOUS 618836 HAS SOUPS 618836 WITH SCORE 619611.1
AT ITER 5989 NEW BEST:: SOT 4367980 SOS 775090 HAS SOPS 775090 HAS SOUS 618826 HAS SOUPS 618826 WITH SCORE 619601.09
AT ITER 6007 NEW BEST:: SOT 4367854 SOS 774973 HAS SOPS 774973 HAS SOUS 618709 HAS SOUPS 618709 WITH SCORE 619483.973
AT ITER 6027 NEW BEST:: SOT 4367838 SOS 774941 HAS SOPS 774941 HAS SOUS 618446 HAS SOUPS 618446 WITH SCORE 619220.941
AT ITER 6028 NEW BEST:: SOT 4367826 SOS 774917 HAS SOPS 774917 HAS SOUS 618422 HAS SOUPS 618422 WITH SCORE 619196.917
AT ITER 6037 NEW BEST:: SOT 4367690 SOS 774948 HAS SOPS 774948 HAS SOUS 618286 HAS SOUPS 618286 WITH SCORE 619060.948
AT ITER 6051 NEW BEST:: SOT 4367333 SOS 774550 HAS SOPS 774550 HAS SOUS 617613 HAS SOUPS 617613 WITH SCORE 618387.55
AT ITER 6074 NEW BEST:: SOT 4367153 SOS 774521 HAS SOPS 774521 HAS SOUS 617436 HAS SOUPS 617436 WITH SCORE 618210.521
AT ITER 6076 NEW BEST:: SOT 4367096 SOS 774407 HAS SOPS 774407 HAS SOUS 617385 HAS SOUPS 617385 WITH SCORE 618159.407
AT ITER 6083 NEW BEST:: SOT 4367077 SOS 774438 HAS SOPS 774438 HAS SOUS 617366 HAS SOUPS 617366 WITH SCORE 618140.438
AT ITER 6089 NEW BEST:: SOT 4366946 SOS 774307 HAS SOPS 774307 HAS SOUS 617235 HAS SOUPS 617235 WITH SCORE 618009.307
AT ITER 6108 NEW BEST:: SOT 4366804 SOS 774165 HAS SOPS 774165 HAS SOUS 616951 HAS SOUPS 616951 WITH SCORE 617725.165
AT ITER 6124 NEW BEST:: SOT 4366864 SOS 774097 HAS SOPS 774097 HAS SOUS 616943 HAS SOUPS 616943 WITH SCORE 617717.097
AT ITER 6152 NEW BEST:: SOT 4366795 SOS 773959 HAS SOPS 773959 HAS SOUS 616873 HAS SOUPS 616873 WITH SCORE 617646.959
AT ITER 6163 NEW BEST:: SOT 4366594 SOS 773557 HAS SOPS 773557 HAS SOUS 616672 HAS SOUPS 616672 WITH SCORE 617445.557
AT ITER 6172 NEW BEST:: SOT 4366580 SOS 773529 HAS SOPS 773529 HAS SOUS 616658 HAS SOUPS 616658 WITH SCORE 617431.529
AT ITER 6222 NEW BEST:: SOT 4366580 SOS 773471 HAS SOPS 773471 HAS SOUS 616600 HAS SOUPS 616600 WITH SCORE 617373.471
AT ITER 6225 NEW BEST:: SOT 4366571 SOS 773453 HAS SOPS 773453 HAS SOUS 616582 HAS SOUPS 616582 WITH SCORE 617355.453
AT ITER 6231 NEW BEST:: SOT 4366566 SOS 773443 HAS SOPS 773443 HAS SOUS 616572 HAS SOUPS 616572 WITH SCORE 617345.443
AT ITER 6244 NEW BEST:: SOT 4366012 SOS 769871 HAS SOPS 769871 HAS SOUS 615464 HAS SOUPS 615464 WITH SCORE 616233.871
AT ITER 6247 NEW BEST:: SOT 4365988 SOS 769823 HAS SOPS 769823 HAS SOUS 615416 HAS SOUPS 615416 WITH SCORE 616185.823
AT ITER 6258 NEW BEST:: SOT 4365931 SOS 778285 HAS SOPS 778285 HAS SOUS 615386 HAS SOUPS 615386 WITH SCORE 616164.285
AT ITER 6269 NEW BEST:: SOT 4365895 SOS 778213 HAS SOPS 778213 HAS SOUS 615314 HAS SOUPS 615314 WITH SCORE 616092.213
AT ITER 6273 NEW BEST:: SOT 4365819 SOS 778061 HAS SOPS 778061 HAS SOUS 615238 HAS SOUPS 615238 WITH SCORE 616016.061
AT ITER 6295 NEW BEST:: SOT 4365677 SOS 778061 HAS SOPS 778061 HAS SOUS 615167 HAS SOUPS 615167 WITH SCORE 615945.061
AT ITER 6305 NEW BEST:: SOT 4365677 SOS 777965 HAS SOPS 777965 HAS SOUS 615167 HAS SOUPS 615167 WITH SCORE 615944.965
AT ITER 6311 NEW BEST:: SOT 4365772 SOS 777899 HAS SOPS 777899 HAS SOUS 615101 HAS SOUPS 615101 WITH SCORE 615878.899
AT ITER 6331 NEW BEST:: SOT 4365602 SOS 777835 HAS SOPS 777835 HAS SOUS 615037 HAS SOUPS 615037 WITH SCORE 615814.835
AT ITER 6337 NEW BEST:: SOT 4365598 SOS 777827 HAS SOPS 777827 HAS SOUS 615029 HAS SOUPS 615029 WITH SCORE 615806.827
AT ITER 6348 NEW BEST:: SOT 4365317 SOS 777195 HAS SOPS 777195 HAS SOUS 614467 HAS SOUPS 614467 WITH SCORE 615244.195
AT ITER 6351 NEW BEST:: SOT 4365317 SOS 777012 HAS SOPS 777012 HAS SOUS 614467 HAS SOUPS 614467 WITH SCORE 615244.012
AT ITER 6355 NEW BEST:: SOT 4365208 SOS 776794 HAS SOPS 776794 HAS SOUS 614249 HAS SOUPS 614249 WITH SCORE 615025.794
AT ITER 6374 NEW BEST:: SOT 4365121 SOS 776620 HAS SOPS 776620 HAS SOUS 614162 HAS SOUPS 614162 WITH SCORE 614938.62
AT ITER 6396 NEW BEST:: SOT 4365121 SOS 776620 HAS SOPS 776620 HAS SOUS 614073 HAS SOUPS 614073 WITH SCORE 614849.62
AT ITER 6410 NEW BEST:: SOT 4364863 SOS 776440 HAS SOPS 776440 HAS SOUS 613893 HAS SOUPS 613893 WITH SCORE 614669.44
AT ITER 6420 NEW BEST:: SOT 4364850 SOS 776414 HAS SOPS 776414 HAS SOUS 613867 HAS SOUPS 613867 WITH SCORE 614643.414
AT ITER 6435 NEW BEST:: SOT 4364803 SOS 775976 HAS SOPS 775976 HAS SOUS 613648 HAS SOUPS 613648 WITH SCORE 614423.976
AT ITER 6463 NEW BEST:: SOT 4364803 SOS 775976 HAS SOPS 775976 HAS SOUS 613574 HAS SOUPS 613574 WITH SCORE 614349.976
AT ITER 6475 NEW BEST:: SOT 4364779 SOS 775952 HAS SOPS 775952 HAS SOUS 613550 HAS SOUPS 613550 WITH SCORE 614325.952
AT ITER 6506 NEW BEST:: SOT 4364734 SOS 775565 HAS SOPS 775565 HAS SOUS 613504 HAS SOUPS 613504 WITH SCORE 614279.565
AT ITER 6509 NEW BEST:: SOT 4363888 SOS 774525 HAS SOPS 774525 HAS SOUS 612464 HAS SOUPS 612464 WITH SCORE 613238.525
AT ITER 6510 NEW BEST:: SOT 4363888 SOS 774142 HAS SOPS 774142 HAS SOUS 612464 HAS SOUPS 612464 WITH SCORE 613238.142
AT ITER 6511 NEW BEST:: SOT 4363785 SOS 773908 HAS SOPS 773908 HAS SOUS 612258 HAS SOUPS 612258 WITH SCORE 613031.908
AT ITER 6522 NEW BEST:: SOT 4363777 SOS 773876 HAS SOPS 773876 HAS SOUS 612242 HAS SOUPS 612242 WITH SCORE 613015.876
AT ITER 6535 NEW BEST:: SOT 4363727 SOS 773776 HAS SOPS 773776 HAS SOUS 612029 HAS SOUPS 612029 WITH SCORE 612802.776
AT ITER 6565 NEW BEST:: SOT 4363698 SOS 773866 HAS SOPS 773866 HAS SOUS 612000 HAS SOUPS 612000 WITH SCORE 612773.866
AT ITER 6593 NEW BEST:: SOT 4363568 SOS 773606 HAS SOPS 773606 HAS SOUS 611740 HAS SOUPS 611740 WITH SCORE 612513.606
AT ITER 6598 NEW BEST:: SOT 4363512 SOS 773494 HAS SOPS 773494 HAS SOUS 611684 HAS SOUPS 611684 WITH SCORE 612457.494
AT ITER 6640 NEW BEST:: SOT 4363357 SOS 773184 HAS SOPS 773184 HAS SOUS 611374 HAS SOUPS 611374 WITH SCORE 612147.184
AT ITER 6641 NEW BEST:: SOT 4363356 SOS 773182 HAS SOPS 773182 HAS SOUS 611372 HAS SOUPS 611372 WITH SCORE 612145.182
AT ITER 6678 NEW BEST:: SOT 4363149 SOS 773020 HAS SOPS 773020 HAS SOUS 611165 HAS SOUPS 611165 WITH SCORE 611938.02
AT ITER 6693 NEW BEST:: SOT 4363018 SOS 772758 HAS SOPS 772758 HAS SOUS 610891 HAS SOUPS 610891 WITH SCORE 611663.758
AT ITER 6703 NEW BEST:: SOT 4363018 SOS 772722 HAS SOPS 772722 HAS SOUS 610855 HAS SOUPS 610855 WITH SCORE 611627.722
AT ITER 6708 NEW BEST:: SOT 4362837 SOS 772813 HAS SOPS 772813 HAS SOUS 610847 HAS SOUPS 610847 WITH SCORE 611619.813
AT ITER 6731 NEW BEST:: SOT 4362837 SOS 772661 HAS SOPS 772661 HAS SOUS 610771 HAS SOUPS 610771 WITH SCORE 611543.661
AT ITER 6744 NEW BEST:: SOT 4362837 SOS 772561 HAS SOPS 772561 HAS SOUS 610771 HAS SOUPS 610771 WITH SCORE 611543.561
AT ITER 6756 NEW BEST:: SOT 4362804 SOS 772528 HAS SOPS 772528 HAS SOUS 610738 HAS SOUPS 610738 WITH SCORE 611510.528
AT ITER 6761 NEW BEST:: SOT 4362698 SOS 772316 HAS SOPS 772316 HAS SOUS 610619 HAS SOUPS 610619 WITH SCORE 611391.316
AT ITER 6770 NEW BEST:: SOT 4362698 SOS 772316 HAS SOPS 772316 HAS SOUS 610616 HAS SOUPS 610616 WITH SCORE 611388.316
AT ITER 6778 NEW BEST:: SOT 4362713 SOS 772087 HAS SOPS 772087 HAS SOUS 610452 HAS SOUPS 610452 WITH SCORE 611224.087
AT ITER 6779 NEW BEST:: SOT 4362693 SOS 772067 HAS SOPS 772067 HAS SOUS 610412 HAS SOUPS 610412 WITH SCORE 611184.067
AT ITER 6790 NEW BEST:: SOT 4362530 SOS 772025 HAS SOPS 772025 HAS SOUS 610249 HAS SOUPS 610249 WITH SCORE 611021.025
AT ITER 6828 NEW BEST:: SOT 4362485 SOS 771935 HAS SOPS 771935 HAS SOUS 610159 HAS SOUPS 610159 WITH SCORE 610930.935
AT ITER 6829 NEW BEST:: SOT 4362386 SOS 771933 HAS SOPS 771933 HAS SOUS 610101 HAS SOUPS 610101 WITH SCORE 610872.933
AT ITER 6888 NEW BEST:: SOT 4362229 SOS 771619 HAS SOPS 771619 HAS SOUS 609808 HAS SOUPS 609808 WITH SCORE 610579.619
AT ITER 6918 NEW BEST:: SOT 4362084 SOS 771473 HAS SOPS 771473 HAS SOUS 609663 HAS SOUPS 609663 WITH SCORE 610434.473
AT ITER 6954 NEW BEST:: SOT 4362083 SOS 771471 HAS SOPS 771471 HAS SOUS 609661 HAS SOUPS 609661 WITH SCORE 610432.471
AT ITER 6955 NEW BEST:: SOT 4362083 SOS 771352 HAS SOPS 771352 HAS SOUS 609542 HAS SOUPS 609542 WITH SCORE 610313.352
AT ITER 6984 NEW BEST:: SOT 4362077 SOS 771340 HAS SOPS 771340 HAS SOUS 609530 HAS SOUPS 609530 WITH SCORE 610301.34
AT ITER 7048 NEW BEST:: SOT 4362005 SOS 771124 HAS SOPS 771124 HAS SOUS 609386 HAS SOUPS 609386 WITH SCORE 610157.124
AT ITER 7073 NEW BEST:: SOT 4361995 SOS 771104 HAS SOPS 771104 HAS SOUS 609376 HAS SOUPS 609376 WITH SCORE 610147.104
AT ITER 7087 NEW BEST:: SOT 4361511 SOS 773785 HAS SOPS 773785 HAS SOUS 609287 HAS SOUPS 609287 WITH SCORE 610060.785
AT ITER 7101 NEW BEST:: SOT 4361310 SOS 773383 HAS SOPS 773383 HAS SOUS 608885 HAS SOUPS 608885 WITH SCORE 609658.383
AT ITER 7123 NEW BEST:: SOT 4361310 SOS 773383 HAS SOPS 773383 HAS SOUS 608828 HAS SOUPS 608828 WITH SCORE 609601.383
AT ITER 7127 NEW BEST:: SOT 4361187 SOS 773137 HAS SOPS 773137 HAS SOUS 608705 HAS SOUPS 608705 WITH SCORE 609478.137
AT ITER 7148 NEW BEST:: SOT 4361187 SOS 773137 HAS SOPS 773137 HAS SOUS 608477 HAS SOUPS 608477 WITH SCORE 609250.137
AT ITER 7155 NEW BEST:: SOT 4361086 SOS 772935 HAS SOPS 772935 HAS SOUS 608275 HAS SOUPS 608275 WITH SCORE 609047.935
AT ITER 7156 NEW BEST:: SOT 4361021 SOS 772805 HAS SOPS 772805 HAS SOUS 608210 HAS SOUPS 608210 WITH SCORE 608982.805
AT ITER 7174 NEW BEST:: SOT 4360966 SOS 772695 HAS SOPS 772695 HAS SOUS 608100 HAS SOUPS 608100 WITH SCORE 608872.695
AT ITER 7180 NEW BEST:: SOT 4360859 SOS 772275 HAS SOPS 772275 HAS SOUS 607993 HAS SOUPS 607993 WITH SCORE 608765.275
AT ITER 7192 NEW BEST:: SOT 4360832 SOS 772221 HAS SOPS 772221 HAS SOUS 607966 HAS SOUPS 607966 WITH SCORE 608738.221
AT ITER 7194 NEW BEST:: SOT 4360818 SOS 772193 HAS SOPS 772193 HAS SOUS 607945 HAS SOUPS 607945 WITH SCORE 608717.193
AT ITER 7237 NEW BEST:: SOT 4360818 SOS 772193 HAS SOPS 772193 HAS SOUS 607899 HAS SOUPS 607899 WITH SCORE 608671.193
AT ITER 7281 NEW BEST:: SOT 4360682 SOS 772265 HAS SOPS 772265 HAS SOUS 607832 HAS SOUPS 607832 WITH SCORE 608604.265
AT ITER 7295 NEW BEST:: SOT 4360610 SOS 772241 HAS SOPS 772241 HAS SOUS 607781 HAS SOUPS 607781 WITH SCORE 608553.241
AT ITER 7300 NEW BEST:: SOT 4360636 SOS 772293 HAS SOPS 772293 HAS SOUS 607744 HAS SOUPS 607744 WITH SCORE 608516.293
AT ITER 7315 NEW BEST:: SOT 4360609 SOS 772266 HAS SOPS 772266 HAS SOUS 607717 HAS SOUPS 607717 WITH SCORE 608489.266
AT ITER 7333 NEW BEST:: SOT 4360495 SOS 772152 HAS SOPS 772152 HAS SOUS 607546 HAS SOUPS 607546 WITH SCORE 608318.152
AT ITER 7347 NEW BEST:: SOT 4360402 SOS 771966 HAS SOPS 771966 HAS SOUS 607360 HAS SOUPS 607360 WITH SCORE 608131.966
AT ITER 7357 NEW BEST:: SOT 4360401 SOS 771964 HAS SOPS 771964 HAS SOUS 607359 HAS SOUPS 607359 WITH SCORE 608130.964
AT ITER 7366 NEW BEST:: SOT 4360376 SOS 771914 HAS SOPS 771914 HAS SOUS 607334 HAS SOUPS 607334 WITH SCORE 608105.914
AT ITER 7369 NEW BEST:: SOT 4360292 SOS 771746 HAS SOPS 771746 HAS SOUS 607166 HAS SOUPS 607166 WITH SCORE 607937.746
AT ITER 7398 NEW BEST:: SOT 4360292 SOS 771668 HAS SOPS 771668 HAS SOUS 607088 HAS SOUPS 607088 WITH SCORE 607859.668
AT ITER 7438 NEW BEST:: SOT 4360171 SOS 771303 HAS SOPS 771303 HAS SOUS 606846 HAS SOUPS 606846 WITH SCORE 607617.303
AT ITER 7485 NEW BEST:: SOT 4360179 SOS 770599 HAS SOPS 770599 HAS SOUS 606798 HAS SOUPS 606798 WITH SCORE 607568.599
AT ITER 7529 NEW BEST:: SOT 4360170 SOS 770581 HAS SOPS 770581 HAS SOUS 606789 HAS SOUPS 606789 WITH SCORE 607559.581
AT ITER 7537 NEW BEST:: SOT 4360105 SOS 770451 HAS SOPS 770451 HAS SOUS 606668 HAS SOUPS 606668 WITH SCORE 607438.451
AT ITER 7565 NEW BEST:: SOT 4360113 SOS 770440 HAS SOPS 770440 HAS SOUS 606657 HAS SOUPS 606657 WITH SCORE 607427.44
AT ITER 7603 NEW BEST:: SOT 4360082 SOS 770409 HAS SOPS 770409 HAS SOUS 606595 HAS SOUPS 606595 WITH SCORE 607365.409
AT ITER 7625 NEW BEST:: SOT 4359996 SOS 770409 HAS SOPS 770409 HAS SOUS 606552 HAS SOUPS 606552 WITH SCORE 607322.409
AT ITER 7634 NEW BEST:: SOT 4359972 SOS 770430 HAS SOPS 770430 HAS SOUS 606551 HAS SOUPS 606551 WITH SCORE 607321.43
AT ITER 7657 NEW BEST:: SOT 4359969 SOS 770424 HAS SOPS 770424 HAS SOUS 606545 HAS SOUPS 606545 WITH SCORE 607315.424
AT ITER 7658 NEW BEST:: SOT 4359866 SOS 770115 HAS SOPS 770115 HAS SOUS 606339 HAS SOUPS 606339 WITH SCORE 607109.115
AT ITER 7663 NEW BEST:: SOT 4359728 SOS 769931 HAS SOPS 769931 HAS SOUS 606155 HAS SOUPS 606155 WITH SCORE 606924.931
AT ITER 7664 NEW BEST:: SOT 4359545 SOS 769565 HAS SOPS 769565 HAS SOUS 605789 HAS SOUPS 605789 WITH SCORE 606558.565
AT ITER 7676 NEW BEST:: SOT 4359373 SOS 769516 HAS SOPS 769516 HAS SOUS 605445 HAS SOUPS 605445 WITH SCORE 606214.516
AT ITER 7684 NEW BEST:: SOT 4359035 SOS 768840 HAS SOPS 768840 HAS SOUS 604910 HAS SOUPS 604910 WITH SCORE 605678.84
AT ITER 7712 NEW BEST:: SOT 4358997 SOS 768764 HAS SOPS 768764 HAS SOUS 604872 HAS SOUPS 604872 WITH SCORE 605640.764
AT ITER 7726 NEW BEST:: SOT 4358888 SOS 768732 HAS SOPS 768732 HAS SOUS 604840 HAS SOUPS 604840 WITH SCORE 605608.732
AT ITER 7749 NEW BEST:: SOT 4358806 SOS 768337 HAS SOPS 768337 HAS SOUS 604603 HAS SOUPS 604603 WITH SCORE 605371.337
AT ITER 7755 NEW BEST:: SOT 4358806 SOS 768255 HAS SOPS 768255 HAS SOUS 604603 HAS SOUPS 604603 WITH SCORE 605371.255
AT ITER 7756 NEW BEST:: SOT 4358797 SOS 768237 HAS SOPS 768237 HAS SOUS 604594 HAS SOUPS 604594 WITH SCORE 605362.237
AT ITER 7769 NEW BEST:: SOT 4358338 SOS 768065 HAS SOPS 768065 HAS SOUS 604285 HAS SOUPS 604285 WITH SCORE 605053.065
AT ITER 7809 NEW BEST:: SOT 4358486 SOS 768361 HAS SOPS 768361 HAS SOUS 604184 HAS SOUPS 604184 WITH SCORE 604952.361
AT ITER 7816 NEW BEST:: SOT 4358470 SOS 768329 HAS SOPS 768329 HAS SOUS 604103 HAS SOUPS 604103 WITH SCORE 604871.329
AT ITER 7822 NEW BEST:: SOT 4358067 SOS 767523 HAS SOPS 767523 HAS SOUS 603700 HAS SOUPS 603700 WITH SCORE 604467.523
AT ITER 7825 NEW BEST:: SOT 4358066 SOS 767566 HAS SOPS 767566 HAS SOUS 603698 HAS SOUPS 603698 WITH SCORE 604465.566
AT ITER 7843 NEW BEST:: SOT 4358027 SOS 767488 HAS SOPS 767488 HAS SOUS 603659 HAS SOUPS 603659 WITH SCORE 604426.488
AT ITER 7863 NEW BEST:: SOT 4357772 SOS 766978 HAS SOPS 766978 HAS SOUS 603149 HAS SOUPS 603149 WITH SCORE 603915.978
AT ITER 7875 NEW BEST:: SOT 4357765 SOS 766914 HAS SOPS 766914 HAS SOUS 603135 HAS SOUPS 603135 WITH SCORE 603901.914
AT ITER 7910 NEW BEST:: SOT 4357678 SOS 766740 HAS SOPS 766740 HAS SOUS 602879 HAS SOUPS 602879 WITH SCORE 603645.74
AT ITER 7930 NEW BEST:: SOT 4357644 SOS 766706 HAS SOPS 766706 HAS SOUS 602879 HAS SOUPS 602879 WITH SCORE 603645.706
AT ITER 8006 NEW BEST:: SOT 4357642 SOS 766443 HAS SOPS 766443 HAS SOUS 602875 HAS SOUPS 602875 WITH SCORE 603641.443
AT ITER 8020 NEW BEST:: SOT 4357658 SOS 766401 HAS SOPS 766401 HAS SOUS 602840 HAS SOUPS 602840 WITH SCORE 603606.401
AT ITER 8029 NEW BEST:: SOT 4357615 SOS 766315 HAS SOPS 766315 HAS SOUS 602797 HAS SOUPS 602797 WITH SCORE 603563.315
AT ITER 8048 NEW BEST:: SOT 4357555 SOS 766195 HAS SOPS 766195 HAS SOUS 602677 HAS SOUPS 602677 WITH SCORE 603443.195
AT ITER 8058 NEW BEST:: SOT 4357131 SOS 766415 HAS SOPS 766415 HAS SOUS 602520 HAS SOUPS 602520 WITH SCORE 603286.415
AT ITER 8073 NEW BEST:: SOT 4356987 SOS 766199 HAS SOPS 766199 HAS SOUS 602376 HAS SOUPS 602376 WITH SCORE 603142.199
AT ITER 8098 NEW BEST:: SOT 4356990 SOS 764825 HAS SOPS 764825 HAS SOUS 602179 HAS SOUPS 602179 WITH SCORE 602943.825
AT ITER 8125 NEW BEST:: SOT 4356990 SOS 764825 HAS SOPS 764825 HAS SOUS 602178 HAS SOUPS 602178 WITH SCORE 602942.825
AT ITER 8142 NEW BEST:: SOT 4356790 SOS 764425 HAS SOPS 764425 HAS SOUS 602002 HAS SOUPS 602002 WITH SCORE 602766.425
AT ITER 8153 NEW BEST:: SOT 4356740 SOS 764325 HAS SOPS 764325 HAS SOUS 601902 HAS SOUPS 601902 WITH SCORE 602666.325
AT ITER 8157 NEW BEST:: SOT 4356690 SOS 764225 HAS SOPS 764225 HAS SOUS 601802 HAS SOUPS 601802 WITH SCORE 602566.225
AT ITER 8181 NEW BEST:: SOT 4356570 SOS 764105 HAS SOPS 764105 HAS SOUS 601682 HAS SOUPS 601682 WITH SCORE 602446.105
AT ITER 8184 NEW BEST:: SOT 4356570 SOS 763805 HAS SOPS 763805 HAS SOUS 601682 HAS SOUPS 601682 WITH SCORE 602445.805
AT ITER 8189 NEW BEST:: SOT 4356521 SOS 763707 HAS SOPS 763707 HAS SOUS 601633 HAS SOUPS 601633 WITH SCORE 602396.707
AT ITER 8202 NEW BEST:: SOT 4356407 SOS 763645 HAS SOPS 763645 HAS SOUS 601571 HAS SOUPS 601571 WITH SCORE 602334.645
AT ITER 8311 NEW BEST:: SOT 4356047 SOS 763285 HAS SOPS 763285 HAS SOUS 601211 HAS SOUPS 601211 WITH SCORE 601974.285
AT ITER 8321 NEW BEST:: SOT 4356128 SOS 763046 HAS SOPS 763046 HAS SOUS 600971 HAS SOUPS 600971 WITH SCORE 601734.046
AT ITER 8323 NEW BEST:: SOT 4356067 SOS 762924 HAS SOPS 762924 HAS SOUS 600849 HAS SOUPS 600849 WITH SCORE 601611.924
AT ITER 8339 NEW BEST:: SOT 4355945 SOS 762680 HAS SOPS 762680 HAS SOUS 600733 HAS SOUPS 600733 WITH SCORE 601495.68
AT ITER 8452 NEW BEST:: SOT 4355855 SOS 762432 HAS SOPS 762432 HAS SOUS 600426 HAS SOUPS 600426 WITH SCORE 601188.432
AT ITER 8453 NEW BEST:: SOT 4355868 SOS 762458 HAS SOPS 762458 HAS SOUS 600358 HAS SOUPS 600358 WITH SCORE 601120.458
AT ITER 8466 NEW BEST:: SOT 4355868 SOS 762374 HAS SOPS 762374 HAS SOUS 600316 HAS SOUPS 600316 WITH SCORE 601078.374
AT ITER 8495 NEW BEST:: SOT 4355810 SOS 762258 HAS SOPS 762258 HAS SOUS 600258 HAS SOUPS 600258 WITH SCORE 601020.258
AT ITER 8540 NEW BEST:: SOT 4355518 SOS 762040 HAS SOPS 762040 HAS SOUS 600027 HAS SOUPS 600027 WITH SCORE 600789.04
AT ITER 8617 NEW BEST:: SOT 4355487 SOS 761949 HAS SOPS 761949 HAS SOUS 599995 HAS SOUPS 599995 WITH SCORE 600756.949
AT ITER 8618 NEW BEST:: SOT 4355470 SOS 761932 HAS SOPS 761932 HAS SOUS 599978 HAS SOUPS 599978 WITH SCORE 600739.932
AT ITER 8620 NEW BEST:: SOT 4355470 SOS 761932 HAS SOPS 761932 HAS SOUS 599970 HAS SOUPS 599970 WITH SCORE 600731.932
AT ITER 8629 NEW BEST:: SOT 4355391 SOS 761853 HAS SOPS 761853 HAS SOUS 599891 HAS SOUPS 599891 WITH SCORE 600652.853
AT ITER 8630 NEW BEST:: SOT 4355324 SOS 761719 HAS SOPS 761719 HAS SOUS 599757 HAS SOUPS 599757 WITH SCORE 600518.719
AT ITER 8633 NEW BEST:: SOT 4355324 SOS 761719 HAS SOPS 761719 HAS SOUS 599720 HAS SOUPS 599720 WITH SCORE 600481.719
AT ITER 8666 NEW BEST:: SOT 4355096 SOS 761491 HAS SOPS 761491 HAS SOUS 599492 HAS SOUPS 599492 WITH SCORE 600253.491
AT ITER 8674 NEW BEST:: SOT 4355067 SOS 761433 HAS SOPS 761433 HAS SOUS 599434 HAS SOUPS 599434 WITH SCORE 600195.433
AT ITER 8690 NEW BEST:: SOT 4354656 SOS 761323 HAS SOPS 761323 HAS SOUS 599173 HAS SOUPS 599173 WITH SCORE 599934.323
AT ITER 8755 NEW BEST:: SOT 4354593 SOS 761260 HAS SOPS 761260 HAS SOUS 599047 HAS SOUPS 599047 WITH SCORE 599808.26
AT ITER 8757 NEW BEST:: SOT 4354516 SOS 761172 HAS SOPS 761172 HAS SOUS 598959 HAS SOUPS 598959 WITH SCORE 599720.172
AT ITER 8762 NEW BEST:: SOT 4354406 SOS 760952 HAS SOPS 760952 HAS SOUS 598739 HAS SOUPS 598739 WITH SCORE 599499.952
AT ITER 8783 NEW BEST:: SOT 4354356 SOS 760852 HAS SOPS 760852 HAS SOUS 598689 HAS SOUPS 598689 WITH SCORE 599449.852
AT ITER 8799 NEW BEST:: SOT 4354344 SOS 760828 HAS SOPS 760828 HAS SOUS 598665 HAS SOUPS 598665 WITH SCORE 599425.828
AT ITER 8803 NEW BEST:: SOT 4354000 SOS 760140 HAS SOPS 760140 HAS SOUS 598497 HAS SOUPS 598497 WITH SCORE 599257.14
AT ITER 8833 NEW BEST:: SOT 4353999 SOS 760138 HAS SOPS 760138 HAS SOUS 598495 HAS SOUPS 598495 WITH SCORE 599255.138
AT ITER 8837 NEW BEST:: SOT 4353902 SOS 760035 HAS SOPS 760035 HAS SOUS 598392 HAS SOUPS 598392 WITH SCORE 599152.035
AT ITER 8859 NEW BEST:: SOT 4353893 SOS 760017 HAS SOPS 760017 HAS SOUS 598308 HAS SOUPS 598308 WITH SCORE 599068.017
AT ITER 8881 NEW BEST:: SOT 4354034 SOS 760158 HAS SOPS 760158 HAS SOUS 598302 HAS SOUPS 598302 WITH SCORE 599062.158
AT ITER 8897 NEW BEST:: SOT 4353949 SOS 759988 HAS SOPS 759988 HAS SOUS 598065 HAS SOUPS 598065 WITH SCORE 598824.988
AT ITER 8944 NEW BEST:: SOT 4353910 SOS 759910 HAS SOPS 759910 HAS SOUS 597917 HAS SOUPS 597917 WITH SCORE 598676.91
AT ITER 8977 NEW BEST:: SOT 4353950 SOS 759876 HAS SOPS 759876 HAS SOUS 597883 HAS SOUPS 597883 WITH SCORE 598642.876
AT ITER 8979 NEW BEST:: SOT 4353950 SOS 759699 HAS SOPS 759699 HAS SOUS 597883 HAS SOUPS 597883 WITH SCORE 598642.699
AT ITER 8981 NEW BEST:: SOT 4353800 SOS 759399 HAS SOPS 759399 HAS SOUS 597733 HAS SOUPS 597733 WITH SCORE 598492.399
AT ITER 8982 NEW BEST:: SOT 4353796 SOS 759391 HAS SOPS 759391 HAS SOUS 597725 HAS SOUPS 597725 WITH SCORE 598484.391
AT ITER 8995 NEW BEST:: SOT 4353542 SOS 758883 HAS SOPS 758883 HAS SOUS 597504 HAS SOUPS 597504 WITH SCORE 598262.883
AT ITER 9024 NEW BEST:: SOT 4353446 SOS 758817 HAS SOPS 758817 HAS SOUS 597438 HAS SOUPS 597438 WITH SCORE 598196.817
AT ITER 9107 NEW BEST:: SOT 4353291 SOS 758507 HAS SOPS 758507 HAS SOUS 597259 HAS SOUPS 597259 WITH SCORE 598017.507
AT ITER 9134 NEW BEST:: SOT 4353379 SOS 758683 HAS SOPS 758683 HAS SOUS 597244 HAS SOUPS 597244 WITH SCORE 598002.683
AT ITER 9137 NEW BEST:: SOT 4353330 SOS 758585 HAS SOPS 758585 HAS SOUS 597145 HAS SOUPS 597145 WITH SCORE 597903.585
AT ITER 9141 NEW BEST:: SOT 4353253 SOS 758413 HAS SOPS 758413 HAS SOUS 596973 HAS SOUPS 596973 WITH SCORE 597731.413
AT ITER 9165 NEW BEST:: SOT 4353041 SOS 757989 HAS SOPS 757989 HAS SOUS 596796 HAS SOUPS 596796 WITH SCORE 597553.989
AT ITER 9181 NEW BEST:: SOT 4353227 SOS 757197 HAS SOPS 757197 HAS SOUS 596553 HAS SOUPS 596553 WITH SCORE 597310.197
AT ITER 9190 NEW BEST:: SOT 4353376 SOS 757076 HAS SOPS 757076 HAS SOUS 596497 HAS SOUPS 596497 WITH SCORE 597254.076
AT ITER 9191 NEW BEST:: SOT 4353286 SOS 756896 HAS SOPS 756896 HAS SOUS 596317 HAS SOUPS 596317 WITH SCORE 597073.896
AT ITER 9193 NEW BEST:: SOT 4353246 SOS 756856 HAS SOPS 756856 HAS SOUS 596277 HAS SOUPS 596277 WITH SCORE 597033.856
AT ITER 9204 NEW BEST:: SOT 4353127 SOS 756618 HAS SOPS 756618 HAS SOUS 596107 HAS SOUPS 596107 WITH SCORE 596863.618
AT ITER 9210 NEW BEST:: SOT 4353347 SOS 756557 HAS SOPS 756557 HAS SOUS 596046 HAS SOUPS 596046 WITH SCORE 596802.557
AT ITER 9230 NEW BEST:: SOT 4353256 SOS 756375 HAS SOPS 756375 HAS SOUS 595825 HAS SOUPS 595825 WITH SCORE 596581.375
AT ITER 9266 NEW BEST:: SOT 4353115 SOS 756234 HAS SOPS 756234 HAS SOUS 595787 HAS SOUPS 595787 WITH SCORE 596543.234
AT ITER 9306 NEW BEST:: SOT 4352719 SOS 757994 HAS SOPS 757994 HAS SOUS 595453 HAS SOUPS 595453 WITH SCORE 596210.994
AT ITER 9329 NEW BEST:: SOT 4352706 SOS 757968 HAS SOPS 757968 HAS SOUS 595427 HAS SOUPS 595427 WITH SCORE 596184.968
AT ITER 9377 NEW BEST:: SOT 4352481 SOS 757518 HAS SOPS 757518 HAS SOUS 594977 HAS SOUPS 594977 WITH SCORE 595734.518
AT ITER 9380 NEW BEST:: SOT 4352460 SOS 757476 HAS SOPS 757476 HAS SOUS 594935 HAS SOUPS 594935 WITH SCORE 595692.476
AT ITER 9410 NEW BEST:: SOT 4352460 SOS 757476 HAS SOPS 757476 HAS SOUS 594913 HAS SOUPS 594913 WITH SCORE 595670.476
AT ITER 9436 NEW BEST:: SOT 4352154 SOS 756494 HAS SOPS 756494 HAS SOUS 594301 HAS SOUPS 594301 WITH SCORE 595057.494
AT ITER 9451 NEW BEST:: SOT 4352154 SOS 756369 HAS SOPS 756369 HAS SOUS 594301 HAS SOUPS 594301 WITH SCORE 595057.369
AT ITER 9455 NEW BEST:: SOT 4352003 SOS 756067 HAS SOPS 756067 HAS SOUS 594254 HAS SOUPS 594254 WITH SCORE 595010.067
AT ITER 9484 NEW BEST:: SOT 4351891 SOS 756067 HAS SOPS 756067 HAS SOUS 594198 HAS SOUPS 594198 WITH SCORE 594954.067
AT ITER 9531 NEW BEST:: SOT 4351695 SOS 755773 HAS SOPS 755773 HAS SOUS 593904 HAS SOUPS 593904 WITH SCORE 594659.773
AT ITER 9562 NEW BEST:: SOT 4351746 SOS 755572 HAS SOPS 755572 HAS SOUS 593801 HAS SOUPS 593801 WITH SCORE 594556.572
AT ITER 9596 NEW BEST:: SOT 4351648 SOS 755376 HAS SOPS 755376 HAS SOUS 593481 HAS SOUPS 593481 WITH SCORE 594236.376
AT ITER 9597 NEW BEST:: SOT 4351648 SOS 755270 HAS SOPS 755270 HAS SOUS 593481 HAS SOUPS 593481 WITH SCORE 594236.27
AT ITER 9620 NEW BEST:: SOT 4351633 SOS 755240 HAS SOPS 755240 HAS SOUS 593451 HAS SOUPS 593451 WITH SCORE 594206.24
AT ITER 9630 NEW BEST:: SOT 4351600 SOS 755230 HAS SOPS 755230 HAS SOUS 593385 HAS SOUPS 593385 WITH SCORE 594140.23
AT ITER 9679 NEW BEST:: SOT 4351600 SOS 755202 HAS SOPS 755202 HAS SOUS 593357 HAS SOUPS 593357 WITH SCORE 594112.202
AT ITER 9687 NEW BEST:: SOT 4351518 SOS 754997 HAS SOPS 754997 HAS SOUS 593193 HAS SOUPS 593193 WITH SCORE 593947.997
AT ITER 9704 NEW BEST:: SOT 4351683 SOS 754955 HAS SOPS 754955 HAS SOUS 593167 HAS SOUPS 593167 WITH SCORE 593921.955
AT ITER 9753 NEW BEST:: SOT 4351567 SOS 754723 HAS SOPS 754723 HAS SOUS 592935 HAS SOUPS 592935 WITH SCORE 593689.723
AT ITER 9759 NEW BEST:: SOT 4351344 SOS 754500 HAS SOPS 754500 HAS SOUS 592712 HAS SOUPS 592712 WITH SCORE 593466.5
AT ITER 9795 NEW BEST:: SOT 4351310 SOS 754432 HAS SOPS 754432 HAS SOUS 592678 HAS SOUPS 592678 WITH SCORE 593432.432
AT ITER 9820 NEW BEST:: SOT 4351236 SOS 754284 HAS SOPS 754284 HAS SOUS 592530 HAS SOUPS 592530 WITH SCORE 593284.284
AT ITER 9827 NEW BEST:: SOT 4351208 SOS 754137 HAS SOPS 754137 HAS SOUS 592474 HAS SOUPS 592474 WITH SCORE 593228.137
AT ITER 9861 NEW BEST:: SOT 4351146 SOS 754013 HAS SOPS 754013 HAS SOUS 592350 HAS SOUPS 592350 WITH SCORE 593104.013
AT ITER 9865 NEW BEST:: SOT 4351124 SOS 752814 HAS SOPS 752814 HAS SOUS 592030 HAS SOUPS 592030 WITH SCORE 592782.814
AT ITER 9890 NEW BEST:: SOT 4351124 SOS 752572 HAS SOPS 752572 HAS SOUS 592030 HAS SOUPS 592030 WITH SCORE 592782.572
AT ITER 9898 NEW BEST:: SOT 4351124 SOS 752376 HAS SOPS 752376 HAS SOUS 592030 HAS SOUPS 592030 WITH SCORE 592782.376
AT ITER 9918 NEW BEST:: SOT 4351002 SOS 752408 HAS SOPS 752408 HAS SOUS 591977 HAS SOUPS 591977 WITH SCORE 592729.408
AT ITER 9927 NEW BEST:: SOT 4350983 SOS 752370 HAS SOPS 752370 HAS SOUS 591958 HAS SOUPS 591958 WITH SCORE 592710.37
AT ITER 9950 NEW BEST:: SOT 4350983 SOS 752175 HAS SOPS 752175 HAS SOUS 591919 HAS SOUPS 591919 WITH SCORE 592671.175
AT ITER 9964 NEW BEST:: SOT 4350551 SOS 751527 HAS SOPS 751527 HAS SOUS 591271 HAS SOUPS 591271 WITH SCORE 592022.527
AT ITER 9966 NEW BEST:: SOT 4350538 SOS 751501 HAS SOPS 751501 HAS SOUS 591245 HAS SOUPS 591245 WITH SCORE 591996.501
AT ITER 9973 NEW BEST:: SOT 4350488 SOS 751401 HAS SOPS 751401 HAS SOUS 591195 HAS SOUPS 591195 WITH SCORE 591946.401
AT ITER 9987 NEW BEST:: SOT 4350437 SOS 751299 HAS SOPS 751299 HAS SOUS 591093 HAS SOUPS 591093 WITH SCORE 591844.299
AT ITER 9999 NEW BEST:: SOT 4350437 SOS 751279 HAS SOPS 751279 HAS SOUS 591080 HAS SOUPS 591080 WITH SCORE 591831.279

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-307"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-307, 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 r048-ebro-158902541700056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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