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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.0K Apr 12 07:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 12 07:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:02 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 14:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 20:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:30 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-4-CTLFireability-00
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-01
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-02
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-03
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-04
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-05
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-06
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-07
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-08
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-09
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-10
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-11
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-12
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-13
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-14
FORMULA_NAME RERS17pb113-PT-4-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589660555235

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

GOT IT HERE. BS
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 1 NEW BEST:: SOT 12195856 SOS 7746700 HAS SOPS 6413614 HAS SOUS 3041806 HAS SOUPS 2941294 WITH SCORE 2949040.7
AT ITER 2 NEW BEST:: SOT 12199673 SOS 7760850 HAS SOPS 6429387 HAS SOUS 3039876 HAS SOUPS 2939364 WITH SCORE 2947124.85
AT ITER 10 NEW BEST:: SOT 12192969 SOS 7747254 HAS SOPS 6423845 HAS SOUS 3029337 HAS SOUPS 2928825 WITH SCORE 2936572.254
AT ITER 23 NEW BEST:: SOT 12192919 SOS 7747179 HAS SOPS 6423395 HAS SOUS 3028155 HAS SOUPS 2927463 WITH SCORE 2935210.179
AT ITER 34 NEW BEST:: SOT 12192569 SOS 7748039 HAS SOPS 6423844 HAS SOUS 3024294 HAS SOUPS 2923602 WITH SCORE 2931350.039
AT ITER 57 NEW BEST:: SOT 12190341 SOS 7741843 HAS SOPS 6419440 HAS SOUS 3022059 HAS SOUPS 2921367 WITH SCORE 2929108.843
AT ITER 62 NEW BEST:: SOT 12189691 SOS 7738565 HAS SOPS 6418104 HAS SOUS 3021939 HAS SOUPS 2921247 WITH SCORE 2928985.565
AT ITER 69 NEW BEST:: SOT 12198611 SOS 7763118 HAS SOPS 6449338 HAS SOUS 3019167 HAS SOUPS 2918469 WITH SCORE 2926232.118
AT ITER 71 NEW BEST:: SOT 12198611 SOS 7763294 HAS SOPS 6449402 HAS SOUS 3019093 HAS SOUPS 2918395 WITH SCORE 2926158.294
AT ITER 75 NEW BEST:: SOT 12197542 SOS 7761398 HAS SOPS 6447440 HAS SOUS 3014492 HAS SOUPS 2914217 WITH SCORE 2921978.398
AT ITER 80 NEW BEST:: SOT 12198968 SOS 7763812 HAS SOPS 6449869 HAS SOUS 3013966 HAS SOUPS 2913691 WITH SCORE 2921454.812
AT ITER 85 NEW BEST:: SOT 12213895 SOS 7798855 HAS SOPS 6484791 HAS SOUS 3011837 HAS SOUPS 2911562 WITH SCORE 2919360.855
AT ITER 87 NEW BEST:: SOT 12212335 SOS 7796880 HAS SOPS 6483100 HAS SOUS 3011368 HAS SOUPS 2911093 WITH SCORE 2918889.88
AT ITER 107 NEW BEST:: SOT 12221721 SOS 7817129 HAS SOPS 6505038 HAS SOUS 3007712 HAS SOUPS 2907437 WITH SCORE 2915254.129
AT ITER 132 NEW BEST:: SOT 12217756 SOS 7813213 HAS SOPS 6501117 HAS SOUS 3003780 HAS SOUPS 2903500 WITH SCORE 2911313.213
AT ITER 140 NEW BEST:: SOT 12217688 SOS 7813145 HAS SOPS 6501017 HAS SOUS 3003632 HAS SOUPS 2903352 WITH SCORE 2911165.145
AT ITER 143 NEW BEST:: SOT 12219056 SOS 7817915 HAS SOPS 6505673 HAS SOUS 2996111 HAS SOUPS 2895831 WITH SCORE 2903648.915
AT ITER 144 NEW BEST:: SOT 12219738 SOS 7823392 HAS SOPS 6513343 HAS SOUS 2993383 HAS SOUPS 2893103 WITH SCORE 2900926.392
AT ITER 151 NEW BEST:: SOT 12223871 SOS 7831973 HAS SOPS 6524964 HAS SOUS 2992502 HAS SOUPS 2892222 WITH SCORE 2900053.973
AT ITER 160 NEW BEST:: SOT 12223452 SOS 7830839 HAS SOPS 6523969 HAS SOUS 2992247 HAS SOUPS 2891967 WITH SCORE 2899797.839
AT ITER 197 NEW BEST:: SOT 12223366 SOS 7830683 HAS SOPS 6523938 HAS SOUS 2992216 HAS SOUPS 2891936 WITH SCORE 2899766.683
AT ITER 205 NEW BEST:: SOT 12223312 SOS 7834348 HAS SOPS 6528692 HAS SOUS 2983954 HAS SOUPS 2883674 WITH SCORE 2891508.348
AT ITER 206 NEW BEST:: SOT 12222020 SOS 7832261 HAS SOPS 6526476 HAS SOUS 2981267 HAS SOUPS 2880987 WITH SCORE 2888819.261
AT ITER 212 NEW BEST:: SOT 12222011 SOS 7832315 HAS SOPS 6526548 HAS SOUS 2981250 HAS SOUPS 2880970 WITH SCORE 2888802.315
AT ITER 236 NEW BEST:: SOT 12221679 SOS 7831872 HAS SOPS 6526573 HAS SOUS 2979402 HAS SOUPS 2879160 WITH SCORE 2886991.872
AT ITER 241 NEW BEST:: SOT 12221041 SOS 7828284 HAS SOPS 6524537 HAS SOUS 2978327 HAS SOUPS 2878085 WITH SCORE 2885913.284
AT ITER 245 NEW BEST:: SOT 12220812 SOS 7825438 HAS SOPS 6521667 HAS SOUS 2974953 HAS SOUPS 2874798 WITH SCORE 2882623.438
AT ITER 254 NEW BEST:: SOT 12226990 SOS 7843558 HAS SOPS 6537598 HAS SOUS 2969252 HAS SOUPS 2869097 WITH SCORE 2876940.558
AT ITER 264 NEW BEST:: SOT 12227432 SOS 7846430 HAS SOPS 6538322 HAS SOUS 2964382 HAS SOUPS 2864227 WITH SCORE 2872073.43
AT ITER 268 NEW BEST:: SOT 12227281 SOS 7846808 HAS SOPS 6538300 HAS SOUS 2963306 HAS SOUPS 2863151 WITH SCORE 2870997.808
AT ITER 274 NEW BEST:: SOT 12223112 SOS 7838096 HAS SOPS 6533444 HAS SOUS 2955927 HAS SOUPS 2856386 WITH SCORE 2864224.096
AT ITER 275 NEW BEST:: SOT 12223418 SOS 7841987 HAS SOPS 6537320 HAS SOUS 2955412 HAS SOUPS 2855871 WITH SCORE 2863712.987
AT ITER 280 NEW BEST:: SOT 12218261 SOS 7836180 HAS SOPS 6529386 HAS SOUS 2944750 HAS SOUPS 2845209 WITH SCORE 2853045.18
AT ITER 286 NEW BEST:: SOT 12218090 SOS 7836529 HAS SOPS 6529539 HAS SOUS 2943950 HAS SOUPS 2844409 WITH SCORE 2852245.529
AT ITER 287 NEW BEST:: SOT 12203117 SOS 7814899 HAS SOPS 6512498 HAS SOUS 2939917 HAS SOUPS 2840730 WITH SCORE 2848544.899
AT ITER 298 NEW BEST:: SOT 12202461 SOS 7814208 HAS SOPS 6511282 HAS SOUS 2938087 HAS SOUPS 2838570 WITH SCORE 2846384.208
AT ITER 305 NEW BEST:: SOT 12208756 SOS 7829291 HAS SOPS 6524299 HAS SOUS 2934184 HAS SOUPS 2834667 WITH SCORE 2842496.291
AT ITER 311 NEW BEST:: SOT 12209362 SOS 7831950 HAS SOPS 6525973 HAS SOUS 2932613 HAS SOUPS 2833096 WITH SCORE 2840927.95
AT ITER 316 NEW BEST:: SOT 12211616 SOS 7836598 HAS SOPS 6530961 HAS SOUS 2930118 HAS SOUPS 2830601 WITH SCORE 2838437.598
AT ITER 318 NEW BEST:: SOT 12212217 SOS 7836457 HAS SOPS 6532524 HAS SOUS 2929584 HAS SOUPS 2830067 WITH SCORE 2837903.457
AT ITER 324 NEW BEST:: SOT 12212057 SOS 7836530 HAS SOPS 6532849 HAS SOUS 2929505 HAS SOUPS 2829973 WITH SCORE 2837809.53
AT ITER 327 NEW BEST:: SOT 12212065 SOS 7837728 HAS SOPS 6533347 HAS SOUS 2927828 HAS SOUPS 2828320 WITH SCORE 2836157.728
AT ITER 333 NEW BEST:: SOT 12213583 SOS 7840818 HAS SOPS 6537364 HAS SOUS 2926448 HAS SOUPS 2826940 WITH SCORE 2834780.818
AT ITER 336 NEW BEST:: SOT 12213507 SOS 7840678 HAS SOPS 6537232 HAS SOUS 2926238 HAS SOUPS 2826764 WITH SCORE 2834604.678
AT ITER 340 NEW BEST:: SOT 12212932 SOS 7837341 HAS SOPS 6533203 HAS SOUS 2920587 HAS SOUPS 2821651 WITH SCORE 2829488.341
AT ITER 341 NEW BEST:: SOT 12207027 SOS 7828474 HAS SOPS 6522171 HAS SOUS 2910965 HAS SOUPS 2812029 WITH SCORE 2819857.474
AT ITER 342 NEW BEST:: SOT 12209657 SOS 7838660 HAS SOPS 6529630 HAS SOUS 2910606 HAS SOUPS 2811670 WITH SCORE 2819508.66
AT ITER 343 NEW BEST:: SOT 12209595 SOS 7838705 HAS SOPS 6531715 HAS SOUS 2910195 HAS SOUPS 2811259 WITH SCORE 2819097.705
AT ITER 345 NEW BEST:: SOT 12203911 SOS 7833235 HAS SOPS 6525128 HAS SOUS 2905301 HAS SOUPS 2805616 WITH SCORE 2813449.235
AT ITER 371 NEW BEST:: SOT 12203367 SOS 7833266 HAS SOPS 6524060 HAS SOUS 2903732 HAS SOUPS 2804011 WITH SCORE 2811844.266
AT ITER 374 NEW BEST:: SOT 12213562 SOS 7855782 HAS SOPS 6552332 HAS SOUS 2901663 HAS SOUPS 2801942 WITH SCORE 2809797.782
AT ITER 379 NEW BEST:: SOT 12213531 SOS 7855751 HAS SOPS 6552301 HAS SOUS 2901388 HAS SOUPS 2801667 WITH SCORE 2809522.751
AT ITER 390 NEW BEST:: SOT 12212525 SOS 7859851 HAS SOPS 6556413 HAS SOUS 2897081 HAS SOUPS 2797455 WITH SCORE 2805314.851
AT ITER 395 NEW BEST:: SOT 12212337 SOS 7859481 HAS SOPS 6556094 HAS SOUS 2895994 HAS SOUPS 2796474 WITH SCORE 2804333.481
AT ITER 396 NEW BEST:: SOT 12210107 SOS 7857323 HAS SOPS 6552309 HAS SOUS 2890869 HAS SOUPS 2791317 WITH SCORE 2799174.323
AT ITER 400 NEW BEST:: SOT 12208823 SOS 7856694 HAS SOPS 6551017 HAS SOUS 2887408 HAS SOUPS 2787856 WITH SCORE 2795712.694
AT ITER 403 NEW BEST:: SOT 12208768 SOS 7856639 HAS SOPS 6550962 HAS SOUS 2887013 HAS SOUPS 2787461 WITH SCORE 2795317.639
AT ITER 404 NEW BEST:: SOT 12208730 SOS 7853700 HAS SOPS 6551437 HAS SOUS 2885080 HAS SOUPS 2785673 WITH SCORE 2793526.7
AT ITER 421 NEW BEST:: SOT 12209304 SOS 7856154 HAS SOPS 6553376 HAS SOUS 2885024 HAS SOUPS 2785617 WITH SCORE 2793473.154
AT ITER 426 NEW BEST:: SOT 12209564 SOS 7855434 HAS SOPS 6550396 HAS SOUS 2872533 HAS SOUPS 2773126 WITH SCORE 2780981.434
AT ITER 428 NEW BEST:: SOT 12209597 SOS 7855665 HAS SOPS 6550568 HAS SOUS 2872016 HAS SOUPS 2772609 WITH SCORE 2780464.665
AT ITER 431 NEW BEST:: SOT 12209404 SOS 7855018 HAS SOPS 6550298 HAS SOUS 2871936 HAS SOUPS 2772529 WITH SCORE 2780384.018
AT ITER 432 NEW BEST:: SOT 12209081 SOS 7855857 HAS SOPS 6550925 HAS SOUS 2868602 HAS SOUPS 2769093 WITH SCORE 2776948.857
AT ITER 433 NEW BEST:: SOT 12205852 SOS 7862938 HAS SOPS 6547358 HAS SOUS 2853493 HAS SOUPS 2753797 WITH SCORE 2761659.938
AT ITER 436 NEW BEST:: SOT 12200494 SOS 7857580 HAS SOPS 6542000 HAS SOUS 2847867 HAS SOUPS 2748171 WITH SCORE 2756028.58
AT ITER 440 NEW BEST:: SOT 12198018 SOS 7855327 HAS SOPS 6538071 HAS SOUS 2844904 HAS SOUPS 2745077 WITH SCORE 2752932.327
AT ITER 444 NEW BEST:: SOT 12198527 SOS 7857054 HAS SOPS 6539794 HAS SOUS 2844507 HAS SOUPS 2744680 WITH SCORE 2752537.054
AT ITER 447 NEW BEST:: SOT 12198247 SOS 7856814 HAS SOPS 6539494 HAS SOUS 2843920 HAS SOUPS 2744093 WITH SCORE 2751949.814
AT ITER 448 NEW BEST:: SOT 12199000 SOS 7859943 HAS SOPS 6543461 HAS SOUS 2839970 HAS SOUPS 2740143 WITH SCORE 2748002.943
AT ITER 461 NEW BEST:: SOT 12191660 SOS 7852271 HAS SOPS 6535149 HAS SOUS 2831305 HAS SOUPS 2731194 WITH SCORE 2739046.271
AT ITER 472 NEW BEST:: SOT 12196600 SOS 7858950 HAS SOPS 6542917 HAS SOUS 2830801 HAS SOUPS 2730690 WITH SCORE 2738548.95
AT ITER 474 NEW BEST:: SOT 12196890 SOS 7860244 HAS SOPS 6544157 HAS SOUS 2830503 HAS SOUPS 2730392 WITH SCORE 2738252.244
AT ITER 478 NEW BEST:: SOT 12194794 SOS 7852642 HAS SOPS 6538033 HAS SOUS 2825604 HAS SOUPS 2725564 WITH SCORE 2733416.642
AT ITER 484 NEW BEST:: SOT 12194738 SOS 7852564 HAS SOPS 6537625 HAS SOUS 2823492 HAS SOUPS 2723452 WITH SCORE 2731304.564
AT ITER 487 NEW BEST:: SOT 12194939 SOS 7853875 HAS SOPS 6538636 HAS SOUS 2823241 HAS SOUPS 2723201 WITH SCORE 2731054.875
AT ITER 499 NEW BEST:: SOT 12194610 SOS 7854834 HAS SOPS 6539231 HAS SOUS 2822208 HAS SOUPS 2722168 WITH SCORE 2730022.834
AT ITER 505 NEW BEST:: SOT 12193767 SOS 7854103 HAS SOPS 6538532 HAS SOUS 2819441 HAS SOUPS 2719401 WITH SCORE 2727255.103
AT ITER 530 NEW BEST:: SOT 12194610 SOS 7852250 HAS SOPS 6541228 HAS SOUS 2819270 HAS SOUPS 2719314 WITH SCORE 2727166.25
AT ITER 550 NEW BEST:: SOT 12189351 SOS 7848444 HAS SOPS 6538335 HAS SOUS 2802375 HAS SOUPS 2702552 WITH SCORE 2710400.444
AT ITER 559 NEW BEST:: SOT 12189629 SOS 7849209 HAS SOPS 6538679 HAS SOUS 2802290 HAS SOUPS 2702298 WITH SCORE 2710147.209
AT ITER 574 NEW BEST:: SOT 12185039 SOS 7841464 HAS SOPS 6526477 HAS SOUS 2786816 HAS SOUPS 2686824 WITH SCORE 2694665.464
AT ITER 592 NEW BEST:: SOT 12176499 SOS 7830878 HAS SOPS 6512491 HAS SOUS 2769043 HAS SOUPS 2669138 WITH SCORE 2676968.878
AT ITER 598 NEW BEST:: SOT 12152328 SOS 7806726 HAS SOPS 6487969 HAS SOUS 2735592 HAS SOUPS 2635672 WITH SCORE 2643478.726
AT ITER 618 NEW BEST:: SOT 12152335 SOS 7806663 HAS SOPS 6487422 HAS SOUS 2734706 HAS SOUPS 2634831 WITH SCORE 2642637.663
AT ITER 624 NEW BEST:: SOT 12151773 SOS 7806839 HAS SOPS 6485746 HAS SOUS 2720915 HAS SOUPS 2619966 WITH SCORE 2627772.839
AT ITER 625 NEW BEST:: SOT 12156545 SOS 7811851 HAS SOPS 6493403 HAS SOUS 2719189 HAS SOUPS 2618819 WITH SCORE 2626630.851
AT ITER 643 NEW BEST:: SOT 12157073 SOS 7812292 HAS SOPS 6495155 HAS SOUS 2717821 HAS SOUPS 2617521 WITH SCORE 2625333.292
AT ITER 647 NEW BEST:: SOT 12156970 SOS 7813862 HAS SOPS 6493716 HAS SOUS 2716753 HAS SOUPS 2616320 WITH SCORE 2624133.862
AT ITER 651 NEW BEST:: SOT 12156096 SOS 7811998 HAS SOPS 6491852 HAS SOUS 2715919 HAS SOUPS 2615486 WITH SCORE 2623297.998
AT ITER 662 NEW BEST:: SOT 12158080 SOS 7818333 HAS SOPS 6498441 HAS SOUS 2715332 HAS SOUPS 2614899 WITH SCORE 2622717.333
AT ITER 663 NEW BEST:: SOT 12158509 SOS 7818750 HAS SOPS 6498678 HAS SOUS 2714661 HAS SOUPS 2614228 WITH SCORE 2622046.75
AT ITER 668 NEW BEST:: SOT 12161769 SOS 7817807 HAS SOPS 6502579 HAS SOUS 2714630 HAS SOUPS 2614197 WITH SCORE 2622014.807
AT ITER 673 NEW BEST:: SOT 12161005 SOS 7817521 HAS SOPS 6502146 HAS SOUS 2712275 HAS SOUPS 2611842 WITH SCORE 2619659.521
AT ITER 674 NEW BEST:: SOT 12160821 SOS 7814147 HAS SOPS 6500038 HAS SOUS 2711756 HAS SOUPS 2611323 WITH SCORE 2619137.147
AT ITER 681 NEW BEST:: SOT 12161599 SOS 7816837 HAS SOPS 6503421 HAS SOUS 2708699 HAS SOUPS 2608266 WITH SCORE 2616082.837
AT ITER 686 NEW BEST:: SOT 12161031 SOS 7816850 HAS SOPS 6503531 HAS SOUS 2707171 HAS SOUPS 2606738 WITH SCORE 2614554.85
AT ITER 697 NEW BEST:: SOT 12160936 SOS 7816752 HAS SOPS 6503388 HAS SOUS 2706972 HAS SOUPS 2606539 WITH SCORE 2614355.752
AT ITER 709 NEW BEST:: SOT 12156392 SOS 7807798 HAS SOPS 6495224 HAS SOUS 2703908 HAS SOUPS 2603475 WITH SCORE 2611282.798
AT ITER 722 NEW BEST:: SOT 12156402 SOS 7807708 HAS SOPS 6495264 HAS SOUS 2703601 HAS SOUPS 2603176 WITH SCORE 2610983.708
AT ITER 730 NEW BEST:: SOT 12156905 SOS 7809396 HAS SOPS 6496288 HAS SOUS 2703470 HAS SOUPS 2603045 WITH SCORE 2610854.396
AT ITER 753 NEW BEST:: SOT 12156995 SOS 7809390 HAS SOPS 6495737 HAS SOUS 2703437 HAS SOUPS 2602986 WITH SCORE 2610795.39
AT ITER 762 NEW BEST:: SOT 12157160 SOS 7810801 HAS SOPS 6496680 HAS SOUS 2702916 HAS SOUPS 2602465 WITH SCORE 2610275.801
AT ITER 770 NEW BEST:: SOT 12154657 SOS 7806527 HAS SOPS 6491901 HAS SOUS 2696265 HAS SOUPS 2595819 WITH SCORE 2603625.527
AT ITER 780 NEW BEST:: SOT 12154000 SOS 7806380 HAS SOPS 6490923 HAS SOUS 2693562 HAS SOUPS 2593116 WITH SCORE 2600922.38
AT ITER 785 NEW BEST:: SOT 12157448 SOS 7810395 HAS SOPS 6496973 HAS SOUS 2688965 HAS SOUPS 2588519 WITH SCORE 2596329.395
AT ITER 792 NEW BEST:: SOT 12158440 SOS 7811408 HAS SOPS 6498466 HAS SOUS 2686395 HAS SOUPS 2585949 WITH SCORE 2593760.408
AT ITER 797 NEW BEST:: SOT 12158067 SOS 7810787 HAS SOPS 6498005 HAS SOUS 2685725 HAS SOUPS 2585279 WITH SCORE 2593089.787
AT ITER 809 NEW BEST:: SOT 12158029 SOS 7810420 HAS SOPS 6497555 HAS SOUS 2685725 HAS SOUPS 2585279 WITH SCORE 2593089.42
AT ITER 815 NEW BEST:: SOT 12160387 SOS 7817576 HAS SOPS 6498100 HAS SOUS 2683984 HAS SOUPS 2583538 WITH SCORE 2591355.576
AT ITER 829 NEW BEST:: SOT 12159620 SOS 7816231 HAS SOPS 6496806 HAS SOUS 2680975 HAS SOUPS 2580629 WITH SCORE 2588445.231
AT ITER 839 NEW BEST:: SOT 12159738 SOS 7816420 HAS SOPS 6496043 HAS SOUS 2680752 HAS SOUPS 2580406 WITH SCORE 2588222.42
AT ITER 841 NEW BEST:: SOT 12162996 SOS 7824510 HAS SOPS 6502959 HAS SOUS 2679993 HAS SOUPS 2579647 WITH SCORE 2587471.51
AT ITER 859 NEW BEST:: SOT 12162845 SOS 7824374 HAS SOPS 6502743 HAS SOUS 2679462 HAS SOUPS 2579116 WITH SCORE 2586940.374
AT ITER 869 NEW BEST:: SOT 12157298 SOS 7818791 HAS SOPS 6496620 HAS SOUS 2672059 HAS SOUPS 2571713 WITH SCORE 2579531.791
AT ITER 877 NEW BEST:: SOT 12157291 SOS 7818724 HAS SOPS 6496757 HAS SOUS 2671164 HAS SOUPS 2571022 WITH SCORE 2578840.724
AT ITER 878 NEW BEST:: SOT 12140679 SOS 7800256 HAS SOPS 6478289 HAS SOUS 2654166 HAS SOUPS 2554024 WITH SCORE 2561824.256
AT ITER 889 NEW BEST:: SOT 12139056 SOS 7798645 HAS SOPS 6475992 HAS SOUS 2650189 HAS SOUPS 2550153 WITH SCORE 2557951.645
AT ITER 891 NEW BEST:: SOT 12138667 SOS 7798238 HAS SOPS 6475591 HAS SOUS 2649326 HAS SOUPS 2549296 WITH SCORE 2557094.238
AT ITER 894 NEW BEST:: SOT 12146569 SOS 7822732 HAS SOPS 6503475 HAS SOUS 2648193 HAS SOUPS 2548163 WITH SCORE 2555985.732
AT ITER 908 NEW BEST:: SOT 12146580 SOS 7822743 HAS SOPS 6503390 HAS SOUS 2648116 HAS SOUPS 2548086 WITH SCORE 2555908.743
AT ITER 923 NEW BEST:: SOT 12143448 SOS 7818970 HAS SOPS 6499241 HAS SOUS 2646071 HAS SOUPS 2546041 WITH SCORE 2553859.97
AT ITER 937 NEW BEST:: SOT 12142520 SOS 7817450 HAS SOPS 6497961 HAS SOUS 2645195 HAS SOUPS 2545185 WITH SCORE 2553002.45
AT ITER 955 NEW BEST:: SOT 12135423 SOS 7811549 HAS SOPS 6491878 HAS SOUS 2637081 HAS SOUPS 2537084 WITH SCORE 2544895.549
AT ITER 962 NEW BEST:: SOT 12138603 SOS 7815481 HAS SOPS 6496209 HAS SOUS 2635512 HAS SOUPS 2535515 WITH SCORE 2543330.481
AT ITER 968 NEW BEST:: SOT 12138429 SOS 7815331 HAS SOPS 6495943 HAS SOUS 2635114 HAS SOUPS 2535113 WITH SCORE 2542928.331
AT ITER 975 NEW BEST:: SOT 12137410 SOS 7810845 HAS SOPS 6492574 HAS SOUS 2634519 HAS SOUPS 2534518 WITH SCORE 2542328.845
AT ITER 1004 NEW BEST:: SOT 12133910 SOS 7807309 HAS SOPS 6489362 HAS SOUS 2631283 HAS SOUPS 2532146 WITH SCORE 2539953.309
AT ITER 1011 NEW BEST:: SOT 12133974 SOS 7807373 HAS SOPS 6489426 HAS SOUS 2631255 HAS SOUPS 2532118 WITH SCORE 2539925.373
AT ITER 1013 NEW BEST:: SOT 12135027 SOS 7809673 HAS SOPS 6492337 HAS SOUS 2629265 HAS SOUPS 2530128 WITH SCORE 2537937.673
AT ITER 1026 NEW BEST:: SOT 12127332 SOS 7798455 HAS SOPS 6481401 HAS SOUS 2617041 HAS SOUPS 2517994 WITH SCORE 2525792.455
AT ITER 1031 NEW BEST:: SOT 12127374 SOS 7799114 HAS SOPS 6483135 HAS SOUS 2616728 HAS SOUPS 2517681 WITH SCORE 2525480.114
AT ITER 1041 NEW BEST:: SOT 12122942 SOS 7794682 HAS SOPS 6478703 HAS SOUS 2610824 HAS SOUPS 2511777 WITH SCORE 2519571.682
AT ITER 1053 NEW BEST:: SOT 12125696 SOS 7795421 HAS SOPS 6482403 HAS SOUS 2609743 HAS SOUPS 2510696 WITH SCORE 2518491.421
AT ITER 1054 NEW BEST:: SOT 12125644 SOS 7795397 HAS SOPS 6482275 HAS SOUS 2609492 HAS SOUPS 2510445 WITH SCORE 2518240.397
AT ITER 1055 NEW BEST:: SOT 12124715 SOS 7794467 HAS SOPS 6481314 HAS SOUS 2608427 HAS SOUPS 2509349 WITH SCORE 2517143.467
AT ITER 1077 NEW BEST:: SOT 12128462 SOS 7802144 HAS SOPS 6487521 HAS SOUS 2605001 HAS SOUPS 2505923 WITH SCORE 2513725.144
AT ITER 1086 NEW BEST:: SOT 12124876 SOS 7795911 HAS SOPS 6481999 HAS SOUS 2596982 HAS SOUPS 2498502 WITH SCORE 2506297.911
AT ITER 1094 NEW BEST:: SOT 12123106 SOS 7791285 HAS SOPS 6479305 HAS SOUS 2594088 HAS SOUPS 2495608 WITH SCORE 2503399.285
AT ITER 1105 NEW BEST:: SOT 12126126 SOS 7796605 HAS SOPS 6484978 HAS SOUS 2589667 HAS SOUPS 2491005 WITH SCORE 2498801.605
AT ITER 1119 NEW BEST:: SOT 12125906 SOS 7796418 HAS SOPS 6484945 HAS SOUS 2589172 HAS SOUPS 2490521 WITH SCORE 2498317.418
AT ITER 1143 NEW BEST:: SOT 12125701 SOS 7796617 HAS SOPS 6484526 HAS SOUS 2588265 HAS SOUPS 2489614 WITH SCORE 2497410.617
AT ITER 1153 NEW BEST:: SOT 12122278 SOS 7789093 HAS SOPS 6478628 HAS SOUS 2583736 HAS SOUPS 2485358 WITH SCORE 2493147.093
AT ITER 1156 NEW BEST:: SOT 12126783 SOS 7793742 HAS SOPS 6484579 HAS SOUS 2582920 HAS SOUPS 2484540 WITH SCORE 2492333.742
AT ITER 1168 NEW BEST:: SOT 12126764 SOS 7793461 HAS SOPS 6483988 HAS SOUS 2582918 HAS SOUPS 2484538 WITH SCORE 2492331.461
AT ITER 1175 NEW BEST:: SOT 12127403 SOS 7795271 HAS SOPS 6481628 HAS SOUS 2574217 HAS SOUPS 2475896 WITH SCORE 2483691.271
AT ITER 1197 NEW BEST:: SOT 12124917 SOS 7779652 HAS SOPS 6478639 HAS SOUS 2571103 HAS SOUPS 2472785 WITH SCORE 2480564.652
AT ITER 1200 NEW BEST:: SOT 12124682 SOS 7779268 HAS SOPS 6478779 HAS SOUS 2570171 HAS SOUPS 2471853 WITH SCORE 2479632.268
AT ITER 1201 NEW BEST:: SOT 12125118 SOS 7782679 HAS SOPS 6481565 HAS SOUS 2567800 HAS SOUPS 2469482 WITH SCORE 2477264.679
AT ITER 1204 NEW BEST:: SOT 12125615 SOS 7783362 HAS SOPS 6484453 HAS SOUS 2562619 HAS SOUPS 2464451 WITH SCORE 2472234.362
AT ITER 1222 NEW BEST:: SOT 12125648 SOS 7783406 HAS SOPS 6484480 HAS SOUS 2562614 HAS SOUPS 2464446 WITH SCORE 2472229.406
AT ITER 1232 NEW BEST:: SOT 12125855 SOS 7781180 HAS SOPS 6483471 HAS SOUS 2560949 HAS SOUPS 2462781 WITH SCORE 2470562.18
AT ITER 1243 NEW BEST:: SOT 12123448 SOS 7776459 HAS SOPS 6477373 HAS SOUS 2555823 HAS SOUPS 2457655 WITH SCORE 2465431.459
AT ITER 1244 NEW BEST:: SOT 12123112 SOS 7775955 HAS SOPS 6477465 HAS SOUS 2555319 HAS SOUPS 2457151 WITH SCORE 2464926.955
AT ITER 1245 NEW BEST:: SOT 12124115 SOS 7776958 HAS SOPS 6478068 HAS SOUS 2555106 HAS SOUPS 2456538 WITH SCORE 2464314.958
AT ITER 1263 NEW BEST:: SOT 12123624 SOS 7776335 HAS SOPS 6476765 HAS SOUS 2552353 HAS SOUPS 2453785 WITH SCORE 2461561.335
AT ITER 1271 NEW BEST:: SOT 12119218 SOS 7760991 HAS SOPS 6468236 HAS SOUS 2545952 HAS SOUPS 2449366 WITH SCORE 2457126.991
AT ITER 1286 NEW BEST:: SOT 12105945 SOS 7743175 HAS SOPS 6452154 HAS SOUS 2541132 HAS SOUPS 2444546 WITH SCORE 2452289.175
AT ITER 1287 NEW BEST:: SOT 12095298 SOS 7729851 HAS SOPS 6438831 HAS SOUS 2519880 HAS SOUPS 2423331 WITH SCORE 2431060.851
AT ITER 1290 NEW BEST:: SOT 12095355 SOS 7734305 HAS SOPS 6442978 HAS SOUS 2513311 HAS SOUPS 2416762 WITH SCORE 2424496.305
AT ITER 1291 NEW BEST:: SOT 12094005 SOS 7737390 HAS SOPS 6442180 HAS SOUS 2512757 HAS SOUPS 2416208 WITH SCORE 2423945.39
AT ITER 1294 NEW BEST:: SOT 12093477 SOS 7736778 HAS SOPS 6441271 HAS SOUS 2511540 HAS SOUPS 2415010 WITH SCORE 2422746.778
AT ITER 1315 NEW BEST:: SOT 12102240 SOS 7742708 HAS SOPS 6444723 HAS SOUS 2507578 HAS SOUPS 2409826 WITH SCORE 2417568.708
AT ITER 1345 NEW BEST:: SOT 12102272 SOS 7743788 HAS SOPS 6445821 HAS SOUS 2506671 HAS SOUPS 2408919 WITH SCORE 2416662.788
AT ITER 1358 NEW BEST:: SOT 12102194 SOS 7743639 HAS SOPS 6445647 HAS SOUS 2506468 HAS SOUPS 2408716 WITH SCORE 2416459.639
AT ITER 1361 NEW BEST:: SOT 12098605 SOS 7740281 HAS SOPS 6442370 HAS SOUS 2500451 HAS SOUPS 2402699 WITH SCORE 2410439.281
AT ITER 1366 NEW BEST:: SOT 12100022 SOS 7742307 HAS SOPS 6444573 HAS SOUS 2492617 HAS SOUPS 2394981 WITH SCORE 2402723.307
AT ITER 1381 NEW BEST:: SOT 12099843 SOS 7743425 HAS SOPS 6445196 HAS SOUS 2491691 HAS SOUPS 2394040 WITH SCORE 2401783.425
AT ITER 1383 NEW BEST:: SOT 12097152 SOS 7737502 HAS SOPS 6444412 HAS SOUS 2486602 HAS SOUPS 2389060 WITH SCORE 2396797.502
AT ITER 1399 NEW BEST:: SOT 12096492 SOS 7735924 HAS SOPS 6443584 HAS SOUS 2486331 HAS SOUPS 2388789 WITH SCORE 2396524.924
AT ITER 1404 NEW BEST:: SOT 12094105 SOS 7734878 HAS SOPS 6441074 HAS SOUS 2481775 HAS SOUPS 2384179 WITH SCORE 2391913.878
AT ITER 1407 NEW BEST:: SOT 12088330 SOS 7723757 HAS SOPS 6429247 HAS SOUS 2479538 HAS SOUPS 2381942 WITH SCORE 2389665.757
AT ITER 1410 NEW BEST:: SOT 12088306 SOS 7723576 HAS SOPS 6429009 HAS SOUS 2479462 HAS SOUPS 2381866 WITH SCORE 2389589.576
AT ITER 1412 NEW BEST:: SOT 12088039 SOS 7722685 HAS SOPS 6428121 HAS SOUS 2478721 HAS SOUPS 2381125 WITH SCORE 2388847.685
AT ITER 1414 NEW BEST:: SOT 12079282 SOS 7713928 HAS SOPS 6418708 HAS SOUS 2465084 HAS SOUPS 2367488 WITH SCORE 2375201.928
AT ITER 1420 NEW BEST:: SOT 12078891 SOS 7711502 HAS SOPS 6415696 HAS SOUS 2463604 HAS SOUPS 2366008 WITH SCORE 2373719.502
AT ITER 1437 NEW BEST:: SOT 12079112 SOS 7714231 HAS SOPS 6417521 HAS SOUS 2462617 HAS SOUPS 2365021 WITH SCORE 2372735.231
AT ITER 1440 NEW BEST:: SOT 12066769 SOS 7700292 HAS SOPS 6402963 HAS SOUS 2441851 HAS SOUPS 2344341 WITH SCORE 2352041.292
AT ITER 1468 NEW BEST:: SOT 12065341 SOS 7699005 HAS SOPS 6401318 HAS SOUS 2440907 HAS SOUPS 2343397 WITH SCORE 2351096.005
AT ITER 1471 NEW BEST:: SOT 12064114 SOS 7697873 HAS SOPS 6399786 HAS SOUS 2439213 HAS SOUPS 2341507 WITH SCORE 2349204.873
AT ITER 1489 NEW BEST:: SOT 12063802 SOS 7697551 HAS SOPS 6399314 HAS SOUS 2438249 HAS SOUPS 2340543 WITH SCORE 2348240.551
AT ITER 1519 NEW BEST:: SOT 12061980 SOS 7695116 HAS SOPS 6397058 HAS SOUS 2434110 HAS SOUPS 2336441 WITH SCORE 2344136.116
AT ITER 1528 NEW BEST:: SOT 12061938 SOS 7695149 HAS SOPS 6397281 HAS SOUS 2433953 HAS SOUPS 2336284 WITH SCORE 2343979.149
AT ITER 1529 NEW BEST:: SOT 12062168 SOS 7698106 HAS SOPS 6399699 HAS SOUS 2433304 HAS SOUPS 2335635 WITH SCORE 2343333.106
AT ITER 1543 NEW BEST:: SOT 12061985 SOS 7697647 HAS SOPS 6399470 HAS SOUS 2432960 HAS SOUPS 2335314 WITH SCORE 2343011.647
AT ITER 1549 NEW BEST:: SOT 12058234 SOS 7691009 HAS SOPS 6393685 HAS SOUS 2428752 HAS SOUPS 2331179 WITH SCORE 2338870.009
AT ITER 1552 NEW BEST:: SOT 12053787 SOS 7682461 HAS SOPS 6385549 HAS SOUS 2426704 HAS SOUPS 2329131 WITH SCORE 2336813.461
AT ITER 1553 NEW BEST:: SOT 12050695 SOS 7679369 HAS SOPS 6382457 HAS SOUS 2423336 HAS SOUPS 2325763 WITH SCORE 2333442.369
AT ITER 1569 NEW BEST:: SOT 12050693 SOS 7679518 HAS SOPS 6382578 HAS SOUS 2423277 HAS SOUPS 2325704 WITH SCORE 2333383.518
AT ITER 1575 NEW BEST:: SOT 12049604 SOS 7681183 HAS SOPS 6383243 HAS SOUS 2420145 HAS SOUPS 2322572 WITH SCORE 2330253.183
AT ITER 1581 NEW BEST:: SOT 12049404 SOS 7680286 HAS SOPS 6382846 HAS SOUS 2420030 HAS SOUPS 2322457 WITH SCORE 2330137.286
AT ITER 1585 NEW BEST:: SOT 12048637 SOS 7682109 HAS SOPS 6382350 HAS SOUS 2412869 HAS SOUPS 2315222 WITH SCORE 2322904.109
AT ITER 1610 NEW BEST:: SOT 12047641 SOS 7680897 HAS SOPS 6381246 HAS SOUS 2411819 HAS SOUPS 2314172 WITH SCORE 2321852.897
AT ITER 1615 NEW BEST:: SOT 12043801 SOS 7677057 HAS SOPS 6377918 HAS SOUS 2409331 HAS SOUPS 2312196 WITH SCORE 2319873.057
AT ITER 1625 NEW BEST:: SOT 12042585 SOS 7675593 HAS SOPS 6377240 HAS SOUS 2404747 HAS SOUPS 2307703 WITH SCORE 2315378.593
AT ITER 1634 NEW BEST:: SOT 12043440 SOS 7675834 HAS SOPS 6377685 HAS SOUS 2402824 HAS SOUPS 2305812 WITH SCORE 2313487.834
AT ITER 1635 NEW BEST:: SOT 12043459 SOS 7677204 HAS SOPS 6379523 HAS SOUS 2402362 HAS SOUPS 2305350 WITH SCORE 2313027.204
AT ITER 1643 NEW BEST:: SOT 12042935 SOS 7676249 HAS SOPS 6378008 HAS SOUS 2402077 HAS SOUPS 2305065 WITH SCORE 2312741.249
AT ITER 1656 NEW BEST:: SOT 12040894 SOS 7672091 HAS SOPS 6374364 HAS SOUS 2401157 HAS SOUPS 2304145 WITH SCORE 2311817.091
AT ITER 1660 NEW BEST:: SOT 12043859 SOS 7671962 HAS SOPS 6376978 HAS SOUS 2400571 HAS SOUPS 2304027 WITH SCORE 2311698.962
AT ITER 1677 NEW BEST:: SOT 12043655 SOS 7672063 HAS SOPS 6377805 HAS SOUS 2398118 HAS SOUPS 2301574 WITH SCORE 2309246.063
AT ITER 1681 NEW BEST:: SOT 12041513 SOS 7668788 HAS SOPS 6374766 HAS SOUS 2392434 HAS SOUPS 2296021 WITH SCORE 2303689.788
AT ITER 1687 NEW BEST:: SOT 12046194 SOS 7675179 HAS SOPS 6384367 HAS SOUS 2392312 HAS SOUPS 2295927 WITH SCORE 2303602.179
AT ITER 1695 NEW BEST:: SOT 12046172 SOS 7675202 HAS SOPS 6384220 HAS SOUS 2391930 HAS SOUPS 2295555 WITH SCORE 2303230.202
AT ITER 1701 NEW BEST:: SOT 12044051 SOS 7671666 HAS SOPS 6380511 HAS SOUS 2386998 HAS SOUPS 2290681 WITH SCORE 2298352.666
AT ITER 1715 NEW BEST:: SOT 12041854 SOS 7667224 HAS SOPS 6376969 HAS SOUS 2384247 HAS SOUPS 2287930 WITH SCORE 2295597.224
AT ITER 1732 NEW BEST:: SOT 12041337 SOS 7666035 HAS SOPS 6375819 HAS SOUS 2383863 HAS SOUPS 2287546 WITH SCORE 2295212.035
AT ITER 1735 NEW BEST:: SOT 12041900 SOS 7682973 HAS SOPS 6388476 HAS SOUS 2373457 HAS SOUPS 2277140 WITH SCORE 2284822.973
AT ITER 1737 NEW BEST:: SOT 12040375 SOS 7681008 HAS SOPS 6387671 HAS SOUS 2369405 HAS SOUPS 2273328 WITH SCORE 2281009.008
AT ITER 1742 NEW BEST:: SOT 12040327 SOS 7680840 HAS SOPS 6387323 HAS SOUS 2369296 HAS SOUPS 2273219 WITH SCORE 2280899.84
AT ITER 1755 NEW BEST:: SOT 12032089 SOS 7666134 HAS SOPS 6373713 HAS SOUS 2361763 HAS SOUPS 2265996 WITH SCORE 2273662.134
AT ITER 1767 NEW BEST:: SOT 12026684 SOS 7660692 HAS SOPS 6367716 HAS SOUS 2353766 HAS SOUPS 2257999 WITH SCORE 2265659.692
AT ITER 1779 NEW BEST:: SOT 12026987 SOS 7661147 HAS SOPS 6370634 HAS SOUS 2353755 HAS SOUPS 2257988 WITH SCORE 2265649.147
AT ITER 1798 NEW BEST:: SOT 12026547 SOS 7660697 HAS SOPS 6370034 HAS SOUS 2352855 HAS SOUPS 2257088 WITH SCORE 2264748.697
AT ITER 1800 NEW BEST:: SOT 12038541 SOS 7670388 HAS SOPS 6377686 HAS SOUS 2344466 HAS SOUPS 2248706 WITH SCORE 2256376.388
AT ITER 1816 NEW BEST:: SOT 12037658 SOS 7669477 HAS SOPS 6376355 HAS SOUS 2341651 HAS SOUPS 2245891 WITH SCORE 2253560.477
AT ITER 1824 NEW BEST:: SOT 12038869 SOS 7673759 HAS SOPS 6378488 HAS SOUS 2341613 HAS SOUPS 2245647 WITH SCORE 2253320.759
AT ITER 1833 NEW BEST:: SOT 12039272 SOS 7674149 HAS SOPS 6378683 HAS SOUS 2341164 HAS SOUPS 2245198 WITH SCORE 2252872.149
AT ITER 1834 NEW BEST:: SOT 12039822 SOS 7679057 HAS SOPS 6383658 HAS SOUS 2336883 HAS SOUPS 2240917 WITH SCORE 2248596.057
AT ITER 1836 NEW BEST:: SOT 12038582 SOS 7677796 HAS SOPS 6382082 HAS SOUS 2334235 HAS SOUPS 2238269 WITH SCORE 2245946.796
AT ITER 1849 NEW BEST:: SOT 12027287 SOS 7666501 HAS SOPS 6370787 HAS SOUS 2324156 HAS SOUPS 2228190 WITH SCORE 2235856.501
AT ITER 1855 NEW BEST:: SOT 12027526 SOS 7665764 HAS SOPS 6373647 HAS SOUS 2322859 HAS SOUPS 2226754 WITH SCORE 2234419.764
AT ITER 1871 NEW BEST:: SOT 12032565 SOS 7677072 HAS SOPS 6384181 HAS SOUS 2322421 HAS SOUPS 2226415 WITH SCORE 2234092.072
AT ITER 1874 NEW BEST:: SOT 12031438 SOS 7675176 HAS SOPS 6381755 HAS SOUS 2320808 HAS SOUPS 2224802 WITH SCORE 2232477.176
AT ITER 1898 NEW BEST:: SOT 12030057 SOS 7671094 HAS SOPS 6379046 HAS SOUS 2319613 HAS SOUPS 2223607 WITH SCORE 2231278.094
AT ITER 1902 NEW BEST:: SOT 12029946 SOS 7671028 HAS SOPS 6378810 HAS SOUS 2319257 HAS SOUPS 2223256 WITH SCORE 2230927.028
AT ITER 1903 NEW BEST:: SOT 12030078 SOS 7671376 HAS SOPS 6378862 HAS SOUS 2318917 HAS SOUPS 2222916 WITH SCORE 2230587.376
AT ITER 1914 NEW BEST:: SOT 12030334 SOS 7669573 HAS SOPS 6380957 HAS SOUS 2318265 HAS SOUPS 2222468 WITH SCORE 2230137.573
AT ITER 1919 NEW BEST:: SOT 12023460 SOS 7650642 HAS SOPS 6364418 HAS SOUS 2308949 HAS SOUPS 2213309 WITH SCORE 2220959.642
AT ITER 1927 NEW BEST:: SOT 12025899 SOS 7657502 HAS SOPS 6368460 HAS SOUS 2307830 HAS SOUPS 2212139 WITH SCORE 2219796.502
AT ITER 1956 NEW BEST:: SOT 12026295 SOS 7659304 HAS SOPS 6369662 HAS SOUS 2306718 HAS SOUPS 2211027 WITH SCORE 2218686.304
AT ITER 1970 NEW BEST:: SOT 12022649 SOS 7655084 HAS SOPS 6366849 HAS SOUS 2304052 HAS SOUPS 2208361 WITH SCORE 2216016.084
AT ITER 1971 NEW BEST:: SOT 12018895 SOS 7650307 HAS SOPS 6361624 HAS SOUS 2299853 HAS SOUPS 2204311 WITH SCORE 2211961.307
AT ITER 1996 NEW BEST:: SOT 12017502 SOS 7646213 HAS SOPS 6362051 HAS SOUS 2294547 HAS SOUPS 2199480 WITH SCORE 2207126.213
AT ITER 2005 NEW BEST:: SOT 12018460 SOS 7643468 HAS SOPS 6366773 HAS SOUS 2292729 HAS SOUPS 2197662 WITH SCORE 2205305.468
AT ITER 2008 NEW BEST:: SOT 12018356 SOS 7643520 HAS SOPS 6366801 HAS SOUS 2292307 HAS SOUPS 2197243 WITH SCORE 2204886.52
AT ITER 2013 NEW BEST:: SOT 12009588 SOS 7635531 HAS SOPS 6357105 HAS SOUS 2279222 HAS SOUPS 2184091 WITH SCORE 2191726.531
AT ITER 2014 NEW BEST:: SOT 12009228 SOS 7634127 HAS SOPS 6355889 HAS SOUS 2279024 HAS SOUPS 2183893 WITH SCORE 2191527.127
AT ITER 2033 NEW BEST:: SOT 12009071 SOS 7631643 HAS SOPS 6353698 HAS SOUS 2278464 HAS SOUPS 2183333 WITH SCORE 2190964.643
AT ITER 2039 NEW BEST:: SOT 12009038 SOS 7631577 HAS SOPS 6353489 HAS SOUS 2278464 HAS SOUPS 2183333 WITH SCORE 2190964.577
AT ITER 2041 NEW BEST:: SOT 12008634 SOS 7631288 HAS SOPS 6353117 HAS SOUS 2277039 HAS SOUPS 2181908 WITH SCORE 2189539.288
AT ITER 2063 NEW BEST:: SOT 12008562 SOS 7631216 HAS SOPS 6352821 HAS SOUS 2275695 HAS SOUPS 2180564 WITH SCORE 2188195.216
AT ITER 2095 NEW BEST:: SOT 12008165 SOS 7631343 HAS SOPS 6352338 HAS SOUS 2272745 HAS SOUPS 2177563 WITH SCORE 2185194.343
AT ITER 2103 NEW BEST:: SOT 12006720 SOS 7629818 HAS SOPS 6350877 HAS SOUS 2271250 HAS SOUPS 2176066 WITH SCORE 2183695.818
AT ITER 2120 NEW BEST:: SOT 12007059 SOS 7627712 HAS SOPS 6349081 HAS SOUS 2270955 HAS SOUPS 2175771 WITH SCORE 2183398.712
AT ITER 2121 NEW BEST:: SOT 12006759 SOS 7627551 HAS SOPS 6348654 HAS SOUS 2270669 HAS SOUPS 2175323 WITH SCORE 2182950.551
AT ITER 2181 NEW BEST:: SOT 12006662 SOS 7627468 HAS SOPS 6348513 HAS SOUS 2270582 HAS SOUPS 2175234 WITH SCORE 2182861.468
AT ITER 2194 NEW BEST:: SOT 12006597 SOS 7627673 HAS SOPS 6348718 HAS SOUS 2269671 HAS SOUPS 2174323 WITH SCORE 2181950.673
AT ITER 2200 NEW BEST:: SOT 12003951 SOS 7622003 HAS SOPS 6343828 HAS SOUS 2266181 HAS SOUPS 2170857 WITH SCORE 2178479.003
AT ITER 2230 NEW BEST:: SOT 12001596 SOS 7617273 HAS SOPS 6339696 HAS SOUS 2264490 HAS SOUPS 2168998 WITH SCORE 2176615.273
AT ITER 2245 NEW BEST:: SOT 12001058 SOS 7616699 HAS SOPS 6339633 HAS SOUS 2261624 HAS SOUPS 2166178 WITH SCORE 2173794.699
AT ITER 2264 NEW BEST:: SOT 11997990 SOS 7607972 HAS SOPS 6331882 HAS SOUS 2257868 HAS SOUPS 2162462 WITH SCORE 2170069.972
AT ITER 2272 NEW BEST:: SOT 11999798 SOS 7611155 HAS SOPS 6334896 HAS SOUS 2255971 HAS SOUPS 2160642 WITH SCORE 2168253.155
AT ITER 2279 NEW BEST:: SOT 11998877 SOS 7609661 HAS SOPS 6334138 HAS SOUS 2255386 HAS SOUPS 2160057 WITH SCORE 2167666.661
AT ITER 2281 NEW BEST:: SOT 11999211 SOS 7610351 HAS SOPS 6335120 HAS SOUS 2254568 HAS SOUPS 2159239 WITH SCORE 2166849.351
AT ITER 2286 NEW BEST:: SOT 11999070 SOS 7610273 HAS SOPS 6334889 HAS SOUS 2254082 HAS SOUPS 2158753 WITH SCORE 2166363.273
AT ITER 2289 NEW BEST:: SOT 11998285 SOS 7610782 HAS SOPS 6333585 HAS SOUS 2249484 HAS SOUPS 2154101 WITH SCORE 2161711.782
AT ITER 2290 NEW BEST:: SOT 11997673 SOS 7610176 HAS SOPS 6332973 HAS SOUS 2248686 HAS SOUPS 2153297 WITH SCORE 2160907.176
AT ITER 2294 NEW BEST:: SOT 11997126 SOS 7609653 HAS SOPS 6332457 HAS SOUS 2246944 HAS SOUPS 2151562 WITH SCORE 2159171.653
AT ITER 2298 NEW BEST:: SOT 11993347 SOS 7603880 HAS SOPS 6326309 HAS SOUS 2245340 HAS SOUPS 2149958 WITH SCORE 2157561.88
AT ITER 2300 NEW BEST:: SOT 11992355 SOS 7602888 HAS SOPS 6325093 HAS SOUS 2244156 HAS SOUPS 2148694 WITH SCORE 2156296.888
AT ITER 2308 NEW BEST:: SOT 11990368 SOS 7600208 HAS SOPS 6319587 HAS SOUS 2241703 HAS SOUPS 2146253 WITH SCORE 2153853.208
AT ITER 2311 NEW BEST:: SOT 11988629 SOS 7595783 HAS SOPS 6315594 HAS SOUS 2241057 HAS SOUPS 2145607 WITH SCORE 2153202.783
AT ITER 2315 NEW BEST:: SOT 11989570 SOS 7589577 HAS SOPS 6308242 HAS SOUS 2225139 HAS SOUPS 2130196 WITH SCORE 2137785.577
AT ITER 2330 NEW BEST:: SOT 11989174 SOS 7588527 HAS SOPS 6307544 HAS SOUS 2224245 HAS SOUPS 2129302 WITH SCORE 2136890.527
AT ITER 2337 NEW BEST:: SOT 11988154 SOS 7587548 HAS SOPS 6306488 HAS SOUS 2222948 HAS SOUPS 2128005 WITH SCORE 2135592.548
AT ITER 2340 NEW BEST:: SOT 11988330 SOS 7587966 HAS SOPS 6306648 HAS SOUS 2222608 HAS SOUPS 2127665 WITH SCORE 2135252.966
AT ITER 2374 NEW BEST:: SOT 11987872 SOS 7587591 HAS SOPS 6306285 HAS SOUS 2220894 HAS SOUPS 2125968 WITH SCORE 2133555.591
AT ITER 2377 NEW BEST:: SOT 11987592 SOS 7587459 HAS SOPS 6306013 HAS SOUS 2220260 HAS SOUPS 2125334 WITH SCORE 2132921.459
AT ITER 2381 NEW BEST:: SOT 11986561 SOS 7585330 HAS SOPS 6304786 HAS SOUS 2214336 HAS SOUPS 2119410 WITH SCORE 2126995.33
AT ITER 2384 NEW BEST:: SOT 11985660 SOS 7584372 HAS SOPS 6303229 HAS SOUS 2213045 HAS SOUPS 2118119 WITH SCORE 2125703.372
AT ITER 2385 NEW BEST:: SOT 11985662 SOS 7584374 HAS SOPS 6303303 HAS SOUS 2212879 HAS SOUPS 2117974 WITH SCORE 2125558.374
AT ITER 2391 NEW BEST:: SOT 11986610 SOS 7585734 HAS SOPS 6304363 HAS SOUS 2212120 HAS SOUPS 2117215 WITH SCORE 2124800.734
AT ITER 2397 NEW BEST:: SOT 11986751 SOS 7585769 HAS SOPS 6303298 HAS SOUS 2209696 HAS SOUPS 2114791 WITH SCORE 2122376.769
AT ITER 2398 NEW BEST:: SOT 11986464 SOS 7585549 HAS SOPS 6302905 HAS SOUS 2208760 HAS SOUPS 2113855 WITH SCORE 2121440.549
AT ITER 2422 NEW BEST:: SOT 11986472 SOS 7585556 HAS SOPS 6302915 HAS SOUS 2208753 HAS SOUPS 2113849 WITH SCORE 2121434.556
AT ITER 2436 NEW BEST:: SOT 11984512 SOS 7583596 HAS SOPS 6300315 HAS SOUS 2206601 HAS SOUPS 2111057 WITH SCORE 2118640.596
AT ITER 2450 NEW BEST:: SOT 11983617 SOS 7581987 HAS SOPS 6298991 HAS SOUS 2202220 HAS SOUPS 2106712 WITH SCORE 2114293.987
AT ITER 2465 NEW BEST:: SOT 11983515 SOS 7581885 HAS SOPS 6298841 HAS SOUS 2202134 HAS SOUPS 2106626 WITH SCORE 2114207.885
AT ITER 2476 NEW BEST:: SOT 11982195 SOS 7589374 HAS SOPS 6303927 HAS SOUS 2201191 HAS SOUPS 2105683 WITH SCORE 2113272.374
AT ITER 2482 NEW BEST:: SOT 11979907 SOS 7583986 HAS SOPS 6301265 HAS SOUS 2200841 HAS SOUPS 2105382 WITH SCORE 2112965.986
AT ITER 2488 NEW BEST:: SOT 11979613 SOS 7583296 HAS SOPS 6300168 HAS SOUS 2199437 HAS SOUPS 2103978 WITH SCORE 2111561.296
AT ITER 2489 NEW BEST:: SOT 11978529 SOS 7582212 HAS SOPS 6298828 HAS SOUS 2198385 HAS SOUPS 2102926 WITH SCORE 2110508.212
AT ITER 2514 NEW BEST:: SOT 11978889 SOS 7586753 HAS SOPS 6301787 HAS SOUS 2190188 HAS SOUPS 2094729 WITH SCORE 2102315.753
AT ITER 2532 NEW BEST:: SOT 11977635 SOS 7585549 HAS SOPS 6299436 HAS SOUS 2182264 HAS SOUPS 2086805 WITH SCORE 2094390.549
AT ITER 2539 NEW BEST:: SOT 11976571 SOS 7585870 HAS SOPS 6300877 HAS SOUS 2179702 HAS SOUPS 2084578 WITH SCORE 2092163.87
AT ITER 2545 NEW BEST:: SOT 11976419 SOS 7584978 HAS SOPS 6299088 HAS SOUS 2179537 HAS SOUPS 2084413 WITH SCORE 2091997.978
AT ITER 2550 NEW BEST:: SOT 11981773 SOS 7568514 HAS SOPS 6295414 HAS SOUS 2175551 HAS SOUPS 2080676 WITH SCORE 2088244.514
AT ITER 2560 NEW BEST:: SOT 11981729 SOS 7568470 HAS SOPS 6295370 HAS SOUS 2175507 HAS SOUPS 2080632 WITH SCORE 2088200.47
AT ITER 2568 NEW BEST:: SOT 11974228 SOS 7553746 HAS SOPS 6283930 HAS SOUS 2169067 HAS SOUPS 2074449 WITH SCORE 2082002.746
AT ITER 2572 NEW BEST:: SOT 11972892 SOS 7552414 HAS SOPS 6283482 HAS SOUS 2168167 HAS SOUPS 2074433 WITH SCORE 2081985.414
AT ITER 2573 NEW BEST:: SOT 11972284 SOS 7551497 HAS SOPS 6282455 HAS SOUS 2167592 HAS SOUPS 2073757 WITH SCORE 2081308.497
AT ITER 2580 NEW BEST:: SOT 11975786 SOS 7558657 HAS SOPS 6285731 HAS SOUS 2167670 HAS SOUPS 2073694 WITH SCORE 2081252.657
AT ITER 2588 NEW BEST:: SOT 11975822 SOS 7556579 HAS SOPS 6281372 HAS SOUS 2167986 HAS SOUPS 2072274 WITH SCORE 2079830.579
AT ITER 2600 NEW BEST:: SOT 11971007 SOS 7548120 HAS SOPS 6273068 HAS SOUS 2160552 HAS SOUPS 2064864 WITH SCORE 2072412.12
AT ITER 2608 NEW BEST:: SOT 11970620 SOS 7546928 HAS SOPS 6271560 HAS SOUS 2158198 HAS SOUPS 2062510 WITH SCORE 2070056.928
AT ITER 2613 NEW BEST:: SOT 11970620 SOS 7546992 HAS SOPS 6271640 HAS SOUS 2158196 HAS SOUPS 2062508 WITH SCORE 2070054.992
AT ITER 2616 NEW BEST:: SOT 11969792 SOS 7546253 HAS SOPS 6269883 HAS SOUS 2156344 HAS SOUPS 2060569 WITH SCORE 2068115.253
AT ITER 2629 NEW BEST:: SOT 11969286 SOS 7545619 HAS SOPS 6269154 HAS SOUS 2155558 HAS SOUPS 2059783 WITH SCORE 2067328.619
AT ITER 2631 NEW BEST:: SOT 11966874 SOS 7541678 HAS SOPS 6266437 HAS SOUS 2150909 HAS SOUPS 2055212 WITH SCORE 2062753.678
AT ITER 2639 NEW BEST:: SOT 11966756 SOS 7539877 HAS SOPS 6264443 HAS SOUS 2150461 HAS SOUPS 2054764 WITH SCORE 2062303.877
AT ITER 2653 NEW BEST:: SOT 11967177 SOS 7540276 HAS SOPS 6264794 HAS SOUS 2150130 HAS SOUPS 2054433 WITH SCORE 2061973.276
AT ITER 2665 NEW BEST:: SOT 11967576 SOS 7541416 HAS SOPS 6265995 HAS SOUS 2150023 HAS SOUPS 2054326 WITH SCORE 2061867.416
AT ITER 2674 NEW BEST:: SOT 11962415 SOS 7531484 HAS SOPS 6256637 HAS SOUS 2148993 HAS SOUPS 2053304 WITH SCORE 2060835.484
AT ITER 2675 NEW BEST:: SOT 11963044 SOS 7534250 HAS SOPS 6258580 HAS SOUS 2148818 HAS SOUPS 2053129 WITH SCORE 2060663.25
AT ITER 2679 NEW BEST:: SOT 11962089 SOS 7532800 HAS SOPS 6255908 HAS SOUS 2147035 HAS SOUPS 2051346 WITH SCORE 2058878.8
AT ITER 2689 NEW BEST:: SOT 11962625 SOS 7535030 HAS SOPS 6263888 HAS SOUS 2142934 HAS SOUPS 2047245 WITH SCORE 2054780.03
AT ITER 2694 NEW BEST:: SOT 11961686 SOS 7534065 HAS SOPS 6262740 HAS SOUS 2141464 HAS SOUPS 2045775 WITH SCORE 2053309.065
AT ITER 2704 NEW BEST:: SOT 11961566 SOS 7533904 HAS SOPS 6262441 HAS SOUS 2140961 HAS SOUPS 2045272 WITH SCORE 2052805.904
AT ITER 2711 NEW BEST:: SOT 11961327 SOS 7534648 HAS SOPS 6264653 HAS SOUS 2140704 HAS SOUPS 2045015 WITH SCORE 2052549.648
AT ITER 2713 NEW BEST:: SOT 11944634 SOS 7513652 HAS SOPS 6246952 HAS SOUS 2119545 HAS SOUPS 2024128 WITH SCORE 2031641.652
AT ITER 2715 NEW BEST:: SOT 11946095 SOS 7517990 HAS SOPS 6251057 HAS SOUS 2118935 HAS SOUPS 2023518 WITH SCORE 2031035.99
AT ITER 2727 NEW BEST:: SOT 11945958 SOS 7517862 HAS SOPS 6250740 HAS SOUS 2118453 HAS SOUPS 2023036 WITH SCORE 2030553.862
AT ITER 2761 NEW BEST:: SOT 11942698 SOS 7513287 HAS SOPS 6245133 HAS SOUS 2114298 HAS SOUPS 2018911 WITH SCORE 2026424.287
AT ITER 2792 NEW BEST:: SOT 11943646 SOS 7514573 HAS SOPS 6244541 HAS SOUS 2109948 HAS SOUPS 2015253 WITH SCORE 2022767.573
AT ITER 2803 NEW BEST:: SOT 11930578 SOS 7510521 HAS SOPS 6235780 HAS SOUS 2109829 HAS SOUPS 2014929 WITH SCORE 2022439.521
AT ITER 2818 NEW BEST:: SOT 11932436 SOS 7510587 HAS SOPS 6237993 HAS SOUS 2109183 HAS SOUPS 2014283 WITH SCORE 2021793.587
AT ITER 2825 NEW BEST:: SOT 11930683 SOS 7507347 HAS SOPS 6233944 HAS SOUS 2105902 HAS SOUPS 2010752 WITH SCORE 2018259.347
AT ITER 2837 NEW BEST:: SOT 11930568 SOS 7507213 HAS SOPS 6233844 HAS SOUS 2105726 HAS SOUPS 2010576 WITH SCORE 2018083.213
AT ITER 2852 NEW BEST:: SOT 11930600 SOS 7507332 HAS SOPS 6233987 HAS SOUS 2105656 HAS SOUPS 2010511 WITH SCORE 2018018.332
AT ITER 2865 NEW BEST:: SOT 11930410 SOS 7506026 HAS SOPS 6231962 HAS SOUS 2105009 HAS SOUPS 2009864 WITH SCORE 2017370.026
AT ITER 2867 NEW BEST:: SOT 11935471 SOS 7520730 HAS SOPS 6240026 HAS SOUS 2104631 HAS SOUPS 2009356 WITH SCORE 2016876.73
AT ITER 2875 NEW BEST:: SOT 11930190 SOS 7514223 HAS SOPS 6236917 HAS SOUS 2099318 HAS SOUPS 2004173 WITH SCORE 2011687.223
AT ITER 2933 NEW BEST:: SOT 11930134 SOS 7514211 HAS SOPS 6236775 HAS SOUS 2099206 HAS SOUPS 2004059 WITH SCORE 2011573.211
AT ITER 2939 NEW BEST:: SOT 11930718 SOS 7515427 HAS SOPS 6238456 HAS SOUS 2098768 HAS SOUPS 2003621 WITH SCORE 2011136.427
AT ITER 2942 NEW BEST:: SOT 11931035 SOS 7515742 HAS SOPS 6239096 HAS SOUS 2098086 HAS SOUPS 2002927 WITH SCORE 2010442.742
AT ITER 2952 NEW BEST:: SOT 11933268 SOS 7526411 HAS SOPS 6243173 HAS SOUS 2094131 HAS SOUPS 1998935 WITH SCORE 2006461.411
AT ITER 2962 NEW BEST:: SOT 11933216 SOS 7526385 HAS SOPS 6243091 HAS SOUS 2093975 HAS SOUPS 1998777 WITH SCORE 2006303.385
AT ITER 2979 NEW BEST:: SOT 11932461 SOS 7520835 HAS SOPS 6240101 HAS SOUS 2089284 HAS SOUPS 1994086 WITH SCORE 2001606.835
AT ITER 2996 NEW BEST:: SOT 11930220 SOS 7519147 HAS SOPS 6237837 HAS SOUS 2083595 HAS SOUPS 1988397 WITH SCORE 1995916.147
AT ITER 3016 NEW BEST:: SOT 11926612 SOS 7515539 HAS SOPS 6234325 HAS SOUS 2078355 HAS SOUPS 1983365 WITH SCORE 1990880.539
AT ITER 3028 NEW BEST:: SOT 11924079 SOS 7512627 HAS SOPS 6231071 HAS SOUS 2075564 HAS SOUPS 1980535 WITH SCORE 1988047.627
AT ITER 3037 NEW BEST:: SOT 11920280 SOS 7505288 HAS SOPS 6224411 HAS SOUS 2072570 HAS SOUPS 1977680 WITH SCORE 1985185.288
AT ITER 3044 NEW BEST:: SOT 11923956 SOS 7508486 HAS SOPS 6226409 HAS SOUS 2071282 HAS SOUPS 1976392 WITH SCORE 1983900.486
AT ITER 3054 NEW BEST:: SOT 11922972 SOS 7506887 HAS SOPS 6224675 HAS SOUS 2069164 HAS SOUPS 1974274 WITH SCORE 1981780.887
AT ITER 3073 NEW BEST:: SOT 11923730 SOS 7505910 HAS SOPS 6224412 HAS SOUS 2068901 HAS SOUPS 1974011 WITH SCORE 1981516.91
AT ITER 3089 NEW BEST:: SOT 11920557 SOS 7499707 HAS SOPS 6219671 HAS SOUS 2068362 HAS SOUPS 1973472 WITH SCORE 1980971.707
AT ITER 3095 NEW BEST:: SOT 11921617 SOS 7500767 HAS SOPS 6219867 HAS SOUS 2066250 HAS SOUPS 1971344 WITH SCORE 1978844.767
AT ITER 3096 NEW BEST:: SOT 11920783 SOS 7499009 HAS SOPS 6220532 HAS SOUS 2066039 HAS SOUPS 1971189 WITH SCORE 1978688.009
AT ITER 3102 NEW BEST:: SOT 11918601 SOS 7492929 HAS SOPS 6214157 HAS SOUS 2063933 HAS SOUPS 1969083 WITH SCORE 1976575.929
AT ITER 3106 NEW BEST:: SOT 11919725 SOS 7497063 HAS SOPS 6216657 HAS SOUS 2062028 HAS SOUPS 1967178 WITH SCORE 1974675.063
AT ITER 3150 NEW BEST:: SOT 11919695 SOS 7497063 HAS SOPS 6216542 HAS SOUS 2061904 HAS SOUPS 1967054 WITH SCORE 1974551.063
AT ITER 3170 NEW BEST:: SOT 11917312 SOS 7494680 HAS SOPS 6213743 HAS SOUS 2058989 HAS SOUPS 1964139 WITH SCORE 1971633.68
AT ITER 3194 NEW BEST:: SOT 11917220 SOS 7495023 HAS SOPS 6214494 HAS SOUS 2057271 HAS SOUPS 1962421 WITH SCORE 1969916.023
AT ITER 3211 NEW BEST:: SOT 11916277 SOS 7493768 HAS SOPS 6212766 HAS SOUS 2055416 HAS SOUPS 1960566 WITH SCORE 1968059.768
AT ITER 3215 NEW BEST:: SOT 11914644 SOS 7491313 HAS SOPS 6209077 HAS SOUS 2053415 HAS SOUPS 1958508 WITH SCORE 1965999.313
AT ITER 3249 NEW BEST:: SOT 11912513 SOS 7488856 HAS SOPS 6206631 HAS SOUS 2050790 HAS SOUPS 1955883 WITH SCORE 1963371.856
AT ITER 3260 NEW BEST:: SOT 11908286 SOS 7484238 HAS SOPS 6201955 HAS SOUS 2042440 HAS SOUPS 1947533 WITH SCORE 1955017.238
AT ITER 3284 NEW BEST:: SOT 11907810 SOS 7483858 HAS SOPS 6201395 HAS SOUS 2041535 HAS SOUPS 1946628 WITH SCORE 1954111.858
AT ITER 3308 NEW BEST:: SOT 11906526 SOS 7482574 HAS SOPS 6199551 HAS SOUS 2039083 HAS SOUPS 1944176 WITH SCORE 1951658.574
AT ITER 3311 NEW BEST:: SOT 11906531 SOS 7482749 HAS SOPS 6200565 HAS SOUS 2037853 HAS SOUPS 1942946 WITH SCORE 1950428.749
AT ITER 3352 NEW BEST:: SOT 11904672 SOS 7480649 HAS SOPS 6197234 HAS SOUS 2033068 HAS SOUPS 1938161 WITH SCORE 1945641.649
AT ITER 3356 NEW BEST:: SOT 11903723 SOS 7476399 HAS SOPS 6191001 HAS SOUS 2030246 HAS SOUPS 1935250 WITH SCORE 1942726.399
AT ITER 3375 NEW BEST:: SOT 11902935 SOS 7475603 HAS SOPS 6190373 HAS SOUS 2029794 HAS SOUPS 1935214 WITH SCORE 1942689.603
AT ITER 3379 NEW BEST:: SOT 11902893 SOS 7475541 HAS SOPS 6190328 HAS SOUS 2029720 HAS SOUPS 1935140 WITH SCORE 1942615.541
AT ITER 3392 NEW BEST:: SOT 11901581 SOS 7472717 HAS SOPS 6188078 HAS SOUS 2028097 HAS SOUPS 1933517 WITH SCORE 1940989.717
AT ITER 3394 NEW BEST:: SOT 11901343 SOS 7470541 HAS SOPS 6185902 HAS SOUS 2027621 HAS SOUPS 1933041 WITH SCORE 1940511.541
AT ITER 3412 NEW BEST:: SOT 11901600 SOS 7472494 HAS SOPS 6187032 HAS SOUS 2025309 HAS SOUPS 1930712 WITH SCORE 1938184.494
AT ITER 3418 NEW BEST:: SOT 11902118 SOS 7474535 HAS SOPS 6188323 HAS SOUS 2025247 HAS SOUPS 1930650 WITH SCORE 1938124.535
AT ITER 3420 NEW BEST:: SOT 11902721 SOS 7474578 HAS SOPS 6189528 HAS SOUS 2022556 HAS SOUPS 1928580 WITH SCORE 1936054.578
AT ITER 3432 NEW BEST:: SOT 11902211 SOS 7475650 HAS SOPS 6189951 HAS SOUS 2017740 HAS SOUPS 1923764 WITH SCORE 1931239.65
AT ITER 3435 NEW BEST:: SOT 11902175 SOS 7476052 HAS SOPS 6190529 HAS SOUS 2017630 HAS SOUPS 1923654 WITH SCORE 1931130.052
AT ITER 3445 NEW BEST:: SOT 11908352 SOS 7495373 HAS SOPS 6209881 HAS SOUS 2014854 HAS SOUPS 1920909 WITH SCORE 1928404.373
AT ITER 3448 NEW BEST:: SOT 11908452 SOS 7496077 HAS SOPS 6211417 HAS SOUS 2014790 HAS SOUPS 1920845 WITH SCORE 1928341.077
AT ITER 3497 NEW BEST:: SOT 11908129 SOS 7495164 HAS SOPS 6210850 HAS SOUS 2014083 HAS SOUPS 1920348 WITH SCORE 1927843.164
AT ITER 3506 NEW BEST:: SOT 11907629 SOS 7494234 HAS SOPS 6209765 HAS SOUS 2013433 HAS SOUPS 1919708 WITH SCORE 1927202.234
AT ITER 3518 NEW BEST:: SOT 11907627 SOS 7494269 HAS SOPS 6209766 HAS SOUS 2013428 HAS SOUPS 1919703 WITH SCORE 1927197.269
AT ITER 3528 NEW BEST:: SOT 11907416 SOS 7493554 HAS SOPS 6209276 HAS SOUS 2012980 HAS SOUPS 1919294 WITH SCORE 1926787.554
AT ITER 3533 NEW BEST:: SOT 11909712 SOS 7498953 HAS SOPS 6212916 HAS SOUS 2011812 HAS SOUPS 1918126 WITH SCORE 1925624.953
AT ITER 3538 NEW BEST:: SOT 11909607 SOS 7497966 HAS SOPS 6214514 HAS SOUS 2011408 HAS SOUPS 1917722 WITH SCORE 1925219.966
AT ITER 3540 NEW BEST:: SOT 11911007 SOS 7502332 HAS SOPS 6217140 HAS SOUS 2010752 HAS SOUPS 1917066 WITH SCORE 1924568.332
AT ITER 3550 NEW BEST:: SOT 11909549 SOS 7499212 HAS SOPS 6214834 HAS SOUS 2008266 HAS SOUPS 1914580 WITH SCORE 1922079.212
AT ITER 3602 NEW BEST:: SOT 11908910 SOS 7496032 HAS SOPS 6212662 HAS SOUS 2008116 HAS SOUPS 1914430 WITH SCORE 1921926.032
AT ITER 3618 NEW BEST:: SOT 11907863 SOS 7494646 HAS SOPS 6210514 HAS SOUS 2006890 HAS SOUPS 1913296 WITH SCORE 1920790.646
AT ITER 3620 NEW BEST:: SOT 11910829 SOS 7499623 HAS SOPS 6215845 HAS SOUS 2003752 HAS SOUPS 1910158 WITH SCORE 1917657.623
AT ITER 3628 NEW BEST:: SOT 11909663 SOS 7498703 HAS SOPS 6218547 HAS SOUS 2000530 HAS SOUPS 1906936 WITH SCORE 1914434.703
AT ITER 3657 NEW BEST:: SOT 11909597 SOS 7497724 HAS SOPS 6216434 HAS SOUS 2000500 HAS SOUPS 1906906 WITH SCORE 1914403.724
AT ITER 3662 NEW BEST:: SOT 11908828 SOS 7501272 HAS SOPS 6219005 HAS SOUS 2000029 HAS SOUPS 1906348 WITH SCORE 1913849.272
AT ITER 3666 NEW BEST:: SOT 11907562 SOS 7500678 HAS SOPS 6217393 HAS SOUS 1998331 HAS SOUPS 1904554 WITH SCORE 1912054.678
AT ITER 3678 NEW BEST:: SOT 11907096 SOS 7500787 HAS SOPS 6216526 HAS SOUS 1996765 HAS SOUPS 1902988 WITH SCORE 1910488.787
AT ITER 3681 NEW BEST:: SOT 11906961 SOS 7500629 HAS SOPS 6216159 HAS SOUS 1996301 HAS SOUPS 1902532 WITH SCORE 1910032.629
AT ITER 3688 NEW BEST:: SOT 11901906 SOS 7491577 HAS SOPS 6207133 HAS SOUS 1990089 HAS SOUPS 1896320 WITH SCORE 1903811.577
AT ITER 3704 NEW BEST:: SOT 11901714 SOS 7493772 HAS SOPS 6210643 HAS SOUS 1986354 HAS SOUPS 1892585 WITH SCORE 1900078.772
AT ITER 3709 NEW BEST:: SOT 11901026 SOS 7489996 HAS SOPS 6209140 HAS SOUS 1985573 HAS SOUPS 1891824 WITH SCORE 1899313.996
AT ITER 3710 NEW BEST:: SOT 11899554 SOS 7488496 HAS SOPS 6207640 HAS SOUS 1983990 HAS SOUPS 1890241 WITH SCORE 1897729.496
AT ITER 3754 NEW BEST:: SOT 11898805 SOS 7487745 HAS SOPS 6206561 HAS SOUS 1983179 HAS SOUPS 1889430 WITH SCORE 1896917.745
AT ITER 3758 NEW BEST:: SOT 11899145 SOS 7491327 HAS SOPS 6211613 HAS SOUS 1982562 HAS SOUPS 1888813 WITH SCORE 1896304.327
AT ITER 3765 NEW BEST:: SOT 11898722 SOS 7490904 HAS SOPS 6210774 HAS SOUS 1979863 HAS SOUPS 1886114 WITH SCORE 1893604.904
AT ITER 3766 NEW BEST:: SOT 11898948 SOS 7491908 HAS SOPS 6212523 HAS SOUS 1977995 HAS SOUPS 1884246 WITH SCORE 1891737.908
AT ITER 3774 NEW BEST:: SOT 11897106 SOS 7490447 HAS SOPS 6210054 HAS SOUS 1974057 HAS SOUPS 1880273 WITH SCORE 1887763.447
AT ITER 3815 NEW BEST:: SOT 11897037 SOS 7490418 HAS SOPS 6209945 HAS SOUS 1973820 HAS SOUPS 1880036 WITH SCORE 1887526.418
AT ITER 3818 NEW BEST:: SOT 11896906 SOS 7488744 HAS SOPS 6208552 HAS SOUS 1972487 HAS SOUPS 1878703 WITH SCORE 1886191.744
AT ITER 3820 NEW BEST:: SOT 11893365 SOS 7485203 HAS SOPS 6204995 HAS SOUS 1967206 HAS SOUPS 1873422 WITH SCORE 1880907.203
AT ITER 3827 NEW BEST:: SOT 11893988 SOS 7485880 HAS SOPS 6205603 HAS SOUS 1966999 HAS SOUPS 1873215 WITH SCORE 1880700.88
AT ITER 3830 NEW BEST:: SOT 11894012 SOS 7486000 HAS SOPS 6205659 HAS SOUS 1966995 HAS SOUPS 1873211 WITH SCORE 1880697.0
AT ITER 3861 NEW BEST:: SOT 11893480 SOS 7484964 HAS SOPS 6204385 HAS SOUS 1966981 HAS SOUPS 1873183 WITH SCORE 1880667.964
AT ITER 3866 NEW BEST:: SOT 11893335 SOS 7484779 HAS SOPS 6204090 HAS SOUS 1966796 HAS SOUPS 1872998 WITH SCORE 1880482.779
AT ITER 3877 NEW BEST:: SOT 11893524 SOS 7485018 HAS SOPS 6204520 HAS SOUS 1966619 HAS SOUPS 1872884 WITH SCORE 1880369.018
AT ITER 3893 NEW BEST:: SOT 11895179 SOS 7486449 HAS SOPS 6207045 HAS SOUS 1965603 HAS SOUPS 1872796 WITH SCORE 1880282.449
AT ITER 3903 NEW BEST:: SOT 11908081 SOS 7502973 HAS SOPS 6221559 HAS SOUS 1963475 HAS SOUPS 1870592 WITH SCORE 1878094.973
AT ITER 3913 NEW BEST:: SOT 11908063 SOS 7502702 HAS SOPS 6221144 HAS SOUS 1963443 HAS SOUPS 1870560 WITH SCORE 1878062.702
AT ITER 3920 NEW BEST:: SOT 11906507 SOS 7501755 HAS SOPS 6219153 HAS SOUS 1959180 HAS SOUPS 1866258 WITH SCORE 1873759.755
AT ITER 3928 NEW BEST:: SOT 11908444 SOS 7512448 HAS SOPS 6229933 HAS SOUS 1958066 HAS SOUPS 1865241 WITH SCORE 1872753.448
AT ITER 3956 NEW BEST:: SOT 11911996 SOS 7521959 HAS SOPS 6236521 HAS SOUS 1956101 HAS SOUPS 1863262 WITH SCORE 1870783.959
AT ITER 3957 NEW BEST:: SOT 11911783 SOS 7522864 HAS SOPS 6237887 HAS SOUS 1948218 HAS SOUPS 1855349 WITH SCORE 1862871.864
AT ITER 3977 NEW BEST:: SOT 11909250 SOS 7519783 HAS SOPS 6234085 HAS SOUS 1945659 HAS SOUPS 1852790 WITH SCORE 1860309.783
AT ITER 4011 NEW BEST:: SOT 11911473 SOS 7521693 HAS SOPS 6234928 HAS SOUS 1945358 HAS SOUPS 1852521 WITH SCORE 1860042.693
AT ITER 4013 NEW BEST:: SOT 11911473 SOS 7522239 HAS SOPS 6235348 HAS SOUS 1945232 HAS SOUPS 1852395 WITH SCORE 1859917.239
AT ITER 4025 NEW BEST:: SOT 11905102 SOS 7506966 HAS SOPS 6219672 HAS SOUS 1939009 HAS SOUPS 1846168 WITH SCORE 1853674.966
AT ITER 4032 NEW BEST:: SOT 11905090 SOS 7506964 HAS SOPS 6219764 HAS SOUS 1938966 HAS SOUPS 1846125 WITH SCORE 1853631.964
AT ITER 4039 NEW BEST:: SOT 11903735 SOS 7506445 HAS SOPS 6218466 HAS SOUS 1936315 HAS SOUPS 1843474 WITH SCORE 1850980.445
AT ITER 4051 NEW BEST:: SOT 11904010 SOS 7507178 HAS SOPS 6218687 HAS SOUS 1936438 HAS SOUPS 1843341 WITH SCORE 1850848.178
AT ITER 4073 NEW BEST:: SOT 11903688 SOS 7506190 HAS SOPS 6217427 HAS SOUS 1935732 HAS SOUPS 1842635 WITH SCORE 1850141.19
AT ITER 4076 NEW BEST:: SOT 11903554 SOS 7506056 HAS SOPS 6217197 HAS SOUS 1935406 HAS SOUPS 1842309 WITH SCORE 1849815.056
AT ITER 4092 NEW BEST:: SOT 11903927 SOS 7506539 HAS SOPS 6217107 HAS SOUS 1935121 HAS SOUPS 1842024 WITH SCORE 1849530.539
AT ITER 4098 NEW BEST:: SOT 11901813 SOS 7504332 HAS SOPS 6213893 HAS SOUS 1931357 HAS SOUPS 1838260 WITH SCORE 1845764.332
AT ITER 4119 NEW BEST:: SOT 11901467 SOS 7504412 HAS SOPS 6214070 HAS SOUS 1930750 HAS SOUPS 1837653 WITH SCORE 1845157.412
AT ITER 4132 NEW BEST:: SOT 11901021 SOS 7503966 HAS SOPS 6213448 HAS SOUS 1929572 HAS SOUPS 1836475 WITH SCORE 1843978.966
AT ITER 4143 NEW BEST:: SOT 11901043 SOS 7503714 HAS SOPS 6213331 HAS SOUS 1929292 HAS SOUPS 1836195 WITH SCORE 1843698.714
AT ITER 4144 NEW BEST:: SOT 11904266 SOS 7510572 HAS SOPS 6222161 HAS SOUS 1926686 HAS SOUPS 1833643 WITH SCORE 1841153.572
AT ITER 4164 NEW BEST:: SOT 11903328 SOS 7509634 HAS SOPS 6221223 HAS SOUS 1925468 HAS SOUPS 1832425 WITH SCORE 1839934.634
AT ITER 4186 NEW BEST:: SOT 11902401 SOS 7507766 HAS SOPS 6219682 HAS SOUS 1924532 HAS SOUPS 1831506 WITH SCORE 1839013.766
AT ITER 4191 NEW BEST:: SOT 11896618 SOS 7502108 HAS SOPS 6213864 HAS SOUS 1916527 HAS SOUPS 1823435 WITH SCORE 1830937.108
AT ITER 4255 NEW BEST:: SOT 11896643 SOS 7502161 HAS SOPS 6213965 HAS SOUS 1916476 HAS SOUPS 1823388 WITH SCORE 1830890.161
AT ITER 4260 NEW BEST:: SOT 11894339 SOS 7498491 HAS SOPS 6210264 HAS SOUS 1911682 HAS SOUPS 1818594 WITH SCORE 1826092.491
AT ITER 4262 NEW BEST:: SOT 11892737 SOS 7497274 HAS SOPS 6207707 HAS SOUS 1907540 HAS SOUPS 1814452 WITH SCORE 1821949.274
AT ITER 4289 NEW BEST:: SOT 11889091 SOS 7490086 HAS SOPS 6201498 HAS SOUS 1904459 HAS SOUPS 1811480 WITH SCORE 1818970.086
AT ITER 4304 NEW BEST:: SOT 11890875 SOS 7495082 HAS SOPS 6208250 HAS SOUS 1903806 HAS SOUPS 1810827 WITH SCORE 1818322.082
AT ITER 4307 NEW BEST:: SOT 11889931 SOS 7494149 HAS SOPS 6207483 HAS SOUS 1900590 HAS SOUPS 1807630 WITH SCORE 1815124.149
AT ITER 4312 NEW BEST:: SOT 11890214 SOS 7493593 HAS SOPS 6205280 HAS SOUS 1894755 HAS SOUPS 1801795 WITH SCORE 1809288.593
AT ITER 4327 NEW BEST:: SOT 11891503 SOS 7497184 HAS SOPS 6209062 HAS SOUS 1891597 HAS SOUPS 1798737 WITH SCORE 1806234.184
AT ITER 4344 NEW BEST:: SOT 11891787 SOS 7497613 HAS SOPS 6209113 HAS SOUS 1891377 HAS SOUPS 1798510 WITH SCORE 1806007.613
AT ITER 4350 NEW BEST:: SOT 11891287 SOS 7497073 HAS SOPS 6208593 HAS SOUS 1890779 HAS SOUPS 1797925 WITH SCORE 1805422.073
AT ITER 4351 NEW BEST:: SOT 11889267 SOS 7496650 HAS SOPS 6207637 HAS SOUS 1880144 HAS SOUPS 1787290 WITH SCORE 1794786.65
AT ITER 4407 NEW BEST:: SOT 11887667 SOS 7494698 HAS SOPS 6204714 HAS SOUS 1878852 HAS SOUPS 1785964 WITH SCORE 1793458.698
AT ITER 4421 NEW BEST:: SOT 11885721 SOS 7493041 HAS SOPS 6203078 HAS SOUS 1872665 HAS SOUPS 1779816 WITH SCORE 1787309.041
AT ITER 4426 NEW BEST:: SOT 11885529 SOS 7493621 HAS SOPS 6203150 HAS SOUS 1872363 HAS SOUPS 1779514 WITH SCORE 1787007.621
AT ITER 4445 NEW BEST:: SOT 11885438 SOS 7493508 HAS SOPS 6203036 HAS SOUS 1872225 HAS SOUPS 1779377 WITH SCORE 1786870.508
AT ITER 4446 NEW BEST:: SOT 11885198 SOS 7492982 HAS SOPS 6202387 HAS SOUS 1872012 HAS SOUPS 1779164 WITH SCORE 1786656.982
AT ITER 4465 NEW BEST:: SOT 11885108 SOS 7491255 HAS SOPS 6201065 HAS SOUS 1871798 HAS SOUPS 1778950 WITH SCORE 1786441.255
AT ITER 4474 NEW BEST:: SOT 11883244 SOS 7488862 HAS SOPS 6199133 HAS SOUS 1867848 HAS SOUPS 1775140 WITH SCORE 1782628.862
AT ITER 4487 NEW BEST:: SOT 11883938 SOS 7490401 HAS SOPS 6200850 HAS SOUS 1865206 HAS SOUPS 1772516 WITH SCORE 1780006.401
AT ITER 4497 NEW BEST:: SOT 11881414 SOS 7481782 HAS SOPS 6194176 HAS SOUS 1861556 HAS SOUPS 1769016 WITH SCORE 1776497.782
AT ITER 4523 NEW BEST:: SOT 11881429 SOS 7481788 HAS SOPS 6194095 HAS SOUS 1861421 HAS SOUPS 1768881 WITH SCORE 1776362.788
AT ITER 4524 NEW BEST:: SOT 11883310 SOS 7481941 HAS SOPS 6197569 HAS SOUS 1860401 HAS SOUPS 1767861 WITH SCORE 1775342.941
AT ITER 4528 NEW BEST:: SOT 11883253 SOS 7481892 HAS SOPS 6197314 HAS SOUS 1860384 HAS SOUPS 1767844 WITH SCORE 1775325.892
AT ITER 4539 NEW BEST:: SOT 11878343 SOS 7482093 HAS SOPS 6194906 HAS SOUS 1857767 HAS SOUPS 1764871 WITH SCORE 1772353.093
AT ITER 4556 NEW BEST:: SOT 11874552 SOS 7477420 HAS SOPS 6188121 HAS SOUS 1850094 HAS SOUPS 1757198 WITH SCORE 1764675.42
AT ITER 4557 NEW BEST:: SOT 11874685 SOS 7477553 HAS SOPS 6188254 HAS SOUS 1850087 HAS SOUPS 1757191 WITH SCORE 1764668.553
AT ITER 4567 NEW BEST:: SOT 11871763 SOS 7471599 HAS SOPS 6183625 HAS SOUS 1847600 HAS SOUPS 1754804 WITH SCORE 1762275.599
AT ITER 4572 NEW BEST:: SOT 11871252 SOS 7470412 HAS SOPS 6182945 HAS SOUS 1846726 HAS SOUPS 1753930 WITH SCORE 1761400.412
AT ITER 4590 NEW BEST:: SOT 11870397 SOS 7469126 HAS SOPS 6181471 HAS SOUS 1845448 HAS SOUPS 1752652 WITH SCORE 1760121.126
AT ITER 4594 NEW BEST:: SOT 11870231 SOS 7468910 HAS SOPS 6180544 HAS SOUS 1843095 HAS SOUPS 1750299 WITH SCORE 1757767.91
AT ITER 4600 NEW BEST:: SOT 11870893 SOS 7472689 HAS SOPS 6182125 HAS SOUS 1841576 HAS SOUPS 1748780 WITH SCORE 1756252.689
AT ITER 4602 NEW BEST:: SOT 11869505 SOS 7470400 HAS SOPS 6181426 HAS SOUS 1841139 HAS SOUPS 1748372 WITH SCORE 1755842.4
AT ITER 4613 NEW BEST:: SOT 11869349 SOS 7470178 HAS SOPS 6181088 HAS SOUS 1840843 HAS SOUPS 1748082 WITH SCORE 1755552.178
AT ITER 4640 NEW BEST:: SOT 11869422 SOS 7470394 HAS SOPS 6179984 HAS SOUS 1839404 HAS SOUPS 1746620 WITH SCORE 1754090.394
AT ITER 4657 NEW BEST:: SOT 11866979 SOS 7464991 HAS SOPS 6175386 HAS SOUS 1837055 HAS SOUPS 1744271 WITH SCORE 1751735.991
AT ITER 4676 NEW BEST:: SOT 11871813 SOS 7478309 HAS SOPS 6186328 HAS SOUS 1836828 HAS SOUPS 1744044 WITH SCORE 1751522.309
AT ITER 4695 NEW BEST:: SOT 11870258 SOS 7467957 HAS SOPS 6174454 HAS SOUS 1829054 HAS SOUPS 1735996 WITH SCORE 1743463.957
AT ITER 4697 NEW BEST:: SOT 11874203 SOS 7492653 HAS SOPS 6200768 HAS SOUS 1826923 HAS SOUPS 1734061 WITH SCORE 1741553.653
AT ITER 4702 NEW BEST:: SOT 11866733 SOS 7485119 HAS SOPS 6194623 HAS SOUS 1819580 HAS SOUPS 1726718 WITH SCORE 1734203.119
AT ITER 4703 NEW BEST:: SOT 11862934 SOS 7481414 HAS SOPS 6188800 HAS SOUS 1813445 HAS SOUPS 1719456 WITH SCORE 1726937.414
AT ITER 4706 NEW BEST:: SOT 11863287 SOS 7481915 HAS SOPS 6189046 HAS SOUS 1812803 HAS SOUPS 1718814 WITH SCORE 1726295.915
AT ITER 4721 NEW BEST:: SOT 11863116 SOS 7481440 HAS SOPS 6187589 HAS SOUS 1812557 HAS SOUPS 1718568 WITH SCORE 1726049.44
AT ITER 4733 NEW BEST:: SOT 11862257 SOS 7480581 HAS SOPS 6186522 HAS SOUS 1811102 HAS SOUPS 1717113 WITH SCORE 1724593.581
AT ITER 4737 NEW BEST:: SOT 11861505 SOS 7479829 HAS SOPS 6185514 HAS SOUS 1810286 HAS SOUPS 1716105 WITH SCORE 1723584.829
AT ITER 4742 NEW BEST:: SOT 11860872 SOS 7479651 HAS SOPS 6185248 HAS SOUS 1809683 HAS SOUPS 1715502 WITH SCORE 1722981.651
AT ITER 4753 NEW BEST:: SOT 11860183 SOS 7475782 HAS SOPS 6183693 HAS SOUS 1807886 HAS SOUPS 1714276 WITH SCORE 1721751.782
AT ITER 4784 NEW BEST:: SOT 11860633 SOS 7479104 HAS SOPS 6185791 HAS SOUS 1807691 HAS SOUPS 1714081 WITH SCORE 1721560.104
AT ITER 4786 NEW BEST:: SOT 11858937 SOS 7476929 HAS SOPS 6183645 HAS SOUS 1805391 HAS SOUPS 1711781 WITH SCORE 1719257.929
AT ITER 4792 NEW BEST:: SOT 11858182 SOS 7476057 HAS SOPS 6182773 HAS SOUS 1804615 HAS SOUPS 1711005 WITH SCORE 1718481.057
AT ITER 4808 NEW BEST:: SOT 11857360 SOS 7477731 HAS SOPS 6184447 HAS SOUS 1802762 HAS SOUPS 1709152 WITH SCORE 1716629.731
AT ITER 4809 NEW BEST:: SOT 11856673 SOS 7477046 HAS SOPS 6184321 HAS SOUS 1800784 HAS SOUPS 1707621 WITH SCORE 1715098.046
AT ITER 4826 NEW BEST:: SOT 11852964 SOS 7468298 HAS SOPS 6177020 HAS SOUS 1794852 HAS SOUPS 1701752 WITH SCORE 1709220.298
AT ITER 4845 NEW BEST:: SOT 11851347 SOS 7467469 HAS SOPS 6175529 HAS SOUS 1789242 HAS SOUPS 1696189 WITH SCORE 1703656.469
AT ITER 4861 NEW BEST:: SOT 11847422 SOS 7464049 HAS SOPS 6170353 HAS SOUS 1786835 HAS SOUPS 1693706 WITH SCORE 1701170.049
AT ITER 4894 NEW BEST:: SOT 11847503 SOS 7464199 HAS SOPS 6170497 HAS SOUS 1786776 HAS SOUPS 1693647 WITH SCORE 1701111.199
AT ITER 4914 NEW BEST:: SOT 11847487 SOS 7463692 HAS SOPS 6170482 HAS SOUS 1786739 HAS SOUPS 1693610 WITH SCORE 1701073.692
AT ITER 4917 NEW BEST:: SOT 11839504 SOS 7454524 HAS SOPS 6164426 HAS SOUS 1780249 HAS SOUPS 1687238 WITH SCORE 1694692.524
AT ITER 4949 NEW BEST:: SOT 11839048 SOS 7453924 HAS SOPS 6163964 HAS SOUS 1780053 HAS SOUPS 1687048 WITH SCORE 1694501.924
AT ITER 4960 NEW BEST:: SOT 11839805 SOS 7456887 HAS SOPS 6167572 HAS SOUS 1779238 HAS SOUPS 1686233 WITH SCORE 1693689.887
AT ITER 4968 NEW BEST:: SOT 11838456 SOS 7455122 HAS SOPS 6165679 HAS SOUS 1774529 HAS SOUPS 1681524 WITH SCORE 1688979.122
AT ITER 4980 NEW BEST:: SOT 11835744 SOS 7445765 HAS SOPS 6160615 HAS SOUS 1773575 HAS SOUPS 1680665 WITH SCORE 1688110.765
AT ITER 4985 NEW BEST:: SOT 11834871 SOS 7444888 HAS SOPS 6159626 HAS SOUS 1772514 HAS SOUPS 1679604 WITH SCORE 1687048.888
AT ITER 4997 NEW BEST:: SOT 11834157 SOS 7444060 HAS SOPS 6158267 HAS SOUS 1772225 HAS SOUPS 1679295 WITH SCORE 1686739.06
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-4-CTLFireability-00 ( ( ( ( ((potential((tk(P30)>=1) & (tk(P537)>=1)))) | ( ((potential((tk(P78)>=1) & (tk(P100)>=1)))) | ( ((potential((tk(P541)>=1) & (tk(P358)>=1)))) | ((potential((tk(P263)>=1) & (tk(P101)>=1)))) ) ) ) | ( (! ((potential((tk(P262)>=1) & (tk(P486)>=1))))) | ( (! ((potential((tk(P89)>=1) & (tk(P614)>=1))))) & ( ((potential((tk(P50)>=1) & (tk(P302)>=1)))) | ((potential((tk(P335)>=1) & (tk(P340)>=1)))) ) ) ) ) & ( (AF( ( ((potential((tk(P349)>=1) & (tk(P575)>=1)))) | ((potential((tk(P308)>=1) & (tk(P260)>=1)))) ))) & ( ( (! ((potential((tk(P596)>=1) & (tk(P187)>=1))))) & ((potential((tk(P526)>=1) & (tk(P467)>=1)))) ) | ( ( ((potential((tk(P404)>=1) & (tk(P185)>=1)))) | ((potential((tk(P479)>=1) & (tk(P247)>=1)))) ) | ((potential((tk(P176)>=1) & (tk(P276)>=1)))) ) ) ) ) | ( ( ( ( (! ((potential((tk(P437)>=1) & (tk(P599)>=1))))) & (! ((potential((tk(P20)>=1) & (tk(P433)>=1))))) ) | ((potential((tk(P527)>=1) & (tk(P544)>=1)))) ) | ( ( ( ((potential((tk(P491)>=1) & (tk(P186)>=1)))) & ((potential((tk(P118)>=1) & (tk(P49)>=1)))) ) & ( ((potential((tk(P48)>=1) & (tk(P124)>=1)))) & ((potential((tk(P109)>=1) & (tk(P132)>=1)))) ) ) | (! ((potential((tk(P7)>=1) & (tk(P421)>=1))))) ) ) & (EF( ( ((potential((tk(P434)>=1) & (tk(P72)>=1)))) & ( ((potential((tk(P567)>=1) & (tk(P605)>=1)))) & ((potential((tk(P453)>=1) & (tk(P587)>=1)))) ) ))) ) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-01 (EU( (! ( ( ((potential((tk(P111)>=1) & (tk(P243)>=1)))) | ((potential((tk(P482)>=1) & (tk(P518)>=1)))) ) & ((potential((tk(P182)>=1) & (tk(P581)>=1)))) )) , ( (! ( ((potential((tk(P273)>=1) & (tk(P356)>=1)))) | ((potential((tk(P27)>=1) & (tk(P547)>=1)))) )) & (! (! ((potential((tk(P389)>=1) & (tk(P197)>=1)))))) ) ))
PROPERTY: RERS17pb113-PT-4-CTLFireability-02 (EU( ( (! ( ((potential((tk(P544)>=1) & (tk(P124)>=1)))) | ((potential((tk(P241)>=1) & (tk(P562)>=1)))) )) | (AX( ((potential((tk(P533)>=1) & (tk(P316)>=1)))))) ) , (EG( (! ((potential((tk(P331)>=1) & (tk(P300)>=1))))))) ))
PROPERTY: RERS17pb113-PT-4-CTLFireability-03 ( ( (! ( (AF( ((potential((tk(P428)>=1) & (tk(P629)>=1)))))) & (! ( ((potential((tk(P58)>=1) & (tk(P299)>=1)))) | ((potential((tk(P14)>=1) & (tk(P246)>=1)))) )) )) | ( (! (EF( ((potential((tk(P213)>=1) & (tk(P266)>=1))))))) | (! (AF( ((potential((tk(P343)>=1) & (tk(P125)>=1))))))) ) ) & (AF( (AX( ( ((potential((tk(P124)>=1) & (tk(P231)>=1)))) | ((potential((tk(P212)>=1) & (tk(P382)>=1)))) ))))) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-04 ( (AG( (AU( ((potential((tk(P397)>=1) & (tk(P144)>=1)))) , ((potential((tk(P199)>=1) & (tk(P144)>=1)))) )))) | (EF( ((potential((tk(P292)>=1) & (tk(P17)>=1)))))) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-05 (AF( (EF( (EG( ((potential((tk(P299)>=1) & (tk(P102)>=1))))))))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-06 (AF( ((potential((tk(P362)>=1) & (tk(P599)>=1))))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-07 (EU( (AF( ((potential((tk(P287)>=1) & (tk(P580)>=1)))))) , ( (AX( ((potential((tk(P187)>=1) & (tk(P89)>=1)))))) | ((potential((tk(P35)>=1) & (tk(P158)>=1)))) ) ))
PROPERTY: RERS17pb113-PT-4-CTLFireability-08 ( (EX( (AF( ((potential((tk(P277)>=1) & (tk(P114)>=1)))))))) & ( ( (! (AF( ((potential((tk(P171)>=1) & (tk(P267)>=1))))))) | ( (! (! ((potential((tk(P201)>=1) & (tk(P1)>=1)))))) | ( ((potential((tk(P485)>=1) & (tk(P178)>=1)))) & ( ((potential((tk(P229)>=1) & (tk(P526)>=1)))) | ((potential((tk(P86)>=1) & (tk(P433)>=1)))) ) ) ) ) & (! ( ( ( ((potential((tk(P170)>=1) & (tk(P390)>=1)))) & ((potential((tk(P200)>=1) & (tk(P448)>=1)))) ) & ( ((potential((tk(P452)>=1) & (tk(P454)>=1)))) | ((potential((tk(P527)>=1) & (tk(P444)>=1)))) ) ) & ((potential((tk(P563)>=1) & (tk(P339)>=1)))) )) ) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-09 (! (AG( ( (! ( ((potential((tk(P251)>=1) & (tk(P374)>=1)))) | ((potential((tk(P484)>=1) & (tk(P256)>=1)))) )) | ((potential((tk(P344)>=1) & (tk(P601)>=1)))) ))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-10 ( (EG( ( (EX( ((potential((tk(P493)>=1) & (tk(P182)>=1)))))) & (! (! ((potential((tk(P20)>=1) & (tk(P374)>=1)))))) ))) | (EU( ((potential((tk(P373)>=1) & (tk(P510)>=1)))) , (AF( ((potential((tk(P320)>=1) & (tk(P468)>=1)))))) )) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-11 (AG( (AG( (AF( ((potential((tk(P354)>=1) & (tk(P311)>=1))))))))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-12 ( ( (AU( ((potential((tk(P314)>=1) & (tk(P568)>=1)))) , ( ((potential((tk(P421)>=1) & (tk(P600)>=1)))) | ((potential((tk(P385)>=1) & (tk(P6)>=1)))) ) )) & ((potential((tk(P427)>=1) & (tk(P593)>=1)))) ) | (EF( (EG( (! ((potential((tk(P412)>=1) & (tk(P44)>=1))))))))) )
PROPERTY: RERS17pb113-PT-4-CTLFireability-13 (AG( (AF( ((potential((tk(P8)>=1) & (tk(P150)>=1))))))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-14 (AF( (EX( (EX( ((potential((tk(P392)>=1) & (tk(P409)>=1))))))))))
PROPERTY: RERS17pb113-PT-4-CTLFireability-15 ( ((potential((tk(P80)>=1) & (tk(P182)>=1)))) | (EF( (AG( (! ((potential((tk(P28)>=1) & (tk(P419)>=1))))))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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