Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502200016.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 RERS17pb113-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589653221995

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

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 4 NEW BEST:: SOT 12196899 SOS 7747544 HAS SOPS 6415876 HAS SOUS 3044115 HAS SOUPS 2943625 WITH SCORE 2951372.544
AT ITER 7 NEW BEST:: SOT 12199844 SOS 7757370 HAS SOPS 6424687 HAS SOUS 3040204 HAS SOUPS 2939639 WITH SCORE 2947396.37
AT ITER 11 NEW BEST:: SOT 12199692 SOS 7757687 HAS SOPS 6424681 HAS SOUS 3037828 HAS SOUPS 2937063 WITH SCORE 2944820.687
AT ITER 16 NEW BEST:: SOT 12199700 SOS 7757695 HAS SOPS 6424689 HAS SOUS 3037772 HAS SOUPS 2937007 WITH SCORE 2944764.695
AT ITER 19 NEW BEST:: SOT 12199366 SOS 7757476 HAS SOPS 6424255 HAS SOUS 3037093 HAS SOUPS 2936255 WITH SCORE 2944012.476
AT ITER 26 NEW BEST:: SOT 12197269 SOS 7749905 HAS SOPS 6423249 HAS SOUS 3031380 HAS SOUPS 2931023 WITH SCORE 2938772.905
AT ITER 29 NEW BEST:: SOT 12184711 SOS 7738608 HAS SOPS 6407724 HAS SOUS 3007382 HAS SOUPS 2907047 WITH SCORE 2914785.608
AT ITER 36 NEW BEST:: SOT 12184291 SOS 7741760 HAS SOPS 6411316 HAS SOUS 3004012 HAS SOUPS 2903677 WITH SCORE 2911418.76
AT ITER 39 NEW BEST:: SOT 12184526 SOS 7742368 HAS SOPS 6411492 HAS SOUS 2995678 HAS SOUPS 2895210 WITH SCORE 2902952.368
AT ITER 47 NEW BEST:: SOT 12181857 SOS 7739699 HAS SOPS 6408823 HAS SOUS 2992849 HAS SOUPS 2892381 WITH SCORE 2900120.699
AT ITER 49 NEW BEST:: SOT 12181818 SOS 7739700 HAS SOPS 6408699 HAS SOUS 2992700 HAS SOUPS 2892227 WITH SCORE 2899966.7
AT ITER 56 NEW BEST:: SOT 12182973 SOS 7741495 HAS SOPS 6412401 HAS SOUS 2990397 HAS SOUPS 2889924 WITH SCORE 2897665.495
AT ITER 66 NEW BEST:: SOT 12181411 SOS 7733919 HAS SOPS 6406423 HAS SOUS 2986962 HAS SOUPS 2886489 WITH SCORE 2894222.919
AT ITER 79 NEW BEST:: SOT 12172957 SOS 7723728 HAS SOPS 6397316 HAS SOUS 2968438 HAS SOUPS 2867965 WITH SCORE 2875688.728
AT ITER 91 NEW BEST:: SOT 12170356 SOS 7717507 HAS SOPS 6393721 HAS SOUS 2967981 HAS SOUPS 2867508 WITH SCORE 2875225.507
AT ITER 103 NEW BEST:: SOT 12168425 SOS 7713952 HAS SOPS 6391014 HAS SOUS 2965050 HAS SOUPS 2864609 WITH SCORE 2872322.952
AT ITER 111 NEW BEST:: SOT 12169328 SOS 7713913 HAS SOPS 6392809 HAS SOUS 2964964 HAS SOUPS 2864523 WITH SCORE 2872236.913
AT ITER 112 NEW BEST:: SOT 12168217 SOS 7712914 HAS SOPS 6391506 HAS SOUS 2962575 HAS SOUPS 2862134 WITH SCORE 2869846.914
AT ITER 113 NEW BEST:: SOT 12167716 SOS 7711840 HAS SOPS 6390963 HAS SOUS 2961597 HAS SOUPS 2861156 WITH SCORE 2868867.84
AT ITER 116 NEW BEST:: SOT 12167865 SOS 7710736 HAS SOPS 6390305 HAS SOUS 2961386 HAS SOUPS 2860945 WITH SCORE 2868655.736
AT ITER 129 NEW BEST:: SOT 12166801 SOS 7710023 HAS SOPS 6389054 HAS SOUS 2956255 HAS SOUPS 2855904 WITH SCORE 2863614.023
AT ITER 136 NEW BEST:: SOT 12166877 SOS 7715249 HAS SOPS 6396922 HAS SOUS 2953122 HAS SOUPS 2852771 WITH SCORE 2860486.249
AT ITER 140 NEW BEST:: SOT 12167013 SOS 7715412 HAS SOPS 6397046 HAS SOUS 2953147 HAS SOUPS 2852757 WITH SCORE 2860472.412
AT ITER 152 NEW BEST:: SOT 12166454 SOS 7714897 HAS SOPS 6396674 HAS SOUS 2951784 HAS SOUPS 2851404 WITH SCORE 2859118.897
AT ITER 156 NEW BEST:: SOT 12166397 SOS 7714769 HAS SOPS 6396548 HAS SOUS 2951382 HAS SOUPS 2851018 WITH SCORE 2858732.769
AT ITER 158 NEW BEST:: SOT 12166185 SOS 7714055 HAS SOPS 6395660 HAS SOUS 2951282 HAS SOUPS 2850918 WITH SCORE 2858632.055
AT ITER 179 NEW BEST:: SOT 12138409 SOS 7679091 HAS SOPS 6363851 HAS SOUS 2901298 HAS SOUPS 2801031 WITH SCORE 2808710.091
AT ITER 186 NEW BEST:: SOT 12138400 SOS 7678812 HAS SOPS 6363467 HAS SOUS 2901258 HAS SOUPS 2800991 WITH SCORE 2808669.812
AT ITER 213 NEW BEST:: SOT 12138466 SOS 7679214 HAS SOPS 6365605 HAS SOUS 2901045 HAS SOUPS 2800778 WITH SCORE 2808457.214
AT ITER 220 NEW BEST:: SOT 12140607 SOS 7687936 HAS SOPS 6372204 HAS SOUS 2899449 HAS SOUPS 2799182 WITH SCORE 2806869.936
AT ITER 221 NEW BEST:: SOT 12140555 SOS 7687848 HAS SOPS 6372130 HAS SOUS 2899258 HAS SOUPS 2798999 WITH SCORE 2806686.848
AT ITER 224 NEW BEST:: SOT 12137460 SOS 7677203 HAS SOPS 6364981 HAS SOUS 2896709 HAS SOUPS 2796450 WITH SCORE 2804127.203
AT ITER 249 NEW BEST:: SOT 12136320 SOS 7676483 HAS SOPS 6366053 HAS SOUS 2895920 HAS SOUPS 2796413 WITH SCORE 2804089.483
AT ITER 250 NEW BEST:: SOT 12141096 SOS 7681286 HAS SOPS 6372146 HAS SOUS 2895289 HAS SOUPS 2795819 WITH SCORE 2803500.286
AT ITER 258 NEW BEST:: SOT 12141107 SOS 7681389 HAS SOPS 6372203 HAS SOUS 2895246 HAS SOUPS 2795776 WITH SCORE 2803457.389
AT ITER 265 NEW BEST:: SOT 12141163 SOS 7681445 HAS SOPS 6372259 HAS SOUS 2895010 HAS SOUPS 2795540 WITH SCORE 2803221.445
AT ITER 271 NEW BEST:: SOT 12141991 SOS 7684846 HAS SOPS 6377455 HAS SOUS 2894053 HAS SOUPS 2794583 WITH SCORE 2802267.846
AT ITER 273 NEW BEST:: SOT 12136597 SOS 7676264 HAS SOPS 6368943 HAS SOUS 2884016 HAS SOUPS 2784639 WITH SCORE 2792315.264
AT ITER 286 NEW BEST:: SOT 12132458 SOS 7671483 HAS SOPS 6366933 HAS SOUS 2866152 HAS SOUPS 2767280 WITH SCORE 2774951.483
AT ITER 289 NEW BEST:: SOT 12135695 SOS 7684943 HAS SOPS 6377449 HAS SOUS 2865105 HAS SOUPS 2766233 WITH SCORE 2773917.943
AT ITER 292 NEW BEST:: SOT 12135230 SOS 7684439 HAS SOPS 6376780 HAS SOUS 2864107 HAS SOUPS 2765235 WITH SCORE 2772919.439
AT ITER 296 NEW BEST:: SOT 12127799 SOS 7669350 HAS SOPS 6375721 HAS SOUS 2861567 HAS SOUPS 2762967 WITH SCORE 2770636.35
AT ITER 300 NEW BEST:: SOT 12121345 SOS 7662860 HAS SOPS 6368691 HAS SOUS 2855892 HAS SOUPS 2757157 WITH SCORE 2764819.86
AT ITER 304 NEW BEST:: SOT 12116703 SOS 7658285 HAS SOPS 6364049 HAS SOUS 2852007 HAS SOUPS 2753221 WITH SCORE 2760879.285
AT ITER 306 NEW BEST:: SOT 12116307 SOS 7657873 HAS SOPS 6363397 HAS SOUS 2850843 HAS SOUPS 2752057 WITH SCORE 2759714.873
AT ITER 307 NEW BEST:: SOT 12110519 SOS 7651559 HAS SOPS 6360877 HAS SOUS 2837621 HAS SOUPS 2738835 WITH SCORE 2746486.559
AT ITER 308 NEW BEST:: SOT 12106554 SOS 7647696 HAS SOPS 6358942 HAS SOUS 2832452 HAS SOUPS 2733666 WITH SCORE 2741313.696
AT ITER 313 NEW BEST:: SOT 12109472 SOS 7656796 HAS SOPS 6380854 HAS SOUS 2830483 HAS SOUPS 2731928 WITH SCORE 2739584.796
AT ITER 337 NEW BEST:: SOT 12116688 SOS 7665867 HAS SOPS 6386755 HAS SOUS 2822386 HAS SOUPS 2723426 WITH SCORE 2731091.867
AT ITER 340 NEW BEST:: SOT 12114462 SOS 7663697 HAS SOPS 6384492 HAS SOUS 2820012 HAS SOUPS 2721052 WITH SCORE 2728715.697
AT ITER 346 NEW BEST:: SOT 12112604 SOS 7663263 HAS SOPS 6382605 HAS SOUS 2818077 HAS SOUPS 2719071 WITH SCORE 2726734.263
AT ITER 354 NEW BEST:: SOT 12114056 SOS 7667206 HAS SOPS 6386771 HAS SOUS 2811841 HAS SOUPS 2712829 WITH SCORE 2720496.206
AT ITER 361 NEW BEST:: SOT 12112907 SOS 7666274 HAS SOPS 6384214 HAS SOUS 2808411 HAS SOUPS 2709399 WITH SCORE 2717065.274
AT ITER 368 NEW BEST:: SOT 12112852 SOS 7666127 HAS SOPS 6382979 HAS SOUS 2808201 HAS SOUPS 2709189 WITH SCORE 2716855.127
AT ITER 374 NEW BEST:: SOT 12111644 SOS 7664919 HAS SOPS 6381083 HAS SOUS 2804685 HAS SOUPS 2705545 WITH SCORE 2713209.919
AT ITER 381 NEW BEST:: SOT 12110822 SOS 7663639 HAS SOPS 6379752 HAS SOUS 2803651 HAS SOUPS 2704511 WITH SCORE 2712174.639
AT ITER 388 NEW BEST:: SOT 12112230 SOS 7664656 HAS SOPS 6381507 HAS SOUS 2802429 HAS SOUPS 2704304 WITH SCORE 2711968.656
AT ITER 390 NEW BEST:: SOT 12111691 SOS 7662260 HAS SOPS 6377620 HAS SOUS 2793407 HAS SOUPS 2695709 WITH SCORE 2703371.26
AT ITER 394 NEW BEST:: SOT 12102920 SOS 7648200 HAS SOPS 6366023 HAS SOUS 2779508 HAS SOUPS 2683167 WITH SCORE 2690815.2
AT ITER 398 NEW BEST:: SOT 12103666 SOS 7654168 HAS SOPS 6371584 HAS SOUS 2778087 HAS SOUPS 2681746 WITH SCORE 2689400.168
AT ITER 408 NEW BEST:: SOT 12102732 SOS 7651548 HAS SOPS 6369199 HAS SOUS 2776593 HAS SOUPS 2680252 WITH SCORE 2687903.548
AT ITER 422 NEW BEST:: SOT 12102490 SOS 7650089 HAS SOPS 6368204 HAS SOUS 2776060 HAS SOUPS 2679719 WITH SCORE 2687369.089
AT ITER 442 NEW BEST:: SOT 12112079 SOS 7662602 HAS SOPS 6381045 HAS SOUS 2774772 HAS SOUPS 2678580 WITH SCORE 2686242.602
AT ITER 444 NEW BEST:: SOT 12111834 SOS 7662279 HAS SOPS 6381841 HAS SOUS 2774342 HAS SOUPS 2678363 WITH SCORE 2686025.279
AT ITER 451 NEW BEST:: SOT 12110602 SOS 7661073 HAS SOPS 6380609 HAS SOUS 2773136 HAS SOUPS 2677131 WITH SCORE 2684792.073
AT ITER 455 NEW BEST:: SOT 12112476 SOS 7667242 HAS SOPS 6385654 HAS SOUS 2768949 HAS SOUPS 2673017 WITH SCORE 2680684.242
AT ITER 459 NEW BEST:: SOT 12110699 SOS 7665526 HAS SOPS 6383315 HAS SOUS 2766344 HAS SOUPS 2670024 WITH SCORE 2677689.526
AT ITER 463 NEW BEST:: SOT 12111625 SOS 7674653 HAS SOPS 6389654 HAS SOUS 2765963 HAS SOUPS 2669643 WITH SCORE 2677317.653
AT ITER 468 NEW BEST:: SOT 12110051 SOS 7669189 HAS SOPS 6386974 HAS SOUS 2758791 HAS SOUPS 2663261 WITH SCORE 2670930.189
AT ITER 475 NEW BEST:: SOT 12107846 SOS 7665816 HAS SOPS 6387251 HAS SOUS 2753645 HAS SOUPS 2658115 WITH SCORE 2665780.816
AT ITER 484 NEW BEST:: SOT 12109763 SOS 7670303 HAS SOPS 6392985 HAS SOUS 2747911 HAS SOUPS 2652381 WITH SCORE 2660051.303
AT ITER 487 NEW BEST:: SOT 12110800 SOS 7673360 HAS SOPS 6395920 HAS SOUS 2747243 HAS SOUPS 2651713 WITH SCORE 2659386.36
AT ITER 506 NEW BEST:: SOT 12117309 SOS 7682393 HAS SOPS 6405027 HAS SOUS 2745393 HAS SOUPS 2650089 WITH SCORE 2657771.393
AT ITER 509 NEW BEST:: SOT 12117311 SOS 7682595 HAS SOPS 6405430 HAS SOUS 2745287 HAS SOUPS 2649983 WITH SCORE 2657665.595
AT ITER 516 NEW BEST:: SOT 12117780 SOS 7683934 HAS SOPS 6406329 HAS SOUS 2744632 HAS SOUPS 2649328 WITH SCORE 2657011.934
AT ITER 517 NEW BEST:: SOT 12123074 SOS 7700980 HAS SOPS 6422297 HAS SOUS 2744214 HAS SOUPS 2649016 WITH SCORE 2656716.98
AT ITER 525 NEW BEST:: SOT 12118977 SOS 7695144 HAS SOPS 6417048 HAS SOUS 2736688 HAS SOUPS 2641577 WITH SCORE 2649272.144
AT ITER 535 NEW BEST:: SOT 12122454 SOS 7707912 HAS SOPS 6428920 HAS SOUS 2732110 HAS SOUPS 2636999 WITH SCORE 2644706.912
AT ITER 547 NEW BEST:: SOT 12120979 SOS 7705766 HAS SOPS 6426958 HAS SOUS 2729219 HAS SOUPS 2634155 WITH SCORE 2641860.766
AT ITER 565 NEW BEST:: SOT 12120890 SOS 7705748 HAS SOPS 6426640 HAS SOUS 2728864 HAS SOUPS 2633800 WITH SCORE 2641505.748
AT ITER 584 NEW BEST:: SOT 12119811 SOS 7703108 HAS SOPS 6423729 HAS SOUS 2727479 HAS SOUPS 2632379 WITH SCORE 2640082.108
AT ITER 590 NEW BEST:: SOT 12116131 SOS 7699428 HAS SOPS 6419713 HAS SOUS 2723043 HAS SOUPS 2627607 WITH SCORE 2635306.428
AT ITER 598 NEW BEST:: SOT 12117764 SOS 7704724 HAS SOPS 6424690 HAS SOUS 2722899 HAS SOUPS 2627489 WITH SCORE 2635193.724
AT ITER 599 NEW BEST:: SOT 12116169 SOS 7700990 HAS SOPS 6422679 HAS SOUS 2720247 HAS SOUPS 2624837 WITH SCORE 2632537.99
AT ITER 603 NEW BEST:: SOT 12116422 SOS 7701806 HAS SOPS 6423651 HAS SOUS 2720700 HAS SOUPS 2624650 WITH SCORE 2632351.806
AT ITER 607 NEW BEST:: SOT 12116201 SOS 7701891 HAS SOPS 6423831 HAS SOUS 2719694 HAS SOUPS 2623644 WITH SCORE 2631345.891
AT ITER 636 NEW BEST:: SOT 12115142 SOS 7701452 HAS SOPS 6423242 HAS SOUS 2716330 HAS SOUPS 2620280 WITH SCORE 2627981.452
AT ITER 637 NEW BEST:: SOT 12115579 SOS 7704053 HAS SOPS 6425514 HAS SOUS 2713737 HAS SOUPS 2617630 WITH SCORE 2625334.053
AT ITER 649 NEW BEST:: SOT 12114793 SOS 7703021 HAS SOPS 6424093 HAS SOUS 2712141 HAS SOUPS 2615842 WITH SCORE 2623545.021
AT ITER 650 NEW BEST:: SOT 12115905 SOS 7708649 HAS SOPS 6426943 HAS SOUS 2709985 HAS SOUPS 2613686 WITH SCORE 2621394.649
AT ITER 662 NEW BEST:: SOT 12115807 SOS 7708758 HAS SOPS 6428668 HAS SOUS 2708673 HAS SOUPS 2612383 WITH SCORE 2620091.758
AT ITER 665 NEW BEST:: SOT 12116911 SOS 7715256 HAS SOPS 6432322 HAS SOUS 2706398 HAS SOUPS 2610108 WITH SCORE 2617823.256
AT ITER 668 NEW BEST:: SOT 12117458 SOS 7718845 HAS SOPS 6437396 HAS SOUS 2703845 HAS SOUPS 2607555 WITH SCORE 2615273.845
AT ITER 680 NEW BEST:: SOT 12117301 SOS 7718742 HAS SOPS 6437240 HAS SOUS 2703394 HAS SOUPS 2607104 WITH SCORE 2614822.742
AT ITER 682 NEW BEST:: SOT 12117624 SOS 7719065 HAS SOPS 6437563 HAS SOUS 2703273 HAS SOUPS 2606983 WITH SCORE 2614702.065
AT ITER 683 NEW BEST:: SOT 12120553 SOS 7728911 HAS SOPS 6444435 HAS SOUS 2696136 HAS SOUPS 2599846 WITH SCORE 2607574.911
AT ITER 685 NEW BEST:: SOT 12121853 SOS 7731679 HAS SOPS 6449594 HAS SOUS 2693230 HAS SOUPS 2596940 WITH SCORE 2604671.679
AT ITER 688 NEW BEST:: SOT 12121468 SOS 7731202 HAS SOPS 6449035 HAS SOUS 2692489 HAS SOUPS 2596199 WITH SCORE 2603930.202
AT ITER 690 NEW BEST:: SOT 12121105 SOS 7730860 HAS SOPS 6448469 HAS SOUS 2692252 HAS SOUPS 2595962 WITH SCORE 2603692.86
AT ITER 694 NEW BEST:: SOT 12124548 SOS 7739615 HAS SOPS 6457091 HAS SOUS 2687539 HAS SOUPS 2591249 WITH SCORE 2598988.615
AT ITER 705 NEW BEST:: SOT 12127261 SOS 7746328 HAS SOPS 6467078 HAS SOUS 2687311 HAS SOUPS 2591085 WITH SCORE 2598831.328
AT ITER 706 NEW BEST:: SOT 12127261 SOS 7746261 HAS SOPS 6467067 HAS SOUS 2687298 HAS SOUPS 2591072 WITH SCORE 2598818.261
AT ITER 729 NEW BEST:: SOT 12127017 SOS 7748381 HAS SOPS 6470705 HAS SOUS 2685407 HAS SOUPS 2589181 WITH SCORE 2596929.381
AT ITER 747 NEW BEST:: SOT 12126553 SOS 7747643 HAS SOPS 6471835 HAS SOUS 2681437 HAS SOUPS 2585211 WITH SCORE 2592958.643
AT ITER 772 NEW BEST:: SOT 12125808 SOS 7742954 HAS SOPS 6471624 HAS SOUS 2677196 HAS SOUPS 2581096 WITH SCORE 2588838.954
AT ITER 775 NEW BEST:: SOT 12117676 SOS 7735056 HAS SOPS 6461567 HAS SOUS 2669384 HAS SOUPS 2573121 WITH SCORE 2580856.056
AT ITER 777 NEW BEST:: SOT 12121058 SOS 7748995 HAS SOPS 6461965 HAS SOUS 2663075 HAS SOUPS 2566585 WITH SCORE 2574333.995
AT ITER 794 NEW BEST:: SOT 12119922 SOS 7747331 HAS SOPS 6460145 HAS SOUS 2660451 HAS SOUPS 2563975 WITH SCORE 2571722.331
AT ITER 810 NEW BEST:: SOT 12117574 SOS 7744983 HAS SOPS 6457797 HAS SOUS 2657991 HAS SOUPS 2561515 WITH SCORE 2569259.983
AT ITER 821 NEW BEST:: SOT 12118567 SOS 7747675 HAS SOPS 6461201 HAS SOUS 2657162 HAS SOUPS 2560686 WITH SCORE 2568433.675
AT ITER 836 NEW BEST:: SOT 12117492 SOS 7746012 HAS SOPS 6459819 HAS SOUS 2653788 HAS SOUPS 2557345 WITH SCORE 2565091.012
AT ITER 850 NEW BEST:: SOT 12117683 SOS 7746728 HAS SOPS 6460909 HAS SOUS 2653692 HAS SOUPS 2557249 WITH SCORE 2564995.728
AT ITER 853 NEW BEST:: SOT 12117144 SOS 7745372 HAS SOPS 6459786 HAS SOUS 2652742 HAS SOUPS 2556307 WITH SCORE 2564052.372
AT ITER 857 NEW BEST:: SOT 12117056 SOS 7745284 HAS SOPS 6459730 HAS SOUS 2652278 HAS SOUPS 2555851 WITH SCORE 2563596.284
AT ITER 871 NEW BEST:: SOT 12117211 SOS 7746862 HAS SOPS 6460929 HAS SOUS 2650923 HAS SOUPS 2554497 WITH SCORE 2562243.862
AT ITER 873 NEW BEST:: SOT 12115829 SOS 7745480 HAS SOPS 6459547 HAS SOUS 2649525 HAS SOUPS 2553099 WITH SCORE 2560844.48
AT ITER 878 NEW BEST:: SOT 12084685 SOS 7696726 HAS SOPS 6412533 HAS SOUS 2619109 HAS SOUPS 2522848 WITH SCORE 2530544.726
AT ITER 881 NEW BEST:: SOT 12083862 SOS 7695662 HAS SOPS 6411057 HAS SOUS 2617503 HAS SOUPS 2521242 WITH SCORE 2528937.662
AT ITER 882 NEW BEST:: SOT 12091424 SOS 7718128 HAS SOPS 6434560 HAS SOUS 2616378 HAS SOUPS 2520117 WITH SCORE 2527835.128
AT ITER 913 NEW BEST:: SOT 12092012 SOS 7718964 HAS SOPS 6436024 HAS SOUS 2615045 HAS SOUPS 2519086 WITH SCORE 2526804.964
AT ITER 918 NEW BEST:: SOT 12092035 SOS 7719203 HAS SOPS 6436505 HAS SOUS 2614726 HAS SOUPS 2518767 WITH SCORE 2526486.203
AT ITER 919 NEW BEST:: SOT 12087881 SOS 7712358 HAS SOPS 6429710 HAS SOUS 2608495 HAS SOUPS 2512419 WITH SCORE 2520131.358
AT ITER 922 NEW BEST:: SOT 12086780 SOS 7711368 HAS SOPS 6428188 HAS SOUS 2606232 HAS SOUPS 2510156 WITH SCORE 2517867.368
AT ITER 923 NEW BEST:: SOT 12084662 SOS 7706989 HAS SOPS 6424689 HAS SOUS 2599775 HAS SOUPS 2504056 WITH SCORE 2511762.989
AT ITER 926 NEW BEST:: SOT 12062400 SOS 7684195 HAS SOPS 6399698 HAS SOUS 2564059 HAS SOUPS 2468461 WITH SCORE 2476145.195
AT ITER 927 NEW BEST:: SOT 12052521 SOS 7674316 HAS SOPS 6389259 HAS SOUS 2551052 HAS SOUPS 2455454 WITH SCORE 2463128.316
AT ITER 931 NEW BEST:: SOT 12050498 SOS 7670169 HAS SOPS 6385460 HAS SOUS 2547935 HAS SOUPS 2452341 WITH SCORE 2460011.169
AT ITER 941 NEW BEST:: SOT 12044461 SOS 7661731 HAS SOPS 6376788 HAS SOUS 2545308 HAS SOUPS 2449714 WITH SCORE 2457375.731
AT ITER 944 NEW BEST:: SOT 12040804 SOS 7658074 HAS SOPS 6372683 HAS SOUS 2539587 HAS SOUPS 2443993 WITH SCORE 2451651.074
AT ITER 947 NEW BEST:: SOT 12040753 SOS 7658038 HAS SOPS 6372596 HAS SOUS 2539587 HAS SOUPS 2443990 WITH SCORE 2451648.038
AT ITER 961 NEW BEST:: SOT 12038846 SOS 7654812 HAS SOPS 6372858 HAS SOUS 2539465 HAS SOUPS 2443868 WITH SCORE 2451522.812
AT ITER 968 NEW BEST:: SOT 12046579 SOS 7666730 HAS SOPS 6384716 HAS SOUS 2532957 HAS SOUPS 2437647 WITH SCORE 2445313.73
AT ITER 996 NEW BEST:: SOT 12045971 SOS 7664960 HAS SOPS 6383028 HAS SOUS 2531362 HAS SOUPS 2436085 WITH SCORE 2443749.96
AT ITER 1004 NEW BEST:: SOT 12050515 SOS 7677267 HAS SOPS 6393967 HAS SOUS 2526772 HAS SOUPS 2431495 WITH SCORE 2439172.267
AT ITER 1007 NEW BEST:: SOT 12050526 SOS 7677227 HAS SOPS 6393897 HAS SOUS 2526785 HAS SOUPS 2431473 WITH SCORE 2439150.227
AT ITER 1034 NEW BEST:: SOT 12049916 SOS 7676617 HAS SOPS 6392775 HAS SOUS 2524579 HAS SOUPS 2429315 WITH SCORE 2436991.617
AT ITER 1036 NEW BEST:: SOT 12051840 SOS 7684447 HAS SOPS 6401081 HAS SOUS 2524184 HAS SOUPS 2428920 WITH SCORE 2436604.447
AT ITER 1038 NEW BEST:: SOT 12063980 SOS 7720485 HAS SOPS 6433483 HAS SOUS 2523244 HAS SOUPS 2427980 WITH SCORE 2435700.485
AT ITER 1074 NEW BEST:: SOT 12061704 SOS 7716125 HAS SOPS 6428750 HAS SOUS 2518973 HAS SOUPS 2423779 WITH SCORE 2431495.125
AT ITER 1078 NEW BEST:: SOT 12061752 SOS 7716470 HAS SOPS 6428902 HAS SOUS 2518843 HAS SOUPS 2423646 WITH SCORE 2431362.47
AT ITER 1083 NEW BEST:: SOT 12061843 SOS 7717047 HAS SOPS 6429550 HAS SOUS 2518742 HAS SOUPS 2423545 WITH SCORE 2431262.047
AT ITER 1085 NEW BEST:: SOT 12062840 SOS 7718044 HAS SOPS 6430371 HAS SOUS 2518379 HAS SOUPS 2423182 WITH SCORE 2430900.044
AT ITER 1096 NEW BEST:: SOT 12061986 SOS 7717190 HAS SOPS 6429229 HAS SOUS 2516525 HAS SOUPS 2421328 WITH SCORE 2429045.19
AT ITER 1102 NEW BEST:: SOT 12062932 SOS 7718990 HAS SOPS 6435229 HAS SOUS 2516190 HAS SOUPS 2420993 WITH SCORE 2428711.99
AT ITER 1111 NEW BEST:: SOT 12064258 SOS 7722342 HAS SOPS 6438972 HAS SOUS 2515212 HAS SOUPS 2420006 WITH SCORE 2427728.342
AT ITER 1112 NEW BEST:: SOT 12059259 SOS 7714687 HAS SOPS 6436815 HAS SOUS 2507102 HAS SOUPS 2411896 WITH SCORE 2419610.687
AT ITER 1124 NEW BEST:: SOT 12059044 SOS 7714472 HAS SOPS 6436520 HAS SOUS 2506627 HAS SOUPS 2411421 WITH SCORE 2419135.472
AT ITER 1130 NEW BEST:: SOT 12057678 SOS 7712178 HAS SOPS 6433954 HAS SOUS 2506077 HAS SOUPS 2410846 WITH SCORE 2418558.178
AT ITER 1160 NEW BEST:: SOT 12057373 SOS 7711881 HAS SOPS 6433457 HAS SOUS 2505778 HAS SOUPS 2410349 WITH SCORE 2418060.881
AT ITER 1174 NEW BEST:: SOT 12057340 SOS 7711674 HAS SOPS 6433241 HAS SOUS 2505424 HAS SOUPS 2409995 WITH SCORE 2417706.674
AT ITER 1175 NEW BEST:: SOT 12057571 SOS 7711905 HAS SOPS 6433376 HAS SOUS 2504983 HAS SOUPS 2409554 WITH SCORE 2417265.905
AT ITER 1177 NEW BEST:: SOT 12057811 SOS 7709831 HAS SOPS 6432387 HAS SOUS 2502994 HAS SOUPS 2407565 WITH SCORE 2415274.831
AT ITER 1180 NEW BEST:: SOT 12056978 SOS 7708998 HAS SOPS 6431314 HAS SOUS 2501441 HAS SOUPS 2406012 WITH SCORE 2413720.998
AT ITER 1181 NEW BEST:: SOT 12055666 SOS 7707543 HAS SOPS 6429907 HAS SOUS 2497742 HAS SOUPS 2402335 WITH SCORE 2410042.543
AT ITER 1203 NEW BEST:: SOT 12049770 SOS 7697898 HAS SOPS 6418364 HAS SOUS 2489642 HAS SOUPS 2394235 WITH SCORE 2401932.898
AT ITER 1222 NEW BEST:: SOT 12048266 SOS 7689030 HAS SOPS 6415419 HAS SOUS 2487777 HAS SOUPS 2392370 WITH SCORE 2400059.03
AT ITER 1236 NEW BEST:: SOT 12048256 SOS 7689110 HAS SOPS 6415475 HAS SOUS 2487743 HAS SOUPS 2392336 WITH SCORE 2400025.11
AT ITER 1245 NEW BEST:: SOT 12047908 SOS 7687586 HAS SOPS 6414377 HAS SOUS 2487707 HAS SOUPS 2392300 WITH SCORE 2399987.586
AT ITER 1246 NEW BEST:: SOT 12046524 SOS 7677450 HAS SOPS 6400844 HAS SOUS 2487398 HAS SOUPS 2391874 WITH SCORE 2399551.45
AT ITER 1247 NEW BEST:: SOT 12045741 SOS 7676164 HAS SOPS 6399691 HAS SOUS 2485757 HAS SOUPS 2390233 WITH SCORE 2397909.164
AT ITER 1249 NEW BEST:: SOT 12040192 SOS 7664781 HAS SOPS 6386719 HAS SOUS 2475581 HAS SOUPS 2380168 WITH SCORE 2387832.781
AT ITER 1257 NEW BEST:: SOT 12039461 SOS 7664050 HAS SOPS 6385716 HAS SOUS 2473970 HAS SOUPS 2378557 WITH SCORE 2386221.05
AT ITER 1265 NEW BEST:: SOT 12039461 SOS 7664562 HAS SOPS 6386228 HAS SOUS 2473052 HAS SOUPS 2377639 WITH SCORE 2385303.562
AT ITER 1274 NEW BEST:: SOT 12039461 SOS 7664184 HAS SOPS 6385598 HAS SOUS 2471120 HAS SOUPS 2376064 WITH SCORE 2383728.184
AT ITER 1280 NEW BEST:: SOT 12040764 SOS 7667489 HAS SOPS 6386005 HAS SOUS 2468463 HAS SOUPS 2373407 WITH SCORE 2381074.489
AT ITER 1287 NEW BEST:: SOT 12040763 SOS 7667488 HAS SOPS 6386004 HAS SOUS 2468266 HAS SOUPS 2373210 WITH SCORE 2380877.488
AT ITER 1292 NEW BEST:: SOT 12049798 SOS 7680066 HAS SOPS 6398147 HAS SOUS 2460909 HAS SOUPS 2365758 WITH SCORE 2373438.066
AT ITER 1295 NEW BEST:: SOT 12045919 SOS 7674645 HAS SOPS 6391939 HAS SOUS 2453710 HAS SOUPS 2358617 WITH SCORE 2366291.645
AT ITER 1296 NEW BEST:: SOT 12045854 SOS 7674573 HAS SOPS 6391822 HAS SOUS 2453446 HAS SOUPS 2358353 WITH SCORE 2366027.573
AT ITER 1304 NEW BEST:: SOT 12045869 SOS 7674382 HAS SOPS 6391398 HAS SOUS 2452135 HAS SOUPS 2357246 WITH SCORE 2364920.382
AT ITER 1305 NEW BEST:: SOT 12044427 SOS 7674099 HAS SOPS 6390110 HAS SOUS 2447093 HAS SOUPS 2352204 WITH SCORE 2359878.099
AT ITER 1306 NEW BEST:: SOT 12044634 SOS 7675279 HAS SOPS 6390975 HAS SOUS 2446453 HAS SOUPS 2351550 WITH SCORE 2359225.279
AT ITER 1313 NEW BEST:: SOT 12044900 SOS 7676254 HAS SOPS 6392282 HAS SOUS 2446435 HAS SOUPS 2351532 WITH SCORE 2359208.254
AT ITER 1321 NEW BEST:: SOT 12063296 SOS 7719734 HAS SOPS 6436380 HAS SOUS 2439337 HAS SOUPS 2344722 WITH SCORE 2352441.734
AT ITER 1331 NEW BEST:: SOT 12063752 SOS 7722131 HAS SOPS 6438329 HAS SOUS 2439054 HAS SOUPS 2344439 WITH SCORE 2352161.131
AT ITER 1342 NEW BEST:: SOT 12063924 SOS 7722335 HAS SOPS 6438602 HAS SOUS 2437811 HAS SOUPS 2343196 WITH SCORE 2350918.335
AT ITER 1343 NEW BEST:: SOT 12063738 SOS 7721907 HAS SOPS 6438354 HAS SOUS 2437597 HAS SOUPS 2342982 WITH SCORE 2350703.907
AT ITER 1344 NEW BEST:: SOT 12063766 SOS 7722642 HAS SOPS 6438909 HAS SOUS 2437086 HAS SOUPS 2342501 WITH SCORE 2350223.642
AT ITER 1353 NEW BEST:: SOT 12065394 SOS 7725976 HAS SOPS 6441958 HAS SOUS 2436715 HAS SOUPS 2342130 WITH SCORE 2349855.976
AT ITER 1359 NEW BEST:: SOT 12063154 SOS 7720101 HAS SOPS 6437081 HAS SOUS 2431475 HAS SOUPS 2337161 WITH SCORE 2344881.101
AT ITER 1362 NEW BEST:: SOT 12057654 SOS 7712337 HAS SOPS 6429993 HAS SOUS 2426807 HAS SOUPS 2332575 WITH SCORE 2340287.337
AT ITER 1368 NEW BEST:: SOT 12058806 SOS 7720324 HAS SOPS 6434959 HAS SOUS 2423861 HAS SOUPS 2329629 WITH SCORE 2337349.324
AT ITER 1371 NEW BEST:: SOT 12058037 SOS 7719555 HAS SOPS 6434158 HAS SOUS 2423092 HAS SOUPS 2328828 WITH SCORE 2336547.555
AT ITER 1381 NEW BEST:: SOT 12060032 SOS 7724339 HAS SOPS 6437343 HAS SOUS 2420634 HAS SOUPS 2326459 WITH SCORE 2334183.339
AT ITER 1389 NEW BEST:: SOT 12059730 SOS 7724101 HAS SOPS 6435808 HAS SOUS 2419075 HAS SOUPS 2324900 WITH SCORE 2332624.101
AT ITER 1403 NEW BEST:: SOT 12055236 SOS 7716276 HAS SOPS 6425682 HAS SOUS 2411323 HAS SOUPS 2317148 WITH SCORE 2324864.276
AT ITER 1419 NEW BEST:: SOT 12052670 SOS 7713866 HAS SOPS 6423842 HAS SOUS 2410937 HAS SOUPS 2316762 WITH SCORE 2324475.866
AT ITER 1421 NEW BEST:: SOT 12052657 SOS 7712748 HAS SOPS 6422948 HAS SOUS 2410500 HAS SOUPS 2316325 WITH SCORE 2324037.748
AT ITER 1425 NEW BEST:: SOT 12053635 SOS 7717203 HAS SOPS 6427417 HAS SOUS 2406105 HAS SOUPS 2311930 WITH SCORE 2319647.203
AT ITER 1435 NEW BEST:: SOT 12057709 SOS 7727033 HAS SOPS 6436907 HAS SOUS 2398001 HAS SOUPS 2303826 WITH SCORE 2311553.033
AT ITER 1439 NEW BEST:: SOT 12051040 SOS 7720346 HAS SOPS 6429644 HAS SOUS 2390572 HAS SOUPS 2296397 WITH SCORE 2304117.346
AT ITER 1447 NEW BEST:: SOT 12051055 SOS 7720362 HAS SOPS 6429660 HAS SOUS 2390439 HAS SOUPS 2296264 WITH SCORE 2303984.362
AT ITER 1461 NEW BEST:: SOT 12050293 SOS 7719408 HAS SOPS 6428081 HAS SOUS 2388361 HAS SOUPS 2294186 WITH SCORE 2301905.408
AT ITER 1462 NEW BEST:: SOT 12050443 SOS 7719299 HAS SOPS 6427972 HAS SOUS 2388146 HAS SOUPS 2293971 WITH SCORE 2301690.299
AT ITER 1468 NEW BEST:: SOT 12050352 SOS 7718655 HAS SOPS 6427498 HAS SOUS 2387408 HAS SOUPS 2293233 WITH SCORE 2300951.655
AT ITER 1479 NEW BEST:: SOT 12048795 SOS 7715719 HAS SOPS 6422633 HAS SOUS 2385977 HAS SOUPS 2291867 WITH SCORE 2299582.719
AT ITER 1486 NEW BEST:: SOT 12046866 SOS 7714309 HAS SOPS 6420190 HAS SOUS 2381630 HAS SOUPS 2287478 WITH SCORE 2295192.309
AT ITER 1498 NEW BEST:: SOT 12046049 SOS 7713366 HAS SOPS 6419295 HAS SOUS 2380207 HAS SOUPS 2286061 WITH SCORE 2293774.366
AT ITER 1501 NEW BEST:: SOT 12060590 SOS 7736906 HAS SOPS 6452554 HAS SOUS 2379296 HAS SOUPS 2285230 WITH SCORE 2292966.906
AT ITER 1503 NEW BEST:: SOT 12061132 SOS 7738586 HAS SOPS 6450185 HAS SOUS 2365288 HAS SOUPS 2271222 WITH SCORE 2278960.586
AT ITER 1520 NEW BEST:: SOT 12056454 SOS 7732688 HAS SOPS 6445345 HAS SOUS 2364553 HAS SOUPS 2270615 WITH SCORE 2278347.688
AT ITER 1525 NEW BEST:: SOT 12056009 SOS 7733140 HAS SOPS 6445524 HAS SOUS 2364099 HAS SOUPS 2270161 WITH SCORE 2277894.14
AT ITER 1533 NEW BEST:: SOT 12057245 SOS 7737270 HAS SOPS 6451375 HAS SOUS 2360438 HAS SOUPS 2266500 WITH SCORE 2274237.27
AT ITER 1535 NEW BEST:: SOT 12056218 SOS 7732907 HAS SOPS 6446105 HAS SOUS 2358516 HAS SOUPS 2264578 WITH SCORE 2272310.907
AT ITER 1554 NEW BEST:: SOT 12054645 SOS 7728978 HAS SOPS 6444373 HAS SOUS 2356809 HAS SOUPS 2262935 WITH SCORE 2270663.978
AT ITER 1560 NEW BEST:: SOT 12050328 SOS 7724661 HAS SOPS 6440008 HAS SOUS 2351100 HAS SOUPS 2257178 WITH SCORE 2264902.661
AT ITER 1566 NEW BEST:: SOT 12050330 SOS 7724670 HAS SOPS 6440034 HAS SOUS 2351099 HAS SOUPS 2257177 WITH SCORE 2264901.67
AT ITER 1585 NEW BEST:: SOT 12052527 SOS 7730579 HAS SOPS 6445343 HAS SOUS 2350919 HAS SOUPS 2256997 WITH SCORE 2264727.579
AT ITER 1590 NEW BEST:: SOT 12052779 SOS 7731707 HAS SOPS 6447624 HAS SOUS 2349817 HAS SOUPS 2255895 WITH SCORE 2263626.707
AT ITER 1620 NEW BEST:: SOT 12057555 SOS 7746180 HAS SOPS 6464297 HAS SOUS 2346247 HAS SOUPS 2252480 WITH SCORE 2260226.18
AT ITER 1629 NEW BEST:: SOT 12057537 SOS 7746107 HAS SOPS 6464234 HAS SOUS 2346244 HAS SOUPS 2252477 WITH SCORE 2260223.107
AT ITER 1640 NEW BEST:: SOT 12057302 SOS 7745095 HAS SOPS 6462371 HAS SOUS 2345769 HAS SOUPS 2252002 WITH SCORE 2259747.095
AT ITER 1641 NEW BEST:: SOT 12056529 SOS 7744309 HAS SOPS 6461569 HAS SOUS 2344332 HAS SOUPS 2250565 WITH SCORE 2258309.309
AT ITER 1654 NEW BEST:: SOT 12056681 SOS 7745524 HAS SOPS 6461785 HAS SOUS 2342510 HAS SOUPS 2248689 WITH SCORE 2256434.524
AT ITER 1656 NEW BEST:: SOT 12055997 SOS 7747681 HAS SOPS 6460790 HAS SOUS 2336259 HAS SOUPS 2242435 WITH SCORE 2250182.681
AT ITER 1688 NEW BEST:: SOT 12057722 SOS 7751864 HAS SOPS 6464883 HAS SOUS 2335741 HAS SOUPS 2241917 WITH SCORE 2249668.864
AT ITER 1694 NEW BEST:: SOT 12051577 SOS 7745702 HAS SOPS 6457746 HAS SOUS 2330500 HAS SOUPS 2235701 WITH SCORE 2243446.702
AT ITER 1707 NEW BEST:: SOT 12050261 SOS 7744276 HAS SOPS 6455538 HAS SOUS 2325237 HAS SOUPS 2230497 WITH SCORE 2238241.276
AT ITER 1717 NEW BEST:: SOT 12049762 SOS 7744112 HAS SOPS 6454280 HAS SOUS 2323924 HAS SOUPS 2228856 WITH SCORE 2236600.112
AT ITER 1718 NEW BEST:: SOT 12050096 SOS 7744335 HAS SOPS 6454526 HAS SOUS 2323288 HAS SOUPS 2228220 WITH SCORE 2235964.335
AT ITER 1725 NEW BEST:: SOT 12048071 SOS 7731547 HAS SOPS 6449257 HAS SOUS 2316639 HAS SOUPS 2221811 WITH SCORE 2229542.547
AT ITER 1734 NEW BEST:: SOT 12045980 SOS 7729698 HAS SOPS 6447267 HAS SOUS 2311161 HAS SOUPS 2216278 WITH SCORE 2224007.698
AT ITER 1745 NEW BEST:: SOT 12045389 SOS 7731978 HAS SOPS 6447808 HAS SOUS 2310336 HAS SOUPS 2215453 WITH SCORE 2223184.978
AT ITER 1757 NEW BEST:: SOT 12044395 SOS 7730391 HAS SOPS 6446809 HAS SOUS 2309670 HAS SOUPS 2214787 WITH SCORE 2222517.391
AT ITER 1765 NEW BEST:: SOT 12041218 SOS 7722941 HAS SOPS 6441848 HAS SOUS 2307604 HAS SOUPS 2212762 WITH SCORE 2220484.941
AT ITER 1790 NEW BEST:: SOT 12041019 SOS 7723200 HAS SOPS 6441983 HAS SOUS 2307207 HAS SOUPS 2212365 WITH SCORE 2220088.2
AT ITER 1800 NEW BEST:: SOT 12036585 SOS 7715198 HAS SOPS 6422365 HAS SOUS 2306504 HAS SOUPS 2211396 WITH SCORE 2219111.198
AT ITER 1803 NEW BEST:: SOT 12036579 SOS 7715272 HAS SOPS 6422253 HAS SOUS 2306474 HAS SOUPS 2211366 WITH SCORE 2219081.272
AT ITER 1807 NEW BEST:: SOT 12036540 SOS 7715005 HAS SOPS 6421968 HAS SOUS 2306345 HAS SOUPS 2211237 WITH SCORE 2218952.005
AT ITER 1817 NEW BEST:: SOT 12029120 SOS 7698549 HAS SOPS 6405556 HAS SOUS 2297316 HAS SOUPS 2202317 WITH SCORE 2210015.549
AT ITER 1820 NEW BEST:: SOT 12019190 SOS 7679525 HAS SOPS 6390462 HAS SOUS 2285401 HAS SOUPS 2190512 WITH SCORE 2198191.525
AT ITER 1825 NEW BEST:: SOT 12018301 SOS 7678636 HAS SOPS 6389573 HAS SOUS 2284456 HAS SOUPS 2189567 WITH SCORE 2197245.636
AT ITER 1845 NEW BEST:: SOT 12016848 SOS 7677183 HAS SOPS 6388120 HAS SOUS 2283915 HAS SOUPS 2189026 WITH SCORE 2196703.183
AT ITER 1846 NEW BEST:: SOT 12016321 SOS 7671126 HAS SOPS 6383077 HAS SOUS 2281640 HAS SOUPS 2186751 WITH SCORE 2194422.126
AT ITER 1850 NEW BEST:: SOT 12015068 SOS 7669830 HAS SOPS 6381711 HAS SOUS 2279556 HAS SOUPS 2184547 WITH SCORE 2192216.83
AT ITER 1865 NEW BEST:: SOT 12013750 SOS 7669952 HAS SOPS 6383529 HAS SOUS 2276158 HAS SOUPS 2182072 WITH SCORE 2189741.952
AT ITER 1869 NEW BEST:: SOT 12014053 SOS 7671043 HAS SOPS 6384827 HAS SOUS 2276103 HAS SOUPS 2182017 WITH SCORE 2189688.043
AT ITER 1872 NEW BEST:: SOT 12013948 SOS 7670959 HAS SOPS 6384641 HAS SOUS 2275809 HAS SOUPS 2181723 WITH SCORE 2189393.959
AT ITER 1876 NEW BEST:: SOT 12012180 SOS 7669034 HAS SOPS 6382064 HAS SOUS 2272975 HAS SOUPS 2178867 WITH SCORE 2186536.034
AT ITER 1878 NEW BEST:: SOT 12010507 SOS 7665790 HAS SOPS 6378514 HAS SOUS 2269337 HAS SOUPS 2175229 WITH SCORE 2182894.79
AT ITER 1885 NEW BEST:: SOT 12008425 SOS 7662023 HAS SOPS 6375452 HAS SOUS 2266970 HAS SOUPS 2172904 WITH SCORE 2180566.023
AT ITER 1908 NEW BEST:: SOT 12010181 SOS 7670961 HAS SOPS 6385693 HAS SOUS 2266935 HAS SOUPS 2172869 WITH SCORE 2180539.961
AT ITER 1913 NEW BEST:: SOT 12011838 SOS 7673443 HAS SOPS 6388344 HAS SOUS 2262481 HAS SOUPS 2168415 WITH SCORE 2176088.443
AT ITER 1926 NEW BEST:: SOT 12011876 SOS 7673994 HAS SOPS 6388800 HAS SOUS 2256562 HAS SOUPS 2162535 WITH SCORE 2170208.994
AT ITER 1927 NEW BEST:: SOT 12006844 SOS 7669042 HAS SOPS 6383832 HAS SOUS 2255230 HAS SOUPS 2161203 WITH SCORE 2168872.042
AT ITER 1933 NEW BEST:: SOT 12007119 SOS 7670598 HAS SOPS 6386408 HAS SOUS 2253854 HAS SOUPS 2159827 WITH SCORE 2167497.598
AT ITER 1937 NEW BEST:: SOT 12007252 SOS 7671311 HAS SOPS 6386901 HAS SOUS 2253079 HAS SOUPS 2159052 WITH SCORE 2166723.311
AT ITER 1952 NEW BEST:: SOT 12006140 SOS 7669693 HAS SOPS 6385283 HAS SOUS 2251358 HAS SOUPS 2157331 WITH SCORE 2165000.693
AT ITER 1961 NEW BEST:: SOT 12006089 SOS 7669642 HAS SOPS 6385392 HAS SOUS 2251127 HAS SOUPS 2157160 WITH SCORE 2164829.642
AT ITER 1981 NEW BEST:: SOT 12008822 SOS 7675920 HAS SOPS 6388953 HAS SOUS 2247173 HAS SOUPS 2153189 WITH SCORE 2160864.92
AT ITER 1985 NEW BEST:: SOT 12008780 SOS 7675875 HAS SOPS 6388932 HAS SOUS 2247137 HAS SOUPS 2153153 WITH SCORE 2160828.875
AT ITER 1992 NEW BEST:: SOT 12008366 SOS 7674411 HAS SOPS 6390222 HAS SOUS 2242303 HAS SOUPS 2148319 WITH SCORE 2155993.411
AT ITER 2019 NEW BEST:: SOT 12007476 SOS 7673100 HAS SOPS 6388806 HAS SOUS 2240250 HAS SOUPS 2146266 WITH SCORE 2153939.1
AT ITER 2026 NEW BEST:: SOT 12007458 SOS 7673082 HAS SOPS 6388788 HAS SOUS 2240208 HAS SOUPS 2146224 WITH SCORE 2153897.082
AT ITER 2032 NEW BEST:: SOT 12005717 SOS 7671759 HAS SOPS 6386279 HAS SOUS 2235605 HAS SOUPS 2141621 WITH SCORE 2149292.759
AT ITER 2039 NEW BEST:: SOT 12005532 SOS 7671158 HAS SOPS 6385403 HAS SOUS 2234635 HAS SOUPS 2140651 WITH SCORE 2148322.158
AT ITER 2054 NEW BEST:: SOT 12006084 SOS 7673074 HAS SOPS 6387124 HAS SOUS 2232851 HAS SOUPS 2138885 WITH SCORE 2146558.074
AT ITER 2073 NEW BEST:: SOT 12006078 SOS 7673066 HAS SOPS 6387116 HAS SOUS 2232829 HAS SOUPS 2138863 WITH SCORE 2146536.066
AT ITER 2076 NEW BEST:: SOT 12005913 SOS 7672399 HAS SOPS 6385097 HAS SOUS 2230544 HAS SOUPS 2136578 WITH SCORE 2144250.399
AT ITER 2087 NEW BEST:: SOT 12005917 SOS 7674610 HAS SOPS 6387287 HAS SOUS 2229911 HAS SOUPS 2135945 WITH SCORE 2143619.61
AT ITER 2090 NEW BEST:: SOT 12004110 SOS 7667127 HAS SOPS 6381729 HAS SOUS 2227372 HAS SOUPS 2134305 WITH SCORE 2141972.127
AT ITER 2108 NEW BEST:: SOT 11999226 SOS 7661562 HAS SOPS 6378036 HAS SOUS 2221630 HAS SOUPS 2128631 WITH SCORE 2136292.562
AT ITER 2119 NEW BEST:: SOT 11999491 SOS 7661062 HAS SOPS 6377798 HAS SOUS 2220901 HAS SOUPS 2127942 WITH SCORE 2135603.062
AT ITER 2132 NEW BEST:: SOT 11999511 SOS 7662112 HAS SOPS 6379404 HAS SOUS 2218245 HAS SOUPS 2125247 WITH SCORE 2132909.112
AT ITER 2136 NEW BEST:: SOT 12001946 SOS 7670080 HAS SOPS 6385996 HAS SOUS 2209801 HAS SOUPS 2116803 WITH SCORE 2124473.08
AT ITER 2157 NEW BEST:: SOT 12001958 SOS 7670022 HAS SOPS 6385978 HAS SOUS 2209749 HAS SOUPS 2116769 WITH SCORE 2124439.022
AT ITER 2160 NEW BEST:: SOT 12003083 SOS 7673782 HAS SOPS 6389093 HAS SOUS 2209460 HAS SOUPS 2116480 WITH SCORE 2124153.782
AT ITER 2165 NEW BEST:: SOT 12000990 SOS 7666199 HAS SOPS 6382459 HAS SOUS 2207789 HAS SOUPS 2114879 WITH SCORE 2122545.199
AT ITER 2178 NEW BEST:: SOT 11999224 SOS 7664358 HAS SOPS 6380816 HAS SOUS 2204183 HAS SOUPS 2111273 WITH SCORE 2118937.358
AT ITER 2193 NEW BEST:: SOT 11993600 SOS 7657527 HAS SOPS 6373191 HAS SOUS 2193332 HAS SOUPS 2100465 WITH SCORE 2108122.527
AT ITER 2198 NEW BEST:: SOT 11993066 SOS 7657007 HAS SOPS 6372175 HAS SOUS 2190830 HAS SOUPS 2097963 WITH SCORE 2105620.007
AT ITER 2200 NEW BEST:: SOT 11993206 SOS 7657497 HAS SOPS 6372394 HAS SOUS 2190828 HAS SOUPS 2097961 WITH SCORE 2105618.497
AT ITER 2223 NEW BEST:: SOT 11990630 SOS 7654892 HAS SOPS 6368381 HAS SOUS 2180396 HAS SOUPS 2087803 WITH SCORE 2095457.892
AT ITER 2226 NEW BEST:: SOT 11985978 SOS 7647200 HAS SOPS 6360796 HAS SOUS 2172860 HAS SOUPS 2080267 WITH SCORE 2087914.2
AT ITER 2236 NEW BEST:: SOT 11985096 SOS 7646206 HAS SOPS 6359606 HAS SOUS 2171320 HAS SOUPS 2078734 WITH SCORE 2086380.206
AT ITER 2239 NEW BEST:: SOT 11985172 SOS 7647315 HAS SOPS 6362249 HAS SOUS 2169451 HAS SOUPS 2076865 WITH SCORE 2084512.315
AT ITER 2242 NEW BEST:: SOT 11984946 SOS 7647028 HAS SOPS 6362527 HAS SOUS 2167593 HAS SOUPS 2075068 WITH SCORE 2082715.028
AT ITER 2266 NEW BEST:: SOT 11985719 SOS 7648892 HAS SOPS 6363935 HAS SOUS 2167410 HAS SOUPS 2074829 WITH SCORE 2082477.892
AT ITER 2267 NEW BEST:: SOT 11984933 SOS 7648106 HAS SOPS 6363149 HAS SOUS 2166588 HAS SOUPS 2074007 WITH SCORE 2081655.106
AT ITER 2269 NEW BEST:: SOT 11984887 SOS 7648100 HAS SOPS 6363167 HAS SOUS 2166534 HAS SOUPS 2073953 WITH SCORE 2081601.1
AT ITER 2273 NEW BEST:: SOT 11982630 SOS 7645725 HAS SOPS 6359576 HAS SOUS 2160940 HAS SOUPS 2068359 WITH SCORE 2076004.725
AT ITER 2277 NEW BEST:: SOT 11982640 SOS 7645899 HAS SOPS 6359819 HAS SOUS 2160695 HAS SOUPS 2068114 WITH SCORE 2075759.899
AT ITER 2282 NEW BEST:: SOT 11982898 SOS 7646737 HAS SOPS 6362010 HAS SOUS 2159617 HAS SOUPS 2067036 WITH SCORE 2074682.737
AT ITER 2299 NEW BEST:: SOT 11983954 SOS 7647793 HAS SOPS 6362698 HAS SOUS 2159273 HAS SOUPS 2066644 WITH SCORE 2074291.793
AT ITER 2324 NEW BEST:: SOT 11983852 SOS 7647769 HAS SOPS 6362614 HAS SOUS 2158985 HAS SOUPS 2066350 WITH SCORE 2073997.769
AT ITER 2332 NEW BEST:: SOT 11984214 SOS 7647869 HAS SOPS 6363679 HAS SOUS 2158568 HAS SOUPS 2065995 WITH SCORE 2073642.869
AT ITER 2337 NEW BEST:: SOT 11984074 SOS 7647729 HAS SOPS 6363539 HAS SOUS 2158484 HAS SOUPS 2065911 WITH SCORE 2073558.729
AT ITER 2340 NEW BEST:: SOT 11983504 SOS 7647445 HAS SOPS 6364133 HAS SOUS 2155165 HAS SOUPS 2062592 WITH SCORE 2070239.445
AT ITER 2347 NEW BEST:: SOT 11982876 SOS 7646481 HAS SOPS 6363050 HAS SOUS 2154484 HAS SOUPS 2061928 WITH SCORE 2069574.481
AT ITER 2394 NEW BEST:: SOT 11982686 SOS 7646251 HAS SOPS 6362830 HAS SOUS 2154425 HAS SOUPS 2061859 WITH SCORE 2069505.251
AT ITER 2396 NEW BEST:: SOT 11982847 SOS 7646404 HAS SOPS 6362799 HAS SOUS 2153858 HAS SOUPS 2061292 WITH SCORE 2068938.404
AT ITER 2416 NEW BEST:: SOT 11982817 SOS 7649601 HAS SOPS 6365996 HAS SOUS 2153243 HAS SOUPS 2060677 WITH SCORE 2068326.601
AT ITER 2417 NEW BEST:: SOT 11978450 SOS 7644610 HAS SOPS 6361299 HAS SOUS 2153082 HAS SOUPS 2060516 WITH SCORE 2068160.61
AT ITER 2420 NEW BEST:: SOT 11978400 SOS 7644560 HAS SOPS 6361249 HAS SOUS 2152828 HAS SOUPS 2060262 WITH SCORE 2067906.56
AT ITER 2429 NEW BEST:: SOT 11978504 SOS 7644811 HAS SOPS 6361500 HAS SOUS 2152665 HAS SOUPS 2060103 WITH SCORE 2067747.811
AT ITER 2440 NEW BEST:: SOT 11980758 SOS 7640666 HAS SOPS 6361962 HAS SOUS 2148271 HAS SOUPS 2056458 WITH SCORE 2064098.666
AT ITER 2443 NEW BEST:: SOT 11979234 SOS 7639480 HAS SOPS 6361835 HAS SOUS 2145620 HAS SOUPS 2054034 WITH SCORE 2061673.48
AT ITER 2457 NEW BEST:: SOT 11979104 SOS 7639350 HAS SOPS 6361705 HAS SOUS 2145346 HAS SOUPS 2053760 WITH SCORE 2061399.35
AT ITER 2464 NEW BEST:: SOT 11977017 SOS 7636642 HAS SOPS 6359192 HAS SOUS 2142821 HAS SOUPS 2051281 WITH SCORE 2058917.642
AT ITER 2477 NEW BEST:: SOT 11977531 SOS 7640817 HAS SOPS 6360146 HAS SOUS 2142043 HAS SOUPS 2050503 WITH SCORE 2058143.817
AT ITER 2492 NEW BEST:: SOT 11977152 SOS 7639943 HAS SOPS 6359220 HAS SOUS 2141520 HAS SOUPS 2049981 WITH SCORE 2057620.943
AT ITER 2506 NEW BEST:: SOT 11977299 SOS 7641019 HAS SOPS 6360779 HAS SOUS 2141383 HAS SOUPS 2049844 WITH SCORE 2057485.019
AT ITER 2508 NEW BEST:: SOT 11977327 SOS 7641341 HAS SOPS 6361221 HAS SOUS 2141349 HAS SOUPS 2049810 WITH SCORE 2057451.341
AT ITER 2522 NEW BEST:: SOT 11977031 SOS 7640954 HAS SOPS 6360807 HAS SOUS 2140489 HAS SOUPS 2048955 WITH SCORE 2056595.954
AT ITER 2525 NEW BEST:: SOT 11972124 SOS 7634217 HAS SOPS 6352021 HAS SOUS 2129234 HAS SOUPS 2037746 WITH SCORE 2045380.217
AT ITER 2527 NEW BEST:: SOT 11969826 SOS 7631919 HAS SOPS 6349435 HAS SOUS 2126936 HAS SOUPS 2035160 WITH SCORE 2042791.919
AT ITER 2533 NEW BEST:: SOT 11974962 SOS 7637852 HAS SOPS 6356549 HAS SOUS 2124809 HAS SOUPS 2032774 WITH SCORE 2040411.852
AT ITER 2561 NEW BEST:: SOT 11974376 SOS 7637238 HAS SOPS 6355337 HAS SOUS 2122461 HAS SOUPS 2030439 WITH SCORE 2038076.238
AT ITER 2576 NEW BEST:: SOT 11982399 SOS 7646757 HAS SOPS 6361552 HAS SOUS 2125074 HAS SOUPS 2030180 WITH SCORE 2037826.757
AT ITER 2580 NEW BEST:: SOT 11982414 SOS 7646624 HAS SOPS 6361401 HAS SOUS 2124669 HAS SOUPS 2029715 WITH SCORE 2037361.624
AT ITER 2581 NEW BEST:: SOT 11982301 SOS 7646378 HAS SOPS 6361432 HAS SOUS 2124514 HAS SOUPS 2029585 WITH SCORE 2037231.378
AT ITER 2590 NEW BEST:: SOT 11982186 SOS 7645978 HAS SOPS 6361008 HAS SOUS 2124399 HAS SOUPS 2029470 WITH SCORE 2037115.978
AT ITER 2606 NEW BEST:: SOT 11983526 SOS 7647318 HAS SOPS 6361820 HAS SOUS 2123787 HAS SOUPS 2028842 WITH SCORE 2036489.318
AT ITER 2613 NEW BEST:: SOT 11984654 SOS 7648443 HAS SOPS 6363309 HAS SOUS 2123302 HAS SOUPS 2028357 WITH SCORE 2036005.443
AT ITER 2642 NEW BEST:: SOT 11975830 SOS 7639127 HAS SOPS 6350449 HAS SOUS 2115939 HAS SOUPS 2020969 WITH SCORE 2028608.127
AT ITER 2644 NEW BEST:: SOT 11974970 SOS 7638589 HAS SOPS 6347955 HAS SOUS 2112143 HAS SOUPS 2017143 WITH SCORE 2024781.589
AT ITER 2652 NEW BEST:: SOT 11974218 SOS 7637290 HAS SOPS 6346144 HAS SOUS 2111154 HAS SOUPS 2016154 WITH SCORE 2023791.29
AT ITER 2665 NEW BEST:: SOT 11974950 SOS 7638022 HAS SOPS 6346732 HAS SOUS 2110138 HAS SOUPS 2015138 WITH SCORE 2022776.022
AT ITER 2679 NEW BEST:: SOT 11975213 SOS 7638452 HAS SOPS 6346324 HAS SOUS 2109595 HAS SOUPS 2014595 WITH SCORE 2022233.452
AT ITER 2682 NEW BEST:: SOT 11973989 SOS 7637214 HAS SOPS 6344670 HAS SOUS 2107515 HAS SOUPS 2012515 WITH SCORE 2020152.214
AT ITER 2685 NEW BEST:: SOT 11972387 SOS 7632058 HAS SOPS 6337764 HAS SOUS 2107092 HAS SOUPS 2012092 WITH SCORE 2019724.058
AT ITER 2691 NEW BEST:: SOT 11972282 SOS 7628181 HAS SOPS 6333796 HAS SOUS 2106774 HAS SOUPS 2011774 WITH SCORE 2019402.181
AT ITER 2696 NEW BEST:: SOT 11973779 SOS 7633585 HAS SOPS 6340380 HAS SOUS 2099440 HAS SOUPS 2004440 WITH SCORE 2012073.585
AT ITER 2703 NEW BEST:: SOT 11971025 SOS 7630813 HAS SOPS 6337756 HAS SOUS 2097054 HAS SOUPS 2002174 WITH SCORE 2009804.813
AT ITER 2723 NEW BEST:: SOT 11967503 SOS 7623469 HAS SOPS 6331358 HAS SOUS 2095228 HAS SOUPS 2000383 WITH SCORE 2008006.469
AT ITER 2726 NEW BEST:: SOT 11966754 SOS 7622079 HAS SOPS 6329994 HAS SOUS 2094825 HAS SOUPS 1999991 WITH SCORE 2007613.079
AT ITER 2741 NEW BEST:: SOT 11964883 SOS 7618732 HAS SOPS 6329473 HAS SOUS 2094675 HAS SOUPS 1999918 WITH SCORE 2007536.732
AT ITER 2744 NEW BEST:: SOT 11964483 SOS 7618332 HAS SOPS 6328881 HAS SOUS 2093795 HAS SOUPS 1999038 WITH SCORE 2006656.332
AT ITER 2747 NEW BEST:: SOT 11964092 SOS 7619580 HAS SOPS 6328074 HAS SOUS 2089639 HAS SOUPS 1994882 WITH SCORE 2002501.58
AT ITER 2754 NEW BEST:: SOT 11964394 SOS 7617780 HAS SOPS 6326999 HAS SOUS 2088843 HAS SOUPS 1994199 WITH SCORE 2001816.78
AT ITER 2784 NEW BEST:: SOT 11963184 SOS 7616570 HAS SOPS 6325789 HAS SOUS 2087377 HAS SOUPS 1992733 WITH SCORE 2000349.57
AT ITER 2792 NEW BEST:: SOT 11963123 SOS 7616448 HAS SOPS 6325554 HAS SOUS 2086963 HAS SOUPS 1992319 WITH SCORE 1999935.448
AT ITER 2833 NEW BEST:: SOT 11964499 SOS 7614221 HAS SOPS 6322836 HAS SOUS 2084212 HAS SOUPS 1989568 WITH SCORE 1997182.221
AT ITER 2856 NEW BEST:: SOT 11962776 SOS 7612483 HAS SOPS 6320746 HAS SOUS 2081585 HAS SOUPS 1986941 WITH SCORE 1994553.483
AT ITER 2877 NEW BEST:: SOT 11962214 SOS 7612841 HAS SOPS 6318430 HAS SOUS 2079920 HAS SOUPS 1985276 WITH SCORE 1992888.841
AT ITER 2878 NEW BEST:: SOT 11970279 SOS 7619919 HAS SOPS 6323985 HAS SOUS 2074168 HAS SOUPS 1979616 WITH SCORE 1987235.919
AT ITER 2895 NEW BEST:: SOT 11969959 SOS 7619599 HAS SOPS 6323665 HAS SOUS 2073848 HAS SOUPS 1979296 WITH SCORE 1986915.599
AT ITER 2906 NEW BEST:: SOT 11968494 SOS 7615521 HAS SOPS 6319870 HAS SOUS 2073453 HAS SOUPS 1978887 WITH SCORE 1986502.521
AT ITER 2912 NEW BEST:: SOT 11969854 SOS 7622644 HAS SOPS 6323811 HAS SOUS 2072088 HAS SOUPS 1977512 WITH SCORE 1985134.644
AT ITER 2918 NEW BEST:: SOT 11969956 SOS 7623086 HAS SOPS 6323759 HAS SOUS 2070888 HAS SOUPS 1976286 WITH SCORE 1983909.086
AT ITER 2944 NEW BEST:: SOT 11970124 SOS 7623045 HAS SOPS 6323354 HAS SOUS 2070699 HAS SOUPS 1976097 WITH SCORE 1983720.045
AT ITER 2968 NEW BEST:: SOT 11967428 SOS 7620357 HAS SOPS 6320343 HAS SOUS 2067784 HAS SOUPS 1973182 WITH SCORE 1980802.357
AT ITER 2991 NEW BEST:: SOT 11966534 SOS 7619463 HAS SOPS 6319129 HAS SOUS 2065610 HAS SOUPS 1970688 WITH SCORE 1978307.463
AT ITER 3008 NEW BEST:: SOT 11966703 SOS 7618823 HAS SOPS 6317471 HAS SOUS 2064926 HAS SOUPS 1970004 WITH SCORE 1977622.823
AT ITER 3019 NEW BEST:: SOT 11966904 SOS 7619556 HAS SOPS 6318096 HAS SOUS 2064910 HAS SOUPS 1969988 WITH SCORE 1977607.556
AT ITER 3030 NEW BEST:: SOT 11965389 SOS 7614552 HAS SOPS 6313046 HAS SOUS 2064034 HAS SOUPS 1969112 WITH SCORE 1976726.552
AT ITER 3064 NEW BEST:: SOT 11964694 SOS 7613758 HAS SOPS 6312162 HAS SOUS 2063430 HAS SOUPS 1968499 WITH SCORE 1976112.758
AT ITER 3068 NEW BEST:: SOT 11963114 SOS 7614127 HAS SOPS 6311706 HAS SOUS 2062047 HAS SOUPS 1967116 WITH SCORE 1974730.127
AT ITER 3073 NEW BEST:: SOT 11958879 SOS 7605317 HAS SOPS 6303589 HAS SOUS 2059564 HAS SOUPS 1964633 WITH SCORE 1972238.317
AT ITER 3077 NEW BEST:: SOT 11959090 SOS 7605428 HAS SOPS 6303598 HAS SOUS 2057510 HAS SOUPS 1962579 WITH SCORE 1970184.428
AT ITER 3081 NEW BEST:: SOT 11957586 SOS 7603194 HAS SOPS 6301681 HAS SOUS 2053246 HAS SOUPS 1958315 WITH SCORE 1965918.194
AT ITER 3082 NEW BEST:: SOT 11959834 SOS 7607746 HAS SOPS 6315124 HAS SOUS 2049832 HAS SOUPS 1955056 WITH SCORE 1962663.746
AT ITER 3089 NEW BEST:: SOT 11959815 SOS 7607545 HAS SOPS 6315401 HAS SOUS 2049825 HAS SOUPS 1955049 WITH SCORE 1962656.545
AT ITER 3103 NEW BEST:: SOT 11959777 SOS 7607543 HAS SOPS 6315261 HAS SOUS 2049056 HAS SOUPS 1954359 WITH SCORE 1961966.543
AT ITER 3110 NEW BEST:: SOT 11959697 SOS 7607471 HAS SOPS 6315149 HAS SOUS 2048880 HAS SOUPS 1954183 WITH SCORE 1961790.471
AT ITER 3113 NEW BEST:: SOT 11958547 SOS 7606321 HAS SOPS 6313759 HAS SOUS 2046386 HAS SOUPS 1951689 WITH SCORE 1959295.321
AT ITER 3114 NEW BEST:: SOT 11958669 SOS 7606683 HAS SOPS 6313822 HAS SOUS 2046237 HAS SOUPS 1951540 WITH SCORE 1959146.683
AT ITER 3116 NEW BEST:: SOT 11950388 SOS 7587174 HAS SOPS 6296596 HAS SOUS 2030807 HAS SOUPS 1936234 WITH SCORE 1943821.174
AT ITER 3117 NEW BEST:: SOT 11953203 SOS 7591564 HAS SOPS 6300763 HAS SOUS 2024858 HAS SOUPS 1930285 WITH SCORE 1937876.564
AT ITER 3120 NEW BEST:: SOT 11950920 SOS 7585838 HAS SOPS 6294795 HAS SOUS 2018381 HAS SOUPS 1923857 WITH SCORE 1931442.838
AT ITER 3126 NEW BEST:: SOT 11950738 SOS 7585592 HAS SOPS 6294549 HAS SOUS 2018175 HAS SOUPS 1923651 WITH SCORE 1931236.592
AT ITER 3137 NEW BEST:: SOT 11949806 SOS 7584660 HAS SOPS 6293233 HAS SOUS 2015735 HAS SOUPS 1921211 WITH SCORE 1928795.66
AT ITER 3139 NEW BEST:: SOT 11947524 SOS 7582455 HAS SOPS 6284110 HAS SOUS 2014032 HAS SOUPS 1919508 WITH SCORE 1927090.455
AT ITER 3143 NEW BEST:: SOT 11947011 SOS 7581510 HAS SOPS 6283310 HAS SOUS 2013035 HAS SOUPS 1918526 WITH SCORE 1926107.51
AT ITER 3148 NEW BEST:: SOT 11947109 SOS 7582033 HAS SOPS 6283701 HAS SOUS 2012930 HAS SOUPS 1918421 WITH SCORE 1926003.033
AT ITER 3171 NEW BEST:: SOT 11946211 SOS 7580978 HAS SOPS 6282125 HAS SOUS 2011289 HAS SOUPS 1916767 WITH SCORE 1924347.978
AT ITER 3188 NEW BEST:: SOT 11948663 SOS 7585248 HAS SOPS 6286015 HAS SOUS 2010204 HAS SOUPS 1915545 WITH SCORE 1923130.248
AT ITER 3194 NEW BEST:: SOT 11948646 SOS 7585387 HAS SOPS 6285786 HAS SOUS 2009592 HAS SOUPS 1914933 WITH SCORE 1922518.387
AT ITER 3253 NEW BEST:: SOT 11949797 SOS 7586528 HAS SOPS 6286940 HAS SOUS 2008951 HAS SOUPS 1914804 WITH SCORE 1922390.528
AT ITER 3278 NEW BEST:: SOT 11949823 SOS 7586586 HAS SOPS 6287011 HAS SOUS 2008896 HAS SOUPS 1914750 WITH SCORE 1922336.586
AT ITER 3285 NEW BEST:: SOT 11949407 SOS 7585762 HAS SOPS 6286435 HAS SOUS 2008360 HAS SOUPS 1914214 WITH SCORE 1921799.762
AT ITER 3289 NEW BEST:: SOT 11949433 SOS 7584299 HAS SOPS 6286979 HAS SOUS 2007868 HAS SOUPS 1913722 WITH SCORE 1921306.299
AT ITER 3311 NEW BEST:: SOT 11948716 SOS 7583520 HAS SOPS 6286245 HAS SOUS 2007550 HAS SOUPS 1913380 WITH SCORE 1920963.52
AT ITER 3313 NEW BEST:: SOT 11948716 SOS 7583445 HAS SOPS 6286152 HAS SOUS 2007548 HAS SOUPS 1913378 WITH SCORE 1920961.445
AT ITER 3332 NEW BEST:: SOT 11947022 SOS 7586048 HAS SOPS 6288816 HAS SOUS 1995733 HAS SOUPS 1901563 WITH SCORE 1909149.048
AT ITER 3337 NEW BEST:: SOT 11947122 SOS 7586148 HAS SOPS 6288916 HAS SOUS 1995725 HAS SOUPS 1901555 WITH SCORE 1909141.148
AT ITER 3343 NEW BEST:: SOT 11945614 SOS 7584607 HAS SOPS 6287167 HAS SOUS 1993483 HAS SOUPS 1899313 WITH SCORE 1906897.607
AT ITER 3345 NEW BEST:: SOT 11944692 SOS 7584190 HAS SOPS 6286308 HAS SOUS 1990891 HAS SOUPS 1896721 WITH SCORE 1904305.19
AT ITER 3348 NEW BEST:: SOT 11944668 SOS 7584138 HAS SOPS 6286960 HAS SOUS 1990654 HAS SOUPS 1896504 WITH SCORE 1904088.138
AT ITER 3368 NEW BEST:: SOT 11945112 SOS 7587272 HAS SOPS 6290150 HAS SOUS 1989336 HAS SOUPS 1895186 WITH SCORE 1902773.272
AT ITER 3372 NEW BEST:: SOT 11942441 SOS 7584730 HAS SOPS 6287599 HAS SOUS 1986509 HAS SOUPS 1892349 WITH SCORE 1899933.73
AT ITER 3376 NEW BEST:: SOT 11937110 SOS 7575050 HAS SOPS 6278352 HAS SOUS 1974452 HAS SOUPS 1880503 WITH SCORE 1888078.05
AT ITER 3381 NEW BEST:: SOT 11919344 SOS 7533090 HAS SOPS 6243039 HAS SOUS 1959271 HAS SOUPS 1865588 WITH SCORE 1873121.09
AT ITER 3388 NEW BEST:: SOT 11918380 SOS 7532111 HAS SOPS 6242326 HAS SOUS 1958947 HAS SOUPS 1865324 WITH SCORE 1872856.111
AT ITER 3395 NEW BEST:: SOT 11916665 SOS 7530875 HAS SOPS 6241488 HAS SOUS 1953183 HAS SOUPS 1859560 WITH SCORE 1867090.875
AT ITER 3400 NEW BEST:: SOT 11914404 SOS 7528895 HAS SOPS 6238795 HAS SOUS 1948773 HAS SOUPS 1855079 WITH SCORE 1862607.895
AT ITER 3401 NEW BEST:: SOT 11913034 SOS 7526951 HAS SOPS 6236509 HAS SOUS 1947216 HAS SOUPS 1853522 WITH SCORE 1861048.951
AT ITER 3415 NEW BEST:: SOT 11907099 SOS 7521010 HAS SOPS 6230987 HAS SOUS 1942830 HAS SOUPS 1849555 WITH SCORE 1857076.01
AT ITER 3416 NEW BEST:: SOT 11907099 SOS 7518162 HAS SOPS 6226759 HAS SOUS 1940320 HAS SOUPS 1847092 WITH SCORE 1854610.162
AT ITER 3420 NEW BEST:: SOT 11906987 SOS 7518074 HAS SOPS 6226611 HAS SOUS 1939976 HAS SOUPS 1846752 WITH SCORE 1854270.074
AT ITER 3421 NEW BEST:: SOT 11906932 SOS 7518002 HAS SOPS 6226515 HAS SOUS 1939916 HAS SOUPS 1846692 WITH SCORE 1854210.002
AT ITER 3426 NEW BEST:: SOT 11906798 SOS 7517865 HAS SOPS 6226356 HAS SOUS 1939773 HAS SOUPS 1846549 WITH SCORE 1854066.865
AT ITER 3445 NEW BEST:: SOT 11904549 SOS 7514407 HAS SOPS 6223164 HAS SOUS 1937671 HAS SOUPS 1844567 WITH SCORE 1852081.407
AT ITER 3452 NEW BEST:: SOT 11903514 SOS 7511756 HAS SOPS 6220282 HAS SOUS 1934169 HAS SOUPS 1841369 WITH SCORE 1848880.756
AT ITER 3454 NEW BEST:: SOT 11902971 SOS 7506659 HAS SOPS 6217380 HAS SOUS 1932360 HAS SOUPS 1839605 WITH SCORE 1847111.659
AT ITER 3496 NEW BEST:: SOT 11902875 SOS 7506563 HAS SOPS 6217284 HAS SOUS 1932264 HAS SOUPS 1839509 WITH SCORE 1847015.563
AT ITER 3506 NEW BEST:: SOT 11903099 SOS 7506759 HAS SOPS 6217592 HAS SOUS 1931646 HAS SOUPS 1838905 WITH SCORE 1846411.759
AT ITER 3523 NEW BEST:: SOT 11903996 SOS 7507741 HAS SOPS 6218253 HAS SOUS 1929950 HAS SOUPS 1837246 WITH SCORE 1844753.741
AT ITER 3541 NEW BEST:: SOT 11902778 SOS 7506249 HAS SOPS 6218613 HAS SOUS 1926421 HAS SOUPS 1833717 WITH SCORE 1841223.249
AT ITER 3551 NEW BEST:: SOT 11902196 SOS 7505705 HAS SOPS 6217423 HAS SOUS 1926161 HAS SOUPS 1833437 WITH SCORE 1840942.705
AT ITER 3557 NEW BEST:: SOT 11902254 SOS 7505866 HAS SOPS 6217735 HAS SOUS 1926081 HAS SOUPS 1833357 WITH SCORE 1840862.866
AT ITER 3561 NEW BEST:: SOT 11902187 SOS 7503574 HAS SOPS 6216158 HAS SOUS 1925942 HAS SOUPS 1833218 WITH SCORE 1840721.574
AT ITER 3570 NEW BEST:: SOT 11905370 SOS 7508798 HAS SOPS 6219931 HAS SOUS 1925904 HAS SOUPS 1833173 WITH SCORE 1840681.798
AT ITER 3574 NEW BEST:: SOT 11898558 SOS 7491067 HAS SOPS 6205143 HAS SOUS 1911379 HAS SOUPS 1818658 WITH SCORE 1826149.067
AT ITER 3594 NEW BEST:: SOT 11898521 SOS 7489977 HAS SOPS 6203753 HAS SOUS 1911343 HAS SOUPS 1818622 WITH SCORE 1826111.977
AT ITER 3614 NEW BEST:: SOT 11896691 SOS 7488442 HAS SOPS 6201089 HAS SOUS 1907914 HAS SOUPS 1815193 WITH SCORE 1822681.442
AT ITER 3620 NEW BEST:: SOT 11896334 SOS 7488431 HAS SOPS 6200768 HAS SOUS 1907721 HAS SOUPS 1815000 WITH SCORE 1822488.431
AT ITER 3642 NEW BEST:: SOT 11896065 SOS 7488161 HAS SOPS 6200489 HAS SOUS 1907264 HAS SOUPS 1814543 WITH SCORE 1822031.161
AT ITER 3688 NEW BEST:: SOT 11896038 SOS 7487723 HAS SOPS 6199768 HAS SOUS 1906776 HAS SOUPS 1814055 WITH SCORE 1821542.723
AT ITER 3698 NEW BEST:: SOT 11895875 SOS 7487270 HAS SOPS 6199172 HAS SOUS 1906065 HAS SOUPS 1813344 WITH SCORE 1820831.27
AT ITER 3702 NEW BEST:: SOT 11894792 SOS 7485364 HAS SOPS 6197354 HAS SOUS 1904631 HAS SOUPS 1811910 WITH SCORE 1819395.364
AT ITER 3703 NEW BEST:: SOT 11894915 SOS 7484383 HAS SOPS 6198307 HAS SOUS 1904600 HAS SOUPS 1811879 WITH SCORE 1819363.383
AT ITER 3714 NEW BEST:: SOT 11894898 SOS 7484445 HAS SOPS 6198354 HAS SOUS 1904566 HAS SOUPS 1811845 WITH SCORE 1819329.445
AT ITER 3742 NEW BEST:: SOT 11894529 SOS 7485332 HAS SOPS 6197354 HAS SOUS 1904542 HAS SOUPS 1811821 WITH SCORE 1819306.332
AT ITER 3751 NEW BEST:: SOT 11894135 SOS 7495586 HAS SOPS 6203951 HAS SOUS 1897645 HAS SOUPS 1804924 WITH SCORE 1812419.586
AT ITER 3754 NEW BEST:: SOT 11893387 SOS 7494243 HAS SOPS 6202757 HAS SOUS 1892192 HAS SOUPS 1799471 WITH SCORE 1806965.243
AT ITER 3762 NEW BEST:: SOT 11893950 SOS 7495705 HAS SOPS 6203798 HAS SOUS 1891592 HAS SOUPS 1798871 WITH SCORE 1806366.705
AT ITER 3770 NEW BEST:: SOT 11893647 SOS 7495402 HAS SOPS 6203319 HAS SOUS 1890757 HAS SOUPS 1798036 WITH SCORE 1805531.402
AT ITER 3781 NEW BEST:: SOT 11893394 SOS 7494809 HAS SOPS 6203654 HAS SOUS 1888886 HAS SOUPS 1797349 WITH SCORE 1804843.809
AT ITER 3783 NEW BEST:: SOT 11893448 SOS 7494863 HAS SOPS 6203708 HAS SOUS 1888884 HAS SOUPS 1797347 WITH SCORE 1804841.863
AT ITER 3810 NEW BEST:: SOT 11891727 SOS 7492701 HAS SOPS 6201112 HAS SOUS 1888435 HAS SOUPS 1796869 WITH SCORE 1804361.701
AT ITER 3824 NEW BEST:: SOT 11890555 SOS 7491471 HAS SOPS 6199865 HAS SOUS 1887527 HAS SOUPS 1795763 WITH SCORE 1803254.471
AT ITER 3831 NEW BEST:: SOT 11890268 SOS 7490719 HAS SOPS 6199224 HAS SOUS 1886868 HAS SOUPS 1795104 WITH SCORE 1802594.719
AT ITER 3840 NEW BEST:: SOT 11889026 SOS 7489241 HAS SOPS 6197553 HAS SOUS 1884485 HAS SOUPS 1792721 WITH SCORE 1800210.241
AT ITER 3848 NEW BEST:: SOT 11891160 SOS 7492371 HAS SOPS 6200787 HAS SOUS 1881932 HAS SOUPS 1790235 WITH SCORE 1797727.371
AT ITER 3866 NEW BEST:: SOT 11886295 SOS 7488068 HAS SOPS 6194108 HAS SOUS 1870685 HAS SOUPS 1778988 WITH SCORE 1786476.068
AT ITER 3883 NEW BEST:: SOT 11886267 SOS 7488196 HAS SOPS 6194221 HAS SOUS 1870636 HAS SOUPS 1778936 WITH SCORE 1786424.196
AT ITER 3893 NEW BEST:: SOT 11886140 SOS 7491231 HAS SOPS 6196062 HAS SOUS 1866907 HAS SOUPS 1775207 WITH SCORE 1782698.231
AT ITER 3898 NEW BEST:: SOT 11886041 SOS 7489541 HAS SOPS 6194446 HAS SOUS 1866602 HAS SOUPS 1775078 WITH SCORE 1782567.541
AT ITER 3911 NEW BEST:: SOT 11884922 SOS 7487639 HAS SOPS 6192484 HAS SOUS 1864708 HAS SOUPS 1773198 WITH SCORE 1780685.639
AT ITER 3930 NEW BEST:: SOT 11888401 SOS 7492247 HAS SOPS 6198335 HAS SOUS 1863697 HAS SOUPS 1772187 WITH SCORE 1779679.247
AT ITER 3945 NEW BEST:: SOT 11887187 SOS 7490301 HAS SOPS 6198359 HAS SOUS 1860863 HAS SOUPS 1770978 WITH SCORE 1778468.301
AT ITER 3950 NEW BEST:: SOT 11887348 SOS 7490250 HAS SOPS 6198172 HAS SOUS 1860327 HAS SOUPS 1770455 WITH SCORE 1777945.25
AT ITER 3951 NEW BEST:: SOT 11887088 SOS 7489990 HAS SOPS 6197912 HAS SOUS 1860287 HAS SOUPS 1770415 WITH SCORE 1777904.99
AT ITER 3957 NEW BEST:: SOT 11888175 SOS 7490792 HAS SOPS 6199415 HAS SOUS 1856768 HAS SOUPS 1767743 WITH SCORE 1775233.792
AT ITER 3962 NEW BEST:: SOT 11887985 SOS 7490215 HAS SOPS 6198815 HAS SOUS 1856303 HAS SOUPS 1767278 WITH SCORE 1774768.215
AT ITER 3992 NEW BEST:: SOT 11886335 SOS 7490349 HAS SOPS 6197774 HAS SOUS 1849981 HAS SOUPS 1760861 WITH SCORE 1768351.349
AT ITER 3998 NEW BEST:: SOT 11887091 SOS 7492973 HAS SOPS 6198765 HAS SOUS 1848984 HAS SOUPS 1759864 WITH SCORE 1767356.973
AT ITER 4020 NEW BEST:: SOT 11887890 SOS 7497277 HAS SOPS 6201435 HAS SOUS 1847013 HAS SOUPS 1757893 WITH SCORE 1765390.277
AT ITER 4022 NEW BEST:: SOT 11891303 SOS 7503714 HAS SOPS 6208605 HAS SOUS 1843335 HAS SOUPS 1754594 WITH SCORE 1762097.714
AT ITER 4039 NEW BEST:: SOT 11897168 SOS 7513046 HAS SOPS 6208542 HAS SOUS 1836109 HAS SOUPS 1746785 WITH SCORE 1754298.046
AT ITER 4043 NEW BEST:: SOT 11896126 SOS 7512046 HAS SOPS 6207417 HAS SOUS 1834745 HAS SOUPS 1745399 WITH SCORE 1752911.046
AT ITER 4054 NEW BEST:: SOT 11897733 SOS 7513237 HAS SOPS 6207135 HAS SOUS 1833375 HAS SOUPS 1743795 WITH SCORE 1751308.237
AT ITER 4077 NEW BEST:: SOT 11897570 SOS 7512994 HAS SOPS 6206268 HAS SOUS 1831932 HAS SOUPS 1742352 WITH SCORE 1749864.994
AT ITER 4079 NEW BEST:: SOT 11897364 SOS 7514359 HAS SOPS 6207326 HAS SOUS 1831078 HAS SOUPS 1741498 WITH SCORE 1749012.359
AT ITER 4090 NEW BEST:: SOT 11893491 SOS 7505871 HAS SOPS 6195850 HAS SOUS 1825600 HAS SOUPS 1735511 WITH SCORE 1743016.871
AT ITER 4096 NEW BEST:: SOT 11894108 SOS 7506213 HAS SOPS 6196192 HAS SOUS 1824131 HAS SOUPS 1734063 WITH SCORE 1741569.213
AT ITER 4165 NEW BEST:: SOT 11892390 SOS 7504495 HAS SOPS 6194618 HAS SOUS 1823385 HAS SOUPS 1733317 WITH SCORE 1740821.495
AT ITER 4167 NEW BEST:: SOT 11892993 SOS 7505908 HAS SOPS 6197721 HAS SOUS 1822937 HAS SOUPS 1732869 WITH SCORE 1740374.908
AT ITER 4171 NEW BEST:: SOT 11892784 SOS 7505954 HAS SOPS 6197653 HAS SOUS 1822932 HAS SOUPS 1732853 WITH SCORE 1740358.954
AT ITER 4222 NEW BEST:: SOT 11892882 SOS 7506108 HAS SOPS 6197832 HAS SOUS 1822893 HAS SOUPS 1732814 WITH SCORE 1740320.108
AT ITER 4227 NEW BEST:: SOT 11891686 SOS 7503678 HAS SOPS 6194880 HAS SOUS 1822551 HAS SOUPS 1732472 WITH SCORE 1739975.678
AT ITER 4263 NEW BEST:: SOT 11891147 SOS 7503133 HAS SOPS 6196026 HAS SOUS 1819449 HAS SOUPS 1729284 WITH SCORE 1736787.133
AT ITER 4266 NEW BEST:: SOT 11890413 SOS 7503159 HAS SOPS 6194062 HAS SOUS 1817906 HAS SOUPS 1727741 WITH SCORE 1735244.159
AT ITER 4297 NEW BEST:: SOT 11890563 SOS 7504023 HAS SOPS 6194524 HAS SOUS 1817741 HAS SOUPS 1727565 WITH SCORE 1735069.023
AT ITER 4300 NEW BEST:: SOT 11890603 SOS 7502367 HAS SOPS 6191817 HAS SOUS 1815196 HAS SOUPS 1725064 WITH SCORE 1732566.367
AT ITER 4305 NEW BEST:: SOT 11891760 SOS 7503906 HAS SOPS 6192964 HAS SOUS 1814166 HAS SOUPS 1724130 WITH SCORE 1731633.906
AT ITER 4328 NEW BEST:: SOT 11892546 SOS 7504810 HAS SOPS 6191908 HAS SOUS 1810974 HAS SOUPS 1720938 WITH SCORE 1728442.81
AT ITER 4347 NEW BEST:: SOT 11892280 SOS 7504544 HAS SOPS 6191642 HAS SOUS 1810632 HAS SOUPS 1720596 WITH SCORE 1728100.544
AT ITER 4348 NEW BEST:: SOT 11892102 SOS 7502561 HAS SOPS 6189917 HAS SOUS 1810387 HAS SOUPS 1720351 WITH SCORE 1727853.561
AT ITER 4368 NEW BEST:: SOT 11886535 SOS 7491192 HAS SOPS 6180908 HAS SOUS 1806697 HAS SOUPS 1716980 WITH SCORE 1724471.192
AT ITER 4380 NEW BEST:: SOT 11886302 SOS 7491307 HAS SOPS 6180845 HAS SOUS 1806480 HAS SOUPS 1716749 WITH SCORE 1724240.307
AT ITER 4409 NEW BEST:: SOT 11886110 SOS 7491115 HAS SOPS 6180589 HAS SOUS 1806096 HAS SOUPS 1716365 WITH SCORE 1723856.115
AT ITER 4420 NEW BEST:: SOT 11886159 SOS 7490726 HAS SOPS 6180210 HAS SOUS 1805023 HAS SOUPS 1715268 WITH SCORE 1722758.726
AT ITER 4423 NEW BEST:: SOT 11885074 SOS 7489756 HAS SOPS 6179096 HAS SOUS 1803966 HAS SOUPS 1714211 WITH SCORE 1721700.756
AT ITER 4437 NEW BEST:: SOT 11884939 SOS 7489621 HAS SOPS 6178961 HAS SOUS 1803887 HAS SOUPS 1714132 WITH SCORE 1721621.621
AT ITER 4440 NEW BEST:: SOT 11883643 SOS 7485883 HAS SOPS 6176960 HAS SOUS 1803693 HAS SOUPS 1713938 WITH SCORE 1721423.883
AT ITER 4443 NEW BEST:: SOT 11883078 SOS 7484911 HAS SOPS 6173654 HAS SOUS 1800017 HAS SOUPS 1710262 WITH SCORE 1717746.911
AT ITER 4454 NEW BEST:: SOT 11898883 SOS 7512872 HAS SOPS 6198672 HAS SOUS 1783552 HAS SOUPS 1693659 WITH SCORE 1701171.872
AT ITER 4457 NEW BEST:: SOT 11903581 SOS 7517585 HAS SOPS 6204118 HAS SOUS 1781238 HAS SOUPS 1691558 WITH SCORE 1699075.585
AT ITER 4458 NEW BEST:: SOT 11901792 SOS 7511349 HAS SOPS 6202630 HAS SOUS 1780754 HAS SOUPS 1691186 WITH SCORE 1698697.349
AT ITER 4475 NEW BEST:: SOT 11900161 SOS 7509804 HAS SOPS 6201543 HAS SOUS 1780451 HAS SOUPS 1690913 WITH SCORE 1698422.804
AT ITER 4482 NEW BEST:: SOT 11899794 SOS 7509882 HAS SOPS 6201645 HAS SOUS 1779976 HAS SOUPS 1690438 WITH SCORE 1697947.882
AT ITER 4528 NEW BEST:: SOT 11899778 SOS 7509866 HAS SOPS 6201629 HAS SOUS 1779976 HAS SOUPS 1690438 WITH SCORE 1697947.866
AT ITER 4543 NEW BEST:: SOT 11897488 SOS 7506891 HAS SOPS 6202397 HAS SOUS 1777544 HAS SOUPS 1688098 WITH SCORE 1695604.891
AT ITER 4549 NEW BEST:: SOT 11897432 SOS 7506823 HAS SOPS 6202303 HAS SOUS 1777454 HAS SOUPS 1688011 WITH SCORE 1695517.823
AT ITER 4578 NEW BEST:: SOT 11896708 SOS 7504359 HAS SOPS 6200427 HAS SOUS 1776307 HAS SOUPS 1686864 WITH SCORE 1694368.359
AT ITER 4583 NEW BEST:: SOT 11896306 SOS 7503747 HAS SOPS 6199782 HAS SOUS 1775938 HAS SOUPS 1686492 WITH SCORE 1693995.747
AT ITER 4606 NEW BEST:: SOT 11892546 SOS 7499831 HAS SOPS 6192938 HAS SOUS 1770520 HAS SOUPS 1681058 WITH SCORE 1688557.831
AT ITER 4610 NEW BEST:: SOT 11875589 SOS 7463973 HAS SOPS 6156279 HAS SOUS 1762432 HAS SOUPS 1672738 WITH SCORE 1680201.973
AT ITER 4613 NEW BEST:: SOT 11875481 SOS 7464264 HAS SOPS 6157215 HAS SOUS 1762408 HAS SOUPS 1672714 WITH SCORE 1680178.264
AT ITER 4616 NEW BEST:: SOT 11876023 SOS 7464047 HAS SOPS 6156604 HAS SOUS 1762378 HAS SOUPS 1672684 WITH SCORE 1680148.047
AT ITER 4619 NEW BEST:: SOT 11875731 SOS 7463756 HAS SOPS 6155663 HAS SOUS 1762086 HAS SOUPS 1671894 WITH SCORE 1679357.756
AT ITER 4630 NEW BEST:: SOT 11876371 SOS 7465141 HAS SOPS 6158094 HAS SOUS 1754171 HAS SOUPS 1663979 WITH SCORE 1671444.141
AT ITER 4652 NEW BEST:: SOT 11873943 SOS 7459951 HAS SOPS 6154631 HAS SOUS 1753827 HAS SOUPS 1663635 WITH SCORE 1671094.951
AT ITER 4659 NEW BEST:: SOT 11870167 SOS 7456218 HAS SOPS 6149918 HAS SOUS 1746695 HAS SOUPS 1656790 WITH SCORE 1664246.218
AT ITER 4670 NEW BEST:: SOT 11868693 SOS 7459184 HAS SOPS 6155382 HAS SOUS 1743294 HAS SOUPS 1653389 WITH SCORE 1660848.184
AT ITER 4675 NEW BEST:: SOT 11872117 SOS 7450584 HAS SOPS 6147219 HAS SOUS 1735786 HAS SOUPS 1645881 WITH SCORE 1653331.584
AT ITER 4691 NEW BEST:: SOT 11872248 SOS 7450946 HAS SOPS 6147494 HAS SOUS 1735695 HAS SOUPS 1645790 WITH SCORE 1653240.946
AT ITER 4709 NEW BEST:: SOT 11871999 SOS 7449570 HAS SOPS 6146852 HAS SOUS 1733557 HAS SOUPS 1643652 WITH SCORE 1651101.57
AT ITER 4726 NEW BEST:: SOT 11870505 SOS 7449391 HAS SOPS 6145879 HAS SOUS 1733230 HAS SOUPS 1643325 WITH SCORE 1650774.391
AT ITER 4738 NEW BEST:: SOT 11868594 SOS 7448920 HAS SOPS 6145264 HAS SOUS 1731298 HAS SOUPS 1641393 WITH SCORE 1648841.92
AT ITER 4754 NEW BEST:: SOT 11869070 SOS 7450113 HAS SOPS 6149241 HAS SOUS 1730508 HAS SOUPS 1640680 WITH SCORE 1648130.113
AT ITER 4755 NEW BEST:: SOT 11868542 SOS 7449399 HAS SOPS 6146463 HAS SOUS 1729898 HAS SOUPS 1638857 WITH SCORE 1646306.399
AT ITER 4763 NEW BEST:: SOT 11868431 SOS 7449160 HAS SOPS 6146320 HAS SOUS 1729823 HAS SOUPS 1638818 WITH SCORE 1646267.16
AT ITER 4766 NEW BEST:: SOT 11873928 SOS 7459130 HAS SOPS 6156186 HAS SOUS 1727638 HAS SOUPS 1636633 WITH SCORE 1644092.13
AT ITER 4773 NEW BEST:: SOT 11874831 SOS 7461387 HAS SOPS 6156504 HAS SOUS 1724316 HAS SOUPS 1633311 WITH SCORE 1640772.387
AT ITER 4815 NEW BEST:: SOT 11874556 SOS 7460785 HAS SOPS 6155353 HAS SOUS 1722115 HAS SOUPS 1631125 WITH SCORE 1638585.785
AT ITER 4823 NEW BEST:: SOT 11872899 SOS 7459137 HAS SOPS 6152825 HAS SOUS 1718859 HAS SOUPS 1627869 WITH SCORE 1635328.137
AT ITER 4834 NEW BEST:: SOT 11876761 SOS 7462999 HAS SOPS 6155711 HAS SOUS 1718341 HAS SOUPS 1627351 WITH SCORE 1634813.999
AT ITER 4839 NEW BEST:: SOT 11873796 SOS 7462001 HAS SOPS 6150614 HAS SOUS 1717280 HAS SOUPS 1626211 WITH SCORE 1633673.001
AT ITER 4857 NEW BEST:: SOT 11871939 SOS 7460141 HAS SOPS 6148842 HAS SOUS 1716193 HAS SOUPS 1625124 WITH SCORE 1632584.141
AT ITER 4858 NEW BEST:: SOT 11861226 SOS 7437732 HAS SOPS 6130717 HAS SOUS 1703579 HAS SOUPS 1612266 WITH SCORE 1619703.732
AT ITER 4870 NEW BEST:: SOT 11862006 SOS 7440364 HAS SOPS 6133736 HAS SOUS 1703105 HAS SOUPS 1611792 WITH SCORE 1619232.364
AT ITER 4873 NEW BEST:: SOT 11865565 SOS 7445995 HAS SOPS 6140999 HAS SOUS 1702346 HAS SOUPS 1611140 WITH SCORE 1618585.995
AT ITER 4919 NEW BEST:: SOT 11864931 SOS 7445943 HAS SOPS 6140341 HAS SOUS 1700788 HAS SOUPS 1609582 WITH SCORE 1617027.943
AT ITER 4939 NEW BEST:: SOT 11864456 SOS 7445499 HAS SOPS 6139817 HAS SOUS 1700162 HAS SOUPS 1608956 WITH SCORE 1616401.499
AT ITER 4952 NEW BEST:: SOT 11868334 SOS 7456251 HAS SOPS 6145139 HAS SOUS 1694601 HAS SOUPS 1603353 WITH SCORE 1610809.251
AT ITER 4963 NEW BEST:: SOT 11868232 SOS 7456047 HAS SOPS 6145000 HAS SOUS 1694379 HAS SOUPS 1603181 WITH SCORE 1610637.047
AT ITER 4993 NEW BEST:: SOT 11868283 SOS 7455955 HAS SOPS 6144221 HAS SOUS 1694224 HAS SOUPS 1603026 WITH SCORE 1610481.955
AT ITER 4996 NEW BEST:: SOT 11868471 SOS 7456458 HAS SOPS 6144765 HAS SOUS 1693983 HAS SOUPS 1602785 WITH SCORE 1610241.458
AT ITER 5013 NEW BEST:: SOT 11868370 SOS 7456059 HAS SOPS 6143703 HAS SOUS 1693733 HAS SOUPS 1602535 WITH SCORE 1609991.059
AT ITER 5044 NEW BEST:: SOT 11866302 SOS 7454063 HAS SOPS 6141378 HAS SOUS 1694206 HAS SOUPS 1602370 WITH SCORE 1609824.063
AT ITER 5046 NEW BEST:: SOT 11865560 SOS 7451263 HAS SOPS 6138735 HAS SOUS 1691646 HAS SOUPS 1599810 WITH SCORE 1607261.263
AT ITER 5055 NEW BEST:: SOT 11865820 SOS 7451599 HAS SOPS 6138472 HAS SOUS 1690989 HAS SOUPS 1599153 WITH SCORE 1606604.599
AT ITER 5074 NEW BEST:: SOT 11864907 SOS 7448297 HAS SOPS 6136495 HAS SOUS 1690667 HAS SOUPS 1598862 WITH SCORE 1606310.297
AT ITER 5081 NEW BEST:: SOT 11863292 SOS 7446360 HAS SOPS 6133529 HAS SOUS 1689229 HAS SOUPS 1597424 WITH SCORE 1604870.36
AT ITER 5098 NEW BEST:: SOT 11863642 SOS 7445158 HAS SOPS 6135601 HAS SOUS 1689212 HAS SOUPS 1597407 WITH SCORE 1604852.158
AT ITER 5103 NEW BEST:: SOT 11857997 SOS 7436680 HAS SOPS 6127123 HAS SOUS 1684367 HAS SOUPS 1592562 WITH SCORE 1599998.68
AT ITER 5119 NEW BEST:: SOT 11857543 SOS 7436248 HAS SOPS 6126568 HAS SOUS 1683443 HAS SOUPS 1591638 WITH SCORE 1599074.248
AT ITER 5120 NEW BEST:: SOT 11857326 SOS 7436031 HAS SOPS 6126165 HAS SOUS 1683040 HAS SOUPS 1591235 WITH SCORE 1598671.031
AT ITER 5161 NEW BEST:: SOT 11856895 SOS 7435292 HAS SOPS 6125580 HAS SOUS 1682653 HAS SOUPS 1590848 WITH SCORE 1598283.292
AT ITER 5164 NEW BEST:: SOT 11856705 SOS 7435204 HAS SOPS 6125385 HAS SOUS 1682106 HAS SOUPS 1590306 WITH SCORE 1597741.204
AT ITER 5184 NEW BEST:: SOT 11855399 SOS 7433872 HAS SOPS 6123727 HAS SOUS 1680774 HAS SOUPS 1588648 WITH SCORE 1596081.872
AT ITER 5189 NEW BEST:: SOT 11855211 SOS 7433606 HAS SOPS 6122492 HAS SOUS 1679961 HAS SOUPS 1587835 WITH SCORE 1595268.606
AT ITER 5192 NEW BEST:: SOT 11854622 SOS 7432567 HAS SOPS 6121713 HAS SOUS 1679342 HAS SOUPS 1587216 WITH SCORE 1594648.567
AT ITER 5196 NEW BEST:: SOT 11848638 SOS 7424183 HAS SOPS 6112672 HAS SOUS 1676429 HAS SOUPS 1584213 WITH SCORE 1591637.183
AT ITER 5202 NEW BEST:: SOT 11848461 SOS 7423946 HAS SOPS 6112459 HAS SOUS 1675984 HAS SOUPS 1583771 WITH SCORE 1591194.946
AT ITER 5211 NEW BEST:: SOT 11850840 SOS 7426325 HAS SOPS 6117334 HAS SOUS 1673467 HAS SOUPS 1583750 WITH SCORE 1591176.325
AT ITER 5217 NEW BEST:: SOT 11853284 SOS 7429392 HAS SOPS 6119832 HAS SOUS 1673033 HAS SOUPS 1583314 WITH SCORE 1590743.392
AT ITER 5233 NEW BEST:: SOT 11852980 SOS 7428422 HAS SOPS 6118731 HAS SOUS 1672236 HAS SOUPS 1582527 WITH SCORE 1589955.422
AT ITER 5256 NEW BEST:: SOT 11852463 SOS 7427197 HAS SOPS 6118020 HAS SOUS 1671747 HAS SOUPS 1582178 WITH SCORE 1589605.197
AT ITER 5291 NEW BEST:: SOT 11852003 SOS 7426737 HAS SOPS 6117480 HAS SOUS 1671547 HAS SOUPS 1581978 WITH SCORE 1589404.737
AT ITER 5301 NEW BEST:: SOT 11852023 SOS 7426866 HAS SOPS 6117603 HAS SOUS 1671201 HAS SOUPS 1581622 WITH SCORE 1589048.866
AT ITER 5305 NEW BEST:: SOT 11850569 SOS 7425089 HAS SOPS 6115367 HAS SOUS 1671480 HAS SOUPS 1581223 WITH SCORE 1588648.089
AT ITER 5333 NEW BEST:: SOT 11847394 SOS 7415475 HAS SOPS 6106784 HAS SOUS 1670776 HAS SOUPS 1580519 WITH SCORE 1587934.475
AT ITER 5335 NEW BEST:: SOT 11844005 SOS 7402249 HAS SOPS 6096258 HAS SOUS 1669763 HAS SOUPS 1579506 WITH SCORE 1586908.249
AT ITER 5346 NEW BEST:: SOT 11843608 SOS 7398252 HAS SOPS 6094142 HAS SOUS 1668591 HAS SOUPS 1578369 WITH SCORE 1585767.252
AT ITER 5366 NEW BEST:: SOT 11843537 SOS 7397940 HAS SOPS 6093440 HAS SOUS 1668347 HAS SOUPS 1578125 WITH SCORE 1585522.94
AT ITER 5423 NEW BEST:: SOT 11843541 SOS 7397878 HAS SOPS 6093342 HAS SOUS 1668189 HAS SOUPS 1577967 WITH SCORE 1585364.878
AT ITER 5424 NEW BEST:: SOT 11846043 SOS 7402178 HAS SOPS 6098540 HAS SOUS 1663726 HAS SOUPS 1573569 WITH SCORE 1580971.178
AT ITER 5437 NEW BEST:: SOT 11845343 SOS 7400571 HAS SOPS 6096946 HAS SOUS 1663712 HAS SOUPS 1573525 WITH SCORE 1580925.571
AT ITER 5455 NEW BEST:: SOT 11842872 SOS 7398100 HAS SOPS 6094411 HAS SOUS 1661025 HAS SOUPS 1570838 WITH SCORE 1578236.1
AT ITER 5458 NEW BEST:: SOT 11842896 SOS 7397843 HAS SOPS 6093933 HAS SOUS 1660700 HAS SOUPS 1570513 WITH SCORE 1577910.843
AT ITER 5479 NEW BEST:: SOT 11843081 SOS 7398199 HAS SOPS 6094070 HAS SOUS 1660559 HAS SOUPS 1570396 WITH SCORE 1577794.199
AT ITER 5481 NEW BEST:: SOT 11842834 SOS 7397708 HAS SOPS 6094021 HAS SOUS 1660271 HAS SOUPS 1570108 WITH SCORE 1577505.708
AT ITER 5510 NEW BEST:: SOT 11842976 SOS 7397821 HAS SOPS 6090917 HAS SOUS 1652928 HAS SOUPS 1562294 WITH SCORE 1569691.821
AT ITER 5523 NEW BEST:: SOT 11843009 SOS 7397854 HAS SOPS 6090918 HAS SOUS 1652501 HAS SOUPS 1561867 WITH SCORE 1569264.854
AT ITER 5530 NEW BEST:: SOT 11842384 SOS 7397250 HAS SOPS 6089480 HAS SOUS 1652206 HAS SOUPS 1561537 WITH SCORE 1568934.25
AT ITER 5537 NEW BEST:: SOT 11836072 SOS 7390240 HAS SOPS 6081455 HAS SOUS 1644511 HAS SOUPS 1553809 WITH SCORE 1561199.24
AT ITER 5565 NEW BEST:: SOT 11835835 SOS 7390396 HAS SOPS 6082319 HAS SOUS 1642170 HAS SOUPS 1551468 WITH SCORE 1558858.396
AT ITER 5570 NEW BEST:: SOT 11835942 SOS 7391182 HAS SOPS 6082987 HAS SOUS 1641851 HAS SOUPS 1551149 WITH SCORE 1558540.182
AT ITER 5571 NEW BEST:: SOT 11835947 SOS 7390746 HAS SOPS 6082698 HAS SOUS 1641822 HAS SOUPS 1551120 WITH SCORE 1558510.746
AT ITER 5591 NEW BEST:: SOT 11835947 SOS 7390224 HAS SOPS 6081912 HAS SOUS 1641115 HAS SOUPS 1550413 WITH SCORE 1557803.224
AT ITER 5613 NEW BEST:: SOT 11836170 SOS 7391389 HAS SOPS 6083817 HAS SOUS 1640820 HAS SOUPS 1550118 WITH SCORE 1557509.389
AT ITER 5632 NEW BEST:: SOT 11839670 SOS 7394889 HAS SOPS 6086613 HAS SOUS 1640296 HAS SOUPS 1549594 WITH SCORE 1556988.889
AT ITER 5639 NEW BEST:: SOT 11839218 SOS 7394528 HAS SOPS 6086706 HAS SOUS 1638545 HAS SOUPS 1547843 WITH SCORE 1555237.528
AT ITER 5699 NEW BEST:: SOT 11838948 SOS 7394989 HAS SOPS 6086315 HAS SOUS 1637493 HAS SOUPS 1546739 WITH SCORE 1554133.989
AT ITER 5706 NEW BEST:: SOT 11838496 SOS 7392932 HAS SOPS 6084745 HAS SOUS 1637320 HAS SOUPS 1546566 WITH SCORE 1553958.932
AT ITER 5721 NEW BEST:: SOT 11836806 SOS 7390762 HAS SOPS 6080948 HAS SOUS 1635425 HAS SOUPS 1544671 WITH SCORE 1552061.762
AT ITER 5723 NEW BEST:: SOT 11838421 SOS 7392443 HAS SOPS 6082774 HAS SOUS 1635056 HAS SOUPS 1544299 WITH SCORE 1551691.443
AT ITER 5745 NEW BEST:: SOT 11837911 SOS 7391786 HAS SOPS 6082120 HAS SOUS 1634965 HAS SOUPS 1544208 WITH SCORE 1551599.786
AT ITER 5754 NEW BEST:: SOT 11836922 SOS 7391475 HAS SOPS 6084558 HAS SOUS 1625249 HAS SOUPS 1534664 WITH SCORE 1542055.475
AT ITER 5776 NEW BEST:: SOT 11839188 SOS 7408137 HAS SOPS 6101012 HAS SOUS 1622804 HAS SOUPS 1532328 WITH SCORE 1539736.137
AT ITER 5790 NEW BEST:: SOT 11839126 SOS 7407151 HAS SOPS 6100318 HAS SOUS 1622523 HAS SOUPS 1532056 WITH SCORE 1539463.151
AT ITER 5807 NEW BEST:: SOT 11840996 SOS 7413533 HAS SOPS 6106090 HAS SOUS 1621596 HAS SOUPS 1531204 WITH SCORE 1538617.533
AT ITER 5835 NEW BEST:: SOT 11840953 SOS 7411895 HAS SOPS 6104918 HAS SOUS 1621129 HAS SOUPS 1530737 WITH SCORE 1538148.895
AT ITER 5844 NEW BEST:: SOT 11839707 SOS 7409955 HAS SOPS 6101892 HAS SOUS 1616545 HAS SOUPS 1526153 WITH SCORE 1533562.955
AT ITER 5846 NEW BEST:: SOT 11839953 SOS 7408179 HAS SOPS 6100164 HAS SOUS 1615740 HAS SOUPS 1525374 WITH SCORE 1532782.179
AT ITER 5919 NEW BEST:: SOT 11838395 SOS 7406375 HAS SOPS 6098498 HAS SOUS 1615686 HAS SOUPS 1525320 WITH SCORE 1532726.375
AT ITER 5958 NEW BEST:: SOT 11835427 SOS 7403407 HAS SOPS 6096074 HAS SOUS 1613318 HAS SOUPS 1523360 WITH SCORE 1530763.407
AT ITER 5979 NEW BEST:: SOT 11834929 SOS 7401928 HAS SOPS 6094533 HAS SOUS 1611345 HAS SOUPS 1521387 WITH SCORE 1528788.928
AT ITER 6010 NEW BEST:: SOT 11834670 SOS 7401486 HAS SOPS 6094036 HAS SOUS 1610844 HAS SOUPS 1520886 WITH SCORE 1528287.486
AT ITER 6019 NEW BEST:: SOT 11832066 SOS 7398565 HAS SOPS 6089976 HAS SOUS 1606860 HAS SOUPS 1516902 WITH SCORE 1524300.565
AT ITER 6040 NEW BEST:: SOT 11832096 SOS 7398445 HAS SOPS 6089856 HAS SOUS 1606830 HAS SOUPS 1516872 WITH SCORE 1524270.445
AT ITER 6053 NEW BEST:: SOT 11832044 SOS 7398393 HAS SOPS 6089804 HAS SOUS 1606830 HAS SOUPS 1516872 WITH SCORE 1524270.393
AT ITER 6060 NEW BEST:: SOT 11831908 SOS 7398257 HAS SOPS 6089636 HAS SOUS 1606558 HAS SOUPS 1516600 WITH SCORE 1523998.257
AT ITER 6093 NEW BEST:: SOT 11835315 SOS 7401479 HAS SOPS 6092160 HAS SOUS 1605146 HAS SOUPS 1515188 WITH SCORE 1522589.479
AT ITER 6105 NEW BEST:: SOT 11833843 SOS 7398885 HAS SOPS 6089545 HAS SOUS 1602406 HAS SOUPS 1512448 WITH SCORE 1519846.885
AT ITER 6110 NEW BEST:: SOT 11832074 SOS 7396524 HAS SOPS 6083998 HAS SOUS 1599581 HAS SOUPS 1509255 WITH SCORE 1516651.524
AT ITER 6123 NEW BEST:: SOT 11836372 SOS 7407518 HAS SOPS 6096785 HAS SOUS 1599182 HAS SOUPS 1509031 WITH SCORE 1516438.518
AT ITER 6124 NEW BEST:: SOT 11835981 SOS 7404758 HAS SOPS 6094620 HAS SOUS 1597602 HAS SOUPS 1507451 WITH SCORE 1514855.758
AT ITER 6134 NEW BEST:: SOT 11835729 SOS 7402932 HAS SOPS 6092060 HAS SOUS 1596026 HAS SOUPS 1505875 WITH SCORE 1513277.932
AT ITER 6137 NEW BEST:: SOT 11835806 SOS 7404223 HAS SOPS 6092485 HAS SOUS 1591236 HAS SOUPS 1501085 WITH SCORE 1508489.223
AT ITER 6178 NEW BEST:: SOT 11834824 SOS 7403269 HAS SOPS 6090627 HAS SOUS 1589660 HAS SOUPS 1499491 WITH SCORE 1506894.269
AT ITER 6201 NEW BEST:: SOT 11835333 SOS 7396645 HAS SOPS 6084891 HAS SOUS 1584910 HAS SOUPS 1494741 WITH SCORE 1502137.645
AT ITER 6212 NEW BEST:: SOT 11835678 SOS 7395666 HAS SOPS 6083992 HAS SOUS 1584858 HAS SOUPS 1494689 WITH SCORE 1502084.666
AT ITER 6219 NEW BEST:: SOT 11836157 SOS 7395876 HAS SOPS 6085874 HAS SOUS 1584112 HAS SOUPS 1493994 WITH SCORE 1501389.876
AT ITER 6236 NEW BEST:: SOT 11835849 SOS 7396272 HAS SOPS 6086094 HAS SOUS 1583738 HAS SOUPS 1493620 WITH SCORE 1501016.272
AT ITER 6237 NEW BEST:: SOT 11835177 SOS 7395600 HAS SOPS 6085230 HAS SOUS 1582522 HAS SOUPS 1492388 WITH SCORE 1499783.6
AT ITER 6246 NEW BEST:: SOT 11835083 SOS 7394787 HAS SOPS 6084330 HAS SOUS 1582258 HAS SOUPS 1492124 WITH SCORE 1499518.787
AT ITER 6250 NEW BEST:: SOT 11831182 SOS 7388747 HAS SOPS 6079475 HAS SOUS 1579813 HAS SOUPS 1489853 WITH SCORE 1497241.747
AT ITER 6268 NEW BEST:: SOT 11831254 SOS 7389909 HAS SOPS 6079907 HAS SOUS 1579164 HAS SOUPS 1489195 WITH SCORE 1496584.909
AT ITER 6269 NEW BEST:: SOT 11831257 SOS 7389875 HAS SOPS 6079910 HAS SOUS 1579153 HAS SOUPS 1489187 WITH SCORE 1496576.875
AT ITER 6276 NEW BEST:: SOT 11830875 SOS 7389488 HAS SOPS 6079523 HAS SOUS 1579111 HAS SOUPS 1489145 WITH SCORE 1496534.488
AT ITER 6304 NEW BEST:: SOT 11832260 SOS 7392058 HAS SOPS 6082318 HAS SOUS 1578871 HAS SOUPS 1488905 WITH SCORE 1496297.058
AT ITER 6305 NEW BEST:: SOT 11831195 SOS 7391134 HAS SOPS 6081293 HAS SOUS 1576131 HAS SOUPS 1486165 WITH SCORE 1493556.134
AT ITER 6315 NEW BEST:: SOT 11831136 SOS 7391135 HAS SOPS 6081174 HAS SOUS 1575910 HAS SOUPS 1485941 WITH SCORE 1493332.135
AT ITER 6319 NEW BEST:: SOT 11832958 SOS 7393807 HAS SOPS 6083857 HAS SOUS 1575155 HAS SOUPS 1485186 WITH SCORE 1492579.807
AT ITER 6325 NEW BEST:: SOT 11832548 SOS 7393596 HAS SOPS 6083534 HAS SOUS 1574519 HAS SOUPS 1484550 WITH SCORE 1491943.596
AT ITER 6342 NEW BEST:: SOT 11832548 SOS 7393614 HAS SOPS 6083533 HAS SOUS 1574503 HAS SOUPS 1484534 WITH SCORE 1491927.614
AT ITER 6354 NEW BEST:: SOT 11832779 SOS 7393335 HAS SOPS 6084234 HAS SOUS 1571250 HAS SOUPS 1481979 WITH SCORE 1489372.335
AT ITER 6374 NEW BEST:: SOT 11832714 SOS 7393236 HAS SOPS 6084107 HAS SOUS 1571154 HAS SOUPS 1481878 WITH SCORE 1489271.236
AT ITER 6394 NEW BEST:: SOT 11832748 SOS 7393629 HAS SOPS 6084245 HAS SOUS 1570319 HAS SOUPS 1481043 WITH SCORE 1488436.629
AT ITER 6395 NEW BEST:: SOT 11832645 SOS 7393526 HAS SOPS 6083886 HAS SOUS 1570056 HAS SOUPS 1480684 WITH SCORE 1488077.526
AT ITER 6396 NEW BEST:: SOT 11832595 SOS 7392219 HAS SOPS 6082379 HAS SOUS 1564481 HAS SOUPS 1475109 WITH SCORE 1482501.219
AT ITER 6399 NEW BEST:: SOT 11831439 SOS 7390876 HAS SOPS 6079753 HAS SOUS 1559686 HAS SOUPS 1470314 WITH SCORE 1477704.876
AT ITER 6409 NEW BEST:: SOT 11831325 SOS 7390786 HAS SOPS 6079627 HAS SOUS 1559528 HAS SOUPS 1470154 WITH SCORE 1477544.786
AT ITER 6429 NEW BEST:: SOT 11832367 SOS 7391945 HAS SOPS 6081044 HAS SOUS 1559367 HAS SOUPS 1470026 WITH SCORE 1477417.945
AT ITER 6447 NEW BEST:: SOT 11832572 SOS 7392010 HAS SOPS 6081019 HAS SOUS 1559334 HAS SOUPS 1469993 WITH SCORE 1477385.01
AT ITER 6449 NEW BEST:: SOT 11832020 SOS 7391454 HAS SOPS 6080399 HAS SOUS 1558558 HAS SOUPS 1469217 WITH SCORE 1476608.454
AT ITER 6470 NEW BEST:: SOT 11829222 SOS 7388656 HAS SOPS 6077761 HAS SOUS 1555680 HAS SOUPS 1466555 WITH SCORE 1473943.656
AT ITER 6486 NEW BEST:: SOT 11829197 SOS 7388666 HAS SOPS 6077883 HAS SOUS 1555613 HAS SOUPS 1466488 WITH SCORE 1473876.666
AT ITER 6491 NEW BEST:: SOT 11824668 SOS 7383881 HAS SOPS 6073542 HAS SOUS 1552119 HAS SOUPS 1463111 WITH SCORE 1470494.881
AT ITER 6596 NEW BEST:: SOT 11820990 SOS 7380484 HAS SOPS 6069732 HAS SOUS 1550002 HAS SOUPS 1460994 WITH SCORE 1468374.484
AT ITER 6597 NEW BEST:: SOT 11820956 SOS 7380607 HAS SOPS 6069858 HAS SOUS 1549996 HAS SOUPS 1460988 WITH SCORE 1468368.607
AT ITER 6627 NEW BEST:: SOT 11820792 SOS 7381803 HAS SOPS 6072298 HAS SOUS 1547669 HAS SOUPS 1458661 WITH SCORE 1466042.803
AT ITER 6656 NEW BEST:: SOT 11821052 SOS 7381913 HAS SOPS 6072030 HAS SOUS 1545839 HAS SOUPS 1456831 WITH SCORE 1464212.913
AT ITER 6663 NEW BEST:: SOT 11820356 SOS 7380879 HAS SOPS 6069241 HAS SOUS 1537921 HAS SOUPS 1448898 WITH SCORE 1456278.879
AT ITER 6687 NEW BEST:: SOT 11818775 SOS 7379215 HAS SOPS 6067584 HAS SOUS 1536350 HAS SOUPS 1447360 WITH SCORE 1454739.215
AT ITER 6707 NEW BEST:: SOT 11819929 SOS 7380314 HAS SOPS 6069918 HAS SOUS 1536267 HAS SOUPS 1447279 WITH SCORE 1454659.314
AT ITER 6752 NEW BEST:: SOT 11819736 SOS 7380235 HAS SOPS 6070113 HAS SOUS 1534106 HAS SOUPS 1445341 WITH SCORE 1452721.235
AT ITER 6809 NEW BEST:: SOT 11819288 SOS 7379787 HAS SOPS 6069665 HAS SOUS 1533686 HAS SOUPS 1444921 WITH SCORE 1452300.787
AT ITER 6814 NEW BEST:: SOT 11819279 SOS 7379862 HAS SOPS 6069756 HAS SOUS 1533685 HAS SOUPS 1444920 WITH SCORE 1452299.862
AT ITER 6861 NEW BEST:: SOT 11820969 SOS 7377086 HAS SOPS 6067443 HAS SOUS 1531901 HAS SOUPS 1443136 WITH SCORE 1450513.086
AT ITER 6862 NEW BEST:: SOT 11814691 SOS 7364463 HAS SOPS 6058840 HAS SOUS 1528250 HAS SOUPS 1440293 WITH SCORE 1447657.463
AT ITER 6866 NEW BEST:: SOT 11814626 SOS 7364195 HAS SOPS 6058532 HAS SOUS 1528204 HAS SOUPS 1440247 WITH SCORE 1447611.195
AT ITER 6869 NEW BEST:: SOT 11817251 SOS 7366148 HAS SOPS 6061115 HAS SOUS 1528086 HAS SOUPS 1440085 WITH SCORE 1447451.148
AT ITER 6882 NEW BEST:: SOT 11817387 SOS 7366058 HAS SOPS 6061155 HAS SOUS 1527738 HAS SOUPS 1439808 WITH SCORE 1447174.058
AT ITER 6906 NEW BEST:: SOT 11816760 SOS 7364446 HAS SOPS 6059971 HAS SOUS 1527372 HAS SOUPS 1439622 WITH SCORE 1446986.446
AT ITER 6925 NEW BEST:: SOT 11816812 SOS 7364666 HAS SOPS 6060347 HAS SOUS 1526966 HAS SOUPS 1439216 WITH SCORE 1446580.666
AT ITER 6944 NEW BEST:: SOT 11816557 SOS 7361260 HAS SOPS 6058306 HAS SOUS 1525325 HAS SOUPS 1437575 WITH SCORE 1444936.26
AT ITER 6954 NEW BEST:: SOT 11816725 SOS 7362259 HAS SOPS 6059585 HAS SOUS 1525196 HAS SOUPS 1437446 WITH SCORE 1444808.259
AT ITER 6969 NEW BEST:: SOT 11816915 SOS 7363993 HAS SOPS 6059885 HAS SOUS 1522946 HAS SOUPS 1435196 WITH SCORE 1442559.993
AT ITER 6973 NEW BEST:: SOT 11816835 SOS 7364053 HAS SOPS 6059865 HAS SOUS 1522836 HAS SOUPS 1435076 WITH SCORE 1442440.053
AT ITER 7007 NEW BEST:: SOT 11816763 SOS 7363981 HAS SOPS 6059793 HAS SOUS 1522724 HAS SOUPS 1434964 WITH SCORE 1442327.981
AT ITER 7046 NEW BEST:: SOT 11816702 SOS 7364498 HAS SOPS 6059324 HAS SOUS 1518662 HAS SOUPS 1430902 WITH SCORE 1438266.498
AT ITER 7051 NEW BEST:: SOT 11814968 SOS 7362419 HAS SOPS 6055541 HAS SOUS 1513903 HAS SOUPS 1426143 WITH SCORE 1433505.419
AT ITER 7053 NEW BEST:: SOT 11814742 SOS 7365762 HAS SOPS 6055889 HAS SOUS 1513954 HAS SOUPS 1426130 WITH SCORE 1433495.762
AT ITER 7084 NEW BEST:: SOT 11816638 SOS 7366648 HAS SOPS 6057328 HAS SOUS 1513940 HAS SOUPS 1426116 WITH SCORE 1433482.648
AT ITER 7090 NEW BEST:: SOT 11816475 SOS 7366477 HAS SOPS 6057129 HAS SOUS 1513787 HAS SOUPS 1425963 WITH SCORE 1433329.477
AT ITER 7093 NEW BEST:: SOT 11818177 SOS 7376999 HAS SOPS 6066849 HAS SOUS 1513656 HAS SOUPS 1425779 WITH SCORE 1433155.999
AT ITER 7131 NEW BEST:: SOT 11818212 SOS 7376710 HAS SOPS 6066428 HAS SOUS 1513355 HAS SOUPS 1425484 WITH SCORE 1432860.71
AT ITER 7135 NEW BEST:: SOT 11813648 SOS 7365973 HAS SOPS 6056299 HAS SOUS 1507924 HAS SOUPS 1420128 WITH SCORE 1427493.973
AT ITER 7152 NEW BEST:: SOT 11811136 SOS 7358515 HAS SOPS 6050450 HAS SOUS 1504846 HAS SOUPS 1417093 WITH SCORE 1424451.515
AT ITER 7162 NEW BEST:: SOT 11801893 SOS 7346995 HAS SOPS 6041351 HAS SOUS 1495289 HAS SOUPS 1407644 WITH SCORE 1414990.995
AT ITER 7224 NEW BEST:: SOT 11796950 SOS 7335670 HAS SOPS 6030788 HAS SOUS 1483324 HAS SOUPS 1395802 WITH SCORE 1403137.67
AT ITER 7255 NEW BEST:: SOT 11796376 SOS 7334833 HAS SOPS 6030179 HAS SOUS 1483174 HAS SOUPS 1395652 WITH SCORE 1402986.833
AT ITER 7267 NEW BEST:: SOT 11796083 SOS 7334540 HAS SOPS 6029886 HAS SOUS 1483053 HAS SOUPS 1395531 WITH SCORE 1402865.54
AT ITER 7279 NEW BEST:: SOT 11796377 SOS 7336680 HAS SOPS 6031967 HAS SOUS 1482631 HAS SOUPS 1395109 WITH SCORE 1402445.68
AT ITER 7337 NEW BEST:: SOT 11801205 SOS 7351570 HAS SOPS 6045478 HAS SOUS 1473324 HAS SOUPS 1385802 WITH SCORE 1393153.57
AT ITER 7338 NEW BEST:: SOT 11800272 SOS 7350627 HAS SOPS 6044535 HAS SOUS 1472487 HAS SOUPS 1384997 WITH SCORE 1392347.627
AT ITER 7367 NEW BEST:: SOT 11800016 SOS 7350371 HAS SOPS 6044279 HAS SOUS 1472231 HAS SOUPS 1384741 WITH SCORE 1392091.371
AT ITER 7375 NEW BEST:: SOT 11799074 SOS 7349286 HAS SOPS 6042906 HAS SOUS 1470721 HAS SOUPS 1383231 WITH SCORE 1390580.286
AT ITER 7392 NEW BEST:: SOT 11799439 SOS 7350113 HAS SOPS 6043343 HAS SOUS 1470536 HAS SOUPS 1383046 WITH SCORE 1390396.113
AT ITER 7411 NEW BEST:: SOT 11800070 SOS 7348057 HAS SOPS 6042224 HAS SOUS 1468463 HAS SOUPS 1381012 WITH SCORE 1388360.057
AT ITER 7437 NEW BEST:: SOT 11799851 SOS 7347846 HAS SOPS 6041900 HAS SOUS 1468020 HAS SOUPS 1380569 WITH SCORE 1387916.846
AT ITER 7438 NEW BEST:: SOT 11797840 SOS 7345821 HAS SOPS 6040307 HAS SOUS 1465501 HAS SOUPS 1378594 WITH SCORE 1385939.821
AT ITER 7450 NEW BEST:: SOT 11797700 SOS 7345725 HAS SOPS 6040141 HAS SOUS 1465357 HAS SOUPS 1378450 WITH SCORE 1385795.725
AT ITER 7460 NEW BEST:: SOT 11797654 SOS 7345679 HAS SOPS 6040059 HAS SOUS 1465275 HAS SOUPS 1378332 WITH SCORE 1385677.679
AT ITER 7493 NEW BEST:: SOT 11795480 SOS 7341426 HAS SOPS 6036102 HAS SOUS 1460154 HAS SOUPS 1373317 WITH SCORE 1380658.426
AT ITER 7501 NEW BEST:: SOT 11794721 SOS 7341601 HAS SOPS 6036277 HAS SOUS 1459018 HAS SOUPS 1372181 WITH SCORE 1379522.601
AT ITER 7532 NEW BEST:: SOT 11792881 SOS 7339761 HAS SOPS 6034437 HAS SOUS 1456534 HAS SOUPS 1369697 WITH SCORE 1377036.761
AT ITER 7533 NEW BEST:: SOT 11793099 SOS 7338885 HAS SOPS 6033560 HAS SOUS 1450823 HAS SOUPS 1363986 WITH SCORE 1371324.885
AT ITER 7541 NEW BEST:: SOT 11792897 SOS 7338363 HAS SOPS 6032799 HAS SOUS 1450233 HAS SOUPS 1363396 WITH SCORE 1370734.363
AT ITER 7558 NEW BEST:: SOT 11792406 SOS 7337520 HAS SOPS 6031377 HAS SOUS 1449329 HAS SOUPS 1362492 WITH SCORE 1369829.52
AT ITER 7584 NEW BEST:: SOT 11791794 SOS 7335864 HAS SOPS 6029541 HAS SOUS 1448407 HAS SOUPS 1361570 WITH SCORE 1368905.864
AT ITER 7621 NEW BEST:: SOT 11791951 SOS 7336681 HAS SOPS 6029489 HAS SOUS 1443132 HAS SOUPS 1356323 WITH SCORE 1363659.681
AT ITER 7661 NEW BEST:: SOT 11792457 SOS 7336398 HAS SOPS 6029261 HAS SOUS 1442766 HAS SOUPS 1355957 WITH SCORE 1363293.398
AT ITER 7672 NEW BEST:: SOT 11792447 SOS 7336079 HAS SOPS 6029062 HAS SOUS 1442677 HAS SOUPS 1355886 WITH SCORE 1363222.079
AT ITER 7737 NEW BEST:: SOT 11792321 SOS 7335938 HAS SOPS 6028941 HAS SOUS 1442237 HAS SOUPS 1355452 WITH SCORE 1362787.938
AT ITER 7778 NEW BEST:: SOT 11791921 SOS 7335570 HAS SOPS 6028581 HAS SOUS 1441645 HAS SOUPS 1354860 WITH SCORE 1362195.57
AT ITER 7829 NEW BEST:: SOT 11790455 SOS 7333975 HAS SOPS 6026494 HAS SOUS 1435731 HAS SOUPS 1349556 WITH SCORE 1356889.975
AT ITER 7864 NEW BEST:: SOT 11787737 SOS 7330507 HAS SOPS 6021525 HAS SOUS 1433431 HAS SOUPS 1347256 WITH SCORE 1354586.507
AT ITER 7871 NEW BEST:: SOT 11791445 SOS 7333663 HAS SOPS 6023400 HAS SOUS 1427644 HAS SOUPS 1341469 WITH SCORE 1348802.663
AT ITER 7873 NEW BEST:: SOT 11790933 SOS 7333151 HAS SOPS 6022616 HAS SOUS 1426180 HAS SOUPS 1340005 WITH SCORE 1347338.151
AT ITER 7908 NEW BEST:: SOT 11790735 SOS 7332943 HAS SOPS 6022408 HAS SOUS 1424830 HAS SOUPS 1338655 WITH SCORE 1345987.943
AT ITER 7912 NEW BEST:: SOT 11789658 SOS 7332675 HAS SOPS 6022059 HAS SOUS 1424418 HAS SOUPS 1338216 WITH SCORE 1345548.675
AT ITER 7913 NEW BEST:: SOT 11789396 SOS 7332310 HAS SOPS 6021093 HAS SOUS 1423924 HAS SOUPS 1337703 WITH SCORE 1345035.31
AT ITER 7928 NEW BEST:: SOT 11788057 SOS 7330366 HAS SOPS 6021268 HAS SOUS 1423365 HAS SOUPS 1337222 WITH SCORE 1344552.366
AT ITER 7940 NEW BEST:: SOT 11787790 SOS 7330035 HAS SOPS 6020777 HAS SOUS 1422122 HAS SOUPS 1335979 WITH SCORE 1343309.035
AT ITER 7946 NEW BEST:: SOT 11788563 SOS 7328988 HAS SOPS 6020293 HAS SOUS 1421903 HAS SOUPS 1335760 WITH SCORE 1343088.988
AT ITER 7977 NEW BEST:: SOT 11788563 SOS 7328952 HAS SOPS 6020207 HAS SOUS 1421894 HAS SOUPS 1335750 WITH SCORE 1343078.952
AT ITER 7986 NEW BEST:: SOT 11787901 SOS 7328700 HAS SOPS 6019201 HAS SOUS 1420496 HAS SOUPS 1334352 WITH SCORE 1341680.7
AT ITER 7990 NEW BEST:: SOT 11783523 SOS 7322757 HAS SOPS 6012932 HAS SOUS 1415284 HAS SOUPS 1329182 WITH SCORE 1336504.757
AT ITER 8005 NEW BEST:: SOT 11784103 SOS 7323352 HAS SOPS 6013304 HAS SOUS 1414169 HAS SOUPS 1328067 WITH SCORE 1335390.352
AT ITER 8010 NEW BEST:: SOT 11781747 SOS 7320779 HAS SOPS 6010387 HAS SOUS 1408569 HAS SOUPS 1322467 WITH SCORE 1329787.779
AT ITER 8013 NEW BEST:: SOT 11781533 SOS 7320550 HAS SOPS 6009903 HAS SOUS 1407964 HAS SOUPS 1321862 WITH SCORE 1329182.55
AT ITER 8017 NEW BEST:: SOT 11783107 SOS 7322066 HAS SOPS 6012185 HAS SOUS 1407601 HAS SOUPS 1321499 WITH SCORE 1328821.066
AT ITER 8036 NEW BEST:: SOT 11783083 SOS 7321801 HAS SOPS 6013039 HAS SOUS 1403941 HAS SOUPS 1317756 WITH SCORE 1325077.801
AT ITER 8059 NEW BEST:: SOT 11783149 SOS 7319891 HAS SOPS 6011191 HAS SOUS 1403421 HAS SOUPS 1317257 WITH SCORE 1324576.891
AT ITER 8089 NEW BEST:: SOT 11776202 SOS 7305716 HAS SOPS 5994569 HAS SOUS 1402756 HAS SOUPS 1316465 WITH SCORE 1323770.716
AT ITER 8091 NEW BEST:: SOT 11776159 SOS 7305697 HAS SOPS 5994562 HAS SOUS 1402637 HAS SOUPS 1316346 WITH SCORE 1323651.697
AT ITER 8105 NEW BEST:: SOT 11776168 SOS 7305188 HAS SOPS 5993805 HAS SOUS 1402339 HAS SOUPS 1316048 WITH SCORE 1323353.188
AT ITER 8108 NEW BEST:: SOT 11776081 SOS 7304904 HAS SOPS 5993474 HAS SOUS 1402278 HAS SOUPS 1315984 WITH SCORE 1323288.904
AT ITER 8110 NEW BEST:: SOT 11775459 SOS 7306168 HAS SOPS 5993442 HAS SOUS 1400132 HAS SOUPS 1313838 WITH SCORE 1321144.168
AT ITER 8122 NEW BEST:: SOT 11773814 SOS 7306291 HAS SOPS 5992973 HAS SOUS 1397325 HAS SOUPS 1311031 WITH SCORE 1318337.291
AT ITER 8133 NEW BEST:: SOT 11773868 SOS 7307279 HAS SOPS 5993358 HAS SOUS 1394508 HAS SOUPS 1308507 WITH SCORE 1315814.279
AT ITER 8158 NEW BEST:: SOT 11773197 SOS 7307633 HAS SOPS 5993494 HAS SOUS 1392173 HAS SOUPS 1306112 WITH SCORE 1313419.633
AT ITER 8165 NEW BEST:: SOT 11773008 SOS 7307337 HAS SOPS 5993092 HAS SOUS 1392022 HAS SOUPS 1305970 WITH SCORE 1313277.337
AT ITER 8210 NEW BEST:: SOT 11773491 SOS 7308448 HAS SOPS 5994548 HAS SOUS 1391177 HAS SOUPS 1305125 WITH SCORE 1312433.448
AT ITER 8223 NEW BEST:: SOT 11771835 SOS 7306792 HAS SOPS 5992180 HAS SOUS 1388687 HAS SOUPS 1302503 WITH SCORE 1309809.792
AT ITER 8226 NEW BEST:: SOT 11769819 SOS 7305001 HAS SOPS 5989716 HAS SOUS 1386486 HAS SOUPS 1300073 WITH SCORE 1307378.001
AT ITER 8240 NEW BEST:: SOT 11768147 SOS 7301718 HAS SOPS 5987430 HAS SOUS 1385731 HAS SOUPS 1299427 WITH SCORE 1306728.718
AT ITER 8256 NEW BEST:: SOT 11768236 SOS 7301663 HAS SOPS 5987339 HAS SOUS 1385456 HAS SOUPS 1299152 WITH SCORE 1306453.663
AT ITER 8265 NEW BEST:: SOT 11767971 SOS 7301373 HAS SOPS 5987044 HAS SOUS 1385406 HAS SOUPS 1299097 WITH SCORE 1306398.373
AT ITER 8282 NEW BEST:: SOT 11767596 SOS 7299546 HAS SOPS 5985303 HAS SOUS 1384667 HAS SOUPS 1298358 WITH SCORE 1305657.546
AT ITER 8285 NEW BEST:: SOT 11767134 SOS 7299084 HAS SOPS 5984841 HAS SOUS 1384557 HAS SOUPS 1298248 WITH SCORE 1305547.084
AT ITER 8296 NEW BEST:: SOT 11765777 SOS 7297620 HAS SOPS 5989040 HAS SOUS 1383761 HAS SOUPS 1297648 WITH SCORE 1304945.62
AT ITER 8299 NEW BEST:: SOT 11765413 SOS 7288672 HAS SOPS 5980092 HAS SOUS 1383195 HAS SOUPS 1297082 WITH SCORE 1304370.672
AT ITER 8317 NEW BEST:: SOT 11765538 SOS 7289478 HAS SOPS 5980892 HAS SOUS 1382436 HAS SOUPS 1296323 WITH SCORE 1303612.478
AT ITER 8319 NEW BEST:: SOT 11764945 SOS 7288836 HAS SOPS 5980563 HAS SOUS 1379031 HAS SOUPS 1293338 WITH SCORE 1300626.836
AT ITER 8376 NEW BEST:: SOT 11763861 SOS 7287454 HAS SOPS 5979194 HAS SOUS 1378748 HAS SOUPS 1293055 WITH SCORE 1300342.454
AT ITER 8443 NEW BEST:: SOT 11763342 SOS 7287063 HAS SOPS 5977891 HAS SOUS 1376483 HAS SOUPS 1290790 WITH SCORE 1298077.063
AT ITER 8473 NEW BEST:: SOT 11763348 SOS 7287079 HAS SOPS 5977845 HAS SOUS 1376479 HAS SOUPS 1290786 WITH SCORE 1298073.079
AT ITER 8477 NEW BEST:: SOT 11762164 SOS 7288086 HAS SOPS 5977041 HAS SOUS 1375288 HAS SOUPS 1289595 WITH SCORE 1296883.086
AT ITER 8503 NEW BEST:: SOT 11761814 SOS 7288084 HAS SOPS 5976717 HAS SOUS 1374390 HAS SOUPS 1288687 WITH SCORE 1295975.084
AT ITER 8523 NEW BEST:: SOT 11761110 SOS 7286776 HAS SOPS 5975481 HAS SOUS 1373591 HAS SOUPS 1287895 WITH SCORE 1295181.776
AT ITER 8545 NEW BEST:: SOT 11762975 SOS 7291129 HAS SOPS 5980255 HAS SOUS 1371951 HAS SOUPS 1286802 WITH SCORE 1294093.129
AT ITER 8576 NEW BEST:: SOT 11763188 SOS 7291230 HAS SOPS 5980258 HAS SOUS 1371541 HAS SOUPS 1286399 WITH SCORE 1293690.23
AT ITER 8596 NEW BEST:: SOT 11761935 SOS 7287209 HAS SOPS 5976517 HAS SOUS 1370480 HAS SOUPS 1285373 WITH SCORE 1292660.209
AT ITER 8600 NEW BEST:: SOT 11761883 SOS 7286945 HAS SOPS 5976229 HAS SOUS 1370369 HAS SOUPS 1285262 WITH SCORE 1292548.945
AT ITER 8601 NEW BEST:: SOT 11761923 SOS 7286985 HAS SOPS 5976333 HAS SOUS 1370325 HAS SOUPS 1285238 WITH SCORE 1292524.985
AT ITER 8625 NEW BEST:: SOT 11761187 SOS 7286247 HAS SOPS 5975749 HAS SOUS 1370069 HAS SOUPS 1284982 WITH SCORE 1292268.247
AT ITER 8631 NEW BEST:: SOT 11760822 SOS 7285896 HAS SOPS 5975334 HAS SOUS 1368462 HAS SOUPS 1283375 WITH SCORE 1290660.896
AT ITER 8652 NEW BEST:: SOT 11760538 SOS 7284295 HAS SOPS 5974383 HAS SOUS 1368081 HAS SOUPS 1282994 WITH SCORE 1290278.295
AT ITER 8669 NEW BEST:: SOT 11765352 SOS 7289579 HAS SOPS 5979278 HAS SOUS 1367455 HAS SOUPS 1282368 WITH SCORE 1289657.579
AT ITER 8884 NEW BEST:: SOT 11763692 SOS 7288483 HAS SOPS 5977033 HAS SOUS 1364579 HAS SOUPS 1279517 WITH SCORE 1286805.483
AT ITER 8902 NEW BEST:: SOT 11763678 SOS 7288299 HAS SOPS 5976868 HAS SOUS 1364326 HAS SOUPS 1279264 WITH SCORE 1286552.299
AT ITER 8923 NEW BEST:: SOT 11763516 SOS 7288071 HAS SOPS 5976640 HAS SOUS 1364146 HAS SOUPS 1279084 WITH SCORE 1286372.071
AT ITER 8929 NEW BEST:: SOT 11761997 SOS 7286092 HAS SOPS 5973221 HAS SOUS 1363668 HAS SOUPS 1278606 WITH SCORE 1285892.092
AT ITER 8930 NEW BEST:: SOT 11761951 SOS 7286174 HAS SOPS 5973303 HAS SOUS 1363613 HAS SOUPS 1278551 WITH SCORE 1285837.174
AT ITER 8932 NEW BEST:: SOT 11761854 SOS 7285922 HAS SOPS 5973000 HAS SOUS 1363365 HAS SOUPS 1278306 WITH SCORE 1285591.922
AT ITER 8941 NEW BEST:: SOT 11760515 SOS 7283639 HAS SOPS 5970639 HAS SOUS 1363119 HAS SOUPS 1278060 WITH SCORE 1285343.639
AT ITER 8952 NEW BEST:: SOT 11760411 SOS 7283533 HAS SOPS 5970527 HAS SOUS 1362759 HAS SOUPS 1277700 WITH SCORE 1284983.533
AT ITER 8955 NEW BEST:: SOT 11762656 SOS 7285890 HAS SOPS 5970423 HAS SOUS 1356929 HAS SOUPS 1271870 WITH SCORE 1279155.89
AT ITER 8986 NEW BEST:: SOT 11761290 SOS 7284504 HAS SOPS 5968877 HAS SOUS 1356896 HAS SOUPS 1271677 WITH SCORE 1278961.504
AT ITER 8987 NEW BEST:: SOT 11761292 SOS 7284605 HAS SOPS 5968644 HAS SOUS 1356884 HAS SOUPS 1271665 WITH SCORE 1278949.605
AT ITER 9009 NEW BEST:: SOT 11761009 SOS 7284309 HAS SOPS 5968296 HAS SOUS 1356341 HAS SOUPS 1271122 WITH SCORE 1278406.309
AT ITER 9025 NEW BEST:: SOT 11758832 SOS 7280644 HAS SOPS 5964408 HAS SOUS 1352737 HAS SOUPS 1267830 WITH SCORE 1275110.644
AT ITER 9048 NEW BEST:: SOT 11759272 SOS 7280669 HAS SOPS 5964563 HAS SOUS 1352501 HAS SOUPS 1267616 WITH SCORE 1274896.669
AT ITER 9059 NEW BEST:: SOT 11758705 SOS 7279254 HAS SOPS 5963451 HAS SOUS 1352347 HAS SOUPS 1267480 WITH SCORE 1274759.254
AT ITER 9084 NEW BEST:: SOT 11758232 SOS 7277911 HAS SOPS 5962263 HAS SOUS 1352101 HAS SOUPS 1267402 WITH SCORE 1274679.911
AT ITER 9099 NEW BEST:: SOT 11755510 SOS 7275145 HAS SOPS 5961026 HAS SOUS 1350391 HAS SOUPS 1265692 WITH SCORE 1272967.145
AT ITER 9101 NEW BEST:: SOT 11755390 SOS 7275025 HAS SOPS 5960826 HAS SOUS 1349799 HAS SOUPS 1265100 WITH SCORE 1272375.025
AT ITER 9159 NEW BEST:: SOT 11754272 SOS 7272633 HAS SOPS 5958546 HAS SOUS 1348641 HAS SOUPS 1263942 WITH SCORE 1271214.633
AT ITER 9224 NEW BEST:: SOT 11752236 SOS 7270912 HAS SOPS 5953853 HAS SOUS 1348400 HAS SOUPS 1263635 WITH SCORE 1270905.912
AT ITER 9241 NEW BEST:: SOT 11751514 SOS 7268264 HAS SOPS 5950516 HAS SOUS 1346730 HAS SOUPS 1261965 WITH SCORE 1269233.264
AT ITER 9259 NEW BEST:: SOT 11751485 SOS 7265949 HAS SOPS 5947722 HAS SOUS 1346532 HAS SOUPS 1261767 WITH SCORE 1269032.949
AT ITER 9276 NEW BEST:: SOT 11751468 SOS 7265387 HAS SOPS 5947218 HAS SOUS 1346161 HAS SOUPS 1261396 WITH SCORE 1268661.387
AT ITER 9370 NEW BEST:: SOT 11751687 SOS 7266810 HAS SOPS 5949307 HAS SOUS 1346088 HAS SOUPS 1261323 WITH SCORE 1268589.81
AT ITER 9393 NEW BEST:: SOT 11750848 SOS 7266096 HAS SOPS 5947834 HAS SOUS 1343647 HAS SOUPS 1258882 WITH SCORE 1266148.096
AT ITER 9420 NEW BEST:: SOT 11750103 SOS 7263554 HAS SOPS 5946911 HAS SOUS 1342496 HAS SOUPS 1258124 WITH SCORE 1265387.554
AT ITER 9423 NEW BEST:: SOT 11749030 SOS 7262144 HAS SOPS 5945241 HAS SOUS 1338913 HAS SOUPS 1254562 WITH SCORE 1261824.144
AT ITER 9433 NEW BEST:: SOT 11746569 SOS 7258911 HAS SOPS 5942991 HAS SOUS 1337485 HAS SOUPS 1253322 WITH SCORE 1260580.911
AT ITER 9610 NEW BEST:: SOT 11746489 SOS 7258543 HAS SOPS 5942383 HAS SOUS 1337485 HAS SOUPS 1253322 WITH SCORE 1260580.543
AT ITER 9625 NEW BEST:: SOT 11737197 SOS 7236294 HAS SOPS 5918299 HAS SOUS 1336547 HAS SOUPS 1252233 WITH SCORE 1259469.294
AT ITER 9627 NEW BEST:: SOT 11737766 SOS 7236863 HAS SOPS 5918868 HAS SOUS 1336304 HAS SOUPS 1251990 WITH SCORE 1259226.863
AT ITER 9636 NEW BEST:: SOT 11737657 SOS 7236446 HAS SOPS 5918425 HAS SOUS 1335997 HAS SOUPS 1251683 WITH SCORE 1258919.446
AT ITER 9660 NEW BEST:: SOT 11734193 SOS 7231945 HAS SOPS 5914240 HAS SOUS 1333994 HAS SOUPS 1249652 WITH SCORE 1256883.945
AT ITER 9664 NEW BEST:: SOT 11733620 SOS 7231367 HAS SOPS 5913582 HAS SOUS 1333421 HAS SOUPS 1249079 WITH SCORE 1256310.367
AT ITER 9695 NEW BEST:: SOT 11732938 SOS 7231393 HAS SOPS 5913583 HAS SOUS 1332225 HAS SOUPS 1247883 WITH SCORE 1255114.393
AT ITER 9752 NEW BEST:: SOT 11732615 SOS 7232412 HAS SOPS 5911946 HAS SOUS 1326439 HAS SOUPS 1242097 WITH SCORE 1249329.412
AT ITER 9797 NEW BEST:: SOT 11732691 SOS 7232122 HAS SOPS 5911394 HAS SOUS 1326252 HAS SOUPS 1241910 WITH SCORE 1249142.122
AT ITER 9880 NEW BEST:: SOT 11732366 SOS 7231797 HAS SOPS 5911069 HAS SOUS 1325543 HAS SOUPS 1241201 WITH SCORE 1248432.797
AT ITER 9907 NEW BEST:: SOT 11728021 SOS 7227083 HAS SOPS 5908195 HAS SOUS 1325207 HAS SOUPS 1240865 WITH SCORE 1248092.083
AT ITER 9918 NEW BEST:: SOT 11728129 SOS 7227461 HAS SOPS 5908495 HAS SOUS 1325105 HAS SOUPS 1240763 WITH SCORE 1247990.461
AT ITER 9942 NEW BEST:: SOT 11727921 SOS 7227960 HAS SOPS 5908044 HAS SOUS 1324582 HAS SOUPS 1240240 WITH SCORE 1247467.96
AT ITER 9965 NEW BEST:: SOT 11728127 SOS 7225349 HAS SOPS 5906427 HAS SOUS 1324565 HAS SOUPS 1240223 WITH SCORE 1247448.349
AT ITER 9976 NEW BEST:: SOT 11728359 SOS 7225323 HAS SOPS 5906445 HAS SOUS 1323229 HAS SOUPS 1238909 WITH SCORE 1246134.323

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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