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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.9K Apr 12 07:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 07:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 08:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:22 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 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 10 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:49 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:26 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-6-CTLFireability-00
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-01
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-02
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-03
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-04
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-05
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-06
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-07
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-08
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-09
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-10
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-11
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-12
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-13
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-14
FORMULA_NAME RERS17pb114-PT-6-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589722749052

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 6
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 2 NEW BEST:: SOT 133679981 SOS 82276044 HAS SOPS 66832729 HAS SOUS 26431104 HAS SOUPS 25800413 WITH SCORE 2.5882689044E7
AT ITER 3 NEW BEST:: SOT 133646066 SOS 82242292 HAS SOPS 66798977 HAS SOUS 26397352 HAS SOUPS 25766661 WITH SCORE 2.5848903292E7
AT ITER 12 NEW BEST:: SOT 133685866 SOS 82315938 HAS SOPS 66884183 HAS SOUS 26394994 HAS SOUPS 25764303 WITH SCORE 2.5846618938E7
AT ITER 17 NEW BEST:: SOT 133683710 SOS 82312289 HAS SOPS 66880604 HAS SOUS 26392131 HAS SOUPS 25761440 WITH SCORE 2.5843752289E7
AT ITER 26 NEW BEST:: SOT 133684760 SOS 82315482 HAS SOPS 66882233 HAS SOUS 26391519 HAS SOUPS 25760420 WITH SCORE 2.5842735482E7
AT ITER 34 NEW BEST:: SOT 133666591 SOS 82289103 HAS SOPS 66859326 HAS SOUS 26367716 HAS SOUPS 25736617 WITH SCORE 2.5818906103E7
AT ITER 42 NEW BEST:: SOT 133685721 SOS 82405241 HAS SOPS 66959945 HAS SOUS 26351167 HAS SOUPS 25720068 WITH SCORE 2.5802473241E7
AT ITER 49 NEW BEST:: SOT 133699276 SOS 82423619 HAS SOPS 66998105 HAS SOUS 26345547 HAS SOUPS 25714490 WITH SCORE 2.5796913619E7
AT ITER 82 NEW BEST:: SOT 133702303 SOS 82430640 HAS SOPS 66999660 HAS SOUS 26341476 HAS SOUPS 25710419 WITH SCORE 2.579284964E7
AT ITER 84 NEW BEST:: SOT 133696406 SOS 82422473 HAS SOPS 66992583 HAS SOUS 26337547 HAS SOUPS 25706490 WITH SCORE 2.5788912473E7
AT ITER 86 NEW BEST:: SOT 133693859 SOS 82420002 HAS SOPS 66990130 HAS SOUS 26330203 HAS SOUPS 25699146 WITH SCORE 2.5781566002E7
AT ITER 99 NEW BEST:: SOT 133701508 SOS 82427946 HAS SOPS 66997876 HAS SOUS 26320754 HAS SOUPS 25690142 WITH SCORE 2.5772569946E7
AT ITER 106 NEW BEST:: SOT 133704397 SOS 82449514 HAS SOPS 67022380 HAS SOUS 26305509 HAS SOUPS 25674897 WITH SCORE 2.5757346514E7
AT ITER 110 NEW BEST:: SOT 133705459 SOS 82450501 HAS SOPS 67023778 HAS SOUS 26305436 HAS SOUPS 25674691 WITH SCORE 2.5757141501E7
AT ITER 120 NEW BEST:: SOT 133704983 SOS 82450025 HAS SOPS 67022406 HAS SOUS 26304704 HAS SOUPS 25673959 WITH SCORE 2.5756409025E7
AT ITER 129 NEW BEST:: SOT 133742055 SOS 82546441 HAS SOPS 67092063 HAS SOUS 26274966 HAS SOUPS 25644221 WITH SCORE 2.5726767441E7
AT ITER 134 NEW BEST:: SOT 133736279 SOS 82540045 HAS SOPS 67076827 HAS SOUS 26268629 HAS SOUPS 25637754 WITH SCORE 2.5720294045E7
AT ITER 142 NEW BEST:: SOT 133736001 SOS 82535134 HAS SOPS 67070439 HAS SOUS 26268313 HAS SOUPS 25637438 WITH SCORE 2.5719973134E7
AT ITER 144 NEW BEST:: SOT 133736541 SOS 82539053 HAS SOPS 67078249 HAS SOUS 26265949 HAS SOUPS 25635074 WITH SCORE 2.5717613053E7
AT ITER 146 NEW BEST:: SOT 133742081 SOS 82546675 HAS SOPS 67081865 HAS SOUS 26241369 HAS SOUPS 25611574 WITH SCORE 2.5694120675E7
AT ITER 151 NEW BEST:: SOT 133740428 SOS 82530769 HAS SOPS 67066813 HAS SOUS 26241278 HAS SOUPS 25611483 WITH SCORE 2.5694013769E7
AT ITER 152 NEW BEST:: SOT 133741095 SOS 82536141 HAS SOPS 67067968 HAS SOUS 26224860 HAS SOUPS 25595065 WITH SCORE 2.5677601141E7
AT ITER 176 NEW BEST:: SOT 133678951 SOS 82435373 HAS SOPS 67005303 HAS SOUS 26180183 HAS SOUPS 25552363 WITH SCORE 2.5634798373E7
AT ITER 178 NEW BEST:: SOT 133684500 SOS 82473905 HAS SOPS 67037186 HAS SOUS 26174007 HAS SOUPS 25546187 WITH SCORE 2.5628660905E7
AT ITER 185 NEW BEST:: SOT 133660644 SOS 82414930 HAS SOPS 66992891 HAS SOUS 26165881 HAS SOUPS 25538061 WITH SCORE 2.562047593E7
AT ITER 194 NEW BEST:: SOT 133638529 SOS 82374473 HAS SOPS 66960401 HAS SOUS 26160455 HAS SOUPS 25532633 WITH SCORE 2.5615007473E7
AT ITER 200 NEW BEST:: SOT 133638650 SOS 82383907 HAS SOPS 66960653 HAS SOUS 26148962 HAS SOUPS 25521140 WITH SCORE 2.5603523907E7
AT ITER 218 NEW BEST:: SOT 133659821 SOS 82432721 HAS SOPS 67021032 HAS SOUS 26120535 HAS SOUPS 25496019 WITH SCORE 2.5578451721E7
AT ITER 228 NEW BEST:: SOT 133657720 SOS 82424318 HAS SOPS 67019070 HAS SOUS 26119039 HAS SOUPS 25494523 WITH SCORE 2.5576947318E7
AT ITER 244 NEW BEST:: SOT 133658442 SOS 82425396 HAS SOPS 67018718 HAS SOUS 26116813 HAS SOUPS 25492318 WITH SCORE 2.5574743396E7
AT ITER 247 NEW BEST:: SOT 133660604 SOS 82430202 HAS SOPS 67021486 HAS SOUS 26112743 HAS SOUPS 25488248 WITH SCORE 2.5570678202E7
AT ITER 252 NEW BEST:: SOT 133664402 SOS 82426223 HAS SOPS 67012297 HAS SOUS 26107476 HAS SOUPS 25482981 WITH SCORE 2.5565407223E7
AT ITER 258 NEW BEST:: SOT 133668661 SOS 82471701 HAS SOPS 67056451 HAS SOUS 26086511 HAS SOUPS 25462016 WITH SCORE 2.5544487701E7
AT ITER 266 NEW BEST:: SOT 133663618 SOS 82459501 HAS SOPS 67044460 HAS SOUS 26086184 HAS SOUPS 25461689 WITH SCORE 2.5544148501E7
AT ITER 268 NEW BEST:: SOT 133664222 SOS 82472517 HAS SOPS 67054447 HAS SOUS 26080654 HAS SOUPS 25456159 WITH SCORE 2.5538631517E7
AT ITER 270 NEW BEST:: SOT 133661188 SOS 82470159 HAS SOPS 67053206 HAS SOUS 26069951 HAS SOUPS 25445456 WITH SCORE 2.5527926159E7
AT ITER 293 NEW BEST:: SOT 133644964 SOS 82439979 HAS SOPS 67054212 HAS SOUS 26044860 HAS SOUPS 25420855 WITH SCORE 2.5503294979E7
AT ITER 298 NEW BEST:: SOT 133654956 SOS 82477581 HAS SOPS 67078321 HAS SOUS 26039792 HAS SOUPS 25415787 WITH SCORE 2.5498264581E7
AT ITER 303 NEW BEST:: SOT 133712257 SOS 82624458 HAS SOPS 67215130 HAS SOUS 26031179 HAS SOUPS 25407174 WITH SCORE 2.5489798458E7
AT ITER 312 NEW BEST:: SOT 133713577 SOS 82638624 HAS SOPS 67223725 HAS SOUS 26021426 HAS SOUPS 25397421 WITH SCORE 2.5480059624E7
AT ITER 324 NEW BEST:: SOT 133722484 SOS 82636206 HAS SOPS 67215594 HAS SOUS 26014737 HAS SOUPS 25391137 WITH SCORE 2.5473773206E7
AT ITER 332 NEW BEST:: SOT 133699669 SOS 82607371 HAS SOPS 67201674 HAS SOUS 25978010 HAS SOUPS 25354603 WITH SCORE 2.5437210371E7
AT ITER 347 NEW BEST:: SOT 133700496 SOS 82614415 HAS SOPS 67207702 HAS SOUS 25976580 HAS SOUPS 25353173 WITH SCORE 2.5435787415E7
AT ITER 370 NEW BEST:: SOT 133716232 SOS 82662292 HAS SOPS 67249167 HAS SOUS 25974160 HAS SOUPS 25350753 WITH SCORE 2.5433415292E7
AT ITER 381 NEW BEST:: SOT 133714900 SOS 82660802 HAS SOPS 67247404 HAS SOUS 25970772 HAS SOUPS 25347365 WITH SCORE 2.5430025802E7
AT ITER 387 NEW BEST:: SOT 133704985 SOS 82641674 HAS SOPS 67231393 HAS SOUS 25958533 HAS SOUPS 25335230 WITH SCORE 2.5417871674E7
AT ITER 394 NEW BEST:: SOT 133705807 SOS 82643788 HAS SOPS 67232726 HAS SOUS 25958279 HAS SOUPS 25334976 WITH SCORE 2.5417619788E7
AT ITER 398 NEW BEST:: SOT 133702799 SOS 82639879 HAS SOPS 67234981 HAS SOUS 25953418 HAS SOUPS 25330115 WITH SCORE 2.5412754879E7
AT ITER 417 NEW BEST:: SOT 133651594 SOS 82568000 HAS SOPS 67179672 HAS SOUS 25906573 HAS SOUPS 25283740 WITH SCORE 2.5366308E7
AT ITER 422 NEW BEST:: SOT 133651267 SOS 82568726 HAS SOPS 67182967 HAS SOUS 25904885 HAS SOUPS 25282052 WITH SCORE 2.5364620726E7
AT ITER 438 NEW BEST:: SOT 133648598 SOS 82560603 HAS SOPS 67175654 HAS SOUS 25903823 HAS SOUPS 25280990 WITH SCORE 2.5363550603E7
AT ITER 442 NEW BEST:: SOT 133648395 SOS 82560416 HAS SOPS 67175395 HAS SOUS 25903452 HAS SOUPS 25280627 WITH SCORE 2.5363187416E7
AT ITER 459 NEW BEST:: SOT 133638018 SOS 82550211 HAS SOPS 67167845 HAS SOUS 25886516 HAS SOUPS 25265713 WITH SCORE 2.5348263211E7
AT ITER 460 NEW BEST:: SOT 133638216 SOS 82550383 HAS SOPS 67168054 HAS SOUS 25886266 HAS SOUPS 25265485 WITH SCORE 2.5348035383E7
AT ITER 470 NEW BEST:: SOT 133640442 SOS 82557649 HAS SOPS 67173980 HAS SOUS 25886246 HAS SOUPS 25265465 WITH SCORE 2.5348022649E7
AT ITER 491 NEW BEST:: SOT 133642817 SOS 82563769 HAS SOPS 67177227 HAS SOUS 25883196 HAS SOUPS 25262415 WITH SCORE 2.5344978769E7
AT ITER 495 NEW BEST:: SOT 133663671 SOS 82644136 HAS SOPS 67251937 HAS SOUS 25866762 HAS SOUPS 25245981 WITH SCORE 2.5328625136E7
AT ITER 509 NEW BEST:: SOT 133663975 SOS 82647898 HAS SOPS 67252542 HAS SOUS 25861638 HAS SOUPS 25240857 WITH SCORE 2.5323504898E7
AT ITER 510 NEW BEST:: SOT 133670151 SOS 82659673 HAS SOPS 67274300 HAS SOUS 25836871 HAS SOUPS 25216090 WITH SCORE 2.5298749673E7
AT ITER 521 NEW BEST:: SOT 133671447 SOS 82661929 HAS SOPS 67277391 HAS SOUS 25835225 HAS SOUPS 25214444 WITH SCORE 2.5297105929E7
AT ITER 522 NEW BEST:: SOT 133671920 SOS 82667355 HAS SOPS 67281964 HAS SOUS 25826862 HAS SOUPS 25206081 WITH SCORE 2.5288748355E7
AT ITER 542 NEW BEST:: SOT 133562648 SOS 82533873 HAS SOPS 67142425 HAS SOUS 25697942 HAS SOUPS 25077693 WITH SCORE 2.5160226873E7
AT ITER 544 NEW BEST:: SOT 133559122 SOS 82527605 HAS SOPS 67135433 HAS SOUS 25694636 HAS SOUPS 25074433 WITH SCORE 2.5156960605E7
AT ITER 546 NEW BEST:: SOT 133575756 SOS 82588939 HAS SOPS 67181522 HAS SOUS 25677723 HAS SOUPS 25057520 WITH SCORE 2.5140108939E7
AT ITER 547 NEW BEST:: SOT 133576535 SOS 82589422 HAS SOPS 67182476 HAS SOUS 25677579 HAS SOUPS 25057376 WITH SCORE 2.5139965422E7
AT ITER 559 NEW BEST:: SOT 133594171 SOS 82629290 HAS SOPS 67214246 HAS SOUS 25664445 HAS SOUPS 25044242 WITH SCORE 2.512687129E7
AT ITER 560 NEW BEST:: SOT 133582478 SOS 82613957 HAS SOPS 67198790 HAS SOUS 25645169 HAS SOUPS 25025009 WITH SCORE 2.5107622957E7
AT ITER 572 NEW BEST:: SOT 133632908 SOS 82776693 HAS SOPS 67374600 HAS SOUS 25613285 HAS SOUPS 24991339 WITH SCORE 2.5074115693E7
AT ITER 575 NEW BEST:: SOT 133625845 SOS 82770079 HAS SOPS 67369714 HAS SOUS 25596195 HAS SOUPS 24974249 WITH SCORE 2.5057019079E7
AT ITER 582 NEW BEST:: SOT 133624664 SOS 82768910 HAS SOPS 67366235 HAS SOUS 25591632 HAS SOUPS 24969374 WITH SCORE 2.505214291E7
AT ITER 587 NEW BEST:: SOT 133614780 SOS 82746958 HAS SOPS 67350046 HAS SOUS 25588386 HAS SOUPS 24966128 WITH SCORE 2.5048874958E7
AT ITER 592 NEW BEST:: SOT 133612838 SOS 82743659 HAS SOPS 67347023 HAS SOUS 25587732 HAS SOUPS 24965474 WITH SCORE 2.5048217659E7
AT ITER 596 NEW BEST:: SOT 133607892 SOS 82738713 HAS SOPS 67341637 HAS SOUS 25582066 HAS SOUPS 24959616 WITH SCORE 2.5042354713E7
AT ITER 601 NEW BEST:: SOT 133608324 SOS 82740939 HAS SOPS 67343676 HAS SOUS 25578983 HAS SOUPS 24956533 WITH SCORE 2.5039273939E7
AT ITER 603 NEW BEST:: SOT 133577010 SOS 82702781 HAS SOPS 67312362 HAS SOUS 25543804 HAS SOUPS 24921519 WITH SCORE 2.5004221781E7
AT ITER 609 NEW BEST:: SOT 133583957 SOS 82737360 HAS SOPS 67337068 HAS SOUS 25524740 HAS SOUPS 24902455 WITH SCORE 2.498519236E7
AT ITER 612 NEW BEST:: SOT 133526936 SOS 82596614 HAS SOPS 67186869 HAS SOUS 25517393 HAS SOUPS 24895108 WITH SCORE 2.4977704614E7
AT ITER 616 NEW BEST:: SOT 133525028 SOS 82594391 HAS SOPS 67184430 HAS SOUS 25514079 HAS SOUPS 24891794 WITH SCORE 2.4974388391E7
AT ITER 620 NEW BEST:: SOT 133463533 SOS 82473401 HAS SOPS 67093275 HAS SOUS 25458641 HAS SOUPS 24836356 WITH SCORE 2.4918829401E7
AT ITER 631 NEW BEST:: SOT 133461411 SOS 82471370 HAS SOPS 67089525 HAS SOUS 25456367 HAS SOUPS 24834082 WITH SCORE 2.491655337E7
AT ITER 646 NEW BEST:: SOT 133437621 SOS 82437757 HAS SOPS 67070734 HAS SOUS 25432088 HAS SOUPS 24809842 WITH SCORE 2.4892279757E7
AT ITER 650 NEW BEST:: SOT 133408720 SOS 82410878 HAS SOPS 67055654 HAS SOUS 25395755 HAS SOUPS 24773509 WITH SCORE 2.4855919878E7
AT ITER 660 NEW BEST:: SOT 133408773 SOS 82411939 HAS SOPS 67057227 HAS SOUS 25395519 HAS SOUPS 24773273 WITH SCORE 2.4855684939E7
AT ITER 664 NEW BEST:: SOT 133407975 SOS 82404101 HAS SOPS 67065164 HAS SOUS 25379820 HAS SOUPS 24757574 WITH SCORE 2.4839978101E7
AT ITER 666 NEW BEST:: SOT 133415237 SOS 82458216 HAS SOPS 67145404 HAS SOUS 25362056 HAS SOUPS 24739810 WITH SCORE 2.4822268216E7
AT ITER 668 NEW BEST:: SOT 133402149 SOS 82430598 HAS SOPS 67123524 HAS SOUS 25354345 HAS SOUPS 24730957 WITH SCORE 2.4813387598E7
AT ITER 688 NEW BEST:: SOT 133402668 SOS 82431423 HAS SOPS 67123975 HAS SOUS 25354239 HAS SOUPS 24730851 WITH SCORE 2.4813282423E7
AT ITER 693 NEW BEST:: SOT 133410142 SOS 82455313 HAS SOPS 67137946 HAS SOUS 25351965 HAS SOUPS 24728484 WITH SCORE 2.4810939313E7
AT ITER 696 NEW BEST:: SOT 133406197 SOS 82452646 HAS SOPS 67134446 HAS SOUS 25351068 HAS SOUPS 24727587 WITH SCORE 2.4810039646E7
AT ITER 699 NEW BEST:: SOT 133405744 SOS 82451861 HAS SOPS 67134151 HAS SOUS 25350284 HAS SOUPS 24726807 WITH SCORE 2.4809258861E7
AT ITER 703 NEW BEST:: SOT 133405594 SOS 82451459 HAS SOPS 67133795 HAS SOUS 25350160 HAS SOUPS 24726684 WITH SCORE 2.4809135459E7
AT ITER 710 NEW BEST:: SOT 133409360 SOS 82461828 HAS SOPS 67141319 HAS SOUS 25350085 HAS SOUPS 24726609 WITH SCORE 2.4809070828E7
AT ITER 725 NEW BEST:: SOT 133401700 SOS 82454110 HAS SOPS 67133601 HAS SOUS 25342193 HAS SOUPS 24718717 WITH SCORE 2.480117111E7
AT ITER 727 NEW BEST:: SOT 133401085 SOS 82453463 HAS SOPS 67133476 HAS SOUS 25340746 HAS SOUPS 24717270 WITH SCORE 2.4799723463E7
AT ITER 744 NEW BEST:: SOT 133402960 SOS 82454259 HAS SOPS 67134263 HAS SOUS 25336750 HAS SOUPS 24713495 WITH SCORE 2.4795949259E7
AT ITER 747 NEW BEST:: SOT 133401056 SOS 82449444 HAS SOPS 67130937 HAS SOUS 25336571 HAS SOUPS 24713375 WITH SCORE 2.4795824444E7
AT ITER 748 NEW BEST:: SOT 133397982 SOS 82440030 HAS SOPS 67122116 HAS SOUS 25324428 HAS SOUPS 24701232 WITH SCORE 2.478367203E7
AT ITER 759 NEW BEST:: SOT 133387865 SOS 82429216 HAS SOPS 67111302 HAS SOUS 25298215 HAS SOUPS 24675019 WITH SCORE 2.4757448216E7
AT ITER 764 NEW BEST:: SOT 133374182 SOS 82407453 HAS SOPS 67097737 HAS SOUS 25288341 HAS SOUPS 24665145 WITH SCORE 2.4747552453E7
AT ITER 773 NEW BEST:: SOT 133374182 SOS 82407181 HAS SOPS 67097721 HAS SOUS 25288341 HAS SOUPS 24665145 WITH SCORE 2.4747552181E7
AT ITER 774 NEW BEST:: SOT 133373164 SOS 82406725 HAS SOPS 67098812 HAS SOUS 25285042 HAS SOUPS 24661846 WITH SCORE 2.4744252725E7
AT ITER 784 NEW BEST:: SOT 133323123 SOS 82329948 HAS SOPS 67083035 HAS SOUS 25243359 HAS SOUPS 24621571 WITH SCORE 2.4703900948E7
AT ITER 787 NEW BEST:: SOT 133326628 SOS 82338822 HAS SOPS 67091245 HAS SOUS 25242901 HAS SOUPS 24621113 WITH SCORE 2.4703451822E7
AT ITER 803 NEW BEST:: SOT 133334313 SOS 82345831 HAS SOPS 67096430 HAS SOUS 25240932 HAS SOUPS 24619144 WITH SCORE 2.4701489831E7
AT ITER 811 NEW BEST:: SOT 133335956 SOS 82360555 HAS SOPS 67117170 HAS SOUS 25238097 HAS SOUPS 24616309 WITH SCORE 2.4698669555E7
AT ITER 821 NEW BEST:: SOT 133335167 SOS 82358897 HAS SOPS 67112526 HAS SOUS 25234656 HAS SOUPS 24612835 WITH SCORE 2.4695193897E7
AT ITER 827 NEW BEST:: SOT 133329062 SOS 82350032 HAS SOPS 67104619 HAS SOUS 25225938 HAS SOUPS 24604188 WITH SCORE 2.4686538032E7
AT ITER 828 NEW BEST:: SOT 133321747 SOS 82340578 HAS SOPS 67095139 HAS SOUS 25218326 HAS SOUPS 24596576 WITH SCORE 2.4678916578E7
AT ITER 829 NEW BEST:: SOT 133345893 SOS 82433012 HAS SOPS 67140495 HAS SOUS 25086769 HAS SOUPS 24453429 WITH SCORE 2.4535862012E7
AT ITER 836 NEW BEST:: SOT 133345835 SOS 82432954 HAS SOPS 67140453 HAS SOUS 25086567 HAS SOUPS 24453243 WITH SCORE 2.4535675954E7
AT ITER 839 NEW BEST:: SOT 133343778 SOS 82430199 HAS SOPS 67136729 HAS SOUS 25082996 HAS SOUPS 24449672 WITH SCORE 2.4532102199E7
AT ITER 867 NEW BEST:: SOT 133340279 SOS 82419488 HAS SOPS 67130920 HAS SOUS 25077239 HAS SOUPS 24443974 WITH SCORE 2.4526393488E7
AT ITER 887 NEW BEST:: SOT 133344719 SOS 82461617 HAS SOPS 67166143 HAS SOUS 25068311 HAS SOUPS 24435046 WITH SCORE 2.4517507617E7
AT ITER 901 NEW BEST:: SOT 133356451 SOS 82478988 HAS SOPS 67186595 HAS SOUS 25063735 HAS SOUPS 24430435 WITH SCORE 2.4512913988E7
AT ITER 902 NEW BEST:: SOT 133356843 SOS 82490307 HAS SOPS 67205551 HAS SOUS 25016805 HAS SOUPS 24383505 WITH SCORE 2.4465995307E7
AT ITER 914 NEW BEST:: SOT 133354188 SOS 82487161 HAS SOPS 67198130 HAS SOUS 25011249 HAS SOUPS 24377949 WITH SCORE 2.4460436161E7
AT ITER 915 NEW BEST:: SOT 133373868 SOS 82533698 HAS SOPS 67238690 HAS SOUS 25010314 HAS SOUPS 24377014 WITH SCORE 2.4459547698E7
AT ITER 916 NEW BEST:: SOT 133374363 SOS 82529822 HAS SOPS 67240943 HAS SOUS 25005972 HAS SOUPS 24372803 WITH SCORE 2.4455332822E7
AT ITER 917 NEW BEST:: SOT 133378751 SOS 82551260 HAS SOPS 67255358 HAS SOUS 24994119 HAS SOUPS 24360950 WITH SCORE 2.444350126E7
AT ITER 943 NEW BEST:: SOT 133379362 SOS 82556361 HAS SOPS 67258137 HAS SOUS 24987258 HAS SOUPS 24354089 WITH SCORE 2.4436645361E7
AT ITER 947 NEW BEST:: SOT 133368262 SOS 82540344 HAS SOPS 67238958 HAS SOUS 24962855 HAS SOUPS 24329757 WITH SCORE 2.4412297344E7
AT ITER 950 NEW BEST:: SOT 133358111 SOS 82524716 HAS SOPS 67225172 HAS SOUS 24932304 HAS SOUPS 24300942 WITH SCORE 2.4383466716E7
AT ITER 961 NEW BEST:: SOT 133339079 SOS 82481026 HAS SOPS 67189765 HAS SOUS 24912066 HAS SOUPS 24280704 WITH SCORE 2.4363185026E7
AT ITER 965 NEW BEST:: SOT 133324859 SOS 82463670 HAS SOPS 67224796 HAS SOUS 24910439 HAS SOUPS 24279077 WITH SCORE 2.436154067E7
AT ITER 970 NEW BEST:: SOT 133324840 SOS 82464142 HAS SOPS 67223435 HAS SOUS 24910181 HAS SOUPS 24278819 WITH SCORE 2.4361283142E7
AT ITER 978 NEW BEST:: SOT 133307257 SOS 82422955 HAS SOPS 67193681 HAS SOUS 24895145 HAS SOUPS 24263783 WITH SCORE 2.4346205955E7
AT ITER 980 NEW BEST:: SOT 133303096 SOS 82411003 HAS SOPS 67186932 HAS SOUS 24889974 HAS SOUPS 24258770 WITH SCORE 2.4341181003E7
AT ITER 989 NEW BEST:: SOT 133299634 SOS 82406329 HAS SOPS 67183040 HAS SOUS 24872443 HAS SOUPS 24241367 WITH SCORE 2.4323773329E7
AT ITER 990 NEW BEST:: SOT 133298530 SOS 82407803 HAS SOPS 67182394 HAS SOUS 24866667 HAS SOUPS 24235591 WITH SCORE 2.4317998803E7
AT ITER 999 NEW BEST:: SOT 133343884 SOS 82544866 HAS SOPS 67315093 HAS SOUS 24865539 HAS SOUPS 24234463 WITH SCORE 2.4317007866E7
AT ITER 1018 NEW BEST:: SOT 133293475 SOS 82494333 HAS SOPS 67260462 HAS SOUS 24803767 HAS SOUPS 24172691 WITH SCORE 2.4255185333E7
AT ITER 1022 NEW BEST:: SOT 133291290 SOS 82495431 HAS SOPS 67269760 HAS SOUS 24782809 HAS SOUPS 24151964 WITH SCORE 2.4234459431E7
AT ITER 1037 NEW BEST:: SOT 133268806 SOS 82452194 HAS SOPS 67239221 HAS SOUS 24752206 HAS SOUPS 24121361 WITH SCORE 2.4203813194E7
AT ITER 1040 NEW BEST:: SOT 133268972 SOS 82453801 HAS SOPS 67240123 HAS SOUS 24751767 HAS SOUPS 24120922 WITH SCORE 2.4203375801E7
AT ITER 1047 NEW BEST:: SOT 133270925 SOS 82485682 HAS SOPS 67272528 HAS SOUS 24724641 HAS SOUPS 24093796 WITH SCORE 2.4176281682E7
AT ITER 1048 NEW BEST:: SOT 133274016 SOS 82496757 HAS SOPS 67279110 HAS SOUS 24723073 HAS SOUPS 24092228 WITH SCORE 2.4174724757E7
AT ITER 1056 NEW BEST:: SOT 133276004 SOS 82515370 HAS SOPS 67293635 HAS SOUS 24719533 HAS SOUPS 24088688 WITH SCORE 2.417120337E7
AT ITER 1062 NEW BEST:: SOT 133291228 SOS 82544575 HAS SOPS 67318827 HAS SOUS 24717158 HAS SOUPS 24086313 WITH SCORE 2.4168857575E7
AT ITER 1080 NEW BEST:: SOT 133289015 SOS 82542906 HAS SOPS 67316373 HAS SOUS 24706679 HAS SOUPS 24075951 WITH SCORE 2.4158493906E7
AT ITER 1084 NEW BEST:: SOT 133286993 SOS 82538760 HAS SOPS 67312527 HAS SOUS 24705267 HAS SOUPS 24074539 WITH SCORE 2.415707776E7
AT ITER 1085 NEW BEST:: SOT 133284209 SOS 82537904 HAS SOPS 67315008 HAS SOUS 24699370 HAS SOUPS 24068642 WITH SCORE 2.4151179904E7
AT ITER 1098 NEW BEST:: SOT 133282227 SOS 82538374 HAS SOPS 67315028 HAS SOUS 24693528 HAS SOUPS 24062800 WITH SCORE 2.4145338374E7
AT ITER 1104 NEW BEST:: SOT 133281827 SOS 82540241 HAS SOPS 67315313 HAS SOUS 24690034 HAS SOUPS 24059306 WITH SCORE 2.4141846241E7
AT ITER 1112 NEW BEST:: SOT 133282739 SOS 82553309 HAS SOPS 67341279 HAS SOUS 24684465 HAS SOUPS 24053737 WITH SCORE 2.4136290309E7
AT ITER 1137 NEW BEST:: SOT 133280585 SOS 82548168 HAS SOPS 67338705 HAS SOUS 24667587 HAS SOUPS 24037602 WITH SCORE 2.4120150168E7
AT ITER 1138 NEW BEST:: SOT 133266327 SOS 82516548 HAS SOPS 67310402 HAS SOUS 24663742 HAS SOUPS 24033875 WITH SCORE 2.4116391548E7
AT ITER 1150 NEW BEST:: SOT 133217957 SOS 82389443 HAS SOPS 67231244 HAS SOUS 24642814 HAS SOUPS 24012947 WITH SCORE 2.4095336443E7
AT ITER 1168 NEW BEST:: SOT 133211412 SOS 82376010 HAS SOPS 67215791 HAS SOUS 24642670 HAS SOUPS 24012803 WITH SCORE 2.409517901E7
AT ITER 1174 NEW BEST:: SOT 133207300 SOS 82365865 HAS SOPS 67209328 HAS SOUS 24637298 HAS SOUPS 24007431 WITH SCORE 2.4089796865E7
AT ITER 1205 NEW BEST:: SOT 133164029 SOS 82340254 HAS SOPS 67173608 HAS SOUS 24636482 HAS SOUPS 24006746 WITH SCORE 2.4089086254E7
AT ITER 1236 NEW BEST:: SOT 133209248 SOS 82508313 HAS SOPS 67342249 HAS SOUS 24635951 HAS SOUPS 24006215 WITH SCORE 2.4088723313E7
AT ITER 1241 NEW BEST:: SOT 133218760 SOS 82529154 HAS SOPS 67392400 HAS SOUS 24632636 HAS SOUPS 24002990 WITH SCORE 2.4085519154E7
AT ITER 1249 NEW BEST:: SOT 133184202 SOS 82442729 HAS SOPS 67341535 HAS SOUS 24607501 HAS SOUPS 23977855 WITH SCORE 2.4060297729E7
AT ITER 1255 NEW BEST:: SOT 133183726 SOS 82442857 HAS SOPS 67341792 HAS SOUS 24606404 HAS SOUPS 23976323 WITH SCORE 2.4058765857E7
AT ITER 1258 NEW BEST:: SOT 133178811 SOS 82435368 HAS SOPS 67335191 HAS SOUS 24601281 HAS SOUPS 23971200 WITH SCORE 2.4053635368E7
AT ITER 1261 NEW BEST:: SOT 133187505 SOS 82469297 HAS SOPS 67369156 HAS SOUS 24599918 HAS SOUPS 23969837 WITH SCORE 2.4052306297E7
AT ITER 1271 NEW BEST:: SOT 133192932 SOS 82501092 HAS SOPS 67422832 HAS SOUS 24589357 HAS SOUPS 23959276 WITH SCORE 2.4041777092E7
AT ITER 1307 NEW BEST:: SOT 133188800 SOS 82506799 HAS SOPS 67415544 HAS SOUS 24571807 HAS SOUPS 23941593 WITH SCORE 2.4024099799E7
AT ITER 1308 NEW BEST:: SOT 133196378 SOS 82546727 HAS SOPS 67445506 HAS SOUS 24561847 HAS SOUPS 23931633 WITH SCORE 2.4014179727E7
AT ITER 1318 NEW BEST:: SOT 133251996 SOS 82678023 HAS SOPS 67579732 HAS SOUS 24538603 HAS SOUPS 23908389 WITH SCORE 2.3991067023E7
AT ITER 1319 NEW BEST:: SOT 133343667 SOS 82766850 HAS SOPS 67669020 HAS SOUS 24526330 HAS SOUPS 23896295 WITH SCORE 2.397906185E7
AT ITER 1323 NEW BEST:: SOT 133362723 SOS 82831263 HAS SOPS 67700874 HAS SOUS 24486487 HAS SOUPS 23856452 WITH SCORE 2.3939283263E7
AT ITER 1334 NEW BEST:: SOT 133363078 SOS 82831636 HAS SOPS 67701247 HAS SOUS 24485762 HAS SOUPS 23855727 WITH SCORE 2.3938558636E7
AT ITER 1337 NEW BEST:: SOT 133362846 SOS 82831667 HAS SOPS 67700962 HAS SOUS 24484498 HAS SOUPS 23854484 WITH SCORE 2.3937315667E7
AT ITER 1339 NEW BEST:: SOT 133354689 SOS 82838200 HAS SOPS 67698359 HAS SOUS 24451654 HAS SOUPS 23821541 WITH SCORE 2.39043792E7
AT ITER 1359 NEW BEST:: SOT 133409551 SOS 82938619 HAS SOPS 67802273 HAS SOUS 24427065 HAS SOUPS 23798322 WITH SCORE 2.3881260619E7
AT ITER 1360 NEW BEST:: SOT 133399815 SOS 82926221 HAS SOPS 67787374 HAS SOUS 24399679 HAS SOUPS 23771152 WITH SCORE 2.3854078221E7
AT ITER 1370 NEW BEST:: SOT 133393317 SOS 82914505 HAS SOPS 67777835 HAS SOUS 24395099 HAS SOUPS 23766572 WITH SCORE 2.3849486505E7
AT ITER 1377 NEW BEST:: SOT 133393338 SOS 82914560 HAS SOPS 67778777 HAS SOUS 24395055 HAS SOUPS 23766528 WITH SCORE 2.384944256E7
AT ITER 1385 NEW BEST:: SOT 133354726 SOS 82856258 HAS SOPS 67720300 HAS SOUS 24337184 HAS SOUPS 23708657 WITH SCORE 2.3791513258E7
AT ITER 1388 NEW BEST:: SOT 133297431 SOS 82732256 HAS SOPS 67647991 HAS SOUS 24310629 HAS SOUPS 23682507 WITH SCORE 2.3765239256E7
AT ITER 1392 NEW BEST:: SOT 133319661 SOS 82758344 HAS SOPS 67676558 HAS SOUS 24300300 HAS SOUPS 23672459 WITH SCORE 2.3755217344E7
AT ITER 1394 NEW BEST:: SOT 133319816 SOS 82763484 HAS SOPS 67676373 HAS SOUS 24257248 HAS SOUPS 23628941 WITH SCORE 2.3711704484E7
AT ITER 1395 NEW BEST:: SOT 133305434 SOS 82741093 HAS SOPS 67654567 HAS SOUS 24234603 HAS SOUPS 23606372 WITH SCORE 2.3689113093E7
AT ITER 1422 NEW BEST:: SOT 133290149 SOS 82704874 HAS SOPS 67572771 HAS SOUS 24219612 HAS SOUPS 23591381 WITH SCORE 2.3674085874E7
AT ITER 1428 NEW BEST:: SOT 133292734 SOS 82711357 HAS SOPS 67575866 HAS SOUS 24219001 HAS SOUPS 23590770 WITH SCORE 2.3673481357E7
AT ITER 1432 NEW BEST:: SOT 133278741 SOS 82697303 HAS SOPS 67560596 HAS SOUS 24204735 HAS SOUPS 23576504 WITH SCORE 2.3659201303E7
AT ITER 1438 NEW BEST:: SOT 133278584 SOS 82697693 HAS SOPS 67560297 HAS SOUS 24202466 HAS SOUPS 23574249 WITH SCORE 2.3656946693E7
AT ITER 1454 NEW BEST:: SOT 133304944 SOS 82771254 HAS SOPS 67620453 HAS SOUS 24198539 HAS SOUPS 23570322 WITH SCORE 2.3653093254E7
AT ITER 1456 NEW BEST:: SOT 133296579 SOS 82756249 HAS SOPS 67606815 HAS SOUS 24194808 HAS SOUPS 23566591 WITH SCORE 2.3649347249E7
AT ITER 1468 NEW BEST:: SOT 133296775 SOS 82756859 HAS SOPS 67606417 HAS SOUS 24192790 HAS SOUPS 23564573 WITH SCORE 2.3647329859E7
AT ITER 1472 NEW BEST:: SOT 133316523 SOS 82788521 HAS SOPS 67642604 HAS SOUS 24191251 HAS SOUPS 23563034 WITH SCORE 2.3645822521E7
AT ITER 1486 NEW BEST:: SOT 133328280 SOS 82841452 HAS SOPS 67677567 HAS SOUS 24180272 HAS SOUPS 23551985 WITH SCORE 2.3634826452E7
AT ITER 1499 NEW BEST:: SOT 133328268 SOS 82840556 HAS SOPS 67676884 HAS SOUS 24180252 HAS SOUPS 23551965 WITH SCORE 2.3634805556E7
AT ITER 1503 NEW BEST:: SOT 133320569 SOS 82810451 HAS SOPS 67659823 HAS SOUS 24177645 HAS SOUPS 23549358 WITH SCORE 2.3632168451E7
AT ITER 1512 NEW BEST:: SOT 133334933 SOS 82834586 HAS SOPS 67666828 HAS SOUS 24166044 HAS SOUPS 23537757 WITH SCORE 2.3620591586E7
AT ITER 1521 NEW BEST:: SOT 133330725 SOS 82828951 HAS SOPS 67662011 HAS SOUS 24164778 HAS SOUPS 23536491 WITH SCORE 2.3619319951E7
AT ITER 1526 NEW BEST:: SOT 133327477 SOS 82825980 HAS SOPS 67655506 HAS SOUS 24154270 HAS SOUPS 23525983 WITH SCORE 2.360880898E7
AT ITER 1528 NEW BEST:: SOT 133296399 SOS 82773058 HAS SOPS 67632942 HAS SOUS 24095534 HAS SOUPS 23467247 WITH SCORE 2.3550020058E7
AT ITER 1539 NEW BEST:: SOT 133294695 SOS 82771169 HAS SOPS 67613641 HAS SOUS 24072628 HAS SOUPS 23444341 WITH SCORE 2.3527112169E7
AT ITER 1541 NEW BEST:: SOT 133293047 SOS 82769521 HAS SOPS 67611993 HAS SOUS 24071940 HAS SOUPS 23443653 WITH SCORE 2.3526422521E7
AT ITER 1546 NEW BEST:: SOT 133295203 SOS 82781773 HAS SOPS 67618159 HAS SOUS 24069546 HAS SOUPS 23441259 WITH SCORE 2.3524040773E7
AT ITER 1553 NEW BEST:: SOT 133290927 SOS 82774112 HAS SOPS 67617014 HAS SOUS 24065946 HAS SOUPS 23437659 WITH SCORE 2.3520433112E7
AT ITER 1557 NEW BEST:: SOT 133273381 SOS 82748416 HAS SOPS 67600511 HAS SOUS 24026798 HAS SOUPS 23398804 WITH SCORE 2.3481552416E7
AT ITER 1561 NEW BEST:: SOT 133276201 SOS 82759200 HAS SOPS 67608409 HAS SOUS 24026138 HAS SOUPS 23398144 WITH SCORE 2.34809032E7
AT ITER 1563 NEW BEST:: SOT 133062305 SOS 82473466 HAS SOPS 67362665 HAS SOUS 23875014 HAS SOUPS 23247010 WITH SCORE 2.3329483466E7
AT ITER 1576 NEW BEST:: SOT 133058471 SOS 82465253 HAS SOPS 67340882 HAS SOUS 23853608 HAS SOUPS 23225604 WITH SCORE 2.3308069253E7
AT ITER 1579 NEW BEST:: SOT 133057842 SOS 82464760 HAS SOPS 67339828 HAS SOUS 23852248 HAS SOUPS 23224227 WITH SCORE 2.330669176E7
AT ITER 1585 NEW BEST:: SOT 133049228 SOS 82443569 HAS SOPS 67322846 HAS SOUS 23849347 HAS SOUPS 23221326 WITH SCORE 2.3303769569E7
AT ITER 1608 NEW BEST:: SOT 133048857 SOS 82444488 HAS SOPS 67321980 HAS SOUS 23847356 HAS SOUPS 23219335 WITH SCORE 2.3301779488E7
AT ITER 1615 NEW BEST:: SOT 133076616 SOS 82540030 HAS SOPS 67421215 HAS SOUS 23790666 HAS SOUPS 23162645 WITH SCORE 2.324518503E7
AT ITER 1618 NEW BEST:: SOT 133013915 SOS 82383108 HAS SOPS 67317981 HAS SOUS 23762157 HAS SOUPS 23136236 WITH SCORE 2.3218619108E7
AT ITER 1622 NEW BEST:: SOT 133008573 SOS 82358702 HAS SOPS 67306829 HAS SOUS 23751743 HAS SOUPS 23125822 WITH SCORE 2.3208180702E7
AT ITER 1625 NEW BEST:: SOT 133001340 SOS 82341210 HAS SOPS 67289381 HAS SOUS 23744582 HAS SOUPS 23118661 WITH SCORE 2.320100221E7
AT ITER 1628 NEW BEST:: SOT 133001956 SOS 82345204 HAS SOPS 67292151 HAS SOUS 23741445 HAS SOUPS 23115524 WITH SCORE 2.3197869204E7
AT ITER 1646 NEW BEST:: SOT 132994301 SOS 82319038 HAS SOPS 67269879 HAS SOUS 23739879 HAS SOUPS 23113958 WITH SCORE 2.3196277038E7
AT ITER 1656 NEW BEST:: SOT 132962472 SOS 82262301 HAS SOPS 67204099 HAS SOUS 23653870 HAS SOUPS 23027949 WITH SCORE 2.3110211301E7
AT ITER 1664 NEW BEST:: SOT 132940715 SOS 82234052 HAS SOPS 67193138 HAS SOUS 23646008 HAS SOUPS 23020087 WITH SCORE 2.3102321052E7
AT ITER 1666 NEW BEST:: SOT 132956201 SOS 82265072 HAS SOPS 67234873 HAS SOUS 23631980 HAS SOUPS 23005743 WITH SCORE 2.3088008072E7
AT ITER 1667 NEW BEST:: SOT 132952269 SOS 82258607 HAS SOPS 67236490 HAS SOUS 23629471 HAS SOUPS 23003334 WITH SCORE 2.3085592607E7
AT ITER 1673 NEW BEST:: SOT 132940825 SOS 82220877 HAS SOPS 67209886 HAS SOUS 23618849 HAS SOUPS 22992712 WITH SCORE 2.3074932877E7
AT ITER 1682 NEW BEST:: SOT 132929373 SOS 82197588 HAS SOPS 67192395 HAS SOUS 23618535 HAS SOUPS 22992398 WITH SCORE 2.3074595588E7
AT ITER 1689 NEW BEST:: SOT 132931918 SOS 82218025 HAS SOPS 67208613 HAS SOUS 23610122 HAS SOUPS 22983985 WITH SCORE 2.3066203025E7
AT ITER 1730 NEW BEST:: SOT 132923286 SOS 82197841 HAS SOPS 67194628 HAS SOUS 23590833 HAS SOUPS 22964696 WITH SCORE 2.3046893841E7
AT ITER 1733 NEW BEST:: SOT 132960533 SOS 82245539 HAS SOPS 67241127 HAS SOUS 23588828 HAS SOUPS 22962379 WITH SCORE 2.3044624539E7
AT ITER 1739 NEW BEST:: SOT 132960429 SOS 82248308 HAS SOPS 67246287 HAS SOUS 23588154 HAS SOUPS 22961705 WITH SCORE 2.3043953308E7
AT ITER 1740 NEW BEST:: SOT 132947217 SOS 82211728 HAS SOPS 67206614 HAS SOUS 23574934 HAS SOUPS 22948485 WITH SCORE 2.3030696728E7
AT ITER 1758 NEW BEST:: SOT 132948888 SOS 82219982 HAS SOPS 67210819 HAS SOUS 23572885 HAS SOUPS 22946436 WITH SCORE 2.3028655982E7
AT ITER 1760 NEW BEST:: SOT 132959733 SOS 82234432 HAS SOPS 67228617 HAS SOUS 23571377 HAS SOUPS 22944928 WITH SCORE 2.3027162432E7
AT ITER 1767 NEW BEST:: SOT 132961091 SOS 82235644 HAS SOPS 67232238 HAS SOUS 23567289 HAS SOUPS 22943528 WITH SCORE 2.3025763644E7
AT ITER 1789 NEW BEST:: SOT 132941310 SOS 82215863 HAS SOPS 67212457 HAS SOUS 23547956 HAS SOUPS 22924195 WITH SCORE 2.3006410863E7
AT ITER 1793 NEW BEST:: SOT 132941324 SOS 82215878 HAS SOPS 67212541 HAS SOUS 23547856 HAS SOUPS 22924158 WITH SCORE 2.3006373878E7
AT ITER 1797 NEW BEST:: SOT 132944656 SOS 82236931 HAS SOPS 67238856 HAS SOUS 23546700 HAS SOUPS 22923002 WITH SCORE 2.3005238931E7
AT ITER 1804 NEW BEST:: SOT 132949162 SOS 82279418 HAS SOPS 67290935 HAS SOUS 23536225 HAS SOUPS 22912527 WITH SCORE 2.2994806418E7
AT ITER 1805 NEW BEST:: SOT 132922778 SOS 82252971 HAS SOPS 67262583 HAS SOUS 23505829 HAS SOUPS 22881906 WITH SCORE 2.2964158971E7
AT ITER 1812 NEW BEST:: SOT 132923021 SOS 82255188 HAS SOPS 67263575 HAS SOUS 23505386 HAS SOUPS 22881463 WITH SCORE 2.2963718188E7
AT ITER 1821 NEW BEST:: SOT 132916033 SOS 82249421 HAS SOPS 67253790 HAS SOUS 23490448 HAS SOUPS 22866525 WITH SCORE 2.2948774421E7
AT ITER 1823 NEW BEST:: SOT 132915200 SOS 82235761 HAS SOPS 67232571 HAS SOUS 23484770 HAS SOUPS 22860847 WITH SCORE 2.2943082761E7
AT ITER 1830 NEW BEST:: SOT 132912086 SOS 82228846 HAS SOPS 67226388 HAS SOUS 23478484 HAS SOUPS 22854561 WITH SCORE 2.2936789846E7
AT ITER 1855 NEW BEST:: SOT 132905389 SOS 82216656 HAS SOPS 67215370 HAS SOUS 23471801 HAS SOUPS 22847878 WITH SCORE 2.2930094656E7
AT ITER 1857 NEW BEST:: SOT 132902493 SOS 82219613 HAS SOPS 67222529 HAS SOUS 23458105 HAS SOUPS 22834182 WITH SCORE 2.2916401613E7
AT ITER 1878 NEW BEST:: SOT 132889150 SOS 82211065 HAS SOPS 67207073 HAS SOUS 23433975 HAS SOUPS 22809676 WITH SCORE 2.2891887065E7
AT ITER 1885 NEW BEST:: SOT 132874771 SOS 82196491 HAS SOPS 67190534 HAS SOUS 23409545 HAS SOUPS 22785246 WITH SCORE 2.2867442491E7
AT ITER 1897 NEW BEST:: SOT 132869095 SOS 82187680 HAS SOPS 67180387 HAS SOUS 23396610 HAS SOUPS 22772311 WITH SCORE 2.285449868E7
AT ITER 1900 NEW BEST:: SOT 132862188 SOS 82175416 HAS SOPS 67156297 HAS SOUS 23386933 HAS SOUPS 22762634 WITH SCORE 2.2844809416E7
AT ITER 1913 NEW BEST:: SOT 132865486 SOS 82184904 HAS SOPS 67161908 HAS SOUS 23383583 HAS SOUPS 22759284 WITH SCORE 2.2841468904E7
AT ITER 1923 NEW BEST:: SOT 132864075 SOS 82181977 HAS SOPS 67158400 HAS SOUS 23380096 HAS SOUPS 22755811 WITH SCORE 2.2837992977E7
AT ITER 1928 NEW BEST:: SOT 132859642 SOS 82170407 HAS SOPS 67143171 HAS SOUS 23369117 HAS SOUPS 22744832 WITH SCORE 2.2827002407E7
AT ITER 1934 NEW BEST:: SOT 132862242 SOS 82177769 HAS SOPS 67146239 HAS SOUS 23369592 HAS SOUPS 22744642 WITH SCORE 2.2826819769E7
AT ITER 1941 NEW BEST:: SOT 132817726 SOS 82088468 HAS SOPS 67094100 HAS SOUS 23358769 HAS SOUPS 22733983 WITH SCORE 2.2816071468E7
AT ITER 1946 NEW BEST:: SOT 132785019 SOS 82055932 HAS SOPS 67061095 HAS SOUS 23292898 HAS SOUPS 22667974 WITH SCORE 2.2750029932E7
AT ITER 1949 NEW BEST:: SOT 132771128 SOS 82020209 HAS SOPS 67049832 HAS SOUS 23292787 HAS SOUPS 22667863 WITH SCORE 2.2749883209E7
AT ITER 1956 NEW BEST:: SOT 132769777 SOS 82013760 HAS SOPS 67046510 HAS SOUS 23288583 HAS SOUPS 22663659 WITH SCORE 2.274567276E7
AT ITER 1964 NEW BEST:: SOT 132723487 SOS 81941424 HAS SOPS 66986728 HAS SOUS 23218748 HAS SOUPS 22594328 WITH SCORE 2.2676269424E7
AT ITER 1971 NEW BEST:: SOT 132723175 SOS 81941042 HAS SOPS 66986304 HAS SOUS 23218152 HAS SOUPS 22593744 WITH SCORE 2.2675685042E7
AT ITER 1976 NEW BEST:: SOT 132729781 SOS 81956504 HAS SOPS 66999045 HAS SOUS 23210474 HAS SOUPS 22586066 WITH SCORE 2.2668022504E7
AT ITER 1983 NEW BEST:: SOT 132729291 SOS 81956154 HAS SOPS 66998653 HAS SOUS 23209382 HAS SOUPS 22584967 WITH SCORE 2.2666923154E7
AT ITER 1987 NEW BEST:: SOT 132728928 SOS 81955743 HAS SOPS 66997885 HAS SOUS 23208662 HAS SOUPS 22584244 WITH SCORE 2.2666199743E7
AT ITER 1989 NEW BEST:: SOT 132714772 SOS 81941082 HAS SOPS 66986905 HAS SOUS 23198024 HAS SOUPS 22579094 WITH SCORE 2.2661035082E7
AT ITER 1990 NEW BEST:: SOT 132708494 SOS 81927570 HAS SOPS 66973755 HAS SOUS 23190465 HAS SOUPS 22571535 WITH SCORE 2.265346257E7
AT ITER 2004 NEW BEST:: SOT 132708660 SOS 81925688 HAS SOPS 66972537 HAS SOUS 23188551 HAS SOUPS 22569837 WITH SCORE 2.2651762688E7
AT ITER 2013 NEW BEST:: SOT 132705895 SOS 81922146 HAS SOPS 66982977 HAS SOUS 23184590 HAS SOUPS 22565876 WITH SCORE 2.2647798146E7
AT ITER 2031 NEW BEST:: SOT 132687728 SOS 81873809 HAS SOPS 66943066 HAS SOUS 23182609 HAS SOUPS 22563895 WITH SCORE 2.2645768809E7
AT ITER 2037 NEW BEST:: SOT 132670565 SOS 81856646 HAS SOPS 66925871 HAS SOUS 23165382 HAS SOUPS 22546668 WITH SCORE 2.2628524646E7
AT ITER 2039 NEW BEST:: SOT 132657897 SOS 81833107 HAS SOPS 66903640 HAS SOUS 23158923 HAS SOUPS 22540209 WITH SCORE 2.2622042107E7
AT ITER 2043 NEW BEST:: SOT 132681974 SOS 81882269 HAS SOPS 66950296 HAS SOUS 23151789 HAS SOUPS 22533075 WITH SCORE 2.2614957269E7
AT ITER 2050 NEW BEST:: SOT 132679865 SOS 81874509 HAS SOPS 66944916 HAS SOUS 23150319 HAS SOUPS 22531633 WITH SCORE 2.2613507509E7
AT ITER 2091 NEW BEST:: SOT 132686121 SOS 81900403 HAS SOPS 66972691 HAS SOUS 23142700 HAS SOUPS 22524014 WITH SCORE 2.2605914403E7
AT ITER 2106 NEW BEST:: SOT 132684374 SOS 81897417 HAS SOPS 66982752 HAS SOUS 23137634 HAS SOUPS 22518948 WITH SCORE 2.2600845417E7
AT ITER 2109 NEW BEST:: SOT 132686895 SOS 81901708 HAS SOPS 66984609 HAS SOUS 23136684 HAS SOUPS 22517998 WITH SCORE 2.2599899708E7
AT ITER 2110 NEW BEST:: SOT 132688204 SOS 81905867 HAS SOPS 66987310 HAS SOUS 23134871 HAS SOUPS 22516153 WITH SCORE 2.2598058867E7
AT ITER 2113 NEW BEST:: SOT 132687707 SOS 81904524 HAS SOPS 66978638 HAS SOUS 23126718 HAS SOUPS 22508089 WITH SCORE 2.2589993524E7
AT ITER 2125 NEW BEST:: SOT 132685345 SOS 81903399 HAS SOPS 66977336 HAS SOUS 23119536 HAS SOUPS 22500878 WITH SCORE 2.2582781399E7
AT ITER 2127 NEW BEST:: SOT 132703962 SOS 81951083 HAS SOPS 67023788 HAS SOUS 23111627 HAS SOUPS 22492969 WITH SCORE 2.2574920083E7
AT ITER 2128 NEW BEST:: SOT 132697324 SOS 81914418 HAS SOPS 67000153 HAS SOUS 23094306 HAS SOUPS 22475648 WITH SCORE 2.2557562418E7
AT ITER 2149 NEW BEST:: SOT 132701841 SOS 81928521 HAS SOPS 67021940 HAS SOUS 23077699 HAS SOUPS 22459160 WITH SCORE 2.2541088521E7
AT ITER 2158 NEW BEST:: SOT 132705851 SOS 81933684 HAS SOPS 67029613 HAS SOUS 23075348 HAS SOUPS 22458193 WITH SCORE 2.2540126684E7
AT ITER 2175 NEW BEST:: SOT 132705628 SOS 81933663 HAS SOPS 67027779 HAS SOUS 23073909 HAS SOUPS 22456754 WITH SCORE 2.2538687663E7
AT ITER 2203 NEW BEST:: SOT 132703940 SOS 81925505 HAS SOPS 67024229 HAS SOUS 23066741 HAS SOUPS 22452520 WITH SCORE 2.2534445505E7
AT ITER 2205 NEW BEST:: SOT 132703813 SOS 81925914 HAS SOPS 67024881 HAS SOUS 23066722 HAS SOUPS 22452501 WITH SCORE 2.2534426914E7
AT ITER 2207 NEW BEST:: SOT 132680001 SOS 81865723 HAS SOPS 66993071 HAS SOUS 23046923 HAS SOUPS 22432702 WITH SCORE 2.2514567723E7
AT ITER 2211 NEW BEST:: SOT 132690055 SOS 81921249 HAS SOPS 67043673 HAS SOUS 23017970 HAS SOUPS 22403749 WITH SCORE 2.2485670249E7
AT ITER 2218 NEW BEST:: SOT 132691923 SOS 81924026 HAS SOPS 67046598 HAS SOUS 23015820 HAS SOUPS 22401422 WITH SCORE 2.2483346026E7
AT ITER 2220 NEW BEST:: SOT 132697466 SOS 81876840 HAS SOPS 67005598 HAS SOUS 23000962 HAS SOUPS 22386784 WITH SCORE 2.246866084E7
AT ITER 2227 NEW BEST:: SOT 132697446 SOS 81876820 HAS SOPS 67005546 HAS SOUS 23000926 HAS SOUPS 22386748 WITH SCORE 2.246862482E7
AT ITER 2231 NEW BEST:: SOT 132695509 SOS 81874293 HAS SOPS 67002609 HAS SOUS 22997487 HAS SOUPS 22383319 WITH SCORE 2.2465193293E7
AT ITER 2254 NEW BEST:: SOT 132694849 SOS 81873677 HAS SOPS 67002017 HAS SOUS 22996395 HAS SOUPS 22382227 WITH SCORE 2.2464100677E7
AT ITER 2259 NEW BEST:: SOT 132694939 SOS 81874110 HAS SOPS 67002455 HAS SOUS 22996277 HAS SOUPS 22382109 WITH SCORE 2.246398311E7
AT ITER 2262 NEW BEST:: SOT 132687630 SOS 81866801 HAS SOPS 66993290 HAS SOUS 22987112 HAS SOUPS 22372944 WITH SCORE 2.2454810801E7
AT ITER 2271 NEW BEST:: SOT 132671007 SOS 81819574 HAS SOPS 66947507 HAS SOUS 22981642 HAS SOUPS 22367474 WITH SCORE 2.2449293574E7
AT ITER 2279 NEW BEST:: SOT 132669694 SOS 81818023 HAS SOPS 66944276 HAS SOUS 22978553 HAS SOUPS 22364385 WITH SCORE 2.2446203023E7
AT ITER 2315 NEW BEST:: SOT 132663949 SOS 81800616 HAS SOPS 66930537 HAS SOUS 22968259 HAS SOUPS 22354918 WITH SCORE 2.2436718616E7
AT ITER 2316 NEW BEST:: SOT 132654177 SOS 81783516 HAS SOPS 66911906 HAS SOUS 22955498 HAS SOUPS 22342157 WITH SCORE 2.2423940516E7

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

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