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-158972910000283.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-r0010w1000, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.4K Apr 12 11:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 11:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 12:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 12:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 23:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 9 23:17 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 1.7M Mar 24 05:38 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 RwMutex-PT-r0010w1000-CTLCardinality-00
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-01
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-02
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-03
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-04
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-05
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-06
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-07
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-08
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-09
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-10
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-11
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-12
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-13
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-14
FORMULA_NAME RwMutex-PT-r0010w1000-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589742946048

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w1000
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: 2030 places, 2020 transitions, 24060 arcs.
AT ITER 0 NEW BEST:: SOT 4096474 SOS 3075366 HAS SOPS 3075366 HAS SOUS 3075366 HAS SOUPS 3075366 WITH SCORE 3078441.366
AT ITER 2 NEW BEST:: SOT 4096474 SOS 3074252 HAS SOPS 3074252 HAS SOUS 3074252 HAS SOUPS 3074252 WITH SCORE 3077326.252
AT ITER 4 NEW BEST:: SOT 4096474 SOS 3073164 HAS SOPS 3073164 HAS SOUS 3073164 HAS SOUPS 3073164 WITH SCORE 3076237.164
AT ITER 10 NEW BEST:: SOT 4096474 SOS 3071642 HAS SOPS 3071642 HAS SOUS 3071642 HAS SOUPS 3071642 WITH SCORE 3074713.642
AT ITER 12 NEW BEST:: SOT 4096474 SOS 3070170 HAS SOPS 3070170 HAS SOUS 3070170 HAS SOUPS 3070170 WITH SCORE 3073240.17
AT ITER 14 NEW BEST:: SOT 4096474 SOS 3069146 HAS SOPS 3069146 HAS SOUS 3069146 HAS SOUPS 3069146 WITH SCORE 3072215.146
AT ITER 16 NEW BEST:: SOT 4096474 SOS 3068780 HAS SOPS 3068780 HAS SOUS 3068780 HAS SOUPS 3068780 WITH SCORE 3071848.78
AT ITER 22 NEW BEST:: SOT 4096474 SOS 3067788 HAS SOPS 3067788 HAS SOUS 3067788 HAS SOUPS 3067788 WITH SCORE 3070855.788
AT ITER 24 NEW BEST:: SOT 4096474 SOS 3066268 HAS SOPS 3066268 HAS SOUS 3066268 HAS SOUPS 3066268 WITH SCORE 3069334.268
AT ITER 26 NEW BEST:: SOT 4096474 SOS 3066010 HAS SOPS 3066010 HAS SOUS 3066010 HAS SOUPS 3066010 WITH SCORE 3069076.01
AT ITER 27 NEW BEST:: SOT 4096474 SOS 3064368 HAS SOPS 3064368 HAS SOUS 3064368 HAS SOUPS 3064368 WITH SCORE 3067432.368
AT ITER 32 NEW BEST:: SOT 4096474 SOS 3063768 HAS SOPS 3063768 HAS SOUS 3063768 HAS SOUPS 3063768 WITH SCORE 3066831.768
AT ITER 33 NEW BEST:: SOT 4096474 SOS 3062426 HAS SOPS 3062426 HAS SOUS 3062426 HAS SOUPS 3062426 WITH SCORE 3065488.426
AT ITER 34 NEW BEST:: SOT 4096474 SOS 3060692 HAS SOPS 3060692 HAS SOUS 3060692 HAS SOUPS 3060692 WITH SCORE 3063752.692
AT ITER 38 NEW BEST:: SOT 4096474 SOS 3059578 HAS SOPS 3059578 HAS SOUS 3059578 HAS SOUPS 3059578 WITH SCORE 3062637.578
AT ITER 44 NEW BEST:: SOT 4096474 SOS 3057652 HAS SOPS 3057652 HAS SOUS 3057652 HAS SOUPS 3057652 WITH SCORE 3060709.652
AT ITER 46 NEW BEST:: SOT 4096474 SOS 3055838 HAS SOPS 3055838 HAS SOUS 3055838 HAS SOUPS 3055838 WITH SCORE 3058893.838
AT ITER 50 NEW BEST:: SOT 4096474 SOS 3055212 HAS SOPS 3055212 HAS SOUS 3055212 HAS SOUPS 3055212 WITH SCORE 3058267.212
AT ITER 51 NEW BEST:: SOT 4096474 SOS 3053902 HAS SOPS 3053902 HAS SOUS 3053902 HAS SOUPS 3053902 WITH SCORE 3056955.902
AT ITER 53 NEW BEST:: SOT 4096474 SOS 3052406 HAS SOPS 3052406 HAS SOUS 3052406 HAS SOUPS 3052406 WITH SCORE 3055458.406
AT ITER 55 NEW BEST:: SOT 4096474 SOS 3050546 HAS SOPS 3050546 HAS SOUS 3050546 HAS SOUPS 3050546 WITH SCORE 3053596.546
AT ITER 56 NEW BEST:: SOT 4096474 SOS 3050346 HAS SOPS 3050346 HAS SOUS 3050346 HAS SOUPS 3050346 WITH SCORE 3053396.346
AT ITER 59 NEW BEST:: SOT 4096474 SOS 3049902 HAS SOPS 3049902 HAS SOUS 3049902 HAS SOUPS 3049902 WITH SCORE 3052951.902
AT ITER 60 NEW BEST:: SOT 4096474 SOS 3048588 HAS SOPS 3048588 HAS SOUS 3048588 HAS SOUPS 3048588 WITH SCORE 3051636.588
AT ITER 62 NEW BEST:: SOT 4096474 SOS 3047050 HAS SOPS 3047050 HAS SOUS 3047050 HAS SOUPS 3047050 WITH SCORE 3050097.05
AT ITER 69 NEW BEST:: SOT 4096474 SOS 3046074 HAS SOPS 3046074 HAS SOUS 3046074 HAS SOUPS 3046074 WITH SCORE 3049120.074
AT ITER 70 NEW BEST:: SOT 4096474 SOS 3044042 HAS SOPS 3044042 HAS SOUS 3044042 HAS SOUPS 3044042 WITH SCORE 3047086.042
AT ITER 72 NEW BEST:: SOT 4096474 SOS 3043616 HAS SOPS 3043616 HAS SOUS 3043616 HAS SOUPS 3043616 WITH SCORE 3046659.616
AT ITER 78 NEW BEST:: SOT 4096474 SOS 3042812 HAS SOPS 3042812 HAS SOUS 3042812 HAS SOUPS 3042812 WITH SCORE 3045854.812
AT ITER 79 NEW BEST:: SOT 4096474 SOS 3040986 HAS SOPS 3040986 HAS SOUS 3040986 HAS SOUPS 3040986 WITH SCORE 3044026.986
AT ITER 80 NEW BEST:: SOT 4096474 SOS 3039122 HAS SOPS 3039122 HAS SOUS 3039122 HAS SOUPS 3039122 WITH SCORE 3042161.122
AT ITER 84 NEW BEST:: SOT 4096474 SOS 3038216 HAS SOPS 3038216 HAS SOUS 3038216 HAS SOUPS 3038216 WITH SCORE 3041254.216
AT ITER 86 NEW BEST:: SOT 4096474 SOS 3036688 HAS SOPS 3036688 HAS SOUS 3036688 HAS SOUPS 3036688 WITH SCORE 3039724.688
AT ITER 87 NEW BEST:: SOT 4096474 SOS 3034762 HAS SOPS 3034762 HAS SOUS 3034762 HAS SOUPS 3034762 WITH SCORE 3037796.762
AT ITER 90 NEW BEST:: SOT 4096474 SOS 3033610 HAS SOPS 3033610 HAS SOUS 3033610 HAS SOUPS 3033610 WITH SCORE 3036643.61
AT ITER 91 NEW BEST:: SOT 4096474 SOS 3032040 HAS SOPS 3032040 HAS SOUS 3032040 HAS SOUPS 3032040 WITH SCORE 3035072.04
AT ITER 92 NEW BEST:: SOT 4096474 SOS 3031096 HAS SOPS 3031096 HAS SOUS 3031096 HAS SOUPS 3031096 WITH SCORE 3034127.096
AT ITER 93 NEW BEST:: SOT 4096474 SOS 3029678 HAS SOPS 3029678 HAS SOUS 3029678 HAS SOUPS 3029678 WITH SCORE 3032707.678
AT ITER 96 NEW BEST:: SOT 4096474 SOS 3028432 HAS SOPS 3028432 HAS SOUS 3028432 HAS SOUPS 3028432 WITH SCORE 3031460.432
AT ITER 102 NEW BEST:: SOT 4096474 SOS 3027904 HAS SOPS 3027904 HAS SOUS 3027904 HAS SOUPS 3027904 WITH SCORE 3030931.904
AT ITER 103 NEW BEST:: SOT 4096474 SOS 3025970 HAS SOPS 3025970 HAS SOUS 3025970 HAS SOUPS 3025970 WITH SCORE 3028995.97
AT ITER 106 NEW BEST:: SOT 4096474 SOS 3025462 HAS SOPS 3025462 HAS SOUS 3025462 HAS SOUPS 3025462 WITH SCORE 3028487.462
AT ITER 107 NEW BEST:: SOT 4096474 SOS 3024936 HAS SOPS 3024936 HAS SOUS 3024936 HAS SOUPS 3024936 WITH SCORE 3027960.936
AT ITER 109 NEW BEST:: SOT 4096474 SOS 3024526 HAS SOPS 3024526 HAS SOUS 3024526 HAS SOUPS 3024526 WITH SCORE 3027550.526
AT ITER 110 NEW BEST:: SOT 4096474 SOS 3022744 HAS SOPS 3022744 HAS SOUS 3022744 HAS SOUPS 3022744 WITH SCORE 3025766.744
AT ITER 111 NEW BEST:: SOT 4096474 SOS 3022052 HAS SOPS 3022052 HAS SOUS 3022052 HAS SOUPS 3022052 WITH SCORE 3025074.052
AT ITER 114 NEW BEST:: SOT 4096474 SOS 3020522 HAS SOPS 3020522 HAS SOUS 3020522 HAS SOUPS 3020522 WITH SCORE 3023542.522
AT ITER 115 NEW BEST:: SOT 4096474 SOS 3018662 HAS SOPS 3018662 HAS SOUS 3018662 HAS SOUPS 3018662 WITH SCORE 3021680.662
AT ITER 120 NEW BEST:: SOT 4096474 SOS 3016784 HAS SOPS 3016784 HAS SOUS 3016784 HAS SOUPS 3016784 WITH SCORE 3019800.784
AT ITER 125 NEW BEST:: SOT 4096474 SOS 3014982 HAS SOPS 3014982 HAS SOUS 3014982 HAS SOUPS 3014982 WITH SCORE 3017996.982
AT ITER 127 NEW BEST:: SOT 4096474 SOS 3014968 HAS SOPS 3014968 HAS SOUS 3014968 HAS SOUPS 3014968 WITH SCORE 3017982.968
AT ITER 128 NEW BEST:: SOT 4096474 SOS 3014226 HAS SOPS 3014226 HAS SOUS 3014226 HAS SOUPS 3014226 WITH SCORE 3017240.226
AT ITER 134 NEW BEST:: SOT 4096474 SOS 3012660 HAS SOPS 3012660 HAS SOUS 3012660 HAS SOUPS 3012660 WITH SCORE 3015672.66
AT ITER 137 NEW BEST:: SOT 4096474 SOS 3011314 HAS SOPS 3011314 HAS SOUS 3011314 HAS SOUPS 3011314 WITH SCORE 3014325.314
AT ITER 138 NEW BEST:: SOT 4096474 SOS 3008482 HAS SOPS 3008482 HAS SOUS 3008482 HAS SOUPS 3008482 WITH SCORE 3011490.482
AT ITER 139 NEW BEST:: SOT 4096474 SOS 3007538 HAS SOPS 3007538 HAS SOUS 3007538 HAS SOUPS 3007538 WITH SCORE 3010545.538
AT ITER 140 NEW BEST:: SOT 4096474 SOS 3006508 HAS SOPS 3006508 HAS SOUS 3006508 HAS SOUPS 3006508 WITH SCORE 3009514.508
AT ITER 144 NEW BEST:: SOT 4096474 SOS 3005106 HAS SOPS 3005106 HAS SOUS 3005106 HAS SOUPS 3005106 WITH SCORE 3008111.106
AT ITER 148 NEW BEST:: SOT 4096474 SOS 3003736 HAS SOPS 3003736 HAS SOUS 3003736 HAS SOUPS 3003736 WITH SCORE 3006739.736
AT ITER 151 NEW BEST:: SOT 4096474 SOS 3002916 HAS SOPS 3002916 HAS SOUS 3002916 HAS SOUPS 3002916 WITH SCORE 3005918.916
AT ITER 154 NEW BEST:: SOT 4096474 SOS 3001024 HAS SOPS 3001024 HAS SOUS 3001024 HAS SOUPS 3001024 WITH SCORE 3004025.024
AT ITER 158 NEW BEST:: SOT 4096474 SOS 2999218 HAS SOPS 2999218 HAS SOUS 2999218 HAS SOUPS 2999218 WITH SCORE 3002217.218
AT ITER 159 NEW BEST:: SOT 4096474 SOS 2998884 HAS SOPS 2998884 HAS SOUS 2998884 HAS SOUPS 2998884 WITH SCORE 3001882.884
AT ITER 163 NEW BEST:: SOT 4096474 SOS 2998764 HAS SOPS 2998764 HAS SOUS 2998764 HAS SOUPS 2998764 WITH SCORE 3001762.764
AT ITER 166 NEW BEST:: SOT 4096474 SOS 2996176 HAS SOPS 2996176 HAS SOUS 2996176 HAS SOUPS 2996176 WITH SCORE 2999172.176
AT ITER 169 NEW BEST:: SOT 4096474 SOS 2994790 HAS SOPS 2994790 HAS SOUS 2994790 HAS SOUPS 2994790 WITH SCORE 2997784.79
AT ITER 171 NEW BEST:: SOT 4096474 SOS 2993274 HAS SOPS 2993274 HAS SOUS 2993274 HAS SOUPS 2993274 WITH SCORE 2996267.274
AT ITER 173 NEW BEST:: SOT 4096474 SOS 2991288 HAS SOPS 2991288 HAS SOUS 2991288 HAS SOUPS 2991288 WITH SCORE 2994279.288
AT ITER 174 NEW BEST:: SOT 4096474 SOS 2990244 HAS SOPS 2990244 HAS SOUS 2990244 HAS SOUPS 2990244 WITH SCORE 2993234.244
AT ITER 177 NEW BEST:: SOT 4096474 SOS 2990216 HAS SOPS 2990216 HAS SOUS 2990216 HAS SOUPS 2990216 WITH SCORE 2993206.216
AT ITER 178 NEW BEST:: SOT 4096474 SOS 2988750 HAS SOPS 2988750 HAS SOUS 2988750 HAS SOUPS 2988750 WITH SCORE 2991738.75
AT ITER 179 NEW BEST:: SOT 4096474 SOS 2987816 HAS SOPS 2987816 HAS SOUS 2987816 HAS SOUPS 2987816 WITH SCORE 2990803.816
AT ITER 180 NEW BEST:: SOT 4096474 SOS 2986634 HAS SOPS 2986634 HAS SOUS 2986634 HAS SOUPS 2986634 WITH SCORE 2989620.634
AT ITER 181 NEW BEST:: SOT 4096474 SOS 2985808 HAS SOPS 2985808 HAS SOUS 2985808 HAS SOUPS 2985808 WITH SCORE 2988793.808
AT ITER 182 NEW BEST:: SOT 4096474 SOS 2985712 HAS SOPS 2985712 HAS SOUS 2985712 HAS SOUPS 2985712 WITH SCORE 2988697.712
AT ITER 184 NEW BEST:: SOT 4096474 SOS 2983968 HAS SOPS 2983968 HAS SOUS 2983968 HAS SOUPS 2983968 WITH SCORE 2986951.968
AT ITER 186 NEW BEST:: SOT 4096474 SOS 2982204 HAS SOPS 2982204 HAS SOUS 2982204 HAS SOUPS 2982204 WITH SCORE 2985186.204
AT ITER 191 NEW BEST:: SOT 4096474 SOS 2981566 HAS SOPS 2981566 HAS SOUS 2981566 HAS SOUPS 2981566 WITH SCORE 2984547.566
AT ITER 194 NEW BEST:: SOT 4096474 SOS 2980952 HAS SOPS 2980952 HAS SOUS 2980952 HAS SOUPS 2980952 WITH SCORE 2983932.952
AT ITER 195 NEW BEST:: SOT 4096474 SOS 2979282 HAS SOPS 2979282 HAS SOUS 2979282 HAS SOUPS 2979282 WITH SCORE 2982261.282
AT ITER 198 NEW BEST:: SOT 4096474 SOS 2977708 HAS SOPS 2977708 HAS SOUS 2977708 HAS SOUPS 2977708 WITH SCORE 2980685.708
AT ITER 203 NEW BEST:: SOT 4094458 SOS 2976674 HAS SOPS 2976674 HAS SOUS 2976088 HAS SOUPS 2976088 WITH SCORE 2979064.674
AT ITER 208 NEW BEST:: SOT 4094458 SOS 2975626 HAS SOPS 2975626 HAS SOUS 2975040 HAS SOUPS 2975040 WITH SCORE 2978015.626
AT ITER 211 NEW BEST:: SOT 4094458 SOS 2974224 HAS SOPS 2974224 HAS SOUS 2973638 HAS SOUPS 2973638 WITH SCORE 2976612.224
AT ITER 214 NEW BEST:: SOT 4094458 SOS 2972334 HAS SOPS 2972334 HAS SOUS 2971748 HAS SOUPS 2971748 WITH SCORE 2974720.334
AT ITER 217 NEW BEST:: SOT 4094458 SOS 2970846 HAS SOPS 2970846 HAS SOUS 2970260 HAS SOUPS 2970260 WITH SCORE 2973230.846
AT ITER 219 NEW BEST:: SOT 4094458 SOS 2970846 HAS SOPS 2970846 HAS SOUS 2970188 HAS SOUPS 2970188 WITH SCORE 2973158.846
AT ITER 222 NEW BEST:: SOT 4094458 SOS 2968996 HAS SOPS 2968996 HAS SOUS 2968324 HAS SOUPS 2968324 WITH SCORE 2971292.996
AT ITER 224 NEW BEST:: SOT 4094458 SOS 2967082 HAS SOPS 2967082 HAS SOUS 2966410 HAS SOUPS 2966410 WITH SCORE 2969377.082
AT ITER 225 NEW BEST:: SOT 4094458 SOS 2965718 HAS SOPS 2965718 HAS SOUS 2965046 HAS SOUPS 2965046 WITH SCORE 2968011.718
AT ITER 228 NEW BEST:: SOT 4094458 SOS 2963942 HAS SOPS 2963942 HAS SOUS 2963190 HAS SOUPS 2963190 WITH SCORE 2966153.942
AT ITER 231 NEW BEST:: SOT 4094458 SOS 2963412 HAS SOPS 2963412 HAS SOUS 2962482 HAS SOUPS 2962482 WITH SCORE 2965445.412
AT ITER 234 NEW BEST:: SOT 4094458 SOS 2962322 HAS SOPS 2962322 HAS SOUS 2961392 HAS SOUPS 2961392 WITH SCORE 2964354.322
AT ITER 236 NEW BEST:: SOT 4094458 SOS 2961304 HAS SOPS 2961304 HAS SOUS 2960374 HAS SOUPS 2960374 WITH SCORE 2963335.304
AT ITER 239 NEW BEST:: SOT 4094458 SOS 2959722 HAS SOPS 2959722 HAS SOUS 2958792 HAS SOUPS 2958792 WITH SCORE 2961751.722
AT ITER 240 NEW BEST:: SOT 4094458 SOS 2957840 HAS SOPS 2957840 HAS SOUS 2956910 HAS SOUPS 2956910 WITH SCORE 2959867.84
AT ITER 243 NEW BEST:: SOT 4094458 SOS 2956178 HAS SOPS 2956178 HAS SOUS 2955248 HAS SOUPS 2955248 WITH SCORE 2958204.178
AT ITER 249 NEW BEST:: SOT 4094458 SOS 2955582 HAS SOPS 2955582 HAS SOUS 2954652 HAS SOUPS 2954652 WITH SCORE 2957607.582
AT ITER 251 NEW BEST:: SOT 4094458 SOS 2953828 HAS SOPS 2953828 HAS SOUS 2952898 HAS SOUPS 2952898 WITH SCORE 2955851.828
AT ITER 253 NEW BEST:: SOT 4094458 SOS 2952968 HAS SOPS 2952968 HAS SOUS 2952038 HAS SOUPS 2952038 WITH SCORE 2954990.968
AT ITER 254 NEW BEST:: SOT 4094458 SOS 2952214 HAS SOPS 2952214 HAS SOUS 2951284 HAS SOUPS 2951284 WITH SCORE 2954236.214
AT ITER 255 NEW BEST:: SOT 4094458 SOS 2950252 HAS SOPS 2950252 HAS SOUS 2949322 HAS SOUPS 2949322 WITH SCORE 2952272.252
AT ITER 256 NEW BEST:: SOT 4094458 SOS 2949854 HAS SOPS 2949854 HAS SOUS 2948924 HAS SOUPS 2948924 WITH SCORE 2951873.854
AT ITER 257 NEW BEST:: SOT 4094458 SOS 2948788 HAS SOPS 2948788 HAS SOUS 2947858 HAS SOUPS 2947858 WITH SCORE 2950806.788
AT ITER 258 NEW BEST:: SOT 4094458 SOS 2946918 HAS SOPS 2946918 HAS SOUS 2945988 HAS SOUPS 2945988 WITH SCORE 2948934.918
AT ITER 261 NEW BEST:: SOT 4094458 SOS 2945076 HAS SOPS 2945076 HAS SOUS 2944146 HAS SOUPS 2944146 WITH SCORE 2947091.076
AT ITER 263 NEW BEST:: SOT 4094458 SOS 2944226 HAS SOPS 2944226 HAS SOUS 2943296 HAS SOUPS 2943296 WITH SCORE 2946240.226
AT ITER 265 NEW BEST:: SOT 4094458 SOS 2942476 HAS SOPS 2942476 HAS SOUS 2941546 HAS SOUPS 2941546 WITH SCORE 2944488.476
AT ITER 266 NEW BEST:: SOT 4094458 SOS 2941566 HAS SOPS 2941566 HAS SOUS 2940636 HAS SOUPS 2940636 WITH SCORE 2943577.566
AT ITER 268 NEW BEST:: SOT 4094458 SOS 2939838 HAS SOPS 2939838 HAS SOUS 2938858 HAS SOUPS 2938858 WITH SCORE 2941797.838
AT ITER 272 NEW BEST:: SOT 4094458 SOS 2938314 HAS SOPS 2938314 HAS SOUS 2937334 HAS SOUPS 2937334 WITH SCORE 2940272.314
AT ITER 273 NEW BEST:: SOT 4094458 SOS 2936840 HAS SOPS 2936840 HAS SOUS 2935860 HAS SOUPS 2935860 WITH SCORE 2938796.84
AT ITER 275 NEW BEST:: SOT 4094458 SOS 2935856 HAS SOPS 2935856 HAS SOUS 2934876 HAS SOUPS 2934876 WITH SCORE 2937811.856
AT ITER 276 NEW BEST:: SOT 4094458 SOS 2934158 HAS SOPS 2934158 HAS SOUS 2933178 HAS SOUPS 2933178 WITH SCORE 2936112.158
AT ITER 278 NEW BEST:: SOT 4094458 SOS 2932634 HAS SOPS 2932634 HAS SOUS 2931654 HAS SOUPS 2931654 WITH SCORE 2934586.634
AT ITER 279 NEW BEST:: SOT 4094458 SOS 2931124 HAS SOPS 2931124 HAS SOUS 2930144 HAS SOUPS 2930144 WITH SCORE 2933075.124
AT ITER 281 NEW BEST:: SOT 4094458 SOS 2931028 HAS SOPS 2931028 HAS SOUS 2930048 HAS SOUPS 2930048 WITH SCORE 2932979.028
AT ITER 286 NEW BEST:: SOT 4094458 SOS 2929092 HAS SOPS 2929092 HAS SOUS 2928112 HAS SOUPS 2928112 WITH SCORE 2931041.092
AT ITER 289 NEW BEST:: SOT 4094458 SOS 2927518 HAS SOPS 2927518 HAS SOUS 2926538 HAS SOUPS 2926538 WITH SCORE 2929465.518
AT ITER 294 NEW BEST:: SOT 4094458 SOS 2926990 HAS SOPS 2926990 HAS SOUS 2926010 HAS SOUPS 2926010 WITH SCORE 2928936.99
AT ITER 300 NEW BEST:: SOT 4094458 SOS 2926464 HAS SOPS 2926464 HAS SOUS 2925484 HAS SOUPS 2925484 WITH SCORE 2928410.464
AT ITER 302 NEW BEST:: SOT 4094458 SOS 2924536 HAS SOPS 2924536 HAS SOUS 2923556 HAS SOUPS 2923556 WITH SCORE 2926480.536
AT ITER 303 NEW BEST:: SOT 4094458 SOS 2922918 HAS SOPS 2922918 HAS SOUS 2921938 HAS SOUPS 2921938 WITH SCORE 2924860.918
AT ITER 305 NEW BEST:: SOT 4094458 SOS 2921578 HAS SOPS 2921578 HAS SOUS 2920598 HAS SOUPS 2920598 WITH SCORE 2923519.578
AT ITER 306 NEW BEST:: SOT 4094458 SOS 2921136 HAS SOPS 2921136 HAS SOUS 2920156 HAS SOUPS 2920156 WITH SCORE 2923077.136
AT ITER 307 NEW BEST:: SOT 4094458 SOS 2920984 HAS SOPS 2920984 HAS SOUS 2920004 HAS SOUPS 2920004 WITH SCORE 2922924.984
AT ITER 310 NEW BEST:: SOT 4094458 SOS 2920980 HAS SOPS 2920980 HAS SOUS 2920000 HAS SOUPS 2920000 WITH SCORE 2922920.98
AT ITER 313 NEW BEST:: SOT 4094458 SOS 2920466 HAS SOPS 2920466 HAS SOUS 2919486 HAS SOUPS 2919486 WITH SCORE 2922406.466
AT ITER 317 NEW BEST:: SOT 4094458 SOS 2918644 HAS SOPS 2918644 HAS SOUS 2917664 HAS SOUPS 2917664 WITH SCORE 2920582.644
AT ITER 322 NEW BEST:: SOT 4094458 SOS 2916992 HAS SOPS 2916992 HAS SOUS 2915894 HAS SOUPS 2915894 WITH SCORE 2918810.992
AT ITER 324 NEW BEST:: SOT 4094458 SOS 2915172 HAS SOPS 2915172 HAS SOUS 2914074 HAS SOUPS 2914074 WITH SCORE 2916989.172
AT ITER 326 NEW BEST:: SOT 4094458 SOS 2914074 HAS SOPS 2914074 HAS SOUS 2912976 HAS SOUPS 2912976 WITH SCORE 2915890.074
AT ITER 332 NEW BEST:: SOT 4094458 SOS 2912314 HAS SOPS 2912314 HAS SOUS 2911120 HAS SOUPS 2911120 WITH SCORE 2914032.314
AT ITER 334 NEW BEST:: SOT 4094458 SOS 2910434 HAS SOPS 2910434 HAS SOUS 2909240 HAS SOUPS 2909240 WITH SCORE 2912150.434
AT ITER 335 NEW BEST:: SOT 4094458 SOS 2910206 HAS SOPS 2910206 HAS SOUS 2909012 HAS SOUPS 2909012 WITH SCORE 2911922.206
AT ITER 336 NEW BEST:: SOT 4094458 SOS 2908470 HAS SOPS 2908470 HAS SOUS 2907276 HAS SOUPS 2907276 WITH SCORE 2910184.47
AT ITER 337 NEW BEST:: SOT 4094458 SOS 2906968 HAS SOPS 2906968 HAS SOUS 2905774 HAS SOUPS 2905774 WITH SCORE 2908680.968
AT ITER 342 NEW BEST:: SOT 4094458 SOS 2905704 HAS SOPS 2905704 HAS SOUS 2904510 HAS SOUPS 2904510 WITH SCORE 2907415.704
AT ITER 345 NEW BEST:: SOT 4094458 SOS 2904488 HAS SOPS 2904488 HAS SOUS 2903294 HAS SOUPS 2903294 WITH SCORE 2906198.488
AT ITER 348 NEW BEST:: SOT 4094458 SOS 2902994 HAS SOPS 2902994 HAS SOUS 2901800 HAS SOUPS 2901800 WITH SCORE 2904702.994
AT ITER 349 NEW BEST:: SOT 4094458 SOS 2901700 HAS SOPS 2901700 HAS SOUS 2900506 HAS SOUPS 2900506 WITH SCORE 2903407.7
AT ITER 352 NEW BEST:: SOT 4094458 SOS 2901580 HAS SOPS 2901580 HAS SOUS 2900386 HAS SOUPS 2900386 WITH SCORE 2903287.58
AT ITER 353 NEW BEST:: SOT 4094458 SOS 2901500 HAS SOPS 2901500 HAS SOUS 2900306 HAS SOUPS 2900306 WITH SCORE 2903207.5
AT ITER 357 NEW BEST:: SOT 4094458 SOS 2900266 HAS SOPS 2900266 HAS SOUS 2899072 HAS SOUPS 2899072 WITH SCORE 2901972.266
AT ITER 358 NEW BEST:: SOT 4094458 SOS 2898450 HAS SOPS 2898450 HAS SOUS 2897256 HAS SOUPS 2897256 WITH SCORE 2900154.45
AT ITER 361 NEW BEST:: SOT 4094458 SOS 2897914 HAS SOPS 2897914 HAS SOUS 2896720 HAS SOUPS 2896720 WITH SCORE 2899617.914
AT ITER 362 NEW BEST:: SOT 4094458 SOS 2896172 HAS SOPS 2896172 HAS SOUS 2894978 HAS SOUPS 2894978 WITH SCORE 2897874.172
AT ITER 363 NEW BEST:: SOT 4094458 SOS 2894874 HAS SOPS 2894874 HAS SOUS 2893680 HAS SOUPS 2893680 WITH SCORE 2896574.874
AT ITER 364 NEW BEST:: SOT 4094458 SOS 2893088 HAS SOPS 2893088 HAS SOUS 2891894 HAS SOUPS 2891894 WITH SCORE 2894787.088
AT ITER 370 NEW BEST:: SOT 4094458 SOS 2892282 HAS SOPS 2892282 HAS SOUS 2891088 HAS SOUPS 2891088 WITH SCORE 2893980.282
AT ITER 375 NEW BEST:: SOT 4094458 SOS 2890314 HAS SOPS 2890314 HAS SOUS 2889120 HAS SOUPS 2889120 WITH SCORE 2892010.314
AT ITER 378 NEW BEST:: SOT 4094458 SOS 2889218 HAS SOPS 2889218 HAS SOUS 2888024 HAS SOUPS 2888024 WITH SCORE 2890913.218
AT ITER 379 NEW BEST:: SOT 4094458 SOS 2888668 HAS SOPS 2888668 HAS SOUS 2887474 HAS SOUPS 2887474 WITH SCORE 2890362.668
AT ITER 380 NEW BEST:: SOT 4094458 SOS 2888622 HAS SOPS 2888622 HAS SOUS 2887428 HAS SOUPS 2887428 WITH SCORE 2890316.622
AT ITER 383 NEW BEST:: SOT 4094458 SOS 2887506 HAS SOPS 2887506 HAS SOUS 2886312 HAS SOUPS 2886312 WITH SCORE 2889199.506
AT ITER 387 NEW BEST:: SOT 4094458 SOS 2885848 HAS SOPS 2885848 HAS SOUS 2884654 HAS SOUPS 2884654 WITH SCORE 2887539.848
AT ITER 388 NEW BEST:: SOT 4094458 SOS 2885782 HAS SOPS 2885782 HAS SOUS 2884588 HAS SOUPS 2884588 WITH SCORE 2887473.782
AT ITER 394 NEW BEST:: SOT 4094458 SOS 2885064 HAS SOPS 2885064 HAS SOUS 2883870 HAS SOUPS 2883870 WITH SCORE 2886755.064
AT ITER 406 NEW BEST:: SOT 4094458 SOS 2883286 HAS SOPS 2883286 HAS SOUS 2882092 HAS SOUPS 2882092 WITH SCORE 2884975.286
AT ITER 408 NEW BEST:: SOT 4094458 SOS 2882942 HAS SOPS 2882942 HAS SOUS 2881748 HAS SOUPS 2881748 WITH SCORE 2884630.942
AT ITER 413 NEW BEST:: SOT 4094458 SOS 2881602 HAS SOPS 2881602 HAS SOUS 2880408 HAS SOUPS 2880408 WITH SCORE 2883289.602
AT ITER 415 NEW BEST:: SOT 4094458 SOS 2881202 HAS SOPS 2881202 HAS SOUS 2880008 HAS SOUPS 2880008 WITH SCORE 2882889.202
AT ITER 418 NEW BEST:: SOT 4094458 SOS 2879818 HAS SOPS 2879818 HAS SOUS 2878624 HAS SOUPS 2878624 WITH SCORE 2881503.818
AT ITER 420 NEW BEST:: SOT 4094458 SOS 2879056 HAS SOPS 2879056 HAS SOUS 2877862 HAS SOUPS 2877862 WITH SCORE 2880741.056
AT ITER 425 NEW BEST:: SOT 4094458 SOS 2878290 HAS SOPS 2878290 HAS SOUS 2877096 HAS SOUPS 2877096 WITH SCORE 2879974.29
AT ITER 426 NEW BEST:: SOT 4094458 SOS 2877498 HAS SOPS 2877498 HAS SOUS 2876304 HAS SOUPS 2876304 WITH SCORE 2879181.498
AT ITER 427 NEW BEST:: SOT 4094458 SOS 2875726 HAS SOPS 2875726 HAS SOUS 2874532 HAS SOUPS 2874532 WITH SCORE 2877407.726
AT ITER 428 NEW BEST:: SOT 4094458 SOS 2875038 HAS SOPS 2875038 HAS SOUS 2873844 HAS SOUPS 2873844 WITH SCORE 2876719.038
AT ITER 432 NEW BEST:: SOT 4094458 SOS 2873520 HAS SOPS 2873520 HAS SOUS 2872326 HAS SOUPS 2872326 WITH SCORE 2875199.52
AT ITER 433 NEW BEST:: SOT 4094064 SOS 2872212 HAS SOPS 2872212 HAS SOUS 2871018 HAS SOUPS 2871018 WITH SCORE 2873890.212
AT ITER 435 NEW BEST:: SOT 4094064 SOS 2871426 HAS SOPS 2871426 HAS SOUS 2870232 HAS SOUPS 2870232 WITH SCORE 2873103.426
AT ITER 437 NEW BEST:: SOT 4094064 SOS 2869834 HAS SOPS 2869834 HAS SOUS 2868640 HAS SOUPS 2868640 WITH SCORE 2871509.834
AT ITER 438 NEW BEST:: SOT 4094064 SOS 2869196 HAS SOPS 2869196 HAS SOUS 2868002 HAS SOUPS 2868002 WITH SCORE 2870871.196
AT ITER 440 NEW BEST:: SOT 4094064 SOS 2867236 HAS SOPS 2867236 HAS SOUS 2866042 HAS SOUPS 2866042 WITH SCORE 2868909.236
AT ITER 445 NEW BEST:: SOT 4094064 SOS 2865908 HAS SOPS 2865908 HAS SOUS 2864714 HAS SOUPS 2864714 WITH SCORE 2867579.908
AT ITER 447 NEW BEST:: SOT 4094064 SOS 2865240 HAS SOPS 2865240 HAS SOUS 2864046 HAS SOUPS 2864046 WITH SCORE 2866911.24
AT ITER 450 NEW BEST:: SOT 4094064 SOS 2863706 HAS SOPS 2863706 HAS SOUS 2862512 HAS SOUPS 2862512 WITH SCORE 2865375.706
AT ITER 451 NEW BEST:: SOT 4094064 SOS 2861698 HAS SOPS 2861698 HAS SOUS 2860504 HAS SOUPS 2860504 WITH SCORE 2863365.698
AT ITER 452 NEW BEST:: SOT 4094064 SOS 2861048 HAS SOPS 2861048 HAS SOUS 2859854 HAS SOUPS 2859854 WITH SCORE 2862715.048
AT ITER 453 NEW BEST:: SOT 4094064 SOS 2860046 HAS SOPS 2860046 HAS SOUS 2858852 HAS SOUPS 2858852 WITH SCORE 2861712.046
AT ITER 460 NEW BEST:: SOT 4094064 SOS 2859982 HAS SOPS 2859982 HAS SOUS 2858788 HAS SOUPS 2858788 WITH SCORE 2861647.982
AT ITER 464 NEW BEST:: SOT 4094064 SOS 2858848 HAS SOPS 2858848 HAS SOUS 2857654 HAS SOUPS 2857654 WITH SCORE 2860512.848
AT ITER 465 NEW BEST:: SOT 4094064 SOS 2856946 HAS SOPS 2856946 HAS SOUS 2855752 HAS SOUPS 2855752 WITH SCORE 2858608.946
AT ITER 468 NEW BEST:: SOT 4094064 SOS 2856332 HAS SOPS 2856332 HAS SOUS 2855138 HAS SOUPS 2855138 WITH SCORE 2857994.332
AT ITER 470 NEW BEST:: SOT 4094064 SOS 2856052 HAS SOPS 2856052 HAS SOUS 2854858 HAS SOUPS 2854858 WITH SCORE 2857714.052
AT ITER 474 NEW BEST:: SOT 4094064 SOS 2855002 HAS SOPS 2855002 HAS SOUS 2853808 HAS SOUPS 2853808 WITH SCORE 2856663.002
AT ITER 475 NEW BEST:: SOT 4094064 SOS 2854396 HAS SOPS 2854396 HAS SOUS 2853202 HAS SOUPS 2853202 WITH SCORE 2856056.396
AT ITER 478 NEW BEST:: SOT 4094064 SOS 2852758 HAS SOPS 2852758 HAS SOUS 2851564 HAS SOUPS 2851564 WITH SCORE 2854416.758
AT ITER 479 NEW BEST:: SOT 4094064 SOS 2850970 HAS SOPS 2850970 HAS SOUS 2849776 HAS SOUPS 2849776 WITH SCORE 2852626.97
AT ITER 484 NEW BEST:: SOT 4094064 SOS 2850650 HAS SOPS 2850650 HAS SOUS 2849456 HAS SOUPS 2849456 WITH SCORE 2852306.65
AT ITER 490 NEW BEST:: SOT 4094064 SOS 2848934 HAS SOPS 2848934 HAS SOUS 2847728 HAS SOUPS 2847728 WITH SCORE 2850576.934
AT ITER 495 NEW BEST:: SOT 4094064 SOS 2848168 HAS SOPS 2848168 HAS SOUS 2846962 HAS SOUPS 2846962 WITH SCORE 2849810.168
AT ITER 496 NEW BEST:: SOT 4094064 SOS 2846448 HAS SOPS 2846448 HAS SOUS 2845242 HAS SOUPS 2845242 WITH SCORE 2848088.448
AT ITER 497 NEW BEST:: SOT 4094064 SOS 2845482 HAS SOPS 2845482 HAS SOUS 2844276 HAS SOUPS 2844276 WITH SCORE 2847121.482
AT ITER 498 NEW BEST:: SOT 4094064 SOS 2843696 HAS SOPS 2843696 HAS SOUS 2842490 HAS SOUPS 2842490 WITH SCORE 2845333.696
AT ITER 499 NEW BEST:: SOT 4094064 SOS 2843620 HAS SOPS 2843620 HAS SOUS 2842414 HAS SOUPS 2842414 WITH SCORE 2845257.62
AT ITER 505 NEW BEST:: SOT 4094064 SOS 2842186 HAS SOPS 2842186 HAS SOUS 2840980 HAS SOUPS 2840980 WITH SCORE 2843822.186
AT ITER 509 NEW BEST:: SOT 4094064 SOS 2842178 HAS SOPS 2842178 HAS SOUS 2840972 HAS SOUPS 2840972 WITH SCORE 2843814.178
AT ITER 511 NEW BEST:: SOT 4094064 SOS 2841974 HAS SOPS 2841974 HAS SOUS 2840768 HAS SOUPS 2840768 WITH SCORE 2843609.974
AT ITER 514 NEW BEST:: SOT 4094064 SOS 2841214 HAS SOPS 2841214 HAS SOUS 2840008 HAS SOUPS 2840008 WITH SCORE 2842849.214
AT ITER 515 NEW BEST:: SOT 4094064 SOS 2840834 HAS SOPS 2840834 HAS SOUS 2839628 HAS SOUPS 2839628 WITH SCORE 2842468.834
AT ITER 525 NEW BEST:: SOT 4094064 SOS 2839502 HAS SOPS 2839502 HAS SOUS 2838296 HAS SOUPS 2838296 WITH SCORE 2841135.502
AT ITER 526 NEW BEST:: SOT 4094064 SOS 2838326 HAS SOPS 2838326 HAS SOUS 2837120 HAS SOUPS 2837120 WITH SCORE 2839958.326
AT ITER 531 NEW BEST:: SOT 4094064 SOS 2837488 HAS SOPS 2837488 HAS SOUS 2836282 HAS SOUPS 2836282 WITH SCORE 2839119.488
AT ITER 534 NEW BEST:: SOT 4094064 SOS 2836252 HAS SOPS 2836252 HAS SOUS 2835046 HAS SOUPS 2835046 WITH SCORE 2837882.252
AT ITER 536 NEW BEST:: SOT 4094064 SOS 2836052 HAS SOPS 2836052 HAS SOUS 2834846 HAS SOUPS 2834846 WITH SCORE 2837682.052
AT ITER 538 NEW BEST:: SOT 4094064 SOS 2836042 HAS SOPS 2836042 HAS SOUS 2834836 HAS SOUPS 2834836 WITH SCORE 2837672.042
AT ITER 540 NEW BEST:: SOT 4094064 SOS 2834616 HAS SOPS 2834616 HAS SOUS 2833410 HAS SOUPS 2833410 WITH SCORE 2836244.616
AT ITER 542 NEW BEST:: SOT 4094064 SOS 2832860 HAS SOPS 2832860 HAS SOUS 2831654 HAS SOUPS 2831654 WITH SCORE 2834486.86
AT ITER 543 NEW BEST:: SOT 4094064 SOS 2831346 HAS SOPS 2831346 HAS SOUS 2830140 HAS SOUPS 2830140 WITH SCORE 2832971.346
AT ITER 545 NEW BEST:: SOT 4094064 SOS 2830318 HAS SOPS 2830318 HAS SOUS 2829112 HAS SOUPS 2829112 WITH SCORE 2831942.318
AT ITER 548 NEW BEST:: SOT 4094064 SOS 2829416 HAS SOPS 2829416 HAS SOUS 2828210 HAS SOUPS 2828210 WITH SCORE 2831039.416
AT ITER 553 NEW BEST:: SOT 4094064 SOS 2828980 HAS SOPS 2828980 HAS SOUS 2827774 HAS SOUPS 2827774 WITH SCORE 2830602.98
AT ITER 556 NEW BEST:: SOT 4094064 SOS 2827112 HAS SOPS 2827112 HAS SOUS 2825906 HAS SOUPS 2825906 WITH SCORE 2828733.112
AT ITER 565 NEW BEST:: SOT 4094064 SOS 2825372 HAS SOPS 2825372 HAS SOUS 2824166 HAS SOUPS 2824166 WITH SCORE 2826991.372
AT ITER 566 NEW BEST:: SOT 4094064 SOS 2825044 HAS SOPS 2825044 HAS SOUS 2823838 HAS SOUPS 2823838 WITH SCORE 2826663.044
AT ITER 567 NEW BEST:: SOT 4094064 SOS 2823568 HAS SOPS 2823568 HAS SOUS 2822362 HAS SOUPS 2822362 WITH SCORE 2825185.568
AT ITER 568 NEW BEST:: SOT 4094064 SOS 2823034 HAS SOPS 2823034 HAS SOUS 2821828 HAS SOUPS 2821828 WITH SCORE 2824651.034
AT ITER 569 NEW BEST:: SOT 4094064 SOS 2822720 HAS SOPS 2822720 HAS SOUS 2821514 HAS SOUPS 2821514 WITH SCORE 2824336.72
AT ITER 573 NEW BEST:: SOT 4094064 SOS 2822698 HAS SOPS 2822698 HAS SOUS 2821492 HAS SOUPS 2821492 WITH SCORE 2824314.698
AT ITER 574 NEW BEST:: SOT 4094064 SOS 2821890 HAS SOPS 2821890 HAS SOUS 2820684 HAS SOUPS 2820684 WITH SCORE 2823505.89
AT ITER 575 NEW BEST:: SOT 4094064 SOS 2821770 HAS SOPS 2821770 HAS SOUS 2820564 HAS SOUPS 2820564 WITH SCORE 2823385.77
AT ITER 576 NEW BEST:: SOT 4094064 SOS 2820214 HAS SOPS 2820214 HAS SOUS 2819008 HAS SOUPS 2819008 WITH SCORE 2821828.214
AT ITER 579 NEW BEST:: SOT 4094064 SOS 2819646 HAS SOPS 2819646 HAS SOUS 2818440 HAS SOUPS 2818440 WITH SCORE 2821259.646
AT ITER 584 NEW BEST:: SOT 4094064 SOS 2817732 HAS SOPS 2817732 HAS SOUS 2816526 HAS SOUPS 2816526 WITH SCORE 2819343.732
AT ITER 585 NEW BEST:: SOT 4094064 SOS 2817652 HAS SOPS 2817652 HAS SOUS 2816446 HAS SOUPS 2816446 WITH SCORE 2819263.652
AT ITER 590 NEW BEST:: SOT 4094064 SOS 2816574 HAS SOPS 2816574 HAS SOUS 2815210 HAS SOUPS 2815210 WITH SCORE 2818026.574
AT ITER 594 NEW BEST:: SOT 4094064 SOS 2815060 HAS SOPS 2815060 HAS SOUS 2813696 HAS SOUPS 2813696 WITH SCORE 2816511.06
AT ITER 598 NEW BEST:: SOT 4094064 SOS 2814526 HAS SOPS 2814526 HAS SOUS 2813162 HAS SOUPS 2813162 WITH SCORE 2815976.526
AT ITER 601 NEW BEST:: SOT 4094064 SOS 2813422 HAS SOPS 2813422 HAS SOUS 2812058 HAS SOUPS 2812058 WITH SCORE 2814871.422
AT ITER 603 NEW BEST:: SOT 4094064 SOS 2813072 HAS SOPS 2813072 HAS SOUS 2811708 HAS SOUPS 2811708 WITH SCORE 2814521.072
AT ITER 604 NEW BEST:: SOT 4094064 SOS 2811160 HAS SOPS 2811160 HAS SOUS 2809796 HAS SOUPS 2809796 WITH SCORE 2812607.16
AT ITER 605 NEW BEST:: SOT 4094064 SOS 2809266 HAS SOPS 2809266 HAS SOUS 2807902 HAS SOUPS 2807902 WITH SCORE 2810711.266
AT ITER 608 NEW BEST:: SOT 4094064 SOS 2807700 HAS SOPS 2807700 HAS SOUS 2806336 HAS SOUPS 2806336 WITH SCORE 2809143.7
AT ITER 609 NEW BEST:: SOT 4094064 SOS 2807572 HAS SOPS 2807572 HAS SOUS 2806208 HAS SOUPS 2806208 WITH SCORE 2809015.572
AT ITER 610 NEW BEST:: SOT 4094064 SOS 2807230 HAS SOPS 2807230 HAS SOUS 2805866 HAS SOUPS 2805866 WITH SCORE 2808673.23
AT ITER 613 NEW BEST:: SOT 4094064 SOS 2805714 HAS SOPS 2805714 HAS SOUS 2804350 HAS SOUPS 2804350 WITH SCORE 2807155.714
AT ITER 616 NEW BEST:: SOT 4094064 SOS 2804656 HAS SOPS 2804656 HAS SOUS 2803292 HAS SOUPS 2803292 WITH SCORE 2806096.656
AT ITER 617 NEW BEST:: SOT 4094064 SOS 2803168 HAS SOPS 2803168 HAS SOUS 2801804 HAS SOUPS 2801804 WITH SCORE 2804607.168
AT ITER 626 NEW BEST:: SOT 4094064 SOS 2801992 HAS SOPS 2801992 HAS SOUS 2800628 HAS SOUPS 2800628 WITH SCORE 2803429.992
AT ITER 629 NEW BEST:: SOT 4094064 SOS 2800018 HAS SOPS 2800018 HAS SOUS 2798654 HAS SOUPS 2798654 WITH SCORE 2801454.018
AT ITER 632 NEW BEST:: SOT 4094064 SOS 2798508 HAS SOPS 2798508 HAS SOUS 2797144 HAS SOUPS 2797144 WITH SCORE 2799942.508
AT ITER 641 NEW BEST:: SOT 4094064 SOS 2796950 HAS SOPS 2796950 HAS SOUS 2795586 HAS SOUPS 2795586 WITH SCORE 2798382.95
AT ITER 644 NEW BEST:: SOT 4094064 SOS 2795760 HAS SOPS 2795760 HAS SOUS 2794396 HAS SOUPS 2794396 WITH SCORE 2797191.76
AT ITER 645 NEW BEST:: SOT 4094064 SOS 2795612 HAS SOPS 2795612 HAS SOUS 2794248 HAS SOUPS 2794248 WITH SCORE 2797043.612
AT ITER 647 NEW BEST:: SOT 4094064 SOS 2794390 HAS SOPS 2794390 HAS SOUS 2793026 HAS SOUPS 2793026 WITH SCORE 2795820.39
AT ITER 650 NEW BEST:: SOT 4094064 SOS 2793922 HAS SOPS 2793922 HAS SOUS 2792558 HAS SOUPS 2792558 WITH SCORE 2795351.922
AT ITER 651 NEW BEST:: SOT 4094064 SOS 2793122 HAS SOPS 2793122 HAS SOUS 2791758 HAS SOUPS 2791758 WITH SCORE 2794551.122
AT ITER 652 NEW BEST:: SOT 4094064 SOS 2793056 HAS SOPS 2793056 HAS SOUS 2791692 HAS SOUPS 2791692 WITH SCORE 2794485.056
AT ITER 654 NEW BEST:: SOT 4094064 SOS 2791688 HAS SOPS 2791688 HAS SOUS 2790324 HAS SOUPS 2790324 WITH SCORE 2793115.688
AT ITER 658 NEW BEST:: SOT 4094064 SOS 2791618 HAS SOPS 2791618 HAS SOUS 2790254 HAS SOUPS 2790254 WITH SCORE 2793045.618
AT ITER 659 NEW BEST:: SOT 4094064 SOS 2790736 HAS SOPS 2790736 HAS SOUS 2789372 HAS SOUPS 2789372 WITH SCORE 2792162.736
AT ITER 660 NEW BEST:: SOT 4094064 SOS 2790080 HAS SOPS 2790080 HAS SOUS 2788716 HAS SOUPS 2788716 WITH SCORE 2791506.08
AT ITER 661 NEW BEST:: SOT 4094064 SOS 2788764 HAS SOPS 2788764 HAS SOUS 2787400 HAS SOUPS 2787400 WITH SCORE 2790188.764
AT ITER 663 NEW BEST:: SOT 4094064 SOS 2787012 HAS SOPS 2787012 HAS SOUS 2785648 HAS SOUPS 2785648 WITH SCORE 2788435.012
AT ITER 664 NEW BEST:: SOT 4094064 SOS 2786906 HAS SOPS 2786906 HAS SOUS 2785542 HAS SOUPS 2785542 WITH SCORE 2788328.906
AT ITER 665 NEW BEST:: SOT 4094044 SOS 2952054 HAS SOPS 2952054 HAS SOUS 2785254 HAS SOUPS 2785254 WITH SCORE 2788206.054
AT ITER 666 NEW BEST:: SOT 4094044 SOS 2951832 HAS SOPS 2951832 HAS SOUS 2785032 HAS SOUPS 2785032 WITH SCORE 2787983.832
AT ITER 670 NEW BEST:: SOT 4094044 SOS 2951604 HAS SOPS 2951604 HAS SOUS 2783542 HAS SOUPS 2783542 WITH SCORE 2786493.604
AT ITER 672 NEW BEST:: SOT 4094044 SOS 2951124 HAS SOPS 2951124 HAS SOUS 2781806 HAS SOUPS 2781806 WITH SCORE 2784757.124
AT ITER 677 NEW BEST:: SOT 4094044 SOS 2949756 HAS SOPS 2949756 HAS SOUS 2780228 HAS SOUPS 2780228 WITH SCORE 2783177.756
AT ITER 686 NEW BEST:: SOT 4094044 SOS 2949752 HAS SOPS 2949752 HAS SOUS 2778406 HAS SOUPS 2778406 WITH SCORE 2781355.752
AT ITER 689 NEW BEST:: SOT 4094044 SOS 2949752 HAS SOPS 2949752 HAS SOUS 2778324 HAS SOUPS 2778324 WITH SCORE 2781273.752
AT ITER 694 NEW BEST:: SOT 4094044 SOS 2949752 HAS SOPS 2949752 HAS SOUS 2777386 HAS SOUPS 2777386 WITH SCORE 2780335.752
AT ITER 696 NEW BEST:: SOT 4094044 SOS 2948736 HAS SOPS 2948736 HAS SOUS 2776156 HAS SOUPS 2776156 WITH SCORE 2779104.736
AT ITER 697 NEW BEST:: SOT 4094044 SOS 2948540 HAS SOPS 2948540 HAS SOUS 2775810 HAS SOUPS 2775810 WITH SCORE 2778758.54
AT ITER 699 NEW BEST:: SOT 4094044 SOS 2947280 HAS SOPS 2947280 HAS SOUS 2773998 HAS SOUPS 2773998 WITH SCORE 2776945.28
AT ITER 701 NEW BEST:: SOT 4094044 SOS 2946792 HAS SOPS 2946792 HAS SOUS 2772982 HAS SOUPS 2772982 WITH SCORE 2775928.792
AT ITER 702 NEW BEST:: SOT 4094044 SOS 2946792 HAS SOPS 2946792 HAS SOUS 2772872 HAS SOUPS 2772872 WITH SCORE 2775818.792
AT ITER 705 NEW BEST:: SOT 4094044 SOS 2946792 HAS SOPS 2946792 HAS SOUS 2772630 HAS SOUPS 2772630 WITH SCORE 2775576.792
AT ITER 706 NEW BEST:: SOT 4094044 SOS 2946120 HAS SOPS 2946120 HAS SOUS 2771958 HAS SOUPS 2771958 WITH SCORE 2774904.12
AT ITER 709 NEW BEST:: SOT 4094044 SOS 2946120 HAS SOPS 2946120 HAS SOUS 2771636 HAS SOUPS 2771636 WITH SCORE 2774582.12
AT ITER 710 NEW BEST:: SOT 4094044 SOS 2945838 HAS SOPS 2945838 HAS SOUS 2771354 HAS SOUPS 2771354 WITH SCORE 2774299.838
AT ITER 711 NEW BEST:: SOT 4094044 SOS 2868266 HAS SOPS 2868266 HAS SOUS 2770938 HAS SOUPS 2770938 WITH SCORE 2773806.266
AT ITER 712 NEW BEST:: SOT 4094044 SOS 2868266 HAS SOPS 2868266 HAS SOUS 2770116 HAS SOUPS 2770116 WITH SCORE 2772984.266
AT ITER 713 NEW BEST:: SOT 4094044 SOS 2866846 HAS SOPS 2866846 HAS SOUS 2768696 HAS SOUPS 2768696 WITH SCORE 2771562.846
AT ITER 714 NEW BEST:: SOT 4094044 SOS 2866406 HAS SOPS 2866406 HAS SOUS 2768256 HAS SOUPS 2768256 WITH SCORE 2771122.406
AT ITER 715 NEW BEST:: SOT 4094044 SOS 2866016 HAS SOPS 2866016 HAS SOUS 2767866 HAS SOUPS 2767866 WITH SCORE 2770732.016
AT ITER 716 NEW BEST:: SOT 4094044 SOS 2864978 HAS SOPS 2864978 HAS SOUS 2766828 HAS SOUPS 2766828 WITH SCORE 2769692.978
AT ITER 722 NEW BEST:: SOT 4094044 SOS 2864860 HAS SOPS 2864860 HAS SOUS 2766710 HAS SOUPS 2766710 WITH SCORE 2769574.86
AT ITER 723 NEW BEST:: SOT 4094044 SOS 2864486 HAS SOPS 2864486 HAS SOUS 2766336 HAS SOUPS 2766336 WITH SCORE 2769200.486
AT ITER 731 NEW BEST:: SOT 4094044 SOS 2863380 HAS SOPS 2863380 HAS SOUS 2764916 HAS SOUPS 2764916 WITH SCORE 2767779.38
AT ITER 732 NEW BEST:: SOT 4094044 SOS 2863380 HAS SOPS 2863380 HAS SOUS 2764534 HAS SOUPS 2764534 WITH SCORE 2767397.38
AT ITER 737 NEW BEST:: SOT 4094044 SOS 2862600 HAS SOPS 2862600 HAS SOUS 2763754 HAS SOUPS 2763754 WITH SCORE 2766616.6
AT ITER 739 NEW BEST:: SOT 4094044 SOS 2862032 HAS SOPS 2862032 HAS SOUS 2763180 HAS SOUPS 2763180 WITH SCORE 2766042.032
AT ITER 741 NEW BEST:: SOT 4094044 SOS 2861840 HAS SOPS 2861840 HAS SOUS 2762988 HAS SOUPS 2762988 WITH SCORE 2765849.84
AT ITER 744 NEW BEST:: SOT 4094044 SOS 2861774 HAS SOPS 2861774 HAS SOUS 2762922 HAS SOUPS 2762922 WITH SCORE 2765783.774
AT ITER 745 NEW BEST:: SOT 4094044 SOS 2860262 HAS SOPS 2860262 HAS SOUS 2761312 HAS SOUPS 2761312 WITH SCORE 2764172.262
AT ITER 747 NEW BEST:: SOT 4094044 SOS 2859660 HAS SOPS 2859660 HAS SOUS 2760710 HAS SOUPS 2760710 WITH SCORE 2763569.66
AT ITER 748 NEW BEST:: SOT 4094044 SOS 2859028 HAS SOPS 2859028 HAS SOUS 2758908 HAS SOUPS 2758908 WITH SCORE 2761767.028
AT ITER 750 NEW BEST:: SOT 4094044 SOS 2858424 HAS SOPS 2858424 HAS SOUS 2758304 HAS SOUPS 2758304 WITH SCORE 2761162.424
AT ITER 751 NEW BEST:: SOT 4094044 SOS 2857858 HAS SOPS 2857858 HAS SOUS 2757738 HAS SOUPS 2757738 WITH SCORE 2760595.858
AT ITER 754 NEW BEST:: SOT 4094044 SOS 2856736 HAS SOPS 2856736 HAS SOUS 2756616 HAS SOUPS 2756616 WITH SCORE 2759472.736
AT ITER 755 NEW BEST:: SOT 4094044 SOS 2856710 HAS SOPS 2856710 HAS SOUS 2756590 HAS SOUPS 2756590 WITH SCORE 2759446.71
AT ITER 760 NEW BEST:: SOT 4094044 SOS 2856710 HAS SOPS 2856710 HAS SOUS 2756242 HAS SOUPS 2756242 WITH SCORE 2759098.71
AT ITER 761 NEW BEST:: SOT 4094044 SOS 2856444 HAS SOPS 2856444 HAS SOUS 2755976 HAS SOUPS 2755976 WITH SCORE 2758832.444
AT ITER 762 NEW BEST:: SOT 4094044 SOS 2855590 HAS SOPS 2855590 HAS SOUS 2755122 HAS SOUPS 2755122 WITH SCORE 2757977.59
AT ITER 763 NEW BEST:: SOT 4094044 SOS 2855196 HAS SOPS 2855196 HAS SOUS 2754728 HAS SOUPS 2754728 WITH SCORE 2757583.196
AT ITER 764 NEW BEST:: SOT 4094044 SOS 2853524 HAS SOPS 2853524 HAS SOUS 2753056 HAS SOUPS 2753056 WITH SCORE 2755909.524
AT ITER 766 NEW BEST:: SOT 4094044 SOS 2853150 HAS SOPS 2853150 HAS SOUS 2752682 HAS SOUPS 2752682 WITH SCORE 2755535.15
AT ITER 767 NEW BEST:: SOT 4092382 SOS 2850322 HAS SOPS 2850322 HAS SOUS 2749098 HAS SOUPS 2749098 WITH SCORE 2751948.322
AT ITER 772 NEW BEST:: SOT 4092382 SOS 2850322 HAS SOPS 2850322 HAS SOUS 2748908 HAS SOUPS 2748908 WITH SCORE 2751758.322
AT ITER 774 NEW BEST:: SOT 4092382 SOS 2848334 HAS SOPS 2848334 HAS SOUS 2746920 HAS SOUPS 2746920 WITH SCORE 2749768.334
AT ITER 778 NEW BEST:: SOT 4092382 SOS 2847290 HAS SOPS 2847290 HAS SOUS 2745876 HAS SOUPS 2745876 WITH SCORE 2748723.29
AT ITER 779 NEW BEST:: SOT 4092382 SOS 2846424 HAS SOPS 2846424 HAS SOUS 2744980 HAS SOUPS 2744980 WITH SCORE 2747826.424
AT ITER 780 NEW BEST:: SOT 4092382 SOS 2845194 HAS SOPS 2845194 HAS SOUS 2743750 HAS SOUPS 2743750 WITH SCORE 2746595.194
AT ITER 781 NEW BEST:: SOT 4092382 SOS 2844916 HAS SOPS 2844916 HAS SOUS 2743472 HAS SOUPS 2743472 WITH SCORE 2746316.916
AT ITER 795 NEW BEST:: SOT 4092382 SOS 2844892 HAS SOPS 2844892 HAS SOUS 2743448 HAS SOUPS 2743448 WITH SCORE 2746292.892
AT ITER 797 NEW BEST:: SOT 4092382 SOS 2844636 HAS SOPS 2844636 HAS SOUS 2743192 HAS SOUPS 2743192 WITH SCORE 2746036.636
AT ITER 799 NEW BEST:: SOT 4092382 SOS 2844224 HAS SOPS 2844224 HAS SOUS 2742780 HAS SOUPS 2742780 WITH SCORE 2745624.224
AT ITER 800 NEW BEST:: SOT 4092382 SOS 2843512 HAS SOPS 2843512 HAS SOUS 2741906 HAS SOUPS 2741906 WITH SCORE 2744749.512
AT ITER 801 NEW BEST:: SOT 4092382 SOS 2843316 HAS SOPS 2843316 HAS SOUS 2741710 HAS SOUPS 2741710 WITH SCORE 2744553.316
AT ITER 807 NEW BEST:: SOT 4092382 SOS 2842398 HAS SOPS 2842398 HAS SOUS 2740280 HAS SOUPS 2740280 WITH SCORE 2743122.398
AT ITER 810 NEW BEST:: SOT 4092382 SOS 2842014 HAS SOPS 2842014 HAS SOUS 2738434 HAS SOUPS 2738434 WITH SCORE 2741276.014
AT ITER 812 NEW BEST:: SOT 4092382 SOS 2841926 HAS SOPS 2841926 HAS SOUS 2738346 HAS SOUPS 2738346 WITH SCORE 2741187.926
AT ITER 814 NEW BEST:: SOT 4092382 SOS 2841616 HAS SOPS 2841616 HAS SOUS 2737624 HAS SOUPS 2737624 WITH SCORE 2740465.616
AT ITER 818 NEW BEST:: SOT 4092382 SOS 2840302 HAS SOPS 2840302 HAS SOUS 2736028 HAS SOUPS 2736028 WITH SCORE 2738868.302
AT ITER 819 NEW BEST:: SOT 4092382 SOS 2839308 HAS SOPS 2839308 HAS SOUS 2734958 HAS SOUPS 2734958 WITH SCORE 2737797.308
AT ITER 820 NEW BEST:: SOT 4092382 SOS 2838504 HAS SOPS 2838504 HAS SOUS 2734154 HAS SOUPS 2734154 WITH SCORE 2736992.504
AT ITER 822 NEW BEST:: SOT 4092382 SOS 2838504 HAS SOPS 2838504 HAS SOUS 2734142 HAS SOUPS 2734142 WITH SCORE 2736980.504
AT ITER 823 NEW BEST:: SOT 4092382 SOS 2837896 HAS SOPS 2837896 HAS SOUS 2733534 HAS SOUPS 2733534 WITH SCORE 2736371.896
AT ITER 825 NEW BEST:: SOT 4092382 SOS 2837648 HAS SOPS 2837648 HAS SOUS 2733286 HAS SOUPS 2733286 WITH SCORE 2736123.648
AT ITER 828 NEW BEST:: SOT 4092382 SOS 2836974 HAS SOPS 2836974 HAS SOUS 2732512 HAS SOUPS 2732512 WITH SCORE 2735348.974
AT ITER 831 NEW BEST:: SOT 4092382 SOS 2836802 HAS SOPS 2836802 HAS SOUS 2732340 HAS SOUPS 2732340 WITH SCORE 2735176.802
AT ITER 832 NEW BEST:: SOT 4092382 SOS 2835344 HAS SOPS 2835344 HAS SOUS 2730774 HAS SOUPS 2730774 WITH SCORE 2733609.344
AT ITER 833 NEW BEST:: SOT 4092382 SOS 2835304 HAS SOPS 2835304 HAS SOUS 2730734 HAS SOUPS 2730734 WITH SCORE 2733569.304
AT ITER 839 NEW BEST:: SOT 4092382 SOS 2834772 HAS SOPS 2834772 HAS SOUS 2730202 HAS SOUPS 2730202 WITH SCORE 2733036.772
AT ITER 840 NEW BEST:: SOT 4092382 SOS 2834772 HAS SOPS 2834772 HAS SOUS 2729524 HAS SOUPS 2729524 WITH SCORE 2732358.772
AT ITER 844 NEW BEST:: SOT 4092382 SOS 2834626 HAS SOPS 2834626 HAS SOUS 2729208 HAS SOUPS 2729208 WITH SCORE 2732042.626
AT ITER 848 NEW BEST:: SOT 4092382 SOS 2833552 HAS SOPS 2833552 HAS SOUS 2728134 HAS SOUPS 2728134 WITH SCORE 2730967.552
AT ITER 850 NEW BEST:: SOT 4092382 SOS 2832876 HAS SOPS 2832876 HAS SOUS 2727424 HAS SOUPS 2727424 WITH SCORE 2730256.876
AT ITER 852 NEW BEST:: SOT 4092382 SOS 2832494 HAS SOPS 2832494 HAS SOUS 2726664 HAS SOUPS 2726664 WITH SCORE 2729496.494
AT ITER 853 NEW BEST:: SOT 4092382 SOS 2832494 HAS SOPS 2832494 HAS SOUS 2726196 HAS SOUPS 2726196 WITH SCORE 2729028.494
AT ITER 858 NEW BEST:: SOT 4092382 SOS 2831246 HAS SOPS 2831246 HAS SOUS 2724948 HAS SOUPS 2724948 WITH SCORE 2727779.246
AT ITER 862 NEW BEST:: SOT 4092382 SOS 2831238 HAS SOPS 2831238 HAS SOUS 2724940 HAS SOUPS 2724940 WITH SCORE 2727771.238
AT ITER 864 NEW BEST:: SOT 4092382 SOS 2831238 HAS SOPS 2831238 HAS SOUS 2724790 HAS SOUPS 2724790 WITH SCORE 2727621.238
AT ITER 872 NEW BEST:: SOT 4092382 SOS 2830510 HAS SOPS 2830510 HAS SOUS 2724062 HAS SOUPS 2724062 WITH SCORE 2726892.51
AT ITER 881 NEW BEST:: SOT 4092382 SOS 2830168 HAS SOPS 2830168 HAS SOUS 2723720 HAS SOUPS 2723720 WITH SCORE 2726550.168
AT ITER 882 NEW BEST:: SOT 4092382 SOS 2828666 HAS SOPS 2828666 HAS SOUS 2721782 HAS SOUPS 2721782 WITH SCORE 2724610.666
AT ITER 885 NEW BEST:: SOT 4092382 SOS 2827880 HAS SOPS 2827880 HAS SOUS 2720996 HAS SOUPS 2720996 WITH SCORE 2723823.88
AT ITER 886 NEW BEST:: SOT 4092382 SOS 2826640 HAS SOPS 2826640 HAS SOUS 2719756 HAS SOUPS 2719756 WITH SCORE 2722582.64
AT ITER 890 NEW BEST:: SOT 4092382 SOS 2826436 HAS SOPS 2826436 HAS SOUS 2718786 HAS SOUPS 2718786 WITH SCORE 2721612.436
AT ITER 892 NEW BEST:: SOT 4092382 SOS 2826436 HAS SOPS 2826436 HAS SOUS 2718602 HAS SOUPS 2718602 WITH SCORE 2721428.436
AT ITER 896 NEW BEST:: SOT 4092382 SOS 2825934 HAS SOPS 2825934 HAS SOUS 2718100 HAS SOUPS 2718100 WITH SCORE 2720925.934
AT ITER 900 NEW BEST:: SOT 4092382 SOS 2825934 HAS SOPS 2825934 HAS SOUS 2717026 HAS SOUPS 2717026 WITH SCORE 2719851.934
AT ITER 903 NEW BEST:: SOT 4092382 SOS 2825702 HAS SOPS 2825702 HAS SOUS 2716762 HAS SOUPS 2716762 WITH SCORE 2719587.702
AT ITER 906 NEW BEST:: SOT 4092382 SOS 2825132 HAS SOPS 2825132 HAS SOUS 2714984 HAS SOUPS 2714984 WITH SCORE 2717809.132
AT ITER 907 NEW BEST:: SOT 4092382 SOS 2825132 HAS SOPS 2825132 HAS SOUS 2714964 HAS SOUPS 2714964 WITH SCORE 2717789.132
AT ITER 908 NEW BEST:: SOT 4092382 SOS 2823712 HAS SOPS 2823712 HAS SOUS 2713016 HAS SOUPS 2713016 WITH SCORE 2715839.712
AT ITER 909 NEW BEST:: SOT 4092382 SOS 2823462 HAS SOPS 2823462 HAS SOUS 2712766 HAS SOUPS 2712766 WITH SCORE 2715589.462
AT ITER 910 NEW BEST:: SOT 4092382 SOS 2823002 HAS SOPS 2823002 HAS SOUS 2712306 HAS SOUPS 2712306 WITH SCORE 2715129.002
AT ITER 913 NEW BEST:: SOT 4092382 SOS 2822230 HAS SOPS 2822230 HAS SOUS 2711492 HAS SOUPS 2711492 WITH SCORE 2714314.23
AT ITER 917 NEW BEST:: SOT 4092382 SOS 2821122 HAS SOPS 2821122 HAS SOUS 2710218 HAS SOUPS 2710218 WITH SCORE 2713039.122
AT ITER 918 NEW BEST:: SOT 4092382 SOS 2821116 HAS SOPS 2821116 HAS SOUS 2710212 HAS SOUPS 2710212 WITH SCORE 2713033.116
AT ITER 919 NEW BEST:: SOT 4092382 SOS 2819100 HAS SOPS 2819100 HAS SOUS 2708196 HAS SOUPS 2708196 WITH SCORE 2711015.1
AT ITER 920 NEW BEST:: SOT 4092382 SOS 2818258 HAS SOPS 2818258 HAS SOUS 2707354 HAS SOUPS 2707354 WITH SCORE 2710172.258
AT ITER 921 NEW BEST:: SOT 4092382 SOS 2816604 HAS SOPS 2816604 HAS SOUS 2705700 HAS SOUPS 2705700 WITH SCORE 2708516.604
AT ITER 922 NEW BEST:: SOT 4092382 SOS 2816214 HAS SOPS 2816214 HAS SOUS 2705310 HAS SOUPS 2705310 WITH SCORE 2708126.214
AT ITER 923 NEW BEST:: SOT 4092382 SOS 2815508 HAS SOPS 2815508 HAS SOUS 2703610 HAS SOUPS 2703610 WITH SCORE 2706425.508
AT ITER 924 NEW BEST:: SOT 4092382 SOS 2815124 HAS SOPS 2815124 HAS SOUS 2703226 HAS SOUPS 2703226 WITH SCORE 2706041.124
AT ITER 925 NEW BEST:: SOT 4092382 SOS 2815124 HAS SOPS 2815124 HAS SOUS 2703208 HAS SOUPS 2703208 WITH SCORE 2706023.124
AT ITER 928 NEW BEST:: SOT 4092382 SOS 2813424 HAS SOPS 2813424 HAS SOUS 2701264 HAS SOUPS 2701264 WITH SCORE 2704077.424
AT ITER 938 NEW BEST:: SOT 4092382 SOS 2813424 HAS SOPS 2813424 HAS SOUS 2700850 HAS SOUPS 2700850 WITH SCORE 2703663.424
AT ITER 939 NEW BEST:: SOT 4092382 SOS 2812810 HAS SOPS 2812810 HAS SOUS 2700236 HAS SOUPS 2700236 WITH SCORE 2703048.81
AT ITER 941 NEW BEST:: SOT 4092382 SOS 2810904 HAS SOPS 2810904 HAS SOUS 2698330 HAS SOUPS 2698330 WITH SCORE 2701140.904
AT ITER 943 NEW BEST:: SOT 4092382 SOS 2809986 HAS SOPS 2809986 HAS SOUS 2697412 HAS SOUPS 2697412 WITH SCORE 2700221.986
AT ITER 947 NEW BEST:: SOT 4092382 SOS 2808794 HAS SOPS 2808794 HAS SOUS 2696024 HAS SOUPS 2696024 WITH SCORE 2698832.794
AT ITER 955 NEW BEST:: SOT 4092382 SOS 2807718 HAS SOPS 2807718 HAS SOUS 2694590 HAS SOUPS 2694590 WITH SCORE 2697397.718
AT ITER 956 NEW BEST:: SOT 4092382 SOS 2807600 HAS SOPS 2807600 HAS SOUS 2694472 HAS SOUPS 2694472 WITH SCORE 2697279.6
AT ITER 958 NEW BEST:: SOT 4092382 SOS 2805938 HAS SOPS 2805938 HAS SOUS 2692500 HAS SOUPS 2692500 WITH SCORE 2695305.938
AT ITER 959 NEW BEST:: SOT 4092382 SOS 2804526 HAS SOPS 2804526 HAS SOUS 2690984 HAS SOUPS 2690984 WITH SCORE 2693788.526
AT ITER 960 NEW BEST:: SOT 4092382 SOS 2803938 HAS SOPS 2803938 HAS SOUS 2690396 HAS SOUPS 2690396 WITH SCORE 2693199.938
AT ITER 962 NEW BEST:: SOT 4092382 SOS 2803432 HAS SOPS 2803432 HAS SOUS 2689890 HAS SOUPS 2689890 WITH SCORE 2692693.432
AT ITER 963 NEW BEST:: SOT 4092382 SOS 2802236 HAS SOPS 2802236 HAS SOUS 2688694 HAS SOUPS 2688694 WITH SCORE 2691496.236
AT ITER 964 NEW BEST:: SOT 4092382 SOS 2801316 HAS SOPS 2801316 HAS SOUS 2687596 HAS SOUPS 2687596 WITH SCORE 2690397.316
AT ITER 965 NEW BEST:: SOT 4092382 SOS 2801316 HAS SOPS 2801316 HAS SOUS 2687536 HAS SOUPS 2687536 WITH SCORE 2690337.316
AT ITER 966 NEW BEST:: SOT 4092382 SOS 2801316 HAS SOPS 2801316 HAS SOUS 2687270 HAS SOUPS 2687270 WITH SCORE 2690071.316
AT ITER 967 NEW BEST:: SOT 4092382 SOS 2800718 HAS SOPS 2800718 HAS SOUS 2686490 HAS SOUPS 2686490 WITH SCORE 2689290.718
AT ITER 971 NEW BEST:: SOT 4092382 SOS 2800718 HAS SOPS 2800718 HAS SOUS 2685948 HAS SOUPS 2685948 WITH SCORE 2688748.718
AT ITER 975 NEW BEST:: SOT 4092382 SOS 2799774 HAS SOPS 2799774 HAS SOUS 2685004 HAS SOUPS 2685004 WITH SCORE 2687803.774
AT ITER 976 NEW BEST:: SOT 4092382 SOS 2799358 HAS SOPS 2799358 HAS SOUS 2684588 HAS SOUPS 2684588 WITH SCORE 2687387.358
AT ITER 979 NEW BEST:: SOT 4092382 SOS 2798138 HAS SOPS 2798138 HAS SOUS 2683368 HAS SOUPS 2683368 WITH SCORE 2686166.138
AT ITER 985 NEW BEST:: SOT 4092382 SOS 2797516 HAS SOPS 2797516 HAS SOUS 2682746 HAS SOUPS 2682746 WITH SCORE 2685543.516
AT ITER 986 NEW BEST:: SOT 4092382 SOS 2797408 HAS SOPS 2797408 HAS SOUS 2682638 HAS SOUPS 2682638 WITH SCORE 2685435.408
AT ITER 987 NEW BEST:: SOT 4092382 SOS 2795790 HAS SOPS 2795790 HAS SOUS 2681020 HAS SOUPS 2681020 WITH SCORE 2683815.79
AT ITER 990 NEW BEST:: SOT 4092382 SOS 2795392 HAS SOPS 2795392 HAS SOUS 2680622 HAS SOUPS 2680622 WITH SCORE 2683417.392
AT ITER 991 NEW BEST:: SOT 4092382 SOS 2795316 HAS SOPS 2795316 HAS SOUS 2680546 HAS SOUPS 2680546 WITH SCORE 2683341.316
AT ITER 994 NEW BEST:: SOT 4092382 SOS 2794332 HAS SOPS 2794332 HAS SOUS 2679562 HAS SOUPS 2679562 WITH SCORE 2682356.332
AT ITER 1003 NEW BEST:: SOT 4092382 SOS 2794332 HAS SOPS 2794332 HAS SOUS 2679058 HAS SOUPS 2679058 WITH SCORE 2681852.332
AT ITER 1004 NEW BEST:: SOT 4092382 SOS 2794204 HAS SOPS 2794204 HAS SOUS 2678930 HAS SOUPS 2678930 WITH SCORE 2681724.204
AT ITER 1005 NEW BEST:: SOT 4092382 SOS 2793316 HAS SOPS 2793316 HAS SOUS 2677532 HAS SOUPS 2677532 WITH SCORE 2680325.316
AT ITER 1007 NEW BEST:: SOT 4092382 SOS 2793316 HAS SOPS 2793316 HAS SOUS 2677184 HAS SOUPS 2677184 WITH SCORE 2679977.316
AT ITER 1008 NEW BEST:: SOT 4092382 SOS 2792384 HAS SOPS 2792384 HAS SOUS 2676252 HAS SOUPS 2676252 WITH SCORE 2679044.384
AT ITER 1010 NEW BEST:: SOT 4092382 SOS 2791742 HAS SOPS 2791742 HAS SOUS 2675610 HAS SOUPS 2675610 WITH SCORE 2678401.742
AT ITER 1013 NEW BEST:: SOT 4092382 SOS 2791742 HAS SOPS 2791742 HAS SOUS 2674668 HAS SOUPS 2674668 WITH SCORE 2677459.742
AT ITER 1014 NEW BEST:: SOT 4092382 SOS 2791742 HAS SOPS 2791742 HAS SOUS 2674488 HAS SOUPS 2674488 WITH SCORE 2677279.742
AT ITER 1022 NEW BEST:: SOT 4092382 SOS 2791176 HAS SOPS 2791176 HAS SOUS 2673914 HAS SOUPS 2673914 WITH SCORE 2676705.176
AT ITER 1023 NEW BEST:: SOT 4092382 SOS 2790930 HAS SOPS 2790930 HAS SOUS 2673668 HAS SOUPS 2673668 WITH SCORE 2676458.93
AT ITER 1024 NEW BEST:: SOT 4092382 SOS 2790724 HAS SOPS 2790724 HAS SOUS 2673462 HAS SOUPS 2673462 WITH SCORE 2676252.724
AT ITER 1025 NEW BEST:: SOT 4092382 SOS 2790064 HAS SOPS 2790064 HAS SOUS 2672802 HAS SOUPS 2672802 WITH SCORE 2675592.064
AT ITER 1028 NEW BEST:: SOT 4092382 SOS 2788618 HAS SOPS 2788618 HAS SOUS 2671356 HAS SOUPS 2671356 WITH SCORE 2674144.618
AT ITER 1029 NEW BEST:: SOT 4092382 SOS 2787380 HAS SOPS 2787380 HAS SOUS 2669774 HAS SOUPS 2669774 WITH SCORE 2672561.38
AT ITER 1031 NEW BEST:: SOT 4092382 SOS 2786658 HAS SOPS 2786658 HAS SOUS 2669052 HAS SOUPS 2669052 WITH SCORE 2671838.658
AT ITER 1035 NEW BEST:: SOT 4092382 SOS 2786212 HAS SOPS 2786212 HAS SOUS 2668244 HAS SOUPS 2668244 WITH SCORE 2671030.212
AT ITER 1036 NEW BEST:: SOT 4092382 SOS 2786146 HAS SOPS 2786146 HAS SOUS 2668178 HAS SOUPS 2668178 WITH SCORE 2670964.146
AT ITER 1039 NEW BEST:: SOT 4092382 SOS 2785690 HAS SOPS 2785690 HAS SOUS 2666326 HAS SOUPS 2666326 WITH SCORE 2669111.69
AT ITER 1040 NEW BEST:: SOT 4092362 SOS 2839102 HAS SOPS 2839102 HAS SOUS 2666022 HAS SOUPS 2666022 WITH SCORE 2668861.102
AT ITER 1043 NEW BEST:: SOT 4092362 SOS 2837218 HAS SOPS 2837218 HAS SOUS 2664050 HAS SOUPS 2664050 WITH SCORE 2666887.218
AT ITER 1047 NEW BEST:: SOT 4092362 SOS 2836312 HAS SOPS 2836312 HAS SOUS 2662130 HAS SOUPS 2662130 WITH SCORE 2664966.312
AT ITER 1049 NEW BEST:: SOT 4092362 SOS 2835868 HAS SOPS 2835868 HAS SOUS 2660626 HAS SOUPS 2660626 WITH SCORE 2663461.868
AT ITER 1055 NEW BEST:: SOT 4092362 SOS 2835382 HAS SOPS 2835382 HAS SOUS 2660140 HAS SOUPS 2660140 WITH SCORE 2662975.382
AT ITER 1060 NEW BEST:: SOT 4092362 SOS 2835290 HAS SOPS 2835290 HAS SOUS 2660048 HAS SOUPS 2660048 WITH SCORE 2662883.29
AT ITER 1065 NEW BEST:: SOT 4092362 SOS 2835060 HAS SOPS 2835060 HAS SOUS 2658738 HAS SOUPS 2658738 WITH SCORE 2661573.06
AT ITER 1068 NEW BEST:: SOT 4092362 SOS 2834776 HAS SOPS 2834776 HAS SOUS 2658454 HAS SOUPS 2658454 WITH SCORE 2661288.776
AT ITER 1082 NEW BEST:: SOT 4092362 SOS 2833132 HAS SOPS 2833132 HAS SOUS 2656672 HAS SOUPS 2656672 WITH SCORE 2659505.132
AT ITER 1087 NEW BEST:: SOT 4092342 SOS 2833112 HAS SOPS 2833112 HAS SOUS 2656652 HAS SOUPS 2656652 WITH SCORE 2659485.112
AT ITER 1089 NEW BEST:: SOT 4092342 SOS 2833112 HAS SOPS 2833112 HAS SOUS 2656608 HAS SOUPS 2656608 WITH SCORE 2659441.112
AT ITER 1090 NEW BEST:: SOT 4092342 SOS 2832698 HAS SOPS 2832698 HAS SOUS 2656194 HAS SOUPS 2656194 WITH SCORE 2659026.698
AT ITER 1099 NEW BEST:: SOT 4092342 SOS 2832374 HAS SOPS 2832374 HAS SOUS 2655288 HAS SOUPS 2655288 WITH SCORE 2658120.374
AT ITER 1100 NEW BEST:: SOT 4092342 SOS 2832362 HAS SOPS 2832362 HAS SOUS 2655276 HAS SOUPS 2655276 WITH SCORE 2658108.362
AT ITER 1101 NEW BEST:: SOT 4092342 SOS 2832238 HAS SOPS 2832238 HAS SOUS 2655152 HAS SOUPS 2655152 WITH SCORE 2657984.238
AT ITER 1104 NEW BEST:: SOT 4092342 SOS 2832212 HAS SOPS 2832212 HAS SOUS 2655126 HAS SOUPS 2655126 WITH SCORE 2657958.212
AT ITER 1106 NEW BEST:: SOT 4092342 SOS 2831986 HAS SOPS 2831986 HAS SOUS 2653272 HAS SOUPS 2653272 WITH SCORE 2656103.986
AT ITER 1115 NEW BEST:: SOT 4092342 SOS 2831986 HAS SOPS 2831986 HAS SOUS 2653240 HAS SOUPS 2653240 WITH SCORE 2656071.986
AT ITER 1118 NEW BEST:: SOT 4092342 SOS 2831652 HAS SOPS 2831652 HAS SOUS 2652906 HAS SOUPS 2652906 WITH SCORE 2655737.652
AT ITER 1119 NEW BEST:: SOT 4092342 SOS 2831652 HAS SOPS 2831652 HAS SOUS 2652812 HAS SOUPS 2652812 WITH SCORE 2655643.652
AT ITER 1120 NEW BEST:: SOT 4092342 SOS 2831652 HAS SOPS 2831652 HAS SOUS 2652536 HAS SOUPS 2652536 WITH SCORE 2655367.652
AT ITER 1121 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2650284 HAS SOUPS 2650284 WITH SCORE 2653706.218
AT ITER 1125 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2650042 HAS SOUPS 2650042 WITH SCORE 2653464.218
AT ITER 1126 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2648490 HAS SOUPS 2648490 WITH SCORE 2651912.218
AT ITER 1132 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2648272 HAS SOUPS 2648272 WITH SCORE 2651694.218
AT ITER 1133 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2648098 HAS SOUPS 2648098 WITH SCORE 2651520.218
AT ITER 1140 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2647520 HAS SOUPS 2647520 WITH SCORE 2650942.218
AT ITER 1141 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2645920 HAS SOUPS 2645920 WITH SCORE 2649342.218
AT ITER 1142 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2645652 HAS SOUPS 2645652 WITH SCORE 2649074.218
AT ITER 1150 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2645534 HAS SOUPS 2645534 WITH SCORE 2648956.218
AT ITER 1152 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2644946 HAS SOUPS 2644946 WITH SCORE 2648368.218
AT ITER 1154 NEW BEST:: SOT 4090120 SOS 3422218 HAS SOPS 3422218 HAS SOUS 2643920 HAS SOUPS 2643920 WITH SCORE 2647342.218
AT ITER 1158 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2642906 HAS SOUPS 2642906 WITH SCORE 2646329.144
AT ITER 1164 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2642782 HAS SOUPS 2642782 WITH SCORE 2646205.144
AT ITER 1169 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2641794 HAS SOUPS 2641794 WITH SCORE 2645217.144
AT ITER 1170 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2641490 HAS SOUPS 2641490 WITH SCORE 2644913.144
AT ITER 1174 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2641236 HAS SOUPS 2641236 WITH SCORE 2644659.144
AT ITER 1181 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2641144 HAS SOUPS 2641144 WITH SCORE 2644567.144
AT ITER 1183 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2639842 HAS SOUPS 2639842 WITH SCORE 2643265.144
AT ITER 1186 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2639534 HAS SOUPS 2639534 WITH SCORE 2642957.144
AT ITER 1187 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2638314 HAS SOUPS 2638314 WITH SCORE 2641737.144
AT ITER 1195 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2638182 HAS SOUPS 2638182 WITH SCORE 2641605.144
AT ITER 1202 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2637382 HAS SOUPS 2637382 WITH SCORE 2640805.144
AT ITER 1206 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2637352 HAS SOUPS 2637352 WITH SCORE 2640775.144
AT ITER 1209 NEW BEST:: SOT 4090100 SOS 3423144 HAS SOPS 3423144 HAS SOUS 2637268 HAS SOUPS 2637268 WITH SCORE 2640691.144
AT ITER 1210 NEW BEST:: SOT 4090100 SOS 3422904 HAS SOPS 3422904 HAS SOUS 2636828 HAS SOUPS 2636828 WITH SCORE 2640250.904
AT ITER 1214 NEW BEST:: SOT 4090100 SOS 3422904 HAS SOPS 3422904 HAS SOUS 2636712 HAS SOUPS 2636712 WITH SCORE 2640134.904
AT ITER 1216 NEW BEST:: SOT 4090100 SOS 3422904 HAS SOPS 3422904 HAS SOUS 2634806 HAS SOUPS 2634806 WITH SCORE 2638228.904
AT ITER 1219 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633704 HAS SOUPS 2633704 WITH SCORE 2637126.442
AT ITER 1220 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633602 HAS SOUPS 2633602 WITH SCORE 2637024.442
AT ITER 1222 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633234 HAS SOUPS 2633234 WITH SCORE 2636656.442
AT ITER 1230 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633192 HAS SOUPS 2633192 WITH SCORE 2636614.442
AT ITER 1233 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633162 HAS SOUPS 2633162 WITH SCORE 2636584.442
AT ITER 1236 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2633156 HAS SOUPS 2633156 WITH SCORE 2636578.442
AT ITER 1241 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2632706 HAS SOUPS 2632706 WITH SCORE 2636128.442
AT ITER 1245 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2630842 HAS SOUPS 2630842 WITH SCORE 2634264.442
AT ITER 1249 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2630344 HAS SOUPS 2630344 WITH SCORE 2633766.442
AT ITER 1252 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2630166 HAS SOUPS 2630166 WITH SCORE 2633588.442
AT ITER 1253 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2629842 HAS SOUPS 2629842 WITH SCORE 2633264.442
AT ITER 1254 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2629108 HAS SOUPS 2629108 WITH SCORE 2632530.442
AT ITER 1255 NEW BEST:: SOT 4090100 SOS 3422442 HAS SOPS 3422442 HAS SOUS 2628254 HAS SOUPS 2628254 WITH SCORE 2631676.442
AT ITER 1260 NEW BEST:: SOT 4090100 SOS 3422292 HAS SOPS 3422292 HAS SOUS 2627084 HAS SOUPS 2627084 WITH SCORE 2630506.292
AT ITER 1264 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2626302 HAS SOUPS 2626302 WITH SCORE 2629723.51
AT ITER 1268 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2625588 HAS SOUPS 2625588 WITH SCORE 2629009.51
AT ITER 1269 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2625172 HAS SOUPS 2625172 WITH SCORE 2628593.51
AT ITER 1284 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2624898 HAS SOUPS 2624898 WITH SCORE 2628319.51
AT ITER 1285 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2624466 HAS SOUPS 2624466 WITH SCORE 2627887.51
AT ITER 1286 NEW BEST:: SOT 4089318 SOS 3421510 HAS SOPS 3421510 HAS SOUS 2622840 HAS SOUPS 2622840 WITH SCORE 2626261.51
AT ITER 1288 NEW BEST:: SOT 4089318 SOS 3421410 HAS SOPS 3421410 HAS SOUS 2622740 HAS SOUPS 2622740 WITH SCORE 2626161.41
AT ITER 1291 NEW BEST:: SOT 4089318 SOS 3421410 HAS SOPS 3421410 HAS SOUS 2622438 HAS SOUPS 2622438 WITH SCORE 2625859.41
AT ITER 1292 NEW BEST:: SOT 4089318 SOS 3421410 HAS SOPS 3421410 HAS SOUS 2621048 HAS SOUPS 2621048 WITH SCORE 2624469.41
AT ITER 1299 NEW BEST:: SOT 4089318 SOS 3421132 HAS SOPS 3421132 HAS SOUS 2619414 HAS SOUPS 2619414 WITH SCORE 2622835.132
AT ITER 1300 NEW BEST:: SOT 4089318 SOS 3421132 HAS SOPS 3421132 HAS SOUS 2618502 HAS SOUPS 2618502 WITH SCORE 2621923.132
AT ITER 1301 NEW BEST:: SOT 4089318 SOS 3421132 HAS SOPS 3421132 HAS SOUS 2618042 HAS SOUPS 2618042 WITH SCORE 2621463.132
AT ITER 1308 NEW BEST:: SOT 4089318 SOS 3421132 HAS SOPS 3421132 HAS SOUS 2616874 HAS SOUPS 2616874 WITH SCORE 2620295.132
AT ITER 1310 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2616098 HAS SOUPS 2616098 WITH SCORE 2619519.574
AT ITER 1311 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2615936 HAS SOUPS 2615936 WITH SCORE 2619357.574
AT ITER 1317 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2615832 HAS SOUPS 2615832 WITH SCORE 2619253.574
AT ITER 1326 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2615672 HAS SOUPS 2615672 WITH SCORE 2619093.574
AT ITER 1332 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2615136 HAS SOUPS 2615136 WITH SCORE 2618557.574
AT ITER 1336 NEW BEST:: SOT 4089318 SOS 3421574 HAS SOPS 3421574 HAS SOUS 2614690 HAS SOUPS 2614690 WITH SCORE 2618111.574
AT ITER 1339 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2612960 HAS SOUPS 2612960 WITH SCORE 2616381.194
AT ITER 1341 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2612774 HAS SOUPS 2612774 WITH SCORE 2616195.194
AT ITER 1346 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2612520 HAS SOUPS 2612520 WITH SCORE 2615941.194
AT ITER 1347 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2612176 HAS SOUPS 2612176 WITH SCORE 2615597.194
AT ITER 1355 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2611980 HAS SOUPS 2611980 WITH SCORE 2615401.194
AT ITER 1356 NEW BEST:: SOT 4089318 SOS 3421194 HAS SOPS 3421194 HAS SOUS 2611426 HAS SOUPS 2611426 WITH SCORE 2614847.194
AT ITER 1358 NEW BEST:: SOT 4089318 SOS 3421030 HAS SOPS 3421030 HAS SOUS 2611078 HAS SOUPS 2611078 WITH SCORE 2614499.03
AT ITER 1361 NEW BEST:: SOT 4089318 SOS 3421030 HAS SOPS 3421030 HAS SOUS 2610044 HAS SOUPS 2610044 WITH SCORE 2613465.03
AT ITER 1368 NEW BEST:: SOT 4089318 SOS 3420904 HAS SOPS 3420904 HAS SOUS 2609750 HAS SOUPS 2609750 WITH SCORE 2613170.904
AT ITER 1375 NEW BEST:: SOT 4089318 SOS 3420904 HAS SOPS 3420904 HAS SOUS 2609722 HAS SOUPS 2609722 WITH SCORE 2613142.904
AT ITER 1380 NEW BEST:: SOT 4089318 SOS 3420662 HAS SOPS 3420662 HAS SOUS 2607754 HAS SOUPS 2607754 WITH SCORE 2611174.662
AT ITER 1383 NEW BEST:: SOT 4089318 SOS 3420662 HAS SOPS 3420662 HAS SOUS 2607380 HAS SOUPS 2607380 WITH SCORE 2610800.662
AT ITER 1392 NEW BEST:: SOT 4089318 SOS 3420662 HAS SOPS 3420662 HAS SOUS 2607036 HAS SOUPS 2607036 WITH SCORE 2610456.662
AT ITER 1393 NEW BEST:: SOT 4089004 SOS 3420348 HAS SOPS 3420348 HAS SOUS 2606722 HAS SOUPS 2606722 WITH SCORE 2610142.348
AT ITER 1396 NEW BEST:: SOT 4089004 SOS 3420348 HAS SOPS 3420348 HAS SOUS 2606332 HAS SOUPS 2606332 WITH SCORE 2609752.348
AT ITER 1397 NEW BEST:: SOT 4089004 SOS 3420348 HAS SOPS 3420348 HAS SOUS 2606152 HAS SOUPS 2606152 WITH SCORE 2609572.348
AT ITER 1398 NEW BEST:: SOT 4089004 SOS 3420348 HAS SOPS 3420348 HAS SOUS 2605200 HAS SOUPS 2605200 WITH SCORE 2608620.348
AT ITER 1399 NEW BEST:: SOT 4089004 SOS 3420080 HAS SOPS 3420080 HAS SOUS 2604932 HAS SOUPS 2604932 WITH SCORE 2608352.08
AT ITER 1400 NEW BEST:: SOT 4089004 SOS 3420080 HAS SOPS 3420080 HAS SOUS 2604914 HAS SOUPS 2604914 WITH SCORE 2608334.08
AT ITER 1402 NEW BEST:: SOT 4089004 SOS 3420080 HAS SOPS 3420080 HAS SOUS 2604810 HAS SOUPS 2604810 WITH SCORE 2608230.08
AT ITER 1404 NEW BEST:: SOT 4089004 SOS 3420080 HAS SOPS 3420080 HAS SOUS 2603042 HAS SOUPS 2603042 WITH SCORE 2606462.08
AT ITER 1405 NEW BEST:: SOT 4089004 SOS 3420080 HAS SOPS 3420080 HAS SOUS 2602880 HAS SOUPS 2602880 WITH SCORE 2606300.08
AT ITER 1409 NEW BEST:: SOT 4089004 SOS 3419824 HAS SOPS 3419824 HAS SOUS 2602330 HAS SOUPS 2602330 WITH SCORE 2605749.824
AT ITER 1410 NEW BEST:: SOT 4089004 SOS 3419824 HAS SOPS 3419824 HAS SOUS 2602120 HAS SOUPS 2602120 WITH SCORE 2605539.824
AT ITER 1411 NEW BEST:: SOT 4089004 SOS 3419824 HAS SOPS 3419824 HAS SOUS 2602092 HAS SOUPS 2602092 WITH SCORE 2605511.824
AT ITER 1412 NEW BEST:: SOT 4089004 SOS 3419824 HAS SOPS 3419824 HAS SOUS 2601318 HAS SOUPS 2601318 WITH SCORE 2604737.824
AT ITER 1418 NEW BEST:: SOT 4089004 SOS 3419448 HAS SOPS 3419448 HAS SOUS 2600942 HAS SOUPS 2600942 WITH SCORE 2604361.448
AT ITER 1422 NEW BEST:: SOT 4088984 SOS 3419428 HAS SOPS 3419428 HAS SOUS 2600922 HAS SOUPS 2600922 WITH SCORE 2604341.428
AT ITER 1424 NEW BEST:: SOT 4088984 SOS 3419428 HAS SOPS 3419428 HAS SOUS 2600638 HAS SOUPS 2600638 WITH SCORE 2604057.428
AT ITER 1427 NEW BEST:: SOT 4088984 SOS 3419428 HAS SOPS 3419428 HAS SOUS 2600102 HAS SOUPS 2600102 WITH SCORE 2603521.428
AT ITER 1429 NEW BEST:: SOT 4088984 SOS 3419428 HAS SOPS 3419428 HAS SOUS 2599786 HAS SOUPS 2599786 WITH SCORE 2603205.428
AT ITER 1438 NEW BEST:: SOT 4086492 SOS 3416936 HAS SOPS 3416936 HAS SOUS 2595404 HAS SOUPS 2595404 WITH SCORE 2598820.936
AT ITER 1439 NEW BEST:: SOT 4086492 SOS 3416936 HAS SOPS 3416936 HAS SOUS 2594566 HAS SOUPS 2594566 WITH SCORE 2597982.936
AT ITER 1450 NEW BEST:: SOT 4086492 SOS 3416936 HAS SOPS 3416936 HAS SOUS 2593648 HAS SOUPS 2593648 WITH SCORE 2597064.936
AT ITER 1456 NEW BEST:: SOT 4086492 SOS 3416844 HAS SOPS 3416844 HAS SOUS 2593556 HAS SOUPS 2593556 WITH SCORE 2596972.844
AT ITER 1458 NEW BEST:: SOT 4086492 SOS 3416844 HAS SOPS 3416844 HAS SOUS 2593186 HAS SOUPS 2593186 WITH SCORE 2596602.844
AT ITER 1459 NEW BEST:: SOT 4086492 SOS 3416844 HAS SOPS 3416844 HAS SOUS 2592978 HAS SOUPS 2592978 WITH SCORE 2596394.844
AT ITER 1465 NEW BEST:: SOT 4086492 SOS 3416420 HAS SOPS 3416420 HAS SOUS 2592530 HAS SOUPS 2592530 WITH SCORE 2595946.42
AT ITER 1473 NEW BEST:: SOT 4086492 SOS 3416346 HAS SOPS 3416346 HAS SOUS 2592284 HAS SOUPS 2592284 WITH SCORE 2595700.346
AT ITER 1476 NEW BEST:: SOT 4086492 SOS 3416346 HAS SOPS 3416346 HAS SOUS 2591480 HAS SOUPS 2591480 WITH SCORE 2594896.346
AT ITER 1478 NEW BEST:: SOT 4086492 SOS 3416346 HAS SOPS 3416346 HAS SOUS 2591408 HAS SOUPS 2591408 WITH SCORE 2594824.346
AT ITER 1481 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2590980 HAS SOUPS 2590980 WITH SCORE 2594396.028
AT ITER 1486 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2590356 HAS SOUPS 2590356 WITH SCORE 2593772.028
AT ITER 1491 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2589356 HAS SOUPS 2589356 WITH SCORE 2592772.028
AT ITER 1492 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2589248 HAS SOUPS 2589248 WITH SCORE 2592664.028
AT ITER 1497 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2588940 HAS SOUPS 2588940 WITH SCORE 2592356.028
AT ITER 1508 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2588550 HAS SOUPS 2588550 WITH SCORE 2591966.028
AT ITER 1514 NEW BEST:: SOT 4086492 SOS 3416028 HAS SOPS 3416028 HAS SOUS 2588508 HAS SOUPS 2588508 WITH SCORE 2591924.028
AT ITER 1523 NEW BEST:: SOT 4086492 SOS 3415636 HAS SOPS 3415636 HAS SOUS 2587320 HAS SOUPS 2587320 WITH SCORE 2590735.636
AT ITER 1529 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2586332 HAS SOUPS 2586332 WITH SCORE 2589747.21
AT ITER 1530 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2585718 HAS SOUPS 2585718 WITH SCORE 2589133.21
AT ITER 1533 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2585504 HAS SOUPS 2585504 WITH SCORE 2588919.21
AT ITER 1534 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2585038 HAS SOUPS 2585038 WITH SCORE 2588453.21
AT ITER 1537 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2584932 HAS SOUPS 2584932 WITH SCORE 2588347.21
AT ITER 1540 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2584698 HAS SOUPS 2584698 WITH SCORE 2588113.21
AT ITER 1541 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2584662 HAS SOUPS 2584662 WITH SCORE 2588077.21
AT ITER 1542 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2584036 HAS SOUPS 2584036 WITH SCORE 2587451.21
AT ITER 1551 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2583974 HAS SOUPS 2583974 WITH SCORE 2587389.21
AT ITER 1553 NEW BEST:: SOT 4086492 SOS 3415210 HAS SOPS 3415210 HAS SOUS 2583954 HAS SOUPS 2583954 WITH SCORE 2587369.21
AT ITER 1559 NEW BEST:: SOT 4086492 SOS 3415128 HAS SOPS 3415128 HAS SOUS 2582552 HAS SOUPS 2582552 WITH SCORE 2585967.128
AT ITER 1561 NEW BEST:: SOT 4086492 SOS 3415128 HAS SOPS 3415128 HAS SOUS 2582536 HAS SOUPS 2582536 WITH SCORE 2585951.128
AT ITER 1563 NEW BEST:: SOT 4086492 SOS 3415128 HAS SOPS 3415128 HAS SOUS 2582504 HAS SOUPS 2582504 WITH SCORE 2585919.128
AT ITER 1564 NEW BEST:: SOT 4086492 SOS 3415128 HAS SOPS 3415128 HAS SOUS 2581726 HAS SOUPS 2581726 WITH SCORE 2585141.128
AT ITER 1566 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2580736 HAS SOUPS 2580736 WITH SCORE 2584150.836
AT ITER 1567 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2578902 HAS SOUPS 2578902 WITH SCORE 2582316.836
AT ITER 1571 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2577452 HAS SOUPS 2577452 WITH SCORE 2580866.836
AT ITER 1575 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2577248 HAS SOUPS 2577248 WITH SCORE 2580662.836
AT ITER 1577 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2576872 HAS SOUPS 2576872 WITH SCORE 2580286.836
AT ITER 1581 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2576752 HAS SOUPS 2576752 WITH SCORE 2580166.836
AT ITER 1583 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2576318 HAS SOUPS 2576318 WITH SCORE 2579732.836
AT ITER 1584 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2576022 HAS SOUPS 2576022 WITH SCORE 2579436.836
AT ITER 1587 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2575984 HAS SOUPS 2575984 WITH SCORE 2579398.836
AT ITER 1591 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2575610 HAS SOUPS 2575610 WITH SCORE 2579024.836
AT ITER 1593 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2574530 HAS SOUPS 2574530 WITH SCORE 2577944.836
AT ITER 1597 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2573766 HAS SOUPS 2573766 WITH SCORE 2577180.836
AT ITER 1606 NEW BEST:: SOT 4086492 SOS 3414836 HAS SOPS 3414836 HAS SOUS 2573670 HAS SOUPS 2573670 WITH SCORE 2577084.836
AT ITER 1607 NEW BEST:: SOT 4085410 SOS 3413754 HAS SOPS 3413754 HAS SOUS 2572486 HAS SOUPS 2572486 WITH SCORE 2575899.754
AT ITER 1615 NEW BEST:: SOT 4085410 SOS 3413486 HAS SOPS 3413486 HAS SOUS 2571772 HAS SOUPS 2571772 WITH SCORE 2575185.486
AT ITER 1617 NEW BEST:: SOT 4085410 SOS 3413486 HAS SOPS 3413486 HAS SOUS 2571746 HAS SOUPS 2571746 WITH SCORE 2575159.486
AT ITER 1623 NEW BEST:: SOT 4083366 SOS 3411442 HAS SOPS 3411442 HAS SOUS 2567802 HAS SOUPS 2567802 WITH SCORE 2571213.442
AT ITER 1633 NEW BEST:: SOT 4083366 SOS 3411442 HAS SOPS 3411442 HAS SOUS 2567456 HAS SOUPS 2567456 WITH SCORE 2570867.442
AT ITER 1636 NEW BEST:: SOT 4083366 SOS 3411442 HAS SOPS 3411442 HAS SOUS 2566858 HAS SOUPS 2566858 WITH SCORE 2570269.442
AT ITER 1639 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2566754 HAS SOUPS 2566754 WITH SCORE 2570165.338
AT ITER 1645 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2566606 HAS SOUPS 2566606 WITH SCORE 2570017.338
AT ITER 1647 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2565538 HAS SOUPS 2565538 WITH SCORE 2568949.338
AT ITER 1653 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2565206 HAS SOUPS 2565206 WITH SCORE 2568617.338
AT ITER 1655 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2564400 HAS SOUPS 2564400 WITH SCORE 2567811.338
AT ITER 1656 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2563474 HAS SOUPS 2563474 WITH SCORE 2566885.338
AT ITER 1661 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2562574 HAS SOUPS 2562574 WITH SCORE 2565985.338
AT ITER 1666 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2562490 HAS SOUPS 2562490 WITH SCORE 2565901.338
AT ITER 1667 NEW BEST:: SOT 4083366 SOS 3411168 HAS SOPS 3411168 HAS SOUS 2561358 HAS SOUPS 2561358 WITH SCORE 2564769.168
AT ITER 1672 NEW BEST:: SOT 4083366 SOS 3411168 HAS SOPS 3411168 HAS SOUS 2560708 HAS SOUPS 2560708 WITH SCORE 2564119.168
AT ITER 1673 NEW BEST:: SOT 4083366 SOS 3411028 HAS SOPS 3411028 HAS SOUS 2560286 HAS SOUPS 2560286 WITH SCORE 2563697.028
AT ITER 1677 NEW BEST:: SOT 4083366 SOS 3411028 HAS SOPS 3411028 HAS SOUS 2560274 HAS SOUPS 2560274 WITH SCORE 2563685.028
AT ITER 1678 NEW BEST:: SOT 4083366 SOS 3411028 HAS SOPS 3411028 HAS SOUS 2560150 HAS SOUPS 2560150 WITH SCORE 2563561.028
AT ITER 1679 NEW BEST:: SOT 4083366 SOS 3411028 HAS SOPS 3411028 HAS SOUS 2559686 HAS SOUPS 2559686 WITH SCORE 2563097.028
AT ITER 1680 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2559594 HAS SOUPS 2559594 WITH SCORE 2563005.338
AT ITER 1688 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2558834 HAS SOUPS 2558834 WITH SCORE 2562245.338
AT ITER 1690 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2558694 HAS SOUPS 2558694 WITH SCORE 2562105.338
AT ITER 1693 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2558548 HAS SOUPS 2558548 WITH SCORE 2561959.338
AT ITER 1701 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2558370 HAS SOUPS 2558370 WITH SCORE 2561781.338
AT ITER 1702 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2557174 HAS SOUPS 2557174 WITH SCORE 2560585.338
AT ITER 1704 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2557150 HAS SOUPS 2557150 WITH SCORE 2560561.338
AT ITER 1713 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2556348 HAS SOUPS 2556348 WITH SCORE 2559759.338
AT ITER 1715 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2556094 HAS SOUPS 2556094 WITH SCORE 2559505.338
AT ITER 1719 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2555026 HAS SOUPS 2555026 WITH SCORE 2558437.338
AT ITER 1721 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2554730 HAS SOUPS 2554730 WITH SCORE 2558141.338
AT ITER 1724 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2554090 HAS SOUPS 2554090 WITH SCORE 2557501.338
AT ITER 1731 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2553834 HAS SOUPS 2553834 WITH SCORE 2557245.338
AT ITER 1733 NEW BEST:: SOT 4083366 SOS 3411338 HAS SOPS 3411338 HAS SOUS 2552932 HAS SOUPS 2552932 WITH SCORE 2556343.338
AT ITER 1740 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2551174 HAS SOUPS 2551174 WITH SCORE 2554585.194
AT ITER 1743 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2551168 HAS SOUPS 2551168 WITH SCORE 2554579.194
AT ITER 1750 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2551046 HAS SOUPS 2551046 WITH SCORE 2554457.194
AT ITER 1751 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2549724 HAS SOUPS 2549724 WITH SCORE 2553135.194
AT ITER 1755 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2549608 HAS SOUPS 2549608 WITH SCORE 2553019.194
AT ITER 1760 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2549300 HAS SOUPS 2549300 WITH SCORE 2552711.194
AT ITER 1763 NEW BEST:: SOT 4083366 SOS 3411194 HAS SOPS 3411194 HAS SOUS 2549280 HAS SOUPS 2549280 WITH SCORE 2552691.194
AT ITER 1764 NEW BEST:: SOT 4083366 SOS 3411084 HAS SOPS 3411084 HAS SOUS 2549170 HAS SOUPS 2549170 WITH SCORE 2552581.084
AT ITER 1767 NEW BEST:: SOT 4083366 SOS 3411084 HAS SOPS 3411084 HAS SOUS 2548334 HAS SOUPS 2548334 WITH SCORE 2551745.084
AT ITER 1768 NEW BEST:: SOT 4083366 SOS 3411084 HAS SOPS 3411084 HAS SOUS 2547732 HAS SOUPS 2547732 WITH SCORE 2551143.084
AT ITER 1774 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2547464 HAS SOUPS 2547464 WITH SCORE 2550874.816
AT ITER 1778 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2547296 HAS SOUPS 2547296 WITH SCORE 2550706.816
AT ITER 1781 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2546444 HAS SOUPS 2546444 WITH SCORE 2549854.816
AT ITER 1782 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2546136 HAS SOUPS 2546136 WITH SCORE 2549546.816
AT ITER 1785 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2545876 HAS SOUPS 2545876 WITH SCORE 2549286.816
AT ITER 1789 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2545260 HAS SOUPS 2545260 WITH SCORE 2548670.816
AT ITER 1791 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2544908 HAS SOUPS 2544908 WITH SCORE 2548318.816
AT ITER 1793 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2544240 HAS SOUPS 2544240 WITH SCORE 2547650.816
AT ITER 1794 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2544156 HAS SOUPS 2544156 WITH SCORE 2547566.816
AT ITER 1799 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2543840 HAS SOUPS 2543840 WITH SCORE 2547250.816
AT ITER 1802 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2543654 HAS SOUPS 2543654 WITH SCORE 2547064.816
AT ITER 1804 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2542400 HAS SOUPS 2542400 WITH SCORE 2545810.816
AT ITER 1816 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2542176 HAS SOUPS 2542176 WITH SCORE 2545586.816
AT ITER 1819 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2541966 HAS SOUPS 2541966 WITH SCORE 2545376.816
AT ITER 1828 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2541710 HAS SOUPS 2541710 WITH SCORE 2545120.816
AT ITER 1830 NEW BEST:: SOT 4083366 SOS 3410816 HAS SOPS 3410816 HAS SOUS 2541292 HAS SOUPS 2541292 WITH SCORE 2544702.816
AT ITER 1831 NEW BEST:: SOT 4083366 SOS 3410670 HAS SOPS 3410670 HAS SOUS 2541146 HAS SOUPS 2541146 WITH SCORE 2544556.67
AT ITER 1838 NEW BEST:: SOT 4083366 SOS 3410670 HAS SOPS 3410670 HAS SOUS 2540444 HAS SOUPS 2540444 WITH SCORE 2543854.67
AT ITER 1839 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2539948 HAS SOUPS 2539948 WITH SCORE 2543358.466
AT ITER 1840 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2539700 HAS SOUPS 2539700 WITH SCORE 2543110.466
AT ITER 1844 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2539636 HAS SOUPS 2539636 WITH SCORE 2543046.466
AT ITER 1845 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2539158 HAS SOUPS 2539158 WITH SCORE 2542568.466
AT ITER 1846 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2538278 HAS SOUPS 2538278 WITH SCORE 2541688.466
AT ITER 1847 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2537756 HAS SOUPS 2537756 WITH SCORE 2541166.466
AT ITER 1850 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2536922 HAS SOUPS 2536922 WITH SCORE 2540332.466
AT ITER 1853 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2536178 HAS SOUPS 2536178 WITH SCORE 2539588.466
AT ITER 1856 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2535768 HAS SOUPS 2535768 WITH SCORE 2539178.466
AT ITER 1859 NEW BEST:: SOT 4083366 SOS 3410466 HAS SOPS 3410466 HAS SOUS 2535682 HAS SOUPS 2535682 WITH SCORE 2539092.466
AT ITER 1861 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2535632 HAS SOUPS 2535632 WITH SCORE 2539042.416
AT ITER 1862 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2534200 HAS SOUPS 2534200 WITH SCORE 2537610.416
AT ITER 1866 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2533776 HAS SOUPS 2533776 WITH SCORE 2537186.416
AT ITER 1867 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2533726 HAS SOUPS 2533726 WITH SCORE 2537136.416
AT ITER 1869 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2531858 HAS SOUPS 2531858 WITH SCORE 2535268.416
AT ITER 1871 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2531712 HAS SOUPS 2531712 WITH SCORE 2535122.416
AT ITER 1879 NEW BEST:: SOT 4083366 SOS 3410416 HAS SOPS 3410416 HAS SOUS 2531228 HAS SOUPS 2531228 WITH SCORE 2534638.416
AT ITER 1886 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2529234 HAS SOUPS 2529234 WITH SCORE 2532644.018
AT ITER 1891 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2528958 HAS SOUPS 2528958 WITH SCORE 2532368.018
AT ITER 1892 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2528310 HAS SOUPS 2528310 WITH SCORE 2531720.018
AT ITER 1897 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2526824 HAS SOUPS 2526824 WITH SCORE 2530234.018
AT ITER 1899 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2526780 HAS SOUPS 2526780 WITH SCORE 2530190.018
AT ITER 1902 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2526036 HAS SOUPS 2526036 WITH SCORE 2529446.018
AT ITER 1905 NEW BEST:: SOT 4083366 SOS 3410018 HAS SOPS 3410018 HAS SOUS 2525628 HAS SOUPS 2525628 WITH SCORE 2529038.018
AT ITER 1913 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2525416 HAS SOUPS 2525416 WITH SCORE 2528825.806
AT ITER 1916 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2525196 HAS SOUPS 2525196 WITH SCORE 2528605.806
AT ITER 1917 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2525062 HAS SOUPS 2525062 WITH SCORE 2528471.806
AT ITER 1918 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2524808 HAS SOUPS 2524808 WITH SCORE 2528217.806
AT ITER 1922 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2523490 HAS SOUPS 2523490 WITH SCORE 2526899.806
AT ITER 1923 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2521684 HAS SOUPS 2521684 WITH SCORE 2525093.806
AT ITER 1925 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2521676 HAS SOUPS 2521676 WITH SCORE 2525085.806
AT ITER 1928 NEW BEST:: SOT 4083366 SOS 3409806 HAS SOPS 3409806 HAS SOUS 2520876 HAS SOUPS 2520876 WITH SCORE 2524285.806
AT ITER 1934 NEW BEST:: SOT 4083366 SOS 3409358 HAS SOPS 3409358 HAS SOUS 2519538 HAS SOUPS 2519538 WITH SCORE 2522947.358
AT ITER 1940 NEW BEST:: SOT 4083366 SOS 3409358 HAS SOPS 3409358 HAS SOUS 2519418 HAS SOUPS 2519418 WITH SCORE 2522827.358
AT ITER 1941 NEW BEST:: SOT 4083366 SOS 3409358 HAS SOPS 3409358 HAS SOUS 2519186 HAS SOUPS 2519186 WITH SCORE 2522595.358
AT ITER 1960 NEW BEST:: SOT 4083366 SOS 3409358 HAS SOPS 3409358 HAS SOUS 2518386 HAS SOUPS 2518386 WITH SCORE 2521795.358
AT ITER 1972 NEW BEST:: SOT 4083366 SOS 3409358 HAS SOPS 3409358 HAS SOUS 2517404 HAS SOUPS 2517404 WITH SCORE 2520813.358
AT ITER 1973 NEW BEST:: SOT 4083366 SOS 3408642 HAS SOPS 3408642 HAS SOUS 2515842 HAS SOUPS 2515842 WITH SCORE 2519250.642
AT ITER 1977 NEW BEST:: SOT 4083366 SOS 3408642 HAS SOPS 3408642 HAS SOUS 2514988 HAS SOUPS 2514988 WITH SCORE 2518396.642
AT ITER 1978 NEW BEST:: SOT 4083366 SOS 3408642 HAS SOPS 3408642 HAS SOUS 2514858 HAS SOUPS 2514858 WITH SCORE 2518266.642
AT ITER 1981 NEW BEST:: SOT 4083366 SOS 3408128 HAS SOPS 3408128 HAS SOUS 2514024 HAS SOUPS 2514024 WITH SCORE 2517432.128
AT ITER 1987 NEW BEST:: SOT 4083366 SOS 3408016 HAS SOPS 3408016 HAS SOUS 2512728 HAS SOUPS 2512728 WITH SCORE 2516136.016
AT ITER 1988 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2512728 HAS SOUPS 2512728 WITH SCORE 2516135.146
AT ITER 1995 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2512338 HAS SOUPS 2512338 WITH SCORE 2515745.146
AT ITER 2003 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2512280 HAS SOUPS 2512280 WITH SCORE 2515687.146
AT ITER 2012 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2510898 HAS SOUPS 2510898 WITH SCORE 2514305.146
AT ITER 2021 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2509972 HAS SOUPS 2509972 WITH SCORE 2513379.146
AT ITER 2022 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2508804 HAS SOUPS 2508804 WITH SCORE 2512211.146
AT ITER 2024 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2508276 HAS SOUPS 2508276 WITH SCORE 2511683.146
AT ITER 2040 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2508092 HAS SOUPS 2508092 WITH SCORE 2511499.146
AT ITER 2052 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2507712 HAS SOUPS 2507712 WITH SCORE 2511119.146
AT ITER 2059 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2507532 HAS SOUPS 2507532 WITH SCORE 2510939.146
AT ITER 2064 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2507136 HAS SOUPS 2507136 WITH SCORE 2510543.146
AT ITER 2081 NEW BEST:: SOT 4083366 SOS 3407146 HAS SOPS 3407146 HAS SOUS 2506370 HAS SOUPS 2506370 WITH SCORE 2509777.146
AT ITER 2085 NEW BEST:: SOT 4083366 SOS 3406746 HAS SOPS 3406746 HAS SOUS 2505078 HAS SOUPS 2505078 WITH SCORE 2508484.746
AT ITER 2086 NEW BEST:: SOT 4083366 SOS 3406746 HAS SOPS 3406746 HAS SOUS 2504036 HAS SOUPS 2504036 WITH SCORE 2507442.746
AT ITER 2087 NEW BEST:: SOT 4083366 SOS 3406746 HAS SOPS 3406746 HAS SOUS 2503738 HAS SOUPS 2503738 WITH SCORE 2507144.746
AT ITER 2092 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2503594 HAS SOUPS 2503594 WITH SCORE 2507000.696
AT ITER 2095 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2503170 HAS SOUPS 2503170 WITH SCORE 2506576.696
AT ITER 2109 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2502904 HAS SOUPS 2502904 WITH SCORE 2506310.696
AT ITER 2114 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2502902 HAS SOUPS 2502902 WITH SCORE 2506308.696
AT ITER 2124 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2502624 HAS SOUPS 2502624 WITH SCORE 2506030.696
AT ITER 2130 NEW BEST:: SOT 4083366 SOS 3406696 HAS SOPS 3406696 HAS SOUS 2502160 HAS SOUPS 2502160 WITH SCORE 2505566.696
AT ITER 2137 NEW BEST:: SOT 4083366 SOS 3406534 HAS SOPS 3406534 HAS SOUS 2501482 HAS SOUPS 2501482 WITH SCORE 2504888.534
AT ITER 2138 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2500614 HAS SOUPS 2500614 WITH SCORE 2504020.328
AT ITER 2140 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2500536 HAS SOUPS 2500536 WITH SCORE 2503942.328
AT ITER 2143 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2499096 HAS SOUPS 2499096 WITH SCORE 2502502.328
AT ITER 2151 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2498742 HAS SOUPS 2498742 WITH SCORE 2502148.328
AT ITER 2153 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2497706 HAS SOUPS 2497706 WITH SCORE 2501112.328
AT ITER 2155 NEW BEST:: SOT 4083366 SOS 3406328 HAS SOPS 3406328 HAS SOUS 2497370 HAS SOUPS 2497370 WITH SCORE 2500776.328
AT ITER 2161 NEW BEST:: SOT 4083366 SOS 3406048 HAS SOPS 3406048 HAS SOUS 2496704 HAS SOUPS 2496704 WITH SCORE 2500110.048
AT ITER 2163 NEW BEST:: SOT 4083366 SOS 3406048 HAS SOPS 3406048 HAS SOUS 2496464 HAS SOUPS 2496464 WITH SCORE 2499870.048
AT ITER 2169 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2496020 HAS SOUPS 2496020 WITH SCORE 2499426.038
AT ITER 2174 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2495758 HAS SOUPS 2495758 WITH SCORE 2499164.038
AT ITER 2177 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2495230 HAS SOUPS 2495230 WITH SCORE 2498636.038
AT ITER 2178 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2494802 HAS SOUPS 2494802 WITH SCORE 2498208.038
AT ITER 2180 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2494762 HAS SOUPS 2494762 WITH SCORE 2498168.038
AT ITER 2182 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2494574 HAS SOUPS 2494574 WITH SCORE 2497980.038
AT ITER 2185 NEW BEST:: SOT 4083366 SOS 3406038 HAS SOPS 3406038 HAS SOUS 2493332 HAS SOUPS 2493332 WITH SCORE 2496738.038
AT ITER 2187 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2493310 HAS SOUPS 2493310 WITH SCORE 2496716.016
AT ITER 2190 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2492752 HAS SOUPS 2492752 WITH SCORE 2496158.016
AT ITER 2192 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2492230 HAS SOUPS 2492230 WITH SCORE 2495636.016
AT ITER 2193 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2491214 HAS SOUPS 2491214 WITH SCORE 2494620.016
AT ITER 2194 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2491000 HAS SOUPS 2491000 WITH SCORE 2494406.016
AT ITER 2199 NEW BEST:: SOT 4083366 SOS 3406016 HAS SOPS 3406016 HAS SOUS 2490810 HAS SOUPS 2490810 WITH SCORE 2494216.016
AT ITER 2207 NEW BEST:: SOT 4083366 SOS 3405878 HAS SOPS 3405878 HAS SOUS 2490136 HAS SOUPS 2490136 WITH SCORE 2493541.878
AT ITER 2208 NEW BEST:: SOT 4083366 SOS 3405664 HAS SOPS 3405664 HAS SOUS 2488550 HAS SOUPS 2488550 WITH SCORE 2491955.664
AT ITER 2214 NEW BEST:: SOT 4083366 SOS 3405510 HAS SOPS 3405510 HAS SOUS 2488386 HAS SOUPS 2488386 WITH SCORE 2491791.51
AT ITER 2215 NEW BEST:: SOT 4082376 SOS 3404520 HAS SOPS 3404520 HAS SOUS 2486880 HAS SOUPS 2486880 WITH SCORE 2490284.52
AT ITER 2216 NEW BEST:: SOT 4082376 SOS 3404520 HAS SOPS 3404520 HAS SOUS 2486008 HAS SOUPS 2486008 WITH SCORE 2489412.52
AT ITER 2223 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2485640 HAS SOUPS 2485640 WITH SCORE 2489044.43
AT ITER 2225 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2485234 HAS SOUPS 2485234 WITH SCORE 2488638.43
AT ITER 2228 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2484728 HAS SOUPS 2484728 WITH SCORE 2488132.43
AT ITER 2230 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2484636 HAS SOUPS 2484636 WITH SCORE 2488040.43
AT ITER 2232 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2484514 HAS SOUPS 2484514 WITH SCORE 2487918.43
AT ITER 2233 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2483834 HAS SOUPS 2483834 WITH SCORE 2487238.43
AT ITER 2235 NEW BEST:: SOT 4082376 SOS 3404430 HAS SOPS 3404430 HAS SOUS 2483516 HAS SOUPS 2483516 WITH SCORE 2486920.43
AT ITER 2237 NEW BEST:: SOT 4082376 SOS 3404222 HAS SOPS 3404222 HAS SOUS 2482680 HAS SOUPS 2482680 WITH SCORE 2486084.222
AT ITER 2238 NEW BEST:: SOT 4081980 SOS 3403826 HAS SOPS 3403826 HAS SOUS 2481786 HAS SOUPS 2481786 WITH SCORE 2485189.826
AT ITER 2245 NEW BEST:: SOT 4081980 SOS 3403826 HAS SOPS 3403826 HAS SOUS 2481422 HAS SOUPS 2481422 WITH SCORE 2484825.826
AT ITER 2252 NEW BEST:: SOT 4081980 SOS 3403786 HAS SOPS 3403786 HAS SOUS 2481382 HAS SOUPS 2481382 WITH SCORE 2484785.786
AT ITER 2258 NEW BEST:: SOT 4081980 SOS 3403786 HAS SOPS 3403786 HAS SOUS 2480904 HAS SOUPS 2480904 WITH SCORE 2484307.786
AT ITER 2267 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2480664 HAS SOUPS 2480664 WITH SCORE 2484067.546
AT ITER 2275 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2480568 HAS SOUPS 2480568 WITH SCORE 2483971.546
AT ITER 2276 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2480170 HAS SOUPS 2480170 WITH SCORE 2483573.546
AT ITER 2279 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2479250 HAS SOUPS 2479250 WITH SCORE 2482653.546
AT ITER 2296 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2479050 HAS SOUPS 2479050 WITH SCORE 2482453.546
AT ITER 2314 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2478306 HAS SOUPS 2478306 WITH SCORE 2481709.546
AT ITER 2315 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2477212 HAS SOUPS 2477212 WITH SCORE 2480615.546
AT ITER 2321 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2477080 HAS SOUPS 2477080 WITH SCORE 2480483.546
AT ITER 2325 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2476792 HAS SOUPS 2476792 WITH SCORE 2480195.546
AT ITER 2326 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2476336 HAS SOUPS 2476336 WITH SCORE 2479739.546
AT ITER 2336 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2476170 HAS SOUPS 2476170 WITH SCORE 2479573.546
AT ITER 2351 NEW BEST:: SOT 4081980 SOS 3403546 HAS SOPS 3403546 HAS SOUS 2475804 HAS SOUPS 2475804 WITH SCORE 2479207.546
AT ITER 2353 NEW BEST:: SOT 4081980 SOS 3403420 HAS SOPS 3403420 HAS SOUS 2475366 HAS SOUPS 2475366 WITH SCORE 2478769.42
AT ITER 2356 NEW BEST:: SOT 4081980 SOS 3403420 HAS SOPS 3403420 HAS SOUS 2474076 HAS SOUPS 2474076 WITH SCORE 2477479.42
AT ITER 2359 NEW BEST:: SOT 4081980 SOS 3403420 HAS SOPS 3403420 HAS SOUS 2472666 HAS SOUPS 2472666 WITH SCORE 2476069.42
AT ITER 2362 NEW BEST:: SOT 4081980 SOS 3403114 HAS SOPS 3403114 HAS SOUS 2472360 HAS SOUPS 2472360 WITH SCORE 2475763.114
AT ITER 2365 NEW BEST:: SOT 4081980 SOS 3403260 HAS SOPS 3403260 HAS SOUS 2471954 HAS SOUPS 2471954 WITH SCORE 2475357.26
AT ITER 2368 NEW BEST:: SOT 4081980 SOS 3403260 HAS SOPS 3403260 HAS SOUS 2471458 HAS SOUPS 2471458 WITH SCORE 2474861.26
AT ITER 2370 NEW BEST:: SOT 4081980 SOS 3402878 HAS SOPS 3402878 HAS SOUS 2469768 HAS SOUPS 2469768 WITH SCORE 2473170.878
AT ITER 2371 NEW BEST:: SOT 4081980 SOS 3402878 HAS SOPS 3402878 HAS SOUS 2469182 HAS SOUPS 2469182 WITH SCORE 2472584.878
AT ITER 2389 NEW BEST:: SOT 4081980 SOS 3402878 HAS SOPS 3402878 HAS SOUS 2469128 HAS SOUPS 2469128 WITH SCORE 2472530.878
AT ITER 2400 NEW BEST:: SOT 4081980 SOS 3402878 HAS SOPS 3402878 HAS SOUS 2468354 HAS SOUPS 2468354 WITH SCORE 2471756.878
AT ITER 2412 NEW BEST:: SOT 4081980 SOS 3402878 HAS SOPS 3402878 HAS SOUS 2468120 HAS SOUPS 2468120 WITH SCORE 2471522.878
AT ITER 2419 NEW BEST:: SOT 4081980 SOS 3402800 HAS SOPS 3402800 HAS SOUS 2467468 HAS SOUPS 2467468 WITH SCORE 2470870.8
AT ITER 2421 NEW BEST:: SOT 4081980 SOS 3402696 HAS SOPS 3402696 HAS SOUS 2466884 HAS SOUPS 2466884 WITH SCORE 2470286.696
AT ITER 2434 NEW BEST:: SOT 4081980 SOS 3402696 HAS SOPS 3402696 HAS SOUS 2466770 HAS SOUPS 2466770 WITH SCORE 2470172.696
AT ITER 2436 NEW BEST:: SOT 4081980 SOS 3402696 HAS SOPS 3402696 HAS SOUS 2466380 HAS SOUPS 2466380 WITH SCORE 2469782.696
AT ITER 2447 NEW BEST:: SOT 4081980 SOS 3402340 HAS SOPS 3402340 HAS SOUS 2466024 HAS SOUPS 2466024 WITH SCORE 2469426.34
AT ITER 2448 NEW BEST:: SOT 4081980 SOS 3402340 HAS SOPS 3402340 HAS SOUS 2465574 HAS SOUPS 2465574 WITH SCORE 2468976.34
AT ITER 2464 NEW BEST:: SOT 4081980 SOS 3402340 HAS SOPS 3402340 HAS SOUS 2464906 HAS SOUPS 2464906 WITH SCORE 2468308.34
AT ITER 2467 NEW BEST:: SOT 4081980 SOS 3402340 HAS SOPS 3402340 HAS SOUS 2464684 HAS SOUPS 2464684 WITH SCORE 2468086.34
AT ITER 2469 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2464626 HAS SOUPS 2464626 WITH SCORE 2468028.282
AT ITER 2473 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2463752 HAS SOUPS 2463752 WITH SCORE 2467154.282
AT ITER 2474 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2463164 HAS SOUPS 2463164 WITH SCORE 2466566.282
AT ITER 2479 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2463156 HAS SOUPS 2463156 WITH SCORE 2466558.282
AT ITER 2480 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2462862 HAS SOUPS 2462862 WITH SCORE 2466264.282
AT ITER 2483 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2462786 HAS SOUPS 2462786 WITH SCORE 2466188.282
AT ITER 2486 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2462276 HAS SOUPS 2462276 WITH SCORE 2465678.282
AT ITER 2487 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2462250 HAS SOUPS 2462250 WITH SCORE 2465652.282
AT ITER 2496 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2461878 HAS SOUPS 2461878 WITH SCORE 2465280.282
AT ITER 2497 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2460614 HAS SOUPS 2460614 WITH SCORE 2464016.282
AT ITER 2498 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2460426 HAS SOUPS 2460426 WITH SCORE 2463828.282
AT ITER 2507 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2460254 HAS SOUPS 2460254 WITH SCORE 2463656.282
AT ITER 2508 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2460122 HAS SOUPS 2460122 WITH SCORE 2463524.282
AT ITER 2511 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2459740 HAS SOUPS 2459740 WITH SCORE 2463142.282
AT ITER 2512 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2459690 HAS SOUPS 2459690 WITH SCORE 2463092.282
AT ITER 2516 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2458584 HAS SOUPS 2458584 WITH SCORE 2461986.282
AT ITER 2530 NEW BEST:: SOT 4081980 SOS 3402282 HAS SOPS 3402282 HAS SOUS 2458536 HAS SOUPS 2458536 WITH SCORE 2461938.282
AT ITER 2537 NEW BEST:: SOT 4081980 SOS 3401946 HAS SOPS 3401946 HAS SOUS 2458200 HAS SOUPS 2458200 WITH SCORE 2461601.946
AT ITER 2543 NEW BEST:: SOT 4081980 SOS 3401946 HAS SOPS 3401946 HAS SOUS 2458072 HAS SOUPS 2458072 WITH SCORE 2461473.946
AT ITER 2549 NEW BEST:: SOT 4081980 SOS 3401946 HAS SOPS 3401946 HAS SOUS 2458058 HAS SOUPS 2458058 WITH SCORE 2461459.946
AT ITER 2553 NEW BEST:: SOT 4081980 SOS 3401946 HAS SOPS 3401946 HAS SOUS 2457588 HAS SOUPS 2457588 WITH SCORE 2460989.946
AT ITER 2554 NEW BEST:: SOT 4081980 SOS 3401946 HAS SOPS 3401946 HAS SOUS 2457468 HAS SOUPS 2457468 WITH SCORE 2460869.946
AT ITER 2556 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2455478 HAS SOUPS 2455478 WITH SCORE 2458879.224
AT ITER 2559 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2455436 HAS SOUPS 2455436 WITH SCORE 2458837.224
AT ITER 2571 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2454114 HAS SOUPS 2454114 WITH SCORE 2457515.224
AT ITER 2573 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2453644 HAS SOUPS 2453644 WITH SCORE 2457045.224
AT ITER 2574 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2453316 HAS SOUPS 2453316 WITH SCORE 2456717.224
AT ITER 2576 NEW BEST:: SOT 4081980 SOS 3401224 HAS SOPS 3401224 HAS SOUS 2453090 HAS SOUPS 2453090 WITH SCORE 2456491.224
AT ITER 2579 NEW BEST:: SOT 4081980 SOS 3401094 HAS SOPS 3401094 HAS SOUS 2452960 HAS SOUPS 2452960 WITH SCORE 2456361.094
AT ITER 2599 NEW BEST:: SOT 4081980 SOS 3401094 HAS SOPS 3401094 HAS SOUS 2452782 HAS SOUPS 2452782 WITH SCORE 2456183.094
AT ITER 2602 NEW BEST:: SOT 4081980 SOS 3401094 HAS SOPS 3401094 HAS SOUS 2451544 HAS SOUPS 2451544 WITH SCORE 2454945.094
AT ITER 2610 NEW BEST:: SOT 4081980 SOS 3401094 HAS SOPS 3401094 HAS SOUS 2451344 HAS SOUPS 2451344 WITH SCORE 2454745.094
AT ITER 2611 NEW BEST:: SOT 4081980 SOS 3401094 HAS SOPS 3401094 HAS SOUS 2451078 HAS SOUPS 2451078 WITH SCORE 2454479.094
AT ITER 2615 NEW BEST:: SOT 4081980 SOS 3400188 HAS SOPS 3400188 HAS SOUS 2451078 HAS SOUPS 2451078 WITH SCORE 2454478.188
AT ITER 2617 NEW BEST:: SOT 4081980 SOS 3400188 HAS SOPS 3400188 HAS SOUS 2450228 HAS SOUPS 2450228 WITH SCORE 2453628.188
AT ITER 2618 NEW BEST:: SOT 4081980 SOS 3400188 HAS SOPS 3400188 HAS SOUS 2449564 HAS SOUPS 2449564 WITH SCORE 2452964.188
AT ITER 2629 NEW BEST:: SOT 4081980 SOS 3400068 HAS SOPS 3400068 HAS SOUS 2449444 HAS SOUPS 2449444 WITH SCORE 2452844.068
AT ITER 2632 NEW BEST:: SOT 4081980 SOS 3400068 HAS SOPS 3400068 HAS SOUS 2448908 HAS SOUPS 2448908 WITH SCORE 2452308.068
AT ITER 2634 NEW BEST:: SOT 4081980 SOS 3400068 HAS SOPS 3400068 HAS SOUS 2448882 HAS SOUPS 2448882 WITH SCORE 2452282.068
AT ITER 2635 NEW BEST:: SOT 4081980 SOS 3400068 HAS SOPS 3400068 HAS SOUS 2448880 HAS SOUPS 2448880 WITH SCORE 2452280.068
AT ITER 2646 NEW BEST:: SOT 4081980 SOS 3400068 HAS SOPS 3400068 HAS SOUS 2448582 HAS SOUPS 2448582 WITH SCORE 2451982.068
AT ITER 2648 NEW BEST:: SOT 4081980 SOS 3399956 HAS SOPS 3399956 HAS SOUS 2448470 HAS SOUPS 2448470 WITH SCORE 2451869.956
AT ITER 2650 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2448226 HAS SOUPS 2448226 WITH SCORE 2451625.712
AT ITER 2659 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2447990 HAS SOUPS 2447990 WITH SCORE 2451389.712
AT ITER 2667 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2446908 HAS SOUPS 2446908 WITH SCORE 2450307.712
AT ITER 2668 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2446746 HAS SOUPS 2446746 WITH SCORE 2450145.712
AT ITER 2672 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2446402 HAS SOUPS 2446402 WITH SCORE 2449801.712
AT ITER 2673 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2445796 HAS SOUPS 2445796 WITH SCORE 2449195.712
AT ITER 2678 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2445756 HAS SOUPS 2445756 WITH SCORE 2449155.712
AT ITER 2688 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2445536 HAS SOUPS 2445536 WITH SCORE 2448935.712
AT ITER 2696 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2445524 HAS SOUPS 2445524 WITH SCORE 2448923.712
AT ITER 2697 NEW BEST:: SOT 4081980 SOS 3399712 HAS SOPS 3399712 HAS SOUS 2445340 HAS SOUPS 2445340 WITH SCORE 2448739.712
AT ITER 2698 NEW BEST:: SOT 4081980 SOS 3399602 HAS SOPS 3399602 HAS SOUS 2445230 HAS SOUPS 2445230 WITH SCORE 2448629.602
AT ITER 2700 NEW BEST:: SOT 4081980 SOS 3399602 HAS SOPS 3399602 HAS SOUS 2443768 HAS SOUPS 2443768 WITH SCORE 2447167.602
AT ITER 2706 NEW BEST:: SOT 4081980 SOS 3397882 HAS SOPS 3397882 HAS SOUS 2442996 HAS SOUPS 2442996 WITH SCORE 2446393.882
AT ITER 2708 NEW BEST:: SOT 4081980 SOS 3397882 HAS SOPS 3397882 HAS SOUS 2442978 HAS SOUPS 2442978 WITH SCORE 2446375.882
AT ITER 2717 NEW BEST:: SOT 4081980 SOS 3397882 HAS SOPS 3397882 HAS SOUS 2442478 HAS SOUPS 2442478 WITH SCORE 2445875.882
AT ITER 2718 NEW BEST:: SOT 4081980 SOS 3397882 HAS SOPS 3397882 HAS SOUS 2442212 HAS SOUPS 2442212 WITH SCORE 2445609.882
AT ITER 2721 NEW BEST:: SOT 4081980 SOS 3397882 HAS SOPS 3397882 HAS SOUS 2441062 HAS SOUPS 2441062 WITH SCORE 2444459.882
AT ITER 2726 NEW BEST:: SOT 4081980 SOS 3397752 HAS SOPS 3397752 HAS SOUS 2440932 HAS SOUPS 2440932 WITH SCORE 2444329.752
AT ITER 2727 NEW BEST:: SOT 4081980 SOS 3397752 HAS SOPS 3397752 HAS SOUS 2440458 HAS SOUPS 2440458 WITH SCORE 2443855.752
AT ITER 2731 NEW BEST:: SOT 4081980 SOS 3397752 HAS SOPS 3397752 HAS SOUS 2440402 HAS SOUPS 2440402 WITH SCORE 2443799.752
AT ITER 2734 NEW BEST:: SOT 4081980 SOS 3397752 HAS SOPS 3397752 HAS SOUS 2440242 HAS SOUPS 2440242 WITH SCORE 2443639.752
AT ITER 2736 NEW BEST:: SOT 4081980 SOS 3397752 HAS SOPS 3397752 HAS SOUS 2440132 HAS SOUPS 2440132 WITH SCORE 2443529.752
AT ITER 2740 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2439600 HAS SOUPS 2439600 WITH SCORE 2442997.454
AT ITER 2742 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2439532 HAS SOUPS 2439532 WITH SCORE 2442929.454
AT ITER 2746 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2438502 HAS SOUPS 2438502 WITH SCORE 2441899.454
AT ITER 2747 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2436594 HAS SOUPS 2436594 WITH SCORE 2439991.454
AT ITER 2748 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2435998 HAS SOUPS 2435998 WITH SCORE 2439395.454
AT ITER 2750 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2435974 HAS SOUPS 2435974 WITH SCORE 2439371.454
AT ITER 2752 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2435972 HAS SOUPS 2435972 WITH SCORE 2439369.454
AT ITER 2754 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2435094 HAS SOUPS 2435094 WITH SCORE 2438491.454
AT ITER 2755 NEW BEST:: SOT 4081980 SOS 3397454 HAS SOPS 3397454 HAS SOUS 2435058 HAS SOUPS 2435058 WITH SCORE 2438455.454
AT ITER 2756 NEW BEST:: SOT 4081980 SOS 3397146 HAS SOPS 3397146 HAS SOUS 2434190 HAS SOUPS 2434190 WITH SCORE 2437587.146
AT ITER 2776 NEW BEST:: SOT 4081980 SOS 3397146 HAS SOPS 3397146 HAS SOUS 2433856 HAS SOUPS 2433856 WITH SCORE 2437253.146
AT ITER 2783 NEW BEST:: SOT 4081980 SOS 3397146 HAS SOPS 3397146 HAS SOUS 2433838 HAS SOUPS 2433838 WITH SCORE 2437235.146
AT ITER 2785 NEW BEST:: SOT 4081980 SOS 3397146 HAS SOPS 3397146 HAS SOUS 2432848 HAS SOUPS 2432848 WITH SCORE 2436245.146
AT ITER 2786 NEW BEST:: SOT 4081980 SOS 3396960 HAS SOPS 3396960 HAS SOUS 2432662 HAS SOUPS 2432662 WITH SCORE 2436058.96
AT ITER 2796 NEW BEST:: SOT 4081980 SOS 3396960 HAS SOPS 3396960 HAS SOUS 2430780 HAS SOUPS 2430780 WITH SCORE 2434176.96
AT ITER 2799 NEW BEST:: SOT 4081980 SOS 3396960 HAS SOPS 3396960 HAS SOUS 2430392 HAS SOUPS 2430392 WITH SCORE 2433788.96
AT ITER 2801 NEW BEST:: SOT 4081980 SOS 3396960 HAS SOPS 3396960 HAS SOUS 2430208 HAS SOUPS 2430208 WITH SCORE 2433604.96
AT ITER 2805 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2429710 HAS SOUPS 2429710 WITH SCORE 2433106.462
AT ITER 2806 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2429256 HAS SOUPS 2429256 WITH SCORE 2432652.462
AT ITER 2810 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2428892 HAS SOUPS 2428892 WITH SCORE 2432288.462
AT ITER 2814 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2428504 HAS SOUPS 2428504 WITH SCORE 2431900.462
AT ITER 2823 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2428258 HAS SOUPS 2428258 WITH SCORE 2431654.462
AT ITER 2826 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2428158 HAS SOUPS 2428158 WITH SCORE 2431554.462
AT ITER 2827 NEW BEST:: SOT 4081980 SOS 3396462 HAS SOPS 3396462 HAS SOUS 2427994 HAS SOUPS 2427994 WITH SCORE 2431390.462
AT ITER 2834 NEW BEST:: SOT 4081980 SOS 3396428 HAS SOPS 3396428 HAS SOUS 2427670 HAS SOUPS 2427670 WITH SCORE 2431066.428
AT ITER 2843 NEW BEST:: SOT 4081980 SOS 3396428 HAS SOPS 3396428 HAS SOUS 2427158 HAS SOUPS 2427158 WITH SCORE 2430554.428
AT ITER 2849 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2426656 HAS SOUPS 2426656 WITH SCORE 2430051.926
AT ITER 2857 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2426376 HAS SOUPS 2426376 WITH SCORE 2429771.926
AT ITER 2858 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2426224 HAS SOUPS 2426224 WITH SCORE 2429619.926
AT ITER 2859 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2425406 HAS SOUPS 2425406 WITH SCORE 2428801.926
AT ITER 2861 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2425058 HAS SOUPS 2425058 WITH SCORE 2428453.926
AT ITER 2862 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2424620 HAS SOUPS 2424620 WITH SCORE 2428015.926
AT ITER 2864 NEW BEST:: SOT 4081980 SOS 3395926 HAS SOPS 3395926 HAS SOUS 2424200 HAS SOUPS 2424200 WITH SCORE 2427595.926
AT ITER 2868 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2422842 HAS SOUPS 2422842 WITH SCORE 2426237.45
AT ITER 2869 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2422220 HAS SOUPS 2422220 WITH SCORE 2425615.45
AT ITER 2875 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2420790 HAS SOUPS 2420790 WITH SCORE 2424185.45
AT ITER 2880 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2420652 HAS SOUPS 2420652 WITH SCORE 2424047.45
AT ITER 2882 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2420496 HAS SOUPS 2420496 WITH SCORE 2423891.45
AT ITER 2888 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2418792 HAS SOUPS 2418792 WITH SCORE 2422187.45
AT ITER 2900 NEW BEST:: SOT 4081980 SOS 3395450 HAS SOPS 3395450 HAS SOUS 2417736 HAS SOUPS 2417736 WITH SCORE 2421131.45
AT ITER 2902 NEW BEST:: SOT 4081980 SOS 3395146 HAS SOPS 3395146 HAS SOUS 2416272 HAS SOUPS 2416272 WITH SCORE 2419667.146
AT ITER 2910 NEW BEST:: SOT 4081980 SOS 3395146 HAS SOPS 3395146 HAS SOUS 2416220 HAS SOUPS 2416220 WITH SCORE 2419615.146
AT ITER 2913 NEW BEST:: SOT 4081980 SOS 3395146 HAS SOPS 3395146 HAS SOUS 2416118 HAS SOUPS 2416118 WITH SCORE 2419513.146
AT ITER 2920 NEW BEST:: SOT 4081980 SOS 3395146 HAS SOPS 3395146 HAS SOUS 2415784 HAS SOUPS 2415784 WITH SCORE 2419179.146
AT ITER 2929 NEW BEST:: SOT 4081980 SOS 3395146 HAS SOPS 3395146 HAS SOUS 2414086 HAS SOUPS 2414086 WITH SCORE 2417481.146
AT ITER 2939 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2413824 HAS SOUPS 2413824 WITH SCORE 2417218.884
AT ITER 2941 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2413820 HAS SOUPS 2413820 WITH SCORE 2417214.884
AT ITER 2942 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2413308 HAS SOUPS 2413308 WITH SCORE 2416702.884
AT ITER 2948 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2412926 HAS SOUPS 2412926 WITH SCORE 2416320.884
AT ITER 2957 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2412918 HAS SOUPS 2412918 WITH SCORE 2416312.884
AT ITER 2980 NEW BEST:: SOT 4081718 SOS 3394884 HAS SOPS 3394884 HAS SOUS 2411970 HAS SOUPS 2411970 WITH SCORE 2415364.884
AT ITER 2983 NEW BEST:: SOT 4081718 SOS 3333844 HAS SOPS 3333844 HAS SOUS 2411970 HAS SOUPS 2411970 WITH SCORE 2415303.844
AT ITER 2991 NEW BEST:: SOT 4081718 SOS 3333844 HAS SOPS 3333844 HAS SOUS 2411850 HAS SOUPS 2411850 WITH SCORE 2415183.844
AT ITER 2995 NEW BEST:: SOT 4081718 SOS 3333844 HAS SOPS 3333844 HAS SOUS 2411810 HAS SOUPS 2411810 WITH SCORE 2415143.844
AT ITER 3003 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2411624 HAS SOUPS 2411624 WITH SCORE 2414957.7
AT ITER 3015 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2411334 HAS SOUPS 2411334 WITH SCORE 2414667.7
AT ITER 3017 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2411180 HAS SOUPS 2411180 WITH SCORE 2414513.7
AT ITER 3018 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2411068 HAS SOUPS 2411068 WITH SCORE 2414401.7
AT ITER 3022 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2410922 HAS SOUPS 2410922 WITH SCORE 2414255.7
AT ITER 3023 NEW BEST:: SOT 4081718 SOS 3333700 HAS SOPS 3333700 HAS SOUS 2410666 HAS SOUPS 2410666 WITH SCORE 2413999.7
AT ITER 3030 NEW BEST:: SOT 4081718 SOS 3333426 HAS SOPS 3333426 HAS SOUS 2410392 HAS SOUPS 2410392 WITH SCORE 2413725.426
AT ITER 3042 NEW BEST:: SOT 4081718 SOS 3333426 HAS SOPS 3333426 HAS SOUS 2410288 HAS SOUPS 2410288 WITH SCORE 2413621.426
AT ITER 3043 NEW BEST:: SOT 4081718 SOS 3333284 HAS SOPS 3333284 HAS SOUS 2409424 HAS SOUPS 2409424 WITH SCORE 2412757.284
AT ITER 3046 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2408190 HAS SOUPS 2408190 WITH SCORE 2411523.21
AT ITER 3056 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2407864 HAS SOUPS 2407864 WITH SCORE 2411197.21
AT ITER 3060 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2407670 HAS SOUPS 2407670 WITH SCORE 2411003.21
AT ITER 3062 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2407154 HAS SOUPS 2407154 WITH SCORE 2410487.21
AT ITER 3095 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2406746 HAS SOUPS 2406746 WITH SCORE 2410079.21
AT ITER 3108 NEW BEST:: SOT 4081718 SOS 3333210 HAS SOPS 3333210 HAS SOUS 2406484 HAS SOUPS 2406484 WITH SCORE 2409817.21
AT ITER 3112 NEW BEST:: SOT 4081718 SOS 3332974 HAS SOPS 3332974 HAS SOUS 2405450 HAS SOUPS 2405450 WITH SCORE 2408782.974
AT ITER 3120 NEW BEST:: SOT 4081718 SOS 3332974 HAS SOPS 3332974 HAS SOUS 2405448 HAS SOUPS 2405448 WITH SCORE 2408780.974
AT ITER 3124 NEW BEST:: SOT 4081718 SOS 3332974 HAS SOPS 3332974 HAS SOUS 2405224 HAS SOUPS 2405224 WITH SCORE 2408556.974
AT ITER 3126 NEW BEST:: SOT 4081718 SOS 3332974 HAS SOPS 3332974 HAS SOUS 2404838 HAS SOUPS 2404838 WITH SCORE 2408170.974
AT ITER 3129 NEW BEST:: SOT 4081718 SOS 3332852 HAS SOPS 3332852 HAS SOUS 2404716 HAS SOUPS 2404716 WITH SCORE 2408048.852
AT ITER 3130 NEW BEST:: SOT 4081718 SOS 3332758 HAS SOPS 3332758 HAS SOUS 2404470 HAS SOUPS 2404470 WITH SCORE 2407802.758
AT ITER 3133 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2397460 HAS SOUPS 2397460 WITH SCORE 2400785.754
AT ITER 3136 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2397338 HAS SOUPS 2397338 WITH SCORE 2400663.754
AT ITER 3139 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2397034 HAS SOUPS 2397034 WITH SCORE 2400359.754
AT ITER 3152 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2396370 HAS SOUPS 2396370 WITH SCORE 2399695.754
AT ITER 3155 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2396218 HAS SOUPS 2396218 WITH SCORE 2399543.754
AT ITER 3156 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2396190 HAS SOUPS 2396190 WITH SCORE 2399515.754
AT ITER 3163 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2395960 HAS SOUPS 2395960 WITH SCORE 2399285.754
AT ITER 3166 NEW BEST:: SOT 4073730 SOS 3325754 HAS SOPS 3325754 HAS SOUS 2394328 HAS SOUPS 2394328 WITH SCORE 2397653.754
AT ITER 3182 NEW BEST:: SOT 4073730 SOS 3325364 HAS SOPS 3325364 HAS SOUS 2393822 HAS SOUPS 2393822 WITH SCORE 2397147.364
AT ITER 3185 NEW BEST:: SOT 4073730 SOS 3325000 HAS SOPS 3325000 HAS SOUS 2393458 HAS SOUPS 2393458 WITH SCORE 2396783.0
AT ITER 3190 NEW BEST:: SOT 4073730 SOS 3325000 HAS SOPS 3325000 HAS SOUS 2393444 HAS SOUPS 2393444 WITH SCORE 2396769.0
AT ITER 3192 NEW BEST:: SOT 4073730 SOS 3325000 HAS SOPS 3325000 HAS SOUS 2393384 HAS SOUPS 2393384 WITH SCORE 2396709.0
AT ITER 3193 NEW BEST:: SOT 4073730 SOS 3324470 HAS SOPS 3324470 HAS SOUS 2391592 HAS SOUPS 2391592 WITH SCORE 2394916.47
AT ITER 3195 NEW BEST:: SOT 4073730 SOS 3323978 HAS SOPS 3323978 HAS SOUS 2390412 HAS SOUPS 2390412 WITH SCORE 2393735.978
AT ITER 3202 NEW BEST:: SOT 4073606 SOS 3323854 HAS SOPS 3323854 HAS SOUS 2390288 HAS SOUPS 2390288 WITH SCORE 2393611.854
AT ITER 3209 NEW BEST:: SOT 4073606 SOS 3323854 HAS SOPS 3323854 HAS SOUS 2390246 HAS SOUPS 2390246 WITH SCORE 2393569.854
AT ITER 3211 NEW BEST:: SOT 4073606 SOS 3323854 HAS SOPS 3323854 HAS SOUS 2389624 HAS SOUPS 2389624 WITH SCORE 2392947.854
AT ITER 3220 NEW BEST:: SOT 4073606 SOS 3323854 HAS SOPS 3323854 HAS SOUS 2389276 HAS SOUPS 2389276 WITH SCORE 2392599.854
AT ITER 3226 NEW BEST:: SOT 4073606 SOS 3323626 HAS SOPS 3323626 HAS SOUS 2388052 HAS SOUPS 2388052 WITH SCORE 2391375.626
AT ITER 3227 NEW BEST:: SOT 4073606 SOS 3323626 HAS SOPS 3323626 HAS SOUS 2387978 HAS SOUPS 2387978 WITH SCORE 2391301.626
AT ITER 3228 NEW BEST:: SOT 4073606 SOS 3323626 HAS SOPS 3323626 HAS SOUS 2387808 HAS SOUPS 2387808 WITH SCORE 2391131.626
AT ITER 3231 NEW BEST:: SOT 4073606 SOS 3323512 HAS SOPS 3323512 HAS SOUS 2387662 HAS SOUPS 2387662 WITH SCORE 2390985.512
AT ITER 3232 NEW BEST:: SOT 4073606 SOS 3323512 HAS SOPS 3323512 HAS SOUS 2387316 HAS SOUPS 2387316 WITH SCORE 2390639.512
AT ITER 3246 NEW BEST:: SOT 4073606 SOS 3323512 HAS SOPS 3323512 HAS SOUS 2387166 HAS SOUPS 2387166 WITH SCORE 2390489.512
AT ITER 3247 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2386244 HAS SOUPS 2386244 WITH SCORE 2389566.59
AT ITER 3252 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2385458 HAS SOUPS 2385458 WITH SCORE 2388780.59
AT ITER 3256 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2385296 HAS SOUPS 2385296 WITH SCORE 2388618.59
AT ITER 3257 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2384438 HAS SOUPS 2384438 WITH SCORE 2387760.59
AT ITER 3264 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2384028 HAS SOUPS 2384028 WITH SCORE 2387350.59
AT ITER 3266 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2383502 HAS SOUPS 2383502 WITH SCORE 2386824.59
AT ITER 3268 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2383338 HAS SOUPS 2383338 WITH SCORE 2386660.59
AT ITER 3269 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2382678 HAS SOUPS 2382678 WITH SCORE 2386000.59
AT ITER 3271 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2382194 HAS SOUPS 2382194 WITH SCORE 2385516.59
AT ITER 3272 NEW BEST:: SOT 4072684 SOS 3322590 HAS SOPS 3322590 HAS SOUS 2381426 HAS SOUPS 2381426 WITH SCORE 2384748.59
AT ITER 3282 NEW BEST:: SOT 4072684 SOS 3322562 HAS SOPS 3322562 HAS SOUS 2381398 HAS SOUPS 2381398 WITH SCORE 2384720.562
AT ITER 3299 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2380416 HAS SOUPS 2380416 WITH SCORE 2383737.578
AT ITER 3305 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2380252 HAS SOUPS 2380252 WITH SCORE 2383573.578
AT ITER 3308 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2379336 HAS SOUPS 2379336 WITH SCORE 2382657.578
AT ITER 3314 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2378846 HAS SOUPS 2378846 WITH SCORE 2382167.578
AT ITER 3317 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2378366 HAS SOUPS 2378366 WITH SCORE 2381687.578
AT ITER 3322 NEW BEST:: SOT 4072684 SOS 3321578 HAS SOPS 3321578 HAS SOUS 2377984 HAS SOUPS 2377984 WITH SCORE 2381305.578
AT ITER 3341 NEW BEST:: SOT 4072684 SOS 3321576 HAS SOPS 3321576 HAS SOUS 2377982 HAS SOUPS 2377982 WITH SCORE 2381303.576
AT ITER 3343 NEW BEST:: SOT 4072684 SOS 3321576 HAS SOPS 3321576 HAS SOUS 2377638 HAS SOUPS 2377638 WITH SCORE 2380959.576
AT ITER 3346 NEW BEST:: SOT 4072684 SOS 3321532 HAS SOPS 3321532 HAS SOUS 2377180 HAS SOUPS 2377180 WITH SCORE 2380501.532
AT ITER 3354 NEW BEST:: SOT 4072684 SOS 3321532 HAS SOPS 3321532 HAS SOUS 2376886 HAS SOUPS 2376886 WITH SCORE 2380207.532
AT ITER 3357 NEW BEST:: SOT 4072684 SOS 3321378 HAS SOPS 3321378 HAS SOUS 2376728 HAS SOUPS 2376728 WITH SCORE 2380049.378
AT ITER 3361 NEW BEST:: SOT 4072684 SOS 3321214 HAS SOPS 3321214 HAS SOUS 2376316 HAS SOUPS 2376316 WITH SCORE 2379637.214
AT ITER 3362 NEW BEST:: SOT 4072684 SOS 3321204 HAS SOPS 3321204 HAS SOUS 2375994 HAS SOUPS 2375994 WITH SCORE 2379315.204
AT ITER 3366 NEW BEST:: SOT 4072684 SOS 3321204 HAS SOPS 3321204 HAS SOUS 2375682 HAS SOUPS 2375682 WITH SCORE 2379003.204
AT ITER 3380 NEW BEST:: SOT 4072684 SOS 3321204 HAS SOPS 3321204 HAS SOUS 2374514 HAS SOUPS 2374514 WITH SCORE 2377835.204
AT ITER 3382 NEW BEST:: SOT 4072684 SOS 3321204 HAS SOPS 3321204 HAS SOUS 2374402 HAS SOUPS 2374402 WITH SCORE 2377723.204
AT ITER 3385 NEW BEST:: SOT 4072684 SOS 3321188 HAS SOPS 3321188 HAS SOUS 2374386 HAS SOUPS 2374386 WITH SCORE 2377707.188
AT ITER 3393 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2374178 HAS SOUPS 2374178 WITH SCORE 2377498.98
AT ITER 3395 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2374118 HAS SOUPS 2374118 WITH SCORE 2377438.98
AT ITER 3408 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2373836 HAS SOUPS 2373836 WITH SCORE 2377156.98
AT ITER 3411 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2373238 HAS SOUPS 2373238 WITH SCORE 2376558.98
AT ITER 3413 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2373210 HAS SOUPS 2373210 WITH SCORE 2376530.98
AT ITER 3433 NEW BEST:: SOT 4072684 SOS 3320980 HAS SOPS 3320980 HAS SOUS 2373000 HAS SOUPS 2373000 WITH SCORE 2376320.98
AT ITER 3437 NEW BEST:: SOT 4072126 SOS 3320422 HAS SOPS 3320422 HAS SOUS 2371884 HAS SOUPS 2371884 WITH SCORE 2375204.422
AT ITER 3443 NEW BEST:: SOT 4072126 SOS 3320422 HAS SOPS 3320422 HAS SOUS 2371498 HAS SOUPS 2371498 WITH SCORE 2374818.422
AT ITER 3445 NEW BEST:: SOT 4072126 SOS 3320422 HAS SOPS 3320422 HAS SOUS 2371108 HAS SOUPS 2371108 WITH SCORE 2374428.422
AT ITER 3446 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2371062 HAS SOUPS 2371062 WITH SCORE 2374382.376
AT ITER 3448 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2370836 HAS SOUPS 2370836 WITH SCORE 2374156.376
AT ITER 3453 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2369922 HAS SOUPS 2369922 WITH SCORE 2373242.376
AT ITER 3454 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2369316 HAS SOUPS 2369316 WITH SCORE 2372636.376
AT ITER 3456 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2369016 HAS SOUPS 2369016 WITH SCORE 2372336.376
AT ITER 3467 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2368886 HAS SOUPS 2368886 WITH SCORE 2372206.376
AT ITER 3472 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2367960 HAS SOUPS 2367960 WITH SCORE 2371280.376
AT ITER 3479 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2367950 HAS SOUPS 2367950 WITH SCORE 2371270.376
AT ITER 3496 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2367324 HAS SOUPS 2367324 WITH SCORE 2370644.376
AT ITER 3505 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2366580 HAS SOUPS 2366580 WITH SCORE 2369900.376
AT ITER 3507 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2365874 HAS SOUPS 2365874 WITH SCORE 2369194.376
AT ITER 3517 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2365572 HAS SOUPS 2365572 WITH SCORE 2368892.376
AT ITER 3533 NEW BEST:: SOT 4072126 SOS 3320376 HAS SOPS 3320376 HAS SOUS 2365496 HAS SOUPS 2365496 WITH SCORE 2368816.376
AT ITER 3538 NEW BEST:: SOT 4072126 SOS 3319780 HAS SOPS 3319780 HAS SOUS 2364342 HAS SOUPS 2364342 WITH SCORE 2367661.78
AT ITER 3542 NEW BEST:: SOT 4072126 SOS 3319780 HAS SOPS 3319780 HAS SOUS 2363018 HAS SOUPS 2363018 WITH SCORE 2366337.78
AT ITER 3555 NEW BEST:: SOT 4072126 SOS 3319780 HAS SOPS 3319780 HAS SOUS 2362896 HAS SOUPS 2362896 WITH SCORE 2366215.78
AT ITER 3565 NEW BEST:: SOT 4072126 SOS 3319140 HAS SOPS 3319140 HAS SOUS 2361306 HAS SOUPS 2361306 WITH SCORE 2364625.14
AT ITER 3566 NEW BEST:: SOT 4072126 SOS 3319132 HAS SOPS 3319132 HAS SOUS 2361298 HAS SOUPS 2361298 WITH SCORE 2364617.132
AT ITER 3569 NEW BEST:: SOT 4072126 SOS 3319132 HAS SOPS 3319132 HAS SOUS 2359158 HAS SOUPS 2359158 WITH SCORE 2362477.132
AT ITER 3571 NEW BEST:: SOT 4072126 SOS 3319132 HAS SOPS 3319132 HAS SOUS 2358854 HAS SOUPS 2358854 WITH SCORE 2362173.132
AT ITER 3573 NEW BEST:: SOT 4072126 SOS 3318934 HAS SOPS 3318934 HAS SOUS 2358626 HAS SOUPS 2358626 WITH SCORE 2361944.934
AT ITER 3576 NEW BEST:: SOT 4072126 SOS 3318934 HAS SOPS 3318934 HAS SOUS 2358504 HAS SOUPS 2358504 WITH SCORE 2361822.934
AT ITER 3581 NEW BEST:: SOT 4072126 SOS 3318934 HAS SOPS 3318934 HAS SOUS 2358240 HAS SOUPS 2358240 WITH SCORE 2361558.934
AT ITER 3589 NEW BEST:: SOT 4072126 SOS 3318934 HAS SOPS 3318934 HAS SOUS 2358046 HAS SOUPS 2358046 WITH SCORE 2361364.934
AT ITER 3599 NEW BEST:: SOT 4072126 SOS 3318934 HAS SOPS 3318934 HAS SOUS 2357822 HAS SOUPS 2357822 WITH SCORE 2361140.934
AT ITER 3600 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2357814 HAS SOUPS 2357814 WITH SCORE 2361132.926
AT ITER 3602 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2357696 HAS SOUPS 2357696 WITH SCORE 2361014.926
AT ITER 3608 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2357356 HAS SOUPS 2357356 WITH SCORE 2360674.926
AT ITER 3615 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2357276 HAS SOUPS 2357276 WITH SCORE 2360594.926
AT ITER 3623 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2356824 HAS SOUPS 2356824 WITH SCORE 2360142.926
AT ITER 3628 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2355662 HAS SOUPS 2355662 WITH SCORE 2358980.926
AT ITER 3630 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354906 HAS SOUPS 2354906 WITH SCORE 2358224.926
AT ITER 3633 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354632 HAS SOUPS 2354632 WITH SCORE 2357950.926
AT ITER 3637 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354540 HAS SOUPS 2354540 WITH SCORE 2357858.926
AT ITER 3639 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354534 HAS SOUPS 2354534 WITH SCORE 2357852.926
AT ITER 3640 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354222 HAS SOUPS 2354222 WITH SCORE 2357540.926
AT ITER 3641 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2354072 HAS SOUPS 2354072 WITH SCORE 2357390.926
AT ITER 3642 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2353848 HAS SOUPS 2353848 WITH SCORE 2357166.926
AT ITER 3643 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2352916 HAS SOUPS 2352916 WITH SCORE 2356234.926
AT ITER 3645 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2352882 HAS SOUPS 2352882 WITH SCORE 2356200.926
AT ITER 3648 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2352832 HAS SOUPS 2352832 WITH SCORE 2356150.926
AT ITER 3651 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2352204 HAS SOUPS 2352204 WITH SCORE 2355522.926
AT ITER 3666 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2352094 HAS SOUPS 2352094 WITH SCORE 2355412.926
AT ITER 3679 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2351542 HAS SOUPS 2351542 WITH SCORE 2354860.926
AT ITER 3682 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2351352 HAS SOUPS 2351352 WITH SCORE 2354670.926
AT ITER 3687 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2351268 HAS SOUPS 2351268 WITH SCORE 2354586.926
AT ITER 3690 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2350794 HAS SOUPS 2350794 WITH SCORE 2354112.926
AT ITER 3692 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2350638 HAS SOUPS 2350638 WITH SCORE 2353956.926
AT ITER 3693 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2349546 HAS SOUPS 2349546 WITH SCORE 2352864.926
AT ITER 3696 NEW BEST:: SOT 4072126 SOS 3318926 HAS SOPS 3318926 HAS SOUS 2349518 HAS SOUPS 2349518 WITH SCORE 2352836.926
AT ITER 3701 NEW BEST:: SOT 4072126 SOS 3318906 HAS SOPS 3318906 HAS SOUS 2348744 HAS SOUPS 2348744 WITH SCORE 2352062.906
AT ITER 3711 NEW BEST:: SOT 4072126 SOS 3318906 HAS SOPS 3318906 HAS SOUS 2348602 HAS SOUPS 2348602 WITH SCORE 2351920.906
AT ITER 3718 NEW BEST:: SOT 4072126 SOS 3318906 HAS SOPS 3318906 HAS SOUS 2348580 HAS SOUPS 2348580 WITH SCORE 2351898.906
AT ITER 3719 NEW BEST:: SOT 4072126 SOS 3318906 HAS SOPS 3318906 HAS SOUS 2348338 HAS SOUPS 2348338 WITH SCORE 2351656.906
AT ITER 3721 NEW BEST:: SOT 4072126 SOS 3318278 HAS SOPS 3318278 HAS SOUS 2347710 HAS SOUPS 2347710 WITH SCORE 2351028.278
AT ITER 3750 NEW BEST:: SOT 4072126 SOS 3318278 HAS SOPS 3318278 HAS SOUS 2347634 HAS SOUPS 2347634 WITH SCORE 2350952.278
AT ITER 3761 NEW BEST:: SOT 4072126 SOS 3318278 HAS SOPS 3318278 HAS SOUS 2347258 HAS SOUPS 2347258 WITH SCORE 2350576.278
AT ITER 3764 NEW BEST:: SOT 4072126 SOS 3318260 HAS SOPS 3318260 HAS SOUS 2346760 HAS SOUPS 2346760 WITH SCORE 2350078.26
AT ITER 3765 NEW BEST:: SOT 4072126 SOS 3318260 HAS SOPS 3318260 HAS SOUS 2346748 HAS SOUPS 2346748 WITH SCORE 2350066.26
AT ITER 3767 NEW BEST:: SOT 4072126 SOS 3318178 HAS SOPS 3318178 HAS SOUS 2346666 HAS SOUPS 2346666 WITH SCORE 2349984.178
AT ITER 3768 NEW BEST:: SOT 4072126 SOS 3318178 HAS SOPS 3318178 HAS SOUS 2345946 HAS SOUPS 2345946 WITH SCORE 2349264.178
AT ITER 3771 NEW BEST:: SOT 4072126 SOS 3318178 HAS SOPS 3318178 HAS SOUS 2345942 HAS SOUPS 2345942 WITH SCORE 2349260.178
AT ITER 3793 NEW BEST:: SOT 4072126 SOS 3318178 HAS SOPS 3318178 HAS SOUS 2345594 HAS SOUPS 2345594 WITH SCORE 2348912.178
AT ITER 3802 NEW BEST:: SOT 4072126 SOS 3318150 HAS SOPS 3318150 HAS SOUS 2345480 HAS SOUPS 2345480 WITH SCORE 2348798.15
AT ITER 3804 NEW BEST:: SOT 4072126 SOS 3318150 HAS SOPS 3318150 HAS SOUS 2345000 HAS SOUPS 2345000 WITH SCORE 2348318.15
AT ITER 3810 NEW BEST:: SOT 4072126 SOS 3318044 HAS SOPS 3318044 HAS SOUS 2344674 HAS SOUPS 2344674 WITH SCORE 2347992.044
AT ITER 3816 NEW BEST:: SOT 4072126 SOS 3318008 HAS SOPS 3318008 HAS SOUS 2344638 HAS SOUPS 2344638 WITH SCORE 2347956.008
AT ITER 3827 NEW BEST:: SOT 4072126 SOS 3317980 HAS SOPS 3317980 HAS SOUS 2344610 HAS SOUPS 2344610 WITH SCORE 2347927.98
AT ITER 3839 NEW BEST:: SOT 4072126 SOS 3317818 HAS SOPS 3317818 HAS SOUS 2344448 HAS SOUPS 2344448 WITH SCORE 2347765.818
AT ITER 3846 NEW BEST:: SOT 4072126 SOS 3317818 HAS SOPS 3317818 HAS SOUS 2343610 HAS SOUPS 2343610 WITH SCORE 2346927.818
AT ITER 3849 NEW BEST:: SOT 4072126 SOS 3317818 HAS SOPS 3317818 HAS SOUS 2343300 HAS SOUPS 2343300 WITH SCORE 2346617.818
AT ITER 3856 NEW BEST:: SOT 4072126 SOS 3317818 HAS SOPS 3317818 HAS SOUS 2343252 HAS SOUPS 2343252 WITH SCORE 2346569.818
AT ITER 3869 NEW BEST:: SOT 4072126 SOS 3317818 HAS SOPS 3317818 HAS SOUS 2342898 HAS SOUPS 2342898 WITH SCORE 2346215.818
AT ITER 3882 NEW BEST:: SOT 4072126 SOS 3318600 HAS SOPS 3318600 HAS SOUS 2342524 HAS SOUPS 2342524 WITH SCORE 2345842.6
AT ITER 3884 NEW BEST:: SOT 4072126 SOS 3318600 HAS SOPS 3318600 HAS SOUS 2342338 HAS SOUPS 2342338 WITH SCORE 2345656.6
AT ITER 3897 NEW BEST:: SOT 4072126 SOS 3318600 HAS SOPS 3318600 HAS SOUS 2341700 HAS SOUPS 2341700 WITH SCORE 2345018.6
AT ITER 3906 NEW BEST:: SOT 4072126 SOS 3318600 HAS SOPS 3318600 HAS SOUS 2341386 HAS SOUPS 2341386 WITH SCORE 2344704.6
AT ITER 3915 NEW BEST:: SOT 4072126 SOS 3318600 HAS SOPS 3318600 HAS SOUS 2341100 HAS SOUPS 2341100 WITH SCORE 2344418.6
AT ITER 3925 NEW BEST:: SOT 4072126 SOS 3318220 HAS SOPS 3318220 HAS SOUS 2340720 HAS SOUPS 2340720 WITH SCORE 2344038.22
AT ITER 3952 NEW BEST:: SOT 4072126 SOS 3317928 HAS SOPS 3317928 HAS SOUS 2340428 HAS SOUPS 2340428 WITH SCORE 2343745.928
AT ITER 3960 NEW BEST:: SOT 4072126 SOS 3317928 HAS SOPS 3317928 HAS SOUS 2339522 HAS SOUPS 2339522 WITH SCORE 2342839.928
AT ITER 3962 NEW BEST:: SOT 4072126 SOS 3317804 HAS SOPS 3317804 HAS SOUS 2339350 HAS SOUPS 2339350 WITH SCORE 2342667.804
AT ITER 3964 NEW BEST:: SOT 4072126 SOS 3317656 HAS SOPS 3317656 HAS SOUS 2338846 HAS SOUPS 2338846 WITH SCORE 2342163.656
AT ITER 3966 NEW BEST:: SOT 4072126 SOS 3317656 HAS SOPS 3317656 HAS SOUS 2338634 HAS SOUPS 2338634 WITH SCORE 2341951.656
AT ITER 3967 NEW BEST:: SOT 4072126 SOS 3317656 HAS SOPS 3317656 HAS SOUS 2338068 HAS SOUPS 2338068 WITH SCORE 2341385.656
AT ITER 3968 NEW BEST:: SOT 4072126 SOS 3317656 HAS SOPS 3317656 HAS SOUS 2337842 HAS SOUPS 2337842 WITH SCORE 2341159.656
AT ITER 3973 NEW BEST:: SOT 4072126 SOS 3395314 HAS SOPS 3395314 HAS SOUS 2337752 HAS SOUPS 2337752 WITH SCORE 2341147.314
AT ITER 3978 NEW BEST:: SOT 4072126 SOS 3395244 HAS SOPS 3395244 HAS SOUS 2337682 HAS SOUPS 2337682 WITH SCORE 2341077.244
AT ITER 3984 NEW BEST:: SOT 4072126 SOS 3395244 HAS SOPS 3395244 HAS SOUS 2337670 HAS SOUPS 2337670 WITH SCORE 2341065.244
AT ITER 3989 NEW BEST:: SOT 4072126 SOS 3395244 HAS SOPS 3395244 HAS SOUS 2337626 HAS SOUPS 2337626 WITH SCORE 2341021.244
AT ITER 3996 NEW BEST:: SOT 4072126 SOS 3395244 HAS SOPS 3395244 HAS SOUS 2337478 HAS SOUPS 2337478 WITH SCORE 2340873.244
AT ITER 4003 NEW BEST:: SOT 4072126 SOS 3395244 HAS SOPS 3395244 HAS SOUS 2336942 HAS SOUPS 2336942 WITH SCORE 2340337.244
AT ITER 4010 NEW BEST:: SOT 4072126 SOS 3394850 HAS SOPS 3394850 HAS SOUS 2336530 HAS SOUPS 2336530 WITH SCORE 2339924.85
AT ITER 4011 NEW BEST:: SOT 4072126 SOS 3394850 HAS SOPS 3394850 HAS SOUS 2335146 HAS SOUPS 2335146 WITH SCORE 2338540.85
AT ITER 4013 NEW BEST:: SOT 4072126 SOS 3394850 HAS SOPS 3394850 HAS SOUS 2334388 HAS SOUPS 2334388 WITH SCORE 2337782.85
AT ITER 4014 NEW BEST:: SOT 4072126 SOS 3394814 HAS SOPS 3394814 HAS SOUS 2334050 HAS SOUPS 2334050 WITH SCORE 2337444.814
AT ITER 4021 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2333872 HAS SOUPS 2333872 WITH SCORE 2337266.636
AT ITER 4023 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2333848 HAS SOUPS 2333848 WITH SCORE 2337242.636
AT ITER 4024 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2333616 HAS SOUPS 2333616 WITH SCORE 2337010.636
AT ITER 4027 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2332596 HAS SOUPS 2332596 WITH SCORE 2335990.636
AT ITER 4030 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2332076 HAS SOUPS 2332076 WITH SCORE 2335470.636
AT ITER 4054 NEW BEST:: SOT 4072126 SOS 3394636 HAS SOPS 3394636 HAS SOUS 2331830 HAS SOUPS 2331830 WITH SCORE 2335224.636
AT ITER 4063 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2331484 HAS SOUPS 2331484 WITH SCORE 2334878.29
AT ITER 4066 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2331256 HAS SOUPS 2331256 WITH SCORE 2334650.29
AT ITER 4067 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2330984 HAS SOUPS 2330984 WITH SCORE 2334378.29
AT ITER 4068 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2330752 HAS SOUPS 2330752 WITH SCORE 2334146.29
AT ITER 4073 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2330582 HAS SOUPS 2330582 WITH SCORE 2333976.29
AT ITER 4075 NEW BEST:: SOT 4072126 SOS 3394290 HAS SOPS 3394290 HAS SOUS 2329742 HAS SOUPS 2329742 WITH SCORE 2333136.29
AT ITER 4082 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2329714 HAS SOUPS 2329714 WITH SCORE 2333108.262
AT ITER 4083 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2329116 HAS SOUPS 2329116 WITH SCORE 2332510.262
AT ITER 4084 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2328864 HAS SOUPS 2328864 WITH SCORE 2332258.262
AT ITER 4100 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2328492 HAS SOUPS 2328492 WITH SCORE 2331886.262
AT ITER 4115 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2327560 HAS SOUPS 2327560 WITH SCORE 2330954.262
AT ITER 4120 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2327360 HAS SOUPS 2327360 WITH SCORE 2330754.262
AT ITER 4154 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2327346 HAS SOUPS 2327346 WITH SCORE 2330740.262
AT ITER 4157 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2326702 HAS SOUPS 2326702 WITH SCORE 2330096.262
AT ITER 4159 NEW BEST:: SOT 4072126 SOS 3394262 HAS SOPS 3394262 HAS SOUS 2326350 HAS SOUPS 2326350 WITH SCORE 2329744.262
AT ITER 4160 NEW BEST:: SOT 4072126 SOS 3393964 HAS SOPS 3393964 HAS SOUS 2325984 HAS SOUPS 2325984 WITH SCORE 2329377.964
AT ITER 4166 NEW BEST:: SOT 4072126 SOS 3393964 HAS SOPS 3393964 HAS SOUS 2325850 HAS SOUPS 2325850 WITH SCORE 2329243.964
AT ITER 4167 NEW BEST:: SOT 4072126 SOS 3393840 HAS SOPS 3393840 HAS SOUS 2325726 HAS SOUPS 2325726 WITH SCORE 2329119.84
AT ITER 4170 NEW BEST:: SOT 4072126 SOS 3393840 HAS SOPS 3393840 HAS SOUS 2325464 HAS SOUPS 2325464 WITH SCORE 2328857.84
AT ITER 4173 NEW BEST:: SOT 4072126 SOS 3393840 HAS SOPS 3393840 HAS SOUS 2324926 HAS SOUPS 2324926 WITH SCORE 2328319.84
AT ITER 4176 NEW BEST:: SOT 4072126 SOS 3393648 HAS SOPS 3393648 HAS SOUS 2324734 HAS SOUPS 2324734 WITH SCORE 2328127.648
AT ITER 4182 NEW BEST:: SOT 4072126 SOS 3393648 HAS SOPS 3393648 HAS SOUS 2324240 HAS SOUPS 2324240 WITH SCORE 2327633.648
AT ITER 4194 NEW BEST:: SOT 4072126 SOS 3393458 HAS SOPS 3393458 HAS SOUS 2324050 HAS SOUPS 2324050 WITH SCORE 2327443.458
AT ITER 4199 NEW BEST:: SOT 4072126 SOS 3393458 HAS SOPS 3393458 HAS SOUS 2323520 HAS SOUPS 2323520 WITH SCORE 2326913.458
AT ITER 4215 NEW BEST:: SOT 4072126 SOS 3393458 HAS SOPS 3393458 HAS SOUS 2323486 HAS SOUPS 2323486 WITH SCORE 2326879.458
AT ITER 4219 NEW BEST:: SOT 4072126 SOS 3393458 HAS SOPS 3393458 HAS SOUS 2323470 HAS SOUPS 2323470 WITH SCORE 2326863.458
AT ITER 4228 NEW BEST:: SOT 4071382 SOS 3392714 HAS SOPS 3392714 HAS SOUS 2322726 HAS SOUPS 2322726 WITH SCORE 2326118.714
AT ITER 4232 NEW BEST:: SOT 4071382 SOS 3392420 HAS SOPS 3392420 HAS SOUS 2322400 HAS SOUPS 2322400 WITH SCORE 2325792.42
AT ITER 4236 NEW BEST:: SOT 4071382 SOS 3392420 HAS SOPS 3392420 HAS SOUS 2322348 HAS SOUPS 2322348 WITH SCORE 2325740.42
AT ITER 4247 NEW BEST:: SOT 4071382 SOS 3392420 HAS SOPS 3392420 HAS SOUS 2321298 HAS SOUPS 2321298 WITH SCORE 2324690.42
AT ITER 4252 NEW BEST:: SOT 4071382 SOS 3392420 HAS SOPS 3392420 HAS SOUS 2320836 HAS SOUPS 2320836 WITH SCORE 2324228.42
AT ITER 4255 NEW BEST:: SOT 4071382 SOS 3392420 HAS SOPS 3392420 HAS SOUS 2320754 HAS SOUPS 2320754 WITH SCORE 2324146.42
AT ITER 4256 NEW BEST:: SOT 4071382 SOS 3392360 HAS SOPS 3392360 HAS SOUS 2320694 HAS SOUPS 2320694 WITH SCORE 2324086.36
AT ITER 4263 NEW BEST:: SOT 4071382 SOS 3392360 HAS SOPS 3392360 HAS SOUS 2320644 HAS SOUPS 2320644 WITH SCORE 2324036.36
AT ITER 4267 NEW BEST:: SOT 4071382 SOS 3392360 HAS SOPS 3392360 HAS SOUS 2320092 HAS SOUPS 2320092 WITH SCORE 2323484.36
AT ITER 4273 NEW BEST:: SOT 4071382 SOS 3392360 HAS SOPS 3392360 HAS SOUS 2318912 HAS SOUPS 2318912 WITH SCORE 2322304.36
AT ITER 4282 NEW BEST:: SOT 4071382 SOS 3392360 HAS SOPS 3392360 HAS SOUS 2318144 HAS SOUPS 2318144 WITH SCORE 2321536.36
AT ITER 4285 NEW BEST:: SOT 4071382 SOS 3392190 HAS SOPS 3392190 HAS SOUS 2317318 HAS SOUPS 2317318 WITH SCORE 2320710.19
AT ITER 4292 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2317168 HAS SOUPS 2317168 WITH SCORE 2320560.04
AT ITER 4295 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2317134 HAS SOUPS 2317134 WITH SCORE 2320526.04
AT ITER 4311 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2316898 HAS SOUPS 2316898 WITH SCORE 2320290.04
AT ITER 4312 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2315884 HAS SOUPS 2315884 WITH SCORE 2319276.04
AT ITER 4314 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2315330 HAS SOUPS 2315330 WITH SCORE 2318722.04
AT ITER 4316 NEW BEST:: SOT 4071382 SOS 3392040 HAS SOPS 3392040 HAS SOUS 2314564 HAS SOUPS 2314564 WITH SCORE 2317956.04
AT ITER 4323 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2314212 HAS SOUPS 2314212 WITH SCORE 2317603.966
AT ITER 4335 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2313360 HAS SOUPS 2313360 WITH SCORE 2316751.966
AT ITER 4343 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2312938 HAS SOUPS 2312938 WITH SCORE 2316329.966
AT ITER 4355 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2312264 HAS SOUPS 2312264 WITH SCORE 2315655.966
AT ITER 4369 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2312150 HAS SOUPS 2312150 WITH SCORE 2315541.966
AT ITER 4371 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2311850 HAS SOUPS 2311850 WITH SCORE 2315241.966
AT ITER 4374 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2311842 HAS SOUPS 2311842 WITH SCORE 2315233.966
AT ITER 4383 NEW BEST:: SOT 4071382 SOS 3391966 HAS SOPS 3391966 HAS SOUS 2311716 HAS SOUPS 2311716 WITH SCORE 2315107.966
AT ITER 4389 NEW BEST:: SOT 4071382 SOS 3392036 HAS SOPS 3392036 HAS SOUS 2311516 HAS SOUPS 2311516 WITH SCORE 2314908.036
AT ITER 4395 NEW BEST:: SOT 4071382 SOS 3392036 HAS SOPS 3392036 HAS SOUS 2311496 HAS SOUPS 2311496 WITH SCORE 2314888.036
AT ITER 4409 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2311070 HAS SOUPS 2311070 WITH SCORE 2314793.908
AT ITER 4414 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2311044 HAS SOUPS 2311044 WITH SCORE 2314767.908
AT ITER 4419 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2310698 HAS SOUPS 2310698 WITH SCORE 2314421.908
AT ITER 4428 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2310510 HAS SOUPS 2310510 WITH SCORE 2314233.908
AT ITER 4430 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309998 HAS SOUPS 2309998 WITH SCORE 2313721.908
AT ITER 4432 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309834 HAS SOUPS 2309834 WITH SCORE 2313557.908
AT ITER 4437 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309798 HAS SOUPS 2309798 WITH SCORE 2313521.908
AT ITER 4443 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309694 HAS SOUPS 2309694 WITH SCORE 2313417.908
AT ITER 4450 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309644 HAS SOUPS 2309644 WITH SCORE 2313367.908
AT ITER 4452 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2309366 HAS SOUPS 2309366 WITH SCORE 2313089.908
AT ITER 4461 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2308496 HAS SOUPS 2308496 WITH SCORE 2312219.908
AT ITER 4462 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2308390 HAS SOUPS 2308390 WITH SCORE 2312113.908
AT ITER 4471 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2308144 HAS SOUPS 2308144 WITH SCORE 2311867.908
AT ITER 4473 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2308116 HAS SOUPS 2308116 WITH SCORE 2311839.908
AT ITER 4478 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2307950 HAS SOUPS 2307950 WITH SCORE 2311673.908
AT ITER 4492 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2307796 HAS SOUPS 2307796 WITH SCORE 2311519.908
AT ITER 4493 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2307724 HAS SOUPS 2307724 WITH SCORE 2311447.908
AT ITER 4494 NEW BEST:: SOT 4070684 SOS 3723908 HAS SOPS 3723908 HAS SOUS 2306220 HAS SOUPS 2306220 WITH SCORE 2309943.908
AT ITER 4510 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2304734 HAS SOUPS 2304734 WITH SCORE 2308457.138
AT ITER 4513 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2304390 HAS SOUPS 2304390 WITH SCORE 2308113.138
AT ITER 4520 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2304376 HAS SOUPS 2304376 WITH SCORE 2308099.138
AT ITER 4539 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2303372 HAS SOUPS 2303372 WITH SCORE 2307095.138
AT ITER 4540 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2303336 HAS SOUPS 2303336 WITH SCORE 2307059.138
AT ITER 4545 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2303202 HAS SOUPS 2303202 WITH SCORE 2306925.138
AT ITER 4548 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2302996 HAS SOUPS 2302996 WITH SCORE 2306719.138
AT ITER 4552 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2302704 HAS SOUPS 2302704 WITH SCORE 2306427.138
AT ITER 4555 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2302608 HAS SOUPS 2302608 WITH SCORE 2306331.138
AT ITER 4563 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2302008 HAS SOUPS 2302008 WITH SCORE 2305731.138
AT ITER 4564 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2301634 HAS SOUPS 2301634 WITH SCORE 2305357.138
AT ITER 4587 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2301414 HAS SOUPS 2301414 WITH SCORE 2305137.138
AT ITER 4588 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2301384 HAS SOUPS 2301384 WITH SCORE 2305107.138
AT ITER 4598 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2300802 HAS SOUPS 2300802 WITH SCORE 2304525.138
AT ITER 4599 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2300680 HAS SOUPS 2300680 WITH SCORE 2304403.138
AT ITER 4602 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2299762 HAS SOUPS 2299762 WITH SCORE 2303485.138
AT ITER 4610 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2299472 HAS SOUPS 2299472 WITH SCORE 2303195.138
AT ITER 4613 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2298836 HAS SOUPS 2298836 WITH SCORE 2302559.138
AT ITER 4614 NEW BEST:: SOT 4069914 SOS 3723138 HAS SOPS 3723138 HAS SOUS 2298712 HAS SOUPS 2298712 WITH SCORE 2302435.138
AT ITER 4636 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2298590 HAS SOUPS 2298590 WITH SCORE 2302313.034
AT ITER 4644 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2298084 HAS SOUPS 2298084 WITH SCORE 2301807.034
AT ITER 4661 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2297816 HAS SOUPS 2297816 WITH SCORE 2301539.034
AT ITER 4678 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2296800 HAS SOUPS 2296800 WITH SCORE 2300523.034
AT ITER 4697 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2296316 HAS SOUPS 2296316 WITH SCORE 2300039.034
AT ITER 4703 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2295898 HAS SOUPS 2295898 WITH SCORE 2299621.034
AT ITER 4704 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2295874 HAS SOUPS 2295874 WITH SCORE 2299597.034
AT ITER 4729 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2295762 HAS SOUPS 2295762 WITH SCORE 2299485.034
AT ITER 4737 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2295684 HAS SOUPS 2295684 WITH SCORE 2299407.034
AT ITER 4747 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2295354 HAS SOUPS 2295354 WITH SCORE 2299077.034
AT ITER 4754 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2294950 HAS SOUPS 2294950 WITH SCORE 2298673.034
AT ITER 4769 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2294640 HAS SOUPS 2294640 WITH SCORE 2298363.034
AT ITER 4779 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2294452 HAS SOUPS 2294452 WITH SCORE 2298175.034
AT ITER 4790 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2294310 HAS SOUPS 2294310 WITH SCORE 2298033.034
AT ITER 4796 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2294032 HAS SOUPS 2294032 WITH SCORE 2297755.034
AT ITER 4816 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2293924 HAS SOUPS 2293924 WITH SCORE 2297647.034
AT ITER 4817 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2293828 HAS SOUPS 2293828 WITH SCORE 2297551.034
AT ITER 4822 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2293438 HAS SOUPS 2293438 WITH SCORE 2297161.034
AT ITER 4826 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2292850 HAS SOUPS 2292850 WITH SCORE 2296573.034
AT ITER 4846 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2292532 HAS SOUPS 2292532 WITH SCORE 2296255.034
AT ITER 4851 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2292268 HAS SOUPS 2292268 WITH SCORE 2295991.034
AT ITER 4856 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2291922 HAS SOUPS 2291922 WITH SCORE 2295645.034
AT ITER 4876 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2291488 HAS SOUPS 2291488 WITH SCORE 2295211.034
AT ITER 4908 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2291360 HAS SOUPS 2291360 WITH SCORE 2295083.034
AT ITER 4920 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2291320 HAS SOUPS 2291320 WITH SCORE 2295043.034
AT ITER 4921 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2290230 HAS SOUPS 2290230 WITH SCORE 2293953.034
AT ITER 4922 NEW BEST:: SOT 4069914 SOS 3723034 HAS SOPS 3723034 HAS SOUS 2289992 HAS SOUPS 2289992 WITH SCORE 2293715.034
AT ITER 4937 NEW BEST:: SOT 4069914 SOS 3722952 HAS SOPS 3722952 HAS SOUS 2289910 HAS SOUPS 2289910 WITH SCORE 2293632.952
AT ITER 4943 NEW BEST:: SOT 4069914 SOS 3722952 HAS SOPS 3722952 HAS SOUS 2289424 HAS SOUPS 2289424 WITH SCORE 2293146.952
AT ITER 4945 NEW BEST:: SOT 4069914 SOS 3722952 HAS SOPS 3722952 HAS SOUS 2288858 HAS SOUPS 2288858 WITH SCORE 2292580.952
AT ITER 4953 NEW BEST:: SOT 4069914 SOS 3722950 HAS SOPS 3722950 HAS SOUS 2288736 HAS SOUPS 2288736 WITH SCORE 2292458.95
AT ITER 4969 NEW BEST:: SOT 4069914 SOS 3722950 HAS SOPS 3722950 HAS SOUS 2287946 HAS SOUPS 2287946 WITH SCORE 2291668.95
AT ITER 4988 NEW BEST:: SOT 4069914 SOS 3722950 HAS SOPS 3722950 HAS SOUS 2287758 HAS SOUPS 2287758 WITH SCORE 2291480.95
AT ITER 4989 NEW BEST:: SOT 4069914 SOS 3722826 HAS SOPS 3722826 HAS SOUS 2287360 HAS SOUPS 2287360 WITH SCORE 2291082.826
AT ITER 4995 NEW BEST:: SOT 4069914 SOS 3722826 HAS SOPS 3722826 HAS SOUS 2287150 HAS SOUPS 2287150 WITH SCORE 2290872.826
AT ITER 4996 NEW BEST:: SOT 4069914 SOS 3722826 HAS SOPS 3722826 HAS SOUS 2287126 HAS SOUPS 2287126 WITH SCORE 2290848.826
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-00 (EX( (EU( potential( ( 1 ) <= (tk(P1289)) ),potential( ( 3 ) <= (tk(P1976)) ) ))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-01 (AG( ( (EF(potential( (tk(P1249)) <= (tk(P943)) ))) & (AX( potential( (tk(P775)) <= (tk(P1931)) ))) )))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-02 (AU( (AF(potential( (tk(P12)) <= (tk(P581)) ))),(AG( potential( (tk(P219)) <= (tk(P1365)) ))) ))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-03 (AG( (EF((! potential( (tk(P80)) <= (tk(P1642)) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-04 (! (AF((EF(potential( ( 3 ) <= (tk(P1676)) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-05 (AU( potential( (tk(P837)) <= (tk(P443)) ),(AG( potential( (tk(P650)) <= (tk(P1932)) ))) ))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-06 (AG( potential( (tk(P710)) <= (tk(P1874)) )))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-07 ( (AF((! (! potential( ( 3 ) <= (tk(P713)) ))))) | ( ( (! ( potential( ( 2 ) <= (tk(P1897)) ) & potential( ( 3 ) <= (tk(P1528)) ) )) & (AG( potential( (tk(P661)) <= (tk(P11)) ))) ) | ( ( potential( ( 3 ) <= (tk(P1133)) ) | potential( ( 1 ) <= (tk(P1376)) ) ) & (AX( potential( ( 1 ) <= (tk(P1738)) ))) ) ) )
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-08 ( (EG( (EX( potential( ( 3 ) <= (tk(P874)) ))))) | (AG( (EX( potential( (tk(P792)) <= (tk(P1312)) ))))) )
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-09 (EU( ( potential( (tk(P623)) <= (tk(P762)) ) | ( potential( (tk(P1557)) <= (tk(P1075)) ) | potential( (tk(P291)) <= (tk(P1788)) ) ) ),( potential( ( 1 ) <= (tk(P18)) ) & potential( (tk(P1418)) <= (tk(P327)) ) ) ))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-10 (AG( (EX( (! potential( (tk(P1588)) <= (tk(P556)) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-11 (! (EF((AG( potential( ( 1 ) <= (tk(P988)) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-12 ( (! (EF(potential( ( 2 ) <= (tk(P774)) )))) & (! ( (! ( potential( (tk(P542)) <= (tk(P1605)) ) | potential( ( 3 ) <= (tk(P1965)) ) )) & ( (! potential( (tk(P1286)) <= (tk(P1750)) )) & ( potential( (tk(P1070)) <= (tk(P915)) ) & potential( ( 1 ) <= (tk(P933)) ) ) ) )) )
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-13 (! (EF((AG( potential( ( 2 ) <= (tk(P935)) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-14 ( ( (EF(( potential( ( 3 ) <= (tk(P1568)) ) | potential( ( 3 ) <= (tk(P1484)) ) ))) | (AG( potential( (tk(P342)) <= (tk(P1766)) ))) ) & ( ( (! potential( (tk(P1522)) <= (tk(P1312)) )) & (! ( potential( (tk(P1040)) <= (tk(P305)) ) | potential( (tk(P2)) <= (tk(P1989)) ) )) ) | (AF(( potential( ( 3 ) <= (tk(P1479)) ) | potential( ( 1 ) <= (tk(P1286)) ) ))) ) )
PROPERTY: RwMutex-PT-r0010w1000-CTLCardinality-15 (EF((! potential( (tk(P778)) <= (tk(P2014)) ))))
FORMULA RwMutex-PT-r0010w1000-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="RwMutex-PT-r0010w1000"
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 RwMutex-PT-r0010w1000, 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 r153-oct2-158972910000283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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