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.r207-tajo-159033470100852.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 ShieldRVs-PT-020B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100852
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 3.6K May 14 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.5K May 13 09:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 244K May 12 20:42 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 ShieldRVs-PT-020B-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-020B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590452723167

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 020B
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: 803 places, 903 transitions, 2880 arcs.
AT ITER 0 NEW BEST:: SOT 370424 SOS 37199 HAS SOPS 37199 HAS SOUS 30397 HAS SOUPS 30397 WITH SCORE 30434.199
AT ITER 14 NEW BEST:: SOT 370394 SOS 36999 HAS SOPS 36999 HAS SOUS 30355 HAS SOUPS 30355 WITH SCORE 30391.999
AT ITER 74 NEW BEST:: SOT 370439 SOS 36901 HAS SOPS 36901 HAS SOUS 30348 HAS SOUPS 30348 WITH SCORE 30384.901
AT ITER 317 NEW BEST:: SOT 370435 SOS 36812 HAS SOPS 36812 HAS SOUS 30317 HAS SOUPS 30317 WITH SCORE 30353.812
AT ITER 399 NEW BEST:: SOT 370417 SOS 36805 HAS SOPS 36805 HAS SOUS 30304 HAS SOUPS 30304 WITH SCORE 30340.805
AT ITER 609 NEW BEST:: SOT 370420 SOS 36799 HAS SOPS 36799 HAS SOUS 30298 HAS SOUPS 30298 WITH SCORE 30334.799
AT ITER 679 NEW BEST:: SOT 370421 SOS 36800 HAS SOPS 36800 HAS SOUS 30292 HAS SOUPS 30292 WITH SCORE 30328.8
AT ITER 690 NEW BEST:: SOT 370413 SOS 36794 HAS SOPS 36794 HAS SOUS 30282 HAS SOUPS 30282 WITH SCORE 30318.794
AT ITER 702 NEW BEST:: SOT 370385 SOS 36755 HAS SOPS 36755 HAS SOUS 30227 HAS SOUPS 30227 WITH SCORE 30263.755
AT ITER 725 NEW BEST:: SOT 370361 SOS 36727 HAS SOPS 36727 HAS SOUS 30199 HAS SOUPS 30199 WITH SCORE 30235.727
AT ITER 741 NEW BEST:: SOT 370317 SOS 36649 HAS SOPS 36649 HAS SOUS 30155 HAS SOUPS 30155 WITH SCORE 30191.649
AT ITER 873 NEW BEST:: SOT 370317 SOS 36648 HAS SOPS 36648 HAS SOUS 30154 HAS SOUPS 30154 WITH SCORE 30190.648
AT ITER 884 NEW BEST:: SOT 370300 SOS 36534 HAS SOPS 36534 HAS SOUS 30133 HAS SOUPS 30133 WITH SCORE 30169.534
AT ITER 906 NEW BEST:: SOT 370284 SOS 36518 HAS SOPS 36518 HAS SOUS 30117 HAS SOUPS 30117 WITH SCORE 30153.518
AT ITER 948 NEW BEST:: SOT 370270 SOS 36504 HAS SOPS 36504 HAS SOUS 30103 HAS SOUPS 30103 WITH SCORE 30139.504
AT ITER 1052 NEW BEST:: SOT 370264 SOS 36498 HAS SOPS 36498 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30133.498
AT ITER 1058 NEW BEST:: SOT 370237 SOS 36477 HAS SOPS 36477 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30106.477
AT ITER 1090 NEW BEST:: SOT 370237 SOS 36476 HAS SOPS 36476 HAS SOUS 30069 HAS SOUPS 30069 WITH SCORE 30105.476
AT ITER 1116 NEW BEST:: SOT 370229 SOS 36435 HAS SOPS 36435 HAS SOUS 30036 HAS SOUPS 30036 WITH SCORE 30072.435
AT ITER 1179 NEW BEST:: SOT 370237 SOS 36432 HAS SOPS 36432 HAS SOUS 30033 HAS SOUPS 30033 WITH SCORE 30069.432
AT ITER 1189 NEW BEST:: SOT 370245 SOS 36429 HAS SOPS 36429 HAS SOUS 30030 HAS SOUPS 30030 WITH SCORE 30066.429
AT ITER 1237 NEW BEST:: SOT 370240 SOS 36424 HAS SOPS 36424 HAS SOUS 30025 HAS SOUPS 30025 WITH SCORE 30061.424
AT ITER 1250 NEW BEST:: SOT 370228 SOS 36412 HAS SOPS 36412 HAS SOUS 30013 HAS SOUPS 30013 WITH SCORE 30049.412
AT ITER 1305 NEW BEST:: SOT 370226 SOS 36412 HAS SOPS 36412 HAS SOUS 30010 HAS SOUPS 30010 WITH SCORE 30046.412
AT ITER 1626 NEW BEST:: SOT 370193 SOS 36400 HAS SOPS 36400 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30023.4
AT ITER 1691 NEW BEST:: SOT 370191 SOS 36398 HAS SOPS 36398 HAS SOUS 29985 HAS SOUPS 29985 WITH SCORE 30021.398
AT ITER 1729 NEW BEST:: SOT 370191 SOS 36396 HAS SOPS 36396 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29997.396
AT ITER 1753 NEW BEST:: SOT 370158 SOS 36384 HAS SOPS 36384 HAS SOUS 29938 HAS SOUPS 29938 WITH SCORE 29974.384
AT ITER 1796 NEW BEST:: SOT 370153 SOS 36360 HAS SOPS 36360 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29972.36
AT ITER 1881 NEW BEST:: SOT 370153 SOS 36355 HAS SOPS 36355 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29972.355
AT ITER 1935 NEW BEST:: SOT 370121 SOS 36339 HAS SOPS 36339 HAS SOUS 29904 HAS SOUPS 29904 WITH SCORE 29940.339
AT ITER 1981 NEW BEST:: SOT 370121 SOS 36338 HAS SOPS 36338 HAS SOUS 29903 HAS SOUPS 29903 WITH SCORE 29939.338
AT ITER 2003 NEW BEST:: SOT 370121 SOS 36338 HAS SOPS 36338 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29938.338
AT ITER 2426 NEW BEST:: SOT 370120 SOS 36337 HAS SOPS 36337 HAS SOUS 29901 HAS SOUPS 29901 WITH SCORE 29937.337
AT ITER 2466 NEW BEST:: SOT 370082 SOS 36316 HAS SOPS 36316 HAS SOUS 29863 HAS SOUPS 29863 WITH SCORE 29899.316
AT ITER 2532 NEW BEST:: SOT 370080 SOS 36308 HAS SOPS 36308 HAS SOUS 29857 HAS SOUPS 29857 WITH SCORE 29893.308
AT ITER 2550 NEW BEST:: SOT 370070 SOS 36298 HAS SOPS 36298 HAS SOUS 29843 HAS SOUPS 29843 WITH SCORE 29879.298
AT ITER 2634 NEW BEST:: SOT 370070 SOS 36298 HAS SOPS 36298 HAS SOUS 29813 HAS SOUPS 29813 WITH SCORE 29849.298
AT ITER 2663 NEW BEST:: SOT 370064 SOS 36295 HAS SOPS 36295 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29844.295
AT ITER 2734 NEW BEST:: SOT 370048 SOS 36289 HAS SOPS 36289 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29758.289
AT ITER 2778 NEW BEST:: SOT 370023 SOS 36277 HAS SOPS 36277 HAS SOUS 29710 HAS SOUPS 29710 WITH SCORE 29746.277
AT ITER 2818 NEW BEST:: SOT 370003 SOS 36287 HAS SOPS 36287 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29726.287
AT ITER 2835 NEW BEST:: SOT 369994 SOS 36269 HAS SOPS 36269 HAS SOUS 29672 HAS SOUPS 29672 WITH SCORE 29708.269
AT ITER 2872 NEW BEST:: SOT 369994 SOS 36263 HAS SOPS 36263 HAS SOUS 29672 HAS SOUPS 29672 WITH SCORE 29708.263
AT ITER 2952 NEW BEST:: SOT 369948 SOS 36405 HAS SOPS 36405 HAS SOUS 29658 HAS SOUPS 29658 WITH SCORE 29694.405
AT ITER 3067 NEW BEST:: SOT 369912 SOS 36369 HAS SOPS 36369 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29658.369
AT ITER 3257 NEW BEST:: SOT 369899 SOS 36378 HAS SOPS 36378 HAS SOUS 29614 HAS SOUPS 29614 WITH SCORE 29650.378
AT ITER 3297 NEW BEST:: SOT 369880 SOS 36378 HAS SOPS 36378 HAS SOUS 29600 HAS SOUPS 29600 WITH SCORE 29636.378
AT ITER 3310 NEW BEST:: SOT 369875 SOS 36377 HAS SOPS 36377 HAS SOUS 29597 HAS SOUPS 29597 WITH SCORE 29633.377
AT ITER 3355 NEW BEST:: SOT 369859 SOS 36273 HAS SOPS 36273 HAS SOUS 29557 HAS SOUPS 29557 WITH SCORE 29593.273
AT ITER 3398 NEW BEST:: SOT 369859 SOS 36290 HAS SOPS 36290 HAS SOUS 29535 HAS SOUPS 29535 WITH SCORE 29571.29
AT ITER 3522 NEW BEST:: SOT 369854 SOS 36285 HAS SOPS 36285 HAS SOUS 29526 HAS SOUPS 29526 WITH SCORE 29562.285
AT ITER 3553 NEW BEST:: SOT 369854 SOS 36295 HAS SOPS 36295 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29552.295
AT ITER 3584 NEW BEST:: SOT 369816 SOS 36352 HAS SOPS 36352 HAS SOUS 29507 HAS SOUPS 29507 WITH SCORE 29543.352
AT ITER 3592 NEW BEST:: SOT 369816 SOS 36334 HAS SOPS 36334 HAS SOUS 29507 HAS SOUPS 29507 WITH SCORE 29543.334
AT ITER 3850 NEW BEST:: SOT 369821 SOS 36339 HAS SOPS 36339 HAS SOUS 29500 HAS SOUPS 29500 WITH SCORE 29536.339
AT ITER 3888 NEW BEST:: SOT 369805 SOS 36324 HAS SOPS 36324 HAS SOUS 29498 HAS SOUPS 29498 WITH SCORE 29534.324
AT ITER 3891 NEW BEST:: SOT 369803 SOS 36320 HAS SOPS 36320 HAS SOUS 29496 HAS SOUPS 29496 WITH SCORE 29532.32
AT ITER 4011 NEW BEST:: SOT 369807 SOS 36316 HAS SOPS 36316 HAS SOUS 29483 HAS SOUPS 29483 WITH SCORE 29519.316
AT ITER 4125 NEW BEST:: SOT 369753 SOS 36433 HAS SOPS 36433 HAS SOUS 29469 HAS SOUPS 29469 WITH SCORE 29505.433
AT ITER 4176 NEW BEST:: SOT 369767 SOS 36434 HAS SOPS 36434 HAS SOUS 29452 HAS SOUPS 29452 WITH SCORE 29488.434
AT ITER 4203 NEW BEST:: SOT 369767 SOS 36433 HAS SOPS 36433 HAS SOUS 29451 HAS SOUPS 29451 WITH SCORE 29487.433
AT ITER 4247 NEW BEST:: SOT 369757 SOS 36376 HAS SOPS 36376 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29477.376
AT ITER 4278 NEW BEST:: SOT 369757 SOS 36372 HAS SOPS 36372 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29477.372
AT ITER 4291 NEW BEST:: SOT 369741 SOS 36318 HAS SOPS 36318 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29457.318
AT ITER 4300 NEW BEST:: SOT 369738 SOS 36309 HAS SOPS 36309 HAS SOUS 29412 HAS SOUPS 29412 WITH SCORE 29448.309
AT ITER 4306 NEW BEST:: SOT 369738 SOS 36308 HAS SOPS 36308 HAS SOUS 29411 HAS SOUPS 29411 WITH SCORE 29447.308
AT ITER 4313 NEW BEST:: SOT 369737 SOS 36294 HAS SOPS 36294 HAS SOUS 29397 HAS SOUPS 29397 WITH SCORE 29433.294
AT ITER 4563 NEW BEST:: SOT 369741 SOS 36296 HAS SOPS 36296 HAS SOUS 29394 HAS SOUPS 29394 WITH SCORE 29430.296
AT ITER 4600 NEW BEST:: SOT 369738 SOS 36211 HAS SOPS 36211 HAS SOUS 29390 HAS SOUPS 29390 WITH SCORE 29426.211
AT ITER 4734 NEW BEST:: SOT 369737 SOS 36194 HAS SOPS 36194 HAS SOUS 29383 HAS SOUPS 29383 WITH SCORE 29419.194
AT ITER 4825 NEW BEST:: SOT 369734 SOS 36154 HAS SOPS 36154 HAS SOUS 29377 HAS SOUPS 29377 WITH SCORE 29413.154
AT ITER 4976 NEW BEST:: SOT 369727 SOS 36157 HAS SOPS 36157 HAS SOUS 29370 HAS SOUPS 29370 WITH SCORE 29406.157
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-020B-CTLFireability-00 (EU( ( ((potential((tk(P787)>=1) & (tk(P801)>=1)))) | ( (! ((potential((tk(P195)>=1))))) & (! ((potential((tk(P265)>=1))))) ) ) , (AX( ( ((potential((tk(P655)>=1)))) | ((potential((tk(P471)>=1)))) ))) ))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-01 (AF( ( ( ((potential((tk(P443)>=1)))) & ( ( ((potential((tk(P564)>=1) & (tk(P553)>=1) & (tk(P590)>=1)))) & ((potential((tk(P314)>=1) & (tk(P327)>=1)))) ) & ( ((potential((tk(P519)>=1)))) | ((potential((tk(P521)>=1)))) ) ) ) & ( (! ( ((potential((tk(P598)>=1)))) | ((potential((tk(P606)>=1) & (tk(P595)>=1) & (tk(P629)>=1)))) )) | (AG( ((potential((tk(P57)>=1) & (tk(P49)>=1) & (tk(P83)>=1)))))) ) )))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-02 (EG( (AF( ((potential((tk(P135)>=1))))))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-03 (AX( (AF( (EG( ((potential((tk(P81)>=1))))))))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-04 (EF( (EG( ( (! ((potential((tk(P531)>=1))))) & ( ((potential((tk(P412)>=1)))) | ((potential((tk(P290)>=1)))) ) )))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-05 ( ( ((potential((tk(P767)>=1)))) | ( (! (AF( ((potential((tk(P604)>=1))))))) | (EG( ((potential((tk(P353)>=1) & (tk(P366)>=1)))))) ) ) | ( ((potential((tk(P55)>=1)))) & ( (EF( ((potential((tk(P548)>=1) & (tk(P561)>=1)))))) | (! ( ( ((potential((tk(P599)>=1)))) | ((potential((tk(P172)>=1)))) ) & ( ((potential((tk(P84)>=1)))) | ((potential((tk(P625)>=1) & (tk(P619)>=1) & (tk(P633)>=1)))) ) )) ) ) )
PROPERTY: ShieldRVs-PT-020B-CTLFireability-06 (AF( (EG( ( ( ((potential((tk(P37)>=1)))) & ((potential((tk(P104)>=1)))) ) & ( ((potential((tk(P569)>=1)))) & ((potential((tk(P226)>=1)))) ) )))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-07 (AF( ( (! (! ((potential((tk(P398)>=1)))))) & ((potential((tk(P228)>=1)))) )))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-08 (! (EF( ((potential((tk(P340)>=1)))))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-09 (AF( ((potential((tk(P196)>=1) & (tk(P191)>=1) & (tk(P205)>=1))))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-10 ( (AU( (EF( ((potential((tk(P432)>=1)))))) , (AG( ((potential((tk(P643)>=1)))))) )) & (EF( (EG( ( ((potential((tk(P762)>=1) & (tk(P751)>=1) & (tk(P785)>=1)))) & ((potential((tk(P321)>=1)))) ))))) )
PROPERTY: ShieldRVs-PT-020B-CTLFireability-11 ( (AG( (! ( ( ((potential((tk(P404)>=1)))) & ((potential((tk(P34)>=1)))) ) & ( ((potential((tk(P353)>=1) & (tk(P366)>=1)))) | ((potential((tk(P151)>=1)))) ) )))) | (! (! (AU( ((potential((tk(P564)>=1) & (tk(P556)>=1) & (tk(P590)>=1)))) , ((potential((tk(P690)>=1)))) )))) )
PROPERTY: ShieldRVs-PT-020B-CTLFireability-12 ( ((potential((tk(P6)>=1)))) | (AG( (EF( ((potential((tk(P606)>=1) & (tk(P595)>=1) & (tk(P629)>=1)))))))) )
PROPERTY: ShieldRVs-PT-020B-CTLFireability-13 (AX( ( ((potential((tk(P645)>=1) & (tk(P631)>=1) & (tk(P668)>=1)))) | (AF( ((potential((tk(P789)>=1)))))) )))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-14 (! (EF( (EG( ( ((potential((tk(P547)>=1) & (tk(P542)>=1) & (tk(P555)>=1)))) | ((potential((tk(P297)>=1)))) ))))))
PROPERTY: ShieldRVs-PT-020B-CTLFireability-15 (EU( (EF( ( ((potential((tk(P730)>=1)))) & ((potential((tk(P145)>=1)))) ))) , (AF( ( ((potential((tk(P118)>=1) & (tk(P113)>=1) & (tk(P127)>=1)))) | ((potential((tk(P225)>=1) & (tk(P294)>=1) & (tk(P266)>=1)))) ))) ))

BK_STOP 1590456235009

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 475 Aborted ${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="ShieldRVs-PT-020B"
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 ShieldRVs-PT-020B, 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 r207-tajo-159033470100852"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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