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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:03 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.5K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:31 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-5-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-5-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589667829043

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 5
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 7 NEW BEST:: SOT 12200888 SOS 7753749 HAS SOPS 6422662 HAS SOUS 3040236 HAS SOUPS 2939746 WITH SCORE 2947499.749
AT ITER 17 NEW BEST:: SOT 12199237 SOS 7749208 HAS SOPS 6427754 HAS SOUS 3030804 HAS SOUPS 2930987 WITH SCORE 2938736.208
AT ITER 26 NEW BEST:: SOT 12184799 SOS 7734944 HAS SOPS 6413490 HAS SOUS 3008709 HAS SOUPS 2908892 WITH SCORE 2916626.944
AT ITER 32 NEW BEST:: SOT 12183295 SOS 7733440 HAS SOPS 6411986 HAS SOUS 3007205 HAS SOUPS 2907388 WITH SCORE 2915121.44
AT ITER 36 NEW BEST:: SOT 12182327 SOS 7732620 HAS SOPS 6410812 HAS SOUS 3004679 HAS SOUPS 2904859 WITH SCORE 2912591.62
AT ITER 43 NEW BEST:: SOT 12183463 SOS 7739219 HAS SOPS 6417612 HAS SOUS 3003299 HAS SOUPS 2903479 WITH SCORE 2911218.219
AT ITER 73 NEW BEST:: SOT 12183543 SOS 7739502 HAS SOPS 6417745 HAS SOUS 3002952 HAS SOUPS 2903132 WITH SCORE 2910871.502
AT ITER 85 NEW BEST:: SOT 12181883 SOS 7734465 HAS SOPS 6413890 HAS SOUS 3001635 HAS SOUPS 2901815 WITH SCORE 2909549.465
AT ITER 91 NEW BEST:: SOT 12181121 SOS 7733199 HAS SOPS 6414746 HAS SOUS 2999391 HAS SOUPS 2899644 WITH SCORE 2907377.199
AT ITER 100 NEW BEST:: SOT 12181966 SOS 7738241 HAS SOPS 6418950 HAS SOUS 2998384 HAS SOUPS 2898637 WITH SCORE 2906375.241
AT ITER 104 NEW BEST:: SOT 12187985 SOS 7745784 HAS SOPS 6426711 HAS SOUS 2995393 HAS SOUPS 2895692 WITH SCORE 2903437.784
AT ITER 105 NEW BEST:: SOT 12185738 SOS 7742284 HAS SOPS 6423873 HAS SOUS 2989571 HAS SOUPS 2889914 WITH SCORE 2897656.284
AT ITER 110 NEW BEST:: SOT 12195757 SOS 7762915 HAS SOPS 6440986 HAS SOUS 2980024 HAS SOUPS 2880367 WITH SCORE 2888129.915
AT ITER 111 NEW BEST:: SOT 12193341 SOS 7760499 HAS SOPS 6438570 HAS SOUS 2978216 HAS SOUPS 2878559 WITH SCORE 2886319.499
AT ITER 122 NEW BEST:: SOT 12193268 SOS 7760412 HAS SOPS 6438483 HAS SOUS 2978152 HAS SOUPS 2878495 WITH SCORE 2886255.412
AT ITER 133 NEW BEST:: SOT 12194155 SOS 7765327 HAS SOPS 6445417 HAS SOUS 2977959 HAS SOUPS 2878302 WITH SCORE 2886067.327
AT ITER 135 NEW BEST:: SOT 12187401 SOS 7758545 HAS SOPS 6438215 HAS SOUS 2970588 HAS SOUPS 2870556 WITH SCORE 2878314.545
AT ITER 141 NEW BEST:: SOT 12187479 SOS 7758623 HAS SOPS 6438293 HAS SOUS 2970538 HAS SOUPS 2870506 WITH SCORE 2878264.623
AT ITER 147 NEW BEST:: SOT 12188696 SOS 7759698 HAS SOPS 6438856 HAS SOUS 2955744 HAS SOUPS 2855712 WITH SCORE 2863471.698
AT ITER 150 NEW BEST:: SOT 12189103 SOS 7761336 HAS SOPS 6444409 HAS SOUS 2955632 HAS SOUPS 2855600 WITH SCORE 2863361.336
AT ITER 159 NEW BEST:: SOT 12184333 SOS 7752766 HAS SOPS 6435431 HAS SOUS 2947145 HAS SOUPS 2847185 WITH SCORE 2854937.766
AT ITER 161 NEW BEST:: SOT 12184301 SOS 7754107 HAS SOPS 6436034 HAS SOUS 2945085 HAS SOUPS 2845125 WITH SCORE 2852879.107
AT ITER 171 NEW BEST:: SOT 12189071 SOS 7760970 HAS SOPS 6445904 HAS SOUS 2944511 HAS SOUPS 2844551 WITH SCORE 2852311.97
AT ITER 178 NEW BEST:: SOT 12188223 SOS 7759065 HAS SOPS 6445672 HAS SOUS 2937446 HAS SOUPS 2837907 WITH SCORE 2845666.065
AT ITER 194 NEW BEST:: SOT 12188092 SOS 7763030 HAS SOPS 6446774 HAS SOUS 2937295 HAS SOUPS 2837756 WITH SCORE 2845519.03
AT ITER 199 NEW BEST:: SOT 12189171 SOS 7767249 HAS SOPS 6451110 HAS SOUS 2936767 HAS SOUPS 2837228 WITH SCORE 2844995.249
AT ITER 206 NEW BEST:: SOT 12188037 SOS 7767939 HAS SOPS 6453164 HAS SOUS 2932616 HAS SOUPS 2833260 WITH SCORE 2841027.939
AT ITER 210 NEW BEST:: SOT 12188544 SOS 7771823 HAS SOPS 6456031 HAS SOUS 2929776 HAS SOUPS 2830420 WITH SCORE 2838191.823
AT ITER 218 NEW BEST:: SOT 12188447 SOS 7771675 HAS SOPS 6456833 HAS SOUS 2929659 HAS SOUPS 2830303 WITH SCORE 2838074.675
AT ITER 221 NEW BEST:: SOT 12176539 SOS 7736334 HAS SOPS 6435291 HAS SOUS 2924353 HAS SOUPS 2823005 WITH SCORE 2830741.334
AT ITER 225 NEW BEST:: SOT 12176819 SOS 7735937 HAS SOPS 6438561 HAS SOUS 2922111 HAS SOUPS 2820763 WITH SCORE 2828498.937
AT ITER 245 NEW BEST:: SOT 12174376 SOS 7731403 HAS SOPS 6432093 HAS SOUS 2915510 HAS SOUPS 2814416 WITH SCORE 2822147.403
AT ITER 253 NEW BEST:: SOT 12174307 SOS 7732064 HAS SOPS 6432566 HAS SOUS 2914667 HAS SOUPS 2813573 WITH SCORE 2821305.064
AT ITER 259 NEW BEST:: SOT 12173745 SOS 7731590 HAS SOPS 6432425 HAS SOUS 2913159 HAS SOUPS 2812078 WITH SCORE 2819809.59
AT ITER 267 NEW BEST:: SOT 12171643 SOS 7727933 HAS SOPS 6428460 HAS SOUS 2908912 HAS SOUPS 2807875 WITH SCORE 2815602.933
AT ITER 272 NEW BEST:: SOT 12171427 SOS 7724400 HAS SOPS 6426940 HAS SOUS 2904799 HAS SOUPS 2804609 WITH SCORE 2812333.4
AT ITER 278 NEW BEST:: SOT 12176153 SOS 7733704 HAS SOPS 6435693 HAS SOUS 2893521 HAS SOUPS 2792866 WITH SCORE 2800599.704
AT ITER 285 NEW BEST:: SOT 12175408 SOS 7732544 HAS SOPS 6434087 HAS SOUS 2889094 HAS SOUPS 2788439 WITH SCORE 2796171.544
AT ITER 301 NEW BEST:: SOT 12174902 SOS 7733211 HAS SOPS 6435092 HAS SOUS 2887347 HAS SOUPS 2786692 WITH SCORE 2794425.211
AT ITER 309 NEW BEST:: SOT 12174226 SOS 7732471 HAS SOPS 6433904 HAS SOUS 2884827 HAS SOUPS 2784172 WITH SCORE 2791904.471
AT ITER 316 NEW BEST:: SOT 12168088 SOS 7719615 HAS SOPS 6422863 HAS SOUS 2878274 HAS SOUPS 2777687 WITH SCORE 2785406.615
AT ITER 321 NEW BEST:: SOT 12168781 SOS 7721781 HAS SOPS 6424261 HAS SOUS 2878072 HAS SOUPS 2777485 WITH SCORE 2785206.781
AT ITER 328 NEW BEST:: SOT 12165919 SOS 7718883 HAS SOPS 6421111 HAS SOUS 2874076 HAS SOUPS 2773489 WITH SCORE 2781207.883
AT ITER 331 NEW BEST:: SOT 12165859 SOS 7720633 HAS SOPS 6424101 HAS SOUS 2873144 HAS SOUPS 2772557 WITH SCORE 2780277.633
AT ITER 340 NEW BEST:: SOT 12165808 SOS 7720576 HAS SOPS 6424039 HAS SOUS 2873036 HAS SOUPS 2772449 WITH SCORE 2780169.576
AT ITER 341 NEW BEST:: SOT 12166241 SOS 7722498 HAS SOPS 6436952 HAS SOUS 2870013 HAS SOUPS 2771247 WITH SCORE 2778969.498
AT ITER 346 NEW BEST:: SOT 12155077 SOS 7697070 HAS SOPS 6434010 HAS SOUS 2869275 HAS SOUPS 2770843 WITH SCORE 2778540.07
AT ITER 351 NEW BEST:: SOT 12161985 SOS 7708872 HAS SOPS 6440821 HAS SOUS 2867252 HAS SOUPS 2768820 WITH SCORE 2776528.872
AT ITER 352 NEW BEST:: SOT 12164143 SOS 7712790 HAS SOPS 6445300 HAS SOUS 2864011 HAS SOUPS 2765579 WITH SCORE 2773291.79
AT ITER 361 NEW BEST:: SOT 12165169 SOS 7716701 HAS SOPS 6450004 HAS SOUS 2860173 HAS SOUPS 2761927 WITH SCORE 2769643.701
AT ITER 368 NEW BEST:: SOT 12165370 SOS 7716642 HAS SOPS 6449915 HAS SOUS 2859979 HAS SOUPS 2761733 WITH SCORE 2769449.642
AT ITER 380 NEW BEST:: SOT 12164816 SOS 7715200 HAS SOPS 6448841 HAS SOUS 2859789 HAS SOUPS 2761543 WITH SCORE 2769258.2
AT ITER 395 NEW BEST:: SOT 12164978 SOS 7717354 HAS SOPS 6450700 HAS SOUS 2859392 HAS SOUPS 2761146 WITH SCORE 2768863.354
AT ITER 414 NEW BEST:: SOT 12164503 SOS 7716929 HAS SOPS 6450135 HAS SOUS 2858713 HAS SOUPS 2760437 WITH SCORE 2768153.929
AT ITER 434 NEW BEST:: SOT 12164270 SOS 7716644 HAS SOPS 6449486 HAS SOUS 2856354 HAS SOUPS 2758078 WITH SCORE 2765794.644
AT ITER 435 NEW BEST:: SOT 12164598 SOS 7717467 HAS SOPS 6450339 HAS SOUS 2856050 HAS SOUPS 2757789 WITH SCORE 2765506.467
AT ITER 460 NEW BEST:: SOT 12164416 SOS 7717253 HAS SOPS 6450197 HAS SOUS 2855584 HAS SOUPS 2757351 WITH SCORE 2765068.253
AT ITER 463 NEW BEST:: SOT 12182175 SOS 7753711 HAS SOPS 6489943 HAS SOUS 2855175 HAS SOUPS 2757272 WITH SCORE 2765025.711
AT ITER 469 NEW BEST:: SOT 12182172 SOS 7752825 HAS SOPS 6489448 HAS SOUS 2854814 HAS SOUPS 2756911 WITH SCORE 2764663.825
AT ITER 474 NEW BEST:: SOT 12181907 SOS 7753261 HAS SOPS 6489643 HAS SOUS 2854265 HAS SOUPS 2756362 WITH SCORE 2764115.261
AT ITER 478 NEW BEST:: SOT 12181789 SOS 7753114 HAS SOPS 6489198 HAS SOUS 2853499 HAS SOUPS 2755607 WITH SCORE 2763360.114
AT ITER 481 NEW BEST:: SOT 12181803 SOS 7753128 HAS SOPS 6489212 HAS SOUS 2853401 HAS SOUPS 2755509 WITH SCORE 2763262.128
AT ITER 495 NEW BEST:: SOT 12175991 SOS 7744554 HAS SOPS 6480491 HAS SOUS 2841205 HAS SOUPS 2743353 WITH SCORE 2751097.554
AT ITER 497 NEW BEST:: SOT 12168067 SOS 7736630 HAS SOPS 6472567 HAS SOUS 2833265 HAS SOUPS 2735413 WITH SCORE 2743149.63
AT ITER 511 NEW BEST:: SOT 12168162 SOS 7736683 HAS SOPS 6472524 HAS SOUS 2833231 HAS SOUPS 2735379 WITH SCORE 2743115.683
AT ITER 516 NEW BEST:: SOT 12166293 SOS 7734189 HAS SOPS 6469838 HAS SOUS 2829763 HAS SOUPS 2731999 WITH SCORE 2739733.189
AT ITER 520 NEW BEST:: SOT 12158654 SOS 7727035 HAS SOPS 6462217 HAS SOUS 2821397 HAS SOUPS 2723541 WITH SCORE 2731268.035
AT ITER 521 NEW BEST:: SOT 12158653 SOS 7727034 HAS SOPS 6462216 HAS SOUS 2821388 HAS SOUPS 2723540 WITH SCORE 2731267.034
AT ITER 523 NEW BEST:: SOT 12159102 SOS 7730616 HAS SOPS 6464467 HAS SOUS 2811726 HAS SOUPS 2713878 WITH SCORE 2721608.616
AT ITER 528 NEW BEST:: SOT 12158974 SOS 7730482 HAS SOPS 6464291 HAS SOUS 2811325 HAS SOUPS 2713477 WITH SCORE 2721207.482
AT ITER 532 NEW BEST:: SOT 12156620 SOS 7728505 HAS SOPS 6461848 HAS SOUS 2808184 HAS SOUPS 2710075 WITH SCORE 2717803.505
AT ITER 538 NEW BEST:: SOT 12155951 SOS 7727772 HAS SOPS 6460667 HAS SOUS 2805907 HAS SOUPS 2707798 WITH SCORE 2715525.772
AT ITER 554 NEW BEST:: SOT 12157218 SOS 7731602 HAS SOPS 6467558 HAS SOUS 2804579 HAS SOUPS 2706470 WITH SCORE 2714201.602
AT ITER 576 NEW BEST:: SOT 12156204 SOS 7728150 HAS SOPS 6464083 HAS SOUS 2801677 HAS SOUPS 2703637 WITH SCORE 2711365.15
AT ITER 586 NEW BEST:: SOT 12155602 SOS 7727565 HAS SOPS 6464025 HAS SOUS 2801653 HAS SOUPS 2703613 WITH SCORE 2711340.565
AT ITER 591 NEW BEST:: SOT 12155163 SOS 7726089 HAS SOPS 6462097 HAS SOUS 2800421 HAS SOUPS 2702381 WITH SCORE 2710107.089
AT ITER 595 NEW BEST:: SOT 12151395 SOS 7719681 HAS SOPS 6457083 HAS SOUS 2795591 HAS SOUPS 2697605 WITH SCORE 2705324.681
AT ITER 605 NEW BEST:: SOT 12147885 SOS 7713891 HAS SOPS 6451301 HAS SOUS 2789809 HAS SOUPS 2691898 WITH SCORE 2699611.891
AT ITER 615 NEW BEST:: SOT 12148491 SOS 7714697 HAS SOPS 6452029 HAS SOUS 2787301 HAS SOUPS 2690318 WITH SCORE 2698032.697
AT ITER 616 NEW BEST:: SOT 12138975 SOS 7705107 HAS SOPS 6441921 HAS SOUS 2775198 HAS SOUPS 2678215 WITH SCORE 2685920.107
AT ITER 638 NEW BEST:: SOT 12139879 SOS 7706101 HAS SOPS 6438072 HAS SOUS 2762044 HAS SOUPS 2665061 WITH SCORE 2672767.101
AT ITER 643 NEW BEST:: SOT 12139354 SOS 7705554 HAS SOPS 6437371 HAS SOUS 2761024 HAS SOUPS 2664027 WITH SCORE 2671732.554
AT ITER 655 NEW BEST:: SOT 12137801 SOS 7702448 HAS SOPS 6434247 HAS SOUS 2760150 HAS SOUPS 2663153 WITH SCORE 2670855.448
AT ITER 657 NEW BEST:: SOT 12141041 SOS 7709663 HAS SOPS 6447508 HAS SOUS 2755702 HAS SOUPS 2658705 WITH SCORE 2666414.663
AT ITER 677 NEW BEST:: SOT 12141030 SOS 7709633 HAS SOPS 6447501 HAS SOUS 2755677 HAS SOUPS 2658680 WITH SCORE 2666389.633
AT ITER 689 NEW BEST:: SOT 12145900 SOS 7711844 HAS SOPS 6450633 HAS SOUS 2750231 HAS SOUPS 2653234 WITH SCORE 2660945.844
AT ITER 698 NEW BEST:: SOT 12140951 SOS 7709962 HAS SOPS 6449135 HAS SOUS 2731914 HAS SOUPS 2634917 WITH SCORE 2642626.962
AT ITER 705 NEW BEST:: SOT 12138640 SOS 7704108 HAS SOPS 6445710 HAS SOUS 2728201 HAS SOUPS 2631204 WITH SCORE 2638908.108
AT ITER 722 NEW BEST:: SOT 12137314 SOS 7702820 HAS SOPS 6443418 HAS SOUS 2725116 HAS SOUPS 2628097 WITH SCORE 2635799.82
AT ITER 730 NEW BEST:: SOT 12141220 SOS 7709922 HAS SOPS 6445139 HAS SOUS 2720053 HAS SOUPS 2622982 WITH SCORE 2630691.922
AT ITER 734 NEW BEST:: SOT 12141903 SOS 7710821 HAS SOPS 6445768 HAS SOUS 2719920 HAS SOUPS 2622849 WITH SCORE 2630559.821
AT ITER 737 NEW BEST:: SOT 12141395 SOS 7709206 HAS SOPS 6447272 HAS SOUS 2715400 HAS SOUPS 2619595 WITH SCORE 2627304.206
AT ITER 743 NEW BEST:: SOT 12141336 SOS 7709146 HAS SOPS 6446877 HAS SOUS 2714595 HAS SOUPS 2618790 WITH SCORE 2626499.146
AT ITER 748 NEW BEST:: SOT 12141369 SOS 7709161 HAS SOPS 6446942 HAS SOUS 2714430 HAS SOUPS 2618656 WITH SCORE 2626365.161
AT ITER 755 NEW BEST:: SOT 12142808 SOS 7711048 HAS SOPS 6451166 HAS SOUS 2711740 HAS SOUPS 2616049 WITH SCORE 2623760.048
AT ITER 760 NEW BEST:: SOT 12141328 SOS 7709568 HAS SOPS 6449254 HAS SOUS 2708532 HAS SOUPS 2612841 WITH SCORE 2620550.568
AT ITER 762 NEW BEST:: SOT 12140383 SOS 7707469 HAS SOPS 6447432 HAS SOUS 2707143 HAS SOUPS 2611485 WITH SCORE 2619192.469
AT ITER 768 NEW BEST:: SOT 12146053 SOS 7728946 HAS SOPS 6463522 HAS SOUS 2704594 HAS SOUPS 2608936 WITH SCORE 2616664.946
AT ITER 786 NEW BEST:: SOT 12146109 SOS 7728952 HAS SOPS 6463667 HAS SOUS 2703513 HAS SOUPS 2607855 WITH SCORE 2615583.952
AT ITER 789 NEW BEST:: SOT 12151839 SOS 7745672 HAS SOPS 6477966 HAS SOUS 2702577 HAS SOUPS 2606919 WITH SCORE 2614664.672
AT ITER 793 NEW BEST:: SOT 12149058 SOS 7738651 HAS SOPS 6472360 HAS SOUS 2700809 HAS SOUPS 2605151 WITH SCORE 2612889.651
AT ITER 794 NEW BEST:: SOT 12144943 SOS 7733074 HAS SOPS 6469061 HAS SOUS 2690128 HAS SOUPS 2594832 WITH SCORE 2602565.074
AT ITER 800 NEW BEST:: SOT 12145855 SOS 7725467 HAS SOPS 6470310 HAS SOUS 2688545 HAS SOUPS 2593283 WITH SCORE 2601008.467
AT ITER 803 NEW BEST:: SOT 12145833 SOS 7729804 HAS SOPS 6470397 HAS SOUS 2685322 HAS SOUPS 2589977 WITH SCORE 2597706.804
AT ITER 809 NEW BEST:: SOT 12143982 SOS 7727770 HAS SOPS 6468394 HAS SOUS 2680681 HAS SOUPS 2585336 WITH SCORE 2593063.77
AT ITER 824 NEW BEST:: SOT 12110261 SOS 7688495 HAS SOPS 6429130 HAS SOUS 2647672 HAS SOUPS 2552342 WITH SCORE 2560030.495
AT ITER 842 NEW BEST:: SOT 12109737 SOS 7689777 HAS SOPS 6429888 HAS SOUS 2647063 HAS SOUPS 2551733 WITH SCORE 2559422.777
AT ITER 850 NEW BEST:: SOT 12109794 SOS 7689809 HAS SOPS 6429915 HAS SOUS 2646845 HAS SOUPS 2551520 WITH SCORE 2559209.809
AT ITER 851 NEW BEST:: SOT 12109378 SOS 7686572 HAS SOPS 6427851 HAS SOUS 2645096 HAS SOUPS 2550039 WITH SCORE 2557725.572
AT ITER 852 NEW BEST:: SOT 12108880 SOS 7685405 HAS SOPS 6427182 HAS SOUS 2644604 HAS SOUPS 2549547 WITH SCORE 2557232.405
AT ITER 854 NEW BEST:: SOT 12108634 SOS 7685095 HAS SOPS 6426752 HAS SOUS 2644162 HAS SOUPS 2549103 WITH SCORE 2556788.095
AT ITER 855 NEW BEST:: SOT 12099914 SOS 7660913 HAS SOPS 6405621 HAS SOUS 2643588 HAS SOUPS 2548475 WITH SCORE 2556135.913
AT ITER 859 NEW BEST:: SOT 12099223 SOS 7660126 HAS SOPS 6404418 HAS SOUS 2641259 HAS SOUPS 2546068 WITH SCORE 2553728.126
AT ITER 864 NEW BEST:: SOT 12098786 SOS 7659541 HAS SOPS 6403417 HAS SOUS 2639430 HAS SOUPS 2544239 WITH SCORE 2551898.541
AT ITER 874 NEW BEST:: SOT 12100405 SOS 7666036 HAS SOPS 6409520 HAS SOUS 2627803 HAS SOUPS 2532612 WITH SCORE 2540278.036
AT ITER 880 NEW BEST:: SOT 12091434 SOS 7642722 HAS SOPS 6388583 HAS SOUS 2595775 HAS SOUPS 2499944 WITH SCORE 2507586.722
AT ITER 890 NEW BEST:: SOT 12102610 SOS 7678782 HAS SOPS 6424051 HAS SOUS 2595102 HAS SOUPS 2499340 WITH SCORE 2507018.782
AT ITER 902 NEW BEST:: SOT 12102445 SOS 7679395 HAS SOPS 6425732 HAS SOUS 2594745 HAS SOUPS 2498983 WITH SCORE 2506662.395
AT ITER 911 NEW BEST:: SOT 12103282 SOS 7682435 HAS SOPS 6429495 HAS SOUS 2594547 HAS SOUPS 2498785 WITH SCORE 2506467.435
AT ITER 924 NEW BEST:: SOT 12105111 SOS 7683890 HAS SOPS 6432813 HAS SOUS 2593811 HAS SOUPS 2498161 WITH SCORE 2505844.89
AT ITER 929 NEW BEST:: SOT 12105363 SOS 7684097 HAS SOPS 6432825 HAS SOUS 2591829 HAS SOUPS 2496179 WITH SCORE 2503863.097
AT ITER 930 NEW BEST:: SOT 12099222 SOS 7678104 HAS SOPS 6425820 HAS SOUS 2584923 HAS SOUPS 2489042 WITH SCORE 2496720.104
AT ITER 931 NEW BEST:: SOT 12098450 SOS 7677220 HAS SOPS 6424792 HAS SOUS 2583175 HAS SOUPS 2487294 WITH SCORE 2494971.22
AT ITER 938 NEW BEST:: SOT 12089656 SOS 7667419 HAS SOPS 6418212 HAS SOUS 2573871 HAS SOUPS 2478744 WITH SCORE 2486411.419
AT ITER 939 NEW BEST:: SOT 12090193 SOS 7667936 HAS SOPS 6418589 HAS SOUS 2573546 HAS SOUPS 2478419 WITH SCORE 2486086.936
AT ITER 958 NEW BEST:: SOT 12090631 SOS 7667828 HAS SOPS 6418233 HAS SOUS 2571575 HAS SOUPS 2476448 WITH SCORE 2484115.828
AT ITER 969 NEW BEST:: SOT 12086665 SOS 7662802 HAS SOPS 6413431 HAS SOUS 2567387 HAS SOUPS 2472292 WITH SCORE 2479954.802
AT ITER 978 NEW BEST:: SOT 12085703 SOS 7659950 HAS SOPS 6410985 HAS SOUS 2565790 HAS SOUPS 2470721 WITH SCORE 2478380.95
AT ITER 982 NEW BEST:: SOT 12085527 SOS 7659758 HAS SOPS 6410681 HAS SOUS 2565430 HAS SOUPS 2470361 WITH SCORE 2478020.758
AT ITER 985 NEW BEST:: SOT 12085509 SOS 7659599 HAS SOPS 6409172 HAS SOUS 2563237 HAS SOUPS 2468168 WITH SCORE 2475827.599
AT ITER 986 NEW BEST:: SOT 12084969 SOS 7658716 HAS SOPS 6408247 HAS SOUS 2562264 HAS SOUPS 2467195 WITH SCORE 2474853.716
AT ITER 992 NEW BEST:: SOT 12081850 SOS 7646640 HAS SOPS 6407323 HAS SOUS 2562136 HAS SOUPS 2467067 WITH SCORE 2474713.64
AT ITER 1010 NEW BEST:: SOT 12081741 SOS 7645978 HAS SOPS 6407775 HAS SOUS 2561006 HAS SOUPS 2465937 WITH SCORE 2473582.978
AT ITER 1030 NEW BEST:: SOT 12076224 SOS 7640404 HAS SOPS 6401842 HAS SOUS 2553944 HAS SOUPS 2458875 WITH SCORE 2466515.404
AT ITER 1032 NEW BEST:: SOT 12074862 SOS 7638802 HAS SOPS 6399762 HAS SOUS 2552518 HAS SOUPS 2457449 WITH SCORE 2465087.802
AT ITER 1043 NEW BEST:: SOT 12072881 SOS 7639608 HAS SOPS 6397217 HAS SOUS 2546621 HAS SOUPS 2451552 WITH SCORE 2459191.608
AT ITER 1045 NEW BEST:: SOT 12084016 SOS 7666195 HAS SOPS 6424202 HAS SOUS 2543516 HAS SOUPS 2448430 WITH SCORE 2456096.195
AT ITER 1053 NEW BEST:: SOT 12084690 SOS 7667003 HAS SOPS 6424386 HAS SOUS 2543533 HAS SOUPS 2448413 WITH SCORE 2456080.003
AT ITER 1054 NEW BEST:: SOT 12083791 SOS 7666031 HAS SOPS 6422975 HAS SOUS 2540575 HAS SOUPS 2445455 WITH SCORE 2453121.031
AT ITER 1063 NEW BEST:: SOT 12082779 SOS 7663976 HAS SOPS 6422209 HAS SOUS 2539974 HAS SOUPS 2444854 WITH SCORE 2452517.976
AT ITER 1069 NEW BEST:: SOT 12076855 SOS 7650403 HAS SOPS 6411784 HAS SOUS 2535512 HAS SOUPS 2440605 WITH SCORE 2448255.403
AT ITER 1087 NEW BEST:: SOT 12077227 SOS 7650197 HAS SOPS 6411582 HAS SOUS 2534647 HAS SOUPS 2439740 WITH SCORE 2447390.197
AT ITER 1103 NEW BEST:: SOT 12077129 SOS 7650088 HAS SOPS 6411368 HAS SOUS 2534363 HAS SOUPS 2439456 WITH SCORE 2447106.088
AT ITER 1110 NEW BEST:: SOT 12072877 SOS 7641159 HAS SOPS 6404774 HAS SOUS 2531534 HAS SOUPS 2436637 WITH SCORE 2444278.159
AT ITER 1111 NEW BEST:: SOT 12072874 SOS 7640796 HAS SOPS 6404020 HAS SOUS 2529155 HAS SOUPS 2434548 WITH SCORE 2442188.796
AT ITER 1121 NEW BEST:: SOT 12071635 SOS 7639011 HAS SOPS 6402133 HAS SOUS 2528118 HAS SOUPS 2433410 WITH SCORE 2441049.011
AT ITER 1133 NEW BEST:: SOT 12068900 SOS 7630528 HAS SOPS 6395587 HAS SOUS 2525247 HAS SOUPS 2430539 WITH SCORE 2438169.528
AT ITER 1134 NEW BEST:: SOT 12065012 SOS 7626566 HAS SOPS 6390919 HAS SOUS 2519308 HAS SOUPS 2424600 WITH SCORE 2432226.566
AT ITER 1136 NEW BEST:: SOT 12055235 SOS 7614467 HAS SOPS 6380488 HAS SOUS 2510553 HAS SOUPS 2415874 WITH SCORE 2423488.467
AT ITER 1137 NEW BEST:: SOT 12054315 SOS 7613194 HAS SOPS 6379014 HAS SOUS 2508489 HAS SOUPS 2413820 WITH SCORE 2421433.194
AT ITER 1141 NEW BEST:: SOT 12053443 SOS 7612236 HAS SOPS 6377582 HAS SOUS 2505684 HAS SOUPS 2411015 WITH SCORE 2418627.236
AT ITER 1146 NEW BEST:: SOT 12053985 SOS 7613952 HAS SOPS 6378599 HAS SOUS 2505528 HAS SOUPS 2410859 WITH SCORE 2418472.952
AT ITER 1168 NEW BEST:: SOT 12052639 SOS 7613004 HAS SOPS 6376203 HAS SOUS 2502426 HAS SOUPS 2407802 WITH SCORE 2415415.004
AT ITER 1181 NEW BEST:: SOT 12052534 SOS 7615050 HAS SOPS 6377783 HAS SOUS 2501212 HAS SOUPS 2406588 WITH SCORE 2414203.05
AT ITER 1195 NEW BEST:: SOT 12052684 SOS 7613740 HAS SOPS 6376895 HAS SOUS 2500599 HAS SOUPS 2405975 WITH SCORE 2413588.74
AT ITER 1218 NEW BEST:: SOT 12052901 SOS 7614217 HAS SOPS 6377278 HAS SOUS 2500514 HAS SOUPS 2405896 WITH SCORE 2413510.217
AT ITER 1228 NEW BEST:: SOT 12052672 SOS 7613845 HAS SOPS 6376547 HAS SOUS 2500014 HAS SOUPS 2405396 WITH SCORE 2413009.845
AT ITER 1232 NEW BEST:: SOT 12051902 SOS 7613117 HAS SOPS 6375777 HAS SOUS 2499286 HAS SOUPS 2404626 WITH SCORE 2412239.117
AT ITER 1238 NEW BEST:: SOT 12050250 SOS 7611289 HAS SOPS 6373426 HAS SOUS 2494220 HAS SOUPS 2399576 WITH SCORE 2407187.289
AT ITER 1248 NEW BEST:: SOT 12049957 SOS 7611334 HAS SOPS 6373272 HAS SOUS 2493519 HAS SOUPS 2398875 WITH SCORE 2406486.334
AT ITER 1263 NEW BEST:: SOT 12053314 SOS 7614956 HAS SOPS 6377831 HAS SOUS 2492270 HAS SOUPS 2397627 WITH SCORE 2405241.956
AT ITER 1291 NEW BEST:: SOT 12051931 SOS 7613608 HAS SOPS 6376439 HAS SOUS 2490201 HAS SOUPS 2395558 WITH SCORE 2403171.608
AT ITER 1301 NEW BEST:: SOT 12049735 SOS 7611177 HAS SOPS 6373171 HAS SOUS 2485681 HAS SOUPS 2391038 WITH SCORE 2398649.177
AT ITER 1312 NEW BEST:: SOT 12049187 SOS 7609704 HAS SOPS 6372663 HAS SOUS 2484885 HAS SOUPS 2390398 WITH SCORE 2398007.704
AT ITER 1325 NEW BEST:: SOT 12054645 SOS 7618995 HAS SOPS 6379141 HAS SOUS 2480135 HAS SOUPS 2385605 WITH SCORE 2393223.995
AT ITER 1351 NEW BEST:: SOT 12052276 SOS 7616663 HAS SOPS 6376089 HAS SOUS 2476148 HAS SOUPS 2381484 WITH SCORE 2389100.663
AT ITER 1356 NEW BEST:: SOT 12051396 SOS 7616038 HAS SOPS 6375934 HAS SOUS 2473520 HAS SOUPS 2378856 WITH SCORE 2386472.038
AT ITER 1363 NEW BEST:: SOT 12051329 SOS 7615973 HAS SOPS 6375838 HAS SOUS 2473377 HAS SOUPS 2378713 WITH SCORE 2386328.973
AT ITER 1370 NEW BEST:: SOT 12051097 SOS 7615369 HAS SOPS 6375384 HAS SOUS 2472953 HAS SOUPS 2378343 WITH SCORE 2385958.369
AT ITER 1378 NEW BEST:: SOT 12043359 SOS 7605421 HAS SOPS 6366144 HAS SOUS 2463550 HAS SOUPS 2368940 WITH SCORE 2376545.421
AT ITER 1394 NEW BEST:: SOT 12042997 SOS 7602392 HAS SOPS 6365048 HAS SOUS 2462311 HAS SOUPS 2367999 WITH SCORE 2375601.392
AT ITER 1409 NEW BEST:: SOT 12042710 SOS 7601303 HAS SOPS 6364335 HAS SOUS 2462026 HAS SOUPS 2367714 WITH SCORE 2375315.303
AT ITER 1411 NEW BEST:: SOT 12042842 SOS 7601435 HAS SOPS 6364467 HAS SOUS 2461998 HAS SOUPS 2367686 WITH SCORE 2375287.435
AT ITER 1422 NEW BEST:: SOT 12042751 SOS 7600470 HAS SOPS 6364208 HAS SOUS 2460239 HAS SOUPS 2365927 WITH SCORE 2373527.47
AT ITER 1429 NEW BEST:: SOT 12032053 SOS 7572235 HAS SOPS 6347075 HAS SOUS 2452043 HAS SOUPS 2357956 WITH SCORE 2365528.235
AT ITER 1441 NEW BEST:: SOT 12032049 SOS 7572231 HAS SOPS 6347071 HAS SOUS 2452043 HAS SOUPS 2357956 WITH SCORE 2365528.231
AT ITER 1446 NEW BEST:: SOT 12028010 SOS 7563236 HAS SOPS 6341632 HAS SOUS 2437810 HAS SOUPS 2344641 WITH SCORE 2352204.236
AT ITER 1468 NEW BEST:: SOT 12044375 SOS 7611832 HAS SOPS 6391120 HAS SOUS 2434870 HAS SOUPS 2341839 WITH SCORE 2349450.832
AT ITER 1471 NEW BEST:: SOT 12034335 SOS 7601124 HAS SOPS 6380221 HAS SOUS 2422156 HAS SOUPS 2329157 WITH SCORE 2336758.124
AT ITER 1482 NEW BEST:: SOT 12036104 SOS 7609841 HAS SOPS 6397350 HAS SOUS 2421974 HAS SOUPS 2328975 WITH SCORE 2336584.841
AT ITER 1492 NEW BEST:: SOT 12036043 SOS 7609816 HAS SOPS 6397118 HAS SOUS 2421803 HAS SOUPS 2328804 WITH SCORE 2336413.816
AT ITER 1497 NEW BEST:: SOT 12043682 SOS 7610924 HAS SOPS 6408140 HAS SOUS 2414725 HAS SOUPS 2322215 WITH SCORE 2329825.924
AT ITER 1508 NEW BEST:: SOT 12043252 SOS 7610499 HAS SOPS 6407790 HAS SOUS 2414620 HAS SOUPS 2322185 WITH SCORE 2329795.499
AT ITER 1509 NEW BEST:: SOT 12044245 SOS 7612887 HAS SOPS 6410390 HAS SOUS 2413596 HAS SOUPS 2321263 WITH SCORE 2328875.887
AT ITER 1530 NEW BEST:: SOT 12044753 SOS 7615055 HAS SOPS 6410739 HAS SOUS 2411390 HAS SOUPS 2319057 WITH SCORE 2326672.055
AT ITER 1544 NEW BEST:: SOT 12043132 SOS 7614707 HAS SOPS 6407745 HAS SOUS 2403046 HAS SOUPS 2310713 WITH SCORE 2318327.707
AT ITER 1556 NEW BEST:: SOT 12038304 SOS 7609815 HAS SOPS 6402461 HAS SOUS 2390333 HAS SOUPS 2298031 WITH SCORE 2305640.815
AT ITER 1557 NEW BEST:: SOT 12034920 SOS 7606431 HAS SOPS 6399077 HAS SOUS 2386765 HAS SOUPS 2294463 WITH SCORE 2302069.431
AT ITER 1558 NEW BEST:: SOT 12034890 SOS 7606392 HAS SOPS 6398999 HAS SOUS 2386501 HAS SOUPS 2294199 WITH SCORE 2301805.392
AT ITER 1578 NEW BEST:: SOT 12034867 SOS 7606263 HAS SOPS 6398802 HAS SOUS 2386378 HAS SOUPS 2294076 WITH SCORE 2301682.263
AT ITER 1586 NEW BEST:: SOT 12029612 SOS 7599814 HAS SOPS 6391143 HAS SOUS 2368979 HAS SOUPS 2276776 WITH SCORE 2284375.814
AT ITER 1589 NEW BEST:: SOT 12029574 SOS 7599793 HAS SOPS 6391019 HAS SOUS 2368756 HAS SOUPS 2276553 WITH SCORE 2284152.793
AT ITER 1605 NEW BEST:: SOT 12028475 SOS 7598847 HAS SOPS 6390581 HAS SOUS 2366812 HAS SOUPS 2274609 WITH SCORE 2282207.847
AT ITER 1632 NEW BEST:: SOT 12028245 SOS 7598586 HAS SOPS 6390090 HAS SOUS 2366551 HAS SOUPS 2274348 WITH SCORE 2281946.586
AT ITER 1646 NEW BEST:: SOT 12022101 SOS 7592433 HAS SOPS 6383898 HAS SOUS 2359641 HAS SOUPS 2267438 WITH SCORE 2275030.433
AT ITER 1672 NEW BEST:: SOT 12017430 SOS 7590905 HAS SOPS 6377690 HAS SOUS 2350326 HAS SOUPS 2257524 WITH SCORE 2265114.905
AT ITER 1676 NEW BEST:: SOT 12016881 SOS 7590204 HAS SOPS 6376609 HAS SOUS 2349311 HAS SOUPS 2256509 WITH SCORE 2264099.204
AT ITER 1677 NEW BEST:: SOT 12016902 SOS 7590225 HAS SOPS 6376582 HAS SOUS 2349275 HAS SOUPS 2256473 WITH SCORE 2264063.225
AT ITER 1687 NEW BEST:: SOT 12021851 SOS 7598962 HAS SOPS 6384486 HAS SOUS 2348558 HAS SOUPS 2255756 WITH SCORE 2263354.962
AT ITER 1690 NEW BEST:: SOT 12021851 SOS 7598997 HAS SOPS 6384519 HAS SOUS 2348554 HAS SOUPS 2255752 WITH SCORE 2263350.997
AT ITER 1730 NEW BEST:: SOT 12019537 SOS 7592497 HAS SOPS 6381446 HAS SOUS 2345067 HAS SOUPS 2252375 WITH SCORE 2259967.497
AT ITER 1734 NEW BEST:: SOT 12019152 SOS 7592954 HAS SOPS 6383649 HAS SOUS 2344799 HAS SOUPS 2252107 WITH SCORE 2259699.954
AT ITER 1742 NEW BEST:: SOT 12019024 SOS 7592741 HAS SOPS 6383431 HAS SOUS 2344119 HAS SOUPS 2251436 WITH SCORE 2259028.741
AT ITER 1749 NEW BEST:: SOT 12012326 SOS 7585867 HAS SOPS 6374140 HAS SOUS 2332439 HAS SOUPS 2239809 WITH SCORE 2247394.867
AT ITER 1753 NEW BEST:: SOT 12012058 SOS 7585495 HAS SOPS 6373549 HAS SOUS 2332811 HAS SOUPS 2239701 WITH SCORE 2247286.495
AT ITER 1763 NEW BEST:: SOT 12007383 SOS 7571876 HAS SOPS 6365467 HAS SOUS 2324770 HAS SOUPS 2231808 WITH SCORE 2239379.876
AT ITER 1795 NEW BEST:: SOT 12007228 SOS 7571461 HAS SOPS 6364846 HAS SOUS 2324107 HAS SOUPS 2231161 WITH SCORE 2238732.461
AT ITER 1812 NEW BEST:: SOT 12005818 SOS 7570227 HAS SOPS 6362712 HAS SOUS 2319974 HAS SOUPS 2227162 WITH SCORE 2234732.227
AT ITER 1823 NEW BEST:: SOT 12005408 SOS 7569838 HAS SOPS 6361694 HAS SOUS 2317013 HAS SOUPS 2224180 WITH SCORE 2231749.838
AT ITER 1835 NEW BEST:: SOT 12006881 SOS 7571529 HAS SOPS 6362890 HAS SOUS 2315853 HAS SOUPS 2223020 WITH SCORE 2230591.529
AT ITER 1839 NEW BEST:: SOT 12004780 SOS 7569198 HAS SOPS 6359444 HAS SOUS 2312200 HAS SOUPS 2219367 WITH SCORE 2226936.198
AT ITER 1849 NEW BEST:: SOT 12004765 SOS 7569155 HAS SOPS 6359388 HAS SOUS 2312157 HAS SOUPS 2219324 WITH SCORE 2226893.155
AT ITER 1856 NEW BEST:: SOT 12006409 SOS 7570996 HAS SOPS 6361789 HAS SOUS 2311872 HAS SOUPS 2219059 WITH SCORE 2226629.996
AT ITER 1857 NEW BEST:: SOT 12006964 SOS 7572751 HAS SOPS 6363907 HAS SOUS 2311125 HAS SOUPS 2218324 WITH SCORE 2225896.751
AT ITER 1858 NEW BEST:: SOT 12006574 SOS 7572991 HAS SOPS 6365500 HAS SOUS 2306336 HAS SOUPS 2213535 WITH SCORE 2221107.991
AT ITER 1875 NEW BEST:: SOT 12003617 SOS 7569553 HAS SOPS 6360003 HAS SOUS 2299827 HAS SOUPS 2207026 WITH SCORE 2214595.553
AT ITER 1877 NEW BEST:: SOT 12005624 SOS 7574627 HAS SOPS 6362593 HAS SOUS 2297802 HAS SOUPS 2205001 WITH SCORE 2212575.627
AT ITER 1878 NEW BEST:: SOT 12005208 SOS 7575270 HAS SOPS 6363011 HAS SOUS 2297553 HAS SOUPS 2204737 WITH SCORE 2212312.27
AT ITER 1918 NEW BEST:: SOT 12005165 SOS 7574626 HAS SOPS 6362455 HAS SOUS 2297150 HAS SOUPS 2204335 WITH SCORE 2211909.626
AT ITER 1934 NEW BEST:: SOT 12005166 SOS 7574387 HAS SOPS 6362461 HAS SOUS 2297135 HAS SOUPS 2204320 WITH SCORE 2211894.387
AT ITER 1948 NEW BEST:: SOT 12008429 SOS 7576861 HAS SOPS 6365839 HAS SOUS 2295442 HAS SOUPS 2202627 WITH SCORE 2210203.861
AT ITER 1960 NEW BEST:: SOT 12008163 SOS 7576571 HAS SOPS 6365549 HAS SOUS 2295277 HAS SOUPS 2202414 WITH SCORE 2209990.571
AT ITER 1974 NEW BEST:: SOT 12007938 SOS 7576563 HAS SOPS 6365616 HAS SOUS 2294540 HAS SOUPS 2201677 WITH SCORE 2209253.563
AT ITER 1980 NEW BEST:: SOT 12007861 SOS 7575676 HAS SOPS 6364977 HAS SOUS 2294459 HAS SOUPS 2201596 WITH SCORE 2209171.676
AT ITER 1983 NEW BEST:: SOT 12005056 SOS 7572868 HAS SOPS 6362156 HAS SOUS 2291696 HAS SOUPS 2198833 WITH SCORE 2206405.868
AT ITER 1988 NEW BEST:: SOT 12004823 SOS 7570807 HAS SOPS 6361510 HAS SOUS 2291118 HAS SOUPS 2198255 WITH SCORE 2205825.807
AT ITER 1999 NEW BEST:: SOT 12003730 SOS 7567541 HAS SOPS 6357620 HAS SOUS 2289746 HAS SOUPS 2196883 WITH SCORE 2204450.541
AT ITER 2003 NEW BEST:: SOT 12003727 SOS 7567546 HAS SOPS 6357629 HAS SOUS 2289742 HAS SOUPS 2196880 WITH SCORE 2204447.546
AT ITER 2012 NEW BEST:: SOT 11998421 SOS 7545384 HAS SOPS 6337693 HAS SOUS 2289373 HAS SOUPS 2196511 WITH SCORE 2204056.384
AT ITER 2022 NEW BEST:: SOT 11997112 SOS 7544103 HAS SOPS 6336096 HAS SOUS 2288310 HAS SOUPS 2195132 WITH SCORE 2202676.103
AT ITER 2034 NEW BEST:: SOT 11996156 SOS 7545491 HAS SOPS 6336982 HAS SOUS 2285434 HAS SOUPS 2192149 WITH SCORE 2199694.491
AT ITER 2056 NEW BEST:: SOT 12000251 SOS 7551885 HAS SOPS 6340231 HAS SOUS 2284778 HAS SOUPS 2191487 WITH SCORE 2199038.885
AT ITER 2073 NEW BEST:: SOT 11999823 SOS 7551464 HAS SOPS 6339595 HAS SOUS 2283803 HAS SOUPS 2190506 WITH SCORE 2198057.464
AT ITER 2080 NEW BEST:: SOT 12000535 SOS 7554583 HAS SOPS 6343002 HAS SOUS 2283164 HAS SOUPS 2189915 WITH SCORE 2197469.583
AT ITER 2104 NEW BEST:: SOT 12000454 SOS 7554484 HAS SOPS 6342825 HAS SOUS 2283055 HAS SOUPS 2189806 WITH SCORE 2197360.484
AT ITER 2110 NEW BEST:: SOT 11998388 SOS 7552616 HAS SOPS 6341106 HAS SOUS 2278459 HAS SOUPS 2185232 WITH SCORE 2192784.616
AT ITER 2129 NEW BEST:: SOT 11997472 SOS 7551646 HAS SOPS 6340389 HAS SOUS 2276246 HAS SOUPS 2183047 WITH SCORE 2190598.646
AT ITER 2132 NEW BEST:: SOT 11992553 SOS 7547176 HAS SOPS 6335774 HAS SOUS 2271352 HAS SOUPS 2178879 WITH SCORE 2186426.176
AT ITER 2137 NEW BEST:: SOT 11992406 SOS 7547040 HAS SOPS 6335650 HAS SOUS 2271034 HAS SOUPS 2178561 WITH SCORE 2186108.04
AT ITER 2138 NEW BEST:: SOT 11990230 SOS 7541127 HAS SOPS 6331093 HAS SOUS 2269928 HAS SOUPS 2177464 WITH SCORE 2185005.127
AT ITER 2145 NEW BEST:: SOT 11989978 SOS 7543137 HAS SOPS 6332551 HAS SOUS 2267996 HAS SOUPS 2175532 WITH SCORE 2183075.137
AT ITER 2155 NEW BEST:: SOT 11994012 SOS 7545621 HAS SOPS 6334800 HAS SOUS 2267373 HAS SOUPS 2174990 WITH SCORE 2182535.621
AT ITER 2163 NEW BEST:: SOT 11994143 SOS 7546225 HAS SOPS 6335005 HAS SOUS 2267343 HAS SOUPS 2174960 WITH SCORE 2182506.225
AT ITER 2182 NEW BEST:: SOT 11995224 SOS 7550115 HAS SOPS 6339899 HAS SOUS 2267330 HAS SOUPS 2174947 WITH SCORE 2182497.115
AT ITER 2213 NEW BEST:: SOT 11993844 SOS 7545325 HAS SOPS 6337251 HAS SOUS 2264192 HAS SOUPS 2171809 WITH SCORE 2179354.325
AT ITER 2240 NEW BEST:: SOT 11993686 SOS 7545032 HAS SOPS 6336989 HAS SOUS 2263772 HAS SOUPS 2171389 WITH SCORE 2178934.032
AT ITER 2254 NEW BEST:: SOT 11993684 SOS 7545906 HAS SOPS 6338096 HAS SOUS 2263724 HAS SOUPS 2171341 WITH SCORE 2178886.906
AT ITER 2269 NEW BEST:: SOT 11991669 SOS 7540812 HAS SOPS 6334573 HAS SOUS 2259211 HAS SOUPS 2167446 WITH SCORE 2174986.812
AT ITER 2288 NEW BEST:: SOT 11990142 SOS 7540172 HAS SOPS 6332446 HAS SOUS 2253621 HAS SOUPS 2161856 WITH SCORE 2169396.172
AT ITER 2307 NEW BEST:: SOT 11989257 SOS 7538834 HAS SOPS 6330451 HAS SOUS 2252230 HAS SOUPS 2160413 WITH SCORE 2167951.834
AT ITER 2310 NEW BEST:: SOT 11989257 SOS 7538722 HAS SOPS 6330451 HAS SOUS 2252230 HAS SOUPS 2160413 WITH SCORE 2167951.722
AT ITER 2322 NEW BEST:: SOT 11988859 SOS 7538445 HAS SOPS 6331028 HAS SOUS 2251627 HAS SOUPS 2159810 WITH SCORE 2167348.445
AT ITER 2327 NEW BEST:: SOT 11992206 SOS 7542890 HAS SOPS 6335218 HAS SOUS 2250283 HAS SOUPS 2158427 WITH SCORE 2165969.89
AT ITER 2370 NEW BEST:: SOT 11992329 SOS 7542358 HAS SOPS 6333086 HAS SOUS 2242997 HAS SOUPS 2151144 WITH SCORE 2158686.358
AT ITER 2374 NEW BEST:: SOT 11993614 SOS 7546299 HAS SOPS 6336161 HAS SOUS 2241286 HAS SOUPS 2149433 WITH SCORE 2156979.299
AT ITER 2386 NEW BEST:: SOT 11993562 SOS 7546245 HAS SOPS 6336077 HAS SOUS 2241114 HAS SOUPS 2149261 WITH SCORE 2156807.245
AT ITER 2389 NEW BEST:: SOT 11992432 SOS 7544203 HAS SOPS 6333493 HAS SOUS 2238544 HAS SOUPS 2146712 WITH SCORE 2154256.203
AT ITER 2394 NEW BEST:: SOT 11992357 SOS 7543855 HAS SOPS 6333213 HAS SOUS 2238393 HAS SOUPS 2146561 WITH SCORE 2154104.855
AT ITER 2401 NEW BEST:: SOT 11992292 SOS 7543971 HAS SOPS 6333174 HAS SOUS 2238242 HAS SOUPS 2146407 WITH SCORE 2153950.971
AT ITER 2405 NEW BEST:: SOT 11992875 SOS 7544815 HAS SOPS 6334214 HAS SOUS 2238196 HAS SOUPS 2146369 WITH SCORE 2153913.815
AT ITER 2414 NEW BEST:: SOT 11992091 SOS 7544024 HAS SOPS 6333206 HAS SOUS 2237405 HAS SOUPS 2145361 WITH SCORE 2152905.024
AT ITER 2419 NEW BEST:: SOT 11992006 SOS 7544075 HAS SOPS 6333126 HAS SOUS 2236545 HAS SOUPS 2144528 WITH SCORE 2152072.075
AT ITER 2431 NEW BEST:: SOT 11991965 SOS 7543751 HAS SOPS 6333235 HAS SOUS 2236401 HAS SOUPS 2144384 WITH SCORE 2151927.751
AT ITER 2433 NEW BEST:: SOT 11994393 SOS 7552700 HAS SOPS 6340551 HAS SOUS 2235038 HAS SOUPS 2143021 WITH SCORE 2150573.7
AT ITER 2460 NEW BEST:: SOT 11991219 SOS 7552330 HAS SOPS 6337854 HAS SOUS 2232114 HAS SOUPS 2139738 WITH SCORE 2147290.33
AT ITER 2464 NEW BEST:: SOT 11989806 SOS 7551092 HAS SOPS 6336498 HAS SOUS 2226856 HAS SOUPS 2134480 WITH SCORE 2142031.092
AT ITER 2478 NEW BEST:: SOT 11989691 SOS 7551076 HAS SOPS 6336036 HAS SOUS 2226663 HAS SOUPS 2134273 WITH SCORE 2141824.076
AT ITER 2479 NEW BEST:: SOT 11989659 SOS 7551044 HAS SOPS 6336004 HAS SOUS 2226559 HAS SOUPS 2134169 WITH SCORE 2141720.044
AT ITER 2485 NEW BEST:: SOT 11988291 SOS 7548773 HAS SOPS 6333816 HAS SOUS 2222784 HAS SOUPS 2130394 WITH SCORE 2137942.773
AT ITER 2486 NEW BEST:: SOT 11985577 SOS 7545911 HAS SOPS 6328959 HAS SOUS 2215024 HAS SOUPS 2122834 WITH SCORE 2130379.911
AT ITER 2504 NEW BEST:: SOT 11985173 SOS 7545222 HAS SOPS 6329193 HAS SOUS 2211660 HAS SOUPS 2119470 WITH SCORE 2127015.222
AT ITER 2536 NEW BEST:: SOT 11983981 SOS 7540004 HAS SOPS 6326924 HAS SOUS 2206864 HAS SOUPS 2115745 WITH SCORE 2123285.004
AT ITER 2550 NEW BEST:: SOT 11981137 SOS 7536827 HAS SOPS 6323744 HAS SOUS 2203426 HAS SOUPS 2112304 WITH SCORE 2119840.827
AT ITER 2551 NEW BEST:: SOT 11984446 SOS 7543695 HAS SOPS 6332283 HAS SOUS 2202727 HAS SOUPS 2111605 WITH SCORE 2119148.695
AT ITER 2556 NEW BEST:: SOT 11983225 SOS 7543185 HAS SOPS 6329811 HAS SOUS 2202574 HAS SOUPS 2111452 WITH SCORE 2118995.185
AT ITER 2559 NEW BEST:: SOT 11983412 SOS 7543928 HAS SOPS 6331191 HAS SOUS 2198399 HAS SOUPS 2107320 WITH SCORE 2114863.928
AT ITER 2563 NEW BEST:: SOT 11981948 SOS 7542614 HAS SOPS 6329152 HAS SOUS 2194877 HAS SOUPS 2103717 WITH SCORE 2111259.614
AT ITER 2586 NEW BEST:: SOT 11980407 SOS 7540872 HAS SOPS 6326714 HAS SOUS 2190061 HAS SOUPS 2098929 WITH SCORE 2106469.872
AT ITER 2588 NEW BEST:: SOT 11981244 SOS 7538205 HAS SOPS 6327937 HAS SOUS 2189763 HAS SOUPS 2098631 WITH SCORE 2106169.205
AT ITER 2664 NEW BEST:: SOT 11979948 SOS 7536725 HAS SOPS 6326396 HAS SOUS 2188488 HAS SOUPS 2097352 WITH SCORE 2104888.725
AT ITER 2668 NEW BEST:: SOT 11980479 SOS 7536806 HAS SOPS 6326478 HAS SOUS 2184288 HAS SOUPS 2093209 WITH SCORE 2100745.806
AT ITER 2672 NEW BEST:: SOT 11983541 SOS 7539752 HAS SOPS 6327478 HAS SOUS 2184097 HAS SOUPS 2093018 WITH SCORE 2100557.752
AT ITER 2683 NEW BEST:: SOT 11983504 SOS 7539603 HAS SOPS 6327403 HAS SOUS 2183900 HAS SOUPS 2092821 WITH SCORE 2100360.603
AT ITER 2703 NEW BEST:: SOT 11977197 SOS 7533333 HAS SOPS 6319896 HAS SOUS 2175635 HAS SOUPS 2084268 WITH SCORE 2091801.333
AT ITER 2719 NEW BEST:: SOT 11977420 SOS 7533727 HAS SOPS 6320392 HAS SOUS 2175542 HAS SOUPS 2084171 WITH SCORE 2091704.727
AT ITER 2725 NEW BEST:: SOT 11976812 SOS 7531821 HAS SOPS 6318590 HAS SOUS 2174865 HAS SOUPS 2083595 WITH SCORE 2091126.821
AT ITER 2750 NEW BEST:: SOT 11977331 SOS 7534335 HAS SOPS 6319634 HAS SOUS 2173749 HAS SOUPS 2082479 WITH SCORE 2090013.335
AT ITER 2760 NEW BEST:: SOT 11974823 SOS 7532038 HAS SOPS 6319102 HAS SOUS 2164620 HAS SOUPS 2074328 WITH SCORE 2081860.038
AT ITER 2762 NEW BEST:: SOT 11985873 SOS 7548660 HAS SOPS 6334209 HAS SOUS 2164642 HAS SOUPS 2074133 WITH SCORE 2081681.66
AT ITER 2766 NEW BEST:: SOT 11985400 SOS 7548067 HAS SOPS 6333836 HAS SOUS 2163195 HAS SOUPS 2072784 WITH SCORE 2080332.067
AT ITER 2791 NEW BEST:: SOT 11977196 SOS 7531109 HAS SOPS 6315301 HAS SOUS 2152473 HAS SOUPS 2061963 WITH SCORE 2069494.109
AT ITER 2813 NEW BEST:: SOT 11977713 SOS 7532888 HAS SOPS 6315961 HAS SOUS 2151044 HAS SOUPS 2060534 WITH SCORE 2068066.888
AT ITER 2814 NEW BEST:: SOT 11978454 SOS 7532322 HAS SOPS 6316114 HAS SOUS 2149325 HAS SOUPS 2058815 WITH SCORE 2066347.322
AT ITER 2823 NEW BEST:: SOT 11978406 SOS 7532274 HAS SOPS 6316066 HAS SOUS 2149149 HAS SOUPS 2058639 WITH SCORE 2066171.274
AT ITER 2829 NEW BEST:: SOT 11978062 SOS 7530342 HAS SOPS 6313129 HAS SOUS 2143936 HAS SOUPS 2053426 WITH SCORE 2060956.342
AT ITER 2837 NEW BEST:: SOT 11981554 SOS 7546221 HAS SOPS 6325024 HAS SOUS 2142557 HAS SOUPS 2052047 WITH SCORE 2059593.221
AT ITER 2845 NEW BEST:: SOT 11981322 SOS 7548277 HAS SOPS 6325748 HAS SOUS 2141518 HAS SOUPS 2051008 WITH SCORE 2058556.277
AT ITER 2847 NEW BEST:: SOT 11980562 SOS 7547075 HAS SOPS 6324515 HAS SOUS 2140120 HAS SOUPS 2049618 WITH SCORE 2057165.075
AT ITER 2849 NEW BEST:: SOT 11984929 SOS 7560709 HAS SOPS 6337960 HAS SOUS 2139503 HAS SOUPS 2049001 WITH SCORE 2056561.709
AT ITER 2854 NEW BEST:: SOT 11983041 SOS 7558318 HAS SOPS 6334764 HAS SOUS 2137725 HAS SOUPS 2047191 WITH SCORE 2054749.318
AT ITER 2869 NEW BEST:: SOT 11982332 SOS 7557531 HAS SOPS 6333706 HAS SOUS 2137164 HAS SOUPS 2046620 WITH SCORE 2054177.531
AT ITER 2873 NEW BEST:: SOT 11977574 SOS 7552207 HAS SOPS 6335348 HAS SOUS 2131563 HAS SOUPS 2041206 WITH SCORE 2048758.207
AT ITER 2885 NEW BEST:: SOT 11975087 SOS 7549956 HAS SOPS 6331577 HAS SOUS 2122967 HAS SOUPS 2032610 WITH SCORE 2040159.956
AT ITER 2893 NEW BEST:: SOT 11974755 SOS 7549666 HAS SOPS 6330776 HAS SOUS 2121917 HAS SOUPS 2031560 WITH SCORE 2039109.666
AT ITER 2916 NEW BEST:: SOT 11976440 SOS 7551829 HAS SOPS 6332636 HAS SOUS 2119969 HAS SOUPS 2029684 WITH SCORE 2037235.829
AT ITER 2922 NEW BEST:: SOT 11975059 SOS 7550448 HAS SOPS 6330455 HAS SOUS 2118636 HAS SOUPS 2027503 WITH SCORE 2035053.448
AT ITER 2932 NEW BEST:: SOT 11974435 SOS 7546474 HAS SOPS 6325799 HAS SOUS 2117785 HAS SOUPS 2026652 WITH SCORE 2034198.474
AT ITER 2947 NEW BEST:: SOT 11974523 SOS 7548284 HAS SOPS 6328336 HAS SOUS 2117081 HAS SOUPS 2025948 WITH SCORE 2033496.284
AT ITER 2959 NEW BEST:: SOT 11974658 SOS 7548665 HAS SOPS 6329817 HAS SOUS 2116625 HAS SOUPS 2025492 WITH SCORE 2033040.665
AT ITER 3007 NEW BEST:: SOT 11974658 SOS 7550671 HAS SOPS 6332854 HAS SOUS 2114539 HAS SOUPS 2023486 WITH SCORE 2031036.671
AT ITER 3017 NEW BEST:: SOT 11971544 SOS 7544834 HAS SOPS 6328407 HAS SOUS 2111929 HAS SOUPS 2021120 WITH SCORE 2028664.834
AT ITER 3030 NEW BEST:: SOT 11972557 SOS 7544154 HAS SOPS 6333287 HAS SOUS 2107181 HAS SOUPS 2016551 WITH SCORE 2024095.154
AT ITER 3042 NEW BEST:: SOT 11970781 SOS 7538716 HAS SOPS 6327762 HAS SOUS 2104768 HAS SOUPS 2014022 WITH SCORE 2021560.716
AT ITER 3048 NEW BEST:: SOT 11970293 SOS 7537762 HAS SOPS 6326930 HAS SOUS 2103784 HAS SOUPS 2013049 WITH SCORE 2020586.762
AT ITER 3049 NEW BEST:: SOT 11970308 SOS 7537981 HAS SOPS 6327300 HAS SOUS 2103769 HAS SOUPS 2013034 WITH SCORE 2020571.981
AT ITER 3053 NEW BEST:: SOT 11969481 SOS 7535959 HAS SOPS 6324242 HAS SOUS 2101494 HAS SOUPS 2010759 WITH SCORE 2018294.959
AT ITER 3056 NEW BEST:: SOT 11969094 SOS 7535546 HAS SOPS 6323999 HAS SOUS 2100404 HAS SOUPS 2009957 WITH SCORE 2017492.546
AT ITER 3065 NEW BEST:: SOT 11969451 SOS 7537300 HAS SOPS 6324870 HAS SOUS 2100204 HAS SOUPS 2009757 WITH SCORE 2017294.3
AT ITER 3082 NEW BEST:: SOT 11969779 SOS 7537604 HAS SOPS 6324878 HAS SOUS 2098496 HAS SOUPS 2008049 WITH SCORE 2015586.604
AT ITER 3086 NEW BEST:: SOT 11969797 SOS 7537405 HAS SOPS 6324247 HAS SOUS 2097993 HAS SOUPS 2007546 WITH SCORE 2015083.405
AT ITER 3100 NEW BEST:: SOT 11965213 SOS 7530103 HAS SOPS 6317775 HAS SOUS 2093954 HAS SOUPS 2003567 WITH SCORE 2011097.103
AT ITER 3110 NEW BEST:: SOT 11963182 SOS 7528612 HAS SOPS 6316987 HAS SOUS 2091827 HAS SOUPS 2001440 WITH SCORE 2008968.612
AT ITER 3125 NEW BEST:: SOT 11963126 SOS 7528409 HAS SOPS 6316497 HAS SOUS 2091418 HAS SOUPS 2001039 WITH SCORE 2008567.409
AT ITER 3126 NEW BEST:: SOT 11967556 SOS 7532452 HAS SOPS 6319628 HAS SOUS 2090710 HAS SOUPS 2000355 WITH SCORE 2007887.452
AT ITER 3140 NEW BEST:: SOT 11968542 SOS 7536182 HAS SOPS 6323927 HAS SOUS 2090353 HAS SOUPS 1999998 WITH SCORE 2007534.182
AT ITER 3144 NEW BEST:: SOT 11968740 SOS 7536372 HAS SOPS 6324125 HAS SOUS 2090172 HAS SOUPS 1999825 WITH SCORE 2007361.372
AT ITER 3150 NEW BEST:: SOT 11963225 SOS 7531323 HAS SOPS 6317634 HAS SOUS 2075194 HAS SOUPS 1984844 WITH SCORE 1992375.323
AT ITER 3158 NEW BEST:: SOT 11962341 SOS 7530201 HAS SOPS 6317009 HAS SOUS 2066821 HAS SOUPS 1976598 WITH SCORE 1984128.201
AT ITER 3169 NEW BEST:: SOT 11962290 SOS 7530127 HAS SOPS 6316912 HAS SOUS 2066664 HAS SOUPS 1976442 WITH SCORE 1983972.127
AT ITER 3182 NEW BEST:: SOT 11962479 SOS 7530972 HAS SOPS 6318790 HAS SOUS 2066161 HAS SOUPS 1975939 WITH SCORE 1983469.972
AT ITER 3194 NEW BEST:: SOT 11965827 SOS 7533995 HAS SOPS 6320185 HAS SOUS 2061217 HAS SOUPS 1970995 WITH SCORE 1978528.995
AT ITER 3206 NEW BEST:: SOT 11965565 SOS 7534143 HAS SOPS 6320107 HAS SOUS 2060241 HAS SOUPS 1970019 WITH SCORE 1977553.143
AT ITER 3207 NEW BEST:: SOT 11965545 SOS 7534120 HAS SOPS 6320003 HAS SOUS 2060126 HAS SOUPS 1969907 WITH SCORE 1977441.12
AT ITER 3215 NEW BEST:: SOT 11961123 SOS 7529962 HAS SOPS 6321301 HAS SOUS 2059846 HAS SOUPS 1969627 WITH SCORE 1977156.962
AT ITER 3234 NEW BEST:: SOT 11962898 SOS 7539248 HAS SOPS 6333276 HAS SOUS 2052678 HAS SOUPS 1962602 WITH SCORE 1970141.248
AT ITER 3239 NEW BEST:: SOT 11963109 SOS 7539446 HAS SOPS 6333279 HAS SOUS 2051853 HAS SOUPS 1961777 WITH SCORE 1969316.446
AT ITER 3283 NEW BEST:: SOT 11964906 SOS 7542901 HAS SOPS 6337456 HAS SOUS 2046585 HAS SOUPS 1956588 WITH SCORE 1964130.901
AT ITER 3289 NEW BEST:: SOT 11964143 SOS 7543769 HAS SOPS 6338468 HAS SOUS 2045655 HAS SOUPS 1955658 WITH SCORE 1963201.769
AT ITER 3290 NEW BEST:: SOT 11964096 SOS 7542857 HAS SOPS 6337110 HAS SOUS 2045549 HAS SOUPS 1955552 WITH SCORE 1963094.857
AT ITER 3302 NEW BEST:: SOT 11964901 SOS 7542663 HAS SOPS 6337010 HAS SOUS 2044575 HAS SOUPS 1954578 WITH SCORE 1962120.663
AT ITER 3314 NEW BEST:: SOT 11964644 SOS 7542448 HAS SOPS 6336598 HAS SOUS 2044441 HAS SOUPS 1954444 WITH SCORE 1961986.448
AT ITER 3321 NEW BEST:: SOT 11962637 SOS 7540126 HAS SOPS 6334041 HAS SOUS 2040724 HAS SOUPS 1950844 WITH SCORE 1958384.126
AT ITER 3324 NEW BEST:: SOT 11956956 SOS 7517437 HAS SOPS 6309206 HAS SOUS 2040112 HAS SOUPS 1950051 WITH SCORE 1957568.437
AT ITER 3326 NEW BEST:: SOT 11953516 SOS 7514057 HAS SOPS 6304058 HAS SOUS 2031203 HAS SOUPS 1941092 WITH SCORE 1948606.057
AT ITER 3348 NEW BEST:: SOT 11953463 SOS 7513505 HAS SOPS 6304212 HAS SOUS 2030781 HAS SOUPS 1940670 WITH SCORE 1948183.505
AT ITER 3356 NEW BEST:: SOT 11954769 SOS 7514001 HAS SOPS 6304873 HAS SOUS 2029757 HAS SOUPS 1939740 WITH SCORE 1947254.001
AT ITER 3393 NEW BEST:: SOT 11955405 SOS 7513629 HAS SOPS 6303857 HAS SOUS 2028696 HAS SOUPS 1938679 WITH SCORE 1946192.629
AT ITER 3398 NEW BEST:: SOT 11957241 SOS 7522046 HAS SOPS 6312122 HAS SOUS 2022159 HAS SOUPS 1932265 WITH SCORE 1939787.046
AT ITER 3423 NEW BEST:: SOT 11955306 SOS 7517563 HAS SOPS 6308267 HAS SOUS 2020080 HAS SOUPS 1930214 WITH SCORE 1937731.563
AT ITER 3426 NEW BEST:: SOT 11952880 SOS 7514078 HAS SOPS 6305486 HAS SOUS 2016229 HAS SOUPS 1927067 WITH SCORE 1934581.078
AT ITER 3451 NEW BEST:: SOT 11952880 SOS 7513980 HAS SOPS 6305921 HAS SOUS 2016223 HAS SOUPS 1927061 WITH SCORE 1934574.98
AT ITER 3461 NEW BEST:: SOT 11952870 SOS 7514481 HAS SOPS 6306483 HAS SOUS 2016126 HAS SOUPS 1926964 WITH SCORE 1934478.481
AT ITER 3480 NEW BEST:: SOT 11954196 SOS 7513633 HAS SOPS 6304656 HAS SOUS 2015719 HAS SOUPS 1926442 WITH SCORE 1933955.633
AT ITER 3490 NEW BEST:: SOT 11954906 SOS 7517958 HAS SOPS 6307369 HAS SOUS 2015587 HAS SOUPS 1926279 WITH SCORE 1933796.958
AT ITER 3505 NEW BEST:: SOT 11955567 SOS 7519212 HAS SOPS 6307191 HAS SOUS 2014046 HAS SOUPS 1924738 WITH SCORE 1932257.212
AT ITER 3512 NEW BEST:: SOT 11954525 SOS 7518671 HAS SOPS 6305356 HAS SOUS 2011591 HAS SOUPS 1922283 WITH SCORE 1929801.671
AT ITER 3518 NEW BEST:: SOT 11952882 SOS 7517990 HAS SOPS 6302999 HAS SOUS 2008019 HAS SOUPS 1918621 WITH SCORE 1926138.99
AT ITER 3529 NEW BEST:: SOT 11953053 SOS 7518882 HAS SOPS 6303975 HAS SOUS 2007802 HAS SOUPS 1918404 WITH SCORE 1925922.882
AT ITER 3557 NEW BEST:: SOT 11952683 SOS 7519719 HAS SOPS 6304535 HAS SOUS 2006225 HAS SOUPS 1916827 WITH SCORE 1924346.719
AT ITER 3558 NEW BEST:: SOT 11957165 SOS 7521653 HAS SOPS 6306526 HAS SOUS 1998536 HAS SOUPS 1909138 WITH SCORE 1916659.653
AT ITER 3566 NEW BEST:: SOT 11957304 SOS 7522393 HAS SOPS 6306626 HAS SOUS 1997790 HAS SOUPS 1908392 WITH SCORE 1915914.393
AT ITER 3580 NEW BEST:: SOT 11957166 SOS 7524955 HAS SOPS 6305904 HAS SOUS 1992929 HAS SOUPS 1903531 WITH SCORE 1911055.955
AT ITER 3590 NEW BEST:: SOT 11956998 SOS 7524425 HAS SOPS 6305362 HAS SOUS 1992769 HAS SOUPS 1903368 WITH SCORE 1910892.425
AT ITER 3606 NEW BEST:: SOT 11958914 SOS 7526227 HAS SOPS 6307187 HAS SOUS 1990777 HAS SOUPS 1901376 WITH SCORE 1908902.227
AT ITER 3623 NEW BEST:: SOT 11957958 SOS 7524540 HAS SOPS 6305217 HAS SOUS 1989054 HAS SOUPS 1899653 WITH SCORE 1907177.54
AT ITER 3624 NEW BEST:: SOT 11957953 SOS 7524831 HAS SOPS 6305010 HAS SOUS 1989050 HAS SOUPS 1899640 WITH SCORE 1907164.831
AT ITER 3666 NEW BEST:: SOT 11956710 SOS 7523759 HAS SOPS 6303977 HAS SOUS 1985889 HAS SOUPS 1896453 WITH SCORE 1903976.759
AT ITER 3678 NEW BEST:: SOT 11955133 SOS 7519952 HAS SOPS 6299999 HAS SOUS 1985432 HAS SOUPS 1895975 WITH SCORE 1903494.952
AT ITER 3685 NEW BEST:: SOT 11953776 SOS 7518641 HAS SOPS 6297976 HAS SOUS 1984437 HAS SOUPS 1894932 WITH SCORE 1902450.641
AT ITER 3704 NEW BEST:: SOT 11954478 SOS 7520267 HAS SOPS 6299030 HAS SOUS 1983323 HAS SOUPS 1893818 WITH SCORE 1901338.267
AT ITER 3718 NEW BEST:: SOT 11950158 SOS 7506807 HAS SOPS 6287330 HAS SOUS 1982420 HAS SOUPS 1892944 WITH SCORE 1900450.807
AT ITER 3741 NEW BEST:: SOT 11949594 SOS 7506208 HAS SOPS 6286206 HAS SOUS 1979532 HAS SOUPS 1890056 WITH SCORE 1897562.208
AT ITER 3745 NEW BEST:: SOT 11948376 SOS 7504803 HAS SOPS 6284666 HAS SOUS 1978388 HAS SOUPS 1888895 WITH SCORE 1896399.803
AT ITER 3765 NEW BEST:: SOT 11947639 SOS 7503909 HAS SOPS 6282691 HAS SOUS 1975638 HAS SOUPS 1886145 WITH SCORE 1893648.909
AT ITER 3799 NEW BEST:: SOT 11946893 SOS 7504297 HAS SOPS 6283400 HAS SOUS 1974414 HAS SOUPS 1884855 WITH SCORE 1892359.297
AT ITER 3807 NEW BEST:: SOT 11946818 SOS 7505254 HAS SOPS 6283661 HAS SOUS 1973983 HAS SOUPS 1884424 WITH SCORE 1891929.254
AT ITER 3823 NEW BEST:: SOT 11947676 SOS 7506396 HAS SOPS 6285508 HAS SOUS 1973778 HAS SOUPS 1884250 WITH SCORE 1891756.396
AT ITER 3839 NEW BEST:: SOT 11947553 SOS 7505895 HAS SOPS 6284796 HAS SOUS 1973568 HAS SOUPS 1884040 WITH SCORE 1891545.895
AT ITER 3879 NEW BEST:: SOT 11947177 SOS 7502691 HAS SOPS 6282231 HAS SOUS 1972145 HAS SOUPS 1882617 WITH SCORE 1890119.691
AT ITER 3891 NEW BEST:: SOT 11947325 SOS 7502082 HAS SOPS 6281353 HAS SOUS 1971877 HAS SOUPS 1882349 WITH SCORE 1889851.082
AT ITER 3894 NEW BEST:: SOT 11947085 SOS 7499822 HAS SOPS 6279788 HAS SOUS 1971793 HAS SOUPS 1882265 WITH SCORE 1889764.822
AT ITER 3897 NEW BEST:: SOT 11946130 SOS 7498694 HAS SOPS 6278979 HAS SOUS 1969076 HAS SOUPS 1879578 WITH SCORE 1887076.694
AT ITER 3920 NEW BEST:: SOT 11939712 SOS 7489563 HAS SOPS 6269791 HAS SOUS 1954199 HAS SOUPS 1865316 WITH SCORE 1872805.563
AT ITER 3931 NEW BEST:: SOT 11939443 SOS 7489185 HAS SOPS 6269246 HAS SOUS 1953905 HAS SOUPS 1865022 WITH SCORE 1872511.185
AT ITER 3952 NEW BEST:: SOT 11939261 SOS 7488962 HAS SOPS 6269125 HAS SOUS 1953446 HAS SOUPS 1864461 WITH SCORE 1871949.962
AT ITER 3963 NEW BEST:: SOT 11939512 SOS 7489296 HAS SOPS 6270788 HAS SOUS 1951696 HAS SOUPS 1862711 WITH SCORE 1870200.296
AT ITER 3964 NEW BEST:: SOT 11937107 SOS 7488077 HAS SOPS 6266529 HAS SOUS 1949684 HAS SOUPS 1860699 WITH SCORE 1868187.077
AT ITER 3966 NEW BEST:: SOT 11936983 SOS 7488879 HAS SOPS 6267188 HAS SOUS 1948065 HAS SOUPS 1859080 WITH SCORE 1866568.879
AT ITER 3983 NEW BEST:: SOT 11935083 SOS 7485115 HAS SOPS 6264681 HAS SOUS 1947130 HAS SOUPS 1858145 WITH SCORE 1865630.115
AT ITER 3995 NEW BEST:: SOT 11935081 SOS 7484671 HAS SOPS 6264557 HAS SOUS 1946855 HAS SOUPS 1857870 WITH SCORE 1865354.671
AT ITER 4000 NEW BEST:: SOT 11934913 SOS 7485139 HAS SOPS 6263517 HAS SOUS 1944553 HAS SOUPS 1855568 WITH SCORE 1863053.139
AT ITER 4027 NEW BEST:: SOT 11934785 SOS 7484903 HAS SOPS 6263566 HAS SOUS 1944505 HAS SOUPS 1855520 WITH SCORE 1863004.903
AT ITER 4032 NEW BEST:: SOT 11930781 SOS 7478753 HAS SOPS 6257708 HAS SOUS 1940853 HAS SOUPS 1851914 WITH SCORE 1859392.753
AT ITER 4037 NEW BEST:: SOT 11928849 SOS 7476288 HAS SOPS 6255554 HAS SOUS 1937948 HAS SOUPS 1849049 WITH SCORE 1856525.288
AT ITER 4039 NEW BEST:: SOT 11930783 SOS 7478731 HAS SOPS 6257204 HAS SOUS 1937353 HAS SOUPS 1848454 WITH SCORE 1855932.731
AT ITER 4040 NEW BEST:: SOT 11919083 SOS 7449734 HAS SOPS 6240084 HAS SOUS 1927474 HAS SOUPS 1838873 WITH SCORE 1846322.734
AT ITER 4047 NEW BEST:: SOT 11919201 SOS 7449712 HAS SOPS 6239792 HAS SOUS 1925852 HAS SOUPS 1837251 WITH SCORE 1844700.712
AT ITER 4067 NEW BEST:: SOT 11919041 SOS 7449552 HAS SOPS 6239632 HAS SOUS 1925852 HAS SOUPS 1837251 WITH SCORE 1844700.552
AT ITER 4080 NEW BEST:: SOT 11918265 SOS 7448664 HAS SOPS 6238682 HAS SOUS 1922539 HAS SOUPS 1834030 WITH SCORE 1841478.664
AT ITER 4083 NEW BEST:: SOT 11918351 SOS 7448816 HAS SOPS 6239126 HAS SOUS 1922449 HAS SOUPS 1833940 WITH SCORE 1841388.816
AT ITER 4092 NEW BEST:: SOT 11923652 SOS 7452881 HAS SOPS 6245416 HAS SOUS 1915460 HAS SOUPS 1827172 WITH SCORE 1834624.881
AT ITER 4093 NEW BEST:: SOT 11921847 SOS 7448996 HAS SOPS 6240098 HAS SOUS 1913883 HAS SOUPS 1825595 WITH SCORE 1833043.996
AT ITER 4097 NEW BEST:: SOT 11923820 SOS 7452696 HAS SOPS 6242353 HAS SOUS 1910849 HAS SOUPS 1822561 WITH SCORE 1830013.696
AT ITER 4111 NEW BEST:: SOT 11923093 SOS 7451976 HAS SOPS 6241578 HAS SOUS 1910057 HAS SOUPS 1821714 WITH SCORE 1829165.976
AT ITER 4135 NEW BEST:: SOT 11923240 SOS 7451045 HAS SOPS 6240446 HAS SOUS 1909756 HAS SOUPS 1821413 WITH SCORE 1828864.045
AT ITER 4153 NEW BEST:: SOT 11922757 SOS 7450108 HAS SOPS 6239530 HAS SOUS 1908901 HAS SOUPS 1820564 WITH SCORE 1828014.108
AT ITER 4158 NEW BEST:: SOT 11919574 SOS 7446492 HAS SOPS 6235339 HAS SOUS 1905330 HAS SOUPS 1816890 WITH SCORE 1824336.492
AT ITER 4165 NEW BEST:: SOT 11919424 SOS 7446494 HAS SOPS 6235460 HAS SOUS 1904913 HAS SOUPS 1816491 WITH SCORE 1823937.494
AT ITER 4185 NEW BEST:: SOT 11920342 SOS 7448702 HAS SOPS 6237571 HAS SOUS 1903838 HAS SOUPS 1815416 WITH SCORE 1822864.702
AT ITER 4191 NEW BEST:: SOT 11912380 SOS 7440681 HAS SOPS 6229285 HAS SOUS 1898327 HAS SOUPS 1809905 WITH SCORE 1817345.681
AT ITER 4196 NEW BEST:: SOT 11906932 SOS 7434933 HAS SOPS 6223537 HAS SOUS 1892345 HAS SOUPS 1803923 WITH SCORE 1811357.933
AT ITER 4207 NEW BEST:: SOT 11906610 SOS 7433628 HAS SOPS 6222139 HAS SOUS 1890276 HAS SOUPS 1801854 WITH SCORE 1809287.628
AT ITER 4210 NEW BEST:: SOT 11907762 SOS 7436222 HAS SOPS 6223668 HAS SOUS 1889240 HAS SOUPS 1800803 WITH SCORE 1808239.222
AT ITER 4248 NEW BEST:: SOT 11906902 SOS 7432411 HAS SOPS 6219015 HAS SOUS 1888905 HAS SOUPS 1800468 WITH SCORE 1807900.411
AT ITER 4251 NEW BEST:: SOT 11906129 SOS 7430895 HAS SOPS 6216655 HAS SOUS 1888822 HAS SOUPS 1800292 WITH SCORE 1807722.895
AT ITER 4254 NEW BEST:: SOT 11906478 SOS 7432492 HAS SOPS 6217773 HAS SOUS 1888812 HAS SOUPS 1800282 WITH SCORE 1807714.492
AT ITER 4257 NEW BEST:: SOT 11904930 SOS 7430933 HAS SOPS 6215998 HAS SOUS 1885907 HAS SOUPS 1797392 WITH SCORE 1804822.933
AT ITER 4258 NEW BEST:: SOT 11904907 SOS 7430911 HAS SOPS 6215979 HAS SOUS 1885859 HAS SOUPS 1797344 WITH SCORE 1804774.911
AT ITER 4265 NEW BEST:: SOT 11904940 SOS 7431197 HAS SOPS 6216656 HAS SOUS 1885793 HAS SOUPS 1797278 WITH SCORE 1804709.197
AT ITER 4366 NEW BEST:: SOT 11905849 SOS 7434917 HAS SOPS 6219252 HAS SOUS 1881823 HAS SOUPS 1793308 WITH SCORE 1800742.917
AT ITER 4381 NEW BEST:: SOT 11911550 SOS 7446989 HAS SOPS 6231480 HAS SOUS 1881680 HAS SOUPS 1793165 WITH SCORE 1800611.989
AT ITER 4405 NEW BEST:: SOT 11910544 SOS 7445162 HAS SOPS 6229661 HAS SOUS 1881207 HAS SOUPS 1792692 WITH SCORE 1800137.162
AT ITER 4408 NEW BEST:: SOT 11910348 SOS 7446182 HAS SOPS 6230525 HAS SOUS 1880658 HAS SOUPS 1792143 WITH SCORE 1799589.182
AT ITER 4427 NEW BEST:: SOT 11910350 SOS 7446013 HAS SOPS 6230401 HAS SOUS 1880624 HAS SOUPS 1792109 WITH SCORE 1799555.013
AT ITER 4428 NEW BEST:: SOT 11911254 SOS 7448286 HAS SOPS 6232471 HAS SOUS 1880435 HAS SOUPS 1791933 WITH SCORE 1799381.286
AT ITER 4444 NEW BEST:: SOT 11911329 SOS 7447807 HAS SOPS 6232604 HAS SOUS 1880037 HAS SOUPS 1791594 WITH SCORE 1799041.807
AT ITER 4454 NEW BEST:: SOT 11912167 SOS 7446703 HAS SOPS 6229148 HAS SOUS 1879919 HAS SOUPS 1791476 WITH SCORE 1798922.703
AT ITER 4466 NEW BEST:: SOT 11912189 SOS 7446728 HAS SOPS 6229170 HAS SOUS 1879895 HAS SOUPS 1791451 WITH SCORE 1798897.728
AT ITER 4480 NEW BEST:: SOT 11911047 SOS 7445102 HAS SOPS 6227134 HAS SOUS 1877615 HAS SOUPS 1789141 WITH SCORE 1796586.102
AT ITER 4484 NEW BEST:: SOT 11909807 SOS 7444943 HAS SOPS 6226888 HAS SOUS 1877601 HAS SOUPS 1789098 WITH SCORE 1796542.943
AT ITER 4502 NEW BEST:: SOT 11913581 SOS 7460890 HAS SOPS 6238364 HAS SOUS 1872838 HAS SOUPS 1784287 WITH SCORE 1791747.89
AT ITER 4537 NEW BEST:: SOT 11913529 SOS 7460825 HAS SOPS 6238299 HAS SOUS 1872604 HAS SOUPS 1784053 WITH SCORE 1791513.825
AT ITER 4555 NEW BEST:: SOT 11913376 SOS 7460270 HAS SOPS 6236957 HAS SOUS 1871774 HAS SOUPS 1783223 WITH SCORE 1790683.27
AT ITER 4563 NEW BEST:: SOT 11911622 SOS 7458618 HAS SOPS 6234668 HAS SOUS 1868659 HAS SOUPS 1780108 WITH SCORE 1787566.618
AT ITER 4564 NEW BEST:: SOT 11910988 SOS 7457129 HAS SOPS 6234335 HAS SOUS 1868059 HAS SOUPS 1779508 WITH SCORE 1786965.129
AT ITER 4593 NEW BEST:: SOT 11909738 SOS 7456651 HAS SOPS 6233964 HAS SOUS 1865248 HAS SOUPS 1776714 WITH SCORE 1784170.651
AT ITER 4603 NEW BEST:: SOT 11908579 SOS 7455328 HAS SOPS 6231219 HAS SOUS 1861952 HAS SOUPS 1773418 WITH SCORE 1780873.328
AT ITER 4609 NEW BEST:: SOT 11908804 SOS 7456366 HAS SOPS 6232340 HAS SOUS 1861908 HAS SOUPS 1773374 WITH SCORE 1780830.366
AT ITER 4617 NEW BEST:: SOT 11909618 SOS 7459045 HAS SOPS 6234666 HAS SOUS 1860395 HAS SOUPS 1771894 WITH SCORE 1779353.045
AT ITER 4624 NEW BEST:: SOT 11908830 SOS 7457157 HAS SOPS 6233088 HAS SOUS 1859597 HAS SOUPS 1771096 WITH SCORE 1778553.157
AT ITER 4640 NEW BEST:: SOT 11902602 SOS 7444705 HAS SOPS 6224340 HAS SOUS 1855494 HAS SOUPS 1767192 WITH SCORE 1774636.705
AT ITER 4677 NEW BEST:: SOT 11901836 SOS 7443517 HAS SOPS 6222810 HAS SOUS 1854305 HAS SOUPS 1765957 WITH SCORE 1773400.517
AT ITER 4710 NEW BEST:: SOT 11900746 SOS 7442420 HAS SOPS 6221315 HAS SOUS 1851527 HAS SOUPS 1763179 WITH SCORE 1770621.42
AT ITER 4712 NEW BEST:: SOT 11900790 SOS 7442416 HAS SOPS 6221399 HAS SOUS 1851005 HAS SOUPS 1762657 WITH SCORE 1770099.416
AT ITER 4724 NEW BEST:: SOT 11902621 SOS 7446989 HAS SOPS 6225933 HAS SOUS 1848962 HAS SOUPS 1760614 WITH SCORE 1768060.989
AT ITER 4745 NEW BEST:: SOT 11901799 SOS 7445155 HAS SOPS 6224329 HAS SOUS 1848175 HAS SOUPS 1759827 WITH SCORE 1767272.155
AT ITER 4762 NEW BEST:: SOT 11897627 SOS 7443643 HAS SOPS 6222817 HAS SOUS 1848166 HAS SOUPS 1759818 WITH SCORE 1767261.643
AT ITER 4777 NEW BEST:: SOT 11898119 SOS 7441523 HAS SOPS 6222327 HAS SOUS 1847470 HAS SOUPS 1759122 WITH SCORE 1766563.523
AT ITER 4778 NEW BEST:: SOT 11895880 SOS 7439208 HAS SOPS 6214445 HAS SOUS 1841689 HAS SOUPS 1753341 WITH SCORE 1760780.208
AT ITER 4806 NEW BEST:: SOT 11895066 SOS 7437606 HAS SOPS 6212969 HAS SOUS 1840205 HAS SOUPS 1751864 WITH SCORE 1759301.606
AT ITER 4808 NEW BEST:: SOT 11895078 SOS 7438127 HAS SOPS 6213585 HAS SOUS 1840115 HAS SOUPS 1751785 WITH SCORE 1759223.127
AT ITER 4811 NEW BEST:: SOT 11894796 SOS 7437840 HAS SOPS 6213223 HAS SOUS 1839661 HAS SOUPS 1751331 WITH SCORE 1758768.84
AT ITER 4827 NEW BEST:: SOT 11893410 SOS 7436126 HAS SOPS 6211346 HAS SOUS 1837183 HAS SOUPS 1748873 WITH SCORE 1756309.126
AT ITER 4879 NEW BEST:: SOT 11893036 SOS 7435746 HAS SOPS 6210876 HAS SOUS 1836473 HAS SOUPS 1748163 WITH SCORE 1755598.746
AT ITER 4917 NEW BEST:: SOT 11892690 SOS 7436662 HAS SOPS 6210985 HAS SOUS 1835026 HAS SOUPS 1746716 WITH SCORE 1754152.662
AT ITER 4963 NEW BEST:: SOT 11893213 SOS 7438030 HAS SOPS 6211947 HAS SOUS 1831903 HAS SOUPS 1743535 WITH SCORE 1750973.03
AT ITER 4968 NEW BEST:: SOT 11893284 SOS 7438899 HAS SOPS 6212214 HAS SOUS 1831102 HAS SOUPS 1742720 WITH SCORE 1750158.899
AT ITER 4980 NEW BEST:: SOT 11892542 SOS 7433113 HAS SOPS 6206639 HAS SOUS 1830769 HAS SOUPS 1742387 WITH SCORE 1749820.113
AT ITER 4988 NEW BEST:: SOT 11893325 SOS 7433896 HAS SOPS 6207422 HAS SOUS 1829014 HAS SOUPS 1740632 WITH SCORE 1748065.896
AT ITER 4992 NEW BEST:: SOT 11893241 SOS 7433248 HAS SOPS 6206582 HAS SOUS 1828558 HAS SOUPS 1740176 WITH SCORE 1747609.248
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-5-CTLCardinality-00 (AF((! (AX( potential( (tk(P584)) <= (tk(P198)) ))))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-01 (EX( (EG( ( potential( (tk(P114)) <= (tk(P596)) ) | potential( (tk(P414)) <= (tk(P537)) ) )))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-02 ( (! (AU( potential( ( 1 ) <= (tk(P438)) ),potential( (tk(P317)) <= (tk(P281)) ) ))) | ( potential( ( 2 ) <= (tk(P548)) ) | (AG( potential( (tk(P35)) <= (tk(P253)) ))) ) )
PROPERTY: RERS17pb113-PT-5-CTLCardinality-03 ( (AF(potential( ( 3 ) <= (tk(P320)) ))) | potential( ( 2 ) <= (tk(P174)) ) )
PROPERTY: RERS17pb113-PT-5-CTLCardinality-04 (AU( ( potential( ( 2 ) <= (tk(P523)) ) | potential( (tk(P256)) <= (tk(P445)) ) ),(! potential( (tk(P432)) <= (tk(P335)) )) ))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-05 (AX( (AU( potential( (tk(P123)) <= (tk(P110)) ),potential( ( 3 ) <= (tk(P317)) ) ))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-06 (EG( (AF(potential( ( 1 ) <= (tk(P517)) )))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-07 (AF(( (EG( potential( ( 1 ) <= (tk(P245)) ))) & potential( ( 1 ) <= (tk(P460)) ) )))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-08 (AF((! potential( (tk(P467)) <= (tk(P328)) ))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-09 ( ( ( (! (! potential( ( 3 ) <= (tk(P132)) ))) | ( potential( ( 3 ) <= (tk(P312)) ) & (! potential( (tk(P16)) <= (tk(P187)) )) ) ) | potential( ( 2 ) <= (tk(P169)) ) ) | (AG( ( ( potential( (tk(P365)) <= (tk(P447)) ) | potential( ( 3 ) <= (tk(P322)) ) ) | (! potential( ( 3 ) <= (tk(P129)) )) ))) )
PROPERTY: RERS17pb113-PT-5-CTLCardinality-10 (AX( (! (EF(potential( ( 1 ) <= (tk(P365)) ))))))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-11 ( potential( ( 1 ) <= (tk(P499)) ) | ( (! (AF(potential( ( 3 ) <= (tk(P609)) )))) & (! (EG( potential( ( 3 ) <= (tk(P618)) )))) ) )
PROPERTY: RERS17pb113-PT-5-CTLCardinality-12 ( (! (EG( ( potential( (tk(P378)) <= (tk(P530)) ) & potential( (tk(P234)) <= (tk(P246)) ) )))) & ( potential( (tk(P473)) <= (tk(P323)) ) | (AU( potential( (tk(P478)) <= (tk(P423)) ),potential( (tk(P620)) <= (tk(P417)) ) )) ) )
PROPERTY: RERS17pb113-PT-5-CTLCardinality-13 (EU( ( ( potential( ( 3 ) <= (tk(P511)) ) & potential( ( 2 ) <= (tk(P528)) ) ) & (! potential( (tk(P628)) <= (tk(P10)) )) ),(EG( potential( (tk(P120)) <= (tk(P313)) ))) ))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-14 (AU( potential( (tk(P18)) <= (tk(P82)) ),(AG( potential( ( 1 ) <= (tk(P100)) ))) ))
PROPERTY: RERS17pb113-PT-5-CTLCardinality-15 (EG( potential( (tk(P322)) <= (tk(P370)) )))

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

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