About the Execution of smart for NoC3x3-PT-2A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.690 | 3600000.00 | 3600060.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400348.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-2A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400348
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-2A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589641463583
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 361 places, 428 transitions, 1697 arcs.
AT ITER 0 NEW BEST:: SOT 128116 SOS 107782 HAS SOPS 107773 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.782
AT ITER 1 NEW BEST:: SOT 127507 SOS 107254 HAS SOPS 107245 HAS SOUS 71219 HAS SOUPS 71210 WITH SCORE 71317.254
AT ITER 2 NEW BEST:: SOT 127327 SOS 107131 HAS SOPS 107122 HAS SOUS 71096 HAS SOUPS 71087 WITH SCORE 71194.131
AT ITER 5 NEW BEST:: SOT 126886 SOS 106513 HAS SOPS 106504 HAS SOUS 70604 HAS SOUPS 70595 WITH SCORE 70701.513
AT ITER 6 NEW BEST:: SOT 126886 SOS 106500 HAS SOPS 106491 HAS SOUS 70591 HAS SOUPS 70582 WITH SCORE 70688.5
AT ITER 10 NEW BEST:: SOT 126508 SOS 106198 HAS SOPS 106189 HAS SOUS 70493 HAS SOUPS 70484 WITH SCORE 70590.198
AT ITER 11 NEW BEST:: SOT 126212 SOS 105902 HAS SOPS 105893 HAS SOUS 70191 HAS SOUPS 70182 WITH SCORE 70287.902
AT ITER 12 NEW BEST:: SOT 125979 SOS 105669 HAS SOPS 105660 HAS SOUS 70104 HAS SOUPS 70095 WITH SCORE 70200.669
AT ITER 14 NEW BEST:: SOT 125979 SOS 105690 HAS SOPS 105681 HAS SOUS 70098 HAS SOUPS 70089 WITH SCORE 70194.69
AT ITER 15 NEW BEST:: SOT 125979 SOS 105418 HAS SOPS 105409 HAS SOUS 70098 HAS SOUPS 70089 WITH SCORE 70194.418
AT ITER 17 NEW BEST:: SOT 125792 SOS 105317 HAS SOPS 105308 HAS SOUS 69997 HAS SOUPS 69988 WITH SCORE 70093.317
AT ITER 18 NEW BEST:: SOT 125531 SOS 105056 HAS SOPS 105047 HAS SOUS 69730 HAS SOUPS 69721 WITH SCORE 69826.056
AT ITER 20 NEW BEST:: SOT 124975 SOS 103773 HAS SOPS 103764 HAS SOUS 69230 HAS SOUPS 69221 WITH SCORE 69324.773
AT ITER 25 NEW BEST:: SOT 124687 SOS 103485 HAS SOPS 103476 HAS SOUS 68966 HAS SOUPS 68957 WITH SCORE 69060.485
AT ITER 32 NEW BEST:: SOT 124687 SOS 102709 HAS SOPS 102700 HAS SOUS 68906 HAS SOUPS 68897 WITH SCORE 68999.709
AT ITER 33 NEW BEST:: SOT 123836 SOS 101858 HAS SOPS 101849 HAS SOUS 68173 HAS SOUPS 68164 WITH SCORE 68265.858
AT ITER 35 NEW BEST:: SOT 123635 SOS 101590 HAS SOPS 101581 HAS SOUS 68035 HAS SOUPS 68026 WITH SCORE 68127.59
AT ITER 38 NEW BEST:: SOT 123612 SOS 101567 HAS SOPS 101558 HAS SOUS 68012 HAS SOUPS 68003 WITH SCORE 68104.567
AT ITER 46 NEW BEST:: SOT 123478 SOS 101327 HAS SOPS 101318 HAS SOUS 67938 HAS SOUPS 67929 WITH SCORE 68030.327
AT ITER 48 NEW BEST:: SOT 123232 SOS 101081 HAS SOPS 101072 HAS SOUS 67759 HAS SOUPS 67750 WITH SCORE 67851.081
AT ITER 49 NEW BEST:: SOT 122837 SOS 100712 HAS SOPS 100703 HAS SOUS 67535 HAS SOUPS 67526 WITH SCORE 67626.712
AT ITER 50 NEW BEST:: SOT 122480 SOS 100355 HAS SOPS 100346 HAS SOUS 67176 HAS SOUPS 67167 WITH SCORE 67267.355
AT ITER 53 NEW BEST:: SOT 122246 SOS 100131 HAS SOPS 100122 HAS SOUS 66912 HAS SOUPS 66903 WITH SCORE 67003.131
AT ITER 55 NEW BEST:: SOT 122246 SOS 100115 HAS SOPS 100106 HAS SOUS 66904 HAS SOUPS 66895 WITH SCORE 66995.115
AT ITER 56 NEW BEST:: SOT 122107 SOS 99850 HAS SOPS 99841 HAS SOUS 66639 HAS SOUPS 66630 WITH SCORE 66729.85
AT ITER 57 NEW BEST:: SOT 121929 SOS 99672 HAS SOPS 99663 HAS SOUS 66409 HAS SOUPS 66400 WITH SCORE 66499.672
AT ITER 58 NEW BEST:: SOT 121929 SOS 99651 HAS SOPS 99642 HAS SOUS 66402 HAS SOUPS 66393 WITH SCORE 66492.651
AT ITER 60 NEW BEST:: SOT 121683 SOS 99589 HAS SOPS 99580 HAS SOUS 66263 HAS SOUPS 66254 WITH SCORE 66353.589
AT ITER 67 NEW BEST:: SOT 121652 SOS 99558 HAS SOPS 99549 HAS SOUS 66223 HAS SOUPS 66214 WITH SCORE 66313.558
AT ITER 73 NEW BEST:: SOT 121652 SOS 99504 HAS SOPS 99495 HAS SOUS 66205 HAS SOUPS 66196 WITH SCORE 66295.504
AT ITER 75 NEW BEST:: SOT 121342 SOS 99311 HAS SOPS 99302 HAS SOUS 66162 HAS SOUPS 66153 WITH SCORE 66252.311
AT ITER 83 NEW BEST:: SOT 121298 SOS 99299 HAS SOPS 99290 HAS SOUS 65902 HAS SOUPS 65893 WITH SCORE 65992.299
AT ITER 85 NEW BEST:: SOT 121264 SOS 99265 HAS SOPS 99256 HAS SOUS 65868 HAS SOUPS 65859 WITH SCORE 65958.265
AT ITER 86 NEW BEST:: SOT 121246 SOS 99265 HAS SOPS 99256 HAS SOUS 65865 HAS SOUPS 65856 WITH SCORE 65955.265
AT ITER 87 NEW BEST:: SOT 121246 SOS 98866 HAS SOPS 98857 HAS SOUS 65861 HAS SOUPS 65852 WITH SCORE 65950.866
AT ITER 94 NEW BEST:: SOT 120732 SOS 98352 HAS SOPS 98343 HAS SOUS 65441 HAS SOUPS 65432 WITH SCORE 65530.352
AT ITER 98 NEW BEST:: SOT 120783 SOS 98192 HAS SOPS 98183 HAS SOUS 65441 HAS SOUPS 65432 WITH SCORE 65530.192
AT ITER 100 NEW BEST:: SOT 120554 SOS 97963 HAS SOPS 97954 HAS SOUS 65212 HAS SOUPS 65203 WITH SCORE 65300.963
AT ITER 101 NEW BEST:: SOT 120447 SOS 97856 HAS SOPS 97847 HAS SOUS 65105 HAS SOUPS 65096 WITH SCORE 65193.856
AT ITER 102 NEW BEST:: SOT 119266 SOS 96641 HAS SOPS 96632 HAS SOUS 63868 HAS SOUPS 63859 WITH SCORE 63955.641
AT ITER 103 NEW BEST:: SOT 119266 SOS 96620 HAS SOPS 96611 HAS SOUS 63861 HAS SOUPS 63852 WITH SCORE 63948.62
AT ITER 104 NEW BEST:: SOT 119266 SOS 96620 HAS SOPS 96611 HAS SOUS 63860 HAS SOUPS 63851 WITH SCORE 63947.62
AT ITER 107 NEW BEST:: SOT 119266 SOS 96614 HAS SOPS 96605 HAS SOUS 63854 HAS SOUPS 63845 WITH SCORE 63941.614
AT ITER 108 NEW BEST:: SOT 119266 SOS 96602 HAS SOPS 96593 HAS SOUS 63847 HAS SOUPS 63838 WITH SCORE 63934.602
AT ITER 110 NEW BEST:: SOT 119252 SOS 96351 HAS SOPS 96342 HAS SOUS 63734 HAS SOUPS 63725 WITH SCORE 63821.351
AT ITER 117 NEW BEST:: SOT 118774 SOS 95873 HAS SOPS 95864 HAS SOUS 63551 HAS SOUPS 63542 WITH SCORE 63637.873
AT ITER 118 NEW BEST:: SOT 118774 SOS 95873 HAS SOPS 95864 HAS SOUS 63541 HAS SOUPS 63532 WITH SCORE 63627.873
AT ITER 120 NEW BEST:: SOT 118364 SOS 95541 HAS SOPS 95532 HAS SOUS 63178 HAS SOUPS 63169 WITH SCORE 63264.541
AT ITER 129 NEW BEST:: SOT 117554 SOS 94827 HAS SOPS 94818 HAS SOUS 62596 HAS SOUPS 62587 WITH SCORE 62681.827
AT ITER 130 NEW BEST:: SOT 116945 SOS 94267 HAS SOPS 94258 HAS SOUS 62029 HAS SOUPS 62020 WITH SCORE 62114.267
AT ITER 136 NEW BEST:: SOT 116754 SOS 94112 HAS SOPS 94103 HAS SOUS 62016 HAS SOUPS 62007 WITH SCORE 62101.112
AT ITER 137 NEW BEST:: SOT 116740 SOS 94098 HAS SOPS 94089 HAS SOUS 62016 HAS SOUPS 62007 WITH SCORE 62101.098
AT ITER 138 NEW BEST:: SOT 116259 SOS 93791 HAS SOPS 93782 HAS SOUS 61200 HAS SOUPS 61191 WITH SCORE 61284.791
AT ITER 139 NEW BEST:: SOT 116251 SOS 93783 HAS SOPS 93774 HAS SOUS 61190 HAS SOUPS 61181 WITH SCORE 61274.783
AT ITER 146 NEW BEST:: SOT 116125 SOS 93736 HAS SOPS 93727 HAS SOUS 60919 HAS SOUPS 60910 WITH SCORE 61003.736
AT ITER 148 NEW BEST:: SOT 116125 SOS 93409 HAS SOPS 93400 HAS SOUS 60919 HAS SOUPS 60910 WITH SCORE 61003.409
AT ITER 150 NEW BEST:: SOT 116125 SOS 93382 HAS SOPS 93373 HAS SOUS 60910 HAS SOUPS 60901 WITH SCORE 60994.382
AT ITER 154 NEW BEST:: SOT 116125 SOS 93368 HAS SOPS 93359 HAS SOUS 60908 HAS SOUPS 60899 WITH SCORE 60992.368
AT ITER 158 NEW BEST:: SOT 116096 SOS 93339 HAS SOPS 93330 HAS SOUS 60879 HAS SOUPS 60870 WITH SCORE 60963.339
AT ITER 161 NEW BEST:: SOT 115611 SOS 92999 HAS SOPS 92990 HAS SOUS 60537 HAS SOUPS 60528 WITH SCORE 60620.999
AT ITER 163 NEW BEST:: SOT 115549 SOS 92937 HAS SOPS 92928 HAS SOUS 60475 HAS SOUPS 60466 WITH SCORE 60558.937
AT ITER 166 NEW BEST:: SOT 114412 SOS 91506 HAS SOPS 91497 HAS SOUS 59070 HAS SOUPS 59061 WITH SCORE 59152.506
AT ITER 181 NEW BEST:: SOT 114234 SOS 91328 HAS SOPS 91319 HAS SOUS 58792 HAS SOUPS 58783 WITH SCORE 58874.328
AT ITER 182 NEW BEST:: SOT 114146 SOS 91250 HAS SOPS 91241 HAS SOUS 58788 HAS SOUPS 58779 WITH SCORE 58870.25
AT ITER 186 NEW BEST:: SOT 114146 SOS 90455 HAS SOPS 90446 HAS SOUS 58595 HAS SOUPS 58586 WITH SCORE 58676.455
AT ITER 188 NEW BEST:: SOT 114129 SOS 90438 HAS SOPS 90429 HAS SOUS 58572 HAS SOUPS 58563 WITH SCORE 58653.438
AT ITER 196 NEW BEST:: SOT 113894 SOS 90203 HAS SOPS 90194 HAS SOUS 58335 HAS SOUPS 58326 WITH SCORE 58416.203
AT ITER 197 NEW BEST:: SOT 114011 SOS 90105 HAS SOPS 90096 HAS SOUS 58247 HAS SOUPS 58238 WITH SCORE 58328.105
AT ITER 200 NEW BEST:: SOT 114046 SOS 89709 HAS SOPS 89700 HAS SOUS 58226 HAS SOUPS 58217 WITH SCORE 58306.709
AT ITER 204 NEW BEST:: SOT 113918 SOS 89591 HAS SOPS 89582 HAS SOUS 58204 HAS SOUPS 58195 WITH SCORE 58284.591
AT ITER 207 NEW BEST:: SOT 113849 SOS 89460 HAS SOPS 89451 HAS SOUS 58001 HAS SOUPS 57992 WITH SCORE 58081.46
AT ITER 209 NEW BEST:: SOT 113421 SOS 89032 HAS SOPS 89023 HAS SOUS 57315 HAS SOUPS 57306 WITH SCORE 57395.032
AT ITER 210 NEW BEST:: SOT 113464 SOS 88840 HAS SOPS 88831 HAS SOUS 57254 HAS SOUPS 57245 WITH SCORE 57333.84
AT ITER 220 NEW BEST:: SOT 113065 SOS 88239 HAS SOPS 88230 HAS SOUS 56855 HAS SOUPS 56846 WITH SCORE 56934.239
AT ITER 224 NEW BEST:: SOT 113019 SOS 88193 HAS SOPS 88184 HAS SOUS 56853 HAS SOUPS 56844 WITH SCORE 56932.193
AT ITER 226 NEW BEST:: SOT 113019 SOS 88118 HAS SOPS 88109 HAS SOUS 56828 HAS SOUPS 56819 WITH SCORE 56907.118
AT ITER 228 NEW BEST:: SOT 113019 SOS 88054 HAS SOPS 88045 HAS SOUS 56804 HAS SOUPS 56795 WITH SCORE 56883.054
AT ITER 230 NEW BEST:: SOT 112694 SOS 87828 HAS SOPS 87819 HAS SOUS 56574 HAS SOUPS 56565 WITH SCORE 56652.828
AT ITER 234 NEW BEST:: SOT 112638 SOS 87922 HAS SOPS 87913 HAS SOUS 56453 HAS SOUPS 56444 WITH SCORE 56531.922
AT ITER 238 NEW BEST:: SOT 112638 SOS 87913 HAS SOPS 87904 HAS SOUS 56435 HAS SOUPS 56426 WITH SCORE 56513.913
AT ITER 248 NEW BEST:: SOT 112636 SOS 87911 HAS SOPS 87902 HAS SOUS 56433 HAS SOUPS 56424 WITH SCORE 56511.911
AT ITER 255 NEW BEST:: SOT 112011 SOS 87477 HAS SOPS 87468 HAS SOUS 56045 HAS SOUPS 56036 WITH SCORE 56123.477
AT ITER 256 NEW BEST:: SOT 111848 SOS 87389 HAS SOPS 87380 HAS SOUS 55821 HAS SOUPS 55812 WITH SCORE 55899.389
AT ITER 258 NEW BEST:: SOT 111589 SOS 87130 HAS SOPS 87121 HAS SOUS 55792 HAS SOUPS 55783 WITH SCORE 55870.13
AT ITER 261 NEW BEST:: SOT 111561 SOS 87102 HAS SOPS 87093 HAS SOUS 55764 HAS SOUPS 55755 WITH SCORE 55842.102
AT ITER 269 NEW BEST:: SOT 111600 SOS 87260 HAS SOPS 87046 HAS SOUS 55922 HAS SOUPS 55708 WITH SCORE 55795.26
AT ITER 270 NEW BEST:: SOT 111592 SOS 87236 HAS SOPS 87022 HAS SOUS 55914 HAS SOUPS 55700 WITH SCORE 55787.236
AT ITER 271 NEW BEST:: SOT 111592 SOS 87190 HAS SOPS 86976 HAS SOUS 55906 HAS SOUPS 55692 WITH SCORE 55779.19
AT ITER 273 NEW BEST:: SOT 111592 SOS 87108 HAS SOPS 86894 HAS SOUS 55887 HAS SOUPS 55673 WITH SCORE 55760.108
AT ITER 275 NEW BEST:: SOT 110885 SOS 86401 HAS SOPS 86187 HAS SOUS 55411 HAS SOUPS 55197 WITH SCORE 55283.401
AT ITER 280 NEW BEST:: SOT 110887 SOS 86403 HAS SOPS 86189 HAS SOUS 55407 HAS SOUPS 55193 WITH SCORE 55279.403
AT ITER 290 NEW BEST:: SOT 110814 SOS 86372 HAS SOPS 86037 HAS SOUS 55340 HAS SOUPS 55017 WITH SCORE 55103.372
AT ITER 291 NEW BEST:: SOT 110793 SOS 86351 HAS SOPS 86016 HAS SOUS 55319 HAS SOUPS 54996 WITH SCORE 55082.351
AT ITER 294 NEW BEST:: SOT 110623 SOS 86419 HAS SOPS 85846 HAS SOUS 55397 HAS SOUPS 54836 WITH SCORE 54922.419
AT ITER 298 NEW BEST:: SOT 110623 SOS 86397 HAS SOPS 85824 HAS SOUS 55353 HAS SOUPS 54792 WITH SCORE 54878.397
AT ITER 301 NEW BEST:: SOT 110447 SOS 86221 HAS SOPS 85648 HAS SOUS 55209 HAS SOUPS 54648 WITH SCORE 54734.221
AT ITER 307 NEW BEST:: SOT 110503 SOS 86262 HAS SOPS 85689 HAS SOUS 55207 HAS SOUPS 54646 WITH SCORE 54732.262
AT ITER 309 NEW BEST:: SOT 110503 SOS 86194 HAS SOPS 85621 HAS SOUS 55190 HAS SOUPS 54629 WITH SCORE 54715.194
AT ITER 314 NEW BEST:: SOT 110288 SOS 85861 HAS SOPS 85288 HAS SOUS 55079 HAS SOUPS 54518 WITH SCORE 54603.861
AT ITER 317 NEW BEST:: SOT 110154 SOS 85727 HAS SOPS 85154 HAS SOUS 54945 HAS SOUPS 54384 WITH SCORE 54469.727
AT ITER 318 NEW BEST:: SOT 109895 SOS 85359 HAS SOPS 84786 HAS SOUS 54667 HAS SOUPS 54106 WITH SCORE 54191.359
AT ITER 324 NEW BEST:: SOT 109895 SOS 85358 HAS SOPS 84785 HAS SOUS 54666 HAS SOUPS 54105 WITH SCORE 54190.358
AT ITER 328 NEW BEST:: SOT 109805 SOS 85260 HAS SOPS 84687 HAS SOUS 54614 HAS SOUPS 54053 WITH SCORE 54138.26
AT ITER 338 NEW BEST:: SOT 109805 SOS 85260 HAS SOPS 84687 HAS SOUS 54598 HAS SOUPS 54037 WITH SCORE 54122.26
AT ITER 343 NEW BEST:: SOT 109805 SOS 85094 HAS SOPS 84056 HAS SOUS 54704 HAS SOUPS 53678 WITH SCORE 53763.094
AT ITER 345 NEW BEST:: SOT 109732 SOS 85021 HAS SOPS 83983 HAS SOUS 54665 HAS SOUPS 53639 WITH SCORE 53724.021
AT ITER 348 NEW BEST:: SOT 108618 SOS 83899 HAS SOPS 82861 HAS SOUS 53578 HAS SOUPS 52552 WITH SCORE 52635.899
AT ITER 350 NEW BEST:: SOT 108655 SOS 83365 HAS SOPS 82327 HAS SOUS 53519 HAS SOUPS 52493 WITH SCORE 52576.365
AT ITER 351 NEW BEST:: SOT 108512 SOS 81961 HAS SOPS 80923 HAS SOUS 53376 HAS SOUPS 52350 WITH SCORE 52431.961
AT ITER 353 NEW BEST:: SOT 108289 SOS 82007 HAS SOPS 80969 HAS SOUS 53301 HAS SOUPS 52275 WITH SCORE 52357.007
AT ITER 355 NEW BEST:: SOT 107710 SOS 81519 HAS SOPS 80481 HAS SOUS 52860 HAS SOUPS 51834 WITH SCORE 51915.519
AT ITER 357 NEW BEST:: SOT 107812 SOS 81161 HAS SOPS 80123 HAS SOUS 52832 HAS SOUPS 51806 WITH SCORE 51887.161
AT ITER 360 NEW BEST:: SOT 107765 SOS 81114 HAS SOPS 80076 HAS SOUS 52785 HAS SOUPS 51759 WITH SCORE 51840.114
AT ITER 361 NEW BEST:: SOT 107721 SOS 81085 HAS SOPS 80047 HAS SOUS 52775 HAS SOUPS 51749 WITH SCORE 51830.085
AT ITER 365 NEW BEST:: SOT 107721 SOS 81085 HAS SOPS 80047 HAS SOUS 52609 HAS SOUPS 51583 WITH SCORE 51664.085
AT ITER 366 NEW BEST:: SOT 107720 SOS 81084 HAS SOPS 80046 HAS SOUS 52522 HAS SOUPS 51496 WITH SCORE 51577.084
AT ITER 367 NEW BEST:: SOT 107746 SOS 81110 HAS SOPS 80072 HAS SOUS 52496 HAS SOUPS 51470 WITH SCORE 51551.11
AT ITER 369 NEW BEST:: SOT 107757 SOS 81103 HAS SOPS 80065 HAS SOUS 52338 HAS SOUPS 51312 WITH SCORE 51393.103
AT ITER 375 NEW BEST:: SOT 107627 SOS 80915 HAS SOPS 79877 HAS SOUS 52293 HAS SOUPS 51267 WITH SCORE 51347.915
AT ITER 376 NEW BEST:: SOT 107601 SOS 80992 HAS SOPS 79954 HAS SOUS 52226 HAS SOUPS 51200 WITH SCORE 51280.992
AT ITER 377 NEW BEST:: SOT 107523 SOS 80914 HAS SOPS 79876 HAS SOUS 52218 HAS SOUPS 51192 WITH SCORE 51272.914
AT ITER 383 NEW BEST:: SOT 107142 SOS 80533 HAS SOPS 79495 HAS SOUS 51837 HAS SOUPS 50811 WITH SCORE 50891.533
AT ITER 386 NEW BEST:: SOT 107195 SOS 80497 HAS SOPS 79459 HAS SOUS 51546 HAS SOUPS 50520 WITH SCORE 50600.497
AT ITER 387 NEW BEST:: SOT 106672 SOS 79974 HAS SOPS 78936 HAS SOUS 51029 HAS SOUPS 50003 WITH SCORE 50082.974
AT ITER 388 NEW BEST:: SOT 106568 SOS 79855 HAS SOPS 78817 HAS SOUS 50910 HAS SOUPS 49884 WITH SCORE 49963.855
AT ITER 394 NEW BEST:: SOT 106535 SOS 79822 HAS SOPS 78784 HAS SOUS 50877 HAS SOUPS 49851 WITH SCORE 49930.822
AT ITER 408 NEW BEST:: SOT 106353 SOS 79640 HAS SOPS 78602 HAS SOUS 50695 HAS SOUPS 49669 WITH SCORE 49748.64
AT ITER 410 NEW BEST:: SOT 106245 SOS 79303 HAS SOPS 78265 HAS SOUS 50628 HAS SOUPS 49602 WITH SCORE 49681.303
AT ITER 411 NEW BEST:: SOT 106218 SOS 79276 HAS SOPS 78238 HAS SOUS 50585 HAS SOUPS 49559 WITH SCORE 49638.276
AT ITER 413 NEW BEST:: SOT 105954 SOS 78867 HAS SOPS 77829 HAS SOUS 50093 HAS SOUPS 49067 WITH SCORE 49145.867
AT ITER 415 NEW BEST:: SOT 105954 SOS 78867 HAS SOPS 77829 HAS SOUS 50042 HAS SOUPS 49016 WITH SCORE 49094.867
AT ITER 416 NEW BEST:: SOT 105898 SOS 78767 HAS SOPS 77729 HAS SOUS 49918 HAS SOUPS 48892 WITH SCORE 48970.767
AT ITER 422 NEW BEST:: SOT 105816 SOS 78700 HAS SOPS 77662 HAS SOUS 49795 HAS SOUPS 48769 WITH SCORE 48847.7
AT ITER 425 NEW BEST:: SOT 105728 SOS 78612 HAS SOPS 77574 HAS SOUS 49775 HAS SOUPS 48749 WITH SCORE 48827.612
AT ITER 435 NEW BEST:: SOT 105728 SOS 78495 HAS SOPS 77457 HAS SOUS 49658 HAS SOUPS 48632 WITH SCORE 48710.495
AT ITER 440 NEW BEST:: SOT 105728 SOS 78261 HAS SOPS 77223 HAS SOUS 49658 HAS SOUPS 48632 WITH SCORE 48710.261
AT ITER 442 NEW BEST:: SOT 105560 SOS 78093 HAS SOPS 77055 HAS SOUS 49490 HAS SOUPS 48464 WITH SCORE 48542.093
AT ITER 444 NEW BEST:: SOT 105611 SOS 77964 HAS SOPS 76926 HAS SOUS 49289 HAS SOUPS 48263 WITH SCORE 48340.964
AT ITER 447 NEW BEST:: SOT 105644 SOS 77916 HAS SOPS 76878 HAS SOUS 49160 HAS SOUPS 48134 WITH SCORE 48211.916
AT ITER 452 NEW BEST:: SOT 105581 SOS 77874 HAS SOPS 76836 HAS SOUS 49139 HAS SOUPS 48113 WITH SCORE 48190.874
AT ITER 456 NEW BEST:: SOT 105621 SOS 77870 HAS SOPS 76832 HAS SOUS 49135 HAS SOUPS 48109 WITH SCORE 48186.87
AT ITER 459 NEW BEST:: SOT 105415 SOS 77664 HAS SOPS 76626 HAS SOUS 49105 HAS SOUPS 48079 WITH SCORE 48156.664
AT ITER 460 NEW BEST:: SOT 105040 SOS 77565 HAS SOPS 76527 HAS SOUS 48828 HAS SOUPS 47802 WITH SCORE 47879.565
AT ITER 464 NEW BEST:: SOT 105010 SOS 77488 HAS SOPS 76450 HAS SOUS 48751 HAS SOUPS 47725 WITH SCORE 47802.488
AT ITER 465 NEW BEST:: SOT 104841 SOS 77150 HAS SOPS 76112 HAS SOUS 48748 HAS SOUPS 47722 WITH SCORE 47799.15
AT ITER 469 NEW BEST:: SOT 104841 SOS 77190 HAS SOPS 76152 HAS SOUS 48716 HAS SOUPS 47690 WITH SCORE 47767.19
AT ITER 471 NEW BEST:: SOT 104782 SOS 77175 HAS SOPS 76137 HAS SOUS 48691 HAS SOUPS 47665 WITH SCORE 47742.175
AT ITER 474 NEW BEST:: SOT 104782 SOS 77082 HAS SOPS 76044 HAS SOUS 48691 HAS SOUPS 47665 WITH SCORE 47742.082
AT ITER 477 NEW BEST:: SOT 104685 SOS 76976 HAS SOPS 75938 HAS SOUS 48687 HAS SOUPS 47661 WITH SCORE 47737.976
AT ITER 484 NEW BEST:: SOT 104508 SOS 76866 HAS SOPS 75828 HAS SOUS 48644 HAS SOUPS 47618 WITH SCORE 47694.866
AT ITER 487 NEW BEST:: SOT 103948 SOS 76361 HAS SOPS 75323 HAS SOUS 48113 HAS SOUPS 47087 WITH SCORE 47163.361
AT ITER 488 NEW BEST:: SOT 103948 SOS 76361 HAS SOPS 75323 HAS SOUS 48027 HAS SOUPS 47001 WITH SCORE 47077.361
AT ITER 495 NEW BEST:: SOT 103952 SOS 76183 HAS SOPS 75105 HAS SOUS 48031 HAS SOUPS 46965 WITH SCORE 47041.183
AT ITER 500 NEW BEST:: SOT 103896 SOS 76173 HAS SOPS 75095 HAS SOUS 47998 HAS SOUPS 46932 WITH SCORE 47008.173
AT ITER 504 NEW BEST:: SOT 103717 SOS 75986 HAS SOPS 74908 HAS SOUS 47968 HAS SOUPS 46902 WITH SCORE 46977.986
AT ITER 505 NEW BEST:: SOT 103520 SOS 75789 HAS SOPS 74711 HAS SOUS 47953 HAS SOUPS 46887 WITH SCORE 46962.789
AT ITER 509 NEW BEST:: SOT 103520 SOS 75703 HAS SOPS 74625 HAS SOUS 47950 HAS SOUPS 46884 WITH SCORE 46959.703
AT ITER 523 NEW BEST:: SOT 103506 SOS 75682 HAS SOPS 74604 HAS SOUS 47943 HAS SOUPS 46877 WITH SCORE 46952.682
AT ITER 527 NEW BEST:: SOT 103492 SOS 75668 HAS SOPS 74590 HAS SOUS 47929 HAS SOUPS 46863 WITH SCORE 46938.668
AT ITER 534 NEW BEST:: SOT 103429 SOS 75626 HAS SOPS 74578 HAS SOUS 47885 HAS SOUPS 46849 WITH SCORE 46924.626
AT ITER 536 NEW BEST:: SOT 102991 SOS 75188 HAS SOPS 74140 HAS SOUS 47460 HAS SOUPS 46424 WITH SCORE 46499.188
AT ITER 537 NEW BEST:: SOT 102991 SOS 75188 HAS SOPS 74140 HAS SOUS 47458 HAS SOUPS 46422 WITH SCORE 46497.188
AT ITER 538 NEW BEST:: SOT 102991 SOS 75155 HAS SOPS 74107 HAS SOUS 47458 HAS SOUPS 46422 WITH SCORE 46497.155
AT ITER 545 NEW BEST:: SOT 102991 SOS 75117 HAS SOPS 74069 HAS SOUS 47434 HAS SOUPS 46398 WITH SCORE 46473.117
AT ITER 551 NEW BEST:: SOT 102670 SOS 74583 HAS SOPS 73535 HAS SOUS 46865 HAS SOUPS 45829 WITH SCORE 45903.583
AT ITER 561 NEW BEST:: SOT 102678 SOS 74656 HAS SOPS 73608 HAS SOUS 46808 HAS SOUPS 45772 WITH SCORE 45846.656
AT ITER 563 NEW BEST:: SOT 102656 SOS 74634 HAS SOPS 73586 HAS SOUS 46801 HAS SOUPS 45765 WITH SCORE 45839.634
AT ITER 566 NEW BEST:: SOT 102720 SOS 73988 HAS SOPS 72940 HAS SOUS 46681 HAS SOUPS 45645 WITH SCORE 45718.988
AT ITER 572 NEW BEST:: SOT 102720 SOS 74067 HAS SOPS 73019 HAS SOUS 46536 HAS SOUPS 45500 WITH SCORE 45574.067
AT ITER 575 NEW BEST:: SOT 102682 SOS 73991 HAS SOPS 72943 HAS SOUS 46479 HAS SOUPS 45443 WITH SCORE 45516.991
AT ITER 580 NEW BEST:: SOT 102716 SOS 74025 HAS SOPS 72977 HAS SOUS 46377 HAS SOUPS 45341 WITH SCORE 45415.025
AT ITER 582 NEW BEST:: SOT 102716 SOS 74025 HAS SOPS 72990 HAS SOUS 46351 HAS SOUPS 45328 WITH SCORE 45402.025
AT ITER 585 NEW BEST:: SOT 102664 SOS 73973 HAS SOPS 72938 HAS SOUS 46249 HAS SOUPS 45226 WITH SCORE 45299.973
AT ITER 587 NEW BEST:: SOT 102664 SOS 74043 HAS SOPS 73008 HAS SOUS 46219 HAS SOUPS 45196 WITH SCORE 45270.043
AT ITER 588 NEW BEST:: SOT 102556 SOS 73935 HAS SOPS 72900 HAS SOUS 46200 HAS SOUPS 45177 WITH SCORE 45250.935
AT ITER 589 NEW BEST:: SOT 102537 SOS 73916 HAS SOPS 72881 HAS SOUS 46155 HAS SOUPS 45132 WITH SCORE 45205.916
AT ITER 592 NEW BEST:: SOT 102506 SOS 73783 HAS SOPS 72748 HAS SOUS 46073 HAS SOUPS 45050 WITH SCORE 45123.783
AT ITER 602 NEW BEST:: SOT 102470 SOS 73747 HAS SOPS 72712 HAS SOUS 45915 HAS SOUPS 44892 WITH SCORE 44965.747
AT ITER 609 NEW BEST:: SOT 102418 SOS 73695 HAS SOPS 72660 HAS SOUS 45901 HAS SOUPS 44878 WITH SCORE 44951.695
AT ITER 612 NEW BEST:: SOT 102380 SOS 73619 HAS SOPS 72584 HAS SOUS 45844 HAS SOUPS 44821 WITH SCORE 44894.619
AT ITER 613 NEW BEST:: SOT 102356 SOS 73586 HAS SOPS 72578 HAS SOUS 45783 HAS SOUPS 44787 WITH SCORE 44860.586
AT ITER 614 NEW BEST:: SOT 102356 SOS 73586 HAS SOPS 72578 HAS SOUS 45780 HAS SOUPS 44784 WITH SCORE 44857.586
AT ITER 616 NEW BEST:: SOT 102384 SOS 73614 HAS SOPS 72606 HAS SOUS 45722 HAS SOUPS 44726 WITH SCORE 44799.614
AT ITER 618 NEW BEST:: SOT 102264 SOS 73494 HAS SOPS 72486 HAS SOUS 45572 HAS SOUPS 44576 WITH SCORE 44649.494
AT ITER 621 NEW BEST:: SOT 102264 SOS 73324 HAS SOPS 72316 HAS SOUS 45572 HAS SOUPS 44576 WITH SCORE 44649.324
AT ITER 622 NEW BEST:: SOT 102264 SOS 73129 HAS SOPS 72121 HAS SOUS 45572 HAS SOUPS 44576 WITH SCORE 44649.129
AT ITER 628 NEW BEST:: SOT 102215 SOS 73111 HAS SOPS 72103 HAS SOUS 45483 HAS SOUPS 44487 WITH SCORE 44560.111
AT ITER 632 NEW BEST:: SOT 102148 SOS 72997 HAS SOPS 71989 HAS SOUS 45422 HAS SOUPS 44426 WITH SCORE 44498.997
AT ITER 633 NEW BEST:: SOT 102115 SOS 72790 HAS SOPS 71782 HAS SOUS 45399 HAS SOUPS 44403 WITH SCORE 44475.79
AT ITER 639 NEW BEST:: SOT 102115 SOS 72772 HAS SOPS 71764 HAS SOUS 45393 HAS SOUPS 44397 WITH SCORE 44469.772
AT ITER 641 NEW BEST:: SOT 102162 SOS 72588 HAS SOPS 71580 HAS SOUS 45379 HAS SOUPS 44383 WITH SCORE 44455.588
AT ITER 655 NEW BEST:: SOT 102128 SOS 73014 HAS SOPS 72006 HAS SOUS 45311 HAS SOUPS 44315 WITH SCORE 44388.014
AT ITER 660 NEW BEST:: SOT 102040 SOS 72926 HAS SOPS 71918 HAS SOUS 45307 HAS SOUPS 44311 WITH SCORE 44383.926
AT ITER 661 NEW BEST:: SOT 102008 SOS 72894 HAS SOPS 71886 HAS SOUS 45275 HAS SOUPS 44279 WITH SCORE 44351.894
AT ITER 662 NEW BEST:: SOT 102021 SOS 72915 HAS SOPS 71907 HAS SOUS 45270 HAS SOUPS 44274 WITH SCORE 44346.915
AT ITER 666 NEW BEST:: SOT 101920 SOS 72814 HAS SOPS 71806 HAS SOUS 45076 HAS SOUPS 44080 WITH SCORE 44152.814
AT ITER 674 NEW BEST:: SOT 101906 SOS 72800 HAS SOPS 71792 HAS SOUS 45012 HAS SOUPS 44016 WITH SCORE 44088.8
AT ITER 676 NEW BEST:: SOT 101968 SOS 72866 HAS SOPS 71858 HAS SOUS 44966 HAS SOUPS 43970 WITH SCORE 44042.866
AT ITER 686 NEW BEST:: SOT 101821 SOS 72767 HAS SOPS 71759 HAS SOUS 44939 HAS SOUPS 43943 WITH SCORE 44015.767
AT ITER 692 NEW BEST:: SOT 101862 SOS 71948 HAS SOPS 70852 HAS SOUS 44899 HAS SOUPS 43856 WITH SCORE 43927.948
AT ITER 694 NEW BEST:: SOT 101930 SOS 71914 HAS SOPS 70818 HAS SOUS 44865 HAS SOUPS 43822 WITH SCORE 43893.914
AT ITER 701 NEW BEST:: SOT 101767 SOS 71666 HAS SOPS 70570 HAS SOUS 44736 HAS SOUPS 43693 WITH SCORE 43764.666
AT ITER 703 NEW BEST:: SOT 101767 SOS 71648 HAS SOPS 70552 HAS SOUS 44726 HAS SOUPS 43683 WITH SCORE 43754.648
AT ITER 707 NEW BEST:: SOT 101767 SOS 71498 HAS SOPS 70402 HAS SOUS 44653 HAS SOUPS 43610 WITH SCORE 43681.498
AT ITER 709 NEW BEST:: SOT 101755 SOS 71480 HAS SOPS 70378 HAS SOUS 44647 HAS SOUPS 43598 WITH SCORE 43669.48
AT ITER 711 NEW BEST:: SOT 101659 SOS 71370 HAS SOPS 70268 HAS SOUS 44491 HAS SOUPS 43442 WITH SCORE 43513.37
AT ITER 713 NEW BEST:: SOT 101659 SOS 71280 HAS SOPS 70178 HAS SOUS 44482 HAS SOUPS 43433 WITH SCORE 43504.28
AT ITER 719 NEW BEST:: SOT 101623 SOS 71244 HAS SOPS 70142 HAS SOUS 44440 HAS SOUPS 43391 WITH SCORE 43462.244
AT ITER 738 NEW BEST:: SOT 101440 SOS 71061 HAS SOPS 69959 HAS SOUS 44263 HAS SOUPS 43214 WITH SCORE 43285.061
AT ITER 748 NEW BEST:: SOT 101418 SOS 71039 HAS SOPS 69937 HAS SOUS 44241 HAS SOUPS 43192 WITH SCORE 43263.039
AT ITER 752 NEW BEST:: SOT 101459 SOS 71116 HAS SOPS 70014 HAS SOUS 44234 HAS SOUPS 43185 WITH SCORE 43256.116
AT ITER 756 NEW BEST:: SOT 101459 SOS 71116 HAS SOPS 70014 HAS SOUS 44216 HAS SOUPS 43167 WITH SCORE 43238.116
AT ITER 758 NEW BEST:: SOT 101427 SOS 71059 HAS SOPS 69957 HAS SOUS 44206 HAS SOUPS 43157 WITH SCORE 43228.059
AT ITER 764 NEW BEST:: SOT 101501 SOS 71047 HAS SOPS 69913 HAS SOUS 44209 HAS SOUPS 43134 WITH SCORE 43205.047
AT ITER 771 NEW BEST:: SOT 101501 SOS 71047 HAS SOPS 69913 HAS SOUS 44201 HAS SOUPS 43126 WITH SCORE 43197.047
AT ITER 775 NEW BEST:: SOT 101431 SOS 70977 HAS SOPS 69843 HAS SOUS 44025 HAS SOUPS 42950 WITH SCORE 43020.977
AT ITER 777 NEW BEST:: SOT 101337 SOS 70883 HAS SOPS 69749 HAS SOUS 43978 HAS SOUPS 42903 WITH SCORE 42973.883
AT ITER 785 NEW BEST:: SOT 101086 SOS 70822 HAS SOPS 69688 HAS SOUS 43879 HAS SOUPS 42804 WITH SCORE 42874.822
AT ITER 787 NEW BEST:: SOT 100126 SOS 69862 HAS SOPS 68728 HAS SOUS 42793 HAS SOUPS 41718 WITH SCORE 41787.862
AT ITER 802 NEW BEST:: SOT 100121 SOS 69669 HAS SOPS 68535 HAS SOUS 42788 HAS SOUPS 41713 WITH SCORE 41782.669
AT ITER 805 NEW BEST:: SOT 100095 SOS 69617 HAS SOPS 68483 HAS SOUS 42762 HAS SOUPS 41687 WITH SCORE 41756.617
AT ITER 806 NEW BEST:: SOT 100029 SOS 69606 HAS SOPS 68472 HAS SOUS 42749 HAS SOUPS 41674 WITH SCORE 41743.606
AT ITER 817 NEW BEST:: SOT 99953 SOS 69465 HAS SOPS 68331 HAS SOUS 42662 HAS SOUPS 41587 WITH SCORE 41656.465
AT ITER 818 NEW BEST:: SOT 99894 SOS 69406 HAS SOPS 68272 HAS SOUS 42482 HAS SOUPS 41407 WITH SCORE 41476.406
AT ITER 820 NEW BEST:: SOT 99859 SOS 69418 HAS SOPS 68284 HAS SOUS 42380 HAS SOUPS 41305 WITH SCORE 41374.418
AT ITER 821 NEW BEST:: SOT 99927 SOS 69507 HAS SOPS 68373 HAS SOUS 42376 HAS SOUPS 41301 WITH SCORE 41370.507
AT ITER 834 NEW BEST:: SOT 99927 SOS 69225 HAS SOPS 67994 HAS SOUS 42325 HAS SOUPS 41179 WITH SCORE 41248.225
AT ITER 837 NEW BEST:: SOT 99875 SOS 69173 HAS SOPS 67942 HAS SOUS 42325 HAS SOUPS 41179 WITH SCORE 41248.173
AT ITER 843 NEW BEST:: SOT 99739 SOS 69268 HAS SOPS 68037 HAS SOUS 42260 HAS SOUPS 41114 WITH SCORE 41183.268
AT ITER 851 NEW BEST:: SOT 99739 SOS 69013 HAS SOPS 67782 HAS SOUS 42090 HAS SOUPS 40944 WITH SCORE 41013.013
AT ITER 859 NEW BEST:: SOT 99617 SOS 68933 HAS SOPS 67702 HAS SOUS 41963 HAS SOUPS 40817 WITH SCORE 40885.933
AT ITER 865 NEW BEST:: SOT 99536 SOS 69066 HAS SOPS 67835 HAS SOUS 41889 HAS SOUPS 40743 WITH SCORE 40812.066
AT ITER 866 NEW BEST:: SOT 99600 SOS 69065 HAS SOPS 67834 HAS SOUS 41823 HAS SOUPS 40677 WITH SCORE 40746.065
AT ITER 867 NEW BEST:: SOT 99252 SOS 68717 HAS SOPS 67486 HAS SOUS 41387 HAS SOUPS 40241 WITH SCORE 40309.717
AT ITER 873 NEW BEST:: SOT 99033 SOS 68498 HAS SOPS 67267 HAS SOUS 41193 HAS SOUPS 40047 WITH SCORE 40115.498
AT ITER 876 NEW BEST:: SOT 99018 SOS 68583 HAS SOPS 67352 HAS SOUS 41094 HAS SOUPS 39948 WITH SCORE 40016.583
AT ITER 879 NEW BEST:: SOT 99016 SOS 68579 HAS SOPS 67348 HAS SOUS 41090 HAS SOUPS 39944 WITH SCORE 40012.579
AT ITER 891 NEW BEST:: SOT 99014 SOS 68577 HAS SOPS 67346 HAS SOUS 41088 HAS SOUPS 39942 WITH SCORE 40010.577
AT ITER 892 NEW BEST:: SOT 98997 SOS 68560 HAS SOPS 67329 HAS SOUS 41067 HAS SOUPS 39921 WITH SCORE 39989.56
AT ITER 897 NEW BEST:: SOT 98997 SOS 68538 HAS SOPS 67307 HAS SOUS 41036 HAS SOUPS 39890 WITH SCORE 39958.538
AT ITER 899 NEW BEST:: SOT 98971 SOS 68512 HAS SOPS 67281 HAS SOUS 41032 HAS SOUPS 39886 WITH SCORE 39954.512
AT ITER 900 NEW BEST:: SOT 98927 SOS 68458 HAS SOPS 67227 HAS SOUS 41022 HAS SOUPS 39876 WITH SCORE 39944.458
AT ITER 910 NEW BEST:: SOT 98959 SOS 68490 HAS SOPS 67259 HAS SOUS 40990 HAS SOUPS 39844 WITH SCORE 39912.49
AT ITER 911 NEW BEST:: SOT 98877 SOS 68090 HAS SOPS 66859 HAS SOUS 40990 HAS SOUPS 39844 WITH SCORE 39912.09
AT ITER 913 NEW BEST:: SOT 98873 SOS 68084 HAS SOPS 66853 HAS SOUS 40982 HAS SOUPS 39836 WITH SCORE 39904.084
AT ITER 916 NEW BEST:: SOT 98845 SOS 68082 HAS SOPS 66851 HAS SOUS 40933 HAS SOUPS 39787 WITH SCORE 39855.082
AT ITER 919 NEW BEST:: SOT 98803 SOS 67968 HAS SOPS 66737 HAS SOUS 40869 HAS SOUPS 39723 WITH SCORE 39790.968
AT ITER 920 NEW BEST:: SOT 98803 SOS 67945 HAS SOPS 66694 HAS SOUS 40849 HAS SOUPS 39703 WITH SCORE 39770.945
AT ITER 923 NEW BEST:: SOT 98785 SOS 67927 HAS SOPS 66676 HAS SOUS 40834 HAS SOUPS 39688 WITH SCORE 39755.927
AT ITER 930 NEW BEST:: SOT 98778 SOS 67920 HAS SOPS 66669 HAS SOUS 40827 HAS SOUPS 39681 WITH SCORE 39748.92
AT ITER 935 NEW BEST:: SOT 98592 SOS 67734 HAS SOPS 66483 HAS SOUS 40735 HAS SOUPS 39589 WITH SCORE 39656.734
AT ITER 943 NEW BEST:: SOT 98592 SOS 67590 HAS SOPS 66339 HAS SOUS 40690 HAS SOUPS 39544 WITH SCORE 39611.59
AT ITER 946 NEW BEST:: SOT 98592 SOS 67576 HAS SOPS 66325 HAS SOUS 40668 HAS SOUPS 39522 WITH SCORE 39589.576
AT ITER 950 NEW BEST:: SOT 98198 SOS 67315 HAS SOPS 66064 HAS SOUS 40507 HAS SOUPS 39361 WITH SCORE 39428.315
AT ITER 953 NEW BEST:: SOT 98129 SOS 67216 HAS SOPS 65965 HAS SOUS 40398 HAS SOUPS 39252 WITH SCORE 39319.216
AT ITER 958 NEW BEST:: SOT 98129 SOS 67115 HAS SOPS 65864 HAS SOUS 40344 HAS SOUPS 39198 WITH SCORE 39265.115
AT ITER 962 NEW BEST:: SOT 97811 SOS 67063 HAS SOPS 65887 HAS SOUS 40090 HAS SOUPS 39019 WITH SCORE 39086.063
AT ITER 963 NEW BEST:: SOT 97629 SOS 66847 HAS SOPS 65671 HAS SOUS 39874 HAS SOUPS 38803 WITH SCORE 38869.847
AT ITER 967 NEW BEST:: SOT 97612 SOS 66830 HAS SOPS 65654 HAS SOUS 39857 HAS SOUPS 38786 WITH SCORE 38852.83
AT ITER 971 NEW BEST:: SOT 97379 SOS 66611 HAS SOPS 65435 HAS SOUS 39726 HAS SOUPS 38655 WITH SCORE 38721.611
AT ITER 975 NEW BEST:: SOT 97379 SOS 66589 HAS SOPS 65409 HAS SOUS 39726 HAS SOUPS 38653 WITH SCORE 38719.589
AT ITER 988 NEW BEST:: SOT 97130 SOS 66324 HAS SOPS 65144 HAS SOUS 39495 HAS SOUPS 38422 WITH SCORE 38488.324
AT ITER 1010 NEW BEST:: SOT 96944 SOS 66138 HAS SOPS 64958 HAS SOUS 39354 HAS SOUPS 38281 WITH SCORE 38347.138
AT ITER 1013 NEW BEST:: SOT 96900 SOS 66063 HAS SOPS 64883 HAS SOUS 39245 HAS SOUPS 38172 WITH SCORE 38238.063
AT ITER 1029 NEW BEST:: SOT 96816 SOS 65999 HAS SOPS 64819 HAS SOUS 39161 HAS SOUPS 38088 WITH SCORE 38153.999
AT ITER 1031 NEW BEST:: SOT 96771 SOS 65986 HAS SOPS 64806 HAS SOUS 39013 HAS SOUPS 37940 WITH SCORE 38005.986
AT ITER 1032 NEW BEST:: SOT 96765 SOS 65980 HAS SOPS 64800 HAS SOUS 39010 HAS SOUPS 37937 WITH SCORE 38002.98
AT ITER 1044 NEW BEST:: SOT 96369 SOS 66091 HAS SOPS 65036 HAS SOUS 38860 HAS SOUPS 37912 WITH SCORE 37978.091
AT ITER 1046 NEW BEST:: SOT 96341 SOS 66063 HAS SOPS 65008 HAS SOUS 38790 HAS SOUPS 37842 WITH SCORE 37908.063
AT ITER 1055 NEW BEST:: SOT 96350 SOS 66111 HAS SOPS 65056 HAS SOUS 38741 HAS SOUPS 37793 WITH SCORE 37859.111
AT ITER 1056 NEW BEST:: SOT 96185 SOS 65946 HAS SOPS 64891 HAS SOUS 38476 HAS SOUPS 37528 WITH SCORE 37593.946
AT ITER 1057 NEW BEST:: SOT 96092 SOS 65853 HAS SOPS 64798 HAS SOUS 38440 HAS SOUPS 37492 WITH SCORE 37557.853
AT ITER 1062 NEW BEST:: SOT 96094 SOS 65830 HAS SOPS 64775 HAS SOUS 38403 HAS SOUPS 37455 WITH SCORE 37520.83
AT ITER 1064 NEW BEST:: SOT 96110 SOS 65880 HAS SOPS 64825 HAS SOUS 38248 HAS SOUPS 37300 WITH SCORE 37365.88
AT ITER 1080 NEW BEST:: SOT 96071 SOS 65773 HAS SOPS 64718 HAS SOUS 38168 HAS SOUPS 37220 WITH SCORE 37285.773
AT ITER 1087 NEW BEST:: SOT 96001 SOS 65703 HAS SOPS 64648 HAS SOUS 38098 HAS SOUPS 37150 WITH SCORE 37215.703
AT ITER 1089 NEW BEST:: SOT 95964 SOS 65666 HAS SOPS 64611 HAS SOUS 38065 HAS SOUPS 37117 WITH SCORE 37182.666
AT ITER 1120 NEW BEST:: SOT 95964 SOS 65606 HAS SOPS 64551 HAS SOUS 38050 HAS SOUPS 37102 WITH SCORE 37167.606
AT ITER 1123 NEW BEST:: SOT 95964 SOS 65593 HAS SOPS 64538 HAS SOUS 38037 HAS SOUPS 37089 WITH SCORE 37154.593
AT ITER 1124 NEW BEST:: SOT 95900 SOS 65529 HAS SOPS 64474 HAS SOUS 37973 HAS SOUPS 37025 WITH SCORE 37090.529
AT ITER 1128 NEW BEST:: SOT 95826 SOS 65372 HAS SOPS 64317 HAS SOUS 37921 HAS SOUPS 36973 WITH SCORE 37038.372
AT ITER 1134 NEW BEST:: SOT 95775 SOS 65321 HAS SOPS 64266 HAS SOUS 37870 HAS SOUPS 36922 WITH SCORE 36987.321
AT ITER 1140 NEW BEST:: SOT 95751 SOS 65260 HAS SOPS 64100 HAS SOUS 37934 HAS SOUPS 36881 WITH SCORE 36946.26
AT ITER 1149 NEW BEST:: SOT 95724 SOS 65233 HAS SOPS 64073 HAS SOUS 37907 HAS SOUPS 36854 WITH SCORE 36919.233
AT ITER 1150 NEW BEST:: SOT 95483 SOS 65024 HAS SOPS 63864 HAS SOUS 37684 HAS SOUPS 36631 WITH SCORE 36696.024
AT ITER 1153 NEW BEST:: SOT 95401 SOS 64906 HAS SOPS 63746 HAS SOUS 37624 HAS SOUPS 36571 WITH SCORE 36635.906
AT ITER 1159 NEW BEST:: SOT 95401 SOS 64906 HAS SOPS 63746 HAS SOUS 37578 HAS SOUPS 36525 WITH SCORE 36589.906
AT ITER 1167 NEW BEST:: SOT 95152 SOS 64657 HAS SOPS 63513 HAS SOUS 37314 HAS SOUPS 36277 WITH SCORE 36341.657
AT ITER 1169 NEW BEST:: SOT 95101 SOS 64645 HAS SOPS 63501 HAS SOUS 37287 HAS SOUPS 36250 WITH SCORE 36314.645
AT ITER 1174 NEW BEST:: SOT 94919 SOS 64485 HAS SOPS 63341 HAS SOUS 37142 HAS SOUPS 36105 WITH SCORE 36169.485
AT ITER 1177 NEW BEST:: SOT 94747 SOS 63961 HAS SOPS 62817 HAS SOUS 37017 HAS SOUPS 35980 WITH SCORE 36043.961
AT ITER 1193 NEW BEST:: SOT 94739 SOS 63953 HAS SOPS 62809 HAS SOUS 37005 HAS SOUPS 35968 WITH SCORE 36031.953
AT ITER 1195 NEW BEST:: SOT 94732 SOS 63932 HAS SOPS 62788 HAS SOUS 36984 HAS SOUPS 35947 WITH SCORE 36010.932
AT ITER 1198 NEW BEST:: SOT 94748 SOS 63971 HAS SOPS 62827 HAS SOUS 36979 HAS SOUPS 35942 WITH SCORE 36005.971
AT ITER 1204 NEW BEST:: SOT 94742 SOS 63929 HAS SOPS 62773 HAS SOUS 36955 HAS SOUPS 35906 WITH SCORE 35969.929
AT ITER 1212 NEW BEST:: SOT 94742 SOS 63909 HAS SOPS 62753 HAS SOUS 36945 HAS SOUPS 35896 WITH SCORE 35959.909
AT ITER 1215 NEW BEST:: SOT 94736 SOS 63903 HAS SOPS 62747 HAS SOUS 36927 HAS SOUPS 35878 WITH SCORE 35941.903
AT ITER 1232 NEW BEST:: SOT 94654 SOS 63751 HAS SOPS 62557 HAS SOUS 36795 HAS SOUPS 35708 WITH SCORE 35771.751
AT ITER 1251 NEW BEST:: SOT 94657 SOS 63754 HAS SOPS 62560 HAS SOUS 36662 HAS SOUPS 35575 WITH SCORE 35638.754
AT ITER 1255 NEW BEST:: SOT 94598 SOS 63599 HAS SOPS 62405 HAS SOUS 36658 HAS SOUPS 35571 WITH SCORE 35634.599
AT ITER 1261 NEW BEST:: SOT 94598 SOS 63544 HAS SOPS 62350 HAS SOUS 36658 HAS SOUPS 35571 WITH SCORE 35634.544
AT ITER 1264 NEW BEST:: SOT 94574 SOS 63496 HAS SOPS 62302 HAS SOUS 36598 HAS SOUPS 35511 WITH SCORE 35574.496
AT ITER 1278 NEW BEST:: SOT 94563 SOS 63485 HAS SOPS 62291 HAS SOUS 36587 HAS SOUPS 35500 WITH SCORE 35563.485
AT ITER 1281 NEW BEST:: SOT 94579 SOS 63483 HAS SOPS 62289 HAS SOUS 36585 HAS SOUPS 35498 WITH SCORE 35561.483
AT ITER 1283 NEW BEST:: SOT 94565 SOS 63469 HAS SOPS 62275 HAS SOUS 36571 HAS SOUPS 35484 WITH SCORE 35547.469
AT ITER 1292 NEW BEST:: SOT 94578 SOS 63482 HAS SOPS 62288 HAS SOUS 36478 HAS SOUPS 35391 WITH SCORE 35454.482
AT ITER 1297 NEW BEST:: SOT 94468 SOS 63372 HAS SOPS 62178 HAS SOUS 36478 HAS SOUPS 35391 WITH SCORE 35454.372
AT ITER 1309 NEW BEST:: SOT 94490 SOS 63394 HAS SOPS 62200 HAS SOUS 36412 HAS SOUPS 35325 WITH SCORE 35388.394
AT ITER 1313 NEW BEST:: SOT 94487 SOS 62583 HAS SOPS 61389 HAS SOUS 36399 HAS SOUPS 35312 WITH SCORE 35374.583
AT ITER 1315 NEW BEST:: SOT 94487 SOS 62724 HAS SOPS 61530 HAS SOUS 36397 HAS SOUPS 35310 WITH SCORE 35372.724
AT ITER 1327 NEW BEST:: SOT 94373 SOS 62468 HAS SOPS 61274 HAS SOUS 36283 HAS SOUPS 35196 WITH SCORE 35258.468
AT ITER 1340 NEW BEST:: SOT 93916 SOS 62073 HAS SOPS 60879 HAS SOUS 35992 HAS SOUPS 34905 WITH SCORE 34967.073
AT ITER 1348 NEW BEST:: SOT 93786 SOS 61963 HAS SOPS 60769 HAS SOUS 35965 HAS SOUPS 34878 WITH SCORE 34939.963
AT ITER 1350 NEW BEST:: SOT 93786 SOS 61963 HAS SOPS 60769 HAS SOUS 35944 HAS SOUPS 34857 WITH SCORE 34918.963
AT ITER 1359 NEW BEST:: SOT 93791 SOS 62030 HAS SOPS 60836 HAS SOUS 35927 HAS SOUPS 34840 WITH SCORE 34902.03
AT ITER 1361 NEW BEST:: SOT 93733 SOS 61966 HAS SOPS 60772 HAS SOUS 35889 HAS SOUPS 34802 WITH SCORE 34863.966
AT ITER 1368 NEW BEST:: SOT 93720 SOS 61953 HAS SOPS 60759 HAS SOUS 35812 HAS SOUPS 34725 WITH SCORE 34786.953
AT ITER 1369 NEW BEST:: SOT 93693 SOS 61917 HAS SOPS 60723 HAS SOUS 35767 HAS SOUPS 34680 WITH SCORE 34741.917
AT ITER 1382 NEW BEST:: SOT 93689 SOS 61909 HAS SOPS 60715 HAS SOUS 35761 HAS SOUPS 34674 WITH SCORE 34735.909
AT ITER 1393 NEW BEST:: SOT 93680 SOS 61830 HAS SOPS 60636 HAS SOUS 35682 HAS SOUPS 34595 WITH SCORE 34656.83
AT ITER 1398 NEW BEST:: SOT 93622 SOS 61745 HAS SOPS 60551 HAS SOUS 35540 HAS SOUPS 34453 WITH SCORE 34514.745
AT ITER 1400 NEW BEST:: SOT 93591 SOS 61634 HAS SOPS 60440 HAS SOUS 35476 HAS SOUPS 34389 WITH SCORE 34450.634
AT ITER 1415 NEW BEST:: SOT 93541 SOS 61401 HAS SOPS 60163 HAS SOUS 35422 HAS SOUPS 34291 WITH SCORE 34352.401
AT ITER 1429 NEW BEST:: SOT 93497 SOS 61355 HAS SOPS 60117 HAS SOUS 35376 HAS SOUPS 34245 WITH SCORE 34306.355
AT ITER 1430 NEW BEST:: SOT 93469 SOS 61439 HAS SOPS 60201 HAS SOUS 35348 HAS SOUPS 34217 WITH SCORE 34278.439
AT ITER 1443 NEW BEST:: SOT 93469 SOS 61439 HAS SOPS 60201 HAS SOUS 35346 HAS SOUPS 34215 WITH SCORE 34276.439
AT ITER 1455 NEW BEST:: SOT 93469 SOS 61439 HAS SOPS 60201 HAS SOUS 35336 HAS SOUPS 34205 WITH SCORE 34266.439
AT ITER 1459 NEW BEST:: SOT 93444 SOS 61439 HAS SOPS 60201 HAS SOUS 35311 HAS SOUPS 34180 WITH SCORE 34241.439
AT ITER 1486 NEW BEST:: SOT 93586 SOS 61740 HAS SOPS 60502 HAS SOUS 35236 HAS SOUPS 34105 WITH SCORE 34166.74
AT ITER 1493 NEW BEST:: SOT 93586 SOS 61638 HAS SOPS 60400 HAS SOUS 35198 HAS SOUPS 34067 WITH SCORE 34128.638
AT ITER 1502 NEW BEST:: SOT 93582 SOS 60835 HAS SOPS 59597 HAS SOUS 35109 HAS SOUPS 33978 WITH SCORE 34038.835
AT ITER 1506 NEW BEST:: SOT 93499 SOS 60808 HAS SOPS 59570 HAS SOUS 35074 HAS SOUPS 33943 WITH SCORE 34003.808
AT ITER 1507 NEW BEST:: SOT 93510 SOS 60798 HAS SOPS 59632 HAS SOUS 34992 HAS SOUPS 33933 WITH SCORE 33993.798
AT ITER 1512 NEW BEST:: SOT 93513 SOS 60801 HAS SOPS 59635 HAS SOUS 34979 HAS SOUPS 33920 WITH SCORE 33980.801
AT ITER 1515 NEW BEST:: SOT 93538 SOS 60391 HAS SOPS 59376 HAS SOUS 34606 HAS SOUPS 33698 WITH SCORE 33758.391
AT ITER 1537 NEW BEST:: SOT 93480 SOS 60333 HAS SOPS 59318 HAS SOUS 34548 HAS SOUPS 33640 WITH SCORE 33700.333
AT ITER 1545 NEW BEST:: SOT 93527 SOS 60380 HAS SOPS 59365 HAS SOUS 34511 HAS SOUPS 33603 WITH SCORE 33663.38
AT ITER 1560 NEW BEST:: SOT 93522 SOS 60365 HAS SOPS 59350 HAS SOUS 34506 HAS SOUPS 33598 WITH SCORE 33658.365
AT ITER 1561 NEW BEST:: SOT 93495 SOS 60315 HAS SOPS 59300 HAS SOUS 34496 HAS SOUPS 33588 WITH SCORE 33648.315
AT ITER 1569 NEW BEST:: SOT 93425 SOS 60284 HAS SOPS 59269 HAS SOUS 34465 HAS SOUPS 33557 WITH SCORE 33617.284
AT ITER 1582 NEW BEST:: SOT 93425 SOS 60284 HAS SOPS 59269 HAS SOUS 34460 HAS SOUPS 33552 WITH SCORE 33612.284
AT ITER 1584 NEW BEST:: SOT 93425 SOS 60228 HAS SOPS 59213 HAS SOUS 34380 HAS SOUPS 33472 WITH SCORE 33532.228
AT ITER 1589 NEW BEST:: SOT 93477 SOS 60280 HAS SOPS 59265 HAS SOUS 34330 HAS SOUPS 33422 WITH SCORE 33482.28
AT ITER 1595 NEW BEST:: SOT 93427 SOS 60230 HAS SOPS 59215 HAS SOUS 34322 HAS SOUPS 33414 WITH SCORE 33474.23
AT ITER 1600 NEW BEST:: SOT 93310 SOS 60094 HAS SOPS 59079 HAS SOUS 34303 HAS SOUPS 33395 WITH SCORE 33455.094
AT ITER 1603 NEW BEST:: SOT 93297 SOS 60072 HAS SOPS 59057 HAS SOUS 34294 HAS SOUPS 33386 WITH SCORE 33446.072
AT ITER 1624 NEW BEST:: SOT 93218 SOS 59993 HAS SOPS 58978 HAS SOUS 34089 HAS SOUPS 33181 WITH SCORE 33240.993
AT ITER 1628 NEW BEST:: SOT 93034 SOS 59570 HAS SOPS 58541 HAS SOUS 33654 HAS SOUPS 32735 WITH SCORE 32794.57
AT ITER 1633 NEW BEST:: SOT 93055 SOS 59591 HAS SOPS 58562 HAS SOUS 33605 HAS SOUPS 32686 WITH SCORE 32745.591
AT ITER 1635 NEW BEST:: SOT 93013 SOS 59577 HAS SOPS 58548 HAS SOUS 33563 HAS SOUPS 32644 WITH SCORE 32703.577
AT ITER 1642 NEW BEST:: SOT 92985 SOS 59445 HAS SOPS 58416 HAS SOUS 33535 HAS SOUPS 32616 WITH SCORE 32675.445
AT ITER 1643 NEW BEST:: SOT 93005 SOS 59465 HAS SOPS 58436 HAS SOUS 33519 HAS SOUPS 32600 WITH SCORE 32659.465
AT ITER 1661 NEW BEST:: SOT 92633 SOS 58721 HAS SOPS 57692 HAS SOUS 33394 HAS SOUPS 32475 WITH SCORE 32533.721
AT ITER 1664 NEW BEST:: SOT 92633 SOS 58653 HAS SOPS 57624 HAS SOUS 33353 HAS SOUPS 32434 WITH SCORE 32492.653
AT ITER 1669 NEW BEST:: SOT 92636 SOS 58662 HAS SOPS 57633 HAS SOUS 33350 HAS SOUPS 32431 WITH SCORE 32489.662
AT ITER 1678 NEW BEST:: SOT 92554 SOS 58995 HAS SOPS 57966 HAS SOUS 33339 HAS SOUPS 32420 WITH SCORE 32478.995
AT ITER 1683 NEW BEST:: SOT 92551 SOS 58898 HAS SOPS 57869 HAS SOUS 33323 HAS SOUPS 32404 WITH SCORE 32462.898
AT ITER 1686 NEW BEST:: SOT 92507 SOS 58854 HAS SOPS 57825 HAS SOUS 33290 HAS SOUPS 32371 WITH SCORE 32429.854
AT ITER 1688 NEW BEST:: SOT 92570 SOS 59075 HAS SOPS 57888 HAS SOUS 33338 HAS SOUPS 32296 WITH SCORE 32355.075
AT ITER 1692 NEW BEST:: SOT 92569 SOS 59075 HAS SOPS 57888 HAS SOUS 33337 HAS SOUPS 32295 WITH SCORE 32354.075
AT ITER 1698 NEW BEST:: SOT 92569 SOS 59060 HAS SOPS 57873 HAS SOUS 33332 HAS SOUPS 32290 WITH SCORE 32349.06
AT ITER 1709 NEW BEST:: SOT 92561 SOS 59052 HAS SOPS 57865 HAS SOUS 33324 HAS SOUPS 32282 WITH SCORE 32341.052
AT ITER 1712 NEW BEST:: SOT 92485 SOS 58976 HAS SOPS 57789 HAS SOUS 33225 HAS SOUPS 32183 WITH SCORE 32241.976
AT ITER 1719 NEW BEST:: SOT 92477 SOS 58647 HAS SOPS 57460 HAS SOUS 33150 HAS SOUPS 32108 WITH SCORE 32166.647
AT ITER 1722 NEW BEST:: SOT 92406 SOS 58525 HAS SOPS 57338 HAS SOUS 33074 HAS SOUPS 32032 WITH SCORE 32090.525
AT ITER 1729 NEW BEST:: SOT 92402 SOS 58521 HAS SOPS 57334 HAS SOUS 33004 HAS SOUPS 31962 WITH SCORE 32020.521
AT ITER 1731 NEW BEST:: SOT 92392 SOS 58506 HAS SOPS 57319 HAS SOUS 32989 HAS SOUPS 31947 WITH SCORE 32005.506
AT ITER 1754 NEW BEST:: SOT 92392 SOS 58506 HAS SOPS 57319 HAS SOUS 32957 HAS SOUPS 31915 WITH SCORE 31973.506
AT ITER 1759 NEW BEST:: SOT 92342 SOS 58456 HAS SOPS 57269 HAS SOUS 32957 HAS SOUPS 31915 WITH SCORE 31973.456
AT ITER 1760 NEW BEST:: SOT 92225 SOS 58364 HAS SOPS 57177 HAS SOUS 32900 HAS SOUPS 31858 WITH SCORE 31916.364
AT ITER 1762 NEW BEST:: SOT 92190 SOS 58329 HAS SOPS 57142 HAS SOUS 32865 HAS SOUPS 31823 WITH SCORE 31881.329
AT ITER 1768 NEW BEST:: SOT 92218 SOS 58357 HAS SOPS 57170 HAS SOUS 32822 HAS SOUPS 31780 WITH SCORE 31838.357
AT ITER 1769 NEW BEST:: SOT 92110 SOS 58120 HAS SOPS 56933 HAS SOUS 32504 HAS SOUPS 31462 WITH SCORE 31520.12
AT ITER 1771 NEW BEST:: SOT 92096 SOS 58106 HAS SOPS 56919 HAS SOUS 32490 HAS SOUPS 31448 WITH SCORE 31506.106
AT ITER 1792 NEW BEST:: SOT 92087 SOS 58079 HAS SOPS 56892 HAS SOUS 32490 HAS SOUPS 31448 WITH SCORE 31506.079
AT ITER 1796 NEW BEST:: SOT 91986 SOS 57978 HAS SOPS 56791 HAS SOUS 32389 HAS SOUPS 31347 WITH SCORE 31404.978
AT ITER 1813 NEW BEST:: SOT 91985 SOS 57945 HAS SOPS 56758 HAS SOUS 32381 HAS SOUPS 31339 WITH SCORE 31396.945
AT ITER 1820 NEW BEST:: SOT 91893 SOS 57822 HAS SOPS 56635 HAS SOUS 32197 HAS SOUPS 31155 WITH SCORE 31212.822
AT ITER 1829 NEW BEST:: SOT 91892 SOS 57821 HAS SOPS 56634 HAS SOUS 32196 HAS SOUPS 31154 WITH SCORE 31211.821
AT ITER 1837 NEW BEST:: SOT 91777 SOS 57714 HAS SOPS 56527 HAS SOUS 32089 HAS SOUPS 31047 WITH SCORE 31104.714
AT ITER 1854 NEW BEST:: SOT 91711 SOS 57648 HAS SOPS 56461 HAS SOUS 32061 HAS SOUPS 31019 WITH SCORE 31076.648
AT ITER 1856 NEW BEST:: SOT 91711 SOS 57873 HAS SOPS 56461 HAS SOUS 32141 HAS SOUPS 31012 WITH SCORE 31069.873
AT ITER 1859 NEW BEST:: SOT 91711 SOS 57764 HAS SOPS 56352 HAS SOUS 32141 HAS SOUPS 31012 WITH SCORE 31069.764
AT ITER 1863 NEW BEST:: SOT 91755 SOS 57808 HAS SOPS 56396 HAS SOUS 32113 HAS SOUPS 30984 WITH SCORE 31041.808
AT ITER 1869 NEW BEST:: SOT 91759 SOS 57347 HAS SOPS 55935 HAS SOUS 31989 HAS SOUPS 30860 WITH SCORE 30917.347
AT ITER 1877 NEW BEST:: SOT 91704 SOS 57237 HAS SOPS 55825 HAS SOUS 31989 HAS SOUPS 30860 WITH SCORE 30917.237
AT ITER 1880 NEW BEST:: SOT 91704 SOS 57207 HAS SOPS 55786 HAS SOUS 31989 HAS SOUPS 30851 WITH SCORE 30908.207
AT ITER 1883 NEW BEST:: SOT 91713 SOS 57045 HAS SOPS 55637 HAS SOUS 31876 HAS SOUPS 30751 WITH SCORE 30808.045
AT ITER 1889 NEW BEST:: SOT 91734 SOS 56305 HAS SOPS 54897 HAS SOUS 31655 HAS SOUPS 30530 WITH SCORE 30586.305
AT ITER 1892 NEW BEST:: SOT 91674 SOS 56269 HAS SOPS 54861 HAS SOUS 31592 HAS SOUPS 30467 WITH SCORE 30523.269
AT ITER 1895 NEW BEST:: SOT 91524 SOS 55994 HAS SOPS 54586 HAS SOUS 31516 HAS SOUPS 30391 WITH SCORE 30446.994
AT ITER 1907 NEW BEST:: SOT 91466 SOS 55936 HAS SOPS 54528 HAS SOUS 31481 HAS SOUPS 30356 WITH SCORE 30411.936
AT ITER 1911 NEW BEST:: SOT 91466 SOS 55856 HAS SOPS 54427 HAS SOUS 31458 HAS SOUPS 30312 WITH SCORE 30367.856
AT ITER 1914 NEW BEST:: SOT 91474 SOS 55846 HAS SOPS 54417 HAS SOUS 31412 HAS SOUPS 30266 WITH SCORE 30321.846
AT ITER 1933 NEW BEST:: SOT 91475 SOS 55897 HAS SOPS 54468 HAS SOUS 31277 HAS SOUPS 30131 WITH SCORE 30186.897
AT ITER 1936 NEW BEST:: SOT 91473 SOS 55891 HAS SOPS 54462 HAS SOUS 31274 HAS SOUPS 30128 WITH SCORE 30183.891
AT ITER 1953 NEW BEST:: SOT 91394 SOS 55852 HAS SOPS 54423 HAS SOUS 31235 HAS SOUPS 30089 WITH SCORE 30144.852
AT ITER 1957 NEW BEST:: SOT 91394 SOS 55842 HAS SOPS 54413 HAS SOUS 31225 HAS SOUPS 30079 WITH SCORE 30134.842
AT ITER 1960 NEW BEST:: SOT 91330 SOS 55427 HAS SOPS 53998 HAS SOUS 31137 HAS SOUPS 29991 WITH SCORE 30046.427
AT ITER 1964 NEW BEST:: SOT 91014 SOS 55128 HAS SOPS 53699 HAS SOUS 30944 HAS SOUPS 29798 WITH SCORE 29853.128
AT ITER 1969 NEW BEST:: SOT 91006 SOS 55120 HAS SOPS 53691 HAS SOUS 30938 HAS SOUPS 29792 WITH SCORE 29847.12
AT ITER 1971 NEW BEST:: SOT 91002 SOS 55068 HAS SOPS 53639 HAS SOUS 30931 HAS SOUPS 29785 WITH SCORE 29840.068
AT ITER 1975 NEW BEST:: SOT 90921 SOS 54907 HAS SOPS 53478 HAS SOUS 30920 HAS SOUPS 29774 WITH SCORE 29828.907
AT ITER 1981 NEW BEST:: SOT 90894 SOS 54901 HAS SOPS 53472 HAS SOUS 30872 HAS SOUPS 29726 WITH SCORE 29780.901
AT ITER 1982 NEW BEST:: SOT 90902 SOS 54829 HAS SOPS 53332 HAS SOUS 30836 HAS SOUPS 29656 WITH SCORE 29710.829
AT ITER 2000 NEW BEST:: SOT 90832 SOS 54759 HAS SOPS 53262 HAS SOUS 30770 HAS SOUPS 29590 WITH SCORE 29644.759
AT ITER 2012 NEW BEST:: SOT 90831 SOS 54570 HAS SOPS 53022 HAS SOUS 30775 HAS SOUPS 29544 WITH SCORE 29598.57
AT ITER 2017 NEW BEST:: SOT 90791 SOS 54503 HAS SOPS 52955 HAS SOUS 30748 HAS SOUPS 29517 WITH SCORE 29571.503
AT ITER 2026 NEW BEST:: SOT 90771 SOS 54483 HAS SOPS 52935 HAS SOUS 30716 HAS SOUPS 29485 WITH SCORE 29539.483
AT ITER 2028 NEW BEST:: SOT 90651 SOS 54197 HAS SOPS 52649 HAS SOUS 30453 HAS SOUPS 29222 WITH SCORE 29276.197
AT ITER 2032 NEW BEST:: SOT 90607 SOS 54271 HAS SOPS 52722 HAS SOUS 30436 HAS SOUPS 29161 WITH SCORE 29215.271
AT ITER 2047 NEW BEST:: SOT 90607 SOS 54150 HAS SOPS 52601 HAS SOUS 30277 HAS SOUPS 29002 WITH SCORE 29056.15
AT ITER 2049 NEW BEST:: SOT 90542 SOS 54126 HAS SOPS 52577 HAS SOUS 30229 HAS SOUPS 28954 WITH SCORE 29008.126
AT ITER 2059 NEW BEST:: SOT 90542 SOS 54126 HAS SOPS 52577 HAS SOUS 30219 HAS SOUPS 28944 WITH SCORE 28998.126
AT ITER 2061 NEW BEST:: SOT 90542 SOS 54126 HAS SOPS 52577 HAS SOUS 30173 HAS SOUPS 28898 WITH SCORE 28952.126
AT ITER 2073 NEW BEST:: SOT 90465 SOS 54169 HAS SOPS 52620 HAS SOUS 30158 HAS SOUPS 28883 WITH SCORE 28937.169
AT ITER 2090 NEW BEST:: SOT 90465 SOS 54115 HAS SOPS 52566 HAS SOUS 30158 HAS SOUPS 28883 WITH SCORE 28937.115
AT ITER 2093 NEW BEST:: SOT 90403 SOS 54053 HAS SOPS 52504 HAS SOUS 30104 HAS SOUPS 28829 WITH SCORE 28883.053
AT ITER 2102 NEW BEST:: SOT 90403 SOS 54044 HAS SOPS 52495 HAS SOUS 30079 HAS SOUPS 28804 WITH SCORE 28858.044
AT ITER 2109 NEW BEST:: SOT 90408 SOS 54042 HAS SOPS 52483 HAS SOUS 30074 HAS SOUPS 28794 WITH SCORE 28848.042
AT ITER 2118 NEW BEST:: SOT 90344 SOS 53914 HAS SOPS 52355 HAS SOUS 29946 HAS SOUPS 28666 WITH SCORE 28719.914
AT ITER 2120 NEW BEST:: SOT 90345 SOS 53927 HAS SOPS 52356 HAS SOUS 29947 HAS SOUPS 28655 WITH SCORE 28708.927
AT ITER 2122 NEW BEST:: SOT 90320 SOS 53923 HAS SOPS 52351 HAS SOUS 29943 HAS SOUPS 28650 WITH SCORE 28703.923
AT ITER 2125 NEW BEST:: SOT 90306 SOS 53895 HAS SOPS 52323 HAS SOUS 29914 HAS SOUPS 28621 WITH SCORE 28674.895
AT ITER 2127 NEW BEST:: SOT 90292 SOS 53881 HAS SOPS 52309 HAS SOUS 29886 HAS SOUPS 28593 WITH SCORE 28646.881
AT ITER 2152 NEW BEST:: SOT 90292 SOS 53836 HAS SOPS 52249 HAS SOUS 29886 HAS SOUPS 28578 WITH SCORE 28631.836
AT ITER 2184 NEW BEST:: SOT 90229 SOS 53422 HAS SOPS 51835 HAS SOUS 29818 HAS SOUPS 28510 WITH SCORE 28563.422
AT ITER 2188 NEW BEST:: SOT 90235 SOS 53387 HAS SOPS 51831 HAS SOUS 29732 HAS SOUPS 28455 WITH SCORE 28508.387
AT ITER 2194 NEW BEST:: SOT 90159 SOS 53311 HAS SOPS 51755 HAS SOUS 29732 HAS SOUPS 28455 WITH SCORE 28508.311
AT ITER 2195 NEW BEST:: SOT 90181 SOS 53213 HAS SOPS 51657 HAS SOUS 29712 HAS SOUPS 28435 WITH SCORE 28488.213
AT ITER 2197 NEW BEST:: SOT 90203 SOS 53204 HAS SOPS 51708 HAS SOUS 29643 HAS SOUPS 28426 WITH SCORE 28479.204
AT ITER 2228 NEW BEST:: SOT 90203 SOS 53188 HAS SOPS 51692 HAS SOUS 29643 HAS SOUPS 28426 WITH SCORE 28479.188
AT ITER 2229 NEW BEST:: SOT 90185 SOS 53170 HAS SOPS 51674 HAS SOUS 29643 HAS SOUPS 28426 WITH SCORE 28479.17
AT ITER 2230 NEW BEST:: SOT 90185 SOS 53168 HAS SOPS 51672 HAS SOUS 29639 HAS SOUPS 28422 WITH SCORE 28475.168
AT ITER 2232 NEW BEST:: SOT 90005 SOS 52988 HAS SOPS 51492 HAS SOUS 29637 HAS SOUPS 28420 WITH SCORE 28472.988
AT ITER 2237 NEW BEST:: SOT 90000 SOS 52983 HAS SOPS 51487 HAS SOUS 29624 HAS SOUPS 28407 WITH SCORE 28459.983
AT ITER 2258 NEW BEST:: SOT 90063 SOS 52989 HAS SOPS 51493 HAS SOUS 29580 HAS SOUPS 28363 WITH SCORE 28415.989
AT ITER 2265 NEW BEST:: SOT 90041 SOS 52963 HAS SOPS 51467 HAS SOUS 29573 HAS SOUPS 28356 WITH SCORE 28408.963
AT ITER 2266 NEW BEST:: SOT 89914 SOS 52836 HAS SOPS 51340 HAS SOUS 29446 HAS SOUPS 28229 WITH SCORE 28281.836
AT ITER 2275 NEW BEST:: SOT 89963 SOS 52885 HAS SOPS 51389 HAS SOUS 29390 HAS SOUPS 28173 WITH SCORE 28225.885
AT ITER 2282 NEW BEST:: SOT 89963 SOS 52885 HAS SOPS 51389 HAS SOUS 29380 HAS SOUPS 28163 WITH SCORE 28215.885
AT ITER 2287 NEW BEST:: SOT 89951 SOS 52855 HAS SOPS 51359 HAS SOUS 29380 HAS SOUPS 28163 WITH SCORE 28215.855
AT ITER 2343 NEW BEST:: SOT 89937 SOS 52841 HAS SOPS 51345 HAS SOUS 29316 HAS SOUPS 28099 WITH SCORE 28151.841
AT ITER 2346 NEW BEST:: SOT 89937 SOS 52841 HAS SOPS 51345 HAS SOUS 29260 HAS SOUPS 28043 WITH SCORE 28095.841
AT ITER 2361 NEW BEST:: SOT 89935 SOS 52775 HAS SOPS 51328 HAS SOUS 29184 HAS SOUPS 28016 WITH SCORE 28068.775
AT ITER 2378 NEW BEST:: SOT 89935 SOS 52775 HAS SOPS 51328 HAS SOUS 29150 HAS SOUPS 27982 WITH SCORE 28034.775
AT ITER 2386 NEW BEST:: SOT 89939 SOS 52779 HAS SOPS 51332 HAS SOUS 29126 HAS SOUPS 27958 WITH SCORE 28010.779
AT ITER 2390 NEW BEST:: SOT 89923 SOS 52739 HAS SOPS 51292 HAS SOUS 29102 HAS SOUPS 27934 WITH SCORE 27986.739
AT ITER 2391 NEW BEST:: SOT 89923 SOS 52739 HAS SOPS 51292 HAS SOUS 29088 HAS SOUPS 27920 WITH SCORE 27972.739
AT ITER 2446 NEW BEST:: SOT 89937 SOS 52753 HAS SOPS 51306 HAS SOUS 29087 HAS SOUPS 27919 WITH SCORE 27971.753
AT ITER 2451 NEW BEST:: SOT 89909 SOS 52725 HAS SOPS 51278 HAS SOUS 29087 HAS SOUPS 27919 WITH SCORE 27971.725
AT ITER 2456 NEW BEST:: SOT 89828 SOS 52535 HAS SOPS 51088 HAS SOUS 28909 HAS SOUPS 27741 WITH SCORE 27793.535
AT ITER 2458 NEW BEST:: SOT 89724 SOS 52323 HAS SOPS 50876 HAS SOUS 28857 HAS SOUPS 27689 WITH SCORE 27741.323
AT ITER 2459 NEW BEST:: SOT 89705 SOS 52228 HAS SOPS 50762 HAS SOUS 28819 HAS SOUPS 27632 WITH SCORE 27684.228
AT ITER 2462 NEW BEST:: SOT 89705 SOS 52227 HAS SOPS 50761 HAS SOUS 28819 HAS SOUPS 27632 WITH SCORE 27684.227
AT ITER 2481 NEW BEST:: SOT 89610 SOS 52180 HAS SOPS 50714 HAS SOUS 28748 HAS SOUPS 27561 WITH SCORE 27613.18
AT ITER 2487 NEW BEST:: SOT 89594 SOS 52164 HAS SOPS 50698 HAS SOUS 28731 HAS SOUPS 27544 WITH SCORE 27596.164
AT ITER 2509 NEW BEST:: SOT 89573 SOS 52122 HAS SOPS 50677 HAS SOUS 28689 HAS SOUPS 27523 WITH SCORE 27575.122
AT ITER 2516 NEW BEST:: SOT 89388 SOS 51874 HAS SOPS 50429 HAS SOUS 28428 HAS SOUPS 27262 WITH SCORE 27313.874
AT ITER 2520 NEW BEST:: SOT 89289 SOS 52070 HAS SOPS 50635 HAS SOUS 28334 HAS SOUPS 27168 WITH SCORE 27220.07
AT ITER 2526 NEW BEST:: SOT 89289 SOS 52153 HAS SOPS 50542 HAS SOUS 28279 HAS SOUPS 27054 WITH SCORE 27106.153
AT ITER 2529 NEW BEST:: SOT 89304 SOS 52125 HAS SOPS 50514 HAS SOUS 28279 HAS SOUPS 27054 WITH SCORE 27106.125
AT ITER 2532 NEW BEST:: SOT 89296 SOS 52119 HAS SOPS 50504 HAS SOUS 28275 HAS SOUPS 27050 WITH SCORE 27102.119
AT ITER 2553 NEW BEST:: SOT 89271 SOS 52071 HAS SOPS 50456 HAS SOUS 28252 HAS SOUPS 27027 WITH SCORE 27079.071
AT ITER 2561 NEW BEST:: SOT 89262 SOS 52062 HAS SOPS 50447 HAS SOUS 28225 HAS SOUPS 27000 WITH SCORE 27052.062
AT ITER 2564 NEW BEST:: SOT 89240 SOS 52040 HAS SOPS 50425 HAS SOUS 28225 HAS SOUPS 27000 WITH SCORE 27052.04
AT ITER 2565 NEW BEST:: SOT 89240 SOS 52040 HAS SOPS 50425 HAS SOUS 28193 HAS SOUPS 26968 WITH SCORE 27020.04
AT ITER 2566 NEW BEST:: SOT 89240 SOS 51934 HAS SOPS 50319 HAS SOUS 28193 HAS SOUPS 26968 WITH SCORE 27019.934
AT ITER 2568 NEW BEST:: SOT 89259 SOS 51953 HAS SOPS 50338 HAS SOUS 28160 HAS SOUPS 26935 WITH SCORE 26986.953
AT ITER 2572 NEW BEST:: SOT 89224 SOS 51943 HAS SOPS 50328 HAS SOUS 28150 HAS SOUPS 26925 WITH SCORE 26976.943
AT ITER 2581 NEW BEST:: SOT 89224 SOS 51913 HAS SOPS 50298 HAS SOUS 28150 HAS SOUPS 26925 WITH SCORE 26976.913
AT ITER 2583 NEW BEST:: SOT 89218 SOS 51854 HAS SOPS 50226 HAS SOUS 28144 HAS SOUPS 26906 WITH SCORE 26957.854
AT ITER 2599 NEW BEST:: SOT 89212 SOS 51836 HAS SOPS 50208 HAS SOUS 28132 HAS SOUPS 26894 WITH SCORE 26945.836
AT ITER 2617 NEW BEST:: SOT 89178 SOS 51789 HAS SOPS 50161 HAS SOUS 28078 HAS SOUPS 26840 WITH SCORE 26891.789
AT ITER 2630 NEW BEST:: SOT 89178 SOS 51769 HAS SOPS 50141 HAS SOUS 28056 HAS SOUPS 26818 WITH SCORE 26869.769
AT ITER 2652 NEW BEST:: SOT 89169 SOS 51760 HAS SOPS 50132 HAS SOUS 28047 HAS SOUPS 26809 WITH SCORE 26860.76
AT ITER 2658 NEW BEST:: SOT 89131 SOS 51722 HAS SOPS 50094 HAS SOUS 28012 HAS SOUPS 26774 WITH SCORE 26825.722
AT ITER 2665 NEW BEST:: SOT 89101 SOS 51665 HAS SOPS 50037 HAS SOUS 27999 HAS SOUPS 26761 WITH SCORE 26812.665
AT ITER 2688 NEW BEST:: SOT 89119 SOS 51683 HAS SOPS 50055 HAS SOUS 27997 HAS SOUPS 26759 WITH SCORE 26810.683
AT ITER 2689 NEW BEST:: SOT 89169 SOS 51823 HAS SOPS 50195 HAS SOUS 27935 HAS SOUPS 26697 WITH SCORE 26748.823
AT ITER 2695 NEW BEST:: SOT 89072 SOS 51700 HAS SOPS 50072 HAS SOUS 27880 HAS SOUPS 26642 WITH SCORE 26693.7
AT ITER 2696 NEW BEST:: SOT 89049 SOS 51766 HAS SOPS 50138 HAS SOUS 27876 HAS SOUPS 26638 WITH SCORE 26689.766
AT ITER 2699 NEW BEST:: SOT 89035 SOS 51782 HAS SOPS 50154 HAS SOUS 27852 HAS SOUPS 26614 WITH SCORE 26665.782
AT ITER 2713 NEW BEST:: SOT 89041 SOS 51788 HAS SOPS 50160 HAS SOUS 27846 HAS SOUPS 26608 WITH SCORE 26659.788
AT ITER 2720 NEW BEST:: SOT 89013 SOS 51760 HAS SOPS 50132 HAS SOUS 27818 HAS SOUPS 26580 WITH SCORE 26631.76
AT ITER 2727 NEW BEST:: SOT 88797 SOS 51544 HAS SOPS 49916 HAS SOUS 27736 HAS SOUPS 26498 WITH SCORE 26549.544
AT ITER 2735 NEW BEST:: SOT 88730 SOS 51477 HAS SOPS 49849 HAS SOUS 27702 HAS SOUPS 26464 WITH SCORE 26515.477
AT ITER 2736 NEW BEST:: SOT 88730 SOS 51469 HAS SOPS 49839 HAS SOUS 27700 HAS SOUPS 26462 WITH SCORE 26513.469
AT ITER 2754 NEW BEST:: SOT 88730 SOS 51469 HAS SOPS 49839 HAS SOUS 27668 HAS SOUPS 26430 WITH SCORE 26481.469
AT ITER 2774 NEW BEST:: SOT 88730 SOS 51378 HAS SOPS 49686 HAS SOUS 27673 HAS SOUPS 26413 WITH SCORE 26464.378
AT ITER 2779 NEW BEST:: SOT 88652 SOS 51300 HAS SOPS 49608 HAS SOUS 27640 HAS SOUPS 26380 WITH SCORE 26431.3
AT ITER 2802 NEW BEST:: SOT 88766 SOS 51414 HAS SOPS 49722 HAS SOUS 27626 HAS SOUPS 26366 WITH SCORE 26417.414
AT ITER 2814 NEW BEST:: SOT 88528 SOS 51176 HAS SOPS 49484 HAS SOUS 27388 HAS SOUPS 26128 WITH SCORE 26179.176
AT ITER 2823 NEW BEST:: SOT 88550 SOS 51154 HAS SOPS 49462 HAS SOUS 27388 HAS SOUPS 26128 WITH SCORE 26179.154
AT ITER 2839 NEW BEST:: SOT 88439 SOS 50978 HAS SOPS 49286 HAS SOUS 27369 HAS SOUPS 26109 WITH SCORE 26159.978
AT ITER 2855 NEW BEST:: SOT 88439 SOS 50962 HAS SOPS 49270 HAS SOUS 27353 HAS SOUPS 26093 WITH SCORE 26143.962
AT ITER 2857 NEW BEST:: SOT 88523 SOS 50674 HAS SOPS 48982 HAS SOUS 27350 HAS SOUPS 26090 WITH SCORE 26140.674
AT ITER 2858 NEW BEST:: SOT 88551 SOS 50455 HAS SOPS 48763 HAS SOUS 27239 HAS SOUPS 25979 WITH SCORE 26029.455
AT ITER 2866 NEW BEST:: SOT 88544 SOS 50448 HAS SOPS 48756 HAS SOUS 27232 HAS SOUPS 25972 WITH SCORE 26022.448
AT ITER 2870 NEW BEST:: SOT 88634 SOS 50538 HAS SOPS 48846 HAS SOUS 27212 HAS SOUPS 25952 WITH SCORE 26002.538
AT ITER 2885 NEW BEST:: SOT 88646 SOS 50500 HAS SOPS 48808 HAS SOUS 27159 HAS SOUPS 25899 WITH SCORE 25949.5
AT ITER 2889 NEW BEST:: SOT 88640 SOS 50486 HAS SOPS 48794 HAS SOUS 27145 HAS SOUPS 25885 WITH SCORE 25935.486
AT ITER 2891 NEW BEST:: SOT 88600 SOS 50446 HAS SOPS 48754 HAS SOUS 27094 HAS SOUPS 25834 WITH SCORE 25884.446
AT ITER 2894 NEW BEST:: SOT 88526 SOS 50138 HAS SOPS 48446 HAS SOUS 27024 HAS SOUPS 25764 WITH SCORE 25814.138
AT ITER 2908 NEW BEST:: SOT 88494 SOS 50058 HAS SOPS 48366 HAS SOUS 26976 HAS SOUPS 25716 WITH SCORE 25766.058
AT ITER 2909 NEW BEST:: SOT 88497 SOS 50061 HAS SOPS 48369 HAS SOUS 26970 HAS SOUPS 25710 WITH SCORE 25760.061
AT ITER 2914 NEW BEST:: SOT 88501 SOS 50065 HAS SOPS 48373 HAS SOUS 26953 HAS SOUPS 25693 WITH SCORE 25743.065
AT ITER 2923 NEW BEST:: SOT 88509 SOS 50073 HAS SOPS 48381 HAS SOUS 26929 HAS SOUPS 25669 WITH SCORE 25719.073
AT ITER 2949 NEW BEST:: SOT 88509 SOS 50073 HAS SOPS 48381 HAS SOUS 26927 HAS SOUPS 25667 WITH SCORE 25717.073
AT ITER 2951 NEW BEST:: SOT 88509 SOS 50006 HAS SOPS 48314 HAS SOUS 26927 HAS SOUPS 25667 WITH SCORE 25717.006
AT ITER 2964 NEW BEST:: SOT 88299 SOS 49836 HAS SOPS 48144 HAS SOUS 26799 HAS SOUPS 25539 WITH SCORE 25588.836
AT ITER 2966 NEW BEST:: SOT 88304 SOS 49811 HAS SOPS 48119 HAS SOUS 26799 HAS SOUPS 25539 WITH SCORE 25588.811
AT ITER 2972 NEW BEST:: SOT 88190 SOS 49697 HAS SOPS 48005 HAS SOUS 26799 HAS SOUPS 25539 WITH SCORE 25588.697
AT ITER 2978 NEW BEST:: SOT 88189 SOS 49693 HAS SOPS 48001 HAS SOUS 26797 HAS SOUPS 25537 WITH SCORE 25586.693
AT ITER 2982 NEW BEST:: SOT 88198 SOS 49692 HAS SOPS 48000 HAS SOUS 26796 HAS SOUPS 25536 WITH SCORE 25585.692
AT ITER 2988 NEW BEST:: SOT 88252 SOS 49810 HAS SOPS 48118 HAS SOUS 26790 HAS SOUPS 25530 WITH SCORE 25579.81
AT ITER 3013 NEW BEST:: SOT 88202 SOS 49760 HAS SOPS 48068 HAS SOUS 26790 HAS SOUPS 25530 WITH SCORE 25579.76
AT ITER 3020 NEW BEST:: SOT 88184 SOS 49850 HAS SOPS 48158 HAS SOUS 26770 HAS SOUPS 25510 WITH SCORE 25559.85
AT ITER 3030 NEW BEST:: SOT 88176 SOS 49904 HAS SOPS 48212 HAS SOUS 26741 HAS SOUPS 25481 WITH SCORE 25530.904
AT ITER 3046 NEW BEST:: SOT 88152 SOS 49880 HAS SOPS 48188 HAS SOUS 26705 HAS SOUPS 25445 WITH SCORE 25494.88
AT ITER 3059 NEW BEST:: SOT 88152 SOS 49873 HAS SOPS 48188 HAS SOUS 26705 HAS SOUPS 25445 WITH SCORE 25494.873
AT ITER 3061 NEW BEST:: SOT 88174 SOS 49821 HAS SOPS 48136 HAS SOUS 26679 HAS SOUPS 25419 WITH SCORE 25468.821
AT ITER 3072 NEW BEST:: SOT 88162 SOS 49679 HAS SOPS 47994 HAS SOUS 26578 HAS SOUPS 25318 WITH SCORE 25367.679
AT ITER 3073 NEW BEST:: SOT 88145 SOS 49653 HAS SOPS 47968 HAS SOUS 26552 HAS SOUPS 25292 WITH SCORE 25341.653
AT ITER 3081 NEW BEST:: SOT 88141 SOS 49645 HAS SOPS 47960 HAS SOUS 26544 HAS SOUPS 25284 WITH SCORE 25333.645
AT ITER 3088 NEW BEST:: SOT 88077 SOS 49721 HAS SOPS 48102 HAS SOUS 26502 HAS SOUPS 25264 WITH SCORE 25313.721
AT ITER 3119 NEW BEST:: SOT 88062 SOS 49706 HAS SOPS 48087 HAS SOUS 26487 HAS SOUPS 25249 WITH SCORE 25298.706
AT ITER 3137 NEW BEST:: SOT 88062 SOS 49706 HAS SOPS 48087 HAS SOUS 26486 HAS SOUPS 25248 WITH SCORE 25297.706
AT ITER 3152 NEW BEST:: SOT 88030 SOS 49648 HAS SOPS 48029 HAS SOUS 26390 HAS SOUPS 25152 WITH SCORE 25201.648
AT ITER 3159 NEW BEST:: SOT 87994 SOS 49636 HAS SOPS 48017 HAS SOUS 26366 HAS SOUPS 25128 WITH SCORE 25177.636
AT ITER 3165 NEW BEST:: SOT 87970 SOS 49570 HAS SOPS 47951 HAS SOUS 26335 HAS SOUPS 25097 WITH SCORE 25146.57
AT ITER 3178 NEW BEST:: SOT 87956 SOS 49556 HAS SOPS 47937 HAS SOUS 26321 HAS SOUPS 25083 WITH SCORE 25132.556
AT ITER 3182 NEW BEST:: SOT 87943 SOS 49551 HAS SOPS 47932 HAS SOUS 26290 HAS SOUPS 25052 WITH SCORE 25101.551
AT ITER 3205 NEW BEST:: SOT 88032 SOS 49640 HAS SOPS 48021 HAS SOUS 26257 HAS SOUPS 25019 WITH SCORE 25068.64
AT ITER 3211 NEW BEST:: SOT 87916 SOS 49524 HAS SOPS 47905 HAS SOUS 26255 HAS SOUPS 25017 WITH SCORE 25066.524
AT ITER 3218 NEW BEST:: SOT 87934 SOS 49363 HAS SOPS 47744 HAS SOUS 26134 HAS SOUPS 24896 WITH SCORE 24945.363
AT ITER 3238 NEW BEST:: SOT 87888 SOS 49350 HAS SOPS 47754 HAS SOUS 26080 HAS SOUPS 24865 WITH SCORE 24914.35
AT ITER 3245 NEW BEST:: SOT 87881 SOS 49336 HAS SOPS 47740 HAS SOUS 26066 HAS SOUPS 24851 WITH SCORE 24900.336
AT ITER 3283 NEW BEST:: SOT 87827 SOS 49282 HAS SOPS 47686 HAS SOUS 26012 HAS SOUPS 24797 WITH SCORE 24846.282
AT ITER 3319 NEW BEST:: SOT 87800 SOS 49314 HAS SOPS 47718 HAS SOUS 25985 HAS SOUPS 24770 WITH SCORE 24819.314
AT ITER 3332 NEW BEST:: SOT 87757 SOS 49271 HAS SOPS 47675 HAS SOUS 25942 HAS SOUPS 24727 WITH SCORE 24776.271
AT ITER 3334 NEW BEST:: SOT 87713 SOS 49202 HAS SOPS 47606 HAS SOUS 25883 HAS SOUPS 24668 WITH SCORE 24717.202
AT ITER 3374 NEW BEST:: SOT 87710 SOS 49199 HAS SOPS 47603 HAS SOUS 25880 HAS SOUPS 24665 WITH SCORE 24714.199
AT ITER 3375 NEW BEST:: SOT 87710 SOS 49164 HAS SOPS 47563 HAS SOUS 25880 HAS SOUPS 24665 WITH SCORE 24714.164
AT ITER 3380 NEW BEST:: SOT 87763 SOS 49199 HAS SOPS 47598 HAS SOUS 25871 HAS SOUPS 24656 WITH SCORE 24705.199
AT ITER 3395 NEW BEST:: SOT 87729 SOS 49165 HAS SOPS 47564 HAS SOUS 25769 HAS SOUPS 24554 WITH SCORE 24603.165
AT ITER 3406 NEW BEST:: SOT 87729 SOS 49083 HAS SOPS 47482 HAS SOUS 25728 HAS SOUPS 24513 WITH SCORE 24562.083
AT ITER 3450 NEW BEST:: SOT 87629 SOS 49098 HAS SOPS 47497 HAS SOUS 25635 HAS SOUPS 24420 WITH SCORE 24469.098
AT ITER 3457 NEW BEST:: SOT 87585 SOS 49062 HAS SOPS 47461 HAS SOUS 25616 HAS SOUPS 24401 WITH SCORE 24450.062
AT ITER 3458 NEW BEST:: SOT 87583 SOS 49101 HAS SOPS 47500 HAS SOUS 25607 HAS SOUPS 24392 WITH SCORE 24441.101
AT ITER 3471 NEW BEST:: SOT 87583 SOS 48763 HAS SOPS 47162 HAS SOUS 25550 HAS SOUPS 24335 WITH SCORE 24383.763
AT ITER 3482 NEW BEST:: SOT 87441 SOS 48621 HAS SOPS 47020 HAS SOUS 25550 HAS SOUPS 24335 WITH SCORE 24383.621
AT ITER 3484 NEW BEST:: SOT 87187 SOS 48603 HAS SOPS 47002 HAS SOUS 25368 HAS SOUPS 24153 WITH SCORE 24201.603
AT ITER 3499 NEW BEST:: SOT 87165 SOS 48559 HAS SOPS 46958 HAS SOUS 25335 HAS SOUPS 24120 WITH SCORE 24168.559
AT ITER 3509 NEW BEST:: SOT 87116 SOS 48490 HAS SOPS 46889 HAS SOUS 25324 HAS SOUPS 24109 WITH SCORE 24157.49
AT ITER 3518 NEW BEST:: SOT 87108 SOS 48482 HAS SOPS 46881 HAS SOUS 25324 HAS SOUPS 24109 WITH SCORE 24157.482
AT ITER 3526 NEW BEST:: SOT 87069 SOS 48245 HAS SOPS 46644 HAS SOUS 25194 HAS SOUPS 23979 WITH SCORE 24027.245
AT ITER 3529 NEW BEST:: SOT 87069 SOS 48245 HAS SOPS 46639 HAS SOUS 25189 HAS SOUPS 23974 WITH SCORE 24022.245
AT ITER 3534 NEW BEST:: SOT 87077 SOS 48253 HAS SOPS 46647 HAS SOUS 25173 HAS SOUPS 23958 WITH SCORE 24006.253
AT ITER 3539 NEW BEST:: SOT 87079 SOS 48251 HAS SOPS 46645 HAS SOUS 25172 HAS SOUPS 23957 WITH SCORE 24005.251
AT ITER 3553 NEW BEST:: SOT 87079 SOS 48251 HAS SOPS 46645 HAS SOUS 25160 HAS SOUPS 23945 WITH SCORE 23993.251
AT ITER 3574 NEW BEST:: SOT 87094 SOS 48258 HAS SOPS 46602 HAS SOUS 25170 HAS SOUPS 23926 WITH SCORE 23974.258
AT ITER 3596 NEW BEST:: SOT 87010 SOS 48143 HAS SOPS 46487 HAS SOUS 25086 HAS SOUPS 23842 WITH SCORE 23890.143
AT ITER 3598 NEW BEST:: SOT 86993 SOS 48098 HAS SOPS 46442 HAS SOUS 25039 HAS SOUPS 23795 WITH SCORE 23843.098
AT ITER 3602 NEW BEST:: SOT 86975 SOS 48080 HAS SOPS 46424 HAS SOUS 25021 HAS SOUPS 23777 WITH SCORE 23825.08
AT ITER 3605 NEW BEST:: SOT 86942 SOS 47907 HAS SOPS 46251 HAS SOUS 24992 HAS SOUPS 23748 WITH SCORE 23795.907
AT ITER 3629 NEW BEST:: SOT 86926 SOS 47891 HAS SOPS 46235 HAS SOUS 24976 HAS SOUPS 23732 WITH SCORE 23779.891
AT ITER 3686 NEW BEST:: SOT 86984 SOS 47679 HAS SOPS 46023 HAS SOUS 24932 HAS SOUPS 23688 WITH SCORE 23735.679
AT ITER 3695 NEW BEST:: SOT 86938 SOS 47636 HAS SOPS 45980 HAS SOUS 24918 HAS SOUPS 23674 WITH SCORE 23721.636
AT ITER 3717 NEW BEST:: SOT 86854 SOS 47552 HAS SOPS 45896 HAS SOUS 24876 HAS SOUPS 23632 WITH SCORE 23679.552
AT ITER 3726 NEW BEST:: SOT 86758 SOS 47431 HAS SOPS 45775 HAS SOUS 24839 HAS SOUPS 23595 WITH SCORE 23642.431
AT ITER 3733 NEW BEST:: SOT 86750 SOS 47607 HAS SOPS 45951 HAS SOUS 24755 HAS SOUPS 23511 WITH SCORE 23558.607
AT ITER 3752 NEW BEST:: SOT 86734 SOS 47591 HAS SOPS 45935 HAS SOUS 24739 HAS SOUPS 23495 WITH SCORE 23542.591
AT ITER 3779 NEW BEST:: SOT 86725 SOS 47514 HAS SOPS 45858 HAS SOUS 24732 HAS SOUPS 23488 WITH SCORE 23535.514
AT ITER 3788 NEW BEST:: SOT 86725 SOS 47511 HAS SOPS 45855 HAS SOUS 24732 HAS SOUPS 23488 WITH SCORE 23535.511
AT ITER 3791 NEW BEST:: SOT 86744 SOS 47530 HAS SOPS 45874 HAS SOUS 24717 HAS SOUPS 23473 WITH SCORE 23520.53
AT ITER 3799 NEW BEST:: SOT 86723 SOS 47532 HAS SOPS 45845 HAS SOUS 24719 HAS SOUPS 23444 WITH SCORE 23491.532
AT ITER 3814 NEW BEST:: SOT 86769 SOS 47578 HAS SOPS 45891 HAS SOUS 24701 HAS SOUPS 23426 WITH SCORE 23473.578
AT ITER 3817 NEW BEST:: SOT 86693 SOS 47499 HAS SOPS 45812 HAS SOUS 24652 HAS SOUPS 23377 WITH SCORE 23424.499
AT ITER 3820 NEW BEST:: SOT 86633 SOS 47477 HAS SOPS 45790 HAS SOUS 24630 HAS SOUPS 23355 WITH SCORE 23402.477
AT ITER 3847 NEW BEST:: SOT 86667 SOS 47489 HAS SOPS 45802 HAS SOUS 24609 HAS SOUPS 23334 WITH SCORE 23381.489
AT ITER 3870 NEW BEST:: SOT 86660 SOS 47510 HAS SOPS 45823 HAS SOUS 24602 HAS SOUPS 23327 WITH SCORE 23374.51
AT ITER 3913 NEW BEST:: SOT 86635 SOS 47450 HAS SOPS 45754 HAS SOUS 24561 HAS SOUPS 23286 WITH SCORE 23333.45
AT ITER 3919 NEW BEST:: SOT 86613 SOS 47428 HAS SOPS 45732 HAS SOUS 24505 HAS SOUPS 23230 WITH SCORE 23277.428
AT ITER 3937 NEW BEST:: SOT 86583 SOS 47398 HAS SOPS 45702 HAS SOUS 24415 HAS SOUPS 23140 WITH SCORE 23187.398
AT ITER 3966 NEW BEST:: SOT 86629 SOS 47512 HAS SOPS 45816 HAS SOUS 24328 HAS SOUPS 23053 WITH SCORE 23100.512
AT ITER 3971 NEW BEST:: SOT 86584 SOS 47343 HAS SOPS 45647 HAS SOUS 24289 HAS SOUPS 23014 WITH SCORE 23061.343
AT ITER 3976 NEW BEST:: SOT 86580 SOS 47339 HAS SOPS 45643 HAS SOUS 24285 HAS SOUPS 23010 WITH SCORE 23057.339
AT ITER 3988 NEW BEST:: SOT 86640 SOS 47216 HAS SOPS 45503 HAS SOUS 24283 HAS SOUPS 23008 WITH SCORE 23055.216
AT ITER 3995 NEW BEST:: SOT 86758 SOS 47334 HAS SOPS 45621 HAS SOUS 24223 HAS SOUPS 22948 WITH SCORE 22995.334
AT ITER 4015 NEW BEST:: SOT 86758 SOS 47324 HAS SOPS 45611 HAS SOUS 24192 HAS SOUPS 22917 WITH SCORE 22964.324
AT ITER 4035 NEW BEST:: SOT 86724 SOS 47266 HAS SOPS 45577 HAS SOUS 24158 HAS SOUPS 22907 WITH SCORE 22954.266
AT ITER 4056 NEW BEST:: SOT 86615 SOS 47052 HAS SOPS 45363 HAS SOUS 24110 HAS SOUPS 22859 WITH SCORE 22906.052
AT ITER 4057 NEW BEST:: SOT 86615 SOS 47036 HAS SOPS 45355 HAS SOUS 24100 HAS SOUPS 22857 WITH SCORE 22904.036
AT ITER 4058 NEW BEST:: SOT 86610 SOS 46977 HAS SOPS 45296 HAS SOUS 24077 HAS SOUPS 22834 WITH SCORE 22880.977
AT ITER 4068 NEW BEST:: SOT 86599 SOS 46987 HAS SOPS 45306 HAS SOUS 24048 HAS SOUPS 22805 WITH SCORE 22851.987
AT ITER 4071 NEW BEST:: SOT 86551 SOS 46939 HAS SOPS 45258 HAS SOUS 24048 HAS SOUPS 22805 WITH SCORE 22851.939
AT ITER 4084 NEW BEST:: SOT 86551 SOS 46939 HAS SOPS 45258 HAS SOUS 24047 HAS SOUPS 22804 WITH SCORE 22850.939
AT ITER 4087 NEW BEST:: SOT 86542 SOS 46930 HAS SOPS 45249 HAS SOUS 24038 HAS SOUPS 22795 WITH SCORE 22841.93
AT ITER 4100 NEW BEST:: SOT 86596 SOS 47074 HAS SOPS 45393 HAS SOUS 24026 HAS SOUPS 22783 WITH SCORE 22830.074
AT ITER 4106 NEW BEST:: SOT 86591 SOS 47020 HAS SOPS 45339 HAS SOUS 24018 HAS SOUPS 22775 WITH SCORE 22822.02
AT ITER 4110 NEW BEST:: SOT 86543 SOS 46966 HAS SOPS 45285 HAS SOUS 24012 HAS SOUPS 22769 WITH SCORE 22815.966
AT ITER 4123 NEW BEST:: SOT 86538 SOS 46986 HAS SOPS 45311 HAS SOUS 23990 HAS SOUPS 22747 WITH SCORE 22793.986
AT ITER 4151 NEW BEST:: SOT 86539 SOS 46952 HAS SOPS 45277 HAS SOUS 23984 HAS SOUPS 22741 WITH SCORE 22787.952
AT ITER 4175 NEW BEST:: SOT 86515 SOS 46928 HAS SOPS 45253 HAS SOUS 23960 HAS SOUPS 22717 WITH SCORE 22763.928
AT ITER 4184 NEW BEST:: SOT 86529 SOS 46860 HAS SOPS 45185 HAS SOUS 23912 HAS SOUPS 22669 WITH SCORE 22715.86
AT ITER 4232 NEW BEST:: SOT 86525 SOS 46858 HAS SOPS 45183 HAS SOUS 23910 HAS SOUPS 22667 WITH SCORE 22713.858
AT ITER 4253 NEW BEST:: SOT 86497 SOS 46851 HAS SOPS 45176 HAS SOUS 23889 HAS SOUPS 22646 WITH SCORE 22692.851
AT ITER 4259 NEW BEST:: SOT 86494 SOS 46854 HAS SOPS 45179 HAS SOUS 23886 HAS SOUPS 22643 WITH SCORE 22689.854
AT ITER 4260 NEW BEST:: SOT 86278 SOS 46581 HAS SOPS 44906 HAS SOUS 23560 HAS SOUPS 22317 WITH SCORE 22363.581
AT ITER 4273 NEW BEST:: SOT 86273 SOS 46444 HAS SOPS 44769 HAS SOUS 23553 HAS SOUPS 22310 WITH SCORE 22356.444
AT ITER 4284 NEW BEST:: SOT 86273 SOS 46423 HAS SOPS 44748 HAS SOUS 23549 HAS SOUPS 22306 WITH SCORE 22352.423
AT ITER 4289 NEW BEST:: SOT 86238 SOS 46312 HAS SOPS 44637 HAS SOUS 23452 HAS SOUPS 22209 WITH SCORE 22255.312
AT ITER 4308 NEW BEST:: SOT 86218 SOS 46292 HAS SOPS 44617 HAS SOUS 23452 HAS SOUPS 22209 WITH SCORE 22255.292
AT ITER 4316 NEW BEST:: SOT 86203 SOS 46277 HAS SOPS 44602 HAS SOUS 23437 HAS SOUPS 22194 WITH SCORE 22240.277
AT ITER 4342 NEW BEST:: SOT 86125 SOS 46199 HAS SOPS 44524 HAS SOUS 23401 HAS SOUPS 22158 WITH SCORE 22204.199
AT ITER 4347 NEW BEST:: SOT 86125 SOS 46169 HAS SOPS 44489 HAS SOUS 23386 HAS SOUPS 22143 WITH SCORE 22189.169
AT ITER 4357 NEW BEST:: SOT 86127 SOS 46151 HAS SOPS 44466 HAS SOUS 23364 HAS SOUPS 22116 WITH SCORE 22162.151
AT ITER 4369 NEW BEST:: SOT 86103 SOS 46019 HAS SOPS 44320 HAS SOUS 23352 HAS SOUPS 22090 WITH SCORE 22136.019
AT ITER 4371 NEW BEST:: SOT 86103 SOS 46047 HAS SOPS 44352 HAS SOUS 23344 HAS SOUPS 22086 WITH SCORE 22132.047
AT ITER 4384 NEW BEST:: SOT 86185 SOS 46077 HAS SOPS 44382 HAS SOUS 23336 HAS SOUPS 22078 WITH SCORE 22124.077
AT ITER 4385 NEW BEST:: SOT 86038 SOS 46112 HAS SOPS 44417 HAS SOUS 23283 HAS SOUPS 22025 WITH SCORE 22071.112
AT ITER 4390 NEW BEST:: SOT 86033 SOS 46061 HAS SOPS 44322 HAS SOUS 23235 HAS SOUPS 21933 WITH SCORE 21979.061
AT ITER 4403 NEW BEST:: SOT 86009 SOS 46037 HAS SOPS 44298 HAS SOUS 23235 HAS SOUPS 21933 WITH SCORE 21979.037
AT ITER 4415 NEW BEST:: SOT 85983 SOS 46024 HAS SOPS 44285 HAS SOUS 23222 HAS SOUPS 21920 WITH SCORE 21966.024
AT ITER 4424 NEW BEST:: SOT 85931 SOS 45972 HAS SOPS 44233 HAS SOUS 23174 HAS SOUPS 21872 WITH SCORE 21917.972
AT ITER 4449 NEW BEST:: SOT 85927 SOS 45988 HAS SOPS 44249 HAS SOUS 23170 HAS SOUPS 21868 WITH SCORE 21913.988
AT ITER 4491 NEW BEST:: SOT 85911 SOS 45972 HAS SOPS 44233 HAS SOUS 23154 HAS SOUPS 21852 WITH SCORE 21897.972
AT ITER 4507 NEW BEST:: SOT 85901 SOS 45962 HAS SOPS 44223 HAS SOUS 23144 HAS SOUPS 21842 WITH SCORE 21887.962
AT ITER 4513 NEW BEST:: SOT 85901 SOS 45962 HAS SOPS 44223 HAS SOUS 23121 HAS SOUPS 21819 WITH SCORE 21864.962
AT ITER 4516 NEW BEST:: SOT 85901 SOS 45910 HAS SOPS 44171 HAS SOUS 23083 HAS SOUPS 21781 WITH SCORE 21826.91
AT ITER 4529 NEW BEST:: SOT 85882 SOS 45907 HAS SOPS 44168 HAS SOUS 23079 HAS SOUPS 21777 WITH SCORE 21822.907
AT ITER 4530 NEW BEST:: SOT 85882 SOS 45907 HAS SOPS 44168 HAS SOUS 23054 HAS SOUPS 21752 WITH SCORE 21797.907
AT ITER 4536 NEW BEST:: SOT 85880 SOS 45900 HAS SOPS 44161 HAS SOUS 23050 HAS SOUPS 21748 WITH SCORE 21793.9
AT ITER 4540 NEW BEST:: SOT 85872 SOS 45851 HAS SOPS 44112 HAS SOUS 23038 HAS SOUPS 21736 WITH SCORE 21781.851
AT ITER 4544 NEW BEST:: SOT 85800 SOS 45795 HAS SOPS 44056 HAS SOUS 23021 HAS SOUPS 21719 WITH SCORE 21764.795
AT ITER 4550 NEW BEST:: SOT 85793 SOS 45788 HAS SOPS 44049 HAS SOUS 23014 HAS SOUPS 21712 WITH SCORE 21757.788
AT ITER 4561 NEW BEST:: SOT 85793 SOS 45728 HAS SOPS 43974 HAS SOUS 23008 HAS SOUPS 21691 WITH SCORE 21736.728
AT ITER 4565 NEW BEST:: SOT 85793 SOS 45701 HAS SOPS 43944 HAS SOUS 23005 HAS SOUPS 21688 WITH SCORE 21733.701
AT ITER 4568 NEW BEST:: SOT 85764 SOS 45730 HAS SOPS 43973 HAS SOUS 22976 HAS SOUPS 21659 WITH SCORE 21704.73
AT ITER 4584 NEW BEST:: SOT 85728 SOS 45736 HAS SOPS 43979 HAS SOUS 22906 HAS SOUPS 21589 WITH SCORE 21634.736
AT ITER 4594 NEW BEST:: SOT 85728 SOS 45702 HAS SOPS 43945 HAS SOUS 22894 HAS SOUPS 21577 WITH SCORE 21622.702
AT ITER 4600 NEW BEST:: SOT 85723 SOS 45697 HAS SOPS 43940 HAS SOUS 22871 HAS SOUPS 21554 WITH SCORE 21599.697
AT ITER 4602 NEW BEST:: SOT 85723 SOS 45691 HAS SOPS 43934 HAS SOUS 22868 HAS SOUPS 21551 WITH SCORE 21596.691
AT ITER 4608 NEW BEST:: SOT 85684 SOS 45652 HAS SOPS 43895 HAS SOUS 22747 HAS SOUPS 21430 WITH SCORE 21475.652
AT ITER 4625 NEW BEST:: SOT 85678 SOS 45646 HAS SOPS 43889 HAS SOUS 22735 HAS SOUPS 21418 WITH SCORE 21463.646
AT ITER 4631 NEW BEST:: SOT 85714 SOS 45613 HAS SOPS 43855 HAS SOUS 22722 HAS SOUPS 21405 WITH SCORE 21450.613
AT ITER 4677 NEW BEST:: SOT 85699 SOS 45606 HAS SOPS 43848 HAS SOUS 22705 HAS SOUPS 21388 WITH SCORE 21433.606
AT ITER 4689 NEW BEST:: SOT 85682 SOS 45555 HAS SOPS 43797 HAS SOUS 22685 HAS SOUPS 21368 WITH SCORE 21413.555
AT ITER 4691 NEW BEST:: SOT 85682 SOS 45555 HAS SOPS 43797 HAS SOUS 22679 HAS SOUPS 21362 WITH SCORE 21407.555
AT ITER 4697 NEW BEST:: SOT 85674 SOS 45511 HAS SOPS 43753 HAS SOUS 22629 HAS SOUPS 21312 WITH SCORE 21357.511
AT ITER 4716 NEW BEST:: SOT 85672 SOS 45509 HAS SOPS 43751 HAS SOUS 22623 HAS SOUPS 21306 WITH SCORE 21351.509
AT ITER 4736 NEW BEST:: SOT 85637 SOS 45474 HAS SOPS 43716 HAS SOUS 22588 HAS SOUPS 21271 WITH SCORE 21316.474
AT ITER 4780 NEW BEST:: SOT 85640 SOS 45462 HAS SOPS 43704 HAS SOUS 22585 HAS SOUPS 21268 WITH SCORE 21313.462
AT ITER 4797 NEW BEST:: SOT 85679 SOS 45154 HAS SOPS 43396 HAS SOUS 22549 HAS SOUPS 21232 WITH SCORE 21277.154
AT ITER 4801 NEW BEST:: SOT 85633 SOS 45108 HAS SOPS 43350 HAS SOUS 22535 HAS SOUPS 21218 WITH SCORE 21263.108
AT ITER 4851 NEW BEST:: SOT 85625 SOS 45100 HAS SOPS 43342 HAS SOUS 22527 HAS SOUPS 21210 WITH SCORE 21255.1
AT ITER 4878 NEW BEST:: SOT 85621 SOS 45096 HAS SOPS 43338 HAS SOUS 22519 HAS SOUPS 21202 WITH SCORE 21247.096
AT ITER 4902 NEW BEST:: SOT 85619 SOS 45097 HAS SOPS 43339 HAS SOUS 22518 HAS SOUPS 21201 WITH SCORE 21246.097
AT ITER 4915 NEW BEST:: SOT 85609 SOS 45093 HAS SOPS 43335 HAS SOUS 22510 HAS SOUPS 21193 WITH SCORE 21238.093
AT ITER 4965 NEW BEST:: SOT 85533 SOS 45017 HAS SOPS 43259 HAS SOUS 22488 HAS SOUPS 21171 WITH SCORE 21216.017
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-2A-CTLFireability-00 (EF( (AG( (! (! ((potential((tk(P256)>=1) & (tk(P348)>=1))))))))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-01 (AF( ((potential((tk(P41)>=1) & (tk(P54)>=1))))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-02 ( (EF( (AX( ((potential((tk(P147)>=1) & (tk(P180)>=1)))))))) | ( (! (EX( ((potential((tk(P294)>=1) & (tk(P331)>=1))))))) & (AF( ((potential((tk(P106)>=1) & (tk(P286)>=1)))))) ) )
PROPERTY: NoC3x3-PT-2A-CTLFireability-03 ( (AU( (! ( ((potential((tk(P10)>=1) & (tk(P14)>=1)))) & ((potential((tk(P234)>=1) & (tk(P255)>=1)))) )) , (EF( ((potential((tk(P162)>=1) & (tk(P176)>=1)))))) )) & (AX( (EG( (! ((potential((tk(P47)>=1))))))))) )
PROPERTY: NoC3x3-PT-2A-CTLFireability-04 (AF( (AG( (AG( ((potential((tk(P23)>=1) & (tk(P59)>=1))))))))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-05 (! (AF( (EU( ((potential((tk(P119)>=1) & (tk(P143)>=1)))) , ((potential((tk(P56)>=1)))) )))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-06 ( (EF( ( (AG( ((potential((tk(P103)>=1) & (tk(P110)>=1)))))) & (EX( ((potential((tk(P1)>=1)))))) ))) | (EX( ((potential((tk(P301)>=1) & (tk(P320)>=1)))))) )
PROPERTY: NoC3x3-PT-2A-CTLFireability-07 (AG( (! (AU( ((potential((tk(P87)>=1) & (tk(P128)>=1)))) , ((potential((tk(P108)>=1) & (tk(P122)>=1)))) )))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-08 (! (EF( (! ( (! ((potential((tk(P13)>=1))))) | ( ((potential((tk(P146)>=1) & (tk(P205)>=1)))) | ((potential((tk(P98)>=1) & (tk(P109)>=1)))) ) )))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-09 (AU( ((potential((tk(P5)>=1) & (tk(P48)>=1)))) , ( (EF( ((potential((tk(P307)>=1) & (tk(P319)>=1)))))) | (AF( ((potential((tk(P142)>=1) & (tk(P186)>=1)))))) ) ))
PROPERTY: NoC3x3-PT-2A-CTLFireability-10 (EF( (AG( ( ( ((potential((tk(P119)>=1) & (tk(P139)>=1)))) | ((potential((tk(P342)>=1) & (tk(P355)>=1)))) ) | ( ((potential((tk(P71)>=1) & (tk(P86)>=1)))) | ((potential((tk(P22)>=1) & (tk(P59)>=1)))) ) )))))
PROPERTY: NoC3x3-PT-2A-CTLFireability-11 (! (EU( (EF( ((potential((tk(P212)>=1)))))) , ( ( ((potential((tk(P119)>=1) & (tk(P141)>=1)))) & ((potential((tk(P227)>=1) & (tk(P239)>=1)))) ) & ( ((potential((tk(P129)>=1) & (tk(P202)>=1)))) | ((potential((tk(P87)>=1) & (tk(P122)>=1)))) ) ) )))
PROPERTY: NoC3x3-PT-2A-CTLFireability-12 (AU( (EF( ( ((potential((tk(P213)>=1) & (tk(P255)>=1)))) | ((potential((tk(P25)>=1) & (tk(P174)>=1)))) ))) , (EG( (! ((potential((tk(P161)>=1) & (tk(P191)>=1))))))) ))
PROPERTY: NoC3x3-PT-2A-CTLFireability-13 (AG( ( ( (EF( ((potential((tk(P131)>=1) & (tk(P177)>=1)))))) & (AG( ((potential((tk(P310)>=1) & (tk(P320)>=1)))))) ) | (EX( (! ((potential((tk(P149)>=1) & (tk(P194)>=1))))))) )))
PROPERTY: NoC3x3-PT-2A-CTLFireability-14 ( ((potential((tk(P294)>=1) & (tk(P315)>=1)))) | (AG( ( ( ( ((potential((tk(P100)>=1) & (tk(P125)>=1)))) | ((potential((tk(P33)>=1) & (tk(P51)>=1)))) ) | (! ((potential((tk(P304)>=1) & (tk(P331)>=1))))) ) | ( ( ((potential((tk(P300)>=1) & (tk(P333)>=1)))) | ((potential((tk(P82)>=1)))) ) | (! ((potential((tk(P68)>=1) & (tk(P77)>=1))))) ) ))) )
PROPERTY: NoC3x3-PT-2A-CTLFireability-15 ( ( ( (EU( ((potential((tk(P161)>=1) & (tk(P191)>=1)))) , ((potential((tk(P157)>=1) & (tk(P316)>=1)))) )) & ( ( ( ((potential((tk(P332)>=1) & (tk(P343)>=1)))) | ((potential((tk(P159)>=1) & (tk(P191)>=1)))) ) & ( ((potential((tk(P60)>=1) & (tk(P74)>=1)))) | ((potential((tk(P227)>=1) & (tk(P239)>=1)))) ) ) & (AX( ((potential((tk(P340)>=1) & (tk(P357)>=1)))))) ) ) | (EG( (EF( ((potential((tk(P133)>=1) & (tk(P185)>=1)))))))) ) & ( (AX( (! ( ((potential((tk(P191)>=1)))) & ((potential((tk(P163)>=1) & (tk(P191)>=1)))) )))) | ((potential((tk(P155)>=1) & (tk(P209)>=1)))) ) )
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="NoC3x3-PT-2A"
export BK_EXAMINATION="CTLFireability"
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 NoC3x3-PT-2A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250400348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-2A.tgz
mv NoC3x3-PT-2A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;