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.r033-smll-158901925900296.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 CloudDeployment-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 308K 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 1589142905734

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

Filename model.pnml
Petri model created: 859 places, 1152 transitions, 4030 arcs.
AT ITER 0 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.944
AT ITER 2 NEW BEST:: SOT 596753 SOS 163443 HAS SOPS 163443 HAS SOUS 112556 HAS SOUPS 112556 WITH SCORE 112719.443
AT ITER 3 NEW BEST:: SOT 596752 SOS 163441 HAS SOPS 163441 HAS SOUS 112554 HAS SOUPS 112554 WITH SCORE 112717.441
AT ITER 5 NEW BEST:: SOT 596784 SOS 163505 HAS SOPS 163505 HAS SOUS 112433 HAS SOUPS 112433 WITH SCORE 112596.505
AT ITER 14 NEW BEST:: SOT 596712 SOS 163073 HAS SOPS 163073 HAS SOUS 112289 HAS SOUPS 112289 WITH SCORE 112452.073
AT ITER 17 NEW BEST:: SOT 596712 SOS 163073 HAS SOPS 163073 HAS SOUS 112286 HAS SOUPS 112286 WITH SCORE 112449.073
AT ITER 33 NEW BEST:: SOT 596712 SOS 165833 HAS SOPS 165833 HAS SOUS 112281 HAS SOUPS 112281 WITH SCORE 112446.833
AT ITER 37 NEW BEST:: SOT 596116 SOS 165981 HAS SOPS 165981 HAS SOUS 112066 HAS SOUPS 112066 WITH SCORE 112231.981
AT ITER 66 NEW BEST:: SOT 595940 SOS 165965 HAS SOPS 165965 HAS SOUS 111890 HAS SOUPS 111890 WITH SCORE 112055.965
AT ITER 73 NEW BEST:: SOT 595933 SOS 165912 HAS SOPS 165912 HAS SOUS 111860 HAS SOUPS 111860 WITH SCORE 112025.912
AT ITER 86 NEW BEST:: SOT 595844 SOS 165979 HAS SOPS 165979 HAS SOUS 111820 HAS SOUPS 111820 WITH SCORE 111985.979
AT ITER 95 NEW BEST:: SOT 595899 SOS 165955 HAS SOPS 165955 HAS SOUS 111796 HAS SOUPS 111796 WITH SCORE 111961.955
AT ITER 101 NEW BEST:: SOT 595724 SOS 165556 HAS SOPS 165556 HAS SOUS 111514 HAS SOUPS 111514 WITH SCORE 111679.556
AT ITER 125 NEW BEST:: SOT 595728 SOS 165564 HAS SOPS 165564 HAS SOUS 111488 HAS SOUPS 111488 WITH SCORE 111653.564
AT ITER 128 NEW BEST:: SOT 595233 SOS 165159 HAS SOPS 165159 HAS SOUS 110987 HAS SOUPS 110987 WITH SCORE 111152.159
AT ITER 137 NEW BEST:: SOT 595147 SOS 165159 HAS SOPS 165159 HAS SOUS 110901 HAS SOUPS 110901 WITH SCORE 111066.159
AT ITER 140 NEW BEST:: SOT 594990 SOS 165008 HAS SOPS 165008 HAS SOUS 110759 HAS SOUPS 110759 WITH SCORE 110924.008
AT ITER 147 NEW BEST:: SOT 594934 SOS 164896 HAS SOPS 164896 HAS SOUS 110647 HAS SOUPS 110647 WITH SCORE 110811.896
AT ITER 148 NEW BEST:: SOT 594605 SOS 168764 HAS SOPS 168764 HAS SOUS 110499 HAS SOUPS 110499 WITH SCORE 110667.764
AT ITER 155 NEW BEST:: SOT 594581 SOS 168740 HAS SOPS 168740 HAS SOUS 110498 HAS SOUPS 110498 WITH SCORE 110666.74
AT ITER 166 NEW BEST:: SOT 594552 SOS 168766 HAS SOPS 168766 HAS SOUS 110481 HAS SOUPS 110481 WITH SCORE 110649.766
AT ITER 195 NEW BEST:: SOT 594474 SOS 168479 HAS SOPS 168479 HAS SOUS 110363 HAS SOUPS 110363 WITH SCORE 110531.479
AT ITER 200 NEW BEST:: SOT 594316 SOS 168400 HAS SOPS 168400 HAS SOUS 110205 HAS SOUPS 110205 WITH SCORE 110373.4
AT ITER 211 NEW BEST:: SOT 594231 SOS 168168 HAS SOPS 168168 HAS SOUS 110035 HAS SOUPS 110035 WITH SCORE 110203.168
AT ITER 213 NEW BEST:: SOT 594107 SOS 168168 HAS SOPS 168168 HAS SOUS 109973 HAS SOUPS 109973 WITH SCORE 110141.168
AT ITER 222 NEW BEST:: SOT 594055 SOS 168182 HAS SOPS 168182 HAS SOUS 109805 HAS SOUPS 109805 WITH SCORE 109973.182
AT ITER 228 NEW BEST:: SOT 593942 SOS 168069 HAS SOPS 168069 HAS SOUS 108917 HAS SOUPS 108917 WITH SCORE 109085.069
AT ITER 258 NEW BEST:: SOT 593857 SOS 167984 HAS SOPS 167984 HAS SOUS 108832 HAS SOUPS 108832 WITH SCORE 108999.984
AT ITER 266 NEW BEST:: SOT 593790 SOS 167850 HAS SOPS 167850 HAS SOUS 108698 HAS SOUPS 108698 WITH SCORE 108865.85
AT ITER 294 NEW BEST:: SOT 593784 SOS 167838 HAS SOPS 167838 HAS SOUS 108637 HAS SOUPS 108637 WITH SCORE 108804.838
AT ITER 309 NEW BEST:: SOT 593812 SOS 167762 HAS SOPS 167762 HAS SOUS 108599 HAS SOUPS 108599 WITH SCORE 108766.762
AT ITER 318 NEW BEST:: SOT 593784 SOS 167706 HAS SOPS 167706 HAS SOUS 108543 HAS SOUPS 108543 WITH SCORE 108710.706
AT ITER 345 NEW BEST:: SOT 593766 SOS 167703 HAS SOPS 167703 HAS SOUS 108525 HAS SOUPS 108525 WITH SCORE 108692.703
AT ITER 361 NEW BEST:: SOT 593617 SOS 167658 HAS SOPS 167658 HAS SOUS 108376 HAS SOUPS 108376 WITH SCORE 108543.658
AT ITER 382 NEW BEST:: SOT 593574 SOS 167572 HAS SOPS 167572 HAS SOUS 108253 HAS SOUPS 108253 WITH SCORE 108420.572
AT ITER 408 NEW BEST:: SOT 593573 SOS 167570 HAS SOPS 167570 HAS SOUS 108251 HAS SOUPS 108251 WITH SCORE 108418.57
AT ITER 415 NEW BEST:: SOT 593572 SOS 167568 HAS SOPS 167568 HAS SOUS 108249 HAS SOUPS 108249 WITH SCORE 108416.568
AT ITER 416 NEW BEST:: SOT 593556 SOS 167536 HAS SOPS 167536 HAS SOUS 108069 HAS SOUPS 108069 WITH SCORE 108236.536
AT ITER 418 NEW BEST:: SOT 593532 SOS 167556 HAS SOPS 167556 HAS SOUS 108055 HAS SOUPS 108055 WITH SCORE 108222.556
AT ITER 424 NEW BEST:: SOT 593512 SOS 167825 HAS SOPS 167825 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108186.825
AT ITER 426 NEW BEST:: SOT 593446 SOS 167759 HAS SOPS 167759 HAS SOUS 107986 HAS SOUPS 107986 WITH SCORE 108153.759
AT ITER 433 NEW BEST:: SOT 593448 SOS 167763 HAS SOPS 167763 HAS SOUS 107848 HAS SOUPS 107848 WITH SCORE 108015.763
AT ITER 458 NEW BEST:: SOT 593307 SOS 167481 HAS SOPS 167481 HAS SOUS 107566 HAS SOUPS 107566 WITH SCORE 107733.481
AT ITER 464 NEW BEST:: SOT 593315 SOS 167461 HAS SOPS 167461 HAS SOUS 107546 HAS SOUPS 107546 WITH SCORE 107713.461
AT ITER 469 NEW BEST:: SOT 593086 SOS 167347 HAS SOPS 167347 HAS SOUS 107387 HAS SOUPS 107387 WITH SCORE 107554.347
AT ITER 475 NEW BEST:: SOT 593067 SOS 167309 HAS SOPS 167309 HAS SOUS 107349 HAS SOUPS 107349 WITH SCORE 107516.309
AT ITER 478 NEW BEST:: SOT 593067 SOS 167296 HAS SOPS 167296 HAS SOUS 107336 HAS SOUPS 107336 WITH SCORE 107503.296
AT ITER 488 NEW BEST:: SOT 593034 SOS 167230 HAS SOPS 167230 HAS SOUS 107270 HAS SOUPS 107270 WITH SCORE 107437.23
AT ITER 507 NEW BEST:: SOT 592997 SOS 167156 HAS SOPS 167156 HAS SOUS 107233 HAS SOUPS 107233 WITH SCORE 107400.156
AT ITER 511 NEW BEST:: SOT 592994 SOS 167150 HAS SOPS 167150 HAS SOUS 107227 HAS SOUPS 107227 WITH SCORE 107394.15
AT ITER 521 NEW BEST:: SOT 592994 SOS 167004 HAS SOPS 167004 HAS SOUS 107227 HAS SOUPS 107227 WITH SCORE 107394.004
AT ITER 525 NEW BEST:: SOT 592963 SOS 167026 HAS SOPS 167026 HAS SOUS 107207 HAS SOUPS 107207 WITH SCORE 107374.026
AT ITER 558 NEW BEST:: SOT 592822 SOS 167176 HAS SOPS 167176 HAS SOUS 107110 HAS SOUPS 107110 WITH SCORE 107277.176
AT ITER 585 NEW BEST:: SOT 592822 SOS 167036 HAS SOPS 167036 HAS SOUS 107017 HAS SOUPS 107017 WITH SCORE 107184.036
AT ITER 600 NEW BEST:: SOT 592448 SOS 167627 HAS SOPS 167627 HAS SOUS 106746 HAS SOUPS 106746 WITH SCORE 106913.627
AT ITER 615 NEW BEST:: SOT 592507 SOS 167541 HAS SOPS 167541 HAS SOUS 106666 HAS SOUPS 106666 WITH SCORE 106833.541
AT ITER 624 NEW BEST:: SOT 592507 SOS 167680 HAS SOPS 167680 HAS SOUS 106640 HAS SOUPS 106640 WITH SCORE 106807.68
AT ITER 625 NEW BEST:: SOT 592362 SOS 167702 HAS SOPS 167702 HAS SOUS 106623 HAS SOUPS 106623 WITH SCORE 106790.702
AT ITER 636 NEW BEST:: SOT 592362 SOS 167702 HAS SOPS 167702 HAS SOUS 106622 HAS SOUPS 106622 WITH SCORE 106789.702
AT ITER 661 NEW BEST:: SOT 592245 SOS 167583 HAS SOPS 167583 HAS SOUS 106503 HAS SOUPS 106503 WITH SCORE 106670.583
AT ITER 669 NEW BEST:: SOT 592200 SOS 167642 HAS SOPS 167642 HAS SOUS 106470 HAS SOUPS 106470 WITH SCORE 106637.642
AT ITER 671 NEW BEST:: SOT 592200 SOS 167494 HAS SOPS 167494 HAS SOUS 106288 HAS SOUPS 106288 WITH SCORE 106455.494
AT ITER 687 NEW BEST:: SOT 592135 SOS 167680 HAS SOPS 167680 HAS SOUS 106223 HAS SOUPS 106223 WITH SCORE 106390.68
AT ITER 702 NEW BEST:: SOT 592135 SOS 167680 HAS SOPS 167680 HAS SOUS 106219 HAS SOUPS 106219 WITH SCORE 106386.68
AT ITER 733 NEW BEST:: SOT 591918 SOS 167260 HAS SOPS 167260 HAS SOUS 104923 HAS SOUPS 104923 WITH SCORE 105090.26
AT ITER 765 NEW BEST:: SOT 591888 SOS 167222 HAS SOPS 167222 HAS SOUS 104885 HAS SOUPS 104885 WITH SCORE 105052.222
AT ITER 787 NEW BEST:: SOT 591842 SOS 167198 HAS SOPS 167198 HAS SOUS 104839 HAS SOUPS 104839 WITH SCORE 105006.198
AT ITER 818 NEW BEST:: SOT 591781 SOS 167129 HAS SOPS 167129 HAS SOUS 104716 HAS SOUPS 104716 WITH SCORE 104883.129
AT ITER 836 NEW BEST:: SOT 591750 SOS 167556 HAS SOPS 167556 HAS SOUS 104546 HAS SOUPS 104546 WITH SCORE 104713.556
AT ITER 847 NEW BEST:: SOT 591724 SOS 167504 HAS SOPS 167504 HAS SOUS 104537 HAS SOUPS 104537 WITH SCORE 104704.504
AT ITER 850 NEW BEST:: SOT 591711 SOS 167491 HAS SOPS 167491 HAS SOUS 104537 HAS SOUPS 104537 WITH SCORE 104704.491
AT ITER 859 NEW BEST:: SOT 591711 SOS 167342 HAS SOPS 167342 HAS SOUS 104448 HAS SOUPS 104448 WITH SCORE 104615.342
AT ITER 870 NEW BEST:: SOT 591711 SOS 167253 HAS SOPS 167253 HAS SOUS 104345 HAS SOUPS 104345 WITH SCORE 104512.253
AT ITER 876 NEW BEST:: SOT 591607 SOS 167144 HAS SOPS 167144 HAS SOUS 104262 HAS SOUPS 104262 WITH SCORE 104429.144
AT ITER 880 NEW BEST:: SOT 591538 SOS 167006 HAS SOPS 167006 HAS SOUS 104239 HAS SOUPS 104239 WITH SCORE 104406.006
AT ITER 887 NEW BEST:: SOT 591538 SOS 167242 HAS SOPS 167242 HAS SOUS 104238 HAS SOUPS 104238 WITH SCORE 104405.242
AT ITER 889 NEW BEST:: SOT 591443 SOS 167052 HAS SOPS 167052 HAS SOUS 104067 HAS SOUPS 104067 WITH SCORE 104234.052
AT ITER 893 NEW BEST:: SOT 591302 SOS 166884 HAS SOPS 166884 HAS SOUS 103938 HAS SOUPS 103938 WITH SCORE 104104.884
AT ITER 902 NEW BEST:: SOT 591272 SOS 166824 HAS SOPS 166824 HAS SOUS 103878 HAS SOUPS 103878 WITH SCORE 104044.824
AT ITER 905 NEW BEST:: SOT 591271 SOS 166822 HAS SOPS 166822 HAS SOUS 103876 HAS SOUPS 103876 WITH SCORE 104042.822
AT ITER 910 NEW BEST:: SOT 591215 SOS 166870 HAS SOPS 166870 HAS SOUS 103873 HAS SOUPS 103873 WITH SCORE 104039.87
AT ITER 930 NEW BEST:: SOT 591070 SOS 166306 HAS SOPS 166306 HAS SOUS 103626 HAS SOUPS 103626 WITH SCORE 103792.306
AT ITER 935 NEW BEST:: SOT 591069 SOS 166304 HAS SOPS 166304 HAS SOUS 103624 HAS SOUPS 103624 WITH SCORE 103790.304
AT ITER 974 NEW BEST:: SOT 591128 SOS 166422 HAS SOPS 166422 HAS SOUS 103586 HAS SOUPS 103586 WITH SCORE 103752.422
AT ITER 981 NEW BEST:: SOT 591002 SOS 166242 HAS SOPS 166242 HAS SOUS 103386 HAS SOUPS 103386 WITH SCORE 103552.242
AT ITER 1001 NEW BEST:: SOT 590983 SOS 166204 HAS SOPS 166204 HAS SOUS 103348 HAS SOUPS 103348 WITH SCORE 103514.204
AT ITER 1003 NEW BEST:: SOT 590974 SOS 166186 HAS SOPS 166186 HAS SOUS 103330 HAS SOUPS 103330 WITH SCORE 103496.186
AT ITER 1009 NEW BEST:: SOT 590952 SOS 166164 HAS SOPS 166164 HAS SOUS 103308 HAS SOUPS 103308 WITH SCORE 103474.164
AT ITER 1047 NEW BEST:: SOT 590969 SOS 166518 HAS SOPS 166518 HAS SOUS 103295 HAS SOUPS 103295 WITH SCORE 103461.518
AT ITER 1067 NEW BEST:: SOT 590920 SOS 166420 HAS SOPS 166420 HAS SOUS 103197 HAS SOUPS 103197 WITH SCORE 103363.42
AT ITER 1069 NEW BEST:: SOT 591025 SOS 166755 HAS SOPS 166755 HAS SOUS 103156 HAS SOUPS 103156 WITH SCORE 103322.755
AT ITER 1086 NEW BEST:: SOT 591131 SOS 166593 HAS SOPS 166593 HAS SOUS 103100 HAS SOUPS 103100 WITH SCORE 103266.593
AT ITER 1093 NEW BEST:: SOT 591128 SOS 166653 HAS SOPS 166653 HAS SOUS 103098 HAS SOUPS 103098 WITH SCORE 103264.653
AT ITER 1098 NEW BEST:: SOT 591122 SOS 166641 HAS SOPS 166641 HAS SOUS 103088 HAS SOUPS 103088 WITH SCORE 103254.641
AT ITER 1124 NEW BEST:: SOT 591084 SOS 166603 HAS SOPS 166603 HAS SOUS 103088 HAS SOUPS 103088 WITH SCORE 103254.603
AT ITER 1125 NEW BEST:: SOT 591056 SOS 166547 HAS SOPS 166547 HAS SOUS 103032 HAS SOUPS 103032 WITH SCORE 103198.547
AT ITER 1132 NEW BEST:: SOT 590998 SOS 166431 HAS SOPS 166431 HAS SOUS 102990 HAS SOUPS 102990 WITH SCORE 103156.431
AT ITER 1136 NEW BEST:: SOT 590960 SOS 166355 HAS SOPS 166355 HAS SOUS 102956 HAS SOUPS 102956 WITH SCORE 103122.355
AT ITER 1144 NEW BEST:: SOT 590958 SOS 166345 HAS SOPS 166345 HAS SOUS 102954 HAS SOUPS 102954 WITH SCORE 103120.345
AT ITER 1153 NEW BEST:: SOT 590958 SOS 166314 HAS SOPS 166314 HAS SOUS 102954 HAS SOUPS 102954 WITH SCORE 103120.314
AT ITER 1179 NEW BEST:: SOT 590953 SOS 166308 HAS SOPS 166308 HAS SOUS 102953 HAS SOUPS 102953 WITH SCORE 103119.308
AT ITER 1181 NEW BEST:: SOT 590951 SOS 166304 HAS SOPS 166304 HAS SOUS 102925 HAS SOUPS 102925 WITH SCORE 103091.304
AT ITER 1220 NEW BEST:: SOT 590918 SOS 166139 HAS SOPS 166139 HAS SOUS 102876 HAS SOUPS 102876 WITH SCORE 103042.139
AT ITER 1222 NEW BEST:: SOT 590845 SOS 165960 HAS SOPS 165960 HAS SOUS 102761 HAS SOUPS 102761 WITH SCORE 102926.96
AT ITER 1271 NEW BEST:: SOT 590719 SOS 165951 HAS SOPS 165951 HAS SOUS 102663 HAS SOUPS 102663 WITH SCORE 102828.951
AT ITER 1290 NEW BEST:: SOT 590613 SOS 166027 HAS SOPS 166027 HAS SOUS 102578 HAS SOUPS 102578 WITH SCORE 102744.027
AT ITER 1291 NEW BEST:: SOT 590613 SOS 166027 HAS SOPS 166027 HAS SOUS 102577 HAS SOUPS 102577 WITH SCORE 102743.027
AT ITER 1293 NEW BEST:: SOT 590613 SOS 165920 HAS SOPS 165920 HAS SOUS 102470 HAS SOUPS 102470 WITH SCORE 102635.92
AT ITER 1296 NEW BEST:: SOT 590611 SOS 165916 HAS SOPS 165916 HAS SOUS 102466 HAS SOUPS 102466 WITH SCORE 102631.916
AT ITER 1303 NEW BEST:: SOT 590594 SOS 165950 HAS SOPS 165950 HAS SOUS 102449 HAS SOUPS 102449 WITH SCORE 102614.95
AT ITER 1310 NEW BEST:: SOT 590509 SOS 165926 HAS SOPS 165926 HAS SOUS 102425 HAS SOUPS 102425 WITH SCORE 102590.926
AT ITER 1317 NEW BEST:: SOT 590509 SOS 165896 HAS SOPS 165896 HAS SOUS 102395 HAS SOUPS 102395 WITH SCORE 102560.896
AT ITER 1333 NEW BEST:: SOT 590491 SOS 165860 HAS SOPS 165860 HAS SOUS 102359 HAS SOUPS 102359 WITH SCORE 102524.86
AT ITER 1338 NEW BEST:: SOT 590483 SOS 165844 HAS SOPS 165844 HAS SOUS 102342 HAS SOUPS 102342 WITH SCORE 102507.844
AT ITER 1345 NEW BEST:: SOT 590432 SOS 165750 HAS SOPS 165750 HAS SOUS 102296 HAS SOUPS 102296 WITH SCORE 102461.75
AT ITER 1378 NEW BEST:: SOT 590430 SOS 165746 HAS SOPS 165746 HAS SOUS 102194 HAS SOUPS 102194 WITH SCORE 102359.746
AT ITER 1394 NEW BEST:: SOT 590403 SOS 165692 HAS SOPS 165692 HAS SOUS 102140 HAS SOUPS 102140 WITH SCORE 102305.692
AT ITER 1399 NEW BEST:: SOT 590160 SOS 165317 HAS SOPS 165317 HAS SOUS 101786 HAS SOUPS 101786 WITH SCORE 101951.317
AT ITER 1415 NEW BEST:: SOT 590152 SOS 165301 HAS SOPS 165301 HAS SOUS 101770 HAS SOUPS 101770 WITH SCORE 101935.301
AT ITER 1436 NEW BEST:: SOT 590151 SOS 165299 HAS SOPS 165299 HAS SOUS 101768 HAS SOUPS 101768 WITH SCORE 101933.299
AT ITER 1446 NEW BEST:: SOT 590151 SOS 165299 HAS SOPS 165299 HAS SOUS 101764 HAS SOUPS 101764 WITH SCORE 101929.299
AT ITER 1463 NEW BEST:: SOT 590012 SOS 165232 HAS SOPS 165232 HAS SOUS 101698 HAS SOUPS 101698 WITH SCORE 101863.232
AT ITER 1467 NEW BEST:: SOT 590011 SOS 165230 HAS SOPS 165230 HAS SOUS 101696 HAS SOUPS 101696 WITH SCORE 101861.23
AT ITER 1499 NEW BEST:: SOT 589851 SOS 164969 HAS SOPS 164969 HAS SOUS 101529 HAS SOUPS 101529 WITH SCORE 101693.969
AT ITER 1502 NEW BEST:: SOT 589851 SOS 164969 HAS SOPS 164969 HAS SOUS 101474 HAS SOUPS 101474 WITH SCORE 101638.969
AT ITER 1505 NEW BEST:: SOT 589803 SOS 164873 HAS SOPS 164873 HAS SOUS 101426 HAS SOUPS 101426 WITH SCORE 101590.873
AT ITER 1544 NEW BEST:: SOT 589801 SOS 164875 HAS SOPS 164875 HAS SOUS 101418 HAS SOUPS 101418 WITH SCORE 101582.875
AT ITER 1577 NEW BEST:: SOT 589758 SOS 164875 HAS SOPS 164875 HAS SOUS 101375 HAS SOUPS 101375 WITH SCORE 101539.875
AT ITER 1579 NEW BEST:: SOT 589734 SOS 164827 HAS SOPS 164827 HAS SOUS 101351 HAS SOUPS 101351 WITH SCORE 101515.827
AT ITER 1582 NEW BEST:: SOT 589733 SOS 164825 HAS SOPS 164825 HAS SOUS 101349 HAS SOUPS 101349 WITH SCORE 101513.825
AT ITER 1591 NEW BEST:: SOT 589731 SOS 164821 HAS SOPS 164821 HAS SOUS 101250 HAS SOUPS 101250 WITH SCORE 101414.821
AT ITER 1627 NEW BEST:: SOT 589716 SOS 164806 HAS SOPS 164806 HAS SOUS 101235 HAS SOUPS 101235 WITH SCORE 101399.806
AT ITER 1668 NEW BEST:: SOT 589668 SOS 164750 HAS SOPS 164750 HAS SOUS 101139 HAS SOUPS 101139 WITH SCORE 101303.75
AT ITER 1670 NEW BEST:: SOT 589699 SOS 164781 HAS SOPS 164781 HAS SOUS 101138 HAS SOUPS 101138 WITH SCORE 101302.781
AT ITER 1673 NEW BEST:: SOT 589604 SOS 164765 HAS SOPS 164765 HAS SOUS 101064 HAS SOUPS 101064 WITH SCORE 101228.765
AT ITER 1678 NEW BEST:: SOT 589595 SOS 164738 HAS SOPS 164738 HAS SOUS 101055 HAS SOUPS 101055 WITH SCORE 101219.738
AT ITER 1682 NEW BEST:: SOT 589448 SOS 165080 HAS SOPS 165080 HAS SOUS 100967 HAS SOUPS 100967 WITH SCORE 101132.08
AT ITER 1685 NEW BEST:: SOT 589381 SOS 164946 HAS SOPS 164946 HAS SOUS 100891 HAS SOUPS 100891 WITH SCORE 101055.946
AT ITER 1701 NEW BEST:: SOT 589397 SOS 164844 HAS SOPS 164844 HAS SOUS 100879 HAS SOUPS 100879 WITH SCORE 101043.844
AT ITER 1702 NEW BEST:: SOT 589409 SOS 164868 HAS SOPS 164868 HAS SOUS 100799 HAS SOUPS 100799 WITH SCORE 100963.868
AT ITER 1712 NEW BEST:: SOT 589346 SOS 164835 HAS SOPS 164835 HAS SOUS 100735 HAS SOUPS 100735 WITH SCORE 100899.835
AT ITER 1725 NEW BEST:: SOT 589346 SOS 164850 HAS SOPS 164850 HAS SOUS 100734 HAS SOUPS 100734 WITH SCORE 100898.85
AT ITER 1726 NEW BEST:: SOT 589344 SOS 164873 HAS SOPS 164873 HAS SOUS 100726 HAS SOUPS 100726 WITH SCORE 100890.873
AT ITER 1737 NEW BEST:: SOT 589319 SOS 164823 HAS SOPS 164823 HAS SOUS 100623 HAS SOUPS 100623 WITH SCORE 100787.823
AT ITER 1743 NEW BEST:: SOT 589336 SOS 164985 HAS SOPS 164985 HAS SOUS 100529 HAS SOUPS 100529 WITH SCORE 100693.985
AT ITER 1747 NEW BEST:: SOT 588996 SOS 164676 HAS SOPS 164676 HAS SOUS 100415 HAS SOUPS 100415 WITH SCORE 100579.676
AT ITER 1774 NEW BEST:: SOT 588965 SOS 164614 HAS SOPS 164614 HAS SOUS 100330 HAS SOUPS 100330 WITH SCORE 100494.614
AT ITER 1783 NEW BEST:: SOT 588934 SOS 164552 HAS SOPS 164552 HAS SOUS 100268 HAS SOUPS 100268 WITH SCORE 100432.552
AT ITER 1784 NEW BEST:: SOT 588976 SOS 164536 HAS SOPS 164536 HAS SOUS 100259 HAS SOUPS 100259 WITH SCORE 100423.536
AT ITER 1793 NEW BEST:: SOT 588976 SOS 164536 HAS SOPS 164536 HAS SOUS 100247 HAS SOUPS 100247 WITH SCORE 100411.536
AT ITER 1794 NEW BEST:: SOT 588976 SOS 164536 HAS SOPS 164536 HAS SOUS 100218 HAS SOUPS 100218 WITH SCORE 100382.536
AT ITER 1800 NEW BEST:: SOT 588847 SOS 164382 HAS SOPS 164382 HAS SOUS 100064 HAS SOUPS 100064 WITH SCORE 100228.382
AT ITER 1806 NEW BEST:: SOT 588847 SOS 164382 HAS SOPS 164382 HAS SOUS 100048 HAS SOUPS 100048 WITH SCORE 100212.382
AT ITER 1829 NEW BEST:: SOT 588660 SOS 164308 HAS SOPS 164308 HAS SOUS 99867 HAS SOUPS 99867 WITH SCORE 100031.308
AT ITER 1849 NEW BEST:: SOT 588660 SOS 164308 HAS SOPS 164308 HAS SOUS 99810 HAS SOUPS 99810 WITH SCORE 99974.308
AT ITER 1859 NEW BEST:: SOT 588621 SOS 164247 HAS SOPS 164247 HAS SOUS 99771 HAS SOUPS 99771 WITH SCORE 99935.247
AT ITER 1860 NEW BEST:: SOT 588548 SOS 164101 HAS SOPS 164101 HAS SOUS 99625 HAS SOUPS 99625 WITH SCORE 99789.101
AT ITER 1861 NEW BEST:: SOT 588547 SOS 164100 HAS SOPS 164100 HAS SOUS 99624 HAS SOUPS 99624 WITH SCORE 99788.1
AT ITER 1876 NEW BEST:: SOT 588537 SOS 164080 HAS SOPS 164080 HAS SOUS 99604 HAS SOUPS 99604 WITH SCORE 99768.08
AT ITER 1878 NEW BEST:: SOT 588524 SOS 164038 HAS SOPS 164038 HAS SOUS 99562 HAS SOUPS 99562 WITH SCORE 99726.038
AT ITER 1886 NEW BEST:: SOT 588354 SOS 163482 HAS SOPS 163482 HAS SOUS 99237 HAS SOUPS 99237 WITH SCORE 99400.482
AT ITER 1920 NEW BEST:: SOT 588337 SOS 163448 HAS SOPS 163448 HAS SOUS 99186 HAS SOUPS 99186 WITH SCORE 99349.448
AT ITER 1940 NEW BEST:: SOT 588303 SOS 163380 HAS SOPS 163380 HAS SOUS 99086 HAS SOUPS 99086 WITH SCORE 99249.38
AT ITER 1942 NEW BEST:: SOT 588299 SOS 163372 HAS SOPS 163372 HAS SOUS 99078 HAS SOUPS 99078 WITH SCORE 99241.372
AT ITER 1947 NEW BEST:: SOT 588299 SOS 163401 HAS SOPS 163401 HAS SOUS 99055 HAS SOUPS 99055 WITH SCORE 99218.401
AT ITER 1949 NEW BEST:: SOT 588315 SOS 163433 HAS SOPS 163433 HAS SOUS 98995 HAS SOUPS 98995 WITH SCORE 99158.433
AT ITER 1962 NEW BEST:: SOT 588315 SOS 163433 HAS SOPS 163433 HAS SOUS 98969 HAS SOUPS 98969 WITH SCORE 99132.433
AT ITER 1963 NEW BEST:: SOT 588334 SOS 163430 HAS SOPS 163430 HAS SOUS 98966 HAS SOUPS 98966 WITH SCORE 99129.43
AT ITER 1981 NEW BEST:: SOT 588334 SOS 163430 HAS SOPS 163430 HAS SOUS 98945 HAS SOUPS 98945 WITH SCORE 99108.43
AT ITER 1988 NEW BEST:: SOT 588333 SOS 163428 HAS SOPS 163428 HAS SOUS 98943 HAS SOUPS 98943 WITH SCORE 99106.428
AT ITER 2012 NEW BEST:: SOT 588333 SOS 163428 HAS SOPS 163428 HAS SOUS 98940 HAS SOUPS 98940 WITH SCORE 99103.428
AT ITER 2027 NEW BEST:: SOT 588252 SOS 163126 HAS SOPS 163126 HAS SOUS 98719 HAS SOUPS 98719 WITH SCORE 98882.126
AT ITER 2040 NEW BEST:: SOT 588252 SOS 163102 HAS SOPS 163102 HAS SOUS 98719 HAS SOUPS 98719 WITH SCORE 98882.102
AT ITER 2044 NEW BEST:: SOT 588262 SOS 163077 HAS SOPS 163077 HAS SOUS 98694 HAS SOUPS 98694 WITH SCORE 98857.077
AT ITER 2059 NEW BEST:: SOT 588423 SOS 162859 HAS SOPS 162859 HAS SOUS 98675 HAS SOUPS 98675 WITH SCORE 98837.859
AT ITER 2074 NEW BEST:: SOT 588306 SOS 162625 HAS SOPS 162625 HAS SOUS 98520 HAS SOUPS 98520 WITH SCORE 98682.625
AT ITER 2080 NEW BEST:: SOT 588243 SOS 162583 HAS SOPS 162583 HAS SOUS 98457 HAS SOUPS 98457 WITH SCORE 98619.583
AT ITER 2085 NEW BEST:: SOT 588357 SOS 162445 HAS SOPS 162445 HAS SOUS 98449 HAS SOUPS 98449 WITH SCORE 98611.445
AT ITER 2089 NEW BEST:: SOT 588349 SOS 162453 HAS SOPS 162453 HAS SOUS 98441 HAS SOUPS 98441 WITH SCORE 98603.453
AT ITER 2115 NEW BEST:: SOT 588164 SOS 162268 HAS SOPS 162268 HAS SOUS 97923 HAS SOUPS 97923 WITH SCORE 98085.268
AT ITER 2116 NEW BEST:: SOT 588164 SOS 162268 HAS SOPS 162268 HAS SOUS 97863 HAS SOUPS 97863 WITH SCORE 98025.268
AT ITER 2118 NEW BEST:: SOT 588143 SOS 162197 HAS SOPS 162197 HAS SOUS 97790 HAS SOUPS 97790 WITH SCORE 97952.197
AT ITER 2120 NEW BEST:: SOT 588169 SOS 162249 HAS SOPS 162249 HAS SOUS 97745 HAS SOUPS 97745 WITH SCORE 97907.249
AT ITER 2132 NEW BEST:: SOT 588168 SOS 162247 HAS SOPS 162247 HAS SOUS 97743 HAS SOUPS 97743 WITH SCORE 97905.247
AT ITER 2159 NEW BEST:: SOT 588190 SOS 162291 HAS SOPS 162291 HAS SOUS 97721 HAS SOUPS 97721 WITH SCORE 97883.291
AT ITER 2189 NEW BEST:: SOT 588169 SOS 162360 HAS SOPS 162360 HAS SOUS 97624 HAS SOUPS 97624 WITH SCORE 97786.36
AT ITER 2210 NEW BEST:: SOT 588168 SOS 162355 HAS SOPS 162355 HAS SOUS 97622 HAS SOUPS 97622 WITH SCORE 97784.355
AT ITER 2244 NEW BEST:: SOT 588096 SOS 162403 HAS SOPS 162403 HAS SOUS 97526 HAS SOUPS 97526 WITH SCORE 97688.403
AT ITER 2272 NEW BEST:: SOT 588119 SOS 162449 HAS SOPS 162449 HAS SOUS 97506 HAS SOUPS 97506 WITH SCORE 97668.449
AT ITER 2306 NEW BEST:: SOT 588096 SOS 162403 HAS SOPS 162403 HAS SOUS 97483 HAS SOUPS 97483 WITH SCORE 97645.403
AT ITER 2318 NEW BEST:: SOT 588093 SOS 162397 HAS SOPS 162397 HAS SOUS 97480 HAS SOUPS 97480 WITH SCORE 97642.397
AT ITER 2328 NEW BEST:: SOT 588052 SOS 162399 HAS SOPS 162399 HAS SOUS 97440 HAS SOUPS 97440 WITH SCORE 97602.399
AT ITER 2335 NEW BEST:: SOT 588037 SOS 162384 HAS SOPS 162384 HAS SOUS 97439 HAS SOUPS 97439 WITH SCORE 97601.384
AT ITER 2377 NEW BEST:: SOT 588033 SOS 162376 HAS SOPS 162376 HAS SOUS 97435 HAS SOUPS 97435 WITH SCORE 97597.376
AT ITER 2409 NEW BEST:: SOT 588060 SOS 161710 HAS SOPS 161710 HAS SOUS 97430 HAS SOUPS 97430 WITH SCORE 97591.71
AT ITER 2411 NEW BEST:: SOT 588053 SOS 161696 HAS SOPS 161696 HAS SOUS 97416 HAS SOUPS 97416 WITH SCORE 97577.696
AT ITER 2416 NEW BEST:: SOT 588053 SOS 161696 HAS SOPS 161696 HAS SOUS 97283 HAS SOUPS 97283 WITH SCORE 97444.696
AT ITER 2423 NEW BEST:: SOT 588053 SOS 161708 HAS SOPS 161708 HAS SOUS 97277 HAS SOUPS 97277 WITH SCORE 97438.708
AT ITER 2431 NEW BEST:: SOT 588040 SOS 161616 HAS SOPS 161616 HAS SOUS 97246 HAS SOUPS 97246 WITH SCORE 97407.616
AT ITER 2433 NEW BEST:: SOT 588039 SOS 161614 HAS SOPS 161614 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97405.614
AT ITER 2454 NEW BEST:: SOT 588038 SOS 161612 HAS SOPS 161612 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97405.612
AT ITER 2482 NEW BEST:: SOT 588038 SOS 161612 HAS SOPS 161612 HAS SOUS 97226 HAS SOUPS 97226 WITH SCORE 97387.612
AT ITER 2483 NEW BEST:: SOT 587944 SOS 161593 HAS SOPS 161593 HAS SOUS 97198 HAS SOUPS 97198 WITH SCORE 97359.593
AT ITER 2508 NEW BEST:: SOT 587934 SOS 161573 HAS SOPS 161573 HAS SOUS 97130 HAS SOUPS 97130 WITH SCORE 97291.573
AT ITER 2520 NEW BEST:: SOT 587895 SOS 162430 HAS SOPS 162430 HAS SOUS 97088 HAS SOUPS 97088 WITH SCORE 97250.43
AT ITER 2528 NEW BEST:: SOT 587831 SOS 162302 HAS SOPS 162302 HAS SOUS 96960 HAS SOUPS 96960 WITH SCORE 97122.302
AT ITER 2546 NEW BEST:: SOT 587831 SOS 162287 HAS SOPS 162287 HAS SOUS 96945 HAS SOUPS 96945 WITH SCORE 97107.287
AT ITER 2560 NEW BEST:: SOT 587831 SOS 162071 HAS SOPS 162071 HAS SOUS 96945 HAS SOUPS 96945 WITH SCORE 97107.071
AT ITER 2562 NEW BEST:: SOT 587831 SOS 162071 HAS SOPS 162071 HAS SOUS 96926 HAS SOUPS 96926 WITH SCORE 97088.071
AT ITER 2587 NEW BEST:: SOT 587891 SOS 162131 HAS SOPS 162131 HAS SOUS 96910 HAS SOUPS 96910 WITH SCORE 97072.131
AT ITER 2602 NEW BEST:: SOT 587891 SOS 162131 HAS SOPS 162131 HAS SOUS 96883 HAS SOUPS 96883 WITH SCORE 97045.131
AT ITER 2610 NEW BEST:: SOT 587855 SOS 162009 HAS SOPS 162009 HAS SOUS 96715 HAS SOUPS 96715 WITH SCORE 96877.009
AT ITER 2650 NEW BEST:: SOT 587855 SOS 162038 HAS SOPS 162038 HAS SOUS 96711 HAS SOUPS 96711 WITH SCORE 96873.038
AT ITER 2664 NEW BEST:: SOT 588088 SOS 162337 HAS SOPS 162337 HAS SOUS 96700 HAS SOUPS 96700 WITH SCORE 96862.337
AT ITER 2675 NEW BEST:: SOT 587892 SOS 161945 HAS SOPS 161945 HAS SOUS 96462 HAS SOUPS 96462 WITH SCORE 96623.945
AT ITER 2745 NEW BEST:: SOT 587892 SOS 161017 HAS SOPS 161017 HAS SOUS 96340 HAS SOUPS 96340 WITH SCORE 96501.017
AT ITER 2747 NEW BEST:: SOT 587914 SOS 161019 HAS SOPS 161019 HAS SOUS 96272 HAS SOUPS 96272 WITH SCORE 96433.019
AT ITER 2788 NEW BEST:: SOT 587886 SOS 160963 HAS SOPS 160963 HAS SOUS 96223 HAS SOUPS 96223 WITH SCORE 96383.963
AT ITER 2808 NEW BEST:: SOT 587886 SOS 160963 HAS SOPS 160963 HAS SOUS 96142 HAS SOUPS 96142 WITH SCORE 96302.963
AT ITER 2826 NEW BEST:: SOT 587774 SOS 160739 HAS SOPS 160739 HAS SOUS 95918 HAS SOUPS 95918 WITH SCORE 96078.739
AT ITER 2834 NEW BEST:: SOT 587751 SOS 160693 HAS SOPS 160693 HAS SOUS 95849 HAS SOUPS 95849 WITH SCORE 96009.693
AT ITER 2835 NEW BEST:: SOT 587735 SOS 160661 HAS SOPS 160661 HAS SOUS 95767 HAS SOUPS 95767 WITH SCORE 95927.661
AT ITER 2842 NEW BEST:: SOT 587719 SOS 160613 HAS SOPS 160613 HAS SOUS 95735 HAS SOUPS 95735 WITH SCORE 95895.613
AT ITER 2882 NEW BEST:: SOT 587719 SOS 161593 HAS SOPS 161593 HAS SOUS 95717 HAS SOUPS 95717 WITH SCORE 95878.593
AT ITER 2897 NEW BEST:: SOT 587914 SOS 162240 HAS SOPS 162240 HAS SOUS 95691 HAS SOUPS 95691 WITH SCORE 95853.24
AT ITER 2914 NEW BEST:: SOT 587885 SOS 162211 HAS SOPS 162211 HAS SOUS 95662 HAS SOUPS 95662 WITH SCORE 95824.211
AT ITER 2915 NEW BEST:: SOT 587885 SOS 162199 HAS SOPS 162199 HAS SOUS 95638 HAS SOUPS 95638 WITH SCORE 95800.199
AT ITER 2923 NEW BEST:: SOT 587893 SOS 162205 HAS SOPS 162205 HAS SOUS 95586 HAS SOUPS 95586 WITH SCORE 95748.205
AT ITER 2933 NEW BEST:: SOT 587877 SOS 162173 HAS SOPS 162173 HAS SOUS 95554 HAS SOUPS 95554 WITH SCORE 95716.173
AT ITER 2952 NEW BEST:: SOT 587867 SOS 162153 HAS SOPS 162153 HAS SOUS 95534 HAS SOUPS 95534 WITH SCORE 95696.153
AT ITER 2960 NEW BEST:: SOT 587712 SOS 163243 HAS SOPS 163243 HAS SOUS 95520 HAS SOUPS 95520 WITH SCORE 95683.243
AT ITER 2990 NEW BEST:: SOT 587721 SOS 163261 HAS SOPS 163261 HAS SOUS 95493 HAS SOUPS 95493 WITH SCORE 95656.261
AT ITER 2995 NEW BEST:: SOT 587709 SOS 163237 HAS SOPS 163237 HAS SOUS 95469 HAS SOUPS 95469 WITH SCORE 95632.237
AT ITER 3026 NEW BEST:: SOT 587706 SOS 163231 HAS SOPS 163231 HAS SOUS 95463 HAS SOUPS 95463 WITH SCORE 95626.231
AT ITER 3030 NEW BEST:: SOT 587706 SOS 163145 HAS SOPS 163145 HAS SOUS 95461 HAS SOUPS 95461 WITH SCORE 95624.145
AT ITER 3032 NEW BEST:: SOT 587689 SOS 163111 HAS SOPS 163111 HAS SOUS 95427 HAS SOUPS 95427 WITH SCORE 95590.111
AT ITER 3038 NEW BEST:: SOT 587562 SOS 162981 HAS SOPS 162981 HAS SOUS 95290 HAS SOUPS 95290 WITH SCORE 95452.981
AT ITER 3045 NEW BEST:: SOT 587551 SOS 162946 HAS SOPS 162946 HAS SOUS 95255 HAS SOUPS 95255 WITH SCORE 95417.946
AT ITER 3066 NEW BEST:: SOT 587552 SOS 162836 HAS SOPS 162836 HAS SOUS 95155 HAS SOUPS 95155 WITH SCORE 95317.836
AT ITER 3099 NEW BEST:: SOT 587605 SOS 162869 HAS SOPS 162869 HAS SOUS 95115 HAS SOUPS 95115 WITH SCORE 95277.869
AT ITER 3145 NEW BEST:: SOT 587542 SOS 162806 HAS SOPS 162806 HAS SOUS 95052 HAS SOUPS 95052 WITH SCORE 95214.806
AT ITER 3148 NEW BEST:: SOT 587506 SOS 162788 HAS SOPS 162788 HAS SOUS 95016 HAS SOUPS 95016 WITH SCORE 95178.788
AT ITER 3179 NEW BEST:: SOT 587488 SOS 162785 HAS SOPS 162785 HAS SOUS 95013 HAS SOUPS 95013 WITH SCORE 95175.785
AT ITER 3184 NEW BEST:: SOT 587453 SOS 162715 HAS SOPS 162715 HAS SOUS 94943 HAS SOUPS 94943 WITH SCORE 95105.715
AT ITER 3225 NEW BEST:: SOT 587435 SOS 162679 HAS SOPS 162679 HAS SOUS 94925 HAS SOUPS 94925 WITH SCORE 95087.679
AT ITER 3226 NEW BEST:: SOT 587453 SOS 162697 HAS SOPS 162697 HAS SOUS 94920 HAS SOUPS 94920 WITH SCORE 95082.697
AT ITER 3231 NEW BEST:: SOT 587492 SOS 162736 HAS SOPS 162736 HAS SOUS 94909 HAS SOUPS 94909 WITH SCORE 95071.736
AT ITER 3234 NEW BEST:: SOT 587424 SOS 162702 HAS SOPS 162702 HAS SOUS 94841 HAS SOUPS 94841 WITH SCORE 95003.702
AT ITER 3240 NEW BEST:: SOT 587415 SOS 162684 HAS SOPS 162684 HAS SOUS 94823 HAS SOUPS 94823 WITH SCORE 94985.684
AT ITER 3278 NEW BEST:: SOT 587172 SOS 162586 HAS SOPS 162586 HAS SOUS 94625 HAS SOUPS 94625 WITH SCORE 94787.586
AT ITER 3291 NEW BEST:: SOT 587207 SOS 162584 HAS SOPS 162584 HAS SOUS 94623 HAS SOUPS 94623 WITH SCORE 94785.584
AT ITER 3309 NEW BEST:: SOT 587181 SOS 162532 HAS SOPS 162532 HAS SOUS 94571 HAS SOUPS 94571 WITH SCORE 94733.532
AT ITER 3318 NEW BEST:: SOT 587140 SOS 162491 HAS SOPS 162491 HAS SOUS 94530 HAS SOUPS 94530 WITH SCORE 94692.491
AT ITER 3364 NEW BEST:: SOT 587072 SOS 162355 HAS SOPS 162355 HAS SOUS 94487 HAS SOUPS 94487 WITH SCORE 94649.355
AT ITER 3374 NEW BEST:: SOT 587060 SOS 162331 HAS SOPS 162331 HAS SOUS 94451 HAS SOUPS 94451 WITH SCORE 94613.331
AT ITER 3383 NEW BEST:: SOT 587039 SOS 162289 HAS SOPS 162289 HAS SOUS 94430 HAS SOUPS 94430 WITH SCORE 94592.289
AT ITER 3395 NEW BEST:: SOT 587085 SOS 162228 HAS SOPS 162228 HAS SOUS 94329 HAS SOUPS 94329 WITH SCORE 94491.228
AT ITER 3404 NEW BEST:: SOT 587052 SOS 162162 HAS SOPS 162162 HAS SOUS 94296 HAS SOUPS 94296 WITH SCORE 94458.162
AT ITER 3407 NEW BEST:: SOT 586981 SOS 162392 HAS SOPS 162392 HAS SOUS 94267 HAS SOUPS 94267 WITH SCORE 94429.392
AT ITER 3420 NEW BEST:: SOT 586939 SOS 161135 HAS SOPS 161135 HAS SOUS 94208 HAS SOUPS 94208 WITH SCORE 94369.135
AT ITER 3429 NEW BEST:: SOT 586826 SOS 160909 HAS SOPS 160909 HAS SOUS 94051 HAS SOUPS 94051 WITH SCORE 94211.909
AT ITER 3448 NEW BEST:: SOT 586777 SOS 160811 HAS SOPS 160811 HAS SOUS 94002 HAS SOUPS 94002 WITH SCORE 94162.811
AT ITER 3450 NEW BEST:: SOT 586777 SOS 160811 HAS SOPS 160811 HAS SOUS 93975 HAS SOUPS 93975 WITH SCORE 94135.811
AT ITER 3479 NEW BEST:: SOT 586772 SOS 160801 HAS SOPS 160801 HAS SOUS 93955 HAS SOUPS 93955 WITH SCORE 94115.801
AT ITER 3492 NEW BEST:: SOT 586763 SOS 160792 HAS SOPS 160792 HAS SOUS 93946 HAS SOUPS 93946 WITH SCORE 94106.792
AT ITER 3494 NEW BEST:: SOT 587130 SOS 160762 HAS SOPS 160762 HAS SOUS 93944 HAS SOUPS 93944 WITH SCORE 94104.762
AT ITER 3498 NEW BEST:: SOT 587084 SOS 160726 HAS SOPS 160726 HAS SOUS 93908 HAS SOUPS 93908 WITH SCORE 94068.726
AT ITER 3531 NEW BEST:: SOT 587055 SOS 160632 HAS SOPS 160632 HAS SOUS 93814 HAS SOUPS 93814 WITH SCORE 93974.632
AT ITER 3546 NEW BEST:: SOT 587060 SOS 160633 HAS SOPS 160633 HAS SOUS 93806 HAS SOUPS 93806 WITH SCORE 93966.633
AT ITER 3549 NEW BEST:: SOT 587027 SOS 160525 HAS SOPS 160525 HAS SOUS 93773 HAS SOUPS 93773 WITH SCORE 93933.525
AT ITER 3551 NEW BEST:: SOT 587007 SOS 160485 HAS SOPS 160485 HAS SOUS 93753 HAS SOUPS 93753 WITH SCORE 93913.485
AT ITER 3554 NEW BEST:: SOT 586999 SOS 160469 HAS SOPS 160469 HAS SOUS 93737 HAS SOUPS 93737 WITH SCORE 93897.469
AT ITER 3555 NEW BEST:: SOT 586977 SOS 160435 HAS SOPS 160435 HAS SOUS 93703 HAS SOUPS 93703 WITH SCORE 93863.435
AT ITER 3560 NEW BEST:: SOT 586998 SOS 160384 HAS SOPS 160384 HAS SOUS 93689 HAS SOUPS 93689 WITH SCORE 93849.384
AT ITER 3568 NEW BEST:: SOT 587007 SOS 160402 HAS SOPS 160402 HAS SOUS 93664 HAS SOUPS 93664 WITH SCORE 93824.402
AT ITER 3583 NEW BEST:: SOT 587007 SOS 160319 HAS SOPS 160319 HAS SOUS 93664 HAS SOUPS 93664 WITH SCORE 93824.319
AT ITER 3586 NEW BEST:: SOT 586984 SOS 160296 HAS SOPS 160296 HAS SOUS 93618 HAS SOUPS 93618 WITH SCORE 93778.296
AT ITER 3604 NEW BEST:: SOT 586981 SOS 160290 HAS SOPS 160290 HAS SOUS 93612 HAS SOUPS 93612 WITH SCORE 93772.29
AT ITER 3622 NEW BEST:: SOT 586941 SOS 160330 HAS SOPS 160330 HAS SOUS 93580 HAS SOUPS 93580 WITH SCORE 93740.33
AT ITER 3635 NEW BEST:: SOT 586940 SOS 160328 HAS SOPS 160328 HAS SOUS 93578 HAS SOUPS 93578 WITH SCORE 93738.328
AT ITER 3659 NEW BEST:: SOT 586871 SOS 160173 HAS SOPS 160173 HAS SOUS 93543 HAS SOUPS 93543 WITH SCORE 93703.173
AT ITER 3686 NEW BEST:: SOT 586871 SOS 159969 HAS SOPS 159969 HAS SOUS 93451 HAS SOUPS 93451 WITH SCORE 93610.969
AT ITER 3695 NEW BEST:: SOT 586853 SOS 159951 HAS SOPS 159951 HAS SOUS 93415 HAS SOUPS 93415 WITH SCORE 93574.951
AT ITER 3706 NEW BEST:: SOT 586853 SOS 159951 HAS SOPS 159951 HAS SOUS 93410 HAS SOUPS 93410 WITH SCORE 93569.951
AT ITER 3716 NEW BEST:: SOT 586882 SOS 160009 HAS SOPS 160009 HAS SOUS 93381 HAS SOUPS 93381 WITH SCORE 93541.009
AT ITER 3719 NEW BEST:: SOT 586871 SOS 159993 HAS SOPS 159993 HAS SOUS 93365 HAS SOUPS 93365 WITH SCORE 93524.993
AT ITER 3734 NEW BEST:: SOT 586799 SOS 159989 HAS SOPS 159989 HAS SOUS 93274 HAS SOUPS 93274 WITH SCORE 93433.989
AT ITER 3738 NEW BEST:: SOT 586786 SOS 159963 HAS SOPS 159963 HAS SOUS 93248 HAS SOUPS 93248 WITH SCORE 93407.963
AT ITER 3756 NEW BEST:: SOT 586793 SOS 159827 HAS SOPS 159827 HAS SOUS 93211 HAS SOUPS 93211 WITH SCORE 93370.827
AT ITER 3793 NEW BEST:: SOT 586780 SOS 159727 HAS SOPS 159727 HAS SOUS 93185 HAS SOUPS 93185 WITH SCORE 93344.727
AT ITER 3802 NEW BEST:: SOT 586771 SOS 159709 HAS SOPS 159709 HAS SOUS 93167 HAS SOUPS 93167 WITH SCORE 93326.709
AT ITER 3803 NEW BEST:: SOT 586697 SOS 159487 HAS SOPS 159487 HAS SOUS 93056 HAS SOUPS 93056 WITH SCORE 93215.487
AT ITER 3835 NEW BEST:: SOT 586727 SOS 159462 HAS SOPS 159462 HAS SOUS 93031 HAS SOUPS 93031 WITH SCORE 93190.462
AT ITER 3845 NEW BEST:: SOT 586699 SOS 159406 HAS SOPS 159406 HAS SOUS 92975 HAS SOUPS 92975 WITH SCORE 93134.406
AT ITER 3856 NEW BEST:: SOT 586698 SOS 159404 HAS SOPS 159404 HAS SOUS 92973 HAS SOUPS 92973 WITH SCORE 93132.404
AT ITER 3866 NEW BEST:: SOT 586690 SOS 159492 HAS SOPS 159492 HAS SOUS 92965 HAS SOUPS 92965 WITH SCORE 93124.492
AT ITER 3887 NEW BEST:: SOT 586623 SOS 159511 HAS SOPS 159511 HAS SOUS 92933 HAS SOUPS 92933 WITH SCORE 93092.511
AT ITER 3917 NEW BEST:: SOT 586612 SOS 159527 HAS SOPS 159527 HAS SOUS 92901 HAS SOUPS 92901 WITH SCORE 93060.527
AT ITER 3949 NEW BEST:: SOT 586502 SOS 159417 HAS SOPS 159417 HAS SOUS 92791 HAS SOUPS 92791 WITH SCORE 92950.417
AT ITER 3960 NEW BEST:: SOT 586485 SOS 159383 HAS SOPS 159383 HAS SOUS 92774 HAS SOUPS 92774 WITH SCORE 92933.383
AT ITER 3982 NEW BEST:: SOT 586470 SOS 159355 HAS SOPS 159355 HAS SOUS 92715 HAS SOUPS 92715 WITH SCORE 92874.355
AT ITER 3986 NEW BEST:: SOT 586470 SOS 159355 HAS SOPS 159355 HAS SOUS 92706 HAS SOUPS 92706 WITH SCORE 92865.355
AT ITER 4010 NEW BEST:: SOT 586464 SOS 159343 HAS SOPS 159343 HAS SOUS 92698 HAS SOUPS 92698 WITH SCORE 92857.343
AT ITER 4015 NEW BEST:: SOT 586464 SOS 159265 HAS SOPS 159265 HAS SOUS 92673 HAS SOUPS 92673 WITH SCORE 92832.265
AT ITER 4058 NEW BEST:: SOT 586427 SOS 159100 HAS SOPS 159100 HAS SOUS 92453 HAS SOUPS 92453 WITH SCORE 92612.1
AT ITER 4060 NEW BEST:: SOT 586397 SOS 159040 HAS SOPS 159040 HAS SOUS 92426 HAS SOUPS 92426 WITH SCORE 92585.04
AT ITER 4065 NEW BEST:: SOT 586447 SOS 158993 HAS SOPS 158993 HAS SOUS 92379 HAS SOUPS 92379 WITH SCORE 92537.993
AT ITER 4083 NEW BEST:: SOT 586447 SOS 158993 HAS SOPS 158993 HAS SOUS 92358 HAS SOUPS 92358 WITH SCORE 92516.993
AT ITER 4091 NEW BEST:: SOT 586433 SOS 158965 HAS SOPS 158965 HAS SOUS 92330 HAS SOUPS 92330 WITH SCORE 92488.965
AT ITER 4093 NEW BEST:: SOT 586403 SOS 158887 HAS SOPS 158887 HAS SOUS 92252 HAS SOUPS 92252 WITH SCORE 92410.887
AT ITER 4112 NEW BEST:: SOT 586388 SOS 158891 HAS SOPS 158891 HAS SOUS 92239 HAS SOUPS 92239 WITH SCORE 92397.891
AT ITER 4117 NEW BEST:: SOT 586306 SOS 159108 HAS SOPS 159108 HAS SOUS 92227 HAS SOUPS 92227 WITH SCORE 92386.108
AT ITER 4153 NEW BEST:: SOT 586257 SOS 159131 HAS SOPS 159131 HAS SOUS 92146 HAS SOUPS 92146 WITH SCORE 92305.131
AT ITER 4186 NEW BEST:: SOT 586250 SOS 159117 HAS SOPS 159117 HAS SOUS 92132 HAS SOUPS 92132 WITH SCORE 92291.117
AT ITER 4187 NEW BEST:: SOT 586285 SOS 159187 HAS SOPS 159187 HAS SOUS 92094 HAS SOUPS 92094 WITH SCORE 92253.187
AT ITER 4198 NEW BEST:: SOT 586255 SOS 159127 HAS SOPS 159127 HAS SOUS 92046 HAS SOUPS 92046 WITH SCORE 92205.127
AT ITER 4203 NEW BEST:: SOT 586255 SOS 159118 HAS SOPS 159118 HAS SOUS 92028 HAS SOUPS 92028 WITH SCORE 92187.118
AT ITER 4254 NEW BEST:: SOT 586244 SOS 159096 HAS SOPS 159096 HAS SOUS 92006 HAS SOUPS 92006 WITH SCORE 92165.096
AT ITER 4263 NEW BEST:: SOT 585941 SOS 159474 HAS SOPS 159474 HAS SOUS 92005 HAS SOUPS 92005 WITH SCORE 92164.474
AT ITER 4301 NEW BEST:: SOT 585632 SOS 159616 HAS SOPS 159616 HAS SOUS 91873 HAS SOUPS 91873 WITH SCORE 92032.616
AT ITER 4314 NEW BEST:: SOT 585601 SOS 159690 HAS SOPS 159690 HAS SOUS 91838 HAS SOUPS 91838 WITH SCORE 91997.69
AT ITER 4342 NEW BEST:: SOT 585550 SOS 159100 HAS SOPS 159100 HAS SOUS 91665 HAS SOUPS 91665 WITH SCORE 91824.1
AT ITER 4361 NEW BEST:: SOT 585550 SOS 159088 HAS SOPS 159088 HAS SOUS 91665 HAS SOUPS 91665 WITH SCORE 91824.088
AT ITER 4366 NEW BEST:: SOT 585459 SOS 159144 HAS SOPS 159144 HAS SOUS 91621 HAS SOUPS 91621 WITH SCORE 91780.144
AT ITER 4391 NEW BEST:: SOT 585438 SOS 159102 HAS SOPS 159102 HAS SOUS 91600 HAS SOUPS 91600 WITH SCORE 91759.102
AT ITER 4406 NEW BEST:: SOT 585428 SOS 159082 HAS SOPS 159082 HAS SOUS 91549 HAS SOUPS 91549 WITH SCORE 91708.082
AT ITER 4423 NEW BEST:: SOT 585345 SOS 159280 HAS SOPS 159280 HAS SOUS 91494 HAS SOUPS 91494 WITH SCORE 91653.28
AT ITER 4428 NEW BEST:: SOT 585345 SOS 159280 HAS SOPS 159280 HAS SOUS 91490 HAS SOUPS 91490 WITH SCORE 91649.28
AT ITER 4454 NEW BEST:: SOT 585345 SOS 159176 HAS SOPS 159176 HAS SOUS 91466 HAS SOUPS 91466 WITH SCORE 91625.176
AT ITER 4456 NEW BEST:: SOT 585347 SOS 159259 HAS SOPS 159259 HAS SOUS 91435 HAS SOUPS 91435 WITH SCORE 91594.259
AT ITER 4494 NEW BEST:: SOT 585341 SOS 159247 HAS SOPS 159247 HAS SOUS 91423 HAS SOUPS 91423 WITH SCORE 91582.247
AT ITER 4509 NEW BEST:: SOT 585310 SOS 159216 HAS SOPS 159216 HAS SOUS 91392 HAS SOUPS 91392 WITH SCORE 91551.216
AT ITER 4550 NEW BEST:: SOT 585038 SOS 159039 HAS SOPS 159039 HAS SOUS 91255 HAS SOUPS 91255 WITH SCORE 91414.039
AT ITER 4566 NEW BEST:: SOT 585006 SOS 158975 HAS SOPS 158975 HAS SOUS 91191 HAS SOUPS 91191 WITH SCORE 91349.975
AT ITER 4571 NEW BEST:: SOT 585092 SOS 159066 HAS SOPS 159066 HAS SOUS 91189 HAS SOUPS 91189 WITH SCORE 91348.066
AT ITER 4574 NEW BEST:: SOT 585104 SOS 159030 HAS SOPS 159030 HAS SOUS 91175 HAS SOUPS 91175 WITH SCORE 91334.03
AT ITER 4590 NEW BEST:: SOT 585063 SOS 159016 HAS SOPS 159016 HAS SOUS 91161 HAS SOUPS 91161 WITH SCORE 91320.016
AT ITER 4607 NEW BEST:: SOT 585020 SOS 158930 HAS SOPS 158930 HAS SOUS 91075 HAS SOUPS 91075 WITH SCORE 91233.93
AT ITER 4612 NEW BEST:: SOT 584868 SOS 158650 HAS SOPS 158650 HAS SOUS 90923 HAS SOUPS 90923 WITH SCORE 91081.65
AT ITER 4637 NEW BEST:: SOT 584805 SOS 158524 HAS SOPS 158524 HAS SOUS 90923 HAS SOUPS 90923 WITH SCORE 91081.524
AT ITER 4645 NEW BEST:: SOT 584777 SOS 158567 HAS SOPS 158567 HAS SOUS 90862 HAS SOUPS 90862 WITH SCORE 91020.567
AT ITER 4669 NEW BEST:: SOT 584717 SOS 158507 HAS SOPS 158507 HAS SOUS 90802 HAS SOUPS 90802 WITH SCORE 90960.507
AT ITER 4670 NEW BEST:: SOT 584695 SOS 158568 HAS SOPS 158568 HAS SOUS 90780 HAS SOUPS 90780 WITH SCORE 90938.568
AT ITER 4673 NEW BEST:: SOT 584681 SOS 158536 HAS SOPS 158536 HAS SOUS 90760 HAS SOUPS 90760 WITH SCORE 90918.536
AT ITER 4688 NEW BEST:: SOT 584633 SOS 158440 HAS SOPS 158440 HAS SOUS 90712 HAS SOUPS 90712 WITH SCORE 90870.44
AT ITER 4785 NEW BEST:: SOT 584639 SOS 158434 HAS SOPS 158434 HAS SOUS 90712 HAS SOUPS 90712 WITH SCORE 90870.434
AT ITER 4831 NEW BEST:: SOT 584591 SOS 158338 HAS SOPS 158338 HAS SOUS 90664 HAS SOUPS 90664 WITH SCORE 90822.338
AT ITER 4886 NEW BEST:: SOT 584591 SOS 158308 HAS SOPS 158308 HAS SOUS 90605 HAS SOUPS 90605 WITH SCORE 90763.308
AT ITER 4896 NEW BEST:: SOT 584535 SOS 158196 HAS SOPS 158196 HAS SOUS 90497 HAS SOUPS 90497 WITH SCORE 90655.196
AT ITER 4899 NEW BEST:: SOT 584532 SOS 158190 HAS SOPS 158190 HAS SOUS 90436 HAS SOUPS 90436 WITH SCORE 90594.19
AT ITER 4908 NEW BEST:: SOT 584532 SOS 158178 HAS SOPS 158178 HAS SOUS 90424 HAS SOUPS 90424 WITH SCORE 90582.178
AT ITER 4918 NEW BEST:: SOT 584587 SOS 157946 HAS SOPS 157946 HAS SOUS 90415 HAS SOUPS 90415 WITH SCORE 90572.946
AT ITER 4940 NEW BEST:: SOT 584587 SOS 157939 HAS SOPS 157939 HAS SOUS 90415 HAS SOUPS 90415 WITH SCORE 90572.939
AT ITER 4948 NEW BEST:: SOT 584571 SOS 157907 HAS SOPS 157907 HAS SOUS 90383 HAS SOUPS 90383 WITH SCORE 90540.907
AT ITER 5020 NEW BEST:: SOT 584468 SOS 158261 HAS SOPS 158261 HAS SOUS 90349 HAS SOUPS 90349 WITH SCORE 90507.261
AT ITER 5057 NEW BEST:: SOT 584418 SOS 158110 HAS SOPS 158110 HAS SOUS 90240 HAS SOUPS 90240 WITH SCORE 90398.11
AT ITER 5071 NEW BEST:: SOT 584410 SOS 158094 HAS SOPS 158094 HAS SOUS 90232 HAS SOUPS 90232 WITH SCORE 90390.094
AT ITER 5085 NEW BEST:: SOT 584375 SOS 158024 HAS SOPS 158024 HAS SOUS 90215 HAS SOUPS 90215 WITH SCORE 90373.024
AT ITER 5090 NEW BEST:: SOT 584388 SOS 158123 HAS SOPS 158123 HAS SOUS 90209 HAS SOUPS 90209 WITH SCORE 90367.123
AT ITER 5127 NEW BEST:: SOT 584287 SOS 157921 HAS SOPS 157921 HAS SOUS 90181 HAS SOUPS 90181 WITH SCORE 90338.921
AT ITER 5168 NEW BEST:: SOT 584269 SOS 157885 HAS SOPS 157885 HAS SOUS 90163 HAS SOUPS 90163 WITH SCORE 90320.885
AT ITER 5178 NEW BEST:: SOT 584235 SOS 157885 HAS SOPS 157885 HAS SOUS 90129 HAS SOUPS 90129 WITH SCORE 90286.885
AT ITER 5192 NEW BEST:: SOT 584271 SOS 157957 HAS SOPS 157957 HAS SOUS 90028 HAS SOUPS 90028 WITH SCORE 90185.957
AT ITER 5227 NEW BEST:: SOT 584233 SOS 157984 HAS SOPS 157984 HAS SOUS 89974 HAS SOUPS 89974 WITH SCORE 90131.984
AT ITER 5251 NEW BEST:: SOT 584233 SOS 157947 HAS SOPS 157947 HAS SOUS 89937 HAS SOUPS 89937 WITH SCORE 90094.947
AT ITER 5295 NEW BEST:: SOT 584221 SOS 157947 HAS SOPS 157947 HAS SOUS 89925 HAS SOUPS 89925 WITH SCORE 90082.947
AT ITER 5337 NEW BEST:: SOT 584211 SOS 157927 HAS SOPS 157927 HAS SOUS 89905 HAS SOUPS 89905 WITH SCORE 90062.927
AT ITER 5346 NEW BEST:: SOT 584211 SOS 157827 HAS SOPS 157827 HAS SOUS 89837 HAS SOUPS 89837 WITH SCORE 89994.827
AT ITER 5352 NEW BEST:: SOT 584210 SOS 157825 HAS SOPS 157825 HAS SOUS 89835 HAS SOUPS 89835 WITH SCORE 89992.825
AT ITER 5360 NEW BEST:: SOT 584210 SOS 157764 HAS SOPS 157764 HAS SOUS 89774 HAS SOUPS 89774 WITH SCORE 89931.764
AT ITER 5366 NEW BEST:: SOT 584251 SOS 157763 HAS SOPS 157763 HAS SOUS 89773 HAS SOUPS 89773 WITH SCORE 89930.763
AT ITER 5371 NEW BEST:: SOT 584206 SOS 157718 HAS SOPS 157718 HAS SOUS 89767 HAS SOUPS 89767 WITH SCORE 89924.718
AT ITER 5381 NEW BEST:: SOT 584203 SOS 157712 HAS SOPS 157712 HAS SOUS 89761 HAS SOUPS 89761 WITH SCORE 89918.712
AT ITER 5448 NEW BEST:: SOT 584203 SOS 157699 HAS SOPS 157699 HAS SOUS 89748 HAS SOUPS 89748 WITH SCORE 89905.699
AT ITER 5450 NEW BEST:: SOT 584203 SOS 157690 HAS SOPS 157690 HAS SOUS 89739 HAS SOUPS 89739 WITH SCORE 89896.69
AT ITER 5497 NEW BEST:: SOT 584180 SOS 157754 HAS SOPS 157754 HAS SOUS 89738 HAS SOUPS 89738 WITH SCORE 89895.754
AT ITER 5502 NEW BEST:: SOT 584180 SOS 157747 HAS SOPS 157747 HAS SOUS 89737 HAS SOUPS 89737 WITH SCORE 89894.747
AT ITER 5527 NEW BEST:: SOT 584177 SOS 157741 HAS SOPS 157741 HAS SOUS 89731 HAS SOUPS 89731 WITH SCORE 89888.741
AT ITER 5567 NEW BEST:: SOT 584177 SOS 157741 HAS SOPS 157741 HAS SOUS 89664 HAS SOUPS 89664 WITH SCORE 89821.741
AT ITER 5595 NEW BEST:: SOT 584118 SOS 157623 HAS SOPS 157623 HAS SOUS 89605 HAS SOUPS 89605 WITH SCORE 89762.623
AT ITER 5604 NEW BEST:: SOT 584117 SOS 157621 HAS SOPS 157621 HAS SOUS 89603 HAS SOUPS 89603 WITH SCORE 89760.621
AT ITER 5607 NEW BEST:: SOT 584107 SOS 157601 HAS SOPS 157601 HAS SOUS 89583 HAS SOUPS 89583 WITH SCORE 89740.601
AT ITER 5644 NEW BEST:: SOT 584095 SOS 157577 HAS SOPS 157577 HAS SOUS 89559 HAS SOUPS 89559 WITH SCORE 89716.577
AT ITER 5650 NEW BEST:: SOT 584086 SOS 157570 HAS SOPS 157570 HAS SOUS 89550 HAS SOUPS 89550 WITH SCORE 89707.57
AT ITER 5670 NEW BEST:: SOT 584000 SOS 157618 HAS SOPS 157618 HAS SOUS 89464 HAS SOUPS 89464 WITH SCORE 89621.618
AT ITER 5687 NEW BEST:: SOT 584000 SOS 157593 HAS SOPS 157593 HAS SOUS 89439 HAS SOUPS 89439 WITH SCORE 89596.593
AT ITER 5767 NEW BEST:: SOT 584000 SOS 157513 HAS SOPS 157513 HAS SOUS 89429 HAS SOUPS 89429 WITH SCORE 89586.513
AT ITER 5769 NEW BEST:: SOT 583915 SOS 157358 HAS SOPS 157358 HAS SOUS 89344 HAS SOUPS 89344 WITH SCORE 89501.358
AT ITER 5773 NEW BEST:: SOT 583999 SOS 157411 HAS SOPS 157411 HAS SOUS 89144 HAS SOUPS 89144 WITH SCORE 89301.411
AT ITER 5774 NEW BEST:: SOT 583989 SOS 157441 HAS SOPS 157441 HAS SOUS 89124 HAS SOUPS 89124 WITH SCORE 89281.441
AT ITER 5788 NEW BEST:: SOT 583970 SOS 157403 HAS SOPS 157403 HAS SOUS 89018 HAS SOUPS 89018 WITH SCORE 89175.403
AT ITER 5801 NEW BEST:: SOT 583929 SOS 157340 HAS SOPS 157340 HAS SOUS 88999 HAS SOUPS 88999 WITH SCORE 89156.34
AT ITER 5836 NEW BEST:: SOT 583868 SOS 157218 HAS SOPS 157218 HAS SOUS 88938 HAS SOUPS 88938 WITH SCORE 89095.218
AT ITER 5839 NEW BEST:: SOT 583862 SOS 157212 HAS SOPS 157212 HAS SOUS 88932 HAS SOUPS 88932 WITH SCORE 89089.212
AT ITER 5841 NEW BEST:: SOT 583777 SOS 157063 HAS SOPS 157063 HAS SOUS 88772 HAS SOUPS 88772 WITH SCORE 88929.063
AT ITER 5852 NEW BEST:: SOT 583777 SOS 157012 HAS SOPS 157012 HAS SOUS 88670 HAS SOUPS 88670 WITH SCORE 88827.012
AT ITER 5865 NEW BEST:: SOT 583743 SOS 156993 HAS SOPS 156993 HAS SOUS 88636 HAS SOUPS 88636 WITH SCORE 88792.993
AT ITER 5880 NEW BEST:: SOT 583743 SOS 156993 HAS SOPS 156993 HAS SOUS 88635 HAS SOUPS 88635 WITH SCORE 88791.993
AT ITER 5884 NEW BEST:: SOT 583688 SOS 156883 HAS SOPS 156883 HAS SOUS 88563 HAS SOUPS 88563 WITH SCORE 88719.883
AT ITER 5887 NEW BEST:: SOT 583688 SOS 156883 HAS SOPS 156883 HAS SOUS 88562 HAS SOUPS 88562 WITH SCORE 88718.883
AT ITER 6003 NEW BEST:: SOT 583664 SOS 156835 HAS SOPS 156835 HAS SOUS 88477 HAS SOUPS 88477 WITH SCORE 88633.835
AT ITER 6004 NEW BEST:: SOT 583649 SOS 156805 HAS SOPS 156805 HAS SOUS 88460 HAS SOUPS 88460 WITH SCORE 88616.805
AT ITER 6013 NEW BEST:: SOT 583686 SOS 156741 HAS SOPS 156741 HAS SOUS 88423 HAS SOUPS 88423 WITH SCORE 88579.741
AT ITER 6046 NEW BEST:: SOT 583638 SOS 156805 HAS SOPS 156805 HAS SOUS 88405 HAS SOUPS 88405 WITH SCORE 88561.805
AT ITER 6064 NEW BEST:: SOT 583638 SOS 156827 HAS SOPS 156827 HAS SOUS 88399 HAS SOUPS 88399 WITH SCORE 88555.827
AT ITER 6077 NEW BEST:: SOT 583629 SOS 156809 HAS SOPS 156809 HAS SOUS 88381 HAS SOUPS 88381 WITH SCORE 88537.809
AT ITER 6085 NEW BEST:: SOT 583536 SOS 156716 HAS SOPS 156716 HAS SOUS 88381 HAS SOUPS 88381 WITH SCORE 88537.716
AT ITER 6257 NEW BEST:: SOT 583553 SOS 156750 HAS SOPS 156750 HAS SOUS 88363 HAS SOUPS 88363 WITH SCORE 88519.75
AT ITER 6283 NEW BEST:: SOT 583553 SOS 156732 HAS SOPS 156732 HAS SOUS 88345 HAS SOUPS 88345 WITH SCORE 88501.732
AT ITER 6305 NEW BEST:: SOT 583531 SOS 156622 HAS SOPS 156622 HAS SOUS 88301 HAS SOUPS 88301 WITH SCORE 88457.622
AT ITER 6324 NEW BEST:: SOT 583543 SOS 156208 HAS SOPS 156208 HAS SOUS 88240 HAS SOUPS 88240 WITH SCORE 88396.208
AT ITER 6416 NEW BEST:: SOT 583517 SOS 156198 HAS SOPS 156198 HAS SOUS 88230 HAS SOUPS 88230 WITH SCORE 88386.198
AT ITER 6431 NEW BEST:: SOT 583462 SOS 156119 HAS SOPS 156119 HAS SOUS 88181 HAS SOUPS 88181 WITH SCORE 88337.119
AT ITER 6457 NEW BEST:: SOT 583470 SOS 156106 HAS SOPS 156106 HAS SOUS 88168 HAS SOUPS 88168 WITH SCORE 88324.106
AT ITER 6463 NEW BEST:: SOT 583453 SOS 156072 HAS SOPS 156072 HAS SOUS 88134 HAS SOUPS 88134 WITH SCORE 88290.072
AT ITER 6506 NEW BEST:: SOT 583453 SOS 156071 HAS SOPS 156071 HAS SOUS 88133 HAS SOUPS 88133 WITH SCORE 88289.071
AT ITER 6510 NEW BEST:: SOT 583410 SOS 155861 HAS SOPS 155861 HAS SOUS 88047 HAS SOUPS 88047 WITH SCORE 88202.861
AT ITER 6559 NEW BEST:: SOT 583349 SOS 155800 HAS SOPS 155800 HAS SOUS 87970 HAS SOUPS 87970 WITH SCORE 88125.8
AT ITER 6598 NEW BEST:: SOT 583349 SOS 155800 HAS SOPS 155800 HAS SOUS 87959 HAS SOUPS 87959 WITH SCORE 88114.8
AT ITER 6614 NEW BEST:: SOT 583348 SOS 155798 HAS SOPS 155798 HAS SOUS 87957 HAS SOUPS 87957 WITH SCORE 88112.798
AT ITER 6641 NEW BEST:: SOT 583348 SOS 155798 HAS SOPS 155798 HAS SOUS 87931 HAS SOUPS 87931 WITH SCORE 88086.798
AT ITER 6656 NEW BEST:: SOT 583315 SOS 155732 HAS SOPS 155732 HAS SOUS 87837 HAS SOUPS 87837 WITH SCORE 87992.732
AT ITER 6659 NEW BEST:: SOT 583162 SOS 155507 HAS SOPS 155507 HAS SOUS 87634 HAS SOUPS 87634 WITH SCORE 87789.507
AT ITER 6670 NEW BEST:: SOT 583015 SOS 155360 HAS SOPS 155360 HAS SOUS 87487 HAS SOUPS 87487 WITH SCORE 87642.36
AT ITER 6683 NEW BEST:: SOT 582967 SOS 155288 HAS SOPS 155288 HAS SOUS 87415 HAS SOUPS 87415 WITH SCORE 87570.288
AT ITER 6738 NEW BEST:: SOT 582972 SOS 155094 HAS SOPS 155094 HAS SOUS 87338 HAS SOUPS 87338 WITH SCORE 87493.094
AT ITER 6821 NEW BEST:: SOT 582947 SOS 155044 HAS SOPS 155044 HAS SOUS 87187 HAS SOUPS 87187 WITH SCORE 87342.044
AT ITER 6860 NEW BEST:: SOT 582927 SOS 155075 HAS SOPS 155075 HAS SOUS 87134 HAS SOUPS 87134 WITH SCORE 87289.075
AT ITER 6868 NEW BEST:: SOT 582927 SOS 155060 HAS SOPS 155060 HAS SOUS 87129 HAS SOUPS 87129 WITH SCORE 87284.06
AT ITER 6873 NEW BEST:: SOT 582897 SOS 155000 HAS SOPS 155000 HAS SOUS 87051 HAS SOUPS 87051 WITH SCORE 87206.0
AT ITER 6900 NEW BEST:: SOT 582884 SOS 155003 HAS SOPS 155003 HAS SOUS 87014 HAS SOUPS 87014 WITH SCORE 87169.003
AT ITER 6912 NEW BEST:: SOT 582873 SOS 154981 HAS SOPS 154981 HAS SOUS 86968 HAS SOUPS 86968 WITH SCORE 87122.981
AT ITER 6966 NEW BEST:: SOT 582873 SOS 154981 HAS SOPS 154981 HAS SOUS 86950 HAS SOUPS 86950 WITH SCORE 87104.981
AT ITER 6979 NEW BEST:: SOT 582837 SOS 154909 HAS SOPS 154909 HAS SOUS 86887 HAS SOUPS 86887 WITH SCORE 87041.909
AT ITER 7058 NEW BEST:: SOT 582816 SOS 154867 HAS SOPS 154867 HAS SOUS 86868 HAS SOUPS 86868 WITH SCORE 87022.867
AT ITER 7142 NEW BEST:: SOT 582724 SOS 154794 HAS SOPS 154794 HAS SOUS 86776 HAS SOUPS 86776 WITH SCORE 86930.794
AT ITER 7144 NEW BEST:: SOT 582724 SOS 154683 HAS SOPS 154683 HAS SOUS 86694 HAS SOUPS 86694 WITH SCORE 86848.683
AT ITER 7145 NEW BEST:: SOT 582683 SOS 154653 HAS SOPS 154653 HAS SOUS 86658 HAS SOUPS 86658 WITH SCORE 86812.653
AT ITER 7146 NEW BEST:: SOT 582663 SOS 154681 HAS SOPS 154681 HAS SOUS 86638 HAS SOUPS 86638 WITH SCORE 86792.681
AT ITER 7155 NEW BEST:: SOT 582658 SOS 154661 HAS SOPS 154661 HAS SOUS 86623 HAS SOUPS 86623 WITH SCORE 86777.661
AT ITER 7168 NEW BEST:: SOT 582652 SOS 154643 HAS SOPS 154643 HAS SOUS 86617 HAS SOUPS 86617 WITH SCORE 86771.643
AT ITER 7170 NEW BEST:: SOT 582651 SOS 154641 HAS SOPS 154641 HAS SOUS 86615 HAS SOUPS 86615 WITH SCORE 86769.641
AT ITER 7202 NEW BEST:: SOT 582649 SOS 154637 HAS SOPS 154637 HAS SOUS 86592 HAS SOUPS 86592 WITH SCORE 86746.637
AT ITER 7223 NEW BEST:: SOT 582727 SOS 154918 HAS SOPS 154918 HAS SOUS 86577 HAS SOUPS 86577 WITH SCORE 86731.918
AT ITER 7227 NEW BEST:: SOT 582472 SOS 154663 HAS SOPS 154663 HAS SOUS 86415 HAS SOUPS 86415 WITH SCORE 86569.663
AT ITER 7271 NEW BEST:: SOT 582470 SOS 154661 HAS SOPS 154661 HAS SOUS 86413 HAS SOUPS 86413 WITH SCORE 86567.661
AT ITER 7304 NEW BEST:: SOT 582460 SOS 154641 HAS SOPS 154641 HAS SOUS 86403 HAS SOUPS 86403 WITH SCORE 86557.641
AT ITER 7308 NEW BEST:: SOT 582460 SOS 154627 HAS SOPS 154627 HAS SOUS 86389 HAS SOUPS 86389 WITH SCORE 86543.627
AT ITER 7324 NEW BEST:: SOT 582427 SOS 154525 HAS SOPS 154525 HAS SOUS 86287 HAS SOUPS 86287 WITH SCORE 86441.525
AT ITER 7366 NEW BEST:: SOT 582374 SOS 154574 HAS SOPS 154574 HAS SOUS 86249 HAS SOUPS 86249 WITH SCORE 86403.574
AT ITER 7375 NEW BEST:: SOT 582358 SOS 154962 HAS SOPS 154962 HAS SOUS 86233 HAS SOUPS 86233 WITH SCORE 86387.962
AT ITER 7391 NEW BEST:: SOT 582358 SOS 154872 HAS SOPS 154872 HAS SOUS 86053 HAS SOUPS 86053 WITH SCORE 86207.872
AT ITER 7433 NEW BEST:: SOT 582420 SOS 154868 HAS SOPS 154868 HAS SOUS 86051 HAS SOUPS 86051 WITH SCORE 86205.868
AT ITER 7435 NEW BEST:: SOT 582420 SOS 154868 HAS SOPS 154868 HAS SOUS 86047 HAS SOUPS 86047 WITH SCORE 86201.868
AT ITER 7485 NEW BEST:: SOT 582359 SOS 154626 HAS SOPS 154626 HAS SOUS 85985 HAS SOUPS 85985 WITH SCORE 86139.626
AT ITER 7530 NEW BEST:: SOT 582206 SOS 154373 HAS SOPS 154373 HAS SOUS 85929 HAS SOUPS 85929 WITH SCORE 86083.373
AT ITER 7592 NEW BEST:: SOT 582204 SOS 154412 HAS SOPS 154412 HAS SOUS 85925 HAS SOUPS 85925 WITH SCORE 86079.412
AT ITER 7617 NEW BEST:: SOT 582075 SOS 154716 HAS SOPS 154716 HAS SOUS 85796 HAS SOUPS 85796 WITH SCORE 85950.716
AT ITER 7622 NEW BEST:: SOT 582060 SOS 154626 HAS SOPS 154626 HAS SOUS 85796 HAS SOUPS 85796 WITH SCORE 85950.626
AT ITER 7684 NEW BEST:: SOT 582048 SOS 154602 HAS SOPS 154602 HAS SOUS 85784 HAS SOUPS 85784 WITH SCORE 85938.602
AT ITER 7730 NEW BEST:: SOT 582014 SOS 154885 HAS SOPS 154885 HAS SOUS 85716 HAS SOUPS 85716 WITH SCORE 85870.885
AT ITER 7731 NEW BEST:: SOT 581999 SOS 154855 HAS SOPS 154855 HAS SOUS 85686 HAS SOUPS 85686 WITH SCORE 85840.855
AT ITER 7770 NEW BEST:: SOT 581987 SOS 154831 HAS SOPS 154831 HAS SOUS 85662 HAS SOUPS 85662 WITH SCORE 85816.831
AT ITER 7788 NEW BEST:: SOT 581986 SOS 154829 HAS SOPS 154829 HAS SOUS 85660 HAS SOUPS 85660 WITH SCORE 85814.829
AT ITER 7793 NEW BEST:: SOT 581976 SOS 154809 HAS SOPS 154809 HAS SOUS 85630 HAS SOUPS 85630 WITH SCORE 85784.809
AT ITER 7817 NEW BEST:: SOT 581927 SOS 154760 HAS SOPS 154760 HAS SOUS 85581 HAS SOUPS 85581 WITH SCORE 85735.76
AT ITER 7823 NEW BEST:: SOT 581928 SOS 154755 HAS SOPS 154755 HAS SOUS 85581 HAS SOUPS 85581 WITH SCORE 85735.755
AT ITER 7831 NEW BEST:: SOT 581938 SOS 154765 HAS SOPS 154765 HAS SOUS 85573 HAS SOUPS 85573 WITH SCORE 85727.765
AT ITER 7850 NEW BEST:: SOT 581939 SOS 154826 HAS SOPS 154826 HAS SOUS 85567 HAS SOUPS 85567 WITH SCORE 85721.826
AT ITER 7925 NEW BEST:: SOT 581934 SOS 154821 HAS SOPS 154821 HAS SOUS 85562 HAS SOUPS 85562 WITH SCORE 85716.821
AT ITER 7932 NEW BEST:: SOT 581902 SOS 154764 HAS SOPS 154764 HAS SOUS 85485 HAS SOUPS 85485 WITH SCORE 85639.764
AT ITER 7965 NEW BEST:: SOT 581890 SOS 154740 HAS SOPS 154740 HAS SOUS 85461 HAS SOUPS 85461 WITH SCORE 85615.74
AT ITER 7994 NEW BEST:: SOT 581865 SOS 154732 HAS SOPS 154732 HAS SOUS 85453 HAS SOUPS 85453 WITH SCORE 85607.732
AT ITER 8001 NEW BEST:: SOT 581813 SOS 154628 HAS SOPS 154628 HAS SOUS 85401 HAS SOUPS 85401 WITH SCORE 85555.628
AT ITER 8020 NEW BEST:: SOT 581797 SOS 154596 HAS SOPS 154596 HAS SOUS 85369 HAS SOUPS 85369 WITH SCORE 85523.596
AT ITER 8122 NEW BEST:: SOT 581752 SOS 154572 HAS SOPS 154572 HAS SOUS 85345 HAS SOUPS 85345 WITH SCORE 85499.572
AT ITER 8125 NEW BEST:: SOT 581752 SOS 154565 HAS SOPS 154565 HAS SOUS 85267 HAS SOUPS 85267 WITH SCORE 85421.565
AT ITER 8196 NEW BEST:: SOT 581745 SOS 154383 HAS SOPS 154383 HAS SOUS 85253 HAS SOUPS 85253 WITH SCORE 85407.383
AT ITER 8211 NEW BEST:: SOT 581669 SOS 154231 HAS SOPS 154231 HAS SOUS 85113 HAS SOUPS 85113 WITH SCORE 85267.231
AT ITER 8221 NEW BEST:: SOT 581659 SOS 154211 HAS SOPS 154211 HAS SOUS 85091 HAS SOUPS 85091 WITH SCORE 85245.211
AT ITER 8254 NEW BEST:: SOT 581641 SOS 154129 HAS SOPS 154129 HAS SOUS 85055 HAS SOUPS 85055 WITH SCORE 85209.129
AT ITER 8258 NEW BEST:: SOT 581658 SOS 154044 HAS SOPS 154044 HAS SOUS 85055 HAS SOUPS 85055 WITH SCORE 85209.044
AT ITER 8356 NEW BEST:: SOT 581668 SOS 154038 HAS SOPS 154038 HAS SOUS 85049 HAS SOUPS 85049 WITH SCORE 85203.038
AT ITER 8378 NEW BEST:: SOT 581665 SOS 154036 HAS SOPS 154036 HAS SOUS 85047 HAS SOUPS 85047 WITH SCORE 85201.036
AT ITER 8402 NEW BEST:: SOT 581665 SOS 154021 HAS SOPS 154021 HAS SOUS 85047 HAS SOUPS 85047 WITH SCORE 85201.021
AT ITER 8419 NEW BEST:: SOT 581665 SOS 154021 HAS SOPS 154021 HAS SOUS 85013 HAS SOUPS 85013 WITH SCORE 85167.021
AT ITER 8433 NEW BEST:: SOT 581665 SOS 154021 HAS SOPS 154021 HAS SOUS 84929 HAS SOUPS 84929 WITH SCORE 85083.021
AT ITER 8463 NEW BEST:: SOT 581674 SOS 154039 HAS SOPS 154039 HAS SOUS 84854 HAS SOUPS 84854 WITH SCORE 85008.039
AT ITER 8471 NEW BEST:: SOT 581657 SOS 154005 HAS SOPS 154005 HAS SOUS 84812 HAS SOUPS 84812 WITH SCORE 84966.005
AT ITER 8510 NEW BEST:: SOT 581610 SOS 153840 HAS SOPS 153840 HAS SOUS 84768 HAS SOUPS 84768 WITH SCORE 84921.84
AT ITER 8538 NEW BEST:: SOT 581586 SOS 153792 HAS SOPS 153792 HAS SOUS 84739 HAS SOUPS 84739 WITH SCORE 84892.792
AT ITER 8539 NEW BEST:: SOT 581586 SOS 153718 HAS SOPS 153718 HAS SOUS 84699 HAS SOUPS 84699 WITH SCORE 84852.718
AT ITER 8592 NEW BEST:: SOT 581738 SOS 153566 HAS SOPS 153566 HAS SOUS 84699 HAS SOUPS 84699 WITH SCORE 84852.566
AT ITER 8623 NEW BEST:: SOT 581738 SOS 153553 HAS SOPS 153553 HAS SOUS 84686 HAS SOUPS 84686 WITH SCORE 84839.553
AT ITER 8624 NEW BEST:: SOT 581735 SOS 153547 HAS SOPS 153547 HAS SOUS 84685 HAS SOUPS 84685 WITH SCORE 84838.547
AT ITER 8638 NEW BEST:: SOT 581731 SOS 153545 HAS SOPS 153545 HAS SOUS 84683 HAS SOUPS 84683 WITH SCORE 84836.545
AT ITER 8686 NEW BEST:: SOT 581690 SOS 153463 HAS SOPS 153463 HAS SOUS 84648 HAS SOUPS 84648 WITH SCORE 84801.463
AT ITER 8694 NEW BEST:: SOT 581652 SOS 153422 HAS SOPS 153422 HAS SOUS 84598 HAS SOUPS 84598 WITH SCORE 84751.422
AT ITER 8707 NEW BEST:: SOT 581647 SOS 153412 HAS SOPS 153412 HAS SOUS 84588 HAS SOUPS 84588 WITH SCORE 84741.412
AT ITER 8719 NEW BEST:: SOT 581647 SOS 153412 HAS SOPS 153412 HAS SOUS 84584 HAS SOUPS 84584 WITH SCORE 84737.412
AT ITER 8726 NEW BEST:: SOT 581727 SOS 153332 HAS SOPS 153332 HAS SOUS 84584 HAS SOUPS 84584 WITH SCORE 84737.332
AT ITER 8875 NEW BEST:: SOT 581720 SOS 153197 HAS SOPS 153197 HAS SOUS 84577 HAS SOUPS 84577 WITH SCORE 84730.197
AT ITER 8944 NEW BEST:: SOT 581679 SOS 153145 HAS SOPS 153145 HAS SOUS 84528 HAS SOUPS 84528 WITH SCORE 84681.145
AT ITER 8952 NEW BEST:: SOT 581679 SOS 155724 HAS SOPS 155724 HAS SOUS 84524 HAS SOUPS 84524 WITH SCORE 84679.724
AT ITER 8978 NEW BEST:: SOT 581596 SOS 155595 HAS SOPS 155595 HAS SOUS 84504 HAS SOUPS 84504 WITH SCORE 84659.595
AT ITER 8986 NEW BEST:: SOT 581501 SOS 155663 HAS SOPS 155663 HAS SOUS 84486 HAS SOUPS 84486 WITH SCORE 84641.663
AT ITER 8993 NEW BEST:: SOT 581519 SOS 155453 HAS SOPS 155453 HAS SOUS 84463 HAS SOUPS 84463 WITH SCORE 84618.453
AT ITER 9040 NEW BEST:: SOT 581542 SOS 155444 HAS SOPS 155444 HAS SOUS 84454 HAS SOUPS 84454 WITH SCORE 84609.444
AT ITER 9044 NEW BEST:: SOT 581588 SOS 155366 HAS SOPS 155366 HAS SOUS 84376 HAS SOUPS 84376 WITH SCORE 84531.366
AT ITER 9050 NEW BEST:: SOT 581566 SOS 155344 HAS SOPS 155344 HAS SOUS 84374 HAS SOUPS 84374 WITH SCORE 84529.344
AT ITER 9113 NEW BEST:: SOT 581533 SOS 155278 HAS SOPS 155278 HAS SOUS 84308 HAS SOUPS 84308 WITH SCORE 84463.278
AT ITER 9125 NEW BEST:: SOT 581518 SOS 155203 HAS SOPS 155203 HAS SOUS 84293 HAS SOUPS 84293 WITH SCORE 84448.203
AT ITER 9179 NEW BEST:: SOT 581492 SOS 155164 HAS SOPS 155164 HAS SOUS 84267 HAS SOUPS 84267 WITH SCORE 84422.164
AT ITER 9238 NEW BEST:: SOT 581488 SOS 155149 HAS SOPS 155149 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84411.149
AT ITER 9259 NEW BEST:: SOT 581380 SOS 155332 HAS SOPS 155332 HAS SOUS 84249 HAS SOUPS 84249 WITH SCORE 84404.332
AT ITER 9283 NEW BEST:: SOT 581345 SOS 155267 HAS SOPS 155267 HAS SOUS 84184 HAS SOUPS 84184 WITH SCORE 84339.267
AT ITER 9287 NEW BEST:: SOT 581330 SOS 155222 HAS SOPS 155222 HAS SOUS 84154 HAS SOUPS 84154 WITH SCORE 84309.222
AT ITER 9314 NEW BEST:: SOT 581332 SOS 155256 HAS SOPS 155256 HAS SOUS 84149 HAS SOUPS 84149 WITH SCORE 84304.256
AT ITER 9331 NEW BEST:: SOT 581358 SOS 155276 HAS SOPS 155276 HAS SOUS 84146 HAS SOUPS 84146 WITH SCORE 84301.276
AT ITER 9336 NEW BEST:: SOT 581325 SOS 155210 HAS SOPS 155210 HAS SOUS 84080 HAS SOUPS 84080 WITH SCORE 84235.21
AT ITER 9348 NEW BEST:: SOT 581306 SOS 155198 HAS SOPS 155198 HAS SOUS 84068 HAS SOUPS 84068 WITH SCORE 84223.198
AT ITER 9376 NEW BEST:: SOT 581306 SOS 155169 HAS SOPS 155169 HAS SOUS 84029 HAS SOUPS 84029 WITH SCORE 84184.169
AT ITER 9388 NEW BEST:: SOT 581212 SOS 157440 HAS SOPS 157440 HAS SOUS 84002 HAS SOUPS 84002 WITH SCORE 84159.44
AT ITER 9476 NEW BEST:: SOT 581201 SOS 157418 HAS SOPS 157418 HAS SOUS 83980 HAS SOUPS 83980 WITH SCORE 84137.418
AT ITER 9520 NEW BEST:: SOT 581201 SOS 157418 HAS SOPS 157418 HAS SOUS 83881 HAS SOUPS 83881 WITH SCORE 84038.418
AT ITER 9531 NEW BEST:: SOT 581160 SOS 157336 HAS SOPS 157336 HAS SOUS 83799 HAS SOUPS 83799 WITH SCORE 83956.336
AT ITER 9535 NEW BEST:: SOT 581064 SOS 157217 HAS SOPS 157217 HAS SOUS 83711 HAS SOUPS 83711 WITH SCORE 83868.217
AT ITER 9558 NEW BEST:: SOT 581064 SOS 157199 HAS SOPS 157199 HAS SOUS 83711 HAS SOUPS 83711 WITH SCORE 83868.199
AT ITER 9571 NEW BEST:: SOT 581061 SOS 157196 HAS SOPS 157196 HAS SOUS 83708 HAS SOUPS 83708 WITH SCORE 83865.196
AT ITER 9624 NEW BEST:: SOT 581041 SOS 157190 HAS SOPS 157190 HAS SOUS 83688 HAS SOUPS 83688 WITH SCORE 83845.19
AT ITER 9628 NEW BEST:: SOT 580817 SOS 157029 HAS SOPS 157029 HAS SOUS 83608 HAS SOUPS 83608 WITH SCORE 83765.029
AT ITER 9637 NEW BEST:: SOT 580716 SOS 156983 HAS SOPS 156983 HAS SOUS 83510 HAS SOUPS 83510 WITH SCORE 83666.983
AT ITER 9653 NEW BEST:: SOT 580769 SOS 156664 HAS SOPS 156664 HAS SOUS 83478 HAS SOUPS 83478 WITH SCORE 83634.664
AT ITER 9672 NEW BEST:: SOT 580780 SOS 156688 HAS SOPS 156688 HAS SOUS 83452 HAS SOUPS 83452 WITH SCORE 83608.688
AT ITER 9689 NEW BEST:: SOT 580780 SOS 156688 HAS SOPS 156688 HAS SOUS 83449 HAS SOUPS 83449 WITH SCORE 83605.688
AT ITER 9693 NEW BEST:: SOT 580766 SOS 156702 HAS SOPS 156702 HAS SOUS 83435 HAS SOUPS 83435 WITH SCORE 83591.702
AT ITER 9765 NEW BEST:: SOT 580701 SOS 156634 HAS SOPS 156634 HAS SOUS 83387 HAS SOUPS 83387 WITH SCORE 83543.634
AT ITER 9770 NEW BEST:: SOT 580704 SOS 156640 HAS SOPS 156640 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83540.64
AT ITER 9804 NEW BEST:: SOT 580704 SOS 156700 HAS SOPS 156700 HAS SOUS 83310 HAS SOUPS 83310 WITH SCORE 83466.7
AT ITER 9809 NEW BEST:: SOT 580681 SOS 156837 HAS SOPS 156837 HAS SOUS 83287 HAS SOUPS 83287 WITH SCORE 83443.837
AT ITER 9829 NEW BEST:: SOT 580667 SOS 156950 HAS SOPS 156950 HAS SOUS 83259 HAS SOUPS 83259 WITH SCORE 83415.95
AT ITER 9838 NEW BEST:: SOT 580585 SOS 156700 HAS SOPS 156700 HAS SOUS 83189 HAS SOUPS 83189 WITH SCORE 83345.7
AT ITER 9873 NEW BEST:: SOT 580585 SOS 156627 HAS SOPS 156627 HAS SOUS 83181 HAS SOUPS 83181 WITH SCORE 83337.627
AT ITER 9881 NEW BEST:: SOT 580584 SOS 156625 HAS SOPS 156625 HAS SOUS 83179 HAS SOUPS 83179 WITH SCORE 83335.625
AT ITER 9909 NEW BEST:: SOT 580642 SOS 156611 HAS SOPS 156611 HAS SOUS 83165 HAS SOUPS 83165 WITH SCORE 83321.611
AT ITER 9930 NEW BEST:: SOT 580620 SOS 156589 HAS SOPS 156589 HAS SOUS 83164 HAS SOUPS 83164 WITH SCORE 83320.589
AT ITER 9938 NEW BEST:: SOT 580603 SOS 156555 HAS SOPS 156555 HAS SOUS 83130 HAS SOUPS 83130 WITH SCORE 83286.555
AT ITER 9944 NEW BEST:: SOT 580599 SOS 156547 HAS SOPS 156547 HAS SOUS 83122 HAS SOUPS 83122 WITH SCORE 83278.547
AT ITER 9971 NEW BEST:: SOT 580555 SOS 156476 HAS SOPS 156476 HAS SOUS 83068 HAS SOUPS 83068 WITH SCORE 83224.476
AT ITER 9976 NEW BEST:: SOT 580530 SOS 156606 HAS SOPS 156606 HAS SOUS 83043 HAS SOUPS 83043 WITH SCORE 83199.606
AT ITER 9991 NEW BEST:: SOT 580556 SOS 156594 HAS SOPS 156594 HAS SOUS 83031 HAS SOUPS 83031 WITH SCORE 83187.594
AT ITER 9994 NEW BEST:: SOT 580540 SOS 156562 HAS SOPS 156562 HAS SOUS 82999 HAS SOUPS 82999 WITH SCORE 83155.562

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="CloudDeployment-PT-3b"
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 CloudDeployment-PT-3b, 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 r033-smll-158901925900296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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