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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 07:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:40 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.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 21:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:27 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-4-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-4-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589759443319

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 4
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 8 NEW BEST:: SOT 123434451 SOS 80227078 HAS SOPS 65212474 HAS SOUS 24049125 HAS SOUPS 23476554 WITH SCORE 2.3556781078E7
AT ITER 15 NEW BEST:: SOT 123438740 SOS 80245866 HAS SOPS 65237042 HAS SOUS 24044987 HAS SOUPS 23472716 WITH SCORE 2.3552961866E7
AT ITER 23 NEW BEST:: SOT 123422549 SOS 80217572 HAS SOPS 65207814 HAS SOUS 24031744 HAS SOUPS 23459236 WITH SCORE 2.3539453572E7
AT ITER 32 NEW BEST:: SOT 123422421 SOS 80220580 HAS SOPS 65209750 HAS SOUS 24031480 HAS SOUPS 23458972 WITH SCORE 2.353919258E7
AT ITER 71 NEW BEST:: SOT 123422336 SOS 80220723 HAS SOPS 65209773 HAS SOUS 24031165 HAS SOUPS 23458657 WITH SCORE 2.3538877723E7
AT ITER 78 NEW BEST:: SOT 123420979 SOS 80217481 HAS SOPS 65208597 HAS SOUS 24026620 HAS SOUPS 23454112 WITH SCORE 2.3534329481E7
AT ITER 94 NEW BEST:: SOT 123420979 SOS 80226053 HAS SOPS 65222609 HAS SOUS 24026605 HAS SOUPS 23454097 WITH SCORE 2.3534323053E7
AT ITER 97 NEW BEST:: SOT 123416646 SOS 80217206 HAS SOPS 65214965 HAS SOUS 24023610 HAS SOUPS 23451102 WITH SCORE 2.3531319206E7
AT ITER 100 NEW BEST:: SOT 123408210 SOS 80196295 HAS SOPS 65200889 HAS SOUS 24016624 HAS SOUPS 23444116 WITH SCORE 2.3524312295E7
AT ITER 113 NEW BEST:: SOT 123406071 SOS 80193407 HAS SOPS 65199168 HAS SOUS 24011923 HAS SOUPS 23439767 WITH SCORE 2.3519960407E7
AT ITER 121 NEW BEST:: SOT 123405765 SOS 80193155 HAS SOPS 65199294 HAS SOUS 24011245 HAS SOUPS 23439089 WITH SCORE 2.3519282155E7
AT ITER 126 NEW BEST:: SOT 123405897 SOS 80200903 HAS SOPS 65196331 HAS SOUS 23992814 HAS SOUPS 23420658 WITH SCORE 2.3500858903E7
AT ITER 128 NEW BEST:: SOT 123394552 SOS 80177314 HAS SOPS 65176249 HAS SOUS 23983027 HAS SOUPS 23410871 WITH SCORE 2.3491048314E7
AT ITER 131 NEW BEST:: SOT 123443903 SOS 80278785 HAS SOPS 65286393 HAS SOUS 23973830 HAS SOUPS 23401770 WITH SCORE 2.3482048785E7
AT ITER 134 NEW BEST:: SOT 123441312 SOS 80276260 HAS SOPS 65283186 HAS SOUS 23970026 HAS SOUPS 23397768 WITH SCORE 2.347804426E7
AT ITER 135 NEW BEST:: SOT 123435517 SOS 80265940 HAS SOPS 65273651 HAS SOUS 23963116 HAS SOUPS 23390858 WITH SCORE 2.347112394E7
AT ITER 139 NEW BEST:: SOT 123427871 SOS 80263219 HAS SOPS 65265914 HAS SOUS 23943645 HAS SOUPS 23371387 WITH SCORE 2.3451650219E7
AT ITER 142 NEW BEST:: SOT 123411431 SOS 80261416 HAS SOPS 65284752 HAS SOUS 23934276 HAS SOUPS 23362018 WITH SCORE 2.3442279416E7
AT ITER 176 NEW BEST:: SOT 123433717 SOS 80304901 HAS SOPS 65349803 HAS SOUS 23922463 HAS SOUPS 23350068 WITH SCORE 2.3430372901E7
AT ITER 184 NEW BEST:: SOT 123428997 SOS 80308569 HAS SOPS 65370545 HAS SOUS 23902351 HAS SOUPS 23330289 WITH SCORE 2.3410597569E7
AT ITER 215 NEW BEST:: SOT 123425073 SOS 80304669 HAS SOPS 65366509 HAS SOUS 23897935 HAS SOUPS 23325849 WITH SCORE 2.3406153669E7
AT ITER 217 NEW BEST:: SOT 123412548 SOS 80272358 HAS SOPS 65345205 HAS SOUS 23897336 HAS SOUPS 23325250 WITH SCORE 2.3405522358E7
AT ITER 221 NEW BEST:: SOT 123416752 SOS 80283741 HAS SOPS 65351583 HAS SOUS 23894861 HAS SOUPS 23322775 WITH SCORE 2.3403058741E7
AT ITER 224 NEW BEST:: SOT 123416189 SOS 80283150 HAS SOPS 65350931 HAS SOUS 23894002 HAS SOUPS 23321916 WITH SCORE 2.340219915E7
AT ITER 227 NEW BEST:: SOT 123413060 SOS 80284610 HAS SOPS 65346036 HAS SOUS 23870060 HAS SOUPS 23297974 WITH SCORE 2.337825861E7
AT ITER 229 NEW BEST:: SOT 123400079 SOS 80270434 HAS SOPS 65340872 HAS SOUS 23867740 HAS SOUPS 23295654 WITH SCORE 2.3375924434E7
AT ITER 230 NEW BEST:: SOT 123382667 SOS 80240031 HAS SOPS 65322495 HAS SOUS 23861255 HAS SOUPS 23289124 WITH SCORE 2.3369364031E7
AT ITER 242 NEW BEST:: SOT 123418120 SOS 80292618 HAS SOPS 65369103 HAS SOUS 23849378 HAS SOUPS 23278369 WITH SCORE 2.3358661618E7
AT ITER 258 NEW BEST:: SOT 123392570 SOS 80241916 HAS SOPS 65325595 HAS SOUS 23826223 HAS SOUPS 23255214 WITH SCORE 2.3335455916E7
AT ITER 275 NEW BEST:: SOT 123392087 SOS 80241231 HAS SOPS 65324755 HAS SOUS 23825954 HAS SOUPS 23254945 WITH SCORE 2.3335186231E7
AT ITER 276 NEW BEST:: SOT 123406482 SOS 80272672 HAS SOPS 65355319 HAS SOUS 23824531 HAS SOUPS 23253522 WITH SCORE 2.3333794672E7
AT ITER 291 NEW BEST:: SOT 123406517 SOS 80282635 HAS SOPS 65363695 HAS SOUS 23823376 HAS SOUPS 23252367 WITH SCORE 2.3332649635E7
AT ITER 294 NEW BEST:: SOT 123406517 SOS 80285035 HAS SOPS 65366863 HAS SOUS 23823312 HAS SOUPS 23252303 WITH SCORE 2.3332588035E7
AT ITER 298 NEW BEST:: SOT 123366799 SOS 80239338 HAS SOPS 65320751 HAS SOUS 23774749 HAS SOUPS 23203969 WITH SCORE 2.3284208338E7
AT ITER 300 NEW BEST:: SOT 123353208 SOS 80222942 HAS SOPS 65304575 HAS SOUS 23754388 HAS SOUPS 23183681 WITH SCORE 2.3263903942E7
AT ITER 305 NEW BEST:: SOT 123343153 SOS 80203053 HAS SOPS 65287099 HAS SOUS 23743181 HAS SOUPS 23172474 WITH SCORE 2.3252677053E7
AT ITER 309 NEW BEST:: SOT 123344958 SOS 80213717 HAS SOPS 65296298 HAS SOUS 23736669 HAS SOUPS 23165962 WITH SCORE 2.3246175717E7
AT ITER 315 NEW BEST:: SOT 123354719 SOS 80255817 HAS SOPS 65329599 HAS SOUS 23718674 HAS SOUPS 23147967 WITH SCORE 2.3228222817E7
AT ITER 316 NEW BEST:: SOT 123328078 SOS 80229176 HAS SOPS 65302894 HAS SOUS 23691617 HAS SOUPS 23120910 WITH SCORE 2.3201139176E7
AT ITER 320 NEW BEST:: SOT 123330772 SOS 80232913 HAS SOPS 65303526 HAS SOUS 23689864 HAS SOUPS 23119515 WITH SCORE 2.3199747913E7
AT ITER 324 NEW BEST:: SOT 123383266 SOS 80306606 HAS SOPS 65363707 HAS SOUS 23688580 HAS SOUPS 23118231 WITH SCORE 2.3198537606E7
AT ITER 325 NEW BEST:: SOT 123373657 SOS 80288747 HAS SOPS 65350773 HAS SOUS 23683628 HAS SOUPS 23113365 WITH SCORE 2.3193653747E7
AT ITER 328 NEW BEST:: SOT 123373030 SOS 80287522 HAS SOPS 65350497 HAS SOUS 23683089 HAS SOUPS 23112836 WITH SCORE 2.3193123522E7
AT ITER 338 NEW BEST:: SOT 123388028 SOS 80315078 HAS SOPS 65379324 HAS SOUS 23676933 HAS SOUPS 23106680 WITH SCORE 2.3186995078E7
AT ITER 339 NEW BEST:: SOT 123337424 SOS 80267334 HAS SOPS 65326607 HAS SOUS 23613900 HAS SOUPS 23043626 WITH SCORE 2.3123893334E7
AT ITER 341 NEW BEST:: SOT 123338014 SOS 80265810 HAS SOPS 65325594 HAS SOUS 23613720 HAS SOUPS 23043446 WITH SCORE 2.312371181E7
AT ITER 344 NEW BEST:: SOT 123396948 SOS 80331834 HAS SOPS 65391466 HAS SOUS 23614640 HAS SOUPS 23042479 WITH SCORE 2.3122810834E7
AT ITER 360 NEW BEST:: SOT 123392283 SOS 80322224 HAS SOPS 65383770 HAS SOUS 23608748 HAS SOUPS 23036686 WITH SCORE 2.3117008224E7
AT ITER 378 NEW BEST:: SOT 123396876 SOS 80336568 HAS SOPS 65383043 HAS SOUS 23589484 HAS SOUPS 23017373 WITH SCORE 2.3097709568E7
AT ITER 388 NEW BEST:: SOT 123393020 SOS 80332223 HAS SOPS 65378642 HAS SOUS 23590628 HAS SOUPS 23014003 WITH SCORE 2.3094335223E7
AT ITER 394 NEW BEST:: SOT 123390768 SOS 80332200 HAS SOPS 65386622 HAS SOUS 23579463 HAS SOUPS 23002671 WITH SCORE 2.30830032E7
AT ITER 396 NEW BEST:: SOT 123390822 SOS 80353342 HAS SOPS 65409028 HAS SOUS 23579214 HAS SOUPS 23002422 WITH SCORE 2.3082775342E7
AT ITER 399 NEW BEST:: SOT 123391574 SOS 80354595 HAS SOPS 65410816 HAS SOUS 23579008 HAS SOUPS 23002216 WITH SCORE 2.3082570595E7
AT ITER 401 NEW BEST:: SOT 123390398 SOS 80357271 HAS SOPS 65417257 HAS SOUS 23554677 HAS SOUPS 22978500 WITH SCORE 2.3058857271E7
AT ITER 413 NEW BEST:: SOT 123396786 SOS 80372405 HAS SOPS 65434581 HAS SOUS 23544560 HAS SOUPS 22968383 WITH SCORE 2.3048755405E7
AT ITER 422 NEW BEST:: SOT 123395413 SOS 80369630 HAS SOPS 65431674 HAS SOUS 23542923 HAS SOUPS 22966746 WITH SCORE 2.304711563E7
AT ITER 433 NEW BEST:: SOT 123393575 SOS 80366391 HAS SOPS 65428121 HAS SOUS 23539439 HAS SOUPS 22963262 WITH SCORE 2.3043628391E7
AT ITER 443 NEW BEST:: SOT 123377277 SOS 80335466 HAS SOPS 65401803 HAS SOUS 23528351 HAS SOUPS 22952296 WITH SCORE 2.3032631466E7
AT ITER 452 NEW BEST:: SOT 123386116 SOS 80366291 HAS SOPS 65445613 HAS SOUS 23489800 HAS SOUPS 22914069 WITH SCORE 2.2994435291E7
AT ITER 461 NEW BEST:: SOT 123389617 SOS 80378682 HAS SOPS 65459364 HAS SOUS 23477942 HAS SOUPS 22902211 WITH SCORE 2.2982589682E7
AT ITER 480 NEW BEST:: SOT 123376853 SOS 80365797 HAS SOPS 65460614 HAS SOUS 23437450 HAS SOUPS 22862706 WITH SCORE 2.2943071797E7
AT ITER 482 NEW BEST:: SOT 123376724 SOS 80361631 HAS SOPS 65465526 HAS SOUS 23436542 HAS SOUPS 22861798 WITH SCORE 2.2942159631E7
AT ITER 486 NEW BEST:: SOT 123368172 SOS 80356079 HAS SOPS 65463984 HAS SOUS 23391224 HAS SOUPS 22816838 WITH SCORE 2.2897194079E7
AT ITER 497 NEW BEST:: SOT 123364029 SOS 80347866 HAS SOPS 65460288 HAS SOUS 23389642 HAS SOUPS 22815316 WITH SCORE 2.2895663866E7
AT ITER 515 NEW BEST:: SOT 123364629 SOS 80361507 HAS SOPS 65474215 HAS SOUS 23372906 HAS SOUPS 22798580 WITH SCORE 2.2878941507E7
AT ITER 517 NEW BEST:: SOT 123359841 SOS 80358202 HAS SOPS 65460669 HAS SOUS 23348849 HAS SOUPS 22774430 WITH SCORE 2.2854788202E7
AT ITER 542 NEW BEST:: SOT 123362104 SOS 80376465 HAS SOPS 65496995 HAS SOUS 23320712 HAS SOUPS 22746646 WITH SCORE 2.2827022465E7
AT ITER 553 NEW BEST:: SOT 123352071 SOS 80359326 HAS SOPS 65487024 HAS SOUS 23304058 HAS SOUPS 22729992 WITH SCORE 2.2810351326E7
AT ITER 557 NEW BEST:: SOT 123352103 SOS 80378802 HAS SOPS 65511940 HAS SOUS 23303668 HAS SOUPS 22729602 WITH SCORE 2.2809980802E7
AT ITER 565 NEW BEST:: SOT 123351812 SOS 80378519 HAS SOPS 65511529 HAS SOUS 23303123 HAS SOUPS 22729057 WITH SCORE 2.2809435519E7
AT ITER 567 NEW BEST:: SOT 123353950 SOS 80381193 HAS SOPS 65512645 HAS SOUS 23294901 HAS SOUPS 22721536 WITH SCORE 2.2801917193E7
AT ITER 576 NEW BEST:: SOT 123343675 SOS 80364977 HAS SOPS 65502486 HAS SOUS 23274573 HAS SOUPS 22701208 WITH SCORE 2.2781572977E7
AT ITER 587 NEW BEST:: SOT 123335408 SOS 80353170 HAS SOPS 65487411 HAS SOUS 23273962 HAS SOUPS 22700597 WITH SCORE 2.278095017E7
AT ITER 595 NEW BEST:: SOT 123338118 SOS 80359352 HAS SOPS 65492585 HAS SOUS 23273361 HAS SOUPS 22699996 WITH SCORE 2.2780355352E7
AT ITER 598 NEW BEST:: SOT 123336142 SOS 80356974 HAS SOPS 65490402 HAS SOUS 23268707 HAS SOUPS 22695465 WITH SCORE 2.2775821974E7
AT ITER 605 NEW BEST:: SOT 123298490 SOS 80287876 HAS SOPS 65432374 HAS SOUS 23219994 HAS SOUPS 22649057 WITH SCORE 2.2729344876E7
AT ITER 609 NEW BEST:: SOT 123261779 SOS 80232652 HAS SOPS 65377877 HAS SOUS 23164586 HAS SOUPS 22593649 WITH SCORE 2.2673881652E7
AT ITER 616 NEW BEST:: SOT 123261779 SOS 80245876 HAS SOPS 65395709 HAS SOUS 23164542 HAS SOUPS 22593605 WITH SCORE 2.2673850876E7
AT ITER 623 NEW BEST:: SOT 123260331 SOS 80240952 HAS SOPS 65393624 HAS SOUS 23153382 HAS SOUPS 22582559 WITH SCORE 2.2662799952E7
AT ITER 631 NEW BEST:: SOT 123247627 SOS 80221954 HAS SOPS 65378096 HAS SOUS 23115091 HAS SOUPS 22544527 WITH SCORE 2.2624748954E7
AT ITER 643 NEW BEST:: SOT 123251300 SOS 80234186 HAS SOPS 65387784 HAS SOUS 23112054 HAS SOUPS 22541490 WITH SCORE 2.2621724186E7
AT ITER 657 NEW BEST:: SOT 123249579 SOS 80238359 HAS SOPS 65380752 HAS SOUS 23097306 HAS SOUPS 22526457 WITH SCORE 2.2606695359E7
AT ITER 662 NEW BEST:: SOT 123231072 SOS 80233258 HAS SOPS 65380961 HAS SOUS 23020705 HAS SOUPS 22449856 WITH SCORE 2.2530089258E7
AT ITER 668 NEW BEST:: SOT 123198907 SOS 80202227 HAS SOPS 65360654 HAS SOUS 22898613 HAS SOUPS 22328285 WITH SCORE 2.2408487227E7
AT ITER 677 NEW BEST:: SOT 123201125 SOS 80216176 HAS SOPS 65363915 HAS SOUS 22885649 HAS SOUPS 22315321 WITH SCORE 2.2395537176E7
AT ITER 679 NEW BEST:: SOT 123178118 SOS 80209857 HAS SOPS 65350661 HAS SOUS 22856648 HAS SOUPS 22286021 WITH SCORE 2.2366230857E7
AT ITER 687 NEW BEST:: SOT 123175650 SOS 80205198 HAS SOPS 65346624 HAS SOUS 22852763 HAS SOUPS 22282175 WITH SCORE 2.2362380198E7
AT ITER 695 NEW BEST:: SOT 123175909 SOS 80206381 HAS SOPS 65347943 HAS SOUS 22851080 HAS SOUPS 22280492 WITH SCORE 2.2360698381E7
AT ITER 705 NEW BEST:: SOT 123166306 SOS 80194245 HAS SOPS 65332590 HAS SOUS 22836905 HAS SOUPS 22266144 WITH SCORE 2.2346338245E7
AT ITER 707 NEW BEST:: SOT 123220158 SOS 80299128 HAS SOPS 65454798 HAS SOUS 22794144 HAS SOUPS 22224215 WITH SCORE 2.2304514128E7
AT ITER 709 NEW BEST:: SOT 123216011 SOS 80294771 HAS SOPS 65450342 HAS SOUS 22785123 HAS SOUPS 22215353 WITH SCORE 2.2295647771E7
AT ITER 712 NEW BEST:: SOT 123217049 SOS 80296837 HAS SOPS 65455597 HAS SOUS 22784902 HAS SOUPS 22215091 WITH SCORE 2.2295387837E7
AT ITER 713 NEW BEST:: SOT 123194056 SOS 80283109 HAS SOPS 65440497 HAS SOUS 22733502 HAS SOUPS 22163691 WITH SCORE 2.2243974109E7
AT ITER 729 NEW BEST:: SOT 123192866 SOS 80280350 HAS SOPS 65440599 HAS SOUS 22732783 HAS SOUPS 22163011 WITH SCORE 2.224329135E7
AT ITER 736 NEW BEST:: SOT 123192866 SOS 80297870 HAS SOPS 65465415 HAS SOUS 22732612 HAS SOUPS 22162840 WITH SCORE 2.224313787E7
AT ITER 751 NEW BEST:: SOT 123193693 SOS 80300890 HAS SOPS 65467605 HAS SOUS 22730453 HAS SOUPS 22160681 WITH SCORE 2.224098189E7
AT ITER 824 NEW BEST:: SOT 123193655 SOS 80300609 HAS SOPS 65467621 HAS SOUS 22730001 HAS SOUPS 22160256 WITH SCORE 2.2240556609E7
AT ITER 849 NEW BEST:: SOT 123189504 SOS 80298901 HAS SOPS 65475637 HAS SOUS 22728028 HAS SOUPS 22158283 WITH SCORE 2.2238581901E7
AT ITER 850 NEW BEST:: SOT 123189124 SOS 80298513 HAS SOPS 65475009 HAS SOUS 22727468 HAS SOUPS 22157723 WITH SCORE 2.2238021513E7
AT ITER 851 NEW BEST:: SOT 123187855 SOS 80296218 HAS SOPS 65474177 HAS SOUS 22726235 HAS SOUPS 22156490 WITH SCORE 2.2236786218E7
AT ITER 858 NEW BEST:: SOT 123190022 SOS 80313525 HAS SOPS 65492221 HAS SOUS 22703003 HAS SOUPS 22133258 WITH SCORE 2.2213571525E7
AT ITER 860 NEW BEST:: SOT 123188379 SOS 80312332 HAS SOPS 65491385 HAS SOUS 22698084 HAS SOUPS 22128696 WITH SCORE 2.2209008332E7
AT ITER 866 NEW BEST:: SOT 123187736 SOS 80312031 HAS SOPS 65490193 HAS SOUS 22696019 HAS SOUPS 22126631 WITH SCORE 2.2206943031E7
AT ITER 872 NEW BEST:: SOT 123195279 SOS 80335836 HAS SOPS 65515755 HAS SOUS 22695133 HAS SOUPS 22125745 WITH SCORE 2.2206080836E7
AT ITER 878 NEW BEST:: SOT 123195039 SOS 80335456 HAS SOPS 65514171 HAS SOUS 22690037 HAS SOUPS 22120617 WITH SCORE 2.2200952456E7
AT ITER 882 NEW BEST:: SOT 123195039 SOS 80339440 HAS SOPS 65522443 HAS SOUS 22690005 HAS SOUPS 22120585 WITH SCORE 2.220092444E7
AT ITER 883 NEW BEST:: SOT 123170778 SOS 80297616 HAS SOPS 65469025 HAS SOUS 22658199 HAS SOUPS 22088546 WITH SCORE 2.2168843616E7
AT ITER 884 NEW BEST:: SOT 123162499 SOS 80284461 HAS SOPS 65459624 HAS SOUS 22643971 HAS SOUPS 22074386 WITH SCORE 2.2154670461E7
AT ITER 889 NEW BEST:: SOT 123161930 SOS 80284222 HAS SOPS 65459930 HAS SOUS 22640789 HAS SOUPS 22071749 WITH SCORE 2.2152033222E7
AT ITER 896 NEW BEST:: SOT 123163714 SOS 80286275 HAS SOPS 65464223 HAS SOUS 22637404 HAS SOUPS 22068772 WITH SCORE 2.2149058275E7
AT ITER 943 NEW BEST:: SOT 123169797 SOS 80303838 HAS SOPS 65479132 HAS SOUS 22611124 HAS SOUPS 22042492 WITH SCORE 2.2122795838E7
AT ITER 948 NEW BEST:: SOT 123178884 SOS 80326262 HAS SOPS 65493177 HAS SOUS 22562560 HAS SOUPS 21993798 WITH SCORE 2.2074124262E7
AT ITER 976 NEW BEST:: SOT 123177066 SOS 80320630 HAS SOPS 65488592 HAS SOUS 22554789 HAS SOUPS 21986167 WITH SCORE 2.206648763E7
AT ITER 1006 NEW BEST:: SOT 123171494 SOS 80314660 HAS SOPS 65482949 HAS SOUS 22542402 HAS SOUPS 21973826 WITH SCORE 2.205414066E7
AT ITER 1011 NEW BEST:: SOT 123166074 SOS 80306953 HAS SOPS 65475847 HAS SOUS 22536674 HAS SOUPS 21968113 WITH SCORE 2.2048419953E7
AT ITER 1016 NEW BEST:: SOT 123148824 SOS 80261458 HAS SOPS 65438186 HAS SOUS 22535015 HAS SOUPS 21966454 WITH SCORE 2.2046715458E7
AT ITER 1017 NEW BEST:: SOT 123142681 SOS 80257730 HAS SOPS 65421848 HAS SOUS 22513512 HAS SOUPS 21944951 WITH SCORE 2.202520873E7
AT ITER 1028 NEW BEST:: SOT 123141872 SOS 80255802 HAS SOPS 65421722 HAS SOUS 22512448 HAS SOUPS 21943887 WITH SCORE 2.2024142802E7
AT ITER 1029 NEW BEST:: SOT 123150281 SOS 80271064 HAS SOPS 65436813 HAS SOUS 22497054 HAS SOUPS 21928493 WITH SCORE 2.2008764064E7
AT ITER 1034 NEW BEST:: SOT 123150608 SOS 80271396 HAS SOPS 65437257 HAS SOUS 22496578 HAS SOUPS 21928017 WITH SCORE 2.2008288396E7
AT ITER 1053 NEW BEST:: SOT 123145462 SOS 80257847 HAS SOPS 65422554 HAS SOUS 22490885 HAS SOUPS 21922324 WITH SCORE 2.2002581847E7
AT ITER 1060 NEW BEST:: SOT 123145482 SOS 80259920 HAS SOPS 65423395 HAS SOUS 22489992 HAS SOUPS 21921431 WITH SCORE 2.200169092E7
AT ITER 1066 NEW BEST:: SOT 123149734 SOS 80284424 HAS SOPS 65441767 HAS SOUS 22482287 HAS SOUPS 21913632 WITH SCORE 2.1993916424E7
AT ITER 1083 NEW BEST:: SOT 123149289 SOS 80278095 HAS SOPS 65438060 HAS SOUS 22482015 HAS SOUPS 21913360 WITH SCORE 2.1993638095E7
AT ITER 1117 NEW BEST:: SOT 123148169 SOS 80276810 HAS SOPS 65436420 HAS SOUS 22480066 HAS SOUPS 21911411 WITH SCORE 2.199168781E7
AT ITER 1132 NEW BEST:: SOT 123148169 SOS 80304825 HAS SOPS 65490312 HAS SOUS 22479626 HAS SOUPS 21910971 WITH SCORE 2.1991275825E7
AT ITER 1135 NEW BEST:: SOT 123140634 SOS 80296612 HAS SOPS 65480726 HAS SOUS 22465773 HAS SOUPS 21896973 WITH SCORE 2.1977269612E7
AT ITER 1139 NEW BEST:: SOT 123140887 SOS 80299784 HAS SOPS 65481951 HAS SOUS 22464050 HAS SOUPS 21895250 WITH SCORE 2.1975549784E7
AT ITER 1144 NEW BEST:: SOT 123139866 SOS 80297335 HAS SOPS 65478212 HAS SOUS 22460686 HAS SOUPS 21891886 WITH SCORE 2.1972183335E7
AT ITER 1147 NEW BEST:: SOT 123111107 SOS 80254608 HAS SOPS 65440568 HAS SOUS 22424738 HAS SOUPS 21856124 WITH SCORE 2.1936378608E7
AT ITER 1163 NEW BEST:: SOT 123109659 SOS 80251126 HAS SOPS 65438377 HAS SOUS 22420752 HAS SOUPS 21852138 WITH SCORE 2.1932389126E7
AT ITER 1181 NEW BEST:: SOT 123098621 SOS 80238061 HAS SOPS 65435042 HAS SOUS 22418740 HAS SOUPS 21850126 WITH SCORE 2.1930364061E7
AT ITER 1185 NEW BEST:: SOT 123086193 SOS 80227295 HAS SOPS 65425286 HAS SOUS 22389974 HAS SOUPS 21821360 WITH SCORE 2.1901587295E7
AT ITER 1192 NEW BEST:: SOT 123082611 SOS 80227801 HAS SOPS 65417837 HAS SOUS 22374391 HAS SOUPS 21805756 WITH SCORE 2.1885983801E7
AT ITER 1198 NEW BEST:: SOT 123074141 SOS 80219673 HAS SOPS 65406757 HAS SOUS 22354448 HAS SOUPS 21785813 WITH SCORE 2.1866032673E7
AT ITER 1218 NEW BEST:: SOT 123070242 SOS 80216505 HAS SOPS 65402127 HAS SOUS 22348528 HAS SOUPS 21779334 WITH SCORE 2.1859550505E7
AT ITER 1223 NEW BEST:: SOT 123063812 SOS 80205508 HAS SOPS 65389931 HAS SOUS 22336738 HAS SOUPS 21767660 WITH SCORE 2.1847865508E7
AT ITER 1232 NEW BEST:: SOT 123071948 SOS 80210798 HAS SOPS 65395942 HAS SOUS 22331265 HAS SOUPS 21762371 WITH SCORE 2.1842581798E7
AT ITER 1237 NEW BEST:: SOT 123099725 SOS 80278301 HAS SOPS 65466005 HAS SOUS 22317157 HAS SOUPS 21747928 WITH SCORE 2.1828206301E7
AT ITER 1240 NEW BEST:: SOT 123084276 SOS 80261397 HAS SOPS 65448796 HAS SOUS 22304238 HAS SOUPS 21735043 WITH SCORE 2.1815304397E7
AT ITER 1243 NEW BEST:: SOT 123084276 SOS 80269864 HAS SOPS 65463564 HAS SOUS 22304178 HAS SOUPS 21734983 WITH SCORE 2.1815252864E7
AT ITER 1244 NEW BEST:: SOT 123073195 SOS 80286469 HAS SOPS 65484346 HAS SOUS 22303361 HAS SOUPS 21734166 WITH SCORE 2.1814452469E7
AT ITER 1248 NEW BEST:: SOT 122978731 SOS 80191584 HAS SOPS 65384686 HAS SOUS 22199475 HAS SOUPS 21627765 WITH SCORE 2.1707956584E7
AT ITER 1249 NEW BEST:: SOT 122975924 SOS 80188035 HAS SOPS 65381508 HAS SOUS 22196399 HAS SOUPS 21624689 WITH SCORE 2.1704877035E7
AT ITER 1285 NEW BEST:: SOT 122973982 SOS 80186092 HAS SOPS 65379242 HAS SOUS 22195617 HAS SOUPS 21623907 WITH SCORE 2.1704093092E7
AT ITER 1327 NEW BEST:: SOT 122975259 SOS 80187235 HAS SOPS 65379996 HAS SOUS 22192890 HAS SOUPS 21621180 WITH SCORE 2.1701367235E7
AT ITER 1353 NEW BEST:: SOT 122975046 SOS 80187022 HAS SOPS 65379719 HAS SOUS 22192081 HAS SOUPS 21620307 WITH SCORE 2.1700494022E7
AT ITER 1370 NEW BEST:: SOT 122976770 SOS 80186829 HAS SOPS 65385001 HAS SOUS 22181238 HAS SOUPS 21609464 WITH SCORE 2.1689650829E7
AT ITER 1371 NEW BEST:: SOT 122977131 SOS 80187787 HAS SOPS 65385758 HAS SOUS 22180993 HAS SOUPS 21609219 WITH SCORE 2.1689406787E7
AT ITER 1398 NEW BEST:: SOT 123003381 SOS 80253752 HAS SOPS 65445489 HAS SOUS 22179213 HAS SOUPS 21607605 WITH SCORE 2.1687858752E7
AT ITER 1403 NEW BEST:: SOT 123008360 SOS 80270049 HAS SOPS 65462737 HAS SOUS 22178175 HAS SOUPS 21606567 WITH SCORE 2.1686837049E7
AT ITER 1452 NEW BEST:: SOT 123004598 SOS 80268380 HAS SOPS 65467002 HAS SOUS 22178158 HAS SOUPS 21606550 WITH SCORE 2.168681838E7
AT ITER 1461 NEW BEST:: SOT 122999699 SOS 80266563 HAS SOPS 65463983 HAS SOUS 22167064 HAS SOUPS 21595456 WITH SCORE 2.1675722563E7
AT ITER 1467 NEW BEST:: SOT 123009816 SOS 80313022 HAS SOPS 65525392 HAS SOUS 22153480 HAS SOUPS 21581872 WITH SCORE 2.1662185022E7
AT ITER 1468 NEW BEST:: SOT 123009532 SOS 80312698 HAS SOPS 65524934 HAS SOUS 22152931 HAS SOUPS 21581323 WITH SCORE 2.1661635698E7
AT ITER 1474 NEW BEST:: SOT 123028382 SOS 80352169 HAS SOPS 65557468 HAS SOUS 22144350 HAS SOUPS 21572742 WITH SCORE 2.1653094169E7
AT ITER 1479 NEW BEST:: SOT 123108978 SOS 80504912 HAS SOPS 65695235 HAS SOUS 22137918 HAS SOUPS 21566310 WITH SCORE 2.1646814912E7
AT ITER 1493 NEW BEST:: SOT 123092382 SOS 80483366 HAS SOPS 65704718 HAS SOUS 22098852 HAS SOUPS 21527635 WITH SCORE 2.1608118366E7
AT ITER 1517 NEW BEST:: SOT 123089459 SOS 80480797 HAS SOPS 65696890 HAS SOUS 22075831 HAS SOUPS 21504614 WITH SCORE 2.1585094797E7
AT ITER 1521 NEW BEST:: SOT 123088944 SOS 80480132 HAS SOPS 65696265 HAS SOUS 22074686 HAS SOUPS 21503499 WITH SCORE 2.1583979132E7
AT ITER 1522 NEW BEST:: SOT 123084557 SOS 80473866 HAS SOPS 65691179 HAS SOUS 22069419 HAS SOUPS 21498266 WITH SCORE 2.1578739866E7
AT ITER 1524 NEW BEST:: SOT 123046337 SOS 80431807 HAS SOPS 65648806 HAS SOUS 21996006 HAS SOUPS 21424871 WITH SCORE 2.1505302807E7
AT ITER 1532 NEW BEST:: SOT 123052445 SOS 80435584 HAS SOPS 65652038 HAS SOUS 21985332 HAS SOUPS 21414197 WITH SCORE 2.1494632584E7
AT ITER 1565 NEW BEST:: SOT 123028025 SOS 80375421 HAS SOPS 65599510 HAS SOUS 21977787 HAS SOUPS 21406652 WITH SCORE 2.1487027421E7
AT ITER 1575 NEW BEST:: SOT 123027661 SOS 80374626 HAS SOPS 65599069 HAS SOUS 21976858 HAS SOUPS 21405762 WITH SCORE 2.1486136626E7
AT ITER 1582 NEW BEST:: SOT 123026996 SOS 80377446 HAS SOPS 65599608 HAS SOUS 21954830 HAS SOUPS 21383734 WITH SCORE 2.1464111446E7
AT ITER 1586 NEW BEST:: SOT 123027384 SOS 80371061 HAS SOPS 65595236 HAS SOUS 21949021 HAS SOUPS 21377964 WITH SCORE 2.1458335061E7
AT ITER 1606 NEW BEST:: SOT 123025904 SOS 80369757 HAS SOPS 65593460 HAS SOUS 21945696 HAS SOUPS 21374676 WITH SCORE 2.1455045757E7
AT ITER 1621 NEW BEST:: SOT 123021028 SOS 80369065 HAS SOPS 65589175 HAS SOUS 21912962 HAS SOUPS 21342100 WITH SCORE 2.1422469065E7
AT ITER 1624 NEW BEST:: SOT 123020893 SOS 80380720 HAS SOPS 65602828 HAS SOUS 21910690 HAS SOUPS 21339893 WITH SCORE 2.142027372E7
AT ITER 1625 NEW BEST:: SOT 123017505 SOS 80377061 HAS SOPS 65598011 HAS SOUS 21909417 HAS SOUPS 21337528 WITH SCORE 2.1417905061E7
AT ITER 1641 NEW BEST:: SOT 122960489 SOS 80318635 HAS SOPS 65525961 HAS SOUS 21852341 HAS SOUPS 21280540 WITH SCORE 2.1360858635E7
AT ITER 1649 NEW BEST:: SOT 122954787 SOS 80310330 HAS SOPS 65520044 HAS SOUS 21837488 HAS SOUPS 21265687 WITH SCORE 2.134599733E7
AT ITER 1662 NEW BEST:: SOT 122945372 SOS 80289770 HAS SOPS 65501099 HAS SOUS 21835730 HAS SOUPS 21263929 WITH SCORE 2.134421877E7
AT ITER 1671 NEW BEST:: SOT 122945360 SOS 80287838 HAS SOPS 65498975 HAS SOUS 21835720 HAS SOUPS 21263919 WITH SCORE 2.1344206838E7
AT ITER 1688 NEW BEST:: SOT 122955736 SOS 80339157 HAS SOPS 65539014 HAS SOUS 21823593 HAS SOUPS 21251792 WITH SCORE 2.1332131157E7
AT ITER 1696 NEW BEST:: SOT 122955156 SOS 80338763 HAS SOPS 65539900 HAS SOUS 21819216 HAS SOUPS 21247633 WITH SCORE 2.1327971763E7
AT ITER 1714 NEW BEST:: SOT 122954644 SOS 80338716 HAS SOPS 65538429 HAS SOUS 21815603 HAS SOUPS 21244020 WITH SCORE 2.1324358716E7
AT ITER 1742 NEW BEST:: SOT 122952035 SOS 80334477 HAS SOPS 65534035 HAS SOUS 21813284 HAS SOUPS 21241721 WITH SCORE 2.1322055477E7
AT ITER 1745 NEW BEST:: SOT 122970192 SOS 80375826 HAS SOPS 65572109 HAS SOUS 21807303 HAS SOUPS 21235740 WITH SCORE 2.1316115826E7
AT ITER 1749 NEW BEST:: SOT 122971487 SOS 80371664 HAS SOPS 65584008 HAS SOUS 21803708 HAS SOUPS 21232145 WITH SCORE 2.1312516664E7
AT ITER 1771 NEW BEST:: SOT 122972045 SOS 80373764 HAS SOPS 65596697 HAS SOUS 21795461 HAS SOUPS 21223898 WITH SCORE 2.1304271764E7
AT ITER 1781 NEW BEST:: SOT 122960746 SOS 80367136 HAS SOPS 65600270 HAS SOUS 21792237 HAS SOUPS 21220674 WITH SCORE 2.1301041136E7
AT ITER 1782 NEW BEST:: SOT 122958869 SOS 80364759 HAS SOPS 65596584 HAS SOUS 21787754 HAS SOUPS 21216191 WITH SCORE 2.1296555759E7
AT ITER 1797 NEW BEST:: SOT 122959205 SOS 80385439 HAS SOPS 65610107 HAS SOUS 21787453 HAS SOUPS 21215890 WITH SCORE 2.1296275439E7
AT ITER 1827 NEW BEST:: SOT 122959223 SOS 80385430 HAS SOPS 65610239 HAS SOUS 21787313 HAS SOUPS 21215750 WITH SCORE 2.129613543E7
AT ITER 1852 NEW BEST:: SOT 122959138 SOS 80385345 HAS SOPS 65610138 HAS SOUS 21787046 HAS SOUPS 21215483 WITH SCORE 2.1295868345E7
AT ITER 1855 NEW BEST:: SOT 122954955 SOS 80379766 HAS SOPS 65614165 HAS SOUS 21762789 HAS SOUPS 21191640 WITH SCORE 2.1272019766E7
AT ITER 1858 NEW BEST:: SOT 122949623 SOS 80376088 HAS SOPS 65610380 HAS SOUS 21735031 HAS SOUPS 21163898 WITH SCORE 2.1244274088E7
AT ITER 1877 NEW BEST:: SOT 122952077 SOS 80377404 HAS SOPS 65611102 HAS SOUS 21718989 HAS SOUPS 21147875 WITH SCORE 2.1228252404E7
AT ITER 1887 NEW BEST:: SOT 122925349 SOS 80330848 HAS SOPS 65566224 HAS SOUS 21712563 HAS SOUPS 21141449 WITH SCORE 2.1221779848E7
AT ITER 1890 NEW BEST:: SOT 122920226 SOS 80326930 HAS SOPS 65562000 HAS SOUS 21706019 HAS SOUPS 21134905 WITH SCORE 2.121523193E7
AT ITER 1893 NEW BEST:: SOT 122939604 SOS 80397618 HAS SOPS 65624843 HAS SOUS 21704333 HAS SOUPS 21133219 WITH SCORE 2.1213616618E7
AT ITER 1894 NEW BEST:: SOT 122949763 SOS 80423952 HAS SOPS 65652914 HAS SOUS 21690333 HAS SOUPS 21119415 WITH SCORE 2.1199838952E7
AT ITER 1895 NEW BEST:: SOT 122919975 SOS 80375936 HAS SOPS 65607886 HAS SOUS 21651206 HAS SOUPS 21080288 WITH SCORE 2.1160663936E7
AT ITER 1900 NEW BEST:: SOT 122904131 SOS 80343170 HAS SOPS 65581405 HAS SOUS 21626641 HAS SOUPS 21055723 WITH SCORE 2.113606617E7
AT ITER 1904 NEW BEST:: SOT 122904281 SOS 80344652 HAS SOPS 65578608 HAS SOUS 21619497 HAS SOUPS 21048579 WITH SCORE 2.1128923652E7
AT ITER 1908 NEW BEST:: SOT 122902579 SOS 80342539 HAS SOPS 65573804 HAS SOUS 21605677 HAS SOUPS 21034759 WITH SCORE 2.1115101539E7
AT ITER 1914 NEW BEST:: SOT 122904036 SOS 80326829 HAS SOPS 65552149 HAS SOUS 21604236 HAS SOUPS 21033318 WITH SCORE 2.1113644829E7
AT ITER 1923 NEW BEST:: SOT 122839204 SOS 80261821 HAS SOPS 65479861 HAS SOUS 21524710 HAS SOUPS 20953569 WITH SCORE 2.1033830821E7
AT ITER 1924 NEW BEST:: SOT 122841227 SOS 80260706 HAS SOPS 65479908 HAS SOUS 21521819 HAS SOUPS 20950678 WITH SCORE 2.1030938706E7
AT ITER 1927 NEW BEST:: SOT 122851901 SOS 80263004 HAS SOPS 65492533 HAS SOUS 21520303 HAS SOUPS 20949578 WITH SCORE 2.1029841004E7
AT ITER 1933 NEW BEST:: SOT 122850239 SOS 80255493 HAS SOPS 65492728 HAS SOUS 21518009 HAS SOUPS 20947284 WITH SCORE 2.1027539493E7
AT ITER 1938 NEW BEST:: SOT 122811562 SOS 80191303 HAS SOPS 65454423 HAS SOUS 21444034 HAS SOUPS 20873705 WITH SCORE 2.0953896303E7
AT ITER 1953 NEW BEST:: SOT 122800417 SOS 80155933 HAS SOPS 65431125 HAS SOUS 21441461 HAS SOUPS 20871132 WITH SCORE 2.0951287933E7
AT ITER 1962 NEW BEST:: SOT 122800275 SOS 80155785 HAS SOPS 65430931 HAS SOUS 21441245 HAS SOUPS 20870916 WITH SCORE 2.0951071785E7
AT ITER 1964 NEW BEST:: SOT 122801618 SOS 80164084 HAS SOPS 65431711 HAS SOUS 21429049 HAS SOUPS 20856362 WITH SCORE 2.0936526084E7
AT ITER 1966 NEW BEST:: SOT 122793536 SOS 80158258 HAS SOPS 65409383 HAS SOUS 21401427 HAS SOUPS 20828740 WITH SCORE 2.0908898258E7
AT ITER 1971 NEW BEST:: SOT 122789644 SOS 80151758 HAS SOPS 65403882 HAS SOUS 21396976 HAS SOUPS 20824289 WITH SCORE 2.0904440758E7
AT ITER 1978 NEW BEST:: SOT 122782325 SOS 80144439 HAS SOPS 65396531 HAS SOUS 21391833 HAS SOUPS 20819146 WITH SCORE 2.0899290439E7
AT ITER 2000 NEW BEST:: SOT 122778811 SOS 80141038 HAS SOPS 65391274 HAS SOUS 21388535 HAS SOUPS 20815476 WITH SCORE 2.0895617038E7
AT ITER 2020 NEW BEST:: SOT 122778918 SOS 80144938 HAS SOPS 65393903 HAS SOUS 21375100 HAS SOUPS 20805175 WITH SCORE 2.0885319938E7
AT ITER 2026 NEW BEST:: SOT 122813212 SOS 80175287 HAS SOPS 65426177 HAS SOUS 21371977 HAS SOUPS 20802256 WITH SCORE 2.0882431287E7
AT ITER 2030 NEW BEST:: SOT 122815242 SOS 80184515 HAS SOPS 65436751 HAS SOUS 21367902 HAS SOUPS 20798328 WITH SCORE 2.0878512515E7
AT ITER 2033 NEW BEST:: SOT 122814418 SOS 80182092 HAS SOPS 65435917 HAS SOUS 21367090 HAS SOUPS 20797539 WITH SCORE 2.0877721092E7
AT ITER 2034 NEW BEST:: SOT 122814418 SOS 80197051 HAS SOPS 65463546 HAS SOUS 21366340 HAS SOUPS 20796789 WITH SCORE 2.0876986051E7
AT ITER 2040 NEW BEST:: SOT 122813685 SOS 80196132 HAS SOPS 65462585 HAS SOUS 21365502 HAS SOUPS 20795951 WITH SCORE 2.0876147132E7
AT ITER 2045 NEW BEST:: SOT 122813544 SOS 80195991 HAS SOPS 65462692 HAS SOUS 21365475 HAS SOUPS 20795938 WITH SCORE 2.0876133991E7
AT ITER 2057 NEW BEST:: SOT 122805020 SOS 80180114 HAS SOPS 65446346 HAS SOUS 21358144 HAS SOUPS 20788607 WITH SCORE 2.0868787114E7
AT ITER 2067 NEW BEST:: SOT 122805206 SOS 80181038 HAS SOPS 65447000 HAS SOUS 21357614 HAS SOUPS 20788077 WITH SCORE 2.0868258038E7
AT ITER 2074 NEW BEST:: SOT 122805302 SOS 80178812 HAS SOPS 65453319 HAS SOUS 21356041 HAS SOUPS 20786668 WITH SCORE 2.0866846812E7
AT ITER 2078 NEW BEST:: SOT 122811164 SOS 80186750 HAS SOPS 65460487 HAS SOUS 21348822 HAS SOUPS 20779332 WITH SCORE 2.085951875E7
AT ITER 2086 NEW BEST:: SOT 122785758 SOS 80160981 HAS SOPS 65439385 HAS SOUS 21292844 HAS SOUPS 20723354 WITH SCORE 2.0803514981E7
AT ITER 2087 NEW BEST:: SOT 122778463 SOS 80153601 HAS SOPS 65430946 HAS SOUS 21280794 HAS SOUPS 20711259 WITH SCORE 2.0791412601E7
AT ITER 2088 NEW BEST:: SOT 122744394 SOS 80105946 HAS SOPS 65388761 HAS SOUS 21232653 HAS SOUPS 20663118 WITH SCORE 2.0743223946E7
AT ITER 2089 NEW BEST:: SOT 122742994 SOS 80097411 HAS SOPS 65386812 HAS SOUS 21232346 HAS SOUPS 20662811 WITH SCORE 2.0742908411E7
AT ITER 2145 NEW BEST:: SOT 122783907 SOS 80182365 HAS SOPS 65464432 HAS SOUS 21194070 HAS SOUPS 20624535 WITH SCORE 2.0704717365E7
AT ITER 2149 NEW BEST:: SOT 122777796 SOS 80178693 HAS SOPS 65464059 HAS SOUS 21190387 HAS SOUPS 20620852 WITH SCORE 2.0701030693E7
AT ITER 2178 NEW BEST:: SOT 122776978 SOS 80177778 HAS SOPS 65461914 HAS SOUS 21189105 HAS SOUPS 20619578 WITH SCORE 2.0699755778E7
AT ITER 2186 NEW BEST:: SOT 122774351 SOS 80172419 HAS SOPS 65458976 HAS SOUS 21186758 HAS SOUPS 20617431 WITH SCORE 2.0697603419E7

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

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