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-158961502200027.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-4, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200027
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.0K Apr 12 07:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 12 07:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 14:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 20:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-4-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589660555222

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 4
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 12 NEW BEST:: SOT 12195337 SOS 7746781 HAS SOPS 6415171 HAS SOUS 3041182 HAS SOUPS 2940692 WITH SCORE 2948438.781
AT ITER 19 NEW BEST:: SOT 12196991 SOS 7753253 HAS SOPS 6424699 HAS SOUS 3040598 HAS SOUPS 2940108 WITH SCORE 2947861.253
AT ITER 35 NEW BEST:: SOT 12196122 SOS 7752397 HAS SOPS 6424183 HAS SOUS 3035872 HAS SOUPS 2936379 WITH SCORE 2944131.397
AT ITER 44 NEW BEST:: SOT 12196093 SOS 7754331 HAS SOPS 6425924 HAS SOUS 3032892 HAS SOUPS 2933399 WITH SCORE 2941153.331
AT ITER 47 NEW BEST:: SOT 12202481 SOS 7773375 HAS SOPS 6451359 HAS SOUS 3031138 HAS SOUPS 2931843 WITH SCORE 2939616.375
AT ITER 50 NEW BEST:: SOT 12202569 SOS 7775744 HAS SOPS 6452374 HAS SOUS 3023732 HAS SOUPS 2924437 WITH SCORE 2932212.744
AT ITER 53 NEW BEST:: SOT 12202249 SOS 7775411 HAS SOPS 6451846 HAS SOUS 3023164 HAS SOUPS 2923749 WITH SCORE 2931524.411
AT ITER 60 NEW BEST:: SOT 12202282 SOS 7779261 HAS SOPS 6456836 HAS SOUS 3021502 HAS SOUPS 2922087 WITH SCORE 2929866.261
AT ITER 61 NEW BEST:: SOT 12202267 SOS 7779246 HAS SOPS 6456821 HAS SOUS 3021263 HAS SOUPS 2921848 WITH SCORE 2929627.246
AT ITER 67 NEW BEST:: SOT 12203698 SOS 7784151 HAS SOPS 6460258 HAS SOUS 3019837 HAS SOUPS 2920422 WITH SCORE 2928206.151
AT ITER 73 NEW BEST:: SOT 12202815 SOS 7780977 HAS SOPS 6457373 HAS SOUS 3017671 HAS SOUPS 2918419 WITH SCORE 2926199.977
AT ITER 75 NEW BEST:: SOT 12198652 SOS 7779732 HAS SOPS 6458112 HAS SOUS 3013306 HAS SOUPS 2914175 WITH SCORE 2921954.732
AT ITER 78 NEW BEST:: SOT 12198124 SOS 7778880 HAS SOPS 6457924 HAS SOUS 3012018 HAS SOUPS 2912887 WITH SCORE 2920665.88
AT ITER 88 NEW BEST:: SOT 12197421 SOS 7778142 HAS SOPS 6456661 HAS SOUS 3009359 HAS SOUPS 2910168 WITH SCORE 2917946.142
AT ITER 91 NEW BEST:: SOT 12197428 SOS 7777772 HAS SOPS 6455914 HAS SOUS 3008053 HAS SOUPS 2908862 WITH SCORE 2916639.772
AT ITER 92 NEW BEST:: SOT 12197396 SOS 7777740 HAS SOPS 6455882 HAS SOUS 3007877 HAS SOUPS 2908686 WITH SCORE 2916463.74
AT ITER 99 NEW BEST:: SOT 12199438 SOS 7776057 HAS SOPS 6467686 HAS SOUS 3005869 HAS SOUPS 2906678 WITH SCORE 2914454.057
AT ITER 110 NEW BEST:: SOT 12199438 SOS 7775228 HAS SOPS 6467025 HAS SOUS 3005647 HAS SOUPS 2906456 WITH SCORE 2914231.228
AT ITER 111 NEW BEST:: SOT 12198559 SOS 7775912 HAS SOPS 6467802 HAS SOUS 3003235 HAS SOUPS 2904044 WITH SCORE 2911819.912
AT ITER 123 NEW BEST:: SOT 12199263 SOS 7777223 HAS SOPS 6471770 HAS SOUS 2999616 HAS SOUPS 2901147 WITH SCORE 2908924.223
AT ITER 124 NEW BEST:: SOT 12197416 SOS 7776372 HAS SOPS 6470296 HAS SOUS 2990919 HAS SOUPS 2892642 WITH SCORE 2900418.372
AT ITER 129 NEW BEST:: SOT 12194741 SOS 7774014 HAS SOPS 6466860 HAS SOUS 2990489 HAS SOUPS 2891199 WITH SCORE 2898973.014
AT ITER 153 NEW BEST:: SOT 12190970 SOS 7762211 HAS SOPS 6458451 HAS SOUS 2984219 HAS SOUPS 2885808 WITH SCORE 2893570.211
AT ITER 155 NEW BEST:: SOT 12190489 SOS 7761463 HAS SOPS 6458126 HAS SOUS 2983159 HAS SOUPS 2884748 WITH SCORE 2892509.463
AT ITER 169 NEW BEST:: SOT 12188069 SOS 7758402 HAS SOPS 6454294 HAS SOUS 2975570 HAS SOUPS 2877361 WITH SCORE 2885119.402
AT ITER 185 NEW BEST:: SOT 12184771 SOS 7758107 HAS SOPS 6456073 HAS SOUS 2964573 HAS SOUPS 2866364 WITH SCORE 2874122.107
AT ITER 189 NEW BEST:: SOT 12180258 SOS 7752973 HAS SOPS 6454254 HAS SOUS 2959395 HAS SOUPS 2861280 WITH SCORE 2869032.973
AT ITER 191 NEW BEST:: SOT 12179852 SOS 7752645 HAS SOPS 6455584 HAS SOUS 2959015 HAS SOUPS 2860900 WITH SCORE 2868652.645
AT ITER 209 NEW BEST:: SOT 12179832 SOS 7752389 HAS SOPS 6455351 HAS SOUS 2958762 HAS SOUPS 2860672 WITH SCORE 2868424.389
AT ITER 211 NEW BEST:: SOT 12201079 SOS 7794310 HAS SOPS 6489766 HAS SOUS 2950590 HAS SOUPS 2851040 WITH SCORE 2858834.31
AT ITER 216 NEW BEST:: SOT 12198993 SOS 7790876 HAS SOPS 6486953 HAS SOUS 2950093 HAS SOUPS 2850543 WITH SCORE 2858333.876
AT ITER 238 NEW BEST:: SOT 12198807 SOS 7791240 HAS SOPS 6487174 HAS SOUS 2949650 HAS SOUPS 2850100 WITH SCORE 2857891.24
AT ITER 243 NEW BEST:: SOT 12196390 SOS 7788121 HAS SOPS 6485215 HAS SOUS 2943514 HAS SOUPS 2844052 WITH SCORE 2851840.121
AT ITER 248 NEW BEST:: SOT 12195725 SOS 7786669 HAS SOPS 6483990 HAS SOUS 2942933 HAS SOUPS 2843614 WITH SCORE 2851400.669
AT ITER 255 NEW BEST:: SOT 12193857 SOS 7782727 HAS SOPS 6480596 HAS SOUS 2940670 HAS SOUPS 2841103 WITH SCORE 2848885.727
AT ITER 271 NEW BEST:: SOT 12192072 SOS 7779398 HAS SOPS 6476752 HAS SOUS 2939855 HAS SOUPS 2840288 WITH SCORE 2848067.398
AT ITER 274 NEW BEST:: SOT 12189800 SOS 7773605 HAS SOPS 6472793 HAS SOUS 2936405 HAS SOUPS 2836865 WITH SCORE 2844638.605
AT ITER 282 NEW BEST:: SOT 12180761 SOS 7764530 HAS SOPS 6463178 HAS SOUS 2925308 HAS SOUPS 2825618 WITH SCORE 2833382.53
AT ITER 293 NEW BEST:: SOT 12180310 SOS 7764140 HAS SOPS 6462840 HAS SOUS 2924422 HAS SOUPS 2824732 WITH SCORE 2832496.14
AT ITER 304 NEW BEST:: SOT 12180150 SOS 7765450 HAS SOPS 6464614 HAS SOUS 2923719 HAS SOUPS 2824029 WITH SCORE 2831794.45
AT ITER 306 NEW BEST:: SOT 12180124 SOS 7767094 HAS SOPS 6465577 HAS SOUS 2921858 HAS SOUPS 2822168 WITH SCORE 2829935.094
AT ITER 314 NEW BEST:: SOT 12175996 SOS 7753861 HAS SOPS 6459485 HAS SOUS 2916785 HAS SOUPS 2817133 WITH SCORE 2824886.861
AT ITER 317 NEW BEST:: SOT 12161583 SOS 7715165 HAS SOPS 6431842 HAS SOUS 2915769 HAS SOUPS 2816357 WITH SCORE 2824072.165
AT ITER 319 NEW BEST:: SOT 12157262 SOS 7711091 HAS SOPS 6427574 HAS SOUS 2911854 HAS SOUPS 2812274 WITH SCORE 2819985.091
AT ITER 370 NEW BEST:: SOT 12167541 SOS 7733603 HAS SOPS 6445507 HAS SOUS 2907467 HAS SOUPS 2807887 WITH SCORE 2815620.603
AT ITER 378 NEW BEST:: SOT 12162479 SOS 7725205 HAS SOPS 6438061 HAS SOUS 2890100 HAS SOUPS 2790961 WITH SCORE 2798686.205
AT ITER 383 NEW BEST:: SOT 12158203 SOS 7719945 HAS SOPS 6433165 HAS SOUS 2879241 HAS SOUPS 2780159 WITH SCORE 2787878.945
AT ITER 413 NEW BEST:: SOT 12157618 SOS 7719435 HAS SOPS 6431871 HAS SOUS 2877617 HAS SOUPS 2778521 WITH SCORE 2786240.435
AT ITER 414 NEW BEST:: SOT 12159019 SOS 7723078 HAS SOPS 6435434 HAS SOUS 2877094 HAS SOUPS 2777998 WITH SCORE 2785721.078
AT ITER 420 NEW BEST:: SOT 12133970 SOS 7693593 HAS SOPS 6405886 HAS SOUS 2834472 HAS SOUPS 2735531 WITH SCORE 2743224.593
AT ITER 425 NEW BEST:: SOT 12133986 SOS 7694031 HAS SOPS 6406465 HAS SOUS 2834414 HAS SOUPS 2735473 WITH SCORE 2743167.031
AT ITER 444 NEW BEST:: SOT 12136348 SOS 7703789 HAS SOPS 6418129 HAS SOUS 2833119 HAS SOUPS 2734178 WITH SCORE 2741881.789
AT ITER 468 NEW BEST:: SOT 12140319 SOS 7715281 HAS SOPS 6431463 HAS SOUS 2832654 HAS SOUPS 2733713 WITH SCORE 2741428.281
AT ITER 482 NEW BEST:: SOT 12145949 SOS 7729353 HAS SOPS 6443613 HAS SOUS 2827826 HAS SOUPS 2728885 WITH SCORE 2736614.353
AT ITER 493 NEW BEST:: SOT 12143353 SOS 7726753 HAS SOPS 6441001 HAS SOUS 2825050 HAS SOUPS 2726109 WITH SCORE 2733835.753
AT ITER 501 NEW BEST:: SOT 12143235 SOS 7726583 HAS SOPS 6440769 HAS SOUS 2824955 HAS SOUPS 2726014 WITH SCORE 2733740.583
AT ITER 509 NEW BEST:: SOT 12143187 SOS 7726529 HAS SOPS 6440699 HAS SOUS 2824829 HAS SOUPS 2725888 WITH SCORE 2733614.529
AT ITER 511 NEW BEST:: SOT 12143077 SOS 7724988 HAS SOPS 6440946 HAS SOUS 2823872 HAS SOUPS 2724931 WITH SCORE 2732655.988
AT ITER 514 NEW BEST:: SOT 12114216 SOS 7677301 HAS SOPS 6403421 HAS SOUS 2777481 HAS SOUPS 2678796 WITH SCORE 2686473.301
AT ITER 519 NEW BEST:: SOT 12113511 SOS 7676446 HAS SOPS 6402251 HAS SOUS 2776090 HAS SOUPS 2677405 WITH SCORE 2685081.446
AT ITER 521 NEW BEST:: SOT 12112894 SOS 7671603 HAS SOPS 6411669 HAS SOUS 2774028 HAS SOUPS 2675619 WITH SCORE 2683290.603
AT ITER 532 NEW BEST:: SOT 12112567 SOS 7671308 HAS SOPS 6411427 HAS SOUS 2773753 HAS SOUPS 2675344 WITH SCORE 2683015.308
AT ITER 541 NEW BEST:: SOT 12110246 SOS 7666401 HAS SOPS 6408919 HAS SOUS 2773549 HAS SOUPS 2675193 WITH SCORE 2682859.401
AT ITER 590 NEW BEST:: SOT 12102112 SOS 7658231 HAS SOPS 6400209 HAS SOUS 2763200 HAS SOUPS 2664739 WITH SCORE 2672397.231
AT ITER 600 NEW BEST:: SOT 12104284 SOS 7661554 HAS SOPS 6401109 HAS SOUS 2762430 HAS SOUPS 2663952 WITH SCORE 2671613.554
AT ITER 601 NEW BEST:: SOT 12100779 SOS 7657581 HAS SOPS 6397520 HAS SOUS 2758124 HAS SOUPS 2659646 WITH SCORE 2667303.581
AT ITER 607 NEW BEST:: SOT 12097635 SOS 7652402 HAS SOPS 6392392 HAS SOUS 2754058 HAS SOUPS 2655580 WITH SCORE 2663232.402
AT ITER 608 NEW BEST:: SOT 12097221 SOS 7651747 HAS SOPS 6391858 HAS SOUS 2753681 HAS SOUPS 2655203 WITH SCORE 2662854.747
AT ITER 611 NEW BEST:: SOT 12094888 SOS 7649431 HAS SOPS 6387719 HAS SOUS 2749781 HAS SOUPS 2651303 WITH SCORE 2658952.431
AT ITER 616 NEW BEST:: SOT 12095367 SOS 7649731 HAS SOPS 6388363 HAS SOUS 2747370 HAS SOUPS 2649852 WITH SCORE 2657501.731
AT ITER 618 NEW BEST:: SOT 12086012 SOS 7640399 HAS SOPS 6378256 HAS SOUS 2738443 HAS SOUPS 2640855 WITH SCORE 2648495.399
AT ITER 629 NEW BEST:: SOT 12082548 SOS 7633764 HAS SOPS 6370496 HAS SOUS 2733904 HAS SOUPS 2636316 WITH SCORE 2643949.764
AT ITER 644 NEW BEST:: SOT 12072921 SOS 7624468 HAS SOPS 6359751 HAS SOUS 2727298 HAS SOUPS 2628957 WITH SCORE 2636581.468
AT ITER 653 NEW BEST:: SOT 12070136 SOS 7622142 HAS SOPS 6359429 HAS SOUS 2717905 HAS SOUPS 2619564 WITH SCORE 2627186.142
AT ITER 654 NEW BEST:: SOT 12074974 SOS 7642634 HAS SOPS 6368557 HAS SOUS 2694620 HAS SOUPS 2596062 WITH SCORE 2603704.634
AT ITER 668 NEW BEST:: SOT 12075625 SOS 7645088 HAS SOPS 6370404 HAS SOUS 2694521 HAS SOUPS 2595963 WITH SCORE 2603608.088
AT ITER 670 NEW BEST:: SOT 12074670 SOS 7644133 HAS SOPS 6369449 HAS SOUS 2693950 HAS SOUPS 2595392 WITH SCORE 2603036.133
AT ITER 678 NEW BEST:: SOT 12073234 SOS 7642270 HAS SOPS 6367661 HAS SOUS 2692370 HAS SOUPS 2593812 WITH SCORE 2601454.27
AT ITER 682 NEW BEST:: SOT 12074001 SOS 7643544 HAS SOPS 6368785 HAS SOUS 2692341 HAS SOUPS 2593783 WITH SCORE 2601426.544
AT ITER 695 NEW BEST:: SOT 12078713 SOS 7655301 HAS SOPS 6375070 HAS SOUS 2680764 HAS SOUPS 2582175 WITH SCORE 2589830.301
AT ITER 697 NEW BEST:: SOT 12078849 SOS 7657008 HAS SOPS 6375159 HAS SOUS 2678202 HAS SOUPS 2579607 WITH SCORE 2587264.008
AT ITER 701 NEW BEST:: SOT 12074298 SOS 7652426 HAS SOPS 6370581 HAS SOUS 2672913 HAS SOUPS 2574322 WITH SCORE 2581974.426
AT ITER 703 NEW BEST:: SOT 12073855 SOS 7651892 HAS SOPS 6369956 HAS SOUS 2672082 HAS SOUPS 2573498 WITH SCORE 2581149.892
AT ITER 723 NEW BEST:: SOT 12073621 SOS 7651622 HAS SOPS 6369692 HAS SOUS 2671587 HAS SOUPS 2573006 WITH SCORE 2580657.622
AT ITER 730 NEW BEST:: SOT 12065568 SOS 7642453 HAS SOPS 6360094 HAS SOUS 2657874 HAS SOUPS 2559351 WITH SCORE 2566993.453
AT ITER 743 NEW BEST:: SOT 12071993 SOS 7655254 HAS SOPS 6372881 HAS SOUS 2650055 HAS SOUPS 2551532 WITH SCORE 2559187.254
AT ITER 748 NEW BEST:: SOT 12071089 SOS 7653237 HAS SOPS 6371360 HAS SOUS 2644142 HAS SOUPS 2545935 WITH SCORE 2553588.237
AT ITER 751 NEW BEST:: SOT 12071114 SOS 7653222 HAS SOPS 6371341 HAS SOUS 2644023 HAS SOUPS 2545816 WITH SCORE 2553469.222
AT ITER 756 NEW BEST:: SOT 12071331 SOS 7657979 HAS SOPS 6374395 HAS SOUS 2641732 HAS SOUPS 2543525 WITH SCORE 2551182.979
AT ITER 765 NEW BEST:: SOT 12070644 SOS 7656282 HAS SOPS 6374430 HAS SOUS 2633484 HAS SOUPS 2535574 WITH SCORE 2543230.282
AT ITER 766 NEW BEST:: SOT 12070816 SOS 7656444 HAS SOPS 6374602 HAS SOUS 2633126 HAS SOUPS 2535226 WITH SCORE 2542882.444
AT ITER 771 NEW BEST:: SOT 12073800 SOS 7661391 HAS SOPS 6378023 HAS SOUS 2631952 HAS SOUPS 2534052 WITH SCORE 2541713.391
AT ITER 786 NEW BEST:: SOT 12073800 SOS 7661017 HAS SOPS 6377334 HAS SOUS 2629472 HAS SOUPS 2531654 WITH SCORE 2539315.017
AT ITER 795 NEW BEST:: SOT 12073627 SOS 7660803 HAS SOPS 6376707 HAS SOUS 2628125 HAS SOUPS 2530503 WITH SCORE 2538163.803
AT ITER 802 NEW BEST:: SOT 12073919 SOS 7661828 HAS SOPS 6378877 HAS SOUS 2625696 HAS SOUPS 2528008 WITH SCORE 2535669.828
AT ITER 803 NEW BEST:: SOT 12068973 SOS 7656691 HAS SOPS 6372143 HAS SOUS 2613255 HAS SOUPS 2515567 WITH SCORE 2523223.691
AT ITER 808 NEW BEST:: SOT 12068993 SOS 7656837 HAS SOPS 6372257 HAS SOUS 2613243 HAS SOUPS 2515555 WITH SCORE 2523211.837
AT ITER 812 NEW BEST:: SOT 12067761 SOS 7657285 HAS SOPS 6372611 HAS SOUS 2606995 HAS SOUPS 2509307 WITH SCORE 2516964.285
AT ITER 814 NEW BEST:: SOT 12067389 SOS 7656913 HAS SOPS 6372175 HAS SOUS 2606319 HAS SOUPS 2508631 WITH SCORE 2516287.913
AT ITER 815 NEW BEST:: SOT 12067228 SOS 7656758 HAS SOPS 6371738 HAS SOUS 2605784 HAS SOUPS 2508096 WITH SCORE 2515752.758
AT ITER 819 NEW BEST:: SOT 12069126 SOS 7658969 HAS SOPS 6375312 HAS SOUS 2604285 HAS SOUPS 2506597 WITH SCORE 2514255.969
AT ITER 824 NEW BEST:: SOT 12063637 SOS 7642485 HAS SOPS 6364998 HAS SOUS 2597913 HAS SOUPS 2500225 WITH SCORE 2507867.485
AT ITER 829 NEW BEST:: SOT 12064233 SOS 7643867 HAS SOPS 6364987 HAS SOUS 2596860 HAS SOUPS 2499172 WITH SCORE 2506815.867
AT ITER 831 NEW BEST:: SOT 12061949 SOS 7639798 HAS SOPS 6369407 HAS SOUS 2588966 HAS SOUPS 2491827 WITH SCORE 2499466.798
AT ITER 875 NEW BEST:: SOT 12058083 SOS 7630260 HAS SOPS 6358827 HAS SOUS 2583126 HAS SOUPS 2486081 WITH SCORE 2493711.26
AT ITER 877 NEW BEST:: SOT 12049150 SOS 7618832 HAS SOPS 6348355 HAS SOUS 2568350 HAS SOUPS 2471411 WITH SCORE 2479029.832
AT ITER 884 NEW BEST:: SOT 12051700 SOS 7620060 HAS SOPS 6350024 HAS SOUS 2562839 HAS SOUPS 2466030 WITH SCORE 2473650.06
AT ITER 886 NEW BEST:: SOT 12051676 SOS 7620036 HAS SOPS 6350000 HAS SOUS 2562791 HAS SOUPS 2465982 WITH SCORE 2473602.036
AT ITER 906 NEW BEST:: SOT 12042021 SOS 7610333 HAS SOPS 6340308 HAS SOUS 2548284 HAS SOUPS 2451486 WITH SCORE 2459096.333
AT ITER 919 NEW BEST:: SOT 12041881 SOS 7610073 HAS SOPS 6340228 HAS SOUS 2547994 HAS SOUPS 2451206 WITH SCORE 2458816.073
AT ITER 951 NEW BEST:: SOT 12042645 SOS 7612029 HAS SOPS 6344564 HAS SOUS 2547413 HAS SOUPS 2450625 WITH SCORE 2458237.029
AT ITER 952 NEW BEST:: SOT 12037062 SOS 7606339 HAS SOPS 6338124 HAS SOUS 2540791 HAS SOUPS 2443868 WITH SCORE 2451474.339
AT ITER 969 NEW BEST:: SOT 12037238 SOS 7606493 HAS SOPS 6338210 HAS SOUS 2540095 HAS SOUPS 2443172 WITH SCORE 2450778.493
AT ITER 984 NEW BEST:: SOT 12032478 SOS 7592745 HAS SOPS 6324515 HAS SOUS 2530053 HAS SOUPS 2433130 WITH SCORE 2440722.745
AT ITER 1046 NEW BEST:: SOT 12032757 SOS 7593683 HAS SOPS 6324438 HAS SOUS 2529904 HAS SOUPS 2432981 WITH SCORE 2440574.683
AT ITER 1047 NEW BEST:: SOT 12030494 SOS 7591069 HAS SOPS 6320383 HAS SOUS 2523331 HAS SOUPS 2426532 WITH SCORE 2434123.069
AT ITER 1055 NEW BEST:: SOT 12030534 SOS 7591109 HAS SOPS 6320423 HAS SOUS 2523299 HAS SOUPS 2426500 WITH SCORE 2434091.109
AT ITER 1059 NEW BEST:: SOT 12034371 SOS 7595476 HAS SOPS 6326435 HAS SOUS 2518679 HAS SOUPS 2423832 WITH SCORE 2431427.476
AT ITER 1060 NEW BEST:: SOT 12034339 SOS 7595143 HAS SOPS 6326413 HAS SOUS 2518593 HAS SOUPS 2423746 WITH SCORE 2431341.143
AT ITER 1065 NEW BEST:: SOT 12033756 SOS 7592971 HAS SOPS 6324806 HAS SOUS 2514209 HAS SOUPS 2419362 WITH SCORE 2426954.971
AT ITER 1079 NEW BEST:: SOT 12007325 SOS 7569067 HAS SOPS 6296977 HAS SOUS 2462970 HAS SOUPS 2368094 WITH SCORE 2375663.067
AT ITER 1084 NEW BEST:: SOT 12002965 SOS 7564707 HAS SOPS 6293209 HAS SOUS 2460606 HAS SOUPS 2366122 WITH SCORE 2373686.707
AT ITER 1085 NEW BEST:: SOT 12003222 SOS 7569701 HAS SOPS 6299101 HAS SOUS 2457764 HAS SOUPS 2363355 WITH SCORE 2370924.701
AT ITER 1123 NEW BEST:: SOT 12002905 SOS 7568605 HAS SOPS 6297486 HAS SOUS 2456795 HAS SOUPS 2362386 WITH SCORE 2369954.605
AT ITER 1136 NEW BEST:: SOT 12002030 SOS 7567783 HAS SOPS 6297582 HAS SOUS 2455936 HAS SOUPS 2361730 WITH SCORE 2369297.783
AT ITER 1147 NEW BEST:: SOT 11998211 SOS 7561910 HAS SOPS 6291595 HAS SOUS 2446587 HAS SOUPS 2352426 WITH SCORE 2359987.91
AT ITER 1150 NEW BEST:: SOT 11994898 SOS 7557026 HAS SOPS 6286796 HAS SOUS 2439505 HAS SOUPS 2345398 WITH SCORE 2352955.026
AT ITER 1151 NEW BEST:: SOT 11993844 SOS 7557127 HAS SOPS 6288174 HAS SOUS 2433615 HAS SOUPS 2339667 WITH SCORE 2347224.127
AT ITER 1156 NEW BEST:: SOT 11993504 SOS 7556737 HAS SOPS 6288164 HAS SOUS 2433110 HAS SOUPS 2339162 WITH SCORE 2346718.737
AT ITER 1166 NEW BEST:: SOT 11999589 SOS 7567293 HAS SOPS 6306940 HAS SOUS 2425427 HAS SOUPS 2331756 WITH SCORE 2339323.293
AT ITER 1169 NEW BEST:: SOT 12000153 SOS 7569380 HAS SOPS 6307739 HAS SOUS 2423591 HAS SOUPS 2329920 WITH SCORE 2337489.38
AT ITER 1174 NEW BEST:: SOT 11999356 SOS 7568968 HAS SOPS 6306187 HAS SOUS 2420776 HAS SOUPS 2327105 WITH SCORE 2334673.968
AT ITER 1183 NEW BEST:: SOT 11999649 SOS 7570293 HAS SOPS 6307111 HAS SOUS 2419893 HAS SOUPS 2326222 WITH SCORE 2333792.293
AT ITER 1186 NEW BEST:: SOT 12000634 SOS 7572247 HAS SOPS 6312794 HAS SOUS 2417589 HAS SOUPS 2323929 WITH SCORE 2331501.247
AT ITER 1189 NEW BEST:: SOT 12001516 SOS 7574642 HAS SOPS 6315645 HAS SOUS 2417466 HAS SOUPS 2323833 WITH SCORE 2331407.642
AT ITER 1213 NEW BEST:: SOT 12009486 SOS 7585529 HAS SOPS 6326754 HAS SOUS 2413592 HAS SOUPS 2320183 WITH SCORE 2327768.529
AT ITER 1214 NEW BEST:: SOT 12008716 SOS 7584184 HAS SOPS 6324562 HAS SOUS 2411064 HAS SOUPS 2317655 WITH SCORE 2325239.184
AT ITER 1221 NEW BEST:: SOT 12004765 SOS 7578440 HAS SOPS 6311562 HAS SOUS 2399467 HAS SOUPS 2306058 WITH SCORE 2313636.44
AT ITER 1231 NEW BEST:: SOT 11998623 SOS 7565325 HAS SOPS 6299961 HAS SOUS 2388479 HAS SOUPS 2295070 WITH SCORE 2302635.325
AT ITER 1232 NEW BEST:: SOT 11998864 SOS 7565810 HAS SOPS 6300983 HAS SOUS 2388276 HAS SOUPS 2294899 WITH SCORE 2302464.81
AT ITER 1246 NEW BEST:: SOT 11998671 SOS 7565617 HAS SOPS 6300534 HAS SOUS 2386971 HAS SOUPS 2293594 WITH SCORE 2301159.617
AT ITER 1249 NEW BEST:: SOT 11993050 SOS 7559560 HAS SOPS 6292636 HAS SOUS 2380532 HAS SOUPS 2287097 WITH SCORE 2294656.56
AT ITER 1251 NEW BEST:: SOT 11991328 SOS 7558260 HAS SOPS 6291515 HAS SOUS 2378231 HAS SOUPS 2284737 WITH SCORE 2292295.26
AT ITER 1263 NEW BEST:: SOT 11991658 SOS 7558868 HAS SOPS 6292607 HAS SOUS 2377763 HAS SOUPS 2284440 WITH SCORE 2291998.868
AT ITER 1277 NEW BEST:: SOT 11984530 SOS 7551740 HAS SOPS 6284695 HAS SOUS 2368911 HAS SOUPS 2275588 WITH SCORE 2283139.74
AT ITER 1278 NEW BEST:: SOT 11984587 SOS 7552031 HAS SOPS 6284865 HAS SOUS 2368888 HAS SOUPS 2275565 WITH SCORE 2283117.031
AT ITER 1283 NEW BEST:: SOT 11988514 SOS 7560039 HAS SOPS 6298228 HAS SOUS 2362106 HAS SOUPS 2268982 WITH SCORE 2276542.039
AT ITER 1290 NEW BEST:: SOT 11985626 SOS 7554955 HAS SOPS 6294005 HAS SOUS 2359841 HAS SOUPS 2266752 WITH SCORE 2274306.955
AT ITER 1293 NEW BEST:: SOT 11987909 SOS 7557380 HAS SOPS 6296857 HAS SOUS 2359506 HAS SOUPS 2266417 WITH SCORE 2273974.38
AT ITER 1310 NEW BEST:: SOT 11988363 SOS 7562108 HAS SOPS 6303929 HAS SOUS 2354010 HAS SOUPS 2260921 WITH SCORE 2268483.108
AT ITER 1326 NEW BEST:: SOT 11981338 SOS 7554784 HAS SOPS 6295786 HAS SOUS 2351302 HAS SOUPS 2258305 WITH SCORE 2265859.784
AT ITER 1331 NEW BEST:: SOT 12000260 SOS 7578863 HAS SOPS 6313841 HAS SOUS 2350012 HAS SOUPS 2256834 WITH SCORE 2264412.863
AT ITER 1332 NEW BEST:: SOT 11998901 SOS 7577570 HAS SOPS 6312075 HAS SOUS 2346872 HAS SOUPS 2253698 WITH SCORE 2261275.57
AT ITER 1335 NEW BEST:: SOT 11996240 SOS 7574847 HAS SOPS 6309331 HAS SOUS 2345862 HAS SOUPS 2252693 WITH SCORE 2260267.847
AT ITER 1342 NEW BEST:: SOT 11995860 SOS 7575431 HAS SOPS 6313029 HAS SOUS 2344726 HAS SOUPS 2251557 WITH SCORE 2259132.431
AT ITER 1343 NEW BEST:: SOT 11995837 SOS 7575463 HAS SOPS 6313111 HAS SOUS 2344655 HAS SOUPS 2251491 WITH SCORE 2259066.463
AT ITER 1350 NEW BEST:: SOT 11996017 SOS 7572759 HAS SOPS 6310409 HAS SOUS 2343951 HAS SOUPS 2250787 WITH SCORE 2258359.759
AT ITER 1364 NEW BEST:: SOT 11994734 SOS 7572722 HAS SOPS 6309075 HAS SOUS 2340628 HAS SOUPS 2247464 WITH SCORE 2255036.722
AT ITER 1371 NEW BEST:: SOT 11991370 SOS 7569897 HAS SOPS 6302775 HAS SOUS 2334888 HAS SOUPS 2241724 WITH SCORE 2249293.897
AT ITER 1379 NEW BEST:: SOT 11991385 SOS 7569794 HAS SOPS 6302470 HAS SOUS 2334717 HAS SOUPS 2241553 WITH SCORE 2249122.794
AT ITER 1392 NEW BEST:: SOT 11990327 SOS 7568242 HAS SOPS 6300775 HAS SOUS 2333542 HAS SOUPS 2240378 WITH SCORE 2247946.242
AT ITER 1398 NEW BEST:: SOT 11987344 SOS 7557655 HAS SOPS 6292860 HAS SOUS 2329985 HAS SOUPS 2236902 WITH SCORE 2244459.655
AT ITER 1400 NEW BEST:: SOT 11991842 SOS 7565527 HAS SOPS 6296422 HAS SOUS 2327897 HAS SOUPS 2234814 WITH SCORE 2242379.527
AT ITER 1407 NEW BEST:: SOT 11992682 SOS 7570682 HAS SOPS 6304938 HAS SOUS 2323632 HAS SOUPS 2230549 WITH SCORE 2238119.682
AT ITER 1410 NEW BEST:: SOT 11992457 SOS 7570287 HAS SOPS 6304086 HAS SOUS 2323438 HAS SOUPS 2230339 WITH SCORE 2237909.287
AT ITER 1417 NEW BEST:: SOT 11992973 SOS 7571190 HAS SOPS 6304591 HAS SOUS 2323193 HAS SOUPS 2230116 WITH SCORE 2237687.19
AT ITER 1433 NEW BEST:: SOT 11991228 SOS 7569192 HAS SOPS 6302465 HAS SOUS 2319766 HAS SOUPS 2226704 WITH SCORE 2234273.192
AT ITER 1442 NEW BEST:: SOT 11979965 SOS 7526763 HAS SOPS 6273342 HAS SOUS 2319355 HAS SOUPS 2226293 WITH SCORE 2233819.763
AT ITER 1443 NEW BEST:: SOT 11980085 SOS 7526883 HAS SOPS 6273462 HAS SOUS 2319275 HAS SOUPS 2226213 WITH SCORE 2233739.883
AT ITER 1460 NEW BEST:: SOT 11979973 SOS 7526889 HAS SOPS 6273336 HAS SOUS 2319054 HAS SOUPS 2225986 WITH SCORE 2233512.889
AT ITER 1476 NEW BEST:: SOT 11979860 SOS 7526930 HAS SOPS 6273278 HAS SOUS 2318655 HAS SOUPS 2225587 WITH SCORE 2233113.93
AT ITER 1481 NEW BEST:: SOT 11980540 SOS 7531262 HAS SOPS 6278190 HAS SOUS 2317253 HAS SOUPS 2224185 WITH SCORE 2231716.262
AT ITER 1487 NEW BEST:: SOT 11980529 SOS 7531260 HAS SOPS 6278146 HAS SOUS 2317176 HAS SOUPS 2224108 WITH SCORE 2231639.26
AT ITER 1490 NEW BEST:: SOT 11980468 SOS 7531216 HAS SOPS 6278084 HAS SOUS 2317012 HAS SOUPS 2223943 WITH SCORE 2231474.216
AT ITER 1504 NEW BEST:: SOT 11980144 SOS 7530892 HAS SOPS 6277616 HAS SOUS 2316004 HAS SOUPS 2222935 WITH SCORE 2230465.892
AT ITER 1524 NEW BEST:: SOT 11978770 SOS 7529015 HAS SOPS 6275126 HAS SOUS 2315063 HAS SOUPS 2221994 WITH SCORE 2229523.015
AT ITER 1526 NEW BEST:: SOT 11978155 SOS 7528486 HAS SOPS 6273968 HAS SOUS 2313374 HAS SOUPS 2220305 WITH SCORE 2227833.486
AT ITER 1537 NEW BEST:: SOT 11976386 SOS 7526970 HAS SOPS 6271324 HAS SOUS 2311821 HAS SOUPS 2217437 WITH SCORE 2224963.97
AT ITER 1543 NEW BEST:: SOT 11974432 SOS 7522915 HAS SOPS 6267649 HAS SOUS 2311416 HAS SOUPS 2217032 WITH SCORE 2224554.915
AT ITER 1548 NEW BEST:: SOT 11972446 SOS 7520894 HAS SOPS 6265618 HAS SOUS 2310642 HAS SOUPS 2216248 WITH SCORE 2223768.894
AT ITER 1552 NEW BEST:: SOT 11971560 SOS 7520008 HAS SOPS 6264732 HAS SOUS 2309756 HAS SOUPS 2215362 WITH SCORE 2222882.008
AT ITER 1573 NEW BEST:: SOT 11961540 SOS 7507778 HAS SOPS 6254563 HAS SOUS 2297300 HAS SOUPS 2203045 WITH SCORE 2210552.778
AT ITER 1581 NEW BEST:: SOT 11961415 SOS 7509541 HAS SOPS 6258452 HAS SOUS 2297215 HAS SOUPS 2202960 WITH SCORE 2210469.541
AT ITER 1584 NEW BEST:: SOT 11962408 SOS 7510006 HAS SOPS 6259687 HAS SOUS 2295807 HAS SOUPS 2202403 WITH SCORE 2209913.006
AT ITER 1593 NEW BEST:: SOT 11961458 SOS 7505027 HAS SOPS 6254544 HAS SOUS 2295030 HAS SOUPS 2201626 WITH SCORE 2209131.027
AT ITER 1596 NEW BEST:: SOT 11961138 SOS 7501814 HAS SOPS 6249524 HAS SOUS 2291974 HAS SOUPS 2198570 WITH SCORE 2206071.814
AT ITER 1601 NEW BEST:: SOT 11954422 SOS 7494690 HAS SOPS 6243753 HAS SOUS 2285829 HAS SOUPS 2192425 WITH SCORE 2199919.69
AT ITER 1622 NEW BEST:: SOT 11955589 SOS 7498957 HAS SOPS 6243807 HAS SOUS 2282865 HAS SOUPS 2189461 WITH SCORE 2196959.957
AT ITER 1628 NEW BEST:: SOT 11955463 SOS 7500334 HAS SOPS 6245031 HAS SOUS 2273497 HAS SOUPS 2180093 WITH SCORE 2187593.334
AT ITER 1634 NEW BEST:: SOT 11956134 SOS 7503400 HAS SOPS 6246570 HAS SOUS 2272956 HAS SOUPS 2179515 WITH SCORE 2187018.4
AT ITER 1696 NEW BEST:: SOT 11956091 SOS 7502719 HAS SOPS 6245314 HAS SOUS 2272144 HAS SOUPS 2178703 WITH SCORE 2186205.719
AT ITER 1697 NEW BEST:: SOT 11955991 SOS 7502536 HAS SOPS 6245146 HAS SOUS 2270549 HAS SOUPS 2177131 WITH SCORE 2184633.536
AT ITER 1720 NEW BEST:: SOT 11955877 SOS 7502422 HAS SOPS 6245032 HAS SOUS 2270219 HAS SOUPS 2176801 WITH SCORE 2184303.422
AT ITER 1732 NEW BEST:: SOT 11945804 SOS 7490014 HAS SOPS 6233164 HAS SOUS 2248809 HAS SOUPS 2155637 WITH SCORE 2163127.014
AT ITER 1743 NEW BEST:: SOT 11945853 SOS 7490513 HAS SOPS 6234173 HAS SOUS 2245882 HAS SOUPS 2152844 WITH SCORE 2160334.513
AT ITER 1746 NEW BEST:: SOT 11947660 SOS 7497424 HAS SOPS 6239446 HAS SOUS 2245280 HAS SOUPS 2152277 WITH SCORE 2159774.424
AT ITER 1762 NEW BEST:: SOT 11947551 SOS 7499142 HAS SOPS 6240876 HAS SOUS 2244754 HAS SOUPS 2151751 WITH SCORE 2159250.142
AT ITER 1763 NEW BEST:: SOT 11946879 SOS 7498470 HAS SOPS 6240012 HAS SOUS 2243666 HAS SOUPS 2150583 WITH SCORE 2158081.47
AT ITER 1764 NEW BEST:: SOT 11943586 SOS 7495310 HAS SOPS 6236950 HAS SOUS 2235467 HAS SOUPS 2142426 WITH SCORE 2149921.31
AT ITER 1765 NEW BEST:: SOT 11942013 SOS 7489935 HAS SOPS 6233203 HAS SOUS 2232224 HAS SOUPS 2139183 WITH SCORE 2146672.935
AT ITER 1767 NEW BEST:: SOT 11941801 SOS 7489723 HAS SOPS 6232927 HAS SOUS 2231756 HAS SOUPS 2138715 WITH SCORE 2146204.723
AT ITER 1768 NEW BEST:: SOT 11941961 SOS 7489883 HAS SOPS 6232671 HAS SOUS 2229364 HAS SOUPS 2136323 WITH SCORE 2143812.883
AT ITER 1775 NEW BEST:: SOT 11947574 SOS 7500027 HAS SOPS 6244296 HAS SOUS 2227424 HAS SOUPS 2135163 WITH SCORE 2142663.027
AT ITER 1778 NEW BEST:: SOT 11947947 SOS 7500773 HAS SOPS 6245218 HAS SOUS 2227214 HAS SOUPS 2134953 WITH SCORE 2142453.773
AT ITER 1783 NEW BEST:: SOT 11947892 SOS 7500660 HAS SOPS 6244862 HAS SOUS 2227128 HAS SOUPS 2134867 WITH SCORE 2142367.66
AT ITER 1788 NEW BEST:: SOT 11947449 SOS 7498511 HAS SOPS 6242789 HAS SOUS 2226144 HAS SOUPS 2133883 WITH SCORE 2141381.511
AT ITER 1818 NEW BEST:: SOT 11946431 SOS 7497534 HAS SOPS 6241787 HAS SOUS 2224274 HAS SOUPS 2131988 WITH SCORE 2139485.534
AT ITER 1819 NEW BEST:: SOT 11938179 SOS 7480852 HAS SOPS 6230322 HAS SOUS 2212881 HAS SOUPS 2120979 WITH SCORE 2128459.852
AT ITER 1845 NEW BEST:: SOT 11937504 SOS 7480498 HAS SOPS 6228801 HAS SOUS 2212795 HAS SOUPS 2120893 WITH SCORE 2128373.498
AT ITER 1859 NEW BEST:: SOT 11928608 SOS 7467199 HAS SOPS 6215536 HAS SOUS 2198866 HAS SOUPS 2107031 WITH SCORE 2114498.199
AT ITER 1861 NEW BEST:: SOT 11927629 SOS 7464142 HAS SOPS 6208722 HAS SOUS 2191443 HAS SOUPS 2099608 WITH SCORE 2107072.142
AT ITER 1864 NEW BEST:: SOT 11926457 SOS 7465062 HAS SOPS 6207828 HAS SOUS 2189566 HAS SOUPS 2096928 WITH SCORE 2104393.062
AT ITER 1867 NEW BEST:: SOT 11926283 SOS 7464888 HAS SOPS 6207654 HAS SOUS 2189436 HAS SOUPS 2096798 WITH SCORE 2104262.888
AT ITER 1873 NEW BEST:: SOT 11926117 SOS 7465154 HAS SOPS 6207762 HAS SOUS 2180650 HAS SOUPS 2088090 WITH SCORE 2095555.154
AT ITER 1878 NEW BEST:: SOT 11923793 SOS 7460581 HAS SOPS 6204151 HAS SOUS 2177631 HAS SOUPS 2085101 WITH SCORE 2092561.581
AT ITER 1898 NEW BEST:: SOT 11918784 SOS 7455572 HAS SOPS 6196886 HAS SOUS 2166598 HAS SOUPS 2074068 WITH SCORE 2081523.572
AT ITER 1911 NEW BEST:: SOT 11917024 SOS 7453583 HAS SOPS 6194372 HAS SOUS 2165936 HAS SOUPS 2073289 WITH SCORE 2080742.583
AT ITER 1913 NEW BEST:: SOT 11910632 SOS 7447219 HAS SOPS 6188904 HAS SOUS 2161668 HAS SOUPS 2069041 WITH SCORE 2076488.219
AT ITER 1928 NEW BEST:: SOT 11910342 SOS 7446451 HAS SOPS 6187524 HAS SOUS 2160306 HAS SOUPS 2067679 WITH SCORE 2075125.451
AT ITER 1938 NEW BEST:: SOT 11912388 SOS 7447872 HAS SOPS 6191528 HAS SOUS 2160268 HAS SOUPS 2067641 WITH SCORE 2075088.872
AT ITER 1946 NEW BEST:: SOT 11912983 SOS 7451445 HAS SOPS 6196024 HAS SOUS 2159886 HAS SOUPS 2067291 WITH SCORE 2074742.445
AT ITER 1955 NEW BEST:: SOT 11912407 SOS 7452267 HAS SOPS 6195974 HAS SOUS 2158886 HAS SOUPS 2066291 WITH SCORE 2073743.267
AT ITER 1972 NEW BEST:: SOT 11911225 SOS 7448427 HAS SOPS 6192495 HAS SOUS 2155372 HAS SOUPS 2062777 WITH SCORE 2070225.427
AT ITER 1996 NEW BEST:: SOT 11911043 SOS 7442017 HAS SOPS 6189032 HAS SOUS 2154980 HAS SOUPS 2062385 WITH SCORE 2069827.017
AT ITER 2005 NEW BEST:: SOT 11910883 SOS 7441914 HAS SOPS 6188962 HAS SOUS 2154581 HAS SOUPS 2061986 WITH SCORE 2069427.914
AT ITER 2012 NEW BEST:: SOT 11910135 SOS 7440946 HAS SOPS 6187928 HAS SOUS 2152322 HAS SOUPS 2059727 WITH SCORE 2067167.946
AT ITER 2034 NEW BEST:: SOT 11907785 SOS 7438113 HAS SOPS 6185193 HAS SOUS 2151633 HAS SOUPS 2059080 WITH SCORE 2066518.113
AT ITER 2043 NEW BEST:: SOT 11906750 SOS 7434798 HAS SOPS 6182894 HAS SOUS 2150218 HAS SOUPS 2057693 WITH SCORE 2065127.798
AT ITER 2047 NEW BEST:: SOT 11907723 SOS 7439339 HAS SOPS 6185886 HAS SOUS 2149893 HAS SOUPS 2057319 WITH SCORE 2064758.339
AT ITER 2081 NEW BEST:: SOT 11910473 SOS 7444808 HAS SOPS 6188117 HAS SOUS 2149135 HAS SOUPS 2056561 WITH SCORE 2064005.808
AT ITER 2098 NEW BEST:: SOT 11909999 SOS 7443146 HAS SOPS 6184613 HAS SOUS 2147417 HAS SOUPS 2054843 WITH SCORE 2062286.146
AT ITER 2125 NEW BEST:: SOT 11908218 SOS 7436795 HAS SOPS 6180443 HAS SOUS 2145065 HAS SOUPS 2052529 WITH SCORE 2059965.795
AT ITER 2126 NEW BEST:: SOT 11908452 SOS 7437298 HAS SOPS 6180862 HAS SOUS 2143377 HAS SOUPS 2050933 WITH SCORE 2058370.298
AT ITER 2132 NEW BEST:: SOT 11903904 SOS 7421877 HAS SOPS 6172709 HAS SOUS 2141731 HAS SOUPS 2050398 WITH SCORE 2057819.877
AT ITER 2166 NEW BEST:: SOT 11903550 SOS 7421320 HAS SOPS 6172051 HAS SOUS 2140425 HAS SOUPS 2049092 WITH SCORE 2056513.32
AT ITER 2167 NEW BEST:: SOT 11892126 SOS 7404912 HAS SOPS 6156191 HAS SOUS 2120571 HAS SOUPS 2029368 WITH SCORE 2036772.912
AT ITER 2177 NEW BEST:: SOT 11892243 SOS 7405491 HAS SOPS 6156514 HAS SOUS 2120491 HAS SOUPS 2029288 WITH SCORE 2036693.491
AT ITER 2188 NEW BEST:: SOT 11894272 SOS 7413414 HAS SOPS 6166388 HAS SOUS 2120473 HAS SOUPS 2029270 WITH SCORE 2036683.414
AT ITER 2200 NEW BEST:: SOT 11894136 SOS 7414309 HAS SOPS 6167420 HAS SOUS 2120400 HAS SOUPS 2029197 WITH SCORE 2036611.309
AT ITER 2201 NEW BEST:: SOT 11894091 SOS 7414268 HAS SOPS 6167379 HAS SOUS 2120364 HAS SOUPS 2029161 WITH SCORE 2036575.268
AT ITER 2208 NEW BEST:: SOT 11888241 SOS 7406665 HAS SOPS 6159445 HAS SOUS 2114218 HAS SOUPS 2023175 WITH SCORE 2030581.665
AT ITER 2233 NEW BEST:: SOT 11884776 SOS 7402464 HAS SOPS 6153647 HAS SOUS 2112445 HAS SOUPS 2021329 WITH SCORE 2028731.464
AT ITER 2256 NEW BEST:: SOT 11893430 SOS 7419084 HAS SOPS 6167815 HAS SOUS 2109892 HAS SOUPS 2018902 WITH SCORE 2026321.084
AT ITER 2258 NEW BEST:: SOT 11890588 SOS 7415814 HAS SOPS 6161694 HAS SOUS 2103734 HAS SOUPS 2012646 WITH SCORE 2020061.814
AT ITER 2268 NEW BEST:: SOT 11890153 SOS 7415062 HAS SOPS 6159865 HAS SOUS 2102176 HAS SOUPS 2011088 WITH SCORE 2018503.062
AT ITER 2269 NEW BEST:: SOT 11889984 SOS 7414749 HAS SOPS 6159528 HAS SOUS 2102019 HAS SOUPS 2010931 WITH SCORE 2018345.749
AT ITER 2271 NEW BEST:: SOT 11891546 SOS 7415255 HAS SOPS 6158167 HAS SOUS 2100336 HAS SOUPS 2009248 WITH SCORE 2016663.255
AT ITER 2278 NEW BEST:: SOT 11891532 SOS 7415728 HAS SOPS 6159371 HAS SOUS 2100143 HAS SOUPS 2009055 WITH SCORE 2016470.728
AT ITER 2287 NEW BEST:: SOT 11890882 SOS 7415008 HAS SOPS 6158321 HAS SOUS 2099483 HAS SOUPS 2008405 WITH SCORE 2015820.008
AT ITER 2299 NEW BEST:: SOT 11890688 SOS 7414747 HAS SOPS 6157726 HAS SOUS 2099086 HAS SOUPS 2008008 WITH SCORE 2015422.747
AT ITER 2301 NEW BEST:: SOT 11889611 SOS 7413670 HAS SOPS 6156649 HAS SOUS 2097945 HAS SOUPS 2006867 WITH SCORE 2014280.67
AT ITER 2309 NEW BEST:: SOT 11889398 SOS 7413399 HAS SOPS 6156335 HAS SOUS 2097470 HAS SOUPS 2006392 WITH SCORE 2013805.399
AT ITER 2311 NEW BEST:: SOT 11886391 SOS 7410181 HAS SOPS 6152318 HAS SOUS 2093030 HAS SOUPS 2001961 WITH SCORE 2009371.181
AT ITER 2313 NEW BEST:: SOT 11885855 SOS 7409651 HAS SOPS 6151782 HAS SOUS 2092500 HAS SOUPS 2001425 WITH SCORE 2008834.651
AT ITER 2327 NEW BEST:: SOT 11885783 SOS 7409812 HAS SOPS 6151599 HAS SOUS 2091919 HAS SOUPS 2000844 WITH SCORE 2008253.812
AT ITER 2346 NEW BEST:: SOT 11884858 SOS 7408566 HAS SOPS 6150394 HAS SOUS 2090539 HAS SOUPS 1999464 WITH SCORE 2006872.566
AT ITER 2367 NEW BEST:: SOT 11881979 SOS 7406916 HAS SOPS 6148945 HAS SOUS 2081695 HAS SOUPS 1990620 WITH SCORE 1998026.916
AT ITER 2371 NEW BEST:: SOT 11881261 SOS 7401497 HAS SOPS 6143486 HAS SOUS 2077311 HAS SOUPS 1986236 WITH SCORE 1993637.497
AT ITER 2379 NEW BEST:: SOT 11881252 SOS 7401551 HAS SOPS 6143564 HAS SOUS 2077290 HAS SOUPS 1986215 WITH SCORE 1993616.551
AT ITER 2396 NEW BEST:: SOT 11881863 SOS 7404443 HAS SOPS 6148997 HAS SOUS 2074926 HAS SOUPS 1983851 WITH SCORE 1991255.443
AT ITER 2400 NEW BEST:: SOT 11880740 SOS 7403573 HAS SOPS 6148347 HAS SOUS 2072238 HAS SOUPS 1981163 WITH SCORE 1988566.573
AT ITER 2401 NEW BEST:: SOT 11880571 SOS 7403175 HAS SOPS 6148033 HAS SOUS 2071083 HAS SOUPS 1980028 WITH SCORE 1987431.175
AT ITER 2402 NEW BEST:: SOT 11880494 SOS 7403090 HAS SOPS 6147956 HAS SOUS 2070859 HAS SOUPS 1979808 WITH SCORE 1987211.09
AT ITER 2408 NEW BEST:: SOT 11881671 SOS 7404875 HAS SOPS 6150537 HAS SOUS 2070689 HAS SOUPS 1979638 WITH SCORE 1987042.875
AT ITER 2421 NEW BEST:: SOT 11879898 SOS 7403240 HAS SOPS 6148122 HAS SOUS 2063574 HAS SOUPS 1972523 WITH SCORE 1979926.24
AT ITER 2453 NEW BEST:: SOT 11880744 SOS 7405052 HAS SOPS 6150319 HAS SOUS 2062877 HAS SOUPS 1971826 WITH SCORE 1979231.052
AT ITER 2454 NEW BEST:: SOT 11880874 SOS 7405065 HAS SOPS 6150137 HAS SOUS 2062669 HAS SOUPS 1971631 WITH SCORE 1979036.065
AT ITER 2456 NEW BEST:: SOT 11880622 SOS 7404889 HAS SOPS 6149660 HAS SOUS 2062008 HAS SOUPS 1970970 WITH SCORE 1978374.889
AT ITER 2479 NEW BEST:: SOT 11877778 SOS 7395996 HAS SOPS 6141623 HAS SOUS 2058131 HAS SOUPS 1967099 WITH SCORE 1974494.996
AT ITER 2487 NEW BEST:: SOT 11876780 SOS 7395689 HAS SOPS 6141544 HAS SOUS 2056351 HAS SOUPS 1965319 WITH SCORE 1972714.689
AT ITER 2508 NEW BEST:: SOT 11876310 SOS 7395472 HAS SOPS 6140867 HAS SOUS 2055359 HAS SOUPS 1964304 WITH SCORE 1971699.472
AT ITER 2513 NEW BEST:: SOT 11876323 SOS 7402636 HAS SOPS 6149138 HAS SOUS 2052204 HAS SOUPS 1961143 WITH SCORE 1968545.636
AT ITER 2521 NEW BEST:: SOT 11876627 SOS 7401932 HAS SOPS 6148301 HAS SOUS 2051625 HAS SOUPS 1960603 WITH SCORE 1968004.932
AT ITER 2534 NEW BEST:: SOT 11876456 SOS 7401707 HAS SOPS 6148172 HAS SOUS 2051556 HAS SOUPS 1960534 WITH SCORE 1967935.707
AT ITER 2539 NEW BEST:: SOT 11876714 SOS 7402431 HAS SOPS 6148017 HAS SOUS 2050537 HAS SOUPS 1959515 WITH SCORE 1966917.431
AT ITER 2548 NEW BEST:: SOT 11877141 SOS 7403250 HAS SOPS 6148454 HAS SOUS 2049588 HAS SOUPS 1958642 WITH SCORE 1966045.25
AT ITER 2558 NEW BEST:: SOT 11877134 SOS 7404698 HAS SOPS 6150245 HAS SOUS 2048133 HAS SOUPS 1957103 WITH SCORE 1964507.698
AT ITER 2566 NEW BEST:: SOT 11877385 SOS 7405141 HAS SOPS 6151156 HAS SOUS 2047248 HAS SOUPS 1956218 WITH SCORE 1963623.141
AT ITER 2570 NEW BEST:: SOT 11877546 SOS 7403640 HAS SOPS 6149946 HAS SOUS 2046933 HAS SOUPS 1955903 WITH SCORE 1963306.64
AT ITER 2581 NEW BEST:: SOT 11874711 SOS 7398231 HAS SOPS 6144460 HAS SOUS 2042462 HAS SOUPS 1951440 WITH SCORE 1958838.231
AT ITER 2627 NEW BEST:: SOT 11873317 SOS 7395476 HAS SOPS 6141646 HAS SOUS 2041073 HAS SOUPS 1950051 WITH SCORE 1957446.476
AT ITER 2653 NEW BEST:: SOT 11883811 SOS 7391322 HAS SOPS 6143414 HAS SOUS 2037761 HAS SOUPS 1947024 WITH SCORE 1954415.322
AT ITER 2662 NEW BEST:: SOT 11886300 SOS 7389313 HAS SOPS 6142151 HAS SOUS 2036765 HAS SOUPS 1946268 WITH SCORE 1953657.313
AT ITER 2664 NEW BEST:: SOT 11886262 SOS 7389353 HAS SOPS 6142142 HAS SOUS 2036644 HAS SOUPS 1946147 WITH SCORE 1953536.353
AT ITER 2690 NEW BEST:: SOT 11886251 SOS 7389314 HAS SOPS 6142081 HAS SOUS 2036577 HAS SOUPS 1946080 WITH SCORE 1953469.314
AT ITER 2703 NEW BEST:: SOT 11884576 SOS 7387639 HAS SOPS 6140038 HAS SOUS 2035946 HAS SOUPS 1945449 WITH SCORE 1952836.639
AT ITER 2709 NEW BEST:: SOT 11877854 SOS 7376436 HAS SOPS 6132277 HAS SOUS 2032602 HAS SOUPS 1942210 WITH SCORE 1949586.436
AT ITER 2733 NEW BEST:: SOT 11877859 SOS 7376813 HAS SOPS 6132479 HAS SOUS 2032461 HAS SOUPS 1942069 WITH SCORE 1949445.813
AT ITER 2738 NEW BEST:: SOT 11877571 SOS 7376145 HAS SOPS 6131916 HAS SOUS 2032028 HAS SOUPS 1941636 WITH SCORE 1949012.145
AT ITER 2743 NEW BEST:: SOT 11877573 SOS 7376057 HAS SOPS 6131857 HAS SOUS 2032028 HAS SOUPS 1941636 WITH SCORE 1949012.057
AT ITER 2744 NEW BEST:: SOT 11876826 SOS 7371642 HAS SOPS 6128848 HAS SOUS 2030723 HAS SOUPS 1940380 WITH SCORE 1947751.642
AT ITER 2750 NEW BEST:: SOT 11873319 SOS 7366870 HAS SOPS 6123536 HAS SOUS 2023867 HAS SOUPS 1933619 WITH SCORE 1940985.87
AT ITER 2753 NEW BEST:: SOT 11869954 SOS 7358528 HAS SOPS 6118146 HAS SOUS 2020866 HAS SOUPS 1931327 WITH SCORE 1938685.528
AT ITER 2754 NEW BEST:: SOT 11868606 SOS 7349200 HAS SOPS 6113535 HAS SOUS 2016679 HAS SOUPS 1927140 WITH SCORE 1934489.2
AT ITER 2787 NEW BEST:: SOT 11868583 SOS 7349469 HAS SOPS 6113889 HAS SOUS 2016418 HAS SOUPS 1926964 WITH SCORE 1934313.469
AT ITER 2804 NEW BEST:: SOT 11868594 SOS 7349504 HAS SOPS 6113956 HAS SOUS 2016295 HAS SOUPS 1926873 WITH SCORE 1934222.504
AT ITER 2814 NEW BEST:: SOT 11868533 SOS 7348954 HAS SOPS 6113438 HAS SOUS 2016072 HAS SOUPS 1926650 WITH SCORE 1933998.954
AT ITER 2815 NEW BEST:: SOT 11868317 SOS 7348666 HAS SOPS 6113550 HAS SOUS 2014331 HAS SOUPS 1924909 WITH SCORE 1932257.666
AT ITER 2833 NEW BEST:: SOT 11868204 SOS 7347296 HAS SOPS 6112019 HAS SOUS 2013731 HAS SOUPS 1924309 WITH SCORE 1931656.296
AT ITER 2875 NEW BEST:: SOT 11869929 SOS 7351586 HAS SOPS 6121370 HAS SOUS 2011167 HAS SOUPS 1921745 WITH SCORE 1929096.586
AT ITER 2891 NEW BEST:: SOT 11867976 SOS 7349514 HAS SOPS 6118799 HAS SOUS 2009490 HAS SOUPS 1919513 WITH SCORE 1926862.514
AT ITER 2912 NEW BEST:: SOT 11868623 SOS 7333621 HAS SOPS 6102906 HAS SOUS 2008166 HAS SOUPS 1918189 WITH SCORE 1925522.621
AT ITER 2917 NEW BEST:: SOT 11870529 SOS 7339656 HAS SOPS 6107711 HAS SOUS 2007751 HAS SOUPS 1917774 WITH SCORE 1925113.656
AT ITER 2938 NEW BEST:: SOT 11863268 SOS 7328725 HAS SOPS 6098864 HAS SOUS 2003491 HAS SOUPS 1913611 WITH SCORE 1920939.725
AT ITER 2948 NEW BEST:: SOT 11862890 SOS 7327712 HAS SOPS 6098221 HAS SOUS 1999386 HAS SOUPS 1909543 WITH SCORE 1916870.712
AT ITER 2999 NEW BEST:: SOT 11862482 SOS 7330349 HAS SOPS 6101136 HAS SOUS 1988989 HAS SOUPS 1899146 WITH SCORE 1906476.349
AT ITER 3001 NEW BEST:: SOT 11858967 SOS 7318876 HAS SOPS 6092495 HAS SOUS 1987354 HAS SOUPS 1897804 WITH SCORE 1905122.876
AT ITER 3013 NEW BEST:: SOT 11858009 SOS 7317918 HAS SOPS 6091537 HAS SOUS 1986576 HAS SOUPS 1897042 WITH SCORE 1904359.918
AT ITER 3023 NEW BEST:: SOT 11860080 SOS 7322667 HAS SOPS 6094342 HAS SOUS 1983560 HAS SOUPS 1894026 WITH SCORE 1901348.667
AT ITER 3030 NEW BEST:: SOT 11860027 SOS 7322582 HAS SOPS 6094239 HAS SOUS 1983409 HAS SOUPS 1893875 WITH SCORE 1901197.582
AT ITER 3034 NEW BEST:: SOT 11860074 SOS 7324109 HAS SOPS 6096389 HAS SOUS 1982762 HAS SOUPS 1893217 WITH SCORE 1900541.109
AT ITER 3038 NEW BEST:: SOT 11858851 SOS 7322928 HAS SOPS 6095769 HAS SOUS 1976713 HAS SOUPS 1887485 WITH SCORE 1894807.928
AT ITER 3046 NEW BEST:: SOT 11858851 SOS 7322941 HAS SOPS 6095782 HAS SOUS 1976699 HAS SOUPS 1887471 WITH SCORE 1894793.941
AT ITER 3058 NEW BEST:: SOT 11858262 SOS 7322502 HAS SOPS 6095191 HAS SOUS 1976305 HAS SOUPS 1887077 WITH SCORE 1894399.502
AT ITER 3059 NEW BEST:: SOT 11859190 SOS 7321722 HAS SOPS 6094431 HAS SOUS 1974803 HAS SOUPS 1885575 WITH SCORE 1892896.722
AT ITER 3075 NEW BEST:: SOT 11857775 SOS 7320615 HAS SOPS 6086812 HAS SOUS 1971409 HAS SOUPS 1882181 WITH SCORE 1889501.615
AT ITER 3084 NEW BEST:: SOT 11856823 SOS 7317484 HAS SOPS 6085186 HAS SOUS 1970395 HAS SOUPS 1881535 WITH SCORE 1888852.484
AT ITER 3095 NEW BEST:: SOT 11856637 SOS 7317401 HAS SOPS 6084603 HAS SOUS 1968467 HAS SOUPS 1879607 WITH SCORE 1886924.401
AT ITER 3097 NEW BEST:: SOT 11854819 SOS 7315583 HAS SOPS 6082417 HAS SOUS 1964781 HAS SOUPS 1875921 WITH SCORE 1883236.583
AT ITER 3098 NEW BEST:: SOT 11860610 SOS 7329760 HAS SOPS 6098911 HAS SOUS 1959406 HAS SOUPS 1870729 WITH SCORE 1878058.76
AT ITER 3123 NEW BEST:: SOT 11859852 SOS 7326102 HAS SOPS 6096697 HAS SOUS 1950843 HAS SOUPS 1862237 WITH SCORE 1869563.102
AT ITER 3124 NEW BEST:: SOT 11862212 SOS 7329713 HAS SOPS 6098022 HAS SOUS 1950423 HAS SOUPS 1861545 WITH SCORE 1868874.713
AT ITER 3135 NEW BEST:: SOT 11861533 SOS 7328181 HAS SOPS 6095633 HAS SOUS 1949509 HAS SOUPS 1860631 WITH SCORE 1867959.181
AT ITER 3139 NEW BEST:: SOT 11860553 SOS 7327201 HAS SOPS 6094429 HAS SOUS 1948305 HAS SOUPS 1859427 WITH SCORE 1866754.201
AT ITER 3146 NEW BEST:: SOT 11860535 SOS 7327051 HAS SOPS 6093753 HAS SOUS 1948284 HAS SOUPS 1859406 WITH SCORE 1866733.051
AT ITER 3156 NEW BEST:: SOT 11860260 SOS 7324966 HAS SOPS 6091182 HAS SOUS 1947796 HAS SOUPS 1858918 WITH SCORE 1866242.966
AT ITER 3157 NEW BEST:: SOT 11860244 SOS 7324948 HAS SOPS 6091123 HAS SOUS 1947726 HAS SOUPS 1858848 WITH SCORE 1866172.948
AT ITER 3189 NEW BEST:: SOT 11858361 SOS 7322148 HAS SOPS 6087866 HAS SOUS 1943903 HAS SOUPS 1855114 WITH SCORE 1862436.148
AT ITER 3197 NEW BEST:: SOT 11858337 SOS 7321996 HAS SOPS 6087522 HAS SOUS 1943877 HAS SOUPS 1855088 WITH SCORE 1862409.996
AT ITER 3212 NEW BEST:: SOT 11858340 SOS 7321999 HAS SOPS 6087525 HAS SOUS 1943832 HAS SOUPS 1855043 WITH SCORE 1862364.999
AT ITER 3218 NEW BEST:: SOT 11856806 SOS 7319723 HAS SOPS 6085185 HAS SOUS 1941060 HAS SOUPS 1852277 WITH SCORE 1859596.723
AT ITER 3224 NEW BEST:: SOT 11856502 SOS 7319419 HAS SOPS 6084881 HAS SOUS 1940756 HAS SOUPS 1851973 WITH SCORE 1859292.419
AT ITER 3250 NEW BEST:: SOT 11856215 SOS 7315787 HAS SOPS 6080564 HAS SOUS 1939739 HAS SOUPS 1850956 WITH SCORE 1858271.787
AT ITER 3253 NEW BEST:: SOT 11857182 SOS 7317777 HAS SOPS 6084680 HAS SOUS 1938175 HAS SOUPS 1849474 WITH SCORE 1856791.777
AT ITER 3268 NEW BEST:: SOT 11857049 SOS 7317499 HAS SOPS 6084307 HAS SOUS 1937687 HAS SOUPS 1848986 WITH SCORE 1856303.499
AT ITER 3282 NEW BEST:: SOT 11857725 SOS 7318829 HAS SOPS 6086368 HAS SOUS 1936447 HAS SOUPS 1847823 WITH SCORE 1855141.829
AT ITER 3289 NEW BEST:: SOT 11856100 SOS 7317227 HAS SOPS 6085876 HAS SOUS 1931843 HAS SOUPS 1843166 WITH SCORE 1850483.227
AT ITER 3293 NEW BEST:: SOT 11853439 SOS 7313554 HAS SOPS 6082148 HAS SOUS 1928128 HAS SOUPS 1839451 WITH SCORE 1846764.554
AT ITER 3325 NEW BEST:: SOT 11852486 SOS 7310564 HAS SOPS 6079023 HAS SOUS 1926789 HAS SOUPS 1838112 WITH SCORE 1845422.564
AT ITER 3353 NEW BEST:: SOT 11852074 SOS 7310104 HAS SOPS 6078419 HAS SOUS 1925441 HAS SOUPS 1836764 WITH SCORE 1844074.104
AT ITER 3414 NEW BEST:: SOT 11850716 SOS 7307770 HAS SOPS 6077217 HAS SOUS 1925114 HAS SOUPS 1836456 WITH SCORE 1843763.77
AT ITER 3482 NEW BEST:: SOT 11858976 SOS 7320628 HAS SOPS 6091518 HAS SOUS 1924996 HAS SOUPS 1836266 WITH SCORE 1843586.628
AT ITER 3503 NEW BEST:: SOT 11858924 SOS 7320191 HAS SOPS 6091196 HAS SOUS 1924692 HAS SOUPS 1835962 WITH SCORE 1843282.191
AT ITER 3514 NEW BEST:: SOT 11858247 SOS 7319052 HAS SOPS 6089938 HAS SOUS 1924015 HAS SOUPS 1835285 WITH SCORE 1842604.052
AT ITER 3530 NEW BEST:: SOT 11859027 SOS 7323225 HAS SOPS 6093159 HAS SOUS 1923547 HAS SOUPS 1834817 WITH SCORE 1842140.225
AT ITER 3590 NEW BEST:: SOT 11858885 SOS 7323055 HAS SOPS 6092881 HAS SOUS 1923259 HAS SOUPS 1834529 WITH SCORE 1841852.055
AT ITER 3614 NEW BEST:: SOT 11859089 SOS 7323961 HAS SOPS 6093589 HAS SOUS 1922953 HAS SOUPS 1834221 WITH SCORE 1841544.961
AT ITER 3632 NEW BEST:: SOT 11859205 SOS 7324025 HAS SOPS 6094133 HAS SOUS 1922856 HAS SOUPS 1834124 WITH SCORE 1841448.025
AT ITER 3636 NEW BEST:: SOT 11858749 SOS 7323703 HAS SOPS 6093480 HAS SOUS 1922012 HAS SOUPS 1833267 WITH SCORE 1840590.703
AT ITER 3639 NEW BEST:: SOT 11858125 SOS 7323079 HAS SOPS 6092664 HAS SOUS 1920764 HAS SOUPS 1832019 WITH SCORE 1839342.079
AT ITER 3672 NEW BEST:: SOT 11858139 SOS 7321714 HAS SOPS 6090947 HAS SOUS 1919805 HAS SOUPS 1831060 WITH SCORE 1838381.714
AT ITER 3676 NEW BEST:: SOT 11857743 SOS 7320415 HAS SOPS 6090372 HAS SOUS 1918502 HAS SOUPS 1829757 WITH SCORE 1837077.415
AT ITER 3689 NEW BEST:: SOT 11857687 SOS 7319930 HAS SOPS 6089871 HAS SOUS 1918371 HAS SOUPS 1829626 WITH SCORE 1836945.93
AT ITER 3701 NEW BEST:: SOT 11857391 SOS 7320296 HAS SOPS 6087331 HAS SOUS 1917852 HAS SOUPS 1828995 WITH SCORE 1836315.296
AT ITER 3728 NEW BEST:: SOT 11856458 SOS 7319308 HAS SOPS 6086196 HAS SOUS 1916256 HAS SOUPS 1827380 WITH SCORE 1834699.308
AT ITER 3735 NEW BEST:: SOT 11856388 SOS 7319238 HAS SOPS 6086126 HAS SOUS 1915914 HAS SOUPS 1827038 WITH SCORE 1834357.238
AT ITER 3736 NEW BEST:: SOT 11855553 SOS 7318414 HAS SOPS 6085019 HAS SOUS 1915361 HAS SOUPS 1826451 WITH SCORE 1833769.414
AT ITER 3750 NEW BEST:: SOT 11855591 SOS 7318412 HAS SOPS 6085117 HAS SOUS 1915119 HAS SOUPS 1826274 WITH SCORE 1833592.412
AT ITER 3752 NEW BEST:: SOT 11855571 SOS 7318392 HAS SOPS 6085097 HAS SOUS 1915067 HAS SOUPS 1826222 WITH SCORE 1833540.392
AT ITER 3773 NEW BEST:: SOT 11854893 SOS 7317539 HAS SOPS 6083955 HAS SOUS 1913393 HAS SOUPS 1824559 WITH SCORE 1831876.539
AT ITER 3781 NEW BEST:: SOT 11851199 SOS 7313845 HAS SOPS 6079893 HAS SOUS 1908579 HAS SOUPS 1819745 WITH SCORE 1827058.845
AT ITER 3794 NEW BEST:: SOT 11850995 SOS 7312887 HAS SOPS 6078638 HAS SOUS 1907781 HAS SOUPS 1818947 WITH SCORE 1826259.887
AT ITER 3802 NEW BEST:: SOT 11846263 SOS 7308155 HAS SOPS 6074674 HAS SOUS 1904549 HAS SOUPS 1816483 WITH SCORE 1823791.155
AT ITER 3804 NEW BEST:: SOT 11846729 SOS 7308621 HAS SOPS 6075140 HAS SOUS 1904471 HAS SOUPS 1816405 WITH SCORE 1823713.621
AT ITER 3833 NEW BEST:: SOT 11846734 SOS 7308562 HAS SOPS 6075231 HAS SOUS 1904461 HAS SOUPS 1816395 WITH SCORE 1823703.562
AT ITER 3853 NEW BEST:: SOT 11847174 SOS 7308838 HAS SOPS 6075671 HAS SOUS 1904458 HAS SOUPS 1816392 WITH SCORE 1823700.838
AT ITER 3887 NEW BEST:: SOT 11846451 SOS 7306800 HAS SOPS 6073560 HAS SOUS 1903279 HAS SOUPS 1815213 WITH SCORE 1822519.8
AT ITER 3889 NEW BEST:: SOT 11846323 SOS 7306672 HAS SOPS 6073432 HAS SOUS 1903279 HAS SOUPS 1815213 WITH SCORE 1822519.672
AT ITER 3907 NEW BEST:: SOT 11845407 SOS 7305882 HAS SOPS 6072434 HAS SOUS 1900785 HAS SOUPS 1812701 WITH SCORE 1820006.882
AT ITER 3915 NEW BEST:: SOT 11848784 SOS 7315380 HAS SOPS 6081626 HAS SOUS 1898688 HAS SOUPS 1810604 WITH SCORE 1817919.38
AT ITER 3943 NEW BEST:: SOT 11848711 SOS 7315739 HAS SOPS 6082030 HAS SOUS 1898337 HAS SOUPS 1810253 WITH SCORE 1817568.739
AT ITER 4022 NEW BEST:: SOT 11846413 SOS 7312321 HAS SOPS 6078142 HAS SOUS 1893859 HAS SOUPS 1805795 WITH SCORE 1813107.321
AT ITER 4024 NEW BEST:: SOT 11843341 SOS 7305874 HAS SOPS 6072826 HAS SOUS 1892025 HAS SOUPS 1804021 WITH SCORE 1811326.874
AT ITER 4034 NEW BEST:: SOT 11843440 SOS 7306151 HAS SOPS 6073254 HAS SOUS 1891843 HAS SOUPS 1803839 WITH SCORE 1811145.151
AT ITER 4044 NEW BEST:: SOT 11843430 SOS 7306141 HAS SOPS 6073244 HAS SOUS 1891817 HAS SOUPS 1803813 WITH SCORE 1811119.141
AT ITER 4061 NEW BEST:: SOT 11839710 SOS 7302487 HAS SOPS 6067087 HAS SOUS 1887655 HAS SOUPS 1799607 WITH SCORE 1806909.487
AT ITER 4076 NEW BEST:: SOT 11837271 SOS 7298048 HAS SOPS 6062998 HAS SOUS 1884691 HAS SOUPS 1796668 WITH SCORE 1803966.048
AT ITER 4102 NEW BEST:: SOT 11837321 SOS 7298102 HAS SOPS 6063016 HAS SOUS 1884403 HAS SOUPS 1796364 WITH SCORE 1803662.102
AT ITER 4124 NEW BEST:: SOT 11837503 SOS 7298708 HAS SOPS 6063700 HAS SOUS 1884198 HAS SOUPS 1796163 WITH SCORE 1803461.708
AT ITER 4128 NEW BEST:: SOT 11831847 SOS 7288085 HAS SOPS 6053118 HAS SOUS 1879479 HAS SOUPS 1791376 WITH SCORE 1798664.085
AT ITER 4129 NEW BEST:: SOT 11831616 SOS 7287997 HAS SOPS 6052200 HAS SOUS 1875936 HAS SOUPS 1787782 WITH SCORE 1795069.997
AT ITER 4130 NEW BEST:: SOT 11831536 SOS 7287917 HAS SOPS 6052120 HAS SOUS 1875904 HAS SOUPS 1787750 WITH SCORE 1795037.917
AT ITER 4148 NEW BEST:: SOT 11831711 SOS 7289851 HAS SOPS 6054054 HAS SOUS 1874984 HAS SOUPS 1786830 WITH SCORE 1794119.851
AT ITER 4150 NEW BEST:: SOT 11831399 SOS 7289636 HAS SOPS 6053789 HAS SOUS 1873083 HAS SOUPS 1784908 WITH SCORE 1792197.636
AT ITER 4153 NEW BEST:: SOT 11824730 SOS 7283003 HAS SOPS 6047911 HAS SOUS 1863068 HAS SOUPS 1775352 WITH SCORE 1782635.003
AT ITER 4164 NEW BEST:: SOT 11822845 SOS 7281135 HAS SOPS 6045463 HAS SOUS 1862473 HAS SOUPS 1774193 WITH SCORE 1781474.135
AT ITER 4172 NEW BEST:: SOT 11828608 SOS 7297942 HAS SOPS 6058114 HAS SOUS 1857772 HAS SOUPS 1769452 WITH SCORE 1776749.942
AT ITER 4214 NEW BEST:: SOT 11828041 SOS 7297375 HAS SOPS 6057211 HAS SOUS 1855881 HAS SOUPS 1767561 WITH SCORE 1774858.375
AT ITER 4227 NEW BEST:: SOT 11830106 SOS 7302015 HAS SOPS 6065064 HAS SOUS 1853360 HAS SOUPS 1765040 WITH SCORE 1772342.015
AT ITER 4248 NEW BEST:: SOT 11829956 SOS 7301792 HAS SOPS 6064813 HAS SOUS 1850816 HAS SOUPS 1763456 WITH SCORE 1770757.792
AT ITER 4250 NEW BEST:: SOT 11829832 SOS 7301621 HAS SOPS 6064572 HAS SOUS 1850591 HAS SOUPS 1763231 WITH SCORE 1770532.621
AT ITER 4263 NEW BEST:: SOT 11829096 SOS 7300885 HAS SOPS 6063676 HAS SOUS 1849223 HAS SOUPS 1761863 WITH SCORE 1769163.885
AT ITER 4282 NEW BEST:: SOT 11829096 SOS 7300629 HAS SOPS 6065821 HAS SOUS 1849130 HAS SOUPS 1761819 WITH SCORE 1769119.629
AT ITER 4286 NEW BEST:: SOT 11828492 SOS 7299529 HAS SOPS 6064841 HAS SOUS 1848742 HAS SOUPS 1761439 WITH SCORE 1768738.529
AT ITER 4297 NEW BEST:: SOT 11828008 SOS 7299034 HAS SOPS 6064315 HAS SOUS 1848043 HAS SOUPS 1760740 WITH SCORE 1768039.034
AT ITER 4330 NEW BEST:: SOT 11842281 SOS 7323069 HAS SOPS 6089235 HAS SOUS 1846983 HAS SOUPS 1759883 WITH SCORE 1767206.069
AT ITER 4360 NEW BEST:: SOT 11840405 SOS 7321009 HAS SOPS 6086935 HAS SOUS 1837340 HAS SOUPS 1750240 WITH SCORE 1757561.009
AT ITER 4409 NEW BEST:: SOT 11839879 SOS 7320483 HAS SOPS 6086409 HAS SOUS 1836526 HAS SOUPS 1749426 WITH SCORE 1756746.483
AT ITER 4411 NEW BEST:: SOT 11837745 SOS 7318565 HAS SOPS 6084660 HAS SOUS 1834338 HAS SOUPS 1747238 WITH SCORE 1754556.565
AT ITER 4427 NEW BEST:: SOT 11837745 SOS 7318735 HAS SOPS 6084748 HAS SOUS 1834228 HAS SOUPS 1747122 WITH SCORE 1754440.735
AT ITER 4439 NEW BEST:: SOT 11835650 SOS 7318088 HAS SOPS 6082130 HAS SOUS 1827728 HAS SOUPS 1740622 WITH SCORE 1747940.088
AT ITER 4455 NEW BEST:: SOT 11834529 SOS 7316403 HAS SOPS 6079737 HAS SOUS 1821621 HAS SOUPS 1734515 WITH SCORE 1741831.403
AT ITER 4485 NEW BEST:: SOT 11835307 SOS 7319200 HAS SOPS 6083265 HAS SOUS 1821458 HAS SOUPS 1734441 WITH SCORE 1741760.2
AT ITER 4502 NEW BEST:: SOT 11835242 SOS 7318989 HAS SOPS 6083056 HAS SOUS 1821309 HAS SOUPS 1734292 WITH SCORE 1741610.989
AT ITER 4514 NEW BEST:: SOT 11835235 SOS 7319158 HAS SOPS 6083394 HAS SOUS 1821301 HAS SOUPS 1734284 WITH SCORE 1741603.158
AT ITER 4516 NEW BEST:: SOT 11835695 SOS 7320448 HAS SOPS 6083217 HAS SOUS 1819166 HAS SOUPS 1732145 WITH SCORE 1739465.448
AT ITER 4530 NEW BEST:: SOT 11834702 SOS 7319201 HAS SOPS 6081638 HAS SOUS 1817496 HAS SOUPS 1730456 WITH SCORE 1737775.201
AT ITER 4543 NEW BEST:: SOT 11838438 SOS 7335583 HAS SOPS 6103108 HAS SOUS 1816754 HAS SOUPS 1729888 WITH SCORE 1737223.583
AT ITER 4562 NEW BEST:: SOT 11839355 SOS 7338833 HAS SOPS 6103540 HAS SOUS 1813377 HAS SOUPS 1726511 WITH SCORE 1733849.833
AT ITER 4577 NEW BEST:: SOT 11838089 SOS 7337632 HAS SOPS 6102274 HAS SOUS 1809096 HAS SOUPS 1722186 WITH SCORE 1729523.632
AT ITER 4584 NEW BEST:: SOT 11838171 SOS 7337963 HAS SOPS 6102455 HAS SOUS 1809079 HAS SOUPS 1722141 WITH SCORE 1729478.963
AT ITER 4585 NEW BEST:: SOT 11838139 SOS 7337953 HAS SOPS 6102447 HAS SOUS 1808919 HAS SOUPS 1721983 WITH SCORE 1729320.953
AT ITER 4608 NEW BEST:: SOT 11837619 SOS 7337365 HAS SOPS 6101635 HAS SOUS 1808003 HAS SOUPS 1721067 WITH SCORE 1728404.365
AT ITER 4626 NEW BEST:: SOT 11837523 SOS 7339661 HAS SOPS 6105443 HAS SOUS 1807260 HAS SOUPS 1720324 WITH SCORE 1727663.661
AT ITER 4637 NEW BEST:: SOT 11836832 SOS 7337144 HAS SOPS 6103560 HAS SOUS 1807140 HAS SOUPS 1720240 WITH SCORE 1727577.144
AT ITER 4640 NEW BEST:: SOT 11831393 SOS 7327313 HAS SOPS 6091939 HAS SOUS 1801918 HAS SOUPS 1714925 WITH SCORE 1722252.313
AT ITER 4642 NEW BEST:: SOT 11830313 SOS 7326233 HAS SOPS 6090859 HAS SOUS 1800838 HAS SOUPS 1713845 WITH SCORE 1721171.233
AT ITER 4645 NEW BEST:: SOT 11832795 SOS 7333664 HAS SOPS 6097159 HAS SOUS 1799599 HAS SOUPS 1712606 WITH SCORE 1719939.664
AT ITER 4652 NEW BEST:: SOT 11833267 SOS 7333865 HAS SOPS 6098021 HAS SOUS 1799438 HAS SOUPS 1712445 WITH SCORE 1719778.865
AT ITER 4679 NEW BEST:: SOT 11832522 SOS 7333555 HAS SOPS 6097932 HAS SOUS 1795408 HAS SOUPS 1708415 WITH SCORE 1715748.555
AT ITER 4683 NEW BEST:: SOT 11831019 SOS 7330535 HAS SOPS 6094606 HAS SOUS 1793657 HAS SOUPS 1706664 WITH SCORE 1713994.535
AT ITER 4693 NEW BEST:: SOT 11832095 SOS 7333207 HAS SOPS 6095544 HAS SOUS 1791521 HAS SOUPS 1704528 WITH SCORE 1711861.207
AT ITER 4698 NEW BEST:: SOT 11831802 SOS 7332916 HAS SOPS 6094099 HAS SOUS 1788066 HAS SOUPS 1699951 WITH SCORE 1707283.916
AT ITER 4699 NEW BEST:: SOT 11831744 SOS 7332838 HAS SOPS 6094073 HAS SOUS 1787920 HAS SOUPS 1699805 WITH SCORE 1707137.838
AT ITER 4742 NEW BEST:: SOT 11830625 SOS 7331377 HAS SOPS 6092903 HAS SOUS 1785569 HAS SOUPS 1697469 WITH SCORE 1704800.377
AT ITER 4752 NEW BEST:: SOT 11825883 SOS 7326323 HAS SOPS 6087902 HAS SOUS 1780871 HAS SOUPS 1692607 WITH SCORE 1699933.323
AT ITER 4754 NEW BEST:: SOT 11824099 SOS 7324419 HAS SOPS 6085357 HAS SOUS 1777715 HAS SOUPS 1689379 WITH SCORE 1696703.419
AT ITER 4763 NEW BEST:: SOT 11823445 SOS 7323807 HAS SOPS 6084790 HAS SOUS 1776546 HAS SOUPS 1688210 WITH SCORE 1695533.807
AT ITER 4820 NEW BEST:: SOT 11822160 SOS 7319846 HAS SOPS 6080700 HAS SOUS 1774120 HAS SOUPS 1685807 WITH SCORE 1693126.846
AT ITER 4821 NEW BEST:: SOT 11815556 SOS 7309177 HAS SOPS 6072614 HAS SOUS 1771374 HAS SOUPS 1683403 WITH SCORE 1690712.177
AT ITER 4845 NEW BEST:: SOT 11815602 SOS 7309221 HAS SOPS 6072660 HAS SOUS 1771348 HAS SOUPS 1683377 WITH SCORE 1690686.221
AT ITER 4849 NEW BEST:: SOT 11814385 SOS 7306889 HAS SOPS 6069452 HAS SOUS 1762293 HAS SOUPS 1674356 WITH SCORE 1681662.889
AT ITER 4861 NEW BEST:: SOT 11813549 SOS 7305829 HAS SOPS 6068309 HAS SOUS 1756898 HAS SOUPS 1668909 WITH SCORE 1676214.829
AT ITER 4863 NEW BEST:: SOT 11813321 SOS 7305601 HAS SOPS 6068001 HAS SOUS 1756450 HAS SOUPS 1668461 WITH SCORE 1675766.601
AT ITER 4887 NEW BEST:: SOT 11813213 SOS 7305493 HAS SOPS 6067893 HAS SOUS 1756362 HAS SOUPS 1668373 WITH SCORE 1675678.493
AT ITER 4896 NEW BEST:: SOT 11815829 SOS 7308109 HAS SOPS 6069565 HAS SOUS 1755170 HAS SOUPS 1667117 WITH SCORE 1674425.109
AT ITER 4914 NEW BEST:: SOT 11814404 SOS 7306622 HAS SOPS 6067940 HAS SOUS 1752923 HAS SOUPS 1664883 WITH SCORE 1672189.622
AT ITER 4926 NEW BEST:: SOT 11814236 SOS 7305585 HAS SOPS 6066625 HAS SOUS 1752717 HAS SOUPS 1664677 WITH SCORE 1671982.585
AT ITER 4944 NEW BEST:: SOT 11813479 SOS 7304578 HAS SOPS 6064803 HAS SOUS 1751167 HAS SOUPS 1663101 WITH SCORE 1670405.578
AT ITER 4965 NEW BEST:: SOT 11811838 SOS 7300890 HAS SOPS 6061265 HAS SOUS 1750280 HAS SOUPS 1662214 WITH SCORE 1669514.89
AT ITER 4967 NEW BEST:: SOT 11811744 SOS 7300756 HAS SOPS 6061191 HAS SOUS 1750102 HAS SOUPS 1662036 WITH SCORE 1669336.756
AT ITER 4968 NEW BEST:: SOT 11812462 SOS 7302482 HAS SOPS 6062646 HAS SOUS 1748988 HAS SOUPS 1660922 WITH SCORE 1668224.482
AT ITER 4978 NEW BEST:: SOT 11811779 SOS 7301676 HAS SOPS 6061038 HAS SOUS 1748018 HAS SOUPS 1659970 WITH SCORE 1667271.676
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-4-CTLCardinality-00 (EU( (AG( potential( ( 1 ) <= (tk(P307)) ))),(EF(potential( ( 3 ) <= (tk(P36)) ))) ))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-01 (AG( potential( (tk(P527)) <= (tk(P23)) )))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-02 ( (EX( (! ( potential( ( 2 ) <= (tk(P66)) ) & potential( ( 3 ) <= (tk(P133)) ) )))) & ( (AX( potential( ( 2 ) <= (tk(P240)) ))) | (EU( potential( (tk(P526)) <= (tk(P176)) ),potential( ( 1 ) <= (tk(P415)) ) )) ) )
PROPERTY: RERS17pb113-PT-4-CTLCardinality-03 ( ( ( (EG( potential( ( 1 ) <= (tk(P514)) ))) | ( (! potential( (tk(P323)) <= (tk(P607)) )) | (! potential( (tk(P79)) <= (tk(P615)) )) ) ) & ( ( ( potential( (tk(P478)) <= (tk(P497)) ) & potential( ( 3 ) <= (tk(P91)) ) ) | ( potential( ( 2 ) <= (tk(P100)) ) | potential( ( 3 ) <= (tk(P151)) ) ) ) | ( ( potential( (tk(P26)) <= (tk(P50)) ) | potential( (tk(P249)) <= (tk(P122)) ) ) & (! potential( (tk(P219)) <= (tk(P555)) )) ) ) ) | (! (AF((! potential( (tk(P556)) <= (tk(P241)) ))))) )
PROPERTY: RERS17pb113-PT-4-CTLCardinality-04 (! ( (AF(( potential( ( 2 ) <= (tk(P297)) ) & potential( ( 1 ) <= (tk(P175)) ) ))) | ( (EF(potential( (tk(P628)) <= (tk(P115)) ))) & (EF(potential( ( 3 ) <= (tk(P208)) ))) ) ))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-05 ( (EX( ( ( potential( (tk(P179)) <= (tk(P330)) ) | potential( (tk(P311)) <= (tk(P94)) ) ) & ( potential( ( 1 ) <= (tk(P363)) ) | potential( ( 1 ) <= (tk(P600)) ) ) ))) & (AF(potential( ( 3 ) <= (tk(P569)) ))) )
PROPERTY: RERS17pb113-PT-4-CTLCardinality-06 (! (EG( ( (! potential( ( 1 ) <= (tk(P299)) )) | ( potential( ( 1 ) <= (tk(P444)) ) & potential( (tk(P320)) <= (tk(P583)) ) ) ))))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-07 (AU( ( ( potential( ( 2 ) <= (tk(P369)) ) | potential( ( 1 ) <= (tk(P268)) ) ) & ( potential( (tk(P473)) <= (tk(P388)) ) | potential( (tk(P456)) <= (tk(P519)) ) ) ),(EG( potential( (tk(P535)) <= (tk(P250)) ))) ))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-08 ( ( (AG( (! potential( ( 3 ) <= (tk(P546)) )))) | ( ( ( potential( ( 3 ) <= (tk(P143)) ) | potential( ( 1 ) <= (tk(P548)) ) ) & (! potential( (tk(P289)) <= (tk(P550)) )) ) & (EF(potential( (tk(P349)) <= (tk(P137)) ))) ) ) | ( (AF(( potential( ( 3 ) <= (tk(P598)) ) | potential( ( 2 ) <= (tk(P619)) ) ))) & ( (AF(potential( ( 3 ) <= (tk(P8)) ))) | (EG( potential( (tk(P513)) <= (tk(P140)) ))) ) ) )
PROPERTY: RERS17pb113-PT-4-CTLCardinality-09 (AF((EF(( potential( ( 3 ) <= (tk(P516)) ) & potential( ( 3 ) <= (tk(P218)) ) )))))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-10 ( (AG( (EF(potential( ( 2 ) <= (tk(P44)) ))))) & (! (EX( ( potential( ( 2 ) <= (tk(P99)) ) & potential( ( 3 ) <= (tk(P19)) ) )))) )
PROPERTY: RERS17pb113-PT-4-CTLCardinality-11 (EG( (EG( ( potential( (tk(P63)) <= (tk(P59)) ) & potential( (tk(P125)) <= (tk(P34)) ) )))))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-12 (AG( (EX( ( potential( ( 3 ) <= (tk(P284)) ) | potential( (tk(P394)) <= (tk(P44)) ) )))))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-13 (EF(( ( ( potential( (tk(P601)) <= (tk(P629)) ) & potential( (tk(P381)) <= (tk(P328)) ) ) & ( potential( (tk(P408)) <= (tk(P526)) ) & potential( (tk(P230)) <= (tk(P300)) ) ) ) & (EG( potential( (tk(P289)) <= (tk(P319)) ))) )))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-14 (EG( (! potential( ( 3 ) <= (tk(P637)) ))))
PROPERTY: RERS17pb113-PT-4-CTLCardinality-15 (! (AU( potential( (tk(P512)) <= (tk(P607)) ),(! potential( (tk(P607)) <= (tk(P620)) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-4"
export BK_EXAMINATION="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-4, 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-158961502200027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-4.tgz
mv RERS17pb113-PT-4 execution
cd execution
if [ "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 ;