fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541700120
Last Updated
Jun 28, 2020

About the Execution of smart for CloudReconfiguration-PT-315

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541700120.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-315, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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.4K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 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 1589095490170

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

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758851 HAS SOPS 758851 HAS SOUS 699873 HAS SOUPS 699873 WITH SCORE 700631.851
AT ITER 14 NEW BEST:: SOT 4442959 SOS 758474 HAS SOPS 758474 HAS SOUS 699440 HAS SOUPS 699440 WITH SCORE 700198.474
AT ITER 18 NEW BEST:: SOT 4442959 SOS 758323 HAS SOPS 758323 HAS SOUS 699440 HAS SOUPS 699440 WITH SCORE 700198.323
AT ITER 22 NEW BEST:: SOT 4442959 SOS 758323 HAS SOPS 758323 HAS SOUS 699439 HAS SOUPS 699439 WITH SCORE 700197.323
AT ITER 26 NEW BEST:: SOT 4442970 SOS 758345 HAS SOPS 758345 HAS SOUS 699306 HAS SOUPS 699306 WITH SCORE 700064.345
AT ITER 27 NEW BEST:: SOT 4442906 SOS 758217 HAS SOPS 758217 HAS SOUS 699162 HAS SOUPS 699162 WITH SCORE 699920.217
AT ITER 42 NEW BEST:: SOT 4442906 SOS 758047 HAS SOPS 758047 HAS SOUS 699161 HAS SOUPS 699161 WITH SCORE 699919.047
AT ITER 66 NEW BEST:: SOT 4442906 SOS 757842 HAS SOPS 757842 HAS SOUS 699161 HAS SOUPS 699161 WITH SCORE 699918.842
AT ITER 100 NEW BEST:: SOT 4442605 SOS 757594 HAS SOPS 757594 HAS SOUS 698889 HAS SOUPS 698889 WITH SCORE 699646.594
AT ITER 103 NEW BEST:: SOT 4442371 SOS 757565 HAS SOPS 757565 HAS SOUS 698666 HAS SOUPS 698666 WITH SCORE 699423.565
AT ITER 108 NEW BEST:: SOT 4442381 SOS 757585 HAS SOPS 757585 HAS SOUS 698659 HAS SOUPS 698659 WITH SCORE 699416.585
AT ITER 125 NEW BEST:: SOT 4442381 SOS 757585 HAS SOPS 757585 HAS SOUS 698585 HAS SOUPS 698585 WITH SCORE 699342.585
AT ITER 132 NEW BEST:: SOT 4442380 SOS 757583 HAS SOPS 757583 HAS SOUS 698583 HAS SOUPS 698583 WITH SCORE 699340.583
AT ITER 143 NEW BEST:: SOT 4442255 SOS 757207 HAS SOPS 757207 HAS SOUS 698332 HAS SOUPS 698332 WITH SCORE 699089.207
AT ITER 157 NEW BEST:: SOT 4442255 SOS 756951 HAS SOPS 756951 HAS SOUS 698332 HAS SOUPS 698332 WITH SCORE 699088.951
AT ITER 166 NEW BEST:: SOT 4442227 SOS 756895 HAS SOPS 756895 HAS SOUS 698304 HAS SOUPS 698304 WITH SCORE 699060.895
AT ITER 176 NEW BEST:: SOT 4441821 SOS 756863 HAS SOPS 756863 HAS SOUS 697995 HAS SOUPS 697995 WITH SCORE 698751.863
AT ITER 180 NEW BEST:: SOT 4441797 SOS 756916 HAS SOPS 756916 HAS SOUS 697870 HAS SOUPS 697870 WITH SCORE 698626.916
AT ITER 193 NEW BEST:: SOT 4438357 SOS 818706 HAS SOPS 818706 HAS SOUS 696947 HAS SOUPS 696947 WITH SCORE 697765.706
AT ITER 228 NEW BEST:: SOT 4437790 SOS 819397 HAS SOPS 819397 HAS SOUS 696544 HAS SOUPS 696544 WITH SCORE 697363.397
AT ITER 235 NEW BEST:: SOT 4437443 SOS 819395 HAS SOPS 819395 HAS SOUS 696369 HAS SOUPS 696369 WITH SCORE 697188.395
AT ITER 239 NEW BEST:: SOT 4431353 SOS 834433 HAS SOPS 834433 HAS SOUS 691359 HAS SOUPS 691359 WITH SCORE 692193.433
AT ITER 253 NEW BEST:: SOT 4430975 SOS 833866 HAS SOPS 833866 HAS SOUS 690981 HAS SOUPS 690981 WITH SCORE 691814.866
AT ITER 256 NEW BEST:: SOT 4430686 SOS 833288 HAS SOPS 833288 HAS SOUS 690403 HAS SOUPS 690403 WITH SCORE 691236.288
AT ITER 269 NEW BEST:: SOT 4430511 SOS 832938 HAS SOPS 832938 HAS SOUS 690053 HAS SOUPS 690053 WITH SCORE 690885.938
AT ITER 301 NEW BEST:: SOT 4430375 SOS 832951 HAS SOPS 832951 HAS SOUS 690043 HAS SOUPS 690043 WITH SCORE 690875.951
AT ITER 304 NEW BEST:: SOT 4430057 SOS 832633 HAS SOPS 832633 HAS SOUS 689725 HAS SOUPS 689725 WITH SCORE 690557.633
AT ITER 307 NEW BEST:: SOT 4429654 SOS 832507 HAS SOPS 832507 HAS SOUS 689464 HAS SOUPS 689464 WITH SCORE 690296.507
AT ITER 315 NEW BEST:: SOT 4429481 SOS 831988 HAS SOPS 831988 HAS SOUS 689118 HAS SOUPS 689118 WITH SCORE 689949.988
AT ITER 318 NEW BEST:: SOT 4429429 SOS 831884 HAS SOPS 831884 HAS SOUS 689004 HAS SOUPS 689004 WITH SCORE 689835.884
AT ITER 319 NEW BEST:: SOT 4429332 SOS 831878 HAS SOPS 831878 HAS SOUS 688907 HAS SOUPS 688907 WITH SCORE 689738.878
AT ITER 353 NEW BEST:: SOT 4429046 SOS 831449 HAS SOPS 831449 HAS SOUS 688621 HAS SOUPS 688621 WITH SCORE 689452.449
AT ITER 358 NEW BEST:: SOT 4429044 SOS 831368 HAS SOPS 831368 HAS SOUS 688542 HAS SOUPS 688542 WITH SCORE 689373.368
AT ITER 368 NEW BEST:: SOT 4429092 SOS 831318 HAS SOPS 831318 HAS SOUS 688492 HAS SOUPS 688492 WITH SCORE 689323.318
AT ITER 385 NEW BEST:: SOT 4429067 SOS 831268 HAS SOPS 831268 HAS SOUS 688466 HAS SOUPS 688466 WITH SCORE 689297.268
AT ITER 397 NEW BEST:: SOT 4428933 SOS 830610 HAS SOPS 830610 HAS SOUS 688028 HAS SOUPS 688028 WITH SCORE 688858.61
AT ITER 416 NEW BEST:: SOT 4428933 SOS 830610 HAS SOPS 830610 HAS SOUS 688025 HAS SOUPS 688025 WITH SCORE 688855.61
AT ITER 423 NEW BEST:: SOT 4428912 SOS 830568 HAS SOPS 830568 HAS SOUS 687974 HAS SOUPS 687974 WITH SCORE 688804.568
AT ITER 452 NEW BEST:: SOT 4428920 SOS 830314 HAS SOPS 830314 HAS SOUS 687723 HAS SOUPS 687723 WITH SCORE 688553.314
AT ITER 457 NEW BEST:: SOT 4429009 SOS 830124 HAS SOPS 830124 HAS SOUS 687717 HAS SOUPS 687717 WITH SCORE 688547.124
AT ITER 477 NEW BEST:: SOT 4428958 SOS 830169 HAS SOPS 830169 HAS SOUS 687672 HAS SOUPS 687672 WITH SCORE 688502.169
AT ITER 490 NEW BEST:: SOT 4428719 SOS 830014 HAS SOPS 830014 HAS SOUS 687245 HAS SOUPS 687245 WITH SCORE 688075.014
AT ITER 519 NEW BEST:: SOT 4428261 SOS 829872 HAS SOPS 829872 HAS SOUS 686924 HAS SOUPS 686924 WITH SCORE 687753.872
AT ITER 527 NEW BEST:: SOT 4428261 SOS 829580 HAS SOPS 829580 HAS SOUS 686564 HAS SOUPS 686564 WITH SCORE 687393.58
AT ITER 545 NEW BEST:: SOT 4428261 SOS 829580 HAS SOPS 829580 HAS SOUS 686300 HAS SOUPS 686300 WITH SCORE 687129.58
AT ITER 546 NEW BEST:: SOT 4428117 SOS 829436 HAS SOPS 829436 HAS SOUS 686300 HAS SOUPS 686300 WITH SCORE 687129.436
AT ITER 547 NEW BEST:: SOT 4428075 SOS 829352 HAS SOPS 829352 HAS SOUS 686216 HAS SOUPS 686216 WITH SCORE 687045.352
AT ITER 559 NEW BEST:: SOT 4427954 SOS 829110 HAS SOPS 829110 HAS SOUS 685974 HAS SOUPS 685974 WITH SCORE 686803.11
AT ITER 586 NEW BEST:: SOT 4427953 SOS 829108 HAS SOPS 829108 HAS SOUS 685972 HAS SOUPS 685972 WITH SCORE 686801.108
AT ITER 588 NEW BEST:: SOT 4427842 SOS 828886 HAS SOPS 828886 HAS SOUS 685750 HAS SOUPS 685750 WITH SCORE 686578.886
AT ITER 605 NEW BEST:: SOT 4427680 SOS 828724 HAS SOPS 828724 HAS SOUS 685588 HAS SOUPS 685588 WITH SCORE 686416.724
AT ITER 616 NEW BEST:: SOT 4427619 SOS 828541 HAS SOPS 828541 HAS SOUS 685466 HAS SOUPS 685466 WITH SCORE 686294.541
AT ITER 670 NEW BEST:: SOT 4427580 SOS 828463 HAS SOPS 828463 HAS SOUS 685388 HAS SOUPS 685388 WITH SCORE 686216.463
AT ITER 684 NEW BEST:: SOT 4427580 SOS 828318 HAS SOPS 828318 HAS SOUS 685388 HAS SOUPS 685388 WITH SCORE 686216.318
AT ITER 702 NEW BEST:: SOT 4427580 SOS 828173 HAS SOPS 828173 HAS SOUS 685388 HAS SOUPS 685388 WITH SCORE 686216.173
AT ITER 713 NEW BEST:: SOT 4427308 SOS 828195 HAS SOPS 828195 HAS SOUS 685217 HAS SOUPS 685217 WITH SCORE 686045.195
AT ITER 719 NEW BEST:: SOT 4427119 SOS 828045 HAS SOPS 828045 HAS SOUS 685028 HAS SOUPS 685028 WITH SCORE 685856.045
AT ITER 743 NEW BEST:: SOT 4427077 SOS 827961 HAS SOPS 827961 HAS SOUS 684716 HAS SOUPS 684716 WITH SCORE 685543.961
AT ITER 753 NEW BEST:: SOT 4427076 SOS 827731 HAS SOPS 827731 HAS SOUS 684714 HAS SOUPS 684714 WITH SCORE 685541.731
AT ITER 754 NEW BEST:: SOT 4427089 SOS 827109 HAS SOPS 827109 HAS SOUS 684409 HAS SOUPS 684409 WITH SCORE 685236.109
AT ITER 787 NEW BEST:: SOT 4427088 SOS 827105 HAS SOPS 827105 HAS SOUS 684407 HAS SOUPS 684407 WITH SCORE 685234.105
AT ITER 792 NEW BEST:: SOT 4426950 SOS 826829 HAS SOPS 826829 HAS SOUS 684269 HAS SOUPS 684269 WITH SCORE 685095.829
AT ITER 817 NEW BEST:: SOT 4426817 SOS 826563 HAS SOPS 826563 HAS SOUS 684003 HAS SOUPS 684003 WITH SCORE 684829.563
AT ITER 826 NEW BEST:: SOT 4426757 SOS 826443 HAS SOPS 826443 HAS SOUS 683883 HAS SOUPS 683883 WITH SCORE 684709.443
AT ITER 838 NEW BEST:: SOT 4426726 SOS 826381 HAS SOPS 826381 HAS SOUS 683852 HAS SOUPS 683852 WITH SCORE 684678.381
AT ITER 885 NEW BEST:: SOT 4426443 SOS 826098 HAS SOPS 826098 HAS SOUS 683569 HAS SOUPS 683569 WITH SCORE 684395.098
AT ITER 886 NEW BEST:: SOT 4426329 SOS 826006 HAS SOPS 826006 HAS SOUS 683477 HAS SOUPS 683477 WITH SCORE 684303.006
AT ITER 894 NEW BEST:: SOT 4426262 SOS 825805 HAS SOPS 825805 HAS SOUS 683343 HAS SOUPS 683343 WITH SCORE 684168.805
AT ITER 901 NEW BEST:: SOT 4425784 SOS 825961 HAS SOPS 825961 HAS SOUS 683143 HAS SOUPS 683143 WITH SCORE 683968.961
AT ITER 922 NEW BEST:: SOT 4425570 SOS 825533 HAS SOPS 825533 HAS SOUS 682715 HAS SOUPS 682715 WITH SCORE 683540.533
AT ITER 928 NEW BEST:: SOT 4425570 SOS 825486 HAS SOPS 825486 HAS SOUS 682668 HAS SOUPS 682668 WITH SCORE 683493.486
AT ITER 942 NEW BEST:: SOT 4425570 SOS 825142 HAS SOPS 825142 HAS SOUS 682667 HAS SOUPS 682667 WITH SCORE 683492.142
AT ITER 970 NEW BEST:: SOT 4425569 SOS 825140 HAS SOPS 825140 HAS SOUS 682665 HAS SOUPS 682665 WITH SCORE 683490.14
AT ITER 984 NEW BEST:: SOT 4425444 SOS 824890 HAS SOPS 824890 HAS SOUS 682415 HAS SOUPS 682415 WITH SCORE 683239.89
AT ITER 1005 NEW BEST:: SOT 4425444 SOS 824609 HAS SOPS 824609 HAS SOUS 682415 HAS SOUPS 682415 WITH SCORE 683239.609
AT ITER 1018 NEW BEST:: SOT 4425348 SOS 824638 HAS SOPS 824638 HAS SOUS 682230 HAS SOUPS 682230 WITH SCORE 683054.638
AT ITER 1046 NEW BEST:: SOT 4425051 SOS 824044 HAS SOPS 824044 HAS SOUS 682060 HAS SOUPS 682060 WITH SCORE 682884.044
AT ITER 1068 NEW BEST:: SOT 4424855 SOS 823652 HAS SOPS 823652 HAS SOUS 681668 HAS SOUPS 681668 WITH SCORE 682491.652
AT ITER 1072 NEW BEST:: SOT 4424855 SOS 823633 HAS SOPS 823633 HAS SOUS 681668 HAS SOUPS 681668 WITH SCORE 682491.633
AT ITER 1138 NEW BEST:: SOT 4424854 SOS 823558 HAS SOPS 823558 HAS SOUS 681666 HAS SOUPS 681666 WITH SCORE 682489.558
AT ITER 1148 NEW BEST:: SOT 4424702 SOS 823254 HAS SOPS 823254 HAS SOUS 681362 HAS SOUPS 681362 WITH SCORE 682185.254
AT ITER 1161 NEW BEST:: SOT 4424626 SOS 823102 HAS SOPS 823102 HAS SOUS 681210 HAS SOUPS 681210 WITH SCORE 682033.102
AT ITER 1200 NEW BEST:: SOT 4424626 SOS 823021 HAS SOPS 823021 HAS SOUS 681129 HAS SOUPS 681129 WITH SCORE 681952.021
AT ITER 1204 NEW BEST:: SOT 4424767 SOS 822623 HAS SOPS 822623 HAS SOUS 681000 HAS SOUPS 681000 WITH SCORE 681822.623
AT ITER 1231 NEW BEST:: SOT 4424741 SOS 822597 HAS SOPS 822597 HAS SOUS 680974 HAS SOUPS 680974 WITH SCORE 681796.597
AT ITER 1247 NEW BEST:: SOT 4424741 SOS 822441 HAS SOPS 822441 HAS SOUS 680818 HAS SOUPS 680818 WITH SCORE 681640.441
AT ITER 1251 NEW BEST:: SOT 4424660 SOS 822399 HAS SOPS 822399 HAS SOUS 680761 HAS SOUPS 680761 WITH SCORE 681583.399
AT ITER 1258 NEW BEST:: SOT 4424660 SOS 821893 HAS SOPS 821893 HAS SOUS 680255 HAS SOUPS 680255 WITH SCORE 681076.893
AT ITER 1274 NEW BEST:: SOT 4424659 SOS 821891 HAS SOPS 821891 HAS SOUS 680253 HAS SOUPS 680253 WITH SCORE 681074.891
AT ITER 1301 NEW BEST:: SOT 4424618 SOS 821809 HAS SOPS 821809 HAS SOUS 680188 HAS SOUPS 680188 WITH SCORE 681009.809
AT ITER 1317 NEW BEST:: SOT 4424640 SOS 821523 HAS SOPS 821523 HAS SOUS 679997 HAS SOUPS 679997 WITH SCORE 680818.523
AT ITER 1328 NEW BEST:: SOT 4424640 SOS 821365 HAS SOPS 821365 HAS SOUS 679997 HAS SOUPS 679997 WITH SCORE 680818.365
AT ITER 1342 NEW BEST:: SOT 4424760 SOS 821245 HAS SOPS 821245 HAS SOUS 679997 HAS SOUPS 679997 WITH SCORE 680818.245
AT ITER 1355 NEW BEST:: SOT 4424342 SOS 821036 HAS SOPS 821036 HAS SOUS 679784 HAS SOUPS 679784 WITH SCORE 680605.036
AT ITER 1365 NEW BEST:: SOT 4424057 SOS 820775 HAS SOPS 820775 HAS SOUS 679523 HAS SOUPS 679523 WITH SCORE 680343.775
AT ITER 1370 NEW BEST:: SOT 4424057 SOS 820534 HAS SOPS 820534 HAS SOUS 679523 HAS SOUPS 679523 WITH SCORE 680343.534
AT ITER 1389 NEW BEST:: SOT 4424057 SOS 820289 HAS SOPS 820289 HAS SOUS 679278 HAS SOUPS 679278 WITH SCORE 680098.289
AT ITER 1391 NEW BEST:: SOT 4423861 SOS 820093 HAS SOPS 820093 HAS SOUS 679082 HAS SOUPS 679082 WITH SCORE 679902.093
AT ITER 1400 NEW BEST:: SOT 4424212 SOS 819742 HAS SOPS 819742 HAS SOUS 679082 HAS SOUPS 679082 WITH SCORE 679901.742
AT ITER 1421 NEW BEST:: SOT 4424154 SOS 819356 HAS SOPS 819356 HAS SOUS 679047 HAS SOUPS 679047 WITH SCORE 679866.356
AT ITER 1439 NEW BEST:: SOT 4424284 SOS 819256 HAS SOPS 819256 HAS SOUS 678947 HAS SOUPS 678947 WITH SCORE 679766.256
AT ITER 1448 NEW BEST:: SOT 4423955 SOS 818269 HAS SOPS 818269 HAS SOUS 678289 HAS SOUPS 678289 WITH SCORE 679107.269
AT ITER 1449 NEW BEST:: SOT 4424060 SOS 818479 HAS SOPS 818479 HAS SOUS 678191 HAS SOUPS 678191 WITH SCORE 679009.479
AT ITER 1451 NEW BEST:: SOT 4423928 SOS 818380 HAS SOPS 818380 HAS SOUS 678092 HAS SOUPS 678092 WITH SCORE 678910.38
AT ITER 1452 NEW BEST:: SOT 4423915 SOS 818367 HAS SOPS 818367 HAS SOUS 678091 HAS SOUPS 678091 WITH SCORE 678909.367
AT ITER 1464 NEW BEST:: SOT 4423868 SOS 818535 HAS SOPS 818535 HAS SOUS 678044 HAS SOUPS 678044 WITH SCORE 678862.535
AT ITER 1469 NEW BEST:: SOT 4423868 SOS 818194 HAS SOPS 818194 HAS SOUS 677898 HAS SOUPS 677898 WITH SCORE 678716.194
AT ITER 1547 NEW BEST:: SOT 4423868 SOS 818033 HAS SOPS 818033 HAS SOUS 677898 HAS SOUPS 677898 WITH SCORE 678716.033
AT ITER 1554 NEW BEST:: SOT 4423867 SOS 818031 HAS SOPS 818031 HAS SOUS 677896 HAS SOUPS 677896 WITH SCORE 678714.031
AT ITER 1563 NEW BEST:: SOT 4423455 SOS 817661 HAS SOPS 817661 HAS SOUS 677501 HAS SOUPS 677501 WITH SCORE 678318.661
AT ITER 1567 NEW BEST:: SOT 4423405 SOS 817625 HAS SOPS 817625 HAS SOUS 677465 HAS SOUPS 677465 WITH SCORE 678282.625
AT ITER 1580 NEW BEST:: SOT 4423308 SOS 817529 HAS SOPS 817529 HAS SOUS 677368 HAS SOUPS 677368 WITH SCORE 678185.529
AT ITER 1605 NEW BEST:: SOT 4423308 SOS 817529 HAS SOPS 817529 HAS SOUS 677177 HAS SOUPS 677177 WITH SCORE 677994.529
AT ITER 1652 NEW BEST:: SOT 4423168 SOS 817249 HAS SOPS 817249 HAS SOUS 676813 HAS SOUPS 676813 WITH SCORE 677630.249
AT ITER 1653 NEW BEST:: SOT 4422927 SOS 816767 HAS SOPS 816767 HAS SOUS 676572 HAS SOUPS 676572 WITH SCORE 677388.767
AT ITER 1655 NEW BEST:: SOT 4422864 SOS 816641 HAS SOPS 816641 HAS SOUS 676446 HAS SOUPS 676446 WITH SCORE 677262.641
AT ITER 1668 NEW BEST:: SOT 4422848 SOS 816609 HAS SOPS 816609 HAS SOUS 676414 HAS SOUPS 676414 WITH SCORE 677230.609
AT ITER 1673 NEW BEST:: SOT 4422848 SOS 816609 HAS SOPS 816609 HAS SOUS 676288 HAS SOUPS 676288 WITH SCORE 677104.609
AT ITER 1676 NEW BEST:: SOT 4422401 SOS 816575 HAS SOPS 816575 HAS SOUS 676055 HAS SOUPS 676055 WITH SCORE 676871.575
AT ITER 1726 NEW BEST:: SOT 4422399 SOS 816571 HAS SOPS 816571 HAS SOUS 675947 HAS SOUPS 675947 WITH SCORE 676763.571
AT ITER 1727 NEW BEST:: SOT 4421682 SOS 817621 HAS SOPS 817621 HAS SOUS 675529 HAS SOUPS 675529 WITH SCORE 676346.621
AT ITER 1746 NEW BEST:: SOT 4421406 SOS 817357 HAS SOPS 817357 HAS SOUS 675253 HAS SOUPS 675253 WITH SCORE 676070.357
AT ITER 1758 NEW BEST:: SOT 4412442 SOS 857263 HAS SOPS 857263 HAS SOUS 668696 HAS SOUPS 668696 WITH SCORE 669553.263
AT ITER 1759 NEW BEST:: SOT 4412437 SOS 857253 HAS SOPS 857253 HAS SOUS 668686 HAS SOUPS 668686 WITH SCORE 669543.253
AT ITER 1795 NEW BEST:: SOT 4412343 SOS 857158 HAS SOPS 857158 HAS SOUS 668591 HAS SOUPS 668591 WITH SCORE 669448.158
AT ITER 1831 NEW BEST:: SOT 4412103 SOS 856678 HAS SOPS 856678 HAS SOUS 668111 HAS SOUPS 668111 WITH SCORE 668967.678
AT ITER 1848 NEW BEST:: SOT 4411435 SOS 856864 HAS SOPS 856864 HAS SOUS 667862 HAS SOUPS 667862 WITH SCORE 668718.864
AT ITER 1866 NEW BEST:: SOT 4411418 SOS 856830 HAS SOPS 856830 HAS SOUS 667691 HAS SOUPS 667691 WITH SCORE 668547.83
AT ITER 1879 NEW BEST:: SOT 4411376 SOS 856746 HAS SOPS 856746 HAS SOUS 667607 HAS SOUPS 667607 WITH SCORE 668463.746
AT ITER 1880 NEW BEST:: SOT 4411376 SOS 856746 HAS SOPS 856746 HAS SOUS 667602 HAS SOUPS 667602 WITH SCORE 668458.746
AT ITER 1909 NEW BEST:: SOT 4411376 SOS 856574 HAS SOPS 856574 HAS SOUS 667601 HAS SOUPS 667601 WITH SCORE 668457.574
AT ITER 1934 NEW BEST:: SOT 4411220 SOS 856037 HAS SOPS 856037 HAS SOUS 667070 HAS SOUPS 667070 WITH SCORE 667926.037
AT ITER 1937 NEW BEST:: SOT 4411128 SOS 856037 HAS SOPS 856037 HAS SOUS 667024 HAS SOUPS 667024 WITH SCORE 667880.037
AT ITER 1944 NEW BEST:: SOT 4411016 SOS 855813 HAS SOPS 855813 HAS SOUS 666911 HAS SOUPS 666911 WITH SCORE 667766.813
AT ITER 1955 NEW BEST:: SOT 4411016 SOS 855813 HAS SOPS 855813 HAS SOUS 666728 HAS SOUPS 666728 WITH SCORE 667583.813
AT ITER 1993 NEW BEST:: SOT 4410956 SOS 855693 HAS SOPS 855693 HAS SOUS 666608 HAS SOUPS 666608 WITH SCORE 667463.693
AT ITER 2006 NEW BEST:: SOT 4410989 SOS 855141 HAS SOPS 855141 HAS SOUS 666326 HAS SOUPS 666326 WITH SCORE 667181.141
AT ITER 2010 NEW BEST:: SOT 4410989 SOS 855141 HAS SOPS 855141 HAS SOUS 666109 HAS SOUPS 666109 WITH SCORE 666964.141
AT ITER 2027 NEW BEST:: SOT 4410719 SOS 854601 HAS SOPS 854601 HAS SOUS 665905 HAS SOUPS 665905 WITH SCORE 666759.601
AT ITER 2089 NEW BEST:: SOT 4410719 SOS 854601 HAS SOPS 854601 HAS SOUS 665900 HAS SOUPS 665900 WITH SCORE 666754.601
AT ITER 2094 NEW BEST:: SOT 4410711 SOS 854585 HAS SOPS 854585 HAS SOUS 665884 HAS SOUPS 665884 WITH SCORE 666738.585
AT ITER 2110 NEW BEST:: SOT 4410635 SOS 854433 HAS SOPS 854433 HAS SOUS 665732 HAS SOUPS 665732 WITH SCORE 666586.433
AT ITER 2123 NEW BEST:: SOT 4410426 SOS 854224 HAS SOPS 854224 HAS SOUS 665523 HAS SOUPS 665523 WITH SCORE 666377.224
AT ITER 2144 NEW BEST:: SOT 4410092 SOS 853556 HAS SOPS 853556 HAS SOUS 665310 HAS SOUPS 665310 WITH SCORE 666163.556
AT ITER 2149 NEW BEST:: SOT 4409567 SOS 856052 HAS SOPS 856052 HAS SOUS 665267 HAS SOUPS 665267 WITH SCORE 666123.052
AT ITER 2152 NEW BEST:: SOT 4409362 SOS 856204 HAS SOPS 856204 HAS SOUS 665243 HAS SOUPS 665243 WITH SCORE 666099.204
AT ITER 2179 NEW BEST:: SOT 4409319 SOS 856118 HAS SOPS 856118 HAS SOUS 665157 HAS SOUPS 665157 WITH SCORE 666013.118
AT ITER 2212 NEW BEST:: SOT 4408852 SOS 855677 HAS SOPS 855677 HAS SOUS 664886 HAS SOUPS 664886 WITH SCORE 665741.677
AT ITER 2222 NEW BEST:: SOT 4408852 SOS 855571 HAS SOPS 855571 HAS SOUS 664885 HAS SOUPS 664885 WITH SCORE 665740.571
AT ITER 2243 NEW BEST:: SOT 4408605 SOS 855512 HAS SOPS 855512 HAS SOUS 664643 HAS SOUPS 664643 WITH SCORE 665498.512
AT ITER 2259 NEW BEST:: SOT 4408337 SOS 855244 HAS SOPS 855244 HAS SOUS 664375 HAS SOUPS 664375 WITH SCORE 665230.244
AT ITER 2279 NEW BEST:: SOT 4408269 SOS 855211 HAS SOPS 855211 HAS SOUS 664307 HAS SOUPS 664307 WITH SCORE 665162.211
AT ITER 2284 NEW BEST:: SOT 4408269 SOS 854993 HAS SOPS 854993 HAS SOUS 664198 HAS SOUPS 664198 WITH SCORE 665052.993
AT ITER 2287 NEW BEST:: SOT 4408269 SOS 854937 HAS SOPS 854937 HAS SOUS 664198 HAS SOUPS 664198 WITH SCORE 665052.937
AT ITER 2291 NEW BEST:: SOT 4408169 SOS 854737 HAS SOPS 854737 HAS SOUS 663998 HAS SOUPS 663998 WITH SCORE 664852.737
AT ITER 2296 NEW BEST:: SOT 4408169 SOS 854737 HAS SOPS 854737 HAS SOUS 663952 HAS SOUPS 663952 WITH SCORE 664806.737
AT ITER 2297 NEW BEST:: SOT 4408002 SOS 854403 HAS SOPS 854403 HAS SOUS 663363 HAS SOUPS 663363 WITH SCORE 664217.403
AT ITER 2303 NEW BEST:: SOT 4408002 SOS 854230 HAS SOPS 854230 HAS SOUS 663363 HAS SOUPS 663363 WITH SCORE 664217.23
AT ITER 2305 NEW BEST:: SOT 4408155 SOS 854536 HAS SOPS 854536 HAS SOUS 663258 HAS SOUPS 663258 WITH SCORE 664112.536
AT ITER 2331 NEW BEST:: SOT 4408155 SOS 854376 HAS SOPS 854376 HAS SOUS 663258 HAS SOUPS 663258 WITH SCORE 664112.376
AT ITER 2337 NEW BEST:: SOT 4407883 SOS 853832 HAS SOPS 853832 HAS SOUS 662714 HAS SOUPS 662714 WITH SCORE 663567.832
AT ITER 2399 NEW BEST:: SOT 4407721 SOS 853952 HAS SOPS 853952 HAS SOUS 662649 HAS SOUPS 662649 WITH SCORE 663502.952
AT ITER 2415 NEW BEST:: SOT 4407374 SOS 853604 HAS SOPS 853604 HAS SOUS 662301 HAS SOUPS 662301 WITH SCORE 663154.604
AT ITER 2467 NEW BEST:: SOT 4399657 SOS 856441 HAS SOPS 856441 HAS SOUS 655239 HAS SOUPS 655239 WITH SCORE 656095.441
AT ITER 2469 NEW BEST:: SOT 4399609 SOS 856345 HAS SOPS 856345 HAS SOUS 655143 HAS SOUPS 655143 WITH SCORE 655999.345
AT ITER 2489 NEW BEST:: SOT 4399569 SOS 856265 HAS SOPS 856265 HAS SOUS 655063 HAS SOUPS 655063 WITH SCORE 655919.265
AT ITER 2509 NEW BEST:: SOT 4398332 SOS 855028 HAS SOPS 855028 HAS SOUS 653980 HAS SOUPS 653980 WITH SCORE 654835.028
AT ITER 2529 NEW BEST:: SOT 4397857 SOS 854830 HAS SOPS 854830 HAS SOUS 653536 HAS SOUPS 653536 WITH SCORE 654390.83
AT ITER 2540 NEW BEST:: SOT 4397965 SOS 855046 HAS SOPS 855046 HAS SOUS 653483 HAS SOUPS 653483 WITH SCORE 654338.046
AT ITER 2541 NEW BEST:: SOT 4397965 SOS 849586 HAS SOPS 849586 HAS SOUS 653483 HAS SOUPS 653483 WITH SCORE 654332.586
AT ITER 2542 NEW BEST:: SOT 4397941 SOS 849538 HAS SOPS 849538 HAS SOUS 653459 HAS SOUPS 653459 WITH SCORE 654308.538
AT ITER 2583 NEW BEST:: SOT 4397817 SOS 849146 HAS SOPS 849146 HAS SOUS 653067 HAS SOUPS 653067 WITH SCORE 653916.146
AT ITER 2601 NEW BEST:: SOT 4397845 SOS 849202 HAS SOPS 849202 HAS SOUS 652930 HAS SOUPS 652930 WITH SCORE 653779.202
AT ITER 2602 NEW BEST:: SOT 4397771 SOS 848937 HAS SOPS 848937 HAS SOUS 652782 HAS SOUPS 652782 WITH SCORE 653630.937
AT ITER 2614 NEW BEST:: SOT 4397758 SOS 848911 HAS SOPS 848911 HAS SOUS 652756 HAS SOUPS 652756 WITH SCORE 653604.911
AT ITER 2623 NEW BEST:: SOT 4397704 SOS 848857 HAS SOPS 848857 HAS SOUS 652702 HAS SOUPS 652702 WITH SCORE 653550.857
AT ITER 2624 NEW BEST:: SOT 4397377 SOS 848530 HAS SOPS 848530 HAS SOUS 652375 HAS SOUPS 652375 WITH SCORE 653223.53
AT ITER 2625 NEW BEST:: SOT 4397570 SOS 847975 HAS SOPS 847975 HAS SOUS 652243 HAS SOUPS 652243 WITH SCORE 653090.975
AT ITER 2637 NEW BEST:: SOT 4397444 SOS 847849 HAS SOPS 847849 HAS SOUS 652117 HAS SOUPS 652117 WITH SCORE 652964.849
AT ITER 2642 NEW BEST:: SOT 4396933 SOS 847152 HAS SOPS 847152 HAS SOUS 651322 HAS SOUPS 651322 WITH SCORE 652169.152
AT ITER 2655 NEW BEST:: SOT 4396883 SOS 847252 HAS SOPS 847252 HAS SOUS 651086 HAS SOUPS 651086 WITH SCORE 651933.252
AT ITER 2684 NEW BEST:: SOT 4396712 SOS 846910 HAS SOPS 846910 HAS SOUS 650744 HAS SOUPS 650744 WITH SCORE 651590.91
AT ITER 2696 NEW BEST:: SOT 4396671 SOS 847443 HAS SOPS 847443 HAS SOUS 650703 HAS SOUPS 650703 WITH SCORE 651550.443
AT ITER 2707 NEW BEST:: SOT 4396665 SOS 847338 HAS SOPS 847338 HAS SOUS 650691 HAS SOUPS 650691 WITH SCORE 651538.338
AT ITER 2714 NEW BEST:: SOT 4396665 SOS 847338 HAS SOPS 847338 HAS SOUS 650690 HAS SOUPS 650690 WITH SCORE 651537.338
AT ITER 2725 NEW BEST:: SOT 4396665 SOS 847338 HAS SOPS 847338 HAS SOUS 650657 HAS SOUPS 650657 WITH SCORE 651504.338
AT ITER 2747 NEW BEST:: SOT 4396607 SOS 847222 HAS SOPS 847222 HAS SOUS 650541 HAS SOUPS 650541 WITH SCORE 651388.222
AT ITER 2772 NEW BEST:: SOT 4395848 SOS 846572 HAS SOPS 846572 HAS SOUS 649891 HAS SOUPS 649891 WITH SCORE 650737.572
AT ITER 2784 NEW BEST:: SOT 4395837 SOS 846539 HAS SOPS 846539 HAS SOUS 649869 HAS SOUPS 649869 WITH SCORE 650715.539
AT ITER 2790 NEW BEST:: SOT 4395762 SOS 846389 HAS SOPS 846389 HAS SOUS 649719 HAS SOUPS 649719 WITH SCORE 650565.389
AT ITER 2805 NEW BEST:: SOT 4395578 SOS 846021 HAS SOPS 846021 HAS SOUS 649351 HAS SOUPS 649351 WITH SCORE 650197.021
AT ITER 2816 NEW BEST:: SOT 4395120 SOS 846101 HAS SOPS 846101 HAS SOUS 649142 HAS SOUPS 649142 WITH SCORE 649988.101
AT ITER 2842 NEW BEST:: SOT 4395045 SOS 846026 HAS SOPS 846026 HAS SOUS 648992 HAS SOUPS 648992 WITH SCORE 649838.026
AT ITER 2856 NEW BEST:: SOT 4394661 SOS 845748 HAS SOPS 845748 HAS SOUS 648665 HAS SOUPS 648665 WITH SCORE 649510.748
AT ITER 2862 NEW BEST:: SOT 4394393 SOS 845746 HAS SOPS 845746 HAS SOUS 648663 HAS SOUPS 648663 WITH SCORE 649508.746
AT ITER 2866 NEW BEST:: SOT 4394369 SOS 845746 HAS SOPS 845746 HAS SOUS 648651 HAS SOUPS 648651 WITH SCORE 649496.746
AT ITER 2902 NEW BEST:: SOT 4394248 SOS 845774 HAS SOPS 845774 HAS SOUS 648530 HAS SOUPS 648530 WITH SCORE 649375.774
AT ITER 2906 NEW BEST:: SOT 4394041 SOS 845360 HAS SOPS 845360 HAS SOUS 648116 HAS SOUPS 648116 WITH SCORE 648961.36
AT ITER 2941 NEW BEST:: SOT 4394041 SOS 845351 HAS SOPS 845351 HAS SOUS 647948 HAS SOUPS 647948 WITH SCORE 648793.351
AT ITER 2945 NEW BEST:: SOT 4394022 SOS 845052 HAS SOPS 845052 HAS SOUS 647929 HAS SOUPS 647929 WITH SCORE 648774.052
AT ITER 2951 NEW BEST:: SOT 4393983 SOS 844974 HAS SOPS 844974 HAS SOUS 647890 HAS SOUPS 647890 WITH SCORE 648734.974
AT ITER 2963 NEW BEST:: SOT 4393982 SOS 844972 HAS SOPS 844972 HAS SOUS 647888 HAS SOUPS 647888 WITH SCORE 648732.972
AT ITER 2969 NEW BEST:: SOT 4393786 SOS 844580 HAS SOPS 844580 HAS SOUS 647496 HAS SOUPS 647496 WITH SCORE 648340.58
AT ITER 2987 NEW BEST:: SOT 4394041 SOS 844414 HAS SOPS 844414 HAS SOUS 647413 HAS SOUPS 647413 WITH SCORE 648257.414
AT ITER 2990 NEW BEST:: SOT 4394041 SOS 844061 HAS SOPS 844061 HAS SOUS 647413 HAS SOUPS 647413 WITH SCORE 648257.061
AT ITER 3010 NEW BEST:: SOT 4393868 SOS 843893 HAS SOPS 843893 HAS SOUS 647242 HAS SOUPS 647242 WITH SCORE 648085.893
AT ITER 3049 NEW BEST:: SOT 4393867 SOS 843891 HAS SOPS 843891 HAS SOUS 647240 HAS SOUPS 647240 WITH SCORE 648083.891
AT ITER 3066 NEW BEST:: SOT 4393725 SOS 843749 HAS SOPS 843749 HAS SOUS 647098 HAS SOUPS 647098 WITH SCORE 647941.749
AT ITER 3083 NEW BEST:: SOT 4393715 SOS 843739 HAS SOPS 843739 HAS SOUS 647088 HAS SOUPS 647088 WITH SCORE 647931.739
AT ITER 3086 NEW BEST:: SOT 4393715 SOS 843648 HAS SOPS 843648 HAS SOUS 646997 HAS SOUPS 646997 WITH SCORE 647840.648
AT ITER 3103 NEW BEST:: SOT 4393714 SOS 843638 HAS SOPS 843638 HAS SOUS 646995 HAS SOUPS 646995 WITH SCORE 647838.638
AT ITER 3112 NEW BEST:: SOT 4393642 SOS 843638 HAS SOPS 843638 HAS SOUS 646923 HAS SOUPS 646923 WITH SCORE 647766.638
AT ITER 3122 NEW BEST:: SOT 4393346 SOS 843357 HAS SOPS 843357 HAS SOUS 646640 HAS SOUPS 646640 WITH SCORE 647483.357
AT ITER 3133 NEW BEST:: SOT 4393312 SOS 843323 HAS SOPS 843323 HAS SOUS 646606 HAS SOUPS 646606 WITH SCORE 647449.323
AT ITER 3143 NEW BEST:: SOT 4393312 SOS 843318 HAS SOPS 843318 HAS SOUS 646605 HAS SOUPS 646605 WITH SCORE 647448.318
AT ITER 3203 NEW BEST:: SOT 4393285 SOS 843264 HAS SOPS 843264 HAS SOUS 646541 HAS SOUPS 646541 WITH SCORE 647384.264
AT ITER 3204 NEW BEST:: SOT 4393183 SOS 843128 HAS SOPS 843128 HAS SOUS 646405 HAS SOUPS 646405 WITH SCORE 647248.128
AT ITER 3218 NEW BEST:: SOT 4393515 SOS 843792 HAS SOPS 843792 HAS SOUS 646388 HAS SOUPS 646388 WITH SCORE 647231.792
AT ITER 3219 NEW BEST:: SOT 4392419 SOS 846367 HAS SOPS 846367 HAS SOUS 646303 HAS SOUPS 646303 WITH SCORE 647149.367
AT ITER 3230 NEW BEST:: SOT 4392425 SOS 846658 HAS SOPS 846658 HAS SOUS 646222 HAS SOUPS 646222 WITH SCORE 647068.658
AT ITER 3233 NEW BEST:: SOT 4392326 SOS 846460 HAS SOPS 846460 HAS SOUS 646123 HAS SOUPS 646123 WITH SCORE 646969.46
AT ITER 3239 NEW BEST:: SOT 4391837 SOS 845971 HAS SOPS 845971 HAS SOUS 645634 HAS SOUPS 645634 WITH SCORE 646479.971
AT ITER 3275 NEW BEST:: SOT 4391677 SOS 845651 HAS SOPS 845651 HAS SOUS 645314 HAS SOUPS 645314 WITH SCORE 646159.651
AT ITER 3296 NEW BEST:: SOT 4391714 SOS 845627 HAS SOPS 845627 HAS SOUS 645253 HAS SOUPS 645253 WITH SCORE 646098.627
AT ITER 3302 NEW BEST:: SOT 4391723 SOS 845645 HAS SOPS 845645 HAS SOUS 645239 HAS SOUPS 645239 WITH SCORE 646084.645
AT ITER 3306 NEW BEST:: SOT 4391510 SOS 845219 HAS SOPS 845219 HAS SOUS 645174 HAS SOUPS 645174 WITH SCORE 646019.219
AT ITER 3307 NEW BEST:: SOT 4391489 SOS 845205 HAS SOPS 845205 HAS SOUS 645160 HAS SOUPS 645160 WITH SCORE 646005.205
AT ITER 3348 NEW BEST:: SOT 4391487 SOS 845201 HAS SOPS 845201 HAS SOUS 645156 HAS SOUPS 645156 WITH SCORE 646001.201
AT ITER 3380 NEW BEST:: SOT 4391487 SOS 844950 HAS SOPS 844950 HAS SOUS 645156 HAS SOUPS 645156 WITH SCORE 646000.95
AT ITER 3399 NEW BEST:: SOT 4391113 SOS 844950 HAS SOPS 844950 HAS SOUS 644969 HAS SOUPS 644969 WITH SCORE 645813.95
AT ITER 3434 NEW BEST:: SOT 4391069 SOS 844862 HAS SOPS 844862 HAS SOUS 644925 HAS SOUPS 644925 WITH SCORE 645769.862
AT ITER 3436 NEW BEST:: SOT 4390709 SOS 844538 HAS SOPS 844538 HAS SOUS 644601 HAS SOUPS 644601 WITH SCORE 645445.538
AT ITER 3441 NEW BEST:: SOT 4390708 SOS 844536 HAS SOPS 844536 HAS SOUS 644599 HAS SOUPS 644599 WITH SCORE 645443.536
AT ITER 3448 NEW BEST:: SOT 4390502 SOS 844124 HAS SOPS 844124 HAS SOUS 644187 HAS SOUPS 644187 WITH SCORE 645031.124
AT ITER 3449 NEW BEST:: SOT 4389806 SOS 843428 HAS SOPS 843428 HAS SOUS 643491 HAS SOUPS 643491 WITH SCORE 644334.428
AT ITER 3462 NEW BEST:: SOT 4389757 SOS 843379 HAS SOPS 843379 HAS SOUS 643490 HAS SOUPS 643490 WITH SCORE 644333.379
AT ITER 3472 NEW BEST:: SOT 4389756 SOS 843377 HAS SOPS 843377 HAS SOUS 643488 HAS SOUPS 643488 WITH SCORE 644331.377
AT ITER 3520 NEW BEST:: SOT 4389675 SOS 843215 HAS SOPS 843215 HAS SOUS 643409 HAS SOUPS 643409 WITH SCORE 644252.215
AT ITER 3529 NEW BEST:: SOT 4389524 SOS 843064 HAS SOPS 843064 HAS SOUS 643258 HAS SOUPS 643258 WITH SCORE 644101.064
AT ITER 3569 NEW BEST:: SOT 4389275 SOS 842566 HAS SOPS 842566 HAS SOUS 642760 HAS SOUPS 642760 WITH SCORE 643602.566
AT ITER 3572 NEW BEST:: SOT 4389017 SOS 842222 HAS SOPS 842222 HAS SOUS 642416 HAS SOUPS 642416 WITH SCORE 643258.222
AT ITER 3575 NEW BEST:: SOT 4388843 SOS 841874 HAS SOPS 841874 HAS SOUS 642068 HAS SOUPS 642068 WITH SCORE 642909.874
AT ITER 3586 NEW BEST:: SOT 4388843 SOS 841778 HAS SOPS 841778 HAS SOUS 642020 HAS SOUPS 642020 WITH SCORE 642861.778
AT ITER 3599 NEW BEST:: SOT 4388772 SOS 841636 HAS SOPS 841636 HAS SOUS 641949 HAS SOUPS 641949 WITH SCORE 642790.636
AT ITER 3603 NEW BEST:: SOT 4388643 SOS 841378 HAS SOPS 841378 HAS SOUS 641691 HAS SOUPS 641691 WITH SCORE 642532.378
AT ITER 3615 NEW BEST:: SOT 4388378 SOS 841112 HAS SOPS 841112 HAS SOUS 641426 HAS SOUPS 641426 WITH SCORE 642267.112
AT ITER 3618 NEW BEST:: SOT 4388378 SOS 840740 HAS SOPS 840740 HAS SOUS 641240 HAS SOUPS 641240 WITH SCORE 642080.74
AT ITER 3631 NEW BEST:: SOT 4388078 SOS 840440 HAS SOPS 840440 HAS SOUS 640940 HAS SOUPS 640940 WITH SCORE 641780.44
AT ITER 3643 NEW BEST:: SOT 4388007 SOS 840298 HAS SOPS 840298 HAS SOUS 640546 HAS SOUPS 640546 WITH SCORE 641386.298
AT ITER 3653 NEW BEST:: SOT 4387908 SOS 840281 HAS SOPS 840281 HAS SOUS 640447 HAS SOUPS 640447 WITH SCORE 641287.281
AT ITER 3657 NEW BEST:: SOT 4387835 SOS 840135 HAS SOPS 840135 HAS SOUS 640301 HAS SOUPS 640301 WITH SCORE 641141.135
AT ITER 3660 NEW BEST:: SOT 4387835 SOS 840090 HAS SOPS 840090 HAS SOUS 640301 HAS SOUPS 640301 WITH SCORE 641141.09
AT ITER 3681 NEW BEST:: SOT 4387835 SOS 840090 HAS SOPS 840090 HAS SOUS 640300 HAS SOUPS 640300 WITH SCORE 641140.09
AT ITER 3698 NEW BEST:: SOT 4387576 SOS 839572 HAS SOPS 839572 HAS SOUS 640093 HAS SOUPS 640093 WITH SCORE 640932.572
AT ITER 3704 NEW BEST:: SOT 4387315 SOS 839050 HAS SOPS 839050 HAS SOUS 640063 HAS SOUPS 640063 WITH SCORE 640902.05
AT ITER 3718 NEW BEST:: SOT 4387298 SOS 839016 HAS SOPS 839016 HAS SOUS 640046 HAS SOUPS 640046 WITH SCORE 640885.016
AT ITER 3732 NEW BEST:: SOT 4387245 SOS 838999 HAS SOPS 838999 HAS SOUS 640012 HAS SOUPS 640012 WITH SCORE 640850.999
AT ITER 3754 NEW BEST:: SOT 4387135 SOS 838891 HAS SOPS 838891 HAS SOUS 639902 HAS SOUPS 639902 WITH SCORE 640740.891
AT ITER 3757 NEW BEST:: SOT 4387135 SOS 838649 HAS SOPS 838649 HAS SOUS 639660 HAS SOUPS 639660 WITH SCORE 640498.649
AT ITER 3768 NEW BEST:: SOT 4387102 SOS 838605 HAS SOPS 838605 HAS SOUS 639627 HAS SOUPS 639627 WITH SCORE 640465.605
AT ITER 3769 NEW BEST:: SOT 4386618 SOS 838605 HAS SOPS 838605 HAS SOUS 639385 HAS SOUPS 639385 WITH SCORE 640223.605
AT ITER 3772 NEW BEST:: SOT 4386267 SOS 837903 HAS SOPS 837903 HAS SOUS 639127 HAS SOUPS 639127 WITH SCORE 639964.903
AT ITER 3814 NEW BEST:: SOT 4386191 SOS 837675 HAS SOPS 837675 HAS SOUS 638975 HAS SOUPS 638975 WITH SCORE 639812.675
AT ITER 3874 NEW BEST:: SOT 4386191 SOS 837675 HAS SOPS 837675 HAS SOUS 638775 HAS SOUPS 638775 WITH SCORE 639612.675
AT ITER 3927 NEW BEST:: SOT 4386184 SOS 837654 HAS SOPS 837654 HAS SOUS 638761 HAS SOUPS 638761 WITH SCORE 639598.654
AT ITER 4011 NEW BEST:: SOT 4386000 SOS 837286 HAS SOPS 837286 HAS SOUS 638393 HAS SOUPS 638393 WITH SCORE 639230.286
AT ITER 4034 NEW BEST:: SOT 4385986 SOS 837272 HAS SOPS 837272 HAS SOUS 638379 HAS SOUPS 638379 WITH SCORE 639216.272
AT ITER 4036 NEW BEST:: SOT 4385914 SOS 837289 HAS SOPS 837289 HAS SOUS 638351 HAS SOUPS 638351 WITH SCORE 639188.289
AT ITER 4083 NEW BEST:: SOT 4385749 SOS 837605 HAS SOPS 837605 HAS SOUS 638125 HAS SOUPS 638125 WITH SCORE 638962.605
AT ITER 4134 NEW BEST:: SOT 4385641 SOS 837389 HAS SOPS 837389 HAS SOUS 637909 HAS SOUPS 637909 WITH SCORE 638746.389
AT ITER 4142 NEW BEST:: SOT 4385436 SOS 837517 HAS SOPS 837517 HAS SOUS 637601 HAS SOUPS 637601 WITH SCORE 638438.517
AT ITER 4153 NEW BEST:: SOT 4385426 SOS 837497 HAS SOPS 837497 HAS SOUS 637570 HAS SOUPS 637570 WITH SCORE 638407.497
AT ITER 4164 NEW BEST:: SOT 4385251 SOS 836972 HAS SOPS 836972 HAS SOUS 637220 HAS SOUPS 637220 WITH SCORE 638056.972
AT ITER 4165 NEW BEST:: SOT 4385112 SOS 836694 HAS SOPS 836694 HAS SOUS 636942 HAS SOUPS 636942 WITH SCORE 637778.694
AT ITER 4169 NEW BEST:: SOT 4385112 SOS 836496 HAS SOPS 836496 HAS SOUS 636942 HAS SOUPS 636942 WITH SCORE 637778.496
AT ITER 4183 NEW BEST:: SOT 4385095 SOS 836462 HAS SOPS 836462 HAS SOUS 636908 HAS SOUPS 636908 WITH SCORE 637744.462
AT ITER 4184 NEW BEST:: SOT 4385094 SOS 836460 HAS SOPS 836460 HAS SOUS 636906 HAS SOUPS 636906 WITH SCORE 637742.46
AT ITER 4198 NEW BEST:: SOT 4384964 SOS 836370 HAS SOPS 836370 HAS SOUS 636789 HAS SOUPS 636789 WITH SCORE 637625.37
AT ITER 4230 NEW BEST:: SOT 4384964 SOS 836318 HAS SOPS 836318 HAS SOUS 636789 HAS SOUPS 636789 WITH SCORE 637625.318
AT ITER 4231 NEW BEST:: SOT 4384963 SOS 836302 HAS SOPS 836302 HAS SOUS 636787 HAS SOUPS 636787 WITH SCORE 637623.302
AT ITER 4236 NEW BEST:: SOT 4384963 SOS 836257 HAS SOPS 836257 HAS SOUS 636783 HAS SOUPS 636783 WITH SCORE 637619.257
AT ITER 4266 NEW BEST:: SOT 4384950 SOS 836231 HAS SOPS 836231 HAS SOUS 636770 HAS SOUPS 636770 WITH SCORE 637606.231
AT ITER 4267 NEW BEST:: SOT 4384950 SOS 835701 HAS SOPS 835701 HAS SOUS 636770 HAS SOUPS 636770 WITH SCORE 637605.701
AT ITER 4275 NEW BEST:: SOT 4384849 SOS 835499 HAS SOPS 835499 HAS SOUS 636568 HAS SOUPS 636568 WITH SCORE 637403.499
AT ITER 4285 NEW BEST:: SOT 4384848 SOS 835497 HAS SOPS 835497 HAS SOUS 636566 HAS SOUPS 636566 WITH SCORE 637401.497
AT ITER 4294 NEW BEST:: SOT 4384817 SOS 835435 HAS SOPS 835435 HAS SOUS 636504 HAS SOUPS 636504 WITH SCORE 637339.435
AT ITER 4312 NEW BEST:: SOT 4384729 SOS 835259 HAS SOPS 835259 HAS SOUS 635773 HAS SOUPS 635773 WITH SCORE 636608.259
AT ITER 4320 NEW BEST:: SOT 4384612 SOS 835025 HAS SOPS 835025 HAS SOUS 635539 HAS SOUPS 635539 WITH SCORE 636374.025
AT ITER 4329 NEW BEST:: SOT 4384612 SOS 835025 HAS SOPS 835025 HAS SOUS 635370 HAS SOUPS 635370 WITH SCORE 636205.025
AT ITER 4335 NEW BEST:: SOT 4384489 SOS 834779 HAS SOPS 834779 HAS SOUS 635124 HAS SOUPS 635124 WITH SCORE 635958.779
AT ITER 4337 NEW BEST:: SOT 4384487 SOS 834775 HAS SOPS 834775 HAS SOUS 635122 HAS SOUPS 635122 WITH SCORE 635956.775
AT ITER 4343 NEW BEST:: SOT 4384368 SOS 834537 HAS SOPS 834537 HAS SOUS 635010 HAS SOUPS 635010 WITH SCORE 635844.537
AT ITER 4358 NEW BEST:: SOT 4384368 SOS 834537 HAS SOPS 834537 HAS SOUS 634995 HAS SOUPS 634995 WITH SCORE 635829.537
AT ITER 4375 NEW BEST:: SOT 4384251 SOS 834186 HAS SOPS 834186 HAS SOUS 634761 HAS SOUPS 634761 WITH SCORE 635595.186
AT ITER 4388 NEW BEST:: SOT 4384239 SOS 834162 HAS SOPS 834162 HAS SOUS 634749 HAS SOUPS 634749 WITH SCORE 635583.162
AT ITER 4395 NEW BEST:: SOT 4384027 SOS 833950 HAS SOPS 833950 HAS SOUS 634537 HAS SOUPS 634537 WITH SCORE 635370.95
AT ITER 4398 NEW BEST:: SOT 4383872 SOS 833480 HAS SOPS 833480 HAS SOUS 634222 HAS SOUPS 634222 WITH SCORE 635055.48
AT ITER 4409 NEW BEST:: SOT 4383704 SOS 833144 HAS SOPS 833144 HAS SOUS 633886 HAS SOUPS 633886 WITH SCORE 634719.144
AT ITER 4449 NEW BEST:: SOT 4383650 SOS 833036 HAS SOPS 833036 HAS SOUS 633778 HAS SOUPS 633778 WITH SCORE 634611.036
AT ITER 4466 NEW BEST:: SOT 4383334 SOS 832404 HAS SOPS 832404 HAS SOUS 633246 HAS SOUPS 633246 WITH SCORE 634078.404
AT ITER 4477 NEW BEST:: SOT 4383063 SOS 832214 HAS SOPS 832214 HAS SOUS 633016 HAS SOUPS 633016 WITH SCORE 633848.214
AT ITER 4479 NEW BEST:: SOT 4382961 SOS 832010 HAS SOPS 832010 HAS SOUS 632583 HAS SOUPS 632583 WITH SCORE 633415.01
AT ITER 4515 NEW BEST:: SOT 4382818 SOS 832050 HAS SOPS 832050 HAS SOUS 632440 HAS SOUPS 632440 WITH SCORE 633272.05
AT ITER 4555 NEW BEST:: SOT 4382782 SOS 823767 HAS SOPS 823767 HAS SOUS 632404 HAS SOUPS 632404 WITH SCORE 633227.767
AT ITER 4563 NEW BEST:: SOT 4382503 SOS 822865 HAS SOPS 822865 HAS SOUS 631813 HAS SOUPS 631813 WITH SCORE 632635.865
AT ITER 4575 NEW BEST:: SOT 4382579 SOS 822684 HAS SOPS 822684 HAS SOUS 631600 HAS SOUPS 631600 WITH SCORE 632422.684
AT ITER 4578 NEW BEST:: SOT 4379051 SOS 819267 HAS SOPS 819267 HAS SOUS 628265 HAS SOUPS 628265 WITH SCORE 629084.267
AT ITER 4581 NEW BEST:: SOT 4379125 SOS 819415 HAS SOPS 819415 HAS SOUS 628057 HAS SOUPS 628057 WITH SCORE 628876.415
AT ITER 4584 NEW BEST:: SOT 4379069 SOS 819522 HAS SOPS 819522 HAS SOUS 628029 HAS SOUPS 628029 WITH SCORE 628848.522
AT ITER 4605 NEW BEST:: SOT 4379051 SOS 819486 HAS SOPS 819486 HAS SOUS 628002 HAS SOUPS 628002 WITH SCORE 628821.486
AT ITER 4608 NEW BEST:: SOT 4379030 SOS 819469 HAS SOPS 819469 HAS SOUS 627985 HAS SOUPS 627985 WITH SCORE 628804.469
AT ITER 4621 NEW BEST:: SOT 4378887 SOS 819183 HAS SOPS 819183 HAS SOUS 627699 HAS SOUPS 627699 WITH SCORE 628518.183
AT ITER 4622 NEW BEST:: SOT 4378884 SOS 819177 HAS SOPS 819177 HAS SOUS 627696 HAS SOUPS 627696 WITH SCORE 628515.177
AT ITER 4638 NEW BEST:: SOT 4378884 SOS 819144 HAS SOPS 819144 HAS SOUS 627696 HAS SOUPS 627696 WITH SCORE 628515.144
AT ITER 4667 NEW BEST:: SOT 4379613 SOS 819545 HAS SOPS 819545 HAS SOUS 627568 HAS SOUPS 627568 WITH SCORE 628387.545
AT ITER 4670 NEW BEST:: SOT 4379566 SOS 819451 HAS SOPS 819451 HAS SOUS 627474 HAS SOUPS 627474 WITH SCORE 628293.451
AT ITER 4689 NEW BEST:: SOT 4379286 SOS 819193 HAS SOPS 819193 HAS SOUS 627216 HAS SOUPS 627216 WITH SCORE 628035.193
AT ITER 4783 NEW BEST:: SOT 4379261 SOS 819184 HAS SOPS 819184 HAS SOUS 627166 HAS SOUPS 627166 WITH SCORE 627985.184
AT ITER 4788 NEW BEST:: SOT 4379261 SOS 819137 HAS SOPS 819137 HAS SOUS 627166 HAS SOUPS 627166 WITH SCORE 627985.137
AT ITER 4815 NEW BEST:: SOT 4379315 SOS 819115 HAS SOPS 819115 HAS SOUS 627144 HAS SOUPS 627144 WITH SCORE 627963.115
AT ITER 4846 NEW BEST:: SOT 4379397 SOS 819279 HAS SOPS 819279 HAS SOUS 627060 HAS SOUPS 627060 WITH SCORE 627879.279
AT ITER 4868 NEW BEST:: SOT 4379379 SOS 819243 HAS SOPS 819243 HAS SOUS 627024 HAS SOUPS 627024 WITH SCORE 627843.243
AT ITER 4875 NEW BEST:: SOT 4379073 SOS 818937 HAS SOPS 818937 HAS SOUS 626718 HAS SOUPS 626718 WITH SCORE 627536.937
AT ITER 4888 NEW BEST:: SOT 4379073 SOS 818885 HAS SOPS 818885 HAS SOUS 626692 HAS SOUPS 626692 WITH SCORE 627510.885
AT ITER 4889 NEW BEST:: SOT 4378904 SOS 819063 HAS SOPS 819063 HAS SOUS 626457 HAS SOUPS 626457 WITH SCORE 627276.063
AT ITER 4898 NEW BEST:: SOT 4378491 SOS 789783 HAS SOPS 789783 HAS SOUS 625838 HAS SOUPS 625838 WITH SCORE 626627.783
AT ITER 4902 NEW BEST:: SOT 4378339 SOS 789479 HAS SOPS 789479 HAS SOUS 625534 HAS SOUPS 625534 WITH SCORE 626323.479
AT ITER 4912 NEW BEST:: SOT 4378233 SOS 789420 HAS SOPS 789420 HAS SOUS 625475 HAS SOUPS 625475 WITH SCORE 626264.42
AT ITER 4921 NEW BEST:: SOT 4378251 SOS 789208 HAS SOPS 789208 HAS SOUS 625369 HAS SOUPS 625369 WITH SCORE 626158.208
AT ITER 4925 NEW BEST:: SOT 4378195 SOS 788987 HAS SOPS 788987 HAS SOUS 625311 HAS SOUPS 625311 WITH SCORE 626099.987
AT ITER 4931 NEW BEST:: SOT 4377612 SOS 788212 HAS SOPS 788212 HAS SOUS 624390 HAS SOUPS 624390 WITH SCORE 625178.212
AT ITER 4942 NEW BEST:: SOT 4377289 SOS 788511 HAS SOPS 788511 HAS SOUS 624268 HAS SOUPS 624268 WITH SCORE 625056.511
AT ITER 4962 NEW BEST:: SOT 4377240 SOS 788413 HAS SOPS 788413 HAS SOUS 624138 HAS SOUPS 624138 WITH SCORE 624926.413
AT ITER 4966 NEW BEST:: SOT 4377089 SOS 788111 HAS SOPS 788111 HAS SOUS 623836 HAS SOUPS 623836 WITH SCORE 624624.111
AT ITER 4972 NEW BEST:: SOT 4377052 SOS 788000 HAS SOPS 788000 HAS SOUS 623762 HAS SOUPS 623762 WITH SCORE 624550.0
AT ITER 4974 NEW BEST:: SOT 4376955 SOS 787806 HAS SOPS 787806 HAS SOUS 623665 HAS SOUPS 623665 WITH SCORE 624452.806
AT ITER 4996 NEW BEST:: SOT 4376880 SOS 787248 HAS SOPS 787248 HAS SOUS 623277 HAS SOUPS 623277 WITH SCORE 624064.248
AT ITER 5058 NEW BEST:: SOT 4376880 SOS 787248 HAS SOPS 787248 HAS SOUS 623173 HAS SOUPS 623173 WITH SCORE 623960.248
AT ITER 5079 NEW BEST:: SOT 4376880 SOS 787074 HAS SOPS 787074 HAS SOUS 623172 HAS SOUPS 623172 WITH SCORE 623959.074
AT ITER 5082 NEW BEST:: SOT 4376757 SOS 786951 HAS SOPS 786951 HAS SOUS 623049 HAS SOUPS 623049 WITH SCORE 623835.951
AT ITER 5093 NEW BEST:: SOT 4376636 SOS 786709 HAS SOPS 786709 HAS SOUS 622807 HAS SOUPS 622807 WITH SCORE 623593.709
AT ITER 5143 NEW BEST:: SOT 4376636 SOS 786677 HAS SOPS 786677 HAS SOUS 622807 HAS SOUPS 622807 WITH SCORE 623593.677
AT ITER 5181 NEW BEST:: SOT 4376636 SOS 786426 HAS SOPS 786426 HAS SOUS 622807 HAS SOUPS 622807 WITH SCORE 623593.426
AT ITER 5182 NEW BEST:: SOT 4376685 SOS 786524 HAS SOPS 786524 HAS SOUS 622682 HAS SOUPS 622682 WITH SCORE 623468.524
AT ITER 5201 NEW BEST:: SOT 4376649 SOS 786488 HAS SOPS 786488 HAS SOUS 622646 HAS SOUPS 622646 WITH SCORE 623432.488
AT ITER 5243 NEW BEST:: SOT 4376561 SOS 782616 HAS SOPS 782616 HAS SOUS 622470 HAS SOUPS 622470 WITH SCORE 623252.616
AT ITER 5244 NEW BEST:: SOT 4376419 SOS 783191 HAS SOPS 783191 HAS SOUS 622213 HAS SOUPS 622213 WITH SCORE 622996.191
AT ITER 5253 NEW BEST:: SOT 4376419 SOS 783039 HAS SOPS 783039 HAS SOUS 622213 HAS SOUPS 622213 WITH SCORE 622996.039
AT ITER 5297 NEW BEST:: SOT 4376337 SOS 782875 HAS SOPS 782875 HAS SOUS 622028 HAS SOUPS 622028 WITH SCORE 622810.875
AT ITER 5326 NEW BEST:: SOT 4376337 SOS 782875 HAS SOPS 782875 HAS SOUS 622021 HAS SOUPS 622021 WITH SCORE 622803.875
AT ITER 5328 NEW BEST:: SOT 4376315 SOS 782864 HAS SOPS 782864 HAS SOUS 622010 HAS SOUPS 622010 WITH SCORE 622792.864
AT ITER 5344 NEW BEST:: SOT 4376528 SOS 782630 HAS SOPS 782630 HAS SOUS 621999 HAS SOUPS 621999 WITH SCORE 622781.63
AT ITER 5345 NEW BEST:: SOT 4376503 SOS 782580 HAS SOPS 782580 HAS SOUS 621528 HAS SOUPS 621528 WITH SCORE 622310.58
AT ITER 5346 NEW BEST:: SOT 4376503 SOS 782369 HAS SOPS 782369 HAS SOUS 621528 HAS SOUPS 621528 WITH SCORE 622310.369
AT ITER 5357 NEW BEST:: SOT 4376219 SOS 781801 HAS SOPS 781801 HAS SOUS 621244 HAS SOUPS 621244 WITH SCORE 622025.801
AT ITER 5367 NEW BEST:: SOT 4376218 SOS 781427 HAS SOPS 781427 HAS SOUS 621242 HAS SOUPS 621242 WITH SCORE 622023.427
AT ITER 5397 NEW BEST:: SOT 4376218 SOS 781412 HAS SOPS 781412 HAS SOUS 621227 HAS SOUPS 621227 WITH SCORE 622008.412
AT ITER 5402 NEW BEST:: SOT 4376217 SOS 781410 HAS SOPS 781410 HAS SOUS 621225 HAS SOUPS 621225 WITH SCORE 622006.41
AT ITER 5435 NEW BEST:: SOT 4376012 SOS 781000 HAS SOPS 781000 HAS SOUS 621022 HAS SOUPS 621022 WITH SCORE 621803.0
AT ITER 5439 NEW BEST:: SOT 4375976 SOS 780928 HAS SOPS 780928 HAS SOUS 620950 HAS SOUPS 620950 WITH SCORE 621730.928
AT ITER 5471 NEW BEST:: SOT 4375986 SOS 780901 HAS SOPS 780901 HAS SOUS 620923 HAS SOUPS 620923 WITH SCORE 621703.901
AT ITER 5477 NEW BEST:: SOT 4376025 SOS 780877 HAS SOPS 780877 HAS SOUS 620860 HAS SOUPS 620860 WITH SCORE 621640.877
AT ITER 5478 NEW BEST:: SOT 4376044 SOS 777471 HAS SOPS 777471 HAS SOUS 620846 HAS SOUPS 620846 WITH SCORE 621623.471
AT ITER 5480 NEW BEST:: SOT 4376013 SOS 777409 HAS SOPS 777409 HAS SOUS 620784 HAS SOUPS 620784 WITH SCORE 621561.409
AT ITER 5486 NEW BEST:: SOT 4375699 SOS 777145 HAS SOPS 777145 HAS SOUS 620530 HAS SOUPS 620530 WITH SCORE 621307.145
AT ITER 5491 NEW BEST:: SOT 4375459 SOS 776789 HAS SOPS 776789 HAS SOUS 620174 HAS SOUPS 620174 WITH SCORE 620950.789
AT ITER 5504 NEW BEST:: SOT 4374800 SOS 776130 HAS SOPS 776130 HAS SOUS 619608 HAS SOUPS 619608 WITH SCORE 620384.13
AT ITER 5518 NEW BEST:: SOT 4374673 SOS 775876 HAS SOPS 775876 HAS SOUS 619354 HAS SOUPS 619354 WITH SCORE 620129.876
AT ITER 5521 NEW BEST:: SOT 4374612 SOS 775949 HAS SOPS 775949 HAS SOUS 619296 HAS SOUPS 619296 WITH SCORE 620071.949
AT ITER 5533 NEW BEST:: SOT 4374560 SOS 776068 HAS SOPS 776068 HAS SOUS 619244 HAS SOUPS 619244 WITH SCORE 620020.068
AT ITER 5555 NEW BEST:: SOT 4374297 SOS 775319 HAS SOPS 775319 HAS SOUS 618495 HAS SOUPS 618495 WITH SCORE 619270.319
AT ITER 5561 NEW BEST:: SOT 4374294 SOS 775313 HAS SOPS 775313 HAS SOUS 618489 HAS SOUPS 618489 WITH SCORE 619264.313
AT ITER 5597 NEW BEST:: SOT 4374168 SOS 775061 HAS SOPS 775061 HAS SOUS 618169 HAS SOUPS 618169 WITH SCORE 618944.061
AT ITER 5629 NEW BEST:: SOT 4373918 SOS 774965 HAS SOPS 774965 HAS SOUS 617970 HAS SOUPS 617970 WITH SCORE 618744.965
AT ITER 5644 NEW BEST:: SOT 4373807 SOS 774579 HAS SOPS 774579 HAS SOUS 617591 HAS SOUPS 617591 WITH SCORE 618365.579
AT ITER 5646 NEW BEST:: SOT 4373830 SOS 774498 HAS SOPS 774498 HAS SOUS 617487 HAS SOUPS 617487 WITH SCORE 618261.498
AT ITER 5659 NEW BEST:: SOT 4373794 SOS 774426 HAS SOPS 774426 HAS SOUS 617415 HAS SOUPS 617415 WITH SCORE 618189.426
AT ITER 5667 NEW BEST:: SOT 4373682 SOS 774320 HAS SOPS 774320 HAS SOUS 617254 HAS SOUPS 617254 WITH SCORE 618028.32
AT ITER 5680 NEW BEST:: SOT 4373676 SOS 774077 HAS SOPS 774077 HAS SOUS 617242 HAS SOUPS 617242 WITH SCORE 618016.077
AT ITER 5709 NEW BEST:: SOT 4373485 SOS 773695 HAS SOPS 773695 HAS SOUS 616860 HAS SOUPS 616860 WITH SCORE 617633.695
AT ITER 5714 NEW BEST:: SOT 4373444 SOS 773613 HAS SOPS 773613 HAS SOUS 616778 HAS SOUPS 616778 WITH SCORE 617551.613
AT ITER 5747 NEW BEST:: SOT 4373443 SOS 773611 HAS SOPS 773611 HAS SOUS 616716 HAS SOUPS 616716 WITH SCORE 617489.611
AT ITER 5777 NEW BEST:: SOT 4373224 SOS 773173 HAS SOPS 773173 HAS SOUS 616278 HAS SOUPS 616278 WITH SCORE 617051.173
AT ITER 5783 NEW BEST:: SOT 4372961 SOS 772871 HAS SOPS 772871 HAS SOUS 615884 HAS SOUPS 615884 WITH SCORE 616656.871
AT ITER 5837 NEW BEST:: SOT 4372945 SOS 772839 HAS SOPS 772839 HAS SOUS 615852 HAS SOUPS 615852 WITH SCORE 616624.839
AT ITER 5844 NEW BEST:: SOT 4372945 SOS 772817 HAS SOPS 772817 HAS SOUS 615852 HAS SOUPS 615852 WITH SCORE 616624.817
AT ITER 5854 NEW BEST:: SOT 4372928 SOS 772783 HAS SOPS 772783 HAS SOUS 615818 HAS SOUPS 615818 WITH SCORE 616590.783
AT ITER 5873 NEW BEST:: SOT 4372887 SOS 772660 HAS SOPS 772660 HAS SOUS 615740 HAS SOUPS 615740 WITH SCORE 616512.66
AT ITER 5898 NEW BEST:: SOT 4372882 SOS 772650 HAS SOPS 772650 HAS SOUS 615738 HAS SOUPS 615738 WITH SCORE 616510.65
AT ITER 5901 NEW BEST:: SOT 4372882 SOS 772650 HAS SOPS 772650 HAS SOUS 615735 HAS SOUPS 615735 WITH SCORE 616507.65
AT ITER 5918 NEW BEST:: SOT 4372789 SOS 772464 HAS SOPS 772464 HAS SOUS 615549 HAS SOUPS 615549 WITH SCORE 616321.464
AT ITER 5942 NEW BEST:: SOT 4372711 SOS 772386 HAS SOPS 772386 HAS SOUS 615502 HAS SOUPS 615502 WITH SCORE 616274.386
AT ITER 5950 NEW BEST:: SOT 4372687 SOS 772698 HAS SOPS 772698 HAS SOUS 615454 HAS SOUPS 615454 WITH SCORE 616226.698
AT ITER 5973 NEW BEST:: SOT 4372622 SOS 772568 HAS SOPS 772568 HAS SOUS 615324 HAS SOUPS 615324 WITH SCORE 616096.568
AT ITER 5997 NEW BEST:: SOT 4372518 SOS 772360 HAS SOPS 772360 HAS SOUS 615116 HAS SOUPS 615116 WITH SCORE 615888.36
AT ITER 6017 NEW BEST:: SOT 4372564 SOS 772112 HAS SOPS 772112 HAS SOUS 615061 HAS SOUPS 615061 WITH SCORE 615833.112
AT ITER 6047 NEW BEST:: SOT 4372563 SOS 772110 HAS SOPS 772110 HAS SOUS 615059 HAS SOUPS 615059 WITH SCORE 615831.11
AT ITER 6051 NEW BEST:: SOT 4372529 SOS 772042 HAS SOPS 772042 HAS SOUS 614892 HAS SOUPS 614892 WITH SCORE 615664.042
AT ITER 6082 NEW BEST:: SOT 4372445 SOS 771979 HAS SOPS 771979 HAS SOUS 614829 HAS SOUPS 614829 WITH SCORE 615600.979
AT ITER 6096 NEW BEST:: SOT 4372226 SOS 771977 HAS SOPS 771977 HAS SOUS 614610 HAS SOUPS 614610 WITH SCORE 615381.977
AT ITER 6123 NEW BEST:: SOT 4372120 SOS 771448 HAS SOPS 771448 HAS SOUS 614402 HAS SOUPS 614402 WITH SCORE 615173.448
AT ITER 6136 NEW BEST:: SOT 4372120 SOS 771448 HAS SOPS 771448 HAS SOUS 614308 HAS SOUPS 614308 WITH SCORE 615079.448
AT ITER 6146 NEW BEST:: SOT 4372133 SOS 771474 HAS SOPS 771474 HAS SOUS 614303 HAS SOUPS 614303 WITH SCORE 615074.474
AT ITER 6173 NEW BEST:: SOT 4371879 SOS 771462 HAS SOPS 771462 HAS SOUS 614291 HAS SOUPS 614291 WITH SCORE 615062.462
AT ITER 6174 NEW BEST:: SOT 4371826 SOS 771250 HAS SOPS 771250 HAS SOUS 614185 HAS SOUPS 614185 WITH SCORE 614956.25
AT ITER 6176 NEW BEST:: SOT 4371826 SOS 771195 HAS SOPS 771195 HAS SOUS 614130 HAS SOUPS 614130 WITH SCORE 614901.195
AT ITER 6205 NEW BEST:: SOT 4371826 SOS 771195 HAS SOPS 771195 HAS SOUS 614052 HAS SOUPS 614052 WITH SCORE 614823.195
AT ITER 6242 NEW BEST:: SOT 4371940 SOS 771423 HAS SOPS 771423 HAS SOUS 613969 HAS SOUPS 613969 WITH SCORE 614740.423
AT ITER 6251 NEW BEST:: SOT 4371737 SOS 771017 HAS SOPS 771017 HAS SOUS 613483 HAS SOUPS 613483 WITH SCORE 614254.017
AT ITER 6258 NEW BEST:: SOT 4371745 SOS 770919 HAS SOPS 770919 HAS SOUS 613434 HAS SOUPS 613434 WITH SCORE 614204.919
AT ITER 6279 NEW BEST:: SOT 4371745 SOS 770841 HAS SOPS 770841 HAS SOUS 613356 HAS SOUPS 613356 WITH SCORE 614126.841
AT ITER 6297 NEW BEST:: SOT 4371881 SOS 770681 HAS SOPS 770681 HAS SOUS 613276 HAS SOUPS 613276 WITH SCORE 614046.681
AT ITER 6326 NEW BEST:: SOT 4371853 SOS 770597 HAS SOPS 770597 HAS SOUS 613245 HAS SOUPS 613245 WITH SCORE 614015.597
AT ITER 6347 NEW BEST:: SOT 4371873 SOS 770637 HAS SOPS 770637 HAS SOUS 613077 HAS SOUPS 613077 WITH SCORE 613847.637
AT ITER 6357 NEW BEST:: SOT 4371873 SOS 770637 HAS SOPS 770637 HAS SOUS 612530 HAS SOUPS 612530 WITH SCORE 613300.637
AT ITER 6361 NEW BEST:: SOT 4371873 SOS 770622 HAS SOPS 770622 HAS SOUS 612530 HAS SOUPS 612530 WITH SCORE 613300.622
AT ITER 6381 NEW BEST:: SOT 4371855 SOS 770586 HAS SOPS 770586 HAS SOUS 612512 HAS SOUPS 612512 WITH SCORE 613282.586
AT ITER 6439 NEW BEST:: SOT 4371855 SOS 770578 HAS SOPS 770578 HAS SOUS 612512 HAS SOUPS 612512 WITH SCORE 613282.578
AT ITER 6443 NEW BEST:: SOT 4371717 SOS 770578 HAS SOPS 770578 HAS SOUS 612443 HAS SOUPS 612443 WITH SCORE 613213.578
AT ITER 6460 NEW BEST:: SOT 4371707 SOS 770538 HAS SOPS 770538 HAS SOUS 612413 HAS SOUPS 612413 WITH SCORE 613183.538
AT ITER 6463 NEW BEST:: SOT 4371816 SOS 770413 HAS SOPS 770413 HAS SOUS 612410 HAS SOUPS 612410 WITH SCORE 613180.413
AT ITER 6486 NEW BEST:: SOT 4371805 SOS 770474 HAS SOPS 770474 HAS SOUS 612388 HAS SOUPS 612388 WITH SCORE 613158.474
AT ITER 6488 NEW BEST:: SOT 4371890 SOS 770011 HAS SOPS 770011 HAS SOUS 611324 HAS SOUPS 611324 WITH SCORE 612094.011
AT ITER 6494 NEW BEST:: SOT 4371720 SOS 769586 HAS SOPS 769586 HAS SOUS 611069 HAS SOUPS 611069 WITH SCORE 611838.586
AT ITER 6506 NEW BEST:: SOT 4371843 SOS 769832 HAS SOPS 769832 HAS SOUS 610905 HAS SOUPS 610905 WITH SCORE 611674.832
AT ITER 6515 NEW BEST:: SOT 4371840 SOS 769826 HAS SOPS 769826 HAS SOUS 610899 HAS SOUPS 610899 WITH SCORE 611668.826
AT ITER 6521 NEW BEST:: SOT 4371787 SOS 770111 HAS SOPS 770111 HAS SOUS 610846 HAS SOUPS 610846 WITH SCORE 611616.111
AT ITER 6527 NEW BEST:: SOT 4371584 SOS 769705 HAS SOPS 769705 HAS SOUS 610440 HAS SOUPS 610440 WITH SCORE 611209.705
AT ITER 6533 NEW BEST:: SOT 4371584 SOS 769705 HAS SOPS 769705 HAS SOUS 610439 HAS SOUPS 610439 WITH SCORE 611208.705
AT ITER 6562 NEW BEST:: SOT 4371315 SOS 769167 HAS SOPS 769167 HAS SOUS 609901 HAS SOUPS 609901 WITH SCORE 610670.167
AT ITER 6564 NEW BEST:: SOT 4371274 SOS 769126 HAS SOPS 769126 HAS SOUS 609887 HAS SOUPS 609887 WITH SCORE 610656.126
AT ITER 6566 NEW BEST:: SOT 4369201 SOS 767479 HAS SOPS 767479 HAS SOUS 608504 HAS SOUPS 608504 WITH SCORE 609271.479
AT ITER 6577 NEW BEST:: SOT 4369176 SOS 767404 HAS SOPS 767404 HAS SOUS 608454 HAS SOUPS 608454 WITH SCORE 609221.404
AT ITER 6607 NEW BEST:: SOT 4369146 SOS 767404 HAS SOPS 767404 HAS SOUS 608424 HAS SOUPS 608424 WITH SCORE 609191.404
AT ITER 6625 NEW BEST:: SOT 4369125 SOS 767362 HAS SOPS 767362 HAS SOUS 608382 HAS SOUPS 608382 WITH SCORE 609149.362
AT ITER 6627 NEW BEST:: SOT 4369091 SOS 767294 HAS SOPS 767294 HAS SOUS 608348 HAS SOUPS 608348 WITH SCORE 609115.294
AT ITER 6634 NEW BEST:: SOT 4368979 SOS 766976 HAS SOPS 766976 HAS SOUS 608142 HAS SOUPS 608142 WITH SCORE 608908.976
AT ITER 6704 NEW BEST:: SOT 4369017 SOS 766766 HAS SOPS 766766 HAS SOUS 608059 HAS SOUPS 608059 WITH SCORE 608825.766
AT ITER 6765 NEW BEST:: SOT 4369017 SOS 766504 HAS SOPS 766504 HAS SOUS 608059 HAS SOUPS 608059 WITH SCORE 608825.504
AT ITER 6766 NEW BEST:: SOT 4368896 SOS 766141 HAS SOPS 766141 HAS SOUS 607817 HAS SOUPS 607817 WITH SCORE 608583.141
AT ITER 6777 NEW BEST:: SOT 4368874 SOS 766097 HAS SOPS 766097 HAS SOUS 607773 HAS SOUPS 607773 WITH SCORE 608539.097
AT ITER 6779 NEW BEST:: SOT 4368753 SOS 765855 HAS SOPS 765855 HAS SOUS 607672 HAS SOUPS 607672 WITH SCORE 608437.855
AT ITER 6802 NEW BEST:: SOT 4368487 SOS 765750 HAS SOPS 765750 HAS SOUS 607467 HAS SOUPS 607467 WITH SCORE 608232.75
AT ITER 6837 NEW BEST:: SOT 4368480 SOS 765736 HAS SOPS 765736 HAS SOUS 607453 HAS SOUPS 607453 WITH SCORE 608218.736
AT ITER 6839 NEW BEST:: SOT 4368394 SOS 765564 HAS SOPS 765564 HAS SOUS 607281 HAS SOUPS 607281 WITH SCORE 608046.564
AT ITER 6860 NEW BEST:: SOT 4368234 SOS 765415 HAS SOPS 765415 HAS SOUS 607132 HAS SOUPS 607132 WITH SCORE 607897.415
AT ITER 6870 NEW BEST:: SOT 4368234 SOS 765359 HAS SOPS 765359 HAS SOUS 607132 HAS SOUPS 607132 WITH SCORE 607897.359
AT ITER 6905 NEW BEST:: SOT 4368259 SOS 765409 HAS SOPS 765409 HAS SOUS 606988 HAS SOUPS 606988 WITH SCORE 607753.409
AT ITER 6929 NEW BEST:: SOT 4368020 SOS 764931 HAS SOPS 764931 HAS SOUS 606516 HAS SOUPS 606516 WITH SCORE 607280.931
AT ITER 6940 NEW BEST:: SOT 4368020 SOS 764931 HAS SOPS 764931 HAS SOUS 606483 HAS SOUPS 606483 WITH SCORE 607247.931
AT ITER 6982 NEW BEST:: SOT 4368020 SOS 764931 HAS SOPS 764931 HAS SOUS 606480 HAS SOUPS 606480 WITH SCORE 607244.931
AT ITER 6990 NEW BEST:: SOT 4367954 SOS 764799 HAS SOPS 764799 HAS SOUS 606268 HAS SOUPS 606268 WITH SCORE 607032.799
AT ITER 6993 NEW BEST:: SOT 4367987 SOS 764765 HAS SOPS 764765 HAS SOUS 606201 HAS SOUPS 606201 WITH SCORE 606965.765
AT ITER 7018 NEW BEST:: SOT 4367880 SOS 764619 HAS SOPS 764619 HAS SOUS 606094 HAS SOUPS 606094 WITH SCORE 606858.619
AT ITER 7068 NEW BEST:: SOT 4367770 SOS 764399 HAS SOPS 764399 HAS SOUS 605874 HAS SOUPS 605874 WITH SCORE 606638.399
AT ITER 7079 NEW BEST:: SOT 4367816 SOS 764491 HAS SOPS 764491 HAS SOUS 605804 HAS SOUPS 605804 WITH SCORE 606568.491
AT ITER 7118 NEW BEST:: SOT 4367747 SOS 764353 HAS SOPS 764353 HAS SOUS 605730 HAS SOUPS 605730 WITH SCORE 606494.353
AT ITER 7180 NEW BEST:: SOT 4367649 SOS 764157 HAS SOPS 764157 HAS SOUS 605465 HAS SOUPS 605465 WITH SCORE 606229.157
AT ITER 7226 NEW BEST:: SOT 4367639 SOS 764137 HAS SOPS 764137 HAS SOUS 605445 HAS SOUPS 605445 WITH SCORE 606209.137
AT ITER 7268 NEW BEST:: SOT 4367639 SOS 763993 HAS SOPS 763993 HAS SOUS 605445 HAS SOUPS 605445 WITH SCORE 606208.993
AT ITER 7270 NEW BEST:: SOT 4367683 SOS 763784 HAS SOPS 763784 HAS SOUS 605436 HAS SOUPS 605436 WITH SCORE 606199.784
AT ITER 7323 NEW BEST:: SOT 4367466 SOS 763350 HAS SOPS 763350 HAS SOUS 605027 HAS SOUPS 605027 WITH SCORE 605790.35
AT ITER 7324 NEW BEST:: SOT 4367387 SOS 763192 HAS SOPS 763192 HAS SOUS 604815 HAS SOUPS 604815 WITH SCORE 605578.192
AT ITER 7325 NEW BEST:: SOT 4367361 SOS 763140 HAS SOPS 763140 HAS SOUS 604763 HAS SOUPS 604763 WITH SCORE 605526.14
AT ITER 7351 NEW BEST:: SOT 4367313 SOS 763044 HAS SOPS 763044 HAS SOUS 604667 HAS SOUPS 604667 WITH SCORE 605430.044
AT ITER 7361 NEW BEST:: SOT 4367313 SOS 763044 HAS SOPS 763044 HAS SOUS 604666 HAS SOUPS 604666 WITH SCORE 605429.044
AT ITER 7389 NEW BEST:: SOT 4367139 SOS 762590 HAS SOPS 762590 HAS SOUS 604318 HAS SOUPS 604318 WITH SCORE 605080.59
AT ITER 7422 NEW BEST:: SOT 4367126 SOS 762564 HAS SOPS 762564 HAS SOUS 604292 HAS SOUPS 604292 WITH SCORE 605054.564
AT ITER 7425 NEW BEST:: SOT 4367081 SOS 762474 HAS SOPS 762474 HAS SOUS 604247 HAS SOUPS 604247 WITH SCORE 605009.474
AT ITER 7474 NEW BEST:: SOT 4367049 SOS 762410 HAS SOPS 762410 HAS SOUS 604183 HAS SOUPS 604183 WITH SCORE 604945.41
AT ITER 7486 NEW BEST:: SOT 4367274 SOS 762860 HAS SOPS 762860 HAS SOUS 604093 HAS SOUPS 604093 WITH SCORE 604855.86
AT ITER 7505 NEW BEST:: SOT 4367216 SOS 762719 HAS SOPS 762719 HAS SOUS 603954 HAS SOUPS 603954 WITH SCORE 604716.719
AT ITER 7555 NEW BEST:: SOT 4367205 SOS 762697 HAS SOPS 762697 HAS SOUS 603932 HAS SOUPS 603932 WITH SCORE 604694.697
AT ITER 7597 NEW BEST:: SOT 4367007 SOS 762964 HAS SOPS 762964 HAS SOUS 603743 HAS SOUPS 603743 WITH SCORE 604505.964
AT ITER 7619 NEW BEST:: SOT 4366808 SOS 762566 HAS SOPS 762566 HAS SOUS 603438 HAS SOUPS 603438 WITH SCORE 604200.566
AT ITER 7624 NEW BEST:: SOT 4366708 SOS 762266 HAS SOPS 762266 HAS SOUS 603238 HAS SOUPS 603238 WITH SCORE 604000.266
AT ITER 7648 NEW BEST:: SOT 4366690 SOS 762230 HAS SOPS 762230 HAS SOUS 603202 HAS SOUPS 603202 WITH SCORE 603964.23
AT ITER 7650 NEW BEST:: SOT 4366634 SOS 762118 HAS SOPS 762118 HAS SOUS 603090 HAS SOUPS 603090 WITH SCORE 603852.118
AT ITER 7678 NEW BEST:: SOT 4366621 SOS 762092 HAS SOPS 762092 HAS SOUS 603064 HAS SOUPS 603064 WITH SCORE 603826.092
AT ITER 7700 NEW BEST:: SOT 4366586 SOS 762022 HAS SOPS 762022 HAS SOUS 602994 HAS SOUPS 602994 WITH SCORE 603756.022
AT ITER 7706 NEW BEST:: SOT 4366497 SOS 761933 HAS SOPS 761933 HAS SOUS 602905 HAS SOUPS 602905 WITH SCORE 603666.933
AT ITER 7729 NEW BEST:: SOT 4366187 SOS 761313 HAS SOPS 761313 HAS SOUS 602603 HAS SOUPS 602603 WITH SCORE 603364.313
AT ITER 7736 NEW BEST:: SOT 4366187 SOS 761300 HAS SOPS 761300 HAS SOUS 602590 HAS SOUPS 602590 WITH SCORE 603351.3
AT ITER 7770 NEW BEST:: SOT 4366100 SOS 760939 HAS SOPS 760939 HAS SOUS 602416 HAS SOUPS 602416 WITH SCORE 603176.939
AT ITER 7773 NEW BEST:: SOT 4366069 SOS 760676 HAS SOPS 760676 HAS SOUS 602184 HAS SOUPS 602184 WITH SCORE 602944.676
AT ITER 7803 NEW BEST:: SOT 4365937 SOS 760412 HAS SOPS 760412 HAS SOUS 601920 HAS SOUPS 601920 WITH SCORE 602680.412
AT ITER 7805 NEW BEST:: SOT 4365676 SOS 759890 HAS SOPS 759890 HAS SOUS 601620 HAS SOUPS 601620 WITH SCORE 602379.89
AT ITER 7823 NEW BEST:: SOT 4365684 SOS 759777 HAS SOPS 759777 HAS SOUS 601575 HAS SOUPS 601575 WITH SCORE 602334.777
AT ITER 7871 NEW BEST:: SOT 4365404 SOS 759217 HAS SOPS 759217 HAS SOUS 601015 HAS SOUPS 601015 WITH SCORE 601774.217
AT ITER 7895 NEW BEST:: SOT 4365341 SOS 759091 HAS SOPS 759091 HAS SOUS 600952 HAS SOUPS 600952 WITH SCORE 601711.091
AT ITER 7914 NEW BEST:: SOT 4365341 SOS 758971 HAS SOPS 758971 HAS SOUS 600952 HAS SOUPS 600952 WITH SCORE 601710.971
AT ITER 7938 NEW BEST:: SOT 4365314 SOS 758973 HAS SOPS 758973 HAS SOUS 600939 HAS SOUPS 600939 WITH SCORE 601697.973
AT ITER 7952 NEW BEST:: SOT 4365280 SOS 758905 HAS SOPS 758905 HAS SOUS 600871 HAS SOUPS 600871 WITH SCORE 601629.905
AT ITER 7959 NEW BEST:: SOT 4365277 SOS 758899 HAS SOPS 758899 HAS SOUS 600865 HAS SOUPS 600865 WITH SCORE 601623.899
AT ITER 7963 NEW BEST:: SOT 4365102 SOS 758754 HAS SOPS 758754 HAS SOUS 600690 HAS SOUPS 600690 WITH SCORE 601448.754
AT ITER 8022 NEW BEST:: SOT 4365094 SOS 758738 HAS SOPS 758738 HAS SOUS 600674 HAS SOUPS 600674 WITH SCORE 601432.738
AT ITER 8032 NEW BEST:: SOT 4364987 SOS 758298 HAS SOPS 758298 HAS SOUS 600423 HAS SOUPS 600423 WITH SCORE 601181.298
AT ITER 8047 NEW BEST:: SOT 4364967 SOS 758258 HAS SOPS 758258 HAS SOUS 600403 HAS SOUPS 600403 WITH SCORE 601161.258
AT ITER 8071 NEW BEST:: SOT 4364966 SOS 758256 HAS SOPS 758256 HAS SOUS 600401 HAS SOUPS 600401 WITH SCORE 601159.256
AT ITER 8094 NEW BEST:: SOT 4365019 SOS 758362 HAS SOPS 758362 HAS SOUS 600389 HAS SOUPS 600389 WITH SCORE 601147.362
AT ITER 8098 NEW BEST:: SOT 4364876 SOS 758076 HAS SOPS 758076 HAS SOUS 600103 HAS SOUPS 600103 WITH SCORE 600861.076
AT ITER 8135 NEW BEST:: SOT 4364259 SOS 757802 HAS SOPS 757802 HAS SOUS 599517 HAS SOUPS 599517 WITH SCORE 600274.802
AT ITER 8142 NEW BEST:: SOT 4364285 SOS 757798 HAS SOPS 757798 HAS SOUS 599515 HAS SOUPS 599515 WITH SCORE 600272.798
AT ITER 8205 NEW BEST:: SOT 4363996 SOS 757220 HAS SOPS 757220 HAS SOUS 599268 HAS SOUPS 599268 WITH SCORE 600025.22
AT ITER 8209 NEW BEST:: SOT 4363813 SOS 757160 HAS SOPS 757160 HAS SOUS 599119 HAS SOUPS 599119 WITH SCORE 599876.16
AT ITER 8213 NEW BEST:: SOT 4363813 SOS 756828 HAS SOPS 756828 HAS SOUS 598953 HAS SOUPS 598953 WITH SCORE 599709.828
AT ITER 8229 NEW BEST:: SOT 4362174 SOS 757415 HAS SOPS 757415 HAS SOUS 597405 HAS SOUPS 597405 WITH SCORE 598162.415
AT ITER 8252 NEW BEST:: SOT 4362087 SOS 756861 HAS SOPS 756861 HAS SOUS 597318 HAS SOUPS 597318 WITH SCORE 598074.861
AT ITER 8257 NEW BEST:: SOT 4361929 SOS 756545 HAS SOPS 756545 HAS SOUS 597160 HAS SOUPS 597160 WITH SCORE 597916.545
AT ITER 8295 NEW BEST:: SOT 4361952 SOS 756167 HAS SOPS 756167 HAS SOUS 597086 HAS SOUPS 597086 WITH SCORE 597842.167
AT ITER 8298 NEW BEST:: SOT 4361628 SOS 755519 HAS SOPS 755519 HAS SOUS 596618 HAS SOUPS 596618 WITH SCORE 597373.519
AT ITER 8299 NEW BEST:: SOT 4361639 SOS 755443 HAS SOPS 755443 HAS SOUS 596593 HAS SOUPS 596593 WITH SCORE 597348.443
AT ITER 8306 NEW BEST:: SOT 4361639 SOS 755187 HAS SOPS 755187 HAS SOUS 596465 HAS SOUPS 596465 WITH SCORE 597220.187
AT ITER 8316 NEW BEST:: SOT 4361544 SOS 755097 HAS SOPS 755097 HAS SOUS 596401 HAS SOUPS 596401 WITH SCORE 597156.097
AT ITER 8323 NEW BEST:: SOT 4361540 SOS 755168 HAS SOPS 755168 HAS SOUS 596393 HAS SOUPS 596393 WITH SCORE 597148.168
AT ITER 8331 NEW BEST:: SOT 4361480 SOS 756812 HAS SOPS 756812 HAS SOUS 596375 HAS SOUPS 596375 WITH SCORE 597131.812
AT ITER 8332 NEW BEST:: SOT 4361429 SOS 756710 HAS SOPS 756710 HAS SOUS 596345 HAS SOUPS 596345 WITH SCORE 597101.71
AT ITER 8342 NEW BEST:: SOT 4361429 SOS 756634 HAS SOPS 756634 HAS SOUS 596345 HAS SOUPS 596345 WITH SCORE 597101.634
AT ITER 8354 NEW BEST:: SOT 4361433 SOS 755976 HAS SOPS 755976 HAS SOUS 596137 HAS SOUPS 596137 WITH SCORE 596892.976
AT ITER 8418 NEW BEST:: SOT 4361357 SOS 755176 HAS SOPS 755176 HAS SOUS 595985 HAS SOUPS 595985 WITH SCORE 596740.176
AT ITER 8459 NEW BEST:: SOT 4361549 SOS 755388 HAS SOPS 755388 HAS SOUS 595768 HAS SOUPS 595768 WITH SCORE 596523.388
AT ITER 8462 NEW BEST:: SOT 4361548 SOS 755386 HAS SOPS 755386 HAS SOUS 595766 HAS SOUPS 595766 WITH SCORE 596521.386
AT ITER 8479 NEW BEST:: SOT 4361422 SOS 755008 HAS SOPS 755008 HAS SOUS 595514 HAS SOUPS 595514 WITH SCORE 596269.008
AT ITER 8486 NEW BEST:: SOT 4361207 SOS 754793 HAS SOPS 754793 HAS SOUS 595299 HAS SOUPS 595299 WITH SCORE 596053.793
AT ITER 8516 NEW BEST:: SOT 4361224 SOS 754735 HAS SOPS 754735 HAS SOUS 595241 HAS SOUPS 595241 WITH SCORE 595995.735
AT ITER 8517 NEW BEST:: SOT 4361162 SOS 754735 HAS SOPS 754735 HAS SOUS 595210 HAS SOUPS 595210 WITH SCORE 595964.735
AT ITER 8558 NEW BEST:: SOT 4360934 SOS 754279 HAS SOPS 754279 HAS SOUS 594694 HAS SOUPS 594694 WITH SCORE 595448.279
AT ITER 8629 NEW BEST:: SOT 4360920 SOS 754251 HAS SOPS 754251 HAS SOUS 594666 HAS SOUPS 594666 WITH SCORE 595420.251
AT ITER 8633 NEW BEST:: SOT 4360865 SOS 754141 HAS SOPS 754141 HAS SOUS 594556 HAS SOUPS 594556 WITH SCORE 595310.141
AT ITER 8647 NEW BEST:: SOT 4360818 SOS 754047 HAS SOPS 754047 HAS SOUS 594462 HAS SOUPS 594462 WITH SCORE 595216.047
AT ITER 8651 NEW BEST:: SOT 4360720 SOS 753851 HAS SOPS 753851 HAS SOUS 594355 HAS SOUPS 594355 WITH SCORE 595108.851
AT ITER 8667 NEW BEST:: SOT 4360223 SOS 753205 HAS SOPS 753205 HAS SOUS 593858 HAS SOUPS 593858 WITH SCORE 594611.205
AT ITER 8696 NEW BEST:: SOT 4360211 SOS 753181 HAS SOPS 753181 HAS SOUS 593846 HAS SOUPS 593846 WITH SCORE 594599.181
AT ITER 8706 NEW BEST:: SOT 4360287 SOS 753153 HAS SOPS 753153 HAS SOUS 593819 HAS SOUPS 593819 WITH SCORE 594572.153
AT ITER 8730 NEW BEST:: SOT 4360287 SOS 753003 HAS SOPS 753003 HAS SOUS 593818 HAS SOUPS 593818 WITH SCORE 594571.003
AT ITER 8759 NEW BEST:: SOT 4360277 SOS 752910 HAS SOPS 752910 HAS SOUS 593753 HAS SOUPS 593753 WITH SCORE 594505.91
AT ITER 8761 NEW BEST:: SOT 4360256 SOS 752868 HAS SOPS 752868 HAS SOUS 593732 HAS SOUPS 593732 WITH SCORE 594484.868
AT ITER 8766 NEW BEST:: SOT 4360165 SOS 752686 HAS SOPS 752686 HAS SOUS 593550 HAS SOUPS 593550 WITH SCORE 594302.686
AT ITER 8782 NEW BEST:: SOT 4360210 SOS 752776 HAS SOPS 752776 HAS SOUS 593221 HAS SOUPS 593221 WITH SCORE 593973.776
AT ITER 8809 NEW BEST:: SOT 4360209 SOS 752532 HAS SOPS 752532 HAS SOUS 593219 HAS SOUPS 593219 WITH SCORE 593971.532
AT ITER 8810 NEW BEST:: SOT 4360127 SOS 752450 HAS SOPS 752450 HAS SOUS 593137 HAS SOUPS 593137 WITH SCORE 593889.45
AT ITER 8823 NEW BEST:: SOT 4360127 SOS 752430 HAS SOPS 752430 HAS SOUS 593117 HAS SOUPS 593117 WITH SCORE 593869.43
AT ITER 8830 NEW BEST:: SOT 4359964 SOS 752104 HAS SOPS 752104 HAS SOUS 592791 HAS SOUPS 592791 WITH SCORE 593543.104
AT ITER 8835 NEW BEST:: SOT 4359633 SOS 752152 HAS SOPS 752152 HAS SOUS 592540 HAS SOUPS 592540 WITH SCORE 593292.152
AT ITER 8843 NEW BEST:: SOT 4359612 SOS 752110 HAS SOPS 752110 HAS SOUS 592519 HAS SOUPS 592519 WITH SCORE 593271.11
AT ITER 8846 NEW BEST:: SOT 4359359 SOS 752194 HAS SOPS 752194 HAS SOUS 592085 HAS SOUPS 592085 WITH SCORE 592837.194
AT ITER 8862 NEW BEST:: SOT 4359359 SOS 752120 HAS SOPS 752120 HAS SOUS 592011 HAS SOUPS 592011 WITH SCORE 592763.12
AT ITER 8903 NEW BEST:: SOT 4359359 SOS 752120 HAS SOPS 752120 HAS SOUS 591975 HAS SOUPS 591975 WITH SCORE 592727.12
AT ITER 8939 NEW BEST:: SOT 4359242 SOS 751886 HAS SOPS 751886 HAS SOUS 591836 HAS SOUPS 591836 WITH SCORE 592587.886
AT ITER 8948 NEW BEST:: SOT 4359010 SOS 753858 HAS SOPS 753858 HAS SOUS 591720 HAS SOUPS 591720 WITH SCORE 592473.858
AT ITER 8959 NEW BEST:: SOT 4358972 SOS 753782 HAS SOPS 753782 HAS SOUS 591630 HAS SOUPS 591630 WITH SCORE 592383.782
AT ITER 8960 NEW BEST:: SOT 4358903 SOS 753736 HAS SOPS 753736 HAS SOUS 591561 HAS SOUPS 591561 WITH SCORE 592314.736
AT ITER 8989 NEW BEST:: SOT 4358877 SOS 753710 HAS SOPS 753710 HAS SOUS 591535 HAS SOUPS 591535 WITH SCORE 592288.71
AT ITER 8994 NEW BEST:: SOT 4358794 SOS 753544 HAS SOPS 753544 HAS SOUS 591452 HAS SOUPS 591452 WITH SCORE 592205.544
AT ITER 9008 NEW BEST:: SOT 4358199 SOS 752618 HAS SOPS 752618 HAS SOUS 591075 HAS SOUPS 591075 WITH SCORE 591827.618
AT ITER 9040 NEW BEST:: SOT 4358149 SOS 752480 HAS SOPS 752480 HAS SOUS 590987 HAS SOUPS 590987 WITH SCORE 591739.48
AT ITER 9090 NEW BEST:: SOT 4358109 SOS 750641 HAS SOPS 750641 HAS SOUS 590823 HAS SOUPS 590823 WITH SCORE 591573.641
AT ITER 9094 NEW BEST:: SOT 4357970 SOS 750675 HAS SOPS 750675 HAS SOUS 590739 HAS SOUPS 590739 WITH SCORE 591489.675
AT ITER 9106 NEW BEST:: SOT 4357970 SOS 750675 HAS SOPS 750675 HAS SOUS 590733 HAS SOUPS 590733 WITH SCORE 591483.675
AT ITER 9118 NEW BEST:: SOT 4357935 SOS 750605 HAS SOPS 750605 HAS SOUS 590667 HAS SOUPS 590667 WITH SCORE 591417.605
AT ITER 9139 NEW BEST:: SOT 4357814 SOS 750363 HAS SOPS 750363 HAS SOUS 590546 HAS SOUPS 590546 WITH SCORE 591296.363
AT ITER 9164 NEW BEST:: SOT 4357621 SOS 716377 HAS SOPS 716377 HAS SOUS 589806 HAS SOUPS 589806 WITH SCORE 590522.377
AT ITER 9168 NEW BEST:: SOT 4357548 SOS 716304 HAS SOPS 716304 HAS SOUS 589775 HAS SOUPS 589775 WITH SCORE 590491.304
AT ITER 9196 NEW BEST:: SOT 4357496 SOS 716123 HAS SOPS 716123 HAS SOUS 589431 HAS SOUPS 589431 WITH SCORE 590147.123
AT ITER 9223 NEW BEST:: SOT 4357442 SOS 716015 HAS SOPS 716015 HAS SOUS 589323 HAS SOUPS 589323 WITH SCORE 590039.015
AT ITER 9225 NEW BEST:: SOT 4357184 SOS 715499 HAS SOPS 715499 HAS SOUS 589322 HAS SOUPS 589322 WITH SCORE 590037.499
AT ITER 9236 NEW BEST:: SOT 4356812 SOS 714755 HAS SOPS 714755 HAS SOUS 588950 HAS SOUPS 588950 WITH SCORE 589664.755
AT ITER 9238 NEW BEST:: SOT 4356848 SOS 714827 HAS SOPS 714827 HAS SOUS 588875 HAS SOUPS 588875 WITH SCORE 589589.827
AT ITER 9251 NEW BEST:: SOT 4356856 SOS 714779 HAS SOPS 714779 HAS SOUS 588851 HAS SOUPS 588851 WITH SCORE 589565.779
AT ITER 9253 NEW BEST:: SOT 4356797 SOS 714661 HAS SOPS 714661 HAS SOUS 588733 HAS SOUPS 588733 WITH SCORE 589447.661
AT ITER 9264 NEW BEST:: SOT 4356708 SOS 714613 HAS SOPS 714613 HAS SOUS 588670 HAS SOUPS 588670 WITH SCORE 589384.613
AT ITER 9298 NEW BEST:: SOT 4356641 SOS 714479 HAS SOPS 714479 HAS SOUS 588536 HAS SOUPS 588536 WITH SCORE 589250.479
AT ITER 9308 NEW BEST:: SOT 4356522 SOS 714372 HAS SOPS 714372 HAS SOUS 588490 HAS SOUPS 588490 WITH SCORE 589204.372
AT ITER 9344 NEW BEST:: SOT 4356345 SOS 713711 HAS SOPS 713711 HAS SOUS 588098 HAS SOUPS 588098 WITH SCORE 588811.711
AT ITER 9363 NEW BEST:: SOT 4356277 SOS 713956 HAS SOPS 713956 HAS SOUS 588087 HAS SOUPS 588087 WITH SCORE 588800.956
AT ITER 9427 NEW BEST:: SOT 4356217 SOS 713872 HAS SOPS 713872 HAS SOUS 588003 HAS SOUPS 588003 WITH SCORE 588716.872
AT ITER 9428 NEW BEST:: SOT 4356211 SOS 713866 HAS SOPS 713866 HAS SOUS 588002 HAS SOUPS 588002 WITH SCORE 588715.866
AT ITER 9439 NEW BEST:: SOT 4356054 SOS 713552 HAS SOPS 713552 HAS SOUS 587905 HAS SOUPS 587905 WITH SCORE 588618.552
AT ITER 9452 NEW BEST:: SOT 4355924 SOS 713292 HAS SOPS 713292 HAS SOUS 587645 HAS SOUPS 587645 WITH SCORE 588358.292
AT ITER 9482 NEW BEST:: SOT 4355892 SOS 713260 HAS SOPS 713260 HAS SOUS 587613 HAS SOUPS 587613 WITH SCORE 588326.26
AT ITER 9485 NEW BEST:: SOT 4355892 SOS 713260 HAS SOPS 713260 HAS SOUS 587612 HAS SOUPS 587612 WITH SCORE 588325.26
AT ITER 9513 NEW BEST:: SOT 4355607 SOS 712690 HAS SOPS 712690 HAS SOUS 587347 HAS SOUPS 587347 WITH SCORE 588059.69
AT ITER 9523 NEW BEST:: SOT 4355422 SOS 712505 HAS SOPS 712505 HAS SOUS 587162 HAS SOUPS 587162 WITH SCORE 587874.505
AT ITER 9536 NEW BEST:: SOT 4355576 SOS 712362 HAS SOPS 712362 HAS SOUS 587130 HAS SOUPS 587130 WITH SCORE 587842.362
AT ITER 9553 NEW BEST:: SOT 4355291 SOS 711792 HAS SOPS 711792 HAS SOUS 586845 HAS SOUPS 586845 WITH SCORE 587556.792
AT ITER 9564 NEW BEST:: SOT 4355291 SOS 711586 HAS SOPS 711586 HAS SOUS 586639 HAS SOUPS 586639 WITH SCORE 587350.586
AT ITER 9567 NEW BEST:: SOT 4355291 SOS 711586 HAS SOPS 711586 HAS SOUS 586627 HAS SOUPS 586627 WITH SCORE 587338.586
AT ITER 9597 NEW BEST:: SOT 4355642 SOS 711556 HAS SOPS 711556 HAS SOUS 586597 HAS SOUPS 586597 WITH SCORE 587308.556
AT ITER 9630 NEW BEST:: SOT 4355600 SOS 711472 HAS SOPS 711472 HAS SOUS 586514 HAS SOUPS 586514 WITH SCORE 587225.472
AT ITER 9639 NEW BEST:: SOT 4355600 SOS 711472 HAS SOPS 711472 HAS SOUS 586380 HAS SOUPS 586380 WITH SCORE 587091.472
AT ITER 9680 NEW BEST:: SOT 4355465 SOS 711202 HAS SOPS 711202 HAS SOUS 586245 HAS SOUPS 586245 WITH SCORE 586956.202
AT ITER 9681 NEW BEST:: SOT 4355454 SOS 711180 HAS SOPS 711180 HAS SOUS 586223 HAS SOUPS 586223 WITH SCORE 586934.18
AT ITER 9689 NEW BEST:: SOT 4355430 SOS 711132 HAS SOPS 711132 HAS SOUS 586180 HAS SOUPS 586180 WITH SCORE 586891.132
AT ITER 9724 NEW BEST:: SOT 4355374 SOS 711020 HAS SOPS 711020 HAS SOUS 586135 HAS SOUPS 586135 WITH SCORE 586846.02
AT ITER 9754 NEW BEST:: SOT 4355312 SOS 710958 HAS SOPS 710958 HAS SOUS 586073 HAS SOUPS 586073 WITH SCORE 586783.958
AT ITER 9759 NEW BEST:: SOT 4355312 SOS 710724 HAS SOPS 710724 HAS SOUS 586073 HAS SOUPS 586073 WITH SCORE 586783.724
AT ITER 9792 NEW BEST:: SOT 4355311 SOS 710723 HAS SOPS 710723 HAS SOUS 586072 HAS SOUPS 586072 WITH SCORE 586782.723
AT ITER 9793 NEW BEST:: SOT 4355230 SOS 710561 HAS SOPS 710561 HAS SOUS 586033 HAS SOUPS 586033 WITH SCORE 586743.561
AT ITER 9816 NEW BEST:: SOT 4355166 SOS 710433 HAS SOPS 710433 HAS SOUS 585905 HAS SOUPS 585905 WITH SCORE 586615.433
AT ITER 9837 NEW BEST:: SOT 4355166 SOS 710200 HAS SOPS 710200 HAS SOUS 585672 HAS SOUPS 585672 WITH SCORE 586382.2
AT ITER 9843 NEW BEST:: SOT 4355191 SOS 710250 HAS SOPS 710250 HAS SOUS 585477 HAS SOUPS 585477 WITH SCORE 586187.25
AT ITER 9847 NEW BEST:: SOT 4355190 SOS 710248 HAS SOPS 710248 HAS SOUS 585475 HAS SOUPS 585475 WITH SCORE 586185.248
AT ITER 9849 NEW BEST:: SOT 4355194 SOS 710094 HAS SOPS 710094 HAS SOUS 585402 HAS SOUPS 585402 WITH SCORE 586112.094
AT ITER 9863 NEW BEST:: SOT 4355154 SOS 710014 HAS SOPS 710014 HAS SOUS 585322 HAS SOUPS 585322 WITH SCORE 586032.014
AT ITER 9864 NEW BEST:: SOT 4355114 SOS 709934 HAS SOPS 709934 HAS SOUS 585282 HAS SOUPS 585282 WITH SCORE 585991.934
AT ITER 9908 NEW BEST:: SOT 4355114 SOS 709919 HAS SOPS 709919 HAS SOUS 585282 HAS SOUPS 585282 WITH SCORE 585991.919
AT ITER 9957 NEW BEST:: SOT 4355094 SOS 709879 HAS SOPS 709879 HAS SOUS 585242 HAS SOUPS 585242 WITH SCORE 585951.879
AT ITER 9985 NEW BEST:: SOT 4354920 SOS 709531 HAS SOPS 709531 HAS SOUS 584894 HAS SOUPS 584894 WITH SCORE 585603.531

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-315"
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-315, 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-158902541700120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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