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

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

=== Now, execution of the tool begins

BK_START 1589726462672

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 7
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 1 NEW BEST:: SOT 133640096 SOS 82166101 HAS SOPS 66726256 HAS SOUS 26436251 HAS SOUPS 25805560 WITH SCORE 2.5887726101E7
AT ITER 8 NEW BEST:: SOT 133631176 SOS 82151895 HAS SOPS 66714387 HAS SOUS 26422715 HAS SOUPS 25792116 WITH SCORE 2.5874267895E7
AT ITER 14 NEW BEST:: SOT 133609228 SOS 82123164 HAS SOPS 66692107 HAS SOUS 26390822 HAS SOUPS 25760223 WITH SCORE 2.5842346164E7
AT ITER 25 NEW BEST:: SOT 133595951 SOS 82099066 HAS SOPS 66673242 HAS SOUS 26377401 HAS SOUPS 25746802 WITH SCORE 2.5828901066E7
AT ITER 42 NEW BEST:: SOT 133571544 SOS 82074679 HAS SOPS 66648031 HAS SOUS 26350400 HAS SOUPS 25719737 WITH SCORE 2.5801811679E7
AT ITER 62 NEW BEST:: SOT 133580124 SOS 82097187 HAS SOPS 66662611 HAS SOUS 26346907 HAS SOUPS 25716244 WITH SCORE 2.5798341187E7
AT ITER 66 NEW BEST:: SOT 133580174 SOS 82098215 HAS SOPS 66664613 HAS SOUS 26344043 HAS SOUPS 25713380 WITH SCORE 2.5795478215E7
AT ITER 68 NEW BEST:: SOT 133575024 SOS 82081922 HAS SOPS 66665069 HAS SOUS 26329661 HAS SOUPS 25698998 WITH SCORE 2.5781079922E7
AT ITER 75 NEW BEST:: SOT 133574121 SOS 82079144 HAS SOPS 66662786 HAS SOUS 26329029 HAS SOUPS 25698366 WITH SCORE 2.5780445144E7
AT ITER 79 NEW BEST:: SOT 133582366 SOS 82129291 HAS SOPS 66716369 HAS SOUS 26318526 HAS SOUPS 25687863 WITH SCORE 2.5769992291E7
AT ITER 80 NEW BEST:: SOT 133581891 SOS 82128428 HAS SOPS 66714642 HAS SOUS 26318267 HAS SOUPS 25687604 WITH SCORE 2.5769732428E7
AT ITER 111 NEW BEST:: SOT 133548283 SOS 82081183 HAS SOPS 66666915 HAS SOUS 26301614 HAS SOUPS 25670018 WITH SCORE 2.5752099183E7
AT ITER 115 NEW BEST:: SOT 133568820 SOS 82159101 HAS SOPS 66721051 HAS SOUS 26278271 HAS SOUPS 25646675 WITH SCORE 2.5728834101E7
AT ITER 137 NEW BEST:: SOT 133567560 SOS 82157512 HAS SOPS 66718785 HAS SOUS 26274280 HAS SOUPS 25642684 WITH SCORE 2.5724841512E7
AT ITER 142 NEW BEST:: SOT 133559909 SOS 82149861 HAS SOPS 66711134 HAS SOUS 26269445 HAS SOUPS 25637849 WITH SCORE 2.5719998861E7
AT ITER 150 NEW BEST:: SOT 133538046 SOS 82101567 HAS SOPS 66678467 HAS SOUS 26256536 HAS SOUPS 25625272 WITH SCORE 2.5707373567E7
AT ITER 209 NEW BEST:: SOT 133568292 SOS 82215811 HAS SOPS 66772576 HAS SOUS 26228501 HAS SOUPS 25597237 WITH SCORE 2.5679452811E7
AT ITER 213 NEW BEST:: SOT 133567709 SOS 82216724 HAS SOPS 66771272 HAS SOUS 26228073 HAS SOUPS 25596809 WITH SCORE 2.5679025724E7
AT ITER 214 NEW BEST:: SOT 133564794 SOS 82212382 HAS SOPS 66768655 HAS SOUS 26226428 HAS SOUPS 25595164 WITH SCORE 2.5677376382E7
AT ITER 220 NEW BEST:: SOT 133565430 SOS 82226633 HAS SOPS 66779811 HAS SOUS 26221260 HAS SOUPS 25589996 WITH SCORE 2.5672222633E7
AT ITER 225 NEW BEST:: SOT 133577000 SOS 82261709 HAS SOPS 66803033 HAS SOUS 26212960 HAS SOUPS 25581696 WITH SCORE 2.5663957709E7
AT ITER 262 NEW BEST:: SOT 133576280 SOS 82264434 HAS SOPS 66806993 HAS SOUS 26209311 HAS SOUPS 25578047 WITH SCORE 2.5660311434E7
AT ITER 289 NEW BEST:: SOT 133578079 SOS 82274453 HAS SOPS 66814767 HAS SOUS 26204850 HAS SOUPS 25573586 WITH SCORE 2.5655860453E7
AT ITER 306 NEW BEST:: SOT 133577437 SOS 82274158 HAS SOPS 66815656 HAS SOUS 26203358 HAS SOUPS 25572094 WITH SCORE 2.5654368158E7
AT ITER 312 NEW BEST:: SOT 133576717 SOS 82274836 HAS SOPS 66814948 HAS SOUS 26201520 HAS SOUPS 25570236 WITH SCORE 2.5652510836E7
AT ITER 315 NEW BEST:: SOT 133563657 SOS 82250719 HAS SOPS 66805500 HAS SOUS 26196241 HAS SOUPS 25564957 WITH SCORE 2.5647207719E7
AT ITER 320 NEW BEST:: SOT 133563275 SOS 82273882 HAS SOPS 66847700 HAS SOUS 26178008 HAS SOUPS 25546724 WITH SCORE 2.5628997882E7
AT ITER 325 NEW BEST:: SOT 133564125 SOS 82276340 HAS SOPS 66849050 HAS SOUS 26177782 HAS SOUPS 25546498 WITH SCORE 2.562877434E7
AT ITER 347 NEW BEST:: SOT 133563810 SOS 82282208 HAS SOPS 66851122 HAS SOUS 26176009 HAS SOUPS 25544725 WITH SCORE 2.5627007208E7
AT ITER 352 NEW BEST:: SOT 133563441 SOS 82278638 HAS SOPS 66848535 HAS SOUS 26175905 HAS SOUPS 25544621 WITH SCORE 2.5626899638E7
AT ITER 357 NEW BEST:: SOT 133569794 SOS 82297219 HAS SOPS 66860429 HAS SOUS 26169090 HAS SOUPS 25537806 WITH SCORE 2.5620103219E7
AT ITER 372 NEW BEST:: SOT 133565108 SOS 82281103 HAS SOPS 66847800 HAS SOUS 26167163 HAS SOUPS 25535879 WITH SCORE 2.5618160103E7
AT ITER 376 NEW BEST:: SOT 133567528 SOS 82288375 HAS SOPS 66850731 HAS SOUS 26150027 HAS SOUPS 25518743 WITH SCORE 2.5601031375E7
AT ITER 377 NEW BEST:: SOT 133506687 SOS 82222910 HAS SOPS 66761606 HAS SOUS 26028667 HAS SOUPS 25397796 WITH SCORE 2.548001891E7
AT ITER 391 NEW BEST:: SOT 133496707 SOS 82213286 HAS SOPS 66752572 HAS SOUS 26015521 HAS SOUPS 25384650 WITH SCORE 2.5466863286E7
AT ITER 394 NEW BEST:: SOT 133489482 SOS 82208230 HAS SOPS 66744824 HAS SOUS 26004232 HAS SOUPS 25373361 WITH SCORE 2.545556923E7
AT ITER 398 NEW BEST:: SOT 133510016 SOS 82255714 HAS SOPS 66778450 HAS SOUS 25997703 HAS SOUPS 25366820 WITH SCORE 2.5449075714E7
AT ITER 401 NEW BEST:: SOT 133511104 SOS 82261686 HAS SOPS 66787921 HAS SOUS 25995214 HAS SOUPS 25364331 WITH SCORE 2.5446592686E7
AT ITER 406 NEW BEST:: SOT 133508710 SOS 82265163 HAS SOPS 66794381 HAS SOUS 25988421 HAS SOUPS 25357538 WITH SCORE 2.5439803163E7
AT ITER 427 NEW BEST:: SOT 133508625 SOS 82264936 HAS SOPS 66794157 HAS SOUS 25988262 HAS SOUPS 25357379 WITH SCORE 2.5439643936E7
AT ITER 454 NEW BEST:: SOT 133508388 SOS 82264489 HAS SOPS 66794085 HAS SOUS 25988148 HAS SOUPS 25357265 WITH SCORE 2.5439529489E7
AT ITER 458 NEW BEST:: SOT 133502978 SOS 82235473 HAS SOPS 66767695 HAS SOUS 25984859 HAS SOUPS 25353976 WITH SCORE 2.5436211473E7
AT ITER 470 NEW BEST:: SOT 133471806 SOS 82177593 HAS SOPS 66750981 HAS SOUS 25959002 HAS SOUPS 25328119 WITH SCORE 2.5410296593E7
AT ITER 472 NEW BEST:: SOT 133471382 SOS 82177133 HAS SOPS 66750213 HAS SOUS 25957786 HAS SOUPS 25326903 WITH SCORE 2.5409080133E7
AT ITER 476 NEW BEST:: SOT 133473148 SOS 82185061 HAS SOPS 66755092 HAS SOUS 25953272 HAS SOUPS 25322389 WITH SCORE 2.5404574061E7
AT ITER 490 NEW BEST:: SOT 133455256 SOS 82151796 HAS SOPS 66729586 HAS SOUS 25939709 HAS SOUPS 25308826 WITH SCORE 2.5390977796E7
AT ITER 499 NEW BEST:: SOT 133442189 SOS 82122058 HAS SOPS 66707808 HAS SOUS 25936287 HAS SOUPS 25305494 WITH SCORE 2.5387616058E7
AT ITER 508 NEW BEST:: SOT 133442502 SOS 82122421 HAS SOPS 66708890 HAS SOUS 25936052 HAS SOUPS 25305303 WITH SCORE 2.5387425421E7
AT ITER 518 NEW BEST:: SOT 133413620 SOS 82076279 HAS SOPS 66660023 HAS SOUS 25892802 HAS SOUPS 25262053 WITH SCORE 2.5344129279E7
AT ITER 526 NEW BEST:: SOT 133409193 SOS 82072197 HAS SOPS 66656777 HAS SOUS 25887994 HAS SOUPS 25257245 WITH SCORE 2.5339317197E7
AT ITER 528 NEW BEST:: SOT 133407779 SOS 82069453 HAS SOPS 66656830 HAS SOUS 25886926 HAS SOUPS 25256177 WITH SCORE 2.5338246453E7
AT ITER 532 NEW BEST:: SOT 133388479 SOS 82005061 HAS SOPS 66614209 HAS SOUS 25877713 HAS SOUPS 25247984 WITH SCORE 2.5329989061E7
AT ITER 539 NEW BEST:: SOT 133390883 SOS 82010211 HAS SOPS 66619791 HAS SOUS 25869994 HAS SOUPS 25240265 WITH SCORE 2.5322275211E7
AT ITER 542 NEW BEST:: SOT 133429007 SOS 82115956 HAS SOPS 66732423 HAS SOUS 25850005 HAS SOUPS 25220276 WITH SCORE 2.5302391956E7
AT ITER 550 NEW BEST:: SOT 133429067 SOS 82115796 HAS SOPS 66732293 HAS SOUS 25848655 HAS SOUPS 25218926 WITH SCORE 2.5301041796E7
AT ITER 556 NEW BEST:: SOT 133418919 SOS 82094950 HAS SOPS 66718116 HAS SOUS 25842937 HAS SOUPS 25213208 WITH SCORE 2.529530295E7
AT ITER 562 NEW BEST:: SOT 133400819 SOS 82056319 HAS SOPS 66687140 HAS SOUS 25827657 HAS SOUPS 25197928 WITH SCORE 2.5279984319E7
AT ITER 564 NEW BEST:: SOT 133401083 SOS 82055320 HAS SOPS 66688342 HAS SOUS 25826656 HAS SOUPS 25196927 WITH SCORE 2.527898232E7
AT ITER 568 NEW BEST:: SOT 133403451 SOS 82070532 HAS SOPS 66706964 HAS SOUS 25822579 HAS SOUPS 25192850 WITH SCORE 2.5274920532E7
AT ITER 590 NEW BEST:: SOT 133403485 SOS 82070413 HAS SOPS 66706075 HAS SOUS 25821929 HAS SOUPS 25192200 WITH SCORE 2.5274270413E7
AT ITER 594 NEW BEST:: SOT 133402515 SOS 82067411 HAS SOPS 66701290 HAS SOUS 25819356 HAS SOUPS 25189627 WITH SCORE 2.5271694411E7
AT ITER 603 NEW BEST:: SOT 133393453 SOS 82040539 HAS SOPS 66689752 HAS SOUS 25793207 HAS SOUPS 25164471 WITH SCORE 2.5246511539E7
AT ITER 608 NEW BEST:: SOT 133393981 SOS 82032972 HAS SOPS 66680698 HAS SOUS 25780226 HAS SOUPS 25152570 WITH SCORE 2.5234602972E7
AT ITER 609 NEW BEST:: SOT 133394054 SOS 82033017 HAS SOPS 66680743 HAS SOUS 25780089 HAS SOUPS 25152433 WITH SCORE 2.5234466017E7
AT ITER 626 NEW BEST:: SOT 133390475 SOS 82027607 HAS SOPS 66678718 HAS SOUS 25766912 HAS SOUPS 25139256 WITH SCORE 2.5221283607E7
AT ITER 627 NEW BEST:: SOT 133390220 SOS 82027268 HAS SOPS 66678448 HAS SOUS 25766540 HAS SOUPS 25138887 WITH SCORE 2.5220914268E7
AT ITER 629 NEW BEST:: SOT 133404048 SOS 82104169 HAS SOPS 66768915 HAS SOUS 25742261 HAS SOUPS 25114608 WITH SCORE 2.5196712169E7
AT ITER 640 NEW BEST:: SOT 133403731 SOS 82103793 HAS SOPS 66768594 HAS SOUS 25741754 HAS SOUPS 25114104 WITH SCORE 2.5196207793E7
AT ITER 644 NEW BEST:: SOT 133380963 SOS 82066987 HAS SOPS 66736726 HAS SOUS 25709484 HAS SOUPS 25081997 WITH SCORE 2.5164063987E7
AT ITER 652 NEW BEST:: SOT 133374305 SOS 82064018 HAS SOPS 66732800 HAS SOUS 25704510 HAS SOUPS 25077023 WITH SCORE 2.5159087018E7
AT ITER 656 NEW BEST:: SOT 133374307 SOS 82063614 HAS SOPS 66732215 HAS SOUS 25704495 HAS SOUPS 25077008 WITH SCORE 2.5159071614E7
AT ITER 658 NEW BEST:: SOT 133361520 SOS 82032638 HAS SOPS 66710866 HAS SOUS 25698741 HAS SOUPS 25071254 WITH SCORE 2.5153286638E7
AT ITER 665 NEW BEST:: SOT 133362750 SOS 82039167 HAS SOPS 66718802 HAS SOUS 25697541 HAS SOUPS 25070054 WITH SCORE 2.5152093167E7
AT ITER 676 NEW BEST:: SOT 133338285 SOS 82014620 HAS SOPS 66694198 HAS SOUS 25667596 HAS SOUPS 25040052 WITH SCORE 2.512206662E7
AT ITER 685 NEW BEST:: SOT 133326116 SOS 82007167 HAS SOPS 66699495 HAS SOUS 25616290 HAS SOUPS 24989212 WITH SCORE 2.5071219167E7
AT ITER 689 NEW BEST:: SOT 133354688 SOS 82092659 HAS SOPS 66785671 HAS SOUS 25612870 HAS SOUPS 24985792 WITH SCORE 2.5067884659E7
AT ITER 708 NEW BEST:: SOT 133355547 SOS 82096972 HAS SOPS 66788637 HAS SOUS 25612535 HAS SOUPS 24985457 WITH SCORE 2.5067553972E7
AT ITER 709 NEW BEST:: SOT 133301076 SOS 81979509 HAS SOPS 66699114 HAS SOUS 25570618 HAS SOUPS 24943540 WITH SCORE 2.5025519509E7
AT ITER 713 NEW BEST:: SOT 133306241 SOS 81988552 HAS SOPS 66703642 HAS SOUS 25556720 HAS SOUPS 24929642 WITH SCORE 2.5011630552E7
AT ITER 719 NEW BEST:: SOT 133304502 SOS 82016886 HAS SOPS 66723582 HAS SOUS 25519322 HAS SOUPS 24892244 WITH SCORE 2.4974260886E7
AT ITER 734 NEW BEST:: SOT 133314269 SOS 82063853 HAS SOPS 66763865 HAS SOUS 25512414 HAS SOUPS 24885336 WITH SCORE 2.4967399853E7
AT ITER 739 NEW BEST:: SOT 133313383 SOS 82062757 HAS SOPS 66762902 HAS SOUS 25510295 HAS SOUPS 24883224 WITH SCORE 2.4965286757E7
AT ITER 742 NEW BEST:: SOT 133316735 SOS 82064531 HAS SOPS 66763956 HAS SOUS 25502107 HAS SOUPS 24876052 WITH SCORE 2.4958116531E7
AT ITER 760 NEW BEST:: SOT 133314333 SOS 82059510 HAS SOPS 66760285 HAS SOUS 25499894 HAS SOUPS 24873839 WITH SCORE 2.495589851E7
AT ITER 764 NEW BEST:: SOT 133322421 SOS 82082744 HAS SOPS 66789350 HAS SOUS 25492480 HAS SOUPS 24866425 WITH SCORE 2.4948507744E7
AT ITER 789 NEW BEST:: SOT 133372054 SOS 82180588 HAS SOPS 66902042 HAS SOUS 25483788 HAS SOUPS 24861453 WITH SCORE 2.4943633588E7
AT ITER 790 NEW BEST:: SOT 133394795 SOS 82254136 HAS SOPS 66952239 HAS SOUS 25471596 HAS SOUPS 24849009 WITH SCORE 2.4931263136E7
AT ITER 793 NEW BEST:: SOT 133393365 SOS 82251518 HAS SOPS 66949621 HAS SOUS 25470482 HAS SOUPS 24847895 WITH SCORE 2.4930146518E7
AT ITER 813 NEW BEST:: SOT 133398125 SOS 82249924 HAS SOPS 66947904 HAS SOUS 25463981 HAS SOUPS 24841567 WITH SCORE 2.4923816924E7
AT ITER 815 NEW BEST:: SOT 133394286 SOS 82243619 HAS SOPS 66942672 HAS SOUS 25462325 HAS SOUPS 24839911 WITH SCORE 2.4922154619E7
AT ITER 819 NEW BEST:: SOT 133394510 SOS 82245129 HAS SOPS 66943539 HAS SOUS 25461338 HAS SOUPS 24838924 WITH SCORE 2.4921169129E7
AT ITER 824 NEW BEST:: SOT 133389327 SOS 82241936 HAS SOPS 66940787 HAS SOUS 25456793 HAS SOUPS 24833892 WITH SCORE 2.4916133936E7
AT ITER 834 NEW BEST:: SOT 133389222 SOS 82241831 HAS SOPS 66940242 HAS SOUS 25456428 HAS SOUPS 24833527 WITH SCORE 2.4915768831E7
AT ITER 836 NEW BEST:: SOT 133389575 SOS 82254047 HAS SOPS 66952227 HAS SOUS 25429224 HAS SOUPS 24806424 WITH SCORE 2.4888678047E7
AT ITER 872 NEW BEST:: SOT 133389422 SOS 82253810 HAS SOPS 66952032 HAS SOUS 25428349 HAS SOUPS 24805603 WITH SCORE 2.488785681E7
AT ITER 876 NEW BEST:: SOT 133401316 SOS 82291271 HAS SOPS 66994356 HAS SOUS 25410189 HAS SOUPS 24787443 WITH SCORE 2.4869734271E7
AT ITER 891 NEW BEST:: SOT 133401677 SOS 82293783 HAS SOPS 66995044 HAS SOUS 25410164 HAS SOUPS 24787394 WITH SCORE 2.4869687783E7
AT ITER 892 NEW BEST:: SOT 133402001 SOS 82305366 HAS SOPS 67006056 HAS SOUS 25392781 HAS SOUPS 24770011 WITH SCORE 2.4852316366E7
AT ITER 898 NEW BEST:: SOT 133400564 SOS 82302488 HAS SOPS 67003912 HAS SOUS 25391957 HAS SOUPS 24769201 WITH SCORE 2.4851503488E7
AT ITER 911 NEW BEST:: SOT 133410513 SOS 82332582 HAS SOPS 67020953 HAS SOUS 25384158 HAS SOUPS 24761402 WITH SCORE 2.4843734582E7
AT ITER 913 NEW BEST:: SOT 133397426 SOS 82289255 HAS SOPS 66996928 HAS SOUS 25377271 HAS SOUPS 24758248 WITH SCORE 2.4840537255E7
AT ITER 916 NEW BEST:: SOT 133396664 SOS 82287454 HAS SOPS 66995430 HAS SOUS 25374272 HAS SOUPS 24755274 WITH SCORE 2.4837561454E7
AT ITER 919 NEW BEST:: SOT 133373393 SOS 82264169 HAS SOPS 66971906 HAS SOUS 25340487 HAS SOUPS 24721475 WITH SCORE 2.4803739169E7
AT ITER 930 NEW BEST:: SOT 133360808 SOS 82225528 HAS SOPS 66945266 HAS SOUS 25333295 HAS SOUPS 24715990 WITH SCORE 2.4798215528E7
AT ITER 933 NEW BEST:: SOT 133350020 SOS 82211239 HAS SOPS 66944522 HAS SOUS 25312189 HAS SOUPS 24694884 WITH SCORE 2.4777095239E7
AT ITER 940 NEW BEST:: SOT 133351653 SOS 82216879 HAS SOPS 66947453 HAS SOUS 25299546 HAS SOUPS 24682356 WITH SCORE 2.4764572879E7
AT ITER 946 NEW BEST:: SOT 133351712 SOS 82216491 HAS SOPS 66945890 HAS SOUS 25298629 HAS SOUPS 24681439 WITH SCORE 2.4763655491E7
AT ITER 951 NEW BEST:: SOT 133372497 SOS 82277069 HAS SOPS 67015074 HAS SOUS 25297505 HAS SOUPS 24680315 WITH SCORE 2.4762592069E7
AT ITER 957 NEW BEST:: SOT 133370864 SOS 82273986 HAS SOPS 67007039 HAS SOUS 25288912 HAS SOUPS 24671722 WITH SCORE 2.4753995986E7
AT ITER 962 NEW BEST:: SOT 133327838 SOS 82211156 HAS SOPS 66952940 HAS SOUS 25254410 HAS SOUPS 24637692 WITH SCORE 2.4719903156E7
AT ITER 973 NEW BEST:: SOT 133324608 SOS 82209783 HAS SOPS 66949263 HAS SOUS 25242118 HAS SOUPS 24625400 WITH SCORE 2.4707609783E7
AT ITER 978 NEW BEST:: SOT 133357031 SOS 82243159 HAS SOPS 66965844 HAS SOUS 25239362 HAS SOUPS 24622796 WITH SCORE 2.4705039159E7
AT ITER 979 NEW BEST:: SOT 133354485 SOS 82242877 HAS SOPS 66985590 HAS SOUS 25239222 HAS SOUPS 24622656 WITH SCORE 2.4704898877E7
AT ITER 987 NEW BEST:: SOT 133357221 SOS 82248509 HAS SOPS 66990600 HAS SOUS 25232523 HAS SOUPS 24615957 WITH SCORE 2.4698205509E7
AT ITER 990 NEW BEST:: SOT 133367136 SOS 82279165 HAS SOPS 67016616 HAS SOUS 25207234 HAS SOUPS 24590666 WITH SCORE 2.4672945165E7
AT ITER 994 NEW BEST:: SOT 133337925 SOS 82216426 HAS SOPS 66966092 HAS SOUS 25177748 HAS SOUPS 24561180 WITH SCORE 2.4643396426E7
AT ITER 1013 NEW BEST:: SOT 133338290 SOS 82217591 HAS SOPS 66964105 HAS SOUS 25174918 HAS SOUPS 24558030 WITH SCORE 2.4640247591E7
AT ITER 1037 NEW BEST:: SOT 133333370 SOS 82210838 HAS SOPS 66969685 HAS SOUS 25153562 HAS SOUPS 24536674 WITH SCORE 2.4618884838E7
AT ITER 1045 NEW BEST:: SOT 133333178 SOS 82210638 HAS SOPS 66969453 HAS SOUS 25152170 HAS SOUPS 24535522 WITH SCORE 2.4617732638E7
AT ITER 1053 NEW BEST:: SOT 133369080 SOS 82305362 HAS SOPS 67038589 HAS SOUS 25145478 HAS SOUPS 24528830 WITH SCORE 2.4611135362E7
AT ITER 1066 NEW BEST:: SOT 133363648 SOS 82299928 HAS SOPS 67032068 HAS SOUS 25138024 HAS SOUPS 24521443 WITH SCORE 2.4603742928E7
AT ITER 1068 NEW BEST:: SOT 133363273 SOS 82299541 HAS SOPS 67031681 HAS SOUS 25137304 HAS SOUPS 24520723 WITH SCORE 2.4603022541E7
AT ITER 1075 NEW BEST:: SOT 133353521 SOS 82283985 HAS SOPS 67017577 HAS SOUS 25119712 HAS SOUPS 24503238 WITH SCORE 2.4585521985E7
AT ITER 1080 NEW BEST:: SOT 133352571 SOS 82281559 HAS SOPS 67013719 HAS SOUS 25108333 HAS SOUPS 24491859 WITH SCORE 2.4574140559E7
AT ITER 1088 NEW BEST:: SOT 133340245 SOS 82265230 HAS SOPS 66988408 HAS SOUS 25084364 HAS SOUPS 24467890 WITH SCORE 2.455015523E7
AT ITER 1089 NEW BEST:: SOT 133339982 SOS 82264923 HAS SOPS 66988165 HAS SOUS 25083935 HAS SOUPS 24467461 WITH SCORE 2.4549725923E7
AT ITER 1093 NEW BEST:: SOT 133191880 SOS 82081284 HAS SOPS 66815762 HAS SOUS 24925000 HAS SOUPS 24308399 WITH SCORE 2.4390480284E7
AT ITER 1099 NEW BEST:: SOT 133180821 SOS 82074174 HAS SOPS 66817044 HAS SOUS 24911117 HAS SOUPS 24294516 WITH SCORE 2.4376590174E7
AT ITER 1102 NEW BEST:: SOT 133180444 SOS 82073704 HAS SOPS 66816400 HAS SOUS 24910248 HAS SOUPS 24293650 WITH SCORE 2.4375723704E7
AT ITER 1104 NEW BEST:: SOT 133194777 SOS 82125758 HAS SOPS 66857486 HAS SOUS 24909887 HAS SOUPS 24293289 WITH SCORE 2.4375414758E7
AT ITER 1117 NEW BEST:: SOT 133199657 SOS 82162016 HAS SOPS 66888633 HAS SOUS 24899510 HAS SOUPS 24282912 WITH SCORE 2.4365074016E7
AT ITER 1124 NEW BEST:: SOT 133243027 SOS 82202843 HAS SOPS 66906990 HAS SOUS 24889005 HAS SOUPS 24271310 WITH SCORE 2.4353512843E7
AT ITER 1128 NEW BEST:: SOT 133242238 SOS 82196482 HAS SOPS 66968985 HAS SOUS 24869460 HAS SOUPS 24258750 WITH SCORE 2.4340946482E7
AT ITER 1134 NEW BEST:: SOT 133241381 SOS 82195675 HAS SOPS 66968797 HAS SOUS 24867389 HAS SOUPS 24256678 WITH SCORE 2.4338873675E7
AT ITER 1140 NEW BEST:: SOT 133241153 SOS 82196083 HAS SOPS 66969721 HAS SOUS 24867109 HAS SOUPS 24256398 WITH SCORE 2.4338594083E7
AT ITER 1148 NEW BEST:: SOT 133240234 SOS 82195264 HAS SOPS 66969912 HAS SOUS 24864778 HAS SOUPS 24254034 WITH SCORE 2.4336229264E7
AT ITER 1151 NEW BEST:: SOT 133240164 SOS 82195410 HAS SOPS 66970122 HAS SOUS 24864388 HAS SOUPS 24253644 WITH SCORE 2.433583941E7
AT ITER 1153 NEW BEST:: SOT 133237986 SOS 82188935 HAS SOPS 66964683 HAS SOUS 24856344 HAS SOUPS 24245600 WITH SCORE 2.4327788935E7
AT ITER 1158 NEW BEST:: SOT 133237817 SOS 82187065 HAS SOPS 66962994 HAS SOUS 24856049 HAS SOUPS 24245305 WITH SCORE 2.4327492065E7
AT ITER 1175 NEW BEST:: SOT 133237953 SOS 82186973 HAS SOPS 66961762 HAS SOUS 24852449 HAS SOUPS 24241743 WITH SCORE 2.4323929973E7
AT ITER 1187 NEW BEST:: SOT 133234932 SOS 82181797 HAS SOPS 66956813 HAS SOUS 24848967 HAS SOUPS 24238261 WITH SCORE 2.4320442797E7
AT ITER 1198 NEW BEST:: SOT 133229642 SOS 82176371 HAS SOPS 66951401 HAS SOUS 24843543 HAS SOUPS 24232837 WITH SCORE 2.4315013371E7
AT ITER 1203 NEW BEST:: SOT 133228575 SOS 82171817 HAS SOPS 66946103 HAS SOUS 24840925 HAS SOUPS 24230219 WITH SCORE 2.4312390817E7
AT ITER 1214 NEW BEST:: SOT 133230634 SOS 82180573 HAS SOPS 66939189 HAS SOUS 24809231 HAS SOUPS 24201532 WITH SCORE 2.4283712573E7
AT ITER 1216 NEW BEST:: SOT 133222572 SOS 82158810 HAS SOPS 66919057 HAS SOUS 24806254 HAS SOUPS 24198555 WITH SCORE 2.428071381E7
AT ITER 1225 NEW BEST:: SOT 133222542 SOS 82158772 HAS SOPS 66919019 HAS SOUS 24806144 HAS SOUPS 24198445 WITH SCORE 2.4280603772E7
AT ITER 1228 NEW BEST:: SOT 133222233 SOS 82166505 HAS SOPS 66930078 HAS SOUS 24803925 HAS SOUPS 24196226 WITH SCORE 2.4278392505E7
AT ITER 1236 NEW BEST:: SOT 133197553 SOS 82129765 HAS SOPS 66897882 HAS SOUS 24769059 HAS SOUPS 24162227 WITH SCORE 2.4244356765E7
AT ITER 1239 NEW BEST:: SOT 133184397 SOS 82090883 HAS SOPS 66891210 HAS SOUS 24767602 HAS SOUPS 24160770 WITH SCORE 2.4242860883E7
AT ITER 1290 NEW BEST:: SOT 133183977 SOS 82089843 HAS SOPS 66890764 HAS SOUS 24767264 HAS SOUPS 24160412 WITH SCORE 2.4242501843E7
AT ITER 1302 NEW BEST:: SOT 133181590 SOS 82085451 HAS SOPS 66883202 HAS SOUS 24757717 HAS SOUPS 24150865 WITH SCORE 2.4232950451E7
AT ITER 1303 NEW BEST:: SOT 133175215 SOS 82082994 HAS SOPS 66882707 HAS SOUS 24755020 HAS SOUPS 24144050 WITH SCORE 2.4226132994E7
AT ITER 1310 NEW BEST:: SOT 133164495 SOS 82064212 HAS SOPS 66875659 HAS SOUS 24745095 HAS SOUPS 24134340 WITH SCORE 2.4216404212E7
AT ITER 1311 NEW BEST:: SOT 133187581 SOS 82136105 HAS SOPS 66928777 HAS SOUS 24728996 HAS SOUPS 24117349 WITH SCORE 2.4199485105E7
AT ITER 1338 NEW BEST:: SOT 133185659 SOS 82134202 HAS SOPS 66925646 HAS SOUS 24718365 HAS SOUPS 24106718 WITH SCORE 2.4188852202E7
AT ITER 1347 NEW BEST:: SOT 133185692 SOS 82135991 HAS SOPS 66927257 HAS SOUS 24717474 HAS SOUPS 24105827 WITH SCORE 2.4187962991E7
AT ITER 1358 NEW BEST:: SOT 133185722 SOS 82137797 HAS SOPS 66930559 HAS SOUS 24717406 HAS SOUPS 24105759 WITH SCORE 2.4187896797E7
AT ITER 1364 NEW BEST:: SOT 133173929 SOS 82125717 HAS SOPS 66914585 HAS SOUS 24686710 HAS SOUPS 24075153 WITH SCORE 2.4157278717E7
AT ITER 1372 NEW BEST:: SOT 133151948 SOS 82097836 HAS SOPS 66897538 HAS SOUS 24674939 HAS SOUPS 24063382 WITH SCORE 2.4145479836E7
AT ITER 1378 NEW BEST:: SOT 133147966 SOS 82089056 HAS SOPS 66891439 HAS SOUS 24674841 HAS SOUPS 24063284 WITH SCORE 2.4145373056E7
AT ITER 1399 NEW BEST:: SOT 133146420 SOS 82087568 HAS SOPS 66889765 HAS SOUS 24673911 HAS SOUPS 24062296 WITH SCORE 2.4144383568E7
AT ITER 1404 NEW BEST:: SOT 133171177 SOS 82134667 HAS SOPS 66923373 HAS SOUS 24668712 HAS SOUPS 24057097 WITH SCORE 2.4139231667E7
AT ITER 1405 NEW BEST:: SOT 133170758 SOS 82133958 HAS SOPS 66923070 HAS SOUS 24668548 HAS SOUPS 24056933 WITH SCORE 2.4139066958E7
AT ITER 1408 NEW BEST:: SOT 133161567 SOS 82125129 HAS SOPS 66926332 HAS SOUS 24662191 HAS SOUPS 24050730 WITH SCORE 2.4132855129E7
AT ITER 1414 NEW BEST:: SOT 133161883 SOS 82134336 HAS SOPS 66942531 HAS SOUS 24658542 HAS SOUPS 24047081 WITH SCORE 2.4129215336E7
AT ITER 1424 NEW BEST:: SOT 133159734 SOS 82136606 HAS SOPS 66941957 HAS SOUS 24649736 HAS SOUPS 24038275 WITH SCORE 2.4120411606E7
AT ITER 1429 NEW BEST:: SOT 133095830 SOS 82048941 HAS SOPS 66859771 HAS SOUS 24571926 HAS SOUPS 23960764 WITH SCORE 2.4042812941E7
AT ITER 1434 NEW BEST:: SOT 133095634 SOS 82047947 HAS SOPS 66858763 HAS SOUS 24571886 HAS SOUPS 23960724 WITH SCORE 2.4042771947E7
AT ITER 1444 NEW BEST:: SOT 133094219 SOS 82046269 HAS SOPS 66858482 HAS SOUS 24567887 HAS SOUPS 23956746 WITH SCORE 2.4038792269E7
AT ITER 1446 NEW BEST:: SOT 133092482 SOS 82041270 HAS SOPS 66848075 HAS SOUS 24565429 HAS SOUPS 23954288 WITH SCORE 2.403632927E7
AT ITER 1452 NEW BEST:: SOT 133102437 SOS 82046180 HAS SOPS 66858323 HAS SOUS 24565166 HAS SOUPS 23954244 WITH SCORE 2.403629018E7
AT ITER 1459 NEW BEST:: SOT 133102025 SOS 82040918 HAS SOPS 66851965 HAS SOUS 24563165 HAS SOUPS 23952243 WITH SCORE 2.4034283918E7
AT ITER 1468 NEW BEST:: SOT 133115674 SOS 82097492 HAS SOPS 66917070 HAS SOUS 24562066 HAS SOUPS 23951144 WITH SCORE 2.4033241492E7
AT ITER 1474 NEW BEST:: SOT 133114055 SOS 82095655 HAS SOPS 66915246 HAS SOUS 24552658 HAS SOUPS 23941749 WITH SCORE 2.4023844655E7
AT ITER 1492 NEW BEST:: SOT 133105748 SOS 82071132 HAS SOPS 66900655 HAS SOUS 24551071 HAS SOUPS 23940162 WITH SCORE 2.4022233132E7
AT ITER 1528 NEW BEST:: SOT 133107045 SOS 82078664 HAS SOPS 66905274 HAS SOUS 24545961 HAS SOUPS 23935052 WITH SCORE 2.4017130664E7
AT ITER 1529 NEW BEST:: SOT 133101701 SOS 82082736 HAS SOPS 66918533 HAS SOUS 24510797 HAS SOUPS 23899655 WITH SCORE 2.3981737736E7
AT ITER 1539 NEW BEST:: SOT 133101417 SOS 82082084 HAS SOPS 66917825 HAS SOUS 24510601 HAS SOUPS 23899419 WITH SCORE 2.3981501084E7
AT ITER 1545 NEW BEST:: SOT 133108315 SOS 82134994 HAS SOPS 66994488 HAS SOUS 24509935 HAS SOUPS 23898750 WITH SCORE 2.3980884994E7
AT ITER 1581 NEW BEST:: SOT 133061229 SOS 82064125 HAS SOPS 66963161 HAS SOUS 24455577 HAS SOUPS 23844813 WITH SCORE 2.3926877125E7
AT ITER 1584 NEW BEST:: SOT 133059608 SOS 82062547 HAS SOPS 66963045 HAS SOUS 24451263 HAS SOUPS 23840553 WITH SCORE 2.3922615547E7
AT ITER 1586 NEW BEST:: SOT 133089624 SOS 82126095 HAS SOPS 67012197 HAS SOUS 24445078 HAS SOUPS 23834368 WITH SCORE 2.3916494095E7
AT ITER 1588 NEW BEST:: SOT 132978226 SOS 81937414 HAS SOPS 66852384 HAS SOUS 24400141 HAS SOUPS 23789875 WITH SCORE 2.3871812414E7
AT ITER 1595 NEW BEST:: SOT 132977255 SOS 81936543 HAS SOPS 66849802 HAS SOUS 24395776 HAS SOUPS 23785510 WITH SCORE 2.3867446543E7
AT ITER 1600 NEW BEST:: SOT 132975364 SOS 81933332 HAS SOPS 66847116 HAS SOUS 24394095 HAS SOUPS 23783829 WITH SCORE 2.3865762332E7
AT ITER 1607 NEW BEST:: SOT 132954556 SOS 81917968 HAS SOPS 66834357 HAS SOUS 24368894 HAS SOUPS 23758628 WITH SCORE 2.3840545968E7
AT ITER 1622 NEW BEST:: SOT 132956815 SOS 81928814 HAS SOPS 66841588 HAS SOUS 24365174 HAS SOUPS 23754908 WITH SCORE 2.3836836814E7
AT ITER 1627 NEW BEST:: SOT 132941198 SOS 81905149 HAS SOPS 66820830 HAS SOUS 24340115 HAS SOUPS 23729849 WITH SCORE 2.3811754149E7
AT ITER 1633 NEW BEST:: SOT 132921700 SOS 81858408 HAS SOPS 66783339 HAS SOUS 24328895 HAS SOUPS 23718629 WITH SCORE 2.3800487408E7
AT ITER 1634 NEW BEST:: SOT 132919176 SOS 81858491 HAS SOPS 66787574 HAS SOUS 24328595 HAS SOUPS 23718329 WITH SCORE 2.3800187491E7
AT ITER 1666 NEW BEST:: SOT 132906642 SOS 81834949 HAS SOPS 66772386 HAS SOUS 24309816 HAS SOUPS 23700472 WITH SCORE 2.3782306949E7
AT ITER 1673 NEW BEST:: SOT 132906343 SOS 81834524 HAS SOPS 66771769 HAS SOUS 24309178 HAS SOUPS 23699834 WITH SCORE 2.3781668524E7
AT ITER 1675 NEW BEST:: SOT 132909881 SOS 81853583 HAS SOPS 66780135 HAS SOUS 24285863 HAS SOUPS 23676420 WITH SCORE 2.3758273583E7
AT ITER 1684 NEW BEST:: SOT 132885142 SOS 81824218 HAS SOPS 66746996 HAS SOUS 24260382 HAS SOUPS 23650939 WITH SCORE 2.3732763218E7
AT ITER 1688 NEW BEST:: SOT 132885385 SOS 81823962 HAS SOPS 66744151 HAS SOUS 24259780 HAS SOUPS 23650337 WITH SCORE 2.3732160962E7
AT ITER 1692 NEW BEST:: SOT 132874002 SOS 81795051 HAS SOPS 66721580 HAS SOUS 24245418 HAS SOUPS 23635975 WITH SCORE 2.3717770051E7
AT ITER 1695 NEW BEST:: SOT 132875789 SOS 81799096 HAS SOPS 66725379 HAS SOUS 24241801 HAS SOUPS 23632358 WITH SCORE 2.3714157096E7
AT ITER 1705 NEW BEST:: SOT 132870201 SOS 81793333 HAS SOPS 66716766 HAS SOUS 24229210 HAS SOUPS 23619767 WITH SCORE 2.3701560333E7
AT ITER 1717 NEW BEST:: SOT 132866135 SOS 81791043 HAS SOPS 66717046 HAS SOUS 24208545 HAS SOUPS 23599102 WITH SCORE 2.3680893043E7
AT ITER 1721 NEW BEST:: SOT 132855826 SOS 81769791 HAS SOPS 66703638 HAS SOUS 24201384 HAS SOUPS 23591944 WITH SCORE 2.3673713791E7
AT ITER 1730 NEW BEST:: SOT 132857053 SOS 81777577 HAS SOPS 66710106 HAS SOUS 24201187 HAS SOUPS 23591747 WITH SCORE 2.3673524577E7
AT ITER 1733 NEW BEST:: SOT 132856564 SOS 81777405 HAS SOPS 66707202 HAS SOUS 24193671 HAS SOUPS 23584334 WITH SCORE 2.3666111405E7
AT ITER 1734 NEW BEST:: SOT 132855885 SOS 81770297 HAS SOPS 66697987 HAS SOUS 24193276 HAS SOUPS 23583939 WITH SCORE 2.3665709297E7
AT ITER 1740 NEW BEST:: SOT 132853634 SOS 81760798 HAS SOPS 66689091 HAS SOUS 24191049 HAS SOUPS 23581712 WITH SCORE 2.3663472798E7
AT ITER 1741 NEW BEST:: SOT 132858341 SOS 81773698 HAS SOPS 66697248 HAS SOUS 24189696 HAS SOUPS 23580359 WITH SCORE 2.3662132698E7
AT ITER 1742 NEW BEST:: SOT 132870497 SOS 81827118 HAS SOPS 66740542 HAS SOUS 24172926 HAS SOUPS 23563589 WITH SCORE 2.3645416118E7
AT ITER 1766 NEW BEST:: SOT 132873920 SOS 81841558 HAS SOPS 66751239 HAS SOUS 24164026 HAS SOUPS 23554689 WITH SCORE 2.3636530558E7
AT ITER 1769 NEW BEST:: SOT 132880294 SOS 81837812 HAS SOPS 66769747 HAS SOUS 24162822 HAS SOUPS 23553780 WITH SCORE 2.3635617812E7
AT ITER 1777 NEW BEST:: SOT 132884282 SOS 81854441 HAS SOPS 66782647 HAS SOUS 24159438 HAS SOUPS 23550396 WITH SCORE 2.3632250441E7
AT ITER 1791 NEW BEST:: SOT 132884230 SOS 81854491 HAS SOPS 66783196 HAS SOUS 24159064 HAS SOUPS 23550022 WITH SCORE 2.3631876491E7
AT ITER 1804 NEW BEST:: SOT 132868015 SOS 81839414 HAS SOPS 66767081 HAS SOUS 24132614 HAS SOUPS 23523710 WITH SCORE 2.3605549414E7
AT ITER 1808 NEW BEST:: SOT 132866446 SOS 81831901 HAS SOPS 66766835 HAS SOUS 24130151 HAS SOUPS 23521282 WITH SCORE 2.3603113901E7
AT ITER 1823 NEW BEST:: SOT 132866860 SOS 81833341 HAS SOPS 66766610 HAS SOUS 24129299 HAS SOUPS 23520430 WITH SCORE 2.3602263341E7
AT ITER 1829 NEW BEST:: SOT 132866802 SOS 81831485 HAS SOPS 66766218 HAS SOUS 24129271 HAS SOUPS 23520423 WITH SCORE 2.3602254485E7
AT ITER 1832 NEW BEST:: SOT 132869103 SOS 81844097 HAS SOPS 66778414 HAS SOUS 24115893 HAS SOUPS 23507045 WITH SCORE 2.3588889097E7
AT ITER 1838 NEW BEST:: SOT 132867096 SOS 81842318 HAS SOPS 66776205 HAS SOUS 24111033 HAS SOUPS 23502150 WITH SCORE 2.3583992318E7
AT ITER 1850 NEW BEST:: SOT 132875629 SOS 81859464 HAS SOPS 66792751 HAS SOUS 24110792 HAS SOUPS 23501909 WITH SCORE 2.3583768464E7
AT ITER 1872 NEW BEST:: SOT 132873866 SOS 81857617 HAS SOPS 66790844 HAS SOUS 24106717 HAS SOUPS 23497834 WITH SCORE 2.3579691617E7
AT ITER 1885 NEW BEST:: SOT 132873105 SOS 81863952 HAS SOPS 66790010 HAS SOUS 24093143 HAS SOUPS 23483518 WITH SCORE 2.3565381952E7
AT ITER 1924 NEW BEST:: SOT 132870225 SOS 81861542 HAS SOPS 66784155 HAS SOUS 24086954 HAS SOUPS 23477085 WITH SCORE 2.3558946542E7
AT ITER 1928 NEW BEST:: SOT 132892614 SOS 81923588 HAS SOPS 66828207 HAS SOUS 24073795 HAS SOUPS 23463926 WITH SCORE 2.3545849588E7
AT ITER 1929 NEW BEST:: SOT 132863622 SOS 81878973 HAS SOPS 66788057 HAS SOUS 24040389 HAS SOUPS 23430458 WITH SCORE 2.3512336973E7
AT ITER 1930 NEW BEST:: SOT 132866043 SOS 81886936 HAS SOPS 66791731 HAS SOUS 24028469 HAS SOUPS 23418538 WITH SCORE 2.3500424936E7
AT ITER 1956 NEW BEST:: SOT 132863763 SOS 81881428 HAS SOPS 66788314 HAS SOUS 24022677 HAS SOUPS 23412746 WITH SCORE 2.3494627428E7
AT ITER 1959 NEW BEST:: SOT 132864422 SOS 81886338 HAS SOPS 66796778 HAS SOUS 24016935 HAS SOUPS 23407004 WITH SCORE 2.3488890338E7
AT ITER 1962 NEW BEST:: SOT 132811845 SOS 81760885 HAS SOPS 66708931 HAS SOUS 24004024 HAS SOUPS 23394835 WITH SCORE 2.3476595885E7
AT ITER 1965 NEW BEST:: SOT 132787267 SOS 81714787 HAS SOPS 66677281 HAS SOUS 23985285 HAS SOUPS 23376096 WITH SCORE 2.3457810787E7
AT ITER 1971 NEW BEST:: SOT 132791309 SOS 81714731 HAS SOPS 66677474 HAS SOUS 23985210 HAS SOUPS 23376021 WITH SCORE 2.3457735731E7
AT ITER 1989 NEW BEST:: SOT 132791812 SOS 81718795 HAS SOPS 66679092 HAS SOUS 23980557 HAS SOUPS 23371368 WITH SCORE 2.3453086795E7
AT ITER 2004 NEW BEST:: SOT 132779653 SOS 81695651 HAS SOPS 66662182 HAS SOUS 23975865 HAS SOUPS 23366676 WITH SCORE 2.3448371651E7
AT ITER 2008 NEW BEST:: SOT 132788136 SOS 81727580 HAS SOPS 66693791 HAS SOUS 23960324 HAS SOUPS 23351135 WITH SCORE 2.343286258E7
AT ITER 2011 NEW BEST:: SOT 132776433 SOS 81714535 HAS SOPS 66683472 HAS SOUS 23953581 HAS SOUPS 23344392 WITH SCORE 2.3426106535E7
AT ITER 2015 NEW BEST:: SOT 132778625 SOS 81740086 HAS SOPS 66703429 HAS SOUS 23935829 HAS SOUPS 23326640 WITH SCORE 2.3408380086E7
AT ITER 2030 NEW BEST:: SOT 132780291 SOS 81744365 HAS SOPS 66705979 HAS SOUS 23935361 HAS SOUPS 23326172 WITH SCORE 2.3407916365E7
AT ITER 2036 NEW BEST:: SOT 132747270 SOS 81701853 HAS SOPS 66672890 HAS SOUS 23879242 HAS SOUPS 23270297 WITH SCORE 2.3351998853E7
AT ITER 2045 NEW BEST:: SOT 132725391 SOS 81680025 HAS SOPS 66651011 HAS SOUS 23851540 HAS SOUPS 23242559 WITH SCORE 2.3324239025E7
AT ITER 2058 NEW BEST:: SOT 132718396 SOS 81670078 HAS SOPS 66637417 HAS SOUS 23829470 HAS SOUPS 23219688 WITH SCORE 2.3301358078E7
AT ITER 2059 NEW BEST:: SOT 132716351 SOS 81668023 HAS SOPS 66635052 HAS SOUS 23825825 HAS SOUPS 23216043 WITH SCORE 2.3297711023E7
AT ITER 2086 NEW BEST:: SOT 132703670 SOS 81631752 HAS SOPS 66609195 HAS SOUS 23821398 HAS SOUPS 23211616 WITH SCORE 2.3293247752E7
AT ITER 2089 NEW BEST:: SOT 132702641 SOS 81642730 HAS SOPS 66613632 HAS SOUS 23792255 HAS SOUPS 23182466 WITH SCORE 2.326410873E7
AT ITER 2095 NEW BEST:: SOT 132696954 SOS 81628349 HAS SOPS 66603500 HAS SOUS 23790656 HAS SOUPS 23180867 WITH SCORE 2.3262495349E7
AT ITER 2128 NEW BEST:: SOT 132690596 SOS 81621155 HAS SOPS 66597142 HAS SOUS 23783027 HAS SOUPS 23173281 WITH SCORE 2.3254902155E7
AT ITER 2132 NEW BEST:: SOT 132678141 SOS 81552712 HAS SOPS 66593787 HAS SOUS 23740207 HAS SOUPS 23130644 WITH SCORE 2.3212196712E7
AT ITER 2142 NEW BEST:: SOT 132674257 SOS 81550365 HAS SOPS 66591395 HAS SOUS 23728972 HAS SOUPS 23119870 WITH SCORE 2.3201420365E7
AT ITER 2151 NEW BEST:: SOT 132673398 SOS 81565857 HAS SOPS 66610679 HAS SOUS 23726332 HAS SOUPS 23117230 WITH SCORE 2.3198795857E7
AT ITER 2163 NEW BEST:: SOT 132675093 SOS 81574384 HAS SOPS 66619922 HAS SOUS 23716804 HAS SOUPS 23107702 WITH SCORE 2.3189276384E7
AT ITER 2168 NEW BEST:: SOT 132680613 SOS 81575653 HAS SOPS 66617762 HAS SOUS 23710932 HAS SOUPS 23101830 WITH SCORE 2.3183405653E7
AT ITER 2169 NEW BEST:: SOT 132680529 SOS 81575581 HAS SOPS 66617518 HAS SOUS 23710696 HAS SOUPS 23101594 WITH SCORE 2.3183169581E7
AT ITER 2171 NEW BEST:: SOT 132681398 SOS 81579620 HAS SOPS 66619701 HAS SOUS 23709926 HAS SOUPS 23100824 WITH SCORE 2.318240362E7
AT ITER 2176 NEW BEST:: SOT 132679336 SOS 81576291 HAS SOPS 66614864 HAS SOUS 23696942 HAS SOUPS 23088011 WITH SCORE 2.3169587291E7
AT ITER 2182 NEW BEST:: SOT 132691895 SOS 81605020 HAS SOPS 66635117 HAS SOUS 23693480 HAS SOUPS 23084549 WITH SCORE 2.316615402E7
AT ITER 2184 NEW BEST:: SOT 132690740 SOS 81601817 HAS SOPS 66632231 HAS SOUS 23692631 HAS SOUPS 23083700 WITH SCORE 2.3165301817E7
AT ITER 2186 NEW BEST:: SOT 132703470 SOS 81642134 HAS SOPS 66665425 HAS SOUS 23690737 HAS SOUPS 23081806 WITH SCORE 2.3163448134E7
AT ITER 2189 NEW BEST:: SOT 132703067 SOS 81641411 HAS SOPS 66664466 HAS SOUS 23690195 HAS SOUPS 23081261 WITH SCORE 2.3162902411E7
AT ITER 2216 NEW BEST:: SOT 132650703 SOS 81579115 HAS SOPS 66606918 HAS SOUS 23638007 HAS SOUPS 23029308 WITH SCORE 2.3110887115E7
AT ITER 2237 NEW BEST:: SOT 132657635 SOS 81622784 HAS SOPS 66646244 HAS SOUS 23628916 HAS SOUPS 23020217 WITH SCORE 2.3101839784E7
AT ITER 2255 NEW BEST:: SOT 132654692 SOS 81619727 HAS SOPS 66641980 HAS SOUS 23623109 HAS SOUPS 23014342 WITH SCORE 2.3095961727E7
AT ITER 2256 NEW BEST:: SOT 132665900 SOS 81642644 HAS SOPS 66674278 HAS SOUS 23622628 HAS SOUPS 23013861 WITH SCORE 2.3095503644E7
AT ITER 2261 NEW BEST:: SOT 132662099 SOS 81636530 HAS SOPS 66671030 HAS SOUS 23612256 HAS SOUPS 23003489 WITH SCORE 2.308512553E7
AT ITER 2286 NEW BEST:: SOT 132663337 SOS 81641744 HAS SOPS 66674356 HAS SOUS 23611567 HAS SOUPS 23002800 WITH SCORE 2.3084441744E7
AT ITER 2296 NEW BEST:: SOT 132658779 SOS 81637430 HAS SOPS 66668958 HAS SOUS 23606540 HAS SOUPS 22997713 WITH SCORE 2.307935043E7
AT ITER 2313 NEW BEST:: SOT 132641171 SOS 81619677 HAS SOPS 66650076 HAS SOUS 23577651 HAS SOUPS 22968824 WITH SCORE 2.3050443677E7

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

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