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-158961502400100.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 RERS17pb114-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-158961502400100
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1589711748046

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 9 NEW BEST:: SOT 133631357 SOS 82181334 HAS SOPS 66731462 HAS SOUS 26422318 HAS SOUPS 25791627 WITH SCORE 2.5873808334E7
AT ITER 12 NEW BEST:: SOT 133622929 SOS 82161593 HAS SOPS 66710981 HAS SOUS 26410973 HAS SOUPS 25780282 WITH SCORE 2.5862443593E7
AT ITER 21 NEW BEST:: SOT 133622100 SOS 82165172 HAS SOPS 66714431 HAS SOUS 26404299 HAS SOUPS 25773608 WITH SCORE 2.5855773172E7
AT ITER 27 NEW BEST:: SOT 133618826 SOS 82159450 HAS SOPS 66707776 HAS SOUS 26394797 HAS SOUPS 25764106 WITH SCORE 2.584626545E7
AT ITER 28 NEW BEST:: SOT 133573701 SOS 82062683 HAS SOPS 66639156 HAS SOUS 26373152 HAS SOUPS 25742685 WITH SCORE 2.5824747683E7
AT ITER 35 NEW BEST:: SOT 133572361 SOS 82045544 HAS SOPS 66621715 HAS SOUS 26370623 HAS SOUPS 25740156 WITH SCORE 2.5822201544E7
AT ITER 38 NEW BEST:: SOT 133567594 SOS 82038968 HAS SOPS 66614406 HAS SOUS 26368425 HAS SOUPS 25737958 WITH SCORE 2.5819996968E7
AT ITER 39 NEW BEST:: SOT 133567355 SOS 82045308 HAS SOPS 66626114 HAS SOUS 26361790 HAS SOUPS 25731323 WITH SCORE 2.5813368308E7
AT ITER 42 NEW BEST:: SOT 133552142 SOS 82010334 HAS SOPS 66604911 HAS SOUS 26360335 HAS SOUPS 25730035 WITH SCORE 2.5812045334E7
AT ITER 46 NEW BEST:: SOT 133551367 SOS 82009118 HAS SOPS 66604192 HAS SOUS 26358950 HAS SOUPS 25728713 WITH SCORE 2.5810722118E7
AT ITER 49 NEW BEST:: SOT 133548217 SOS 81998054 HAS SOPS 66599474 HAS SOUS 26357543 HAS SOUPS 25727306 WITH SCORE 2.5809304054E7
AT ITER 50 NEW BEST:: SOT 133547238 SOS 81997003 HAS SOPS 66597277 HAS SOUS 26354708 HAS SOUPS 25724509 WITH SCORE 2.5806506003E7
AT ITER 72 NEW BEST:: SOT 133581266 SOS 82081282 HAS SOPS 66699823 HAS SOUS 26340755 HAS SOUPS 25710556 WITH SCORE 2.5792637282E7
AT ITER 74 NEW BEST:: SOT 133583009 SOS 82089197 HAS SOPS 66716979 HAS SOUS 26337656 HAS SOUPS 25707457 WITH SCORE 2.5789546197E7
AT ITER 81 NEW BEST:: SOT 133556680 SOS 82027757 HAS SOPS 66666191 HAS SOUS 26315918 HAS SOUPS 25685719 WITH SCORE 2.5767746757E7
AT ITER 87 NEW BEST:: SOT 133553382 SOS 82023079 HAS SOPS 66663023 HAS SOUS 26313316 HAS SOUPS 25683157 WITH SCORE 2.5765180079E7
AT ITER 110 NEW BEST:: SOT 133553299 SOS 82014888 HAS SOPS 66656337 HAS SOUS 26308492 HAS SOUPS 25678333 WITH SCORE 2.5760347888E7
AT ITER 127 NEW BEST:: SOT 133553115 SOS 82014604 HAS SOPS 66655913 HAS SOUS 26308234 HAS SOUPS 25678075 WITH SCORE 2.5760089604E7
AT ITER 129 NEW BEST:: SOT 133554025 SOS 82021429 HAS SOPS 66662326 HAS SOUS 26304581 HAS SOUPS 25674422 WITH SCORE 2.5756443429E7
AT ITER 134 NEW BEST:: SOT 133553942 SOS 82022994 HAS SOPS 66663323 HAS SOUS 26303712 HAS SOUPS 25673553 WITH SCORE 2.5755575994E7
AT ITER 137 NEW BEST:: SOT 133555194 SOS 82027642 HAS SOPS 66666265 HAS SOUS 26289399 HAS SOUPS 25659656 WITH SCORE 2.5741683642E7
AT ITER 146 NEW BEST:: SOT 133553999 SOS 82025961 HAS SOPS 66666407 HAS SOUS 26289259 HAS SOUPS 25659516 WITH SCORE 2.5741541961E7
AT ITER 153 NEW BEST:: SOT 133551270 SOS 82022865 HAS SOPS 66664239 HAS SOUS 26283533 HAS SOUPS 25653790 WITH SCORE 2.5735812865E7
AT ITER 158 NEW BEST:: SOT 133545873 SOS 82017360 HAS SOPS 66656310 HAS SOUS 26272319 HAS SOUPS 25642666 WITH SCORE 2.572468336E7
AT ITER 159 NEW BEST:: SOT 133619060 SOS 82255508 HAS SOPS 66915364 HAS SOUS 26245900 HAS SOUPS 25615659 WITH SCORE 2.5697914508E7
AT ITER 179 NEW BEST:: SOT 133605277 SOS 82252528 HAS SOPS 66919464 HAS SOUS 26178332 HAS SOUPS 25548091 WITH SCORE 2.5630343528E7
AT ITER 192 NEW BEST:: SOT 133604751 SOS 82252030 HAS SOPS 66922549 HAS SOUS 26174635 HAS SOUPS 25544394 WITH SCORE 2.562664603E7
AT ITER 198 NEW BEST:: SOT 133608825 SOS 82278256 HAS SOPS 66965689 HAS SOUS 26173016 HAS SOUPS 25542775 WITH SCORE 2.5625053256E7
AT ITER 199 NEW BEST:: SOT 133603472 SOS 82269087 HAS SOPS 66957288 HAS SOUS 26169266 HAS SOUPS 25539025 WITH SCORE 2.5621294087E7
AT ITER 203 NEW BEST:: SOT 133603639 SOS 82270743 HAS SOPS 66958664 HAS SOUS 26168767 HAS SOUPS 25538526 WITH SCORE 2.5620796743E7
AT ITER 214 NEW BEST:: SOT 133606451 SOS 82286361 HAS SOPS 66973704 HAS SOUS 26167776 HAS SOUPS 25537535 WITH SCORE 2.5619821361E7
AT ITER 218 NEW BEST:: SOT 133605621 SOS 82285566 HAS SOPS 66972854 HAS SOUS 26166495 HAS SOUPS 25536254 WITH SCORE 2.5618539566E7
AT ITER 220 NEW BEST:: SOT 133603848 SOS 82281052 HAS SOPS 66973673 HAS SOUS 26161322 HAS SOUPS 25531081 WITH SCORE 2.5613362052E7
AT ITER 232 NEW BEST:: SOT 133599455 SOS 82267782 HAS SOPS 66960469 HAS SOUS 26159771 HAS SOUPS 25529530 WITH SCORE 2.5611797782E7
AT ITER 234 NEW BEST:: SOT 133612478 SOS 82284394 HAS SOPS 66963872 HAS SOUS 26152453 HAS SOUPS 25522336 WITH SCORE 2.5604620394E7
AT ITER 239 NEW BEST:: SOT 133609062 SOS 82274552 HAS SOPS 66956793 HAS SOUS 26149963 HAS SOUPS 25519846 WITH SCORE 2.5602120552E7
AT ITER 246 NEW BEST:: SOT 133607582 SOS 82290502 HAS SOPS 66971170 HAS SOUS 26120208 HAS SOUPS 25490077 WITH SCORE 2.5572367502E7
AT ITER 263 NEW BEST:: SOT 133610806 SOS 82306550 HAS SOPS 66981370 HAS SOUS 26116809 HAS SOUPS 25486678 WITH SCORE 2.556898455E7
AT ITER 267 NEW BEST:: SOT 133614343 SOS 82314866 HAS SOPS 66985093 HAS SOUS 26112435 HAS SOUPS 25481259 WITH SCORE 2.5563573866E7
AT ITER 274 NEW BEST:: SOT 133614048 SOS 82316469 HAS SOPS 66989035 HAS SOUS 26111292 HAS SOUPS 25480116 WITH SCORE 2.5562432469E7
AT ITER 276 NEW BEST:: SOT 133617176 SOS 82326769 HAS SOPS 66998921 HAS SOUS 26111227 HAS SOUPS 25480051 WITH SCORE 2.5562377769E7
AT ITER 282 NEW BEST:: SOT 133624924 SOS 82334352 HAS SOPS 67025735 HAS SOUS 26106665 HAS SOUPS 25475722 WITH SCORE 2.5558056352E7
AT ITER 301 NEW BEST:: SOT 133628629 SOS 82344930 HAS SOPS 67036680 HAS SOUS 26106028 HAS SOUPS 25475085 WITH SCORE 2.555742993E7
AT ITER 311 NEW BEST:: SOT 133642823 SOS 82370985 HAS SOPS 67066965 HAS SOUS 26085878 HAS SOUPS 25454931 WITH SCORE 2.5537301985E7
AT ITER 314 NEW BEST:: SOT 133622386 SOS 82341557 HAS SOPS 67039110 HAS SOUS 26046674 HAS SOUPS 25415727 WITH SCORE 2.5498068557E7
AT ITER 323 NEW BEST:: SOT 133618107 SOS 82330526 HAS SOPS 67026179 HAS SOUS 26037095 HAS SOUPS 25406148 WITH SCORE 2.5488478526E7
AT ITER 351 NEW BEST:: SOT 133620246 SOS 82341865 HAS SOPS 67036425 HAS SOUS 26036796 HAS SOUPS 25405849 WITH SCORE 2.5488190865E7
AT ITER 356 NEW BEST:: SOT 133620267 SOS 82341853 HAS SOPS 67036224 HAS SOUS 26036796 HAS SOUPS 25405849 WITH SCORE 2.5488190853E7
AT ITER 358 NEW BEST:: SOT 133617845 SOS 82338741 HAS SOPS 67028210 HAS SOUS 26024506 HAS SOUPS 25393559 WITH SCORE 2.5475897741E7
AT ITER 367 NEW BEST:: SOT 133614167 SOS 82327329 HAS SOPS 67015974 HAS SOUS 26021762 HAS SOUPS 25390815 WITH SCORE 2.5473142329E7
AT ITER 380 NEW BEST:: SOT 133613666 SOS 82327654 HAS SOPS 67015576 HAS SOUS 26019171 HAS SOUPS 25388224 WITH SCORE 2.5470551654E7
AT ITER 393 NEW BEST:: SOT 133617989 SOS 82357208 HAS SOPS 67056949 HAS SOUS 25991379 HAS SOUPS 25360432 WITH SCORE 2.5442789208E7
AT ITER 395 NEW BEST:: SOT 133617799 SOS 82355634 HAS SOPS 67055233 HAS SOUS 25990905 HAS SOUPS 25359958 WITH SCORE 2.5442313634E7
AT ITER 399 NEW BEST:: SOT 133582682 SOS 82312535 HAS SOPS 67023058 HAS SOUS 25910443 HAS SOUPS 25281131 WITH SCORE 2.5363443535E7
AT ITER 410 NEW BEST:: SOT 133588187 SOS 82313220 HAS SOPS 67029846 HAS SOUS 25908499 HAS SOUPS 25279187 WITH SCORE 2.536150022E7
AT ITER 419 NEW BEST:: SOT 133570865 SOS 82296719 HAS SOPS 67008571 HAS SOUS 25903733 HAS SOUPS 25273903 WITH SCORE 2.5356199719E7
AT ITER 420 NEW BEST:: SOT 133564053 SOS 82294322 HAS SOPS 67001763 HAS SOUS 25887507 HAS SOUPS 25257677 WITH SCORE 2.5339971322E7
AT ITER 421 NEW BEST:: SOT 133564240 SOS 82292349 HAS SOPS 67000407 HAS SOUS 25885179 HAS SOUPS 25255349 WITH SCORE 2.5337641349E7
AT ITER 443 NEW BEST:: SOT 133567393 SOS 82299423 HAS SOPS 67015894 HAS SOUS 25871625 HAS SOUPS 25241795 WITH SCORE 2.5324094423E7
AT ITER 444 NEW BEST:: SOT 133567807 SOS 82294649 HAS SOPS 67019310 HAS SOUS 25870843 HAS SOUPS 25241013 WITH SCORE 2.5323307649E7
AT ITER 450 NEW BEST:: SOT 133561501 SOS 82288212 HAS SOPS 67011036 HAS SOUS 25855462 HAS SOUPS 25225696 WITH SCORE 2.5307984212E7
AT ITER 468 NEW BEST:: SOT 133561613 SOS 82308682 HAS SOPS 67041050 HAS SOUS 25847465 HAS SOUPS 25217699 WITH SCORE 2.5300007682E7
AT ITER 473 NEW BEST:: SOT 133563743 SOS 82314212 HAS SOPS 67044111 HAS SOUS 25843112 HAS SOUPS 25213346 WITH SCORE 2.5295660212E7
AT ITER 477 NEW BEST:: SOT 133567596 SOS 82325199 HAS SOPS 67057751 HAS SOUS 25838173 HAS SOUPS 25208407 WITH SCORE 2.5290732199E7
AT ITER 478 NEW BEST:: SOT 133581516 SOS 82370040 HAS SOPS 67093389 HAS SOUS 25837982 HAS SOUPS 25208216 WITH SCORE 2.529058604E7
AT ITER 511 NEW BEST:: SOT 133572372 SOS 82358214 HAS SOPS 67080745 HAS SOUS 25823480 HAS SOUPS 25193714 WITH SCORE 2.5276072214E7
AT ITER 521 NEW BEST:: SOT 133574029 SOS 82362257 HAS SOPS 67084167 HAS SOUS 25822222 HAS SOUPS 25192456 WITH SCORE 2.5274818257E7
AT ITER 523 NEW BEST:: SOT 133571295 SOS 82357557 HAS SOPS 67078217 HAS SOUS 25819165 HAS SOUPS 25189399 WITH SCORE 2.5271756557E7
AT ITER 526 NEW BEST:: SOT 133571134 SOS 82353874 HAS SOPS 67074579 HAS SOUS 25816130 HAS SOUPS 25186364 WITH SCORE 2.5268717874E7
AT ITER 528 NEW BEST:: SOT 133572773 SOS 82356203 HAS SOPS 67078457 HAS SOUS 25815463 HAS SOUPS 25185697 WITH SCORE 2.5268053203E7
AT ITER 542 NEW BEST:: SOT 133568470 SOS 82355945 HAS SOPS 67080565 HAS SOUS 25794959 HAS SOUPS 25165193 WITH SCORE 2.5247548945E7
AT ITER 552 NEW BEST:: SOT 133548830 SOS 82328735 HAS SOPS 67096669 HAS SOUS 25787456 HAS SOUPS 25157690 WITH SCORE 2.5240018735E7
AT ITER 562 NEW BEST:: SOT 133510707 SOS 82286764 HAS SOPS 67054493 HAS SOUS 25753519 HAS SOUPS 25123672 WITH SCORE 2.5205958764E7
AT ITER 575 NEW BEST:: SOT 133481969 SOS 82225946 HAS SOPS 67012467 HAS SOUS 25726056 HAS SOUPS 25098905 WITH SCORE 2.5181130946E7
AT ITER 583 NEW BEST:: SOT 133482063 SOS 82226040 HAS SOPS 67012561 HAS SOUS 25725782 HAS SOUPS 25098631 WITH SCORE 2.518085704E7
AT ITER 589 NEW BEST:: SOT 133459836 SOS 82181928 HAS SOPS 66969381 HAS SOUS 25710938 HAS SOUPS 25083787 WITH SCORE 2.5165968928E7
AT ITER 612 NEW BEST:: SOT 133449585 SOS 82166986 HAS SOPS 66956266 HAS SOUS 25699339 HAS SOUPS 25072188 WITH SCORE 2.5154354986E7
AT ITER 614 NEW BEST:: SOT 133443856 SOS 82150393 HAS SOPS 66945331 HAS SOUS 25696931 HAS SOUPS 25069780 WITH SCORE 2.5151930393E7
AT ITER 617 NEW BEST:: SOT 133472283 SOS 82270310 HAS SOPS 67040002 HAS SOUS 25633019 HAS SOUPS 25005868 WITH SCORE 2.508813831E7
AT ITER 623 NEW BEST:: SOT 133469318 SOS 82276447 HAS SOPS 67043352 HAS SOUS 25604542 HAS SOUPS 24977391 WITH SCORE 2.5059667447E7
AT ITER 627 NEW BEST:: SOT 133463272 SOS 82269564 HAS SOPS 67036090 HAS SOUS 25597972 HAS SOUPS 24970821 WITH SCORE 2.5053090564E7
AT ITER 635 NEW BEST:: SOT 133448564 SOS 82252825 HAS SOPS 67019412 HAS SOUS 25569824 HAS SOUPS 24942774 WITH SCORE 2.5025026825E7
AT ITER 639 NEW BEST:: SOT 133448762 SOS 82254000 HAS SOPS 67020741 HAS SOUS 25569755 HAS SOUPS 24942705 WITH SCORE 2.5024959E7
AT ITER 643 NEW BEST:: SOT 133499940 SOS 82302841 HAS SOPS 67069710 HAS SOUS 25563933 HAS SOUPS 24936982 WITH SCORE 2.5019284841E7
AT ITER 645 NEW BEST:: SOT 133478267 SOS 82261776 HAS SOPS 67037969 HAS SOUS 25558286 HAS SOUPS 24931401 WITH SCORE 2.5013662776E7
AT ITER 648 NEW BEST:: SOT 133480037 SOS 82289365 HAS SOPS 67072862 HAS SOUS 25550665 HAS SOUPS 24923780 WITH SCORE 2.5006069365E7
AT ITER 651 NEW BEST:: SOT 133550869 SOS 82442231 HAS SOPS 67234510 HAS SOUS 25545157 HAS SOUPS 24918272 WITH SCORE 2.5000714231E7
AT ITER 671 NEW BEST:: SOT 133551421 SOS 82448059 HAS SOPS 67238953 HAS SOUS 25542893 HAS SOUPS 24916008 WITH SCORE 2.4998456059E7
AT ITER 684 NEW BEST:: SOT 133557276 SOS 82469049 HAS SOPS 67249250 HAS SOUS 25533914 HAS SOUPS 24907029 WITH SCORE 2.4989498049E7
AT ITER 686 NEW BEST:: SOT 133554611 SOS 82465857 HAS SOPS 67246151 HAS SOUS 25527398 HAS SOUPS 24900513 WITH SCORE 2.4982978857E7
AT ITER 691 NEW BEST:: SOT 133554538 SOS 82465784 HAS SOPS 67246078 HAS SOUS 25527245 HAS SOUPS 24900360 WITH SCORE 2.4982825784E7
AT ITER 709 NEW BEST:: SOT 133554622 SOS 82443382 HAS SOPS 67242066 HAS SOUS 25518158 HAS SOUPS 24892285 WITH SCORE 2.4974728382E7
AT ITER 713 NEW BEST:: SOT 133556837 SOS 82449557 HAS SOPS 67241146 HAS SOUS 25495848 HAS SOUPS 24871720 WITH SCORE 2.4954169557E7
AT ITER 716 NEW BEST:: SOT 133562715 SOS 82470051 HAS SOPS 67255006 HAS SOUS 25492402 HAS SOUPS 24868274 WITH SCORE 2.4950744051E7
AT ITER 717 NEW BEST:: SOT 133573797 SOS 82504057 HAS SOPS 67288615 HAS SOUS 25489052 HAS SOUPS 24864924 WITH SCORE 2.4947428057E7
AT ITER 718 NEW BEST:: SOT 133571876 SOS 82501992 HAS SOPS 67286622 HAS SOUS 25486947 HAS SOUPS 24862819 WITH SCORE 2.4945320992E7
AT ITER 733 NEW BEST:: SOT 133566230 SOS 82494642 HAS SOPS 67279617 HAS SOUS 25474061 HAS SOUPS 24849933 WITH SCORE 2.4932427642E7
AT ITER 736 NEW BEST:: SOT 133629897 SOS 82652342 HAS SOPS 67413024 HAS SOUS 25451886 HAS SOUPS 24827758 WITH SCORE 2.4910410342E7
AT ITER 750 NEW BEST:: SOT 133597958 SOS 82591444 HAS SOPS 67366941 HAS SOUS 25404516 HAS SOUPS 24780655 WITH SCORE 2.4863246444E7
AT ITER 754 NEW BEST:: SOT 133574680 SOS 82583498 HAS SOPS 67313447 HAS SOUS 25301971 HAS SOUPS 24678183 WITH SCORE 2.4760766498E7
AT ITER 781 NEW BEST:: SOT 133586356 SOS 82645806 HAS SOPS 67375352 HAS SOUS 25276680 HAS SOUPS 24652892 WITH SCORE 2.4735537806E7
AT ITER 801 NEW BEST:: SOT 133583835 SOS 82642370 HAS SOPS 67372375 HAS SOUS 25274540 HAS SOUPS 24650752 WITH SCORE 2.473339437E7
AT ITER 807 NEW BEST:: SOT 133584382 SOS 82644783 HAS SOPS 67373297 HAS SOUS 25272624 HAS SOUPS 24648836 WITH SCORE 2.4731480783E7
AT ITER 808 NEW BEST:: SOT 133585359 SOS 82652099 HAS SOPS 67380993 HAS SOUS 25271053 HAS SOUPS 24647265 WITH SCORE 2.4729917099E7
AT ITER 825 NEW BEST:: SOT 133629937 SOS 82729008 HAS SOPS 67439666 HAS SOUS 25244458 HAS SOUPS 24623919 WITH SCORE 2.4706648008E7
AT ITER 826 NEW BEST:: SOT 133643832 SOS 82763868 HAS SOPS 67468072 HAS SOUS 25243144 HAS SOUPS 24622605 WITH SCORE 2.4705368868E7
AT ITER 835 NEW BEST:: SOT 133636197 SOS 82757864 HAS SOPS 67463420 HAS SOUS 25224323 HAS SOUPS 24603784 WITH SCORE 2.4686541864E7
AT ITER 838 NEW BEST:: SOT 133622656 SOS 82724437 HAS SOPS 67434097 HAS SOUS 25208892 HAS SOUPS 24588353 WITH SCORE 2.4671077437E7
AT ITER 840 NEW BEST:: SOT 133597422 SOS 82678150 HAS SOPS 67395854 HAS SOUS 25165377 HAS SOUPS 24544838 WITH SCORE 2.462751615E7
AT ITER 843 NEW BEST:: SOT 133593495 SOS 82673037 HAS SOPS 67391830 HAS SOUS 25160404 HAS SOUPS 24539896 WITH SCORE 2.4622569037E7
AT ITER 846 NEW BEST:: SOT 133593474 SOS 82672688 HAS SOPS 67391798 HAS SOUS 25159361 HAS SOUPS 24539015 WITH SCORE 2.4621687688E7
AT ITER 849 NEW BEST:: SOT 133593745 SOS 82672069 HAS SOPS 67395038 HAS SOUS 25158192 HAS SOUPS 24537958 WITH SCORE 2.4620630069E7
AT ITER 866 NEW BEST:: SOT 133524245 SOS 82604421 HAS SOPS 67328540 HAS SOUS 25012821 HAS SOUPS 24392891 WITH SCORE 2.4475495421E7
AT ITER 868 NEW BEST:: SOT 133523718 SOS 82601736 HAS SOPS 67323814 HAS SOUS 25007732 HAS SOUPS 24387802 WITH SCORE 2.4470403736E7
AT ITER 884 NEW BEST:: SOT 133529020 SOS 82616260 HAS SOPS 67333731 HAS SOUS 25005542 HAS SOUPS 24385612 WITH SCORE 2.446822826E7
AT ITER 909 NEW BEST:: SOT 133586353 SOS 82751124 HAS SOPS 67450720 HAS SOUS 24994940 HAS SOUPS 24375010 WITH SCORE 2.4457761124E7
AT ITER 917 NEW BEST:: SOT 133589798 SOS 82751122 HAS SOPS 67447699 HAS SOUS 24985762 HAS SOUPS 24365832 WITH SCORE 2.4448583122E7
AT ITER 922 NEW BEST:: SOT 133583178 SOS 82743531 HAS SOPS 67442306 HAS SOUS 24959322 HAS SOUPS 24339392 WITH SCORE 2.4422135531E7
AT ITER 930 NEW BEST:: SOT 133576505 SOS 82724235 HAS SOPS 67421220 HAS SOUS 24944273 HAS SOUPS 24324343 WITH SCORE 2.4407067235E7
AT ITER 937 NEW BEST:: SOT 133576486 SOS 82726120 HAS SOPS 67422091 HAS SOUS 24941611 HAS SOUPS 24321681 WITH SCORE 2.440440712E7
AT ITER 943 NEW BEST:: SOT 133514244 SOS 82605530 HAS SOPS 67330849 HAS SOUS 24906055 HAS SOUPS 24286521 WITH SCORE 2.436912653E7
AT ITER 949 NEW BEST:: SOT 133511896 SOS 82601729 HAS SOPS 67324677 HAS SOUS 24898810 HAS SOUPS 24279276 WITH SCORE 2.4361877729E7
AT ITER 954 NEW BEST:: SOT 133511736 SOS 82604734 HAS SOPS 67324313 HAS SOUS 24898601 HAS SOUPS 24279067 WITH SCORE 2.4361671734E7
AT ITER 966 NEW BEST:: SOT 133512574 SOS 82605876 HAS SOPS 67325203 HAS SOUS 24879013 HAS SOUPS 24259479 WITH SCORE 2.4342084876E7
AT ITER 968 NEW BEST:: SOT 133524555 SOS 82638711 HAS SOPS 67349743 HAS SOUS 24874681 HAS SOUPS 24255147 WITH SCORE 2.4337785711E7
AT ITER 981 NEW BEST:: SOT 133486832 SOS 82600988 HAS SOPS 67311828 HAS SOUS 24836574 HAS SOUPS 24217040 WITH SCORE 2.4299640988E7
AT ITER 994 NEW BEST:: SOT 133399964 SOS 82515445 HAS SOPS 67215138 HAS SOUS 24743727 HAS SOUPS 24122156 WITH SCORE 2.4204671445E7
AT ITER 998 NEW BEST:: SOT 133388928 SOS 82502116 HAS SOPS 67204566 HAS SOUS 24721516 HAS SOUPS 24100827 WITH SCORE 2.4183329116E7
AT ITER 1016 NEW BEST:: SOT 133353998 SOS 82467034 HAS SOPS 67169484 HAS SOUS 24666414 HAS SOUPS 24045725 WITH SCORE 2.4128192034E7
AT ITER 1023 NEW BEST:: SOT 133358585 SOS 82476593 HAS SOPS 67179199 HAS SOUS 24649936 HAS SOUPS 24029247 WITH SCORE 2.4111723593E7
AT ITER 1037 NEW BEST:: SOT 133300715 SOS 82369585 HAS SOPS 67100762 HAS SOUS 24602244 HAS SOUPS 23984095 WITH SCORE 2.4066464585E7
AT ITER 1038 NEW BEST:: SOT 133296200 SOS 82354142 HAS SOPS 67088545 HAS SOUS 24594029 HAS SOUPS 23975880 WITH SCORE 2.4058234142E7
AT ITER 1061 NEW BEST:: SOT 133293425 SOS 82352065 HAS SOPS 67089910 HAS SOUS 24584852 HAS SOUPS 23966703 WITH SCORE 2.4049055065E7
AT ITER 1067 NEW BEST:: SOT 133296948 SOS 82363225 HAS SOPS 67097387 HAS SOUS 24570002 HAS SOUPS 23951853 WITH SCORE 2.4034216225E7
AT ITER 1070 NEW BEST:: SOT 133286851 SOS 82333854 HAS SOPS 67071838 HAS SOUS 24564649 HAS SOUPS 23946500 WITH SCORE 2.4028833854E7
AT ITER 1082 NEW BEST:: SOT 133285766 SOS 82332321 HAS SOPS 67070585 HAS SOUS 24563471 HAS SOUPS 23945322 WITH SCORE 2.4027654321E7
AT ITER 1090 NEW BEST:: SOT 133283688 SOS 82329303 HAS SOPS 67067107 HAS SOUS 24559073 HAS SOUPS 23940924 WITH SCORE 2.4023253303E7
AT ITER 1094 NEW BEST:: SOT 133309479 SOS 82397443 HAS SOPS 67118401 HAS SOUS 24534300 HAS SOUPS 23916151 WITH SCORE 2.3998548443E7
AT ITER 1095 NEW BEST:: SOT 133297517 SOS 82383736 HAS SOPS 67104725 HAS SOUS 24491733 HAS SOUPS 23874014 WITH SCORE 2.3956397736E7
AT ITER 1099 NEW BEST:: SOT 133295962 SOS 82380656 HAS SOPS 67102564 HAS SOUS 24491226 HAS SOUPS 23873507 WITH SCORE 2.3955887656E7
AT ITER 1129 NEW BEST:: SOT 133295600 SOS 82380395 HAS SOPS 67099930 HAS SOUS 24490324 HAS SOUPS 23872573 WITH SCORE 2.3954953395E7
AT ITER 1132 NEW BEST:: SOT 133295481 SOS 82380416 HAS SOPS 67099783 HAS SOUS 24489945 HAS SOUPS 23872194 WITH SCORE 2.3954574416E7
AT ITER 1133 NEW BEST:: SOT 133270771 SOS 82353030 HAS SOPS 67070446 HAS SOUS 24443116 HAS SOUPS 23826220 WITH SCORE 2.390857303E7
AT ITER 1134 NEW BEST:: SOT 133268981 SOS 82345736 HAS SOPS 67061423 HAS SOUS 24442633 HAS SOUPS 23825737 WITH SCORE 2.3908082736E7
AT ITER 1150 NEW BEST:: SOT 133268779 SOS 82345610 HAS SOPS 67061136 HAS SOUS 24442238 HAS SOUPS 23825342 WITH SCORE 2.390768761E7
AT ITER 1161 NEW BEST:: SOT 133268903 SOS 82343717 HAS SOPS 67067509 HAS SOUS 24441876 HAS SOUPS 23824980 WITH SCORE 2.3907323717E7
AT ITER 1207 NEW BEST:: SOT 133252129 SOS 82323499 HAS SOPS 67047781 HAS SOUS 24423433 HAS SOUPS 23806610 WITH SCORE 2.3888933499E7
AT ITER 1209 NEW BEST:: SOT 133228459 SOS 82281194 HAS SOPS 67019244 HAS SOUS 24392139 HAS SOUPS 23775316 WITH SCORE 2.3857597194E7
AT ITER 1238 NEW BEST:: SOT 133238737 SOS 82346406 HAS SOPS 67082894 HAS SOUS 24337006 HAS SOUPS 23720183 WITH SCORE 2.3802529406E7
AT ITER 1257 NEW BEST:: SOT 133238617 SOS 82346197 HAS SOPS 67082321 HAS SOUS 24336430 HAS SOUPS 23719607 WITH SCORE 2.3801953197E7
AT ITER 1268 NEW BEST:: SOT 133245283 SOS 82377870 HAS SOPS 67110517 HAS SOUS 24313624 HAS SOUPS 23696801 WITH SCORE 2.377917887E7
AT ITER 1293 NEW BEST:: SOT 133208648 SOS 82333772 HAS SOPS 67071840 HAS SOUS 24237000 HAS SOUPS 23620177 WITH SCORE 2.3702510772E7
AT ITER 1318 NEW BEST:: SOT 133204871 SOS 82329929 HAS SOPS 67061844 HAS SOUS 24224259 HAS SOUPS 23607436 WITH SCORE 2.3689765929E7
AT ITER 1319 NEW BEST:: SOT 133172494 SOS 82247282 HAS SOPS 67020260 HAS SOUS 24213715 HAS SOUPS 23596892 WITH SCORE 2.3679139282E7
AT ITER 1330 NEW BEST:: SOT 133191618 SOS 82280142 HAS SOPS 67053438 HAS SOUS 24206412 HAS SOUPS 23590171 WITH SCORE 2.3672451142E7
AT ITER 1344 NEW BEST:: SOT 133174237 SOS 82262614 HAS SOPS 67033206 HAS SOUS 24174371 HAS SOUPS 23558130 WITH SCORE 2.3640392614E7
AT ITER 1345 NEW BEST:: SOT 133191860 SOS 82326653 HAS SOPS 67091480 HAS SOUS 24160859 HAS SOUPS 23544618 WITH SCORE 2.3626944653E7
AT ITER 1347 NEW BEST:: SOT 133196558 SOS 82367292 HAS SOPS 67132712 HAS SOUS 24155752 HAS SOUPS 23539511 WITH SCORE 2.3621878292E7
AT ITER 1348 NEW BEST:: SOT 133190664 SOS 82356594 HAS SOPS 67122726 HAS SOUS 24148249 HAS SOUPS 23532008 WITH SCORE 2.3614364594E7
AT ITER 1353 NEW BEST:: SOT 133179193 SOS 82332189 HAS SOPS 67109617 HAS SOUS 24142121 HAS SOUPS 23525880 WITH SCORE 2.3608212189E7
AT ITER 1359 NEW BEST:: SOT 133181484 SOS 82334076 HAS SOPS 67119176 HAS SOUS 24140874 HAS SOUPS 23524817 WITH SCORE 2.3607151076E7
AT ITER 1373 NEW BEST:: SOT 133177770 SOS 82330362 HAS SOPS 67115430 HAS SOUS 24139592 HAS SOUPS 23523503 WITH SCORE 2.3605833362E7
AT ITER 1374 NEW BEST:: SOT 133180349 SOS 82345256 HAS SOPS 67125447 HAS SOUS 24133143 HAS SOUPS 23517054 WITH SCORE 2.3599399256E7
AT ITER 1393 NEW BEST:: SOT 133188959 SOS 82388026 HAS SOPS 67168199 HAS SOUS 24126355 HAS SOUPS 23510266 WITH SCORE 2.3592654026E7
AT ITER 1394 NEW BEST:: SOT 133186364 SOS 82384713 HAS SOPS 67164660 HAS SOUS 24123150 HAS SOUPS 23507061 WITH SCORE 2.3589445713E7
AT ITER 1404 NEW BEST:: SOT 133184576 SOS 82381609 HAS SOPS 67162173 HAS SOUS 24121021 HAS SOUPS 23504932 WITH SCORE 2.3587313609E7
AT ITER 1410 NEW BEST:: SOT 133189681 SOS 82387646 HAS SOPS 67162220 HAS SOUS 24117399 HAS SOUPS 23501310 WITH SCORE 2.3583697646E7
AT ITER 1412 NEW BEST:: SOT 133182677 SOS 82375320 HAS SOPS 67151105 HAS SOUS 24112053 HAS SOUPS 23495964 WITH SCORE 2.357833932E7
AT ITER 1413 NEW BEST:: SOT 133189478 SOS 82396560 HAS SOPS 67170714 HAS SOUS 24097231 HAS SOUPS 23481135 WITH SCORE 2.356353156E7
AT ITER 1423 NEW BEST:: SOT 133182729 SOS 82385277 HAS SOPS 67159483 HAS SOUS 24085285 HAS SOUPS 23469226 WITH SCORE 2.3551611277E7
AT ITER 1438 NEW BEST:: SOT 133184431 SOS 82399741 HAS SOPS 67168184 HAS SOUS 24080263 HAS SOUPS 23464204 WITH SCORE 2.3546603741E7
AT ITER 1440 NEW BEST:: SOT 133178194 SOS 82390858 HAS SOPS 67159008 HAS SOUS 24069662 HAS SOUPS 23453667 WITH SCORE 2.3536057858E7
AT ITER 1455 NEW BEST:: SOT 133174863 SOS 82379322 HAS SOPS 67149269 HAS SOUS 24064058 HAS SOUPS 23448063 WITH SCORE 2.3530442322E7
AT ITER 1464 NEW BEST:: SOT 133167185 SOS 82354727 HAS SOPS 67130051 HAS SOUS 24057415 HAS SOUPS 23441420 WITH SCORE 2.3523774727E7
AT ITER 1506 NEW BEST:: SOT 133169124 SOS 82365181 HAS SOPS 67142460 HAS SOUS 24055371 HAS SOUPS 23439376 WITH SCORE 2.3521741181E7
AT ITER 1509 NEW BEST:: SOT 133056488 SOS 82240206 HAS SOPS 67009946 HAS SOUS 23900979 HAS SOUPS 23285178 WITH SCORE 2.3367418206E7
AT ITER 1510 NEW BEST:: SOT 133072117 SOS 82287936 HAS SOPS 67039824 HAS SOUS 23896051 HAS SOUPS 23280250 WITH SCORE 2.3362537936E7
AT ITER 1512 NEW BEST:: SOT 133069566 SOS 82290690 HAS SOPS 67039077 HAS SOUS 23884478 HAS SOUPS 23268677 WITH SCORE 2.335096769E7
AT ITER 1541 NEW BEST:: SOT 133066646 SOS 82287839 HAS SOPS 67036267 HAS SOUS 23875146 HAS SOUPS 23259386 WITH SCORE 2.3341673839E7
AT ITER 1548 NEW BEST:: SOT 133065738 SOS 82283329 HAS SOPS 67033323 HAS SOUS 23874062 HAS SOUPS 23258302 WITH SCORE 2.3340585329E7
AT ITER 1554 NEW BEST:: SOT 133063202 SOS 82277142 HAS SOPS 67035435 HAS SOUS 23869953 HAS SOUPS 23254193 WITH SCORE 2.3336470142E7
AT ITER 1556 NEW BEST:: SOT 133049162 SOS 82233426 HAS SOPS 67004269 HAS SOUS 23862470 HAS SOUPS 23246710 WITH SCORE 2.3328943426E7
AT ITER 1559 NEW BEST:: SOT 133033808 SOS 82217103 HAS SOPS 66983978 HAS SOUS 23856810 HAS SOUPS 23241050 WITH SCORE 2.3323267103E7
AT ITER 1571 NEW BEST:: SOT 133035820 SOS 82222960 HAS SOPS 66983837 HAS SOUS 23851598 HAS SOUPS 23235838 WITH SCORE 2.331806096E7
AT ITER 1573 NEW BEST:: SOT 133034457 SOS 82221436 HAS SOPS 66983816 HAS SOUS 23851215 HAS SOUPS 23235455 WITH SCORE 2.3317676436E7
AT ITER 1603 NEW BEST:: SOT 133021652 SOS 82192413 HAS SOPS 66955893 HAS SOUS 23837652 HAS SOUPS 23221892 WITH SCORE 2.3304084413E7
AT ITER 1615 NEW BEST:: SOT 133021077 SOS 82191218 HAS SOPS 66954926 HAS SOUS 23837249 HAS SOUPS 23221489 WITH SCORE 2.3303680218E7
AT ITER 1632 NEW BEST:: SOT 133058370 SOS 82272050 HAS SOPS 67017585 HAS SOUS 23830046 HAS SOUPS 23214286 WITH SCORE 2.329655805E7
AT ITER 1633 NEW BEST:: SOT 133047561 SOS 82237095 HAS SOPS 66987662 HAS SOUS 23820333 HAS SOUPS 23204573 WITH SCORE 2.3286810095E7
AT ITER 1634 NEW BEST:: SOT 133045450 SOS 82230074 HAS SOPS 66988551 HAS SOUS 23814690 HAS SOUPS 23198930 WITH SCORE 2.3281160074E7
AT ITER 1670 NEW BEST:: SOT 133043813 SOS 82228437 HAS SOPS 66986914 HAS SOUS 23813053 HAS SOUPS 23197293 WITH SCORE 2.3279521437E7
AT ITER 1685 NEW BEST:: SOT 133043977 SOS 82229292 HAS SOPS 66988225 HAS SOUS 23810573 HAS SOUPS 23194813 WITH SCORE 2.3277042292E7
AT ITER 1693 NEW BEST:: SOT 133026173 SOS 82213151 HAS SOPS 66992520 HAS SOUS 23771896 HAS SOUPS 23156150 WITH SCORE 2.3238363151E7
AT ITER 1695 NEW BEST:: SOT 133023518 SOS 82210496 HAS SOPS 66990857 HAS SOUS 23771201 HAS SOUPS 23155487 WITH SCORE 2.3237697496E7
AT ITER 1698 NEW BEST:: SOT 133029962 SOS 82231155 HAS SOPS 67002255 HAS SOUS 23769216 HAS SOUPS 23153502 WITH SCORE 2.3235733155E7
AT ITER 1703 NEW BEST:: SOT 133021795 SOS 82222952 HAS SOPS 66994052 HAS SOUS 23760049 HAS SOUPS 23144335 WITH SCORE 2.3226557952E7
AT ITER 1714 NEW BEST:: SOT 132954878 SOS 82077971 HAS SOPS 66876783 HAS SOUS 23701182 HAS SOUPS 23085468 WITH SCORE 2.3167545971E7
AT ITER 1723 NEW BEST:: SOT 132950337 SOS 82068313 HAS SOPS 66871078 HAS SOUS 23698232 HAS SOUPS 23082889 WITH SCORE 2.3164957313E7
AT ITER 1725 NEW BEST:: SOT 132946959 SOS 82065049 HAS SOPS 66866073 HAS SOUS 23690226 HAS SOUPS 23074883 WITH SCORE 2.3156948049E7
AT ITER 1732 NEW BEST:: SOT 132942360 SOS 82058495 HAS SOPS 66861940 HAS SOUS 23675338 HAS SOUPS 23060190 WITH SCORE 2.3142248495E7
AT ITER 1746 NEW BEST:: SOT 132903246 SOS 82015639 HAS SOPS 66818627 HAS SOUS 23648602 HAS SOUPS 23033626 WITH SCORE 2.3115641639E7
AT ITER 1771 NEW BEST:: SOT 132900546 SOS 82008831 HAS SOPS 66819078 HAS SOUS 23634263 HAS SOUPS 23019287 WITH SCORE 2.3101295831E7
AT ITER 1783 NEW BEST:: SOT 132900977 SOS 82008868 HAS SOPS 66819125 HAS SOUS 23630816 HAS SOUPS 23016000 WITH SCORE 2.3098008868E7
AT ITER 1798 NEW BEST:: SOT 132903336 SOS 82021055 HAS SOPS 66826677 HAS SOUS 23623691 HAS SOUPS 23008875 WITH SCORE 2.3090896055E7
AT ITER 1813 NEW BEST:: SOT 132900004 SOS 82029368 HAS SOPS 66839779 HAS SOUS 23603536 HAS SOUPS 22988720 WITH SCORE 2.3070749368E7
AT ITER 1817 NEW BEST:: SOT 132892264 SOS 82013299 HAS SOPS 66830754 HAS SOUS 23591022 HAS SOUPS 22976301 WITH SCORE 2.3058314299E7
AT ITER 1818 NEW BEST:: SOT 132908595 SOS 82058039 HAS SOPS 66869598 HAS SOUS 23587947 HAS SOUPS 22973226 WITH SCORE 2.3055284039E7
AT ITER 1833 NEW BEST:: SOT 132907121 SOS 82054452 HAS SOPS 66867678 HAS SOUS 23587662 HAS SOUPS 22972941 WITH SCORE 2.3054995452E7
AT ITER 1879 NEW BEST:: SOT 132898751 SOS 82045052 HAS SOPS 66859433 HAS SOUS 23565819 HAS SOUPS 22951140 WITH SCORE 2.3033185052E7
AT ITER 1888 NEW BEST:: SOT 132894492 SOS 82038522 HAS SOPS 66851845 HAS SOUS 23554659 HAS SOUPS 22939980 WITH SCORE 2.3022018522E7
AT ITER 1899 NEW BEST:: SOT 132902049 SOS 82065469 HAS SOPS 66870417 HAS SOUS 23548267 HAS SOUPS 22933588 WITH SCORE 2.3015653469E7
AT ITER 1914 NEW BEST:: SOT 132901149 SOS 82065642 HAS SOPS 66869885 HAS SOUS 23546671 HAS SOUPS 22931992 WITH SCORE 2.3014057642E7
AT ITER 1934 NEW BEST:: SOT 132901889 SOS 82072121 HAS SOPS 66872040 HAS SOUS 23544814 HAS SOUPS 22930135 WITH SCORE 2.3012207121E7
AT ITER 1939 NEW BEST:: SOT 132881834 SOS 82042399 HAS SOPS 66849795 HAS SOUS 23516075 HAS SOUPS 22901837 WITH SCORE 2.2983879399E7
AT ITER 1946 NEW BEST:: SOT 132867968 SOS 82012841 HAS SOPS 66830308 HAS SOUS 23503376 HAS SOUPS 22889138 WITH SCORE 2.2971150841E7
AT ITER 1947 NEW BEST:: SOT 132868433 SOS 82018698 HAS SOPS 66834872 HAS SOUS 23500991 HAS SOUPS 22886753 WITH SCORE 2.2968771698E7
AT ITER 1974 NEW BEST:: SOT 132832331 SOS 81967771 HAS SOPS 66789040 HAS SOUS 23490829 HAS SOUPS 22876591 WITH SCORE 2.2958558771E7
AT ITER 1991 NEW BEST:: SOT 132838716 SOS 81991009 HAS SOPS 66815473 HAS SOUS 23487636 HAS SOUPS 22873398 WITH SCORE 2.2955389009E7
AT ITER 2002 NEW BEST:: SOT 132811101 SOS 81958680 HAS SOPS 66779292 HAS SOUS 23466236 HAS SOUPS 22851998 WITH SCORE 2.293395668E7
AT ITER 2004 NEW BEST:: SOT 132814255 SOS 81966633 HAS SOPS 66814340 HAS SOUS 23457478 HAS SOUPS 22843240 WITH SCORE 2.2925206633E7
AT ITER 2010 NEW BEST:: SOT 132812614 SOS 81965139 HAS SOPS 66813836 HAS SOUS 23454731 HAS SOUPS 22840465 WITH SCORE 2.2922430139E7
AT ITER 2015 NEW BEST:: SOT 132790006 SOS 81938913 HAS SOPS 66793324 HAS SOUS 23441264 HAS SOUPS 22827539 WITH SCORE 2.2909477913E7
AT ITER 2040 NEW BEST:: SOT 132790430 SOS 81943162 HAS SOPS 66796755 HAS SOUS 23435836 HAS SOUPS 22822111 WITH SCORE 2.2904054162E7
AT ITER 2043 NEW BEST:: SOT 132790668 SOS 81947031 HAS SOPS 66799698 HAS SOUS 23435144 HAS SOUPS 22821419 WITH SCORE 2.2903366031E7
AT ITER 2050 NEW BEST:: SOT 132776299 SOS 81928551 HAS SOPS 66781810 HAS SOUS 23392361 HAS SOUPS 22778769 WITH SCORE 2.2860697551E7
AT ITER 2058 NEW BEST:: SOT 132777557 SOS 81930988 HAS SOPS 66783623 HAS SOUS 23392338 HAS SOUPS 22778696 WITH SCORE 2.2860626988E7
AT ITER 2073 NEW BEST:: SOT 132738807 SOS 81868447 HAS SOPS 66732784 HAS SOUS 23343929 HAS SOUPS 22730596 WITH SCORE 2.2812464447E7
AT ITER 2079 NEW BEST:: SOT 132728749 SOS 81840913 HAS SOPS 66710254 HAS SOUS 23339269 HAS SOUPS 22725936 WITH SCORE 2.2807776913E7
AT ITER 2084 NEW BEST:: SOT 132742110 SOS 81860880 HAS SOPS 66746083 HAS SOUS 23332326 HAS SOUPS 22718993 WITH SCORE 2.280085388E7
AT ITER 2091 NEW BEST:: SOT 132773884 SOS 81917292 HAS SOPS 66805422 HAS SOUS 23320692 HAS SOUPS 22709130 WITH SCORE 2.2791047292E7

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="RERS17pb114-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 RERS17pb114-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-158961502400100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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