Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.2K May 14 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 105K 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 1590439242117

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

Filename model.pnml
Petri model created: 383 places, 283 transitions, 1206 arcs.
AT ITER 0 NEW BEST:: SOT 86651 SOS 73154 HAS SOPS 73154 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64285.154
AT ITER 2 NEW BEST:: SOT 86671 SOS 72967 HAS SOPS 72967 HAS SOUS 64175 HAS SOUPS 64175 WITH SCORE 64247.967
AT ITER 3 NEW BEST:: SOT 86671 SOS 72730 HAS SOPS 72730 HAS SOUS 64082 HAS SOUPS 64082 WITH SCORE 64154.73
AT ITER 4 NEW BEST:: SOT 86510 SOS 72207 HAS SOPS 72207 HAS SOUS 63843 HAS SOUPS 63843 WITH SCORE 63915.207
AT ITER 5 NEW BEST:: SOT 86313 SOS 71549 HAS SOPS 71549 HAS SOUS 63480 HAS SOUPS 63480 WITH SCORE 63551.549
AT ITER 6 NEW BEST:: SOT 86194 SOS 71430 HAS SOPS 71430 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63432.43
AT ITER 7 NEW BEST:: SOT 86050 SOS 71286 HAS SOPS 71286 HAS SOUS 63108 HAS SOUPS 63108 WITH SCORE 63179.286
AT ITER 9 NEW BEST:: SOT 85968 SOS 71204 HAS SOPS 71204 HAS SOUS 63024 HAS SOUPS 63024 WITH SCORE 63095.204
AT ITER 10 NEW BEST:: SOT 85733 SOS 70969 HAS SOPS 70969 HAS SOUS 62789 HAS SOUPS 62789 WITH SCORE 62859.969
AT ITER 11 NEW BEST:: SOT 85733 SOS 70838 HAS SOPS 70838 HAS SOUS 62738 HAS SOUPS 62738 WITH SCORE 62808.838
AT ITER 12 NEW BEST:: SOT 85601 SOS 70722 HAS SOPS 70722 HAS SOUS 62637 HAS SOUPS 62637 WITH SCORE 62707.722
AT ITER 14 NEW BEST:: SOT 85518 SOS 70639 HAS SOPS 70639 HAS SOUS 62476 HAS SOUPS 62476 WITH SCORE 62546.639
AT ITER 15 NEW BEST:: SOT 85518 SOS 70059 HAS SOPS 70059 HAS SOUS 62240 HAS SOUPS 62240 WITH SCORE 62310.059
AT ITER 16 NEW BEST:: SOT 85532 SOS 69729 HAS SOPS 69729 HAS SOUS 62032 HAS SOUPS 62032 WITH SCORE 62101.729
AT ITER 17 NEW BEST:: SOT 85425 SOS 69622 HAS SOPS 69622 HAS SOUS 61812 HAS SOUPS 61812 WITH SCORE 61881.622
AT ITER 19 NEW BEST:: SOT 85310 SOS 69505 HAS SOPS 69505 HAS SOUS 61723 HAS SOUPS 61723 WITH SCORE 61792.505
AT ITER 20 NEW BEST:: SOT 85307 SOS 69493 HAS SOPS 69493 HAS SOUS 61714 HAS SOUPS 61714 WITH SCORE 61783.493
AT ITER 21 NEW BEST:: SOT 85238 SOS 69081 HAS SOPS 69081 HAS SOUS 61302 HAS SOUPS 61302 WITH SCORE 61371.081
AT ITER 24 NEW BEST:: SOT 85083 SOS 68926 HAS SOPS 68926 HAS SOUS 61134 HAS SOUPS 61134 WITH SCORE 61202.926
AT ITER 26 NEW BEST:: SOT 84788 SOS 68618 HAS SOPS 68618 HAS SOUS 60961 HAS SOUPS 60961 WITH SCORE 61029.618
AT ITER 27 NEW BEST:: SOT 84748 SOS 68458 HAS SOPS 68458 HAS SOUS 60895 HAS SOUPS 60895 WITH SCORE 60963.458
AT ITER 28 NEW BEST:: SOT 84689 SOS 68401 HAS SOPS 68401 HAS SOUS 60756 HAS SOUPS 60756 WITH SCORE 60824.401
AT ITER 32 NEW BEST:: SOT 84572 SOS 68057 HAS SOPS 68057 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60569.057
AT ITER 35 NEW BEST:: SOT 84526 SOS 67945 HAS SOPS 67945 HAS SOUS 60389 HAS SOUPS 60389 WITH SCORE 60456.945
AT ITER 36 NEW BEST:: SOT 84526 SOS 67979 HAS SOPS 67979 HAS SOUS 60387 HAS SOUPS 60387 WITH SCORE 60454.979
AT ITER 40 NEW BEST:: SOT 84473 SOS 67926 HAS SOPS 67926 HAS SOUS 60281 HAS SOUPS 60281 WITH SCORE 60348.926
AT ITER 41 NEW BEST:: SOT 84473 SOS 67532 HAS SOPS 67532 HAS SOUS 60274 HAS SOUPS 60274 WITH SCORE 60341.532
AT ITER 42 NEW BEST:: SOT 84185 SOS 66902 HAS SOPS 66902 HAS SOUS 59889 HAS SOUPS 59889 WITH SCORE 59955.902
AT ITER 43 NEW BEST:: SOT 84020 SOS 66801 HAS SOPS 66801 HAS SOUS 59723 HAS SOUPS 59723 WITH SCORE 59789.801
AT ITER 44 NEW BEST:: SOT 83946 SOS 66727 HAS SOPS 66727 HAS SOUS 59623 HAS SOUPS 59623 WITH SCORE 59689.727
AT ITER 45 NEW BEST:: SOT 83859 SOS 66640 HAS SOPS 66640 HAS SOUS 59453 HAS SOUPS 59453 WITH SCORE 59519.64
AT ITER 47 NEW BEST:: SOT 83572 SOS 66058 HAS SOPS 66058 HAS SOUS 58960 HAS SOUPS 58960 WITH SCORE 59026.058
AT ITER 48 NEW BEST:: SOT 83572 SOS 65824 HAS SOPS 65824 HAS SOUS 58884 HAS SOUPS 58884 WITH SCORE 58949.824
AT ITER 49 NEW BEST:: SOT 83572 SOS 65606 HAS SOPS 65606 HAS SOUS 58741 HAS SOUPS 58741 WITH SCORE 58806.606
AT ITER 51 NEW BEST:: SOT 83625 SOS 65185 HAS SOPS 65185 HAS SOUS 58627 HAS SOUPS 58627 WITH SCORE 58692.185
AT ITER 53 NEW BEST:: SOT 83625 SOS 65292 HAS SOPS 65292 HAS SOUS 58610 HAS SOUPS 58610 WITH SCORE 58675.292
AT ITER 55 NEW BEST:: SOT 83539 SOS 64928 HAS SOPS 64928 HAS SOUS 58246 HAS SOUPS 58246 WITH SCORE 58310.928
AT ITER 58 NEW BEST:: SOT 83416 SOS 64764 HAS SOPS 64764 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58146.764
AT ITER 60 NEW BEST:: SOT 83315 SOS 64780 HAS SOPS 64780 HAS SOUS 57995 HAS SOUPS 57995 WITH SCORE 58059.78
AT ITER 61 NEW BEST:: SOT 83275 SOS 64740 HAS SOPS 64740 HAS SOUS 57955 HAS SOUPS 57955 WITH SCORE 58019.74
AT ITER 63 NEW BEST:: SOT 82967 SOS 63971 HAS SOPS 63971 HAS SOUS 57309 HAS SOUPS 57309 WITH SCORE 57372.971
AT ITER 64 NEW BEST:: SOT 82869 SOS 63873 HAS SOPS 63873 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57260.873
AT ITER 66 NEW BEST:: SOT 82624 SOS 63628 HAS SOPS 63628 HAS SOUS 57052 HAS SOUPS 57052 WITH SCORE 57115.628
AT ITER 73 NEW BEST:: SOT 82565 SOS 63455 HAS SOPS 63455 HAS SOUS 56881 HAS SOUPS 56881 WITH SCORE 56944.455
AT ITER 74 NEW BEST:: SOT 82565 SOS 63245 HAS SOPS 63245 HAS SOUS 56776 HAS SOUPS 56776 WITH SCORE 56839.245
AT ITER 76 NEW BEST:: SOT 82565 SOS 63122 HAS SOPS 63122 HAS SOUS 56736 HAS SOUPS 56736 WITH SCORE 56799.122
AT ITER 78 NEW BEST:: SOT 82493 SOS 62658 HAS SOPS 62658 HAS SOUS 56436 HAS SOUPS 56436 WITH SCORE 56498.658
AT ITER 79 NEW BEST:: SOT 82357 SOS 62534 HAS SOPS 62534 HAS SOUS 56321 HAS SOUPS 56321 WITH SCORE 56383.534
AT ITER 81 NEW BEST:: SOT 82334 SOS 62511 HAS SOPS 62511 HAS SOUS 56298 HAS SOUPS 56298 WITH SCORE 56360.511
AT ITER 83 NEW BEST:: SOT 82401 SOS 62578 HAS SOPS 62578 HAS SOUS 56268 HAS SOUPS 56268 WITH SCORE 56330.578
AT ITER 87 NEW BEST:: SOT 82401 SOS 62574 HAS SOPS 62574 HAS SOUS 56268 HAS SOUPS 56268 WITH SCORE 56330.574
AT ITER 88 NEW BEST:: SOT 82343 SOS 62516 HAS SOPS 62516 HAS SOUS 56210 HAS SOUPS 56210 WITH SCORE 56272.516
AT ITER 90 NEW BEST:: SOT 82306 SOS 62481 HAS SOPS 62481 HAS SOUS 56030 HAS SOUPS 56030 WITH SCORE 56092.481
AT ITER 91 NEW BEST:: SOT 82148 SOS 62323 HAS SOPS 62323 HAS SOUS 55793 HAS SOUPS 55793 WITH SCORE 55855.323
AT ITER 95 NEW BEST:: SOT 82011 SOS 62186 HAS SOPS 62186 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 55718.186
AT ITER 98 NEW BEST:: SOT 82011 SOS 62189 HAS SOPS 62189 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55715.189
AT ITER 101 NEW BEST:: SOT 81991 SOS 62153 HAS SOPS 62153 HAS SOUS 55600 HAS SOUPS 55600 WITH SCORE 55662.153
AT ITER 103 NEW BEST:: SOT 81946 SOS 62017 HAS SOPS 62017 HAS SOUS 55551 HAS SOUPS 55551 WITH SCORE 55613.017
AT ITER 104 NEW BEST:: SOT 81842 SOS 61913 HAS SOPS 61913 HAS SOUS 55381 HAS SOUPS 55381 WITH SCORE 55442.913
AT ITER 107 NEW BEST:: SOT 81759 SOS 61618 HAS SOPS 61618 HAS SOUS 55343 HAS SOUPS 55343 WITH SCORE 55404.618
AT ITER 108 NEW BEST:: SOT 81759 SOS 61417 HAS SOPS 61417 HAS SOUS 55199 HAS SOUPS 55199 WITH SCORE 55260.417
AT ITER 110 NEW BEST:: SOT 81759 SOS 61261 HAS SOPS 61261 HAS SOUS 55095 HAS SOUPS 55095 WITH SCORE 55156.261
AT ITER 111 NEW BEST:: SOT 81759 SOS 61142 HAS SOPS 61142 HAS SOUS 55095 HAS SOUPS 55095 WITH SCORE 55156.142
AT ITER 113 NEW BEST:: SOT 81483 SOS 60595 HAS SOPS 60595 HAS SOUS 54599 HAS SOUPS 54599 WITH SCORE 54659.595
AT ITER 114 NEW BEST:: SOT 81428 SOS 60684 HAS SOPS 60684 HAS SOUS 54503 HAS SOUPS 54503 WITH SCORE 54563.684
AT ITER 117 NEW BEST:: SOT 81317 SOS 60429 HAS SOPS 60429 HAS SOUS 54253 HAS SOUPS 54253 WITH SCORE 54313.429
AT ITER 118 NEW BEST:: SOT 81317 SOS 60427 HAS SOPS 60427 HAS SOUS 54251 HAS SOUPS 54251 WITH SCORE 54311.427
AT ITER 119 NEW BEST:: SOT 81102 SOS 59692 HAS SOPS 59692 HAS SOUS 53884 HAS SOUPS 53884 WITH SCORE 53943.692
AT ITER 123 NEW BEST:: SOT 80890 SOS 59477 HAS SOPS 59477 HAS SOUS 53729 HAS SOUPS 53729 WITH SCORE 53788.477
AT ITER 124 NEW BEST:: SOT 80890 SOS 59428 HAS SOPS 59428 HAS SOUS 53675 HAS SOUPS 53675 WITH SCORE 53734.428
AT ITER 129 NEW BEST:: SOT 80888 SOS 59252 HAS SOPS 59252 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53560.252
AT ITER 130 NEW BEST:: SOT 80731 SOS 59095 HAS SOPS 59095 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53399.095
AT ITER 131 NEW BEST:: SOT 80594 SOS 58853 HAS SOPS 58853 HAS SOUS 53098 HAS SOUPS 53098 WITH SCORE 53156.853
AT ITER 133 NEW BEST:: SOT 80524 SOS 58783 HAS SOPS 58783 HAS SOUS 53028 HAS SOUPS 53028 WITH SCORE 53086.783
AT ITER 136 NEW BEST:: SOT 80424 SOS 58683 HAS SOPS 58683 HAS SOUS 52928 HAS SOUPS 52928 WITH SCORE 52986.683
AT ITER 137 NEW BEST:: SOT 80242 SOS 58501 HAS SOPS 58501 HAS SOUS 52745 HAS SOUPS 52745 WITH SCORE 52803.501
AT ITER 140 NEW BEST:: SOT 80106 SOS 58365 HAS SOPS 58365 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52667.365
AT ITER 142 NEW BEST:: SOT 80105 SOS 58185 HAS SOPS 58185 HAS SOUS 52542 HAS SOUPS 52542 WITH SCORE 52600.185
AT ITER 143 NEW BEST:: SOT 80248 SOS 57957 HAS SOPS 57957 HAS SOUS 52352 HAS SOUPS 52352 WITH SCORE 52409.957
AT ITER 145 NEW BEST:: SOT 80050 SOS 57724 HAS SOPS 57724 HAS SOUS 52093 HAS SOUPS 52093 WITH SCORE 52150.724
AT ITER 147 NEW BEST:: SOT 80020 SOS 57694 HAS SOPS 57694 HAS SOUS 52063 HAS SOUPS 52063 WITH SCORE 52120.694
AT ITER 149 NEW BEST:: SOT 80075 SOS 57603 HAS SOPS 57603 HAS SOUS 52041 HAS SOUPS 52041 WITH SCORE 52098.603
AT ITER 151 NEW BEST:: SOT 80075 SOS 57626 HAS SOPS 57626 HAS SOUS 52018 HAS SOUPS 52018 WITH SCORE 52075.626
AT ITER 152 NEW BEST:: SOT 80061 SOS 57612 HAS SOPS 57612 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52061.612
AT ITER 153 NEW BEST:: SOT 79959 SOS 57403 HAS SOPS 57403 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51852.403
AT ITER 156 NEW BEST:: SOT 79869 SOS 57313 HAS SOPS 57313 HAS SOUS 51743 HAS SOUPS 51743 WITH SCORE 51800.313
AT ITER 157 NEW BEST:: SOT 79819 SOS 57113 HAS SOPS 57113 HAS SOUS 51639 HAS SOUPS 51639 WITH SCORE 51696.113
AT ITER 160 NEW BEST:: SOT 79834 SOS 56948 HAS SOPS 56948 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51649.948
AT ITER 161 NEW BEST:: SOT 79617 SOS 56731 HAS SOPS 56731 HAS SOUS 51376 HAS SOUPS 51376 WITH SCORE 51432.731
AT ITER 166 NEW BEST:: SOT 79617 SOS 56472 HAS SOPS 56472 HAS SOUS 51301 HAS SOUPS 51301 WITH SCORE 51357.472
AT ITER 168 NEW BEST:: SOT 79529 SOS 56370 HAS SOPS 56370 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51212.37
AT ITER 170 NEW BEST:: SOT 79370 SOS 56211 HAS SOPS 56211 HAS SOUS 51022 HAS SOUPS 51022 WITH SCORE 51078.211
AT ITER 178 NEW BEST:: SOT 79370 SOS 56036 HAS SOPS 56036 HAS SOUS 50943 HAS SOUPS 50943 WITH SCORE 50999.036
AT ITER 180 NEW BEST:: SOT 79324 SOS 55904 HAS SOPS 55904 HAS SOUS 50811 HAS SOUPS 50811 WITH SCORE 50866.904
AT ITER 183 NEW BEST:: SOT 79366 SOS 55621 HAS SOPS 55621 HAS SOUS 50672 HAS SOUPS 50672 WITH SCORE 50727.621
AT ITER 184 NEW BEST:: SOT 79350 SOS 55597 HAS SOPS 55597 HAS SOUS 50648 HAS SOUPS 50648 WITH SCORE 50703.597
AT ITER 185 NEW BEST:: SOT 79327 SOS 55509 HAS SOPS 55509 HAS SOUS 50595 HAS SOUPS 50595 WITH SCORE 50650.509
AT ITER 187 NEW BEST:: SOT 79305 SOS 55487 HAS SOPS 55487 HAS SOUS 50573 HAS SOUPS 50573 WITH SCORE 50628.487
AT ITER 188 NEW BEST:: SOT 79266 SOS 55448 HAS SOPS 55448 HAS SOUS 50534 HAS SOUPS 50534 WITH SCORE 50589.448
AT ITER 190 NEW BEST:: SOT 79229 SOS 55411 HAS SOPS 55411 HAS SOUS 50449 HAS SOUPS 50449 WITH SCORE 50504.411
AT ITER 191 NEW BEST:: SOT 79103 SOS 55451 HAS SOPS 55451 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50475.451
AT ITER 195 NEW BEST:: SOT 79098 SOS 55444 HAS SOPS 55444 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50475.444
AT ITER 197 NEW BEST:: SOT 79024 SOS 55326 HAS SOPS 55326 HAS SOUS 50228 HAS SOUPS 50228 WITH SCORE 50283.326
AT ITER 203 NEW BEST:: SOT 79052 SOS 55310 HAS SOPS 55310 HAS SOUS 50212 HAS SOUPS 50212 WITH SCORE 50267.31
AT ITER 204 NEW BEST:: SOT 78945 SOS 55202 HAS SOPS 55202 HAS SOUS 50171 HAS SOUPS 50171 WITH SCORE 50226.202
AT ITER 208 NEW BEST:: SOT 78945 SOS 55079 HAS SOPS 55079 HAS SOUS 50133 HAS SOUPS 50133 WITH SCORE 50188.079
AT ITER 221 NEW BEST:: SOT 78945 SOS 55050 HAS SOPS 55050 HAS SOUS 50133 HAS SOUPS 50133 WITH SCORE 50188.05
AT ITER 223 NEW BEST:: SOT 78668 SOS 54507 HAS SOPS 54507 HAS SOUS 49640 HAS SOUPS 49640 WITH SCORE 49694.507
AT ITER 225 NEW BEST:: SOT 78666 SOS 54499 HAS SOPS 54499 HAS SOUS 49635 HAS SOUPS 49635 WITH SCORE 49689.499
AT ITER 226 NEW BEST:: SOT 78576 SOS 54406 HAS SOPS 54406 HAS SOUS 49540 HAS SOUPS 49540 WITH SCORE 49594.406
AT ITER 228 NEW BEST:: SOT 78581 SOS 54411 HAS SOPS 54411 HAS SOUS 49536 HAS SOUPS 49536 WITH SCORE 49590.411
AT ITER 234 NEW BEST:: SOT 78594 SOS 54424 HAS SOPS 54424 HAS SOUS 49489 HAS SOUPS 49489 WITH SCORE 49543.424
AT ITER 236 NEW BEST:: SOT 78292 SOS 54218 HAS SOPS 54218 HAS SOUS 49344 HAS SOUPS 49344 WITH SCORE 49398.218
AT ITER 241 NEW BEST:: SOT 78236 SOS 54162 HAS SOPS 54162 HAS SOUS 49279 HAS SOUPS 49279 WITH SCORE 49333.162
AT ITER 242 NEW BEST:: SOT 77876 SOS 53777 HAS SOPS 53777 HAS SOUS 48830 HAS SOUPS 48830 WITH SCORE 48883.777
AT ITER 244 NEW BEST:: SOT 77874 SOS 53775 HAS SOPS 53775 HAS SOUS 48828 HAS SOUPS 48828 WITH SCORE 48881.775
AT ITER 245 NEW BEST:: SOT 77641 SOS 53542 HAS SOPS 53542 HAS SOUS 48626 HAS SOUPS 48626 WITH SCORE 48679.542
AT ITER 249 NEW BEST:: SOT 77790 SOS 53365 HAS SOPS 53365 HAS SOUS 48535 HAS SOUPS 48535 WITH SCORE 48588.365
AT ITER 254 NEW BEST:: SOT 77640 SOS 53072 HAS SOPS 53072 HAS SOUS 48242 HAS SOUPS 48242 WITH SCORE 48295.072
AT ITER 256 NEW BEST:: SOT 77578 SOS 52973 HAS SOPS 52973 HAS SOUS 48149 HAS SOUPS 48149 WITH SCORE 48201.973
AT ITER 260 NEW BEST:: SOT 77613 SOS 53008 HAS SOPS 53008 HAS SOUS 48039 HAS SOUPS 48039 WITH SCORE 48092.008
AT ITER 261 NEW BEST:: SOT 77478 SOS 52747 HAS SOPS 52747 HAS SOUS 47728 HAS SOUPS 47728 WITH SCORE 47780.747
AT ITER 264 NEW BEST:: SOT 77478 SOS 52749 HAS SOPS 52749 HAS SOUS 47726 HAS SOUPS 47726 WITH SCORE 47778.749
AT ITER 265 NEW BEST:: SOT 77491 SOS 52775 HAS SOPS 52775 HAS SOUS 47712 HAS SOUPS 47712 WITH SCORE 47764.775
AT ITER 267 NEW BEST:: SOT 77377 SOS 52661 HAS SOPS 52661 HAS SOUS 47598 HAS SOUPS 47598 WITH SCORE 47650.661
AT ITER 273 NEW BEST:: SOT 77377 SOS 52645 HAS SOPS 52645 HAS SOUS 47589 HAS SOUPS 47589 WITH SCORE 47641.645
AT ITER 276 NEW BEST:: SOT 77280 SOS 52632 HAS SOPS 52632 HAS SOUS 47551 HAS SOUPS 47551 WITH SCORE 47603.632
AT ITER 277 NEW BEST:: SOT 77278 SOS 52630 HAS SOPS 52630 HAS SOUS 47549 HAS SOUPS 47549 WITH SCORE 47601.63
AT ITER 281 NEW BEST:: SOT 77278 SOS 52613 HAS SOPS 52613 HAS SOUS 47488 HAS SOUPS 47488 WITH SCORE 47540.613
AT ITER 291 NEW BEST:: SOT 77128 SOS 52461 HAS SOPS 52461 HAS SOUS 47336 HAS SOUPS 47336 WITH SCORE 47388.461
AT ITER 292 NEW BEST:: SOT 76943 SOS 51913 HAS SOPS 51913 HAS SOUS 47042 HAS SOUPS 47042 WITH SCORE 47093.913
AT ITER 298 NEW BEST:: SOT 76723 SOS 51627 HAS SOPS 51627 HAS SOUS 46750 HAS SOUPS 46750 WITH SCORE 46801.627
AT ITER 300 NEW BEST:: SOT 76596 SOS 51543 HAS SOPS 51543 HAS SOUS 46695 HAS SOUPS 46695 WITH SCORE 46746.543
AT ITER 307 NEW BEST:: SOT 76582 SOS 51499 HAS SOPS 51499 HAS SOUS 46651 HAS SOUPS 46651 WITH SCORE 46702.499
AT ITER 315 NEW BEST:: SOT 76579 SOS 51496 HAS SOPS 51496 HAS SOUS 46648 HAS SOUPS 46648 WITH SCORE 46699.496
AT ITER 319 NEW BEST:: SOT 76556 SOS 51443 HAS SOPS 51443 HAS SOUS 46618 HAS SOUPS 46618 WITH SCORE 46669.443
AT ITER 322 NEW BEST:: SOT 76572 SOS 51520 HAS SOPS 51520 HAS SOUS 46604 HAS SOUPS 46604 WITH SCORE 46655.52
AT ITER 325 NEW BEST:: SOT 76564 SOS 51504 HAS SOPS 51504 HAS SOUS 46588 HAS SOUPS 46588 WITH SCORE 46639.504
AT ITER 326 NEW BEST:: SOT 76564 SOS 51547 HAS SOPS 51547 HAS SOUS 46533 HAS SOUPS 46533 WITH SCORE 46584.547
AT ITER 331 NEW BEST:: SOT 76564 SOS 51486 HAS SOPS 51486 HAS SOUS 46470 HAS SOUPS 46470 WITH SCORE 46521.486
AT ITER 333 NEW BEST:: SOT 76531 SOS 51680 HAS SOPS 51680 HAS SOUS 46411 HAS SOUPS 46411 WITH SCORE 46462.68
AT ITER 334 NEW BEST:: SOT 76538 SOS 51715 HAS SOPS 51715 HAS SOUS 46325 HAS SOUPS 46325 WITH SCORE 46376.715
AT ITER 338 NEW BEST:: SOT 76544 SOS 51546 HAS SOPS 51546 HAS SOUS 46170 HAS SOUPS 46170 WITH SCORE 46221.546
AT ITER 339 NEW BEST:: SOT 76543 SOS 51545 HAS SOPS 51545 HAS SOUS 46157 HAS SOUPS 46157 WITH SCORE 46208.545
AT ITER 342 NEW BEST:: SOT 76481 SOS 51216 HAS SOPS 51216 HAS SOUS 46144 HAS SOUPS 46144 WITH SCORE 46195.216
AT ITER 344 NEW BEST:: SOT 76604 SOS 51091 HAS SOPS 51091 HAS SOUS 46079 HAS SOUPS 46079 WITH SCORE 46130.091
AT ITER 348 NEW BEST:: SOT 76542 SOS 51030 HAS SOPS 51030 HAS SOUS 46018 HAS SOUPS 46018 WITH SCORE 46069.03
AT ITER 350 NEW BEST:: SOT 76469 SOS 50943 HAS SOPS 50943 HAS SOUS 45848 HAS SOUPS 45848 WITH SCORE 45898.943
AT ITER 352 NEW BEST:: SOT 76427 SOS 50910 HAS SOPS 50910 HAS SOUS 45815 HAS SOUPS 45815 WITH SCORE 45865.91
AT ITER 353 NEW BEST:: SOT 76154 SOS 50184 HAS SOPS 50184 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45419.184
AT ITER 356 NEW BEST:: SOT 76180 SOS 50216 HAS SOPS 50216 HAS SOUS 45273 HAS SOUPS 45273 WITH SCORE 45323.216
AT ITER 359 NEW BEST:: SOT 76144 SOS 50180 HAS SOPS 50180 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45287.18
AT ITER 364 NEW BEST:: SOT 76207 SOS 50244 HAS SOPS 50244 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45261.244
AT ITER 366 NEW BEST:: SOT 76191 SOS 50212 HAS SOPS 50212 HAS SOUS 45187 HAS SOUPS 45187 WITH SCORE 45237.212
AT ITER 367 NEW BEST:: SOT 76179 SOS 50194 HAS SOPS 50194 HAS SOUS 45163 HAS SOUPS 45163 WITH SCORE 45213.194
AT ITER 369 NEW BEST:: SOT 76179 SOS 50119 HAS SOPS 50119 HAS SOUS 45153 HAS SOUPS 45153 WITH SCORE 45203.119
AT ITER 372 NEW BEST:: SOT 76179 SOS 50119 HAS SOPS 50119 HAS SOUS 45152 HAS SOUPS 45152 WITH SCORE 45202.119
AT ITER 374 NEW BEST:: SOT 76056 SOS 49897 HAS SOPS 49897 HAS SOUS 44930 HAS SOUPS 44930 WITH SCORE 44979.897
AT ITER 375 NEW BEST:: SOT 76056 SOS 49889 HAS SOPS 49889 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44975.889
AT ITER 378 NEW BEST:: SOT 75989 SOS 49766 HAS SOPS 49766 HAS SOUS 44870 HAS SOUPS 44870 WITH SCORE 44919.766
AT ITER 379 NEW BEST:: SOT 75989 SOS 49766 HAS SOPS 49766 HAS SOUS 44852 HAS SOUPS 44852 WITH SCORE 44901.766
AT ITER 380 NEW BEST:: SOT 75961 SOS 49724 HAS SOPS 49724 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44859.724
AT ITER 382 NEW BEST:: SOT 75961 SOS 49708 HAS SOPS 49708 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44859.708
AT ITER 384 NEW BEST:: SOT 76000 SOS 49651 HAS SOPS 49651 HAS SOUS 44759 HAS SOUPS 44759 WITH SCORE 44808.651
AT ITER 387 NEW BEST:: SOT 75951 SOS 49602 HAS SOPS 49602 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44759.602
AT ITER 392 NEW BEST:: SOT 75945 SOS 49594 HAS SOPS 49594 HAS SOUS 44702 HAS SOUPS 44702 WITH SCORE 44751.594
AT ITER 395 NEW BEST:: SOT 75884 SOS 49347 HAS SOPS 49347 HAS SOUS 44547 HAS SOUPS 44547 WITH SCORE 44596.347
AT ITER 398 NEW BEST:: SOT 75873 SOS 49336 HAS SOPS 49336 HAS SOUS 44536 HAS SOUPS 44536 WITH SCORE 44585.336
AT ITER 399 NEW BEST:: SOT 75871 SOS 49334 HAS SOPS 49334 HAS SOUS 44532 HAS SOUPS 44532 WITH SCORE 44581.334
AT ITER 401 NEW BEST:: SOT 75764 SOS 49227 HAS SOPS 49227 HAS SOUS 44425 HAS SOUPS 44425 WITH SCORE 44474.227
AT ITER 402 NEW BEST:: SOT 75764 SOS 49197 HAS SOPS 49197 HAS SOUS 44395 HAS SOUPS 44395 WITH SCORE 44444.197
AT ITER 415 NEW BEST:: SOT 75764 SOS 49128 HAS SOPS 49128 HAS SOUS 44325 HAS SOUPS 44325 WITH SCORE 44374.128
AT ITER 416 NEW BEST:: SOT 75764 SOS 48938 HAS SOPS 48938 HAS SOUS 44180 HAS SOUPS 44180 WITH SCORE 44228.938
AT ITER 417 NEW BEST:: SOT 75589 SOS 48763 HAS SOPS 48763 HAS SOUS 44050 HAS SOUPS 44050 WITH SCORE 44098.763
AT ITER 420 NEW BEST:: SOT 75589 SOS 48758 HAS SOPS 48758 HAS SOUS 44050 HAS SOUPS 44050 WITH SCORE 44098.758
AT ITER 421 NEW BEST:: SOT 75545 SOS 48714 HAS SOPS 48714 HAS SOUS 43990 HAS SOUPS 43990 WITH SCORE 44038.714
AT ITER 427 NEW BEST:: SOT 75540 SOS 48709 HAS SOPS 48709 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44033.709
AT ITER 430 NEW BEST:: SOT 75571 SOS 48690 HAS SOPS 48690 HAS SOUS 43966 HAS SOUPS 43966 WITH SCORE 44014.69
AT ITER 431 NEW BEST:: SOT 75543 SOS 48636 HAS SOPS 48636 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 43960.636
AT ITER 433 NEW BEST:: SOT 75357 SOS 48287 HAS SOPS 48287 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43672.287
AT ITER 434 NEW BEST:: SOT 75297 SOS 48167 HAS SOPS 48167 HAS SOUS 43504 HAS SOUPS 43504 WITH SCORE 43552.167
AT ITER 435 NEW BEST:: SOT 75268 SOS 48109 HAS SOPS 48109 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43523.109
AT ITER 437 NEW BEST:: SOT 75143 SOS 47984 HAS SOPS 47984 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43397.984
AT ITER 438 NEW BEST:: SOT 75141 SOS 47958 HAS SOPS 47958 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43384.958
AT ITER 439 NEW BEST:: SOT 75141 SOS 47958 HAS SOPS 47958 HAS SOUS 43321 HAS SOUPS 43321 WITH SCORE 43368.958
AT ITER 441 NEW BEST:: SOT 75244 SOS 47842 HAS SOPS 47842 HAS SOUS 43318 HAS SOUPS 43318 WITH SCORE 43365.842
AT ITER 444 NEW BEST:: SOT 75174 SOS 47587 HAS SOPS 47587 HAS SOUS 43084 HAS SOUPS 43084 WITH SCORE 43131.587
AT ITER 449 NEW BEST:: SOT 75339 SOS 47582 HAS SOPS 47582 HAS SOUS 43006 HAS SOUPS 43006 WITH SCORE 43053.582
AT ITER 455 NEW BEST:: SOT 75313 SOS 47452 HAS SOPS 47452 HAS SOUS 42954 HAS SOUPS 42954 WITH SCORE 43001.452
AT ITER 463 NEW BEST:: SOT 75298 SOS 46882 HAS SOPS 46882 HAS SOUS 42709 HAS SOUPS 42709 WITH SCORE 42755.882
AT ITER 471 NEW BEST:: SOT 75145 SOS 46361 HAS SOPS 46361 HAS SOUS 42325 HAS SOUPS 42325 WITH SCORE 42371.361
AT ITER 472 NEW BEST:: SOT 75087 SOS 46303 HAS SOPS 46303 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42313.303
AT ITER 487 NEW BEST:: SOT 75043 SOS 46251 HAS SOPS 46251 HAS SOUS 42214 HAS SOUPS 42214 WITH SCORE 42260.251
AT ITER 494 NEW BEST:: SOT 74904 SOS 45734 HAS SOPS 45734 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42026.734
AT ITER 496 NEW BEST:: SOT 74904 SOS 45703 HAS SOPS 45703 HAS SOUS 41971 HAS SOUPS 41971 WITH SCORE 42016.703
AT ITER 503 NEW BEST:: SOT 74911 SOS 45670 HAS SOPS 45670 HAS SOUS 41938 HAS SOUPS 41938 WITH SCORE 41983.67
AT ITER 505 NEW BEST:: SOT 74848 SOS 45757 HAS SOPS 45757 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41957.757
AT ITER 513 NEW BEST:: SOT 74835 SOS 45744 HAS SOPS 45744 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41944.744
AT ITER 515 NEW BEST:: SOT 74828 SOS 45514 HAS SOPS 45514 HAS SOUS 41669 HAS SOUPS 41669 WITH SCORE 41714.514
AT ITER 516 NEW BEST:: SOT 74785 SOS 45471 HAS SOPS 45471 HAS SOUS 41584 HAS SOUPS 41584 WITH SCORE 41629.471
AT ITER 522 NEW BEST:: SOT 74715 SOS 45361 HAS SOPS 45361 HAS SOUS 41459 HAS SOUPS 41459 WITH SCORE 41504.361
AT ITER 524 NEW BEST:: SOT 74682 SOS 45304 HAS SOPS 45304 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41447.304
AT ITER 525 NEW BEST:: SOT 74676 SOS 45298 HAS SOPS 45298 HAS SOUS 41329 HAS SOUPS 41329 WITH SCORE 41374.298
AT ITER 531 NEW BEST:: SOT 74583 SOS 45133 HAS SOPS 45133 HAS SOUS 41191 HAS SOUPS 41191 WITH SCORE 41236.133
AT ITER 536 NEW BEST:: SOT 74544 SOS 45103 HAS SOPS 45103 HAS SOUS 41120 HAS SOUPS 41120 WITH SCORE 41165.103
AT ITER 537 NEW BEST:: SOT 74534 SOS 45093 HAS SOPS 45093 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41155.093
AT ITER 539 NEW BEST:: SOT 74458 SOS 44993 HAS SOPS 44993 HAS SOUS 41010 HAS SOUPS 41010 WITH SCORE 41054.993
AT ITER 546 NEW BEST:: SOT 74458 SOS 45029 HAS SOPS 45029 HAS SOUS 40986 HAS SOUPS 40986 WITH SCORE 41031.029
AT ITER 549 NEW BEST:: SOT 74438 SOS 45009 HAS SOPS 45009 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41011.009
AT ITER 552 NEW BEST:: SOT 74419 SOS 44613 HAS SOPS 44613 HAS SOUS 40570 HAS SOUPS 40570 WITH SCORE 40614.613
AT ITER 553 NEW BEST:: SOT 74418 SOS 44642 HAS SOPS 44642 HAS SOUS 40563 HAS SOUPS 40563 WITH SCORE 40607.642
AT ITER 565 NEW BEST:: SOT 74407 SOS 44475 HAS SOPS 44475 HAS SOUS 40450 HAS SOUPS 40450 WITH SCORE 40494.475
AT ITER 566 NEW BEST:: SOT 74239 SOS 44307 HAS SOPS 44307 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40326.307
AT ITER 575 NEW BEST:: SOT 74239 SOS 44300 HAS SOPS 44300 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40326.3
AT ITER 576 NEW BEST:: SOT 74121 SOS 44185 HAS SOPS 44185 HAS SOUS 40163 HAS SOUPS 40163 WITH SCORE 40207.185
AT ITER 581 NEW BEST:: SOT 74121 SOS 44185 HAS SOPS 44185 HAS SOUS 40140 HAS SOUPS 40140 WITH SCORE 40184.185
AT ITER 583 NEW BEST:: SOT 74114 SOS 44178 HAS SOPS 44178 HAS SOUS 40080 HAS SOUPS 40080 WITH SCORE 40124.178
AT ITER 586 NEW BEST:: SOT 74114 SOS 44136 HAS SOPS 44136 HAS SOUS 40059 HAS SOUPS 40059 WITH SCORE 40103.136
AT ITER 587 NEW BEST:: SOT 74039 SOS 43989 HAS SOPS 43989 HAS SOUS 39960 HAS SOUPS 39960 WITH SCORE 40003.989
AT ITER 590 NEW BEST:: SOT 74039 SOS 43959 HAS SOPS 43959 HAS SOUS 39930 HAS SOUPS 39930 WITH SCORE 39973.959
AT ITER 602 NEW BEST:: SOT 74039 SOS 43829 HAS SOPS 43829 HAS SOUS 39823 HAS SOUPS 39823 WITH SCORE 39866.829
AT ITER 608 NEW BEST:: SOT 74024 SOS 43838 HAS SOPS 43838 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39863.838
AT ITER 609 NEW BEST:: SOT 73868 SOS 43208 HAS SOPS 43208 HAS SOUS 39316 HAS SOUPS 39316 WITH SCORE 39359.208
AT ITER 613 NEW BEST:: SOT 73868 SOS 43168 HAS SOPS 43168 HAS SOUS 39261 HAS SOUPS 39261 WITH SCORE 39304.168
AT ITER 615 NEW BEST:: SOT 73853 SOS 43153 HAS SOPS 43153 HAS SOUS 39246 HAS SOUPS 39246 WITH SCORE 39289.153
AT ITER 618 NEW BEST:: SOT 73788 SOS 43088 HAS SOPS 43088 HAS SOUS 39181 HAS SOUPS 39181 WITH SCORE 39224.088
AT ITER 619 NEW BEST:: SOT 73589 SOS 42838 HAS SOPS 42838 HAS SOUS 38931 HAS SOUPS 38931 WITH SCORE 38973.838
AT ITER 622 NEW BEST:: SOT 73589 SOS 42817 HAS SOPS 42817 HAS SOUS 38917 HAS SOUPS 38917 WITH SCORE 38959.817
AT ITER 637 NEW BEST:: SOT 73573 SOS 42754 HAS SOPS 42754 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 38927.754
AT ITER 644 NEW BEST:: SOT 73507 SOS 42607 HAS SOPS 42607 HAS SOUS 38699 HAS SOUPS 38699 WITH SCORE 38741.607
AT ITER 656 NEW BEST:: SOT 73415 SOS 42557 HAS SOPS 42557 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38697.557
AT ITER 659 NEW BEST:: SOT 73387 SOS 42527 HAS SOPS 42527 HAS SOUS 38599 HAS SOUPS 38599 WITH SCORE 38641.527
AT ITER 664 NEW BEST:: SOT 73387 SOS 42507 HAS SOPS 42507 HAS SOUS 38579 HAS SOUPS 38579 WITH SCORE 38621.507
AT ITER 667 NEW BEST:: SOT 73467 SOS 42401 HAS SOPS 42401 HAS SOUS 38544 HAS SOUPS 38544 WITH SCORE 38586.401
AT ITER 669 NEW BEST:: SOT 73467 SOS 42082 HAS SOPS 42082 HAS SOUS 38318 HAS SOUPS 38318 WITH SCORE 38360.082
AT ITER 671 NEW BEST:: SOT 73413 SOS 42028 HAS SOPS 42028 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38306.028
AT ITER 672 NEW BEST:: SOT 73297 SOS 41819 HAS SOPS 41819 HAS SOUS 38160 HAS SOUPS 38160 WITH SCORE 38201.819
AT ITER 675 NEW BEST:: SOT 73288 SOS 41607 HAS SOPS 41607 HAS SOUS 38072 HAS SOUPS 38072 WITH SCORE 38113.607
AT ITER 677 NEW BEST:: SOT 73146 SOS 41401 HAS SOPS 41401 HAS SOUS 37892 HAS SOUPS 37892 WITH SCORE 37933.401
AT ITER 684 NEW BEST:: SOT 73073 SOS 41252 HAS SOPS 41252 HAS SOUS 37743 HAS SOUPS 37743 WITH SCORE 37784.252
AT ITER 689 NEW BEST:: SOT 72867 SOS 41046 HAS SOPS 41046 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37578.046
AT ITER 691 NEW BEST:: SOT 72852 SOS 41031 HAS SOPS 41031 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37568.031
AT ITER 700 NEW BEST:: SOT 72852 SOS 41030 HAS SOPS 41030 HAS SOUS 37526 HAS SOUPS 37526 WITH SCORE 37567.03
AT ITER 701 NEW BEST:: SOT 72837 SOS 41015 HAS SOPS 41015 HAS SOUS 37511 HAS SOUPS 37511 WITH SCORE 37552.015
AT ITER 706 NEW BEST:: SOT 72822 SOS 41014 HAS SOPS 41014 HAS SOUS 37510 HAS SOUPS 37510 WITH SCORE 37551.014
AT ITER 710 NEW BEST:: SOT 72822 SOS 40981 HAS SOPS 40981 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37535.981
AT ITER 717 NEW BEST:: SOT 72747 SOS 40906 HAS SOPS 40906 HAS SOUS 37451 HAS SOUPS 37451 WITH SCORE 37491.906
AT ITER 720 NEW BEST:: SOT 72678 SOS 40783 HAS SOPS 40783 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37368.783
AT ITER 722 NEW BEST:: SOT 72678 SOS 40781 HAS SOPS 40781 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37366.781
AT ITER 724 NEW BEST:: SOT 72658 SOS 40761 HAS SOPS 40761 HAS SOUS 37306 HAS SOUPS 37306 WITH SCORE 37346.761
AT ITER 736 NEW BEST:: SOT 72630 SOS 40651 HAS SOPS 40651 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37290.651
AT ITER 739 NEW BEST:: SOT 72558 SOS 40579 HAS SOPS 40579 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37222.579
AT ITER 744 NEW BEST:: SOT 72495 SOS 40277 HAS SOPS 40277 HAS SOUS 36880 HAS SOUPS 36880 WITH SCORE 36920.277
AT ITER 745 NEW BEST:: SOT 72482 SOS 40264 HAS SOPS 40264 HAS SOUS 36867 HAS SOUPS 36867 WITH SCORE 36907.264
AT ITER 748 NEW BEST:: SOT 72409 SOS 40293 HAS SOPS 40293 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36906.293
AT ITER 757 NEW BEST:: SOT 72340 SOS 40233 HAS SOPS 40233 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36846.233
AT ITER 760 NEW BEST:: SOT 72338 SOS 40234 HAS SOPS 40234 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36840.234
AT ITER 767 NEW BEST:: SOT 72338 SOS 40178 HAS SOPS 40178 HAS SOUS 36744 HAS SOUPS 36744 WITH SCORE 36784.178
AT ITER 768 NEW BEST:: SOT 72193 SOS 40033 HAS SOPS 40033 HAS SOUS 36599 HAS SOUPS 36599 WITH SCORE 36639.033
AT ITER 791 NEW BEST:: SOT 72179 SOS 39985 HAS SOPS 39985 HAS SOUS 36551 HAS SOUPS 36551 WITH SCORE 36590.985
AT ITER 798 NEW BEST:: SOT 72163 SOS 39929 HAS SOPS 39929 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36558.929
AT ITER 802 NEW BEST:: SOT 72217 SOS 40101 HAS SOPS 40101 HAS SOUS 36491 HAS SOUPS 36491 WITH SCORE 36531.101
AT ITER 809 NEW BEST:: SOT 72197 SOS 40081 HAS SOPS 40081 HAS SOUS 36471 HAS SOUPS 36471 WITH SCORE 36511.081
AT ITER 812 NEW BEST:: SOT 72160 SOS 40044 HAS SOPS 40044 HAS SOUS 36434 HAS SOUPS 36434 WITH SCORE 36474.044
AT ITER 813 NEW BEST:: SOT 72109 SOS 39938 HAS SOPS 39938 HAS SOUS 36303 HAS SOUPS 36303 WITH SCORE 36342.938
AT ITER 818 NEW BEST:: SOT 72107 SOS 39936 HAS SOPS 39936 HAS SOUS 36301 HAS SOUPS 36301 WITH SCORE 36340.936
AT ITER 819 NEW BEST:: SOT 72103 SOS 39688 HAS SOPS 39688 HAS SOUS 36056 HAS SOUPS 36056 WITH SCORE 36095.688
AT ITER 821 NEW BEST:: SOT 72103 SOS 39593 HAS SOPS 39593 HAS SOUS 36018 HAS SOUPS 36018 WITH SCORE 36057.593
AT ITER 833 NEW BEST:: SOT 72097 SOS 39563 HAS SOPS 39563 HAS SOUS 36006 HAS SOUPS 36006 WITH SCORE 36045.563
AT ITER 839 NEW BEST:: SOT 72092 SOS 39558 HAS SOPS 39558 HAS SOUS 35996 HAS SOUPS 35996 WITH SCORE 36035.558
AT ITER 845 NEW BEST:: SOT 72052 SOS 39497 HAS SOPS 39497 HAS SOUS 35941 HAS SOUPS 35941 WITH SCORE 35980.497
AT ITER 851 NEW BEST:: SOT 72040 SOS 39367 HAS SOPS 39367 HAS SOUS 35839 HAS SOUPS 35839 WITH SCORE 35878.367
AT ITER 859 NEW BEST:: SOT 71999 SOS 39228 HAS SOPS 39228 HAS SOUS 35700 HAS SOUPS 35700 WITH SCORE 35739.228
AT ITER 863 NEW BEST:: SOT 71994 SOS 39215 HAS SOPS 39215 HAS SOUS 35687 HAS SOUPS 35687 WITH SCORE 35726.215
AT ITER 865 NEW BEST:: SOT 72010 SOS 39175 HAS SOPS 39175 HAS SOUS 35641 HAS SOUPS 35641 WITH SCORE 35680.175
AT ITER 870 NEW BEST:: SOT 71920 SOS 39084 HAS SOPS 39084 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35589.084
AT ITER 891 NEW BEST:: SOT 71866 SOS 38858 HAS SOPS 38858 HAS SOUS 35340 HAS SOUPS 35340 WITH SCORE 35378.858
AT ITER 901 NEW BEST:: SOT 71831 SOS 38815 HAS SOPS 38815 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35344.815
AT ITER 902 NEW BEST:: SOT 71843 SOS 38810 HAS SOPS 38810 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35339.81
AT ITER 906 NEW BEST:: SOT 71556 SOS 38387 HAS SOPS 38387 HAS SOUS 34876 HAS SOUPS 34876 WITH SCORE 34914.387
AT ITER 913 NEW BEST:: SOT 71618 SOS 38123 HAS SOPS 38123 HAS SOUS 34820 HAS SOUPS 34820 WITH SCORE 34858.123
AT ITER 914 NEW BEST:: SOT 71586 SOS 37895 HAS SOPS 37895 HAS SOUS 34683 HAS SOUPS 34683 WITH SCORE 34720.895
AT ITER 918 NEW BEST:: SOT 71520 SOS 37829 HAS SOPS 37829 HAS SOUS 34599 HAS SOUPS 34599 WITH SCORE 34636.829
AT ITER 924 NEW BEST:: SOT 71433 SOS 37742 HAS SOPS 37742 HAS SOUS 34492 HAS SOUPS 34492 WITH SCORE 34529.742
AT ITER 926 NEW BEST:: SOT 71406 SOS 37665 HAS SOPS 37665 HAS SOUS 34434 HAS SOUPS 34434 WITH SCORE 34471.665
AT ITER 927 NEW BEST:: SOT 71340 SOS 37451 HAS SOPS 37451 HAS SOUS 34302 HAS SOUPS 34302 WITH SCORE 34339.451
AT ITER 935 NEW BEST:: SOT 71278 SOS 37287 HAS SOPS 37287 HAS SOUS 34206 HAS SOUPS 34206 WITH SCORE 34243.287
AT ITER 936 NEW BEST:: SOT 71333 SOS 37324 HAS SOPS 37324 HAS SOUS 34203 HAS SOUPS 34203 WITH SCORE 34240.324
AT ITER 941 NEW BEST:: SOT 71302 SOS 37231 HAS SOPS 37231 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34177.231
AT ITER 949 NEW BEST:: SOT 71287 SOS 37216 HAS SOPS 37216 HAS SOUS 34125 HAS SOUPS 34125 WITH SCORE 34162.216
AT ITER 951 NEW BEST:: SOT 71276 SOS 37205 HAS SOPS 37205 HAS SOUS 34121 HAS SOUPS 34121 WITH SCORE 34158.205
AT ITER 957 NEW BEST:: SOT 71185 SOS 36983 HAS SOPS 36983 HAS SOUS 33963 HAS SOUPS 33963 WITH SCORE 33999.983
AT ITER 967 NEW BEST:: SOT 71144 SOS 36942 HAS SOPS 36942 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 33958.942
AT ITER 968 NEW BEST:: SOT 71184 SOS 36942 HAS SOPS 36942 HAS SOUS 33907 HAS SOUPS 33907 WITH SCORE 33943.942
AT ITER 971 NEW BEST:: SOT 71168 SOS 36926 HAS SOPS 36926 HAS SOUS 33891 HAS SOUPS 33891 WITH SCORE 33927.926
AT ITER 990 NEW BEST:: SOT 71126 SOS 36716 HAS SOPS 36716 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33843.716
AT ITER 1004 NEW BEST:: SOT 71125 SOS 36639 HAS SOPS 36639 HAS SOUS 33805 HAS SOUPS 33805 WITH SCORE 33841.639
AT ITER 1013 NEW BEST:: SOT 71107 SOS 36628 HAS SOPS 36628 HAS SOUS 33794 HAS SOUPS 33794 WITH SCORE 33830.628
AT ITER 1020 NEW BEST:: SOT 71131 SOS 36692 HAS SOPS 36692 HAS SOUS 33792 HAS SOUPS 33792 WITH SCORE 33828.692
AT ITER 1021 NEW BEST:: SOT 71204 SOS 36593 HAS SOPS 36593 HAS SOUS 33621 HAS SOUPS 33621 WITH SCORE 33657.593
AT ITER 1023 NEW BEST:: SOT 71206 SOS 36552 HAS SOPS 36552 HAS SOUS 33604 HAS SOUPS 33604 WITH SCORE 33640.552
AT ITER 1026 NEW BEST:: SOT 71206 SOS 36527 HAS SOPS 36527 HAS SOUS 33579 HAS SOUPS 33579 WITH SCORE 33615.527
AT ITER 1032 NEW BEST:: SOT 71034 SOS 36271 HAS SOPS 36271 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33357.271
AT ITER 1034 NEW BEST:: SOT 71026 SOS 36263 HAS SOPS 36263 HAS SOUS 33309 HAS SOUPS 33309 WITH SCORE 33345.263
AT ITER 1037 NEW BEST:: SOT 71007 SOS 36244 HAS SOPS 36244 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33326.244
AT ITER 1053 NEW BEST:: SOT 71037 SOS 36389 HAS SOPS 36389 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33312.389
AT ITER 1060 NEW BEST:: SOT 71037 SOS 36363 HAS SOPS 36363 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33312.363
AT ITER 1064 NEW BEST:: SOT 70942 SOS 36133 HAS SOPS 36133 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33101.133
AT ITER 1066 NEW BEST:: SOT 70942 SOS 36119 HAS SOPS 36119 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33101.119
AT ITER 1082 NEW BEST:: SOT 70941 SOS 36114 HAS SOPS 36114 HAS SOUS 33059 HAS SOUPS 33059 WITH SCORE 33095.114
AT ITER 1083 NEW BEST:: SOT 70934 SOS 36107 HAS SOPS 36107 HAS SOUS 33046 HAS SOUPS 33046 WITH SCORE 33082.107
AT ITER 1086 NEW BEST:: SOT 70934 SOS 36118 HAS SOPS 36118 HAS SOUS 33020 HAS SOUPS 33020 WITH SCORE 33056.118
AT ITER 1089 NEW BEST:: SOT 70884 SOS 36068 HAS SOPS 36068 HAS SOUS 32895 HAS SOUPS 32895 WITH SCORE 32931.068
AT ITER 1096 NEW BEST:: SOT 70904 SOS 36024 HAS SOPS 36024 HAS SOUS 32851 HAS SOUPS 32851 WITH SCORE 32887.024
AT ITER 1099 NEW BEST:: SOT 70868 SOS 35988 HAS SOPS 35988 HAS SOUS 32815 HAS SOUPS 32815 WITH SCORE 32850.988
AT ITER 1103 NEW BEST:: SOT 70868 SOS 35988 HAS SOPS 35988 HAS SOUS 32786 HAS SOUPS 32786 WITH SCORE 32821.988
AT ITER 1119 NEW BEST:: SOT 70865 SOS 35893 HAS SOPS 35893 HAS SOUS 32775 HAS SOUPS 32775 WITH SCORE 32810.893
AT ITER 1120 NEW BEST:: SOT 70837 SOS 35865 HAS SOPS 35865 HAS SOUS 32747 HAS SOUPS 32747 WITH SCORE 32782.865
AT ITER 1123 NEW BEST:: SOT 70815 SOS 35832 HAS SOPS 35832 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32749.832
AT ITER 1124 NEW BEST:: SOT 70800 SOS 35816 HAS SOPS 35816 HAS SOUS 32698 HAS SOUPS 32698 WITH SCORE 32733.816
AT ITER 1125 NEW BEST:: SOT 70755 SOS 35769 HAS SOPS 35769 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32703.769
AT ITER 1135 NEW BEST:: SOT 70739 SOS 35589 HAS SOPS 35589 HAS SOUS 32576 HAS SOUPS 32576 WITH SCORE 32611.589
AT ITER 1137 NEW BEST:: SOT 70730 SOS 35580 HAS SOPS 35580 HAS SOUS 32567 HAS SOUPS 32567 WITH SCORE 32602.58
AT ITER 1138 NEW BEST:: SOT 70723 SOS 35592 HAS SOPS 35592 HAS SOUS 32546 HAS SOUPS 32546 WITH SCORE 32581.592
AT ITER 1142 NEW BEST:: SOT 70657 SOS 35485 HAS SOPS 35485 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32474.485
AT ITER 1146 NEW BEST:: SOT 70565 SOS 35361 HAS SOPS 35361 HAS SOUS 32305 HAS SOUPS 32305 WITH SCORE 32340.361
AT ITER 1149 NEW BEST:: SOT 70565 SOS 35351 HAS SOPS 35351 HAS SOUS 32295 HAS SOUPS 32295 WITH SCORE 32330.351
AT ITER 1153 NEW BEST:: SOT 70564 SOS 35350 HAS SOPS 35350 HAS SOUS 32257 HAS SOUPS 32257 WITH SCORE 32292.35
AT ITER 1167 NEW BEST:: SOT 70540 SOS 35250 HAS SOPS 35250 HAS SOUS 32183 HAS SOUPS 32183 WITH SCORE 32218.25
AT ITER 1168 NEW BEST:: SOT 70514 SOS 35224 HAS SOPS 35224 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32192.224
AT ITER 1172 NEW BEST:: SOT 70477 SOS 35187 HAS SOPS 35187 HAS SOUS 32120 HAS SOUPS 32120 WITH SCORE 32155.187
AT ITER 1173 NEW BEST:: SOT 70477 SOS 35182 HAS SOPS 35182 HAS SOUS 32115 HAS SOUPS 32115 WITH SCORE 32150.182
AT ITER 1179 NEW BEST:: SOT 70443 SOS 35123 HAS SOPS 35123 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32091.123
AT ITER 1181 NEW BEST:: SOT 70404 SOS 35095 HAS SOPS 35095 HAS SOUS 32028 HAS SOUPS 32028 WITH SCORE 32063.095
AT ITER 1187 NEW BEST:: SOT 70180 SOS 34868 HAS SOPS 34868 HAS SOUS 31903 HAS SOUPS 31903 WITH SCORE 31937.868
AT ITER 1195 NEW BEST:: SOT 70087 SOS 34805 HAS SOPS 34805 HAS SOUS 31877 HAS SOUPS 31877 WITH SCORE 31911.805
AT ITER 1196 NEW BEST:: SOT 70087 SOS 34793 HAS SOPS 34793 HAS SOUS 31865 HAS SOUPS 31865 WITH SCORE 31899.793
AT ITER 1197 NEW BEST:: SOT 70087 SOS 34788 HAS SOPS 34788 HAS SOUS 31860 HAS SOUPS 31860 WITH SCORE 31894.788
AT ITER 1201 NEW BEST:: SOT 70087 SOS 34709 HAS SOPS 34709 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31840.709
AT ITER 1211 NEW BEST:: SOT 69992 SOS 34593 HAS SOPS 34593 HAS SOUS 31697 HAS SOUPS 31697 WITH SCORE 31731.593
AT ITER 1212 NEW BEST:: SOT 69951 SOS 34523 HAS SOPS 34523 HAS SOUS 31643 HAS SOUPS 31643 WITH SCORE 31677.523
AT ITER 1216 NEW BEST:: SOT 69909 SOS 34481 HAS SOPS 34481 HAS SOUS 31601 HAS SOUPS 31601 WITH SCORE 31635.481
AT ITER 1219 NEW BEST:: SOT 69873 SOS 34455 HAS SOPS 34455 HAS SOUS 31552 HAS SOUPS 31552 WITH SCORE 31586.455
AT ITER 1230 NEW BEST:: SOT 69849 SOS 34431 HAS SOPS 34431 HAS SOUS 31528 HAS SOUPS 31528 WITH SCORE 31562.431
AT ITER 1234 NEW BEST:: SOT 69764 SOS 34346 HAS SOPS 34346 HAS SOUS 31443 HAS SOUPS 31443 WITH SCORE 31477.346
AT ITER 1235 NEW BEST:: SOT 69762 SOS 34342 HAS SOPS 34342 HAS SOUS 31439 HAS SOUPS 31439 WITH SCORE 31473.342
AT ITER 1242 NEW BEST:: SOT 69706 SOS 34286 HAS SOPS 34286 HAS SOUS 31383 HAS SOUPS 31383 WITH SCORE 31417.286
AT ITER 1245 NEW BEST:: SOT 69594 SOS 34378 HAS SOPS 34378 HAS SOUS 31367 HAS SOUPS 31367 WITH SCORE 31401.378
AT ITER 1252 NEW BEST:: SOT 69592 SOS 34368 HAS SOPS 34368 HAS SOUS 31363 HAS SOUPS 31363 WITH SCORE 31397.368
AT ITER 1259 NEW BEST:: SOT 69592 SOS 34311 HAS SOPS 34311 HAS SOUS 31363 HAS SOUPS 31363 WITH SCORE 31397.311
AT ITER 1260 NEW BEST:: SOT 69619 SOS 34143 HAS SOPS 34143 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31286.143
AT ITER 1264 NEW BEST:: SOT 69617 SOS 34131 HAS SOPS 34131 HAS SOUS 31240 HAS SOUPS 31240 WITH SCORE 31274.131
AT ITER 1269 NEW BEST:: SOT 69617 SOS 34120 HAS SOPS 34120 HAS SOUS 31223 HAS SOUPS 31223 WITH SCORE 31257.12
AT ITER 1271 NEW BEST:: SOT 69615 SOS 34118 HAS SOPS 34118 HAS SOUS 31207 HAS SOUPS 31207 WITH SCORE 31241.118
AT ITER 1276 NEW BEST:: SOT 69611 SOS 33941 HAS SOPS 33941 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31125.941
AT ITER 1285 NEW BEST:: SOT 69611 SOS 33885 HAS SOPS 33885 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31069.885
AT ITER 1286 NEW BEST:: SOT 69626 SOS 33900 HAS SOPS 33900 HAS SOUS 31025 HAS SOUPS 31025 WITH SCORE 31058.9
AT ITER 1290 NEW BEST:: SOT 69583 SOS 33848 HAS SOPS 33848 HAS SOUS 30973 HAS SOUPS 30973 WITH SCORE 31006.848
AT ITER 1301 NEW BEST:: SOT 69583 SOS 33736 HAS SOPS 33736 HAS SOUS 30963 HAS SOUPS 30963 WITH SCORE 30996.736
AT ITER 1308 NEW BEST:: SOT 69541 SOS 33796 HAS SOPS 33796 HAS SOUS 30941 HAS SOUPS 30941 WITH SCORE 30974.796
AT ITER 1316 NEW BEST:: SOT 69612 SOS 33793 HAS SOPS 33793 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30968.793
AT ITER 1332 NEW BEST:: SOT 69610 SOS 33748 HAS SOPS 33748 HAS SOUS 30911 HAS SOUPS 30911 WITH SCORE 30944.748
AT ITER 1341 NEW BEST:: SOT 69493 SOS 33652 HAS SOPS 33652 HAS SOUS 30834 HAS SOUPS 30834 WITH SCORE 30867.652
AT ITER 1342 NEW BEST:: SOT 69483 SOS 33620 HAS SOPS 33620 HAS SOUS 30812 HAS SOUPS 30812 WITH SCORE 30845.62
AT ITER 1352 NEW BEST:: SOT 69483 SOS 33620 HAS SOPS 33620 HAS SOUS 30782 HAS SOUPS 30782 WITH SCORE 30815.62
AT ITER 1354 NEW BEST:: SOT 69483 SOS 33604 HAS SOPS 33604 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30807.604
AT ITER 1364 NEW BEST:: SOT 69473 SOS 33574 HAS SOPS 33574 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30787.574
AT ITER 1374 NEW BEST:: SOT 69484 SOS 33542 HAS SOPS 33542 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30767.542
AT ITER 1382 NEW BEST:: SOT 69441 SOS 33513 HAS SOPS 33513 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30717.513
AT ITER 1383 NEW BEST:: SOT 69441 SOS 33543 HAS SOPS 33543 HAS SOUS 30654 HAS SOUPS 30654 WITH SCORE 30687.543
AT ITER 1385 NEW BEST:: SOT 69528 SOS 33513 HAS SOPS 33513 HAS SOUS 30623 HAS SOUPS 30623 WITH SCORE 30656.513
AT ITER 1393 NEW BEST:: SOT 69521 SOS 33482 HAS SOPS 33482 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30625.482
AT ITER 1394 NEW BEST:: SOT 69524 SOS 33485 HAS SOPS 33485 HAS SOUS 30589 HAS SOUPS 30589 WITH SCORE 30622.485
AT ITER 1407 NEW BEST:: SOT 69489 SOS 33424 HAS SOPS 33424 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30561.424
AT ITER 1417 NEW BEST:: SOT 69441 SOS 33293 HAS SOPS 33293 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30460.293
AT ITER 1419 NEW BEST:: SOT 69429 SOS 33263 HAS SOPS 33263 HAS SOUS 30403 HAS SOUPS 30403 WITH SCORE 30436.263
AT ITER 1429 NEW BEST:: SOT 69417 SOS 33239 HAS SOPS 33239 HAS SOUS 30379 HAS SOUPS 30379 WITH SCORE 30412.239
AT ITER 1445 NEW BEST:: SOT 69413 SOS 33235 HAS SOPS 33235 HAS SOUS 30375 HAS SOUPS 30375 WITH SCORE 30408.235
AT ITER 1449 NEW BEST:: SOT 69406 SOS 33226 HAS SOPS 33226 HAS SOUS 30367 HAS SOUPS 30367 WITH SCORE 30400.226
AT ITER 1452 NEW BEST:: SOT 69397 SOS 33199 HAS SOPS 33199 HAS SOUS 30349 HAS SOUPS 30349 WITH SCORE 30382.199
AT ITER 1460 NEW BEST:: SOT 69379 SOS 33101 HAS SOPS 33101 HAS SOUS 30313 HAS SOUPS 30313 WITH SCORE 30346.101
AT ITER 1462 NEW BEST:: SOT 69377 SOS 33086 HAS SOPS 33086 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30321.086
AT ITER 1481 NEW BEST:: SOT 69377 SOS 33080 HAS SOPS 33080 HAS SOUS 30282 HAS SOUPS 30282 WITH SCORE 30315.08
AT ITER 1489 NEW BEST:: SOT 69377 SOS 33080 HAS SOPS 33080 HAS SOUS 30279 HAS SOUPS 30279 WITH SCORE 30312.08
AT ITER 1492 NEW BEST:: SOT 69373 SOS 33062 HAS SOPS 33062 HAS SOUS 30266 HAS SOUPS 30266 WITH SCORE 30299.062
AT ITER 1495 NEW BEST:: SOT 69365 SOS 33054 HAS SOPS 33054 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30291.054
AT ITER 1500 NEW BEST:: SOT 69365 SOS 33034 HAS SOPS 33034 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30291.034
AT ITER 1505 NEW BEST:: SOT 69358 SOS 33027 HAS SOPS 33027 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30284.027
AT ITER 1515 NEW BEST:: SOT 69356 SOS 33025 HAS SOPS 33025 HAS SOUS 30249 HAS SOUPS 30249 WITH SCORE 30282.025
AT ITER 1520 NEW BEST:: SOT 69280 SOS 32861 HAS SOPS 32861 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30138.861
AT ITER 1521 NEW BEST:: SOT 69255 SOS 32696 HAS SOPS 32696 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30060.696
AT ITER 1550 NEW BEST:: SOT 69145 SOS 32627 HAS SOPS 32627 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29986.627
AT ITER 1555 NEW BEST:: SOT 69145 SOS 32619 HAS SOPS 32619 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29986.619
AT ITER 1567 NEW BEST:: SOT 69229 SOS 32490 HAS SOPS 32490 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29928.49
AT ITER 1571 NEW BEST:: SOT 69220 SOS 32409 HAS SOPS 32409 HAS SOUS 29857 HAS SOUPS 29857 WITH SCORE 29889.409
AT ITER 1576 NEW BEST:: SOT 69078 SOS 32281 HAS SOPS 32281 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29761.281
AT ITER 1579 NEW BEST:: SOT 69069 SOS 32272 HAS SOPS 32272 HAS SOUS 29720 HAS SOUPS 29720 WITH SCORE 29752.272
AT ITER 1586 NEW BEST:: SOT 69056 SOS 32207 HAS SOPS 32207 HAS SOUS 29697 HAS SOUPS 29697 WITH SCORE 29729.207
AT ITER 1587 NEW BEST:: SOT 68910 SOS 31988 HAS SOPS 31988 HAS SOUS 29551 HAS SOUPS 29551 WITH SCORE 29582.988
AT ITER 1593 NEW BEST:: SOT 68892 SOS 31962 HAS SOPS 31962 HAS SOUS 29525 HAS SOUPS 29525 WITH SCORE 29556.962
AT ITER 1601 NEW BEST:: SOT 68860 SOS 31863 HAS SOPS 31863 HAS SOUS 29458 HAS SOUPS 29458 WITH SCORE 29489.863
AT ITER 1605 NEW BEST:: SOT 68844 SOS 31793 HAS SOPS 31793 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29419.793
AT ITER 1614 NEW BEST:: SOT 68801 SOS 31579 HAS SOPS 31579 HAS SOUS 29296 HAS SOUPS 29296 WITH SCORE 29327.579
AT ITER 1615 NEW BEST:: SOT 68692 SOS 31470 HAS SOPS 31470 HAS SOUS 29187 HAS SOUPS 29187 WITH SCORE 29218.47
AT ITER 1617 NEW BEST:: SOT 68660 SOS 31438 HAS SOPS 31438 HAS SOUS 29170 HAS SOUPS 29170 WITH SCORE 29201.438
AT ITER 1654 NEW BEST:: SOT 68667 SOS 31415 HAS SOPS 31415 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29190.415
AT ITER 1656 NEW BEST:: SOT 68596 SOS 31222 HAS SOPS 31222 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.222
AT ITER 1673 NEW BEST:: SOT 68591 SOS 31201 HAS SOPS 31201 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29041.201
AT ITER 1692 NEW BEST:: SOT 68551 SOS 31161 HAS SOPS 31161 HAS SOUS 28970 HAS SOUPS 28970 WITH SCORE 29001.161
AT ITER 1699 NEW BEST:: SOT 68579 SOS 31079 HAS SOPS 31079 HAS SOUS 28933 HAS SOUPS 28933 WITH SCORE 28964.079
AT ITER 1704 NEW BEST:: SOT 68537 SOS 31037 HAS SOPS 31037 HAS SOUS 28838 HAS SOUPS 28838 WITH SCORE 28869.037
AT ITER 1734 NEW BEST:: SOT 68530 SOS 31013 HAS SOPS 31013 HAS SOUS 28814 HAS SOUPS 28814 WITH SCORE 28845.013
AT ITER 1739 NEW BEST:: SOT 68539 SOS 30998 HAS SOPS 30998 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28829.998
AT ITER 1749 NEW BEST:: SOT 68542 SOS 30880 HAS SOPS 30880 HAS SOUS 28704 HAS SOUPS 28704 WITH SCORE 28734.88
AT ITER 1756 NEW BEST:: SOT 68462 SOS 30842 HAS SOPS 30842 HAS SOUS 28666 HAS SOUPS 28666 WITH SCORE 28696.842
AT ITER 1760 NEW BEST:: SOT 68456 SOS 30833 HAS SOPS 30833 HAS SOUS 28657 HAS SOUPS 28657 WITH SCORE 28687.833
AT ITER 1761 NEW BEST:: SOT 68415 SOS 30793 HAS SOPS 30793 HAS SOUS 28617 HAS SOUPS 28617 WITH SCORE 28647.793
AT ITER 1775 NEW BEST:: SOT 68411 SOS 30785 HAS SOPS 30785 HAS SOUS 28609 HAS SOUPS 28609 WITH SCORE 28639.785
AT ITER 1781 NEW BEST:: SOT 68386 SOS 30779 HAS SOPS 30779 HAS SOUS 28578 HAS SOUPS 28578 WITH SCORE 28608.779
AT ITER 1784 NEW BEST:: SOT 68330 SOS 30683 HAS SOPS 30683 HAS SOUS 28482 HAS SOUPS 28482 WITH SCORE 28512.683
AT ITER 1785 NEW BEST:: SOT 68171 SOS 30455 HAS SOPS 30455 HAS SOUS 28254 HAS SOUPS 28254 WITH SCORE 28284.455
AT ITER 1789 NEW BEST:: SOT 68133 SOS 30417 HAS SOPS 30417 HAS SOUS 28216 HAS SOUPS 28216 WITH SCORE 28246.417
AT ITER 1790 NEW BEST:: SOT 68121 SOS 30398 HAS SOPS 30398 HAS SOUS 28215 HAS SOUPS 28215 WITH SCORE 28245.398
AT ITER 1804 NEW BEST:: SOT 68115 SOS 30392 HAS SOPS 30392 HAS SOUS 28209 HAS SOUPS 28209 WITH SCORE 28239.392
AT ITER 1815 NEW BEST:: SOT 68103 SOS 30380 HAS SOPS 30380 HAS SOUS 28197 HAS SOUPS 28197 WITH SCORE 28227.38
AT ITER 1819 NEW BEST:: SOT 68047 SOS 30309 HAS SOPS 30309 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28149.309
AT ITER 1820 NEW BEST:: SOT 68047 SOS 30353 HAS SOPS 30353 HAS SOUS 28069 HAS SOUPS 28069 WITH SCORE 28099.353
AT ITER 1822 NEW BEST:: SOT 68022 SOS 30298 HAS SOPS 30298 HAS SOUS 28019 HAS SOUPS 28019 WITH SCORE 28049.298
AT ITER 1825 NEW BEST:: SOT 68044 SOS 30287 HAS SOPS 30287 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28048.287
AT ITER 1835 NEW BEST:: SOT 68024 SOS 30265 HAS SOPS 30265 HAS SOUS 27977 HAS SOUPS 27977 WITH SCORE 28007.265
AT ITER 1841 NEW BEST:: SOT 67953 SOS 30188 HAS SOPS 30188 HAS SOUS 27891 HAS SOUPS 27891 WITH SCORE 27921.188
AT ITER 1848 NEW BEST:: SOT 67913 SOS 30134 HAS SOPS 30134 HAS SOUS 27837 HAS SOUPS 27837 WITH SCORE 27867.134
AT ITER 1859 NEW BEST:: SOT 67913 SOS 30131 HAS SOPS 30131 HAS SOUS 27837 HAS SOUPS 27837 WITH SCORE 27867.131
AT ITER 1864 NEW BEST:: SOT 67902 SOS 30108 HAS SOPS 30108 HAS SOUS 27814 HAS SOUPS 27814 WITH SCORE 27844.108
AT ITER 1870 NEW BEST:: SOT 67902 SOS 30102 HAS SOPS 30102 HAS SOUS 27814 HAS SOUPS 27814 WITH SCORE 27844.102
AT ITER 1872 NEW BEST:: SOT 67880 SOS 29962 HAS SOPS 29962 HAS SOUS 27811 HAS SOUPS 27811 WITH SCORE 27840.962
AT ITER 1873 NEW BEST:: SOT 67880 SOS 29931 HAS SOPS 29931 HAS SOUS 27787 HAS SOUPS 27787 WITH SCORE 27816.931
AT ITER 1885 NEW BEST:: SOT 67873 SOS 29903 HAS SOPS 29903 HAS SOUS 27777 HAS SOUPS 27777 WITH SCORE 27806.903
AT ITER 1907 NEW BEST:: SOT 67844 SOS 29899 HAS SOPS 29899 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27746.899
AT ITER 1909 NEW BEST:: SOT 67819 SOS 29820 HAS SOPS 29820 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27690.82
AT ITER 1924 NEW BEST:: SOT 67773 SOS 29782 HAS SOPS 29782 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27640.782
AT ITER 1948 NEW BEST:: SOT 67773 SOS 29764 HAS SOPS 29764 HAS SOUS 27593 HAS SOUPS 27593 WITH SCORE 27622.764
AT ITER 1951 NEW BEST:: SOT 67671 SOS 29570 HAS SOPS 29570 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27430.57
AT ITER 1967 NEW BEST:: SOT 67608 SOS 29474 HAS SOPS 29474 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27334.474
AT ITER 1977 NEW BEST:: SOT 67584 SOS 29432 HAS SOPS 29432 HAS SOUS 27257 HAS SOUPS 27257 WITH SCORE 27286.432
AT ITER 1982 NEW BEST:: SOT 67613 SOS 29461 HAS SOPS 29461 HAS SOUS 27217 HAS SOUPS 27217 WITH SCORE 27246.461
AT ITER 1992 NEW BEST:: SOT 67613 SOS 29407 HAS SOPS 29407 HAS SOUS 27205 HAS SOUPS 27205 WITH SCORE 27234.407
AT ITER 1997 NEW BEST:: SOT 67626 SOS 29403 HAS SOPS 29403 HAS SOUS 27201 HAS SOUPS 27201 WITH SCORE 27230.403
AT ITER 1999 NEW BEST:: SOT 67551 SOS 29474 HAS SOPS 29474 HAS SOUS 27182 HAS SOUPS 27182 WITH SCORE 27211.474
AT ITER 2008 NEW BEST:: SOT 67551 SOS 29409 HAS SOPS 29409 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27173.409
AT ITER 2023 NEW BEST:: SOT 67548 SOS 29406 HAS SOPS 29406 HAS SOUS 27141 HAS SOUPS 27141 WITH SCORE 27170.406
AT ITER 2031 NEW BEST:: SOT 67524 SOS 29347 HAS SOPS 29347 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27120.347
AT ITER 2039 NEW BEST:: SOT 67524 SOS 29312 HAS SOPS 29312 HAS SOUS 27056 HAS SOUPS 27056 WITH SCORE 27085.312
AT ITER 2042 NEW BEST:: SOT 67512 SOS 29300 HAS SOPS 29300 HAS SOUS 27044 HAS SOUPS 27044 WITH SCORE 27073.3
AT ITER 2049 NEW BEST:: SOT 67487 SOS 29261 HAS SOPS 29261 HAS SOUS 27005 HAS SOUPS 27005 WITH SCORE 27034.261
AT ITER 2062 NEW BEST:: SOT 67403 SOS 29161 HAS SOPS 29161 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26926.161
AT ITER 2067 NEW BEST:: SOT 67401 SOS 29159 HAS SOPS 29159 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26924.159
AT ITER 2068 NEW BEST:: SOT 67474 SOS 29128 HAS SOPS 29128 HAS SOUS 26855 HAS SOUPS 26855 WITH SCORE 26884.128
AT ITER 2069 NEW BEST:: SOT 67469 SOS 29111 HAS SOPS 29111 HAS SOUS 26843 HAS SOUPS 26843 WITH SCORE 26872.111
AT ITER 2084 NEW BEST:: SOT 67381 SOS 28972 HAS SOPS 28972 HAS SOUS 26690 HAS SOUPS 26690 WITH SCORE 26718.972
AT ITER 2102 NEW BEST:: SOT 67363 SOS 28954 HAS SOPS 28954 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26705.954
AT ITER 2108 NEW BEST:: SOT 67274 SOS 28760 HAS SOPS 28760 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26526.76
AT ITER 2142 NEW BEST:: SOT 67274 SOS 28750 HAS SOPS 28750 HAS SOUS 26488 HAS SOUPS 26488 WITH SCORE 26516.75
AT ITER 2152 NEW BEST:: SOT 67253 SOS 28729 HAS SOPS 28729 HAS SOUS 26467 HAS SOUPS 26467 WITH SCORE 26495.729
AT ITER 2160 NEW BEST:: SOT 67195 SOS 28671 HAS SOPS 28671 HAS SOUS 26389 HAS SOUPS 26389 WITH SCORE 26417.671
AT ITER 2163 NEW BEST:: SOT 67195 SOS 28622 HAS SOPS 28622 HAS SOUS 26389 HAS SOUPS 26389 WITH SCORE 26417.622
AT ITER 2164 NEW BEST:: SOT 67286 SOS 28553 HAS SOPS 28553 HAS SOUS 26345 HAS SOUPS 26345 WITH SCORE 26373.553
AT ITER 2189 NEW BEST:: SOT 67261 SOS 28464 HAS SOPS 28464 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26309.464
AT ITER 2239 NEW BEST:: SOT 67261 SOS 28428 HAS SOPS 28428 HAS SOUS 26263 HAS SOUPS 26263 WITH SCORE 26291.428
AT ITER 2247 NEW BEST:: SOT 67260 SOS 28426 HAS SOPS 28426 HAS SOUS 26260 HAS SOUPS 26260 WITH SCORE 26288.426
AT ITER 2250 NEW BEST:: SOT 67247 SOS 28413 HAS SOPS 28413 HAS SOUS 26234 HAS SOUPS 26234 WITH SCORE 26262.413
AT ITER 2295 NEW BEST:: SOT 67177 SOS 28339 HAS SOPS 28339 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.339
AT ITER 2321 NEW BEST:: SOT 67173 SOS 28332 HAS SOPS 28332 HAS SOUS 26150 HAS SOUPS 26150 WITH SCORE 26178.332
AT ITER 2322 NEW BEST:: SOT 67173 SOS 28296 HAS SOPS 28296 HAS SOUS 26150 HAS SOUPS 26150 WITH SCORE 26178.296
AT ITER 2338 NEW BEST:: SOT 67120 SOS 28243 HAS SOPS 28243 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26099.243
AT ITER 2350 NEW BEST:: SOT 67117 SOS 28240 HAS SOPS 28240 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26096.24
AT ITER 2362 NEW BEST:: SOT 67063 SOS 28186 HAS SOPS 28186 HAS SOUS 26014 HAS SOUPS 26014 WITH SCORE 26042.186
AT ITER 2365 NEW BEST:: SOT 67027 SOS 28137 HAS SOPS 28137 HAS SOUS 25978 HAS SOUPS 25978 WITH SCORE 26006.137
AT ITER 2366 NEW BEST:: SOT 67010 SOS 28113 HAS SOPS 28113 HAS SOUS 25964 HAS SOUPS 25964 WITH SCORE 25992.113
AT ITER 2400 NEW BEST:: SOT 67038 SOS 28067 HAS SOPS 28067 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25951.067
AT ITER 2430 NEW BEST:: SOT 66897 SOS 27756 HAS SOPS 27756 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25690.756
AT ITER 2451 NEW BEST:: SOT 66897 SOS 27736 HAS SOPS 27736 HAS SOUS 25643 HAS SOUPS 25643 WITH SCORE 25670.736
AT ITER 2468 NEW BEST:: SOT 66895 SOS 27726 HAS SOPS 27726 HAS SOUS 25633 HAS SOUPS 25633 WITH SCORE 25660.726
AT ITER 2472 NEW BEST:: SOT 66884 SOS 27652 HAS SOPS 27652 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25617.652
AT ITER 2478 NEW BEST:: SOT 66825 SOS 27586 HAS SOPS 27586 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25551.586
AT ITER 2488 NEW BEST:: SOT 66897 SOS 27601 HAS SOPS 27601 HAS SOUS 25494 HAS SOUPS 25494 WITH SCORE 25521.601
AT ITER 2492 NEW BEST:: SOT 66933 SOS 27638 HAS SOPS 27638 HAS SOUS 25489 HAS SOUPS 25489 WITH SCORE 25516.638
AT ITER 2501 NEW BEST:: SOT 66930 SOS 27632 HAS SOPS 27632 HAS SOUS 25483 HAS SOUPS 25483 WITH SCORE 25510.632
AT ITER 2505 NEW BEST:: SOT 66801 SOS 27544 HAS SOPS 27544 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25422.544
AT ITER 2506 NEW BEST:: SOT 66794 SOS 27512 HAS SOPS 27512 HAS SOUS 25348 HAS SOUPS 25348 WITH SCORE 25375.512
AT ITER 2516 NEW BEST:: SOT 66793 SOS 27510 HAS SOPS 27510 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25373.51
AT ITER 2539 NEW BEST:: SOT 66755 SOS 27472 HAS SOPS 27472 HAS SOUS 25293 HAS SOUPS 25293 WITH SCORE 25320.472
AT ITER 2540 NEW BEST:: SOT 66755 SOS 27472 HAS SOPS 27472 HAS SOUS 25286 HAS SOUPS 25286 WITH SCORE 25313.472
AT ITER 2545 NEW BEST:: SOT 66755 SOS 27453 HAS SOPS 27453 HAS SOUS 25267 HAS SOUPS 25267 WITH SCORE 25294.453
AT ITER 2555 NEW BEST:: SOT 66693 SOS 27355 HAS SOPS 27355 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25170.355
AT ITER 2558 NEW BEST:: SOT 66697 SOS 27359 HAS SOPS 27359 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25164.359
AT ITER 2566 NEW BEST:: SOT 66673 SOS 27324 HAS SOPS 27324 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25129.324
AT ITER 2577 NEW BEST:: SOT 66672 SOS 27328 HAS SOPS 27328 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25119.328
AT ITER 2592 NEW BEST:: SOT 66694 SOS 27270 HAS SOPS 27270 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25089.27
AT ITER 2595 NEW BEST:: SOT 66694 SOS 27235 HAS SOPS 27235 HAS SOUS 25027 HAS SOUPS 25027 WITH SCORE 25054.235
AT ITER 2601 NEW BEST:: SOT 66690 SOS 27231 HAS SOPS 27231 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25050.231
AT ITER 2606 NEW BEST:: SOT 66690 SOS 27227 HAS SOPS 27227 HAS SOUS 25021 HAS SOUPS 25021 WITH SCORE 25048.227
AT ITER 2607 NEW BEST:: SOT 66688 SOS 27244 HAS SOPS 27244 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25042.244
AT ITER 2611 NEW BEST:: SOT 66688 SOS 27235 HAS SOPS 27235 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25042.235
AT ITER 2624 NEW BEST:: SOT 66625 SOS 27060 HAS SOPS 27060 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24867.06
AT ITER 2633 NEW BEST:: SOT 66575 SOS 27022 HAS SOPS 27022 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24829.022
AT ITER 2636 NEW BEST:: SOT 66573 SOS 27033 HAS SOPS 27033 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24828.033
AT ITER 2637 NEW BEST:: SOT 66507 SOS 26945 HAS SOPS 26945 HAS SOUS 24713 HAS SOUPS 24713 WITH SCORE 24739.945
AT ITER 2650 NEW BEST:: SOT 66470 SOS 26895 HAS SOPS 26895 HAS SOUS 24648 HAS SOUPS 24648 WITH SCORE 24674.895
AT ITER 2651 NEW BEST:: SOT 66585 SOS 27009 HAS SOPS 27009 HAS SOUS 24612 HAS SOUPS 24612 WITH SCORE 24639.009
AT ITER 2652 NEW BEST:: SOT 66567 SOS 26986 HAS SOPS 26986 HAS SOUS 24590 HAS SOUPS 24590 WITH SCORE 24616.986
AT ITER 2664 NEW BEST:: SOT 66555 SOS 26950 HAS SOPS 26950 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24580.95
AT ITER 2669 NEW BEST:: SOT 66520 SOS 26915 HAS SOPS 26915 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24567.915
AT ITER 2673 NEW BEST:: SOT 66519 SOS 26914 HAS SOPS 26914 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24566.914
AT ITER 2715 NEW BEST:: SOT 66509 SOS 26904 HAS SOPS 26904 HAS SOUS 24530 HAS SOUPS 24530 WITH SCORE 24556.904
AT ITER 2727 NEW BEST:: SOT 66509 SOS 26904 HAS SOPS 26904 HAS SOUS 24513 HAS SOUPS 24513 WITH SCORE 24539.904
AT ITER 2729 NEW BEST:: SOT 66493 SOS 26896 HAS SOPS 26896 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24507.896
AT ITER 2745 NEW BEST:: SOT 66370 SOS 26732 HAS SOPS 26732 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24384.732
AT ITER 2748 NEW BEST:: SOT 66358 SOS 26702 HAS SOPS 26702 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24376.702
AT ITER 2749 NEW BEST:: SOT 66352 SOS 26678 HAS SOPS 26678 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24358.678
AT ITER 2767 NEW BEST:: SOT 66352 SOS 26692 HAS SOPS 26692 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24336.692
AT ITER 2773 NEW BEST:: SOT 66352 SOS 26608 HAS SOPS 26608 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24336.608
AT ITER 2801 NEW BEST:: SOT 66316 SOS 26572 HAS SOPS 26572 HAS SOUS 24274 HAS SOUPS 24274 WITH SCORE 24300.572
AT ITER 2822 NEW BEST:: SOT 66300 SOS 26547 HAS SOPS 26547 HAS SOUS 24249 HAS SOUPS 24249 WITH SCORE 24275.547
AT ITER 2896 NEW BEST:: SOT 66300 SOS 26541 HAS SOPS 26541 HAS SOUS 24249 HAS SOUPS 24249 WITH SCORE 24275.541
AT ITER 2911 NEW BEST:: SOT 66280 SOS 26504 HAS SOPS 26504 HAS SOUS 24212 HAS SOUPS 24212 WITH SCORE 24238.504
AT ITER 2920 NEW BEST:: SOT 66280 SOS 26449 HAS SOPS 26449 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24219.449
AT ITER 2938 NEW BEST:: SOT 66250 SOS 26442 HAS SOPS 26442 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24197.442
AT ITER 2956 NEW BEST:: SOT 66234 SOS 26455 HAS SOPS 26455 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24173.455
AT ITER 2990 NEW BEST:: SOT 66074 SOS 26307 HAS SOPS 26307 HAS SOUS 24099 HAS SOUPS 24099 WITH SCORE 24125.307
AT ITER 2992 NEW BEST:: SOT 66074 SOS 26299 HAS SOPS 26299 HAS SOUS 24091 HAS SOUPS 24091 WITH SCORE 24117.299
AT ITER 3002 NEW BEST:: SOT 66042 SOS 26267 HAS SOPS 26267 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24085.267
AT ITER 3040 NEW BEST:: SOT 66011 SOS 26202 HAS SOPS 26202 HAS SOUS 23982 HAS SOUPS 23982 WITH SCORE 24008.202
AT ITER 3043 NEW BEST:: SOT 65975 SOS 26148 HAS SOPS 26148 HAS SOUS 23946 HAS SOUPS 23946 WITH SCORE 23972.148
AT ITER 3066 NEW BEST:: SOT 65949 SOS 26120 HAS SOPS 26120 HAS SOUS 23917 HAS SOUPS 23917 WITH SCORE 23943.12
AT ITER 3087 NEW BEST:: SOT 65949 SOS 25948 HAS SOPS 25948 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 23851.948
AT ITER 3108 NEW BEST:: SOT 65934 SOS 25933 HAS SOPS 25933 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23836.933
AT ITER 3111 NEW BEST:: SOT 65927 SOS 25915 HAS SOPS 25915 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23822.915
AT ITER 3124 NEW BEST:: SOT 65943 SOS 25912 HAS SOPS 25912 HAS SOUS 23796 HAS SOUPS 23796 WITH SCORE 23821.912
AT ITER 3131 NEW BEST:: SOT 65929 SOS 25898 HAS SOPS 25898 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23807.898
AT ITER 3138 NEW BEST:: SOT 65919 SOS 25878 HAS SOPS 25878 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23787.878
AT ITER 3140 NEW BEST:: SOT 65891 SOS 25822 HAS SOPS 25822 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23731.822
AT ITER 3142 NEW BEST:: SOT 65877 SOS 25808 HAS SOPS 25808 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23717.808
AT ITER 3149 NEW BEST:: SOT 65872 SOS 25802 HAS SOPS 25802 HAS SOUS 23686 HAS SOUPS 23686 WITH SCORE 23711.802
AT ITER 3169 NEW BEST:: SOT 65872 SOS 25796 HAS SOPS 25796 HAS SOUS 23680 HAS SOUPS 23680 WITH SCORE 23705.796
AT ITER 3182 NEW BEST:: SOT 65845 SOS 25719 HAS SOPS 25719 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23641.719
AT ITER 3197 NEW BEST:: SOT 65845 SOS 25717 HAS SOPS 25717 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23641.717
AT ITER 3212 NEW BEST:: SOT 65832 SOS 25711 HAS SOPS 25711 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23635.711
AT ITER 3227 NEW BEST:: SOT 65832 SOS 25877 HAS SOPS 25877 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23593.877
AT ITER 3231 NEW BEST:: SOT 65812 SOS 25851 HAS SOPS 25851 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23563.851
AT ITER 3255 NEW BEST:: SOT 65812 SOS 25843 HAS SOPS 25843 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23555.843
AT ITER 3275 NEW BEST:: SOT 65806 SOS 25831 HAS SOPS 25831 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23543.831
AT ITER 3314 NEW BEST:: SOT 65787 SOS 25812 HAS SOPS 25812 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23526.812
AT ITER 3353 NEW BEST:: SOT 65787 SOS 25807 HAS SOPS 25807 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23526.807
AT ITER 3377 NEW BEST:: SOT 65787 SOS 25807 HAS SOPS 25807 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23509.807
AT ITER 3381 NEW BEST:: SOT 65786 SOS 25802 HAS SOPS 25802 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23509.802
AT ITER 3390 NEW BEST:: SOT 65782 SOS 25786 HAS SOPS 25786 HAS SOUS 23473 HAS SOUPS 23473 WITH SCORE 23498.786
AT ITER 3397 NEW BEST:: SOT 65786 SOS 25782 HAS SOPS 25782 HAS SOUS 23470 HAS SOUPS 23470 WITH SCORE 23495.782
AT ITER 3405 NEW BEST:: SOT 65786 SOS 25744 HAS SOPS 25744 HAS SOUS 23451 HAS SOUPS 23451 WITH SCORE 23476.744
AT ITER 3413 NEW BEST:: SOT 65755 SOS 25725 HAS SOPS 25725 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23457.725
AT ITER 3421 NEW BEST:: SOT 65714 SOS 25688 HAS SOPS 25688 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23420.688
AT ITER 3423 NEW BEST:: SOT 65713 SOS 25670 HAS SOPS 25670 HAS SOUS 23384 HAS SOUPS 23384 WITH SCORE 23409.67
AT ITER 3435 NEW BEST:: SOT 65694 SOS 25635 HAS SOPS 25635 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23366.635
AT ITER 3438 NEW BEST:: SOT 65686 SOS 25619 HAS SOPS 25619 HAS SOUS 23325 HAS SOUPS 23325 WITH SCORE 23350.619
AT ITER 3445 NEW BEST:: SOT 65686 SOS 25619 HAS SOPS 25619 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23345.619
AT ITER 3462 NEW BEST:: SOT 65616 SOS 25469 HAS SOPS 25469 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23230.469
AT ITER 3487 NEW BEST:: SOT 65587 SOS 25431 HAS SOPS 25431 HAS SOUS 23147 HAS SOUPS 23147 WITH SCORE 23172.431
AT ITER 3492 NEW BEST:: SOT 65558 SOS 25364 HAS SOPS 25364 HAS SOUS 23070 HAS SOUPS 23070 WITH SCORE 23095.364
AT ITER 3496 NEW BEST:: SOT 65513 SOS 25342 HAS SOPS 25342 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23062.342
AT ITER 3499 NEW BEST:: SOT 65486 SOS 25304 HAS SOPS 25304 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23024.304
AT ITER 3514 NEW BEST:: SOT 65486 SOS 25302 HAS SOPS 25302 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23009.302
AT ITER 3573 NEW BEST:: SOT 65472 SOS 25288 HAS SOPS 25288 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 22984.288
AT ITER 3601 NEW BEST:: SOT 65465 SOS 25248 HAS SOPS 25248 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22939.248
AT ITER 3632 NEW BEST:: SOT 65465 SOS 25217 HAS SOPS 25217 HAS SOUS 22891 HAS SOUPS 22891 WITH SCORE 22916.217
AT ITER 3634 NEW BEST:: SOT 65465 SOS 25210 HAS SOPS 25210 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22909.21
AT ITER 3640 NEW BEST:: SOT 65300 SOS 25133 HAS SOPS 25133 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22843.133
AT ITER 3646 NEW BEST:: SOT 65300 SOS 25043 HAS SOPS 25043 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22800.043
AT ITER 3669 NEW BEST:: SOT 65300 SOS 25021 HAS SOPS 25021 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22794.021
AT ITER 3682 NEW BEST:: SOT 65300 SOS 25014 HAS SOPS 25014 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22794.014
AT ITER 3694 NEW BEST:: SOT 65306 SOS 25000 HAS SOPS 25000 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22784.0
AT ITER 3704 NEW BEST:: SOT 65313 SOS 25007 HAS SOPS 25007 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22779.007
AT ITER 3722 NEW BEST:: SOT 65282 SOS 25000 HAS SOPS 25000 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22772.0
AT ITER 3729 NEW BEST:: SOT 65268 SOS 24972 HAS SOPS 24972 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22736.972
AT ITER 3735 NEW BEST:: SOT 65228 SOS 24908 HAS SOPS 24908 HAS SOUS 22662 HAS SOUPS 22662 WITH SCORE 22686.908
AT ITER 3742 NEW BEST:: SOT 65228 SOS 24894 HAS SOPS 24894 HAS SOUS 22661 HAS SOUPS 22661 WITH SCORE 22685.894
AT ITER 3771 NEW BEST:: SOT 65205 SOS 24870 HAS SOPS 24870 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22676.87
AT ITER 3776 NEW BEST:: SOT 65139 SOS 24793 HAS SOPS 24793 HAS SOUS 22575 HAS SOUPS 22575 WITH SCORE 22599.793
AT ITER 3810 NEW BEST:: SOT 65136 SOS 24790 HAS SOPS 24790 HAS SOUS 22572 HAS SOUPS 22572 WITH SCORE 22596.79
AT ITER 3817 NEW BEST:: SOT 65131 SOS 24775 HAS SOPS 24775 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22586.775
AT ITER 3840 NEW BEST:: SOT 64944 SOS 24548 HAS SOPS 24548 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22359.548
AT ITER 3850 NEW BEST:: SOT 64945 SOS 24551 HAS SOPS 24551 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22358.551
AT ITER 3862 NEW BEST:: SOT 64945 SOS 24543 HAS SOPS 24543 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22350.543
AT ITER 3877 NEW BEST:: SOT 64921 SOS 24542 HAS SOPS 24542 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22349.542
AT ITER 3909 NEW BEST:: SOT 64905 SOS 24521 HAS SOPS 24521 HAS SOUS 22304 HAS SOUPS 22304 WITH SCORE 22328.521
AT ITER 3962 NEW BEST:: SOT 64867 SOS 24538 HAS SOPS 24538 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22303.538
AT ITER 3977 NEW BEST:: SOT 64752 SOS 24377 HAS SOPS 24377 HAS SOUS 22164 HAS SOUPS 22164 WITH SCORE 22188.377
AT ITER 3979 NEW BEST:: SOT 64771 SOS 24362 HAS SOPS 24362 HAS SOUS 22153 HAS SOUPS 22153 WITH SCORE 22177.362
AT ITER 3980 NEW BEST:: SOT 64753 SOS 24278 HAS SOPS 24278 HAS SOUS 22069 HAS SOUPS 22069 WITH SCORE 22093.278
AT ITER 3981 NEW BEST:: SOT 64763 SOS 24277 HAS SOPS 24277 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22092.277
AT ITER 3988 NEW BEST:: SOT 64754 SOS 24268 HAS SOPS 24268 HAS SOUS 22059 HAS SOUPS 22059 WITH SCORE 22083.268
AT ITER 4007 NEW BEST:: SOT 64742 SOS 24252 HAS SOPS 24252 HAS SOUS 22047 HAS SOUPS 22047 WITH SCORE 22071.252
AT ITER 4046 NEW BEST:: SOT 64694 SOS 24180 HAS SOPS 24180 HAS SOUS 21987 HAS SOUPS 21987 WITH SCORE 22011.18
AT ITER 4079 NEW BEST:: SOT 64608 SOS 24093 HAS SOPS 24093 HAS SOUS 21935 HAS SOUPS 21935 WITH SCORE 21959.093
AT ITER 4092 NEW BEST:: SOT 64558 SOS 23931 HAS SOPS 23931 HAS SOUS 21850 HAS SOUPS 21850 WITH SCORE 21873.931
AT ITER 4099 NEW BEST:: SOT 64558 SOS 23862 HAS SOPS 23862 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21828.862
AT ITER 4102 NEW BEST:: SOT 64518 SOS 23713 HAS SOPS 23713 HAS SOUS 21656 HAS SOUPS 21656 WITH SCORE 21679.713
AT ITER 4129 NEW BEST:: SOT 64518 SOS 23706 HAS SOPS 23706 HAS SOUS 21649 HAS SOUPS 21649 WITH SCORE 21672.706
AT ITER 4139 NEW BEST:: SOT 64522 SOS 23689 HAS SOPS 23689 HAS SOUS 21646 HAS SOUPS 21646 WITH SCORE 21669.689
AT ITER 4148 NEW BEST:: SOT 64521 SOS 23685 HAS SOPS 23685 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21666.685
AT ITER 4171 NEW BEST:: SOT 64513 SOS 23653 HAS SOPS 23653 HAS SOUS 21627 HAS SOUPS 21627 WITH SCORE 21650.653
AT ITER 4176 NEW BEST:: SOT 64518 SOS 23645 HAS SOPS 23645 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21648.645
AT ITER 4178 NEW BEST:: SOT 64512 SOS 23633 HAS SOPS 23633 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21637.633
AT ITER 4182 NEW BEST:: SOT 64489 SOS 23586 HAS SOPS 23586 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21590.586
AT ITER 4197 NEW BEST:: SOT 64472 SOS 23567 HAS SOPS 23567 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21588.567
AT ITER 4200 NEW BEST:: SOT 64470 SOS 23561 HAS SOPS 23561 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21584.561
AT ITER 4209 NEW BEST:: SOT 64458 SOS 23561 HAS SOPS 23561 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21574.561
AT ITER 4211 NEW BEST:: SOT 64458 SOS 23520 HAS SOPS 23520 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21564.52
AT ITER 4223 NEW BEST:: SOT 64434 SOS 23516 HAS SOPS 23516 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21560.516
AT ITER 4235 NEW BEST:: SOT 64424 SOS 23466 HAS SOPS 23466 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21518.466
AT ITER 4246 NEW BEST:: SOT 64411 SOS 23456 HAS SOPS 23456 HAS SOUS 21485 HAS SOUPS 21485 WITH SCORE 21508.456
AT ITER 4257 NEW BEST:: SOT 64430 SOS 23436 HAS SOPS 23436 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21482.436
AT ITER 4270 NEW BEST:: SOT 64419 SOS 23403 HAS SOPS 23403 HAS SOUS 21426 HAS SOUPS 21426 WITH SCORE 21449.403
AT ITER 4384 NEW BEST:: SOT 64378 SOS 23362 HAS SOPS 23362 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21408.362
AT ITER 4443 NEW BEST:: SOT 64361 SOS 23345 HAS SOPS 23345 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21391.345
AT ITER 4495 NEW BEST:: SOT 64327 SOS 23320 HAS SOPS 23320 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21344.32
AT ITER 4504 NEW BEST:: SOT 64327 SOS 23312 HAS SOPS 23312 HAS SOUS 21313 HAS SOUPS 21313 WITH SCORE 21336.312
AT ITER 4509 NEW BEST:: SOT 64293 SOS 23298 HAS SOPS 23298 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21322.298
AT ITER 4524 NEW BEST:: SOT 64290 SOS 23283 HAS SOPS 23283 HAS SOUS 21292 HAS SOUPS 21292 WITH SCORE 21315.283
AT ITER 4531 NEW BEST:: SOT 64290 SOS 23232 HAS SOPS 23232 HAS SOUS 21290 HAS SOUPS 21290 WITH SCORE 21313.232
AT ITER 4554 NEW BEST:: SOT 64290 SOS 23220 HAS SOPS 23220 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21305.22
AT ITER 4561 NEW BEST:: SOT 64274 SOS 23204 HAS SOPS 23204 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21289.204
AT ITER 4598 NEW BEST:: SOT 64273 SOS 23203 HAS SOPS 23203 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21288.203
AT ITER 4611 NEW BEST:: SOT 64269 SOS 23199 HAS SOPS 23199 HAS SOUS 21263 HAS SOUPS 21263 WITH SCORE 21286.199
AT ITER 4617 NEW BEST:: SOT 64249 SOS 23157 HAS SOPS 23157 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21244.157
AT ITER 4622 NEW BEST:: SOT 64249 SOS 23149 HAS SOPS 23149 HAS SOUS 21217 HAS SOUPS 21217 WITH SCORE 21240.149
AT ITER 4640 NEW BEST:: SOT 64233 SOS 23133 HAS SOPS 23133 HAS SOUS 21201 HAS SOUPS 21201 WITH SCORE 21224.133
AT ITER 4687 NEW BEST:: SOT 64233 SOS 23124 HAS SOPS 23124 HAS SOUS 21192 HAS SOUPS 21192 WITH SCORE 21215.124
AT ITER 4736 NEW BEST:: SOT 64213 SOS 23075 HAS SOPS 23075 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21166.075
AT ITER 4751 NEW BEST:: SOT 64213 SOS 23071 HAS SOPS 23071 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21166.071
AT ITER 4752 NEW BEST:: SOT 64191 SOS 23041 HAS SOPS 23041 HAS SOUS 21113 HAS SOUPS 21113 WITH SCORE 21136.041
AT ITER 4753 NEW BEST:: SOT 64191 SOS 23037 HAS SOPS 23037 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21127.037
AT ITER 4754 NEW BEST:: SOT 64196 SOS 23038 HAS SOPS 23038 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21114.038
AT ITER 4760 NEW BEST:: SOT 64201 SOS 22975 HAS SOPS 22975 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21050.975
AT ITER 4765 NEW BEST:: SOT 64237 SOS 22930 HAS SOPS 22930 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21005.93
AT ITER 4789 NEW BEST:: SOT 64236 SOS 22928 HAS SOPS 22928 HAS SOUS 20982 HAS SOUPS 20982 WITH SCORE 21004.928
AT ITER 4816 NEW BEST:: SOT 64235 SOS 22927 HAS SOPS 22927 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21003.927
AT ITER 4827 NEW BEST:: SOT 64219 SOS 22893 HAS SOPS 22893 HAS SOUS 20965 HAS SOUPS 20965 WITH SCORE 20987.893
AT ITER 4873 NEW BEST:: SOT 64204 SOS 22881 HAS SOPS 22881 HAS SOUS 20953 HAS SOUPS 20953 WITH SCORE 20975.881
AT ITER 4875 NEW BEST:: SOT 64195 SOS 22872 HAS SOPS 22872 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20966.872
AT ITER 4888 NEW BEST:: SOT 64182 SOS 22859 HAS SOPS 22859 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20953.859
AT ITER 4899 NEW BEST:: SOT 64182 SOS 22853 HAS SOPS 22853 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20953.853
AT ITER 4900 NEW BEST:: SOT 64178 SOS 22845 HAS SOPS 22845 HAS SOUS 20919 HAS SOUPS 20919 WITH SCORE 20941.845
AT ITER 4910 NEW BEST:: SOT 64178 SOS 22836 HAS SOPS 22836 HAS SOUS 20910 HAS SOUPS 20910 WITH SCORE 20932.836
AT ITER 4916 NEW BEST:: SOT 64166 SOS 22820 HAS SOPS 22820 HAS SOUS 20894 HAS SOUPS 20894 WITH SCORE 20916.82
AT ITER 4947 NEW BEST:: SOT 64169 SOS 22810 HAS SOPS 22810 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20906.81
AT ITER 4961 NEW BEST:: SOT 64169 SOS 22796 HAS SOPS 22796 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20892.796
AT ITER 4970 NEW BEST:: SOT 64163 SOS 22772 HAS SOPS 22772 HAS SOUS 20858 HAS SOUPS 20858 WITH SCORE 20880.772
AT ITER 5007 NEW BEST:: SOT 64125 SOS 22677 HAS SOPS 22677 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20812.677
AT ITER 5021 NEW BEST:: SOT 64123 SOS 22675 HAS SOPS 22675 HAS SOUS 20788 HAS SOUPS 20788 WITH SCORE 20810.675
AT ITER 5047 NEW BEST:: SOT 64030 SOS 22552 HAS SOPS 22552 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20687.552
AT ITER 5072 NEW BEST:: SOT 64017 SOS 22532 HAS SOPS 22532 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20665.532
AT ITER 5080 NEW BEST:: SOT 64017 SOS 22531 HAS SOPS 22531 HAS SOUS 20642 HAS SOUPS 20642 WITH SCORE 20664.531
AT ITER 5081 NEW BEST:: SOT 64005 SOS 22570 HAS SOPS 22570 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20662.57
AT ITER 5082 NEW BEST:: SOT 63993 SOS 22552 HAS SOPS 22552 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20644.552
AT ITER 5098 NEW BEST:: SOT 63982 SOS 22564 HAS SOPS 22564 HAS SOUS 20616 HAS SOUPS 20616 WITH SCORE 20638.564
AT ITER 5138 NEW BEST:: SOT 63975 SOS 22515 HAS SOPS 22515 HAS SOUS 20558 HAS SOUPS 20558 WITH SCORE 20580.515
AT ITER 5169 NEW BEST:: SOT 63975 SOS 22520 HAS SOPS 22520 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20577.52
AT ITER 5186 NEW BEST:: SOT 63975 SOS 22514 HAS SOPS 22514 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20577.514
AT ITER 5222 NEW BEST:: SOT 63942 SOS 22481 HAS SOPS 22481 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20544.481
AT ITER 5225 NEW BEST:: SOT 63942 SOS 22427 HAS SOPS 22427 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20513.427
AT ITER 5227 NEW BEST:: SOT 63942 SOS 22421 HAS SOPS 22421 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20513.421
AT ITER 5291 NEW BEST:: SOT 63942 SOS 22414 HAS SOPS 22414 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20513.414
AT ITER 5300 NEW BEST:: SOT 63942 SOS 22406 HAS SOPS 22406 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20509.406
AT ITER 5302 NEW BEST:: SOT 63942 SOS 22384 HAS SOPS 22384 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20498.384
AT ITER 5355 NEW BEST:: SOT 63947 SOS 22365 HAS SOPS 22365 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20488.365
AT ITER 5356 NEW BEST:: SOT 63941 SOS 22335 HAS SOPS 22335 HAS SOUS 20436 HAS SOUPS 20436 WITH SCORE 20458.335
AT ITER 5414 NEW BEST:: SOT 63942 SOS 22336 HAS SOPS 22336 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20445.336
AT ITER 5417 NEW BEST:: SOT 63931 SOS 22316 HAS SOPS 22316 HAS SOUS 20405 HAS SOUPS 20405 WITH SCORE 20427.316
AT ITER 5423 NEW BEST:: SOT 63877 SOS 22266 HAS SOPS 22266 HAS SOUS 20360 HAS SOUPS 20360 WITH SCORE 20382.266
AT ITER 5440 NEW BEST:: SOT 63866 SOS 22255 HAS SOPS 22255 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20360.255
AT ITER 5450 NEW BEST:: SOT 63853 SOS 22255 HAS SOPS 22255 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20347.255
AT ITER 5453 NEW BEST:: SOT 63824 SOS 22178 HAS SOPS 22178 HAS SOUS 20240 HAS SOUPS 20240 WITH SCORE 20262.178
AT ITER 5454 NEW BEST:: SOT 63817 SOS 22167 HAS SOPS 22167 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20252.167
AT ITER 5461 NEW BEST:: SOT 63817 SOS 22163 HAS SOPS 22163 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20252.163
AT ITER 5482 NEW BEST:: SOT 63816 SOS 22161 HAS SOPS 22161 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20250.161
AT ITER 5538 NEW BEST:: SOT 63813 SOS 22158 HAS SOPS 22158 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20247.158
AT ITER 5593 NEW BEST:: SOT 63793 SOS 22114 HAS SOPS 22114 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20203.114
AT ITER 5638 NEW BEST:: SOT 63786 SOS 22109 HAS SOPS 22109 HAS SOUS 20169 HAS SOUPS 20169 WITH SCORE 20191.109
AT ITER 5655 NEW BEST:: SOT 63780 SOS 22101 HAS SOPS 22101 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20186.101
AT ITER 5657 NEW BEST:: SOT 63785 SOS 22095 HAS SOPS 22095 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20180.095
AT ITER 5660 NEW BEST:: SOT 63783 SOS 22091 HAS SOPS 22091 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20176.091
AT ITER 5704 NEW BEST:: SOT 63777 SOS 22061 HAS SOPS 22061 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20149.061
AT ITER 5708 NEW BEST:: SOT 63773 SOS 22057 HAS SOPS 22057 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20145.057
AT ITER 5718 NEW BEST:: SOT 63773 SOS 22063 HAS SOPS 22063 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20135.063
AT ITER 5720 NEW BEST:: SOT 63773 SOS 22061 HAS SOPS 22061 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20133.061
AT ITER 5761 NEW BEST:: SOT 63756 SOS 22044 HAS SOPS 22044 HAS SOUS 20094 HAS SOUPS 20094 WITH SCORE 20116.044
AT ITER 5774 NEW BEST:: SOT 63736 SOS 22024 HAS SOPS 22024 HAS SOUS 20074 HAS SOUPS 20074 WITH SCORE 20096.024
AT ITER 5807 NEW BEST:: SOT 63740 SOS 22030 HAS SOPS 22030 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20090.03
AT ITER 5874 NEW BEST:: SOT 63729 SOS 21980 HAS SOPS 21980 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20057.98
AT ITER 5887 NEW BEST:: SOT 63729 SOS 21974 HAS SOPS 21974 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20051.974
AT ITER 5938 NEW BEST:: SOT 63768 SOS 21970 HAS SOPS 21970 HAS SOUS 20029 HAS SOUPS 20029 WITH SCORE 20050.97
AT ITER 5941 NEW BEST:: SOT 63738 SOS 21940 HAS SOPS 21940 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20020.94
AT ITER 5969 NEW BEST:: SOT 63738 SOS 21932 HAS SOPS 21932 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20020.932
AT ITER 5990 NEW BEST:: SOT 63734 SOS 21928 HAS SOPS 21928 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20016.928
AT ITER 6008 NEW BEST:: SOT 63730 SOS 21920 HAS SOPS 21920 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20008.92
AT ITER 6075 NEW BEST:: SOT 63732 SOS 21910 HAS SOPS 21910 HAS SOUS 19979 HAS SOUPS 19979 WITH SCORE 20000.91
AT ITER 6084 NEW BEST:: SOT 63728 SOS 21906 HAS SOPS 21906 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 19996.906
AT ITER 6124 NEW BEST:: SOT 63685 SOS 21863 HAS SOPS 21863 HAS SOUS 19955 HAS SOUPS 19955 WITH SCORE 19976.863
AT ITER 6164 NEW BEST:: SOT 63680 SOS 21827 HAS SOPS 21827 HAS SOUS 19919 HAS SOUPS 19919 WITH SCORE 19940.827
AT ITER 6170 NEW BEST:: SOT 63680 SOS 21827 HAS SOPS 21827 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19907.827
AT ITER 6176 NEW BEST:: SOT 63679 SOS 21757 HAS SOPS 21757 HAS SOUS 19862 HAS SOUPS 19862 WITH SCORE 19883.757
AT ITER 6186 NEW BEST:: SOT 63669 SOS 21747 HAS SOPS 21747 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19873.747
AT ITER 6189 NEW BEST:: SOT 63686 SOS 21764 HAS SOPS 21764 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19865.764
AT ITER 6208 NEW BEST:: SOT 63685 SOS 21762 HAS SOPS 21762 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19863.762
AT ITER 6213 NEW BEST:: SOT 63685 SOS 21762 HAS SOPS 21762 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19858.762
AT ITER 6214 NEW BEST:: SOT 63679 SOS 21756 HAS SOPS 21756 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19852.756
AT ITER 6226 NEW BEST:: SOT 63673 SOS 21750 HAS SOPS 21750 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19846.75
AT ITER 6272 NEW BEST:: SOT 63667 SOS 21734 HAS SOPS 21734 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19830.734
AT ITER 6372 NEW BEST:: SOT 63673 SOS 21733 HAS SOPS 21733 HAS SOUS 19808 HAS SOUPS 19808 WITH SCORE 19829.733
AT ITER 6377 NEW BEST:: SOT 63665 SOS 21717 HAS SOPS 21717 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19805.717
AT ITER 6392 NEW BEST:: SOT 63651 SOS 21717 HAS SOPS 21717 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19801.717
AT ITER 6394 NEW BEST:: SOT 63635 SOS 21685 HAS SOPS 21685 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19785.685
AT ITER 6395 NEW BEST:: SOT 63632 SOS 21668 HAS SOPS 21668 HAS SOUS 19754 HAS SOUPS 19754 WITH SCORE 19775.668
AT ITER 6450 NEW BEST:: SOT 63621 SOS 21654 HAS SOPS 21654 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19761.654
AT ITER 6476 NEW BEST:: SOT 63616 SOS 21649 HAS SOPS 21649 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19756.649
AT ITER 6485 NEW BEST:: SOT 63616 SOS 21656 HAS SOPS 21656 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19744.656
AT ITER 6517 NEW BEST:: SOT 63616 SOS 21656 HAS SOPS 21656 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19740.656
AT ITER 6565 NEW BEST:: SOT 63616 SOS 21656 HAS SOPS 21656 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19724.656
AT ITER 6583 NEW BEST:: SOT 63623 SOS 21635 HAS SOPS 21635 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19716.635
AT ITER 6599 NEW BEST:: SOT 63624 SOS 21636 HAS SOPS 21636 HAS SOUS 19694 HAS SOUPS 19694 WITH SCORE 19715.636
AT ITER 6600 NEW BEST:: SOT 63626 SOS 21630 HAS SOPS 21630 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19709.63
AT ITER 6601 NEW BEST:: SOT 63615 SOS 21611 HAS SOPS 21611 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19683.611
AT ITER 6648 NEW BEST:: SOT 63611 SOS 21607 HAS SOPS 21607 HAS SOUS 19658 HAS SOUPS 19658 WITH SCORE 19679.607
AT ITER 6671 NEW BEST:: SOT 63584 SOS 21553 HAS SOPS 21553 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19625.553
AT ITER 6798 NEW BEST:: SOT 63576 SOS 21565 HAS SOPS 21565 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19617.565
AT ITER 6860 NEW BEST:: SOT 63576 SOS 21540 HAS SOPS 21540 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19592.54
AT ITER 6868 NEW BEST:: SOT 63556 SOS 21518 HAS SOPS 21518 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19570.518
AT ITER 6887 NEW BEST:: SOT 63551 SOS 21513 HAS SOPS 21513 HAS SOUS 19544 HAS SOUPS 19544 WITH SCORE 19565.513
AT ITER 6892 NEW BEST:: SOT 63551 SOS 21513 HAS SOPS 21513 HAS SOUS 19521 HAS SOUPS 19521 WITH SCORE 19542.513
AT ITER 6913 NEW BEST:: SOT 63551 SOS 21474 HAS SOPS 21474 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19533.474
AT ITER 6916 NEW BEST:: SOT 63543 SOS 21460 HAS SOPS 21460 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19521.46
AT ITER 6927 NEW BEST:: SOT 63543 SOS 21426 HAS SOPS 21426 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19504.426
AT ITER 6980 NEW BEST:: SOT 63538 SOS 21421 HAS SOPS 21421 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19504.421
AT ITER 7006 NEW BEST:: SOT 63536 SOS 21417 HAS SOPS 21417 HAS SOUS 19481 HAS SOUPS 19481 WITH SCORE 19502.417
AT ITER 7014 NEW BEST:: SOT 63529 SOS 21402 HAS SOPS 21402 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19487.402
AT ITER 7046 NEW BEST:: SOT 63529 SOS 21371 HAS SOPS 21371 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19483.371
AT ITER 7058 NEW BEST:: SOT 63510 SOS 21352 HAS SOPS 21352 HAS SOUS 19443 HAS SOUPS 19443 WITH SCORE 19464.352
AT ITER 7089 NEW BEST:: SOT 63502 SOS 21318 HAS SOPS 21318 HAS SOUS 19427 HAS SOUPS 19427 WITH SCORE 19448.318
AT ITER 7176 NEW BEST:: SOT 63499 SOS 21311 HAS SOPS 21311 HAS SOUS 19420 HAS SOUPS 19420 WITH SCORE 19441.311
AT ITER 7178 NEW BEST:: SOT 63492 SOS 21291 HAS SOPS 21291 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19418.291
AT ITER 7187 NEW BEST:: SOT 63412 SOS 21191 HAS SOPS 21191 HAS SOUS 19297 HAS SOUPS 19297 WITH SCORE 19318.191
AT ITER 7413 NEW BEST:: SOT 63378 SOS 21157 HAS SOPS 21157 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19284.157
AT ITER 7535 NEW BEST:: SOT 63361 SOS 21134 HAS SOPS 21134 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19261.134
AT ITER 7551 NEW BEST:: SOT 63379 SOS 21142 HAS SOPS 21142 HAS SOUS 19230 HAS SOUPS 19230 WITH SCORE 19251.142
AT ITER 7552 NEW BEST:: SOT 63373 SOS 21130 HAS SOPS 21130 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19239.13
AT ITER 7572 NEW BEST:: SOT 63373 SOS 21129 HAS SOPS 21129 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19237.129
AT ITER 7573 NEW BEST:: SOT 63373 SOS 21114 HAS SOPS 21114 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19237.114
AT ITER 7682 NEW BEST:: SOT 63366 SOS 21110 HAS SOPS 21110 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19233.11
AT ITER 7706 NEW BEST:: SOT 63362 SOS 21090 HAS SOPS 21090 HAS SOUS 19137 HAS SOUPS 19137 WITH SCORE 19158.09
AT ITER 7721 NEW BEST:: SOT 63356 SOS 21066 HAS SOPS 21066 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19140.066
AT ITER 7730 NEW BEST:: SOT 63413 SOS 21170 HAS SOPS 21170 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19128.17
AT ITER 7732 NEW BEST:: SOT 63397 SOS 21146 HAS SOPS 21146 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19104.146
AT ITER 7772 NEW BEST:: SOT 63376 SOS 21118 HAS SOPS 21118 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19076.118
AT ITER 7775 NEW BEST:: SOT 63363 SOS 21107 HAS SOPS 21107 HAS SOUS 19044 HAS SOUPS 19044 WITH SCORE 19065.107
AT ITER 7797 NEW BEST:: SOT 63358 SOS 21087 HAS SOPS 21087 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19049.087
AT ITER 7832 NEW BEST:: SOT 63357 SOS 21075 HAS SOPS 21075 HAS SOUS 19016 HAS SOUPS 19016 WITH SCORE 19037.075
AT ITER 7833 NEW BEST:: SOT 63359 SOS 21057 HAS SOPS 21057 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19015.057
AT ITER 7854 NEW BEST:: SOT 63346 SOS 21051 HAS SOPS 21051 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19013.051
AT ITER 7862 NEW BEST:: SOT 63355 SOS 21042 HAS SOPS 21042 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19006.042
AT ITER 7880 NEW BEST:: SOT 63355 SOS 21029 HAS SOPS 21029 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19006.029
AT ITER 7950 NEW BEST:: SOT 63353 SOS 21027 HAS SOPS 21027 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19003.027
AT ITER 7951 NEW BEST:: SOT 63348 SOS 20987 HAS SOPS 20987 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18967.987
AT ITER 7965 NEW BEST:: SOT 63371 SOS 20867 HAS SOPS 20867 HAS SOUS 18901 HAS SOUPS 18901 WITH SCORE 18921.867
AT ITER 7988 NEW BEST:: SOT 63364 SOS 20848 HAS SOPS 20848 HAS SOUS 18885 HAS SOUPS 18885 WITH SCORE 18905.848
AT ITER 8028 NEW BEST:: SOT 63318 SOS 20806 HAS SOPS 20806 HAS SOUS 18843 HAS SOUPS 18843 WITH SCORE 18863.806
AT ITER 8057 NEW BEST:: SOT 63305 SOS 20791 HAS SOPS 20791 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18848.791
AT ITER 8063 NEW BEST:: SOT 63283 SOS 20779 HAS SOPS 20779 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18835.779
AT ITER 8086 NEW BEST:: SOT 63253 SOS 20734 HAS SOPS 20734 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18790.734
AT ITER 8098 NEW BEST:: SOT 63243 SOS 20700 HAS SOPS 20700 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18756.7
AT ITER 8102 NEW BEST:: SOT 63231 SOS 20688 HAS SOPS 20688 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18744.688
AT ITER 8141 NEW BEST:: SOT 63266 SOS 20715 HAS SOPS 20715 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18707.715
AT ITER 8142 NEW BEST:: SOT 63261 SOS 20710 HAS SOPS 20710 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18707.71
AT ITER 8157 NEW BEST:: SOT 63243 SOS 20699 HAS SOPS 20699 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18689.699
AT ITER 8160 NEW BEST:: SOT 63238 SOS 20469 HAS SOPS 20469 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18645.469
AT ITER 8182 NEW BEST:: SOT 63231 SOS 20462 HAS SOPS 20462 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18640.462
AT ITER 8198 NEW BEST:: SOT 63206 SOS 20437 HAS SOPS 20437 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18615.437
AT ITER 8231 NEW BEST:: SOT 63192 SOS 20415 HAS SOPS 20415 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18593.415
AT ITER 8232 NEW BEST:: SOT 63194 SOS 20400 HAS SOPS 20400 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18581.4
AT ITER 8250 NEW BEST:: SOT 63194 SOS 20394 HAS SOPS 20394 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18581.394
AT ITER 8274 NEW BEST:: SOT 63194 SOS 20387 HAS SOPS 20387 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18578.387
AT ITER 8294 NEW BEST:: SOT 63164 SOS 20357 HAS SOPS 20357 HAS SOUS 18538 HAS SOUPS 18538 WITH SCORE 18558.357
AT ITER 8301 NEW BEST:: SOT 63137 SOS 20332 HAS SOPS 20332 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18533.332
AT ITER 8359 NEW BEST:: SOT 63122 SOS 20317 HAS SOPS 20317 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18518.317
AT ITER 8431 NEW BEST:: SOT 63122 SOS 20317 HAS SOPS 20317 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18513.317
AT ITER 8447 NEW BEST:: SOT 62950 SOS 20178 HAS SOPS 20178 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18374.178
AT ITER 8461 NEW BEST:: SOT 62932 SOS 20142 HAS SOPS 20142 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18338.142
AT ITER 8481 NEW BEST:: SOT 62924 SOS 20062 HAS SOPS 20062 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18306.062
AT ITER 8525 NEW BEST:: SOT 62923 SOS 20057 HAS SOPS 20057 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18303.057
AT ITER 8538 NEW BEST:: SOT 62868 SOS 19986 HAS SOPS 19986 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18248.986
AT ITER 8548 NEW BEST:: SOT 62856 SOS 19928 HAS SOPS 19928 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18213.928
AT ITER 8589 NEW BEST:: SOT 62860 SOS 19914 HAS SOPS 19914 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18195.914
AT ITER 8610 NEW BEST:: SOT 62856 SOS 19919 HAS SOPS 19919 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18182.919
AT ITER 8648 NEW BEST:: SOT 62854 SOS 19917 HAS SOPS 19917 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18180.917
AT ITER 8675 NEW BEST:: SOT 62830 SOS 19873 HAS SOPS 19873 HAS SOUS 18130 HAS SOUPS 18130 WITH SCORE 18149.873
AT ITER 8680 NEW BEST:: SOT 62830 SOS 19857 HAS SOPS 19857 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18133.857
AT ITER 8730 NEW BEST:: SOT 62830 SOS 19856 HAS SOPS 19856 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18133.856
AT ITER 8748 NEW BEST:: SOT 62843 SOS 19838 HAS SOPS 19838 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18115.838
AT ITER 8792 NEW BEST:: SOT 62839 SOS 19822 HAS SOPS 19822 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18099.822
AT ITER 8812 NEW BEST:: SOT 62819 SOS 19802 HAS SOPS 19802 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18079.802
AT ITER 8820 NEW BEST:: SOT 62821 SOS 19793 HAS SOPS 19793 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18070.793
AT ITER 8861 NEW BEST:: SOT 62821 SOS 19777 HAS SOPS 19777 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18070.777
AT ITER 8930 NEW BEST:: SOT 62824 SOS 19774 HAS SOPS 19774 HAS SOUS 18050 HAS SOUPS 18050 WITH SCORE 18069.774
AT ITER 8931 NEW BEST:: SOT 62822 SOS 19771 HAS SOPS 19771 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18066.771
AT ITER 9022 NEW BEST:: SOT 62816 SOS 19762 HAS SOPS 19762 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18034.762
AT ITER 9051 NEW BEST:: SOT 62808 SOS 19722 HAS SOPS 19722 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18018.722
AT ITER 9085 NEW BEST:: SOT 62812 SOS 19726 HAS SOPS 19726 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18016.726
AT ITER 9163 NEW BEST:: SOT 62789 SOS 19657 HAS SOPS 19657 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17968.657
AT ITER 9198 NEW BEST:: SOT 62782 SOS 19646 HAS SOPS 19646 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17957.646
AT ITER 9207 NEW BEST:: SOT 62770 SOS 19622 HAS SOPS 19622 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17933.622
AT ITER 9262 NEW BEST:: SOT 62769 SOS 19619 HAS SOPS 19619 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17928.619
AT ITER 9263 NEW BEST:: SOT 62757 SOS 19583 HAS SOPS 19583 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17892.583
AT ITER 9325 NEW BEST:: SOT 62757 SOS 19581 HAS SOPS 19581 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17892.581
AT ITER 9374 NEW BEST:: SOT 62755 SOS 19578 HAS SOPS 19578 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17889.578
AT ITER 9394 NEW BEST:: SOT 62753 SOS 19582 HAS SOPS 19582 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17883.582
AT ITER 9452 NEW BEST:: SOT 62743 SOS 19568 HAS SOPS 19568 HAS SOUS 17863 HAS SOUPS 17863 WITH SCORE 17882.568
AT ITER 9530 NEW BEST:: SOT 62742 SOS 19567 HAS SOPS 19567 HAS SOUS 17863 HAS SOUPS 17863 WITH SCORE 17882.567
AT ITER 9533 NEW BEST:: SOT 62742 SOS 19539 HAS SOPS 19539 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17872.539
AT ITER 9550 NEW BEST:: SOT 62742 SOS 19515 HAS SOPS 19515 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17860.515
AT ITER 9556 NEW BEST:: SOT 62739 SOS 19512 HAS SOPS 19512 HAS SOUS 17838 HAS SOUPS 17838 WITH SCORE 17857.512
AT ITER 9561 NEW BEST:: SOT 62732 SOS 19491 HAS SOPS 19491 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17836.491
AT ITER 9571 NEW BEST:: SOT 62728 SOS 19478 HAS SOPS 19478 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17819.478
AT ITER 9573 NEW BEST:: SOT 62699 SOS 19449 HAS SOPS 19449 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17789.449
AT ITER 9607 NEW BEST:: SOT 62693 SOS 19443 HAS SOPS 19443 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17783.443
AT ITER 9626 NEW BEST:: SOT 62690 SOS 19437 HAS SOPS 19437 HAS SOUS 17758 HAS SOUPS 17758 WITH SCORE 17777.437
AT ITER 9677 NEW BEST:: SOT 62685 SOS 19432 HAS SOPS 19432 HAS SOUS 17757 HAS SOUPS 17757 WITH SCORE 17776.432
AT ITER 9679 NEW BEST:: SOT 62685 SOS 19426 HAS SOPS 19426 HAS SOUS 17757 HAS SOUPS 17757 WITH SCORE 17776.426
AT ITER 9686 NEW BEST:: SOT 62682 SOS 19417 HAS SOPS 19417 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17770.417
AT ITER 9693 NEW BEST:: SOT 62682 SOS 19407 HAS SOPS 19407 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17760.407
AT ITER 9871 NEW BEST:: SOT 62682 SOS 19402 HAS SOPS 19402 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17760.402
AT ITER 9877 NEW BEST:: SOT 62675 SOS 19359 HAS SOPS 19359 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17717.359
AT ITER 9893 NEW BEST:: SOT 62674 SOS 19352 HAS SOPS 19352 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17704.352
AT ITER 9914 NEW BEST:: SOT 62669 SOS 19347 HAS SOPS 19347 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17702.347
AT ITER 9930 NEW BEST:: SOT 62662 SOS 19340 HAS SOPS 19340 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17695.34
AT ITER 9957 NEW BEST:: SOT 62661 SOS 19339 HAS SOPS 19339 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17694.339

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="ShieldIIPt-PT-020A"
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 ShieldIIPt-PT-020A, 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 r207-tajo-159033469300320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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