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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:00 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 2.8K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 13:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 13:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 20:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 20:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

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

=== Now, execution of the tool begins

BK_START 1589645871337

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 1
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 4 NEW BEST:: SOT 12196809 SOS 7749630 HAS SOPS 6418223 HAS SOUS 3043005 HAS SOUPS 2942515 WITH SCORE 2950264.63
AT ITER 6 NEW BEST:: SOT 12196355 SOS 7749941 HAS SOPS 6417309 HAS SOUS 3040571 HAS SOUPS 2940081 WITH SCORE 2947830.941
AT ITER 15 NEW BEST:: SOT 12195122 SOS 7757125 HAS SOPS 6423722 HAS SOUS 3025000 HAS SOUPS 2924510 WITH SCORE 2932267.125
AT ITER 22 NEW BEST:: SOT 12195059 SOS 7756476 HAS SOPS 6423179 HAS SOUS 3024706 HAS SOUPS 2924216 WITH SCORE 2931972.476
AT ITER 45 NEW BEST:: SOT 12184790 SOS 7746163 HAS SOPS 6412772 HAS SOUS 3013959 HAS SOUPS 2913433 WITH SCORE 2921179.163
AT ITER 60 NEW BEST:: SOT 12184809 SOS 7744957 HAS SOPS 6411916 HAS SOUS 3013921 HAS SOUPS 2913395 WITH SCORE 2921139.957
AT ITER 65 NEW BEST:: SOT 12184811 SOS 7744949 HAS SOPS 6411920 HAS SOUS 3013865 HAS SOUPS 2913347 WITH SCORE 2921091.949
AT ITER 71 NEW BEST:: SOT 12182529 SOS 7742667 HAS SOPS 6409638 HAS SOUS 3011583 HAS SOUPS 2911065 WITH SCORE 2918807.667
AT ITER 72 NEW BEST:: SOT 12180821 SOS 7744223 HAS SOPS 6410594 HAS SOUS 3003436 HAS SOUPS 2902997 WITH SCORE 2910741.223
AT ITER 74 NEW BEST:: SOT 12181380 SOS 7749138 HAS SOPS 6414229 HAS SOUS 3002176 HAS SOUPS 2901737 WITH SCORE 2909486.138
AT ITER 92 NEW BEST:: SOT 12181408 SOS 7749516 HAS SOPS 6414432 HAS SOUS 3001979 HAS SOUPS 2901540 WITH SCORE 2909289.516
AT ITER 106 NEW BEST:: SOT 12181322 SOS 7757090 HAS SOPS 6414970 HAS SOUS 2998710 HAS SOUPS 2898225 WITH SCORE 2905982.09
AT ITER 107 NEW BEST:: SOT 12181308 SOS 7757114 HAS SOPS 6414975 HAS SOUS 2998658 HAS SOUPS 2898173 WITH SCORE 2905930.114
AT ITER 114 NEW BEST:: SOT 12176395 SOS 7752079 HAS SOPS 6409280 HAS SOUS 2992310 HAS SOUPS 2891703 WITH SCORE 2899455.079
AT ITER 116 NEW BEST:: SOT 12176813 SOS 7756053 HAS SOPS 6411979 HAS SOUS 2989652 HAS SOUPS 2889045 WITH SCORE 2896801.053
AT ITER 119 NEW BEST:: SOT 12178364 SOS 7765501 HAS SOPS 6416651 HAS SOUS 2979187 HAS SOUPS 2878580 WITH SCORE 2886345.501
AT ITER 132 NEW BEST:: SOT 12179187 SOS 7771139 HAS SOPS 6421132 HAS SOUS 2969673 HAS SOUPS 2869066 WITH SCORE 2876837.139
AT ITER 133 NEW BEST:: SOT 12178735 SOS 7773182 HAS SOPS 6419755 HAS SOUS 2964479 HAS SOUPS 2863872 WITH SCORE 2871645.182
AT ITER 140 NEW BEST:: SOT 12172894 SOS 7768912 HAS SOPS 6416863 HAS SOUS 2952857 HAS SOUPS 2852350 WITH SCORE 2860118.912
AT ITER 143 NEW BEST:: SOT 12170789 SOS 7766807 HAS SOPS 6414758 HAS SOUS 2950680 HAS SOUPS 2850173 WITH SCORE 2857939.807
AT ITER 147 NEW BEST:: SOT 12170285 SOS 7764784 HAS SOPS 6413004 HAS SOUS 2950604 HAS SOUPS 2850097 WITH SCORE 2857861.784
AT ITER 150 NEW BEST:: SOT 12170253 SOS 7764752 HAS SOPS 6412972 HAS SOUS 2950472 HAS SOUPS 2849965 WITH SCORE 2857729.752
AT ITER 156 NEW BEST:: SOT 12170713 SOS 7765167 HAS SOPS 6413586 HAS SOUS 2949492 HAS SOUPS 2848905 WITH SCORE 2856670.167
AT ITER 159 NEW BEST:: SOT 12171542 SOS 7766322 HAS SOPS 6415159 HAS SOUS 2948815 HAS SOUPS 2848228 WITH SCORE 2855994.322
AT ITER 167 NEW BEST:: SOT 12170067 SOS 7762948 HAS SOPS 6412099 HAS SOUS 2944853 HAS SOUPS 2844266 WITH SCORE 2852028.948
AT ITER 172 NEW BEST:: SOT 12162496 SOS 7748829 HAS SOPS 6404962 HAS SOUS 2944192 HAS SOUPS 2844036 WITH SCORE 2851784.829
AT ITER 195 NEW BEST:: SOT 12161428 SOS 7748927 HAS SOPS 6402434 HAS SOUS 2935893 HAS SOUPS 2835737 WITH SCORE 2843485.927
AT ITER 197 NEW BEST:: SOT 12161249 SOS 7748123 HAS SOPS 6401399 HAS SOUS 2935231 HAS SOUPS 2835075 WITH SCORE 2842823.123
AT ITER 198 NEW BEST:: SOT 12160906 SOS 7747767 HAS SOPS 6401062 HAS SOUS 2934844 HAS SOUPS 2834715 WITH SCORE 2842462.767
AT ITER 203 NEW BEST:: SOT 12160882 SOS 7747743 HAS SOPS 6401038 HAS SOUS 2934820 HAS SOUPS 2834691 WITH SCORE 2842438.743
AT ITER 211 NEW BEST:: SOT 12159315 SOS 7746138 HAS SOPS 6399403 HAS SOUS 2932572 HAS SOUPS 2832455 WITH SCORE 2840201.138
AT ITER 212 NEW BEST:: SOT 12156473 SOS 7743299 HAS SOPS 6396561 HAS SOUS 2929752 HAS SOUPS 2829632 WITH SCORE 2837375.299
AT ITER 220 NEW BEST:: SOT 12156439 SOS 7743265 HAS SOPS 6396527 HAS SOUS 2929570 HAS SOUPS 2829450 WITH SCORE 2837193.265
AT ITER 226 NEW BEST:: SOT 12156194 SOS 7743101 HAS SOPS 6395852 HAS SOUS 2928337 HAS SOUPS 2828217 WITH SCORE 2835960.101
AT ITER 228 NEW BEST:: SOT 12158282 SOS 7749948 HAS SOPS 6403011 HAS SOUS 2927137 HAS SOUPS 2827017 WITH SCORE 2834766.948
AT ITER 235 NEW BEST:: SOT 12170071 SOS 7762184 HAS SOPS 6430243 HAS SOUS 2923147 HAS SOUPS 2823649 WITH SCORE 2831411.184
AT ITER 253 NEW BEST:: SOT 12164572 SOS 7756685 HAS SOPS 6423960 HAS SOUS 2915020 HAS SOUPS 2815218 WITH SCORE 2822974.685
AT ITER 265 NEW BEST:: SOT 12162573 SOS 7753404 HAS SOPS 6420712 HAS SOUS 2911719 HAS SOUPS 2811955 WITH SCORE 2819708.404
AT ITER 293 NEW BEST:: SOT 12162573 SOS 7753288 HAS SOPS 6420712 HAS SOUS 2911719 HAS SOUPS 2811955 WITH SCORE 2819708.288
AT ITER 298 NEW BEST:: SOT 12161224 SOS 7751630 HAS SOPS 6419060 HAS SOUS 2908788 HAS SOUPS 2809024 WITH SCORE 2816775.63
AT ITER 309 NEW BEST:: SOT 12161051 SOS 7751277 HAS SOPS 6418707 HAS SOUS 2908745 HAS SOUPS 2808981 WITH SCORE 2816732.277
AT ITER 317 NEW BEST:: SOT 12161188 SOS 7751851 HAS SOPS 6419245 HAS SOUS 2908739 HAS SOUPS 2808975 WITH SCORE 2816726.851
AT ITER 320 NEW BEST:: SOT 12159583 SOS 7750084 HAS SOPS 6417327 HAS SOUS 2906422 HAS SOUPS 2806658 WITH SCORE 2814408.084
AT ITER 325 NEW BEST:: SOT 12159936 SOS 7750792 HAS SOPS 6418910 HAS SOUS 2906085 HAS SOUPS 2806404 WITH SCORE 2814154.792
AT ITER 336 NEW BEST:: SOT 12159862 SOS 7750500 HAS SOPS 6418807 HAS SOUS 2906035 HAS SOUPS 2806354 WITH SCORE 2814104.5
AT ITER 347 NEW BEST:: SOT 12158715 SOS 7752138 HAS SOPS 6418988 HAS SOUS 2899413 HAS SOUPS 2799732 WITH SCORE 2807484.138
AT ITER 350 NEW BEST:: SOT 12159368 SOS 7749708 HAS SOPS 6422573 HAS SOUS 2896079 HAS SOUPS 2796398 WITH SCORE 2804147.708
AT ITER 359 NEW BEST:: SOT 12159378 SOS 7751453 HAS SOPS 6425201 HAS SOUS 2895162 HAS SOUPS 2795481 WITH SCORE 2803232.453
AT ITER 367 NEW BEST:: SOT 12152780 SOS 7743708 HAS SOPS 6420917 HAS SOUS 2893336 HAS SOUPS 2794320 WITH SCORE 2802063.708
AT ITER 377 NEW BEST:: SOT 12152588 SOS 7743103 HAS SOPS 6420728 HAS SOUS 2893269 HAS SOUPS 2794253 WITH SCORE 2801996.103
AT ITER 386 NEW BEST:: SOT 12151441 SOS 7742352 HAS SOPS 6420517 HAS SOUS 2891225 HAS SOUPS 2792254 WITH SCORE 2799996.352
AT ITER 391 NEW BEST:: SOT 12151039 SOS 7741545 HAS SOPS 6419917 HAS SOUS 2890580 HAS SOUPS 2791609 WITH SCORE 2799350.545
AT ITER 397 NEW BEST:: SOT 12150708 SOS 7741175 HAS SOPS 6419538 HAS SOUS 2890177 HAS SOUPS 2791200 WITH SCORE 2798941.175
AT ITER 398 NEW BEST:: SOT 12150423 SOS 7740573 HAS SOPS 6418891 HAS SOUS 2889608 HAS SOUPS 2790631 WITH SCORE 2798371.573
AT ITER 404 NEW BEST:: SOT 12150591 SOS 7742395 HAS SOPS 6420021 HAS SOUS 2889089 HAS SOUPS 2790112 WITH SCORE 2797854.395
AT ITER 413 NEW BEST:: SOT 12149828 SOS 7741186 HAS SOPS 6418846 HAS SOUS 2887420 HAS SOUPS 2788457 WITH SCORE 2796198.186
AT ITER 446 NEW BEST:: SOT 12150277 SOS 7742696 HAS SOPS 6420759 HAS SOUS 2886398 HAS SOUPS 2787483 WITH SCORE 2795225.696
AT ITER 448 NEW BEST:: SOT 12149742 SOS 7742242 HAS SOPS 6420307 HAS SOUS 2885809 HAS SOUPS 2786894 WITH SCORE 2794636.242
AT ITER 452 NEW BEST:: SOT 12148005 SOS 7741174 HAS SOPS 6418130 HAS SOUS 2880257 HAS SOUPS 2781289 WITH SCORE 2789030.174
AT ITER 454 NEW BEST:: SOT 12147980 SOS 7740666 HAS SOPS 6418042 HAS SOUS 2879921 HAS SOUPS 2780953 WITH SCORE 2788693.666
AT ITER 456 NEW BEST:: SOT 12144372 SOS 7735330 HAS SOPS 6412972 HAS SOUS 2872581 HAS SOUPS 2773600 WITH SCORE 2781335.33
AT ITER 457 NEW BEST:: SOT 12144316 SOS 7735273 HAS SOPS 6412915 HAS SOUS 2872524 HAS SOUPS 2773543 WITH SCORE 2781278.273
AT ITER 470 NEW BEST:: SOT 12139606 SOS 7730563 HAS SOPS 6407645 HAS SOUS 2865074 HAS SOUPS 2766093 WITH SCORE 2773823.563
AT ITER 485 NEW BEST:: SOT 12139305 SOS 7730337 HAS SOPS 6407293 HAS SOUS 2864180 HAS SOUPS 2765180 WITH SCORE 2772910.337
AT ITER 486 NEW BEST:: SOT 12135927 SOS 7726766 HAS SOPS 6402079 HAS SOUS 2858124 HAS SOUPS 2757512 WITH SCORE 2765238.766
AT ITER 488 NEW BEST:: SOT 12135511 SOS 7726311 HAS SOPS 6402077 HAS SOUS 2857087 HAS SOUPS 2756948 WITH SCORE 2764674.311
AT ITER 499 NEW BEST:: SOT 12135441 SOS 7726241 HAS SOPS 6402007 HAS SOUS 2856729 HAS SOUPS 2756590 WITH SCORE 2764316.241
AT ITER 504 NEW BEST:: SOT 12130716 SOS 7720443 HAS SOPS 6394113 HAS SOUS 2841491 HAS SOUPS 2741325 WITH SCORE 2749045.443
AT ITER 507 NEW BEST:: SOT 12133360 SOS 7727231 HAS SOPS 6400183 HAS SOUS 2840733 HAS SOUPS 2740567 WITH SCORE 2748294.231
AT ITER 508 NEW BEST:: SOT 12133417 SOS 7727755 HAS SOPS 6399514 HAS SOUS 2840392 HAS SOUPS 2740226 WITH SCORE 2747953.755
AT ITER 510 NEW BEST:: SOT 12133333 SOS 7727641 HAS SOPS 6399334 HAS SOUS 2840230 HAS SOUPS 2740064 WITH SCORE 2747791.641
AT ITER 515 NEW BEST:: SOT 12133015 SOS 7729961 HAS SOPS 6400595 HAS SOUS 2837814 HAS SOUPS 2737648 WITH SCORE 2745377.961
AT ITER 517 NEW BEST:: SOT 12132819 SOS 7729753 HAS SOPS 6400375 HAS SOUS 2837598 HAS SOUPS 2737420 WITH SCORE 2745149.753
AT ITER 520 NEW BEST:: SOT 12139149 SOS 7741856 HAS SOPS 6414268 HAS SOUS 2834711 HAS SOUPS 2734533 WITH SCORE 2742274.856
AT ITER 533 NEW BEST:: SOT 12139343 SOS 7743213 HAS SOPS 6416388 HAS SOUS 2834473 HAS SOUPS 2734295 WITH SCORE 2742038.213
AT ITER 542 NEW BEST:: SOT 12130363 SOS 7730623 HAS SOPS 6407336 HAS SOUS 2820454 HAS SOUPS 2720438 WITH SCORE 2728168.623
AT ITER 550 NEW BEST:: SOT 12130297 SOS 7730562 HAS SOPS 6407275 HAS SOUS 2820153 HAS SOUPS 2720137 WITH SCORE 2727867.562
AT ITER 555 NEW BEST:: SOT 12138803 SOS 7743398 HAS SOPS 6423878 HAS SOUS 2814113 HAS SOUPS 2715220 WITH SCORE 2722963.398
AT ITER 556 NEW BEST:: SOT 12138268 SOS 7742863 HAS SOPS 6422863 HAS SOUS 2811910 HAS SOUPS 2712937 WITH SCORE 2720679.863
AT ITER 558 NEW BEST:: SOT 12148629 SOS 7766068 HAS SOPS 6440202 HAS SOUS 2810284 HAS SOUPS 2711311 WITH SCORE 2719077.068
AT ITER 577 NEW BEST:: SOT 12143230 SOS 7759210 HAS SOPS 6433810 HAS SOUS 2794723 HAS SOUPS 2696456 WITH SCORE 2704215.21
AT ITER 578 NEW BEST:: SOT 12142563 SOS 7757777 HAS SOPS 6432774 HAS SOUS 2793772 HAS SOUPS 2695505 WITH SCORE 2703262.777
AT ITER 586 NEW BEST:: SOT 12142429 SOS 7757464 HAS SOPS 6432605 HAS SOUS 2793329 HAS SOUPS 2695062 WITH SCORE 2702819.464
AT ITER 606 NEW BEST:: SOT 12140797 SOS 7756160 HAS SOPS 6431916 HAS SOUS 2790326 HAS SOUPS 2692059 WITH SCORE 2699815.16
AT ITER 609 NEW BEST:: SOT 12140785 SOS 7756418 HAS SOPS 6431976 HAS SOUS 2790330 HAS SOUPS 2692057 WITH SCORE 2699813.418
AT ITER 613 NEW BEST:: SOT 12138858 SOS 7752995 HAS SOPS 6428727 HAS SOUS 2788003 HAS SOUPS 2689730 WITH SCORE 2697482.995
AT ITER 621 NEW BEST:: SOT 12143605 SOS 7764350 HAS SOPS 6436622 HAS SOUS 2780248 HAS SOUPS 2681975 WITH SCORE 2689739.35
AT ITER 623 NEW BEST:: SOT 12131070 SOS 7749255 HAS SOPS 6420965 HAS SOUS 2761182 HAS SOUPS 2663057 WITH SCORE 2670806.255
AT ITER 630 NEW BEST:: SOT 12127375 SOS 7745826 HAS SOPS 6416506 HAS SOUS 2761203 HAS SOUPS 2662822 WITH SCORE 2670567.826
AT ITER 632 NEW BEST:: SOT 12128140 SOS 7746370 HAS SOPS 6416083 HAS SOUS 2756109 HAS SOUPS 2657814 WITH SCORE 2665560.37
AT ITER 643 NEW BEST:: SOT 12127755 SOS 7745768 HAS SOPS 6415929 HAS SOUS 2755914 HAS SOUPS 2657628 WITH SCORE 2665373.768
AT ITER 654 NEW BEST:: SOT 12126832 SOS 7744845 HAS SOPS 6414446 HAS SOUS 2752411 HAS SOUPS 2654125 WITH SCORE 2661869.845
AT ITER 670 NEW BEST:: SOT 12123060 SOS 7738059 HAS SOPS 6408544 HAS SOUS 2743736 HAS SOUPS 2645931 WITH SCORE 2653669.059
AT ITER 674 NEW BEST:: SOT 12123369 SOS 7739818 HAS SOPS 6410610 HAS SOUS 2743241 HAS SOUPS 2645436 WITH SCORE 2653175.818
AT ITER 701 NEW BEST:: SOT 12123124 SOS 7739386 HAS SOPS 6410320 HAS SOUS 2742922 HAS SOUPS 2644961 WITH SCORE 2652700.386
AT ITER 708 NEW BEST:: SOT 12121815 SOS 7737632 HAS SOPS 6408105 HAS SOUS 2737944 HAS SOUPS 2639983 WITH SCORE 2647720.632
AT ITER 713 NEW BEST:: SOT 12121730 SOS 7737626 HAS SOPS 6412021 HAS SOUS 2736965 HAS SOUPS 2639004 WITH SCORE 2646741.626
AT ITER 725 NEW BEST:: SOT 12123091 SOS 7746181 HAS SOPS 6419613 HAS SOUS 2734901 HAS SOUPS 2637026 WITH SCORE 2644772.181
AT ITER 727 NEW BEST:: SOT 12124558 SOS 7749017 HAS SOPS 6422978 HAS SOUS 2731638 HAS SOUPS 2633763 WITH SCORE 2641512.017
AT ITER 732 NEW BEST:: SOT 12124958 SOS 7749237 HAS SOPS 6422796 HAS SOUS 2730879 HAS SOUPS 2633004 WITH SCORE 2640753.237
AT ITER 744 NEW BEST:: SOT 12124826 SOS 7749084 HAS SOPS 6422607 HAS SOUS 2730564 HAS SOUPS 2632692 WITH SCORE 2640441.084
AT ITER 763 NEW BEST:: SOT 12124206 SOS 7751102 HAS SOPS 6422899 HAS SOUS 2725775 HAS SOUPS 2627867 WITH SCORE 2635618.102
AT ITER 770 NEW BEST:: SOT 12124454 SOS 7752726 HAS SOPS 6425935 HAS SOUS 2725767 HAS SOUPS 2627859 WITH SCORE 2635611.726
AT ITER 773 NEW BEST:: SOT 12124055 SOS 7752137 HAS SOPS 6425569 HAS SOUS 2725415 HAS SOUPS 2627507 WITH SCORE 2635259.137
AT ITER 774 NEW BEST:: SOT 12124033 SOS 7752115 HAS SOPS 6425547 HAS SOUS 2725393 HAS SOUPS 2627485 WITH SCORE 2635237.115
AT ITER 787 NEW BEST:: SOT 12125640 SOS 7753051 HAS SOPS 6428669 HAS SOUS 2723996 HAS SOUPS 2626199 WITH SCORE 2633952.051
AT ITER 789 NEW BEST:: SOT 12125167 SOS 7751216 HAS SOPS 6426261 HAS SOUS 2722504 HAS SOUPS 2624707 WITH SCORE 2632458.216
AT ITER 808 NEW BEST:: SOT 12122839 SOS 7747966 HAS SOPS 6422670 HAS SOUS 2719920 HAS SOUPS 2622123 WITH SCORE 2629870.966
AT ITER 810 NEW BEST:: SOT 12117161 SOS 7742288 HAS SOPS 6416992 HAS SOUS 2714242 HAS SOUPS 2616445 WITH SCORE 2624187.288
AT ITER 816 NEW BEST:: SOT 12122059 SOS 7744919 HAS SOPS 6431494 HAS SOUS 2713076 HAS SOUPS 2615566 WITH SCORE 2623310.919
AT ITER 825 NEW BEST:: SOT 12113842 SOS 7724108 HAS SOPS 6418510 HAS SOUS 2710050 HAS SOUPS 2612572 WITH SCORE 2620296.108
AT ITER 835 NEW BEST:: SOT 12110128 SOS 7720185 HAS SOPS 6416612 HAS SOUS 2703066 HAS SOUPS 2606620 WITH SCORE 2614340.185
AT ITER 843 NEW BEST:: SOT 12102080 SOS 7704942 HAS SOPS 6401765 HAS SOUS 2697237 HAS SOUPS 2600791 WITH SCORE 2608495.942
AT ITER 844 NEW BEST:: SOT 12100632 SOS 7703625 HAS SOPS 6400317 HAS SOUS 2696262 HAS SOUPS 2599685 WITH SCORE 2607388.625
AT ITER 862 NEW BEST:: SOT 12100876 SOS 7703261 HAS SOPS 6399706 HAS SOUS 2696039 HAS SOUPS 2599462 WITH SCORE 2607165.261
AT ITER 866 NEW BEST:: SOT 12098699 SOS 7698901 HAS SOPS 6394947 HAS SOUS 2690453 HAS SOUPS 2593893 WITH SCORE 2601591.901
AT ITER 870 NEW BEST:: SOT 12098698 SOS 7698840 HAS SOPS 6394900 HAS SOUS 2690450 HAS SOUPS 2593890 WITH SCORE 2601588.84
AT ITER 884 NEW BEST:: SOT 12097055 SOS 7691551 HAS SOPS 6387530 HAS SOUS 2689327 HAS SOUPS 2592795 WITH SCORE 2600486.551
AT ITER 893 NEW BEST:: SOT 12096905 SOS 7691009 HAS SOPS 6387272 HAS SOUS 2689289 HAS SOUPS 2592767 WITH SCORE 2600458.009
AT ITER 894 NEW BEST:: SOT 12097241 SOS 7691115 HAS SOPS 6390287 HAS SOUS 2688918 HAS SOUPS 2592396 WITH SCORE 2600087.115
AT ITER 913 NEW BEST:: SOT 12096385 SOS 7690259 HAS SOPS 6389143 HAS SOUS 2687350 HAS SOUPS 2590684 WITH SCORE 2598374.259
AT ITER 937 NEW BEST:: SOT 12089411 SOS 7683234 HAS SOPS 6382131 HAS SOUS 2678377 HAS SOUPS 2581722 WITH SCORE 2589405.234
AT ITER 939 NEW BEST:: SOT 12102402 SOS 7725224 HAS SOPS 6424738 HAS SOUS 2671794 HAS SOUPS 2575372 WITH SCORE 2583097.224
AT ITER 944 NEW BEST:: SOT 12100331 SOS 7721395 HAS SOPS 6421868 HAS SOUS 2670396 HAS SOUPS 2574038 WITH SCORE 2581759.395
AT ITER 959 NEW BEST:: SOT 12100314 SOS 7723735 HAS SOPS 6425769 HAS SOUS 2669666 HAS SOUPS 2573308 WITH SCORE 2581031.735
AT ITER 981 NEW BEST:: SOT 12095770 SOS 7715018 HAS SOPS 6420653 HAS SOUS 2659203 HAS SOUPS 2562845 WITH SCORE 2570560.018
AT ITER 990 NEW BEST:: SOT 12095098 SOS 7718983 HAS SOPS 6424216 HAS SOUS 2656696 HAS SOUPS 2560338 WITH SCORE 2568056.983
AT ITER 995 NEW BEST:: SOT 12095396 SOS 7719024 HAS SOPS 6424514 HAS SOUS 2656531 HAS SOUPS 2560173 WITH SCORE 2567892.024
AT ITER 1011 NEW BEST:: SOT 12093930 SOS 7717245 HAS SOPS 6423963 HAS SOUS 2654699 HAS SOUPS 2558341 WITH SCORE 2566058.245
AT ITER 1027 NEW BEST:: SOT 12093825 SOS 7717220 HAS SOPS 6425639 HAS SOUS 2654407 HAS SOUPS 2558092 WITH SCORE 2565809.22
AT ITER 1030 NEW BEST:: SOT 12095811 SOS 7722270 HAS SOPS 6429738 HAS SOUS 2654333 HAS SOUPS 2558018 WITH SCORE 2565740.27
AT ITER 1044 NEW BEST:: SOT 12096877 SOS 7723699 HAS SOPS 6431173 HAS SOUS 2653332 HAS SOUPS 2557017 WITH SCORE 2564740.699
AT ITER 1054 NEW BEST:: SOT 12100667 SOS 7727545 HAS SOPS 6435639 HAS SOUS 2653144 HAS SOUPS 2556829 WITH SCORE 2564556.545
AT ITER 1078 NEW BEST:: SOT 12098061 SOS 7723577 HAS SOPS 6435939 HAS SOUS 2645122 HAS SOUPS 2550196 WITH SCORE 2557919.577
AT ITER 1080 NEW BEST:: SOT 12101904 SOS 7733467 HAS SOPS 6445417 HAS SOUS 2642762 HAS SOUPS 2547812 WITH SCORE 2555545.467
AT ITER 1086 NEW BEST:: SOT 12106526 SOS 7748789 HAS SOPS 6461953 HAS SOUS 2642644 HAS SOUPS 2547694 WITH SCORE 2555442.789
AT ITER 1096 NEW BEST:: SOT 12106215 SOS 7748625 HAS SOPS 6462012 HAS SOUS 2641987 HAS SOUPS 2547064 WITH SCORE 2554812.625
AT ITER 1109 NEW BEST:: SOT 12116798 SOS 7761971 HAS SOPS 6477093 HAS SOUS 2641089 HAS SOUPS 2546481 WITH SCORE 2554242.971
AT ITER 1114 NEW BEST:: SOT 12098682 SOS 7742863 HAS SOPS 6456937 HAS SOUS 2616963 HAS SOUPS 2522416 WITH SCORE 2530158.863
AT ITER 1124 NEW BEST:: SOT 12098326 SOS 7742697 HAS SOPS 6456568 HAS SOUS 2615886 HAS SOUPS 2521339 WITH SCORE 2529081.697
AT ITER 1127 NEW BEST:: SOT 12097129 SOS 7741609 HAS SOPS 6455698 HAS SOUS 2614001 HAS SOUPS 2519454 WITH SCORE 2527195.609
AT ITER 1137 NEW BEST:: SOT 12098489 SOS 7744893 HAS SOPS 6459327 HAS SOUS 2609129 HAS SOUPS 2514663 WITH SCORE 2522407.893
AT ITER 1142 NEW BEST:: SOT 12097195 SOS 7743599 HAS SOPS 6457457 HAS SOUS 2605447 HAS SOUPS 2510981 WITH SCORE 2518724.599
AT ITER 1150 NEW BEST:: SOT 12085559 SOS 7731477 HAS SOPS 6445588 HAS SOUS 2593004 HAS SOUPS 2498643 WITH SCORE 2506374.477
AT ITER 1160 NEW BEST:: SOT 12087230 SOS 7734949 HAS SOPS 6445985 HAS SOUS 2581908 HAS SOUPS 2487511 WITH SCORE 2495245.949
AT ITER 1161 NEW BEST:: SOT 12082940 SOS 7724301 HAS SOPS 6437263 HAS SOUS 2578301 HAS SOUPS 2484169 WITH SCORE 2491893.301
AT ITER 1165 NEW BEST:: SOT 12082678 SOS 7724309 HAS SOPS 6436935 HAS SOUS 2578195 HAS SOUPS 2484039 WITH SCORE 2491763.309
AT ITER 1171 NEW BEST:: SOT 12082489 SOS 7723438 HAS SOPS 6436254 HAS SOUS 2577655 HAS SOUPS 2483564 WITH SCORE 2491287.438
AT ITER 1174 NEW BEST:: SOT 12080002 SOS 7720796 HAS SOPS 6432682 HAS SOUS 2570547 HAS SOUPS 2476401 WITH SCORE 2484121.796
AT ITER 1179 NEW BEST:: SOT 12053341 SOS 7672859 HAS SOPS 6394968 HAS SOUS 2552860 HAS SOUPS 2458829 WITH SCORE 2466501.859
AT ITER 1196 NEW BEST:: SOT 12055401 SOS 7674878 HAS SOPS 6398188 HAS SOUS 2548870 HAS SOUPS 2454871 WITH SCORE 2462545.878
AT ITER 1199 NEW BEST:: SOT 12055258 SOS 7677480 HAS SOPS 6401037 HAS SOUS 2545313 HAS SOUPS 2451314 WITH SCORE 2458991.48
AT ITER 1202 NEW BEST:: SOT 12061111 SOS 7694798 HAS SOPS 6414006 HAS SOUS 2541976 HAS SOUPS 2447977 WITH SCORE 2455671.798
AT ITER 1210 NEW BEST:: SOT 12060445 SOS 7692907 HAS SOPS 6411219 HAS SOUS 2540810 HAS SOUPS 2446811 WITH SCORE 2454503.907
AT ITER 1215 NEW BEST:: SOT 12059057 SOS 7689609 HAS SOPS 6407550 HAS SOUS 2539062 HAS SOUPS 2445083 WITH SCORE 2452772.609
AT ITER 1219 NEW BEST:: SOT 12058209 SOS 7686559 HAS SOPS 6405141 HAS SOUS 2537809 HAS SOUPS 2443873 WITH SCORE 2451559.559
AT ITER 1245 NEW BEST:: SOT 12055547 SOS 7682901 HAS SOPS 6401856 HAS SOUS 2530786 HAS SOUPS 2436850 WITH SCORE 2444532.901
AT ITER 1257 NEW BEST:: SOT 12055423 SOS 7682777 HAS SOPS 6400772 HAS SOUS 2531126 HAS SOUPS 2436406 WITH SCORE 2444088.777
AT ITER 1263 NEW BEST:: SOT 12053433 SOS 7677258 HAS SOPS 6396676 HAS SOUS 2527419 HAS SOUPS 2433242 WITH SCORE 2440919.258
AT ITER 1274 NEW BEST:: SOT 12049260 SOS 7670598 HAS SOPS 6391008 HAS SOUS 2520894 HAS SOUPS 2426818 WITH SCORE 2434488.598
AT ITER 1275 NEW BEST:: SOT 12046735 SOS 7668653 HAS SOPS 6386497 HAS SOUS 2517688 HAS SOUPS 2423476 WITH SCORE 2431144.653
AT ITER 1276 NEW BEST:: SOT 12046603 SOS 7667596 HAS SOPS 6384715 HAS SOUS 2517356 HAS SOUPS 2423144 WITH SCORE 2430811.596
AT ITER 1277 NEW BEST:: SOT 12050072 SOS 7672938 HAS SOPS 6388064 HAS SOUS 2514213 HAS SOUPS 2419536 WITH SCORE 2427208.938
AT ITER 1285 NEW BEST:: SOT 12046850 SOS 7669025 HAS SOPS 6384522 HAS SOUS 2511363 HAS SOUPS 2416686 WITH SCORE 2424355.025
AT ITER 1298 NEW BEST:: SOT 12045464 SOS 7667626 HAS SOPS 6382577 HAS SOUS 2508085 HAS SOUPS 2413442 WITH SCORE 2421109.626
AT ITER 1305 NEW BEST:: SOT 12045228 SOS 7667071 HAS SOPS 6382221 HAS SOUS 2507728 HAS SOUPS 2413093 WITH SCORE 2420760.071
AT ITER 1322 NEW BEST:: SOT 12045221 SOS 7667202 HAS SOPS 6382694 HAS SOUS 2507723 HAS SOUPS 2413088 WITH SCORE 2420755.202
AT ITER 1326 NEW BEST:: SOT 12044465 SOS 7664577 HAS SOPS 6381420 HAS SOUS 2506283 HAS SOUPS 2412283 WITH SCORE 2419947.577
AT ITER 1327 NEW BEST:: SOT 12044366 SOS 7664440 HAS SOPS 6381183 HAS SOUS 2506110 HAS SOUPS 2412110 WITH SCORE 2419774.44
AT ITER 1331 NEW BEST:: SOT 12042534 SOS 7662622 HAS SOPS 6380263 HAS SOUS 2504574 HAS SOUPS 2411616 WITH SCORE 2419278.622
AT ITER 1337 NEW BEST:: SOT 12042605 SOS 7662456 HAS SOPS 6381544 HAS SOUS 2504306 HAS SOUPS 2411387 WITH SCORE 2419049.456
AT ITER 1353 NEW BEST:: SOT 12040555 SOS 7661441 HAS SOPS 6378411 HAS SOUS 2495160 HAS SOUPS 2402241 WITH SCORE 2409902.441
AT ITER 1356 NEW BEST:: SOT 12040474 SOS 7661858 HAS SOPS 6378389 HAS SOUS 2494881 HAS SOUPS 2401792 WITH SCORE 2409453.858
AT ITER 1357 NEW BEST:: SOT 12040363 SOS 7664315 HAS SOPS 6379629 HAS SOUS 2492196 HAS SOUPS 2399107 WITH SCORE 2406771.315
AT ITER 1370 NEW BEST:: SOT 12038166 SOS 7661905 HAS SOPS 6376375 HAS SOUS 2485863 HAS SOUPS 2392774 WITH SCORE 2400435.905
AT ITER 1388 NEW BEST:: SOT 12038266 SOS 7662660 HAS SOPS 6378592 HAS SOUS 2484316 HAS SOUPS 2391227 WITH SCORE 2398889.66
AT ITER 1391 NEW BEST:: SOT 12038242 SOS 7663123 HAS SOPS 6380696 HAS SOUS 2484204 HAS SOUPS 2391115 WITH SCORE 2398778.123
AT ITER 1392 NEW BEST:: SOT 12035121 SOS 7653801 HAS SOPS 6376696 HAS SOUS 2483798 HAS SOUPS 2390829 WITH SCORE 2398482.801
AT ITER 1393 NEW BEST:: SOT 12035207 SOS 7654793 HAS SOPS 6376844 HAS SOUS 2479666 HAS SOUPS 2386738 WITH SCORE 2394392.793
AT ITER 1403 NEW BEST:: SOT 12034927 SOS 7655336 HAS SOPS 6375585 HAS SOUS 2477744 HAS SOUPS 2384816 WITH SCORE 2392471.336
AT ITER 1419 NEW BEST:: SOT 12037711 SOS 7662172 HAS SOPS 6381568 HAS SOUS 2477155 HAS SOUPS 2384227 WITH SCORE 2391889.172
AT ITER 1421 NEW BEST:: SOT 12037123 SOS 7661584 HAS SOPS 6380596 HAS SOUS 2475399 HAS SOUPS 2382471 WITH SCORE 2390132.584
AT ITER 1427 NEW BEST:: SOT 12033196 SOS 7657892 HAS SOPS 6375145 HAS SOUS 2465292 HAS SOUPS 2372317 WITH SCORE 2379974.892
AT ITER 1431 NEW BEST:: SOT 12032893 SOS 7658115 HAS SOPS 6375036 HAS SOUS 2464435 HAS SOUPS 2371443 WITH SCORE 2379101.115
AT ITER 1434 NEW BEST:: SOT 12031371 SOS 7656008 HAS SOPS 6373003 HAS SOUS 2462841 HAS SOUPS 2369856 WITH SCORE 2377512.008
AT ITER 1438 NEW BEST:: SOT 12031435 SOS 7656141 HAS SOPS 6373787 HAS SOUS 2462836 HAS SOUPS 2369851 WITH SCORE 2377507.141
AT ITER 1447 NEW BEST:: SOT 12031891 SOS 7656597 HAS SOPS 6373955 HAS SOUS 2461664 HAS SOUPS 2368679 WITH SCORE 2376335.597
AT ITER 1459 NEW BEST:: SOT 12031535 SOS 7651013 HAS SOPS 6369004 HAS SOUS 2461637 HAS SOUPS 2368652 WITH SCORE 2376303.013
AT ITER 1465 NEW BEST:: SOT 12031665 SOS 7651143 HAS SOPS 6368958 HAS SOUS 2460735 HAS SOUPS 2367750 WITH SCORE 2375401.143
AT ITER 1474 NEW BEST:: SOT 12024107 SOS 7648318 HAS SOPS 6370384 HAS SOUS 2459634 HAS SOUPS 2366391 WITH SCORE 2374039.318
AT ITER 1479 NEW BEST:: SOT 12018638 SOS 7642864 HAS SOPS 6364371 HAS SOUS 2450983 HAS SOUPS 2357741 WITH SCORE 2365383.864
AT ITER 1489 NEW BEST:: SOT 12018819 SOS 7645037 HAS SOPS 6366771 HAS SOUS 2450386 HAS SOUPS 2357144 WITH SCORE 2364789.037
AT ITER 1496 NEW BEST:: SOT 12018660 SOS 7644062 HAS SOPS 6365634 HAS SOUS 2450259 HAS SOUPS 2357017 WITH SCORE 2364661.062
AT ITER 1497 NEW BEST:: SOT 12018888 SOS 7645129 HAS SOPS 6366355 HAS SOUS 2449903 HAS SOUPS 2356661 WITH SCORE 2364306.129
AT ITER 1515 NEW BEST:: SOT 12018368 SOS 7644201 HAS SOPS 6365900 HAS SOUS 2449191 HAS SOUPS 2355961 WITH SCORE 2363605.201
AT ITER 1532 NEW BEST:: SOT 12018568 SOS 7645346 HAS SOPS 6366163 HAS SOUS 2448507 HAS SOUPS 2355277 WITH SCORE 2362922.346
AT ITER 1540 NEW BEST:: SOT 12017989 SOS 7644605 HAS SOPS 6365274 HAS SOUS 2447562 HAS SOUPS 2354338 WITH SCORE 2361982.605
AT ITER 1550 NEW BEST:: SOT 12017394 SOS 7644832 HAS SOPS 6364920 HAS SOUS 2445211 HAS SOUPS 2351987 WITH SCORE 2359631.832
AT ITER 1552 NEW BEST:: SOT 12016229 SOS 7642259 HAS SOPS 6361909 HAS SOUS 2443592 HAS SOUPS 2350368 WITH SCORE 2358010.259
AT ITER 1582 NEW BEST:: SOT 12015314 SOS 7639192 HAS SOPS 6359469 HAS SOUS 2441861 HAS SOUPS 2348637 WITH SCORE 2356276.192
AT ITER 1590 NEW BEST:: SOT 12009592 SOS 7627146 HAS SOPS 6348004 HAS SOUS 2437062 HAS SOUPS 2343879 WITH SCORE 2351506.146
AT ITER 1603 NEW BEST:: SOT 12008361 SOS 7624215 HAS SOPS 6344978 HAS SOUS 2435788 HAS SOUPS 2342605 WITH SCORE 2350229.215
AT ITER 1614 NEW BEST:: SOT 12007977 SOS 7623474 HAS SOPS 6344267 HAS SOUS 2435224 HAS SOUPS 2342044 WITH SCORE 2349667.474
AT ITER 1620 NEW BEST:: SOT 12007234 SOS 7622731 HAS SOPS 6343412 HAS SOUS 2434549 HAS SOUPS 2341369 WITH SCORE 2348991.731
AT ITER 1624 NEW BEST:: SOT 12012859 SOS 7636240 HAS SOPS 6351077 HAS SOUS 2433178 HAS SOUPS 2339943 WITH SCORE 2347579.24
AT ITER 1629 NEW BEST:: SOT 12006734 SOS 7627371 HAS SOPS 6343069 HAS SOUS 2427860 HAS SOUPS 2334680 WITH SCORE 2342307.371
AT ITER 1650 NEW BEST:: SOT 12004377 SOS 7629444 HAS SOPS 6345241 HAS SOUS 2425461 HAS SOUPS 2332281 WITH SCORE 2339910.444
AT ITER 1655 NEW BEST:: SOT 12004074 SOS 7628406 HAS SOPS 6344943 HAS SOUS 2425413 HAS SOUPS 2332233 WITH SCORE 2339861.406
AT ITER 1662 NEW BEST:: SOT 12006315 SOS 7630647 HAS SOPS 6346256 HAS SOUS 2423998 HAS SOUPS 2330674 WITH SCORE 2338304.647
AT ITER 1666 NEW BEST:: SOT 12005362 SOS 7629917 HAS SOPS 6344801 HAS SOUS 2420950 HAS SOUPS 2327626 WITH SCORE 2335255.917
AT ITER 1668 NEW BEST:: SOT 12005341 SOS 7629547 HAS SOPS 6344078 HAS SOUS 2420930 HAS SOUPS 2327606 WITH SCORE 2335235.547
AT ITER 1678 NEW BEST:: SOT 12005728 SOS 7631924 HAS SOPS 6346777 HAS SOUS 2416762 HAS SOUPS 2323713 WITH SCORE 2331344.924
AT ITER 1683 NEW BEST:: SOT 12004717 SOS 7632119 HAS SOPS 6345113 HAS SOUS 2396590 HAS SOUPS 2303869 WITH SCORE 2311501.119
AT ITER 1691 NEW BEST:: SOT 12002357 SOS 7629352 HAS SOPS 6341574 HAS SOUS 2392278 HAS SOUPS 2299557 WITH SCORE 2307186.352
AT ITER 1695 NEW BEST:: SOT 12002255 SOS 7629407 HAS SOPS 6341541 HAS SOUS 2392193 HAS SOUPS 2299468 WITH SCORE 2307097.407
AT ITER 1704 NEW BEST:: SOT 12003319 SOS 7629809 HAS SOPS 6340778 HAS SOUS 2389106 HAS SOUPS 2296381 WITH SCORE 2304010.809
AT ITER 1708 NEW BEST:: SOT 12001799 SOS 7627810 HAS SOPS 6338664 HAS SOUS 2384747 HAS SOUPS 2292146 WITH SCORE 2299773.81
AT ITER 1717 NEW BEST:: SOT 11999303 SOS 7624978 HAS SOPS 6333206 HAS SOUS 2376985 HAS SOUPS 2284384 WITH SCORE 2292008.978
AT ITER 1751 NEW BEST:: SOT 11996000 SOS 7617494 HAS SOPS 6324578 HAS SOUS 2374768 HAS SOUPS 2282113 WITH SCORE 2289730.494
AT ITER 1765 NEW BEST:: SOT 11988879 SOS 7611383 HAS SOPS 6314551 HAS SOUS 2360441 HAS SOUPS 2267786 WITH SCORE 2275397.383
AT ITER 1774 NEW BEST:: SOT 11981664 SOS 7595378 HAS SOPS 6306819 HAS SOUS 2348151 HAS SOUPS 2255496 WITH SCORE 2263091.378
AT ITER 1778 NEW BEST:: SOT 11969619 SOS 7580035 HAS SOPS 6289928 HAS SOUS 2315976 HAS SOUPS 2223618 WITH SCORE 2231198.035
AT ITER 1792 NEW BEST:: SOT 11971540 SOS 7587848 HAS SOPS 6295613 HAS SOUS 2315373 HAS SOUPS 2222883 WITH SCORE 2230470.848
AT ITER 1797 NEW BEST:: SOT 11969974 SOS 7584259 HAS SOPS 6291716 HAS SOUS 2300134 HAS SOUPS 2207674 WITH SCORE 2215258.259
AT ITER 1800 NEW BEST:: SOT 11968415 SOS 7582664 HAS SOPS 6290157 HAS SOUS 2299547 HAS SOUPS 2207123 WITH SCORE 2214705.664
AT ITER 1802 NEW BEST:: SOT 11968360 SOS 7582475 HAS SOPS 6289907 HAS SOUS 2299488 HAS SOUPS 2207064 WITH SCORE 2214646.475
AT ITER 1808 NEW BEST:: SOT 11968773 SOS 7582840 HAS SOPS 6290576 HAS SOUS 2298813 HAS SOUPS 2206917 WITH SCORE 2214499.84
AT ITER 1810 NEW BEST:: SOT 11964301 SOS 7578368 HAS SOPS 6286104 HAS SOUS 2293929 HAS SOUPS 2202033 WITH SCORE 2209611.368
AT ITER 1814 NEW BEST:: SOT 11965450 SOS 7581232 HAS SOPS 6288551 HAS SOUS 2289739 HAS SOUPS 2197608 WITH SCORE 2205189.232
AT ITER 1821 NEW BEST:: SOT 11964999 SOS 7581352 HAS SOPS 6295596 HAS SOUS 2287473 HAS SOUPS 2195342 WITH SCORE 2202923.352
AT ITER 1834 NEW BEST:: SOT 11964666 SOS 7580939 HAS SOPS 6295289 HAS SOUS 2287272 HAS SOUPS 2195135 WITH SCORE 2202715.939
AT ITER 1839 NEW BEST:: SOT 11964368 SOS 7580874 HAS SOPS 6295029 HAS SOUS 2286281 HAS SOUPS 2194146 WITH SCORE 2201726.874
AT ITER 1840 NEW BEST:: SOT 11963217 SOS 7579196 HAS SOPS 6293942 HAS SOUS 2286151 HAS SOUPS 2194026 WITH SCORE 2201605.196
AT ITER 1862 NEW BEST:: SOT 11958440 SOS 7568954 HAS SOPS 6283349 HAS SOUS 2282557 HAS SOUPS 2190540 WITH SCORE 2198108.954
AT ITER 1868 NEW BEST:: SOT 11962095 SOS 7577538 HAS SOPS 6296198 HAS SOUS 2280427 HAS SOUPS 2188549 WITH SCORE 2196126.538
AT ITER 1874 NEW BEST:: SOT 11961222 SOS 7577331 HAS SOPS 6296140 HAS SOUS 2275372 HAS SOUPS 2183785 WITH SCORE 2191362.331
AT ITER 1876 NEW BEST:: SOT 11961252 SOS 7577349 HAS SOPS 6296155 HAS SOUS 2275369 HAS SOUPS 2183783 WITH SCORE 2191360.349
AT ITER 1893 NEW BEST:: SOT 11960552 SOS 7576512 HAS SOPS 6294916 HAS SOUS 2274099 HAS SOUPS 2182513 WITH SCORE 2190089.512
AT ITER 1904 NEW BEST:: SOT 11958935 SOS 7574895 HAS SOPS 6292787 HAS SOUS 2271114 HAS SOUPS 2179528 WITH SCORE 2187102.895
AT ITER 1911 NEW BEST:: SOT 11957945 SOS 7573905 HAS SOPS 6291269 HAS SOUS 2268364 HAS SOUPS 2176778 WITH SCORE 2184351.905
AT ITER 1914 NEW BEST:: SOT 11958014 SOS 7573873 HAS SOPS 6290864 HAS SOUS 2268207 HAS SOUPS 2176621 WITH SCORE 2184194.873
AT ITER 1917 NEW BEST:: SOT 11953722 SOS 7569155 HAS SOPS 6283890 HAS SOUS 2262783 HAS SOUPS 2171076 WITH SCORE 2178645.155
AT ITER 1958 NEW BEST:: SOT 11967510 SOS 7586961 HAS SOPS 6304096 HAS SOUS 2251521 HAS SOUPS 2160142 WITH SCORE 2167728.961
AT ITER 1960 NEW BEST:: SOT 11967483 SOS 7587156 HAS SOPS 6302571 HAS SOUS 2249335 HAS SOUPS 2157956 WITH SCORE 2165543.156
AT ITER 1964 NEW BEST:: SOT 11967424 SOS 7586859 HAS SOPS 6302887 HAS SOUS 2245705 HAS SOUPS 2154161 WITH SCORE 2161747.859
AT ITER 1965 NEW BEST:: SOT 11964254 SOS 7582254 HAS SOPS 6298708 HAS SOUS 2241630 HAS SOUPS 2150150 WITH SCORE 2157732.254
AT ITER 1978 NEW BEST:: SOT 11962518 SOS 7581223 HAS SOPS 6296849 HAS SOUS 2234234 HAS SOUPS 2142754 WITH SCORE 2150335.223
AT ITER 1996 NEW BEST:: SOT 11962414 SOS 7581324 HAS SOPS 6297226 HAS SOUS 2234225 HAS SOUPS 2142745 WITH SCORE 2150326.324
AT ITER 2026 NEW BEST:: SOT 11960843 SOS 7579509 HAS SOPS 6294549 HAS SOUS 2228600 HAS SOUPS 2137120 WITH SCORE 2144699.509
AT ITER 2043 NEW BEST:: SOT 11960871 SOS 7579537 HAS SOPS 6294305 HAS SOUS 2227328 HAS SOUPS 2135848 WITH SCORE 2143427.537
AT ITER 2046 NEW BEST:: SOT 11960850 SOS 7579400 HAS SOPS 6294726 HAS SOUS 2227124 HAS SOUPS 2135660 WITH SCORE 2143239.4
AT ITER 2050 NEW BEST:: SOT 11960762 SOS 7579136 HAS SOPS 6294588 HAS SOUS 2227041 HAS SOUPS 2135577 WITH SCORE 2143156.136
AT ITER 2075 NEW BEST:: SOT 11960301 SOS 7578054 HAS SOPS 6294853 HAS SOUS 2226439 HAS SOUPS 2134975 WITH SCORE 2142553.054
AT ITER 2085 NEW BEST:: SOT 11960353 SOS 7578106 HAS SOPS 6294905 HAS SOUS 2226071 HAS SOUPS 2134607 WITH SCORE 2142185.106
AT ITER 2112 NEW BEST:: SOT 11959174 SOS 7576560 HAS SOPS 6293183 HAS SOUS 2223581 HAS SOUPS 2132117 WITH SCORE 2139693.56
AT ITER 2115 NEW BEST:: SOT 11958103 SOS 7574843 HAS SOPS 6291195 HAS SOUS 2220974 HAS SOUPS 2129512 WITH SCORE 2137086.843
AT ITER 2121 NEW BEST:: SOT 11954059 SOS 7569594 HAS SOPS 6283148 HAS SOUS 2212089 HAS SOUPS 2120627 WITH SCORE 2128196.594
AT ITER 2134 NEW BEST:: SOT 11953956 SOS 7569282 HAS SOPS 6282834 HAS SOUS 2211995 HAS SOUPS 2120533 WITH SCORE 2128102.282
AT ITER 2156 NEW BEST:: SOT 11951859 SOS 7565089 HAS SOPS 6279703 HAS SOUS 2211464 HAS SOUPS 2120152 WITH SCORE 2127717.089
AT ITER 2173 NEW BEST:: SOT 11951519 SOS 7563547 HAS SOPS 6277151 HAS SOUS 2208007 HAS SOUPS 2116695 WITH SCORE 2124258.547
AT ITER 2187 NEW BEST:: SOT 11951419 SOS 7563447 HAS SOPS 6277051 HAS SOUS 2207999 HAS SOUPS 2116687 WITH SCORE 2124250.447
AT ITER 2192 NEW BEST:: SOT 11952990 SOS 7566950 HAS SOPS 6279020 HAS SOUS 2205431 HAS SOUPS 2114119 WITH SCORE 2121685.95
AT ITER 2193 NEW BEST:: SOT 11948320 SOS 7562280 HAS SOPS 6274030 HAS SOUS 2199225 HAS SOUPS 2107913 WITH SCORE 2115475.28
AT ITER 2197 NEW BEST:: SOT 11946259 SOS 7560196 HAS SOPS 6271969 HAS SOUS 2196872 HAS SOUPS 2105587 WITH SCORE 2113147.196
AT ITER 2204 NEW BEST:: SOT 11944183 SOS 7557997 HAS SOPS 6269422 HAS SOUS 2192558 HAS SOUPS 2101264 WITH SCORE 2108821.997
AT ITER 2216 NEW BEST:: SOT 11936531 SOS 7541432 HAS SOPS 6255045 HAS SOUS 2181433 HAS SOUPS 2090367 WITH SCORE 2097908.432
AT ITER 2230 NEW BEST:: SOT 11943796 SOS 7551644 HAS SOPS 6264329 HAS SOUS 2178976 HAS SOUPS 2088139 WITH SCORE 2095690.644
AT ITER 2231 NEW BEST:: SOT 11943782 SOS 7551480 HAS SOPS 6264104 HAS SOUS 2178960 HAS SOUPS 2088123 WITH SCORE 2095674.48
AT ITER 2240 NEW BEST:: SOT 11942721 SOS 7550414 HAS SOPS 6262971 HAS SOUS 2176194 HAS SOUPS 2085357 WITH SCORE 2092907.414
AT ITER 2247 NEW BEST:: SOT 11932886 SOS 7536073 HAS SOPS 6246364 HAS SOUS 2158286 HAS SOUPS 2067324 WITH SCORE 2074860.073
AT ITER 2274 NEW BEST:: SOT 11933332 SOS 7537764 HAS SOPS 6248056 HAS SOUS 2157093 HAS SOUPS 2066131 WITH SCORE 2073668.764
AT ITER 2276 NEW BEST:: SOT 11933345 SOS 7538183 HAS SOPS 6248213 HAS SOUS 2156818 HAS SOUPS 2065856 WITH SCORE 2073394.183
AT ITER 2285 NEW BEST:: SOT 11931983 SOS 7537461 HAS SOPS 6246573 HAS SOUS 2155520 HAS SOUPS 2064516 WITH SCORE 2072053.461
AT ITER 2286 NEW BEST:: SOT 11926394 SOS 7521849 HAS SOPS 6234905 HAS SOUS 2154233 HAS SOUPS 2063764 WITH SCORE 2071285.849
AT ITER 2294 NEW BEST:: SOT 11926210 SOS 7521250 HAS SOPS 6233836 HAS SOUS 2153859 HAS SOUPS 2063390 WITH SCORE 2070911.25
AT ITER 2301 NEW BEST:: SOT 11924417 SOS 7517984 HAS SOPS 6231253 HAS SOUS 2151575 HAS SOUPS 2061106 WITH SCORE 2068623.984
AT ITER 2312 NEW BEST:: SOT 11914984 SOS 7506621 HAS SOPS 6218698 HAS SOUS 2149095 HAS SOUPS 2058626 WITH SCORE 2066132.621
AT ITER 2318 NEW BEST:: SOT 11912303 SOS 7501490 HAS SOPS 6213985 HAS SOUS 2145807 HAS SOUPS 2055386 WITH SCORE 2062887.49
AT ITER 2321 NEW BEST:: SOT 11911769 SOS 7500204 HAS SOPS 6212178 HAS SOUS 2145564 HAS SOUPS 2055143 WITH SCORE 2062643.204
AT ITER 2331 NEW BEST:: SOT 11911491 SOS 7499926 HAS SOPS 6211900 HAS SOUS 2145550 HAS SOUPS 2055129 WITH SCORE 2062628.926
AT ITER 2342 NEW BEST:: SOT 11897803 SOS 7474761 HAS SOPS 6195500 HAS SOUS 2139212 HAS SOUPS 2049079 WITH SCORE 2056553.761
AT ITER 2353 NEW BEST:: SOT 11896833 SOS 7470381 HAS SOPS 6189759 HAS SOUS 2137349 HAS SOUPS 2047216 WITH SCORE 2054686.381
AT ITER 2377 NEW BEST:: SOT 11895039 SOS 7470657 HAS SOPS 6185043 HAS SOUS 2122392 HAS SOUPS 2032259 WITH SCORE 2039729.657
AT ITER 2378 NEW BEST:: SOT 11890063 SOS 7454577 HAS SOPS 6180558 HAS SOUS 2118328 HAS SOUPS 2028278 WITH SCORE 2035732.577
AT ITER 2399 NEW BEST:: SOT 11890821 SOS 7455906 HAS SOPS 6181157 HAS SOUS 2116351 HAS SOUPS 2026301 WITH SCORE 2033756.906
AT ITER 2404 NEW BEST:: SOT 11890895 SOS 7456209 HAS SOPS 6181134 HAS SOUS 2115202 HAS SOUPS 2025138 WITH SCORE 2032594.209
AT ITER 2412 NEW BEST:: SOT 11890884 SOS 7455976 HAS SOPS 6180926 HAS SOUS 2115177 HAS SOUPS 2025113 WITH SCORE 2032568.976
AT ITER 2454 NEW BEST:: SOT 11890506 SOS 7455541 HAS SOPS 6179473 HAS SOUS 2112968 HAS SOUPS 2022904 WITH SCORE 2030359.541
AT ITER 2479 NEW BEST:: SOT 11889923 SOS 7455561 HAS SOPS 6177433 HAS SOUS 2108958 HAS SOUPS 2018894 WITH SCORE 2026349.561
AT ITER 2480 NEW BEST:: SOT 11888404 SOS 7453850 HAS SOPS 6174078 HAS SOUS 2104610 HAS SOUPS 2014546 WITH SCORE 2021999.85
AT ITER 2491 NEW BEST:: SOT 11888397 SOS 7453750 HAS SOPS 6173990 HAS SOUS 2104586 HAS SOUPS 2014522 WITH SCORE 2021975.75
AT ITER 2501 NEW BEST:: SOT 11887026 SOS 7445683 HAS SOPS 6165987 HAS SOUS 2103834 HAS SOUPS 2013770 WITH SCORE 2021215.683
AT ITER 2509 NEW BEST:: SOT 11885440 SOS 7444034 HAS SOPS 6163834 HAS SOUS 2100736 HAS SOUPS 2010672 WITH SCORE 2018116.034
AT ITER 2545 NEW BEST:: SOT 11887696 SOS 7451536 HAS SOPS 6169134 HAS SOUS 2097524 HAS SOUPS 2007460 WITH SCORE 2014911.536
AT ITER 2549 NEW BEST:: SOT 11887935 SOS 7453620 HAS SOPS 6172464 HAS SOUS 2095004 HAS SOUPS 2004996 WITH SCORE 2012449.62
AT ITER 2556 NEW BEST:: SOT 11887767 SOS 7453497 HAS SOPS 6172341 HAS SOUS 2094659 HAS SOUPS 2004639 WITH SCORE 2012092.497
AT ITER 2575 NEW BEST:: SOT 11887548 SOS 7453224 HAS SOPS 6172053 HAS SOUS 2094380 HAS SOUPS 2004360 WITH SCORE 2011813.224
AT ITER 2583 NEW BEST:: SOT 11889106 SOS 7461939 HAS SOPS 6177833 HAS SOUS 2092190 HAS SOUPS 2001529 WITH SCORE 2008990.939
AT ITER 2589 NEW BEST:: SOT 11889106 SOS 7461876 HAS SOPS 6177770 HAS SOUS 2092172 HAS SOUPS 2001511 WITH SCORE 2008972.876
AT ITER 2603 NEW BEST:: SOT 11892983 SOS 7472830 HAS SOPS 6185783 HAS SOUS 2088517 HAS SOUPS 1997796 WITH SCORE 2005268.83
AT ITER 2628 NEW BEST:: SOT 11892685 SOS 7471598 HAS SOPS 6184995 HAS SOUS 2088496 HAS SOUPS 1997775 WITH SCORE 2005246.598
AT ITER 2638 NEW BEST:: SOT 11892393 SOS 7471306 HAS SOPS 6184703 HAS SOUS 2088124 HAS SOUPS 1997403 WITH SCORE 2004874.306
AT ITER 2646 NEW BEST:: SOT 11890762 SOS 7466148 HAS SOPS 6179715 HAS SOUS 2086945 HAS SOUPS 1996332 WITH SCORE 2003798.148
AT ITER 2649 NEW BEST:: SOT 11886867 SOS 7461057 HAS SOPS 6174508 HAS SOUS 2079554 HAS SOUPS 1988941 WITH SCORE 1996402.057
AT ITER 2652 NEW BEST:: SOT 11886125 SOS 7461144 HAS SOPS 6173881 HAS SOUS 2076976 HAS SOUPS 1986404 WITH SCORE 1993865.144
AT ITER 2653 NEW BEST:: SOT 11886370 SOS 7463380 HAS SOPS 6175875 HAS SOUS 2074872 HAS SOUPS 1984300 WITH SCORE 1991763.38
AT ITER 2654 NEW BEST:: SOT 11886175 SOS 7460630 HAS SOPS 6173359 HAS SOUS 2074420 HAS SOUPS 1983848 WITH SCORE 1991308.63
AT ITER 2660 NEW BEST:: SOT 11886129 SOS 7460532 HAS SOPS 6173235 HAS SOUS 2074359 HAS SOUPS 1983787 WITH SCORE 1991247.532
AT ITER 2669 NEW BEST:: SOT 11885782 SOS 7457785 HAS SOPS 6172530 HAS SOUS 2073960 HAS SOUPS 1983388 WITH SCORE 1990845.785
AT ITER 2679 NEW BEST:: SOT 11884212 SOS 7457397 HAS SOPS 6170647 HAS SOUS 2069998 HAS SOUPS 1979426 WITH SCORE 1986883.397
AT ITER 2682 NEW BEST:: SOT 11884057 SOS 7457419 HAS SOPS 6169788 HAS SOUS 2068809 HAS SOUPS 1978237 WITH SCORE 1985694.419
AT ITER 2730 NEW BEST:: SOT 11882272 SOS 7455594 HAS SOPS 6166374 HAS SOUS 2065036 HAS SOUPS 1974088 WITH SCORE 1981543.594
AT ITER 2738 NEW BEST:: SOT 11882256 SOS 7455377 HAS SOPS 6166332 HAS SOUS 2064942 HAS SOUPS 1973994 WITH SCORE 1981449.377
AT ITER 2749 NEW BEST:: SOT 11882142 SOS 7455385 HAS SOPS 6166628 HAS SOUS 2064084 HAS SOUPS 1973136 WITH SCORE 1980591.385
AT ITER 2757 NEW BEST:: SOT 11881105 SOS 7455437 HAS SOPS 6167127 HAS SOUS 2057095 HAS SOUPS 1966212 WITH SCORE 1973667.437
AT ITER 2760 NEW BEST:: SOT 11880114 SOS 7452729 HAS SOPS 6162995 HAS SOUS 2055882 HAS SOUPS 1964853 WITH SCORE 1972305.729
AT ITER 2762 NEW BEST:: SOT 11879617 SOS 7452451 HAS SOPS 6161526 HAS SOUS 2051654 HAS SOUPS 1960963 WITH SCORE 1968415.451
AT ITER 2764 NEW BEST:: SOT 11880755 SOS 7456705 HAS SOPS 6164081 HAS SOUS 2051111 HAS SOUPS 1960420 WITH SCORE 1967876.705
AT ITER 2788 NEW BEST:: SOT 11880611 SOS 7456561 HAS SOPS 6163873 HAS SOUS 2050727 HAS SOUPS 1960036 WITH SCORE 1967492.561
AT ITER 2790 NEW BEST:: SOT 11874984 SOS 7450036 HAS SOPS 6155316 HAS SOUS 2038328 HAS SOUPS 1947681 WITH SCORE 1955131.036
AT ITER 2796 NEW BEST:: SOT 11874821 SOS 7450039 HAS SOPS 6155126 HAS SOUS 2037874 HAS SOUPS 1947227 WITH SCORE 1954677.039
AT ITER 2798 NEW BEST:: SOT 11871764 SOS 7445262 HAS SOPS 6148636 HAS SOUS 2034098 HAS SOUPS 1943451 WITH SCORE 1950896.262
AT ITER 2806 NEW BEST:: SOT 11868468 SOS 7438624 HAS SOPS 6141762 HAS SOUS 2028360 HAS SOUPS 1938228 WITH SCORE 1945666.624
AT ITER 2811 NEW BEST:: SOT 11866680 SOS 7436721 HAS SOPS 6139444 HAS SOUS 2024251 HAS SOUPS 1934140 WITH SCORE 1941576.721
AT ITER 2831 NEW BEST:: SOT 11870734 SOS 7440775 HAS SOPS 6142922 HAS SOUS 2024109 HAS SOUPS 1933998 WITH SCORE 1941438.775
AT ITER 2833 NEW BEST:: SOT 11871252 SOS 7443179 HAS SOPS 6146632 HAS SOUS 2018423 HAS SOUPS 1928384 WITH SCORE 1935827.179
AT ITER 2852 NEW BEST:: SOT 11871282 SOS 7443945 HAS SOPS 6147034 HAS SOUS 2016815 HAS SOUPS 1926776 WITH SCORE 1934219.945
AT ITER 2859 NEW BEST:: SOT 11867614 SOS 7438658 HAS SOPS 6141653 HAS SOUS 2013023 HAS SOUPS 1922959 WITH SCORE 1930397.658
AT ITER 2873 NEW BEST:: SOT 11867785 SOS 7438953 HAS SOPS 6143054 HAS SOUS 2012129 HAS SOUPS 1922105 WITH SCORE 1929543.953
AT ITER 2880 NEW BEST:: SOT 11866529 SOS 7436572 HAS SOPS 6140460 HAS SOUS 2009253 HAS SOUPS 1919261 WITH SCORE 1926697.572
AT ITER 2900 NEW BEST:: SOT 11864124 SOS 7425641 HAS SOPS 6135184 HAS SOUS 2004131 HAS SOUPS 1914510 WITH SCORE 1921935.641
AT ITER 2907 NEW BEST:: SOT 11863762 SOS 7424991 HAS SOPS 6134534 HAS SOUS 2003805 HAS SOUPS 1914184 WITH SCORE 1921608.991
AT ITER 2909 NEW BEST:: SOT 11863800 SOS 7423577 HAS SOPS 6133489 HAS SOUS 2003623 HAS SOUPS 1914002 WITH SCORE 1921425.577
AT ITER 2926 NEW BEST:: SOT 11863643 SOS 7406230 HAS SOPS 6113579 HAS SOUS 2003498 HAS SOUPS 1913877 WITH SCORE 1921283.23
AT ITER 2929 NEW BEST:: SOT 11869883 SOS 7424379 HAS SOPS 6132001 HAS SOUS 1999781 HAS SOUPS 1910270 WITH SCORE 1917694.379
AT ITER 2932 NEW BEST:: SOT 11869795 SOS 7424035 HAS SOPS 6131689 HAS SOUS 1999613 HAS SOUPS 1910096 WITH SCORE 1917520.035
AT ITER 2970 NEW BEST:: SOT 11876308 SOS 7433804 HAS SOPS 6139302 HAS SOUS 1997039 HAS SOUPS 1907522 WITH SCORE 1914955.804
AT ITER 2990 NEW BEST:: SOT 11876209 SOS 7441180 HAS SOPS 6142001 HAS SOUS 1993359 HAS SOUPS 1903842 WITH SCORE 1911283.18
AT ITER 2991 NEW BEST:: SOT 11876217 SOS 7441189 HAS SOPS 6142012 HAS SOUS 1993356 HAS SOUPS 1903840 WITH SCORE 1911281.189
AT ITER 2998 NEW BEST:: SOT 11876317 SOS 7440543 HAS SOPS 6141615 HAS SOUS 1993173 HAS SOUPS 1903657 WITH SCORE 1911097.543
AT ITER 3020 NEW BEST:: SOT 11876214 SOS 7440436 HAS SOPS 6141478 HAS SOUS 1992969 HAS SOUPS 1903453 WITH SCORE 1910893.436
AT ITER 3026 NEW BEST:: SOT 11879458 SOS 7442864 HAS SOPS 6149902 HAS SOUS 1991937 HAS SOUPS 1902531 WITH SCORE 1909973.864
AT ITER 3028 NEW BEST:: SOT 11879247 SOS 7441020 HAS SOPS 6147124 HAS SOUS 1991583 HAS SOUPS 1902025 WITH SCORE 1909466.02
AT ITER 3037 NEW BEST:: SOT 11879200 SOS 7440919 HAS SOPS 6147061 HAS SOUS 1991306 HAS SOUPS 1901772 WITH SCORE 1909212.919
AT ITER 3041 NEW BEST:: SOT 11873889 SOS 7435608 HAS SOPS 6141158 HAS SOUS 1984887 HAS SOUPS 1895353 WITH SCORE 1902788.608
AT ITER 3047 NEW BEST:: SOT 11873832 SOS 7435667 HAS SOPS 6141347 HAS SOUS 1984644 HAS SOUPS 1895110 WITH SCORE 1902545.667
AT ITER 3050 NEW BEST:: SOT 11873830 SOS 7436536 HAS SOPS 6142217 HAS SOUS 1984613 HAS SOUPS 1895079 WITH SCORE 1902515.536
AT ITER 3054 NEW BEST:: SOT 11872209 SOS 7435797 HAS SOPS 6141022 HAS SOUS 1979238 HAS SOUPS 1889704 WITH SCORE 1897139.797
AT ITER 3060 NEW BEST:: SOT 11890189 SOS 7447664 HAS SOPS 6156232 HAS SOUS 1972860 HAS SOUPS 1882948 WITH SCORE 1890395.664
AT ITER 3095 NEW BEST:: SOT 11890158 SOS 7447633 HAS SOPS 6156185 HAS SOUS 1972793 HAS SOUPS 1882881 WITH SCORE 1890328.633
AT ITER 3111 NEW BEST:: SOT 11890102 SOS 7445575 HAS SOPS 6154019 HAS SOUS 1972541 HAS SOUPS 1882629 WITH SCORE 1890074.575
AT ITER 3121 NEW BEST:: SOT 11891010 SOS 7447070 HAS SOPS 6156679 HAS SOUS 1972371 HAS SOUPS 1882527 WITH SCORE 1889974.07
AT ITER 3129 NEW BEST:: SOT 11904387 SOS 7464662 HAS SOPS 6173116 HAS SOUS 1971487 HAS SOUPS 1881832 WITH SCORE 1889296.662
AT ITER 3137 NEW BEST:: SOT 11904300 SOS 7464974 HAS SOPS 6173402 HAS SOUS 1971354 HAS SOUPS 1881699 WITH SCORE 1889163.974
AT ITER 3141 NEW BEST:: SOT 11900870 SOS 7454960 HAS SOPS 6170442 HAS SOUS 1969308 HAS SOUPS 1880036 WITH SCORE 1887490.96
AT ITER 3167 NEW BEST:: SOT 11901992 SOS 7457366 HAS SOPS 6173226 HAS SOUS 1969205 HAS SOUPS 1879933 WITH SCORE 1887390.366
AT ITER 3173 NEW BEST:: SOT 11901946 SOS 7457283 HAS SOPS 6173143 HAS SOUS 1969134 HAS SOUPS 1879862 WITH SCORE 1887319.283
AT ITER 3179 NEW BEST:: SOT 11903432 SOS 7461030 HAS SOPS 6178406 HAS SOUS 1968319 HAS SOUPS 1879047 WITH SCORE 1886508.03
AT ITER 3205 NEW BEST:: SOT 11900521 SOS 7453094 HAS SOPS 6170726 HAS SOUS 1965974 HAS SOUPS 1876702 WITH SCORE 1884155.094
AT ITER 3250 NEW BEST:: SOT 11898767 SOS 7451253 HAS SOPS 6168128 HAS SOUS 1964255 HAS SOUPS 1874934 WITH SCORE 1882385.253
AT ITER 3254 NEW BEST:: SOT 11898775 SOS 7451261 HAS SOPS 6168136 HAS SOUS 1964247 HAS SOUPS 1874926 WITH SCORE 1882377.261
AT ITER 3260 NEW BEST:: SOT 11898348 SOS 7448440 HAS SOPS 6165701 HAS SOUS 1963269 HAS SOUPS 1873948 WITH SCORE 1881396.44
AT ITER 3286 NEW BEST:: SOT 11899873 SOS 7451906 HAS SOPS 6169211 HAS SOUS 1960720 HAS SOUPS 1871399 WITH SCORE 1878850.906
AT ITER 3289 NEW BEST:: SOT 11899956 SOS 7451595 HAS SOPS 6169596 HAS SOUS 1960508 HAS SOUPS 1871149 WITH SCORE 1878600.595
AT ITER 3294 NEW BEST:: SOT 11899884 SOS 7451535 HAS SOPS 6169506 HAS SOUS 1960490 HAS SOUPS 1871122 WITH SCORE 1878573.535
AT ITER 3296 NEW BEST:: SOT 11899941 SOS 7452272 HAS SOPS 6169949 HAS SOUS 1959966 HAS SOUPS 1870598 WITH SCORE 1878050.272
AT ITER 3321 NEW BEST:: SOT 11902828 SOS 7480648 HAS SOPS 6200509 HAS SOUS 1958689 HAS SOUPS 1869321 WITH SCORE 1876801.648
AT ITER 3326 NEW BEST:: SOT 11902546 SOS 7478966 HAS SOPS 6198670 HAS SOUS 1957401 HAS SOUPS 1868033 WITH SCORE 1875511.966
AT ITER 3354 NEW BEST:: SOT 11902562 SOS 7477119 HAS SOPS 6196668 HAS SOUS 1957268 HAS SOUPS 1867900 WITH SCORE 1875377.119
AT ITER 3373 NEW BEST:: SOT 11904182 SOS 7478739 HAS SOPS 6197808 HAS SOUS 1957064 HAS SOUPS 1867600 WITH SCORE 1875078.739
AT ITER 3385 NEW BEST:: SOT 11902719 SOS 7472348 HAS SOPS 6192296 HAS SOUS 1954226 HAS SOUPS 1864762 WITH SCORE 1872234.348
AT ITER 3386 NEW BEST:: SOT 11902481 SOS 7472068 HAS SOPS 6191804 HAS SOUS 1952457 HAS SOUPS 1862993 WITH SCORE 1870465.068
AT ITER 3395 NEW BEST:: SOT 11902914 SOS 7478414 HAS SOPS 6196567 HAS SOUS 1949591 HAS SOUPS 1860127 WITH SCORE 1867605.414
AT ITER 3401 NEW BEST:: SOT 11905233 SOS 7481877 HAS SOPS 6199486 HAS SOUS 1948212 HAS SOUPS 1858785 WITH SCORE 1866266.877
AT ITER 3403 NEW BEST:: SOT 11905216 SOS 7481843 HAS SOPS 6199447 HAS SOUS 1948110 HAS SOUPS 1858686 WITH SCORE 1866167.843
AT ITER 3410 NEW BEST:: SOT 11905279 SOS 7481802 HAS SOPS 6199610 HAS SOUS 1947941 HAS SOUPS 1858525 WITH SCORE 1866006.802
AT ITER 3434 NEW BEST:: SOT 11905495 SOS 7483190 HAS SOPS 6200656 HAS SOUS 1947057 HAS SOUPS 1857649 WITH SCORE 1865132.19
AT ITER 3441 NEW BEST:: SOT 11906202 SOS 7483276 HAS SOPS 6201009 HAS SOUS 1947019 HAS SOUPS 1857611 WITH SCORE 1865094.276
AT ITER 3463 NEW BEST:: SOT 11904977 SOS 7481800 HAS SOPS 6199115 HAS SOUS 1946025 HAS SOUPS 1856093 WITH SCORE 1863574.8
AT ITER 3507 NEW BEST:: SOT 11900464 SOS 7477301 HAS SOPS 6194202 HAS SOUS 1939558 HAS SOUPS 1849612 WITH SCORE 1857089.301
AT ITER 3512 NEW BEST:: SOT 11906772 SOS 7487042 HAS SOPS 6202254 HAS SOUS 1934380 HAS SOUPS 1844434 WITH SCORE 1851921.042
AT ITER 3525 NEW BEST:: SOT 11907654 SOS 7490631 HAS SOPS 6206156 HAS SOUS 1933387 HAS SOUPS 1843441 WITH SCORE 1850931.631
AT ITER 3527 NEW BEST:: SOT 11907751 SOS 7491275 HAS SOPS 6206481 HAS SOUS 1933089 HAS SOUPS 1843139 WITH SCORE 1850630.275
AT ITER 3530 NEW BEST:: SOT 11909191 SOS 7493543 HAS SOPS 6208210 HAS SOUS 1925952 HAS SOUPS 1835919 WITH SCORE 1843412.543
AT ITER 3531 NEW BEST:: SOT 11908821 SOS 7493346 HAS SOPS 6208140 HAS SOUS 1924870 HAS SOUPS 1834795 WITH SCORE 1842288.346
AT ITER 3548 NEW BEST:: SOT 11908824 SOS 7493289 HAS SOPS 6207975 HAS SOUS 1924855 HAS SOUPS 1834780 WITH SCORE 1842273.289
AT ITER 3563 NEW BEST:: SOT 11908580 SOS 7492039 HAS SOPS 6207011 HAS SOUS 1924042 HAS SOUPS 1834039 WITH SCORE 1841531.039
AT ITER 3570 NEW BEST:: SOT 11907292 SOS 7490459 HAS SOPS 6205867 HAS SOUS 1922146 HAS SOUPS 1832099 WITH SCORE 1839589.459
AT ITER 3572 NEW BEST:: SOT 11908334 SOS 7492618 HAS SOPS 6210577 HAS SOUS 1921242 HAS SOUPS 1831195 WITH SCORE 1838687.618
AT ITER 3586 NEW BEST:: SOT 11907538 SOS 7491512 HAS SOPS 6209691 HAS SOUS 1921161 HAS SOUPS 1831079 WITH SCORE 1838570.512
AT ITER 3615 NEW BEST:: SOT 11907526 SOS 7491500 HAS SOPS 6209679 HAS SOUS 1921097 HAS SOUPS 1831015 WITH SCORE 1838506.5
AT ITER 3617 NEW BEST:: SOT 11906376 SOS 7488980 HAS SOPS 6207563 HAS SOUS 1920737 HAS SOUPS 1830655 WITH SCORE 1838143.98
AT ITER 3658 NEW BEST:: SOT 11906377 SOS 7489345 HAS SOPS 6208173 HAS SOUS 1920428 HAS SOUPS 1830346 WITH SCORE 1837835.345
AT ITER 3661 NEW BEST:: SOT 11914750 SOS 7494736 HAS SOPS 6210776 HAS SOUS 1919283 HAS SOUPS 1829201 WITH SCORE 1836695.736
AT ITER 3684 NEW BEST:: SOT 11914701 SOS 7494900 HAS SOPS 6210775 HAS SOUS 1919264 HAS SOUPS 1829179 WITH SCORE 1836673.9
AT ITER 3697 NEW BEST:: SOT 11913139 SOS 7491658 HAS SOPS 6207922 HAS SOUS 1917577 HAS SOUPS 1827492 WITH SCORE 1834983.658
AT ITER 3711 NEW BEST:: SOT 11907114 SOS 7494573 HAS SOPS 6207467 HAS SOUS 1916655 HAS SOUPS 1826352 WITH SCORE 1833846.573
AT ITER 3716 NEW BEST:: SOT 11910084 SOS 7496597 HAS SOPS 6210643 HAS SOUS 1915660 HAS SOUPS 1825357 WITH SCORE 1832853.597
AT ITER 3726 NEW BEST:: SOT 11910058 SOS 7496571 HAS SOPS 6210617 HAS SOUS 1915634 HAS SOUPS 1825331 WITH SCORE 1832827.571
AT ITER 3738 NEW BEST:: SOT 11910048 SOS 7496539 HAS SOPS 6210591 HAS SOUS 1915562 HAS SOUPS 1825293 WITH SCORE 1832789.539
AT ITER 3740 NEW BEST:: SOT 11911652 SOS 7505824 HAS SOPS 6213330 HAS SOUS 1907475 HAS SOUPS 1817174 WITH SCORE 1824679.824
AT ITER 3752 NEW BEST:: SOT 11911240 SOS 7504370 HAS SOPS 6211987 HAS SOUS 1906232 HAS SOUPS 1815931 WITH SCORE 1823435.37
AT ITER 3769 NEW BEST:: SOT 11915015 SOS 7508145 HAS SOPS 6214802 HAS SOUS 1905151 HAS SOUPS 1814850 WITH SCORE 1822358.145
AT ITER 3772 NEW BEST:: SOT 11915828 SOS 7509113 HAS SOPS 6215378 HAS SOUS 1903613 HAS SOUPS 1813279 WITH SCORE 1820788.113
AT ITER 3812 NEW BEST:: SOT 11915799 SOS 7510565 HAS SOPS 6216395 HAS SOUS 1902770 HAS SOUPS 1812436 WITH SCORE 1819946.565
AT ITER 3834 NEW BEST:: SOT 11915762 SOS 7511374 HAS SOPS 6217204 HAS SOUS 1902202 HAS SOUPS 1811868 WITH SCORE 1819379.374
AT ITER 3873 NEW BEST:: SOT 11915665 SOS 7511566 HAS SOPS 6217379 HAS SOUS 1901840 HAS SOUPS 1811506 WITH SCORE 1819017.566
AT ITER 3880 NEW BEST:: SOT 11915014 SOS 7510525 HAS SOPS 6216863 HAS SOUS 1901145 HAS SOUPS 1810824 WITH SCORE 1818334.525
AT ITER 3883 NEW BEST:: SOT 11912108 SOS 7507234 HAS SOPS 6212442 HAS SOUS 1895784 HAS SOUPS 1805426 WITH SCORE 1812933.234
AT ITER 3885 NEW BEST:: SOT 11909803 SOS 7502436 HAS SOPS 6207332 HAS SOUS 1891661 HAS SOUPS 1801399 WITH SCORE 1808901.436
AT ITER 3888 NEW BEST:: SOT 11908864 SOS 7505536 HAS SOPS 6211612 HAS SOUS 1891027 HAS SOUPS 1800866 WITH SCORE 1808371.536
AT ITER 3902 NEW BEST:: SOT 11908925 SOS 7503651 HAS SOPS 6210736 HAS SOUS 1889223 HAS SOUPS 1799957 WITH SCORE 1807460.651
AT ITER 3930 NEW BEST:: SOT 11909397 SOS 7505408 HAS SOPS 6213699 HAS SOUS 1888971 HAS SOUPS 1799711 WITH SCORE 1807216.408
AT ITER 3933 NEW BEST:: SOT 11909365 SOS 7505376 HAS SOPS 6213667 HAS SOUS 1888875 HAS SOUPS 1799615 WITH SCORE 1807120.376
AT ITER 3944 NEW BEST:: SOT 11908071 SOS 7501520 HAS SOPS 6209115 HAS SOUS 1887248 HAS SOUPS 1797988 WITH SCORE 1805489.52
AT ITER 3964 NEW BEST:: SOT 11908250 SOS 7503804 HAS SOPS 6211918 HAS SOUS 1884215 HAS SOUPS 1794955 WITH SCORE 1802458.804
AT ITER 3975 NEW BEST:: SOT 11907210 SOS 7502293 HAS SOPS 6211274 HAS SOUS 1880580 HAS SOUPS 1791808 WITH SCORE 1799310.293
AT ITER 3987 NEW BEST:: SOT 11906469 SOS 7498429 HAS SOPS 6207402 HAS SOUS 1877568 HAS SOUPS 1788796 WITH SCORE 1796294.429
AT ITER 3993 NEW BEST:: SOT 11906769 SOS 7498912 HAS SOPS 6207385 HAS SOUS 1876950 HAS SOUPS 1788258 WITH SCORE 1795756.912
AT ITER 4010 NEW BEST:: SOT 11901303 SOS 7493446 HAS SOPS 6201359 HAS SOUS 1869408 HAS SOUPS 1780716 WITH SCORE 1788209.446
AT ITER 4016 NEW BEST:: SOT 11900943 SOS 7493086 HAS SOPS 6201143 HAS SOUS 1869106 HAS SOUPS 1780414 WITH SCORE 1787907.086
AT ITER 4022 NEW BEST:: SOT 11898511 SOS 7488785 HAS SOPS 6197914 HAS SOUS 1867363 HAS SOUPS 1778984 WITH SCORE 1786472.785
AT ITER 4030 NEW BEST:: SOT 11898199 SOS 7487989 HAS SOPS 6197093 HAS SOUS 1867226 HAS SOUPS 1778879 WITH SCORE 1786366.989
AT ITER 4031 NEW BEST:: SOT 11898700 SOS 7490246 HAS SOPS 6199749 HAS SOUS 1867111 HAS SOUPS 1778732 WITH SCORE 1786222.246
AT ITER 4039 NEW BEST:: SOT 11898312 SOS 7490233 HAS SOPS 6199470 HAS SOUS 1866826 HAS SOUPS 1778439 WITH SCORE 1785929.233
AT ITER 4049 NEW BEST:: SOT 11898183 SOS 7488680 HAS SOPS 6199485 HAS SOUS 1865996 HAS SOUPS 1777609 WITH SCORE 1785097.68
AT ITER 4063 NEW BEST:: SOT 11898169 SOS 7488630 HAS SOPS 6199678 HAS SOUS 1865769 HAS SOUPS 1777382 WITH SCORE 1784870.63
AT ITER 4066 NEW BEST:: SOT 11897736 SOS 7488252 HAS SOPS 6199293 HAS SOUS 1864372 HAS SOUPS 1775996 WITH SCORE 1783484.252
AT ITER 4071 NEW BEST:: SOT 11897420 SOS 7487923 HAS SOPS 6198623 HAS SOUS 1863527 HAS SOUPS 1775151 WITH SCORE 1782638.923
AT ITER 4073 NEW BEST:: SOT 11897402 SOS 7487977 HAS SOPS 6198834 HAS SOUS 1863168 HAS SOUPS 1774783 WITH SCORE 1782270.977
AT ITER 4079 NEW BEST:: SOT 11896907 SOS 7487545 HAS SOPS 6198114 HAS SOUS 1862082 HAS SOUPS 1773700 WITH SCORE 1781187.545
AT ITER 4086 NEW BEST:: SOT 11892915 SOS 7484762 HAS SOPS 6192699 HAS SOUS 1851142 HAS SOUPS 1762760 WITH SCORE 1770244.762
AT ITER 4091 NEW BEST:: SOT 11894165 SOS 7487588 HAS SOPS 6195921 HAS SOUS 1850468 HAS SOUPS 1762121 WITH SCORE 1769608.588
AT ITER 4093 NEW BEST:: SOT 11891121 SOS 7479279 HAS SOPS 6188980 HAS SOUS 1847415 HAS SOUPS 1759068 WITH SCORE 1766547.279
AT ITER 4145 NEW BEST:: SOT 11890137 SOS 7477047 HAS SOPS 6188761 HAS SOUS 1846542 HAS SOUPS 1758732 WITH SCORE 1766209.047
AT ITER 4165 NEW BEST:: SOT 11889309 SOS 7476219 HAS SOPS 6187533 HAS SOUS 1844514 HAS SOUPS 1756704 WITH SCORE 1764180.219
AT ITER 4166 NEW BEST:: SOT 11889214 SOS 7476093 HAS SOPS 6187317 HAS SOUS 1844485 HAS SOUPS 1756675 WITH SCORE 1764151.093
AT ITER 4170 NEW BEST:: SOT 11888250 SOS 7475013 HAS SOPS 6185113 HAS SOUS 1842501 HAS SOUPS 1754691 WITH SCORE 1762166.013
AT ITER 4178 NEW BEST:: SOT 11887961 SOS 7474985 HAS SOPS 6185022 HAS SOUS 1841642 HAS SOUPS 1753832 WITH SCORE 1761306.985
AT ITER 4190 NEW BEST:: SOT 11887856 SOS 7474836 HAS SOPS 6184885 HAS SOUS 1841129 HAS SOUPS 1753323 WITH SCORE 1760797.836
AT ITER 4212 NEW BEST:: SOT 11886561 SOS 7474416 HAS SOPS 6183954 HAS SOUS 1838336 HAS SOUPS 1750530 WITH SCORE 1758004.416
AT ITER 4220 NEW BEST:: SOT 11886576 SOS 7474469 HAS SOPS 6184333 HAS SOUS 1837596 HAS SOUPS 1749898 WITH SCORE 1757372.469
AT ITER 4249 NEW BEST:: SOT 11888513 SOS 7488487 HAS SOPS 6208416 HAS SOUS 1835753 HAS SOUPS 1748360 WITH SCORE 1755848.487
AT ITER 4298 NEW BEST:: SOT 11885793 SOS 7485767 HAS SOPS 6205216 HAS SOUS 1830769 HAS SOUPS 1743376 WITH SCORE 1750861.767
AT ITER 4322 NEW BEST:: SOT 11886265 SOS 7483816 HAS SOPS 6201760 HAS SOUS 1829477 HAS SOUPS 1742084 WITH SCORE 1749567.816
AT ITER 4340 NEW BEST:: SOT 11878489 SOS 7473042 HAS SOPS 6192930 HAS SOUS 1821128 HAS SOUPS 1733939 WITH SCORE 1741412.042
AT ITER 4347 NEW BEST:: SOT 11878100 SOS 7472499 HAS SOPS 6192234 HAS SOUS 1820461 HAS SOUPS 1733272 WITH SCORE 1740744.499
AT ITER 4369 NEW BEST:: SOT 11878227 SOS 7474602 HAS SOPS 6192427 HAS SOUS 1820222 HAS SOUPS 1733033 WITH SCORE 1740507.602
AT ITER 4376 NEW BEST:: SOT 11875347 SOS 7470946 HAS SOPS 6189051 HAS SOUS 1815935 HAS SOUPS 1728780 WITH SCORE 1736250.946
AT ITER 4397 NEW BEST:: SOT 11872000 SOS 7465249 HAS SOPS 6182600 HAS SOUS 1809927 HAS SOUPS 1722601 WITH SCORE 1730066.249
AT ITER 4402 NEW BEST:: SOT 11871390 SOS 7462667 HAS SOPS 6181125 HAS SOUS 1809877 HAS SOUPS 1722571 WITH SCORE 1730033.667
AT ITER 4405 NEW BEST:: SOT 11869714 SOS 7459483 HAS SOPS 6176273 HAS SOUS 1807086 HAS SOUPS 1719780 WITH SCORE 1727239.483
AT ITER 4412 NEW BEST:: SOT 11869619 SOS 7457481 HAS SOPS 6177406 HAS SOUS 1804803 HAS SOUPS 1717592 WITH SCORE 1725049.481
AT ITER 4413 NEW BEST:: SOT 11869632 SOS 7456770 HAS SOPS 6174994 HAS SOUS 1804498 HAS SOUPS 1717287 WITH SCORE 1724743.77
AT ITER 4418 NEW BEST:: SOT 11868185 SOS 7455358 HAS SOPS 6171367 HAS SOUS 1801348 HAS SOUPS 1714101 WITH SCORE 1721556.358
AT ITER 4431 NEW BEST:: SOT 11868168 SOS 7455492 HAS SOPS 6171520 HAS SOUS 1801327 HAS SOUPS 1714080 WITH SCORE 1721535.492
AT ITER 4463 NEW BEST:: SOT 11868641 SOS 7459581 HAS SOPS 6175930 HAS SOUS 1800801 HAS SOUPS 1713554 WITH SCORE 1721013.581
AT ITER 4472 NEW BEST:: SOT 11868617 SOS 7460331 HAS SOPS 6176554 HAS SOUS 1800755 HAS SOUPS 1713508 WITH SCORE 1720968.331
AT ITER 4482 NEW BEST:: SOT 11866580 SOS 7455397 HAS SOPS 6171678 HAS SOUS 1799387 HAS SOUPS 1712111 WITH SCORE 1719566.397
AT ITER 4523 NEW BEST:: SOT 11866344 SOS 7453565 HAS SOPS 6169109 HAS SOUS 1797870 HAS SOUPS 1710594 WITH SCORE 1718047.565
AT ITER 4531 NEW BEST:: SOT 11866147 SOS 7453762 HAS SOPS 6169901 HAS SOUS 1796690 HAS SOUPS 1709387 WITH SCORE 1716840.762
AT ITER 4541 NEW BEST:: SOT 11860041 SOS 7436168 HAS SOPS 6159388 HAS SOUS 1794437 HAS SOUPS 1707424 WITH SCORE 1714860.168
AT ITER 4543 NEW BEST:: SOT 11860579 SOS 7436336 HAS SOPS 6159959 HAS SOUS 1791173 HAS SOUPS 1704160 WITH SCORE 1711596.336
AT ITER 4550 NEW BEST:: SOT 11860011 SOS 7435952 HAS SOPS 6159263 HAS SOUS 1789391 HAS SOUPS 1702404 WITH SCORE 1709839.952
AT ITER 4553 NEW BEST:: SOT 11849762 SOS 7416011 HAS SOPS 6139633 HAS SOUS 1771676 HAS SOUPS 1684689 WITH SCORE 1692105.011
AT ITER 4554 NEW BEST:: SOT 11846445 SOS 7412694 HAS SOPS 6135820 HAS SOUS 1766251 HAS SOUPS 1679264 WITH SCORE 1686676.694
AT ITER 4559 NEW BEST:: SOT 11846189 SOS 7412438 HAS SOPS 6135548 HAS SOUS 1766155 HAS SOUPS 1679168 WITH SCORE 1686580.438
AT ITER 4567 NEW BEST:: SOT 11844329 SOS 7410425 HAS SOPS 6133357 HAS SOUS 1764315 HAS SOUPS 1677301 WITH SCORE 1684711.425
AT ITER 4582 NEW BEST:: SOT 11841196 SOS 7408138 HAS SOPS 6132183 HAS SOUS 1763860 HAS SOUPS 1676846 WITH SCORE 1684254.138
AT ITER 4615 NEW BEST:: SOT 11838391 SOS 7401327 HAS SOPS 6124670 HAS SOUS 1755928 HAS SOUPS 1668914 WITH SCORE 1676315.327
AT ITER 4620 NEW BEST:: SOT 11838895 SOS 7401831 HAS SOPS 6124982 HAS SOUS 1755908 HAS SOUPS 1668830 WITH SCORE 1676231.831
AT ITER 4631 NEW BEST:: SOT 11838455 SOS 7399289 HAS SOPS 6122242 HAS SOUS 1754843 HAS SOUPS 1667765 WITH SCORE 1675164.289
AT ITER 4632 NEW BEST:: SOT 11847698 SOS 7417759 HAS SOPS 6143141 HAS SOUS 1754387 HAS SOUPS 1667487 WITH SCORE 1674904.759
AT ITER 4641 NEW BEST:: SOT 11848547 SOS 7418170 HAS SOPS 6143373 HAS SOUS 1750108 HAS SOUPS 1663264 WITH SCORE 1670682.17
AT ITER 4642 NEW BEST:: SOT 11848550 SOS 7418913 HAS SOPS 6142763 HAS SOUS 1747300 HAS SOUPS 1660456 WITH SCORE 1667874.913
AT ITER 4673 NEW BEST:: SOT 11848510 SOS 7418411 HAS SOPS 6141664 HAS SOUS 1747251 HAS SOUPS 1660272 WITH SCORE 1667690.411
AT ITER 4684 NEW BEST:: SOT 11848903 SOS 7419504 HAS SOPS 6141688 HAS SOUS 1746933 HAS SOUPS 1659932 WITH SCORE 1667351.504
AT ITER 4705 NEW BEST:: SOT 11849339 SOS 7421849 HAS SOPS 6143208 HAS SOUS 1746310 HAS SOUPS 1659284 WITH SCORE 1666705.849
AT ITER 4723 NEW BEST:: SOT 11848433 SOS 7420902 HAS SOPS 6142372 HAS SOUS 1742434 HAS SOUPS 1655462 WITH SCORE 1662882.902
AT ITER 4735 NEW BEST:: SOT 11848121 SOS 7420004 HAS SOPS 6141803 HAS SOUS 1741502 HAS SOUPS 1654530 WITH SCORE 1661950.004
AT ITER 4754 NEW BEST:: SOT 11847383 SOS 7417999 HAS SOPS 6138488 HAS SOUS 1741113 HAS SOUPS 1654141 WITH SCORE 1661558.999
AT ITER 4756 NEW BEST:: SOT 11852762 SOS 7423971 HAS SOPS 6147036 HAS SOUS 1730037 HAS SOUPS 1643787 WITH SCORE 1651210.971
AT ITER 4760 NEW BEST:: SOT 11852765 SOS 7426725 HAS SOPS 6150575 HAS SOUS 1729744 HAS SOUPS 1643494 WITH SCORE 1650920.725
AT ITER 4784 NEW BEST:: SOT 11852246 SOS 7426522 HAS SOPS 6149764 HAS SOUS 1727138 HAS SOUPS 1640888 WITH SCORE 1648314.522
AT ITER 4820 NEW BEST:: SOT 11852235 SOS 7426395 HAS SOPS 6149577 HAS SOUS 1727119 HAS SOUPS 1640869 WITH SCORE 1648295.395
AT ITER 4828 NEW BEST:: SOT 11851113 SOS 7425273 HAS SOPS 6148455 HAS SOUS 1726237 HAS SOUPS 1639987 WITH SCORE 1647412.273
AT ITER 4847 NEW BEST:: SOT 11850423 SOS 7424583 HAS SOPS 6147685 HAS SOUS 1725187 HAS SOUPS 1638937 WITH SCORE 1646361.583
AT ITER 4857 NEW BEST:: SOT 11850036 SOS 7422608 HAS SOPS 6145888 HAS SOUS 1724047 HAS SOUPS 1637835 WITH SCORE 1645257.608
AT ITER 4873 NEW BEST:: SOT 11849931 SOS 7422457 HAS SOPS 6145730 HAS SOUS 1723838 HAS SOUPS 1637626 WITH SCORE 1645048.457
AT ITER 4899 NEW BEST:: SOT 11848571 SOS 7420856 HAS SOPS 6142404 HAS SOUS 1721460 HAS SOUPS 1635248 WITH SCORE 1642668.856
AT ITER 4900 NEW BEST:: SOT 11848615 SOS 7422054 HAS SOPS 6143330 HAS SOUS 1720894 HAS SOUPS 1634682 WITH SCORE 1642104.054
AT ITER 4923 NEW BEST:: SOT 11848405 SOS 7421780 HAS SOPS 6143054 HAS SOUS 1720684 HAS SOUPS 1634470 WITH SCORE 1641891.78
AT ITER 4975 NEW BEST:: SOT 11848897 SOS 7423852 HAS SOPS 6144281 HAS SOUS 1720644 HAS SOUPS 1634430 WITH SCORE 1641853.852
AT ITER 4999 NEW BEST:: SOT 11847794 SOS 7423003 HAS SOPS 6143470 HAS SOUS 1718091 HAS SOUPS 1631904 WITH SCORE 1639327.003
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-1-CTLCardinality-00 ( potential( (tk(P271)) <= (tk(P99)) ) & ( (! (! ( potential( ( 1 ) <= (tk(P90)) ) & potential( (tk(P109)) <= (tk(P28)) ) ))) | (EG( ( potential( (tk(P607)) <= (tk(P387)) ) & potential( (tk(P348)) <= (tk(P226)) ) ))) ) )
PROPERTY: RERS17pb113-PT-1-CTLCardinality-01 (EG( (! ( (! potential( (tk(P517)) <= (tk(P173)) )) & ( potential( (tk(P621)) <= (tk(P39)) ) | potential( (tk(P376)) <= (tk(P500)) ) ) ))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-02 (! (EG( (AF(potential( ( 2 ) <= (tk(P548)) ))))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-03 (EU( ( (! potential( (tk(P315)) <= (tk(P508)) )) | ( potential( (tk(P499)) <= (tk(P87)) ) & potential( (tk(P343)) <= (tk(P274)) ) ) ),potential( ( 3 ) <= (tk(P163)) ) ))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-04 (! (EF((EG( potential( ( 3 ) <= (tk(P153)) ))))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-05 ( (EF((EF(potential( ( 3 ) <= (tk(P74)) ))))) | (EG( (AG( potential( ( 3 ) <= (tk(P512)) ))))) )
PROPERTY: RERS17pb113-PT-1-CTLCardinality-06 (AG( (AX( ( potential( (tk(P464)) <= (tk(P64)) ) | potential( (tk(P521)) <= (tk(P564)) ) )))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-07 ( ( (AU( potential( (tk(P474)) <= (tk(P547)) ),potential( ( 1 ) <= (tk(P244)) ) )) | ( ( (! potential( (tk(P613)) <= (tk(P325)) )) & ( potential( (tk(P114)) <= (tk(P565)) ) | potential( (tk(P161)) <= (tk(P581)) ) ) ) & ( ( potential( ( 1 ) <= (tk(P393)) ) & potential( (tk(P598)) <= (tk(P615)) ) ) | ( potential( ( 1 ) <= (tk(P328)) ) | potential( ( 3 ) <= (tk(P354)) ) ) ) ) ) & ( (EU( potential( ( 2 ) <= (tk(P129)) ),potential( (tk(P583)) <= (tk(P203)) ) )) | ( ( ( potential( (tk(P545)) <= (tk(P321)) ) & potential( (tk(P306)) <= (tk(P161)) ) ) | ( potential( (tk(P626)) <= (tk(P151)) ) | potential( (tk(P274)) <= (tk(P264)) ) ) ) | ( potential( ( 1 ) <= (tk(P67)) ) | ( potential( ( 3 ) <= (tk(P387)) ) | potential( ( 2 ) <= (tk(P36)) ) ) ) ) ) )
PROPERTY: RERS17pb113-PT-1-CTLCardinality-08 (EF((! (EF(potential( (tk(P519)) <= (tk(P66)) ))))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-09 (AU( ( (! potential( (tk(P604)) <= (tk(P294)) )) & ( potential( ( 1 ) <= (tk(P413)) ) & potential( (tk(P212)) <= (tk(P309)) ) ) ),(AF(potential( ( 2 ) <= (tk(P378)) ))) ))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-10 ( (! ( (AG( potential( (tk(P197)) <= (tk(P379)) ))) | ( ( potential( ( 2 ) <= (tk(P110)) ) | potential( ( 3 ) <= (tk(P232)) ) ) | potential( ( 3 ) <= (tk(P234)) ) ) )) | (AG( ( potential( (tk(P499)) <= (tk(P406)) ) | (! potential( ( 2 ) <= (tk(P154)) )) ))) )
PROPERTY: RERS17pb113-PT-1-CTLCardinality-11 (AF((EF((! potential( (tk(P205)) <= (tk(P455)) ))))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-12 (EU( (! ( potential( (tk(P494)) <= (tk(P627)) ) & potential( (tk(P243)) <= (tk(P413)) ) )),(EF(potential( ( 3 ) <= (tk(P296)) ))) ))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-13 (! (AF((EG( potential( (tk(P5)) <= (tk(P224)) ))))))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-14 (! ( (EF(potential( ( 1 ) <= (tk(P149)) ))) & (EF(( potential( (tk(P117)) <= (tk(P517)) ) | potential( ( 3 ) <= (tk(P361)) ) ))) ))
PROPERTY: RERS17pb113-PT-1-CTLCardinality-15 (EG( (! (EX( potential( ( 2 ) <= (tk(P287)) ))))))

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-1"
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-1, 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-158961502200003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-1.tgz
mv RERS17pb113-PT-1 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 ;