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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:34 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-9-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-9-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589689788703

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 9
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 13 NEW BEST:: SOT 12195167 SOS 7745407 HAS SOPS 6412558 HAS SOUS 3038666 HAS SOUPS 2938216 WITH SCORE 2945961.407
AT ITER 15 NEW BEST:: SOT 12197683 SOS 7747193 HAS SOPS 6413340 HAS SOUS 3037865 HAS SOUPS 2937415 WITH SCORE 2945162.193
AT ITER 20 NEW BEST:: SOT 12197445 SOS 7747033 HAS SOPS 6413284 HAS SOUS 3037140 HAS SOUPS 2936703 WITH SCORE 2944450.033
AT ITER 29 NEW BEST:: SOT 12197624 SOS 7747873 HAS SOPS 6413749 HAS SOUS 3036004 HAS SOUPS 2935567 WITH SCORE 2943314.873
AT ITER 30 NEW BEST:: SOT 12200006 SOS 7758143 HAS SOPS 6424393 HAS SOUS 3033734 HAS SOUPS 2933297 WITH SCORE 2941055.143
AT ITER 37 NEW BEST:: SOT 12200006 SOS 7758143 HAS SOPS 6424393 HAS SOUS 3033598 HAS SOUPS 2933161 WITH SCORE 2940919.143
AT ITER 39 NEW BEST:: SOT 12198215 SOS 7755877 HAS SOPS 6422227 HAS SOUS 3030507 HAS SOUPS 2930095 WITH SCORE 2937850.877
AT ITER 41 NEW BEST:: SOT 12181197 SOS 7738656 HAS SOPS 6404702 HAS SOUS 2991915 HAS SOUPS 2891504 WITH SCORE 2899242.656
AT ITER 47 NEW BEST:: SOT 12167939 SOS 7725940 HAS SOPS 6389668 HAS SOUS 2972312 HAS SOUPS 2871655 WITH SCORE 2879380.94
AT ITER 48 NEW BEST:: SOT 12167884 SOS 7725867 HAS SOPS 6389573 HAS SOUS 2972137 HAS SOUPS 2871482 WITH SCORE 2879207.867
AT ITER 53 NEW BEST:: SOT 12167847 SOS 7725816 HAS SOPS 6389312 HAS SOUS 2971802 HAS SOUPS 2870997 WITH SCORE 2878722.816
AT ITER 61 NEW BEST:: SOT 12165361 SOS 7720793 HAS SOPS 6386168 HAS SOUS 2963941 HAS SOUPS 2863407 WITH SCORE 2871127.793
AT ITER 63 NEW BEST:: SOT 12165368 SOS 7720948 HAS SOPS 6386357 HAS SOUS 2963920 HAS SOUPS 2863386 WITH SCORE 2871106.948
AT ITER 83 NEW BEST:: SOT 12181862 SOS 7765117 HAS SOPS 6432659 HAS SOUS 2962437 HAS SOUPS 2862193 WITH SCORE 2869958.117
AT ITER 90 NEW BEST:: SOT 12181649 SOS 7764437 HAS SOPS 6431958 HAS SOUS 2962333 HAS SOUPS 2862084 WITH SCORE 2869848.437
AT ITER 96 NEW BEST:: SOT 12176767 SOS 7761067 HAS SOPS 6429842 HAS SOUS 2958504 HAS SOUPS 2858356 WITH SCORE 2866117.067
AT ITER 121 NEW BEST:: SOT 12177910 SOS 7763072 HAS SOPS 6433263 HAS SOUS 2955006 HAS SOUPS 2854858 WITH SCORE 2862621.072
AT ITER 136 NEW BEST:: SOT 12177025 SOS 7761786 HAS SOPS 6431846 HAS SOUS 2953621 HAS SOUPS 2853490 WITH SCORE 2861251.786
AT ITER 140 NEW BEST:: SOT 12176322 SOS 7758513 HAS SOPS 6430708 HAS SOUS 2953572 HAS SOUPS 2853441 WITH SCORE 2861199.513
AT ITER 146 NEW BEST:: SOT 12183462 SOS 7773524 HAS SOPS 6442022 HAS SOUS 2947778 HAS SOUPS 2847647 WITH SCORE 2855420.524
AT ITER 186 NEW BEST:: SOT 12182377 SOS 7769692 HAS SOPS 6441679 HAS SOUS 2946813 HAS SOUPS 2846795 WITH SCORE 2854564.692
AT ITER 187 NEW BEST:: SOT 12182245 SOS 7769507 HAS SOPS 6441520 HAS SOUS 2946644 HAS SOUPS 2846626 WITH SCORE 2854395.507
AT ITER 195 NEW BEST:: SOT 12181218 SOS 7767768 HAS SOPS 6439815 HAS SOUS 2945961 HAS SOUPS 2845966 WITH SCORE 2853733.768
AT ITER 214 NEW BEST:: SOT 12179792 SOS 7766134 HAS SOPS 6437413 HAS SOUS 2942606 HAS SOUPS 2842659 WITH SCORE 2850425.134
AT ITER 216 NEW BEST:: SOT 12179242 SOS 7765673 HAS SOPS 6437097 HAS SOUS 2941408 HAS SOUPS 2841461 WITH SCORE 2849226.673
AT ITER 233 NEW BEST:: SOT 12172711 SOS 7748368 HAS SOPS 6421012 HAS SOUS 2938925 HAS SOUPS 2838978 WITH SCORE 2846726.368
AT ITER 245 NEW BEST:: SOT 12172701 SOS 7748358 HAS SOPS 6421002 HAS SOUS 2938835 HAS SOUPS 2838888 WITH SCORE 2846636.358
AT ITER 247 NEW BEST:: SOT 12163747 SOS 7739368 HAS SOPS 6411472 HAS SOUS 2930149 HAS SOUPS 2830202 WITH SCORE 2837941.368
AT ITER 253 NEW BEST:: SOT 12163878 SOS 7739453 HAS SOPS 6411360 HAS SOUS 2921328 HAS SOUPS 2821352 WITH SCORE 2829091.453
AT ITER 257 NEW BEST:: SOT 12163320 SOS 7739041 HAS SOPS 6410948 HAS SOUS 2921120 HAS SOUPS 2821144 WITH SCORE 2828883.041
AT ITER 258 NEW BEST:: SOT 12163392 SOS 7739257 HAS SOPS 6411388 HAS SOUS 2920441 HAS SOUPS 2820465 WITH SCORE 2828204.257
AT ITER 266 NEW BEST:: SOT 12157669 SOS 7729050 HAS SOPS 6405784 HAS SOUS 2915247 HAS SOUPS 2815927 WITH SCORE 2823656.05
AT ITER 277 NEW BEST:: SOT 12157648 SOS 7729055 HAS SOPS 6405754 HAS SOUS 2915184 HAS SOUPS 2815864 WITH SCORE 2823593.055
AT ITER 284 NEW BEST:: SOT 12153446 SOS 7721732 HAS SOPS 6398582 HAS SOUS 2907112 HAS SOUPS 2807884 WITH SCORE 2815605.732
AT ITER 285 NEW BEST:: SOT 12153068 SOS 7721319 HAS SOPS 6397966 HAS SOUS 2906307 HAS SOUPS 2807079 WITH SCORE 2814800.319
AT ITER 288 NEW BEST:: SOT 12150952 SOS 7718603 HAS SOPS 6395534 HAS SOUS 2901134 HAS SOUPS 2801998 WITH SCORE 2809716.603
AT ITER 312 NEW BEST:: SOT 12150310 SOS 7718296 HAS SOPS 6396393 HAS SOUS 2897911 HAS SOUPS 2798820 WITH SCORE 2806538.296
AT ITER 339 NEW BEST:: SOT 12150184 SOS 7719263 HAS SOPS 6397860 HAS SOUS 2896091 HAS SOUPS 2797000 WITH SCORE 2804719.263
AT ITER 365 NEW BEST:: SOT 12150307 SOS 7719922 HAS SOPS 6398323 HAS SOUS 2895974 HAS SOUPS 2796883 WITH SCORE 2804602.922
AT ITER 372 NEW BEST:: SOT 12149055 SOS 7717694 HAS SOPS 6396196 HAS SOUS 2894543 HAS SOUPS 2795495 WITH SCORE 2803212.694
AT ITER 391 NEW BEST:: SOT 12144308 SOS 7706506 HAS SOPS 6388704 HAS SOUS 2887203 HAS SOUPS 2788187 WITH SCORE 2795893.506
AT ITER 399 NEW BEST:: SOT 12145788 SOS 7710867 HAS SOPS 6390909 HAS SOUS 2884907 HAS SOUPS 2785794 WITH SCORE 2793504.867
AT ITER 405 NEW BEST:: SOT 12149063 SOS 7721863 HAS SOPS 6398552 HAS SOUS 2883019 HAS SOUPS 2783906 WITH SCORE 2791627.863
AT ITER 408 NEW BEST:: SOT 12148117 SOS 7720014 HAS SOPS 6396708 HAS SOUS 2880794 HAS SOUPS 2781739 WITH SCORE 2789459.014
AT ITER 411 NEW BEST:: SOT 12147627 SOS 7719231 HAS SOPS 6396738 HAS SOUS 2880219 HAS SOUPS 2781203 WITH SCORE 2788922.231
AT ITER 422 NEW BEST:: SOT 12146477 SOS 7717373 HAS SOPS 6394306 HAS SOUS 2879103 HAS SOUPS 2780087 WITH SCORE 2787804.373
AT ITER 444 NEW BEST:: SOT 12142910 SOS 7713431 HAS SOPS 6390326 HAS SOUS 2871717 HAS SOUPS 2772728 WITH SCORE 2780441.431
AT ITER 447 NEW BEST:: SOT 12142931 SOS 7713898 HAS SOPS 6390920 HAS SOUS 2871514 HAS SOUPS 2772525 WITH SCORE 2780238.898
AT ITER 451 NEW BEST:: SOT 12141647 SOS 7712912 HAS SOPS 6389583 HAS SOUS 2869172 HAS SOUPS 2770068 WITH SCORE 2777780.912
AT ITER 458 NEW BEST:: SOT 12149131 SOS 7734302 HAS SOPS 6416161 HAS SOUS 2862412 HAS SOUPS 2763308 WITH SCORE 2771042.302
AT ITER 459 NEW BEST:: SOT 12149228 SOS 7734923 HAS SOPS 6417344 HAS SOUS 2861946 HAS SOUPS 2762842 WITH SCORE 2770576.923
AT ITER 466 NEW BEST:: SOT 12151274 SOS 7740916 HAS SOPS 6422631 HAS SOUS 2860944 HAS SOUPS 2761857 WITH SCORE 2769597.916
AT ITER 496 NEW BEST:: SOT 12150403 SOS 7742633 HAS SOPS 6420877 HAS SOUS 2858292 HAS SOUPS 2759079 WITH SCORE 2766821.633
AT ITER 498 NEW BEST:: SOT 12157362 SOS 7746774 HAS SOPS 6423033 HAS SOUS 2854260 HAS SOUPS 2754274 WITH SCORE 2762020.774
AT ITER 500 NEW BEST:: SOT 12157395 SOS 7746713 HAS SOPS 6423017 HAS SOUS 2854055 HAS SOUPS 2754069 WITH SCORE 2761815.713
AT ITER 509 NEW BEST:: SOT 12156455 SOS 7745773 HAS SOPS 6421549 HAS SOUS 2851459 HAS SOUPS 2751201 WITH SCORE 2758946.773
AT ITER 510 NEW BEST:: SOT 12156447 SOS 7744804 HAS SOPS 6420773 HAS SOUS 2851159 HAS SOUPS 2750901 WITH SCORE 2758645.804
AT ITER 511 NEW BEST:: SOT 12156242 SOS 7745009 HAS SOPS 6420843 HAS SOUS 2850053 HAS SOUPS 2749795 WITH SCORE 2757540.009
AT ITER 516 NEW BEST:: SOT 12156660 SOS 7745569 HAS SOPS 6421487 HAS SOUS 2848033 HAS SOUPS 2747775 WITH SCORE 2755520.569
AT ITER 523 NEW BEST:: SOT 12157079 SOS 7746910 HAS SOPS 6422863 HAS SOUS 2847908 HAS SOUPS 2747650 WITH SCORE 2755396.91
AT ITER 529 NEW BEST:: SOT 12156899 SOS 7746564 HAS SOPS 6422060 HAS SOUS 2846649 HAS SOUPS 2746406 WITH SCORE 2754152.564
AT ITER 537 NEW BEST:: SOT 12159172 SOS 7752730 HAS SOPS 6424522 HAS SOUS 2842595 HAS SOUPS 2742268 WITH SCORE 2750020.73
AT ITER 546 NEW BEST:: SOT 12159464 SOS 7752921 HAS SOPS 6424792 HAS SOUS 2833643 HAS SOUPS 2733353 WITH SCORE 2741105.921
AT ITER 558 NEW BEST:: SOT 12155285 SOS 7744255 HAS SOPS 6422779 HAS SOUS 2826923 HAS SOUPS 2726825 WITH SCORE 2734569.255
AT ITER 568 NEW BEST:: SOT 12155982 SOS 7745309 HAS SOPS 6425796 HAS SOUS 2824497 HAS SOUPS 2724759 WITH SCORE 2732504.309
AT ITER 573 NEW BEST:: SOT 12145842 SOS 7729764 HAS SOPS 6413471 HAS SOUS 2811676 HAS SOUPS 2712342 WITH SCORE 2720071.764
AT ITER 578 NEW BEST:: SOT 12146568 SOS 7731422 HAS SOPS 6414497 HAS SOUS 2810374 HAS SOUPS 2711040 WITH SCORE 2718771.422
AT ITER 595 NEW BEST:: SOT 12146851 SOS 7732585 HAS SOPS 6415764 HAS SOUS 2809335 HAS SOUPS 2710001 WITH SCORE 2717733.585
AT ITER 602 NEW BEST:: SOT 12150781 SOS 7743793 HAS SOPS 6427884 HAS SOUS 2805072 HAS SOUPS 2705738 WITH SCORE 2713481.793
AT ITER 605 NEW BEST:: SOT 12150471 SOS 7743636 HAS SOPS 6426835 HAS SOUS 2803502 HAS SOUPS 2704168 WITH SCORE 2711911.636
AT ITER 675 NEW BEST:: SOT 12148481 SOS 7742821 HAS SOPS 6426622 HAS SOUS 2797995 HAS SOUPS 2698824 WITH SCORE 2706566.821
AT ITER 676 NEW BEST:: SOT 12148067 SOS 7742416 HAS SOPS 6426100 HAS SOUS 2797050 HAS SOUPS 2697906 WITH SCORE 2705648.416
AT ITER 684 NEW BEST:: SOT 12148139 SOS 7742548 HAS SOPS 6426180 HAS SOUS 2797002 HAS SOUPS 2697844 WITH SCORE 2705586.548
AT ITER 686 NEW BEST:: SOT 12148129 SOS 7742538 HAS SOPS 6426170 HAS SOUS 2796872 HAS SOUPS 2697714 WITH SCORE 2705456.538
AT ITER 692 NEW BEST:: SOT 12148302 SOS 7744830 HAS SOPS 6426295 HAS SOUS 2793216 HAS SOUPS 2694058 WITH SCORE 2701802.83
AT ITER 699 NEW BEST:: SOT 12151983 SOS 7757351 HAS SOPS 6436945 HAS SOUS 2786479 HAS SOUPS 2687321 WITH SCORE 2695078.351
AT ITER 701 NEW BEST:: SOT 12150302 SOS 7755220 HAS SOPS 6435651 HAS SOUS 2781397 HAS SOUPS 2682359 WITH SCORE 2690114.22
AT ITER 705 NEW BEST:: SOT 12150651 SOS 7758157 HAS SOPS 6437701 HAS SOUS 2780246 HAS SOUPS 2681208 WITH SCORE 2688966.157
AT ITER 712 NEW BEST:: SOT 12150248 SOS 7760073 HAS SOPS 6438642 HAS SOUS 2769454 HAS SOUPS 2670517 WITH SCORE 2678277.073
AT ITER 722 NEW BEST:: SOT 12149563 SOS 7759016 HAS SOPS 6438395 HAS SOUS 2769427 HAS SOUPS 2670490 WITH SCORE 2678249.016
AT ITER 726 NEW BEST:: SOT 12156492 SOS 7778703 HAS SOPS 6454152 HAS SOUS 2764494 HAS SOUPS 2665480 WITH SCORE 2673258.703
AT ITER 729 NEW BEST:: SOT 12158691 SOS 7781294 HAS SOPS 6461014 HAS SOUS 2764327 HAS SOUPS 2665313 WITH SCORE 2673094.294
AT ITER 737 NEW BEST:: SOT 12157776 SOS 7779515 HAS SOPS 6458865 HAS SOUS 2763849 HAS SOUPS 2664835 WITH SCORE 2672614.515
AT ITER 740 NEW BEST:: SOT 12157479 SOS 7779218 HAS SOPS 6458296 HAS SOUS 2761960 HAS SOUPS 2662946 WITH SCORE 2670725.218
AT ITER 741 NEW BEST:: SOT 12158971 SOS 7781501 HAS SOPS 6458285 HAS SOUS 2757137 HAS SOUPS 2658123 WITH SCORE 2665904.501
AT ITER 748 NEW BEST:: SOT 12155642 SOS 7778172 HAS SOPS 6454956 HAS SOUS 2753136 HAS SOUPS 2654122 WITH SCORE 2661900.172
AT ITER 751 NEW BEST:: SOT 12156486 SOS 7782292 HAS SOPS 6462097 HAS SOUS 2752786 HAS SOUPS 2653772 WITH SCORE 2661554.292
AT ITER 753 NEW BEST:: SOT 12154731 SOS 7781469 HAS SOPS 6462075 HAS SOUS 2745258 HAS SOUPS 2646244 WITH SCORE 2654025.469
AT ITER 754 NEW BEST:: SOT 12154573 SOS 7781016 HAS SOPS 6461666 HAS SOUS 2745010 HAS SOUPS 2645996 WITH SCORE 2653777.016
AT ITER 755 NEW BEST:: SOT 12144216 SOS 7770659 HAS SOPS 6450749 HAS SOUS 2731585 HAS SOUPS 2632571 WITH SCORE 2640341.659
AT ITER 757 NEW BEST:: SOT 12144021 SOS 7767823 HAS SOPS 6448530 HAS SOUS 2731407 HAS SOUPS 2632393 WITH SCORE 2640160.823
AT ITER 769 NEW BEST:: SOT 12140907 SOS 7764709 HAS SOPS 6445224 HAS SOUS 2727285 HAS SOUPS 2628271 WITH SCORE 2636035.709
AT ITER 770 NEW BEST:: SOT 12140906 SOS 7765748 HAS SOPS 6443114 HAS SOUS 2719448 HAS SOUPS 2620281 WITH SCORE 2628046.748
AT ITER 778 NEW BEST:: SOT 12139437 SOS 7763726 HAS SOPS 6440075 HAS SOUS 2713521 HAS SOUPS 2614463 WITH SCORE 2622226.726
AT ITER 783 NEW BEST:: SOT 12139827 SOS 7765334 HAS SOPS 6442124 HAS SOUS 2713218 HAS SOUPS 2614160 WITH SCORE 2621925.334
AT ITER 788 NEW BEST:: SOT 12139393 SOS 7764910 HAS SOPS 6441611 HAS SOUS 2711709 HAS SOUPS 2612651 WITH SCORE 2620415.91
AT ITER 789 NEW BEST:: SOT 12139563 SOS 7769151 HAS SOPS 6444767 HAS SOUS 2706770 HAS SOUPS 2607712 WITH SCORE 2615481.151
AT ITER 791 NEW BEST:: SOT 12133957 SOS 7744041 HAS SOPS 6427311 HAS SOUS 2705380 HAS SOUPS 2607509 WITH SCORE 2615253.041
AT ITER 796 NEW BEST:: SOT 12133322 SOS 7743608 HAS SOPS 6426645 HAS SOUS 2704804 HAS SOUPS 2606933 WITH SCORE 2614676.608
AT ITER 807 NEW BEST:: SOT 12129955 SOS 7739423 HAS SOPS 6422385 HAS SOUS 2697486 HAS SOUPS 2599615 WITH SCORE 2607354.423
AT ITER 819 NEW BEST:: SOT 12128845 SOS 7737647 HAS SOPS 6420319 HAS SOUS 2695409 HAS SOUPS 2597538 WITH SCORE 2605275.647
AT ITER 826 NEW BEST:: SOT 12132410 SOS 7744053 HAS SOPS 6427539 HAS SOUS 2694340 HAS SOUPS 2596469 WITH SCORE 2604213.053
AT ITER 829 NEW BEST:: SOT 12126111 SOS 7737728 HAS SOPS 6420907 HAS SOUS 2687951 HAS SOUPS 2589853 WITH SCORE 2597590.728
AT ITER 846 NEW BEST:: SOT 12126223 SOS 7739931 HAS SOPS 6422773 HAS SOUS 2687472 HAS SOUPS 2589374 WITH SCORE 2597113.931
AT ITER 849 NEW BEST:: SOT 12122023 SOS 7734861 HAS SOPS 6416645 HAS SOUS 2679353 HAS SOUPS 2581278 WITH SCORE 2589012.861
AT ITER 854 NEW BEST:: SOT 12118412 SOS 7730204 HAS SOPS 6411484 HAS SOUS 2670668 HAS SOUPS 2572644 WITH SCORE 2580374.204
AT ITER 911 NEW BEST:: SOT 12118843 SOS 7730635 HAS SOPS 6411659 HAS SOUS 2669351 HAS SOUPS 2571327 WITH SCORE 2579057.635
AT ITER 919 NEW BEST:: SOT 12118897 SOS 7731484 HAS SOPS 6413798 HAS SOUS 2669142 HAS SOUPS 2571118 WITH SCORE 2578849.484
AT ITER 922 NEW BEST:: SOT 12128081 SOS 7751245 HAS SOPS 6430783 HAS SOUS 2660695 HAS SOUPS 2562637 WITH SCORE 2570388.245
AT ITER 925 NEW BEST:: SOT 12128323 SOS 7751651 HAS SOPS 6431629 HAS SOUS 2659291 HAS SOUPS 2561318 WITH SCORE 2569069.651
AT ITER 932 NEW BEST:: SOT 12127924 SOS 7750986 HAS SOPS 6431041 HAS SOUS 2658773 HAS SOUPS 2560800 WITH SCORE 2568550.986
AT ITER 948 NEW BEST:: SOT 12128363 SOS 7751265 HAS SOPS 6432829 HAS SOUS 2655909 HAS SOUPS 2557936 WITH SCORE 2565687.265
AT ITER 950 NEW BEST:: SOT 12115716 SOS 7738600 HAS SOPS 6415766 HAS SOUS 2642144 HAS SOUPS 2543415 WITH SCORE 2551153.6
AT ITER 955 NEW BEST:: SOT 12101305 SOS 7717348 HAS SOPS 6395379 HAS SOUS 2615393 HAS SOUPS 2516664 WITH SCORE 2524381.348
AT ITER 963 NEW BEST:: SOT 12091058 SOS 7707101 HAS SOPS 6385132 HAS SOUS 2605146 HAS SOUPS 2506417 WITH SCORE 2514124.101
AT ITER 972 NEW BEST:: SOT 12085152 SOS 7704788 HAS SOPS 6378229 HAS SOUS 2596278 HAS SOUPS 2497048 WITH SCORE 2504752.788
AT ITER 973 NEW BEST:: SOT 12084741 SOS 7704804 HAS SOPS 6377471 HAS SOUS 2594826 HAS SOUPS 2495596 WITH SCORE 2503300.804
AT ITER 975 NEW BEST:: SOT 12073987 SOS 7691456 HAS SOPS 6366026 HAS SOUS 2567807 HAS SOUPS 2469613 WITH SCORE 2477304.456
AT ITER 977 NEW BEST:: SOT 12073744 SOS 7691497 HAS SOPS 6367941 HAS SOUS 2566729 HAS SOUPS 2468535 WITH SCORE 2476226.497
AT ITER 980 NEW BEST:: SOT 12073117 SOS 7690994 HAS SOPS 6367200 HAS SOUS 2565095 HAS SOUPS 2466912 WITH SCORE 2474602.994
AT ITER 986 NEW BEST:: SOT 12072693 SOS 7691236 HAS SOPS 6366793 HAS SOUS 2563573 HAS SOUPS 2465390 WITH SCORE 2473081.236
AT ITER 988 NEW BEST:: SOT 12070394 SOS 7684750 HAS SOPS 6365296 HAS SOUS 2562117 HAS SOUPS 2463934 WITH SCORE 2471618.75
AT ITER 1011 NEW BEST:: SOT 12073726 SOS 7676478 HAS SOPS 6353841 HAS SOUS 2561933 HAS SOUPS 2463750 WITH SCORE 2471426.478
AT ITER 1015 NEW BEST:: SOT 12073933 SOS 7680368 HAS SOPS 6358234 HAS SOUS 2556819 HAS SOUPS 2458722 WITH SCORE 2466402.368
AT ITER 1018 NEW BEST:: SOT 12068496 SOS 7655352 HAS SOPS 6339168 HAS SOUS 2550067 HAS SOUPS 2452065 WITH SCORE 2459720.352
AT ITER 1025 NEW BEST:: SOT 12068298 SOS 7655928 HAS SOPS 6338986 HAS SOUS 2548296 HAS SOUPS 2450294 WITH SCORE 2457949.928
AT ITER 1039 NEW BEST:: SOT 12064508 SOS 7653750 HAS SOPS 6334153 HAS SOUS 2537176 HAS SOUPS 2439081 WITH SCORE 2446734.75
AT ITER 1042 NEW BEST:: SOT 12065380 SOS 7655812 HAS SOPS 6335642 HAS SOUS 2536094 HAS SOUPS 2438021 WITH SCORE 2445676.812
AT ITER 1043 NEW BEST:: SOT 12060558 SOS 7651135 HAS SOPS 6329193 HAS SOUS 2531312 HAS SOUPS 2432812 WITH SCORE 2440463.135
AT ITER 1046 NEW BEST:: SOT 12060266 SOS 7650928 HAS SOPS 6327755 HAS SOUS 2524193 HAS SOUPS 2425721 WITH SCORE 2433371.928
AT ITER 1049 NEW BEST:: SOT 12069501 SOS 7675317 HAS SOPS 6355944 HAS SOUS 2514880 HAS SOUPS 2416408 WITH SCORE 2424083.317
AT ITER 1070 NEW BEST:: SOT 12069321 SOS 7675075 HAS SOPS 6355680 HAS SOUS 2514532 HAS SOUPS 2416062 WITH SCORE 2423737.075
AT ITER 1076 NEW BEST:: SOT 12067823 SOS 7673345 HAS SOPS 6353954 HAS SOUS 2513572 HAS SOUPS 2415126 WITH SCORE 2422799.345
AT ITER 1088 NEW BEST:: SOT 12067720 SOS 7672939 HAS SOPS 6354234 HAS SOUS 2513054 HAS SOUPS 2414608 WITH SCORE 2422280.939
AT ITER 1103 NEW BEST:: SOT 12069270 SOS 7676288 HAS SOPS 6358388 HAS SOUS 2513003 HAS SOUPS 2414557 WITH SCORE 2422233.288
AT ITER 1123 NEW BEST:: SOT 12068334 SOS 7673906 HAS SOPS 6354341 HAS SOUS 2503156 HAS SOUPS 2404861 WITH SCORE 2412534.906
AT ITER 1144 NEW BEST:: SOT 12069236 SOS 7676214 HAS SOPS 6356449 HAS SOUS 2501855 HAS SOUPS 2403560 WITH SCORE 2411236.214
AT ITER 1151 NEW BEST:: SOT 12071552 SOS 7682923 HAS SOPS 6360108 HAS SOUS 2499729 HAS SOUPS 2401433 WITH SCORE 2409115.923
AT ITER 1175 NEW BEST:: SOT 12064591 SOS 7676574 HAS SOPS 6352950 HAS SOUS 2487933 HAS SOUPS 2389623 WITH SCORE 2397299.574
AT ITER 1187 NEW BEST:: SOT 12064383 SOS 7675903 HAS SOPS 6352238 HAS SOUS 2487712 HAS SOUPS 2389402 WITH SCORE 2397077.903
AT ITER 1197 NEW BEST:: SOT 12064359 SOS 7675879 HAS SOPS 6352214 HAS SOUS 2487592 HAS SOUPS 2389282 WITH SCORE 2396957.879
AT ITER 1209 NEW BEST:: SOT 12062634 SOS 7674112 HAS SOPS 6349520 HAS SOUS 2485646 HAS SOUPS 2386909 WITH SCORE 2394583.112
AT ITER 1214 NEW BEST:: SOT 12064870 SOS 7682002 HAS SOPS 6355739 HAS SOUS 2485418 HAS SOUPS 2386681 WITH SCORE 2394363.002
AT ITER 1218 NEW BEST:: SOT 12065424 SOS 7682381 HAS SOPS 6355326 HAS SOUS 2481212 HAS SOUPS 2382475 WITH SCORE 2390157.381
AT ITER 1229 NEW BEST:: SOT 12062743 SOS 7679700 HAS SOPS 6352645 HAS SOUS 2477923 HAS SOUPS 2379186 WITH SCORE 2386865.7
AT ITER 1234 NEW BEST:: SOT 12062455 SOS 7679532 HAS SOPS 6352461 HAS SOUS 2477231 HAS SOUPS 2378494 WITH SCORE 2386173.532
AT ITER 1242 NEW BEST:: SOT 12060493 SOS 7676117 HAS SOPS 6347294 HAS SOUS 2471426 HAS SOUPS 2372689 WITH SCORE 2380365.117
AT ITER 1245 NEW BEST:: SOT 12059817 SOS 7675441 HAS SOPS 6346410 HAS SOUS 2470074 HAS SOUPS 2371337 WITH SCORE 2379012.441
AT ITER 1254 NEW BEST:: SOT 12062581 SOS 7685186 HAS SOPS 6353211 HAS SOUS 2465905 HAS SOUPS 2367168 WITH SCORE 2374853.186
AT ITER 1273 NEW BEST:: SOT 12063777 SOS 7688793 HAS SOPS 6356238 HAS SOUS 2464972 HAS SOUPS 2366281 WITH SCORE 2373969.793
AT ITER 1274 NEW BEST:: SOT 12063911 SOS 7689601 HAS SOPS 6357205 HAS SOUS 2464202 HAS SOUPS 2365511 WITH SCORE 2373200.601
AT ITER 1279 NEW BEST:: SOT 12060456 SOS 7686146 HAS SOPS 6353750 HAS SOUS 2460563 HAS SOUPS 2361872 WITH SCORE 2369558.146
AT ITER 1282 NEW BEST:: SOT 12061803 SOS 7687556 HAS SOPS 6355573 HAS SOUS 2459673 HAS SOUPS 2361048 WITH SCORE 2368735.556
AT ITER 1288 NEW BEST:: SOT 12063053 SOS 7692452 HAS SOPS 6360656 HAS SOUS 2459208 HAS SOUPS 2360590 WITH SCORE 2368282.452
AT ITER 1290 NEW BEST:: SOT 12058670 SOS 7688357 HAS SOPS 6355121 HAS SOUS 2456192 HAS SOUPS 2357500 WITH SCORE 2365188.357
AT ITER 1294 NEW BEST:: SOT 12057904 SOS 7687591 HAS SOPS 6354355 HAS SOUS 2454338 HAS SOUPS 2355646 WITH SCORE 2363333.591
AT ITER 1305 NEW BEST:: SOT 12057951 SOS 7687634 HAS SOPS 6354386 HAS SOUS 2454305 HAS SOUPS 2355613 WITH SCORE 2363300.634
AT ITER 1319 NEW BEST:: SOT 12052956 SOS 7682639 HAS SOPS 6348911 HAS SOUS 2447562 HAS SOUPS 2348870 WITH SCORE 2356552.639
AT ITER 1334 NEW BEST:: SOT 12047840 SOS 7678678 HAS SOPS 6345504 HAS SOUS 2446342 HAS SOUPS 2347650 WITH SCORE 2355328.678
AT ITER 1357 NEW BEST:: SOT 12046693 SOS 7677620 HAS SOPS 6345482 HAS SOUS 2445236 HAS SOUPS 2346544 WITH SCORE 2354221.62
AT ITER 1359 NEW BEST:: SOT 12045898 SOS 7676527 HAS SOPS 6344384 HAS SOUS 2443202 HAS SOUPS 2344538 WITH SCORE 2352214.527
AT ITER 1364 NEW BEST:: SOT 12046086 SOS 7677613 HAS SOPS 6345227 HAS SOUS 2443105 HAS SOUPS 2344441 WITH SCORE 2352118.613
AT ITER 1365 NEW BEST:: SOT 12047886 SOS 7678095 HAS SOPS 6351467 HAS SOUS 2441338 HAS SOUPS 2342674 WITH SCORE 2350352.095
AT ITER 1371 NEW BEST:: SOT 12049135 SOS 7682185 HAS SOPS 6355163 HAS SOUS 2441293 HAS SOUPS 2342629 WITH SCORE 2350311.185
AT ITER 1412 NEW BEST:: SOT 12045102 SOS 7669495 HAS SOPS 6338474 HAS SOUS 2437431 HAS SOUPS 2338629 WITH SCORE 2346298.495
AT ITER 1437 NEW BEST:: SOT 12044107 SOS 7668500 HAS SOPS 6336903 HAS SOUS 2434004 HAS SOUPS 2335202 WITH SCORE 2342870.5
AT ITER 1442 NEW BEST:: SOT 12043376 SOS 7667919 HAS SOPS 6336287 HAS SOUS 2432001 HAS SOUPS 2333199 WITH SCORE 2340866.919
AT ITER 1446 NEW BEST:: SOT 12042735 SOS 7665890 HAS SOPS 6335495 HAS SOUS 2430633 HAS SOUPS 2331861 WITH SCORE 2339526.89
AT ITER 1476 NEW BEST:: SOT 12044454 SOS 7670254 HAS SOPS 6340143 HAS SOUS 2425213 HAS SOUPS 2326441 WITH SCORE 2334111.254
AT ITER 1477 NEW BEST:: SOT 12059172 SOS 7694771 HAS SOPS 6362371 HAS SOUS 2420008 HAS SOUPS 2321279 WITH SCORE 2328973.771
AT ITER 1497 NEW BEST:: SOT 12059156 SOS 7694755 HAS SOPS 6362355 HAS SOUS 2420008 HAS SOUPS 2321279 WITH SCORE 2328973.755
AT ITER 1510 NEW BEST:: SOT 12053965 SOS 7685102 HAS SOPS 6357000 HAS SOUS 2417132 HAS SOUPS 2318403 WITH SCORE 2326088.102
AT ITER 1517 NEW BEST:: SOT 12061131 SOS 7706791 HAS SOPS 6376332 HAS SOUS 2416634 HAS SOUPS 2317893 WITH SCORE 2325599.791
AT ITER 1520 NEW BEST:: SOT 12061629 SOS 7709691 HAS SOPS 6378312 HAS SOUS 2415932 HAS SOUPS 2317191 WITH SCORE 2324900.691
AT ITER 1523 NEW BEST:: SOT 12061917 SOS 7711109 HAS SOPS 6380237 HAS SOUS 2415826 HAS SOUPS 2317106 WITH SCORE 2324817.109
AT ITER 1526 NEW BEST:: SOT 12061158 SOS 7712194 HAS SOPS 6380726 HAS SOUS 2413854 HAS SOUPS 2315134 WITH SCORE 2322846.194
AT ITER 1527 NEW BEST:: SOT 12058186 SOS 7709116 HAS SOPS 6375494 HAS SOUS 2405187 HAS SOUPS 2306467 WITH SCORE 2314176.116
AT ITER 1536 NEW BEST:: SOT 12058189 SOS 7709123 HAS SOPS 6375463 HAS SOUS 2405141 HAS SOUPS 2306421 WITH SCORE 2314130.123
AT ITER 1572 NEW BEST:: SOT 12058189 SOS 7709123 HAS SOPS 6375463 HAS SOUS 2405053 HAS SOUPS 2306333 WITH SCORE 2314042.123
AT ITER 1573 NEW BEST:: SOT 12058105 SOS 7709025 HAS SOPS 6375299 HAS SOUS 2404731 HAS SOUPS 2306011 WITH SCORE 2313720.025
AT ITER 1595 NEW BEST:: SOT 12057669 SOS 7708589 HAS SOPS 6374735 HAS SOUS 2403963 HAS SOUPS 2305243 WITH SCORE 2312951.589
AT ITER 1633 NEW BEST:: SOT 12054547 SOS 7701933 HAS SOPS 6369571 HAS SOUS 2402487 HAS SOUPS 2303779 WITH SCORE 2311480.933
AT ITER 1635 NEW BEST:: SOT 12055906 SOS 7706317 HAS SOPS 6373780 HAS SOUS 2397028 HAS SOUPS 2298320 WITH SCORE 2306026.317
AT ITER 1637 NEW BEST:: SOT 12051824 SOS 7702235 HAS SOPS 6369698 HAS SOUS 2392114 HAS SOUPS 2293406 WITH SCORE 2301108.235
AT ITER 1642 NEW BEST:: SOT 12051473 SOS 7701884 HAS SOPS 6369011 HAS SOUS 2391385 HAS SOUPS 2292677 WITH SCORE 2300378.884
AT ITER 1646 NEW BEST:: SOT 12051989 SOS 7701332 HAS SOPS 6371469 HAS SOUS 2390408 HAS SOUPS 2291700 WITH SCORE 2299401.332
AT ITER 1650 NEW BEST:: SOT 12051308 SOS 7700601 HAS SOPS 6370674 HAS SOUS 2388915 HAS SOUPS 2290215 WITH SCORE 2297915.601
AT ITER 1652 NEW BEST:: SOT 12051377 SOS 7699631 HAS SOPS 6369537 HAS SOUS 2388867 HAS SOUPS 2290167 WITH SCORE 2297866.631
AT ITER 1660 NEW BEST:: SOT 12045684 SOS 7685803 HAS SOPS 6365559 HAS SOUS 2386615 HAS SOUPS 2289279 WITH SCORE 2296964.803
AT ITER 1662 NEW BEST:: SOT 12045519 SOS 7685607 HAS SOPS 6365015 HAS SOUS 2386256 HAS SOUPS 2288920 WITH SCORE 2296605.607
AT ITER 1691 NEW BEST:: SOT 12045233 SOS 7683942 HAS SOPS 6363246 HAS SOUS 2385752 HAS SOUPS 2288416 WITH SCORE 2296099.942
AT ITER 1699 NEW BEST:: SOT 12046345 SOS 7684344 HAS SOPS 6367075 HAS SOUS 2382818 HAS SOUPS 2285761 WITH SCORE 2293445.344
AT ITER 1704 NEW BEST:: SOT 12045987 SOS 7683974 HAS SOPS 6366573 HAS SOUS 2382179 HAS SOUPS 2285122 WITH SCORE 2292805.974
AT ITER 1705 NEW BEST:: SOT 12041014 SOS 7675489 HAS SOPS 6363329 HAS SOUS 2379608 HAS SOUPS 2282728 WITH SCORE 2290403.489
AT ITER 1720 NEW BEST:: SOT 12040180 SOS 7672471 HAS SOPS 6360952 HAS SOUS 2377576 HAS SOUPS 2280696 WITH SCORE 2288368.471
AT ITER 1730 NEW BEST:: SOT 12040063 SOS 7672354 HAS SOPS 6360835 HAS SOUS 2377459 HAS SOUPS 2280579 WITH SCORE 2288251.354
AT ITER 1737 NEW BEST:: SOT 12037998 SOS 7667930 HAS SOPS 6356765 HAS SOUS 2371983 HAS SOUPS 2275103 WITH SCORE 2282770.93
AT ITER 1739 NEW BEST:: SOT 12038343 SOS 7672349 HAS SOPS 6360069 HAS SOUS 2369944 HAS SOUPS 2273005 WITH SCORE 2280677.349
AT ITER 1758 NEW BEST:: SOT 12040002 SOS 7680999 HAS SOPS 6360871 HAS SOUS 2365453 HAS SOUPS 2268514 WITH SCORE 2276194.999
AT ITER 1768 NEW BEST:: SOT 12049026 SOS 7698091 HAS SOPS 6379371 HAS SOUS 2357013 HAS SOUPS 2260877 WITH SCORE 2268575.091
AT ITER 1796 NEW BEST:: SOT 12048649 SOS 7696400 HAS SOPS 6378041 HAS SOUS 2356082 HAS SOUPS 2259946 WITH SCORE 2267642.4
AT ITER 1800 NEW BEST:: SOT 12048562 SOS 7696293 HAS SOPS 6377934 HAS SOUS 2356015 HAS SOUPS 2259879 WITH SCORE 2267575.293
AT ITER 1807 NEW BEST:: SOT 12033685 SOS 7666124 HAS SOPS 6357111 HAS SOUS 2346499 HAS SOUPS 2250871 WITH SCORE 2258537.124
AT ITER 1826 NEW BEST:: SOT 12034097 SOS 7668187 HAS SOPS 6358738 HAS SOUS 2344289 HAS SOUPS 2248661 WITH SCORE 2256329.187
AT ITER 1851 NEW BEST:: SOT 12034097 SOS 7668114 HAS SOPS 6358701 HAS SOUS 2344287 HAS SOUPS 2248659 WITH SCORE 2256327.114
AT ITER 1853 NEW BEST:: SOT 12034296 SOS 7669118 HAS SOPS 6359426 HAS SOUS 2344059 HAS SOUPS 2248431 WITH SCORE 2256100.118
AT ITER 1854 NEW BEST:: SOT 12033669 SOS 7668491 HAS SOPS 6358511 HAS SOUS 2344152 HAS SOUPS 2248236 WITH SCORE 2255904.491
AT ITER 1856 NEW BEST:: SOT 12034323 SOS 7669145 HAS SOPS 6359101 HAS SOUS 2344062 HAS SOUPS 2248146 WITH SCORE 2255815.145
AT ITER 1870 NEW BEST:: SOT 12026816 SOS 7667224 HAS SOPS 6349784 HAS SOUS 2326579 HAS SOUPS 2230573 WITH SCORE 2238240.224
AT ITER 1871 NEW BEST:: SOT 12026015 SOS 7666157 HAS SOPS 6349198 HAS SOUS 2325725 HAS SOUPS 2229748 WITH SCORE 2237414.157
AT ITER 1876 NEW BEST:: SOT 12025796 SOS 7665488 HAS SOPS 6348774 HAS SOUS 2325586 HAS SOUPS 2229609 WITH SCORE 2237274.488
AT ITER 1878 NEW BEST:: SOT 12026256 SOS 7666988 HAS SOPS 6350096 HAS SOUS 2322050 HAS SOUPS 2226073 WITH SCORE 2233739.988
AT ITER 1880 NEW BEST:: SOT 12022385 SOS 7663866 HAS SOPS 6358668 HAS SOUS 2321433 HAS SOUPS 2225456 WITH SCORE 2233119.866
AT ITER 1888 NEW BEST:: SOT 12019811 SOS 7660019 HAS SOPS 6356194 HAS SOUS 2318046 HAS SOUPS 2222069 WITH SCORE 2229729.019
AT ITER 1900 NEW BEST:: SOT 12019315 SOS 7658490 HAS SOPS 6358443 HAS SOUS 2314650 HAS SOUPS 2218673 WITH SCORE 2226331.49
AT ITER 1905 NEW BEST:: SOT 12019360 SOS 7658588 HAS SOPS 6358516 HAS SOUS 2314642 HAS SOUPS 2218665 WITH SCORE 2226323.588
AT ITER 1912 NEW BEST:: SOT 12021310 SOS 7658259 HAS SOPS 6360487 HAS SOUS 2312709 HAS SOUPS 2216823 WITH SCORE 2224481.259
AT ITER 1914 NEW BEST:: SOT 12020995 SOS 7658022 HAS SOPS 6360314 HAS SOUS 2311920 HAS SOUPS 2216023 WITH SCORE 2223681.022
AT ITER 1916 NEW BEST:: SOT 12021253 SOS 7659032 HAS SOPS 6361914 HAS SOUS 2311101 HAS SOUPS 2215204 WITH SCORE 2222863.032
AT ITER 1939 NEW BEST:: SOT 12021425 SOS 7660569 HAS SOPS 6363069 HAS SOUS 2310255 HAS SOUPS 2214358 WITH SCORE 2222018.569
AT ITER 1948 NEW BEST:: SOT 12023685 SOS 7663242 HAS SOPS 6364012 HAS SOUS 2310075 HAS SOUPS 2214220 WITH SCORE 2221883.242
AT ITER 1950 NEW BEST:: SOT 12021254 SOS 7659628 HAS SOPS 6360658 HAS SOUS 2309597 HAS SOUPS 2213657 WITH SCORE 2221316.628
AT ITER 1972 NEW BEST:: SOT 12026195 SOS 7665273 HAS SOPS 6373205 HAS SOUS 2307390 HAS SOUPS 2211609 WITH SCORE 2219274.273
AT ITER 1980 NEW BEST:: SOT 12023348 SOS 7661858 HAS SOPS 6368420 HAS SOUS 2303781 HAS SOUPS 2207953 WITH SCORE 2215614.858
AT ITER 1981 NEW BEST:: SOT 12021115 SOS 7655995 HAS SOPS 6362405 HAS SOUS 2303653 HAS SOUPS 2207825 WITH SCORE 2215480.995
AT ITER 1984 NEW BEST:: SOT 12020889 SOS 7654469 HAS SOPS 6360611 HAS SOUS 2302947 HAS SOUPS 2207119 WITH SCORE 2214773.469
AT ITER 1998 NEW BEST:: SOT 12024530 SOS 7662937 HAS SOPS 6361804 HAS SOUS 2300855 HAS SOUPS 2204776 WITH SCORE 2212438.937
AT ITER 2006 NEW BEST:: SOT 12022636 SOS 7660185 HAS SOPS 6359870 HAS SOUS 2299183 HAS SOUPS 2203104 WITH SCORE 2210764.185
AT ITER 2009 NEW BEST:: SOT 12027245 SOS 7672888 HAS SOPS 6370559 HAS SOUS 2297629 HAS SOUPS 2201520 WITH SCORE 2209192.888
AT ITER 2021 NEW BEST:: SOT 12026400 SOS 7671532 HAS SOPS 6369549 HAS SOUS 2295655 HAS SOUPS 2199566 WITH SCORE 2207237.532
AT ITER 2034 NEW BEST:: SOT 12026575 SOS 7673183 HAS SOPS 6370869 HAS SOUS 2294816 HAS SOUPS 2198727 WITH SCORE 2206400.183
AT ITER 2045 NEW BEST:: SOT 12026770 SOS 7678400 HAS SOPS 6375734 HAS SOUS 2291788 HAS SOUPS 2195699 WITH SCORE 2203377.4
AT ITER 2046 NEW BEST:: SOT 12029787 SOS 7687232 HAS SOPS 6382708 HAS SOUS 2289993 HAS SOUPS 2193904 WITH SCORE 2201591.232
AT ITER 2050 NEW BEST:: SOT 12033084 SOS 7690564 HAS SOPS 6385968 HAS SOUS 2287693 HAS SOUPS 2191604 WITH SCORE 2199294.564
AT ITER 2066 NEW BEST:: SOT 12031666 SOS 7689374 HAS SOPS 6384465 HAS SOUS 2283410 HAS SOUPS 2187321 WITH SCORE 2195010.374
AT ITER 2089 NEW BEST:: SOT 12031672 SOS 7689027 HAS SOPS 6384515 HAS SOUS 2283397 HAS SOUPS 2187308 WITH SCORE 2194997.027
AT ITER 2102 NEW BEST:: SOT 12030401 SOS 7688105 HAS SOPS 6385461 HAS SOUS 2281368 HAS SOUPS 2185217 WITH SCORE 2192905.105
AT ITER 2110 NEW BEST:: SOT 12031994 SOS 7698032 HAS SOPS 6392218 HAS SOUS 2281087 HAS SOUPS 2184774 WITH SCORE 2192472.032
AT ITER 2117 NEW BEST:: SOT 12031978 SOS 7698016 HAS SOPS 6392202 HAS SOUS 2281055 HAS SOUPS 2184742 WITH SCORE 2192440.016
AT ITER 2126 NEW BEST:: SOT 12029653 SOS 7696042 HAS SOPS 6386328 HAS SOUS 2278289 HAS SOUPS 2181903 WITH SCORE 2189599.042
AT ITER 2138 NEW BEST:: SOT 12029772 SOS 7696100 HAS SOPS 6387898 HAS SOUS 2276153 HAS SOUPS 2179959 WITH SCORE 2187655.1
AT ITER 2149 NEW BEST:: SOT 12032214 SOS 7703038 HAS SOPS 6395312 HAS SOUS 2269497 HAS SOUPS 2173405 WITH SCORE 2181108.038
AT ITER 2152 NEW BEST:: SOT 12035151 SOS 7706882 HAS SOPS 6400742 HAS SOUS 2269275 HAS SOUPS 2173183 WITH SCORE 2180889.882
AT ITER 2172 NEW BEST:: SOT 12035125 SOS 7706738 HAS SOPS 6400630 HAS SOUS 2269271 HAS SOUPS 2173179 WITH SCORE 2180885.738
AT ITER 2174 NEW BEST:: SOT 12032075 SOS 7704110 HAS SOPS 6397361 HAS SOUS 2257005 HAS SOUPS 2160845 WITH SCORE 2168549.11
AT ITER 2175 NEW BEST:: SOT 12030777 SOS 7702812 HAS SOPS 6395743 HAS SOUS 2254135 HAS SOUPS 2157975 WITH SCORE 2165677.812
AT ITER 2185 NEW BEST:: SOT 12030317 SOS 7702333 HAS SOPS 6395026 HAS SOUS 2253127 HAS SOUPS 2156967 WITH SCORE 2164669.333
AT ITER 2187 NEW BEST:: SOT 12029040 SOS 7702183 HAS SOPS 6393380 HAS SOUS 2249737 HAS SOUPS 2153577 WITH SCORE 2161279.183
AT ITER 2189 NEW BEST:: SOT 12028599 SOS 7701031 HAS SOPS 6392887 HAS SOUS 2249449 HAS SOUPS 2153289 WITH SCORE 2160990.031
AT ITER 2197 NEW BEST:: SOT 12028223 SOS 7700502 HAS SOPS 6392343 HAS SOUS 2249032 HAS SOUPS 2152872 WITH SCORE 2160572.502
AT ITER 2200 NEW BEST:: SOT 12028879 SOS 7701757 HAS SOPS 6393039 HAS SOUS 2245216 HAS SOUPS 2149200 WITH SCORE 2156901.757
AT ITER 2203 NEW BEST:: SOT 12031253 SOS 7705000 HAS SOPS 6392656 HAS SOUS 2245331 HAS SOUPS 2149087 WITH SCORE 2156792.0
AT ITER 2210 NEW BEST:: SOT 12032395 SOS 7707443 HAS SOPS 6395562 HAS SOUS 2243082 HAS SOUPS 2146880 WITH SCORE 2154587.443
AT ITER 2228 NEW BEST:: SOT 12029743 SOS 7701706 HAS SOPS 6389598 HAS SOUS 2241726 HAS SOUPS 2145575 WITH SCORE 2153276.706
AT ITER 2245 NEW BEST:: SOT 12024899 SOS 7690985 HAS SOPS 6380818 HAS SOUS 2240437 HAS SOUPS 2144355 WITH SCORE 2152045.985
AT ITER 2264 NEW BEST:: SOT 12023743 SOS 7689225 HAS SOPS 6378634 HAS SOUS 2238209 HAS SOUPS 2142127 WITH SCORE 2149816.225
AT ITER 2281 NEW BEST:: SOT 12022751 SOS 7687418 HAS SOPS 6376413 HAS SOUS 2237357 HAS SOUPS 2141275 WITH SCORE 2148962.418
AT ITER 2292 NEW BEST:: SOT 12022635 SOS 7687303 HAS SOPS 6376281 HAS SOUS 2237162 HAS SOUPS 2141079 WITH SCORE 2148766.303
AT ITER 2295 NEW BEST:: SOT 12020984 SOS 7686199 HAS SOPS 6373609 HAS SOUS 2232723 HAS SOUPS 2136605 WITH SCORE 2144291.199
AT ITER 2301 NEW BEST:: SOT 12018265 SOS 7682677 HAS SOPS 6369285 HAS SOUS 2230540 HAS SOUPS 2134422 WITH SCORE 2142104.677
AT ITER 2302 NEW BEST:: SOT 12018116 SOS 7681843 HAS SOPS 6367833 HAS SOUS 2230080 HAS SOUPS 2133962 WITH SCORE 2141643.843
AT ITER 2308 NEW BEST:: SOT 12016863 SOS 7682080 HAS SOPS 6367020 HAS SOUS 2224927 HAS SOUPS 2128809 WITH SCORE 2136491.08
AT ITER 2310 NEW BEST:: SOT 12016002 SOS 7681250 HAS SOPS 6366220 HAS SOUS 2222775 HAS SOUPS 2126677 WITH SCORE 2134358.25
AT ITER 2317 NEW BEST:: SOT 12017083 SOS 7681007 HAS SOPS 6365306 HAS SOUS 2221497 HAS SOUPS 2125503 WITH SCORE 2133184.007
AT ITER 2348 NEW BEST:: SOT 12011171 SOS 7673965 HAS SOPS 6355398 HAS SOUS 2208205 HAS SOUPS 2112151 WITH SCORE 2119824.965
AT ITER 2354 NEW BEST:: SOT 12011030 SOS 7673796 HAS SOPS 6355209 HAS SOUS 2207962 HAS SOUPS 2111924 WITH SCORE 2119597.796
AT ITER 2362 NEW BEST:: SOT 12005471 SOS 7668250 HAS SOPS 6349106 HAS SOUS 2198908 HAS SOUPS 2102857 WITH SCORE 2110525.25
AT ITER 2363 NEW BEST:: SOT 12000200 SOS 7655645 HAS SOPS 6338767 HAS SOUS 2198252 HAS SOUPS 2102205 WITH SCORE 2109860.645
AT ITER 2375 NEW BEST:: SOT 12001214 SOS 7656247 HAS SOPS 6341106 HAS SOUS 2197339 HAS SOUPS 2101536 WITH SCORE 2109192.247
AT ITER 2389 NEW BEST:: SOT 12001669 SOS 7658490 HAS SOPS 6345045 HAS SOUS 2197295 HAS SOUPS 2101492 WITH SCORE 2109150.49
AT ITER 2392 NEW BEST:: SOT 12001221 SOS 7658006 HAS SOPS 6344471 HAS SOUS 2196253 HAS SOUPS 2100456 WITH SCORE 2108114.006
AT ITER 2402 NEW BEST:: SOT 12000949 SOS 7656970 HAS SOPS 6343998 HAS SOUS 2195831 HAS SOUPS 2100034 WITH SCORE 2107690.97
AT ITER 2424 NEW BEST:: SOT 11998461 SOS 7655022 HAS SOPS 6340547 HAS SOUS 2187939 HAS SOUPS 2092142 WITH SCORE 2099797.022
AT ITER 2429 NEW BEST:: SOT 12000318 SOS 7661810 HAS SOPS 6345038 HAS SOUS 2186906 HAS SOUPS 2091109 WITH SCORE 2098770.81
AT ITER 2432 NEW BEST:: SOT 11997926 SOS 7659438 HAS SOPS 6343242 HAS SOUS 2179250 HAS SOUPS 2083453 WITH SCORE 2091112.438
AT ITER 2433 NEW BEST:: SOT 11996532 SOS 7655333 HAS SOPS 6340351 HAS SOUS 2177079 HAS SOUPS 2081282 WITH SCORE 2088937.333
AT ITER 2435 NEW BEST:: SOT 11994204 SOS 7650428 HAS SOPS 6338329 HAS SOUS 2176117 HAS SOUPS 2080523 WITH SCORE 2088173.428
AT ITER 2440 NEW BEST:: SOT 11990954 SOS 7644960 HAS SOPS 6329540 HAS SOUS 2166412 HAS SOUPS 2070818 WITH SCORE 2078462.96
AT ITER 2444 NEW BEST:: SOT 11986485 SOS 7636286 HAS SOPS 6324289 HAS SOUS 2162285 HAS SOUPS 2066691 WITH SCORE 2074327.286
AT ITER 2473 NEW BEST:: SOT 11986384 SOS 7636234 HAS SOPS 6324390 HAS SOUS 2162252 HAS SOUPS 2066658 WITH SCORE 2074294.234
AT ITER 2479 NEW BEST:: SOT 11986164 SOS 7634473 HAS SOPS 6321436 HAS SOUS 2162086 HAS SOUPS 2066492 WITH SCORE 2074126.473
AT ITER 2505 NEW BEST:: SOT 11988803 SOS 7641379 HAS SOPS 6333585 HAS SOUS 2162030 HAS SOUPS 2066436 WITH SCORE 2074077.379
AT ITER 2526 NEW BEST:: SOT 11988379 SOS 7640955 HAS SOPS 6333001 HAS SOUS 2161230 HAS SOUPS 2065636 WITH SCORE 2073276.955
AT ITER 2539 NEW BEST:: SOT 11988610 SOS 7641380 HAS SOPS 6334221 HAS SOUS 2157752 HAS SOUPS 2062613 WITH SCORE 2070254.38
AT ITER 2550 NEW BEST:: SOT 11987591 SOS 7639999 HAS SOPS 6332791 HAS SOUS 2154471 HAS SOUPS 2059360 WITH SCORE 2066999.999
AT ITER 2555 NEW BEST:: SOT 11989294 SOS 7643719 HAS SOPS 6334240 HAS SOUS 2152686 HAS SOUPS 2057575 WITH SCORE 2065218.719
AT ITER 2571 NEW BEST:: SOT 11988690 SOS 7641830 HAS SOPS 6332362 HAS SOUS 2151524 HAS SOUPS 2056413 WITH SCORE 2064054.83
AT ITER 2619 NEW BEST:: SOT 11987386 SOS 7640278 HAS SOPS 6328870 HAS SOUS 2146473 HAS SOUPS 2051445 WITH SCORE 2059085.278
AT ITER 2626 NEW BEST:: SOT 11987166 SOS 7640142 HAS SOPS 6328623 HAS SOUS 2146008 HAS SOUPS 2050980 WITH SCORE 2058620.142
AT ITER 2660 NEW BEST:: SOT 11986743 SOS 7639567 HAS SOPS 6327939 HAS SOUS 2145498 HAS SOUPS 2050470 WITH SCORE 2058109.567
AT ITER 2663 NEW BEST:: SOT 11986199 SOS 7639023 HAS SOPS 6327139 HAS SOUS 2144378 HAS SOUPS 2049350 WITH SCORE 2056989.023
AT ITER 2679 NEW BEST:: SOT 11985920 SOS 7638886 HAS SOPS 6327835 HAS SOUS 2143242 HAS SOUPS 2048214 WITH SCORE 2055852.886
AT ITER 2702 NEW BEST:: SOT 11982241 SOS 7634801 HAS SOPS 6328766 HAS SOUS 2142523 HAS SOUPS 2047617 WITH SCORE 2055251.801
AT ITER 2705 NEW BEST:: SOT 11983510 SOS 7640789 HAS SOPS 6333670 HAS SOUS 2140364 HAS SOUPS 2045509 WITH SCORE 2053149.789
AT ITER 2708 NEW BEST:: SOT 11986305 SOS 7646831 HAS SOPS 6344746 HAS SOUS 2139850 HAS SOUPS 2045125 WITH SCORE 2052771.831
AT ITER 2741 NEW BEST:: SOT 11986263 SOS 7646776 HAS SOPS 6344670 HAS SOUS 2139768 HAS SOUPS 2045043 WITH SCORE 2052689.776
AT ITER 2742 NEW BEST:: SOT 11985395 SOS 7646249 HAS SOPS 6343251 HAS SOUS 2138385 HAS SOUPS 2043660 WITH SCORE 2051306.249
AT ITER 2757 NEW BEST:: SOT 11985512 SOS 7643671 HAS SOPS 6341202 HAS SOUS 2136089 HAS SOUPS 2041439 WITH SCORE 2049082.671
AT ITER 2781 NEW BEST:: SOT 11985370 SOS 7643553 HAS SOPS 6341492 HAS SOUS 2135629 HAS SOUPS 2040979 WITH SCORE 2048622.553
AT ITER 2782 NEW BEST:: SOT 11977044 SOS 7626355 HAS SOPS 6323203 HAS SOUS 2121279 HAS SOUPS 2026706 WITH SCORE 2034332.355
AT ITER 2788 NEW BEST:: SOT 11976864 SOS 7625156 HAS SOPS 6320996 HAS SOUS 2121141 HAS SOUPS 2026568 WITH SCORE 2034193.156
AT ITER 2797 NEW BEST:: SOT 12007673 SOS 7650850 HAS SOPS 6347914 HAS SOUS 2112024 HAS SOUPS 2017442 WITH SCORE 2025092.85
AT ITER 2817 NEW BEST:: SOT 12007278 SOS 7651402 HAS SOPS 6347778 HAS SOUS 2111238 HAS SOUPS 2016656 WITH SCORE 2024307.402
AT ITER 2830 NEW BEST:: SOT 12006301 SOS 7650087 HAS SOPS 6349249 HAS SOUS 2110686 HAS SOUPS 2016196 WITH SCORE 2023846.087
AT ITER 2834 NEW BEST:: SOT 12006156 SOS 7650122 HAS SOPS 6349239 HAS SOUS 2110231 HAS SOUPS 2015741 WITH SCORE 2023391.122
AT ITER 2857 NEW BEST:: SOT 12003617 SOS 7647583 HAS SOPS 6346700 HAS SOUS 2107604 HAS SOUPS 2013114 WITH SCORE 2020761.583
AT ITER 2859 NEW BEST:: SOT 12003518 SOS 7647314 HAS SOPS 6347002 HAS SOUS 2106641 HAS SOUPS 2012375 WITH SCORE 2020022.314
AT ITER 2864 NEW BEST:: SOT 12002961 SOS 7646757 HAS SOPS 6346333 HAS SOUS 2105780 HAS SOUPS 2011514 WITH SCORE 2019160.757
AT ITER 2885 NEW BEST:: SOT 12001593 SOS 7645389 HAS SOPS 6344965 HAS SOUS 2104244 HAS SOUPS 2009978 WITH SCORE 2017623.389
AT ITER 2896 NEW BEST:: SOT 11999450 SOS 7643246 HAS SOPS 6342374 HAS SOUS 2102313 HAS SOUPS 2007711 WITH SCORE 2015354.246
AT ITER 2913 NEW BEST:: SOT 12001816 SOS 7647331 HAS SOPS 6345894 HAS SOUS 2101855 HAS SOUPS 2007253 WITH SCORE 2014900.331
AT ITER 2921 NEW BEST:: SOT 12001765 SOS 7647636 HAS SOPS 6346876 HAS SOUS 2101666 HAS SOUPS 2007064 WITH SCORE 2014711.636
AT ITER 2930 NEW BEST:: SOT 12001541 SOS 7647228 HAS SOPS 6346347 HAS SOUS 2101244 HAS SOUPS 2006642 WITH SCORE 2014289.228
AT ITER 2940 NEW BEST:: SOT 12003602 SOS 7653161 HAS SOPS 6351528 HAS SOUS 2100098 HAS SOUPS 2005496 WITH SCORE 2013149.161
AT ITER 2941 NEW BEST:: SOT 12004481 SOS 7655065 HAS SOPS 6352960 HAS SOUS 2099898 HAS SOUPS 2005296 WITH SCORE 2012951.065
AT ITER 2945 NEW BEST:: SOT 12004571 SOS 7655470 HAS SOPS 6353100 HAS SOUS 2099711 HAS SOUPS 2005053 WITH SCORE 2012708.47
AT ITER 2967 NEW BEST:: SOT 12003576 SOS 7654331 HAS SOPS 6352143 HAS SOUS 2099029 HAS SOUPS 2004496 WITH SCORE 2012150.331
AT ITER 2969 NEW BEST:: SOT 12003044 SOS 7654299 HAS SOPS 6351660 HAS SOUS 2097368 HAS SOUPS 2002835 WITH SCORE 2010489.299
AT ITER 2973 NEW BEST:: SOT 12001718 SOS 7652053 HAS SOPS 6349690 HAS SOUS 2095950 HAS SOUPS 2001440 WITH SCORE 2009092.053
AT ITER 2981 NEW BEST:: SOT 12001675 SOS 7651968 HAS SOPS 6349575 HAS SOUS 2095853 HAS SOUPS 2001343 WITH SCORE 2008994.968
AT ITER 2993 NEW BEST:: SOT 11999450 SOS 7648385 HAS SOPS 6346415 HAS SOUS 2093070 HAS SOUPS 1998735 WITH SCORE 2006383.385
AT ITER 2995 NEW BEST:: SOT 11999416 SOS 7648498 HAS SOPS 6349035 HAS SOUS 2092602 HAS SOUPS 1998323 WITH SCORE 2005971.498
AT ITER 3005 NEW BEST:: SOT 11994562 SOS 7643644 HAS SOPS 6344321 HAS SOUS 2091324 HAS SOUPS 1997281 WITH SCORE 2004924.644
AT ITER 3010 NEW BEST:: SOT 11994504 SOS 7643550 HAS SOPS 6344199 HAS SOUS 2091256 HAS SOUPS 1997213 WITH SCORE 2004856.55
AT ITER 3026 NEW BEST:: SOT 11992730 SOS 7641514 HAS SOPS 6341345 HAS SOUS 2087633 HAS SOUPS 1993590 WITH SCORE 2001231.514
AT ITER 3028 NEW BEST:: SOT 11992382 SOS 7641166 HAS SOPS 6340997 HAS SOUS 2087465 HAS SOUPS 1993422 WITH SCORE 2001063.166
AT ITER 3034 NEW BEST:: SOT 11992656 SOS 7644667 HAS SOPS 6344302 HAS SOUS 2086962 HAS SOUPS 1992919 WITH SCORE 2000563.667
AT ITER 3035 NEW BEST:: SOT 11992682 SOS 7644653 HAS SOPS 6344248 HAS SOUS 2086890 HAS SOUPS 1992847 WITH SCORE 2000491.653
AT ITER 3039 NEW BEST:: SOT 11993872 SOS 7645843 HAS SOPS 6345038 HAS SOUS 2087096 HAS SOUPS 1992717 WITH SCORE 2000362.843
AT ITER 3052 NEW BEST:: SOT 11991358 SOS 7635419 HAS SOPS 6335375 HAS SOUS 2084641 HAS SOUPS 1990262 WITH SCORE 1997897.419
AT ITER 3081 NEW BEST:: SOT 11990121 SOS 7634807 HAS SOPS 6333645 HAS SOUS 2080261 HAS SOUPS 1985882 WITH SCORE 1993516.807
AT ITER 3089 NEW BEST:: SOT 11981565 SOS 7622894 HAS SOPS 6323166 HAS SOUS 2061545 HAS SOUPS 1967402 WITH SCORE 1975024.894
AT ITER 3093 NEW BEST:: SOT 11981265 SOS 7621979 HAS SOPS 6322483 HAS SOUS 2061129 HAS SOUPS 1966993 WITH SCORE 1974614.979
AT ITER 3102 NEW BEST:: SOT 11981056 SOS 7621906 HAS SOPS 6322510 HAS SOUS 2061101 HAS SOUPS 1966965 WITH SCORE 1974586.906
AT ITER 3108 NEW BEST:: SOT 11980718 SOS 7623316 HAS SOPS 6324108 HAS SOUS 2058544 HAS SOUPS 1964408 WITH SCORE 1972031.316
AT ITER 3110 NEW BEST:: SOT 11973627 SOS 7612923 HAS SOPS 6313001 HAS SOUS 2040754 HAS SOUPS 1946732 WITH SCORE 1954344.923
AT ITER 3118 NEW BEST:: SOT 11972959 SOS 7611917 HAS SOPS 6313174 HAS SOUS 2038946 HAS SOUPS 1944924 WITH SCORE 1952535.917
AT ITER 3119 NEW BEST:: SOT 11971661 SOS 7609101 HAS SOPS 6311397 HAS SOUS 2038921 HAS SOUPS 1944899 WITH SCORE 1952508.101
AT ITER 3123 NEW BEST:: SOT 11971643 SOS 7609023 HAS SOPS 6311478 HAS SOUS 2038891 HAS SOUPS 1944869 WITH SCORE 1952478.023
AT ITER 3164 NEW BEST:: SOT 11970515 SOS 7608034 HAS SOPS 6309577 HAS SOUS 2035917 HAS SOUPS 1941880 WITH SCORE 1949488.034
AT ITER 3238 NEW BEST:: SOT 11969404 SOS 7606197 HAS SOPS 6306798 HAS SOUS 2034215 HAS SOUPS 1940202 WITH SCORE 1947808.197
AT ITER 3245 NEW BEST:: SOT 11968147 SOS 7605149 HAS SOPS 6305100 HAS SOUS 2032554 HAS SOUPS 1938525 WITH SCORE 1946130.149
AT ITER 3257 NEW BEST:: SOT 11967209 SOS 7604181 HAS SOPS 6303991 HAS SOUS 2030856 HAS SOUPS 1936827 WITH SCORE 1944431.181
AT ITER 3259 NEW BEST:: SOT 11964602 SOS 7602623 HAS SOPS 6301074 HAS SOUS 2029264 HAS SOUPS 1935172 WITH SCORE 1942774.623
AT ITER 3262 NEW BEST:: SOT 11964490 SOS 7602694 HAS SOPS 6301456 HAS SOUS 2028981 HAS SOUPS 1934889 WITH SCORE 1942491.694
AT ITER 3280 NEW BEST:: SOT 11965658 SOS 7607289 HAS SOPS 6304264 HAS SOUS 2023282 HAS SOUPS 1929190 WITH SCORE 1936797.289
AT ITER 3303 NEW BEST:: SOT 11965560 SOS 7606898 HAS SOPS 6310155 HAS SOUS 2020955 HAS SOUPS 1926863 WITH SCORE 1934469.898
AT ITER 3322 NEW BEST:: SOT 11964397 SOS 7604460 HAS SOPS 6311029 HAS SOUS 2020728 HAS SOUPS 1926624 WITH SCORE 1934228.46
AT ITER 3324 NEW BEST:: SOT 11960715 SOS 7599796 HAS SOPS 6305538 HAS SOUS 2017800 HAS SOUPS 1923365 WITH SCORE 1930964.796
AT ITER 3335 NEW BEST:: SOT 11959748 SOS 7590494 HAS SOPS 6297250 HAS SOUS 2012877 HAS SOUPS 1918553 WITH SCORE 1926143.494
AT ITER 3369 NEW BEST:: SOT 11952856 SOS 7580441 HAS SOPS 6289795 HAS SOUS 2004609 HAS SOUPS 1910349 WITH SCORE 1917929.441
AT ITER 3373 NEW BEST:: SOT 11952122 SOS 7579723 HAS SOPS 6289061 HAS SOUS 2003731 HAS SOUPS 1909455 WITH SCORE 1917034.723
AT ITER 3385 NEW BEST:: SOT 11951126 SOS 7578727 HAS SOPS 6287601 HAS SOUS 2000811 HAS SOUPS 1906535 WITH SCORE 1914113.727
AT ITER 3425 NEW BEST:: SOT 11949399 SOS 7577188 HAS SOPS 6285360 HAS SOUS 1997912 HAS SOUPS 1903600 WITH SCORE 1911177.188
AT ITER 3436 NEW BEST:: SOT 11948578 SOS 7576327 HAS SOPS 6284457 HAS SOUS 1997497 HAS SOUPS 1903165 WITH SCORE 1910741.327
AT ITER 3438 NEW BEST:: SOT 11950019 SOS 7578272 HAS SOPS 6286226 HAS SOUS 1995975 HAS SOUPS 1901552 WITH SCORE 1909130.272
AT ITER 3442 NEW BEST:: SOT 11948130 SOS 7575261 HAS SOPS 6283776 HAS SOUS 1993712 HAS SOUPS 1899306 WITH SCORE 1906881.261
AT ITER 3450 NEW BEST:: SOT 11952198 SOS 7581555 HAS SOPS 6288638 HAS SOUS 1986003 HAS SOUPS 1891597 WITH SCORE 1899178.555
AT ITER 3453 NEW BEST:: SOT 11953162 SOS 7585997 HAS SOPS 6292445 HAS SOUS 1985583 HAS SOUPS 1891177 WITH SCORE 1898762.997
AT ITER 3463 NEW BEST:: SOT 11953030 SOS 7586046 HAS SOPS 6292273 HAS SOUS 1985430 HAS SOUPS 1891024 WITH SCORE 1898610.046
AT ITER 3465 NEW BEST:: SOT 11952982 SOS 7585998 HAS SOPS 6292209 HAS SOUS 1985334 HAS SOUPS 1890928 WITH SCORE 1898513.998
AT ITER 3474 NEW BEST:: SOT 11952754 SOS 7585770 HAS SOPS 6291933 HAS SOUS 1984866 HAS SOUPS 1890460 WITH SCORE 1898045.77
AT ITER 3478 NEW BEST:: SOT 11952681 SOS 7585395 HAS SOPS 6291327 HAS SOUS 1984630 HAS SOUPS 1890224 WITH SCORE 1897809.395
AT ITER 3503 NEW BEST:: SOT 11949445 SOS 7582189 HAS SOPS 6287539 HAS SOUS 1979767 HAS SOUPS 1885361 WITH SCORE 1892943.189
AT ITER 3508 NEW BEST:: SOT 11949574 SOS 7582318 HAS SOPS 6287668 HAS SOUS 1979596 HAS SOUPS 1885190 WITH SCORE 1892772.318
AT ITER 3517 NEW BEST:: SOT 11950615 SOS 7583535 HAS SOPS 6288048 HAS SOUS 1978849 HAS SOUPS 1884443 WITH SCORE 1892026.535
AT ITER 3524 NEW BEST:: SOT 11950344 SOS 7583257 HAS SOPS 6286769 HAS SOUS 1978585 HAS SOUPS 1884179 WITH SCORE 1891762.257
AT ITER 3530 NEW BEST:: SOT 11950359 SOS 7583213 HAS SOPS 6286675 HAS SOUS 1978526 HAS SOUPS 1884070 WITH SCORE 1891653.213
AT ITER 3533 NEW BEST:: SOT 11957782 SOS 7613018 HAS SOPS 6305505 HAS SOUS 1976228 HAS SOUPS 1881784 WITH SCORE 1889397.018
AT ITER 3552 NEW BEST:: SOT 11958632 SOS 7614744 HAS SOPS 6306750 HAS SOUS 1975035 HAS SOUPS 1880591 WITH SCORE 1888205.744
AT ITER 3558 NEW BEST:: SOT 11957752 SOS 7614014 HAS SOPS 6304832 HAS SOUS 1972844 HAS SOUPS 1878316 WITH SCORE 1885930.014
AT ITER 3578 NEW BEST:: SOT 11958184 SOS 7614462 HAS SOPS 6304161 HAS SOUS 1972638 HAS SOUPS 1878112 WITH SCORE 1885726.462
AT ITER 3597 NEW BEST:: SOT 11958133 SOS 7614362 HAS SOPS 6304009 HAS SOUS 1972438 HAS SOUPS 1877912 WITH SCORE 1885526.362
AT ITER 3606 NEW BEST:: SOT 11955309 SOS 7609501 HAS SOPS 6302775 HAS SOUS 1968409 HAS SOUPS 1873893 WITH SCORE 1881502.501
AT ITER 3608 NEW BEST:: SOT 11956179 SOS 7612699 HAS SOPS 6304898 HAS SOUS 1965839 HAS SOUPS 1871323 WITH SCORE 1878935.699
AT ITER 3613 NEW BEST:: SOT 11951558 SOS 7607209 HAS SOPS 6299261 HAS SOUS 1956762 HAS SOUPS 1862228 WITH SCORE 1869835.209
AT ITER 3620 NEW BEST:: SOT 11950468 SOS 7606119 HAS SOPS 6297739 HAS SOUS 1954612 HAS SOUPS 1860078 WITH SCORE 1867684.119
AT ITER 3633 NEW BEST:: SOT 11950410 SOS 7606061 HAS SOPS 6297681 HAS SOUS 1954266 HAS SOUPS 1859732 WITH SCORE 1867338.061
AT ITER 3674 NEW BEST:: SOT 11950076 SOS 7605692 HAS SOPS 6296834 HAS SOUS 1953330 HAS SOUPS 1858796 WITH SCORE 1866401.692
AT ITER 3675 NEW BEST:: SOT 11947893 SOS 7601360 HAS SOPS 6294237 HAS SOUS 1952965 HAS SOUPS 1858310 WITH SCORE 1865911.36
AT ITER 3692 NEW BEST:: SOT 11948605 SOS 7602879 HAS SOPS 6294300 HAS SOUS 1951272 HAS SOUPS 1856617 WITH SCORE 1864219.879
AT ITER 3693 NEW BEST:: SOT 11947304 SOS 7601610 HAS SOPS 6292631 HAS SOUS 1949907 HAS SOUPS 1855101 WITH SCORE 1862702.61
AT ITER 3700 NEW BEST:: SOT 11945353 SOS 7598686 HAS SOPS 6289572 HAS SOUS 1946797 HAS SOUPS 1851993 WITH SCORE 1859591.686
AT ITER 3746 NEW BEST:: SOT 11946717 SOS 7601851 HAS SOPS 6290668 HAS SOUS 1946573 HAS SOUPS 1851704 WITH SCORE 1859305.851
AT ITER 3750 NEW BEST:: SOT 11946692 SOS 7601786 HAS SOPS 6290634 HAS SOUS 1946547 HAS SOUPS 1851678 WITH SCORE 1859279.786
AT ITER 3778 NEW BEST:: SOT 11947921 SOS 7609837 HAS SOPS 6292255 HAS SOUS 1939686 HAS SOUPS 1844817 WITH SCORE 1852426.837
AT ITER 3794 NEW BEST:: SOT 11949170 SOS 7617074 HAS SOPS 6299979 HAS SOUS 1937595 HAS SOUPS 1842726 WITH SCORE 1850343.074
AT ITER 3795 NEW BEST:: SOT 11945044 SOS 7612948 HAS SOPS 6295117 HAS SOUS 1930005 HAS SOUPS 1835136 WITH SCORE 1842748.948
AT ITER 3804 NEW BEST:: SOT 11944822 SOS 7612366 HAS SOPS 6294619 HAS SOUS 1928681 HAS SOUPS 1833950 WITH SCORE 1841562.366
AT ITER 3805 NEW BEST:: SOT 11943398 SOS 7610558 HAS SOPS 6292907 HAS SOUS 1926597 HAS SOUPS 1831878 WITH SCORE 1839488.558
AT ITER 3836 NEW BEST:: SOT 11943386 SOS 7610568 HAS SOPS 6292758 HAS SOUS 1926332 HAS SOUPS 1831610 WITH SCORE 1839220.568
AT ITER 3846 NEW BEST:: SOT 11943361 SOS 7610402 HAS SOPS 6292550 HAS SOUS 1926203 HAS SOUPS 1831481 WITH SCORE 1839091.402
AT ITER 3875 NEW BEST:: SOT 11942632 SOS 7609420 HAS SOPS 6292812 HAS SOUS 1925673 HAS SOUPS 1830951 WITH SCORE 1838560.42
AT ITER 3880 NEW BEST:: SOT 11948255 SOS 7614855 HAS SOPS 6299536 HAS SOUS 1925565 HAS SOUPS 1830757 WITH SCORE 1838371.855
AT ITER 3881 NEW BEST:: SOT 11947662 SOS 7613550 HAS SOPS 6300673 HAS SOUS 1925038 HAS SOUPS 1830230 WITH SCORE 1837843.55
AT ITER 3902 NEW BEST:: SOT 11947085 SOS 7612445 HAS SOPS 6299700 HAS SOUS 1924230 HAS SOUPS 1829433 WITH SCORE 1837045.445
AT ITER 3904 NEW BEST:: SOT 11946256 SOS 7609624 HAS SOPS 6297316 HAS SOUS 1923899 HAS SOUPS 1829102 WITH SCORE 1836711.624
AT ITER 3949 NEW BEST:: SOT 11943849 SOS 7606471 HAS SOPS 6294726 HAS SOUS 1920332 HAS SOUPS 1825436 WITH SCORE 1833042.471
AT ITER 3955 NEW BEST:: SOT 11943056 SOS 7605648 HAS SOPS 6293845 HAS SOUS 1918969 HAS SOUPS 1824073 WITH SCORE 1831678.648
AT ITER 3964 NEW BEST:: SOT 11943400 SOS 7606764 HAS SOPS 6294961 HAS SOUS 1918808 HAS SOUPS 1823912 WITH SCORE 1831518.764
AT ITER 3972 NEW BEST:: SOT 11943005 SOS 7606296 HAS SOPS 6294543 HAS SOUS 1918451 HAS SOUPS 1823537 WITH SCORE 1831143.296
AT ITER 4046 NEW BEST:: SOT 11942590 SOS 7605881 HAS SOPS 6294048 HAS SOUS 1918116 HAS SOUPS 1823202 WITH SCORE 1830807.881
AT ITER 4071 NEW BEST:: SOT 11941459 SOS 7604316 HAS SOPS 6292437 HAS SOUS 1914965 HAS SOUPS 1820147 WITH SCORE 1827751.316
AT ITER 4086 NEW BEST:: SOT 11939765 SOS 7602871 HAS SOPS 6291852 HAS SOUS 1914804 HAS SOUPS 1819986 WITH SCORE 1827588.871
AT ITER 4123 NEW BEST:: SOT 11939649 SOS 7602755 HAS SOPS 6291736 HAS SOUS 1914752 HAS SOUPS 1819934 WITH SCORE 1827536.755
AT ITER 4164 NEW BEST:: SOT 11939221 SOS 7602246 HAS SOPS 6291342 HAS SOUS 1913497 HAS SOUPS 1818674 WITH SCORE 1826276.246
AT ITER 4166 NEW BEST:: SOT 11937988 SOS 7600541 HAS SOPS 6289393 HAS SOUS 1911240 HAS SOUPS 1816453 WITH SCORE 1824053.541
AT ITER 4177 NEW BEST:: SOT 11937712 SOS 7600265 HAS SOPS 6289053 HAS SOUS 1910916 HAS SOUPS 1816129 WITH SCORE 1823729.265
AT ITER 4190 NEW BEST:: SOT 11937372 SOS 7599925 HAS SOPS 6288217 HAS SOUS 1908228 HAS SOUPS 1813441 WITH SCORE 1821040.925
AT ITER 4216 NEW BEST:: SOT 11936503 SOS 7600228 HAS SOPS 6287816 HAS SOUS 1904593 HAS SOUPS 1809806 WITH SCORE 1817406.228
AT ITER 4217 NEW BEST:: SOT 11936949 SOS 7600974 HAS SOPS 6287931 HAS SOUS 1904448 HAS SOUPS 1809661 WITH SCORE 1817261.974
AT ITER 4221 NEW BEST:: SOT 11935535 SOS 7597513 HAS SOPS 6285105 HAS SOUS 1904031 HAS SOUPS 1809244 WITH SCORE 1816841.513
AT ITER 4227 NEW BEST:: SOT 11935529 SOS 7597421 HAS SOPS 6285017 HAS SOUS 1904013 HAS SOUPS 1809226 WITH SCORE 1816823.421
AT ITER 4234 NEW BEST:: SOT 11934487 SOS 7597067 HAS SOPS 6283524 HAS SOUS 1900452 HAS SOUPS 1805615 WITH SCORE 1813212.067
AT ITER 4235 NEW BEST:: SOT 11934653 SOS 7597884 HAS SOPS 6284231 HAS SOUS 1900326 HAS SOUPS 1805435 WITH SCORE 1813032.884
AT ITER 4243 NEW BEST:: SOT 11934785 SOS 7598429 HAS SOPS 6284906 HAS SOUS 1899889 HAS SOUPS 1804998 WITH SCORE 1812596.429
AT ITER 4259 NEW BEST:: SOT 11932417 SOS 7599825 HAS SOPS 6285650 HAS SOUS 1898660 HAS SOUPS 1803681 WITH SCORE 1811280.825
AT ITER 4262 NEW BEST:: SOT 11932034 SOS 7599268 HAS SOPS 6284931 HAS SOUS 1898025 HAS SOUPS 1803046 WITH SCORE 1810645.268
AT ITER 4286 NEW BEST:: SOT 11931480 SOS 7598980 HAS SOPS 6283004 HAS SOUS 1896943 HAS SOUPS 1801939 WITH SCORE 1809537.98
AT ITER 4289 NEW BEST:: SOT 11931460 SOS 7598960 HAS SOPS 6282984 HAS SOUS 1896943 HAS SOUPS 1801939 WITH SCORE 1809537.96
AT ITER 4295 NEW BEST:: SOT 11930780 SOS 7593307 HAS SOPS 6279211 HAS SOUS 1895523 HAS SOUPS 1801156 WITH SCORE 1808749.307
AT ITER 4316 NEW BEST:: SOT 11928212 SOS 7593152 HAS SOPS 6278401 HAS SOUS 1892056 HAS SOUPS 1797689 WITH SCORE 1805282.152
AT ITER 4328 NEW BEST:: SOT 11928315 SOS 7594560 HAS SOPS 6279526 HAS SOUS 1891028 HAS SOUPS 1796661 WITH SCORE 1804255.56
AT ITER 4331 NEW BEST:: SOT 11928125 SOS 7594446 HAS SOPS 6279410 HAS SOUS 1890818 HAS SOUPS 1796451 WITH SCORE 1804045.446
AT ITER 4336 NEW BEST:: SOT 11926185 SOS 7592506 HAS SOPS 6277230 HAS SOUS 1889130 HAS SOUPS 1794763 WITH SCORE 1802355.506
AT ITER 4354 NEW BEST:: SOT 11927788 SOS 7595672 HAS SOPS 6279347 HAS SOUS 1888004 HAS SOUPS 1793715 WITH SCORE 1801310.672
AT ITER 4360 NEW BEST:: SOT 11927558 SOS 7593451 HAS SOPS 6278838 HAS SOUS 1886886 HAS SOUPS 1793182 WITH SCORE 1800775.451
AT ITER 4368 NEW BEST:: SOT 11927561 SOS 7594390 HAS SOPS 6277422 HAS SOUS 1886031 HAS SOUPS 1792288 WITH SCORE 1799882.39
AT ITER 4370 NEW BEST:: SOT 11927553 SOS 7594382 HAS SOPS 6277414 HAS SOUS 1886031 HAS SOUPS 1792288 WITH SCORE 1799882.382
AT ITER 4382 NEW BEST:: SOT 11923004 SOS 7584728 HAS SOPS 6268423 HAS SOUS 1878966 HAS SOUPS 1785536 WITH SCORE 1793120.728
AT ITER 4385 NEW BEST:: SOT 11923093 SOS 7584877 HAS SOPS 6268622 HAS SOUS 1878764 HAS SOUPS 1785344 WITH SCORE 1792928.877
AT ITER 4395 NEW BEST:: SOT 11923170 SOS 7585394 HAS SOPS 6269054 HAS SOUS 1878736 HAS SOUPS 1785316 WITH SCORE 1792901.394
AT ITER 4400 NEW BEST:: SOT 11921089 SOS 7584653 HAS SOPS 6267216 HAS SOUS 1875083 HAS SOUPS 1781663 WITH SCORE 1789247.653
AT ITER 4402 NEW BEST:: SOT 11921036 SOS 7584012 HAS SOPS 6266675 HAS SOUS 1874823 HAS SOUPS 1781403 WITH SCORE 1788987.012
AT ITER 4416 NEW BEST:: SOT 11917661 SOS 7580623 HAS SOPS 6263936 HAS SOUS 1870961 HAS SOUPS 1777949 WITH SCORE 1785529.623
AT ITER 4453 NEW BEST:: SOT 11911907 SOS 7568705 HAS SOPS 6254763 HAS SOUS 1866713 HAS SOUPS 1773718 WITH SCORE 1781286.705
AT ITER 4455 NEW BEST:: SOT 11910745 SOS 7567237 HAS SOPS 6254355 HAS SOUS 1865923 HAS SOUPS 1772955 WITH SCORE 1780522.237
AT ITER 4480 NEW BEST:: SOT 11909718 SOS 7568255 HAS SOPS 6251998 HAS SOUS 1865036 HAS SOUPS 1771955 WITH SCORE 1779523.255
AT ITER 4487 NEW BEST:: SOT 11909554 SOS 7568055 HAS SOPS 6251774 HAS SOUS 1864576 HAS SOUPS 1771491 WITH SCORE 1779059.055
AT ITER 4503 NEW BEST:: SOT 11909399 SOS 7567951 HAS SOPS 6251796 HAS SOUS 1864391 HAS SOUPS 1771306 WITH SCORE 1778873.951
AT ITER 4504 NEW BEST:: SOT 11911074 SOS 7573619 HAS SOPS 6257010 HAS SOUS 1863779 HAS SOUPS 1770694 WITH SCORE 1778267.619
AT ITER 4509 NEW BEST:: SOT 11911018 SOS 7573563 HAS SOPS 6256858 HAS SOUS 1863319 HAS SOUPS 1770234 WITH SCORE 1777807.563
AT ITER 4583 NEW BEST:: SOT 11904421 SOS 7567342 HAS SOPS 6250637 HAS SOUS 1857521 HAS SOUPS 1764436 WITH SCORE 1772003.342
AT ITER 4619 NEW BEST:: SOT 11902940 SOS 7566248 HAS SOPS 6248973 HAS SOUS 1855047 HAS SOUPS 1761864 WITH SCORE 1769430.248
AT ITER 4640 NEW BEST:: SOT 11903195 SOS 7566631 HAS SOPS 6249292 HAS SOUS 1854989 HAS SOUPS 1761806 WITH SCORE 1769372.631
AT ITER 4691 NEW BEST:: SOT 11904065 SOS 7568117 HAS SOPS 6251186 HAS SOUS 1854963 HAS SOUPS 1761780 WITH SCORE 1769348.117
AT ITER 4693 NEW BEST:: SOT 11903877 SOS 7568069 HAS SOPS 6250988 HAS SOUS 1854505 HAS SOUPS 1761322 WITH SCORE 1768890.069
AT ITER 4696 NEW BEST:: SOT 11903456 SOS 7567788 HAS SOPS 6250717 HAS SOUS 1854354 HAS SOUPS 1761171 WITH SCORE 1768738.788
AT ITER 4702 NEW BEST:: SOT 11905037 SOS 7569586 HAS SOPS 6251344 HAS SOUS 1854431 HAS SOUPS 1761082 WITH SCORE 1768651.586
AT ITER 4706 NEW BEST:: SOT 11902822 SOS 7567756 HAS SOPS 6248343 HAS SOUS 1852728 HAS SOUPS 1759355 WITH SCORE 1766922.756
AT ITER 4707 NEW BEST:: SOT 11896397 SOS 7561331 HAS SOPS 6241818 HAS SOUS 1849171 HAS SOUPS 1755798 WITH SCORE 1763359.331
AT ITER 4715 NEW BEST:: SOT 11895693 SOS 7560627 HAS SOPS 6241114 HAS SOUS 1848719 HAS SOUPS 1755346 WITH SCORE 1762906.627
AT ITER 4718 NEW BEST:: SOT 11895503 SOS 7560087 HAS SOPS 6240714 HAS SOUS 1848669 HAS SOUPS 1755303 WITH SCORE 1762863.087
AT ITER 4735 NEW BEST:: SOT 11895461 SOS 7560139 HAS SOPS 6240844 HAS SOUS 1848546 HAS SOUPS 1755180 WITH SCORE 1762740.139
AT ITER 4745 NEW BEST:: SOT 11901257 SOS 7575683 HAS SOPS 6256358 HAS SOUS 1843577 HAS SOUPS 1750211 WITH SCORE 1757786.683
AT ITER 4746 NEW BEST:: SOT 11900488 SOS 7570526 HAS SOPS 6253273 HAS SOUS 1840996 HAS SOUPS 1749481 WITH SCORE 1757051.526
AT ITER 4747 NEW BEST:: SOT 11899590 SOS 7569628 HAS SOPS 6252375 HAS SOUS 1840098 HAS SOUPS 1748583 WITH SCORE 1756152.628
AT ITER 4751 NEW BEST:: SOT 11899657 SOS 7569124 HAS SOPS 6251795 HAS SOUS 1840085 HAS SOUPS 1748570 WITH SCORE 1756139.124
AT ITER 4784 NEW BEST:: SOT 11899273 SOS 7568740 HAS SOPS 6251219 HAS SOUS 1839029 HAS SOUPS 1747514 WITH SCORE 1755082.74
AT ITER 4796 NEW BEST:: SOT 11898619 SOS 7568086 HAS SOPS 6250061 HAS SOUS 1837991 HAS SOUPS 1746068 WITH SCORE 1753636.086
AT ITER 4799 NEW BEST:: SOT 11898557 SOS 7568052 HAS SOPS 6250003 HAS SOUS 1837815 HAS SOUPS 1745894 WITH SCORE 1753462.052
AT ITER 4805 NEW BEST:: SOT 11899709 SOS 7568883 HAS SOPS 6250876 HAS SOUS 1835214 HAS SOUPS 1743340 WITH SCORE 1750908.883
AT ITER 4817 NEW BEST:: SOT 11899530 SOS 7568495 HAS SOPS 6250447 HAS SOUS 1834334 HAS SOUPS 1742475 WITH SCORE 1750043.495
AT ITER 4824 NEW BEST:: SOT 11899192 SOS 7568142 HAS SOPS 6250109 HAS SOUS 1833626 HAS SOUPS 1741772 WITH SCORE 1749340.142
AT ITER 4837 NEW BEST:: SOT 11900171 SOS 7571925 HAS SOPS 6253312 HAS SOUS 1832029 HAS SOUPS 1740175 WITH SCORE 1747746.925
AT ITER 4866 NEW BEST:: SOT 11899415 SOS 7570461 HAS SOPS 6252060 HAS SOUS 1831894 HAS SOUPS 1740040 WITH SCORE 1747610.461
AT ITER 4872 NEW BEST:: SOT 11898869 SOS 7568732 HAS SOPS 6250216 HAS SOUS 1826674 HAS SOUPS 1735561 WITH SCORE 1743129.732
AT ITER 4901 NEW BEST:: SOT 11899548 SOS 7568718 HAS SOPS 6249155 HAS SOUS 1825913 HAS SOUPS 1734800 WITH SCORE 1742368.718
AT ITER 4929 NEW BEST:: SOT 11899548 SOS 7566617 HAS SOPS 6246255 HAS SOUS 1825518 HAS SOUPS 1734405 WITH SCORE 1741971.617
AT ITER 4942 NEW BEST:: SOT 11896625 SOS 7561153 HAS SOPS 6241924 HAS SOUS 1813935 HAS SOUPS 1723238 WITH SCORE 1730799.153
AT ITER 4972 NEW BEST:: SOT 11896480 SOS 7560990 HAS SOPS 6241677 HAS SOUS 1813631 HAS SOUPS 1722934 WITH SCORE 1730494.99
AT ITER 4976 NEW BEST:: SOT 11895990 SOS 7558830 HAS SOPS 6240048 HAS SOUS 1813195 HAS SOUPS 1722498 WITH SCORE 1730056.83
AT ITER 4988 NEW BEST:: SOT 11892175 SOS 7548866 HAS SOPS 6231168 HAS SOUS 1808943 HAS SOUPS 1718412 WITH SCORE 1725960.866
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-9-CTLCardinality-00 (EF((AF((! potential( (tk(P456)) <= (tk(P447)) ))))))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-01 (AF((AX( ( potential( ( 3 ) <= (tk(P590)) ) | potential( ( 2 ) <= (tk(P330)) ) )))))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-02 (AU( (EX( potential( (tk(P255)) <= (tk(P103)) ))),( (! potential( ( 2 ) <= (tk(P8)) )) & (! potential( (tk(P275)) <= (tk(P555)) )) ) ))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-03 (AF((! ( (! potential( ( 1 ) <= (tk(P451)) )) & potential( (tk(P235)) <= (tk(P299)) ) ))))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-04 ( (AF((! ( potential( (tk(P545)) <= (tk(P157)) ) | potential( (tk(P38)) <= (tk(P560)) ) )))) | (! (EF(potential( (tk(P384)) <= (tk(P189)) )))) )
PROPERTY: RERS17pb113-PT-9-CTLCardinality-05 (AG( potential( (tk(P411)) <= (tk(P205)) )))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-06 (EU( ( ( potential( (tk(P163)) <= (tk(P566)) ) & potential( (tk(P487)) <= (tk(P60)) ) ) & ( potential( (tk(P583)) <= (tk(P308)) ) | potential( (tk(P491)) <= (tk(P174)) ) ) ),(EX( potential( ( 3 ) <= (tk(P364)) ))) ))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-07 (! (EF((AF(potential( ( 1 ) <= (tk(P158)) ))))))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-08 (EX( (! (AF(potential( ( 3 ) <= (tk(P359)) ))))))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-09 ( ( (! potential( (tk(P499)) <= (tk(P302)) )) | (AG( potential( (tk(P633)) <= (tk(P232)) ))) ) & (AF((AX( potential( ( 2 ) <= (tk(P263)) ))))) )
PROPERTY: RERS17pb113-PT-9-CTLCardinality-10 ( ( (AX( ( potential( (tk(P249)) <= (tk(P58)) ) | potential( ( 3 ) <= (tk(P11)) ) ))) & (AG( ( potential( (tk(P400)) <= (tk(P444)) ) | potential( (tk(P72)) <= (tk(P610)) ) ))) ) | (EX( (AF(potential( ( 3 ) <= (tk(P496)) ))))) )
PROPERTY: RERS17pb113-PT-9-CTLCardinality-11 (AF(( (EF(potential( ( 3 ) <= (tk(P143)) ))) & (AG( potential( (tk(P412)) <= (tk(P235)) ))) )))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-12 (AU( (AX( potential( (tk(P616)) <= (tk(P144)) ))),(EG( potential( (tk(P455)) <= (tk(P332)) ))) ))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-13 (EU( (EF(potential( (tk(P12)) <= (tk(P626)) ))),(! ( potential( (tk(P484)) <= (tk(P46)) ) & potential( (tk(P51)) <= (tk(P448)) ) )) ))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-14 (AF(potential( ( 2 ) <= (tk(P252)) )))
PROPERTY: RERS17pb113-PT-9-CTLCardinality-15 (AX( (AF(( potential( (tk(P402)) <= (tk(P32)) ) & potential( ( 2 ) <= (tk(P95)) ) )))))

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

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