Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469600555.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 ShieldPPPs-PT-100A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600555
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K May 14 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 19:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 13 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 907K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590446555962

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

GOT IT HERE. BS
Petri model created: 3103 places, 2603 transitions, 10006 arcs.
AT ITER 0 NEW BEST:: SOT 5204942 SOS 3570726 HAS SOPS 3570726 HAS SOUS 2639856 HAS SOUPS 2639856 WITH SCORE 2643426.726
AT ITER 2 NEW BEST:: SOT 5204088 SOS 3570051 HAS SOPS 3570051 HAS SOUS 2639181 HAS SOUPS 2639181 WITH SCORE 2642751.051
AT ITER 20 NEW BEST:: SOT 5203186 SOS 3569703 HAS SOPS 3569703 HAS SOUS 2638833 HAS SOUPS 2638833 WITH SCORE 2642402.703
AT ITER 26 NEW BEST:: SOT 5202124 SOS 3568905 HAS SOPS 3568905 HAS SOUS 2638035 HAS SOUPS 2638035 WITH SCORE 2641603.905
AT ITER 31 NEW BEST:: SOT 5201954 SOS 3568735 HAS SOPS 3568735 HAS SOUS 2637865 HAS SOUPS 2637865 WITH SCORE 2641433.735
AT ITER 38 NEW BEST:: SOT 5201488 SOS 3568269 HAS SOPS 3568269 HAS SOUS 2637399 HAS SOUPS 2637399 WITH SCORE 2640967.269
AT ITER 46 NEW BEST:: SOT 5200310 SOS 3567260 HAS SOPS 3567260 HAS SOUS 2636390 HAS SOUPS 2636390 WITH SCORE 2639957.26
AT ITER 54 NEW BEST:: SOT 5200843 SOS 3562846 HAS SOPS 3562846 HAS SOUS 2635146 HAS SOUPS 2635146 WITH SCORE 2638708.846
AT ITER 58 NEW BEST:: SOT 5200557 SOS 3562560 HAS SOPS 3562560 HAS SOUS 2634860 HAS SOUPS 2634860 WITH SCORE 2638422.56
AT ITER 67 NEW BEST:: SOT 5199443 SOS 3561446 HAS SOPS 3561446 HAS SOUS 2633746 HAS SOUPS 2633746 WITH SCORE 2637307.446
AT ITER 70 NEW BEST:: SOT 5198387 SOS 3560390 HAS SOPS 3560390 HAS SOUS 2632690 HAS SOUPS 2632690 WITH SCORE 2636250.39
AT ITER 74 NEW BEST:: SOT 5198375 SOS 3560369 HAS SOPS 3560369 HAS SOUS 2632658 HAS SOUPS 2632658 WITH SCORE 2636218.369
AT ITER 76 NEW BEST:: SOT 5197849 SOS 3559843 HAS SOPS 3559843 HAS SOUS 2632132 HAS SOUPS 2632132 WITH SCORE 2635691.843
AT ITER 87 NEW BEST:: SOT 5197441 SOS 3553035 HAS SOPS 3553035 HAS SOUS 2629304 HAS SOUPS 2629304 WITH SCORE 2632857.035
AT ITER 88 NEW BEST:: SOT 5197154 SOS 3552748 HAS SOPS 3552748 HAS SOUS 2629017 HAS SOUPS 2629017 WITH SCORE 2632569.748
AT ITER 92 NEW BEST:: SOT 5196440 SOS 3552034 HAS SOPS 3552034 HAS SOUS 2628303 HAS SOUPS 2628303 WITH SCORE 2631855.034
AT ITER 99 NEW BEST:: SOT 5195480 SOS 3551073 HAS SOPS 3551073 HAS SOUS 2627342 HAS SOUPS 2627342 WITH SCORE 2630893.073
AT ITER 106 NEW BEST:: SOT 5195479 SOS 3549257 HAS SOPS 3549257 HAS SOUS 2627319 HAS SOUPS 2627319 WITH SCORE 2630868.257
AT ITER 108 NEW BEST:: SOT 5195017 SOS 3548564 HAS SOPS 3548564 HAS SOUS 2626626 HAS SOUPS 2626626 WITH SCORE 2630174.564
AT ITER 113 NEW BEST:: SOT 5194788 SOS 3547419 HAS SOPS 3547419 HAS SOUS 2626626 HAS SOUPS 2626626 WITH SCORE 2630173.419
AT ITER 117 NEW BEST:: SOT 5194433 SOS 3544752 HAS SOPS 3544752 HAS SOUS 2626625 HAS SOUPS 2626625 WITH SCORE 2630169.752
AT ITER 123 NEW BEST:: SOT 5194092 SOS 3544822 HAS SOPS 3544822 HAS SOUS 2626489 HAS SOUPS 2626489 WITH SCORE 2630033.822
AT ITER 135 NEW BEST:: SOT 5193925 SOS 3544655 HAS SOPS 3544655 HAS SOUS 2626322 HAS SOUPS 2626322 WITH SCORE 2629866.655
AT ITER 144 NEW BEST:: SOT 5193267 SOS 3541365 HAS SOPS 3541365 HAS SOUS 2626322 HAS SOUPS 2626322 WITH SCORE 2629863.365
AT ITER 151 NEW BEST:: SOT 5192083 SOS 3540169 HAS SOPS 3540169 HAS SOUS 2625119 HAS SOUPS 2625119 WITH SCORE 2628659.169
AT ITER 158 NEW BEST:: SOT 5191560 SOS 3540025 HAS SOPS 3540025 HAS SOUS 2624785 HAS SOUPS 2624785 WITH SCORE 2628325.025
AT ITER 164 NEW BEST:: SOT 5190431 SOS 3534380 HAS SOPS 3534380 HAS SOUS 2624785 HAS SOUPS 2624785 WITH SCORE 2628319.38
AT ITER 166 NEW BEST:: SOT 5189617 SOS 3533566 HAS SOPS 3533566 HAS SOUS 2623971 HAS SOUPS 2623971 WITH SCORE 2627504.566
AT ITER 168 NEW BEST:: SOT 5189331 SOS 3533278 HAS SOPS 3533278 HAS SOUS 2623683 HAS SOUPS 2623683 WITH SCORE 2627216.278
AT ITER 173 NEW BEST:: SOT 5189311 SOS 3533256 HAS SOPS 3533256 HAS SOUS 2623661 HAS SOUPS 2623661 WITH SCORE 2627194.256
AT ITER 187 NEW BEST:: SOT 5188540 SOS 3532544 HAS SOPS 3532544 HAS SOUS 2622919 HAS SOUPS 2622919 WITH SCORE 2626451.544
AT ITER 203 NEW BEST:: SOT 5188813 SOS 3526531 HAS SOPS 3526531 HAS SOUS 2620452 HAS SOUPS 2620452 WITH SCORE 2623978.531
AT ITER 209 NEW BEST:: SOT 5188111 SOS 3525829 HAS SOPS 3525829 HAS SOUS 2619750 HAS SOUPS 2619750 WITH SCORE 2623275.829
AT ITER 212 NEW BEST:: SOT 5187899 SOS 3525617 HAS SOPS 3525617 HAS SOUS 2619538 HAS SOUPS 2619538 WITH SCORE 2623063.617
AT ITER 219 NEW BEST:: SOT 5187433 SOS 3525338 HAS SOPS 3525338 HAS SOUS 2619166 HAS SOUPS 2619166 WITH SCORE 2622691.338
AT ITER 224 NEW BEST:: SOT 5187374 SOS 3525279 HAS SOPS 3525279 HAS SOUS 2619107 HAS SOUPS 2619107 WITH SCORE 2622632.279
AT ITER 225 NEW BEST:: SOT 5187370 SOS 3525263 HAS SOPS 3525263 HAS SOUS 2619089 HAS SOUPS 2619089 WITH SCORE 2622614.263
AT ITER 226 NEW BEST:: SOT 5187249 SOS 3525142 HAS SOPS 3525142 HAS SOUS 2618968 HAS SOUPS 2618968 WITH SCORE 2622493.142
AT ITER 235 NEW BEST:: SOT 5187248 SOS 3523046 HAS SOPS 3523046 HAS SOUS 2618944 HAS SOUPS 2618944 WITH SCORE 2622467.046
AT ITER 241 NEW BEST:: SOT 5186318 SOS 3518396 HAS SOPS 3518396 HAS SOUS 2618943 HAS SOUPS 2618943 WITH SCORE 2622461.396
AT ITER 250 NEW BEST:: SOT 5183286 SOS 3512686 HAS SOPS 3512686 HAS SOUS 2611135 HAS SOUPS 2611135 WITH SCORE 2614647.686
AT ITER 255 NEW BEST:: SOT 5183267 SOS 3512667 HAS SOPS 3512667 HAS SOUS 2611116 HAS SOUPS 2611116 WITH SCORE 2614628.667
AT ITER 262 NEW BEST:: SOT 5182643 SOS 3512046 HAS SOPS 3512046 HAS SOUS 2610495 HAS SOUPS 2610495 WITH SCORE 2614007.046
AT ITER 264 NEW BEST:: SOT 5181059 SOS 3502950 HAS SOPS 3502950 HAS SOUS 2606008 HAS SOUPS 2606008 WITH SCORE 2609510.95
AT ITER 267 NEW BEST:: SOT 5180596 SOS 3502718 HAS SOPS 3502718 HAS SOUS 2605662 HAS SOUPS 2605662 WITH SCORE 2609164.718
AT ITER 274 NEW BEST:: SOT 5180589 SOS 3502711 HAS SOPS 3502711 HAS SOUS 2605655 HAS SOUPS 2605655 WITH SCORE 2609157.711
AT ITER 278 NEW BEST:: SOT 5179105 SOS 3501588 HAS SOPS 3501588 HAS SOUS 2604352 HAS SOUPS 2604352 WITH SCORE 2607853.588
AT ITER 279 NEW BEST:: SOT 5178575 SOS 3501057 HAS SOPS 3501057 HAS SOUS 2603821 HAS SOUPS 2603821 WITH SCORE 2607322.057
AT ITER 280 NEW BEST:: SOT 5178574 SOS 3501054 HAS SOPS 3501054 HAS SOUS 2603818 HAS SOUPS 2603818 WITH SCORE 2607319.054
AT ITER 281 NEW BEST:: SOT 5178573 SOS 3499346 HAS SOPS 3499346 HAS SOUS 2603795 HAS SOUPS 2603795 WITH SCORE 2607294.346
AT ITER 297 NEW BEST:: SOT 5178219 SOS 3498992 HAS SOPS 3498992 HAS SOUS 2603441 HAS SOUPS 2603441 WITH SCORE 2606939.992
AT ITER 299 NEW BEST:: SOT 5177940 SOS 3498155 HAS SOPS 3498155 HAS SOUS 2603441 HAS SOUPS 2603441 WITH SCORE 2606939.155
AT ITER 301 NEW BEST:: SOT 5176937 SOS 3497962 HAS SOPS 3497962 HAS SOUS 2602842 HAS SOUPS 2602842 WITH SCORE 2606339.962
AT ITER 311 NEW BEST:: SOT 5175783 SOS 3497253 HAS SOPS 3497253 HAS SOUS 2601910 HAS SOUPS 2601910 WITH SCORE 2605407.253
AT ITER 317 NEW BEST:: SOT 5175239 SOS 3496708 HAS SOPS 3496708 HAS SOUS 2601365 HAS SOUPS 2601365 WITH SCORE 2604861.708
AT ITER 321 NEW BEST:: SOT 5174801 SOS 3496268 HAS SOPS 3496268 HAS SOUS 2600925 HAS SOUPS 2600925 WITH SCORE 2604421.268
AT ITER 332 NEW BEST:: SOT 5174626 SOS 3496093 HAS SOPS 3496093 HAS SOUS 2600750 HAS SOUPS 2600750 WITH SCORE 2604246.093
AT ITER 335 NEW BEST:: SOT 5174073 SOS 3495540 HAS SOPS 3495540 HAS SOUS 2600197 HAS SOUPS 2600197 WITH SCORE 2603692.54
AT ITER 337 NEW BEST:: SOT 5175447 SOS 3489011 HAS SOPS 3489011 HAS SOUS 2598106 HAS SOUPS 2598106 WITH SCORE 2601595.011
AT ITER 343 NEW BEST:: SOT 5175424 SOS 3488988 HAS SOPS 3488988 HAS SOUS 2598083 HAS SOUPS 2598083 WITH SCORE 2601571.988
AT ITER 350 NEW BEST:: SOT 5174840 SOS 3488404 HAS SOPS 3488404 HAS SOUS 2597499 HAS SOUPS 2597499 WITH SCORE 2600987.404
AT ITER 354 NEW BEST:: SOT 5173952 SOS 3487512 HAS SOPS 3487512 HAS SOUS 2596594 HAS SOUPS 2596594 WITH SCORE 2600081.512
AT ITER 359 NEW BEST:: SOT 5172961 SOS 3486519 HAS SOPS 3486519 HAS SOUS 2595601 HAS SOUPS 2595601 WITH SCORE 2599087.519
AT ITER 362 NEW BEST:: SOT 5172961 SOS 3486517 HAS SOPS 3486517 HAS SOUS 2595599 HAS SOUPS 2595599 WITH SCORE 2599085.517
AT ITER 367 NEW BEST:: SOT 5172565 SOS 3486119 HAS SOPS 3486119 HAS SOUS 2595201 HAS SOUPS 2595201 WITH SCORE 2598687.119
AT ITER 368 NEW BEST:: SOT 5171881 SOS 3485433 HAS SOPS 3485433 HAS SOUS 2594515 HAS SOUPS 2594515 WITH SCORE 2598000.433
AT ITER 372 NEW BEST:: SOT 5171575 SOS 3483903 HAS SOPS 3483903 HAS SOUS 2594514 HAS SOUPS 2594514 WITH SCORE 2597997.903
AT ITER 375 NEW BEST:: SOT 5171569 SOS 3483895 HAS SOPS 3483895 HAS SOUS 2594506 HAS SOUPS 2594506 WITH SCORE 2597989.895
AT ITER 378 NEW BEST:: SOT 5170982 SOS 3480387 HAS SOPS 3480387 HAS SOUS 2594506 HAS SOUPS 2594506 WITH SCORE 2597986.387
AT ITER 382 NEW BEST:: SOT 5170446 SOS 3479849 HAS SOPS 3479849 HAS SOUS 2593968 HAS SOUPS 2593968 WITH SCORE 2597447.849
AT ITER 388 NEW BEST:: SOT 5170391 SOS 3479792 HAS SOPS 3479792 HAS SOUS 2593911 HAS SOUPS 2593911 WITH SCORE 2597390.792
AT ITER 389 NEW BEST:: SOT 5169716 SOS 3479106 HAS SOPS 3479106 HAS SOUS 2593217 HAS SOUPS 2593217 WITH SCORE 2596696.106
AT ITER 396 NEW BEST:: SOT 5168654 SOS 3478042 HAS SOPS 3478042 HAS SOUS 2592153 HAS SOUPS 2592153 WITH SCORE 2595631.042
AT ITER 411 NEW BEST:: SOT 5168073 SOS 3477447 HAS SOPS 3477447 HAS SOUS 2591558 HAS SOUPS 2591558 WITH SCORE 2595035.447
AT ITER 412 NEW BEST:: SOT 5168059 SOS 3477428 HAS SOPS 3477428 HAS SOUS 2591526 HAS SOUPS 2591526 WITH SCORE 2595003.428
AT ITER 416 NEW BEST:: SOT 5166863 SOS 3471448 HAS SOPS 3471448 HAS SOUS 2591526 HAS SOUPS 2591526 WITH SCORE 2594997.448
AT ITER 417 NEW BEST:: SOT 5166500 SOS 3471085 HAS SOPS 3471085 HAS SOUS 2591163 HAS SOUPS 2591163 WITH SCORE 2594634.085
AT ITER 429 NEW BEST:: SOT 5165648 SOS 3463774 HAS SOPS 3463774 HAS SOUS 2587769 HAS SOUPS 2587769 WITH SCORE 2591232.774
AT ITER 436 NEW BEST:: SOT 5164911 SOS 3462301 HAS SOPS 3462301 HAS SOUS 2586296 HAS SOUPS 2586296 WITH SCORE 2589758.301
AT ITER 448 NEW BEST:: SOT 5164880 SOS 3462268 HAS SOPS 3462268 HAS SOUS 2586263 HAS SOUPS 2586263 WITH SCORE 2589725.268
AT ITER 452 NEW BEST:: SOT 5164769 SOS 3462157 HAS SOPS 3462157 HAS SOUS 2586152 HAS SOUPS 2586152 WITH SCORE 2589614.157
AT ITER 456 NEW BEST:: SOT 5165262 SOS 3456349 HAS SOPS 3456349 HAS SOUS 2585191 HAS SOUPS 2585191 WITH SCORE 2588647.349
AT ITER 458 NEW BEST:: SOT 5166326 SOS 3453636 HAS SOPS 3453636 HAS SOUS 2584883 HAS SOUPS 2584883 WITH SCORE 2588336.636
AT ITER 494 NEW BEST:: SOT 5165994 SOS 3453304 HAS SOPS 3453304 HAS SOUS 2584551 HAS SOUPS 2584551 WITH SCORE 2588004.304
AT ITER 495 NEW BEST:: SOT 5165390 SOS 3452863 HAS SOPS 3452863 HAS SOUS 2584110 HAS SOUPS 2584110 WITH SCORE 2587562.863
AT ITER 499 NEW BEST:: SOT 5165178 SOS 3452699 HAS SOPS 3452699 HAS SOUS 2583679 HAS SOUPS 2583679 WITH SCORE 2587131.699
AT ITER 506 NEW BEST:: SOT 5165082 SOS 3452603 HAS SOPS 3452603 HAS SOUS 2583583 HAS SOUPS 2583583 WITH SCORE 2587035.603
AT ITER 509 NEW BEST:: SOT 5164393 SOS 3452895 HAS SOPS 3452895 HAS SOUS 2583385 HAS SOUPS 2583385 WITH SCORE 2586837.895
AT ITER 510 NEW BEST:: SOT 5164136 SOS 3452638 HAS SOPS 3452638 HAS SOUS 2583128 HAS SOUPS 2583128 WITH SCORE 2586580.638
AT ITER 516 NEW BEST:: SOT 5162785 SOS 3451287 HAS SOPS 3451287 HAS SOUS 2581777 HAS SOUPS 2581777 WITH SCORE 2585228.287
AT ITER 520 NEW BEST:: SOT 5162771 SOS 3451264 HAS SOPS 3451264 HAS SOUS 2581741 HAS SOUPS 2581741 WITH SCORE 2585192.264
AT ITER 523 NEW BEST:: SOT 5162365 SOS 3450858 HAS SOPS 3450858 HAS SOUS 2581335 HAS SOUPS 2581335 WITH SCORE 2584785.858
AT ITER 524 NEW BEST:: SOT 5161737 SOS 3451337 HAS SOPS 3451337 HAS SOUS 2581261 HAS SOUPS 2581261 WITH SCORE 2584712.337
AT ITER 538 NEW BEST:: SOT 5161683 SOS 3451283 HAS SOPS 3451283 HAS SOUS 2581207 HAS SOUPS 2581207 WITH SCORE 2584658.283
AT ITER 541 NEW BEST:: SOT 5160381 SOS 3449979 HAS SOPS 3449979 HAS SOUS 2579903 HAS SOUPS 2579903 WITH SCORE 2583352.979
AT ITER 550 NEW BEST:: SOT 5160380 SOS 3448911 HAS SOPS 3448911 HAS SOUS 2579880 HAS SOUPS 2579880 WITH SCORE 2583328.911
AT ITER 553 NEW BEST:: SOT 5160375 SOS 3448906 HAS SOPS 3448906 HAS SOUS 2579875 HAS SOUPS 2579875 WITH SCORE 2583323.906
AT ITER 558 NEW BEST:: SOT 5160087 SOS 3447466 HAS SOPS 3447466 HAS SOUS 2579874 HAS SOUPS 2579874 WITH SCORE 2583321.466
AT ITER 562 NEW BEST:: SOT 5159063 SOS 3446442 HAS SOPS 3446442 HAS SOUS 2578850 HAS SOUPS 2578850 WITH SCORE 2582296.442
AT ITER 567 NEW BEST:: SOT 5159062 SOS 3445667 HAS SOPS 3445667 HAS SOUS 2578840 HAS SOUPS 2578840 WITH SCORE 2582285.667
AT ITER 570 NEW BEST:: SOT 5158979 SOS 3445582 HAS SOPS 3445582 HAS SOUS 2578755 HAS SOUPS 2578755 WITH SCORE 2582200.582
AT ITER 577 NEW BEST:: SOT 5158412 SOS 3445015 HAS SOPS 3445015 HAS SOUS 2578188 HAS SOUPS 2578188 WITH SCORE 2581633.015
AT ITER 590 NEW BEST:: SOT 5157632 SOS 3444234 HAS SOPS 3444234 HAS SOUS 2577407 HAS SOUPS 2577407 WITH SCORE 2580851.234
AT ITER 599 NEW BEST:: SOT 5157619 SOS 3444211 HAS SOPS 3444211 HAS SOUS 2577371 HAS SOUPS 2577371 WITH SCORE 2580815.211
AT ITER 606 NEW BEST:: SOT 5157306 SOS 3443898 HAS SOPS 3443898 HAS SOUS 2577058 HAS SOUPS 2577058 WITH SCORE 2580501.898
AT ITER 614 NEW BEST:: SOT 5157302 SOS 3443894 HAS SOPS 3443894 HAS SOUS 2577054 HAS SOUPS 2577054 WITH SCORE 2580497.894
AT ITER 616 NEW BEST:: SOT 5155899 SOS 3442491 HAS SOPS 3442491 HAS SOUS 2575651 HAS SOUPS 2575651 WITH SCORE 2579093.491
AT ITER 628 NEW BEST:: SOT 5155905 SOS 3442497 HAS SOPS 3442497 HAS SOUS 2575650 HAS SOUPS 2575650 WITH SCORE 2579092.497
AT ITER 642 NEW BEST:: SOT 5155446 SOS 3442431 HAS SOPS 3442431 HAS SOUS 2575584 HAS SOUPS 2575584 WITH SCORE 2579026.431
AT ITER 644 NEW BEST:: SOT 5155050 SOS 3440451 HAS SOPS 3440451 HAS SOUS 2575584 HAS SOUPS 2575584 WITH SCORE 2579024.451
AT ITER 658 NEW BEST:: SOT 5154569 SOS 3439968 HAS SOPS 3439968 HAS SOUS 2575101 HAS SOUPS 2575101 WITH SCORE 2578540.968
AT ITER 667 NEW BEST:: SOT 5153949 SOS 3440559 HAS SOPS 3440559 HAS SOUS 2575080 HAS SOUPS 2575080 WITH SCORE 2578520.559
AT ITER 677 NEW BEST:: SOT 5153948 SOS 3434897 HAS SOPS 3434897 HAS SOUS 2574155 HAS SOUPS 2574155 WITH SCORE 2577589.897
AT ITER 678 NEW BEST:: SOT 5152888 SOS 3433901 HAS SOPS 3433901 HAS SOUS 2573128 HAS SOUPS 2573128 WITH SCORE 2576561.901
AT ITER 703 NEW BEST:: SOT 5152511 SOS 3433523 HAS SOPS 3433523 HAS SOUS 2572750 HAS SOUPS 2572750 WITH SCORE 2576183.523
AT ITER 708 NEW BEST:: SOT 5152363 SOS 3433373 HAS SOPS 3433373 HAS SOUS 2572600 HAS SOUPS 2572600 WITH SCORE 2576033.373
AT ITER 718 NEW BEST:: SOT 5151969 SOS 3432977 HAS SOPS 3432977 HAS SOUS 2572204 HAS SOUPS 2572204 WITH SCORE 2575636.977
AT ITER 723 NEW BEST:: SOT 5149289 SOS 3430295 HAS SOPS 3430295 HAS SOUS 2569522 HAS SOUPS 2569522 WITH SCORE 2572952.295
AT ITER 731 NEW BEST:: SOT 5149179 SOS 3430183 HAS SOPS 3430183 HAS SOUS 2569410 HAS SOUPS 2569410 WITH SCORE 2572840.183
AT ITER 742 NEW BEST:: SOT 5149088 SOS 3430092 HAS SOPS 3430092 HAS SOUS 2569319 HAS SOUPS 2569319 WITH SCORE 2572749.092
AT ITER 749 NEW BEST:: SOT 5147618 SOS 3428803 HAS SOPS 3428803 HAS SOUS 2567940 HAS SOUPS 2567940 WITH SCORE 2571368.803
AT ITER 753 NEW BEST:: SOT 5147852 SOS 3422034 HAS SOPS 3422034 HAS SOUS 2566406 HAS SOUPS 2566406 WITH SCORE 2569828.034
AT ITER 764 NEW BEST:: SOT 5147851 SOS 3418655 HAS SOPS 3418655 HAS SOUS 2566387 HAS SOUPS 2566387 WITH SCORE 2569805.655
AT ITER 770 NEW BEST:: SOT 5147851 SOS 3416849 HAS SOPS 3416849 HAS SOUS 2566373 HAS SOUPS 2566373 WITH SCORE 2569789.849
AT ITER 775 NEW BEST:: SOT 5147789 SOS 3416660 HAS SOPS 3416660 HAS SOUS 2566184 HAS SOUPS 2566184 WITH SCORE 2569600.66
AT ITER 789 NEW BEST:: SOT 5147710 SOS 3410709 HAS SOPS 3410709 HAS SOUS 2563901 HAS SOUPS 2563901 WITH SCORE 2567311.709
AT ITER 793 NEW BEST:: SOT 5147698 SOS 3410689 HAS SOPS 3410689 HAS SOUS 2563870 HAS SOUPS 2563870 WITH SCORE 2567280.689
AT ITER 795 NEW BEST:: SOT 5146898 SOS 3409885 HAS SOPS 3409885 HAS SOUS 2563054 HAS SOUPS 2563054 WITH SCORE 2566463.885
AT ITER 796 NEW BEST:: SOT 5146304 SOS 3403202 HAS SOPS 3403202 HAS SOUS 2560045 HAS SOUPS 2560045 WITH SCORE 2563448.202
AT ITER 809 NEW BEST:: SOT 5144257 SOS 3400382 HAS SOPS 3400382 HAS SOUS 2557237 HAS SOUPS 2557237 WITH SCORE 2560637.382
AT ITER 811 NEW BEST:: SOT 5144954 SOS 3395999 HAS SOPS 3395999 HAS SOUS 2556235 HAS SOUPS 2556235 WITH SCORE 2559630.999
AT ITER 812 NEW BEST:: SOT 5144511 SOS 3395649 HAS SOPS 3395649 HAS SOUS 2555885 HAS SOUPS 2555885 WITH SCORE 2559280.649
AT ITER 820 NEW BEST:: SOT 5144510 SOS 3393248 HAS SOPS 3393248 HAS SOUS 2555860 HAS SOUPS 2555860 WITH SCORE 2559253.248
AT ITER 825 NEW BEST:: SOT 5144162 SOS 3392900 HAS SOPS 3392900 HAS SOUS 2555512 HAS SOUPS 2555512 WITH SCORE 2558904.9
AT ITER 834 NEW BEST:: SOT 5143620 SOS 3392358 HAS SOPS 3392358 HAS SOUS 2554970 HAS SOUPS 2554970 WITH SCORE 2558362.358
AT ITER 842 NEW BEST:: SOT 5143620 SOS 3389516 HAS SOPS 3389516 HAS SOUS 2554970 HAS SOUPS 2554970 WITH SCORE 2558359.516
AT ITER 846 NEW BEST:: SOT 5142476 SOS 3388370 HAS SOPS 3388370 HAS SOUS 2553824 HAS SOUPS 2553824 WITH SCORE 2557212.37
AT ITER 850 NEW BEST:: SOT 5142466 SOS 3388360 HAS SOPS 3388360 HAS SOUS 2553814 HAS SOUPS 2553814 WITH SCORE 2557202.36
AT ITER 857 NEW BEST:: SOT 5141756 SOS 3387295 HAS SOPS 3387295 HAS SOUS 2552749 HAS SOUPS 2552749 WITH SCORE 2556136.295
AT ITER 858 NEW BEST:: SOT 5141742 SOS 3387272 HAS SOPS 3387272 HAS SOUS 2552713 HAS SOUPS 2552713 WITH SCORE 2556100.272
AT ITER 874 NEW BEST:: SOT 5141445 SOS 3385787 HAS SOPS 3385787 HAS SOUS 2552711 HAS SOUPS 2552711 WITH SCORE 2556096.787
AT ITER 879 NEW BEST:: SOT 5141348 SOS 3385581 HAS SOPS 3385581 HAS SOUS 2552418 HAS SOUPS 2552418 WITH SCORE 2555803.581
AT ITER 891 NEW BEST:: SOT 5140970 SOS 3383691 HAS SOPS 3383691 HAS SOUS 2552417 HAS SOUPS 2552417 WITH SCORE 2555800.691
AT ITER 893 NEW BEST:: SOT 5138603 SOS 3381324 HAS SOPS 3381324 HAS SOUS 2550050 HAS SOUPS 2550050 WITH SCORE 2553431.324
AT ITER 896 NEW BEST:: SOT 5134853 SOS 3377766 HAS SOPS 3377766 HAS SOUS 2546492 HAS SOUPS 2546492 WITH SCORE 2549869.766
AT ITER 897 NEW BEST:: SOT 5134604 SOS 3377517 HAS SOPS 3377517 HAS SOUS 2546243 HAS SOUPS 2546243 WITH SCORE 2549620.517
AT ITER 908 NEW BEST:: SOT 5134411 SOS 3377323 HAS SOPS 3377323 HAS SOUS 2546049 HAS SOUPS 2546049 WITH SCORE 2549426.323
AT ITER 921 NEW BEST:: SOT 5134035 SOS 3374146 HAS SOPS 3374146 HAS SOUS 2544674 HAS SOUPS 2544674 WITH SCORE 2548048.146
AT ITER 928 NEW BEST:: SOT 5133612 SOS 3373721 HAS SOPS 3373721 HAS SOUS 2544249 HAS SOUPS 2544249 WITH SCORE 2547622.721
AT ITER 945 NEW BEST:: SOT 5132572 SOS 3372679 HAS SOPS 3372679 HAS SOUS 2543207 HAS SOUPS 2543207 WITH SCORE 2546579.679
AT ITER 947 NEW BEST:: SOT 5131744 SOS 3372586 HAS SOPS 3372586 HAS SOUS 2542747 HAS SOUPS 2542747 WITH SCORE 2546119.586
AT ITER 950 NEW BEST:: SOT 5131153 SOS 3371995 HAS SOPS 3371995 HAS SOUS 2542156 HAS SOUPS 2542156 WITH SCORE 2545527.995
AT ITER 956 NEW BEST:: SOT 5130818 SOS 3370320 HAS SOPS 3370320 HAS SOUS 2542155 HAS SOUPS 2542155 WITH SCORE 2545525.32
AT ITER 973 NEW BEST:: SOT 5127662 SOS 3367164 HAS SOPS 3367164 HAS SOUS 2538999 HAS SOUPS 2538999 WITH SCORE 2542366.164
AT ITER 985 NEW BEST:: SOT 5127662 SOS 3367164 HAS SOPS 3367164 HAS SOUS 2538998 HAS SOUPS 2538998 WITH SCORE 2542365.164
AT ITER 997 NEW BEST:: SOT 5127627 SOS 3367128 HAS SOPS 3367128 HAS SOUS 2538962 HAS SOUPS 2538962 WITH SCORE 2542329.128
AT ITER 1001 NEW BEST:: SOT 5127320 SOS 3365593 HAS SOPS 3365593 HAS SOUS 2538961 HAS SOUPS 2538961 WITH SCORE 2542326.593
AT ITER 1006 NEW BEST:: SOT 5126769 SOS 3365128 HAS SOPS 3365128 HAS SOUS 2538534 HAS SOUPS 2538534 WITH SCORE 2541899.128
AT ITER 1009 NEW BEST:: SOT 5126719 SOS 3365078 HAS SOPS 3365078 HAS SOUS 2538484 HAS SOUPS 2538484 WITH SCORE 2541849.078
AT ITER 1012 NEW BEST:: SOT 5126715 SOS 3365074 HAS SOPS 3365074 HAS SOUS 2538480 HAS SOUPS 2538480 WITH SCORE 2541845.074
AT ITER 1027 NEW BEST:: SOT 5125535 SOS 3363894 HAS SOPS 3363894 HAS SOUS 2537300 HAS SOUPS 2537300 WITH SCORE 2540663.894
AT ITER 1028 NEW BEST:: SOT 5124806 SOS 3363165 HAS SOPS 3363165 HAS SOUS 2536571 HAS SOUPS 2536571 WITH SCORE 2539934.165
AT ITER 1030 NEW BEST:: SOT 5124806 SOS 3363310 HAS SOPS 3363310 HAS SOUS 2536165 HAS SOUPS 2536165 WITH SCORE 2539528.31
AT ITER 1057 NEW BEST:: SOT 5124120 SOS 3362624 HAS SOPS 3362624 HAS SOUS 2535479 HAS SOUPS 2535479 WITH SCORE 2538841.624
AT ITER 1061 NEW BEST:: SOT 5122958 SOS 3361462 HAS SOPS 3361462 HAS SOUS 2534317 HAS SOUPS 2534317 WITH SCORE 2537678.462
AT ITER 1079 NEW BEST:: SOT 5123445 SOS 3361381 HAS SOPS 3361381 HAS SOUS 2534236 HAS SOUPS 2534236 WITH SCORE 2537597.381
AT ITER 1088 NEW BEST:: SOT 5122351 SOS 3360287 HAS SOPS 3360287 HAS SOUS 2533142 HAS SOUPS 2533142 WITH SCORE 2536502.287
AT ITER 1103 NEW BEST:: SOT 5122350 SOS 3357020 HAS SOPS 3357020 HAS SOUS 2533123 HAS SOUPS 2533123 WITH SCORE 2536480.02
AT ITER 1105 NEW BEST:: SOT 5122205 SOS 3356875 HAS SOPS 3356875 HAS SOUS 2532978 HAS SOUPS 2532978 WITH SCORE 2536334.875
AT ITER 1113 NEW BEST:: SOT 5122062 SOS 3356729 HAS SOPS 3356729 HAS SOUS 2532832 HAS SOUPS 2532832 WITH SCORE 2536188.729
AT ITER 1114 NEW BEST:: SOT 5122049 SOS 3356712 HAS SOPS 3356712 HAS SOUS 2532803 HAS SOUPS 2532803 WITH SCORE 2536159.712
AT ITER 1118 NEW BEST:: SOT 5121670 SOS 3356333 HAS SOPS 3356333 HAS SOUS 2532424 HAS SOUPS 2532424 WITH SCORE 2535780.333
AT ITER 1120 NEW BEST:: SOT 5122210 SOS 3356269 HAS SOPS 3356269 HAS SOUS 2531194 HAS SOUPS 2531194 WITH SCORE 2534550.269
AT ITER 1127 NEW BEST:: SOT 5121993 SOS 3356052 HAS SOPS 3356052 HAS SOUS 2530976 HAS SOUPS 2530976 WITH SCORE 2534332.052
AT ITER 1131 NEW BEST:: SOT 5121561 SOS 3355959 HAS SOPS 3355959 HAS SOUS 2530714 HAS SOUPS 2530714 WITH SCORE 2534069.959
AT ITER 1151 NEW BEST:: SOT 5122337 SOS 3352574 HAS SOPS 3352574 HAS SOUS 2529912 HAS SOUPS 2529912 WITH SCORE 2533264.574
AT ITER 1197 NEW BEST:: SOT 5122245 SOS 3352482 HAS SOPS 3352482 HAS SOUS 2529820 HAS SOUPS 2529820 WITH SCORE 2533172.482
AT ITER 1198 NEW BEST:: SOT 5120114 SOS 3350684 HAS SOPS 3350684 HAS SOUS 2527855 HAS SOUPS 2527855 WITH SCORE 2531205.684
AT ITER 1203 NEW BEST:: SOT 5119376 SOS 3350313 HAS SOPS 3350313 HAS SOUS 2527852 HAS SOUPS 2527852 WITH SCORE 2531202.313
AT ITER 1209 NEW BEST:: SOT 5119135 SOS 3350061 HAS SOPS 3350061 HAS SOUS 2527593 HAS SOUPS 2527593 WITH SCORE 2530943.061
AT ITER 1216 NEW BEST:: SOT 5118668 SOS 3349594 HAS SOPS 3349594 HAS SOUS 2527593 HAS SOUPS 2527593 WITH SCORE 2530942.594
AT ITER 1234 NEW BEST:: SOT 5118358 SOS 3349284 HAS SOPS 3349284 HAS SOUS 2527283 HAS SOUPS 2527283 WITH SCORE 2530632.284
AT ITER 1235 NEW BEST:: SOT 5117464 SOS 3348390 HAS SOPS 3348390 HAS SOUS 2526389 HAS SOUPS 2526389 WITH SCORE 2529737.39
AT ITER 1243 NEW BEST:: SOT 5116318 SOS 3347242 HAS SOPS 3347242 HAS SOUS 2525241 HAS SOUPS 2525241 WITH SCORE 2528588.242
AT ITER 1256 NEW BEST:: SOT 5116009 SOS 3346933 HAS SOPS 3346933 HAS SOUS 2524932 HAS SOUPS 2524932 WITH SCORE 2528278.933
AT ITER 1257 NEW BEST:: SOT 5115775 SOS 3346699 HAS SOPS 3346699 HAS SOUS 2524698 HAS SOUPS 2524698 WITH SCORE 2528044.699
AT ITER 1261 NEW BEST:: SOT 5115181 SOS 3346105 HAS SOPS 3346105 HAS SOUS 2524104 HAS SOUPS 2524104 WITH SCORE 2527450.105
AT ITER 1266 NEW BEST:: SOT 5114921 SOS 3345843 HAS SOPS 3345843 HAS SOUS 2523842 HAS SOUPS 2523842 WITH SCORE 2527187.843
AT ITER 1273 NEW BEST:: SOT 5114102 SOS 3345015 HAS SOPS 3345015 HAS SOUS 2523003 HAS SOUPS 2523003 WITH SCORE 2526348.015
AT ITER 1274 NEW BEST:: SOT 5114029 SOS 3344942 HAS SOPS 3344942 HAS SOUS 2522930 HAS SOUPS 2522930 WITH SCORE 2526274.942
AT ITER 1280 NEW BEST:: SOT 5113286 SOS 3344199 HAS SOPS 3344199 HAS SOUS 2522186 HAS SOUPS 2522186 WITH SCORE 2525530.199
AT ITER 1288 NEW BEST:: SOT 5112776 SOS 3340517 HAS SOPS 3340517 HAS SOUS 2522184 HAS SOUPS 2522184 WITH SCORE 2525524.517
AT ITER 1305 NEW BEST:: SOT 5112606 SOS 3340347 HAS SOPS 3340347 HAS SOUS 2522014 HAS SOUPS 2522014 WITH SCORE 2525354.347
AT ITER 1314 NEW BEST:: SOT 5111922 SOS 3339663 HAS SOPS 3339663 HAS SOUS 2521330 HAS SOUPS 2521330 WITH SCORE 2524669.663
AT ITER 1316 NEW BEST:: SOT 5111495 SOS 3339536 HAS SOPS 3339536 HAS SOUS 2521042 HAS SOUPS 2521042 WITH SCORE 2524381.536
AT ITER 1327 NEW BEST:: SOT 5112065 SOS 3339473 HAS SOPS 3339473 HAS SOUS 2520979 HAS SOUPS 2520979 WITH SCORE 2524318.473
AT ITER 1331 NEW BEST:: SOT 5111551 SOS 3338890 HAS SOPS 3338890 HAS SOUS 2520038 HAS SOUPS 2520038 WITH SCORE 2523376.89
AT ITER 1339 NEW BEST:: SOT 5111493 SOS 3338832 HAS SOPS 3338832 HAS SOUS 2519980 HAS SOUPS 2519980 WITH SCORE 2523318.832
AT ITER 1350 NEW BEST:: SOT 5111345 SOS 3338388 HAS SOPS 3338388 HAS SOUS 2519979 HAS SOUPS 2519979 WITH SCORE 2523317.388
AT ITER 1356 NEW BEST:: SOT 5111627 SOS 3338360 HAS SOPS 3338360 HAS SOUS 2518539 HAS SOUPS 2518539 WITH SCORE 2521877.36
AT ITER 1358 NEW BEST:: SOT 5111624 SOS 3338357 HAS SOPS 3338357 HAS SOUS 2518536 HAS SOUPS 2518536 WITH SCORE 2521874.357
AT ITER 1364 NEW BEST:: SOT 5111106 SOS 3337839 HAS SOPS 3337839 HAS SOUS 2518018 HAS SOUPS 2518018 WITH SCORE 2521355.839
AT ITER 1373 NEW BEST:: SOT 5111106 SOS 3337683 HAS SOPS 3337683 HAS SOUS 2517862 HAS SOUPS 2517862 WITH SCORE 2521199.683
AT ITER 1380 NEW BEST:: SOT 5111008 SOS 3337583 HAS SOPS 3337583 HAS SOUS 2517762 HAS SOUPS 2517762 WITH SCORE 2521099.583
AT ITER 1381 NEW BEST:: SOT 5110999 SOS 3337438 HAS SOPS 3337438 HAS SOUS 2517685 HAS SOUPS 2517685 WITH SCORE 2521022.438
AT ITER 1391 NEW BEST:: SOT 5112109 SOS 3332149 HAS SOPS 3332149 HAS SOUS 2517338 HAS SOUPS 2517338 WITH SCORE 2520670.149
AT ITER 1393 NEW BEST:: SOT 5111564 SOS 3331604 HAS SOPS 3331604 HAS SOUS 2516793 HAS SOUPS 2516793 WITH SCORE 2520124.604
AT ITER 1403 NEW BEST:: SOT 5111534 SOS 3331574 HAS SOPS 3331574 HAS SOUS 2516763 HAS SOUPS 2516763 WITH SCORE 2520094.574
AT ITER 1405 NEW BEST:: SOT 5111526 SOS 3331555 HAS SOPS 3331555 HAS SOUS 2516738 HAS SOUPS 2516738 WITH SCORE 2520069.555
AT ITER 1408 NEW BEST:: SOT 5110751 SOS 3330780 HAS SOPS 3330780 HAS SOUS 2515962 HAS SOUPS 2515962 WITH SCORE 2519292.78
AT ITER 1410 NEW BEST:: SOT 5111542 SOS 3325005 HAS SOPS 3325005 HAS SOUS 2514972 HAS SOUPS 2514972 WITH SCORE 2518297.005
AT ITER 1411 NEW BEST:: SOT 5111594 SOS 3319440 HAS SOPS 3319440 HAS SOUS 2512848 HAS SOUPS 2512848 WITH SCORE 2516167.44
AT ITER 1415 NEW BEST:: SOT 5111104 SOS 3318950 HAS SOPS 3318950 HAS SOUS 2512358 HAS SOUPS 2512358 WITH SCORE 2515676.95
AT ITER 1416 NEW BEST:: SOT 5111048 SOS 3318894 HAS SOPS 3318894 HAS SOUS 2512302 HAS SOUPS 2512302 WITH SCORE 2515620.894
AT ITER 1426 NEW BEST:: SOT 5110497 SOS 3318341 HAS SOPS 3318341 HAS SOUS 2511749 HAS SOUPS 2511749 WITH SCORE 2515067.341
AT ITER 1430 NEW BEST:: SOT 5113476 SOS 3313101 HAS SOPS 3313101 HAS SOUS 2510464 HAS SOUPS 2510464 WITH SCORE 2513777.101
AT ITER 1432 NEW BEST:: SOT 5113461 SOS 3313080 HAS SOPS 3313080 HAS SOUS 2510429 HAS SOUPS 2510429 WITH SCORE 2513742.08
AT ITER 1434 NEW BEST:: SOT 5112313 SOS 3311931 HAS SOPS 3311931 HAS SOUS 2509280 HAS SOUPS 2509280 WITH SCORE 2512591.931
AT ITER 1435 NEW BEST:: SOT 5111846 SOS 3312001 HAS SOPS 3312001 HAS SOUS 2508483 HAS SOUPS 2508483 WITH SCORE 2511795.001
AT ITER 1436 NEW BEST:: SOT 5111649 SOS 3311165 HAS SOPS 3311165 HAS SOUS 2507646 HAS SOUPS 2507646 WITH SCORE 2510957.165
AT ITER 1445 NEW BEST:: SOT 5112568 SOS 3311084 HAS SOPS 3311084 HAS SOUS 2507553 HAS SOUPS 2507553 WITH SCORE 2510864.084
AT ITER 1448 NEW BEST:: SOT 5112567 SOS 3310333 HAS SOPS 3310333 HAS SOUS 2507537 HAS SOUPS 2507537 WITH SCORE 2510847.333
AT ITER 1457 NEW BEST:: SOT 5111814 SOS 3309806 HAS SOPS 3309806 HAS SOUS 2507010 HAS SOUPS 2507010 WITH SCORE 2510319.806
AT ITER 1465 NEW BEST:: SOT 5111278 SOS 3309270 HAS SOPS 3309270 HAS SOUS 2506474 HAS SOUPS 2506474 WITH SCORE 2509783.27
AT ITER 1478 NEW BEST:: SOT 5111113 SOS 3309104 HAS SOPS 3309104 HAS SOUS 2506308 HAS SOUPS 2506308 WITH SCORE 2509617.104
AT ITER 1498 NEW BEST:: SOT 5110644 SOS 3308646 HAS SOPS 3308646 HAS SOUS 2505850 HAS SOUPS 2505850 WITH SCORE 2509158.646
AT ITER 1507 NEW BEST:: SOT 5110614 SOS 3308636 HAS SOPS 3308636 HAS SOUS 2505676 HAS SOUPS 2505676 WITH SCORE 2508984.636
AT ITER 1521 NEW BEST:: SOT 5110478 SOS 3308500 HAS SOPS 3308500 HAS SOUS 2505540 HAS SOUPS 2505540 WITH SCORE 2508848.5
AT ITER 1522 NEW BEST:: SOT 5110158 SOS 3308180 HAS SOPS 3308180 HAS SOUS 2505220 HAS SOUPS 2505220 WITH SCORE 2508528.18
AT ITER 1530 NEW BEST:: SOT 5109844 SOS 3307866 HAS SOPS 3307866 HAS SOUS 2504906 HAS SOUPS 2504906 WITH SCORE 2508213.866
AT ITER 1533 NEW BEST:: SOT 5111469 SOS 3302025 HAS SOPS 3302025 HAS SOUS 2504148 HAS SOUPS 2504148 WITH SCORE 2507450.025
AT ITER 1536 NEW BEST:: SOT 5110485 SOS 3301040 HAS SOPS 3301040 HAS SOUS 2503163 HAS SOUPS 2503163 WITH SCORE 2506464.04
AT ITER 1537 NEW BEST:: SOT 5110547 SOS 3300709 HAS SOPS 3300709 HAS SOUS 2502841 HAS SOUPS 2502841 WITH SCORE 2506141.709
AT ITER 1543 NEW BEST:: SOT 5110547 SOS 3298798 HAS SOPS 3298798 HAS SOUS 2502827 HAS SOUPS 2502827 WITH SCORE 2506125.798
AT ITER 1544 NEW BEST:: SOT 5110116 SOS 3296421 HAS SOPS 3296421 HAS SOUS 2502826 HAS SOUPS 2502826 WITH SCORE 2506122.421
AT ITER 1546 NEW BEST:: SOT 5109987 SOS 3296292 HAS SOPS 3296292 HAS SOUS 2502697 HAS SOUPS 2502697 WITH SCORE 2505993.292
AT ITER 1558 NEW BEST:: SOT 5111072 SOS 3290650 HAS SOPS 3290650 HAS SOUS 2500893 HAS SOUPS 2500893 WITH SCORE 2504183.65
AT ITER 1562 NEW BEST:: SOT 5110947 SOS 3291332 HAS SOPS 3291332 HAS SOUS 2500089 HAS SOUPS 2500089 WITH SCORE 2503380.332
AT ITER 1564 NEW BEST:: SOT 5110693 SOS 3290062 HAS SOPS 3290062 HAS SOUS 2500089 HAS SOUPS 2500089 WITH SCORE 2503379.062
AT ITER 1570 NEW BEST:: SOT 5110634 SOS 3290003 HAS SOPS 3290003 HAS SOUS 2500030 HAS SOUPS 2500030 WITH SCORE 2503320.003
AT ITER 1585 NEW BEST:: SOT 5110533 SOS 3289902 HAS SOPS 3289902 HAS SOUS 2499929 HAS SOUPS 2499929 WITH SCORE 2503218.902
AT ITER 1590 NEW BEST:: SOT 5110074 SOS 3289443 HAS SOPS 3289443 HAS SOUS 2499470 HAS SOUPS 2499470 WITH SCORE 2502759.443
AT ITER 1597 NEW BEST:: SOT 5109973 SOS 3289242 HAS SOPS 3289242 HAS SOUS 2499269 HAS SOUPS 2499269 WITH SCORE 2502558.242
AT ITER 1612 NEW BEST:: SOT 5109968 SOS 3287208 HAS SOPS 3287208 HAS SOUS 2499271 HAS SOUPS 2499271 WITH SCORE 2502558.208
AT ITER 1614 NEW BEST:: SOT 5109976 SOS 3286933 HAS SOPS 3286933 HAS SOUS 2499009 HAS SOUPS 2499009 WITH SCORE 2502295.933
AT ITER 1625 NEW BEST:: SOT 5110596 SOS 3287573 HAS SOPS 3287573 HAS SOUS 2498754 HAS SOUPS 2498754 WITH SCORE 2502041.573
AT ITER 1632 NEW BEST:: SOT 5110138 SOS 3285283 HAS SOPS 3285283 HAS SOUS 2498753 HAS SOUPS 2498753 WITH SCORE 2502038.283
AT ITER 1637 NEW BEST:: SOT 5110574 SOS 3278912 HAS SOPS 3278912 HAS SOUS 2497561 HAS SOUPS 2497561 WITH SCORE 2500839.912
AT ITER 1654 NEW BEST:: SOT 5109616 SOS 3277954 HAS SOPS 3277954 HAS SOUS 2496603 HAS SOUPS 2496603 WITH SCORE 2499880.954
AT ITER 1658 NEW BEST:: SOT 5109304 SOS 3277642 HAS SOPS 3277642 HAS SOUS 2496291 HAS SOUPS 2496291 WITH SCORE 2499568.642
AT ITER 1660 NEW BEST:: SOT 5108908 SOS 3276996 HAS SOPS 3276996 HAS SOUS 2495645 HAS SOUPS 2495645 WITH SCORE 2498921.996
AT ITER 1662 NEW BEST:: SOT 5108907 SOS 3275930 HAS SOPS 3275930 HAS SOUS 2495449 HAS SOUPS 2495449 WITH SCORE 2498724.93
AT ITER 1664 NEW BEST:: SOT 5108016 SOS 3274572 HAS SOPS 3274572 HAS SOUS 2494091 HAS SOUPS 2494091 WITH SCORE 2497365.572
AT ITER 1667 NEW BEST:: SOT 5107795 SOS 3274130 HAS SOPS 3274130 HAS SOUS 2493649 HAS SOUPS 2493649 WITH SCORE 2496923.13
AT ITER 1676 NEW BEST:: SOT 5107105 SOS 3273463 HAS SOPS 3273463 HAS SOUS 2492971 HAS SOUPS 2492971 WITH SCORE 2496244.463
AT ITER 1678 NEW BEST:: SOT 5106254 SOS 3272612 HAS SOPS 3272612 HAS SOUS 2492120 HAS SOUPS 2492120 WITH SCORE 2495392.612
AT ITER 1689 NEW BEST:: SOT 5106215 SOS 3272573 HAS SOPS 3272573 HAS SOUS 2492081 HAS SOUPS 2492081 WITH SCORE 2495353.573
AT ITER 1695 NEW BEST:: SOT 5105800 SOS 3272145 HAS SOPS 3272145 HAS SOUS 2491650 HAS SOUPS 2491650 WITH SCORE 2494922.145
AT ITER 1715 NEW BEST:: SOT 5105491 SOS 3270600 HAS SOPS 3270600 HAS SOUS 2491650 HAS SOUPS 2491650 WITH SCORE 2494920.6
AT ITER 1747 NEW BEST:: SOT 5104417 SOS 3269526 HAS SOPS 3269526 HAS SOUS 2490576 HAS SOUPS 2490576 WITH SCORE 2493845.526
AT ITER 1757 NEW BEST:: SOT 5104416 SOS 3268053 HAS SOPS 3268053 HAS SOUS 2490273 HAS SOUPS 2490273 WITH SCORE 2493541.053
AT ITER 1759 NEW BEST:: SOT 5103650 SOS 3263999 HAS SOPS 3263999 HAS SOUS 2490271 HAS SOUPS 2490271 WITH SCORE 2493534.999
AT ITER 1771 NEW BEST:: SOT 5103778 SOS 3261318 HAS SOPS 3261318 HAS SOUS 2487457 HAS SOUPS 2487457 WITH SCORE 2490718.318
AT ITER 1772 NEW BEST:: SOT 5103914 SOS 3260765 HAS SOPS 3260765 HAS SOUS 2487434 HAS SOUPS 2487434 WITH SCORE 2490694.765
AT ITER 1781 NEW BEST:: SOT 5103767 SOS 3260845 HAS SOPS 3260845 HAS SOUS 2487401 HAS SOUPS 2487401 WITH SCORE 2490661.845
AT ITER 1795 NEW BEST:: SOT 5103015 SOS 3257085 HAS SOPS 3257085 HAS SOUS 2487401 HAS SOUPS 2487401 WITH SCORE 2490658.085
AT ITER 1805 NEW BEST:: SOT 5101244 SOS 3255312 HAS SOPS 3255312 HAS SOUS 2485628 HAS SOUPS 2485628 WITH SCORE 2488883.312
AT ITER 1806 NEW BEST:: SOT 5100138 SOS 3254206 HAS SOPS 3254206 HAS SOUS 2484522 HAS SOUPS 2484522 WITH SCORE 2487776.206
AT ITER 1813 NEW BEST:: SOT 5099598 SOS 3251506 HAS SOPS 3251506 HAS SOUS 2484521 HAS SOUPS 2484521 WITH SCORE 2487772.506
AT ITER 1826 NEW BEST:: SOT 5099863 SOS 3247212 HAS SOPS 3247212 HAS SOUS 2482739 HAS SOUPS 2482739 WITH SCORE 2485986.212
AT ITER 1836 NEW BEST:: SOT 5099268 SOS 3246615 HAS SOPS 3246615 HAS SOUS 2482141 HAS SOUPS 2482141 WITH SCORE 2485387.615
AT ITER 1837 NEW BEST:: SOT 5099267 SOS 3246615 HAS SOPS 3246615 HAS SOUS 2482025 HAS SOUPS 2482025 WITH SCORE 2485271.615
AT ITER 1839 NEW BEST:: SOT 5099001 SOS 3246349 HAS SOPS 3246349 HAS SOUS 2481759 HAS SOUPS 2481759 WITH SCORE 2485005.349
AT ITER 1840 NEW BEST:: SOT 5099880 SOS 3246286 HAS SOPS 3246286 HAS SOUS 2481696 HAS SOUPS 2481696 WITH SCORE 2484942.286
AT ITER 1843 NEW BEST:: SOT 5099203 SOS 3245600 HAS SOPS 3245600 HAS SOUS 2480997 HAS SOUPS 2480997 WITH SCORE 2484242.6
AT ITER 1846 NEW BEST:: SOT 5099052 SOS 3245449 HAS SOPS 3245449 HAS SOUS 2480846 HAS SOUPS 2480846 WITH SCORE 2484091.449
AT ITER 1853 NEW BEST:: SOT 5097904 SOS 3239709 HAS SOPS 3239709 HAS SOUS 2480846 HAS SOUPS 2480846 WITH SCORE 2484085.709
AT ITER 1856 NEW BEST:: SOT 5097019 SOS 3238824 HAS SOPS 3238824 HAS SOUS 2479952 HAS SOUPS 2479952 WITH SCORE 2483190.824
AT ITER 1859 NEW BEST:: SOT 5096034 SOS 3237380 HAS SOPS 3237380 HAS SOUS 2478665 HAS SOUPS 2478665 WITH SCORE 2481902.38
AT ITER 1860 NEW BEST:: SOT 5095653 SOS 3235475 HAS SOPS 3235475 HAS SOUS 2478665 HAS SOUPS 2478665 WITH SCORE 2481900.475
AT ITER 1862 NEW BEST:: SOT 5095493 SOS 3234675 HAS SOPS 3234675 HAS SOUS 2478664 HAS SOUPS 2478664 WITH SCORE 2481898.675
AT ITER 1866 NEW BEST:: SOT 5094809 SOS 3232988 HAS SOPS 3232988 HAS SOUS 2476977 HAS SOUPS 2476977 WITH SCORE 2480209.988
AT ITER 1875 NEW BEST:: SOT 5093953 SOS 3232130 HAS SOPS 3232130 HAS SOUS 2476118 HAS SOUPS 2476118 WITH SCORE 2479350.13
AT ITER 1878 NEW BEST:: SOT 5093938 SOS 3232110 HAS SOPS 3232110 HAS SOUS 2476084 HAS SOUPS 2476084 WITH SCORE 2479316.11
AT ITER 1883 NEW BEST:: SOT 5093619 SOS 3231618 HAS SOPS 3231618 HAS SOUS 2475592 HAS SOUPS 2475592 WITH SCORE 2478823.618
AT ITER 1887 NEW BEST:: SOT 5093131 SOS 3226862 HAS SOPS 3226862 HAS SOUS 2474109 HAS SOUPS 2474109 WITH SCORE 2477335.862
AT ITER 1892 NEW BEST:: SOT 5093506 SOS 3227587 HAS SOPS 3227587 HAS SOUS 2473853 HAS SOUPS 2473853 WITH SCORE 2477080.587
AT ITER 1895 NEW BEST:: SOT 5092418 SOS 3226499 HAS SOPS 3226499 HAS SOUS 2471730 HAS SOUPS 2471730 WITH SCORE 2474956.499
AT ITER 1900 NEW BEST:: SOT 5092418 SOS 3226403 HAS SOPS 3226403 HAS SOUS 2471713 HAS SOUPS 2471713 WITH SCORE 2474939.403
AT ITER 1906 NEW BEST:: SOT 5092248 SOS 3226232 HAS SOPS 3226232 HAS SOUS 2471542 HAS SOUPS 2471542 WITH SCORE 2474768.232
AT ITER 1907 NEW BEST:: SOT 5092526 SOS 3225946 HAS SOPS 3225946 HAS SOUS 2471249 HAS SOUPS 2471249 WITH SCORE 2474474.946
AT ITER 1909 NEW BEST:: SOT 5090390 SOS 3223808 HAS SOPS 3223808 HAS SOUS 2469111 HAS SOUPS 2469111 WITH SCORE 2472334.808
AT ITER 1918 NEW BEST:: SOT 5090390 SOS 3222686 HAS SOPS 3222686 HAS SOUS 2468737 HAS SOUPS 2468737 WITH SCORE 2471959.686
AT ITER 1922 NEW BEST:: SOT 5090388 SOS 3222682 HAS SOPS 3222682 HAS SOUS 2468733 HAS SOUPS 2468733 WITH SCORE 2471955.682
AT ITER 1923 NEW BEST:: SOT 5089430 SOS 3221724 HAS SOPS 3221724 HAS SOUS 2467775 HAS SOUPS 2467775 WITH SCORE 2470996.724
AT ITER 1931 NEW BEST:: SOT 5089384 SOS 3218621 HAS SOPS 3218621 HAS SOUS 2466212 HAS SOUPS 2466212 WITH SCORE 2469430.621
AT ITER 1939 NEW BEST:: SOT 5088966 SOS 3217520 HAS SOPS 3217520 HAS SOUS 2465124 HAS SOUPS 2465124 WITH SCORE 2468341.52
AT ITER 1945 NEW BEST:: SOT 5088966 SOS 3217172 HAS SOPS 3217172 HAS SOUS 2465037 HAS SOUPS 2465037 WITH SCORE 2468254.172
AT ITER 1955 NEW BEST:: SOT 5087176 SOS 3208726 HAS SOPS 3208726 HAS SOUS 2460266 HAS SOUPS 2460266 WITH SCORE 2463474.726
AT ITER 1971 NEW BEST:: SOT 5086944 SOS 3208493 HAS SOPS 3208493 HAS SOUS 2460033 HAS SOUPS 2460033 WITH SCORE 2463241.493
AT ITER 1984 NEW BEST:: SOT 5086725 SOS 3208513 HAS SOPS 3208513 HAS SOUS 2459602 HAS SOUPS 2459602 WITH SCORE 2462810.513
AT ITER 1985 NEW BEST:: SOT 5086507 SOS 3208293 HAS SOPS 3208293 HAS SOUS 2459382 HAS SOUPS 2459382 WITH SCORE 2462590.293
AT ITER 1995 NEW BEST:: SOT 5086507 SOS 3208141 HAS SOPS 3208141 HAS SOUS 2459230 HAS SOUPS 2459230 WITH SCORE 2462438.141
AT ITER 2000 NEW BEST:: SOT 5085988 SOS 3207165 HAS SOPS 3207165 HAS SOUS 2458254 HAS SOUPS 2458254 WITH SCORE 2461461.165
AT ITER 2002 NEW BEST:: SOT 5082956 SOS 3204133 HAS SOPS 3204133 HAS SOUS 2455222 HAS SOUPS 2455222 WITH SCORE 2458426.133
AT ITER 2008 NEW BEST:: SOT 5082953 SOS 3204130 HAS SOPS 3204130 HAS SOUS 2455219 HAS SOUPS 2455219 WITH SCORE 2458423.13
AT ITER 2017 NEW BEST:: SOT 5082938 SOS 3204110 HAS SOPS 3204110 HAS SOUS 2455185 HAS SOUPS 2455185 WITH SCORE 2458389.11
AT ITER 2020 NEW BEST:: SOT 5082935 SOS 3203157 HAS SOPS 3203157 HAS SOUS 2455053 HAS SOUPS 2455053 WITH SCORE 2458256.157
AT ITER 2038 NEW BEST:: SOT 5082524 SOS 3202738 HAS SOPS 3202738 HAS SOUS 2454622 HAS SOUPS 2454622 WITH SCORE 2457824.738
AT ITER 2039 NEW BEST:: SOT 5081709 SOS 3199053 HAS SOPS 3199053 HAS SOUS 2454175 HAS SOUPS 2454175 WITH SCORE 2457374.053
AT ITER 2045 NEW BEST:: SOT 5081673 SOS 3197425 HAS SOPS 3197425 HAS SOUS 2454175 HAS SOUPS 2454175 WITH SCORE 2457372.425
AT ITER 2047 NEW BEST:: SOT 5079759 SOS 3192321 HAS SOPS 3192321 HAS SOUS 2450985 HAS SOUPS 2450985 WITH SCORE 2454177.321
AT ITER 2050 NEW BEST:: SOT 5079331 SOS 3191893 HAS SOPS 3191893 HAS SOUS 2450557 HAS SOUPS 2450557 WITH SCORE 2453748.893
AT ITER 2096 NEW BEST:: SOT 5076938 SOS 3188955 HAS SOPS 3188955 HAS SOUS 2447618 HAS SOUPS 2447618 WITH SCORE 2450806.955
AT ITER 2113 NEW BEST:: SOT 5075214 SOS 3187620 HAS SOPS 3187620 HAS SOUS 2446088 HAS SOUPS 2446088 WITH SCORE 2449275.62
AT ITER 2119 NEW BEST:: SOT 5075128 SOS 3187470 HAS SOPS 3187470 HAS SOUS 2445969 HAS SOUPS 2445969 WITH SCORE 2449156.47
AT ITER 2135 NEW BEST:: SOT 5074460 SOS 3187173 HAS SOPS 3187173 HAS SOUS 2445672 HAS SOUPS 2445672 WITH SCORE 2448859.173
AT ITER 2139 NEW BEST:: SOT 5073946 SOS 3186659 HAS SOPS 3186659 HAS SOUS 2445158 HAS SOUPS 2445158 WITH SCORE 2448344.659
AT ITER 2151 NEW BEST:: SOT 5073946 SOS 3184087 HAS SOPS 3184087 HAS SOUS 2445157 HAS SOUPS 2445157 WITH SCORE 2448341.087
AT ITER 2153 NEW BEST:: SOT 5072994 SOS 3177844 HAS SOPS 3177844 HAS SOUS 2440609 HAS SOUPS 2440609 WITH SCORE 2443786.844
AT ITER 2166 NEW BEST:: SOT 5072011 SOS 3176861 HAS SOPS 3176861 HAS SOUS 2439626 HAS SOUPS 2439626 WITH SCORE 2442802.861
AT ITER 2167 NEW BEST:: SOT 5072009 SOS 3176857 HAS SOPS 3176857 HAS SOUS 2439622 HAS SOUPS 2439622 WITH SCORE 2442798.857
AT ITER 2170 NEW BEST:: SOT 5071949 SOS 3176797 HAS SOPS 3176797 HAS SOUS 2439562 HAS SOUPS 2439562 WITH SCORE 2442738.797
AT ITER 2181 NEW BEST:: SOT 5071637 SOS 3176485 HAS SOPS 3176485 HAS SOUS 2439250 HAS SOUPS 2439250 WITH SCORE 2442426.485
AT ITER 2182 NEW BEST:: SOT 5071637 SOS 3176408 HAS SOPS 3176408 HAS SOUS 2439243 HAS SOUPS 2439243 WITH SCORE 2442419.408
AT ITER 2186 NEW BEST:: SOT 5070654 SOS 3175332 HAS SOPS 3175332 HAS SOUS 2438167 HAS SOUPS 2438167 WITH SCORE 2441342.332
AT ITER 2192 NEW BEST:: SOT 5070498 SOS 3175174 HAS SOPS 3175174 HAS SOUS 2438008 HAS SOUPS 2438008 WITH SCORE 2441183.174
AT ITER 2194 NEW BEST:: SOT 5070118 SOS 3174794 HAS SOPS 3174794 HAS SOUS 2437628 HAS SOUPS 2437628 WITH SCORE 2440802.794
AT ITER 2200 NEW BEST:: SOT 5071061 SOS 3166382 HAS SOPS 3166382 HAS SOUS 2434533 HAS SOUPS 2434533 WITH SCORE 2437699.382
AT ITER 2202 NEW BEST:: SOT 5070045 SOS 3165397 HAS SOPS 3165397 HAS SOUS 2433554 HAS SOUPS 2433554 WITH SCORE 2436719.397
AT ITER 2203 NEW BEST:: SOT 5070042 SOS 3165394 HAS SOPS 3165394 HAS SOUS 2433551 HAS SOUPS 2433551 WITH SCORE 2436716.394
AT ITER 2206 NEW BEST:: SOT 5070033 SOS 3165385 HAS SOPS 3165385 HAS SOUS 2433542 HAS SOUPS 2433542 WITH SCORE 2436707.385
AT ITER 2210 NEW BEST:: SOT 5068908 SOS 3163719 HAS SOPS 3163719 HAS SOUS 2431876 HAS SOUPS 2431876 WITH SCORE 2435039.719
AT ITER 2238 NEW BEST:: SOT 5066807 SOS 3161616 HAS SOPS 3161616 HAS SOUS 2429773 HAS SOUPS 2429773 WITH SCORE 2432934.616
AT ITER 2248 NEW BEST:: SOT 5066806 SOS 3161097 HAS SOPS 3161097 HAS SOUS 2429754 HAS SOUPS 2429754 WITH SCORE 2432915.097
AT ITER 2285 NEW BEST:: SOT 5066301 SOS 3160592 HAS SOPS 3160592 HAS SOUS 2429249 HAS SOUPS 2429249 WITH SCORE 2432409.592
AT ITER 2295 NEW BEST:: SOT 5065864 SOS 3160152 HAS SOPS 3160152 HAS SOUS 2428809 HAS SOUPS 2428809 WITH SCORE 2431969.152
AT ITER 2302 NEW BEST:: SOT 5065864 SOS 3160151 HAS SOPS 3160151 HAS SOUS 2428808 HAS SOUPS 2428808 WITH SCORE 2431968.151
AT ITER 2307 NEW BEST:: SOT 5065993 SOS 3159713 HAS SOPS 3159713 HAS SOUS 2427453 HAS SOUPS 2427453 WITH SCORE 2430612.713
AT ITER 2313 NEW BEST:: SOT 5065341 SOS 3159061 HAS SOPS 3159061 HAS SOUS 2426801 HAS SOUPS 2426801 WITH SCORE 2429960.061
AT ITER 2318 NEW BEST:: SOT 5064467 SOS 3157750 HAS SOPS 3157750 HAS SOUS 2425490 HAS SOUPS 2425490 WITH SCORE 2428647.75
AT ITER 2321 NEW BEST:: SOT 5064467 SOS 3155277 HAS SOPS 3155277 HAS SOUS 2425491 HAS SOUPS 2425491 WITH SCORE 2428646.277
AT ITER 2328 NEW BEST:: SOT 5063395 SOS 3154203 HAS SOPS 3154203 HAS SOUS 2424417 HAS SOUPS 2424417 WITH SCORE 2427571.203
AT ITER 2329 NEW BEST:: SOT 5063395 SOS 3154202 HAS SOPS 3154202 HAS SOUS 2424415 HAS SOUPS 2424415 WITH SCORE 2427569.202
AT ITER 2342 NEW BEST:: SOT 5063161 SOS 3153968 HAS SOPS 3153968 HAS SOUS 2424181 HAS SOUPS 2424181 WITH SCORE 2427334.968
AT ITER 2343 NEW BEST:: SOT 5062547 SOS 3153353 HAS SOPS 3153353 HAS SOUS 2423566 HAS SOUPS 2423566 WITH SCORE 2426719.353
AT ITER 2348 NEW BEST:: SOT 5062182 SOS 3153058 HAS SOPS 3153058 HAS SOUS 2423271 HAS SOUPS 2423271 WITH SCORE 2426424.058
AT ITER 2373 NEW BEST:: SOT 5062182 SOS 3149485 HAS SOPS 3149485 HAS SOUS 2422764 HAS SOUPS 2422764 WITH SCORE 2425913.485
AT ITER 2377 NEW BEST:: SOT 5061813 SOS 3147271 HAS SOPS 3147271 HAS SOUS 2422277 HAS SOUPS 2422277 WITH SCORE 2425424.271
AT ITER 2378 NEW BEST:: SOT 5061813 SOS 3146620 HAS SOPS 3146620 HAS SOUS 2422277 HAS SOUPS 2422277 WITH SCORE 2425423.62
AT ITER 2383 NEW BEST:: SOT 5061727 SOS 3146190 HAS SOPS 3146190 HAS SOUS 2422276 HAS SOUPS 2422276 WITH SCORE 2425422.19
AT ITER 2384 NEW BEST:: SOT 5060219 SOS 3144680 HAS SOPS 3144680 HAS SOUS 2420766 HAS SOUPS 2420766 WITH SCORE 2423910.68
AT ITER 2391 NEW BEST:: SOT 5059330 SOS 3143143 HAS SOPS 3143143 HAS SOUS 2419177 HAS SOUPS 2419177 WITH SCORE 2422320.143
AT ITER 2394 NEW BEST:: SOT 5059240 SOS 3141232 HAS SOPS 3141232 HAS SOUS 2419087 HAS SOUPS 2419087 WITH SCORE 2422228.232
AT ITER 2395 NEW BEST:: SOT 5059239 SOS 3141180 HAS SOPS 3141180 HAS SOUS 2419035 HAS SOUPS 2419035 WITH SCORE 2422176.18
AT ITER 2396 NEW BEST:: SOT 5056354 SOS 3136280 HAS SOPS 3136280 HAS SOUS 2414135 HAS SOUPS 2414135 WITH SCORE 2417271.28
AT ITER 2408 NEW BEST:: SOT 5056354 SOS 3136369 HAS SOPS 3136369 HAS SOUS 2414046 HAS SOUPS 2414046 WITH SCORE 2417182.369
AT ITER 2419 NEW BEST:: SOT 5056212 SOS 3136227 HAS SOPS 3136227 HAS SOUS 2413904 HAS SOUPS 2413904 WITH SCORE 2417040.227
AT ITER 2435 NEW BEST:: SOT 5057594 SOS 3131252 HAS SOPS 3131252 HAS SOUS 2412961 HAS SOUPS 2412961 WITH SCORE 2416092.252
AT ITER 2443 NEW BEST:: SOT 5057162 SOS 3129092 HAS SOPS 3129092 HAS SOUS 2412960 HAS SOUPS 2412960 WITH SCORE 2416089.092
AT ITER 2447 NEW BEST:: SOT 5057161 SOS 3127030 HAS SOPS 3127030 HAS SOUS 2412943 HAS SOUPS 2412943 WITH SCORE 2416070.03
AT ITER 2452 NEW BEST:: SOT 5056822 SOS 3121929 HAS SOPS 3121929 HAS SOUS 2410754 HAS SOUPS 2410754 WITH SCORE 2413875.929
AT ITER 2458 NEW BEST:: SOT 5056373 SOS 3121480 HAS SOPS 3121480 HAS SOUS 2410305 HAS SOUPS 2410305 WITH SCORE 2413426.48
AT ITER 2465 NEW BEST:: SOT 5055859 SOS 3120966 HAS SOPS 3120966 HAS SOUS 2409791 HAS SOUPS 2409791 WITH SCORE 2412911.966
AT ITER 2466 NEW BEST:: SOT 5055858 SOS 3120964 HAS SOPS 3120964 HAS SOUS 2409789 HAS SOUPS 2409789 WITH SCORE 2412909.964
AT ITER 2471 NEW BEST:: SOT 5055858 SOS 3119855 HAS SOPS 3119855 HAS SOUS 2409423 HAS SOUPS 2409423 WITH SCORE 2412542.855
AT ITER 2473 NEW BEST:: SOT 5055688 SOS 3119685 HAS SOPS 3119685 HAS SOUS 2409253 HAS SOUPS 2409253 WITH SCORE 2412372.685
AT ITER 2484 NEW BEST:: SOT 5055161 SOS 3119158 HAS SOPS 3119158 HAS SOUS 2408726 HAS SOUPS 2408726 WITH SCORE 2411845.158
AT ITER 2489 NEW BEST:: SOT 5055159 SOS 3119156 HAS SOPS 3119156 HAS SOUS 2408724 HAS SOUPS 2408724 WITH SCORE 2411843.156
AT ITER 2493 NEW BEST:: SOT 5055128 SOS 3115176 HAS SOPS 3115176 HAS SOUS 2407365 HAS SOUPS 2407365 WITH SCORE 2410480.176
AT ITER 2494 NEW BEST:: SOT 5052932 SOS 3112167 HAS SOPS 3112167 HAS SOUS 2404377 HAS SOUPS 2404377 WITH SCORE 2407489.167
AT ITER 2520 NEW BEST:: SOT 5052315 SOS 3111550 HAS SOPS 3111550 HAS SOUS 2403760 HAS SOUPS 2403760 WITH SCORE 2406871.55
AT ITER 2523 NEW BEST:: SOT 5052225 SOS 3110948 HAS SOPS 3110948 HAS SOUS 2403158 HAS SOUPS 2403158 WITH SCORE 2406268.948
AT ITER 2526 NEW BEST:: SOT 5051793 SOS 3110405 HAS SOPS 3110405 HAS SOUS 2402615 HAS SOUPS 2402615 WITH SCORE 2405725.405
AT ITER 2528 NEW BEST:: SOT 5051019 SOS 3109629 HAS SOPS 3109629 HAS SOUS 2401839 HAS SOUPS 2401839 WITH SCORE 2404948.629
AT ITER 2532 NEW BEST:: SOT 5050951 SOS 3109558 HAS SOPS 3109558 HAS SOUS 2401768 HAS SOUPS 2401768 WITH SCORE 2404877.558
AT ITER 2537 NEW BEST:: SOT 5050701 SOS 3109183 HAS SOPS 3109183 HAS SOUS 2401393 HAS SOUPS 2401393 WITH SCORE 2404502.183
AT ITER 2542 NEW BEST:: SOT 5050200 SOS 3108681 HAS SOPS 3108681 HAS SOUS 2400891 HAS SOUPS 2400891 WITH SCORE 2403999.681
AT ITER 2543 NEW BEST:: SOT 5050149 SOS 3108630 HAS SOPS 3108630 HAS SOUS 2400840 HAS SOUPS 2400840 WITH SCORE 2403948.63
AT ITER 2557 NEW BEST:: SOT 5049631 SOS 3106040 HAS SOPS 3106040 HAS SOUS 2400831 HAS SOUPS 2400831 WITH SCORE 2403937.04
AT ITER 2559 NEW BEST:: SOT 5049311 SOS 3105720 HAS SOPS 3105720 HAS SOUS 2400511 HAS SOUPS 2400511 WITH SCORE 2403616.72
AT ITER 2561 NEW BEST:: SOT 5049310 SOS 3104717 HAS SOPS 3104717 HAS SOUS 2400252 HAS SOUPS 2400252 WITH SCORE 2403356.717
AT ITER 2569 NEW BEST:: SOT 5049309 SOS 3104322 HAS SOPS 3104322 HAS SOUS 2399856 HAS SOUPS 2399856 WITH SCORE 2402960.322
AT ITER 2571 NEW BEST:: SOT 5049028 SOS 3101799 HAS SOPS 3101799 HAS SOUS 2399856 HAS SOUPS 2399856 WITH SCORE 2402957.799
AT ITER 2579 NEW BEST:: SOT 5048114 SOS 3099514 HAS SOPS 3099514 HAS SOUS 2398028 HAS SOUPS 2398028 WITH SCORE 2401127.514
AT ITER 2584 NEW BEST:: SOT 5047758 SOS 3099158 HAS SOPS 3099158 HAS SOUS 2397672 HAS SOUPS 2397672 WITH SCORE 2400771.158
AT ITER 2589 NEW BEST:: SOT 5047456 SOS 3098854 HAS SOPS 3098854 HAS SOUS 2397368 HAS SOUPS 2397368 WITH SCORE 2400466.854
AT ITER 2590 NEW BEST:: SOT 5047144 SOS 3098541 HAS SOPS 3098541 HAS SOUS 2397055 HAS SOUPS 2397055 WITH SCORE 2400153.541
AT ITER 2594 NEW BEST:: SOT 5047067 SOS 3098464 HAS SOPS 3098464 HAS SOUS 2396978 HAS SOUPS 2396978 WITH SCORE 2400076.464
AT ITER 2595 NEW BEST:: SOT 5047066 SOS 3097915 HAS SOPS 3097915 HAS SOUS 2396962 HAS SOUPS 2396962 WITH SCORE 2400059.915
AT ITER 2596 NEW BEST:: SOT 5045502 SOS 3096646 HAS SOPS 3096646 HAS SOUS 2395546 HAS SOUPS 2395546 WITH SCORE 2398642.646
AT ITER 2597 NEW BEST:: SOT 5045435 SOS 3096579 HAS SOPS 3096579 HAS SOUS 2395479 HAS SOUPS 2395479 WITH SCORE 2398575.579
AT ITER 2610 NEW BEST:: SOT 5045465 SOS 3096526 HAS SOPS 3096526 HAS SOUS 2395426 HAS SOUPS 2395426 WITH SCORE 2398522.526
AT ITER 2627 NEW BEST:: SOT 5045465 SOS 3092718 HAS SOPS 3092718 HAS SOUS 2394162 HAS SOUPS 2394162 WITH SCORE 2397254.718
AT ITER 2629 NEW BEST:: SOT 5045238 SOS 3092515 HAS SOPS 3092515 HAS SOUS 2393959 HAS SOUPS 2393959 WITH SCORE 2397051.515
AT ITER 2632 NEW BEST:: SOT 5044269 SOS 3091675 HAS SOPS 3091675 HAS SOUS 2393119 HAS SOUPS 2393119 WITH SCORE 2396210.675
AT ITER 2633 NEW BEST:: SOT 5044058 SOS 3091464 HAS SOPS 3091464 HAS SOUS 2392908 HAS SOUPS 2392908 WITH SCORE 2395999.464
AT ITER 2662 NEW BEST:: SOT 5044266 SOS 3091327 HAS SOPS 3091327 HAS SOUS 2392771 HAS SOUPS 2392771 WITH SCORE 2395862.327
AT ITER 2670 NEW BEST:: SOT 5043692 SOS 3084760 HAS SOPS 3084760 HAS SOUS 2390278 HAS SOUPS 2390278 WITH SCORE 2393362.76
AT ITER 2690 NEW BEST:: SOT 5043692 SOS 3084696 HAS SOPS 3084696 HAS SOUS 2390214 HAS SOUPS 2390214 WITH SCORE 2393298.696
AT ITER 2693 NEW BEST:: SOT 5043536 SOS 3084307 HAS SOPS 3084307 HAS SOUS 2389939 HAS SOUPS 2389939 WITH SCORE 2393023.307
AT ITER 2697 NEW BEST:: SOT 5042560 SOS 3083331 HAS SOPS 3083331 HAS SOUS 2388963 HAS SOUPS 2388963 WITH SCORE 2392046.331
AT ITER 2700 NEW BEST:: SOT 5041641 SOS 3083205 HAS SOPS 3083205 HAS SOUS 2388837 HAS SOUPS 2388837 WITH SCORE 2391920.205
AT ITER 2703 NEW BEST:: SOT 5041636 SOS 3083200 HAS SOPS 3083200 HAS SOUS 2388832 HAS SOUPS 2388832 WITH SCORE 2391915.2
AT ITER 2706 NEW BEST:: SOT 5040772 SOS 3081378 HAS SOPS 3081378 HAS SOUS 2386221 HAS SOUPS 2386221 WITH SCORE 2389302.378
AT ITER 2722 NEW BEST:: SOT 5039469 SOS 3079005 HAS SOPS 3079005 HAS SOUS 2383848 HAS SOUPS 2383848 WITH SCORE 2386927.005
AT ITER 2733 NEW BEST:: SOT 5039671 SOS 3078908 HAS SOPS 3078908 HAS SOUS 2383751 HAS SOUPS 2383751 WITH SCORE 2386829.908
AT ITER 2738 NEW BEST:: SOT 5039130 SOS 3078367 HAS SOPS 3078367 HAS SOUS 2383210 HAS SOUPS 2383210 WITH SCORE 2386288.367
AT ITER 2746 NEW BEST:: SOT 5038443 SOS 3077680 HAS SOPS 3077680 HAS SOUS 2382523 HAS SOUPS 2382523 WITH SCORE 2385600.68
AT ITER 2757 NEW BEST:: SOT 5037553 SOS 3077000 HAS SOPS 3077000 HAS SOUS 2381843 HAS SOUPS 2381843 WITH SCORE 2384920.0
AT ITER 2760 NEW BEST:: SOT 5036774 SOS 3076219 HAS SOPS 3076219 HAS SOUS 2381062 HAS SOUPS 2381062 WITH SCORE 2384138.219
AT ITER 2761 NEW BEST:: SOT 5035365 SOS 3076309 HAS SOPS 3076309 HAS SOUS 2380963 HAS SOUPS 2380963 WITH SCORE 2384039.309
AT ITER 2765 NEW BEST:: SOT 5034774 SOS 3075883 HAS SOPS 3075883 HAS SOUS 2380875 HAS SOUPS 2380875 WITH SCORE 2383950.883
AT ITER 2770 NEW BEST:: SOT 5033599 SOS 3070693 HAS SOPS 3070693 HAS SOUS 2378094 HAS SOUPS 2378094 WITH SCORE 2381164.693
AT ITER 2774 NEW BEST:: SOT 5033369 SOS 3069993 HAS SOPS 3069993 HAS SOUS 2377394 HAS SOUPS 2377394 WITH SCORE 2380463.993
AT ITER 2775 NEW BEST:: SOT 5031233 SOS 3066663 HAS SOPS 3066663 HAS SOUS 2374064 HAS SOUPS 2374064 WITH SCORE 2377130.663
AT ITER 2776 NEW BEST:: SOT 5030869 SOS 3064475 HAS SOPS 3064475 HAS SOUS 2374063 HAS SOUPS 2374063 WITH SCORE 2377127.475
AT ITER 2778 NEW BEST:: SOT 5030488 SOS 3064094 HAS SOPS 3064094 HAS SOUS 2373682 HAS SOUPS 2373682 WITH SCORE 2376746.094
AT ITER 2791 NEW BEST:: SOT 5030488 SOS 3063896 HAS SOPS 3063896 HAS SOUS 2373572 HAS SOUPS 2373572 WITH SCORE 2376635.896
AT ITER 2798 NEW BEST:: SOT 5029649 SOS 3063057 HAS SOPS 3063057 HAS SOUS 2372733 HAS SOUPS 2372733 WITH SCORE 2375796.057
AT ITER 2802 NEW BEST:: SOT 5028434 SOS 3061842 HAS SOPS 3061842 HAS SOUS 2371518 HAS SOUPS 2371518 WITH SCORE 2374579.842
AT ITER 2808 NEW BEST:: SOT 5027778 SOS 3061176 HAS SOPS 3061176 HAS SOUS 2370852 HAS SOUPS 2370852 WITH SCORE 2373913.176
AT ITER 2815 NEW BEST:: SOT 5027380 SOS 3059186 HAS SOPS 3059186 HAS SOUS 2370851 HAS SOUPS 2370851 WITH SCORE 2373910.186
AT ITER 2819 NEW BEST:: SOT 5027379 SOS 3056106 HAS SOPS 3056106 HAS SOUS 2370830 HAS SOUPS 2370830 WITH SCORE 2373886.106
AT ITER 2820 NEW BEST:: SOT 5027327 SOS 3056054 HAS SOPS 3056054 HAS SOUS 2370778 HAS SOUPS 2370778 WITH SCORE 2373834.054
AT ITER 2825 NEW BEST:: SOT 5027243 SOS 3056027 HAS SOPS 3056027 HAS SOUS 2370751 HAS SOUPS 2370751 WITH SCORE 2373807.027
AT ITER 2827 NEW BEST:: SOT 5027362 SOS 3055509 HAS SOPS 3055509 HAS SOUS 2370551 HAS SOUPS 2370551 WITH SCORE 2373606.509
AT ITER 2830 NEW BEST:: SOT 5027072 SOS 3054639 HAS SOPS 3054639 HAS SOUS 2370261 HAS SOUPS 2370261 WITH SCORE 2373315.639
AT ITER 2833 NEW BEST:: SOT 5027644 SOS 3054530 HAS SOPS 3054530 HAS SOUS 2370152 HAS SOUPS 2370152 WITH SCORE 2373206.53
AT ITER 2835 NEW BEST:: SOT 5027624 SOS 3054510 HAS SOPS 3054510 HAS SOUS 2370132 HAS SOUPS 2370132 WITH SCORE 2373186.51
AT ITER 2843 NEW BEST:: SOT 5027624 SOS 3054286 HAS SOPS 3054286 HAS SOUS 2370099 HAS SOUPS 2370099 WITH SCORE 2373153.286
AT ITER 2853 NEW BEST:: SOT 5027052 SOS 3053714 HAS SOPS 3053714 HAS SOUS 2369527 HAS SOUPS 2369527 WITH SCORE 2372580.714
AT ITER 2855 NEW BEST:: SOT 5026865 SOS 3053340 HAS SOPS 3053340 HAS SOUS 2369153 HAS SOUPS 2369153 WITH SCORE 2372206.34
AT ITER 2856 NEW BEST:: SOT 5026865 SOS 3052394 HAS SOPS 3052394 HAS SOUS 2369007 HAS SOUPS 2369007 WITH SCORE 2372059.394
AT ITER 2865 NEW BEST:: SOT 5026865 SOS 3051449 HAS SOPS 3051449 HAS SOUS 2368692 HAS SOUPS 2368692 WITH SCORE 2371743.449
AT ITER 2867 NEW BEST:: SOT 5027535 SOS 3046877 HAS SOPS 3046877 HAS SOUS 2367367 HAS SOUPS 2367367 WITH SCORE 2370413.877
AT ITER 2868 NEW BEST:: SOT 5027535 SOS 3047122 HAS SOPS 3047122 HAS SOUS 2367122 HAS SOUPS 2367122 WITH SCORE 2370169.122
AT ITER 2871 NEW BEST:: SOT 5027404 SOS 3047331 HAS SOPS 3047331 HAS SOUS 2367121 HAS SOUPS 2367121 WITH SCORE 2370168.331
AT ITER 2881 NEW BEST:: SOT 5027196 SOS 3047048 HAS SOPS 3047048 HAS SOUS 2366838 HAS SOUPS 2366838 WITH SCORE 2369885.048
AT ITER 2884 NEW BEST:: SOT 5026806 SOS 3046395 HAS SOPS 3046395 HAS SOUS 2366314 HAS SOUPS 2366314 WITH SCORE 2369360.395
AT ITER 2894 NEW BEST:: SOT 5026331 SOS 3045920 HAS SOPS 3045920 HAS SOUS 2365839 HAS SOUPS 2365839 WITH SCORE 2368884.92
AT ITER 2902 NEW BEST:: SOT 5027027 SOS 3045851 HAS SOPS 3045851 HAS SOUS 2365762 HAS SOUPS 2365762 WITH SCORE 2368807.851
AT ITER 2913 NEW BEST:: SOT 5026571 SOS 3045536 HAS SOPS 3045536 HAS SOUS 2365447 HAS SOUPS 2365447 WITH SCORE 2368492.536
AT ITER 2916 NEW BEST:: SOT 5026570 SOS 3044921 HAS SOPS 3044921 HAS SOUS 2365431 HAS SOUPS 2365431 WITH SCORE 2368475.921
AT ITER 2927 NEW BEST:: SOT 5026272 SOS 3044623 HAS SOPS 3044623 HAS SOUS 2365431 HAS SOUPS 2365431 WITH SCORE 2368475.623
AT ITER 2931 NEW BEST:: SOT 5026272 SOS 3044791 HAS SOPS 3044791 HAS SOUS 2365263 HAS SOUPS 2365263 WITH SCORE 2368307.791
AT ITER 2950 NEW BEST:: SOT 5026149 SOS 3044666 HAS SOPS 3044666 HAS SOUS 2365138 HAS SOUPS 2365138 WITH SCORE 2368182.666
AT ITER 2954 NEW BEST:: SOT 5026053 SOS 3044774 HAS SOPS 3044774 HAS SOUS 2365099 HAS SOUPS 2365099 WITH SCORE 2368143.774
AT ITER 2982 NEW BEST:: SOT 5026053 SOS 3044772 HAS SOPS 3044772 HAS SOUS 2365097 HAS SOUPS 2365097 WITH SCORE 2368141.772
AT ITER 2986 NEW BEST:: SOT 5025737 SOS 3044570 HAS SOPS 3044570 HAS SOUS 2364895 HAS SOUPS 2364895 WITH SCORE 2367939.57
AT ITER 2989 NEW BEST:: SOT 5025685 SOS 3044518 HAS SOPS 3044518 HAS SOUS 2364843 HAS SOUPS 2364843 WITH SCORE 2367887.518
AT ITER 2995 NEW BEST:: SOT 5025501 SOS 3044226 HAS SOPS 3044226 HAS SOUS 2364465 HAS SOUPS 2364465 WITH SCORE 2367509.226
AT ITER 2996 NEW BEST:: SOT 5025494 SOS 3041206 HAS SOPS 3041206 HAS SOUS 2364265 HAS SOUPS 2364265 WITH SCORE 2367306.206
AT ITER 2998 NEW BEST:: SOT 5025494 SOS 3041168 HAS SOPS 3041168 HAS SOUS 2364227 HAS SOUPS 2364227 WITH SCORE 2367268.168
AT ITER 3004 NEW BEST:: SOT 5025940 SOS 3040944 HAS SOPS 3040944 HAS SOUS 2364210 HAS SOUPS 2364210 WITH SCORE 2367250.944
AT ITER 3006 NEW BEST:: SOT 5027408 SOS 3035885 HAS SOPS 3035885 HAS SOUS 2362999 HAS SOUPS 2362999 WITH SCORE 2366034.885
AT ITER 3014 NEW BEST:: SOT 5027404 SOS 3033853 HAS SOPS 3033853 HAS SOUS 2362505 HAS SOUPS 2362505 WITH SCORE 2365538.853
AT ITER 3020 NEW BEST:: SOT 5026875 SOS 3033324 HAS SOPS 3033324 HAS SOUS 2361975 HAS SOUPS 2361975 WITH SCORE 2365008.324
AT ITER 3025 NEW BEST:: SOT 5026745 SOS 3032404 HAS SOPS 3032404 HAS SOUS 2361715 HAS SOUPS 2361715 WITH SCORE 2364747.404
AT ITER 3032 NEW BEST:: SOT 5026258 SOS 3030503 HAS SOPS 3030503 HAS SOUS 2360673 HAS SOUPS 2360673 WITH SCORE 2363703.503
AT ITER 3033 NEW BEST:: SOT 5024739 SOS 3028981 HAS SOPS 3028981 HAS SOUS 2359151 HAS SOUPS 2359151 WITH SCORE 2362179.981
AT ITER 3059 NEW BEST:: SOT 5024286 SOS 3028528 HAS SOPS 3028528 HAS SOUS 2358698 HAS SOUPS 2358698 WITH SCORE 2361726.528
AT ITER 3078 NEW BEST:: SOT 5024150 SOS 3028392 HAS SOPS 3028392 HAS SOUS 2358562 HAS SOUPS 2358562 WITH SCORE 2361590.392
AT ITER 3081 NEW BEST:: SOT 5024150 SOS 3026204 HAS SOPS 3026204 HAS SOUS 2358549 HAS SOUPS 2358549 WITH SCORE 2361575.204
AT ITER 3086 NEW BEST:: SOT 5023166 SOS 3021284 HAS SOPS 3021284 HAS SOUS 2358549 HAS SOUPS 2358549 WITH SCORE 2361570.284
AT ITER 3093 NEW BEST:: SOT 5021962 SOS 3019106 HAS SOPS 3019106 HAS SOUS 2356558 HAS SOUPS 2356558 WITH SCORE 2359577.106
AT ITER 3097 NEW BEST:: SOT 5022798 SOS 3015270 HAS SOPS 3015270 HAS SOUS 2355664 HAS SOUPS 2355664 WITH SCORE 2358679.27
AT ITER 3099 NEW BEST:: SOT 5021982 SOS 3014454 HAS SOPS 3014454 HAS SOUS 2354848 HAS SOUPS 2354848 WITH SCORE 2357862.454
AT ITER 3102 NEW BEST:: SOT 5022123 SOS 3014725 HAS SOPS 3014725 HAS SOUS 2354837 HAS SOUPS 2354837 WITH SCORE 2357851.725
AT ITER 3112 NEW BEST:: SOT 5022466 SOS 3008630 HAS SOPS 3008630 HAS SOUS 2353183 HAS SOUPS 2353183 WITH SCORE 2356191.63
AT ITER 3113 NEW BEST:: SOT 5022109 SOS 3006592 HAS SOPS 3006592 HAS SOUS 2352929 HAS SOUPS 2352929 WITH SCORE 2355935.592
AT ITER 3116 NEW BEST:: SOT 5021509 SOS 3005990 HAS SOPS 3005990 HAS SOUS 2352327 HAS SOUPS 2352327 WITH SCORE 2355332.99
AT ITER 3119 NEW BEST:: SOT 5022359 SOS 2997970 HAS SOPS 2997970 HAS SOUS 2348766 HAS SOUPS 2348766 WITH SCORE 2351763.97
AT ITER 3125 NEW BEST:: SOT 5022355 SOS 2997966 HAS SOPS 2997966 HAS SOUS 2348762 HAS SOUPS 2348762 WITH SCORE 2351759.966
AT ITER 3127 NEW BEST:: SOT 5022305 SOS 2997916 HAS SOPS 2997916 HAS SOUS 2348712 HAS SOUPS 2348712 WITH SCORE 2351709.916
AT ITER 3130 NEW BEST:: SOT 5022126 SOS 2993678 HAS SOPS 2993678 HAS SOUS 2345925 HAS SOUPS 2345925 WITH SCORE 2348918.678
AT ITER 3148 NEW BEST:: SOT 5022084 SOS 2993635 HAS SOPS 2993635 HAS SOUS 2345882 HAS SOUPS 2345882 WITH SCORE 2348875.635
AT ITER 3150 NEW BEST:: SOT 5022037 SOS 2993588 HAS SOPS 2993588 HAS SOUS 2345835 HAS SOUPS 2345835 WITH SCORE 2348828.588
AT ITER 3180 NEW BEST:: SOT 5021231 SOS 2993047 HAS SOPS 2993047 HAS SOUS 2345146 HAS SOUPS 2345146 WITH SCORE 2348139.047
AT ITER 3183 NEW BEST:: SOT 5021227 SOS 2992902 HAS SOPS 2992902 HAS SOUS 2345001 HAS SOUPS 2345001 WITH SCORE 2347993.902
AT ITER 3204 NEW BEST:: SOT 5020760 SOS 2991891 HAS SOPS 2991891 HAS SOUS 2343990 HAS SOUPS 2343990 WITH SCORE 2346981.891
AT ITER 3208 NEW BEST:: SOT 5019853 SOS 2992015 HAS SOPS 2992015 HAS SOUS 2343593 HAS SOUPS 2343593 WITH SCORE 2346585.015
AT ITER 3209 NEW BEST:: SOT 5019575 SOS 2990625 HAS SOPS 2990625 HAS SOUS 2343593 HAS SOUPS 2343593 WITH SCORE 2346583.625
AT ITER 3219 NEW BEST:: SOT 5020618 SOS 2984253 HAS SOPS 2984253 HAS SOUS 2341898 HAS SOUPS 2341898 WITH SCORE 2344882.253
AT ITER 3220 NEW BEST:: SOT 5020617 SOS 2984252 HAS SOPS 2984252 HAS SOUS 2341897 HAS SOUPS 2341897 WITH SCORE 2344881.252
AT ITER 3231 NEW BEST:: SOT 5020413 SOS 2984048 HAS SOPS 2984048 HAS SOUS 2341693 HAS SOUPS 2341693 WITH SCORE 2344677.048
AT ITER 3237 NEW BEST:: SOT 5020413 SOS 2977758 HAS SOPS 2977758 HAS SOUS 2340058 HAS SOUPS 2340058 WITH SCORE 2343035.758
AT ITER 3243 NEW BEST:: SOT 5018872 SOS 2974698 HAS SOPS 2974698 HAS SOUS 2336985 HAS SOUPS 2336985 WITH SCORE 2339959.698
AT ITER 3253 NEW BEST:: SOT 5018077 SOS 2973903 HAS SOPS 2973903 HAS SOUS 2336190 HAS SOUPS 2336190 WITH SCORE 2339163.903
AT ITER 3260 NEW BEST:: SOT 5016237 SOS 2971446 HAS SOPS 2971446 HAS SOUS 2333733 HAS SOUPS 2333733 WITH SCORE 2336704.446
AT ITER 3263 NEW BEST:: SOT 5015848 SOS 2971592 HAS SOPS 2971592 HAS SOUS 2333612 HAS SOUPS 2333612 WITH SCORE 2336583.592
AT ITER 3266 NEW BEST:: SOT 5015848 SOS 2971170 HAS SOPS 2971170 HAS SOUS 2333396 HAS SOUPS 2333396 WITH SCORE 2336367.17
AT ITER 3269 NEW BEST:: SOT 5014868 SOS 2970179 HAS SOPS 2970179 HAS SOUS 2332399 HAS SOUPS 2332399 WITH SCORE 2335369.179
AT ITER 3271 NEW BEST:: SOT 5014558 SOS 2969869 HAS SOPS 2969869 HAS SOUS 2332089 HAS SOUPS 2332089 WITH SCORE 2335058.869
AT ITER 3274 NEW BEST:: SOT 5014468 SOS 2969779 HAS SOPS 2969779 HAS SOUS 2331999 HAS SOUPS 2331999 WITH SCORE 2334968.779
AT ITER 3283 NEW BEST:: SOT 5013081 SOS 2968392 HAS SOPS 2968392 HAS SOUS 2330487 HAS SOUPS 2330487 WITH SCORE 2333455.392
AT ITER 3287 NEW BEST:: SOT 5013081 SOS 2968078 HAS SOPS 2968078 HAS SOUS 2330487 HAS SOUPS 2330487 WITH SCORE 2333455.078
AT ITER 3292 NEW BEST:: SOT 5013626 SOS 2967305 HAS SOPS 2967305 HAS SOUS 2330445 HAS SOUPS 2330445 WITH SCORE 2333412.305
AT ITER 3312 NEW BEST:: SOT 5013625 SOS 2960822 HAS SOPS 2960822 HAS SOUS 2330426 HAS SOUPS 2330426 WITH SCORE 2333386.822
AT ITER 3318 NEW BEST:: SOT 5012848 SOS 2959792 HAS SOPS 2959792 HAS SOUS 2328603 HAS SOUPS 2328603 WITH SCORE 2331562.792
AT ITER 3323 NEW BEST:: SOT 5011787 SOS 2958730 HAS SOPS 2958730 HAS SOUS 2327541 HAS SOUPS 2327541 WITH SCORE 2330499.73
AT ITER 3360 NEW BEST:: SOT 5011773 SOS 2958716 HAS SOPS 2958716 HAS SOUS 2327527 HAS SOUPS 2327527 WITH SCORE 2330485.716
AT ITER 3368 NEW BEST:: SOT 5011773 SOS 2958238 HAS SOPS 2958238 HAS SOUS 2327401 HAS SOUPS 2327401 WITH SCORE 2330359.238
AT ITER 3372 NEW BEST:: SOT 5011454 SOS 2957919 HAS SOPS 2957919 HAS SOUS 2327082 HAS SOUPS 2327082 WITH SCORE 2330039.919
AT ITER 3373 NEW BEST:: SOT 5012224 SOS 2954175 HAS SOPS 2954175 HAS SOUS 2326276 HAS SOUPS 2326276 WITH SCORE 2329230.175
AT ITER 3387 NEW BEST:: SOT 5012223 SOS 2953922 HAS SOPS 2953922 HAS SOUS 2326260 HAS SOUPS 2326260 WITH SCORE 2329213.922
AT ITER 3393 NEW BEST:: SOT 5011278 SOS 2949197 HAS SOPS 2949197 HAS SOUS 2326260 HAS SOUPS 2326260 WITH SCORE 2329209.197
AT ITER 3398 NEW BEST:: SOT 5011076 SOS 2948995 HAS SOPS 2948995 HAS SOUS 2326058 HAS SOUPS 2326058 WITH SCORE 2329006.995
AT ITER 3401 NEW BEST:: SOT 5010519 SOS 2948438 HAS SOPS 2948438 HAS SOUS 2325501 HAS SOUPS 2325501 WITH SCORE 2328449.438
AT ITER 3416 NEW BEST:: SOT 5009361 SOS 2946447 HAS SOPS 2946447 HAS SOUS 2323687 HAS SOUPS 2323687 WITH SCORE 2326633.447
AT ITER 3422 NEW BEST:: SOT 5009352 SOS 2946426 HAS SOPS 2946426 HAS SOUS 2323659 HAS SOUPS 2323659 WITH SCORE 2326605.426
AT ITER 3423 NEW BEST:: SOT 5009352 SOS 2942966 HAS SOPS 2942966 HAS SOUS 2323652 HAS SOUPS 2323652 WITH SCORE 2326594.966
AT ITER 3427 NEW BEST:: SOT 5009395 SOS 2942394 HAS SOPS 2942394 HAS SOUS 2323080 HAS SOUPS 2323080 WITH SCORE 2326022.394
AT ITER 3439 NEW BEST:: SOT 5010803 SOS 2942628 HAS SOPS 2942628 HAS SOUS 2322063 HAS SOUPS 2322063 WITH SCORE 2325005.628
AT ITER 3451 NEW BEST:: SOT 5008685 SOS 2942225 HAS SOPS 2942225 HAS SOUS 2320918 HAS SOUPS 2320918 WITH SCORE 2323860.225
AT ITER 3462 NEW BEST:: SOT 5008195 SOS 2941377 HAS SOPS 2941377 HAS SOUS 2320070 HAS SOUPS 2320070 WITH SCORE 2323011.377
AT ITER 3467 NEW BEST:: SOT 5008189 SOS 2941335 HAS SOPS 2941335 HAS SOUS 2320070 HAS SOUPS 2320070 WITH SCORE 2323011.335
AT ITER 3475 NEW BEST:: SOT 5007363 SOS 2938143 HAS SOPS 2938143 HAS SOUS 2316578 HAS SOUPS 2316578 WITH SCORE 2319516.143
AT ITER 3479 NEW BEST:: SOT 5007118 SOS 2936918 HAS SOPS 2936918 HAS SOUS 2316578 HAS SOUPS 2316578 WITH SCORE 2319514.918
AT ITER 3485 NEW BEST:: SOT 5006893 SOS 2936693 HAS SOPS 2936693 HAS SOUS 2316347 HAS SOUPS 2316347 WITH SCORE 2319283.693
AT ITER 3486 NEW BEST:: SOT 5006399 SOS 2935705 HAS SOPS 2935705 HAS SOUS 2315346 HAS SOUPS 2315346 WITH SCORE 2318281.705
AT ITER 3487 NEW BEST:: SOT 5006798 SOS 2935579 HAS SOPS 2935579 HAS SOUS 2315232 HAS SOUPS 2315232 WITH SCORE 2318167.579
AT ITER 3491 NEW BEST:: SOT 5006620 SOS 2935401 HAS SOPS 2935401 HAS SOUS 2315054 HAS SOUPS 2315054 WITH SCORE 2317989.401
AT ITER 3492 NEW BEST:: SOT 5006589 SOS 2935613 HAS SOPS 2935613 HAS SOUS 2314516 HAS SOUPS 2314516 WITH SCORE 2317451.613
AT ITER 3493 NEW BEST:: SOT 5006526 SOS 2935298 HAS SOPS 2935298 HAS SOUS 2314516 HAS SOUPS 2314516 WITH SCORE 2317451.298
AT ITER 3500 NEW BEST:: SOT 5005885 SOS 2934655 HAS SOPS 2934655 HAS SOUS 2313873 HAS SOUPS 2313873 WITH SCORE 2316807.655
AT ITER 3504 NEW BEST:: SOT 5005126 SOS 2936367 HAS SOPS 2936367 HAS SOUS 2313769 HAS SOUPS 2313769 WITH SCORE 2316705.367
AT ITER 3512 NEW BEST:: SOT 5004392 SOS 2932774 HAS SOPS 2932774 HAS SOUS 2313668 HAS SOUPS 2313668 WITH SCORE 2316600.774
AT ITER 3520 NEW BEST:: SOT 5004388 SOS 2932758 HAS SOPS 2932758 HAS SOUS 2313645 HAS SOUPS 2313645 WITH SCORE 2316577.758
AT ITER 3536 NEW BEST:: SOT 5004376 SOS 2932746 HAS SOPS 2932746 HAS SOUS 2313633 HAS SOUPS 2313633 WITH SCORE 2316565.746
AT ITER 3538 NEW BEST:: SOT 5004366 SOS 2932724 HAS SOPS 2932724 HAS SOUS 2313604 HAS SOUPS 2313604 WITH SCORE 2316536.724
AT ITER 3543 NEW BEST:: SOT 5005696 SOS 2932543 HAS SOPS 2932543 HAS SOUS 2313423 HAS SOUPS 2313423 WITH SCORE 2316355.543
AT ITER 3556 NEW BEST:: SOT 5004390 SOS 2930568 HAS SOPS 2930568 HAS SOUS 2311455 HAS SOUPS 2311455 WITH SCORE 2314385.568
AT ITER 3559 NEW BEST:: SOT 5005264 SOS 2928557 HAS SOPS 2928557 HAS SOUS 2309009 HAS SOUPS 2309009 WITH SCORE 2311937.557
AT ITER 3566 NEW BEST:: SOT 5005094 SOS 2928387 HAS SOPS 2928387 HAS SOUS 2308839 HAS SOUPS 2308839 WITH SCORE 2311767.387
AT ITER 3567 NEW BEST:: SOT 5006631 SOS 2922447 HAS SOPS 2922447 HAS SOUS 2307693 HAS SOUPS 2307693 WITH SCORE 2310615.447
AT ITER 3571 NEW BEST:: SOT 5005338 SOS 2921145 HAS SOPS 2921145 HAS SOUS 2306384 HAS SOUPS 2306384 WITH SCORE 2309305.145
AT ITER 3572 NEW BEST:: SOT 5005076 SOS 2920874 HAS SOPS 2920874 HAS SOUS 2306100 HAS SOUPS 2306100 WITH SCORE 2309020.874
AT ITER 3583 NEW BEST:: SOT 5003424 SOS 2919222 HAS SOPS 2919222 HAS SOUS 2304448 HAS SOUPS 2304448 WITH SCORE 2307367.222
AT ITER 3587 NEW BEST:: SOT 5003422 SOS 2919220 HAS SOPS 2919220 HAS SOUS 2304446 HAS SOUPS 2304446 WITH SCORE 2307365.22
AT ITER 3588 NEW BEST:: SOT 5003421 SOS 2919217 HAS SOPS 2919217 HAS SOUS 2304443 HAS SOUPS 2304443 WITH SCORE 2307362.217
AT ITER 3600 NEW BEST:: SOT 5003227 SOS 2919023 HAS SOPS 2919023 HAS SOUS 2304249 HAS SOUPS 2304249 WITH SCORE 2307168.023
AT ITER 3606 NEW BEST:: SOT 5002932 SOS 2917674 HAS SOPS 2917674 HAS SOUS 2303653 HAS SOUPS 2303653 WITH SCORE 2306570.674
AT ITER 3640 NEW BEST:: SOT 5002655 SOS 2917397 HAS SOPS 2917397 HAS SOUS 2303376 HAS SOUPS 2303376 WITH SCORE 2306293.397
AT ITER 3642 NEW BEST:: SOT 5001913 SOS 2916655 HAS SOPS 2916655 HAS SOUS 2302633 HAS SOUPS 2302633 WITH SCORE 2305549.655
AT ITER 3646 NEW BEST:: SOT 5000111 SOS 2914838 HAS SOPS 2914838 HAS SOUS 2300816 HAS SOUPS 2300816 WITH SCORE 2303730.838
AT ITER 3657 NEW BEST:: SOT 4999909 SOS 2914636 HAS SOPS 2914636 HAS SOUS 2300614 HAS SOUPS 2300614 WITH SCORE 2303528.636
AT ITER 3661 NEW BEST:: SOT 4999440 SOS 2912291 HAS SOPS 2912291 HAS SOUS 2300609 HAS SOUPS 2300609 WITH SCORE 2303521.291
AT ITER 3671 NEW BEST:: SOT 4999442 SOS 2912290 HAS SOPS 2912290 HAS SOUS 2300606 HAS SOUPS 2300606 WITH SCORE 2303518.29
AT ITER 3692 NEW BEST:: SOT 5000634 SOS 2907969 HAS SOPS 2907969 HAS SOUS 2300510 HAS SOUPS 2300510 WITH SCORE 2303417.969
AT ITER 3696 NEW BEST:: SOT 5000206 SOS 2907541 HAS SOPS 2907541 HAS SOUS 2300082 HAS SOUPS 2300082 WITH SCORE 2302989.541
AT ITER 3697 NEW BEST:: SOT 4999949 SOS 2907284 HAS SOPS 2907284 HAS SOUS 2299825 HAS SOUPS 2299825 WITH SCORE 2302732.284
AT ITER 3698 NEW BEST:: SOT 4999264 SOS 2902850 HAS SOPS 2902850 HAS SOUS 2299825 HAS SOUPS 2299825 WITH SCORE 2302727.85
AT ITER 3704 NEW BEST:: SOT 4999202 SOS 2902757 HAS SOPS 2902757 HAS SOUS 2299732 HAS SOUPS 2299732 WITH SCORE 2302634.757
AT ITER 3705 NEW BEST:: SOT 4998594 SOS 2902149 HAS SOPS 2902149 HAS SOUS 2299124 HAS SOUPS 2299124 WITH SCORE 2302026.149
AT ITER 3712 NEW BEST:: SOT 4998206 SOS 2901761 HAS SOPS 2901761 HAS SOUS 2298736 HAS SOUPS 2298736 WITH SCORE 2301637.761
AT ITER 3726 NEW BEST:: SOT 4998265 SOS 2901747 HAS SOPS 2901747 HAS SOUS 2298722 HAS SOUPS 2298722 WITH SCORE 2301623.747
AT ITER 3733 NEW BEST:: SOT 4998107 SOS 2901458 HAS SOPS 2901458 HAS SOUS 2298433 HAS SOUPS 2298433 WITH SCORE 2301334.458
AT ITER 3737 NEW BEST:: SOT 4996812 SOS 2900148 HAS SOPS 2900148 HAS SOUS 2297123 HAS SOUPS 2297123 WITH SCORE 2300023.148
AT ITER 3738 NEW BEST:: SOT 4997158 SOS 2899056 HAS SOPS 2899056 HAS SOUS 2296031 HAS SOUPS 2296031 WITH SCORE 2298930.056
AT ITER 3746 NEW BEST:: SOT 4997157 SOS 2899052 HAS SOPS 2899052 HAS SOUS 2296027 HAS SOUPS 2296027 WITH SCORE 2298926.052
AT ITER 3760 NEW BEST:: SOT 4997348 SOS 2897229 HAS SOPS 2897229 HAS SOUS 2295928 HAS SOUPS 2295928 WITH SCORE 2298825.229
AT ITER 3766 NEW BEST:: SOT 4997304 SOS 2897185 HAS SOPS 2897185 HAS SOUS 2295884 HAS SOUPS 2295884 WITH SCORE 2298781.185
AT ITER 3771 NEW BEST:: SOT 4995699 SOS 2895578 HAS SOPS 2895578 HAS SOUS 2294277 HAS SOUPS 2294277 WITH SCORE 2297172.578
AT ITER 3773 NEW BEST:: SOT 4996027 SOS 2896892 HAS SOPS 2896892 HAS SOUS 2293249 HAS SOUPS 2293249 WITH SCORE 2296145.892
AT ITER 3777 NEW BEST:: SOT 4996027 SOS 2896463 HAS SOPS 2896463 HAS SOUS 2292964 HAS SOUPS 2292964 WITH SCORE 2295860.463
AT ITER 3778 NEW BEST:: SOT 4995456 SOS 2895890 HAS SOPS 2895890 HAS SOUS 2292391 HAS SOUPS 2292391 WITH SCORE 2295286.89
AT ITER 3782 NEW BEST:: SOT 4994992 SOS 2895426 HAS SOPS 2895426 HAS SOUS 2291927 HAS SOUPS 2291927 WITH SCORE 2294822.426
AT ITER 3791 NEW BEST:: SOT 4994636 SOS 2895070 HAS SOPS 2895070 HAS SOUS 2291571 HAS SOUPS 2291571 WITH SCORE 2294466.07
AT ITER 3801 NEW BEST:: SOT 4993777 SOS 2890389 HAS SOPS 2890389 HAS SOUS 2291571 HAS SOUPS 2291571 WITH SCORE 2294461.389
AT ITER 3806 NEW BEST:: SOT 4993604 SOS 2890170 HAS SOPS 2890170 HAS SOUS 2291352 HAS SOUPS 2291352 WITH SCORE 2294242.17
AT ITER 3836 NEW BEST:: SOT 4993604 SOS 2887154 HAS SOPS 2887154 HAS SOUS 2291064 HAS SOUPS 2291064 WITH SCORE 2293951.154
AT ITER 3847 NEW BEST:: SOT 4993398 SOS 2886537 HAS SOPS 2886537 HAS SOUS 2290447 HAS SOUPS 2290447 WITH SCORE 2293333.537
AT ITER 3852 NEW BEST:: SOT 4991537 SOS 2886083 HAS SOPS 2886083 HAS SOUS 2289054 HAS SOUPS 2289054 WITH SCORE 2291940.083
AT ITER 3860 NEW BEST:: SOT 4991093 SOS 2885639 HAS SOPS 2885639 HAS SOUS 2288610 HAS SOUPS 2288610 WITH SCORE 2291495.639
AT ITER 3861 NEW BEST:: SOT 4991043 SOS 2885589 HAS SOPS 2885589 HAS SOUS 2288560 HAS SOUPS 2288560 WITH SCORE 2291445.589
AT ITER 3862 NEW BEST:: SOT 4991043 SOS 2885587 HAS SOPS 2885587 HAS SOUS 2288558 HAS SOUPS 2288558 WITH SCORE 2291443.587
AT ITER 3870 NEW BEST:: SOT 4990365 SOS 2885062 HAS SOPS 2885062 HAS SOUS 2288033 HAS SOUPS 2288033 WITH SCORE 2290918.062
AT ITER 3882 NEW BEST:: SOT 4989994 SOS 2884323 HAS SOPS 2884323 HAS SOUS 2287294 HAS SOUPS 2287294 WITH SCORE 2290178.323
AT ITER 3886 NEW BEST:: SOT 4989868 SOS 2884206 HAS SOPS 2884206 HAS SOUS 2287177 HAS SOUPS 2287177 WITH SCORE 2290061.206
AT ITER 3890 NEW BEST:: SOT 4989831 SOS 2882048 HAS SOPS 2882048 HAS SOUS 2286495 HAS SOUPS 2286495 WITH SCORE 2289377.048
AT ITER 3897 NEW BEST:: SOT 4989182 SOS 2877806 HAS SOPS 2877806 HAS SOUS 2284537 HAS SOUPS 2284537 WITH SCORE 2287414.806
AT ITER 3900 NEW BEST:: SOT 4988986 SOS 2877610 HAS SOPS 2877610 HAS SOUS 2284341 HAS SOUPS 2284341 WITH SCORE 2287218.61
AT ITER 3902 NEW BEST:: SOT 4986852 SOS 2875476 HAS SOPS 2875476 HAS SOUS 2282207 HAS SOUPS 2282207 WITH SCORE 2285082.476
AT ITER 3917 NEW BEST:: SOT 4986945 SOS 2875290 HAS SOPS 2875290 HAS SOUS 2282021 HAS SOUPS 2282021 WITH SCORE 2284896.29
AT ITER 3922 NEW BEST:: SOT 4986541 SOS 2875460 HAS SOPS 2875460 HAS SOUS 2281819 HAS SOUPS 2281819 WITH SCORE 2284694.46
AT ITER 3926 NEW BEST:: SOT 4986383 SOS 2875905 HAS SOPS 2875905 HAS SOUS 2280380 HAS SOUPS 2280380 WITH SCORE 2283255.905
AT ITER 3929 NEW BEST:: SOT 4985869 SOS 2875201 HAS SOPS 2875201 HAS SOUS 2279676 HAS SOUPS 2279676 WITH SCORE 2282551.201
AT ITER 3932 NEW BEST:: SOT 4985736 SOS 2873259 HAS SOPS 2873259 HAS SOUS 2278673 HAS SOUPS 2278673 WITH SCORE 2281546.259
AT ITER 3935 NEW BEST:: SOT 4985529 SOS 2873050 HAS SOPS 2873050 HAS SOUS 2278464 HAS SOUPS 2278464 WITH SCORE 2281337.05
AT ITER 3956 NEW BEST:: SOT 4985508 SOS 2873029 HAS SOPS 2873029 HAS SOUS 2278443 HAS SOUPS 2278443 WITH SCORE 2281316.029
AT ITER 3957 NEW BEST:: SOT 4985342 SOS 2872614 HAS SOPS 2872614 HAS SOUS 2278111 HAS SOUPS 2278111 WITH SCORE 2280983.614
AT ITER 3959 NEW BEST:: SOT 4984630 SOS 2871902 HAS SOPS 2871902 HAS SOUS 2277399 HAS SOUPS 2277399 WITH SCORE 2280270.902
AT ITER 3964 NEW BEST:: SOT 4984593 SOS 2871854 HAS SOPS 2871854 HAS SOUS 2277344 HAS SOUPS 2277344 WITH SCORE 2280215.854
AT ITER 3965 NEW BEST:: SOT 4984099 SOS 2870869 HAS SOPS 2870869 HAS SOUS 2276359 HAS SOUPS 2276359 WITH SCORE 2279229.869
AT ITER 3982 NEW BEST:: SOT 4982125 SOS 2868781 HAS SOPS 2868781 HAS SOUS 2274232 HAS SOUPS 2274232 WITH SCORE 2277100.781
AT ITER 3983 NEW BEST:: SOT 4982124 SOS 2868780 HAS SOPS 2868780 HAS SOUS 2274231 HAS SOUPS 2274231 WITH SCORE 2277099.78
AT ITER 3988 NEW BEST:: SOT 4982267 SOS 2868652 HAS SOPS 2868652 HAS SOUS 2274103 HAS SOUPS 2274103 WITH SCORE 2276971.652
AT ITER 3989 NEW BEST:: SOT 4980021 SOS 2866406 HAS SOPS 2866406 HAS SOUS 2271857 HAS SOUPS 2271857 WITH SCORE 2274723.406
AT ITER 3990 NEW BEST:: SOT 4977688 SOS 2859658 HAS SOPS 2859658 HAS SOUS 2270152 HAS SOUPS 2270152 WITH SCORE 2273011.658
AT ITER 4004 NEW BEST:: SOT 4978909 SOS 2854524 HAS SOPS 2854524 HAS SOUS 2269034 HAS SOUPS 2269034 WITH SCORE 2271888.524
AT ITER 4011 NEW BEST:: SOT 4977993 SOS 2853608 HAS SOPS 2853608 HAS SOUS 2268118 HAS SOUPS 2268118 WITH SCORE 2270971.608
AT ITER 4026 NEW BEST:: SOT 4977993 SOS 2853598 HAS SOPS 2853598 HAS SOUS 2267606 HAS SOUPS 2267606 WITH SCORE 2270459.598
AT ITER 4028 NEW BEST:: SOT 4978505 SOS 2852270 HAS SOPS 2852270 HAS SOUS 2267544 HAS SOUPS 2267544 WITH SCORE 2270396.27
AT ITER 4065 NEW BEST:: SOT 4978505 SOS 2852126 HAS SOPS 2852126 HAS SOUS 2267400 HAS SOUPS 2267400 WITH SCORE 2270252.126
AT ITER 4072 NEW BEST:: SOT 4978406 SOS 2852026 HAS SOPS 2852026 HAS SOUS 2267300 HAS SOUPS 2267300 WITH SCORE 2270152.026
AT ITER 4076 NEW BEST:: SOT 4978357 SOS 2851977 HAS SOPS 2851977 HAS SOUS 2267251 HAS SOUPS 2267251 WITH SCORE 2270102.977
AT ITER 4079 NEW BEST:: SOT 4978336 SOS 2851956 HAS SOPS 2851956 HAS SOUS 2267230 HAS SOUPS 2267230 WITH SCORE 2270081.956
AT ITER 4090 NEW BEST:: SOT 4979405 SOS 2847823 HAS SOPS 2847823 HAS SOUS 2266779 HAS SOUPS 2266779 WITH SCORE 2269626.823
AT ITER 4111 NEW BEST:: SOT 4979206 SOS 2847686 HAS SOPS 2847686 HAS SOUS 2266642 HAS SOUPS 2266642 WITH SCORE 2269489.686
AT ITER 4113 NEW BEST:: SOT 4978608 SOS 2847354 HAS SOPS 2847354 HAS SOUS 2266178 HAS SOUPS 2266178 WITH SCORE 2269025.354
AT ITER 4115 NEW BEST:: SOT 4978462 SOS 2846989 HAS SOPS 2846989 HAS SOUS 2265886 HAS SOUPS 2265886 WITH SCORE 2268732.989
AT ITER 4119 NEW BEST:: SOT 4978222 SOS 2846749 HAS SOPS 2846749 HAS SOUS 2265646 HAS SOUPS 2265646 WITH SCORE 2268492.749
AT ITER 4121 NEW BEST:: SOT 4978222 SOS 2846702 HAS SOPS 2846702 HAS SOUS 2265599 HAS SOUPS 2265599 WITH SCORE 2268445.702
AT ITER 4123 NEW BEST:: SOT 4978222 SOS 2846697 HAS SOPS 2846697 HAS SOUS 2265592 HAS SOUPS 2265592 WITH SCORE 2268438.697
AT ITER 4127 NEW BEST:: SOT 4977405 SOS 2845280 HAS SOPS 2845280 HAS SOUS 2264175 HAS SOUPS 2264175 WITH SCORE 2267020.28
AT ITER 4133 NEW BEST:: SOT 4977262 SOS 2845137 HAS SOPS 2845137 HAS SOUS 2264032 HAS SOUPS 2264032 WITH SCORE 2266877.137
AT ITER 4158 NEW BEST:: SOT 4976868 SOS 2844743 HAS SOPS 2844743 HAS SOUS 2263638 HAS SOUPS 2263638 WITH SCORE 2266482.743
AT ITER 4164 NEW BEST:: SOT 4973960 SOS 2837559 HAS SOPS 2837559 HAS SOUS 2258337 HAS SOUPS 2258337 WITH SCORE 2261174.559
AT ITER 4166 NEW BEST:: SOT 4975246 SOS 2833818 HAS SOPS 2833818 HAS SOUS 2256721 HAS SOUPS 2256721 WITH SCORE 2259554.818
AT ITER 4168 NEW BEST:: SOT 4975151 SOS 2833598 HAS SOPS 2833598 HAS SOUS 2256482 HAS SOUPS 2256482 WITH SCORE 2259315.598
AT ITER 4170 NEW BEST:: SOT 4975151 SOS 2832936 HAS SOPS 2832936 HAS SOUS 2255830 HAS SOUPS 2255830 WITH SCORE 2258662.936
AT ITER 4174 NEW BEST:: SOT 4975149 SOS 2829565 HAS SOPS 2829565 HAS SOUS 2254740 HAS SOUPS 2254740 WITH SCORE 2257569.565
AT ITER 4181 NEW BEST:: SOT 4974973 SOS 2829387 HAS SOPS 2829387 HAS SOUS 2254562 HAS SOUPS 2254562 WITH SCORE 2257391.387
AT ITER 4187 NEW BEST:: SOT 4974739 SOS 2825999 HAS SOPS 2825999 HAS SOUS 2254116 HAS SOUPS 2254116 WITH SCORE 2256941.999
AT ITER 4188 NEW BEST:: SOT 4974737 SOS 2825997 HAS SOPS 2825997 HAS SOUS 2254114 HAS SOUPS 2254114 WITH SCORE 2256939.997
AT ITER 4189 NEW BEST:: SOT 4975129 SOS 2826125 HAS SOPS 2826125 HAS SOUS 2254105 HAS SOUPS 2254105 WITH SCORE 2256931.125
AT ITER 4190 NEW BEST:: SOT 4974700 SOS 2825696 HAS SOPS 2825696 HAS SOUS 2253676 HAS SOUPS 2253676 WITH SCORE 2256501.696
AT ITER 4205 NEW BEST:: SOT 4972715 SOS 2824835 HAS SOPS 2824835 HAS SOUS 2252256 HAS SOUPS 2252256 WITH SCORE 2255080.835
AT ITER 4206 NEW BEST:: SOT 4972715 SOS 2822461 HAS SOPS 2822461 HAS SOUS 2252256 HAS SOUPS 2252256 WITH SCORE 2255078.461
AT ITER 4216 NEW BEST:: SOT 4972175 SOS 2821828 HAS SOPS 2821828 HAS SOUS 2251623 HAS SOUPS 2251623 WITH SCORE 2254444.828
AT ITER 4222 NEW BEST:: SOT 4971939 SOS 2821117 HAS SOPS 2821117 HAS SOUS 2250912 HAS SOUPS 2250912 WITH SCORE 2253733.117
AT ITER 4225 NEW BEST:: SOT 4971938 SOS 2821115 HAS SOPS 2821115 HAS SOUS 2250910 HAS SOUPS 2250910 WITH SCORE 2253731.115
AT ITER 4242 NEW BEST:: SOT 4971938 SOS 2814436 HAS SOPS 2814436 HAS SOUS 2248782 HAS SOUPS 2248782 WITH SCORE 2251596.436
AT ITER 4245 NEW BEST:: SOT 4971312 SOS 2813808 HAS SOPS 2813808 HAS SOUS 2247779 HAS SOUPS 2247779 WITH SCORE 2250592.808
AT ITER 4249 NEW BEST:: SOT 4969502 SOS 2812711 HAS SOPS 2812711 HAS SOUS 2245951 HAS SOUPS 2245951 WITH SCORE 2248763.711
AT ITER 4295 NEW BEST:: SOT 4970161 SOS 2813805 HAS SOPS 2813805 HAS SOUS 2245847 HAS SOUPS 2245847 WITH SCORE 2248660.805
AT ITER 4300 NEW BEST:: SOT 4970103 SOS 2813622 HAS SOPS 2813622 HAS SOUS 2245612 HAS SOUPS 2245612 WITH SCORE 2248425.622
AT ITER 4302 NEW BEST:: SOT 4969346 SOS 2812865 HAS SOPS 2812865 HAS SOUS 2244795 HAS SOUPS 2244795 WITH SCORE 2247607.865
AT ITER 4304 NEW BEST:: SOT 4969615 SOS 2813260 HAS SOPS 2813260 HAS SOUS 2244751 HAS SOUPS 2244751 WITH SCORE 2247564.26
AT ITER 4313 NEW BEST:: SOT 4969067 SOS 2812168 HAS SOPS 2812168 HAS SOUS 2243659 HAS SOUPS 2243659 WITH SCORE 2246471.168
AT ITER 4315 NEW BEST:: SOT 4968658 SOS 2811759 HAS SOPS 2811759 HAS SOUS 2243250 HAS SOUPS 2243250 WITH SCORE 2246061.759
AT ITER 4317 NEW BEST:: SOT 4967820 SOS 2810087 HAS SOPS 2810087 HAS SOUS 2241573 HAS SOUPS 2241573 WITH SCORE 2244383.087
AT ITER 4321 NEW BEST:: SOT 4967546 SOS 2809757 HAS SOPS 2809757 HAS SOUS 2241243 HAS SOUPS 2241243 WITH SCORE 2244052.757
AT ITER 4334 NEW BEST:: SOT 4967210 SOS 2809421 HAS SOPS 2809421 HAS SOUS 2240907 HAS SOUPS 2240907 WITH SCORE 2243716.421
AT ITER 4338 NEW BEST:: SOT 4967014 SOS 2809225 HAS SOPS 2809225 HAS SOUS 2240711 HAS SOUPS 2240711 WITH SCORE 2243520.225
AT ITER 4343 NEW BEST:: SOT 4967816 SOS 2803035 HAS SOPS 2803035 HAS SOUS 2239857 HAS SOUPS 2239857 WITH SCORE 2242660.035
AT ITER 4349 NEW BEST:: SOT 4967126 SOS 2802345 HAS SOPS 2802345 HAS SOUS 2239167 HAS SOUPS 2239167 WITH SCORE 2241969.345
AT ITER 4352 NEW BEST:: SOT 4967031 SOS 2802085 HAS SOPS 2802085 HAS SOUS 2238907 HAS SOUPS 2238907 WITH SCORE 2241709.085
AT ITER 4356 NEW BEST:: SOT 4966086 SOS 2801140 HAS SOPS 2801140 HAS SOUS 2237962 HAS SOUPS 2237962 WITH SCORE 2240763.14
AT ITER 4387 NEW BEST:: SOT 4966086 SOS 2800444 HAS SOPS 2800444 HAS SOUS 2237730 HAS SOUPS 2237730 WITH SCORE 2240530.444
AT ITER 4394 NEW BEST:: SOT 4966086 SOS 2800432 HAS SOPS 2800432 HAS SOUS 2237718 HAS SOUPS 2237718 WITH SCORE 2240518.432
AT ITER 4395 NEW BEST:: SOT 4966253 SOS 2800430 HAS SOPS 2800430 HAS SOUS 2237716 HAS SOUPS 2237716 WITH SCORE 2240516.43
AT ITER 4397 NEW BEST:: SOT 4966185 SOS 2799168 HAS SOPS 2799168 HAS SOUS 2234372 HAS SOUPS 2234372 WITH SCORE 2237171.168
AT ITER 4398 NEW BEST:: SOT 4965742 SOS 2798725 HAS SOPS 2798725 HAS SOUS 2233929 HAS SOUPS 2233929 WITH SCORE 2236727.725
AT ITER 4403 NEW BEST:: SOT 4965321 SOS 2798294 HAS SOPS 2798294 HAS SOUS 2233481 HAS SOUPS 2233481 WITH SCORE 2236279.294
AT ITER 4405 NEW BEST:: SOT 4965428 SOS 2792198 HAS SOPS 2792198 HAS SOUS 2231971 HAS SOUPS 2231971 WITH SCORE 2234763.198
AT ITER 4410 NEW BEST:: SOT 4965212 SOS 2791874 HAS SOPS 2791874 HAS SOUS 2231647 HAS SOUPS 2231647 WITH SCORE 2234438.874
AT ITER 4415 NEW BEST:: SOT 4964631 SOS 2791280 HAS SOPS 2791280 HAS SOUS 2230802 HAS SOUPS 2230802 WITH SCORE 2233593.28
AT ITER 4419 NEW BEST:: SOT 4964006 SOS 2790655 HAS SOPS 2790655 HAS SOUS 2230177 HAS SOUPS 2230177 WITH SCORE 2232967.655
AT ITER 4423 NEW BEST:: SOT 4963322 SOS 2789969 HAS SOPS 2789969 HAS SOUS 2229491 HAS SOUPS 2229491 WITH SCORE 2232280.969
AT ITER 4430 NEW BEST:: SOT 4963322 SOS 2789922 HAS SOPS 2789922 HAS SOUS 2229444 HAS SOUPS 2229444 WITH SCORE 2232233.922
AT ITER 4431 NEW BEST:: SOT 4963321 SOS 2789973 HAS SOPS 2789973 HAS SOUS 2229432 HAS SOUPS 2229432 WITH SCORE 2232221.973
AT ITER 4433 NEW BEST:: SOT 4963321 SOS 2790178 HAS SOPS 2790178 HAS SOUS 2229235 HAS SOUPS 2229235 WITH SCORE 2232025.178
AT ITER 4461 NEW BEST:: SOT 4963321 SOS 2790176 HAS SOPS 2790176 HAS SOUS 2229233 HAS SOUPS 2229233 WITH SCORE 2232023.176
AT ITER 4464 NEW BEST:: SOT 4963200 SOS 2789872 HAS SOPS 2789872 HAS SOUS 2228928 HAS SOUPS 2228928 WITH SCORE 2231717.872
AT ITER 4489 NEW BEST:: SOT 4962982 SOS 2789654 HAS SOPS 2789654 HAS SOUS 2228710 HAS SOUPS 2228710 WITH SCORE 2231499.654
AT ITER 4497 NEW BEST:: SOT 4961689 SOS 2788852 HAS SOPS 2788852 HAS SOUS 2227908 HAS SOUPS 2227908 WITH SCORE 2230696.852
AT ITER 4502 NEW BEST:: SOT 4961155 SOS 2788318 HAS SOPS 2788318 HAS SOUS 2227374 HAS SOUPS 2227374 WITH SCORE 2230162.318
AT ITER 4506 NEW BEST:: SOT 4960944 SOS 2788061 HAS SOPS 2788061 HAS SOUS 2227101 HAS SOUPS 2227101 WITH SCORE 2229889.061
AT ITER 4508 NEW BEST:: SOT 4960737 SOS 2787026 HAS SOPS 2787026 HAS SOUS 2227100 HAS SOUPS 2227100 WITH SCORE 2229887.026
AT ITER 4524 NEW BEST:: SOT 4960388 SOS 2785753 HAS SOPS 2785753 HAS SOUS 2225827 HAS SOUPS 2225827 WITH SCORE 2228612.753
AT ITER 4526 NEW BEST:: SOT 4960388 SOS 2785732 HAS SOPS 2785732 HAS SOUS 2225425 HAS SOUPS 2225425 WITH SCORE 2228210.732
AT ITER 4541 NEW BEST:: SOT 4960762 SOS 2786093 HAS SOPS 2786093 HAS SOUS 2225361 HAS SOUPS 2225361 WITH SCORE 2228147.093
AT ITER 4557 NEW BEST:: SOT 4960683 SOS 2785002 HAS SOPS 2785002 HAS SOUS 2225360 HAS SOUPS 2225360 WITH SCORE 2228145.002
AT ITER 4558 NEW BEST:: SOT 4960506 SOS 2784825 HAS SOPS 2784825 HAS SOUS 2225183 HAS SOUPS 2225183 WITH SCORE 2227967.825
AT ITER 4569 NEW BEST:: SOT 4960621 SOS 2784738 HAS SOPS 2784738 HAS SOUS 2225107 HAS SOUPS 2225107 WITH SCORE 2227891.738
AT ITER 4571 NEW BEST:: SOT 4960620 SOS 2784737 HAS SOPS 2784737 HAS SOUS 2225106 HAS SOUPS 2225106 WITH SCORE 2227890.737
AT ITER 4579 NEW BEST:: SOT 4960082 SOS 2783661 HAS SOPS 2783661 HAS SOUS 2224030 HAS SOUPS 2224030 WITH SCORE 2226813.661
AT ITER 4584 NEW BEST:: SOT 4959524 SOS 2783103 HAS SOPS 2783103 HAS SOUS 2223472 HAS SOUPS 2223472 WITH SCORE 2226255.103
AT ITER 4595 NEW BEST:: SOT 4958066 SOS 2781627 HAS SOPS 2781627 HAS SOUS 2222005 HAS SOUPS 2222005 WITH SCORE 2224786.627
AT ITER 4597 NEW BEST:: SOT 4957549 SOS 2779585 HAS SOPS 2779585 HAS SOUS 2221543 HAS SOUPS 2221543 WITH SCORE 2224322.585
AT ITER 4610 NEW BEST:: SOT 4957233 SOS 2778917 HAS SOPS 2778917 HAS SOUS 2220942 HAS SOUPS 2220942 WITH SCORE 2223720.917
AT ITER 4613 NEW BEST:: SOT 4957232 SOS 2778448 HAS SOPS 2778448 HAS SOUS 2220703 HAS SOUPS 2220703 WITH SCORE 2223481.448
AT ITER 4616 NEW BEST:: SOT 4956876 SOS 2778459 HAS SOPS 2778459 HAS SOUS 2220531 HAS SOUPS 2220531 WITH SCORE 2223309.459
AT ITER 4624 NEW BEST:: SOT 4956998 SOS 2778367 HAS SOPS 2778367 HAS SOUS 2220188 HAS SOUPS 2220188 WITH SCORE 2222966.367
AT ITER 4631 NEW BEST:: SOT 4956792 SOS 2776964 HAS SOPS 2776964 HAS SOUS 2218797 HAS SOUPS 2218797 WITH SCORE 2221573.964
AT ITER 4633 NEW BEST:: SOT 4956548 SOS 2776718 HAS SOPS 2776718 HAS SOUS 2218551 HAS SOUPS 2218551 WITH SCORE 2221327.718
AT ITER 4650 NEW BEST:: SOT 4956272 SOS 2776442 HAS SOPS 2776442 HAS SOUS 2218275 HAS SOUPS 2218275 WITH SCORE 2221051.442
AT ITER 4652 NEW BEST:: SOT 4956272 SOS 2775277 HAS SOPS 2775277 HAS SOUS 2218257 HAS SOUPS 2218257 WITH SCORE 2221032.277
AT ITER 4653 NEW BEST:: SOT 4955720 SOS 2774380 HAS SOPS 2774380 HAS SOUS 2217360 HAS SOUPS 2217360 WITH SCORE 2220134.38
AT ITER 4658 NEW BEST:: SOT 4955720 SOS 2772656 HAS SOPS 2772656 HAS SOUS 2217349 HAS SOUPS 2217349 WITH SCORE 2220121.656
AT ITER 4673 NEW BEST:: SOT 4955598 SOS 2772510 HAS SOPS 2772510 HAS SOUS 2217341 HAS SOUPS 2217341 WITH SCORE 2220113.51
AT ITER 4678 NEW BEST:: SOT 4954064 SOS 2769998 HAS SOPS 2769998 HAS SOUS 2213622 HAS SOUPS 2213622 WITH SCORE 2216391.998
AT ITER 4679 NEW BEST:: SOT 4954064 SOS 2769985 HAS SOPS 2769985 HAS SOUS 2213622 HAS SOUPS 2213622 WITH SCORE 2216391.985
AT ITER 4686 NEW BEST:: SOT 4953844 SOS 2769655 HAS SOPS 2769655 HAS SOUS 2213292 HAS SOUPS 2213292 WITH SCORE 2216061.655
AT ITER 4750 NEW BEST:: SOT 4954057 SOS 2769498 HAS SOPS 2769498 HAS SOUS 2212313 HAS SOUPS 2212313 WITH SCORE 2215082.498
AT ITER 4753 NEW BEST:: SOT 4953673 SOS 2769113 HAS SOPS 2769113 HAS SOUS 2211928 HAS SOUPS 2211928 WITH SCORE 2214697.113
AT ITER 4759 NEW BEST:: SOT 4952917 SOS 2768357 HAS SOPS 2768357 HAS SOUS 2211172 HAS SOUPS 2211172 WITH SCORE 2213940.357
AT ITER 4764 NEW BEST:: SOT 4952915 SOS 2768349 HAS SOPS 2768349 HAS SOUS 2211163 HAS SOUPS 2211163 WITH SCORE 2213931.349
AT ITER 4768 NEW BEST:: SOT 4952910 SOS 2768344 HAS SOPS 2768344 HAS SOUS 2211158 HAS SOUPS 2211158 WITH SCORE 2213926.344
AT ITER 4776 NEW BEST:: SOT 4952149 SOS 2767583 HAS SOPS 2767583 HAS SOUS 2210397 HAS SOUPS 2210397 WITH SCORE 2213164.583
AT ITER 4780 NEW BEST:: SOT 4952149 SOS 2767583 HAS SOPS 2767583 HAS SOUS 2210199 HAS SOUPS 2210199 WITH SCORE 2212966.583
AT ITER 4788 NEW BEST:: SOT 4952569 SOS 2766721 HAS SOPS 2766721 HAS SOUS 2210183 HAS SOUPS 2210183 WITH SCORE 2212949.721
AT ITER 4804 NEW BEST:: SOT 4952275 SOS 2766427 HAS SOPS 2766427 HAS SOUS 2209889 HAS SOUPS 2209889 WITH SCORE 2212655.427
AT ITER 4814 NEW BEST:: SOT 4952274 SOS 2766424 HAS SOPS 2766424 HAS SOUS 2209886 HAS SOUPS 2209886 WITH SCORE 2212652.424
AT ITER 4826 NEW BEST:: SOT 4951955 SOS 2764330 HAS SOPS 2764330 HAS SOUS 2209270 HAS SOUPS 2209270 WITH SCORE 2212034.33
AT ITER 4828 NEW BEST:: SOT 4951944 SOS 2764310 HAS SOPS 2764310 HAS SOUS 2209240 HAS SOUPS 2209240 WITH SCORE 2212004.31
AT ITER 4831 NEW BEST:: SOT 4951877 SOS 2764243 HAS SOPS 2764243 HAS SOUS 2209173 HAS SOUPS 2209173 WITH SCORE 2211937.243
AT ITER 4837 NEW BEST:: SOT 4951426 SOS 2763406 HAS SOPS 2763406 HAS SOUS 2208278 HAS SOUPS 2208278 WITH SCORE 2211041.406
AT ITER 4855 NEW BEST:: SOT 4951256 SOS 2762741 HAS SOPS 2762741 HAS SOUS 2207613 HAS SOUPS 2207613 WITH SCORE 2210375.741
AT ITER 4867 NEW BEST:: SOT 4950296 SOS 2761781 HAS SOPS 2761781 HAS SOUS 2206653 HAS SOUPS 2206653 WITH SCORE 2209414.781
AT ITER 4869 NEW BEST:: SOT 4949933 SOS 2761416 HAS SOPS 2761416 HAS SOUS 2206288 HAS SOUPS 2206288 WITH SCORE 2209049.416
AT ITER 4881 NEW BEST:: SOT 4949586 SOS 2759896 HAS SOPS 2759896 HAS SOUS 2205396 HAS SOUPS 2205396 WITH SCORE 2208155.896
AT ITER 4888 NEW BEST:: SOT 4949518 SOS 2759934 HAS SOPS 2759934 HAS SOUS 2205233 HAS SOUPS 2205233 WITH SCORE 2207992.934
AT ITER 4889 NEW BEST:: SOT 4948315 SOS 2753919 HAS SOPS 2753919 HAS SOUS 2205233 HAS SOUPS 2205233 WITH SCORE 2207986.919
AT ITER 4896 NEW BEST:: SOT 4947913 SOS 2753403 HAS SOPS 2753403 HAS SOUS 2204717 HAS SOUPS 2204717 WITH SCORE 2207470.403
AT ITER 4897 NEW BEST:: SOT 4947645 SOS 2753135 HAS SOPS 2753135 HAS SOUS 2204443 HAS SOUPS 2204443 WITH SCORE 2207196.135
AT ITER 4910 NEW BEST:: SOT 4947078 SOS 2752568 HAS SOPS 2752568 HAS SOUS 2203876 HAS SOUPS 2203876 WITH SCORE 2206628.568
AT ITER 4923 NEW BEST:: SOT 4946632 SOS 2752122 HAS SOPS 2752122 HAS SOUS 2203430 HAS SOUPS 2203430 WITH SCORE 2206182.122
AT ITER 4925 NEW BEST:: SOT 4946588 SOS 2752078 HAS SOPS 2752078 HAS SOUS 2203386 HAS SOUPS 2203386 WITH SCORE 2206138.078
AT ITER 4931 NEW BEST:: SOT 4946582 SOS 2752152 HAS SOPS 2752152 HAS SOUS 2203374 HAS SOUPS 2203374 WITH SCORE 2206126.152
AT ITER 4933 NEW BEST:: SOT 4946170 SOS 2751738 HAS SOPS 2751738 HAS SOUS 2202960 HAS SOUPS 2202960 WITH SCORE 2205711.738
AT ITER 4934 NEW BEST:: SOT 4945138 SOS 2750704 HAS SOPS 2750704 HAS SOUS 2201926 HAS SOUPS 2201926 WITH SCORE 2204676.704
AT ITER 4937 NEW BEST:: SOT 4945405 SOS 2750095 HAS SOPS 2750095 HAS SOUS 2201620 HAS SOUPS 2201620 WITH SCORE 2204370.095
AT ITER 4939 NEW BEST:: SOT 4945100 SOS 2749155 HAS SOPS 2749155 HAS SOUS 2201300 HAS SOUPS 2201300 WITH SCORE 2204049.155
AT ITER 4940 NEW BEST:: SOT 4942437 SOS 2745527 HAS SOPS 2745527 HAS SOUS 2197202 HAS SOUPS 2197202 WITH SCORE 2199947.527
AT ITER 4942 NEW BEST:: SOT 4942436 SOS 2743621 HAS SOPS 2743621 HAS SOUS 2196794 HAS SOUPS 2196794 WITH SCORE 2199537.621
AT ITER 4947 NEW BEST:: SOT 4942423 SOS 2743604 HAS SOPS 2743604 HAS SOUS 2196765 HAS SOUPS 2196765 WITH SCORE 2199508.604
AT ITER 4953 NEW BEST:: SOT 4942685 SOS 2743303 HAS SOPS 2743303 HAS SOUS 2196477 HAS SOUPS 2196477 WITH SCORE 2199220.303
AT ITER 4955 NEW BEST:: SOT 4942258 SOS 2742876 HAS SOPS 2742876 HAS SOUS 2196050 HAS SOUPS 2196050 WITH SCORE 2198792.876
AT ITER 4964 NEW BEST:: SOT 4941463 SOS 2742081 HAS SOPS 2742081 HAS SOUS 2195255 HAS SOUPS 2195255 WITH SCORE 2197997.081
AT ITER 4969 NEW BEST:: SOT 4941367 SOS 2741985 HAS SOPS 2741985 HAS SOUS 2195159 HAS SOUPS 2195159 WITH SCORE 2197900.985
AT ITER 4972 NEW BEST:: SOT 4941352 SOS 2741609 HAS SOPS 2741609 HAS SOUS 2194963 HAS SOUPS 2194963 WITH SCORE 2197704.609
AT ITER 4984 NEW BEST:: SOT 4941352 SOS 2741607 HAS SOPS 2741607 HAS SOUS 2194960 HAS SOUPS 2194960 WITH SCORE 2197701.607
AT ITER 4994 NEW BEST:: SOT 4940755 SOS 2740507 HAS SOPS 2740507 HAS SOUS 2193860 HAS SOUPS 2193860 WITH SCORE 2196600.507
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-00 (EU( (! potential( ( 3 ) <= (tk(P615)) )),potential( ( 2 ) <= (tk(P1093)) ) ))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-01 (AF(potential( ( 1 ) <= (tk(P3012)) )))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-02 (AF(potential( ( 3 ) <= (tk(P1159)) )))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-03 (EG( potential( (tk(P1415)) <= (tk(P2910)) )))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-04 (AG( ( ( ( potential( ( 1 ) <= (tk(P807)) ) & potential( (tk(P1831)) <= (tk(P714)) ) ) & ( potential( (tk(P1335)) <= (tk(P1818)) ) & potential( (tk(P2766)) <= (tk(P117)) ) ) ) | (EX( potential( (tk(P876)) <= (tk(P2402)) ))) )))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-05 (EF((AG( ( potential( (tk(P879)) <= (tk(P119)) ) & potential( (tk(P1632)) <= (tk(P1537)) ) )))))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-06 (! ( ( ( (! potential( ( 1 ) <= (tk(P1725)) )) & potential( ( 1 ) <= (tk(P1711)) ) ) & (AG( potential( (tk(P2614)) <= (tk(P373)) ))) ) | (EF(potential( ( 2 ) <= (tk(P474)) ))) ))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-07 (AG( ( ( ( potential( ( 3 ) <= (tk(P2882)) ) | potential( (tk(P103)) <= (tk(P2092)) ) ) | ( potential( ( 3 ) <= (tk(P555)) ) | potential( (tk(P2227)) <= (tk(P245)) ) ) ) & potential( (tk(P536)) <= (tk(P1240)) ) )))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-08 (! (! (EF(( potential( ( 2 ) <= (tk(P2515)) ) & potential( ( 3 ) <= (tk(P815)) ) )))))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-09 (! (EG( ( ( potential( (tk(P873)) <= (tk(P151)) ) | potential( ( 1 ) <= (tk(P2926)) ) ) | potential( (tk(P244)) <= (tk(P2957)) ) ))))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-10 (EG( (! ( potential( ( 3 ) <= (tk(P1496)) ) & (! potential( (tk(P341)) <= (tk(P960)) )) ))))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-11 ( (! (AG( (! potential( (tk(P2899)) <= (tk(P446)) ))))) & (EF((AG( potential( ( 1 ) <= (tk(P1500)) ))))) )
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-12 ( (AU( ( potential( ( 1 ) <= (tk(P2992)) ) | potential( (tk(P860)) <= (tk(P453)) ) ),( potential( ( 2 ) <= (tk(P1308)) ) | potential( ( 1 ) <= (tk(P1888)) ) ) )) | ( potential( ( 3 ) <= (tk(P952)) ) & potential( ( 2 ) <= (tk(P1317)) ) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-13 (EX( (AF(( potential( ( 3 ) <= (tk(P351)) ) & potential( (tk(P644)) <= (tk(P2586)) ) )))))
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-14 ( (EG( ( potential( (tk(P1255)) <= (tk(P2897)) ) & (! potential( ( 2 ) <= (tk(P1201)) )) ))) & ( (! potential( ( 3 ) <= (tk(P1937)) )) & (! (EX( potential( ( 1 ) <= (tk(P1699)) )))) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLCardinality-15 (AG( (EX( ( potential( ( 1 ) <= (tk(P747)) ) | potential( (tk(P1560)) <= (tk(P2435)) ) )))))

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="ShieldPPPs-PT-100A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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