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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:29 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.1K 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.4K 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.2K Apr 10 14:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:56 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-9-CTLFireability-00
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-01
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-02
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-03
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-04
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-05
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-06
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-07
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-08
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-09
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-10
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-11
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-12
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-13
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-14
FORMULA_NAME RERS17pb114-PT-9-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589737464968

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

GOT IT HERE. BS
Petri model created: 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 8 NEW BEST:: SOT 133670044 SOS 82213144 HAS SOPS 66802645 HAS SOUS 26429174 HAS SOUPS 25799055 WITH SCORE 2.5881268144E7
AT ITER 9 NEW BEST:: SOT 133667059 SOS 82224962 HAS SOPS 66809610 HAS SOUS 26412463 HAS SOUPS 25782344 WITH SCORE 2.5864568962E7
AT ITER 16 NEW BEST:: SOT 133672388 SOS 82235611 HAS SOPS 66817279 HAS SOUS 26411902 HAS SOUPS 25781783 WITH SCORE 2.5864018611E7
AT ITER 31 NEW BEST:: SOT 133671922 SOS 82243717 HAS SOPS 66823518 HAS SOUS 26398636 HAS SOUPS 25768517 WITH SCORE 2.5850760717E7
AT ITER 38 NEW BEST:: SOT 133669290 SOS 82242502 HAS SOPS 66826306 HAS SOUS 26382133 HAS SOUPS 25751904 WITH SCORE 2.5834146502E7
AT ITER 40 NEW BEST:: SOT 133675220 SOS 82288046 HAS SOPS 66876177 HAS SOUS 26371144 HAS SOUPS 25740915 WITH SCORE 2.5823203046E7
AT ITER 87 NEW BEST:: SOT 133640519 SOS 82245395 HAS SOPS 66843783 HAS SOUS 26330020 HAS SOUPS 25699791 WITH SCORE 2.5782036395E7
AT ITER 88 NEW BEST:: SOT 133642821 SOS 82290242 HAS SOPS 66896710 HAS SOUS 26316118 HAS SOUPS 25685889 WITH SCORE 2.5768179242E7
AT ITER 109 NEW BEST:: SOT 133674945 SOS 82373623 HAS SOPS 66978422 HAS SOUS 26305948 HAS SOUPS 25675719 WITH SCORE 2.5758092623E7
AT ITER 130 NEW BEST:: SOT 133673991 SOS 82372538 HAS SOPS 66977013 HAS SOUS 26303905 HAS SOUPS 25673759 WITH SCORE 2.5756131538E7
AT ITER 131 NEW BEST:: SOT 133664668 SOS 82348501 HAS SOPS 66959438 HAS SOUS 26297661 HAS SOUPS 25667515 WITH SCORE 2.5749863501E7
AT ITER 134 NEW BEST:: SOT 133662556 SOS 82345545 HAS SOPS 66956904 HAS SOUS 26297092 HAS SOUPS 25666946 WITH SCORE 2.5749291545E7
AT ITER 135 NEW BEST:: SOT 133668162 SOS 82366186 HAS SOPS 66979211 HAS SOUS 26285821 HAS SOUPS 25655478 WITH SCORE 2.5737844186E7
AT ITER 143 NEW BEST:: SOT 133667186 SOS 82365509 HAS SOPS 66981510 HAS SOUS 26275384 HAS SOUPS 25645413 WITH SCORE 2.5727778509E7
AT ITER 145 NEW BEST:: SOT 133679417 SOS 82396049 HAS SOPS 67001106 HAS SOUS 26257500 HAS SOUPS 25627529 WITH SCORE 2.5709925049E7
AT ITER 148 NEW BEST:: SOT 133679097 SOS 82396769 HAS SOPS 67002434 HAS SOUS 26256430 HAS SOUPS 25626459 WITH SCORE 2.5708855769E7
AT ITER 149 NEW BEST:: SOT 133690040 SOS 82438969 HAS SOPS 67040634 HAS SOUS 26254960 HAS SOUPS 25624989 WITH SCORE 2.5707427969E7
AT ITER 164 NEW BEST:: SOT 133705609 SOS 82498606 HAS SOPS 67089877 HAS SOUS 26248226 HAS SOUPS 25618255 WITH SCORE 2.5700753606E7
AT ITER 165 NEW BEST:: SOT 133708408 SOS 82521475 HAS SOPS 67130245 HAS SOUS 26240283 HAS SOUPS 25610312 WITH SCORE 2.5692833475E7
AT ITER 167 NEW BEST:: SOT 133698353 SOS 82500646 HAS SOPS 67113757 HAS SOUS 26231643 HAS SOUPS 25601672 WITH SCORE 2.5684172646E7
AT ITER 173 NEW BEST:: SOT 133689476 SOS 82491603 HAS SOPS 67104208 HAS SOUS 26222003 HAS SOUPS 25591619 WITH SCORE 2.5674110603E7
AT ITER 175 NEW BEST:: SOT 133712028 SOS 82574619 HAS SOPS 67179651 HAS SOUS 26194598 HAS SOUPS 25564214 WITH SCORE 2.5646788619E7
AT ITER 205 NEW BEST:: SOT 133736568 SOS 82706293 HAS SOPS 67294910 HAS SOUS 26149275 HAS SOUPS 25518891 WITH SCORE 2.5601597293E7
AT ITER 234 NEW BEST:: SOT 133728604 SOS 82703446 HAS SOPS 67326896 HAS SOUS 26142539 HAS SOUPS 25512155 WITH SCORE 2.5594858446E7
AT ITER 236 NEW BEST:: SOT 133789534 SOS 82836458 HAS SOPS 67446567 HAS SOUS 26092061 HAS SOUPS 25461189 WITH SCORE 2.5544025458E7
AT ITER 239 NEW BEST:: SOT 133788752 SOS 82836226 HAS SOPS 67445402 HAS SOUS 26089362 HAS SOUPS 25458476 WITH SCORE 2.5541312226E7
AT ITER 243 NEW BEST:: SOT 133781965 SOS 82821226 HAS SOPS 67433246 HAS SOUS 26086035 HAS SOUPS 25455149 WITH SCORE 2.5537970226E7
AT ITER 246 NEW BEST:: SOT 133761249 SOS 82769434 HAS SOPS 67395205 HAS SOUS 26068923 HAS SOUPS 25438037 WITH SCORE 2.5520806434E7
AT ITER 251 NEW BEST:: SOT 133758363 SOS 82764841 HAS SOPS 67389948 HAS SOUS 26064297 HAS SOUPS 25433822 WITH SCORE 2.5516586841E7
AT ITER 256 NEW BEST:: SOT 133699435 SOS 82705913 HAS SOPS 67331020 HAS SOUS 25973817 HAS SOUPS 25343342 WITH SCORE 2.5426047913E7
AT ITER 259 NEW BEST:: SOT 133701263 SOS 82731053 HAS SOPS 67359268 HAS SOUS 25959943 HAS SOUPS 25329468 WITH SCORE 2.5412199053E7
AT ITER 287 NEW BEST:: SOT 133684704 SOS 82720188 HAS SOPS 67341704 HAS SOUS 25926073 HAS SOUPS 25295150 WITH SCORE 2.5377870188E7
AT ITER 289 NEW BEST:: SOT 133673522 SOS 82705166 HAS SOPS 67320725 HAS SOUS 25897156 HAS SOUPS 25266323 WITH SCORE 2.5349028166E7
AT ITER 293 NEW BEST:: SOT 133655911 SOS 82685425 HAS SOPS 67291927 HAS SOUS 25855268 HAS SOUPS 25224599 WITH SCORE 2.5307284425E7
AT ITER 307 NEW BEST:: SOT 133655917 SOS 82685476 HAS SOPS 67291813 HAS SOUS 25855136 HAS SOUPS 25224464 WITH SCORE 2.5307149476E7
AT ITER 320 NEW BEST:: SOT 133668308 SOS 82738590 HAS SOPS 67334939 HAS SOUS 25831568 HAS SOUPS 25200896 WITH SCORE 2.528363459E7
AT ITER 323 NEW BEST:: SOT 133676984 SOS 82772737 HAS SOPS 67388884 HAS SOUS 25817438 HAS SOUPS 25186766 WITH SCORE 2.5269538737E7
AT ITER 331 NEW BEST:: SOT 133673473 SOS 82769052 HAS SOPS 67386235 HAS SOUS 25809794 HAS SOUPS 25179079 WITH SCORE 2.5261848052E7
AT ITER 334 NEW BEST:: SOT 133641150 SOS 82736664 HAS SOPS 67353847 HAS SOUS 25776430 HAS SOUPS 25145715 WITH SCORE 2.5228451664E7
AT ITER 344 NEW BEST:: SOT 133641088 SOS 82736636 HAS SOPS 67353755 HAS SOUS 25776278 HAS SOUPS 25145561 WITH SCORE 2.5228297636E7
AT ITER 348 NEW BEST:: SOT 133620458 SOS 82686471 HAS SOPS 67318265 HAS SOUS 25761811 HAS SOUPS 25131094 WITH SCORE 2.5213780471E7
AT ITER 352 NEW BEST:: SOT 133631812 SOS 82724469 HAS SOPS 67339675 HAS SOUS 25746889 HAS SOUPS 25116172 WITH SCORE 2.5198896469E7
AT ITER 371 NEW BEST:: SOT 133594088 SOS 82670594 HAS SOPS 67312294 HAS SOUS 25688141 HAS SOUPS 25057750 WITH SCORE 2.5140420594E7
AT ITER 375 NEW BEST:: SOT 133612808 SOS 82779965 HAS SOPS 67405416 HAS SOUS 25669146 HAS SOUPS 25038755 WITH SCORE 2.5121534965E7
AT ITER 378 NEW BEST:: SOT 133615319 SOS 82791168 HAS SOPS 67410609 HAS SOUS 25667407 HAS SOUPS 25037016 WITH SCORE 2.5119807168E7
AT ITER 382 NEW BEST:: SOT 133615810 SOS 82796835 HAS SOPS 67413947 HAS SOUS 25665765 HAS SOUPS 25035374 WITH SCORE 2.5118170835E7
AT ITER 384 NEW BEST:: SOT 133615912 SOS 82797753 HAS SOPS 67414787 HAS SOUS 25665689 HAS SOUPS 25035298 WITH SCORE 2.5118095753E7
AT ITER 392 NEW BEST:: SOT 133626930 SOS 82828654 HAS SOPS 67442871 HAS SOUS 25656167 HAS SOUPS 25025776 WITH SCORE 2.5108604654E7
AT ITER 416 NEW BEST:: SOT 133611862 SOS 82809749 HAS SOPS 67426131 HAS SOUS 25622903 HAS SOUPS 24993196 WITH SCORE 2.5076005749E7
AT ITER 420 NEW BEST:: SOT 133581326 SOS 82739962 HAS SOPS 67386442 HAS SOUS 25618611 HAS SOUPS 24989240 WITH SCORE 2.5071979962E7
AT ITER 424 NEW BEST:: SOT 133577391 SOS 82737134 HAS SOPS 67382107 HAS SOUS 25597341 HAS SOUPS 24967970 WITH SCORE 2.5050707134E7
AT ITER 442 NEW BEST:: SOT 133584681 SOS 82783145 HAS SOPS 67408024 HAS SOUS 25574861 HAS SOUPS 24945340 WITH SCORE 2.5028123145E7
AT ITER 468 NEW BEST:: SOT 133587629 SOS 82789846 HAS SOPS 67428131 HAS SOUS 25574079 HAS SOUPS 24944818 WITH SCORE 2.5027607846E7
AT ITER 486 NEW BEST:: SOT 133587348 SOS 82789138 HAS SOPS 67427731 HAS SOUS 25573245 HAS SOUPS 24944019 WITH SCORE 2.5026808138E7
AT ITER 494 NEW BEST:: SOT 133586577 SOS 82788346 HAS SOPS 67427103 HAS SOUS 25571234 HAS SOUPS 24942302 WITH SCORE 2.5025090346E7
AT ITER 514 NEW BEST:: SOT 133594007 SOS 82799286 HAS SOPS 67435508 HAS SOUS 25570590 HAS SOUPS 24941579 WITH SCORE 2.5024378286E7
AT ITER 528 NEW BEST:: SOT 133590976 SOS 82805510 HAS SOPS 67439988 HAS SOUS 25556402 HAS SOUPS 24927391 WITH SCORE 2.501019651E7
AT ITER 552 NEW BEST:: SOT 133591611 SOS 82806064 HAS SOPS 67441139 HAS SOUS 25554868 HAS SOUPS 24925526 WITH SCORE 2.5008332064E7
AT ITER 560 NEW BEST:: SOT 133589767 SOS 82802170 HAS SOPS 67446451 HAS SOUS 25534833 HAS SOUPS 24906334 WITH SCORE 2.498913617E7
AT ITER 564 NEW BEST:: SOT 133565472 SOS 82744907 HAS SOPS 67404627 HAS SOUS 25518157 HAS SOUPS 24889658 WITH SCORE 2.4972402907E7
AT ITER 567 NEW BEST:: SOT 133560270 SOS 82738896 HAS SOPS 67401247 HAS SOUS 25497210 HAS SOUPS 24868862 WITH SCORE 2.4951600896E7
AT ITER 582 NEW BEST:: SOT 133561459 SOS 82757537 HAS SOPS 67425765 HAS SOUS 25454844 HAS SOUPS 24826722 WITH SCORE 2.4909479537E7
AT ITER 592 NEW BEST:: SOT 133561878 SOS 82757930 HAS SOPS 67425950 HAS SOUS 25454367 HAS SOUPS 24826440 WITH SCORE 2.490919793E7
AT ITER 605 NEW BEST:: SOT 133558995 SOS 82763943 HAS SOPS 67431732 HAS SOUS 25441126 HAS SOUPS 24813199 WITH SCORE 2.4895962943E7
AT ITER 608 NEW BEST:: SOT 133560211 SOS 82767591 HAS SOPS 67436298 HAS SOUS 25437178 HAS SOUPS 24809251 WITH SCORE 2.4892018591E7
AT ITER 631 NEW BEST:: SOT 133557156 SOS 82758787 HAS SOPS 67425579 HAS SOUS 25429398 HAS SOUPS 24801471 WITH SCORE 2.4884229787E7
AT ITER 641 NEW BEST:: SOT 133557061 SOS 82758547 HAS SOPS 67425444 HAS SOUS 25428562 HAS SOUPS 24800663 WITH SCORE 2.4883421547E7
AT ITER 656 NEW BEST:: SOT 133557086 SOS 82759439 HAS SOPS 67427871 HAS SOUS 25428430 HAS SOUPS 24800531 WITH SCORE 2.4883290439E7
AT ITER 658 NEW BEST:: SOT 133557907 SOS 82776136 HAS SOPS 67440172 HAS SOUS 25418961 HAS SOUPS 24791062 WITH SCORE 2.4873838136E7
AT ITER 662 NEW BEST:: SOT 133556962 SOS 82775206 HAS SOPS 67438378 HAS SOUS 25417011 HAS SOUPS 24789112 WITH SCORE 2.4871887206E7
AT ITER 668 NEW BEST:: SOT 133553430 SOS 82768413 HAS SOPS 67425990 HAS SOUS 25408770 HAS SOUPS 24780871 WITH SCORE 2.4863639413E7
AT ITER 672 NEW BEST:: SOT 133558337 SOS 82775079 HAS SOPS 67429919 HAS SOUS 25405964 HAS SOUPS 24778261 WITH SCORE 2.4861036079E7
AT ITER 680 NEW BEST:: SOT 133556714 SOS 82771560 HAS SOPS 67423876 HAS SOUS 25402256 HAS SOUPS 24774553 WITH SCORE 2.485732456E7
AT ITER 686 NEW BEST:: SOT 133560645 SOS 82777006 HAS SOPS 67425216 HAS SOUS 25398491 HAS SOUPS 24770739 WITH SCORE 2.4853516006E7
AT ITER 689 NEW BEST:: SOT 133559493 SOS 82775852 HAS SOPS 67424311 HAS SOUS 25393228 HAS SOUPS 24765476 WITH SCORE 2.4848251852E7
AT ITER 690 NEW BEST:: SOT 133552270 SOS 82765851 HAS SOPS 67418558 HAS SOUS 25371303 HAS SOUPS 24743551 WITH SCORE 2.4826316851E7
AT ITER 691 NEW BEST:: SOT 133551829 SOS 82766863 HAS SOPS 67436216 HAS SOUS 25349501 HAS SOUPS 24722412 WITH SCORE 2.4805178863E7
AT ITER 706 NEW BEST:: SOT 133567661 SOS 82840129 HAS SOPS 67557614 HAS SOUS 25299118 HAS SOUPS 24672696 WITH SCORE 2.4755536129E7
AT ITER 716 NEW BEST:: SOT 133569247 SOS 82849660 HAS SOPS 67565108 HAS SOUS 25296164 HAS SOUPS 24669742 WITH SCORE 2.475259166E7
AT ITER 721 NEW BEST:: SOT 133569121 SOS 82849607 HAS SOPS 67564667 HAS SOUS 25295052 HAS SOUPS 24668630 WITH SCORE 2.4751479607E7
AT ITER 729 NEW BEST:: SOT 133595631 SOS 82923910 HAS SOPS 67632864 HAS SOUS 25291549 HAS SOUPS 24665041 WITH SCORE 2.474796491E7
AT ITER 738 NEW BEST:: SOT 133607127 SOS 82958978 HAS SOPS 67658244 HAS SOUS 25289834 HAS SOUPS 24663326 WITH SCORE 2.4746284978E7
AT ITER 744 NEW BEST:: SOT 133604248 SOS 82948556 HAS SOPS 67653945 HAS SOUS 25288327 HAS SOUPS 24661819 WITH SCORE 2.4744767556E7
AT ITER 749 NEW BEST:: SOT 133608927 SOS 82964306 HAS SOPS 67661777 HAS SOUS 25283696 HAS SOUPS 24657188 WITH SCORE 2.4740152306E7
AT ITER 752 NEW BEST:: SOT 133609088 SOS 82964544 HAS SOPS 67661377 HAS SOUS 25282425 HAS SOUPS 24655917 WITH SCORE 2.4738881544E7
AT ITER 765 NEW BEST:: SOT 133608235 SOS 82963772 HAS SOPS 67659191 HAS SOUS 25279737 HAS SOUPS 24653202 WITH SCORE 2.4736165772E7
AT ITER 823 NEW BEST:: SOT 133617884 SOS 83000858 HAS SOPS 67685785 HAS SOUS 25251942 HAS SOUPS 24625407 WITH SCORE 2.4708407858E7
AT ITER 837 NEW BEST:: SOT 133618612 SOS 83003784 HAS SOPS 67686419 HAS SOUS 25250486 HAS SOUPS 24623933 WITH SCORE 2.4706936784E7
AT ITER 849 NEW BEST:: SOT 133615743 SOS 82999527 HAS SOPS 67680245 HAS SOUS 25247226 HAS SOUPS 24620636 WITH SCORE 2.4703635527E7
AT ITER 855 NEW BEST:: SOT 133615526 SOS 82995125 HAS SOPS 67676324 HAS SOUS 25244364 HAS SOUPS 24617774 WITH SCORE 2.4700769125E7
AT ITER 870 NEW BEST:: SOT 133598557 SOS 82978077 HAS SOPS 67658135 HAS SOUS 25220395 HAS SOUPS 24593848 WITH SCORE 2.4676826077E7
AT ITER 899 NEW BEST:: SOT 133597268 SOS 82974125 HAS SOPS 67651010 HAS SOUS 25216036 HAS SOUPS 24589489 WITH SCORE 2.4672463125E7
AT ITER 900 NEW BEST:: SOT 133600142 SOS 82982504 HAS SOPS 67656359 HAS SOUS 25211195 HAS SOUPS 24584648 WITH SCORE 2.4667630504E7
AT ITER 905 NEW BEST:: SOT 133594307 SOS 82966673 HAS SOPS 67644222 HAS SOUS 25209239 HAS SOUPS 24582743 WITH SCORE 2.4665709673E7
AT ITER 909 NEW BEST:: SOT 133563582 SOS 82929274 HAS SOPS 67611598 HAS SOUS 25152660 HAS SOUPS 24527056 WITH SCORE 2.4609985274E7
AT ITER 914 NEW BEST:: SOT 133566504 SOS 82936072 HAS SOPS 67618747 HAS SOUS 25150648 HAS SOUPS 24525044 WITH SCORE 2.4607980072E7
AT ITER 923 NEW BEST:: SOT 133566737 SOS 82937894 HAS SOPS 67618559 HAS SOUS 25147010 HAS SOUPS 24521375 WITH SCORE 2.4604312894E7
AT ITER 930 NEW BEST:: SOT 133547359 SOS 82911244 HAS SOPS 67595436 HAS SOUS 25120678 HAS SOUPS 24495243 WITH SCORE 2.4578154244E7
AT ITER 931 NEW BEST:: SOT 133549603 SOS 82912922 HAS SOPS 67597204 HAS SOUS 25119626 HAS SOUPS 24494191 WITH SCORE 2.4577103922E7
AT ITER 953 NEW BEST:: SOT 133547137 SOS 82909716 HAS SOPS 67595304 HAS SOUS 25114585 HAS SOUPS 24489150 WITH SCORE 2.4572059716E7
AT ITER 954 NEW BEST:: SOT 133503675 SOS 82865321 HAS SOPS 67545268 HAS SOUS 25105615 HAS SOUPS 24480180 WITH SCORE 2.4563045321E7
AT ITER 964 NEW BEST:: SOT 133501100 SOS 82861553 HAS SOPS 67543190 HAS SOUS 25104583 HAS SOUPS 24479187 WITH SCORE 2.4562048553E7
AT ITER 975 NEW BEST:: SOT 133506435 SOS 82884942 HAS SOPS 67571856 HAS SOUS 25057707 HAS SOUPS 24433336 WITH SCORE 2.4516220942E7
AT ITER 987 NEW BEST:: SOT 133505251 SOS 82883598 HAS SOPS 67570528 HAS SOUS 25056043 HAS SOUPS 24431672 WITH SCORE 2.4514555598E7
AT ITER 991 NEW BEST:: SOT 133511412 SOS 82903395 HAS SOPS 67576988 HAS SOUS 25037938 HAS SOUPS 24413567 WITH SCORE 2.4496470395E7
AT ITER 1015 NEW BEST:: SOT 133492964 SOS 82860406 HAS SOPS 67562396 HAS SOUS 25023042 HAS SOUPS 24398671 WITH SCORE 2.4481531406E7
AT ITER 1017 NEW BEST:: SOT 133493410 SOS 82864177 HAS SOPS 67565406 HAS SOUS 25022549 HAS SOUPS 24398178 WITH SCORE 2.4481042177E7
AT ITER 1018 NEW BEST:: SOT 133501768 SOS 82879573 HAS SOPS 67581167 HAS SOUS 25020726 HAS SOUPS 24396355 WITH SCORE 2.4479234573E7
AT ITER 1020 NEW BEST:: SOT 133481921 SOS 82847045 HAS SOPS 67548177 HAS SOUS 24998145 HAS SOUPS 24373774 WITH SCORE 2.4456621045E7
AT ITER 1027 NEW BEST:: SOT 133442845 SOS 82763261 HAS SOPS 67483286 HAS SOUS 24988112 HAS SOUPS 24364127 WITH SCORE 2.4446890261E7
AT ITER 1028 NEW BEST:: SOT 133425749 SOS 82720357 HAS SOPS 67466793 HAS SOUS 24987850 HAS SOUPS 24364169 WITH SCORE 2.4446889357E7
AT ITER 1029 NEW BEST:: SOT 133420728 SOS 82715416 HAS SOPS 67460916 HAS SOUS 24976837 HAS SOUPS 24353156 WITH SCORE 2.4435871416E7
AT ITER 1053 NEW BEST:: SOT 133421449 SOS 82717617 HAS SOPS 67463682 HAS SOUS 24975730 HAS SOUPS 24352049 WITH SCORE 2.4434766617E7
AT ITER 1062 NEW BEST:: SOT 133429756 SOS 82740673 HAS SOPS 67481452 HAS SOUS 24975278 HAS SOUPS 24351597 WITH SCORE 2.4434337673E7
AT ITER 1068 NEW BEST:: SOT 133434963 SOS 82746156 HAS SOPS 67490221 HAS SOUS 24971722 HAS SOUPS 24351417 WITH SCORE 2.4434163156E7
AT ITER 1076 NEW BEST:: SOT 133428685 SOS 82730596 HAS SOPS 67476854 HAS SOUS 24964883 HAS SOUPS 24344629 WITH SCORE 2.4427359596E7
AT ITER 1088 NEW BEST:: SOT 133428667 SOS 82729201 HAS SOPS 67476465 HAS SOUS 24962705 HAS SOUPS 24344078 WITH SCORE 2.4426807201E7
AT ITER 1093 NEW BEST:: SOT 133418296 SOS 82720604 HAS SOPS 67470154 HAS SOUS 24954028 HAS SOUPS 24334849 WITH SCORE 2.4417569604E7
AT ITER 1110 NEW BEST:: SOT 133384103 SOS 82664204 HAS SOPS 67437086 HAS SOUS 24899408 HAS SOUPS 24280983 WITH SCORE 2.4363647204E7
AT ITER 1111 NEW BEST:: SOT 133384101 SOS 82664264 HAS SOPS 67437059 HAS SOUS 24899361 HAS SOUPS 24280936 WITH SCORE 2.4363600264E7
AT ITER 1125 NEW BEST:: SOT 133365117 SOS 82644202 HAS SOPS 67422336 HAS SOUS 24880594 HAS SOUPS 24262611 WITH SCORE 2.4345255202E7
AT ITER 1127 NEW BEST:: SOT 133365307 SOS 82644481 HAS SOPS 67421583 HAS SOUS 24879162 HAS SOUPS 24261179 WITH SCORE 2.4343823481E7
AT ITER 1133 NEW BEST:: SOT 133377185 SOS 82667027 HAS SOPS 67429841 HAS SOUS 24858176 HAS SOUPS 24240193 WITH SCORE 2.4322860027E7
AT ITER 1143 NEW BEST:: SOT 133377441 SOS 82666690 HAS SOPS 67429234 HAS SOUS 24856035 HAS SOUPS 24238052 WITH SCORE 2.432071869E7
AT ITER 1146 NEW BEST:: SOT 133337459 SOS 82625931 HAS SOPS 67381713 HAS SOUS 24791941 HAS SOUPS 24174138 WITH SCORE 2.4256763931E7
AT ITER 1162 NEW BEST:: SOT 133346680 SOS 82670770 HAS SOPS 67435603 HAS SOUS 24780229 HAS SOUPS 24162426 WITH SCORE 2.424509677E7
AT ITER 1164 NEW BEST:: SOT 133345373 SOS 82669376 HAS SOPS 67434209 HAS SOUS 24773266 HAS SOUPS 24155463 WITH SCORE 2.4238132376E7
AT ITER 1179 NEW BEST:: SOT 133340496 SOS 82668549 HAS SOPS 67425950 HAS SOUS 24753787 HAS SOUPS 24135984 WITH SCORE 2.4218652549E7
AT ITER 1197 NEW BEST:: SOT 133340449 SOS 82668502 HAS SOPS 67425935 HAS SOUS 24753711 HAS SOUPS 24135908 WITH SCORE 2.4218576502E7
AT ITER 1207 NEW BEST:: SOT 133339526 SOS 82667606 HAS SOPS 67426962 HAS SOUS 24751937 HAS SOUPS 24134134 WITH SCORE 2.4216801606E7
AT ITER 1222 NEW BEST:: SOT 133341034 SOS 82677907 HAS SOPS 67432488 HAS SOUS 24749343 HAS SOUPS 24131540 WITH SCORE 2.4214217907E7
AT ITER 1234 NEW BEST:: SOT 133367480 SOS 82757897 HAS SOPS 67498344 HAS SOUS 24730770 HAS SOUPS 24112967 WITH SCORE 2.4195724897E7
AT ITER 1237 NEW BEST:: SOT 133334481 SOS 82673423 HAS SOPS 67487216 HAS SOUS 24728508 HAS SOUPS 24110502 WITH SCORE 2.4193175423E7
AT ITER 1240 NEW BEST:: SOT 133317235 SOS 82623107 HAS SOPS 67473361 HAS SOUS 24726804 HAS SOUPS 24108798 WITH SCORE 2.4191421107E7
AT ITER 1272 NEW BEST:: SOT 133317880 SOS 82625937 HAS SOPS 67477081 HAS SOUS 24726347 HAS SOUPS 24108341 WITH SCORE 2.4190966937E7
AT ITER 1299 NEW BEST:: SOT 133312080 SOS 82616577 HAS SOPS 67468244 HAS SOUS 24716909 HAS SOUPS 24098903 WITH SCORE 2.4181519577E7
AT ITER 1303 NEW BEST:: SOT 133311837 SOS 82612574 HAS SOPS 67467100 HAS SOUS 24714926 HAS SOUPS 24096920 WITH SCORE 2.4179532574E7
AT ITER 1308 NEW BEST:: SOT 133324388 SOS 82623122 HAS SOPS 67479846 HAS SOUS 24691501 HAS SOUPS 24073495 WITH SCORE 2.4156118122E7
AT ITER 1309 NEW BEST:: SOT 133336681 SOS 82656857 HAS SOPS 67507158 HAS SOUS 24691061 HAS SOUPS 24073055 WITH SCORE 2.4155711857E7
AT ITER 1327 NEW BEST:: SOT 133329875 SOS 82637148 HAS SOPS 67494955 HAS SOUS 24690035 HAS SOUPS 24072029 WITH SCORE 2.4154666148E7
AT ITER 1328 NEW BEST:: SOT 133330921 SOS 82647242 HAS SOPS 67511515 HAS SOUS 24682309 HAS SOUPS 24064303 WITH SCORE 2.4146950242E7
AT ITER 1333 NEW BEST:: SOT 133348023 SOS 82718852 HAS SOPS 67583656 HAS SOUS 24634052 HAS SOUPS 24016046 WITH SCORE 2.4098764852E7
AT ITER 1346 NEW BEST:: SOT 133345578 SOS 82716357 HAS SOPS 67584926 HAS SOUS 24631356 HAS SOUPS 24013350 WITH SCORE 2.4096066357E7
AT ITER 1354 NEW BEST:: SOT 133365719 SOS 82772374 HAS SOPS 67638448 HAS SOUS 24607934 HAS SOUPS 23989911 WITH SCORE 2.4072683374E7
AT ITER 1359 NEW BEST:: SOT 133364378 SOS 82783775 HAS SOPS 67649318 HAS SOUS 24590217 HAS SOUPS 23972194 WITH SCORE 2.4054977775E7
AT ITER 1360 NEW BEST:: SOT 133371448 SOS 82817403 HAS SOPS 67664567 HAS SOUS 24572182 HAS SOUPS 23954159 WITH SCORE 2.4036976403E7
AT ITER 1363 NEW BEST:: SOT 133359677 SOS 82795606 HAS SOPS 67643427 HAS SOUS 24570437 HAS SOUPS 23952414 WITH SCORE 2.4035209606E7
AT ITER 1367 NEW BEST:: SOT 133359105 SOS 82793347 HAS SOPS 67645110 HAS SOUS 24568813 HAS SOUPS 23950790 WITH SCORE 2.4033583347E7
AT ITER 1368 NEW BEST:: SOT 133359405 SOS 82793538 HAS SOPS 67645215 HAS SOUS 24567991 HAS SOUPS 23950202 WITH SCORE 2.4032995538E7
AT ITER 1371 NEW BEST:: SOT 133376306 SOS 82842891 HAS SOPS 67679185 HAS SOUS 24567095 HAS SOUPS 23949306 WITH SCORE 2.4032148891E7
AT ITER 1378 NEW BEST:: SOT 133337322 SOS 82785633 HAS SOPS 67622982 HAS SOUS 24564494 HAS SOUPS 23946331 WITH SCORE 2.4029116633E7
AT ITER 1389 NEW BEST:: SOT 133344288 SOS 82816221 HAS SOPS 67664133 HAS SOUS 24558349 HAS SOUPS 23940186 WITH SCORE 2.4023002221E7
AT ITER 1419 NEW BEST:: SOT 133328231 SOS 82797244 HAS SOPS 67638276 HAS SOUS 24510978 HAS SOUPS 23892815 WITH SCORE 2.3975612244E7
AT ITER 1420 NEW BEST:: SOT 133324504 SOS 82793557 HAS SOPS 67635025 HAS SOUS 24508370 HAS SOUPS 23890207 WITH SCORE 2.3973000557E7
AT ITER 1434 NEW BEST:: SOT 133347497 SOS 82846055 HAS SOPS 67695908 HAS SOUS 24495666 HAS SOUPS 23877503 WITH SCORE 2.3960349055E7
AT ITER 1435 NEW BEST:: SOT 133359422 SOS 82886900 HAS SOPS 67745670 HAS SOUS 24492318 HAS SOUPS 23874155 WITH SCORE 2.39570419E7
AT ITER 1446 NEW BEST:: SOT 133359026 SOS 82886369 HAS SOPS 67743492 HAS SOUS 24488739 HAS SOUPS 23870576 WITH SCORE 2.3953462369E7
AT ITER 1449 NEW BEST:: SOT 133345282 SOS 82832741 HAS SOPS 67697785 HAS SOUS 24475897 HAS SOUPS 23857734 WITH SCORE 2.3940566741E7
AT ITER 1467 NEW BEST:: SOT 133346931 SOS 82844498 HAS SOPS 67718019 HAS SOUS 24472139 HAS SOUPS 23853976 WITH SCORE 2.3936820498E7
AT ITER 1472 NEW BEST:: SOT 133341947 SOS 82836477 HAS SOPS 67711369 HAS SOUS 24466617 HAS SOUPS 23849174 WITH SCORE 2.3932010477E7
AT ITER 1479 NEW BEST:: SOT 133337913 SOS 82829756 HAS SOPS 67701100 HAS SOUS 24458738 HAS SOUPS 23841242 WITH SCORE 2.3924071756E7
AT ITER 1480 NEW BEST:: SOT 133347434 SOS 82826326 HAS SOPS 67707581 HAS SOUS 24451975 HAS SOUPS 23834479 WITH SCORE 2.3917305326E7
AT ITER 1482 NEW BEST:: SOT 133342144 SOS 82809914 HAS SOPS 67698984 HAS SOUS 24448352 HAS SOUPS 23831000 WITH SCORE 2.3913809914E7
AT ITER 1483 NEW BEST:: SOT 133334120 SOS 82800331 HAS SOPS 67688747 HAS SOUS 24435312 HAS SOUPS 23817960 WITH SCORE 2.3900760331E7
AT ITER 1492 NEW BEST:: SOT 133347334 SOS 82850634 HAS SOPS 67767987 HAS SOUS 24403481 HAS SOUPS 23786129 WITH SCORE 2.3868979634E7
AT ITER 1510 NEW BEST:: SOT 133347579 SOS 82852151 HAS SOPS 67768639 HAS SOUS 24402336 HAS SOUPS 23784966 WITH SCORE 2.3867818151E7
AT ITER 1519 NEW BEST:: SOT 133348333 SOS 82842847 HAS SOPS 67758830 HAS SOUS 24399216 HAS SOUPS 23781846 WITH SCORE 2.3864688847E7
AT ITER 1539 NEW BEST:: SOT 133238333 SOS 82660524 HAS SOPS 67600158 HAS SOUS 24268924 HAS SOUPS 23651635 WITH SCORE 2.3734295524E7
AT ITER 1555 NEW BEST:: SOT 133208759 SOS 82607736 HAS SOPS 67568010 HAS SOUS 24244040 HAS SOUPS 23627553 WITH SCORE 2.3710160736E7
AT ITER 1572 NEW BEST:: SOT 133200639 SOS 82599560 HAS SOPS 67555410 HAS SOUS 24224384 HAS SOUPS 23607897 WITH SCORE 2.369049656E7
AT ITER 1582 NEW BEST:: SOT 133190628 SOS 82589502 HAS SOPS 67545352 HAS SOUS 24217641 HAS SOUPS 23601154 WITH SCORE 2.3683743502E7
AT ITER 1595 NEW BEST:: SOT 133203951 SOS 82626282 HAS SOPS 67597399 HAS SOUS 24205210 HAS SOUPS 23588723 WITH SCORE 2.3671349282E7
AT ITER 1596 NEW BEST:: SOT 133204336 SOS 82628317 HAS SOPS 67598361 HAS SOUS 24204072 HAS SOUPS 23587585 WITH SCORE 2.3670213317E7
AT ITER 1601 NEW BEST:: SOT 133207241 SOS 82641100 HAS SOPS 67598862 HAS SOUS 24197878 HAS SOUPS 23581391 WITH SCORE 2.36640321E7
AT ITER 1612 NEW BEST:: SOT 133205806 SOS 82638089 HAS SOPS 67597045 HAS SOUS 24193174 HAS SOUPS 23576687 WITH SCORE 2.3659325089E7
AT ITER 1624 NEW BEST:: SOT 133211434 SOS 82644756 HAS SOPS 67601805 HAS SOUS 24188628 HAS SOUPS 23572141 WITH SCORE 2.3654785756E7
AT ITER 1628 NEW BEST:: SOT 133211070 SOS 82644432 HAS SOPS 67601241 HAS SOUS 24187864 HAS SOUPS 23571369 WITH SCORE 2.3654013432E7
AT ITER 1641 NEW BEST:: SOT 133211072 SOS 82643723 HAS SOPS 67599100 HAS SOUS 24187131 HAS SOUPS 23570671 WITH SCORE 2.3653314723E7
AT ITER 1642 NEW BEST:: SOT 133210559 SOS 82644383 HAS SOPS 67598546 HAS SOUS 24167149 HAS SOUPS 23550689 WITH SCORE 2.3633333383E7
AT ITER 1648 NEW BEST:: SOT 133211406 SOS 82653407 HAS SOPS 67609872 HAS SOUS 24166380 HAS SOUPS 23549920 WITH SCORE 2.3632573407E7
AT ITER 1667 NEW BEST:: SOT 133209286 SOS 82648555 HAS SOPS 67607724 HAS SOUS 24165612 HAS SOUPS 23549152 WITH SCORE 2.3631800555E7
AT ITER 1669 NEW BEST:: SOT 133209188 SOS 82659166 HAS SOPS 67614914 HAS SOUS 24150851 HAS SOUPS 23534391 WITH SCORE 2.3617050166E7
AT ITER 1674 NEW BEST:: SOT 133211517 SOS 82673640 HAS SOPS 67629947 HAS SOUS 24142459 HAS SOUPS 23526026 WITH SCORE 2.360869964E7
AT ITER 1685 NEW BEST:: SOT 133202828 SOS 82652985 HAS SOPS 67616411 HAS SOUS 24097667 HAS SOUPS 23481234 WITH SCORE 2.3563886985E7
AT ITER 1687 NEW BEST:: SOT 133211534 SOS 82679451 HAS SOPS 67628679 HAS SOUS 24061800 HAS SOUPS 23445367 WITH SCORE 2.3528046451E7
AT ITER 1689 NEW BEST:: SOT 133214429 SOS 82677192 HAS SOPS 67625295 HAS SOUS 24049675 HAS SOUPS 23433242 WITH SCORE 2.3515919192E7
AT ITER 1692 NEW BEST:: SOT 133218387 SOS 82719095 HAS SOPS 67693105 HAS SOUS 24048163 HAS SOUPS 23431730 WITH SCORE 2.3514449095E7
AT ITER 1694 NEW BEST:: SOT 133213948 SOS 82711294 HAS SOPS 67697334 HAS SOUS 24029176 HAS SOUPS 23414136 WITH SCORE 2.3496847294E7
AT ITER 1706 NEW BEST:: SOT 133212153 SOS 82703904 HAS SOPS 67693192 HAS SOUS 24028062 HAS SOUPS 23413022 WITH SCORE 2.3495725904E7
AT ITER 1715 NEW BEST:: SOT 133206191 SOS 82697594 HAS SOPS 67684918 HAS SOUS 24015550 HAS SOUPS 23400510 WITH SCORE 2.3483207594E7
AT ITER 1716 NEW BEST:: SOT 133206311 SOS 82698343 HAS SOPS 67684499 HAS SOUS 24014498 HAS SOUPS 23399458 WITH SCORE 2.3482156343E7
AT ITER 1725 NEW BEST:: SOT 133196380 SOS 82656646 HAS SOPS 67657711 HAS SOUS 24011997 HAS SOUPS 23396957 WITH SCORE 2.3479613646E7
AT ITER 1726 NEW BEST:: SOT 133169156 SOS 82628404 HAS SOPS 67619153 HAS SOUS 24002992 HAS SOUPS 23387435 WITH SCORE 2.3470063404E7
AT ITER 1728 NEW BEST:: SOT 133169019 SOS 82628536 HAS SOPS 67616949 HAS SOUS 23999050 HAS SOUPS 23383461 WITH SCORE 2.3466089536E7
AT ITER 1734 NEW BEST:: SOT 133180804 SOS 82690552 HAS SOPS 67669960 HAS SOUS 23998977 HAS SOUPS 23383388 WITH SCORE 2.3466078552E7
AT ITER 1738 NEW BEST:: SOT 133178897 SOS 82684628 HAS SOPS 67656833 HAS SOUS 23998515 HAS SOUPS 23383100 WITH SCORE 2.3465784628E7
AT ITER 1748 NEW BEST:: SOT 133179577 SOS 82682138 HAS SOPS 67655920 HAS SOUS 23989787 HAS SOUPS 23374372 WITH SCORE 2.3457054138E7
AT ITER 1766 NEW BEST:: SOT 133168585 SOS 82694684 HAS SOPS 67650928 HAS SOUS 23942374 HAS SOUPS 23326959 WITH SCORE 2.3409653684E7
AT ITER 1784 NEW BEST:: SOT 133176279 SOS 82708430 HAS SOPS 67663825 HAS SOUS 23940756 HAS SOUPS 23325341 WITH SCORE 2.340804943E7
AT ITER 1857 NEW BEST:: SOT 133179808 SOS 82712603 HAS SOPS 67667130 HAS SOUS 23939679 HAS SOUPS 23324757 WITH SCORE 2.3407469603E7
AT ITER 1859 NEW BEST:: SOT 133166625 SOS 82699533 HAS SOPS 67655102 HAS SOUS 23922071 HAS SOUPS 23308059 WITH SCORE 2.3390758533E7
AT ITER 1885 NEW BEST:: SOT 133122221 SOS 82655125 HAS SOPS 67610688 HAS SOUS 23860220 HAS SOUPS 23246208 WITH SCORE 2.3328863125E7
AT ITER 1901 NEW BEST:: SOT 133106043 SOS 82635297 HAS SOPS 67588741 HAS SOUS 23830459 HAS SOUPS 23216447 WITH SCORE 2.3299082297E7
AT ITER 1903 NEW BEST:: SOT 133074891 SOS 82604053 HAS SOPS 67557167 HAS SOUS 23799171 HAS SOUPS 23184925 WITH SCORE 2.3267529053E7
AT ITER 1927 NEW BEST:: SOT 133071179 SOS 82599884 HAS SOPS 67553755 HAS SOUS 23781778 HAS SOUPS 23167532 WITH SCORE 2.3250131884E7
AT ITER 1931 NEW BEST:: SOT 133066525 SOS 82583038 HAS SOPS 67545648 HAS SOUS 23778669 HAS SOUPS 23164520 WITH SCORE 2.3247103038E7
AT ITER 1939 NEW BEST:: SOT 133085184 SOS 82627706 HAS SOPS 67593205 HAS SOUS 23768832 HAS SOUPS 23154877 WITH SCORE 2.3237504706E7
AT ITER 1956 NEW BEST:: SOT 133084735 SOS 82632465 HAS SOPS 67597428 HAS SOUS 23762345 HAS SOUPS 23148390 WITH SCORE 2.3231022465E7
AT ITER 1961 NEW BEST:: SOT 133073080 SOS 82606937 HAS SOPS 67582119 HAS SOUS 23755664 HAS SOUPS 23141709 WITH SCORE 2.3224315937E7
AT ITER 1964 NEW BEST:: SOT 133040774 SOS 82550072 HAS SOPS 67546040 HAS SOUS 23743761 HAS SOUPS 23129806 WITH SCORE 2.3212356072E7
AT ITER 1976 NEW BEST:: SOT 133045623 SOS 82555395 HAS SOPS 67550704 HAS SOUS 23738501 HAS SOUPS 23124546 WITH SCORE 2.3207101395E7
AT ITER 1979 NEW BEST:: SOT 132984446 SOS 82466957 HAS SOPS 67474729 HAS SOUS 23663184 HAS SOUPS 23049468 WITH SCORE 2.3131934957E7
AT ITER 1982 NEW BEST:: SOT 132996994 SOS 82510245 HAS SOPS 67519622 HAS SOUS 23659598 HAS SOUPS 23045882 WITH SCORE 2.3128392245E7
AT ITER 2000 NEW BEST:: SOT 132973417 SOS 82463108 HAS SOPS 67489273 HAS SOUS 23633796 HAS SOUPS 23020174 WITH SCORE 2.3102637108E7
AT ITER 2008 NEW BEST:: SOT 132972180 SOS 82460883 HAS SOPS 67485553 HAS SOUS 23630270 HAS SOUPS 23016648 WITH SCORE 2.3099108883E7
AT ITER 2012 NEW BEST:: SOT 133073605 SOS 82533565 HAS SOPS 67517807 HAS SOUS 23617774 HAS SOUPS 23004476 WITH SCORE 2.3087009565E7
AT ITER 2016 NEW BEST:: SOT 133070693 SOS 82528204 HAS SOPS 67511917 HAS SOUS 23614784 HAS SOUPS 23001486 WITH SCORE 2.3084014204E7
AT ITER 2037 NEW BEST:: SOT 133072278 SOS 82537814 HAS SOPS 67516191 HAS SOUS 23597158 HAS SOUPS 22984112 WITH SCORE 2.3066649814E7
AT ITER 2038 NEW BEST:: SOT 133077871 SOS 82549069 HAS SOPS 67530208 HAS SOUS 23586009 HAS SOUPS 22973326 WITH SCORE 2.3055875069E7
AT ITER 2060 NEW BEST:: SOT 133077105 SOS 82550673 HAS SOPS 67529972 HAS SOUS 23580962 HAS SOUPS 22968279 WITH SCORE 2.3050829673E7
AT ITER 2062 NEW BEST:: SOT 133076446 SOS 82549341 HAS SOPS 67529381 HAS SOUS 23580673 HAS SOUPS 22967990 WITH SCORE 2.3050539341E7
AT ITER 2076 NEW BEST:: SOT 133076412 SOS 82550081 HAS SOPS 67530183 HAS SOUS 23580499 HAS SOUPS 22967816 WITH SCORE 2.3050366081E7
AT ITER 2082 NEW BEST:: SOT 133078932 SOS 82564319 HAS SOPS 67540805 HAS SOUS 23566274 HAS SOUPS 22953405 WITH SCORE 2.3035969319E7
AT ITER 2098 NEW BEST:: SOT 133073624 SOS 82553826 HAS SOPS 67532323 HAS SOUS 23562469 HAS SOUPS 22949600 WITH SCORE 2.3032153826E7
AT ITER 2099 NEW BEST:: SOT 133123947 SOS 82696862 HAS SOPS 67666131 HAS SOUS 23522004 HAS SOUPS 22909135 WITH SCORE 2.2991831862E7
AT ITER 2106 NEW BEST:: SOT 133109025 SOS 82650223 HAS SOPS 67630396 HAS SOUS 23512661 HAS SOUPS 22899875 WITH SCORE 2.2982525223E7
AT ITER 2122 NEW BEST:: SOT 133112617 SOS 82657526 HAS SOPS 67634979 HAS SOUS 23510956 HAS SOUPS 22898170 WITH SCORE 2.2980827526E7
AT ITER 2141 NEW BEST:: SOT 133153808 SOS 82793567 HAS SOPS 67747352 HAS SOUS 23502985 HAS SOUPS 22890199 WITH SCORE 2.2972992567E7
AT ITER 2148 NEW BEST:: SOT 133153847 SOS 82795093 HAS SOPS 67747541 HAS SOUS 23498815 HAS SOUPS 22886029 WITH SCORE 2.2968824093E7
AT ITER 2151 NEW BEST:: SOT 133157530 SOS 82816812 HAS SOPS 67770417 HAS SOUS 23498757 HAS SOUPS 22885971 WITH SCORE 2.2968787812E7
AT ITER 2162 NEW BEST:: SOT 133162749 SOS 82823136 HAS SOPS 67773090 HAS SOUS 23491843 HAS SOUPS 22879057 WITH SCORE 2.2961880136E7
AT ITER 2165 NEW BEST:: SOT 133162781 SOS 82822778 HAS SOPS 67774151 HAS SOUS 23488588 HAS SOUPS 22875802 WITH SCORE 2.2958624778E7
AT ITER 2196 NEW BEST:: SOT 133162733 SOS 82822628 HAS SOPS 67773977 HAS SOUS 23488450 HAS SOUPS 22875664 WITH SCORE 2.2958486628E7
AT ITER 2204 NEW BEST:: SOT 132926585 SOS 82475693 HAS SOPS 67480402 HAS SOUS 23337019 HAS SOUPS 22724637 WITH SCORE 2.2807112693E7
AT ITER 2233 NEW BEST:: SOT 132926594 SOS 82474580 HAS SOPS 67481785 HAS SOUS 23333166 HAS SOUPS 22720784 WITH SCORE 2.280325858E7
AT ITER 2237 NEW BEST:: SOT 132922058 SOS 82470041 HAS SOPS 67478625 HAS SOUS 23330454 HAS SOUPS 22718392 WITH SCORE 2.2800862041E7
AT ITER 2246 NEW BEST:: SOT 132892731 SOS 82440275 HAS SOPS 67448859 HAS SOUS 23274408 HAS SOUPS 22662346 WITH SCORE 2.2744786275E7
AT ITER 2259 NEW BEST:: SOT 132883615 SOS 82420527 HAS SOPS 67421874 HAS SOUS 23239267 HAS SOUPS 22627205 WITH SCORE 2.2709625527E7
AT ITER 2268 NEW BEST:: SOT 132881710 SOS 82415682 HAS SOPS 67420451 HAS SOUS 23239252 HAS SOUPS 22627190 WITH SCORE 2.2709605682E7
AT ITER 2273 NEW BEST:: SOT 132878627 SOS 82439864 HAS SOPS 67446923 HAS SOUS 23219576 HAS SOUPS 22607514 WITH SCORE 2.2689953864E7
AT ITER 2276 NEW BEST:: SOT 132879539 SOS 82439676 HAS SOPS 67446491 HAS SOUS 23216188 HAS SOUPS 22604126 WITH SCORE 2.2686565676E7
AT ITER 2281 NEW BEST:: SOT 132899914 SOS 82491764 HAS SOPS 67485972 HAS SOUS 23194900 HAS SOUPS 22582838 WITH SCORE 2.2665329764E7
AT ITER 2282 NEW BEST:: SOT 132906386 SOS 82516459 HAS SOPS 67509428 HAS SOUS 23192962 HAS SOUPS 22580900 WITH SCORE 2.2663416459E7
AT ITER 2291 NEW BEST:: SOT 132903677 SOS 82512438 HAS SOPS 67503883 HAS SOUS 23186884 HAS SOUPS 22574822 WITH SCORE 2.2657334438E7
AT ITER 2300 NEW BEST:: SOT 132806517 SOS 82407475 HAS SOPS 67397979 HAS SOUS 23057203 HAS SOUPS 22445212 WITH SCORE 2.2527619475E7
AT ITER 2302 NEW BEST:: SOT 132804073 SOS 82404967 HAS SOPS 67394061 HAS SOUS 23049006 HAS SOUPS 22437015 WITH SCORE 2.2519419967E7
AT ITER 2312 NEW BEST:: SOT 132804359 SOS 82423420 HAS SOPS 67409576 HAS SOUS 23039116 HAS SOUPS 22426954 WITH SCORE 2.250937742E7
AT ITER 2323 NEW BEST:: SOT 132804166 SOS 82422493 HAS SOPS 67407702 HAS SOUS 23026481 HAS SOUPS 22414319 WITH SCORE 2.2496741493E7
AT ITER 2329 NEW BEST:: SOT 132805798 SOS 82446638 HAS SOPS 67447112 HAS SOUS 23024981 HAS SOUPS 22412819 WITH SCORE 2.2495265638E7
AT ITER 2345 NEW BEST:: SOT 132808736 SOS 82455770 HAS SOPS 67453026 HAS SOUS 23022679 HAS SOUPS 22410517 WITH SCORE 2.249297277E7
AT ITER 2361 NEW BEST:: SOT 132802008 SOS 82463053 HAS SOPS 67450703 HAS SOUS 23000402 HAS SOUPS 22388240 WITH SCORE 2.2470703053E7
AT ITER 2365 NEW BEST:: SOT 132828774 SOS 82487860 HAS SOPS 67475532 HAS SOUS 22994377 HAS SOUPS 22382224 WITH SCORE 2.246471186E7
AT ITER 2370 NEW BEST:: SOT 132828732 SOS 82488149 HAS SOPS 67475629 HAS SOUS 22994336 HAS SOUPS 22382183 WITH SCORE 2.2464671149E7
AT ITER 2371 NEW BEST:: SOT 132828248 SOS 82488287 HAS SOPS 67474175 HAS SOUS 22993616 HAS SOUPS 22381463 WITH SCORE 2.2463951287E7
AT ITER 2412 NEW BEST:: SOT 132826981 SOS 82483875 HAS SOPS 67469671 HAS SOUS 22992188 HAS SOUPS 22380035 WITH SCORE 2.2462518875E7
AT ITER 2413 NEW BEST:: SOT 132816799 SOS 82465959 HAS SOPS 67453181 HAS SOUS 22978279 HAS SOUPS 22366127 WITH SCORE 2.2448592959E7
AT ITER 2423 NEW BEST:: SOT 132807979 SOS 82452152 HAS SOPS 67440035 HAS SOUS 22963425 HAS SOUPS 22351341 WITH SCORE 2.2433793152E7
AT ITER 2435 NEW BEST:: SOT 132801666 SOS 82445776 HAS SOPS 67431040 HAS SOUS 22947866 HAS SOUPS 22335782 WITH SCORE 2.2418227776E7
AT ITER 2439 NEW BEST:: SOT 132806165 SOS 82453116 HAS SOPS 67432897 HAS SOUS 22939332 HAS SOUPS 22327373 WITH SCORE 2.2409826116E7
AT ITER 2446 NEW BEST:: SOT 132807403 SOS 82464391 HAS SOPS 67441403 HAS SOUS 22934096 HAS SOUPS 22322137 WITH SCORE 2.2404601391E7
AT ITER 2449 NEW BEST:: SOT 132775511 SOS 82400232 HAS SOPS 67405715 HAS SOUS 22905140 HAS SOUPS 22293520 WITH SCORE 2.2375920232E7
AT ITER 2451 NEW BEST:: SOT 132767998 SOS 82382850 HAS SOPS 67392306 HAS SOUS 22901659 HAS SOUPS 22290039 WITH SCORE 2.237242185E7
AT ITER 2470 NEW BEST:: SOT 132731689 SOS 82292963 HAS SOPS 67306274 HAS SOUS 22864365 HAS SOUPS 22252745 WITH SCORE 2.2335037963E7
AT ITER 2476 NEW BEST:: SOT 132731791 SOS 82292709 HAS SOPS 67306807 HAS SOUS 22864087 HAS SOUPS 22252467 WITH SCORE 2.2334759709E7
AT ITER 2492 NEW BEST:: SOT 132735080 SOS 82286992 HAS SOPS 67317753 HAS SOUS 22844332 HAS SOUPS 22232712 WITH SCORE 2.2314998992E7
AT ITER 2495 NEW BEST:: SOT 132733249 SOS 82289279 HAS SOPS 67315257 HAS SOUS 22834028 HAS SOUPS 22222365 WITH SCORE 2.2304654279E7

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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