fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100097
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.830 3600000.00 3599998.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 '/data/fkordon/mcc2020-input.r003-smll-158897508100097.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100097
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 921K 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 1589040975764

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

Filename model.pnml
Petri model created: 2826 places, 3513 transitions, 10709 arcs.
AT ITER 0 NEW BEST:: SOT 5379484 SOS 1142306 HAS SOPS 1142306 HAS SOUS 917313 HAS SOUPS 917313 WITH SCORE 918455.306
AT ITER 2 NEW BEST:: SOT 5379316 SOS 1142172 HAS SOPS 1142172 HAS SOUS 917179 HAS SOUPS 917179 WITH SCORE 918321.172
AT ITER 6 NEW BEST:: SOT 5379107 SOS 1141963 HAS SOPS 1141963 HAS SOUS 916970 HAS SOUPS 916970 WITH SCORE 918111.963
AT ITER 54 NEW BEST:: SOT 5377942 SOS 1144154 HAS SOPS 1144154 HAS SOUS 916458 HAS SOUPS 916458 WITH SCORE 917602.154
AT ITER 64 NEW BEST:: SOT 5377939 SOS 1144075 HAS SOPS 1144075 HAS SOUS 916452 HAS SOUPS 916452 WITH SCORE 917596.075
AT ITER 78 NEW BEST:: SOT 5378417 SOS 1147812 HAS SOPS 1147812 HAS SOUS 915585 HAS SOUPS 915585 WITH SCORE 916732.812
AT ITER 83 NEW BEST:: SOT 5378321 SOS 1147620 HAS SOPS 1147620 HAS SOUS 915393 HAS SOUPS 915393 WITH SCORE 916540.62
AT ITER 95 NEW BEST:: SOT 5376047 SOS 1147253 HAS SOPS 1147253 HAS SOUS 913446 HAS SOUPS 913446 WITH SCORE 914593.253
AT ITER 98 NEW BEST:: SOT 5374660 SOS 1147724 HAS SOPS 1147724 HAS SOUS 912567 HAS SOUPS 912567 WITH SCORE 913714.724
AT ITER 106 NEW BEST:: SOT 5374660 SOS 1147633 HAS SOPS 1147633 HAS SOUS 912567 HAS SOUPS 912567 WITH SCORE 913714.633
AT ITER 110 NEW BEST:: SOT 5374618 SOS 1147549 HAS SOPS 1147549 HAS SOUS 912524 HAS SOUPS 912524 WITH SCORE 913671.549
AT ITER 114 NEW BEST:: SOT 5374618 SOS 1147321 HAS SOPS 1147321 HAS SOUS 912523 HAS SOUPS 912523 WITH SCORE 913670.321
AT ITER 120 NEW BEST:: SOT 5374550 SOS 1147184 HAS SOPS 1147184 HAS SOUS 912386 HAS SOUPS 912386 WITH SCORE 913533.184
AT ITER 124 NEW BEST:: SOT 5374537 SOS 1146934 HAS SOPS 1146934 HAS SOUS 912136 HAS SOUPS 912136 WITH SCORE 913282.934
AT ITER 130 NEW BEST:: SOT 5374537 SOS 1146824 HAS SOPS 1146824 HAS SOUS 912135 HAS SOUPS 912135 WITH SCORE 913281.824
AT ITER 135 NEW BEST:: SOT 5374537 SOS 1146820 HAS SOPS 1146820 HAS SOUS 912131 HAS SOUPS 912131 WITH SCORE 913277.82
AT ITER 192 NEW BEST:: SOT 5374175 SOS 1146441 HAS SOPS 1146441 HAS SOUS 911738 HAS SOUPS 911738 WITH SCORE 912884.441
AT ITER 247 NEW BEST:: SOT 5373136 SOS 1146644 HAS SOPS 1146644 HAS SOUS 911017 HAS SOUPS 911017 WITH SCORE 912163.644
AT ITER 249 NEW BEST:: SOT 5372951 SOS 1146453 HAS SOPS 1146453 HAS SOUS 910826 HAS SOUPS 910826 WITH SCORE 911972.453
AT ITER 308 NEW BEST:: SOT 5372951 SOS 1146452 HAS SOPS 1146452 HAS SOUS 910825 HAS SOUPS 910825 WITH SCORE 911971.452
AT ITER 309 NEW BEST:: SOT 5372951 SOS 1146384 HAS SOPS 1146384 HAS SOUS 910825 HAS SOUPS 910825 WITH SCORE 911971.384
AT ITER 311 NEW BEST:: SOT 5372951 SOS 1146141 HAS SOPS 1146141 HAS SOUS 910582 HAS SOUPS 910582 WITH SCORE 911728.141
AT ITER 337 NEW BEST:: SOT 5369210 SOS 1142589 HAS SOPS 1142589 HAS SOUS 910436 HAS SOUPS 910436 WITH SCORE 911578.589
AT ITER 379 NEW BEST:: SOT 5369071 SOS 1142468 HAS SOPS 1142468 HAS SOUS 910402 HAS SOUPS 910402 WITH SCORE 911544.468
AT ITER 383 NEW BEST:: SOT 5369065 SOS 1142212 HAS SOPS 1142212 HAS SOUS 910396 HAS SOUPS 910396 WITH SCORE 911538.212
AT ITER 405 NEW BEST:: SOT 5368966 SOS 1142109 HAS SOPS 1142109 HAS SOUS 910296 HAS SOUPS 910296 WITH SCORE 911438.109
AT ITER 437 NEW BEST:: SOT 5368688 SOS 1141352 HAS SOPS 1141352 HAS SOUS 909731 HAS SOUPS 909731 WITH SCORE 910872.352
AT ITER 443 NEW BEST:: SOT 5368688 SOS 1141351 HAS SOPS 1141351 HAS SOUS 909730 HAS SOUPS 909730 WITH SCORE 910871.351
AT ITER 477 NEW BEST:: SOT 5368687 SOS 1141100 HAS SOPS 1141100 HAS SOUS 909727 HAS SOUPS 909727 WITH SCORE 910868.1
AT ITER 481 NEW BEST:: SOT 5368651 SOS 1141343 HAS SOPS 1141343 HAS SOUS 909627 HAS SOUPS 909627 WITH SCORE 910768.343
AT ITER 508 NEW BEST:: SOT 5368478 SOS 1141757 HAS SOPS 1141757 HAS SOUS 909454 HAS SOUPS 909454 WITH SCORE 910595.757
AT ITER 529 NEW BEST:: SOT 5368412 SOS 1141691 HAS SOPS 1141691 HAS SOUS 908860 HAS SOUPS 908860 WITH SCORE 910001.691
AT ITER 551 NEW BEST:: SOT 5368412 SOS 1141687 HAS SOPS 1141687 HAS SOUS 908856 HAS SOUPS 908856 WITH SCORE 909997.687
AT ITER 555 NEW BEST:: SOT 5368309 SOS 1141590 HAS SOPS 1141590 HAS SOUS 908758 HAS SOUPS 908758 WITH SCORE 909899.59
AT ITER 565 NEW BEST:: SOT 5367978 SOS 1141535 HAS SOPS 1141535 HAS SOUS 908426 HAS SOUPS 908426 WITH SCORE 909567.535
AT ITER 582 NEW BEST:: SOT 5367878 SOS 1141335 HAS SOPS 1141335 HAS SOUS 908129 HAS SOUPS 908129 WITH SCORE 909270.335
AT ITER 599 NEW BEST:: SOT 5367878 SOS 1141076 HAS SOPS 1141076 HAS SOUS 908129 HAS SOUPS 908129 WITH SCORE 909270.076
AT ITER 620 NEW BEST:: SOT 5367878 SOS 1141050 HAS SOPS 1141050 HAS SOUS 908103 HAS SOUPS 908103 WITH SCORE 909244.05
AT ITER 630 NEW BEST:: SOT 5367676 SOS 1140846 HAS SOPS 1140846 HAS SOUS 907898 HAS SOUPS 907898 WITH SCORE 909038.846
AT ITER 647 NEW BEST:: SOT 5367634 SOS 1140762 HAS SOPS 1140762 HAS SOUS 907814 HAS SOUPS 907814 WITH SCORE 908954.762
AT ITER 651 NEW BEST:: SOT 5367386 SOS 1140704 HAS SOPS 1140704 HAS SOUS 907751 HAS SOUPS 907751 WITH SCORE 908891.704
AT ITER 652 NEW BEST:: SOT 5367297 SOS 1140388 HAS SOPS 1140388 HAS SOUS 907682 HAS SOUPS 907682 WITH SCORE 908822.388
AT ITER 712 NEW BEST:: SOT 5367048 SOS 1140139 HAS SOPS 1140139 HAS SOUS 907426 HAS SOUPS 907426 WITH SCORE 908566.139
AT ITER 732 NEW BEST:: SOT 5366232 SOS 1138099 HAS SOPS 1138099 HAS SOUS 906406 HAS SOUPS 906406 WITH SCORE 907544.099
AT ITER 739 NEW BEST:: SOT 5366135 SOS 1137795 HAS SOPS 1137795 HAS SOUS 906391 HAS SOUPS 906391 WITH SCORE 907528.795
AT ITER 765 NEW BEST:: SOT 5366013 SOS 1138649 HAS SOPS 1138649 HAS SOUS 906147 HAS SOUPS 906147 WITH SCORE 907285.649
AT ITER 781 NEW BEST:: SOT 5365988 SOS 1138624 HAS SOPS 1138624 HAS SOUS 906122 HAS SOUPS 906122 WITH SCORE 907260.624
AT ITER 797 NEW BEST:: SOT 5365755 SOS 1139868 HAS SOPS 1139868 HAS SOUS 905630 HAS SOUPS 905630 WITH SCORE 906769.868
AT ITER 804 NEW BEST:: SOT 5365639 SOS 1139802 HAS SOPS 1139802 HAS SOUS 905481 HAS SOUPS 905481 WITH SCORE 906620.802
AT ITER 830 NEW BEST:: SOT 5365639 SOS 1139646 HAS SOPS 1139646 HAS SOUS 905481 HAS SOUPS 905481 WITH SCORE 906620.646
AT ITER 835 NEW BEST:: SOT 5365458 SOS 1139467 HAS SOPS 1139467 HAS SOUS 905302 HAS SOUPS 905302 WITH SCORE 906441.467
AT ITER 854 NEW BEST:: SOT 5365319 SOS 1139189 HAS SOPS 1139189 HAS SOUS 905024 HAS SOUPS 905024 WITH SCORE 906163.189
AT ITER 862 NEW BEST:: SOT 5365227 SOS 1138896 HAS SOPS 1138896 HAS SOUS 904862 HAS SOUPS 904862 WITH SCORE 906000.896
AT ITER 863 NEW BEST:: SOT 5364219 SOS 1139224 HAS SOPS 1139224 HAS SOUS 904452 HAS SOUPS 904452 WITH SCORE 905591.224
AT ITER 871 NEW BEST:: SOT 5364050 SOS 1139054 HAS SOPS 1139054 HAS SOUS 904113 HAS SOUPS 904113 WITH SCORE 905252.054
AT ITER 878 NEW BEST:: SOT 5364050 SOS 1139050 HAS SOPS 1139050 HAS SOUS 904109 HAS SOUPS 904109 WITH SCORE 905248.05
AT ITER 954 NEW BEST:: SOT 5363441 SOS 1138651 HAS SOPS 1138651 HAS SOUS 903709 HAS SOUPS 903709 WITH SCORE 904847.651
AT ITER 968 NEW BEST:: SOT 5363441 SOS 1138590 HAS SOPS 1138590 HAS SOUS 903708 HAS SOUPS 903708 WITH SCORE 904846.59
AT ITER 976 NEW BEST:: SOT 5363441 SOS 1138586 HAS SOPS 1138586 HAS SOUS 903704 HAS SOUPS 903704 WITH SCORE 904842.586
AT ITER 995 NEW BEST:: SOT 5363145 SOS 1138290 HAS SOPS 1138290 HAS SOUS 903408 HAS SOUPS 903408 WITH SCORE 904546.29
AT ITER 1001 NEW BEST:: SOT 5363145 SOS 1138289 HAS SOPS 1138289 HAS SOUS 903407 HAS SOUPS 903407 WITH SCORE 904545.289
AT ITER 1024 NEW BEST:: SOT 5363105 SOS 1137883 HAS SOPS 1137883 HAS SOUS 903326 HAS SOUPS 903326 WITH SCORE 904463.883
AT ITER 1037 NEW BEST:: SOT 5362235 SOS 1141466 HAS SOPS 1141466 HAS SOUS 903093 HAS SOUPS 903093 WITH SCORE 904234.466
AT ITER 1043 NEW BEST:: SOT 5362235 SOS 1141452 HAS SOPS 1141452 HAS SOUS 903079 HAS SOUPS 903079 WITH SCORE 904220.452
AT ITER 1052 NEW BEST:: SOT 5362235 SOS 1141444 HAS SOPS 1141444 HAS SOUS 903071 HAS SOUPS 903071 WITH SCORE 904212.444
AT ITER 1061 NEW BEST:: SOT 5362153 SOS 1141034 HAS SOPS 1141034 HAS SOUS 902923 HAS SOUPS 902923 WITH SCORE 904064.034
AT ITER 1065 NEW BEST:: SOT 5362153 SOS 1140995 HAS SOPS 1140995 HAS SOUS 902884 HAS SOUPS 902884 WITH SCORE 904024.995
AT ITER 1100 NEW BEST:: SOT 5362069 SOS 1139317 HAS SOPS 1139317 HAS SOUS 902652 HAS SOUPS 902652 WITH SCORE 903791.317
AT ITER 1108 NEW BEST:: SOT 5361884 SOS 1138568 HAS SOPS 1138568 HAS SOUS 902245 HAS SOUPS 902245 WITH SCORE 903383.568
AT ITER 1130 NEW BEST:: SOT 5361884 SOS 1138315 HAS SOPS 1138315 HAS SOUS 902245 HAS SOUPS 902245 WITH SCORE 903383.315
AT ITER 1134 NEW BEST:: SOT 5362441 SOS 1139607 HAS SOPS 1139607 HAS SOUS 900417 HAS SOUPS 900417 WITH SCORE 901556.607
AT ITER 1144 NEW BEST:: SOT 5362237 SOS 1138995 HAS SOPS 1138995 HAS SOUS 900008 HAS SOUPS 900008 WITH SCORE 901146.995
AT ITER 1194 NEW BEST:: SOT 5362237 SOS 1138994 HAS SOPS 1138994 HAS SOUS 900007 HAS SOUPS 900007 WITH SCORE 901145.994
AT ITER 1204 NEW BEST:: SOT 5362302 SOS 1138953 HAS SOPS 1138953 HAS SOUS 899966 HAS SOUPS 899966 WITH SCORE 901104.953
AT ITER 1255 NEW BEST:: SOT 5362142 SOS 1138793 HAS SOPS 1138793 HAS SOUS 899800 HAS SOUPS 899800 WITH SCORE 900938.793
AT ITER 1281 NEW BEST:: SOT 5362142 SOS 1138791 HAS SOPS 1138791 HAS SOUS 899798 HAS SOUPS 899798 WITH SCORE 900936.791
AT ITER 1282 NEW BEST:: SOT 5362142 SOS 1138783 HAS SOPS 1138783 HAS SOUS 899790 HAS SOUPS 899790 WITH SCORE 900928.783
AT ITER 1301 NEW BEST:: SOT 5361733 SOS 1138386 HAS SOPS 1138386 HAS SOUS 899391 HAS SOUPS 899391 WITH SCORE 900529.386
AT ITER 1314 NEW BEST:: SOT 5361584 SOS 1138237 HAS SOPS 1138237 HAS SOUS 899242 HAS SOUPS 899242 WITH SCORE 900380.237
AT ITER 1315 NEW BEST:: SOT 5361570 SOS 1138223 HAS SOPS 1138223 HAS SOUS 899228 HAS SOUPS 899228 WITH SCORE 900366.223
AT ITER 1335 NEW BEST:: SOT 5361262 SOS 1137915 HAS SOPS 1137915 HAS SOUS 898919 HAS SOUPS 898919 WITH SCORE 900056.915
AT ITER 1338 NEW BEST:: SOT 5361085 SOS 1137710 HAS SOPS 1137710 HAS SOUS 898742 HAS SOUPS 898742 WITH SCORE 899879.71
AT ITER 1393 NEW BEST:: SOT 5360973 SOS 1137484 HAS SOPS 1137484 HAS SOUS 898516 HAS SOUPS 898516 WITH SCORE 899653.484
AT ITER 1412 NEW BEST:: SOT 5360703 SOS 1139368 HAS SOPS 1139368 HAS SOUS 898240 HAS SOUPS 898240 WITH SCORE 899379.368
AT ITER 1414 NEW BEST:: SOT 5360553 SOS 1139205 HAS SOPS 1139205 HAS SOUS 898077 HAS SOUPS 898077 WITH SCORE 899216.205
AT ITER 1439 NEW BEST:: SOT 5360382 SOS 1139019 HAS SOPS 1139019 HAS SOUS 897943 HAS SOUPS 897943 WITH SCORE 899082.019
AT ITER 1468 NEW BEST:: SOT 5360382 SOS 1139017 HAS SOPS 1139017 HAS SOUS 897941 HAS SOUPS 897941 WITH SCORE 899080.017
AT ITER 1485 NEW BEST:: SOT 5360141 SOS 1138531 HAS SOPS 1138531 HAS SOUS 897455 HAS SOUPS 897455 WITH SCORE 898593.531
AT ITER 1491 NEW BEST:: SOT 5359398 SOS 1140871 HAS SOPS 1140871 HAS SOUS 897349 HAS SOUPS 897349 WITH SCORE 898489.871
AT ITER 1589 NEW BEST:: SOT 5359398 SOS 1140812 HAS SOPS 1140812 HAS SOUS 897290 HAS SOUPS 897290 WITH SCORE 898430.812
AT ITER 1634 NEW BEST:: SOT 5359208 SOS 1139862 HAS SOPS 1139862 HAS SOUS 896909 HAS SOUPS 896909 WITH SCORE 898048.862
AT ITER 1636 NEW BEST:: SOT 5359007 SOS 1139646 HAS SOPS 1139646 HAS SOUS 896693 HAS SOUPS 896693 WITH SCORE 897832.646
AT ITER 1677 NEW BEST:: SOT 5358867 SOS 1139555 HAS SOPS 1139555 HAS SOUS 896596 HAS SOUPS 896596 WITH SCORE 897735.555
AT ITER 1680 NEW BEST:: SOT 5358867 SOS 1139531 HAS SOPS 1139531 HAS SOUS 896595 HAS SOUPS 896595 WITH SCORE 897734.531
AT ITER 1685 NEW BEST:: SOT 5358808 SOS 1138779 HAS SOPS 1138779 HAS SOUS 896515 HAS SOUPS 896515 WITH SCORE 897653.779
AT ITER 1692 NEW BEST:: SOT 5358673 SOS 1138503 HAS SOPS 1138503 HAS SOUS 896239 HAS SOUPS 896239 WITH SCORE 897377.503
AT ITER 1710 NEW BEST:: SOT 5358416 SOS 1137989 HAS SOPS 1137989 HAS SOUS 895824 HAS SOUPS 895824 WITH SCORE 896961.989
AT ITER 1728 NEW BEST:: SOT 5358415 SOS 1137255 HAS SOPS 1137255 HAS SOUS 895778 HAS SOUPS 895778 WITH SCORE 896915.255
AT ITER 1775 NEW BEST:: SOT 5357827 SOS 1138026 HAS SOPS 1138026 HAS SOUS 895570 HAS SOUPS 895570 WITH SCORE 896708.026
AT ITER 1784 NEW BEST:: SOT 5357503 SOS 1137650 HAS SOPS 1137650 HAS SOUS 895194 HAS SOUPS 895194 WITH SCORE 896331.65
AT ITER 1795 NEW BEST:: SOT 5357399 SOS 1137336 HAS SOPS 1137336 HAS SOUS 894983 HAS SOUPS 894983 WITH SCORE 896120.336
AT ITER 1799 NEW BEST:: SOT 5357078 SOS 1137015 HAS SOPS 1137015 HAS SOUS 894341 HAS SOUPS 894341 WITH SCORE 895478.015
AT ITER 1804 NEW BEST:: SOT 5356963 SOS 1136775 HAS SOPS 1136775 HAS SOUS 894101 HAS SOUPS 894101 WITH SCORE 895237.775
AT ITER 1824 NEW BEST:: SOT 5356771 SOS 1135047 HAS SOPS 1135047 HAS SOUS 893717 HAS SOUPS 893717 WITH SCORE 894852.047
AT ITER 1846 NEW BEST:: SOT 5356663 SOS 1135047 HAS SOPS 1135047 HAS SOUS 893501 HAS SOUPS 893501 WITH SCORE 894636.047
AT ITER 1855 NEW BEST:: SOT 5356663 SOS 1134988 HAS SOPS 1134988 HAS SOUS 893442 HAS SOUPS 893442 WITH SCORE 894576.988
AT ITER 1865 NEW BEST:: SOT 5356802 SOS 1134969 HAS SOPS 1134969 HAS SOUS 893423 HAS SOUPS 893423 WITH SCORE 894557.969
AT ITER 1876 NEW BEST:: SOT 5356620 SOS 1134787 HAS SOPS 1134787 HAS SOUS 893241 HAS SOUPS 893241 WITH SCORE 894375.787
AT ITER 1877 NEW BEST:: SOT 5358162 SOS 1136561 HAS SOPS 1136561 HAS SOUS 892009 HAS SOUPS 892009 WITH SCORE 893145.561
AT ITER 1878 NEW BEST:: SOT 5356717 SOS 1135606 HAS SOPS 1135606 HAS SOUS 890822 HAS SOUPS 890822 WITH SCORE 891957.606
AT ITER 1899 NEW BEST:: SOT 5356454 SOS 1135343 HAS SOPS 1135343 HAS SOUS 888455 HAS SOUPS 888455 WITH SCORE 889590.343
AT ITER 1901 NEW BEST:: SOT 5356276 SOS 1134809 HAS SOPS 1134809 HAS SOUS 888098 HAS SOUPS 888098 WITH SCORE 889232.809
AT ITER 1917 NEW BEST:: SOT 5356353 SOS 1134514 HAS SOPS 1134514 HAS SOUS 887803 HAS SOUPS 887803 WITH SCORE 888937.514
AT ITER 1918 NEW BEST:: SOT 5356353 SOS 1134513 HAS SOPS 1134513 HAS SOUS 887802 HAS SOUPS 887802 WITH SCORE 888936.513
AT ITER 1927 NEW BEST:: SOT 5356157 SOS 1134198 HAS SOPS 1134198 HAS SOUS 887682 HAS SOUPS 887682 WITH SCORE 888816.198
AT ITER 1937 NEW BEST:: SOT 5355813 SOS 1133804 HAS SOPS 1133804 HAS SOUS 887288 HAS SOUPS 887288 WITH SCORE 888421.804
AT ITER 1946 NEW BEST:: SOT 5355812 SOS 1133419 HAS SOPS 1133419 HAS SOUS 887286 HAS SOUPS 887286 WITH SCORE 888419.419
AT ITER 1954 NEW BEST:: SOT 5355812 SOS 1133294 HAS SOPS 1133294 HAS SOUS 887161 HAS SOUPS 887161 WITH SCORE 888294.294
AT ITER 1974 NEW BEST:: SOT 5355812 SOS 1133253 HAS SOPS 1133253 HAS SOUS 887120 HAS SOUPS 887120 WITH SCORE 888253.253
AT ITER 1981 NEW BEST:: SOT 5355439 SOS 1132762 HAS SOPS 1132762 HAS SOUS 886692 HAS SOUPS 886692 WITH SCORE 887824.762
AT ITER 2017 NEW BEST:: SOT 5355192 SOS 1132515 HAS SOPS 1132515 HAS SOUS 886445 HAS SOUPS 886445 WITH SCORE 887577.515
AT ITER 2035 NEW BEST:: SOT 5355171 SOS 1132471 HAS SOPS 1132471 HAS SOUS 886401 HAS SOUPS 886401 WITH SCORE 887533.471
AT ITER 2039 NEW BEST:: SOT 5355171 SOS 1132361 HAS SOPS 1132361 HAS SOUS 886291 HAS SOUPS 886291 WITH SCORE 887423.361
AT ITER 2042 NEW BEST:: SOT 5354627 SOS 1131843 HAS SOPS 1131843 HAS SOUS 886217 HAS SOUPS 886217 WITH SCORE 887348.843
AT ITER 2053 NEW BEST:: SOT 5354627 SOS 1131657 HAS SOPS 1131657 HAS SOUS 886031 HAS SOUPS 886031 WITH SCORE 887162.657
AT ITER 2070 NEW BEST:: SOT 5354223 SOS 1131029 HAS SOPS 1131029 HAS SOUS 885619 HAS SOUPS 885619 WITH SCORE 886750.029
AT ITER 2074 NEW BEST:: SOT 5354195 SOS 1131001 HAS SOPS 1131001 HAS SOUS 885591 HAS SOUPS 885591 WITH SCORE 886722.001
AT ITER 2118 NEW BEST:: SOT 5354131 SOS 1130841 HAS SOPS 1130841 HAS SOUS 885463 HAS SOUPS 885463 WITH SCORE 886593.841
AT ITER 2159 NEW BEST:: SOT 5354268 SOS 1129815 HAS SOPS 1129815 HAS SOUS 885361 HAS SOUPS 885361 WITH SCORE 886490.815
AT ITER 2169 NEW BEST:: SOT 5354133 SOS 1129679 HAS SOPS 1129679 HAS SOUS 885225 HAS SOUPS 885225 WITH SCORE 886354.679
AT ITER 2209 NEW BEST:: SOT 5354121 SOS 1129655 HAS SOPS 1129655 HAS SOUS 885201 HAS SOUPS 885201 WITH SCORE 886330.655
AT ITER 2253 NEW BEST:: SOT 5354000 SOS 1129534 HAS SOPS 1129534 HAS SOUS 885032 HAS SOUPS 885032 WITH SCORE 886161.534
AT ITER 2261 NEW BEST:: SOT 5354000 SOS 1129450 HAS SOPS 1129450 HAS SOUS 885032 HAS SOUPS 885032 WITH SCORE 886161.45
AT ITER 2287 NEW BEST:: SOT 5353833 SOS 1129217 HAS SOPS 1129217 HAS SOUS 884797 HAS SOUPS 884797 WITH SCORE 885926.217
AT ITER 2318 NEW BEST:: SOT 5353531 SOS 1128895 HAS SOPS 1128895 HAS SOUS 884440 HAS SOUPS 884440 WITH SCORE 885568.895
AT ITER 2323 NEW BEST:: SOT 5353530 SOS 1129303 HAS SOPS 1129303 HAS SOUS 884379 HAS SOUPS 884379 WITH SCORE 885508.303
AT ITER 2405 NEW BEST:: SOT 5352824 SOS 1129131 HAS SOPS 1129131 HAS SOUS 884041 HAS SOUPS 884041 WITH SCORE 885170.131
AT ITER 2409 NEW BEST:: SOT 5352698 SOS 1129042 HAS SOPS 1129042 HAS SOUS 883947 HAS SOUPS 883947 WITH SCORE 885076.042
AT ITER 2444 NEW BEST:: SOT 5350593 SOS 1131522 HAS SOPS 1131522 HAS SOUS 882725 HAS SOUPS 882725 WITH SCORE 883856.522
AT ITER 2454 NEW BEST:: SOT 5350494 SOS 1131324 HAS SOPS 1131324 HAS SOUS 882527 HAS SOUPS 882527 WITH SCORE 883658.324
AT ITER 2464 NEW BEST:: SOT 5350256 SOS 1131107 HAS SOPS 1131107 HAS SOUS 882457 HAS SOUPS 882457 WITH SCORE 883588.107
AT ITER 2465 NEW BEST:: SOT 5350165 SOS 1130780 HAS SOPS 1130780 HAS SOUS 882191 HAS SOUPS 882191 WITH SCORE 883321.78
AT ITER 2470 NEW BEST:: SOT 5350157 SOS 1130764 HAS SOPS 1130764 HAS SOUS 882175 HAS SOUPS 882175 WITH SCORE 883305.764
AT ITER 2471 NEW BEST:: SOT 5349825 SOS 1130474 HAS SOPS 1130474 HAS SOUS 881885 HAS SOUPS 881885 WITH SCORE 883015.474
AT ITER 2488 NEW BEST:: SOT 5349432 SOS 1130212 HAS SOPS 1130212 HAS SOUS 881623 HAS SOUPS 881623 WITH SCORE 882753.212
AT ITER 2491 NEW BEST:: SOT 5348337 SOS 1129100 HAS SOPS 1129100 HAS SOUS 881589 HAS SOUPS 881589 WITH SCORE 882718.1
AT ITER 2496 NEW BEST:: SOT 5348091 SOS 1128540 HAS SOPS 1128540 HAS SOUS 881095 HAS SOUPS 881095 WITH SCORE 882223.54
AT ITER 2497 NEW BEST:: SOT 5347727 SOS 1128435 HAS SOPS 1128435 HAS SOUS 880997 HAS SOUPS 880997 WITH SCORE 882125.435
AT ITER 2523 NEW BEST:: SOT 5347594 SOS 1128169 HAS SOPS 1128169 HAS SOUS 880864 HAS SOUPS 880864 WITH SCORE 881992.169
AT ITER 2530 NEW BEST:: SOT 5346600 SOS 1127848 HAS SOPS 1127848 HAS SOUS 879975 HAS SOUPS 879975 WITH SCORE 881102.848
AT ITER 2551 NEW BEST:: SOT 5346599 SOS 1127834 HAS SOPS 1127834 HAS SOUS 879961 HAS SOUPS 879961 WITH SCORE 881088.834
AT ITER 2580 NEW BEST:: SOT 5346614 SOS 1127806 HAS SOPS 1127806 HAS SOUS 879939 HAS SOUPS 879939 WITH SCORE 881066.806
AT ITER 2581 NEW BEST:: SOT 5346516 SOS 1127770 HAS SOPS 1127770 HAS SOUS 879924 HAS SOUPS 879924 WITH SCORE 881051.77
AT ITER 2582 NEW BEST:: SOT 5346288 SOS 1127638 HAS SOPS 1127638 HAS SOUS 879792 HAS SOUPS 879792 WITH SCORE 880919.638
AT ITER 2585 NEW BEST:: SOT 5346281 SOS 1127631 HAS SOPS 1127631 HAS SOUS 879778 HAS SOUPS 879778 WITH SCORE 880905.631
AT ITER 2593 NEW BEST:: SOT 5346280 SOS 1127888 HAS SOPS 1127888 HAS SOUS 879748 HAS SOUPS 879748 WITH SCORE 880875.888
AT ITER 2633 NEW BEST:: SOT 5346076 SOS 1127752 HAS SOPS 1127752 HAS SOUS 879612 HAS SOUPS 879612 WITH SCORE 880739.752
AT ITER 2639 NEW BEST:: SOT 5346027 SOS 1127654 HAS SOPS 1127654 HAS SOUS 879514 HAS SOUPS 879514 WITH SCORE 880641.654
AT ITER 2657 NEW BEST:: SOT 5346154 SOS 1127779 HAS SOPS 1127779 HAS SOUS 879510 HAS SOUPS 879510 WITH SCORE 880637.779
AT ITER 2663 NEW BEST:: SOT 5346059 SOS 1127676 HAS SOPS 1127676 HAS SOUS 879389 HAS SOUPS 879389 WITH SCORE 880516.676
AT ITER 2748 NEW BEST:: SOT 5344930 SOS 1126547 HAS SOPS 1126547 HAS SOUS 878260 HAS SOUPS 878260 WITH SCORE 879386.547
AT ITER 2848 NEW BEST:: SOT 5344930 SOS 1126169 HAS SOPS 1126169 HAS SOUS 878197 HAS SOUPS 878197 WITH SCORE 879323.169
AT ITER 2853 NEW BEST:: SOT 5344262 SOS 1125770 HAS SOPS 1125770 HAS SOUS 877810 HAS SOUPS 877810 WITH SCORE 878935.77
AT ITER 2862 NEW BEST:: SOT 5343995 SOS 1125503 HAS SOPS 1125503 HAS SOUS 877542 HAS SOUPS 877542 WITH SCORE 878667.503
AT ITER 2878 NEW BEST:: SOT 5343995 SOS 1125448 HAS SOPS 1125448 HAS SOUS 877487 HAS SOUPS 877487 WITH SCORE 878612.448
AT ITER 2881 NEW BEST:: SOT 5343782 SOS 1125413 HAS SOPS 1125413 HAS SOUS 877452 HAS SOUPS 877452 WITH SCORE 878577.413
AT ITER 2894 NEW BEST:: SOT 5343781 SOS 1125210 HAS SOPS 1125210 HAS SOUS 877450 HAS SOUPS 877450 WITH SCORE 878575.21
AT ITER 2912 NEW BEST:: SOT 5343732 SOS 1125529 HAS SOPS 1125529 HAS SOUS 877355 HAS SOUPS 877355 WITH SCORE 878480.529
AT ITER 2966 NEW BEST:: SOT 5343639 SOS 1125343 HAS SOPS 1125343 HAS SOUS 877169 HAS SOUPS 877169 WITH SCORE 878294.343
AT ITER 2975 NEW BEST:: SOT 5343461 SOS 1124987 HAS SOPS 1124987 HAS SOUS 876989 HAS SOUPS 876989 WITH SCORE 878113.987
AT ITER 2988 NEW BEST:: SOT 5343308 SOS 1124784 HAS SOPS 1124784 HAS SOUS 876626 HAS SOUPS 876626 WITH SCORE 877750.784
AT ITER 2992 NEW BEST:: SOT 5343307 SOS 1124671 HAS SOPS 1124671 HAS SOUS 876612 HAS SOUPS 876612 WITH SCORE 877736.671
AT ITER 3017 NEW BEST:: SOT 5343216 SOS 1124576 HAS SOPS 1124576 HAS SOUS 876426 HAS SOUPS 876426 WITH SCORE 877550.576
AT ITER 3019 NEW BEST:: SOT 5343123 SOS 1124472 HAS SOPS 1124472 HAS SOUS 876322 HAS SOUPS 876322 WITH SCORE 877446.472
AT ITER 3021 NEW BEST:: SOT 5343087 SOS 1124364 HAS SOPS 1124364 HAS SOUS 876250 HAS SOUPS 876250 WITH SCORE 877374.364
AT ITER 3034 NEW BEST:: SOT 5342872 SOS 1124149 HAS SOPS 1124149 HAS SOUS 876035 HAS SOUPS 876035 WITH SCORE 877159.149
AT ITER 3039 NEW BEST:: SOT 5341937 SOS 1125717 HAS SOPS 1125717 HAS SOUS 875873 HAS SOUPS 875873 WITH SCORE 876998.717
AT ITER 3048 NEW BEST:: SOT 5341761 SOS 1125541 HAS SOPS 1125541 HAS SOUS 875873 HAS SOUPS 875873 WITH SCORE 876998.541
AT ITER 3049 NEW BEST:: SOT 5341821 SOS 1125660 HAS SOPS 1125660 HAS SOUS 875749 HAS SOUPS 875749 WITH SCORE 876874.66
AT ITER 3056 NEW BEST:: SOT 5341744 SOS 1125583 HAS SOPS 1125583 HAS SOUS 875056 HAS SOUPS 875056 WITH SCORE 876181.583
AT ITER 3083 NEW BEST:: SOT 5339745 SOS 1127869 HAS SOPS 1127869 HAS SOUS 873602 HAS SOUPS 873602 WITH SCORE 874729.869
AT ITER 3086 NEW BEST:: SOT 5339718 SOS 1128228 HAS SOPS 1128228 HAS SOUS 873541 HAS SOUPS 873541 WITH SCORE 874669.228
AT ITER 3094 NEW BEST:: SOT 5339439 SOS 1127856 HAS SOPS 1127856 HAS SOUS 873262 HAS SOUPS 873262 WITH SCORE 874389.856
AT ITER 3104 NEW BEST:: SOT 5339019 SOS 1127464 HAS SOPS 1127464 HAS SOUS 873234 HAS SOUPS 873234 WITH SCORE 874361.464
AT ITER 3106 NEW BEST:: SOT 5339019 SOS 1127739 HAS SOPS 1127739 HAS SOUS 872573 HAS SOUPS 872573 WITH SCORE 873700.739
AT ITER 3112 NEW BEST:: SOT 5338676 SOS 1127053 HAS SOPS 1127053 HAS SOUS 871748 HAS SOUPS 871748 WITH SCORE 872875.053
AT ITER 3204 NEW BEST:: SOT 5338676 SOS 1127046 HAS SOPS 1127046 HAS SOUS 871614 HAS SOUPS 871614 WITH SCORE 872741.046
AT ITER 3208 NEW BEST:: SOT 5338486 SOS 1126856 HAS SOPS 1126856 HAS SOUS 871462 HAS SOUPS 871462 WITH SCORE 872588.856
AT ITER 3218 NEW BEST:: SOT 5338439 SOS 1126537 HAS SOPS 1126537 HAS SOUS 871417 HAS SOUPS 871417 WITH SCORE 872543.537
AT ITER 3232 NEW BEST:: SOT 5338439 SOS 1126348 HAS SOPS 1126348 HAS SOUS 871417 HAS SOUPS 871417 WITH SCORE 872543.348
AT ITER 3247 NEW BEST:: SOT 5338369 SOS 1126208 HAS SOPS 1126208 HAS SOUS 871277 HAS SOUPS 871277 WITH SCORE 872403.208
AT ITER 3266 NEW BEST:: SOT 5338286 SOS 1126042 HAS SOPS 1126042 HAS SOUS 871028 HAS SOUPS 871028 WITH SCORE 872154.042
AT ITER 3314 NEW BEST:: SOT 5338164 SOS 1125920 HAS SOPS 1125920 HAS SOUS 870784 HAS SOUPS 870784 WITH SCORE 871909.92
AT ITER 3334 NEW BEST:: SOT 5338050 SOS 1125692 HAS SOPS 1125692 HAS SOUS 870454 HAS SOUPS 870454 WITH SCORE 871579.692
AT ITER 3337 NEW BEST:: SOT 5337960 SOS 1125291 HAS SOPS 1125291 HAS SOUS 870265 HAS SOUPS 870265 WITH SCORE 871390.291
AT ITER 3340 NEW BEST:: SOT 5337960 SOS 1125177 HAS SOPS 1125177 HAS SOUS 870208 HAS SOUPS 870208 WITH SCORE 871333.177
AT ITER 3384 NEW BEST:: SOT 5338067 SOS 1125301 HAS SOPS 1125301 HAS SOUS 870104 HAS SOUPS 870104 WITH SCORE 871229.301
AT ITER 3385 NEW BEST:: SOT 5338067 SOS 1125179 HAS SOPS 1125179 HAS SOUS 869982 HAS SOUPS 869982 WITH SCORE 871107.179
AT ITER 3409 NEW BEST:: SOT 5336317 SOS 1123879 HAS SOPS 1123879 HAS SOUS 868386 HAS SOUPS 868386 WITH SCORE 869509.879
AT ITER 3415 NEW BEST:: SOT 5336187 SOS 1123438 HAS SOPS 1123438 HAS SOUS 868117 HAS SOUPS 868117 WITH SCORE 869240.438
AT ITER 3424 NEW BEST:: SOT 5336056 SOS 1123176 HAS SOPS 1123176 HAS SOUS 867985 HAS SOUPS 867985 WITH SCORE 869108.176
AT ITER 3440 NEW BEST:: SOT 5336028 SOS 1123120 HAS SOPS 1123120 HAS SOUS 867929 HAS SOUPS 867929 WITH SCORE 869052.12
AT ITER 3465 NEW BEST:: SOT 5336028 SOS 1123119 HAS SOPS 1123119 HAS SOUS 867928 HAS SOUPS 867928 WITH SCORE 869051.119
AT ITER 3469 NEW BEST:: SOT 5336028 SOS 1122761 HAS SOPS 1122761 HAS SOUS 867928 HAS SOUPS 867928 WITH SCORE 869050.761
AT ITER 3471 NEW BEST:: SOT 5336028 SOS 1122761 HAS SOPS 1122761 HAS SOUS 867927 HAS SOUPS 867927 WITH SCORE 869049.761
AT ITER 3487 NEW BEST:: SOT 5335626 SOS 1122797 HAS SOPS 1122797 HAS SOUS 867802 HAS SOUPS 867802 WITH SCORE 868924.797
AT ITER 3506 NEW BEST:: SOT 5335480 SOS 1122505 HAS SOPS 1122505 HAS SOUS 867510 HAS SOUPS 867510 WITH SCORE 868632.505
AT ITER 3515 NEW BEST:: SOT 5335164 SOS 1122158 HAS SOPS 1122158 HAS SOUS 866731 HAS SOUPS 866731 WITH SCORE 867853.158
AT ITER 3522 NEW BEST:: SOT 5335137 SOS 1122591 HAS SOPS 1122591 HAS SOUS 866681 HAS SOUPS 866681 WITH SCORE 867803.591
AT ITER 3525 NEW BEST:: SOT 5332703 SOS 1121099 HAS SOPS 1121099 HAS SOUS 864823 HAS SOUPS 864823 WITH SCORE 865944.099
AT ITER 3527 NEW BEST:: SOT 5332597 SOS 1120887 HAS SOPS 1120887 HAS SOUS 864710 HAS SOUPS 864710 WITH SCORE 865830.887
AT ITER 3529 NEW BEST:: SOT 5332667 SOS 1120709 HAS SOPS 1120709 HAS SOUS 864532 HAS SOUPS 864532 WITH SCORE 865652.709
AT ITER 3540 NEW BEST:: SOT 5332667 SOS 1120388 HAS SOPS 1120388 HAS SOUS 864532 HAS SOUPS 864532 WITH SCORE 865652.388
AT ITER 3554 NEW BEST:: SOT 5332407 SOS 1120148 HAS SOPS 1120148 HAS SOUS 864292 HAS SOUPS 864292 WITH SCORE 865412.148
AT ITER 3571 NEW BEST:: SOT 5332404 SOS 1120143 HAS SOPS 1120143 HAS SOUS 864286 HAS SOUPS 864286 WITH SCORE 865406.143
AT ITER 3580 NEW BEST:: SOT 5332319 SOS 1120139 HAS SOPS 1120139 HAS SOUS 864200 HAS SOUPS 864200 WITH SCORE 865320.139
AT ITER 3636 NEW BEST:: SOT 5332243 SOS 1119688 HAS SOPS 1119688 HAS SOUS 864058 HAS SOUPS 864058 WITH SCORE 865177.688
AT ITER 3686 NEW BEST:: SOT 5332243 SOS 1119855 HAS SOPS 1119855 HAS SOUS 864057 HAS SOUPS 864057 WITH SCORE 865176.855
AT ITER 3695 NEW BEST:: SOT 5332210 SOS 1119795 HAS SOPS 1119795 HAS SOUS 863998 HAS SOUPS 863998 WITH SCORE 865117.795
AT ITER 3716 NEW BEST:: SOT 5332134 SOS 1119668 HAS SOPS 1119668 HAS SOUS 863871 HAS SOUPS 863871 WITH SCORE 864990.668
AT ITER 3732 NEW BEST:: SOT 5331216 SOS 1118880 HAS SOPS 1118880 HAS SOUS 863083 HAS SOUPS 863083 WITH SCORE 864201.88
AT ITER 3770 NEW BEST:: SOT 5329747 SOS 1117256 HAS SOPS 1117256 HAS SOUS 861459 HAS SOUPS 861459 WITH SCORE 862576.256
AT ITER 3787 NEW BEST:: SOT 5329745 SOS 1117254 HAS SOPS 1117254 HAS SOUS 861457 HAS SOUPS 861457 WITH SCORE 862574.254
AT ITER 3800 NEW BEST:: SOT 5329455 SOS 1116902 HAS SOPS 1116902 HAS SOUS 860932 HAS SOUPS 860932 WITH SCORE 862048.902
AT ITER 3905 NEW BEST:: SOT 5329454 SOS 1116792 HAS SOPS 1116792 HAS SOUS 860822 HAS SOUPS 860822 WITH SCORE 861938.792
AT ITER 3921 NEW BEST:: SOT 5329305 SOS 1116801 HAS SOPS 1116801 HAS SOUS 860708 HAS SOUPS 860708 WITH SCORE 861824.801
AT ITER 3974 NEW BEST:: SOT 5329261 SOS 1116369 HAS SOPS 1116369 HAS SOUS 860664 HAS SOUPS 860664 WITH SCORE 861780.369
AT ITER 3976 NEW BEST:: SOT 5329036 SOS 1116335 HAS SOPS 1116335 HAS SOUS 860214 HAS SOUPS 860214 WITH SCORE 861330.335
AT ITER 3982 NEW BEST:: SOT 5328972 SOS 1116271 HAS SOPS 1116271 HAS SOUS 860150 HAS SOUPS 860150 WITH SCORE 861266.271
AT ITER 4002 NEW BEST:: SOT 5328165 SOS 1115570 HAS SOPS 1115570 HAS SOUS 859858 HAS SOUPS 859858 WITH SCORE 860973.57
AT ITER 4029 NEW BEST:: SOT 5328006 SOS 1114445 HAS SOPS 1114445 HAS SOUS 859540 HAS SOUPS 859540 WITH SCORE 860654.445
AT ITER 4041 NEW BEST:: SOT 5327913 SOS 1114259 HAS SOPS 1114259 HAS SOUS 859354 HAS SOUPS 859354 WITH SCORE 860468.259
AT ITER 4050 NEW BEST:: SOT 5327913 SOS 1114255 HAS SOPS 1114255 HAS SOUS 859350 HAS SOUPS 859350 WITH SCORE 860464.255
AT ITER 4101 NEW BEST:: SOT 5327878 SOS 1114185 HAS SOPS 1114185 HAS SOUS 859280 HAS SOUPS 859280 WITH SCORE 860394.185
AT ITER 4112 NEW BEST:: SOT 5327874 SOS 1114181 HAS SOPS 1114181 HAS SOUS 859276 HAS SOUPS 859276 WITH SCORE 860390.181
AT ITER 4142 NEW BEST:: SOT 5326901 SOS 1113208 HAS SOPS 1113208 HAS SOUS 859276 HAS SOUPS 859276 WITH SCORE 860389.208
AT ITER 4151 NEW BEST:: SOT 5326754 SOS 1113040 HAS SOPS 1113040 HAS SOUS 859108 HAS SOUPS 859108 WITH SCORE 860221.04
AT ITER 4180 NEW BEST:: SOT 5326663 SOS 1112665 HAS SOPS 1112665 HAS SOUS 858850 HAS SOUPS 858850 WITH SCORE 859962.665
AT ITER 4204 NEW BEST:: SOT 5326625 SOS 1112962 HAS SOPS 1112962 HAS SOUS 858774 HAS SOUPS 858774 WITH SCORE 859886.962
AT ITER 4214 NEW BEST:: SOT 5326091 SOS 1112190 HAS SOPS 1112190 HAS SOUS 857697 HAS SOUPS 857697 WITH SCORE 858809.19
AT ITER 4218 NEW BEST:: SOT 5326091 SOS 1112159 HAS SOPS 1112159 HAS SOUS 857666 HAS SOUPS 857666 WITH SCORE 858778.159
AT ITER 4223 NEW BEST:: SOT 5326091 SOS 1112067 HAS SOPS 1112067 HAS SOUS 857666 HAS SOUPS 857666 WITH SCORE 858778.067
AT ITER 4243 NEW BEST:: SOT 5325874 SOS 1111388 HAS SOPS 1111388 HAS SOUS 857395 HAS SOUPS 857395 WITH SCORE 858506.388
AT ITER 4269 NEW BEST:: SOT 5325874 SOS 1111388 HAS SOPS 1111388 HAS SOUS 857394 HAS SOUPS 857394 WITH SCORE 858505.388
AT ITER 4283 NEW BEST:: SOT 5325778 SOS 1111292 HAS SOPS 1111292 HAS SOUS 857202 HAS SOUPS 857202 WITH SCORE 858313.292
AT ITER 4291 NEW BEST:: SOT 5325704 SOS 1110626 HAS SOPS 1110626 HAS SOUS 857054 HAS SOUPS 857054 WITH SCORE 858164.626
AT ITER 4297 NEW BEST:: SOT 5325808 SOS 1110783 HAS SOPS 1110783 HAS SOUS 856721 HAS SOUPS 856721 WITH SCORE 857831.783
AT ITER 4315 NEW BEST:: SOT 5325767 SOS 1110700 HAS SOPS 1110700 HAS SOUS 856638 HAS SOUPS 856638 WITH SCORE 857748.7
AT ITER 4318 NEW BEST:: SOT 5325637 SOS 1110572 HAS SOPS 1110572 HAS SOUS 856510 HAS SOUPS 856510 WITH SCORE 857620.572
AT ITER 4329 NEW BEST:: SOT 5325455 SOS 1111328 HAS SOPS 1111328 HAS SOUS 856187 HAS SOUPS 856187 WITH SCORE 857298.328
AT ITER 4330 NEW BEST:: SOT 5325389 SOS 1110338 HAS SOPS 1110338 HAS SOUS 856037 HAS SOUPS 856037 WITH SCORE 857147.338
AT ITER 4347 NEW BEST:: SOT 5325214 SOS 1110337 HAS SOPS 1110337 HAS SOUS 856036 HAS SOUPS 856036 WITH SCORE 857146.337
AT ITER 4350 NEW BEST:: SOT 5325214 SOS 1110481 HAS SOPS 1110481 HAS SOUS 855854 HAS SOUPS 855854 WITH SCORE 856964.481
AT ITER 4384 NEW BEST:: SOT 5325050 SOS 1110038 HAS SOPS 1110038 HAS SOUS 855400 HAS SOUPS 855400 WITH SCORE 856510.038
AT ITER 4401 NEW BEST:: SOT 5325048 SOS 1110028 HAS SOPS 1110028 HAS SOUS 855388 HAS SOUPS 855388 WITH SCORE 856498.028
AT ITER 4405 NEW BEST:: SOT 5325047 SOS 1110026 HAS SOPS 1110026 HAS SOUS 855386 HAS SOUPS 855386 WITH SCORE 856496.026
AT ITER 4408 NEW BEST:: SOT 5324805 SOS 1109784 HAS SOPS 1109784 HAS SOUS 855135 HAS SOUPS 855135 WITH SCORE 856244.784
AT ITER 4446 NEW BEST:: SOT 5324619 SOS 1109421 HAS SOPS 1109421 HAS SOUS 854948 HAS SOUPS 854948 WITH SCORE 856057.421
AT ITER 4454 NEW BEST:: SOT 5324198 SOS 1109000 HAS SOPS 1109000 HAS SOUS 854526 HAS SOUPS 854526 WITH SCORE 855635.0
AT ITER 4503 NEW BEST:: SOT 5323884 SOS 1108961 HAS SOPS 1108961 HAS SOUS 853966 HAS SOUPS 853966 WITH SCORE 855074.961
AT ITER 4526 NEW BEST:: SOT 5323573 SOS 1108339 HAS SOPS 1108339 HAS SOUS 852612 HAS SOUPS 852612 WITH SCORE 853720.339
AT ITER 4531 NEW BEST:: SOT 5323573 SOS 1108133 HAS SOPS 1108133 HAS SOUS 852607 HAS SOUPS 852607 WITH SCORE 853715.133
AT ITER 4532 NEW BEST:: SOT 5323569 SOS 1108129 HAS SOPS 1108129 HAS SOUS 852603 HAS SOUPS 852603 WITH SCORE 853711.129
AT ITER 4560 NEW BEST:: SOT 5323569 SOS 1107981 HAS SOPS 1107981 HAS SOUS 852455 HAS SOUPS 852455 WITH SCORE 853562.981
AT ITER 4563 NEW BEST:: SOT 5323551 SOS 1107945 HAS SOPS 1107945 HAS SOUS 852419 HAS SOUPS 852419 WITH SCORE 853526.945
AT ITER 4594 NEW BEST:: SOT 5323235 SOS 1107694 HAS SOPS 1107694 HAS SOUS 851787 HAS SOUPS 851787 WITH SCORE 852894.694
AT ITER 4597 NEW BEST:: SOT 5323252 SOS 1109038 HAS SOPS 1109038 HAS SOUS 851777 HAS SOUPS 851777 WITH SCORE 852886.038
AT ITER 4598 NEW BEST:: SOT 5323252 SOS 1108900 HAS SOPS 1108900 HAS SOUS 851501 HAS SOUPS 851501 WITH SCORE 852609.9
AT ITER 4635 NEW BEST:: SOT 5323171 SOS 1108819 HAS SOPS 1108819 HAS SOUS 851418 HAS SOUPS 851418 WITH SCORE 852526.819
AT ITER 4643 NEW BEST:: SOT 5323171 SOS 1108806 HAS SOPS 1108806 HAS SOUS 851405 HAS SOUPS 851405 WITH SCORE 852513.806
AT ITER 4648 NEW BEST:: SOT 5323120 SOS 1108704 HAS SOPS 1108704 HAS SOUS 851303 HAS SOUPS 851303 WITH SCORE 852411.704
AT ITER 4654 NEW BEST:: SOT 5323036 SOS 1108086 HAS SOPS 1108086 HAS SOUS 851125 HAS SOUPS 851125 WITH SCORE 852233.086
AT ITER 4657 NEW BEST:: SOT 5322645 SOS 1107497 HAS SOPS 1107497 HAS SOUS 850343 HAS SOUPS 850343 WITH SCORE 851450.497
AT ITER 4667 NEW BEST:: SOT 5321709 SOS 1106893 HAS SOPS 1106893 HAS SOUS 849739 HAS SOUPS 849739 WITH SCORE 850845.893
AT ITER 4671 NEW BEST:: SOT 5321792 SOS 1106486 HAS SOPS 1106486 HAS SOUS 849393 HAS SOUPS 849393 WITH SCORE 850499.486
AT ITER 4715 NEW BEST:: SOT 5321526 SOS 1106125 HAS SOPS 1106125 HAS SOUS 848861 HAS SOUPS 848861 WITH SCORE 849967.125
AT ITER 4716 NEW BEST:: SOT 5321509 SOS 1105869 HAS SOPS 1105869 HAS SOUS 848682 HAS SOUPS 848682 WITH SCORE 849787.869
AT ITER 4735 NEW BEST:: SOT 5321509 SOS 1105848 HAS SOPS 1105848 HAS SOUS 848682 HAS SOUPS 848682 WITH SCORE 849787.848
AT ITER 4737 NEW BEST:: SOT 5321397 SOS 1105512 HAS SOPS 1105512 HAS SOUS 848458 HAS SOUPS 848458 WITH SCORE 849563.512
AT ITER 4792 NEW BEST:: SOT 5321312 SOS 1105293 HAS SOPS 1105293 HAS SOUS 848239 HAS SOUPS 848239 WITH SCORE 849344.293
AT ITER 4798 NEW BEST:: SOT 5321225 SOS 1105119 HAS SOPS 1105119 HAS SOUS 848152 HAS SOUPS 848152 WITH SCORE 849257.119
AT ITER 4804 NEW BEST:: SOT 5321155 SOS 1105028 HAS SOPS 1105028 HAS SOUS 848046 HAS SOUPS 848046 WITH SCORE 849151.028
AT ITER 4813 NEW BEST:: SOT 5321155 SOS 1105010 HAS SOPS 1105010 HAS SOUS 848028 HAS SOUPS 848028 WITH SCORE 849133.01
AT ITER 4825 NEW BEST:: SOT 5321015 SOS 1104365 HAS SOPS 1104365 HAS SOUS 847829 HAS SOUPS 847829 WITH SCORE 848933.365
AT ITER 4828 NEW BEST:: SOT 5321014 SOS 1102714 HAS SOPS 1102714 HAS SOUS 847414 HAS SOUPS 847414 WITH SCORE 848516.714
AT ITER 4860 NEW BEST:: SOT 5320883 SOS 1102837 HAS SOPS 1102837 HAS SOUS 847353 HAS SOUPS 847353 WITH SCORE 848455.837
AT ITER 4884 NEW BEST:: SOT 5320712 SOS 1104876 HAS SOPS 1104876 HAS SOUS 847334 HAS SOUPS 847334 WITH SCORE 848438.876
AT ITER 4907 NEW BEST:: SOT 5320162 SOS 1104406 HAS SOPS 1104406 HAS SOUS 846894 HAS SOUPS 846894 WITH SCORE 847998.406
AT ITER 4913 NEW BEST:: SOT 5320162 SOS 1104852 HAS SOPS 1104852 HAS SOUS 846862 HAS SOUPS 846862 WITH SCORE 847966.852
AT ITER 4939 NEW BEST:: SOT 5320133 SOS 1104821 HAS SOPS 1104821 HAS SOUS 846832 HAS SOUPS 846832 WITH SCORE 847936.821
AT ITER 4962 NEW BEST:: SOT 5319872 SOS 1104560 HAS SOPS 1104560 HAS SOUS 846571 HAS SOUPS 846571 WITH SCORE 847675.56
AT ITER 4968 NEW BEST:: SOT 5319399 SOS 1104684 HAS SOPS 1104684 HAS SOUS 846312 HAS SOUPS 846312 WITH SCORE 847416.684
AT ITER 5004 NEW BEST:: SOT 5319372 SOS 1104630 HAS SOPS 1104630 HAS SOUS 846195 HAS SOUPS 846195 WITH SCORE 847299.63
AT ITER 5012 NEW BEST:: SOT 5319224 SOS 1104375 HAS SOPS 1104375 HAS SOUS 846116 HAS SOUPS 846116 WITH SCORE 847220.375
AT ITER 5065 NEW BEST:: SOT 5319224 SOS 1104374 HAS SOPS 1104374 HAS SOUS 846115 HAS SOUPS 846115 WITH SCORE 847219.374
AT ITER 5072 NEW BEST:: SOT 5319017 SOS 1104008 HAS SOPS 1104008 HAS SOUS 845749 HAS SOUPS 845749 WITH SCORE 846853.008
AT ITER 5087 NEW BEST:: SOT 5318908 SOS 1103981 HAS SOPS 1103981 HAS SOUS 845722 HAS SOUPS 845722 WITH SCORE 846825.981
AT ITER 5110 NEW BEST:: SOT 5318217 SOS 1103611 HAS SOPS 1103611 HAS SOUS 845352 HAS SOUPS 845352 WITH SCORE 846455.611
AT ITER 5124 NEW BEST:: SOT 5318046 SOS 1103265 HAS SOPS 1103265 HAS SOUS 845006 HAS SOUPS 845006 WITH SCORE 846109.265
AT ITER 5133 NEW BEST:: SOT 5317726 SOS 1102552 HAS SOPS 1102552 HAS SOUS 844362 HAS SOUPS 844362 WITH SCORE 845464.552
AT ITER 5143 NEW BEST:: SOT 5317726 SOS 1102505 HAS SOPS 1102505 HAS SOUS 844362 HAS SOUPS 844362 WITH SCORE 845464.505
AT ITER 5168 NEW BEST:: SOT 5317636 SOS 1102323 HAS SOPS 1102323 HAS SOUS 844270 HAS SOUPS 844270 WITH SCORE 845372.323
AT ITER 5225 NEW BEST:: SOT 5317636 SOS 1102203 HAS SOPS 1102203 HAS SOUS 844150 HAS SOUPS 844150 WITH SCORE 845252.203
AT ITER 5261 NEW BEST:: SOT 5317636 SOS 1101855 HAS SOPS 1101855 HAS SOUS 844150 HAS SOUPS 844150 WITH SCORE 845251.855
AT ITER 5272 NEW BEST:: SOT 5317492 SOS 1101508 HAS SOPS 1101508 HAS SOUS 843693 HAS SOUPS 843693 WITH SCORE 844794.508
AT ITER 5280 NEW BEST:: SOT 5317409 SOS 1101380 HAS SOPS 1101380 HAS SOUS 843647 HAS SOUPS 843647 WITH SCORE 844748.38
AT ITER 5300 NEW BEST:: SOT 5317453 SOS 1101183 HAS SOPS 1101183 HAS SOUS 843450 HAS SOUPS 843450 WITH SCORE 844551.183
AT ITER 5302 NEW BEST:: SOT 5317163 SOS 1101037 HAS SOPS 1101037 HAS SOUS 843304 HAS SOUPS 843304 WITH SCORE 844405.037
AT ITER 5323 NEW BEST:: SOT 5317089 SOS 1101025 HAS SOPS 1101025 HAS SOUS 843292 HAS SOUPS 843292 WITH SCORE 844393.025
AT ITER 5327 NEW BEST:: SOT 5317084 SOS 1101002 HAS SOPS 1101002 HAS SOUS 842925 HAS SOUPS 842925 WITH SCORE 844026.002
AT ITER 5341 NEW BEST:: SOT 5317043 SOS 1100633 HAS SOPS 1100633 HAS SOUS 842843 HAS SOUPS 842843 WITH SCORE 843943.633
AT ITER 5350 NEW BEST:: SOT 5317043 SOS 1100310 HAS SOPS 1100310 HAS SOUS 842837 HAS SOUPS 842837 WITH SCORE 843937.31
AT ITER 5362 NEW BEST:: SOT 5316417 SOS 1099447 HAS SOPS 1099447 HAS SOUS 842150 HAS SOUPS 842150 WITH SCORE 843249.447
AT ITER 5369 NEW BEST:: SOT 5316305 SOS 1099513 HAS SOPS 1099513 HAS SOUS 842104 HAS SOUPS 842104 WITH SCORE 843203.513
AT ITER 5393 NEW BEST:: SOT 5315702 SOS 1099034 HAS SOPS 1099034 HAS SOUS 841625 HAS SOUPS 841625 WITH SCORE 842724.034
AT ITER 5407 NEW BEST:: SOT 5315510 SOS 1098842 HAS SOPS 1098842 HAS SOUS 841433 HAS SOUPS 841433 WITH SCORE 842531.842
AT ITER 5411 NEW BEST:: SOT 5315512 SOS 1098838 HAS SOPS 1098838 HAS SOUS 841428 HAS SOUPS 841428 WITH SCORE 842526.838
AT ITER 5420 NEW BEST:: SOT 5315512 SOS 1098808 HAS SOPS 1098808 HAS SOUS 841413 HAS SOUPS 841413 WITH SCORE 842511.808
AT ITER 5429 NEW BEST:: SOT 5315506 SOS 1098796 HAS SOPS 1098796 HAS SOUS 841401 HAS SOUPS 841401 WITH SCORE 842499.796
AT ITER 5430 NEW BEST:: SOT 5315171 SOS 1098461 HAS SOPS 1098461 HAS SOUS 840731 HAS SOUPS 840731 WITH SCORE 841829.461
AT ITER 5468 NEW BEST:: SOT 5316099 SOS 1099525 HAS SOPS 1099525 HAS SOUS 839434 HAS SOUPS 839434 WITH SCORE 840533.525
AT ITER 5470 NEW BEST:: SOT 5315991 SOS 1099309 HAS SOPS 1099309 HAS SOUS 839218 HAS SOUPS 839218 WITH SCORE 840317.309
AT ITER 5483 NEW BEST:: SOT 5314558 SOS 1100848 HAS SOPS 1100848 HAS SOUS 838985 HAS SOUPS 838985 WITH SCORE 840085.848
AT ITER 5506 NEW BEST:: SOT 5314234 SOS 1100196 HAS SOPS 1100196 HAS SOUS 838333 HAS SOUPS 838333 WITH SCORE 839433.196
AT ITER 5517 NEW BEST:: SOT 5314042 SOS 1099840 HAS SOPS 1099840 HAS SOUS 838141 HAS SOUPS 838141 WITH SCORE 839240.84
AT ITER 5542 NEW BEST:: SOT 5313972 SOS 1099746 HAS SOPS 1099746 HAS SOUS 838001 HAS SOUPS 838001 WITH SCORE 839100.746
AT ITER 5543 NEW BEST:: SOT 5313868 SOS 1099538 HAS SOPS 1099538 HAS SOUS 837793 HAS SOUPS 837793 WITH SCORE 838892.538
AT ITER 5582 NEW BEST:: SOT 5311788 SOS 1100185 HAS SOPS 1100185 HAS SOUS 836197 HAS SOUPS 836197 WITH SCORE 837297.185
AT ITER 5587 NEW BEST:: SOT 5310855 SOS 1099439 HAS SOPS 1099439 HAS SOUS 835401 HAS SOUPS 835401 WITH SCORE 836500.439
AT ITER 5602 NEW BEST:: SOT 5310837 SOS 1099403 HAS SOPS 1099403 HAS SOUS 835371 HAS SOUPS 835371 WITH SCORE 836470.403
AT ITER 5611 NEW BEST:: SOT 5310837 SOS 1099271 HAS SOPS 1099271 HAS SOUS 835364 HAS SOUPS 835364 WITH SCORE 836463.271
AT ITER 5618 NEW BEST:: SOT 5309445 SOS 1099648 HAS SOPS 1099648 HAS SOUS 834068 HAS SOUPS 834068 WITH SCORE 835167.648
AT ITER 5624 NEW BEST:: SOT 5309270 SOS 1099140 HAS SOPS 1099140 HAS SOUS 833715 HAS SOUPS 833715 WITH SCORE 834814.14
AT ITER 5640 NEW BEST:: SOT 5309245 SOS 1099090 HAS SOPS 1099090 HAS SOUS 833665 HAS SOUPS 833665 WITH SCORE 834764.09
AT ITER 5650 NEW BEST:: SOT 5309244 SOS 1099088 HAS SOPS 1099088 HAS SOUS 833663 HAS SOUPS 833663 WITH SCORE 834762.088
AT ITER 5654 NEW BEST:: SOT 5309229 SOS 1099073 HAS SOPS 1099073 HAS SOUS 833648 HAS SOUPS 833648 WITH SCORE 834747.073
AT ITER 5678 NEW BEST:: SOT 5309196 SOS 1098974 HAS SOPS 1098974 HAS SOUS 833549 HAS SOUPS 833549 WITH SCORE 834647.974
AT ITER 5683 NEW BEST:: SOT 5308931 SOS 1098596 HAS SOPS 1098596 HAS SOUS 833084 HAS SOUPS 833084 WITH SCORE 834182.596
AT ITER 5693 NEW BEST:: SOT 5308564 SOS 1098233 HAS SOPS 1098233 HAS SOUS 832339 HAS SOUPS 832339 WITH SCORE 833437.233
AT ITER 5753 NEW BEST:: SOT 5308288 SOS 1098111 HAS SOPS 1098111 HAS SOUS 832216 HAS SOUPS 832216 WITH SCORE 833314.111
AT ITER 5764 NEW BEST:: SOT 5305157 SOS 1095077 HAS SOPS 1095077 HAS SOUS 829171 HAS SOUPS 829171 WITH SCORE 830266.077
AT ITER 5778 NEW BEST:: SOT 5304686 SOS 1095014 HAS SOPS 1095014 HAS SOUS 828702 HAS SOUPS 828702 WITH SCORE 829797.014
AT ITER 5800 NEW BEST:: SOT 5304750 SOS 1094803 HAS SOPS 1094803 HAS SOUS 828491 HAS SOUPS 828491 WITH SCORE 829585.803
AT ITER 5819 NEW BEST:: SOT 5304659 SOS 1094527 HAS SOPS 1094527 HAS SOUS 828215 HAS SOUPS 828215 WITH SCORE 829309.527
AT ITER 5823 NEW BEST:: SOT 5304645 SOS 1094507 HAS SOPS 1094507 HAS SOUS 828195 HAS SOUPS 828195 WITH SCORE 829289.507
AT ITER 5899 NEW BEST:: SOT 5304520 SOS 1094401 HAS SOPS 1094401 HAS SOUS 828089 HAS SOUPS 828089 WITH SCORE 829183.401
AT ITER 5909 NEW BEST:: SOT 5304520 SOS 1094509 HAS SOPS 1094509 HAS SOUS 828066 HAS SOUPS 828066 WITH SCORE 829160.509
AT ITER 5927 NEW BEST:: SOT 5304520 SOS 1094983 HAS SOPS 1094983 HAS SOUS 828002 HAS SOUPS 828002 WITH SCORE 829096.983
AT ITER 5933 NEW BEST:: SOT 5304519 SOS 1094981 HAS SOPS 1094981 HAS SOUS 828000 HAS SOUPS 828000 WITH SCORE 829094.981
AT ITER 5946 NEW BEST:: SOT 5304489 SOS 1094921 HAS SOPS 1094921 HAS SOUS 827940 HAS SOUPS 827940 WITH SCORE 829034.921
AT ITER 5954 NEW BEST:: SOT 5304337 SOS 1094552 HAS SOPS 1094552 HAS SOUS 827548 HAS SOUPS 827548 WITH SCORE 828642.552
AT ITER 5964 NEW BEST:: SOT 5304337 SOS 1094224 HAS SOPS 1094224 HAS SOUS 827547 HAS SOUPS 827547 WITH SCORE 828641.224
AT ITER 5967 NEW BEST:: SOT 5304124 SOS 1093878 HAS SOPS 1093878 HAS SOUS 827201 HAS SOUPS 827201 WITH SCORE 828294.878
AT ITER 5972 NEW BEST:: SOT 5303762 SOS 1092649 HAS SOPS 1092649 HAS SOUS 826245 HAS SOUPS 826245 WITH SCORE 827337.649
AT ITER 5979 NEW BEST:: SOT 5303824 SOS 1092535 HAS SOPS 1092535 HAS SOUS 826131 HAS SOUPS 826131 WITH SCORE 827223.535
AT ITER 5983 NEW BEST:: SOT 5303791 SOS 1092776 HAS SOPS 1092776 HAS SOUS 826087 HAS SOUPS 826087 WITH SCORE 827179.776
AT ITER 6022 NEW BEST:: SOT 5303526 SOS 1091981 HAS SOPS 1091981 HAS SOUS 825292 HAS SOUPS 825292 WITH SCORE 826383.981
AT ITER 6087 NEW BEST:: SOT 5303525 SOS 1091979 HAS SOPS 1091979 HAS SOUS 825290 HAS SOUPS 825290 WITH SCORE 826381.979
AT ITER 6089 NEW BEST:: SOT 5303417 SOS 1091871 HAS SOPS 1091871 HAS SOUS 825182 HAS SOUPS 825182 WITH SCORE 826273.871
AT ITER 6092 NEW BEST:: SOT 5303364 SOS 1091664 HAS SOPS 1091664 HAS SOUS 824975 HAS SOUPS 824975 WITH SCORE 826066.664
AT ITER 6097 NEW BEST:: SOT 5303304 SOS 1091542 HAS SOPS 1091542 HAS SOUS 824853 HAS SOUPS 824853 WITH SCORE 825944.542
AT ITER 6102 NEW BEST:: SOT 5303247 SOS 1091514 HAS SOPS 1091514 HAS SOUS 824410 HAS SOUPS 824410 WITH SCORE 825501.514
AT ITER 6148 NEW BEST:: SOT 5303217 SOS 1091424 HAS SOPS 1091424 HAS SOUS 824345 HAS SOUPS 824345 WITH SCORE 825436.424
AT ITER 6153 NEW BEST:: SOT 5303205 SOS 1091400 HAS SOPS 1091400 HAS SOUS 824321 HAS SOUPS 824321 WITH SCORE 825412.4
AT ITER 6158 NEW BEST:: SOT 5303160 SOS 1091355 HAS SOPS 1091355 HAS SOUS 824231 HAS SOUPS 824231 WITH SCORE 825322.355
AT ITER 6180 NEW BEST:: SOT 5302915 SOS 1091211 HAS SOPS 1091211 HAS SOUS 824087 HAS SOUPS 824087 WITH SCORE 825178.211
AT ITER 6186 NEW BEST:: SOT 5302942 SOS 1090289 HAS SOPS 1090289 HAS SOUS 823947 HAS SOUPS 823947 WITH SCORE 825037.289
AT ITER 6220 NEW BEST:: SOT 5302854 SOS 1090256 HAS SOPS 1090256 HAS SOUS 823870 HAS SOUPS 823870 WITH SCORE 824960.256
AT ITER 6229 NEW BEST:: SOT 5302456 SOS 1089481 HAS SOPS 1089481 HAS SOUS 820170 HAS SOUPS 820170 WITH SCORE 821259.481
AT ITER 6253 NEW BEST:: SOT 5302456 SOS 1089462 HAS SOPS 1089462 HAS SOUS 820151 HAS SOUPS 820151 WITH SCORE 821240.462
AT ITER 6255 NEW BEST:: SOT 5302426 SOS 1089092 HAS SOPS 1089092 HAS SOUS 819950 HAS SOUPS 819950 WITH SCORE 821039.092
AT ITER 6257 NEW BEST:: SOT 5302425 SOS 1089037 HAS SOPS 1089037 HAS SOUS 819927 HAS SOUPS 819927 WITH SCORE 821016.037
AT ITER 6277 NEW BEST:: SOT 5302394 SOS 1088581 HAS SOPS 1088581 HAS SOUS 819471 HAS SOUPS 819471 WITH SCORE 820559.581
AT ITER 6334 NEW BEST:: SOT 5302259 SOS 1088421 HAS SOPS 1088421 HAS SOUS 819336 HAS SOUPS 819336 WITH SCORE 820424.421
AT ITER 6335 NEW BEST:: SOT 5302259 SOS 1088294 HAS SOPS 1088294 HAS SOUS 819336 HAS SOUPS 819336 WITH SCORE 820424.294
AT ITER 6351 NEW BEST:: SOT 5302168 SOS 1088052 HAS SOPS 1088052 HAS SOUS 818553 HAS SOUPS 818553 WITH SCORE 819641.052
AT ITER 6354 NEW BEST:: SOT 5302049 SOS 1088029 HAS SOPS 1088029 HAS SOUS 818530 HAS SOUPS 818530 WITH SCORE 819618.029
AT ITER 6374 NEW BEST:: SOT 5301804 SOS 1087659 HAS SOPS 1087659 HAS SOUS 818347 HAS SOUPS 818347 WITH SCORE 819434.659
AT ITER 6380 NEW BEST:: SOT 5301728 SOS 1087583 HAS SOPS 1087583 HAS SOUS 817967 HAS SOUPS 817967 WITH SCORE 819054.583
AT ITER 6404 NEW BEST:: SOT 5301656 SOS 1087439 HAS SOPS 1087439 HAS SOUS 817845 HAS SOUPS 817845 WITH SCORE 818932.439
AT ITER 6416 NEW BEST:: SOT 5301625 SOS 1087377 HAS SOPS 1087377 HAS SOUS 817814 HAS SOUPS 817814 WITH SCORE 818901.377
AT ITER 6421 NEW BEST:: SOT 5301623 SOS 1087187 HAS SOPS 1087187 HAS SOUS 817810 HAS SOUPS 817810 WITH SCORE 818897.187
AT ITER 6426 NEW BEST:: SOT 5301622 SOS 1087079 HAS SOPS 1087079 HAS SOUS 817807 HAS SOUPS 817807 WITH SCORE 818894.079
AT ITER 6445 NEW BEST:: SOT 5301604 SOS 1086956 HAS SOPS 1086956 HAS SOUS 817369 HAS SOUPS 817369 WITH SCORE 818455.956
AT ITER 6450 NEW BEST:: SOT 5301427 SOS 1086546 HAS SOPS 1086546 HAS SOUS 817136 HAS SOUPS 817136 WITH SCORE 818222.546
AT ITER 6451 NEW BEST:: SOT 5301190 SOS 1086492 HAS SOPS 1086492 HAS SOUS 817002 HAS SOUPS 817002 WITH SCORE 818088.492
AT ITER 6464 NEW BEST:: SOT 5301086 SOS 1086492 HAS SOPS 1086492 HAS SOUS 816794 HAS SOUPS 816794 WITH SCORE 817880.492
AT ITER 6502 NEW BEST:: SOT 5301194 SOS 1086780 HAS SOPS 1086780 HAS SOUS 816782 HAS SOUPS 816782 WITH SCORE 817868.78
AT ITER 6520 NEW BEST:: SOT 5301194 SOS 1087013 HAS SOPS 1087013 HAS SOUS 815151 HAS SOUPS 815151 WITH SCORE 816238.013
AT ITER 6541 NEW BEST:: SOT 5301002 SOS 1086752 HAS SOPS 1086752 HAS SOUS 814617 HAS SOUPS 814617 WITH SCORE 815703.752
AT ITER 6568 NEW BEST:: SOT 5301002 SOS 1086569 HAS SOPS 1086569 HAS SOUS 814617 HAS SOUPS 814617 WITH SCORE 815703.569
AT ITER 6629 NEW BEST:: SOT 5300926 SOS 1086207 HAS SOPS 1086207 HAS SOUS 814436 HAS SOUPS 814436 WITH SCORE 815522.207
AT ITER 6702 NEW BEST:: SOT 5300926 SOS 1086104 HAS SOPS 1086104 HAS SOUS 814333 HAS SOUPS 814333 WITH SCORE 815419.104
AT ITER 6708 NEW BEST:: SOT 5300904 SOS 1086060 HAS SOPS 1086060 HAS SOUS 814289 HAS SOUPS 814289 WITH SCORE 815375.06
AT ITER 6709 NEW BEST:: SOT 5300843 SOS 1086039 HAS SOPS 1086039 HAS SOUS 814289 HAS SOUPS 814289 WITH SCORE 815375.039
AT ITER 6710 NEW BEST:: SOT 5300843 SOS 1085853 HAS SOPS 1085853 HAS SOUS 814289 HAS SOUPS 814289 WITH SCORE 815374.853
AT ITER 6731 NEW BEST:: SOT 5300683 SOS 1085709 HAS SOPS 1085709 HAS SOUS 814129 HAS SOUPS 814129 WITH SCORE 815214.709
AT ITER 6740 NEW BEST:: SOT 5300503 SOS 1085661 HAS SOPS 1085661 HAS SOUS 813949 HAS SOUPS 813949 WITH SCORE 815034.661
AT ITER 6751 NEW BEST:: SOT 5300420 SOS 1085620 HAS SOPS 1085620 HAS SOUS 813908 HAS SOUPS 813908 WITH SCORE 814993.62
AT ITER 6777 NEW BEST:: SOT 5300420 SOS 1085788 HAS SOPS 1085788 HAS SOUS 812620 HAS SOUPS 812620 WITH SCORE 813705.788
AT ITER 6791 NEW BEST:: SOT 5300414 SOS 1085763 HAS SOPS 1085763 HAS SOUS 812607 HAS SOUPS 812607 WITH SCORE 813692.763
AT ITER 6813 NEW BEST:: SOT 5300116 SOS 1085167 HAS SOPS 1085167 HAS SOUS 812011 HAS SOUPS 812011 WITH SCORE 813096.167
AT ITER 6836 NEW BEST:: SOT 5300097 SOS 1085068 HAS SOPS 1085068 HAS SOUS 811980 HAS SOUPS 811980 WITH SCORE 813065.068
AT ITER 6841 NEW BEST:: SOT 5299996 SOS 1084967 HAS SOPS 1084967 HAS SOUS 811778 HAS SOUPS 811778 WITH SCORE 812862.967
AT ITER 6850 NEW BEST:: SOT 5299863 SOS 1084581 HAS SOPS 1084581 HAS SOUS 811517 HAS SOUPS 811517 WITH SCORE 812601.581
AT ITER 6851 NEW BEST:: SOT 5299746 SOS 1084320 HAS SOPS 1084320 HAS SOUS 811283 HAS SOUPS 811283 WITH SCORE 812367.32
AT ITER 6883 NEW BEST:: SOT 5299718 SOS 1084264 HAS SOPS 1084264 HAS SOUS 811227 HAS SOUPS 811227 WITH SCORE 812311.264
AT ITER 6888 NEW BEST:: SOT 5299398 SOS 1083075 HAS SOPS 1083075 HAS SOUS 810074 HAS SOUPS 810074 WITH SCORE 811157.075
AT ITER 6940 NEW BEST:: SOT 5299193 SOS 1082916 HAS SOPS 1082916 HAS SOUS 809883 HAS SOUPS 809883 WITH SCORE 810965.916
AT ITER 6948 NEW BEST:: SOT 5298812 SOS 1082653 HAS SOPS 1082653 HAS SOUS 809620 HAS SOUPS 809620 WITH SCORE 810702.653
AT ITER 7003 NEW BEST:: SOT 5298690 SOS 1082383 HAS SOPS 1082383 HAS SOUS 809376 HAS SOUPS 809376 WITH SCORE 810458.383
AT ITER 7009 NEW BEST:: SOT 5298269 SOS 1081516 HAS SOPS 1081516 HAS SOUS 808509 HAS SOUPS 808509 WITH SCORE 809590.516
AT ITER 7017 NEW BEST:: SOT 5298269 SOS 1081579 HAS SOPS 1081579 HAS SOUS 808443 HAS SOUPS 808443 WITH SCORE 809524.579
AT ITER 7099 NEW BEST:: SOT 5298138 SOS 1081448 HAS SOPS 1081448 HAS SOUS 808443 HAS SOUPS 808443 WITH SCORE 809524.448
AT ITER 7122 NEW BEST:: SOT 5298135 SOS 1081320 HAS SOPS 1081320 HAS SOUS 808315 HAS SOUPS 808315 WITH SCORE 809396.32
AT ITER 7130 NEW BEST:: SOT 5297710 SOS 1080904 HAS SOPS 1080904 HAS SOUS 807465 HAS SOUPS 807465 WITH SCORE 808545.904
AT ITER 7139 NEW BEST:: SOT 5297817 SOS 1083877 HAS SOPS 1083877 HAS SOUS 806139 HAS SOUPS 806139 WITH SCORE 807222.877
AT ITER 7142 NEW BEST:: SOT 5297739 SOS 1083605 HAS SOPS 1083605 HAS SOUS 805867 HAS SOUPS 805867 WITH SCORE 806950.605
AT ITER 7150 NEW BEST:: SOT 5297470 SOS 1083430 HAS SOPS 1083430 HAS SOUS 805692 HAS SOUPS 805692 WITH SCORE 806775.43
AT ITER 7174 NEW BEST:: SOT 5297382 SOS 1083657 HAS SOPS 1083657 HAS SOUS 805453 HAS SOUPS 805453 WITH SCORE 806536.657
AT ITER 7212 NEW BEST:: SOT 5297104 SOS 1082631 HAS SOPS 1082631 HAS SOUS 804988 HAS SOUPS 804988 WITH SCORE 806070.631
AT ITER 7223 NEW BEST:: SOT 5297103 SOS 1082237 HAS SOPS 1082237 HAS SOUS 804594 HAS SOUPS 804594 WITH SCORE 805676.237
AT ITER 7230 NEW BEST:: SOT 5297150 SOS 1082331 HAS SOPS 1082331 HAS SOUS 804557 HAS SOUPS 804557 WITH SCORE 805639.331
AT ITER 7232 NEW BEST:: SOT 5297150 SOS 1081787 HAS SOPS 1081787 HAS SOUS 804013 HAS SOUPS 804013 WITH SCORE 805094.787
AT ITER 7241 NEW BEST:: SOT 5297148 SOS 1081783 HAS SOPS 1081783 HAS SOUS 804011 HAS SOUPS 804011 WITH SCORE 805092.783
AT ITER 7264 NEW BEST:: SOT 5297186 SOS 1081475 HAS SOPS 1081475 HAS SOUS 803895 HAS SOUPS 803895 WITH SCORE 804976.475
AT ITER 7279 NEW BEST:: SOT 5297153 SOS 1081408 HAS SOPS 1081408 HAS SOUS 803845 HAS SOUPS 803845 WITH SCORE 804926.408
AT ITER 7294 NEW BEST:: SOT 5296447 SOS 1080349 HAS SOPS 1080349 HAS SOUS 803139 HAS SOUPS 803139 WITH SCORE 804219.349
AT ITER 7297 NEW BEST:: SOT 5296182 SOS 1080088 HAS SOPS 1080088 HAS SOUS 802874 HAS SOUPS 802874 WITH SCORE 803954.088
AT ITER 7304 NEW BEST:: SOT 5296153 SOS 1080312 HAS SOPS 1080312 HAS SOUS 802816 HAS SOUPS 802816 WITH SCORE 803896.312
AT ITER 7333 NEW BEST:: SOT 5296094 SOS 1080194 HAS SOPS 1080194 HAS SOUS 802698 HAS SOUPS 802698 WITH SCORE 803778.194
AT ITER 7342 NEW BEST:: SOT 5296045 SOS 1080047 HAS SOPS 1080047 HAS SOUS 802600 HAS SOUPS 802600 WITH SCORE 803680.047
AT ITER 7351 NEW BEST:: SOT 5295976 SOS 1079909 HAS SOPS 1079909 HAS SOUS 802525 HAS SOUPS 802525 WITH SCORE 803604.909
AT ITER 7409 NEW BEST:: SOT 5295932 SOS 1081245 HAS SOPS 1081245 HAS SOUS 802523 HAS SOUPS 802523 WITH SCORE 803604.245
AT ITER 7411 NEW BEST:: SOT 5295932 SOS 1081164 HAS SOPS 1081164 HAS SOUS 802523 HAS SOUPS 802523 WITH SCORE 803604.164
AT ITER 7425 NEW BEST:: SOT 5295897 SOS 1081129 HAS SOPS 1081129 HAS SOUS 802488 HAS SOUPS 802488 WITH SCORE 803569.129
AT ITER 7463 NEW BEST:: SOT 5295893 SOS 1081125 HAS SOPS 1081125 HAS SOUS 802483 HAS SOUPS 802483 WITH SCORE 803564.125
AT ITER 7466 NEW BEST:: SOT 5295893 SOS 1081117 HAS SOPS 1081117 HAS SOUS 802475 HAS SOUPS 802475 WITH SCORE 803556.117
AT ITER 7475 NEW BEST:: SOT 5295659 SOS 1081309 HAS SOPS 1081309 HAS SOUS 802301 HAS SOUPS 802301 WITH SCORE 803382.309
AT ITER 7477 NEW BEST:: SOT 5295659 SOS 1080688 HAS SOPS 1080688 HAS SOUS 802301 HAS SOUPS 802301 WITH SCORE 803381.688
AT ITER 7486 NEW BEST:: SOT 5295631 SOS 1080660 HAS SOPS 1080660 HAS SOUS 802299 HAS SOUPS 802299 WITH SCORE 803379.66
AT ITER 7489 NEW BEST:: SOT 5295275 SOS 1080700 HAS SOPS 1080700 HAS SOUS 801943 HAS SOUPS 801943 WITH SCORE 803023.7
AT ITER 7536 NEW BEST:: SOT 5295337 SOS 1080546 HAS SOPS 1080546 HAS SOUS 801799 HAS SOUPS 801799 WITH SCORE 802879.546
AT ITER 7539 NEW BEST:: SOT 5295172 SOS 1080215 HAS SOPS 1080215 HAS SOUS 801468 HAS SOUPS 801468 WITH SCORE 802548.215
AT ITER 7547 NEW BEST:: SOT 5295168 SOS 1080211 HAS SOPS 1080211 HAS SOUS 801464 HAS SOUPS 801464 WITH SCORE 802544.211
AT ITER 7552 NEW BEST:: SOT 5295168 SOS 1080343 HAS SOPS 1080343 HAS SOUS 800537 HAS SOUPS 800537 WITH SCORE 801617.343
AT ITER 7564 NEW BEST:: SOT 5295126 SOS 1080080 HAS SOPS 1080080 HAS SOUS 800274 HAS SOUPS 800274 WITH SCORE 801354.08
AT ITER 7616 NEW BEST:: SOT 5295382 SOS 1079444 HAS SOPS 1079444 HAS SOUS 799290 HAS SOUPS 799290 WITH SCORE 800369.444
AT ITER 7621 NEW BEST:: SOT 5295382 SOS 1078819 HAS SOPS 1078819 HAS SOUS 799290 HAS SOUPS 799290 WITH SCORE 800368.819
AT ITER 7640 NEW BEST:: SOT 5295378 SOS 1078810 HAS SOPS 1078810 HAS SOUS 799281 HAS SOUPS 799281 WITH SCORE 800359.81
AT ITER 7647 NEW BEST:: SOT 5295378 SOS 1078639 HAS SOPS 1078639 HAS SOUS 799110 HAS SOUPS 799110 WITH SCORE 800188.639
AT ITER 7649 NEW BEST:: SOT 5295379 SOS 1077843 HAS SOPS 1077843 HAS SOUS 798845 HAS SOUPS 798845 WITH SCORE 799922.843
AT ITER 7663 NEW BEST:: SOT 5295379 SOS 1077619 HAS SOPS 1077619 HAS SOUS 798845 HAS SOUPS 798845 WITH SCORE 799922.619
AT ITER 7688 NEW BEST:: SOT 5295265 SOS 1077391 HAS SOPS 1077391 HAS SOUS 798617 HAS SOUPS 798617 WITH SCORE 799694.391
AT ITER 7704 NEW BEST:: SOT 5295271 SOS 1077287 HAS SOPS 1077287 HAS SOUS 798513 HAS SOUPS 798513 WITH SCORE 799590.287
AT ITER 7772 NEW BEST:: SOT 5295248 SOS 1077080 HAS SOPS 1077080 HAS SOUS 798467 HAS SOUPS 798467 WITH SCORE 799544.08
AT ITER 7790 NEW BEST:: SOT 5295211 SOS 1077006 HAS SOPS 1077006 HAS SOUS 798429 HAS SOUPS 798429 WITH SCORE 799506.006
AT ITER 7799 NEW BEST:: SOT 5295211 SOS 1076970 HAS SOPS 1076970 HAS SOUS 798429 HAS SOUPS 798429 WITH SCORE 799505.97
AT ITER 7816 NEW BEST:: SOT 5294909 SOS 1076626 HAS SOPS 1076626 HAS SOUS 798419 HAS SOUPS 798419 WITH SCORE 799495.626
AT ITER 7827 NEW BEST:: SOT 5294909 SOS 1076625 HAS SOPS 1076625 HAS SOUS 798418 HAS SOUPS 798418 WITH SCORE 799494.625
AT ITER 7829 NEW BEST:: SOT 5294909 SOS 1076622 HAS SOPS 1076622 HAS SOUS 798416 HAS SOUPS 798416 WITH SCORE 799492.622
AT ITER 7858 NEW BEST:: SOT 5294870 SOS 1075234 HAS SOPS 1075234 HAS SOUS 798338 HAS SOUPS 798338 WITH SCORE 799413.234
AT ITER 7859 NEW BEST:: SOT 5294870 SOS 1075264 HAS SOPS 1075264 HAS SOUS 798128 HAS SOUPS 798128 WITH SCORE 799203.264
AT ITER 7870 NEW BEST:: SOT 5294731 SOS 1075042 HAS SOPS 1075042 HAS SOUS 798094 HAS SOUPS 798094 WITH SCORE 799169.042
AT ITER 7871 NEW BEST:: SOT 5294705 SOS 1075016 HAS SOPS 1075016 HAS SOUS 798068 HAS SOUPS 798068 WITH SCORE 799143.016
AT ITER 7873 NEW BEST:: SOT 5294563 SOS 1074732 HAS SOPS 1074732 HAS SOUS 797784 HAS SOUPS 797784 WITH SCORE 798858.732
AT ITER 7874 NEW BEST:: SOT 5294563 SOS 1074728 HAS SOPS 1074728 HAS SOUS 797780 HAS SOUPS 797780 WITH SCORE 798854.728
AT ITER 7877 NEW BEST:: SOT 5294369 SOS 1074139 HAS SOPS 1074139 HAS SOUS 797392 HAS SOUPS 797392 WITH SCORE 798466.139
AT ITER 7885 NEW BEST:: SOT 5294345 SOS 1074091 HAS SOPS 1074091 HAS SOUS 797368 HAS SOUPS 797368 WITH SCORE 798442.091
AT ITER 7886 NEW BEST:: SOT 5294345 SOS 1074091 HAS SOPS 1074091 HAS SOUS 797367 HAS SOUPS 797367 WITH SCORE 798441.091
AT ITER 7930 NEW BEST:: SOT 5294345 SOS 1073915 HAS SOPS 1073915 HAS SOUS 796505 HAS SOUPS 796505 WITH SCORE 797578.915
AT ITER 7933 NEW BEST:: SOT 5294299 SOS 1074145 HAS SOPS 1074145 HAS SOUS 796459 HAS SOUPS 796459 WITH SCORE 797533.145
AT ITER 7949 NEW BEST:: SOT 5294284 SOS 1074023 HAS SOPS 1074023 HAS SOUS 796429 HAS SOUPS 796429 WITH SCORE 797503.023
AT ITER 7953 NEW BEST:: SOT 5294022 SOS 1074025 HAS SOPS 1074025 HAS SOUS 795257 HAS SOUPS 795257 WITH SCORE 796331.025
AT ITER 7957 NEW BEST:: SOT 5293702 SOS 1073587 HAS SOPS 1073587 HAS SOUS 794912 HAS SOUPS 794912 WITH SCORE 795985.587
AT ITER 7964 NEW BEST:: SOT 5293579 SOS 1074307 HAS SOPS 1074307 HAS SOUS 794668 HAS SOUPS 794668 WITH SCORE 795742.307
AT ITER 7975 NEW BEST:: SOT 5293578 SOS 1074300 HAS SOPS 1074300 HAS SOUS 794661 HAS SOUPS 794661 WITH SCORE 795735.3
AT ITER 8021 NEW BEST:: SOT 5293332 SOS 1073808 HAS SOPS 1073808 HAS SOUS 794169 HAS SOUPS 794169 WITH SCORE 795242.808
AT ITER 8039 NEW BEST:: SOT 5293201 SOS 1072165 HAS SOPS 1072165 HAS SOUS 793907 HAS SOUPS 793907 WITH SCORE 794979.165
AT ITER 8079 NEW BEST:: SOT 5293201 SOS 1072047 HAS SOPS 1072047 HAS SOUS 793789 HAS SOUPS 793789 WITH SCORE 794861.047
AT ITER 8176 NEW BEST:: SOT 5293124 SOS 1071593 HAS SOPS 1071593 HAS SOUS 793575 HAS SOUPS 793575 WITH SCORE 794646.593
AT ITER 8182 NEW BEST:: SOT 5293019 SOS 1071383 HAS SOPS 1071383 HAS SOUS 793365 HAS SOUPS 793365 WITH SCORE 794436.383
AT ITER 8206 NEW BEST:: SOT 5293019 SOS 1071425 HAS SOPS 1071425 HAS SOUS 793281 HAS SOUPS 793281 WITH SCORE 794352.425
AT ITER 8211 NEW BEST:: SOT 5293399 SOS 1071697 HAS SOPS 1071697 HAS SOUS 793218 HAS SOUPS 793218 WITH SCORE 794289.697
AT ITER 8218 NEW BEST:: SOT 5293399 SOS 1071147 HAS SOPS 1071147 HAS SOUS 792940 HAS SOUPS 792940 WITH SCORE 794011.147
AT ITER 8239 NEW BEST:: SOT 5293100 SOS 1070319 HAS SOPS 1070319 HAS SOUS 792277 HAS SOUPS 792277 WITH SCORE 793347.319
AT ITER 8245 NEW BEST:: SOT 5292983 SOS 1070303 HAS SOPS 1070303 HAS SOUS 792261 HAS SOUPS 792261 WITH SCORE 793331.303
AT ITER 8269 NEW BEST:: SOT 5292932 SOS 1070201 HAS SOPS 1070201 HAS SOUS 792159 HAS SOUPS 792159 WITH SCORE 793229.201
AT ITER 8300 NEW BEST:: SOT 5292768 SOS 1070145 HAS SOPS 1070145 HAS SOUS 791967 HAS SOUPS 791967 WITH SCORE 793037.145
AT ITER 8316 NEW BEST:: SOT 5292414 SOS 1069734 HAS SOPS 1069734 HAS SOUS 791591 HAS SOUPS 791591 WITH SCORE 792660.734
AT ITER 8360 NEW BEST:: SOT 5292414 SOS 1069791 HAS SOPS 1069791 HAS SOUS 791192 HAS SOUPS 791192 WITH SCORE 792261.791
AT ITER 8366 NEW BEST:: SOT 5292125 SOS 1069191 HAS SOPS 1069191 HAS SOUS 790881 HAS SOUPS 790881 WITH SCORE 791950.191
AT ITER 8375 NEW BEST:: SOT 5292125 SOS 1069122 HAS SOPS 1069122 HAS SOUS 790812 HAS SOUPS 790812 WITH SCORE 791881.122
AT ITER 8385 NEW BEST:: SOT 5292087 SOS 1069967 HAS SOPS 1069967 HAS SOUS 790736 HAS SOUPS 790736 WITH SCORE 791805.967
AT ITER 8394 NEW BEST:: SOT 5292087 SOS 1069887 HAS SOPS 1069887 HAS SOUS 790728 HAS SOUPS 790728 WITH SCORE 791797.887
AT ITER 8404 NEW BEST:: SOT 5292087 SOS 1069744 HAS SOPS 1069744 HAS SOUS 790720 HAS SOUPS 790720 WITH SCORE 791789.744
AT ITER 8410 NEW BEST:: SOT 5292034 SOS 1069638 HAS SOPS 1069638 HAS SOUS 790666 HAS SOUPS 790666 WITH SCORE 791735.638
AT ITER 8428 NEW BEST:: SOT 5291854 SOS 1069413 HAS SOPS 1069413 HAS SOUS 789901 HAS SOUPS 789901 WITH SCORE 790970.413
AT ITER 8445 NEW BEST:: SOT 5291725 SOS 1070202 HAS SOPS 1070202 HAS SOUS 789655 HAS SOUPS 789655 WITH SCORE 790725.202
AT ITER 8462 NEW BEST:: SOT 5291610 SOS 1070087 HAS SOPS 1070087 HAS SOUS 789540 HAS SOUPS 789540 WITH SCORE 790610.087
AT ITER 8470 NEW BEST:: SOT 5291355 SOS 1069853 HAS SOPS 1069853 HAS SOUS 789109 HAS SOUPS 789109 WITH SCORE 790178.853
AT ITER 8499 NEW BEST:: SOT 5291355 SOS 1070710 HAS SOPS 1070710 HAS SOUS 789042 HAS SOUPS 789042 WITH SCORE 790112.71
AT ITER 8534 NEW BEST:: SOT 5291324 SOS 1070710 HAS SOPS 1070710 HAS SOUS 789011 HAS SOUPS 789011 WITH SCORE 790081.71
AT ITER 8564 NEW BEST:: SOT 5290016 SOS 1078340 HAS SOPS 1078340 HAS SOUS 788490 HAS SOUPS 788490 WITH SCORE 789568.34
AT ITER 8571 NEW BEST:: SOT 5290002 SOS 1078312 HAS SOPS 1078312 HAS SOUS 788462 HAS SOUPS 788462 WITH SCORE 789540.312
AT ITER 8578 NEW BEST:: SOT 5289792 SOS 1078106 HAS SOPS 1078106 HAS SOUS 788257 HAS SOUPS 788257 WITH SCORE 789335.106
AT ITER 8644 NEW BEST:: SOT 5289761 SOS 1078253 HAS SOPS 1078253 HAS SOUS 788194 HAS SOUPS 788194 WITH SCORE 789272.253
AT ITER 8662 NEW BEST:: SOT 5289694 SOS 1078119 HAS SOPS 1078119 HAS SOUS 788060 HAS SOUPS 788060 WITH SCORE 789138.119
AT ITER 8681 NEW BEST:: SOT 5289693 SOS 1078117 HAS SOPS 1078117 HAS SOUS 788058 HAS SOUPS 788058 WITH SCORE 789136.117
AT ITER 8720 NEW BEST:: SOT 5289680 SOS 1078104 HAS SOPS 1078104 HAS SOUS 788045 HAS SOUPS 788045 WITH SCORE 789123.104
AT ITER 8724 NEW BEST:: SOT 5289679 SOS 1078102 HAS SOPS 1078102 HAS SOUS 788043 HAS SOUPS 788043 WITH SCORE 789121.102
AT ITER 8761 NEW BEST:: SOT 5289679 SOS 1078101 HAS SOPS 1078101 HAS SOUS 788042 HAS SOUPS 788042 WITH SCORE 789120.101
AT ITER 8762 NEW BEST:: SOT 5289679 SOS 1078063 HAS SOPS 1078063 HAS SOUS 787909 HAS SOUPS 787909 WITH SCORE 788987.063
AT ITER 8764 NEW BEST:: SOT 5289639 SOS 1077889 HAS SOPS 1077889 HAS SOUS 787802 HAS SOUPS 787802 WITH SCORE 788879.889
AT ITER 8774 NEW BEST:: SOT 5289638 SOS 1077887 HAS SOPS 1077887 HAS SOUS 787800 HAS SOUPS 787800 WITH SCORE 788877.887
AT ITER 8777 NEW BEST:: SOT 5289603 SOS 1077852 HAS SOPS 1077852 HAS SOUS 787765 HAS SOUPS 787765 WITH SCORE 788842.852
AT ITER 8778 NEW BEST:: SOT 5289545 SOS 1077794 HAS SOPS 1077794 HAS SOUS 787707 HAS SOUPS 787707 WITH SCORE 788784.794
AT ITER 8789 NEW BEST:: SOT 5289390 SOS 1077639 HAS SOPS 1077639 HAS SOUS 787459 HAS SOUPS 787459 WITH SCORE 788536.639
AT ITER 8828 NEW BEST:: SOT 5289227 SOS 1077150 HAS SOPS 1077150 HAS SOUS 786970 HAS SOUPS 786970 WITH SCORE 788047.15
AT ITER 8836 NEW BEST:: SOT 5288433 SOS 1077747 HAS SOPS 1077747 HAS SOUS 786905 HAS SOUPS 786905 WITH SCORE 787982.747
AT ITER 8849 NEW BEST:: SOT 5288393 SOS 1077666 HAS SOPS 1077666 HAS SOUS 786864 HAS SOUPS 786864 WITH SCORE 787941.666
AT ITER 8892 NEW BEST:: SOT 5288333 SOS 1077606 HAS SOPS 1077606 HAS SOUS 786792 HAS SOUPS 786792 WITH SCORE 787869.606
AT ITER 8899 NEW BEST:: SOT 5288039 SOS 1076887 HAS SOPS 1076887 HAS SOUS 786158 HAS SOUPS 786158 WITH SCORE 787234.887
AT ITER 8904 NEW BEST:: SOT 5287870 SOS 1076761 HAS SOPS 1076761 HAS SOUS 786093 HAS SOUPS 786093 WITH SCORE 787169.761
AT ITER 8952 NEW BEST:: SOT 5287986 SOS 1076993 HAS SOPS 1076993 HAS SOUS 786044 HAS SOUPS 786044 WITH SCORE 787120.993
AT ITER 8965 NEW BEST:: SOT 5287861 SOS 1076743 HAS SOPS 1076743 HAS SOUS 785794 HAS SOUPS 785794 WITH SCORE 786870.743
AT ITER 8971 NEW BEST:: SOT 5287726 SOS 1076608 HAS SOPS 1076608 HAS SOUS 785659 HAS SOUPS 785659 WITH SCORE 786735.608
AT ITER 8972 NEW BEST:: SOT 5287726 SOS 1076936 HAS SOPS 1076936 HAS SOUS 785643 HAS SOUPS 785643 WITH SCORE 786719.936
AT ITER 8995 NEW BEST:: SOT 5287686 SOS 1076903 HAS SOPS 1076903 HAS SOUS 785610 HAS SOUPS 785610 WITH SCORE 786686.903
AT ITER 9010 NEW BEST:: SOT 5287686 SOS 1076903 HAS SOPS 1076903 HAS SOUS 785482 HAS SOUPS 785482 WITH SCORE 786558.903
AT ITER 9011 NEW BEST:: SOT 5287654 SOS 1076607 HAS SOPS 1076607 HAS SOUS 785317 HAS SOUPS 785317 WITH SCORE 786393.607
AT ITER 9015 NEW BEST:: SOT 5287543 SOS 1076196 HAS SOPS 1076196 HAS SOUS 784906 HAS SOUPS 784906 WITH SCORE 785982.196
AT ITER 9032 NEW BEST:: SOT 5287154 SOS 1076013 HAS SOPS 1076013 HAS SOUS 784537 HAS SOUPS 784537 WITH SCORE 785613.013
AT ITER 9033 NEW BEST:: SOT 5286808 SOS 1076002 HAS SOPS 1076002 HAS SOUS 784526 HAS SOUPS 784526 WITH SCORE 785602.002
AT ITER 9034 NEW BEST:: SOT 5286725 SOS 1075919 HAS SOPS 1075919 HAS SOUS 784443 HAS SOUPS 784443 WITH SCORE 785518.919
AT ITER 9041 NEW BEST:: SOT 5286725 SOS 1075929 HAS SOPS 1075929 HAS SOUS 784434 HAS SOUPS 784434 WITH SCORE 785509.929
AT ITER 9048 NEW BEST:: SOT 5286494 SOS 1075806 HAS SOPS 1075806 HAS SOUS 784017 HAS SOUPS 784017 WITH SCORE 785092.806
AT ITER 9106 NEW BEST:: SOT 5286493 SOS 1075577 HAS SOPS 1075577 HAS SOUS 784013 HAS SOUPS 784013 WITH SCORE 785088.577
AT ITER 9130 NEW BEST:: SOT 5286220 SOS 1075722 HAS SOPS 1075722 HAS SOUS 783837 HAS SOUPS 783837 WITH SCORE 784912.722
AT ITER 9137 NEW BEST:: SOT 5286220 SOS 1075718 HAS SOPS 1075718 HAS SOUS 783833 HAS SOUPS 783833 WITH SCORE 784908.718
AT ITER 9170 NEW BEST:: SOT 5286012 SOS 1075302 HAS SOPS 1075302 HAS SOUS 783417 HAS SOUPS 783417 WITH SCORE 784492.302
AT ITER 9175 NEW BEST:: SOT 5285971 SOS 1075299 HAS SOPS 1075299 HAS SOUS 783414 HAS SOUPS 783414 WITH SCORE 784489.299
AT ITER 9187 NEW BEST:: SOT 5285898 SOS 1075080 HAS SOPS 1075080 HAS SOUS 783227 HAS SOUPS 783227 WITH SCORE 784302.08
AT ITER 9239 NEW BEST:: SOT 5285882 SOS 1075048 HAS SOPS 1075048 HAS SOUS 783083 HAS SOUPS 783083 WITH SCORE 784158.048
AT ITER 9259 NEW BEST:: SOT 5285840 SOS 1075006 HAS SOPS 1075006 HAS SOUS 782999 HAS SOUPS 782999 WITH SCORE 784074.006
AT ITER 9272 NEW BEST:: SOT 5285791 SOS 1075033 HAS SOPS 1075033 HAS SOUS 782060 HAS SOUPS 782060 WITH SCORE 783135.033
AT ITER 9284 NEW BEST:: SOT 5285791 SOS 1074983 HAS SOPS 1074983 HAS SOUS 782010 HAS SOUPS 782010 WITH SCORE 783084.983
AT ITER 9297 NEW BEST:: SOT 5285669 SOS 1074689 HAS SOPS 1074689 HAS SOUS 780962 HAS SOUPS 780962 WITH SCORE 782036.689
AT ITER 9301 NEW BEST:: SOT 5285662 SOS 1074668 HAS SOPS 1074668 HAS SOUS 780941 HAS SOUPS 780941 WITH SCORE 782015.668
AT ITER 9314 NEW BEST:: SOT 5285640 SOS 1074579 HAS SOPS 1074579 HAS SOUS 780919 HAS SOUPS 780919 WITH SCORE 781993.579
AT ITER 9331 NEW BEST:: SOT 5285504 SOS 1074366 HAS SOPS 1074366 HAS SOUS 780783 HAS SOUPS 780783 WITH SCORE 781857.366
AT ITER 9374 NEW BEST:: SOT 5285260 SOS 1072803 HAS SOPS 1072803 HAS SOUS 780366 HAS SOUPS 780366 WITH SCORE 781438.803
AT ITER 9378 NEW BEST:: SOT 5285114 SOS 1072399 HAS SOPS 1072399 HAS SOUS 779125 HAS SOUPS 779125 WITH SCORE 780197.399
AT ITER 9409 NEW BEST:: SOT 5284977 SOS 1072399 HAS SOPS 1072399 HAS SOUS 779042 HAS SOUPS 779042 WITH SCORE 780114.399
AT ITER 9431 NEW BEST:: SOT 5284889 SOS 1072223 HAS SOPS 1072223 HAS SOUS 779028 HAS SOUPS 779028 WITH SCORE 780100.223
AT ITER 9463 NEW BEST:: SOT 5284880 SOS 1072214 HAS SOPS 1072214 HAS SOUS 779019 HAS SOUPS 779019 WITH SCORE 780091.214
AT ITER 9464 NEW BEST:: SOT 5282500 SOS 1070066 HAS SOPS 1070066 HAS SOUS 779002 HAS SOUPS 779002 WITH SCORE 780072.066
AT ITER 9495 NEW BEST:: SOT 5282899 SOS 1067880 HAS SOPS 1067880 HAS SOUS 778989 HAS SOUPS 778989 WITH SCORE 780056.88
AT ITER 9515 NEW BEST:: SOT 5282429 SOS 1067776 HAS SOPS 1067776 HAS SOUS 778726 HAS SOUPS 778726 WITH SCORE 779793.776
AT ITER 9534 NEW BEST:: SOT 5282381 SOS 1067680 HAS SOPS 1067680 HAS SOUS 778630 HAS SOUPS 778630 WITH SCORE 779697.68
AT ITER 9544 NEW BEST:: SOT 5282380 SOS 1067668 HAS SOPS 1067668 HAS SOUS 778618 HAS SOUPS 778618 WITH SCORE 779685.668
AT ITER 9555 NEW BEST:: SOT 5282348 SOS 1067604 HAS SOPS 1067604 HAS SOUS 778554 HAS SOUPS 778554 WITH SCORE 779621.604
AT ITER 9573 NEW BEST:: SOT 5282333 SOS 1067588 HAS SOPS 1067588 HAS SOUS 778538 HAS SOUPS 778538 WITH SCORE 779605.588
AT ITER 9584 NEW BEST:: SOT 5282059 SOS 1067416 HAS SOPS 1067416 HAS SOUS 778368 HAS SOUPS 778368 WITH SCORE 779435.416
AT ITER 9605 NEW BEST:: SOT 5281763 SOS 1067268 HAS SOPS 1067268 HAS SOUS 778070 HAS SOUPS 778070 WITH SCORE 779137.268
AT ITER 9612 NEW BEST:: SOT 5279576 SOS 1068893 HAS SOPS 1068893 HAS SOUS 776685 HAS SOUPS 776685 WITH SCORE 777753.893
AT ITER 9633 NEW BEST:: SOT 5279576 SOS 1068828 HAS SOPS 1068828 HAS SOUS 776620 HAS SOUPS 776620 WITH SCORE 777688.828
AT ITER 9638 NEW BEST:: SOT 5279550 SOS 1068762 HAS SOPS 1068762 HAS SOUS 776554 HAS SOUPS 776554 WITH SCORE 777622.762
AT ITER 9686 NEW BEST:: SOT 5279550 SOS 1068353 HAS SOPS 1068353 HAS SOUS 776513 HAS SOUPS 776513 WITH SCORE 777581.353
AT ITER 9693 NEW BEST:: SOT 5279550 SOS 1068306 HAS SOPS 1068306 HAS SOUS 776513 HAS SOUPS 776513 WITH SCORE 777581.306
AT ITER 9694 NEW BEST:: SOT 5279424 SOS 1068162 HAS SOPS 1068162 HAS SOUS 776513 HAS SOUPS 776513 WITH SCORE 777581.162
AT ITER 9712 NEW BEST:: SOT 5279294 SOS 1068031 HAS SOPS 1068031 HAS SOUS 776376 HAS SOUPS 776376 WITH SCORE 777444.031
AT ITER 9741 NEW BEST:: SOT 5279197 SOS 1067934 HAS SOPS 1067934 HAS SOUS 776279 HAS SOUPS 776279 WITH SCORE 777346.934
AT ITER 9747 NEW BEST:: SOT 5279138 SOS 1067817 HAS SOPS 1067817 HAS SOUS 776162 HAS SOUPS 776162 WITH SCORE 777229.817
AT ITER 9753 NEW BEST:: SOT 5279039 SOS 1067736 HAS SOPS 1067736 HAS SOUS 776081 HAS SOUPS 776081 WITH SCORE 777148.736
AT ITER 9754 NEW BEST:: SOT 5281019 SOS 1070545 HAS SOPS 1070545 HAS SOUS 775666 HAS SOUPS 775666 WITH SCORE 776736.545
AT ITER 9787 NEW BEST:: SOT 5281019 SOS 1070352 HAS SOPS 1070352 HAS SOUS 775473 HAS SOUPS 775473 WITH SCORE 776543.352
AT ITER 9822 NEW BEST:: SOT 5280729 SOS 1069955 HAS SOPS 1069955 HAS SOUS 774893 HAS SOUPS 774893 WITH SCORE 775962.955
AT ITER 9842 NEW BEST:: SOT 5280729 SOS 1069942 HAS SOPS 1069942 HAS SOUS 774880 HAS SOUPS 774880 WITH SCORE 775949.942
AT ITER 9857 NEW BEST:: SOT 5280539 SOS 1069372 HAS SOPS 1069372 HAS SOUS 774500 HAS SOUPS 774500 WITH SCORE 775569.372
AT ITER 9902 NEW BEST:: SOT 5280462 SOS 1069218 HAS SOPS 1069218 HAS SOUS 774422 HAS SOUPS 774422 WITH SCORE 775491.218
AT ITER 9915 NEW BEST:: SOT 5280127 SOS 1068350 HAS SOPS 1068350 HAS SOUS 773752 HAS SOUPS 773752 WITH SCORE 774820.35
AT ITER 9920 NEW BEST:: SOT 5279990 SOS 1068213 HAS SOPS 1068213 HAS SOUS 773615 HAS SOUPS 773615 WITH SCORE 774683.213
AT ITER 9927 NEW BEST:: SOT 5279943 SOS 1067936 HAS SOPS 1067936 HAS SOUS 773521 HAS SOUPS 773521 WITH SCORE 774588.936
AT ITER 9934 NEW BEST:: SOT 5279671 SOS 1067120 HAS SOPS 1067120 HAS SOUS 772705 HAS SOUPS 772705 WITH SCORE 773772.12
AT ITER 9998 NEW BEST:: SOT 5279671 SOS 1067288 HAS SOPS 1067288 HAS SOUS 772668 HAS SOUPS 772668 WITH SCORE 773735.288

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="ASLink-PT-06b"
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 ASLink-PT-06b, 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 r003-smll-158897508100097"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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