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

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

=== Now, execution of the tool begins

BK_START 1589656850190

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 3
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 3 NEW BEST:: SOT 12198154 SOS 7754216 HAS SOPS 6418146 HAS SOUS 3042286 HAS SOUPS 2941796 WITH SCORE 2949550.216
AT ITER 5 NEW BEST:: SOT 12196290 SOS 7752364 HAS SOPS 6416294 HAS SOUS 3040434 HAS SOUPS 2939944 WITH SCORE 2947696.364
AT ITER 26 NEW BEST:: SOT 12196258 SOS 7752332 HAS SOPS 6416262 HAS SOUS 3040402 HAS SOUPS 2939912 WITH SCORE 2947664.332
AT ITER 30 NEW BEST:: SOT 12195001 SOS 7751197 HAS SOPS 6415112 HAS SOUS 3038371 HAS SOUPS 2937881 WITH SCORE 2945632.197
AT ITER 32 NEW BEST:: SOT 12195610 SOS 7753841 HAS SOPS 6418153 HAS SOUS 3035268 HAS SOUPS 2934825 WITH SCORE 2942578.841
AT ITER 40 NEW BEST:: SOT 12196425 SOS 7758969 HAS SOPS 6421922 HAS SOUS 3032350 HAS SOUPS 2931907 WITH SCORE 2939665.969
AT ITER 44 NEW BEST:: SOT 12168275 SOS 7719063 HAS SOPS 6381944 HAS SOUS 3003842 HAS SOUPS 2903342 WITH SCORE 2911061.063
AT ITER 46 NEW BEST:: SOT 12169957 SOS 7721689 HAS SOPS 6385411 HAS SOUS 3003427 HAS SOUPS 2903163 WITH SCORE 2910884.689
AT ITER 59 NEW BEST:: SOT 12170365 SOS 7718401 HAS SOPS 6383096 HAS SOUS 3002231 HAS SOUPS 2902079 WITH SCORE 2909797.401
AT ITER 71 NEW BEST:: SOT 12170410 SOS 7718949 HAS SOPS 6383878 HAS SOUS 3002106 HAS SOUPS 2901954 WITH SCORE 2909672.949
AT ITER 79 NEW BEST:: SOT 12170233 SOS 7718747 HAS SOPS 6383301 HAS SOUS 3000846 HAS SOUPS 2900469 WITH SCORE 2908187.747
AT ITER 80 NEW BEST:: SOT 12171946 SOS 7723563 HAS SOPS 6388848 HAS SOUS 3000209 HAS SOUPS 2899832 WITH SCORE 2907555.563
AT ITER 81 NEW BEST:: SOT 12162465 SOS 7713839 HAS SOPS 6379187 HAS SOUS 2990423 HAS SOUPS 2890107 WITH SCORE 2897820.839
AT ITER 88 NEW BEST:: SOT 12162102 SOS 7713094 HAS SOPS 6378395 HAS SOUS 2990074 HAS SOUPS 2889775 WITH SCORE 2897488.094
AT ITER 89 NEW BEST:: SOT 12161501 SOS 7712685 HAS SOPS 6377577 HAS SOUS 2987840 HAS SOUPS 2887688 WITH SCORE 2895400.685
AT ITER 95 NEW BEST:: SOT 12158607 SOS 7709791 HAS SOPS 6374683 HAS SOUS 2984754 HAS SOUPS 2884602 WITH SCORE 2892311.791
AT ITER 97 NEW BEST:: SOT 12161164 SOS 7718476 HAS SOPS 6388984 HAS SOUS 2979306 HAS SOUPS 2879324 WITH SCORE 2887042.476
AT ITER 98 NEW BEST:: SOT 12161624 SOS 7716886 HAS SOPS 6387881 HAS SOUS 2976214 HAS SOUPS 2876600 WITH SCORE 2884316.886
AT ITER 102 NEW BEST:: SOT 12162005 SOS 7716877 HAS SOPS 6387422 HAS SOUS 2975558 HAS SOUPS 2875944 WITH SCORE 2883660.877
AT ITER 111 NEW BEST:: SOT 12159423 SOS 7712122 HAS SOPS 6383449 HAS SOUS 2971417 HAS SOUPS 2871803 WITH SCORE 2879515.122
AT ITER 118 NEW BEST:: SOT 12149738 SOS 7690422 HAS SOPS 6374876 HAS SOUS 2964968 HAS SOUPS 2865831 WITH SCORE 2873521.422
AT ITER 127 NEW BEST:: SOT 12149272 SOS 7690339 HAS SOPS 6377136 HAS SOUS 2960826 HAS SOUPS 2861868 WITH SCORE 2869558.339
AT ITER 132 NEW BEST:: SOT 12148778 SOS 7691130 HAS SOPS 6382976 HAS SOUS 2958521 HAS SOUPS 2859568 WITH SCORE 2867259.13
AT ITER 134 NEW BEST:: SOT 12149258 SOS 7691818 HAS SOPS 6385248 HAS SOUS 2955403 HAS SOUPS 2857178 WITH SCORE 2864869.818
AT ITER 141 NEW BEST:: SOT 12145799 SOS 7686966 HAS SOPS 6380448 HAS SOUS 2950455 HAS SOUPS 2852252 WITH SCORE 2859938.966
AT ITER 142 NEW BEST:: SOT 12145701 SOS 7686363 HAS SOPS 6381041 HAS SOUS 2950414 HAS SOUPS 2852241 WITH SCORE 2859927.363
AT ITER 159 NEW BEST:: SOT 12144983 SOS 7685615 HAS SOPS 6379843 HAS SOUS 2948320 HAS SOUPS 2850027 WITH SCORE 2857712.615
AT ITER 162 NEW BEST:: SOT 12143153 SOS 7679639 HAS SOPS 6375981 HAS SOUS 2946474 HAS SOUPS 2848181 WITH SCORE 2855860.639
AT ITER 164 NEW BEST:: SOT 12139667 SOS 7675246 HAS SOPS 6374157 HAS SOUS 2941391 HAS SOUPS 2843191 WITH SCORE 2850866.246
AT ITER 169 NEW BEST:: SOT 12136670 SOS 7670722 HAS SOPS 6372327 HAS SOUS 2934811 HAS SOUPS 2836611 WITH SCORE 2844281.722
AT ITER 182 NEW BEST:: SOT 12136623 SOS 7671650 HAS SOPS 6372075 HAS SOUS 2934066 HAS SOUPS 2835866 WITH SCORE 2843537.65
AT ITER 193 NEW BEST:: SOT 12134232 SOS 7667970 HAS SOPS 6368438 HAS SOUS 2929783 HAS SOUPS 2831679 WITH SCORE 2839346.97
AT ITER 200 NEW BEST:: SOT 12134228 SOS 7667930 HAS SOPS 6368380 HAS SOUS 2929662 HAS SOUPS 2831558 WITH SCORE 2839225.93
AT ITER 212 NEW BEST:: SOT 12131874 SOS 7665569 HAS SOPS 6365605 HAS SOUS 2926523 HAS SOUPS 2828285 WITH SCORE 2835950.569
AT ITER 214 NEW BEST:: SOT 12130357 SOS 7661907 HAS SOPS 6363992 HAS SOUS 2921698 HAS SOUPS 2823551 WITH SCORE 2831212.907
AT ITER 216 NEW BEST:: SOT 12130002 SOS 7663196 HAS SOPS 6362234 HAS SOUS 2918212 HAS SOUPS 2820012 WITH SCORE 2827675.196
AT ITER 220 NEW BEST:: SOT 12125494 SOS 7658281 HAS SOPS 6354128 HAS SOUS 2909026 HAS SOUPS 2810888 WITH SCORE 2818546.281
AT ITER 221 NEW BEST:: SOT 12125081 SOS 7656442 HAS SOPS 6352670 HAS SOUS 2908167 HAS SOUPS 2810029 WITH SCORE 2817685.442
AT ITER 226 NEW BEST:: SOT 12125175 SOS 7655916 HAS SOPS 6351958 HAS SOUS 2908032 HAS SOUPS 2809894 WITH SCORE 2817549.916
AT ITER 259 NEW BEST:: SOT 12123313 SOS 7652797 HAS SOPS 6347700 HAS SOUS 2904582 HAS SOUPS 2806394 WITH SCORE 2814046.797
AT ITER 261 NEW BEST:: SOT 12120318 SOS 7648978 HAS SOPS 6342983 HAS SOUS 2894099 HAS SOUPS 2796401 WITH SCORE 2804049.978
AT ITER 262 NEW BEST:: SOT 12114357 SOS 7640550 HAS SOPS 6335366 HAS SOUS 2886333 HAS SOUPS 2788746 WITH SCORE 2796386.55
AT ITER 270 NEW BEST:: SOT 12114459 SOS 7640646 HAS SOPS 6335372 HAS SOUS 2885795 HAS SOUPS 2788208 WITH SCORE 2795848.646
AT ITER 271 NEW BEST:: SOT 12118255 SOS 7656254 HAS SOPS 6353572 HAS SOUS 2883911 HAS SOUPS 2786496 WITH SCORE 2794152.254
AT ITER 274 NEW BEST:: SOT 12110987 SOS 7648580 HAS SOPS 6343593 HAS SOUS 2874513 HAS SOUPS 2777034 WITH SCORE 2784682.58
AT ITER 282 NEW BEST:: SOT 12110569 SOS 7648097 HAS SOPS 6342884 HAS SOUS 2873600 HAS SOUPS 2776121 WITH SCORE 2783769.097
AT ITER 287 NEW BEST:: SOT 12111227 SOS 7651261 HAS SOPS 6347454 HAS SOUS 2872453 HAS SOUPS 2774974 WITH SCORE 2782625.261
AT ITER 290 NEW BEST:: SOT 12117558 SOS 7656878 HAS SOPS 6356470 HAS SOUS 2869100 HAS SOUPS 2772221 WITH SCORE 2779877.878
AT ITER 291 NEW BEST:: SOT 12115927 SOS 7652529 HAS SOPS 6352941 HAS SOUS 2864679 HAS SOUPS 2768011 WITH SCORE 2775663.529
AT ITER 320 NEW BEST:: SOT 12115717 SOS 7652273 HAS SOPS 6352569 HAS SOUS 2864189 HAS SOUPS 2767515 WITH SCORE 2775167.273
AT ITER 322 NEW BEST:: SOT 12115023 SOS 7651554 HAS SOPS 6351475 HAS SOUS 2862045 HAS SOUPS 2765341 WITH SCORE 2772992.554
AT ITER 333 NEW BEST:: SOT 12113820 SOS 7647814 HAS SOPS 6349910 HAS SOUS 2860768 HAS SOUPS 2764064 WITH SCORE 2771711.814
AT ITER 334 NEW BEST:: SOT 12116901 SOS 7650953 HAS SOPS 6354180 HAS SOUS 2860355 HAS SOUPS 2763651 WITH SCORE 2771301.953
AT ITER 338 NEW BEST:: SOT 12117407 SOS 7652751 HAS SOPS 6356775 HAS SOUS 2859853 HAS SOUPS 2763149 WITH SCORE 2770801.751
AT ITER 341 NEW BEST:: SOT 12118547 SOS 7653048 HAS SOPS 6356675 HAS SOUS 2856837 HAS SOUPS 2760133 WITH SCORE 2767786.048
AT ITER 344 NEW BEST:: SOT 12117908 SOS 7653560 HAS SOPS 6356665 HAS SOUS 2853306 HAS SOUPS 2756602 WITH SCORE 2764255.56
AT ITER 351 NEW BEST:: SOT 12117099 SOS 7653035 HAS SOPS 6356219 HAS SOUS 2852604 HAS SOUPS 2755926 WITH SCORE 2763579.035
AT ITER 362 NEW BEST:: SOT 12115508 SOS 7651319 HAS SOPS 6354860 HAS SOUS 2848256 HAS SOUPS 2751872 WITH SCORE 2759523.319
AT ITER 364 NEW BEST:: SOT 12115512 SOS 7651323 HAS SOPS 6354834 HAS SOUS 2848197 HAS SOUPS 2751813 WITH SCORE 2759464.323
AT ITER 373 NEW BEST:: SOT 12115285 SOS 7651082 HAS SOPS 6354376 HAS SOUS 2847529 HAS SOUPS 2751145 WITH SCORE 2758796.082
AT ITER 379 NEW BEST:: SOT 12114983 SOS 7651124 HAS SOPS 6354508 HAS SOUS 2846669 HAS SOUPS 2750285 WITH SCORE 2757936.124
AT ITER 381 NEW BEST:: SOT 12114215 SOS 7650356 HAS SOPS 6353740 HAS SOUS 2844459 HAS SOUPS 2748075 WITH SCORE 2755725.356
AT ITER 391 NEW BEST:: SOT 12114251 SOS 7653015 HAS SOPS 6357374 HAS SOUS 2844137 HAS SOUPS 2747753 WITH SCORE 2755406.015
AT ITER 392 NEW BEST:: SOT 12106740 SOS 7645504 HAS SOPS 6349863 HAS SOUS 2836626 HAS SOUPS 2740242 WITH SCORE 2747887.504
AT ITER 407 NEW BEST:: SOT 12105599 SOS 7644329 HAS SOPS 6348280 HAS SOUS 2834376 HAS SOUPS 2738009 WITH SCORE 2745653.329
AT ITER 409 NEW BEST:: SOT 12104286 SOS 7642195 HAS SOPS 6346272 HAS SOUS 2832498 HAS SOUPS 2736131 WITH SCORE 2743773.195
AT ITER 422 NEW BEST:: SOT 12103669 SOS 7641316 HAS SOPS 6345352 HAS SOUS 2831441 HAS SOUPS 2735082 WITH SCORE 2742723.316
AT ITER 423 NEW BEST:: SOT 12095511 SOS 7610362 HAS SOPS 6321056 HAS SOUS 2831402 HAS SOUPS 2735043 WITH SCORE 2742653.362
AT ITER 429 NEW BEST:: SOT 12095196 SOS 7608883 HAS SOPS 6319797 HAS SOUS 2830415 HAS SOUPS 2734056 WITH SCORE 2741664.883
AT ITER 431 NEW BEST:: SOT 12094134 SOS 7607693 HAS SOPS 6318372 HAS SOUS 2828045 HAS SOUPS 2731760 WITH SCORE 2739367.693
AT ITER 437 NEW BEST:: SOT 12093802 SOS 7606255 HAS SOPS 6316530 HAS SOUS 2827542 HAS SOUPS 2731257 WITH SCORE 2738863.255
AT ITER 440 NEW BEST:: SOT 12090606 SOS 7600856 HAS SOPS 6308299 HAS SOUS 2823224 HAS SOUPS 2726884 WITH SCORE 2734484.856
AT ITER 451 NEW BEST:: SOT 12087719 SOS 7597856 HAS SOPS 6306130 HAS SOUS 2816619 HAS SOUPS 2720322 WITH SCORE 2727919.856
AT ITER 461 NEW BEST:: SOT 12093535 SOS 7603725 HAS SOPS 6313111 HAS SOUS 2815421 HAS SOUPS 2719082 WITH SCORE 2726685.725
AT ITER 462 NEW BEST:: SOT 12092646 SOS 7602152 HAS SOPS 6312132 HAS SOUS 2814261 HAS SOUPS 2717922 WITH SCORE 2725524.152
AT ITER 465 NEW BEST:: SOT 12092704 SOS 7602263 HAS SOPS 6312720 HAS SOUS 2814197 HAS SOUPS 2717858 WITH SCORE 2725460.263
AT ITER 468 NEW BEST:: SOT 12093322 SOS 7603198 HAS SOPS 6313274 HAS SOUS 2808757 HAS SOUPS 2712418 WITH SCORE 2720021.198
AT ITER 472 NEW BEST:: SOT 12094108 SOS 7605412 HAS SOPS 6317059 HAS SOUS 2808571 HAS SOUPS 2712232 WITH SCORE 2719837.412
AT ITER 474 NEW BEST:: SOT 12094465 SOS 7607503 HAS SOPS 6321803 HAS SOUS 2807677 HAS SOUPS 2711338 WITH SCORE 2718945.503
AT ITER 477 NEW BEST:: SOT 12094449 SOS 7607413 HAS SOPS 6321806 HAS SOUS 2807627 HAS SOUPS 2711288 WITH SCORE 2718895.413
AT ITER 484 NEW BEST:: SOT 12086910 SOS 7596528 HAS SOPS 6311270 HAS SOUS 2796309 HAS SOUPS 2699595 WITH SCORE 2707191.528
AT ITER 498 NEW BEST:: SOT 12086508 SOS 7595383 HAS SOPS 6310544 HAS SOUS 2795846 HAS SOUPS 2699303 WITH SCORE 2706898.383
AT ITER 508 NEW BEST:: SOT 12080342 SOS 7586346 HAS SOPS 6299460 HAS SOUS 2783475 HAS SOUPS 2686932 WITH SCORE 2694518.346
AT ITER 523 NEW BEST:: SOT 12080271 SOS 7586275 HAS SOPS 6299389 HAS SOUS 2783400 HAS SOUPS 2686857 WITH SCORE 2694443.275
AT ITER 529 NEW BEST:: SOT 12073031 SOS 7575319 HAS SOPS 6288059 HAS SOUS 2770581 HAS SOUPS 2674038 WITH SCORE 2681613.319
AT ITER 530 NEW BEST:: SOT 12072047 SOS 7575094 HAS SOPS 6286093 HAS SOUS 2769072 HAS SOUPS 2672406 WITH SCORE 2679981.094
AT ITER 536 NEW BEST:: SOT 12070021 SOS 7571963 HAS SOPS 6281024 HAS SOUS 2763889 HAS SOUPS 2667223 WITH SCORE 2674794.963
AT ITER 539 NEW BEST:: SOT 12069032 SOS 7570474 HAS SOPS 6279910 HAS SOUS 2762193 HAS SOUPS 2665527 WITH SCORE 2673097.474
AT ITER 543 NEW BEST:: SOT 12068837 SOS 7572312 HAS SOPS 6284404 HAS SOUS 2757247 HAS SOUPS 2660699 WITH SCORE 2668271.312
AT ITER 546 NEW BEST:: SOT 12065689 SOS 7569164 HAS SOPS 6281256 HAS SOUS 2754011 HAS SOUPS 2657463 WITH SCORE 2665032.164
AT ITER 559 NEW BEST:: SOT 12065419 SOS 7569863 HAS SOPS 6281386 HAS SOUS 2753049 HAS SOUPS 2656497 WITH SCORE 2664066.863
AT ITER 561 NEW BEST:: SOT 12064372 SOS 7571160 HAS SOPS 6281863 HAS SOUS 2746150 HAS SOUPS 2649649 WITH SCORE 2657220.16
AT ITER 566 NEW BEST:: SOT 12062354 SOS 7571351 HAS SOPS 6281591 HAS SOUS 2738858 HAS SOUPS 2642342 WITH SCORE 2649913.351
AT ITER 581 NEW BEST:: SOT 12061154 SOS 7569903 HAS SOPS 6279937 HAS SOUS 2736355 HAS SOUPS 2639850 WITH SCORE 2647419.903
AT ITER 587 NEW BEST:: SOT 12062524 SOS 7576602 HAS SOPS 6286252 HAS SOUS 2727159 HAS SOUPS 2631130 WITH SCORE 2638706.602
AT ITER 589 NEW BEST:: SOT 12060878 SOS 7573871 HAS SOPS 6283578 HAS SOUS 2724939 HAS SOUPS 2628809 WITH SCORE 2636382.871
AT ITER 592 NEW BEST:: SOT 12058598 SOS 7570506 HAS SOPS 6285407 HAS SOUS 2722905 HAS SOUPS 2626775 WITH SCORE 2634345.506
AT ITER 606 NEW BEST:: SOT 12059585 SOS 7574176 HAS SOPS 6287081 HAS SOUS 2721614 HAS SOUPS 2625484 WITH SCORE 2633058.176
AT ITER 608 NEW BEST:: SOT 12061255 SOS 7579313 HAS SOPS 6300613 HAS SOUS 2713884 HAS SOUPS 2618002 WITH SCORE 2625581.313
AT ITER 614 NEW BEST:: SOT 12060727 SOS 7578775 HAS SOPS 6299925 HAS SOUS 2713036 HAS SOUPS 2617154 WITH SCORE 2624732.775
AT ITER 615 NEW BEST:: SOT 12060153 SOS 7577550 HAS SOPS 6297717 HAS SOUS 2710113 HAS SOUPS 2614231 WITH SCORE 2621808.55
AT ITER 618 NEW BEST:: SOT 12058180 SOS 7574833 HAS SOPS 6294732 HAS SOUS 2708418 HAS SOUPS 2612536 WITH SCORE 2620110.833
AT ITER 629 NEW BEST:: SOT 12057827 SOS 7573924 HAS SOPS 6294058 HAS SOUS 2708260 HAS SOUPS 2612434 WITH SCORE 2620007.924
AT ITER 640 NEW BEST:: SOT 12057872 SOS 7573603 HAS SOPS 6293962 HAS SOUS 2708226 HAS SOUPS 2612400 WITH SCORE 2619973.603
AT ITER 650 NEW BEST:: SOT 12054061 SOS 7567581 HAS SOPS 6291826 HAS SOUS 2707595 HAS SOUPS 2611861 WITH SCORE 2619428.581
AT ITER 656 NEW BEST:: SOT 12051776 SOS 7563656 HAS SOPS 6288812 HAS SOUS 2703847 HAS SOUPS 2608089 WITH SCORE 2615652.656
AT ITER 662 NEW BEST:: SOT 12045334 SOS 7548215 HAS SOPS 6279528 HAS SOUS 2683930 HAS SOUPS 2588674 WITH SCORE 2596222.215
AT ITER 666 NEW BEST:: SOT 12050689 SOS 7557708 HAS SOPS 6284629 HAS SOUS 2681035 HAS SOUPS 2585744 WITH SCORE 2593301.708
AT ITER 671 NEW BEST:: SOT 12050694 SOS 7557686 HAS SOPS 6284605 HAS SOUS 2680907 HAS SOUPS 2585616 WITH SCORE 2593173.686
AT ITER 674 NEW BEST:: SOT 12050454 SOS 7558523 HAS SOPS 6285438 HAS SOUS 2680292 HAS SOUPS 2585001 WITH SCORE 2592559.523
AT ITER 713 NEW BEST:: SOT 12035195 SOS 7542892 HAS SOPS 6267219 HAS SOUS 2659793 HAS SOUPS 2564502 WITH SCORE 2572044.892
AT ITER 714 NEW BEST:: SOT 12034720 SOS 7547031 HAS SOPS 6271001 HAS SOUS 2656751 HAS SOUPS 2561460 WITH SCORE 2569007.031
AT ITER 721 NEW BEST:: SOT 12034312 SOS 7546606 HAS SOPS 6270321 HAS SOUS 2655423 HAS SOUPS 2560132 WITH SCORE 2567678.606
AT ITER 743 NEW BEST:: SOT 12038095 SOS 7550875 HAS SOPS 6277363 HAS SOUS 2650253 HAS SOUPS 2554962 WITH SCORE 2562512.875
AT ITER 752 NEW BEST:: SOT 12037812 SOS 7550563 HAS SOPS 6276616 HAS SOUS 2647846 HAS SOUPS 2552555 WITH SCORE 2560105.563
AT ITER 756 NEW BEST:: SOT 12038370 SOS 7550478 HAS SOPS 6276491 HAS SOUS 2646446 HAS SOUPS 2552011 WITH SCORE 2559561.478
AT ITER 760 NEW BEST:: SOT 12032483 SOS 7539976 HAS SOPS 6266927 HAS SOUS 2638690 HAS SOUPS 2544255 WITH SCORE 2551794.976
AT ITER 767 NEW BEST:: SOT 12030343 SOS 7536830 HAS SOPS 6263660 HAS SOUS 2634459 HAS SOUPS 2540024 WITH SCORE 2547560.83
AT ITER 780 NEW BEST:: SOT 12030525 SOS 7536258 HAS SOPS 6262512 HAS SOUS 2633232 HAS SOUPS 2538878 WITH SCORE 2546414.258
AT ITER 787 NEW BEST:: SOT 12031797 SOS 7541095 HAS SOPS 6266680 HAS SOUS 2633175 HAS SOUPS 2538821 WITH SCORE 2546362.095
AT ITER 795 NEW BEST:: SOT 12035898 SOS 7552593 HAS SOPS 6276644 HAS SOUS 2628232 HAS SOUPS 2533531 WITH SCORE 2541083.593
AT ITER 796 NEW BEST:: SOT 12036255 SOS 7554444 HAS SOPS 6278630 HAS SOUS 2628095 HAS SOUPS 2533394 WITH SCORE 2540948.444
AT ITER 821 NEW BEST:: SOT 12036144 SOS 7554333 HAS SOPS 6278519 HAS SOUS 2628092 HAS SOUPS 2533391 WITH SCORE 2540945.333
AT ITER 844 NEW BEST:: SOT 12035022 SOS 7553211 HAS SOPS 6277397 HAS SOUS 2626970 HAS SOUPS 2532269 WITH SCORE 2539822.211
AT ITER 863 NEW BEST:: SOT 12034807 SOS 7558147 HAS SOPS 6282055 HAS SOUS 2626384 HAS SOUPS 2531683 WITH SCORE 2539241.147
AT ITER 876 NEW BEST:: SOT 12034662 SOS 7557954 HAS SOPS 6282066 HAS SOUS 2625813 HAS SOUPS 2531190 WITH SCORE 2538747.954
AT ITER 880 NEW BEST:: SOT 12033878 SOS 7557081 HAS SOPS 6281810 HAS SOUS 2623687 HAS SOUPS 2529158 WITH SCORE 2536715.081
AT ITER 883 NEW BEST:: SOT 12026430 SOS 7534681 HAS SOPS 6266820 HAS SOUS 2615490 HAS SOUPS 2522724 WITH SCORE 2530258.681
AT ITER 884 NEW BEST:: SOT 12026652 SOS 7533291 HAS SOPS 6266134 HAS SOUS 2614176 HAS SOUPS 2521410 WITH SCORE 2528943.291
AT ITER 905 NEW BEST:: SOT 12026495 SOS 7536343 HAS SOPS 6270849 HAS SOUS 2611388 HAS SOUPS 2518622 WITH SCORE 2526158.343
AT ITER 906 NEW BEST:: SOT 12027281 SOS 7538015 HAS SOPS 6271409 HAS SOUS 2611249 HAS SOUPS 2518483 WITH SCORE 2526021.015
AT ITER 914 NEW BEST:: SOT 12026135 SOS 7536824 HAS SOPS 6269831 HAS SOUS 2608949 HAS SOUPS 2516217 WITH SCORE 2523753.824
AT ITER 930 NEW BEST:: SOT 12022792 SOS 7534415 HAS SOPS 6269690 HAS SOUS 2602018 HAS SOUPS 2510168 WITH SCORE 2517702.415
AT ITER 943 NEW BEST:: SOT 12024406 SOS 7537164 HAS SOPS 6272370 HAS SOUS 2601369 HAS SOUPS 2509513 WITH SCORE 2517050.164
AT ITER 945 NEW BEST:: SOT 12025832 SOS 7539925 HAS SOPS 6275305 HAS SOUS 2600956 HAS SOUPS 2508991 WITH SCORE 2516530.925
AT ITER 951 NEW BEST:: SOT 12025813 SOS 7540380 HAS SOPS 6276834 HAS SOUS 2598657 HAS SOUPS 2506695 WITH SCORE 2514235.38
AT ITER 958 NEW BEST:: SOT 12028586 SOS 7545317 HAS SOPS 6286211 HAS SOUS 2598556 HAS SOUPS 2506594 WITH SCORE 2514139.317
AT ITER 962 NEW BEST:: SOT 12024077 SOS 7539172 HAS SOPS 6282604 HAS SOUS 2595447 HAS SOUPS 2503485 WITH SCORE 2511024.172
AT ITER 971 NEW BEST:: SOT 12022244 SOS 7536414 HAS SOPS 6279692 HAS SOUS 2593110 HAS SOUPS 2501080 WITH SCORE 2508616.414
AT ITER 991 NEW BEST:: SOT 12022474 SOS 7541357 HAS SOPS 6287814 HAS SOUS 2591853 HAS SOUPS 2499823 WITH SCORE 2507364.357
AT ITER 1012 NEW BEST:: SOT 12022133 SOS 7540917 HAS SOPS 6288393 HAS SOUS 2589570 HAS SOUPS 2497540 WITH SCORE 2505080.917
AT ITER 1013 NEW BEST:: SOT 12022001 SOS 7540741 HAS SOPS 6288113 HAS SOUS 2589046 HAS SOUPS 2497004 WITH SCORE 2504544.741
AT ITER 1034 NEW BEST:: SOT 12018749 SOS 7537346 HAS SOPS 6282916 HAS SOUS 2585681 HAS SOUPS 2493639 WITH SCORE 2501176.346
AT ITER 1046 NEW BEST:: SOT 12017964 SOS 7536169 HAS SOPS 6281969 HAS SOUS 2584330 HAS SOUPS 2492288 WITH SCORE 2499824.169
AT ITER 1057 NEW BEST:: SOT 12019785 SOS 7543120 HAS SOPS 6289358 HAS SOUS 2581561 HAS SOUPS 2489519 WITH SCORE 2497062.12
AT ITER 1063 NEW BEST:: SOT 12017692 SOS 7546218 HAS SOPS 6286975 HAS SOUS 2569212 HAS SOUPS 2477170 WITH SCORE 2484716.218
AT ITER 1071 NEW BEST:: SOT 12015599 SOS 7535897 HAS SOPS 6281906 HAS SOUS 2568178 HAS SOUPS 2476136 WITH SCORE 2483671.897
AT ITER 1083 NEW BEST:: SOT 12010003 SOS 7538257 HAS SOPS 6279553 HAS SOUS 2553543 HAS SOUPS 2461357 WITH SCORE 2468895.257
AT ITER 1090 NEW BEST:: SOT 12008398 SOS 7536652 HAS SOPS 6277948 HAS SOUS 2552050 HAS SOUPS 2459864 WITH SCORE 2467400.652
AT ITER 1092 NEW BEST:: SOT 12006763 SOS 7537471 HAS SOPS 6276666 HAS SOUS 2547280 HAS SOUPS 2455048 WITH SCORE 2462585.471
AT ITER 1095 NEW BEST:: SOT 12002713 SOS 7533421 HAS SOPS 6272616 HAS SOUS 2543062 HAS SOUPS 2450830 WITH SCORE 2458363.421
AT ITER 1096 NEW BEST:: SOT 12002848 SOS 7533718 HAS SOPS 6273012 HAS SOUS 2543025 HAS SOUPS 2450793 WITH SCORE 2458326.718
AT ITER 1102 NEW BEST:: SOT 12002682 SOS 7531908 HAS SOPS 6271848 HAS SOUS 2542248 HAS SOUPS 2450016 WITH SCORE 2457547.908
AT ITER 1110 NEW BEST:: SOT 11992394 SOS 7520278 HAS SOPS 6259231 HAS SOUS 2525370 HAS SOUPS 2433204 WITH SCORE 2440724.278
AT ITER 1136 NEW BEST:: SOT 11990323 SOS 7517633 HAS SOPS 6256056 HAS SOUS 2521685 HAS SOUPS 2429460 WITH SCORE 2436977.633
AT ITER 1158 NEW BEST:: SOT 11989986 SOS 7517088 HAS SOPS 6255717 HAS SOUS 2520952 HAS SOUPS 2428739 WITH SCORE 2436256.088
AT ITER 1161 NEW BEST:: SOT 11990892 SOS 7517883 HAS SOPS 6256061 HAS SOUS 2518337 HAS SOUPS 2426124 WITH SCORE 2433641.883
AT ITER 1164 NEW BEST:: SOT 11977126 SOS 7504033 HAS SOPS 6241682 HAS SOUS 2493388 HAS SOUPS 2401096 WITH SCORE 2408600.033
AT ITER 1183 NEW BEST:: SOT 11965679 SOS 7490633 HAS SOPS 6226574 HAS SOUS 2479113 HAS SOUPS 2385889 WITH SCORE 2393379.633
AT ITER 1186 NEW BEST:: SOT 11962020 SOS 7480719 HAS SOPS 6217503 HAS SOUS 2478260 HAS SOUPS 2385036 WITH SCORE 2392516.719
AT ITER 1192 NEW BEST:: SOT 11962157 SOS 7483170 HAS SOPS 6219699 HAS SOUS 2469405 HAS SOUPS 2376249 WITH SCORE 2383732.17
AT ITER 1213 NEW BEST:: SOT 11961149 SOS 7481022 HAS SOPS 6217994 HAS SOUS 2466940 HAS SOUPS 2373784 WITH SCORE 2381265.022
AT ITER 1216 NEW BEST:: SOT 11959164 SOS 7478974 HAS SOPS 6215100 HAS SOUS 2461902 HAS SOUPS 2368746 WITH SCORE 2376224.974
AT ITER 1234 NEW BEST:: SOT 11958363 SOS 7478148 HAS SOPS 6213899 HAS SOUS 2459433 HAS SOUPS 2366277 WITH SCORE 2373755.148
AT ITER 1240 NEW BEST:: SOT 11958459 SOS 7478217 HAS SOPS 6213980 HAS SOUS 2459404 HAS SOUPS 2366248 WITH SCORE 2373726.217
AT ITER 1246 NEW BEST:: SOT 11956399 SOS 7473805 HAS SOPS 6212233 HAS SOUS 2458164 HAS SOUPS 2365008 WITH SCORE 2372481.805
AT ITER 1261 NEW BEST:: SOT 11953220 SOS 7470601 HAS SOPS 6208686 HAS SOUS 2453321 HAS SOUPS 2360257 WITH SCORE 2367727.601
AT ITER 1264 NEW BEST:: SOT 11953087 SOS 7470424 HAS SOPS 6208739 HAS SOUS 2452502 HAS SOUPS 2359516 WITH SCORE 2366986.424
AT ITER 1288 NEW BEST:: SOT 11949285 SOS 7463021 HAS SOPS 6202622 HAS SOUS 2449369 HAS SOUPS 2356440 WITH SCORE 2363903.021
AT ITER 1326 NEW BEST:: SOT 11948200 SOS 7462348 HAS SOPS 6201150 HAS SOUS 2448816 HAS SOUPS 2355887 WITH SCORE 2363349.348
AT ITER 1327 NEW BEST:: SOT 11946607 SOS 7460755 HAS SOPS 6199029 HAS SOUS 2448939 HAS SOUPS 2355482 WITH SCORE 2362942.755
AT ITER 1333 NEW BEST:: SOT 11947325 SOS 7461693 HAS SOPS 6201277 HAS SOUS 2442886 HAS SOUPS 2350655 WITH SCORE 2358116.693
AT ITER 1338 NEW BEST:: SOT 11946959 SOS 7463310 HAS SOPS 6202894 HAS SOUS 2441823 HAS SOUPS 2349592 WITH SCORE 2357055.31
AT ITER 1339 NEW BEST:: SOT 11941625 SOS 7457941 HAS SOPS 6197000 HAS SOUS 2434608 HAS SOUPS 2342242 WITH SCORE 2349699.941
AT ITER 1352 NEW BEST:: SOT 11941538 SOS 7457732 HAS SOPS 6196686 HAS SOUS 2434251 HAS SOUPS 2341885 WITH SCORE 2349342.732
AT ITER 1353 NEW BEST:: SOT 11939891 SOS 7456525 HAS SOPS 6195844 HAS SOUS 2430946 HAS SOUPS 2338596 WITH SCORE 2346052.525
AT ITER 1355 NEW BEST:: SOT 11940056 SOS 7457545 HAS SOPS 6197692 HAS SOUS 2430405 HAS SOUPS 2338055 WITH SCORE 2345512.545
AT ITER 1358 NEW BEST:: SOT 11938269 SOS 7452902 HAS SOPS 6196291 HAS SOUS 2429956 HAS SOUPS 2337610 WITH SCORE 2345062.902
AT ITER 1363 NEW BEST:: SOT 11938709 SOS 7452440 HAS SOPS 6195968 HAS SOUS 2429933 HAS SOUPS 2337587 WITH SCORE 2345039.44
AT ITER 1364 NEW BEST:: SOT 11941879 SOS 7456853 HAS SOPS 6203362 HAS SOUS 2425863 HAS SOUPS 2333613 WITH SCORE 2341069.853
AT ITER 1369 NEW BEST:: SOT 11941994 SOS 7457178 HAS SOPS 6204022 HAS SOUS 2425807 HAS SOUPS 2333557 WITH SCORE 2341014.178
AT ITER 1376 NEW BEST:: SOT 11941438 SOS 7455995 HAS SOPS 6203013 HAS SOUS 2422282 HAS SOUPS 2330032 WITH SCORE 2337487.995
AT ITER 1380 NEW BEST:: SOT 11935977 SOS 7451866 HAS SOPS 6198210 HAS SOUS 2413667 HAS SOUPS 2321383 WITH SCORE 2328834.866
AT ITER 1382 NEW BEST:: SOT 11954171 SOS 7473485 HAS SOPS 6230213 HAS SOUS 2411664 HAS SOUPS 2319765 WITH SCORE 2327238.485
AT ITER 1386 NEW BEST:: SOT 11948981 SOS 7460617 HAS SOPS 6217829 HAS SOUS 2403393 HAS SOUPS 2311661 WITH SCORE 2319121.617
AT ITER 1389 NEW BEST:: SOT 11949349 SOS 7463986 HAS SOPS 6222191 HAS SOUS 2403108 HAS SOUPS 2311376 WITH SCORE 2318839.986
AT ITER 1399 NEW BEST:: SOT 11948143 SOS 7464820 HAS SOPS 6221606 HAS SOUS 2399263 HAS SOUPS 2307531 WITH SCORE 2314995.82
AT ITER 1441 NEW BEST:: SOT 11947034 SOS 7463745 HAS SOPS 6220296 HAS SOUS 2396998 HAS SOUPS 2305285 WITH SCORE 2312748.745
AT ITER 1449 NEW BEST:: SOT 11943456 SOS 7460735 HAS SOPS 6215383 HAS SOUS 2385012 HAS SOUPS 2293237 WITH SCORE 2300697.735
AT ITER 1459 NEW BEST:: SOT 11943324 SOS 7460809 HAS SOPS 6215422 HAS SOUS 2384689 HAS SOUPS 2292914 WITH SCORE 2300374.809
AT ITER 1477 NEW BEST:: SOT 11941602 SOS 7459059 HAS SOPS 6213252 HAS SOUS 2380863 HAS SOUPS 2289088 WITH SCORE 2296547.059
AT ITER 1479 NEW BEST:: SOT 11941587 SOS 7448071 HAS SOPS 6209378 HAS SOUS 2377307 HAS SOUPS 2285664 WITH SCORE 2293112.071
AT ITER 1481 NEW BEST:: SOT 11941892 SOS 7449033 HAS SOPS 6210340 HAS SOUS 2376914 HAS SOUPS 2285280 WITH SCORE 2292729.033
AT ITER 1484 NEW BEST:: SOT 11934269 SOS 7429136 HAS SOPS 6190437 HAS SOUS 2372249 HAS SOUPS 2280615 WITH SCORE 2288044.136
AT ITER 1486 NEW BEST:: SOT 11933974 SOS 7428674 HAS SOPS 6190195 HAS SOUS 2371387 HAS SOUPS 2279971 WITH SCORE 2287399.674
AT ITER 1489 NEW BEST:: SOT 11933861 SOS 7428550 HAS SOPS 6189906 HAS SOUS 2370126 HAS SOUPS 2278710 WITH SCORE 2286138.55
AT ITER 1490 NEW BEST:: SOT 11932733 SOS 7426759 HAS SOPS 6188068 HAS SOUS 2363634 HAS SOUPS 2272285 WITH SCORE 2279711.759
AT ITER 1506 NEW BEST:: SOT 11932279 SOS 7425101 HAS SOPS 6186346 HAS SOUS 2363404 HAS SOUPS 2272041 WITH SCORE 2279466.101
AT ITER 1510 NEW BEST:: SOT 11921281 SOS 7410491 HAS SOPS 6163757 HAS SOUS 2344664 HAS SOUPS 2253061 WITH SCORE 2260471.491
AT ITER 1526 NEW BEST:: SOT 11902189 SOS 7383687 HAS SOPS 6135863 HAS SOUS 2315537 HAS SOUPS 2224042 WITH SCORE 2231425.687
AT ITER 1536 NEW BEST:: SOT 11900912 SOS 7382417 HAS SOPS 6134647 HAS SOUS 2313857 HAS SOUPS 2222364 WITH SCORE 2229746.417
AT ITER 1537 NEW BEST:: SOT 11900244 SOS 7381388 HAS SOPS 6134216 HAS SOUS 2310701 HAS SOUPS 2219416 WITH SCORE 2226797.388
AT ITER 1539 NEW BEST:: SOT 11900075 SOS 7380576 HAS SOPS 6134082 HAS SOUS 2309763 HAS SOUPS 2218478 WITH SCORE 2225858.576
AT ITER 1547 NEW BEST:: SOT 11900086 SOS 7381110 HAS SOPS 6134656 HAS SOUS 2309665 HAS SOUPS 2218380 WITH SCORE 2225761.11
AT ITER 1554 NEW BEST:: SOT 11900967 SOS 7382275 HAS SOPS 6134906 HAS SOUS 2305851 HAS SOUPS 2214558 WITH SCORE 2221940.275
AT ITER 1567 NEW BEST:: SOT 11900447 SOS 7381917 HAS SOPS 6134566 HAS SOUS 2305270 HAS SOUPS 2213977 WITH SCORE 2221358.917
AT ITER 1570 NEW BEST:: SOT 11899681 SOS 7380833 HAS SOPS 6133502 HAS SOUS 2303955 HAS SOUPS 2212662 WITH SCORE 2220042.833
AT ITER 1573 NEW BEST:: SOT 11900097 SOS 7389458 HAS SOPS 6144297 HAS SOUS 2299632 HAS SOUPS 2208479 WITH SCORE 2215868.458
AT ITER 1582 NEW BEST:: SOT 11901799 SOS 7393226 HAS SOPS 6146703 HAS SOUS 2299056 HAS SOUPS 2207903 WITH SCORE 2215296.226
AT ITER 1591 NEW BEST:: SOT 11901030 SOS 7389714 HAS SOPS 6144155 HAS SOUS 2298108 HAS SOUPS 2207022 WITH SCORE 2214411.714
AT ITER 1599 NEW BEST:: SOT 11899928 SOS 7387683 HAS SOPS 6142578 HAS SOUS 2296275 HAS SOUPS 2205189 WITH SCORE 2212576.683
AT ITER 1601 NEW BEST:: SOT 11899695 SOS 7386963 HAS SOPS 6141836 HAS SOUS 2295587 HAS SOUPS 2204501 WITH SCORE 2211887.963
AT ITER 1602 NEW BEST:: SOT 11901325 SOS 7389494 HAS SOPS 6143801 HAS SOUS 2295506 HAS SOUPS 2204463 WITH SCORE 2211852.494
AT ITER 1623 NEW BEST:: SOT 11901134 SOS 7388323 HAS SOPS 6142832 HAS SOUS 2295335 HAS SOUPS 2204292 WITH SCORE 2211680.323
AT ITER 1625 NEW BEST:: SOT 11900205 SOS 7385487 HAS SOPS 6140231 HAS SOUS 2292082 HAS SOUPS 2201039 WITH SCORE 2208424.487
AT ITER 1636 NEW BEST:: SOT 11900359 SOS 7384242 HAS SOPS 6138525 HAS SOUS 2291660 HAS SOUPS 2200617 WITH SCORE 2208001.242
AT ITER 1655 NEW BEST:: SOT 11897632 SOS 7365180 HAS SOPS 6135046 HAS SOUS 2287829 HAS SOUPS 2197788 WITH SCORE 2205153.18
AT ITER 1659 NEW BEST:: SOT 11891956 SOS 7359373 HAS SOPS 6134807 HAS SOUS 2278380 HAS SOUPS 2188579 WITH SCORE 2195938.373
AT ITER 1668 NEW BEST:: SOT 11892083 SOS 7359500 HAS SOPS 6134646 HAS SOUS 2278435 HAS SOUPS 2188418 WITH SCORE 2195777.5
AT ITER 1674 NEW BEST:: SOT 11894494 SOS 7361257 HAS SOPS 6135639 HAS SOUS 2278027 HAS SOUPS 2188010 WITH SCORE 2195371.257
AT ITER 1688 NEW BEST:: SOT 11891032 SOS 7354130 HAS SOPS 6132014 HAS SOUS 2275658 HAS SOUPS 2185717 WITH SCORE 2193071.13
AT ITER 1690 NEW BEST:: SOT 11877518 SOS 7317647 HAS SOPS 6109308 HAS SOUS 2260973 HAS SOUPS 2171195 WITH SCORE 2178512.647
AT ITER 1691 NEW BEST:: SOT 11877335 SOS 7317461 HAS SOPS 6109077 HAS SOUS 2260598 HAS SOUPS 2170820 WITH SCORE 2178137.461
AT ITER 1694 NEW BEST:: SOT 11874276 SOS 7309717 HAS SOPS 6102590 HAS SOUS 2257889 HAS SOUPS 2168111 WITH SCORE 2175420.717
AT ITER 1703 NEW BEST:: SOT 11874485 SOS 7311392 HAS SOPS 6104466 HAS SOUS 2257083 HAS SOUPS 2167305 WITH SCORE 2174616.392
AT ITER 1706 NEW BEST:: SOT 11874511 SOS 7311684 HAS SOPS 6104625 HAS SOUS 2256826 HAS SOUPS 2167029 WITH SCORE 2174340.684
AT ITER 1717 NEW BEST:: SOT 11872247 SOS 7309360 HAS SOPS 6101696 HAS SOUS 2253185 HAS SOUPS 2163387 WITH SCORE 2170696.36
AT ITER 1725 NEW BEST:: SOT 11871743 SOS 7309527 HAS SOPS 6101541 HAS SOUS 2250592 HAS SOUPS 2160664 WITH SCORE 2167973.527
AT ITER 1742 NEW BEST:: SOT 11871271 SOS 7309055 HAS SOPS 6101069 HAS SOUS 2250120 HAS SOUPS 2160192 WITH SCORE 2167501.055
AT ITER 1751 NEW BEST:: SOT 11870277 SOS 7307703 HAS SOPS 6098852 HAS SOUS 2247051 HAS SOUPS 2157074 WITH SCORE 2164381.703
AT ITER 1765 NEW BEST:: SOT 11870690 SOS 7308232 HAS SOPS 6101137 HAS SOUS 2246603 HAS SOUPS 2156663 WITH SCORE 2163971.232
AT ITER 1779 NEW BEST:: SOT 11870966 SOS 7308508 HAS SOPS 6101413 HAS SOUS 2246543 HAS SOUPS 2156603 WITH SCORE 2163911.508
AT ITER 1796 NEW BEST:: SOT 11871198 SOS 7311105 HAS SOPS 6101306 HAS SOUS 2245517 HAS SOUPS 2155476 WITH SCORE 2162787.105
AT ITER 1804 NEW BEST:: SOT 11873535 SOS 7320195 HAS SOPS 6108318 HAS SOUS 2241718 HAS SOUPS 2151677 WITH SCORE 2158997.195
AT ITER 1810 NEW BEST:: SOT 11872461 SOS 7319100 HAS SOPS 6107574 HAS SOUS 2238825 HAS SOUPS 2148786 WITH SCORE 2156105.1
AT ITER 1853 NEW BEST:: SOT 11871113 SOS 7317812 HAS SOPS 6106670 HAS SOUS 2237426 HAS SOUPS 2147579 WITH SCORE 2154896.812
AT ITER 1856 NEW BEST:: SOT 11870979 SOS 7317645 HAS SOPS 6106485 HAS SOUS 2237385 HAS SOUPS 2147526 WITH SCORE 2154843.645
AT ITER 1893 NEW BEST:: SOT 11870025 SOS 7316614 HAS SOPS 6104812 HAS SOUS 2236375 HAS SOUPS 2146463 WITH SCORE 2153779.614
AT ITER 1895 NEW BEST:: SOT 11868794 SOS 7314207 HAS SOPS 6101088 HAS SOUS 2233873 HAS SOUPS 2143961 WITH SCORE 2151275.207
AT ITER 1904 NEW BEST:: SOT 11873654 SOS 7326821 HAS SOPS 6112159 HAS SOUS 2233524 HAS SOUPS 2143612 WITH SCORE 2150938.821
AT ITER 1941 NEW BEST:: SOT 11870876 SOS 7324195 HAS SOPS 6109616 HAS SOUS 2230801 HAS SOUPS 2140884 WITH SCORE 2148208.195
AT ITER 1949 NEW BEST:: SOT 11867690 SOS 7320672 HAS SOPS 6105204 HAS SOUS 2226387 HAS SOUPS 2136470 WITH SCORE 2143790.672
AT ITER 1975 NEW BEST:: SOT 11866664 SOS 7319697 HAS SOPS 6104274 HAS SOUS 2224159 HAS SOUPS 2134242 WITH SCORE 2141561.697
AT ITER 1979 NEW BEST:: SOT 11863649 SOS 7312684 HAS SOPS 6099192 HAS SOUS 2220915 HAS SOUPS 2131176 WITH SCORE 2138488.684
AT ITER 1984 NEW BEST:: SOT 11864938 SOS 7313251 HAS SOPS 6093328 HAS SOUS 2214227 HAS SOUPS 2124488 WITH SCORE 2131801.251
AT ITER 1989 NEW BEST:: SOT 11864880 SOS 7313444 HAS SOPS 6091436 HAS SOUS 2211620 HAS SOUPS 2121859 WITH SCORE 2129172.444
AT ITER 1995 NEW BEST:: SOT 11864308 SOS 7312872 HAS SOPS 6090672 HAS SOUS 2210252 HAS SOUPS 2120491 WITH SCORE 2127803.872
AT ITER 2002 NEW BEST:: SOT 11860838 SOS 7308163 HAS SOPS 6085553 HAS SOUS 2202743 HAS SOUPS 2113040 WITH SCORE 2120348.163
AT ITER 2009 NEW BEST:: SOT 11859506 SOS 7308929 HAS SOPS 6085503 HAS SOUS 2198053 HAS SOUPS 2108350 WITH SCORE 2115658.929
AT ITER 2014 NEW BEST:: SOT 11859237 SOS 7311540 HAS SOPS 6085980 HAS SOUS 2196030 HAS SOUPS 2106327 WITH SCORE 2113638.54
AT ITER 2064 NEW BEST:: SOT 11859085 SOS 7311677 HAS SOPS 6086272 HAS SOUS 2195916 HAS SOUPS 2106213 WITH SCORE 2113524.677
AT ITER 2075 NEW BEST:: SOT 11853259 SOS 7300201 HAS SOPS 6076510 HAS SOUS 2193709 HAS SOUPS 2104006 WITH SCORE 2111306.201
AT ITER 2088 NEW BEST:: SOT 11846787 SOS 7289186 HAS SOPS 6066870 HAS SOUS 2189715 HAS SOUPS 2100071 WITH SCORE 2107360.186
AT ITER 2094 NEW BEST:: SOT 11846928 SOS 7289143 HAS SOPS 6066581 HAS SOUS 2188832 HAS SOUPS 2099114 WITH SCORE 2106403.143
AT ITER 2095 NEW BEST:: SOT 11847047 SOS 7289199 HAS SOPS 6067006 HAS SOUS 2188696 HAS SOUPS 2098978 WITH SCORE 2106267.199
AT ITER 2097 NEW BEST:: SOT 11847431 SOS 7290196 HAS SOPS 6068019 HAS SOUS 2188076 HAS SOUPS 2098358 WITH SCORE 2105648.196
AT ITER 2106 NEW BEST:: SOT 11847155 SOS 7289872 HAS SOPS 6067767 HAS SOUS 2188064 HAS SOUPS 2098346 WITH SCORE 2105635.872
AT ITER 2116 NEW BEST:: SOT 11847386 SOS 7289703 HAS SOPS 6067966 HAS SOUS 2188044 HAS SOUPS 2098326 WITH SCORE 2105615.703
AT ITER 2126 NEW BEST:: SOT 11848039 SOS 7292130 HAS SOPS 6070823 HAS SOUS 2186632 HAS SOUPS 2096914 WITH SCORE 2104206.13
AT ITER 2150 NEW BEST:: SOT 11843568 SOS 7287828 HAS SOPS 6066344 HAS SOUS 2182054 HAS SOUPS 2092438 WITH SCORE 2099725.828
AT ITER 2163 NEW BEST:: SOT 11842832 SOS 7287092 HAS SOPS 6065536 HAS SOUS 2180958 HAS SOUPS 2091342 WITH SCORE 2098629.092
AT ITER 2165 NEW BEST:: SOT 11841146 SOS 7281219 HAS SOPS 6062292 HAS SOUS 2180469 HAS SOUPS 2091130 WITH SCORE 2098411.219
AT ITER 2170 NEW BEST:: SOT 11833851 SOS 7272104 HAS SOPS 6053121 HAS SOUS 2176922 HAS SOUPS 2087559 WITH SCORE 2094831.104
AT ITER 2179 NEW BEST:: SOT 11828369 SOS 7266622 HAS SOPS 6047543 HAS SOUS 2170552 HAS SOUPS 2081189 WITH SCORE 2088455.622
AT ITER 2188 NEW BEST:: SOT 11828225 SOS 7266476 HAS SOPS 6047391 HAS SOUS 2170398 HAS SOUPS 2081029 WITH SCORE 2088295.476
AT ITER 2191 NEW BEST:: SOT 11831668 SOS 7263069 HAS SOPS 6045575 HAS SOUS 2160358 HAS SOUPS 2071137 WITH SCORE 2078400.069
AT ITER 2198 NEW BEST:: SOT 11827003 SOS 7255170 HAS SOPS 6039293 HAS SOUS 2154434 HAS SOUPS 2065262 WITH SCORE 2072517.17
AT ITER 2203 NEW BEST:: SOT 11824384 SOS 7252551 HAS SOPS 6036674 HAS SOUS 2151463 HAS SOUPS 2062291 WITH SCORE 2069543.551
AT ITER 2219 NEW BEST:: SOT 11824156 SOS 7252323 HAS SOPS 6036446 HAS SOUS 2151299 HAS SOUPS 2062127 WITH SCORE 2069379.323
AT ITER 2220 NEW BEST:: SOT 11823943 SOS 7252539 HAS SOPS 6036178 HAS SOUS 2150972 HAS SOUPS 2061613 WITH SCORE 2068865.539
AT ITER 2227 NEW BEST:: SOT 11825848 SOS 7247694 HAS SOPS 6033258 HAS SOUS 2149060 HAS SOUPS 2059701 WITH SCORE 2066948.694
AT ITER 2228 NEW BEST:: SOT 11825738 SOS 7247562 HAS SOPS 6033137 HAS SOUS 2148851 HAS SOUPS 2059503 WITH SCORE 2066750.562
AT ITER 2232 NEW BEST:: SOT 11824921 SOS 7246436 HAS SOPS 6031691 HAS SOUS 2148024 HAS SOUPS 2058356 WITH SCORE 2065602.436
AT ITER 2240 NEW BEST:: SOT 11826718 SOS 7254007 HAS SOPS 6040675 HAS SOUS 2147930 HAS SOUPS 2058262 WITH SCORE 2065516.007
AT ITER 2253 NEW BEST:: SOT 11825693 SOS 7253280 HAS SOPS 6039201 HAS SOUS 2143556 HAS SOUPS 2053888 WITH SCORE 2061141.28
AT ITER 2264 NEW BEST:: SOT 11826486 SOS 7254181 HAS SOPS 6040210 HAS SOUS 2142862 HAS SOUPS 2053276 WITH SCORE 2060530.181
AT ITER 2281 NEW BEST:: SOT 11825676 SOS 7252511 HAS SOPS 6039055 HAS SOUS 2141329 HAS SOUPS 2051766 WITH SCORE 2059018.511
AT ITER 2311 NEW BEST:: SOT 11824132 SOS 7250433 HAS SOPS 6036752 HAS SOUS 2139025 HAS SOUPS 2049478 WITH SCORE 2056728.433
AT ITER 2320 NEW BEST:: SOT 11825083 SOS 7260335 HAS SOPS 6043516 HAS SOUS 2132570 HAS SOUPS 2043023 WITH SCORE 2050283.335
AT ITER 2334 NEW BEST:: SOT 11817189 SOS 7247425 HAS SOPS 6030267 HAS SOUS 2117945 HAS SOUPS 2028536 WITH SCORE 2035783.425
AT ITER 2339 NEW BEST:: SOT 11816371 SOS 7246503 HAS SOPS 6029081 HAS SOUS 2116447 HAS SOUPS 2027038 WITH SCORE 2034284.503
AT ITER 2341 NEW BEST:: SOT 11816450 SOS 7248252 HAS SOPS 6030037 HAS SOUS 2115165 HAS SOUPS 2025756 WITH SCORE 2033004.252
AT ITER 2351 NEW BEST:: SOT 11816993 SOS 7250011 HAS SOPS 6026456 HAS SOUS 2106614 HAS SOUPS 2017157 WITH SCORE 2024407.011
AT ITER 2352 NEW BEST:: SOT 11818543 SOS 7255929 HAS SOPS 6030563 HAS SOUS 2103902 HAS SOUPS 2014445 WITH SCORE 2021700.929
AT ITER 2360 NEW BEST:: SOT 11816278 SOS 7253664 HAS SOPS 6028314 HAS SOUS 2101077 HAS SOUPS 2011636 WITH SCORE 2018889.664
AT ITER 2366 NEW BEST:: SOT 11816215 SOS 7253586 HAS SOPS 6028246 HAS SOUS 2101009 HAS SOUPS 2011578 WITH SCORE 2018831.586
AT ITER 2367 NEW BEST:: SOT 11816000 SOS 7253729 HAS SOPS 6027988 HAS SOUS 2098976 HAS SOUPS 2009578 WITH SCORE 2016831.729
AT ITER 2368 NEW BEST:: SOT 11812982 SOS 7249921 HAS SOPS 6022604 HAS SOUS 2089488 HAS SOUPS 2000090 WITH SCORE 2007339.921
AT ITER 2393 NEW BEST:: SOT 11812982 SOS 7248865 HAS SOPS 6022192 HAS SOUS 2089417 HAS SOUPS 2000019 WITH SCORE 2007267.865
AT ITER 2404 NEW BEST:: SOT 11809721 SOS 7241624 HAS SOPS 6013700 HAS SOUS 2080580 HAS SOUPS 1991236 WITH SCORE 1998477.624
AT ITER 2433 NEW BEST:: SOT 11808873 SOS 7240776 HAS SOPS 6012388 HAS SOUS 2077796 HAS SOUPS 1988452 WITH SCORE 1995692.776
AT ITER 2439 NEW BEST:: SOT 11810415 SOS 7238955 HAS SOPS 6009733 HAS SOUS 2067809 HAS SOUPS 1980286 WITH SCORE 1987524.955
AT ITER 2441 NEW BEST:: SOT 11811282 SOS 7240451 HAS SOPS 6012155 HAS SOUS 2064093 HAS SOUPS 1976570 WITH SCORE 1983810.451
AT ITER 2446 NEW BEST:: SOT 11807282 SOS 7234006 HAS SOPS 6004406 HAS SOUS 2055942 HAS SOUPS 1968456 WITH SCORE 1975690.006
AT ITER 2457 NEW BEST:: SOT 11807207 SOS 7233310 HAS SOPS 6004262 HAS SOUS 2055879 HAS SOUPS 1968393 WITH SCORE 1975626.31
AT ITER 2471 NEW BEST:: SOT 11800725 SOS 7212759 HAS SOPS 5994117 HAS SOUS 2039621 HAS SOUPS 1952373 WITH SCORE 1959585.759
AT ITER 2488 NEW BEST:: SOT 11800725 SOS 7212755 HAS SOPS 5994113 HAS SOUS 2039621 HAS SOUPS 1952373 WITH SCORE 1959585.755
AT ITER 2510 NEW BEST:: SOT 11798427 SOS 7210179 HAS SOPS 5992840 HAS SOUS 2036841 HAS SOUPS 1949668 WITH SCORE 1956878.179
AT ITER 2518 NEW BEST:: SOT 11793399 SOS 7205151 HAS SOPS 5987044 HAS SOUS 2028801 HAS SOUPS 1941564 WITH SCORE 1948769.151
AT ITER 2534 NEW BEST:: SOT 11792931 SOS 7206907 HAS SOPS 5988264 HAS SOUS 2027297 HAS SOUPS 1940060 WITH SCORE 1947266.907
AT ITER 2539 NEW BEST:: SOT 11793119 SOS 7208548 HAS SOPS 5987517 HAS SOUS 2024115 HAS SOUPS 1936878 WITH SCORE 1944086.548
AT ITER 2547 NEW BEST:: SOT 11791179 SOS 7206693 HAS SOPS 5985676 HAS SOUS 2020634 HAS SOUPS 1933411 WITH SCORE 1940617.693
AT ITER 2552 NEW BEST:: SOT 11786112 SOS 7196445 HAS SOPS 5976568 HAS SOUS 2013043 HAS SOUPS 1925879 WITH SCORE 1933075.445
AT ITER 2562 NEW BEST:: SOT 11785876 SOS 7196156 HAS SOPS 5976149 HAS SOUS 2012426 HAS SOUPS 1925262 WITH SCORE 1932458.156
AT ITER 2565 NEW BEST:: SOT 11785832 SOS 7196185 HAS SOPS 5976321 HAS SOUS 2012016 HAS SOUPS 1924852 WITH SCORE 1932048.185
AT ITER 2579 NEW BEST:: SOT 11785330 SOS 7196195 HAS SOPS 5972361 HAS SOUS 2005374 HAS SOUPS 1918214 WITH SCORE 1925410.195
AT ITER 2583 NEW BEST:: SOT 11781412 SOS 7191582 HAS SOPS 5968148 HAS SOUS 2000285 HAS SOUPS 1913235 WITH SCORE 1920426.582
AT ITER 2596 NEW BEST:: SOT 11786101 SOS 7208661 HAS SOPS 5985349 HAS SOUS 1998475 HAS SOUPS 1911527 WITH SCORE 1918735.661
AT ITER 2601 NEW BEST:: SOT 11783295 SOS 7202100 HAS SOPS 5979498 HAS SOUS 1996075 HAS SOUPS 1909131 WITH SCORE 1916333.1
AT ITER 2627 NEW BEST:: SOT 11780415 SOS 7199465 HAS SOPS 5977214 HAS SOUS 1992996 HAS SOUPS 1906052 WITH SCORE 1913251.465
AT ITER 2654 NEW BEST:: SOT 11776867 SOS 7189325 HAS SOPS 5966431 HAS SOUS 1991913 HAS SOUPS 1904893 WITH SCORE 1912082.325
AT ITER 2668 NEW BEST:: SOT 11775968 SOS 7188208 HAS SOPS 5965135 HAS SOUS 1989942 HAS SOUPS 1903104 WITH SCORE 1910292.208
AT ITER 2685 NEW BEST:: SOT 11775302 SOS 7186994 HAS SOPS 5966389 HAS SOUS 1988816 HAS SOUPS 1901978 WITH SCORE 1909164.994
AT ITER 2707 NEW BEST:: SOT 11774310 SOS 7186628 HAS SOPS 5965088 HAS SOUS 1984535 HAS SOUPS 1897564 WITH SCORE 1904750.628
AT ITER 2727 NEW BEST:: SOT 11773846 SOS 7185624 HAS SOPS 5963805 HAS SOUS 1984071 HAS SOUPS 1897100 WITH SCORE 1904285.624
AT ITER 2733 NEW BEST:: SOT 11774043 SOS 7187470 HAS SOPS 5968397 HAS SOUS 1982963 HAS SOUPS 1895992 WITH SCORE 1903179.47
AT ITER 2736 NEW BEST:: SOT 11774041 SOS 7187468 HAS SOPS 5968178 HAS SOUS 1982905 HAS SOUPS 1895773 WITH SCORE 1902960.468
AT ITER 2753 NEW BEST:: SOT 11772488 SOS 7187072 HAS SOPS 5965525 HAS SOUS 1981735 HAS SOUPS 1894603 WITH SCORE 1901790.072
AT ITER 2766 NEW BEST:: SOT 11772907 SOS 7187509 HAS SOPS 5965836 HAS SOUS 1980660 HAS SOUPS 1893510 WITH SCORE 1900697.509
AT ITER 2782 NEW BEST:: SOT 11772199 SOS 7186801 HAS SOPS 5964792 HAS SOUS 1978740 HAS SOUPS 1891590 WITH SCORE 1898776.801
AT ITER 2783 NEW BEST:: SOT 11772157 SOS 7185542 HAS SOPS 5963534 HAS SOUS 1978144 HAS SOUPS 1890994 WITH SCORE 1898179.542
AT ITER 2798 NEW BEST:: SOT 11771852 SOS 7183166 HAS SOPS 5960179 HAS SOUS 1977651 HAS SOUPS 1890501 WITH SCORE 1897684.166
AT ITER 2812 NEW BEST:: SOT 11771907 SOS 7183499 HAS SOPS 5960339 HAS SOUS 1977296 HAS SOUPS 1890146 WITH SCORE 1897329.499
AT ITER 2830 NEW BEST:: SOT 11771025 SOS 7182444 HAS SOPS 5959343 HAS SOUS 1975498 HAS SOUPS 1888359 WITH SCORE 1895541.444
AT ITER 2838 NEW BEST:: SOT 11768478 SOS 7180907 HAS SOPS 5955006 HAS SOUS 1969808 HAS SOUPS 1882669 WITH SCORE 1889849.907
AT ITER 2874 NEW BEST:: SOT 11760727 SOS 7157997 HAS SOPS 5940696 HAS SOUS 1965097 HAS SOUPS 1878521 WITH SCORE 1885678.997
AT ITER 2875 NEW BEST:: SOT 11763215 SOS 7150706 HAS SOPS 5933662 HAS SOUS 1959958 HAS SOUPS 1873314 WITH SCORE 1880464.706
AT ITER 2877 NEW BEST:: SOT 11760789 SOS 7146773 HAS SOPS 5927443 HAS SOUS 1958364 HAS SOUPS 1871720 WITH SCORE 1878866.773
AT ITER 2888 NEW BEST:: SOT 11764035 SOS 7157356 HAS SOPS 5937348 HAS SOUS 1957497 HAS SOUPS 1870818 WITH SCORE 1877975.356
AT ITER 2894 NEW BEST:: SOT 11757395 SOS 7146131 HAS SOPS 5925496 HAS SOUS 1949655 HAS SOUPS 1862976 WITH SCORE 1870122.131
AT ITER 2911 NEW BEST:: SOT 11754674 SOS 7152110 HAS SOPS 5934266 HAS SOUS 1948985 HAS SOUPS 1862344 WITH SCORE 1869496.11
AT ITER 2917 NEW BEST:: SOT 11753365 SOS 7151349 HAS SOPS 5934673 HAS SOUS 1944579 HAS SOUPS 1857938 WITH SCORE 1865089.349
AT ITER 2918 NEW BEST:: SOT 11755894 SOS 7156609 HAS SOPS 5938801 HAS SOUS 1942397 HAS SOUPS 1855756 WITH SCORE 1862912.609
AT ITER 2930 NEW BEST:: SOT 11755490 SOS 7156100 HAS SOPS 5937588 HAS SOUS 1938974 HAS SOUPS 1852333 WITH SCORE 1859489.1
AT ITER 2938 NEW BEST:: SOT 11754988 SOS 7155593 HAS SOPS 5936645 HAS SOUS 1938545 HAS SOUPS 1851904 WITH SCORE 1859059.593
AT ITER 2939 NEW BEST:: SOT 11767804 SOS 7173593 HAS SOPS 5951741 HAS SOUS 1938101 HAS SOUPS 1851315 WITH SCORE 1858488.593
AT ITER 2940 NEW BEST:: SOT 11767208 SOS 7169998 HAS SOPS 5952492 HAS SOUS 1937563 HAS SOUPS 1850777 WITH SCORE 1857946.998
AT ITER 2952 NEW BEST:: SOT 11760027 SOS 7162439 HAS SOPS 5941808 HAS SOUS 1930014 HAS SOUPS 1841258 WITH SCORE 1848420.439
AT ITER 2954 NEW BEST:: SOT 11759811 SOS 7162223 HAS SOPS 5941592 HAS SOUS 1929798 HAS SOUPS 1841042 WITH SCORE 1848204.223
AT ITER 2988 NEW BEST:: SOT 11759447 SOS 7161862 HAS SOPS 5941071 HAS SOUS 1929158 HAS SOUPS 1840402 WITH SCORE 1847563.862
AT ITER 3003 NEW BEST:: SOT 11762322 SOS 7165267 HAS SOPS 5943837 HAS SOUS 1927802 HAS SOUPS 1839022 WITH SCORE 1846187.267
AT ITER 3014 NEW BEST:: SOT 11762123 SOS 7165068 HAS SOPS 5943382 HAS SOUS 1927539 HAS SOUPS 1838567 WITH SCORE 1845732.068
AT ITER 3018 NEW BEST:: SOT 11762448 SOS 7166749 HAS SOPS 5943675 HAS SOUS 1926505 HAS SOUPS 1837533 WITH SCORE 1844699.749
AT ITER 3023 NEW BEST:: SOT 11762147 SOS 7166390 HAS SOPS 5943304 HAS SOUS 1926078 HAS SOUPS 1837106 WITH SCORE 1844272.39
AT ITER 3035 NEW BEST:: SOT 11761518 SOS 7164461 HAS SOPS 5942584 HAS SOUS 1923691 HAS SOUPS 1835448 WITH SCORE 1842612.461
AT ITER 3040 NEW BEST:: SOT 11761747 SOS 7165717 HAS SOPS 5943263 HAS SOUS 1923365 HAS SOUPS 1835122 WITH SCORE 1842287.717
AT ITER 3069 NEW BEST:: SOT 11760713 SOS 7164283 HAS SOPS 5941845 HAS SOUS 1921555 HAS SOUPS 1833320 WITH SCORE 1840484.283
AT ITER 3070 NEW BEST:: SOT 11760605 SOS 7163945 HAS SOPS 5941384 HAS SOUS 1921461 HAS SOUPS 1833222 WITH SCORE 1840385.945
AT ITER 3105 NEW BEST:: SOT 11754358 SOS 7159810 HAS SOPS 5939514 HAS SOUS 1916305 HAS SOUPS 1828038 WITH SCORE 1835197.81
AT ITER 3111 NEW BEST:: SOT 11754087 SOS 7159146 HAS SOPS 5938011 HAS SOUS 1914582 HAS SOUPS 1826315 WITH SCORE 1833474.146
AT ITER 3131 NEW BEST:: SOT 11754807 SOS 7161064 HAS SOPS 5940585 HAS SOUS 1914012 HAS SOUPS 1825777 WITH SCORE 1832938.064
AT ITER 3150 NEW BEST:: SOT 11756432 SOS 7165359 HAS SOPS 5940940 HAS SOUS 1907488 HAS SOUPS 1819222 WITH SCORE 1826387.359
AT ITER 3151 NEW BEST:: SOT 11756432 SOS 7165359 HAS SOPS 5940940 HAS SOUS 1907408 HAS SOUPS 1819142 WITH SCORE 1826307.359
AT ITER 3177 NEW BEST:: SOT 11756495 SOS 7164894 HAS SOPS 5940016 HAS SOUS 1907407 HAS SOUPS 1819141 WITH SCORE 1826305.894
AT ITER 3183 NEW BEST:: SOT 11756236 SOS 7164296 HAS SOPS 5939207 HAS SOUS 1906445 HAS SOUPS 1818179 WITH SCORE 1825343.296
AT ITER 3192 NEW BEST:: SOT 11754770 SOS 7163207 HAS SOPS 5937163 HAS SOUS 1903709 HAS SOUPS 1815443 WITH SCORE 1822606.207
AT ITER 3275 NEW BEST:: SOT 11753086 SOS 7160917 HAS SOPS 5934702 HAS SOUS 1902658 HAS SOUPS 1814392 WITH SCORE 1821552.917
AT ITER 3278 NEW BEST:: SOT 11751728 SOS 7161158 HAS SOPS 5935069 HAS SOUS 1896734 HAS SOUPS 1808608 WITH SCORE 1815769.158
AT ITER 3297 NEW BEST:: SOT 11751858 SOS 7162536 HAS SOPS 5937213 HAS SOUS 1896671 HAS SOUPS 1808545 WITH SCORE 1815707.536
AT ITER 3308 NEW BEST:: SOT 11751600 SOS 7162320 HAS SOPS 5936859 HAS SOUS 1895849 HAS SOUPS 1807717 WITH SCORE 1814879.32
AT ITER 3314 NEW BEST:: SOT 11751836 SOS 7162806 HAS SOPS 5937550 HAS SOUS 1895626 HAS SOUPS 1807494 WITH SCORE 1814656.806
AT ITER 3316 NEW BEST:: SOT 11751752 SOS 7162728 HAS SOPS 5937408 HAS SOUS 1895350 HAS SOUPS 1807218 WITH SCORE 1814380.728
AT ITER 3337 NEW BEST:: SOT 11754046 SOS 7166828 HAS SOPS 5939032 HAS SOUS 1890029 HAS SOUPS 1801958 WITH SCORE 1809124.828
AT ITER 3341 NEW BEST:: SOT 11753076 SOS 7166176 HAS SOPS 5937739 HAS SOUS 1888982 HAS SOUPS 1800911 WITH SCORE 1808077.176
AT ITER 3345 NEW BEST:: SOT 11745101 SOS 7158201 HAS SOPS 5928996 HAS SOUS 1879695 HAS SOUPS 1791624 WITH SCORE 1798782.201
AT ITER 3347 NEW BEST:: SOT 11744759 SOS 7158352 HAS SOPS 5929747 HAS SOUS 1877181 HAS SOUPS 1789297 WITH SCORE 1796455.352
AT ITER 3354 NEW BEST:: SOT 11743485 SOS 7155353 HAS SOPS 5926494 HAS SOUS 1871555 HAS SOUPS 1783671 WITH SCORE 1790826.353
AT ITER 3369 NEW BEST:: SOT 11740316 SOS 7146765 HAS SOPS 5921166 HAS SOUS 1869002 HAS SOUPS 1781118 WITH SCORE 1788264.765
AT ITER 3388 NEW BEST:: SOT 11743507 SOS 7151579 HAS SOPS 5920394 HAS SOUS 1867395 HAS SOUPS 1779511 WITH SCORE 1786662.579
AT ITER 3397 NEW BEST:: SOT 11742855 SOS 7151758 HAS SOPS 5921032 HAS SOUS 1865287 HAS SOUPS 1777423 WITH SCORE 1784574.758
AT ITER 3415 NEW BEST:: SOT 11738817 SOS 7146622 HAS SOPS 5918886 HAS SOUS 1863752 HAS SOUPS 1775888 WITH SCORE 1783034.622
AT ITER 3425 NEW BEST:: SOT 11737005 SOS 7144378 HAS SOPS 5915970 HAS SOUS 1862397 HAS SOUPS 1773861 WITH SCORE 1781005.378
AT ITER 3447 NEW BEST:: SOT 11734711 SOS 7142223 HAS SOPS 5916571 HAS SOUS 1860067 HAS SOUPS 1771653 WITH SCORE 1778795.223
AT ITER 3449 NEW BEST:: SOT 11734628 SOS 7142072 HAS SOPS 5916484 HAS SOUS 1859894 HAS SOUPS 1771544 WITH SCORE 1778686.072
AT ITER 3453 NEW BEST:: SOT 11731208 SOS 7138794 HAS SOPS 5912907 HAS SOUS 1856192 HAS SOUPS 1767842 WITH SCORE 1774980.794
AT ITER 3464 NEW BEST:: SOT 11731290 SOS 7139366 HAS SOPS 5913385 HAS SOUS 1855319 HAS SOUPS 1766969 WITH SCORE 1774108.366
AT ITER 3474 NEW BEST:: SOT 11730146 SOS 7140833 HAS SOPS 5913857 HAS SOUS 1852065 HAS SOUPS 1763710 WITH SCORE 1770850.833
AT ITER 3482 NEW BEST:: SOT 11731005 SOS 7141315 HAS SOPS 5913783 HAS SOUS 1851247 HAS SOUPS 1762922 WITH SCORE 1770063.315
AT ITER 3483 NEW BEST:: SOT 11729801 SOS 7139762 HAS SOPS 5910963 HAS SOUS 1851139 HAS SOUPS 1762722 WITH SCORE 1769861.762
AT ITER 3484 NEW BEST:: SOT 11729642 SOS 7137359 HAS SOPS 5908906 HAS SOUS 1850344 HAS SOUPS 1761927 WITH SCORE 1769064.359
AT ITER 3485 NEW BEST:: SOT 11727361 SOS 7135424 HAS SOPS 5908910 HAS SOUS 1843850 HAS SOUPS 1755535 WITH SCORE 1762670.424
AT ITER 3489 NEW BEST:: SOT 11727192 SOS 7141108 HAS SOPS 5913354 HAS SOUS 1841371 HAS SOUPS 1752900 WITH SCORE 1760041.108
AT ITER 3496 NEW BEST:: SOT 11726504 SOS 7141392 HAS SOPS 5914144 HAS SOUS 1833021 HAS SOUPS 1744625 WITH SCORE 1751766.392
AT ITER 3516 NEW BEST:: SOT 11727574 SOS 7144794 HAS SOPS 5918694 HAS SOUS 1831996 HAS SOUPS 1743651 WITH SCORE 1750795.794
AT ITER 3536 NEW BEST:: SOT 11723227 SOS 7132928 HAS SOPS 5906805 HAS SOUS 1830672 HAS SOUPS 1742304 WITH SCORE 1749436.928
AT ITER 3546 NEW BEST:: SOT 11721365 SOS 7128033 HAS SOPS 5900614 HAS SOUS 1824433 HAS SOUPS 1736065 WITH SCORE 1743193.033
AT ITER 3566 NEW BEST:: SOT 11721191 SOS 7127909 HAS SOPS 5900435 HAS SOUS 1823159 HAS SOUPS 1734906 WITH SCORE 1742033.909
AT ITER 3589 NEW BEST:: SOT 11720421 SOS 7127645 HAS SOPS 5899547 HAS SOUS 1820656 HAS SOUPS 1732403 WITH SCORE 1739530.645
AT ITER 3603 NEW BEST:: SOT 11718950 SOS 7121679 HAS SOPS 5895486 HAS SOUS 1819006 HAS SOUPS 1730826 WITH SCORE 1737947.679
AT ITER 3626 NEW BEST:: SOT 11718346 SOS 7120871 HAS SOPS 5894263 HAS SOUS 1817889 HAS SOUPS 1729369 WITH SCORE 1736489.871
AT ITER 3632 NEW BEST:: SOT 11715289 SOS 7118983 HAS SOPS 5891799 HAS SOUS 1811819 HAS SOUPS 1723299 WITH SCORE 1730417.983
AT ITER 3667 NEW BEST:: SOT 11713835 SOS 7116039 HAS SOPS 5887935 HAS SOUS 1808062 HAS SOUPS 1719542 WITH SCORE 1726658.039
AT ITER 3668 NEW BEST:: SOT 11711464 SOS 7113668 HAS SOPS 5885564 HAS SOUS 1805255 HAS SOUPS 1716735 WITH SCORE 1723848.668
AT ITER 3686 NEW BEST:: SOT 11711616 SOS 7115176 HAS SOPS 5886900 HAS SOUS 1805020 HAS SOUPS 1716500 WITH SCORE 1723615.176
AT ITER 3689 NEW BEST:: SOT 11711230 SOS 7115350 HAS SOPS 5886514 HAS SOUS 1802464 HAS SOUPS 1713944 WITH SCORE 1721059.35
AT ITER 3693 NEW BEST:: SOT 11711281 SOS 7115356 HAS SOPS 5886529 HAS SOUS 1802323 HAS SOUPS 1713806 WITH SCORE 1720921.356
AT ITER 3709 NEW BEST:: SOT 11710710 SOS 7114429 HAS SOPS 5883337 HAS SOUS 1802224 HAS SOUPS 1713707 WITH SCORE 1720821.429
AT ITER 3716 NEW BEST:: SOT 11710674 SOS 7113415 HAS SOPS 5882329 HAS SOUS 1801965 HAS SOUPS 1713448 WITH SCORE 1720561.415
AT ITER 3723 NEW BEST:: SOT 11709225 SOS 7112370 HAS SOPS 5880726 HAS SOUS 1800013 HAS SOUPS 1711442 WITH SCORE 1718554.37
AT ITER 3724 NEW BEST:: SOT 11707697 SOS 7110972 HAS SOPS 5878696 HAS SOUS 1798025 HAS SOUPS 1709181 WITH SCORE 1716291.972
AT ITER 3731 NEW BEST:: SOT 11706905 SOS 7109198 HAS SOPS 5877413 HAS SOUS 1797725 HAS SOUPS 1708881 WITH SCORE 1715990.198
AT ITER 3754 NEW BEST:: SOT 11706713 SOS 7108956 HAS SOPS 5877145 HAS SOUS 1797380 HAS SOUPS 1708536 WITH SCORE 1715644.956
AT ITER 3761 NEW BEST:: SOT 11706282 SOS 7108889 HAS SOPS 5876630 HAS SOUS 1796907 HAS SOUPS 1708063 WITH SCORE 1715171.889
AT ITER 3764 NEW BEST:: SOT 11705236 SOS 7104293 HAS SOPS 5873372 HAS SOUS 1796720 HAS SOUPS 1707915 WITH SCORE 1715019.293
AT ITER 3783 NEW BEST:: SOT 11701695 SOS 7101973 HAS SOPS 5872023 HAS SOUS 1790125 HAS SOUPS 1701471 WITH SCORE 1708572.973
AT ITER 3784 NEW BEST:: SOT 11701543 SOS 7101631 HAS SOPS 5871571 HAS SOUS 1789838 HAS SOUPS 1701184 WITH SCORE 1708285.631
AT ITER 3786 NEW BEST:: SOT 11703551 SOS 7105987 HAS SOPS 5875976 HAS SOUS 1788833 HAS SOUPS 1700235 WITH SCORE 1707340.987
AT ITER 3807 NEW BEST:: SOT 11703374 SOS 7106068 HAS SOPS 5875892 HAS SOUS 1788557 HAS SOUPS 1699959 WITH SCORE 1707065.068
AT ITER 3808 NEW BEST:: SOT 11703068 SOS 7105762 HAS SOPS 5874930 HAS SOUS 1786889 HAS SOUPS 1698291 WITH SCORE 1705396.762
AT ITER 3820 NEW BEST:: SOT 11703132 SOS 7105813 HAS SOPS 5875499 HAS SOUS 1786050 HAS SOUPS 1697487 WITH SCORE 1704592.813
AT ITER 3843 NEW BEST:: SOT 11701999 SOS 7103940 HAS SOPS 5872996 HAS SOUS 1784511 HAS SOUPS 1695948 WITH SCORE 1703051.94
AT ITER 3853 NEW BEST:: SOT 11702143 SOS 7104958 HAS SOPS 5875734 HAS SOUS 1783640 HAS SOUPS 1695128 WITH SCORE 1702232.958
AT ITER 3874 NEW BEST:: SOT 11702909 SOS 7106739 HAS SOPS 5877908 HAS SOUS 1781885 HAS SOUPS 1693422 WITH SCORE 1700528.739
AT ITER 3887 NEW BEST:: SOT 11703007 SOS 7107181 HAS SOPS 5878154 HAS SOUS 1781846 HAS SOUPS 1693376 WITH SCORE 1700483.181
AT ITER 3924 NEW BEST:: SOT 11703070 SOS 7107395 HAS SOPS 5879064 HAS SOUS 1780699 HAS SOUPS 1692252 WITH SCORE 1699359.395
AT ITER 3927 NEW BEST:: SOT 11704010 SOS 7107341 HAS SOPS 5879554 HAS SOUS 1776041 HAS SOUPS 1687697 WITH SCORE 1694804.341
AT ITER 3936 NEW BEST:: SOT 11704252 SOS 7105058 HAS SOPS 5878785 HAS SOUS 1775988 HAS SOUPS 1687644 WITH SCORE 1694749.058
AT ITER 3942 NEW BEST:: SOT 11704049 SOS 7104855 HAS SOPS 5878198 HAS SOUS 1773689 HAS SOUPS 1685345 WITH SCORE 1692449.855
AT ITER 3946 NEW BEST:: SOT 11707086 SOS 7109996 HAS SOPS 5881088 HAS SOUS 1771498 HAS SOUPS 1683154 WITH SCORE 1690263.996
AT ITER 3954 NEW BEST:: SOT 11706596 SOS 7109506 HAS SOPS 5880406 HAS SOUS 1770192 HAS SOUPS 1681848 WITH SCORE 1688957.506
AT ITER 3966 NEW BEST:: SOT 11713557 SOS 7117276 HAS SOPS 5888562 HAS SOUS 1759944 HAS SOUPS 1671590 WITH SCORE 1678707.276
AT ITER 3975 NEW BEST:: SOT 11712797 SOS 7116569 HAS SOPS 5888142 HAS SOUS 1757768 HAS SOUPS 1669493 WITH SCORE 1676609.569
AT ITER 4024 NEW BEST:: SOT 11712623 SOS 7116917 HAS SOPS 5888358 HAS SOUS 1755592 HAS SOUPS 1667317 WITH SCORE 1674433.917
AT ITER 4039 NEW BEST:: SOT 11712686 SOS 7117094 HAS SOPS 5888331 HAS SOUS 1755327 HAS SOUPS 1667059 WITH SCORE 1674176.094
AT ITER 4050 NEW BEST:: SOT 11711670 SOS 7116276 HAS SOPS 5887070 HAS SOUS 1753025 HAS SOUPS 1664711 WITH SCORE 1671827.276
AT ITER 4057 NEW BEST:: SOT 11710958 SOS 7115054 HAS SOPS 5885843 HAS SOUS 1752297 HAS SOUPS 1663978 WITH SCORE 1671093.054
AT ITER 4083 NEW BEST:: SOT 11710814 SOS 7114910 HAS SOPS 5885699 HAS SOUS 1751981 HAS SOUPS 1663662 WITH SCORE 1670776.91
AT ITER 4103 NEW BEST:: SOT 11710584 SOS 7114680 HAS SOPS 5885341 HAS SOUS 1751199 HAS SOUPS 1662880 WITH SCORE 1669994.68
AT ITER 4113 NEW BEST:: SOT 11709743 SOS 7113872 HAS SOPS 5885182 HAS SOUS 1749318 HAS SOUPS 1661262 WITH SCORE 1668375.872
AT ITER 4122 NEW BEST:: SOT 11709647 SOS 7113675 HAS SOPS 5885072 HAS SOUS 1749113 HAS SOUPS 1661063 WITH SCORE 1668176.675
AT ITER 4127 NEW BEST:: SOT 11709647 SOS 7114777 HAS SOPS 5885742 HAS SOUS 1748190 HAS SOUPS 1660113 WITH SCORE 1667227.777
AT ITER 4136 NEW BEST:: SOT 11708862 SOS 7113992 HAS SOPS 5884957 HAS SOUS 1747245 HAS SOUPS 1659168 WITH SCORE 1666281.992
AT ITER 4144 NEW BEST:: SOT 11708702 SOS 7114080 HAS SOPS 5884895 HAS SOUS 1747084 HAS SOUPS 1659007 WITH SCORE 1666121.08
AT ITER 4152 NEW BEST:: SOT 11708558 SOS 7114170 HAS SOPS 5884865 HAS SOUS 1746844 HAS SOUPS 1658761 WITH SCORE 1665875.17
AT ITER 4174 NEW BEST:: SOT 11709964 SOS 7115576 HAS SOPS 5885887 HAS SOUS 1746590 HAS SOUPS 1658507 WITH SCORE 1665622.576
AT ITER 4200 NEW BEST:: SOT 11713762 SOS 7119323 HAS SOPS 5888866 HAS SOUS 1745845 HAS SOUPS 1657846 WITH SCORE 1664965.323
AT ITER 4232 NEW BEST:: SOT 11713887 SOS 7119953 HAS SOPS 5889047 HAS SOUS 1744890 HAS SOUPS 1656891 WITH SCORE 1664010.953
AT ITER 4262 NEW BEST:: SOT 11718781 SOS 7119731 HAS SOPS 5885475 HAS SOUS 1741241 HAS SOUPS 1653236 WITH SCORE 1660355.731
AT ITER 4273 NEW BEST:: SOT 11718524 SOS 7118776 HAS SOPS 5884632 HAS SOUS 1741016 HAS SOUPS 1653017 WITH SCORE 1660135.776
AT ITER 4274 NEW BEST:: SOT 11717305 SOS 7117469 HAS SOPS 5883016 HAS SOUS 1738439 HAS SOUPS 1650359 WITH SCORE 1657476.469
AT ITER 4278 NEW BEST:: SOT 11717058 SOS 7117315 HAS SOPS 5882343 HAS SOUS 1737041 HAS SOUPS 1648959 WITH SCORE 1656076.315
AT ITER 4279 NEW BEST:: SOT 11717078 SOS 7117287 HAS SOPS 5882283 HAS SOUS 1736981 HAS SOUPS 1648903 WITH SCORE 1656020.287
AT ITER 4285 NEW BEST:: SOT 11719403 SOS 7119612 HAS SOPS 5883600 HAS SOUS 1735722 HAS SOUPS 1647484 WITH SCORE 1654603.612
AT ITER 4306 NEW BEST:: SOT 11718502 SOS 7118656 HAS SOPS 5882612 HAS SOUS 1733250 HAS SOUPS 1644995 WITH SCORE 1652113.656
AT ITER 4310 NEW BEST:: SOT 11715524 SOS 7115084 HAS SOPS 5879040 HAS SOUS 1730088 HAS SOUPS 1641833 WITH SCORE 1648948.084
AT ITER 4312 NEW BEST:: SOT 11714395 SOS 7113860 HAS SOPS 5877601 HAS SOUS 1727980 HAS SOUPS 1639734 WITH SCORE 1646847.86
AT ITER 4365 NEW BEST:: SOT 11711554 SOS 7105760 HAS SOPS 5869501 HAS SOUS 1725126 HAS SOUPS 1636880 WITH SCORE 1643985.76
AT ITER 4380 NEW BEST:: SOT 11713030 SOS 7112506 HAS SOPS 5872324 HAS SOUS 1723557 HAS SOUPS 1635265 WITH SCORE 1642377.506
AT ITER 4402 NEW BEST:: SOT 11713018 SOS 7112494 HAS SOPS 5872232 HAS SOUS 1723209 HAS SOUPS 1634917 WITH SCORE 1642029.494
AT ITER 4410 NEW BEST:: SOT 11712782 SOS 7112439 HAS SOPS 5872138 HAS SOUS 1722825 HAS SOUPS 1634529 WITH SCORE 1641641.439
AT ITER 4414 NEW BEST:: SOT 11713285 SOS 7112516 HAS SOPS 5872409 HAS SOUS 1722063 HAS SOUPS 1633767 WITH SCORE 1640879.516
AT ITER 4481 NEW BEST:: SOT 11713707 SOS 7114846 HAS SOPS 5874698 HAS SOUS 1721364 HAS SOUPS 1633068 WITH SCORE 1640182.846
AT ITER 4500 NEW BEST:: SOT 11713979 SOS 7116173 HAS SOPS 5876808 HAS SOUS 1720788 HAS SOUPS 1632492 WITH SCORE 1639608.173
AT ITER 4502 NEW BEST:: SOT 11713989 SOS 7115853 HAS SOPS 5876686 HAS SOUS 1720750 HAS SOUPS 1632454 WITH SCORE 1639569.853
AT ITER 4513 NEW BEST:: SOT 11712149 SOS 7112992 HAS SOPS 5874338 HAS SOUS 1717749 HAS SOUPS 1629645 WITH SCORE 1636757.992
AT ITER 4516 NEW BEST:: SOT 11705432 SOS 7103511 HAS SOPS 5864857 HAS SOUS 1707854 HAS SOUPS 1619750 WITH SCORE 1626853.511
AT ITER 4517 NEW BEST:: SOT 11705373 SOS 7105553 HAS SOPS 5866289 HAS SOUS 1707118 HAS SOUPS 1619076 WITH SCORE 1626181.553
AT ITER 4572 NEW BEST:: SOT 11706119 SOS 7106424 HAS SOPS 5867227 HAS SOUS 1703022 HAS SOUPS 1615005 WITH SCORE 1622111.424
AT ITER 4581 NEW BEST:: SOT 11705365 SOS 7103539 HAS SOPS 5865009 HAS SOUS 1702114 HAS SOUPS 1614097 WITH SCORE 1621200.539
AT ITER 4622 NEW BEST:: SOT 11705184 SOS 7103787 HAS SOPS 5865180 HAS SOUS 1701024 HAS SOUPS 1613007 WITH SCORE 1620110.787
AT ITER 4632 NEW BEST:: SOT 11704274 SOS 7101682 HAS SOPS 5862891 HAS SOUS 1699883 HAS SOUPS 1611866 WITH SCORE 1618967.682
AT ITER 4640 NEW BEST:: SOT 11705762 SOS 7109018 HAS SOPS 5867031 HAS SOUS 1698293 HAS SOUPS 1610276 WITH SCORE 1617385.018
AT ITER 4650 NEW BEST:: SOT 11705666 SOS 7108698 HAS SOPS 5866741 HAS SOUS 1698253 HAS SOUPS 1610236 WITH SCORE 1617344.698
AT ITER 4658 NEW BEST:: SOT 11705506 SOS 7107925 HAS SOPS 5866646 HAS SOUS 1697588 HAS SOUPS 1609631 WITH SCORE 1616738.925
AT ITER 4668 NEW BEST:: SOT 11705551 SOS 7107505 HAS SOPS 5866779 HAS SOUS 1697499 HAS SOUPS 1609542 WITH SCORE 1616649.505
AT ITER 4672 NEW BEST:: SOT 11706327 SOS 7105939 HAS SOPS 5865967 HAS SOUS 1696972 HAS SOUPS 1609015 WITH SCORE 1616120.939
AT ITER 4685 NEW BEST:: SOT 11704392 SOS 7103841 HAS SOPS 5863931 HAS SOUS 1694358 HAS SOUPS 1606437 WITH SCORE 1613540.841
AT ITER 4698 NEW BEST:: SOT 11707577 SOS 7108172 HAS SOPS 5869645 HAS SOUS 1686723 HAS SOUPS 1600752 WITH SCORE 1607860.172
AT ITER 4716 NEW BEST:: SOT 11706150 SOS 7107366 HAS SOPS 5867552 HAS SOUS 1681392 HAS SOUPS 1595421 WITH SCORE 1602528.366
AT ITER 4732 NEW BEST:: SOT 11705894 SOS 7106862 HAS SOPS 5867108 HAS SOUS 1681107 HAS SOUPS 1595140 WITH SCORE 1602246.862
AT ITER 4750 NEW BEST:: SOT 11704191 SOS 7105015 HAS SOPS 5865261 HAS SOUS 1677886 HAS SOUPS 1591949 WITH SCORE 1599054.015
AT ITER 4774 NEW BEST:: SOT 11704031 SOS 7104855 HAS SOPS 5864989 HAS SOUS 1676982 HAS SOUPS 1591045 WITH SCORE 1598149.855
AT ITER 4786 NEW BEST:: SOT 11704616 SOS 7105816 HAS SOPS 5865953 HAS SOUS 1676562 HAS SOUPS 1590625 WITH SCORE 1597730.816
AT ITER 4807 NEW BEST:: SOT 11704395 SOS 7107986 HAS SOPS 5862367 HAS SOUS 1675487 HAS SOUPS 1589403 WITH SCORE 1596510.986
AT ITER 4812 NEW BEST:: SOT 11704071 SOS 7104331 HAS SOPS 5859321 HAS SOUS 1675332 HAS SOUPS 1589331 WITH SCORE 1596435.331
AT ITER 4860 NEW BEST:: SOT 11704438 SOS 7104247 HAS SOPS 5859155 HAS SOUS 1672702 HAS SOUPS 1586727 WITH SCORE 1593831.247
AT ITER 4866 NEW BEST:: SOT 11705348 SOS 7105157 HAS SOPS 5859713 HAS SOUS 1672164 HAS SOUPS 1586141 WITH SCORE 1593246.157
AT ITER 4908 NEW BEST:: SOT 11706140 SOS 7104642 HAS SOPS 5861457 HAS SOUS 1671691 HAS SOUPS 1585756 WITH SCORE 1592860.642
AT ITER 4922 NEW BEST:: SOT 11705208 SOS 7102962 HAS SOPS 5859475 HAS SOUS 1669900 HAS SOUPS 1583965 WITH SCORE 1591067.962
AT ITER 4925 NEW BEST:: SOT 11705334 SOS 7103482 HAS SOPS 5859195 HAS SOUS 1667422 HAS SOUPS 1581487 WITH SCORE 1588590.482
AT ITER 4932 NEW BEST:: SOT 11697182 SOS 7090404 HAS SOPS 5846621 HAS SOUS 1656807 HAS SOUPS 1570939 WITH SCORE 1578029.404
AT ITER 4976 NEW BEST:: SOT 11697306 SOS 7091088 HAS SOPS 5846841 HAS SOUS 1654979 HAS SOUPS 1569111 WITH SCORE 1576202.088
AT ITER 4983 NEW BEST:: SOT 11697248 SOS 7090962 HAS SOPS 5846695 HAS SOUS 1654867 HAS SOUPS 1568999 WITH SCORE 1576089.962
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-3-CTLFireability-00 ( (EX( (! (AF( ((potential((tk(P239)>=1) & (tk(P503)>=1))))))))) & ( (! (AU( ((potential((tk(P97)>=1) & (tk(P25)>=1)))) , ((potential((tk(P55)>=1) & (tk(P10)>=1)))) ))) | ( (! ( ( ((potential((tk(P505)>=1) & (tk(P377)>=1)))) & ((potential((tk(P269)>=1) & (tk(P320)>=1)))) ) | ((potential((tk(P37)>=1) & (tk(P589)>=1)))) )) & (! ( ((potential((tk(P332)>=1) & (tk(P486)>=1)))) & ((potential((tk(P61)>=1) & (tk(P635)>=1)))) )) ) ) )
PROPERTY: RERS17pb113-PT-3-CTLFireability-01 (EF( (EU( ( ((potential((tk(P466)>=1) & (tk(P25)>=1)))) | ((potential((tk(P161)>=1) & (tk(P146)>=1)))) ) , ( ((potential((tk(P273)>=1) & (tk(P180)>=1)))) | ((potential((tk(P42)>=1) & (tk(P450)>=1)))) ) ))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-02 (AU( ( (! ((potential((tk(P176)>=1) & (tk(P568)>=1))))) & (EX( ((potential((tk(P57)>=1) & (tk(P115)>=1)))))) ) , (EG( (! ((potential((tk(P1)>=1) & (tk(P471)>=1))))))) ))
PROPERTY: RERS17pb113-PT-3-CTLFireability-03 (EF( ((potential((tk(P505)>=1) & (tk(P59)>=1))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-04 ( (! (! (EG( (! ((potential((tk(P405)>=1) & (tk(P257)>=1))))))))) | ( ((potential((tk(P435)>=1) & (tk(P606)>=1)))) & ( (! (AX( ((potential((tk(P51)>=1) & (tk(P604)>=1))))))) | ((potential((tk(P488)>=1) & (tk(P494)>=1)))) ) ) )
PROPERTY: RERS17pb113-PT-3-CTLFireability-05 (EX( (AF( (EF( ((potential((tk(P354)>=1) & (tk(P344)>=1))))))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-06 ( (! (! (AU( ((potential((tk(P145)>=1) & (tk(P379)>=1)))) , ((potential((tk(P435)>=1) & (tk(P449)>=1)))) )))) | (! (AU( (! ((potential((tk(P68)>=1) & (tk(P302)>=1))))) , ( ((potential((tk(P174)>=1) & (tk(P591)>=1)))) & ((potential((tk(P600)>=1) & (tk(P302)>=1)))) ) ))) )
PROPERTY: RERS17pb113-PT-3-CTLFireability-07 (EU( ( (EG( ((potential((tk(P470)>=1) & (tk(P67)>=1)))))) | (AF( ((potential((tk(P375)>=1) & (tk(P541)>=1)))))) ) , ( (EF( ((potential((tk(P484)>=1) & (tk(P248)>=1)))))) & ( ( ((potential((tk(P305)>=1) & (tk(P199)>=1)))) & ((potential((tk(P480)>=1) & (tk(P503)>=1)))) ) | ( ((potential((tk(P192)>=1) & (tk(P109)>=1)))) & ((potential((tk(P269)>=1) & (tk(P158)>=1)))) ) ) ) ))
PROPERTY: RERS17pb113-PT-3-CTLFireability-08 (AF( (AG( ((potential((tk(P624)>=1) & (tk(P349)>=1))))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-09 ( (! ( (AF( (! ((potential((tk(P173)>=1) & (tk(P109)>=1))))))) & ((potential((tk(P587)>=1) & (tk(P124)>=1)))) )) & (AU( (AX( ((potential((tk(P491)>=1) & (tk(P600)>=1)))))) , (EF( ((potential((tk(P190)>=1) & (tk(P144)>=1)))))) )) )
PROPERTY: RERS17pb113-PT-3-CTLFireability-10 (EF( ( (! ( ((potential((tk(P335)>=1) & (tk(P594)>=1)))) & (! ((potential((tk(P116)>=1) & (tk(P523)>=1))))) )) & (AG( ((potential((tk(P465)>=1) & (tk(P160)>=1)))))) )))
PROPERTY: RERS17pb113-PT-3-CTLFireability-11 (EX( (EU( (! ((potential((tk(P456)>=1) & (tk(P56)>=1))))) , ((potential((tk(P165)>=1) & (tk(P571)>=1)))) ))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-12 (EG( (AG( (! ( ((potential((tk(P121)>=1) & (tk(P158)>=1)))) & ((potential((tk(P204)>=1) & (tk(P483)>=1)))) ))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-13 (AF( ((potential((tk(P376)>=1) & (tk(P410)>=1))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-14 (AF( ((potential((tk(P355)>=1) & (tk(P316)>=1))))))
PROPERTY: RERS17pb113-PT-3-CTLFireability-15 (! (AF( ((potential((tk(P183)>=1) & (tk(P91)>=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-3"
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-3, 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-158961502200020"
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 [ "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 ;