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-158961502300060.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-8, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300060
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 20:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 20:33 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:25 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)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589682518301

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

GOT IT HERE. BS
Petri model created: 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 9 NEW BEST:: SOT 12197779 SOS 7748080 HAS SOPS 6415746 HAS SOUS 3042919 HAS SOUPS 2942213 WITH SCORE 2949961.08
AT ITER 14 NEW BEST:: SOT 12196941 SOS 7748198 HAS SOPS 6418014 HAS SOUS 3042036 HAS SOUPS 2941330 WITH SCORE 2949078.198
AT ITER 26 NEW BEST:: SOT 12196193 SOS 7747046 HAS SOPS 6416624 HAS SOUS 3040702 HAS SOUPS 2939996 WITH SCORE 2947743.046
AT ITER 31 NEW BEST:: SOT 12196156 SOS 7747005 HAS SOPS 6416568 HAS SOUS 3040628 HAS SOUPS 2939922 WITH SCORE 2947669.005
AT ITER 43 NEW BEST:: SOT 12192872 SOS 7739818 HAS SOPS 6412032 HAS SOUS 3029145 HAS SOUPS 2928710 WITH SCORE 2936449.818
AT ITER 46 NEW BEST:: SOT 12189801 SOS 7733921 HAS SOPS 6411136 HAS SOUS 3027724 HAS SOUPS 2927289 WITH SCORE 2935022.921
AT ITER 57 NEW BEST:: SOT 12189926 SOS 7734192 HAS SOPS 6411150 HAS SOUS 3027650 HAS SOUPS 2927215 WITH SCORE 2934949.192
AT ITER 75 NEW BEST:: SOT 12192119 SOS 7744291 HAS SOPS 6418659 HAS SOUS 3026280 HAS SOUPS 2925845 WITH SCORE 2933589.291
AT ITER 79 NEW BEST:: SOT 12192630 SOS 7745005 HAS SOPS 6420670 HAS SOUS 3025619 HAS SOUPS 2925143 WITH SCORE 2932888.005
AT ITER 85 NEW BEST:: SOT 12189735 SOS 7737617 HAS SOPS 6417110 HAS SOUS 3018569 HAS SOUPS 2918470 WITH SCORE 2926207.617
AT ITER 98 NEW BEST:: SOT 12187144 SOS 7733484 HAS SOPS 6414430 HAS SOUS 3015705 HAS SOUPS 2915606 WITH SCORE 2923339.484
AT ITER 100 NEW BEST:: SOT 12182651 SOS 7728392 HAS SOPS 6406474 HAS SOUS 3009663 HAS SOUPS 2909400 WITH SCORE 2917128.392
AT ITER 102 NEW BEST:: SOT 12182634 SOS 7728183 HAS SOPS 6406209 HAS SOUS 3009600 HAS SOUPS 2909337 WITH SCORE 2917065.183
AT ITER 104 NEW BEST:: SOT 12183276 SOS 7730640 HAS SOPS 6409546 HAS SOUS 3009335 HAS SOUPS 2909072 WITH SCORE 2916802.64
AT ITER 108 NEW BEST:: SOT 12182457 SOS 7729789 HAS SOPS 6408215 HAS SOUS 3007298 HAS SOUPS 2906825 WITH SCORE 2914554.789
AT ITER 137 NEW BEST:: SOT 12182766 SOS 7732427 HAS SOPS 6410209 HAS SOUS 3006612 HAS SOUPS 2906139 WITH SCORE 2913871.427
AT ITER 138 NEW BEST:: SOT 12185174 SOS 7741117 HAS SOPS 6423890 HAS SOUS 3005056 HAS SOUPS 2904583 WITH SCORE 2912324.117
AT ITER 140 NEW BEST:: SOT 12164768 SOS 7721317 HAS SOPS 6402833 HAS SOUS 2975694 HAS SOUPS 2875069 WITH SCORE 2882790.317
AT ITER 142 NEW BEST:: SOT 12165407 SOS 7723978 HAS SOPS 6404758 HAS SOUS 2975534 HAS SOUPS 2874909 WITH SCORE 2882632.978
AT ITER 149 NEW BEST:: SOT 12165330 SOS 7723931 HAS SOPS 6404765 HAS SOUS 2975325 HAS SOUPS 2874700 WITH SCORE 2882423.931
AT ITER 160 NEW BEST:: SOT 12171388 SOS 7739472 HAS SOPS 6424077 HAS SOUS 2975088 HAS SOUPS 2874463 WITH SCORE 2882202.472
AT ITER 165 NEW BEST:: SOT 12175031 SOS 7751086 HAS SOPS 6434070 HAS SOUS 2972878 HAS SOUPS 2872253 WITH SCORE 2880004.086
AT ITER 166 NEW BEST:: SOT 12174343 SOS 7749638 HAS SOPS 6432032 HAS SOUS 2969604 HAS SOUPS 2868979 WITH SCORE 2876728.638
AT ITER 167 NEW BEST:: SOT 12173480 SOS 7745502 HAS SOPS 6433565 HAS SOUS 2954016 HAS SOUPS 2854172 WITH SCORE 2861917.502
AT ITER 173 NEW BEST:: SOT 12176115 SOS 7753232 HAS SOPS 6443019 HAS SOUS 2950894 HAS SOUPS 2851163 WITH SCORE 2858916.232
AT ITER 178 NEW BEST:: SOT 12175974 SOS 7754299 HAS SOPS 6444630 HAS SOUS 2950378 HAS SOUPS 2850647 WITH SCORE 2858401.299
AT ITER 183 NEW BEST:: SOT 12175309 SOS 7753735 HAS SOPS 6443658 HAS SOUS 2949911 HAS SOUPS 2849959 WITH SCORE 2857712.735
AT ITER 192 NEW BEST:: SOT 12178983 SOS 7765708 HAS SOPS 6462675 HAS SOUS 2943733 HAS SOUPS 2843990 WITH SCORE 2851755.708
AT ITER 197 NEW BEST:: SOT 12179026 SOS 7763563 HAS SOPS 6463268 HAS SOUS 2942326 HAS SOUPS 2842583 WITH SCORE 2850346.563
AT ITER 198 NEW BEST:: SOT 12185118 SOS 7784206 HAS SOPS 6482033 HAS SOUS 2937178 HAS SOUPS 2837435 WITH SCORE 2845219.206
AT ITER 199 NEW BEST:: SOT 12182177 SOS 7781361 HAS SOPS 6479577 HAS SOUS 2930477 HAS SOUPS 2830813 WITH SCORE 2838594.361
AT ITER 204 NEW BEST:: SOT 12181135 SOS 7775859 HAS SOPS 6475489 HAS SOUS 2927756 HAS SOUPS 2828092 WITH SCORE 2835867.859
AT ITER 209 NEW BEST:: SOT 12180980 SOS 7776871 HAS SOPS 6475938 HAS SOUS 2925913 HAS SOUPS 2826249 WITH SCORE 2834025.871
AT ITER 218 NEW BEST:: SOT 12181722 SOS 7779159 HAS SOPS 6478555 HAS SOUS 2925365 HAS SOUPS 2825701 WITH SCORE 2833480.159
AT ITER 219 NEW BEST:: SOT 12182096 SOS 7779827 HAS SOPS 6480240 HAS SOUS 2918825 HAS SOUPS 2819712 WITH SCORE 2827491.827
AT ITER 221 NEW BEST:: SOT 12183761 SOS 7787608 HAS SOPS 6486506 HAS SOUS 2913015 HAS SOUPS 2813902 WITH SCORE 2821689.608
AT ITER 222 NEW BEST:: SOT 12185211 SOS 7795441 HAS SOPS 6489791 HAS SOUS 2900662 HAS SOUPS 2801549 WITH SCORE 2809344.441
AT ITER 225 NEW BEST:: SOT 12192014 SOS 7804593 HAS SOPS 6498094 HAS SOUS 2892318 HAS SOUPS 2793123 WITH SCORE 2800927.593
AT ITER 239 NEW BEST:: SOT 12192428 SOS 7805049 HAS SOPS 6498121 HAS SOUS 2892232 HAS SOUPS 2793037 WITH SCORE 2800842.049
AT ITER 264 NEW BEST:: SOT 12199354 SOS 7819213 HAS SOPS 6513066 HAS SOUS 2891200 HAS SOUPS 2792005 WITH SCORE 2799824.213
AT ITER 271 NEW BEST:: SOT 12189044 SOS 7808903 HAS SOPS 6502756 HAS SOUS 2879802 HAS SOUPS 2780607 WITH SCORE 2788415.903
AT ITER 274 NEW BEST:: SOT 12187988 SOS 7807948 HAS SOPS 6500982 HAS SOUS 2876860 HAS SOUPS 2777665 WITH SCORE 2785472.948
AT ITER 283 NEW BEST:: SOT 12164630 SOS 7784501 HAS SOPS 6475018 HAS SOUS 2851649 HAS SOUPS 2752451 WITH SCORE 2760235.501
AT ITER 294 NEW BEST:: SOT 12164947 SOS 7784988 HAS SOPS 6475831 HAS SOUS 2851199 HAS SOUPS 2752001 WITH SCORE 2759785.988
AT ITER 300 NEW BEST:: SOT 12168385 SOS 7800276 HAS SOPS 6488652 HAS SOUS 2843818 HAS SOUPS 2744620 WITH SCORE 2752420.276
AT ITER 302 NEW BEST:: SOT 12169384 SOS 7808321 HAS SOPS 6499044 HAS SOUS 2839866 HAS SOUPS 2740791 WITH SCORE 2748599.321
AT ITER 315 NEW BEST:: SOT 12160652 SOS 7789157 HAS SOPS 6487124 HAS SOUS 2827505 HAS SOUPS 2728770 WITH SCORE 2736559.157
AT ITER 318 NEW BEST:: SOT 12159861 SOS 7787481 HAS SOPS 6484815 HAS SOUS 2826704 HAS SOUPS 2727969 WITH SCORE 2735756.481
AT ITER 321 NEW BEST:: SOT 12161201 SOS 7789131 HAS SOPS 6487824 HAS SOUS 2826243 HAS SOUPS 2727637 WITH SCORE 2735426.131
AT ITER 330 NEW BEST:: SOT 12160483 SOS 7789138 HAS SOPS 6486530 HAS SOUS 2824042 HAS SOUPS 2725436 WITH SCORE 2733225.138
AT ITER 344 NEW BEST:: SOT 12160501 SOS 7789262 HAS SOPS 6486581 HAS SOUS 2823952 HAS SOUPS 2725346 WITH SCORE 2733135.262
AT ITER 358 NEW BEST:: SOT 12160057 SOS 7788925 HAS SOPS 6486910 HAS SOUS 2823884 HAS SOUPS 2725278 WITH SCORE 2733066.925
AT ITER 380 NEW BEST:: SOT 12159551 SOS 7788483 HAS SOPS 6489246 HAS SOUS 2818637 HAS SOUPS 2720031 WITH SCORE 2727819.483
AT ITER 391 NEW BEST:: SOT 12149665 SOS 7776343 HAS SOPS 6477077 HAS SOUS 2803082 HAS SOUPS 2704463 WITH SCORE 2712239.343
AT ITER 392 NEW BEST:: SOT 12150489 SOS 7779732 HAS SOPS 6479770 HAS SOUS 2802817 HAS SOUPS 2704198 WITH SCORE 2711977.732
AT ITER 395 NEW BEST:: SOT 12143574 SOS 7772227 HAS SOPS 6468223 HAS SOUS 2790770 HAS SOUPS 2692151 WITH SCORE 2699923.227
AT ITER 396 NEW BEST:: SOT 12143375 SOS 7772176 HAS SOPS 6468640 HAS SOUS 2790767 HAS SOUPS 2692148 WITH SCORE 2699920.176
AT ITER 413 NEW BEST:: SOT 12143274 SOS 7771559 HAS SOPS 6467910 HAS SOUS 2790510 HAS SOUPS 2691891 WITH SCORE 2699662.559
AT ITER 438 NEW BEST:: SOT 12130212 SOS 7758497 HAS SOPS 6454848 HAS SOUS 2773686 HAS SOUPS 2675067 WITH SCORE 2682825.497
AT ITER 441 NEW BEST:: SOT 12130212 SOS 7758329 HAS SOPS 6454864 HAS SOUS 2773685 HAS SOUPS 2675066 WITH SCORE 2682824.329
AT ITER 455 NEW BEST:: SOT 12131413 SOS 7762214 HAS SOPS 6457362 HAS SOUS 2773659 HAS SOUPS 2675040 WITH SCORE 2682802.214
AT ITER 469 NEW BEST:: SOT 12093467 SOS 7689458 HAS SOPS 6400485 HAS SOUS 2752130 HAS SOUPS 2653674 WITH SCORE 2661363.458
AT ITER 478 NEW BEST:: SOT 12092891 SOS 7700002 HAS SOPS 6411479 HAS SOUS 2752029 HAS SOUPS 2653573 WITH SCORE 2661273.002
AT ITER 493 NEW BEST:: SOT 12088114 SOS 7690496 HAS SOPS 6403925 HAS SOUS 2741275 HAS SOUPS 2642987 WITH SCORE 2650677.496
AT ITER 502 NEW BEST:: SOT 12088136 SOS 7690503 HAS SOPS 6403941 HAS SOUS 2741182 HAS SOUPS 2642933 WITH SCORE 2650623.503
AT ITER 503 NEW BEST:: SOT 12086725 SOS 7690673 HAS SOPS 6403681 HAS SOUS 2734710 HAS SOUPS 2636461 WITH SCORE 2644151.673
AT ITER 504 NEW BEST:: SOT 12086592 SOS 7693022 HAS SOPS 6412436 HAS SOUS 2726349 HAS SOUPS 2628303 WITH SCORE 2635996.022
AT ITER 507 NEW BEST:: SOT 12078890 SOS 7678752 HAS SOPS 6397866 HAS SOUS 2710454 HAS SOUPS 2612520 WITH SCORE 2620198.752
AT ITER 511 NEW BEST:: SOT 12078452 SOS 7678314 HAS SOPS 6397158 HAS SOUS 2709190 HAS SOUPS 2611241 WITH SCORE 2618919.314
AT ITER 519 NEW BEST:: SOT 12078402 SOS 7678251 HAS SOPS 6397095 HAS SOUS 2709003 HAS SOUPS 2611054 WITH SCORE 2618732.251
AT ITER 522 NEW BEST:: SOT 12075101 SOS 7672500 HAS SOPS 6397193 HAS SOUS 2704944 HAS SOUPS 2606995 WITH SCORE 2614667.5
AT ITER 534 NEW BEST:: SOT 12074677 SOS 7672054 HAS SOPS 6396483 HAS SOUS 2703946 HAS SOUPS 2605986 WITH SCORE 2613658.054
AT ITER 541 NEW BEST:: SOT 12078030 SOS 7684863 HAS SOPS 6408645 HAS SOUS 2701914 HAS SOUPS 2603954 WITH SCORE 2611638.863
AT ITER 545 NEW BEST:: SOT 12075335 SOS 7680448 HAS SOPS 6407131 HAS SOUS 2698158 HAS SOUPS 2600198 WITH SCORE 2607878.448
AT ITER 546 NEW BEST:: SOT 12076976 SOS 7691106 HAS SOPS 6417812 HAS SOUS 2693212 HAS SOUPS 2595252 WITH SCORE 2602943.106
AT ITER 579 NEW BEST:: SOT 12073682 SOS 7687110 HAS SOPS 6413802 HAS SOUS 2687810 HAS SOUPS 2589850 WITH SCORE 2597537.11
AT ITER 589 NEW BEST:: SOT 12073988 SOS 7687018 HAS SOPS 6412257 HAS SOUS 2684929 HAS SOUPS 2586971 WITH SCORE 2594658.018
AT ITER 592 NEW BEST:: SOT 12076522 SOS 7690809 HAS SOPS 6416220 HAS SOUS 2683149 HAS SOUPS 2585214 WITH SCORE 2592904.809
AT ITER 593 NEW BEST:: SOT 12078614 SOS 7698330 HAS SOPS 6422200 HAS SOUS 2679738 HAS SOUPS 2581803 WITH SCORE 2589501.33
AT ITER 607 NEW BEST:: SOT 12077400 SOS 7697116 HAS SOPS 6420986 HAS SOUS 2678524 HAS SOUPS 2580589 WITH SCORE 2588286.116
AT ITER 648 NEW BEST:: SOT 12071233 SOS 7687682 HAS SOPS 6406623 HAS SOUS 2665949 HAS SOUPS 2567913 WITH SCORE 2575600.682
AT ITER 651 NEW BEST:: SOT 12071125 SOS 7687321 HAS SOPS 6406171 HAS SOUS 2665142 HAS SOUPS 2567106 WITH SCORE 2574793.321
AT ITER 684 NEW BEST:: SOT 12069781 SOS 7684638 HAS SOPS 6402338 HAS SOUS 2662055 HAS SOUPS 2563854 WITH SCORE 2571538.638
AT ITER 694 NEW BEST:: SOT 12065010 SOS 7669325 HAS SOPS 6393970 HAS SOUS 2660090 HAS SOUPS 2562022 WITH SCORE 2569691.325
AT ITER 699 NEW BEST:: SOT 12061038 SOS 7664487 HAS SOPS 6387309 HAS SOUS 2645101 HAS SOUPS 2547288 WITH SCORE 2554952.487
AT ITER 719 NEW BEST:: SOT 12059758 SOS 7662582 HAS SOPS 6385114 HAS SOUS 2644121 HAS SOUPS 2546308 WITH SCORE 2553970.582
AT ITER 720 NEW BEST:: SOT 12062157 SOS 7657511 HAS SOPS 6387243 HAS SOUS 2631106 HAS SOUPS 2533399 WITH SCORE 2541056.511
AT ITER 753 NEW BEST:: SOT 12062135 SOS 7657470 HAS SOPS 6387202 HAS SOUS 2630800 HAS SOUPS 2533093 WITH SCORE 2540750.47
AT ITER 762 NEW BEST:: SOT 12064182 SOS 7660724 HAS SOPS 6393334 HAS SOUS 2630205 HAS SOUPS 2532498 WITH SCORE 2540158.724
AT ITER 763 NEW BEST:: SOT 12062192 SOS 7656928 HAS SOPS 6390312 HAS SOUS 2628420 HAS SOUPS 2530713 WITH SCORE 2538369.928
AT ITER 764 NEW BEST:: SOT 12063188 SOS 7649623 HAS SOPS 6388237 HAS SOUS 2625970 HAS SOUPS 2528294 WITH SCORE 2535943.623
AT ITER 776 NEW BEST:: SOT 12062959 SOS 7654761 HAS SOPS 6390008 HAS SOUS 2620749 HAS SOUPS 2523055 WITH SCORE 2530709.761
AT ITER 782 NEW BEST:: SOT 12062956 SOS 7655329 HAS SOPS 6392136 HAS SOUS 2619000 HAS SOUPS 2521306 WITH SCORE 2528961.329
AT ITER 794 NEW BEST:: SOT 12062257 SOS 7654616 HAS SOPS 6390943 HAS SOUS 2616441 HAS SOUPS 2518747 WITH SCORE 2526401.616
AT ITER 806 NEW BEST:: SOT 12060282 SOS 7651318 HAS SOPS 6388546 HAS SOUS 2616276 HAS SOUPS 2518614 WITH SCORE 2526265.318
AT ITER 817 NEW BEST:: SOT 12058544 SOS 7647896 HAS SOPS 6385614 HAS SOUS 2614665 HAS SOUPS 2517003 WITH SCORE 2524650.896
AT ITER 820 NEW BEST:: SOT 12062756 SOS 7659453 HAS SOPS 6394146 HAS SOUS 2612605 HAS SOUPS 2514943 WITH SCORE 2522602.453
AT ITER 834 NEW BEST:: SOT 12061579 SOS 7656132 HAS SOPS 6394424 HAS SOUS 2612539 HAS SOUPS 2514877 WITH SCORE 2522533.132
AT ITER 838 NEW BEST:: SOT 12063997 SOS 7666901 HAS SOPS 6404962 HAS SOUS 2607570 HAS SOUPS 2509973 WITH SCORE 2517639.901
AT ITER 844 NEW BEST:: SOT 12064610 SOS 7665161 HAS SOPS 6403793 HAS SOUS 2603577 HAS SOUPS 2505980 WITH SCORE 2513645.161
AT ITER 863 NEW BEST:: SOT 12068517 SOS 7674305 HAS SOPS 6416610 HAS SOUS 2596275 HAS SOUPS 2498678 WITH SCORE 2506352.305
AT ITER 864 NEW BEST:: SOT 12068203 SOS 7673047 HAS SOPS 6417259 HAS SOUS 2596144 HAS SOUPS 2498589 WITH SCORE 2506262.047
AT ITER 875 NEW BEST:: SOT 12082030 SOS 7700709 HAS SOPS 6445945 HAS SOUS 2595296 HAS SOUPS 2497741 WITH SCORE 2505441.709
AT ITER 909 NEW BEST:: SOT 12082593 SOS 7701932 HAS SOPS 6446443 HAS SOUS 2593899 HAS SOUPS 2496282 WITH SCORE 2503983.932
AT ITER 913 NEW BEST:: SOT 12082211 SOS 7702527 HAS SOPS 6446930 HAS SOUS 2592625 HAS SOUPS 2495008 WITH SCORE 2502710.527
AT ITER 931 NEW BEST:: SOT 12080961 SOS 7701059 HAS SOPS 6446955 HAS SOUS 2586628 HAS SOUPS 2489011 WITH SCORE 2496712.059
AT ITER 936 NEW BEST:: SOT 12081442 SOS 7703370 HAS SOPS 6448106 HAS SOUS 2584172 HAS SOUPS 2486555 WITH SCORE 2494258.37
AT ITER 947 NEW BEST:: SOT 12081351 SOS 7702380 HAS SOPS 6447096 HAS SOUS 2584005 HAS SOUPS 2486388 WITH SCORE 2494090.38
AT ITER 950 NEW BEST:: SOT 12075205 SOS 7690827 HAS SOPS 6439820 HAS SOUS 2577644 HAS SOUPS 2480749 WITH SCORE 2488439.827
AT ITER 953 NEW BEST:: SOT 12074392 SOS 7690265 HAS SOPS 6439700 HAS SOUS 2575702 HAS SOUPS 2478903 WITH SCORE 2486593.265
AT ITER 954 NEW BEST:: SOT 12071985 SOS 7684813 HAS SOPS 6435878 HAS SOUS 2574630 HAS SOUPS 2477831 WITH SCORE 2485515.813
AT ITER 965 NEW BEST:: SOT 12069685 SOS 7680297 HAS SOPS 6430424 HAS SOUS 2572898 HAS SOUPS 2476040 WITH SCORE 2483720.297
AT ITER 969 NEW BEST:: SOT 12071047 SOS 7687571 HAS SOPS 6432843 HAS SOUS 2563845 HAS SOUPS 2466987 WITH SCORE 2474674.571
AT ITER 976 NEW BEST:: SOT 12071002 SOS 7687517 HAS SOPS 6432789 HAS SOUS 2563674 HAS SOUPS 2466816 WITH SCORE 2474503.517
AT ITER 979 NEW BEST:: SOT 12063429 SOS 7680543 HAS SOPS 6424365 HAS SOUS 2552664 HAS SOUPS 2455694 WITH SCORE 2463374.543
AT ITER 1000 NEW BEST:: SOT 12063837 SOS 7685220 HAS SOPS 6428683 HAS SOUS 2549554 HAS SOUPS 2452584 WITH SCORE 2460269.22
AT ITER 1002 NEW BEST:: SOT 12062710 SOS 7684086 HAS SOPS 6427050 HAS SOUS 2546734 HAS SOUPS 2449809 WITH SCORE 2457493.086
AT ITER 1027 NEW BEST:: SOT 12062650 SOS 7684139 HAS SOPS 6427026 HAS SOUS 2546528 HAS SOUPS 2449603 WITH SCORE 2457287.139
AT ITER 1030 NEW BEST:: SOT 12062370 SOS 7683754 HAS SOPS 6426641 HAS SOUS 2546197 HAS SOUPS 2449272 WITH SCORE 2456955.754
AT ITER 1033 NEW BEST:: SOT 12062227 SOS 7683442 HAS SOPS 6425711 HAS SOUS 2544174 HAS SOUPS 2447889 WITH SCORE 2455572.442
AT ITER 1036 NEW BEST:: SOT 12061308 SOS 7682098 HAS SOPS 6425183 HAS SOUS 2542279 HAS SOUPS 2445994 WITH SCORE 2453676.098
AT ITER 1060 NEW BEST:: SOT 12060014 SOS 7682637 HAS SOPS 6421680 HAS SOUS 2532819 HAS SOUPS 2436515 WITH SCORE 2444197.637
AT ITER 1062 NEW BEST:: SOT 12051153 SOS 7670761 HAS SOPS 6410881 HAS SOUS 2524833 HAS SOUPS 2428673 WITH SCORE 2436343.761
AT ITER 1064 NEW BEST:: SOT 12045447 SOS 7665005 HAS SOPS 6405125 HAS SOUS 2518280 HAS SOUPS 2422120 WITH SCORE 2429785.005
AT ITER 1065 NEW BEST:: SOT 12045048 SOS 7662064 HAS SOPS 6402591 HAS SOUS 2517439 HAS SOUPS 2421279 WITH SCORE 2428941.064
AT ITER 1067 NEW BEST:: SOT 12044966 SOS 7661852 HAS SOPS 6402454 HAS SOUS 2517340 HAS SOUPS 2421180 WITH SCORE 2428841.852
AT ITER 1079 NEW BEST:: SOT 12044459 SOS 7660058 HAS SOPS 6401534 HAS SOUS 2516836 HAS SOUPS 2420676 WITH SCORE 2428336.058
AT ITER 1092 NEW BEST:: SOT 12041250 SOS 7664315 HAS SOPS 6399247 HAS SOUS 2498746 HAS SOUPS 2402415 WITH SCORE 2410079.315
AT ITER 1093 NEW BEST:: SOT 12041122 SOS 7663610 HAS SOPS 6398328 HAS SOUS 2498505 HAS SOUPS 2402174 WITH SCORE 2409837.61
AT ITER 1098 NEW BEST:: SOT 12041787 SOS 7664314 HAS SOPS 6398776 HAS SOUS 2497686 HAS SOUPS 2401355 WITH SCORE 2409019.314
AT ITER 1103 NEW BEST:: SOT 12041787 SOS 7664300 HAS SOPS 6398762 HAS SOUS 2497683 HAS SOUPS 2401352 WITH SCORE 2409016.3
AT ITER 1106 NEW BEST:: SOT 12040204 SOS 7659118 HAS SOPS 6396176 HAS SOUS 2497442 HAS SOUPS 2401175 WITH SCORE 2408834.118
AT ITER 1109 NEW BEST:: SOT 12042469 SOS 7662385 HAS SOPS 6400435 HAS SOUS 2496996 HAS SOUPS 2400697 WITH SCORE 2408359.385
AT ITER 1114 NEW BEST:: SOT 12045325 SOS 7666411 HAS SOPS 6403876 HAS SOUS 2496636 HAS SOUPS 2400317 WITH SCORE 2407983.411
AT ITER 1151 NEW BEST:: SOT 12043451 SOS 7664301 HAS SOPS 6401749 HAS SOUS 2493566 HAS SOUPS 2397261 WITH SCORE 2404925.301
AT ITER 1162 NEW BEST:: SOT 12042851 SOS 7663696 HAS SOPS 6401144 HAS SOUS 2492961 HAS SOUPS 2396656 WITH SCORE 2404319.696
AT ITER 1167 NEW BEST:: SOT 12038701 SOS 7657008 HAS SOPS 6396168 HAS SOUS 2492122 HAS SOUPS 2395817 WITH SCORE 2403474.008
AT ITER 1179 NEW BEST:: SOT 12038892 SOS 7658509 HAS SOPS 6397617 HAS SOUS 2491890 HAS SOUPS 2395585 WITH SCORE 2403243.509
AT ITER 1181 NEW BEST:: SOT 12037534 SOS 7656800 HAS SOPS 6392908 HAS SOUS 2488042 HAS SOUPS 2391690 WITH SCORE 2399346.8
AT ITER 1206 NEW BEST:: SOT 12037097 SOS 7656081 HAS SOPS 6391823 HAS SOUS 2486599 HAS SOUPS 2390247 WITH SCORE 2397903.081
AT ITER 1212 NEW BEST:: SOT 12036390 SOS 7656102 HAS SOPS 6391036 HAS SOUS 2485945 HAS SOUPS 2389548 WITH SCORE 2397204.102
AT ITER 1214 NEW BEST:: SOT 12040517 SOS 7667896 HAS SOPS 6399106 HAS SOUS 2482137 HAS SOUPS 2385740 WITH SCORE 2393407.896
AT ITER 1229 NEW BEST:: SOT 12042653 SOS 7668693 HAS SOPS 6401611 HAS SOUS 2478929 HAS SOUPS 2382651 WITH SCORE 2390319.693
AT ITER 1231 NEW BEST:: SOT 12047067 SOS 7676195 HAS SOPS 6410629 HAS SOUS 2477350 HAS SOUPS 2381072 WITH SCORE 2388748.195
AT ITER 1237 NEW BEST:: SOT 12040226 SOS 7667032 HAS SOPS 6401875 HAS SOUS 2470012 HAS SOUPS 2373758 WITH SCORE 2381425.032
AT ITER 1238 NEW BEST:: SOT 12041445 SOS 7668449 HAS SOPS 6403564 HAS SOUS 2469585 HAS SOUPS 2373331 WITH SCORE 2380999.449
AT ITER 1240 NEW BEST:: SOT 12038871 SOS 7664609 HAS SOPS 6400416 HAS SOUS 2466260 HAS SOUPS 2370006 WITH SCORE 2377670.609
AT ITER 1245 NEW BEST:: SOT 12040888 SOS 7667139 HAS SOPS 6400635 HAS SOUS 2465961 HAS SOUPS 2369707 WITH SCORE 2377374.139
AT ITER 1251 NEW BEST:: SOT 12041992 SOS 7670946 HAS SOPS 6403416 HAS SOUS 2464897 HAS SOUPS 2368694 WITH SCORE 2376364.946
AT ITER 1258 NEW BEST:: SOT 12041793 SOS 7669468 HAS SOPS 6404779 HAS SOUS 2462653 HAS SOUPS 2367526 WITH SCORE 2375195.468
AT ITER 1262 NEW BEST:: SOT 12042007 SOS 7671412 HAS SOPS 6405852 HAS SOUS 2462529 HAS SOUPS 2367371 WITH SCORE 2375042.412
AT ITER 1263 NEW BEST:: SOT 12030696 SOS 7658195 HAS SOPS 6392531 HAS SOUS 2450431 HAS SOUPS 2355273 WITH SCORE 2362931.195
AT ITER 1265 NEW BEST:: SOT 12026529 SOS 7649676 HAS SOPS 6386219 HAS SOUS 2449883 HAS SOUPS 2354745 WITH SCORE 2362394.676
AT ITER 1271 NEW BEST:: SOT 12026337 SOS 7649276 HAS SOPS 6385963 HAS SOUS 2449731 HAS SOUPS 2354633 WITH SCORE 2362282.276
AT ITER 1272 NEW BEST:: SOT 12024090 SOS 7640476 HAS SOPS 6383069 HAS SOUS 2439810 HAS SOUPS 2344712 WITH SCORE 2352352.476
AT ITER 1273 NEW BEST:: SOT 12025019 SOS 7638197 HAS SOPS 6381629 HAS SOUS 2432201 HAS SOUPS 2337239 WITH SCORE 2344877.197
AT ITER 1276 NEW BEST:: SOT 12026424 SOS 7647598 HAS SOPS 6388348 HAS SOUS 2424856 HAS SOUPS 2329894 WITH SCORE 2337541.598
AT ITER 1278 NEW BEST:: SOT 12020165 SOS 7636589 HAS SOPS 6377339 HAS SOUS 2418427 HAS SOUPS 2323465 WITH SCORE 2331101.589
AT ITER 1289 NEW BEST:: SOT 12015792 SOS 7625696 HAS SOPS 6367455 HAS SOUS 2414204 HAS SOUPS 2319242 WITH SCORE 2326867.696
AT ITER 1301 NEW BEST:: SOT 12016050 SOS 7626607 HAS SOPS 6367731 HAS SOUS 2412862 HAS SOUPS 2317900 WITH SCORE 2325526.607
AT ITER 1302 NEW BEST:: SOT 12006140 SOS 7599147 HAS SOPS 6347923 HAS SOUS 2410414 HAS SOUPS 2315769 WITH SCORE 2323368.147
AT ITER 1307 NEW BEST:: SOT 12009341 SOS 7607394 HAS SOPS 6354213 HAS SOUS 2409005 HAS SOUPS 2314360 WITH SCORE 2321967.394
AT ITER 1308 NEW BEST:: SOT 12007466 SOS 7605519 HAS SOPS 6352338 HAS SOUS 2407130 HAS SOUPS 2312485 WITH SCORE 2320090.519
AT ITER 1331 NEW BEST:: SOT 12006846 SOS 7604547 HAS SOPS 6351250 HAS SOUS 2405738 HAS SOUPS 2311093 WITH SCORE 2318697.547
AT ITER 1338 NEW BEST:: SOT 12005583 SOS 7603266 HAS SOPS 6349649 HAS SOUS 2402903 HAS SOUPS 2308258 WITH SCORE 2315861.266
AT ITER 1353 NEW BEST:: SOT 12005841 SOS 7604422 HAS SOPS 6350521 HAS SOUS 2402813 HAS SOUPS 2308168 WITH SCORE 2315772.422
AT ITER 1360 NEW BEST:: SOT 12005244 SOS 7602767 HAS SOPS 6347483 HAS SOUS 2402499 HAS SOUPS 2307811 WITH SCORE 2315413.767
AT ITER 1361 NEW BEST:: SOT 12004937 SOS 7602325 HAS SOPS 6347224 HAS SOUS 2401627 HAS SOUPS 2306939 WITH SCORE 2314541.325
AT ITER 1368 NEW BEST:: SOT 12006508 SOS 7621257 HAS SOPS 6369557 HAS SOUS 2399307 HAS SOUPS 2304619 WITH SCORE 2312240.257
AT ITER 1390 NEW BEST:: SOT 12006693 SOS 7621429 HAS SOPS 6369742 HAS SOUS 2399297 HAS SOUPS 2304609 WITH SCORE 2312230.429
AT ITER 1399 NEW BEST:: SOT 12006769 SOS 7621505 HAS SOPS 6369770 HAS SOUS 2399009 HAS SOUPS 2304321 WITH SCORE 2311942.505
AT ITER 1401 NEW BEST:: SOT 12008351 SOS 7623509 HAS SOPS 6372559 HAS SOUS 2396264 HAS SOUPS 2301576 WITH SCORE 2309199.509
AT ITER 1410 NEW BEST:: SOT 12016173 SOS 7638877 HAS SOPS 6385505 HAS SOUS 2387693 HAS SOUPS 2293045 WITH SCORE 2300683.877
AT ITER 1424 NEW BEST:: SOT 12014986 SOS 7637985 HAS SOPS 6383644 HAS SOUS 2384718 HAS SOUPS 2290040 WITH SCORE 2297677.985
AT ITER 1425 NEW BEST:: SOT 12015009 SOS 7637763 HAS SOPS 6383698 HAS SOUS 2384676 HAS SOUPS 2289998 WITH SCORE 2297635.763
AT ITER 1433 NEW BEST:: SOT 12014916 SOS 7637785 HAS SOPS 6383645 HAS SOUS 2383592 HAS SOUPS 2288916 WITH SCORE 2296553.785
AT ITER 1445 NEW BEST:: SOT 12012393 SOS 7627454 HAS SOPS 6372394 HAS SOUS 2381399 HAS SOUPS 2286595 WITH SCORE 2294222.454
AT ITER 1458 NEW BEST:: SOT 12011177 SOS 7626238 HAS SOPS 6370570 HAS SOUS 2378535 HAS SOUPS 2283491 WITH SCORE 2291117.238
AT ITER 1462 NEW BEST:: SOT 12007069 SOS 7620463 HAS SOPS 6368116 HAS SOUS 2357962 HAS SOUPS 2263294 WITH SCORE 2270914.463
AT ITER 1481 NEW BEST:: SOT 12008360 SOS 7625269 HAS SOPS 6371705 HAS SOUS 2357112 HAS SOUPS 2262444 WITH SCORE 2270069.269
AT ITER 1483 NEW BEST:: SOT 12007808 SOS 7623257 HAS SOPS 6367835 HAS SOUS 2356844 HAS SOUPS 2260875 WITH SCORE 2268498.257
AT ITER 1487 NEW BEST:: SOT 12008133 SOS 7623590 HAS SOPS 6368200 HAS SOUS 2356113 HAS SOUPS 2260176 WITH SCORE 2267799.59
AT ITER 1491 NEW BEST:: SOT 12010083 SOS 7625515 HAS SOPS 6369565 HAS SOUS 2355435 HAS SOUPS 2259482 WITH SCORE 2267107.515
AT ITER 1498 NEW BEST:: SOT 12010069 SOS 7625385 HAS SOPS 6369440 HAS SOUS 2355421 HAS SOUPS 2259468 WITH SCORE 2267093.385
AT ITER 1513 NEW BEST:: SOT 12010066 SOS 7625146 HAS SOPS 6369690 HAS SOUS 2355406 HAS SOUPS 2259453 WITH SCORE 2267078.146
AT ITER 1537 NEW BEST:: SOT 12006817 SOS 7617673 HAS SOPS 6362870 HAS SOUS 2348328 HAS SOUPS 2252462 WITH SCORE 2260079.673
AT ITER 1543 NEW BEST:: SOT 12006601 SOS 7617557 HAS SOPS 6363278 HAS SOUS 2346372 HAS SOUPS 2250506 WITH SCORE 2258123.557
AT ITER 1547 NEW BEST:: SOT 12005641 SOS 7616597 HAS SOPS 6361998 HAS SOUS 2344940 HAS SOUPS 2249010 WITH SCORE 2256626.597
AT ITER 1550 NEW BEST:: SOT 11996398 SOS 7602087 HAS SOPS 6353941 HAS SOUS 2334604 HAS SOUPS 2238674 WITH SCORE 2246276.087
AT ITER 1551 NEW BEST:: SOT 11995555 SOS 7599875 HAS SOPS 6350315 HAS SOUS 2332789 HAS SOUPS 2236859 WITH SCORE 2244458.875
AT ITER 1561 NEW BEST:: SOT 11995555 SOS 7600182 HAS SOPS 6349397 HAS SOUS 2332240 HAS SOUPS 2236310 WITH SCORE 2243910.182
AT ITER 1585 NEW BEST:: SOT 11995303 SOS 7603861 HAS SOPS 6354985 HAS SOUS 2329678 HAS SOUPS 2233748 WITH SCORE 2241351.861
AT ITER 1590 NEW BEST:: SOT 11995203 SOS 7603915 HAS SOPS 6354234 HAS SOUS 2322420 HAS SOUPS 2226490 WITH SCORE 2234093.915
AT ITER 1612 NEW BEST:: SOT 11993033 SOS 7597992 HAS SOPS 6349768 HAS SOUS 2320191 HAS SOUPS 2224414 WITH SCORE 2232011.992
AT ITER 1638 NEW BEST:: SOT 11992829 SOS 7597229 HAS SOPS 6349090 HAS SOUS 2320147 HAS SOUPS 2224370 WITH SCORE 2231967.229
AT ITER 1649 NEW BEST:: SOT 11991825 SOS 7595662 HAS SOPS 6347361 HAS SOUS 2317191 HAS SOUPS 2221487 WITH SCORE 2229082.662
AT ITER 1652 NEW BEST:: SOT 11989062 SOS 7593352 HAS SOPS 6345227 HAS SOUS 2308021 HAS SOUPS 2212370 WITH SCORE 2219963.352
AT ITER 1661 NEW BEST:: SOT 11989746 SOS 7596263 HAS SOPS 6348110 HAS SOUS 2307684 HAS SOUPS 2212033 WITH SCORE 2219629.263
AT ITER 1666 NEW BEST:: SOT 11988539 SOS 7597704 HAS SOPS 6346204 HAS SOUS 2299389 HAS SOUPS 2203664 WITH SCORE 2211261.704
AT ITER 1698 NEW BEST:: SOT 11988674 SOS 7597872 HAS SOPS 6346180 HAS SOUS 2298816 HAS SOUPS 2203091 WITH SCORE 2210688.872
AT ITER 1704 NEW BEST:: SOT 11992114 SOS 7604982 HAS SOPS 6353104 HAS SOUS 2292717 HAS SOUPS 2196992 WITH SCORE 2204596.982
AT ITER 1773 NEW BEST:: SOT 11992102 SOS 7604976 HAS SOPS 6353082 HAS SOUS 2292705 HAS SOUPS 2196980 WITH SCORE 2204584.976
AT ITER 1779 NEW BEST:: SOT 11992263 SOS 7604321 HAS SOPS 6355017 HAS SOUS 2292375 HAS SOUPS 2196706 WITH SCORE 2204310.321
AT ITER 1780 NEW BEST:: SOT 11996477 SOS 7614907 HAS SOPS 6365596 HAS SOUS 2291591 HAS SOUPS 2195922 WITH SCORE 2203536.907
AT ITER 1781 NEW BEST:: SOT 11990051 SOS 7604003 HAS SOPS 6358435 HAS SOUS 2284870 HAS SOUPS 2189283 WITH SCORE 2196887.003
AT ITER 1799 NEW BEST:: SOT 11990810 SOS 7605533 HAS SOPS 6359745 HAS SOUS 2284195 HAS SOUPS 2188613 WITH SCORE 2196218.533
AT ITER 1814 NEW BEST:: SOT 11990653 SOS 7605296 HAS SOPS 6359483 HAS SOUS 2283948 HAS SOUPS 2188371 WITH SCORE 2195976.296
AT ITER 1821 NEW BEST:: SOT 11990598 SOS 7605242 HAS SOPS 6359445 HAS SOUS 2283845 HAS SOUPS 2188268 WITH SCORE 2195873.242
AT ITER 1831 NEW BEST:: SOT 11985022 SOS 7592801 HAS SOPS 6348211 HAS SOUS 2283350 HAS SOUPS 2187799 WITH SCORE 2195391.801
AT ITER 1842 NEW BEST:: SOT 11985035 SOS 7592827 HAS SOPS 6348125 HAS SOUS 2282795 HAS SOUPS 2187244 WITH SCORE 2194836.827
AT ITER 1845 NEW BEST:: SOT 11982020 SOS 7589692 HAS SOPS 6345094 HAS SOUS 2277738 HAS SOUPS 2182211 WITH SCORE 2189800.692
AT ITER 1853 NEW BEST:: SOT 11980963 SOS 7588856 HAS SOPS 6343563 HAS SOUS 2275898 HAS SOUPS 2180371 WITH SCORE 2187959.856
AT ITER 1854 NEW BEST:: SOT 11981227 SOS 7589140 HAS SOPS 6343998 HAS SOUS 2275306 HAS SOUPS 2179779 WITH SCORE 2187368.14
AT ITER 1858 NEW BEST:: SOT 11981400 SOS 7587176 HAS SOPS 6345965 HAS SOUS 2273177 HAS SOUPS 2177650 WITH SCORE 2185237.176
AT ITER 1859 NEW BEST:: SOT 11980360 SOS 7584912 HAS SOPS 6343902 HAS SOUS 2272873 HAS SOUPS 2177346 WITH SCORE 2184930.912
AT ITER 1871 NEW BEST:: SOT 11980304 SOS 7584780 HAS SOPS 6343768 HAS SOUS 2272751 HAS SOUPS 2177226 WITH SCORE 2184810.78
AT ITER 1883 NEW BEST:: SOT 11984292 SOS 7594173 HAS SOPS 6350106 HAS SOUS 2254772 HAS SOUPS 2159247 WITH SCORE 2166841.173
AT ITER 1894 NEW BEST:: SOT 11984021 SOS 7591211 HAS SOPS 6348958 HAS SOUS 2253344 HAS SOUPS 2157819 WITH SCORE 2165410.211
AT ITER 1896 NEW BEST:: SOT 11980681 SOS 7587653 HAS SOPS 6344284 HAS SOUS 2248603 HAS SOUPS 2153078 WITH SCORE 2160665.653
AT ITER 1898 NEW BEST:: SOT 11979811 SOS 7587008 HAS SOPS 6341732 HAS SOUS 2248521 HAS SOUPS 2152996 WITH SCORE 2160583.008
AT ITER 1905 NEW BEST:: SOT 11975972 SOS 7582875 HAS SOPS 6337569 HAS SOUS 2244306 HAS SOUPS 2148756 WITH SCORE 2156338.875
AT ITER 1910 NEW BEST:: SOT 11974676 SOS 7578033 HAS SOPS 6332432 HAS SOUS 2242035 HAS SOUPS 2146485 WITH SCORE 2154063.033
AT ITER 1923 NEW BEST:: SOT 11974137 SOS 7577322 HAS SOPS 6330411 HAS SOUS 2239815 HAS SOUPS 2143814 WITH SCORE 2151391.322
AT ITER 1926 NEW BEST:: SOT 11973076 SOS 7572704 HAS SOPS 6325352 HAS SOUS 2239175 HAS SOUPS 2143174 WITH SCORE 2150746.704
AT ITER 1934 NEW BEST:: SOT 11973382 SOS 7573134 HAS SOPS 6325603 HAS SOUS 2238450 HAS SOUPS 2142462 WITH SCORE 2150035.134
AT ITER 1944 NEW BEST:: SOT 11973471 SOS 7573737 HAS SOPS 6326456 HAS SOUS 2238005 HAS SOUPS 2142017 WITH SCORE 2149590.737
AT ITER 1948 NEW BEST:: SOT 11971839 SOS 7571230 HAS SOPS 6323933 HAS SOUS 2236402 HAS SOUPS 2140414 WITH SCORE 2147985.23
AT ITER 1954 NEW BEST:: SOT 11971911 SOS 7571030 HAS SOPS 6321879 HAS SOUS 2235515 HAS SOUPS 2139527 WITH SCORE 2147098.03
AT ITER 1979 NEW BEST:: SOT 11978244 SOS 7575703 HAS SOPS 6327433 HAS SOUS 2231056 HAS SOUPS 2135293 WITH SCORE 2142868.703
AT ITER 1993 NEW BEST:: SOT 11986866 SOS 7597439 HAS SOPS 6337669 HAS SOUS 2221029 HAS SOUPS 2125167 WITH SCORE 2132764.439
AT ITER 2024 NEW BEST:: SOT 11991433 SOS 7605901 HAS SOPS 6348974 HAS SOUS 2220987 HAS SOUPS 2125125 WITH SCORE 2132730.901
AT ITER 2026 NEW BEST:: SOT 11989082 SOS 7603584 HAS SOPS 6346750 HAS SOUS 2214257 HAS SOUPS 2118395 WITH SCORE 2125998.584
AT ITER 2040 NEW BEST:: SOT 11986437 SOS 7597065 HAS SOPS 6340441 HAS SOUS 2206888 HAS SOUPS 2111026 WITH SCORE 2118623.065
AT ITER 2042 NEW BEST:: SOT 11986694 SOS 7597304 HAS SOPS 6340408 HAS SOUS 2206369 HAS SOUPS 2110507 WITH SCORE 2118104.304
AT ITER 2073 NEW BEST:: SOT 11983885 SOS 7593907 HAS SOPS 6337815 HAS SOUS 2205976 HAS SOUPS 2110214 WITH SCORE 2117807.907
AT ITER 2177 NEW BEST:: SOT 11987770 SOS 7609228 HAS SOPS 6350841 HAS SOUS 2203828 HAS SOUPS 2108066 WITH SCORE 2115675.228
AT ITER 2194 NEW BEST:: SOT 11987069 SOS 7608527 HAS SOPS 6349948 HAS SOUS 2202071 HAS SOUPS 2106309 WITH SCORE 2113917.527
AT ITER 2204 NEW BEST:: SOT 11987047 SOS 7609753 HAS SOPS 6349186 HAS SOUS 2199677 HAS SOUPS 2103888 WITH SCORE 2111497.753
AT ITER 2206 NEW BEST:: SOT 11988391 SOS 7614442 HAS SOPS 6356229 HAS SOUS 2199434 HAS SOUPS 2103645 WITH SCORE 2111259.442
AT ITER 2210 NEW BEST:: SOT 11985481 SOS 7610500 HAS SOPS 6352327 HAS SOUS 2196598 HAS SOUPS 2100924 WITH SCORE 2108534.5
AT ITER 2218 NEW BEST:: SOT 11986645 SOS 7613830 HAS SOPS 6355398 HAS SOUS 2194461 HAS SOUPS 2098787 WITH SCORE 2106400.83
AT ITER 2221 NEW BEST:: SOT 11986026 SOS 7614175 HAS SOPS 6355091 HAS SOUS 2193830 HAS SOUPS 2098059 WITH SCORE 2105673.175
AT ITER 2241 NEW BEST:: SOT 11986435 SOS 7614499 HAS SOPS 6355643 HAS SOUS 2193109 HAS SOUPS 2097559 WITH SCORE 2105173.499
AT ITER 2251 NEW BEST:: SOT 11986353 SOS 7613314 HAS SOPS 6354691 HAS SOUS 2192969 HAS SOUPS 2097419 WITH SCORE 2105032.314
AT ITER 2261 NEW BEST:: SOT 11987010 SOS 7614505 HAS SOPS 6355875 HAS SOUS 2192690 HAS SOUPS 2097140 WITH SCORE 2104754.505
AT ITER 2266 NEW BEST:: SOT 11987148 SOS 7614553 HAS SOPS 6355853 HAS SOUS 2192588 HAS SOUPS 2097038 WITH SCORE 2104652.553
AT ITER 2274 NEW BEST:: SOT 11987223 SOS 7614640 HAS SOPS 6355620 HAS SOUS 2192759 HAS SOUPS 2096889 WITH SCORE 2104503.64
AT ITER 2279 NEW BEST:: SOT 11986387 SOS 7613818 HAS SOPS 6354510 HAS SOUS 2191467 HAS SOUPS 2095597 WITH SCORE 2103210.818
AT ITER 2280 NEW BEST:: SOT 11985351 SOS 7612734 HAS SOPS 6353538 HAS SOUS 2190774 HAS SOUPS 2094904 WITH SCORE 2102516.734
AT ITER 2282 NEW BEST:: SOT 11984613 SOS 7612025 HAS SOPS 6352365 HAS SOUS 2188500 HAS SOUPS 2092630 WITH SCORE 2100242.025
AT ITER 2308 NEW BEST:: SOT 11984865 SOS 7612311 HAS SOPS 6352523 HAS SOUS 2188368 HAS SOUPS 2092498 WITH SCORE 2100110.311
AT ITER 2326 NEW BEST:: SOT 11978158 SOS 7609264 HAS SOPS 6348297 HAS SOUS 2167422 HAS SOUPS 2071682 WITH SCORE 2079291.264
AT ITER 2342 NEW BEST:: SOT 11978153 SOS 7609247 HAS SOPS 6348268 HAS SOUS 2167422 HAS SOUPS 2071682 WITH SCORE 2079291.247
AT ITER 2368 NEW BEST:: SOT 11977524 SOS 7605262 HAS SOPS 6344600 HAS SOUS 2164325 HAS SOUPS 2068585 WITH SCORE 2076190.262
AT ITER 2379 NEW BEST:: SOT 11976856 SOS 7604475 HAS SOPS 6343514 HAS SOUS 2162940 HAS SOUPS 2067200 WITH SCORE 2074804.475
AT ITER 2381 NEW BEST:: SOT 11976972 SOS 7604799 HAS SOPS 6343814 HAS SOUS 2162882 HAS SOUPS 2067142 WITH SCORE 2074746.799
AT ITER 2398 NEW BEST:: SOT 11976702 SOS 7604040 HAS SOPS 6343106 HAS SOUS 2162729 HAS SOUPS 2066989 WITH SCORE 2074593.04
AT ITER 2402 NEW BEST:: SOT 11976318 SOS 7603656 HAS SOPS 6342674 HAS SOUS 2162189 HAS SOUPS 2066449 WITH SCORE 2074052.656
AT ITER 2421 NEW BEST:: SOT 11976231 SOS 7603590 HAS SOPS 6342656 HAS SOUS 2162059 HAS SOUPS 2066319 WITH SCORE 2073922.59
AT ITER 2425 NEW BEST:: SOT 11975903 SOS 7603263 HAS SOPS 6342089 HAS SOUS 2160639 HAS SOUPS 2064899 WITH SCORE 2072502.263
AT ITER 2429 NEW BEST:: SOT 11975842 SOS 7600247 HAS SOPS 6342070 HAS SOUS 2159926 HAS SOUPS 2064186 WITH SCORE 2071786.247
AT ITER 2434 NEW BEST:: SOT 11979879 SOS 7604646 HAS SOPS 6347759 HAS SOUS 2159899 HAS SOUPS 2064124 WITH SCORE 2071728.646
AT ITER 2467 NEW BEST:: SOT 11978433 SOS 7603340 HAS SOPS 6345893 HAS SOUS 2158349 HAS SOUPS 2062574 WITH SCORE 2070177.34
AT ITER 2471 NEW BEST:: SOT 11974729 SOS 7595498 HAS SOPS 6338652 HAS SOUS 2155201 HAS SOUPS 2059458 WITH SCORE 2067053.498
AT ITER 2473 NEW BEST:: SOT 11966980 SOS 7588140 HAS SOPS 6325549 HAS SOUS 2137905 HAS SOUPS 2042029 WITH SCORE 2049617.14
AT ITER 2477 NEW BEST:: SOT 11967020 SOS 7588849 HAS SOPS 6325597 HAS SOUS 2135678 HAS SOUPS 2039802 WITH SCORE 2047390.849
AT ITER 2492 NEW BEST:: SOT 11964919 SOS 7585418 HAS SOPS 6319125 HAS SOUS 2125054 HAS SOUPS 2029178 WITH SCORE 2036763.418
AT ITER 2493 NEW BEST:: SOT 11964934 SOS 7585470 HAS SOPS 6319131 HAS SOUS 2124981 HAS SOUPS 2029105 WITH SCORE 2036690.47
AT ITER 2494 NEW BEST:: SOT 11961600 SOS 7580017 HAS SOPS 6314494 HAS SOUS 2122220 HAS SOUPS 2026344 WITH SCORE 2033924.017
AT ITER 2496 NEW BEST:: SOT 11960476 SOS 7578700 HAS SOPS 6312574 HAS SOUS 2121892 HAS SOUPS 2026016 WITH SCORE 2033594.7
AT ITER 2505 NEW BEST:: SOT 11959745 SOS 7577969 HAS SOPS 6312227 HAS SOUS 2121161 HAS SOUPS 2025669 WITH SCORE 2033246.969
AT ITER 2538 NEW BEST:: SOT 11955645 SOS 7572422 HAS SOPS 6304310 HAS SOUS 2118277 HAS SOUPS 2022411 WITH SCORE 2029983.422
AT ITER 2552 NEW BEST:: SOT 11952523 SOS 7568720 HAS SOPS 6300816 HAS SOUS 2111871 HAS SOUPS 2016057 WITH SCORE 2023625.72
AT ITER 2566 NEW BEST:: SOT 11952377 SOS 7568839 HAS SOPS 6300885 HAS SOUS 2111470 HAS SOUPS 2015656 WITH SCORE 2023224.839
AT ITER 2605 NEW BEST:: SOT 11952339 SOS 7569097 HAS SOPS 6300307 HAS SOUS 2110036 HAS SOUPS 2014258 WITH SCORE 2021827.097
AT ITER 2607 NEW BEST:: SOT 11947468 SOS 7563988 HAS SOPS 6294901 HAS SOUS 2103812 HAS SOUPS 2008074 WITH SCORE 2015637.988
AT ITER 2619 NEW BEST:: SOT 11959398 SOS 7576636 HAS SOPS 6306656 HAS SOUS 2103840 HAS SOUPS 2007654 WITH SCORE 2015230.636
AT ITER 2630 NEW BEST:: SOT 11959661 SOS 7579016 HAS SOPS 6310254 HAS SOUS 2103685 HAS SOUPS 2007499 WITH SCORE 2015078.016
AT ITER 2633 NEW BEST:: SOT 11959625 SOS 7578980 HAS SOPS 6310218 HAS SOUS 2103685 HAS SOUPS 2007499 WITH SCORE 2015077.98
AT ITER 2638 NEW BEST:: SOT 11958346 SOS 7577294 HAS SOPS 6307130 HAS SOUS 2103480 HAS SOUPS 2007294 WITH SCORE 2014871.294
AT ITER 2640 NEW BEST:: SOT 11967399 SOS 7590047 HAS SOPS 6320904 HAS SOUS 2094689 HAS SOUPS 1998644 WITH SCORE 2006234.047
AT ITER 2647 NEW BEST:: SOT 11966206 SOS 7589453 HAS SOPS 6318678 HAS SOUS 2092221 HAS SOUPS 1996108 WITH SCORE 2003697.453
AT ITER 2653 NEW BEST:: SOT 11965558 SOS 7588007 HAS SOPS 6317392 HAS SOUS 2091559 HAS SOUPS 1995446 WITH SCORE 2003034.007
AT ITER 2670 NEW BEST:: SOT 11963634 SOS 7585208 HAS SOPS 6314124 HAS SOUS 2088569 HAS SOUPS 1992456 WITH SCORE 2000041.208
AT ITER 2680 NEW BEST:: SOT 11954510 SOS 7574052 HAS SOPS 6298098 HAS SOUS 2080295 HAS SOUPS 1984182 WITH SCORE 1991756.052
AT ITER 2698 NEW BEST:: SOT 11953980 SOS 7574087 HAS SOPS 6296701 HAS SOUS 2076896 HAS SOUPS 1980788 WITH SCORE 1988362.087
AT ITER 2705 NEW BEST:: SOT 11953394 SOS 7575296 HAS SOPS 6295393 HAS SOUS 2073025 HAS SOUPS 1976917 WITH SCORE 1984492.296
AT ITER 2716 NEW BEST:: SOT 11953911 SOS 7576620 HAS SOPS 6296789 HAS SOUS 2072729 HAS SOUPS 1976621 WITH SCORE 1984197.62
AT ITER 2719 NEW BEST:: SOT 11952764 SOS 7575635 HAS SOPS 6293101 HAS SOUS 2069627 HAS SOUPS 1973519 WITH SCORE 1981094.635
AT ITER 2742 NEW BEST:: SOT 11953665 SOS 7576824 HAS SOPS 6294463 HAS SOUS 2069397 HAS SOUPS 1973262 WITH SCORE 1980838.824
AT ITER 2786 NEW BEST:: SOT 11952685 SOS 7576243 HAS SOPS 6294471 HAS SOUS 2067009 HAS SOUPS 1970819 WITH SCORE 1978395.243
AT ITER 2802 NEW BEST:: SOT 11954104 SOS 7579383 HAS SOPS 6296438 HAS SOUS 2065987 HAS SOUPS 1969797 WITH SCORE 1977376.383
AT ITER 2815 NEW BEST:: SOT 11945894 SOS 7574394 HAS SOPS 6286528 HAS SOUS 2055499 HAS SOUPS 1959309 WITH SCORE 1966883.394
AT ITER 2818 NEW BEST:: SOT 11943661 SOS 7572683 HAS SOPS 6282823 HAS SOUS 2048016 HAS SOUPS 1951826 WITH SCORE 1959398.683
AT ITER 2823 NEW BEST:: SOT 11943728 SOS 7572716 HAS SOPS 6282856 HAS SOUS 2047675 HAS SOUPS 1951485 WITH SCORE 1959057.716
AT ITER 2825 NEW BEST:: SOT 11935977 SOS 7560435 HAS SOPS 6272922 HAS SOUS 2045230 HAS SOUPS 1949040 WITH SCORE 1956600.435
AT ITER 2828 NEW BEST:: SOT 11933948 SOS 7560217 HAS SOPS 6269147 HAS SOUS 2037313 HAS SOUPS 1941123 WITH SCORE 1948683.217
AT ITER 2836 NEW BEST:: SOT 11927800 SOS 7553494 HAS SOPS 6262196 HAS SOUS 2030795 HAS SOUPS 1934688 WITH SCORE 1942241.494
AT ITER 2837 NEW BEST:: SOT 11927618 SOS 7553315 HAS SOPS 6261969 HAS SOUS 2030632 HAS SOUPS 1934525 WITH SCORE 1942078.315
AT ITER 2844 NEW BEST:: SOT 11926972 SOS 7553997 HAS SOPS 6262706 HAS SOUS 2028148 HAS SOUPS 1932041 WITH SCORE 1939594.997
AT ITER 2851 NEW BEST:: SOT 11927012 SOS 7554037 HAS SOPS 6262746 HAS SOUS 2028128 HAS SOUPS 1932021 WITH SCORE 1939575.037
AT ITER 2870 NEW BEST:: SOT 11920919 SOS 7534854 HAS SOPS 6242170 HAS SOUS 2026339 HAS SOUPS 1930116 WITH SCORE 1937650.854
AT ITER 2887 NEW BEST:: SOT 11920993 SOS 7534744 HAS SOPS 6241668 HAS SOUS 2026066 HAS SOUPS 1929843 WITH SCORE 1937377.744
AT ITER 2901 NEW BEST:: SOT 11922424 SOS 7531851 HAS SOPS 6242559 HAS SOUS 2025935 HAS SOUPS 1929712 WITH SCORE 1937243.851
AT ITER 2903 NEW BEST:: SOT 11923191 SOS 7533887 HAS SOPS 6242791 HAS SOUS 2025864 HAS SOUPS 1929641 WITH SCORE 1937174.887
AT ITER 2913 NEW BEST:: SOT 11923456 SOS 7534152 HAS SOPS 6242576 HAS SOUS 2024100 HAS SOUPS 1927665 WITH SCORE 1935199.152
AT ITER 2923 NEW BEST:: SOT 11922459 SOS 7532428 HAS SOPS 6241038 HAS SOUS 2020441 HAS SOUPS 1924161 WITH SCORE 1931693.428
AT ITER 2933 NEW BEST:: SOT 11922245 SOS 7531398 HAS SOPS 6239751 HAS SOUS 2019709 HAS SOUPS 1923429 WITH SCORE 1930960.398
AT ITER 2972 NEW BEST:: SOT 11922609 SOS 7531768 HAS SOPS 6240121 HAS SOUS 2019629 HAS SOUPS 1923349 WITH SCORE 1930880.768
AT ITER 2980 NEW BEST:: SOT 11922527 SOS 7525986 HAS SOPS 6238437 HAS SOUS 2018979 HAS SOUPS 1922830 WITH SCORE 1930355.986
AT ITER 2984 NEW BEST:: SOT 11925220 SOS 7530470 HAS SOPS 6243948 HAS SOUS 2015051 HAS SOUPS 1919004 WITH SCORE 1926534.47
AT ITER 2991 NEW BEST:: SOT 11925103 SOS 7531697 HAS SOPS 6245891 HAS SOUS 2015007 HAS SOUPS 1918960 WITH SCORE 1926491.697
AT ITER 2992 NEW BEST:: SOT 11924746 SOS 7531244 HAS SOPS 6244391 HAS SOUS 2014192 HAS SOUPS 1918185 WITH SCORE 1925716.244
AT ITER 2998 NEW BEST:: SOT 11927990 SOS 7538065 HAS SOPS 6259695 HAS SOUS 2012854 HAS SOUPS 1917082 WITH SCORE 1924620.065
AT ITER 3012 NEW BEST:: SOT 11946534 SOS 7566211 HAS SOPS 6291488 HAS SOUS 2010819 HAS SOUPS 1915784 WITH SCORE 1923350.211
AT ITER 3015 NEW BEST:: SOT 11942330 SOS 7561578 HAS SOPS 6286448 HAS SOUS 2001174 HAS SOUPS 1906334 WITH SCORE 1913895.578
AT ITER 3037 NEW BEST:: SOT 11947240 SOS 7573426 HAS SOPS 6294745 HAS SOUS 2001050 HAS SOUPS 1906207 WITH SCORE 1913780.426
AT ITER 3067 NEW BEST:: SOT 11946587 SOS 7573187 HAS SOPS 6292898 HAS SOUS 1998738 HAS SOUPS 1903853 WITH SCORE 1911426.187
AT ITER 3091 NEW BEST:: SOT 11944903 SOS 7569441 HAS SOPS 6291425 HAS SOUS 1998624 HAS SOUPS 1903780 WITH SCORE 1911349.441
AT ITER 3101 NEW BEST:: SOT 11942343 SOS 7565316 HAS SOPS 6288426 HAS SOUS 1997443 HAS SOUPS 1902599 WITH SCORE 1910164.316
AT ITER 3116 NEW BEST:: SOT 11938709 SOS 7561325 HAS SOPS 6284015 HAS SOUS 1992909 HAS SOUPS 1898095 WITH SCORE 1905656.325
AT ITER 3117 NEW BEST:: SOT 11939457 SOS 7558297 HAS SOPS 6287302 HAS SOUS 1991403 HAS SOUPS 1896808 WITH SCORE 1904366.297
AT ITER 3123 NEW BEST:: SOT 11940058 SOS 7558083 HAS SOPS 6288442 HAS SOUS 1986105 HAS SOUPS 1891601 WITH SCORE 1899159.083
AT ITER 3127 NEW BEST:: SOT 11940366 SOS 7558271 HAS SOPS 6288567 HAS SOUS 1985938 HAS SOUPS 1891434 WITH SCORE 1898992.271
AT ITER 3151 NEW BEST:: SOT 11936444 SOS 7553963 HAS SOPS 6284027 HAS SOUS 1978005 HAS SOUPS 1883525 WITH SCORE 1891078.963
AT ITER 3167 NEW BEST:: SOT 11936042 SOS 7553572 HAS SOPS 6283570 HAS SOUS 1976933 HAS SOUPS 1882453 WITH SCORE 1890006.572
AT ITER 3168 NEW BEST:: SOT 11936016 SOS 7553406 HAS SOPS 6283390 HAS SOUS 1976762 HAS SOUPS 1882282 WITH SCORE 1889835.406
AT ITER 3197 NEW BEST:: SOT 11936983 SOS 7556135 HAS SOPS 6284616 HAS SOUS 1972862 HAS SOUPS 1878460 WITH SCORE 1886016.135
AT ITER 3203 NEW BEST:: SOT 11938112 SOS 7561192 HAS SOPS 6288614 HAS SOUS 1971822 HAS SOUPS 1877420 WITH SCORE 1884981.192
AT ITER 3216 NEW BEST:: SOT 11936259 SOS 7559284 HAS SOPS 6285988 HAS SOUS 1969652 HAS SOUPS 1875225 WITH SCORE 1882784.284
AT ITER 3217 NEW BEST:: SOT 11939282 SOS 7569516 HAS SOPS 6291525 HAS SOUS 1965762 HAS SOUPS 1871250 WITH SCORE 1878819.516
AT ITER 3223 NEW BEST:: SOT 11939026 SOS 7571341 HAS SOPS 6292966 HAS SOUS 1964851 HAS SOUPS 1870339 WITH SCORE 1877910.341
AT ITER 3227 NEW BEST:: SOT 11938000 SOS 7570008 HAS SOPS 6291442 HAS SOUS 1961593 HAS SOUPS 1867106 WITH SCORE 1874676.008
AT ITER 3247 NEW BEST:: SOT 11941458 SOS 7573466 HAS SOPS 6294100 HAS SOUS 1961199 HAS SOUPS 1866712 WITH SCORE 1874285.466
AT ITER 3261 NEW BEST:: SOT 11941460 SOS 7573510 HAS SOPS 6293563 HAS SOUS 1961170 HAS SOUPS 1866683 WITH SCORE 1874256.51
AT ITER 3274 NEW BEST:: SOT 11939585 SOS 7569759 HAS SOPS 6290856 HAS SOUS 1958356 HAS SOUPS 1864246 WITH SCORE 1871815.759
AT ITER 3293 NEW BEST:: SOT 11940157 SOS 7570313 HAS SOPS 6291410 HAS SOUS 1958272 HAS SOUPS 1864162 WITH SCORE 1871732.313
AT ITER 3309 NEW BEST:: SOT 11940243 SOS 7565734 HAS SOPS 6288287 HAS SOUS 1956502 HAS SOUPS 1862392 WITH SCORE 1869957.734
AT ITER 3312 NEW BEST:: SOT 11942781 SOS 7568198 HAS SOPS 6290517 HAS SOUS 1956409 HAS SOUPS 1862248 WITH SCORE 1869816.198
AT ITER 3315 NEW BEST:: SOT 11941716 SOS 7566619 HAS SOPS 6292302 HAS SOUS 1951477 HAS SOUPS 1857433 WITH SCORE 1864999.619
AT ITER 3316 NEW BEST:: SOT 11940748 SOS 7566849 HAS SOPS 6291586 HAS SOUS 1949020 HAS SOUPS 1854877 WITH SCORE 1862443.849
AT ITER 3319 NEW BEST:: SOT 11940344 SOS 7566459 HAS SOPS 6291075 HAS SOUS 1948616 HAS SOUPS 1854451 WITH SCORE 1862017.459
AT ITER 3323 NEW BEST:: SOT 11936259 SOS 7560844 HAS SOPS 6288079 HAS SOUS 1946966 HAS SOUPS 1852959 WITH SCORE 1860519.844
AT ITER 3327 NEW BEST:: SOT 11935604 SOS 7560272 HAS SOPS 6287439 HAS SOUS 1946781 HAS SOUPS 1852727 WITH SCORE 1860287.272
AT ITER 3329 NEW BEST:: SOT 11940511 SOS 7569978 HAS SOPS 6295537 HAS SOUS 1945561 HAS SOUPS 1851508 WITH SCORE 1859077.978
AT ITER 3342 NEW BEST:: SOT 11942538 SOS 7570304 HAS SOPS 6291652 HAS SOUS 1939738 HAS SOUPS 1845685 WITH SCORE 1853255.304
AT ITER 3348 NEW BEST:: SOT 11942466 SOS 7570230 HAS SOPS 6291611 HAS SOUS 1939598 HAS SOUPS 1845545 WITH SCORE 1853115.23
AT ITER 3365 NEW BEST:: SOT 11942490 SOS 7571317 HAS SOPS 6292149 HAS SOUS 1939156 HAS SOUPS 1845103 WITH SCORE 1852674.317
AT ITER 3416 NEW BEST:: SOT 11944929 SOS 7577993 HAS SOPS 6298303 HAS SOUS 1938513 HAS SOUPS 1844460 WITH SCORE 1852037.993
AT ITER 3440 NEW BEST:: SOT 11943702 SOS 7576375 HAS SOPS 6296729 HAS SOUS 1934929 HAS SOUPS 1840912 WITH SCORE 1848488.375
AT ITER 3442 NEW BEST:: SOT 11942712 SOS 7575408 HAS SOPS 6295266 HAS SOUS 1932299 HAS SOUPS 1838282 WITH SCORE 1845857.408
AT ITER 3456 NEW BEST:: SOT 11934962 SOS 7562438 HAS SOPS 6283911 HAS SOUS 1927797 HAS SOUPS 1834118 WITH SCORE 1841680.438
AT ITER 3469 NEW BEST:: SOT 11934899 SOS 7562008 HAS SOPS 6283385 HAS SOUS 1927296 HAS SOUPS 1833625 WITH SCORE 1841187.008
AT ITER 3481 NEW BEST:: SOT 11934787 SOS 7561544 HAS SOPS 6283182 HAS SOUS 1927173 HAS SOUPS 1833502 WITH SCORE 1841063.544
AT ITER 3507 NEW BEST:: SOT 11932457 SOS 7558874 HAS SOPS 6279725 HAS SOUS 1922978 HAS SOUPS 1829314 WITH SCORE 1836872.874
AT ITER 3508 NEW BEST:: SOT 11931436 SOS 7557894 HAS SOPS 6278105 HAS SOUS 1921504 HAS SOUPS 1827840 WITH SCORE 1835397.894
AT ITER 3513 NEW BEST:: SOT 11931496 SOS 7557982 HAS SOPS 6278161 HAS SOUS 1921480 HAS SOUPS 1827816 WITH SCORE 1835373.982
AT ITER 3591 NEW BEST:: SOT 11930601 SOS 7557450 HAS SOPS 6276509 HAS SOUS 1920187 HAS SOUPS 1826488 WITH SCORE 1834045.45
AT ITER 3614 NEW BEST:: SOT 11931588 SOS 7557042 HAS SOPS 6273534 HAS SOUS 1918752 HAS SOUPS 1825053 WITH SCORE 1832610.042
AT ITER 3642 NEW BEST:: SOT 11931094 SOS 7565958 HAS SOPS 6279963 HAS SOUS 1913119 HAS SOUPS 1819393 WITH SCORE 1826958.958
AT ITER 3644 NEW BEST:: SOT 11931181 SOS 7564115 HAS SOPS 6280453 HAS SOUS 1912367 HAS SOUPS 1818683 WITH SCORE 1826247.115
AT ITER 3649 NEW BEST:: SOT 11931185 SOS 7563927 HAS SOPS 6280165 HAS SOUS 1912335 HAS SOUPS 1818651 WITH SCORE 1826214.927
AT ITER 3651 NEW BEST:: SOT 11930655 SOS 7576405 HAS SOPS 6288326 HAS SOUS 1905151 HAS SOUPS 1811427 WITH SCORE 1819003.405
AT ITER 3657 NEW BEST:: SOT 11926662 SOS 7571732 HAS SOPS 6283740 HAS SOUS 1900158 HAS SOUPS 1806458 WITH SCORE 1814029.732
AT ITER 3662 NEW BEST:: SOT 11924730 SOS 7568892 HAS SOPS 6281572 HAS SOUS 1897475 HAS SOUPS 1803971 WITH SCORE 1811539.892
AT ITER 3670 NEW BEST:: SOT 11924689 SOS 7568708 HAS SOPS 6282962 HAS SOUS 1896634 HAS SOUPS 1803130 WITH SCORE 1810698.708
AT ITER 3697 NEW BEST:: SOT 11923825 SOS 7567093 HAS SOPS 6281916 HAS SOUS 1895820 HAS SOUPS 1802316 WITH SCORE 1809883.093
AT ITER 3708 NEW BEST:: SOT 11925610 SOS 7569411 HAS SOPS 6284987 HAS SOUS 1895480 HAS SOUPS 1801976 WITH SCORE 1809545.411
AT ITER 3731 NEW BEST:: SOT 11925827 SOS 7569616 HAS SOPS 6285264 HAS SOUS 1895137 HAS SOUPS 1801889 WITH SCORE 1809458.616
AT ITER 3737 NEW BEST:: SOT 11925953 SOS 7568924 HAS SOPS 6284390 HAS SOUS 1894952 HAS SOUPS 1801704 WITH SCORE 1809272.924
AT ITER 3744 NEW BEST:: SOT 11926588 SOS 7572111 HAS SOPS 6287056 HAS SOUS 1894490 HAS SOUPS 1801242 WITH SCORE 1808814.111
AT ITER 3747 NEW BEST:: SOT 11926456 SOS 7571097 HAS SOPS 6286290 HAS SOUS 1893788 HAS SOUPS 1800540 WITH SCORE 1808111.097
AT ITER 3758 NEW BEST:: SOT 11925377 SOS 7572733 HAS SOPS 6286756 HAS SOUS 1890223 HAS SOUPS 1796913 WITH SCORE 1804485.733
AT ITER 3768 NEW BEST:: SOT 11921236 SOS 7566834 HAS SOPS 6279975 HAS SOUS 1881354 HAS SOUPS 1788180 WITH SCORE 1795746.834
AT ITER 3772 NEW BEST:: SOT 11920234 SOS 7564067 HAS SOPS 6274876 HAS SOUS 1880084 HAS SOUPS 1786910 WITH SCORE 1794474.067
AT ITER 3775 NEW BEST:: SOT 11929667 SOS 7575400 HAS SOPS 6288390 HAS SOUS 1878987 HAS SOUPS 1785813 WITH SCORE 1793388.4
AT ITER 3784 NEW BEST:: SOT 11929528 SOS 7575243 HAS SOPS 6288188 HAS SOUS 1878413 HAS SOUPS 1785338 WITH SCORE 1792913.243
AT ITER 3790 NEW BEST:: SOT 11929838 SOS 7575966 HAS SOPS 6288680 HAS SOUS 1878366 HAS SOUPS 1785227 WITH SCORE 1792802.966
AT ITER 3801 NEW BEST:: SOT 11928779 SOS 7574878 HAS SOPS 6287271 HAS SOUS 1876626 HAS SOUPS 1783487 WITH SCORE 1791061.878
AT ITER 3804 NEW BEST:: SOT 11928639 SOS 7574775 HAS SOPS 6287096 HAS SOUS 1876161 HAS SOUPS 1783014 WITH SCORE 1790588.775
AT ITER 3824 NEW BEST:: SOT 11927995 SOS 7574131 HAS SOPS 6286340 HAS SOUS 1875597 HAS SOUPS 1782370 WITH SCORE 1789944.131
AT ITER 3844 NEW BEST:: SOT 11927882 SOS 7573783 HAS SOPS 6287050 HAS SOUS 1874801 HAS SOUPS 1781618 WITH SCORE 1789191.783
AT ITER 3857 NEW BEST:: SOT 11930826 SOS 7582615 HAS SOPS 6294812 HAS SOUS 1874640 HAS SOUPS 1781457 WITH SCORE 1789039.615
AT ITER 3867 NEW BEST:: SOT 11929822 SOS 7581611 HAS SOPS 6293626 HAS SOUS 1873020 HAS SOUPS 1779837 WITH SCORE 1787418.611
AT ITER 3897 NEW BEST:: SOT 11930166 SOS 7582769 HAS SOPS 6294711 HAS SOUS 1871616 HAS SOUPS 1778433 WITH SCORE 1786015.769
AT ITER 3906 NEW BEST:: SOT 11930109 SOS 7583669 HAS SOPS 6295118 HAS SOUS 1871546 HAS SOUPS 1778363 WITH SCORE 1785946.669
AT ITER 3911 NEW BEST:: SOT 11930082 SOS 7606445 HAS SOPS 6316902 HAS SOUS 1868883 HAS SOUPS 1775700 WITH SCORE 1783306.445
AT ITER 3931 NEW BEST:: SOT 11916948 SOS 7581090 HAS SOPS 6299131 HAS SOUS 1865774 HAS SOUPS 1772688 WITH SCORE 1780269.09
AT ITER 3934 NEW BEST:: SOT 11916742 SOS 7578936 HAS SOPS 6297937 HAS SOUS 1865478 HAS SOUPS 1772423 WITH SCORE 1780001.936
AT ITER 3965 NEW BEST:: SOT 11915639 SOS 7578199 HAS SOPS 6298434 HAS SOUS 1862372 HAS SOUPS 1769317 WITH SCORE 1776895.199
AT ITER 3978 NEW BEST:: SOT 11911421 SOS 7570816 HAS SOPS 6291881 HAS SOUS 1857648 HAS SOUPS 1764593 WITH SCORE 1772163.816
AT ITER 3980 NEW BEST:: SOT 11910614 SOS 7569815 HAS SOPS 6290502 HAS SOUS 1854680 HAS SOUPS 1761602 WITH SCORE 1769171.815
AT ITER 3996 NEW BEST:: SOT 11910623 SOS 7570083 HAS SOPS 6290798 HAS SOUS 1854679 HAS SOUPS 1761601 WITH SCORE 1769171.083
AT ITER 4002 NEW BEST:: SOT 11910882 SOS 7571123 HAS SOPS 6291583 HAS SOUS 1853213 HAS SOUPS 1760135 WITH SCORE 1767706.123
AT ITER 4019 NEW BEST:: SOT 11909758 SOS 7569991 HAS SOPS 6290424 HAS SOUS 1850764 HAS SOUPS 1758027 WITH SCORE 1765596.991
AT ITER 4035 NEW BEST:: SOT 11906897 SOS 7566794 HAS SOPS 6287611 HAS SOUS 1847392 HAS SOUPS 1754679 WITH SCORE 1762245.794
AT ITER 4041 NEW BEST:: SOT 11905870 SOS 7565629 HAS SOPS 6286726 HAS SOUS 1846561 HAS SOUPS 1753926 WITH SCORE 1761491.629
AT ITER 4047 NEW BEST:: SOT 11904824 SOS 7564763 HAS SOPS 6285976 HAS SOUS 1845478 HAS SOUPS 1752878 WITH SCORE 1760442.763
AT ITER 4054 NEW BEST:: SOT 11905464 SOS 7567261 HAS SOPS 6287876 HAS SOUS 1845462 HAS SOUPS 1752862 WITH SCORE 1760429.261
AT ITER 4086 NEW BEST:: SOT 11904800 SOS 7569223 HAS SOPS 6289456 HAS SOUS 1844090 HAS SOUPS 1751490 WITH SCORE 1759059.223
AT ITER 4147 NEW BEST:: SOT 11904739 SOS 7568779 HAS SOPS 6288998 HAS SOUS 1843982 HAS SOUPS 1751382 WITH SCORE 1758950.779
AT ITER 4154 NEW BEST:: SOT 11901465 SOS 7563255 HAS SOPS 6286374 HAS SOUS 1843958 HAS SOUPS 1751358 WITH SCORE 1758921.255
AT ITER 4156 NEW BEST:: SOT 11894779 SOS 7545698 HAS SOPS 6263200 HAS SOUS 1843144 HAS SOUPS 1750580 WITH SCORE 1758125.698
AT ITER 4167 NEW BEST:: SOT 11891357 SOS 7536635 HAS SOPS 6254318 HAS SOUS 1842090 HAS SOUPS 1749469 WITH SCORE 1757005.635
AT ITER 4171 NEW BEST:: SOT 11890950 SOS 7536177 HAS SOPS 6253751 HAS SOUS 1841294 HAS SOUPS 1748673 WITH SCORE 1756209.177
AT ITER 4185 NEW BEST:: SOT 11889235 SOS 7538662 HAS SOPS 6260919 HAS SOUS 1833189 HAS SOUPS 1740725 WITH SCORE 1748263.662
AT ITER 4191 NEW BEST:: SOT 11882837 SOS 7527376 HAS SOPS 6250460 HAS SOUS 1825931 HAS SOUPS 1733551 WITH SCORE 1741078.376
AT ITER 4194 NEW BEST:: SOT 11882651 SOS 7527199 HAS SOPS 6250251 HAS SOUS 1825865 HAS SOUPS 1733485 WITH SCORE 1741012.199
AT ITER 4207 NEW BEST:: SOT 11882353 SOS 7526913 HAS SOPS 6249869 HAS SOUS 1825449 HAS SOUPS 1733069 WITH SCORE 1740595.913
AT ITER 4236 NEW BEST:: SOT 11883228 SOS 7527887 HAS SOPS 6250185 HAS SOUS 1823422 HAS SOUPS 1731042 WITH SCORE 1738569.887
AT ITER 4241 NEW BEST:: SOT 11883748 SOS 7528407 HAS SOPS 6250641 HAS SOUS 1823046 HAS SOUPS 1730602 WITH SCORE 1738130.407
AT ITER 4267 NEW BEST:: SOT 11882419 SOS 7516503 HAS SOPS 6239515 HAS SOUS 1820542 HAS SOUPS 1728098 WITH SCORE 1735614.503
AT ITER 4272 NEW BEST:: SOT 11880143 SOS 7507169 HAS SOPS 6229757 HAS SOUS 1818052 HAS SOUPS 1725550 WITH SCORE 1733057.169
AT ITER 4293 NEW BEST:: SOT 11880318 SOS 7506500 HAS SOPS 6229398 HAS SOUS 1817136 HAS SOUPS 1724706 WITH SCORE 1732212.5
AT ITER 4305 NEW BEST:: SOT 11880112 SOS 7506830 HAS SOPS 6228583 HAS SOUS 1817044 HAS SOUPS 1724614 WITH SCORE 1732120.83
AT ITER 4310 NEW BEST:: SOT 11877088 SOS 7502512 HAS SOPS 6224427 HAS SOUS 1811378 HAS SOUPS 1718948 WITH SCORE 1726450.512
AT ITER 4328 NEW BEST:: SOT 11875788 SOS 7500216 HAS SOPS 6222488 HAS SOUS 1809063 HAS SOUPS 1716633 WITH SCORE 1724133.216
AT ITER 4334 NEW BEST:: SOT 11875746 SOS 7500063 HAS SOPS 6222368 HAS SOUS 1809030 HAS SOUPS 1716600 WITH SCORE 1724100.063
AT ITER 4352 NEW BEST:: SOT 11875430 SOS 7500623 HAS SOPS 6222894 HAS SOUS 1808639 HAS SOUPS 1716209 WITH SCORE 1723709.623
AT ITER 4367 NEW BEST:: SOT 11884612 SOS 7509742 HAS SOPS 6228065 HAS SOUS 1810950 HAS SOUPS 1715468 WITH SCORE 1722977.742
AT ITER 4377 NEW BEST:: SOT 11884167 SOS 7509302 HAS SOPS 6227628 HAS SOUS 1810539 HAS SOUPS 1715091 WITH SCORE 1722600.302
AT ITER 4423 NEW BEST:: SOT 11880343 SOS 7505512 HAS SOPS 6223708 HAS SOUS 1806077 HAS SOUPS 1710595 WITH SCORE 1718100.512
AT ITER 4431 NEW BEST:: SOT 11880364 SOS 7506665 HAS SOPS 6225665 HAS SOUS 1805733 HAS SOUPS 1710251 WITH SCORE 1717757.665
AT ITER 4454 NEW BEST:: SOT 11880514 SOS 7507153 HAS SOPS 6226307 HAS SOUS 1805611 HAS SOUPS 1710137 WITH SCORE 1717644.153
AT ITER 4455 NEW BEST:: SOT 11878889 SOS 7505528 HAS SOPS 6224461 HAS SOUS 1803219 HAS SOUPS 1707732 WITH SCORE 1715237.528
AT ITER 4473 NEW BEST:: SOT 11878627 SOS 7505326 HAS SOPS 6224271 HAS SOUS 1803051 HAS SOUPS 1707564 WITH SCORE 1715069.326
AT ITER 4475 NEW BEST:: SOT 11877638 SOS 7503699 HAS SOPS 6222857 HAS SOUS 1801649 HAS SOUPS 1706229 WITH SCORE 1713732.699
AT ITER 4488 NEW BEST:: SOT 11876735 SOS 7502801 HAS SOPS 6221911 HAS SOUS 1800485 HAS SOUPS 1705054 WITH SCORE 1712556.801
AT ITER 4519 NEW BEST:: SOT 11876651 SOS 7502802 HAS SOPS 6221820 HAS SOUS 1800057 HAS SOUPS 1704630 WITH SCORE 1712132.802
AT ITER 4541 NEW BEST:: SOT 11878736 SOS 7504920 HAS SOPS 6222411 HAS SOUS 1798272 HAS SOUPS 1702845 WITH SCORE 1710349.92
AT ITER 4558 NEW BEST:: SOT 11878488 SOS 7504514 HAS SOPS 6221925 HAS SOUS 1798030 HAS SOUPS 1702611 WITH SCORE 1710115.514
AT ITER 4567 NEW BEST:: SOT 11876590 SOS 7502209 HAS SOPS 6219365 HAS SOUS 1795295 HAS SOUPS 1699912 WITH SCORE 1707414.209
AT ITER 4573 NEW BEST:: SOT 11875645 SOS 7500647 HAS SOPS 6217549 HAS SOUS 1795005 HAS SOUPS 1699568 WITH SCORE 1707068.647
AT ITER 4576 NEW BEST:: SOT 11875570 SOS 7499731 HAS SOPS 6216531 HAS SOUS 1795000 HAS SOUPS 1699563 WITH SCORE 1707062.731
AT ITER 4589 NEW BEST:: SOT 11874956 SOS 7498598 HAS SOPS 6216630 HAS SOUS 1794618 HAS SOUPS 1699181 WITH SCORE 1706679.598
AT ITER 4591 NEW BEST:: SOT 11874850 SOS 7498514 HAS SOPS 6216524 HAS SOUS 1794479 HAS SOUPS 1699031 WITH SCORE 1706529.514
AT ITER 4594 NEW BEST:: SOT 11874850 SOS 7498509 HAS SOPS 6216519 HAS SOUS 1794472 HAS SOUPS 1699024 WITH SCORE 1706522.509
AT ITER 4605 NEW BEST:: SOT 11872692 SOS 7497382 HAS SOPS 6215076 HAS SOUS 1791959 HAS SOUPS 1696511 WITH SCORE 1704008.382
AT ITER 4624 NEW BEST:: SOT 11871807 SOS 7498425 HAS SOPS 6214723 HAS SOUS 1790353 HAS SOUPS 1694905 WITH SCORE 1702403.425
AT ITER 4629 NEW BEST:: SOT 11871809 SOS 7498699 HAS SOPS 6214985 HAS SOUS 1789855 HAS SOUPS 1694411 WITH SCORE 1701909.699
AT ITER 4638 NEW BEST:: SOT 11872071 SOS 7499502 HAS SOPS 6215867 HAS SOUS 1789051 HAS SOUPS 1693607 WITH SCORE 1701106.502
AT ITER 4646 NEW BEST:: SOT 11872546 SOS 7499183 HAS SOPS 6216082 HAS SOUS 1788486 HAS SOUPS 1693042 WITH SCORE 1700541.183
AT ITER 4650 NEW BEST:: SOT 11872435 SOS 7499295 HAS SOPS 6215763 HAS SOUS 1787936 HAS SOUPS 1692484 WITH SCORE 1699983.295
AT ITER 4667 NEW BEST:: SOT 11875761 SOS 7509425 HAS SOPS 6222307 HAS SOUS 1784022 HAS SOUPS 1688468 WITH SCORE 1695977.425
AT ITER 4689 NEW BEST:: SOT 11874409 SOS 7500553 HAS SOPS 6214731 HAS SOUS 1783859 HAS SOUPS 1688305 WITH SCORE 1695805.553
AT ITER 4691 NEW BEST:: SOT 11874614 SOS 7499700 HAS SOPS 6214558 HAS SOUS 1783527 HAS SOUPS 1687973 WITH SCORE 1695472.7
AT ITER 4740 NEW BEST:: SOT 11868243 SOS 7484786 HAS SOPS 6200082 HAS SOUS 1778798 HAS SOUPS 1683131 WITH SCORE 1690615.786
AT ITER 4774 NEW BEST:: SOT 11868201 SOS 7485421 HAS SOPS 6200480 HAS SOUS 1778446 HAS SOUPS 1682771 WITH SCORE 1690256.421
AT ITER 4794 NEW BEST:: SOT 11869549 SOS 7486856 HAS SOPS 6202270 HAS SOUS 1778309 HAS SOUPS 1682621 WITH SCORE 1690107.856
AT ITER 4797 NEW BEST:: SOT 11868234 SOS 7485222 HAS SOPS 6199827 HAS SOUS 1776923 HAS SOUPS 1681235 WITH SCORE 1688720.222
AT ITER 4813 NEW BEST:: SOT 11857181 SOS 7466620 HAS SOPS 6179121 HAS SOUS 1760965 HAS SOUPS 1665277 WITH SCORE 1672743.62
AT ITER 4829 NEW BEST:: SOT 11856654 SOS 7466085 HAS SOPS 6178330 HAS SOUS 1759822 HAS SOUPS 1664134 WITH SCORE 1671600.085
AT ITER 4833 NEW BEST:: SOT 11856860 SOS 7466201 HAS SOPS 6178569 HAS SOUS 1759731 HAS SOUPS 1664043 WITH SCORE 1671509.201
AT ITER 4843 NEW BEST:: SOT 11856677 SOS 7465860 HAS SOPS 6178271 HAS SOUS 1759592 HAS SOUPS 1663921 WITH SCORE 1671386.86
AT ITER 4846 NEW BEST:: SOT 11856597 SOS 7465329 HAS SOPS 6177684 HAS SOUS 1759435 HAS SOUPS 1663764 WITH SCORE 1671229.329
AT ITER 4850 NEW BEST:: SOT 11856341 SOS 7465073 HAS SOPS 6177156 HAS SOUS 1757803 HAS SOUPS 1662132 WITH SCORE 1669597.073
AT ITER 4853 NEW BEST:: SOT 11856351 SOS 7465125 HAS SOPS 6177462 HAS SOUS 1757685 HAS SOUPS 1662014 WITH SCORE 1669479.125
AT ITER 4876 NEW BEST:: SOT 11856411 SOS 7465185 HAS SOPS 6177522 HAS SOUS 1757645 HAS SOUPS 1661974 WITH SCORE 1669439.185
AT ITER 4878 NEW BEST:: SOT 11856173 SOS 7464678 HAS SOPS 6177104 HAS SOUS 1757277 HAS SOUPS 1661609 WITH SCORE 1669073.678
AT ITER 4894 NEW BEST:: SOT 11856020 SOS 7464317 HAS SOPS 6176999 HAS SOUS 1756628 HAS SOUPS 1661064 WITH SCORE 1668528.317
AT ITER 4908 NEW BEST:: SOT 11856044 SOS 7464335 HAS SOPS 6177041 HAS SOUS 1756328 HAS SOUPS 1660770 WITH SCORE 1668234.335
AT ITER 4919 NEW BEST:: SOT 11855124 SOS 7463404 HAS SOPS 6176110 HAS SOUS 1755984 HAS SOUPS 1660426 WITH SCORE 1667889.404
AT ITER 4920 NEW BEST:: SOT 11856123 SOS 7466473 HAS SOPS 6179765 HAS SOUS 1751217 HAS SOUPS 1655556 WITH SCORE 1663022.473
AT ITER 4922 NEW BEST:: SOT 11855745 SOS 7465748 HAS SOPS 6179434 HAS SOUS 1751168 HAS SOUPS 1655507 WITH SCORE 1662972.748
AT ITER 4925 NEW BEST:: SOT 11856752 SOS 7467620 HAS SOPS 6179211 HAS SOUS 1748198 HAS SOUPS 1652537 WITH SCORE 1660004.62
AT ITER 4930 NEW BEST:: SOT 11857477 SOS 7469941 HAS SOPS 6181634 HAS SOUS 1747873 HAS SOUPS 1652226 WITH SCORE 1659695.941
AT ITER 4960 NEW BEST:: SOT 11857432 SOS 7469826 HAS SOPS 6181427 HAS SOUS 1747582 HAS SOUPS 1651884 WITH SCORE 1659353.826
AT ITER 4981 NEW BEST:: SOT 11857129 SOS 7468943 HAS SOPS 6180339 HAS SOUS 1747079 HAS SOUPS 1651381 WITH SCORE 1658849.943
AT ITER 4982 NEW BEST:: SOT 11860589 SOS 7472760 HAS SOPS 6181551 HAS SOUS 1744475 HAS SOUPS 1648777 WITH SCORE 1656249.76
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-8-CTLFireability-00 ( ( ( (AF( ( ((potential((tk(P557)>=1) & (tk(P600)>=1)))) | ((potential((tk(P392)>=1) & (tk(P587)>=1)))) ))) | (EU( ((potential((tk(P365)>=1) & (tk(P406)>=1)))) , ((potential((tk(P48)>=1) & (tk(P537)>=1)))) )) ) | ((potential((tk(P24)>=1) & (tk(P56)>=1)))) ) | (EF( (EU( ((potential((tk(P48)>=1) & (tk(P154)>=1)))) , ((potential((tk(P403)>=1) & (tk(P195)>=1)))) )))) )
PROPERTY: RERS17pb113-PT-8-CTLFireability-01 (! (! (AG( (EF( ((potential((tk(P111)>=1) & (tk(P567)>=1))))))))))
PROPERTY: RERS17pb113-PT-8-CTLFireability-02 (EF( ( ( (AX( ((potential((tk(P526)>=1) & (tk(P223)>=1)))))) | (AG( ((potential((tk(P528)>=1) & (tk(P344)>=1)))))) ) & ((potential((tk(P380)>=1) & (tk(P526)>=1)))) )))
PROPERTY: RERS17pb113-PT-8-CTLFireability-03 (AU( (EG( (! ((potential((tk(P104)>=1) & (tk(P565)>=1))))))) , ( (AX( ((potential((tk(P348)>=1) & (tk(P443)>=1)))))) & (EX( ((potential((tk(P447)>=1) & (tk(P468)>=1)))))) ) ))
PROPERTY: RERS17pb113-PT-8-CTLFireability-04 (EX( (EG( (! ( ((potential((tk(P452)>=1) & (tk(P558)>=1)))) | ((potential((tk(P169)>=1) & (tk(P550)>=1)))) ))))))
PROPERTY: RERS17pb113-PT-8-CTLFireability-05 (! (EF( (EX( ( ((potential((tk(P527)>=1) & (tk(P50)>=1)))) | ((potential((tk(P504)>=1) & (tk(P634)>=1)))) ))))))
PROPERTY: RERS17pb113-PT-8-CTLFireability-06 (AU( (! ( ( ((potential((tk(P65)>=1) & (tk(P245)>=1)))) & ((potential((tk(P148)>=1) & (tk(P199)>=1)))) ) & (! ((potential((tk(P224)>=1) & (tk(P38)>=1))))) )) , (! ( ( ((potential((tk(P47)>=1) & (tk(P459)>=1)))) & ((potential((tk(P527)>=1) & (tk(P465)>=1)))) ) | (! ((potential((tk(P13)>=1) & (tk(P490)>=1))))) )) ))
PROPERTY: RERS17pb113-PT-8-CTLFireability-07 ( (! (AF( (! (! ((potential((tk(P572)>=1) & (tk(P634)>=1))))))))) & (AF( (AG( ( ((potential((tk(P252)>=1) & (tk(P544)>=1)))) & ((potential((tk(P471)>=1) & (tk(P312)>=1)))) ))))) )
PROPERTY: RERS17pb113-PT-8-CTLFireability-08 (! (EU( (! ((potential((tk(P155)>=1) & (tk(P213)>=1))))) , (EF( ((potential((tk(P159)>=1) & (tk(P573)>=1)))))) )))
PROPERTY: RERS17pb113-PT-8-CTLFireability-09 (! ( ( (AF( ((potential((tk(P47)>=1) & (tk(P236)>=1)))))) | (AX( ((potential((tk(P355)>=1) & (tk(P350)>=1)))))) ) | ( ((potential((tk(P297)>=1) & (tk(P384)>=1)))) & ((potential((tk(P113)>=1) & (tk(P496)>=1)))) ) ))
PROPERTY: RERS17pb113-PT-8-CTLFireability-10 (EG( (EF( (EF( ((potential((tk(P22)>=1) & (tk(P200)>=1))))))))))
PROPERTY: RERS17pb113-PT-8-CTLFireability-11 (AF( ( ((potential((tk(P199)>=1) & (tk(P541)>=1)))) | ( (AX( ((potential((tk(P144)>=1) & (tk(P301)>=1)))))) | (EF( ((potential((tk(P503)>=1) & (tk(P9)>=1)))))) ) )))
PROPERTY: RERS17pb113-PT-8-CTLFireability-12 (AG( (! (AF( ( ((potential((tk(P363)>=1) & (tk(P432)>=1)))) | ((potential((tk(P267)>=1) & (tk(P462)>=1)))) ))))))
PROPERTY: RERS17pb113-PT-8-CTLFireability-13 ( (EF( (AG( ( ((potential((tk(P58)>=1) & (tk(P377)>=1)))) & ((potential((tk(P211)>=1) & (tk(P144)>=1)))) ))))) | ((potential((tk(P452)>=1) & (tk(P159)>=1)))) )
PROPERTY: RERS17pb113-PT-8-CTLFireability-14 (AF( ( (! (EF( ((potential((tk(P142)>=1) & (tk(P609)>=1))))))) | (AX( ((potential((tk(P218)>=1) & (tk(P395)>=1)))))) )))
PROPERTY: RERS17pb113-PT-8-CTLFireability-15 (AF( (AG( ( ( ((potential((tk(P228)>=1) & (tk(P552)>=1)))) | ((potential((tk(P216)>=1) & (tk(P524)>=1)))) ) | ((potential((tk(P576)>=1) & (tk(P547)>=1)))) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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