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-159033469300315.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300315
=====================================================================

--------------------
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)

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 ShieldIIPt-PT-020A-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439240112

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

GOT IT HERE. BS
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 86640 SOS 73143 HAS SOPS 73143 HAS SOUS 64201 HAS SOUPS 64201 WITH SCORE 64274.143
AT ITER 3 NEW BEST:: SOT 86525 SOS 72834 HAS SOPS 72834 HAS SOUS 63830 HAS SOUPS 63830 WITH SCORE 63902.834
AT ITER 4 NEW BEST:: SOT 86525 SOS 72591 HAS SOPS 72591 HAS SOUS 63732 HAS SOUPS 63732 WITH SCORE 63804.591
AT ITER 5 NEW BEST:: SOT 86333 SOS 72067 HAS SOPS 72067 HAS SOUS 63472 HAS SOUPS 63472 WITH SCORE 63544.067
AT ITER 6 NEW BEST:: SOT 86155 SOS 71816 HAS SOPS 71816 HAS SOUS 63181 HAS SOUPS 63181 WITH SCORE 63252.816
AT ITER 7 NEW BEST:: SOT 86155 SOS 71722 HAS SOPS 71722 HAS SOUS 63003 HAS SOUPS 63003 WITH SCORE 63074.722
AT ITER 8 NEW BEST:: SOT 86155 SOS 71617 HAS SOPS 71617 HAS SOUS 62968 HAS SOUPS 62968 WITH SCORE 63039.617
AT ITER 9 NEW BEST:: SOT 86112 SOS 71124 HAS SOPS 71124 HAS SOUS 62663 HAS SOUPS 62663 WITH SCORE 62734.124
AT ITER 11 NEW BEST:: SOT 86112 SOS 71124 HAS SOPS 71124 HAS SOUS 62661 HAS SOUPS 62661 WITH SCORE 62732.124
AT ITER 14 NEW BEST:: SOT 86105 SOS 70702 HAS SOPS 70702 HAS SOUS 62444 HAS SOUPS 62444 WITH SCORE 62514.702
AT ITER 15 NEW BEST:: SOT 85982 SOS 70579 HAS SOPS 70579 HAS SOUS 62293 HAS SOUPS 62293 WITH SCORE 62363.579
AT ITER 16 NEW BEST:: SOT 85982 SOS 70305 HAS SOPS 70305 HAS SOUS 62238 HAS SOUPS 62238 WITH SCORE 62308.305
AT ITER 18 NEW BEST:: SOT 85982 SOS 70262 HAS SOPS 70262 HAS SOUS 62229 HAS SOUPS 62229 WITH SCORE 62299.262
AT ITER 21 NEW BEST:: SOT 85727 SOS 70007 HAS SOPS 70007 HAS SOUS 61882 HAS SOUPS 61882 WITH SCORE 61952.007
AT ITER 22 NEW BEST:: SOT 85495 SOS 69382 HAS SOPS 69382 HAS SOUS 61456 HAS SOUPS 61456 WITH SCORE 61525.382
AT ITER 26 NEW BEST:: SOT 85342 SOS 69229 HAS SOPS 69229 HAS SOUS 61378 HAS SOUPS 61378 WITH SCORE 61447.229
AT ITER 27 NEW BEST:: SOT 85439 SOS 69039 HAS SOPS 69039 HAS SOUS 61283 HAS SOUPS 61283 WITH SCORE 61352.039
AT ITER 30 NEW BEST:: SOT 85174 SOS 68764 HAS SOPS 68764 HAS SOUS 61043 HAS SOUPS 61043 WITH SCORE 61111.764
AT ITER 31 NEW BEST:: SOT 85058 SOS 68648 HAS SOPS 68648 HAS SOUS 60852 HAS SOUPS 60852 WITH SCORE 60920.648
AT ITER 32 NEW BEST:: SOT 85087 SOS 68147 HAS SOPS 68147 HAS SOUS 60754 HAS SOUPS 60754 WITH SCORE 60822.147
AT ITER 35 NEW BEST:: SOT 85087 SOS 68033 HAS SOPS 68033 HAS SOUS 60697 HAS SOUPS 60697 WITH SCORE 60765.033
AT ITER 37 NEW BEST:: SOT 85087 SOS 67689 HAS SOPS 67689 HAS SOUS 60485 HAS SOUPS 60485 WITH SCORE 60552.689
AT ITER 38 NEW BEST:: SOT 85087 SOS 67524 HAS SOPS 67524 HAS SOUS 60430 HAS SOUPS 60430 WITH SCORE 60497.524
AT ITER 40 NEW BEST:: SOT 85087 SOS 67479 HAS SOPS 67479 HAS SOUS 60396 HAS SOUPS 60396 WITH SCORE 60463.479
AT ITER 41 NEW BEST:: SOT 84900 SOS 67292 HAS SOPS 67292 HAS SOUS 60127 HAS SOUPS 60127 WITH SCORE 60194.292
AT ITER 42 NEW BEST:: SOT 84838 SOS 67230 HAS SOPS 67230 HAS SOUS 60003 HAS SOUPS 60003 WITH SCORE 60070.23
AT ITER 43 NEW BEST:: SOT 84838 SOS 67263 HAS SOPS 67263 HAS SOUS 59968 HAS SOUPS 59968 WITH SCORE 60035.263
AT ITER 44 NEW BEST:: SOT 84761 SOS 67006 HAS SOPS 67006 HAS SOUS 59830 HAS SOUPS 59830 WITH SCORE 59897.006
AT ITER 46 NEW BEST:: SOT 84607 SOS 66717 HAS SOPS 66717 HAS SOUS 59570 HAS SOUPS 59570 WITH SCORE 59636.717
AT ITER 47 NEW BEST:: SOT 84536 SOS 66646 HAS SOPS 66646 HAS SOUS 59499 HAS SOUPS 59499 WITH SCORE 59565.646
AT ITER 48 NEW BEST:: SOT 84536 SOS 66417 HAS SOPS 66417 HAS SOUS 59395 HAS SOUPS 59395 WITH SCORE 59461.417
AT ITER 49 NEW BEST:: SOT 84290 SOS 65886 HAS SOPS 65886 HAS SOUS 58926 HAS SOUPS 58926 WITH SCORE 58991.886
AT ITER 51 NEW BEST:: SOT 84290 SOS 65769 HAS SOPS 65769 HAS SOUS 58831 HAS SOUPS 58831 WITH SCORE 58896.769
AT ITER 53 NEW BEST:: SOT 84233 SOS 65513 HAS SOPS 65513 HAS SOUS 58645 HAS SOUPS 58645 WITH SCORE 58710.513
AT ITER 54 NEW BEST:: SOT 83992 SOS 65121 HAS SOPS 65121 HAS SOUS 58204 HAS SOUPS 58204 WITH SCORE 58269.121
AT ITER 56 NEW BEST:: SOT 83992 SOS 64819 HAS SOPS 64819 HAS SOUS 57987 HAS SOUPS 57987 WITH SCORE 58051.819
AT ITER 57 NEW BEST:: SOT 83992 SOS 64749 HAS SOPS 64749 HAS SOUS 57974 HAS SOUPS 57974 WITH SCORE 58038.749
AT ITER 62 NEW BEST:: SOT 83841 SOS 64596 HAS SOPS 64596 HAS SOUS 57848 HAS SOUPS 57848 WITH SCORE 57912.596
AT ITER 63 NEW BEST:: SOT 83568 SOS 63940 HAS SOPS 63940 HAS SOUS 57423 HAS SOUPS 57423 WITH SCORE 57486.94
AT ITER 64 NEW BEST:: SOT 83494 SOS 63864 HAS SOPS 63864 HAS SOUS 57347 HAS SOUPS 57347 WITH SCORE 57410.864
AT ITER 70 NEW BEST:: SOT 83494 SOS 63682 HAS SOPS 63682 HAS SOUS 57341 HAS SOUPS 57341 WITH SCORE 57404.682
AT ITER 71 NEW BEST:: SOT 83373 SOS 63561 HAS SOPS 63561 HAS SOUS 57212 HAS SOUPS 57212 WITH SCORE 57275.561
AT ITER 75 NEW BEST:: SOT 83373 SOS 63537 HAS SOPS 63537 HAS SOUS 56862 HAS SOUPS 56862 WITH SCORE 56925.537
AT ITER 77 NEW BEST:: SOT 83155 SOS 62885 HAS SOPS 62885 HAS SOUS 56272 HAS SOUPS 56272 WITH SCORE 56334.885
AT ITER 78 NEW BEST:: SOT 82945 SOS 62675 HAS SOPS 62675 HAS SOUS 56149 HAS SOUPS 56149 WITH SCORE 56211.675
AT ITER 79 NEW BEST:: SOT 82945 SOS 62484 HAS SOPS 62484 HAS SOUS 56021 HAS SOUPS 56021 WITH SCORE 56083.484
AT ITER 80 NEW BEST:: SOT 82845 SOS 62384 HAS SOPS 62384 HAS SOUS 55917 HAS SOUPS 55917 WITH SCORE 55979.384
AT ITER 82 NEW BEST:: SOT 82827 SOS 62201 HAS SOPS 62201 HAS SOUS 55842 HAS SOUPS 55842 WITH SCORE 55904.201
AT ITER 84 NEW BEST:: SOT 82827 SOS 62282 HAS SOPS 62282 HAS SOUS 55810 HAS SOUPS 55810 WITH SCORE 55872.282
AT ITER 86 NEW BEST:: SOT 82785 SOS 62240 HAS SOPS 62240 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55831.24
AT ITER 87 NEW BEST:: SOT 82785 SOS 61925 HAS SOPS 61925 HAS SOUS 55675 HAS SOUPS 55675 WITH SCORE 55736.925
AT ITER 89 NEW BEST:: SOT 82749 SOS 61889 HAS SOPS 61889 HAS SOUS 55654 HAS SOUPS 55654 WITH SCORE 55715.889
AT ITER 90 NEW BEST:: SOT 82749 SOS 61793 HAS SOPS 61793 HAS SOUS 55523 HAS SOUPS 55523 WITH SCORE 55584.793
AT ITER 92 NEW BEST:: SOT 82652 SOS 61690 HAS SOPS 61690 HAS SOUS 55346 HAS SOUPS 55346 WITH SCORE 55407.69
AT ITER 96 NEW BEST:: SOT 82274 SOS 61117 HAS SOPS 61117 HAS SOUS 54786 HAS SOUPS 54786 WITH SCORE 54847.117
AT ITER 97 NEW BEST:: SOT 82186 SOS 61029 HAS SOPS 61029 HAS SOUS 54698 HAS SOUPS 54698 WITH SCORE 54759.029
AT ITER 99 NEW BEST:: SOT 82186 SOS 61029 HAS SOPS 61029 HAS SOUS 54694 HAS SOUPS 54694 WITH SCORE 54755.029
AT ITER 100 NEW BEST:: SOT 82168 SOS 61011 HAS SOPS 61011 HAS SOUS 54676 HAS SOUPS 54676 WITH SCORE 54737.011
AT ITER 101 NEW BEST:: SOT 82168 SOS 61035 HAS SOPS 61035 HAS SOUS 54607 HAS SOUPS 54607 WITH SCORE 54668.035
AT ITER 104 NEW BEST:: SOT 81948 SOS 60713 HAS SOPS 60713 HAS SOUS 54333 HAS SOUPS 54333 WITH SCORE 54393.713
AT ITER 106 NEW BEST:: SOT 81911 SOS 60597 HAS SOPS 60597 HAS SOUS 54217 HAS SOUPS 54217 WITH SCORE 54277.597
AT ITER 107 NEW BEST:: SOT 81754 SOS 60440 HAS SOPS 60440 HAS SOUS 53978 HAS SOUPS 53978 WITH SCORE 54038.44
AT ITER 108 NEW BEST:: SOT 81668 SOS 60255 HAS SOPS 60255 HAS SOUS 53846 HAS SOUPS 53846 WITH SCORE 53906.255
AT ITER 112 NEW BEST:: SOT 81668 SOS 60090 HAS SOPS 60090 HAS SOUS 53846 HAS SOUPS 53846 WITH SCORE 53906.09
AT ITER 113 NEW BEST:: SOT 81454 SOS 59675 HAS SOPS 59675 HAS SOUS 53495 HAS SOUPS 53495 WITH SCORE 53554.675
AT ITER 115 NEW BEST:: SOT 81454 SOS 59585 HAS SOPS 59585 HAS SOUS 53489 HAS SOUPS 53489 WITH SCORE 53548.585
AT ITER 116 NEW BEST:: SOT 81459 SOS 59543 HAS SOPS 59543 HAS SOUS 53447 HAS SOUPS 53447 WITH SCORE 53506.543
AT ITER 117 NEW BEST:: SOT 81459 SOS 59596 HAS SOPS 59596 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53435.596
AT ITER 118 NEW BEST:: SOT 81416 SOS 59440 HAS SOPS 59440 HAS SOUS 53304 HAS SOUPS 53304 WITH SCORE 53363.44
AT ITER 119 NEW BEST:: SOT 81285 SOS 58932 HAS SOPS 58932 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53062.932
AT ITER 120 NEW BEST:: SOT 81285 SOS 58930 HAS SOPS 58930 HAS SOUS 53002 HAS SOUPS 53002 WITH SCORE 53060.93
AT ITER 121 NEW BEST:: SOT 81272 SOS 58917 HAS SOPS 58917 HAS SOUS 52972 HAS SOUPS 52972 WITH SCORE 53030.917
AT ITER 122 NEW BEST:: SOT 81209 SOS 58854 HAS SOPS 58854 HAS SOUS 52909 HAS SOUPS 52909 WITH SCORE 52967.854
AT ITER 124 NEW BEST:: SOT 81169 SOS 58736 HAS SOPS 58736 HAS SOUS 52817 HAS SOUPS 52817 WITH SCORE 52875.736
AT ITER 132 NEW BEST:: SOT 80953 SOS 58520 HAS SOPS 58520 HAS SOUS 52611 HAS SOUPS 52611 WITH SCORE 52669.52
AT ITER 134 NEW BEST:: SOT 80831 SOS 58295 HAS SOPS 58295 HAS SOUS 52386 HAS SOUPS 52386 WITH SCORE 52444.295
AT ITER 139 NEW BEST:: SOT 80775 SOS 58183 HAS SOPS 58183 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52333.183
AT ITER 141 NEW BEST:: SOT 80775 SOS 58075 HAS SOPS 58075 HAS SOUS 52250 HAS SOUPS 52250 WITH SCORE 52308.075
AT ITER 143 NEW BEST:: SOT 80673 SOS 57582 HAS SOPS 57582 HAS SOUS 51727 HAS SOUPS 51727 WITH SCORE 51784.582
AT ITER 145 NEW BEST:: SOT 80463 SOS 57532 HAS SOPS 57532 HAS SOUS 51670 HAS SOUPS 51670 WITH SCORE 51727.532
AT ITER 149 NEW BEST:: SOT 80419 SOS 57287 HAS SOPS 57287 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51408.287
AT ITER 151 NEW BEST:: SOT 80251 SOS 57119 HAS SOPS 57119 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51240.119
AT ITER 153 NEW BEST:: SOT 80251 SOS 56958 HAS SOPS 56958 HAS SOUS 51182 HAS SOUPS 51182 WITH SCORE 51238.958
AT ITER 157 NEW BEST:: SOT 80078 SOS 56785 HAS SOPS 56785 HAS SOUS 51007 HAS SOUPS 51007 WITH SCORE 51063.785
AT ITER 159 NEW BEST:: SOT 79891 SOS 56692 HAS SOPS 56692 HAS SOUS 50792 HAS SOUPS 50792 WITH SCORE 50848.692
AT ITER 160 NEW BEST:: SOT 79962 SOS 56658 HAS SOPS 56658 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50831.658
AT ITER 161 NEW BEST:: SOT 79925 SOS 56619 HAS SOPS 56619 HAS SOUS 50735 HAS SOUPS 50735 WITH SCORE 50791.619
AT ITER 162 NEW BEST:: SOT 79812 SOS 56505 HAS SOPS 56505 HAS SOUS 50694 HAS SOUPS 50694 WITH SCORE 50750.505
AT ITER 163 NEW BEST:: SOT 79821 SOS 56364 HAS SOPS 56364 HAS SOUS 50479 HAS SOUPS 50479 WITH SCORE 50535.364
AT ITER 164 NEW BEST:: SOT 79821 SOS 56301 HAS SOPS 56301 HAS SOUS 50445 HAS SOUPS 50445 WITH SCORE 50501.301
AT ITER 166 NEW BEST:: SOT 79813 SOS 56293 HAS SOPS 56293 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50493.293
AT ITER 170 NEW BEST:: SOT 79813 SOS 56291 HAS SOPS 56291 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50493.291
AT ITER 171 NEW BEST:: SOT 79813 SOS 55969 HAS SOPS 55969 HAS SOUS 50398 HAS SOUPS 50398 WITH SCORE 50453.969
AT ITER 172 NEW BEST:: SOT 79813 SOS 55932 HAS SOPS 55932 HAS SOUS 50398 HAS SOUPS 50398 WITH SCORE 50453.932
AT ITER 174 NEW BEST:: SOT 79813 SOS 55932 HAS SOPS 55932 HAS SOUS 50378 HAS SOUPS 50378 WITH SCORE 50433.932
AT ITER 177 NEW BEST:: SOT 79812 SOS 55925 HAS SOPS 55925 HAS SOUS 50377 HAS SOUPS 50377 WITH SCORE 50432.925
AT ITER 178 NEW BEST:: SOT 79783 SOS 56029 HAS SOPS 56029 HAS SOUS 50292 HAS SOUPS 50292 WITH SCORE 50348.029
AT ITER 180 NEW BEST:: SOT 79665 SOS 55911 HAS SOPS 55911 HAS SOUS 50071 HAS SOUPS 50071 WITH SCORE 50126.911
AT ITER 182 NEW BEST:: SOT 79665 SOS 55794 HAS SOPS 55794 HAS SOUS 49972 HAS SOUPS 49972 WITH SCORE 50027.794
AT ITER 183 NEW BEST:: SOT 79578 SOS 55707 HAS SOPS 55707 HAS SOUS 49885 HAS SOUPS 49885 WITH SCORE 49940.707
AT ITER 187 NEW BEST:: SOT 79321 SOS 55072 HAS SOPS 55072 HAS SOUS 49436 HAS SOUPS 49436 WITH SCORE 49491.072
AT ITER 189 NEW BEST:: SOT 79277 SOS 55028 HAS SOPS 55028 HAS SOUS 49392 HAS SOUPS 49392 WITH SCORE 49447.028
AT ITER 190 NEW BEST:: SOT 79277 SOS 54957 HAS SOPS 54957 HAS SOUS 49392 HAS SOUPS 49392 WITH SCORE 49446.957
AT ITER 193 NEW BEST:: SOT 79310 SOS 54951 HAS SOPS 54951 HAS SOUS 49386 HAS SOUPS 49386 WITH SCORE 49440.951
AT ITER 196 NEW BEST:: SOT 79206 SOS 54914 HAS SOPS 54914 HAS SOUS 49349 HAS SOUPS 49349 WITH SCORE 49403.914
AT ITER 204 NEW BEST:: SOT 79206 SOS 54830 HAS SOPS 54830 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49332.83
AT ITER 205 NEW BEST:: SOT 79199 SOS 54774 HAS SOPS 54774 HAS SOUS 49222 HAS SOUPS 49222 WITH SCORE 49276.774
AT ITER 206 NEW BEST:: SOT 79199 SOS 54644 HAS SOPS 54644 HAS SOUS 49206 HAS SOUPS 49206 WITH SCORE 49260.644
AT ITER 209 NEW BEST:: SOT 79188 SOS 54622 HAS SOPS 54622 HAS SOUS 49191 HAS SOUPS 49191 WITH SCORE 49245.622
AT ITER 210 NEW BEST:: SOT 79188 SOS 54566 HAS SOPS 54566 HAS SOUS 49191 HAS SOUPS 49191 WITH SCORE 49245.566
AT ITER 211 NEW BEST:: SOT 79188 SOS 54566 HAS SOPS 54566 HAS SOUS 49181 HAS SOUPS 49181 WITH SCORE 49235.566
AT ITER 215 NEW BEST:: SOT 79188 SOS 54611 HAS SOPS 54611 HAS SOUS 49180 HAS SOUPS 49180 WITH SCORE 49234.611
AT ITER 216 NEW BEST:: SOT 79188 SOS 54575 HAS SOPS 54575 HAS SOUS 49135 HAS SOUPS 49135 WITH SCORE 49189.575
AT ITER 218 NEW BEST:: SOT 79240 SOS 54632 HAS SOPS 54632 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49179.632
AT ITER 219 NEW BEST:: SOT 79240 SOS 54684 HAS SOPS 54684 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49154.684
AT ITER 225 NEW BEST:: SOT 79230 SOS 54674 HAS SOPS 54674 HAS SOUS 49090 HAS SOUPS 49090 WITH SCORE 49144.674
AT ITER 226 NEW BEST:: SOT 79230 SOS 54577 HAS SOPS 54577 HAS SOUS 49036 HAS SOUPS 49036 WITH SCORE 49090.577
AT ITER 234 NEW BEST:: SOT 79206 SOS 54551 HAS SOPS 54551 HAS SOUS 49010 HAS SOUPS 49010 WITH SCORE 49064.551
AT ITER 235 NEW BEST:: SOT 79075 SOS 54347 HAS SOPS 54347 HAS SOUS 48787 HAS SOUPS 48787 WITH SCORE 48841.347
AT ITER 236 NEW BEST:: SOT 79079 SOS 54309 HAS SOPS 54309 HAS SOUS 48745 HAS SOUPS 48745 WITH SCORE 48799.309
AT ITER 237 NEW BEST:: SOT 79071 SOS 54301 HAS SOPS 54301 HAS SOUS 48737 HAS SOUPS 48737 WITH SCORE 48791.301
AT ITER 240 NEW BEST:: SOT 79115 SOS 54070 HAS SOPS 54070 HAS SOUS 48625 HAS SOUPS 48625 WITH SCORE 48679.07
AT ITER 243 NEW BEST:: SOT 79021 SOS 53929 HAS SOPS 53929 HAS SOUS 48484 HAS SOUPS 48484 WITH SCORE 48537.929
AT ITER 246 NEW BEST:: SOT 78715 SOS 53392 HAS SOPS 53392 HAS SOUS 47911 HAS SOUPS 47911 WITH SCORE 47964.392
AT ITER 248 NEW BEST:: SOT 78714 SOS 53384 HAS SOPS 53384 HAS SOUS 47910 HAS SOUPS 47910 WITH SCORE 47963.384
AT ITER 252 NEW BEST:: SOT 78497 SOS 53185 HAS SOPS 53185 HAS SOUS 47711 HAS SOUPS 47711 WITH SCORE 47764.185
AT ITER 254 NEW BEST:: SOT 78490 SOS 53178 HAS SOPS 53178 HAS SOUS 47677 HAS SOUPS 47677 WITH SCORE 47730.178
AT ITER 255 NEW BEST:: SOT 78358 SOS 53046 HAS SOPS 53046 HAS SOUS 47459 HAS SOUPS 47459 WITH SCORE 47512.046
AT ITER 256 NEW BEST:: SOT 78315 SOS 52957 HAS SOPS 52957 HAS SOUS 47376 HAS SOUPS 47376 WITH SCORE 47428.957
AT ITER 267 NEW BEST:: SOT 78315 SOS 52931 HAS SOPS 52931 HAS SOUS 47363 HAS SOUPS 47363 WITH SCORE 47415.931
AT ITER 272 NEW BEST:: SOT 78315 SOS 52826 HAS SOPS 52826 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47391.826
AT ITER 274 NEW BEST:: SOT 78254 SOS 52495 HAS SOPS 52495 HAS SOUS 47132 HAS SOUPS 47132 WITH SCORE 47184.495
AT ITER 275 NEW BEST:: SOT 78243 SOS 52484 HAS SOPS 52484 HAS SOUS 47057 HAS SOUPS 47057 WITH SCORE 47109.484
AT ITER 279 NEW BEST:: SOT 78243 SOS 52309 HAS SOPS 52309 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47052.309
AT ITER 280 NEW BEST:: SOT 77928 SOS 51994 HAS SOPS 51994 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46613.994
AT ITER 282 NEW BEST:: SOT 77919 SOS 51985 HAS SOPS 51985 HAS SOUS 46553 HAS SOUPS 46553 WITH SCORE 46604.985
AT ITER 287 NEW BEST:: SOT 77919 SOS 51861 HAS SOPS 51861 HAS SOUS 46429 HAS SOUPS 46429 WITH SCORE 46480.861
AT ITER 292 NEW BEST:: SOT 77890 SOS 51505 HAS SOPS 51505 HAS SOUS 46240 HAS SOUPS 46240 WITH SCORE 46291.505
AT ITER 293 NEW BEST:: SOT 77884 SOS 51499 HAS SOPS 51499 HAS SOUS 46234 HAS SOUPS 46234 WITH SCORE 46285.499
AT ITER 294 NEW BEST:: SOT 77869 SOS 51484 HAS SOPS 51484 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46271.484
AT ITER 296 NEW BEST:: SOT 77821 SOS 51436 HAS SOPS 51436 HAS SOUS 46172 HAS SOUPS 46172 WITH SCORE 46223.436
AT ITER 299 NEW BEST:: SOT 77818 SOS 51427 HAS SOPS 51427 HAS SOUS 46163 HAS SOUPS 46163 WITH SCORE 46214.427
AT ITER 300 NEW BEST:: SOT 77818 SOS 51352 HAS SOPS 51352 HAS SOUS 46088 HAS SOUPS 46088 WITH SCORE 46139.352
AT ITER 303 NEW BEST:: SOT 77783 SOS 51317 HAS SOPS 51317 HAS SOUS 46053 HAS SOUPS 46053 WITH SCORE 46104.317
AT ITER 305 NEW BEST:: SOT 77736 SOS 51270 HAS SOPS 51270 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46066.27
AT ITER 307 NEW BEST:: SOT 77700 SOS 51125 HAS SOPS 51125 HAS SOUS 45950 HAS SOUPS 45950 WITH SCORE 46001.125
AT ITER 310 NEW BEST:: SOT 77641 SOS 51066 HAS SOPS 51066 HAS SOUS 45786 HAS SOUPS 45786 WITH SCORE 45837.066
AT ITER 311 NEW BEST:: SOT 77644 SOS 51045 HAS SOPS 51045 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45816.045
AT ITER 312 NEW BEST:: SOT 77598 SOS 50953 HAS SOPS 50953 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45723.953
AT ITER 314 NEW BEST:: SOT 77259 SOS 50225 HAS SOPS 50225 HAS SOUS 44992 HAS SOUPS 44992 WITH SCORE 45042.225
AT ITER 319 NEW BEST:: SOT 77259 SOS 50089 HAS SOPS 50089 HAS SOUS 44915 HAS SOUPS 44915 WITH SCORE 44965.089
AT ITER 322 NEW BEST:: SOT 77205 SOS 50032 HAS SOPS 50032 HAS SOUS 44858 HAS SOUPS 44858 WITH SCORE 44908.032
AT ITER 323 NEW BEST:: SOT 77101 SOS 49695 HAS SOPS 49695 HAS SOUS 44651 HAS SOUPS 44651 WITH SCORE 44700.695
AT ITER 324 NEW BEST:: SOT 77022 SOS 49580 HAS SOPS 49580 HAS SOUS 44502 HAS SOUPS 44502 WITH SCORE 44551.58
AT ITER 327 NEW BEST:: SOT 77019 SOS 49400 HAS SOPS 49400 HAS SOUS 44381 HAS SOUPS 44381 WITH SCORE 44430.4
AT ITER 329 NEW BEST:: SOT 77010 SOS 49385 HAS SOPS 49385 HAS SOUS 44369 HAS SOUPS 44369 WITH SCORE 44418.385
AT ITER 330 NEW BEST:: SOT 76817 SOS 49192 HAS SOPS 49192 HAS SOUS 44239 HAS SOUPS 44239 WITH SCORE 44288.192
AT ITER 331 NEW BEST:: SOT 76811 SOS 49186 HAS SOPS 49186 HAS SOUS 44233 HAS SOUPS 44233 WITH SCORE 44282.186
AT ITER 332 NEW BEST:: SOT 76811 SOS 49186 HAS SOPS 49186 HAS SOUS 44166 HAS SOUPS 44166 WITH SCORE 44215.186
AT ITER 333 NEW BEST:: SOT 76788 SOS 49163 HAS SOPS 49163 HAS SOUS 44143 HAS SOUPS 44143 WITH SCORE 44192.163
AT ITER 334 NEW BEST:: SOT 76607 SOS 48982 HAS SOPS 48982 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44010.982
AT ITER 336 NEW BEST:: SOT 76607 SOS 48977 HAS SOPS 48977 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44005.977
AT ITER 338 NEW BEST:: SOT 76607 SOS 48964 HAS SOPS 48964 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44005.964
AT ITER 340 NEW BEST:: SOT 76456 SOS 48813 HAS SOPS 48813 HAS SOUS 43806 HAS SOUPS 43806 WITH SCORE 43854.813
AT ITER 342 NEW BEST:: SOT 76297 SOS 48737 HAS SOPS 48737 HAS SOUS 43536 HAS SOUPS 43536 WITH SCORE 43584.737
AT ITER 348 NEW BEST:: SOT 76296 SOS 48682 HAS SOPS 48682 HAS SOUS 43483 HAS SOUPS 43483 WITH SCORE 43531.682
AT ITER 350 NEW BEST:: SOT 76248 SOS 48660 HAS SOPS 48660 HAS SOUS 43453 HAS SOUPS 43453 WITH SCORE 43501.66
AT ITER 351 NEW BEST:: SOT 76214 SOS 48626 HAS SOPS 48626 HAS SOUS 43419 HAS SOUPS 43419 WITH SCORE 43467.626
AT ITER 355 NEW BEST:: SOT 76092 SOS 48592 HAS SOPS 48592 HAS SOUS 43385 HAS SOUPS 43385 WITH SCORE 43433.592
AT ITER 364 NEW BEST:: SOT 76028 SOS 48783 HAS SOPS 48783 HAS SOUS 43384 HAS SOUPS 43384 WITH SCORE 43432.783
AT ITER 367 NEW BEST:: SOT 75998 SOS 48723 HAS SOPS 48723 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43368.723
AT ITER 369 NEW BEST:: SOT 75983 SOS 48708 HAS SOPS 48708 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43353.708
AT ITER 375 NEW BEST:: SOT 76148 SOS 48707 HAS SOPS 48707 HAS SOUS 43303 HAS SOUPS 43303 WITH SCORE 43351.707
AT ITER 377 NEW BEST:: SOT 76104 SOS 48714 HAS SOPS 48714 HAS SOUS 43267 HAS SOUPS 43267 WITH SCORE 43315.714
AT ITER 378 NEW BEST:: SOT 76090 SOS 48700 HAS SOPS 48700 HAS SOUS 43253 HAS SOUPS 43253 WITH SCORE 43301.7
AT ITER 379 NEW BEST:: SOT 76014 SOS 48624 HAS SOPS 48624 HAS SOUS 43160 HAS SOUPS 43160 WITH SCORE 43208.624
AT ITER 384 NEW BEST:: SOT 75907 SOS 48444 HAS SOPS 48444 HAS SOUS 42985 HAS SOUPS 42985 WITH SCORE 43033.444
AT ITER 388 NEW BEST:: SOT 75610 SOS 47819 HAS SOPS 47819 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42629.819
AT ITER 392 NEW BEST:: SOT 75551 SOS 47732 HAS SOPS 47732 HAS SOUS 42536 HAS SOUPS 42536 WITH SCORE 42583.732
AT ITER 394 NEW BEST:: SOT 75538 SOS 47693 HAS SOPS 47693 HAS SOUS 42510 HAS SOUPS 42510 WITH SCORE 42557.693
AT ITER 396 NEW BEST:: SOT 75538 SOS 47442 HAS SOPS 47442 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42313.442
AT ITER 397 NEW BEST:: SOT 75256 SOS 47160 HAS SOPS 47160 HAS SOUS 41978 HAS SOUPS 41978 WITH SCORE 42025.16
AT ITER 399 NEW BEST:: SOT 75222 SOS 47101 HAS SOPS 47101 HAS SOUS 41919 HAS SOUPS 41919 WITH SCORE 41966.101
AT ITER 401 NEW BEST:: SOT 75222 SOS 47045 HAS SOPS 47045 HAS SOUS 41919 HAS SOUPS 41919 WITH SCORE 41966.045
AT ITER 407 NEW BEST:: SOT 75222 SOS 46852 HAS SOPS 46852 HAS SOUS 41874 HAS SOUPS 41874 WITH SCORE 41920.852
AT ITER 410 NEW BEST:: SOT 75222 SOS 46850 HAS SOPS 46850 HAS SOUS 41874 HAS SOUPS 41874 WITH SCORE 41920.85
AT ITER 412 NEW BEST:: SOT 75222 SOS 46864 HAS SOPS 46864 HAS SOUS 41834 HAS SOUPS 41834 WITH SCORE 41880.864
AT ITER 413 NEW BEST:: SOT 75176 SOS 46728 HAS SOPS 46728 HAS SOUS 41698 HAS SOUPS 41698 WITH SCORE 41744.728
AT ITER 420 NEW BEST:: SOT 75192 SOS 46561 HAS SOPS 46561 HAS SOUS 41630 HAS SOUPS 41630 WITH SCORE 41676.561
AT ITER 421 NEW BEST:: SOT 75144 SOS 46528 HAS SOPS 46528 HAS SOUS 41597 HAS SOUPS 41597 WITH SCORE 41643.528
AT ITER 423 NEW BEST:: SOT 75149 SOS 46519 HAS SOPS 46519 HAS SOUS 41588 HAS SOUPS 41588 WITH SCORE 41634.519
AT ITER 425 NEW BEST:: SOT 75149 SOS 46526 HAS SOPS 46526 HAS SOUS 41584 HAS SOUPS 41584 WITH SCORE 41630.526
AT ITER 428 NEW BEST:: SOT 75062 SOS 46025 HAS SOPS 46025 HAS SOUS 41470 HAS SOUPS 41470 WITH SCORE 41516.025
AT ITER 431 NEW BEST:: SOT 75062 SOS 45967 HAS SOPS 45967 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41509.967
AT ITER 441 NEW BEST:: SOT 75062 SOS 46051 HAS SOPS 46051 HAS SOUS 41453 HAS SOUPS 41453 WITH SCORE 41499.051
AT ITER 447 NEW BEST:: SOT 75031 SOS 45958 HAS SOPS 45958 HAS SOUS 41391 HAS SOUPS 41391 WITH SCORE 41436.958
AT ITER 450 NEW BEST:: SOT 74761 SOS 45500 HAS SOPS 45500 HAS SOUS 40933 HAS SOUPS 40933 WITH SCORE 40978.5
AT ITER 456 NEW BEST:: SOT 74761 SOS 45451 HAS SOPS 45451 HAS SOUS 40933 HAS SOUPS 40933 WITH SCORE 40978.451
AT ITER 461 NEW BEST:: SOT 74643 SOS 45177 HAS SOPS 45177 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40754.177
AT ITER 466 NEW BEST:: SOT 74635 SOS 45169 HAS SOPS 45169 HAS SOUS 40701 HAS SOUPS 40701 WITH SCORE 40746.169
AT ITER 475 NEW BEST:: SOT 74626 SOS 45168 HAS SOPS 45168 HAS SOUS 40700 HAS SOUPS 40700 WITH SCORE 40745.168
AT ITER 478 NEW BEST:: SOT 74611 SOS 45153 HAS SOPS 45153 HAS SOUS 40685 HAS SOUPS 40685 WITH SCORE 40730.153
AT ITER 484 NEW BEST:: SOT 74384 SOS 44400 HAS SOPS 44400 HAS SOUS 40099 HAS SOUPS 40099 WITH SCORE 40143.4
AT ITER 499 NEW BEST:: SOT 74384 SOS 44350 HAS SOPS 44350 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40108.35
AT ITER 505 NEW BEST:: SOT 74365 SOS 44312 HAS SOPS 44312 HAS SOUS 40028 HAS SOUPS 40028 WITH SCORE 40072.312
AT ITER 506 NEW BEST:: SOT 74360 SOS 44292 HAS SOPS 44292 HAS SOUS 40008 HAS SOUPS 40008 WITH SCORE 40052.292
AT ITER 507 NEW BEST:: SOT 74378 SOS 44310 HAS SOPS 44310 HAS SOUS 39915 HAS SOUPS 39915 WITH SCORE 39959.31
AT ITER 524 NEW BEST:: SOT 74350 SOS 44298 HAS SOPS 44298 HAS SOUS 39901 HAS SOUPS 39901 WITH SCORE 39945.298
AT ITER 528 NEW BEST:: SOT 74350 SOS 44298 HAS SOPS 44298 HAS SOUS 39891 HAS SOUPS 39891 WITH SCORE 39935.298
AT ITER 530 NEW BEST:: SOT 74350 SOS 44284 HAS SOPS 44284 HAS SOUS 39877 HAS SOUPS 39877 WITH SCORE 39921.284
AT ITER 540 NEW BEST:: SOT 74345 SOS 44239 HAS SOPS 44239 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39881.239
AT ITER 541 NEW BEST:: SOT 74332 SOS 44226 HAS SOPS 44226 HAS SOUS 39824 HAS SOUPS 39824 WITH SCORE 39868.226
AT ITER 544 NEW BEST:: SOT 74049 SOS 44115 HAS SOPS 44115 HAS SOUS 39674 HAS SOUPS 39674 WITH SCORE 39718.115
AT ITER 548 NEW BEST:: SOT 74013 SOS 44007 HAS SOPS 44007 HAS SOUS 39566 HAS SOUPS 39566 WITH SCORE 39610.007
AT ITER 549 NEW BEST:: SOT 74013 SOS 44007 HAS SOPS 44007 HAS SOUS 39554 HAS SOUPS 39554 WITH SCORE 39598.007
AT ITER 554 NEW BEST:: SOT 73962 SOS 43956 HAS SOPS 43956 HAS SOUS 39503 HAS SOUPS 39503 WITH SCORE 39546.956
AT ITER 564 NEW BEST:: SOT 73935 SOS 43573 HAS SOPS 43573 HAS SOUS 39428 HAS SOUPS 39428 WITH SCORE 39471.573
AT ITER 570 NEW BEST:: SOT 73731 SOS 43348 HAS SOPS 43348 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39348.348
AT ITER 572 NEW BEST:: SOT 73715 SOS 43332 HAS SOPS 43332 HAS SOUS 39289 HAS SOUPS 39289 WITH SCORE 39332.332
AT ITER 576 NEW BEST:: SOT 73671 SOS 43322 HAS SOPS 43322 HAS SOUS 39265 HAS SOUPS 39265 WITH SCORE 39308.322
AT ITER 578 NEW BEST:: SOT 73671 SOS 43135 HAS SOPS 43135 HAS SOUS 39265 HAS SOUPS 39265 WITH SCORE 39308.135
AT ITER 580 NEW BEST:: SOT 73693 SOS 42944 HAS SOPS 42944 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39267.944
AT ITER 584 NEW BEST:: SOT 73810 SOS 42924 HAS SOPS 42924 HAS SOUS 39224 HAS SOUPS 39224 WITH SCORE 39266.924
AT ITER 589 NEW BEST:: SOT 73726 SOS 42805 HAS SOPS 42805 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39143.805
AT ITER 601 NEW BEST:: SOT 73667 SOS 42884 HAS SOPS 42884 HAS SOUS 39088 HAS SOUPS 39088 WITH SCORE 39130.884
AT ITER 603 NEW BEST:: SOT 73619 SOS 42651 HAS SOPS 42651 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38961.651
AT ITER 605 NEW BEST:: SOT 73624 SOS 42639 HAS SOPS 42639 HAS SOUS 38918 HAS SOUPS 38918 WITH SCORE 38960.639
AT ITER 609 NEW BEST:: SOT 73477 SOS 42374 HAS SOPS 42374 HAS SOUS 38554 HAS SOUPS 38554 WITH SCORE 38596.374
AT ITER 612 NEW BEST:: SOT 73321 SOS 42218 HAS SOPS 42218 HAS SOUS 38317 HAS SOUPS 38317 WITH SCORE 38359.218
AT ITER 621 NEW BEST:: SOT 73285 SOS 42182 HAS SOPS 42182 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38323.182
AT ITER 627 NEW BEST:: SOT 73275 SOS 42052 HAS SOPS 42052 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38274.052
AT ITER 630 NEW BEST:: SOT 73190 SOS 42054 HAS SOPS 42054 HAS SOUS 38203 HAS SOUPS 38203 WITH SCORE 38245.054
AT ITER 642 NEW BEST:: SOT 73190 SOS 41946 HAS SOPS 41946 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38176.946
AT ITER 643 NEW BEST:: SOT 73165 SOS 41921 HAS SOPS 41921 HAS SOUS 38101 HAS SOUPS 38101 WITH SCORE 38142.921
AT ITER 649 NEW BEST:: SOT 73104 SOS 41826 HAS SOPS 41826 HAS SOUS 38006 HAS SOUPS 38006 WITH SCORE 38047.826
AT ITER 650 NEW BEST:: SOT 73065 SOS 41758 HAS SOPS 41758 HAS SOUS 37938 HAS SOUPS 37938 WITH SCORE 37979.758
AT ITER 652 NEW BEST:: SOT 73006 SOS 41699 HAS SOPS 41699 HAS SOUS 37879 HAS SOUPS 37879 WITH SCORE 37920.699
AT ITER 658 NEW BEST:: SOT 73006 SOS 41575 HAS SOPS 41575 HAS SOUS 37816 HAS SOUPS 37816 WITH SCORE 37857.575
AT ITER 660 NEW BEST:: SOT 73006 SOS 41548 HAS SOPS 41548 HAS SOUS 37801 HAS SOUPS 37801 WITH SCORE 37842.548
AT ITER 661 NEW BEST:: SOT 72992 SOS 41483 HAS SOPS 41483 HAS SOUS 37773 HAS SOUPS 37773 WITH SCORE 37814.483
AT ITER 662 NEW BEST:: SOT 72916 SOS 41407 HAS SOPS 41407 HAS SOUS 37697 HAS SOUPS 37697 WITH SCORE 37738.407
AT ITER 669 NEW BEST:: SOT 72916 SOS 41398 HAS SOPS 41398 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37736.398
AT ITER 670 NEW BEST:: SOT 72916 SOS 41381 HAS SOPS 41381 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37703.381
AT ITER 674 NEW BEST:: SOT 72808 SOS 41345 HAS SOPS 41345 HAS SOUS 37562 HAS SOUPS 37562 WITH SCORE 37603.345
AT ITER 676 NEW BEST:: SOT 72804 SOS 41337 HAS SOPS 41337 HAS SOUS 37554 HAS SOUPS 37554 WITH SCORE 37595.337
AT ITER 689 NEW BEST:: SOT 72759 SOS 41319 HAS SOPS 41319 HAS SOUS 37461 HAS SOUPS 37461 WITH SCORE 37502.319
AT ITER 691 NEW BEST:: SOT 72751 SOS 41311 HAS SOPS 41311 HAS SOUS 37453 HAS SOUPS 37453 WITH SCORE 37494.311
AT ITER 693 NEW BEST:: SOT 72748 SOS 41303 HAS SOPS 41303 HAS SOUS 37424 HAS SOUPS 37424 WITH SCORE 37465.303
AT ITER 700 NEW BEST:: SOT 72736 SOS 41291 HAS SOPS 41291 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37453.291
AT ITER 703 NEW BEST:: SOT 72550 SOS 41011 HAS SOPS 41011 HAS SOUS 37225 HAS SOUPS 37225 WITH SCORE 37266.011
AT ITER 704 NEW BEST:: SOT 72500 SOS 40967 HAS SOPS 40967 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37237.967
AT ITER 705 NEW BEST:: SOT 72487 SOS 40954 HAS SOPS 40954 HAS SOUS 37184 HAS SOUPS 37184 WITH SCORE 37224.954
AT ITER 710 NEW BEST:: SOT 72523 SOS 40912 HAS SOPS 40912 HAS SOUS 37167 HAS SOUPS 37167 WITH SCORE 37207.912
AT ITER 714 NEW BEST:: SOT 72575 SOS 40883 HAS SOPS 40883 HAS SOUS 37159 HAS SOUPS 37159 WITH SCORE 37199.883
AT ITER 720 NEW BEST:: SOT 72414 SOS 40763 HAS SOPS 40763 HAS SOUS 36960 HAS SOUPS 36960 WITH SCORE 37000.763
AT ITER 722 NEW BEST:: SOT 72401 SOS 40750 HAS SOPS 40750 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 36987.75
AT ITER 726 NEW BEST:: SOT 72262 SOS 40587 HAS SOPS 40587 HAS SOUS 36890 HAS SOUPS 36890 WITH SCORE 36930.587
AT ITER 733 NEW BEST:: SOT 72262 SOS 40587 HAS SOPS 40587 HAS SOUS 36854 HAS SOUPS 36854 WITH SCORE 36894.587
AT ITER 736 NEW BEST:: SOT 72276 SOS 40453 HAS SOPS 40453 HAS SOUS 36772 HAS SOUPS 36772 WITH SCORE 36812.453
AT ITER 741 NEW BEST:: SOT 72276 SOS 40282 HAS SOPS 40282 HAS SOUS 36772 HAS SOUPS 36772 WITH SCORE 36812.282
AT ITER 745 NEW BEST:: SOT 72295 SOS 40200 HAS SOPS 40200 HAS SOUS 36762 HAS SOUPS 36762 WITH SCORE 36802.2
AT ITER 751 NEW BEST:: SOT 72182 SOS 40034 HAS SOPS 40034 HAS SOUS 36596 HAS SOUPS 36596 WITH SCORE 36636.034
AT ITER 755 NEW BEST:: SOT 72169 SOS 40011 HAS SOPS 40011 HAS SOUS 36576 HAS SOUPS 36576 WITH SCORE 36616.011
AT ITER 765 NEW BEST:: SOT 72164 SOS 40006 HAS SOPS 40006 HAS SOUS 36571 HAS SOUPS 36571 WITH SCORE 36611.006
AT ITER 767 NEW BEST:: SOT 72150 SOS 39999 HAS SOPS 39999 HAS SOUS 36533 HAS SOUPS 36533 WITH SCORE 36572.999
AT ITER 773 NEW BEST:: SOT 72150 SOS 39973 HAS SOPS 39973 HAS SOUS 36533 HAS SOUPS 36533 WITH SCORE 36572.973
AT ITER 780 NEW BEST:: SOT 72136 SOS 39959 HAS SOPS 39959 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36558.959
AT ITER 783 NEW BEST:: SOT 72062 SOS 39845 HAS SOPS 39845 HAS SOUS 36405 HAS SOUPS 36405 WITH SCORE 36444.845
AT ITER 786 NEW BEST:: SOT 72062 SOS 39748 HAS SOPS 39748 HAS SOUS 36209 HAS SOUPS 36209 WITH SCORE 36248.748
AT ITER 789 NEW BEST:: SOT 72062 SOS 39732 HAS SOPS 39732 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36232.732
AT ITER 794 NEW BEST:: SOT 72006 SOS 39676 HAS SOPS 39676 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36188.676
AT ITER 795 NEW BEST:: SOT 71855 SOS 39417 HAS SOPS 39417 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 35929.417
AT ITER 805 NEW BEST:: SOT 71855 SOS 39410 HAS SOPS 39410 HAS SOUS 35876 HAS SOUPS 35876 WITH SCORE 35915.41
AT ITER 806 NEW BEST:: SOT 71855 SOS 39407 HAS SOPS 39407 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35913.407
AT ITER 808 NEW BEST:: SOT 71855 SOS 39395 HAS SOPS 39395 HAS SOUS 35862 HAS SOUPS 35862 WITH SCORE 35901.395
AT ITER 815 NEW BEST:: SOT 71842 SOS 39443 HAS SOPS 39443 HAS SOUS 35836 HAS SOUPS 35836 WITH SCORE 35875.443
AT ITER 816 NEW BEST:: SOT 71740 SOS 39341 HAS SOPS 39341 HAS SOUS 35734 HAS SOUPS 35734 WITH SCORE 35773.341
AT ITER 820 NEW BEST:: SOT 71717 SOS 39318 HAS SOPS 39318 HAS SOUS 35711 HAS SOUPS 35711 WITH SCORE 35750.318
AT ITER 825 NEW BEST:: SOT 71661 SOS 39262 HAS SOPS 39262 HAS SOUS 35655 HAS SOUPS 35655 WITH SCORE 35694.262
AT ITER 829 NEW BEST:: SOT 71701 SOS 39251 HAS SOPS 39251 HAS SOUS 35644 HAS SOUPS 35644 WITH SCORE 35683.251
AT ITER 842 NEW BEST:: SOT 71701 SOS 39177 HAS SOPS 39177 HAS SOUS 35570 HAS SOUPS 35570 WITH SCORE 35609.177
AT ITER 844 NEW BEST:: SOT 71701 SOS 39109 HAS SOPS 39109 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35555.109
AT ITER 845 NEW BEST:: SOT 71699 SOS 39098 HAS SOPS 39098 HAS SOUS 35512 HAS SOUPS 35512 WITH SCORE 35551.098
AT ITER 846 NEW BEST:: SOT 71699 SOS 39346 HAS SOPS 39346 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35481.346
AT ITER 849 NEW BEST:: SOT 71699 SOS 39338 HAS SOPS 39338 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35481.338
AT ITER 851 NEW BEST:: SOT 71692 SOS 39317 HAS SOPS 39317 HAS SOUS 35421 HAS SOUPS 35421 WITH SCORE 35460.317
AT ITER 856 NEW BEST:: SOT 71692 SOS 39258 HAS SOPS 39258 HAS SOUS 35362 HAS SOUPS 35362 WITH SCORE 35401.258
AT ITER 857 NEW BEST:: SOT 71682 SOS 39238 HAS SOPS 39238 HAS SOUS 35342 HAS SOUPS 35342 WITH SCORE 35381.238
AT ITER 858 NEW BEST:: SOT 71471 SOS 38953 HAS SOPS 38953 HAS SOUS 35057 HAS SOUPS 35057 WITH SCORE 35095.953
AT ITER 860 NEW BEST:: SOT 71444 SOS 38892 HAS SOPS 38892 HAS SOUS 35002 HAS SOUPS 35002 WITH SCORE 35040.892
AT ITER 877 NEW BEST:: SOT 71440 SOS 38930 HAS SOPS 38930 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35034.93
AT ITER 882 NEW BEST:: SOT 71387 SOS 38946 HAS SOPS 38946 HAS SOUS 34951 HAS SOUPS 34951 WITH SCORE 34989.946
AT ITER 883 NEW BEST:: SOT 71387 SOS 38950 HAS SOPS 38950 HAS SOUS 34948 HAS SOUPS 34948 WITH SCORE 34986.95
AT ITER 886 NEW BEST:: SOT 71465 SOS 38731 HAS SOPS 38731 HAS SOUS 34909 HAS SOUPS 34909 WITH SCORE 34947.731
AT ITER 887 NEW BEST:: SOT 71459 SOS 38725 HAS SOPS 38725 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34941.725
AT ITER 892 NEW BEST:: SOT 71457 SOS 38640 HAS SOPS 38640 HAS SOUS 34717 HAS SOUPS 34717 WITH SCORE 34755.64
AT ITER 893 NEW BEST:: SOT 71365 SOS 38527 HAS SOPS 38527 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34642.527
AT ITER 898 NEW BEST:: SOT 71325 SOS 38432 HAS SOPS 38432 HAS SOUS 34509 HAS SOUPS 34509 WITH SCORE 34547.432
AT ITER 901 NEW BEST:: SOT 71325 SOS 38764 HAS SOPS 38764 HAS SOUS 34371 HAS SOUPS 34371 WITH SCORE 34409.764
AT ITER 906 NEW BEST:: SOT 71321 SOS 38760 HAS SOPS 38760 HAS SOUS 34367 HAS SOUPS 34367 WITH SCORE 34405.76
AT ITER 911 NEW BEST:: SOT 71295 SOS 38707 HAS SOPS 38707 HAS SOUS 34314 HAS SOUPS 34314 WITH SCORE 34352.707
AT ITER 929 NEW BEST:: SOT 71295 SOS 38547 HAS SOPS 38547 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34272.547
AT ITER 934 NEW BEST:: SOT 71291 SOS 38535 HAS SOPS 38535 HAS SOUS 34226 HAS SOUPS 34226 WITH SCORE 34264.535
AT ITER 935 NEW BEST:: SOT 71302 SOS 38568 HAS SOPS 38568 HAS SOUS 34179 HAS SOUPS 34179 WITH SCORE 34217.568
AT ITER 936 NEW BEST:: SOT 71223 SOS 38436 HAS SOPS 38436 HAS SOUS 34066 HAS SOUPS 34066 WITH SCORE 34104.436
AT ITER 941 NEW BEST:: SOT 71221 SOS 38433 HAS SOPS 38433 HAS SOUS 34064 HAS SOUPS 34064 WITH SCORE 34102.433
AT ITER 944 NEW BEST:: SOT 71225 SOS 38406 HAS SOPS 38406 HAS SOUS 34037 HAS SOUPS 34037 WITH SCORE 34075.406
AT ITER 946 NEW BEST:: SOT 71217 SOS 38398 HAS SOPS 38398 HAS SOUS 34029 HAS SOUPS 34029 WITH SCORE 34067.398
AT ITER 951 NEW BEST:: SOT 71024 SOS 38205 HAS SOPS 38205 HAS SOUS 33899 HAS SOUPS 33899 WITH SCORE 33937.205
AT ITER 955 NEW BEST:: SOT 71022 SOS 38199 HAS SOPS 38199 HAS SOUS 33899 HAS SOUPS 33899 WITH SCORE 33937.199
AT ITER 959 NEW BEST:: SOT 71015 SOS 38192 HAS SOPS 38192 HAS SOUS 33892 HAS SOUPS 33892 WITH SCORE 33930.192
AT ITER 961 NEW BEST:: SOT 70984 SOS 38139 HAS SOPS 38139 HAS SOUS 33861 HAS SOUPS 33861 WITH SCORE 33899.139
AT ITER 965 NEW BEST:: SOT 70972 SOS 38118 HAS SOPS 38118 HAS SOUS 33840 HAS SOUPS 33840 WITH SCORE 33878.118
AT ITER 977 NEW BEST:: SOT 70971 SOS 38115 HAS SOPS 38115 HAS SOUS 33838 HAS SOUPS 33838 WITH SCORE 33876.115
AT ITER 986 NEW BEST:: SOT 70961 SOS 38117 HAS SOPS 38117 HAS SOUS 33826 HAS SOUPS 33826 WITH SCORE 33864.117
AT ITER 992 NEW BEST:: SOT 71008 SOS 37920 HAS SOPS 37920 HAS SOUS 33626 HAS SOUPS 33626 WITH SCORE 33663.92
AT ITER 997 NEW BEST:: SOT 70944 SOS 37827 HAS SOPS 37827 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33570.827
AT ITER 1003 NEW BEST:: SOT 70938 SOS 37821 HAS SOPS 37821 HAS SOUS 33527 HAS SOUPS 33527 WITH SCORE 33564.821
AT ITER 1011 NEW BEST:: SOT 70906 SOS 37788 HAS SOPS 37788 HAS SOUS 33492 HAS SOUPS 33492 WITH SCORE 33529.788
AT ITER 1012 NEW BEST:: SOT 70889 SOS 37771 HAS SOPS 37771 HAS SOUS 33475 HAS SOUPS 33475 WITH SCORE 33512.771
AT ITER 1014 NEW BEST:: SOT 70869 SOS 37751 HAS SOPS 37751 HAS SOUS 33435 HAS SOUPS 33435 WITH SCORE 33472.751
AT ITER 1020 NEW BEST:: SOT 70865 SOS 37747 HAS SOPS 37747 HAS SOUS 33431 HAS SOUPS 33431 WITH SCORE 33468.747
AT ITER 1029 NEW BEST:: SOT 70815 SOS 37698 HAS SOPS 37698 HAS SOUS 33382 HAS SOUPS 33382 WITH SCORE 33419.698
AT ITER 1049 NEW BEST:: SOT 70815 SOS 37698 HAS SOPS 37698 HAS SOUS 33377 HAS SOUPS 33377 WITH SCORE 33414.698
AT ITER 1059 NEW BEST:: SOT 70796 SOS 37679 HAS SOPS 37679 HAS SOUS 33375 HAS SOUPS 33375 WITH SCORE 33412.679
AT ITER 1065 NEW BEST:: SOT 70796 SOS 37676 HAS SOPS 37676 HAS SOUS 33375 HAS SOUPS 33375 WITH SCORE 33412.676
AT ITER 1081 NEW BEST:: SOT 70742 SOS 37641 HAS SOPS 37641 HAS SOUS 33253 HAS SOUPS 33253 WITH SCORE 33290.641
AT ITER 1092 NEW BEST:: SOT 70728 SOS 37627 HAS SOPS 37627 HAS SOUS 33239 HAS SOUPS 33239 WITH SCORE 33276.627
AT ITER 1096 NEW BEST:: SOT 70704 SOS 37603 HAS SOPS 37603 HAS SOUS 33215 HAS SOUPS 33215 WITH SCORE 33252.603
AT ITER 1097 NEW BEST:: SOT 70645 SOS 37635 HAS SOPS 37635 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33215.635
AT ITER 1112 NEW BEST:: SOT 70634 SOS 37524 HAS SOPS 37524 HAS SOUS 33101 HAS SOUPS 33101 WITH SCORE 33138.524
AT ITER 1117 NEW BEST:: SOT 70653 SOS 37486 HAS SOPS 37486 HAS SOUS 33063 HAS SOUPS 33063 WITH SCORE 33100.486
AT ITER 1125 NEW BEST:: SOT 70575 SOS 37303 HAS SOPS 37303 HAS SOUS 32907 HAS SOUPS 32907 WITH SCORE 32944.303
AT ITER 1127 NEW BEST:: SOT 70511 SOS 37239 HAS SOPS 37239 HAS SOUS 32843 HAS SOUPS 32843 WITH SCORE 32880.239
AT ITER 1134 NEW BEST:: SOT 70481 SOS 37131 HAS SOPS 37131 HAS SOUS 32812 HAS SOUPS 32812 WITH SCORE 32849.131
AT ITER 1136 NEW BEST:: SOT 70481 SOS 37129 HAS SOPS 37129 HAS SOUS 32795 HAS SOUPS 32795 WITH SCORE 32832.129
AT ITER 1141 NEW BEST:: SOT 70478 SOS 37103 HAS SOPS 37103 HAS SOUS 32766 HAS SOUPS 32766 WITH SCORE 32803.103
AT ITER 1143 NEW BEST:: SOT 70398 SOS 36948 HAS SOPS 36948 HAS SOUS 32633 HAS SOUPS 32633 WITH SCORE 32669.948
AT ITER 1146 NEW BEST:: SOT 70410 SOS 36960 HAS SOPS 36960 HAS SOUS 32629 HAS SOUPS 32629 WITH SCORE 32665.96
AT ITER 1152 NEW BEST:: SOT 70399 SOS 37118 HAS SOPS 37118 HAS SOUS 32575 HAS SOUPS 32575 WITH SCORE 32612.118
AT ITER 1170 NEW BEST:: SOT 70356 SOS 36833 HAS SOPS 36833 HAS SOUS 32423 HAS SOUPS 32423 WITH SCORE 32459.833
AT ITER 1178 NEW BEST:: SOT 70371 SOS 36848 HAS SOPS 36848 HAS SOUS 32382 HAS SOUPS 32382 WITH SCORE 32418.848
AT ITER 1182 NEW BEST:: SOT 70371 SOS 36848 HAS SOPS 36848 HAS SOUS 32352 HAS SOUPS 32352 WITH SCORE 32388.848
AT ITER 1185 NEW BEST:: SOT 70364 SOS 36812 HAS SOPS 36812 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32352.812
AT ITER 1192 NEW BEST:: SOT 70385 SOS 36839 HAS SOPS 36839 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32317.839
AT ITER 1211 NEW BEST:: SOT 70273 SOS 36466 HAS SOPS 36466 HAS SOUS 32082 HAS SOUPS 32082 WITH SCORE 32118.466
AT ITER 1218 NEW BEST:: SOT 70273 SOS 36446 HAS SOPS 36446 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32098.446
AT ITER 1223 NEW BEST:: SOT 70060 SOS 36181 HAS SOPS 36181 HAS SOUS 31797 HAS SOUPS 31797 WITH SCORE 31833.181
AT ITER 1225 NEW BEST:: SOT 70053 SOS 36174 HAS SOPS 36174 HAS SOUS 31797 HAS SOUPS 31797 WITH SCORE 31833.174
AT ITER 1238 NEW BEST:: SOT 70048 SOS 36169 HAS SOPS 36169 HAS SOUS 31792 HAS SOUPS 31792 WITH SCORE 31828.169
AT ITER 1243 NEW BEST:: SOT 69807 SOS 35842 HAS SOPS 35842 HAS SOUS 31469 HAS SOUPS 31469 WITH SCORE 31504.842
AT ITER 1248 NEW BEST:: SOT 69807 SOS 35731 HAS SOPS 35731 HAS SOUS 31358 HAS SOUPS 31358 WITH SCORE 31393.731
AT ITER 1252 NEW BEST:: SOT 69771 SOS 35695 HAS SOPS 35695 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31357.695
AT ITER 1271 NEW BEST:: SOT 69741 SOS 35653 HAS SOPS 35653 HAS SOUS 31268 HAS SOUPS 31268 WITH SCORE 31303.653
AT ITER 1272 NEW BEST:: SOT 69737 SOS 35645 HAS SOPS 35645 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31299.645
AT ITER 1274 NEW BEST:: SOT 69728 SOS 35635 HAS SOPS 35635 HAS SOUS 31254 HAS SOUPS 31254 WITH SCORE 31289.635
AT ITER 1283 NEW BEST:: SOT 69723 SOS 35530 HAS SOPS 35530 HAS SOUS 31233 HAS SOUPS 31233 WITH SCORE 31268.53
AT ITER 1289 NEW BEST:: SOT 69686 SOS 35493 HAS SOPS 35493 HAS SOUS 31196 HAS SOUPS 31196 WITH SCORE 31231.493
AT ITER 1293 NEW BEST:: SOT 69686 SOS 35517 HAS SOPS 35517 HAS SOUS 31184 HAS SOUPS 31184 WITH SCORE 31219.517
AT ITER 1302 NEW BEST:: SOT 69643 SOS 35478 HAS SOPS 35478 HAS SOUS 31145 HAS SOUPS 31145 WITH SCORE 31180.478
AT ITER 1313 NEW BEST:: SOT 69585 SOS 35246 HAS SOPS 35246 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31006.246
AT ITER 1318 NEW BEST:: SOT 69485 SOS 34996 HAS SOPS 34996 HAS SOUS 30779 HAS SOUPS 30779 WITH SCORE 30813.996
AT ITER 1333 NEW BEST:: SOT 69376 SOS 34805 HAS SOPS 34805 HAS SOUS 30588 HAS SOUPS 30588 WITH SCORE 30622.805
AT ITER 1336 NEW BEST:: SOT 69372 SOS 34786 HAS SOPS 34786 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30603.786
AT ITER 1357 NEW BEST:: SOT 69364 SOS 34768 HAS SOPS 34768 HAS SOUS 30551 HAS SOUPS 30551 WITH SCORE 30585.768
AT ITER 1371 NEW BEST:: SOT 69404 SOS 34669 HAS SOPS 34669 HAS SOUS 30443 HAS SOUPS 30443 WITH SCORE 30477.669
AT ITER 1372 NEW BEST:: SOT 69382 SOS 34643 HAS SOPS 34643 HAS SOUS 30417 HAS SOUPS 30417 WITH SCORE 30451.643
AT ITER 1373 NEW BEST:: SOT 69360 SOS 34465 HAS SOPS 34465 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30444.465
AT ITER 1374 NEW BEST:: SOT 69360 SOS 34449 HAS SOPS 34449 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30435.449
AT ITER 1379 NEW BEST:: SOT 69254 SOS 34063 HAS SOPS 34063 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30278.063
AT ITER 1383 NEW BEST:: SOT 69241 SOS 33998 HAS SOPS 33998 HAS SOUS 30166 HAS SOUPS 30166 WITH SCORE 30199.998
AT ITER 1386 NEW BEST:: SOT 69217 SOS 34076 HAS SOPS 34076 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30191.076
AT ITER 1398 NEW BEST:: SOT 69147 SOS 33936 HAS SOPS 33936 HAS SOUS 30052 HAS SOUPS 30052 WITH SCORE 30085.936
AT ITER 1400 NEW BEST:: SOT 69042 SOS 33746 HAS SOPS 33746 HAS SOUS 29830 HAS SOUPS 29830 WITH SCORE 29863.746
AT ITER 1406 NEW BEST:: SOT 68966 SOS 33395 HAS SOPS 33395 HAS SOUS 29650 HAS SOUPS 29650 WITH SCORE 29683.395
AT ITER 1410 NEW BEST:: SOT 68950 SOS 33513 HAS SOPS 33513 HAS SOUS 29607 HAS SOUPS 29607 WITH SCORE 29640.513
AT ITER 1423 NEW BEST:: SOT 68768 SOS 33332 HAS SOPS 33332 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29459.332
AT ITER 1430 NEW BEST:: SOT 68768 SOS 33300 HAS SOPS 33300 HAS SOUS 29410 HAS SOUPS 29410 WITH SCORE 29443.3
AT ITER 1433 NEW BEST:: SOT 68713 SOS 33245 HAS SOPS 33245 HAS SOUS 29393 HAS SOUPS 29393 WITH SCORE 29426.245
AT ITER 1440 NEW BEST:: SOT 68695 SOS 33332 HAS SOPS 33332 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29377.332
AT ITER 1447 NEW BEST:: SOT 68531 SOS 33168 HAS SOPS 33168 HAS SOUS 29180 HAS SOUPS 29180 WITH SCORE 29213.168
AT ITER 1450 NEW BEST:: SOT 68500 SOS 33137 HAS SOPS 33137 HAS SOUS 29149 HAS SOUPS 29149 WITH SCORE 29182.137
AT ITER 1451 NEW BEST:: SOT 68499 SOS 33136 HAS SOPS 33136 HAS SOUS 29149 HAS SOUPS 29149 WITH SCORE 29182.136
AT ITER 1459 NEW BEST:: SOT 68487 SOS 32992 HAS SOPS 32992 HAS SOUS 29130 HAS SOUPS 29130 WITH SCORE 29162.992
AT ITER 1465 NEW BEST:: SOT 68384 SOS 32886 HAS SOPS 32886 HAS SOUS 29019 HAS SOUPS 29019 WITH SCORE 29051.886
AT ITER 1473 NEW BEST:: SOT 68362 SOS 32850 HAS SOPS 32850 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29015.85
AT ITER 1474 NEW BEST:: SOT 68374 SOS 32804 HAS SOPS 32804 HAS SOUS 28937 HAS SOUPS 28937 WITH SCORE 28969.804
AT ITER 1478 NEW BEST:: SOT 68357 SOS 32764 HAS SOPS 32764 HAS SOUS 28897 HAS SOUPS 28897 WITH SCORE 28929.764
AT ITER 1490 NEW BEST:: SOT 68354 SOS 32761 HAS SOPS 32761 HAS SOUS 28897 HAS SOUPS 28897 WITH SCORE 28929.761
AT ITER 1491 NEW BEST:: SOT 68326 SOS 32677 HAS SOPS 32677 HAS SOUS 28869 HAS SOUPS 28869 WITH SCORE 28901.677
AT ITER 1493 NEW BEST:: SOT 68239 SOS 32590 HAS SOPS 32590 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28814.59
AT ITER 1494 NEW BEST:: SOT 68169 SOS 32520 HAS SOPS 32520 HAS SOUS 28712 HAS SOUPS 28712 WITH SCORE 28744.52
AT ITER 1498 NEW BEST:: SOT 68070 SOS 32385 HAS SOPS 32385 HAS SOUS 28592 HAS SOUPS 28592 WITH SCORE 28624.385
AT ITER 1511 NEW BEST:: SOT 68050 SOS 32350 HAS SOPS 32350 HAS SOUS 28562 HAS SOUPS 28562 WITH SCORE 28594.35
AT ITER 1516 NEW BEST:: SOT 68048 SOS 32221 HAS SOPS 32221 HAS SOUS 28557 HAS SOUPS 28557 WITH SCORE 28589.221
AT ITER 1522 NEW BEST:: SOT 68048 SOS 32200 HAS SOPS 32200 HAS SOUS 28552 HAS SOUPS 28552 WITH SCORE 28584.2
AT ITER 1526 NEW BEST:: SOT 67985 SOS 32006 HAS SOPS 32006 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28461.006
AT ITER 1530 NEW BEST:: SOT 67920 SOS 31736 HAS SOPS 31736 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28174.736
AT ITER 1532 NEW BEST:: SOT 67918 SOS 31734 HAS SOPS 31734 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28172.734
AT ITER 1538 NEW BEST:: SOT 67875 SOS 31562 HAS SOPS 31562 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28086.562
AT ITER 1549 NEW BEST:: SOT 67910 SOS 31607 HAS SOPS 31607 HAS SOUS 28041 HAS SOUPS 28041 WITH SCORE 28072.607
AT ITER 1560 NEW BEST:: SOT 67916 SOS 31568 HAS SOPS 31568 HAS SOUS 28013 HAS SOUPS 28013 WITH SCORE 28044.568
AT ITER 1582 NEW BEST:: SOT 67929 SOS 31554 HAS SOPS 31554 HAS SOUS 28007 HAS SOUPS 28007 WITH SCORE 28038.554
AT ITER 1607 NEW BEST:: SOT 67909 SOS 31509 HAS SOPS 31509 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 27999.509
AT ITER 1612 NEW BEST:: SOT 67889 SOS 31467 HAS SOPS 31467 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27973.467
AT ITER 1627 NEW BEST:: SOT 67746 SOS 31302 HAS SOPS 31302 HAS SOUS 27812 HAS SOUPS 27812 WITH SCORE 27843.302
AT ITER 1628 NEW BEST:: SOT 67714 SOS 31119 HAS SOPS 31119 HAS SOUS 27629 HAS SOUPS 27629 WITH SCORE 27660.119
AT ITER 1641 NEW BEST:: SOT 67611 SOS 31004 HAS SOPS 31004 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27504.004
AT ITER 1645 NEW BEST:: SOT 67609 SOS 31002 HAS SOPS 31002 HAS SOUS 27471 HAS SOUPS 27471 WITH SCORE 27502.002
AT ITER 1661 NEW BEST:: SOT 67555 SOS 30978 HAS SOPS 30978 HAS SOUS 27431 HAS SOUPS 27431 WITH SCORE 27461.978
AT ITER 1662 NEW BEST:: SOT 67559 SOS 30853 HAS SOPS 30853 HAS SOUS 27349 HAS SOUPS 27349 WITH SCORE 27379.853
AT ITER 1672 NEW BEST:: SOT 67518 SOS 30815 HAS SOPS 30815 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27341.815
AT ITER 1674 NEW BEST:: SOT 67513 SOS 30810 HAS SOPS 30810 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27336.81
AT ITER 1680 NEW BEST:: SOT 67460 SOS 30721 HAS SOPS 30721 HAS SOUS 27302 HAS SOUPS 27302 WITH SCORE 27332.721
AT ITER 1685 NEW BEST:: SOT 67460 SOS 30511 HAS SOPS 30511 HAS SOUS 27279 HAS SOUPS 27279 WITH SCORE 27309.511
AT ITER 1699 NEW BEST:: SOT 67442 SOS 30508 HAS SOPS 30508 HAS SOUS 27276 HAS SOUPS 27276 WITH SCORE 27306.508
AT ITER 1710 NEW BEST:: SOT 67456 SOS 30491 HAS SOPS 30491 HAS SOUS 27259 HAS SOUPS 27259 WITH SCORE 27289.491
AT ITER 1718 NEW BEST:: SOT 67456 SOS 30390 HAS SOPS 30390 HAS SOUS 27145 HAS SOUPS 27145 WITH SCORE 27175.39
AT ITER 1725 NEW BEST:: SOT 67456 SOS 30390 HAS SOPS 30390 HAS SOUS 27140 HAS SOUPS 27140 WITH SCORE 27170.39
AT ITER 1729 NEW BEST:: SOT 67425 SOS 30359 HAS SOPS 30359 HAS SOUS 27109 HAS SOUPS 27109 WITH SCORE 27139.359
AT ITER 1736 NEW BEST:: SOT 67416 SOS 30350 HAS SOPS 30350 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27130.35
AT ITER 1747 NEW BEST:: SOT 67416 SOS 30335 HAS SOPS 30335 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27115.335
AT ITER 1753 NEW BEST:: SOT 67405 SOS 30357 HAS SOPS 30357 HAS SOUS 27076 HAS SOUPS 27076 WITH SCORE 27106.357
AT ITER 1761 NEW BEST:: SOT 67405 SOS 30353 HAS SOPS 30353 HAS SOUS 27072 HAS SOUPS 27072 WITH SCORE 27102.353
AT ITER 1762 NEW BEST:: SOT 67350 SOS 30283 HAS SOPS 30283 HAS SOUS 27030 HAS SOUPS 27030 WITH SCORE 27060.283
AT ITER 1780 NEW BEST:: SOT 67305 SOS 30238 HAS SOPS 30238 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27015.238
AT ITER 1782 NEW BEST:: SOT 67176 SOS 29920 HAS SOPS 29920 HAS SOUS 26727 HAS SOUPS 26727 WITH SCORE 26756.92
AT ITER 1788 NEW BEST:: SOT 67166 SOS 29909 HAS SOPS 29909 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26745.909
AT ITER 1789 NEW BEST:: SOT 67166 SOS 29900 HAS SOPS 29900 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26736.9
AT ITER 1794 NEW BEST:: SOT 67148 SOS 29860 HAS SOPS 29860 HAS SOUS 26667 HAS SOUPS 26667 WITH SCORE 26696.86
AT ITER 1804 NEW BEST:: SOT 67204 SOS 29916 HAS SOPS 29916 HAS SOUS 26612 HAS SOUPS 26612 WITH SCORE 26641.916
AT ITER 1821 NEW BEST:: SOT 67159 SOS 29790 HAS SOPS 29790 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26521.79
AT ITER 1838 NEW BEST:: SOT 67171 SOS 29804 HAS SOPS 29804 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26504.804
AT ITER 1844 NEW BEST:: SOT 67012 SOS 29489 HAS SOPS 29489 HAS SOUS 26394 HAS SOUPS 26394 WITH SCORE 26423.489
AT ITER 1847 NEW BEST:: SOT 67000 SOS 29481 HAS SOPS 29481 HAS SOUS 26344 HAS SOUPS 26344 WITH SCORE 26373.481
AT ITER 1854 NEW BEST:: SOT 66982 SOS 29479 HAS SOPS 29479 HAS SOUS 26342 HAS SOUPS 26342 WITH SCORE 26371.479
AT ITER 1864 NEW BEST:: SOT 66920 SOS 29417 HAS SOPS 29417 HAS SOUS 26326 HAS SOUPS 26326 WITH SCORE 26355.417
AT ITER 1868 NEW BEST:: SOT 66891 SOS 29388 HAS SOPS 29388 HAS SOUS 26297 HAS SOUPS 26297 WITH SCORE 26326.388
AT ITER 1874 NEW BEST:: SOT 66865 SOS 29362 HAS SOPS 29362 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26300.362
AT ITER 1887 NEW BEST:: SOT 66881 SOS 29350 HAS SOPS 29350 HAS SOUS 26243 HAS SOUPS 26243 WITH SCORE 26272.35
AT ITER 1892 NEW BEST:: SOT 66881 SOS 29348 HAS SOPS 29348 HAS SOUS 26242 HAS SOUPS 26242 WITH SCORE 26271.348
AT ITER 1910 NEW BEST:: SOT 66881 SOS 29167 HAS SOPS 29167 HAS SOUS 26132 HAS SOUPS 26132 WITH SCORE 26161.167
AT ITER 1914 NEW BEST:: SOT 66865 SOS 29151 HAS SOPS 29151 HAS SOUS 26116 HAS SOUPS 26116 WITH SCORE 26145.151
AT ITER 1920 NEW BEST:: SOT 66863 SOS 29148 HAS SOPS 29148 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26143.148
AT ITER 1942 NEW BEST:: SOT 66845 SOS 29130 HAS SOPS 29130 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26125.13
AT ITER 1953 NEW BEST:: SOT 66799 SOS 29068 HAS SOPS 29068 HAS SOUS 26034 HAS SOUPS 26034 WITH SCORE 26063.068
AT ITER 1958 NEW BEST:: SOT 66768 SOS 29054 HAS SOPS 29054 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26054.054
AT ITER 1981 NEW BEST:: SOT 66662 SOS 28915 HAS SOPS 28915 HAS SOUS 25886 HAS SOUPS 25886 WITH SCORE 25914.915
AT ITER 1984 NEW BEST:: SOT 66654 SOS 28903 HAS SOPS 28903 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25902.903
AT ITER 1985 NEW BEST:: SOT 66654 SOS 28874 HAS SOPS 28874 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25873.874
AT ITER 1998 NEW BEST:: SOT 66654 SOS 28864 HAS SOPS 28864 HAS SOUS 25831 HAS SOUPS 25831 WITH SCORE 25859.864
AT ITER 2015 NEW BEST:: SOT 66648 SOS 28846 HAS SOPS 28846 HAS SOUS 25813 HAS SOUPS 25813 WITH SCORE 25841.846
AT ITER 2036 NEW BEST:: SOT 66646 SOS 28844 HAS SOPS 28844 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25839.844
AT ITER 2051 NEW BEST:: SOT 66629 SOS 28757 HAS SOPS 28757 HAS SOUS 25724 HAS SOUPS 25724 WITH SCORE 25752.757
AT ITER 2056 NEW BEST:: SOT 66590 SOS 28718 HAS SOPS 28718 HAS SOUS 25685 HAS SOUPS 25685 WITH SCORE 25713.718
AT ITER 2069 NEW BEST:: SOT 66590 SOS 28718 HAS SOPS 28718 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25704.718
AT ITER 2084 NEW BEST:: SOT 66567 SOS 28659 HAS SOPS 28659 HAS SOUS 25641 HAS SOUPS 25641 WITH SCORE 25669.659
AT ITER 2088 NEW BEST:: SOT 66567 SOS 28491 HAS SOPS 28491 HAS SOUS 25585 HAS SOUPS 25585 WITH SCORE 25613.491
AT ITER 2095 NEW BEST:: SOT 66558 SOS 28482 HAS SOPS 28482 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25604.482
AT ITER 2112 NEW BEST:: SOT 66533 SOS 28433 HAS SOPS 28433 HAS SOUS 25526 HAS SOUPS 25526 WITH SCORE 25554.433
AT ITER 2113 NEW BEST:: SOT 66531 SOS 28427 HAS SOPS 28427 HAS SOUS 25522 HAS SOUPS 25522 WITH SCORE 25550.427
AT ITER 2133 NEW BEST:: SOT 66531 SOS 28415 HAS SOPS 28415 HAS SOUS 25522 HAS SOUPS 25522 WITH SCORE 25550.415
AT ITER 2169 NEW BEST:: SOT 66505 SOS 28389 HAS SOPS 28389 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25526.389
AT ITER 2202 NEW BEST:: SOT 66501 SOS 28349 HAS SOPS 28349 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25464.349
AT ITER 2205 NEW BEST:: SOT 66484 SOS 28287 HAS SOPS 28287 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25444.287
AT ITER 2215 NEW BEST:: SOT 66366 SOS 28153 HAS SOPS 28153 HAS SOUS 25320 HAS SOUPS 25320 WITH SCORE 25348.153
AT ITER 2224 NEW BEST:: SOT 66336 SOS 28093 HAS SOPS 28093 HAS SOUS 25271 HAS SOUPS 25271 WITH SCORE 25299.093
AT ITER 2226 NEW BEST:: SOT 66329 SOS 28079 HAS SOPS 28079 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25285.079
AT ITER 2232 NEW BEST:: SOT 66329 SOS 28073 HAS SOPS 28073 HAS SOUS 25255 HAS SOUPS 25255 WITH SCORE 25283.073
AT ITER 2260 NEW BEST:: SOT 66311 SOS 28045 HAS SOPS 28045 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25255.045
AT ITER 2272 NEW BEST:: SOT 66311 SOS 28043 HAS SOPS 28043 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25255.043
AT ITER 2287 NEW BEST:: SOT 66200 SOS 27973 HAS SOPS 27973 HAS SOUS 25152 HAS SOUPS 25152 WITH SCORE 25179.973
AT ITER 2289 NEW BEST:: SOT 66201 SOS 27964 HAS SOPS 27964 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25170.964
AT ITER 2313 NEW BEST:: SOT 66179 SOS 27876 HAS SOPS 27876 HAS SOUS 25077 HAS SOUPS 25077 WITH SCORE 25104.876
AT ITER 2316 NEW BEST:: SOT 66164 SOS 27626 HAS SOPS 27626 HAS SOUS 24967 HAS SOUPS 24967 WITH SCORE 24994.626
AT ITER 2329 NEW BEST:: SOT 66086 SOS 27569 HAS SOPS 27569 HAS SOUS 24896 HAS SOUPS 24896 WITH SCORE 24923.569
AT ITER 2332 NEW BEST:: SOT 66049 SOS 27534 HAS SOPS 27534 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24888.534
AT ITER 2341 NEW BEST:: SOT 66049 SOS 27473 HAS SOPS 27473 HAS SOUS 24748 HAS SOUPS 24748 WITH SCORE 24775.473
AT ITER 2353 NEW BEST:: SOT 66040 SOS 27450 HAS SOPS 27450 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24752.45
AT ITER 2356 NEW BEST:: SOT 66009 SOS 27390 HAS SOPS 27390 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24702.39
AT ITER 2371 NEW BEST:: SOT 65989 SOS 27367 HAS SOPS 27367 HAS SOUS 24592 HAS SOUPS 24592 WITH SCORE 24619.367
AT ITER 2392 NEW BEST:: SOT 65985 SOS 27358 HAS SOPS 27358 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.358
AT ITER 2397 NEW BEST:: SOT 65993 SOS 27351 HAS SOPS 27351 HAS SOUS 24574 HAS SOUPS 24574 WITH SCORE 24601.351
AT ITER 2399 NEW BEST:: SOT 65993 SOS 27318 HAS SOPS 27318 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24568.318
AT ITER 2403 NEW BEST:: SOT 65993 SOS 27318 HAS SOPS 27318 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24536.318
AT ITER 2413 NEW BEST:: SOT 65978 SOS 27303 HAS SOPS 27303 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24521.303
AT ITER 2414 NEW BEST:: SOT 65895 SOS 27124 HAS SOPS 27124 HAS SOUS 24305 HAS SOUPS 24305 WITH SCORE 24332.124
AT ITER 2418 NEW BEST:: SOT 65794 SOS 27023 HAS SOPS 27023 HAS SOUS 24204 HAS SOUPS 24204 WITH SCORE 24231.023
AT ITER 2429 NEW BEST:: SOT 65765 SOS 26961 HAS SOPS 26961 HAS SOUS 24118 HAS SOUPS 24118 WITH SCORE 24144.961
AT ITER 2456 NEW BEST:: SOT 65779 SOS 26958 HAS SOPS 26958 HAS SOUS 24110 HAS SOUPS 24110 WITH SCORE 24136.958
AT ITER 2457 NEW BEST:: SOT 65692 SOS 26951 HAS SOPS 26951 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24108.951
AT ITER 2487 NEW BEST:: SOT 65668 SOS 26903 HAS SOPS 26903 HAS SOUS 24034 HAS SOUPS 24034 WITH SCORE 24060.903
AT ITER 2491 NEW BEST:: SOT 65709 SOS 26855 HAS SOPS 26855 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24012.855
AT ITER 2492 NEW BEST:: SOT 65705 SOS 26827 HAS SOPS 26827 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 23984.827
AT ITER 2493 NEW BEST:: SOT 65691 SOS 26813 HAS SOPS 26813 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23970.813
AT ITER 2500 NEW BEST:: SOT 65690 SOS 26794 HAS SOPS 26794 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23959.794
AT ITER 2531 NEW BEST:: SOT 65690 SOS 26789 HAS SOPS 26789 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23959.789
AT ITER 2540 NEW BEST:: SOT 65695 SOS 26756 HAS SOPS 26756 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23926.756
AT ITER 2550 NEW BEST:: SOT 65671 SOS 26732 HAS SOPS 26732 HAS SOUS 23876 HAS SOUPS 23876 WITH SCORE 23902.732
AT ITER 2552 NEW BEST:: SOT 65632 SOS 26693 HAS SOPS 26693 HAS SOUS 23876 HAS SOUPS 23876 WITH SCORE 23902.693
AT ITER 2553 NEW BEST:: SOT 65596 SOS 26642 HAS SOPS 26642 HAS SOUS 23825 HAS SOUPS 23825 WITH SCORE 23851.642
AT ITER 2555 NEW BEST:: SOT 65596 SOS 26591 HAS SOPS 26591 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23800.591
AT ITER 2558 NEW BEST:: SOT 65460 SOS 26407 HAS SOPS 26407 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23691.407
AT ITER 2572 NEW BEST:: SOT 65450 SOS 26397 HAS SOPS 26397 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23684.397
AT ITER 2585 NEW BEST:: SOT 65407 SOS 26362 HAS SOPS 26362 HAS SOUS 23623 HAS SOUPS 23623 WITH SCORE 23649.362
AT ITER 2587 NEW BEST:: SOT 65383 SOS 26338 HAS SOPS 26338 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23625.338
AT ITER 2609 NEW BEST:: SOT 65383 SOS 26155 HAS SOPS 26155 HAS SOUS 23529 HAS SOUPS 23529 WITH SCORE 23555.155
AT ITER 2650 NEW BEST:: SOT 65264 SOS 26036 HAS SOPS 26036 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23449.036
AT ITER 2652 NEW BEST:: SOT 65237 SOS 26009 HAS SOPS 26009 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23422.009
AT ITER 2679 NEW BEST:: SOT 65228 SOS 26000 HAS SOPS 26000 HAS SOUS 23387 HAS SOUPS 23387 WITH SCORE 23413.0
AT ITER 2684 NEW BEST:: SOT 65213 SOS 25968 HAS SOPS 25968 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23380.968
AT ITER 2706 NEW BEST:: SOT 65179 SOS 25931 HAS SOPS 25931 HAS SOUS 23318 HAS SOUPS 23318 WITH SCORE 23343.931
AT ITER 2711 NEW BEST:: SOT 65179 SOS 25930 HAS SOPS 25930 HAS SOUS 23317 HAS SOUPS 23317 WITH SCORE 23342.93
AT ITER 2716 NEW BEST:: SOT 65201 SOS 25915 HAS SOPS 25915 HAS SOUS 23276 HAS SOUPS 23276 WITH SCORE 23301.915
AT ITER 2718 NEW BEST:: SOT 65192 SOS 25906 HAS SOPS 25906 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23283.906
AT ITER 2732 NEW BEST:: SOT 65184 SOS 25894 HAS SOPS 25894 HAS SOUS 23250 HAS SOUPS 23250 WITH SCORE 23275.894
AT ITER 2744 NEW BEST:: SOT 65156 SOS 25852 HAS SOPS 25852 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23233.852
AT ITER 2779 NEW BEST:: SOT 65113 SOS 25586 HAS SOPS 25586 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23052.586
AT ITER 2793 NEW BEST:: SOT 65065 SOS 25538 HAS SOPS 25538 HAS SOUS 22979 HAS SOUPS 22979 WITH SCORE 23004.538
AT ITER 2794 NEW BEST:: SOT 65059 SOS 25532 HAS SOPS 25532 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 22998.532
AT ITER 2804 NEW BEST:: SOT 65079 SOS 25511 HAS SOPS 25511 HAS SOUS 22948 HAS SOUPS 22948 WITH SCORE 22973.511
AT ITER 2818 NEW BEST:: SOT 65083 SOS 25504 HAS SOPS 25504 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22966.504
AT ITER 2820 NEW BEST:: SOT 65081 SOS 25493 HAS SOPS 25493 HAS SOUS 22930 HAS SOUPS 22930 WITH SCORE 22955.493
AT ITER 2825 NEW BEST:: SOT 65081 SOS 25444 HAS SOPS 25444 HAS SOUS 22913 HAS SOUPS 22913 WITH SCORE 22938.444
AT ITER 2831 NEW BEST:: SOT 65052 SOS 25381 HAS SOPS 25381 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22867.381
AT ITER 2832 NEW BEST:: SOT 65046 SOS 25375 HAS SOPS 25375 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22861.375
AT ITER 2836 NEW BEST:: SOT 65040 SOS 25369 HAS SOPS 25369 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22858.369
AT ITER 2852 NEW BEST:: SOT 65038 SOS 25366 HAS SOPS 25366 HAS SOUS 22830 HAS SOUPS 22830 WITH SCORE 22855.366
AT ITER 2855 NEW BEST:: SOT 65033 SOS 25361 HAS SOPS 25361 HAS SOUS 22830 HAS SOUPS 22830 WITH SCORE 22855.361
AT ITER 2858 NEW BEST:: SOT 64995 SOS 25323 HAS SOPS 25323 HAS SOUS 22792 HAS SOUPS 22792 WITH SCORE 22817.323
AT ITER 2859 NEW BEST:: SOT 64969 SOS 25253 HAS SOPS 25253 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22741.253
AT ITER 2869 NEW BEST:: SOT 64956 SOS 25201 HAS SOPS 25201 HAS SOUS 22649 HAS SOUPS 22649 WITH SCORE 22674.201
AT ITER 2879 NEW BEST:: SOT 64967 SOS 25212 HAS SOPS 25212 HAS SOUS 22638 HAS SOUPS 22638 WITH SCORE 22663.212
AT ITER 2881 NEW BEST:: SOT 64981 SOS 25237 HAS SOPS 25237 HAS SOUS 22613 HAS SOUPS 22613 WITH SCORE 22638.237
AT ITER 2906 NEW BEST:: SOT 64913 SOS 25046 HAS SOPS 25046 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22444.046
AT ITER 2919 NEW BEST:: SOT 64982 SOS 25063 HAS SOPS 25063 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22435.063
AT ITER 2920 NEW BEST:: SOT 64962 SOS 24992 HAS SOPS 24992 HAS SOUS 22356 HAS SOUPS 22356 WITH SCORE 22380.992
AT ITER 2922 NEW BEST:: SOT 64946 SOS 24972 HAS SOPS 24972 HAS SOUS 22330 HAS SOUPS 22330 WITH SCORE 22354.972
AT ITER 2936 NEW BEST:: SOT 64942 SOS 24947 HAS SOPS 24947 HAS SOUS 22312 HAS SOUPS 22312 WITH SCORE 22336.947
AT ITER 2960 NEW BEST:: SOT 64918 SOS 24923 HAS SOPS 24923 HAS SOUS 22288 HAS SOUPS 22288 WITH SCORE 22312.923
AT ITER 2969 NEW BEST:: SOT 64861 SOS 24866 HAS SOPS 24866 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22271.866
AT ITER 2975 NEW BEST:: SOT 64852 SOS 24859 HAS SOPS 24859 HAS SOUS 22222 HAS SOUPS 22222 WITH SCORE 22246.859
AT ITER 2982 NEW BEST:: SOT 64814 SOS 24764 HAS SOPS 24764 HAS SOUS 22127 HAS SOUPS 22127 WITH SCORE 22151.764
AT ITER 2985 NEW BEST:: SOT 64826 SOS 24720 HAS SOPS 24720 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22098.72
AT ITER 2991 NEW BEST:: SOT 64872 SOS 24640 HAS SOPS 24640 HAS SOUS 22030 HAS SOUPS 22030 WITH SCORE 22054.64
AT ITER 2994 NEW BEST:: SOT 64906 SOS 24566 HAS SOPS 24566 HAS SOUS 22008 HAS SOUPS 22008 WITH SCORE 22032.566
AT ITER 2996 NEW BEST:: SOT 64925 SOS 24405 HAS SOPS 24405 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21948.405
AT ITER 3001 NEW BEST:: SOT 64881 SOS 24361 HAS SOPS 24361 HAS SOUS 21880 HAS SOUPS 21880 WITH SCORE 21904.361
AT ITER 3019 NEW BEST:: SOT 64863 SOS 24343 HAS SOPS 24343 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21886.343
AT ITER 3025 NEW BEST:: SOT 64841 SOS 24277 HAS SOPS 24277 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21820.277
AT ITER 3048 NEW BEST:: SOT 64710 SOS 24173 HAS SOPS 24173 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21776.173
AT ITER 3067 NEW BEST:: SOT 64710 SOS 24173 HAS SOPS 24173 HAS SOUS 21743 HAS SOUPS 21743 WITH SCORE 21767.173
AT ITER 3073 NEW BEST:: SOT 64710 SOS 24173 HAS SOPS 24173 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21749.173
AT ITER 3119 NEW BEST:: SOT 64676 SOS 24160 HAS SOPS 24160 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21723.16
AT ITER 3124 NEW BEST:: SOT 64661 SOS 24145 HAS SOPS 24145 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21708.145
AT ITER 3127 NEW BEST:: SOT 64630 SOS 24053 HAS SOPS 24053 HAS SOUS 21592 HAS SOUPS 21592 WITH SCORE 21616.053
AT ITER 3147 NEW BEST:: SOT 64632 SOS 24050 HAS SOPS 24050 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21613.05
AT ITER 3152 NEW BEST:: SOT 64629 SOS 24047 HAS SOPS 24047 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21599.047
AT ITER 3179 NEW BEST:: SOT 64629 SOS 24043 HAS SOPS 24043 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21599.043
AT ITER 3189 NEW BEST:: SOT 64617 SOS 24031 HAS SOPS 24031 HAS SOUS 21569 HAS SOUPS 21569 WITH SCORE 21593.031
AT ITER 3194 NEW BEST:: SOT 64617 SOS 24042 HAS SOPS 24042 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21575.042
AT ITER 3217 NEW BEST:: SOT 64617 SOS 24030 HAS SOPS 24030 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21563.03
AT ITER 3225 NEW BEST:: SOT 64613 SOS 24026 HAS SOPS 24026 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21559.026
AT ITER 3230 NEW BEST:: SOT 64613 SOS 23986 HAS SOPS 23986 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21531.986
AT ITER 3231 NEW BEST:: SOT 64610 SOS 23977 HAS SOPS 23977 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21525.977
AT ITER 3234 NEW BEST:: SOT 64604 SOS 23963 HAS SOPS 23963 HAS SOUS 21488 HAS SOUPS 21488 WITH SCORE 21511.963
AT ITER 3239 NEW BEST:: SOT 64604 SOS 23958 HAS SOPS 23958 HAS SOUS 21483 HAS SOUPS 21483 WITH SCORE 21506.958
AT ITER 3262 NEW BEST:: SOT 64585 SOS 23913 HAS SOPS 23913 HAS SOUS 21438 HAS SOUPS 21438 WITH SCORE 21461.913
AT ITER 3285 NEW BEST:: SOT 64584 SOS 23912 HAS SOPS 23912 HAS SOUS 21438 HAS SOUPS 21438 WITH SCORE 21461.912
AT ITER 3288 NEW BEST:: SOT 64582 SOS 23868 HAS SOPS 23868 HAS SOUS 21409 HAS SOUPS 21409 WITH SCORE 21432.868
AT ITER 3297 NEW BEST:: SOT 64609 SOS 23861 HAS SOPS 23861 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21395.861
AT ITER 3313 NEW BEST:: SOT 64616 SOS 23844 HAS SOPS 23844 HAS SOUS 21363 HAS SOUPS 21363 WITH SCORE 21386.844
AT ITER 3332 NEW BEST:: SOT 64532 SOS 23538 HAS SOPS 23538 HAS SOUS 21139 HAS SOUPS 21139 WITH SCORE 21162.538
AT ITER 3358 NEW BEST:: SOT 64529 SOS 23535 HAS SOPS 23535 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21159.535
AT ITER 3374 NEW BEST:: SOT 64519 SOS 23525 HAS SOPS 23525 HAS SOUS 21126 HAS SOUPS 21126 WITH SCORE 21149.525
AT ITER 3396 NEW BEST:: SOT 64510 SOS 23507 HAS SOPS 23507 HAS SOUS 21108 HAS SOUPS 21108 WITH SCORE 21131.507
AT ITER 3422 NEW BEST:: SOT 64469 SOS 23391 HAS SOPS 23391 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21046.391
AT ITER 3426 NEW BEST:: SOT 64457 SOS 23373 HAS SOPS 23373 HAS SOUS 21005 HAS SOUPS 21005 WITH SCORE 21028.373
AT ITER 3454 NEW BEST:: SOT 64456 SOS 23318 HAS SOPS 23318 HAS SOUS 21005 HAS SOUPS 21005 WITH SCORE 21028.318
AT ITER 3473 NEW BEST:: SOT 64452 SOS 23298 HAS SOPS 23298 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21006.298
AT ITER 3495 NEW BEST:: SOT 64452 SOS 23273 HAS SOPS 23273 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 20981.273
AT ITER 3496 NEW BEST:: SOT 64405 SOS 23226 HAS SOPS 23226 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20934.226
AT ITER 3506 NEW BEST:: SOT 64400 SOS 23216 HAS SOPS 23216 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20924.216
AT ITER 3516 NEW BEST:: SOT 64355 SOS 23145 HAS SOPS 23145 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20827.145
AT ITER 3540 NEW BEST:: SOT 64298 SOS 23045 HAS SOPS 23045 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20781.045
AT ITER 3545 NEW BEST:: SOT 64298 SOS 23023 HAS SOPS 23023 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20770.023
AT ITER 3561 NEW BEST:: SOT 64220 SOS 22945 HAS SOPS 22945 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20691.945
AT ITER 3565 NEW BEST:: SOT 64220 SOS 22924 HAS SOPS 22924 HAS SOUS 20648 HAS SOUPS 20648 WITH SCORE 20670.924
AT ITER 3574 NEW BEST:: SOT 64215 SOS 22919 HAS SOPS 22919 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20665.919
AT ITER 3600 NEW BEST:: SOT 64195 SOS 22894 HAS SOPS 22894 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20640.894
AT ITER 3607 NEW BEST:: SOT 64199 SOS 22879 HAS SOPS 22879 HAS SOUS 20608 HAS SOUPS 20608 WITH SCORE 20630.879
AT ITER 3624 NEW BEST:: SOT 64199 SOS 22868 HAS SOPS 22868 HAS SOUS 20597 HAS SOUPS 20597 WITH SCORE 20619.868
AT ITER 3632 NEW BEST:: SOT 64192 SOS 22840 HAS SOPS 22840 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20605.84
AT ITER 3677 NEW BEST:: SOT 64192 SOS 22809 HAS SOPS 22809 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20588.809
AT ITER 3679 NEW BEST:: SOT 64182 SOS 22799 HAS SOPS 22799 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20578.799
AT ITER 3682 NEW BEST:: SOT 64183 SOS 22757 HAS SOPS 22757 HAS SOUS 20541 HAS SOUPS 20541 WITH SCORE 20563.757
AT ITER 3693 NEW BEST:: SOT 64166 SOS 22669 HAS SOPS 22669 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20475.669
AT ITER 3703 NEW BEST:: SOT 64166 SOS 22661 HAS SOPS 22661 HAS SOUS 20443 HAS SOUPS 20443 WITH SCORE 20465.661
AT ITER 3705 NEW BEST:: SOT 64162 SOS 22657 HAS SOPS 22657 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20461.657
AT ITER 3745 NEW BEST:: SOT 64048 SOS 22543 HAS SOPS 22543 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20347.543
AT ITER 3752 NEW BEST:: SOT 64041 SOS 22522 HAS SOPS 22522 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20326.522
AT ITER 3756 NEW BEST:: SOT 64024 SOS 22472 HAS SOPS 22472 HAS SOUS 20254 HAS SOUPS 20254 WITH SCORE 20276.472
AT ITER 3780 NEW BEST:: SOT 64024 SOS 22403 HAS SOPS 22403 HAS SOUS 20253 HAS SOUPS 20253 WITH SCORE 20275.403
AT ITER 3792 NEW BEST:: SOT 64016 SOS 22379 HAS SOPS 22379 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20259.379
AT ITER 3797 NEW BEST:: SOT 63948 SOS 22205 HAS SOPS 22205 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20085.205
AT ITER 3798 NEW BEST:: SOT 64037 SOS 22273 HAS SOPS 22273 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20064.273
AT ITER 3806 NEW BEST:: SOT 64058 SOS 22225 HAS SOPS 22225 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20040.225
AT ITER 3811 NEW BEST:: SOT 64020 SOS 22187 HAS SOPS 22187 HAS SOUS 20000 HAS SOUPS 20000 WITH SCORE 20022.187
AT ITER 3823 NEW BEST:: SOT 63997 SOS 22162 HAS SOPS 22162 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20002.162
AT ITER 3833 NEW BEST:: SOT 63988 SOS 22118 HAS SOPS 22118 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19964.118
AT ITER 3857 NEW BEST:: SOT 63981 SOS 22085 HAS SOPS 22085 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19938.085
AT ITER 3884 NEW BEST:: SOT 63958 SOS 22055 HAS SOPS 22055 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19908.055
AT ITER 3912 NEW BEST:: SOT 63873 SOS 22021 HAS SOPS 22021 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19907.021
AT ITER 3927 NEW BEST:: SOT 63873 SOS 22018 HAS SOPS 22018 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19904.018
AT ITER 3934 NEW BEST:: SOT 63854 SOS 22056 HAS SOPS 22056 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19903.056
AT ITER 3988 NEW BEST:: SOT 63836 SOS 22029 HAS SOPS 22029 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19876.029
AT ITER 3996 NEW BEST:: SOT 63820 SOS 22013 HAS SOPS 22013 HAS SOUS 19838 HAS SOUPS 19838 WITH SCORE 19860.013
AT ITER 4023 NEW BEST:: SOT 63817 SOS 22004 HAS SOPS 22004 HAS SOUS 19829 HAS SOUPS 19829 WITH SCORE 19851.004
AT ITER 4024 NEW BEST:: SOT 63806 SOS 21993 HAS SOPS 21993 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19839.993
AT ITER 4054 NEW BEST:: SOT 63815 SOS 21926 HAS SOPS 21926 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19772.926
AT ITER 4077 NEW BEST:: SOT 63836 SOS 21894 HAS SOPS 21894 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19740.894
AT ITER 4080 NEW BEST:: SOT 63838 SOS 21886 HAS SOPS 21886 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19736.886
AT ITER 4081 NEW BEST:: SOT 63837 SOS 21855 HAS SOPS 21855 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19705.855
AT ITER 4094 NEW BEST:: SOT 63837 SOS 21853 HAS SOPS 21853 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19704.853
AT ITER 4098 NEW BEST:: SOT 63837 SOS 21825 HAS SOPS 21825 HAS SOUS 19669 HAS SOUPS 19669 WITH SCORE 19690.825
AT ITER 4102 NEW BEST:: SOT 63835 SOS 21821 HAS SOPS 21821 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19688.821
AT ITER 4115 NEW BEST:: SOT 63831 SOS 21864 HAS SOPS 21864 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19684.864
AT ITER 4141 NEW BEST:: SOT 63829 SOS 21854 HAS SOPS 21854 HAS SOUS 19659 HAS SOUPS 19659 WITH SCORE 19680.854
AT ITER 4150 NEW BEST:: SOT 63728 SOS 21676 HAS SOPS 21676 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19529.676
AT ITER 4192 NEW BEST:: SOT 63714 SOS 21648 HAS SOPS 21648 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19501.648
AT ITER 4204 NEW BEST:: SOT 63701 SOS 21627 HAS SOPS 21627 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19480.627
AT ITER 4218 NEW BEST:: SOT 63710 SOS 21609 HAS SOPS 21609 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19465.609
AT ITER 4226 NEW BEST:: SOT 63699 SOS 21584 HAS SOPS 21584 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19429.584
AT ITER 4235 NEW BEST:: SOT 63694 SOS 21567 HAS SOPS 21567 HAS SOUS 19395 HAS SOUPS 19395 WITH SCORE 19416.567
AT ITER 4255 NEW BEST:: SOT 63662 SOS 21570 HAS SOPS 21570 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19407.57
AT ITER 4291 NEW BEST:: SOT 63658 SOS 21564 HAS SOPS 21564 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19401.564
AT ITER 4313 NEW BEST:: SOT 63650 SOS 21548 HAS SOPS 21548 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19385.548
AT ITER 4331 NEW BEST:: SOT 63649 SOS 21546 HAS SOPS 21546 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19383.546
AT ITER 4332 NEW BEST:: SOT 63640 SOS 21513 HAS SOPS 21513 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19365.513
AT ITER 4340 NEW BEST:: SOT 63640 SOS 21512 HAS SOPS 21512 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19365.512
AT ITER 4341 NEW BEST:: SOT 63640 SOS 21511 HAS SOPS 21511 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19364.511
AT ITER 4362 NEW BEST:: SOT 63637 SOS 21508 HAS SOPS 21508 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19361.508
AT ITER 4426 NEW BEST:: SOT 63637 SOS 21503 HAS SOPS 21503 HAS SOUS 19335 HAS SOUPS 19335 WITH SCORE 19356.503
AT ITER 4433 NEW BEST:: SOT 63618 SOS 21484 HAS SOPS 21484 HAS SOUS 19335 HAS SOUPS 19335 WITH SCORE 19356.484
AT ITER 4434 NEW BEST:: SOT 63621 SOS 21466 HAS SOPS 21466 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19282.466
AT ITER 4490 NEW BEST:: SOT 63627 SOS 21462 HAS SOPS 21462 HAS SOUS 19257 HAS SOUPS 19257 WITH SCORE 19278.462
AT ITER 4496 NEW BEST:: SOT 63615 SOS 21438 HAS SOPS 21438 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19248.438
AT ITER 4529 NEW BEST:: SOT 63613 SOS 21445 HAS SOPS 21445 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19247.445
AT ITER 4531 NEW BEST:: SOT 63610 SOS 21442 HAS SOPS 21442 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19244.442
AT ITER 4534 NEW BEST:: SOT 63610 SOS 21436 HAS SOPS 21436 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19238.436
AT ITER 4547 NEW BEST:: SOT 63602 SOS 21424 HAS SOPS 21424 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19230.424
AT ITER 4554 NEW BEST:: SOT 63596 SOS 21412 HAS SOPS 21412 HAS SOUS 19197 HAS SOUPS 19197 WITH SCORE 19218.412
AT ITER 4570 NEW BEST:: SOT 63595 SOS 21407 HAS SOPS 21407 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19215.407
AT ITER 4572 NEW BEST:: SOT 63595 SOS 21309 HAS SOPS 21309 HAS SOUS 19145 HAS SOUPS 19145 WITH SCORE 19166.309
AT ITER 4600 NEW BEST:: SOT 63591 SOS 21305 HAS SOPS 21305 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19162.305
AT ITER 4602 NEW BEST:: SOT 63604 SOS 21286 HAS SOPS 21286 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19156.286
AT ITER 4622 NEW BEST:: SOT 63537 SOS 21241 HAS SOPS 21241 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19111.241
AT ITER 4669 NEW BEST:: SOT 63545 SOS 21236 HAS SOPS 21236 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19111.236
AT ITER 4670 NEW BEST:: SOT 63539 SOS 21224 HAS SOPS 21224 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19102.224
AT ITER 4672 NEW BEST:: SOT 63514 SOS 21169 HAS SOPS 21169 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19047.169
AT ITER 4688 NEW BEST:: SOT 63502 SOS 21157 HAS SOPS 21157 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19031.157
AT ITER 4701 NEW BEST:: SOT 63480 SOS 21135 HAS SOPS 21135 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19009.135
AT ITER 4705 NEW BEST:: SOT 63469 SOS 21126 HAS SOPS 21126 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19003.126
AT ITER 4717 NEW BEST:: SOT 63493 SOS 21096 HAS SOPS 21096 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18966.096
AT ITER 4723 NEW BEST:: SOT 63497 SOS 21076 HAS SOPS 21076 HAS SOUS 18915 HAS SOUPS 18915 WITH SCORE 18936.076
AT ITER 4742 NEW BEST:: SOT 63474 SOS 21053 HAS SOPS 21053 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18920.053
AT ITER 4743 NEW BEST:: SOT 63475 SOS 21019 HAS SOPS 21019 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18893.019
AT ITER 4760 NEW BEST:: SOT 63471 SOS 21012 HAS SOPS 21012 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18891.012
AT ITER 4764 NEW BEST:: SOT 63456 SOS 21006 HAS SOPS 21006 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18885.006
AT ITER 4794 NEW BEST:: SOT 63426 SOS 20947 HAS SOPS 20947 HAS SOUS 18804 HAS SOUPS 18804 WITH SCORE 18824.947
AT ITER 4799 NEW BEST:: SOT 63405 SOS 20947 HAS SOPS 20947 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18805.947
AT ITER 4828 NEW BEST:: SOT 63406 SOS 20946 HAS SOPS 20946 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18800.946
AT ITER 4877 NEW BEST:: SOT 63401 SOS 20958 HAS SOPS 20958 HAS SOUS 18773 HAS SOUPS 18773 WITH SCORE 18793.958
AT ITER 4896 NEW BEST:: SOT 63388 SOS 20945 HAS SOPS 20945 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18780.945
AT ITER 4910 NEW BEST:: SOT 63378 SOS 20951 HAS SOPS 20951 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18779.951
AT ITER 4917 NEW BEST:: SOT 63378 SOS 20947 HAS SOPS 20947 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18775.947
AT ITER 4925 NEW BEST:: SOT 63378 SOS 20880 HAS SOPS 20880 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18750.88
AT ITER 4930 NEW BEST:: SOT 63359 SOS 20861 HAS SOPS 20861 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18731.861
AT ITER 4941 NEW BEST:: SOT 63361 SOS 20877 HAS SOPS 20877 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18707.877
AT ITER 4951 NEW BEST:: SOT 63361 SOS 20830 HAS SOPS 20830 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18660.83
AT ITER 4965 NEW BEST:: SOT 63355 SOS 20821 HAS SOPS 20821 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18654.821
AT ITER 4977 NEW BEST:: SOT 63345 SOS 20811 HAS SOPS 20811 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18644.811
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-00 (EG( ( (EF(potential( ( 1 ) <= (tk(P109)) ))) | ( ( potential( (tk(P158)) <= (tk(P164)) ) & potential( (tk(P33)) <= (tk(P324)) ) ) | ( potential( (tk(P93)) <= (tk(P100)) ) & potential( ( 2 ) <= (tk(P244)) ) ) ) )))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-01 (AG( (EF(( potential( ( 2 ) <= (tk(P210)) ) | potential( ( 1 ) <= (tk(P374)) ) )))))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-02 (EU( (EG( potential( (tk(P369)) <= (tk(P109)) ))),potential( ( 2 ) <= (tk(P204)) ) ))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-03 (EX( (AG( potential( (tk(P207)) <= (tk(P268)) )))))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-04 ( (! potential( ( 2 ) <= (tk(P125)) )) & ( (EF(potential( ( 1 ) <= (tk(P209)) ))) | (! potential( (tk(P262)) <= (tk(P95)) )) ) )
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-05 ( potential( ( 3 ) <= (tk(P336)) ) | (EF((AG( potential( ( 2 ) <= (tk(P302)) ))))) )
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-06 ( (AG( (! potential( ( 3 ) <= (tk(P256)) )))) & (AF((EX( potential( (tk(P325)) <= (tk(P48)) ))))) )
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-07 (AX( ( (AF(potential( (tk(P94)) <= (tk(P176)) ))) | (AG( potential( (tk(P276)) <= (tk(P28)) ))) )))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-08 (EX( ( (EF(potential( ( 1 ) <= (tk(P122)) ))) & (EF(potential( (tk(P105)) <= (tk(P5)) ))) )))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-09 (EU( (AG( potential( (tk(P67)) <= (tk(P352)) ))),(! ( potential( ( 1 ) <= (tk(P94)) ) | potential( (tk(P300)) <= (tk(P354)) ) )) ))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-10 (EU( ( (! potential( ( 3 ) <= (tk(P20)) )) & ( potential( (tk(P140)) <= (tk(P131)) ) | potential( (tk(P104)) <= (tk(P234)) ) ) ),(AX( potential( ( 3 ) <= (tk(P160)) ))) ))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-11 (AX( ( (AG( potential( ( 1 ) <= (tk(P301)) ))) & (! ( potential( ( 3 ) <= (tk(P106)) ) & potential( (tk(P121)) <= (tk(P159)) ) )) )))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-12 (EU( ( ( potential( ( 2 ) <= (tk(P357)) ) & potential( (tk(P337)) <= (tk(P376)) ) ) | ( potential( (tk(P355)) <= (tk(P253)) ) | potential( ( 1 ) <= (tk(P84)) ) ) ),potential( ( 1 ) <= (tk(P195)) ) ))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-13 (AG( potential( (tk(P197)) <= (tk(P264)) )))
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-14 ( ( potential( ( 2 ) <= (tk(P279)) ) & (AG( ( potential( (tk(P189)) <= (tk(P103)) ) | potential( ( 1 ) <= (tk(P5)) ) ))) ) | (EU( (! potential( ( 3 ) <= (tk(P5)) )),potential( ( 3 ) <= (tk(P63)) ) )) )
PROPERTY: ShieldIIPt-PT-020A-CTLCardinality-15 (EX( (! (AG( potential( (tk(P130)) <= (tk(P118)) ))))))

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="CTLCardinality"
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 CTLCardinality"
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-159033469300315"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;