Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808000780.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DoubleExponent-PT-010, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808000780
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 3.3K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 30 00:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 30 00:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 169K 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 DoubleExponent-PT-010-CTLFireability-00
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-01
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-02
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-03
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-04
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-05
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-06
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-07
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-08
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-09
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-10
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-11
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-12
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-13
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-14
FORMULA_NAME DoubleExponent-PT-010-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589365432187

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 010
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: 534 places, 498 transitions, 1404 arcs.
AT ITER 0 NEW BEST:: SOT 138218 SOS 13385 HAS SOPS 13385 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12715.385
AT ITER 20 NEW BEST:: SOT 138213 SOS 13380 HAS SOPS 13380 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12710.38
AT ITER 30 NEW BEST:: SOT 138223 SOS 13356 HAS SOPS 13356 HAS SOUS 12673 HAS SOUPS 12673 WITH SCORE 12686.356
AT ITER 138 NEW BEST:: SOT 138215 SOS 13331 HAS SOPS 13331 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12669.331
AT ITER 147 NEW BEST:: SOT 138205 SOS 13311 HAS SOPS 13311 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12649.311
AT ITER 217 NEW BEST:: SOT 138203 SOS 13307 HAS SOPS 13307 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12645.307
AT ITER 225 NEW BEST:: SOT 138195 SOS 13298 HAS SOPS 13298 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12636.298
AT ITER 269 NEW BEST:: SOT 138184 SOS 13287 HAS SOPS 13287 HAS SOUS 12612 HAS SOUPS 12612 WITH SCORE 12625.287
AT ITER 272 NEW BEST:: SOT 138189 SOS 13278 HAS SOPS 13278 HAS SOUS 12603 HAS SOUPS 12603 WITH SCORE 12616.278
AT ITER 389 NEW BEST:: SOT 138189 SOS 13285 HAS SOPS 13285 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12615.285
AT ITER 445 NEW BEST:: SOT 138187 SOS 13283 HAS SOPS 13283 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12613.283
AT ITER 469 NEW BEST:: SOT 138175 SOS 13280 HAS SOPS 13280 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12609.28
AT ITER 472 NEW BEST:: SOT 138175 SOS 13271 HAS SOPS 13271 HAS SOUS 12588 HAS SOUPS 12588 WITH SCORE 12601.271
AT ITER 526 NEW BEST:: SOT 138175 SOS 13271 HAS SOPS 13271 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12595.271
AT ITER 628 NEW BEST:: SOT 138171 SOS 13266 HAS SOPS 13266 HAS SOUS 12577 HAS SOUPS 12577 WITH SCORE 12590.266
AT ITER 650 NEW BEST:: SOT 138171 SOS 13259 HAS SOPS 13259 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12583.259
AT ITER 671 NEW BEST:: SOT 138153 SOS 13229 HAS SOPS 13229 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12553.229
AT ITER 706 NEW BEST:: SOT 138161 SOS 13191 HAS SOPS 13191 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12553.191
AT ITER 711 NEW BEST:: SOT 138157 SOS 13189 HAS SOPS 13189 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12551.189
AT ITER 743 NEW BEST:: SOT 138157 SOS 13184 HAS SOPS 13184 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12551.184
AT ITER 849 NEW BEST:: SOT 138161 SOS 13180 HAS SOPS 13180 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12547.18
AT ITER 1022 NEW BEST:: SOT 138152 SOS 13170 HAS SOPS 13170 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12537.17
AT ITER 1099 NEW BEST:: SOT 138152 SOS 13172 HAS SOPS 13172 HAS SOUS 12522 HAS SOUPS 12522 WITH SCORE 12535.172
AT ITER 1145 NEW BEST:: SOT 138157 SOS 13164 HAS SOPS 13164 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12527.164
AT ITER 1199 NEW BEST:: SOT 138153 SOS 13156 HAS SOPS 13156 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12517.156
AT ITER 1248 NEW BEST:: SOT 138153 SOS 13153 HAS SOPS 13153 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12514.153
AT ITER 1253 NEW BEST:: SOT 138149 SOS 13145 HAS SOPS 13145 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12510.145
AT ITER 1279 NEW BEST:: SOT 138140 SOS 13136 HAS SOPS 13136 HAS SOUS 12468 HAS SOUPS 12468 WITH SCORE 12481.136
AT ITER 1334 NEW BEST:: SOT 138132 SOS 13118 HAS SOPS 13118 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12459.118
AT ITER 1377 NEW BEST:: SOT 138132 SOS 13115 HAS SOPS 13115 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12459.115
AT ITER 1399 NEW BEST:: SOT 138135 SOS 13154 HAS SOPS 13154 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12444.154
AT ITER 1485 NEW BEST:: SOT 138133 SOS 13150 HAS SOPS 13150 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12440.15
AT ITER 1515 NEW BEST:: SOT 138133 SOS 13149 HAS SOPS 13149 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12440.149
AT ITER 1533 NEW BEST:: SOT 138133 SOS 13146 HAS SOPS 13146 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12438.146
AT ITER 1630 NEW BEST:: SOT 138126 SOS 13138 HAS SOPS 13138 HAS SOUS 12417 HAS SOUPS 12417 WITH SCORE 12430.138
AT ITER 1670 NEW BEST:: SOT 138126 SOS 13137 HAS SOPS 13137 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12429.137
AT ITER 1702 NEW BEST:: SOT 138106 SOS 13119 HAS SOPS 13119 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12410.119
AT ITER 1864 NEW BEST:: SOT 138101 SOS 13116 HAS SOPS 13116 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12407.116
AT ITER 1915 NEW BEST:: SOT 138093 SOS 13084 HAS SOPS 13084 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12383.084
AT ITER 1989 NEW BEST:: SOT 138093 SOS 13080 HAS SOPS 13080 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12379.08
AT ITER 2023 NEW BEST:: SOT 138082 SOS 13100 HAS SOPS 13100 HAS SOUS 12353 HAS SOUPS 12353 WITH SCORE 12366.1
AT ITER 2070 NEW BEST:: SOT 138075 SOS 13086 HAS SOPS 13086 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12352.086
AT ITER 2081 NEW BEST:: SOT 138075 SOS 13083 HAS SOPS 13083 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12349.083
AT ITER 2136 NEW BEST:: SOT 138061 SOS 13082 HAS SOPS 13082 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12348.082
AT ITER 2161 NEW BEST:: SOT 138050 SOS 13071 HAS SOPS 13071 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12337.071
AT ITER 2194 NEW BEST:: SOT 138039 SOS 13045 HAS SOPS 13045 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12326.045
AT ITER 2199 NEW BEST:: SOT 138039 SOS 13045 HAS SOPS 13045 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12323.045
AT ITER 2284 NEW BEST:: SOT 138001 SOS 13069 HAS SOPS 13069 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12309.069
AT ITER 2360 NEW BEST:: SOT 138001 SOS 13066 HAS SOPS 13066 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12309.066
AT ITER 2368 NEW BEST:: SOT 137992 SOS 13060 HAS SOPS 13060 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12303.06
AT ITER 2377 NEW BEST:: SOT 137990 SOS 13058 HAS SOPS 13058 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12301.058
AT ITER 2406 NEW BEST:: SOT 137967 SOS 13037 HAS SOPS 13037 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.037
AT ITER 2564 NEW BEST:: SOT 137959 SOS 13022 HAS SOPS 13022 HAS SOUS 12227 HAS SOUPS 12227 WITH SCORE 12240.022
AT ITER 2594 NEW BEST:: SOT 137959 SOS 13022 HAS SOPS 13022 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12239.022
AT ITER 2606 NEW BEST:: SOT 137946 SOS 12982 HAS SOPS 12982 HAS SOUS 12213 HAS SOUPS 12213 WITH SCORE 12225.982
AT ITER 2623 NEW BEST:: SOT 137937 SOS 12981 HAS SOPS 12981 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12189.981
AT ITER 2639 NEW BEST:: SOT 137933 SOS 12975 HAS SOPS 12975 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12183.975
AT ITER 2661 NEW BEST:: SOT 137931 SOS 12970 HAS SOPS 12970 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12178.97
AT ITER 2742 NEW BEST:: SOT 137936 SOS 12925 HAS SOPS 12925 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12163.925
AT ITER 2747 NEW BEST:: SOT 137936 SOS 12919 HAS SOPS 12919 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12157.919
AT ITER 2750 NEW BEST:: SOT 137932 SOS 12917 HAS SOPS 12917 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12155.917
AT ITER 2827 NEW BEST:: SOT 137917 SOS 12908 HAS SOPS 12908 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12146.908
AT ITER 2840 NEW BEST:: SOT 137914 SOS 12877 HAS SOPS 12877 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12129.877
AT ITER 2882 NEW BEST:: SOT 137908 SOS 12873 HAS SOPS 12873 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12123.873
AT ITER 2903 NEW BEST:: SOT 137908 SOS 12873 HAS SOPS 12873 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12122.873
AT ITER 2958 NEW BEST:: SOT 137904 SOS 12866 HAS SOPS 12866 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12118.866
AT ITER 2978 NEW BEST:: SOT 137903 SOS 12868 HAS SOPS 12868 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12104.868
AT ITER 3000 NEW BEST:: SOT 137883 SOS 12858 HAS SOPS 12858 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12090.858
AT ITER 3086 NEW BEST:: SOT 137879 SOS 12857 HAS SOPS 12857 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12089.857
AT ITER 3221 NEW BEST:: SOT 137855 SOS 12857 HAS SOPS 12857 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12074.857
AT ITER 3237 NEW BEST:: SOT 137855 SOS 12853 HAS SOPS 12853 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12071.853
AT ITER 3367 NEW BEST:: SOT 137843 SOS 12876 HAS SOPS 12876 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12063.876
AT ITER 3420 NEW BEST:: SOT 137852 SOS 12873 HAS SOPS 12873 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12060.873
AT ITER 3500 NEW BEST:: SOT 137849 SOS 12866 HAS SOPS 12866 HAS SOUS 12035 HAS SOUPS 12035 WITH SCORE 12047.866
AT ITER 3525 NEW BEST:: SOT 137849 SOS 12861 HAS SOPS 12861 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12042.861
AT ITER 3532 NEW BEST:: SOT 137844 SOS 12856 HAS SOPS 12856 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12039.856
AT ITER 3547 NEW BEST:: SOT 137844 SOS 12856 HAS SOPS 12856 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12034.856
AT ITER 3639 NEW BEST:: SOT 137835 SOS 12838 HAS SOPS 12838 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12016.838
AT ITER 3715 NEW BEST:: SOT 137832 SOS 12836 HAS SOPS 12836 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12014.836
AT ITER 3734 NEW BEST:: SOT 137832 SOS 12835 HAS SOPS 12835 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12013.835
AT ITER 3762 NEW BEST:: SOT 137824 SOS 12827 HAS SOPS 12827 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12005.827
AT ITER 3770 NEW BEST:: SOT 137811 SOS 12825 HAS SOPS 12825 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12003.825
AT ITER 3859 NEW BEST:: SOT 137796 SOS 12822 HAS SOPS 12822 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12000.822
AT ITER 3869 NEW BEST:: SOT 137787 SOS 12813 HAS SOPS 12813 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 11996.813
AT ITER 3951 NEW BEST:: SOT 137810 SOS 12809 HAS SOPS 12809 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11969.809
AT ITER 3971 NEW BEST:: SOT 137810 SOS 12809 HAS SOPS 12809 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11966.809
AT ITER 4007 NEW BEST:: SOT 137797 SOS 12783 HAS SOPS 12783 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11942.783
AT ITER 4020 NEW BEST:: SOT 137791 SOS 12765 HAS SOPS 12765 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11930.765
AT ITER 4083 NEW BEST:: SOT 137791 SOS 12757 HAS SOPS 12757 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11922.757
AT ITER 4112 NEW BEST:: SOT 137782 SOS 12742 HAS SOPS 12742 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11905.742
AT ITER 4154 NEW BEST:: SOT 137782 SOS 12739 HAS SOPS 12739 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11902.739
AT ITER 4336 NEW BEST:: SOT 137776 SOS 12726 HAS SOPS 12726 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11889.726
AT ITER 4424 NEW BEST:: SOT 137765 SOS 12715 HAS SOPS 12715 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11878.715
AT ITER 4447 NEW BEST:: SOT 137747 SOS 12692 HAS SOPS 12692 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11849.692
AT ITER 4512 NEW BEST:: SOT 137744 SOS 12687 HAS SOPS 12687 HAS SOUS 11832 HAS SOUPS 11832 WITH SCORE 11844.687
AT ITER 4546 NEW BEST:: SOT 137744 SOS 12664 HAS SOPS 12664 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11834.664
AT ITER 4570 NEW BEST:: SOT 137741 SOS 12658 HAS SOPS 12658 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11825.658
AT ITER 4739 NEW BEST:: SOT 137731 SOS 12651 HAS SOPS 12651 HAS SOUS 11806 HAS SOUPS 11806 WITH SCORE 11818.651
AT ITER 4819 NEW BEST:: SOT 137720 SOS 12640 HAS SOPS 12640 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11807.64
AT ITER 4839 NEW BEST:: SOT 137727 SOS 12620 HAS SOPS 12620 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11791.62
AT ITER 4917 NEW BEST:: SOT 137727 SOS 12614 HAS SOPS 12614 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11785.614
AT ITER 4923 NEW BEST:: SOT 137722 SOS 12596 HAS SOPS 12596 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11775.596
AT ITER 4962 NEW BEST:: SOT 137719 SOS 12593 HAS SOPS 12593 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11766.593
Bounds file is: CTLFireability.xml
PROPERTY: DoubleExponent-PT-010-CTLFireability-00 ( ( ( ((potential((tk(P383)>=1)))) | ( ( ( ((potential((tk(P19)>=1)))) & ((potential((tk(P155)>=1)))) ) | (! ((potential((tk(P150)>=1))))) ) | (! ( ((potential((tk(P152)>=1)))) | ((potential((tk(P331)>=1)))) )) ) ) & (EF( ((potential((tk(P217)>=1)))))) ) | (EF( ( ( ((potential((tk(P318)>=1)))) | ( ((potential((tk(P103)>=1)))) | ((potential((tk(P173)>=1) & (tk(P186)>=1)))) ) ) | ( ( ((potential((tk(P256)>=1)))) | ((potential((tk(P61)>=1)))) ) & ( ((potential((tk(P366)>=1) & (tk(P406)>=1)))) & ((potential((tk(P533)>=1)))) ) ) ))) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-01 (EG( ( (! (! ( ((potential((tk(P67)>=1) & (tk(P523)>=1)))) & ((potential((tk(P385)>=1)))) ))) | (AF( ( ((potential((tk(P228)>=1)))) & ((potential((tk(P503)>=1)))) ))) )))
PROPERTY: DoubleExponent-PT-010-CTLFireability-02 ( ( (AX( ((potential((tk(P131)>=1) & (tk(P158)>=1)))))) | (EU( (! ((potential((tk(P407)>=1))))) , ( ((potential((tk(P412)>=1)))) | ((potential((tk(P43)>=1) & (tk(P125)>=1)))) ) )) ) & (AF( ((potential((tk(P70)>=1) & (tk(P175)>=1)))))) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-03 (EF( (EG( (AX( ((potential((tk(P11)>=1) & (tk(P117)>=1))))))))))
PROPERTY: DoubleExponent-PT-010-CTLFireability-04 ( ( (! (EX( ( ((potential((tk(P99)>=1)))) | ((potential((tk(P49)>=1) & (tk(P127)>=1)))) )))) | (EU( ( ((potential((tk(P220)>=1)))) & ((potential((tk(P478)>=1)))) ) , ( ((potential((tk(P198)>=1)))) & ((potential((tk(P422)>=1) & (tk(P459)>=1)))) ) )) ) & ( (EF( ( ( ((potential((tk(P438)>=1) & (tk(P455)>=1)))) & ((potential((tk(P349)>=1)))) ) | ( ((potential((tk(P342)>=1)))) | ((potential((tk(P394)>=1)))) ) ))) | (AX( (EX( ((potential((tk(P471)>=1)))))))) ) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-05 (AF( (EG( ( ( ((potential((tk(P328)>=1)))) | ((potential((tk(P306)>=1) & (tk(P413)>=1)))) ) & ((potential((tk(P71)>=1) & (tk(P92)>=1)))) )))))
PROPERTY: DoubleExponent-PT-010-CTLFireability-06 (EU( (! (AF( ((potential((tk(P516)>=1))))))) , (AU( ((potential((tk(P520)>=1)))) , ((potential((tk(P93)>=1)))) )) ))
PROPERTY: DoubleExponent-PT-010-CTLFireability-07 (EF( ( ((potential((tk(P464)>=1)))) | (EU( ((potential((tk(P306)>=1) & (tk(P327)>=1)))) , ((potential((tk(P274)>=1)))) )) )))
PROPERTY: DoubleExponent-PT-010-CTLFireability-08 ( ( ( ( (EG( ((potential((tk(P214)>=1)))))) | (! ((potential((tk(P161)>=1) & (tk(P242)>=1))))) ) & ( ( ( ((potential((tk(P315)>=1)))) & ((potential((tk(P187)>=1) & (tk(P222)>=1)))) ) | ( ((potential((tk(P261)>=1)))) | ((potential((tk(P2)>=1) & (tk(P534)>=1)))) ) ) | ((potential((tk(P72)>=1) & (tk(P111)>=1)))) ) ) | (EF( ((potential((tk(P221)>=1)))))) ) & ( (EX( ( ((potential((tk(P519)>=1)))) & (! ((potential((tk(P147)>=1) & (tk(P166)>=1))))) ))) | (EF( (! (! ((potential((tk(P238)>=1)))))))) ) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-09 ( ((potential((tk(P343)>=1) & (tk(P420)>=1)))) | (! ( (AG( ((potential((tk(P267)>=1)))))) | (AF( ((potential((tk(P279)>=1)))))) )) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-10 ( (! (EU( ( ((potential((tk(P416)>=1)))) & ((potential((tk(P16)>=1) & (tk(P37)>=1)))) ) , ((potential((tk(P422)>=1) & (tk(P429)>=1)))) ))) & (EF( (EX( ( ((potential((tk(P94)>=1) & (tk(P183)>=1)))) & ((potential((tk(P100)>=1) & (tk(P128)>=1)))) ))))) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-11 (EU( (! ( ( ((potential((tk(P58)>=1) & (tk(P486)>=1)))) & ((potential((tk(P496)>=1)))) ) & ( ((potential((tk(P160)>=1) & (tk(P186)>=1)))) & ((potential((tk(P307)>=1) & (tk(P348)>=1)))) ) )) , ((potential((tk(P321)>=1)))) ))
PROPERTY: DoubleExponent-PT-010-CTLFireability-12 (EF( (! (AG( (! ((potential((tk(P286)>=1))))))))))
PROPERTY: DoubleExponent-PT-010-CTLFireability-13 ( (EF( ((potential((tk(P316)>=1)))))) | (AF( ((potential((tk(P248)>=1) & (tk(P354)>=1)))))) )
PROPERTY: DoubleExponent-PT-010-CTLFireability-14 (! (! (! ( (AF( ((potential((tk(P52)>=1)))))) | ((potential((tk(P70)>=1) & (tk(P175)>=1)))) ))))
PROPERTY: DoubleExponent-PT-010-CTLFireability-15 (AF( ( (EX( (! ((potential((tk(P463)>=1))))))) & (AU( ((potential((tk(P476)>=1)))) , ((potential((tk(P487)>=1) & (tk(P495)>=1)))) )) )))

BK_STOP 1589368275143

--------------------
content from stderr:

/home/mcc/BenchKit/bin/smart.sh: line 117: 372 Segmentation fault ${SMART} ${INPUT_SM}

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="DoubleExponent-PT-010"
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 DoubleExponent-PT-010, 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 r063-tajo-158922808000780"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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