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

--------------------
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 23K Apr 12 07:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 08:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 9 20:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22: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-3-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-3-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589656850108

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 3
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 2 NEW BEST:: SOT 12197248 SOS 7748942 HAS SOPS 6417730 HAS SOUS 3044013 HAS SOUPS 2943523 WITH SCORE 2951271.942
AT ITER 12 NEW BEST:: SOT 12198569 SOS 7756039 HAS SOPS 6423346 HAS SOUS 3043049 HAS SOUPS 2942559 WITH SCORE 2950315.039
AT ITER 18 NEW BEST:: SOT 12197350 SOS 7754912 HAS SOPS 6420692 HAS SOUS 3039275 HAS SOUPS 2938745 WITH SCORE 2946499.912
AT ITER 19 NEW BEST:: SOT 12196813 SOS 7754353 HAS SOPS 6419803 HAS SOUS 3038434 HAS SOUPS 2937664 WITH SCORE 2945418.353
AT ITER 23 NEW BEST:: SOT 12196924 SOS 7755542 HAS SOPS 6422717 HAS SOUS 3032980 HAS SOUPS 2932455 WITH SCORE 2940210.542
AT ITER 25 NEW BEST:: SOT 12196360 SOS 7754624 HAS SOPS 6421436 HAS SOUS 3031762 HAS SOUPS 2931237 WITH SCORE 2938991.624
AT ITER 26 NEW BEST:: SOT 12192061 SOS 7749456 HAS SOPS 6415652 HAS SOUS 3027613 HAS SOUPS 2926910 WITH SCORE 2934659.456
AT ITER 32 NEW BEST:: SOT 12195644 SOS 7757322 HAS SOPS 6430157 HAS SOUS 3025161 HAS SOUPS 2924458 WITH SCORE 2932215.322
AT ITER 44 NEW BEST:: SOT 12186606 SOS 7745699 HAS SOPS 6417569 HAS SOUS 3007724 HAS SOUPS 2907021 WITH SCORE 2914766.699
AT ITER 48 NEW BEST:: SOT 12186881 SOS 7745910 HAS SOPS 6418325 HAS SOUS 3005739 HAS SOUPS 2905992 WITH SCORE 2913737.91
AT ITER 65 NEW BEST:: SOT 12183655 SOS 7742684 HAS SOPS 6415099 HAS SOUS 3002365 HAS SOUPS 2902618 WITH SCORE 2910360.684
AT ITER 84 NEW BEST:: SOT 12185010 SOS 7752070 HAS SOPS 6430131 HAS SOUS 2994460 HAS SOUPS 2894713 WITH SCORE 2902465.07
AT ITER 85 NEW BEST:: SOT 12175890 SOS 7742914 HAS SOPS 6420435 HAS SOUS 2983365 HAS SOUPS 2883513 WITH SCORE 2891255.914
AT ITER 86 NEW BEST:: SOT 12176276 SOS 7743295 HAS SOPS 6420566 HAS SOUS 2982658 HAS SOUPS 2882806 WITH SCORE 2890549.295
AT ITER 88 NEW BEST:: SOT 12175791 SOS 7743962 HAS SOPS 6422789 HAS SOUS 2981551 HAS SOUPS 2881732 WITH SCORE 2889475.962
AT ITER 94 NEW BEST:: SOT 12174523 SOS 7744994 HAS SOPS 6422439 HAS SOUS 2977408 HAS SOUPS 2877587 WITH SCORE 2885331.994
AT ITER 95 NEW BEST:: SOT 12173631 SOS 7741226 HAS SOPS 6419580 HAS SOUS 2976611 HAS SOUPS 2876790 WITH SCORE 2884531.226
AT ITER 124 NEW BEST:: SOT 12175787 SOS 7743328 HAS SOPS 6420728 HAS SOUS 2975711 HAS SOUPS 2875506 WITH SCORE 2883249.328
AT ITER 129 NEW BEST:: SOT 12175929 SOS 7744224 HAS SOPS 6421757 HAS SOUS 2975648 HAS SOUPS 2875443 WITH SCORE 2883187.224
AT ITER 133 NEW BEST:: SOT 12175062 SOS 7743201 HAS SOPS 6419784 HAS SOUS 2972877 HAS SOUPS 2872672 WITH SCORE 2880415.201
AT ITER 135 NEW BEST:: SOT 12175590 SOS 7743645 HAS SOPS 6420114 HAS SOUS 2972301 HAS SOUPS 2872096 WITH SCORE 2879839.645
AT ITER 139 NEW BEST:: SOT 12175185 SOS 7743462 HAS SOPS 6420084 HAS SOUS 2972059 HAS SOUPS 2871854 WITH SCORE 2879597.462
AT ITER 147 NEW BEST:: SOT 12174764 SOS 7742892 HAS SOPS 6419204 HAS SOUS 2968993 HAS SOUPS 2868870 WITH SCORE 2876612.892
AT ITER 150 NEW BEST:: SOT 12175839 SOS 7744431 HAS SOPS 6420243 HAS SOUS 2968966 HAS SOUPS 2868843 WITH SCORE 2876587.431
AT ITER 153 NEW BEST:: SOT 12171211 SOS 7737665 HAS SOPS 6418203 HAS SOUS 2952110 HAS SOUPS 2852597 WITH SCORE 2860334.665
AT ITER 171 NEW BEST:: SOT 12171115 SOS 7737569 HAS SOPS 6418107 HAS SOUS 2951722 HAS SOUPS 2852209 WITH SCORE 2859946.569
AT ITER 190 NEW BEST:: SOT 12171768 SOS 7738210 HAS SOPS 6418568 HAS SOUS 2950971 HAS SOUPS 2851458 WITH SCORE 2859196.21
AT ITER 202 NEW BEST:: SOT 12172033 SOS 7739408 HAS SOPS 6417971 HAS SOUS 2949960 HAS SOUPS 2850447 WITH SCORE 2858186.408
AT ITER 207 NEW BEST:: SOT 12170842 SOS 7737543 HAS SOPS 6415955 HAS SOUS 2947715 HAS SOUPS 2848218 WITH SCORE 2855955.543
AT ITER 212 NEW BEST:: SOT 12171072 SOS 7743992 HAS SOPS 6420900 HAS SOUS 2943019 HAS SOUPS 2843522 WITH SCORE 2851265.992
AT ITER 230 NEW BEST:: SOT 12169065 SOS 7741975 HAS SOPS 6419219 HAS SOUS 2937411 HAS SOUPS 2838052 WITH SCORE 2845793.975
AT ITER 241 NEW BEST:: SOT 12160072 SOS 7717002 HAS SOPS 6397665 HAS SOUS 2932075 HAS SOUPS 2832718 WITH SCORE 2840435.002
AT ITER 255 NEW BEST:: SOT 12159484 SOS 7716505 HAS SOPS 6396805 HAS SOUS 2929871 HAS SOUPS 2830741 WITH SCORE 2838457.505
AT ITER 258 NEW BEST:: SOT 12158675 SOS 7714860 HAS SOPS 6395098 HAS SOUS 2925392 HAS SOUPS 2826686 WITH SCORE 2834400.86
AT ITER 260 NEW BEST:: SOT 12154881 SOS 7707178 HAS SOPS 6387949 HAS SOUS 2920011 HAS SOUPS 2821305 WITH SCORE 2829012.178
AT ITER 261 NEW BEST:: SOT 12155004 SOS 7708747 HAS SOPS 6389471 HAS SOUS 2919430 HAS SOUPS 2820724 WITH SCORE 2828432.747
AT ITER 269 NEW BEST:: SOT 12157423 SOS 7711416 HAS SOPS 6395759 HAS SOUS 2918549 HAS SOUPS 2820242 WITH SCORE 2827953.416
AT ITER 282 NEW BEST:: SOT 12157288 SOS 7714087 HAS SOPS 6395717 HAS SOUS 2916290 HAS SOUPS 2817983 WITH SCORE 2825697.087
AT ITER 286 NEW BEST:: SOT 12154963 SOS 7708236 HAS SOPS 6395878 HAS SOUS 2907069 HAS SOUPS 2809707 WITH SCORE 2817415.236
AT ITER 291 NEW BEST:: SOT 12154643 SOS 7708996 HAS SOPS 6395833 HAS SOUS 2905629 HAS SOUPS 2808235 WITH SCORE 2815943.996
AT ITER 292 NEW BEST:: SOT 12154653 SOS 7709048 HAS SOPS 6395879 HAS SOUS 2905627 HAS SOUPS 2808233 WITH SCORE 2815942.048
AT ITER 296 NEW BEST:: SOT 12153194 SOS 7707621 HAS SOPS 6394420 HAS SOUS 2904200 HAS SOUPS 2806774 WITH SCORE 2814481.621
AT ITER 297 NEW BEST:: SOT 12153395 SOS 7709518 HAS SOPS 6395323 HAS SOUS 2901835 HAS SOUPS 2804316 WITH SCORE 2812025.518
AT ITER 301 NEW BEST:: SOT 12146328 SOS 7700731 HAS SOPS 6388010 HAS SOUS 2897031 HAS SOUPS 2799651 WITH SCORE 2807351.731
AT ITER 309 NEW BEST:: SOT 12147187 SOS 7700814 HAS SOPS 6390201 HAS SOUS 2896001 HAS SOUPS 2798621 WITH SCORE 2806321.814
AT ITER 323 NEW BEST:: SOT 12146789 SOS 7698030 HAS SOPS 6393573 HAS SOUS 2895784 HAS SOUPS 2798404 WITH SCORE 2806102.03
AT ITER 336 NEW BEST:: SOT 12144456 SOS 7692489 HAS SOPS 6388166 HAS SOUS 2892434 HAS SOUPS 2795054 WITH SCORE 2802746.489
AT ITER 337 NEW BEST:: SOT 12144254 SOS 7692215 HAS SOPS 6387932 HAS SOUS 2892316 HAS SOUPS 2794946 WITH SCORE 2802638.215
AT ITER 346 NEW BEST:: SOT 12141814 SOS 7688303 HAS SOPS 6383217 HAS SOUS 2885039 HAS SOUPS 2787778 WITH SCORE 2795466.303
AT ITER 376 NEW BEST:: SOT 12142715 SOS 7689812 HAS SOPS 6385350 HAS SOUS 2884542 HAS SOUPS 2787281 WITH SCORE 2794970.812
AT ITER 381 NEW BEST:: SOT 12141581 SOS 7688656 HAS SOPS 6383864 HAS SOUS 2882532 HAS SOUPS 2785271 WITH SCORE 2792959.656
AT ITER 395 NEW BEST:: SOT 12139187 SOS 7683538 HAS SOPS 6381048 HAS SOUS 2882411 HAS SOUPS 2785150 WITH SCORE 2792833.538
AT ITER 399 NEW BEST:: SOT 12134391 SOS 7673010 HAS SOPS 6371284 HAS SOUS 2871336 HAS SOUPS 2775100 WITH SCORE 2782773.01
AT ITER 409 NEW BEST:: SOT 12134190 SOS 7673083 HAS SOPS 6371576 HAS SOUS 2870780 HAS SOUPS 2774544 WITH SCORE 2782217.083
AT ITER 412 NEW BEST:: SOT 12134184 SOS 7673041 HAS SOPS 6371504 HAS SOUS 2870720 HAS SOUPS 2774478 WITH SCORE 2782151.041
AT ITER 415 NEW BEST:: SOT 12124637 SOS 7663389 HAS SOPS 6361852 HAS SOUS 2860771 HAS SOUPS 2764557 WITH SCORE 2772220.389
AT ITER 417 NEW BEST:: SOT 12120236 SOS 7658988 HAS SOPS 6357451 HAS SOUS 2856370 HAS SOUPS 2760156 WITH SCORE 2767814.988
AT ITER 423 NEW BEST:: SOT 12119504 SOS 7658225 HAS SOPS 6356223 HAS SOUS 2853882 HAS SOUPS 2757668 WITH SCORE 2765326.225
AT ITER 435 NEW BEST:: SOT 12119427 SOS 7658252 HAS SOPS 6356118 HAS SOUS 2853653 HAS SOUPS 2757436 WITH SCORE 2765094.252
AT ITER 437 NEW BEST:: SOT 12119427 SOS 7658158 HAS SOPS 6356024 HAS SOUS 2853620 HAS SOUPS 2757403 WITH SCORE 2765061.158
AT ITER 442 NEW BEST:: SOT 12117497 SOS 7652923 HAS SOPS 6355973 HAS SOUS 2852868 HAS SOUPS 2756651 WITH SCORE 2764303.923
AT ITER 445 NEW BEST:: SOT 12123878 SOS 7671417 HAS SOPS 6371097 HAS SOUS 2844839 HAS SOUPS 2748622 WITH SCORE 2756293.417
AT ITER 456 NEW BEST:: SOT 12118441 SOS 7662521 HAS SOPS 6362633 HAS SOUS 2838915 HAS SOUPS 2742700 WITH SCORE 2750362.521
AT ITER 459 NEW BEST:: SOT 12118566 SOS 7663029 HAS SOPS 6362879 HAS SOUS 2838340 HAS SOUPS 2742106 WITH SCORE 2749769.029
AT ITER 462 NEW BEST:: SOT 12118323 SOS 7662843 HAS SOPS 6361368 HAS SOUS 2836959 HAS SOUPS 2740725 WITH SCORE 2748387.843
AT ITER 465 NEW BEST:: SOT 12118906 SOS 7660551 HAS SOPS 6360219 HAS SOUS 2835229 HAS SOUPS 2738995 WITH SCORE 2746655.551
AT ITER 467 NEW BEST:: SOT 12118700 SOS 7659963 HAS SOPS 6359316 HAS SOUS 2834734 HAS SOUPS 2738500 WITH SCORE 2746159.963
AT ITER 491 NEW BEST:: SOT 12118214 SOS 7659243 HAS SOPS 6358273 HAS SOUS 2833602 HAS SOUPS 2737368 WITH SCORE 2745027.243
AT ITER 498 NEW BEST:: SOT 12120771 SOS 7664240 HAS SOPS 6366891 HAS SOUS 2829702 HAS SOUPS 2733460 WITH SCORE 2741124.24
AT ITER 512 NEW BEST:: SOT 12120550 SOS 7664026 HAS SOPS 6366679 HAS SOUS 2829059 HAS SOUPS 2732817 WITH SCORE 2740481.026
AT ITER 532 NEW BEST:: SOT 12120631 SOS 7667019 HAS SOPS 6370383 HAS SOUS 2825390 HAS SOUPS 2729148 WITH SCORE 2736815.019
AT ITER 538 NEW BEST:: SOT 12122051 SOS 7667785 HAS SOPS 6371885 HAS SOUS 2823445 HAS SOUPS 2727146 WITH SCORE 2734813.785
AT ITER 547 NEW BEST:: SOT 12119945 SOS 7666821 HAS SOPS 6369523 HAS SOUS 2821360 HAS SOUPS 2724784 WITH SCORE 2732450.821
AT ITER 558 NEW BEST:: SOT 12118922 SOS 7668129 HAS SOPS 6368372 HAS SOUS 2816018 HAS SOUPS 2719383 WITH SCORE 2727051.129
AT ITER 565 NEW BEST:: SOT 12119529 SOS 7672654 HAS SOPS 6372871 HAS SOUS 2814387 HAS SOUPS 2717752 WITH SCORE 2725424.654
AT ITER 566 NEW BEST:: SOT 12116140 SOS 7669070 HAS SOPS 6368604 HAS SOUS 2810730 HAS SOUPS 2714108 WITH SCORE 2721777.07
AT ITER 568 NEW BEST:: SOT 12113555 SOS 7665396 HAS SOPS 6365288 HAS SOUS 2804757 HAS SOUPS 2708135 WITH SCORE 2715800.396
AT ITER 576 NEW BEST:: SOT 12113280 SOS 7665168 HAS SOPS 6365066 HAS SOUS 2803845 HAS SOUPS 2707223 WITH SCORE 2714888.168
AT ITER 587 NEW BEST:: SOT 12110660 SOS 7658846 HAS SOPS 6361359 HAS SOUS 2802507 HAS SOUPS 2705885 WITH SCORE 2713543.846
AT ITER 617 NEW BEST:: SOT 12110953 SOS 7657557 HAS SOPS 6360775 HAS SOUS 2799215 HAS SOUPS 2702593 WITH SCORE 2710250.557
AT ITER 629 NEW BEST:: SOT 12109808 SOS 7655625 HAS SOPS 6358984 HAS SOUS 2797399 HAS SOUPS 2700777 WITH SCORE 2708432.625
AT ITER 630 NEW BEST:: SOT 12109709 SOS 7655410 HAS SOPS 6358809 HAS SOUS 2797239 HAS SOUPS 2700617 WITH SCORE 2708272.41
AT ITER 631 NEW BEST:: SOT 12111814 SOS 7662660 HAS SOPS 6366062 HAS SOUS 2792983 HAS SOUPS 2696236 WITH SCORE 2703898.66
AT ITER 634 NEW BEST:: SOT 12111924 SOS 7662683 HAS SOPS 6364655 HAS SOUS 2789832 HAS SOUPS 2691811 WITH SCORE 2699473.683
AT ITER 664 NEW BEST:: SOT 12111447 SOS 7662206 HAS SOPS 6364070 HAS SOUS 2788743 HAS SOUPS 2690758 WITH SCORE 2698420.206
AT ITER 671 NEW BEST:: SOT 12111713 SOS 7666582 HAS SOPS 6364256 HAS SOUS 2781036 HAS SOUPS 2682925 WITH SCORE 2690591.582
AT ITER 685 NEW BEST:: SOT 12112227 SOS 7665254 HAS SOPS 6364984 HAS SOUS 2780714 HAS SOUPS 2682603 WITH SCORE 2690268.254
AT ITER 687 NEW BEST:: SOT 12112011 SOS 7665038 HAS SOPS 6364192 HAS SOUS 2780498 HAS SOUPS 2682387 WITH SCORE 2690052.038
AT ITER 696 NEW BEST:: SOT 12112159 SOS 7665401 HAS SOPS 6367030 HAS SOUS 2780409 HAS SOUPS 2682298 WITH SCORE 2689963.401
AT ITER 697 NEW BEST:: SOT 12112147 SOS 7665460 HAS SOPS 6366988 HAS SOUS 2780227 HAS SOUPS 2682116 WITH SCORE 2689781.46
AT ITER 717 NEW BEST:: SOT 12112280 SOS 7665593 HAS SOPS 6365857 HAS SOUS 2780880 HAS SOUPS 2681737 WITH SCORE 2689402.593
AT ITER 719 NEW BEST:: SOT 12112219 SOS 7665532 HAS SOPS 6365732 HAS SOUS 2780499 HAS SOUPS 2681356 WITH SCORE 2689021.532
AT ITER 741 NEW BEST:: SOT 12112027 SOS 7665344 HAS SOPS 6365388 HAS SOUS 2780071 HAS SOUPS 2680928 WITH SCORE 2688593.344
AT ITER 758 NEW BEST:: SOT 12112047 SOS 7665540 HAS SOPS 6365902 HAS SOUS 2779824 HAS SOUPS 2680681 WITH SCORE 2688346.54
AT ITER 759 NEW BEST:: SOT 12113933 SOS 7669275 HAS SOPS 6370127 HAS SOUS 2778211 HAS SOUPS 2679229 WITH SCORE 2686898.275
AT ITER 760 NEW BEST:: SOT 12116176 SOS 7675405 HAS SOPS 6376683 HAS SOUS 2775170 HAS SOUPS 2676188 WITH SCORE 2683863.405
AT ITER 762 NEW BEST:: SOT 12113760 SOS 7673023 HAS SOPS 6374827 HAS SOUS 2773572 HAS SOUPS 2675116 WITH SCORE 2682789.023
AT ITER 784 NEW BEST:: SOT 12125219 SOS 7695327 HAS SOPS 6397245 HAS SOUS 2767078 HAS SOUPS 2668552 WITH SCORE 2676247.327
AT ITER 785 NEW BEST:: SOT 12125191 SOS 7695152 HAS SOPS 6397007 HAS SOUS 2767024 HAS SOUPS 2668498 WITH SCORE 2676193.152
AT ITER 786 NEW BEST:: SOT 12127359 SOS 7700486 HAS SOPS 6394638 HAS SOUS 2766218 HAS SOUPS 2667692 WITH SCORE 2675392.486
AT ITER 793 NEW BEST:: SOT 12128137 SOS 7704090 HAS SOPS 6398637 HAS SOUS 2764458 HAS SOUPS 2665980 WITH SCORE 2673684.09
AT ITER 799 NEW BEST:: SOT 12128179 SOS 7704132 HAS SOPS 6398679 HAS SOUS 2764304 HAS SOUPS 2665826 WITH SCORE 2673530.132
AT ITER 801 NEW BEST:: SOT 12127979 SOS 7702963 HAS SOPS 6398318 HAS SOUS 2762542 HAS SOUPS 2664064 WITH SCORE 2671766.963
AT ITER 815 NEW BEST:: SOT 12127628 SOS 7703147 HAS SOPS 6398266 HAS SOUS 2761341 HAS SOUPS 2662863 WITH SCORE 2670566.147
AT ITER 818 NEW BEST:: SOT 12127479 SOS 7704885 HAS SOPS 6400526 HAS SOUS 2760119 HAS SOUPS 2661604 WITH SCORE 2669308.885
AT ITER 830 NEW BEST:: SOT 12125111 SOS 7702508 HAS SOPS 6398154 HAS SOUS 2757777 HAS SOUPS 2659267 WITH SCORE 2666969.508
AT ITER 837 NEW BEST:: SOT 12124781 SOS 7702515 HAS SOPS 6397487 HAS SOUS 2756855 HAS SOUPS 2658057 WITH SCORE 2665759.515
AT ITER 843 NEW BEST:: SOT 12124726 SOS 7702350 HAS SOPS 6397388 HAS SOUS 2756787 HAS SOUPS 2658000 WITH SCORE 2665702.35
AT ITER 851 NEW BEST:: SOT 12124095 SOS 7701966 HAS SOPS 6396419 HAS SOUS 2756459 HAS SOUPS 2657430 WITH SCORE 2665131.966
AT ITER 855 NEW BEST:: SOT 12123352 SOS 7701015 HAS SOPS 6394638 HAS SOUS 2753469 HAS SOUPS 2654440 WITH SCORE 2662141.015
AT ITER 857 NEW BEST:: SOT 12122317 SOS 7701193 HAS SOPS 6393075 HAS SOUS 2746750 HAS SOUPS 2647721 WITH SCORE 2655422.193
AT ITER 858 NEW BEST:: SOT 12091190 SOS 7642628 HAS SOPS 6358301 HAS SOUS 2724336 HAS SOUPS 2625564 WITH SCORE 2633206.628
AT ITER 861 NEW BEST:: SOT 12088526 SOS 7639252 HAS SOPS 6352578 HAS SOUS 2716356 HAS SOUPS 2617861 WITH SCORE 2625500.252
AT ITER 862 NEW BEST:: SOT 12088276 SOS 7638992 HAS SOPS 6352168 HAS SOUS 2715626 HAS SOUPS 2617131 WITH SCORE 2624769.992
AT ITER 865 NEW BEST:: SOT 12087892 SOS 7638366 HAS SOPS 6351349 HAS SOUS 2714316 HAS SOUPS 2615821 WITH SCORE 2623459.366
AT ITER 871 NEW BEST:: SOT 12077152 SOS 7619704 HAS SOPS 6336253 HAS SOUS 2710056 HAS SOUPS 2611631 WITH SCORE 2619250.704
AT ITER 872 NEW BEST:: SOT 12078880 SOS 7621728 HAS SOPS 6336193 HAS SOUS 2709508 HAS SOUPS 2611087 WITH SCORE 2618708.728
AT ITER 880 NEW BEST:: SOT 12074642 SOS 7600333 HAS SOPS 6317514 HAS SOUS 2706430 HAS SOUPS 2608027 WITH SCORE 2615627.333
AT ITER 884 NEW BEST:: SOT 12073766 SOS 7599441 HAS SOPS 6316382 HAS SOUS 2704926 HAS SOUPS 2606523 WITH SCORE 2614122.441
AT ITER 903 NEW BEST:: SOT 12072464 SOS 7598965 HAS SOPS 6314105 HAS SOUS 2703976 HAS SOUPS 2605573 WITH SCORE 2613171.965
AT ITER 910 NEW BEST:: SOT 12072030 SOS 7598651 HAS SOPS 6313995 HAS SOUS 2702378 HAS SOUPS 2603975 WITH SCORE 2611573.651
AT ITER 919 NEW BEST:: SOT 12071084 SOS 7596911 HAS SOPS 6312236 HAS SOUS 2701383 HAS SOUPS 2602980 WITH SCORE 2610576.911
AT ITER 935 NEW BEST:: SOT 12066525 SOS 7587004 HAS SOPS 6304951 HAS SOUS 2694724 HAS SOUPS 2596321 WITH SCORE 2603908.004
AT ITER 939 NEW BEST:: SOT 12066939 SOS 7588921 HAS SOPS 6306251 HAS SOUS 2694689 HAS SOUPS 2596286 WITH SCORE 2603874.921
AT ITER 940 NEW BEST:: SOT 12066929 SOS 7591900 HAS SOPS 6307821 HAS SOUS 2692890 HAS SOUPS 2594487 WITH SCORE 2602078.9
AT ITER 941 NEW BEST:: SOT 12063571 SOS 7583619 HAS SOPS 6302344 HAS SOUS 2689658 HAS SOUPS 2591620 WITH SCORE 2599203.619
AT ITER 948 NEW BEST:: SOT 12062425 SOS 7582962 HAS SOPS 6301212 HAS SOUS 2688826 HAS SOUPS 2589742 WITH SCORE 2597324.962
AT ITER 963 NEW BEST:: SOT 12061273 SOS 7585731 HAS SOPS 6300730 HAS SOUS 2681821 HAS SOUPS 2582427 WITH SCORE 2590012.731
AT ITER 995 NEW BEST:: SOT 12051408 SOS 7573206 HAS SOPS 6287697 HAS SOUS 2669122 HAS SOUPS 2569866 WITH SCORE 2577439.206
AT ITER 1019 NEW BEST:: SOT 12050957 SOS 7573228 HAS SOPS 6292189 HAS SOUS 2664066 HAS SOUPS 2564926 WITH SCORE 2572499.228
AT ITER 1024 NEW BEST:: SOT 12044949 SOS 7557232 HAS SOPS 6278774 HAS SOUS 2660257 HAS SOUPS 2561212 WITH SCORE 2568769.232
AT ITER 1039 NEW BEST:: SOT 12044043 SOS 7556296 HAS SOPS 6277388 HAS SOUS 2657423 HAS SOUPS 2558378 WITH SCORE 2565934.296
AT ITER 1055 NEW BEST:: SOT 12053481 SOS 7564551 HAS SOPS 6295607 HAS SOUS 2651725 HAS SOUPS 2553185 WITH SCORE 2560749.551
AT ITER 1058 NEW BEST:: SOT 12055894 SOS 7567873 HAS SOPS 6299403 HAS SOUS 2650786 HAS SOUPS 2552386 WITH SCORE 2559953.873
AT ITER 1062 NEW BEST:: SOT 12053747 SOS 7561589 HAS SOPS 6293227 HAS SOUS 2649031 HAS SOUPS 2550824 WITH SCORE 2558385.589
AT ITER 1082 NEW BEST:: SOT 12050051 SOS 7558100 HAS SOPS 6290959 HAS SOUS 2646283 HAS SOUPS 2548076 WITH SCORE 2555634.1
AT ITER 1092 NEW BEST:: SOT 12049815 SOS 7558184 HAS SOPS 6290450 HAS SOUS 2644134 HAS SOUPS 2545636 WITH SCORE 2553194.184
AT ITER 1109 NEW BEST:: SOT 12052886 SOS 7569943 HAS SOPS 6310722 HAS SOUS 2643666 HAS SOUPS 2545168 WITH SCORE 2552737.943
AT ITER 1110 NEW BEST:: SOT 12052255 SOS 7567120 HAS SOPS 6308594 HAS SOUS 2643158 HAS SOUPS 2544660 WITH SCORE 2552227.12
AT ITER 1111 NEW BEST:: SOT 12051481 SOS 7566487 HAS SOPS 6308238 HAS SOUS 2642105 HAS SOUPS 2543607 WITH SCORE 2551173.487
AT ITER 1112 NEW BEST:: SOT 12049382 SOS 7564539 HAS SOPS 6311454 HAS SOUS 2640912 HAS SOUPS 2542414 WITH SCORE 2549978.539
AT ITER 1125 NEW BEST:: SOT 12040935 SOS 7560725 HAS SOPS 6298884 HAS SOUS 2615905 HAS SOUPS 2517276 WITH SCORE 2524836.725
AT ITER 1148 NEW BEST:: SOT 12040625 SOS 7560268 HAS SOPS 6298430 HAS SOUS 2615366 HAS SOUPS 2516737 WITH SCORE 2524297.268
AT ITER 1154 NEW BEST:: SOT 12040189 SOS 7559832 HAS SOPS 6297450 HAS SOUS 2612846 HAS SOUPS 2514217 WITH SCORE 2521776.832
AT ITER 1159 NEW BEST:: SOT 12036561 SOS 7556198 HAS SOPS 6290122 HAS SOUS 2605235 HAS SOUPS 2506467 WITH SCORE 2514023.198
AT ITER 1160 NEW BEST:: SOT 12036219 SOS 7551148 HAS SOPS 6289659 HAS SOUS 2602888 HAS SOUPS 2504120 WITH SCORE 2511671.148
AT ITER 1167 NEW BEST:: SOT 12039713 SOS 7565020 HAS SOPS 6299249 HAS SOUS 2597406 HAS SOUPS 2498638 WITH SCORE 2506203.02
AT ITER 1177 NEW BEST:: SOT 12044717 SOS 7575546 HAS SOPS 6311387 HAS SOUS 2596799 HAS SOUPS 2498031 WITH SCORE 2505606.546
AT ITER 1199 NEW BEST:: SOT 12044988 SOS 7575666 HAS SOPS 6311372 HAS SOUS 2596278 HAS SOUPS 2497510 WITH SCORE 2505085.666
AT ITER 1200 NEW BEST:: SOT 12044804 SOS 7575480 HAS SOPS 6311154 HAS SOUS 2595986 HAS SOUPS 2497216 WITH SCORE 2504791.48
AT ITER 1220 NEW BEST:: SOT 12047217 SOS 7577816 HAS SOPS 6313914 HAS SOUS 2587022 HAS SOUPS 2488392 WITH SCORE 2495969.816
AT ITER 1267 NEW BEST:: SOT 12042304 SOS 7565621 HAS SOPS 6301289 HAS SOUS 2583133 HAS SOUPS 2484413 WITH SCORE 2491978.621
AT ITER 1270 NEW BEST:: SOT 12026168 SOS 7539113 HAS SOPS 6279486 HAS SOUS 2557414 HAS SOUPS 2458721 WITH SCORE 2466260.113
AT ITER 1297 NEW BEST:: SOT 12029185 SOS 7547764 HAS SOPS 6293709 HAS SOUS 2556655 HAS SOUPS 2457962 WITH SCORE 2465509.764
AT ITER 1299 NEW BEST:: SOT 12028775 SOS 7547511 HAS SOPS 6293467 HAS SOUS 2555131 HAS SOUPS 2456438 WITH SCORE 2463985.511
AT ITER 1300 NEW BEST:: SOT 12027371 SOS 7546107 HAS SOPS 6291999 HAS SOUS 2553327 HAS SOUPS 2454634 WITH SCORE 2462180.107
AT ITER 1314 NEW BEST:: SOT 12028109 SOS 7550837 HAS SOPS 6294960 HAS SOUS 2550610 HAS SOUPS 2451917 WITH SCORE 2459467.837
AT ITER 1340 NEW BEST:: SOT 12027400 SOS 7549885 HAS SOPS 6296171 HAS SOUS 2548418 HAS SOUPS 2450085 WITH SCORE 2457634.885
AT ITER 1356 NEW BEST:: SOT 12025047 SOS 7548391 HAS SOPS 6294763 HAS SOUS 2540611 HAS SOUPS 2442211 WITH SCORE 2449759.391
AT ITER 1361 NEW BEST:: SOT 12016967 SOS 7540311 HAS SOPS 6286683 HAS SOUS 2534227 HAS SOUPS 2435827 WITH SCORE 2443367.311
AT ITER 1374 NEW BEST:: SOT 12017582 SOS 7541873 HAS SOPS 6288988 HAS SOUS 2529815 HAS SOUPS 2431667 WITH SCORE 2439208.873
AT ITER 1375 NEW BEST:: SOT 12017148 SOS 7543862 HAS SOPS 6294215 HAS SOUS 2526944 HAS SOUPS 2428796 WITH SCORE 2436339.862
AT ITER 1385 NEW BEST:: SOT 12008244 SOS 7518560 HAS SOPS 6289953 HAS SOUS 2526111 HAS SOUPS 2428581 WITH SCORE 2436099.56
AT ITER 1394 NEW BEST:: SOT 12009031 SOS 7520909 HAS SOPS 6291416 HAS SOUS 2523651 HAS SOUPS 2426121 WITH SCORE 2433641.909
AT ITER 1418 NEW BEST:: SOT 12008885 SOS 7520579 HAS SOPS 6291293 HAS SOUS 2523389 HAS SOUPS 2425863 WITH SCORE 2433383.579
AT ITER 1424 NEW BEST:: SOT 12012275 SOS 7528449 HAS SOPS 6288925 HAS SOUS 2518500 HAS SOUPS 2420974 WITH SCORE 2428502.449
AT ITER 1425 NEW BEST:: SOT 12013014 SOS 7528566 HAS SOPS 6288602 HAS SOUS 2515179 HAS SOUPS 2417718 WITH SCORE 2425246.566
AT ITER 1428 NEW BEST:: SOT 12008281 SOS 7519795 HAS SOPS 6281626 HAS SOUS 2512293 HAS SOUPS 2414832 WITH SCORE 2422351.795
AT ITER 1429 NEW BEST:: SOT 12007076 SOS 7517075 HAS SOPS 6281098 HAS SOUS 2512182 HAS SOUPS 2414721 WITH SCORE 2422238.075
AT ITER 1436 NEW BEST:: SOT 12006986 SOS 7516673 HAS SOPS 6280020 HAS SOUS 2511434 HAS SOUPS 2413817 WITH SCORE 2421333.673
AT ITER 1455 NEW BEST:: SOT 12004388 SOS 7514357 HAS SOPS 6279087 HAS SOUS 2509346 HAS SOUPS 2412526 WITH SCORE 2420040.357
AT ITER 1458 NEW BEST:: SOT 12004095 SOS 7514609 HAS SOPS 6279553 HAS SOUS 2507587 HAS SOUPS 2410767 WITH SCORE 2418281.609
AT ITER 1469 NEW BEST:: SOT 12004065 SOS 7514579 HAS SOPS 6279523 HAS SOUS 2507461 HAS SOUPS 2410641 WITH SCORE 2418155.579
AT ITER 1470 NEW BEST:: SOT 12005480 SOS 7518068 HAS SOPS 6280771 HAS SOUS 2506353 HAS SOUPS 2409533 WITH SCORE 2417051.068
AT ITER 1475 NEW BEST:: SOT 12002667 SOS 7510321 HAS SOPS 6276696 HAS SOUS 2500168 HAS SOUPS 2403436 WITH SCORE 2410946.321
AT ITER 1485 NEW BEST:: SOT 11999044 SOS 7505741 HAS SOPS 6272628 HAS SOUS 2493482 HAS SOUPS 2396785 WITH SCORE 2404290.741
AT ITER 1487 NEW BEST:: SOT 12000556 SOS 7507253 HAS SOPS 6273212 HAS SOUS 2490934 HAS SOUPS 2394237 WITH SCORE 2401744.253
AT ITER 1492 NEW BEST:: SOT 11999606 SOS 7505711 HAS SOPS 6271982 HAS SOUS 2489676 HAS SOUPS 2392979 WITH SCORE 2400484.711
AT ITER 1498 NEW BEST:: SOT 11996462 SOS 7501519 HAS SOPS 6267319 HAS SOUS 2481940 HAS SOUPS 2385458 WITH SCORE 2392959.519
AT ITER 1502 NEW BEST:: SOT 11997443 SOS 7502697 HAS SOPS 6270779 HAS SOUS 2480181 HAS SOUPS 2383699 WITH SCORE 2391201.697
AT ITER 1505 NEW BEST:: SOT 11998621 SOS 7504236 HAS SOPS 6269665 HAS SOUS 2476036 HAS SOUPS 2379500 WITH SCORE 2387004.236
AT ITER 1545 NEW BEST:: SOT 11998524 SOS 7504133 HAS SOPS 6269605 HAS SOUS 2475725 HAS SOUPS 2379189 WITH SCORE 2386693.133
AT ITER 1547 NEW BEST:: SOT 11997306 SOS 7502366 HAS SOPS 6267777 HAS SOUS 2474099 HAS SOUPS 2377596 WITH SCORE 2385098.366
AT ITER 1550 NEW BEST:: SOT 11995692 SOS 7501742 HAS SOPS 6265393 HAS SOUS 2471384 HAS SOUPS 2374811 WITH SCORE 2382312.742
AT ITER 1557 NEW BEST:: SOT 11994550 SOS 7500023 HAS SOPS 6265062 HAS SOUS 2469328 HAS SOUPS 2372755 WITH SCORE 2380255.023
AT ITER 1558 NEW BEST:: SOT 11991559 SOS 7491451 HAS SOPS 6257238 HAS SOUS 2465823 HAS SOUPS 2369331 WITH SCORE 2376822.451
AT ITER 1563 NEW BEST:: SOT 11991453 SOS 7490695 HAS SOPS 6256929 HAS SOUS 2465805 HAS SOUPS 2369313 WITH SCORE 2376803.695
AT ITER 1564 NEW BEST:: SOT 11991477 SOS 7490457 HAS SOPS 6256954 HAS SOUS 2465803 HAS SOUPS 2369311 WITH SCORE 2376801.457
AT ITER 1566 NEW BEST:: SOT 11991305 SOS 7490269 HAS SOPS 6256650 HAS SOUS 2465415 HAS SOUPS 2368923 WITH SCORE 2376413.269
AT ITER 1570 NEW BEST:: SOT 11986556 SOS 7479076 HAS SOPS 6247698 HAS SOUS 2459083 HAS SOUPS 2362982 WITH SCORE 2370461.076
AT ITER 1575 NEW BEST:: SOT 11984555 SOS 7476231 HAS SOPS 6243851 HAS SOUS 2456600 HAS SOUPS 2360499 WITH SCORE 2367975.231
AT ITER 1588 NEW BEST:: SOT 11983560 SOS 7475956 HAS SOPS 6240176 HAS SOUS 2449250 HAS SOUPS 2353130 WITH SCORE 2360605.956
AT ITER 1592 NEW BEST:: SOT 12001205 SOS 7490710 HAS SOPS 6251110 HAS SOUS 2438811 HAS SOUPS 2342760 WITH SCORE 2350250.71
AT ITER 1594 NEW BEST:: SOT 11998754 SOS 7488738 HAS SOPS 6246606 HAS SOUS 2434351 HAS SOUPS 2338264 WITH SCORE 2345752.738
AT ITER 1604 NEW BEST:: SOT 11995811 SOS 7485845 HAS SOPS 6241153 HAS SOUS 2433549 HAS SOUPS 2336470 WITH SCORE 2343955.845
AT ITER 1634 NEW BEST:: SOT 11995573 SOS 7485607 HAS SOPS 6240851 HAS SOUS 2432739 HAS SOUPS 2335660 WITH SCORE 2343145.607
AT ITER 1639 NEW BEST:: SOT 11989521 SOS 7466891 HAS SOPS 6220033 HAS SOUS 2425435 HAS SOUPS 2328356 WITH SCORE 2335822.891
AT ITER 1641 NEW BEST:: SOT 11989056 SOS 7466426 HAS SOPS 6218944 HAS SOUS 2422398 HAS SOUPS 2325319 WITH SCORE 2332785.426
AT ITER 1648 NEW BEST:: SOT 11988684 SOS 7465829 HAS SOPS 6218064 HAS SOUS 2420480 HAS SOUPS 2323395 WITH SCORE 2330860.829
AT ITER 1656 NEW BEST:: SOT 11988743 SOS 7466296 HAS SOPS 6218427 HAS SOUS 2420447 HAS SOUPS 2323362 WITH SCORE 2330828.296
AT ITER 1674 NEW BEST:: SOT 11991588 SOS 7481482 HAS SOPS 6233819 HAS SOUS 2414564 HAS SOUPS 2317479 WITH SCORE 2324960.482
AT ITER 1687 NEW BEST:: SOT 11972898 SOS 7466774 HAS SOPS 6210434 HAS SOUS 2395834 HAS SOUPS 2298163 WITH SCORE 2305629.774
AT ITER 1693 NEW BEST:: SOT 11972595 SOS 7466507 HAS SOPS 6210109 HAS SOUS 2395217 HAS SOUPS 2297546 WITH SCORE 2305012.507
AT ITER 1696 NEW BEST:: SOT 11976954 SOS 7474969 HAS SOPS 6221273 HAS SOUS 2392614 HAS SOUPS 2294943 WITH SCORE 2302417.969
AT ITER 1705 NEW BEST:: SOT 11976880 SOS 7474193 HAS SOPS 6222098 HAS SOUS 2391973 HAS SOUPS 2294382 WITH SCORE 2301856.193
AT ITER 1708 NEW BEST:: SOT 11977862 SOS 7476274 HAS SOPS 6223532 HAS SOUS 2390875 HAS SOUPS 2292984 WITH SCORE 2300460.274
AT ITER 1743 NEW BEST:: SOT 11977897 SOS 7476354 HAS SOPS 6223534 HAS SOUS 2390732 HAS SOUPS 2292841 WITH SCORE 2300317.354
AT ITER 1756 NEW BEST:: SOT 11980545 SOS 7480622 HAS SOPS 6225257 HAS SOUS 2386125 HAS SOUPS 2287407 WITH SCORE 2294887.622
AT ITER 1760 NEW BEST:: SOT 11979739 SOS 7476665 HAS SOPS 6221588 HAS SOUS 2375080 HAS SOUPS 2276596 WITH SCORE 2284072.665
AT ITER 1761 NEW BEST:: SOT 11981171 SOS 7484283 HAS SOPS 6232709 HAS SOUS 2373210 HAS SOUPS 2274687 WITH SCORE 2282171.283
AT ITER 1771 NEW BEST:: SOT 11980904 SOS 7483547 HAS SOPS 6231941 HAS SOUS 2373176 HAS SOUPS 2274653 WITH SCORE 2282136.547
AT ITER 1772 NEW BEST:: SOT 11980681 SOS 7483320 HAS SOPS 6231676 HAS SOUS 2372922 HAS SOUPS 2274408 WITH SCORE 2281891.32
AT ITER 1787 NEW BEST:: SOT 11981903 SOS 7486917 HAS SOPS 6237682 HAS SOUS 2371429 HAS SOUPS 2273001 WITH SCORE 2280487.917
AT ITER 1799 NEW BEST:: SOT 11978361 SOS 7477863 HAS SOPS 6231515 HAS SOUS 2363580 HAS SOUPS 2265867 WITH SCORE 2273344.863
AT ITER 1812 NEW BEST:: SOT 11978004 SOS 7477270 HAS SOPS 6230886 HAS SOUS 2363270 HAS SOUPS 2265564 WITH SCORE 2273041.27
AT ITER 1825 NEW BEST:: SOT 11977919 SOS 7478056 HAS SOPS 6231619 HAS SOUS 2362789 HAS SOUPS 2265083 WITH SCORE 2272561.056
AT ITER 1835 NEW BEST:: SOT 11979044 SOS 7481688 HAS SOPS 6232854 HAS SOUS 2361639 HAS SOUPS 2263801 WITH SCORE 2271282.688
AT ITER 1836 NEW BEST:: SOT 11978580 SOS 7479814 HAS SOPS 6229808 HAS SOUS 2358784 HAS SOUPS 2260946 WITH SCORE 2268425.814
AT ITER 1842 NEW BEST:: SOT 11978512 SOS 7479514 HAS SOPS 6229724 HAS SOUS 2358261 HAS SOUPS 2260539 WITH SCORE 2268018.514
AT ITER 1872 NEW BEST:: SOT 11977901 SOS 7480772 HAS SOPS 6231984 HAS SOUS 2355332 HAS SOUPS 2257610 WITH SCORE 2265090.772
AT ITER 1876 NEW BEST:: SOT 11976311 SOS 7479279 HAS SOPS 6232023 HAS SOUS 2348918 HAS SOUPS 2251196 WITH SCORE 2258675.279
AT ITER 1880 NEW BEST:: SOT 11971593 SOS 7469524 HAS SOPS 6226256 HAS SOUS 2340518 HAS SOUPS 2242882 WITH SCORE 2250351.524
AT ITER 1895 NEW BEST:: SOT 11968769 SOS 7466344 HAS SOPS 6223799 HAS SOUS 2337956 HAS SOUPS 2240320 WITH SCORE 2247786.344
AT ITER 1917 NEW BEST:: SOT 11962404 SOS 7457955 HAS SOPS 6213970 HAS SOUS 2322825 HAS SOUPS 2225967 WITH SCORE 2233424.955
AT ITER 1927 NEW BEST:: SOT 11963067 SOS 7463346 HAS SOPS 6220250 HAS SOUS 2318667 HAS SOUPS 2221885 WITH SCORE 2229348.346
AT ITER 1939 NEW BEST:: SOT 11963366 SOS 7464047 HAS SOPS 6218960 HAS SOUS 2316332 HAS SOUPS 2219609 WITH SCORE 2227073.047
AT ITER 1949 NEW BEST:: SOT 11963153 SOS 7463868 HAS SOPS 6219143 HAS SOUS 2315893 HAS SOUPS 2219170 WITH SCORE 2226633.868
AT ITER 1952 NEW BEST:: SOT 11958588 SOS 7461665 HAS SOPS 6220645 HAS SOUS 2306266 HAS SOUPS 2209303 WITH SCORE 2216764.665
AT ITER 1960 NEW BEST:: SOT 11949505 SOS 7452503 HAS SOPS 6210288 HAS SOUS 2293720 HAS SOUPS 2196757 WITH SCORE 2204209.503
AT ITER 1972 NEW BEST:: SOT 11942775 SOS 7444440 HAS SOPS 6201364 HAS SOUS 2284097 HAS SOUPS 2187134 WITH SCORE 2194578.44
AT ITER 1980 NEW BEST:: SOT 11938270 SOS 7439935 HAS SOPS 6196347 HAS SOUS 2277664 HAS SOUPS 2180701 WITH SCORE 2188140.935
AT ITER 1991 NEW BEST:: SOT 11938318 SOS 7438169 HAS SOPS 6193501 HAS SOUS 2276953 HAS SOUPS 2179990 WITH SCORE 2187428.169
AT ITER 1999 NEW BEST:: SOT 11938916 SOS 7438767 HAS SOPS 6194035 HAS SOUS 2276823 HAS SOUPS 2179860 WITH SCORE 2187298.767
AT ITER 2012 NEW BEST:: SOT 11938453 SOS 7438297 HAS SOPS 6193523 HAS SOUS 2276213 HAS SOUPS 2179250 WITH SCORE 2186688.297
AT ITER 2030 NEW BEST:: SOT 11938738 SOS 7439565 HAS SOPS 6194300 HAS SOUS 2275571 HAS SOUPS 2178588 WITH SCORE 2186027.565
AT ITER 2032 NEW BEST:: SOT 11936190 SOS 7441182 HAS SOPS 6191777 HAS SOUS 2273299 HAS SOUPS 2176157 WITH SCORE 2183598.182
AT ITER 2046 NEW BEST:: SOT 11936073 SOS 7441016 HAS SOPS 6191620 HAS SOUS 2273162 HAS SOUPS 2176021 WITH SCORE 2183462.016
AT ITER 2051 NEW BEST:: SOT 11936066 SOS 7440786 HAS SOPS 6191042 HAS SOUS 2273140 HAS SOUPS 2175999 WITH SCORE 2183439.786
AT ITER 2065 NEW BEST:: SOT 11935783 SOS 7438761 HAS SOPS 6189409 HAS SOUS 2273074 HAS SOUPS 2175933 WITH SCORE 2183371.761
AT ITER 2071 NEW BEST:: SOT 11937350 SOS 7440742 HAS SOPS 6192892 HAS SOUS 2271008 HAS SOUPS 2173902 WITH SCORE 2181342.742
AT ITER 2072 NEW BEST:: SOT 11939885 SOS 7442068 HAS SOPS 6193216 HAS SOUS 2263312 HAS SOUPS 2166191 WITH SCORE 2173633.068
AT ITER 2076 NEW BEST:: SOT 11939304 SOS 7440939 HAS SOPS 6191953 HAS SOUS 2262240 HAS SOUPS 2165119 WITH SCORE 2172559.939
AT ITER 2078 NEW BEST:: SOT 11938794 SOS 7440425 HAS SOPS 6191401 HAS SOUS 2260954 HAS SOUPS 2163833 WITH SCORE 2171273.425
AT ITER 2093 NEW BEST:: SOT 11937382 SOS 7437565 HAS SOPS 6187521 HAS SOUS 2258839 HAS SOUPS 2161718 WITH SCORE 2169155.565
AT ITER 2109 NEW BEST:: SOT 11937380 SOS 7437367 HAS SOPS 6187317 HAS SOUS 2258826 HAS SOUPS 2161705 WITH SCORE 2169142.367
AT ITER 2117 NEW BEST:: SOT 11937374 SOS 7437265 HAS SOPS 6187183 HAS SOUS 2258822 HAS SOUPS 2161701 WITH SCORE 2169138.265
AT ITER 2126 NEW BEST:: SOT 11936773 SOS 7435223 HAS SOPS 6185692 HAS SOUS 2258083 HAS SOUPS 2161042 WITH SCORE 2168477.223
AT ITER 2155 NEW BEST:: SOT 11939416 SOS 7443404 HAS SOPS 6192568 HAS SOUS 2255935 HAS SOUPS 2158894 WITH SCORE 2166337.404
AT ITER 2175 NEW BEST:: SOT 11940872 SOS 7444911 HAS SOPS 6193813 HAS SOUS 2254155 HAS SOUPS 2157546 WITH SCORE 2164990.911
AT ITER 2185 NEW BEST:: SOT 11945415 SOS 7457409 HAS SOPS 6207025 HAS SOUS 2253381 HAS SOUPS 2156772 WITH SCORE 2164229.409
AT ITER 2194 NEW BEST:: SOT 11943376 SOS 7455335 HAS SOPS 6204963 HAS SOUS 2249203 HAS SOUPS 2152606 WITH SCORE 2160061.335
AT ITER 2196 NEW BEST:: SOT 11942727 SOS 7454634 HAS SOPS 6204131 HAS SOUS 2247902 HAS SOUPS 2151293 WITH SCORE 2158747.634
AT ITER 2197 NEW BEST:: SOT 11948618 SOS 7465687 HAS SOPS 6214155 HAS SOUS 2247669 HAS SOUPS 2150905 WITH SCORE 2158370.687
AT ITER 2198 NEW BEST:: SOT 11945952 SOS 7463021 HAS SOPS 6211441 HAS SOUS 2244711 HAS SOUPS 2147947 WITH SCORE 2155410.021
AT ITER 2199 NEW BEST:: SOT 11945657 SOS 7461891 HAS SOPS 6210219 HAS SOUS 2244179 HAS SOUPS 2147415 WITH SCORE 2154876.891
AT ITER 2221 NEW BEST:: SOT 11944438 SOS 7462662 HAS SOPS 6210055 HAS SOUS 2240631 HAS SOUPS 2143867 WITH SCORE 2151329.662
AT ITER 2240 NEW BEST:: SOT 11943907 SOS 7461731 HAS SOPS 6209532 HAS SOUS 2239137 HAS SOUPS 2142373 WITH SCORE 2149834.731
AT ITER 2271 NEW BEST:: SOT 11943639 SOS 7460605 HAS SOPS 6208667 HAS SOUS 2238908 HAS SOUPS 2142144 WITH SCORE 2149604.605
AT ITER 2278 NEW BEST:: SOT 11937925 SOS 7456818 HAS SOPS 6205032 HAS SOUS 2234483 HAS SOUPS 2137659 WITH SCORE 2145115.818
AT ITER 2290 NEW BEST:: SOT 11942038 SOS 7462601 HAS SOPS 6210227 HAS SOUS 2231837 HAS SOUPS 2135013 WITH SCORE 2142475.601
AT ITER 2292 NEW BEST:: SOT 11941173 SOS 7459303 HAS SOPS 6207144 HAS SOUS 2229674 HAS SOUPS 2132850 WITH SCORE 2140309.303
AT ITER 2304 NEW BEST:: SOT 11934310 SOS 7451602 HAS SOPS 6199435 HAS SOUS 2220261 HAS SOUPS 2123481 WITH SCORE 2130932.602
AT ITER 2312 NEW BEST:: SOT 11933817 SOS 7451900 HAS SOPS 6198240 HAS SOUS 2218150 HAS SOUPS 2121348 WITH SCORE 2128799.9
AT ITER 2313 NEW BEST:: SOT 11944333 SOS 7459293 HAS SOPS 6204186 HAS SOUS 2211333 HAS SOUPS 2114471 WITH SCORE 2121930.293
AT ITER 2314 NEW BEST:: SOT 11942296 SOS 7455316 HAS SOPS 6200000 HAS SOUS 2208997 HAS SOUPS 2112135 WITH SCORE 2119590.316
AT ITER 2315 NEW BEST:: SOT 11945050 SOS 7459157 HAS SOPS 6204882 HAS SOUS 2206361 HAS SOUPS 2109774 WITH SCORE 2117233.157
AT ITER 2319 NEW BEST:: SOT 11941115 SOS 7452010 HAS SOPS 6199858 HAS SOUS 2198852 HAS SOUPS 2102265 WITH SCORE 2109717.01
AT ITER 2325 NEW BEST:: SOT 11939803 SOS 7450698 HAS SOPS 6198514 HAS SOUS 2197540 HAS SOUPS 2100921 WITH SCORE 2108371.698
AT ITER 2359 NEW BEST:: SOT 11935069 SOS 7443815 HAS SOPS 6193115 HAS SOUS 2194979 HAS SOUPS 2098360 WITH SCORE 2105803.815
AT ITER 2377 NEW BEST:: SOT 11934876 SOS 7444005 HAS SOPS 6193027 HAS SOUS 2194157 HAS SOUPS 2097427 WITH SCORE 2104871.005
AT ITER 2388 NEW BEST:: SOT 11934749 SOS 7443878 HAS SOPS 6192900 HAS SOUS 2193714 HAS SOUPS 2096984 WITH SCORE 2104427.878
AT ITER 2401 NEW BEST:: SOT 11931070 SOS 7435759 HAS SOPS 6184064 HAS SOUS 2188351 HAS SOUPS 2092171 WITH SCORE 2099606.759
AT ITER 2411 NEW BEST:: SOT 11932682 SOS 7438320 HAS SOPS 6188038 HAS SOUS 2187574 HAS SOUPS 2091394 WITH SCORE 2098832.32
AT ITER 2417 NEW BEST:: SOT 11935210 SOS 7443122 HAS SOPS 6194434 HAS SOUS 2185873 HAS SOUPS 2089517 WITH SCORE 2096960.122
AT ITER 2433 NEW BEST:: SOT 11929592 SOS 7437200 HAS SOPS 6188504 HAS SOUS 2180250 HAS SOUPS 2083886 WITH SCORE 2091323.2
AT ITER 2457 NEW BEST:: SOT 11929778 SOS 7437456 HAS SOPS 6188204 HAS SOUS 2179168 HAS SOUPS 2082804 WITH SCORE 2090241.456
AT ITER 2458 NEW BEST:: SOT 11926871 SOS 7434784 HAS SOPS 6184207 HAS SOUS 2175207 HAS SOUPS 2078860 WITH SCORE 2086294.784
AT ITER 2460 NEW BEST:: SOT 11926752 SOS 7434567 HAS SOPS 6184179 HAS SOUS 2175069 HAS SOUPS 2078729 WITH SCORE 2086163.567
AT ITER 2463 NEW BEST:: SOT 11926253 SOS 7434068 HAS SOPS 6183360 HAS SOUS 2173910 HAS SOUPS 2077554 WITH SCORE 2084988.068
AT ITER 2482 NEW BEST:: SOT 11925942 SOS 7433349 HAS SOPS 6182617 HAS SOUS 2173569 HAS SOUPS 2077219 WITH SCORE 2084652.349
AT ITER 2487 NEW BEST:: SOT 11926113 SOS 7432948 HAS SOPS 6183045 HAS SOUS 2173433 HAS SOUPS 2077159 WITH SCORE 2084591.948
AT ITER 2491 NEW BEST:: SOT 11927279 SOS 7434173 HAS SOPS 6184727 HAS SOUS 2173367 HAS SOUPS 2077070 WITH SCORE 2084504.173
AT ITER 2519 NEW BEST:: SOT 11927223 SOS 7434166 HAS SOPS 6184720 HAS SOUS 2173078 HAS SOUPS 2076795 WITH SCORE 2084229.166
AT ITER 2541 NEW BEST:: SOT 11927032 SOS 7433871 HAS SOPS 6184457 HAS SOUS 2172487 HAS SOUPS 2076204 WITH SCORE 2083637.871
AT ITER 2543 NEW BEST:: SOT 11926180 SOS 7433978 HAS SOPS 6182676 HAS SOUS 2171913 HAS SOUPS 2075630 WITH SCORE 2083063.978
AT ITER 2544 NEW BEST:: SOT 11925790 SOS 7433588 HAS SOPS 6182190 HAS SOUS 2171355 HAS SOUPS 2075072 WITH SCORE 2082505.588
AT ITER 2546 NEW BEST:: SOT 11922600 SOS 7430737 HAS SOPS 6181216 HAS SOUS 2163058 HAS SOUPS 2066775 WITH SCORE 2074205.737
AT ITER 2547 NEW BEST:: SOT 11922552 SOS 7430645 HAS SOPS 6181168 HAS SOUS 2162958 HAS SOUPS 2066679 WITH SCORE 2074109.645
AT ITER 2551 NEW BEST:: SOT 11913402 SOS 7418312 HAS SOPS 6168432 HAS SOUS 2144543 HAS SOUPS 2048343 WITH SCORE 2055761.312
AT ITER 2556 NEW BEST:: SOT 11913019 SOS 7416734 HAS SOPS 6167235 HAS SOUS 2143978 HAS SOUPS 2047805 WITH SCORE 2055221.734
AT ITER 2559 NEW BEST:: SOT 11913437 SOS 7419162 HAS SOPS 6168647 HAS SOUS 2143795 HAS SOUPS 2047605 WITH SCORE 2055024.162
AT ITER 2568 NEW BEST:: SOT 11922326 SOS 7423828 HAS SOPS 6179790 HAS SOUS 2138345 HAS SOUPS 2042277 WITH SCORE 2049700.828
AT ITER 2572 NEW BEST:: SOT 11923563 SOS 7426417 HAS SOPS 6181699 HAS SOUS 2138326 HAS SOUPS 2042234 WITH SCORE 2049660.417
AT ITER 2580 NEW BEST:: SOT 11927005 SOS 7432105 HAS SOPS 6185763 HAS SOUS 2137730 HAS SOUPS 2041643 WITH SCORE 2049075.105
AT ITER 2586 NEW BEST:: SOT 11926273 SOS 7431374 HAS SOPS 6183496 HAS SOUS 2138362 HAS SOUPS 2040355 WITH SCORE 2047786.374
AT ITER 2590 NEW BEST:: SOT 11926017 SOS 7431118 HAS SOPS 6183240 HAS SOUS 2138106 HAS SOUPS 2040099 WITH SCORE 2047530.118
AT ITER 2591 NEW BEST:: SOT 11925679 SOS 7429572 HAS SOPS 6182895 HAS SOUS 2134286 HAS SOUPS 2037299 WITH SCORE 2044728.572
AT ITER 2595 NEW BEST:: SOT 11923312 SOS 7425985 HAS SOPS 6180693 HAS SOUS 2134233 HAS SOUPS 2037246 WITH SCORE 2044671.985
AT ITER 2599 NEW BEST:: SOT 11930363 SOS 7435375 HAS SOPS 6192882 HAS SOUS 2132346 HAS SOUPS 2035763 WITH SCORE 2043198.375
AT ITER 2629 NEW BEST:: SOT 11923917 SOS 7428845 HAS SOPS 6183708 HAS SOUS 2118120 HAS SOUPS 2020917 WITH SCORE 2028345.845
AT ITER 2632 NEW BEST:: SOT 11922800 SOS 7427863 HAS SOPS 6180500 HAS SOUS 2104000 HAS SOUPS 2006797 WITH SCORE 2014224.863
AT ITER 2643 NEW BEST:: SOT 11921573 SOS 7425528 HAS SOPS 6177676 HAS SOUS 2101914 HAS SOUPS 2004711 WITH SCORE 2012136.528
AT ITER 2654 NEW BEST:: SOT 11921566 SOS 7425518 HAS SOPS 6177585 HAS SOUS 2101751 HAS SOUPS 2004548 WITH SCORE 2011973.518
AT ITER 2674 NEW BEST:: SOT 11919087 SOS 7422288 HAS SOPS 6172502 HAS SOUS 2097869 HAS SOUPS 2000666 WITH SCORE 2008088.288
AT ITER 2678 NEW BEST:: SOT 11916056 SOS 7419255 HAS SOPS 6169402 HAS SOUS 2092598 HAS SOUPS 1995396 WITH SCORE 2002815.255
AT ITER 2703 NEW BEST:: SOT 11915741 SOS 7417297 HAS SOPS 6167588 HAS SOUS 2092534 HAS SOUPS 1995332 WITH SCORE 2002749.297
AT ITER 2705 NEW BEST:: SOT 11912707 SOS 7411240 HAS SOPS 6161736 HAS SOUS 2091212 HAS SOUPS 1993967 WITH SCORE 2001378.24
AT ITER 2719 NEW BEST:: SOT 11912561 SOS 7412239 HAS SOPS 6160986 HAS SOUS 2090080 HAS SOUPS 1992784 WITH SCORE 2000196.239
AT ITER 2743 NEW BEST:: SOT 11913175 SOS 7412852 HAS SOPS 6161594 HAS SOUS 2089228 HAS SOUPS 1991929 WITH SCORE 1999341.852
AT ITER 2748 NEW BEST:: SOT 11913086 SOS 7412947 HAS SOPS 6161709 HAS SOUS 2089219 HAS SOUPS 1991920 WITH SCORE 1999332.947
AT ITER 2757 NEW BEST:: SOT 11912528 SOS 7412533 HAS SOPS 6161271 HAS SOUS 2088661 HAS SOUPS 1991362 WITH SCORE 1998774.533
AT ITER 2767 NEW BEST:: SOT 11912518 SOS 7414304 HAS SOPS 6162567 HAS SOUS 2087233 HAS SOUPS 1989934 WITH SCORE 1997348.304
AT ITER 2768 NEW BEST:: SOT 11912168 SOS 7412848 HAS SOPS 6161045 HAS SOUS 2087065 HAS SOUPS 1989748 WITH SCORE 1997160.848
AT ITER 2800 NEW BEST:: SOT 11911887 SOS 7413223 HAS SOPS 6162338 HAS SOUS 2086549 HAS SOUPS 1989232 WITH SCORE 1996645.223
AT ITER 2801 NEW BEST:: SOT 11897140 SOS 7376828 HAS SOPS 6138904 HAS SOUS 2080711 HAS SOUPS 1983413 WITH SCORE 1990789.828
AT ITER 2805 NEW BEST:: SOT 11897476 SOS 7377369 HAS SOPS 6141629 HAS SOUS 2079750 HAS SOUPS 1982452 WITH SCORE 1989829.369
AT ITER 2816 NEW BEST:: SOT 11897420 SOS 7378782 HAS SOPS 6141220 HAS SOUS 2076377 HAS SOUPS 1979079 WITH SCORE 1986457.782
AT ITER 2817 NEW BEST:: SOT 11896303 SOS 7378332 HAS SOPS 6140444 HAS SOUS 2074692 HAS SOUPS 1977394 WITH SCORE 1984772.332
AT ITER 2826 NEW BEST:: SOT 11896002 SOS 7377970 HAS SOPS 6140159 HAS SOUS 2074244 HAS SOUPS 1976946 WITH SCORE 1984323.97
AT ITER 2829 NEW BEST:: SOT 11894817 SOS 7377166 HAS SOPS 6148111 HAS SOUS 2072101 HAS SOUPS 1975113 WITH SCORE 1982490.166
AT ITER 2839 NEW BEST:: SOT 11894829 SOS 7377043 HAS SOPS 6148182 HAS SOUS 2072088 HAS SOUPS 1975104 WITH SCORE 1982481.043
AT ITER 2841 NEW BEST:: SOT 11894840 SOS 7379287 HAS SOPS 6151182 HAS SOUS 2071124 HAS SOUPS 1974140 WITH SCORE 1981519.287
AT ITER 2867 NEW BEST:: SOT 11895017 SOS 7379651 HAS SOPS 6151287 HAS SOUS 2071081 HAS SOUPS 1974097 WITH SCORE 1981476.651
AT ITER 2896 NEW BEST:: SOT 11892708 SOS 7377373 HAS SOPS 6149633 HAS SOUS 2067842 HAS SOUPS 1970858 WITH SCORE 1978235.373
AT ITER 2912 NEW BEST:: SOT 11892702 SOS 7377276 HAS SOPS 6149553 HAS SOUS 2067813 HAS SOUPS 1970829 WITH SCORE 1978206.276
AT ITER 2915 NEW BEST:: SOT 11891892 SOS 7376136 HAS SOPS 6148340 HAS SOUS 2067118 HAS SOUPS 1970061 WITH SCORE 1977437.136
AT ITER 2916 NEW BEST:: SOT 11894171 SOS 7380639 HAS SOPS 6148448 HAS SOUS 2066380 HAS SOUPS 1969103 WITH SCORE 1976483.639
AT ITER 2940 NEW BEST:: SOT 11894096 SOS 7381108 HAS SOPS 6148926 HAS SOUS 2066163 HAS SOUPS 1968886 WITH SCORE 1976267.108
AT ITER 2956 NEW BEST:: SOT 11893975 SOS 7381028 HAS SOPS 6148864 HAS SOUS 2065887 HAS SOUPS 1968610 WITH SCORE 1975991.028
AT ITER 2965 NEW BEST:: SOT 11893977 SOS 7381066 HAS SOPS 6148862 HAS SOUS 2065749 HAS SOUPS 1968474 WITH SCORE 1975855.066
AT ITER 2967 NEW BEST:: SOT 11893200 SOS 7380709 HAS SOPS 6147628 HAS SOUS 2061945 HAS SOUPS 1964670 WITH SCORE 1972050.709
AT ITER 2970 NEW BEST:: SOT 11891852 SOS 7379081 HAS SOPS 6145176 HAS SOUS 2059374 HAS SOUPS 1962048 WITH SCORE 1969427.081
AT ITER 2980 NEW BEST:: SOT 11888837 SOS 7364298 HAS SOPS 6131356 HAS SOUS 2056023 HAS SOUPS 1958697 WITH SCORE 1966061.298
AT ITER 2981 NEW BEST:: SOT 11890528 SOS 7366875 HAS SOPS 6131057 HAS SOUS 2055904 HAS SOUPS 1958578 WITH SCORE 1965944.875
AT ITER 3009 NEW BEST:: SOT 11890226 SOS 7367702 HAS SOPS 6131877 HAS SOUS 2055157 HAS SOUPS 1957831 WITH SCORE 1965198.702
AT ITER 3010 NEW BEST:: SOT 11888450 SOS 7368906 HAS SOPS 6126819 HAS SOUS 2046095 HAS SOUPS 1948695 WITH SCORE 1956063.906
AT ITER 3043 NEW BEST:: SOT 11888752 SOS 7369912 HAS SOPS 6127588 HAS SOUS 2046089 HAS SOUPS 1948689 WITH SCORE 1956058.912
AT ITER 3051 NEW BEST:: SOT 11885750 SOS 7366878 HAS SOPS 6124522 HAS SOUS 2043983 HAS SOUPS 1946583 WITH SCORE 1953949.878
AT ITER 3052 NEW BEST:: SOT 11883627 SOS 7364755 HAS SOPS 6121855 HAS SOUS 2040812 HAS SOUPS 1943412 WITH SCORE 1950776.755
AT ITER 3072 NEW BEST:: SOT 11881709 SOS 7362663 HAS SOPS 6119409 HAS SOUS 2035908 HAS SOUPS 1938132 WITH SCORE 1945494.663
AT ITER 3086 NEW BEST:: SOT 11878569 SOS 7358765 HAS SOPS 6115729 HAS SOUS 2034356 HAS SOUPS 1936580 WITH SCORE 1943938.765
AT ITER 3087 NEW BEST:: SOT 11875166 SOS 7355361 HAS SOPS 6112262 HAS SOUS 2029641 HAS SOUPS 1931865 WITH SCORE 1939220.361
AT ITER 3106 NEW BEST:: SOT 11875017 SOS 7355044 HAS SOPS 6111807 HAS SOUS 2029400 HAS SOUPS 1931624 WITH SCORE 1938979.044
AT ITER 3112 NEW BEST:: SOT 11874308 SOS 7354452 HAS SOPS 6111215 HAS SOUS 2027421 HAS SOUPS 1929645 WITH SCORE 1936999.452
AT ITER 3116 NEW BEST:: SOT 11872261 SOS 7351519 HAS SOPS 6107929 HAS SOUS 2025043 HAS SOUPS 1927372 WITH SCORE 1934723.519
AT ITER 3128 NEW BEST:: SOT 11872875 SOS 7357617 HAS SOPS 6114627 HAS SOUS 2023958 HAS SOUPS 1926287 WITH SCORE 1933644.617
AT ITER 3138 NEW BEST:: SOT 11872732 SOS 7357325 HAS SOPS 6114324 HAS SOUS 2023929 HAS SOUPS 1926258 WITH SCORE 1933615.325
AT ITER 3140 NEW BEST:: SOT 11847809 SOS 7318293 HAS SOPS 6075002 HAS SOUS 2023032 HAS SOUPS 1925518 WITH SCORE 1932836.293
AT ITER 3148 NEW BEST:: SOT 11847369 SOS 7316874 HAS SOPS 6073374 HAS SOUS 2023061 HAS SOUPS 1925338 WITH SCORE 1932654.874
AT ITER 3160 NEW BEST:: SOT 11847479 SOS 7317144 HAS SOPS 6073629 HAS SOUS 2022808 HAS SOUPS 1925085 WITH SCORE 1932402.144
AT ITER 3187 NEW BEST:: SOT 11844550 SOS 7314215 HAS SOPS 6070700 HAS SOUS 2019755 HAS SOUPS 1922032 WITH SCORE 1929346.215
AT ITER 3191 NEW BEST:: SOT 11840482 SOS 7309352 HAS SOPS 6065619 HAS SOUS 2014378 HAS SOUPS 1916655 WITH SCORE 1923964.352
AT ITER 3196 NEW BEST:: SOT 11841972 SOS 7310867 HAS SOPS 6066721 HAS SOUS 2014285 HAS SOUPS 1916564 WITH SCORE 1923874.867
AT ITER 3246 NEW BEST:: SOT 11837480 SOS 7305684 HAS SOPS 6061105 HAS SOUS 2012567 HAS SOUPS 1914753 WITH SCORE 1922058.684
AT ITER 3257 NEW BEST:: SOT 11839946 SOS 7308862 HAS SOPS 6063240 HAS SOUS 2009696 HAS SOUPS 1911895 WITH SCORE 1919203.862
AT ITER 3273 NEW BEST:: SOT 11839204 SOS 7308100 HAS SOPS 6061727 HAS SOUS 2009464 HAS SOUPS 1911420 WITH SCORE 1918728.1
AT ITER 3288 NEW BEST:: SOT 11839364 SOS 7307452 HAS SOPS 6060783 HAS SOUS 2008860 HAS SOUPS 1910816 WITH SCORE 1918123.452
AT ITER 3292 NEW BEST:: SOT 11841204 SOS 7309264 HAS SOPS 6064586 HAS SOUS 2008636 HAS SOUPS 1910784 WITH SCORE 1918093.264
AT ITER 3295 NEW BEST:: SOT 11840965 SOS 7309025 HAS SOPS 6063963 HAS SOUS 2006885 HAS SOUPS 1909033 WITH SCORE 1916342.025
AT ITER 3300 NEW BEST:: SOT 11837495 SOS 7305853 HAS SOPS 6060237 HAS SOUS 2004508 HAS SOUPS 1906488 WITH SCORE 1913793.853
AT ITER 3317 NEW BEST:: SOT 11834686 SOS 7301118 HAS SOPS 6056660 HAS SOUS 1995509 HAS SOUPS 1897489 WITH SCORE 1904790.118
AT ITER 3352 NEW BEST:: SOT 11833485 SOS 7299854 HAS SOPS 6053844 HAS SOUS 1991035 HAS SOUPS 1892941 WITH SCORE 1900240.854
AT ITER 3359 NEW BEST:: SOT 11831137 SOS 7297664 HAS SOPS 6050245 HAS SOUS 1987394 HAS SOUPS 1889262 WITH SCORE 1896559.664
AT ITER 3362 NEW BEST:: SOT 11824138 SOS 7282499 HAS SOPS 6038839 HAS SOUS 1979341 HAS SOUPS 1881324 WITH SCORE 1888606.499
AT ITER 3369 NEW BEST:: SOT 11824126 SOS 7282487 HAS SOPS 6038795 HAS SOUS 1979149 HAS SOUPS 1881132 WITH SCORE 1888414.487
AT ITER 3383 NEW BEST:: SOT 11823902 SOS 7282151 HAS SOPS 6038290 HAS SOUS 1978587 HAS SOUPS 1880570 WITH SCORE 1887852.151
AT ITER 3393 NEW BEST:: SOT 11822588 SOS 7280837 HAS SOPS 6037104 HAS SOUS 1977305 HAS SOUPS 1879384 WITH SCORE 1886664.837
AT ITER 3399 NEW BEST:: SOT 11821781 SOS 7281470 HAS SOPS 6035569 HAS SOUS 1972803 HAS SOUPS 1874882 WITH SCORE 1882163.47
AT ITER 3400 NEW BEST:: SOT 11821603 SOS 7280029 HAS SOPS 6034839 HAS SOUS 1972664 HAS SOUPS 1874743 WITH SCORE 1882023.029
AT ITER 3412 NEW BEST:: SOT 11820944 SOS 7279359 HAS SOPS 6033668 HAS SOUS 1971413 HAS SOUPS 1873492 WITH SCORE 1880771.359
AT ITER 3418 NEW BEST:: SOT 11819062 SOS 7277452 HAS SOPS 6031618 HAS SOUS 1969119 HAS SOUPS 1871211 WITH SCORE 1878488.452
AT ITER 3420 NEW BEST:: SOT 11812057 SOS 7263376 HAS SOPS 6022236 HAS SOUS 1961893 HAS SOUPS 1864102 WITH SCORE 1871365.376
AT ITER 3423 NEW BEST:: SOT 11810195 SOS 7263662 HAS SOPS 6021616 HAS SOUS 1953327 HAS SOUPS 1855232 WITH SCORE 1862495.662
AT ITER 3432 NEW BEST:: SOT 11809510 SOS 7264696 HAS SOPS 6021302 HAS SOUS 1950855 HAS SOUPS 1852610 WITH SCORE 1859874.696
AT ITER 3436 NEW BEST:: SOT 11805600 SOS 7262084 HAS SOPS 6019872 HAS SOUS 1949801 HAS SOUPS 1851556 WITH SCORE 1858818.084
AT ITER 3456 NEW BEST:: SOT 11808250 SOS 7273828 HAS SOPS 6033392 HAS SOUS 1949558 HAS SOUPS 1851313 WITH SCORE 1858586.828
AT ITER 3464 NEW BEST:: SOT 11809688 SOS 7276366 HAS SOPS 6035380 HAS SOUS 1947189 HAS SOUPS 1848944 WITH SCORE 1856220.366
AT ITER 3467 NEW BEST:: SOT 11810029 SOS 7276787 HAS SOPS 6036233 HAS SOUS 1947018 HAS SOUPS 1848773 WITH SCORE 1856049.787
AT ITER 3468 NEW BEST:: SOT 11807151 SOS 7273218 HAS SOPS 6032664 HAS SOUS 1943717 HAS SOUPS 1845472 WITH SCORE 1852745.218
AT ITER 3476 NEW BEST:: SOT 11809761 SOS 7278619 HAS SOPS 6038324 HAS SOUS 1943222 HAS SOUPS 1844977 WITH SCORE 1852255.619
AT ITER 3489 NEW BEST:: SOT 11803839 SOS 7263605 HAS SOPS 6016635 HAS SOUS 1937478 HAS SOUPS 1839016 WITH SCORE 1846279.605
AT ITER 3503 NEW BEST:: SOT 11801806 SOS 7261251 HAS SOPS 6014122 HAS SOUS 1934568 HAS SOUPS 1836106 WITH SCORE 1843367.251
AT ITER 3511 NEW BEST:: SOT 11800823 SOS 7259613 HAS SOPS 6011573 HAS SOUS 1932715 HAS SOUPS 1834253 WITH SCORE 1841512.613
AT ITER 3512 NEW BEST:: SOT 11800635 SOS 7258360 HAS SOPS 6010412 HAS SOUS 1932010 HAS SOUPS 1833548 WITH SCORE 1840806.36
AT ITER 3527 NEW BEST:: SOT 11794579 SOS 7252304 HAS SOPS 6002852 HAS SOUS 1925176 HAS SOUPS 1825868 WITH SCORE 1833120.304
AT ITER 3548 NEW BEST:: SOT 11794650 SOS 7252767 HAS SOPS 6003187 HAS SOUS 1924539 HAS SOUPS 1825179 WITH SCORE 1832431.767
AT ITER 3553 NEW BEST:: SOT 11794525 SOS 7252529 HAS SOPS 6003027 HAS SOUS 1924023 HAS SOUPS 1824663 WITH SCORE 1831915.529
AT ITER 3567 NEW BEST:: SOT 11794169 SOS 7252122 HAS SOPS 6002299 HAS SOUS 1923448 HAS SOUPS 1824088 WITH SCORE 1831340.122
AT ITER 3587 NEW BEST:: SOT 11795684 SOS 7252797 HAS SOPS 6007583 HAS SOUS 1922987 HAS SOUPS 1823627 WITH SCORE 1830879.797
AT ITER 3615 NEW BEST:: SOT 11795285 SOS 7252854 HAS SOPS 6007743 HAS SOUS 1920749 HAS SOUPS 1821389 WITH SCORE 1828641.854
AT ITER 3622 NEW BEST:: SOT 11794552 SOS 7251133 HAS SOPS 6006465 HAS SOUS 1918427 HAS SOUPS 1819126 WITH SCORE 1826377.133
AT ITER 3627 NEW BEST:: SOT 11794552 SOS 7251069 HAS SOPS 6006401 HAS SOUS 1918388 HAS SOUPS 1819087 WITH SCORE 1826338.069
AT ITER 3653 NEW BEST:: SOT 11794441 SOS 7250301 HAS SOPS 6004705 HAS SOUS 1918294 HAS SOUPS 1818993 WITH SCORE 1826243.301
AT ITER 3667 NEW BEST:: SOT 11794368 SOS 7249874 HAS SOPS 6005877 HAS SOUS 1913693 HAS SOUPS 1814392 WITH SCORE 1821641.874
AT ITER 3671 NEW BEST:: SOT 11794828 SOS 7249036 HAS SOPS 6006424 HAS SOUS 1913475 HAS SOUPS 1814174 WITH SCORE 1821423.036
AT ITER 3673 NEW BEST:: SOT 11789977 SOS 7236394 HAS SOPS 5993899 HAS SOUS 1903714 HAS SOUPS 1804472 WITH SCORE 1811708.394
AT ITER 3674 NEW BEST:: SOT 11788523 SOS 7234908 HAS SOPS 5992413 HAS SOUS 1900955 HAS SOUPS 1801713 WITH SCORE 1808947.908
AT ITER 3676 NEW BEST:: SOT 11786063 SOS 7230977 HAS SOPS 5989995 HAS SOUS 1900121 HAS SOUPS 1800929 WITH SCORE 1808159.977
AT ITER 3691 NEW BEST:: SOT 11785919 SOS 7230984 HAS SOPS 5989992 HAS SOUS 1897143 HAS SOUPS 1797951 WITH SCORE 1805181.984
AT ITER 3697 NEW BEST:: SOT 11783572 SOS 7231766 HAS SOPS 5989991 HAS SOUS 1891558 HAS SOUPS 1792286 WITH SCORE 1799517.766
AT ITER 3712 NEW BEST:: SOT 11784438 SOS 7232489 HAS SOPS 5990773 HAS SOUS 1891182 HAS SOUPS 1791910 WITH SCORE 1799142.489
AT ITER 3722 NEW BEST:: SOT 11781943 SOS 7226064 HAS SOPS 5984867 HAS SOUS 1890389 HAS SOUPS 1791173 WITH SCORE 1798399.064
AT ITER 3736 NEW BEST:: SOT 11779723 SOS 7220670 HAS SOPS 5979708 HAS SOUS 1885571 HAS SOUPS 1786355 WITH SCORE 1793575.67
AT ITER 3740 NEW BEST:: SOT 11779649 SOS 7220548 HAS SOPS 5979426 HAS SOUS 1885225 HAS SOUPS 1786009 WITH SCORE 1793229.548
AT ITER 3775 NEW BEST:: SOT 11773734 SOS 7208943 HAS SOPS 5972192 HAS SOUS 1880857 HAS SOUPS 1781743 WITH SCORE 1788951.943
AT ITER 3796 NEW BEST:: SOT 11774328 SOS 7207846 HAS SOPS 5969142 HAS SOUS 1878351 HAS SOUPS 1779237 WITH SCORE 1786444.846
AT ITER 3815 NEW BEST:: SOT 11771834 SOS 7202105 HAS SOPS 5961979 HAS SOUS 1868422 HAS SOUPS 1769308 WITH SCORE 1776510.105
AT ITER 3816 NEW BEST:: SOT 11772522 SOS 7205581 HAS SOPS 5965405 HAS SOUS 1868181 HAS SOUPS 1769067 WITH SCORE 1776272.581
AT ITER 3828 NEW BEST:: SOT 11770835 SOS 7203342 HAS SOPS 5962926 HAS SOUS 1865306 HAS SOUPS 1766192 WITH SCORE 1773395.342
AT ITER 3837 NEW BEST:: SOT 11768767 SOS 7197225 HAS SOPS 5958362 HAS SOUS 1863549 HAS SOUPS 1764435 WITH SCORE 1771632.225
AT ITER 3844 NEW BEST:: SOT 11768399 SOS 7196859 HAS SOPS 5957977 HAS SOUS 1862374 HAS SOUPS 1763269 WITH SCORE 1770465.859
AT ITER 3858 NEW BEST:: SOT 11768579 SOS 7197001 HAS SOPS 5958194 HAS SOUS 1862174 HAS SOUPS 1763144 WITH SCORE 1770341.001
AT ITER 3869 NEW BEST:: SOT 11768233 SOS 7195689 HAS SOPS 5956146 HAS SOUS 1862146 HAS SOUPS 1763116 WITH SCORE 1770311.689
AT ITER 3878 NEW BEST:: SOT 11767849 SOS 7194673 HAS SOPS 5954589 HAS SOUS 1861068 HAS SOUPS 1762022 WITH SCORE 1769216.673
AT ITER 3903 NEW BEST:: SOT 11768029 SOS 7194043 HAS SOPS 5954568 HAS SOUS 1860781 HAS SOUPS 1761750 WITH SCORE 1768944.043
AT ITER 3941 NEW BEST:: SOT 11767769 SOS 7193753 HAS SOPS 5954985 HAS SOUS 1859130 HAS SOUPS 1761110 WITH SCORE 1768303.753
AT ITER 3980 NEW BEST:: SOT 11767732 SOS 7193719 HAS SOPS 5954959 HAS SOUS 1859082 HAS SOUPS 1761065 WITH SCORE 1768258.719
AT ITER 3981 NEW BEST:: SOT 11767732 SOS 7193571 HAS SOPS 5954777 HAS SOUS 1859082 HAS SOUPS 1761065 WITH SCORE 1768258.571
AT ITER 3982 NEW BEST:: SOT 11767768 SOS 7193563 HAS SOPS 5954769 HAS SOUS 1858942 HAS SOUPS 1760925 WITH SCORE 1768118.563
AT ITER 3990 NEW BEST:: SOT 11768916 SOS 7194098 HAS SOPS 5955692 HAS SOUS 1858034 HAS SOUPS 1760117 WITH SCORE 1767311.098
AT ITER 4009 NEW BEST:: SOT 11768722 SOS 7193904 HAS SOPS 5955498 HAS SOUS 1857808 HAS SOUPS 1759891 WITH SCORE 1767084.904
AT ITER 4022 NEW BEST:: SOT 11768566 SOS 7193649 HAS SOPS 5955078 HAS SOUS 1857439 HAS SOUPS 1759522 WITH SCORE 1766715.649
AT ITER 4029 NEW BEST:: SOT 11769554 SOS 7193838 HAS SOPS 5957806 HAS SOUS 1856254 HAS SOUPS 1758529 WITH SCORE 1765722.838
AT ITER 4052 NEW BEST:: SOT 11764562 SOS 7188839 HAS SOPS 5952821 HAS SOUS 1850195 HAS SOUPS 1752484 WITH SCORE 1759672.839
AT ITER 4070 NEW BEST:: SOT 11772294 SOS 7206019 HAS SOPS 5966900 HAS SOUS 1849352 HAS SOUPS 1751641 WITH SCORE 1758847.019
AT ITER 4078 NEW BEST:: SOT 11764677 SOS 7197284 HAS SOPS 5956803 HAS SOUS 1840574 HAS SOUPS 1742976 WITH SCORE 1750173.284
AT ITER 4081 NEW BEST:: SOT 11762543 SOS 7194013 HAS SOPS 5953001 HAS SOUS 1840486 HAS SOUPS 1742888 WITH SCORE 1750082.013
AT ITER 4082 NEW BEST:: SOT 11762601 SOS 7194959 HAS SOPS 5953707 HAS SOUS 1839602 HAS SOUPS 1742004 WITH SCORE 1749198.959
AT ITER 4093 NEW BEST:: SOT 11762705 SOS 7191674 HAS SOPS 5953587 HAS SOUS 1838095 HAS SOUPS 1740629 WITH SCORE 1747820.674
AT ITER 4138 NEW BEST:: SOT 11763997 SOS 7195579 HAS SOPS 5954785 HAS SOUS 1837497 HAS SOUPS 1740031 WITH SCORE 1747226.579
AT ITER 4143 NEW BEST:: SOT 11763601 SOS 7195182 HAS SOPS 5954383 HAS SOUS 1836444 HAS SOUPS 1738978 WITH SCORE 1746173.182
AT ITER 4146 NEW BEST:: SOT 11761589 SOS 7192598 HAS SOPS 5952519 HAS SOUS 1833672 HAS SOUPS 1736206 WITH SCORE 1743398.598
AT ITER 4156 NEW BEST:: SOT 11761215 SOS 7191585 HAS SOPS 5951358 HAS SOUS 1833147 HAS SOUPS 1735681 WITH SCORE 1742872.585
AT ITER 4164 NEW BEST:: SOT 11759590 SOS 7186649 HAS SOPS 5946925 HAS SOUS 1830771 HAS SOUPS 1733305 WITH SCORE 1740491.649
AT ITER 4187 NEW BEST:: SOT 11759430 SOS 7186658 HAS SOPS 5946581 HAS SOUS 1830162 HAS SOUPS 1732696 WITH SCORE 1739882.658
AT ITER 4195 NEW BEST:: SOT 11756698 SOS 7185152 HAS SOPS 5944648 HAS SOUS 1824120 HAS SOUPS 1726570 WITH SCORE 1733755.152
AT ITER 4207 NEW BEST:: SOT 11755292 SOS 7177511 HAS SOPS 5942942 HAS SOUS 1823792 HAS SOUPS 1726337 WITH SCORE 1733514.511
AT ITER 4208 NEW BEST:: SOT 11752088 SOS 7171805 HAS SOPS 5938274 HAS SOUS 1819608 HAS SOUPS 1722153 WITH SCORE 1729324.805
AT ITER 4215 NEW BEST:: SOT 11749783 SOS 7169338 HAS SOPS 5934809 HAS SOUS 1815972 HAS SOUPS 1718343 WITH SCORE 1725512.338
AT ITER 4220 NEW BEST:: SOT 11748736 SOS 7169189 HAS SOPS 5931597 HAS SOUS 1814218 HAS SOUPS 1716559 WITH SCORE 1723728.189
AT ITER 4232 NEW BEST:: SOT 11748540 SOS 7169096 HAS SOPS 5931323 HAS SOUS 1813009 HAS SOUPS 1715350 WITH SCORE 1722519.096
AT ITER 4254 NEW BEST:: SOT 11747930 SOS 7168510 HAS SOPS 5930713 HAS SOUS 1811639 HAS SOUPS 1713972 WITH SCORE 1721140.51
AT ITER 4258 NEW BEST:: SOT 11747441 SOS 7169019 HAS SOPS 5929652 HAS SOUS 1808386 HAS SOUPS 1710699 WITH SCORE 1717868.019
AT ITER 4270 NEW BEST:: SOT 11747904 SOS 7169409 HAS SOPS 5930890 HAS SOUS 1808146 HAS SOUPS 1710459 WITH SCORE 1717628.409
AT ITER 4278 NEW BEST:: SOT 11747306 SOS 7166599 HAS SOPS 5928287 HAS SOUS 1804478 HAS SOUPS 1707690 WITH SCORE 1714856.599
AT ITER 4298 NEW BEST:: SOT 11747788 SOS 7162186 HAS SOPS 5925366 HAS SOUS 1804337 HAS SOUPS 1707549 WITH SCORE 1714711.186
AT ITER 4379 NEW BEST:: SOT 11747741 SOS 7162066 HAS SOPS 5925233 HAS SOUS 1804249 HAS SOUPS 1707461 WITH SCORE 1714623.066
AT ITER 4416 NEW BEST:: SOT 11755905 SOS 7175319 HAS SOPS 5942035 HAS SOUS 1803020 HAS SOUPS 1706415 WITH SCORE 1713590.319
AT ITER 4420 NEW BEST:: SOT 11755604 SOS 7175018 HAS SOPS 5941670 HAS SOUS 1802687 HAS SOUPS 1705954 WITH SCORE 1713129.018
AT ITER 4427 NEW BEST:: SOT 11755738 SOS 7175485 HAS SOPS 5941229 HAS SOUS 1801322 HAS SOUPS 1704583 WITH SCORE 1711758.485
AT ITER 4439 NEW BEST:: SOT 11755686 SOS 7175404 HAS SOPS 5941115 HAS SOUS 1801237 HAS SOUPS 1704498 WITH SCORE 1711673.404
AT ITER 4453 NEW BEST:: SOT 11754802 SOS 7171582 HAS SOPS 5938553 HAS SOUS 1798565 HAS SOUPS 1701878 WITH SCORE 1709049.582
AT ITER 4460 NEW BEST:: SOT 11754702 SOS 7171503 HAS SOPS 5938393 HAS SOUS 1798459 HAS SOUPS 1701766 WITH SCORE 1708937.503
AT ITER 4470 NEW BEST:: SOT 11753903 SOS 7170833 HAS SOPS 5939250 HAS SOUS 1795314 HAS SOUPS 1698711 WITH SCORE 1705881.833
AT ITER 4477 NEW BEST:: SOT 11753993 SOS 7170914 HAS SOPS 5939373 HAS SOUS 1795263 HAS SOUPS 1698663 WITH SCORE 1705833.914
AT ITER 4544 NEW BEST:: SOT 11753972 SOS 7170900 HAS SOPS 5939352 HAS SOUS 1795270 HAS SOUPS 1698663 WITH SCORE 1705833.9
AT ITER 4571 NEW BEST:: SOT 11753925 SOS 7170841 HAS SOPS 5939175 HAS SOUS 1795131 HAS SOUPS 1698524 WITH SCORE 1705694.841
AT ITER 4574 NEW BEST:: SOT 11752191 SOS 7169006 HAS SOPS 5936646 HAS SOUS 1792925 HAS SOUPS 1696318 WITH SCORE 1703487.006
AT ITER 4579 NEW BEST:: SOT 11750783 SOS 7166321 HAS SOPS 5933455 HAS SOUS 1791321 HAS SOUPS 1694714 WITH SCORE 1701880.321
AT ITER 4580 NEW BEST:: SOT 11751578 SOS 7166109 HAS SOPS 5931329 HAS SOUS 1790300 HAS SOUPS 1693828 WITH SCORE 1700994.109
AT ITER 4593 NEW BEST:: SOT 11750425 SOS 7164956 HAS SOPS 5930048 HAS SOUS 1789115 HAS SOUPS 1692547 WITH SCORE 1699711.956
AT ITER 4594 NEW BEST:: SOT 11749943 SOS 7164057 HAS SOPS 5929104 HAS SOUS 1788119 HAS SOUPS 1691551 WITH SCORE 1698715.057
AT ITER 4595 NEW BEST:: SOT 11746697 SOS 7165322 HAS SOPS 5929836 HAS SOUS 1786125 HAS SOUPS 1689401 WITH SCORE 1696566.322
AT ITER 4606 NEW BEST:: SOT 11741422 SOS 7154063 HAS SOPS 5918952 HAS SOUS 1783523 HAS SOUPS 1686799 WITH SCORE 1693953.063
AT ITER 4631 NEW BEST:: SOT 11739914 SOS 7152075 HAS SOPS 5917150 HAS SOUS 1781820 HAS SOUPS 1685096 WITH SCORE 1692248.075
AT ITER 4646 NEW BEST:: SOT 11742511 SOS 7159774 HAS SOPS 5923389 HAS SOUS 1781485 HAS SOUPS 1684761 WITH SCORE 1691920.774
AT ITER 4664 NEW BEST:: SOT 11741692 SOS 7159373 HAS SOPS 5922769 HAS SOUS 1779326 HAS SOUPS 1682636 WITH SCORE 1689795.373
AT ITER 4671 NEW BEST:: SOT 11741629 SOS 7159390 HAS SOPS 5922552 HAS SOUS 1779159 HAS SOUPS 1682453 WITH SCORE 1689612.39
AT ITER 4686 NEW BEST:: SOT 11741027 SOS 7159765 HAS SOPS 5922972 HAS SOUS 1775867 HAS SOUPS 1679161 WITH SCORE 1686320.765
AT ITER 4689 NEW BEST:: SOT 11741316 SOS 7160561 HAS SOPS 5923772 HAS SOUS 1774957 HAS SOUPS 1678251 WITH SCORE 1685411.561
AT ITER 4701 NEW BEST:: SOT 11741995 SOS 7164550 HAS SOPS 5929711 HAS SOUS 1774503 HAS SOUPS 1677797 WITH SCORE 1684961.55
AT ITER 4736 NEW BEST:: SOT 11745533 SOS 7172011 HAS SOPS 5936800 HAS SOUS 1773368 HAS SOUPS 1676662 WITH SCORE 1683834.011
AT ITER 4741 NEW BEST:: SOT 11745362 SOS 7171931 HAS SOPS 5936664 HAS SOUS 1773311 HAS SOUPS 1676605 WITH SCORE 1683776.931
AT ITER 4752 NEW BEST:: SOT 11745759 SOS 7172672 HAS SOPS 5936547 HAS SOUS 1771870 HAS SOUPS 1675164 WITH SCORE 1682336.672
AT ITER 4761 NEW BEST:: SOT 11746022 SOS 7172814 HAS SOPS 5935965 HAS SOUS 1769785 HAS SOUPS 1673079 WITH SCORE 1680251.814
AT ITER 4768 NEW BEST:: SOT 11741517 SOS 7166863 HAS SOPS 5931940 HAS SOUS 1763124 HAS SOUPS 1666418 WITH SCORE 1673584.863
AT ITER 4770 NEW BEST:: SOT 11741468 SOS 7167050 HAS SOPS 5932307 HAS SOUS 1762804 HAS SOUPS 1666098 WITH SCORE 1673265.05
AT ITER 4773 NEW BEST:: SOT 11740934 SOS 7166508 HAS SOPS 5931829 HAS SOUS 1761950 HAS SOUPS 1665244 WITH SCORE 1672410.508
AT ITER 4774 NEW BEST:: SOT 11742320 SOS 7167690 HAS SOPS 5935077 HAS SOUS 1760580 HAS SOUPS 1663874 WITH SCORE 1671041.69
AT ITER 4783 NEW BEST:: SOT 11741353 SOS 7164952 HAS SOPS 5933474 HAS SOUS 1757026 HAS SOUPS 1660320 WITH SCORE 1667484.952
AT ITER 4794 NEW BEST:: SOT 11732255 SOS 7150703 HAS SOPS 5921311 HAS SOUS 1751555 HAS SOUPS 1655199 WITH SCORE 1662349.703
AT ITER 4799 NEW BEST:: SOT 11732646 SOS 7153284 HAS SOPS 5926759 HAS SOUS 1751062 HAS SOUPS 1654706 WITH SCORE 1661859.284
AT ITER 4800 NEW BEST:: SOT 11731958 SOS 7153770 HAS SOPS 5926088 HAS SOUS 1749388 HAS SOUPS 1652999 WITH SCORE 1660152.77
AT ITER 4807 NEW BEST:: SOT 11730878 SOS 7152936 HAS SOPS 5925161 HAS SOUS 1747768 HAS SOUPS 1651379 WITH SCORE 1658531.936
AT ITER 4832 NEW BEST:: SOT 11730805 SOS 7151797 HAS SOPS 5924582 HAS SOUS 1747531 HAS SOUPS 1651142 WITH SCORE 1658293.797
AT ITER 4855 NEW BEST:: SOT 11726215 SOS 7147184 HAS SOPS 5919969 HAS SOUS 1741837 HAS SOUPS 1645448 WITH SCORE 1652595.184
AT ITER 4865 NEW BEST:: SOT 11726141 SOS 7146746 HAS SOPS 5919505 HAS SOUS 1741632 HAS SOUPS 1645243 WITH SCORE 1652389.746
AT ITER 4880 NEW BEST:: SOT 11725948 SOS 7146278 HAS SOPS 5918953 HAS SOUS 1741126 HAS SOUPS 1644737 WITH SCORE 1651883.278
AT ITER 4893 NEW BEST:: SOT 11725551 SOS 7145881 HAS SOPS 5917820 HAS SOUS 1741561 HAS SOUPS 1644436 WITH SCORE 1651581.881
AT ITER 4895 NEW BEST:: SOT 11724332 SOS 7143612 HAS SOPS 5916166 HAS SOUS 1740582 HAS SOUPS 1643472 WITH SCORE 1650615.612
AT ITER 4904 NEW BEST:: SOT 11724409 SOS 7143705 HAS SOPS 5916238 HAS SOUS 1740156 HAS SOUPS 1643046 WITH SCORE 1650189.705
AT ITER 4925 NEW BEST:: SOT 11723059 SOS 7142215 HAS SOPS 5914855 HAS SOUS 1740129 HAS SOUPS 1643019 WITH SCORE 1650161.215
AT ITER 4932 NEW BEST:: SOT 11722854 SOS 7141964 HAS SOPS 5914660 HAS SOUS 1740010 HAS SOUPS 1642900 WITH SCORE 1650041.964
AT ITER 4973 NEW BEST:: SOT 11723825 SOS 7142613 HAS SOPS 5916022 HAS SOUS 1739536 HAS SOUPS 1642459 WITH SCORE 1649601.613
AT ITER 4982 NEW BEST:: SOT 11722533 SOS 7141321 HAS SOPS 5914538 HAS SOUS 1738156 HAS SOUPS 1641079 WITH SCORE 1648220.321
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-3-CTLCardinality-00 ( (AF(potential( ( 3 ) <= (tk(P267)) ))) & potential( (tk(P499)) <= (tk(P362)) ) )
PROPERTY: RERS17pb113-PT-3-CTLCardinality-01 (AF(( (! ( potential( (tk(P362)) <= (tk(P143)) ) | potential( ( 3 ) <= (tk(P99)) ) )) & (EG( potential( ( 2 ) <= (tk(P579)) ))) )))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-02 (! ( ( ( ( potential( ( 3 ) <= (tk(P317)) ) & potential( (tk(P390)) <= (tk(P576)) ) ) & potential( ( 3 ) <= (tk(P519)) ) ) | (EG( potential( (tk(P242)) <= (tk(P256)) ))) ) | ( ( ( potential( (tk(P257)) <= (tk(P600)) ) | potential( (tk(P439)) <= (tk(P568)) ) ) & ( potential( ( 1 ) <= (tk(P36)) ) & potential( ( 1 ) <= (tk(P200)) ) ) ) & (EG( potential( (tk(P217)) <= (tk(P350)) ))) ) ))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-03 (EU( ( (! potential( (tk(P252)) <= (tk(P435)) )) | (! potential( (tk(P32)) <= (tk(P452)) )) ),(AF(potential( ( 1 ) <= (tk(P46)) ))) ))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-04 (AG( ( potential( ( 3 ) <= (tk(P139)) ) | potential( (tk(P164)) <= (tk(P499)) ) )))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-05 ( (EX( (AF(potential( (tk(P414)) <= (tk(P565)) ))))) & ( (AF((! potential( (tk(P21)) <= (tk(P423)) )))) & potential( (tk(P171)) <= (tk(P299)) ) ) )
PROPERTY: RERS17pb113-PT-3-CTLCardinality-06 (EU( (AG( potential( (tk(P286)) <= (tk(P340)) ))),(EG( potential( (tk(P635)) <= (tk(P402)) ))) ))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-07 (EF(potential( ( 2 ) <= (tk(P321)) )))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-08 ( (AF(( ( potential( (tk(P437)) <= (tk(P270)) ) & potential( ( 2 ) <= (tk(P3)) ) ) & (! potential( (tk(P161)) <= (tk(P419)) )) ))) | ( potential( ( 1 ) <= (tk(P310)) ) | potential( ( 2 ) <= (tk(P120)) ) ) )
PROPERTY: RERS17pb113-PT-3-CTLCardinality-09 ( ( potential( (tk(P409)) <= (tk(P489)) ) | potential( (tk(P221)) <= (tk(P289)) ) ) & ( (! ( potential( (tk(P227)) <= (tk(P304)) ) & ( potential( (tk(P179)) <= (tk(P634)) ) | potential( ( 3 ) <= (tk(P633)) ) ) )) | (AG( ( potential( (tk(P113)) <= (tk(P116)) ) | potential( (tk(P583)) <= (tk(P551)) ) ))) ) )
PROPERTY: RERS17pb113-PT-3-CTLCardinality-10 (AF((! (AG( potential( (tk(P290)) <= (tk(P217)) ))))))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-11 (EF((! ( ( potential( (tk(P15)) <= (tk(P413)) ) | potential( (tk(P354)) <= (tk(P561)) ) ) | (! potential( (tk(P129)) <= (tk(P52)) )) ))))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-12 (! ( ( ( (! potential( (tk(P107)) <= (tk(P356)) )) | ( potential( ( 1 ) <= (tk(P158)) ) | potential( ( 3 ) <= (tk(P39)) ) ) ) & (AF(potential( ( 1 ) <= (tk(P300)) ))) ) | (EG( potential( (tk(P60)) <= (tk(P533)) ))) ))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-13 ( ( potential( (tk(P305)) <= (tk(P229)) ) | ( (AF(potential( (tk(P615)) <= (tk(P52)) ))) | ( (! potential( (tk(P84)) <= (tk(P487)) )) | ( potential( ( 2 ) <= (tk(P333)) ) | potential( ( 2 ) <= (tk(P297)) ) ) ) ) ) & ( (! (EF(potential( ( 3 ) <= (tk(P86)) )))) | ( (! (! potential( (tk(P252)) <= (tk(P517)) ))) & (! ( potential( (tk(P60)) <= (tk(P15)) ) | potential( (tk(P179)) <= (tk(P150)) ) )) ) ) )
PROPERTY: RERS17pb113-PT-3-CTLCardinality-14 (EU( (! ( potential( ( 1 ) <= (tk(P538)) ) | potential( (tk(P150)) <= (tk(P4)) ) )),(EG( potential( (tk(P43)) <= (tk(P611)) ))) ))
PROPERTY: RERS17pb113-PT-3-CTLCardinality-15 (AU( potential( (tk(P526)) <= (tk(P506)) ),(AX( potential( ( 1 ) <= (tk(P436)) ))) ))

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

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