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-158961502300059.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300059
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-8-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589682517263

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

GOT IT HERE. BS
Petri model created: 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 53 NEW BEST:: SOT 12197614 SOS 7747685 HAS SOPS 6417485 HAS SOUS 3042517 HAS SOUPS 2943071 WITH SCORE 2950818.685
AT ITER 54 NEW BEST:: SOT 12194300 SOS 7744394 HAS SOPS 6414194 HAS SOUS 3039078 HAS SOUPS 2939632 WITH SCORE 2947376.394
AT ITER 56 NEW BEST:: SOT 12193397 SOS 7742985 HAS SOPS 6412910 HAS SOUS 3037507 HAS SOUPS 2938131 WITH SCORE 2945873.985
AT ITER 72 NEW BEST:: SOT 12186217 SOS 7735784 HAS SOPS 6405184 HAS SOUS 3029699 HAS SOUPS 2929813 WITH SCORE 2937548.784
AT ITER 75 NEW BEST:: SOT 12180129 SOS 7729891 HAS SOPS 6398520 HAS SOUS 3020990 HAS SOUPS 2921053 WITH SCORE 2928782.891
AT ITER 81 NEW BEST:: SOT 12178225 SOS 7725820 HAS SOPS 6399353 HAS SOUS 3017156 HAS SOUPS 2917219 WITH SCORE 2924944.82
AT ITER 97 NEW BEST:: SOT 12177362 SOS 7725151 HAS SOPS 6398665 HAS SOUS 3016512 HAS SOUPS 2916556 WITH SCORE 2924281.151
AT ITER 102 NEW BEST:: SOT 12178042 SOS 7726494 HAS SOPS 6401857 HAS SOUS 3015727 HAS SOUPS 2915838 WITH SCORE 2923564.494
AT ITER 108 NEW BEST:: SOT 12174752 SOS 7723204 HAS SOPS 6398215 HAS SOUS 3011029 HAS SOUPS 2911140 WITH SCORE 2918863.204
AT ITER 110 NEW BEST:: SOT 12175439 SOS 7727839 HAS SOPS 6409692 HAS SOUS 3010821 HAS SOUPS 2910932 WITH SCORE 2918659.839
AT ITER 123 NEW BEST:: SOT 12169072 SOS 7722799 HAS SOPS 6406947 HAS SOUS 2997114 HAS SOUPS 2897364 WITH SCORE 2905086.799
AT ITER 128 NEW BEST:: SOT 12166496 SOS 7720004 HAS SOPS 6403403 HAS SOUS 2991232 HAS SOUPS 2891482 WITH SCORE 2899202.004
AT ITER 129 NEW BEST:: SOT 12166487 SOS 7719989 HAS SOPS 6403387 HAS SOUS 2991218 HAS SOUPS 2891469 WITH SCORE 2899188.989
AT ITER 132 NEW BEST:: SOT 12167006 SOS 7723437 HAS SOPS 6406381 HAS SOUS 2986022 HAS SOUPS 2886273 WITH SCORE 2893996.437
AT ITER 140 NEW BEST:: SOT 12166861 SOS 7722146 HAS SOPS 6405051 HAS SOUS 2985846 HAS SOUPS 2886097 WITH SCORE 2893819.146
AT ITER 157 NEW BEST:: SOT 12166285 SOS 7720855 HAS SOPS 6405145 HAS SOUS 2982984 HAS SOUPS 2883797 WITH SCORE 2891517.855
AT ITER 159 NEW BEST:: SOT 12164963 SOS 7718951 HAS SOPS 6403116 HAS SOUS 2980099 HAS SOUPS 2880925 WITH SCORE 2888643.951
AT ITER 166 NEW BEST:: SOT 12155249 SOS 7709014 HAS SOPS 6390822 HAS SOUS 2965736 HAS SOUPS 2866562 WITH SCORE 2874271.014
AT ITER 176 NEW BEST:: SOT 12154913 SOS 7709022 HAS SOPS 6390470 HAS SOUS 2963576 HAS SOUPS 2864404 WITH SCORE 2872113.022
AT ITER 180 NEW BEST:: SOT 12153548 SOS 7705547 HAS SOPS 6388166 HAS SOUS 2962261 HAS SOUPS 2863089 WITH SCORE 2870794.547
AT ITER 186 NEW BEST:: SOT 12151114 SOS 7703149 HAS SOPS 6385732 HAS SOUS 2959862 HAS SOUPS 2860669 WITH SCORE 2868372.149
AT ITER 189 NEW BEST:: SOT 12150719 SOS 7702719 HAS SOPS 6386037 HAS SOUS 2959318 HAS SOUPS 2860148 WITH SCORE 2867850.719
AT ITER 194 NEW BEST:: SOT 12153678 SOS 7713578 HAS SOPS 6396754 HAS SOUS 2959246 HAS SOUPS 2860076 WITH SCORE 2867789.578
AT ITER 204 NEW BEST:: SOT 12151941 SOS 7706930 HAS SOPS 6396401 HAS SOUS 2957695 HAS SOUPS 2858525 WITH SCORE 2866231.93
AT ITER 207 NEW BEST:: SOT 12148875 SOS 7701295 HAS SOPS 6396170 HAS SOUS 2944926 HAS SOUPS 2847213 WITH SCORE 2854914.295
AT ITER 211 NEW BEST:: SOT 12148823 SOS 7701020 HAS SOPS 6395649 HAS SOUS 2944679 HAS SOUPS 2846966 WITH SCORE 2854667.02
AT ITER 223 NEW BEST:: SOT 12147750 SOS 7700002 HAS SOPS 6393555 HAS SOUS 2941109 HAS SOUPS 2843436 WITH SCORE 2851136.002
AT ITER 231 NEW BEST:: SOT 12147464 SOS 7699047 HAS SOPS 6392820 HAS SOUS 2941020 HAS SOUPS 2843355 WITH SCORE 2851054.047
AT ITER 237 NEW BEST:: SOT 12146136 SOS 7698580 HAS SOPS 6391805 HAS SOUS 2934111 HAS SOUPS 2836517 WITH SCORE 2844215.58
AT ITER 257 NEW BEST:: SOT 12146202 SOS 7700376 HAS SOPS 6393591 HAS SOUS 2931703 HAS SOUPS 2834140 WITH SCORE 2841840.376
AT ITER 261 NEW BEST:: SOT 12147837 SOS 7704087 HAS SOPS 6393362 HAS SOUS 2930465 HAS SOUPS 2832902 WITH SCORE 2840606.087
AT ITER 262 NEW BEST:: SOT 12146984 SOS 7703231 HAS SOPS 6392013 HAS SOUS 2927792 HAS SOUPS 2830229 WITH SCORE 2837932.231
AT ITER 267 NEW BEST:: SOT 12145525 SOS 7704828 HAS SOPS 6392766 HAS SOUS 2920255 HAS SOUPS 2822706 WITH SCORE 2830410.828
AT ITER 268 NEW BEST:: SOT 12144225 SOS 7703818 HAS SOPS 6389574 HAS SOUS 2916293 HAS SOUPS 2818744 WITH SCORE 2826447.818
AT ITER 285 NEW BEST:: SOT 12133536 SOS 7692731 HAS SOPS 6378598 HAS SOUS 2903915 HAS SOUPS 2806427 WITH SCORE 2814119.731
AT ITER 291 NEW BEST:: SOT 12132782 SOS 7691977 HAS SOPS 6377844 HAS SOUS 2903161 HAS SOUPS 2805673 WITH SCORE 2813364.977
AT ITER 296 NEW BEST:: SOT 12132716 SOS 7691850 HAS SOPS 6377797 HAS SOUS 2902767 HAS SOUPS 2805332 WITH SCORE 2813023.85
AT ITER 302 NEW BEST:: SOT 12128853 SOS 7687218 HAS SOPS 6373695 HAS SOUS 2900936 HAS SOUPS 2803558 WITH SCORE 2811245.218
AT ITER 307 NEW BEST:: SOT 12132108 SOS 7690471 HAS SOPS 6376390 HAS SOUS 2900847 HAS SOUPS 2803469 WITH SCORE 2811159.471
AT ITER 311 NEW BEST:: SOT 12132137 SOS 7690818 HAS SOPS 6376914 HAS SOUS 2900782 HAS SOUPS 2803404 WITH SCORE 2811094.818
AT ITER 344 NEW BEST:: SOT 12129019 SOS 7684076 HAS SOPS 6373650 HAS SOUS 2896480 HAS SOUPS 2799102 WITH SCORE 2806786.076
AT ITER 355 NEW BEST:: SOT 12131860 SOS 7696630 HAS SOPS 6387801 HAS SOUS 2893949 HAS SOUPS 2796571 WITH SCORE 2804267.63
AT ITER 364 NEW BEST:: SOT 12138137 SOS 7710696 HAS SOPS 6400222 HAS SOUS 2893819 HAS SOUPS 2796324 WITH SCORE 2804034.696
AT ITER 366 NEW BEST:: SOT 12137424 SOS 7709983 HAS SOPS 6399061 HAS SOUS 2891762 HAS SOUPS 2794267 WITH SCORE 2801976.983
AT ITER 381 NEW BEST:: SOT 12138597 SOS 7710953 HAS SOPS 6399337 HAS SOUS 2891660 HAS SOUPS 2794197 WITH SCORE 2801907.953
AT ITER 383 NEW BEST:: SOT 12136961 SOS 7709039 HAS SOPS 6396590 HAS SOUS 2888153 HAS SOUPS 2790690 WITH SCORE 2798399.039
AT ITER 385 NEW BEST:: SOT 12136951 SOS 7709029 HAS SOPS 6396580 HAS SOUS 2888131 HAS SOUPS 2790668 WITH SCORE 2798377.029
AT ITER 388 NEW BEST:: SOT 12136766 SOS 7708512 HAS SOPS 6396119 HAS SOUS 2888060 HAS SOUPS 2790593 WITH SCORE 2798301.512
AT ITER 389 NEW BEST:: SOT 12130739 SOS 7702311 HAS SOPS 6389814 HAS SOUS 2878485 HAS SOUPS 2780996 WITH SCORE 2788698.311
AT ITER 396 NEW BEST:: SOT 12130703 SOS 7702439 HAS SOPS 6389938 HAS SOUS 2878451 HAS SOUPS 2780962 WITH SCORE 2788664.439
AT ITER 399 NEW BEST:: SOT 12132731 SOS 7704515 HAS SOPS 6391512 HAS SOUS 2873153 HAS SOUPS 2776356 WITH SCORE 2784060.515
AT ITER 404 NEW BEST:: SOT 12132439 SOS 7704090 HAS SOPS 6391150 HAS SOUS 2872294 HAS SOUPS 2775504 WITH SCORE 2783208.09
AT ITER 410 NEW BEST:: SOT 12132381 SOS 7704032 HAS SOPS 6391092 HAS SOUS 2872028 HAS SOUPS 2775238 WITH SCORE 2782942.032
AT ITER 430 NEW BEST:: SOT 12131445 SOS 7704851 HAS SOPS 6394258 HAS SOUS 2870925 HAS SOUPS 2774135 WITH SCORE 2781839.851
AT ITER 432 NEW BEST:: SOT 12126720 SOS 7698188 HAS SOPS 6387997 HAS SOUS 2865750 HAS SOUPS 2769027 WITH SCORE 2776725.188
AT ITER 437 NEW BEST:: SOT 12126064 SOS 7700187 HAS SOPS 6391708 HAS SOUS 2861894 HAS SOUPS 2765171 WITH SCORE 2772871.187
AT ITER 447 NEW BEST:: SOT 12122686 SOS 7694194 HAS SOPS 6387349 HAS SOUS 2854418 HAS SOUPS 2757764 WITH SCORE 2765458.194
AT ITER 459 NEW BEST:: SOT 12121575 SOS 7692331 HAS SOPS 6385246 HAS SOUS 2852107 HAS SOUPS 2755485 WITH SCORE 2763177.331
AT ITER 462 NEW BEST:: SOT 12121539 SOS 7692399 HAS SOPS 6385229 HAS SOUS 2852002 HAS SOUPS 2755380 WITH SCORE 2763072.399
AT ITER 463 NEW BEST:: SOT 12123695 SOS 7696211 HAS SOPS 6387243 HAS SOUS 2848619 HAS SOUPS 2751997 WITH SCORE 2759693.211
AT ITER 464 NEW BEST:: SOT 12127011 SOS 7693177 HAS SOPS 6387933 HAS SOUS 2841386 HAS SOUPS 2744841 WITH SCORE 2752534.177
AT ITER 474 NEW BEST:: SOT 12126924 SOS 7692619 HAS SOPS 6387052 HAS SOUS 2841158 HAS SOUPS 2744613 WITH SCORE 2752305.619
AT ITER 487 NEW BEST:: SOT 12127947 SOS 7693642 HAS SOPS 6388075 HAS SOUS 2841093 HAS SOUPS 2744548 WITH SCORE 2752241.642
AT ITER 515 NEW BEST:: SOT 12125972 SOS 7691957 HAS SOPS 6385599 HAS SOUS 2838294 HAS SOUPS 2741575 WITH SCORE 2749266.957
AT ITER 547 NEW BEST:: SOT 12127209 SOS 7697554 HAS SOPS 6391384 HAS SOUS 2835425 HAS SOUPS 2738706 WITH SCORE 2746403.554
AT ITER 548 NEW BEST:: SOT 12126242 SOS 7696293 HAS SOPS 6388599 HAS SOUS 2834512 HAS SOUPS 2737793 WITH SCORE 2745489.293
AT ITER 561 NEW BEST:: SOT 12126585 SOS 7696349 HAS SOPS 6385798 HAS SOUS 2830976 HAS SOUPS 2734352 WITH SCORE 2742048.349
AT ITER 567 NEW BEST:: SOT 12126517 SOS 7696478 HAS SOPS 6385845 HAS SOUS 2826005 HAS SOUPS 2729442 WITH SCORE 2737138.478
AT ITER 580 NEW BEST:: SOT 12125344 SOS 7695305 HAS SOPS 6384672 HAS SOUS 2824832 HAS SOUPS 2728269 WITH SCORE 2735964.305
AT ITER 587 NEW BEST:: SOT 12124262 SOS 7693419 HAS SOPS 6383452 HAS SOUS 2823694 HAS SOUPS 2727364 WITH SCORE 2735057.419
AT ITER 593 NEW BEST:: SOT 12123143 SOS 7692599 HAS SOPS 6382661 HAS SOUS 2821111 HAS SOUPS 2724794 WITH SCORE 2732486.599
AT ITER 595 NEW BEST:: SOT 12120150 SOS 7687400 HAS SOPS 6378285 HAS SOUS 2818455 HAS SOUPS 2722138 WITH SCORE 2729825.4
AT ITER 596 NEW BEST:: SOT 12117561 SOS 7682772 HAS SOPS 6374315 HAS SOUS 2813042 HAS SOUPS 2716726 WITH SCORE 2724408.772
AT ITER 624 NEW BEST:: SOT 12117066 SOS 7682317 HAS SOPS 6373887 HAS SOUS 2812713 HAS SOUPS 2716388 WITH SCORE 2724070.317
AT ITER 629 NEW BEST:: SOT 12119226 SOS 7687340 HAS SOPS 6376745 HAS SOUS 2811442 HAS SOUPS 2715117 WITH SCORE 2722804.34
AT ITER 658 NEW BEST:: SOT 12118774 SOS 7687186 HAS SOPS 6376330 HAS SOUS 2811066 HAS SOUPS 2714626 WITH SCORE 2722313.186
AT ITER 665 NEW BEST:: SOT 12116555 SOS 7684983 HAS SOPS 6374111 HAS SOUS 2808863 HAS SOUPS 2712407 WITH SCORE 2720091.983
AT ITER 668 NEW BEST:: SOT 12117584 SOS 7688089 HAS SOPS 6376644 HAS SOUS 2808509 HAS SOUPS 2712053 WITH SCORE 2719741.089
AT ITER 676 NEW BEST:: SOT 12115776 SOS 7685335 HAS SOPS 6373908 HAS SOUS 2806534 HAS SOUPS 2710055 WITH SCORE 2717740.335
AT ITER 685 NEW BEST:: SOT 12115064 SOS 7682850 HAS SOPS 6370462 HAS SOUS 2805747 HAS SOUPS 2709268 WITH SCORE 2716950.85
AT ITER 686 NEW BEST:: SOT 12114787 SOS 7681144 HAS SOPS 6368817 HAS SOUS 2804842 HAS SOUPS 2708363 WITH SCORE 2716044.144
AT ITER 687 NEW BEST:: SOT 12104115 SOS 7654024 HAS SOPS 6344100 HAS SOUS 2793411 HAS SOUPS 2697035 WITH SCORE 2704689.024
AT ITER 689 NEW BEST:: SOT 12102049 SOS 7644737 HAS SOPS 6339197 HAS SOUS 2793152 HAS SOUPS 2696776 WITH SCORE 2704420.737
AT ITER 696 NEW BEST:: SOT 12102109 SOS 7644654 HAS SOPS 6339830 HAS SOUS 2790821 HAS SOUPS 2694445 WITH SCORE 2702089.654
AT ITER 699 NEW BEST:: SOT 12101779 SOS 7644332 HAS SOPS 6338729 HAS SOUS 2790241 HAS SOUPS 2693865 WITH SCORE 2701509.332
AT ITER 708 NEW BEST:: SOT 12101198 SOS 7642053 HAS SOPS 6337480 HAS SOUS 2790023 HAS SOUPS 2693675 WITH SCORE 2701317.053
AT ITER 715 NEW BEST:: SOT 12100881 SOS 7641364 HAS SOPS 6336761 HAS SOUS 2788861 HAS SOUPS 2692513 WITH SCORE 2700154.364
AT ITER 745 NEW BEST:: SOT 12106144 SOS 7660774 HAS SOPS 6356812 HAS SOUS 2786120 HAS SOUPS 2689888 WITH SCORE 2697548.774
AT ITER 757 NEW BEST:: SOT 12102830 SOS 7657429 HAS SOPS 6351426 HAS SOUS 2779137 HAS SOUPS 2682862 WITH SCORE 2690519.429
AT ITER 766 NEW BEST:: SOT 12102381 SOS 7656419 HAS SOPS 6349284 HAS SOUS 2777447 HAS SOUPS 2681172 WITH SCORE 2688828.419
AT ITER 767 NEW BEST:: SOT 12102629 SOS 7664420 HAS SOPS 6350023 HAS SOUS 2775581 HAS SOUPS 2679126 WITH SCORE 2686790.42
AT ITER 776 NEW BEST:: SOT 12098908 SOS 7658117 HAS SOPS 6344164 HAS SOUS 2767047 HAS SOUPS 2670804 WITH SCORE 2678462.117
AT ITER 777 NEW BEST:: SOT 12098831 SOS 7658078 HAS SOPS 6344069 HAS SOUS 2766810 HAS SOUPS 2670567 WITH SCORE 2678225.078
AT ITER 778 NEW BEST:: SOT 12098795 SOS 7658042 HAS SOPS 6344033 HAS SOUS 2766638 HAS SOUPS 2670395 WITH SCORE 2678053.042
AT ITER 779 NEW BEST:: SOT 12096726 SOS 7653475 HAS SOPS 6341544 HAS SOUS 2765647 HAS SOUPS 2669454 WITH SCORE 2677107.475
AT ITER 780 NEW BEST:: SOT 12097305 SOS 7653715 HAS SOPS 6343565 HAS SOUS 2765416 HAS SOUPS 2669223 WITH SCORE 2676876.715
AT ITER 807 NEW BEST:: SOT 12097195 SOS 7655041 HAS SOPS 6347725 HAS SOUS 2764404 HAS SOUPS 2668211 WITH SCORE 2675866.041
AT ITER 810 NEW BEST:: SOT 12097144 SOS 7655095 HAS SOPS 6347737 HAS SOUS 2764227 HAS SOUPS 2668034 WITH SCORE 2675689.095
AT ITER 823 NEW BEST:: SOT 12097312 SOS 7655959 HAS SOPS 6347375 HAS SOUS 2761719 HAS SOUPS 2665526 WITH SCORE 2673181.959
AT ITER 828 NEW BEST:: SOT 12096079 SOS 7654763 HAS SOPS 6345579 HAS SOUS 2759169 HAS SOUPS 2662976 WITH SCORE 2670630.763
AT ITER 854 NEW BEST:: SOT 12092220 SOS 7642320 HAS SOPS 6336813 HAS SOUS 2756743 HAS SOUPS 2660656 WITH SCORE 2668298.32
AT ITER 877 NEW BEST:: SOT 12091335 SOS 7640361 HAS SOPS 6335703 HAS SOUS 2756544 HAS SOUPS 2660457 WITH SCORE 2668097.361
AT ITER 890 NEW BEST:: SOT 12093488 SOS 7648486 HAS SOPS 6343408 HAS SOUS 2753203 HAS SOUPS 2656992 WITH SCORE 2664640.486
AT ITER 892 NEW BEST:: SOT 12094127 SOS 7649150 HAS SOPS 6344355 HAS SOUS 2752948 HAS SOUPS 2656974 WITH SCORE 2664623.15
AT ITER 895 NEW BEST:: SOT 12094004 SOS 7649696 HAS SOPS 6344625 HAS SOUS 2748819 HAS SOUPS 2653001 WITH SCORE 2660650.696
AT ITER 899 NEW BEST:: SOT 12088777 SOS 7636941 HAS SOPS 6333531 HAS SOUS 2746828 HAS SOUPS 2651010 WITH SCORE 2658646.941
AT ITER 905 NEW BEST:: SOT 12089157 SOS 7638372 HAS SOPS 6334904 HAS SOUS 2746793 HAS SOUPS 2650975 WITH SCORE 2658613.372
AT ITER 909 NEW BEST:: SOT 12089130 SOS 7639123 HAS SOPS 6335629 HAS SOUS 2746361 HAS SOUPS 2650543 WITH SCORE 2658182.123
AT ITER 916 NEW BEST:: SOT 12081269 SOS 7627104 HAS SOPS 6324031 HAS SOUS 2737725 HAS SOUPS 2641996 WITH SCORE 2649623.104
AT ITER 917 NEW BEST:: SOT 12080154 SOS 7625579 HAS SOPS 6322103 HAS SOUS 2735283 HAS SOUPS 2639554 WITH SCORE 2647179.579
AT ITER 928 NEW BEST:: SOT 12081129 SOS 7626825 HAS SOPS 6323845 HAS SOUS 2731516 HAS SOUPS 2635787 WITH SCORE 2643413.825
AT ITER 929 NEW BEST:: SOT 12081786 SOS 7628190 HAS SOPS 6324396 HAS SOUS 2728602 HAS SOUPS 2633065 WITH SCORE 2640693.19
AT ITER 940 NEW BEST:: SOT 12081766 SOS 7628069 HAS SOPS 6323826 HAS SOUS 2726769 HAS SOUPS 2631189 WITH SCORE 2638817.069
AT ITER 952 NEW BEST:: SOT 12081682 SOS 7626714 HAS SOPS 6322809 HAS SOUS 2726640 HAS SOUPS 2631060 WITH SCORE 2638686.714
AT ITER 965 NEW BEST:: SOT 12082980 SOS 7625538 HAS SOPS 6324471 HAS SOUS 2726305 HAS SOUPS 2630725 WITH SCORE 2638350.538
AT ITER 972 NEW BEST:: SOT 12081912 SOS 7623239 HAS SOPS 6322404 HAS SOUS 2724668 HAS SOUPS 2629116 WITH SCORE 2636739.239
AT ITER 973 NEW BEST:: SOT 12080965 SOS 7624832 HAS SOPS 6320852 HAS SOUS 2721743 HAS SOUPS 2626191 WITH SCORE 2633815.832
AT ITER 982 NEW BEST:: SOT 12078954 SOS 7620881 HAS SOPS 6317556 HAS SOUS 2720107 HAS SOUPS 2624555 WITH SCORE 2632175.881
AT ITER 1015 NEW BEST:: SOT 12078840 SOS 7620759 HAS SOPS 6317368 HAS SOUS 2719870 HAS SOUPS 2624317 WITH SCORE 2631937.759
AT ITER 1025 NEW BEST:: SOT 12077402 SOS 7616965 HAS SOPS 6313531 HAS SOUS 2717404 HAS SOUPS 2621851 WITH SCORE 2629467.965
AT ITER 1043 NEW BEST:: SOT 12079579 SOS 7616813 HAS SOPS 6313633 HAS SOUS 2717240 HAS SOUPS 2621589 WITH SCORE 2629205.813
AT ITER 1077 NEW BEST:: SOT 12079405 SOS 7616310 HAS SOPS 6313293 HAS SOUS 2717230 HAS SOUPS 2621579 WITH SCORE 2629195.31
AT ITER 1083 NEW BEST:: SOT 12078274 SOS 7609817 HAS SOPS 6307266 HAS SOUS 2713944 HAS SOUPS 2618389 WITH SCORE 2625998.817
AT ITER 1094 NEW BEST:: SOT 12080191 SOS 7613426 HAS SOPS 6310710 HAS SOUS 2712734 HAS SOUPS 2617088 WITH SCORE 2624701.426
AT ITER 1098 NEW BEST:: SOT 12079988 SOS 7611566 HAS SOPS 6309181 HAS SOUS 2708911 HAS SOUPS 2614016 WITH SCORE 2621627.566
AT ITER 1099 NEW BEST:: SOT 12082663 SOS 7619556 HAS SOPS 6314042 HAS SOUS 2708885 HAS SOUPS 2613990 WITH SCORE 2621609.556
AT ITER 1117 NEW BEST:: SOT 12082624 SOS 7619240 HAS SOPS 6313420 HAS SOUS 2708810 HAS SOUPS 2613915 WITH SCORE 2621534.24
AT ITER 1128 NEW BEST:: SOT 12080612 SOS 7616135 HAS SOPS 6309122 HAS SOUS 2702938 HAS SOUPS 2608043 WITH SCORE 2615659.135
AT ITER 1137 NEW BEST:: SOT 12077043 SOS 7612646 HAS SOPS 6306009 HAS SOUS 2692589 HAS SOUPS 2597907 WITH SCORE 2605519.646
AT ITER 1158 NEW BEST:: SOT 12077442 SOS 7614191 HAS SOPS 6307032 HAS SOUS 2692564 HAS SOUPS 2597882 WITH SCORE 2605496.191
AT ITER 1161 NEW BEST:: SOT 12080440 SOS 7632204 HAS SOPS 6325210 HAS SOUS 2692140 HAS SOUPS 2597458 WITH SCORE 2605090.204
AT ITER 1170 NEW BEST:: SOT 12073199 SOS 7625740 HAS SOPS 6315968 HAS SOUS 2688210 HAS SOUPS 2593336 WITH SCORE 2600961.74
AT ITER 1173 NEW BEST:: SOT 12072596 SOS 7625194 HAS SOPS 6314996 HAS SOUS 2687234 HAS SOUPS 2592360 WITH SCORE 2599985.194
AT ITER 1188 NEW BEST:: SOT 12069859 SOS 7622331 HAS SOPS 6310797 HAS SOUS 2680452 HAS SOUPS 2585610 WITH SCORE 2593232.331
AT ITER 1200 NEW BEST:: SOT 12065771 SOS 7618753 HAS SOPS 6306861 HAS SOUS 2676375 HAS SOUPS 2581472 WITH SCORE 2589090.753
AT ITER 1203 NEW BEST:: SOT 12066456 SOS 7618344 HAS SOPS 6305679 HAS SOUS 2669309 HAS SOUPS 2574921 WITH SCORE 2582539.344
AT ITER 1215 NEW BEST:: SOT 12065330 SOS 7616848 HAS SOPS 6303623 HAS SOUS 2667023 HAS SOUPS 2572635 WITH SCORE 2580251.848
AT ITER 1217 NEW BEST:: SOT 12063853 SOS 7617752 HAS SOPS 6302193 HAS SOUS 2655523 HAS SOUPS 2561135 WITH SCORE 2568752.752
AT ITER 1254 NEW BEST:: SOT 12064250 SOS 7614852 HAS SOPS 6300311 HAS SOUS 2653835 HAS SOUPS 2559447 WITH SCORE 2567061.852
AT ITER 1257 NEW BEST:: SOT 12064359 SOS 7614865 HAS SOPS 6300320 HAS SOUS 2653735 HAS SOUPS 2559305 WITH SCORE 2566919.865
AT ITER 1264 NEW BEST:: SOT 12062582 SOS 7613060 HAS SOPS 6298460 HAS SOUS 2648612 HAS SOUPS 2554127 WITH SCORE 2561740.06
AT ITER 1299 NEW BEST:: SOT 12055398 SOS 7603925 HAS SOPS 6292075 HAS SOUS 2639991 HAS SOUPS 2545506 WITH SCORE 2553109.925
AT ITER 1302 NEW BEST:: SOT 12055160 SOS 7603963 HAS SOPS 6291697 HAS SOUS 2638759 HAS SOUPS 2544253 WITH SCORE 2551856.963
AT ITER 1311 NEW BEST:: SOT 12051041 SOS 7598684 HAS SOPS 6286106 HAS SOUS 2629632 HAS SOUPS 2535176 WITH SCORE 2542774.684
AT ITER 1322 NEW BEST:: SOT 12051041 SOS 7598942 HAS SOPS 6286698 HAS SOUS 2629531 HAS SOUPS 2535075 WITH SCORE 2542673.942
AT ITER 1329 NEW BEST:: SOT 12050364 SOS 7598033 HAS SOPS 6285789 HAS SOUS 2628330 HAS SOUPS 2533874 WITH SCORE 2541472.033
AT ITER 1361 NEW BEST:: SOT 12050397 SOS 7598066 HAS SOPS 6285836 HAS SOUS 2628272 HAS SOUPS 2533847 WITH SCORE 2541445.066
AT ITER 1377 NEW BEST:: SOT 12049113 SOS 7594328 HAS SOPS 6283277 HAS SOUS 2626539 HAS SOUPS 2532114 WITH SCORE 2539708.328
AT ITER 1382 NEW BEST:: SOT 12050547 SOS 7596688 HAS SOPS 6285992 HAS SOUS 2620631 HAS SOUPS 2526554 WITH SCORE 2534150.688
AT ITER 1387 NEW BEST:: SOT 12050173 SOS 7596209 HAS SOPS 6285153 HAS SOUS 2619222 HAS SOUPS 2525130 WITH SCORE 2532726.209
AT ITER 1395 NEW BEST:: SOT 12049081 SOS 7595498 HAS SOPS 6283719 HAS SOUS 2614215 HAS SOUPS 2520123 WITH SCORE 2527718.498
AT ITER 1400 NEW BEST:: SOT 12023642 SOS 7568681 HAS SOPS 6254763 HAS SOUS 2589316 HAS SOUPS 2495253 WITH SCORE 2502821.681
AT ITER 1407 NEW BEST:: SOT 12023550 SOS 7569704 HAS SOPS 6254115 HAS SOUS 2587509 HAS SOUPS 2493446 WITH SCORE 2501015.704
AT ITER 1412 NEW BEST:: SOT 12024071 SOS 7573130 HAS SOPS 6258727 HAS SOUS 2584856 HAS SOUPS 2490793 WITH SCORE 2498366.13
AT ITER 1432 NEW BEST:: SOT 12020578 SOS 7567224 HAS SOPS 6253551 HAS SOUS 2579994 HAS SOUPS 2485967 WITH SCORE 2493534.224
AT ITER 1436 NEW BEST:: SOT 12018846 SOS 7562139 HAS SOPS 6248916 HAS SOUS 2574806 HAS SOUPS 2480879 WITH SCORE 2488441.139
AT ITER 1443 NEW BEST:: SOT 12018635 SOS 7563638 HAS SOPS 6250168 HAS SOUS 2573690 HAS SOUPS 2479763 WITH SCORE 2487326.638
AT ITER 1445 NEW BEST:: SOT 12016387 SOS 7560820 HAS SOPS 6246851 HAS SOUS 2568246 HAS SOUPS 2474319 WITH SCORE 2481879.82
AT ITER 1446 NEW BEST:: SOT 12017088 SOS 7561711 HAS SOPS 6247407 HAS SOUS 2567557 HAS SOUPS 2473603 WITH SCORE 2481164.711
AT ITER 1455 NEW BEST:: SOT 12017274 SOS 7566419 HAS SOPS 6251365 HAS SOUS 2565276 HAS SOUPS 2471322 WITH SCORE 2478888.419
AT ITER 1463 NEW BEST:: SOT 12017045 SOS 7566388 HAS SOPS 6250668 HAS SOUS 2564767 HAS SOUPS 2470795 WITH SCORE 2478361.388
AT ITER 1464 NEW BEST:: SOT 12021620 SOS 7572434 HAS SOPS 6259665 HAS SOUS 2563980 HAS SOUPS 2470038 WITH SCORE 2477610.434
AT ITER 1467 NEW BEST:: SOT 12022214 SOS 7574376 HAS SOPS 6260611 HAS SOUS 2562711 HAS SOUPS 2468769 WITH SCORE 2476343.376
AT ITER 1476 NEW BEST:: SOT 12021964 SOS 7574153 HAS SOPS 6260506 HAS SOUS 2562563 HAS SOUPS 2468621 WITH SCORE 2476195.153
AT ITER 1481 NEW BEST:: SOT 12022045 SOS 7574347 HAS SOPS 6260396 HAS SOUS 2562101 HAS SOUPS 2468159 WITH SCORE 2475733.347
AT ITER 1486 NEW BEST:: SOT 12018306 SOS 7570608 HAS SOPS 6255985 HAS SOUS 2558026 HAS SOUPS 2463988 WITH SCORE 2471558.608
AT ITER 1491 NEW BEST:: SOT 11998412 SOS 7549687 HAS SOPS 6235544 HAS SOUS 2524404 HAS SOUPS 2430469 WITH SCORE 2438018.687
AT ITER 1500 NEW BEST:: SOT 12002330 SOS 7557120 HAS SOPS 6240963 HAS SOUS 2522146 HAS SOUPS 2428211 WITH SCORE 2435768.12
AT ITER 1508 NEW BEST:: SOT 12001925 SOS 7558185 HAS SOPS 6240888 HAS SOUS 2519644 HAS SOUPS 2425709 WITH SCORE 2433267.185
AT ITER 1515 NEW BEST:: SOT 12000967 SOS 7557491 HAS SOPS 6239928 HAS SOUS 2517476 HAS SOUPS 2423541 WITH SCORE 2431098.491
AT ITER 1533 NEW BEST:: SOT 11999965 SOS 7555729 HAS SOPS 6239243 HAS SOUS 2515692 HAS SOUPS 2421757 WITH SCORE 2429312.729
AT ITER 1535 NEW BEST:: SOT 12000017 SOS 7556614 HAS SOPS 6240730 HAS SOUS 2515181 HAS SOUPS 2421246 WITH SCORE 2428802.614
AT ITER 1538 NEW BEST:: SOT 11998136 SOS 7554535 HAS SOPS 6238849 HAS SOUS 2514273 HAS SOUPS 2420371 WITH SCORE 2427925.535
AT ITER 1545 NEW BEST:: SOT 11997481 SOS 7553630 HAS SOPS 6238009 HAS SOUS 2513028 HAS SOUPS 2419136 WITH SCORE 2426689.63
AT ITER 1561 NEW BEST:: SOT 11996896 SOS 7553105 HAS SOPS 6237534 HAS SOUS 2510881 HAS SOUPS 2417334 WITH SCORE 2424887.105
AT ITER 1568 NEW BEST:: SOT 11996509 SOS 7552048 HAS SOPS 6236797 HAS SOUS 2510655 HAS SOUPS 2417118 WITH SCORE 2424670.048
AT ITER 1581 NEW BEST:: SOT 11995949 SOS 7551116 HAS SOPS 6235235 HAS SOUS 2509969 HAS SOUPS 2416432 WITH SCORE 2423983.116
AT ITER 1592 NEW BEST:: SOT 11995289 SOS 7546785 HAS SOPS 6232062 HAS SOUS 2509628 HAS SOUPS 2416091 WITH SCORE 2423637.785
AT ITER 1593 NEW BEST:: SOT 11996087 SOS 7550177 HAS SOPS 6233389 HAS SOUS 2509057 HAS SOUPS 2415520 WITH SCORE 2423070.177
AT ITER 1623 NEW BEST:: SOT 11995284 SOS 7548425 HAS SOPS 6230545 HAS SOUS 2507066 HAS SOUPS 2413495 WITH SCORE 2421043.425
AT ITER 1625 NEW BEST:: SOT 11982863 SOS 7531777 HAS SOPS 6215081 HAS SOUS 2491208 HAS SOUPS 2396266 WITH SCORE 2403797.777
AT ITER 1637 NEW BEST:: SOT 11981785 SOS 7531178 HAS SOPS 6213720 HAS SOUS 2487821 HAS SOUPS 2392879 WITH SCORE 2400410.178
AT ITER 1654 NEW BEST:: SOT 11981485 SOS 7530666 HAS SOPS 6213217 HAS SOUS 2487338 HAS SOUPS 2392396 WITH SCORE 2399926.666
AT ITER 1661 NEW BEST:: SOT 11981057 SOS 7530277 HAS SOPS 6212310 HAS SOUS 2487088 HAS SOUPS 2392147 WITH SCORE 2399677.277
AT ITER 1666 NEW BEST:: SOT 11981757 SOS 7534242 HAS SOPS 6215338 HAS SOUS 2485834 HAS SOUPS 2390893 WITH SCORE 2398427.242
AT ITER 1686 NEW BEST:: SOT 11985026 SOS 7537507 HAS SOPS 6217631 HAS SOUS 2484751 HAS SOUPS 2389714 WITH SCORE 2397251.507
AT ITER 1699 NEW BEST:: SOT 11985484 SOS 7539094 HAS SOPS 6219337 HAS SOUS 2484604 HAS SOUPS 2389567 WITH SCORE 2397106.094
AT ITER 1707 NEW BEST:: SOT 11985476 SOS 7539086 HAS SOPS 6219329 HAS SOUS 2484492 HAS SOUPS 2389455 WITH SCORE 2396994.086
AT ITER 1708 NEW BEST:: SOT 11985332 SOS 7538741 HAS SOPS 6219023 HAS SOUS 2484300 HAS SOUPS 2389263 WITH SCORE 2396801.741
AT ITER 1717 NEW BEST:: SOT 11985163 SOS 7538098 HAS SOPS 6218470 HAS SOUS 2484200 HAS SOUPS 2389163 WITH SCORE 2396701.098
AT ITER 1721 NEW BEST:: SOT 11984905 SOS 7537881 HAS SOPS 6218212 HAS SOUS 2483944 HAS SOUPS 2388905 WITH SCORE 2396442.881
AT ITER 1723 NEW BEST:: SOT 11989993 SOS 7551868 HAS SOPS 6240796 HAS SOUS 2480937 HAS SOUPS 2386097 WITH SCORE 2393648.868
AT ITER 1747 NEW BEST:: SOT 11989505 SOS 7551393 HAS SOPS 6240148 HAS SOUS 2480286 HAS SOUPS 2385396 WITH SCORE 2392947.393
AT ITER 1761 NEW BEST:: SOT 11988674 SOS 7552318 HAS SOPS 6239190 HAS SOUS 2470131 HAS SOUPS 2375292 WITH SCORE 2382844.318
AT ITER 1762 NEW BEST:: SOT 11988220 SOS 7551852 HAS SOPS 6238694 HAS SOUS 2469615 HAS SOUPS 2374776 WITH SCORE 2382327.852
AT ITER 1765 NEW BEST:: SOT 11987882 SOS 7553357 HAS SOPS 6239142 HAS SOUS 2468140 HAS SOUPS 2373301 WITH SCORE 2380854.357
AT ITER 1766 NEW BEST:: SOT 11987709 SOS 7555854 HAS SOPS 6240151 HAS SOUS 2467683 HAS SOUPS 2372844 WITH SCORE 2380399.854
AT ITER 1789 NEW BEST:: SOT 11978761 SOS 7546596 HAS SOPS 6231083 HAS SOUS 2462059 HAS SOUPS 2367217 WITH SCORE 2374763.596
AT ITER 1806 NEW BEST:: SOT 11983439 SOS 7546237 HAS SOPS 6243700 HAS SOUS 2459099 HAS SOUPS 2365444 WITH SCORE 2372990.237
AT ITER 1807 NEW BEST:: SOT 11982285 SOS 7539037 HAS SOPS 6241315 HAS SOUS 2458208 HAS SOUPS 2364629 WITH SCORE 2372168.037
AT ITER 1821 NEW BEST:: SOT 11984101 SOS 7540853 HAS SOPS 6242555 HAS SOUS 2457028 HAS SOUPS 2363449 WITH SCORE 2370989.853
AT ITER 1829 NEW BEST:: SOT 11984390 SOS 7545518 HAS SOPS 6246549 HAS SOUS 2454576 HAS SOUPS 2360997 WITH SCORE 2368542.518
AT ITER 1845 NEW BEST:: SOT 11980927 SOS 7542055 HAS SOPS 6243086 HAS SOUS 2450869 HAS SOUPS 2357290 WITH SCORE 2364832.055
AT ITER 1858 NEW BEST:: SOT 11980196 SOS 7539403 HAS SOPS 6241279 HAS SOUS 2450652 HAS SOUPS 2357073 WITH SCORE 2364612.403
AT ITER 1859 NEW BEST:: SOT 11989639 SOS 7545666 HAS SOPS 6255695 HAS SOUS 2435779 HAS SOUPS 2342746 WITH SCORE 2350291.666
AT ITER 1880 NEW BEST:: SOT 11989636 SOS 7545599 HAS SOPS 6255612 HAS SOUS 2435741 HAS SOUPS 2342708 WITH SCORE 2350253.599
AT ITER 1882 NEW BEST:: SOT 12004249 SOS 7569294 HAS SOPS 6280089 HAS SOUS 2431445 HAS SOUPS 2338664 WITH SCORE 2346233.294
AT ITER 1906 NEW BEST:: SOT 12003842 SOS 7568125 HAS SOPS 6278985 HAS SOUS 2431190 HAS SOUPS 2338409 WITH SCORE 2345977.125
AT ITER 1915 NEW BEST:: SOT 12003259 SOS 7567094 HAS SOPS 6278295 HAS SOUS 2430982 HAS SOUPS 2338201 WITH SCORE 2345768.094
AT ITER 1921 NEW BEST:: SOT 11998741 SOS 7560168 HAS SOPS 6271827 HAS SOUS 2424147 HAS SOUPS 2331417 WITH SCORE 2338977.168
AT ITER 1935 NEW BEST:: SOT 12010140 SOS 7581863 HAS SOPS 6293333 HAS SOUS 2423423 HAS SOUPS 2330781 WITH SCORE 2338362.863
AT ITER 1937 NEW BEST:: SOT 12009608 SOS 7579611 HAS SOPS 6290731 HAS SOUS 2420021 HAS SOUPS 2327379 WITH SCORE 2334958.611
AT ITER 1942 NEW BEST:: SOT 12008937 SOS 7578874 HAS SOPS 6289994 HAS SOUS 2419262 HAS SOUPS 2326620 WITH SCORE 2334198.874
AT ITER 1964 NEW BEST:: SOT 12002775 SOS 7570790 HAS SOPS 6282091 HAS SOUS 2413309 HAS SOUPS 2320667 WITH SCORE 2328237.79
AT ITER 1970 NEW BEST:: SOT 12006540 SOS 7577328 HAS SOPS 6289656 HAS SOUS 2398219 HAS SOUPS 2305737 WITH SCORE 2313314.328
AT ITER 1971 NEW BEST:: SOT 12013475 SOS 7587226 HAS SOPS 6300609 HAS SOUS 2398122 HAS SOUPS 2305640 WITH SCORE 2313227.226
AT ITER 1987 NEW BEST:: SOT 12007716 SOS 7580951 HAS SOPS 6294664 HAS SOUS 2392041 HAS SOUPS 2299614 WITH SCORE 2307194.951
AT ITER 1991 NEW BEST:: SOT 11990427 SOS 7548057 HAS SOPS 6267126 HAS SOUS 2373204 HAS SOUPS 2281025 WITH SCORE 2288573.057
AT ITER 2013 NEW BEST:: SOT 11991265 SOS 7549634 HAS SOPS 6267790 HAS SOUS 2372749 HAS SOUPS 2280700 WITH SCORE 2288249.634
AT ITER 2019 NEW BEST:: SOT 11988315 SOS 7547848 HAS SOPS 6267494 HAS SOUS 2364451 HAS SOUPS 2272519 WITH SCORE 2280066.848
AT ITER 2021 NEW BEST:: SOT 11986658 SOS 7546191 HAS SOPS 6265629 HAS SOUS 2362734 HAS SOUPS 2270722 WITH SCORE 2278268.191
AT ITER 2025 NEW BEST:: SOT 11985468 SOS 7546734 HAS SOPS 6263973 HAS SOUS 2361940 HAS SOUPS 2269825 WITH SCORE 2277371.734
AT ITER 2029 NEW BEST:: SOT 11987126 SOS 7551290 HAS SOPS 6267922 HAS SOUS 2359262 HAS SOUPS 2267327 WITH SCORE 2274878.29
AT ITER 2037 NEW BEST:: SOT 11986970 SOS 7551074 HAS SOPS 6267718 HAS SOUS 2358982 HAS SOUPS 2267047 WITH SCORE 2274598.074
AT ITER 2068 NEW BEST:: SOT 11986956 SOS 7551088 HAS SOPS 6270062 HAS SOUS 2357715 HAS SOUPS 2265861 WITH SCORE 2273412.088
AT ITER 2076 NEW BEST:: SOT 11987651 SOS 7554164 HAS SOPS 6269917 HAS SOUS 2356614 HAS SOUPS 2264683 WITH SCORE 2272237.164
AT ITER 2077 NEW BEST:: SOT 11985465 SOS 7550554 HAS SOPS 6266636 HAS SOUS 2355700 HAS SOUPS 2263769 WITH SCORE 2271319.554
AT ITER 2098 NEW BEST:: SOT 11985437 SOS 7550843 HAS SOPS 6266636 HAS SOUS 2354750 HAS SOUPS 2262709 WITH SCORE 2270259.843
AT ITER 2114 NEW BEST:: SOT 11978956 SOS 7543575 HAS SOPS 6256983 HAS SOUS 2338480 HAS SOUPS 2246439 WITH SCORE 2253982.575
AT ITER 2127 NEW BEST:: SOT 11978811 SOS 7542520 HAS SOPS 6255686 HAS SOUS 2338474 HAS SOUPS 2246433 WITH SCORE 2253975.52
AT ITER 2142 NEW BEST:: SOT 11982830 SOS 7550742 HAS SOPS 6265525 HAS SOUS 2332951 HAS SOUPS 2241057 WITH SCORE 2248607.742
AT ITER 2148 NEW BEST:: SOT 11982638 SOS 7550550 HAS SOPS 6265237 HAS SOUS 2332423 HAS SOUPS 2240529 WITH SCORE 2248079.55
AT ITER 2156 NEW BEST:: SOT 11980954 SOS 7551707 HAS SOPS 6263355 HAS SOUS 2327026 HAS SOUPS 2235132 WITH SCORE 2242683.707
AT ITER 2171 NEW BEST:: SOT 11981038 SOS 7551013 HAS SOPS 6264012 HAS SOUS 2323993 HAS SOUPS 2232099 WITH SCORE 2239650.013
AT ITER 2175 NEW BEST:: SOT 11980607 SOS 7550611 HAS SOPS 6263554 HAS SOUS 2323423 HAS SOUPS 2231529 WITH SCORE 2239079.611
AT ITER 2185 NEW BEST:: SOT 11980388 SOS 7550328 HAS SOPS 6263243 HAS SOUS 2323288 HAS SOUPS 2231370 WITH SCORE 2238920.328
AT ITER 2198 NEW BEST:: SOT 11980637 SOS 7551359 HAS SOPS 6263886 HAS SOUS 2323193 HAS SOUPS 2231275 WITH SCORE 2238826.359
AT ITER 2207 NEW BEST:: SOT 11979185 SOS 7550757 HAS SOPS 6263399 HAS SOUS 2317390 HAS SOUPS 2225472 WITH SCORE 2233022.757
AT ITER 2224 NEW BEST:: SOT 11973693 SOS 7545026 HAS SOPS 6258499 HAS SOUS 2301870 HAS SOUPS 2210196 WITH SCORE 2217741.026
AT ITER 2227 NEW BEST:: SOT 11973861 SOS 7546658 HAS SOPS 6260457 HAS SOUS 2301541 HAS SOUPS 2209867 WITH SCORE 2217413.658
AT ITER 2228 NEW BEST:: SOT 11963935 SOS 7532041 HAS SOPS 6251029 HAS SOUS 2294149 HAS SOUPS 2202681 WITH SCORE 2210213.041
AT ITER 2234 NEW BEST:: SOT 11963901 SOS 7530510 HAS SOPS 6249644 HAS SOUS 2294012 HAS SOUPS 2202544 WITH SCORE 2210074.51
AT ITER 2242 NEW BEST:: SOT 11963865 SOS 7529965 HAS SOPS 6249983 HAS SOUS 2293910 HAS SOUPS 2202442 WITH SCORE 2209971.965
AT ITER 2251 NEW BEST:: SOT 11964083 SOS 7531414 HAS SOPS 6250704 HAS SOUS 2290276 HAS SOUPS 2198712 WITH SCORE 2206243.414
AT ITER 2260 NEW BEST:: SOT 11962557 SOS 7530917 HAS SOPS 6245575 HAS SOUS 2289256 HAS SOUPS 2197564 WITH SCORE 2205094.917
AT ITER 2263 NEW BEST:: SOT 11961740 SOS 7530062 HAS SOPS 6244758 HAS SOUS 2288402 HAS SOUPS 2196739 WITH SCORE 2204269.062
AT ITER 2264 NEW BEST:: SOT 11961112 SOS 7529294 HAS SOPS 6243771 HAS SOUS 2287164 HAS SOUPS 2195501 WITH SCORE 2203030.294
AT ITER 2288 NEW BEST:: SOT 11960505 SOS 7528715 HAS SOPS 6242864 HAS SOUS 2285549 HAS SOUPS 2193886 WITH SCORE 2201414.715
AT ITER 2296 NEW BEST:: SOT 11952178 SOS 7516262 HAS SOPS 6230771 HAS SOUS 2272122 HAS SOUPS 2180543 WITH SCORE 2188059.262
AT ITER 2299 NEW BEST:: SOT 11948585 SOS 7505922 HAS SOPS 6227647 HAS SOUS 2266391 HAS SOUPS 2174929 WITH SCORE 2182434.922
AT ITER 2313 NEW BEST:: SOT 11946948 SOS 7504285 HAS SOPS 6225882 HAS SOUS 2264510 HAS SOUPS 2173048 WITH SCORE 2180552.285
AT ITER 2314 NEW BEST:: SOT 11945056 SOS 7501092 HAS SOPS 6222778 HAS SOUS 2262043 HAS SOUPS 2170635 WITH SCORE 2178136.092
AT ITER 2327 NEW BEST:: SOT 11944227 SOS 7500356 HAS SOPS 6221489 HAS SOUS 2259488 HAS SOUPS 2168057 WITH SCORE 2175557.356
AT ITER 2336 NEW BEST:: SOT 11948739 SOS 7505480 HAS SOPS 6226721 HAS SOUS 2257329 HAS SOUPS 2166001 WITH SCORE 2173506.48
AT ITER 2338 NEW BEST:: SOT 11948003 SOS 7504744 HAS SOPS 6225617 HAS SOUS 2255305 HAS SOUPS 2163977 WITH SCORE 2171481.744
AT ITER 2341 NEW BEST:: SOT 11947860 SOS 7505439 HAS SOPS 6226361 HAS SOUS 2254887 HAS SOUPS 2163556 WITH SCORE 2171061.439
AT ITER 2347 NEW BEST:: SOT 11946797 SOS 7504015 HAS SOPS 6223232 HAS SOUS 2252395 HAS SOUPS 2160259 WITH SCORE 2167763.015
AT ITER 2361 NEW BEST:: SOT 11946276 SOS 7504523 HAS SOPS 6224363 HAS SOUS 2252267 HAS SOUPS 2160089 WITH SCORE 2167593.523
AT ITER 2365 NEW BEST:: SOT 11946443 SOS 7504664 HAS SOPS 6224530 HAS SOUS 2252031 HAS SOUPS 2159866 WITH SCORE 2167370.664
AT ITER 2377 NEW BEST:: SOT 11949704 SOS 7509029 HAS SOPS 6229689 HAS SOUS 2249245 HAS SOUPS 2156969 WITH SCORE 2164478.029
AT ITER 2396 NEW BEST:: SOT 11954566 SOS 7515271 HAS SOPS 6236330 HAS SOUS 2248818 HAS SOUPS 2156562 WITH SCORE 2164077.271
AT ITER 2397 NEW BEST:: SOT 11954479 SOS 7515468 HAS SOPS 6237071 HAS SOUS 2248750 HAS SOUPS 2156494 WITH SCORE 2164009.468
AT ITER 2401 NEW BEST:: SOT 11954491 SOS 7515742 HAS SOPS 6237376 HAS SOUS 2248532 HAS SOUPS 2156280 WITH SCORE 2163795.742
AT ITER 2414 NEW BEST:: SOT 11955718 SOS 7512509 HAS SOPS 6231307 HAS SOUS 2246735 HAS SOUPS 2154483 WITH SCORE 2161995.509
AT ITER 2424 NEW BEST:: SOT 11954457 SOS 7510464 HAS SOPS 6229092 HAS SOUS 2242936 HAS SOUPS 2150618 WITH SCORE 2158128.464
AT ITER 2432 NEW BEST:: SOT 11951924 SOS 7507815 HAS SOPS 6226215 HAS SOUS 2241378 HAS SOUPS 2149060 WITH SCORE 2156567.815
AT ITER 2442 NEW BEST:: SOT 11948647 SOS 7503221 HAS SOPS 6222293 HAS SOUS 2231682 HAS SOUPS 2139988 WITH SCORE 2147491.221
AT ITER 2447 NEW BEST:: SOT 11961904 SOS 7510110 HAS SOPS 6227466 HAS SOUS 2230154 HAS SOUPS 2138525 WITH SCORE 2146035.11
AT ITER 2453 NEW BEST:: SOT 11961964 SOS 7510828 HAS SOPS 6227620 HAS SOUS 2229273 HAS SOUPS 2137644 WITH SCORE 2145154.828
AT ITER 2457 NEW BEST:: SOT 11961875 SOS 7510639 HAS SOPS 6227371 HAS SOUS 2229029 HAS SOUPS 2137400 WITH SCORE 2144910.639
AT ITER 2477 NEW BEST:: SOT 11967325 SOS 7522505 HAS SOPS 6238349 HAS SOUS 2222682 HAS SOUPS 2130958 WITH SCORE 2138480.505
AT ITER 2484 NEW BEST:: SOT 11964124 SOS 7519158 HAS SOPS 6233907 HAS SOUS 2217658 HAS SOUPS 2125406 WITH SCORE 2132925.158
AT ITER 2488 NEW BEST:: SOT 11964120 SOS 7519154 HAS SOPS 6233903 HAS SOUS 2217458 HAS SOUPS 2125206 WITH SCORE 2132725.154
AT ITER 2490 NEW BEST:: SOT 11963554 SOS 7518577 HAS SOPS 6233476 HAS SOUS 2216645 HAS SOUPS 2124393 WITH SCORE 2131911.577
AT ITER 2523 NEW BEST:: SOT 11960694 SOS 7517084 HAS SOPS 6233313 HAS SOUS 2209177 HAS SOUPS 2116830 WITH SCORE 2124347.084
AT ITER 2527 NEW BEST:: SOT 11957970 SOS 7513235 HAS SOPS 6230033 HAS SOUS 2204333 HAS SOUPS 2111986 WITH SCORE 2119499.235
AT ITER 2529 NEW BEST:: SOT 11954219 SOS 7506750 HAS SOPS 6223790 HAS SOUS 2202304 HAS SOUPS 2109871 WITH SCORE 2117377.75
AT ITER 2542 NEW BEST:: SOT 11954113 SOS 7505072 HAS SOPS 6226285 HAS SOUS 2200616 HAS SOUPS 2108183 WITH SCORE 2115688.072
AT ITER 2546 NEW BEST:: SOT 11953150 SOS 7504083 HAS SOPS 6225004 HAS SOUS 2199805 HAS SOUPS 2107372 WITH SCORE 2114876.083
AT ITER 2547 NEW BEST:: SOT 11953162 SOS 7504791 HAS SOPS 6226358 HAS SOUS 2199241 HAS SOUPS 2106808 WITH SCORE 2114312.791
AT ITER 2576 NEW BEST:: SOT 11957204 SOS 7518497 HAS SOPS 6243253 HAS SOUS 2197417 HAS SOUPS 2104984 WITH SCORE 2112502.497
AT ITER 2580 NEW BEST:: SOT 11957192 SOS 7518485 HAS SOPS 6243241 HAS SOUS 2197405 HAS SOUPS 2104972 WITH SCORE 2112490.485
AT ITER 2586 NEW BEST:: SOT 11956168 SOS 7517461 HAS SOPS 6241865 HAS SOUS 2195773 HAS SOUPS 2103340 WITH SCORE 2110857.461
AT ITER 2609 NEW BEST:: SOT 11955271 SOS 7516396 HAS SOPS 6240725 HAS SOUS 2194046 HAS SOUPS 2101613 WITH SCORE 2109129.396
AT ITER 2618 NEW BEST:: SOT 11956475 SOS 7520570 HAS SOPS 6242833 HAS SOUS 2192456 HAS SOUPS 2100023 WITH SCORE 2107543.57
AT ITER 2638 NEW BEST:: SOT 11957750 SOS 7523125 HAS SOPS 6246072 HAS SOUS 2189870 HAS SOUPS 2097481 WITH SCORE 2105004.125
AT ITER 2642 NEW BEST:: SOT 11958749 SOS 7523604 HAS SOPS 6248168 HAS SOUS 2189524 HAS SOUPS 2097135 WITH SCORE 2104658.604
AT ITER 2657 NEW BEST:: SOT 11956661 SOS 7520321 HAS SOPS 6243395 HAS SOUS 2185737 HAS SOUPS 2093348 WITH SCORE 2100868.321
AT ITER 2681 NEW BEST:: SOT 11956989 SOS 7520744 HAS SOPS 6243723 HAS SOUS 2182619 HAS SOUPS 2090230 WITH SCORE 2097750.744
AT ITER 2682 NEW BEST:: SOT 11956963 SOS 7520432 HAS SOPS 6243794 HAS SOUS 2182538 HAS SOUPS 2090149 WITH SCORE 2097669.432
AT ITER 2685 NEW BEST:: SOT 11952896 SOS 7508414 HAS SOPS 6237635 HAS SOUS 2176997 HAS SOUPS 2084738 WITH SCORE 2092246.414
AT ITER 2693 NEW BEST:: SOT 11951011 SOS 7504076 HAS SOPS 6233008 HAS SOUS 2174857 HAS SOUPS 2082580 WITH SCORE 2090084.076
AT ITER 2697 NEW BEST:: SOT 11950714 SOS 7502530 HAS SOPS 6232064 HAS SOUS 2174729 HAS SOUPS 2082532 WITH SCORE 2090034.53
AT ITER 2708 NEW BEST:: SOT 11956959 SOS 7513395 HAS SOPS 6236719 HAS SOUS 2173931 HAS SOUPS 2081718 WITH SCORE 2089231.395
AT ITER 2717 NEW BEST:: SOT 11956237 SOS 7512411 HAS SOPS 6235873 HAS SOUS 2172521 HAS SOUPS 2080322 WITH SCORE 2087834.411
AT ITER 2737 NEW BEST:: SOT 11955258 SOS 7513375 HAS SOPS 6237605 HAS SOUS 2171844 HAS SOUPS 2079645 WITH SCORE 2087158.375
AT ITER 2748 NEW BEST:: SOT 11952636 SOS 7508795 HAS SOPS 6232618 HAS SOUS 2161948 HAS SOUPS 2069793 WITH SCORE 2077301.795
AT ITER 2760 NEW BEST:: SOT 11948008 SOS 7502647 HAS SOPS 6226454 HAS SOUS 2158022 HAS SOUPS 2065910 WITH SCORE 2073412.647
AT ITER 2765 NEW BEST:: SOT 11953373 SOS 7517660 HAS SOPS 6238736 HAS SOUS 2154840 HAS SOUPS 2062728 WITH SCORE 2070245.66
AT ITER 2783 NEW BEST:: SOT 11953401 SOS 7517660 HAS SOPS 6238149 HAS SOUS 2148601 HAS SOUPS 2056396 WITH SCORE 2063913.66
AT ITER 2806 NEW BEST:: SOT 11952595 SOS 7512494 HAS SOPS 6233198 HAS SOUS 2148115 HAS SOUPS 2055910 WITH SCORE 2063422.494
AT ITER 2817 NEW BEST:: SOT 11949348 SOS 7507242 HAS SOPS 6227734 HAS SOUS 2142324 HAS SOUPS 2050161 WITH SCORE 2057668.242
AT ITER 2836 NEW BEST:: SOT 11950329 SOS 7509793 HAS SOPS 6229491 HAS SOUS 2135806 HAS SOUPS 2043075 WITH SCORE 2050584.793
AT ITER 2853 NEW BEST:: SOT 11949630 SOS 7505091 HAS SOPS 6228020 HAS SOUS 2129381 HAS SOUPS 2036868 WITH SCORE 2044373.091
AT ITER 2878 NEW BEST:: SOT 11951702 SOS 7513112 HAS SOPS 6235191 HAS SOUS 2129312 HAS SOUPS 2036629 WITH SCORE 2044142.112
AT ITER 2883 NEW BEST:: SOT 11952467 SOS 7513885 HAS SOPS 6233879 HAS SOUS 2128900 HAS SOUPS 2035745 WITH SCORE 2043258.885
AT ITER 2888 NEW BEST:: SOT 11951175 SOS 7512710 HAS SOPS 6231422 HAS SOUS 2124144 HAS SOUPS 2031094 WITH SCORE 2038606.71
AT ITER 2889 NEW BEST:: SOT 11950695 SOS 7512230 HAS SOPS 6230654 HAS SOUS 2122636 HAS SOUPS 2029586 WITH SCORE 2037098.23
AT ITER 2894 NEW BEST:: SOT 11954473 SOS 7513374 HAS SOPS 6232580 HAS SOUS 2120245 HAS SOUPS 2027301 WITH SCORE 2034814.374
AT ITER 2899 NEW BEST:: SOT 11953959 SOS 7512591 HAS SOPS 6232342 HAS SOUS 2118600 HAS SOUPS 2025684 WITH SCORE 2033196.591
AT ITER 2909 NEW BEST:: SOT 11933227 SOS 7479981 HAS SOPS 6200349 HAS SOUS 2094304 HAS SOUPS 2001541 WITH SCORE 2009020.981
AT ITER 2921 NEW BEST:: SOT 11931422 SOS 7475714 HAS SOPS 6197409 HAS SOUS 2094126 HAS SOUPS 2001373 WITH SCORE 2008848.714
AT ITER 2924 NEW BEST:: SOT 11931719 SOS 7468076 HAS SOPS 6189771 HAS SOUS 2093858 HAS SOUPS 2001105 WITH SCORE 2008573.076
AT ITER 2942 NEW BEST:: SOT 11910757 SOS 7440695 HAS SOPS 6157364 HAS SOUS 2057619 HAS SOUPS 1964866 WITH SCORE 1972306.695
AT ITER 2949 NEW BEST:: SOT 11912921 SOS 7443814 HAS SOPS 6159003 HAS SOUS 2056296 HAS SOUPS 1963439 WITH SCORE 1970882.814
AT ITER 2951 NEW BEST:: SOT 11910833 SOS 7441682 HAS SOPS 6156311 HAS SOUS 2053563 HAS SOUPS 1960726 WITH SCORE 1968167.682
AT ITER 2956 NEW BEST:: SOT 11907662 SOS 7434041 HAS SOPS 6152623 HAS SOUS 2046775 HAS SOUPS 1954629 WITH SCORE 1962063.041
AT ITER 2963 NEW BEST:: SOT 11907029 SOS 7431738 HAS SOPS 6149276 HAS SOUS 2045645 HAS SOUPS 1953499 WITH SCORE 1960930.738
AT ITER 2971 NEW BEST:: SOT 11906290 SOS 7430999 HAS SOPS 6148537 HAS SOUS 2044982 HAS SOUPS 1952836 WITH SCORE 1960266.999
AT ITER 2974 NEW BEST:: SOT 11907816 SOS 7433132 HAS SOPS 6150297 HAS SOUS 2044785 HAS SOUPS 1952670 WITH SCORE 1960103.132
AT ITER 2986 NEW BEST:: SOT 11907333 SOS 7431931 HAS SOPS 6149479 HAS SOUS 2044633 HAS SOUPS 1952501 WITH SCORE 1959932.931
AT ITER 2994 NEW BEST:: SOT 11908054 SOS 7432623 HAS SOPS 6150205 HAS SOUS 2042569 HAS SOUPS 1950709 WITH SCORE 1958141.623
AT ITER 3011 NEW BEST:: SOT 11908874 SOS 7433845 HAS SOPS 6152648 HAS SOUS 2040236 HAS SOUPS 1948558 WITH SCORE 1955991.845
AT ITER 3020 NEW BEST:: SOT 11913018 SOS 7440096 HAS SOPS 6157990 HAS SOUS 2034438 HAS SOUPS 1942760 WITH SCORE 1950200.096
AT ITER 3057 NEW BEST:: SOT 11910744 SOS 7435795 HAS SOPS 6153251 HAS SOUS 2032271 HAS SOUPS 1940593 WITH SCORE 1948028.795
AT ITER 3078 NEW BEST:: SOT 11910724 SOS 7435423 HAS SOPS 6153019 HAS SOUS 2031666 HAS SOUPS 1939988 WITH SCORE 1947423.423
AT ITER 3081 NEW BEST:: SOT 11910271 SOS 7434979 HAS SOPS 6152182 HAS SOUS 2029859 HAS SOUPS 1938151 WITH SCORE 1945585.979
AT ITER 3083 NEW BEST:: SOT 11909880 SOS 7434358 HAS SOPS 6151050 HAS SOUS 2028608 HAS SOUPS 1936900 WITH SCORE 1944334.358
AT ITER 3090 NEW BEST:: SOT 11909458 SOS 7433395 HAS SOPS 6150174 HAS SOUS 2027873 HAS SOUPS 1936165 WITH SCORE 1943598.395
AT ITER 3113 NEW BEST:: SOT 11905007 SOS 7428840 HAS SOPS 6143645 HAS SOUS 2022827 HAS SOUPS 1930159 WITH SCORE 1937587.84
AT ITER 3121 NEW BEST:: SOT 11896024 SOS 7418422 HAS SOPS 6138498 HAS SOUS 2019633 HAS SOUPS 1928008 WITH SCORE 1935426.422
AT ITER 3125 NEW BEST:: SOT 11895068 SOS 7417466 HAS SOPS 6136966 HAS SOUS 2016469 HAS SOUPS 1924844 WITH SCORE 1932261.466
AT ITER 3128 NEW BEST:: SOT 11896001 SOS 7411423 HAS SOPS 6131487 HAS SOUS 2015363 HAS SOUPS 1923738 WITH SCORE 1931149.423
AT ITER 3137 NEW BEST:: SOT 11895985 SOS 7411407 HAS SOPS 6131471 HAS SOUS 2015331 HAS SOUPS 1923706 WITH SCORE 1931117.407
AT ITER 3156 NEW BEST:: SOT 11895590 SOS 7410671 HAS SOPS 6131154 HAS SOUS 2013373 HAS SOUPS 1921748 WITH SCORE 1929158.671
AT ITER 3159 NEW BEST:: SOT 11895059 SOS 7410780 HAS SOPS 6131296 HAS SOUS 2012670 HAS SOUPS 1921045 WITH SCORE 1928455.78
AT ITER 3162 NEW BEST:: SOT 11894431 SOS 7409509 HAS SOPS 6129564 HAS SOUS 2011328 HAS SOUPS 1919703 WITH SCORE 1927112.509
AT ITER 3163 NEW BEST:: SOT 11887213 SOS 7400462 HAS SOPS 6121453 HAS SOUS 2003509 HAS SOUPS 1911972 WITH SCORE 1919372.462
AT ITER 3165 NEW BEST:: SOT 11885795 SOS 7395829 HAS SOPS 6118880 HAS SOUS 2003035 HAS SOUPS 1911769 WITH SCORE 1919164.829
AT ITER 3181 NEW BEST:: SOT 11886111 SOS 7396262 HAS SOPS 6119853 HAS SOUS 2001591 HAS SOUPS 1910325 WITH SCORE 1917721.262
AT ITER 3186 NEW BEST:: SOT 11882525 SOS 7392744 HAS SOPS 6116267 HAS SOUS 1995324 HAS SOUPS 1903990 WITH SCORE 1911382.744
AT ITER 3195 NEW BEST:: SOT 11883973 SOS 7395866 HAS SOPS 6118876 HAS SOUS 1995094 HAS SOUPS 1903760 WITH SCORE 1911155.866
AT ITER 3200 NEW BEST:: SOT 11883865 SOS 7395618 HAS SOPS 6118441 HAS SOUS 1994790 HAS SOUPS 1903456 WITH SCORE 1910851.618
AT ITER 3203 NEW BEST:: SOT 11882226 SOS 7393442 HAS SOPS 6116585 HAS SOUS 1992515 HAS SOUPS 1901209 WITH SCORE 1908602.442
AT ITER 3208 NEW BEST:: SOT 11879668 SOS 7388724 HAS SOPS 6111867 HAS SOUS 1991415 HAS SOUPS 1900109 WITH SCORE 1907497.724
AT ITER 3209 NEW BEST:: SOT 11876960 SOS 7384425 HAS SOPS 6106593 HAS SOUS 1986632 HAS SOUPS 1895326 WITH SCORE 1902710.425
AT ITER 3212 NEW BEST:: SOT 11875272 SOS 7382321 HAS SOPS 6104385 HAS SOUS 1984151 HAS SOUPS 1892858 WITH SCORE 1900240.321
AT ITER 3213 NEW BEST:: SOT 11867423 SOS 7368028 HAS SOPS 6089053 HAS SOUS 1978741 HAS SOUPS 1887448 WITH SCORE 1894816.028
AT ITER 3222 NEW BEST:: SOT 11865218 SOS 7365835 HAS SOPS 6087744 HAS SOUS 1977752 HAS SOUPS 1887191 WITH SCORE 1894556.835
AT ITER 3240 NEW BEST:: SOT 11865348 SOS 7365520 HAS SOPS 6086958 HAS SOUS 1977073 HAS SOUPS 1886512 WITH SCORE 1893877.52
AT ITER 3248 NEW BEST:: SOT 11863951 SOS 7363448 HAS SOPS 6084803 HAS SOUS 1974399 HAS SOUPS 1883838 WITH SCORE 1891201.448
AT ITER 3253 NEW BEST:: SOT 11862191 SOS 7361006 HAS SOPS 6082787 HAS SOUS 1971638 HAS SOUPS 1881136 WITH SCORE 1888497.006
AT ITER 3267 NEW BEST:: SOT 11860553 SOS 7360531 HAS SOPS 6082067 HAS SOUS 1960117 HAS SOUPS 1869584 WITH SCORE 1876944.531
AT ITER 3279 NEW BEST:: SOT 11859819 SOS 7360007 HAS SOPS 6080858 HAS SOUS 1958295 HAS SOUPS 1867740 WITH SCORE 1875100.007
AT ITER 3293 NEW BEST:: SOT 11857527 SOS 7349906 HAS SOPS 6073791 HAS SOUS 1957137 HAS SOUPS 1866913 WITH SCORE 1874262.906
AT ITER 3298 NEW BEST:: SOT 11857447 SOS 7349861 HAS SOPS 6073675 HAS SOUS 1957124 HAS SOUPS 1866894 WITH SCORE 1874243.861
AT ITER 3307 NEW BEST:: SOT 11859314 SOS 7354574 HAS SOPS 6078935 HAS SOUS 1955211 HAS SOUPS 1864981 WITH SCORE 1872335.574
AT ITER 3309 NEW BEST:: SOT 11849397 SOS 7334376 HAS SOPS 6065689 HAS SOUS 1950249 HAS SOUPS 1860181 WITH SCORE 1867515.376
AT ITER 3316 NEW BEST:: SOT 11849956 SOS 7334862 HAS SOPS 6065936 HAS SOUS 1949920 HAS SOUPS 1859852 WITH SCORE 1867186.862
AT ITER 3318 NEW BEST:: SOT 11848712 SOS 7332660 HAS SOPS 6063319 HAS SOUS 1948978 HAS SOUPS 1858910 WITH SCORE 1866242.66
AT ITER 3367 NEW BEST:: SOT 11848616 SOS 7332470 HAS SOPS 6063078 HAS SOUS 1948762 HAS SOUPS 1858694 WITH SCORE 1866026.47
AT ITER 3383 NEW BEST:: SOT 11848856 SOS 7334408 HAS SOPS 6063886 HAS SOUS 1947022 HAS SOUPS 1856954 WITH SCORE 1864288.408
AT ITER 3398 NEW BEST:: SOT 11848771 SOS 7334879 HAS SOPS 6063237 HAS SOUS 1945672 HAS SOUPS 1855604 WITH SCORE 1862938.879
AT ITER 3410 NEW BEST:: SOT 11848531 SOS 7334639 HAS SOPS 6062997 HAS SOUS 1944744 HAS SOUPS 1854676 WITH SCORE 1862010.639
AT ITER 3414 NEW BEST:: SOT 11850597 SOS 7342659 HAS SOPS 6072066 HAS SOUS 1944346 HAS SOUPS 1854278 WITH SCORE 1861620.659
AT ITER 3415 NEW BEST:: SOT 11850179 SOS 7342303 HAS SOPS 6068913 HAS SOUS 1941676 HAS SOUPS 1851608 WITH SCORE 1858950.303
AT ITER 3421 NEW BEST:: SOT 11847465 SOS 7334399 HAS SOPS 6063059 HAS SOUS 1941179 HAS SOUPS 1851337 WITH SCORE 1858671.399
AT ITER 3437 NEW BEST:: SOT 11847038 SOS 7333841 HAS SOPS 6062709 HAS SOUS 1940256 HAS SOUPS 1850473 WITH SCORE 1857806.841
AT ITER 3438 NEW BEST:: SOT 11847294 SOS 7334097 HAS SOPS 6062853 HAS SOUS 1940176 HAS SOUPS 1850393 WITH SCORE 1857727.097
AT ITER 3441 NEW BEST:: SOT 11846199 SOS 7332752 HAS SOPS 6061343 HAS SOUS 1936168 HAS SOUPS 1846346 WITH SCORE 1853678.752
AT ITER 3454 NEW BEST:: SOT 11846130 SOS 7332575 HAS SOPS 6061028 HAS SOUS 1936072 HAS SOUPS 1846247 WITH SCORE 1853579.575
AT ITER 3463 NEW BEST:: SOT 11846002 SOS 7331241 HAS SOPS 6059341 HAS SOUS 1935722 HAS SOUPS 1845897 WITH SCORE 1853228.241
AT ITER 3472 NEW BEST:: SOT 11845249 SOS 7330419 HAS SOPS 6058450 HAS SOUS 1934095 HAS SOUPS 1844279 WITH SCORE 1851609.419
AT ITER 3482 NEW BEST:: SOT 11844614 SOS 7329046 HAS SOPS 6056347 HAS SOUS 1932809 HAS SOUPS 1842979 WITH SCORE 1850308.046
AT ITER 3505 NEW BEST:: SOT 11844064 SOS 7326924 HAS SOPS 6055101 HAS SOUS 1932571 HAS SOUPS 1842741 WITH SCORE 1850067.924
AT ITER 3521 NEW BEST:: SOT 11842009 SOS 7321589 HAS SOPS 6050110 HAS SOUS 1930060 HAS SOUPS 1840230 WITH SCORE 1847551.589
AT ITER 3529 NEW BEST:: SOT 11838219 SOS 7311630 HAS SOPS 6044034 HAS SOUS 1928045 HAS SOUPS 1838431 WITH SCORE 1845742.63
AT ITER 3536 NEW BEST:: SOT 11834974 SOS 7308741 HAS SOPS 6037717 HAS SOUS 1924976 HAS SOUPS 1835263 WITH SCORE 1842571.741
AT ITER 3562 NEW BEST:: SOT 11834547 SOS 7308749 HAS SOPS 6037328 HAS SOUS 1923667 HAS SOUPS 1833954 WITH SCORE 1841262.749
AT ITER 3565 NEW BEST:: SOT 11834430 SOS 7308320 HAS SOPS 6037307 HAS SOUS 1923576 HAS SOUPS 1833863 WITH SCORE 1841171.32
AT ITER 3580 NEW BEST:: SOT 11837591 SOS 7311326 HAS SOPS 6038734 HAS SOUS 1921652 HAS SOUPS 1831677 WITH SCORE 1838988.326
AT ITER 3586 NEW BEST:: SOT 11836933 SOS 7309530 HAS SOPS 6037779 HAS SOUS 1921039 HAS SOUPS 1831495 WITH SCORE 1838804.53
AT ITER 3596 NEW BEST:: SOT 11844558 SOS 7326556 HAS SOPS 6057600 HAS SOUS 1916382 HAS SOUPS 1827013 WITH SCORE 1834339.556
AT ITER 3599 NEW BEST:: SOT 11848757 SOS 7331204 HAS SOPS 6062714 HAS SOUS 1915894 HAS SOUPS 1826589 WITH SCORE 1833920.204
AT ITER 3661 NEW BEST:: SOT 11848600 SOS 7330286 HAS SOPS 6061946 HAS SOUS 1915634 HAS SOUPS 1826329 WITH SCORE 1833659.286
AT ITER 3691 NEW BEST:: SOT 11845858 SOS 7325234 HAS SOPS 6058385 HAS SOUS 1910626 HAS SOUPS 1821321 WITH SCORE 1828646.234
AT ITER 3697 NEW BEST:: SOT 11843449 SOS 7322120 HAS SOPS 6055735 HAS SOUS 1906114 HAS SOUPS 1816820 WITH SCORE 1824142.12
AT ITER 3714 NEW BEST:: SOT 11843624 SOS 7316063 HAS SOPS 6053196 HAS SOUS 1904333 HAS SOUPS 1815146 WITH SCORE 1822462.063
AT ITER 3716 NEW BEST:: SOT 11843480 SOS 7316409 HAS SOPS 6053475 HAS SOUS 1903308 HAS SOUPS 1814138 WITH SCORE 1821454.409
AT ITER 3737 NEW BEST:: SOT 11843989 SOS 7323112 HAS SOPS 6059173 HAS SOUS 1899940 HAS SOUPS 1810770 WITH SCORE 1818093.112
AT ITER 3748 NEW BEST:: SOT 11845578 SOS 7325498 HAS SOPS 6061958 HAS SOUS 1899496 HAS SOUPS 1810326 WITH SCORE 1817651.498
AT ITER 3753 NEW BEST:: SOT 11850537 SOS 7299846 HAS SOPS 6051965 HAS SOUS 1898544 HAS SOUPS 1809636 WITH SCORE 1816935.846
AT ITER 3772 NEW BEST:: SOT 11848754 SOS 7298913 HAS SOPS 6046691 HAS SOUS 1890027 HAS SOUPS 1801931 WITH SCORE 1809229.913
AT ITER 3800 NEW BEST:: SOT 11848747 SOS 7298906 HAS SOPS 6046684 HAS SOUS 1890020 HAS SOUPS 1801924 WITH SCORE 1809222.906
AT ITER 3803 NEW BEST:: SOT 11847097 SOS 7297213 HAS SOPS 6044522 HAS SOUS 1888695 HAS SOUPS 1800614 WITH SCORE 1807911.213
AT ITER 3818 NEW BEST:: SOT 11847256 SOS 7296805 HAS SOPS 6043954 HAS SOUS 1888651 HAS SOUPS 1800570 WITH SCORE 1807866.805
AT ITER 3853 NEW BEST:: SOT 11847707 SOS 7297468 HAS SOPS 6044742 HAS SOUS 1887415 HAS SOUPS 1799442 WITH SCORE 1806739.468
AT ITER 3868 NEW BEST:: SOT 11847972 SOS 7298063 HAS SOPS 6045337 HAS SOUS 1887350 HAS SOUPS 1799382 WITH SCORE 1806680.063
AT ITER 3892 NEW BEST:: SOT 11845378 SOS 7294918 HAS SOPS 6042305 HAS SOUS 1882512 HAS SOUPS 1794580 WITH SCORE 1801874.918
AT ITER 3901 NEW BEST:: SOT 11843875 SOS 7293415 HAS SOPS 6040610 HAS SOUS 1880049 HAS SOUPS 1792117 WITH SCORE 1799410.415
AT ITER 3944 NEW BEST:: SOT 11843605 SOS 7294342 HAS SOPS 6039500 HAS SOUS 1879688 HAS SOUPS 1790906 WITH SCORE 1798200.342
AT ITER 3948 NEW BEST:: SOT 11843620 SOS 7294645 HAS SOPS 6039698 HAS SOUS 1879609 HAS SOUPS 1790827 WITH SCORE 1798121.645
AT ITER 3949 NEW BEST:: SOT 11842077 SOS 7292818 HAS SOPS 6037831 HAS SOUS 1877405 HAS SOUPS 1788637 WITH SCORE 1795929.818
AT ITER 3957 NEW BEST:: SOT 11842089 SOS 7292830 HAS SOPS 6037843 HAS SOUS 1877333 HAS SOUPS 1788565 WITH SCORE 1795857.83
AT ITER 3963 NEW BEST:: SOT 11838016 SOS 7284287 HAS SOPS 6032361 HAS SOUS 1877251 HAS SOUPS 1788483 WITH SCORE 1795767.287
AT ITER 4029 NEW BEST:: SOT 11837934 SOS 7284205 HAS SOPS 6032231 HAS SOUS 1877025 HAS SOUPS 1788257 WITH SCORE 1795541.205
AT ITER 4038 NEW BEST:: SOT 11837937 SOS 7284276 HAS SOPS 6032281 HAS SOUS 1877011 HAS SOUPS 1788242 WITH SCORE 1795526.276
AT ITER 4046 NEW BEST:: SOT 11839508 SOS 7284244 HAS SOPS 6032469 HAS SOUS 1875801 HAS SOUPS 1787032 WITH SCORE 1794316.244
AT ITER 4054 NEW BEST:: SOT 11838950 SOS 7284258 HAS SOPS 6032038 HAS SOUS 1874371 HAS SOUPS 1785602 WITH SCORE 1792886.258
AT ITER 4055 NEW BEST:: SOT 11842391 SOS 7293312 HAS SOPS 6042590 HAS SOUS 1874322 HAS SOUPS 1785553 WITH SCORE 1792846.312
AT ITER 4078 NEW BEST:: SOT 11839223 SOS 7285238 HAS SOPS 6033020 HAS SOUS 1869967 HAS SOUPS 1781151 WITH SCORE 1788436.238
AT ITER 4079 NEW BEST:: SOT 11828599 SOS 7261829 HAS SOPS 6016226 HAS SOUS 1862042 HAS SOUPS 1773427 WITH SCORE 1780688.829
AT ITER 4081 NEW BEST:: SOT 11827786 SOS 7259244 HAS SOPS 6013364 HAS SOUS 1859425 HAS SOUPS 1770810 WITH SCORE 1778069.244
AT ITER 4087 NEW BEST:: SOT 11826117 SOS 7255619 HAS SOPS 6010407 HAS SOUS 1858926 HAS SOUPS 1770311 WITH SCORE 1777566.619
AT ITER 4113 NEW BEST:: SOT 11825195 SOS 7252352 HAS SOPS 6008302 HAS SOUS 1858861 HAS SOUPS 1770246 WITH SCORE 1777498.352
AT ITER 4123 NEW BEST:: SOT 11824813 SOS 7251986 HAS SOPS 6007643 HAS SOUS 1858574 HAS SOUPS 1769913 WITH SCORE 1777164.986
AT ITER 4132 NEW BEST:: SOT 11823554 SOS 7249207 HAS SOPS 6007196 HAS SOUS 1855625 HAS SOUPS 1766964 WITH SCORE 1774213.207
AT ITER 4154 NEW BEST:: SOT 11821919 SOS 7247577 HAS SOPS 6005069 HAS SOUS 1853157 HAS SOUPS 1764473 WITH SCORE 1771720.577
AT ITER 4170 NEW BEST:: SOT 11817916 SOS 7243178 HAS SOPS 5999267 HAS SOUS 1849042 HAS SOUPS 1760358 WITH SCORE 1767601.178
AT ITER 4198 NEW BEST:: SOT 11815179 SOS 7237596 HAS SOPS 5994727 HAS SOUS 1848392 HAS SOUPS 1759637 WITH SCORE 1766874.596
AT ITER 4208 NEW BEST:: SOT 11813759 SOS 7236121 HAS SOPS 5993011 HAS SOUS 1846335 HAS SOUPS 1757552 WITH SCORE 1764788.121
AT ITER 4209 NEW BEST:: SOT 11814232 SOS 7236594 HAS SOPS 5992268 HAS SOUS 1843988 HAS SOUPS 1755193 WITH SCORE 1762429.594
AT ITER 4216 NEW BEST:: SOT 11813185 SOS 7236163 HAS SOPS 5990958 HAS SOUS 1842466 HAS SOUPS 1753671 WITH SCORE 1760907.163
AT ITER 4228 NEW BEST:: SOT 11807656 SOS 7231016 HAS SOPS 5985394 HAS SOUS 1835197 HAS SOUPS 1746425 WITH SCORE 1753656.016
AT ITER 4245 NEW BEST:: SOT 11807638 SOS 7231045 HAS SOPS 5985357 HAS SOUS 1835030 HAS SOUPS 1746258 WITH SCORE 1753489.045
AT ITER 4266 NEW BEST:: SOT 11807263 SOS 7230561 HAS SOPS 5985050 HAS SOUS 1833540 HAS SOUPS 1744768 WITH SCORE 1751998.561
AT ITER 4269 NEW BEST:: SOT 11808038 SOS 7229972 HAS SOPS 5984030 HAS SOUS 1833506 HAS SOUPS 1743813 WITH SCORE 1751042.972
AT ITER 4287 NEW BEST:: SOT 11807969 SOS 7230088 HAS SOPS 5983786 HAS SOUS 1833360 HAS SOUPS 1743667 WITH SCORE 1750897.088
AT ITER 4293 NEW BEST:: SOT 11807589 SOS 7228830 HAS SOPS 5982176 HAS SOUS 1833343 HAS SOUPS 1743650 WITH SCORE 1750878.83
AT ITER 4295 NEW BEST:: SOT 11810875 SOS 7238659 HAS SOPS 5990100 HAS SOUS 1822304 HAS SOUPS 1732611 WITH SCORE 1739849.659
AT ITER 4300 NEW BEST:: SOT 11817902 SOS 7242977 HAS SOPS 5992761 HAS SOUS 1821821 HAS SOUPS 1731973 WITH SCORE 1739215.977
AT ITER 4303 NEW BEST:: SOT 11821602 SOS 7253636 HAS SOPS 6000339 HAS SOUS 1821615 HAS SOUPS 1731540 WITH SCORE 1738793.636
AT ITER 4310 NEW BEST:: SOT 11821265 SOS 7252809 HAS SOPS 5998992 HAS SOUS 1817542 HAS SOUPS 1727467 WITH SCORE 1734719.809
AT ITER 4314 NEW BEST:: SOT 11820697 SOS 7251379 HAS SOPS 5998202 HAS SOUS 1816844 HAS SOUPS 1726977 WITH SCORE 1734228.379
AT ITER 4339 NEW BEST:: SOT 11819379 SOS 7246047 HAS SOPS 5993458 HAS SOUS 1812457 HAS SOUPS 1722590 WITH SCORE 1729836.047
AT ITER 4344 NEW BEST:: SOT 11819145 SOS 7247476 HAS SOPS 5994558 HAS SOUS 1810824 HAS SOUPS 1720957 WITH SCORE 1728204.476
AT ITER 4388 NEW BEST:: SOT 11818099 SOS 7245807 HAS SOPS 5992561 HAS SOUS 1807862 HAS SOUPS 1717924 WITH SCORE 1725169.807
AT ITER 4399 NEW BEST:: SOT 11818337 SOS 7245685 HAS SOPS 5992629 HAS SOUS 1807824 HAS SOUPS 1717886 WITH SCORE 1725131.685
AT ITER 4400 NEW BEST:: SOT 11818285 SOS 7249133 HAS SOPS 5994694 HAS SOUS 1798012 HAS SOUPS 1707955 WITH SCORE 1715204.133
AT ITER 4408 NEW BEST:: SOT 11817565 SOS 7248341 HAS SOPS 5993139 HAS SOUS 1796623 HAS SOUPS 1706566 WITH SCORE 1713814.341
AT ITER 4409 NEW BEST:: SOT 11817865 SOS 7247239 HAS SOPS 5991113 HAS SOUS 1795428 HAS SOUPS 1705371 WITH SCORE 1712618.239
AT ITER 4423 NEW BEST:: SOT 11814299 SOS 7243598 HAS SOPS 5987003 HAS SOUS 1791145 HAS SOUPS 1701122 WITH SCORE 1708365.598
AT ITER 4444 NEW BEST:: SOT 11810407 SOS 7237883 HAS SOPS 5980720 HAS SOUS 1789737 HAS SOUPS 1699793 WITH SCORE 1707030.883
AT ITER 4447 NEW BEST:: SOT 11808073 SOS 7235549 HAS SOPS 5977778 HAS SOUS 1787531 HAS SOUPS 1697587 WITH SCORE 1704822.549
AT ITER 4449 NEW BEST:: SOT 11807877 SOS 7234785 HAS SOPS 5977014 HAS SOUS 1787379 HAS SOUPS 1697435 WITH SCORE 1704669.785
AT ITER 4454 NEW BEST:: SOT 11805698 SOS 7229819 HAS SOPS 5972715 HAS SOUS 1785075 HAS SOUPS 1695131 WITH SCORE 1702360.819
AT ITER 4476 NEW BEST:: SOT 11805643 SOS 7229926 HAS SOPS 5971950 HAS SOUS 1785024 HAS SOUPS 1695080 WITH SCORE 1702309.926
AT ITER 4483 NEW BEST:: SOT 11805567 SOS 7229457 HAS SOPS 5970529 HAS SOUS 1784865 HAS SOUPS 1693867 WITH SCORE 1701096.457
AT ITER 4487 NEW BEST:: SOT 11805177 SOS 7229043 HAS SOPS 5969875 HAS SOUS 1784044 HAS SOUPS 1693040 WITH SCORE 1700269.043
AT ITER 4493 NEW BEST:: SOT 11805910 SOS 7231917 HAS SOPS 5971533 HAS SOUS 1783370 HAS SOUPS 1692214 WITH SCORE 1699445.917
AT ITER 4543 NEW BEST:: SOT 11806036 SOS 7231743 HAS SOPS 5971135 HAS SOUS 1782618 HAS SOUPS 1691462 WITH SCORE 1698693.743
AT ITER 4589 NEW BEST:: SOT 11802574 SOS 7229212 HAS SOPS 5968153 HAS SOUS 1780228 HAS SOUPS 1688998 WITH SCORE 1696227.212
AT ITER 4607 NEW BEST:: SOT 11802553 SOS 7229460 HAS SOPS 5968412 HAS SOUS 1780085 HAS SOUPS 1688855 WITH SCORE 1696084.46
AT ITER 4610 NEW BEST:: SOT 11799418 SOS 7226328 HAS SOPS 5966273 HAS SOUS 1779392 HAS SOUPS 1688450 WITH SCORE 1695676.328
AT ITER 4625 NEW BEST:: SOT 11796413 SOS 7223731 HAS SOPS 5963190 HAS SOUS 1774418 HAS SOUPS 1683476 WITH SCORE 1690699.731
AT ITER 4635 NEW BEST:: SOT 11796116 SOS 7224054 HAS SOPS 5963241 HAS SOUS 1772940 HAS SOUPS 1681998 WITH SCORE 1689222.054
AT ITER 4641 NEW BEST:: SOT 11793982 SOS 7218745 HAS SOPS 5958411 HAS SOUS 1769592 HAS SOUPS 1678692 WITH SCORE 1685910.745
AT ITER 4684 NEW BEST:: SOT 11792448 SOS 7216730 HAS SOPS 5956091 HAS SOUS 1766415 HAS SOUPS 1675515 WITH SCORE 1682731.73
AT ITER 4688 NEW BEST:: SOT 11791895 SOS 7216024 HAS SOPS 5954738 HAS SOUS 1765639 HAS SOUPS 1674727 WITH SCORE 1681943.024
AT ITER 4689 NEW BEST:: SOT 11798770 SOS 7231385 HAS SOPS 5967258 HAS SOUS 1761406 HAS SOUPS 1670494 WITH SCORE 1677725.385
AT ITER 4699 NEW BEST:: SOT 11797950 SOS 7230565 HAS SOPS 5965958 HAS SOUS 1759146 HAS SOUPS 1668234 WITH SCORE 1675464.565
AT ITER 4715 NEW BEST:: SOT 11788064 SOS 7206876 HAS SOPS 5943971 HAS SOUS 1748188 HAS SOUPS 1657370 WITH SCORE 1664576.876
AT ITER 4720 NEW BEST:: SOT 11787464 SOS 7205842 HAS SOPS 5943000 HAS SOUS 1746822 HAS SOUPS 1656178 WITH SCORE 1663383.842
AT ITER 4734 NEW BEST:: SOT 11787818 SOS 7206015 HAS SOPS 5943354 HAS SOUS 1744652 HAS SOUPS 1654008 WITH SCORE 1661214.015
AT ITER 4777 NEW BEST:: SOT 11787653 SOS 7205915 HAS SOPS 5943169 HAS SOUS 1744177 HAS SOUPS 1653533 WITH SCORE 1660738.915
AT ITER 4789 NEW BEST:: SOT 11786949 SOS 7205133 HAS SOPS 5942786 HAS SOUS 1740775 HAS SOUPS 1650210 WITH SCORE 1657415.133
AT ITER 4790 NEW BEST:: SOT 11786385 SOS 7204337 HAS SOPS 5942094 HAS SOUS 1740603 HAS SOUPS 1650038 WITH SCORE 1657242.337
AT ITER 4792 NEW BEST:: SOT 11785325 SOS 7201913 HAS SOPS 5939773 HAS SOUS 1740241 HAS SOUPS 1649676 WITH SCORE 1656877.913
AT ITER 4797 NEW BEST:: SOT 11786206 SOS 7204570 HAS SOPS 5943137 HAS SOUS 1738475 HAS SOUPS 1647910 WITH SCORE 1655114.57
AT ITER 4806 NEW BEST:: SOT 11783830 SOS 7200588 HAS SOPS 5939672 HAS SOUS 1734735 HAS SOUPS 1644192 WITH SCORE 1651392.588
AT ITER 4819 NEW BEST:: SOT 11783546 SOS 7200000 HAS SOPS 5939499 HAS SOUS 1733554 HAS SOUPS 1643011 WITH SCORE 1650211.0
AT ITER 4835 NEW BEST:: SOT 11780650 SOS 7193501 HAS SOPS 5932141 HAS SOUS 1731515 HAS SOUPS 1640972 WITH SCORE 1648165.501
AT ITER 4846 NEW BEST:: SOT 11780308 SOS 7193147 HAS SOPS 5931902 HAS SOUS 1731497 HAS SOUPS 1640954 WITH SCORE 1648147.147
AT ITER 4856 NEW BEST:: SOT 11779833 SOS 7191553 HAS SOPS 5930954 HAS SOUS 1729555 HAS SOUPS 1639309 WITH SCORE 1646500.553
AT ITER 4876 NEW BEST:: SOT 11776298 SOS 7184004 HAS SOPS 5923262 HAS SOUS 1721078 HAS SOUPS 1631024 WITH SCORE 1638208.004
AT ITER 4877 NEW BEST:: SOT 11776226 SOS 7183964 HAS SOPS 5922605 HAS SOUS 1720767 HAS SOUPS 1630713 WITH SCORE 1637896.964
AT ITER 4903 NEW BEST:: SOT 11780034 SOS 7187772 HAS SOPS 5925661 HAS SOUS 1720183 HAS SOUPS 1630129 WITH SCORE 1637316.772
AT ITER 4906 NEW BEST:: SOT 11782185 SOS 7192748 HAS SOPS 5930542 HAS SOUS 1715463 HAS SOUPS 1625409 WITH SCORE 1632601.748
AT ITER 4912 NEW BEST:: SOT 11782857 SOS 7193003 HAS SOPS 5931152 HAS SOUS 1714467 HAS SOUPS 1624354 WITH SCORE 1631547.003
AT ITER 4913 NEW BEST:: SOT 11781811 SOS 7189006 HAS SOPS 5928128 HAS SOUS 1714141 HAS SOUPS 1624056 WITH SCORE 1631245.006
AT ITER 4916 NEW BEST:: SOT 11780435 SOS 7187630 HAS SOPS 5926752 HAS SOUS 1713069 HAS SOUPS 1622984 WITH SCORE 1630171.63
AT ITER 4917 NEW BEST:: SOT 11780253 SOS 7187362 HAS SOPS 5924756 HAS SOUS 1712659 HAS SOUPS 1622574 WITH SCORE 1629761.362
AT ITER 4920 NEW BEST:: SOT 11779833 SOS 7186942 HAS SOPS 5924176 HAS SOUS 1711819 HAS SOUPS 1621734 WITH SCORE 1628920.942
AT ITER 4957 NEW BEST:: SOT 11780318 SOS 7187361 HAS SOPS 5924739 HAS SOUS 1711102 HAS SOUPS 1621017 WITH SCORE 1628204.361
AT ITER 4960 NEW BEST:: SOT 11781698 SOS 7191118 HAS SOPS 5930230 HAS SOUS 1706661 HAS SOUPS 1616647 WITH SCORE 1623838.118
AT ITER 4970 NEW BEST:: SOT 11781295 SOS 7190271 HAS SOPS 5928886 HAS SOUS 1705696 HAS SOUPS 1615682 WITH SCORE 1622872.271
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-8-CTLCardinality-00 (! (AG( (! ( potential( ( 3 ) <= (tk(P182)) ) & potential( ( 1 ) <= (tk(P480)) ) )))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-01 (AX( (! (EG( potential( (tk(P570)) <= (tk(P195)) ))))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-02 ( (! ( (AX( potential( (tk(P91)) <= (tk(P235)) ))) & (AF(potential( ( 2 ) <= (tk(P432)) ))) )) & (AG( ( (! potential( ( 3 ) <= (tk(P475)) )) | ( potential( (tk(P451)) <= (tk(P322)) ) | potential( ( 2 ) <= (tk(P371)) ) ) ))) )
PROPERTY: RERS17pb113-PT-8-CTLCardinality-03 (AG( (AG( ( potential( (tk(P146)) <= (tk(P265)) ) & potential( (tk(P2)) <= (tk(P284)) ) )))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-04 (EF((! (EF(potential( ( 3 ) <= (tk(P150)) ))))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-05 (AU( ( (! potential( (tk(P416)) <= (tk(P171)) )) & potential( (tk(P592)) <= (tk(P505)) ) ),(AF(potential( ( 1 ) <= (tk(P6)) ))) ))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-06 (EG( ( ( (! potential( (tk(P411)) <= (tk(P223)) )) | ( potential( ( 3 ) <= (tk(P198)) ) | potential( ( 2 ) <= (tk(P232)) ) ) ) | (AX( potential( ( 2 ) <= (tk(P564)) ))) )))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-07 (AX( (AF(( potential( ( 1 ) <= (tk(P462)) ) & potential( (tk(P264)) <= (tk(P178)) ) )))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-08 (AG( ( ( ( potential( (tk(P366)) <= (tk(P294)) ) | potential( ( 2 ) <= (tk(P458)) ) ) | ( potential( ( 1 ) <= (tk(P217)) ) | potential( ( 2 ) <= (tk(P419)) ) ) ) | (AX( potential( ( 3 ) <= (tk(P399)) ))) )))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-09 (EG( (EX( ( potential( ( 2 ) <= (tk(P382)) ) | potential( (tk(P457)) <= (tk(P324)) ) )))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-10 (EG( ( ( ( potential( ( 2 ) <= (tk(P22)) ) | potential( ( 1 ) <= (tk(P609)) ) ) & ( potential( (tk(P408)) <= (tk(P229)) ) & potential( ( 1 ) <= (tk(P158)) ) ) ) | (AG( potential( (tk(P376)) <= (tk(P113)) ))) )))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-11 (AF((AX( ( potential( ( 2 ) <= (tk(P75)) ) & potential( ( 2 ) <= (tk(P224)) ) )))))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-12 (AU( (AG( potential( ( 3 ) <= (tk(P99)) ))),(AG( potential( (tk(P170)) <= (tk(P44)) ))) ))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-13 (AG( potential( (tk(P320)) <= (tk(P378)) )))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-14 (! ( (! (EF(potential( ( 2 ) <= (tk(P195)) )))) & ( (EG( potential( (tk(P426)) <= (tk(P256)) ))) | ( ( potential( ( 2 ) <= (tk(P364)) ) | potential( ( 2 ) <= (tk(P399)) ) ) | (! potential( (tk(P23)) <= (tk(P348)) )) ) ) ))
PROPERTY: RERS17pb113-PT-8-CTLCardinality-15 (EU( (AF(potential( ( 1 ) <= (tk(P422)) ))),(EG( potential( ( 2 ) <= (tk(P34)) ))) ))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-8, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300059"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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