fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469900732
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-100A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.230 3600000.00 3599962.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 3.4K May 14 02:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 19:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 14:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 09:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 685K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-100A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590450241990

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 100A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2503 places, 1803 transitions, 7206 arcs.
AT ITER 0 NEW BEST:: SOT 3719509 SOS 3117725 HAS SOPS 3117725 HAS SOUS 2509254 HAS SOUPS 2509254 WITH SCORE 2512371.725
AT ITER 8 NEW BEST:: SOT 3717295 SOS 3116229 HAS SOPS 3116229 HAS SOUS 2507758 HAS SOUPS 2507758 WITH SCORE 2510874.229
AT ITER 10 NEW BEST:: SOT 3716695 SOS 3115629 HAS SOPS 3115629 HAS SOUS 2506958 HAS SOUPS 2506958 WITH SCORE 2510073.629
AT ITER 11 NEW BEST:: SOT 3716695 SOS 3115221 HAS SOPS 3115221 HAS SOUS 2506957 HAS SOUPS 2506957 WITH SCORE 2510072.221
AT ITER 13 NEW BEST:: SOT 3716505 SOS 3115217 HAS SOPS 3115217 HAS SOUS 2506952 HAS SOUPS 2506952 WITH SCORE 2510067.217
AT ITER 14 NEW BEST:: SOT 3716505 SOS 3115145 HAS SOPS 3115145 HAS SOUS 2506952 HAS SOUPS 2506952 WITH SCORE 2510067.145
AT ITER 15 NEW BEST:: SOT 3715327 SOS 3113978 HAS SOPS 3113978 HAS SOUS 2505798 HAS SOUPS 2505798 WITH SCORE 2508911.978
AT ITER 16 NEW BEST:: SOT 3713864 SOS 3112740 HAS SOPS 3112740 HAS SOUS 2503653 HAS SOUPS 2503653 WITH SCORE 2506765.74
AT ITER 18 NEW BEST:: SOT 3713864 SOS 3109144 HAS SOPS 3109144 HAS SOUS 2503649 HAS SOUPS 2503649 WITH SCORE 2506758.144
AT ITER 19 NEW BEST:: SOT 3711268 SOS 3106716 HAS SOPS 3106716 HAS SOUS 2502214 HAS SOUPS 2502214 WITH SCORE 2505320.716
AT ITER 26 NEW BEST:: SOT 3711268 SOS 3103738 HAS SOPS 3103738 HAS SOUS 2502212 HAS SOUPS 2502212 WITH SCORE 2505315.738
AT ITER 28 NEW BEST:: SOT 3710388 SOS 3102858 HAS SOPS 3102858 HAS SOUS 2501332 HAS SOUPS 2501332 WITH SCORE 2504434.858
AT ITER 29 NEW BEST:: SOT 3709544 SOS 3102014 HAS SOPS 3102014 HAS SOUS 2500488 HAS SOUPS 2500488 WITH SCORE 2503590.014
AT ITER 31 NEW BEST:: SOT 3708132 SOS 3100602 HAS SOPS 3100602 HAS SOUS 2499240 HAS SOUPS 2499240 WITH SCORE 2502340.602
AT ITER 32 NEW BEST:: SOT 3705129 SOS 3094971 HAS SOPS 3094971 HAS SOUS 2494655 HAS SOUPS 2494655 WITH SCORE 2497749.971
AT ITER 39 NEW BEST:: SOT 3705129 SOS 3093621 HAS SOPS 3093621 HAS SOUS 2494648 HAS SOUPS 2494648 WITH SCORE 2497741.621
AT ITER 40 NEW BEST:: SOT 3704014 SOS 3092506 HAS SOPS 3092506 HAS SOUS 2493531 HAS SOUPS 2493531 WITH SCORE 2496623.506
AT ITER 41 NEW BEST:: SOT 3702884 SOS 3091374 HAS SOPS 3091374 HAS SOUS 2492399 HAS SOUPS 2492399 WITH SCORE 2495490.374
AT ITER 44 NEW BEST:: SOT 3701091 SOS 3089579 HAS SOPS 3089579 HAS SOUS 2491581 HAS SOUPS 2491581 WITH SCORE 2494670.579
AT ITER 45 NEW BEST:: SOT 3700883 SOS 3089371 HAS SOPS 3089371 HAS SOUS 2491373 HAS SOUPS 2491373 WITH SCORE 2494462.371
AT ITER 49 NEW BEST:: SOT 3698882 SOS 3087368 HAS SOPS 3087368 HAS SOUS 2489370 HAS SOUPS 2489370 WITH SCORE 2492457.368
AT ITER 50 NEW BEST:: SOT 3699786 SOS 3085661 HAS SOPS 3085661 HAS SOUS 2489158 HAS SOUPS 2489158 WITH SCORE 2492243.661
AT ITER 52 NEW BEST:: SOT 3699786 SOS 3084378 HAS SOPS 3084378 HAS SOUS 2489149 HAS SOUPS 2489149 WITH SCORE 2492233.378
AT ITER 57 NEW BEST:: SOT 3699786 SOS 3084189 HAS SOPS 3084189 HAS SOUS 2489149 HAS SOUPS 2489149 WITH SCORE 2492233.189
AT ITER 58 NEW BEST:: SOT 3696426 SOS 3078994 HAS SOPS 3078994 HAS SOUS 2484695 HAS SOUPS 2484695 WITH SCORE 2487773.994
AT ITER 62 NEW BEST:: SOT 3694975 SOS 3077543 HAS SOPS 3077543 HAS SOUS 2483416 HAS SOUPS 2483416 WITH SCORE 2486493.543
AT ITER 63 NEW BEST:: SOT 3694701 SOS 3073962 HAS SOPS 3073962 HAS SOUS 2481770 HAS SOUPS 2481770 WITH SCORE 2484843.962
AT ITER 64 NEW BEST:: SOT 3693840 SOS 3073101 HAS SOPS 3073101 HAS SOUS 2480900 HAS SOUPS 2480900 WITH SCORE 2483973.101
AT ITER 66 NEW BEST:: SOT 3693840 SOS 3069831 HAS SOPS 3069831 HAS SOUS 2480899 HAS SOUPS 2480899 WITH SCORE 2483968.831
AT ITER 68 NEW BEST:: SOT 3692225 SOS 3068216 HAS SOPS 3068216 HAS SOUS 2480269 HAS SOUPS 2480269 WITH SCORE 2483337.216
AT ITER 69 NEW BEST:: SOT 3691191 SOS 3065248 HAS SOPS 3065248 HAS SOUS 2478560 HAS SOUPS 2478560 WITH SCORE 2481625.248
AT ITER 70 NEW BEST:: SOT 3690365 SOS 3064422 HAS SOPS 3064422 HAS SOUS 2477406 HAS SOUPS 2477406 WITH SCORE 2480470.422
AT ITER 71 NEW BEST:: SOT 3689894 SOS 3063951 HAS SOPS 3063951 HAS SOUS 2476935 HAS SOUPS 2476935 WITH SCORE 2479998.951
AT ITER 75 NEW BEST:: SOT 3689894 SOS 3059388 HAS SOPS 3059388 HAS SOUS 2476928 HAS SOUPS 2476928 WITH SCORE 2479987.388
AT ITER 76 NEW BEST:: SOT 3686977 SOS 3053341 HAS SOPS 3053341 HAS SOUS 2473097 HAS SOUPS 2473097 WITH SCORE 2476150.341
AT ITER 77 NEW BEST:: SOT 3682345 SOS 3048709 HAS SOPS 3048709 HAS SOUS 2468536 HAS SOUPS 2468536 WITH SCORE 2471584.709
AT ITER 78 NEW BEST:: SOT 3681216 SOS 3047951 HAS SOPS 3047951 HAS SOUS 2468150 HAS SOUPS 2468150 WITH SCORE 2471197.951
AT ITER 79 NEW BEST:: SOT 3681216 SOS 3047776 HAS SOPS 3047776 HAS SOUS 2468150 HAS SOUPS 2468150 WITH SCORE 2471197.776
AT ITER 85 NEW BEST:: SOT 3679884 SOS 3046444 HAS SOPS 3046444 HAS SOUS 2466816 HAS SOUPS 2466816 WITH SCORE 2469862.444
AT ITER 89 NEW BEST:: SOT 3679743 SOS 3046301 HAS SOPS 3046301 HAS SOUS 2466673 HAS SOUPS 2466673 WITH SCORE 2469719.301
AT ITER 91 NEW BEST:: SOT 3679311 SOS 3043304 HAS SOPS 3043304 HAS SOUS 2464295 HAS SOUPS 2464295 WITH SCORE 2467338.304
AT ITER 92 NEW BEST:: SOT 3678867 SOS 3042981 HAS SOPS 3042981 HAS SOUS 2464094 HAS SOUPS 2464094 WITH SCORE 2467136.981
AT ITER 93 NEW BEST:: SOT 3677391 SOS 3041505 HAS SOPS 3041505 HAS SOUS 2462618 HAS SOUPS 2462618 WITH SCORE 2465659.505
AT ITER 94 NEW BEST:: SOT 3677132 SOS 3041246 HAS SOPS 3041246 HAS SOUS 2462359 HAS SOUPS 2462359 WITH SCORE 2465400.246
AT ITER 95 NEW BEST:: SOT 3676503 SOS 3040617 HAS SOPS 3040617 HAS SOUS 2461729 HAS SOUPS 2461729 WITH SCORE 2464769.617
AT ITER 96 NEW BEST:: SOT 3676503 SOS 3037365 HAS SOPS 3037365 HAS SOUS 2461719 HAS SOUPS 2461719 WITH SCORE 2464756.365
AT ITER 97 NEW BEST:: SOT 3675722 SOS 3036584 HAS SOPS 3036584 HAS SOUS 2461097 HAS SOUPS 2461097 WITH SCORE 2464133.584
AT ITER 100 NEW BEST:: SOT 3674872 SOS 3035734 HAS SOPS 3035734 HAS SOUS 2460247 HAS SOUPS 2460247 WITH SCORE 2463282.734
AT ITER 102 NEW BEST:: SOT 3672408 SOS 3033270 HAS SOPS 3033270 HAS SOUS 2458008 HAS SOUPS 2458008 WITH SCORE 2461041.27
AT ITER 109 NEW BEST:: SOT 3671322 SOS 3032182 HAS SOPS 3032182 HAS SOUS 2456919 HAS SOUPS 2456919 WITH SCORE 2459951.182
AT ITER 115 NEW BEST:: SOT 3671167 SOS 3029837 HAS SOPS 3029837 HAS SOUS 2455322 HAS SOUPS 2455322 WITH SCORE 2458351.837
AT ITER 117 NEW BEST:: SOT 3669300 SOS 3027968 HAS SOPS 3027968 HAS SOUS 2453452 HAS SOUPS 2453452 WITH SCORE 2456479.968
AT ITER 119 NEW BEST:: SOT 3667522 SOS 3026190 HAS SOPS 3026190 HAS SOUS 2452635 HAS SOUPS 2452635 WITH SCORE 2455661.19
AT ITER 121 NEW BEST:: SOT 3667284 SOS 3024721 HAS SOPS 3024721 HAS SOUS 2452184 HAS SOUPS 2452184 WITH SCORE 2455208.721
AT ITER 122 NEW BEST:: SOT 3665624 SOS 3023061 HAS SOPS 3023061 HAS SOUS 2450513 HAS SOUPS 2450513 WITH SCORE 2453536.061
AT ITER 123 NEW BEST:: SOT 3664501 SOS 3019187 HAS SOPS 3019187 HAS SOUS 2448008 HAS SOUPS 2448008 WITH SCORE 2451027.187
AT ITER 126 NEW BEST:: SOT 3663825 SOS 3018511 HAS SOPS 3018511 HAS SOUS 2447331 HAS SOUPS 2447331 WITH SCORE 2450349.511
AT ITER 127 NEW BEST:: SOT 3663687 SOS 3018373 HAS SOPS 3018373 HAS SOUS 2447192 HAS SOUPS 2447192 WITH SCORE 2450210.373
AT ITER 128 NEW BEST:: SOT 3663392 SOS 3018078 HAS SOPS 3018078 HAS SOUS 2446897 HAS SOUPS 2446897 WITH SCORE 2449915.078
AT ITER 130 NEW BEST:: SOT 3662397 SOS 3017390 HAS SOPS 3017390 HAS SOUS 2446575 HAS SOUPS 2446575 WITH SCORE 2449592.39
AT ITER 132 NEW BEST:: SOT 3661905 SOS 3014757 HAS SOPS 3014757 HAS SOUS 2446158 HAS SOUPS 2446158 WITH SCORE 2449172.757
AT ITER 133 NEW BEST:: SOT 3661728 SOS 3014578 HAS SOPS 3014578 HAS SOUS 2445978 HAS SOUPS 2445978 WITH SCORE 2448992.578
AT ITER 135 NEW BEST:: SOT 3660531 SOS 3013381 HAS SOPS 3013381 HAS SOUS 2444845 HAS SOUPS 2444845 WITH SCORE 2447858.381
AT ITER 137 NEW BEST:: SOT 3658164 SOS 3011012 HAS SOPS 3011012 HAS SOUS 2442476 HAS SOUPS 2442476 WITH SCORE 2445487.012
AT ITER 140 NEW BEST:: SOT 3655540 SOS 3005535 HAS SOPS 3005535 HAS SOUS 2438710 HAS SOUPS 2438710 WITH SCORE 2441715.535
AT ITER 142 NEW BEST:: SOT 3654531 SOS 3004529 HAS SOPS 3004529 HAS SOUS 2437706 HAS SOUPS 2437706 WITH SCORE 2440710.529
AT ITER 145 NEW BEST:: SOT 3653650 SOS 3003648 HAS SOPS 3003648 HAS SOUS 2436823 HAS SOUPS 2436823 WITH SCORE 2439826.648
AT ITER 148 NEW BEST:: SOT 3653650 SOS 3001000 HAS SOPS 3001000 HAS SOUS 2436814 HAS SOUPS 2436814 WITH SCORE 2439815.0
AT ITER 150 NEW BEST:: SOT 3653650 SOS 2996496 HAS SOPS 2996496 HAS SOUS 2435992 HAS SOUPS 2435992 WITH SCORE 2438988.496
AT ITER 152 NEW BEST:: SOT 3653650 SOS 2995016 HAS SOPS 2995016 HAS SOUS 2435989 HAS SOUPS 2435989 WITH SCORE 2438984.016
AT ITER 153 NEW BEST:: SOT 3653616 SOS 2994982 HAS SOPS 2994982 HAS SOUS 2435954 HAS SOUPS 2435954 WITH SCORE 2438948.982
AT ITER 155 NEW BEST:: SOT 3653616 SOS 2994772 HAS SOPS 2994772 HAS SOUS 2435954 HAS SOUPS 2435954 WITH SCORE 2438948.772
AT ITER 156 NEW BEST:: SOT 3652423 SOS 2993568 HAS SOPS 2993568 HAS SOUS 2434741 HAS SOUPS 2434741 WITH SCORE 2437734.568
AT ITER 157 NEW BEST:: SOT 3651553 SOS 2992698 HAS SOPS 2992698 HAS SOUS 2433870 HAS SOUPS 2433870 WITH SCORE 2436862.698
AT ITER 159 NEW BEST:: SOT 3649263 SOS 2990406 HAS SOPS 2990406 HAS SOUS 2431830 HAS SOUPS 2431830 WITH SCORE 2434820.406
AT ITER 163 NEW BEST:: SOT 3648012 SOS 2986606 HAS SOPS 2986606 HAS SOUS 2429793 HAS SOUPS 2429793 WITH SCORE 2432779.606
AT ITER 166 NEW BEST:: SOT 3645574 SOS 2984168 HAS SOPS 2984168 HAS SOUS 2427417 HAS SOUPS 2427417 WITH SCORE 2430401.168
AT ITER 167 NEW BEST:: SOT 3643392 SOS 2982056 HAS SOPS 2982056 HAS SOUS 2425717 HAS SOUPS 2425717 WITH SCORE 2428699.056
AT ITER 172 NEW BEST:: SOT 3642360 SOS 2981024 HAS SOPS 2981024 HAS SOUS 2424683 HAS SOUPS 2424683 WITH SCORE 2427664.024
AT ITER 173 NEW BEST:: SOT 3639841 SOS 2978505 HAS SOPS 2978505 HAS SOUS 2422894 HAS SOUPS 2422894 WITH SCORE 2425872.505
AT ITER 174 NEW BEST:: SOT 3639040 SOS 2977704 HAS SOPS 2977704 HAS SOUS 2422093 HAS SOUPS 2422093 WITH SCORE 2425070.704
AT ITER 178 NEW BEST:: SOT 3637789 SOS 2976036 HAS SOPS 2976036 HAS SOUS 2420424 HAS SOUPS 2420424 WITH SCORE 2423400.036
AT ITER 181 NEW BEST:: SOT 3637259 SOS 2975506 HAS SOPS 2975506 HAS SOUS 2419885 HAS SOUPS 2419885 WITH SCORE 2422860.506
AT ITER 183 NEW BEST:: SOT 3636147 SOS 2974394 HAS SOPS 2974394 HAS SOUS 2418771 HAS SOUPS 2418771 WITH SCORE 2421745.394
AT ITER 187 NEW BEST:: SOT 3636499 SOS 2971453 HAS SOPS 2971453 HAS SOUS 2417850 HAS SOUPS 2417850 WITH SCORE 2420821.453
AT ITER 190 NEW BEST:: SOT 3635515 SOS 2970688 HAS SOPS 2970688 HAS SOUS 2417303 HAS SOUPS 2417303 WITH SCORE 2420273.688
AT ITER 197 NEW BEST:: SOT 3634806 SOS 2965753 HAS SOPS 2965753 HAS SOUS 2415249 HAS SOUPS 2415249 WITH SCORE 2418214.753
AT ITER 200 NEW BEST:: SOT 3633054 SOS 2959895 HAS SOPS 2959895 HAS SOUS 2410678 HAS SOUPS 2410678 WITH SCORE 2413637.895
AT ITER 203 NEW BEST:: SOT 3633054 SOS 2956715 HAS SOPS 2956715 HAS SOUS 2410017 HAS SOUPS 2410017 WITH SCORE 2412973.715
AT ITER 206 NEW BEST:: SOT 3633116 SOS 2953168 HAS SOPS 2953168 HAS SOUS 2407595 HAS SOUPS 2407595 WITH SCORE 2410548.168
AT ITER 208 NEW BEST:: SOT 3632370 SOS 2952422 HAS SOPS 2952422 HAS SOUS 2406849 HAS SOUPS 2406849 WITH SCORE 2409801.422
AT ITER 210 NEW BEST:: SOT 3631291 SOS 2951341 HAS SOPS 2951341 HAS SOUS 2406374 HAS SOUPS 2406374 WITH SCORE 2409325.341
AT ITER 212 NEW BEST:: SOT 3627979 SOS 2943467 HAS SOPS 2943467 HAS SOUS 2401266 HAS SOUPS 2401266 WITH SCORE 2404209.467
AT ITER 213 NEW BEST:: SOT 3627979 SOS 2941956 HAS SOPS 2941956 HAS SOUS 2401264 HAS SOUPS 2401264 WITH SCORE 2404205.956
AT ITER 214 NEW BEST:: SOT 3626215 SOS 2940192 HAS SOPS 2940192 HAS SOUS 2399665 HAS SOUPS 2399665 WITH SCORE 2402605.192
AT ITER 215 NEW BEST:: SOT 3625582 SOS 2938047 HAS SOPS 2938047 HAS SOUS 2399132 HAS SOUPS 2399132 WITH SCORE 2402070.047
AT ITER 217 NEW BEST:: SOT 3624183 SOS 2936681 HAS SOPS 2936681 HAS SOUS 2397800 HAS SOUPS 2397800 WITH SCORE 2400736.681
AT ITER 220 NEW BEST:: SOT 3624086 SOS 2936582 HAS SOPS 2936582 HAS SOUS 2397701 HAS SOUPS 2397701 WITH SCORE 2400637.582
AT ITER 223 NEW BEST:: SOT 3624086 SOS 2934164 HAS SOPS 2934164 HAS SOUS 2397700 HAS SOUPS 2397700 WITH SCORE 2400634.164
AT ITER 225 NEW BEST:: SOT 3621180 SOS 2928476 HAS SOPS 2928476 HAS SOUS 2393471 HAS SOUPS 2393471 WITH SCORE 2396399.476
AT ITER 228 NEW BEST:: SOT 3619895 SOS 2927542 HAS SOPS 2927542 HAS SOUS 2391473 HAS SOUPS 2391473 WITH SCORE 2394400.542
AT ITER 229 NEW BEST:: SOT 3619372 SOS 2927019 HAS SOPS 2927019 HAS SOUS 2391175 HAS SOUPS 2391175 WITH SCORE 2394102.019
AT ITER 230 NEW BEST:: SOT 3619177 SOS 2926824 HAS SOPS 2926824 HAS SOUS 2390979 HAS SOUPS 2390979 WITH SCORE 2393905.824
AT ITER 232 NEW BEST:: SOT 3615387 SOS 2922742 HAS SOPS 2922742 HAS SOUS 2387006 HAS SOUPS 2387006 WITH SCORE 2389928.742
AT ITER 236 NEW BEST:: SOT 3615387 SOS 2919590 HAS SOPS 2919590 HAS SOUS 2386783 HAS SOUPS 2386783 WITH SCORE 2389702.59
AT ITER 238 NEW BEST:: SOT 3614984 SOS 2919222 HAS SOPS 2919222 HAS SOUS 2386278 HAS SOUPS 2386278 WITH SCORE 2389197.222
AT ITER 239 NEW BEST:: SOT 3614486 SOS 2918724 HAS SOPS 2918724 HAS SOUS 2385779 HAS SOUPS 2385779 WITH SCORE 2388697.724
AT ITER 241 NEW BEST:: SOT 3614323 SOS 2915384 HAS SOPS 2915384 HAS SOUS 2384926 HAS SOUPS 2384926 WITH SCORE 2387841.384
AT ITER 243 NEW BEST:: SOT 3614323 SOS 2915246 HAS SOPS 2915246 HAS SOUS 2384919 HAS SOUPS 2384919 WITH SCORE 2387834.246
AT ITER 244 NEW BEST:: SOT 3613537 SOS 2914460 HAS SOPS 2914460 HAS SOUS 2384131 HAS SOUPS 2384131 WITH SCORE 2387045.46
AT ITER 245 NEW BEST:: SOT 3611836 SOS 2909667 HAS SOPS 2909667 HAS SOUS 2379914 HAS SOUPS 2379914 WITH SCORE 2382823.667
AT ITER 246 NEW BEST:: SOT 3611836 SOS 2910142 HAS SOPS 2910142 HAS SOUS 2378886 HAS SOUPS 2378886 WITH SCORE 2381796.142
AT ITER 251 NEW BEST:: SOT 3611021 SOS 2907350 HAS SOPS 2907350 HAS SOUS 2377316 HAS SOUPS 2377316 WITH SCORE 2380223.35
AT ITER 254 NEW BEST:: SOT 3610671 SOS 2907000 HAS SOPS 2907000 HAS SOUS 2376966 HAS SOUPS 2376966 WITH SCORE 2379873.0
AT ITER 255 NEW BEST:: SOT 3609207 SOS 2905536 HAS SOPS 2905536 HAS SOUS 2375521 HAS SOUPS 2375521 WITH SCORE 2378426.536
AT ITER 256 NEW BEST:: SOT 3608095 SOS 2904424 HAS SOPS 2904424 HAS SOUS 2374409 HAS SOUPS 2374409 WITH SCORE 2377313.424
AT ITER 257 NEW BEST:: SOT 3607974 SOS 2901257 HAS SOPS 2901257 HAS SOUS 2373630 HAS SOUPS 2373630 WITH SCORE 2376531.257
AT ITER 259 NEW BEST:: SOT 3606688 SOS 2899969 HAS SOPS 2899969 HAS SOUS 2372342 HAS SOUPS 2372342 WITH SCORE 2375241.969
AT ITER 260 NEW BEST:: SOT 3605996 SOS 2899275 HAS SOPS 2899275 HAS SOUS 2371712 HAS SOUPS 2371712 WITH SCORE 2374611.275
AT ITER 262 NEW BEST:: SOT 3604918 SOS 2897493 HAS SOPS 2897493 HAS SOUS 2369825 HAS SOUPS 2369825 WITH SCORE 2372722.493
AT ITER 263 NEW BEST:: SOT 3602458 SOS 2892338 HAS SOPS 2892338 HAS SOUS 2366360 HAS SOUPS 2366360 WITH SCORE 2369252.338
AT ITER 265 NEW BEST:: SOT 3602181 SOS 2892061 HAS SOPS 2892061 HAS SOUS 2365876 HAS SOUPS 2365876 WITH SCORE 2368768.061
AT ITER 266 NEW BEST:: SOT 3601772 SOS 2891650 HAS SOPS 2891650 HAS SOUS 2365465 HAS SOUPS 2365465 WITH SCORE 2368356.65
AT ITER 268 NEW BEST:: SOT 3599489 SOS 2889370 HAS SOPS 2889370 HAS SOUS 2363185 HAS SOUPS 2363185 WITH SCORE 2366074.37
AT ITER 272 NEW BEST:: SOT 3599205 SOS 2885404 HAS SOPS 2885404 HAS SOUS 2362609 HAS SOUPS 2362609 WITH SCORE 2365494.404
AT ITER 273 NEW BEST:: SOT 3597928 SOS 2880307 HAS SOPS 2880307 HAS SOUS 2359711 HAS SOUPS 2359711 WITH SCORE 2362591.307
AT ITER 275 NEW BEST:: SOT 3597801 SOS 2879630 HAS SOPS 2879630 HAS SOUS 2359457 HAS SOUPS 2359457 WITH SCORE 2362336.63
AT ITER 276 NEW BEST:: SOT 3597801 SOS 2875228 HAS SOPS 2875228 HAS SOUS 2358511 HAS SOUPS 2358511 WITH SCORE 2361386.228
AT ITER 277 NEW BEST:: SOT 3596587 SOS 2874003 HAS SOPS 2874003 HAS SOUS 2357286 HAS SOUPS 2357286 WITH SCORE 2360160.003
AT ITER 279 NEW BEST:: SOT 3595408 SOS 2872824 HAS SOPS 2872824 HAS SOUS 2356237 HAS SOUPS 2356237 WITH SCORE 2359109.824
AT ITER 282 NEW BEST:: SOT 3594718 SOS 2869797 HAS SOPS 2869797 HAS SOUS 2354386 HAS SOUPS 2354386 WITH SCORE 2357255.797
AT ITER 285 NEW BEST:: SOT 3593597 SOS 2868676 HAS SOPS 2868676 HAS SOUS 2354322 HAS SOUPS 2354322 WITH SCORE 2357190.676
AT ITER 286 NEW BEST:: SOT 3592559 SOS 2867638 HAS SOPS 2867638 HAS SOUS 2353274 HAS SOUPS 2353274 WITH SCORE 2356141.638
AT ITER 288 NEW BEST:: SOT 3591409 SOS 2865823 HAS SOPS 2865823 HAS SOUS 2351458 HAS SOUPS 2351458 WITH SCORE 2354323.823
AT ITER 290 NEW BEST:: SOT 3588882 SOS 2863025 HAS SOPS 2863025 HAS SOUS 2348445 HAS SOUPS 2348445 WITH SCORE 2351308.025
AT ITER 291 NEW BEST:: SOT 3588882 SOS 2862252 HAS SOPS 2862252 HAS SOUS 2348437 HAS SOUPS 2348437 WITH SCORE 2351299.252
AT ITER 292 NEW BEST:: SOT 3587755 SOS 2861218 HAS SOPS 2861218 HAS SOUS 2347561 HAS SOUPS 2347561 WITH SCORE 2350422.218
AT ITER 293 NEW BEST:: SOT 3587592 SOS 2861055 HAS SOPS 2861055 HAS SOUS 2347398 HAS SOUPS 2347398 WITH SCORE 2350259.055
AT ITER 294 NEW BEST:: SOT 3586586 SOS 2856613 HAS SOPS 2856613 HAS SOUS 2344541 HAS SOUPS 2344541 WITH SCORE 2347397.613
AT ITER 295 NEW BEST:: SOT 3586046 SOS 2856073 HAS SOPS 2856073 HAS SOUS 2344001 HAS SOUPS 2344001 WITH SCORE 2346857.073
AT ITER 299 NEW BEST:: SOT 3586046 SOS 2855178 HAS SOPS 2855178 HAS SOUS 2343795 HAS SOUPS 2343795 WITH SCORE 2346650.178
AT ITER 301 NEW BEST:: SOT 3586046 SOS 2854954 HAS SOPS 2854954 HAS SOUS 2343776 HAS SOUPS 2343776 WITH SCORE 2346630.954
AT ITER 303 NEW BEST:: SOT 3582851 SOS 2851759 HAS SOPS 2851759 HAS SOUS 2339838 HAS SOUPS 2339838 WITH SCORE 2342689.759
AT ITER 305 NEW BEST:: SOT 3579800 SOS 2845633 HAS SOPS 2845633 HAS SOUS 2335310 HAS SOUPS 2335310 WITH SCORE 2338155.633
AT ITER 306 NEW BEST:: SOT 3579420 SOS 2844697 HAS SOPS 2844697 HAS SOUS 2334280 HAS SOUPS 2334280 WITH SCORE 2337124.697
AT ITER 309 NEW BEST:: SOT 3579420 SOS 2843888 HAS SOPS 2843888 HAS SOUS 2333874 HAS SOUPS 2333874 WITH SCORE 2336717.888
AT ITER 312 NEW BEST:: SOT 3578925 SOS 2843391 HAS SOPS 2843391 HAS SOUS 2333482 HAS SOUPS 2333482 WITH SCORE 2336325.391
AT ITER 313 NEW BEST:: SOT 3576428 SOS 2840894 HAS SOPS 2840894 HAS SOUS 2330760 HAS SOUPS 2330760 WITH SCORE 2333600.894
AT ITER 314 NEW BEST:: SOT 3576428 SOS 2839706 HAS SOPS 2839706 HAS SOUS 2330458 HAS SOUPS 2330458 WITH SCORE 2333297.706
AT ITER 316 NEW BEST:: SOT 3575484 SOS 2838762 HAS SOPS 2838762 HAS SOUS 2330002 HAS SOUPS 2330002 WITH SCORE 2332840.762
AT ITER 317 NEW BEST:: SOT 3573340 SOS 2836618 HAS SOPS 2836618 HAS SOUS 2328219 HAS SOUPS 2328219 WITH SCORE 2331055.618
AT ITER 319 NEW BEST:: SOT 3570532 SOS 2833810 HAS SOPS 2833810 HAS SOUS 2326098 HAS SOUPS 2326098 WITH SCORE 2328931.81
AT ITER 320 NEW BEST:: SOT 3569927 SOS 2833203 HAS SOPS 2833203 HAS SOUS 2325491 HAS SOUPS 2325491 WITH SCORE 2328324.203
AT ITER 322 NEW BEST:: SOT 3569076 SOS 2829443 HAS SOPS 2829443 HAS SOUS 2322819 HAS SOUPS 2322819 WITH SCORE 2325648.443
AT ITER 325 NEW BEST:: SOT 3568082 SOS 2828449 HAS SOPS 2828449 HAS SOUS 2322818 HAS SOUPS 2322818 WITH SCORE 2325646.449
AT ITER 326 NEW BEST:: SOT 3568217 SOS 2823741 HAS SOPS 2823741 HAS SOUS 2320554 HAS SOUPS 2320554 WITH SCORE 2323377.741
AT ITER 327 NEW BEST:: SOT 3568217 SOS 2823741 HAS SOPS 2823741 HAS SOUS 2320232 HAS SOUPS 2320232 WITH SCORE 2323055.741
AT ITER 328 NEW BEST:: SOT 3567328 SOS 2822852 HAS SOPS 2822852 HAS SOUS 2319334 HAS SOUPS 2319334 WITH SCORE 2322156.852
AT ITER 329 NEW BEST:: SOT 3562348 SOS 2817870 HAS SOPS 2817870 HAS SOUS 2314352 HAS SOUPS 2314352 WITH SCORE 2317169.87
AT ITER 332 NEW BEST:: SOT 3562348 SOS 2817684 HAS SOPS 2817684 HAS SOUS 2314352 HAS SOUPS 2314352 WITH SCORE 2317169.684
AT ITER 333 NEW BEST:: SOT 3561887 SOS 2813848 HAS SOPS 2813848 HAS SOUS 2312068 HAS SOUPS 2312068 WITH SCORE 2314881.848
AT ITER 335 NEW BEST:: SOT 3561887 SOS 2811841 HAS SOPS 2811841 HAS SOUS 2312065 HAS SOUPS 2312065 WITH SCORE 2314876.841
AT ITER 338 NEW BEST:: SOT 3558484 SOS 2805764 HAS SOPS 2805764 HAS SOUS 2307397 HAS SOUPS 2307397 WITH SCORE 2310202.764
AT ITER 339 NEW BEST:: SOT 3555169 SOS 2802447 HAS SOPS 2802447 HAS SOUS 2304080 HAS SOUPS 2304080 WITH SCORE 2306882.447
AT ITER 344 NEW BEST:: SOT 3554399 SOS 2798299 HAS SOPS 2798299 HAS SOUS 2302019 HAS SOUPS 2302019 WITH SCORE 2304817.299
AT ITER 345 NEW BEST:: SOT 3554397 SOS 2798060 HAS SOPS 2798060 HAS SOUS 2301780 HAS SOUPS 2301780 WITH SCORE 2304578.06
AT ITER 346 NEW BEST:: SOT 3553072 SOS 2796993 HAS SOPS 2796993 HAS SOUS 2300944 HAS SOUPS 2300944 WITH SCORE 2303740.993
AT ITER 347 NEW BEST:: SOT 3551728 SOS 2792934 HAS SOPS 2792934 HAS SOUS 2298977 HAS SOUPS 2298977 WITH SCORE 2301769.934
AT ITER 348 NEW BEST:: SOT 3549090 SOS 2789069 HAS SOPS 2789069 HAS SOUS 2295087 HAS SOUPS 2295087 WITH SCORE 2297876.069
AT ITER 351 NEW BEST:: SOT 3549033 SOS 2789012 HAS SOPS 2789012 HAS SOUS 2294966 HAS SOUPS 2294966 WITH SCORE 2297755.012
AT ITER 352 NEW BEST:: SOT 3549033 SOS 2786824 HAS SOPS 2786824 HAS SOUS 2294959 HAS SOUPS 2294959 WITH SCORE 2297745.824
AT ITER 354 NEW BEST:: SOT 3545873 SOS 2782522 HAS SOPS 2782522 HAS SOUS 2290648 HAS SOUPS 2290648 WITH SCORE 2293430.522
AT ITER 355 NEW BEST:: SOT 3545873 SOS 2781170 HAS SOPS 2781170 HAS SOUS 2290645 HAS SOUPS 2290645 WITH SCORE 2293426.17
AT ITER 356 NEW BEST:: SOT 3545839 SOS 2781136 HAS SOPS 2781136 HAS SOUS 2290611 HAS SOUPS 2290611 WITH SCORE 2293392.136
AT ITER 357 NEW BEST:: SOT 3545839 SOS 2776877 HAS SOPS 2776877 HAS SOUS 2289887 HAS SOUPS 2289887 WITH SCORE 2292663.877
AT ITER 361 NEW BEST:: SOT 3544226 SOS 2770653 HAS SOPS 2770653 HAS SOUS 2286975 HAS SOUPS 2286975 WITH SCORE 2289745.653
AT ITER 364 NEW BEST:: SOT 3544226 SOS 2770205 HAS SOPS 2770205 HAS SOUS 2286975 HAS SOUPS 2286975 WITH SCORE 2289745.205
AT ITER 365 NEW BEST:: SOT 3543423 SOS 2769401 HAS SOPS 2769401 HAS SOUS 2286171 HAS SOUPS 2286171 WITH SCORE 2288940.401
AT ITER 366 NEW BEST:: SOT 3543289 SOS 2769267 HAS SOPS 2769267 HAS SOUS 2286037 HAS SOUPS 2286037 WITH SCORE 2288806.267
AT ITER 368 NEW BEST:: SOT 3541974 SOS 2767952 HAS SOPS 2767952 HAS SOUS 2284878 HAS SOUPS 2284878 WITH SCORE 2287645.952
AT ITER 372 NEW BEST:: SOT 3541372 SOS 2767350 HAS SOPS 2767350 HAS SOUS 2284276 HAS SOUPS 2284276 WITH SCORE 2287043.35
AT ITER 373 NEW BEST:: SOT 3538082 SOS 2764060 HAS SOPS 2764060 HAS SOUS 2281092 HAS SOUPS 2281092 WITH SCORE 2283856.06
AT ITER 375 NEW BEST:: SOT 3538082 SOS 2761403 HAS SOPS 2761403 HAS SOUS 2281092 HAS SOUPS 2281092 WITH SCORE 2283853.403
AT ITER 377 NEW BEST:: SOT 3538082 SOS 2760371 HAS SOPS 2760371 HAS SOUS 2280464 HAS SOUPS 2280464 WITH SCORE 2283224.371
AT ITER 378 NEW BEST:: SOT 3538082 SOS 2757367 HAS SOPS 2757367 HAS SOUS 2280435 HAS SOUPS 2280435 WITH SCORE 2283192.367
AT ITER 379 NEW BEST:: SOT 3536570 SOS 2755855 HAS SOPS 2755855 HAS SOUS 2278923 HAS SOUPS 2278923 WITH SCORE 2281678.855
AT ITER 381 NEW BEST:: SOT 3535649 SOS 2755177 HAS SOPS 2755177 HAS SOUS 2278245 HAS SOUPS 2278245 WITH SCORE 2281000.177
AT ITER 382 NEW BEST:: SOT 3533624 SOS 2747709 HAS SOPS 2747709 HAS SOUS 2274611 HAS SOUPS 2274611 WITH SCORE 2277358.709
AT ITER 384 NEW BEST:: SOT 3533413 SOS 2746865 HAS SOPS 2746865 HAS SOUS 2274189 HAS SOUPS 2274189 WITH SCORE 2276935.865
AT ITER 386 NEW BEST:: SOT 3530813 SOS 2741341 HAS SOPS 2741341 HAS SOUS 2270397 HAS SOUPS 2270397 WITH SCORE 2273138.341
AT ITER 387 NEW BEST:: SOT 3529606 SOS 2739962 HAS SOPS 2739962 HAS SOUS 2269285 HAS SOUPS 2269285 WITH SCORE 2272024.962
AT ITER 388 NEW BEST:: SOT 3529010 SOS 2739366 HAS SOPS 2739366 HAS SOUS 2268689 HAS SOUPS 2268689 WITH SCORE 2271428.366
AT ITER 392 NEW BEST:: SOT 3528537 SOS 2738893 HAS SOPS 2738893 HAS SOUS 2268215 HAS SOUPS 2268215 WITH SCORE 2270953.893
AT ITER 394 NEW BEST:: SOT 3527320 SOS 2737673 HAS SOPS 2737673 HAS SOUS 2266995 HAS SOUPS 2266995 WITH SCORE 2269732.673
AT ITER 395 NEW BEST:: SOT 3526963 SOS 2737316 HAS SOPS 2737316 HAS SOUS 2266638 HAS SOUPS 2266638 WITH SCORE 2269375.316
AT ITER 396 NEW BEST:: SOT 3526961 SOS 2736814 HAS SOPS 2736814 HAS SOUS 2266601 HAS SOUPS 2266601 WITH SCORE 2269337.814
AT ITER 397 NEW BEST:: SOT 3526751 SOS 2733416 HAS SOPS 2733416 HAS SOUS 2265129 HAS SOUPS 2265129 WITH SCORE 2267862.416
AT ITER 398 NEW BEST:: SOT 3525759 SOS 2732575 HAS SOPS 2732575 HAS SOUS 2264448 HAS SOUPS 2264448 WITH SCORE 2267180.575
AT ITER 401 NEW BEST:: SOT 3524337 SOS 2731153 HAS SOPS 2731153 HAS SOUS 2263026 HAS SOUPS 2263026 WITH SCORE 2265757.153
AT ITER 404 NEW BEST:: SOT 3523248 SOS 2730064 HAS SOPS 2730064 HAS SOUS 2261926 HAS SOUPS 2261926 WITH SCORE 2264656.064
AT ITER 405 NEW BEST:: SOT 3521575 SOS 2722696 HAS SOPS 2722696 HAS SOUS 2257508 HAS SOUPS 2257508 WITH SCORE 2260230.696
AT ITER 406 NEW BEST:: SOT 3520761 SOS 2718949 HAS SOPS 2718949 HAS SOUS 2254906 HAS SOUPS 2254906 WITH SCORE 2257624.949
AT ITER 408 NEW BEST:: SOT 3520761 SOS 2717345 HAS SOPS 2717345 HAS SOUS 2254411 HAS SOUPS 2254411 WITH SCORE 2257128.345
AT ITER 412 NEW BEST:: SOT 3520760 SOS 2714999 HAS SOPS 2714999 HAS SOUS 2254407 HAS SOUPS 2254407 WITH SCORE 2257121.999
AT ITER 415 NEW BEST:: SOT 3520652 SOS 2714891 HAS SOPS 2714891 HAS SOUS 2254297 HAS SOUPS 2254297 WITH SCORE 2257011.891
AT ITER 419 NEW BEST:: SOT 3519988 SOS 2714227 HAS SOPS 2714227 HAS SOUS 2253631 HAS SOUPS 2253631 WITH SCORE 2256345.227
AT ITER 423 NEW BEST:: SOT 3518380 SOS 2712619 HAS SOPS 2712619 HAS SOUS 2252003 HAS SOUPS 2252003 WITH SCORE 2254715.619
AT ITER 424 NEW BEST:: SOT 3517493 SOS 2711732 HAS SOPS 2711732 HAS SOUS 2251116 HAS SOUPS 2251116 WITH SCORE 2253827.732
AT ITER 429 NEW BEST:: SOT 3515865 SOS 2708182 HAS SOPS 2708182 HAS SOUS 2247675 HAS SOUPS 2247675 WITH SCORE 2250383.182
AT ITER 434 NEW BEST:: SOT 3515469 SOS 2707784 HAS SOPS 2707784 HAS SOUS 2247277 HAS SOUPS 2247277 WITH SCORE 2249984.784
AT ITER 436 NEW BEST:: SOT 3513252 SOS 2705567 HAS SOPS 2705567 HAS SOUS 2245060 HAS SOUPS 2245060 WITH SCORE 2247765.567
AT ITER 438 NEW BEST:: SOT 3512948 SOS 2705413 HAS SOPS 2705413 HAS SOUS 2244896 HAS SOUPS 2244896 WITH SCORE 2247601.413
AT ITER 439 NEW BEST:: SOT 3512331 SOS 2704796 HAS SOPS 2704796 HAS SOUS 2244279 HAS SOUPS 2244279 WITH SCORE 2246983.796
AT ITER 442 NEW BEST:: SOT 3511130 SOS 2703595 HAS SOPS 2703595 HAS SOUS 2243077 HAS SOUPS 2243077 WITH SCORE 2245780.595
AT ITER 444 NEW BEST:: SOT 3511130 SOS 2701763 HAS SOPS 2701763 HAS SOUS 2243074 HAS SOUPS 2243074 WITH SCORE 2245775.763
AT ITER 445 NEW BEST:: SOT 3511130 SOS 2696993 HAS SOPS 2696993 HAS SOUS 2243064 HAS SOUPS 2243064 WITH SCORE 2245760.993
AT ITER 447 NEW BEST:: SOT 3506493 SOS 2688362 HAS SOPS 2688362 HAS SOUS 2236525 HAS SOUPS 2236525 WITH SCORE 2239213.362
AT ITER 451 NEW BEST:: SOT 3504569 SOS 2684441 HAS SOPS 2684441 HAS SOUS 2233601 HAS SOUPS 2233601 WITH SCORE 2236285.441
AT ITER 452 NEW BEST:: SOT 3504569 SOS 2680741 HAS SOPS 2680741 HAS SOUS 2233601 HAS SOUPS 2233601 WITH SCORE 2236281.741
AT ITER 456 NEW BEST:: SOT 3504569 SOS 2678701 HAS SOPS 2678701 HAS SOUS 2233601 HAS SOUPS 2233601 WITH SCORE 2236279.701
AT ITER 457 NEW BEST:: SOT 3501211 SOS 2672090 HAS SOPS 2672090 HAS SOUS 2227823 HAS SOUPS 2227823 WITH SCORE 2230495.09
AT ITER 458 NEW BEST:: SOT 3499355 SOS 2670232 HAS SOPS 2670232 HAS SOUS 2226275 HAS SOUPS 2226275 WITH SCORE 2228945.232
AT ITER 460 NEW BEST:: SOT 3498140 SOS 2666089 HAS SOPS 2666089 HAS SOUS 2223494 HAS SOUPS 2223494 WITH SCORE 2226160.089
AT ITER 461 NEW BEST:: SOT 3498135 SOS 2668030 HAS SOPS 2668030 HAS SOUS 2223065 HAS SOUPS 2223065 WITH SCORE 2225733.03
AT ITER 462 NEW BEST:: SOT 3497331 SOS 2667226 HAS SOPS 2667226 HAS SOUS 2222261 HAS SOUPS 2222261 WITH SCORE 2224928.226
AT ITER 466 NEW BEST:: SOT 3495106 SOS 2662202 HAS SOPS 2662202 HAS SOUS 2218223 HAS SOUPS 2218223 WITH SCORE 2220885.202
AT ITER 469 NEW BEST:: SOT 3494059 SOS 2660233 HAS SOPS 2660233 HAS SOUS 2216408 HAS SOUPS 2216408 WITH SCORE 2219068.233
AT ITER 470 NEW BEST:: SOT 3492691 SOS 2659219 HAS SOPS 2659219 HAS SOUS 2214815 HAS SOUPS 2214815 WITH SCORE 2217474.219
AT ITER 471 NEW BEST:: SOT 3492691 SOS 2659219 HAS SOPS 2659219 HAS SOUS 2214471 HAS SOUPS 2214471 WITH SCORE 2217130.219
AT ITER 476 NEW BEST:: SOT 3493824 SOS 2658228 HAS SOPS 2658228 HAS SOUS 2214396 HAS SOUPS 2214396 WITH SCORE 2217054.228
AT ITER 478 NEW BEST:: SOT 3491262 SOS 2655655 HAS SOPS 2655655 HAS SOUS 2211823 HAS SOUPS 2211823 WITH SCORE 2214478.655
AT ITER 484 NEW BEST:: SOT 3491094 SOS 2654622 HAS SOPS 2654622 HAS SOUS 2211173 HAS SOUPS 2211173 WITH SCORE 2213827.622
AT ITER 487 NEW BEST:: SOT 3490825 SOS 2654351 HAS SOPS 2654351 HAS SOUS 2210971 HAS SOUPS 2210971 WITH SCORE 2213625.351
AT ITER 489 NEW BEST:: SOT 3490870 SOS 2651056 HAS SOPS 2651056 HAS SOUS 2210372 HAS SOUPS 2210372 WITH SCORE 2213023.056
AT ITER 501 NEW BEST:: SOT 3489594 SOS 2649780 HAS SOPS 2649780 HAS SOUS 2209371 HAS SOUPS 2209371 WITH SCORE 2212020.78
AT ITER 502 NEW BEST:: SOT 3488177 SOS 2648363 HAS SOPS 2648363 HAS SOUS 2207954 HAS SOUPS 2207954 WITH SCORE 2210602.363
AT ITER 504 NEW BEST:: SOT 3487658 SOS 2647844 HAS SOPS 2647844 HAS SOUS 2207434 HAS SOUPS 2207434 WITH SCORE 2210081.844
AT ITER 505 NEW BEST:: SOT 3487581 SOS 2647767 HAS SOPS 2647767 HAS SOUS 2207357 HAS SOUPS 2207357 WITH SCORE 2210004.767
AT ITER 508 NEW BEST:: SOT 3487416 SOS 2647602 HAS SOPS 2647602 HAS SOUS 2207192 HAS SOUPS 2207192 WITH SCORE 2209839.602
AT ITER 509 NEW BEST:: SOT 3487416 SOS 2645889 HAS SOPS 2645889 HAS SOUS 2207191 HAS SOUPS 2207191 WITH SCORE 2209836.889
AT ITER 514 NEW BEST:: SOT 3487463 SOS 2644014 HAS SOPS 2644014 HAS SOUS 2207039 HAS SOUPS 2207039 WITH SCORE 2209683.014
AT ITER 519 NEW BEST:: SOT 3487463 SOS 2643083 HAS SOPS 2643083 HAS SOUS 2206728 HAS SOUPS 2206728 WITH SCORE 2209371.083
AT ITER 523 NEW BEST:: SOT 3487463 SOS 2642912 HAS SOPS 2642912 HAS SOUS 2206726 HAS SOUPS 2206726 WITH SCORE 2209368.912
AT ITER 525 NEW BEST:: SOT 3487463 SOS 2639859 HAS SOPS 2639859 HAS SOUS 2206715 HAS SOUPS 2206715 WITH SCORE 2209354.859
AT ITER 531 NEW BEST:: SOT 3487308 SOS 2639704 HAS SOPS 2639704 HAS SOUS 2206559 HAS SOUPS 2206559 WITH SCORE 2209198.704
AT ITER 533 NEW BEST:: SOT 3487308 SOS 2638265 HAS SOPS 2638265 HAS SOUS 2206269 HAS SOUPS 2206269 WITH SCORE 2208907.265
AT ITER 536 NEW BEST:: SOT 3487308 SOS 2638005 HAS SOPS 2638005 HAS SOUS 2206009 HAS SOUPS 2206009 WITH SCORE 2208647.005
AT ITER 537 NEW BEST:: SOT 3485199 SOS 2635194 HAS SOPS 2635194 HAS SOUS 2203630 HAS SOUPS 2203630 WITH SCORE 2206265.194
AT ITER 538 NEW BEST:: SOT 3485199 SOS 2632762 HAS SOPS 2632762 HAS SOUS 2202427 HAS SOUPS 2202427 WITH SCORE 2205059.762
AT ITER 540 NEW BEST:: SOT 3485199 SOS 2627999 HAS SOPS 2627999 HAS SOUS 2200274 HAS SOUPS 2200274 WITH SCORE 2202901.999
AT ITER 541 NEW BEST:: SOT 3483638 SOS 2626438 HAS SOPS 2626438 HAS SOUS 2199107 HAS SOUPS 2199107 WITH SCORE 2201733.438
AT ITER 544 NEW BEST:: SOT 3483177 SOS 2625977 HAS SOPS 2625977 HAS SOUS 2198646 HAS SOUPS 2198646 WITH SCORE 2201271.977
AT ITER 545 NEW BEST:: SOT 3482070 SOS 2625852 HAS SOPS 2625852 HAS SOUS 2198257 HAS SOUPS 2198257 WITH SCORE 2200882.852
AT ITER 547 NEW BEST:: SOT 3481070 SOS 2625418 HAS SOPS 2625418 HAS SOUS 2197765 HAS SOUPS 2197765 WITH SCORE 2200390.418
AT ITER 548 NEW BEST:: SOT 3480355 SOS 2624703 HAS SOPS 2624703 HAS SOUS 2196868 HAS SOUPS 2196868 WITH SCORE 2199492.703
AT ITER 551 NEW BEST:: SOT 3480383 SOS 2624353 HAS SOPS 2624353 HAS SOUS 2196792 HAS SOUPS 2196792 WITH SCORE 2199416.353
AT ITER 556 NEW BEST:: SOT 3478823 SOS 2622793 HAS SOPS 2622793 HAS SOUS 2194842 HAS SOUPS 2194842 WITH SCORE 2197464.793
AT ITER 559 NEW BEST:: SOT 3478460 SOS 2622430 HAS SOPS 2622430 HAS SOUS 2194479 HAS SOUPS 2194479 WITH SCORE 2197101.43
AT ITER 561 NEW BEST:: SOT 3478460 SOS 2622430 HAS SOPS 2622430 HAS SOUS 2194469 HAS SOUPS 2194469 WITH SCORE 2197091.43
AT ITER 565 NEW BEST:: SOT 3478057 SOS 2621006 HAS SOPS 2621006 HAS SOUS 2193675 HAS SOUPS 2193675 WITH SCORE 2196296.006
AT ITER 569 NEW BEST:: SOT 3476697 SOS 2619645 HAS SOPS 2619645 HAS SOUS 2192933 HAS SOUPS 2192933 WITH SCORE 2195552.645
AT ITER 571 NEW BEST:: SOT 3476697 SOS 2617693 HAS SOPS 2617693 HAS SOUS 2192930 HAS SOUPS 2192930 WITH SCORE 2195547.693
AT ITER 577 NEW BEST:: SOT 3473874 SOS 2611221 HAS SOPS 2611221 HAS SOUS 2188016 HAS SOUPS 2188016 WITH SCORE 2190627.221
AT ITER 578 NEW BEST:: SOT 3473874 SOS 2609933 HAS SOPS 2609933 HAS SOUS 2188015 HAS SOUPS 2188015 WITH SCORE 2190624.933
AT ITER 580 NEW BEST:: SOT 3473841 SOS 2609219 HAS SOPS 2609219 HAS SOUS 2187922 HAS SOUPS 2187922 WITH SCORE 2190531.219
AT ITER 582 NEW BEST:: SOT 3473508 SOS 2608886 HAS SOPS 2608886 HAS SOUS 2187589 HAS SOUPS 2187589 WITH SCORE 2190197.886
AT ITER 583 NEW BEST:: SOT 3473416 SOS 2608794 HAS SOPS 2608794 HAS SOUS 2187556 HAS SOUPS 2187556 WITH SCORE 2190164.794
AT ITER 589 NEW BEST:: SOT 3472463 SOS 2607841 HAS SOPS 2607841 HAS SOUS 2186603 HAS SOUPS 2186603 WITH SCORE 2189210.841
AT ITER 597 NEW BEST:: SOT 3471353 SOS 2606908 HAS SOPS 2606908 HAS SOUS 2185789 HAS SOUPS 2185789 WITH SCORE 2188395.908
AT ITER 599 NEW BEST:: SOT 3471063 SOS 2606548 HAS SOPS 2606548 HAS SOUS 2185429 HAS SOUPS 2185429 WITH SCORE 2188035.548
AT ITER 602 NEW BEST:: SOT 3470970 SOS 2606455 HAS SOPS 2606455 HAS SOUS 2185336 HAS SOUPS 2185336 WITH SCORE 2187942.455
AT ITER 605 NEW BEST:: SOT 3470970 SOS 2606135 HAS SOPS 2606135 HAS SOUS 2185336 HAS SOUPS 2185336 WITH SCORE 2187942.135
AT ITER 606 NEW BEST:: SOT 3470932 SOS 2603223 HAS SOPS 2603223 HAS SOUS 2184301 HAS SOUPS 2184301 WITH SCORE 2186904.223
AT ITER 607 NEW BEST:: SOT 3470053 SOS 2601627 HAS SOPS 2601627 HAS SOUS 2183021 HAS SOUPS 2183021 WITH SCORE 2185622.627
AT ITER 608 NEW BEST:: SOT 3470053 SOS 2599721 HAS SOPS 2599721 HAS SOUS 2183014 HAS SOUPS 2183014 WITH SCORE 2185613.721
AT ITER 609 NEW BEST:: SOT 3470053 SOS 2599720 HAS SOPS 2599720 HAS SOUS 2183013 HAS SOUPS 2183013 WITH SCORE 2185612.72
AT ITER 611 NEW BEST:: SOT 3468957 SOS 2598702 HAS SOPS 2598702 HAS SOUS 2182072 HAS SOUPS 2182072 WITH SCORE 2184670.702
AT ITER 613 NEW BEST:: SOT 3469396 SOS 2595062 HAS SOPS 2595062 HAS SOUS 2180270 HAS SOUPS 2180270 WITH SCORE 2182865.062
AT ITER 614 NEW BEST:: SOT 3469105 SOS 2592818 HAS SOPS 2592818 HAS SOUS 2179010 HAS SOUPS 2179010 WITH SCORE 2181602.818
AT ITER 617 NEW BEST:: SOT 3469105 SOS 2591616 HAS SOPS 2591616 HAS SOUS 2179010 HAS SOUPS 2179010 WITH SCORE 2181601.616
AT ITER 618 NEW BEST:: SOT 3466602 SOS 2589113 HAS SOPS 2589113 HAS SOUS 2175875 HAS SOUPS 2175875 WITH SCORE 2178464.113
AT ITER 619 NEW BEST:: SOT 3466076 SOS 2588324 HAS SOPS 2588324 HAS SOUS 2175086 HAS SOUPS 2175086 WITH SCORE 2177674.324
AT ITER 621 NEW BEST:: SOT 3463245 SOS 2582220 HAS SOPS 2582220 HAS SOUS 2170731 HAS SOUPS 2170731 WITH SCORE 2173313.22
AT ITER 623 NEW BEST:: SOT 3463136 SOS 2581817 HAS SOPS 2581817 HAS SOUS 2170328 HAS SOUPS 2170328 WITH SCORE 2172909.817
AT ITER 625 NEW BEST:: SOT 3461383 SOS 2580064 HAS SOPS 2580064 HAS SOUS 2168573 HAS SOUPS 2168573 WITH SCORE 2171153.064
AT ITER 626 NEW BEST:: SOT 3461065 SOS 2579746 HAS SOPS 2579746 HAS SOUS 2168573 HAS SOUPS 2168573 WITH SCORE 2171152.746
AT ITER 628 NEW BEST:: SOT 3458149 SOS 2576176 HAS SOPS 2576176 HAS SOUS 2165003 HAS SOUPS 2165003 WITH SCORE 2167579.176
AT ITER 630 NEW BEST:: SOT 3458149 SOS 2573587 HAS SOPS 2573587 HAS SOUS 2164493 HAS SOUPS 2164493 WITH SCORE 2167066.587
AT ITER 632 NEW BEST:: SOT 3457608 SOS 2574045 HAS SOPS 2574045 HAS SOUS 2164296 HAS SOUPS 2164296 WITH SCORE 2166870.045
AT ITER 634 NEW BEST:: SOT 3456438 SOS 2572872 HAS SOPS 2572872 HAS SOUS 2163123 HAS SOUPS 2163123 WITH SCORE 2165695.872
AT ITER 635 NEW BEST:: SOT 3455853 SOS 2572285 HAS SOPS 2572285 HAS SOUS 2162536 HAS SOUPS 2162536 WITH SCORE 2165108.285
AT ITER 636 NEW BEST:: SOT 3454624 SOS 2570194 HAS SOPS 2570194 HAS SOUS 2160444 HAS SOUPS 2160444 WITH SCORE 2163014.194
AT ITER 640 NEW BEST:: SOT 3454250 SOS 2568324 HAS SOPS 2568324 HAS SOUS 2159696 HAS SOUPS 2159696 WITH SCORE 2162264.324
AT ITER 642 NEW BEST:: SOT 3454250 SOS 2568317 HAS SOPS 2568317 HAS SOUS 2159693 HAS SOUPS 2159693 WITH SCORE 2162261.317
AT ITER 645 NEW BEST:: SOT 3454046 SOS 2568113 HAS SOPS 2568113 HAS SOUS 2159489 HAS SOUPS 2159489 WITH SCORE 2162057.113
AT ITER 646 NEW BEST:: SOT 3453890 SOS 2567957 HAS SOPS 2567957 HAS SOUS 2159333 HAS SOUPS 2159333 WITH SCORE 2161900.957
AT ITER 649 NEW BEST:: SOT 3452156 SOS 2565241 HAS SOPS 2565241 HAS SOUS 2157793 HAS SOUPS 2157793 WITH SCORE 2160358.241
AT ITER 653 NEW BEST:: SOT 3451661 SOS 2564735 HAS SOPS 2564735 HAS SOUS 2157278 HAS SOUPS 2157278 WITH SCORE 2159842.735
AT ITER 656 NEW BEST:: SOT 3451661 SOS 2564413 HAS SOPS 2564413 HAS SOUS 2156956 HAS SOUPS 2156956 WITH SCORE 2159520.413
AT ITER 657 NEW BEST:: SOT 3451659 SOS 2562362 HAS SOPS 2562362 HAS SOUS 2156875 HAS SOUPS 2156875 WITH SCORE 2159437.362
AT ITER 658 NEW BEST:: SOT 3451470 SOS 2561610 HAS SOPS 2561610 HAS SOUS 2156497 HAS SOUPS 2156497 WITH SCORE 2159058.61
AT ITER 659 NEW BEST:: SOT 3450263 SOS 2560401 HAS SOPS 2560401 HAS SOUS 2155972 HAS SOUPS 2155972 WITH SCORE 2158532.401
AT ITER 661 NEW BEST:: SOT 3447752 SOS 2557890 HAS SOPS 2557890 HAS SOUS 2153459 HAS SOUPS 2153459 WITH SCORE 2156016.89
AT ITER 662 NEW BEST:: SOT 3445421 SOS 2551056 HAS SOPS 2551056 HAS SOUS 2149859 HAS SOUPS 2149859 WITH SCORE 2152410.056
AT ITER 663 NEW BEST:: SOT 3444909 SOS 2550544 HAS SOPS 2550544 HAS SOUS 2149347 HAS SOUPS 2149347 WITH SCORE 2151897.544
AT ITER 667 NEW BEST:: SOT 3444516 SOS 2549893 HAS SOPS 2549893 HAS SOUS 2148696 HAS SOUPS 2148696 WITH SCORE 2151245.893
AT ITER 671 NEW BEST:: SOT 3444469 SOS 2549846 HAS SOPS 2549846 HAS SOUS 2148649 HAS SOUPS 2148649 WITH SCORE 2151198.846
AT ITER 679 NEW BEST:: SOT 3442271 SOS 2547648 HAS SOPS 2547648 HAS SOUS 2146216 HAS SOUPS 2146216 WITH SCORE 2148763.648
AT ITER 681 NEW BEST:: SOT 3441371 SOS 2546748 HAS SOPS 2546748 HAS SOUS 2145613 HAS SOUPS 2145613 WITH SCORE 2148159.748
AT ITER 686 NEW BEST:: SOT 3441188 SOS 2546565 HAS SOPS 2546565 HAS SOUS 2145429 HAS SOUPS 2145429 WITH SCORE 2147975.565
AT ITER 688 NEW BEST:: SOT 3441258 SOS 2546193 HAS SOPS 2546193 HAS SOUS 2145399 HAS SOUPS 2145399 WITH SCORE 2147945.193
AT ITER 692 NEW BEST:: SOT 3441258 SOS 2546193 HAS SOPS 2546193 HAS SOUS 2145390 HAS SOUPS 2145390 WITH SCORE 2147936.193
AT ITER 693 NEW BEST:: SOT 3440189 SOS 2544179 HAS SOPS 2544179 HAS SOUS 2143466 HAS SOUPS 2143466 WITH SCORE 2146010.179
AT ITER 695 NEW BEST:: SOT 3437826 SOS 2541815 HAS SOPS 2541815 HAS SOUS 2141528 HAS SOUPS 2141528 WITH SCORE 2144069.815
AT ITER 697 NEW BEST:: SOT 3437300 SOS 2541287 HAS SOPS 2541287 HAS SOUS 2141000 HAS SOUPS 2141000 WITH SCORE 2143541.287
AT ITER 699 NEW BEST:: SOT 3437300 SOS 2539652 HAS SOPS 2539652 HAS SOUS 2140575 HAS SOUPS 2140575 WITH SCORE 2143114.652
AT ITER 711 NEW BEST:: SOT 3436381 SOS 2538733 HAS SOPS 2538733 HAS SOUS 2139654 HAS SOUPS 2139654 WITH SCORE 2142192.733
AT ITER 712 NEW BEST:: SOT 3436109 SOS 2538459 HAS SOPS 2538459 HAS SOUS 2139380 HAS SOUPS 2139380 WITH SCORE 2141918.459
AT ITER 717 NEW BEST:: SOT 3435551 SOS 2537901 HAS SOPS 2537901 HAS SOUS 2138822 HAS SOUPS 2138822 WITH SCORE 2141359.901
AT ITER 720 NEW BEST:: SOT 3435637 SOS 2534727 HAS SOPS 2534727 HAS SOUS 2137458 HAS SOUPS 2137458 WITH SCORE 2139992.727
AT ITER 722 NEW BEST:: SOT 3432934 SOS 2528016 HAS SOPS 2528016 HAS SOUS 2133148 HAS SOUPS 2133148 WITH SCORE 2135676.016
AT ITER 723 NEW BEST:: SOT 3431050 SOS 2528092 HAS SOPS 2528092 HAS SOUS 2131218 HAS SOUPS 2131218 WITH SCORE 2133746.092
AT ITER 726 NEW BEST:: SOT 3431050 SOS 2525837 HAS SOPS 2525837 HAS SOUS 2131207 HAS SOUPS 2131207 WITH SCORE 2133732.837
AT ITER 727 NEW BEST:: SOT 3431050 SOS 2523913 HAS SOPS 2523913 HAS SOUS 2131204 HAS SOUPS 2131204 WITH SCORE 2133727.913
AT ITER 731 NEW BEST:: SOT 3430327 SOS 2520228 HAS SOPS 2520228 HAS SOUS 2129419 HAS SOUPS 2129419 WITH SCORE 2131939.228
AT ITER 735 NEW BEST:: SOT 3429289 SOS 2519190 HAS SOPS 2519190 HAS SOUS 2128850 HAS SOUPS 2128850 WITH SCORE 2131369.19
AT ITER 740 NEW BEST:: SOT 3429289 SOS 2518869 HAS SOPS 2518869 HAS SOUS 2128749 HAS SOUPS 2128749 WITH SCORE 2131267.869
AT ITER 746 NEW BEST:: SOT 3429288 SOS 2515775 HAS SOPS 2515775 HAS SOUS 2128741 HAS SOUPS 2128741 WITH SCORE 2131256.775
AT ITER 747 NEW BEST:: SOT 3429181 SOS 2515668 HAS SOPS 2515668 HAS SOUS 2128634 HAS SOUPS 2128634 WITH SCORE 2131149.668
AT ITER 748 NEW BEST:: SOT 3429181 SOS 2514330 HAS SOPS 2514330 HAS SOUS 2128108 HAS SOUPS 2128108 WITH SCORE 2130622.33
AT ITER 750 NEW BEST:: SOT 3428545 SOS 2513694 HAS SOPS 2513694 HAS SOUS 2127854 HAS SOUPS 2127854 WITH SCORE 2130367.694
AT ITER 756 NEW BEST:: SOT 3428147 SOS 2513296 HAS SOPS 2513296 HAS SOUS 2127456 HAS SOUPS 2127456 WITH SCORE 2129969.296
AT ITER 761 NEW BEST:: SOT 3426928 SOS 2507473 HAS SOPS 2507473 HAS SOUS 2125081 HAS SOUPS 2125081 WITH SCORE 2127588.473
AT ITER 765 NEW BEST:: SOT 3425208 SOS 2505752 HAS SOPS 2505752 HAS SOUS 2123769 HAS SOUPS 2123769 WITH SCORE 2126274.752
AT ITER 768 NEW BEST:: SOT 3424753 SOS 2505290 HAS SOPS 2505290 HAS SOUS 2123727 HAS SOUPS 2123727 WITH SCORE 2126232.29
AT ITER 769 NEW BEST:: SOT 3424312 SOS 2504849 HAS SOPS 2504849 HAS SOUS 2123286 HAS SOUPS 2123286 WITH SCORE 2125790.849
AT ITER 772 NEW BEST:: SOT 3423956 SOS 2504493 HAS SOPS 2504493 HAS SOUS 2122930 HAS SOUPS 2122930 WITH SCORE 2125434.493
AT ITER 773 NEW BEST:: SOT 3423956 SOS 2504011 HAS SOPS 2504011 HAS SOUS 2122930 HAS SOUPS 2122930 WITH SCORE 2125434.011
AT ITER 774 NEW BEST:: SOT 3422166 SOS 2502221 HAS SOPS 2502221 HAS SOUS 2121138 HAS SOUPS 2121138 WITH SCORE 2123640.221
AT ITER 775 NEW BEST:: SOT 3422166 SOS 2498395 HAS SOPS 2498395 HAS SOUS 2120249 HAS SOUPS 2120249 WITH SCORE 2122747.395
AT ITER 776 NEW BEST:: SOT 3421710 SOS 2495890 HAS SOPS 2495890 HAS SOUS 2118940 HAS SOUPS 2118940 WITH SCORE 2121435.89
AT ITER 777 NEW BEST:: SOT 3421710 SOS 2494058 HAS SOPS 2494058 HAS SOUS 2118568 HAS SOUPS 2118568 WITH SCORE 2121062.058
AT ITER 780 NEW BEST:: SOT 3421710 SOS 2493890 HAS SOPS 2493890 HAS SOUS 2118565 HAS SOUPS 2118565 WITH SCORE 2121058.89
AT ITER 781 NEW BEST:: SOT 3421477 SOS 2493657 HAS SOPS 2493657 HAS SOUS 2118332 HAS SOUPS 2118332 WITH SCORE 2120825.657
AT ITER 784 NEW BEST:: SOT 3421475 SOS 2492720 HAS SOPS 2492720 HAS SOUS 2118071 HAS SOUPS 2118071 WITH SCORE 2120563.72
AT ITER 792 NEW BEST:: SOT 3421475 SOS 2492720 HAS SOPS 2492720 HAS SOUS 2118061 HAS SOUPS 2118061 WITH SCORE 2120553.72
AT ITER 794 NEW BEST:: SOT 3419562 SOS 2490805 HAS SOPS 2490805 HAS SOUS 2116273 HAS SOUPS 2116273 WITH SCORE 2118763.805
AT ITER 796 NEW BEST:: SOT 3419471 SOS 2490623 HAS SOPS 2490623 HAS SOUS 2116080 HAS SOUPS 2116080 WITH SCORE 2118570.623
AT ITER 798 NEW BEST:: SOT 3418645 SOS 2490376 HAS SOPS 2490376 HAS SOUS 2115832 HAS SOUPS 2115832 WITH SCORE 2118322.376
AT ITER 799 NEW BEST:: SOT 3418645 SOS 2486546 HAS SOPS 2486546 HAS SOUS 2115515 HAS SOUPS 2115515 WITH SCORE 2118001.546
AT ITER 802 NEW BEST:: SOT 3418645 SOS 2484303 HAS SOPS 2484303 HAS SOUS 2113952 HAS SOUPS 2113952 WITH SCORE 2116436.303
AT ITER 806 NEW BEST:: SOT 3418581 SOS 2484239 HAS SOPS 2484239 HAS SOUS 2113888 HAS SOUPS 2113888 WITH SCORE 2116372.239
AT ITER 807 NEW BEST:: SOT 3418592 SOS 2484379 HAS SOPS 2484379 HAS SOUS 2113883 HAS SOUPS 2113883 WITH SCORE 2116367.379
AT ITER 808 NEW BEST:: SOT 3418592 SOS 2483373 HAS SOPS 2483373 HAS SOUS 2113882 HAS SOUPS 2113882 WITH SCORE 2116365.373
AT ITER 810 NEW BEST:: SOT 3416720 SOS 2481499 HAS SOPS 2481499 HAS SOUS 2111998 HAS SOUPS 2111998 WITH SCORE 2114479.499
AT ITER 816 NEW BEST:: SOT 3416522 SOS 2481301 HAS SOPS 2481301 HAS SOUS 2111800 HAS SOUPS 2111800 WITH SCORE 2114281.301
AT ITER 821 NEW BEST:: SOT 3414401 SOS 2474737 HAS SOPS 2474737 HAS SOUS 2107872 HAS SOUPS 2107872 WITH SCORE 2110346.737
AT ITER 822 NEW BEST:: SOT 3413443 SOS 2473779 HAS SOPS 2473779 HAS SOUS 2107146 HAS SOUPS 2107146 WITH SCORE 2109619.779
AT ITER 825 NEW BEST:: SOT 3413443 SOS 2469911 HAS SOPS 2469911 HAS SOUS 2105960 HAS SOUPS 2105960 WITH SCORE 2108429.911
AT ITER 828 NEW BEST:: SOT 3414074 SOS 2467809 HAS SOPS 2467809 HAS SOUS 2105460 HAS SOUPS 2105460 WITH SCORE 2107927.809
AT ITER 829 NEW BEST:: SOT 3412501 SOS 2466305 HAS SOPS 2466305 HAS SOUS 2104024 HAS SOUPS 2104024 WITH SCORE 2106490.305
AT ITER 832 NEW BEST:: SOT 3412501 SOS 2466304 HAS SOPS 2466304 HAS SOUS 2104023 HAS SOUPS 2104023 WITH SCORE 2106489.304
AT ITER 834 NEW BEST:: SOT 3412501 SOS 2465408 HAS SOPS 2465408 HAS SOUS 2103843 HAS SOUPS 2103843 WITH SCORE 2106308.408
AT ITER 838 NEW BEST:: SOT 3412570 SOS 2464253 HAS SOPS 2464253 HAS SOUS 2103669 HAS SOUPS 2103669 WITH SCORE 2106133.253
AT ITER 840 NEW BEST:: SOT 3412933 SOS 2463708 HAS SOPS 2463708 HAS SOUS 2103347 HAS SOUPS 2103347 WITH SCORE 2105810.708
AT ITER 844 NEW BEST:: SOT 3412933 SOS 2462636 HAS SOPS 2462636 HAS SOUS 2103347 HAS SOUPS 2103347 WITH SCORE 2105809.636
AT ITER 846 NEW BEST:: SOT 3412285 SOS 2461988 HAS SOPS 2461988 HAS SOUS 2102680 HAS SOUPS 2102680 WITH SCORE 2105141.988
AT ITER 848 NEW BEST:: SOT 3412285 SOS 2462065 HAS SOPS 2462065 HAS SOUS 2102672 HAS SOUPS 2102672 WITH SCORE 2105134.065
AT ITER 851 NEW BEST:: SOT 3412203 SOS 2460462 HAS SOPS 2460462 HAS SOUS 2102121 HAS SOUPS 2102121 WITH SCORE 2104581.462
AT ITER 859 NEW BEST:: SOT 3411599 SOS 2459554 HAS SOPS 2459554 HAS SOUS 2101084 HAS SOUPS 2101084 WITH SCORE 2103543.554
AT ITER 860 NEW BEST:: SOT 3411271 SOS 2458520 HAS SOPS 2458520 HAS SOUS 2100248 HAS SOUPS 2100248 WITH SCORE 2102706.52
AT ITER 861 NEW BEST:: SOT 3409497 SOS 2455260 HAS SOPS 2455260 HAS SOUS 2097875 HAS SOUPS 2097875 WITH SCORE 2100330.26
AT ITER 866 NEW BEST:: SOT 3409497 SOS 2455258 HAS SOPS 2455258 HAS SOUS 2097873 HAS SOUPS 2097873 WITH SCORE 2100328.258
AT ITER 867 NEW BEST:: SOT 3408899 SOS 2453987 HAS SOPS 2453987 HAS SOUS 2096339 HAS SOUPS 2096339 WITH SCORE 2098792.987
AT ITER 870 NEW BEST:: SOT 3406991 SOS 2449836 HAS SOPS 2449836 HAS SOUS 2093817 HAS SOUPS 2093817 WITH SCORE 2096266.836
AT ITER 872 NEW BEST:: SOT 3406772 SOS 2448741 HAS SOPS 2448741 HAS SOUS 2093187 HAS SOUPS 2093187 WITH SCORE 2095635.741
AT ITER 877 NEW BEST:: SOT 3405575 SOS 2447544 HAS SOPS 2447544 HAS SOUS 2091981 HAS SOUPS 2091981 WITH SCORE 2094428.544
AT ITER 880 NEW BEST:: SOT 3405403 SOS 2446504 HAS SOPS 2446504 HAS SOUS 2091273 HAS SOUPS 2091273 WITH SCORE 2093719.504
AT ITER 882 NEW BEST:: SOT 3404998 SOS 2446099 HAS SOPS 2446099 HAS SOUS 2090868 HAS SOUPS 2090868 WITH SCORE 2093314.099
AT ITER 883 NEW BEST:: SOT 3402190 SOS 2443288 HAS SOPS 2443288 HAS SOUS 2088057 HAS SOUPS 2088057 WITH SCORE 2090500.288
AT ITER 884 NEW BEST:: SOT 3401238 SOS 2442334 HAS SOPS 2442334 HAS SOUS 2087315 HAS SOUPS 2087315 WITH SCORE 2089757.334
AT ITER 890 NEW BEST:: SOT 3401238 SOS 2440950 HAS SOPS 2440950 HAS SOUS 2086898 HAS SOUPS 2086898 WITH SCORE 2089338.95
AT ITER 891 NEW BEST:: SOT 3399915 SOS 2439627 HAS SOPS 2439627 HAS SOUS 2085575 HAS SOUPS 2085575 WITH SCORE 2088014.627
AT ITER 895 NEW BEST:: SOT 3397215 SOS 2435577 HAS SOPS 2435577 HAS SOUS 2081525 HAS SOUPS 2081525 WITH SCORE 2083960.577
AT ITER 897 NEW BEST:: SOT 3396658 SOS 2435020 HAS SOPS 2435020 HAS SOUS 2081044 HAS SOUPS 2081044 WITH SCORE 2083479.02
AT ITER 899 NEW BEST:: SOT 3394492 SOS 2432854 HAS SOPS 2432854 HAS SOUS 2079102 HAS SOUPS 2079102 WITH SCORE 2081534.854
AT ITER 900 NEW BEST:: SOT 3394213 SOS 2432573 HAS SOPS 2432573 HAS SOUS 2078986 HAS SOUPS 2078986 WITH SCORE 2081418.573
AT ITER 901 NEW BEST:: SOT 3393487 SOS 2431553 HAS SOPS 2431553 HAS SOUS 2078820 HAS SOUPS 2078820 WITH SCORE 2081251.553
AT ITER 902 NEW BEST:: SOT 3390146 SOS 2424353 HAS SOPS 2424353 HAS SOUS 2073922 HAS SOUPS 2073922 WITH SCORE 2076346.353
AT ITER 908 NEW BEST:: SOT 3388685 SOS 2422943 HAS SOPS 2422943 HAS SOUS 2072512 HAS SOUPS 2072512 WITH SCORE 2074934.943
AT ITER 909 NEW BEST:: SOT 3388682 SOS 2418272 HAS SOPS 2418272 HAS SOUS 2071341 HAS SOUPS 2071341 WITH SCORE 2073759.272
AT ITER 910 NEW BEST:: SOT 3388485 SOS 2418075 HAS SOPS 2418075 HAS SOUS 2071144 HAS SOUPS 2071144 WITH SCORE 2073562.075
AT ITER 911 NEW BEST:: SOT 3388290 SOS 2417432 HAS SOPS 2417432 HAS SOUS 2070501 HAS SOUPS 2070501 WITH SCORE 2072918.432
AT ITER 912 NEW BEST:: SOT 3386350 SOS 2415170 HAS SOPS 2415170 HAS SOUS 2068239 HAS SOUPS 2068239 WITH SCORE 2070654.17
AT ITER 913 NEW BEST:: SOT 3385677 SOS 2414118 HAS SOPS 2414118 HAS SOUS 2067672 HAS SOUPS 2067672 WITH SCORE 2070086.118
AT ITER 916 NEW BEST:: SOT 3385576 SOS 2415483 HAS SOPS 2415483 HAS SOUS 2067655 HAS SOUPS 2067655 WITH SCORE 2070070.483
AT ITER 925 NEW BEST:: SOT 3384606 SOS 2414513 HAS SOPS 2414513 HAS SOUS 2066685 HAS SOUPS 2066685 WITH SCORE 2069099.513
AT ITER 929 NEW BEST:: SOT 3383531 SOS 2413438 HAS SOPS 2413438 HAS SOUS 2065608 HAS SOUPS 2065608 WITH SCORE 2068021.438
AT ITER 931 NEW BEST:: SOT 3382857 SOS 2413545 HAS SOPS 2413545 HAS SOUS 2065405 HAS SOUPS 2065405 WITH SCORE 2067818.545
AT ITER 934 NEW BEST:: SOT 3381546 SOS 2412054 HAS SOPS 2412054 HAS SOUS 2063914 HAS SOUPS 2063914 WITH SCORE 2066326.054
AT ITER 935 NEW BEST:: SOT 3381365 SOS 2411871 HAS SOPS 2411871 HAS SOUS 2063731 HAS SOUPS 2063731 WITH SCORE 2066142.871
AT ITER 949 NEW BEST:: SOT 3381365 SOS 2411869 HAS SOPS 2411869 HAS SOUS 2063729 HAS SOUPS 2063729 WITH SCORE 2066140.869
AT ITER 950 NEW BEST:: SOT 3379392 SOS 2409896 HAS SOPS 2409896 HAS SOUS 2061991 HAS SOUPS 2061991 WITH SCORE 2064400.896
AT ITER 951 NEW BEST:: SOT 3379112 SOS 2409203 HAS SOPS 2409203 HAS SOUS 2061429 HAS SOUPS 2061429 WITH SCORE 2063838.203
AT ITER 952 NEW BEST:: SOT 3378590 SOS 2408770 HAS SOPS 2408770 HAS SOUS 2060996 HAS SOUPS 2060996 WITH SCORE 2063404.77
AT ITER 954 NEW BEST:: SOT 3378590 SOS 2406902 HAS SOPS 2406902 HAS SOUS 2060993 HAS SOUPS 2060993 WITH SCORE 2063399.902
AT ITER 955 NEW BEST:: SOT 3377376 SOS 2405688 HAS SOPS 2405688 HAS SOUS 2060396 HAS SOUPS 2060396 WITH SCORE 2062801.688
AT ITER 956 NEW BEST:: SOT 3377376 SOS 2405394 HAS SOPS 2405394 HAS SOUS 2060173 HAS SOUPS 2060173 WITH SCORE 2062578.394
AT ITER 958 NEW BEST:: SOT 3376455 SOS 2402244 HAS SOPS 2402244 HAS SOUS 2058065 HAS SOUPS 2058065 WITH SCORE 2060467.244
AT ITER 960 NEW BEST:: SOT 3376417 SOS 2402168 HAS SOPS 2402168 HAS SOUS 2058027 HAS SOUPS 2058027 WITH SCORE 2060429.168
AT ITER 961 NEW BEST:: SOT 3376417 SOS 2400707 HAS SOPS 2400707 HAS SOUS 2057757 HAS SOUPS 2057757 WITH SCORE 2060157.707
AT ITER 962 NEW BEST:: SOT 3376417 SOS 2398763 HAS SOPS 2398763 HAS SOUS 2057109 HAS SOUPS 2057109 WITH SCORE 2059507.763
AT ITER 963 NEW BEST:: SOT 3376052 SOS 2398505 HAS SOPS 2398505 HAS SOUS 2056851 HAS SOUPS 2056851 WITH SCORE 2059249.505
AT ITER 965 NEW BEST:: SOT 3375830 SOS 2397926 HAS SOPS 2397926 HAS SOUS 2056272 HAS SOUPS 2056272 WITH SCORE 2058669.926
AT ITER 967 NEW BEST:: SOT 3375538 SOS 2397561 HAS SOPS 2397561 HAS SOUS 2055907 HAS SOUPS 2055907 WITH SCORE 2058304.561
AT ITER 975 NEW BEST:: SOT 3373122 SOS 2393803 HAS SOPS 2393803 HAS SOUS 2053247 HAS SOUPS 2053247 WITH SCORE 2055640.803
AT ITER 976 NEW BEST:: SOT 3372449 SOS 2393130 HAS SOPS 2393130 HAS SOUS 2052573 HAS SOUPS 2052573 WITH SCORE 2054966.13
AT ITER 979 NEW BEST:: SOT 3370479 SOS 2390314 HAS SOPS 2390314 HAS SOUS 2049755 HAS SOUPS 2049755 WITH SCORE 2052145.314
AT ITER 980 NEW BEST:: SOT 3370479 SOS 2389765 HAS SOPS 2389765 HAS SOUS 2049752 HAS SOUPS 2049752 WITH SCORE 2052141.765
AT ITER 981 NEW BEST:: SOT 3369765 SOS 2389051 HAS SOPS 2389051 HAS SOUS 2049529 HAS SOUPS 2049529 WITH SCORE 2051918.051
AT ITER 984 NEW BEST:: SOT 3369760 SOS 2389046 HAS SOPS 2389046 HAS SOUS 2049524 HAS SOUPS 2049524 WITH SCORE 2051913.046
AT ITER 986 NEW BEST:: SOT 3368670 SOS 2387956 HAS SOPS 2387956 HAS SOUS 2048434 HAS SOUPS 2048434 WITH SCORE 2050821.956
AT ITER 989 NEW BEST:: SOT 3368043 SOS 2387445 HAS SOPS 2387445 HAS SOUS 2047923 HAS SOUPS 2047923 WITH SCORE 2050310.445
AT ITER 992 NEW BEST:: SOT 3368043 SOS 2387109 HAS SOPS 2387109 HAS SOUS 2047923 HAS SOUPS 2047923 WITH SCORE 2050310.109
AT ITER 994 NEW BEST:: SOT 3367560 SOS 2386624 HAS SOPS 2386624 HAS SOUS 2047639 HAS SOUPS 2047639 WITH SCORE 2050025.624
AT ITER 997 NEW BEST:: SOT 3366925 SOS 2385468 HAS SOPS 2385468 HAS SOUS 2046483 HAS SOUPS 2046483 WITH SCORE 2048868.468
AT ITER 1000 NEW BEST:: SOT 3366800 SOS 2385218 HAS SOPS 2385218 HAS SOUS 2046350 HAS SOUPS 2046350 WITH SCORE 2048735.218
AT ITER 1001 NEW BEST:: SOT 3366379 SOS 2384797 HAS SOPS 2384797 HAS SOUS 2045929 HAS SOUPS 2045929 WITH SCORE 2048313.797
AT ITER 1006 NEW BEST:: SOT 3366003 SOS 2384291 HAS SOPS 2384291 HAS SOUS 2044796 HAS SOUPS 2044796 WITH SCORE 2047180.291
AT ITER 1007 NEW BEST:: SOT 3365842 SOS 2384130 HAS SOPS 2384130 HAS SOUS 2044635 HAS SOUPS 2044635 WITH SCORE 2047019.13
AT ITER 1011 NEW BEST:: SOT 3365841 SOS 2379800 HAS SOPS 2379800 HAS SOUS 2043445 HAS SOUPS 2043445 WITH SCORE 2045824.8
AT ITER 1012 NEW BEST:: SOT 3365545 SOS 2379504 HAS SOPS 2379504 HAS SOUS 2043146 HAS SOUPS 2043146 WITH SCORE 2045525.504
AT ITER 1014 NEW BEST:: SOT 3365309 SOS 2379266 HAS SOPS 2379266 HAS SOUS 2042908 HAS SOUPS 2042908 WITH SCORE 2045287.266
AT ITER 1015 NEW BEST:: SOT 3362225 SOS 2376180 HAS SOPS 2376180 HAS SOUS 2040634 HAS SOUPS 2040634 WITH SCORE 2043010.18
AT ITER 1023 NEW BEST:: SOT 3358935 SOS 2372829 HAS SOPS 2372829 HAS SOUS 2037283 HAS SOUPS 2037283 WITH SCORE 2039655.829
AT ITER 1030 NEW BEST:: SOT 3358415 SOS 2372417 HAS SOPS 2372417 HAS SOUS 2036869 HAS SOUPS 2036869 WITH SCORE 2039241.417
AT ITER 1032 NEW BEST:: SOT 3357665 SOS 2369968 HAS SOPS 2369968 HAS SOUS 2035280 HAS SOUPS 2035280 WITH SCORE 2037649.968
AT ITER 1033 NEW BEST:: SOT 3357439 SOS 2369741 HAS SOPS 2369741 HAS SOUS 2035053 HAS SOUPS 2035053 WITH SCORE 2037422.741
AT ITER 1038 NEW BEST:: SOT 3357276 SOS 2369510 HAS SOPS 2369510 HAS SOUS 2034887 HAS SOUPS 2034887 WITH SCORE 2037256.51
AT ITER 1041 NEW BEST:: SOT 3356278 SOS 2369157 HAS SOPS 2369157 HAS SOUS 2033677 HAS SOUPS 2033677 WITH SCORE 2036046.157
AT ITER 1049 NEW BEST:: SOT 3355368 SOS 2368247 HAS SOPS 2368247 HAS SOUS 2032766 HAS SOUPS 2032766 WITH SCORE 2035134.247
AT ITER 1050 NEW BEST:: SOT 3355440 SOS 2367483 HAS SOPS 2367483 HAS SOUS 2032353 HAS SOUPS 2032353 WITH SCORE 2034720.483
AT ITER 1055 NEW BEST:: SOT 3355375 SOS 2367418 HAS SOPS 2367418 HAS SOUS 2032353 HAS SOUPS 2032353 WITH SCORE 2034720.418
AT ITER 1056 NEW BEST:: SOT 3354747 SOS 2363100 HAS SOPS 2363100 HAS SOUS 2029005 HAS SOUPS 2029005 WITH SCORE 2031368.1
AT ITER 1061 NEW BEST:: SOT 3354432 SOS 2362785 HAS SOPS 2362785 HAS SOUS 2028787 HAS SOUPS 2028787 WITH SCORE 2031149.785
AT ITER 1065 NEW BEST:: SOT 3353391 SOS 2361733 HAS SOPS 2361733 HAS SOUS 2027735 HAS SOUPS 2027735 WITH SCORE 2030096.733
AT ITER 1066 NEW BEST:: SOT 3350286 SOS 2358627 HAS SOPS 2358627 HAS SOUS 2024846 HAS SOUPS 2024846 WITH SCORE 2027204.627
AT ITER 1068 NEW BEST:: SOT 3349939 SOS 2353946 HAS SOPS 2353946 HAS SOUS 2022147 HAS SOUPS 2022147 WITH SCORE 2024500.946
AT ITER 1069 NEW BEST:: SOT 3349939 SOS 2352948 HAS SOPS 2352948 HAS SOUS 2021870 HAS SOUPS 2021870 WITH SCORE 2024222.948
AT ITER 1070 NEW BEST:: SOT 3349939 SOS 2352813 HAS SOPS 2352813 HAS SOUS 2021869 HAS SOUPS 2021869 WITH SCORE 2024221.813
AT ITER 1075 NEW BEST:: SOT 3344806 SOS 2346271 HAS SOPS 2346271 HAS SOUS 2015327 HAS SOUPS 2015327 WITH SCORE 2017673.271
AT ITER 1077 NEW BEST:: SOT 3344079 SOS 2345542 HAS SOPS 2345542 HAS SOUS 2015326 HAS SOUPS 2015326 WITH SCORE 2017671.542
AT ITER 1078 NEW BEST:: SOT 3343909 SOS 2345202 HAS SOPS 2345202 HAS SOUS 2014986 HAS SOUPS 2014986 WITH SCORE 2017331.202
AT ITER 1079 NEW BEST:: SOT 3343303 SOS 2344596 HAS SOPS 2344596 HAS SOUS 2014380 HAS SOUPS 2014380 WITH SCORE 2016724.596
AT ITER 1080 NEW BEST:: SOT 3343303 SOS 2344344 HAS SOPS 2344344 HAS SOUS 2014380 HAS SOUPS 2014380 WITH SCORE 2016724.344
AT ITER 1081 NEW BEST:: SOT 3343322 SOS 2343949 HAS SOPS 2343949 HAS SOUS 2013905 HAS SOUPS 2013905 WITH SCORE 2016248.949
AT ITER 1083 NEW BEST:: SOT 3341786 SOS 2341901 HAS SOPS 2341901 HAS SOUS 2011857 HAS SOUPS 2011857 WITH SCORE 2014198.901
AT ITER 1085 NEW BEST:: SOT 3341786 SOS 2341837 HAS SOPS 2341837 HAS SOUS 2011793 HAS SOUPS 2011793 WITH SCORE 2014134.837
AT ITER 1086 NEW BEST:: SOT 3338814 SOS 2333709 HAS SOPS 2333709 HAS SOUS 2006073 HAS SOUPS 2006073 WITH SCORE 2008406.709
AT ITER 1093 NEW BEST:: SOT 3337121 SOS 2332016 HAS SOPS 2332016 HAS SOUS 2004380 HAS SOUPS 2004380 WITH SCORE 2006712.016
AT ITER 1095 NEW BEST:: SOT 3337121 SOS 2331381 HAS SOPS 2331381 HAS SOUS 2004373 HAS SOUPS 2004373 WITH SCORE 2006704.381
AT ITER 1097 NEW BEST:: SOT 3337045 SOS 2331305 HAS SOPS 2331305 HAS SOUS 2004297 HAS SOUPS 2004297 WITH SCORE 2006628.305
AT ITER 1108 NEW BEST:: SOT 3337045 SOS 2330733 HAS SOPS 2330733 HAS SOUS 2004219 HAS SOUPS 2004219 WITH SCORE 2006549.733
AT ITER 1113 NEW BEST:: SOT 3337045 SOS 2329549 HAS SOPS 2329549 HAS SOUS 2003825 HAS SOUPS 2003825 WITH SCORE 2006154.549
AT ITER 1114 NEW BEST:: SOT 3337025 SOS 2329529 HAS SOPS 2329529 HAS SOUS 2003805 HAS SOUPS 2003805 WITH SCORE 2006134.529
AT ITER 1116 NEW BEST:: SOT 3336573 SOS 2327578 HAS SOPS 2327578 HAS SOUS 2002261 HAS SOUPS 2002261 WITH SCORE 2004588.578
AT ITER 1120 NEW BEST:: SOT 3334812 SOS 2325884 HAS SOPS 2325884 HAS SOUS 2000564 HAS SOUPS 2000564 WITH SCORE 2002889.884
AT ITER 1121 NEW BEST:: SOT 3335334 SOS 2325416 HAS SOPS 2325416 HAS SOUS 2000096 HAS SOUPS 2000096 WITH SCORE 2002421.416
AT ITER 1122 NEW BEST:: SOT 3334548 SOS 2322309 HAS SOPS 2322309 HAS SOUS 1997531 HAS SOUPS 1997531 WITH SCORE 1999853.309
AT ITER 1125 NEW BEST:: SOT 3333551 SOS 2321795 HAS SOPS 2321795 HAS SOUS 1997504 HAS SOUPS 1997504 WITH SCORE 1999825.795
AT ITER 1128 NEW BEST:: SOT 3333324 SOS 2321479 HAS SOPS 2321479 HAS SOUS 1997188 HAS SOUPS 1997188 WITH SCORE 1999509.479
AT ITER 1131 NEW BEST:: SOT 3331871 SOS 2320026 HAS SOPS 2320026 HAS SOUS 1995508 HAS SOUPS 1995508 WITH SCORE 1997828.026
AT ITER 1132 NEW BEST:: SOT 3331726 SOS 2319879 HAS SOPS 2319879 HAS SOUS 1995361 HAS SOUPS 1995361 WITH SCORE 1997680.879
AT ITER 1135 NEW BEST:: SOT 3331475 SOS 2319318 HAS SOPS 2319318 HAS SOUS 1994574 HAS SOUPS 1994574 WITH SCORE 1996893.318
AT ITER 1136 NEW BEST:: SOT 3331473 SOS 2318565 HAS SOPS 2318565 HAS SOUS 1994143 HAS SOUPS 1994143 WITH SCORE 1996461.565
AT ITER 1141 NEW BEST:: SOT 3328019 SOS 2312377 HAS SOPS 2312377 HAS SOUS 1988978 HAS SOUPS 1988978 WITH SCORE 1991290.377
AT ITER 1151 NEW BEST:: SOT 3326901 SOS 2310870 HAS SOPS 2310870 HAS SOUS 1987812 HAS SOUPS 1987812 WITH SCORE 1990122.87
AT ITER 1152 NEW BEST:: SOT 3326745 SOS 2311006 HAS SOPS 2311006 HAS SOUS 1987518 HAS SOUPS 1987518 WITH SCORE 1989829.006
AT ITER 1155 NEW BEST:: SOT 3324969 SOS 2306542 HAS SOPS 2306542 HAS SOUS 1984510 HAS SOUPS 1984510 WITH SCORE 1986816.542
AT ITER 1158 NEW BEST:: SOT 3322835 SOS 2304408 HAS SOPS 2304408 HAS SOUS 1983730 HAS SOUPS 1983730 WITH SCORE 1986034.408
AT ITER 1162 NEW BEST:: SOT 3321594 SOS 2303167 HAS SOPS 2303167 HAS SOUS 1982489 HAS SOUPS 1982489 WITH SCORE 1984792.167
AT ITER 1163 NEW BEST:: SOT 3321105 SOS 2300885 HAS SOPS 2300885 HAS SOUS 1981286 HAS SOUPS 1981286 WITH SCORE 1983586.885
AT ITER 1165 NEW BEST:: SOT 3321023 SOS 2300803 HAS SOPS 2300803 HAS SOUS 1981204 HAS SOUPS 1981204 WITH SCORE 1983504.803
AT ITER 1171 NEW BEST:: SOT 3320746 SOS 2300526 HAS SOPS 2300526 HAS SOUS 1980662 HAS SOUPS 1980662 WITH SCORE 1982962.526
AT ITER 1173 NEW BEST:: SOT 3319107 SOS 2298887 HAS SOPS 2298887 HAS SOUS 1979365 HAS SOUPS 1979365 WITH SCORE 1981663.887
AT ITER 1174 NEW BEST:: SOT 3319107 SOS 2295343 HAS SOPS 2295343 HAS SOUS 1978583 HAS SOUPS 1978583 WITH SCORE 1980878.343
AT ITER 1177 NEW BEST:: SOT 3318494 SOS 2294760 HAS SOPS 2294760 HAS SOUS 1978000 HAS SOUPS 1978000 WITH SCORE 1980294.76
AT ITER 1179 NEW BEST:: SOT 3318494 SOS 2294018 HAS SOPS 2294018 HAS SOUS 1977998 HAS SOUPS 1977998 WITH SCORE 1980292.018
AT ITER 1181 NEW BEST:: SOT 3318494 SOS 2292354 HAS SOPS 2292354 HAS SOUS 1977440 HAS SOUPS 1977440 WITH SCORE 1979732.354
AT ITER 1182 NEW BEST:: SOT 3318452 SOS 2292129 HAS SOPS 2292129 HAS SOUS 1977356 HAS SOUPS 1977356 WITH SCORE 1979648.129
AT ITER 1185 NEW BEST:: SOT 3318452 SOS 2292129 HAS SOPS 2292129 HAS SOUS 1977355 HAS SOUPS 1977355 WITH SCORE 1979647.129
AT ITER 1186 NEW BEST:: SOT 3318017 SOS 2289918 HAS SOPS 2289918 HAS SOUS 1975281 HAS SOUPS 1975281 WITH SCORE 1977570.918
AT ITER 1187 NEW BEST:: SOT 3317881 SOS 2289782 HAS SOPS 2289782 HAS SOUS 1975145 HAS SOUPS 1975145 WITH SCORE 1977434.782
AT ITER 1189 NEW BEST:: SOT 3317605 SOS 2289230 HAS SOPS 2289230 HAS SOUS 1974593 HAS SOUPS 1974593 WITH SCORE 1976882.23
AT ITER 1191 NEW BEST:: SOT 3317042 SOS 2288984 HAS SOPS 2288984 HAS SOUS 1974346 HAS SOUPS 1974346 WITH SCORE 1976634.984
AT ITER 1194 NEW BEST:: SOT 3315065 SOS 2287004 HAS SOPS 2287004 HAS SOUS 1972762 HAS SOUPS 1972762 WITH SCORE 1975049.004
AT ITER 1196 NEW BEST:: SOT 3314945 SOS 2286884 HAS SOPS 2286884 HAS SOUS 1972642 HAS SOUPS 1972642 WITH SCORE 1974928.884
AT ITER 1200 NEW BEST:: SOT 3314378 SOS 2286631 HAS SOPS 2286631 HAS SOUS 1972389 HAS SOUPS 1972389 WITH SCORE 1974675.631
AT ITER 1201 NEW BEST:: SOT 3314313 SOS 2286566 HAS SOPS 2286566 HAS SOUS 1972324 HAS SOUPS 1972324 WITH SCORE 1974610.566
AT ITER 1207 NEW BEST:: SOT 3315732 SOS 2285915 HAS SOPS 2285915 HAS SOUS 1972209 HAS SOUPS 1972209 WITH SCORE 1974494.915
AT ITER 1210 NEW BEST:: SOT 3315529 SOS 2285419 HAS SOPS 2285419 HAS SOUS 1972020 HAS SOUPS 1972020 WITH SCORE 1974305.419
AT ITER 1214 NEW BEST:: SOT 3315419 SOS 2285309 HAS SOPS 2285309 HAS SOUS 1971910 HAS SOUPS 1971910 WITH SCORE 1974195.309
AT ITER 1215 NEW BEST:: SOT 3314906 SOS 2284796 HAS SOPS 2284796 HAS SOUS 1971397 HAS SOUPS 1971397 WITH SCORE 1973681.796
AT ITER 1216 NEW BEST:: SOT 3312191 SOS 2282070 HAS SOPS 2282070 HAS SOUS 1968671 HAS SOUPS 1968671 WITH SCORE 1970953.07
AT ITER 1217 NEW BEST:: SOT 3312190 SOS 2280025 HAS SOPS 2280025 HAS SOUS 1968669 HAS SOUPS 1968669 WITH SCORE 1970949.025
AT ITER 1220 NEW BEST:: SOT 3311811 SOS 2279913 HAS SOPS 2279913 HAS SOUS 1968557 HAS SOUPS 1968557 WITH SCORE 1970836.913
AT ITER 1221 NEW BEST:: SOT 3309720 SOS 2274849 HAS SOPS 2274849 HAS SOUS 1965319 HAS SOUPS 1965319 WITH SCORE 1967593.849
AT ITER 1227 NEW BEST:: SOT 3306867 SOS 2271996 HAS SOPS 2271996 HAS SOUS 1962721 HAS SOUPS 1962721 WITH SCORE 1964992.996
AT ITER 1230 NEW BEST:: SOT 3306506 SOS 2270241 HAS SOPS 2270241 HAS SOUS 1962023 HAS SOUPS 1962023 WITH SCORE 1964293.241
AT ITER 1234 NEW BEST:: SOT 3306080 SOS 2269013 HAS SOPS 2269013 HAS SOUS 1960877 HAS SOUPS 1960877 WITH SCORE 1963146.013
AT ITER 1243 NEW BEST:: SOT 3304616 SOS 2269239 HAS SOPS 2269239 HAS SOUS 1959841 HAS SOUPS 1959841 WITH SCORE 1962110.239
AT ITER 1244 NEW BEST:: SOT 3302734 SOS 2268125 HAS SOPS 2268125 HAS SOUS 1958768 HAS SOUPS 1958768 WITH SCORE 1961036.125
AT ITER 1249 NEW BEST:: SOT 3299911 SOS 2260870 HAS SOPS 2260870 HAS SOUS 1953657 HAS SOUPS 1953657 WITH SCORE 1955917.87
AT ITER 1252 NEW BEST:: SOT 3299632 SOS 2260701 HAS SOPS 2260701 HAS SOUS 1953420 HAS SOUPS 1953420 WITH SCORE 1955680.701
AT ITER 1254 NEW BEST:: SOT 3299515 SOS 2260582 HAS SOPS 2260582 HAS SOUS 1953301 HAS SOUPS 1953301 WITH SCORE 1955561.582
AT ITER 1255 NEW BEST:: SOT 3299434 SOS 2258905 HAS SOPS 2258905 HAS SOUS 1952422 HAS SOUPS 1952422 WITH SCORE 1954680.905
AT ITER 1257 NEW BEST:: SOT 3299461 SOS 2258766 HAS SOPS 2258766 HAS SOUS 1952283 HAS SOUPS 1952283 WITH SCORE 1954541.766
AT ITER 1259 NEW BEST:: SOT 3299251 SOS 2258554 HAS SOPS 2258554 HAS SOUS 1952176 HAS SOUPS 1952176 WITH SCORE 1954434.554
AT ITER 1260 NEW BEST:: SOT 3299032 SOS 2258335 HAS SOPS 2258335 HAS SOUS 1951957 HAS SOUPS 1951957 WITH SCORE 1954215.335
AT ITER 1262 NEW BEST:: SOT 3298752 SOS 2258055 HAS SOPS 2258055 HAS SOUS 1951677 HAS SOUPS 1951677 WITH SCORE 1953935.055
AT ITER 1264 NEW BEST:: SOT 3298752 SOS 2257894 HAS SOPS 2257894 HAS SOUS 1951640 HAS SOUPS 1951640 WITH SCORE 1953897.894
AT ITER 1267 NEW BEST:: SOT 3298752 SOS 2256668 HAS SOPS 2256668 HAS SOUS 1950940 HAS SOUPS 1950940 WITH SCORE 1953196.668
AT ITER 1276 NEW BEST:: SOT 3298752 SOS 2254797 HAS SOPS 2254797 HAS SOUS 1950446 HAS SOUPS 1950446 WITH SCORE 1952700.797
AT ITER 1277 NEW BEST:: SOT 3298458 SOS 2254444 HAS SOPS 2254444 HAS SOUS 1950093 HAS SOUPS 1950093 WITH SCORE 1952347.444
AT ITER 1283 NEW BEST:: SOT 3294800 SOS 2250784 HAS SOPS 2250784 HAS SOUS 1946433 HAS SOUPS 1946433 WITH SCORE 1948683.784
AT ITER 1284 NEW BEST:: SOT 3292847 SOS 2248831 HAS SOPS 2248831 HAS SOUS 1944480 HAS SOUPS 1944480 WITH SCORE 1946728.831
AT ITER 1289 NEW BEST:: SOT 3291731 SOS 2247715 HAS SOPS 2247715 HAS SOUS 1943363 HAS SOUPS 1943363 WITH SCORE 1945610.715
AT ITER 1290 NEW BEST:: SOT 3290429 SOS 2246363 HAS SOPS 2246363 HAS SOUS 1942176 HAS SOUPS 1942176 WITH SCORE 1944422.363
AT ITER 1291 NEW BEST:: SOT 3289729 SOS 2245620 HAS SOPS 2245620 HAS SOUS 1941433 HAS SOUPS 1941433 WITH SCORE 1943678.62
AT ITER 1294 NEW BEST:: SOT 3288941 SOS 2242460 HAS SOPS 2242460 HAS SOUS 1940007 HAS SOUPS 1940007 WITH SCORE 1942249.46
AT ITER 1298 NEW BEST:: SOT 3288502 SOS 2241697 HAS SOPS 2241697 HAS SOUS 1939244 HAS SOUPS 1939244 WITH SCORE 1941485.697
AT ITER 1299 NEW BEST:: SOT 3288502 SOS 2241193 HAS SOPS 2241193 HAS SOUS 1939244 HAS SOUPS 1939244 WITH SCORE 1941485.193
AT ITER 1302 NEW BEST:: SOT 3287830 SOS 2240521 HAS SOPS 2240521 HAS SOUS 1938690 HAS SOUPS 1938690 WITH SCORE 1940930.521
AT ITER 1306 NEW BEST:: SOT 3287779 SOS 2240470 HAS SOPS 2240470 HAS SOUS 1938639 HAS SOUPS 1938639 WITH SCORE 1940879.47
AT ITER 1309 NEW BEST:: SOT 3287779 SOS 2235833 HAS SOPS 2235833 HAS SOUS 1937553 HAS SOUPS 1937553 WITH SCORE 1939788.833
AT ITER 1314 NEW BEST:: SOT 3287606 SOS 2235660 HAS SOPS 2235660 HAS SOUS 1937380 HAS SOUPS 1937380 WITH SCORE 1939615.66
AT ITER 1316 NEW BEST:: SOT 3287428 SOS 2235482 HAS SOPS 2235482 HAS SOUS 1937380 HAS SOUPS 1937380 WITH SCORE 1939615.482
AT ITER 1324 NEW BEST:: SOT 3287538 SOS 2235143 HAS SOPS 2235143 HAS SOUS 1937130 HAS SOUPS 1937130 WITH SCORE 1939365.143
AT ITER 1325 NEW BEST:: SOT 3287005 SOS 2234641 HAS SOPS 2234641 HAS SOUS 1936628 HAS SOUPS 1936628 WITH SCORE 1938862.641
AT ITER 1327 NEW BEST:: SOT 3287005 SOS 2234594 HAS SOPS 2234594 HAS SOUS 1936581 HAS SOUPS 1936581 WITH SCORE 1938815.594
AT ITER 1341 NEW BEST:: SOT 3286343 SOS 2234034 HAS SOPS 2234034 HAS SOUS 1936405 HAS SOUPS 1936405 WITH SCORE 1938639.034
AT ITER 1344 NEW BEST:: SOT 3283793 SOS 2228404 HAS SOPS 2228404 HAS SOUS 1932425 HAS SOUPS 1932425 WITH SCORE 1934653.404
AT ITER 1345 NEW BEST:: SOT 3282387 SOS 2226295 HAS SOPS 2226295 HAS SOUS 1930316 HAS SOUPS 1930316 WITH SCORE 1932542.295
AT ITER 1348 NEW BEST:: SOT 3281740 SOS 2225926 HAS SOPS 2225926 HAS SOUS 1930226 HAS SOUPS 1930226 WITH SCORE 1932451.926
AT ITER 1352 NEW BEST:: SOT 3281478 SOS 2225664 HAS SOPS 2225664 HAS SOUS 1929964 HAS SOUPS 1929964 WITH SCORE 1932189.664
AT ITER 1353 NEW BEST:: SOT 3281478 SOS 2224540 HAS SOPS 2224540 HAS SOUS 1929726 HAS SOUPS 1929726 WITH SCORE 1931950.54
AT ITER 1354 NEW BEST:: SOT 3281044 SOS 2224106 HAS SOPS 2224106 HAS SOUS 1929292 HAS SOUPS 1929292 WITH SCORE 1931516.106
AT ITER 1356 NEW BEST:: SOT 3280243 SOS 2223305 HAS SOPS 2223305 HAS SOUS 1928489 HAS SOUPS 1928489 WITH SCORE 1930712.305
AT ITER 1358 NEW BEST:: SOT 3277853 SOS 2220915 HAS SOPS 2220915 HAS SOUS 1926987 HAS SOUPS 1926987 WITH SCORE 1929207.915
AT ITER 1360 NEW BEST:: SOT 3276961 SOS 2220023 HAS SOPS 2220023 HAS SOUS 1926095 HAS SOUPS 1926095 WITH SCORE 1928315.023
AT ITER 1375 NEW BEST:: SOT 3273732 SOS 2216792 HAS SOPS 2216792 HAS SOUS 1923014 HAS SOUPS 1923014 WITH SCORE 1925230.792
AT ITER 1377 NEW BEST:: SOT 3273732 SOS 2216018 HAS SOPS 2216018 HAS SOUS 1923012 HAS SOUPS 1923012 WITH SCORE 1925228.018
AT ITER 1378 NEW BEST:: SOT 3273732 SOS 2215446 HAS SOPS 2215446 HAS SOUS 1922820 HAS SOUPS 1922820 WITH SCORE 1925035.446
AT ITER 1380 NEW BEST:: SOT 3273725 SOS 2215432 HAS SOPS 2215432 HAS SOUS 1922799 HAS SOUPS 1922799 WITH SCORE 1925014.432
AT ITER 1383 NEW BEST:: SOT 3273725 SOS 2212941 HAS SOPS 2212941 HAS SOUS 1922569 HAS SOUPS 1922569 WITH SCORE 1924781.941
AT ITER 1387 NEW BEST:: SOT 3274167 SOS 2212772 HAS SOPS 2212772 HAS SOUS 1922400 HAS SOUPS 1922400 WITH SCORE 1924612.772
AT ITER 1397 NEW BEST:: SOT 3273358 SOS 2211963 HAS SOPS 2211963 HAS SOUS 1921591 HAS SOUPS 1921591 WITH SCORE 1923802.963
AT ITER 1399 NEW BEST:: SOT 3273450 SOS 2209383 HAS SOPS 2209383 HAS SOUS 1921118 HAS SOUPS 1921118 WITH SCORE 1923327.383
AT ITER 1400 NEW BEST:: SOT 3273038 SOS 2209246 HAS SOPS 2209246 HAS SOUS 1920981 HAS SOUPS 1920981 WITH SCORE 1923190.246
AT ITER 1407 NEW BEST:: SOT 3271665 SOS 2209265 HAS SOPS 2209265 HAS SOUS 1919515 HAS SOUPS 1919515 WITH SCORE 1921724.265
AT ITER 1408 NEW BEST:: SOT 3271179 SOS 2209742 HAS SOPS 2209742 HAS SOUS 1918465 HAS SOUPS 1918465 WITH SCORE 1920674.742
AT ITER 1410 NEW BEST:: SOT 3271259 SOS 2209634 HAS SOPS 2209634 HAS SOUS 1918357 HAS SOUPS 1918357 WITH SCORE 1920566.634
AT ITER 1412 NEW BEST:: SOT 3271192 SOS 2209500 HAS SOPS 2209500 HAS SOUS 1918223 HAS SOUPS 1918223 WITH SCORE 1920432.5
AT ITER 1415 NEW BEST:: SOT 3270428 SOS 2208736 HAS SOPS 2208736 HAS SOUS 1917450 HAS SOUPS 1917450 WITH SCORE 1919658.736
AT ITER 1420 NEW BEST:: SOT 3270096 SOS 2208402 HAS SOPS 2208402 HAS SOUS 1917115 HAS SOUPS 1917115 WITH SCORE 1919323.402
AT ITER 1421 NEW BEST:: SOT 3269626 SOS 2207478 HAS SOPS 2207478 HAS SOUS 1916189 HAS SOUPS 1916189 WITH SCORE 1918396.478
AT ITER 1430 NEW BEST:: SOT 3268432 SOS 2206567 HAS SOPS 2206567 HAS SOUS 1915278 HAS SOUPS 1915278 WITH SCORE 1917484.567
AT ITER 1431 NEW BEST:: SOT 3268432 SOS 2204644 HAS SOPS 2204644 HAS SOUS 1915273 HAS SOUPS 1915273 WITH SCORE 1917477.644
AT ITER 1434 NEW BEST:: SOT 3266395 SOS 2202605 HAS SOPS 2202605 HAS SOUS 1913234 HAS SOUPS 1913234 WITH SCORE 1915436.605
AT ITER 1435 NEW BEST:: SOT 3265508 SOS 2201755 HAS SOPS 2201755 HAS SOUS 1912384 HAS SOUPS 1912384 WITH SCORE 1914585.755
AT ITER 1436 NEW BEST:: SOT 3265115 SOS 2201376 HAS SOPS 2201376 HAS SOUS 1912005 HAS SOUPS 1912005 WITH SCORE 1914206.376
AT ITER 1438 NEW BEST:: SOT 3264426 SOS 2199187 HAS SOPS 2199187 HAS SOUS 1910314 HAS SOUPS 1910314 WITH SCORE 1912513.187
AT ITER 1439 NEW BEST:: SOT 3263662 SOS 2198421 HAS SOPS 2198421 HAS SOUS 1909831 HAS SOUPS 1909831 WITH SCORE 1912029.421
AT ITER 1442 NEW BEST:: SOT 3263662 SOS 2198421 HAS SOPS 2198421 HAS SOUS 1909645 HAS SOUPS 1909645 WITH SCORE 1911843.421
AT ITER 1443 NEW BEST:: SOT 3262700 SOS 2197457 HAS SOPS 2197457 HAS SOUS 1908967 HAS SOUPS 1908967 WITH SCORE 1911164.457
AT ITER 1446 NEW BEST:: SOT 3262481 SOS 2196372 HAS SOPS 2196372 HAS SOUS 1908529 HAS SOUPS 1908529 WITH SCORE 1910725.372
AT ITER 1447 NEW BEST:: SOT 3262366 SOS 2196237 HAS SOPS 2196237 HAS SOUS 1908509 HAS SOUPS 1908509 WITH SCORE 1910705.237
AT ITER 1449 NEW BEST:: SOT 3262028 SOS 2196084 HAS SOPS 2196084 HAS SOUS 1907885 HAS SOUPS 1907885 WITH SCORE 1910081.084
AT ITER 1450 NEW BEST:: SOT 3261759 SOS 2195815 HAS SOPS 2195815 HAS SOUS 1907616 HAS SOUPS 1907616 WITH SCORE 1909811.815
AT ITER 1451 NEW BEST:: SOT 3260025 SOS 2197649 HAS SOPS 2197649 HAS SOUS 1906692 HAS SOUPS 1906692 WITH SCORE 1908889.649
AT ITER 1459 NEW BEST:: SOT 3259695 SOS 2196301 HAS SOPS 2196301 HAS SOUS 1905624 HAS SOUPS 1905624 WITH SCORE 1907820.301
AT ITER 1460 NEW BEST:: SOT 3258572 SOS 2195178 HAS SOPS 2195178 HAS SOUS 1904501 HAS SOUPS 1904501 WITH SCORE 1906696.178
AT ITER 1461 NEW BEST:: SOT 3258572 SOS 2194888 HAS SOPS 2194888 HAS SOUS 1904501 HAS SOUPS 1904501 WITH SCORE 1906695.888
AT ITER 1466 NEW BEST:: SOT 3258173 SOS 2194489 HAS SOPS 2194489 HAS SOUS 1904232 HAS SOUPS 1904232 WITH SCORE 1906426.489
AT ITER 1471 NEW BEST:: SOT 3256763 SOS 2193079 HAS SOPS 2193079 HAS SOUS 1903223 HAS SOUPS 1903223 WITH SCORE 1905416.079
AT ITER 1472 NEW BEST:: SOT 3254518 SOS 2187678 HAS SOPS 2187678 HAS SOUS 1898248 HAS SOUPS 1898248 WITH SCORE 1900435.678
AT ITER 1474 NEW BEST:: SOT 3253089 SOS 2182053 HAS SOPS 2182053 HAS SOUS 1894776 HAS SOUPS 1894776 WITH SCORE 1896958.053
AT ITER 1475 NEW BEST:: SOT 3252852 SOS 2181610 HAS SOPS 2181610 HAS SOUS 1894333 HAS SOUPS 1894333 WITH SCORE 1896514.61
AT ITER 1478 NEW BEST:: SOT 3253821 SOS 2178366 HAS SOPS 2178366 HAS SOUS 1893696 HAS SOUPS 1893696 WITH SCORE 1895874.366
AT ITER 1479 NEW BEST:: SOT 3253351 SOS 2177661 HAS SOPS 2177661 HAS SOUS 1892756 HAS SOUPS 1892756 WITH SCORE 1894933.661
AT ITER 1484 NEW BEST:: SOT 3253328 SOS 2177638 HAS SOPS 2177638 HAS SOUS 1892733 HAS SOUPS 1892733 WITH SCORE 1894910.638
AT ITER 1489 NEW BEST:: SOT 3253191 SOS 2177501 HAS SOPS 2177501 HAS SOUS 1892594 HAS SOUPS 1892594 WITH SCORE 1894771.501
AT ITER 1490 NEW BEST:: SOT 3251520 SOS 2171274 HAS SOPS 2171274 HAS SOUS 1888834 HAS SOUPS 1888834 WITH SCORE 1891005.274
AT ITER 1500 NEW BEST:: SOT 3250611 SOS 2170749 HAS SOPS 2170749 HAS SOUS 1888307 HAS SOUPS 1888307 WITH SCORE 1890477.749
AT ITER 1504 NEW BEST:: SOT 3248779 SOS 2168916 HAS SOPS 2168916 HAS SOUS 1886474 HAS SOUPS 1886474 WITH SCORE 1888642.916
AT ITER 1505 NEW BEST:: SOT 3248779 SOS 2167491 HAS SOPS 2167491 HAS SOUS 1886136 HAS SOUPS 1886136 WITH SCORE 1888303.491
AT ITER 1508 NEW BEST:: SOT 3248010 SOS 2167442 HAS SOPS 2167442 HAS SOUS 1884887 HAS SOUPS 1884887 WITH SCORE 1887054.442
AT ITER 1518 NEW BEST:: SOT 3244947 SOS 2163710 HAS SOPS 2163710 HAS SOUS 1881155 HAS SOUPS 1881155 WITH SCORE 1883318.71
AT ITER 1527 NEW BEST:: SOT 3244935 SOS 2163698 HAS SOPS 2163698 HAS SOUS 1881143 HAS SOUPS 1881143 WITH SCORE 1883306.698
AT ITER 1530 NEW BEST:: SOT 3244613 SOS 2163376 HAS SOPS 2163376 HAS SOUS 1880821 HAS SOUPS 1880821 WITH SCORE 1882984.376
AT ITER 1535 NEW BEST:: SOT 3242851 SOS 2161385 HAS SOPS 2161385 HAS SOUS 1879428 HAS SOUPS 1879428 WITH SCORE 1881589.385
AT ITER 1538 NEW BEST:: SOT 3239865 SOS 2158399 HAS SOPS 2158399 HAS SOUS 1877151 HAS SOUPS 1877151 WITH SCORE 1879309.399
AT ITER 1539 NEW BEST:: SOT 3238855 SOS 2157466 HAS SOPS 2157466 HAS SOUS 1876217 HAS SOUPS 1876217 WITH SCORE 1878374.466
AT ITER 1540 NEW BEST:: SOT 3237321 SOS 2155932 HAS SOPS 2155932 HAS SOUS 1874755 HAS SOUPS 1874755 WITH SCORE 1876910.932
AT ITER 1541 NEW BEST:: SOT 3236879 SOS 2155490 HAS SOPS 2155490 HAS SOUS 1873980 HAS SOUPS 1873980 WITH SCORE 1876135.49
AT ITER 1545 NEW BEST:: SOT 3234623 SOS 2148238 HAS SOPS 2148238 HAS SOUS 1869768 HAS SOUPS 1869768 WITH SCORE 1871916.238
AT ITER 1546 NEW BEST:: SOT 3234444 SOS 2148059 HAS SOPS 2148059 HAS SOUS 1869589 HAS SOUPS 1869589 WITH SCORE 1871737.059
AT ITER 1548 NEW BEST:: SOT 3234184 SOS 2147414 HAS SOPS 2147414 HAS SOUS 1868944 HAS SOUPS 1868944 WITH SCORE 1871091.414
AT ITER 1549 NEW BEST:: SOT 3233161 SOS 2146389 HAS SOPS 2146389 HAS SOUS 1868316 HAS SOUPS 1868316 WITH SCORE 1870462.389
AT ITER 1550 NEW BEST:: SOT 3232873 SOS 2144366 HAS SOPS 2144366 HAS SOUS 1865401 HAS SOUPS 1865401 WITH SCORE 1867545.366
AT ITER 1553 NEW BEST:: SOT 3232270 SOS 2143761 HAS SOPS 2143761 HAS SOUS 1864796 HAS SOUPS 1864796 WITH SCORE 1866939.761
AT ITER 1555 NEW BEST:: SOT 3231947 SOS 2143438 HAS SOPS 2143438 HAS SOUS 1864473 HAS SOUPS 1864473 WITH SCORE 1866616.438
AT ITER 1557 NEW BEST:: SOT 3231947 SOS 2142525 HAS SOPS 2142525 HAS SOUS 1864106 HAS SOUPS 1864106 WITH SCORE 1866248.525
AT ITER 1559 NEW BEST:: SOT 3230458 SOS 2137869 HAS SOPS 2137869 HAS SOUS 1861829 HAS SOUPS 1861829 WITH SCORE 1863966.869
AT ITER 1564 NEW BEST:: SOT 3230342 SOS 2138175 HAS SOPS 2138175 HAS SOUS 1861230 HAS SOUPS 1861230 WITH SCORE 1863368.175
AT ITER 1566 NEW BEST:: SOT 3230242 SOS 2137845 HAS SOPS 2137845 HAS SOUS 1861130 HAS SOUPS 1861130 WITH SCORE 1863267.845
AT ITER 1575 NEW BEST:: SOT 3230242 SOS 2136873 HAS SOPS 2136873 HAS SOUS 1860499 HAS SOUPS 1860499 WITH SCORE 1862635.873
AT ITER 1577 NEW BEST:: SOT 3230017 SOS 2136805 HAS SOPS 2136805 HAS SOUS 1859477 HAS SOUPS 1859477 WITH SCORE 1861613.805
AT ITER 1578 NEW BEST:: SOT 3230375 SOS 2136804 HAS SOPS 2136804 HAS SOUS 1859476 HAS SOUPS 1859476 WITH SCORE 1861612.804
AT ITER 1582 NEW BEST:: SOT 3229766 SOS 2135411 HAS SOPS 2135411 HAS SOUS 1858414 HAS SOUPS 1858414 WITH SCORE 1860549.411
AT ITER 1587 NEW BEST:: SOT 3229766 SOS 2133171 HAS SOPS 2133171 HAS SOUS 1857852 HAS SOUPS 1857852 WITH SCORE 1859985.171
AT ITER 1591 NEW BEST:: SOT 3229766 SOS 2131916 HAS SOPS 2131916 HAS SOUS 1857433 HAS SOUPS 1857433 WITH SCORE 1859564.916
AT ITER 1594 NEW BEST:: SOT 3229766 SOS 2130739 HAS SOPS 2130739 HAS SOUS 1857261 HAS SOUPS 1857261 WITH SCORE 1859391.739
AT ITER 1600 NEW BEST:: SOT 3229748 SOS 2130721 HAS SOPS 2130721 HAS SOUS 1857243 HAS SOUPS 1857243 WITH SCORE 1859373.721
AT ITER 1606 NEW BEST:: SOT 3229930 SOS 2130720 HAS SOPS 2130720 HAS SOUS 1857242 HAS SOUPS 1857242 WITH SCORE 1859372.72
AT ITER 1613 NEW BEST:: SOT 3229930 SOS 2129944 HAS SOPS 2129944 HAS SOUS 1856782 HAS SOUPS 1856782 WITH SCORE 1858911.944
AT ITER 1619 NEW BEST:: SOT 3229013 SOS 2129027 HAS SOPS 2129027 HAS SOUS 1855865 HAS SOUPS 1855865 WITH SCORE 1857994.027
AT ITER 1621 NEW BEST:: SOT 3229013 SOS 2128014 HAS SOPS 2128014 HAS SOUS 1855859 HAS SOUPS 1855859 WITH SCORE 1857987.014
AT ITER 1622 NEW BEST:: SOT 3228443 SOS 2127442 HAS SOPS 2127442 HAS SOUS 1855382 HAS SOUPS 1855382 WITH SCORE 1857509.442
AT ITER 1627 NEW BEST:: SOT 3228066 SOS 2127065 HAS SOPS 2127065 HAS SOUS 1854778 HAS SOUPS 1854778 WITH SCORE 1856905.065
AT ITER 1629 NEW BEST:: SOT 3228066 SOS 2126741 HAS SOPS 2126741 HAS SOUS 1854778 HAS SOUPS 1854778 WITH SCORE 1856904.741
AT ITER 1630 NEW BEST:: SOT 3228002 SOS 2126677 HAS SOPS 2126677 HAS SOUS 1854714 HAS SOUPS 1854714 WITH SCORE 1856840.677
AT ITER 1639 NEW BEST:: SOT 3227197 SOS 2125871 HAS SOPS 2125871 HAS SOUS 1853908 HAS SOUPS 1853908 WITH SCORE 1856033.871
AT ITER 1640 NEW BEST:: SOT 3226912 SOS 2125442 HAS SOPS 2125442 HAS SOUS 1853479 HAS SOUPS 1853479 WITH SCORE 1855604.442
AT ITER 1642 NEW BEST:: SOT 3223227 SOS 2119982 HAS SOPS 2119982 HAS SOUS 1848391 HAS SOUPS 1848391 WITH SCORE 1850510.982
AT ITER 1643 NEW BEST:: SOT 3222703 SOS 2116350 HAS SOPS 2116350 HAS SOUS 1846594 HAS SOUPS 1846594 WITH SCORE 1848710.35
AT ITER 1648 NEW BEST:: SOT 3221408 SOS 2111848 HAS SOPS 2111848 HAS SOUS 1844159 HAS SOUPS 1844159 WITH SCORE 1846270.848
AT ITER 1650 NEW BEST:: SOT 3220511 SOS 2111337 HAS SOPS 2111337 HAS SOUS 1843648 HAS SOUPS 1843648 WITH SCORE 1845759.337
AT ITER 1652 NEW BEST:: SOT 3219246 SOS 2109873 HAS SOPS 2109873 HAS SOUS 1842412 HAS SOUPS 1842412 WITH SCORE 1844521.873
AT ITER 1663 NEW BEST:: SOT 3218256 SOS 2109172 HAS SOPS 2109172 HAS SOUS 1841711 HAS SOUPS 1841711 WITH SCORE 1843820.172
AT ITER 1664 NEW BEST:: SOT 3218254 SOS 2109150 HAS SOPS 2109150 HAS SOUS 1841686 HAS SOUPS 1841686 WITH SCORE 1843795.15
AT ITER 1666 NEW BEST:: SOT 3216432 SOS 2107328 HAS SOPS 2107328 HAS SOUS 1839864 HAS SOUPS 1839864 WITH SCORE 1841971.328
AT ITER 1669 NEW BEST:: SOT 3215680 SOS 2105075 HAS SOPS 2105075 HAS SOUS 1838562 HAS SOUPS 1838562 WITH SCORE 1840667.075
AT ITER 1670 NEW BEST:: SOT 3215526 SOS 2104798 HAS SOPS 2104798 HAS SOUS 1838285 HAS SOUPS 1838285 WITH SCORE 1840389.798
AT ITER 1673 NEW BEST:: SOT 3215566 SOS 2103582 HAS SOPS 2103582 HAS SOUS 1837956 HAS SOUPS 1837956 WITH SCORE 1840059.582
AT ITER 1675 NEW BEST:: SOT 3213199 SOS 2101213 HAS SOPS 2101213 HAS SOUS 1836890 HAS SOUPS 1836890 WITH SCORE 1838991.213
AT ITER 1676 NEW BEST:: SOT 3212748 SOS 2100762 HAS SOPS 2100762 HAS SOUS 1836439 HAS SOUPS 1836439 WITH SCORE 1838539.762
AT ITER 1678 NEW BEST:: SOT 3212402 SOS 2100416 HAS SOPS 2100416 HAS SOUS 1836093 HAS SOUPS 1836093 WITH SCORE 1838193.416
AT ITER 1681 NEW BEST:: SOT 3212310 SOS 2100324 HAS SOPS 2100324 HAS SOUS 1836001 HAS SOUPS 1836001 WITH SCORE 1838101.324
AT ITER 1695 NEW BEST:: SOT 3210117 SOS 2093103 HAS SOPS 2093103 HAS SOUS 1832159 HAS SOUPS 1832159 WITH SCORE 1834252.103
AT ITER 1696 NEW BEST:: SOT 3209989 SOS 2092975 HAS SOPS 2092975 HAS SOUS 1832031 HAS SOUPS 1832031 WITH SCORE 1834123.975
AT ITER 1701 NEW BEST:: SOT 3208172 SOS 2091158 HAS SOPS 2091158 HAS SOUS 1830213 HAS SOUPS 1830213 WITH SCORE 1832304.158
AT ITER 1702 NEW BEST:: SOT 3207118 SOS 2088617 HAS SOPS 2088617 HAS SOUS 1827672 HAS SOUPS 1827672 WITH SCORE 1829760.617
AT ITER 1704 NEW BEST:: SOT 3205533 SOS 2087032 HAS SOPS 2087032 HAS SOUS 1825857 HAS SOUPS 1825857 WITH SCORE 1827944.032
AT ITER 1708 NEW BEST:: SOT 3205417 SOS 2086916 HAS SOPS 2086916 HAS SOUS 1825741 HAS SOUPS 1825741 WITH SCORE 1827827.916
AT ITER 1709 NEW BEST:: SOT 3205251 SOS 2086750 HAS SOPS 2086750 HAS SOUS 1825575 HAS SOUPS 1825575 WITH SCORE 1827661.75
AT ITER 1711 NEW BEST:: SOT 3205908 SOS 2085637 HAS SOPS 2085637 HAS SOUS 1825055 HAS SOUPS 1825055 WITH SCORE 1827140.637
AT ITER 1713 NEW BEST:: SOT 3205833 SOS 2085560 HAS SOPS 2085560 HAS SOUS 1824977 HAS SOUPS 1824977 WITH SCORE 1827062.56
AT ITER 1729 NEW BEST:: SOT 3205831 SOS 2084886 HAS SOPS 2084886 HAS SOUS 1824639 HAS SOUPS 1824639 WITH SCORE 1826723.886
AT ITER 1731 NEW BEST:: SOT 3205807 SOS 2084862 HAS SOPS 2084862 HAS SOUS 1824615 HAS SOUPS 1824615 WITH SCORE 1826699.862
AT ITER 1738 NEW BEST:: SOT 3205475 SOS 2084530 HAS SOPS 2084530 HAS SOUS 1824281 HAS SOUPS 1824281 WITH SCORE 1826365.53
AT ITER 1739 NEW BEST:: SOT 3205173 SOS 2084228 HAS SOPS 2084228 HAS SOUS 1823979 HAS SOUPS 1823979 WITH SCORE 1826063.228
AT ITER 1741 NEW BEST:: SOT 3205173 SOS 2084138 HAS SOPS 2084138 HAS SOUS 1823971 HAS SOUPS 1823971 WITH SCORE 1826055.138
AT ITER 1745 NEW BEST:: SOT 3204910 SOS 2083875 HAS SOPS 2083875 HAS SOUS 1823708 HAS SOUPS 1823708 WITH SCORE 1825791.875
AT ITER 1746 NEW BEST:: SOT 3202656 SOS 2080876 HAS SOPS 2080876 HAS SOUS 1820709 HAS SOUPS 1820709 WITH SCORE 1822789.876
AT ITER 1747 NEW BEST:: SOT 3201048 SOS 2079268 HAS SOPS 2079268 HAS SOUS 1820027 HAS SOUPS 1820027 WITH SCORE 1822106.268
AT ITER 1753 NEW BEST:: SOT 3200344 SOS 2078564 HAS SOPS 2078564 HAS SOUS 1819798 HAS SOUPS 1819798 WITH SCORE 1821876.564
AT ITER 1754 NEW BEST:: SOT 3199728 SOS 2078299 HAS SOPS 2078299 HAS SOUS 1819531 HAS SOUPS 1819531 WITH SCORE 1821609.299
AT ITER 1762 NEW BEST:: SOT 3199728 SOS 2077734 HAS SOPS 2077734 HAS SOUS 1819531 HAS SOUPS 1819531 WITH SCORE 1821608.734
AT ITER 1768 NEW BEST:: SOT 3199728 SOS 2077555 HAS SOPS 2077555 HAS SOUS 1819531 HAS SOUPS 1819531 WITH SCORE 1821608.555
AT ITER 1771 NEW BEST:: SOT 3199524 SOS 2077351 HAS SOPS 2077351 HAS SOUS 1819325 HAS SOUPS 1819325 WITH SCORE 1821402.351
AT ITER 1778 NEW BEST:: SOT 3199524 SOS 2077341 HAS SOPS 2077341 HAS SOUS 1819315 HAS SOUPS 1819315 WITH SCORE 1821392.341
AT ITER 1784 NEW BEST:: SOT 3199437 SOS 2076584 HAS SOPS 2076584 HAS SOUS 1819147 HAS SOUPS 1819147 WITH SCORE 1821223.584
AT ITER 1790 NEW BEST:: SOT 3198897 SOS 2076044 HAS SOPS 2076044 HAS SOUS 1818337 HAS SOUPS 1818337 WITH SCORE 1820413.044
AT ITER 1791 NEW BEST:: SOT 3198855 SOS 2076002 HAS SOPS 2076002 HAS SOUS 1818295 HAS SOUPS 1818295 WITH SCORE 1820371.002
AT ITER 1794 NEW BEST:: SOT 3198749 SOS 2075896 HAS SOPS 2075896 HAS SOUS 1818189 HAS SOUPS 1818189 WITH SCORE 1820264.896
AT ITER 1796 NEW BEST:: SOT 3198749 SOS 2074859 HAS SOPS 2074859 HAS SOUS 1817505 HAS SOUPS 1817505 WITH SCORE 1819579.859
AT ITER 1797 NEW BEST:: SOT 3196686 SOS 2072796 HAS SOPS 2072796 HAS SOUS 1815592 HAS SOUPS 1815592 WITH SCORE 1817664.796
AT ITER 1799 NEW BEST:: SOT 3196686 SOS 2071764 HAS SOPS 2071764 HAS SOUS 1815403 HAS SOUPS 1815403 WITH SCORE 1817474.764
AT ITER 1818 NEW BEST:: SOT 3196009 SOS 2070322 HAS SOPS 2070322 HAS SOUS 1813960 HAS SOUPS 1813960 WITH SCORE 1816030.322
AT ITER 1819 NEW BEST:: SOT 3194987 SOS 2069300 HAS SOPS 2069300 HAS SOUS 1812938 HAS SOUPS 1812938 WITH SCORE 1815007.3
AT ITER 1829 NEW BEST:: SOT 3194366 SOS 2068679 HAS SOPS 2068679 HAS SOUS 1812317 HAS SOUPS 1812317 WITH SCORE 1814385.679
AT ITER 1831 NEW BEST:: SOT 3194366 SOS 2068682 HAS SOPS 2068682 HAS SOUS 1812314 HAS SOUPS 1812314 WITH SCORE 1814382.682
AT ITER 1839 NEW BEST:: SOT 3193260 SOS 2067576 HAS SOPS 2067576 HAS SOUS 1811208 HAS SOUPS 1811208 WITH SCORE 1813275.576
AT ITER 1840 NEW BEST:: SOT 3193043 SOS 2067359 HAS SOPS 2067359 HAS SOUS 1810860 HAS SOUPS 1810860 WITH SCORE 1812927.359
AT ITER 1845 NEW BEST:: SOT 3193027 SOS 2067343 HAS SOPS 2067343 HAS SOUS 1810844 HAS SOUPS 1810844 WITH SCORE 1812911.343
AT ITER 1847 NEW BEST:: SOT 3193027 SOS 2067343 HAS SOPS 2067343 HAS SOUS 1810843 HAS SOUPS 1810843 WITH SCORE 1812910.343
AT ITER 1848 NEW BEST:: SOT 3193027 SOS 2067341 HAS SOPS 2067341 HAS SOUS 1810841 HAS SOUPS 1810841 WITH SCORE 1812908.341
AT ITER 1853 NEW BEST:: SOT 3192775 SOS 2067012 HAS SOPS 2067012 HAS SOUS 1810512 HAS SOUPS 1810512 WITH SCORE 1812579.012
AT ITER 1863 NEW BEST:: SOT 3192565 SOS 2066697 HAS SOPS 2066697 HAS SOUS 1810197 HAS SOUPS 1810197 WITH SCORE 1812263.697
AT ITER 1874 NEW BEST:: SOT 3192565 SOS 2066696 HAS SOPS 2066696 HAS SOUS 1810196 HAS SOUPS 1810196 WITH SCORE 1812262.696
AT ITER 1875 NEW BEST:: SOT 3192315 SOS 2066435 HAS SOPS 2066435 HAS SOUS 1809935 HAS SOUPS 1809935 WITH SCORE 1812001.435
AT ITER 1878 NEW BEST:: SOT 3191888 SOS 2065864 HAS SOPS 2065864 HAS SOUS 1809364 HAS SOUPS 1809364 WITH SCORE 1811429.864
AT ITER 1882 NEW BEST:: SOT 3191768 SOS 2065744 HAS SOPS 2065744 HAS SOUS 1809210 HAS SOUPS 1809210 WITH SCORE 1811275.744
AT ITER 1884 NEW BEST:: SOT 3190503 SOS 2063475 HAS SOPS 2063475 HAS SOUS 1806462 HAS SOUPS 1806462 WITH SCORE 1808525.475
AT ITER 1890 NEW BEST:: SOT 3189808 SOS 2062780 HAS SOPS 2062780 HAS SOUS 1805767 HAS SOUPS 1805767 WITH SCORE 1807829.78
AT ITER 1891 NEW BEST:: SOT 3189094 SOS 2061875 HAS SOPS 2061875 HAS SOUS 1804862 HAS SOUPS 1804862 WITH SCORE 1806923.875
AT ITER 1892 NEW BEST:: SOT 3188860 SOS 2061481 HAS SOPS 2061481 HAS SOUS 1804468 HAS SOUPS 1804468 WITH SCORE 1806529.481
AT ITER 1894 NEW BEST:: SOT 3188860 SOS 2059708 HAS SOPS 2059708 HAS SOUS 1804175 HAS SOUPS 1804175 WITH SCORE 1806234.708
AT ITER 1901 NEW BEST:: SOT 3188860 SOS 2057951 HAS SOPS 2057951 HAS SOUS 1803868 HAS SOUPS 1803868 WITH SCORE 1805925.951
AT ITER 1910 NEW BEST:: SOT 3188409 SOS 2057038 HAS SOPS 2057038 HAS SOUS 1803393 HAS SOUPS 1803393 WITH SCORE 1805450.038
AT ITER 1913 NEW BEST:: SOT 3186902 SOS 2057877 HAS SOPS 2057877 HAS SOUS 1802692 HAS SOUPS 1802692 WITH SCORE 1804749.877
AT ITER 1919 NEW BEST:: SOT 3186899 SOS 2057537 HAS SOPS 2057537 HAS SOUS 1802352 HAS SOUPS 1802352 WITH SCORE 1804409.537
AT ITER 1920 NEW BEST:: SOT 3186843 SOS 2057481 HAS SOPS 2057481 HAS SOUS 1802296 HAS SOUPS 1802296 WITH SCORE 1804353.481
AT ITER 1922 NEW BEST:: SOT 3186009 SOS 2056647 HAS SOPS 2056647 HAS SOUS 1801462 HAS SOUPS 1801462 WITH SCORE 1803518.647
AT ITER 1923 NEW BEST:: SOT 3185898 SOS 2056534 HAS SOPS 2056534 HAS SOUS 1801349 HAS SOUPS 1801349 WITH SCORE 1803405.534
AT ITER 1928 NEW BEST:: SOT 3185898 SOS 2056438 HAS SOPS 2056438 HAS SOUS 1801347 HAS SOUPS 1801347 WITH SCORE 1803403.438
AT ITER 1930 NEW BEST:: SOT 3186020 SOS 2055825 HAS SOPS 2055825 HAS SOUS 1801337 HAS SOUPS 1801337 WITH SCORE 1803392.825
AT ITER 1931 NEW BEST:: SOT 3184797 SOS 2054602 HAS SOPS 2054602 HAS SOUS 1800114 HAS SOUPS 1800114 WITH SCORE 1802168.602
AT ITER 1934 NEW BEST:: SOT 3184619 SOS 2052090 HAS SOPS 2052090 HAS SOUS 1799677 HAS SOUPS 1799677 WITH SCORE 1801729.09
AT ITER 1937 NEW BEST:: SOT 3184511 SOS 2051923 HAS SOPS 2051923 HAS SOUS 1799677 HAS SOUPS 1799677 WITH SCORE 1801728.923
AT ITER 1940 NEW BEST:: SOT 3184114 SOS 2051466 HAS SOPS 2051466 HAS SOUS 1799291 HAS SOUPS 1799291 WITH SCORE 1801342.466
AT ITER 1941 NEW BEST:: SOT 3181582 SOS 2047279 HAS SOPS 2047279 HAS SOUS 1795508 HAS SOUPS 1795508 WITH SCORE 1797555.279
AT ITER 1945 NEW BEST:: SOT 3180508 SOS 2046205 HAS SOPS 2046205 HAS SOUS 1794182 HAS SOUPS 1794182 WITH SCORE 1796228.205
AT ITER 1949 NEW BEST:: SOT 3178430 SOS 2044127 HAS SOPS 2044127 HAS SOUS 1791992 HAS SOUPS 1791992 WITH SCORE 1794036.127
AT ITER 1951 NEW BEST:: SOT 3177923 SOS 2043620 HAS SOPS 2043620 HAS SOUS 1791484 HAS SOUPS 1791484 WITH SCORE 1793527.62
AT ITER 1955 NEW BEST:: SOT 3177289 SOS 2044632 HAS SOPS 2044632 HAS SOUS 1790857 HAS SOUPS 1790857 WITH SCORE 1792901.632
AT ITER 1956 NEW BEST:: SOT 3176631 SOS 2043339 HAS SOPS 2043339 HAS SOUS 1789564 HAS SOUPS 1789564 WITH SCORE 1791607.339
AT ITER 1959 NEW BEST:: SOT 3176631 SOS 2041652 HAS SOPS 2041652 HAS SOUS 1789561 HAS SOUPS 1789561 WITH SCORE 1791602.652
AT ITER 1961 NEW BEST:: SOT 3176187 SOS 2039225 HAS SOPS 2039225 HAS SOUS 1788365 HAS SOUPS 1788365 WITH SCORE 1790404.225
AT ITER 1965 NEW BEST:: SOT 3176554 SOS 2038340 HAS SOPS 2038340 HAS SOUS 1786799 HAS SOUPS 1786799 WITH SCORE 1788837.34
AT ITER 1968 NEW BEST:: SOT 3175406 SOS 2037190 HAS SOPS 2037190 HAS SOUS 1785649 HAS SOUPS 1785649 WITH SCORE 1787686.19
AT ITER 1972 NEW BEST:: SOT 3175406 SOS 2034445 HAS SOPS 2034445 HAS SOUS 1784803 HAS SOUPS 1784803 WITH SCORE 1786837.445
AT ITER 1977 NEW BEST:: SOT 3173729 SOS 2030614 HAS SOPS 2030614 HAS SOUS 1781672 HAS SOUPS 1781672 WITH SCORE 1783702.614
AT ITER 1979 NEW BEST:: SOT 3173728 SOS 2030383 HAS SOPS 2030383 HAS SOUS 1781670 HAS SOUPS 1781670 WITH SCORE 1783700.383
AT ITER 1983 NEW BEST:: SOT 3173268 SOS 2029923 HAS SOPS 2029923 HAS SOUS 1781362 HAS SOUPS 1781362 WITH SCORE 1783391.923
AT ITER 1986 NEW BEST:: SOT 3173171 SOS 2029314 HAS SOPS 2029314 HAS SOUS 1780694 HAS SOUPS 1780694 WITH SCORE 1782723.314
AT ITER 1990 NEW BEST:: SOT 3173162 SOS 2029642 HAS SOPS 2029642 HAS SOUS 1780500 HAS SOUPS 1780500 WITH SCORE 1782529.642
AT ITER 1992 NEW BEST:: SOT 3172773 SOS 2029253 HAS SOPS 2029253 HAS SOUS 1780111 HAS SOUPS 1780111 WITH SCORE 1782140.253
AT ITER 2003 NEW BEST:: SOT 3172773 SOS 2028863 HAS SOPS 2028863 HAS SOUS 1779913 HAS SOUPS 1779913 WITH SCORE 1781941.863
AT ITER 2006 NEW BEST:: SOT 3172396 SOS 2028109 HAS SOPS 2028109 HAS SOUS 1779159 HAS SOUPS 1779159 WITH SCORE 1781187.109
AT ITER 2008 NEW BEST:: SOT 3172376 SOS 2028107 HAS SOPS 2028107 HAS SOUS 1779137 HAS SOUPS 1779137 WITH SCORE 1781165.107
AT ITER 2009 NEW BEST:: SOT 3172376 SOS 2028087 HAS SOPS 2028087 HAS SOUS 1779117 HAS SOUPS 1779117 WITH SCORE 1781145.087
AT ITER 2011 NEW BEST:: SOT 3172206 SOS 2027511 HAS SOPS 2027511 HAS SOUS 1778541 HAS SOUPS 1778541 WITH SCORE 1780568.511
AT ITER 2016 NEW BEST:: SOT 3172048 SOS 2027353 HAS SOPS 2027353 HAS SOUS 1778383 HAS SOUPS 1778383 WITH SCORE 1780410.353
AT ITER 2021 NEW BEST:: SOT 3172048 SOS 2025607 HAS SOPS 2025607 HAS SOUS 1777535 HAS SOUPS 1777535 WITH SCORE 1779560.607
AT ITER 2033 NEW BEST:: SOT 3172048 SOS 2025529 HAS SOPS 2025529 HAS SOUS 1777535 HAS SOUPS 1777535 WITH SCORE 1779560.529
AT ITER 2035 NEW BEST:: SOT 3171876 SOS 2025356 HAS SOPS 2025356 HAS SOUS 1777362 HAS SOUPS 1777362 WITH SCORE 1779387.356
AT ITER 2038 NEW BEST:: SOT 3171574 SOS 2024875 HAS SOPS 2024875 HAS SOUS 1776879 HAS SOUPS 1776879 WITH SCORE 1778903.875
AT ITER 2041 NEW BEST:: SOT 3171449 SOS 2024747 HAS SOPS 2024747 HAS SOUS 1776751 HAS SOUPS 1776751 WITH SCORE 1778775.747
AT ITER 2043 NEW BEST:: SOT 3170296 SOS 2023593 HAS SOPS 2023593 HAS SOUS 1775597 HAS SOUPS 1775597 WITH SCORE 1777620.593
AT ITER 2045 NEW BEST:: SOT 3170138 SOS 2023435 HAS SOPS 2023435 HAS SOUS 1775014 HAS SOUPS 1775014 WITH SCORE 1777037.435
AT ITER 2051 NEW BEST:: SOT 3170138 SOS 2023516 HAS SOPS 2023516 HAS SOUS 1775013 HAS SOUPS 1775013 WITH SCORE 1777036.516
AT ITER 2052 NEW BEST:: SOT 3169178 SOS 2020960 HAS SOPS 2020960 HAS SOUS 1773002 HAS SOUPS 1773002 WITH SCORE 1775022.96
AT ITER 2053 NEW BEST:: SOT 3168978 SOS 2020683 HAS SOPS 2020683 HAS SOUS 1772725 HAS SOUPS 1772725 WITH SCORE 1774745.683
AT ITER 2057 NEW BEST:: SOT 3168978 SOS 2020602 HAS SOPS 2020602 HAS SOUS 1772698 HAS SOUPS 1772698 WITH SCORE 1774718.602
AT ITER 2064 NEW BEST:: SOT 3167529 SOS 2016148 HAS SOPS 2016148 HAS SOUS 1770193 HAS SOUPS 1770193 WITH SCORE 1772209.148
AT ITER 2065 NEW BEST:: SOT 3167491 SOS 2016110 HAS SOPS 2016110 HAS SOUS 1770155 HAS SOUPS 1770155 WITH SCORE 1772171.11
AT ITER 2067 NEW BEST:: SOT 3167491 SOS 2015856 HAS SOPS 2015856 HAS SOUS 1769901 HAS SOUPS 1769901 WITH SCORE 1771916.856
AT ITER 2069 NEW BEST:: SOT 3167386 SOS 2014927 HAS SOPS 2014927 HAS SOUS 1768972 HAS SOUPS 1768972 WITH SCORE 1770986.927
AT ITER 2074 NEW BEST:: SOT 3165930 SOS 2013527 HAS SOPS 2013527 HAS SOUS 1768424 HAS SOUPS 1768424 WITH SCORE 1770437.527
AT ITER 2081 NEW BEST:: SOT 3164833 SOS 2012430 HAS SOPS 2012430 HAS SOUS 1768420 HAS SOUPS 1768420 WITH SCORE 1770432.43
AT ITER 2088 NEW BEST:: SOT 3164789 SOS 2012347 HAS SOPS 2012347 HAS SOUS 1768337 HAS SOUPS 1768337 WITH SCORE 1770349.347
AT ITER 2090 NEW BEST:: SOT 3163938 SOS 2011652 HAS SOPS 2011652 HAS SOUS 1767786 HAS SOUPS 1767786 WITH SCORE 1769797.652
AT ITER 2095 NEW BEST:: SOT 3163612 SOS 2011324 HAS SOPS 2011324 HAS SOUS 1767477 HAS SOUPS 1767477 WITH SCORE 1769488.324
AT ITER 2099 NEW BEST:: SOT 3163250 SOS 2008481 HAS SOPS 2008481 HAS SOUS 1766390 HAS SOUPS 1766390 WITH SCORE 1768398.481
AT ITER 2101 NEW BEST:: SOT 3162976 SOS 2008207 HAS SOPS 2008207 HAS SOUS 1766116 HAS SOUPS 1766116 WITH SCORE 1768124.207
AT ITER 2102 NEW BEST:: SOT 3162512 SOS 2007171 HAS SOPS 2007171 HAS SOUS 1764232 HAS SOUPS 1764232 WITH SCORE 1766239.171
AT ITER 2104 NEW BEST:: SOT 3162446 SOS 2007105 HAS SOPS 2007105 HAS SOUS 1764166 HAS SOUPS 1764166 WITH SCORE 1766173.105
AT ITER 2106 NEW BEST:: SOT 3162435 SOS 2006400 HAS SOPS 2006400 HAS SOUS 1764155 HAS SOUPS 1764155 WITH SCORE 1766161.4
AT ITER 2113 NEW BEST:: SOT 3161502 SOS 2005736 HAS SOPS 2005736 HAS SOUS 1763557 HAS SOUPS 1763557 WITH SCORE 1765562.736
AT ITER 2125 NEW BEST:: SOT 3161467 SOS 2004012 HAS SOPS 2004012 HAS SOUS 1762127 HAS SOUPS 1762127 WITH SCORE 1764131.012
AT ITER 2127 NEW BEST:: SOT 3159962 SOS 2002506 HAS SOPS 2002506 HAS SOUS 1760811 HAS SOUPS 1760811 WITH SCORE 1762813.506
AT ITER 2130 NEW BEST:: SOT 3158288 SOS 1998442 HAS SOPS 1998442 HAS SOUS 1758425 HAS SOUPS 1758425 WITH SCORE 1760423.442
AT ITER 2133 NEW BEST:: SOT 3157430 SOS 1997582 HAS SOPS 1997582 HAS SOUS 1757557 HAS SOUPS 1757557 WITH SCORE 1759554.582
AT ITER 2139 NEW BEST:: SOT 3157418 SOS 1997439 HAS SOPS 1997439 HAS SOUS 1757403 HAS SOUPS 1757403 WITH SCORE 1759400.439
AT ITER 2143 NEW BEST:: SOT 3157416 SOS 1997437 HAS SOPS 1997437 HAS SOUS 1757401 HAS SOUPS 1757401 WITH SCORE 1759398.437
AT ITER 2145 NEW BEST:: SOT 3157416 SOS 1997437 HAS SOPS 1997437 HAS SOUS 1757397 HAS SOUPS 1757397 WITH SCORE 1759394.437
AT ITER 2146 NEW BEST:: SOT 3157339 SOS 1997360 HAS SOPS 1997360 HAS SOUS 1757320 HAS SOUPS 1757320 WITH SCORE 1759317.36
AT ITER 2152 NEW BEST:: SOT 3157223 SOS 1997244 HAS SOPS 1997244 HAS SOUS 1757204 HAS SOUPS 1757204 WITH SCORE 1759201.244
AT ITER 2155 NEW BEST:: SOT 3157740 SOS 1996823 HAS SOPS 1996823 HAS SOUS 1756782 HAS SOUPS 1756782 WITH SCORE 1758778.823
AT ITER 2161 NEW BEST:: SOT 3157740 SOS 1996212 HAS SOPS 1996212 HAS SOUS 1756171 HAS SOUPS 1756171 WITH SCORE 1758167.212
AT ITER 2162 NEW BEST:: SOT 3154319 SOS 1988866 HAS SOPS 1988866 HAS SOUS 1750778 HAS SOUPS 1750778 WITH SCORE 1752766.866
AT ITER 2163 NEW BEST:: SOT 3154662 SOS 1988107 HAS SOPS 1988107 HAS SOUS 1750018 HAS SOUPS 1750018 WITH SCORE 1752006.107
AT ITER 2167 NEW BEST:: SOT 3154474 SOS 1987919 HAS SOPS 1987919 HAS SOUS 1749830 HAS SOUPS 1749830 WITH SCORE 1751817.919
AT ITER 2171 NEW BEST:: SOT 3152560 SOS 1986957 HAS SOPS 1986957 HAS SOUS 1748859 HAS SOUPS 1748859 WITH SCORE 1750845.957
AT ITER 2174 NEW BEST:: SOT 3152560 SOS 1986198 HAS SOPS 1986198 HAS SOUS 1748573 HAS SOUPS 1748573 WITH SCORE 1750559.198
AT ITER 2176 NEW BEST:: SOT 3151389 SOS 1984168 HAS SOPS 1984168 HAS SOUS 1745693 HAS SOUPS 1745693 WITH SCORE 1747677.168
AT ITER 2180 NEW BEST:: SOT 3151027 SOS 1983946 HAS SOPS 1983946 HAS SOUS 1745626 HAS SOUPS 1745626 WITH SCORE 1747609.946
AT ITER 2182 NEW BEST:: SOT 3150384 SOS 1982853 HAS SOPS 1982853 HAS SOUS 1744532 HAS SOUPS 1744532 WITH SCORE 1746514.853
AT ITER 2184 NEW BEST:: SOT 3149694 SOS 1980343 HAS SOPS 1980343 HAS SOUS 1742896 HAS SOUPS 1742896 WITH SCORE 1744876.343
AT ITER 2186 NEW BEST:: SOT 3149687 SOS 1980334 HAS SOPS 1980334 HAS SOUS 1742887 HAS SOUPS 1742887 WITH SCORE 1744867.334
AT ITER 2187 NEW BEST:: SOT 3149686 SOS 1979322 HAS SOPS 1979322 HAS SOUS 1742557 HAS SOUPS 1742557 WITH SCORE 1744536.322
AT ITER 2190 NEW BEST:: SOT 3149651 SOS 1979147 HAS SOPS 1979147 HAS SOUS 1742487 HAS SOUPS 1742487 WITH SCORE 1744466.147
AT ITER 2192 NEW BEST:: SOT 3149359 SOS 1978755 HAS SOPS 1978755 HAS SOUS 1742095 HAS SOUPS 1742095 WITH SCORE 1744073.755
AT ITER 2194 NEW BEST:: SOT 3149275 SOS 1977703 HAS SOPS 1977703 HAS SOUS 1741043 HAS SOUPS 1741043 WITH SCORE 1743020.703
AT ITER 2196 NEW BEST:: SOT 3149275 SOS 1977460 HAS SOPS 1977460 HAS SOUS 1740799 HAS SOUPS 1740799 WITH SCORE 1742776.46
AT ITER 2197 NEW BEST:: SOT 3149275 SOS 1976197 HAS SOPS 1976197 HAS SOUS 1740798 HAS SOUPS 1740798 WITH SCORE 1742774.197
AT ITER 2198 NEW BEST:: SOT 3148333 SOS 1974671 HAS SOPS 1974671 HAS SOUS 1739272 HAS SOUPS 1739272 WITH SCORE 1741246.671
AT ITER 2199 NEW BEST:: SOT 3148226 SOS 1974564 HAS SOPS 1974564 HAS SOUS 1739165 HAS SOUPS 1739165 WITH SCORE 1741139.564
AT ITER 2203 NEW BEST:: SOT 3147409 SOS 1974327 HAS SOPS 1974327 HAS SOUS 1739010 HAS SOUPS 1739010 WITH SCORE 1740984.327
AT ITER 2207 NEW BEST:: SOT 3147409 SOS 1974086 HAS SOPS 1974086 HAS SOUS 1738981 HAS SOUPS 1738981 WITH SCORE 1740955.086
AT ITER 2213 NEW BEST:: SOT 3147409 SOS 1974084 HAS SOPS 1974084 HAS SOUS 1738979 HAS SOUPS 1738979 WITH SCORE 1740953.084
AT ITER 2214 NEW BEST:: SOT 3146429 SOS 1969544 HAS SOPS 1969544 HAS SOUS 1737041 HAS SOUPS 1737041 WITH SCORE 1739010.544
AT ITER 2221 NEW BEST:: SOT 3146144 SOS 1969259 HAS SOPS 1969259 HAS SOUS 1736756 HAS SOUPS 1736756 WITH SCORE 1738725.259
AT ITER 2225 NEW BEST:: SOT 3146036 SOS 1968935 HAS SOPS 1968935 HAS SOUS 1736540 HAS SOUPS 1736540 WITH SCORE 1738508.935
AT ITER 2227 NEW BEST:: SOT 3146036 SOS 1968491 HAS SOPS 1968491 HAS SOUS 1736392 HAS SOUPS 1736392 WITH SCORE 1738360.491
AT ITER 2230 NEW BEST:: SOT 3145585 SOS 1967473 HAS SOPS 1967473 HAS SOUS 1736160 HAS SOUPS 1736160 WITH SCORE 1738127.473
AT ITER 2232 NEW BEST:: SOT 3145447 SOS 1966783 HAS SOPS 1966783 HAS SOUS 1735884 HAS SOUPS 1735884 WITH SCORE 1737850.783
AT ITER 2234 NEW BEST:: SOT 3144803 SOS 1964207 HAS SOPS 1964207 HAS SOUS 1734596 HAS SOUPS 1734596 WITH SCORE 1736560.207
AT ITER 2237 NEW BEST:: SOT 3145768 SOS 1963161 HAS SOPS 1963161 HAS SOUS 1734477 HAS SOUPS 1734477 WITH SCORE 1736440.161
AT ITER 2238 NEW BEST:: SOT 3145311 SOS 1962704 HAS SOPS 1962704 HAS SOUS 1733987 HAS SOUPS 1733987 WITH SCORE 1735949.704
AT ITER 2241 NEW BEST:: SOT 3143778 SOS 1960688 HAS SOPS 1960688 HAS SOUS 1731573 HAS SOUPS 1731573 WITH SCORE 1733533.688
AT ITER 2245 NEW BEST:: SOT 3143237 SOS 1960147 HAS SOPS 1960147 HAS SOUS 1730944 HAS SOUPS 1730944 WITH SCORE 1732904.147
AT ITER 2252 NEW BEST:: SOT 3143024 SOS 1959619 HAS SOPS 1959619 HAS SOUS 1730416 HAS SOUPS 1730416 WITH SCORE 1732375.619
AT ITER 2256 NEW BEST:: SOT 3143024 SOS 1959246 HAS SOPS 1959246 HAS SOUS 1730390 HAS SOUPS 1730390 WITH SCORE 1732349.246
AT ITER 2259 NEW BEST:: SOT 3143280 SOS 1957965 HAS SOPS 1957965 HAS SOUS 1730374 HAS SOUPS 1730374 WITH SCORE 1732331.965
AT ITER 2263 NEW BEST:: SOT 3142812 SOS 1957497 HAS SOPS 1957497 HAS SOUS 1729903 HAS SOUPS 1729903 WITH SCORE 1731860.497
AT ITER 2266 NEW BEST:: SOT 3142566 SOS 1956887 HAS SOPS 1956887 HAS SOUS 1729293 HAS SOUPS 1729293 WITH SCORE 1731249.887
AT ITER 2269 NEW BEST:: SOT 3142566 SOS 1956746 HAS SOPS 1956746 HAS SOUS 1729290 HAS SOUPS 1729290 WITH SCORE 1731246.746
AT ITER 2287 NEW BEST:: SOT 3142566 SOS 1955805 HAS SOPS 1955805 HAS SOUS 1727979 HAS SOUPS 1727979 WITH SCORE 1729934.805
AT ITER 2288 NEW BEST:: SOT 3142705 SOS 1955694 HAS SOPS 1955694 HAS SOUS 1727868 HAS SOUPS 1727868 WITH SCORE 1729823.694
AT ITER 2289 NEW BEST:: SOT 3142142 SOS 1955631 HAS SOPS 1955631 HAS SOUS 1727833 HAS SOUPS 1727833 WITH SCORE 1729788.631
AT ITER 2291 NEW BEST:: SOT 3142142 SOS 1955179 HAS SOPS 1955179 HAS SOUS 1727833 HAS SOUPS 1727833 WITH SCORE 1729788.179
AT ITER 2294 NEW BEST:: SOT 3142051 SOS 1954997 HAS SOPS 1954997 HAS SOUS 1727651 HAS SOUPS 1727651 WITH SCORE 1729605.997
AT ITER 2297 NEW BEST:: SOT 3139907 SOS 1950458 HAS SOPS 1950458 HAS SOUS 1723673 HAS SOUPS 1723673 WITH SCORE 1725623.458
AT ITER 2310 NEW BEST:: SOT 3139618 SOS 1949654 HAS SOPS 1949654 HAS SOUS 1723077 HAS SOUPS 1723077 WITH SCORE 1725026.654
AT ITER 2313 NEW BEST:: SOT 3137606 SOS 1947153 HAS SOPS 1947153 HAS SOUS 1720425 HAS SOUPS 1720425 WITH SCORE 1722372.153
AT ITER 2314 NEW BEST:: SOT 3136936 SOS 1946483 HAS SOPS 1946483 HAS SOUS 1719755 HAS SOUPS 1719755 WITH SCORE 1721701.483
AT ITER 2317 NEW BEST:: SOT 3136305 SOS 1945537 HAS SOPS 1945537 HAS SOUS 1718808 HAS SOUPS 1718808 WITH SCORE 1720753.537
AT ITER 2318 NEW BEST:: SOT 3136377 SOS 1945197 HAS SOPS 1945197 HAS SOUS 1718543 HAS SOUPS 1718543 WITH SCORE 1720488.197
AT ITER 2321 NEW BEST:: SOT 3136011 SOS 1944567 HAS SOPS 1944567 HAS SOUS 1717913 HAS SOUPS 1717913 WITH SCORE 1719857.567
AT ITER 2325 NEW BEST:: SOT 3134982 SOS 1943488 HAS SOPS 1943488 HAS SOUS 1717813 HAS SOUPS 1717813 WITH SCORE 1719756.488
AT ITER 2328 NEW BEST:: SOT 3133908 SOS 1938046 HAS SOPS 1938046 HAS SOUS 1714750 HAS SOUPS 1714750 WITH SCORE 1716688.046
AT ITER 2329 NEW BEST:: SOT 3133844 SOS 1937982 HAS SOPS 1937982 HAS SOUS 1714686 HAS SOUPS 1714686 WITH SCORE 1716623.982
AT ITER 2338 NEW BEST:: SOT 3133807 SOS 1937934 HAS SOPS 1937934 HAS SOUS 1714575 HAS SOUPS 1714575 WITH SCORE 1716512.934
AT ITER 2342 NEW BEST:: SOT 3131408 SOS 1933920 HAS SOPS 1933920 HAS SOUS 1711029 HAS SOUPS 1711029 WITH SCORE 1712962.92
AT ITER 2347 NEW BEST:: SOT 3131408 SOS 1933836 HAS SOPS 1933836 HAS SOUS 1710946 HAS SOUPS 1710946 WITH SCORE 1712879.836
AT ITER 2350 NEW BEST:: SOT 3131408 SOS 1933836 HAS SOPS 1933836 HAS SOUS 1710664 HAS SOUPS 1710664 WITH SCORE 1712597.836
AT ITER 2354 NEW BEST:: SOT 3131162 SOS 1933727 HAS SOPS 1933727 HAS SOUS 1710555 HAS SOUPS 1710555 WITH SCORE 1712488.727
AT ITER 2360 NEW BEST:: SOT 3130722 SOS 1933287 HAS SOPS 1933287 HAS SOUS 1710115 HAS SOUPS 1710115 WITH SCORE 1712048.287
AT ITER 2363 NEW BEST:: SOT 3129132 SOS 1930229 HAS SOPS 1930229 HAS SOUS 1707057 HAS SOUPS 1707057 WITH SCORE 1708987.229
AT ITER 2369 NEW BEST:: SOT 3129132 SOS 1930219 HAS SOPS 1930219 HAS SOUS 1707057 HAS SOUPS 1707057 WITH SCORE 1708987.219
AT ITER 2378 NEW BEST:: SOT 3128949 SOS 1930282 HAS SOPS 1930282 HAS SOUS 1706986 HAS SOUPS 1706986 WITH SCORE 1708916.282
AT ITER 2379 NEW BEST:: SOT 3128910 SOS 1930243 HAS SOPS 1930243 HAS SOUS 1706947 HAS SOUPS 1706947 WITH SCORE 1708877.243
AT ITER 2381 NEW BEST:: SOT 3128095 SOS 1929426 HAS SOPS 1929426 HAS SOUS 1706130 HAS SOUPS 1706130 WITH SCORE 1708059.426
AT ITER 2385 NEW BEST:: SOT 3128095 SOS 1929236 HAS SOPS 1929236 HAS SOUS 1706130 HAS SOUPS 1706130 WITH SCORE 1708059.236
AT ITER 2387 NEW BEST:: SOT 3128094 SOS 1929235 HAS SOPS 1929235 HAS SOUS 1706129 HAS SOUPS 1706129 WITH SCORE 1708058.235
AT ITER 2391 NEW BEST:: SOT 3128094 SOS 1928955 HAS SOPS 1928955 HAS SOUS 1706129 HAS SOUPS 1706129 WITH SCORE 1708057.955
AT ITER 2392 NEW BEST:: SOT 3128093 SOS 1928095 HAS SOPS 1928095 HAS SOUS 1706120 HAS SOUPS 1706120 WITH SCORE 1708048.095
AT ITER 2393 NEW BEST:: SOT 3127389 SOS 1925355 HAS SOPS 1925355 HAS SOUS 1704709 HAS SOUPS 1704709 WITH SCORE 1706634.355
AT ITER 2397 NEW BEST:: SOT 3127802 SOS 1925808 HAS SOPS 1925808 HAS SOUS 1704481 HAS SOUPS 1704481 WITH SCORE 1706406.808
AT ITER 2400 NEW BEST:: SOT 3127528 SOS 1925534 HAS SOPS 1925534 HAS SOUS 1704206 HAS SOUPS 1704206 WITH SCORE 1706131.534
AT ITER 2402 NEW BEST:: SOT 3125828 SOS 1923834 HAS SOPS 1923834 HAS SOUS 1702506 HAS SOUPS 1702506 WITH SCORE 1704429.834
AT ITER 2403 NEW BEST:: SOT 3125891 SOS 1923062 HAS SOPS 1923062 HAS SOUS 1702133 HAS SOUPS 1702133 WITH SCORE 1704056.062
AT ITER 2404 NEW BEST:: SOT 3125575 SOS 1922588 HAS SOPS 1922588 HAS SOUS 1701658 HAS SOUPS 1701658 WITH SCORE 1703580.588
AT ITER 2407 NEW BEST:: SOT 3125100 SOS 1922113 HAS SOPS 1922113 HAS SOUS 1701183 HAS SOUPS 1701183 WITH SCORE 1703105.113
AT ITER 2414 NEW BEST:: SOT 3124264 SOS 1919330 HAS SOPS 1919330 HAS SOUS 1699519 HAS SOUPS 1699519 WITH SCORE 1701438.33
AT ITER 2422 NEW BEST:: SOT 3124942 SOS 1919227 HAS SOPS 1919227 HAS SOUS 1699416 HAS SOUPS 1699416 WITH SCORE 1701335.227
AT ITER 2424 NEW BEST:: SOT 3124911 SOS 1919196 HAS SOPS 1919196 HAS SOUS 1699385 HAS SOUPS 1699385 WITH SCORE 1701304.196
AT ITER 2425 NEW BEST:: SOT 3124864 SOS 1918928 HAS SOPS 1918928 HAS SOUS 1699117 HAS SOUPS 1699117 WITH SCORE 1701035.928
AT ITER 2427 NEW BEST:: SOT 3124864 SOS 1918938 HAS SOPS 1918938 HAS SOUS 1699060 HAS SOUPS 1699060 WITH SCORE 1700978.938
AT ITER 2430 NEW BEST:: SOT 3124809 SOS 1918883 HAS SOPS 1918883 HAS SOUS 1699032 HAS SOUPS 1699032 WITH SCORE 1700950.883
AT ITER 2435 NEW BEST:: SOT 3124808 SOS 1918374 HAS SOPS 1918374 HAS SOUS 1699028 HAS SOUPS 1699028 WITH SCORE 1700946.374
AT ITER 2441 NEW BEST:: SOT 3124773 SOS 1918339 HAS SOPS 1918339 HAS SOUS 1698993 HAS SOUPS 1698993 WITH SCORE 1700911.339
AT ITER 2442 NEW BEST:: SOT 3124208 SOS 1917595 HAS SOPS 1917595 HAS SOUS 1698342 HAS SOUPS 1698342 WITH SCORE 1700259.595
AT ITER 2444 NEW BEST:: SOT 3123679 SOS 1916803 HAS SOPS 1916803 HAS SOUS 1698334 HAS SOUPS 1698334 WITH SCORE 1700250.803
AT ITER 2450 NEW BEST:: SOT 3123667 SOS 1916758 HAS SOPS 1916758 HAS SOUS 1698289 HAS SOUPS 1698289 WITH SCORE 1700205.758
AT ITER 2451 NEW BEST:: SOT 3122924 SOS 1916886 HAS SOPS 1916886 HAS SOUS 1697912 HAS SOUPS 1697912 WITH SCORE 1699828.886
AT ITER 2452 NEW BEST:: SOT 3121344 SOS 1915210 HAS SOPS 1915210 HAS SOUS 1696236 HAS SOUPS 1696236 WITH SCORE 1698151.21
AT ITER 2453 NEW BEST:: SOT 3121222 SOS 1915088 HAS SOPS 1915088 HAS SOUS 1696114 HAS SOUPS 1696114 WITH SCORE 1698029.088
AT ITER 2458 NEW BEST:: SOT 3121173 SOS 1915039 HAS SOPS 1915039 HAS SOUS 1696065 HAS SOUPS 1696065 WITH SCORE 1697980.039
AT ITER 2459 NEW BEST:: SOT 3121149 SOS 1914967 HAS SOPS 1914967 HAS SOUS 1696017 HAS SOUPS 1696017 WITH SCORE 1697931.967
AT ITER 2470 NEW BEST:: SOT 3121149 SOS 1913598 HAS SOPS 1913598 HAS SOUS 1695953 HAS SOUPS 1695953 WITH SCORE 1697866.598
AT ITER 2471 NEW BEST:: SOT 3120720 SOS 1913169 HAS SOPS 1913169 HAS SOUS 1695524 HAS SOUPS 1695524 WITH SCORE 1697437.169
AT ITER 2472 NEW BEST:: SOT 3120652 SOS 1913101 HAS SOPS 1913101 HAS SOUS 1695456 HAS SOUPS 1695456 WITH SCORE 1697369.101
AT ITER 2477 NEW BEST:: SOT 3120647 SOS 1910664 HAS SOPS 1910664 HAS SOUS 1694247 HAS SOUPS 1694247 WITH SCORE 1696157.664
AT ITER 2478 NEW BEST:: SOT 3120647 SOS 1909214 HAS SOPS 1909214 HAS SOUS 1694238 HAS SOUPS 1694238 WITH SCORE 1696147.214
AT ITER 2484 NEW BEST:: SOT 3120417 SOS 1909101 HAS SOPS 1909101 HAS SOUS 1693893 HAS SOUPS 1693893 WITH SCORE 1695802.101
AT ITER 2490 NEW BEST:: SOT 3120417 SOS 1908082 HAS SOPS 1908082 HAS SOUS 1693887 HAS SOUPS 1693887 WITH SCORE 1695795.082
AT ITER 2491 NEW BEST:: SOT 3120417 SOS 1908080 HAS SOPS 1908080 HAS SOUS 1693756 HAS SOUPS 1693756 WITH SCORE 1695664.08
AT ITER 2497 NEW BEST:: SOT 3120416 SOS 1907381 HAS SOPS 1907381 HAS SOUS 1693754 HAS SOUPS 1693754 WITH SCORE 1695661.381
AT ITER 2498 NEW BEST:: SOT 3119623 SOS 1906588 HAS SOPS 1906588 HAS SOUS 1692961 HAS SOUPS 1692961 WITH SCORE 1694867.588
AT ITER 2506 NEW BEST:: SOT 3119017 SOS 1905947 HAS SOPS 1905947 HAS SOUS 1692320 HAS SOUPS 1692320 WITH SCORE 1694225.947
AT ITER 2510 NEW BEST:: SOT 3118457 SOS 1904827 HAS SOPS 1904827 HAS SOUS 1691200 HAS SOUPS 1691200 WITH SCORE 1693104.827
AT ITER 2518 NEW BEST:: SOT 3118457 SOS 1904419 HAS SOPS 1904419 HAS SOUS 1691200 HAS SOUPS 1691200 WITH SCORE 1693104.419
AT ITER 2522 NEW BEST:: SOT 3118457 SOS 1904324 HAS SOPS 1904324 HAS SOUS 1691105 HAS SOUPS 1691105 WITH SCORE 1693009.324
AT ITER 2524 NEW BEST:: SOT 3116097 SOS 1901964 HAS SOPS 1901964 HAS SOUS 1688745 HAS SOUPS 1688745 WITH SCORE 1690646.964
AT ITER 2527 NEW BEST:: SOT 3116085 SOS 1901952 HAS SOPS 1901952 HAS SOUS 1688733 HAS SOUPS 1688733 WITH SCORE 1690634.952
AT ITER 2529 NEW BEST:: SOT 3116003 SOS 1901376 HAS SOPS 1901376 HAS SOUS 1688567 HAS SOUPS 1688567 WITH SCORE 1690468.376
AT ITER 2531 NEW BEST:: SOT 3115656 SOS 1901029 HAS SOPS 1901029 HAS SOUS 1688230 HAS SOUPS 1688230 WITH SCORE 1690131.029
AT ITER 2532 NEW BEST:: SOT 3115656 SOS 1901026 HAS SOPS 1901026 HAS SOUS 1688227 HAS SOUPS 1688227 WITH SCORE 1690128.026
AT ITER 2537 NEW BEST:: SOT 3113188 SOS 1898093 HAS SOPS 1898093 HAS SOUS 1685654 HAS SOUPS 1685654 WITH SCORE 1687552.093
AT ITER 2539 NEW BEST:: SOT 3112047 SOS 1896952 HAS SOPS 1896952 HAS SOUS 1684513 HAS SOUPS 1684513 WITH SCORE 1686409.952
AT ITER 2540 NEW BEST:: SOT 3111729 SOS 1896634 HAS SOPS 1896634 HAS SOUS 1684195 HAS SOUPS 1684195 WITH SCORE 1686091.634
AT ITER 2541 NEW BEST:: SOT 3111579 SOS 1896403 HAS SOPS 1896403 HAS SOUS 1683964 HAS SOUPS 1683964 WITH SCORE 1685860.403
AT ITER 2552 NEW BEST:: SOT 3111293 SOS 1896045 HAS SOPS 1896045 HAS SOUS 1683847 HAS SOUPS 1683847 WITH SCORE 1685743.045
AT ITER 2554 NEW BEST:: SOT 3110603 SOS 1894653 HAS SOPS 1894653 HAS SOUS 1681893 HAS SOUPS 1681893 WITH SCORE 1683787.653
AT ITER 2556 NEW BEST:: SOT 3110333 SOS 1894383 HAS SOPS 1894383 HAS SOUS 1681623 HAS SOUPS 1681623 WITH SCORE 1683517.383
AT ITER 2559 NEW BEST:: SOT 3110333 SOS 1894367 HAS SOPS 1894367 HAS SOUS 1680434 HAS SOUPS 1680434 WITH SCORE 1682328.367
AT ITER 2562 NEW BEST:: SOT 3110331 SOS 1894364 HAS SOPS 1894364 HAS SOUS 1680431 HAS SOUPS 1680431 WITH SCORE 1682325.364
AT ITER 2568 NEW BEST:: SOT 3110178 SOS 1894211 HAS SOPS 1894211 HAS SOUS 1680278 HAS SOUPS 1680278 WITH SCORE 1682172.211
AT ITER 2571 NEW BEST:: SOT 3109021 SOS 1893054 HAS SOPS 1893054 HAS SOUS 1679121 HAS SOUPS 1679121 WITH SCORE 1681014.054
AT ITER 2582 NEW BEST:: SOT 3108799 SOS 1892496 HAS SOPS 1892496 HAS SOUS 1678563 HAS SOUPS 1678563 WITH SCORE 1680455.496
AT ITER 2583 NEW BEST:: SOT 3108235 SOS 1891687 HAS SOPS 1891687 HAS SOUS 1677843 HAS SOUPS 1677843 WITH SCORE 1679734.687
AT ITER 2584 NEW BEST:: SOT 3108066 SOS 1892147 HAS SOPS 1892147 HAS SOUS 1677439 HAS SOUPS 1677439 WITH SCORE 1679331.147
AT ITER 2585 NEW BEST:: SOT 3107823 SOS 1891780 HAS SOPS 1891780 HAS SOUS 1677071 HAS SOUPS 1677071 WITH SCORE 1678962.78
AT ITER 2586 NEW BEST:: SOT 3106713 SOS 1890670 HAS SOPS 1890670 HAS SOUS 1676516 HAS SOUPS 1676516 WITH SCORE 1678406.67
AT ITER 2587 NEW BEST:: SOT 3106602 SOS 1890382 HAS SOPS 1890382 HAS SOUS 1676294 HAS SOUPS 1676294 WITH SCORE 1678184.382
AT ITER 2596 NEW BEST:: SOT 3106453 SOS 1889170 HAS SOPS 1889170 HAS SOUS 1675815 HAS SOUPS 1675815 WITH SCORE 1677704.17
AT ITER 2599 NEW BEST:: SOT 3105703 SOS 1887677 HAS SOPS 1887677 HAS SOUS 1674322 HAS SOUPS 1674322 WITH SCORE 1676209.677
AT ITER 2602 NEW BEST:: SOT 3104289 SOS 1886263 HAS SOPS 1886263 HAS SOUS 1672908 HAS SOUPS 1672908 WITH SCORE 1674794.263
AT ITER 2605 NEW BEST:: SOT 3104289 SOS 1885095 HAS SOPS 1885095 HAS SOUS 1672561 HAS SOUPS 1672561 WITH SCORE 1674446.095
AT ITER 2613 NEW BEST:: SOT 3104195 SOS 1884860 HAS SOPS 1884860 HAS SOUS 1672420 HAS SOUPS 1672420 WITH SCORE 1674304.86
AT ITER 2621 NEW BEST:: SOT 3104097 SOS 1884762 HAS SOPS 1884762 HAS SOUS 1672303 HAS SOUPS 1672303 WITH SCORE 1674187.762
AT ITER 2624 NEW BEST:: SOT 3104097 SOS 1884782 HAS SOPS 1884782 HAS SOUS 1672202 HAS SOUPS 1672202 WITH SCORE 1674086.782
AT ITER 2626 NEW BEST:: SOT 3103783 SOS 1884468 HAS SOPS 1884468 HAS SOUS 1671888 HAS SOUPS 1671888 WITH SCORE 1673772.468
AT ITER 2627 NEW BEST:: SOT 3103561 SOS 1884246 HAS SOPS 1884246 HAS SOUS 1671666 HAS SOUPS 1671666 WITH SCORE 1673550.246
AT ITER 2631 NEW BEST:: SOT 3103685 SOS 1883245 HAS SOPS 1883245 HAS SOUS 1671306 HAS SOUPS 1671306 WITH SCORE 1673189.245
AT ITER 2635 NEW BEST:: SOT 3103641 SOS 1883201 HAS SOPS 1883201 HAS SOUS 1671218 HAS SOUPS 1671218 WITH SCORE 1673101.201
AT ITER 2639 NEW BEST:: SOT 3103640 SOS 1882136 HAS SOPS 1882136 HAS SOUS 1670950 HAS SOUPS 1670950 WITH SCORE 1672832.136
AT ITER 2640 NEW BEST:: SOT 3103309 SOS 1880954 HAS SOPS 1880954 HAS SOUS 1669670 HAS SOUPS 1669670 WITH SCORE 1671550.954
AT ITER 2651 NEW BEST:: SOT 3102769 SOS 1880336 HAS SOPS 1880336 HAS SOUS 1669052 HAS SOUPS 1669052 WITH SCORE 1670932.336
AT ITER 2654 NEW BEST:: SOT 3102819 SOS 1879995 HAS SOPS 1879995 HAS SOUS 1668989 HAS SOUPS 1668989 WITH SCORE 1670868.995
AT ITER 2658 NEW BEST:: SOT 3102562 SOS 1879481 HAS SOPS 1879481 HAS SOUS 1668475 HAS SOUPS 1668475 WITH SCORE 1670354.481
AT ITER 2660 NEW BEST:: SOT 3103181 SOS 1878342 HAS SOPS 1878342 HAS SOUS 1668240 HAS SOUPS 1668240 WITH SCORE 1670118.342
AT ITER 2663 NEW BEST:: SOT 3103173 SOS 1878334 HAS SOPS 1878334 HAS SOUS 1668232 HAS SOUPS 1668232 WITH SCORE 1670110.334
AT ITER 2664 NEW BEST:: SOT 3103231 SOS 1878240 HAS SOPS 1878240 HAS SOUS 1668138 HAS SOUPS 1668138 WITH SCORE 1670016.24
AT ITER 2668 NEW BEST:: SOT 3103101 SOS 1878110 HAS SOPS 1878110 HAS SOUS 1668008 HAS SOUPS 1668008 WITH SCORE 1669886.11
AT ITER 2672 NEW BEST:: SOT 3102719 SOS 1877728 HAS SOPS 1877728 HAS SOUS 1667626 HAS SOUPS 1667626 WITH SCORE 1669503.728
AT ITER 2677 NEW BEST:: SOT 3101977 SOS 1876984 HAS SOPS 1876984 HAS SOUS 1666873 HAS SOUPS 1666873 WITH SCORE 1668749.984
AT ITER 2679 NEW BEST:: SOT 3101977 SOS 1876938 HAS SOPS 1876938 HAS SOUS 1665653 HAS SOUPS 1665653 WITH SCORE 1667529.938
AT ITER 2682 NEW BEST:: SOT 3102010 SOS 1876534 HAS SOPS 1876534 HAS SOUS 1665249 HAS SOUPS 1665249 WITH SCORE 1667125.534
AT ITER 2683 NEW BEST:: SOT 3102010 SOS 1874797 HAS SOPS 1874797 HAS SOUS 1664878 HAS SOUPS 1664878 WITH SCORE 1666752.797
AT ITER 2684 NEW BEST:: SOT 3101767 SOS 1873582 HAS SOPS 1873582 HAS SOUS 1664392 HAS SOUPS 1664392 WITH SCORE 1666265.582
AT ITER 2689 NEW BEST:: SOT 3101670 SOS 1873485 HAS SOPS 1873485 HAS SOUS 1664391 HAS SOUPS 1664391 WITH SCORE 1666264.485
AT ITER 2691 NEW BEST:: SOT 3100709 SOS 1870751 HAS SOPS 1870751 HAS SOUS 1661657 HAS SOUPS 1661657 WITH SCORE 1663527.751
AT ITER 2693 NEW BEST:: SOT 3100759 SOS 1870708 HAS SOPS 1870708 HAS SOUS 1661486 HAS SOUPS 1661486 WITH SCORE 1663356.708
AT ITER 2699 NEW BEST:: SOT 3099773 SOS 1869245 HAS SOPS 1869245 HAS SOUS 1659608 HAS SOUPS 1659608 WITH SCORE 1661477.245
AT ITER 2714 NEW BEST:: SOT 3099848 SOS 1868846 HAS SOPS 1868846 HAS SOUS 1658958 HAS SOUPS 1658958 WITH SCORE 1660826.846
AT ITER 2718 NEW BEST:: SOT 3099015 SOS 1867261 HAS SOPS 1867261 HAS SOUS 1657373 HAS SOUPS 1657373 WITH SCORE 1659240.261
AT ITER 2719 NEW BEST:: SOT 3098625 SOS 1866466 HAS SOPS 1866466 HAS SOUS 1656207 HAS SOUPS 1656207 WITH SCORE 1658073.466
AT ITER 2720 NEW BEST:: SOT 3098641 SOS 1866007 HAS SOPS 1866007 HAS SOUS 1655873 HAS SOUPS 1655873 WITH SCORE 1657739.007
AT ITER 2721 NEW BEST:: SOT 3098626 SOS 1865947 HAS SOPS 1865947 HAS SOUS 1655843 HAS SOUPS 1655843 WITH SCORE 1657708.947
AT ITER 2722 NEW BEST:: SOT 3098359 SOS 1865680 HAS SOPS 1865680 HAS SOUS 1655576 HAS SOUPS 1655576 WITH SCORE 1657441.68
AT ITER 2726 NEW BEST:: SOT 3098359 SOS 1865680 HAS SOPS 1865680 HAS SOUS 1655494 HAS SOUPS 1655494 WITH SCORE 1657359.68
AT ITER 2727 NEW BEST:: SOT 3097815 SOS 1865367 HAS SOPS 1865367 HAS SOUS 1655181 HAS SOUPS 1655181 WITH SCORE 1657046.367
AT ITER 2729 NEW BEST:: SOT 3097707 SOS 1865311 HAS SOPS 1865311 HAS SOUS 1655125 HAS SOUPS 1655125 WITH SCORE 1656990.311
AT ITER 2730 NEW BEST:: SOT 3096034 SOS 1862632 HAS SOPS 1862632 HAS SOUS 1653623 HAS SOUPS 1653623 WITH SCORE 1655485.632
AT ITER 2731 NEW BEST:: SOT 3096594 SOS 1862572 HAS SOPS 1862572 HAS SOUS 1653562 HAS SOUPS 1653562 WITH SCORE 1655424.572
AT ITER 2739 NEW BEST:: SOT 3095735 SOS 1857711 HAS SOPS 1857711 HAS SOUS 1651789 HAS SOUPS 1651789 WITH SCORE 1653646.711
AT ITER 2740 NEW BEST:: SOT 3094937 SOS 1857618 HAS SOPS 1857618 HAS SOUS 1649968 HAS SOUPS 1649968 WITH SCORE 1651825.618
AT ITER 2755 NEW BEST:: SOT 3094755 SOS 1857345 HAS SOPS 1857345 HAS SOUS 1649695 HAS SOUPS 1649695 WITH SCORE 1651552.345
AT ITER 2757 NEW BEST:: SOT 3094279 SOS 1856869 HAS SOPS 1856869 HAS SOUS 1649167 HAS SOUPS 1649167 WITH SCORE 1651023.869
AT ITER 2758 NEW BEST:: SOT 3094119 SOS 1856601 HAS SOPS 1856601 HAS SOUS 1648916 HAS SOUPS 1648916 WITH SCORE 1650772.601
AT ITER 2769 NEW BEST:: SOT 3093640 SOS 1854682 HAS SOPS 1854682 HAS SOUS 1648080 HAS SOUPS 1648080 WITH SCORE 1649934.682
AT ITER 2773 NEW BEST:: SOT 3093592 SOS 1854634 HAS SOPS 1854634 HAS SOUS 1648032 HAS SOUPS 1648032 WITH SCORE 1649886.634
AT ITER 2774 NEW BEST:: SOT 3093155 SOS 1854197 HAS SOPS 1854197 HAS SOUS 1647525 HAS SOUPS 1647525 WITH SCORE 1649379.197
AT ITER 2776 NEW BEST:: SOT 3093155 SOS 1851813 HAS SOPS 1851813 HAS SOUS 1646547 HAS SOUPS 1646547 WITH SCORE 1648398.813
AT ITER 2783 NEW BEST:: SOT 3092900 SOS 1851558 HAS SOPS 1851558 HAS SOUS 1646037 HAS SOUPS 1646037 WITH SCORE 1647888.558
AT ITER 2789 NEW BEST:: SOT 3091125 SOS 1849783 HAS SOPS 1849783 HAS SOUS 1644262 HAS SOUPS 1644262 WITH SCORE 1646111.783
AT ITER 2790 NEW BEST:: SOT 3090415 SOS 1849073 HAS SOPS 1849073 HAS SOUS 1643552 HAS SOUPS 1643552 WITH SCORE 1645401.073
AT ITER 2796 NEW BEST:: SOT 3090038 SOS 1848696 HAS SOPS 1848696 HAS SOUS 1642798 HAS SOUPS 1642798 WITH SCORE 1644646.696
AT ITER 2798 NEW BEST:: SOT 3089760 SOS 1848268 HAS SOPS 1848268 HAS SOUS 1642618 HAS SOUPS 1642618 WITH SCORE 1644466.268
AT ITER 2799 NEW BEST:: SOT 3089760 SOS 1846842 HAS SOPS 1846842 HAS SOUS 1642240 HAS SOUPS 1642240 WITH SCORE 1644086.842
AT ITER 2800 NEW BEST:: SOT 3089313 SOS 1846791 HAS SOPS 1846791 HAS SOUS 1642189 HAS SOUPS 1642189 WITH SCORE 1644035.791
AT ITER 2805 NEW BEST:: SOT 3089434 SOS 1846907 HAS SOPS 1846907 HAS SOUS 1642002 HAS SOUPS 1642002 WITH SCORE 1643848.907
AT ITER 2811 NEW BEST:: SOT 3088606 SOS 1842066 HAS SOPS 1842066 HAS SOUS 1638452 HAS SOUPS 1638452 WITH SCORE 1640294.066
AT ITER 2816 NEW BEST:: SOT 3088130 SOS 1840544 HAS SOPS 1840544 HAS SOUS 1637189 HAS SOUPS 1637189 WITH SCORE 1639029.544
AT ITER 2817 NEW BEST:: SOT 3085862 SOS 1837535 HAS SOPS 1837535 HAS SOUS 1633445 HAS SOUPS 1633445 WITH SCORE 1635282.535
AT ITER 2831 NEW BEST:: SOT 3085274 SOS 1836889 HAS SOPS 1836889 HAS SOUS 1633387 HAS SOUPS 1633387 WITH SCORE 1635223.889
AT ITER 2835 NEW BEST:: SOT 3084349 SOS 1835964 HAS SOPS 1835964 HAS SOUS 1632460 HAS SOUPS 1632460 WITH SCORE 1634295.964
AT ITER 2846 NEW BEST:: SOT 3084337 SOS 1835730 HAS SOPS 1835730 HAS SOUS 1632308 HAS SOUPS 1632308 WITH SCORE 1634143.73
AT ITER 2850 NEW BEST:: SOT 3084335 SOS 1835728 HAS SOPS 1835728 HAS SOUS 1632305 HAS SOUPS 1632305 WITH SCORE 1634140.728
AT ITER 2854 NEW BEST:: SOT 3084268 SOS 1835661 HAS SOPS 1835661 HAS SOUS 1632238 HAS SOUPS 1632238 WITH SCORE 1634073.661
AT ITER 2855 NEW BEST:: SOT 3083324 SOS 1834717 HAS SOPS 1834717 HAS SOUS 1630822 HAS SOUPS 1630822 WITH SCORE 1632656.717
AT ITER 2857 NEW BEST:: SOT 3083203 SOS 1833870 HAS SOPS 1833870 HAS SOUS 1629975 HAS SOUPS 1629975 WITH SCORE 1631808.87
AT ITER 2866 NEW BEST:: SOT 3082813 SOS 1833478 HAS SOPS 1833478 HAS SOUS 1629582 HAS SOUPS 1629582 WITH SCORE 1631415.478
AT ITER 2873 NEW BEST:: SOT 3082345 SOS 1831962 HAS SOPS 1831962 HAS SOUS 1629039 HAS SOUPS 1629039 WITH SCORE 1630870.962
AT ITER 2875 NEW BEST:: SOT 3082161 SOS 1831716 HAS SOPS 1831716 HAS SOUS 1628793 HAS SOUPS 1628793 WITH SCORE 1630624.716
AT ITER 2879 NEW BEST:: SOT 3081612 SOS 1831331 HAS SOPS 1831331 HAS SOUS 1628408 HAS SOUPS 1628408 WITH SCORE 1630239.331
AT ITER 2880 NEW BEST:: SOT 3080998 SOS 1831224 HAS SOPS 1831224 HAS SOUS 1628301 HAS SOUPS 1628301 WITH SCORE 1630132.224
AT ITER 2885 NEW BEST:: SOT 3081206 SOS 1831220 HAS SOPS 1831220 HAS SOUS 1628297 HAS SOUPS 1628297 WITH SCORE 1630128.22
AT ITER 2889 NEW BEST:: SOT 3080900 SOS 1830767 HAS SOPS 1830767 HAS SOUS 1627844 HAS SOUPS 1627844 WITH SCORE 1629674.767
AT ITER 2891 NEW BEST:: SOT 3079437 SOS 1830652 HAS SOPS 1830652 HAS SOUS 1627729 HAS SOUPS 1627729 WITH SCORE 1629559.652
AT ITER 2896 NEW BEST:: SOT 3079301 SOS 1830109 HAS SOPS 1830109 HAS SOUS 1627186 HAS SOUPS 1627186 WITH SCORE 1629016.109
AT ITER 2903 NEW BEST:: SOT 3079187 SOS 1829995 HAS SOPS 1829995 HAS SOUS 1627072 HAS SOUPS 1627072 WITH SCORE 1628901.995
AT ITER 2909 NEW BEST:: SOT 3079187 SOS 1829926 HAS SOPS 1829926 HAS SOUS 1626794 HAS SOUPS 1626794 WITH SCORE 1628623.926
AT ITER 2918 NEW BEST:: SOT 3078583 SOS 1828574 HAS SOPS 1828574 HAS SOUS 1625831 HAS SOUPS 1625831 WITH SCORE 1627659.574
AT ITER 2923 NEW BEST:: SOT 3077751 SOS 1827742 HAS SOPS 1827742 HAS SOUS 1624999 HAS SOUPS 1624999 WITH SCORE 1626826.742
AT ITER 2928 NEW BEST:: SOT 3077633 SOS 1827388 HAS SOPS 1827388 HAS SOUS 1624645 HAS SOUPS 1624645 WITH SCORE 1626472.388
AT ITER 2931 NEW BEST:: SOT 3077394 SOS 1827149 HAS SOPS 1827149 HAS SOUS 1624268 HAS SOUPS 1624268 WITH SCORE 1626095.149
AT ITER 2932 NEW BEST:: SOT 3076959 SOS 1826714 HAS SOPS 1826714 HAS SOUS 1623833 HAS SOUPS 1623833 WITH SCORE 1625659.714
AT ITER 2938 NEW BEST:: SOT 3076713 SOS 1826468 HAS SOPS 1826468 HAS SOUS 1623587 HAS SOUPS 1623587 WITH SCORE 1625413.468
AT ITER 2941 NEW BEST:: SOT 3076613 SOS 1826268 HAS SOPS 1826268 HAS SOUS 1623387 HAS SOUPS 1623387 WITH SCORE 1625213.268
AT ITER 2942 NEW BEST:: SOT 3076525 SOS 1826001 HAS SOPS 1826001 HAS SOUS 1623190 HAS SOUPS 1623190 WITH SCORE 1625016.001
AT ITER 2947 NEW BEST:: SOT 3076243 SOS 1824783 HAS SOPS 1824783 HAS SOUS 1622995 HAS SOUPS 1622995 WITH SCORE 1624819.783
AT ITER 2952 NEW BEST:: SOT 3076242 SOS 1824780 HAS SOPS 1824780 HAS SOUS 1622992 HAS SOUPS 1622992 WITH SCORE 1624816.78
AT ITER 2958 NEW BEST:: SOT 3076396 SOS 1824103 HAS SOPS 1824103 HAS SOUS 1622530 HAS SOUPS 1622530 WITH SCORE 1624354.103
AT ITER 2959 NEW BEST:: SOT 3075778 SOS 1823719 HAS SOPS 1823719 HAS SOUS 1622146 HAS SOUPS 1622146 WITH SCORE 1623969.719
AT ITER 2960 NEW BEST:: SOT 3075790 SOS 1820432 HAS SOPS 1820432 HAS SOUS 1621140 HAS SOUPS 1621140 WITH SCORE 1622960.432
AT ITER 2961 NEW BEST:: SOT 3075452 SOS 1820094 HAS SOPS 1820094 HAS SOUS 1620802 HAS SOUPS 1620802 WITH SCORE 1622622.094
AT ITER 2965 NEW BEST:: SOT 3074895 SOS 1819537 HAS SOPS 1819537 HAS SOUS 1620245 HAS SOUPS 1620245 WITH SCORE 1622064.537
AT ITER 2966 NEW BEST:: SOT 3072628 SOS 1813194 HAS SOPS 1813194 HAS SOUS 1616724 HAS SOUPS 1616724 WITH SCORE 1618537.194
AT ITER 2968 NEW BEST:: SOT 3072482 SOS 1812759 HAS SOPS 1812759 HAS SOUS 1616289 HAS SOUPS 1616289 WITH SCORE 1618101.759
AT ITER 2970 NEW BEST:: SOT 3072172 SOS 1812208 HAS SOPS 1812208 HAS SOUS 1615738 HAS SOUPS 1615738 WITH SCORE 1617550.208
AT ITER 2973 NEW BEST:: SOT 3071073 SOS 1811109 HAS SOPS 1811109 HAS SOUS 1614587 HAS SOUPS 1614587 WITH SCORE 1616398.109
AT ITER 2984 NEW BEST:: SOT 3070931 SOS 1811131 HAS SOPS 1811131 HAS SOUS 1614303 HAS SOUPS 1614303 WITH SCORE 1616114.131
AT ITER 2993 NEW BEST:: SOT 3070711 SOS 1810616 HAS SOPS 1810616 HAS SOUS 1613862 HAS SOUPS 1613862 WITH SCORE 1615672.616
AT ITER 2996 NEW BEST:: SOT 3070711 SOS 1810616 HAS SOPS 1810616 HAS SOUS 1613803 HAS SOUPS 1613803 WITH SCORE 1615613.616
AT ITER 3002 NEW BEST:: SOT 3068899 SOS 1808200 HAS SOPS 1808200 HAS SOUS 1611387 HAS SOUPS 1611387 WITH SCORE 1613195.2
AT ITER 3005 NEW BEST:: SOT 3068919 SOS 1808220 HAS SOPS 1808220 HAS SOUS 1611375 HAS SOUPS 1611375 WITH SCORE 1613183.22
AT ITER 3011 NEW BEST:: SOT 3068821 SOS 1808122 HAS SOPS 1808122 HAS SOUS 1611366 HAS SOUPS 1611366 WITH SCORE 1613174.122
AT ITER 3022 NEW BEST:: SOT 3067925 SOS 1807114 HAS SOPS 1807114 HAS SOUS 1610358 HAS SOUPS 1610358 WITH SCORE 1612165.114
AT ITER 3026 NEW BEST:: SOT 3068094 SOS 1807098 HAS SOPS 1807098 HAS SOUS 1610342 HAS SOUPS 1610342 WITH SCORE 1612149.098
AT ITER 3030 NEW BEST:: SOT 3067993 SOS 1806997 HAS SOPS 1806997 HAS SOUS 1610241 HAS SOUPS 1610241 WITH SCORE 1612047.997
AT ITER 3032 NEW BEST:: SOT 3067992 SOS 1806828 HAS SOPS 1806828 HAS SOUS 1610239 HAS SOUPS 1610239 WITH SCORE 1612045.828
AT ITER 3038 NEW BEST:: SOT 3067924 SOS 1806657 HAS SOPS 1806657 HAS SOUS 1610067 HAS SOUPS 1610067 WITH SCORE 1611873.657
AT ITER 3050 NEW BEST:: SOT 3067754 SOS 1806293 HAS SOPS 1806293 HAS SOUS 1609703 HAS SOUPS 1609703 WITH SCORE 1611509.293
AT ITER 3055 NEW BEST:: SOT 3066775 SOS 1805485 HAS SOPS 1805485 HAS SOUS 1608350 HAS SOUPS 1608350 WITH SCORE 1610155.485
AT ITER 3059 NEW BEST:: SOT 3066520 SOS 1805230 HAS SOPS 1805230 HAS SOUS 1608095 HAS SOUPS 1608095 WITH SCORE 1609900.23
AT ITER 3061 NEW BEST:: SOT 3065397 SOS 1804272 HAS SOPS 1804272 HAS SOUS 1607137 HAS SOUPS 1607137 WITH SCORE 1608941.272
AT ITER 3064 NEW BEST:: SOT 3065312 SOS 1804185 HAS SOPS 1804185 HAS SOUS 1607087 HAS SOUPS 1607087 WITH SCORE 1608891.185
AT ITER 3066 NEW BEST:: SOT 3065234 SOS 1804107 HAS SOPS 1804107 HAS SOUS 1607009 HAS SOUPS 1607009 WITH SCORE 1608813.107
AT ITER 3069 NEW BEST:: SOT 3065234 SOS 1803943 HAS SOPS 1803943 HAS SOUS 1606845 HAS SOUPS 1606845 WITH SCORE 1608648.943
AT ITER 3070 NEW BEST:: SOT 3065234 SOS 1803802 HAS SOPS 1803802 HAS SOUS 1606704 HAS SOUPS 1606704 WITH SCORE 1608507.802
AT ITER 3073 NEW BEST:: SOT 3065212 SOS 1803780 HAS SOPS 1803780 HAS SOUS 1606682 HAS SOUPS 1606682 WITH SCORE 1608485.78
AT ITER 3080 NEW BEST:: SOT 3064462 SOS 1803030 HAS SOPS 1803030 HAS SOUS 1605928 HAS SOUPS 1605928 WITH SCORE 1607731.03
AT ITER 3084 NEW BEST:: SOT 3063875 SOS 1802441 HAS SOPS 1802441 HAS SOUS 1605339 HAS SOUPS 1605339 WITH SCORE 1607141.441
AT ITER 3089 NEW BEST:: SOT 3063683 SOS 1802185 HAS SOPS 1802185 HAS SOUS 1605083 HAS SOUPS 1605083 WITH SCORE 1606885.185
AT ITER 3094 NEW BEST:: SOT 3063671 SOS 1802173 HAS SOPS 1802173 HAS SOUS 1605071 HAS SOUPS 1605071 WITH SCORE 1606873.173
AT ITER 3098 NEW BEST:: SOT 3063435 SOS 1801257 HAS SOPS 1801257 HAS SOUS 1604599 HAS SOUPS 1604599 WITH SCORE 1606400.257
AT ITER 3100 NEW BEST:: SOT 3062382 SOS 1800057 HAS SOPS 1800057 HAS SOUS 1603399 HAS SOUPS 1603399 WITH SCORE 1605199.057
AT ITER 3102 NEW BEST:: SOT 3061979 SOS 1799651 HAS SOPS 1799651 HAS SOUS 1602993 HAS SOUPS 1602993 WITH SCORE 1604792.651
AT ITER 3104 NEW BEST:: SOT 3062207 SOS 1799956 HAS SOPS 1799956 HAS SOUS 1602854 HAS SOUPS 1602854 WITH SCORE 1604653.956
AT ITER 3105 NEW BEST:: SOT 3060493 SOS 1797691 HAS SOPS 1797691 HAS SOUS 1600506 HAS SOUPS 1600506 WITH SCORE 1602303.691
AT ITER 3120 NEW BEST:: SOT 3060493 SOS 1797661 HAS SOPS 1797661 HAS SOUS 1600497 HAS SOUPS 1600497 WITH SCORE 1602294.661
AT ITER 3123 NEW BEST:: SOT 3060107 SOS 1797275 HAS SOPS 1797275 HAS SOUS 1600111 HAS SOUPS 1600111 WITH SCORE 1601908.275
AT ITER 3143 NEW BEST:: SOT 3060025 SOS 1797193 HAS SOPS 1797193 HAS SOUS 1600029 HAS SOUPS 1600029 WITH SCORE 1601826.193
AT ITER 3144 NEW BEST:: SOT 3058909 SOS 1795692 HAS SOPS 1795692 HAS SOUS 1598528 HAS SOUPS 1598528 WITH SCORE 1600323.692
AT ITER 3146 NEW BEST:: SOT 3058847 SOS 1795298 HAS SOPS 1795298 HAS SOUS 1598404 HAS SOUPS 1598404 WITH SCORE 1600199.298
AT ITER 3150 NEW BEST:: SOT 3058738 SOS 1795186 HAS SOPS 1795186 HAS SOUS 1598292 HAS SOUPS 1598292 WITH SCORE 1600087.186
AT ITER 3156 NEW BEST:: SOT 3058650 SOS 1794746 HAS SOPS 1794746 HAS SOUS 1598116 HAS SOUPS 1598116 WITH SCORE 1599910.746
AT ITER 3164 NEW BEST:: SOT 3058598 SOS 1794325 HAS SOPS 1794325 HAS SOUS 1597694 HAS SOUPS 1597694 WITH SCORE 1599488.325
AT ITER 3168 NEW BEST:: SOT 3058598 SOS 1792159 HAS SOPS 1792159 HAS SOUS 1597694 HAS SOUPS 1597694 WITH SCORE 1599486.159
AT ITER 3169 NEW BEST:: SOT 3057811 SOS 1791361 HAS SOPS 1791361 HAS SOUS 1596896 HAS SOUPS 1596896 WITH SCORE 1598687.361
AT ITER 3172 NEW BEST:: SOT 3057811 SOS 1791148 HAS SOPS 1791148 HAS SOUS 1596683 HAS SOUPS 1596683 WITH SCORE 1598474.148
AT ITER 3175 NEW BEST:: SOT 3057681 SOS 1791053 HAS SOPS 1791053 HAS SOUS 1596588 HAS SOUPS 1596588 WITH SCORE 1598379.053
AT ITER 3177 NEW BEST:: SOT 3056564 SOS 1789990 HAS SOPS 1789990 HAS SOUS 1595525 HAS SOUPS 1595525 WITH SCORE 1597314.99
AT ITER 3178 NEW BEST:: SOT 3056564 SOS 1789990 HAS SOPS 1789990 HAS SOUS 1595490 HAS SOUPS 1595490 WITH SCORE 1597279.99
AT ITER 3184 NEW BEST:: SOT 3055938 SOS 1788183 HAS SOPS 1788183 HAS SOUS 1594451 HAS SOUPS 1594451 WITH SCORE 1596239.183
AT ITER 3187 NEW BEST:: SOT 3055483 SOS 1787452 HAS SOPS 1787452 HAS SOUS 1593720 HAS SOUPS 1593720 WITH SCORE 1595507.452
AT ITER 3188 NEW BEST:: SOT 3055866 SOS 1788002 HAS SOPS 1788002 HAS SOUS 1593552 HAS SOUPS 1593552 WITH SCORE 1595340.002
AT ITER 3191 NEW BEST:: SOT 3055866 SOS 1788002 HAS SOPS 1788002 HAS SOUS 1593519 HAS SOUPS 1593519 WITH SCORE 1595307.002
AT ITER 3194 NEW BEST:: SOT 3055866 SOS 1787954 HAS SOPS 1787954 HAS SOUS 1593511 HAS SOUPS 1593511 WITH SCORE 1595298.954
AT ITER 3209 NEW BEST:: SOT 3055657 SOS 1787745 HAS SOPS 1787745 HAS SOUS 1593302 HAS SOUPS 1593302 WITH SCORE 1595089.745
AT ITER 3212 NEW BEST:: SOT 3055657 SOS 1787417 HAS SOPS 1787417 HAS SOUS 1593302 HAS SOUPS 1593302 WITH SCORE 1595089.417
AT ITER 3215 NEW BEST:: SOT 3055657 SOS 1787038 HAS SOPS 1787038 HAS SOUS 1593290 HAS SOUPS 1593290 WITH SCORE 1595077.038
AT ITER 3218 NEW BEST:: SOT 3055657 SOS 1786683 HAS SOPS 1786683 HAS SOUS 1593177 HAS SOUPS 1593177 WITH SCORE 1594963.683
AT ITER 3221 NEW BEST:: SOT 3055657 SOS 1786678 HAS SOPS 1786678 HAS SOUS 1593172 HAS SOUPS 1593172 WITH SCORE 1594958.678
AT ITER 3233 NEW BEST:: SOT 3055657 SOS 1786557 HAS SOPS 1786557 HAS SOUS 1593163 HAS SOUPS 1593163 WITH SCORE 1594949.557
AT ITER 3234 NEW BEST:: SOT 3055551 SOS 1786451 HAS SOPS 1786451 HAS SOUS 1593155 HAS SOUPS 1593155 WITH SCORE 1594941.451
AT ITER 3239 NEW BEST:: SOT 3054125 SOS 1785928 HAS SOPS 1785928 HAS SOUS 1592781 HAS SOUPS 1592781 WITH SCORE 1594566.928
AT ITER 3251 NEW BEST:: SOT 3053437 SOS 1785240 HAS SOPS 1785240 HAS SOUS 1592335 HAS SOUPS 1592335 WITH SCORE 1594120.24
AT ITER 3255 NEW BEST:: SOT 3052099 SOS 1783493 HAS SOPS 1783493 HAS SOUS 1590588 HAS SOUPS 1590588 WITH SCORE 1592371.493
AT ITER 3256 NEW BEST:: SOT 3051424 SOS 1781811 HAS SOPS 1781811 HAS SOUS 1588778 HAS SOUPS 1588778 WITH SCORE 1590559.811
AT ITER 3265 NEW BEST:: SOT 3051601 SOS 1781939 HAS SOPS 1781939 HAS SOUS 1588344 HAS SOUPS 1588344 WITH SCORE 1590125.939
AT ITER 3271 NEW BEST:: SOT 3051163 SOS 1781063 HAS SOPS 1781063 HAS SOUS 1587468 HAS SOUPS 1587468 WITH SCORE 1589249.063
AT ITER 3274 NEW BEST:: SOT 3051163 SOS 1781063 HAS SOPS 1781063 HAS SOUS 1587466 HAS SOUPS 1587466 WITH SCORE 1589247.063
AT ITER 3275 NEW BEST:: SOT 3051163 SOS 1780133 HAS SOPS 1780133 HAS SOUS 1586536 HAS SOUPS 1586536 WITH SCORE 1588316.133
AT ITER 3281 NEW BEST:: SOT 3051234 SOS 1778669 HAS SOPS 1778669 HAS SOUS 1586119 HAS SOUPS 1586119 WITH SCORE 1587897.669
AT ITER 3284 NEW BEST:: SOT 3050420 SOS 1779062 HAS SOPS 1779062 HAS SOUS 1586040 HAS SOUPS 1586040 WITH SCORE 1587819.062
AT ITER 3286 NEW BEST:: SOT 3050382 SOS 1778602 HAS SOPS 1778602 HAS SOUS 1585580 HAS SOUPS 1585580 WITH SCORE 1587358.602
AT ITER 3291 NEW BEST:: SOT 3050382 SOS 1778506 HAS SOPS 1778506 HAS SOUS 1585280 HAS SOUPS 1585280 WITH SCORE 1587058.506
AT ITER 3293 NEW BEST:: SOT 3050181 SOS 1775722 HAS SOPS 1775722 HAS SOUS 1583649 HAS SOUPS 1583649 WITH SCORE 1585424.722
AT ITER 3296 NEW BEST:: SOT 3050007 SOS 1775548 HAS SOPS 1775548 HAS SOUS 1583475 HAS SOUPS 1583475 WITH SCORE 1585250.548
AT ITER 3297 NEW BEST:: SOT 3049971 SOS 1774751 HAS SOPS 1774751 HAS SOUS 1582883 HAS SOUPS 1582883 WITH SCORE 1584657.751
AT ITER 3298 NEW BEST:: SOT 3048812 SOS 1773592 HAS SOPS 1773592 HAS SOUS 1581724 HAS SOUPS 1581724 WITH SCORE 1583497.592
AT ITER 3306 NEW BEST:: SOT 3048614 SOS 1773581 HAS SOPS 1773581 HAS SOUS 1581713 HAS SOUPS 1581713 WITH SCORE 1583486.581
AT ITER 3307 NEW BEST:: SOT 3048658 SOS 1772612 HAS SOPS 1772612 HAS SOUS 1581668 HAS SOUPS 1581668 WITH SCORE 1583440.612
AT ITER 3316 NEW BEST:: SOT 3048879 SOS 1772557 HAS SOPS 1772557 HAS SOUS 1581613 HAS SOUPS 1581613 WITH SCORE 1583385.557
AT ITER 3317 NEW BEST:: SOT 3048879 SOS 1771094 HAS SOPS 1771094 HAS SOUS 1581096 HAS SOUPS 1581096 WITH SCORE 1582867.094
AT ITER 3319 NEW BEST:: SOT 3048088 SOS 1770348 HAS SOPS 1770348 HAS SOUS 1581047 HAS SOUPS 1581047 WITH SCORE 1582817.348
AT ITER 3339 NEW BEST:: SOT 3048271 SOS 1770157 HAS SOPS 1770157 HAS SOUS 1580856 HAS SOUPS 1580856 WITH SCORE 1582626.157
AT ITER 3340 NEW BEST:: SOT 3048271 SOS 1768976 HAS SOPS 1768976 HAS SOUS 1580469 HAS SOUPS 1580469 WITH SCORE 1582237.976
AT ITER 3353 NEW BEST:: SOT 3048271 SOS 1768976 HAS SOPS 1768976 HAS SOUS 1580468 HAS SOUPS 1580468 WITH SCORE 1582236.976
AT ITER 3372 NEW BEST:: SOT 3047602 SOS 1767333 HAS SOPS 1767333 HAS SOUS 1579233 HAS SOUPS 1579233 WITH SCORE 1581000.333
AT ITER 3398 NEW BEST:: SOT 3047602 SOS 1767229 HAS SOPS 1767229 HAS SOUS 1579129 HAS SOUPS 1579129 WITH SCORE 1580896.229
AT ITER 3401 NEW BEST:: SOT 3047395 SOS 1767022 HAS SOPS 1767022 HAS SOUS 1578867 HAS SOUPS 1578867 WITH SCORE 1580634.022
AT ITER 3407 NEW BEST:: SOT 3047395 SOS 1766937 HAS SOPS 1766937 HAS SOUS 1578697 HAS SOUPS 1578697 WITH SCORE 1580463.937
AT ITER 3408 NEW BEST:: SOT 3045866 SOS 1765406 HAS SOPS 1765406 HAS SOUS 1578025 HAS SOUPS 1578025 WITH SCORE 1579790.406
AT ITER 3417 NEW BEST:: SOT 3046030 SOS 1765263 HAS SOPS 1765263 HAS SOUS 1577010 HAS SOUPS 1577010 WITH SCORE 1578775.263
AT ITER 3419 NEW BEST:: SOT 3045997 SOS 1764455 HAS SOPS 1764455 HAS SOUS 1576901 HAS SOUPS 1576901 WITH SCORE 1578665.455
AT ITER 3428 NEW BEST:: SOT 3046157 SOS 1764428 HAS SOPS 1764428 HAS SOUS 1576873 HAS SOUPS 1576873 WITH SCORE 1578637.428
AT ITER 3430 NEW BEST:: SOT 3046155 SOS 1764426 HAS SOPS 1764426 HAS SOUS 1576871 HAS SOUPS 1576871 WITH SCORE 1578635.426
AT ITER 3435 NEW BEST:: SOT 3046155 SOS 1763334 HAS SOPS 1763334 HAS SOUS 1576325 HAS SOUPS 1576325 WITH SCORE 1578088.334
AT ITER 3436 NEW BEST:: SOT 3045979 SOS 1763099 HAS SOPS 1763099 HAS SOUS 1576064 HAS SOUPS 1576064 WITH SCORE 1577827.099
AT ITER 3439 NEW BEST:: SOT 3044636 SOS 1761494 HAS SOPS 1761494 HAS SOUS 1574459 HAS SOUPS 1574459 WITH SCORE 1576220.494
AT ITER 3442 NEW BEST:: SOT 3044589 SOS 1761191 HAS SOPS 1761191 HAS SOUS 1574203 HAS SOUPS 1574203 WITH SCORE 1575964.191
AT ITER 3446 NEW BEST:: SOT 3044575 SOS 1761163 HAS SOPS 1761163 HAS SOUS 1574175 HAS SOUPS 1574175 WITH SCORE 1575936.163
AT ITER 3448 NEW BEST:: SOT 3044402 SOS 1760809 HAS SOPS 1760809 HAS SOUS 1574002 HAS SOUPS 1574002 WITH SCORE 1575762.809
AT ITER 3461 NEW BEST:: SOT 3044177 SOS 1760812 HAS SOPS 1760812 HAS SOUS 1573916 HAS SOUPS 1573916 WITH SCORE 1575676.812
AT ITER 3466 NEW BEST:: SOT 3043837 SOS 1760472 HAS SOPS 1760472 HAS SOUS 1573228 HAS SOUPS 1573228 WITH SCORE 1574988.472
AT ITER 3474 NEW BEST:: SOT 3042251 SOS 1760101 HAS SOPS 1760101 HAS SOUS 1571844 HAS SOUPS 1571844 WITH SCORE 1573604.101
AT ITER 3484 NEW BEST:: SOT 3042251 SOS 1759660 HAS SOPS 1759660 HAS SOUS 1571844 HAS SOUPS 1571844 WITH SCORE 1573603.66
AT ITER 3489 NEW BEST:: SOT 3041700 SOS 1759523 HAS SOPS 1759523 HAS SOUS 1571603 HAS SOUPS 1571603 WITH SCORE 1573362.523
AT ITER 3491 NEW BEST:: SOT 3041604 SOS 1759149 HAS SOPS 1759149 HAS SOUS 1571149 HAS SOUPS 1571149 WITH SCORE 1572908.149
AT ITER 3507 NEW BEST:: SOT 3041354 SOS 1758527 HAS SOPS 1758527 HAS SOUS 1570685 HAS SOUPS 1570685 WITH SCORE 1572443.527
AT ITER 3510 NEW BEST:: SOT 3041330 SOS 1758261 HAS SOPS 1758261 HAS SOUS 1570419 HAS SOUPS 1570419 WITH SCORE 1572177.261
AT ITER 3512 NEW BEST:: SOT 3040498 SOS 1756067 HAS SOPS 1756067 HAS SOUS 1570369 HAS SOUPS 1570369 WITH SCORE 1572125.067
AT ITER 3515 NEW BEST:: SOT 3040424 SOS 1756028 HAS SOPS 1756028 HAS SOUS 1570330 HAS SOUPS 1570330 WITH SCORE 1572086.028
AT ITER 3527 NEW BEST:: SOT 3040423 SOS 1756027 HAS SOPS 1756027 HAS SOUS 1570328 HAS SOUPS 1570328 WITH SCORE 1572084.027
AT ITER 3531 NEW BEST:: SOT 3040423 SOS 1755655 HAS SOPS 1755655 HAS SOUS 1570142 HAS SOUPS 1570142 WITH SCORE 1571897.655
AT ITER 3538 NEW BEST:: SOT 3039181 SOS 1753264 HAS SOPS 1753264 HAS SOUS 1567722 HAS SOUPS 1567722 WITH SCORE 1569475.264
AT ITER 3545 NEW BEST:: SOT 3039074 SOS 1753148 HAS SOPS 1753148 HAS SOUS 1567713 HAS SOUPS 1567713 WITH SCORE 1569466.148
AT ITER 3551 NEW BEST:: SOT 3038660 SOS 1752734 HAS SOPS 1752734 HAS SOUS 1567299 HAS SOUPS 1567299 WITH SCORE 1569051.734
AT ITER 3552 NEW BEST:: SOT 3038021 SOS 1751393 HAS SOPS 1751393 HAS SOUS 1565949 HAS SOUPS 1565949 WITH SCORE 1567700.393
AT ITER 3556 NEW BEST:: SOT 3038291 SOS 1749231 HAS SOPS 1749231 HAS SOUS 1564888 HAS SOUPS 1564888 WITH SCORE 1566637.231
AT ITER 3564 NEW BEST:: SOT 3037995 SOS 1748590 HAS SOPS 1748590 HAS SOUS 1564256 HAS SOUPS 1564256 WITH SCORE 1566004.59
AT ITER 3572 NEW BEST:: SOT 3037158 SOS 1747914 HAS SOPS 1747914 HAS SOUS 1563580 HAS SOUPS 1563580 WITH SCORE 1565327.914
AT ITER 3573 NEW BEST:: SOT 3037137 SOS 1746652 HAS SOPS 1746652 HAS SOUS 1563178 HAS SOUPS 1563178 WITH SCORE 1564924.652
AT ITER 3578 NEW BEST:: SOT 3037137 SOS 1744627 HAS SOPS 1744627 HAS SOUS 1562503 HAS SOUPS 1562503 WITH SCORE 1564247.627
AT ITER 3580 NEW BEST:: SOT 3036961 SOS 1744449 HAS SOPS 1744449 HAS SOUS 1562325 HAS SOUPS 1562325 WITH SCORE 1564069.449
AT ITER 3587 NEW BEST:: SOT 3036394 SOS 1743970 HAS SOPS 1743970 HAS SOUS 1561846 HAS SOUPS 1561846 WITH SCORE 1563589.97
AT ITER 3588 NEW BEST:: SOT 3035286 SOS 1742720 HAS SOPS 1742720 HAS SOUS 1561139 HAS SOUPS 1561139 WITH SCORE 1562881.72
AT ITER 3594 NEW BEST:: SOT 3035151 SOS 1742656 HAS SOPS 1742656 HAS SOUS 1561097 HAS SOUPS 1561097 WITH SCORE 1562839.656
AT ITER 3595 NEW BEST:: SOT 3032469 SOS 1738900 HAS SOPS 1738900 HAS SOUS 1557341 HAS SOUPS 1557341 WITH SCORE 1559079.9
AT ITER 3600 NEW BEST:: SOT 3032469 SOS 1738670 HAS SOPS 1738670 HAS SOUS 1557111 HAS SOUPS 1557111 WITH SCORE 1558849.67
AT ITER 3608 NEW BEST:: SOT 3032469 SOS 1738588 HAS SOPS 1738588 HAS SOUS 1557029 HAS SOUPS 1557029 WITH SCORE 1558767.588
AT ITER 3612 NEW BEST:: SOT 3032412 SOS 1737796 HAS SOPS 1737796 HAS SOUS 1556780 HAS SOUPS 1556780 WITH SCORE 1558517.796
AT ITER 3618 NEW BEST:: SOT 3032375 SOS 1737759 HAS SOPS 1737759 HAS SOUS 1556743 HAS SOUPS 1556743 WITH SCORE 1558480.759
AT ITER 3619 NEW BEST:: SOT 3032316 SOS 1737700 HAS SOPS 1737700 HAS SOUS 1556684 HAS SOUPS 1556684 WITH SCORE 1558421.7
AT ITER 3625 NEW BEST:: SOT 3032184 SOS 1737358 HAS SOPS 1737358 HAS SOUS 1556420 HAS SOUPS 1556420 WITH SCORE 1558157.358
AT ITER 3628 NEW BEST:: SOT 3031935 SOS 1737109 HAS SOPS 1737109 HAS SOUS 1556085 HAS SOUPS 1556085 WITH SCORE 1557822.109
AT ITER 3630 NEW BEST:: SOT 3031202 SOS 1736374 HAS SOPS 1736374 HAS SOUS 1555350 HAS SOUPS 1555350 WITH SCORE 1557086.374
AT ITER 3637 NEW BEST:: SOT 3031157 SOS 1736329 HAS SOPS 1736329 HAS SOUS 1555305 HAS SOUPS 1555305 WITH SCORE 1557041.329
AT ITER 3638 NEW BEST:: SOT 3030089 SOS 1732854 HAS SOPS 1732854 HAS SOUS 1552843 HAS SOUPS 1552843 WITH SCORE 1554575.854
AT ITER 3646 NEW BEST:: SOT 3029912 SOS 1731735 HAS SOPS 1731735 HAS SOUS 1551724 HAS SOUPS 1551724 WITH SCORE 1553455.735
AT ITER 3648 NEW BEST:: SOT 3029559 SOS 1731382 HAS SOPS 1731382 HAS SOUS 1551371 HAS SOUPS 1551371 WITH SCORE 1553102.382
AT ITER 3649 NEW BEST:: SOT 3029559 SOS 1731194 HAS SOPS 1731194 HAS SOUS 1551183 HAS SOUPS 1551183 WITH SCORE 1552914.194
AT ITER 3652 NEW BEST:: SOT 3029405 SOS 1730902 HAS SOPS 1730902 HAS SOUS 1550891 HAS SOUPS 1550891 WITH SCORE 1552621.902
AT ITER 3655 NEW BEST:: SOT 3029057 SOS 1730614 HAS SOPS 1730614 HAS SOUS 1550375 HAS SOUPS 1550375 WITH SCORE 1552105.614
AT ITER 3659 NEW BEST:: SOT 3029056 SOS 1730318 HAS SOPS 1730318 HAS SOUS 1550204 HAS SOUPS 1550204 WITH SCORE 1551934.318
AT ITER 3662 NEW BEST:: SOT 3028635 SOS 1729683 HAS SOPS 1729683 HAS SOUS 1549569 HAS SOUPS 1549569 WITH SCORE 1551298.683
AT ITER 3669 NEW BEST:: SOT 3028204 SOS 1728040 HAS SOPS 1728040 HAS SOUS 1548961 HAS SOUPS 1548961 WITH SCORE 1550689.04
AT ITER 3680 NEW BEST:: SOT 3027322 SOS 1727249 HAS SOPS 1727249 HAS SOUS 1548324 HAS SOUPS 1548324 WITH SCORE 1550051.249
AT ITER 3682 NEW BEST:: SOT 3026664 SOS 1726591 HAS SOPS 1726591 HAS SOUS 1547666 HAS SOUPS 1547666 WITH SCORE 1549392.591
AT ITER 3696 NEW BEST:: SOT 3026457 SOS 1726384 HAS SOPS 1726384 HAS SOUS 1547459 HAS SOUPS 1547459 WITH SCORE 1549185.384
AT ITER 3698 NEW BEST:: SOT 3026379 SOS 1726306 HAS SOPS 1726306 HAS SOUS 1547381 HAS SOUPS 1547381 WITH SCORE 1549107.306
AT ITER 3708 NEW BEST:: SOT 3026040 SOS 1724950 HAS SOPS 1724950 HAS SOUS 1546703 HAS SOUPS 1546703 WITH SCORE 1548427.95
AT ITER 3711 NEW BEST:: SOT 3025866 SOS 1724776 HAS SOPS 1724776 HAS SOUS 1546355 HAS SOUPS 1546355 WITH SCORE 1548079.776
AT ITER 3714 NEW BEST:: SOT 3025763 SOS 1724782 HAS SOPS 1724782 HAS SOUS 1545944 HAS SOUPS 1545944 WITH SCORE 1547668.782
AT ITER 3723 NEW BEST:: SOT 3025691 SOS 1724674 HAS SOPS 1724674 HAS SOUS 1545793 HAS SOUPS 1545793 WITH SCORE 1547517.674
AT ITER 3725 NEW BEST:: SOT 3025691 SOS 1723519 HAS SOPS 1723519 HAS SOUS 1545603 HAS SOUPS 1545603 WITH SCORE 1547326.519
AT ITER 3729 NEW BEST:: SOT 3025033 SOS 1722861 HAS SOPS 1722861 HAS SOUS 1544943 HAS SOUPS 1544943 WITH SCORE 1546665.861
AT ITER 3735 NEW BEST:: SOT 3024790 SOS 1721281 HAS SOPS 1721281 HAS SOUS 1544433 HAS SOUPS 1544433 WITH SCORE 1546154.281
AT ITER 3737 NEW BEST:: SOT 3024790 SOS 1720631 HAS SOPS 1720631 HAS SOUS 1543783 HAS SOUPS 1543783 WITH SCORE 1545503.631
AT ITER 3749 NEW BEST:: SOT 3024564 SOS 1720405 HAS SOPS 1720405 HAS SOUS 1543553 HAS SOUPS 1543553 WITH SCORE 1545273.405
AT ITER 3754 NEW BEST:: SOT 3024590 SOS 1720005 HAS SOPS 1720005 HAS SOUS 1543153 HAS SOUPS 1543153 WITH SCORE 1544873.005
AT ITER 3756 NEW BEST:: SOT 3024590 SOS 1719896 HAS SOPS 1719896 HAS SOUS 1543044 HAS SOUPS 1543044 WITH SCORE 1544763.896
AT ITER 3763 NEW BEST:: SOT 3024402 SOS 1719381 HAS SOPS 1719381 HAS SOUS 1542554 HAS SOUPS 1542554 WITH SCORE 1544273.381
AT ITER 3767 NEW BEST:: SOT 3024303 SOS 1719156 HAS SOPS 1719156 HAS SOUS 1542097 HAS SOUPS 1542097 WITH SCORE 1543816.156
AT ITER 3768 NEW BEST:: SOT 3024149 SOS 1718677 HAS SOPS 1718677 HAS SOUS 1541853 HAS SOUPS 1541853 WITH SCORE 1543571.677
AT ITER 3771 NEW BEST:: SOT 3024023 SOS 1718584 HAS SOPS 1718584 HAS SOUS 1541760 HAS SOUPS 1541760 WITH SCORE 1543478.584
AT ITER 3774 NEW BEST:: SOT 3023836 SOS 1718512 HAS SOPS 1718512 HAS SOUS 1541688 HAS SOUPS 1541688 WITH SCORE 1543406.512
AT ITER 3776 NEW BEST:: SOT 3023836 SOS 1718512 HAS SOPS 1718512 HAS SOUS 1541687 HAS SOUPS 1541687 WITH SCORE 1543405.512
AT ITER 3779 NEW BEST:: SOT 3023836 SOS 1717148 HAS SOPS 1717148 HAS SOUS 1541681 HAS SOUPS 1541681 WITH SCORE 1543398.148
AT ITER 3780 NEW BEST:: SOT 3022855 SOS 1712984 HAS SOPS 1712984 HAS SOUS 1539271 HAS SOUPS 1539271 WITH SCORE 1540983.984
AT ITER 3781 NEW BEST:: SOT 3022114 SOS 1711774 HAS SOPS 1711774 HAS SOUS 1538061 HAS SOUPS 1538061 WITH SCORE 1539772.774
AT ITER 3788 NEW BEST:: SOT 3021880 SOS 1711127 HAS SOPS 1711127 HAS SOUS 1537414 HAS SOUPS 1537414 WITH SCORE 1539125.127
AT ITER 3795 NEW BEST:: SOT 3021872 SOS 1711095 HAS SOPS 1711095 HAS SOUS 1537390 HAS SOUPS 1537390 WITH SCORE 1539101.095
AT ITER 3797 NEW BEST:: SOT 3021783 SOS 1711006 HAS SOPS 1711006 HAS SOUS 1537301 HAS SOUPS 1537301 WITH SCORE 1539012.006
AT ITER 3799 NEW BEST:: SOT 3019987 SOS 1707399 HAS SOPS 1707399 HAS SOUS 1533694 HAS SOUPS 1533694 WITH SCORE 1535401.399
AT ITER 3802 NEW BEST:: SOT 3019978 SOS 1707379 HAS SOPS 1707379 HAS SOUS 1533674 HAS SOUPS 1533674 WITH SCORE 1535381.379
AT ITER 3809 NEW BEST:: SOT 3019978 SOS 1707318 HAS SOPS 1707318 HAS SOUS 1533644 HAS SOUPS 1533644 WITH SCORE 1535351.318
AT ITER 3817 NEW BEST:: SOT 3019921 SOS 1707261 HAS SOPS 1707261 HAS SOUS 1533587 HAS SOUPS 1533587 WITH SCORE 1535294.261
AT ITER 3826 NEW BEST:: SOT 3019921 SOS 1706349 HAS SOPS 1706349 HAS SOUS 1532675 HAS SOUPS 1532675 WITH SCORE 1534381.349
AT ITER 3827 NEW BEST:: SOT 3019683 SOS 1706127 HAS SOPS 1706127 HAS SOUS 1532453 HAS SOUPS 1532453 WITH SCORE 1534159.127
AT ITER 3829 NEW BEST:: SOT 3019271 SOS 1705715 HAS SOPS 1705715 HAS SOUS 1532041 HAS SOUPS 1532041 WITH SCORE 1533746.715
AT ITER 3835 NEW BEST:: SOT 3019214 SOS 1705430 HAS SOPS 1705430 HAS SOUS 1531927 HAS SOUPS 1531927 WITH SCORE 1533632.43
AT ITER 3837 NEW BEST:: SOT 3019100 SOS 1705316 HAS SOPS 1705316 HAS SOUS 1531813 HAS SOUPS 1531813 WITH SCORE 1533518.316
AT ITER 3838 NEW BEST:: SOT 3019297 SOS 1705210 HAS SOPS 1705210 HAS SOUS 1531438 HAS SOUPS 1531438 WITH SCORE 1533143.21
AT ITER 3839 NEW BEST:: SOT 3019297 SOS 1705209 HAS SOPS 1705209 HAS SOUS 1531438 HAS SOUPS 1531438 WITH SCORE 1533143.209
AT ITER 3841 NEW BEST:: SOT 3018658 SOS 1704570 HAS SOPS 1704570 HAS SOUS 1530799 HAS SOUPS 1530799 WITH SCORE 1532503.57
AT ITER 3842 NEW BEST:: SOT 3017368 SOS 1701210 HAS SOPS 1701210 HAS SOUS 1528119 HAS SOUPS 1528119 WITH SCORE 1529820.21
AT ITER 3851 NEW BEST:: SOT 3017368 SOS 1701265 HAS SOPS 1701265 HAS SOUS 1527938 HAS SOUPS 1527938 WITH SCORE 1529639.265
AT ITER 3853 NEW BEST:: SOT 3015825 SOS 1698607 HAS SOPS 1698607 HAS SOUS 1525280 HAS SOUPS 1525280 WITH SCORE 1526978.607
AT ITER 3857 NEW BEST:: SOT 3015846 SOS 1698628 HAS SOPS 1698628 HAS SOUS 1524933 HAS SOUPS 1524933 WITH SCORE 1526631.628
AT ITER 3870 NEW BEST:: SOT 3015721 SOS 1698163 HAS SOPS 1698163 HAS SOUS 1524723 HAS SOUPS 1524723 WITH SCORE 1526421.163
AT ITER 3873 NEW BEST:: SOT 3015643 SOS 1698085 HAS SOPS 1698085 HAS SOUS 1524645 HAS SOUPS 1524645 WITH SCORE 1526343.085
AT ITER 3875 NEW BEST:: SOT 3015643 SOS 1697939 HAS SOPS 1697939 HAS SOUS 1524499 HAS SOUPS 1524499 WITH SCORE 1526196.939
AT ITER 3877 NEW BEST:: SOT 3015461 SOS 1696489 HAS SOPS 1696489 HAS SOUS 1523640 HAS SOUPS 1523640 WITH SCORE 1525336.489
AT ITER 3884 NEW BEST:: SOT 3015303 SOS 1696331 HAS SOPS 1696331 HAS SOUS 1523605 HAS SOUPS 1523605 WITH SCORE 1525301.331
AT ITER 3885 NEW BEST:: SOT 3015303 SOS 1695679 HAS SOPS 1695679 HAS SOUS 1523140 HAS SOUPS 1523140 WITH SCORE 1524835.679
AT ITER 3898 NEW BEST:: SOT 3015300 SOS 1695257 HAS SOPS 1695257 HAS SOUS 1523019 HAS SOUPS 1523019 WITH SCORE 1524714.257
AT ITER 3905 NEW BEST:: SOT 3015300 SOS 1695251 HAS SOPS 1695251 HAS SOUS 1523016 HAS SOUPS 1523016 WITH SCORE 1524711.251
AT ITER 3915 NEW BEST:: SOT 3014997 SOS 1694948 HAS SOPS 1694948 HAS SOUS 1522713 HAS SOUPS 1522713 WITH SCORE 1524407.948
AT ITER 3920 NEW BEST:: SOT 3014680 SOS 1694748 HAS SOPS 1694748 HAS SOUS 1522513 HAS SOUPS 1522513 WITH SCORE 1524207.748
AT ITER 3921 NEW BEST:: SOT 3013212 SOS 1693827 HAS SOPS 1693827 HAS SOUS 1521609 HAS SOUPS 1521609 WITH SCORE 1523302.827
AT ITER 3924 NEW BEST:: SOT 3012658 SOS 1692606 HAS SOPS 1692606 HAS SOUS 1520327 HAS SOUPS 1520327 WITH SCORE 1522019.606
AT ITER 3925 NEW BEST:: SOT 3012315 SOS 1692263 HAS SOPS 1692263 HAS SOUS 1519984 HAS SOUPS 1519984 WITH SCORE 1521676.263
AT ITER 3926 NEW BEST:: SOT 3012315 SOS 1691658 HAS SOPS 1691658 HAS SOUS 1519402 HAS SOUPS 1519402 WITH SCORE 1521093.658
AT ITER 3931 NEW BEST:: SOT 3012314 SOS 1691657 HAS SOPS 1691657 HAS SOUS 1519400 HAS SOUPS 1519400 WITH SCORE 1521091.657
AT ITER 3939 NEW BEST:: SOT 3011569 SOS 1690912 HAS SOPS 1690912 HAS SOUS 1519252 HAS SOUPS 1519252 WITH SCORE 1520942.912
AT ITER 3940 NEW BEST:: SOT 3011569 SOS 1690747 HAS SOPS 1690747 HAS SOUS 1519252 HAS SOUPS 1519252 WITH SCORE 1520942.747
AT ITER 3941 NEW BEST:: SOT 3010906 SOS 1689941 HAS SOPS 1689941 HAS SOUS 1518446 HAS SOUPS 1518446 WITH SCORE 1520135.941
AT ITER 3944 NEW BEST:: SOT 3010848 SOS 1689668 HAS SOPS 1689668 HAS SOUS 1518173 HAS SOUPS 1518173 WITH SCORE 1519862.668
AT ITER 3957 NEW BEST:: SOT 3010568 SOS 1689388 HAS SOPS 1689388 HAS SOUS 1517893 HAS SOUPS 1517893 WITH SCORE 1519582.388
AT ITER 3962 NEW BEST:: SOT 3010551 SOS 1688967 HAS SOPS 1688967 HAS SOUS 1517674 HAS SOUPS 1517674 WITH SCORE 1519362.967
AT ITER 3973 NEW BEST:: SOT 3010484 SOS 1688900 HAS SOPS 1688900 HAS SOUS 1517444 HAS SOUPS 1517444 WITH SCORE 1519132.9
AT ITER 3976 NEW BEST:: SOT 3010149 SOS 1688565 HAS SOPS 1688565 HAS SOUS 1517109 HAS SOUPS 1517109 WITH SCORE 1518797.565
AT ITER 3977 NEW BEST:: SOT 3010041 SOS 1687108 HAS SOPS 1687108 HAS SOUS 1515455 HAS SOUPS 1515455 WITH SCORE 1517142.108
AT ITER 3979 NEW BEST:: SOT 3009046 SOS 1686268 HAS SOPS 1686268 HAS SOUS 1514615 HAS SOUPS 1514615 WITH SCORE 1516301.268
AT ITER 3987 NEW BEST:: SOT 3009046 SOS 1685661 HAS SOPS 1685661 HAS SOUS 1514615 HAS SOUPS 1514615 WITH SCORE 1516300.661
AT ITER 3992 NEW BEST:: SOT 3008838 SOS 1684621 HAS SOPS 1684621 HAS SOUS 1514199 HAS SOUPS 1514199 WITH SCORE 1515883.621
AT ITER 4001 NEW BEST:: SOT 3008836 SOS 1683596 HAS SOPS 1683596 HAS SOUS 1513884 HAS SOUPS 1513884 WITH SCORE 1515567.596
AT ITER 4008 NEW BEST:: SOT 3008755 SOS 1683515 HAS SOPS 1683515 HAS SOUS 1513803 HAS SOUPS 1513803 WITH SCORE 1515486.515
AT ITER 4011 NEW BEST:: SOT 3008753 SOS 1683513 HAS SOPS 1683513 HAS SOUS 1513801 HAS SOUPS 1513801 WITH SCORE 1515484.513
AT ITER 4014 NEW BEST:: SOT 3008977 SOS 1683837 HAS SOPS 1683837 HAS SOUS 1513788 HAS SOUPS 1513788 WITH SCORE 1515471.837
AT ITER 4018 NEW BEST:: SOT 3008574 SOS 1682901 HAS SOPS 1682901 HAS SOUS 1512852 HAS SOUPS 1512852 WITH SCORE 1514534.901
AT ITER 4020 NEW BEST:: SOT 3008574 SOS 1682835 HAS SOPS 1682835 HAS SOUS 1512454 HAS SOUPS 1512454 WITH SCORE 1514136.835
AT ITER 4035 NEW BEST:: SOT 3008512 SOS 1682649 HAS SOPS 1682649 HAS SOUS 1512392 HAS SOUPS 1512392 WITH SCORE 1514074.649
AT ITER 4043 NEW BEST:: SOT 3008512 SOS 1682037 HAS SOPS 1682037 HAS SOUS 1512271 HAS SOUPS 1512271 WITH SCORE 1513953.037
AT ITER 4045 NEW BEST:: SOT 3008192 SOS 1681446 HAS SOPS 1681446 HAS SOUS 1511680 HAS SOUPS 1511680 WITH SCORE 1513361.446
AT ITER 4052 NEW BEST:: SOT 3008192 SOS 1681192 HAS SOPS 1681192 HAS SOUS 1511680 HAS SOUPS 1511680 WITH SCORE 1513361.192
AT ITER 4054 NEW BEST:: SOT 3007944 SOS 1680944 HAS SOPS 1680944 HAS SOUS 1511432 HAS SOUPS 1511432 WITH SCORE 1513112.944
AT ITER 4055 NEW BEST:: SOT 3007924 SOS 1680844 HAS SOPS 1680844 HAS SOUS 1511392 HAS SOUPS 1511392 WITH SCORE 1513072.844
AT ITER 4058 NEW BEST:: SOT 3007721 SOS 1680622 HAS SOPS 1680622 HAS SOUS 1511211 HAS SOUPS 1511211 WITH SCORE 1512891.622
AT ITER 4059 NEW BEST:: SOT 3007721 SOS 1679581 HAS SOPS 1679581 HAS SOUS 1510864 HAS SOUPS 1510864 WITH SCORE 1512543.581
AT ITER 4060 NEW BEST:: SOT 3007217 SOS 1677200 HAS SOPS 1677200 HAS SOUS 1510573 HAS SOUPS 1510573 WITH SCORE 1512250.2
AT ITER 4062 NEW BEST:: SOT 3006243 SOS 1675740 HAS SOPS 1675740 HAS SOUS 1509113 HAS SOUPS 1509113 WITH SCORE 1510788.74
AT ITER 4063 NEW BEST:: SOT 3006125 SOS 1675622 HAS SOPS 1675622 HAS SOUS 1508995 HAS SOUPS 1508995 WITH SCORE 1510670.622
AT ITER 4071 NEW BEST:: SOT 3006107 SOS 1675550 HAS SOPS 1675550 HAS SOUS 1508959 HAS SOUPS 1508959 WITH SCORE 1510634.55
AT ITER 4085 NEW BEST:: SOT 3006107 SOS 1675550 HAS SOPS 1675550 HAS SOUS 1508738 HAS SOUPS 1508738 WITH SCORE 1510413.55
AT ITER 4091 NEW BEST:: SOT 3006207 SOS 1675347 HAS SOPS 1675347 HAS SOUS 1508681 HAS SOUPS 1508681 WITH SCORE 1510356.347
AT ITER 4092 NEW BEST:: SOT 3006207 SOS 1675347 HAS SOPS 1675347 HAS SOUS 1508175 HAS SOUPS 1508175 WITH SCORE 1509850.347
AT ITER 4095 NEW BEST:: SOT 3005997 SOS 1674507 HAS SOPS 1674507 HAS SOUS 1507545 HAS SOUPS 1507545 WITH SCORE 1509219.507
AT ITER 4099 NEW BEST:: SOT 3005885 SOS 1674379 HAS SOPS 1674379 HAS SOUS 1507544 HAS SOUPS 1507544 WITH SCORE 1509218.379
AT ITER 4101 NEW BEST:: SOT 3005570 SOS 1673749 HAS SOPS 1673749 HAS SOUS 1506912 HAS SOUPS 1506912 WITH SCORE 1508585.749
AT ITER 4113 NEW BEST:: SOT 3005609 SOS 1673098 HAS SOPS 1673098 HAS SOUS 1506800 HAS SOUPS 1506800 WITH SCORE 1508473.098
AT ITER 4115 NEW BEST:: SOT 3005552 SOS 1673041 HAS SOPS 1673041 HAS SOUS 1506743 HAS SOUPS 1506743 WITH SCORE 1508416.041
AT ITER 4120 NEW BEST:: SOT 3005813 SOS 1672398 HAS SOPS 1672398 HAS SOUS 1506291 HAS SOUPS 1506291 WITH SCORE 1507963.398
AT ITER 4121 NEW BEST:: SOT 3005670 SOS 1672255 HAS SOPS 1672255 HAS SOUS 1505661 HAS SOUPS 1505661 WITH SCORE 1507333.255
AT ITER 4122 NEW BEST:: SOT 3005173 SOS 1669922 HAS SOPS 1669922 HAS SOUS 1504742 HAS SOUPS 1504742 WITH SCORE 1506411.922
AT ITER 4125 NEW BEST:: SOT 3005173 SOS 1669922 HAS SOPS 1669922 HAS SOUS 1504740 HAS SOUPS 1504740 WITH SCORE 1506409.922
AT ITER 4127 NEW BEST:: SOT 3005256 SOS 1669539 HAS SOPS 1669539 HAS SOUS 1504387 HAS SOUPS 1504387 WITH SCORE 1506056.539
AT ITER 4129 NEW BEST:: SOT 3005255 SOS 1669538 HAS SOPS 1669538 HAS SOUS 1504385 HAS SOUPS 1504385 WITH SCORE 1506054.538
AT ITER 4141 NEW BEST:: SOT 3005184 SOS 1669467 HAS SOPS 1669467 HAS SOUS 1504314 HAS SOUPS 1504314 WITH SCORE 1505983.467
AT ITER 4151 NEW BEST:: SOT 3005610 SOS 1670031 HAS SOPS 1670031 HAS SOUS 1503270 HAS SOUPS 1503270 WITH SCORE 1504940.031
AT ITER 4153 NEW BEST:: SOT 3005610 SOS 1669984 HAS SOPS 1669984 HAS SOUS 1503270 HAS SOUPS 1503270 WITH SCORE 1504939.984
AT ITER 4156 NEW BEST:: SOT 3005314 SOS 1669777 HAS SOPS 1669777 HAS SOUS 1503063 HAS SOUPS 1503063 WITH SCORE 1504732.777
AT ITER 4161 NEW BEST:: SOT 3005266 SOS 1669537 HAS SOPS 1669537 HAS SOUS 1502967 HAS SOUPS 1502967 WITH SCORE 1504636.537
AT ITER 4169 NEW BEST:: SOT 3005266 SOS 1669437 HAS SOPS 1669437 HAS SOUS 1502967 HAS SOUPS 1502967 WITH SCORE 1504636.437
AT ITER 4176 NEW BEST:: SOT 3005192 SOS 1669215 HAS SOPS 1669215 HAS SOUS 1502745 HAS SOUPS 1502745 WITH SCORE 1504414.215
AT ITER 4177 NEW BEST:: SOT 3005192 SOS 1669215 HAS SOPS 1669215 HAS SOUS 1502743 HAS SOUPS 1502743 WITH SCORE 1504412.215
AT ITER 4182 NEW BEST:: SOT 3005036 SOS 1669181 HAS SOPS 1669181 HAS SOUS 1502709 HAS SOUPS 1502709 WITH SCORE 1504378.181
AT ITER 4183 NEW BEST:: SOT 3005036 SOS 1668977 HAS SOPS 1668977 HAS SOUS 1502505 HAS SOUPS 1502505 WITH SCORE 1504173.977
AT ITER 4186 NEW BEST:: SOT 3004700 SOS 1668641 HAS SOPS 1668641 HAS SOUS 1502247 HAS SOUPS 1502247 WITH SCORE 1503915.641
AT ITER 4188 NEW BEST:: SOT 3002837 SOS 1665154 HAS SOPS 1665154 HAS SOUS 1498760 HAS SOUPS 1498760 WITH SCORE 1500425.154
AT ITER 4189 NEW BEST:: SOT 3002837 SOS 1664832 HAS SOPS 1664832 HAS SOUS 1498760 HAS SOUPS 1498760 WITH SCORE 1500424.832
AT ITER 4192 NEW BEST:: SOT 3003061 SOS 1664796 HAS SOPS 1664796 HAS SOUS 1498724 HAS SOUPS 1498724 WITH SCORE 1500388.796
AT ITER 4194 NEW BEST:: SOT 3002590 SOS 1663657 HAS SOPS 1663657 HAS SOUS 1497455 HAS SOUPS 1497455 WITH SCORE 1499118.657
AT ITER 4199 NEW BEST:: SOT 3002031 SOS 1663098 HAS SOPS 1663098 HAS SOUS 1496896 HAS SOUPS 1496896 WITH SCORE 1498559.098
AT ITER 4200 NEW BEST:: SOT 3001834 SOS 1662705 HAS SOPS 1662705 HAS SOUS 1496695 HAS SOUPS 1496695 WITH SCORE 1498357.705
AT ITER 4210 NEW BEST:: SOT 3001275 SOS 1662107 HAS SOPS 1662107 HAS SOUS 1496434 HAS SOUPS 1496434 WITH SCORE 1498096.107
AT ITER 4226 NEW BEST:: SOT 3001273 SOS 1662065 HAS SOPS 1662065 HAS SOUS 1496392 HAS SOUPS 1496392 WITH SCORE 1498054.065
AT ITER 4228 NEW BEST:: SOT 3001273 SOS 1662065 HAS SOPS 1662065 HAS SOUS 1496279 HAS SOUPS 1496279 WITH SCORE 1497941.065
AT ITER 4233 NEW BEST:: SOT 3001370 SOS 1661630 HAS SOPS 1661630 HAS SOUS 1495844 HAS SOUPS 1495844 WITH SCORE 1497505.63
AT ITER 4235 NEW BEST:: SOT 3001277 SOS 1659412 HAS SOPS 1659412 HAS SOUS 1495433 HAS SOUPS 1495433 WITH SCORE 1497092.412
AT ITER 4236 NEW BEST:: SOT 3001256 SOS 1659391 HAS SOPS 1659391 HAS SOUS 1495412 HAS SOUPS 1495412 WITH SCORE 1497071.391
AT ITER 4237 NEW BEST:: SOT 3001123 SOS 1659258 HAS SOPS 1659258 HAS SOUS 1495279 HAS SOUPS 1495279 WITH SCORE 1496938.258
AT ITER 4246 NEW BEST:: SOT 3001123 SOS 1659165 HAS SOPS 1659165 HAS SOUS 1495203 HAS SOUPS 1495203 WITH SCORE 1496862.165
AT ITER 4249 NEW BEST:: SOT 3000995 SOS 1656647 HAS SOPS 1656647 HAS SOUS 1494092 HAS SOUPS 1494092 WITH SCORE 1495748.647
AT ITER 4253 NEW BEST:: SOT 3000941 SOS 1656539 HAS SOPS 1656539 HAS SOUS 1493984 HAS SOUPS 1493984 WITH SCORE 1495640.539
AT ITER 4254 NEW BEST:: SOT 3000173 SOS 1654890 HAS SOPS 1654890 HAS SOUS 1492343 HAS SOUPS 1492343 WITH SCORE 1493997.89
AT ITER 4270 NEW BEST:: SOT 3000173 SOS 1654799 HAS SOPS 1654799 HAS SOUS 1492252 HAS SOUPS 1492252 WITH SCORE 1493906.799
AT ITER 4275 NEW BEST:: SOT 2999270 SOS 1652791 HAS SOPS 1652791 HAS SOUS 1490241 HAS SOUPS 1490241 WITH SCORE 1491893.791
AT ITER 4280 NEW BEST:: SOT 2999236 SOS 1652187 HAS SOPS 1652187 HAS SOUS 1490201 HAS SOUPS 1490201 WITH SCORE 1491853.187
AT ITER 4281 NEW BEST:: SOT 3000007 SOS 1649968 HAS SOPS 1649968 HAS SOUS 1488819 HAS SOUPS 1488819 WITH SCORE 1490468.968
AT ITER 4289 NEW BEST:: SOT 2999669 SOS 1649101 HAS SOPS 1649101 HAS SOUS 1487952 HAS SOUPS 1487952 WITH SCORE 1489601.101
AT ITER 4299 NEW BEST:: SOT 2999310 SOS 1648525 HAS SOPS 1648525 HAS SOUS 1487554 HAS SOUPS 1487554 WITH SCORE 1489202.525
AT ITER 4311 NEW BEST:: SOT 2998973 SOS 1647956 HAS SOPS 1647956 HAS SOUS 1487021 HAS SOUPS 1487021 WITH SCORE 1488668.956
AT ITER 4316 NEW BEST:: SOT 2998893 SOS 1647796 HAS SOPS 1647796 HAS SOUS 1486861 HAS SOUPS 1486861 WITH SCORE 1488508.796
AT ITER 4334 NEW BEST:: SOT 2998797 SOS 1647706 HAS SOPS 1647706 HAS SOUS 1486771 HAS SOUPS 1486771 WITH SCORE 1488418.706
AT ITER 4336 NEW BEST:: SOT 2998688 SOS 1647190 HAS SOPS 1647190 HAS SOUS 1486767 HAS SOUPS 1486767 WITH SCORE 1488414.19
AT ITER 4344 NEW BEST:: SOT 2997765 SOS 1646267 HAS SOPS 1646267 HAS SOUS 1485844 HAS SOUPS 1485844 WITH SCORE 1487490.267
AT ITER 4359 NEW BEST:: SOT 2997423 SOS 1645925 HAS SOPS 1645925 HAS SOUS 1485502 HAS SOUPS 1485502 WITH SCORE 1487147.925
AT ITER 4362 NEW BEST:: SOT 2996261 SOS 1644182 HAS SOPS 1644182 HAS SOUS 1483759 HAS SOUPS 1483759 WITH SCORE 1485403.182
AT ITER 4373 NEW BEST:: SOT 2996259 SOS 1644180 HAS SOPS 1644180 HAS SOUS 1483757 HAS SOUPS 1483757 WITH SCORE 1485401.18
AT ITER 4374 NEW BEST:: SOT 2996259 SOS 1643253 HAS SOPS 1643253 HAS SOUS 1483533 HAS SOUPS 1483533 WITH SCORE 1485176.253
AT ITER 4379 NEW BEST:: SOT 2996089 SOS 1642387 HAS SOPS 1642387 HAS SOUS 1482964 HAS SOUPS 1482964 WITH SCORE 1484606.387
AT ITER 4387 NEW BEST:: SOT 2996027 SOS 1641879 HAS SOPS 1641879 HAS SOUS 1482655 HAS SOUPS 1482655 WITH SCORE 1484296.879
AT ITER 4388 NEW BEST:: SOT 2995806 SOS 1641658 HAS SOPS 1641658 HAS SOUS 1482434 HAS SOUPS 1482434 WITH SCORE 1484075.658
AT ITER 4399 NEW BEST:: SOT 2995647 SOS 1641442 HAS SOPS 1641442 HAS SOUS 1482218 HAS SOUPS 1482218 WITH SCORE 1483859.442
AT ITER 4404 NEW BEST:: SOT 2995607 SOS 1640591 HAS SOPS 1640591 HAS SOUS 1481651 HAS SOUPS 1481651 WITH SCORE 1483291.591
AT ITER 4405 NEW BEST:: SOT 2994808 SOS 1640295 HAS SOPS 1640295 HAS SOUS 1481624 HAS SOUPS 1481624 WITH SCORE 1483264.295
AT ITER 4407 NEW BEST:: SOT 2994828 SOS 1640223 HAS SOPS 1640223 HAS SOUS 1481620 HAS SOUPS 1481620 WITH SCORE 1483260.223
AT ITER 4410 NEW BEST:: SOT 2994502 SOS 1639617 HAS SOPS 1639617 HAS SOUS 1481014 HAS SOUPS 1481014 WITH SCORE 1482653.617
AT ITER 4417 NEW BEST:: SOT 2994308 SOS 1639423 HAS SOPS 1639423 HAS SOUS 1480820 HAS SOUPS 1480820 WITH SCORE 1482459.423
AT ITER 4422 NEW BEST:: SOT 2994112 SOS 1638902 HAS SOPS 1638902 HAS SOUS 1480299 HAS SOUPS 1480299 WITH SCORE 1481937.902
AT ITER 4425 NEW BEST:: SOT 2994008 SOS 1638746 HAS SOPS 1638746 HAS SOUS 1480143 HAS SOUPS 1480143 WITH SCORE 1481781.746
AT ITER 4430 NEW BEST:: SOT 2993245 SOS 1637706 HAS SOPS 1637706 HAS SOUS 1479186 HAS SOUPS 1479186 WITH SCORE 1480823.706
AT ITER 4433 NEW BEST:: SOT 2992957 SOS 1637418 HAS SOPS 1637418 HAS SOUS 1478898 HAS SOUPS 1478898 WITH SCORE 1480535.418
AT ITER 4435 NEW BEST:: SOT 2993665 SOS 1637268 HAS SOPS 1637268 HAS SOUS 1478558 HAS SOUPS 1478558 WITH SCORE 1480195.268
AT ITER 4441 NEW BEST:: SOT 2993230 SOS 1636833 HAS SOPS 1636833 HAS SOUS 1478268 HAS SOUPS 1478268 WITH SCORE 1479904.833
AT ITER 4446 NEW BEST:: SOT 2993229 SOS 1636815 HAS SOPS 1636815 HAS SOUS 1478264 HAS SOUPS 1478264 WITH SCORE 1479900.815
AT ITER 4449 NEW BEST:: SOT 2992527 SOS 1636113 HAS SOPS 1636113 HAS SOUS 1478256 HAS SOUPS 1478256 WITH SCORE 1479892.113
AT ITER 4452 NEW BEST:: SOT 2992316 SOS 1635161 HAS SOPS 1635161 HAS SOUS 1477304 HAS SOUPS 1477304 WITH SCORE 1478939.161
AT ITER 4456 NEW BEST:: SOT 2992570 SOS 1635415 HAS SOPS 1635415 HAS SOUS 1477299 HAS SOUPS 1477299 WITH SCORE 1478934.415
AT ITER 4459 NEW BEST:: SOT 2992521 SOS 1635317 HAS SOPS 1635317 HAS SOUS 1477200 HAS SOUPS 1477200 WITH SCORE 1478835.317
AT ITER 4460 NEW BEST:: SOT 2992577 SOS 1635315 HAS SOPS 1635315 HAS SOUS 1477198 HAS SOUPS 1477198 WITH SCORE 1478833.315
AT ITER 4466 NEW BEST:: SOT 2992439 SOS 1635037 HAS SOPS 1635037 HAS SOUS 1476920 HAS SOUPS 1476920 WITH SCORE 1478555.037
AT ITER 4468 NEW BEST:: SOT 2992347 SOS 1634285 HAS SOPS 1634285 HAS SOUS 1476167 HAS SOUPS 1476167 WITH SCORE 1477801.285
AT ITER 4469 NEW BEST:: SOT 2992102 SOS 1633498 HAS SOPS 1633498 HAS SOUS 1475380 HAS SOUPS 1475380 WITH SCORE 1477013.498
AT ITER 4480 NEW BEST:: SOT 2991939 SOS 1633600 HAS SOPS 1633600 HAS SOUS 1475340 HAS SOUPS 1475340 WITH SCORE 1476973.6
AT ITER 4484 NEW BEST:: SOT 2991939 SOS 1633528 HAS SOPS 1633528 HAS SOUS 1475335 HAS SOUPS 1475335 WITH SCORE 1476968.528
AT ITER 4486 NEW BEST:: SOT 2990469 SOS 1632349 HAS SOPS 1632349 HAS SOUS 1474156 HAS SOUPS 1474156 WITH SCORE 1475788.349
AT ITER 4492 NEW BEST:: SOT 2990209 SOS 1632089 HAS SOPS 1632089 HAS SOUS 1473896 HAS SOUPS 1473896 WITH SCORE 1475528.089
AT ITER 4507 NEW BEST:: SOT 2990209 SOS 1632024 HAS SOPS 1632024 HAS SOUS 1473831 HAS SOUPS 1473831 WITH SCORE 1475463.024
AT ITER 4513 NEW BEST:: SOT 2990363 SOS 1631128 HAS SOPS 1631128 HAS SOUS 1473448 HAS SOUPS 1473448 WITH SCORE 1475079.128
AT ITER 4514 NEW BEST:: SOT 2989838 SOS 1630448 HAS SOPS 1630448 HAS SOUS 1473070 HAS SOUPS 1473070 WITH SCORE 1474700.448
AT ITER 4518 NEW BEST:: SOT 2989339 SOS 1629949 HAS SOPS 1629949 HAS SOUS 1472571 HAS SOUPS 1472571 WITH SCORE 1474200.949
AT ITER 4520 NEW BEST:: SOT 2989339 SOS 1629523 HAS SOPS 1629523 HAS SOUS 1472145 HAS SOUPS 1472145 WITH SCORE 1473774.523
AT ITER 4523 NEW BEST:: SOT 2989339 SOS 1629523 HAS SOPS 1629523 HAS SOUS 1471949 HAS SOUPS 1471949 WITH SCORE 1473578.523
AT ITER 4531 NEW BEST:: SOT 2989323 SOS 1629499 HAS SOPS 1629499 HAS SOUS 1471925 HAS SOUPS 1471925 WITH SCORE 1473554.499
AT ITER 4537 NEW BEST:: SOT 2987665 SOS 1627888 HAS SOPS 1627888 HAS SOUS 1470267 HAS SOUPS 1470267 WITH SCORE 1471894.888
AT ITER 4542 NEW BEST:: SOT 2986679 SOS 1626953 HAS SOPS 1626953 HAS SOUS 1469315 HAS SOUPS 1469315 WITH SCORE 1470941.953
AT ITER 4546 NEW BEST:: SOT 2986510 SOS 1626784 HAS SOPS 1626784 HAS SOUS 1469146 HAS SOUPS 1469146 WITH SCORE 1470772.784
AT ITER 4549 NEW BEST:: SOT 2986402 SOS 1626676 HAS SOPS 1626676 HAS SOUS 1469038 HAS SOUPS 1469038 WITH SCORE 1470664.676
AT ITER 4553 NEW BEST:: SOT 2985182 SOS 1625240 HAS SOPS 1625240 HAS SOUS 1467602 HAS SOUPS 1467602 WITH SCORE 1469227.24
AT ITER 4555 NEW BEST:: SOT 2985648 SOS 1625290 HAS SOPS 1625290 HAS SOUS 1466695 HAS SOUPS 1466695 WITH SCORE 1468320.29
AT ITER 4568 NEW BEST:: SOT 2984430 SOS 1623878 HAS SOPS 1623878 HAS SOUS 1465283 HAS SOUPS 1465283 WITH SCORE 1466906.878
AT ITER 4569 NEW BEST:: SOT 2984144 SOS 1623540 HAS SOPS 1623540 HAS SOUS 1464567 HAS SOUPS 1464567 WITH SCORE 1466190.54
AT ITER 4575 NEW BEST:: SOT 2984144 SOS 1623444 HAS SOPS 1623444 HAS SOUS 1464567 HAS SOUPS 1464567 WITH SCORE 1466190.444
AT ITER 4576 NEW BEST:: SOT 2984729 SOS 1623172 HAS SOPS 1623172 HAS SOUS 1464522 HAS SOUPS 1464522 WITH SCORE 1466145.172
AT ITER 4577 NEW BEST:: SOT 2984643 SOS 1622986 HAS SOPS 1622986 HAS SOUS 1464250 HAS SOUPS 1464250 WITH SCORE 1465872.986
AT ITER 4578 NEW BEST:: SOT 2984551 SOS 1623013 HAS SOPS 1623013 HAS SOUS 1463943 HAS SOUPS 1463943 WITH SCORE 1465566.013
AT ITER 4583 NEW BEST:: SOT 2984411 SOS 1622698 HAS SOPS 1622698 HAS SOUS 1463739 HAS SOUPS 1463739 WITH SCORE 1465361.698
AT ITER 4586 NEW BEST:: SOT 2984206 SOS 1622355 HAS SOPS 1622355 HAS SOUS 1463566 HAS SOUPS 1463566 WITH SCORE 1465188.355
AT ITER 4587 NEW BEST:: SOT 2984206 SOS 1622318 HAS SOPS 1622318 HAS SOUS 1463529 HAS SOUPS 1463529 WITH SCORE 1465151.318
AT ITER 4592 NEW BEST:: SOT 2984205 SOS 1621444 HAS SOPS 1621444 HAS SOUS 1463527 HAS SOUPS 1463527 WITH SCORE 1465148.444
AT ITER 4617 NEW BEST:: SOT 2983040 SOS 1617257 HAS SOPS 1617257 HAS SOUS 1460647 HAS SOUPS 1460647 WITH SCORE 1462264.257
AT ITER 4626 NEW BEST:: SOT 2983039 SOS 1616914 HAS SOPS 1616914 HAS SOUS 1460631 HAS SOUPS 1460631 WITH SCORE 1462247.914
AT ITER 4627 NEW BEST:: SOT 2982795 SOS 1616548 HAS SOPS 1616548 HAS SOUS 1460265 HAS SOUPS 1460265 WITH SCORE 1461881.548
AT ITER 4632 NEW BEST:: SOT 2982518 SOS 1616271 HAS SOPS 1616271 HAS SOUS 1460134 HAS SOUPS 1460134 WITH SCORE 1461750.271
AT ITER 4633 NEW BEST:: SOT 2982437 SOS 1616190 HAS SOPS 1616190 HAS SOUS 1459885 HAS SOUPS 1459885 WITH SCORE 1461501.19
AT ITER 4635 NEW BEST:: SOT 2982130 SOS 1615883 HAS SOPS 1615883 HAS SOUS 1459578 HAS SOUPS 1459578 WITH SCORE 1461193.883
AT ITER 4639 NEW BEST:: SOT 2982479 SOS 1615412 HAS SOPS 1615412 HAS SOUS 1459107 HAS SOUPS 1459107 WITH SCORE 1460722.412
AT ITER 4642 NEW BEST:: SOT 2982282 SOS 1615215 HAS SOPS 1615215 HAS SOUS 1458910 HAS SOUPS 1458910 WITH SCORE 1460525.215
AT ITER 4646 NEW BEST:: SOT 2981708 SOS 1614641 HAS SOPS 1614641 HAS SOUS 1458910 HAS SOUPS 1458910 WITH SCORE 1460524.641
AT ITER 4658 NEW BEST:: SOT 2981852 SOS 1614740 HAS SOPS 1614740 HAS SOUS 1458510 HAS SOUPS 1458510 WITH SCORE 1460124.74
AT ITER 4661 NEW BEST:: SOT 2982225 SOS 1615113 HAS SOPS 1615113 HAS SOUS 1458262 HAS SOUPS 1458262 WITH SCORE 1459877.113
AT ITER 4668 NEW BEST:: SOT 2982225 SOS 1614993 HAS SOPS 1614993 HAS SOUS 1458262 HAS SOUPS 1458262 WITH SCORE 1459876.993
AT ITER 4669 NEW BEST:: SOT 2981875 SOS 1614257 HAS SOPS 1614257 HAS SOUS 1457526 HAS SOUPS 1457526 WITH SCORE 1459140.257
AT ITER 4674 NEW BEST:: SOT 2981875 SOS 1613480 HAS SOPS 1613480 HAS SOUS 1457267 HAS SOUPS 1457267 WITH SCORE 1458880.48
AT ITER 4678 NEW BEST:: SOT 2981760 SOS 1613365 HAS SOPS 1613365 HAS SOUS 1457152 HAS SOUPS 1457152 WITH SCORE 1458765.365
AT ITER 4679 NEW BEST:: SOT 2981016 SOS 1612681 HAS SOPS 1612681 HAS SOUS 1456779 HAS SOUPS 1456779 WITH SCORE 1458391.681
AT ITER 4684 NEW BEST:: SOT 2981016 SOS 1610084 HAS SOPS 1610084 HAS SOUS 1455702 HAS SOUPS 1455702 WITH SCORE 1457312.084
AT ITER 4689 NEW BEST:: SOT 2980833 SOS 1609901 HAS SOPS 1609901 HAS SOUS 1455519 HAS SOUPS 1455519 WITH SCORE 1457128.901
AT ITER 4696 NEW BEST:: SOT 2980427 SOS 1607931 HAS SOPS 1607931 HAS SOUS 1454107 HAS SOUPS 1454107 WITH SCORE 1455714.931
AT ITER 4697 NEW BEST:: SOT 2980291 SOS 1607591 HAS SOPS 1607591 HAS SOUS 1453991 HAS SOUPS 1453991 WITH SCORE 1455598.591
AT ITER 4703 NEW BEST:: SOT 2979360 SOS 1606660 HAS SOPS 1606660 HAS SOUS 1453060 HAS SOUPS 1453060 WITH SCORE 1454666.66
AT ITER 4706 NEW BEST:: SOT 2979515 SOS 1606628 HAS SOPS 1606628 HAS SOUS 1453028 HAS SOUPS 1453028 WITH SCORE 1454634.628
AT ITER 4722 NEW BEST:: SOT 2979403 SOS 1606516 HAS SOPS 1606516 HAS SOUS 1452916 HAS SOUPS 1452916 WITH SCORE 1454522.516
AT ITER 4729 NEW BEST:: SOT 2979395 SOS 1606508 HAS SOPS 1606508 HAS SOUS 1452907 HAS SOUPS 1452907 WITH SCORE 1454513.508
AT ITER 4730 NEW BEST:: SOT 2979421 SOS 1605510 HAS SOPS 1605510 HAS SOUS 1451582 HAS SOUPS 1451582 WITH SCORE 1453187.51
AT ITER 4733 NEW BEST:: SOT 2979051 SOS 1604537 HAS SOPS 1604537 HAS SOUS 1450603 HAS SOUPS 1450603 WITH SCORE 1452207.537
AT ITER 4735 NEW BEST:: SOT 2979051 SOS 1604498 HAS SOPS 1604498 HAS SOUS 1450564 HAS SOUPS 1450564 WITH SCORE 1452168.498
AT ITER 4748 NEW BEST:: SOT 2979049 SOS 1604496 HAS SOPS 1604496 HAS SOUS 1450562 HAS SOUPS 1450562 WITH SCORE 1452166.496
AT ITER 4749 NEW BEST:: SOT 2979036 SOS 1604483 HAS SOPS 1604483 HAS SOUS 1450549 HAS SOUPS 1450549 WITH SCORE 1452153.483
AT ITER 4767 NEW BEST:: SOT 2979068 SOS 1604008 HAS SOPS 1604008 HAS SOUS 1450042 HAS SOUPS 1450042 WITH SCORE 1451646.008
AT ITER 4770 NEW BEST:: SOT 2979068 SOS 1602989 HAS SOPS 1602989 HAS SOUS 1450042 HAS SOUPS 1450042 WITH SCORE 1451644.989
AT ITER 4775 NEW BEST:: SOT 2978967 SOS 1602684 HAS SOPS 1602684 HAS SOUS 1449737 HAS SOUPS 1449737 WITH SCORE 1451339.684
AT ITER 4779 NEW BEST:: SOT 2978752 SOS 1602821 HAS SOPS 1602821 HAS SOUS 1449324 HAS SOUPS 1449324 WITH SCORE 1450926.821
AT ITER 4782 NEW BEST:: SOT 2978544 SOS 1602539 HAS SOPS 1602539 HAS SOUS 1449042 HAS SOUPS 1449042 WITH SCORE 1450644.539
AT ITER 4784 NEW BEST:: SOT 2979339 SOS 1601566 HAS SOPS 1601566 HAS SOUS 1448649 HAS SOUPS 1448649 WITH SCORE 1450250.566
AT ITER 4808 NEW BEST:: SOT 2978793 SOS 1601445 HAS SOPS 1601445 HAS SOUS 1448528 HAS SOUPS 1448528 WITH SCORE 1450129.445
AT ITER 4810 NEW BEST:: SOT 2978042 SOS 1600848 HAS SOPS 1600848 HAS SOUS 1448284 HAS SOUPS 1448284 WITH SCORE 1449884.848
AT ITER 4812 NEW BEST:: SOT 2978179 SOS 1600047 HAS SOPS 1600047 HAS SOUS 1447483 HAS SOUPS 1447483 WITH SCORE 1449083.047
AT ITER 4815 NEW BEST:: SOT 2977852 SOS 1598363 HAS SOPS 1598363 HAS SOUS 1446770 HAS SOUPS 1446770 WITH SCORE 1448368.363
AT ITER 4819 NEW BEST:: SOT 2977852 SOS 1598317 HAS SOPS 1598317 HAS SOUS 1446724 HAS SOUPS 1446724 WITH SCORE 1448322.317
AT ITER 4820 NEW BEST:: SOT 2977660 SOS 1598123 HAS SOPS 1598123 HAS SOUS 1446530 HAS SOUPS 1446530 WITH SCORE 1448128.123
AT ITER 4830 NEW BEST:: SOT 2977357 SOS 1597649 HAS SOPS 1597649 HAS SOUS 1446056 HAS SOUPS 1446056 WITH SCORE 1447653.649
AT ITER 4834 NEW BEST:: SOT 2977261 SOS 1597385 HAS SOPS 1597385 HAS SOUS 1445792 HAS SOUPS 1445792 WITH SCORE 1447389.385
AT ITER 4835 NEW BEST:: SOT 2976861 SOS 1596412 HAS SOPS 1596412 HAS SOUS 1444809 HAS SOUPS 1444809 WITH SCORE 1446405.412
AT ITER 4840 NEW BEST:: SOT 2976466 SOS 1596016 HAS SOPS 1596016 HAS SOUS 1444413 HAS SOUPS 1444413 WITH SCORE 1446009.016
AT ITER 4842 NEW BEST:: SOT 2976409 SOS 1595731 HAS SOPS 1595731 HAS SOUS 1444299 HAS SOUPS 1444299 WITH SCORE 1445894.731
AT ITER 4848 NEW BEST:: SOT 2976021 SOS 1595343 HAS SOPS 1595343 HAS SOUS 1443911 HAS SOUPS 1443911 WITH SCORE 1445506.343
AT ITER 4849 NEW BEST:: SOT 2975494 SOS 1594794 HAS SOPS 1594794 HAS SOUS 1443830 HAS SOUPS 1443830 WITH SCORE 1445424.794
AT ITER 4852 NEW BEST:: SOT 2974878 SOS 1596142 HAS SOPS 1596142 HAS SOUS 1442709 HAS SOUPS 1442709 WITH SCORE 1444305.142
AT ITER 4854 NEW BEST:: SOT 2974878 SOS 1595853 HAS SOPS 1595853 HAS SOUS 1442420 HAS SOUPS 1442420 WITH SCORE 1444015.853
AT ITER 4858 NEW BEST:: SOT 2974007 SOS 1594982 HAS SOPS 1594982 HAS SOUS 1441549 HAS SOUPS 1441549 WITH SCORE 1443143.982
AT ITER 4861 NEW BEST:: SOT 2973816 SOS 1594526 HAS SOPS 1594526 HAS SOUS 1441137 HAS SOUPS 1441137 WITH SCORE 1442731.526
AT ITER 4862 NEW BEST:: SOT 2973816 SOS 1594526 HAS SOPS 1594526 HAS SOUS 1441124 HAS SOUPS 1441124 WITH SCORE 1442718.526
AT ITER 4877 NEW BEST:: SOT 2973730 SOS 1594440 HAS SOPS 1594440 HAS SOUS 1441038 HAS SOUPS 1441038 WITH SCORE 1442632.44
AT ITER 4887 NEW BEST:: SOT 2973807 SOS 1592948 HAS SOPS 1592948 HAS SOUS 1440182 HAS SOUPS 1440182 WITH SCORE 1441774.948
AT ITER 4895 NEW BEST:: SOT 2973483 SOS 1592620 HAS SOPS 1592620 HAS SOUS 1439854 HAS SOUPS 1439854 WITH SCORE 1441446.62
AT ITER 4909 NEW BEST:: SOT 2973482 SOS 1592604 HAS SOPS 1592604 HAS SOUS 1439838 HAS SOUPS 1439838 WITH SCORE 1441430.604
AT ITER 4910 NEW BEST:: SOT 2973267 SOS 1592389 HAS SOPS 1592389 HAS SOUS 1439623 HAS SOUPS 1439623 WITH SCORE 1441215.389
AT ITER 4916 NEW BEST:: SOT 2973455 SOS 1592615 HAS SOPS 1592615 HAS SOUS 1439464 HAS SOUPS 1439464 WITH SCORE 1441056.615
AT ITER 4928 NEW BEST:: SOT 2973460 SOS 1592197 HAS SOPS 1592197 HAS SOUS 1439046 HAS SOUPS 1439046 WITH SCORE 1440638.197
AT ITER 4934 NEW BEST:: SOT 2973195 SOS 1591932 HAS SOPS 1591932 HAS SOUS 1439004 HAS SOUPS 1439004 WITH SCORE 1440595.932
AT ITER 4956 NEW BEST:: SOT 2972433 SOS 1591533 HAS SOPS 1591533 HAS SOUS 1438587 HAS SOUPS 1438587 WITH SCORE 1440178.533
AT ITER 4959 NEW BEST:: SOT 2972585 SOS 1591685 HAS SOPS 1591685 HAS SOUS 1438391 HAS SOUPS 1438391 WITH SCORE 1439982.685
AT ITER 4964 NEW BEST:: SOT 2972298 SOS 1590815 HAS SOPS 1590815 HAS SOUS 1437521 HAS SOUPS 1437521 WITH SCORE 1439111.815
AT ITER 4973 NEW BEST:: SOT 2972242 SOS 1590759 HAS SOPS 1590759 HAS SOUS 1437465 HAS SOUPS 1437465 WITH SCORE 1439055.759
AT ITER 4996 NEW BEST:: SOT 2972242 SOS 1590109 HAS SOPS 1590109 HAS SOUS 1437465 HAS SOUPS 1437465 WITH SCORE 1439055.109
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-00 ( (AF( (AG( (! ((potential((tk(P391)>=1) & (tk(P425)>=1))))))))) | ((potential((tk(P32)>=1) & (tk(P47)>=1)))) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-01 (! (EG( (EF( ( ((potential((tk(P1219)>=1) & (tk(P1226)>=1)))) & ((potential((tk(P1342)>=1) & (tk(P1353)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-02 (! ( (EF( (AF( ((potential((tk(P1389)>=1) & (tk(P1403)>=1)))))))) | ( (EX( ( ((potential((tk(P931)>=1) & (tk(P948)>=1)))) | ((potential((tk(P1117)>=1) & (tk(P1128)>=1)))) ))) & ( (AX( ((potential((tk(P1564)>=1) & (tk(P1578)>=1)))))) & (EG( ((potential((tk(P2000)>=1)))))) ) ) ))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-03 (EF( (AG( ((potential((tk(P291)>=1) & (tk(P325)>=1))))))))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-04 (EF( (EF( ( ( ((potential((tk(P902)>=1)))) | ((potential((tk(P2268)>=1) & (tk(P2270)>=1)))) ) & ( ((potential((tk(P806)>=1) & (tk(P823)>=1)))) & ((potential((tk(P2480)>=1) & (tk(P2499)>=1)))) ) )))))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-05 ( ( ((potential((tk(P1030)>=1) & (tk(P1049)>=1)))) | (! ( ( (! ((potential((tk(P1327)>=1))))) & ( ((potential((tk(P1783)>=1) & (tk(P1785)>=1)))) | ((potential((tk(P2142)>=1) & (tk(P2153)>=1)))) ) ) | (! ((potential((tk(P2075)>=1))))) )) ) | (EU( (EF( ((potential((tk(P1577)>=1)))))) , ((potential((tk(P1066)>=1) & (tk(P1100)>=1)))) )) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-06 ( ( ( ( ((potential((tk(P246)>=1) & (tk(P261)>=1)))) & ((potential((tk(P234)>=1) & (tk(P251)>=1)))) ) & (AF( ( ((potential((tk(P812)>=1) & (tk(P822)>=1)))) | ((potential((tk(P1931)>=1) & (tk(P1948)>=1)))) ))) ) & ( ( ( ((potential((tk(P1862)>=1) & (tk(P1872)>=1)))) | ((potential((tk(P791)>=1) & (tk(P825)>=1)))) ) & (AF( ((potential((tk(P1)>=1)))))) ) & ((potential((tk(P1871)>=1) & (tk(P1886)>=1)))) ) ) | (EU( ( ( ((potential((tk(P162)>=1) & (tk(P172)>=1)))) & ((potential((tk(P581)>=1) & (tk(P598)>=1)))) ) | ( ((potential((tk(P1279)>=1) & (tk(P1302)>=1)))) & ((potential((tk(P1996)>=1) & (tk(P2011)>=1)))) ) ) , (EF( ((potential((tk(P1093)>=1) & (tk(P1095)>=1)))))) )) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-07 ( ( ((potential((tk(P1775)>=1)))) | (EF( ( ( ((potential((tk(P1742)>=1) & (tk(P1753)>=1)))) & ((potential((tk(P1858)>=1) & (tk(P1860)>=1)))) ) & ((potential((tk(P2037)>=1) & (tk(P2047)>=1)))) ))) ) | (EF( (EX( ( ((potential((tk(P2473)>=1)))) & ((potential((tk(P1400)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-08 ( ((potential((tk(P1048)>=1)))) | (! (AG( ( ( ((potential((tk(P231)>=1) & (tk(P248)>=1)))) | ((potential((tk(P2227)>=1)))) ) | (! ((potential((tk(P1539)>=1) & (tk(P1553)>=1))))) )))) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-09 (AX( ( ( (EX( ((potential((tk(P2014)>=1) & (tk(P2028)>=1)))))) & ((potential((tk(P1471)>=1) & (tk(P1486)>=1)))) ) | (AG( (! ((potential((tk(P754)>=1) & (tk(P777)>=1))))))) )))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-10 ( (EF( (EX( ( ((potential((tk(P484)>=1) & (tk(P501)>=1)))) | ((potential((tk(P1558)>=1) & (tk(P1560)>=1)))) ))))) & ( ( (EF( ( ((potential((tk(P564)>=1) & (tk(P578)>=1)))) | ((potential((tk(P630)>=1) & (tk(P649)>=1)))) ))) | ( (EX( ((potential((tk(P1557)>=1) & (tk(P1572)>=1)))))) & (EG( ((potential((tk(P425)>=1)))))) ) ) | (! (! ( (! ((potential((tk(P121)>=1))))) | ( ((potential((tk(P1109)>=1) & (tk(P1126)>=1)))) & ((potential((tk(P662)>=1) & (tk(P672)>=1)))) ) ))) ) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-11 ( ((potential((tk(P2412)>=1) & (tk(P2422)>=1)))) | ( ((potential((tk(P1231)>=1) & (tk(P1248)>=1)))) | ( (AG( (! ((potential((tk(P221)>=1) & (tk(P236)>=1))))))) & (! ((potential((tk(P1007)>=1) & (tk(P1022)>=1))))) ) ) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-12 (AG( (! (EF( ((potential((tk(P508)>=1) & (tk(P510)>=1)))))))))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-13 ( (EF( ((potential((tk(P294)>=1) & (tk(P301)>=1)))))) & (! ( (EF( ( ((potential((tk(P1483)>=1) & (tk(P1485)>=1)))) & ((potential((tk(P329)>=1) & (tk(P352)>=1)))) ))) | (EU( ((potential((tk(P1084)>=1) & (tk(P1101)>=1)))) , ((potential((tk(P792)>=1) & (tk(P803)>=1)))) )) )) )
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-14 (EG( (! (EF( ( ((potential((tk(P1293)>=1) & (tk(P1295)>=1)))) & ((potential((tk(P893)>=1) & (tk(P895)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-100A-CTLFireability-15 (! ( (! ( (EG( ((potential((tk(P1852)>=1)))))) & (AX( ((potential((tk(P2408)>=1) & (tk(P2410)>=1)))))) )) & (! ( (EF( ((potential((tk(P2237)>=1) & (tk(P2247)>=1)))))) | (EX( ((potential((tk(P994)>=1) & (tk(P1001)>=1)))))) )) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-100A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-100A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469900732"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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