About the Execution of smart for Dekker-PT-100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.670 | 3600000.00 | 3600031.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.r063-tajo-158922807300340.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 Dekker-PT-100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300340
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 3.2K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 5.9M Apr 27 14:36 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 Dekker-PT-100-CTLFireability-00
FORMULA_NAME Dekker-PT-100-CTLFireability-01
FORMULA_NAME Dekker-PT-100-CTLFireability-02
FORMULA_NAME Dekker-PT-100-CTLFireability-03
FORMULA_NAME Dekker-PT-100-CTLFireability-04
FORMULA_NAME Dekker-PT-100-CTLFireability-05
FORMULA_NAME Dekker-PT-100-CTLFireability-06
FORMULA_NAME Dekker-PT-100-CTLFireability-07
FORMULA_NAME Dekker-PT-100-CTLFireability-08
FORMULA_NAME Dekker-PT-100-CTLFireability-09
FORMULA_NAME Dekker-PT-100-CTLFireability-10
FORMULA_NAME Dekker-PT-100-CTLFireability-11
FORMULA_NAME Dekker-PT-100-CTLFireability-12
FORMULA_NAME Dekker-PT-100-CTLFireability-13
FORMULA_NAME Dekker-PT-100-CTLFireability-14
FORMULA_NAME Dekker-PT-100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589361421126
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 100
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: 500 places, 10200 transitions, 80200 arcs.
AT ITER 0 NEW BEST:: SOT 4569006 SOS 4210153 HAS SOPS 4008553 HAS SOUS 3867151 HAS SOUPS 3827251 WITH SCORE 3831461.153
AT ITER 1 NEW BEST:: SOT 4569006 SOS 4209381 HAS SOPS 4002998 HAS SOUS 3856758 HAS SOUPS 3816913 WITH SCORE 3821122.381
AT ITER 2 NEW BEST:: SOT 4569006 SOS 4207945 HAS SOPS 3993176 HAS SOUS 3820928 HAS SOUPS 3781359 WITH SCORE 3785566.945
AT ITER 3 NEW BEST:: SOT 4550027 SOS 4204981 HAS SOPS 3964198 HAS SOUS 3758179 HAS SOUPS 3718638 WITH SCORE 3722842.981
AT ITER 4 NEW BEST:: SOT 4538591 SOS 4193656 HAS SOPS 3952762 HAS SOUS 3747034 HAS SOUPS 3707202 WITH SCORE 3711395.656
AT ITER 5 NEW BEST:: SOT 4529379 SOS 4184444 HAS SOPS 3943550 HAS SOUS 3737728 HAS SOUPS 3697990 WITH SCORE 3702174.444
AT ITER 6 NEW BEST:: SOT 4529379 SOS 4177326 HAS SOPS 3934056 HAS SOUS 3725764 HAS SOUPS 3686120 WITH SCORE 3690297.326
AT ITER 8 NEW BEST:: SOT 4509832 SOS 4157779 HAS SOPS 3914509 HAS SOUS 3706292 HAS SOUPS 3666573 WITH SCORE 3670730.779
AT ITER 10 NEW BEST:: SOT 4498965 SOS 4146487 HAS SOPS 3898491 HAS SOUS 3649739 HAS SOUPS 3610143 WITH SCORE 3614289.487
AT ITER 13 NEW BEST:: SOT 4485931 SOS 4133453 HAS SOPS 3885358 HAS SOUS 3636571 HAS SOUPS 3596911 WITH SCORE 3601044.453
AT ITER 14 NEW BEST:: SOT 4476038 SOS 4123560 HAS SOPS 3875465 HAS SOUS 3626678 HAS SOUPS 3587018 WITH SCORE 3591141.56
AT ITER 15 NEW BEST:: SOT 4457152 SOS 4104674 HAS SOPS 3856480 HAS SOUS 3607599 HAS SOUPS 3567934 WITH SCORE 3572038.674
AT ITER 16 NEW BEST:: SOT 4457152 SOS 4098844 HAS SOPS 3853854 HAS SOUS 3593551 HAS SOUPS 3554058 WITH SCORE 3558156.844
AT ITER 17 NEW BEST:: SOT 4438194 SOS 4079886 HAS SOPS 3834797 HAS SOUS 3574399 HAS SOUPS 3534902 WITH SCORE 3538981.886
AT ITER 22 NEW BEST:: SOT 4438259 SOS 4078356 HAS SOPS 3825029 HAS SOUS 3549594 HAS SOUPS 3510263 WITH SCORE 3514341.356
AT ITER 23 NEW BEST:: SOT 4424453 SOS 4064550 HAS SOPS 3811124 HAS SOUS 3535646 HAS SOUPS 3496259 WITH SCORE 3500323.55
AT ITER 27 NEW BEST:: SOT 4424969 SOS 4061294 HAS SOPS 3801810 HAS SOUS 3503275 HAS SOUPS 3464156 WITH SCORE 3468217.294
AT ITER 28 NEW BEST:: SOT 4424969 SOS 4060508 HAS SOPS 3797164 HAS SOUS 3494723 HAS SOUPS 3455650 WITH SCORE 3459710.508
AT ITER 30 NEW BEST:: SOT 4424969 SOS 4060508 HAS SOPS 3797095 HAS SOUS 3494585 HAS SOUPS 3455512 WITH SCORE 3459572.508
AT ITER 31 NEW BEST:: SOT 4416573 SOS 4052112 HAS SOPS 3788699 HAS SOUS 3486189 HAS SOUPS 3447116 WITH SCORE 3451168.112
AT ITER 32 NEW BEST:: SOT 4416573 SOS 4052112 HAS SOPS 3788659 HAS SOUS 3486109 HAS SOUPS 3447036 WITH SCORE 3451088.112
AT ITER 33 NEW BEST:: SOT 4403834 SOS 4039373 HAS SOPS 3775920 HAS SOUS 3473535 HAS SOUPS 3434297 WITH SCORE 3438336.373
AT ITER 35 NEW BEST:: SOT 4403849 SOS 4035895 HAS SOPS 3772501 HAS SOUS 3455094 HAS SOUPS 3415823 WITH SCORE 3419858.895
AT ITER 36 NEW BEST:: SOT 4403749 SOS 4035795 HAS SOPS 3772303 HAS SOUS 3454797 HAS SOUPS 3415527 WITH SCORE 3419562.795
AT ITER 37 NEW BEST:: SOT 4396400 SOS 4025103 HAS SOPS 3760510 HAS SOUS 3401353 HAS SOUPS 3362241 WITH SCORE 3366266.103
AT ITER 38 NEW BEST:: SOT 4379043 SOS 4007746 HAS SOPS 3743054 HAS SOUS 3383798 HAS SOUPS 3344686 WITH SCORE 3348693.746
AT ITER 39 NEW BEST:: SOT 4380542 SOS 4006584 HAS SOPS 3734780 HAS SOUS 3347099 HAS SOUPS 3308298 WITH SCORE 3312304.584
AT ITER 41 NEW BEST:: SOT 4381573 SOS 4004118 HAS SOPS 3725999 HAS SOUS 3313204 HAS SOUPS 3274689 WITH SCORE 3278693.118
AT ITER 43 NEW BEST:: SOT 4381573 SOS 4004118 HAS SOPS 3725946 HAS SOUS 3313098 HAS SOUPS 3274583 WITH SCORE 3278587.118
AT ITER 44 NEW BEST:: SOT 4381573 SOS 4004118 HAS SOPS 3725852 HAS SOUS 3312910 HAS SOUPS 3274395 WITH SCORE 3278399.118
AT ITER 45 NEW BEST:: SOT 4381573 SOS 4004118 HAS SOPS 3725753 HAS SOUS 3312712 HAS SOUPS 3274197 WITH SCORE 3278201.118
AT ITER 47 NEW BEST:: SOT 4381573 SOS 4004118 HAS SOPS 3725658 HAS SOUS 3312522 HAS SOUPS 3274007 WITH SCORE 3278011.118
AT ITER 48 NEW BEST:: SOT 4368206 SOS 3987183 HAS SOPS 3702999 HAS SOUS 3253069 HAS SOUPS 3214736 WITH SCORE 3218723.183
AT ITER 52 NEW BEST:: SOT 4360923 SOS 3979900 HAS SOPS 3695716 HAS SOUS 3245786 HAS SOUPS 3207453 WITH SCORE 3211432.9
AT ITER 54 NEW BEST:: SOT 4357355 SOS 3976332 HAS SOPS 3692148 HAS SOUS 3242448 HAS SOUPS 3203885 WITH SCORE 3207861.332
AT ITER 55 NEW BEST:: SOT 4358286 SOS 3969433 HAS SOPS 3683308 HAS SOUS 3210253 HAS SOUPS 3172002 WITH SCORE 3175971.433
AT ITER 56 NEW BEST:: SOT 4359235 SOS 3959307 HAS SOPS 3674587 HAS SOUS 3181433 HAS SOUPS 3143495 WITH SCORE 3147454.307
AT ITER 59 NEW BEST:: SOT 4359341 SOS 3955531 HAS SOPS 3679135 HAS SOUS 3165948 HAS SOUPS 3128251 WITH SCORE 3132206.531
AT ITER 60 NEW BEST:: SOT 4359993 SOS 3951686 HAS SOPS 3670044 HAS SOUS 3135812 HAS SOUPS 3098371 WITH SCORE 3102322.686
AT ITER 61 NEW BEST:: SOT 4360667 SOS 3952312 HAS SOPS 3670718 HAS SOUS 3131734 HAS SOUPS 3094341 WITH SCORE 3098293.312
AT ITER 62 NEW BEST:: SOT 4358561 SOS 3950206 HAS SOPS 3668612 HAS SOUS 3129628 HAS SOUPS 3092235 WITH SCORE 3096185.206
AT ITER 65 NEW BEST:: SOT 4352668 SOS 3944313 HAS SOPS 3662719 HAS SOUS 3123735 HAS SOUPS 3086342 WITH SCORE 3090286.313
AT ITER 66 NEW BEST:: SOT 4353212 SOS 3932807 HAS SOPS 3643364 HAS SOUS 3086736 HAS SOUPS 3049637 WITH SCORE 3053569.807
AT ITER 67 NEW BEST:: SOT 4353212 SOS 3927704 HAS SOPS 3636597 HAS SOUS 3071838 HAS SOUPS 3034870 WITH SCORE 3038797.704
AT ITER 68 NEW BEST:: SOT 4337653 SOS 3904850 HAS SOPS 3611039 HAS SOUS 3017638 HAS SOUPS 2980868 WITH SCORE 2984772.85
AT ITER 69 NEW BEST:: SOT 4322473 SOS 3885651 HAS SOPS 3585860 HAS SOUS 2964897 HAS SOUPS 2928325 WITH SCORE 2932210.651
AT ITER 72 NEW BEST:: SOT 4317987 SOS 3881165 HAS SOPS 3581275 HAS SOUS 2960213 HAS SOUPS 2923641 WITH SCORE 2927522.165
AT ITER 74 NEW BEST:: SOT 4300308 SOS 3863486 HAS SOPS 3563497 HAS SOUS 2942336 HAS SOUPS 2905764 WITH SCORE 2909627.486
AT ITER 76 NEW BEST:: SOT 4300431 SOS 3861193 HAS SOPS 3557861 HAS SOUS 2925099 HAS SOUPS 2888667 WITH SCORE 2892528.193
AT ITER 77 NEW BEST:: SOT 4301220 SOS 3861905 HAS SOPS 3558650 HAS SOUS 2918265 HAS SOUPS 2881910 WITH SCORE 2885771.905
AT ITER 79 NEW BEST:: SOT 4301293 SOS 3858952 HAS SOPS 3553570 HAS SOUS 2901606 HAS SOUPS 2865397 WITH SCORE 2869255.952
AT ITER 81 NEW BEST:: SOT 4301293 SOS 3852648 HAS SOPS 3548720 HAS SOUS 2888062 HAS SOUPS 2852002 WITH SCORE 2855854.648
AT ITER 82 NEW BEST:: SOT 4301293 SOS 3843659 HAS SOPS 3542862 HAS SOUS 2877077 HAS SOUPS 2841157 WITH SCORE 2845000.659
AT ITER 84 NEW BEST:: SOT 4301293 SOS 3841786 HAS SOPS 3535681 HAS SOUS 2871815 HAS SOUPS 2835895 WITH SCORE 2839736.786
AT ITER 86 NEW BEST:: SOT 4284127 SOS 3824620 HAS SOPS 3518515 HAS SOUS 2854723 HAS SOUPS 2818729 WITH SCORE 2822553.62
AT ITER 87 NEW BEST:: SOT 4284583 SOS 3823362 HAS SOPS 3522645 HAS SOUS 2837476 HAS SOUPS 2801715 WITH SCORE 2805538.362
AT ITER 88 NEW BEST:: SOT 4266880 SOS 3803799 HAS SOPS 3501369 HAS SOUS 2818052 HAS SOUPS 2782092 WITH SCORE 2785895.799
AT ITER 89 NEW BEST:: SOT 4264478 SOS 3801397 HAS SOPS 3498894 HAS SOUS 2815504 HAS SOUPS 2779544 WITH SCORE 2783345.397
AT ITER 90 NEW BEST:: SOT 4247227 SOS 3784146 HAS SOPS 3481451 HAS SOUS 2797976 HAS SOUPS 2761909 WITH SCORE 2765693.146
AT ITER 91 NEW BEST:: SOT 4247227 SOS 3778065 HAS SOPS 3467152 HAS SOUS 2789517 HAS SOUPS 2753450 WITH SCORE 2757228.065
AT ITER 93 NEW BEST:: SOT 4246958 SOS 3774681 HAS SOPS 3451026 HAS SOUS 2776192 HAS SOUPS 2740125 WITH SCORE 2743899.681
AT ITER 94 NEW BEST:: SOT 4244361 SOS 3772084 HAS SOPS 3448429 HAS SOUS 2773595 HAS SOUPS 2737528 WITH SCORE 2741300.084
AT ITER 96 NEW BEST:: SOT 4244262 SOS 3771985 HAS SOPS 3448231 HAS SOUS 2773397 HAS SOUPS 2737231 WITH SCORE 2741002.985
AT ITER 97 NEW BEST:: SOT 4244194 SOS 3771917 HAS SOPS 3448095 HAS SOUS 2773193 HAS SOUPS 2737027 WITH SCORE 2740798.917
AT ITER 98 NEW BEST:: SOT 4245071 SOS 3766021 HAS SOPS 3448008 HAS SOUS 2751507 HAS SOUPS 2715626 WITH SCORE 2719392.021
AT ITER 100 NEW BEST:: SOT 4247823 SOS 3759541 HAS SOPS 3441141 HAS SOUS 2718597 HAS SOUPS 2683070 WITH SCORE 2686829.541
AT ITER 101 NEW BEST:: SOT 4248074 SOS 3753683 HAS SOPS 3431573 HAS SOUS 2697120 HAS SOUPS 2661773 WITH SCORE 2665526.683
AT ITER 102 NEW BEST:: SOT 4248074 SOS 3749080 HAS SOPS 3429048 HAS SOUS 2685048 HAS SOUPS 2649842 WITH SCORE 2653591.08
AT ITER 104 NEW BEST:: SOT 4250505 SOS 3751248 HAS SOPS 3432489 HAS SOUS 2658107 HAS SOUPS 2623074 WITH SCORE 2626825.248
AT ITER 106 NEW BEST:: SOT 4250827 SOS 3744526 HAS SOPS 3423004 HAS SOUS 2635960 HAS SOUPS 2601124 WITH SCORE 2604868.526
AT ITER 107 NEW BEST:: SOT 4247352 SOS 3741051 HAS SOPS 3419430 HAS SOUS 2632346 HAS SOUPS 2597451 WITH SCORE 2601192.051
AT ITER 108 NEW BEST:: SOT 4250005 SOS 3731462 HAS SOPS 3412892 HAS SOUS 2599585 HAS SOUPS 2565057 WITH SCORE 2568788.462
AT ITER 109 NEW BEST:: SOT 4232732 SOS 3714189 HAS SOPS 3395520 HAS SOUS 2582119 HAS SOUPS 2547586 WITH SCORE 2551300.189
AT ITER 112 NEW BEST:: SOT 4232732 SOS 3714189 HAS SOPS 3395443 HAS SOUS 2581965 HAS SOUPS 2547432 WITH SCORE 2551146.189
AT ITER 114 NEW BEST:: SOT 4232732 SOS 3703528 HAS SOPS 3386252 HAS SOUS 2574153 HAS SOUPS 2539711 WITH SCORE 2543414.528
AT ITER 116 NEW BEST:: SOT 4233866 SOS 3699396 HAS SOPS 3377600 HAS SOUS 2549482 HAS SOUPS 2515253 WITH SCORE 2518952.396
AT ITER 121 NEW BEST:: SOT 4233866 SOS 3696259 HAS SOPS 3367644 HAS SOUS 2542508 HAS SOUPS 2508279 WITH SCORE 2511975.259
AT ITER 122 NEW BEST:: SOT 4226232 SOS 3688625 HAS SOPS 3359847 HAS SOUS 2534614 HAS SOUPS 2500319 WITH SCORE 2504007.625
AT ITER 124 NEW BEST:: SOT 4228634 SOS 3680492 HAS SOPS 3352514 HAS SOUS 2504849 HAS SOUPS 2470884 WITH SCORE 2474564.492
AT ITER 126 NEW BEST:: SOT 4213338 SOS 3661993 HAS SOPS 3327120 HAS SOUS 2482444 HAS SOUPS 2448396 WITH SCORE 2452057.993
AT ITER 131 NEW BEST:: SOT 4213426 SOS 3656603 HAS SOPS 3325508 HAS SOUS 2469462 HAS SOUPS 2435583 WITH SCORE 2439239.603
AT ITER 135 NEW BEST:: SOT 4205377 SOS 3645791 HAS SOPS 3310335 HAS SOUS 2456957 HAS SOUPS 2423078 WITH SCORE 2426723.791
AT ITER 141 NEW BEST:: SOT 4216096 SOS 3653387 HAS SOPS 3321249 HAS SOUS 2441789 HAS SOUPS 2408204 WITH SCORE 2411857.387
AT ITER 145 NEW BEST:: SOT 4199896 SOS 3637187 HAS SOPS 3305049 HAS SOUS 2425694 HAS SOUPS 2392004 WITH SCORE 2395641.187
AT ITER 146 NEW BEST:: SOT 4199896 SOS 3636637 HAS SOPS 3303534 HAS SOUS 2424638 HAS SOUPS 2391009 WITH SCORE 2394645.637
AT ITER 147 NEW BEST:: SOT 4200254 SOS 3629045 HAS SOPS 3293895 HAS SOUS 2403853 HAS SOUPS 2370413 WITH SCORE 2374042.045
AT ITER 149 NEW BEST:: SOT 4198113 SOS 3623541 HAS SOPS 3281724 HAS SOUS 2394917 HAS SOUPS 2361376 WITH SCORE 2364999.541
AT ITER 152 NEW BEST:: SOT 4198074 SOS 3623502 HAS SOPS 3281685 HAS SOUS 2394839 HAS SOUPS 2361337 WITH SCORE 2364960.502
AT ITER 153 NEW BEST:: SOT 4198074 SOS 3621089 HAS SOPS 3281685 HAS SOUS 2390052 HAS SOUPS 2356622 WITH SCORE 2360243.089
AT ITER 159 NEW BEST:: SOT 4187857 SOS 3604378 HAS SOPS 3261469 HAS SOUS 2339120 HAS SOUPS 2305874 WITH SCORE 2309478.378
AT ITER 161 NEW BEST:: SOT 4187844 SOS 3604365 HAS SOPS 3261456 HAS SOUS 2339107 HAS SOUPS 2305861 WITH SCORE 2309465.365
AT ITER 163 NEW BEST:: SOT 4187439 SOS 3603527 HAS SOPS 3260344 HAS SOUS 2338110 HAS SOUPS 2305168 WITH SCORE 2308771.527
AT ITER 164 NEW BEST:: SOT 4187439 SOS 3599923 HAS SOPS 3252156 HAS SOUS 2333357 HAS SOUPS 2300415 WITH SCORE 2304014.923
AT ITER 165 NEW BEST:: SOT 4182633 SOS 3595117 HAS SOPS 3247496 HAS SOUS 2328697 HAS SOUPS 2295901 WITH SCORE 2299496.117
AT ITER 167 NEW BEST:: SOT 4177216 SOS 3589700 HAS SOPS 3242079 HAS SOUS 2323280 HAS SOUPS 2290484 WITH SCORE 2294073.7
AT ITER 168 NEW BEST:: SOT 4177216 SOS 3585579 HAS SOPS 3239049 HAS SOUS 2321341 HAS SOUPS 2288545 WITH SCORE 2292130.579
AT ITER 170 NEW BEST:: SOT 4177216 SOS 3585579 HAS SOPS 3239045 HAS SOUS 2321337 HAS SOUPS 2288537 WITH SCORE 2292122.579
AT ITER 175 NEW BEST:: SOT 4177195 SOS 3585595 HAS SOPS 3239039 HAS SOUS 2321189 HAS SOUPS 2288472 WITH SCORE 2292057.595
AT ITER 177 NEW BEST:: SOT 4177370 SOS 3584317 HAS SOPS 3235375 HAS SOUS 2318934 HAS SOUPS 2286217 WITH SCORE 2289801.317
AT ITER 178 NEW BEST:: SOT 4165176 SOS 3572123 HAS SOPS 3223181 HAS SOUS 2306740 HAS SOUPS 2274023 WITH SCORE 2277595.123
AT ITER 182 NEW BEST:: SOT 4162910 SOS 3569857 HAS SOPS 3220882 HAS SOUS 2304408 HAS SOUPS 2271691 WITH SCORE 2275260.857
AT ITER 183 NEW BEST:: SOT 4162910 SOS 3560957 HAS SOPS 3215890 HAS SOUS 2293416 HAS SOUPS 2260847 WITH SCORE 2264407.957
AT ITER 185 NEW BEST:: SOT 4162910 SOS 3554461 HAS SOPS 3206396 HAS SOUS 2279830 HAS SOUPS 2247365 WITH SCORE 2250919.461
AT ITER 186 NEW BEST:: SOT 4153375 SOS 3544926 HAS SOPS 3196861 HAS SOUS 2270295 HAS SOUPS 2237830 WITH SCORE 2241374.926
AT ITER 187 NEW BEST:: SOT 4153842 SOS 3542600 HAS SOPS 3197491 HAS SOUS 2257581 HAS SOUPS 2225279 WITH SCORE 2228821.6
AT ITER 188 NEW BEST:: SOT 4145172 SOS 3533930 HAS SOPS 3188821 HAS SOUS 2249118 HAS SOUPS 2216609 WITH SCORE 2220142.93
AT ITER 189 NEW BEST:: SOT 4144872 SOS 3533626 HAS SOPS 3188521 HAS SOUS 2248818 HAS SOUPS 2216313 WITH SCORE 2219846.626
AT ITER 190 NEW BEST:: SOT 4144872 SOS 3533615 HAS SOPS 3188508 HAS SOUS 2248814 HAS SOUPS 2216309 WITH SCORE 2219842.615
AT ITER 198 NEW BEST:: SOT 4144872 SOS 3521456 HAS SOPS 3164889 HAS SOUS 2237174 HAS SOUPS 2204669 WITH SCORE 2208190.456
AT ITER 199 NEW BEST:: SOT 4144872 SOS 3511593 HAS SOPS 3157314 HAS SOUS 2228712 HAS SOUPS 2196313 WITH SCORE 2199824.593
AT ITER 200 NEW BEST:: SOT 4144439 SOS 3511160 HAS SOPS 3156881 HAS SOUS 2228274 HAS SOUPS 2195880 WITH SCORE 2199391.16
AT ITER 201 NEW BEST:: SOT 4144261 SOS 3510982 HAS SOPS 3156604 HAS SOUS 2227997 HAS SOUPS 2195504 WITH SCORE 2199014.982
AT ITER 202 NEW BEST:: SOT 4149006 SOS 3499111 HAS SOPS 3141677 HAS SOUS 2191953 HAS SOUPS 2159835 WITH SCORE 2163334.111
AT ITER 205 NEW BEST:: SOT 4152153 SOS 3499745 HAS SOPS 3142319 HAS SOUS 2173076 HAS SOUPS 2141180 WITH SCORE 2144679.745
AT ITER 206 NEW BEST:: SOT 4152107 SOS 3499699 HAS SOPS 3142291 HAS SOUS 2173066 HAS SOUPS 2141170 WITH SCORE 2144669.699
AT ITER 207 NEW BEST:: SOT 4154207 SOS 3499128 HAS SOPS 3156445 HAS SOUS 2159564 HAS SOUPS 2127974 WITH SCORE 2131473.128
AT ITER 208 NEW BEST:: SOT 4166092 SOS 3510736 HAS SOPS 3168390 HAS SOUS 2155946 HAS SOUPS 2124515 WITH SCORE 2128025.736
AT ITER 210 NEW BEST:: SOT 4157708 SOS 3502094 HAS SOPS 3160006 HAS SOUS 2124787 HAS SOUPS 2093520 WITH SCORE 2097022.094
AT ITER 211 NEW BEST:: SOT 4157626 SOS 3502012 HAS SOPS 3159825 HAS SOUS 2124507 HAS SOUPS 2093240 WITH SCORE 2096742.012
AT ITER 218 NEW BEST:: SOT 4157629 SOS 3498166 HAS SOPS 3159856 HAS SOUS 2115715 HAS SOUPS 2084575 WITH SCORE 2088073.166
AT ITER 220 NEW BEST:: SOT 4157629 SOS 3485535 HAS SOPS 3150064 HAS SOUS 2106278 HAS SOUPS 2075260 WITH SCORE 2078745.535
AT ITER 222 NEW BEST:: SOT 4157629 SOS 3483215 HAS SOPS 3152286 HAS SOUS 2105164 HAS SOUPS 2074203 WITH SCORE 2077686.215
AT ITER 226 NEW BEST:: SOT 4158083 SOS 3483076 HAS SOPS 3152740 HAS SOUS 2097697 HAS SOUPS 2066736 WITH SCORE 2070219.076
AT ITER 228 NEW BEST:: SOT 4145514 SOS 3473518 HAS SOPS 3143706 HAS SOUS 2085763 HAS SOUPS 2054761 WITH SCORE 2058234.518
AT ITER 230 NEW BEST:: SOT 4156801 SOS 3476803 HAS SOPS 3145386 HAS SOUS 2066042 HAS SOUPS 2035335 WITH SCORE 2038811.803
AT ITER 233 NEW BEST:: SOT 4156801 SOS 3470071 HAS SOPS 3138821 HAS SOUS 2059579 HAS SOUPS 2028937 WITH SCORE 2032407.071
AT ITER 237 NEW BEST:: SOT 4156801 SOS 3466011 HAS SOPS 3141020 HAS SOUS 2053880 HAS SOUPS 2023358 WITH SCORE 2026824.011
AT ITER 239 NEW BEST:: SOT 4142176 SOS 3451386 HAS SOPS 3126296 HAS SOUS 2039057 HAS SOUPS 2008535 WITH SCORE 2011986.386
AT ITER 242 NEW BEST:: SOT 4138767 SOS 3447977 HAS SOPS 3122891 HAS SOUS 2035656 HAS SOUPS 2005134 WITH SCORE 2008581.977
AT ITER 243 NEW BEST:: SOT 4141036 SOS 3449755 HAS SOPS 3125208 HAS SOUS 2023812 HAS SOUPS 1993437 WITH SCORE 1996886.755
AT ITER 246 NEW BEST:: SOT 4141036 SOS 3449755 HAS SOPS 3125162 HAS SOUS 2023720 HAS SOUPS 1993345 WITH SCORE 1996794.755
AT ITER 248 NEW BEST:: SOT 4131296 SOS 3440015 HAS SOPS 3115422 HAS SOUS 2013980 HAS SOUPS 1983605 WITH SCORE 1987045.015
AT ITER 250 NEW BEST:: SOT 4131296 SOS 3430048 HAS SOPS 3109522 HAS SOUS 2010688 HAS SOUPS 1980386 WITH SCORE 1983816.048
AT ITER 253 NEW BEST:: SOT 4131283 SOS 3430035 HAS SOPS 3109509 HAS SOUS 2010675 HAS SOUPS 1980373 WITH SCORE 1983803.035
AT ITER 255 NEW BEST:: SOT 4124793 SOS 3419642 HAS SOPS 3092921 HAS SOUS 1997834 HAS SOUPS 1967391 WITH SCORE 1970810.642
AT ITER 256 NEW BEST:: SOT 4124673 SOS 3419522 HAS SOPS 3092736 HAS SOUS 1997550 HAS SOUPS 1967141 WITH SCORE 1970560.522
AT ITER 257 NEW BEST:: SOT 4124699 SOS 3419548 HAS SOPS 3092736 HAS SOUS 1997550 HAS SOUPS 1967115 WITH SCORE 1970534.548
AT ITER 258 NEW BEST:: SOT 4124699 SOS 3419548 HAS SOPS 3092654 HAS SOUS 1997468 HAS SOUPS 1966951 WITH SCORE 1970370.548
AT ITER 259 NEW BEST:: SOT 4128423 SOS 3408077 HAS SOPS 3088347 HAS SOUS 1971336 HAS SOUPS 1941188 WITH SCORE 1944596.077
AT ITER 260 NEW BEST:: SOT 4128763 SOS 3406248 HAS SOPS 3091454 HAS SOUS 1960668 HAS SOUPS 1930680 WITH SCORE 1934086.248
AT ITER 262 NEW BEST:: SOT 4139145 SOS 3414469 HAS SOPS 3099111 HAS SOUS 1943888 HAS SOUPS 1913914 WITH SCORE 1917328.469
AT ITER 264 NEW BEST:: SOT 4141066 SOS 3413311 HAS SOPS 3101280 HAS SOUS 1926918 HAS SOUPS 1897308 WITH SCORE 1900721.311
AT ITER 265 NEW BEST:: SOT 4129174 SOS 3401419 HAS SOPS 3089388 HAS SOUS 1915152 HAS SOUPS 1885416 WITH SCORE 1888817.419
AT ITER 266 NEW BEST:: SOT 4134482 SOS 3406662 HAS SOPS 3094696 HAS SOUS 1914025 HAS SOUPS 1884354 WITH SCORE 1887760.662
AT ITER 268 NEW BEST:: SOT 4138643 SOS 3406963 HAS SOPS 3099120 HAS SOUS 1899242 HAS SOUPS 1869804 WITH SCORE 1873210.963
AT ITER 269 NEW BEST:: SOT 4139734 SOS 3402368 HAS SOPS 3102130 HAS SOUS 1882270 HAS SOUPS 1852897 WITH SCORE 1856299.368
AT ITER 270 NEW BEST:: SOT 4130563 SOS 3393197 HAS SOPS 3092954 HAS SOUS 1873089 HAS SOUPS 1843716 WITH SCORE 1847109.197
AT ITER 272 NEW BEST:: SOT 4130563 SOS 3386286 HAS SOPS 3090833 HAS SOUS 1863637 HAS SOUPS 1834406 WITH SCORE 1837792.286
AT ITER 274 NEW BEST:: SOT 4129313 SOS 3385036 HAS SOPS 3089484 HAS SOUS 1862328 HAS SOUPS 1832958 WITH SCORE 1836343.036
AT ITER 276 NEW BEST:: SOT 4128586 SOS 3384309 HAS SOPS 3088757 HAS SOUS 1861601 HAS SOUPS 1832231 WITH SCORE 1835615.309
AT ITER 277 NEW BEST:: SOT 4128586 SOS 3383285 HAS SOPS 3087141 HAS SOUS 1860977 HAS SOUPS 1831607 WITH SCORE 1834990.285
AT ITER 281 NEW BEST:: SOT 4124138 SOS 3378837 HAS SOPS 3082693 HAS SOUS 1856529 HAS SOUPS 1827159 WITH SCORE 1830537.837
AT ITER 283 NEW BEST:: SOT 4125470 SOS 3380054 HAS SOPS 3084066 HAS SOUS 1853926 HAS SOUPS 1824629 WITH SCORE 1828009.054
AT ITER 285 NEW BEST:: SOT 4111673 SOS 3362009 HAS SOPS 3061179 HAS SOUS 1835153 HAS SOUPS 1805810 WITH SCORE 1809172.009
AT ITER 288 NEW BEST:: SOT 4111673 SOS 3361498 HAS SOPS 3061179 HAS SOUS 1834773 HAS SOUPS 1805430 WITH SCORE 1808791.498
AT ITER 292 NEW BEST:: SOT 4104877 SOS 3354145 HAS SOPS 3053283 HAS SOUS 1827538 HAS SOUPS 1798069 WITH SCORE 1801423.145
AT ITER 296 NEW BEST:: SOT 4104176 SOS 3353444 HAS SOPS 3052382 HAS SOUS 1826637 HAS SOUPS 1796968 WITH SCORE 1800321.444
AT ITER 297 NEW BEST:: SOT 4104176 SOS 3353444 HAS SOPS 3052283 HAS SOUS 1826439 HAS SOUPS 1796770 WITH SCORE 1800123.444
AT ITER 300 NEW BEST:: SOT 4103816 SOS 3353115 HAS SOPS 3051954 HAS SOUS 1826110 HAS SOUPS 1796441 WITH SCORE 1799794.115
AT ITER 301 NEW BEST:: SOT 4108372 SOS 3354657 HAS SOPS 3068411 HAS SOUS 1805721 HAS SOUPS 1776453 WITH SCORE 1779807.657
AT ITER 303 NEW BEST:: SOT 4102200 SOS 3348485 HAS SOPS 3062151 HAS SOUS 1799373 HAS SOUPS 1770105 WITH SCORE 1773453.485
AT ITER 304 NEW BEST:: SOT 4102200 SOS 3348506 HAS SOPS 3062094 HAS SOUS 1799316 HAS SOUPS 1769970 WITH SCORE 1773318.506
AT ITER 307 NEW BEST:: SOT 4102200 SOS 3345116 HAS SOPS 3062230 HAS SOUS 1796110 HAS SOUPS 1766832 WITH SCORE 1770177.116
AT ITER 309 NEW BEST:: SOT 4091910 SOS 3334826 HAS SOPS 3051940 HAS SOUS 1785548 HAS SOUPS 1756542 WITH SCORE 1759876.826
AT ITER 311 NEW BEST:: SOT 4091815 SOS 3330846 HAS SOPS 3042250 HAS SOUS 1779553 HAS SOUPS 1750547 WITH SCORE 1753877.846
AT ITER 312 NEW BEST:: SOT 4091815 SOS 3330846 HAS SOPS 3042231 HAS SOUS 1779515 HAS SOUPS 1750509 WITH SCORE 1753839.846
AT ITER 315 NEW BEST:: SOT 4079949 SOS 3323367 HAS SOPS 3036047 HAS SOUS 1769060 HAS SOUPS 1740023 WITH SCORE 1743346.367
AT ITER 316 NEW BEST:: SOT 4084153 SOS 3327477 HAS SOPS 3040251 HAS SOUS 1768958 HAS SOUPS 1739965 WITH SCORE 1743292.477
AT ITER 317 NEW BEST:: SOT 4083955 SOS 3327279 HAS SOPS 3040053 HAS SOUS 1768760 HAS SOUPS 1739767 WITH SCORE 1743094.279
AT ITER 318 NEW BEST:: SOT 4083827 SOS 3327131 HAS SOPS 3039885 HAS SOUS 1768506 HAS SOUPS 1739599 WITH SCORE 1742926.131
AT ITER 323 NEW BEST:: SOT 4085710 SOS 3329655 HAS SOPS 3049273 HAS SOUS 1757031 HAS SOUPS 1728329 WITH SCORE 1731658.655
AT ITER 324 NEW BEST:: SOT 4078841 SOS 3322786 HAS SOPS 3042404 HAS SOUS 1750178 HAS SOUPS 1721460 WITH SCORE 1724782.786
AT ITER 326 NEW BEST:: SOT 4078808 SOS 3318281 HAS SOPS 3032960 HAS SOUS 1744909 HAS SOUPS 1716302 WITH SCORE 1719620.281
AT ITER 327 NEW BEST:: SOT 4091500 SOS 3333188 HAS SOPS 3057877 HAS SOUS 1725913 HAS SOUPS 1697668 WITH SCORE 1701001.188
AT ITER 331 NEW BEST:: SOT 4091500 SOS 3328297 HAS SOPS 3052877 HAS SOUS 1720704 HAS SOUPS 1692509 WITH SCORE 1695837.297
AT ITER 341 NEW BEST:: SOT 4104346 SOS 3334401 HAS SOPS 3066531 HAS SOUS 1696495 HAS SOUPS 1668470 WITH SCORE 1671804.401
AT ITER 346 NEW BEST:: SOT 4100678 SOS 3330474 HAS SOPS 3062160 HAS SOUS 1692310 HAS SOUPS 1664150 WITH SCORE 1667480.474
AT ITER 347 NEW BEST:: SOT 4087834 SOS 3317630 HAS SOPS 3049217 HAS SOUS 1679268 HAS SOUPS 1651108 WITH SCORE 1654425.63
AT ITER 349 NEW BEST:: SOT 4105657 SOS 3323736 HAS SOPS 3057537 HAS SOUS 1663382 HAS SOUPS 1635667 WITH SCORE 1638990.736
AT ITER 351 NEW BEST:: SOT 4103100 SOS 3321179 HAS SOPS 3054980 HAS SOUS 1660825 HAS SOUPS 1633110 WITH SCORE 1636431.179
AT ITER 353 NEW BEST:: SOT 4109104 SOS 3327070 HAS SOPS 3060984 HAS SOUS 1655444 HAS SOUPS 1627842 WITH SCORE 1631169.07
AT ITER 355 NEW BEST:: SOT 4106461 SOS 3321449 HAS SOPS 3052474 HAS SOUS 1649893 HAS SOUPS 1622185 WITH SCORE 1625506.449
AT ITER 356 NEW BEST:: SOT 4104330 SOS 3322796 HAS SOPS 3053880 HAS SOUS 1647698 HAS SOUPS 1619990 WITH SCORE 1623312.796
AT ITER 358 NEW BEST:: SOT 4106431 SOS 3324909 HAS SOPS 3062142 HAS SOUS 1639968 HAS SOUPS 1612522 WITH SCORE 1615846.909
AT ITER 362 NEW BEST:: SOT 4110494 SOS 3304470 HAS SOPS 3042161 HAS SOUS 1608946 HAS SOUPS 1581854 WITH SCORE 1585158.47
AT ITER 364 NEW BEST:: SOT 4123302 SOS 3318954 HAS SOPS 3061869 HAS SOUS 1597016 HAS SOUPS 1570225 WITH SCORE 1573543.954
AT ITER 365 NEW BEST:: SOT 4123335 SOS 3322429 HAS SOPS 3074527 HAS SOUS 1592882 HAS SOUPS 1566227 WITH SCORE 1569549.429
AT ITER 367 NEW BEST:: SOT 4125395 SOS 3324308 HAS SOPS 3076587 HAS SOUS 1592123 HAS SOUPS 1565498 WITH SCORE 1568822.308
AT ITER 369 NEW BEST:: SOT 4114949 SOS 3313862 HAS SOPS 3066141 HAS SOUS 1581677 HAS SOUPS 1555052 WITH SCORE 1558365.862
AT ITER 370 NEW BEST:: SOT 4114949 SOS 3299569 HAS SOPS 3037926 HAS SOUS 1567470 HAS SOUPS 1540845 WITH SCORE 1544144.569
AT ITER 378 NEW BEST:: SOT 4115290 SOS 3290364 HAS SOPS 3026387 HAS SOUS 1553237 HAS SOUPS 1526852 WITH SCORE 1530142.364
AT ITER 379 NEW BEST:: SOT 4115279 SOS 3279641 HAS SOPS 3010903 HAS SOUS 1548384 HAS SOUPS 1521999 WITH SCORE 1525278.641
AT ITER 380 NEW BEST:: SOT 4113232 SOS 3279611 HAS SOPS 3011497 HAS SOUS 1547299 HAS SOUPS 1520841 WITH SCORE 1524120.611
AT ITER 381 NEW BEST:: SOT 4130012 SOS 3291126 HAS SOPS 3023377 HAS SOUS 1535735 HAS SOUPS 1509475 WITH SCORE 1512766.126
AT ITER 382 NEW BEST:: SOT 4130012 SOS 3291126 HAS SOPS 3023207 HAS SOUS 1535395 HAS SOUPS 1509135 WITH SCORE 1512426.126
AT ITER 384 NEW BEST:: SOT 4125643 SOS 3275539 HAS SOPS 3002652 HAS SOUS 1525805 HAS SOUPS 1499650 WITH SCORE 1502925.539
AT ITER 385 NEW BEST:: SOT 4120225 SOS 3260517 HAS SOPS 2988851 HAS SOUS 1495242 HAS SOUPS 1469349 WITH SCORE 1472609.517
AT ITER 388 NEW BEST:: SOT 4117673 SOS 3257965 HAS SOPS 2986360 HAS SOUS 1492796 HAS SOUPS 1466919 WITH SCORE 1470176.965
AT ITER 389 NEW BEST:: SOT 4116164 SOS 3256454 HAS SOPS 2984953 HAS SOUS 1491389 HAS SOUPS 1465616 WITH SCORE 1468872.454
AT ITER 393 NEW BEST:: SOT 4111616 SOS 3251906 HAS SOPS 2980405 HAS SOUS 1486841 HAS SOUPS 1461068 WITH SCORE 1464319.906
AT ITER 394 NEW BEST:: SOT 4136845 SOS 3276974 HAS SOPS 3013108 HAS SOUS 1480237 HAS SOUPS 1454678 WITH SCORE 1457954.974
AT ITER 395 NEW BEST:: SOT 4122135 SOS 3262264 HAS SOPS 2998547 HAS SOUS 1465676 HAS SOUPS 1440266 WITH SCORE 1443528.264
AT ITER 396 NEW BEST:: SOT 4117427 SOS 3255028 HAS SOPS 2988754 HAS SOUS 1458275 HAS SOUPS 1432767 WITH SCORE 1436022.028
AT ITER 397 NEW BEST:: SOT 4117295 SOS 3254815 HAS SOPS 2988538 HAS SOUS 1458014 HAS SOUPS 1432629 WITH SCORE 1435883.815
AT ITER 403 NEW BEST:: SOT 4117412 SOS 3254921 HAS SOPS 2988655 HAS SOUS 1457742 HAS SOUPS 1432361 WITH SCORE 1435615.921
AT ITER 405 NEW BEST:: SOT 4114565 SOS 3248673 HAS SOPS 2974597 HAS SOUS 1446875 HAS SOUPS 1421482 WITH SCORE 1424730.673
AT ITER 406 NEW BEST:: SOT 4123580 SOS 3250504 HAS SOPS 2983017 HAS SOUS 1422584 HAS SOUPS 1397287 WITH SCORE 1400537.504
AT ITER 409 NEW BEST:: SOT 4130254 SOS 3254669 HAS SOPS 3001046 HAS SOUS 1413689 HAS SOUPS 1388689 WITH SCORE 1391943.669
AT ITER 411 NEW BEST:: SOT 4129124 SOS 3253539 HAS SOPS 2999878 HAS SOUS 1412521 HAS SOUPS 1387483 WITH SCORE 1390736.539
AT ITER 413 NEW BEST:: SOT 4149806 SOS 3280281 HAS SOPS 3042933 HAS SOUS 1407262 HAS SOUPS 1382651 WITH SCORE 1385931.281
AT ITER 415 NEW BEST:: SOT 4155876 SOS 3269350 HAS SOPS 3042074 HAS SOUS 1393490 HAS SOUPS 1369179 WITH SCORE 1372448.35
AT ITER 417 NEW BEST:: SOT 4155734 SOS 3269156 HAS SOPS 3041828 HAS SOUS 1393244 HAS SOUPS 1368933 WITH SCORE 1372202.156
AT ITER 426 NEW BEST:: SOT 4155309 SOS 3268731 HAS SOPS 3041427 HAS SOUS 1392855 HAS SOUPS 1368556 WITH SCORE 1371824.731
AT ITER 427 NEW BEST:: SOT 4155349 SOS 3257938 HAS SOPS 3032067 HAS SOUS 1384834 HAS SOUPS 1360535 WITH SCORE 1363792.938
AT ITER 434 NEW BEST:: SOT 4169447 SOS 3272360 HAS SOPS 3059442 HAS SOUS 1371964 HAS SOUPS 1348052 WITH SCORE 1351324.36
AT ITER 435 NEW BEST:: SOT 4173561 SOS 3252121 HAS SOPS 3031759 HAS SOUS 1336504 HAS SOUPS 1312907 WITH SCORE 1316159.121
AT ITER 438 NEW BEST:: SOT 4173561 SOS 3252121 HAS SOPS 3031723 HAS SOUS 1336468 HAS SOUPS 1312835 WITH SCORE 1316087.121
AT ITER 441 NEW BEST:: SOT 4173561 SOS 3239615 HAS SOPS 3024956 HAS SOUS 1331381 HAS SOUPS 1307748 WITH SCORE 1310987.615
AT ITER 443 NEW BEST:: SOT 4173561 SOS 3234428 HAS SOPS 3017438 HAS SOUS 1328957 HAS SOUPS 1305324 WITH SCORE 1308558.428
AT ITER 445 NEW BEST:: SOT 4172520 SOS 3233387 HAS SOPS 3016397 HAS SOUS 1327916 HAS SOUPS 1304283 WITH SCORE 1307516.387
AT ITER 448 NEW BEST:: SOT 4156859 SOS 3225096 HAS SOPS 3010206 HAS SOUS 1314545 HAS SOUPS 1290882 WITH SCORE 1294107.096
AT ITER 451 NEW BEST:: SOT 4156661 SOS 3210069 HAS SOPS 2993399 HAS SOUS 1311587 HAS SOUPS 1288240 WITH SCORE 1291450.069
AT ITER 454 NEW BEST:: SOT 4153708 SOS 3214576 HAS SOPS 2998933 HAS SOUS 1309610 HAS SOUPS 1286263 WITH SCORE 1289477.576
AT ITER 455 NEW BEST:: SOT 4153708 SOS 3209320 HAS SOPS 2991956 HAS SOUS 1307870 HAS SOUPS 1284523 WITH SCORE 1287732.32
AT ITER 457 NEW BEST:: SOT 4153735 SOS 3209341 HAS SOPS 2991982 HAS SOUS 1307801 HAS SOUPS 1284455 WITH SCORE 1287664.341
AT ITER 458 NEW BEST:: SOT 4156280 SOS 3197330 HAS SOPS 2984528 HAS SOUS 1286205 HAS SOUPS 1263144 WITH SCORE 1266341.33
AT ITER 459 NEW BEST:: SOT 4161028 SOS 3198382 HAS SOPS 2984527 HAS SOUS 1270203 HAS SOUPS 1247339 WITH SCORE 1250537.382
AT ITER 460 NEW BEST:: SOT 4161153 SOS 3198493 HAS SOPS 2984652 HAS SOUS 1270142 HAS SOUPS 1247280 WITH SCORE 1250478.493
AT ITER 469 NEW BEST:: SOT 4162241 SOS 3192828 HAS SOPS 2975936 HAS SOUS 1268176 HAS SOUPS 1245314 WITH SCORE 1248506.828
AT ITER 473 NEW BEST:: SOT 4161373 SOS 3191572 HAS SOPS 2975068 HAS SOUS 1264396 HAS SOUPS 1241567 WITH SCORE 1244758.572
AT ITER 477 NEW BEST:: SOT 4161286 SOS 3191485 HAS SOPS 2974981 HAS SOUS 1264309 HAS SOUPS 1241480 WITH SCORE 1244671.485
AT ITER 481 NEW BEST:: SOT 4159938 SOS 3189447 HAS SOPS 2972825 HAS SOUS 1262701 HAS SOUPS 1239998 WITH SCORE 1243187.447
AT ITER 484 NEW BEST:: SOT 4159938 SOS 3189127 HAS SOPS 2972421 HAS SOUS 1262613 HAS SOUPS 1239906 WITH SCORE 1243095.127
AT ITER 487 NEW BEST:: SOT 4177184 SOS 3203655 HAS SOPS 2989826 HAS SOUS 1254095 HAS SOUPS 1231676 WITH SCORE 1234879.655
AT ITER 489 NEW BEST:: SOT 4175402 SOS 3201873 HAS SOPS 2988044 HAS SOUS 1252313 HAS SOUPS 1229894 WITH SCORE 1233095.873
AT ITER 494 NEW BEST:: SOT 4174904 SOS 3201375 HAS SOPS 2987546 HAS SOUS 1251815 HAS SOUPS 1229396 WITH SCORE 1232597.375
AT ITER 496 NEW BEST:: SOT 4174904 SOS 3194913 HAS SOPS 2976537 HAS SOUS 1247050 HAS SOUPS 1224631 WITH SCORE 1227825.913
AT ITER 498 NEW BEST:: SOT 4174904 SOS 3192228 HAS SOPS 2973387 HAS SOUS 1246399 HAS SOUPS 1223999 WITH SCORE 1227191.228
AT ITER 499 NEW BEST:: SOT 4175248 SOS 3196679 HAS SOPS 2988376 HAS SOUS 1238563 HAS SOUPS 1216163 WITH SCORE 1219359.679
AT ITER 502 NEW BEST:: SOT 4175248 SOS 3199243 HAS SOPS 2990797 HAS SOUS 1238279 HAS SOUPS 1215879 WITH SCORE 1219078.243
AT ITER 507 NEW BEST:: SOT 4173721 SOS 3197445 HAS SOPS 2989258 HAS SOUS 1222731 HAS SOUPS 1200442 WITH SCORE 1203639.445
AT ITER 509 NEW BEST:: SOT 4172331 SOS 3196055 HAS SOPS 2987868 HAS SOUS 1221341 HAS SOUPS 1199052 WITH SCORE 1202248.055
AT ITER 513 NEW BEST:: SOT 4172331 SOS 3196042 HAS SOPS 2987855 HAS SOUS 1221328 HAS SOUPS 1199052 WITH SCORE 1202248.042
AT ITER 514 NEW BEST:: SOT 4172497 SOS 3195966 HAS SOPS 2988021 HAS SOUS 1220736 HAS SOUPS 1198470 WITH SCORE 1201665.966
AT ITER 516 NEW BEST:: SOT 4172497 SOS 3193316 HAS SOPS 2984321 HAS SOUS 1219575 HAS SOUPS 1197383 WITH SCORE 1200576.316
AT ITER 518 NEW BEST:: SOT 4172698 SOS 3184601 HAS SOPS 2981091 HAS SOUS 1208227 HAS SOUPS 1186372 WITH SCORE 1189556.601
AT ITER 519 NEW BEST:: SOT 4172667 SOS 3184547 HAS SOPS 2981037 HAS SOUS 1208173 HAS SOUPS 1186318 WITH SCORE 1189502.547
AT ITER 522 NEW BEST:: SOT 4172667 SOS 3182810 HAS SOPS 2979057 HAS SOUS 1207910 HAS SOUPS 1186055 WITH SCORE 1189237.81
AT ITER 523 NEW BEST:: SOT 4172667 SOS 3169581 HAS SOPS 2962344 HAS SOUS 1204147 HAS SOUPS 1182292 WITH SCORE 1185461.581
AT ITER 524 NEW BEST:: SOT 4172667 SOS 3169581 HAS SOPS 2962309 HAS SOUS 1204112 HAS SOUPS 1182257 WITH SCORE 1185426.581
AT ITER 526 NEW BEST:: SOT 4172439 SOS 3167181 HAS SOPS 2959653 HAS SOUS 1203580 HAS SOUPS 1181919 WITH SCORE 1185086.181
AT ITER 527 NEW BEST:: SOT 4172439 SOS 3167181 HAS SOPS 2959536 HAS SOUS 1203346 HAS SOUPS 1181685 WITH SCORE 1184852.181
AT ITER 531 NEW BEST:: SOT 4168796 SOS 3155598 HAS SOPS 2945493 HAS SOUS 1197035 HAS SOUPS 1175374 WITH SCORE 1178529.598
AT ITER 533 NEW BEST:: SOT 4168796 SOS 3155598 HAS SOPS 2945260 HAS SOUS 1196587 HAS SOUPS 1174908 WITH SCORE 1178063.598
AT ITER 534 NEW BEST:: SOT 4167901 SOS 3154703 HAS SOPS 2944365 HAS SOUS 1195692 HAS SOUPS 1174013 WITH SCORE 1177167.703
AT ITER 536 NEW BEST:: SOT 4167901 SOS 3154703 HAS SOPS 2944332 HAS SOUS 1195659 HAS SOUPS 1173947 WITH SCORE 1177101.703
AT ITER 543 NEW BEST:: SOT 4167901 SOS 3148937 HAS SOPS 2936885 HAS SOUS 1193516 HAS SOUPS 1172120 WITH SCORE 1175268.937
AT ITER 544 NEW BEST:: SOT 4167901 SOS 3138523 HAS SOPS 2921498 HAS SOUS 1188237 HAS SOUPS 1166907 WITH SCORE 1170045.523
AT ITER 556 NEW BEST:: SOT 4168049 SOS 3138736 HAS SOPS 2921451 HAS SOUS 1188190 HAS SOUPS 1166597 WITH SCORE 1169735.736
AT ITER 559 NEW BEST:: SOT 4164767 SOS 3127389 HAS SOPS 2908000 HAS SOUS 1182634 HAS SOUPS 1161041 WITH SCORE 1164168.389
AT ITER 562 NEW BEST:: SOT 4163927 SOS 3121780 HAS SOPS 2901302 HAS SOUS 1180531 HAS SOUPS 1158996 WITH SCORE 1162117.78
AT ITER 568 NEW BEST:: SOT 4178670 SOS 3127986 HAS SOPS 2916738 HAS SOUS 1164211 HAS SOUPS 1143083 WITH SCORE 1146210.986
AT ITER 569 NEW BEST:: SOT 4181697 SOS 3124894 HAS SOPS 2921503 HAS SOUS 1153271 HAS SOUPS 1132143 WITH SCORE 1135267.894
AT ITER 570 NEW BEST:: SOT 4181772 SOS 3121706 HAS SOPS 2917336 HAS SOUS 1152478 HAS SOUPS 1131155 WITH SCORE 1134276.706
AT ITER 571 NEW BEST:: SOT 4168169 SOS 3108103 HAS SOPS 2903733 HAS SOUS 1139016 HAS SOUPS 1117552 WITH SCORE 1120660.103
AT ITER 572 NEW BEST:: SOT 4178125 SOS 3118254 HAS SOPS 2919089 HAS SOUS 1130585 HAS SOUPS 1109358 WITH SCORE 1112476.254
AT ITER 573 NEW BEST:: SOT 4166116 SOS 3099145 HAS SOPS 2899536 HAS SOUS 1118048 HAS SOUPS 1096821 WITH SCORE 1099920.145
AT ITER 575 NEW BEST:: SOT 4170265 SOS 3092498 HAS SOPS 2898183 HAS SOUS 1092877 HAS SOUPS 1072250 WITH SCORE 1075342.498
AT ITER 578 NEW BEST:: SOT 4167408 SOS 3089641 HAS SOPS 2895326 HAS SOUS 1090020 HAS SOUPS 1069393 WITH SCORE 1072482.641
AT ITER 579 NEW BEST:: SOT 4167256 SOS 3089489 HAS SOPS 2895174 HAS SOUS 1089868 HAS SOUPS 1069241 WITH SCORE 1072330.489
AT ITER 581 NEW BEST:: SOT 4171180 SOS 3086811 HAS SOPS 2899387 HAS SOUS 1071577 HAS SOUPS 1051243 WITH SCORE 1054329.811
AT ITER 583 NEW BEST:: SOT 4171303 SOS 3086846 HAS SOPS 2899510 HAS SOUS 1070988 HAS SOUPS 1050662 WITH SCORE 1053748.846
AT ITER 586 NEW BEST:: SOT 4173266 SOS 3088575 HAS SOPS 2901003 HAS SOUS 1068835 HAS SOUPS 1048548 WITH SCORE 1051636.575
AT ITER 589 NEW BEST:: SOT 4161791 SOS 3077489 HAS SOPS 2889528 HAS SOUS 1067971 HAS SOUPS 1047574 WITH SCORE 1050651.489
AT ITER 591 NEW BEST:: SOT 4160656 SOS 3076354 HAS SOPS 2888393 HAS SOUS 1066782 HAS SOUPS 1046439 WITH SCORE 1049515.354
AT ITER 592 NEW BEST:: SOT 4160648 SOS 3076346 HAS SOPS 2888385 HAS SOUS 1066774 HAS SOUPS 1046431 WITH SCORE 1049507.346
AT ITER 594 NEW BEST:: SOT 4165017 SOS 3081093 HAS SOPS 2895563 HAS SOUS 1062810 HAS SOUPS 1042576 WITH SCORE 1045657.093
AT ITER 595 NEW BEST:: SOT 4165017 SOS 3081469 HAS SOPS 2897063 HAS SOUS 1062464 HAS SOUPS 1042245 WITH SCORE 1045326.469
AT ITER 596 NEW BEST:: SOT 4165529 SOS 3074007 HAS SOPS 2897771 HAS SOUS 1051742 HAS SOUPS 1031719 WITH SCORE 1034793.007
AT ITER 598 NEW BEST:: SOT 4165533 SOS 3073944 HAS SOPS 2897550 HAS SOUS 1051505 HAS SOUPS 1031407 WITH SCORE 1034480.944
AT ITER 603 NEW BEST:: SOT 4165533 SOS 3056758 HAS SOPS 2876304 HAS SOUS 1047233 HAS SOUPS 1027135 WITH SCORE 1030191.758
AT ITER 604 NEW BEST:: SOT 4165533 SOS 3054862 HAS SOPS 2874284 HAS SOUS 1047069 HAS SOUPS 1026971 WITH SCORE 1030025.862
AT ITER 607 NEW BEST:: SOT 4178977 SOS 3067444 HAS SOPS 2887728 HAS SOUS 1039503 HAS SOUPS 1019596 WITH SCORE 1022663.444
AT ITER 609 NEW BEST:: SOT 4178977 SOS 3059029 HAS SOPS 2877186 HAS SOUS 1037183 HAS SOUPS 1017276 WITH SCORE 1020335.029
AT ITER 615 NEW BEST:: SOT 4176416 SOS 3056468 HAS SOPS 2874625 HAS SOUS 1034622 HAS SOUPS 1014715 WITH SCORE 1017771.468
AT ITER 616 NEW BEST:: SOT 4176416 SOS 3056336 HAS SOPS 2874357 HAS SOUS 1034302 HAS SOUPS 1014443 WITH SCORE 1017499.336
AT ITER 622 NEW BEST:: SOT 4175930 SOS 3055961 HAS SOPS 2874171 HAS SOUS 1034011 HAS SOUPS 1014152 WITH SCORE 1017207.961
AT ITER 623 NEW BEST:: SOT 4175744 SOS 3055750 HAS SOPS 2873939 HAS SOUS 1033742 HAS SOUPS 1013924 WITH SCORE 1016979.75
AT ITER 624 NEW BEST:: SOT 4176127 SOS 3040294 HAS SOPS 2861022 HAS SOUS 1023231 HAS SOUPS 1003546 WITH SCORE 1006586.294
AT ITER 625 NEW BEST:: SOT 4174572 SOS 3038739 HAS SOPS 2859467 HAS SOUS 1021668 HAS SOUPS 1001991 WITH SCORE 1005029.739
AT ITER 634 NEW BEST:: SOT 4167519 SOS 3034712 HAS SOPS 2855550 HAS SOUS 1014856 HAS SOUPS 994818 WITH SCORE 997852.712
AT ITER 635 NEW BEST:: SOT 4165558 SOS 3032751 HAS SOPS 2853589 HAS SOUS 1012895 HAS SOUPS 992857 WITH SCORE 995889.751
AT ITER 637 NEW BEST:: SOT 4165560 SOS 3032779 HAS SOPS 2853524 HAS SOUS 1012817 HAS SOUPS 992749 WITH SCORE 995781.779
AT ITER 642 NEW BEST:: SOT 4168031 SOS 3034377 HAS SOPS 2851122 HAS SOUS 1011987 HAS SOUPS 991099 WITH SCORE 994133.377
AT ITER 643 NEW BEST:: SOT 4168031 SOS 3033572 HAS SOPS 2850231 HAS SOUS 1011892 HAS SOUPS 991004 WITH SCORE 994037.572
AT ITER 644 NEW BEST:: SOT 4156558 SOS 3009735 HAS SOPS 2819871 HAS SOUS 993522 HAS SOUPS 972634 WITH SCORE 975643.735
AT ITER 646 NEW BEST:: SOT 4156670 SOS 3009683 HAS SOPS 2819629 HAS SOUS 993280 HAS SOUPS 972392 WITH SCORE 975401.683
AT ITER 651 NEW BEST:: SOT 4154986 SOS 3007999 HAS SOPS 2817945 HAS SOUS 991524 HAS SOUPS 970708 WITH SCORE 973715.999
AT ITER 652 NEW BEST:: SOT 4154986 SOS 3007697 HAS SOPS 2817338 HAS SOUS 990914 HAS SOUPS 970098 WITH SCORE 973105.697
AT ITER 653 NEW BEST:: SOT 4153968 SOS 3006679 HAS SOPS 2816320 HAS SOUS 989896 HAS SOUPS 969080 WITH SCORE 972086.679
AT ITER 654 NEW BEST:: SOT 4153968 SOS 3005717 HAS SOPS 2815015 HAS SOUS 989527 HAS SOUPS 968711 WITH SCORE 971716.717
AT ITER 655 NEW BEST:: SOT 4152029 SOS 3009988 HAS SOPS 2820449 HAS SOUS 988897 HAS SOUPS 968081 WITH SCORE 971090.988
AT ITER 657 NEW BEST:: SOT 4142220 SOS 3000432 HAS SOPS 2810640 HAS SOUS 987335 HAS SOUPS 966434 WITH SCORE 969434.432
AT ITER 658 NEW BEST:: SOT 4139767 SOS 2997979 HAS SOPS 2808233 HAS SOUS 984907 HAS SOUPS 964073 WITH SCORE 967070.979
AT ITER 659 NEW BEST:: SOT 4139767 SOS 2982006 HAS SOPS 2779614 HAS SOUS 971844 HAS SOUPS 951010 WITH SCORE 953992.006
AT ITER 662 NEW BEST:: SOT 4139333 SOS 2981572 HAS SOPS 2779180 HAS SOUS 971410 HAS SOUPS 950576 WITH SCORE 953557.572
AT ITER 667 NEW BEST:: SOT 4139333 SOS 2979201 HAS SOPS 2776453 HAS SOUS 971000 HAS SOUPS 950166 WITH SCORE 953145.201
AT ITER 669 NEW BEST:: SOT 4140606 SOS 2980405 HAS SOPS 2777726 HAS SOUS 970042 HAS SOUPS 949231 WITH SCORE 952211.405
AT ITER 670 NEW BEST:: SOT 4160607 SOS 2998197 HAS SOPS 2798838 HAS SOUS 966955 HAS SOUPS 946339 WITH SCORE 949337.197
AT ITER 674 NEW BEST:: SOT 4160607 SOS 2996287 HAS SOPS 2796838 HAS SOUS 966742 HAS SOUPS 946229 WITH SCORE 949225.287
AT ITER 677 NEW BEST:: SOT 4160550 SOS 2996207 HAS SOPS 2796679 HAS SOUS 966583 HAS SOUPS 946014 WITH SCORE 949010.207
AT ITER 679 NEW BEST:: SOT 4160550 SOS 2988822 HAS SOPS 2787993 HAS SOUS 965259 HAS SOUPS 944541 WITH SCORE 947529.822
AT ITER 681 NEW BEST:: SOT 4160594 SOS 2988980 HAS SOPS 2788051 HAS SOUS 965317 HAS SOUPS 944475 WITH SCORE 947463.98
AT ITER 682 NEW BEST:: SOT 4161713 SOS 2989788 HAS SOPS 2789170 HAS SOUS 964447 HAS SOUPS 943628 WITH SCORE 946617.788
AT ITER 685 NEW BEST:: SOT 4161713 SOS 2989298 HAS SOPS 2789177 HAS SOUS 964251 HAS SOUPS 943439 WITH SCORE 946428.298
AT ITER 686 NEW BEST:: SOT 4161640 SOS 2989225 HAS SOPS 2789104 HAS SOUS 964178 HAS SOUPS 943366 WITH SCORE 946355.225
AT ITER 697 NEW BEST:: SOT 4161616 SOS 2989201 HAS SOPS 2789080 HAS SOUS 964154 HAS SOUPS 943342 WITH SCORE 946331.201
AT ITER 700 NEW BEST:: SOT 4162511 SOS 2989085 HAS SOPS 2792902 HAS SOUS 956367 HAS SOUPS 935757 WITH SCORE 938746.085
AT ITER 705 NEW BEST:: SOT 4162550 SOS 2989118 HAS SOPS 2792941 HAS SOUS 956312 HAS SOUPS 935703 WITH SCORE 938692.118
AT ITER 709 NEW BEST:: SOT 4162550 SOS 2989110 HAS SOPS 2792933 HAS SOUS 956304 HAS SOUPS 935703 WITH SCORE 938692.11
AT ITER 712 NEW BEST:: SOT 4164188 SOS 2989070 HAS SOPS 2798671 HAS SOUS 949802 HAS SOUPS 929341 WITH SCORE 932330.07
AT ITER 718 NEW BEST:: SOT 4162746 SOS 2980166 HAS SOPS 2797229 HAS SOUS 921534 HAS SOUPS 901404 WITH SCORE 904384.166
AT ITER 722 NEW BEST:: SOT 4162746 SOS 2979965 HAS SOPS 2797235 HAS SOUS 921444 HAS SOUPS 901317 WITH SCORE 904296.965
AT ITER 726 NEW BEST:: SOT 4170426 SOS 2986797 HAS SOPS 2804915 HAS SOUS 920072 HAS SOUPS 900044 WITH SCORE 903030.797
AT ITER 727 NEW BEST:: SOT 4170426 SOS 2985194 HAS SOPS 2800801 HAS SOUS 917479 HAS SOUPS 897451 WITH SCORE 900436.194
AT ITER 738 NEW BEST:: SOT 4171005 SOS 2986695 HAS SOPS 2812399 HAS SOUS 905098 HAS SOUPS 885284 WITH SCORE 888270.695
AT ITER 742 NEW BEST:: SOT 4171005 SOS 2986678 HAS SOPS 2812382 HAS SOUS 905081 HAS SOUPS 885284 WITH SCORE 888270.678
AT ITER 743 NEW BEST:: SOT 4171005 SOS 2985491 HAS SOPS 2810996 HAS SOUS 904868 HAS SOUPS 885071 WITH SCORE 888056.491
AT ITER 745 NEW BEST:: SOT 4171520 SOS 2965249 HAS SOPS 2796691 HAS SOUS 893596 HAS SOUPS 873975 WITH SCORE 876940.249
AT ITER 746 NEW BEST:: SOT 4171529 SOS 2965681 HAS SOPS 2797609 HAS SOUS 893209 HAS SOUPS 873597 WITH SCORE 876562.681
AT ITER 750 NEW BEST:: SOT 4171529 SOS 2958326 HAS SOPS 2787713 HAS SOUS 890474 HAS SOUPS 870862 WITH SCORE 873820.326
AT ITER 752 NEW BEST:: SOT 4171529 SOS 2957654 HAS SOPS 2787013 HAS SOUS 890432 HAS SOUPS 870820 WITH SCORE 873777.654
AT ITER 754 NEW BEST:: SOT 4163482 SOS 2945201 HAS SOPS 2773714 HAS SOUS 881435 HAS SOUPS 861823 WITH SCORE 864768.201
AT ITER 755 NEW BEST:: SOT 4187035 SOS 2965486 HAS SOPS 2797267 HAS SOUS 879059 HAS SOUPS 859736 WITH SCORE 862701.486
AT ITER 761 NEW BEST:: SOT 4186301 SOS 2963984 HAS SOPS 2795321 HAS SOUS 877814 HAS SOUPS 858534 WITH SCORE 861497.984
AT ITER 764 NEW BEST:: SOT 4183507 SOS 2961190 HAS SOPS 2792544 HAS SOUS 875037 HAS SOUPS 855774 WITH SCORE 858735.19
AT ITER 765 NEW BEST:: SOT 4183507 SOS 2957923 HAS SOPS 2788886 HAS SOUS 874609 HAS SOUPS 855346 WITH SCORE 858303.923
AT ITER 767 NEW BEST:: SOT 4177324 SOS 2951740 HAS SOPS 2782703 HAS SOUS 868426 HAS SOUPS 849163 WITH SCORE 852114.74
AT ITER 769 NEW BEST:: SOT 4177162 SOS 2951578 HAS SOPS 2782537 HAS SOUS 868260 HAS SOUPS 848993 WITH SCORE 851944.578
AT ITER 788 NEW BEST:: SOT 4177766 SOS 2952161 HAS SOPS 2783141 HAS SOUS 868185 HAS SOUPS 848925 WITH SCORE 851877.161
AT ITER 789 NEW BEST:: SOT 4167125 SOS 2941520 HAS SOPS 2772500 HAS SOUS 857544 HAS SOUPS 838284 WITH SCORE 841225.52
AT ITER 792 NEW BEST:: SOT 4170021 SOS 2944093 HAS SOPS 2775396 HAS SOUS 856963 HAS SOUPS 837741 WITH SCORE 840685.093
AT ITER 793 NEW BEST:: SOT 4170020 SOS 2944092 HAS SOPS 2775395 HAS SOUS 856962 HAS SOUPS 837740 WITH SCORE 840684.092
AT ITER 799 NEW BEST:: SOT 4170005 SOS 2944077 HAS SOPS 2775380 HAS SOUS 856947 HAS SOUPS 837725 WITH SCORE 840669.077
AT ITER 802 NEW BEST:: SOT 4168202 SOS 2942274 HAS SOPS 2773577 HAS SOUS 855144 HAS SOUPS 835922 WITH SCORE 838864.274
AT ITER 806 NEW BEST:: SOT 4168202 SOS 2933297 HAS SOPS 2759954 HAS SOUS 850381 HAS SOUPS 831159 WITH SCORE 834092.297
AT ITER 807 NEW BEST:: SOT 4163752 SOS 2928790 HAS SOPS 2755447 HAS SOUS 845874 HAS SOUPS 826652 WITH SCORE 829580.79
AT ITER 809 NEW BEST:: SOT 4163057 SOS 2928038 HAS SOPS 2754695 HAS SOUS 845122 HAS SOUPS 825900 WITH SCORE 828828.038
AT ITER 812 NEW BEST:: SOT 4163057 SOS 2926003 HAS SOPS 2752265 HAS SOUS 844792 HAS SOUPS 825455 WITH SCORE 828381.003
AT ITER 813 NEW BEST:: SOT 4163037 SOS 2925983 HAS SOPS 2752245 HAS SOUS 844772 HAS SOUPS 825435 WITH SCORE 828360.983
AT ITER 817 NEW BEST:: SOT 4161171 SOS 2925055 HAS SOPS 2751490 HAS SOUS 843056 HAS SOUPS 823764 WITH SCORE 826689.055
AT ITER 819 NEW BEST:: SOT 4161171 SOS 2920776 HAS SOPS 2746690 HAS SOUS 842487 HAS SOUPS 823195 WITH SCORE 826115.776
AT ITER 821 NEW BEST:: SOT 4182143 SOS 2949868 HAS SOPS 2786749 HAS SOUS 836389 HAS SOUPS 817296 WITH SCORE 820245.868
AT ITER 823 NEW BEST:: SOT 4181850 SOS 2949575 HAS SOPS 2786456 HAS SOUS 836096 HAS SOUPS 817003 WITH SCORE 819952.575
AT ITER 825 NEW BEST:: SOT 4181313 SOS 2949038 HAS SOPS 2785919 HAS SOUS 835559 HAS SOUPS 816466 WITH SCORE 819415.038
AT ITER 830 NEW BEST:: SOT 4180758 SOS 2948483 HAS SOPS 2785318 HAS SOUS 834949 HAS SOUPS 815819 WITH SCORE 818767.483
AT ITER 832 NEW BEST:: SOT 4180736 SOS 2948461 HAS SOPS 2785230 HAS SOUS 834861 HAS SOUPS 815665 WITH SCORE 818613.461
AT ITER 835 NEW BEST:: SOT 4180694 SOS 2948419 HAS SOPS 2785089 HAS SOUS 834841 HAS SOUPS 815425 WITH SCORE 818373.419
AT ITER 838 NEW BEST:: SOT 4180694 SOS 2946628 HAS SOPS 2782920 HAS SOUS 834254 HAS SOUPS 815007 WITH SCORE 817953.628
AT ITER 841 NEW BEST:: SOT 4180694 SOS 2943812 HAS SOPS 2779659 HAS SOUS 833716 HAS SOUPS 814469 WITH SCORE 817412.812
AT ITER 847 NEW BEST:: SOT 4179208 SOS 2942172 HAS SOPS 2777973 HAS SOUS 832180 HAS SOUPS 812933 WITH SCORE 815875.172
AT ITER 851 NEW BEST:: SOT 4180129 SOS 2948119 HAS SOPS 2788893 HAS SOUS 828471 HAS SOUPS 809224 WITH SCORE 812172.119
AT ITER 853 NEW BEST:: SOT 4180129 SOS 2941806 HAS SOPS 2781261 HAS SOUS 827120 HAS SOUPS 807873 WITH SCORE 810814.806
AT ITER 857 NEW BEST:: SOT 4180129 SOS 2941725 HAS SOPS 2781179 HAS SOUS 827038 HAS SOUPS 807791 WITH SCORE 810732.725
AT ITER 863 NEW BEST:: SOT 4169071 SOS 2914477 HAS SOPS 2749214 HAS SOUS 810849 HAS SOUPS 791602 WITH SCORE 794516.477
AT ITER 865 NEW BEST:: SOT 4169071 SOS 2909422 HAS SOPS 2743962 HAS SOUS 810492 HAS SOUPS 791301 WITH SCORE 794210.422
AT ITER 875 NEW BEST:: SOT 4170773 SOS 2910184 HAS SOPS 2745664 HAS SOUS 808534 HAS SOUPS 789389 WITH SCORE 792299.184
AT ITER 877 NEW BEST:: SOT 4171837 SOS 2906496 HAS SOPS 2740071 HAS SOUS 807682 HAS SOUPS 788537 WITH SCORE 791443.496
AT ITER 883 NEW BEST:: SOT 4171837 SOS 2903022 HAS SOPS 2736471 HAS SOUS 807484 HAS SOUPS 788375 WITH SCORE 791278.022
AT ITER 889 NEW BEST:: SOT 4171837 SOS 2901441 HAS SOPS 2734754 HAS SOUS 807297 HAS SOUPS 788205 WITH SCORE 791106.441
AT ITER 899 NEW BEST:: SOT 4171837 SOS 2900037 HAS SOPS 2733303 HAS SOUS 807220 HAS SOUPS 788143 WITH SCORE 791043.037
AT ITER 909 NEW BEST:: SOT 4171837 SOS 2899689 HAS SOPS 2732693 HAS SOUS 806610 HAS SOUPS 787533 WITH SCORE 790432.689
AT ITER 911 NEW BEST:: SOT 4191054 SOS 2924834 HAS SOPS 2769257 HAS SOUS 795303 HAS SOUPS 776710 WITH SCORE 779634.834
AT ITER 915 NEW BEST:: SOT 4190658 SOS 2924438 HAS SOPS 2768861 HAS SOUS 794907 HAS SOUPS 776314 WITH SCORE 779238.438
AT ITER 930 NEW BEST:: SOT 4190658 SOS 2920385 HAS SOPS 2763961 HAS SOUS 793962 HAS SOUPS 775369 WITH SCORE 778289.385
AT ITER 931 NEW BEST:: SOT 4190730 SOS 2916709 HAS SOPS 2764740 HAS SOUS 790003 HAS SOUPS 771495 WITH SCORE 774411.709
AT ITER 933 NEW BEST:: SOT 4190730 SOS 2921854 HAS SOPS 2769809 HAS SOUS 789893 HAS SOUPS 771308 WITH SCORE 774229.854
AT ITER 937 NEW BEST:: SOT 4190752 SOS 2917878 HAS SOPS 2765659 HAS SOUS 789886 HAS SOUPS 771301 WITH SCORE 774218.878
AT ITER 941 NEW BEST:: SOT 4199653 SOS 2926491 HAS SOPS 2774666 HAS SOUS 788715 HAS SOUPS 770282 WITH SCORE 773208.491
AT ITER 944 NEW BEST:: SOT 4201154 SOS 2927843 HAS SOPS 2776189 HAS SOUS 788605 HAS SOUPS 770190 WITH SCORE 773117.843
AT ITER 950 NEW BEST:: SOT 4201023 SOS 2927712 HAS SOPS 2775994 HAS SOUS 788410 HAS SOUPS 769931 WITH SCORE 772858.712
AT ITER 951 NEW BEST:: SOT 4200815 SOS 2927535 HAS SOPS 2775817 HAS SOUS 788233 HAS SOUPS 769754 WITH SCORE 772681.535
AT ITER 954 NEW BEST:: SOT 4200815 SOS 2923705 HAS SOPS 2771575 HAS SOUS 787695 HAS SOUPS 769258 WITH SCORE 772181.705
AT ITER 957 NEW BEST:: SOT 4199811 SOS 2922701 HAS SOPS 2770665 HAS SOUS 786785 HAS SOUPS 768442 WITH SCORE 771364.701
AT ITER 973 NEW BEST:: SOT 4199811 SOS 2913625 HAS SOPS 2761140 HAS SOUS 786212 HAS SOUPS 767972 WITH SCORE 770885.625
AT ITER 975 NEW BEST:: SOT 4199754 SOS 2907031 HAS SOPS 2754473 HAS SOUS 785984 HAS SOUPS 767768 WITH SCORE 770675.031
AT ITER 976 NEW BEST:: SOT 4188389 SOS 2895726 HAS SOPS 2743082 HAS SOUS 774509 HAS SOUPS 756291 WITH SCORE 759186.726
AT ITER 978 NEW BEST:: SOT 4188389 SOS 2893328 HAS SOPS 2740605 HAS SOUS 774380 HAS SOUPS 756210 WITH SCORE 759103.328
AT ITER 981 NEW BEST:: SOT 4189314 SOS 2893602 HAS SOPS 2741530 HAS SOUS 773056 HAS SOUPS 754915 WITH SCORE 757808.602
AT ITER 983 NEW BEST:: SOT 4189248 SOS 2892196 HAS SOPS 2740050 HAS SOUS 773103 HAS SOUPS 754710 WITH SCORE 757602.196
AT ITER 986 NEW BEST:: SOT 4189210 SOS 2892158 HAS SOPS 2740012 HAS SOUS 773065 HAS SOUPS 754672 WITH SCORE 757564.158
AT ITER 988 NEW BEST:: SOT 4189210 SOS 2892150 HAS SOPS 2739981 HAS SOUS 773019 HAS SOUPS 754626 WITH SCORE 757518.15
AT ITER 989 NEW BEST:: SOT 4188753 SOS 2891693 HAS SOPS 2739510 HAS SOUS 772545 HAS SOUPS 754141 WITH SCORE 757032.693
AT ITER 992 NEW BEST:: SOT 4188753 SOS 2888330 HAS SOPS 2735773 HAS SOUS 772134 HAS SOUPS 753693 WITH SCORE 756581.33
AT ITER 997 NEW BEST:: SOT 4187717 SOS 2887294 HAS SOPS 2734737 HAS SOUS 771098 HAS SOUPS 752657 WITH SCORE 755544.294
AT ITER 1001 NEW BEST:: SOT 4186205 SOS 2891703 HAS SOPS 2739591 HAS SOUS 770152 HAS SOUPS 751908 WITH SCORE 754799.703
AT ITER 1002 NEW BEST:: SOT 4186205 SOS 2891703 HAS SOPS 2739588 HAS SOUS 770149 HAS SOUPS 751902 WITH SCORE 754793.703
AT ITER 1003 NEW BEST:: SOT 4186205 SOS 2891569 HAS SOPS 2739454 HAS SOUS 770149 HAS SOUPS 751902 WITH SCORE 754793.569
AT ITER 1011 NEW BEST:: SOT 4182129 SOS 2873240 HAS SOPS 2720625 HAS SOUS 765112 HAS SOUPS 747324 WITH SCORE 750197.24
AT ITER 1016 NEW BEST:: SOT 4182129 SOS 2867053 HAS SOPS 2713757 HAS SOUS 764295 HAS SOUPS 746507 WITH SCORE 749374.053
AT ITER 1023 NEW BEST:: SOT 4182129 SOS 2867837 HAS SOPS 2714504 HAS SOUS 764289 HAS SOUPS 746425 WITH SCORE 749292.837
AT ITER 1027 NEW BEST:: SOT 4182050 SOS 2867694 HAS SOPS 2714361 HAS SOUS 764146 HAS SOUPS 746282 WITH SCORE 749149.694
AT ITER 1029 NEW BEST:: SOT 4185878 SOS 2871082 HAS SOPS 2718238 HAS SOUS 763612 HAS SOUPS 745797 WITH SCORE 748668.082
AT ITER 1031 NEW BEST:: SOT 4185878 SOS 2871022 HAS SOPS 2718121 HAS SOUS 763498 HAS SOUPS 745683 WITH SCORE 748554.022
AT ITER 1035 NEW BEST:: SOT 4185311 SOS 2873587 HAS SOPS 2721029 HAS SOUS 763472 HAS SOUPS 745527 WITH SCORE 748400.587
AT ITER 1037 NEW BEST:: SOT 4185311 SOS 2873648 HAS SOPS 2721014 HAS SOUS 763408 HAS SOUPS 745436 WITH SCORE 748309.648
AT ITER 1042 NEW BEST:: SOT 4186649 SOS 2880172 HAS SOPS 2737518 HAS SOUS 756727 HAS SOUPS 738755 WITH SCORE 741635.172
AT ITER 1048 NEW BEST:: SOT 4187278 SOS 2880453 HAS SOPS 2738147 HAS SOUS 755404 HAS SOUPS 737455 WITH SCORE 740335.453
AT ITER 1051 NEW BEST:: SOT 4190270 SOS 2882840 HAS SOPS 2741235 HAS SOUS 754345 HAS SOUPS 736444 WITH SCORE 739326.84
AT ITER 1053 NEW BEST:: SOT 4183845 SOS 2876415 HAS SOPS 2734956 HAS SOUS 748033 HAS SOUPS 730311 WITH SCORE 733187.415
AT ITER 1061 NEW BEST:: SOT 4183871 SOS 2868036 HAS SOPS 2725115 HAS SOUS 746574 HAS SOUPS 728852 WITH SCORE 731720.036
AT ITER 1062 NEW BEST:: SOT 4180732 SOS 2864897 HAS SOPS 2721976 HAS SOUS 743435 HAS SOUPS 725713 WITH SCORE 728577.897
AT ITER 1063 NEW BEST:: SOT 4178987 SOS 2863152 HAS SOPS 2720231 HAS SOUS 741690 HAS SOUPS 723968 WITH SCORE 726831.152
AT ITER 1070 NEW BEST:: SOT 4177859 SOS 2862024 HAS SOPS 2719145 HAS SOUS 740604 HAS SOUPS 722924 WITH SCORE 725786.024
AT ITER 1071 NEW BEST:: SOT 4184833 SOS 2868372 HAS SOPS 2726119 HAS SOUS 740304 HAS SOUPS 722703 WITH SCORE 725571.372
AT ITER 1072 NEW BEST:: SOT 4184923 SOS 2868462 HAS SOPS 2726209 HAS SOUS 740196 HAS SOUPS 722595 WITH SCORE 725463.462
AT ITER 1077 NEW BEST:: SOT 4184925 SOS 2868464 HAS SOPS 2726209 HAS SOUS 740196 HAS SOUPS 722593 WITH SCORE 725461.464
AT ITER 1084 NEW BEST:: SOT 4183543 SOS 2879578 HAS SOPS 2737851 HAS SOUS 739564 HAS SOUPS 722089 WITH SCORE 724968.578
AT ITER 1085 NEW BEST:: SOT 4183479 SOS 2877007 HAS SOPS 2734156 HAS SOUS 738304 HAS SOUPS 720829 WITH SCORE 723706.007
AT ITER 1090 NEW BEST:: SOT 4184483 SOS 2877741 HAS SOPS 2735160 HAS SOUS 737878 HAS SOUPS 720420 WITH SCORE 723297.741
AT ITER 1092 NEW BEST:: SOT 4183888 SOS 2877027 HAS SOPS 2733858 HAS SOUS 736674 HAS SOUPS 719223 WITH SCORE 722100.027
AT ITER 1094 NEW BEST:: SOT 4181489 SOS 2864555 HAS SOPS 2714491 HAS SOUS 726876 HAS SOUPS 709593 WITH SCORE 712457.555
AT ITER 1101 NEW BEST:: SOT 4181158 SOS 2864224 HAS SOPS 2714160 HAS SOUS 726545 HAS SOUPS 709262 WITH SCORE 712126.224
AT ITER 1104 NEW BEST:: SOT 4181289 SOS 2863822 HAS SOPS 2714291 HAS SOUS 725409 HAS SOUPS 708144 WITH SCORE 711007.822
AT ITER 1110 NEW BEST:: SOT 4181227 SOS 2863645 HAS SOPS 2714079 HAS SOUS 725197 HAS SOUPS 708012 WITH SCORE 710875.645
AT ITER 1116 NEW BEST:: SOT 4178711 SOS 2861129 HAS SOPS 2711563 HAS SOUS 722681 HAS SOUPS 705496 WITH SCORE 708357.129
AT ITER 1122 NEW BEST:: SOT 4178711 SOS 2861108 HAS SOPS 2711542 HAS SOUS 722681 HAS SOUPS 705496 WITH SCORE 708357.108
AT ITER 1123 NEW BEST:: SOT 4178812 SOS 2861221 HAS SOPS 2711575 HAS SOUS 722714 HAS SOUPS 705449 WITH SCORE 708310.221
AT ITER 1124 NEW BEST:: SOT 4200386 SOS 2881609 HAS SOPS 2738199 HAS SOUS 716096 HAS SOUPS 698907 WITH SCORE 701788.609
AT ITER 1126 NEW BEST:: SOT 4213076 SOS 2889518 HAS SOPS 2750995 HAS SOUS 708978 HAS SOUPS 692137 WITH SCORE 695026.518
AT ITER 1128 NEW BEST:: SOT 4213076 SOS 2888078 HAS SOPS 2749495 HAS SOUS 708888 HAS SOUPS 692047 WITH SCORE 694935.078
AT ITER 1133 NEW BEST:: SOT 4213046 SOS 2888048 HAS SOPS 2749465 HAS SOUS 708858 HAS SOUPS 692017 WITH SCORE 694905.048
AT ITER 1134 NEW BEST:: SOT 4213021 SOS 2887980 HAS SOPS 2749195 HAS SOUS 708588 HAS SOUPS 691588 WITH SCORE 694475.98
AT ITER 1142 NEW BEST:: SOT 4218319 SOS 2885314 HAS SOPS 2754481 HAS SOUS 691759 HAS SOUPS 675062 WITH SCORE 677947.314
AT ITER 1145 NEW BEST:: SOT 4216331 SOS 2883326 HAS SOPS 2752497 HAS SOUS 689775 HAS SOUPS 673082 WITH SCORE 675965.326
AT ITER 1146 NEW BEST:: SOT 4216331 SOS 2883301 HAS SOPS 2752392 HAS SOUS 689670 HAS SOUPS 672922 WITH SCORE 675805.301
AT ITER 1148 NEW BEST:: SOT 4212807 SOS 2879979 HAS SOPS 2748868 HAS SOUS 689244 HAS SOUPS 672463 WITH SCORE 675342.979
AT ITER 1155 NEW BEST:: SOT 4212024 SOS 2879196 HAS SOPS 2748085 HAS SOUS 688461 HAS SOUPS 671680 WITH SCORE 674559.196
AT ITER 1157 NEW BEST:: SOT 4211712 SOS 2875887 HAS SOPS 2744873 HAS SOUS 688098 HAS SOUPS 671436 WITH SCORE 674311.887
AT ITER 1160 NEW BEST:: SOT 4210197 SOS 2874372 HAS SOPS 2743358 HAS SOUS 686583 HAS SOUPS 669921 WITH SCORE 672795.372
AT ITER 1168 NEW BEST:: SOT 4212670 SOS 2876845 HAS SOPS 2745848 HAS SOUS 686400 HAS SOUPS 669755 WITH SCORE 672631.845
AT ITER 1171 NEW BEST:: SOT 4212670 SOS 2870942 HAS SOPS 2739672 HAS SOUS 686005 HAS SOUPS 669345 WITH SCORE 672215.942
AT ITER 1173 NEW BEST:: SOT 4212670 SOS 2863881 HAS SOPS 2732206 HAS SOUS 685452 HAS SOUPS 668800 WITH SCORE 671663.881
AT ITER 1191 NEW BEST:: SOT 4212010 SOS 2863221 HAS SOPS 2731546 HAS SOUS 684792 HAS SOUPS 668140 WITH SCORE 671003.221
AT ITER 1196 NEW BEST:: SOT 4212010 SOS 2863106 HAS SOPS 2731431 HAS SOUS 684792 HAS SOUPS 668140 WITH SCORE 671003.106
AT ITER 1205 NEW BEST:: SOT 4212010 SOS 2860002 HAS SOPS 2728043 HAS SOUS 684438 HAS SOUPS 667898 WITH SCORE 670758.002
AT ITER 1208 NEW BEST:: SOT 4212010 SOS 2860492 HAS SOPS 2728499 HAS SOUS 684414 HAS SOUPS 667867 WITH SCORE 670727.492
AT ITER 1210 NEW BEST:: SOT 4212010 SOS 2860474 HAS SOPS 2728481 HAS SOUS 684396 HAS SOUPS 667867 WITH SCORE 670727.474
AT ITER 1214 NEW BEST:: SOT 4208294 SOS 2856912 HAS SOPS 2724765 HAS SOUS 684226 HAS SOUPS 667660 WITH SCORE 670516.912
AT ITER 1225 NEW BEST:: SOT 4208294 SOS 2856799 HAS SOPS 2724652 HAS SOUS 684113 HAS SOUPS 667660 WITH SCORE 670516.799
AT ITER 1237 NEW BEST:: SOT 4207130 SOS 2853831 HAS SOPS 2719488 HAS SOUS 680673 HAS SOUPS 664220 WITH SCORE 667073.831
AT ITER 1243 NEW BEST:: SOT 4207158 SOS 2850529 HAS SOPS 2717239 HAS SOUS 679431 HAS SOUPS 663001 WITH SCORE 665851.529
AT ITER 1245 NEW BEST:: SOT 4208064 SOS 2851144 HAS SOPS 2718145 HAS SOUS 677955 HAS SOUPS 661525 WITH SCORE 664376.144
AT ITER 1254 NEW BEST:: SOT 4208483 SOS 2849332 HAS SOPS 2716074 HAS SOUS 678069 HAS SOUPS 661511 WITH SCORE 664360.332
AT ITER 1260 NEW BEST:: SOT 4208483 SOS 2849290 HAS SOPS 2716032 HAS SOUS 678069 HAS SOUPS 661469 WITH SCORE 664318.29
AT ITER 1268 NEW BEST:: SOT 4208438 SOS 2845644 HAS SOPS 2711442 HAS SOUS 676990 HAS SOUPS 660390 WITH SCORE 663235.644
AT ITER 1275 NEW BEST:: SOT 4208438 SOS 2845641 HAS SOPS 2711439 HAS SOUS 676987 HAS SOUPS 660387 WITH SCORE 663232.641
AT ITER 1290 NEW BEST:: SOT 4199380 SOS 2836689 HAS SOPS 2702320 HAS SOUS 673845 HAS SOUPS 657140 WITH SCORE 659976.689
AT ITER 1292 NEW BEST:: SOT 4199380 SOS 2836668 HAS SOPS 2702290 HAS SOUS 673815 HAS SOUPS 657110 WITH SCORE 659946.668
AT ITER 1304 NEW BEST:: SOT 4199380 SOS 2834643 HAS SOPS 2700092 HAS SOUS 673598 HAS SOUPS 656917 WITH SCORE 659751.643
AT ITER 1306 NEW BEST:: SOT 4199498 SOS 2832464 HAS SOPS 2699329 HAS SOUS 671337 HAS SOUPS 654694 WITH SCORE 657526.464
AT ITER 1334 NEW BEST:: SOT 4199498 SOS 2831476 HAS SOPS 2698331 HAS SOUS 671319 HAS SOUPS 654676 WITH SCORE 657507.476
AT ITER 1336 NEW BEST:: SOT 4219843 SOS 2866353 HAS SOPS 2747972 HAS SOUS 666295 HAS SOUPS 650177 WITH SCORE 653043.353
AT ITER 1340 NEW BEST:: SOT 4226493 SOS 2872384 HAS SOPS 2754622 HAS SOUS 664664 HAS SOUPS 648635 WITH SCORE 651507.384
AT ITER 1341 NEW BEST:: SOT 4226407 SOS 2872298 HAS SOPS 2754536 HAS SOUS 664578 HAS SOUPS 648549 WITH SCORE 651421.298
AT ITER 1342 NEW BEST:: SOT 4226391 SOS 2872282 HAS SOPS 2754520 HAS SOUS 664562 HAS SOUPS 648533 WITH SCORE 651405.282
AT ITER 1346 NEW BEST:: SOT 4226479 SOS 2872181 HAS SOPS 2754616 HAS SOUS 664047 HAS SOUPS 648034 WITH SCORE 650906.181
AT ITER 1349 NEW BEST:: SOT 4227402 SOS 2871732 HAS SOPS 2755605 HAS SOUS 661233 HAS SOUPS 645299 WITH SCORE 648170.732
AT ITER 1351 NEW BEST:: SOT 4227402 SOS 2871403 HAS SOPS 2755205 HAS SOUS 661154 HAS SOUPS 645220 WITH SCORE 648091.403
AT ITER 1352 NEW BEST:: SOT 4227402 SOS 2867006 HAS SOPS 2750764 HAS SOUS 660972 HAS SOUPS 645088 WITH SCORE 647955.006
AT ITER 1354 NEW BEST:: SOT 4227363 SOS 2863937 HAS SOPS 2746898 HAS SOUS 660040 HAS SOUPS 644187 WITH SCORE 647050.937
AT ITER 1358 NEW BEST:: SOT 4227363 SOS 2862403 HAS SOPS 2744837 HAS SOUS 659432 HAS SOUPS 643579 WITH SCORE 646441.403
AT ITER 1366 NEW BEST:: SOT 4227363 SOS 2862403 HAS SOPS 2744829 HAS SOUS 659424 HAS SOUPS 643563 WITH SCORE 646425.403
AT ITER 1370 NEW BEST:: SOT 4221012 SOS 2886171 HAS SOPS 2770292 HAS SOUS 656616 HAS SOUPS 640394 WITH SCORE 643280.171
AT ITER 1376 NEW BEST:: SOT 4230668 SOS 2894430 HAS SOPS 2779983 HAS SOUS 654604 HAS SOUPS 638548 WITH SCORE 641442.43
AT ITER 1381 NEW BEST:: SOT 4230642 SOS 2891085 HAS SOPS 2774816 HAS SOUS 652654 HAS SOUPS 636598 WITH SCORE 639489.085
AT ITER 1393 NEW BEST:: SOT 4230642 SOS 2874622 HAS SOPS 2757328 HAS SOUS 651277 HAS SOUPS 635397 WITH SCORE 638271.622
AT ITER 1406 NEW BEST:: SOT 4230575 SOS 2874555 HAS SOPS 2757261 HAS SOUS 651210 HAS SOUPS 635330 WITH SCORE 638204.555
AT ITER 1408 NEW BEST:: SOT 4230575 SOS 2875621 HAS SOPS 2758248 HAS SOUS 651151 HAS SOUPS 635248 WITH SCORE 638123.621
AT ITER 1419 NEW BEST:: SOT 4232124 SOS 2875724 HAS SOPS 2759797 HAS SOUS 647846 HAS SOUPS 632006 WITH SCORE 634881.724
AT ITER 1421 NEW BEST:: SOT 4232124 SOS 2874924 HAS SOPS 2758989 HAS SOUS 647807 HAS SOUPS 631982 WITH SCORE 634856.924
AT ITER 1422 NEW BEST:: SOT 4232124 SOS 2874808 HAS SOPS 2758823 HAS SOUS 647813 HAS SOUPS 631816 WITH SCORE 634690.808
AT ITER 1434 NEW BEST:: SOT 4227420 SOS 2866454 HAS SOPS 2745219 HAS SOUS 646581 HAS SOUPS 630495 WITH SCORE 633361.454
AT ITER 1444 NEW BEST:: SOT 4227542 SOS 2866556 HAS SOPS 2745343 HAS SOUS 646527 HAS SOUPS 630443 WITH SCORE 633309.556
AT ITER 1445 NEW BEST:: SOT 4227461 SOS 2862983 HAS SOPS 2740750 HAS SOUS 645215 HAS SOUPS 629285 WITH SCORE 632147.983
AT ITER 1469 NEW BEST:: SOT 4227388 SOS 2862910 HAS SOPS 2740677 HAS SOUS 645142 HAS SOUPS 629212 WITH SCORE 632074.91
AT ITER 1473 NEW BEST:: SOT 4226159 SOS 2861681 HAS SOPS 2739448 HAS SOUS 643913 HAS SOUPS 627983 WITH SCORE 630844.681
AT ITER 1474 NEW BEST:: SOT 4227038 SOS 2862034 HAS SOPS 2741627 HAS SOUS 639844 HAS SOUPS 623982 WITH SCORE 626844.034
AT ITER 1475 NEW BEST:: SOT 4223263 SOS 2865424 HAS SOPS 2745494 HAS SOUS 636551 HAS SOUPS 620653 WITH SCORE 623518.424
AT ITER 1482 NEW BEST:: SOT 4223263 SOS 2865721 HAS SOPS 2745772 HAS SOUS 636538 HAS SOUPS 620640 WITH SCORE 623505.721
AT ITER 1483 NEW BEST:: SOT 4223263 SOS 2865706 HAS SOPS 2745742 HAS SOUS 636508 HAS SOUPS 620610 WITH SCORE 623475.706
AT ITER 1505 NEW BEST:: SOT 4223242 SOS 2865685 HAS SOPS 2745721 HAS SOUS 636487 HAS SOUPS 620589 WITH SCORE 623454.685
AT ITER 1523 NEW BEST:: SOT 4223242 SOS 2864027 HAS SOPS 2744021 HAS SOUS 636436 HAS SOUPS 620530 WITH SCORE 623394.027
AT ITER 1526 NEW BEST:: SOT 4223226 SOS 2862490 HAS SOPS 2742407 HAS SOUS 636342 HAS SOUPS 620360 WITH SCORE 623222.49
AT ITER 1535 NEW BEST:: SOT 4223088 SOS 2862352 HAS SOPS 2742269 HAS SOUS 636204 HAS SOUPS 620222 WITH SCORE 623084.352
AT ITER 1539 NEW BEST:: SOT 4223011 SOS 2862275 HAS SOPS 2742192 HAS SOUS 636127 HAS SOUPS 620145 WITH SCORE 623007.275
AT ITER 1540 NEW BEST:: SOT 4223011 SOS 2858525 HAS SOPS 2738373 HAS SOUS 636101 HAS SOUPS 620118 WITH SCORE 622976.525
AT ITER 1542 NEW BEST:: SOT 4223011 SOS 2858583 HAS SOPS 2738373 HAS SOUS 636101 HAS SOUPS 620060 WITH SCORE 622918.583
AT ITER 1550 NEW BEST:: SOT 4224481 SOS 2849862 HAS SOPS 2727218 HAS SOUS 634887 HAS SOUPS 618846 WITH SCORE 621695.862
AT ITER 1553 NEW BEST:: SOT 4224481 SOS 2849090 HAS SOPS 2726438 HAS SOUS 634818 HAS SOUPS 618822 WITH SCORE 621671.09
AT ITER 1557 NEW BEST:: SOT 4223902 SOS 2846400 HAS SOPS 2723059 HAS SOUS 633494 HAS SOUPS 617498 WITH SCORE 620344.4
AT ITER 1563 NEW BEST:: SOT 4223902 SOS 2844400 HAS SOPS 2721059 HAS SOUS 633454 HAS SOUPS 617478 WITH SCORE 620322.4
AT ITER 1566 NEW BEST:: SOT 4223802 SOS 2842747 HAS SOPS 2719390 HAS SOUS 633348 HAS SOUPS 617372 WITH SCORE 620214.747
AT ITER 1571 NEW BEST:: SOT 4223802 SOS 2841583 HAS SOPS 2718178 HAS SOUS 633240 HAS SOUPS 617300 WITH SCORE 620141.583
AT ITER 1574 NEW BEST:: SOT 4223797 SOS 2841578 HAS SOPS 2718173 HAS SOUS 633235 HAS SOUPS 617295 WITH SCORE 620136.578
AT ITER 1575 NEW BEST:: SOT 4223797 SOS 2841702 HAS SOPS 2718173 HAS SOUS 633235 HAS SOUPS 617171 WITH SCORE 620012.702
AT ITER 1579 NEW BEST:: SOT 4220348 SOS 2838397 HAS SOPS 2714724 HAS SOUS 632442 HAS SOUPS 616350 WITH SCORE 619188.397
AT ITER 1590 NEW BEST:: SOT 4223100 SOS 2837140 HAS SOPS 2717586 HAS SOUS 625013 HAS SOUPS 609174 WITH SCORE 612011.14
AT ITER 1591 NEW BEST:: SOT 4224368 SOS 2844458 HAS SOPS 2728247 HAS SOUS 620510 HAS SOUPS 604764 WITH SCORE 607608.458
AT ITER 1593 NEW BEST:: SOT 4224368 SOS 2829787 HAS SOPS 2713526 HAS SOUS 620162 HAS SOUPS 604580 WITH SCORE 607409.787
AT ITER 1595 NEW BEST:: SOT 4224368 SOS 2824441 HAS SOPS 2708180 HAS SOUS 620054 HAS SOUPS 604526 WITH SCORE 607350.441
AT ITER 1598 NEW BEST:: SOT 4224368 SOS 2822434 HAS SOPS 2706164 HAS SOUS 620264 HAS SOUPS 604494 WITH SCORE 607316.434
AT ITER 1600 NEW BEST:: SOT 4225549 SOS 2823052 HAS SOPS 2707345 HAS SOUS 615508 HAS SOUPS 599803 WITH SCORE 602626.052
AT ITER 1606 NEW BEST:: SOT 4229401 SOS 2826677 HAS SOPS 2711197 HAS SOUS 613487 HAS SOUPS 597843 WITH SCORE 600669.677
AT ITER 1610 NEW BEST:: SOT 4227005 SOS 2822832 HAS SOPS 2706001 HAS SOUS 613284 HAS SOUPS 597604 WITH SCORE 600426.832
AT ITER 1615 NEW BEST:: SOT 4238595 SOS 2834051 HAS SOPS 2717591 HAS SOUS 612979 HAS SOUPS 597388 WITH SCORE 600222.051
AT ITER 1618 NEW BEST:: SOT 4225846 SOS 2821909 HAS SOPS 2704812 HAS SOUS 610293 HAS SOUPS 594565 WITH SCORE 597386.909
AT ITER 1619 NEW BEST:: SOT 4225846 SOS 2821905 HAS SOPS 2704808 HAS SOUS 610289 HAS SOUPS 594561 WITH SCORE 597382.905
AT ITER 1620 NEW BEST:: SOT 4225846 SOS 2821805 HAS SOPS 2704708 HAS SOUS 610286 HAS SOUPS 594560 WITH SCORE 597381.805
AT ITER 1622 NEW BEST:: SOT 4225846 SOS 2821421 HAS SOPS 2704304 HAS SOUS 610258 HAS SOUPS 594532 WITH SCORE 597353.421
AT ITER 1633 NEW BEST:: SOT 4225842 SOS 2821417 HAS SOPS 2704206 HAS SOUS 610092 HAS SOUPS 594340 WITH SCORE 597161.417
AT ITER 1634 NEW BEST:: SOT 4225842 SOS 2818266 HAS SOPS 2700974 HAS SOUS 609947 HAS SOUPS 594195 WITH SCORE 597013.266
AT ITER 1638 NEW BEST:: SOT 4225842 SOS 2817857 HAS SOPS 2699740 HAS SOUS 609059 HAS SOUPS 593346 WITH SCORE 596163.857
AT ITER 1654 NEW BEST:: SOT 4226307 SOS 2818578 HAS SOPS 2704449 HAS SOUS 601402 HAS SOUPS 585706 WITH SCORE 588524.578
AT ITER 1658 NEW BEST:: SOT 4226265 SOS 2818536 HAS SOPS 2704404 HAS SOUS 601357 HAS SOUPS 585658 WITH SCORE 588476.536
AT ITER 1660 NEW BEST:: SOT 4226265 SOS 2812639 HAS SOPS 2698204 HAS SOUS 600930 HAS SOUPS 585293 WITH SCORE 588105.639
AT ITER 1665 NEW BEST:: SOT 4226266 SOS 2812640 HAS SOPS 2698038 HAS SOUS 600764 HAS SOUPS 584960 WITH SCORE 587772.64
AT ITER 1672 NEW BEST:: SOT 4226266 SOS 2812640 HAS SOPS 2698030 HAS SOUS 600756 HAS SOUPS 584944 WITH SCORE 587756.64
AT ITER 1678 NEW BEST:: SOT 4226266 SOS 2810360 HAS SOPS 2695750 HAS SOUS 600713 HAS SOUPS 584921 WITH SCORE 587731.36
AT ITER 1682 NEW BEST:: SOT 4221276 SOS 2805461 HAS SOPS 2690760 HAS SOUS 599032 HAS SOUPS 583206 WITH SCORE 586011.461
AT ITER 1700 NEW BEST:: SOT 4221276 SOS 2803783 HAS SOPS 2688740 HAS SOUS 598650 HAS SOUPS 582824 WITH SCORE 585627.783
AT ITER 1703 NEW BEST:: SOT 4222620 SOS 2803995 HAS SOPS 2690087 HAS SOUS 596129 HAS SOUPS 580356 WITH SCORE 583159.995
AT ITER 1705 NEW BEST:: SOT 4222524 SOS 2802704 HAS SOPS 2688779 HAS SOUS 595833 HAS SOUPS 580219 WITH SCORE 583021.704
AT ITER 1710 NEW BEST:: SOT 4222524 SOS 2802231 HAS SOPS 2688179 HAS SOUS 595694 HAS SOUPS 580080 WITH SCORE 582882.231
AT ITER 1711 NEW BEST:: SOT 4222524 SOS 2802226 HAS SOPS 2688079 HAS SOUS 595624 HAS SOUPS 579984 WITH SCORE 582786.226
AT ITER 1714 NEW BEST:: SOT 4222524 SOS 2799874 HAS SOPS 2685703 HAS SOUS 595576 HAS SOUPS 579936 WITH SCORE 582735.874
AT ITER 1729 NEW BEST:: SOT 4220715 SOS 2797580 HAS SOPS 2683094 HAS SOUS 593436 HAS SOUPS 577796 WITH SCORE 580593.58
AT ITER 1731 NEW BEST:: SOT 4223249 SOS 2800114 HAS SOPS 2685628 HAS SOUS 593198 HAS SOUPS 577558 WITH SCORE 580358.114
AT ITER 1739 NEW BEST:: SOT 4242017 SOS 2815166 HAS SOPS 2704583 HAS SOUS 589769 HAS SOUPS 574577 WITH SCORE 577392.166
AT ITER 1743 NEW BEST:: SOT 4242017 SOS 2832002 HAS SOPS 2721229 HAS SOUS 589598 HAS SOUPS 574330 WITH SCORE 577162.002
AT ITER 1744 NEW BEST:: SOT 4241986 SOS 2831971 HAS SOPS 2721198 HAS SOUS 589567 HAS SOUPS 574299 WITH SCORE 577130.971
AT ITER 1754 NEW BEST:: SOT 4241986 SOS 2828464 HAS SOPS 2717670 HAS SOUS 589434 HAS SOUPS 574215 WITH SCORE 577043.464
AT ITER 1760 NEW BEST:: SOT 4237949 SOS 2841710 HAS SOPS 2733808 HAS SOUS 588687 HAS SOUPS 573544 WITH SCORE 576385.71
AT ITER 1770 NEW BEST:: SOT 4237949 SOS 2841710 HAS SOPS 2733789 HAS SOUS 588668 HAS SOUPS 573506 WITH SCORE 576347.71
AT ITER 1771 NEW BEST:: SOT 4237949 SOS 2841710 HAS SOPS 2733775 HAS SOUS 588668 HAS SOUPS 573478 WITH SCORE 576319.71
AT ITER 1772 NEW BEST:: SOT 4237949 SOS 2848034 HAS SOPS 2740052 HAS SOUS 588771 HAS SOUPS 573471 WITH SCORE 576319.034
AT ITER 1778 NEW BEST:: SOT 4232237 SOS 2842898 HAS SOPS 2734340 HAS SOUS 588783 HAS SOUPS 573420 WITH SCORE 576262.898
AT ITER 1779 NEW BEST:: SOT 4232237 SOS 2842740 HAS SOPS 2733648 HAS SOUS 588235 HAS SOUPS 572880 WITH SCORE 575722.74
AT ITER 1787 NEW BEST:: SOT 4232237 SOS 2841929 HAS SOPS 2732829 HAS SOUS 588192 HAS SOUPS 572845 WITH SCORE 575686.929
AT ITER 1788 NEW BEST:: SOT 4232223 SOS 2841915 HAS SOPS 2732686 HAS SOUS 588049 HAS SOUPS 572573 WITH SCORE 575414.915
AT ITER 1794 NEW BEST:: SOT 4218872 SOS 2829597 HAS SOPS 2719335 HAS SOUS 587764 HAS SOUPS 572247 WITH SCORE 575076.597
AT ITER 1795 NEW BEST:: SOT 4218872 SOS 2829597 HAS SOPS 2719195 HAS SOUS 587624 HAS SOUPS 572107 WITH SCORE 574936.597
AT ITER 1802 NEW BEST:: SOT 4218872 SOS 2828112 HAS SOPS 2717680 HAS SOUS 587621 HAS SOUPS 572047 WITH SCORE 574875.112
AT ITER 1809 NEW BEST:: SOT 4218166 SOS 2836058 HAS SOPS 2725862 HAS SOUS 587430 HAS SOUPS 571753 WITH SCORE 574589.058
AT ITER 1816 NEW BEST:: SOT 4216956 SOS 2834848 HAS SOPS 2724652 HAS SOUS 586118 HAS SOUPS 570543 WITH SCORE 573377.848
AT ITER 1818 NEW BEST:: SOT 4214231 SOS 2825517 HAS SOPS 2715515 HAS SOUS 583409 HAS SOUPS 568134 WITH SCORE 570959.517
AT ITER 1820 NEW BEST:: SOT 4214231 SOS 2832543 HAS SOPS 2722450 HAS SOUS 583323 HAS SOUPS 568048 WITH SCORE 570880.543
AT ITER 1835 NEW BEST:: SOT 4214231 SOS 2831743 HAS SOPS 2721650 HAS SOUS 583307 HAS SOUPS 568040 WITH SCORE 570871.743
AT ITER 1838 NEW BEST:: SOT 4214470 SOS 2831820 HAS SOPS 2721905 HAS SOUS 582932 HAS SOUPS 567673 WITH SCORE 570504.82
AT ITER 1841 NEW BEST:: SOT 4214473 SOS 2831823 HAS SOPS 2721838 HAS SOUS 582865 HAS SOUPS 567536 WITH SCORE 570367.823
AT ITER 1844 NEW BEST:: SOT 4214473 SOS 2824308 HAS SOPS 2714162 HAS SOUS 582552 HAS SOUPS 567223 WITH SCORE 570047.308
AT ITER 1848 NEW BEST:: SOT 4214473 SOS 2822196 HAS SOPS 2712071 HAS SOUS 582342 HAS SOUPS 567204 WITH SCORE 570026.196
AT ITER 1864 NEW BEST:: SOT 4214551 SOS 2821072 HAS SOPS 2712149 HAS SOUS 580822 HAS SOUPS 565712 WITH SCORE 568533.072
AT ITER 1869 NEW BEST:: SOT 4214551 SOS 2824619 HAS SOPS 2715636 HAS SOUS 580927 HAS SOUPS 565674 WITH SCORE 568498.619
AT ITER 1870 NEW BEST:: SOT 4214551 SOS 2825512 HAS SOPS 2716470 HAS SOUS 580822 HAS SOUPS 565565 WITH SCORE 568390.512
AT ITER 1874 NEW BEST:: SOT 4212129 SOS 2818829 HAS SOPS 2709744 HAS SOUS 578271 HAS SOUPS 563014 WITH SCORE 565832.829
AT ITER 1881 NEW BEST:: SOT 4212012 SOS 2818607 HAS SOPS 2709512 HAS SOUS 578039 HAS SOUPS 562782 WITH SCORE 565600.607
AT ITER 1885 NEW BEST:: SOT 4212012 SOS 2818607 HAS SOPS 2709473 HAS SOUS 577985 HAS SOUPS 562704 WITH SCORE 565522.607
AT ITER 1888 NEW BEST:: SOT 4212012 SOS 2800640 HAS SOPS 2682846 HAS SOUS 569041 HAS SOUPS 553768 WITH SCORE 556568.64
AT ITER 1889 NEW BEST:: SOT 4209996 SOS 2807592 HAS SOPS 2691132 HAS SOUS 568708 HAS SOUPS 553290 WITH SCORE 556097.592
AT ITER 1891 NEW BEST:: SOT 4218035 SOS 2813778 HAS SOPS 2699353 HAS SOUS 566011 HAS SOUPS 550722 WITH SCORE 553535.778
AT ITER 1896 NEW BEST:: SOT 4218035 SOS 2813778 HAS SOPS 2699193 HAS SOUS 565973 HAS SOUPS 550402 WITH SCORE 553215.778
AT ITER 1900 NEW BEST:: SOT 4220824 SOS 2816046 HAS SOPS 2701982 HAS SOUS 563383 HAS SOUPS 547871 WITH SCORE 550687.046
AT ITER 1901 NEW BEST:: SOT 4220824 SOS 2816041 HAS SOPS 2701974 HAS SOUS 563378 HAS SOUPS 547865 WITH SCORE 550681.041
AT ITER 1907 NEW BEST:: SOT 4220824 SOS 2814606 HAS SOPS 2700525 HAS SOUS 563312 HAS SOUPS 547788 WITH SCORE 550602.606
AT ITER 1908 NEW BEST:: SOT 4220826 SOS 2814428 HAS SOPS 2699978 HAS SOUS 562984 HAS SOUPS 547460 WITH SCORE 550274.428
AT ITER 1911 NEW BEST:: SOT 4222648 SOS 2799122 HAS SOPS 2679646 HAS SOUS 559348 HAS SOUPS 543942 WITH SCORE 546741.122
AT ITER 1929 NEW BEST:: SOT 4222648 SOS 2799122 HAS SOPS 2679622 HAS SOUS 559324 HAS SOUPS 543894 WITH SCORE 546693.122
AT ITER 1931 NEW BEST:: SOT 4222648 SOS 2792942 HAS SOPS 2673381 HAS SOUS 559017 HAS SOUPS 543631 WITH SCORE 546423.942
AT ITER 1933 NEW BEST:: SOT 4222648 SOS 2791896 HAS SOPS 2672325 HAS SOUS 558987 HAS SOUPS 543601 WITH SCORE 546392.896
AT ITER 1935 NEW BEST:: SOT 4222704 SOS 2783255 HAS SOPS 2663576 HAS SOUS 558759 HAS SOUPS 543373 WITH SCORE 546156.255
AT ITER 1943 NEW BEST:: SOT 4222704 SOS 2783255 HAS SOPS 2663537 HAS SOUS 558681 HAS SOUPS 543295 WITH SCORE 546078.255
AT ITER 1962 NEW BEST:: SOT 4221941 SOS 2782492 HAS SOPS 2662774 HAS SOUS 558314 HAS SOUPS 542928 WITH SCORE 545710.492
AT ITER 1966 NEW BEST:: SOT 4223687 SOS 2782256 HAS SOPS 2664520 HAS SOUS 553442 HAS SOUPS 538142 WITH SCORE 540924.256
AT ITER 1968 NEW BEST:: SOT 4223687 SOS 2773745 HAS SOPS 2655935 HAS SOUS 553348 HAS SOUPS 537898 WITH SCORE 540671.745
AT ITER 1970 NEW BEST:: SOT 4223640 SOS 2773698 HAS SOPS 2655888 HAS SOUS 553301 HAS SOUPS 537851 WITH SCORE 540624.698
AT ITER 1975 NEW BEST:: SOT 4223640 SOS 2773600 HAS SOPS 2655789 HAS SOUS 553299 HAS SOUPS 537849 WITH SCORE 540622.6
AT ITER 1984 NEW BEST:: SOT 4223640 SOS 2767069 HAS SOPS 2650245 HAS SOUS 553198 HAS SOUPS 537808 WITH SCORE 540575.069
AT ITER 1990 NEW BEST:: SOT 4223640 SOS 2764664 HAS SOPS 2647816 HAS SOUS 553260 HAS SOUPS 537731 WITH SCORE 540495.664
AT ITER 1992 NEW BEST:: SOT 4223640 SOS 2764017 HAS SOPS 2647116 HAS SOUS 553239 HAS SOUPS 537671 WITH SCORE 540435.017
AT ITER 1999 NEW BEST:: SOT 4223640 SOS 2762723 HAS SOPS 2645334 HAS SOUS 552715 HAS SOUPS 537165 WITH SCORE 539927.723
AT ITER 2017 NEW BEST:: SOT 4222981 SOS 2756718 HAS SOPS 2639318 HAS SOUS 551887 HAS SOUPS 536480 WITH SCORE 539236.718
AT ITER 2028 NEW BEST:: SOT 4223283 SOS 2757805 HAS SOPS 2640832 HAS SOUS 551440 HAS SOUPS 536045 WITH SCORE 538802.805
AT ITER 2029 NEW BEST:: SOT 4223283 SOS 2755205 HAS SOPS 2638206 HAS SOUS 551336 HAS SOUPS 535967 WITH SCORE 538722.205
AT ITER 2031 NEW BEST:: SOT 4225198 SOS 2757695 HAS SOPS 2641521 HAS SOUS 551104 HAS SOUPS 535765 WITH SCORE 538522.695
AT ITER 2041 NEW BEST:: SOT 4225198 SOS 2760500 HAS SOPS 2644187 HAS SOUS 551048 HAS SOUPS 535520 WITH SCORE 538280.5
AT ITER 2054 NEW BEST:: SOT 4225198 SOS 2760500 HAS SOPS 2644170 HAS SOUS 551031 HAS SOUPS 535486 WITH SCORE 538246.5
AT ITER 2062 NEW BEST:: SOT 4221306 SOS 2781634 HAS SOPS 2666717 HAS SOUS 549049 HAS SOUPS 533463 WITH SCORE 536244.634
AT ITER 2063 NEW BEST:: SOT 4221306 SOS 2780241 HAS SOPS 2665331 HAS SOUS 549028 HAS SOUPS 533456 WITH SCORE 536236.241
AT ITER 2070 NEW BEST:: SOT 4221306 SOS 2776116 HAS SOPS 2661231 HAS SOUS 548905 HAS SOUPS 533440 WITH SCORE 536216.116
AT ITER 2076 NEW BEST:: SOT 4221306 SOS 2775822 HAS SOPS 2660931 HAS SOUS 548893 HAS SOUPS 533428 WITH SCORE 536203.822
AT ITER 2086 NEW BEST:: SOT 4221306 SOS 2775701 HAS SOPS 2660755 HAS SOUS 548783 HAS SOUPS 533318 WITH SCORE 536093.701
AT ITER 2092 NEW BEST:: SOT 4227483 SOS 2779788 HAS SOPS 2667054 HAS SOUS 544572 HAS SOUPS 529355 WITH SCORE 532134.788
AT ITER 2094 NEW BEST:: SOT 4228633 SOS 2780485 HAS SOPS 2668204 HAS SOUS 543575 HAS SOUPS 528384 WITH SCORE 531164.485
AT ITER 2105 NEW BEST:: SOT 4236325 SOS 2786544 HAS SOPS 2675896 HAS SOUS 541200 HAS SOUPS 526126 WITH SCORE 528912.544
AT ITER 2110 NEW BEST:: SOT 4236682 SOS 2786489 HAS SOPS 2672718 HAS SOUS 541309 HAS SOUPS 523290 WITH SCORE 526076.489
AT ITER 2111 NEW BEST:: SOT 4236682 SOS 2785798 HAS SOPS 2672027 HAS SOUS 541304 HAS SOUPS 523285 WITH SCORE 526070.798
AT ITER 2125 NEW BEST:: SOT 4236655 SOS 2785744 HAS SOPS 2671952 HAS SOUS 541229 HAS SOUPS 523210 WITH SCORE 525995.744
AT ITER 2126 NEW BEST:: SOT 4236655 SOS 2779500 HAS SOPS 2665670 HAS SOUS 540987 HAS SOUPS 523127 WITH SCORE 525906.5
AT ITER 2136 NEW BEST:: SOT 4236655 SOS 2765846 HAS SOPS 2651220 HAS SOUS 539937 HAS SOUPS 522103 WITH SCORE 524868.846
AT ITER 2137 NEW BEST:: SOT 4236655 SOS 2764544 HAS SOPS 2646574 HAS SOUS 536455 HAS SOUPS 518667 WITH SCORE 521431.544
AT ITER 2140 NEW BEST:: SOT 4236537 SOS 2740400 HAS SOPS 2619795 HAS SOUS 533182 HAS SOUPS 515419 WITH SCORE 518159.4
AT ITER 2156 NEW BEST:: SOT 4233765 SOS 2737780 HAS SOPS 2617023 HAS SOUS 532458 HAS SOUPS 514673 WITH SCORE 517410.78
AT ITER 2157 NEW BEST:: SOT 4233619 SOS 2735885 HAS SOPS 2615086 HAS SOUS 532234 HAS SOUPS 514473 WITH SCORE 517208.885
AT ITER 2174 NEW BEST:: SOT 4232158 SOS 2734424 HAS SOPS 2613625 HAS SOUS 530773 HAS SOUPS 513012 WITH SCORE 515746.424
AT ITER 2182 NEW BEST:: SOT 4232158 SOS 2732041 HAS SOPS 2611218 HAS SOUS 530701 HAS SOUPS 512940 WITH SCORE 515672.041
AT ITER 2194 NEW BEST:: SOT 4232158 SOS 2725773 HAS SOPS 2604924 HAS SOUS 530549 HAS SOUPS 512857 WITH SCORE 515582.773
AT ITER 2221 NEW BEST:: SOT 4232158 SOS 2733322 HAS SOPS 2612386 HAS SOUS 530465 HAS SOUPS 512773 WITH SCORE 515506.322
AT ITER 2223 NEW BEST:: SOT 4232158 SOS 2729405 HAS SOPS 2608386 HAS SOUS 530302 HAS SOUPS 512610 WITH SCORE 515339.405
AT ITER 2238 NEW BEST:: SOT 4234817 SOS 2731243 HAS SOPS 2611045 HAS SOUS 527582 HAS SOUPS 509952 WITH SCORE 512683.243
AT ITER 2239 NEW BEST:: SOT 4234817 SOS 2717496 HAS SOPS 2596057 HAS SOUS 526022 HAS SOUPS 508392 WITH SCORE 511109.496
AT ITER 2240 NEW BEST:: SOT 4234817 SOS 2717211 HAS SOPS 2595757 HAS SOUS 526001 HAS SOUPS 508371 WITH SCORE 511088.211
AT ITER 2248 NEW BEST:: SOT 4234817 SOS 2710441 HAS SOPS 2589001 HAS SOUS 525947 HAS SOUPS 508317 WITH SCORE 511027.441
AT ITER 2251 NEW BEST:: SOT 4234817 SOS 2710437 HAS SOPS 2588993 HAS SOUS 525939 HAS SOUPS 508309 WITH SCORE 511019.437
AT ITER 2253 NEW BEST:: SOT 4234178 SOS 2709798 HAS SOPS 2588354 HAS SOUS 525300 HAS SOUPS 507670 WITH SCORE 510379.798
AT ITER 2264 NEW BEST:: SOT 4232552 SOS 2708184 HAS SOPS 2586728 HAS SOUS 524862 HAS SOUPS 507220 WITH SCORE 509928.184
AT ITER 2265 NEW BEST:: SOT 4235520 SOS 2710432 HAS SOPS 2589953 HAS SOUS 523168 HAS SOUPS 505581 WITH SCORE 508291.432
AT ITER 2267 NEW BEST:: SOT 4235936 SOS 2710720 HAS SOPS 2590379 HAS SOUS 522732 HAS SOUPS 505155 WITH SCORE 507865.72
AT ITER 2270 NEW BEST:: SOT 4235753 SOS 2710537 HAS SOPS 2590196 HAS SOUS 522549 HAS SOUPS 504972 WITH SCORE 507682.537
AT ITER 2271 NEW BEST:: SOT 4222520 SOS 2696696 HAS SOPS 2574213 HAS SOUS 522170 HAS SOUPS 504469 WITH SCORE 507165.696
AT ITER 2274 NEW BEST:: SOT 4222520 SOS 2696654 HAS SOPS 2574129 HAS SOUS 522086 HAS SOUPS 504385 WITH SCORE 507081.654
AT ITER 2275 NEW BEST:: SOT 4222520 SOS 2696654 HAS SOPS 2574123 HAS SOUS 522080 HAS SOUPS 504379 WITH SCORE 507075.654
AT ITER 2284 NEW BEST:: SOT 4222520 SOS 2696643 HAS SOPS 2574101 HAS SOUS 522058 HAS SOUPS 504357 WITH SCORE 507053.643
AT ITER 2290 NEW BEST:: SOT 4222520 SOS 2695249 HAS SOPS 2572517 HAS SOUS 521852 HAS SOUPS 504151 WITH SCORE 506846.249
AT ITER 2292 NEW BEST:: SOT 4223485 SOS 2694658 HAS SOPS 2570359 HAS SOUS 521188 HAS SOUPS 503487 WITH SCORE 506181.658
AT ITER 2300 NEW BEST:: SOT 4223485 SOS 2692381 HAS SOPS 2568059 HAS SOUS 521119 HAS SOUPS 503418 WITH SCORE 506110.381
AT ITER 2301 NEW BEST:: SOT 4223485 SOS 2683555 HAS SOPS 2559248 HAS SOUS 521054 HAS SOUPS 503353 WITH SCORE 506036.555
AT ITER 2306 NEW BEST:: SOT 4223463 SOS 2677270 HAS SOPS 2547796 HAS SOUS 515663 HAS SOUPS 497998 WITH SCORE 500675.27
AT ITER 2316 NEW BEST:: SOT 4223532 SOS 2675738 HAS SOPS 2545665 HAS SOUS 515089 HAS SOUPS 497424 WITH SCORE 500099.738
AT ITER 2336 NEW BEST:: SOT 4223529 SOS 2675735 HAS SOPS 2545662 HAS SOUS 515086 HAS SOUPS 497421 WITH SCORE 500096.735
AT ITER 2339 NEW BEST:: SOT 4223529 SOS 2675659 HAS SOPS 2545510 HAS SOUS 514934 HAS SOUPS 497269 WITH SCORE 499944.659
AT ITER 2341 NEW BEST:: SOT 4227786 SOS 2678763 HAS SOPS 2549767 HAS SOUS 513344 HAS SOUPS 495749 WITH SCORE 498427.763
AT ITER 2346 NEW BEST:: SOT 4227432 SOS 2678409 HAS SOPS 2549552 HAS SOUS 513129 HAS SOUPS 495673 WITH SCORE 498351.409
AT ITER 2350 NEW BEST:: SOT 4227432 SOS 2678385 HAS SOPS 2549528 HAS SOUS 513105 HAS SOUPS 495673 WITH SCORE 498351.385
AT ITER 2351 NEW BEST:: SOT 4222514 SOS 2673803 HAS SOPS 2544610 HAS SOUS 511751 HAS SOUPS 494280 WITH SCORE 496953.803
AT ITER 2353 NEW BEST:: SOT 4222514 SOS 2673100 HAS SOPS 2543802 HAS SOUS 511622 HAS SOUPS 494159 WITH SCORE 496832.1
AT ITER 2359 NEW BEST:: SOT 4222514 SOS 2669655 HAS SOPS 2540242 HAS SOUS 511437 HAS SOUPS 493974 WITH SCORE 496643.655
AT ITER 2361 NEW BEST:: SOT 4222471 SOS 2669612 HAS SOPS 2540199 HAS SOUS 511394 HAS SOUPS 493931 WITH SCORE 496600.612
AT ITER 2368 NEW BEST:: SOT 4222471 SOS 2661506 HAS SOPS 2532115 HAS SOUS 511252 HAS SOUPS 493888 WITH SCORE 496549.506
AT ITER 2369 NEW BEST:: SOT 4222471 SOS 2661940 HAS SOPS 2532479 HAS SOUS 511224 HAS SOUPS 493786 WITH SCORE 496447.94
AT ITER 2375 NEW BEST:: SOT 4222471 SOS 2659825 HAS SOPS 2530379 HAS SOUS 511219 HAS SOUPS 493781 WITH SCORE 496440.825
AT ITER 2396 NEW BEST:: SOT 4222471 SOS 2659487 HAS SOPS 2529979 HAS SOUS 511149 HAS SOUPS 493715 WITH SCORE 496374.487
AT ITER 2401 NEW BEST:: SOT 4222471 SOS 2659487 HAS SOPS 2529901 HAS SOUS 511068 HAS SOUPS 493559 WITH SCORE 496218.487
AT ITER 2410 NEW BEST:: SOT 4222352 SOS 2659368 HAS SOPS 2529825 HAS SOUS 510992 HAS SOUPS 493526 WITH SCORE 496185.368
AT ITER 2414 NEW BEST:: SOT 4227502 SOS 2663556 HAS SOPS 2535115 HAS SOUS 510314 HAS SOUPS 492918 WITH SCORE 495581.556
AT ITER 2416 NEW BEST:: SOT 4232157 SOS 2669527 HAS SOPS 2543118 HAS SOUS 508582 HAS SOUPS 491271 WITH SCORE 493940.527
AT ITER 2419 NEW BEST:: SOT 4232157 SOS 2679335 HAS SOPS 2552756 HAS SOUS 508346 HAS SOUPS 491013 WITH SCORE 493692.335
AT ITER 2427 NEW BEST:: SOT 4232157 SOS 2682443 HAS SOPS 2555787 HAS SOUS 508231 HAS SOUPS 490898 WITH SCORE 493580.443
AT ITER 2432 NEW BEST:: SOT 4232157 SOS 2674888 HAS SOPS 2548270 HAS SOUS 508162 HAS SOUPS 490898 WITH SCORE 493572.888
AT ITER 2435 NEW BEST:: SOT 4232001 SOS 2674732 HAS SOPS 2548114 HAS SOUS 508006 HAS SOUPS 490742 WITH SCORE 493416.732
AT ITER 2462 NEW BEST:: SOT 4232001 SOS 2674913 HAS SOPS 2548297 HAS SOUS 508012 HAS SOUPS 490729 WITH SCORE 493403.913
AT ITER 2484 NEW BEST:: SOT 4232252 SOS 2674096 HAS SOPS 2546663 HAS SOUS 507423 HAS SOUPS 490159 WITH SCORE 492833.096
AT ITER 2492 NEW BEST:: SOT 4232252 SOS 2673692 HAS SOPS 2546255 HAS SOUS 507415 HAS SOUPS 490143 WITH SCORE 492816.692
AT ITER 2523 NEW BEST:: SOT 4232252 SOS 2672592 HAS SOPS 2545161 HAS SOUS 507412 HAS SOUPS 490144 WITH SCORE 492816.592
AT ITER 2526 NEW BEST:: SOT 4237245 SOS 2686262 HAS SOPS 2572525 HAS SOUS 494081 HAS SOUPS 477138 WITH SCORE 479824.262
AT ITER 2528 NEW BEST:: SOT 4237245 SOS 2686262 HAS SOPS 2572409 HAS SOUS 493965 HAS SOUPS 476906 WITH SCORE 479592.262
AT ITER 2529 NEW BEST:: SOT 4237244 SOS 2686091 HAS SOPS 2572125 HAS SOUS 493682 HAS SOUPS 476679 WITH SCORE 479365.091
AT ITER 2533 NEW BEST:: SOT 4237244 SOS 2683291 HAS SOPS 2569353 HAS SOUS 493654 HAS SOUPS 476679 WITH SCORE 479362.291
AT ITER 2541 NEW BEST:: SOT 4237223 SOS 2683216 HAS SOPS 2569209 HAS SOUS 493510 HAS SOUPS 476520 WITH SCORE 479203.216
AT ITER 2551 NEW BEST:: SOT 4237223 SOS 2683404 HAS SOPS 2569397 HAS SOUS 493500 HAS SOUPS 476510 WITH SCORE 479193.404
AT ITER 2570 NEW BEST:: SOT 4237611 SOS 2683346 HAS SOPS 2569785 HAS SOUS 492434 HAS SOUPS 475463 WITH SCORE 478146.346
AT ITER 2575 NEW BEST:: SOT 4237611 SOS 2683144 HAS SOPS 2569583 HAS SOUS 492389 HAS SOUPS 475459 WITH SCORE 478142.144
AT ITER 2587 NEW BEST:: SOT 4237611 SOS 2684487 HAS SOPS 2570883 HAS SOUS 492415 HAS SOUPS 475429 WITH SCORE 478113.487
AT ITER 2600 NEW BEST:: SOT 4237611 SOS 2684423 HAS SOPS 2570749 HAS SOUS 492281 HAS SOUPS 475289 WITH SCORE 477973.423
AT ITER 2601 NEW BEST:: SOT 4237611 SOS 2682561 HAS SOPS 2568844 HAS SOUS 492200 HAS SOUPS 475208 WITH SCORE 477890.561
AT ITER 2607 NEW BEST:: SOT 4237611 SOS 2679762 HAS SOPS 2566029 HAS SOUS 492128 HAS SOUPS 475136 WITH SCORE 477815.762
AT ITER 2633 NEW BEST:: SOT 4237611 SOS 2679729 HAS SOPS 2565968 HAS SOUS 492067 HAS SOUPS 475075 WITH SCORE 477754.729
AT ITER 2660 NEW BEST:: SOT 4237611 SOS 2678329 HAS SOPS 2564554 HAS SOUS 492005 HAS SOUPS 475033 WITH SCORE 477711.329
AT ITER 2662 NEW BEST:: SOT 4237611 SOS 2678329 HAS SOPS 2564511 HAS SOUS 491962 HAS SOUPS 474947 WITH SCORE 477625.329
AT ITER 2686 NEW BEST:: SOT 4238012 SOS 2678720 HAS SOPS 2564912 HAS SOUS 491873 HAS SOUPS 474863 WITH SCORE 477541.72
AT ITER 2687 NEW BEST:: SOT 4240494 SOS 2680519 HAS SOPS 2567394 HAS SOUS 490738 HAS SOUPS 473771 WITH SCORE 476451.519
AT ITER 2703 NEW BEST:: SOT 4233745 SOS 2674136 HAS SOPS 2560615 HAS SOUS 488663 HAS SOUPS 471645 WITH SCORE 474319.136
AT ITER 2707 NEW BEST:: SOT 4233745 SOS 2676074 HAS SOPS 2562525 HAS SOUS 488613 HAS SOUPS 471595 WITH SCORE 474271.074
AT ITER 2711 NEW BEST:: SOT 4236354 SOS 2677163 HAS SOPS 2565134 HAS SOUS 484942 HAS SOUPS 468002 WITH SCORE 470679.163
AT ITER 2712 NEW BEST:: SOT 4236354 SOS 2670406 HAS SOPS 2558058 HAS SOUS 484477 HAS SOUPS 467537 WITH SCORE 470207.406
AT ITER 2714 NEW BEST:: SOT 4236354 SOS 2660452 HAS SOPS 2548158 HAS SOUS 484327 HAS SOUPS 467492 WITH SCORE 470152.452
AT ITER 2730 NEW BEST:: SOT 4236354 SOS 2660250 HAS SOPS 2547956 HAS SOUS 484323 HAS SOUPS 467488 WITH SCORE 470148.25
AT ITER 2736 NEW BEST:: SOT 4236354 SOS 2660209 HAS SOPS 2547805 HAS SOUS 484137 HAS SOUPS 467274 WITH SCORE 469934.209
AT ITER 2746 NEW BEST:: SOT 4236354 SOS 2660209 HAS SOPS 2547786 HAS SOUS 484118 HAS SOUPS 467236 WITH SCORE 469896.209
AT ITER 2756 NEW BEST:: SOT 4239545 SOS 2662004 HAS SOPS 2550977 HAS SOUS 480905 HAS SOUPS 464101 WITH SCORE 466763.004
AT ITER 2768 NEW BEST:: SOT 4239545 SOS 2661807 HAS SOPS 2549866 HAS SOUS 479958 HAS SOUPS 463165 WITH SCORE 465826.807
AT ITER 2773 NEW BEST:: SOT 4239236 SOS 2661302 HAS SOPS 2549057 HAS SOUS 479335 HAS SOUPS 462542 WITH SCORE 465203.302
AT ITER 2777 NEW BEST:: SOT 4239236 SOS 2661345 HAS SOPS 2549046 HAS SOUS 479324 HAS SOUPS 462483 WITH SCORE 465144.345
AT ITER 2799 NEW BEST:: SOT 4242195 SOS 2663058 HAS SOPS 2552036 HAS SOUS 476360 HAS SOUPS 459622 WITH SCORE 462285.058
AT ITER 2812 NEW BEST:: SOT 4242195 SOS 2658887 HAS SOPS 2547824 HAS SOUS 476300 HAS SOUPS 459499 WITH SCORE 462157.887
AT ITER 2813 NEW BEST:: SOT 4242195 SOS 2658724 HAS SOPS 2547366 HAS SOUS 476383 HAS SOUPS 459479 WITH SCORE 462137.724
AT ITER 2815 NEW BEST:: SOT 4242195 SOS 2658724 HAS SOPS 2547331 HAS SOUS 476340 HAS SOUPS 459409 WITH SCORE 462067.724
AT ITER 2824 NEW BEST:: SOT 4242273 SOS 2658535 HAS SOPS 2548709 HAS SOUS 474111 HAS SOUPS 457219 WITH SCORE 459877.535
AT ITER 2827 NEW BEST:: SOT 4242162 SOS 2656006 HAS SOPS 2546053 HAS SOUS 473905 HAS SOUPS 456829 WITH SCORE 459485.006
AT ITER 2833 NEW BEST:: SOT 4242162 SOS 2656006 HAS SOPS 2546006 HAS SOUS 473858 HAS SOUPS 456735 WITH SCORE 459391.006
AT ITER 2835 NEW BEST:: SOT 4242154 SOS 2655938 HAS SOPS 2545698 HAS SOUS 473604 HAS SOUPS 456481 WITH SCORE 459136.938
AT ITER 2836 NEW BEST:: SOT 4241994 SOS 2655781 HAS SOPS 2545538 HAS SOUS 473541 HAS SOUPS 456417 WITH SCORE 459072.781
AT ITER 2848 NEW BEST:: SOT 4241994 SOS 2655381 HAS SOPS 2545138 HAS SOUS 473537 HAS SOUPS 456413 WITH SCORE 459068.381
AT ITER 2852 NEW BEST:: SOT 4241994 SOS 2651481 HAS SOPS 2541277 HAS SOUS 473537 HAS SOUPS 456413 WITH SCORE 459064.481
AT ITER 2864 NEW BEST:: SOT 4241994 SOS 2651380 HAS SOPS 2541177 HAS SOUS 473535 HAS SOUPS 456413 WITH SCORE 459064.38
AT ITER 2867 NEW BEST:: SOT 4241976 SOS 2651362 HAS SOPS 2541159 HAS SOUS 473517 HAS SOUPS 456395 WITH SCORE 459046.362
AT ITER 2870 NEW BEST:: SOT 4241976 SOS 2651315 HAS SOPS 2541041 HAS SOUS 473444 HAS SOUPS 456253 WITH SCORE 458904.315
AT ITER 2890 NEW BEST:: SOT 4241976 SOS 2647780 HAS SOPS 2537527 HAS SOUS 473360 HAS SOUPS 456225 WITH SCORE 458872.78
AT ITER 2904 NEW BEST:: SOT 4241976 SOS 2632965 HAS SOPS 2521445 HAS SOUS 471592 HAS SOUPS 454815 WITH SCORE 457447.965
AT ITER 2915 NEW BEST:: SOT 4242742 SOS 2632682 HAS SOPS 2522211 HAS SOUS 469107 HAS SOUPS 452373 WITH SCORE 455005.682
AT ITER 2929 NEW BEST:: SOT 4242742 SOS 2632671 HAS SOPS 2522037 HAS SOUS 468933 HAS SOUPS 452047 WITH SCORE 454679.671
AT ITER 2938 NEW BEST:: SOT 4252783 SOS 2641070 HAS SOPS 2532078 HAS SOUS 468516 HAS SOUPS 451751 WITH SCORE 454392.07
AT ITER 2941 NEW BEST:: SOT 4253635 SOS 2641751 HAS SOPS 2532943 HAS SOUS 468252 HAS SOUPS 451513 WITH SCORE 454154.751
AT ITER 2946 NEW BEST:: SOT 4253635 SOS 2635951 HAS SOPS 2527168 HAS SOUS 468161 HAS SOUPS 451447 WITH SCORE 454082.951
AT ITER 2955 NEW BEST:: SOT 4255924 SOS 2641568 HAS SOPS 2534810 HAS SOUS 467334 HAS SOUPS 450620 WITH SCORE 453261.568
AT ITER 2966 NEW BEST:: SOT 4255398 SOS 2641042 HAS SOPS 2534284 HAS SOUS 466808 HAS SOUPS 450094 WITH SCORE 452735.042
AT ITER 2970 NEW BEST:: SOT 4260023 SOS 2654665 HAS SOPS 2552847 HAS SOUS 459849 HAS SOUPS 443303 WITH SCORE 445957.665
AT ITER 2975 NEW BEST:: SOT 4260023 SOS 2649840 HAS SOPS 2547996 HAS SOUS 459774 HAS SOUPS 443228 WITH SCORE 445877.84
AT ITER 2998 NEW BEST:: SOT 4260023 SOS 2649537 HAS SOPS 2547693 HAS SOUS 459768 HAS SOUPS 443222 WITH SCORE 445871.537
AT ITER 3010 NEW BEST:: SOT 4262175 SOS 2650739 HAS SOPS 2550154 HAS SOUS 456094 HAS SOUPS 439616 WITH SCORE 442266.739
AT ITER 3021 NEW BEST:: SOT 4262175 SOS 2650696 HAS SOPS 2550107 HAS SOUS 456086 HAS SOUPS 439608 WITH SCORE 442258.696
AT ITER 3027 NEW BEST:: SOT 4262175 SOS 2650696 HAS SOPS 2550094 HAS SOUS 456073 HAS SOUPS 439582 WITH SCORE 442232.696
AT ITER 3031 NEW BEST:: SOT 4262175 SOS 2650550 HAS SOPS 2549777 HAS SOUS 455756 HAS SOUPS 439240 WITH SCORE 441890.55
AT ITER 3032 NEW BEST:: SOT 4262175 SOS 2646628 HAS SOPS 2545885 HAS SOUS 455725 HAS SOUPS 439222 WITH SCORE 441868.628
AT ITER 3060 NEW BEST:: SOT 4262175 SOS 2647711 HAS SOPS 2546913 HAS SOUS 455608 HAS SOUPS 439105 WITH SCORE 441752.711
AT ITER 3061 NEW BEST:: SOT 4262175 SOS 2647711 HAS SOPS 2546886 HAS SOUS 455581 HAS SOUPS 439051 WITH SCORE 441698.711
AT ITER 3077 NEW BEST:: SOT 4262175 SOS 2647517 HAS SOPS 2546693 HAS SOUS 455578 HAS SOUPS 439048 WITH SCORE 441695.517
AT ITER 3079 NEW BEST:: SOT 4261862 SOS 2647204 HAS SOPS 2546380 HAS SOUS 455265 HAS SOUPS 438735 WITH SCORE 441382.204
AT ITER 3088 NEW BEST:: SOT 4261839 SOS 2647019 HAS SOPS 2546079 HAS SOUS 454953 HAS SOUPS 438480 WITH SCORE 441127.019
AT ITER 3091 NEW BEST:: SOT 4248842 SOS 2635020 HAS SOPS 2533082 HAS SOUS 451758 HAS SOUPS 435177 WITH SCORE 437812.02
AT ITER 3092 NEW BEST:: SOT 4248842 SOS 2635180 HAS SOPS 2533250 HAS SOUS 451754 HAS SOUPS 435173 WITH SCORE 437808.18
AT ITER 3098 NEW BEST:: SOT 4241711 SOS 2628683 HAS SOPS 2526119 HAS SOUS 451289 HAS SOUPS 434635 WITH SCORE 437263.683
AT ITER 3111 NEW BEST:: SOT 4252043 SOS 2650201 HAS SOPS 2556045 HAS SOUS 451211 HAS SOUPS 434557 WITH SCORE 437207.201
AT ITER 3117 NEW BEST:: SOT 4252043 SOS 2650201 HAS SOPS 2556038 HAS SOUS 451204 HAS SOUPS 434550 WITH SCORE 437200.201
AT ITER 3124 NEW BEST:: SOT 4252333 SOS 2650439 HAS SOPS 2556328 HAS SOUS 451150 HAS SOUPS 434496 WITH SCORE 437146.439
AT ITER 3141 NEW BEST:: SOT 4252333 SOS 2649639 HAS SOPS 2555536 HAS SOUS 451142 HAS SOUPS 434496 WITH SCORE 437145.639
AT ITER 3146 NEW BEST:: SOT 4252333 SOS 2646710 HAS SOPS 2552636 HAS SOUS 451084 HAS SOUPS 434496 WITH SCORE 437142.71
AT ITER 3149 NEW BEST:: SOT 4252352 SOS 2665467 HAS SOPS 2571211 HAS SOUS 451582 HAS SOUPS 434475 WITH SCORE 437140.467
AT ITER 3156 NEW BEST:: SOT 4252352 SOS 2667392 HAS SOPS 2573057 HAS SOUS 451468 HAS SOUPS 434361 WITH SCORE 437028.392
AT ITER 3171 NEW BEST:: SOT 4252352 SOS 2669664 HAS SOPS 2575301 HAS SOUS 451458 HAS SOUPS 434351 WITH SCORE 437020.664
AT ITER 3173 NEW BEST:: SOT 4252362 SOS 2669650 HAS SOPS 2575311 HAS SOUS 451392 HAS SOUPS 434286 WITH SCORE 436955.65
AT ITER 3174 NEW BEST:: SOT 4252362 SOS 2673010 HAS SOPS 2578593 HAS SOUS 451308 HAS SOUPS 434198 WITH SCORE 436871.01
AT ITER 3193 NEW BEST:: SOT 4251500 SOS 2672148 HAS SOPS 2577828 HAS SOUS 450543 HAS SOUPS 433530 WITH SCORE 436202.148
AT ITER 3237 NEW BEST:: SOT 4251500 SOS 2669772 HAS SOPS 2575452 HAS SOUS 450519 HAS SOUPS 433506 WITH SCORE 436175.772
AT ITER 3239 NEW BEST:: SOT 4250639 SOS 2668911 HAS SOPS 2574591 HAS SOUS 449658 HAS SOUPS 432645 WITH SCORE 435313.911
AT ITER 3243 NEW BEST:: SOT 4248794 SOS 2666864 HAS SOPS 2572146 HAS SOUS 447403 HAS SOUPS 430390 WITH SCORE 433056.864
AT ITER 3264 NEW BEST:: SOT 4248794 SOS 2666862 HAS SOPS 2572142 HAS SOUS 447399 HAS SOUPS 430386 WITH SCORE 433052.862
AT ITER 3266 NEW BEST:: SOT 4248793 SOS 2666861 HAS SOPS 2572141 HAS SOUS 447398 HAS SOUPS 430385 WITH SCORE 433051.861
AT ITER 3272 NEW BEST:: SOT 4248793 SOS 2661903 HAS SOPS 2566997 HAS SOUS 447108 HAS SOUPS 430151 WITH SCORE 432812.903
AT ITER 3292 NEW BEST:: SOT 4248714 SOS 2661824 HAS SOPS 2566918 HAS SOUS 447002 HAS SOUPS 430072 WITH SCORE 432733.824
AT ITER 3302 NEW BEST:: SOT 4253157 SOS 2663553 HAS SOPS 2571582 HAS SOUS 439653 HAS SOUPS 422946 WITH SCORE 425609.553
AT ITER 3308 NEW BEST:: SOT 4253157 SOS 2662846 HAS SOPS 2570882 HAS SOUS 439653 HAS SOUPS 422946 WITH SCORE 425608.846
AT ITER 3314 NEW BEST:: SOT 4253157 SOS 2661646 HAS SOPS 2569682 HAS SOUS 439629 HAS SOUPS 422922 WITH SCORE 425583.646
AT ITER 3317 NEW BEST:: SOT 4268404 SOS 2674866 HAS SOPS 2584956 HAS SOUS 438933 HAS SOUPS 422427 WITH SCORE 425101.866
AT ITER 3318 NEW BEST:: SOT 4268404 SOS 2675573 HAS SOPS 2585650 HAS SOUS 438934 HAS SOUPS 422415 WITH SCORE 425090.573
AT ITER 3324 NEW BEST:: SOT 4268404 SOS 2674058 HAS SOPS 2584135 HAS SOUS 438889 HAS SOUPS 422385 WITH SCORE 425059.058
AT ITER 3336 NEW BEST:: SOT 4274604 SOS 2679466 HAS SOPS 2590335 HAS SOUS 438781 HAS SOUPS 422348 WITH SCORE 425027.466
AT ITER 3404 NEW BEST:: SOT 4274604 SOS 2676537 HAS SOPS 2587406 HAS SOUS 438669 HAS SOUPS 422290 WITH SCORE 424966.537
AT ITER 3418 NEW BEST:: SOT 4274604 SOS 2676434 HAS SOPS 2587198 HAS SOUS 438459 HAS SOUPS 422080 WITH SCORE 424756.434
AT ITER 3422 NEW BEST:: SOT 4274996 SOS 2676487 HAS SOPS 2587612 HAS SOUS 437024 HAS SOUPS 420667 WITH SCORE 423343.487
AT ITER 3426 NEW BEST:: SOT 4274996 SOS 2676514 HAS SOPS 2587621 HAS SOUS 437033 HAS SOUPS 420631 WITH SCORE 423307.514
AT ITER 3435 NEW BEST:: SOT 4274996 SOS 2675519 HAS SOPS 2586627 HAS SOUS 437014 HAS SOUPS 420618 WITH SCORE 423293.519
AT ITER 3460 NEW BEST:: SOT 4274996 SOS 2675518 HAS SOPS 2586585 HAS SOUS 436963 HAS SOUPS 420536 WITH SCORE 423211.518
AT ITER 3479 NEW BEST:: SOT 4274996 SOS 2675518 HAS SOPS 2586562 HAS SOUS 436921 HAS SOUPS 420490 WITH SCORE 423165.518
AT ITER 3500 NEW BEST:: SOT 4274996 SOS 2674118 HAS SOPS 2585162 HAS SOUS 436893 HAS SOUPS 420462 WITH SCORE 423136.118
AT ITER 3511 NEW BEST:: SOT 4265662 SOS 2665014 HAS SOPS 2575828 HAS SOUS 433429 HAS SOUPS 416937 WITH SCORE 419602.014
AT ITER 3512 NEW BEST:: SOT 4265662 SOS 2662916 HAS SOPS 2573528 HAS SOUS 433181 HAS SOUPS 416689 WITH SCORE 419351.916
AT ITER 3514 NEW BEST:: SOT 4265610 SOS 2662864 HAS SOPS 2573476 HAS SOUS 433129 HAS SOUPS 416637 WITH SCORE 419299.864
AT ITER 3515 NEW BEST:: SOT 4265610 SOS 2669167 HAS SOPS 2579712 HAS SOUS 433121 HAS SOUPS 416629 WITH SCORE 419298.167
AT ITER 3517 NEW BEST:: SOT 4263887 SOS 2667444 HAS SOPS 2577989 HAS SOUS 431398 HAS SOUPS 414906 WITH SCORE 417573.444
AT ITER 3533 NEW BEST:: SOT 4269892 SOS 2681005 HAS SOPS 2596215 HAS SOUS 430210 HAS SOUPS 413839 WITH SCORE 416520.005
AT ITER 3536 NEW BEST:: SOT 4269892 SOS 2685028 HAS SOPS 2600175 HAS SOUS 430164 HAS SOUPS 413793 WITH SCORE 416478.028
AT ITER 3562 NEW BEST:: SOT 4269892 SOS 2686728 HAS SOPS 2601847 HAS SOUS 430170 HAS SOUPS 413771 WITH SCORE 416457.728
AT ITER 3563 NEW BEST:: SOT 4270071 SOS 2683727 HAS SOPS 2598620 HAS SOUS 430055 HAS SOUPS 413656 WITH SCORE 416339.727
AT ITER 3566 NEW BEST:: SOT 4270071 SOS 2683727 HAS SOPS 2598600 HAS SOUS 430055 HAS SOUPS 413616 WITH SCORE 416299.727
AT ITER 3576 NEW BEST:: SOT 4270071 SOS 2683771 HAS SOPS 2598632 HAS SOUS 430087 HAS SOUPS 413592 WITH SCORE 416275.771
AT ITER 3584 NEW BEST:: SOT 4270071 SOS 2687048 HAS SOPS 2601686 HAS SOUS 429711 HAS SOUPS 413216 WITH SCORE 415903.048
AT ITER 3588 NEW BEST:: SOT 4270071 SOS 2687048 HAS SOPS 2601682 HAS SOUS 429707 HAS SOUPS 413208 WITH SCORE 415895.048
AT ITER 3591 NEW BEST:: SOT 4262840 SOS 2680023 HAS SOPS 2594430 HAS SOUS 426928 HAS SOUPS 410382 WITH SCORE 413062.023
AT ITER 3593 NEW BEST:: SOT 4270149 SOS 2686277 HAS SOPS 2599989 HAS SOUS 423906 HAS SOUPS 407506 WITH SCORE 410192.277
AT ITER 3599 NEW BEST:: SOT 4270149 SOS 2678714 HAS SOPS 2592501 HAS SOUS 423843 HAS SOUPS 407506 WITH SCORE 410184.714
AT ITER 3610 NEW BEST:: SOT 4270149 SOS 2678644 HAS SOPS 2592361 HAS SOUS 423703 HAS SOUPS 407366 WITH SCORE 410044.644
AT ITER 3616 NEW BEST:: SOT 4270149 SOS 2677944 HAS SOPS 2591661 HAS SOUS 423696 HAS SOUPS 407352 WITH SCORE 410029.944
AT ITER 3626 NEW BEST:: SOT 4270149 SOS 2672697 HAS SOPS 2586433 HAS SOUS 423662 HAS SOUPS 407318 WITH SCORE 409990.697
AT ITER 3635 NEW BEST:: SOT 4270149 SOS 2672412 HAS SOPS 2586133 HAS SOUS 423641 HAS SOUPS 407297 WITH SCORE 409969.412
AT ITER 3638 NEW BEST:: SOT 4270149 SOS 2671884 HAS SOPS 2585605 HAS SOUS 423631 HAS SOUPS 407287 WITH SCORE 409958.884
AT ITER 3646 NEW BEST:: SOT 4270149 SOS 2671810 HAS SOPS 2585457 HAS SOUS 423483 HAS SOUPS 407139 WITH SCORE 409810.81
AT ITER 3647 NEW BEST:: SOT 4270149 SOS 2671775 HAS SOPS 2585387 HAS SOUS 423413 HAS SOUPS 407069 WITH SCORE 409740.775
AT ITER 3653 NEW BEST:: SOT 4270149 SOS 2671775 HAS SOPS 2585337 HAS SOUS 423363 HAS SOUPS 406969 WITH SCORE 409640.775
AT ITER 3660 NEW BEST:: SOT 4270149 SOS 2671169 HAS SOPS 2584731 HAS SOUS 423351 HAS SOUPS 406957 WITH SCORE 409628.169
AT ITER 3693 NEW BEST:: SOT 4270149 SOS 2671169 HAS SOPS 2584724 HAS SOUS 423344 HAS SOUPS 406950 WITH SCORE 409621.169
AT ITER 3709 NEW BEST:: SOT 4270140 SOS 2663428 HAS SOPS 2572797 HAS SOUS 419022 HAS SOUPS 402519 WITH SCORE 405182.428
AT ITER 3711 NEW BEST:: SOT 4277495 SOS 2668661 HAS SOPS 2580152 HAS SOUS 414336 HAS SOUPS 397938 WITH SCORE 400606.661
AT ITER 3743 NEW BEST:: SOT 4277495 SOS 2668522 HAS SOPS 2580013 HAS SOUS 414339 HAS SOUPS 397936 WITH SCORE 400604.522
AT ITER 3744 NEW BEST:: SOT 4277495 SOS 2668522 HAS SOPS 2580006 HAS SOUS 414332 HAS SOUPS 397922 WITH SCORE 400590.522
AT ITER 3745 NEW BEST:: SOT 4277495 SOS 2666140 HAS SOPS 2577624 HAS SOUS 414302 HAS SOUPS 397879 WITH SCORE 400545.14
AT ITER 3752 NEW BEST:: SOT 4278565 SOS 2667083 HAS SOPS 2578728 HAS SOUS 413850 HAS SOUPS 397444 WITH SCORE 400111.083
AT ITER 3753 NEW BEST:: SOT 4278512 SOS 2667030 HAS SOPS 2578599 HAS SOUS 413721 HAS SOUPS 397239 WITH SCORE 399906.03
AT ITER 3760 NEW BEST:: SOT 4278512 SOS 2666896 HAS SOPS 2578465 HAS SOUS 413587 HAS SOUPS 397239 WITH SCORE 399905.896
AT ITER 3766 NEW BEST:: SOT 4278760 SOS 2670176 HAS SOPS 2583031 HAS SOUS 410307 HAS SOUPS 394008 WITH SCORE 396678.176
AT ITER 3775 NEW BEST:: SOT 4278760 SOS 2670142 HAS SOPS 2582976 HAS SOUS 410252 HAS SOUPS 393953 WITH SCORE 396623.142
AT ITER 3776 NEW BEST:: SOT 4278760 SOS 2670138 HAS SOPS 2582972 HAS SOUS 410215 HAS SOUPS 393953 WITH SCORE 396623.138
AT ITER 3777 NEW BEST:: SOT 4278760 SOS 2670138 HAS SOPS 2582955 HAS SOUS 410198 HAS SOUPS 393919 WITH SCORE 396589.138
AT ITER 3787 NEW BEST:: SOT 4278760 SOS 2658024 HAS SOPS 2570823 HAS SOUS 410064 HAS SOUPS 393789 WITH SCORE 396447.024
AT ITER 3790 NEW BEST:: SOT 4278760 SOS 2659956 HAS SOPS 2572717 HAS SOUS 410064 HAS SOUPS 393764 WITH SCORE 396423.956
AT ITER 3801 NEW BEST:: SOT 4276273 SOS 2657494 HAS SOPS 2570230 HAS SOUS 410052 HAS SOUPS 393727 WITH SCORE 396384.494
AT ITER 3819 NEW BEST:: SOT 4276273 SOS 2654689 HAS SOPS 2567425 HAS SOUS 410019 HAS SOUPS 393671 WITH SCORE 396325.689
AT ITER 3862 NEW BEST:: SOT 4276273 SOS 2655989 HAS SOPS 2568708 HAS SOUS 410028 HAS SOUPS 393663 WITH SCORE 396318.989
AT ITER 3864 NEW BEST:: SOT 4277153 SOS 2656452 HAS SOPS 2569588 HAS SOUS 408425 HAS SOUPS 392089 WITH SCORE 394745.452
AT ITER 3900 NEW BEST:: SOT 4277138 SOS 2656437 HAS SOPS 2569573 HAS SOUS 408410 HAS SOUPS 392074 WITH SCORE 394730.437
AT ITER 3903 NEW BEST:: SOT 4276756 SOS 2656055 HAS SOPS 2569263 HAS SOUS 408100 HAS SOUPS 391836 WITH SCORE 394492.055
AT ITER 3919 NEW BEST:: SOT 4276756 SOS 2656055 HAS SOPS 2569186 HAS SOUS 408023 HAS SOUPS 391682 WITH SCORE 394338.055
AT ITER 3920 NEW BEST:: SOT 4276756 SOS 2656036 HAS SOPS 2569148 HAS SOUS 408004 HAS SOUPS 391644 WITH SCORE 394300.036
AT ITER 3927 NEW BEST:: SOT 4276756 SOS 2656028 HAS SOPS 2569140 HAS SOUS 408004 HAS SOUPS 391644 WITH SCORE 394300.028
AT ITER 3984 NEW BEST:: SOT 4276756 SOS 2656607 HAS SOPS 2569698 HAS SOUS 407974 HAS SOUPS 391614 WITH SCORE 394270.607
AT ITER 4001 NEW BEST:: SOT 4276756 SOS 2655607 HAS SOPS 2568705 HAS SOUS 407961 HAS SOUPS 391608 WITH SCORE 394263.607
AT ITER 4008 NEW BEST:: SOT 4276756 SOS 2654997 HAS SOPS 2568095 HAS SOUS 407939 HAS SOUPS 391596 WITH SCORE 394250.997
AT ITER 4024 NEW BEST:: SOT 4275964 SOS 2652044 HAS SOPS 2564946 HAS SOUS 406907 HAS SOUPS 390429 WITH SCORE 393081.044
AT ITER 4037 NEW BEST:: SOT 4276124 SOS 2652194 HAS SOPS 2565106 HAS SOUS 406877 HAS SOUPS 390401 WITH SCORE 393053.194
AT ITER 4047 NEW BEST:: SOT 4276124 SOS 2652187 HAS SOPS 2565099 HAS SOUS 406877 HAS SOUPS 390401 WITH SCORE 393053.187
AT ITER 4055 NEW BEST:: SOT 4280697 SOS 2656128 HAS SOPS 2569786 HAS SOUS 406553 HAS SOUPS 390134 WITH SCORE 392790.128
AT ITER 4078 NEW BEST:: SOT 4279140 SOS 2666217 HAS SOPS 2580178 HAS SOUS 405556 HAS SOUPS 389246 WITH SCORE 391912.217
AT ITER 4079 NEW BEST:: SOT 4279140 SOS 2666230 HAS SOPS 2580161 HAS SOUS 405546 HAS SOUPS 389186 WITH SCORE 391852.23
AT ITER 4083 NEW BEST:: SOT 4279140 SOS 2666103 HAS SOPS 2580008 HAS SOUS 405402 HAS SOUPS 389134 WITH SCORE 391800.103
AT ITER 4117 NEW BEST:: SOT 4281377 SOS 2667176 HAS SOPS 2577945 HAS SOUS 404417 HAS SOUPS 388149 WITH SCORE 390816.176
AT ITER 4121 NEW BEST:: SOT 4281377 SOS 2667129 HAS SOPS 2577878 HAS SOUS 404397 HAS SOUPS 388082 WITH SCORE 390749.129
AT ITER 4140 NEW BEST:: SOT 4281377 SOS 2667129 HAS SOPS 2577864 HAS SOUS 404383 HAS SOUPS 388054 WITH SCORE 390721.129
AT ITER 4152 NEW BEST:: SOT 4284351 SOS 2669568 HAS SOPS 2580920 HAS SOUS 403420 HAS SOUPS 387137 WITH SCORE 389806.568
AT ITER 4189 NEW BEST:: SOT 4284351 SOS 2669532 HAS SOPS 2580860 HAS SOUS 403360 HAS SOUPS 387089 WITH SCORE 389758.532
AT ITER 4190 NEW BEST:: SOT 4284417 SOS 2669553 HAS SOPS 2580926 HAS SOUS 403171 HAS SOUPS 386903 WITH SCORE 389572.553
AT ITER 4195 NEW BEST:: SOT 4284417 SOS 2668745 HAS SOPS 2580118 HAS SOUS 403155 HAS SOUPS 386887 WITH SCORE 389555.745
AT ITER 4211 NEW BEST:: SOT 4283963 SOS 2668291 HAS SOPS 2579664 HAS SOUS 402701 HAS SOUPS 386433 WITH SCORE 389101.291
AT ITER 4252 NEW BEST:: SOT 4283963 SOS 2665134 HAS SOPS 2576530 HAS SOUS 402605 HAS SOUPS 386394 WITH SCORE 389059.134
AT ITER 4263 NEW BEST:: SOT 4283963 SOS 2663941 HAS SOPS 2575337 HAS SOUS 402600 HAS SOUPS 386370 WITH SCORE 389033.941
AT ITER 4264 NEW BEST:: SOT 4283963 SOS 2663941 HAS SOPS 2575322 HAS SOUS 402601 HAS SOUPS 386340 WITH SCORE 389003.941
AT ITER 4303 NEW BEST:: SOT 4283945 SOS 2663923 HAS SOPS 2575304 HAS SOUS 402583 HAS SOUPS 386322 WITH SCORE 388985.923
AT ITER 4311 NEW BEST:: SOT 4283945 SOS 2663919 HAS SOPS 2575300 HAS SOUS 402579 HAS SOUPS 386318 WITH SCORE 388981.919
AT ITER 4312 NEW BEST:: SOT 4283945 SOS 2663313 HAS SOPS 2574694 HAS SOUS 402561 HAS SOUPS 386306 WITH SCORE 388969.313
AT ITER 4319 NEW BEST:: SOT 4283945 SOS 2663920 HAS SOPS 2575146 HAS SOUS 402548 HAS SOUPS 386108 WITH SCORE 388771.92
AT ITER 4320 NEW BEST:: SOT 4283973 SOS 2663866 HAS SOPS 2574982 HAS SOUS 402384 HAS SOUPS 385916 WITH SCORE 388579.866
AT ITER 4322 NEW BEST:: SOT 4283973 SOS 2662596 HAS SOPS 2569082 HAS SOUS 397636 HAS SOUPS 381168 WITH SCORE 383830.596
AT ITER 4374 NEW BEST:: SOT 4283973 SOS 2662596 HAS SOPS 2569073 HAS SOUS 397627 HAS SOUPS 381150 WITH SCORE 383812.596
AT ITER 4376 NEW BEST:: SOT 4283973 SOS 2660593 HAS SOPS 2567070 HAS SOUS 397538 HAS SOUPS 381127 WITH SCORE 383787.593
AT ITER 4379 NEW BEST:: SOT 4283973 SOS 2661811 HAS SOPS 2568270 HAS SOUS 397532 HAS SOUPS 381121 WITH SCORE 383782.811
AT ITER 4394 NEW BEST:: SOT 4283973 SOS 2661003 HAS SOPS 2567462 HAS SOUS 397508 HAS SOUPS 381105 WITH SCORE 383766.003
AT ITER 4405 NEW BEST:: SOT 4283973 SOS 2660999 HAS SOPS 2567458 HAS SOUS 397507 HAS SOUPS 381105 WITH SCORE 383765.999
AT ITER 4415 NEW BEST:: SOT 4288520 SOS 2668172 HAS SOPS 2576615 HAS SOUS 397040 HAS SOUPS 380699 WITH SCORE 383367.172
AT ITER 4423 NEW BEST:: SOT 4288520 SOS 2668146 HAS SOPS 2576589 HAS SOUS 397014 HAS SOUPS 380699 WITH SCORE 383367.146
AT ITER 4425 NEW BEST:: SOT 4288520 SOS 2668119 HAS SOPS 2576535 HAS SOUS 396960 HAS SOUPS 380645 WITH SCORE 383313.119
AT ITER 4445 NEW BEST:: SOT 4288520 SOS 2668117 HAS SOPS 2576532 HAS SOUS 396957 HAS SOUPS 380642 WITH SCORE 383310.117
AT ITER 4495 NEW BEST:: SOT 4288520 SOS 2664353 HAS SOPS 2572632 HAS SOUS 396704 HAS SOUPS 380467 WITH SCORE 383131.353
AT ITER 4507 NEW BEST:: SOT 4288520 SOS 2663444 HAS SOPS 2571723 HAS SOUS 396686 HAS SOUPS 380449 WITH SCORE 383112.444
AT ITER 4511 NEW BEST:: SOT 4288520 SOS 2663444 HAS SOPS 2571719 HAS SOUS 396682 HAS SOUPS 380441 WITH SCORE 383104.444
AT ITER 4541 NEW BEST:: SOT 4290056 SOS 2663978 HAS SOPS 2573261 HAS SOUS 392726 HAS SOUPS 376556 WITH SCORE 379219.978
AT ITER 4548 NEW BEST:: SOT 4290056 SOS 2664378 HAS SOPS 2573642 HAS SOUS 392715 HAS SOUPS 376522 WITH SCORE 379186.378
AT ITER 4560 NEW BEST:: SOT 4282226 SOS 2654869 HAS SOPS 2559612 HAS SOUS 386440 HAS SOUPS 370185 WITH SCORE 372839.869
AT ITER 4575 NEW BEST:: SOT 4282226 SOS 2654869 HAS SOPS 2559594 HAS SOUS 386422 HAS SOUPS 370149 WITH SCORE 372803.869
AT ITER 4588 NEW BEST:: SOT 4282226 SOS 2649623 HAS SOPS 2554294 HAS SOUS 386209 HAS SOUPS 370042 WITH SCORE 372691.623
AT ITER 4607 NEW BEST:: SOT 4282226 SOS 2649611 HAS SOPS 2554282 HAS SOUS 386197 HAS SOUPS 370030 WITH SCORE 372679.611
AT ITER 4611 NEW BEST:: SOT 4282226 SOS 2649611 HAS SOPS 2554246 HAS SOUS 386134 HAS SOUPS 369958 WITH SCORE 372607.611
AT ITER 4614 NEW BEST:: SOT 4282226 SOS 2649612 HAS SOPS 2554240 HAS SOUS 386128 HAS SOUPS 369945 WITH SCORE 372594.612
AT ITER 4622 NEW BEST:: SOT 4282226 SOS 2649581 HAS SOPS 2554202 HAS SOUS 386090 HAS SOUPS 369931 WITH SCORE 372580.581
AT ITER 4623 NEW BEST:: SOT 4282226 SOS 2649481 HAS SOPS 2554102 HAS SOUS 386088 HAS SOUPS 369929 WITH SCORE 372578.481
AT ITER 4666 NEW BEST:: SOT 4263655 SOS 2632404 HAS SOPS 2535398 HAS SOUS 382378 HAS SOUPS 365945 WITH SCORE 368577.404
AT ITER 4673 NEW BEST:: SOT 4263655 SOS 2632404 HAS SOPS 2535396 HAS SOUS 382376 HAS SOUPS 365941 WITH SCORE 368573.404
AT ITER 4674 NEW BEST:: SOT 4263655 SOS 2632394 HAS SOPS 2535376 HAS SOUS 382356 HAS SOUPS 365921 WITH SCORE 368553.394
AT ITER 4699 NEW BEST:: SOT 4263655 SOS 2632394 HAS SOPS 2535333 HAS SOUS 382313 HAS SOUPS 365835 WITH SCORE 368467.394
AT ITER 4714 NEW BEST:: SOT 4264734 SOS 2633101 HAS SOPS 2534638 HAS SOUS 381981 HAS SOUPS 365533 WITH SCORE 368166.101
AT ITER 4718 NEW BEST:: SOT 4264734 SOS 2632887 HAS SOPS 2533338 HAS SOUS 380869 HAS SOUPS 364421 WITH SCORE 367053.887
AT ITER 4722 NEW BEST:: SOT 4257939 SOS 2626171 HAS SOPS 2526543 HAS SOUS 378294 HAS SOUPS 361804 WITH SCORE 364430.171
AT ITER 4758 NEW BEST:: SOT 4257939 SOS 2626171 HAS SOPS 2526536 HAS SOUS 378287 HAS SOUPS 361790 WITH SCORE 364416.171
AT ITER 4778 NEW BEST:: SOT 4254423 SOS 2622091 HAS SOPS 2520420 HAS SOUS 375283 HAS SOUPS 358760 WITH SCORE 361382.091
AT ITER 4789 NEW BEST:: SOT 4254423 SOS 2619263 HAS SOPS 2517595 HAS SOUS 375139 HAS SOUPS 358710 WITH SCORE 361329.263
AT ITER 4796 NEW BEST:: SOT 4253474 SOS 2618696 HAS SOPS 2517025 HAS SOUS 373968 HAS SOUPS 357761 WITH SCORE 360379.696
AT ITER 4801 NEW BEST:: SOT 4253474 SOS 2611020 HAS SOPS 2509419 HAS SOUS 373821 HAS SOUPS 357749 WITH SCORE 360360.02
AT ITER 4822 NEW BEST:: SOT 4252145 SOS 2609607 HAS SOPS 2507275 HAS SOUS 373238 HAS SOUPS 357151 WITH SCORE 359760.607
AT ITER 4854 NEW BEST:: SOT 4251933 SOS 2618358 HAS SOPS 2516139 HAS SOUS 373323 HAS SOUPS 357048 WITH SCORE 359666.358
AT ITER 4862 NEW BEST:: SOT 4251933 SOS 2613781 HAS SOPS 2511519 HAS SOUS 373109 HAS SOUPS 356939 WITH SCORE 359552.781
AT ITER 4866 NEW BEST:: SOT 4251933 SOS 2610317 HAS SOPS 2508055 HAS SOUS 373099 HAS SOUPS 356929 WITH SCORE 359539.317
AT ITER 4882 NEW BEST:: SOT 4251933 SOS 2610111 HAS SOPS 2507849 HAS SOUS 373096 HAS SOUPS 356925 WITH SCORE 359535.111
AT ITER 4901 NEW BEST:: SOT 4251933 SOS 2608076 HAS SOPS 2505728 HAS SOUS 372968 HAS SOUPS 356797 WITH SCORE 359405.076
AT ITER 4939 NEW BEST:: SOT 4251933 SOS 2607164 HAS SOPS 2504816 HAS SOUS 372938 HAS SOUPS 356779 WITH SCORE 359386.164
AT ITER 4941 NEW BEST:: SOT 4251933 SOS 2613074 HAS SOPS 2510643 HAS SOUS 372901 HAS SOUPS 356742 WITH SCORE 359355.074
AT ITER 4950 NEW BEST:: SOT 4251983 SOS 2613060 HAS SOPS 2510697 HAS SOUS 372619 HAS SOUPS 356468 WITH SCORE 359081.06
AT ITER 4975 NEW BEST:: SOT 4251933 SOS 2613010 HAS SOPS 2510661 HAS SOUS 372583 HAS SOUPS 356446 WITH SCORE 359059.01
Bounds file is: CTLFireability.xml
PROPERTY: Dekker-PT-100-CTLFireability-00 (AG( ( ( (EF( ((potential((tk(P68)>=1) & (tk(P96)>=1) & (tk(P343)>=1)))))) | (! ((potential((tk(P20)>=1) & (tk(P108)>=1) & (tk(P229)>=1))))) ) | (! ((potential((tk(P88)>=1) & (tk(P194)>=1) & (tk(P490)>=1))))) )))
PROPERTY: Dekker-PT-100-CTLFireability-01 (! (EF( ((potential((tk(P34)>=1) & (tk(P92)>=1) & (tk(P250)>=1)))))))
PROPERTY: Dekker-PT-100-CTLFireability-02 (AF( ((potential((tk(P84)>=1) & (tk(P124)>=1) & (tk(P325)>=1))))))
PROPERTY: Dekker-PT-100-CTLFireability-03 ( ( ((potential((tk(P18)>=1) & (tk(P162)>=1) & (tk(P226)>=1)))) | ( (AG( ( ((potential((tk(P4)>=1) & (tk(P38)>=1) & (tk(P256)>=1)))) | ((potential((tk(P70)>=1) & (tk(P114)>=1) & (tk(P370)>=1)))) ))) | (! (AF( ((potential((tk(P134)>=1) & (tk(P164)>=1) & (tk(P400)>=1))))))) ) ) & (! ((potential((tk(P26)>=1) & (tk(P188)>=1) & (tk(P481)>=1))))) )
PROPERTY: Dekker-PT-100-CTLFireability-04 (AU( ( ( ((potential((tk(P134)>=1) & (tk(P194)>=1) & (tk(P400)>=1)))) | ( ((potential((tk(P130)>=1) & (tk(P148)>=1) & (tk(P421)>=1)))) | ((potential((tk(P28)>=1) & (tk(P140)>=1) & (tk(P241)>=1)))) ) ) & (AX( ((potential((tk(P94)>=1) & (tk(P144)>=1) & (tk(P340)>=1)))))) ) , (EF( ( ((potential((tk(P72)>=1) & (tk(P108)>=1) & (tk(P307)>=1)))) | ((potential((tk(P90)>=1) & (tk(P178)>=1) & (tk(P334)>=1)))) ))) ))
PROPERTY: Dekker-PT-100-CTLFireability-05 (! (! (AF( ((potential((tk(P16)>=1) & (tk(P68)>=1) & (tk(P301)>=1))))))))
PROPERTY: Dekker-PT-100-CTLFireability-06 ( ( (EG( (! ( ((potential((tk(P14)>=1) & (tk(P118)>=1) & (tk(P220)>=1)))) | ((potential((tk(P116)>=1) & (tk(P130)>=1) & (tk(P394)>=1)))) )))) | ( (EX( ( ((potential((tk(P94)>=1) & (tk(P182)>=1) & (tk(P340)>=1)))) & ((potential((tk(P6)>=1) & (tk(P140)>=1) & (tk(P409)>=1)))) ))) | ( (AG( ((potential((tk(P36)>=1) & (tk(P74)>=1) & (tk(P253)>=1)))))) | (EX( ((potential((tk(P36)>=1) & (tk(P192)>=1) & (tk(P253)>=1)))))) ) ) ) & (! ((potential((tk(P28)>=1) & (tk(P134)>=1) & (tk(P241)>=1))))) )
PROPERTY: Dekker-PT-100-CTLFireability-07 (! (EG( (! (EF( ((potential((tk(P10)>=1) & (tk(P36)>=1) & (tk(P214)>=1))))))))))
PROPERTY: Dekker-PT-100-CTLFireability-08 ( ( (AG( ((potential((tk(P80)>=1) & (tk(P94)>=1) & (tk(P340)>=1)))))) & ( ( ( ( ((potential((tk(P36)>=1) & (tk(P196)>=1) & (tk(P253)>=1)))) | ((potential((tk(P74)>=1) & (tk(P186)>=1) & (tk(P478)>=1)))) ) & ((potential((tk(P12)>=1) & (tk(P168)>=1) & (tk(P217)>=1)))) ) | (AX( ((potential((tk(P42)>=1) & (tk(P164)>=1) & (tk(P445)>=1)))))) ) | (! ((potential((tk(P52)>=1) & (tk(P128)>=1) & (tk(P391)>=1))))) ) ) | (AU( (EF( ((potential((tk(P40)>=1) & (tk(P58)>=1) & (tk(P259)>=1)))))) , ((potential((tk(P26)>=1) & (tk(P152)>=1) & (tk(P427)>=1)))) )) )
PROPERTY: Dekker-PT-100-CTLFireability-09 ( (AU( ((potential((tk(P2)>=1) & (tk(P96)>=1) & (tk(P343)>=1)))) , (EG( ((potential((tk(P185)>=1) & (tk(P477)>=1)))))) )) & (! (EU( ( ((potential((tk(P6)>=1) & (tk(P92)>=1) & (tk(P337)>=1)))) | ((potential((tk(P66)>=1) & (tk(P196)>=1) & (tk(P298)>=1)))) ) , ((potential((tk(P64)>=1) & (tk(P110)>=1) & (tk(P364)>=1)))) ))) )
PROPERTY: Dekker-PT-100-CTLFireability-10 (AU( ( ( (! ((potential((tk(P2)>=1) & (tk(P120)>=1) & (tk(P379)>=1))))) | ( ((potential((tk(P108)>=1) & (tk(P152)>=1) & (tk(P361)>=1)))) & ((potential((tk(P100)>=1) & (tk(P156)>=1) & (tk(P433)>=1)))) ) ) | ( (! ((potential((tk(P160)>=1) & (tk(P186)>=1) & (tk(P439)>=1))))) | ( ((potential((tk(P38)>=1) & (tk(P198)>=1) & (tk(P256)>=1)))) | ((potential((tk(P160)>=1) & (tk(P190)>=1) & (tk(P484)>=1)))) ) ) ) , (AX( ( ((potential((tk(P66)>=1) & (tk(P82)>=1) & (tk(P322)>=1)))) & ((potential((tk(P76)>=1) & (tk(P148)>=1) & (tk(P421)>=1)))) ))) ))
PROPERTY: Dekker-PT-100-CTLFireability-11 (AG( (! (AF( ((potential((tk(P52)>=1) & (tk(P188)>=1) & (tk(P481)>=1)))))))))
PROPERTY: Dekker-PT-100-CTLFireability-12 (EG( ( ( (AF( ((potential((tk(P16)>=1) & (tk(P70)>=1) & (tk(P223)>=1)))))) | ( (! ((potential((tk(P132)>=1) & (tk(P140)>=1) & (tk(P409)>=1))))) & ( ((potential((tk(P148)>=1) & (tk(P164)>=1) & (tk(P421)>=1)))) & ((potential((tk(P152)>=1) & (tk(P198)>=1) & (tk(P427)>=1)))) ) ) ) | ( (EX( ((potential((tk(P8)>=1) & (tk(P126)>=1) & (tk(P211)>=1)))))) & ( (! ((potential((tk(P136)>=1) & (tk(P172)>=1) & (tk(P403)>=1))))) | ( ((potential((tk(P94)>=1) & (tk(P108)>=1) & (tk(P340)>=1)))) | ((potential((tk(P106)>=1) & (tk(P200)>=1) & (tk(P499)>=1)))) ) ) ) )))
PROPERTY: Dekker-PT-100-CTLFireability-13 (AF( ( ((potential((tk(P30)>=1) & (tk(P114)>=1) & (tk(P244)>=1)))) | ( (AX( ((potential((tk(P188)>=1) & (tk(P482)>=1)))))) & (AG( ((potential((tk(P92)>=1) & (tk(P142)>=1) & (tk(P337)>=1)))))) ) )))
PROPERTY: Dekker-PT-100-CTLFireability-14 (AX( (EF( ( ( ((potential((tk(P32)>=1) & (tk(P42)>=1) & (tk(P247)>=1)))) & ((potential((tk(P56)>=1) & (tk(P174)>=1) & (tk(P460)>=1)))) ) & (! ((potential((tk(P146)>=1) & (tk(P158)>=1) & (tk(P418)>=1))))) )))))
PROPERTY: Dekker-PT-100-CTLFireability-15 (AF( ((potential((tk(P48)>=1) & (tk(P154)>=1) & (tk(P430)>=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="Dekker-PT-100"
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 Dekker-PT-100, 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 r063-tajo-158922807300340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-100.tgz
mv Dekker-PT-100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;