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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.9K Apr 12 07:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 11 08:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 21:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 RERS17pb115-PT-9-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-9-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589788693840

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 9
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 3 NEW BEST:: SOT 123447067 SOS 80277052 HAS SOPS 65264814 HAS SOUS 24077833 HAS SOUPS 23505059 WITH SCORE 2.3585336052E7
AT ITER 14 NEW BEST:: SOT 123446256 SOS 80279161 HAS SOPS 65271874 HAS SOUS 24060647 HAS SOUPS 23490380 WITH SCORE 2.3570659161E7
AT ITER 17 NEW BEST:: SOT 123446320 SOS 80306633 HAS SOPS 65307346 HAS SOUS 24060250 HAS SOUPS 23489983 WITH SCORE 2.3570289633E7
AT ITER 21 NEW BEST:: SOT 123413107 SOS 80273532 HAS SOPS 65274245 HAS SOUS 24020301 HAS SOUPS 23450034 WITH SCORE 2.3530307532E7
AT ITER 25 NEW BEST:: SOT 123417390 SOS 80289654 HAS SOPS 65290678 HAS SOUS 24015465 HAS SOUPS 23445198 WITH SCORE 2.3525487654E7
AT ITER 40 NEW BEST:: SOT 123416617 SOS 80290157 HAS SOPS 65289421 HAS SOUS 24002867 HAS SOUPS 23432600 WITH SCORE 2.3512890157E7
AT ITER 69 NEW BEST:: SOT 123423206 SOS 80316954 HAS SOPS 65306442 HAS SOUS 23993038 HAS SOUPS 23422771 WITH SCORE 2.3503087954E7
AT ITER 72 NEW BEST:: SOT 123423224 SOS 80319601 HAS SOPS 65307821 HAS SOUS 23990531 HAS SOUPS 23420264 WITH SCORE 2.3500583601E7
AT ITER 83 NEW BEST:: SOT 123410124 SOS 80282103 HAS SOPS 65284196 HAS SOUS 23985707 HAS SOUPS 23415440 WITH SCORE 2.3495722103E7
AT ITER 85 NEW BEST:: SOT 123478655 SOS 80345245 HAS SOPS 65331155 HAS SOUS 23939420 HAS SOUPS 23364557 WITH SCORE 2.3444902245E7
AT ITER 95 NEW BEST:: SOT 123468827 SOS 80330757 HAS SOPS 65321684 HAS SOUS 23911683 HAS SOUPS 23337245 WITH SCORE 2.3417575757E7
AT ITER 107 NEW BEST:: SOT 123473820 SOS 80348415 HAS SOPS 65331731 HAS SOUS 23896421 HAS SOUPS 23321802 WITH SCORE 2.3402150415E7
AT ITER 116 NEW BEST:: SOT 123467731 SOS 80338197 HAS SOPS 65319849 HAS SOUS 23884623 HAS SOUPS 23310068 WITH SCORE 2.3390406197E7
AT ITER 120 NEW BEST:: SOT 123486822 SOS 80371088 HAS SOPS 65347095 HAS SOUS 23876089 HAS SOUPS 23301534 WITH SCORE 2.3381905088E7
AT ITER 122 NEW BEST:: SOT 123456169 SOS 80339105 HAS SOPS 65314612 HAS SOUS 23843718 HAS SOUPS 23269002 WITH SCORE 2.3349341105E7
AT ITER 138 NEW BEST:: SOT 123460838 SOS 80347279 HAS SOPS 65331945 HAS SOUS 23832506 HAS SOUPS 23257922 WITH SCORE 2.3338269279E7
AT ITER 139 NEW BEST:: SOT 123458081 SOS 80342182 HAS SOPS 65333306 HAS SOUS 23822113 HAS SOUPS 23247529 WITH SCORE 2.3327871182E7
AT ITER 145 NEW BEST:: SOT 123448383 SOS 80332219 HAS SOPS 65319543 HAS SOUS 23799289 HAS SOUPS 23224705 WITH SCORE 2.3305037219E7
AT ITER 149 NEW BEST:: SOT 123443328 SOS 80327115 HAS SOPS 65313845 HAS SOUS 23790873 HAS SOUPS 23216305 WITH SCORE 2.3296632115E7
AT ITER 154 NEW BEST:: SOT 123437139 SOS 80315741 HAS SOPS 65308608 HAS SOUS 23785923 HAS SOUPS 23211355 WITH SCORE 2.3291670741E7
AT ITER 172 NEW BEST:: SOT 123478891 SOS 80386253 HAS SOPS 65370747 HAS SOUS 23737134 HAS SOUPS 23163369 WITH SCORE 2.3243755253E7
AT ITER 191 NEW BEST:: SOT 123546725 SOS 80532875 HAS SOPS 65495254 HAS SOUS 23719914 HAS SOUPS 23145884 WITH SCORE 2.3226416875E7
AT ITER 198 NEW BEST:: SOT 123543862 SOS 80528328 HAS SOPS 65489633 HAS SOUS 23716051 HAS SOUPS 23142021 WITH SCORE 2.3222549328E7
AT ITER 204 NEW BEST:: SOT 123555313 SOS 80580757 HAS SOPS 65549259 HAS SOUS 23701403 HAS SOUPS 23127373 WITH SCORE 2.3207953757E7
AT ITER 214 NEW BEST:: SOT 123555392 SOS 80581004 HAS SOPS 65549414 HAS SOUS 23701032 HAS SOUPS 23127002 WITH SCORE 2.3207583004E7
AT ITER 232 NEW BEST:: SOT 123555369 SOS 80581253 HAS SOPS 65548933 HAS SOUS 23699044 HAS SOUPS 23125014 WITH SCORE 2.3205595253E7
AT ITER 239 NEW BEST:: SOT 123554645 SOS 80579297 HAS SOPS 65547631 HAS SOUS 23698778 HAS SOUPS 23124748 WITH SCORE 2.3205327297E7
AT ITER 258 NEW BEST:: SOT 123550099 SOS 80575197 HAS SOPS 65548008 HAS SOUS 23693465 HAS SOUPS 23119576 WITH SCORE 2.3200151197E7
AT ITER 262 NEW BEST:: SOT 123534008 SOS 80557745 HAS SOPS 65526139 HAS SOUS 23656118 HAS SOUPS 23082392 WITH SCORE 2.3162949745E7
AT ITER 263 NEW BEST:: SOT 123522526 SOS 80525828 HAS SOPS 65511292 HAS SOUS 23655877 HAS SOUPS 23082151 WITH SCORE 2.3162676828E7
AT ITER 277 NEW BEST:: SOT 123503380 SOS 80538999 HAS SOPS 65541013 HAS SOUS 23639528 HAS SOUPS 23065802 WITH SCORE 2.3146340999E7
AT ITER 301 NEW BEST:: SOT 123503684 SOS 80549289 HAS SOPS 65547263 HAS SOUS 23619167 HAS SOUPS 23045441 WITH SCORE 2.3125990289E7
AT ITER 305 NEW BEST:: SOT 123493955 SOS 80514834 HAS SOPS 65517363 HAS SOUS 23619046 HAS SOUPS 23045320 WITH SCORE 2.3125834834E7
AT ITER 319 NEW BEST:: SOT 123489912 SOS 80509339 HAS SOPS 65512162 HAS SOUS 23616029 HAS SOUPS 23042303 WITH SCORE 2.3122812339E7
AT ITER 320 NEW BEST:: SOT 123471103 SOS 80469415 HAS SOPS 65495070 HAS SOUS 23612396 HAS SOUPS 23038670 WITH SCORE 2.3119139415E7
AT ITER 325 NEW BEST:: SOT 123470984 SOS 80472111 HAS SOPS 65504400 HAS SOUS 23609488 HAS SOUPS 23035762 WITH SCORE 2.3116234111E7
AT ITER 334 NEW BEST:: SOT 123470984 SOS 80472293 HAS SOPS 65502460 HAS SOUS 23606980 HAS SOUPS 23033254 WITH SCORE 2.3113726293E7
AT ITER 338 NEW BEST:: SOT 123463061 SOS 80461507 HAS SOPS 65493908 HAS SOUS 23585431 HAS SOUPS 23011802 WITH SCORE 2.3092263507E7
AT ITER 344 NEW BEST:: SOT 123473261 SOS 80474827 HAS SOPS 65511702 HAS SOUS 23579912 HAS SOUPS 23006331 WITH SCORE 2.3086805827E7
AT ITER 353 NEW BEST:: SOT 123483606 SOS 80481064 HAS SOPS 65527318 HAS SOUS 23568779 HAS SOUPS 22995281 WITH SCORE 2.3075762064E7
AT ITER 358 NEW BEST:: SOT 123487358 SOS 80498762 HAS SOPS 65549129 HAS SOUS 23559992 HAS SOUPS 22986494 WITH SCORE 2.3066992762E7
AT ITER 365 NEW BEST:: SOT 123487902 SOS 80500508 HAS SOPS 65550161 HAS SOUS 23559575 HAS SOUPS 22986077 WITH SCORE 2.3066577508E7
AT ITER 371 NEW BEST:: SOT 123484362 SOS 80491289 HAS SOPS 65545847 HAS SOUS 23558702 HAS SOUPS 22985204 WITH SCORE 2.3065695289E7
AT ITER 385 NEW BEST:: SOT 123473181 SOS 80474776 HAS SOPS 65531742 HAS SOUS 23541157 HAS SOUPS 22967789 WITH SCORE 2.3048263776E7
AT ITER 418 NEW BEST:: SOT 123462913 SOS 80462875 HAS SOPS 65520953 HAS SOUS 23536882 HAS SOUPS 22963850 WITH SCORE 2.3044312875E7
AT ITER 443 NEW BEST:: SOT 123455441 SOS 80455651 HAS SOPS 65516741 HAS SOUS 23519845 HAS SOUPS 22946813 WITH SCORE 2.3027268651E7
AT ITER 456 NEW BEST:: SOT 123398926 SOS 80397368 HAS SOPS 65458458 HAS SOUS 23453010 HAS SOUPS 22879978 WITH SCORE 2.2960375368E7
AT ITER 464 NEW BEST:: SOT 123401032 SOS 80399834 HAS SOPS 65460326 HAS SOUS 23452411 HAS SOUPS 22879379 WITH SCORE 2.2959778834E7
AT ITER 473 NEW BEST:: SOT 123398471 SOS 80399469 HAS SOPS 65465808 HAS SOUS 23440654 HAS SOUPS 22867756 WITH SCORE 2.2948155469E7
AT ITER 482 NEW BEST:: SOT 123395026 SOS 80392351 HAS SOPS 65456540 HAS SOUS 23431354 HAS SOUPS 22858530 WITH SCORE 2.2938922351E7
AT ITER 486 NEW BEST:: SOT 123401161 SOS 80400907 HAS SOPS 65462871 HAS SOUS 23424097 HAS SOUPS 22851350 WITH SCORE 2.2931750907E7
AT ITER 488 NEW BEST:: SOT 123401975 SOS 80398963 HAS SOPS 65465772 HAS SOUS 23422383 HAS SOUPS 22849636 WITH SCORE 2.2930034963E7
AT ITER 493 NEW BEST:: SOT 123294039 SOS 80289399 HAS SOPS 65356615 HAS SOUS 23255434 HAS SOUPS 22683094 WITH SCORE 2.2763383399E7
AT ITER 497 NEW BEST:: SOT 123308103 SOS 80304162 HAS SOPS 65376230 HAS SOUS 23253169 HAS SOUPS 22681378 WITH SCORE 2.2761682162E7
AT ITER 502 NEW BEST:: SOT 123302704 SOS 80300359 HAS SOPS 65371878 HAS SOUS 23240375 HAS SOUPS 22668532 WITH SCORE 2.2748832359E7
AT ITER 513 NEW BEST:: SOT 123298843 SOS 80297727 HAS SOPS 65364597 HAS SOUS 23230836 HAS SOUPS 22658929 WITH SCORE 2.2739226727E7
AT ITER 517 NEW BEST:: SOT 123308801 SOS 80318405 HAS SOPS 65385880 HAS SOUS 23216058 HAS SOUPS 22644151 WITH SCORE 2.2724469405E7
AT ITER 520 NEW BEST:: SOT 123309644 SOS 80317918 HAS SOPS 65386014 HAS SOUS 23213310 HAS SOUPS 22641972 WITH SCORE 2.2722289918E7
AT ITER 531 NEW BEST:: SOT 123309658 SOS 80338896 HAS SOPS 65428254 HAS SOUS 23213059 HAS SOUPS 22641721 WITH SCORE 2.2722059896E7
AT ITER 553 NEW BEST:: SOT 123309658 SOS 80345488 HAS SOPS 65435614 HAS SOUS 23212996 HAS SOUPS 22641658 WITH SCORE 2.2722003488E7
AT ITER 567 NEW BEST:: SOT 123308548 SOS 80344276 HAS SOPS 65434402 HAS SOUS 23210906 HAS SOUPS 22639568 WITH SCORE 2.2719912276E7
AT ITER 607 NEW BEST:: SOT 123312756 SOS 80355160 HAS SOPS 65445784 HAS SOUS 23188798 HAS SOUPS 22617754 WITH SCORE 2.269810916E7
AT ITER 617 NEW BEST:: SOT 123308724 SOS 80354752 HAS SOPS 65442121 HAS SOUS 23173672 HAS SOUPS 22602628 WITH SCORE 2.2682982752E7
AT ITER 625 NEW BEST:: SOT 123315482 SOS 80359775 HAS SOPS 65441923 HAS SOUS 23173604 HAS SOUPS 22602560 WITH SCORE 2.2682919775E7
AT ITER 626 NEW BEST:: SOT 123300149 SOS 80344873 HAS SOPS 65420836 HAS SOUS 23139248 HAS SOUPS 22568216 WITH SCORE 2.2648560873E7
AT ITER 629 NEW BEST:: SOT 123288322 SOS 80334215 HAS SOPS 65405467 HAS SOUS 23114256 HAS SOUPS 22543224 WITH SCORE 2.2623558215E7
AT ITER 638 NEW BEST:: SOT 123271076 SOS 80322941 HAS SOPS 65381662 HAS SOUS 23069933 HAS SOUPS 22498901 WITH SCORE 2.2579223941E7
AT ITER 641 NEW BEST:: SOT 123269374 SOS 80321863 HAS SOPS 65379695 HAS SOUS 23066732 HAS SOUPS 22495700 WITH SCORE 2.2576021863E7
AT ITER 644 NEW BEST:: SOT 123205410 SOS 80245081 HAS SOPS 65307345 HAS SOUS 22979005 HAS SOUPS 22408111 WITH SCORE 2.2488356081E7
AT ITER 652 NEW BEST:: SOT 123208181 SOS 80247868 HAS SOPS 65311418 HAS SOUS 22975485 HAS SOUPS 22404921 WITH SCORE 2.2485168868E7
AT ITER 665 NEW BEST:: SOT 123211775 SOS 80264224 HAS SOPS 65340708 HAS SOUS 22926635 HAS SOUPS 22356052 WITH SCORE 2.2436316224E7
AT ITER 694 NEW BEST:: SOT 123213970 SOS 80243671 HAS SOPS 65336617 HAS SOUS 22920840 HAS SOUPS 22353200 WITH SCORE 2.2433443671E7
AT ITER 711 NEW BEST:: SOT 123200138 SOS 80227346 HAS SOPS 65311702 HAS SOUS 22886577 HAS SOUPS 22318937 WITH SCORE 2.2399164346E7
AT ITER 714 NEW BEST:: SOT 123204325 SOS 80233727 HAS SOPS 65315998 HAS SOUS 22884082 HAS SOUPS 22316442 WITH SCORE 2.2396675727E7
AT ITER 716 NEW BEST:: SOT 123206348 SOS 80232151 HAS SOPS 65318772 HAS SOUS 22882807 HAS SOUPS 22316378 WITH SCORE 2.2396610151E7
AT ITER 719 NEW BEST:: SOT 123206297 SOS 80235994 HAS SOPS 65322564 HAS SOUS 22882662 HAS SOUPS 22316233 WITH SCORE 2.2396468994E7
AT ITER 725 NEW BEST:: SOT 123205306 SOS 80234315 HAS SOPS 65321406 HAS SOUS 22880413 HAS SOUPS 22314073 WITH SCORE 2.2394307315E7
AT ITER 740 NEW BEST:: SOT 123204450 SOS 80232762 HAS SOPS 65320355 HAS SOUS 22878579 HAS SOUPS 22312266 WITH SCORE 2.2392498762E7
AT ITER 747 NEW BEST:: SOT 123200614 SOS 80225666 HAS SOPS 65313407 HAS SOUS 22873494 HAS SOUPS 22307181 WITH SCORE 2.2387406666E7
AT ITER 758 NEW BEST:: SOT 123195791 SOS 80220495 HAS SOPS 65311061 HAS SOUS 22873009 HAS SOUPS 22306696 WITH SCORE 2.2386916495E7
AT ITER 765 NEW BEST:: SOT 123183338 SOS 80206265 HAS SOPS 65313601 HAS SOUS 22834819 HAS SOUPS 22268506 WITH SCORE 2.2348712265E7
AT ITER 779 NEW BEST:: SOT 123180867 SOS 80208562 HAS SOPS 65314862 HAS SOUS 22821928 HAS SOUPS 22255615 WITH SCORE 2.2335823562E7
AT ITER 813 NEW BEST:: SOT 123162983 SOS 80180278 HAS SOPS 65289712 HAS SOUS 22802011 HAS SOUPS 22235698 WITH SCORE 2.2315878278E7
AT ITER 817 NEW BEST:: SOT 123161652 SOS 80176973 HAS SOPS 65286471 HAS SOUS 22801898 HAS SOUPS 22235585 WITH SCORE 2.2315761973E7
AT ITER 830 NEW BEST:: SOT 123169268 SOS 80194883 HAS SOPS 65305786 HAS SOUS 22773930 HAS SOUPS 22207591 WITH SCORE 2.2287785883E7
AT ITER 831 NEW BEST:: SOT 123051894 SOS 80035460 HAS SOPS 65159604 HAS SOUS 22633731 HAS SOUPS 22067859 WITH SCORE 2.214789446E7
AT ITER 850 NEW BEST:: SOT 123052995 SOS 80046016 HAS SOPS 65165947 HAS SOUS 22633564 HAS SOUPS 22067647 WITH SCORE 2.2147693016E7
AT ITER 851 NEW BEST:: SOT 123053702 SOS 80041977 HAS SOPS 65171453 HAS SOUS 22623688 HAS SOUPS 22057980 WITH SCORE 2.2138021977E7
AT ITER 853 NEW BEST:: SOT 123050402 SOS 80043232 HAS SOPS 65170814 HAS SOUS 22609280 HAS SOUPS 22043308 WITH SCORE 2.2123351232E7
AT ITER 861 NEW BEST:: SOT 123050402 SOS 80043200 HAS SOPS 65171310 HAS SOUS 22609279 HAS SOUPS 22043307 WITH SCORE 2.21233502E7
AT ITER 865 NEW BEST:: SOT 123044409 SOS 80036933 HAS SOPS 65165066 HAS SOUS 22600225 HAS SOUPS 22034253 WITH SCORE 2.2114289933E7
AT ITER 871 NEW BEST:: SOT 123033025 SOS 80019645 HAS SOPS 65148038 HAS SOUS 22585722 HAS SOUPS 22019750 WITH SCORE 2.2099769645E7
AT ITER 873 NEW BEST:: SOT 123008542 SOS 79995702 HAS SOPS 65123507 HAS SOUS 22559844 HAS SOUPS 21993737 WITH SCORE 2.2073732702E7
AT ITER 876 NEW BEST:: SOT 123010406 SOS 80002242 HAS SOPS 65129113 HAS SOUS 22556974 HAS SOUPS 21991067 WITH SCORE 2.2071069242E7
AT ITER 892 NEW BEST:: SOT 122987761 SOS 79967943 HAS SOPS 65098780 HAS SOUS 22525991 HAS SOUPS 21960084 WITH SCORE 2.2040051943E7
AT ITER 910 NEW BEST:: SOT 123012912 SOS 80040561 HAS SOPS 65146874 HAS SOUS 22519206 HAS SOUPS 21953299 WITH SCORE 2.2033339561E7
AT ITER 922 NEW BEST:: SOT 123017742 SOS 80052381 HAS SOPS 65154218 HAS SOUS 22519238 HAS SOUPS 21953260 WITH SCORE 2.2033312381E7
AT ITER 923 NEW BEST:: SOT 123017670 SOS 80052099 HAS SOPS 65154075 HAS SOUS 22518723 HAS SOUPS 21952808 WITH SCORE 2.2032860099E7
AT ITER 928 NEW BEST:: SOT 123024184 SOS 80060967 HAS SOPS 65154131 HAS SOUS 22512799 HAS SOUPS 21946848 WITH SCORE 2.2026908967E7
AT ITER 954 NEW BEST:: SOT 123001283 SOS 79986703 HAS SOPS 65092657 HAS SOUS 22462859 HAS SOUPS 21897402 WITH SCORE 2.1977388703E7
AT ITER 958 NEW BEST:: SOT 122987801 SOS 79968235 HAS SOPS 65077144 HAS SOUS 22438347 HAS SOUPS 21872988 WITH SCORE 2.1952956235E7
AT ITER 959 NEW BEST:: SOT 122983351 SOS 79960361 HAS SOPS 65071339 HAS SOUS 22435423 HAS SOUPS 21870064 WITH SCORE 2.1950024361E7
AT ITER 960 NEW BEST:: SOT 122982976 SOS 79959946 HAS SOPS 65071547 HAS SOUS 22432878 HAS SOUPS 21867789 WITH SCORE 2.1947748946E7
AT ITER 965 NEW BEST:: SOT 122973368 SOS 79944379 HAS SOPS 65053485 HAS SOUS 22422044 HAS SOUPS 21856955 WITH SCORE 2.1936899379E7
AT ITER 971 NEW BEST:: SOT 122986537 SOS 79961946 HAS SOPS 65073954 HAS SOUS 22415289 HAS SOUPS 21850284 WITH SCORE 2.1930245946E7
AT ITER 981 NEW BEST:: SOT 122985604 SOS 79960018 HAS SOPS 65072280 HAS SOUS 22414223 HAS SOUPS 21849243 WITH SCORE 2.1929203018E7
AT ITER 982 NEW BEST:: SOT 122981682 SOS 79956421 HAS SOPS 65065758 HAS SOUS 22405854 HAS SOUPS 21840874 WITH SCORE 2.1920830421E7
AT ITER 983 NEW BEST:: SOT 122980054 SOS 79951175 HAS SOPS 65063953 HAS SOUS 22393292 HAS SOUPS 21828594 WITH SCORE 2.1908545175E7
AT ITER 991 NEW BEST:: SOT 122979804 SOS 79953506 HAS SOPS 65066072 HAS SOUS 22389433 HAS SOUPS 21824670 WITH SCORE 2.1904623506E7
AT ITER 995 NEW BEST:: SOT 122978395 SOS 79956842 HAS SOPS 65055291 HAS SOUS 22370211 HAS SOUPS 21804983 WITH SCORE 2.1884939842E7
AT ITER 1024 NEW BEST:: SOT 122977434 SOS 79956983 HAS SOPS 65055721 HAS SOUS 22368513 HAS SOUPS 21803401 WITH SCORE 2.1883357983E7
AT ITER 1063 NEW BEST:: SOT 122971000 SOS 79950451 HAS SOPS 65049287 HAS SOUS 22361883 HAS SOUPS 21796820 WITH SCORE 2.1876770451E7
AT ITER 1072 NEW BEST:: SOT 122950609 SOS 79918886 HAS SOPS 65031436 HAS SOUS 22350317 HAS SOUPS 21785421 WITH SCORE 2.1865339886E7
AT ITER 1074 NEW BEST:: SOT 122944383 SOS 79913541 HAS SOPS 65026843 HAS SOUS 22335549 HAS SOUPS 21770653 WITH SCORE 2.1850566541E7
AT ITER 1082 NEW BEST:: SOT 122976932 SOS 79987526 HAS SOPS 65100371 HAS SOUS 22334068 HAS SOUPS 21769172 WITH SCORE 2.1849159526E7
AT ITER 1091 NEW BEST:: SOT 122981500 SOS 80024506 HAS SOPS 65107826 HAS SOUS 22301602 HAS SOUPS 21736706 WITH SCORE 2.1816730506E7
AT ITER 1118 NEW BEST:: SOT 122988123 SOS 80034385 HAS SOPS 65128522 HAS SOUS 22296293 HAS SOUPS 21731952 WITH SCORE 2.1811986385E7
AT ITER 1124 NEW BEST:: SOT 122949816 SOS 79909834 HAS SOPS 65074299 HAS SOUS 22279195 HAS SOUPS 21713782 WITH SCORE 2.1793691834E7
AT ITER 1131 NEW BEST:: SOT 122948420 SOS 79906271 HAS SOPS 65071379 HAS SOUS 22274976 HAS SOUPS 21709563 WITH SCORE 2.1789469271E7
AT ITER 1146 NEW BEST:: SOT 122948207 SOS 79905309 HAS SOPS 65066172 HAS SOUS 22264001 HAS SOUPS 21698588 WITH SCORE 2.1778493309E7
AT ITER 1153 NEW BEST:: SOT 122947159 SOS 79904117 HAS SOPS 65064444 HAS SOUS 22261895 HAS SOUPS 21696482 WITH SCORE 2.1776386117E7
AT ITER 1160 NEW BEST:: SOT 122943591 SOS 79895858 HAS SOPS 65047978 HAS SOUS 22247215 HAS SOUPS 21681802 WITH SCORE 2.1761697858E7
AT ITER 1165 NEW BEST:: SOT 122953022 SOS 79914908 HAS SOPS 65056311 HAS SOUS 22244469 HAS SOUPS 21679056 WITH SCORE 2.1758970908E7
AT ITER 1188 NEW BEST:: SOT 122942671 SOS 79904216 HAS SOPS 65038031 HAS SOUS 22239171 HAS SOUPS 21669918 WITH SCORE 2.1749822216E7
AT ITER 1204 NEW BEST:: SOT 122944506 SOS 79883227 HAS SOPS 65009655 HAS SOUS 22225132 HAS SOUPS 21655879 WITH SCORE 2.1735762227E7
AT ITER 1218 NEW BEST:: SOT 122916835 SOS 79831313 HAS SOPS 64961682 HAS SOUS 22194120 HAS SOUPS 21624867 WITH SCORE 2.1704698313E7
AT ITER 1231 NEW BEST:: SOT 122913723 SOS 79829971 HAS SOPS 64955238 HAS SOUS 22187954 HAS SOUPS 21616588 WITH SCORE 2.1696417971E7
AT ITER 1240 NEW BEST:: SOT 122934389 SOS 79871429 HAS SOPS 64987650 HAS SOUS 22187097 HAS SOUPS 21615731 WITH SCORE 2.1695602429E7
AT ITER 1242 NEW BEST:: SOT 123004996 SOS 80016462 HAS SOPS 65098828 HAS SOUS 22144994 HAS SOUPS 21573504 WITH SCORE 2.1653520462E7
AT ITER 1246 NEW BEST:: SOT 122989469 SOS 79996889 HAS SOPS 65067758 HAS SOUS 22101025 HAS SOUPS 21529584 WITH SCORE 2.1609580889E7
AT ITER 1247 NEW BEST:: SOT 122987496 SOS 80000618 HAS SOPS 65061204 HAS SOUS 22087251 HAS SOUPS 21515810 WITH SCORE 2.1595810618E7
AT ITER 1267 NEW BEST:: SOT 122987910 SOS 80022133 HAS SOPS 65080856 HAS SOUS 22087160 HAS SOUPS 21515719 WITH SCORE 2.1595741133E7
AT ITER 1285 NEW BEST:: SOT 122987433 SOS 80022610 HAS SOPS 65088327 HAS SOUS 22077005 HAS SOUPS 21505730 WITH SCORE 2.158575261E7
AT ITER 1290 NEW BEST:: SOT 122990273 SOS 80021993 HAS SOPS 65092229 HAS SOUS 22070352 HAS SOUPS 21499077 WITH SCORE 2.1579098993E7
AT ITER 1294 NEW BEST:: SOT 122988862 SOS 80020674 HAS SOPS 65089035 HAS SOUS 22065406 HAS SOUPS 21494131 WITH SCORE 2.1574151674E7
AT ITER 1310 NEW BEST:: SOT 122993815 SOS 80033824 HAS SOPS 65102936 HAS SOUS 22057882 HAS SOUPS 21486607 WITH SCORE 2.1566640824E7
AT ITER 1311 NEW BEST:: SOT 122998941 SOS 80041448 HAS SOPS 65110287 HAS SOUS 22057978 HAS SOUPS 21486549 WITH SCORE 2.1566590448E7
AT ITER 1316 NEW BEST:: SOT 122997229 SOS 80039912 HAS SOPS 65107887 HAS SOUS 22054490 HAS SOUPS 21483061 WITH SCORE 2.1563100912E7
AT ITER 1327 NEW BEST:: SOT 123008076 SOS 80077520 HAS SOPS 65161633 HAS SOUS 22042108 HAS SOUPS 21470679 WITH SCORE 2.155075652E7
AT ITER 1330 NEW BEST:: SOT 122968038 SOS 79978861 HAS SOPS 65082222 HAS SOUS 22015266 HAS SOUPS 21443837 WITH SCORE 2.1523815861E7
AT ITER 1356 NEW BEST:: SOT 122968977 SOS 79980421 HAS SOPS 65080626 HAS SOUS 22002999 HAS SOUPS 21431570 WITH SCORE 2.1511550421E7
AT ITER 1369 NEW BEST:: SOT 122967250 SOS 79962287 HAS SOPS 65066994 HAS SOUS 22002344 HAS SOUPS 21430915 WITH SCORE 2.1510877287E7
AT ITER 1371 NEW BEST:: SOT 122965437 SOS 79960695 HAS SOPS 65066371 HAS SOUS 22000189 HAS SOUPS 21428760 WITH SCORE 2.1508720695E7
AT ITER 1380 NEW BEST:: SOT 122965325 SOS 79960583 HAS SOPS 65066299 HAS SOUS 21999981 HAS SOUPS 21428552 WITH SCORE 2.1508512583E7
AT ITER 1398 NEW BEST:: SOT 122961162 SOS 79957812 HAS SOPS 65056736 HAS SOUS 21981907 HAS SOUPS 21410478 WITH SCORE 2.1490435812E7
AT ITER 1417 NEW BEST:: SOT 122958503 SOS 79957594 HAS SOPS 65051424 HAS SOUS 21975938 HAS SOUPS 21404509 WITH SCORE 2.1484466594E7
AT ITER 1420 NEW BEST:: SOT 122954310 SOS 79939142 HAS SOPS 65061730 HAS SOUS 21943201 HAS SOUPS 21371808 WITH SCORE 2.1451747142E7
AT ITER 1436 NEW BEST:: SOT 122944252 SOS 79928872 HAS SOPS 65048387 HAS SOUS 21918079 HAS SOUPS 21346686 WITH SCORE 2.1426614872E7
AT ITER 1442 NEW BEST:: SOT 122944252 SOS 79929710 HAS SOPS 65052809 HAS SOUS 21917956 HAS SOUPS 21346563 WITH SCORE 2.142649271E7
AT ITER 1453 NEW BEST:: SOT 122959311 SOS 79992715 HAS SOPS 65101342 HAS SOUS 21883839 HAS SOUPS 21312446 WITH SCORE 2.1392438715E7
AT ITER 1457 NEW BEST:: SOT 122959238 SOS 79991326 HAS SOPS 65099854 HAS SOUS 21883448 HAS SOUPS 21312055 WITH SCORE 2.1392046326E7
AT ITER 1464 NEW BEST:: SOT 122959711 SOS 79991795 HAS SOPS 65099581 HAS SOUS 21883214 HAS SOUPS 21311771 WITH SCORE 2.1391762795E7
AT ITER 1471 NEW BEST:: SOT 122959711 SOS 79992467 HAS SOPS 65100477 HAS SOUS 21883210 HAS SOUPS 21311767 WITH SCORE 2.1391759467E7
AT ITER 1484 NEW BEST:: SOT 122950979 SOS 79983545 HAS SOPS 65091471 HAS SOUS 21868640 HAS SOUPS 21297197 WITH SCORE 2.1377180545E7
AT ITER 1501 NEW BEST:: SOT 122946235 SOS 79980106 HAS SOPS 65113766 HAS SOUS 21849779 HAS SOUPS 21278336 WITH SCORE 2.1358316106E7
AT ITER 1520 NEW BEST:: SOT 122920870 SOS 79931637 HAS SOPS 65063947 HAS SOUS 21826002 HAS SOUPS 21254559 WITH SCORE 2.1334490637E7
AT ITER 1535 NEW BEST:: SOT 122950490 SOS 79983548 HAS SOPS 65095847 HAS SOUS 21802712 HAS SOUPS 21231020 WITH SCORE 2.1311003548E7
AT ITER 1559 NEW BEST:: SOT 122946104 SOS 79974082 HAS SOPS 65084833 HAS SOUS 21795905 HAS SOUPS 21224213 WITH SCORE 2.1304187082E7
AT ITER 1570 NEW BEST:: SOT 122936548 SOS 79954359 HAS SOPS 65066793 HAS SOUS 21789334 HAS SOUPS 21217642 WITH SCORE 2.1297596359E7
AT ITER 1572 NEW BEST:: SOT 122930519 SOS 79946381 HAS SOPS 65059157 HAS SOUS 21776325 HAS SOUPS 21204700 WITH SCORE 2.1284646381E7
AT ITER 1579 NEW BEST:: SOT 122930287 SOS 79948470 HAS SOPS 65063917 HAS SOUS 21771028 HAS SOUPS 21199403 WITH SCORE 2.127935147E7
AT ITER 1581 NEW BEST:: SOT 122929994 SOS 79947633 HAS SOPS 65063196 HAS SOUS 21770851 HAS SOUPS 21199226 WITH SCORE 2.1279173633E7
AT ITER 1588 NEW BEST:: SOT 122936891 SOS 79965392 HAS SOPS 65077534 HAS SOUS 21770246 HAS SOUPS 21198621 WITH SCORE 2.1278586392E7
AT ITER 1589 NEW BEST:: SOT 122953035 SOS 80020595 HAS SOPS 65135152 HAS SOUS 21709517 HAS SOUPS 21137748 WITH SCORE 2.1217768595E7
AT ITER 1624 NEW BEST:: SOT 122978197 SOS 80049925 HAS SOPS 65151959 HAS SOUS 21702171 HAS SOUPS 21130399 WITH SCORE 2.1210448925E7
AT ITER 1625 NEW BEST:: SOT 122970681 SOS 80042409 HAS SOPS 65144443 HAS SOUS 21696247 HAS SOUPS 21124475 WITH SCORE 2.1204517409E7
AT ITER 1632 NEW BEST:: SOT 122968665 SOS 80040857 HAS SOPS 65141463 HAS SOUS 21692471 HAS SOUPS 21120685 WITH SCORE 2.1200725857E7
AT ITER 1640 NEW BEST:: SOT 122966632 SOS 80041607 HAS SOPS 65151026 HAS SOUS 21689169 HAS SOUPS 21117383 WITH SCORE 2.1197424607E7
AT ITER 1643 NEW BEST:: SOT 122953267 SOS 80025962 HAS SOPS 65137661 HAS SOUS 21671336 HAS SOUPS 21099566 WITH SCORE 2.1179591962E7
AT ITER 1645 NEW BEST:: SOT 122939637 SOS 79997545 HAS SOPS 65117553 HAS SOUS 21664552 HAS SOUPS 21092903 WITH SCORE 2.1172900545E7
AT ITER 1656 NEW BEST:: SOT 122915087 SOS 79972987 HAS SOPS 65092991 HAS SOUS 21613729 HAS SOUPS 21042081 WITH SCORE 2.1122053987E7
AT ITER 1657 NEW BEST:: SOT 122912157 SOS 79970589 HAS SOPS 65087684 HAS SOUS 21598264 HAS SOUPS 21026616 WITH SCORE 2.1106586589E7
AT ITER 1663 NEW BEST:: SOT 122917523 SOS 79981307 HAS SOPS 65100712 HAS SOUS 21593751 HAS SOUPS 21022103 WITH SCORE 2.1102084307E7
AT ITER 1670 NEW BEST:: SOT 122914888 SOS 79979247 HAS SOPS 65102050 HAS SOUS 21582816 HAS SOUPS 21011120 WITH SCORE 2.1091099247E7
AT ITER 1678 NEW BEST:: SOT 122938088 SOS 80037156 HAS SOPS 65154499 HAS SOUS 21580507 HAS SOUPS 21008811 WITH SCORE 2.1088848156E7
AT ITER 1686 NEW BEST:: SOT 122932329 SOS 80031798 HAS SOPS 65148686 HAS SOUS 21554281 HAS SOUPS 20982502 WITH SCORE 2.1062533798E7
AT ITER 1691 NEW BEST:: SOT 122968784 SOS 80032613 HAS SOPS 65162662 HAS SOUS 21519687 HAS SOUPS 20948332 WITH SCORE 2.1028364613E7
AT ITER 1723 NEW BEST:: SOT 122967128 SOS 80027582 HAS SOPS 65162061 HAS SOUS 21504153 HAS SOUPS 20933664 WITH SCORE 2.1013691582E7
AT ITER 1747 NEW BEST:: SOT 122962344 SOS 80022342 HAS SOPS 65155529 HAS SOUS 21494619 HAS SOUPS 20924092 WITH SCORE 2.1004114342E7
AT ITER 1761 NEW BEST:: SOT 122963621 SOS 80018528 HAS SOPS 65153391 HAS SOUS 21491632 HAS SOUPS 20921105 WITH SCORE 2.1001123528E7
AT ITER 1773 NEW BEST:: SOT 122939436 SOS 79983372 HAS SOPS 65121315 HAS SOUS 21465906 HAS SOUPS 20895379 WITH SCORE 2.0975362372E7
AT ITER 1790 NEW BEST:: SOT 122925444 SOS 79975709 HAS SOPS 65119653 HAS SOUS 21463324 HAS SOUPS 20892779 WITH SCORE 2.0972754709E7
AT ITER 1792 NEW BEST:: SOT 122917660 SOS 79948074 HAS SOPS 65100096 HAS SOUS 21463090 HAS SOUPS 20892545 WITH SCORE 2.0972493074E7
AT ITER 1795 NEW BEST:: SOT 122918228 SOS 79950442 HAS SOPS 65102497 HAS SOUS 21460603 HAS SOUPS 20890058 WITH SCORE 2.0970008442E7
AT ITER 1808 NEW BEST:: SOT 122918228 SOS 79953754 HAS SOPS 65105809 HAS SOUS 21460512 HAS SOUPS 20889967 WITH SCORE 2.0969920754E7
AT ITER 1810 NEW BEST:: SOT 122924922 SOS 79978799 HAS SOPS 65129268 HAS SOUS 21446231 HAS SOUPS 20875686 WITH SCORE 2.0955664799E7
AT ITER 1812 NEW BEST:: SOT 122902653 SOS 79905172 HAS SOPS 65129422 HAS SOUS 21416711 HAS SOUPS 20846202 WITH SCORE 2.0926107172E7
AT ITER 1823 NEW BEST:: SOT 122907985 SOS 79928638 HAS SOPS 65143152 HAS SOUS 21409494 HAS SOUPS 20838921 WITH SCORE 2.0918849638E7
AT ITER 1841 NEW BEST:: SOT 122903370 SOS 79923986 HAS SOPS 65137945 HAS SOUS 21403274 HAS SOUPS 20832146 WITH SCORE 2.0912069986E7
AT ITER 1852 NEW BEST:: SOT 122892742 SOS 79917631 HAS SOPS 65121956 HAS SOUS 21372845 HAS SOUPS 20801717 WITH SCORE 2.0881634631E7
AT ITER 1857 NEW BEST:: SOT 122907439 SOS 79955966 HAS SOPS 65161728 HAS SOUS 21325416 HAS SOUPS 20754344 WITH SCORE 2.0834299966E7
AT ITER 1861 NEW BEST:: SOT 122906915 SOS 79957150 HAS SOPS 65162511 HAS SOUS 21325792 HAS SOUPS 20753910 WITH SCORE 2.083386715E7
AT ITER 1891 NEW BEST:: SOT 122920535 SOS 79971872 HAS SOPS 65171718 HAS SOUS 21313493 HAS SOUPS 20741671 WITH SCORE 2.0821642872E7
AT ITER 1893 NEW BEST:: SOT 122920015 SOS 79969701 HAS SOPS 65162896 HAS SOUS 21279081 HAS SOUPS 20706857 WITH SCORE 2.0786826701E7
AT ITER 1901 NEW BEST:: SOT 122920743 SOS 79970035 HAS SOPS 65163454 HAS SOUS 21278019 HAS SOUPS 20705795 WITH SCORE 2.0785765035E7
AT ITER 1906 NEW BEST:: SOT 122969857 SOS 80065140 HAS SOPS 65263741 HAS SOUS 21249636 HAS SOUPS 20678643 WITH SCORE 2.075870814E7
AT ITER 1910 NEW BEST:: SOT 122981623 SOS 80099113 HAS SOPS 65276079 HAS SOUS 21243120 HAS SOUPS 20672127 WITH SCORE 2.0752226113E7
AT ITER 1929 NEW BEST:: SOT 122982107 SOS 80100737 HAS SOPS 65279720 HAS SOUS 21239900 HAS SOUPS 20669032 WITH SCORE 2.0749132737E7
AT ITER 1943 NEW BEST:: SOT 122946874 SOS 80049960 HAS SOPS 65245849 HAS SOUS 21203760 HAS SOUPS 20633116 WITH SCORE 2.071316596E7
AT ITER 1952 NEW BEST:: SOT 122946231 SOS 80049440 HAS SOPS 65246633 HAS SOUS 21202404 HAS SOUPS 20631760 WITH SCORE 2.071180944E7
AT ITER 1954 NEW BEST:: SOT 122942061 SOS 80033268 HAS SOPS 65213939 HAS SOUS 21181376 HAS SOUPS 20610732 WITH SCORE 2.0690765268E7
AT ITER 1976 NEW BEST:: SOT 122941966 SOS 80033301 HAS SOPS 65213876 HAS SOUS 21181284 HAS SOUPS 20610575 WITH SCORE 2.0690608301E7
AT ITER 1977 NEW BEST:: SOT 122957085 SOS 80074848 HAS SOPS 65272959 HAS SOUS 21178302 HAS SOUPS 20607593 WITH SCORE 2.0687667848E7
AT ITER 2007 NEW BEST:: SOT 122962482 SOS 80101943 HAS SOPS 65300730 HAS SOUS 21171282 HAS SOUPS 20600470 WITH SCORE 2.0680571943E7
AT ITER 2013 NEW BEST:: SOT 122965147 SOS 80106399 HAS SOPS 65303745 HAS SOUS 21168500 HAS SOUPS 20597688 WITH SCORE 2.0677794399E7
AT ITER 2023 NEW BEST:: SOT 122958233 SOS 80099485 HAS SOPS 65296831 HAS SOUS 21162226 HAS SOUPS 20591414 WITH SCORE 2.0671513485E7
AT ITER 2042 NEW BEST:: SOT 122948668 SOS 80089439 HAS SOPS 65285993 HAS SOUS 21155120 HAS SOUPS 20584214 WITH SCORE 2.0664303439E7
AT ITER 2043 NEW BEST:: SOT 122928158 SOS 80051366 HAS SOPS 65260380 HAS SOUS 21141029 HAS SOUPS 20570123 WITH SCORE 2.0650174366E7
AT ITER 2046 NEW BEST:: SOT 122924674 SOS 80047094 HAS SOPS 65255131 HAS SOUS 21134997 HAS SOUPS 20564119 WITH SCORE 2.0644166094E7
AT ITER 2066 NEW BEST:: SOT 122930029 SOS 80073158 HAS SOPS 65271075 HAS SOUS 21113200 HAS SOUPS 20542322 WITH SCORE 2.0622395158E7
AT ITER 2077 NEW BEST:: SOT 122926050 SOS 80068632 HAS SOPS 65268537 HAS SOUS 21111396 HAS SOUPS 20540518 WITH SCORE 2.0620586632E7
AT ITER 2108 NEW BEST:: SOT 122924823 SOS 80068323 HAS SOPS 65268210 HAS SOUS 21108676 HAS SOUPS 20537341 WITH SCORE 2.0617409323E7
AT ITER 2117 NEW BEST:: SOT 122924469 SOS 80068115 HAS SOPS 65268847 HAS SOUS 21107836 HAS SOUPS 20536501 WITH SCORE 2.0616569115E7
AT ITER 2128 NEW BEST:: SOT 122924642 SOS 80077674 HAS SOPS 65315144 HAS SOUS 21100117 HAS SOUPS 20529092 WITH SCORE 2.0609169674E7
AT ITER 2129 NEW BEST:: SOT 122913027 SOS 80030530 HAS SOPS 65278510 HAS SOUS 21099532 HAS SOUPS 20528641 WITH SCORE 2.060867153E7
AT ITER 2136 NEW BEST:: SOT 122914257 SOS 80032986 HAS SOPS 65280874 HAS SOUS 21096442 HAS SOUPS 20525576 WITH SCORE 2.0605608986E7
AT ITER 2149 NEW BEST:: SOT 122912680 SOS 80031226 HAS SOPS 65278726 HAS SOUS 21094737 HAS SOUPS 20523871 WITH SCORE 2.0603902226E7
AT ITER 2156 NEW BEST:: SOT 122912078 SOS 80030653 HAS SOPS 65278483 HAS SOUS 21094028 HAS SOUPS 20523048 WITH SCORE 2.0603078653E7
AT ITER 2175 NEW BEST:: SOT 122927000 SOS 80073585 HAS SOPS 65314194 HAS SOUS 21067645 HAS SOUPS 20496830 WITH SCORE 2.0576903585E7
AT ITER 2177 NEW BEST:: SOT 122924074 SOS 80060359 HAS SOPS 65300971 HAS SOUS 21060261 HAS SOUPS 20489446 WITH SCORE 2.0569506359E7
AT ITER 2200 NEW BEST:: SOT 122911935 SOS 80039648 HAS SOPS 65287286 HAS SOUS 21052085 HAS SOUPS 20481387 WITH SCORE 2.0561426648E7
AT ITER 2222 NEW BEST:: SOT 122911149 SOS 80048808 HAS SOPS 65290516 HAS SOUS 21045389 HAS SOUPS 20474691 WITH SCORE 2.0554739808E7
AT ITER 2229 NEW BEST:: SOT 122905004 SOS 80036361 HAS SOPS 65276318 HAS SOUS 21036048 HAS SOUPS 20465350 WITH SCORE 2.0545386361E7
AT ITER 2256 NEW BEST:: SOT 122902558 SOS 80023894 HAS SOPS 65271230 HAS SOUS 21032543 HAS SOUPS 20462225 WITH SCORE 2.0542248894E7
AT ITER 2259 NEW BEST:: SOT 122885943 SOS 79994808 HAS SOPS 65239662 HAS SOUS 21018514 HAS SOUPS 20448196 WITH SCORE 2.0528190808E7
AT ITER 2265 NEW BEST:: SOT 122878034 SOS 79984731 HAS SOPS 65230617 HAS SOUS 20998230 HAS SOUPS 20428013 WITH SCORE 2.0507997731E7
AT ITER 2271 NEW BEST:: SOT 122875191 SOS 79981618 HAS SOPS 65227615 HAS SOUS 20992967 HAS SOUPS 20422750 WITH SCORE 2.0502731618E7
AT ITER 2274 NEW BEST:: SOT 122872181 SOS 79978948 HAS SOPS 65225132 HAS SOUS 20988699 HAS SOUPS 20418499 WITH SCORE 2.0498477948E7
AT ITER 2282 NEW BEST:: SOT 122874095 SOS 79983507 HAS SOPS 65225783 HAS SOUS 20979986 HAS SOUPS 20409736 WITH SCORE 2.0489719507E7
AT ITER 2286 NEW BEST:: SOT 122874682 SOS 79981061 HAS SOPS 65221003 HAS SOUS 20979909 HAS SOUPS 20409659 WITH SCORE 2.0489640061E7
AT ITER 2304 NEW BEST:: SOT 122872795 SOS 79980974 HAS SOPS 65220464 HAS SOUS 20972424 HAS SOUPS 20402174 WITH SCORE 2.0482154974E7
AT ITER 2306 NEW BEST:: SOT 122880020 SOS 80002795 HAS SOPS 65229536 HAS SOUS 20960429 HAS SOUPS 20390179 WITH SCORE 2.0470181795E7
AT ITER 2308 NEW BEST:: SOT 122896400 SOS 80042283 HAS SOPS 65258338 HAS SOUS 20958987 HAS SOUPS 20388737 WITH SCORE 2.0468779283E7
AT ITER 2342 NEW BEST:: SOT 122890910 SOS 80038309 HAS SOPS 65252917 HAS SOUS 20949988 HAS SOUPS 20379738 WITH SCORE 2.0459776309E7
AT ITER 2345 NEW BEST:: SOT 122931938 SOS 80137773 HAS SOPS 65322887 HAS SOUS 20930656 HAS SOUPS 20359264 WITH SCORE 2.0439401773E7
AT ITER 2353 NEW BEST:: SOT 122934081 SOS 80148345 HAS SOPS 65318794 HAS SOUS 20912670 HAS SOUPS 20341234 WITH SCORE 2.0421382345E7
AT ITER 2361 NEW BEST:: SOT 122934740 SOS 80150824 HAS SOPS 65327421 HAS SOUS 20905627 HAS SOUPS 20334191 WITH SCORE 2.0414341824E7
AT ITER 2371 NEW BEST:: SOT 122934001 SOS 80150932 HAS SOPS 65336097 HAS SOUS 20900530 HAS SOUPS 20329094 WITH SCORE 2.0409244932E7
AT ITER 2374 NEW BEST:: SOT 122934001 SOS 80162561 HAS SOPS 65347629 HAS SOUS 20900258 HAS SOUPS 20328822 WITH SCORE 2.0408984561E7
AT ITER 2379 NEW BEST:: SOT 122932644 SOS 80157409 HAS SOPS 65348470 HAS SOUS 20898101 HAS SOUPS 20326665 WITH SCORE 2.0406822409E7
AT ITER 2391 NEW BEST:: SOT 122926172 SOS 80144238 HAS SOPS 65339105 HAS SOUS 20872335 HAS SOUPS 20300899 WITH SCORE 2.0381043238E7
AT ITER 2393 NEW BEST:: SOT 122925124 SOS 80145200 HAS SOPS 65339033 HAS SOUS 20866545 HAS SOUPS 20295074 WITH SCORE 2.03752192E7
AT ITER 2405 NEW BEST:: SOT 122935047 SOS 80161333 HAS SOPS 65364530 HAS SOUS 20857592 HAS SOUPS 20286121 WITH SCORE 2.0366282333E7
AT ITER 2414 NEW BEST:: SOT 122935100 SOS 80164450 HAS SOPS 65346984 HAS SOUS 20850780 HAS SOUPS 20279309 WITH SCORE 2.035947345E7

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="RERS17pb115-PT-9"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-9, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502500212"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-9.tgz
mv RERS17pb115-PT-9 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;