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.r078-smll-158922972300243.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 FamilyReunion-PT-L00200M0020C010P010G005, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972300243
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 71M
-rw-r--r-- 1 mcc users 5.0K Apr 4 17:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 4 17:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 4 06:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 06:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 835K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.2M Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.0M Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 3 20:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 20:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 13:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 62M 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 FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589379622249

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00200M0020C010P010G005
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 143908 places, 134279 transitions, 411469 arcs.
AT ITER 0 NEW BEST:: SOT -1505310789 SOS 1138271449 HAS SOPS 1136549468 HAS SOUS 1073716254 HAS SOUPS 1073621273 WITH SCORE 1.074759544449E9
AT ITER 8 NEW BEST:: SOT -1505318257 SOS 1138267228 HAS SOPS 1136545247 HAS SOUS 1073712033 HAS SOUPS 1073617052 WITH SCORE 1.074755319228E9
AT ITER 12 NEW BEST:: SOT -1505287020 SOS 1138308342 HAS SOPS 1136410465 HAS SOUS 1073754129 HAS SOUPS 1073483567 WITH SCORE 1.074621875342E9
AT ITER 46 NEW BEST:: SOT -1505289029 SOS 1138306535 HAS SOPS 1136408658 HAS SOUS 1073752322 HAS SOUPS 1073481760 WITH SCORE 1.074620066535E9
AT ITER 90 NEW BEST:: SOT -1505297146 SOS 1138302314 HAS SOPS 1136404437 HAS SOUS 1073748092 HAS SOUPS 1073477530 WITH SCORE 1.074615832314E9
AT ITER 94 NEW BEST:: SOT -1505300894 SOS 1138294818 HAS SOPS 1136396941 HAS SOUS 1073740596 HAS SOUPS 1073470034 WITH SCORE 1.074608328818E9
AT ITER 126 NEW BEST:: SOT -1505731436 SOS 1137920699 HAS SOPS 1136022822 HAS SOUS 1073304184 HAS SOUPS 1073033622 WITH SCORE 1.074171542699E9
AT ITER 157 NEW BEST:: SOT -1505731436 SOS 1137918543 HAS SOPS 1136020666 HAS SOUS 1073302028 HAS SOUPS 1073031466 WITH SCORE 1.074169384543E9
AT ITER 204 NEW BEST:: SOT -1505739878 SOS 1137906607 HAS SOPS 1136008730 HAS SOUS 1073290092 HAS SOUPS 1073019530 WITH SCORE 1.074157436607E9
AT ITER 215 NEW BEST:: SOT -1505744185 SOS 1137893686 HAS SOPS 1135995809 HAS SOUS 1073277171 HAS SOUPS 1073006609 WITH SCORE 1.074144502686E9
AT ITER 231 NEW BEST:: SOT -1505752627 SOS 1137811270 HAS SOPS 1135913393 HAS SOUS 1073274443 HAS SOUPS 1073003881 WITH SCORE 1.07414169227E9
AT ITER 274 NEW BEST:: SOT -1505752627 SOS 1137810023 HAS SOPS 1135912146 HAS SOUS 1073273196 HAS SOUPS 1073002634 WITH SCORE 1.074140444023E9
AT ITER 301 NEW BEST:: SOT -1505752627 SOS 1137803048 HAS SOPS 1135905171 HAS SOUS 1073266221 HAS SOUPS 1072995659 WITH SCORE 1.074133462048E9
AT ITER 311 NEW BEST:: SOT -1505759363 SOS 1137802239 HAS SOPS 1135904362 HAS SOUS 1073265412 HAS SOUPS 1072994850 WITH SCORE 1.074132652239E9
AT ITER 397 NEW BEST:: SOT -1505760002 SOS 1137800961 HAS SOPS 1135903084 HAS SOUS 1073264134 HAS SOUPS 1072993572 WITH SCORE 1.074131372961E9
AT ITER 463 NEW BEST:: SOT -1505793065 SOS 1137901788 HAS SOPS 1136003911 HAS SOUS 1073255061 HAS SOUPS 1072984499 WITH SCORE 1.074122400788E9
AT ITER 537 NEW BEST:: SOT -1505793065 SOS 1137898202 HAS SOPS 1136000325 HAS SOUS 1073251474 HAS SOUPS 1072980912 WITH SCORE 1.074118810202E9
AT ITER 554 NEW BEST:: SOT -1505793065 SOS 1137896205 HAS SOPS 1135998328 HAS SOUS 1073249477 HAS SOUPS 1072978915 WITH SCORE 1.074116811205E9
AT ITER 574 NEW BEST:: SOT -1505799847 SOS 1137895304 HAS SOPS 1135997427 HAS SOUS 1073248576 HAS SOUPS 1072978014 WITH SCORE 1.074115909304E9
AT ITER 580 NEW BEST:: SOT -1505804311 SOS 1137886862 HAS SOPS 1135988985 HAS SOUS 1073240134 HAS SOUPS 1072969572 WITH SCORE 1.074107458862E9
AT ITER 587 NEW BEST:: SOT -1505807453 SOS 1137880578 HAS SOPS 1135982701 HAS SOUS 1073233850 HAS SOUPS 1072963288 WITH SCORE 1.074101168578E9
AT ITER 601 NEW BEST:: SOT -1505809054 SOS 1137877376 HAS SOPS 1135979499 HAS SOUS 1073230648 HAS SOUPS 1072960086 WITH SCORE 1.074097963376E9
AT ITER 652 NEW BEST:: SOT -1505814518 SOS 1137873155 HAS SOPS 1135975278 HAS SOUS 1073226427 HAS SOUPS 1072955865 WITH SCORE 1.074093738155E9
AT ITER 675 NEW BEST:: SOT -1505816919 SOS 1137868353 HAS SOPS 1135970476 HAS SOUS 1073221623 HAS SOUPS 1072951061 WITH SCORE 1.074088929353E9
AT ITER 713 NEW BEST:: SOT -1505816919 SOS 1137865780 HAS SOPS 1135967903 HAS SOUS 1073219050 HAS SOUPS 1072948488 WITH SCORE 1.07408635378E9
AT ITER 731 NEW BEST:: SOT -1505820627 SOS 1137863569 HAS SOPS 1135965692 HAS SOUS 1073216837 HAS SOUPS 1072946275 WITH SCORE 1.074084138569E9
AT ITER 781 NEW BEST:: SOT -1506179772 SOS 1151002600 HAS SOPS 1149104723 HAS SOUS 1072929068 HAS SOUPS 1072658506 WITH SCORE 1.0738095086E9
AT ITER 809 NEW BEST:: SOT -1506179772 SOS 1150921995 HAS SOPS 1149024118 HAS SOUS 1072926733 HAS SOUPS 1072656171 WITH SCORE 1.073807092995E9
AT ITER 811 NEW BEST:: SOT -1506181380 SOS 1150918779 HAS SOPS 1149020902 HAS SOUS 1072923517 HAS SOUPS 1072652955 WITH SCORE 1.073803873779E9
AT ITER 852 NEW BEST:: SOT -1506183766 SOS 1150914007 HAS SOPS 1149016130 HAS SOUS 1072918725 HAS SOUPS 1072648163 WITH SCORE 1.073799077007E9
AT ITER 855 NEW BEST:: SOT -1506188454 SOS 1150904775 HAS SOPS 1149006898 HAS SOUS 1072909349 HAS SOUPS 1072638787 WITH SCORE 1.073789691775E9
AT ITER 862 NEW BEST:: SOT -1506191905 SOS 1150897873 HAS SOPS 1148999996 HAS SOUS 1072902447 HAS SOUPS 1072631885 WITH SCORE 1.073782782873E9
AT ITER 879 NEW BEST:: SOT -1506191905 SOS 1150897150 HAS SOPS 1148999273 HAS SOUS 1072901724 HAS SOUPS 1072631162 WITH SCORE 1.07378205915E9
AT ITER 917 NEW BEST:: SOT -1506197405 SOS 1150894939 HAS SOPS 1148997062 HAS SOUS 1072899499 HAS SOUPS 1072628937 WITH SCORE 1.073779831939E9
AT ITER 1038 NEW BEST:: SOT -1506200803 SOS 1150888143 HAS SOPS 1148990266 HAS SOUS 1072892703 HAS SOUPS 1072622141 WITH SCORE 1.073773029143E9
AT ITER 1067 NEW BEST:: SOT -1506207166 SOS 1150879701 HAS SOPS 1148981824 HAS SOUS 1072884261 HAS SOUPS 1072613699 WITH SCORE 1.073764578701E9
AT ITER 1069 NEW BEST:: SOT -1506211116 SOS 1150871801 HAS SOPS 1148973924 HAS SOUS 1072876361 HAS SOUPS 1072605799 WITH SCORE 1.073756670801E9
AT ITER 1102 NEW BEST:: SOT -1506211116 SOS 1150870754 HAS SOPS 1148972877 HAS SOUS 1072875314 HAS SOUPS 1072604752 WITH SCORE 1.073755622754E9
AT ITER 1111 NEW BEST:: SOT -1506218054 SOS 1150856970 HAS SOPS 1148959093 HAS SOUS 1072861438 HAS SOUPS 1072590876 WITH SCORE 1.07374173297E9
AT ITER 1136 NEW BEST:: SOT -1506219793 SOS 1150855703 HAS SOPS 1148957826 HAS SOUS 1072860171 HAS SOUPS 1072589609 WITH SCORE 1.073740464703E9
AT ITER 1154 NEW BEST:: SOT -1506219793 SOS 1150799285 HAS SOPS 1148901408 HAS SOUS 1072858023 HAS SOUPS 1072587461 WITH SCORE 1.073738260285E9
AT ITER 1160 NEW BEST:: SOT -1506221317 SOS 1150798448 HAS SOPS 1148900571 HAS SOUS 1072857186 HAS SOUPS 1072586624 WITH SCORE 1.073737422448E9
AT ITER 1201 NEW BEST:: SOT -1506226235 SOS 1150790006 HAS SOPS 1148892129 HAS SOUS 1072848744 HAS SOUPS 1072578182 WITH SCORE 1.073728972006E9
AT ITER 1258 NEW BEST:: SOT -1506226235 SOS 1150781663 HAS SOPS 1148883786 HAS SOUS 1072840401 HAS SOUPS 1072569839 WITH SCORE 1.073720620663E9
AT ITER 1408 NEW BEST:: SOT -1506231891 SOS 1150773221 HAS SOPS 1148875344 HAS SOUS 1072831959 HAS SOUPS 1072561397 WITH SCORE 1.073712170221E9
AT ITER 1415 NEW BEST:: SOT -1506234266 SOS 1150768471 HAS SOPS 1148870594 HAS SOUS 1072827209 HAS SOUPS 1072556647 WITH SCORE 1.073707415471E9
AT ITER 1421 NEW BEST:: SOT -1506242490 SOS 1150764250 HAS SOPS 1148866373 HAS SOUS 1072822988 HAS SOUPS 1072552426 WITH SCORE 1.07370319025E9
AT ITER 1489 NEW BEST:: SOT -1506248165 SOS 1150753052 HAS SOPS 1148855175 HAS SOUS 1072811638 HAS SOUPS 1072541076 WITH SCORE 1.073691829052E9
AT ITER 1512 NEW BEST:: SOT -1506251317 SOS 1150748959 HAS SOPS 1148851082 HAS SOUS 1072807545 HAS SOUPS 1072536983 WITH SCORE 1.073687731959E9
AT ITER 1513 NEW BEST:: SOT -1506257813 SOS 1150748630 HAS SOPS 1148850753 HAS SOUS 1072807216 HAS SOUPS 1072536654 WITH SCORE 1.07368740263E9
AT ITER 1609 NEW BEST:: SOT -1506257813 SOS 1150747656 HAS SOPS 1148849779 HAS SOUS 1072806242 HAS SOUPS 1072535680 WITH SCORE 1.073686427656E9
AT ITER 1634 NEW BEST:: SOT -1506257813 SOS 1150745454 HAS SOPS 1148847577 HAS SOUS 1072804035 HAS SOUPS 1072533473 WITH SCORE 1.073684218454E9
AT ITER 1720 NEW BEST:: SOT -1506260123 SOS 1150740834 HAS SOPS 1148842957 HAS SOUS 1072799415 HAS SOUPS 1072528853 WITH SCORE 1.073679593834E9
AT ITER 1724 NEW BEST:: SOT -1506260123 SOS 1150740664 HAS SOPS 1148842787 HAS SOUS 1072799245 HAS SOUPS 1072528683 WITH SCORE 1.073679423664E9
AT ITER 1802 NEW BEST:: SOT -1506265850 SOS 1150736443 HAS SOPS 1148838566 HAS SOUS 1072795024 HAS SOUPS 1072524462 WITH SCORE 1.073675198443E9
AT ITER 1804 NEW BEST:: SOT -1506270272 SOS 1150727599 HAS SOPS 1148829722 HAS SOUS 1072786180 HAS SOUPS 1072515618 WITH SCORE 1.073666345599E9
AT ITER 1815 NEW BEST:: SOT -1506270272 SOS 1150720468 HAS SOPS 1148822591 HAS SOUS 1072779049 HAS SOUPS 1072508487 WITH SCORE 1.073659207468E9
AT ITER 1826 NEW BEST:: SOT -1506274672 SOS 1150711668 HAS SOPS 1148813791 HAS SOUS 1072770249 HAS SOUPS 1072499687 WITH SCORE 1.073650398668E9
AT ITER 1907 NEW BEST:: SOT -1506274672 SOS 1150704741 HAS SOPS 1148806864 HAS SOUS 1072763322 HAS SOUPS 1072492760 WITH SCORE 1.073643464741E9
AT ITER 1935 NEW BEST:: SOT -1506274667 SOS 1150704751 HAS SOPS 1148806874 HAS SOUS 1072759636 HAS SOUPS 1072489074 WITH SCORE 1.073639778751E9
AT ITER 1941 NEW BEST:: SOT -1506275203 SOS 1150704215 HAS SOPS 1148806338 HAS SOUS 1072759100 HAS SOUPS 1072488538 WITH SCORE 1.073639242215E9
AT ITER 2061 NEW BEST:: SOT -1506280133 SOS 1150689425 HAS SOPS 1148791548 HAS SOUS 1072744310 HAS SOUPS 1072473748 WITH SCORE 1.073624437425E9
AT ITER 2080 NEW BEST:: SOT -1506286541 SOS 1150689251 HAS SOPS 1148791374 HAS SOUS 1072744135 HAS SOUPS 1072473573 WITH SCORE 1.073624262251E9
AT ITER 2129 NEW BEST:: SOT -1506293725 SOS 1150687546 HAS SOPS 1148789669 HAS SOUS 1072742430 HAS SOUPS 1072471868 WITH SCORE 1.073622555546E9
AT ITER 2155 NEW BEST:: SOT -1506297842 SOS 1150679312 HAS SOPS 1148781435 HAS SOUS 1072730079 HAS SOUPS 1072459517 WITH SCORE 1.073610196312E9
AT ITER 2188 NEW BEST:: SOT -1506297651 SOS 1150684195 HAS SOPS 1148782017 HAS SOUS 1072726751 HAS SOUPS 1072456189 WITH SCORE 1.073606873195E9
AT ITER 2254 NEW BEST:: SOT -1506301185 SOS 1150677127 HAS SOPS 1148774949 HAS SOUS 1072719673 HAS SOUPS 1072449111 WITH SCORE 1.073599788127E9
AT ITER 2357 NEW BEST:: SOT -1506307683 SOS 1150676773 HAS SOPS 1148774595 HAS SOUS 1072719312 HAS SOUPS 1072448750 WITH SCORE 1.073599426773E9
AT ITER 2397 NEW BEST:: SOT -1506315158 SOS 1150674486 HAS SOPS 1148772308 HAS SOUS 1072717025 HAS SOUPS 1072446463 WITH SCORE 1.073597137486E9
AT ITER 2536 NEW BEST:: SOT -1506319947 SOS 1150665098 HAS SOPS 1148762920 HAS SOUS 1072707447 HAS SOUPS 1072436885 WITH SCORE 1.073587550098E9
AT ITER 2606 NEW BEST:: SOT -1506319947 SOS 1150660926 HAS SOPS 1148758748 HAS SOUS 1072703273 HAS SOUPS 1072432711 WITH SCORE 1.073583371926E9
AT ITER 2618 NEW BEST:: SOT -1506336058 SOS 1150649837 HAS SOPS 1148747659 HAS SOUS 1072687554 HAS SOUPS 1072416992 WITH SCORE 1.073567641837E9
AT ITER 2685 NEW BEST:: SOT -1506343606 SOS 1150647383 HAS SOPS 1148745205 HAS SOUS 1072685094 HAS SOUPS 1072414532 WITH SCORE 1.073565179383E9
AT ITER 2693 NEW BEST:: SOT -1506349391 SOS 1150630028 HAS SOPS 1148727850 HAS SOUS 1072667739 HAS SOUPS 1072397177 WITH SCORE 1.073547807028E9
AT ITER 2721 NEW BEST:: SOT -1506349391 SOS 1150629422 HAS SOPS 1148727244 HAS SOUS 1072667133 HAS SOUPS 1072396571 WITH SCORE 1.073547200422E9
AT ITER 2725 NEW BEST:: SOT -1506385887 SOS 1150762271 HAS SOPS 1148860093 HAS SOUS 1072650062 HAS SOUPS 1072379500 WITH SCORE 1.073530262271E9
AT ITER 2726 NEW BEST:: SOT -1506390328 SOS 1150760060 HAS SOPS 1148857882 HAS SOUS 1072647845 HAS SOUPS 1072377283 WITH SCORE 1.07352804306E9
AT ITER 2757 NEW BEST:: SOT -1506397827 SOS 1150757725 HAS SOPS 1148855547 HAS SOUS 1072645510 HAS SOUPS 1072374948 WITH SCORE 1.073525705725E9
AT ITER 2769 NEW BEST:: SOT -1506403832 SOS 1150749283 HAS SOPS 1148847105 HAS SOUS 1072637068 HAS SOUPS 1072366506 WITH SCORE 1.073517255283E9
AT ITER 2776 NEW BEST:: SOT -1506410110 SOS 1150740841 HAS SOPS 1148838663 HAS SOUS 1072628617 HAS SOUPS 1072358055 WITH SCORE 1.073508795841E9
AT ITER 2795 NEW BEST:: SOT -1506416655 SOS 1150727840 HAS SOPS 1148825662 HAS SOUS 1072615527 HAS SOUPS 1072344965 WITH SCORE 1.07349569284E9
AT ITER 2829 NEW BEST:: SOT -1506420157 SOS 1150720836 HAS SOPS 1148818658 HAS SOUS 1072608523 HAS SOUPS 1072337961 WITH SCORE 1.073488681836E9
AT ITER 2835 NEW BEST:: SOT -1506385409 SOS 1150766355 HAS SOPS 1148801125 HAS SOUS 1072648811 HAS SOUPS 1072321280 WITH SCORE 1.073472046355E9
AT ITER 2859 NEW BEST:: SOT -1506391649 SOS 1150757913 HAS SOPS 1148792683 HAS SOUS 1072640369 HAS SOUPS 1072312838 WITH SCORE 1.073463595913E9
AT ITER 2861 NEW BEST:: SOT -1506391649 SOS 1150750698 HAS SOPS 1148785468 HAS SOUS 1072633154 HAS SOUPS 1072305623 WITH SCORE 1.073456373698E9
AT ITER 2880 NEW BEST:: SOT -1506398136 SOS 1150748279 HAS SOPS 1148783049 HAS SOUS 1072630735 HAS SOUPS 1072303204 WITH SCORE 1.073453952279E9
AT ITER 2897 NEW BEST:: SOT -1506405084 SOS 1150744058 HAS SOPS 1148778828 HAS SOUS 1072626498 HAS SOUPS 1072298967 WITH SCORE 1.073449711058E9
AT ITER 2910 NEW BEST:: SOT -1506409133 SOS 1150735960 HAS SOPS 1148770730 HAS SOUS 1072618393 HAS SOUPS 1072290862 WITH SCORE 1.07344159796E9
AT ITER 2919 NEW BEST:: SOT -1506415485 SOS 1150735919 HAS SOPS 1148770689 HAS SOUS 1072618352 HAS SOUPS 1072290821 WITH SCORE 1.073441556919E9
AT ITER 2968 NEW BEST:: SOT -1506417650 SOS 1150731589 HAS SOPS 1148766359 HAS SOUS 1072614014 HAS SOUPS 1072286483 WITH SCORE 1.073437214589E9
AT ITER 2999 NEW BEST:: SOT -1506417650 SOS 1150730492 HAS SOPS 1148765262 HAS SOUS 1072612917 HAS SOUPS 1072285386 WITH SCORE 1.073436116492E9
AT ITER 3008 NEW BEST:: SOT -1506422541 SOS 1150722050 HAS SOPS 1148756820 HAS SOUS 1072602076 HAS SOUPS 1072274545 WITH SCORE 1.07342526705E9
AT ITER 3038 NEW BEST:: SOT -1506425039 SOS 1150717054 HAS SOPS 1148751824 HAS SOUS 1072597067 HAS SOUPS 1072269536 WITH SCORE 1.073420253054E9
AT ITER 3051 NEW BEST:: SOT -1506427152 SOS 1150715039 HAS SOPS 1148749809 HAS SOUS 1072595052 HAS SOUPS 1072267521 WITH SCORE 1.073418236039E9
AT ITER 3058 NEW BEST:: SOT -1506428870 SOS 1150709885 HAS SOPS 1148744655 HAS SOUS 1072589898 HAS SOUPS 1072262367 WITH SCORE 1.073413076885E9
AT ITER 3124 NEW BEST:: SOT -1506428870 SOS 1150702352 HAS SOPS 1148737122 HAS SOUS 1072582365 HAS SOUPS 1072254834 WITH SCORE 1.073405536352E9
AT ITER 3157 NEW BEST:: SOT -1506433858 SOS 1150693910 HAS SOPS 1148728680 HAS SOUS 1072573923 HAS SOUPS 1072246392 WITH SCORE 1.07339708591E9
AT ITER 3231 NEW BEST:: SOT -1506438137 SOS 1150685374 HAS SOPS 1148720144 HAS SOUS 1072565365 HAS SOUPS 1072237834 WITH SCORE 1.073388519374E9
AT ITER 3233 NEW BEST:: SOT -1506445114 SOS 1150681153 HAS SOPS 1148715923 HAS SOUS 1072561144 HAS SOUPS 1072233613 WITH SCORE 1.073384294153E9
AT ITER 3297 NEW BEST:: SOT -1506448071 SOS 1150675239 HAS SOPS 1148710009 HAS SOUS 1072555230 HAS SOUPS 1072227699 WITH SCORE 1.073378374239E9
AT ITER 3362 NEW BEST:: SOT -1506455044 SOS 1150654320 HAS SOPS 1148689090 HAS SOUS 1072534311 HAS SOUPS 1072206780 WITH SCORE 1.07335743432E9
AT ITER 3411 NEW BEST:: SOT -1506455771 SOS 1150653593 HAS SOPS 1148688363 HAS SOUS 1072533584 HAS SOUPS 1072206053 WITH SCORE 1.073356706593E9
AT ITER 3438 NEW BEST:: SOT -1506460373 SOS 1150649372 HAS SOPS 1148684142 HAS SOUS 1072529363 HAS SOUPS 1072201832 WITH SCORE 1.073352481372E9
AT ITER 3511 NEW BEST:: SOT -1506460373 SOS 1150646909 HAS SOPS 1148681679 HAS SOUS 1072526900 HAS SOUPS 1072199369 WITH SCORE 1.073350015909E9
AT ITER 3512 NEW BEST:: SOT -1506465081 SOS 1150644698 HAS SOPS 1148679468 HAS SOUS 1072524681 HAS SOUPS 1072197150 WITH SCORE 1.073347794698E9
AT ITER 3518 NEW BEST:: SOT -1506465538 SOS 1150643784 HAS SOPS 1148678554 HAS SOUS 1072523767 HAS SOUPS 1072196236 WITH SCORE 1.073346879784E9
AT ITER 3533 NEW BEST:: SOT -1506467201 SOS 1150642669 HAS SOPS 1148677439 HAS SOUS 1072522652 HAS SOUPS 1072195121 WITH SCORE 1.073345763669E9
AT ITER 3535 NEW BEST:: SOT -1506470616 SOS 1150640458 HAS SOPS 1148675228 HAS SOUS 1072520421 HAS SOUPS 1072192890 WITH SCORE 1.073343530458E9
AT ITER 3594 NEW BEST:: SOT -1506471608 SOS 1150638474 HAS SOPS 1148673244 HAS SOUS 1072518437 HAS SOUPS 1072190906 WITH SCORE 1.073341544474E9
AT ITER 3638 NEW BEST:: SOT -1506474997 SOS 1150628307 HAS SOPS 1148663077 HAS SOUS 1072508270 HAS SOUPS 1072180739 WITH SCORE 1.073331367307E9
AT ITER 3682 NEW BEST:: SOT -1506479687 SOS 1150619865 HAS SOPS 1148654635 HAS SOUS 1072499816 HAS SOUPS 1072172285 WITH SCORE 1.073322904865E9
AT ITER 3742 NEW BEST:: SOT -1506482162 SOS 1150614915 HAS SOPS 1148649685 HAS SOUS 1072494866 HAS SOUPS 1072167335 WITH SCORE 1.073317949915E9
AT ITER 3743 NEW BEST:: SOT -1506482162 SOS 1150607950 HAS SOPS 1148642720 HAS SOUS 1072487901 HAS SOUPS 1072160370 WITH SCORE 1.07331097795E9
AT ITER 3807 NEW BEST:: SOT -1506488069 SOS 1150599508 HAS SOPS 1148634278 HAS SOUS 1072479459 HAS SOUPS 1072151928 WITH SCORE 1.073302527508E9
AT ITER 3840 NEW BEST:: SOT -1506496420 SOS 1150595287 HAS SOPS 1148630057 HAS SOUS 1072475238 HAS SOUPS 1072147707 WITH SCORE 1.073298302287E9
AT ITER 3847 NEW BEST:: SOT -1506499962 SOS 1150588257 HAS SOPS 1148623027 HAS SOUS 1072468154 HAS SOUPS 1072140623 WITH SCORE 1.073291211257E9
AT ITER 3852 NEW BEST:: SOT -1506501748 SOS 1150584685 HAS SOPS 1148619455 HAS SOUS 1072464582 HAS SOUPS 1072137051 WITH SCORE 1.073287635685E9
AT ITER 3972 NEW BEST:: SOT -1506509987 SOS 1150580464 HAS SOPS 1148615234 HAS SOUS 1072460361 HAS SOUPS 1072132830 WITH SCORE 1.073283410464E9
AT ITER 4004 NEW BEST:: SOT -1506517711 SOS 1150576243 HAS SOPS 1148611013 HAS SOUS 1072456125 HAS SOUPS 1072128594 WITH SCORE 1.073279170243E9
AT ITER 4016 NEW BEST:: SOT -1506525813 SOS 1150572022 HAS SOPS 1148606792 HAS SOUS 1072451892 HAS SOUPS 1072124361 WITH SCORE 1.073274933022E9
AT ITER 4046 NEW BEST:: SOT -1506525813 SOS 1150570412 HAS SOPS 1148605182 HAS SOUS 1072450282 HAS SOUPS 1072122751 WITH SCORE 1.073273321412E9
AT ITER 4133 NEW BEST:: SOT -1506526144 SOS 1150567539 HAS SOPS 1148602309 HAS SOUS 1072447409 HAS SOUPS 1072119878 WITH SCORE 1.073270445539E9
AT ITER 4153 NEW BEST:: SOT -1506527808 SOS 1150564211 HAS SOPS 1148598981 HAS SOUS 1072444071 HAS SOUPS 1072116540 WITH SCORE 1.073267104211E9
AT ITER 4174 NEW BEST:: SOT -1506527808 SOS 1150563689 HAS SOPS 1148598459 HAS SOUS 1072443549 HAS SOUPS 1072116018 WITH SCORE 1.073266581689E9
AT ITER 4228 NEW BEST:: SOT -1506527808 SOS 1150555684 HAS SOPS 1148590454 HAS SOUS 1072435544 HAS SOUPS 1072108013 WITH SCORE 1.073258568684E9
AT ITER 4230 NEW BEST:: SOT -1506527808 SOS 1150553628 HAS SOPS 1148588398 HAS SOUS 1072433488 HAS SOUPS 1072105957 WITH SCORE 1.073256510628E9
AT ITER 4234 NEW BEST:: SOT -1506531896 SOS 1150545452 HAS SOPS 1148580222 HAS SOUS 1072425312 HAS SOUPS 1072097781 WITH SCORE 1.073248326452E9
AT ITER 4259 NEW BEST:: SOT -1506531896 SOS 1150544002 HAS SOPS 1148578772 HAS SOUS 1072423862 HAS SOUPS 1072096331 WITH SCORE 1.073246875002E9
AT ITER 4273 NEW BEST:: SOT -1506536651 SOS 1150534574 HAS SOPS 1148569344 HAS SOUS 1072414352 HAS SOUPS 1072086821 WITH SCORE 1.073237355574E9
AT ITER 4282 NEW BEST:: SOT -1506544643 SOS 1150531253 HAS SOPS 1148566023 HAS SOUS 1072411031 HAS SOUPS 1072083500 WITH SCORE 1.073234031253E9
AT ITER 4292 NEW BEST:: SOT -1506550775 SOS 1150527032 HAS SOPS 1148561802 HAS SOUS 1072406810 HAS SOUPS 1072079279 WITH SCORE 1.073229806032E9
AT ITER 4301 NEW BEST:: SOT -1506550775 SOS 1150520058 HAS SOPS 1148554828 HAS SOUS 1072399836 HAS SOUPS 1072072305 WITH SCORE 1.073222825058E9
AT ITER 4311 NEW BEST:: SOT -1506552770 SOS 1150518063 HAS SOPS 1148552833 HAS SOUS 1072397841 HAS SOUPS 1072070310 WITH SCORE 1.073220828063E9
AT ITER 4358 NEW BEST:: SOT -1506554061 SOS 1150515481 HAS SOPS 1148550251 HAS SOUS 1072395259 HAS SOUPS 1072067728 WITH SCORE 1.073218243481E9
AT ITER 4366 NEW BEST:: SOT -1506558483 SOS 1150502506 HAS SOPS 1148537276 HAS SOUS 1072382284 HAS SOUPS 1072054753 WITH SCORE 1.073205255506E9
AT ITER 4433 NEW BEST:: SOT -1506558483 SOS 1150501769 HAS SOPS 1148536539 HAS SOUS 1072381547 HAS SOUPS 1072054016 WITH SCORE 1.073204517769E9
AT ITER 4460 NEW BEST:: SOT -1506585612 SOS 1150619279 HAS SOPS 1148654049 HAS SOUS 1072371597 HAS SOUPS 1072044066 WITH SCORE 1.073194685279E9
AT ITER 4480 NEW BEST:: SOT -1506585612 SOS 1150616643 HAS SOPS 1148651413 HAS SOUS 1072368961 HAS SOUPS 1072041430 WITH SCORE 1.073192046643E9
AT ITER 4487 NEW BEST:: SOT -1506593811 SOS 1150612422 HAS SOPS 1148647192 HAS SOUS 1072356641 HAS SOUPS 1072029110 WITH SCORE 1.073179722422E9
AT ITER 4534 NEW BEST:: SOT -1506594921 SOS 1150610202 HAS SOPS 1148644972 HAS SOUS 1072354421 HAS SOUPS 1072026890 WITH SCORE 1.073177500202E9
AT ITER 4567 NEW BEST:: SOT -1506601339 SOS 1150597484 HAS SOPS 1148632254 HAS SOUS 1072341585 HAS SOUPS 1072014054 WITH SCORE 1.073164651484E9
AT ITER 4582 NEW BEST:: SOT -1506602648 SOS 1150597077 HAS SOPS 1148631847 HAS SOUS 1072341178 HAS SOUPS 1072013647 WITH SCORE 1.073164244077E9
AT ITER 4597 NEW BEST:: SOT -1506610340 SOS 1150592856 HAS SOPS 1148627626 HAS SOUS 1072336957 HAS SOUPS 1072009426 WITH SCORE 1.073160018856E9
AT ITER 4627 NEW BEST:: SOT -1506617784 SOS 1150588635 HAS SOPS 1148623405 HAS SOUS 1072332736 HAS SOUPS 1072005205 WITH SCORE 1.073155793635E9
AT ITER 4677 NEW BEST:: SOT -1506620551 SOS 1150583101 HAS SOPS 1148617871 HAS SOUS 1072327202 HAS SOUPS 1071999671 WITH SCORE 1.073150254101E9
AT ITER 4698 NEW BEST:: SOT -1506628347 SOS 1150580172 HAS SOPS 1148614942 HAS SOUS 1072324273 HAS SOUPS 1071996742 WITH SCORE 1.073147322172E9
AT ITER 4801 NEW BEST:: SOT -1506628347 SOS 1150571964 HAS SOPS 1148606734 HAS SOUS 1072316065 HAS SOUPS 1071988534 WITH SCORE 1.073139105964E9
AT ITER 4836 NEW BEST:: SOT -1506633450 SOS 1150556655 HAS SOPS 1148591425 HAS SOUS 1072300756 HAS SOUPS 1071973225 WITH SCORE 1.073123781655E9
AT ITER 4841 NEW BEST:: SOT -1506633450 SOS 1150556319 HAS SOPS 1148591089 HAS SOUS 1072300420 HAS SOUPS 1071972889 WITH SCORE 1.073123445319E9
AT ITER 4881 NEW BEST:: SOT -1506635661 SOS 1150551897 HAS SOPS 1148586667 HAS SOUS 1072295998 HAS SOUPS 1071968467 WITH SCORE 1.073119018897E9
AT ITER 4936 NEW BEST:: SOT -1506640350 SOS 1150543455 HAS SOPS 1148578225 HAS SOUS 1072287554 HAS SOUPS 1071960023 WITH SCORE 1.073110566455E9
AT ITER 4939 NEW BEST:: SOT -1506640350 SOS 1150542296 HAS SOPS 1148577066 HAS SOUS 1072286391 HAS SOUPS 1071958860 WITH SCORE 1.073109402296E9
AT ITER 4945 NEW BEST:: SOT -1506642734 SOS 1150531967 HAS SOPS 1148566737 HAS SOUS 1072276062 HAS SOUPS 1071948531 WITH SCORE 1.073099062967E9
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-00 (AF(potential( ( 1 ) <= (tk(P40284)) )))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-01 (! (AG( (AG( potential( (tk(P29490)) <= (tk(P63797)) ))))))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-02 (! ( (EG( (! potential( ( 2 ) <= (tk(P24676)) )))) | (AU( potential( ( 3 ) <= (tk(P123146)) ),potential( ( 2 ) <= (tk(P99672)) ) )) ))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-03 (AG( ( ( ( potential( ( 1 ) <= (tk(P31652)) ) | potential( ( 2 ) <= (tk(P7867)) ) ) | ( potential( ( 1 ) <= (tk(P6578)) ) | potential( (tk(P72602)) <= (tk(P7808)) ) ) ) | ( (! potential( ( 2 ) <= (tk(P125549)) )) | potential( (tk(P93364)) <= (tk(P17926)) ) ) )))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-04 (AX( (EF(potential( ( 1 ) <= (tk(P142267)) )))))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-05 ( ( (AU( potential( (tk(P68274)) <= (tk(P53799)) ),potential( ( 1 ) <= (tk(P73307)) ) )) & (AF(( potential( (tk(P82999)) <= (tk(P44482)) ) & potential( ( 2 ) <= (tk(P12548)) ) ))) ) | (! (EX( ( potential( ( 1 ) <= (tk(P90920)) ) | potential( (tk(P5520)) <= (tk(P109286)) ) )))) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-06 ( ( (AG( potential( (tk(P81966)) <= (tk(P21309)) ))) | ( ( potential( ( 3 ) <= (tk(P42672)) ) & ( potential( (tk(P61074)) <= (tk(P126541)) ) & potential( (tk(P22646)) <= (tk(P61096)) ) ) ) & (EX( potential( ( 2 ) <= (tk(P40335)) ))) ) ) & (AG( ( ( potential( (tk(P669)) <= (tk(P58081)) ) & potential( (tk(P52899)) <= (tk(P58834)) ) ) & ( potential( ( 3 ) <= (tk(P2313)) ) | potential( (tk(P128441)) <= (tk(P67734)) ) ) ))) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-07 ( ( (! (! (! potential( (tk(P58416)) <= (tk(P3148)) )))) & (AF(potential( ( 1 ) <= (tk(P43195)) ))) ) | ( ( ( (! potential( (tk(P48418)) <= (tk(P108506)) )) | potential( (tk(P21905)) <= (tk(P105014)) ) ) & (AG( potential( (tk(P9225)) <= (tk(P27856)) ))) ) | (EU( potential( (tk(P137970)) <= (tk(P20937)) ),potential( ( 3 ) <= (tk(P47313)) ) )) ) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-08 ( ( potential( ( 1 ) <= (tk(P63332)) ) | ( potential( ( 2 ) <= (tk(P60700)) ) & (EX( potential( (tk(P3648)) <= (tk(P80167)) ))) ) ) | ( (AX( (! potential( (tk(P117743)) <= (tk(P80618)) )))) | (! (AF(potential( ( 2 ) <= (tk(P99257)) )))) ) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-09 (! (EF(potential( ( 3 ) <= (tk(P37508)) ))))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-10 ( (AF((! ( potential( (tk(P70554)) <= (tk(P123289)) ) | potential( ( 1 ) <= (tk(P90289)) ) )))) & (EF(potential( (tk(P13378)) <= (tk(P3954)) ))) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-11 (EG( (EX( (! potential( ( 3 ) <= (tk(P110884)) ))))))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-12 (AF(( ( ( potential( (tk(P112915)) <= (tk(P110419)) ) & potential( (tk(P62202)) <= (tk(P33412)) ) ) | (! potential( ( 3 ) <= (tk(P9354)) )) ) & (! (! potential( ( 1 ) <= (tk(P84999)) ))) )))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-13 ( ( (EF(potential( ( 2 ) <= (tk(P26677)) ))) | ( ( ( potential( (tk(P15218)) <= (tk(P55468)) ) & potential( (tk(P29284)) <= (tk(P79807)) ) ) | (! potential( (tk(P8596)) <= (tk(P113953)) )) ) & potential( ( 3 ) <= (tk(P60234)) ) ) ) | ( (EF(( potential( (tk(P73976)) <= (tk(P93644)) ) & potential( ( 3 ) <= (tk(P103620)) ) ))) | (! (AG( potential( (tk(P112485)) <= (tk(P99629)) )))) ) )
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-14 (AG( (AF(( potential( (tk(P109411)) <= (tk(P86906)) ) | potential( (tk(P136444)) <= (tk(P104191)) ) )))))
PROPERTY: FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-15 ( ( (EG( ( potential( ( 1 ) <= (tk(P51311)) ) | potential( (tk(P91577)) <= (tk(P18879)) ) ))) | ( (AX( potential( ( 3 ) <= (tk(P28529)) ))) & ( ( potential( (tk(P59929)) <= (tk(P14175)) ) & potential( (tk(P121360)) <= (tk(P28968)) ) ) | ( potential( (tk(P63985)) <= (tk(P49060)) ) | potential( (tk(P115994)) <= (tk(P100009)) ) ) ) ) ) | (AX( (EF(potential( ( 3 ) <= (tk(P38475)) ))))) )

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="FamilyReunion-PT-L00200M0020C010P010G005"
export BK_EXAMINATION="CTLCardinality"
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 FamilyReunion-PT-L00200M0020C010P010G005, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972300243"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;