Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 660K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 150K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 401K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 185K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 409K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 219K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 538K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 812K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 657K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 70K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 135K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.7M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is BART-PT-020, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-ebro-152646312100081
=====================================================================

--------------------
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 BART-PT-020-CTLFireability-00
FORMULA_NAME BART-PT-020-CTLFireability-01
FORMULA_NAME BART-PT-020-CTLFireability-02
FORMULA_NAME BART-PT-020-CTLFireability-03
FORMULA_NAME BART-PT-020-CTLFireability-04
FORMULA_NAME BART-PT-020-CTLFireability-05
FORMULA_NAME BART-PT-020-CTLFireability-06
FORMULA_NAME BART-PT-020-CTLFireability-07
FORMULA_NAME BART-PT-020-CTLFireability-08
FORMULA_NAME BART-PT-020-CTLFireability-09
FORMULA_NAME BART-PT-020-CTLFireability-10
FORMULA_NAME BART-PT-020-CTLFireability-11
FORMULA_NAME BART-PT-020-CTLFireability-12
FORMULA_NAME BART-PT-020-CTLFireability-13
FORMULA_NAME BART-PT-020-CTLFireability-14
FORMULA_NAME BART-PT-020-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1526991134082


BK_STOP 1526991180106

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-020 as instance name.
Using BART as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 1261022, 'Memory': 2865.39, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola BART-PT-020...
----- Start make prepare stderr -----

Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
BART-PT-020: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
BART-PT-020: translating PT formula CTLFireability into LoLA format
===========================================================================================
syntax error
make: [formulae] Error 1 (ignored)
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ BART-PT-020 @ 3540 seconds
make: [verify] Error 1 (ignored)
Makefile:222: recipe for target 'verify' failed
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6890/65536 symbol table entries, 581 collisions
lola: preprocessing...
lola: finding significant places
lola: 2850 places, 4040 transitions, 2620 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2647 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-020-CTLFireability.task
lola: syntax error, unexpected end of file
lola: BART-PT-020-CTLFireability.task:1:20988 - error near ''

1 ((NOT((NOT((FIREABLE(TrainStop_1) OR FIREABLE(TrainStop_2) OR FIREABLE(TrainStop_3) OR FIREABLE(TrainStop_4) OR FIREABLE(TrainStop_5) OR FIREABLE(TrainStop_6) OR FIREABLE(TrainStop_7) OR FIREABLE(TrainStop_8) OR FIREABLE(TrainStop_9) OR FIREABLE(TrainStop_10) OR FIREABLE(TrainStop_11) OR FIREABLE(TrainStop_12) OR FIREABLE(TrainStop_13) OR FIREABLE(TrainStop_14) OR FIREABLE(TrainStop_15) OR FIREABLE(TrainStop_16) OR FIREABLE(TrainStop_17) OR FIREABLE(TrainStop_18) OR FIREABLE(TrainStop_19) OR FIREABLE(TrainStop_20))) OR NOT(((FIREABLE(AtStation_1_5) OR FIREABLE(AtStation_2_5) OR FIREABLE(AtStation_3_5) OR FIREABLE(AtStation_4_5) OR FIREABLE(AtStation_5_5) OR FIREABLE(AtStation_6_5) OR FIREABLE(AtStation_7_5) OR FIREABLE(AtStation_8_5) OR FIREABLE(AtStation_9_5) OR FIREABLE(AtStation_10_5) OR FIREABLE(AtStation_11_5) OR FIREABLE(AtStation_12_5) OR FIREABLE(AtStation_13_5) OR FIREABLE(AtStation_14_5) OR FIREABLE(AtStation_15_5) OR FIREABLE(AtStation_16_5) OR FIREABLE(AtStation_17_5) OR FIREABLE(AtStation_18_5) OR FIREABLE(AtStation_19_5) OR FIREABLE(AtStation_20_5) OR FIREABLE(AtStation_1_6) OR FIREABLE(AtStation_2_6) OR FIREABLE(AtStation_3_6) OR FIREABLE(AtStation_4_6) OR FIREABLE(AtStation_5_6) OR FIREABLE(AtStation_6_6) OR FIREABLE(AtStation_7_6) OR FIREABLE(AtStation_8_6) OR FIREABLE(AtStation_9_6) OR FIREABLE(AtStation_10_6) OR FIREABLE(AtStation_11_6) OR FIREABLE(AtStation_12_6) OR FIREABLE(AtStation_13_6) OR FIREABLE(AtStation_14_6) OR FIREABLE(AtStation_15_6) OR FIREABLE(AtStation_16_6) OR FIREABLE(AtStation_17_6) OR FIREABLE(AtStation_18_6) OR FIREABLE(AtStation_19_6) OR FIREABLE(AtStation_20_6) OR FIREABLE(AtStation_1_7) OR FIREABLE(AtStation_2_7) OR FIREABLE(AtStation_3_7) OR FIREABLE(AtStation_4_7) OR FIREABLE(AtStation_5_7) OR FIREABLE(AtStation_6_7) OR FIREABLE(AtStation_7_7) OR FIREABLE(AtStation_8_7) OR FIREABLE(AtStation_9_7) OR FIREABLE(AtStation_10_7) OR FIREABLE(AtStation_11_7) OR FIREABLE(AtStation_12_7) OR FIREABLE(AtStation_13_7) OR FIREABLE(AtStation_14_7) OR FIREABLE(AtStation_15_7) OR FIREABLE(AtStation_16_7) OR FIREABLE(AtStation_17_7) OR FIREABLE(AtStation_18_7) OR FIREABLE(AtStation_19_7) OR FIREABLE(AtStation_20_7) OR FIREABLE(AtStation_1_8) OR FIREABLE(AtStation_2_8) OR FIREABLE(AtStation_3_8) OR FIREABLE(AtStation_4_8) OR FIREABLE(AtStation_5_8) OR FIREABLE(AtStation_6_8) OR FIREABLE(AtStation_7_8) OR FIREABLE(AtStation_8_8) OR FIREABLE(AtStation_9_8) OR FIREABLE(AtStation_10_8) OR FIREABLE(AtStation_11_8) OR FIREABLE(AtStation_12_8) OR FIREABLE(AtStation_13_8) OR FIREABLE(AtStation_14_8) OR FIREABLE(AtStation_15_8) OR FIREABLE(AtStation_16_8) OR FIREABLE(AtStation_17_8) OR FIREABLE(AtStation_18_8) OR FIREABLE(AtStation_19_8) OR FIREABLE(AtStation_20_8) OR FIREABLE(AtStation_1_9) OR FIREABLE(AtStation_2_9) OR FIREABLE(AtStation_3_9) OR FIREABLE(AtStation_4_9) OR FIREABLE(AtStation_5_9) OR FIREABLE(AtStation_6_9) OR FIREABLE(AtStation_7_9) OR FIREABLE(AtStation_8_9) OR FIREABLE(AtStation_9_9) OR FIREABLE(AtStation_10_9) OR FIREABLE(AtStation_11_9) OR FIREABLE(AtStation_12_9) OR FIREABLE(AtStation_13_9) OR FIREABLE(AtStation_14_9) OR FIREABLE(AtStation_15_9) OR FIREABLE(AtStation_16_9) OR FIREABLE(AtStation_17_9) OR FIREABLE(AtStation_18_9) OR FIREABLE(AtStation_19_9) OR FIREABLE(AtStation_20_9) OR FIREABLE(AtStation_1_10) OR FIREABLE(AtStation_2_10) OR FIREABLE(AtStation_3_10) OR FIREABLE(AtStation_4_10) OR FIREABLE(AtStation_5_10) OR FIREABLE(AtStation_6_10) OR FIREABLE(AtStation_7_10) OR FIREABLE(AtStation_8_10) OR FIREABLE(AtStation_9_10) OR FIREABLE(AtStation_10_10) OR FIREABLE(AtStation_11_10) OR FIREABLE(AtStation_12_10) OR FIREABLE(AtStation_13_10) OR FIREABLE(AtStation_14_10) OR FIREABLE(AtStation_15_10) OR FIREABLE(AtStation_16_10) OR FIREABLE(AtStation_17_10) OR FIREABLE(AtStation_18_10) OR FIREABLE(AtStation_19_10) OR FIREABLE(AtStation_20_10) OR FIREABLE(AtStation_1_11) OR FIREABLE(AtStation_2_11) OR FIREABLE(AtStation_3_11) OR FIREABLE(AtStation_4_11) OR FIREABLE(AtStation_5_11) OR FIREABLE(AtStation_6_11) OR FIREABLE(AtStation_7_11) OR FIREABLE(AtStation_8_11) OR FIREABLE(AtStation_9_11) OR FIREABLE(AtStation_10_11) OR FIREABLE(AtStation_11_11) OR FIREABLE(AtStation_12_11) OR FIREABLE(AtStation_13_11) OR FIREABLE(AtStation_14_11) OR FIREABLE(AtStation_15_11) OR FIREABLE(AtStation_16_11) OR FIREABLE(AtStation_17_11) OR FIREABLE(AtStation_18_11) OR FIREABLE(AtStation_19_11) OR FIREABLE(AtStation_20_11) OR FIREABLE(AtStation_1_12) OR FIREABLE(AtStation_2_12) OR FIREABLE(AtStation_3_12) OR FIREABLE(AtStation_4_12) OR FIREABLE(AtStation_5_12) OR FIREABLE(AtStation_6_12) OR FIREABLE(AtStation_7_12) OR FIREABLE(AtStation_8_12) OR FIREABLE(AtStation_9_12) OR FIREABLE(AtStation_10_12) OR FIREABLE(AtStation_11_12) OR FIREABLE(AtStation_12_12) OR FIREABLE(AtStation_13_12) OR FIREABLE(AtStation_14_12) OR FIREABLE(AtStation_15_12) OR FIREABLE(AtStation_16_12) OR FIREABLE(AtStation_17_12) OR FIREABLE(AtStation_18_12) OR FIREABLE(AtStation_19_12) OR FIREABLE(AtStation_20_12) OR FIREABLE(AtStation_1_13) OR FIREABLE(AtStation_2_13) OR FIREABLE(AtStation_3_13) OR FIREABLE(AtStation_4_13) OR FIREABLE(AtStation_5_13) OR FIREABLE(AtStation_6_13) OR FIREABLE(AtStation_7_13) OR FIREABLE(AtStation_8_13) OR FIREABLE(AtStation_9_13) OR FIREABLE(AtStation_10_13) OR FIREABLE(AtStation_11_13) OR FIREABLE(AtStation_12_13) OR FIREABLE(AtStation_13_13) OR FIREABLE(AtStation_14_13) OR FIREABLE(AtStation_15_13) OR FIREABLE(AtStation_16_13) OR FIREABLE(AtStation_17_13) OR FIREABLE(AtStation_18_13) OR FIREABLE(AtStation_19_13) OR FIREABLE(AtStation_20_13) OR FIREABLE(AtStation_1_14) OR FIREABLE(AtStation_2_14) OR FIREABLE(AtStation_3_14) OR FIREABLE(AtStation_4_14) OR FIREABLE(AtStation_5_14) OR FIREABLE(AtStation_6_14) OR FIREABLE(AtStation_7_14) OR FIREABLE(AtStation_8_14) OR FIREABLE(AtStation_9_14) OR FIREABLE(AtStation_10_14) OR FIREABLE(AtStation_11_14) OR FIREABLE(AtStation_12_14) OR FIREABLE(AtStation_13_14) OR FIREABLE(AtStation_14_14) OR FIREABLE(AtStation_15_14) OR FIREABLE(AtStation_16_14) OR FIREABLE(AtStation_17_14) OR FIREABLE(AtStation_18_14) OR FIREABLE(AtStation_19_14) OR FIREABLE(AtStation_20_14) OR FIREABLE(AtStation_1_15) OR FIREABLE(AtStation_2_15) OR FIREABLE(AtStation_3_15) OR FIREABLE(AtStation_4_15) OR FIREABLE(AtStation_5_15) OR FIREABLE(AtStation_6_15) OR FIREABLE(AtStation_7_15) OR FIREABLE(AtStation_8_15) OR FIREABLE(AtStation_9_15) OR FIREABLE(AtStation_10_15) OR FIREABLE(AtStation_11_15) OR FIREABLE(AtStation_12_15) OR FIREABLE(AtStation_13_15) OR FIREABLE(AtStation_14_15) OR FIREABLE(AtStation_15_15) OR FIREABLE(AtStation_16_15) OR FIREABLE(AtStation_17_15) OR FIREABLE(AtStation_18_15) OR FIREABLE(AtStation_19_15) OR FIREABLE(AtStation_20_15) OR FIREABLE(AtStation_1_16) OR FIREABLE(AtStation_2_16) OR FIREABLE(AtStation_3_16) OR FIREABLE(AtStation_4_16) OR FIREABLE(AtStation_5_16) OR FIREABLE(AtStation_6_16) OR FIREABLE(AtStation_7_16) OR FIREABLE(AtStation_8_16) OR FIREABLE(AtStation_9_16) OR FIREABLE(AtStation_10_16) OR FIREABLE(AtStation_11_16) OR FIREABLE(AtStation_12_16) OR FIREABLE(AtStation_13_16) OR FIREABLE(AtStation_14_16) OR FIREABLE(AtStation_15_16) OR FIREABLE(AtStation_16_16) OR FIREABLE(AtStation_17_16) OR FIREABLE(AtStation_18_16) OR FIREABLE(AtStation_19_16) OR FIREABLE(AtStation_20_16) OR FIREABLE(AtStation_1_17) OR FIREABLE(AtStation_2_17) OR FIREABLE(AtStation_3_17) OR FIREABLE(AtStation_4_17) OR FIREABLE(AtStation_5_17) OR FIREABLE(AtStation_6_17) OR FIREABLE(AtStation_7_17) OR FIREABLE(AtStation_8_17) OR FIREABLE(AtStation_9_17) OR FIREABLE(AtStation_10_17) OR FIREABLE(AtStation_11_17) OR FIREABLE(AtStation_12_17) OR FIREABLE(AtStation_13_17) OR FIREABLE(AtStation_14_17) OR FIREABLE(AtStation_15_17) OR FIREABLE(AtStation_16_17) OR FIREABLE(AtStation_17_17) OR FIREABLE(AtStation_18_17) OR FIREABLE(AtStation_19_17) OR FIREABLE(AtStation_20_17) OR FIREABLE(AtStation_1_18) OR FIREABLE(AtStation_2_18) OR FIREABLE(AtStation_3_18) OR FIREABLE(AtStation_4_18) OR FIREABLE(AtStation_5_18) OR FIREABLE(AtStation_6_18) OR FIREABLE(AtStation_7_18) OR FIREABLE(AtStation_8_18) OR FIREABLE(AtStation_9_18) OR FIREABLE(AtStation_10_18) OR FIREABLE(AtStation_11_18) OR FIREABLE(AtStation_12_18) OR FIREABLE(AtStation_13_18) OR FIREABLE(AtStation_14_18) OR FIREABLE(AtStation_15_18) OR FIREABLE(AtStation_16_18) OR FIREABLE(AtStation_17_18) OR FIREABLE(AtStation_18_18) OR FIREABLE(AtStation_19_18) OR FIREABLE(AtStation_20_18) OR FIREABLE(AtStation_1_19) OR FIREABLE(AtStation_2_19) OR FIREABLE(AtStation_3_19) OR FIREABLE(AtStation_4_19) OR FIREABLE(AtStation_5_19) OR FIREABLE(AtStation_6_19) OR FIREABLE(AtStation_7_19) OR FIREABLE(AtStation_8_19) OR FIREABLE(AtStation_9_19) OR FIREABLE(AtStation_10_19) OR FIREABLE(AtStation_11_19) OR FIREABLE(AtStation_12_19) OR FIREABLE(AtStation_13_19) OR FIREABLE(AtStation_14_19) OR FIREABLE(AtStation_15_19) OR FIREABLE(AtStation_16_19) OR FIREABLE(AtStation_17_19) OR FIREABLE(AtStation_18_19) OR FIREABLE(AtStation_19_19) OR FIREABLE(AtStation_20_19) OR FIREABLE(AtStation_1_20) OR FIREABLE(AtStation_2_20) OR FIREABLE(AtStation_3_20) OR FIREABLE(AtStation_4_20) OR FIREABLE(AtStation_5_20) OR FIREABLE(AtStation_6_20) OR FIREABLE(AtStation_7_20) OR FIREABLE(AtStation_8_20) OR FIREABLE(AtStation_9_20) OR FIREABLE(AtStation_10_20) OR FIREABLE(AtStation_11_20) OR FIREABLE(AtStation_12_20) OR FIREABLE(AtStation_13_20) OR FIREABLE(AtStation_14_20) OR FIREABLE(AtStation_15_20) OR FIREABLE(AtStation_16_20) OR FIREABLE(AtStation_17_20) OR FIREABLE(AtStation_18_20) OR FIREABLE(AtStation_19_20) OR FIREABLE(AtStation_20_20) OR FIREABLE(AtStation_1_21) OR FIREABLE(AtStation_2_21) OR FIREABLE(AtStation_3_21) OR FIREABLE(AtStation_4_21) OR FIREABLE(AtStation_5_21) OR FIREABLE(AtStation_6_21) OR FIREABLE(AtStation_7_21) OR FIREABLE(AtStation_8_21) OR FIREABLE(AtStation_9_21) OR FIREABLE(AtStation_10_21) OR FIREABLE(AtStation_11_21) OR FIREABLE(AtStation_12_21) OR FIREABLE(AtStation_13_21) OR FIREABLE(AtStation_14_21) OR FIREABLE(AtStation_15_21) OR FIREABLE(AtStation_16_21) OR FIREABLE(AtStation_17_21) OR FIREABLE(AtStation_18_21) OR FIREABLE(AtStation_19_21) OR FIREABLE(AtStation_20_21) OR FIREABLE(AtStation_1_22) OR FIREABLE(AtStation_2_22) OR FIREABLE(AtStation_3_22) OR FIREABLE(AtStation_4_22) OR FIREABLE(AtStation_5_22) OR FIREABLE(AtStation_6_22) OR FIREABLE(AtStation_7_22) OR FIREABLE(AtStation_8_22) OR FIREABLE(AtStation_9_22) OR FIREABLE(AtStation_10_22) OR FIREABLE(AtStation_11_22) OR FIREABLE(AtStation_12_22) OR FIREABLE(AtStation_13_22) OR FIREABLE(AtStation_14_22) OR FIREABLE(AtStation_15_22) OR FIREABLE(AtStation_16_22) OR FIREABLE(AtStation_17_22) OR FIREABLE(AtStation_18_22) OR FIREABLE(AtStation_19_22) OR FIREABLE(AtStation_20_22) OR FIREABLE(AtStation_1_23) OR FIREABLE(AtStation_2_23) OR FIREABLE(AtStation_3_23) OR FIREABLE(AtStation_4_23) OR FIREABLE(AtStation_5_23) OR FIREABLE(AtStation_6_23) OR FIREABLE(AtStation_7_23) OR FIREABLE(AtStation_8_23) OR FIREABLE(AtStation_9_23) OR FIREABLE(AtStation_10_23) OR FIREABLE(AtStation_11_23) OR FIREABLE(AtStation_12_23) OR FIREABLE(AtStation_13_23) OR FIREABLE(AtStation_14_23) OR FIREABLE(AtStation_15_23) OR FIREABLE(AtStation_16_23) OR FIREABLE(AtStation_17_23) OR FIREABLE(AtStation_18_23) OR FIREABLE(AtStation_19_23) OR FIREABLE(AtStation_20_23) OR FIREABLE(AtStation_1_24) OR FIREABLE(AtStation_2_24) OR FIREABLE(AtStation_3_24) OR FIREABLE(AtStation_4_24) OR FIREABLE(AtStation_5_24) OR FIREABLE(AtStation_6_24) OR FIREABLE(AtStation_7_24) OR FIREABLE(AtStation_8_24) OR FIREABLE(AtStation_9_24) OR FIREABLE(AtStation_10_24) OR FIREABLE(AtStation_11_24) OR FIREABLE(AtStation_12_24) OR FIREABLE(AtStation_13_24) OR FIREABLE(AtStation_14_24) OR FIREABLE(AtStation_15_24) OR FIREABLE(AtStation_16_24) OR FIREABLE(AtStation_17_24) OR FIREABLE(AtStation_18_24) OR FIREABLE(AtStation_19_24) OR FIREABLE(AtStation_20_24) OR FIREABLE(AtStation_1_25) OR FIREABLE(AtStation_2_25) OR FIREABLE(AtStation_3_25) OR FIREABLE(AtStation_4_25) OR FIREABLE(AtStation_5_25) OR FIREABLE(AtStation_6_25) OR FIREABLE(AtStation_7_25) OR FIREABLE(AtStation_8_25) OR FIREABLE(AtStation_9_25) OR FIREABLE(AtStation_10_25) OR FIREABLE(AtStation_11_25) OR FIREABLE(AtStation_12_25) OR FIREABLE(AtStation_13_25) OR FIREABLE(AtStation_14_25) OR FIREABLE(AtStation_15_25) OR FIREABLE(AtStation_16_25) OR FIREABLE(AtStation_17_25) OR FIREABLE(AtStation_18_25) OR FIREABLE(AtStation_19_25) OR FIREABLE(AtStation_20_25) OR FIREABLE(AtStation_1_26) OR FIREABLE(AtStation_2_26) OR FIREABLE(AtStation_3_26) OR FIREABLE(AtStation_4_26) OR FIREABLE(AtStation_5_26) OR FIREABLE(AtStation_6_26) OR FIREABLE(AtStation_7_26) OR FIREABLE(AtStation_8_26) OR FIREABLE(AtStation_9_26) OR FIREABLE(AtStation_10_26) OR FIREABLE(AtStation_11_26) OR FIREABLE(AtStation_12_26) OR FIREABLE(AtStation_13_26) OR FIREABLE(AtStation_14_26) OR FIREABLE(AtStation_15_26) OR FIREABLE(AtStation_16_26) OR FIREABLE(AtStation_17_26) OR FIREABLE(AtStation_18_26) OR FIREABLE(AtStation_19_26) OR FIREABLE(AtStation_20_26) OR FIREABLE(AtStation_1_27) OR FIREABLE(AtStation_2_27) OR FIREABLE(AtStation_3_27) OR FIREABLE(AtStation_4_27) OR FIREABLE(AtStation_5_27) OR FIREABLE(AtStation_6_27) OR FIREABLE(AtStation_7_27) OR FIREABLE(AtStation_8_27) OR FIREABLE(AtStation_9_27) OR FIREABLE(AtStation_10_27) OR FIREABLE(AtStation_11_27) OR FIREABLE(AtStation_12_27) OR FIREABLE(AtStation_13_27) OR FIREABLE(AtStation_14_27) OR FIREABLE(AtStation_15_27) OR FIREABLE(AtStation_16_27) OR FIREABLE(AtStation_17_27) OR FIREABLE(AtStation_18_27) OR FIREABLE(AtStation_19_27) OR FIREABLE(AtStation_20_27) OR FIREABLE(AtStation_1_28) OR FIREABLE(AtStation_2_28) OR FIREABLE(AtStation_3_28) OR FIREABLE(AtStation_4_28) OR FIREABLE(AtStation_5_28) OR FIREABLE(AtStation_6_28) OR FIREABLE(AtStation_7_28) OR FIREABLE(AtStation_8_28) OR FIREABLE(AtStation_9_28) OR FIREABLE(AtStation_10_28) OR FIREABLE(AtStation_11_28) OR FIREABLE(AtStation_12_28) OR FIREABLE(AtStation_13_28) OR FIREABLE(AtStation_14_28) OR FIREABLE(AtStation_15_28) OR FIREABLE(AtStation_16_28) OR FIREABLE(AtStation_17_28) OR FIREABLE(AtStation_18_28) OR FIREABLE(AtStation_19_28) OR FIREABLE(AtStation_20_28) OR FIREABLE(AtStation_1_29) OR FIREABLE(AtStation_2_29) OR FIREABLE(AtStation_3_29) OR FIREABLE(AtStation_4_29) OR FIREABLE(AtStation_5_29) OR FIREABLE(AtStation_6_29) OR FIREABLE(AtStation_7_29) OR FIREABLE(AtStation_8_29) OR FIREABLE(AtStation_9_29) OR FIREABLE(AtStation_10_29) OR FIREABLE(AtStation_11_29) OR FIREABLE(AtStation_12_29) OR FIREABLE(AtStation_13_29) OR FIREABLE(AtStation_14_29) OR FIREABLE(AtStation_15_29) OR FIREABLE(AtStation_16_29) OR FIREABLE(AtStation_17_29) OR FIREABLE(AtStation_18_29) OR FIREABLE(AtStation_19_29) OR FIREABLE(AtStation_20_29) OR FIREABLE(AtStation_1_30) OR FIREABLE(AtStation_2_30) OR FIREABLE(AtStation_3_30) OR FIREABLE(AtStation_4_30) OR FIREABLE(AtStation_5_30) OR FIREABLE(AtStation_6_30) OR FIREABLE(AtStation_7_30) OR FIREABLE(AtStation_8_30) OR FIREABLE(AtStation_9_30) OR FIREABLE(AtStation_10_30) OR FIREABLE(AtStation_11_30) OR FIREABLE(AtStation_12_30) OR FIREABLE(AtStation_13_30) OR FIREABLE(AtStation_14_30) OR FIREABLE(AtStation_15_30) OR FIREABLE(AtStation_16_30) OR FIREABLE(AtStation_17_30) OR FIREABLE(AtStation_18_30) OR FIREABLE(AtStation_19_30) OR FIREABLE(AtStation_20_30) OR FIREABLE(AtStation_1_31) OR FIREABLE(AtStation_2_31) OR FIREABLE(AtStation_3_31) OR FIREABLE(AtStation_4_31) OR FIREABLE(AtStation_5_31) OR FIREABLE(AtStation_6_31) OR FIREABLE(AtStation_7_31) OR FIREABLE(AtStation_8_31) OR FIREABLE(AtStation_9_31) OR FIREABLE(AtStation_10_31) OR FIREABLE(AtStation_11_31) OR FIREABLE(AtStation_12_31) OR FIREABLE(AtStation_13_31) OR FIREABLE(AtStation_14_31) OR FIREABLE(AtStation_15_31) OR FIREABLE(AtStation_16_31) OR FIREABLE(AtStation_17_31) OR FIREABLE(AtStation_18_31) OR FIREABLE(AtStation_19_31) OR FIREABLE(AtStation_20_31) OR FIREABLE(AtStation_1_32) OR FIREABLE(AtStation_2_32) OR FIREABLE(AtStation_3_32) OR FIREABLE(AtStation_4_32) OR FIREABLE(AtStation_5_32) OR FIREABLE(AtStation_6_32) OR FIREABLE(AtStation_7_32) OR FIREABLE(AtStation_8_32) OR FIREABLE(AtStation_9_32) OR FIREABLE(AtStation_10_32) OR FIREABLE(AtStation_11_32) OR FIREABLE(AtStation_12_32) OR FIREABLE(AtStation_13_32) OR FIREABLE(AtStation_14_32) OR FIREABLE(AtStation_15_32) OR FIREABLE(AtStation_16_32) OR FIREABLE(AtStation_17_32) OR FIREABLE(AtStation_18_32) OR FIREABLE(AtStation
_19_32) OR FIREABLE(AtStation_20_32) OR FIREABLE(AtStation_1_33) OR FIREABLE(AtStation_2_33) OR FIREABLE(AtStation_3_33) OR FIREABLE(AtStation_4_33) OR FIREABLE(AtStation_5_33) OR FIREABLE(AtStation_6_33) OR FIREABLE(AtStation_7_33) OR FIREABLE(AtStation_8_33) OR FIREABLE(AtStation_9_33) OR FIREABLE(AtStation_10_33) OR FIREABLE(AtStation_11_33) OR FIREABLE(AtStation_12_33) OR FIREABLE(AtStation_13_33) OR FIREABLE(AtStation_14_33) OR FIREABLE(AtStation_15_33) OR FIREABLE(AtStation_16_33) OR FIREABLE(AtStation_17_33) OR FIREABLE(AtStation_18_33) OR FIREABLE(AtStation_19_33) OR FIREABLE(AtStation_20_33) OR FIREABLE(AtStation_1_34) OR FIREABLE(AtStation_2_34) OR FIREABLE(AtStation_3_34) OR FIREABLE(AtStation_4_34) OR FIREABLE(AtStation_5_34) OR FIREABLE(AtStation_6_34) OR FIREABLE(AtStation_7_34) OR FIREABLE(AtStation_8_34) OR FIREABLE(AtStation_9_34) OR FIREABLE(AtStation_10_34) OR FIREABLE(AtStation_11_34) OR FIREABLE(AtStation_12_34) OR FIREABLE(AtStation_13_34) OR FIREABLE(AtStation_14_34) OR FIREABLE(AtStation_15_34) OR FIREABLE(AtStation_16_34) OR FIREABLE(AtStation_17_34) OR FIREABLE(AtStation_18_34) OR FIREABLE(AtStation_19_34) OR FIREABLE(AtStation_20_34) OR FIREABLE(AtStation_1_35) OR FIREABLE(AtStation_2_35) OR FIREABLE(AtStation_3_35) OR FIREABLE(AtStation_4_35) OR FIREABLE(AtStation_5_35) OR FIREABLE(AtStation_6_35) OR FIREABLE(AtStation_7_35) OR FIREABLE(AtStation_8_35) OR FIREABLE(AtStation_9_35) OR FIREABLE(AtStation_10_35) OR FIREABLE(AtStation_11_35) OR FIREABLE(AtStation_12_35) OR FIREABLE(AtStation_13_35) OR FIREABLE(AtStation_14_35) OR FIREABLE(AtStation_15_35) OR FIREABLE(AtStation_16_35) OR FIREABLE(AtStation_17_35) OR FIREABLE(AtStation_18_35) OR FIREABLE(AtStation_19_35) OR FIREABLE(AtStation_20_35) OR FIREABLE(AtStation_1_36) OR FIREABLE(AtStation_2_36) OR FIREABLE(AtStation_3_36) OR FIREABLE(AtStation_4_36) OR FIREABLE(AtStation_5_36) OR FIREABLE(AtStation_6_36) OR FIREABLE(AtStation_7_36) OR FIREABLE(AtStation_8_36) OR FIREABLE(AtStation_9_36) OR FIREABLE(AtStation_10_36) OR FIREABLE(AtStation_11_36) OR FIREABLE(AtStation_12_36) OR FIREABLE(AtStation_13_36) OR FIREABLE(AtStation_14_36) OR FIREABLE(AtStation_15_36) OR FIREABLE(AtStation_16_36) OR FIREABLE(AtStation_17_36) OR FIREABLE(AtStation_18_36) OR FIREABLE(AtStation_19_36) OR FIREABLE(AtStation_20_36) OR FIREABLE(AtStation_1_37) OR FIREABLE(AtStation_2_37) OR FIREABLE(AtStation_3_37) OR FIREABLE(AtStation_4_37) OR FIREABLE(AtStation_5_37) OR FIREABLE(AtStation_6_37) OR FIREABLE(AtStation_7_37) OR FIREABLE(AtStation_8_37) OR FIREABLE(AtStation_9_37) OR FIREABLE(AtStation_10_37) OR FIREABLE(AtStation_11_37) OR FIREABLE(AtStation_12_37) OR FIREABLE(AtStation_13_37) OR FIREABLE(AtStation_14_37) OR FIREABLE(AtStation_15_37) OR FIREABLE(AtStation_16_37) OR FIREABLE(AtStation_17_37) OR FIREABLE(AtStation_18_37) OR FIREABLE(AtStation_19_37) OR FIREABLE(AtStation_20_37) OR FIREABLE(AtStation_1_38) OR FIREABLE(AtStation_2_38) OR FIREABLE(AtStation_3_38) OR FIREABLE(AtStation_4_38) OR FIREABLE(AtStation_5_38) OR FIREABLE(AtStation_6_38) OR FIREABLE(AtStation_7_38) OR FIREABLE(AtStation_8_38) OR FIREABLE(AtStation_9_38) OR FIREABLE(AtStation_10_38) OR FIREABLE(AtStation_11_38) OR FIREABLE(AtStation_12_38) OR FIREABLE(AtStation_13_38) OR FIREABLE(AtStation_14_38) OR FIREABLE(AtStation_15_38) OR FIREABLE(AtStation_16_38) OR FIREABLE(AtStation_17_38) OR FIREABLE(AtStation_18_38) OR FIREABLE(AtStation_19_38) OR FIREABLE(AtStation_20_38) OR FIREABLE(AtStation_1_39) OR FIREABLE(AtStation_2_39) OR FIREABLE(AtStation_3_39) OR FIREABLE(AtStation_4_39) OR FIREABLE(AtStation_5_39) OR FIREABLE(AtStation_6_39) OR FIREABLE(AtStation_7_39) OR FIREABLE(AtStation_8_39) OR FIREABLE(AtStation_9_39) OR FIREABLE(AtStation_10_39) OR FIREABLE(AtStation_11_39) OR FIREABLE(AtStation_12_39) OR FIREABLE(AtStation_13_39) OR FIREABLE(AtStation_14_39) OR FIREABLE(AtStation_15_39) OR FIREABLE(AtStation_16_39) OR FIREABLE(AtStation_17_39) OR FIREABLE(AtStation_18_39) OR FIREABLE(AtStation_19_39) OR FIREABLE(AtStation_20_39) OR FIREABLE(AtStation_1_40) OR FIREABLE(AtStation_2_40) OR FIREABLE(AtStation_3_40) OR FIREABLE(AtStation_4_40) OR FIREABLE(AtStation_5_40) OR FIREABLE(AtStation_6_40) OR FIREABLE(AtStation_7_40) OR FIREABLE(AtStation_8_40) OR FIREABLE(AtStation_9_40) OR FIREABLE(AtStation_10_40) OR FIREABLE(AtStation_11_40) OR FIREABLE(AtStation_12_40) OR FIREABLE(AtStation_13_40) OR FIREABLE(AtStation_14_40) OR FIREABLE(AtStation_15_40) OR FIREABLE(AtStation_16_40) OR FIREABLE(AtStation_17_40) OR FIREABLE(AtStation_18_40) OR FIREABLE(AtStation_19_40) OR FIREABLE(AtStation_20_40)) OR
^

lola: syntax error -- aborting [#01]
lola: see manual for a documentation of this error
FORMULA BART-PT-020-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-020"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
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

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-020.tgz
mv BART-PT-020 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is BART-PT-020, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r034-ebro-152646312100081"
echo "====================================================================="
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
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 ;