About the Execution of Irma.full for BART-PT-030
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
590.200 | 45446.00 | 6267.00 | 218.20 | ???????????????? | normal |
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 22M
-rw-r--r-- 1 mcc users 952K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M 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 508K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 264K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 625K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 272K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 653K 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 1.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K 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 7.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is BART-PT-030, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-ebro-152646308100088
=====================================================================
--------------------
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-030-CTLFireability-00
FORMULA_NAME BART-PT-030-CTLFireability-01
FORMULA_NAME BART-PT-030-CTLFireability-02
FORMULA_NAME BART-PT-030-CTLFireability-03
FORMULA_NAME BART-PT-030-CTLFireability-04
FORMULA_NAME BART-PT-030-CTLFireability-05
FORMULA_NAME BART-PT-030-CTLFireability-06
FORMULA_NAME BART-PT-030-CTLFireability-07
FORMULA_NAME BART-PT-030-CTLFireability-08
FORMULA_NAME BART-PT-030-CTLFireability-09
FORMULA_NAME BART-PT-030-CTLFireability-10
FORMULA_NAME BART-PT-030-CTLFireability-11
FORMULA_NAME BART-PT-030-CTLFireability-12
FORMULA_NAME BART-PT-030-CTLFireability-13
FORMULA_NAME BART-PT-030-CTLFireability-14
FORMULA_NAME BART-PT-030-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526743355016
BK_STOP 1526743400462
--------------------
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-030 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': 798432, 'Memory': 3520.05, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola BART-PT-030...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
BART-PT-030: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
BART-PT-030: translating PT formula CTLFireability into LoLA format
===========================================================================================
syntax error
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ BART-PT-030 @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 1 (ignored)
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10230/65536 symbol table entries, 791 collisions
lola: preprocessing...
lola: finding significant places
lola: 4170 places, 6060 transitions, 3930 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3927 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-030-CTLFireability.task
lola: syntax error, unexpected end of file
lola: BART-PT-030-CTLFireability.task:1:30857 - error near ''
1 E((E(F(((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_21_5) OR FIREABLE(AtStation_22_5) OR FIREABLE(AtStation_23_5) OR FIREABLE(AtStation_24_5) OR FIREABLE(AtStation_25_5) OR FIREABLE(AtStation_26_5) OR FIREABLE(AtStation_27_5) OR FIREABLE(AtStation_28_5) OR FIREABLE(AtStation_29_5) OR FIREABLE(AtStation_30_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_21_6) OR FIREABLE(AtStation_22_6) OR FIREABLE(AtStation_23_6) OR FIREABLE(AtStation_24_6) OR FIREABLE(AtStation_25_6) OR FIREABLE(AtStation_26_6) OR FIREABLE(AtStation_27_6) OR FIREABLE(AtStation_28_6) OR FIREABLE(AtStation_29_6) OR FIREABLE(AtStation_30_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_21_7) OR FIREABLE(AtStation_22_7) OR FIREABLE(AtStation_23_7) OR FIREABLE(AtStation_24_7) OR FIREABLE(AtStation_25_7) OR FIREABLE(AtStation_26_7) OR FIREABLE(AtStation_27_7) OR FIREABLE(AtStation_28_7) OR FIREABLE(AtStation_29_7) OR FIREABLE(AtStation_30_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_21_8) OR FIREABLE(AtStation_22_8) OR FIREABLE(AtStation_23_8) OR FIREABLE(AtStation_24_8) OR FIREABLE(AtStation_25_8) OR FIREABLE(AtStation_26_8) OR FIREABLE(AtStation_27_8) OR FIREABLE(AtStation_28_8) OR FIREABLE(AtStation_29_8) OR FIREABLE(AtStation_30_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_21_9) OR FIREABLE(AtStation_22_9) OR FIREABLE(AtStation_23_9) OR FIREABLE(AtStation_24_9) OR FIREABLE(AtStation_25_9) OR FIREABLE(AtStation_26_9) OR FIREABLE(AtStation_27_9) OR FIREABLE(AtStation_28_9) OR FIREABLE(AtStation_29_9) OR FIREABLE(AtStation_30_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_21_10) OR FIREABLE(AtStation_22_10) OR FIREABLE(AtStation_23_10) OR FIREABLE(AtStation_24_10) OR FIREABLE(AtStation_25_10) OR FIREABLE(AtStation_26_10) OR FIREABLE(AtStation_27_10) OR FIREABLE(AtStation_28_10) OR FIREABLE(AtStation_29_10) OR FIREABLE(AtStation_30_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_21_11) OR FIREABLE(AtStation_22_11) OR FIREABLE(AtStation_23_11) OR FIREABLE(AtStation_24_11) OR FIREABLE(AtStation_25_11) OR FIREABLE(AtStation_26_11) OR FIREABLE(AtStation_27_11) OR FIREABLE(AtStation_28_11) OR FIREABLE(AtStation_29_11) OR FIREABLE(AtStation_30_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_21_12) OR FIREABLE(AtStation_22_12) OR FIREABLE(AtStation_23_12) OR FIREABLE(AtStation_24_12) OR FIREABLE(AtStation_25_12) OR FIREABLE(AtStation_26_12) OR FIREABLE(AtStation_27_12) OR FIREABLE(AtStation_28_12) OR FIREABLE(AtStation_29_12) OR FIREABLE(AtStation_30_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_21_13) OR FIREABLE(AtStation_22_13) OR FIREABLE(AtStation_23_13) OR FIREABLE(AtStation_24_13) OR FIREABLE(AtStation_25_13) OR FIREABLE(AtStation_26_13) OR FIREABLE(AtStation_27_13) OR FIREABLE(AtStation_28_13) OR FIREABLE(AtStation_29_13) OR FIREABLE(AtStation_30_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_21_14) OR FIREABLE(AtStation_22_14) OR FIREABLE(AtStation_23_14) OR FIREABLE(AtStation_24_14) OR FIREABLE(AtStation_25_14) OR FIREABLE(AtStation_26_14) OR FIREABLE(AtStation_27_14) OR FIREABLE(AtStation_28_14) OR FIREABLE(AtStation_29_14) OR FIREABLE(AtStation_30_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_21_15) OR FIREABLE(AtStation_22_15) OR FIREABLE(AtStation_23_15) OR FIREABLE(AtStation_24_15) OR FIREABLE(AtStation_25_15) OR FIREABLE(AtStation_26_15) OR FIREABLE(AtStation_27_15) OR FIREABLE(AtStation_28_15) OR FIREABLE(AtStation_29_15) OR FIREABLE(AtStation_30_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_21_16) OR FIREABLE(AtStation_22_16) OR FIREABLE(AtStation_23_16) OR FIREABLE(AtStation_24_16) OR FIREABLE(AtStation_25_16) OR FIREABLE(AtStation_26_16) OR FIREABLE(AtStation_27_16) OR FIREABLE(AtStation_28_16) OR FIREABLE(AtStation_29_16) OR FIREABLE(AtStation_30_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_21_17) OR FIREABLE(AtStation_22_17) OR FIREABLE(AtStation_23_17) OR FIREABLE(AtStation_24_17) OR FIREABLE(AtStation_25_17) OR FIREABLE(AtStation_26_17) OR FIREABLE(AtStation_27_17) OR FIREABLE(AtStation_28_17) OR FIREABLE(AtStation_29_17) OR FIREABLE(AtStation_30_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_21_18) OR FIREABLE(AtStation_22_18) OR FIREABLE(AtStation_23_18) OR FIREABLE(AtStation_24_18) OR FIREABLE(AtStation_25_18) OR FIREABLE(AtStation_26_18) OR FIREABLE(AtStation_27_18) OR FIREABLE(AtStation_28_18) OR FIREABLE(AtStation_29_18) OR FIREABLE(AtStation_30_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_21_19) OR FIREABLE(AtStation_22_19) OR FIREABLE(AtStation_23_19) OR FIREABLE(AtStation_24_19) OR FIREABLE(AtStation_25_19) OR FIREABLE(AtStation_26_19) OR FIREABLE(AtStation_27_19) OR FIREABLE(AtStation_28_19) OR FIREABLE(AtStation_29_19) OR FIREABLE(AtStation_30_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_21_20) OR FIREABLE(AtStation_22_20) OR FIREABLE(AtStation_23_20) OR FIREABLE(AtStation_24_20) OR FIREABLE(AtStation_25_20) OR FIREABLE(AtStation_26_20) OR FIREABLE(AtStation_27_20) OR FIREABLE(AtStation_28_20) OR FIREABLE(AtStation_29_20) OR FIREABLE(AtStation_30_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_21_21) OR FIREABLE(AtStation_22_21) OR FIREABLE(AtStation_23_21) OR FIREABLE(AtStation_24_21) OR FIREABLE(AtStation_25_21) OR FIREABLE(AtStation_26_21) OR FIREABLE(AtStation_27_21) OR FIREABLE(AtStation_28_21) OR FIREABLE(AtStation_29_21) OR FIREABLE(AtStation_30_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_21_22) OR FIREABLE(AtStation_22_22) OR FIREABLE(AtStation_23_22) OR FIREABLE(AtStation_24_22) OR FIREABLE(AtStation_25_22) OR FIREABLE(AtStation_26_22) OR FIREABLE(AtStation_27_22) OR FIREABLE(AtStation_28_22) OR FIREABLE(AtStation_29_22) OR FIREABLE(AtStation_30_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_21_23) OR FIREABLE(AtStation_22_23) OR FIREABLE(AtStation_23_23) OR FIREABLE(AtStation_24_23) OR FIREABLE(AtStation_25_23) OR FIREABLE(AtStation_26_23) OR FIREABLE(AtStation_27_23) OR FIREABLE(AtStation_28_23) OR FIREABLE(AtStation_29_23) OR FIREABLE(AtStation_30_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_21_24) OR FIREABLE(AtStation_22_24) OR FIREABLE(AtStation_23_24) OR FIREABLE(AtStation_24_24) OR FIREABLE(AtStation_25_24) OR FIREABLE(AtStation_26_24) OR FIREABLE(AtStation_27_24) OR FIREABLE(AtStation_28_24) OR FIREABLE(AtStation_29_24) OR FIREABLE(AtStation_30_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_21_25) OR FIREABLE(AtStation_22_25) OR FIREABLE(AtStation_23_25) OR FIREABLE(AtStation_24_25) OR FIREABLE(AtStation_25_25) OR FIREABLE(AtStation_26_25) OR FIREABLE(AtStation_27_25) OR FIREABLE(AtStation_28_25) OR FIREABLE(AtStation_29_25) OR FIREABLE(AtStation_30_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_21_26) OR FIREABLE(AtStation_22_26) OR FIREABLE(AtStation_23_26) OR FIREABLE(AtStation_24_26) OR FIREABLE(AtStation_25_26) OR FIREABLE(AtStation_26_26) OR FIREABLE(AtStation_27_26) OR FIREABLE(AtStation_28_26) OR FIREABLE(AtStation_29_26) OR FIREABLE(AtStation_30_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_21_27) OR FIREABLE(AtStation_22_27) OR FIREABLE(AtStation_23_27) OR FIREABLE(AtStation_24_27) OR FIREABLE(AtStation_25_27) OR FIREABLE(AtStation_26_27) OR FIREABLE(AtStation_27_27) OR FIREABLE(AtStation_28_27) OR FIREABLE(AtStation_29_27) OR FIREABLE(AtStation_30_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_21_28) OR FIREABLE(AtStation_22_28) OR FIREABLE(AtStation_23_28) OR FIREABLE(AtStation_24_28) OR FIREABLE(AtStation_25_28) OR FIREABLE(AtStation_26_28) OR FIREABLE(AtStation_27_28) OR FIREABLE(AtStation_28_28) OR FIREABLE(AtStation_29_28) OR FIREABLE(AtStation_30_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_21_29) OR FIREABLE(AtStation_22_29) OR FIREABLE(AtStation_23_29) OR FIREABLE(AtStation_24_29) OR FIREABLE(AtStation_25_29) OR FIREABLE(AtStation_26_29) OR FIREABLE(AtStation_27_29) OR FIREABLE(AtStation_28_29) OR FIREABLE(AtStation_29_29) OR FIREABLE(AtStation_30_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_21_30) OR FIREABLE(AtStation_22_30) OR FIREABLE(AtStation_23_30) OR FIREABLE(AtStation_24_30) OR FIREABLE(AtStation_25_30) OR FIREABLE(AtStation_26_30) OR FIREABLE(AtStation_27_30) OR FIREABLE(AtStation_28_30) OR FIREABLE(AtStation_29_30) OR FIREABLE(AtStation_30_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_21_31) OR FIREABLE(AtStation_22_31) OR FIREABLE(AtStation_23_31) OR FIREABLE(AtStation_24_31) OR FIREABLE(AtStation_25_31) OR FIREABLE(AtStation_26_31) OR FIREABLE(AtStation_27_31) OR FIREABLE(AtStation_28_31) OR FIREABLE(AtStation_29_31) OR FIREABLE(AtStation_30_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_21_32) OR FIREABLE(AtStation_22_32) OR FIREABLE(AtStation_23_32) OR FIREABLE(AtStation_24_32) OR FIREABLE(AtStation_25_32) OR FIREABLE(AtStation_26_32) OR FIREABLE(AtStation_27_32) OR FIREABLE(AtStation_28_32) OR FIREABLE(AtStation_29_32) OR FIREABLE(AtStation_30_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_21_33) OR FIREABLE(AtStation_22_33) OR FIREABLE(AtStation_23_33) OR FIREABLE(AtStation_24_33) OR FIREABLE(AtStation_25_33) OR FIREABLE(AtStation_26_33) OR FIREABLE(AtStation_27_33) OR FIREABLE(AtStation_28_33) OR FIREABLE(AtStation_29_33) OR FIREABLE(AtStation_30_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_21_34) OR FIREABLE(AtStation_22_34) OR FIREABLE(AtStation_23_34) OR FIREABLE(AtStation_24_34) OR FIREABLE(AtStation_25_34) OR FIREABLE(AtStation_26_34) OR FIREABLE(AtStation_27_34) OR FIREABLE(AtStation_28_34) OR FIREABLE(AtStation_29_34) OR FIREABLE(AtStation_30_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_21_35) OR FIREABLE(AtStation_22_35) OR FIREABLE(AtStation_23_35) OR FIREABLE(AtStation_24_35) OR FIREABLE(AtStation_25_35) OR FIREABLE(AtStation_26_35) OR FIREABLE(AtStation_27_35) OR FIREABLE(AtStation_28_35) OR FIREABLE(AtStation_29_35) OR FIREABLE(AtStation_30_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_21_36) OR FIREABLE(AtStation_22_36) OR FIREABLE(AtStation_23_36) OR FIREABLE(AtStation_24_36) OR FIREABLE(AtStation_25_36) OR FIREABLE(AtStation_26_36) OR FIREABLE(AtStation_27_36) OR FIREABLE(AtStation_28_36) OR FIREABLE(AtStation_29_36) OR FIREABLE(AtStation_30_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_21_37) OR FIREABLE(AtStation_22_37) OR FIREABLE(AtStation_23_37) OR FIREABLE(AtStation_24_37) OR FIREABLE(AtStation_25_37) OR FIREABLE(AtStation_26_37) OR FIREABLE(AtStation_27_37) OR FIREABLE(AtStation_28_37) OR FIREABLE(AtStation_29_37) OR FIREABLE(AtStation_30_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_21_38) OR FIREABLE(AtStation_22_38) OR FIREABLE(AtStation_23_38) OR FIREABLE(AtStation_24_38) OR FIREABLE(AtStation_25_38) OR FIREABLE(AtStation_26_38) OR FIREABLE(AtStation_27_38) OR FIREABLE(AtStation_28_38) OR FIREABLE(AtStation_29_38) OR FIREABLE(AtStation_30_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_21_39) OR FIREABLE(AtStation_22_39) OR FIREABLE(AtStation_23_39) OR FIREABLE(AtStation_24_39) OR FIREABLE(AtStation_25_39) OR FIREABLE(AtStation_26_39) OR FIREABLE(AtStation_27_39) OR FIREABLE(AtStation_28_39) OR FIREABLE(AtStation_29_39) OR FIREABLE(AtStation_30_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 FIREABLE(AtStation_21_40) OR FIREABLE(AtStation_22_40) OR FIREABLE(AtStation_23_40) OR FIREABLE(AtStation_24_40) OR FIREABLE(AtStation_25_40) OR FIREABLE(AtStation_26_40) OR FIREABLE(AtStation_27_40) OR FIREABLE(AtStation_28_40) OR FIREABLE(AtStation_29_40) OR FIREABLE(AtStation_30_40)) AND
^
lola: syntax error -- aborting [#01]
lola: see manual for a documentation of this error
FORMULA BART-PT-030-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-030-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 stderr -----
----- Finished stdout -----
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-030"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="irma4mcc-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-030.tgz
mv BART-PT-030 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 irma4mcc-full"
echo " Input is BART-PT-030, 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 r030-ebro-152646308100088"
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 '
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 ;