Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900536.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.6K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 23:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.6K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 13 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 535K May 12 20:42 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 1590473780062

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

Filename model.pnml
Petri model created: 511 places, 765 transitions, 1785 arcs.
AT ITER 0 NEW BEST:: SOT 265901 SOS 169631 HAS SOPS 169631 HAS SOUS 51932 HAS SOUPS 51932 WITH SCORE 52101.631
AT ITER 3 NEW BEST:: SOT 265443 SOS 168485 HAS SOPS 168485 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 52099.485
AT ITER 5 NEW BEST:: SOT 265161 SOS 167777 HAS SOPS 167777 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 52093.777
AT ITER 7 NEW BEST:: SOT 264945 SOS 167236 HAS SOPS 167236 HAS SOUS 51925 HAS SOUPS 51925 WITH SCORE 52092.236
AT ITER 11 NEW BEST:: SOT 264673 SOS 166554 HAS SOPS 166554 HAS SOUS 51923 HAS SOUPS 51923 WITH SCORE 52089.554
AT ITER 16 NEW BEST:: SOT 264133 SOS 165201 HAS SOPS 165201 HAS SOUS 51918 HAS SOUPS 51918 WITH SCORE 52083.201
AT ITER 21 NEW BEST:: SOT 263915 SOS 164653 HAS SOPS 164653 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 52077.653
AT ITER 23 NEW BEST:: SOT 263823 SOS 164420 HAS SOPS 164420 HAS SOUS 51908 HAS SOUPS 51908 WITH SCORE 52072.42
AT ITER 28 NEW BEST:: SOT 263441 SOS 163463 HAS SOPS 163463 HAS SOUS 51906 HAS SOUPS 51906 WITH SCORE 52069.463
AT ITER 36 NEW BEST:: SOT 263441 SOS 163460 HAS SOPS 163460 HAS SOUS 51901 HAS SOUPS 51901 WITH SCORE 52064.46
AT ITER 37 NEW BEST:: SOT 263315 SOS 163142 HAS SOPS 163142 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 52059.142
AT ITER 38 NEW BEST:: SOT 263201 SOS 162856 HAS SOPS 162856 HAS SOUS 51895 HAS SOUPS 51895 WITH SCORE 52057.856
AT ITER 39 NEW BEST:: SOT 262985 SOS 162315 HAS SOPS 162315 HAS SOUS 51894 HAS SOUPS 51894 WITH SCORE 52056.315
AT ITER 49 NEW BEST:: SOT 262805 SOS 161862 HAS SOPS 161862 HAS SOUS 51889 HAS SOUPS 51889 WITH SCORE 52050.862
AT ITER 60 NEW BEST:: SOT 262453 SOS 160982 HAS SOPS 160982 HAS SOUS 51889 HAS SOUPS 51889 WITH SCORE 52049.982
AT ITER 62 NEW BEST:: SOT 261935 SOS 159684 HAS SOPS 159684 HAS SOUS 51884 HAS SOUPS 51884 WITH SCORE 52043.684
AT ITER 64 NEW BEST:: SOT 261564 SOS 158626 HAS SOPS 158626 HAS SOUS 51824 HAS SOUPS 51824 WITH SCORE 51982.626
AT ITER 65 NEW BEST:: SOT 261198 SOS 157709 HAS SOPS 157709 HAS SOUS 51822 HAS SOUPS 51822 WITH SCORE 51979.709
AT ITER 77 NEW BEST:: SOT 260732 SOS 156313 HAS SOPS 156313 HAS SOUS 51589 HAS SOUPS 51589 WITH SCORE 51745.313
AT ITER 83 NEW BEST:: SOT 260450 SOS 155607 HAS SOPS 155607 HAS SOUS 51588 HAS SOUPS 51588 WITH SCORE 51743.607
AT ITER 84 NEW BEST:: SOT 260366 SOS 155355 HAS SOPS 155355 HAS SOUS 51546 HAS SOUPS 51546 WITH SCORE 51701.355
AT ITER 86 NEW BEST:: SOT 260116 SOS 154728 HAS SOPS 154728 HAS SOUS 51544 HAS SOUPS 51544 WITH SCORE 51698.728
AT ITER 88 NEW BEST:: SOT 259886 SOS 154038 HAS SOPS 154038 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51583.038
AT ITER 89 NEW BEST:: SOT 259514 SOS 153108 HAS SOPS 153108 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51582.108
AT ITER 100 NEW BEST:: SOT 259336 SOS 152662 HAS SOPS 152662 HAS SOUS 51428 HAS SOUPS 51428 WITH SCORE 51580.662
AT ITER 120 NEW BEST:: SOT 258962 SOS 151725 HAS SOPS 151725 HAS SOUS 51426 HAS SOUPS 51426 WITH SCORE 51577.725
AT ITER 122 NEW BEST:: SOT 258962 SOS 151724 HAS SOPS 151724 HAS SOUS 51425 HAS SOUPS 51425 WITH SCORE 51576.724
AT ITER 123 NEW BEST:: SOT 258534 SOS 150472 HAS SOPS 150472 HAS SOUS 51243 HAS SOUPS 51243 WITH SCORE 51393.472
AT ITER 126 NEW BEST:: SOT 257985 SOS 149371 HAS SOPS 149371 HAS SOUS 51055 HAS SOUPS 51055 WITH SCORE 51204.371
AT ITER 135 NEW BEST:: SOT 257770 SOS 148805 HAS SOPS 148805 HAS SOUS 51052 HAS SOUPS 51052 WITH SCORE 51200.805
AT ITER 141 NEW BEST:: SOT 257686 SOS 148553 HAS SOPS 148553 HAS SOUS 51010 HAS SOUPS 51010 WITH SCORE 51158.553
AT ITER 151 NEW BEST:: SOT 257342 SOS 147691 HAS SOPS 147691 HAS SOUS 51008 HAS SOUPS 51008 WITH SCORE 51155.691
AT ITER 154 NEW BEST:: SOT 257102 SOS 146983 HAS SOPS 146983 HAS SOUS 50898 HAS SOUPS 50898 WITH SCORE 51044.983
AT ITER 172 NEW BEST:: SOT 257021 SOS 146671 HAS SOPS 146671 HAS SOUS 50892 HAS SOUPS 50892 WITH SCORE 51038.671
AT ITER 173 NEW BEST:: SOT 256948 SOS 146486 HAS SOPS 146486 HAS SOUS 50891 HAS SOUPS 50891 WITH SCORE 51037.486
AT ITER 176 NEW BEST:: SOT 256732 SOS 145838 HAS SOPS 145838 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50926.838
AT ITER 183 NEW BEST:: SOT 256732 SOS 145837 HAS SOPS 145837 HAS SOUS 50780 HAS SOUPS 50780 WITH SCORE 50925.837
AT ITER 201 NEW BEST:: SOT 256504 SOS 145265 HAS SOPS 145265 HAS SOUS 50778 HAS SOUPS 50778 WITH SCORE 50923.265
AT ITER 208 NEW BEST:: SOT 256356 SOS 144821 HAS SOPS 144821 HAS SOUS 50702 HAS SOUPS 50702 WITH SCORE 50846.821
AT ITER 211 NEW BEST:: SOT 256094 SOS 144051 HAS SOPS 144051 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50740.051
AT ITER 218 NEW BEST:: SOT 255623 SOS 142569 HAS SOPS 142569 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50538.569
AT ITER 229 NEW BEST:: SOT 255603 SOS 142516 HAS SOPS 142516 HAS SOUS 50391 HAS SOUPS 50391 WITH SCORE 50533.516
AT ITER 250 NEW BEST:: SOT 255157 SOS 141193 HAS SOPS 141193 HAS SOUS 50238 HAS SOUPS 50238 WITH SCORE 50379.193
AT ITER 285 NEW BEST:: SOT 254627 SOS 139867 HAS SOPS 139867 HAS SOUS 50237 HAS SOUPS 50237 WITH SCORE 50376.867
AT ITER 286 NEW BEST:: SOT 254313 SOS 138992 HAS SOPS 138992 HAS SOUS 50147 HAS SOUPS 50147 WITH SCORE 50285.992
AT ITER 296 NEW BEST:: SOT 253923 SOS 137822 HAS SOPS 137822 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50089.822
AT ITER 325 NEW BEST:: SOT 253657 SOS 137148 HAS SOPS 137148 HAS SOUS 49941 HAS SOUPS 49941 WITH SCORE 50078.148
AT ITER 340 NEW BEST:: SOT 253219 SOS 135944 HAS SOPS 135944 HAS SOUS 49832 HAS SOUPS 49832 WITH SCORE 49967.944
AT ITER 359 NEW BEST:: SOT 253060 SOS 135623 HAS SOPS 135623 HAS SOUS 49774 HAS SOUPS 49774 WITH SCORE 49909.623
AT ITER 368 NEW BEST:: SOT 253125 SOS 135809 HAS SOPS 135809 HAS SOUS 49727 HAS SOUPS 49727 WITH SCORE 49862.809
AT ITER 369 NEW BEST:: SOT 253125 SOS 135808 HAS SOPS 135808 HAS SOUS 49726 HAS SOUPS 49726 WITH SCORE 49861.808
AT ITER 373 NEW BEST:: SOT 253099 SOS 135741 HAS SOPS 135741 HAS SOUS 49724 HAS SOUPS 49724 WITH SCORE 49859.741
AT ITER 384 NEW BEST:: SOT 253079 SOS 135690 HAS SOPS 135690 HAS SOUS 49723 HAS SOUPS 49723 WITH SCORE 49858.69
AT ITER 388 NEW BEST:: SOT 252611 SOS 134519 HAS SOPS 134519 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49856.519
AT ITER 391 NEW BEST:: SOT 252515 SOS 134327 HAS SOPS 134327 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49824.327
AT ITER 410 NEW BEST:: SOT 252514 SOS 134325 HAS SOPS 134325 HAS SOUS 49689 HAS SOUPS 49689 WITH SCORE 49823.325
AT ITER 419 NEW BEST:: SOT 252200 SOS 133517 HAS SOPS 133517 HAS SOUS 49608 HAS SOUPS 49608 WITH SCORE 49741.517
AT ITER 435 NEW BEST:: SOT 252052 SOS 133146 HAS SOPS 133146 HAS SOUS 49607 HAS SOUPS 49607 WITH SCORE 49740.146
AT ITER 455 NEW BEST:: SOT 251978 SOS 132995 HAS SOPS 132995 HAS SOUS 49596 HAS SOUPS 49596 WITH SCORE 49728.995
AT ITER 480 NEW BEST:: SOT 251704 SOS 132308 HAS SOPS 132308 HAS SOUS 49594 HAS SOUPS 49594 WITH SCORE 49726.308
AT ITER 483 NEW BEST:: SOT 251346 SOS 131559 HAS SOPS 131559 HAS SOUS 49465 HAS SOUPS 49465 WITH SCORE 49596.559
AT ITER 486 NEW BEST:: SOT 251312 SOS 131522 HAS SOPS 131522 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49593.522
AT ITER 494 NEW BEST:: SOT 251312 SOS 131400 HAS SOPS 131400 HAS SOUS 49340 HAS SOUPS 49340 WITH SCORE 49471.4
AT ITER 495 NEW BEST:: SOT 250908 SOS 130335 HAS SOPS 130335 HAS SOUS 49285 HAS SOUPS 49285 WITH SCORE 49415.335
AT ITER 503 NEW BEST:: SOT 250908 SOS 130333 HAS SOPS 130333 HAS SOUS 49283 HAS SOUPS 49283 WITH SCORE 49413.333
AT ITER 506 NEW BEST:: SOT 250984 SOS 130649 HAS SOPS 130649 HAS SOUS 49250 HAS SOUPS 49250 WITH SCORE 49380.649
AT ITER 517 NEW BEST:: SOT 250974 SOS 130619 HAS SOPS 130619 HAS SOUS 49245 HAS SOUPS 49245 WITH SCORE 49375.619
AT ITER 524 NEW BEST:: SOT 250872 SOS 130364 HAS SOPS 130364 HAS SOUS 49245 HAS SOUPS 49245 WITH SCORE 49375.364
AT ITER 528 NEW BEST:: SOT 250856 SOS 130332 HAS SOPS 130332 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49359.332
AT ITER 555 NEW BEST:: SOT 250856 SOS 130312 HAS SOPS 130312 HAS SOUS 49209 HAS SOUPS 49209 WITH SCORE 49339.312
AT ITER 557 NEW BEST:: SOT 250786 SOS 130102 HAS SOPS 130102 HAS SOUS 49168 HAS SOUPS 49168 WITH SCORE 49298.102
AT ITER 560 NEW BEST:: SOT 250522 SOS 129363 HAS SOPS 129363 HAS SOUS 49089 HAS SOUPS 49089 WITH SCORE 49218.363
AT ITER 573 NEW BEST:: SOT 250510 SOS 129327 HAS SOPS 129327 HAS SOUS 49083 HAS SOUPS 49083 WITH SCORE 49212.327
AT ITER 580 NEW BEST:: SOT 250390 SOS 128967 HAS SOPS 128967 HAS SOUS 49023 HAS SOUPS 49023 WITH SCORE 49151.967
AT ITER 600 NEW BEST:: SOT 250330 SOS 128787 HAS SOPS 128787 HAS SOUS 48991 HAS SOUPS 48991 WITH SCORE 49119.787
AT ITER 611 NEW BEST:: SOT 249868 SOS 127447 HAS SOPS 127447 HAS SOUS 48806 HAS SOUPS 48806 WITH SCORE 48933.447
AT ITER 622 NEW BEST:: SOT 249225 SOS 126157 HAS SOPS 126157 HAS SOUS 48778 HAS SOUPS 48778 WITH SCORE 48904.157
AT ITER 630 NEW BEST:: SOT 249037 SOS 125593 HAS SOPS 125593 HAS SOUS 48682 HAS SOUPS 48682 WITH SCORE 48807.593
AT ITER 657 NEW BEST:: SOT 248913 SOS 125283 HAS SOPS 125283 HAS SOUS 48682 HAS SOUPS 48682 WITH SCORE 48807.283
AT ITER 685 NEW BEST:: SOT 248913 SOS 125253 HAS SOPS 125253 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48713.253
AT ITER 688 NEW BEST:: SOT 248452 SOS 124331 HAS SOPS 124331 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48694.331
AT ITER 703 NEW BEST:: SOT 248057 SOS 123189 HAS SOPS 123189 HAS SOUS 48481 HAS SOUPS 48481 WITH SCORE 48604.189
AT ITER 708 NEW BEST:: SOT 247871 SOS 122631 HAS SOPS 122631 HAS SOUS 48388 HAS SOUPS 48388 WITH SCORE 48510.631
AT ITER 718 NEW BEST:: SOT 247590 SOS 121803 HAS SOPS 121803 HAS SOUS 48354 HAS SOUPS 48354 WITH SCORE 48475.803
AT ITER 721 NEW BEST:: SOT 247588 SOS 121797 HAS SOPS 121797 HAS SOUS 48353 HAS SOUPS 48353 WITH SCORE 48474.797
AT ITER 726 NEW BEST:: SOT 247564 SOS 121737 HAS SOPS 121737 HAS SOUS 48353 HAS SOUPS 48353 WITH SCORE 48474.737
AT ITER 727 NEW BEST:: SOT 247299 SOS 120943 HAS SOPS 120943 HAS SOUS 48177 HAS SOUPS 48177 WITH SCORE 48297.943
AT ITER 762 NEW BEST:: SOT 247433 SOS 121214 HAS SOPS 121214 HAS SOUS 48061 HAS SOUPS 48061 WITH SCORE 48182.214
AT ITER 771 NEW BEST:: SOT 247260 SOS 120492 HAS SOPS 120492 HAS SOUS 47896 HAS SOUPS 47896 WITH SCORE 48016.492
AT ITER 782 NEW BEST:: SOT 246797 SOS 119184 HAS SOPS 119184 HAS SOUS 47825 HAS SOUPS 47825 WITH SCORE 47944.184
AT ITER 849 NEW BEST:: SOT 246796 SOS 119182 HAS SOPS 119182 HAS SOUS 47824 HAS SOUPS 47824 WITH SCORE 47943.182
AT ITER 862 NEW BEST:: SOT 246715 SOS 118904 HAS SOPS 118904 HAS SOUS 47703 HAS SOUPS 47703 WITH SCORE 47821.904
AT ITER 865 NEW BEST:: SOT 246685 SOS 118824 HAS SOPS 118824 HAS SOUS 47698 HAS SOUPS 47698 WITH SCORE 47816.824
AT ITER 878 NEW BEST:: SOT 246627 SOS 118678 HAS SOPS 118678 HAS SOUS 47697 HAS SOUPS 47697 WITH SCORE 47815.678
AT ITER 880 NEW BEST:: SOT 246438 SOS 118300 HAS SOPS 118300 HAS SOUS 47634 HAS SOUPS 47634 WITH SCORE 47752.3
AT ITER 882 NEW BEST:: SOT 246424 SOS 118262 HAS SOPS 118262 HAS SOUS 47629 HAS SOUPS 47629 WITH SCORE 47747.262
AT ITER 883 NEW BEST:: SOT 246489 SOS 118641 HAS SOPS 118641 HAS SOUS 47594 HAS SOUPS 47594 WITH SCORE 47712.641
AT ITER 892 NEW BEST:: SOT 246511 SOS 118625 HAS SOPS 118625 HAS SOUS 47556 HAS SOUPS 47556 WITH SCORE 47674.625
AT ITER 915 NEW BEST:: SOT 246511 SOS 118509 HAS SOPS 118509 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47626.509
AT ITER 961 NEW BEST:: SOT 246497 SOS 118474 HAS SOPS 118474 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47626.474
AT ITER 972 NEW BEST:: SOT 246443 SOS 118339 HAS SOPS 118339 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47626.339
AT ITER 976 NEW BEST:: SOT 246556 SOS 118648 HAS SOPS 118648 HAS SOUS 47455 HAS SOUPS 47455 WITH SCORE 47573.648
AT ITER 980 NEW BEST:: SOT 246521 SOS 118582 HAS SOPS 118582 HAS SOUS 47430 HAS SOUPS 47430 WITH SCORE 47548.582
AT ITER 1013 NEW BEST:: SOT 246269 SOS 117718 HAS SOPS 117718 HAS SOUS 47352 HAS SOUPS 47352 WITH SCORE 47469.718
AT ITER 1023 NEW BEST:: SOT 246199 SOS 117543 HAS SOPS 117543 HAS SOUS 47352 HAS SOUPS 47352 WITH SCORE 47469.543
AT ITER 1046 NEW BEST:: SOT 246028 SOS 116973 HAS SOPS 116973 HAS SOUS 47251 HAS SOUPS 47251 WITH SCORE 47367.973
AT ITER 1054 NEW BEST:: SOT 246020 SOS 116950 HAS SOPS 116950 HAS SOUS 47246 HAS SOUPS 47246 WITH SCORE 47362.95
AT ITER 1059 NEW BEST:: SOT 245994 SOS 116882 HAS SOPS 116882 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47357.882
AT ITER 1082 NEW BEST:: SOT 245948 SOS 116721 HAS SOPS 116721 HAS SOUS 47195 HAS SOUPS 47195 WITH SCORE 47311.721
AT ITER 1098 NEW BEST:: SOT 245900 SOS 116609 HAS SOPS 116609 HAS SOUS 47163 HAS SOUPS 47163 WITH SCORE 47279.609
AT ITER 1111 NEW BEST:: SOT 245945 SOS 116744 HAS SOPS 116744 HAS SOUS 47118 HAS SOUPS 47118 WITH SCORE 47234.744
AT ITER 1113 NEW BEST:: SOT 245945 SOS 116616 HAS SOPS 116616 HAS SOUS 46984 HAS SOUPS 46984 WITH SCORE 47100.616
AT ITER 1116 NEW BEST:: SOT 245774 SOS 116205 HAS SOPS 116205 HAS SOUS 46882 HAS SOUPS 46882 WITH SCORE 46998.205
AT ITER 1118 NEW BEST:: SOT 245451 SOS 115359 HAS SOPS 115359 HAS SOUS 46851 HAS SOUPS 46851 WITH SCORE 46966.359
AT ITER 1138 NEW BEST:: SOT 245262 SOS 114918 HAS SOPS 114918 HAS SOUS 46725 HAS SOUPS 46725 WITH SCORE 46839.918
AT ITER 1143 NEW BEST:: SOT 245211 SOS 114816 HAS SOPS 114816 HAS SOUS 46674 HAS SOUPS 46674 WITH SCORE 46788.816
AT ITER 1159 NEW BEST:: SOT 245129 SOS 114796 HAS SOPS 114796 HAS SOUS 46607 HAS SOUPS 46607 WITH SCORE 46721.796
AT ITER 1161 NEW BEST:: SOT 244960 SOS 114553 HAS SOPS 114553 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46660.553
AT ITER 1162 NEW BEST:: SOT 244960 SOS 114510 HAS SOPS 114510 HAS SOUS 46459 HAS SOUPS 46459 WITH SCORE 46573.51
AT ITER 1173 NEW BEST:: SOT 244828 SOS 114180 HAS SOPS 114180 HAS SOUS 46459 HAS SOUPS 46459 WITH SCORE 46573.18
AT ITER 1178 NEW BEST:: SOT 244780 SOS 114060 HAS SOPS 114060 HAS SOUS 46459 HAS SOUPS 46459 WITH SCORE 46573.06
AT ITER 1220 NEW BEST:: SOT 244438 SOS 112950 HAS SOPS 112950 HAS SOUS 46367 HAS SOUPS 46367 WITH SCORE 46479.95
AT ITER 1223 NEW BEST:: SOT 244316 SOS 112643 HAS SOPS 112643 HAS SOUS 46365 HAS SOUPS 46365 WITH SCORE 46477.643
AT ITER 1238 NEW BEST:: SOT 244069 SOS 111793 HAS SOPS 111793 HAS SOUS 46335 HAS SOUPS 46335 WITH SCORE 46446.793
AT ITER 1262 NEW BEST:: SOT 243715 SOS 110779 HAS SOPS 110779 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46358.779
AT ITER 1273 NEW BEST:: SOT 243687 SOS 110723 HAS SOPS 110723 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46330.723
AT ITER 1278 NEW BEST:: SOT 243633 SOS 110561 HAS SOPS 110561 HAS SOUS 46189 HAS SOUPS 46189 WITH SCORE 46299.561
AT ITER 1287 NEW BEST:: SOT 243555 SOS 110327 HAS SOPS 110327 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46260.327
AT ITER 1294 NEW BEST:: SOT 243555 SOS 110327 HAS SOPS 110327 HAS SOUS 45954 HAS SOUPS 45954 WITH SCORE 46064.327
AT ITER 1300 NEW BEST:: SOT 243523 SOS 110263 HAS SOPS 110263 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 46032.263
AT ITER 1321 NEW BEST:: SOT 243331 SOS 109575 HAS SOPS 109575 HAS SOUS 45843 HAS SOUPS 45843 WITH SCORE 45952.575
AT ITER 1326 NEW BEST:: SOT 243331 SOS 109537 HAS SOPS 109537 HAS SOUS 45803 HAS SOUPS 45803 WITH SCORE 45912.537
AT ITER 1333 NEW BEST:: SOT 243006 SOS 108629 HAS SOPS 108629 HAS SOUS 45755 HAS SOUPS 45755 WITH SCORE 45863.629
AT ITER 1348 NEW BEST:: SOT 242955 SOS 108527 HAS SOPS 108527 HAS SOUS 45704 HAS SOUPS 45704 WITH SCORE 45812.527
AT ITER 1352 NEW BEST:: SOT 242953 SOS 108521 HAS SOPS 108521 HAS SOUS 45703 HAS SOUPS 45703 WITH SCORE 45811.521
AT ITER 1356 NEW BEST:: SOT 242853 SOS 108091 HAS SOPS 108091 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45781.091
AT ITER 1358 NEW BEST:: SOT 242743 SOS 107816 HAS SOPS 107816 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45780.816
AT ITER 1363 NEW BEST:: SOT 242707 SOS 107672 HAS SOPS 107672 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45780.672
AT ITER 1364 NEW BEST:: SOT 242655 SOS 107542 HAS SOPS 107542 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45780.542
AT ITER 1384 NEW BEST:: SOT 242705 SOS 107778 HAS SOPS 107778 HAS SOUS 45655 HAS SOUPS 45655 WITH SCORE 45762.778
AT ITER 1387 NEW BEST:: SOT 242705 SOS 107778 HAS SOPS 107778 HAS SOUS 45605 HAS SOUPS 45605 WITH SCORE 45712.778
AT ITER 1417 NEW BEST:: SOT 242672 SOS 107674 HAS SOPS 107674 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45698.674
AT ITER 1432 NEW BEST:: SOT 242663 SOS 107524 HAS SOPS 107524 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45623.524
AT ITER 1445 NEW BEST:: SOT 242563 SOS 107324 HAS SOPS 107324 HAS SOUS 45455 HAS SOUPS 45455 WITH SCORE 45562.324
AT ITER 1449 NEW BEST:: SOT 242307 SOS 106556 HAS SOPS 106556 HAS SOUS 45327 HAS SOUPS 45327 WITH SCORE 45433.556
AT ITER 1451 NEW BEST:: SOT 242232 SOS 106302 HAS SOPS 106302 HAS SOUS 45325 HAS SOUPS 45325 WITH SCORE 45431.302
AT ITER 1468 NEW BEST:: SOT 242078 SOS 105738 HAS SOPS 105738 HAS SOUS 45299 HAS SOUPS 45299 WITH SCORE 45404.738
AT ITER 1473 NEW BEST:: SOT 242085 SOS 105880 HAS SOPS 105880 HAS SOUS 45242 HAS SOUPS 45242 WITH SCORE 45347.88
AT ITER 1478 NEW BEST:: SOT 242035 SOS 105730 HAS SOPS 105730 HAS SOUS 45217 HAS SOUPS 45217 WITH SCORE 45322.73
AT ITER 1487 NEW BEST:: SOT 241837 SOS 105332 HAS SOPS 105332 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45320.332
AT ITER 1506 NEW BEST:: SOT 241761 SOS 105180 HAS SOPS 105180 HAS SOUS 45139 HAS SOUPS 45139 WITH SCORE 45244.18
AT ITER 1531 NEW BEST:: SOT 241750 SOS 105136 HAS SOPS 105136 HAS SOUS 45139 HAS SOUPS 45139 WITH SCORE 45244.136
AT ITER 1543 NEW BEST:: SOT 241742 SOS 105112 HAS SOPS 105112 HAS SOUS 45133 HAS SOUPS 45133 WITH SCORE 45238.112
AT ITER 1549 NEW BEST:: SOT 241411 SOS 104128 HAS SOPS 104128 HAS SOUS 45029 HAS SOUPS 45029 WITH SCORE 45133.128
AT ITER 1551 NEW BEST:: SOT 241263 SOS 103684 HAS SOPS 103684 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45058.684
AT ITER 1556 NEW BEST:: SOT 241253 SOS 103664 HAS SOPS 103664 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45058.664
AT ITER 1561 NEW BEST:: SOT 241026 SOS 102929 HAS SOPS 102929 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44885.929
AT ITER 1589 NEW BEST:: SOT 240839 SOS 102281 HAS SOPS 102281 HAS SOUS 44736 HAS SOUPS 44736 WITH SCORE 44838.281
AT ITER 1604 NEW BEST:: SOT 240478 SOS 101056 HAS SOPS 101056 HAS SOUS 44661 HAS SOUPS 44661 WITH SCORE 44762.056
AT ITER 1611 NEW BEST:: SOT 240354 SOS 100937 HAS SOPS 100937 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44729.937
AT ITER 1613 NEW BEST:: SOT 240338 SOS 100905 HAS SOPS 100905 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44713.905
AT ITER 1628 NEW BEST:: SOT 240338 SOS 100846 HAS SOPS 100846 HAS SOUS 44554 HAS SOUPS 44554 WITH SCORE 44654.846
AT ITER 1639 NEW BEST:: SOT 240232 SOS 100546 HAS SOPS 100546 HAS SOUS 44528 HAS SOUPS 44528 WITH SCORE 44628.546
AT ITER 1644 NEW BEST:: SOT 240232 SOS 100544 HAS SOPS 100544 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44626.544
AT ITER 1656 NEW BEST:: SOT 240052 SOS 100004 HAS SOPS 100004 HAS SOUS 44436 HAS SOUPS 44436 WITH SCORE 44536.004
AT ITER 1658 NEW BEST:: SOT 239958 SOS 99644 HAS SOPS 99644 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44530.644
AT ITER 1670 NEW BEST:: SOT 239956 SOS 99638 HAS SOPS 99638 HAS SOUS 44430 HAS SOUPS 44430 WITH SCORE 44529.638
AT ITER 1678 NEW BEST:: SOT 239940 SOS 99606 HAS SOPS 99606 HAS SOUS 44414 HAS SOUPS 44414 WITH SCORE 44513.606
AT ITER 1693 NEW BEST:: SOT 239843 SOS 99385 HAS SOPS 99385 HAS SOUS 44378 HAS SOUPS 44378 WITH SCORE 44477.385
AT ITER 1697 NEW BEST:: SOT 239648 SOS 98762 HAS SOPS 98762 HAS SOUS 44310 HAS SOUPS 44310 WITH SCORE 44408.762
AT ITER 1707 NEW BEST:: SOT 239568 SOS 98400 HAS SOPS 98400 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44090.4
AT ITER 1711 NEW BEST:: SOT 239534 SOS 98339 HAS SOPS 98339 HAS SOUS 43965 HAS SOUPS 43965 WITH SCORE 44063.339
AT ITER 1739 NEW BEST:: SOT 239534 SOS 98306 HAS SOPS 98306 HAS SOUS 43932 HAS SOUPS 43932 WITH SCORE 44030.306
AT ITER 1743 NEW BEST:: SOT 239462 SOS 98090 HAS SOPS 98090 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 44029.09
AT ITER 1775 NEW BEST:: SOT 239346 SOS 97798 HAS SOPS 97798 HAS SOUS 43929 HAS SOUPS 43929 WITH SCORE 44026.798
AT ITER 1776 NEW BEST:: SOT 238834 SOS 96327 HAS SOPS 96327 HAS SOUS 43754 HAS SOUPS 43754 WITH SCORE 43850.327
AT ITER 1781 NEW BEST:: SOT 238834 SOS 96359 HAS SOPS 96359 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43818.359
AT ITER 1841 NEW BEST:: SOT 238831 SOS 96353 HAS SOPS 96353 HAS SOUS 43719 HAS SOUPS 43719 WITH SCORE 43815.353
AT ITER 1851 NEW BEST:: SOT 238905 SOS 96433 HAS SOPS 96433 HAS SOUS 43679 HAS SOUPS 43679 WITH SCORE 43775.433
AT ITER 1880 NEW BEST:: SOT 238998 SOS 96526 HAS SOPS 96526 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43682.526
AT ITER 1882 NEW BEST:: SOT 238818 SOS 96163 HAS SOPS 96163 HAS SOUS 43521 HAS SOUPS 43521 WITH SCORE 43617.163
AT ITER 1900 NEW BEST:: SOT 238614 SOS 95369 HAS SOPS 95369 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43457.369
AT ITER 1903 NEW BEST:: SOT 238589 SOS 95319 HAS SOPS 95319 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43432.319
AT ITER 1913 NEW BEST:: SOT 238589 SOS 95291 HAS SOPS 95291 HAS SOUS 43309 HAS SOUPS 43309 WITH SCORE 43404.291
AT ITER 1914 NEW BEST:: SOT 238147 SOS 94101 HAS SOPS 94101 HAS SOUS 42918 HAS SOUPS 42918 WITH SCORE 43012.101
AT ITER 1930 NEW BEST:: SOT 238147 SOS 94109 HAS SOPS 94109 HAS SOUS 42911 HAS SOUPS 42911 WITH SCORE 43005.109
AT ITER 1940 NEW BEST:: SOT 238311 SOS 94587 HAS SOPS 94587 HAS SOUS 42826 HAS SOUPS 42826 WITH SCORE 42920.587
AT ITER 1949 NEW BEST:: SOT 238287 SOS 94526 HAS SOPS 94526 HAS SOUS 42825 HAS SOUPS 42825 WITH SCORE 42919.526
AT ITER 1955 NEW BEST:: SOT 238111 SOS 93964 HAS SOPS 93964 HAS SOUS 42761 HAS SOUPS 42761 WITH SCORE 42854.964
AT ITER 1990 NEW BEST:: SOT 238001 SOS 93568 HAS SOPS 93568 HAS SOUS 42735 HAS SOUPS 42735 WITH SCORE 42828.568
AT ITER 2009 NEW BEST:: SOT 237873 SOS 93172 HAS SOPS 93172 HAS SOUS 42537 HAS SOUPS 42537 WITH SCORE 42630.172
AT ITER 2023 NEW BEST:: SOT 237786 SOS 92998 HAS SOPS 92998 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42614.998
AT ITER 2037 NEW BEST:: SOT 237739 SOS 92903 HAS SOPS 92903 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42614.903
AT ITER 2069 NEW BEST:: SOT 237731 SOS 92887 HAS SOPS 92887 HAS SOUS 42498 HAS SOUPS 42498 WITH SCORE 42590.887
AT ITER 2071 NEW BEST:: SOT 237625 SOS 92711 HAS SOPS 92711 HAS SOUS 42176 HAS SOUPS 42176 WITH SCORE 42268.711
AT ITER 2073 NEW BEST:: SOT 237308 SOS 91826 HAS SOPS 91826 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42260.826
AT ITER 2079 NEW BEST:: SOT 237224 SOS 91574 HAS SOPS 91574 HAS SOUS 42127 HAS SOUPS 42127 WITH SCORE 42218.574
AT ITER 2093 NEW BEST:: SOT 237224 SOS 91574 HAS SOPS 91574 HAS SOUS 42005 HAS SOUPS 42005 WITH SCORE 42096.574
AT ITER 2107 NEW BEST:: SOT 237158 SOS 91439 HAS SOPS 91439 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 42025.439
AT ITER 2108 NEW BEST:: SOT 237147 SOS 91338 HAS SOPS 91338 HAS SOUS 41802 HAS SOUPS 41802 WITH SCORE 41893.338
AT ITER 2142 NEW BEST:: SOT 236995 SOS 90612 HAS SOPS 90612 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41636.612
AT ITER 2158 NEW BEST:: SOT 236823 SOS 90268 HAS SOPS 90268 HAS SOUS 41434 HAS SOUPS 41434 WITH SCORE 41524.268
AT ITER 2184 NEW BEST:: SOT 236675 SOS 89888 HAS SOPS 89888 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41513.888
AT ITER 2207 NEW BEST:: SOT 236669 SOS 89870 HAS SOPS 89870 HAS SOUS 41417 HAS SOUPS 41417 WITH SCORE 41506.87
AT ITER 2238 NEW BEST:: SOT 236293 SOS 88752 HAS SOPS 88752 HAS SOUS 41149 HAS SOUPS 41149 WITH SCORE 41237.752
AT ITER 2244 NEW BEST:: SOT 236210 SOS 88722 HAS SOPS 88722 HAS SOUS 40968 HAS SOUPS 40968 WITH SCORE 41056.722
AT ITER 2251 NEW BEST:: SOT 236154 SOS 88580 HAS SOPS 88580 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41054.58
AT ITER 2257 NEW BEST:: SOT 236140 SOS 88524 HAS SOPS 88524 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41054.524
AT ITER 2291 NEW BEST:: SOT 236104 SOS 88416 HAS SOPS 88416 HAS SOUS 40948 HAS SOUPS 40948 WITH SCORE 41036.416
AT ITER 2314 NEW BEST:: SOT 236081 SOS 88370 HAS SOPS 88370 HAS SOUS 40925 HAS SOUPS 40925 WITH SCORE 41013.37
AT ITER 2315 NEW BEST:: SOT 235976 SOS 88054 HAS SOPS 88054 HAS SOUS 40767 HAS SOUPS 40767 WITH SCORE 40855.054
AT ITER 2317 NEW BEST:: SOT 235976 SOS 88054 HAS SOPS 88054 HAS SOUS 40765 HAS SOUPS 40765 WITH SCORE 40853.054
AT ITER 2334 NEW BEST:: SOT 235980 SOS 88040 HAS SOPS 88040 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40846.04
AT ITER 2349 NEW BEST:: SOT 235932 SOS 87992 HAS SOPS 87992 HAS SOUS 40708 HAS SOUPS 40708 WITH SCORE 40795.992
AT ITER 2383 NEW BEST:: SOT 235633 SOS 87110 HAS SOPS 87110 HAS SOUS 40637 HAS SOUPS 40637 WITH SCORE 40724.11
AT ITER 2386 NEW BEST:: SOT 235633 SOS 87110 HAS SOPS 87110 HAS SOUS 40633 HAS SOUPS 40633 WITH SCORE 40720.11
AT ITER 2406 NEW BEST:: SOT 235404 SOS 86327 HAS SOPS 86327 HAS SOUS 40544 HAS SOUPS 40544 WITH SCORE 40630.327
AT ITER 2420 NEW BEST:: SOT 235404 SOS 86306 HAS SOPS 86306 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40607.306
AT ITER 2425 NEW BEST:: SOT 235404 SOS 86311 HAS SOPS 86311 HAS SOUS 40516 HAS SOUPS 40516 WITH SCORE 40602.311
AT ITER 2428 NEW BEST:: SOT 235381 SOS 86165 HAS SOPS 86165 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40529.165
AT ITER 2440 NEW BEST:: SOT 235350 SOS 86103 HAS SOPS 86103 HAS SOUS 40381 HAS SOUPS 40381 WITH SCORE 40467.103
AT ITER 2459 NEW BEST:: SOT 235350 SOS 86103 HAS SOPS 86103 HAS SOUS 40315 HAS SOUPS 40315 WITH SCORE 40401.103
AT ITER 2465 NEW BEST:: SOT 235272 SOS 85869 HAS SOPS 85869 HAS SOUS 40198 HAS SOUPS 40198 WITH SCORE 40283.869
AT ITER 2488 NEW BEST:: SOT 235242 SOS 85745 HAS SOPS 85745 HAS SOUS 40098 HAS SOUPS 40098 WITH SCORE 40183.745
AT ITER 2498 NEW BEST:: SOT 235088 SOS 85219 HAS SOPS 85219 HAS SOUS 40050 HAS SOUPS 40050 WITH SCORE 40135.219
AT ITER 2518 NEW BEST:: SOT 234982 SOS 84901 HAS SOPS 84901 HAS SOUS 39997 HAS SOUPS 39997 WITH SCORE 40081.901
AT ITER 2519 NEW BEST:: SOT 234982 SOS 84827 HAS SOPS 84827 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40054.827
AT ITER 2554 NEW BEST:: SOT 234982 SOS 84803 HAS SOPS 84803 HAS SOUS 39946 HAS SOUPS 39946 WITH SCORE 40030.803
AT ITER 2559 NEW BEST:: SOT 234914 SOS 84667 HAS SOPS 84667 HAS SOUS 39934 HAS SOUPS 39934 WITH SCORE 40018.667
AT ITER 2565 NEW BEST:: SOT 234908 SOS 84731 HAS SOPS 84731 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39974.731
AT ITER 2570 NEW BEST:: SOT 234908 SOS 84759 HAS SOPS 84759 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39960.759
AT ITER 2583 NEW BEST:: SOT 234835 SOS 84613 HAS SOPS 84613 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39960.613
AT ITER 2598 NEW BEST:: SOT 234977 SOS 84984 HAS SOPS 84984 HAS SOUS 39844 HAS SOUPS 39844 WITH SCORE 39928.984
AT ITER 2600 NEW BEST:: SOT 234977 SOS 84987 HAS SOPS 84987 HAS SOUS 39745 HAS SOUPS 39745 WITH SCORE 39829.987
AT ITER 2618 NEW BEST:: SOT 234968 SOS 84957 HAS SOPS 84957 HAS SOUS 39730 HAS SOUPS 39730 WITH SCORE 39814.957
AT ITER 2630 NEW BEST:: SOT 234950 SOS 84903 HAS SOPS 84903 HAS SOUS 39721 HAS SOUPS 39721 WITH SCORE 39805.903
AT ITER 2641 NEW BEST:: SOT 234950 SOS 84896 HAS SOPS 84896 HAS SOUS 39708 HAS SOUPS 39708 WITH SCORE 39792.896
AT ITER 2652 NEW BEST:: SOT 234950 SOS 84896 HAS SOPS 84896 HAS SOUS 39706 HAS SOUPS 39706 WITH SCORE 39790.896
AT ITER 2685 NEW BEST:: SOT 234759 SOS 84204 HAS SOPS 84204 HAS SOUS 39642 HAS SOUPS 39642 WITH SCORE 39726.204
AT ITER 2712 NEW BEST:: SOT 234792 SOS 84270 HAS SOPS 84270 HAS SOUS 39603 HAS SOUPS 39603 WITH SCORE 39687.27
AT ITER 2744 NEW BEST:: SOT 234542 SOS 83708 HAS SOPS 83708 HAS SOUS 39586 HAS SOUPS 39586 WITH SCORE 39669.708
AT ITER 2761 NEW BEST:: SOT 234526 SOS 83652 HAS SOPS 83652 HAS SOUS 39582 HAS SOUPS 39582 WITH SCORE 39665.652
AT ITER 2777 NEW BEST:: SOT 234532 SOS 83664 HAS SOPS 83664 HAS SOUS 39497 HAS SOUPS 39497 WITH SCORE 39580.664
AT ITER 2815 NEW BEST:: SOT 234529 SOS 83643 HAS SOPS 83643 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39562.643
AT ITER 2832 NEW BEST:: SOT 234165 SOS 82767 HAS SOPS 82767 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39479.767
AT ITER 2849 NEW BEST:: SOT 234159 SOS 82755 HAS SOPS 82755 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39479.755
AT ITER 2858 NEW BEST:: SOT 233741 SOS 81740 HAS SOPS 81740 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39280.74
AT ITER 2865 NEW BEST:: SOT 233738 SOS 81734 HAS SOPS 81734 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39280.734
AT ITER 2868 NEW BEST:: SOT 233319 SOS 80435 HAS SOPS 80435 HAS SOUS 39018 HAS SOUPS 39018 WITH SCORE 39098.435
AT ITER 2879 NEW BEST:: SOT 233319 SOS 80430 HAS SOPS 80430 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39093.43
AT ITER 2887 NEW BEST:: SOT 233303 SOS 80382 HAS SOPS 80382 HAS SOUS 39005 HAS SOUPS 39005 WITH SCORE 39085.382
AT ITER 2913 NEW BEST:: SOT 233283 SOS 80105 HAS SOPS 80105 HAS SOUS 38985 HAS SOUPS 38985 WITH SCORE 39065.105
AT ITER 2924 NEW BEST:: SOT 232979 SOS 79086 HAS SOPS 79086 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38928.086
AT ITER 2928 NEW BEST:: SOT 232862 SOS 78831 HAS SOPS 78831 HAS SOUS 38761 HAS SOUPS 38761 WITH SCORE 38839.831
AT ITER 2933 NEW BEST:: SOT 232842 SOS 78778 HAS SOPS 78778 HAS SOUS 38758 HAS SOUPS 38758 WITH SCORE 38836.778
AT ITER 2944 NEW BEST:: SOT 232788 SOS 78602 HAS SOPS 78602 HAS SOUS 38738 HAS SOUPS 38738 WITH SCORE 38816.602
AT ITER 2955 NEW BEST:: SOT 232701 SOS 78428 HAS SOPS 78428 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38729.428
AT ITER 2999 NEW BEST:: SOT 232633 SOS 78258 HAS SOPS 78258 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38729.258
AT ITER 3021 NEW BEST:: SOT 232628 SOS 78238 HAS SOPS 78238 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38729.238
AT ITER 3026 NEW BEST:: SOT 232624 SOS 78226 HAS SOPS 78226 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38723.226
AT ITER 3038 NEW BEST:: SOT 232588 SOS 78136 HAS SOPS 78136 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38723.136
AT ITER 3043 NEW BEST:: SOT 232645 SOS 78297 HAS SOPS 78297 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38713.297
AT ITER 3053 NEW BEST:: SOT 232652 SOS 78311 HAS SOPS 78311 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38706.311
AT ITER 3055 NEW BEST:: SOT 232501 SOS 77855 HAS SOPS 77855 HAS SOUS 38420 HAS SOUPS 38420 WITH SCORE 38497.855
AT ITER 3058 NEW BEST:: SOT 232501 SOS 77855 HAS SOPS 77855 HAS SOUS 38418 HAS SOUPS 38418 WITH SCORE 38495.855
AT ITER 3074 NEW BEST:: SOT 232475 SOS 77777 HAS SOPS 77777 HAS SOUS 38405 HAS SOUPS 38405 WITH SCORE 38482.777
AT ITER 3082 NEW BEST:: SOT 232338 SOS 77369 HAS SOPS 77369 HAS SOUS 38353 HAS SOUPS 38353 WITH SCORE 38430.369
AT ITER 3087 NEW BEST:: SOT 232289 SOS 77295 HAS SOPS 77295 HAS SOUS 38328 HAS SOUPS 38328 WITH SCORE 38405.295
AT ITER 3119 NEW BEST:: SOT 232243 SOS 77137 HAS SOPS 77137 HAS SOUS 38315 HAS SOUPS 38315 WITH SCORE 38392.137
AT ITER 3132 NEW BEST:: SOT 232221 SOS 77093 HAS SOPS 77093 HAS SOUS 38315 HAS SOUPS 38315 WITH SCORE 38392.093
AT ITER 3135 NEW BEST:: SOT 232226 SOS 76879 HAS SOPS 76879 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38324.879
AT ITER 3140 NEW BEST:: SOT 231970 SOS 75970 HAS SOPS 75970 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38306.97
AT ITER 3171 NEW BEST:: SOT 231964 SOS 75955 HAS SOPS 75955 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38306.955
AT ITER 3173 NEW BEST:: SOT 231899 SOS 75818 HAS SOPS 75818 HAS SOUS 38192 HAS SOUPS 38192 WITH SCORE 38267.818
AT ITER 3184 NEW BEST:: SOT 231938 SOS 75928 HAS SOPS 75928 HAS SOUS 38167 HAS SOUPS 38167 WITH SCORE 38242.928
AT ITER 3214 NEW BEST:: SOT 231986 SOS 76095 HAS SOPS 76095 HAS SOUS 38148 HAS SOUPS 38148 WITH SCORE 38224.095
AT ITER 3234 NEW BEST:: SOT 231984 SOS 76091 HAS SOPS 76091 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38198.091
AT ITER 3240 NEW BEST:: SOT 232042 SOS 76328 HAS SOPS 76328 HAS SOUS 38121 HAS SOUPS 38121 WITH SCORE 38197.328
AT ITER 3250 NEW BEST:: SOT 231988 SOS 76188 HAS SOPS 76188 HAS SOUS 38116 HAS SOUPS 38116 WITH SCORE 38192.188
AT ITER 3251 NEW BEST:: SOT 231968 SOS 76128 HAS SOPS 76128 HAS SOUS 38036 HAS SOUPS 38036 WITH SCORE 38112.128
AT ITER 3260 NEW BEST:: SOT 231901 SOS 75902 HAS SOPS 75902 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 38002.902
AT ITER 3264 NEW BEST:: SOT 231562 SOS 75224 HAS SOPS 75224 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 38002.224
AT ITER 3287 NEW BEST:: SOT 231562 SOS 75224 HAS SOPS 75224 HAS SOUS 37925 HAS SOUPS 37925 WITH SCORE 38000.224
AT ITER 3306 NEW BEST:: SOT 231555 SOS 75203 HAS SOPS 75203 HAS SOUS 37925 HAS SOUPS 37925 WITH SCORE 38000.203
AT ITER 3309 NEW BEST:: SOT 231555 SOS 75183 HAS SOPS 75183 HAS SOUS 37925 HAS SOUPS 37925 WITH SCORE 38000.183
AT ITER 3353 NEW BEST:: SOT 231580 SOS 75214 HAS SOPS 75214 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37991.214
AT ITER 3362 NEW BEST:: SOT 231522 SOS 75069 HAS SOPS 75069 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37991.069
AT ITER 3375 NEW BEST:: SOT 231446 SOS 74876 HAS SOPS 74876 HAS SOUS 37911 HAS SOUPS 37911 WITH SCORE 37985.876
AT ITER 3388 NEW BEST:: SOT 231344 SOS 74672 HAS SOPS 74672 HAS SOUS 37785 HAS SOUPS 37785 WITH SCORE 37859.672
AT ITER 3405 NEW BEST:: SOT 231336 SOS 74662 HAS SOPS 74662 HAS SOUS 37775 HAS SOUPS 37775 WITH SCORE 37849.662
AT ITER 3411 NEW BEST:: SOT 231302 SOS 74526 HAS SOPS 74526 HAS SOUS 37741 HAS SOUPS 37741 WITH SCORE 37815.526
AT ITER 3413 NEW BEST:: SOT 231224 SOS 74258 HAS SOPS 74258 HAS SOUS 37719 HAS SOUPS 37719 WITH SCORE 37793.258
AT ITER 3414 NEW BEST:: SOT 230756 SOS 72994 HAS SOPS 72994 HAS SOUS 37643 HAS SOUPS 37643 WITH SCORE 37715.994
AT ITER 3444 NEW BEST:: SOT 230603 SOS 72563 HAS SOPS 72563 HAS SOUS 37641 HAS SOUPS 37641 WITH SCORE 37713.563
AT ITER 3449 NEW BEST:: SOT 230179 SOS 71349 HAS SOPS 71349 HAS SOUS 37589 HAS SOUPS 37589 WITH SCORE 37660.349
AT ITER 3450 NEW BEST:: SOT 230179 SOS 71281 HAS SOPS 71281 HAS SOUS 37521 HAS SOUPS 37521 WITH SCORE 37592.281
AT ITER 3453 NEW BEST:: SOT 230138 SOS 71240 HAS SOPS 71240 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37577.24
AT ITER 3489 NEW BEST:: SOT 230138 SOS 71240 HAS SOPS 71240 HAS SOUS 37505 HAS SOUPS 37505 WITH SCORE 37576.24
AT ITER 3514 NEW BEST:: SOT 230138 SOS 71240 HAS SOPS 71240 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37514.24
AT ITER 3533 NEW BEST:: SOT 230127 SOS 71274 HAS SOPS 71274 HAS SOUS 37428 HAS SOUPS 37428 WITH SCORE 37499.274
AT ITER 3539 NEW BEST:: SOT 230110 SOS 71240 HAS SOPS 71240 HAS SOUS 37428 HAS SOUPS 37428 WITH SCORE 37499.24
AT ITER 3549 NEW BEST:: SOT 230160 SOS 71405 HAS SOPS 71405 HAS SOUS 37363 HAS SOUPS 37363 WITH SCORE 37434.405
AT ITER 3573 NEW BEST:: SOT 230146 SOS 71377 HAS SOPS 71377 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37420.377
AT ITER 3589 NEW BEST:: SOT 230146 SOS 71361 HAS SOPS 71361 HAS SOUS 37341 HAS SOUPS 37341 WITH SCORE 37412.361
AT ITER 3594 NEW BEST:: SOT 229761 SOS 70390 HAS SOPS 70390 HAS SOUS 37178 HAS SOUPS 37178 WITH SCORE 37248.39
AT ITER 3598 NEW BEST:: SOT 229603 SOS 70074 HAS SOPS 70074 HAS SOUS 37141 HAS SOUPS 37141 WITH SCORE 37211.074
AT ITER 3619 NEW BEST:: SOT 229422 SOS 69446 HAS SOPS 69446 HAS SOUS 37120 HAS SOUPS 37120 WITH SCORE 37189.446
AT ITER 3625 NEW BEST:: SOT 229418 SOS 69438 HAS SOPS 69438 HAS SOUS 37114 HAS SOUPS 37114 WITH SCORE 37183.438
AT ITER 3642 NEW BEST:: SOT 229436 SOS 69492 HAS SOPS 69492 HAS SOUS 37096 HAS SOUPS 37096 WITH SCORE 37165.492
AT ITER 3651 NEW BEST:: SOT 229141 SOS 68568 HAS SOPS 68568 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36934.568
AT ITER 3711 NEW BEST:: SOT 229112 SOS 68510 HAS SOPS 68510 HAS SOUS 36850 HAS SOUPS 36850 WITH SCORE 36918.51
AT ITER 3721 NEW BEST:: SOT 229100 SOS 68479 HAS SOPS 68479 HAS SOUS 36849 HAS SOUPS 36849 WITH SCORE 36917.479
AT ITER 3744 NEW BEST:: SOT 229019 SOS 68313 HAS SOPS 68313 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36886.313
AT ITER 3767 NEW BEST:: SOT 228728 SOS 67408 HAS SOPS 67408 HAS SOUS 36739 HAS SOUPS 36739 WITH SCORE 36806.408
AT ITER 3768 NEW BEST:: SOT 228696 SOS 67418 HAS SOPS 67418 HAS SOUS 36731 HAS SOUPS 36731 WITH SCORE 36798.418
AT ITER 3777 NEW BEST:: SOT 228677 SOS 67368 HAS SOPS 67368 HAS SOUS 36700 HAS SOUPS 36700 WITH SCORE 36767.368
AT ITER 3790 NEW BEST:: SOT 228677 SOS 67368 HAS SOPS 67368 HAS SOUS 36688 HAS SOUPS 36688 WITH SCORE 36755.368
AT ITER 3797 NEW BEST:: SOT 228716 SOS 67298 HAS SOPS 67298 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36652.298
AT ITER 3806 NEW BEST:: SOT 228707 SOS 67279 HAS SOPS 67279 HAS SOUS 36573 HAS SOUPS 36573 WITH SCORE 36640.279
AT ITER 3809 NEW BEST:: SOT 228693 SOS 67265 HAS SOPS 67265 HAS SOUS 36523 HAS SOUPS 36523 WITH SCORE 36590.265
AT ITER 3814 NEW BEST:: SOT 228677 SOS 67233 HAS SOPS 67233 HAS SOUS 36507 HAS SOUPS 36507 WITH SCORE 36574.233
AT ITER 3832 NEW BEST:: SOT 228499 SOS 66701 HAS SOPS 66701 HAS SOUS 36432 HAS SOUPS 36432 WITH SCORE 36498.701
AT ITER 3849 NEW BEST:: SOT 228466 SOS 66491 HAS SOPS 66491 HAS SOUS 36216 HAS SOUPS 36216 WITH SCORE 36282.491
AT ITER 3877 NEW BEST:: SOT 228431 SOS 66421 HAS SOPS 66421 HAS SOUS 36216 HAS SOUPS 36216 WITH SCORE 36282.421
AT ITER 3883 NEW BEST:: SOT 228506 SOS 66637 HAS SOPS 66637 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36225.637
AT ITER 3884 NEW BEST:: SOT 228501 SOS 66627 HAS SOPS 66627 HAS SOUS 36154 HAS SOUPS 36154 WITH SCORE 36220.627
AT ITER 3889 NEW BEST:: SOT 228439 SOS 66457 HAS SOPS 66457 HAS SOUS 36139 HAS SOUPS 36139 WITH SCORE 36205.457
AT ITER 3901 NEW BEST:: SOT 228433 SOS 66461 HAS SOPS 66461 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36203.461
AT ITER 3908 NEW BEST:: SOT 228361 SOS 66266 HAS SOPS 66266 HAS SOUS 36122 HAS SOUPS 36122 WITH SCORE 36188.266
AT ITER 3939 NEW BEST:: SOT 228125 SOS 65613 HAS SOPS 65613 HAS SOUS 36122 HAS SOUPS 36122 WITH SCORE 36187.613
AT ITER 3968 NEW BEST:: SOT 228091 SOS 65511 HAS SOPS 65511 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36136.511
AT ITER 3976 NEW BEST:: SOT 228089 SOS 65507 HAS SOPS 65507 HAS SOUS 36069 HAS SOUPS 36069 WITH SCORE 36134.507
AT ITER 3986 NEW BEST:: SOT 227792 SOS 64699 HAS SOPS 64699 HAS SOUS 35835 HAS SOUPS 35835 WITH SCORE 35899.699
AT ITER 4019 NEW BEST:: SOT 227791 SOS 64697 HAS SOPS 64697 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35898.697
AT ITER 4028 NEW BEST:: SOT 227777 SOS 64669 HAS SOPS 64669 HAS SOUS 35800 HAS SOUPS 35800 WITH SCORE 35864.669
AT ITER 4031 NEW BEST:: SOT 227689 SOS 64420 HAS SOPS 64420 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35818.42
AT ITER 4038 NEW BEST:: SOT 227687 SOS 64414 HAS SOPS 64414 HAS SOUS 35750 HAS SOUPS 35750 WITH SCORE 35814.414
AT ITER 4048 NEW BEST:: SOT 227285 SOS 63444 HAS SOPS 63444 HAS SOUS 35562 HAS SOUPS 35562 WITH SCORE 35625.444
AT ITER 4055 NEW BEST:: SOT 227276 SOS 63408 HAS SOPS 63408 HAS SOUS 35562 HAS SOUPS 35562 WITH SCORE 35625.408
AT ITER 4065 NEW BEST:: SOT 227322 SOS 63537 HAS SOPS 63537 HAS SOUS 35558 HAS SOUPS 35558 WITH SCORE 35621.537
AT ITER 4070 NEW BEST:: SOT 227308 SOS 63453 HAS SOPS 63453 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35579.453
AT ITER 4100 NEW BEST:: SOT 227315 SOS 63468 HAS SOPS 63468 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35529.468
AT ITER 4109 NEW BEST:: SOT 227310 SOS 63448 HAS SOPS 63448 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35529.448
AT ITER 4110 NEW BEST:: SOT 227266 SOS 63360 HAS SOPS 63360 HAS SOUS 35422 HAS SOUPS 35422 WITH SCORE 35485.36
AT ITER 4142 NEW BEST:: SOT 227122 SOS 62928 HAS SOPS 62928 HAS SOUS 35244 HAS SOUPS 35244 WITH SCORE 35306.928
AT ITER 4169 NEW BEST:: SOT 227159 SOS 62965 HAS SOPS 62965 HAS SOUS 35237 HAS SOUPS 35237 WITH SCORE 35299.965
AT ITER 4180 NEW BEST:: SOT 227145 SOS 62937 HAS SOPS 62937 HAS SOUS 35223 HAS SOUPS 35223 WITH SCORE 35285.937
AT ITER 4197 NEW BEST:: SOT 227079 SOS 62805 HAS SOPS 62805 HAS SOUS 35157 HAS SOUPS 35157 WITH SCORE 35219.805
AT ITER 4198 NEW BEST:: SOT 227023 SOS 62602 HAS SOPS 62602 HAS SOUS 34942 HAS SOUPS 34942 WITH SCORE 35004.602
AT ITER 4227 NEW BEST:: SOT 226928 SOS 62224 HAS SOPS 62224 HAS SOUS 34911 HAS SOUPS 34911 WITH SCORE 34973.224
AT ITER 4258 NEW BEST:: SOT 226924 SOS 62216 HAS SOPS 62216 HAS SOUS 34900 HAS SOUPS 34900 WITH SCORE 34962.216
AT ITER 4263 NEW BEST:: SOT 226920 SOS 62204 HAS SOPS 62204 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34960.204
AT ITER 4295 NEW BEST:: SOT 226766 SOS 61821 HAS SOPS 61821 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34888.821
AT ITER 4302 NEW BEST:: SOT 226586 SOS 61281 HAS SOPS 61281 HAS SOUS 34737 HAS SOUPS 34737 WITH SCORE 34798.281
AT ITER 4303 NEW BEST:: SOT 226631 SOS 61326 HAS SOPS 61326 HAS SOUS 34692 HAS SOUPS 34692 WITH SCORE 34753.326
AT ITER 4305 NEW BEST:: SOT 226631 SOS 61321 HAS SOPS 61321 HAS SOUS 34687 HAS SOUPS 34687 WITH SCORE 34748.321
AT ITER 4317 NEW BEST:: SOT 226557 SOS 61101 HAS SOPS 61101 HAS SOUS 34682 HAS SOUPS 34682 WITH SCORE 34743.101
AT ITER 4318 NEW BEST:: SOT 226428 SOS 60728 HAS SOPS 60728 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34604.728
AT ITER 4330 NEW BEST:: SOT 226342 SOS 60406 HAS SOPS 60406 HAS SOUS 34536 HAS SOUPS 34536 WITH SCORE 34596.406
AT ITER 4337 NEW BEST:: SOT 226301 SOS 60335 HAS SOPS 60335 HAS SOUS 34517 HAS SOUPS 34517 WITH SCORE 34577.335
AT ITER 4355 NEW BEST:: SOT 226301 SOS 60335 HAS SOPS 60335 HAS SOUS 34513 HAS SOUPS 34513 WITH SCORE 34573.335
AT ITER 4358 NEW BEST:: SOT 226301 SOS 60345 HAS SOPS 60345 HAS SOUS 34512 HAS SOUPS 34512 WITH SCORE 34572.345
AT ITER 4359 NEW BEST:: SOT 226203 SOS 60090 HAS SOPS 60090 HAS SOUS 34453 HAS SOUPS 34453 WITH SCORE 34513.09
AT ITER 4382 NEW BEST:: SOT 226159 SOS 59958 HAS SOPS 59958 HAS SOUS 34431 HAS SOUPS 34431 WITH SCORE 34490.958
AT ITER 4417 NEW BEST:: SOT 226192 SOS 60098 HAS SOPS 60098 HAS SOUS 34427 HAS SOUPS 34427 WITH SCORE 34487.098
AT ITER 4423 NEW BEST:: SOT 226251 SOS 60279 HAS SOPS 60279 HAS SOUS 34389 HAS SOUPS 34389 WITH SCORE 34449.279
AT ITER 4436 NEW BEST:: SOT 226209 SOS 60195 HAS SOPS 60195 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34437.195
AT ITER 4454 NEW BEST:: SOT 226194 SOS 60169 HAS SOPS 60169 HAS SOUS 34323 HAS SOUPS 34323 WITH SCORE 34383.169
AT ITER 4457 NEW BEST:: SOT 226170 SOS 60109 HAS SOPS 60109 HAS SOUS 34311 HAS SOUPS 34311 WITH SCORE 34371.109
AT ITER 4461 NEW BEST:: SOT 226158 SOS 60073 HAS SOPS 60073 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34353.073
AT ITER 4469 NEW BEST:: SOT 226158 SOS 60072 HAS SOPS 60072 HAS SOUS 34290 HAS SOUPS 34290 WITH SCORE 34350.072
AT ITER 4481 NEW BEST:: SOT 226022 SOS 59738 HAS SOPS 59738 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34264.738
AT ITER 4487 NEW BEST:: SOT 226049 SOS 59828 HAS SOPS 59828 HAS SOUS 34187 HAS SOUPS 34187 WITH SCORE 34246.828
AT ITER 4505 NEW BEST:: SOT 226049 SOS 59828 HAS SOPS 59828 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34102.828
AT ITER 4508 NEW BEST:: SOT 226037 SOS 59803 HAS SOPS 59803 HAS SOUS 34040 HAS SOUPS 34040 WITH SCORE 34099.803
AT ITER 4516 NEW BEST:: SOT 226062 SOS 59897 HAS SOPS 59897 HAS SOUS 34034 HAS SOUPS 34034 WITH SCORE 34093.897
AT ITER 4517 NEW BEST:: SOT 226115 SOS 59948 HAS SOPS 59948 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34091.948
AT ITER 4537 NEW BEST:: SOT 226115 SOS 59970 HAS SOPS 59970 HAS SOUS 34023 HAS SOUPS 34023 WITH SCORE 34082.97
AT ITER 4538 NEW BEST:: SOT 226073 SOS 59840 HAS SOPS 59840 HAS SOUS 34004 HAS SOUPS 34004 WITH SCORE 34063.84
AT ITER 4546 NEW BEST:: SOT 226032 SOS 59662 HAS SOPS 59662 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34015.662
AT ITER 4548 NEW BEST:: SOT 226044 SOS 59530 HAS SOPS 59530 HAS SOUS 33886 HAS SOUPS 33886 WITH SCORE 33945.53
AT ITER 4569 NEW BEST:: SOT 225915 SOS 59159 HAS SOPS 59159 HAS SOUS 33854 HAS SOUPS 33854 WITH SCORE 33913.159
AT ITER 4580 NEW BEST:: SOT 225915 SOS 59107 HAS SOPS 59107 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33887.107
AT ITER 4585 NEW BEST:: SOT 225915 SOS 59185 HAS SOPS 59185 HAS SOUS 33786 HAS SOUPS 33786 WITH SCORE 33845.185
AT ITER 4643 NEW BEST:: SOT 225915 SOS 59201 HAS SOPS 59201 HAS SOUS 33778 HAS SOUPS 33778 WITH SCORE 33837.201
AT ITER 4693 NEW BEST:: SOT 225907 SOS 59177 HAS SOPS 59177 HAS SOUS 33774 HAS SOUPS 33774 WITH SCORE 33833.177
AT ITER 4699 NEW BEST:: SOT 226059 SOS 59411 HAS SOPS 59411 HAS SOUS 33741 HAS SOUPS 33741 WITH SCORE 33800.411
AT ITER 4709 NEW BEST:: SOT 225975 SOS 59056 HAS SOPS 59056 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33791.056
AT ITER 4715 NEW BEST:: SOT 225967 SOS 59040 HAS SOPS 59040 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33783.04
AT ITER 4723 NEW BEST:: SOT 225961 SOS 59028 HAS SOPS 59028 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33777.028
AT ITER 4725 NEW BEST:: SOT 225919 SOS 58944 HAS SOPS 58944 HAS SOUS 33685 HAS SOUPS 33685 WITH SCORE 33743.944
AT ITER 4779 NEW BEST:: SOT 225975 SOS 59056 HAS SOPS 59056 HAS SOUS 33681 HAS SOUPS 33681 WITH SCORE 33740.056
AT ITER 4786 NEW BEST:: SOT 225973 SOS 59053 HAS SOPS 59053 HAS SOUS 33677 HAS SOUPS 33677 WITH SCORE 33736.053
AT ITER 4798 NEW BEST:: SOT 225974 SOS 59055 HAS SOPS 59055 HAS SOUS 33675 HAS SOUPS 33675 WITH SCORE 33734.055
AT ITER 4804 NEW BEST:: SOT 225960 SOS 59041 HAS SOPS 59041 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33720.041
AT ITER 4817 NEW BEST:: SOT 225982 SOS 59076 HAS SOPS 59076 HAS SOUS 33645 HAS SOUPS 33645 WITH SCORE 33704.076
AT ITER 4852 NEW BEST:: SOT 225982 SOS 59075 HAS SOPS 59075 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33697.075
AT ITER 4860 NEW BEST:: SOT 225893 SOS 58801 HAS SOPS 58801 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33587.801
AT ITER 4863 NEW BEST:: SOT 225893 SOS 58801 HAS SOPS 58801 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33563.801
AT ITER 4867 NEW BEST:: SOT 225859 SOS 58735 HAS SOPS 58735 HAS SOUS 33490 HAS SOUPS 33490 WITH SCORE 33548.735
AT ITER 4870 NEW BEST:: SOT 225811 SOS 58642 HAS SOPS 58642 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33527.642
AT ITER 4871 NEW BEST:: SOT 225777 SOS 58574 HAS SOPS 58574 HAS SOUS 33435 HAS SOUPS 33435 WITH SCORE 33493.574
AT ITER 4954 NEW BEST:: SOT 225721 SOS 58406 HAS SOPS 58406 HAS SOUS 33407 HAS SOUPS 33407 WITH SCORE 33465.406
AT ITER 4996 NEW BEST:: SOT 225561 SOS 58031 HAS SOPS 58031 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33358.031
AT ITER 5001 NEW BEST:: SOT 225564 SOS 58042 HAS SOPS 58042 HAS SOUS 33299 HAS SOUPS 33299 WITH SCORE 33357.042
AT ITER 5002 NEW BEST:: SOT 225521 SOS 57820 HAS SOPS 57820 HAS SOUS 33231 HAS SOUPS 33231 WITH SCORE 33288.82
AT ITER 5012 NEW BEST:: SOT 225269 SOS 57148 HAS SOPS 57148 HAS SOUS 33198 HAS SOUPS 33198 WITH SCORE 33255.148
AT ITER 5028 NEW BEST:: SOT 225251 SOS 57147 HAS SOPS 57147 HAS SOUS 33197 HAS SOUPS 33197 WITH SCORE 33254.147
AT ITER 5061 NEW BEST:: SOT 225237 SOS 57119 HAS SOPS 57119 HAS SOUS 33189 HAS SOUPS 33189 WITH SCORE 33246.119
AT ITER 5085 NEW BEST:: SOT 225219 SOS 57101 HAS SOPS 57101 HAS SOUS 33183 HAS SOUPS 33183 WITH SCORE 33240.101
AT ITER 5086 NEW BEST:: SOT 224986 SOS 56635 HAS SOPS 56635 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 33006.635
AT ITER 5089 NEW BEST:: SOT 224986 SOS 56629 HAS SOPS 56629 HAS SOUS 32944 HAS SOUPS 32944 WITH SCORE 33000.629
AT ITER 5096 NEW BEST:: SOT 224986 SOS 56602 HAS SOPS 56602 HAS SOUS 32863 HAS SOUPS 32863 WITH SCORE 32919.602
AT ITER 5108 NEW BEST:: SOT 224865 SOS 55996 HAS SOPS 55996 HAS SOUS 32566 HAS SOUPS 32566 WITH SCORE 32621.996
AT ITER 5111 NEW BEST:: SOT 224865 SOS 56026 HAS SOPS 56026 HAS SOUS 32536 HAS SOUPS 32536 WITH SCORE 32592.026
AT ITER 5115 NEW BEST:: SOT 224871 SOS 56026 HAS SOPS 56026 HAS SOUS 32524 HAS SOUPS 32524 WITH SCORE 32580.026
AT ITER 5140 NEW BEST:: SOT 224770 SOS 55854 HAS SOPS 55854 HAS SOUS 32466 HAS SOUPS 32466 WITH SCORE 32521.854
AT ITER 5156 NEW BEST:: SOT 224737 SOS 55788 HAS SOPS 55788 HAS SOUS 32464 HAS SOUPS 32464 WITH SCORE 32519.788
AT ITER 5168 NEW BEST:: SOT 224668 SOS 55611 HAS SOPS 55611 HAS SOUS 32444 HAS SOUPS 32444 WITH SCORE 32499.611
AT ITER 5174 NEW BEST:: SOT 224614 SOS 55503 HAS SOPS 55503 HAS SOUS 32426 HAS SOUPS 32426 WITH SCORE 32481.503
AT ITER 5198 NEW BEST:: SOT 224554 SOS 55357 HAS SOPS 55357 HAS SOUS 32363 HAS SOUPS 32363 WITH SCORE 32418.357
AT ITER 5227 NEW BEST:: SOT 224542 SOS 55333 HAS SOPS 55333 HAS SOUS 32313 HAS SOUPS 32313 WITH SCORE 32368.333
AT ITER 5240 NEW BEST:: SOT 224530 SOS 55309 HAS SOPS 55309 HAS SOUS 32298 HAS SOUPS 32298 WITH SCORE 32353.309
AT ITER 5266 NEW BEST:: SOT 224523 SOS 55281 HAS SOPS 55281 HAS SOUS 32284 HAS SOUPS 32284 WITH SCORE 32339.281
AT ITER 5287 NEW BEST:: SOT 224462 SOS 55106 HAS SOPS 55106 HAS SOUS 32263 HAS SOUPS 32263 WITH SCORE 32318.106
AT ITER 5314 NEW BEST:: SOT 224415 SOS 54920 HAS SOPS 54920 HAS SOUS 32213 HAS SOUPS 32213 WITH SCORE 32267.92
AT ITER 5325 NEW BEST:: SOT 224420 SOS 54906 HAS SOPS 54906 HAS SOUS 32194 HAS SOUPS 32194 WITH SCORE 32248.906
AT ITER 5355 NEW BEST:: SOT 224376 SOS 54818 HAS SOPS 54818 HAS SOUS 32185 HAS SOUPS 32185 WITH SCORE 32239.818
AT ITER 5375 NEW BEST:: SOT 224317 SOS 54730 HAS SOPS 54730 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32211.73
AT ITER 5378 NEW BEST:: SOT 224209 SOS 54431 HAS SOPS 54431 HAS SOUS 32120 HAS SOUPS 32120 WITH SCORE 32174.431
AT ITER 5397 NEW BEST:: SOT 224199 SOS 54375 HAS SOPS 54375 HAS SOUS 32118 HAS SOUPS 32118 WITH SCORE 32172.375
AT ITER 5405 NEW BEST:: SOT 224262 SOS 54617 HAS SOPS 54617 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 32005.617
AT ITER 5409 NEW BEST:: SOT 224340 SOS 54931 HAS SOPS 54931 HAS SOUS 31929 HAS SOUPS 31929 WITH SCORE 31983.931
AT ITER 5414 NEW BEST:: SOT 224347 SOS 54945 HAS SOPS 54945 HAS SOUS 31886 HAS SOUPS 31886 WITH SCORE 31940.945
AT ITER 5427 NEW BEST:: SOT 224311 SOS 54876 HAS SOPS 54876 HAS SOUS 31856 HAS SOUPS 31856 WITH SCORE 31910.876
AT ITER 5434 NEW BEST:: SOT 224129 SOS 54682 HAS SOPS 54682 HAS SOUS 31753 HAS SOUPS 31753 WITH SCORE 31807.682
AT ITER 5492 NEW BEST:: SOT 224128 SOS 54695 HAS SOPS 54695 HAS SOUS 31737 HAS SOUPS 31737 WITH SCORE 31791.695
AT ITER 5516 NEW BEST:: SOT 224072 SOS 54545 HAS SOPS 54545 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31779.545
AT ITER 5520 NEW BEST:: SOT 224083 SOS 54579 HAS SOPS 54579 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31775.579
AT ITER 5523 NEW BEST:: SOT 224136 SOS 54780 HAS SOPS 54780 HAS SOUS 31713 HAS SOUPS 31713 WITH SCORE 31767.78
AT ITER 5531 NEW BEST:: SOT 224180 SOS 54780 HAS SOPS 54780 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31635.78
AT ITER 5543 NEW BEST:: SOT 224176 SOS 54764 HAS SOPS 54764 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31627.764
AT ITER 5557 NEW BEST:: SOT 224106 SOS 54525 HAS SOPS 54525 HAS SOUS 31572 HAS SOUPS 31572 WITH SCORE 31626.525
AT ITER 5615 NEW BEST:: SOT 224026 SOS 54293 HAS SOPS 54293 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31603.293
AT ITER 5625 NEW BEST:: SOT 223983 SOS 54121 HAS SOPS 54121 HAS SOUS 31498 HAS SOUPS 31498 WITH SCORE 31552.121
AT ITER 5629 NEW BEST:: SOT 223978 SOS 54111 HAS SOPS 54111 HAS SOUS 31493 HAS SOUPS 31493 WITH SCORE 31547.111
AT ITER 5630 NEW BEST:: SOT 223971 SOS 54097 HAS SOPS 54097 HAS SOUS 31484 HAS SOUPS 31484 WITH SCORE 31538.097
AT ITER 5644 NEW BEST:: SOT 223936 SOS 54027 HAS SOPS 54027 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31503.027
AT ITER 5655 NEW BEST:: SOT 223862 SOS 53827 HAS SOPS 53827 HAS SOUS 31427 HAS SOUPS 31427 WITH SCORE 31480.827
AT ITER 5663 NEW BEST:: SOT 223858 SOS 53812 HAS SOPS 53812 HAS SOUS 31426 HAS SOUPS 31426 WITH SCORE 31479.812
AT ITER 5679 NEW BEST:: SOT 223874 SOS 53823 HAS SOPS 53823 HAS SOUS 31421 HAS SOUPS 31421 WITH SCORE 31474.823
AT ITER 5729 NEW BEST:: SOT 223874 SOS 53855 HAS SOPS 53855 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31461.855
AT ITER 5736 NEW BEST:: SOT 223815 SOS 53737 HAS SOPS 53737 HAS SOUS 31299 HAS SOUPS 31299 WITH SCORE 31352.737
AT ITER 5737 NEW BEST:: SOT 223805 SOS 53717 HAS SOPS 53717 HAS SOUS 31293 HAS SOUPS 31293 WITH SCORE 31346.717
AT ITER 5755 NEW BEST:: SOT 223785 SOS 53657 HAS SOPS 53657 HAS SOUS 31283 HAS SOUPS 31283 WITH SCORE 31336.657
AT ITER 5773 NEW BEST:: SOT 223754 SOS 53595 HAS SOPS 53595 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31305.595
AT ITER 5780 NEW BEST:: SOT 223596 SOS 53230 HAS SOPS 53230 HAS SOUS 31181 HAS SOUPS 31181 WITH SCORE 31234.23
AT ITER 5788 NEW BEST:: SOT 223592 SOS 53218 HAS SOPS 53218 HAS SOUS 31177 HAS SOUPS 31177 WITH SCORE 31230.218
AT ITER 5789 NEW BEST:: SOT 223516 SOS 52985 HAS SOPS 52985 HAS SOUS 31154 HAS SOUPS 31154 WITH SCORE 31206.985
AT ITER 5807 NEW BEST:: SOT 223516 SOS 52987 HAS SOPS 52987 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31205.987
AT ITER 5814 NEW BEST:: SOT 223482 SOS 52919 HAS SOPS 52919 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31205.919
AT ITER 5816 NEW BEST:: SOT 223485 SOS 52925 HAS SOPS 52925 HAS SOUS 31149 HAS SOUPS 31149 WITH SCORE 31201.925
AT ITER 5831 NEW BEST:: SOT 223426 SOS 52747 HAS SOPS 52747 HAS SOUS 31123 HAS SOUPS 31123 WITH SCORE 31175.747
AT ITER 5850 NEW BEST:: SOT 223426 SOS 52747 HAS SOPS 52747 HAS SOUS 31069 HAS SOUPS 31069 WITH SCORE 31121.747
AT ITER 5877 NEW BEST:: SOT 223402 SOS 52699 HAS SOPS 52699 HAS SOUS 31049 HAS SOUPS 31049 WITH SCORE 31101.699
AT ITER 5879 NEW BEST:: SOT 223402 SOS 52695 HAS SOPS 52695 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31099.695
AT ITER 5887 NEW BEST:: SOT 223402 SOS 52692 HAS SOPS 52692 HAS SOUS 31044 HAS SOUPS 31044 WITH SCORE 31096.692
AT ITER 5907 NEW BEST:: SOT 223395 SOS 52678 HAS SOPS 52678 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31068.678
AT ITER 5910 NEW BEST:: SOT 223394 SOS 52676 HAS SOPS 52676 HAS SOUS 30979 HAS SOUPS 30979 WITH SCORE 31031.676
AT ITER 5920 NEW BEST:: SOT 223390 SOS 52668 HAS SOPS 52668 HAS SOUS 30975 HAS SOUPS 30975 WITH SCORE 31027.668
AT ITER 5935 NEW BEST:: SOT 223384 SOS 52656 HAS SOPS 52656 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31021.656
AT ITER 5957 NEW BEST:: SOT 223380 SOS 52640 HAS SOPS 52640 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31020.64
AT ITER 5974 NEW BEST:: SOT 223309 SOS 52498 HAS SOPS 52498 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30971.498
AT ITER 5982 NEW BEST:: SOT 223292 SOS 52464 HAS SOPS 52464 HAS SOUS 30900 HAS SOUPS 30900 WITH SCORE 30952.464
AT ITER 6000 NEW BEST:: SOT 223263 SOS 52377 HAS SOPS 52377 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30942.377
AT ITER 6007 NEW BEST:: SOT 223253 SOS 52356 HAS SOPS 52356 HAS SOUS 30888 HAS SOUPS 30888 WITH SCORE 30940.356
AT ITER 6057 NEW BEST:: SOT 223337 SOS 52572 HAS SOPS 52572 HAS SOUS 30887 HAS SOUPS 30887 WITH SCORE 30939.572
AT ITER 6059 NEW BEST:: SOT 223275 SOS 52446 HAS SOPS 52446 HAS SOUS 30873 HAS SOUPS 30873 WITH SCORE 30925.446
AT ITER 6088 NEW BEST:: SOT 223219 SOS 52285 HAS SOPS 52285 HAS SOUS 30852 HAS SOUPS 30852 WITH SCORE 30904.285
AT ITER 6090 NEW BEST:: SOT 223167 SOS 52140 HAS SOPS 52140 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30863.14
AT ITER 6092 NEW BEST:: SOT 223154 SOS 51982 HAS SOPS 51982 HAS SOUS 30721 HAS SOUPS 30721 WITH SCORE 30772.982
AT ITER 6108 NEW BEST:: SOT 223119 SOS 52012 HAS SOPS 52012 HAS SOUS 30712 HAS SOUPS 30712 WITH SCORE 30764.012
AT ITER 6111 NEW BEST:: SOT 223155 SOS 52070 HAS SOPS 52070 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30736.07
AT ITER 6152 NEW BEST:: SOT 223100 SOS 51960 HAS SOPS 51960 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30735.96
AT ITER 6164 NEW BEST:: SOT 223136 SOS 51999 HAS SOPS 51999 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30715.999
AT ITER 6166 NEW BEST:: SOT 223112 SOS 51948 HAS SOPS 51948 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30702.948
AT ITER 6194 NEW BEST:: SOT 223155 SOS 52114 HAS SOPS 52114 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30700.114
AT ITER 6208 NEW BEST:: SOT 223134 SOS 52020 HAS SOPS 52020 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30700.02
AT ITER 6229 NEW BEST:: SOT 223130 SOS 52009 HAS SOPS 52009 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30699.009
AT ITER 6249 NEW BEST:: SOT 223124 SOS 51991 HAS SOPS 51991 HAS SOUS 30644 HAS SOUPS 30644 WITH SCORE 30695.991
AT ITER 6250 NEW BEST:: SOT 223118 SOS 51979 HAS SOPS 51979 HAS SOUS 30638 HAS SOUPS 30638 WITH SCORE 30689.979
AT ITER 6285 NEW BEST:: SOT 223101 SOS 51991 HAS SOPS 51991 HAS SOUS 30621 HAS SOUPS 30621 WITH SCORE 30672.991
AT ITER 6295 NEW BEST:: SOT 223083 SOS 51989 HAS SOPS 51989 HAS SOUS 30610 HAS SOUPS 30610 WITH SCORE 30661.989
AT ITER 6300 NEW BEST:: SOT 223080 SOS 51983 HAS SOPS 51983 HAS SOUS 30609 HAS SOUPS 30609 WITH SCORE 30660.983
AT ITER 6303 NEW BEST:: SOT 223052 SOS 51902 HAS SOPS 51902 HAS SOUS 30598 HAS SOUPS 30598 WITH SCORE 30649.902
AT ITER 6310 NEW BEST:: SOT 223052 SOS 51902 HAS SOPS 51902 HAS SOUS 30594 HAS SOUPS 30594 WITH SCORE 30645.902
AT ITER 6312 NEW BEST:: SOT 222930 SOS 51862 HAS SOPS 51862 HAS SOUS 30591 HAS SOUPS 30591 WITH SCORE 30642.862
AT ITER 6378 NEW BEST:: SOT 222917 SOS 51846 HAS SOPS 51846 HAS SOUS 30575 HAS SOUPS 30575 WITH SCORE 30626.846
AT ITER 6398 NEW BEST:: SOT 222889 SOS 51762 HAS SOPS 51762 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30612.762
AT ITER 6403 NEW BEST:: SOT 222864 SOS 51687 HAS SOPS 51687 HAS SOUS 30549 HAS SOUPS 30549 WITH SCORE 30600.687
AT ITER 6433 NEW BEST:: SOT 222873 SOS 51691 HAS SOPS 51691 HAS SOUS 30539 HAS SOUPS 30539 WITH SCORE 30590.691
AT ITER 6453 NEW BEST:: SOT 222828 SOS 51562 HAS SOPS 51562 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30550.562
AT ITER 6462 NEW BEST:: SOT 222819 SOS 51512 HAS SOPS 51512 HAS SOUS 30451 HAS SOUPS 30451 WITH SCORE 30502.512
AT ITER 6515 NEW BEST:: SOT 222819 SOS 51510 HAS SOPS 51510 HAS SOUS 30449 HAS SOUPS 30449 WITH SCORE 30500.51
AT ITER 6525 NEW BEST:: SOT 222765 SOS 51384 HAS SOPS 51384 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30458.384
AT ITER 6536 NEW BEST:: SOT 222752 SOS 51338 HAS SOPS 51338 HAS SOUS 30404 HAS SOUPS 30404 WITH SCORE 30455.338
AT ITER 6557 NEW BEST:: SOT 222698 SOS 51176 HAS SOPS 51176 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30428.176
AT ITER 6566 NEW BEST:: SOT 222698 SOS 51176 HAS SOPS 51176 HAS SOUS 30375 HAS SOUPS 30375 WITH SCORE 30426.176
AT ITER 6571 NEW BEST:: SOT 222694 SOS 51170 HAS SOPS 51170 HAS SOUS 30367 HAS SOUPS 30367 WITH SCORE 30418.17
AT ITER 6621 NEW BEST:: SOT 222675 SOS 51129 HAS SOPS 51129 HAS SOUS 30307 HAS SOUPS 30307 WITH SCORE 30358.129
AT ITER 6624 NEW BEST:: SOT 222555 SOS 50739 HAS SOPS 50739 HAS SOUS 30218 HAS SOUPS 30218 WITH SCORE 30268.739
AT ITER 6699 NEW BEST:: SOT 222530 SOS 50689 HAS SOPS 50689 HAS SOUS 30218 HAS SOUPS 30218 WITH SCORE 30268.689
AT ITER 6718 NEW BEST:: SOT 222459 SOS 50469 HAS SOPS 50469 HAS SOUS 30186 HAS SOUPS 30186 WITH SCORE 30236.469
AT ITER 6746 NEW BEST:: SOT 222459 SOS 50461 HAS SOPS 50461 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30228.461
AT ITER 6749 NEW BEST:: SOT 222449 SOS 50455 HAS SOPS 50455 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30222.455
AT ITER 6754 NEW BEST:: SOT 222449 SOS 50445 HAS SOPS 50445 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30212.445
AT ITER 6759 NEW BEST:: SOT 222273 SOS 50005 HAS SOPS 50005 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30212.005
AT ITER 6777 NEW BEST:: SOT 222270 SOS 49998 HAS SOPS 49998 HAS SOUS 30158 HAS SOUPS 30158 WITH SCORE 30207.998
AT ITER 6792 NEW BEST:: SOT 222242 SOS 50002 HAS SOPS 50002 HAS SOUS 30118 HAS SOUPS 30118 WITH SCORE 30168.002
AT ITER 6796 NEW BEST:: SOT 222091 SOS 49624 HAS SOPS 49624 HAS SOUS 30043 HAS SOUPS 30043 WITH SCORE 30092.624
AT ITER 6820 NEW BEST:: SOT 222018 SOS 49600 HAS SOPS 49600 HAS SOUS 29983 HAS SOUPS 29983 WITH SCORE 30032.6
AT ITER 6849 NEW BEST:: SOT 221999 SOS 49538 HAS SOPS 49538 HAS SOUS 29971 HAS SOUPS 29971 WITH SCORE 30020.538
AT ITER 6902 NEW BEST:: SOT 221938 SOS 49416 HAS SOPS 49416 HAS SOUS 29915 HAS SOUPS 29915 WITH SCORE 29964.416
AT ITER 6952 NEW BEST:: SOT 221938 SOS 49416 HAS SOPS 49416 HAS SOUS 29911 HAS SOUPS 29911 WITH SCORE 29960.416
AT ITER 6956 NEW BEST:: SOT 221820 SOS 49128 HAS SOPS 49128 HAS SOUS 29744 HAS SOUPS 29744 WITH SCORE 29793.128
AT ITER 6960 NEW BEST:: SOT 221814 SOS 49133 HAS SOPS 49133 HAS SOUS 29728 HAS SOUPS 29728 WITH SCORE 29777.133
AT ITER 6974 NEW BEST:: SOT 221802 SOS 49102 HAS SOPS 49102 HAS SOUS 29715 HAS SOUPS 29715 WITH SCORE 29764.102
AT ITER 7039 NEW BEST:: SOT 221802 SOS 49102 HAS SOPS 49102 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29758.102
AT ITER 7040 NEW BEST:: SOT 221802 SOS 49122 HAS SOPS 49122 HAS SOUS 29703 HAS SOUPS 29703 WITH SCORE 29752.122
AT ITER 7053 NEW BEST:: SOT 221801 SOS 49113 HAS SOPS 49113 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29739.113
AT ITER 7079 NEW BEST:: SOT 221783 SOS 49068 HAS SOPS 49068 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29739.068
AT ITER 7082 NEW BEST:: SOT 221790 SOS 49096 HAS SOPS 49096 HAS SOUS 29676 HAS SOUPS 29676 WITH SCORE 29725.096
AT ITER 7096 NEW BEST:: SOT 221714 SOS 48970 HAS SOPS 48970 HAS SOUS 29626 HAS SOUPS 29626 WITH SCORE 29674.97
AT ITER 7105 NEW BEST:: SOT 221661 SOS 48808 HAS SOPS 48808 HAS SOUS 29601 HAS SOUPS 29601 WITH SCORE 29649.808
AT ITER 7120 NEW BEST:: SOT 221654 SOS 48794 HAS SOPS 48794 HAS SOUS 29594 HAS SOUPS 29594 WITH SCORE 29642.794
AT ITER 7136 NEW BEST:: SOT 221538 SOS 48446 HAS SOPS 48446 HAS SOUS 29420 HAS SOUPS 29420 WITH SCORE 29468.446
AT ITER 7138 NEW BEST:: SOT 221538 SOS 48446 HAS SOPS 48446 HAS SOUS 29416 HAS SOUPS 29416 WITH SCORE 29464.446
AT ITER 7161 NEW BEST:: SOT 221529 SOS 48323 HAS SOPS 48323 HAS SOUS 29339 HAS SOUPS 29339 WITH SCORE 29387.323
AT ITER 7179 NEW BEST:: SOT 221571 SOS 48499 HAS SOPS 48499 HAS SOUS 29335 HAS SOUPS 29335 WITH SCORE 29383.499
AT ITER 7209 NEW BEST:: SOT 221569 SOS 48447 HAS SOPS 48447 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29362.447
AT ITER 7265 NEW BEST:: SOT 221568 SOS 48443 HAS SOPS 48443 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29362.443
AT ITER 7278 NEW BEST:: SOT 221568 SOS 48440 HAS SOPS 48440 HAS SOUS 29305 HAS SOUPS 29305 WITH SCORE 29353.44
AT ITER 7284 NEW BEST:: SOT 221140 SOS 47156 HAS SOPS 47156 HAS SOUS 28759 HAS SOUPS 28759 WITH SCORE 28806.156
AT ITER 7294 NEW BEST:: SOT 220981 SOS 46588 HAS SOPS 46588 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28737.588
AT ITER 7297 NEW BEST:: SOT 220931 SOS 46463 HAS SOPS 46463 HAS SOUS 28641 HAS SOUPS 28641 WITH SCORE 28687.463
AT ITER 7300 NEW BEST:: SOT 220958 SOS 46558 HAS SOPS 46558 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28674.558
AT ITER 7325 NEW BEST:: SOT 220950 SOS 46534 HAS SOPS 46534 HAS SOUS 28616 HAS SOUPS 28616 WITH SCORE 28662.534
AT ITER 7363 NEW BEST:: SOT 220907 SOS 46448 HAS SOPS 46448 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28619.448
AT ITER 7376 NEW BEST:: SOT 220724 SOS 46126 HAS SOPS 46126 HAS SOUS 28434 HAS SOUPS 28434 WITH SCORE 28480.126
AT ITER 7383 NEW BEST:: SOT 220672 SOS 45978 HAS SOPS 45978 HAS SOUS 28434 HAS SOUPS 28434 WITH SCORE 28479.978
AT ITER 7415 NEW BEST:: SOT 220662 SOS 45948 HAS SOPS 45948 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28474.948
AT ITER 7428 NEW BEST:: SOT 220662 SOS 45948 HAS SOPS 45948 HAS SOUS 28355 HAS SOUPS 28355 WITH SCORE 28400.948
AT ITER 7459 NEW BEST:: SOT 220666 SOS 45930 HAS SOPS 45930 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28344.93
AT ITER 7466 NEW BEST:: SOT 220650 SOS 45900 HAS SOPS 45900 HAS SOUS 28285 HAS SOUPS 28285 WITH SCORE 28330.9
AT ITER 7484 NEW BEST:: SOT 220626 SOS 45774 HAS SOPS 45774 HAS SOUS 28258 HAS SOUPS 28258 WITH SCORE 28303.774
AT ITER 7532 NEW BEST:: SOT 220619 SOS 45756 HAS SOPS 45756 HAS SOUS 28251 HAS SOUPS 28251 WITH SCORE 28296.756
AT ITER 7546 NEW BEST:: SOT 220663 SOS 45915 HAS SOPS 45915 HAS SOUS 28222 HAS SOUPS 28222 WITH SCORE 28267.915
AT ITER 7647 NEW BEST:: SOT 220591 SOS 45771 HAS SOPS 45771 HAS SOUS 28132 HAS SOUPS 28132 WITH SCORE 28177.771
AT ITER 7661 NEW BEST:: SOT 220582 SOS 45753 HAS SOPS 45753 HAS SOUS 28131 HAS SOUPS 28131 WITH SCORE 28176.753
AT ITER 7670 NEW BEST:: SOT 220555 SOS 45647 HAS SOPS 45647 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28092.647
AT ITER 7712 NEW BEST:: SOT 220533 SOS 45625 HAS SOPS 45625 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28092.625
AT ITER 7715 NEW BEST:: SOT 220420 SOS 45542 HAS SOPS 45542 HAS SOUS 28032 HAS SOUPS 28032 WITH SCORE 28077.542
AT ITER 7728 NEW BEST:: SOT 220383 SOS 45423 HAS SOPS 45423 HAS SOUS 27986 HAS SOUPS 27986 WITH SCORE 28031.423
AT ITER 7737 NEW BEST:: SOT 220366 SOS 45372 HAS SOPS 45372 HAS SOUS 27952 HAS SOUPS 27952 WITH SCORE 27997.372
AT ITER 7742 NEW BEST:: SOT 220358 SOS 45350 HAS SOPS 45350 HAS SOUS 27866 HAS SOUPS 27866 WITH SCORE 27911.35
AT ITER 7746 NEW BEST:: SOT 220348 SOS 45320 HAS SOPS 45320 HAS SOUS 27857 HAS SOUPS 27857 WITH SCORE 27902.32
AT ITER 7747 NEW BEST:: SOT 220346 SOS 45316 HAS SOPS 45316 HAS SOUS 27857 HAS SOUPS 27857 WITH SCORE 27902.316
AT ITER 7749 NEW BEST:: SOT 220229 SOS 44964 HAS SOPS 44964 HAS SOUS 27799 HAS SOUPS 27799 WITH SCORE 27843.964
AT ITER 7829 NEW BEST:: SOT 220218 SOS 44958 HAS SOPS 44958 HAS SOUS 27793 HAS SOUPS 27793 WITH SCORE 27837.958
AT ITER 7842 NEW BEST:: SOT 220217 SOS 44956 HAS SOPS 44956 HAS SOUS 27793 HAS SOUPS 27793 WITH SCORE 27837.956
AT ITER 7860 NEW BEST:: SOT 220217 SOS 44947 HAS SOPS 44947 HAS SOUS 27791 HAS SOUPS 27791 WITH SCORE 27835.947
AT ITER 7880 NEW BEST:: SOT 220213 SOS 44939 HAS SOPS 44939 HAS SOUS 27787 HAS SOUPS 27787 WITH SCORE 27831.939
AT ITER 7899 NEW BEST:: SOT 220343 SOS 45199 HAS SOPS 45199 HAS SOUS 27782 HAS SOUPS 27782 WITH SCORE 27827.199
AT ITER 7904 NEW BEST:: SOT 220321 SOS 45177 HAS SOPS 45177 HAS SOUS 27760 HAS SOUPS 27760 WITH SCORE 27805.177
AT ITER 7949 NEW BEST:: SOT 220299 SOS 45113 HAS SOPS 45113 HAS SOUS 27751 HAS SOUPS 27751 WITH SCORE 27796.113
AT ITER 7976 NEW BEST:: SOT 220063 SOS 44408 HAS SOPS 44408 HAS SOUS 27603 HAS SOUPS 27603 WITH SCORE 27647.408
AT ITER 7981 NEW BEST:: SOT 220063 SOS 44408 HAS SOPS 44408 HAS SOUS 27581 HAS SOUPS 27581 WITH SCORE 27625.408
AT ITER 7991 NEW BEST:: SOT 219980 SOS 44218 HAS SOPS 44218 HAS SOUS 27547 HAS SOUPS 27547 WITH SCORE 27591.218
AT ITER 8001 NEW BEST:: SOT 219974 SOS 44203 HAS SOPS 44203 HAS SOUS 27547 HAS SOUPS 27547 WITH SCORE 27591.203
AT ITER 8077 NEW BEST:: SOT 219961 SOS 44166 HAS SOPS 44166 HAS SOUS 27538 HAS SOUPS 27538 WITH SCORE 27582.166
AT ITER 8088 NEW BEST:: SOT 219954 SOS 44152 HAS SOPS 44152 HAS SOUS 27517 HAS SOUPS 27517 WITH SCORE 27561.152
AT ITER 8091 NEW BEST:: SOT 219948 SOS 44140 HAS SOPS 44140 HAS SOUS 27517 HAS SOUPS 27517 WITH SCORE 27561.14
AT ITER 8151 NEW BEST:: SOT 219942 SOS 44122 HAS SOPS 44122 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27558.122
AT ITER 8163 NEW BEST:: SOT 219933 SOS 44101 HAS SOPS 44101 HAS SOUS 27502 HAS SOUPS 27502 WITH SCORE 27546.101
AT ITER 8167 NEW BEST:: SOT 219917 SOS 44069 HAS SOPS 44069 HAS SOUS 27486 HAS SOUPS 27486 WITH SCORE 27530.069
AT ITER 8174 NEW BEST:: SOT 219880 SOS 43942 HAS SOPS 43942 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27513.942
AT ITER 8189 NEW BEST:: SOT 219820 SOS 43926 HAS SOPS 43926 HAS SOUS 27438 HAS SOUPS 27438 WITH SCORE 27481.926
AT ITER 8201 NEW BEST:: SOT 219817 SOS 43909 HAS SOPS 43909 HAS SOUS 27406 HAS SOUPS 27406 WITH SCORE 27449.909
AT ITER 8211 NEW BEST:: SOT 219821 SOS 43871 HAS SOPS 43871 HAS SOUS 27158 HAS SOUPS 27158 WITH SCORE 27201.871
AT ITER 8220 NEW BEST:: SOT 219831 SOS 43932 HAS SOPS 43932 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27181.932
AT ITER 8221 NEW BEST:: SOT 219806 SOS 43877 HAS SOPS 43877 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27146.877
AT ITER 8232 NEW BEST:: SOT 219806 SOS 43861 HAS SOPS 43861 HAS SOUS 27089 HAS SOUPS 27089 WITH SCORE 27132.861
AT ITER 8259 NEW BEST:: SOT 219757 SOS 43689 HAS SOPS 43689 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27064.689
AT ITER 8269 NEW BEST:: SOT 219648 SOS 43471 HAS SOPS 43471 HAS SOUS 26893 HAS SOUPS 26893 WITH SCORE 26936.471
AT ITER 8295 NEW BEST:: SOT 219648 SOS 43466 HAS SOPS 43466 HAS SOUS 26878 HAS SOUPS 26878 WITH SCORE 26921.466
AT ITER 8328 NEW BEST:: SOT 219648 SOS 43454 HAS SOPS 43454 HAS SOUS 26866 HAS SOUPS 26866 WITH SCORE 26909.454
AT ITER 8338 NEW BEST:: SOT 219640 SOS 43438 HAS SOPS 43438 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26905.438
AT ITER 8379 NEW BEST:: SOT 219604 SOS 43366 HAS SOPS 43366 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26905.366
AT ITER 8412 NEW BEST:: SOT 219647 SOS 43451 HAS SOPS 43451 HAS SOUS 26853 HAS SOUPS 26853 WITH SCORE 26896.451
AT ITER 8436 NEW BEST:: SOT 219725 SOS 43639 HAS SOPS 43639 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26889.639
AT ITER 8438 NEW BEST:: SOT 219702 SOS 43566 HAS SOPS 43566 HAS SOUS 26796 HAS SOUPS 26796 WITH SCORE 26839.566
AT ITER 8492 NEW BEST:: SOT 219730 SOS 43514 HAS SOPS 43514 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26830.514
AT ITER 8532 NEW BEST:: SOT 219682 SOS 43411 HAS SOPS 43411 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26783.411
AT ITER 8534 NEW BEST:: SOT 219666 SOS 43371 HAS SOPS 43371 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26775.371
AT ITER 8596 NEW BEST:: SOT 219536 SOS 42966 HAS SOPS 42966 HAS SOUS 26712 HAS SOUPS 26712 WITH SCORE 26754.966
AT ITER 8609 NEW BEST:: SOT 219528 SOS 42937 HAS SOPS 42937 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26749.937
AT ITER 8623 NEW BEST:: SOT 219496 SOS 42857 HAS SOPS 42857 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26749.857
AT ITER 8626 NEW BEST:: SOT 219478 SOS 42821 HAS SOPS 42821 HAS SOUS 26689 HAS SOUPS 26689 WITH SCORE 26731.821
AT ITER 8631 NEW BEST:: SOT 219472 SOS 42803 HAS SOPS 42803 HAS SOUS 26680 HAS SOUPS 26680 WITH SCORE 26722.803
AT ITER 8666 NEW BEST:: SOT 219411 SOS 42621 HAS SOPS 42621 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26693.621
AT ITER 8698 NEW BEST:: SOT 219410 SOS 42619 HAS SOPS 42619 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26693.619
AT ITER 8708 NEW BEST:: SOT 219410 SOS 42619 HAS SOPS 42619 HAS SOUS 26643 HAS SOUPS 26643 WITH SCORE 26685.619
AT ITER 8725 NEW BEST:: SOT 219408 SOS 42619 HAS SOPS 42619 HAS SOUS 26639 HAS SOUPS 26639 WITH SCORE 26681.619
AT ITER 8733 NEW BEST:: SOT 219360 SOS 42552 HAS SOPS 42552 HAS SOUS 26629 HAS SOUPS 26629 WITH SCORE 26671.552
AT ITER 8750 NEW BEST:: SOT 219512 SOS 42826 HAS SOPS 42826 HAS SOUS 26598 HAS SOUPS 26598 WITH SCORE 26640.826
AT ITER 8753 NEW BEST:: SOT 219508 SOS 42818 HAS SOPS 42818 HAS SOUS 26598 HAS SOUPS 26598 WITH SCORE 26640.818
AT ITER 8768 NEW BEST:: SOT 219372 SOS 42457 HAS SOPS 42457 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26622.457
AT ITER 8785 NEW BEST:: SOT 219327 SOS 42367 HAS SOPS 42367 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26577.367
AT ITER 8822 NEW BEST:: SOT 219327 SOS 42367 HAS SOPS 42367 HAS SOUS 26531 HAS SOUPS 26531 WITH SCORE 26573.367
AT ITER 8833 NEW BEST:: SOT 219306 SOS 42325 HAS SOPS 42325 HAS SOUS 26510 HAS SOUPS 26510 WITH SCORE 26552.325
AT ITER 8839 NEW BEST:: SOT 219270 SOS 42217 HAS SOPS 42217 HAS SOUS 26456 HAS SOUPS 26456 WITH SCORE 26498.217
AT ITER 8840 NEW BEST:: SOT 219274 SOS 42242 HAS SOPS 42242 HAS SOUS 26403 HAS SOUPS 26403 WITH SCORE 26445.242
AT ITER 8874 NEW BEST:: SOT 219255 SOS 42208 HAS SOPS 42208 HAS SOUS 26403 HAS SOUPS 26403 WITH SCORE 26445.208
AT ITER 8893 NEW BEST:: SOT 219255 SOS 42205 HAS SOPS 42205 HAS SOUS 26400 HAS SOUPS 26400 WITH SCORE 26442.205
AT ITER 8896 NEW BEST:: SOT 219248 SOS 42191 HAS SOPS 42191 HAS SOUS 26396 HAS SOUPS 26396 WITH SCORE 26438.191
AT ITER 8918 NEW BEST:: SOT 219239 SOS 42155 HAS SOPS 42155 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26378.155
AT ITER 8944 NEW BEST:: SOT 219213 SOS 42111 HAS SOPS 42111 HAS SOUS 26326 HAS SOUPS 26326 WITH SCORE 26368.111
AT ITER 8970 NEW BEST:: SOT 219207 SOS 42097 HAS SOPS 42097 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26326.097
AT ITER 9003 NEW BEST:: SOT 219207 SOS 42097 HAS SOPS 42097 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26322.097
AT ITER 9041 NEW BEST:: SOT 219203 SOS 42087 HAS SOPS 42087 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26322.087
AT ITER 9061 NEW BEST:: SOT 219229 SOS 42180 HAS SOPS 42180 HAS SOUS 26267 HAS SOUPS 26267 WITH SCORE 26309.18
AT ITER 9110 NEW BEST:: SOT 219219 SOS 42160 HAS SOPS 42160 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26299.16
AT ITER 9114 NEW BEST:: SOT 219219 SOS 42139 HAS SOPS 42139 HAS SOUS 26236 HAS SOUPS 26236 WITH SCORE 26278.139
AT ITER 9139 NEW BEST:: SOT 219226 SOS 42155 HAS SOPS 42155 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26257.155
AT ITER 9220 NEW BEST:: SOT 219224 SOS 42151 HAS SOPS 42151 HAS SOUS 26211 HAS SOUPS 26211 WITH SCORE 26253.151
AT ITER 9227 NEW BEST:: SOT 219318 SOS 42292 HAS SOPS 42292 HAS SOUS 26188 HAS SOUPS 26188 WITH SCORE 26230.292
AT ITER 9232 NEW BEST:: SOT 219315 SOS 42289 HAS SOPS 42289 HAS SOUS 26187 HAS SOUPS 26187 WITH SCORE 26229.289
AT ITER 9249 NEW BEST:: SOT 219315 SOS 42271 HAS SOPS 42271 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26121.271
AT ITER 9266 NEW BEST:: SOT 219212 SOS 42065 HAS SOPS 42065 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26121.065
AT ITER 9288 NEW BEST:: SOT 219200 SOS 42033 HAS SOPS 42033 HAS SOUS 26077 HAS SOUPS 26077 WITH SCORE 26119.033
AT ITER 9291 NEW BEST:: SOT 219222 SOS 42089 HAS SOPS 42089 HAS SOUS 26075 HAS SOUPS 26075 WITH SCORE 26117.089
AT ITER 9387 NEW BEST:: SOT 219219 SOS 42083 HAS SOPS 42083 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26108.083
AT ITER 9471 NEW BEST:: SOT 219175 SOS 41988 HAS SOPS 41988 HAS SOUS 26015 HAS SOUPS 26015 WITH SCORE 26056.988
AT ITER 9496 NEW BEST:: SOT 219163 SOS 41970 HAS SOPS 41970 HAS SOUS 26000 HAS SOUPS 26000 WITH SCORE 26041.97
AT ITER 9499 NEW BEST:: SOT 219163 SOS 41970 HAS SOPS 41970 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25991.97
AT ITER 9501 NEW BEST:: SOT 219163 SOS 41970 HAS SOPS 41970 HAS SOUS 25912 HAS SOUPS 25912 WITH SCORE 25953.97
AT ITER 9512 NEW BEST:: SOT 219163 SOS 41960 HAS SOPS 41960 HAS SOUS 25912 HAS SOUPS 25912 WITH SCORE 25953.96
AT ITER 9518 NEW BEST:: SOT 219153 SOS 41940 HAS SOPS 41940 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25943.94
AT ITER 9525 NEW BEST:: SOT 219118 SOS 41814 HAS SOPS 41814 HAS SOUS 25859 HAS SOUPS 25859 WITH SCORE 25900.814
AT ITER 9528 NEW BEST:: SOT 219168 SOS 42108 HAS SOPS 42108 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25860.108
AT ITER 9565 NEW BEST:: SOT 219168 SOS 42110 HAS SOPS 42110 HAS SOUS 25816 HAS SOUPS 25816 WITH SCORE 25858.11
AT ITER 9569 NEW BEST:: SOT 219160 SOS 42078 HAS SOPS 42078 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25840.078
AT ITER 9622 NEW BEST:: SOT 219146 SOS 42049 HAS SOPS 42049 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25811.049
AT ITER 9681 NEW BEST:: SOT 219121 SOS 41907 HAS SOPS 41907 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25781.907
AT ITER 9729 NEW BEST:: SOT 219118 SOS 41898 HAS SOPS 41898 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25781.898
AT ITER 9753 NEW BEST:: SOT 219118 SOS 41897 HAS SOPS 41897 HAS SOUS 25733 HAS SOUPS 25733 WITH SCORE 25774.897
AT ITER 9769 NEW BEST:: SOT 219112 SOS 41885 HAS SOPS 41885 HAS SOUS 25704 HAS SOUPS 25704 WITH SCORE 25745.885
AT ITER 9876 NEW BEST:: SOT 218960 SOS 41578 HAS SOPS 41578 HAS SOUS 25688 HAS SOUPS 25688 WITH SCORE 25729.578
AT ITER 9882 NEW BEST:: SOT 218960 SOS 41576 HAS SOPS 41576 HAS SOUS 25672 HAS SOUPS 25672 WITH SCORE 25713.576
AT ITER 9921 NEW BEST:: SOT 218948 SOS 41545 HAS SOPS 41545 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25691.545
AT ITER 9930 NEW BEST:: SOT 218948 SOS 41545 HAS SOPS 41545 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25669.545
AT ITER 9944 NEW BEST:: SOT 218923 SOS 41495 HAS SOPS 41495 HAS SOUS 25603 HAS SOUPS 25603 WITH SCORE 25644.495
AT ITER 9964 NEW BEST:: SOT 218798 SOS 41125 HAS SOPS 41125 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25643.125
AT ITER 9966 NEW BEST:: SOT 218773 SOS 41060 HAS SOPS 41060 HAS SOUS 25601 HAS SOUPS 25601 WITH SCORE 25642.06
AT ITER 9975 NEW BEST:: SOT 218761 SOS 41012 HAS SOPS 41012 HAS SOUS 25569 HAS SOUPS 25569 WITH SCORE 25610.012

BK_STOP 1590475040921

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 456 Aborted ${SMART} ${INPUT_SM}

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="ViralEpidemic-PT-S04D1C1A03"
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 ViralEpidemic-PT-S04D1C1A03, 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 r224-oct2-159033538900536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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