Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 3.9K Apr 12 12:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 12:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 13:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 13:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 23:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 23:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 195K Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589744148009

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

Filename model.pnml
Petri model created: 320 places, 220 transitions, 2640 arcs.
AT ITER 0 NEW BEST:: SOT 60064 SOS 47856 HAS SOPS 47856 HAS SOUS 47856 HAS SOUPS 47856 WITH SCORE 47903.856
AT ITER 4 NEW BEST:: SOT 60064 SOS 47656 HAS SOPS 47656 HAS SOUS 47656 HAS SOUPS 47656 WITH SCORE 47703.656
AT ITER 8 NEW BEST:: SOT 59864 SOS 47604 HAS SOPS 47604 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47527.604
AT ITER 9 NEW BEST:: SOT 59690 SOS 47430 HAS SOPS 47430 HAS SOUS 47306 HAS SOUPS 47306 WITH SCORE 47353.43
AT ITER 10 NEW BEST:: SOT 59490 SOS 47204 HAS SOPS 47204 HAS SOUS 46900 HAS SOUPS 46900 WITH SCORE 46947.204
AT ITER 11 NEW BEST:: SOT 59490 SOS 46992 HAS SOPS 46992 HAS SOUS 46688 HAS SOUPS 46688 WITH SCORE 46734.992
AT ITER 15 NEW BEST:: SOT 59490 SOS 46780 HAS SOPS 46780 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46522.78
AT ITER 16 NEW BEST:: SOT 59340 SOS 46630 HAS SOPS 46630 HAS SOUS 46326 HAS SOUPS 46326 WITH SCORE 46372.63
AT ITER 17 NEW BEST:: SOT 59340 SOS 46554 HAS SOPS 46554 HAS SOUS 46250 HAS SOUPS 46250 WITH SCORE 46296.554
AT ITER 18 NEW BEST:: SOT 59140 SOS 46354 HAS SOPS 46354 HAS SOUS 46026 HAS SOUPS 46026 WITH SCORE 46072.354
AT ITER 19 NEW BEST:: SOT 59118 SOS 46310 HAS SOPS 46310 HAS SOUS 45982 HAS SOUPS 45982 WITH SCORE 46028.31
AT ITER 20 NEW BEST:: SOT 58918 SOS 45888 HAS SOPS 45888 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45605.888
AT ITER 21 NEW BEST:: SOT 58856 SOS 45948 HAS SOPS 45948 HAS SOUS 45460 HAS SOUPS 45460 WITH SCORE 45505.948
AT ITER 22 NEW BEST:: SOT 58816 SOS 45908 HAS SOPS 45908 HAS SOUS 45420 HAS SOUPS 45420 WITH SCORE 45465.908
AT ITER 23 NEW BEST:: SOT 58816 SOS 45884 HAS SOPS 45884 HAS SOUS 45396 HAS SOUPS 45396 WITH SCORE 45441.884
AT ITER 24 NEW BEST:: SOT 58816 SOS 45714 HAS SOPS 45714 HAS SOUS 45226 HAS SOUPS 45226 WITH SCORE 45271.714
AT ITER 25 NEW BEST:: SOT 58682 SOS 45580 HAS SOPS 45580 HAS SOUS 45092 HAS SOUPS 45092 WITH SCORE 45137.58
AT ITER 26 NEW BEST:: SOT 58654 SOS 45552 HAS SOPS 45552 HAS SOUS 45064 HAS SOUPS 45064 WITH SCORE 45109.552
AT ITER 27 NEW BEST:: SOT 58610 SOS 46340 HAS SOPS 46340 HAS SOUS 44928 HAS SOUPS 44928 WITH SCORE 44974.34
AT ITER 29 NEW BEST:: SOT 58416 SOS 46146 HAS SOPS 46146 HAS SOUS 44734 HAS SOUPS 44734 WITH SCORE 44780.146
AT ITER 30 NEW BEST:: SOT 58416 SOS 46032 HAS SOPS 46032 HAS SOUS 44620 HAS SOUPS 44620 WITH SCORE 44666.032
AT ITER 32 NEW BEST:: SOT 58366 SOS 45982 HAS SOPS 45982 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44615.982
AT ITER 33 NEW BEST:: SOT 58366 SOS 45766 HAS SOPS 45766 HAS SOUS 44354 HAS SOUPS 44354 WITH SCORE 44399.766
AT ITER 35 NEW BEST:: SOT 58366 SOS 45676 HAS SOPS 45676 HAS SOUS 44264 HAS SOUPS 44264 WITH SCORE 44309.676
AT ITER 36 NEW BEST:: SOT 58366 SOS 45528 HAS SOPS 45528 HAS SOUS 44240 HAS SOUPS 44240 WITH SCORE 44285.528
AT ITER 38 NEW BEST:: SOT 58366 SOS 45318 HAS SOPS 45318 HAS SOUS 44030 HAS SOUPS 44030 WITH SCORE 44075.318
AT ITER 39 NEW BEST:: SOT 58102 SOS 44818 HAS SOPS 44818 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43666.818
AT ITER 40 NEW BEST:: SOT 58102 SOS 44702 HAS SOPS 44702 HAS SOUS 43506 HAS SOUPS 43506 WITH SCORE 43550.702
AT ITER 43 NEW BEST:: SOT 57902 SOS 44274 HAS SOPS 44274 HAS SOUS 43078 HAS SOUPS 43078 WITH SCORE 43122.274
AT ITER 44 NEW BEST:: SOT 57902 SOS 44068 HAS SOPS 44068 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42916.068
AT ITER 45 NEW BEST:: SOT 57702 SOS 43910 HAS SOPS 43910 HAS SOUS 42714 HAS SOUPS 42714 WITH SCORE 42757.91
AT ITER 47 NEW BEST:: SOT 57678 SOS 43886 HAS SOPS 43886 HAS SOUS 42690 HAS SOUPS 42690 WITH SCORE 42733.886
AT ITER 49 NEW BEST:: SOT 57678 SOS 43742 HAS SOPS 43742 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42709.742
AT ITER 51 NEW BEST:: SOT 57544 SOS 43608 HAS SOPS 43608 HAS SOUS 42532 HAS SOUPS 42532 WITH SCORE 42575.608
AT ITER 52 NEW BEST:: SOT 57478 SOS 43542 HAS SOPS 43542 HAS SOUS 42466 HAS SOUPS 42466 WITH SCORE 42509.542
AT ITER 53 NEW BEST:: SOT 57396 SOS 43460 HAS SOPS 43460 HAS SOUS 42384 HAS SOUPS 42384 WITH SCORE 42427.46
AT ITER 54 NEW BEST:: SOT 57396 SOS 43260 HAS SOPS 43260 HAS SOUS 42184 HAS SOUPS 42184 WITH SCORE 42227.26
AT ITER 56 NEW BEST:: SOT 57396 SOS 43260 HAS SOPS 43260 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42109.26
AT ITER 57 NEW BEST:: SOT 57286 SOS 43150 HAS SOPS 43150 HAS SOUS 41956 HAS SOUPS 41956 WITH SCORE 41999.15
AT ITER 58 NEW BEST:: SOT 57148 SOS 43012 HAS SOPS 43012 HAS SOUS 41818 HAS SOUPS 41818 WITH SCORE 41861.012
AT ITER 59 NEW BEST:: SOT 57012 SOS 42914 HAS SOPS 42914 HAS SOUS 41720 HAS SOUPS 41720 WITH SCORE 41762.914
AT ITER 62 NEW BEST:: SOT 56962 SOS 42798 HAS SOPS 42798 HAS SOUS 41604 HAS SOUPS 41604 WITH SCORE 41646.798
AT ITER 63 NEW BEST:: SOT 56962 SOS 42752 HAS SOPS 42752 HAS SOUS 41558 HAS SOUPS 41558 WITH SCORE 41600.752
AT ITER 66 NEW BEST:: SOT 56872 SOS 42724 HAS SOPS 42724 HAS SOUS 41530 HAS SOUPS 41530 WITH SCORE 41572.724
AT ITER 67 NEW BEST:: SOT 56872 SOS 42696 HAS SOPS 42696 HAS SOUS 41502 HAS SOUPS 41502 WITH SCORE 41544.696
AT ITER 69 NEW BEST:: SOT 56784 SOS 42608 HAS SOPS 42608 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41456.608
AT ITER 71 NEW BEST:: SOT 56584 SOS 42078 HAS SOPS 42078 HAS SOUS 40884 HAS SOUPS 40884 WITH SCORE 40926.078
AT ITER 75 NEW BEST:: SOT 56610 SOS 41988 HAS SOPS 41988 HAS SOUS 40688 HAS SOUPS 40688 WITH SCORE 40729.988
AT ITER 76 NEW BEST:: SOT 56410 SOS 42140 HAS SOPS 42140 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40522.14
AT ITER 83 NEW BEST:: SOT 56080 SOS 41810 HAS SOPS 41810 HAS SOUS 40150 HAS SOUPS 40150 WITH SCORE 40191.81
AT ITER 85 NEW BEST:: SOT 56136 SOS 41712 HAS SOPS 41712 HAS SOUS 40052 HAS SOUPS 40052 WITH SCORE 40093.712
AT ITER 86 NEW BEST:: SOT 55994 SOS 41400 HAS SOPS 41400 HAS SOUS 39740 HAS SOUPS 39740 WITH SCORE 39781.4
AT ITER 88 NEW BEST:: SOT 55880 SOS 41286 HAS SOPS 41286 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39667.286
AT ITER 89 NEW BEST:: SOT 55756 SOS 41162 HAS SOPS 41162 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39543.162
AT ITER 90 NEW BEST:: SOT 55706 SOS 41112 HAS SOPS 41112 HAS SOUS 39452 HAS SOUPS 39452 WITH SCORE 39493.112
AT ITER 92 NEW BEST:: SOT 55644 SOS 40888 HAS SOPS 40888 HAS SOUS 39228 HAS SOUPS 39228 WITH SCORE 39268.888
AT ITER 99 NEW BEST:: SOT 55512 SOS 40732 HAS SOPS 40732 HAS SOUS 39072 HAS SOUPS 39072 WITH SCORE 39112.732
AT ITER 100 NEW BEST:: SOT 55170 SOS 40162 HAS SOPS 40162 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38542.162
AT ITER 101 NEW BEST:: SOT 55170 SOS 40104 HAS SOPS 40104 HAS SOUS 38444 HAS SOUPS 38444 WITH SCORE 38484.104
AT ITER 106 NEW BEST:: SOT 54976 SOS 39910 HAS SOPS 39910 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38289.91
AT ITER 109 NEW BEST:: SOT 54970 SOS 39904 HAS SOPS 39904 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38283.904
AT ITER 110 NEW BEST:: SOT 54970 SOS 39680 HAS SOPS 39680 HAS SOUS 38020 HAS SOUPS 38020 WITH SCORE 38059.68
AT ITER 111 NEW BEST:: SOT 54970 SOS 39636 HAS SOPS 39636 HAS SOUS 37976 HAS SOUPS 37976 WITH SCORE 38015.636
AT ITER 113 NEW BEST:: SOT 54826 SOS 39492 HAS SOPS 39492 HAS SOUS 37832 HAS SOUPS 37832 WITH SCORE 37871.492
AT ITER 115 NEW BEST:: SOT 54826 SOS 39276 HAS SOPS 39276 HAS SOUS 37616 HAS SOUPS 37616 WITH SCORE 37655.276
AT ITER 117 NEW BEST:: SOT 54698 SOS 39204 HAS SOPS 39204 HAS SOUS 37574 HAS SOUPS 37574 WITH SCORE 37613.204
AT ITER 119 NEW BEST:: SOT 54698 SOS 39174 HAS SOPS 39174 HAS SOUS 37544 HAS SOUPS 37544 WITH SCORE 37583.174
AT ITER 121 NEW BEST:: SOT 54698 SOS 38950 HAS SOPS 38950 HAS SOUS 37320 HAS SOUPS 37320 WITH SCORE 37358.95
AT ITER 125 NEW BEST:: SOT 54698 SOS 38724 HAS SOPS 38724 HAS SOUS 37094 HAS SOUPS 37094 WITH SCORE 37132.724
AT ITER 127 NEW BEST:: SOT 54526 SOS 38440 HAS SOPS 38440 HAS SOUS 36810 HAS SOUPS 36810 WITH SCORE 36848.44
AT ITER 129 NEW BEST:: SOT 54302 SOS 38216 HAS SOPS 38216 HAS SOUS 36586 HAS SOUPS 36586 WITH SCORE 36624.216
AT ITER 133 NEW BEST:: SOT 54130 SOS 38044 HAS SOPS 38044 HAS SOUS 36414 HAS SOUPS 36414 WITH SCORE 36452.044
AT ITER 141 NEW BEST:: SOT 54130 SOS 37950 HAS SOPS 37950 HAS SOUS 36414 HAS SOUPS 36414 WITH SCORE 36451.95
AT ITER 143 NEW BEST:: SOT 54056 SOS 37702 HAS SOPS 37702 HAS SOUS 36166 HAS SOUPS 36166 WITH SCORE 36203.702
AT ITER 144 NEW BEST:: SOT 54056 SOS 37620 HAS SOPS 37620 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36121.62
AT ITER 147 NEW BEST:: SOT 54056 SOS 37620 HAS SOPS 37620 HAS SOUS 36046 HAS SOUPS 36046 WITH SCORE 36083.62
AT ITER 148 NEW BEST:: SOT 53978 SOS 37472 HAS SOPS 37472 HAS SOUS 35898 HAS SOUPS 35898 WITH SCORE 35935.472
AT ITER 149 NEW BEST:: SOT 54028 SOS 37238 HAS SOPS 37238 HAS SOUS 35664 HAS SOUPS 35664 WITH SCORE 35701.238
AT ITER 150 NEW BEST:: SOT 54028 SOS 37110 HAS SOPS 37110 HAS SOUS 35536 HAS SOUPS 35536 WITH SCORE 35573.11
AT ITER 152 NEW BEST:: SOT 53852 SOS 36860 HAS SOPS 36860 HAS SOUS 35286 HAS SOUPS 35286 WITH SCORE 35322.86
AT ITER 153 NEW BEST:: SOT 53852 SOS 36830 HAS SOPS 36830 HAS SOUS 35256 HAS SOUPS 35256 WITH SCORE 35292.83
AT ITER 156 NEW BEST:: SOT 53852 SOS 36634 HAS SOPS 36634 HAS SOUS 35060 HAS SOUPS 35060 WITH SCORE 35096.634
AT ITER 158 NEW BEST:: SOT 53852 SOS 36568 HAS SOPS 36568 HAS SOUS 34994 HAS SOUPS 34994 WITH SCORE 35030.568
AT ITER 159 NEW BEST:: SOT 53794 SOS 36510 HAS SOPS 36510 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 34972.51
AT ITER 162 NEW BEST:: SOT 53780 SOS 36482 HAS SOPS 36482 HAS SOUS 34908 HAS SOUPS 34908 WITH SCORE 34944.482
AT ITER 164 NEW BEST:: SOT 53754 SOS 36456 HAS SOPS 36456 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34918.456
AT ITER 165 NEW BEST:: SOT 53754 SOS 36446 HAS SOPS 36446 HAS SOUS 34872 HAS SOUPS 34872 WITH SCORE 34908.446
AT ITER 166 NEW BEST:: SOT 53634 SOS 36264 HAS SOPS 36264 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34726.264
AT ITER 167 NEW BEST:: SOT 53548 SOS 36178 HAS SOPS 36178 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34640.178
AT ITER 174 NEW BEST:: SOT 53522 SOS 36152 HAS SOPS 36152 HAS SOUS 34578 HAS SOUPS 34578 WITH SCORE 34614.152
AT ITER 181 NEW BEST:: SOT 53418 SOS 36048 HAS SOPS 36048 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34510.048
AT ITER 185 NEW BEST:: SOT 53514 SOS 36038 HAS SOPS 36038 HAS SOUS 34464 HAS SOUPS 34464 WITH SCORE 34500.038
AT ITER 186 NEW BEST:: SOT 53442 SOS 35808 HAS SOPS 35808 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34269.808
AT ITER 188 NEW BEST:: SOT 53382 SOS 35644 HAS SOPS 35644 HAS SOUS 34070 HAS SOUPS 34070 WITH SCORE 34105.644
AT ITER 189 NEW BEST:: SOT 53382 SOS 35616 HAS SOPS 35616 HAS SOUS 34042 HAS SOUPS 34042 WITH SCORE 34077.616
AT ITER 190 NEW BEST:: SOT 53182 SOS 35286 HAS SOPS 35286 HAS SOUS 33712 HAS SOUPS 33712 WITH SCORE 33747.286
AT ITER 191 NEW BEST:: SOT 52820 SOS 34924 HAS SOPS 34924 HAS SOUS 33350 HAS SOUPS 33350 WITH SCORE 33384.924
AT ITER 192 NEW BEST:: SOT 52632 SOS 34736 HAS SOPS 34736 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33196.736
AT ITER 193 NEW BEST:: SOT 52448 SOS 34552 HAS SOPS 34552 HAS SOUS 32978 HAS SOUPS 32978 WITH SCORE 33012.552
AT ITER 194 NEW BEST:: SOT 52448 SOS 34418 HAS SOPS 34418 HAS SOUS 32844 HAS SOUPS 32844 WITH SCORE 32878.418
AT ITER 197 NEW BEST:: SOT 52438 SOS 34398 HAS SOPS 34398 HAS SOUS 32824 HAS SOUPS 32824 WITH SCORE 32858.398
AT ITER 203 NEW BEST:: SOT 52332 SOS 34292 HAS SOPS 34292 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32752.292
AT ITER 204 NEW BEST:: SOT 52156 SOS 34108 HAS SOPS 34108 HAS SOUS 32534 HAS SOUPS 32534 WITH SCORE 32568.108
AT ITER 205 NEW BEST:: SOT 52156 SOS 33836 HAS SOPS 33836 HAS SOUS 32262 HAS SOUPS 32262 WITH SCORE 32295.836
AT ITER 206 NEW BEST:: SOT 52214 SOS 33734 HAS SOPS 33734 HAS SOUS 32160 HAS SOUPS 32160 WITH SCORE 32193.734
AT ITER 212 NEW BEST:: SOT 52214 SOS 33642 HAS SOPS 33642 HAS SOUS 32068 HAS SOUPS 32068 WITH SCORE 32101.642
AT ITER 217 NEW BEST:: SOT 52086 SOS 33398 HAS SOPS 33398 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31857.398
AT ITER 218 NEW BEST:: SOT 51830 SOS 33134 HAS SOPS 33134 HAS SOUS 31560 HAS SOUPS 31560 WITH SCORE 31593.134
AT ITER 219 NEW BEST:: SOT 51830 SOS 33062 HAS SOPS 33062 HAS SOUS 31488 HAS SOUPS 31488 WITH SCORE 31521.062
AT ITER 220 NEW BEST:: SOT 51808 SOS 33058 HAS SOPS 33058 HAS SOUS 31484 HAS SOUPS 31484 WITH SCORE 31517.058
AT ITER 224 NEW BEST:: SOT 51670 SOS 32912 HAS SOPS 32912 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31370.912
AT ITER 227 NEW BEST:: SOT 51528 SOS 32716 HAS SOPS 32716 HAS SOUS 31142 HAS SOUPS 31142 WITH SCORE 31174.716
AT ITER 228 NEW BEST:: SOT 51428 SOS 32616 HAS SOPS 32616 HAS SOUS 31042 HAS SOUPS 31042 WITH SCORE 31074.616
AT ITER 231 NEW BEST:: SOT 51228 SOS 32416 HAS SOPS 32416 HAS SOUS 30842 HAS SOUPS 30842 WITH SCORE 30874.416
AT ITER 238 NEW BEST:: SOT 51050 SOS 32238 HAS SOPS 32238 HAS SOUS 30544 HAS SOUPS 30544 WITH SCORE 30576.238
AT ITER 239 NEW BEST:: SOT 51014 SOS 32202 HAS SOPS 32202 HAS SOUS 30508 HAS SOUPS 30508 WITH SCORE 30540.202
AT ITER 249 NEW BEST:: SOT 50966 SOS 32088 HAS SOPS 32088 HAS SOUS 30394 HAS SOUPS 30394 WITH SCORE 30426.088
AT ITER 253 NEW BEST:: SOT 50722 SOS 31844 HAS SOPS 31844 HAS SOUS 30150 HAS SOUPS 30150 WITH SCORE 30181.844
AT ITER 259 NEW BEST:: SOT 50722 SOS 31808 HAS SOPS 31808 HAS SOUS 30114 HAS SOUPS 30114 WITH SCORE 30145.808
AT ITER 263 NEW BEST:: SOT 50626 SOS 31712 HAS SOPS 31712 HAS SOUS 30018 HAS SOUPS 30018 WITH SCORE 30049.712
AT ITER 264 NEW BEST:: SOT 50578 SOS 31640 HAS SOPS 31640 HAS SOUS 29946 HAS SOUPS 29946 WITH SCORE 29977.64
AT ITER 270 NEW BEST:: SOT 50522 SOS 31584 HAS SOPS 31584 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29787.584
AT ITER 274 NEW BEST:: SOT 50338 SOS 31172 HAS SOPS 31172 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29375.172
AT ITER 278 NEW BEST:: SOT 50174 SOS 30858 HAS SOPS 30858 HAS SOUS 29030 HAS SOUPS 29030 WITH SCORE 29060.858
AT ITER 284 NEW BEST:: SOT 50084 SOS 30770 HAS SOPS 30770 HAS SOUS 28942 HAS SOUPS 28942 WITH SCORE 28972.77
AT ITER 291 NEW BEST:: SOT 50016 SOS 30702 HAS SOPS 30702 HAS SOUS 28820 HAS SOUPS 28820 WITH SCORE 28850.702
AT ITER 295 NEW BEST:: SOT 49990 SOS 30676 HAS SOPS 30676 HAS SOUS 28794 HAS SOUPS 28794 WITH SCORE 28824.676
AT ITER 296 NEW BEST:: SOT 49982 SOS 30668 HAS SOPS 30668 HAS SOUS 28786 HAS SOUPS 28786 WITH SCORE 28816.668
AT ITER 297 NEW BEST:: SOT 49928 SOS 30560 HAS SOPS 30560 HAS SOUS 28678 HAS SOUPS 28678 WITH SCORE 28708.56
AT ITER 301 NEW BEST:: SOT 49928 SOS 30526 HAS SOPS 30526 HAS SOUS 28644 HAS SOUPS 28644 WITH SCORE 28674.526
AT ITER 302 NEW BEST:: SOT 50078 SOS 30520 HAS SOPS 30520 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28668.52
AT ITER 303 NEW BEST:: SOT 50078 SOS 30352 HAS SOPS 30352 HAS SOUS 28470 HAS SOUPS 28470 WITH SCORE 28500.352
AT ITER 305 NEW BEST:: SOT 50056 SOS 30330 HAS SOPS 30330 HAS SOUS 28448 HAS SOUPS 28448 WITH SCORE 28478.33
AT ITER 308 NEW BEST:: SOT 50024 SOS 30266 HAS SOPS 30266 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28414.266
AT ITER 311 NEW BEST:: SOT 49944 SOS 30080 HAS SOPS 30080 HAS SOUS 28198 HAS SOUPS 28198 WITH SCORE 28228.08
AT ITER 322 NEW BEST:: SOT 49944 SOS 30018 HAS SOPS 30018 HAS SOUS 28136 HAS SOUPS 28136 WITH SCORE 28166.018
AT ITER 325 NEW BEST:: SOT 49878 SOS 29800 HAS SOPS 29800 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27947.8
AT ITER 328 NEW BEST:: SOT 49676 SOS 29598 HAS SOPS 29598 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27745.598
AT ITER 333 NEW BEST:: SOT 49664 SOS 29562 HAS SOPS 29562 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27709.562
AT ITER 340 NEW BEST:: SOT 49616 SOS 29500 HAS SOPS 29500 HAS SOUS 27618 HAS SOUPS 27618 WITH SCORE 27647.5
AT ITER 341 NEW BEST:: SOT 49580 SOS 29464 HAS SOPS 29464 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27611.464
AT ITER 345 NEW BEST:: SOT 49580 SOS 29412 HAS SOPS 29412 HAS SOUS 27530 HAS SOUPS 27530 WITH SCORE 27559.412
AT ITER 346 NEW BEST:: SOT 49580 SOS 29242 HAS SOPS 29242 HAS SOUS 27360 HAS SOUPS 27360 WITH SCORE 27389.242
AT ITER 347 NEW BEST:: SOT 49574 SOS 29176 HAS SOPS 29176 HAS SOUS 27294 HAS SOUPS 27294 WITH SCORE 27323.176
AT ITER 348 NEW BEST:: SOT 49574 SOS 29046 HAS SOPS 29046 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27193.046
AT ITER 350 NEW BEST:: SOT 49428 SOS 28900 HAS SOPS 28900 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27046.9
AT ITER 354 NEW BEST:: SOT 49462 SOS 28794 HAS SOPS 28794 HAS SOUS 26912 HAS SOUPS 26912 WITH SCORE 26940.794
AT ITER 359 NEW BEST:: SOT 49368 SOS 28790 HAS SOPS 28790 HAS SOUS 26908 HAS SOUPS 26908 WITH SCORE 26936.79
AT ITER 372 NEW BEST:: SOT 49340 SOS 28762 HAS SOPS 28762 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26908.762
AT ITER 375 NEW BEST:: SOT 49208 SOS 28630 HAS SOPS 28630 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26776.63
AT ITER 381 NEW BEST:: SOT 49208 SOS 28624 HAS SOPS 28624 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26770.624
AT ITER 382 NEW BEST:: SOT 49048 SOS 28596 HAS SOPS 28596 HAS SOUS 26714 HAS SOUPS 26714 WITH SCORE 26742.596
AT ITER 384 NEW BEST:: SOT 48998 SOS 28546 HAS SOPS 28546 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26692.546
AT ITER 386 NEW BEST:: SOT 48986 SOS 28520 HAS SOPS 28520 HAS SOUS 26638 HAS SOUPS 26638 WITH SCORE 26666.52
AT ITER 388 NEW BEST:: SOT 48878 SOS 28258 HAS SOPS 28258 HAS SOUS 26376 HAS SOUPS 26376 WITH SCORE 26404.258
AT ITER 391 NEW BEST:: SOT 48862 SOS 28242 HAS SOPS 28242 HAS SOUS 26360 HAS SOUPS 26360 WITH SCORE 26388.242
AT ITER 394 NEW BEST:: SOT 48664 SOS 28060 HAS SOPS 28060 HAS SOUS 25742 HAS SOUPS 25742 WITH SCORE 25770.06
AT ITER 395 NEW BEST:: SOT 48664 SOS 28166 HAS SOPS 28166 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25756.166
AT ITER 399 NEW BEST:: SOT 48710 SOS 28116 HAS SOPS 28116 HAS SOUS 25678 HAS SOUPS 25678 WITH SCORE 25706.116
AT ITER 401 NEW BEST:: SOT 48710 SOS 28082 HAS SOPS 28082 HAS SOUS 25644 HAS SOUPS 25644 WITH SCORE 25672.082
AT ITER 404 NEW BEST:: SOT 48710 SOS 28022 HAS SOPS 28022 HAS SOUS 25644 HAS SOUPS 25644 WITH SCORE 25672.022
AT ITER 408 NEW BEST:: SOT 48710 SOS 27980 HAS SOPS 27980 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25629.98
AT ITER 409 NEW BEST:: SOT 48446 SOS 27762 HAS SOPS 27762 HAS SOUS 25384 HAS SOUPS 25384 WITH SCORE 25411.762
AT ITER 415 NEW BEST:: SOT 48202 SOS 27280 HAS SOPS 27280 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24929.28
AT ITER 418 NEW BEST:: SOT 48158 SOS 27028 HAS SOPS 27028 HAS SOUS 24650 HAS SOUPS 24650 WITH SCORE 24677.028
AT ITER 421 NEW BEST:: SOT 48276 SOS 26984 HAS SOPS 26984 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24632.984
AT ITER 427 NEW BEST:: SOT 48276 SOS 26958 HAS SOPS 26958 HAS SOUS 24580 HAS SOUPS 24580 WITH SCORE 24606.958
AT ITER 429 NEW BEST:: SOT 48128 SOS 26814 HAS SOPS 26814 HAS SOUS 24436 HAS SOUPS 24436 WITH SCORE 24462.814
AT ITER 438 NEW BEST:: SOT 48128 SOS 26798 HAS SOPS 26798 HAS SOUS 24420 HAS SOUPS 24420 WITH SCORE 24446.798
AT ITER 439 NEW BEST:: SOT 48056 SOS 26726 HAS SOPS 26726 HAS SOUS 24348 HAS SOUPS 24348 WITH SCORE 24374.726
AT ITER 443 NEW BEST:: SOT 48028 SOS 26698 HAS SOPS 26698 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24346.698
AT ITER 454 NEW BEST:: SOT 47908 SOS 26516 HAS SOPS 26516 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24164.516
AT ITER 463 NEW BEST:: SOT 47908 SOS 26452 HAS SOPS 26452 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24100.452
AT ITER 465 NEW BEST:: SOT 47840 SOS 26384 HAS SOPS 26384 HAS SOUS 23982 HAS SOUPS 23982 WITH SCORE 24008.384
AT ITER 467 NEW BEST:: SOT 47840 SOS 26378 HAS SOPS 26378 HAS SOUS 23976 HAS SOUPS 23976 WITH SCORE 24002.378
AT ITER 480 NEW BEST:: SOT 47840 SOS 26372 HAS SOPS 26372 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 23996.372
AT ITER 486 NEW BEST:: SOT 47838 SOS 26326 HAS SOPS 26326 HAS SOUS 23924 HAS SOUPS 23924 WITH SCORE 23950.326
AT ITER 491 NEW BEST:: SOT 47838 SOS 26322 HAS SOPS 26322 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23946.322
AT ITER 492 NEW BEST:: SOT 47838 SOS 26276 HAS SOPS 26276 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23946.276
AT ITER 499 NEW BEST:: SOT 47838 SOS 26040 HAS SOPS 26040 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23710.04
AT ITER 511 NEW BEST:: SOT 47818 SOS 26020 HAS SOPS 26020 HAS SOUS 23664 HAS SOUPS 23664 WITH SCORE 23690.02
AT ITER 513 NEW BEST:: SOT 47766 SOS 25968 HAS SOPS 25968 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23637.968
AT ITER 517 NEW BEST:: SOT 47766 SOS 25894 HAS SOPS 25894 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23563.894
AT ITER 520 NEW BEST:: SOT 47688 SOS 25816 HAS SOPS 25816 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23485.816
AT ITER 521 NEW BEST:: SOT 47648 SOS 25686 HAS SOPS 25686 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23355.686
AT ITER 527 NEW BEST:: SOT 47696 SOS 25460 HAS SOPS 25460 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23337.46
AT ITER 529 NEW BEST:: SOT 47572 SOS 25336 HAS SOPS 25336 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23213.336
AT ITER 531 NEW BEST:: SOT 47576 SOS 25266 HAS SOPS 25266 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23143.266
AT ITER 550 NEW BEST:: SOT 47472 SOS 25090 HAS SOPS 25090 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22967.09
AT ITER 551 NEW BEST:: SOT 47462 SOS 25032 HAS SOPS 25032 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22909.032
AT ITER 557 NEW BEST:: SOT 47410 SOS 24980 HAS SOPS 24980 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22856.98
AT ITER 558 NEW BEST:: SOT 47322 SOS 24892 HAS SOPS 24892 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22680.892
AT ITER 563 NEW BEST:: SOT 47240 SOS 24728 HAS SOPS 24728 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22516.728
AT ITER 576 NEW BEST:: SOT 47212 SOS 24680 HAS SOPS 24680 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22468.68
AT ITER 577 NEW BEST:: SOT 47212 SOS 24616 HAS SOPS 24616 HAS SOUS 22380 HAS SOUPS 22380 WITH SCORE 22404.616
AT ITER 580 NEW BEST:: SOT 47212 SOS 24572 HAS SOPS 24572 HAS SOUS 22336 HAS SOUPS 22336 WITH SCORE 22360.572
AT ITER 592 NEW BEST:: SOT 47240 SOS 24570 HAS SOPS 24570 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22358.57
AT ITER 595 NEW BEST:: SOT 47224 SOS 24554 HAS SOPS 24554 HAS SOUS 22318 HAS SOUPS 22318 WITH SCORE 22342.554
AT ITER 597 NEW BEST:: SOT 47064 SOS 24248 HAS SOPS 24248 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22036.248
AT ITER 602 NEW BEST:: SOT 47026 SOS 24216 HAS SOPS 24216 HAS SOUS 21906 HAS SOUPS 21906 WITH SCORE 21930.216
AT ITER 605 NEW BEST:: SOT 46978 SOS 24202 HAS SOPS 24202 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21916.202
AT ITER 608 NEW BEST:: SOT 47038 SOS 24182 HAS SOPS 24182 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21896.182
AT ITER 609 NEW BEST:: SOT 47038 SOS 24054 HAS SOPS 24054 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21768.054
AT ITER 613 NEW BEST:: SOT 47014 SOS 24022 HAS SOPS 24022 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21736.022
AT ITER 615 NEW BEST:: SOT 47014 SOS 23976 HAS SOPS 23976 HAS SOUS 21666 HAS SOUPS 21666 WITH SCORE 21689.976
AT ITER 618 NEW BEST:: SOT 46958 SOS 23918 HAS SOPS 23918 HAS SOUS 21608 HAS SOUPS 21608 WITH SCORE 21631.918
AT ITER 622 NEW BEST:: SOT 46794 SOS 23784 HAS SOPS 23784 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21497.784
AT ITER 627 NEW BEST:: SOT 46782 SOS 23772 HAS SOPS 23772 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21485.772
AT ITER 635 NEW BEST:: SOT 46806 SOS 23690 HAS SOPS 23690 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21403.69
AT ITER 642 NEW BEST:: SOT 46752 SOS 23636 HAS SOPS 23636 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21349.636
AT ITER 644 NEW BEST:: SOT 46552 SOS 23436 HAS SOPS 23436 HAS SOUS 21126 HAS SOUPS 21126 WITH SCORE 21149.436
AT ITER 648 NEW BEST:: SOT 46510 SOS 23394 HAS SOPS 23394 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21107.394
AT ITER 649 NEW BEST:: SOT 46496 SOS 23380 HAS SOPS 23380 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21039.38
AT ITER 656 NEW BEST:: SOT 46286 SOS 23244 HAS SOPS 23244 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20833.244
AT ITER 657 NEW BEST:: SOT 46286 SOS 23218 HAS SOPS 23218 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20807.218
AT ITER 660 NEW BEST:: SOT 46264 SOS 23174 HAS SOPS 23174 HAS SOUS 20740 HAS SOUPS 20740 WITH SCORE 20763.174
AT ITER 662 NEW BEST:: SOT 46196 SOS 22906 HAS SOPS 22906 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20494.906
AT ITER 665 NEW BEST:: SOT 46196 SOS 22868 HAS SOPS 22868 HAS SOUS 20434 HAS SOUPS 20434 WITH SCORE 20456.868
AT ITER 666 NEW BEST:: SOT 46088 SOS 22652 HAS SOPS 22652 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20240.652
AT ITER 674 NEW BEST:: SOT 46088 SOS 22646 HAS SOPS 22646 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20234.646
AT ITER 682 NEW BEST:: SOT 46088 SOS 22586 HAS SOPS 22586 HAS SOUS 20152 HAS SOUPS 20152 WITH SCORE 20174.586
AT ITER 684 NEW BEST:: SOT 46080 SOS 22578 HAS SOPS 22578 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20166.578
AT ITER 691 NEW BEST:: SOT 45850 SOS 22216 HAS SOPS 22216 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19804.216
AT ITER 697 NEW BEST:: SOT 45754 SOS 22120 HAS SOPS 22120 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19684.12
AT ITER 700 NEW BEST:: SOT 45754 SOS 22068 HAS SOPS 22068 HAS SOUS 19610 HAS SOUPS 19610 WITH SCORE 19632.068
AT ITER 705 NEW BEST:: SOT 45666 SOS 21980 HAS SOPS 21980 HAS SOUS 19522 HAS SOUPS 19522 WITH SCORE 19543.98
AT ITER 706 NEW BEST:: SOT 45532 SOS 21846 HAS SOPS 21846 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19409.846
AT ITER 715 NEW BEST:: SOT 45516 SOS 21814 HAS SOPS 21814 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19377.814
AT ITER 716 NEW BEST:: SOT 45454 SOS 21752 HAS SOPS 21752 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19315.752
AT ITER 727 NEW BEST:: SOT 45452 SOS 21750 HAS SOPS 21750 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19313.75
AT ITER 732 NEW BEST:: SOT 45418 SOS 21716 HAS SOPS 21716 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19279.716
AT ITER 758 NEW BEST:: SOT 45534 SOS 21708 HAS SOPS 21708 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19271.708
AT ITER 760 NEW BEST:: SOT 45534 SOS 21706 HAS SOPS 21706 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19269.706
AT ITER 774 NEW BEST:: SOT 45518 SOS 21690 HAS SOPS 21690 HAS SOUS 19232 HAS SOUPS 19232 WITH SCORE 19253.69
AT ITER 779 NEW BEST:: SOT 45518 SOS 21820 HAS SOPS 21820 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19227.82
AT ITER 780 NEW BEST:: SOT 45368 SOS 21670 HAS SOPS 21670 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18865.67
AT ITER 791 NEW BEST:: SOT 45426 SOS 21624 HAS SOPS 21624 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18819.624
AT ITER 795 NEW BEST:: SOT 45390 SOS 21588 HAS SOPS 21588 HAS SOUS 18726 HAS SOUPS 18726 WITH SCORE 18747.588
AT ITER 803 NEW BEST:: SOT 45400 SOS 21552 HAS SOPS 21552 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18711.552
AT ITER 810 NEW BEST:: SOT 45286 SOS 21424 HAS SOPS 21424 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18583.424
AT ITER 813 NEW BEST:: SOT 45286 SOS 21368 HAS SOPS 21368 HAS SOUS 18506 HAS SOUPS 18506 WITH SCORE 18527.368
AT ITER 814 NEW BEST:: SOT 45286 SOS 21356 HAS SOPS 21356 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18515.356
AT ITER 817 NEW BEST:: SOT 45286 SOS 21392 HAS SOPS 21392 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18463.392
AT ITER 818 NEW BEST:: SOT 45212 SOS 21266 HAS SOPS 21266 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18337.266
AT ITER 822 NEW BEST:: SOT 45212 SOS 21232 HAS SOPS 21232 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18303.232
AT ITER 828 NEW BEST:: SOT 45212 SOS 21226 HAS SOPS 21226 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18297.226
AT ITER 831 NEW BEST:: SOT 45212 SOS 21160 HAS SOPS 21160 HAS SOUS 18210 HAS SOUPS 18210 WITH SCORE 18231.16
AT ITER 832 NEW BEST:: SOT 45184 SOS 21132 HAS SOPS 21132 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18203.132
AT ITER 839 NEW BEST:: SOT 45130 SOS 20892 HAS SOPS 20892 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17962.892
AT ITER 841 NEW BEST:: SOT 45130 SOS 20818 HAS SOPS 20818 HAS SOUS 17868 HAS SOUPS 17868 WITH SCORE 17888.818
AT ITER 847 NEW BEST:: SOT 45130 SOS 20758 HAS SOPS 20758 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17828.758
AT ITER 849 NEW BEST:: SOT 44978 SOS 20478 HAS SOPS 20478 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17548.478
AT ITER 851 NEW BEST:: SOT 44960 SOS 20460 HAS SOPS 20460 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17530.46
AT ITER 863 NEW BEST:: SOT 44952 SOS 20452 HAS SOPS 20452 HAS SOUS 17502 HAS SOUPS 17502 WITH SCORE 17522.452
AT ITER 870 NEW BEST:: SOT 44900 SOS 20400 HAS SOPS 20400 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17470.4
AT ITER 872 NEW BEST:: SOT 44874 SOS 20358 HAS SOPS 20358 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17428.358
AT ITER 882 NEW BEST:: SOT 44700 SOS 20184 HAS SOPS 20184 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17254.184
AT ITER 884 NEW BEST:: SOT 44724 SOS 20144 HAS SOPS 20144 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17214.144
AT ITER 890 NEW BEST:: SOT 44672 SOS 20092 HAS SOPS 20092 HAS SOUS 17142 HAS SOUPS 17142 WITH SCORE 17162.092
AT ITER 893 NEW BEST:: SOT 44672 SOS 20060 HAS SOPS 20060 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17130.06
AT ITER 897 NEW BEST:: SOT 44652 SOS 20040 HAS SOPS 20040 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17110.04
AT ITER 899 NEW BEST:: SOT 44496 SOS 19812 HAS SOPS 19812 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16887.812
AT ITER 902 NEW BEST:: SOT 44426 SOS 19742 HAS SOPS 19742 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16817.742
AT ITER 915 NEW BEST:: SOT 44386 SOS 19702 HAS SOPS 19702 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16777.702
AT ITER 923 NEW BEST:: SOT 44386 SOS 19702 HAS SOPS 19702 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16769.702
AT ITER 928 NEW BEST:: SOT 44376 SOS 19682 HAS SOPS 19682 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16749.682
AT ITER 929 NEW BEST:: SOT 44376 SOS 19658 HAS SOPS 19658 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16725.658
AT ITER 935 NEW BEST:: SOT 44226 SOS 19386 HAS SOPS 19386 HAS SOUS 16434 HAS SOUPS 16434 WITH SCORE 16453.386
AT ITER 938 NEW BEST:: SOT 44214 SOS 19374 HAS SOPS 19374 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16441.374
AT ITER 940 NEW BEST:: SOT 44194 SOS 19288 HAS SOPS 19288 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16355.288
AT ITER 947 NEW BEST:: SOT 44194 SOS 19326 HAS SOPS 19326 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16253.326
AT ITER 965 NEW BEST:: SOT 44194 SOS 19326 HAS SOPS 19326 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16243.326
AT ITER 977 NEW BEST:: SOT 44154 SOS 19246 HAS SOPS 19246 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16163.246
AT ITER 981 NEW BEST:: SOT 44142 SOS 19222 HAS SOPS 19222 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16139.222
AT ITER 996 NEW BEST:: SOT 44174 SOS 19128 HAS SOPS 19128 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16045.128
AT ITER 1007 NEW BEST:: SOT 44164 SOS 19118 HAS SOPS 19118 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16035.118
AT ITER 1008 NEW BEST:: SOT 44150 SOS 19104 HAS SOPS 19104 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16021.104
AT ITER 1010 NEW BEST:: SOT 44150 SOS 19094 HAS SOPS 19094 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16011.094
AT ITER 1016 NEW BEST:: SOT 44150 SOS 19112 HAS SOPS 19112 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15991.112
AT ITER 1018 NEW BEST:: SOT 44150 SOS 19046 HAS SOPS 19046 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15991.046
AT ITER 1041 NEW BEST:: SOT 44150 SOS 19008 HAS SOPS 19008 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15953.008
AT ITER 1043 NEW BEST:: SOT 44114 SOS 18920 HAS SOPS 18920 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15864.92
AT ITER 1045 NEW BEST:: SOT 44102 SOS 18898 HAS SOPS 18898 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15842.898
AT ITER 1053 NEW BEST:: SOT 44084 SOS 18814 HAS SOPS 18814 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15758.814
AT ITER 1064 NEW BEST:: SOT 44020 SOS 18750 HAS SOPS 18750 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15694.75
AT ITER 1066 NEW BEST:: SOT 43974 SOS 18668 HAS SOPS 18668 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15612.668
AT ITER 1075 NEW BEST:: SOT 43974 SOS 18750 HAS SOPS 18750 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15410.75
AT ITER 1079 NEW BEST:: SOT 43942 SOS 18718 HAS SOPS 18718 HAS SOUS 15360 HAS SOUPS 15360 WITH SCORE 15378.718
AT ITER 1084 NEW BEST:: SOT 43652 SOS 18434 HAS SOPS 18434 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15094.434
AT ITER 1096 NEW BEST:: SOT 43652 SOS 18350 HAS SOPS 18350 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15010.35
AT ITER 1097 NEW BEST:: SOT 43652 SOS 18310 HAS SOPS 18310 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14970.31
AT ITER 1104 NEW BEST:: SOT 43652 SOS 18282 HAS SOPS 18282 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14942.282
AT ITER 1112 NEW BEST:: SOT 43604 SOS 18186 HAS SOPS 18186 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14846.186
AT ITER 1126 NEW BEST:: SOT 43546 SOS 18128 HAS SOPS 18128 HAS SOUS 14770 HAS SOUPS 14770 WITH SCORE 14788.128
AT ITER 1143 NEW BEST:: SOT 43522 SOS 18104 HAS SOPS 18104 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14764.104
AT ITER 1147 NEW BEST:: SOT 43500 SOS 18212 HAS SOPS 18212 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14550.212
AT ITER 1148 NEW BEST:: SOT 43500 SOS 18130 HAS SOPS 18130 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14468.13
AT ITER 1164 NEW BEST:: SOT 43500 SOS 18112 HAS SOPS 18112 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14450.112
AT ITER 1168 NEW BEST:: SOT 43500 SOS 18110 HAS SOPS 18110 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14448.11
AT ITER 1170 NEW BEST:: SOT 43424 SOS 18060 HAS SOPS 18060 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14398.06
AT ITER 1176 NEW BEST:: SOT 43424 SOS 18052 HAS SOPS 18052 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14398.052
AT ITER 1181 NEW BEST:: SOT 43424 SOS 18006 HAS SOPS 18006 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14352.006
AT ITER 1200 NEW BEST:: SOT 43378 SOS 17960 HAS SOPS 17960 HAS SOUS 14284 HAS SOUPS 14284 WITH SCORE 14301.96
AT ITER 1208 NEW BEST:: SOT 43378 SOS 17928 HAS SOPS 17928 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14281.928
AT ITER 1210 NEW BEST:: SOT 43232 SOS 17782 HAS SOPS 17782 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14135.782
AT ITER 1211 NEW BEST:: SOT 43160 SOS 17652 HAS SOPS 17652 HAS SOUS 13988 HAS SOUPS 13988 WITH SCORE 14005.652
AT ITER 1226 NEW BEST:: SOT 43108 SOS 17548 HAS SOPS 17548 HAS SOUS 13884 HAS SOUPS 13884 WITH SCORE 13901.548
AT ITER 1235 NEW BEST:: SOT 43106 SOS 17546 HAS SOPS 17546 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13899.546
AT ITER 1237 NEW BEST:: SOT 42868 SOS 17308 HAS SOPS 17308 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13661.308
AT ITER 1259 NEW BEST:: SOT 42930 SOS 17300 HAS SOPS 17300 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13653.3
AT ITER 1267 NEW BEST:: SOT 42894 SOS 17228 HAS SOPS 17228 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13581.228
AT ITER 1292 NEW BEST:: SOT 42894 SOS 17218 HAS SOPS 17218 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13571.218
AT ITER 1295 NEW BEST:: SOT 42894 SOS 17218 HAS SOPS 17218 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13555.218
AT ITER 1312 NEW BEST:: SOT 42860 SOS 17184 HAS SOPS 17184 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13521.184
AT ITER 1322 NEW BEST:: SOT 42840 SOS 17164 HAS SOPS 17164 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13501.164
AT ITER 1328 NEW BEST:: SOT 42734 SOS 16944 HAS SOPS 16944 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13280.944
AT ITER 1334 NEW BEST:: SOT 42734 SOS 16888 HAS SOPS 16888 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13224.888
AT ITER 1339 NEW BEST:: SOT 42720 SOS 16846 HAS SOPS 16846 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13182.846
AT ITER 1343 NEW BEST:: SOT 42720 SOS 16842 HAS SOPS 16842 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13178.842
AT ITER 1350 NEW BEST:: SOT 42602 SOS 16764 HAS SOPS 16764 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13100.764
AT ITER 1357 NEW BEST:: SOT 42596 SOS 16752 HAS SOPS 16752 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13088.752
AT ITER 1361 NEW BEST:: SOT 42556 SOS 16710 HAS SOPS 16710 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13046.71
AT ITER 1371 NEW BEST:: SOT 42522 SOS 16676 HAS SOPS 16676 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13000.676
AT ITER 1395 NEW BEST:: SOT 42470 SOS 16582 HAS SOPS 16582 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.582
AT ITER 1409 NEW BEST:: SOT 42470 SOS 16534 HAS SOPS 16534 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.534
AT ITER 1431 NEW BEST:: SOT 42450 SOS 16514 HAS SOPS 16514 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12866.514
AT ITER 1434 NEW BEST:: SOT 42442 SOS 16506 HAS SOPS 16506 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12858.506
AT ITER 1439 NEW BEST:: SOT 42384 SOS 16470 HAS SOPS 16470 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12818.47
AT ITER 1441 NEW BEST:: SOT 42362 SOS 16448 HAS SOPS 16448 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12810.448
AT ITER 1464 NEW BEST:: SOT 42362 SOS 16432 HAS SOPS 16432 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12794.432
AT ITER 1492 NEW BEST:: SOT 42278 SOS 16348 HAS SOPS 16348 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12710.348
AT ITER 1500 NEW BEST:: SOT 42240 SOS 16294 HAS SOPS 16294 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12656.294
AT ITER 1503 NEW BEST:: SOT 42222 SOS 16276 HAS SOPS 16276 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12638.276
AT ITER 1507 NEW BEST:: SOT 42186 SOS 16232 HAS SOPS 16232 HAS SOUS 12578 HAS SOUPS 12578 WITH SCORE 12594.232
AT ITER 1519 NEW BEST:: SOT 42180 SOS 16202 HAS SOPS 16202 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12564.202
AT ITER 1528 NEW BEST:: SOT 42154 SOS 16176 HAS SOPS 16176 HAS SOUS 12506 HAS SOUPS 12506 WITH SCORE 12522.176
AT ITER 1537 NEW BEST:: SOT 42152 SOS 16174 HAS SOPS 16174 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12520.174
AT ITER 1566 NEW BEST:: SOT 42068 SOS 16090 HAS SOPS 16090 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12436.09
AT ITER 1571 NEW BEST:: SOT 42040 SOS 16028 HAS SOPS 16028 HAS SOUS 12358 HAS SOUPS 12358 WITH SCORE 12374.028
AT ITER 1577 NEW BEST:: SOT 41994 SOS 15998 HAS SOPS 15998 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12343.998
AT ITER 1581 NEW BEST:: SOT 41994 SOS 15956 HAS SOPS 15956 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12301.956
AT ITER 1594 NEW BEST:: SOT 41952 SOS 15914 HAS SOPS 15914 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12259.914
AT ITER 1600 NEW BEST:: SOT 41908 SOS 15870 HAS SOPS 15870 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12215.87
AT ITER 1602 NEW BEST:: SOT 41872 SOS 15798 HAS SOPS 15798 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12143.798
AT ITER 1609 NEW BEST:: SOT 41872 SOS 15784 HAS SOPS 15784 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12129.784
AT ITER 1613 NEW BEST:: SOT 41868 SOS 15746 HAS SOPS 15746 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12091.746
AT ITER 1618 NEW BEST:: SOT 41848 SOS 15714 HAS SOPS 15714 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12059.714
AT ITER 1619 NEW BEST:: SOT 41824 SOS 15690 HAS SOPS 15690 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12035.69
AT ITER 1635 NEW BEST:: SOT 41806 SOS 15682 HAS SOPS 15682 HAS SOUS 12012 HAS SOUPS 12012 WITH SCORE 12027.682
AT ITER 1640 NEW BEST:: SOT 41800 SOS 15676 HAS SOPS 15676 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12021.676
AT ITER 1645 NEW BEST:: SOT 41800 SOS 15664 HAS SOPS 15664 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12021.664
AT ITER 1667 NEW BEST:: SOT 41768 SOS 15632 HAS SOPS 15632 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11989.632
AT ITER 1672 NEW BEST:: SOT 41768 SOS 15624 HAS SOPS 15624 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11981.624
AT ITER 1686 NEW BEST:: SOT 41768 SOS 15604 HAS SOPS 15604 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11961.604
AT ITER 1692 NEW BEST:: SOT 41710 SOS 15580 HAS SOPS 15580 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11937.58
AT ITER 1699 NEW BEST:: SOT 41650 SOS 15506 HAS SOPS 15506 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11863.506
AT ITER 1704 NEW BEST:: SOT 41650 SOS 15492 HAS SOPS 15492 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11849.492
AT ITER 1716 NEW BEST:: SOT 41650 SOS 15466 HAS SOPS 15466 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11823.466
AT ITER 1719 NEW BEST:: SOT 41632 SOS 15394 HAS SOPS 15394 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11751.394
AT ITER 1725 NEW BEST:: SOT 41590 SOS 15352 HAS SOPS 15352 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11659.352
AT ITER 1729 NEW BEST:: SOT 41588 SOS 15350 HAS SOPS 15350 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11657.35
AT ITER 1734 NEW BEST:: SOT 41576 SOS 15400 HAS SOPS 15400 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11623.4
AT ITER 1737 NEW BEST:: SOT 41570 SOS 15372 HAS SOPS 15372 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11595.372
AT ITER 1746 NEW BEST:: SOT 41530 SOS 15282 HAS SOPS 15282 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11505.282
AT ITER 1751 NEW BEST:: SOT 41528 SOS 15278 HAS SOPS 15278 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11501.278
AT ITER 1759 NEW BEST:: SOT 41534 SOS 15284 HAS SOPS 15284 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11493.284
AT ITER 1761 NEW BEST:: SOT 41534 SOS 15278 HAS SOPS 15278 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11487.278
AT ITER 1766 NEW BEST:: SOT 41452 SOS 15114 HAS SOPS 15114 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11323.114
AT ITER 1781 NEW BEST:: SOT 41452 SOS 15112 HAS SOPS 15112 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11321.112
AT ITER 1789 NEW BEST:: SOT 41454 SOS 15110 HAS SOPS 15110 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11319.11
AT ITER 1797 NEW BEST:: SOT 41396 SOS 14988 HAS SOPS 14988 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11196.988
AT ITER 1812 NEW BEST:: SOT 41390 SOS 14982 HAS SOPS 14982 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11190.982
AT ITER 1817 NEW BEST:: SOT 41390 SOS 14980 HAS SOPS 14980 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11188.98
AT ITER 1869 NEW BEST:: SOT 41342 SOS 14932 HAS SOPS 14932 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11140.932
AT ITER 1874 NEW BEST:: SOT 41338 SOS 14908 HAS SOPS 14908 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11116.908
AT ITER 1878 NEW BEST:: SOT 41296 SOS 14870 HAS SOPS 14870 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11050.87
AT ITER 1895 NEW BEST:: SOT 41234 SOS 14808 HAS SOPS 14808 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10988.808
AT ITER 1930 NEW BEST:: SOT 41206 SOS 14780 HAS SOPS 14780 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10960.78
AT ITER 1941 NEW BEST:: SOT 41194 SOS 14738 HAS SOPS 14738 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10932.738
AT ITER 1947 NEW BEST:: SOT 41194 SOS 14730 HAS SOPS 14730 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10924.73
AT ITER 1959 NEW BEST:: SOT 41190 SOS 14726 HAS SOPS 14726 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10920.726
AT ITER 1999 NEW BEST:: SOT 41186 SOS 14648 HAS SOPS 14648 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10842.648
AT ITER 2004 NEW BEST:: SOT 41158 SOS 14620 HAS SOPS 14620 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10770.62
AT ITER 2008 NEW BEST:: SOT 41126 SOS 14556 HAS SOPS 14556 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10706.556
AT ITER 2051 NEW BEST:: SOT 41112 SOS 14494 HAS SOPS 14494 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10644.494
AT ITER 2134 NEW BEST:: SOT 41104 SOS 14478 HAS SOPS 14478 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10628.478
AT ITER 2135 NEW BEST:: SOT 41104 SOS 14470 HAS SOPS 14470 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10620.47
AT ITER 2152 NEW BEST:: SOT 41104 SOS 14452 HAS SOPS 14452 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10602.452
AT ITER 2154 NEW BEST:: SOT 41072 SOS 14438 HAS SOPS 14438 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10588.438
AT ITER 2168 NEW BEST:: SOT 41064 SOS 14416 HAS SOPS 14416 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10566.416
AT ITER 2174 NEW BEST:: SOT 41018 SOS 14360 HAS SOPS 14360 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10510.36
AT ITER 2178 NEW BEST:: SOT 41014 SOS 14356 HAS SOPS 14356 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10496.356
AT ITER 2181 NEW BEST:: SOT 40998 SOS 14324 HAS SOPS 14324 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10464.324
AT ITER 2188 NEW BEST:: SOT 40950 SOS 14240 HAS SOPS 14240 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10380.24
AT ITER 2196 NEW BEST:: SOT 40944 SOS 14234 HAS SOPS 14234 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10374.234
AT ITER 2198 NEW BEST:: SOT 40916 SOS 14174 HAS SOPS 14174 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10314.174
AT ITER 2205 NEW BEST:: SOT 40904 SOS 14162 HAS SOPS 14162 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10302.162
AT ITER 2209 NEW BEST:: SOT 40878 SOS 14110 HAS SOPS 14110 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10250.11
AT ITER 2218 NEW BEST:: SOT 40852 SOS 14094 HAS SOPS 14094 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10234.094
AT ITER 2232 NEW BEST:: SOT 40838 SOS 14080 HAS SOPS 14080 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10220.08
AT ITER 2250 NEW BEST:: SOT 40800 SOS 13988 HAS SOPS 13988 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10127.988
AT ITER 2277 NEW BEST:: SOT 40776 SOS 13928 HAS SOPS 13928 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10067.928
AT ITER 2312 NEW BEST:: SOT 40770 SOS 13922 HAS SOPS 13922 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10031.922
AT ITER 2327 NEW BEST:: SOT 40770 SOS 13882 HAS SOPS 13882 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9991.882
AT ITER 2340 NEW BEST:: SOT 40774 SOS 13866 HAS SOPS 13866 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9975.866
AT ITER 2349 NEW BEST:: SOT 40768 SOS 13860 HAS SOPS 13860 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9969.86
AT ITER 2391 NEW BEST:: SOT 40732 SOS 13818 HAS SOPS 13818 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9927.818
AT ITER 2399 NEW BEST:: SOT 40676 SOS 13710 HAS SOPS 13710 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9819.71
AT ITER 2409 NEW BEST:: SOT 40656 SOS 13690 HAS SOPS 13690 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9799.69
AT ITER 2411 NEW BEST:: SOT 40656 SOS 13594 HAS SOPS 13594 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9703.594
AT ITER 2422 NEW BEST:: SOT 40648 SOS 13526 HAS SOPS 13526 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9635.526
AT ITER 2436 NEW BEST:: SOT 40642 SOS 13524 HAS SOPS 13524 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9633.524
AT ITER 2441 NEW BEST:: SOT 40618 SOS 13500 HAS SOPS 13500 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9609.5
AT ITER 2456 NEW BEST:: SOT 40618 SOS 13456 HAS SOPS 13456 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9565.456
AT ITER 2497 NEW BEST:: SOT 40582 SOS 13420 HAS SOPS 13420 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9529.42
AT ITER 2498 NEW BEST:: SOT 40582 SOS 13362 HAS SOPS 13362 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9471.362
AT ITER 2520 NEW BEST:: SOT 40580 SOS 13324 HAS SOPS 13324 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9433.324
AT ITER 2536 NEW BEST:: SOT 40564 SOS 13292 HAS SOPS 13292 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9401.292
AT ITER 2542 NEW BEST:: SOT 40560 SOS 13288 HAS SOPS 13288 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9397.288
AT ITER 2543 NEW BEST:: SOT 40558 SOS 13286 HAS SOPS 13286 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9395.286
AT ITER 2558 NEW BEST:: SOT 40552 SOS 13262 HAS SOPS 13262 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9371.262
AT ITER 2565 NEW BEST:: SOT 40522 SOS 13232 HAS SOPS 13232 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9341.232
AT ITER 2568 NEW BEST:: SOT 40504 SOS 13196 HAS SOPS 13196 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9305.196
AT ITER 2577 NEW BEST:: SOT 40474 SOS 13124 HAS SOPS 13124 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.124
AT ITER 2581 NEW BEST:: SOT 40474 SOS 13104 HAS SOPS 13104 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9213.104
AT ITER 2611 NEW BEST:: SOT 40452 SOS 13052 HAS SOPS 13052 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9161.052
AT ITER 2619 NEW BEST:: SOT 40452 SOS 13038 HAS SOPS 13038 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9147.038
AT ITER 2636 NEW BEST:: SOT 40440 SOS 13026 HAS SOPS 13026 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9135.026
AT ITER 2638 NEW BEST:: SOT 40440 SOS 12932 HAS SOPS 12932 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9088.932
AT ITER 2707 NEW BEST:: SOT 40440 SOS 12864 HAS SOPS 12864 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9020.864
AT ITER 2714 NEW BEST:: SOT 40376 SOS 12736 HAS SOPS 12736 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8892.736
AT ITER 2722 NEW BEST:: SOT 40376 SOS 12738 HAS SOPS 12738 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8884.738
AT ITER 2766 NEW BEST:: SOT 40376 SOS 12734 HAS SOPS 12734 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8880.734
AT ITER 2784 NEW BEST:: SOT 40370 SOS 12728 HAS SOPS 12728 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8874.728
AT ITER 2795 NEW BEST:: SOT 40370 SOS 12716 HAS SOPS 12716 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8862.716
AT ITER 2802 NEW BEST:: SOT 40366 SOS 12712 HAS SOPS 12712 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8858.712
AT ITER 2807 NEW BEST:: SOT 40320 SOS 12678 HAS SOPS 12678 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8824.678
AT ITER 2836 NEW BEST:: SOT 40268 SOS 12536 HAS SOPS 12536 HAS SOUS 8670 HAS SOUPS 8670 WITH SCORE 8682.536
AT ITER 2843 NEW BEST:: SOT 40254 SOS 12508 HAS SOPS 12508 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8654.508
AT ITER 2857 NEW BEST:: SOT 40254 SOS 12492 HAS SOPS 12492 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.492
AT ITER 2870 NEW BEST:: SOT 40212 SOS 12410 HAS SOPS 12410 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8556.41
AT ITER 2882 NEW BEST:: SOT 40210 SOS 12408 HAS SOPS 12408 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8554.408
AT ITER 2934 NEW BEST:: SOT 40282 SOS 12398 HAS SOPS 12398 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8544.398
AT ITER 2976 NEW BEST:: SOT 40268 SOS 12368 HAS SOPS 12368 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8514.368
AT ITER 2979 NEW BEST:: SOT 40250 SOS 12338 HAS SOPS 12338 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8484.338
AT ITER 2992 NEW BEST:: SOT 40220 SOS 12326 HAS SOPS 12326 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8472.326
AT ITER 3019 NEW BEST:: SOT 40216 SOS 12322 HAS SOPS 12322 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8468.322
AT ITER 3025 NEW BEST:: SOT 40194 SOS 12278 HAS SOPS 12278 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8424.278
AT ITER 3041 NEW BEST:: SOT 40196 SOS 12276 HAS SOPS 12276 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8422.276
AT ITER 3044 NEW BEST:: SOT 40158 SOS 12200 HAS SOPS 12200 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8346.2
AT ITER 3063 NEW BEST:: SOT 40158 SOS 12160 HAS SOPS 12160 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8306.16
AT ITER 3081 NEW BEST:: SOT 40148 SOS 12140 HAS SOPS 12140 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8286.14
AT ITER 3083 NEW BEST:: SOT 40148 SOS 12136 HAS SOPS 12136 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8282.136
AT ITER 3135 NEW BEST:: SOT 40148 SOS 12118 HAS SOPS 12118 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8264.118
AT ITER 3137 NEW BEST:: SOT 40138 SOS 12108 HAS SOPS 12108 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8254.108
AT ITER 3141 NEW BEST:: SOT 40138 SOS 12084 HAS SOPS 12084 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.084
AT ITER 3142 NEW BEST:: SOT 40138 SOS 12084 HAS SOPS 12084 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8198.084
AT ITER 3175 NEW BEST:: SOT 40126 SOS 12072 HAS SOPS 12072 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8174.072
AT ITER 3178 NEW BEST:: SOT 40112 SOS 12058 HAS SOPS 12058 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.058
AT ITER 3179 NEW BEST:: SOT 40112 SOS 12032 HAS SOPS 12032 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8134.032
AT ITER 3184 NEW BEST:: SOT 40100 SOS 12002 HAS SOPS 12002 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.002
AT ITER 3221 NEW BEST:: SOT 40040 SOS 12014 HAS SOPS 12014 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8038.014
AT ITER 3233 NEW BEST:: SOT 40014 SOS 11968 HAS SOPS 11968 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7991.968
AT ITER 3241 NEW BEST:: SOT 40000 SOS 11958 HAS SOPS 11958 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7981.958
AT ITER 3248 NEW BEST:: SOT 39982 SOS 11922 HAS SOPS 11922 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7945.922
AT ITER 3249 NEW BEST:: SOT 39914 SOS 11828 HAS SOPS 11828 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7851.828
AT ITER 3260 NEW BEST:: SOT 39856 SOS 11772 HAS SOPS 11772 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.772
AT ITER 3286 NEW BEST:: SOT 39856 SOS 11760 HAS SOPS 11760 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7783.76
AT ITER 3300 NEW BEST:: SOT 39832 SOS 11736 HAS SOPS 11736 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7759.736
AT ITER 3315 NEW BEST:: SOT 39830 SOS 11734 HAS SOPS 11734 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7757.734
AT ITER 3318 NEW BEST:: SOT 39766 SOS 11686 HAS SOPS 11686 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.686
AT ITER 3331 NEW BEST:: SOT 39756 SOS 11676 HAS SOPS 11676 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7681.676
AT ITER 3337 NEW BEST:: SOT 39752 SOS 11672 HAS SOPS 11672 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7677.672
AT ITER 3339 NEW BEST:: SOT 39738 SOS 11658 HAS SOPS 11658 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7663.658
AT ITER 3379 NEW BEST:: SOT 39716 SOS 11606 HAS SOPS 11606 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7611.606
AT ITER 3395 NEW BEST:: SOT 39678 SOS 11494 HAS SOPS 11494 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7499.494
AT ITER 3396 NEW BEST:: SOT 39678 SOS 11518 HAS SOPS 11518 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7493.518
AT ITER 3411 NEW BEST:: SOT 39678 SOS 11492 HAS SOPS 11492 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7467.492
AT ITER 3412 NEW BEST:: SOT 39676 SOS 11490 HAS SOPS 11490 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7465.49
AT ITER 3426 NEW BEST:: SOT 39662 SOS 11462 HAS SOPS 11462 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7437.462
AT ITER 3443 NEW BEST:: SOT 39640 SOS 11418 HAS SOPS 11418 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7393.418
AT ITER 3449 NEW BEST:: SOT 39640 SOS 11400 HAS SOPS 11400 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7375.4
AT ITER 3476 NEW BEST:: SOT 39640 SOS 11396 HAS SOPS 11396 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7371.396
AT ITER 3497 NEW BEST:: SOT 39624 SOS 11386 HAS SOPS 11386 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7361.386
AT ITER 3500 NEW BEST:: SOT 39608 SOS 11354 HAS SOPS 11354 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7329.354
AT ITER 3583 NEW BEST:: SOT 39608 SOS 11388 HAS SOPS 11388 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.388
AT ITER 3589 NEW BEST:: SOT 39588 SOS 11364 HAS SOPS 11364 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7273.364
AT ITER 3624 NEW BEST:: SOT 39556 SOS 11312 HAS SOPS 11312 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.312
AT ITER 3627 NEW BEST:: SOT 39522 SOS 11278 HAS SOPS 11278 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7153.278
AT ITER 3647 NEW BEST:: SOT 39512 SOS 11254 HAS SOPS 11254 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7129.254
AT ITER 3665 NEW BEST:: SOT 39512 SOS 11250 HAS SOPS 11250 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7125.25
AT ITER 3689 NEW BEST:: SOT 39492 SOS 11224 HAS SOPS 11224 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7099.224
AT ITER 3692 NEW BEST:: SOT 39486 SOS 11212 HAS SOPS 11212 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7087.212
AT ITER 3700 NEW BEST:: SOT 39456 SOS 11182 HAS SOPS 11182 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7057.182
AT ITER 3707 NEW BEST:: SOT 39448 SOS 11164 HAS SOPS 11164 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7039.164
AT ITER 3762 NEW BEST:: SOT 39448 SOS 11162 HAS SOPS 11162 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7037.162
AT ITER 3763 NEW BEST:: SOT 39456 SOS 11148 HAS SOPS 11148 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7023.148
AT ITER 3782 NEW BEST:: SOT 39454 SOS 11146 HAS SOPS 11146 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7021.146
AT ITER 3792 NEW BEST:: SOT 39450 SOS 11142 HAS SOPS 11142 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7017.142
AT ITER 3798 NEW BEST:: SOT 39432 SOS 11134 HAS SOPS 11134 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.134
AT ITER 3800 NEW BEST:: SOT 39420 SOS 11122 HAS SOPS 11122 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6997.122
AT ITER 3814 NEW BEST:: SOT 39388 SOS 11190 HAS SOPS 11190 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6991.19
AT ITER 4009 NEW BEST:: SOT 39378 SOS 11180 HAS SOPS 11180 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6981.18
AT ITER 4018 NEW BEST:: SOT 39372 SOS 11166 HAS SOPS 11166 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6967.166
AT ITER 4045 NEW BEST:: SOT 39368 SOS 11126 HAS SOPS 11126 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6927.126
AT ITER 4047 NEW BEST:: SOT 39364 SOS 11120 HAS SOPS 11120 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.12
AT ITER 4065 NEW BEST:: SOT 39354 SOS 11104 HAS SOPS 11104 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6905.104
AT ITER 4068 NEW BEST:: SOT 39350 SOS 11088 HAS SOPS 11088 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6889.088
AT ITER 4072 NEW BEST:: SOT 39348 SOS 11082 HAS SOPS 11082 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6883.082
AT ITER 4087 NEW BEST:: SOT 39332 SOS 11042 HAS SOPS 11042 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6843.042
AT ITER 4112 NEW BEST:: SOT 39306 SOS 11016 HAS SOPS 11016 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6817.016
AT ITER 4116 NEW BEST:: SOT 39304 SOS 11012 HAS SOPS 11012 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6813.012
AT ITER 4141 NEW BEST:: SOT 39304 SOS 10994 HAS SOPS 10994 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6794.994
AT ITER 4161 NEW BEST:: SOT 39288 SOS 10942 HAS SOPS 10942 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6742.942
AT ITER 4171 NEW BEST:: SOT 39288 SOS 10912 HAS SOPS 10912 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6712.912
AT ITER 4175 NEW BEST:: SOT 39288 SOS 10908 HAS SOPS 10908 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6708.908
AT ITER 4178 NEW BEST:: SOT 39280 SOS 10892 HAS SOPS 10892 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6692.892
AT ITER 4182 NEW BEST:: SOT 39280 SOS 10886 HAS SOPS 10886 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6686.886
AT ITER 4188 NEW BEST:: SOT 39258 SOS 10864 HAS SOPS 10864 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6664.864
AT ITER 4196 NEW BEST:: SOT 39154 SOS 10770 HAS SOPS 10770 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.77
AT ITER 4206 NEW BEST:: SOT 39152 SOS 10768 HAS SOPS 10768 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6568.768
AT ITER 4257 NEW BEST:: SOT 39160 SOS 10742 HAS SOPS 10742 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6542.742
AT ITER 4340 NEW BEST:: SOT 39148 SOS 10730 HAS SOPS 10730 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6530.73
AT ITER 4379 NEW BEST:: SOT 39132 SOS 10714 HAS SOPS 10714 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.714
AT ITER 4385 NEW BEST:: SOT 39110 SOS 10682 HAS SOPS 10682 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6482.682
AT ITER 4429 NEW BEST:: SOT 39094 SOS 10676 HAS SOPS 10676 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.676
AT ITER 4456 NEW BEST:: SOT 39090 SOS 10672 HAS SOPS 10672 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.672
AT ITER 4495 NEW BEST:: SOT 39072 SOS 10642 HAS SOPS 10642 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6442.642
AT ITER 4506 NEW BEST:: SOT 39056 SOS 10626 HAS SOPS 10626 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6426.626
AT ITER 4541 NEW BEST:: SOT 39056 SOS 10676 HAS SOPS 10676 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.676
AT ITER 4554 NEW BEST:: SOT 39030 SOS 10650 HAS SOPS 10650 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6398.65
AT ITER 4559 NEW BEST:: SOT 39018 SOS 10638 HAS SOPS 10638 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6386.638
AT ITER 4598 NEW BEST:: SOT 38992 SOS 10634 HAS SOPS 10634 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6352.634
AT ITER 4604 NEW BEST:: SOT 38996 SOS 10620 HAS SOPS 10620 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.62
AT ITER 4606 NEW BEST:: SOT 38984 SOS 10608 HAS SOPS 10608 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6326.608
AT ITER 4620 NEW BEST:: SOT 38978 SOS 10602 HAS SOPS 10602 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.602
AT ITER 4642 NEW BEST:: SOT 38978 SOS 10602 HAS SOPS 10602 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6284.602
AT ITER 4646 NEW BEST:: SOT 38958 SOS 10582 HAS SOPS 10582 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6264.582
AT ITER 4693 NEW BEST:: SOT 38924 SOS 10514 HAS SOPS 10514 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6196.514
AT ITER 4741 NEW BEST:: SOT 38904 SOS 10474 HAS SOPS 10474 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6156.474
AT ITER 4759 NEW BEST:: SOT 38902 SOS 10464 HAS SOPS 10464 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6146.464
AT ITER 4882 NEW BEST:: SOT 38894 SOS 10438 HAS SOPS 10438 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.438
AT ITER 4931 NEW BEST:: SOT 38894 SOS 10436 HAS SOPS 10436 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6118.436
AT ITER 4964 NEW BEST:: SOT 38894 SOS 10426 HAS SOPS 10426 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6108.426
AT ITER 4972 NEW BEST:: SOT 38894 SOS 10416 HAS SOPS 10416 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6098.416
AT ITER 4973 NEW BEST:: SOT 38894 SOS 10410 HAS SOPS 10410 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6092.41
AT ITER 4983 NEW BEST:: SOT 38802 SOS 10370 HAS SOPS 10370 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6052.37
AT ITER 5070 NEW BEST:: SOT 38802 SOS 10348 HAS SOPS 10348 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6030.348
AT ITER 5089 NEW BEST:: SOT 38796 SOS 10332 HAS SOPS 10332 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6014.332
AT ITER 5101 NEW BEST:: SOT 38796 SOS 10382 HAS SOPS 10382 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6010.382
AT ITER 5110 NEW BEST:: SOT 38786 SOS 10372 HAS SOPS 10372 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6000.372
AT ITER 5118 NEW BEST:: SOT 38772 SOS 10358 HAS SOPS 10358 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5986.358
AT ITER 5138 NEW BEST:: SOT 38772 SOS 10340 HAS SOPS 10340 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5968.34
AT ITER 5186 NEW BEST:: SOT 38754 SOS 10308 HAS SOPS 10308 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.308
AT ITER 5215 NEW BEST:: SOT 38738 SOS 10304 HAS SOPS 10304 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5878.304
AT ITER 5219 NEW BEST:: SOT 38732 SOS 10298 HAS SOPS 10298 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5872.298
AT ITER 5238 NEW BEST:: SOT 38714 SOS 10288 HAS SOPS 10288 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5862.288
AT ITER 5260 NEW BEST:: SOT 38708 SOS 10282 HAS SOPS 10282 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5856.282
AT ITER 5279 NEW BEST:: SOT 38708 SOS 10280 HAS SOPS 10280 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.28
AT ITER 5286 NEW BEST:: SOT 38708 SOS 10276 HAS SOPS 10276 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5850.276
AT ITER 5306 NEW BEST:: SOT 38684 SOS 10240 HAS SOPS 10240 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5814.24
AT ITER 5404 NEW BEST:: SOT 38684 SOS 10258 HAS SOPS 10258 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5810.258
AT ITER 5412 NEW BEST:: SOT 38686 SOS 10232 HAS SOPS 10232 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5784.232
AT ITER 5449 NEW BEST:: SOT 38686 SOS 10226 HAS SOPS 10226 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5778.226
AT ITER 5451 NEW BEST:: SOT 38678 SOS 10218 HAS SOPS 10218 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5770.218
AT ITER 5477 NEW BEST:: SOT 38678 SOS 10198 HAS SOPS 10198 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5750.198
AT ITER 5514 NEW BEST:: SOT 38678 SOS 10152 HAS SOPS 10152 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5704.152
AT ITER 5530 NEW BEST:: SOT 38654 SOS 10126 HAS SOPS 10126 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5678.126
AT ITER 5536 NEW BEST:: SOT 38650 SOS 10118 HAS SOPS 10118 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5670.118
AT ITER 5671 NEW BEST:: SOT 38628 SOS 10088 HAS SOPS 10088 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5640.088
AT ITER 5685 NEW BEST:: SOT 38620 SOS 10080 HAS SOPS 10080 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5632.08
AT ITER 5759 NEW BEST:: SOT 38598 SOS 10012 HAS SOPS 10012 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5564.012
AT ITER 5803 NEW BEST:: SOT 38592 SOS 10006 HAS SOPS 10006 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5558.006
AT ITER 5813 NEW BEST:: SOT 38592 SOS 10000 HAS SOPS 10000 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5552.0
AT ITER 5893 NEW BEST:: SOT 38586 SOS 9994 HAS SOPS 9994 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5545.994
AT ITER 5916 NEW BEST:: SOT 38582 SOS 9986 HAS SOPS 9986 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5537.986
AT ITER 5953 NEW BEST:: SOT 38582 SOS 9982 HAS SOPS 9982 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5533.982
AT ITER 5958 NEW BEST:: SOT 38580 SOS 9980 HAS SOPS 9980 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5531.98
AT ITER 5997 NEW BEST:: SOT 38586 SOS 9990 HAS SOPS 9990 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5517.99
AT ITER 6034 NEW BEST:: SOT 38578 SOS 9982 HAS SOPS 9982 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5509.982
AT ITER 6080 NEW BEST:: SOT 38576 SOS 9978 HAS SOPS 9978 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5505.978
AT ITER 6139 NEW BEST:: SOT 38576 SOS 9932 HAS SOPS 9932 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5459.932
AT ITER 6140 NEW BEST:: SOT 38548 SOS 9812 HAS SOPS 9812 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5339.812
AT ITER 6166 NEW BEST:: SOT 38546 SOS 9808 HAS SOPS 9808 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5335.808
AT ITER 6173 NEW BEST:: SOT 38540 SOS 9802 HAS SOPS 9802 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5329.802
AT ITER 6215 NEW BEST:: SOT 38532 SOS 9788 HAS SOPS 9788 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5315.788
AT ITER 6294 NEW BEST:: SOT 38532 SOS 9784 HAS SOPS 9784 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5311.784
AT ITER 6361 NEW BEST:: SOT 38530 SOS 9782 HAS SOPS 9782 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5309.782
AT ITER 6365 NEW BEST:: SOT 38530 SOS 9780 HAS SOPS 9780 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5307.78
AT ITER 6366 NEW BEST:: SOT 38520 SOS 9770 HAS SOPS 9770 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5297.77
AT ITER 6382 NEW BEST:: SOT 38520 SOS 9756 HAS SOPS 9756 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5283.756
AT ITER 6394 NEW BEST:: SOT 38516 SOS 9694 HAS SOPS 9694 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5281.694
AT ITER 6418 NEW BEST:: SOT 38504 SOS 9682 HAS SOPS 9682 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5269.682
AT ITER 6501 NEW BEST:: SOT 38504 SOS 9648 HAS SOPS 9648 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5235.648
AT ITER 6599 NEW BEST:: SOT 38504 SOS 9624 HAS SOPS 9624 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5211.624
AT ITER 6612 NEW BEST:: SOT 38504 SOS 9620 HAS SOPS 9620 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.62
AT ITER 6658 NEW BEST:: SOT 38510 SOS 9610 HAS SOPS 9610 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5197.61
AT ITER 6682 NEW BEST:: SOT 38496 SOS 9592 HAS SOPS 9592 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5179.592
AT ITER 6744 NEW BEST:: SOT 38498 SOS 9578 HAS SOPS 9578 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.578
AT ITER 6758 NEW BEST:: SOT 38498 SOS 9574 HAS SOPS 9574 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5161.574
AT ITER 6905 NEW BEST:: SOT 38492 SOS 9568 HAS SOPS 9568 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5155.568
AT ITER 7050 NEW BEST:: SOT 38464 SOS 9530 HAS SOPS 9530 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5117.53
AT ITER 7054 NEW BEST:: SOT 38464 SOS 9536 HAS SOPS 9536 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5101.536
AT ITER 7075 NEW BEST:: SOT 38452 SOS 9494 HAS SOPS 9494 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5059.494
AT ITER 7134 NEW BEST:: SOT 38444 SOS 9486 HAS SOPS 9486 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5051.486
AT ITER 7147 NEW BEST:: SOT 38442 SOS 9478 HAS SOPS 9478 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5043.478
AT ITER 7241 NEW BEST:: SOT 38442 SOS 9474 HAS SOPS 9474 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5039.474
AT ITER 7266 NEW BEST:: SOT 38468 SOS 9470 HAS SOPS 9470 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5035.47
AT ITER 7285 NEW BEST:: SOT 38454 SOS 9442 HAS SOPS 9442 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5007.442
AT ITER 7294 NEW BEST:: SOT 38442 SOS 9432 HAS SOPS 9432 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4997.432
AT ITER 7309 NEW BEST:: SOT 38440 SOS 9430 HAS SOPS 9430 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4995.43
AT ITER 7338 NEW BEST:: SOT 38428 SOS 9412 HAS SOPS 9412 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4977.412
AT ITER 7400 NEW BEST:: SOT 38428 SOS 9402 HAS SOPS 9402 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4967.402
AT ITER 7521 NEW BEST:: SOT 38428 SOS 9400 HAS SOPS 9400 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4965.4
AT ITER 7525 NEW BEST:: SOT 38428 SOS 9390 HAS SOPS 9390 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4955.39
AT ITER 7619 NEW BEST:: SOT 38422 SOS 9372 HAS SOPS 9372 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4937.372
AT ITER 7716 NEW BEST:: SOT 38414 SOS 9364 HAS SOPS 9364 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4929.364
AT ITER 7847 NEW BEST:: SOT 38414 SOS 9352 HAS SOPS 9352 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4917.352
AT ITER 7943 NEW BEST:: SOT 38412 SOS 9348 HAS SOPS 9348 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4913.348
AT ITER 8010 NEW BEST:: SOT 38404 SOS 9328 HAS SOPS 9328 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4893.328
AT ITER 8012 NEW BEST:: SOT 38390 SOS 9314 HAS SOPS 9314 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4879.314
AT ITER 8071 NEW BEST:: SOT 38384 SOS 9308 HAS SOPS 9308 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4873.308
AT ITER 8097 NEW BEST:: SOT 38366 SOS 9290 HAS SOPS 9290 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4855.29
AT ITER 8112 NEW BEST:: SOT 38358 SOS 9282 HAS SOPS 9282 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4847.282
AT ITER 8135 NEW BEST:: SOT 38356 SOS 9278 HAS SOPS 9278 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4843.278
AT ITER 8173 NEW BEST:: SOT 38356 SOS 9272 HAS SOPS 9272 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4843.272
AT ITER 8226 NEW BEST:: SOT 38348 SOS 9256 HAS SOPS 9256 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4827.256
AT ITER 8243 NEW BEST:: SOT 38348 SOS 9254 HAS SOPS 9254 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4825.254
AT ITER 8255 NEW BEST:: SOT 38330 SOS 9214 HAS SOPS 9214 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4785.214
AT ITER 8266 NEW BEST:: SOT 38322 SOS 9206 HAS SOPS 9206 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.206
AT ITER 8295 NEW BEST:: SOT 38322 SOS 9194 HAS SOPS 9194 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4765.194
AT ITER 8308 NEW BEST:: SOT 38320 SOS 9192 HAS SOPS 9192 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4763.192
AT ITER 8323 NEW BEST:: SOT 38320 SOS 9174 HAS SOPS 9174 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4745.174
AT ITER 8325 NEW BEST:: SOT 38316 SOS 9170 HAS SOPS 9170 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4741.17
AT ITER 8326 NEW BEST:: SOT 38320 SOS 9194 HAS SOPS 9194 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4737.194
AT ITER 8368 NEW BEST:: SOT 38320 SOS 9190 HAS SOPS 9190 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4733.19
AT ITER 8372 NEW BEST:: SOT 38318 SOS 9186 HAS SOPS 9186 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4729.186
AT ITER 8381 NEW BEST:: SOT 38312 SOS 9182 HAS SOPS 9182 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4717.182
AT ITER 8404 NEW BEST:: SOT 38310 SOS 9178 HAS SOPS 9178 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4713.178
AT ITER 8411 NEW BEST:: SOT 38290 SOS 9138 HAS SOPS 9138 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4673.138
AT ITER 8483 NEW BEST:: SOT 38276 SOS 9110 HAS SOPS 9110 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4645.11
AT ITER 8573 NEW BEST:: SOT 38274 SOS 9106 HAS SOPS 9106 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4641.106
AT ITER 8649 NEW BEST:: SOT 38260 SOS 9092 HAS SOPS 9092 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4627.092
AT ITER 8675 NEW BEST:: SOT 38260 SOS 9076 HAS SOPS 9076 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4611.076
AT ITER 8676 NEW BEST:: SOT 38252 SOS 9038 HAS SOPS 9038 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4573.038
AT ITER 8689 NEW BEST:: SOT 38252 SOS 9034 HAS SOPS 9034 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4569.034
AT ITER 8707 NEW BEST:: SOT 38248 SOS 9030 HAS SOPS 9030 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4565.03
AT ITER 8714 NEW BEST:: SOT 38234 SOS 9012 HAS SOPS 9012 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4547.012
AT ITER 8768 NEW BEST:: SOT 38236 SOS 9010 HAS SOPS 9010 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4545.01
AT ITER 8782 NEW BEST:: SOT 38222 SOS 8998 HAS SOPS 8998 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4532.998
AT ITER 8853 NEW BEST:: SOT 38216 SOS 8986 HAS SOPS 8986 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4520.986
AT ITER 8872 NEW BEST:: SOT 38216 SOS 8982 HAS SOPS 8982 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4516.982
AT ITER 8888 NEW BEST:: SOT 38204 SOS 8970 HAS SOPS 8970 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4504.97
AT ITER 8909 NEW BEST:: SOT 38186 SOS 8934 HAS SOPS 8934 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4468.934
AT ITER 8932 NEW BEST:: SOT 38180 SOS 8922 HAS SOPS 8922 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4456.922
AT ITER 8997 NEW BEST:: SOT 38178 SOS 8912 HAS SOPS 8912 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4446.912
AT ITER 8998 NEW BEST:: SOT 38168 SOS 8896 HAS SOPS 8896 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4430.896
AT ITER 9000 NEW BEST:: SOT 38162 SOS 8882 HAS SOPS 8882 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4416.882
AT ITER 9045 NEW BEST:: SOT 38160 SOS 8880 HAS SOPS 8880 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4414.88
AT ITER 9055 NEW BEST:: SOT 38162 SOS 8876 HAS SOPS 8876 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4410.876
AT ITER 9138 NEW BEST:: SOT 38140 SOS 8830 HAS SOPS 8830 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4364.83
AT ITER 9145 NEW BEST:: SOT 38126 SOS 8802 HAS SOPS 8802 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4336.802
AT ITER 9261 NEW BEST:: SOT 38126 SOS 8792 HAS SOPS 8792 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4326.792
AT ITER 9303 NEW BEST:: SOT 38130 SOS 8790 HAS SOPS 8790 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4324.79
AT ITER 9312 NEW BEST:: SOT 38124 SOS 8776 HAS SOPS 8776 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4310.776
AT ITER 9350 NEW BEST:: SOT 38118 SOS 8764 HAS SOPS 8764 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4298.764
AT ITER 9369 NEW BEST:: SOT 38112 SOS 8756 HAS SOPS 8756 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4290.756
AT ITER 9425 NEW BEST:: SOT 38104 SOS 8748 HAS SOPS 8748 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4282.748
AT ITER 9445 NEW BEST:: SOT 38094 SOS 8740 HAS SOPS 8740 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4274.74
AT ITER 9467 NEW BEST:: SOT 38092 SOS 8738 HAS SOPS 8738 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4272.738
AT ITER 9551 NEW BEST:: SOT 38086 SOS 8732 HAS SOPS 8732 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4266.732
AT ITER 9555 NEW BEST:: SOT 38080 SOS 8726 HAS SOPS 8726 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4260.726
AT ITER 9584 NEW BEST:: SOT 38084 SOS 8724 HAS SOPS 8724 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4258.724
AT ITER 9638 NEW BEST:: SOT 38068 SOS 8700 HAS SOPS 8700 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4234.7
AT ITER 9683 NEW BEST:: SOT 38072 SOS 8694 HAS SOPS 8694 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4228.694
AT ITER 9743 NEW BEST:: SOT 38070 SOS 8690 HAS SOPS 8690 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4224.69
AT ITER 9753 NEW BEST:: SOT 38066 SOS 8686 HAS SOPS 8686 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4216.686
AT ITER 9920 NEW BEST:: SOT 38062 SOS 8670 HAS SOPS 8670 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4200.67
AT ITER 9980 NEW BEST:: SOT 38062 SOS 8668 HAS SOPS 8668 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4198.668
STATE_SPACE STATES 1267650600228229401496703205386 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 210 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 126765060022822940149670320537620 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589744187685

--------------------
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="RwMutex-PT-r0100w0010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0100w0010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910100312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0100w0010.tgz
mv RwMutex-PT-r0100w0010 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;