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)
................
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is BridgeAndVehicles-COL-V20P10N10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672700094
=====================================================================

--------------------
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 BridgeAndVehicles-COL-V20P10N10-CTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1463590834315


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=68|T|=548|A|=4070
Time for unfolding: 0m 2.219sec

Net: BridgeAndVehicles_COL_V20P10N10
(NrP: 68 NrTr: 548 NrArc: 4070)

net check time: 0m 0.001sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.011sec

init dd package: 0m 7.326sec


RS generation: 1m20.702sec


-> reachability set: #nodes 318628 (3.2e+05) #states 6,732,570 (6)



starting MCC model checker
--------------------------

checking: EF [EG [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]
normalized: E [true U EG [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]

........................................................................................................................
EG iterations: 120
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 8m57.215sec

checking: AF [AG [[~ [IS_FIREABLE [liberation_A_constant]] & [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]
normalized: ~ [EG [E [true U ~ [[~ [IS_FIREABLE [liberation_A_constant]] & [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]]]


EG iterations: 0
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 2.230sec

checking: AF [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]] | IS_FIREABLE [autorisation_A_12_0]] | IS_FIREABLE [autorisation_A_13_0]] | IS_FIREABLE [autorisation_A_14_0]] | IS_FIREABLE [autorisation_A_15_0]] | IS_FIREABLE [autorisation_A_16_0]] | IS_FIREABLE [autorisation_A_17_0]] | IS_FIREABLE [autorisation_A_18_0]] | IS_FIREABLE [autorisation_A_19_0]] | IS_FIREABLE [autorisation_A_1_0]] | IS_FIREABLE [autorisation_A_20_0]] | IS_FIREABLE [autorisation_A_2_0]] | IS_FIREABLE [autorisation_A_3_0]] | IS_FIREABLE [autorisation_A_4_0]] | IS_FIREABLE [autorisation_A_5_0]] | IS_FIREABLE [autorisation_A_6_0]] | IS_FIREABLE [autorisation_A_7_0]] | IS_FIREABLE [autorisation_A_8_0]] | IS_FIREABLE [autorisation_A_9_0]]]
normalized: ~ [EG [~ [[IS_FIREABLE [autorisation_A_9_0] | [IS_FIREABLE [autorisation_A_8_0] | [IS_FIREABLE [autorisation_A_7_0] | [IS_FIREABLE [autorisation_A_6_0] | [IS_FIREABLE [autorisation_A_5_0] | [IS_FIREABLE [autorisation_A_4_0] | [IS_FIREABLE [autorisation_A_3_0] | [IS_FIREABLE [autorisation_A_2_0] | [IS_FIREABLE [autorisation_A_20_0] | [IS_FIREABLE [autorisation_A_1_0] | [IS_FIREABLE [autorisation_A_19_0] | [IS_FIREABLE [autorisation_A_18_0] | [IS_FIREABLE [autorisation_A_17_0] | [IS_FIREABLE [autorisation_A_16_0] | [IS_FIREABLE [autorisation_A_15_0] | [IS_FIREABLE [autorisation_A_14_0] | [IS_FIREABLE [autorisation_A_13_0] | [IS_FIREABLE [autorisation_A_12_0] | [IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]]]]]]]]]]]]]]]]]]]]]]]

........
before gc: list nodes free: 34778

after gc: idd nodes used:855374, unused:63144626; list nodes free:314092215
........................................................................................................
EG iterations: 112
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-4 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 3m42.396sec

checking: AF [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]] | IS_FIREABLE [autorisation_B_12_1]] | IS_FIREABLE [autorisation_B_13_1]] | IS_FIREABLE [autorisation_B_14_1]] | IS_FIREABLE [autorisation_B_15_1]] | IS_FIREABLE [autorisation_B_16_1]] | IS_FIREABLE [autorisation_B_17_1]] | IS_FIREABLE [autorisation_B_18_1]] | IS_FIREABLE [autorisation_B_19_1]] | IS_FIREABLE [autorisation_B_1_1]] | IS_FIREABLE [autorisation_B_20_1]] | IS_FIREABLE [autorisation_B_2_1]] | IS_FIREABLE [autorisation_B_3_1]] | IS_FIREABLE [autorisation_B_4_1]] | IS_FIREABLE [autorisation_B_5_1]] | IS_FIREABLE [autorisation_B_6_1]] | IS_FIREABLE [autorisation_B_7_1]] | IS_FIREABLE [autorisation_B_8_1]] | IS_FIREABLE [autorisation_B_9_1]]]
normalized: ~ [EG [~ [[IS_FIREABLE [autorisation_B_9_1] | [IS_FIREABLE [autorisation_B_8_1] | [IS_FIREABLE [autorisation_B_7_1] | [IS_FIREABLE [autorisation_B_6_1] | [IS_FIREABLE [autorisation_B_5_1] | [IS_FIREABLE [autorisation_B_4_1] | [IS_FIREABLE [autorisation_B_3_1] | [IS_FIREABLE [autorisation_B_2_1] | [IS_FIREABLE [autorisation_B_20_1] | [IS_FIREABLE [autorisation_B_1_1] | [IS_FIREABLE [autorisation_B_19_1] | [IS_FIREABLE [autorisation_B_18_1] | [IS_FIREABLE [autorisation_B_17_1] | [IS_FIREABLE [autorisation_B_16_1] | [IS_FIREABLE [autorisation_B_15_1] | [IS_FIREABLE [autorisation_B_14_1] | [IS_FIREABLE [autorisation_B_13_1] | [IS_FIREABLE [autorisation_B_12_1] | [IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]]]]]]]]]]]]]]]]]]]]]]]

........................................................................................
before gc: list nodes free: 1247964

after gc: idd nodes used:402185, unused:63597815; list nodes free:333474831
........................
EG iterations: 112
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-7 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 4m 6.582sec

checking: [EF [~ [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | ~ [IS_FIREABLE [liberation_B_constant]]]]] | IS_FIREABLE [liberation_A_constant]]
normalized: [IS_FIREABLE [liberation_A_constant] | E [true U ~ [[~ [IS_FIREABLE [liberation_B_constant]] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-5 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 1m23.825sec

checking: A [~ [AF [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]] U [EX [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]] & [~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]] & [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]]]]
normalized: [~ [EG [~ [[[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] & ~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]] & EX [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]] & ~ [E [~ [[[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] & ~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]] & EX [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]] U [~ [EG [~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]] & ~ [[[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] & ~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]] & EX [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]]]]

.........................................................................
EG iterations: 72
....
EG iterations: 2
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-3 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 4m24.737sec

checking: AX [~ [AF [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]] | IS_FIREABLE [autorisation_B_12_1]] | IS_FIREABLE [autorisation_B_13_1]] | IS_FIREABLE [autorisation_B_14_1]] | IS_FIREABLE [autorisation_B_15_1]] | IS_FIREABLE [autorisation_B_16_1]] | IS_FIREABLE [autorisation_B_17_1]] | IS_FIREABLE [autorisation_B_18_1]] | IS_FIREABLE [autorisation_B_19_1]] | IS_FIREABLE [autorisation_B_1_1]] | IS_FIREABLE [autorisation_B_20_1]] | IS_FIREABLE [autorisation_B_2_1]] | IS_FIREABLE [autorisation_B_3_1]] | IS_FIREABLE [autorisation_B_4_1]] | IS_FIREABLE [autorisation_B_5_1]] | IS_FIREABLE [autorisation_B_6_1]] | IS_FIREABLE [autorisation_B_7_1]] | IS_FIREABLE [autorisation_B_8_1]] | IS_FIREABLE [autorisation_B_9_1]] & [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]]]]]
normalized: ~ [EX [~ [EG [~ [[[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [autorisation_B_9_1] | [IS_FIREABLE [autorisation_B_8_1] | [IS_FIREABLE [autorisation_B_7_1] | [IS_FIREABLE [autorisation_B_6_1] | [IS_FIREABLE [autorisation_B_5_1] | [IS_FIREABLE [autorisation_B_4_1] | [IS_FIREABLE [autorisation_B_3_1] | [IS_FIREABLE [autorisation_B_2_1] | [IS_FIREABLE [autorisation_B_20_1] | [IS_FIREABLE [autorisation_B_1_1] | [IS_FIREABLE [autorisation_B_19_1] | [IS_FIREABLE [autorisation_B_18_1] | [IS_FIREABLE [autorisation_B_17_1] | [IS_FIREABLE [autorisation_B_16_1] | [IS_FIREABLE [autorisation_B_15_1] | [IS_FIREABLE [autorisation_B_14_1] | [IS_FIREABLE [autorisation_B_13_1] | [IS_FIREABLE [autorisation_B_12_1] | [IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]]]]]]]]]]]]]]]]]]]]]]]]]]

.
EG iterations: 1
.-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-2 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 9.657sec

checking: [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]] & ~ [AG [AX [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]]]]]
normalized: [E [true U EX [~ [[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]]]

.-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-9 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 3m23.039sec

checking: AF [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] & [[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]] | IS_FIREABLE [autorisation_B_12_1]] | IS_FIREABLE [autorisation_B_13_1]] | IS_FIREABLE [autorisation_B_14_1]] | IS_FIREABLE [autorisation_B_15_1]] | IS_FIREABLE [autorisation_B_16_1]] | IS_FIREABLE [autorisation_B_17_1]] | IS_FIREABLE [autorisation_B_18_1]] | IS_FIREABLE [autorisation_B_19_1]] | IS_FIREABLE [autorisation_B_1_1]] | IS_FIREABLE [autorisation_B_20_1]] | IS_FIREABLE [autorisation_B_2_1]] | IS_FIREABLE [autorisation_B_3_1]] | IS_FIREABLE [autorisation_B_4_1]] | IS_FIREABLE [autorisation_B_5_1]] | IS_FIREABLE [autorisation_B_6_1]] | IS_FIREABLE [autorisation_B_7_1]] | IS_FIREABLE [autorisation_B_8_1]] | IS_FIREABLE [autorisation_B_9_1]]]]
normalized: ~ [EG [~ [[[IS_FIREABLE [autorisation_B_9_1] | [IS_FIREABLE [autorisation_B_8_1] | [IS_FIREABLE [autorisation_B_7_1] | [IS_FIREABLE [autorisation_B_6_1] | [IS_FIREABLE [autorisation_B_5_1] | [IS_FIREABLE [autorisation_B_4_1] | [IS_FIREABLE [autorisation_B_3_1] | [IS_FIREABLE [autorisation_B_2_1] | [IS_FIREABLE [autorisation_B_20_1] | [IS_FIREABLE [autorisation_B_1_1] | [IS_FIREABLE [autorisation_B_19_1] | [IS_FIREABLE [autorisation_B_18_1] | [IS_FIREABLE [autorisation_B_17_1] | [IS_FIREABLE [autorisation_B_16_1] | [IS_FIREABLE [autorisation_B_15_1] | [IS_FIREABLE [autorisation_B_14_1] | [IS_FIREABLE [autorisation_B_13_1] | [IS_FIREABLE [autorisation_B_12_1] | [IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]

...........
EG iterations: 11
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 3.500sec

checking: E [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] U [~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]] & ~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]] | IS_FIREABLE [liberation_B_constant]]]]]
normalized: E [[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] U [~ [[IS_FIREABLE [liberation_B_constant] | [IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]]]] & ~ [[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]


before gc: list nodes free: 10713463

after gc: idd nodes used:885792, unused:63114208; list nodes free:331173588
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-6 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 3m51.489sec

checking: [[A [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | [[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]] | IS_FIREABLE [autorisation_A_12_0]] | IS_FIREABLE [autorisation_A_13_0]] | IS_FIREABLE [autorisation_A_14_0]] | IS_FIREABLE [autorisation_A_15_0]] | IS_FIREABLE [autorisation_A_16_0]] | IS_FIREABLE [autorisation_A_17_0]] | IS_FIREABLE [autorisation_A_18_0]] | IS_FIREABLE [autorisation_A_19_0]] | IS_FIREABLE [autorisation_A_1_0]] | IS_FIREABLE [autorisation_A_20_0]] | IS_FIREABLE [autorisation_A_2_0]] | IS_FIREABLE [autorisation_A_3_0]] | IS_FIREABLE [autorisation_A_4_0]] | IS_FIREABLE [autorisation_A_5_0]] | IS_FIREABLE [autorisation_A_6_0]] | IS_FIREABLE [autorisation_A_7_0]] | IS_FIREABLE [autorisation_A_8_0]] | IS_FIREABLE [autorisation_A_9_0]]] U [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]] | EG [~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]] | IS_FIREABLE [autorisation_A_12_0]] | IS_FIREABLE [autorisation_A_13_0]] | IS_FIREABLE [autorisation_A_14_0]] | IS_FIREABLE [autorisation_A_15_0]] | IS_FIREABLE [autorisation_A_16_0]] | IS_FIREABLE [autorisation_A_17_0]] | IS_FIREABLE [autorisation_A_18_0]] | IS_FIREABLE [autorisation_A_19_0]] | IS_FIREABLE [autorisation_A_1_0]] | IS_FIREABLE [autorisation_A_20_0]] | IS_FIREABLE [autorisation_A_2_0]] | IS_FIREABLE [autorisation_A_3_0]] | IS_FIREABLE [autorisation_A_4_0]] | IS_FIREABLE [autorisation_A_5_0]] | IS_FIREABLE [autorisation_A_6_0]] | IS_FIREABLE [autorisation_A_7_0]] | IS_FIREABLE [autorisation_A_8_0]] | IS_FIREABLE [autorisation_A_9_0]] | IS_FIREABLE [liberation_B_constant]]]]] & AX [AF [[IS_FIREABLE [liberation_B_constant] | IS_FIREABLE [liberation_B_constant]]]]]
normalized: [~ [EX [EG [~ [[IS_FIREABLE [liberation_B_constant] | IS_FIREABLE [liberation_B_constant]]]]]] & [EG [~ [[IS_FIREABLE [liberation_B_constant] | [IS_FIREABLE [autorisation_A_9_0] | [IS_FIREABLE [autorisation_A_8_0] | [IS_FIREABLE [autorisation_A_7_0] | [IS_FIREABLE [autorisation_A_6_0] | [IS_FIREABLE [autorisation_A_5_0] | [IS_FIREABLE [autorisation_A_4_0] | [IS_FIREABLE [autorisation_A_3_0] | [IS_FIREABLE [autorisation_A_2_0] | [IS_FIREABLE [autorisation_A_20_0] | [IS_FIREABLE [autorisation_A_1_0] | [IS_FIREABLE [autorisation_A_19_0] | [IS_FIREABLE [autorisation_A_18_0] | [IS_FIREABLE [autorisation_A_17_0] | [IS_FIREABLE [autorisation_A_16_0] | [IS_FIREABLE [autorisation_A_15_0] | [IS_FIREABLE [autorisation_A_14_0] | [IS_FIREABLE [autorisation_A_13_0] | [IS_FIREABLE [autorisation_A_12_0] | [IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]]]]]]]]]]]]]]]]]]]]]]] | [~ [EG [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]] & ~ [E [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]] U [~ [[[IS_FIREABLE [autorisation_A_9_0] | [IS_FIREABLE [autorisation_A_8_0] | [IS_FIREABLE [autorisation_A_7_0] | [IS_FIREABLE [autorisation_A_6_0] | [IS_FIREABLE [autorisation_A_5_0] | [IS_FIREABLE [autorisation_A_4_0] | [IS_FIREABLE [autorisation_A_3_0] | [IS_FIREABLE [autorisation_A_2_0] | [IS_FIREABLE [autorisation_A_20_0] | [IS_FIREABLE [autorisation_A_1_0] | [IS_FIREABLE [autorisation_A_19_0] | [IS_FIREABLE [autorisation_A_18_0] | [IS_FIREABLE [autorisation_A_17_0] | [IS_FIREABLE [autorisation_A_16_0] | [IS_FIREABLE [autorisation_A_15_0] | [IS_FIREABLE [autorisation_A_14_0] | [IS_FIREABLE [autorisation_A_13_0] | [IS_FIREABLE [autorisation_A_12_0] | [IS_FIREABLE [autorisation_A_10_0] | IS_FIREABLE [autorisation_A_11_0]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]] & ~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]]]]]

........................................................................................................................
EG iterations: 120
...............
before gc: list nodes free: 12701109

after gc: idd nodes used:936615, unused:63063385; list nodes free:330473802
................................
EG iterations: 47
................................................................................................................
EG iterations: 112
.-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-0 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 14m 0.736sec

checking: AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_B_10_0_0_1] | IS_FIREABLE [timeout_B_10_0_10_1]] | IS_FIREABLE [timeout_B_10_0_1_1]] | IS_FIREABLE [timeout_B_10_0_2_1]] | IS_FIREABLE [timeout_B_10_0_3_1]] | IS_FIREABLE [timeout_B_10_0_4_1]] | IS_FIREABLE [timeout_B_10_0_5_1]] | IS_FIREABLE [timeout_B_10_0_6_1]] | IS_FIREABLE [timeout_B_10_0_7_1]] | IS_FIREABLE [timeout_B_10_0_8_1]] | IS_FIREABLE [timeout_B_10_0_9_1]] | IS_FIREABLE [timeout_B_11_0_0_1]] | IS_FIREABLE [timeout_B_11_0_10_1]] | IS_FIREABLE [timeout_B_11_0_1_1]] | IS_FIREABLE [timeout_B_11_0_2_1]] | IS_FIREABLE [timeout_B_11_0_3_1]] | IS_FIREABLE [timeout_B_11_0_4_1]] | IS_FIREABLE [timeout_B_11_0_5_1]] | IS_FIREABLE [timeout_B_11_0_6_1]] | IS_FIREABLE [timeout_B_11_0_7_1]] | IS_FIREABLE [timeout_B_11_0_8_1]] | IS_FIREABLE [timeout_B_11_0_9_1]] | IS_FIREABLE [timeout_B_12_0_0_1]] | IS_FIREABLE [timeout_B_12_0_10_1]] | IS_FIREABLE [timeout_B_12_0_1_1]] | IS_FIREABLE [timeout_B_12_0_2_1]] | IS_FIREABLE [timeout_B_12_0_3_1]] | IS_FIREABLE [timeout_B_12_0_4_1]] | IS_FIREABLE [timeout_B_12_0_5_1]] | IS_FIREABLE [timeout_B_12_0_6_1]] | IS_FIREABLE [timeout_B_12_0_7_1]] | IS_FIREABLE [timeout_B_12_0_8_1]] | IS_FIREABLE [timeout_B_12_0_9_1]] | IS_FIREABLE [timeout_B_13_0_0_1]] | IS_FIREABLE [timeout_B_13_0_10_1]] | IS_FIREABLE [timeout_B_13_0_1_1]] | IS_FIREABLE [timeout_B_13_0_2_1]] | IS_FIREABLE [timeout_B_13_0_3_1]] | IS_FIREABLE [timeout_B_13_0_4_1]] | IS_FIREABLE [timeout_B_13_0_5_1]] | IS_FIREABLE [timeout_B_13_0_6_1]] | IS_FIREABLE [timeout_B_13_0_7_1]] | IS_FIREABLE [timeout_B_13_0_8_1]] | IS_FIREABLE [timeout_B_13_0_9_1]] | IS_FIREABLE [timeout_B_14_0_0_1]] | IS_FIREABLE [timeout_B_14_0_10_1]] | IS_FIREABLE [timeout_B_14_0_1_1]] | IS_FIREABLE [timeout_B_14_0_2_1]] | IS_FIREABLE [timeout_B_14_0_3_1]] | IS_FIREABLE [timeout_B_14_0_4_1]] | IS_FIREABLE [timeout_B_14_0_5_1]] | IS_FIREABLE [timeout_B_14_0_6_1]] | IS_FIREABLE [timeout_B_14_0_7_1]] | IS_FIREABLE [timeout_B_14_0_8_1]] | IS_FIREABLE [timeout_B_14_0_9_1]] | IS_FIREABLE [timeout_B_15_0_0_1]] | IS_FIREABLE [timeout_B_15_0_10_1]] | IS_FIREABLE [timeout_B_15_0_1_1]] | IS_FIREABLE [timeout_B_15_0_2_1]] | IS_FIREABLE [timeout_B_15_0_3_1]] | IS_FIREABLE [timeout_B_15_0_4_1]] | IS_FIREABLE [timeout_B_15_0_5_1]] | IS_FIREABLE [timeout_B_15_0_6_1]] | IS_FIREABLE [timeout_B_15_0_7_1]] | IS_FIREABLE [timeout_B_15_0_8_1]] | IS_FIREABLE [timeout_B_15_0_9_1]] | IS_FIREABLE [timeout_B_16_0_0_1]] | IS_FIREABLE [timeout_B_16_0_10_1]] | IS_FIREABLE [timeout_B_16_0_1_1]] | IS_FIREABLE [timeout_B_16_0_2_1]] | IS_FIREABLE [timeout_B_16_0_3_1]] | IS_FIREABLE [timeout_B_16_0_4_1]] | IS_FIREABLE [timeout_B_16_0_5_1]] | IS_FIREABLE [timeout_B_16_0_6_1]] | IS_FIREABLE [timeout_B_16_0_7_1]] | IS_FIREABLE [timeout_B_16_0_8_1]] | IS_FIREABLE [timeout_B_16_0_9_1]] | IS_FIREABLE [timeout_B_17_0_0_1]] | IS_FIREABLE [timeout_B_17_0_10_1]] | IS_FIREABLE [timeout_B_17_0_1_1]] | IS_FIREABLE [timeout_B_17_0_2_1]] | IS_FIREABLE [timeout_B_17_0_3_1]] | IS_FIREABLE [timeout_B_17_0_4_1]] | IS_FIREABLE [timeout_B_17_0_5_1]] | IS_FIREABLE [timeout_B_17_0_6_1]] | IS_FIREABLE [timeout_B_17_0_7_1]] | IS_FIREABLE [timeout_B_17_0_8_1]] | IS_FIREABLE [timeout_B_17_0_9_1]] | IS_FIREABLE [timeout_B_18_0_0_1]] | IS_FIREABLE [timeout_B_18_0_10_1]] | IS_FIREABLE [timeout_B_18_0_1_1]] | IS_FIREABLE [timeout_B_18_0_2_1]] | IS_FIREABLE [timeout_B_18_0_3_1]] | IS_FIREABLE [timeout_B_18_0_4_1]] | IS_FIREABLE [timeout_B_18_0_5_1]] | IS_FIREABLE [timeout_B_18_0_6_1]] | IS_FIREABLE [timeout_B_18_0_7_1]] | IS_FIREABLE [timeout_B_18_0_8_1]] | IS_FIREABLE [timeout_B_18_0_9_1]] | IS_FIREABLE [timeout_B_19_0_0_1]] | IS_FIREABLE [timeout_B_19_0_10_1]] | IS_FIREABLE [timeout_B_19_0_1_1]] | IS_FIREABLE [timeout_B_19_0_2_1]] | IS_FIREABLE [timeout_B_19_0_3_1]] | IS_FIREABLE [timeout_B_19_0_4_1]] | IS_FIREABLE [timeout_B_19_0_5_1]] | IS_FIREABLE [timeout_B_19_0_6_1]] | IS_FIREABLE [timeout_B_19_0_7_1]] | IS_FIREABLE [timeout_B_19_0_8_1]] | IS_FIREABLE [timeout_B_19_0_9_1]] | IS_FIREABLE [timeout_B_1_0_0_1]] | IS_FIREABLE [timeout_B_1_0_10_1]] | IS_FIREABLE [timeout_B_1_0_1_1]] | IS_FIREABLE [timeout_B_1_0_2_1]] | IS_FIREABLE [timeout_B_1_0_3_1]] | IS_FIREABLE [timeout_B_1_0_4_1]] | IS_FIREABLE [timeout_B_1_0_5_1]] | IS_FIREABLE [timeout_B_1_0_6_1]] | IS_FIREABLE [timeout_B_1_0_7_1]] | IS_FIREABLE [timeout_B_1_0_8_1]] | IS_FIREABLE [timeout_B_1_0_9_1]] | IS_FIREABLE [timeout_B_20_0_0_1]] | IS_FIREABLE [timeout_B_20_0_10_1]] | IS_FIREABLE [timeout_B_20_0_1_1]] | IS_FIREABLE [timeout_B_20_0_2_1]] | IS_FIREABLE [timeout_B_20_0_3_1]] | IS_FIREABLE [timeout_B_20_0_4_1]] | IS_FIREABLE [timeout_B_20_0_5_1]] | IS_FIREABLE [timeout_B_20_0_6_1]] | IS_FIREABLE [timeout_B_20_0_7_1]] | IS_FIREABLE [timeout_B_20_0_8_1]] | IS_FIREABLE [timeout_B_20_0_9_1]] | IS_FIREABLE [timeout_B_2_0_0_1]] | IS_FIREABLE [timeout_B_2_0_10_1]] | IS_FIREABLE [timeout_B_2_0_1_1]] | IS_FIREABLE [timeout_B_2_0_2_1]] | IS_FIREABLE [timeout_B_2_0_3_1]] | IS_FIREABLE [timeout_B_2_0_4_1]] | IS_FIREABLE [timeout_B_2_0_5_1]] | IS_FIREABLE [timeout_B_2_0_6_1]] | IS_FIREABLE [timeout_B_2_0_7_1]] | IS_FIREABLE [timeout_B_2_0_8_1]] | IS_FIREABLE [timeout_B_2_0_9_1]] | IS_FIREABLE [timeout_B_3_0_0_1]] | IS_FIREABLE [timeout_B_3_0_10_1]] | IS_FIREABLE [timeout_B_3_0_1_1]] | IS_FIREABLE [timeout_B_3_0_2_1]] | IS_FIREABLE [timeout_B_3_0_3_1]] | IS_FIREABLE [timeout_B_3_0_4_1]] | IS_FIREABLE [timeout_B_3_0_5_1]] | IS_FIREABLE [timeout_B_3_0_6_1]] | IS_FIREABLE [timeout_B_3_0_7_1]] | IS_FIREABLE [timeout_B_3_0_8_1]] | IS_FIREABLE [timeout_B_3_0_9_1]] | IS_FIREABLE [timeout_B_4_0_0_1]] | IS_FIREABLE [timeout_B_4_0_10_1]] | IS_FIREABLE [timeout_B_4_0_1_1]] | IS_FIREABLE [timeout_B_4_0_2_1]] | IS_FIREABLE [timeout_B_4_0_3_1]] | IS_FIREABLE [timeout_B_4_0_4_1]] | IS_FIREABLE [timeout_B_4_0_5_1]] | IS_FIREABLE [timeout_B_4_0_6_1]] | IS_FIREABLE [timeout_B_4_0_7_1]] | IS_FIREABLE [timeout_B_4_0_8_1]] | IS_FIREABLE [timeout_B_4_0_9_1]] | IS_FIREABLE [timeout_B_5_0_0_1]] | IS_FIREABLE [timeout_B_5_0_10_1]] | IS_FIREABLE [timeout_B_5_0_1_1]] | IS_FIREABLE [timeout_B_5_0_2_1]] | IS_FIREABLE [timeout_B_5_0_3_1]] | IS_FIREABLE [timeout_B_5_0_4_1]] | IS_FIREABLE [timeout_B_5_0_5_1]] | IS_FIREABLE [timeout_B_5_0_6_1]] | IS_FIREABLE [timeout_B_5_0_7_1]] | IS_FIREABLE [timeout_B_5_0_8_1]] | IS_FIREABLE [timeout_B_5_0_9_1]] | IS_FIREABLE [timeout_B_6_0_0_1]] | IS_FIREABLE [timeout_B_6_0_10_1]] | IS_FIREABLE [timeout_B_6_0_1_1]] | IS_FIREABLE [timeout_B_6_0_2_1]] | IS_FIREABLE [timeout_B_6_0_3_1]] | IS_FIREABLE [timeout_B_6_0_4_1]] | IS_FIREABLE [timeout_B_6_0_5_1]] | IS_FIREABLE [timeout_B_6_0_6_1]] | IS_FIREABLE [timeout_B_6_0_7_1]] | IS_FIREABLE [timeout_B_6_0_8_1]] | IS_FIREABLE [timeout_B_6_0_9_1]] | IS_FIREABLE [timeout_B_7_0_0_1]] | IS_FIREABLE [timeout_B_7_0_10_1]] | IS_FIREABLE [timeout_B_7_0_1_1]] | IS_FIREABLE [timeout_B_7_0_2_1]] | IS_FIREABLE [timeout_B_7_0_3_1]] | IS_FIREABLE [timeout_B_7_0_4_1]] | IS_FIREABLE [timeout_B_7_0_5_1]] | IS_FIREABLE [timeout_B_7_0_6_1]] | IS_FIREABLE [timeout_B_7_0_7_1]] | IS_FIREABLE [timeout_B_7_0_8_1]] | IS_FIREABLE [timeout_B_7_0_9_1]] | IS_FIREABLE [timeout_B_8_0_0_1]] | IS_FIREABLE [timeout_B_8_0_10_1]] | IS_FIREABLE [timeout_B_8_0_1_1]] | IS_FIREABLE [timeout_B_8_0_2_1]] | IS_FIREABLE [timeout_B_8_0_3_1]] | IS_FIREABLE [timeout_B_8_0_4_1]] | IS_FIREABLE [timeout_B_8_0_5_1]] | IS_FIREABLE [timeout_B_8_0_6_1]] | IS_FIREABLE [timeout_B_8_0_7_1]] | IS_FIREABLE [timeout_B_8_0_8_1]] | IS_FIREABLE [timeout_B_8_0_9_1]] | IS_FIREABLE [timeout_B_9_0_0_1]] | IS_FIREABLE [timeout_B_9_0_10_1]] | IS_FIREABLE [timeout_B_9_0_1_1]] | IS_FIREABLE [timeout_B_9_0_2_1]] | IS_FIREABLE [timeout_B_9_0_3_1]] | IS_FIREABLE [timeout_B_9_0_4_1]] | IS_FIREABLE [timeout_B_9_0_5_1]] | IS_FIREABLE [timeout_B_9_0_6_1]] | IS_FIREABLE [timeout_B_9_0_7_1]] | IS_FIREABLE [timeout_B_9_0_8_1]] | IS_FIREABLE [timeout_B_9_0_9_1]]]
normalized: ~ [EG [~ [[IS_FIREABLE [timeout_B_9_0_9_1] | [IS_FIREABLE [timeout_B_9_0_8_1] | [IS_FIREABLE [timeout_B_9_0_7_1] | [IS_FIREABLE [timeout_B_9_0_6_1] | [IS_FIREABLE [timeout_B_9_0_5_1] | [IS_FIREABLE [timeout_B_9_0_4_1] | [IS_FIREABLE [timeout_B_9_0_3_1] | [IS_FIREABLE [timeout_B_9_0_2_1] | [IS_FIREABLE [timeout_B_9_0_1_1] | [IS_FIREABLE [timeout_B_9_0_10_1] | [IS_FIREABLE [timeout_B_9_0_0_1] | [IS_FIREABLE [timeout_B_8_0_9_1] | [IS_FIREABLE [timeout_B_8_0_8_1] | [IS_FIREABLE [timeout_B_8_0_7_1] | [IS_FIREABLE [timeout_B_8_0_6_1] | [IS_FIREABLE [timeout_B_8_0_5_1] | [IS_FIREABLE [timeout_B_8_0_4_1] | [IS_FIREABLE [timeout_B_8_0_3_1] | [IS_FIREABLE [timeout_B_8_0_2_1] | [IS_FIREABLE [timeout_B_8_0_1_1] | [IS_FIREABLE [timeout_B_8_0_10_1] | [IS_FIREABLE [timeout_B_8_0_0_1] | [IS_FIREABLE [timeout_B_7_0_9_1] | [IS_FIREABLE [timeout_B_7_0_8_1] | [IS_FIREABLE [timeout_B_7_0_7_1] | [IS_FIREABLE [timeout_B_7_0_6_1] | [IS_FIREABLE [timeout_B_7_0_5_1] | [IS_FIREABLE [timeout_B_7_0_4_1] | [IS_FIREABLE [timeout_B_7_0_3_1] | [IS_FIREABLE [timeout_B_7_0_2_1] | [IS_FIREABLE [timeout_B_7_0_1_1] | [IS_FIREABLE [timeout_B_7_0_10_1] | [IS_FIREABLE [timeout_B_7_0_0_1] | [IS_FIREABLE [timeout_B_6_0_9_1] | [IS_FIREABLE [timeout_B_6_0_8_1] | [IS_FIREABLE [timeout_B_6_0_7_1] | [IS_FIREABLE [timeout_B_6_0_6_1] | [IS_FIREABLE [timeout_B_6_0_5_1] | [IS_FIREABLE [timeout_B_6_0_4_1] | [IS_FIREABLE [timeout_B_6_0_3_1] | [IS_FIREABLE [timeout_B_6_0_2_1] | [IS_FIREABLE [timeout_B_6_0_1_1] | [IS_FIREABLE [timeout_B_6_0_10_1] | [IS_FIREABLE [timeout_B_6_0_0_1] | [IS_FIREABLE [timeout_B_5_0_9_1] | [IS_FIREABLE [timeout_B_5_0_8_1] | [IS_FIREABLE [timeout_B_5_0_7_1] | [IS_FIREABLE [timeout_B_5_0_6_1] | [IS_FIREABLE [timeout_B_5_0_5_1] | [IS_FIREABLE [timeout_B_5_0_4_1] | [IS_FIREABLE [timeout_B_5_0_3_1] | [IS_FIREABLE [timeout_B_5_0_2_1] | [IS_FIREABLE [timeout_B_5_0_1_1] | [IS_FIREABLE [timeout_B_5_0_10_1] | [IS_FIREABLE [timeout_B_5_0_0_1] | [IS_FIREABLE [timeout_B_4_0_9_1] | [IS_FIREABLE [timeout_B_4_0_8_1] | [IS_FIREABLE [timeout_B_4_0_7_1] | [IS_FIREABLE [timeout_B_4_0_6_1] | [IS_FIREABLE [timeout_B_4_0_5_1] | [IS_FIREABLE [timeout_B_4_0_4_1] | [IS_FIREABLE [timeout_B_4_0_3_1] | [IS_FIREABLE [timeout_B_4_0_2_1] | [IS_FIREABLE [timeout_B_4_0_1_1] | [IS_FIREABLE [timeout_B_4_0_10_1] | [IS_FIREABLE [timeout_B_4_0_0_1] | [IS_FIREABLE [timeout_B_3_0_9_1] | [IS_FIREABLE [timeout_B_3_0_8_1] | [IS_FIREABLE [timeout_B_3_0_7_1] | [IS_FIREABLE [timeout_B_3_0_6_1] | [IS_FIREABLE [timeout_B_3_0_5_1] | [IS_FIREABLE [timeout_B_3_0_4_1] | [IS_FIREABLE [timeout_B_3_0_3_1] | [IS_FIREABLE [timeout_B_3_0_2_1] | [IS_FIREABLE [timeout_B_3_0_1_1] | [IS_FIREABLE [timeout_B_3_0_10_1] | [IS_FIREABLE [timeout_B_3_0_0_1] | [IS_FIREABLE [timeout_B_2_0_9_1] | [IS_FIREABLE [timeout_B_2_0_8_1] | [IS_FIREABLE [timeout_B_2_0_7_1] | [IS_FIREABLE [timeout_B_2_0_6_1] | [IS_FIREABLE [timeout_B_2_0_5_1] | [IS_FIREABLE [timeout_B_2_0_4_1] | [IS_FIREABLE [timeout_B_2_0_3_1] | [IS_FIREABLE [timeout_B_2_0_2_1] | [IS_FIREABLE [timeout_B_2_0_1_1] | [IS_FIREABLE [timeout_B_2_0_10_1] | [IS_FIREABLE [timeout_B_2_0_0_1] | [IS_FIREABLE [timeout_B_20_0_9_1] | [IS_FIREABLE [timeout_B_20_0_8_1] | [IS_FIREABLE [timeout_B_20_0_7_1] | [IS_FIREABLE [timeout_B_20_0_6_1] | [IS_FIREABLE [timeout_B_20_0_5_1] | [IS_FIREABLE [timeout_B_20_0_4_1] | [IS_FIREABLE [timeout_B_20_0_3_1] | [IS_FIREABLE [timeout_B_20_0_2_1] | [IS_FIREABLE [timeout_B_20_0_1_1] | [IS_FIREABLE [timeout_B_20_0_10_1] | [IS_FIREABLE [timeout_B_20_0_0_1] | [IS_FIREABLE [timeout_B_1_0_9_1] | [IS_FIREABLE [timeout_B_1_0_8_1] | [IS_FIREABLE [timeout_B_1_0_7_1] | [IS_FIREABLE [timeout_B_1_0_6_1] | [IS_FIREABLE [timeout_B_1_0_5_1] | [IS_FIREABLE [timeout_B_1_0_4_1] | [IS_FIREABLE [timeout_B_1_0_3_1] | [IS_FIREABLE [timeout_B_1_0_2_1] | [IS_FIREABLE [timeout_B_1_0_1_1] | [IS_FIREABLE [timeout_B_1_0_10_1] | [IS_FIREABLE [timeout_B_1_0_0_1] | [IS_FIREABLE [timeout_B_19_0_9_1] | [IS_FIREABLE [timeout_B_19_0_8_1] | [IS_FIREABLE [timeout_B_19_0_7_1] | [IS_FIREABLE [timeout_B_19_0_6_1] | [IS_FIREABLE [timeout_B_19_0_5_1] | [IS_FIREABLE [timeout_B_19_0_4_1] | [IS_FIREABLE [timeout_B_19_0_3_1] | [IS_FIREABLE [timeout_B_19_0_2_1] | [IS_FIREABLE [timeout_B_19_0_1_1] | [IS_FIREABLE [timeout_B_19_0_10_1] | [IS_FIREABLE [timeout_B_19_0_0_1] | [IS_FIREABLE [timeout_B_18_0_9_1] | [IS_FIREABLE [timeout_B_18_0_8_1] | [IS_FIREABLE [timeout_B_18_0_7_1] | [IS_FIREABLE [timeout_B_18_0_6_1] | [IS_FIREABLE [timeout_B_18_0_5_1] | [IS_FIREABLE [timeout_B_18_0_4_1] | [IS_FIREABLE [timeout_B_18_0_3_1] | [IS_FIREABLE [timeout_B_18_0_2_1] | [IS_FIREABLE [timeout_B_18_0_1_1] | [IS_FIREABLE [timeout_B_18_0_10_1] | [IS_FIREABLE [timeout_B_18_0_0_1] | [IS_FIREABLE [timeout_B_17_0_9_1] | [IS_FIREABLE [timeout_B_17_0_8_1] | [IS_FIREABLE [timeout_B_17_0_7_1] | [IS_FIREABLE [timeout_B_17_0_6_1] | [IS_FIREABLE [timeout_B_17_0_5_1] | [IS_FIREABLE [timeout_B_17_0_4_1] | [IS_FIREABLE [timeout_B_17_0_3_1] | [IS_FIREABLE [timeout_B_17_0_2_1] | [IS_FIREABLE [timeout_B_17_0_1_1] | [IS_FIREABLE [timeout_B_17_0_10_1] | [IS_FIREABLE [timeout_B_17_0_0_1] | [IS_FIREABLE [timeout_B_16_0_9_1] | [IS_FIREABLE [timeout_B_16_0_8_1] | [IS_FIREABLE [timeout_B_16_0_7_1] | [IS_FIREABLE [timeout_B_16_0_6_1] | [IS_FIREABLE [timeout_B_16_0_5_1] | [IS_FIREABLE [timeout_B_16_0_4_1] | [IS_FIREABLE [timeout_B_16_0_3_1] | [IS_FIREABLE [timeout_B_16_0_2_1] | [IS_FIREABLE [timeout_B_16_0_1_1] | [IS_FIREABLE [timeout_B_16_0_10_1] | [IS_FIREABLE [timeout_B_16_0_0_1] | [IS_FIREABLE [timeout_B_15_0_9_1] | [IS_FIREABLE [timeout_B_15_0_8_1] | [IS_FIREABLE [timeout_B_15_0_7_1] | [IS_FIREABLE [timeout_B_15_0_6_1] | [IS_FIREABLE [timeout_B_15_0_5_1] | [IS_FIREABLE [timeout_B_15_0_4_1] | [IS_FIREABLE [timeout_B_15_0_3_1] | [IS_FIREABLE [timeout_B_15_0_2_1] | [IS_FIREABLE [timeout_B_15_0_1_1] | [IS_FIREABLE [timeout_B_15_0_10_1] | [IS_FIREABLE [timeout_B_15_0_0_1] | [IS_FIREABLE [timeout_B_14_0_9_1] | [IS_FIREABLE [timeout_B_14_0_8_1] | [IS_FIREABLE [timeout_B_14_0_7_1] | [IS_FIREABLE [timeout_B_14_0_6_1] | [IS_FIREABLE [timeout_B_14_0_5_1] | [IS_FIREABLE [timeout_B_14_0_4_1] | [IS_FIREABLE [timeout_B_14_0_3_1] | [IS_FIREABLE [timeout_B_14_0_2_1] | [IS_FIREABLE [timeout_B_14_0_1_1] | [IS_FIREABLE [timeout_B_14_0_10_1] | [IS_FIREABLE [timeout_B_14_0_0_1] | [IS_FIREABLE [timeout_B_13_0_9_1] | [IS_FIREABLE [timeout_B_13_0_8_1] | [IS_FIREABLE [timeout_B_13_0_7_1] | [IS_FIREABLE [timeout_B_13_0_6_1] | [IS_FIREABLE [timeout_B_13_0_5_1] | [IS_FIREABLE [timeout_B_13_0_4_1] | [IS_FIREABLE [timeout_B_13_0_3_1] | [IS_FIREABLE [timeout_B_13_0_2_1] | [IS_FIREABLE [timeout_B_13_0_1_1] | [IS_FIREABLE [timeout_B_13_0_10_1] | [IS_FIREABLE [timeout_B_13_0_0_1] | [IS_FIREABLE [timeout_B_12_0_9_1] | [IS_FIREABLE [timeout_B_12_0_8_1] | [IS_FIREABLE [timeout_B_12_0_7_1] | [IS_FIREABLE [timeout_B_12_0_6_1] | [IS_FIREABLE [timeout_B_12_0_5_1] | [IS_FIREABLE [timeout_B_12_0_4_1] | [IS_FIREABLE [timeout_B_12_0_3_1] | [IS_FIREABLE [timeout_B_12_0_2_1] | [IS_FIREABLE [timeout_B_12_0_1_1] | [IS_FIREABLE [timeout_B_12_0_10_1] | [IS_FIREABLE [timeout_B_12_0_0_1] | [IS_FIREABLE [timeout_B_11_0_9_1] | [IS_FIREABLE [timeout_B_11_0_8_1] | [IS_FIREABLE [timeout_B_11_0_7_1] | [IS_FIREABLE [timeout_B_11_0_6_1] | [IS_FIREABLE [timeout_B_11_0_5_1] | [IS_FIREABLE [timeout_B_11_0_4_1] | [IS_FIREABLE [timeout_B_11_0_3_1] | [IS_FIREABLE [timeout_B_11_0_2_1] | [IS_FIREABLE [timeout_B_11_0_1_1] | [IS_FIREABLE [timeout_B_11_0_10_1] | [IS_FIREABLE [timeout_B_11_0_0_1] | [IS_FIREABLE [timeout_B_10_0_9_1] | [IS_FIREABLE [timeout_B_10_0_8_1] | [IS_FIREABLE [timeout_B_10_0_7_1] | [IS_FIREABLE [timeout_B_10_0_6_1] | [IS_FIREABLE [timeout_B_10_0_5_1] | [IS_FIREABLE [timeout_B_10_0_4_1] | [IS_FIREABLE [timeout_B_10_0_3_1] | [IS_FIREABLE [timeout_B_10_0_2_1] | [IS_FIREABLE [timeout_B_10_0_1_1] | [IS_FIREABLE [timeout_B_10_0_0_1] | IS_FIREABLE [timeout_B_10_0_10_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

.....................................................
before gc: list nodes free: 5688014

after gc: idd nodes used:774677, unused:63225323; list nodes free:331283274
...............................................................................
EG iterations: 132
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 7m12.335sec

checking: [[~ [[AX [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]] & ~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]] | EX [~ [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]]]]] | [~ [[~ [[[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]] & [[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]]]] | ~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_B_10_0_0_1] | IS_FIREABLE [timeout_B_10_0_10_1]] | IS_FIREABLE [timeout_B_10_0_1_1]] | IS_FIREABLE [timeout_B_10_0_2_1]] | IS_FIREABLE [timeout_B_10_0_3_1]] | IS_FIREABLE [timeout_B_10_0_4_1]] | IS_FIREABLE [timeout_B_10_0_5_1]] | IS_FIREABLE [timeout_B_10_0_6_1]] | IS_FIREABLE [timeout_B_10_0_7_1]] | IS_FIREABLE [timeout_B_10_0_8_1]] | IS_FIREABLE [timeout_B_10_0_9_1]] | IS_FIREABLE [timeout_B_11_0_0_1]] | IS_FIREABLE [timeout_B_11_0_10_1]] | IS_FIREABLE [timeout_B_11_0_1_1]] | IS_FIREABLE [timeout_B_11_0_2_1]] | IS_FIREABLE [timeout_B_11_0_3_1]] | IS_FIREABLE [timeout_B_11_0_4_1]] | IS_FIREABLE [timeout_B_11_0_5_1]] | IS_FIREABLE [timeout_B_11_0_6_1]] | IS_FIREABLE [timeout_B_11_0_7_1]] | IS_FIREABLE [timeout_B_11_0_8_1]] | IS_FIREABLE [timeout_B_11_0_9_1]] | IS_FIREABLE [timeout_B_12_0_0_1]] | IS_FIREABLE [timeout_B_12_0_10_1]] | IS_FIREABLE [timeout_B_12_0_1_1]] | IS_FIREABLE [timeout_B_12_0_2_1]] | IS_FIREABLE [timeout_B_12_0_3_1]] | IS_FIREABLE [timeout_B_12_0_4_1]] | IS_FIREABLE [timeout_B_12_0_5_1]] | IS_FIREABLE [timeout_B_12_0_6_1]] | IS_FIREABLE [timeout_B_12_0_7_1]] | IS_FIREABLE [timeout_B_12_0_8_1]] | IS_FIREABLE [timeout_B_12_0_9_1]] | IS_FIREABLE [timeout_B_13_0_0_1]] | IS_FIREABLE [timeout_B_13_0_10_1]] | IS_FIREABLE [timeout_B_13_0_1_1]] | IS_FIREABLE [timeout_B_13_0_2_1]] | IS_FIREABLE [timeout_B_13_0_3_1]] | IS_FIREABLE [timeout_B_13_0_4_1]] | IS_FIREABLE [timeout_B_13_0_5_1]] | IS_FIREABLE [timeout_B_13_0_6_1]] | IS_FIREABLE [timeout_B_13_0_7_1]] | IS_FIREABLE [timeout_B_13_0_8_1]] | IS_FIREABLE [timeout_B_13_0_9_1]] | IS_FIREABLE [timeout_B_14_0_0_1]] | IS_FIREABLE [timeout_B_14_0_10_1]] | IS_FIREABLE [timeout_B_14_0_1_1]] | IS_FIREABLE [timeout_B_14_0_2_1]] | IS_FIREABLE [timeout_B_14_0_3_1]] | IS_FIREABLE [timeout_B_14_0_4_1]] | IS_FIREABLE [timeout_B_14_0_5_1]] | IS_FIREABLE [timeout_B_14_0_6_1]] | IS_FIREABLE [timeout_B_14_0_7_1]] | IS_FIREABLE [timeout_B_14_0_8_1]] | IS_FIREABLE [timeout_B_14_0_9_1]] | IS_FIREABLE [timeout_B_15_0_0_1]] | IS_FIREABLE [timeout_B_15_0_10_1]] | IS_FIREABLE [timeout_B_15_0_1_1]] | IS_FIREABLE [timeout_B_15_0_2_1]] | IS_FIREABLE [timeout_B_15_0_3_1]] | IS_FIREABLE [timeout_B_15_0_4_1]] | IS_FIREABLE [timeout_B_15_0_5_1]] | IS_FIREABLE [timeout_B_15_0_6_1]] | IS_FIREABLE [timeout_B_15_0_7_1]] | IS_FIREABLE [timeout_B_15_0_8_1]] | IS_FIREABLE [timeout_B_15_0_9_1]] | IS_FIREABLE [timeout_B_16_0_0_1]] | IS_FIREABLE [timeout_B_16_0_10_1]] | IS_FIREABLE [timeout_B_16_0_1_1]] | IS_FIREABLE [timeout_B_16_0_2_1]] | IS_FIREABLE [timeout_B_16_0_3_1]] | IS_FIREABLE [timeout_B_16_0_4_1]] | IS_FIREABLE [timeout_B_16_0_5_1]] | IS_FIREABLE [timeout_B_16_0_6_1]] | IS_FIREABLE [timeout_B_16_0_7_1]] | IS_FIREABLE [timeout_B_16_0_8_1]] | IS_FIREABLE [timeout_B_16_0_9_1]] | IS_FIREABLE [timeout_B_17_0_0_1]] | IS_FIREABLE [timeout_B_17_0_10_1]] | IS_FIREABLE [timeout_B_17_0_1_1]] | IS_FIREABLE [timeout_B_17_0_2_1]] | IS_FIREABLE [timeout_B_17_0_3_1]] | IS_FIREABLE [timeout_B_17_0_4_1]] | IS_FIREABLE [timeout_B_17_0_5_1]] | IS_FIREABLE [timeout_B_17_0_6_1]] | IS_FIREABLE [timeout_B_17_0_7_1]] | IS_FIREABLE [timeout_B_17_0_8_1]] | IS_FIREABLE [timeout_B_17_0_9_1]] | IS_FIREABLE [timeout_B_18_0_0_1]] | IS_FIREABLE [timeout_B_18_0_10_1]] | IS_FIREABLE [timeout_B_18_0_1_1]] | IS_FIREABLE [timeout_B_18_0_2_1]] | IS_FIREABLE [timeout_B_18_0_3_1]] | IS_FIREABLE [timeout_B_18_0_4_1]] | IS_FIREABLE [timeout_B_18_0_5_1]] | IS_FIREABLE [timeout_B_18_0_6_1]] | IS_FIREABLE [timeout_B_18_0_7_1]] | IS_FIREABLE [timeout_B_18_0_8_1]] | IS_FIREABLE [timeout_B_18_0_9_1]] | IS_FIREABLE [timeout_B_19_0_0_1]] | IS_FIREABLE [timeout_B_19_0_10_1]] | IS_FIREABLE [timeout_B_19_0_1_1]] | IS_FIREABLE [timeout_B_19_0_2_1]] | IS_FIREABLE [timeout_B_19_0_3_1]] | IS_FIREABLE [timeout_B_19_0_4_1]] | IS_FIREABLE [timeout_B_19_0_5_1]] | IS_FIREABLE [timeout_B_19_0_6_1]] | IS_FIREABLE [timeout_B_19_0_7_1]] | IS_FIREABLE [timeout_B_19_0_8_1]] | IS_FIREABLE [timeout_B_19_0_9_1]] | IS_FIREABLE [timeout_B_1_0_0_1]] | IS_FIREABLE [timeout_B_1_0_10_1]] | IS_FIREABLE [timeout_B_1_0_1_1]] | IS_FIREABLE [timeout_B_1_0_2_1]] | IS_FIREABLE [timeout_B_1_0_3_1]] | IS_FIREABLE [timeout_B_1_0_4_1]] | IS_FIREABLE [timeout_B_1_0_5_1]] | IS_FIREABLE [timeout_B_1_0_6_1]] | IS_FIREABLE [timeout_B_1_0_7_1]] | IS_FIREABLE [timeout_B_1_0_8_1]] | IS_FIREABLE [timeout_B_1_0_9_1]] | IS_FIREABLE [timeout_B_20_0_0_1]] | IS_FIREABLE [timeout_B_20_0_10_1]] | IS_FIREABLE [timeout_B_20_0_1_1]] | IS_FIREABLE [timeout_B_20_0_2_1]] | IS_FIREABLE [timeout_B_20_0_3_1]] | IS_FIREABLE [timeout_B_20_0_4_1]] | IS_FIREABLE [timeout_B_20_0_5_1]] | IS_FIREABLE [timeout_B_20_0_6_1]] | IS_FIREABLE [timeout_B_20_0_7_1]] | IS_FIREABLE [timeout_B_20_0_8_1]] | IS_FIREABLE [timeout_B_20_0_9_1]] | IS_FIREABLE [timeout_B_2_0_0_1]] | IS_FIREABLE [timeout_B_2_0_10_1]] | IS_FIREABLE [timeout_B_2_0_1_1]] | IS_FIREABLE [timeout_B_2_0_2_1]] | IS_FIREABLE [timeout_B_2_0_3_1]] | IS_FIREABLE [timeout_B_2_0_4_1]] | IS_FIREABLE [timeout_B_2_0_5_1]] | IS_FIREABLE [timeout_B_2_0_6_1]] | IS_FIREABLE [timeout_B_2_0_7_1]] | IS_FIREABLE [timeout_B_2_0_8_1]] | IS_FIREABLE [timeout_B_2_0_9_1]] | IS_FIREABLE [timeout_B_3_0_0_1]] | IS_FIREABLE [timeout_B_3_0_10_1]] | IS_FIREABLE [timeout_B_3_0_1_1]] | IS_FIREABLE [timeout_B_3_0_2_1]] | IS_FIREABLE [timeout_B_3_0_3_1]] | IS_FIREABLE [timeout_B_3_0_4_1]] | IS_FIREABLE [timeout_B_3_0_5_1]] | IS_FIREABLE [timeout_B_3_0_6_1]] | IS_FIREABLE [timeout_B_3_0_7_1]] | IS_FIREABLE [timeout_B_3_0_8_1]] | IS_FIREABLE [timeout_B_3_0_9_1]] | IS_FIREABLE [timeout_B_4_0_0_1]] | IS_FIREABLE [timeout_B_4_0_10_1]] | IS_FIREABLE [timeout_B_4_0_1_1]] | IS_FIREABLE [timeout_B_4_0_2_1]] | IS_FIREABLE [timeout_B_4_0_3_1]] | IS_FIREABLE [timeout_B_4_0_4_1]] | IS_FIREABLE [timeout_B_4_0_5_1]] | IS_FIREABLE [timeout_B_4_0_6_1]] | IS_FIREABLE [timeout_B_4_0_7_1]] | IS_FIREABLE [timeout_B_4_0_8_1]] | IS_FIREABLE [timeout_B_4_0_9_1]] | IS_FIREABLE [timeout_B_5_0_0_1]] | IS_FIREABLE [timeout_B_5_0_10_1]] | IS_FIREABLE [timeout_B_5_0_1_1]] | IS_FIREABLE [timeout_B_5_0_2_1]] | IS_FIREABLE [timeout_B_5_0_3_1]] | IS_FIREABLE [timeout_B_5_0_4_1]] | IS_FIREABLE [timeout_B_5_0_5_1]] | IS_FIREABLE [timeout_B_5_0_6_1]] | IS_FIREABLE [timeout_B_5_0_7_1]] | IS_FIREABLE [timeout_B_5_0_8_1]] | IS_FIREABLE [timeout_B_5_0_9_1]] | IS_FIREABLE [timeout_B_6_0_0_1]] | IS_FIREABLE [timeout_B_6_0_10_1]] | IS_FIREABLE [timeout_B_6_0_1_1]] | IS_FIREABLE [timeout_B_6_0_2_1]] | IS_FIREABLE [timeout_B_6_0_3_1]] | IS_FIREABLE [timeout_B_6_0_4_1]] | IS_FIREABLE [timeout_B_6_0_5_1]] | IS_FIREABLE [timeout_B_6_0_6_1]] | IS_FIREABLE [timeout_B_6_0_7_1]] | IS_FIREABLE [timeout_B_6_0_8_1]] | IS_FIREABLE [timeout_B_6_0_9_1]] | IS_FIREABLE [timeout_B_7_0_0_1]] | IS_FIREABLE [timeout_B_7_0_10_1]] | IS_FIREABLE [timeout_B_7_0_1_1]] | IS_FIREABLE [timeout_B_7_0_2_1]] | IS_FIREABLE [timeout_B_7_0_3_1]] | IS_FIREABLE [timeout_B_7_0_4_1]] | IS_FIREABLE [timeout_B_7_0_5_1]] | IS_FIREABLE [timeout_B_7_0_6_1]] | IS_FIREABLE [timeout_B_7_0_7_1]] | IS_FIREABLE [timeout_B_7_0_8_1]] | IS_FIREABLE [timeout_B_7_0_9_1]] | IS_FIREABLE [timeout_B_8_0_0_1]] | IS_FIREABLE [timeout_B_8_0_10_1]] | IS_FIREABLE [timeout_B_8_0_1_1]] | IS_FIREABLE [timeout_B_8_0_2_1]] | IS_FIREABLE [timeout_B_8_0_3_1]] | IS_FIREABLE [timeout_B_8_0_4_1]] | IS_FIREABLE [timeout_B_8_0_5_1]] | IS_FIREABLE [timeout_B_8_0_6_1]] | IS_FIREABLE [timeout_B_8_0_7_1]] | IS_FIREABLE [timeout_B_8_0_8_1]] | IS_FIREABLE [timeout_B_8_0_9_1]] | IS_FIREABLE [timeout_B_9_0_0_1]] | IS_FIREABLE [timeout_B_9_0_10_1]] | IS_FIREABLE [timeout_B_9_0_1_1]] | IS_FIREABLE [timeout_B_9_0_2_1]] | IS_FIREABLE [timeout_B_9_0_3_1]] | IS_FIREABLE [timeout_B_9_0_4_1]] | IS_FIREABLE [timeout_B_9_0_5_1]] | IS_FIREABLE [timeout_B_9_0_6_1]] | IS_FIREABLE [timeout_B_9_0_7_1]] | IS_FIREABLE [timeout_B_9_0_8_1]] | IS_FIREABLE [timeout_B_9_0_9_1]]]]]] | AF [~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]] | [IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]]
normalized: [[~ [EG [[[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]] | [IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]]]]] | ~ [[~ [[[IS_FIREABLE [timeout_B_9_0_9_1] | [IS_FIREABLE [timeout_B_9_0_8_1] | [IS_FIREABLE [timeout_B_9_0_7_1] | [IS_FIREABLE [timeout_B_9_0_6_1] | [IS_FIREABLE [timeout_B_9_0_5_1] | [IS_FIREABLE [timeout_B_9_0_4_1] | [IS_FIREABLE [timeout_B_9_0_3_1] | [IS_FIREABLE [timeout_B_9_0_2_1] | [IS_FIREABLE [timeout_B_9_0_1_1] | [IS_FIREABLE [timeout_B_9_0_10_1] | [IS_FIREABLE [timeout_B_9_0_0_1] | [IS_FIREABLE [timeout_B_8_0_9_1] | [IS_FIREABLE [timeout_B_8_0_8_1] | [IS_FIREABLE [timeout_B_8_0_7_1] | [IS_FIREABLE [timeout_B_8_0_6_1] | [IS_FIREABLE [timeout_B_8_0_5_1] | [IS_FIREABLE [timeout_B_8_0_4_1] | [IS_FIREABLE [timeout_B_8_0_3_1] | [IS_FIREABLE [timeout_B_8_0_2_1] | [IS_FIREABLE [timeout_B_8_0_1_1] | [IS_FIREABLE [timeout_B_8_0_10_1] | [IS_FIREABLE [timeout_B_8_0_0_1] | [IS_FIREABLE [timeout_B_7_0_9_1] | [IS_FIREABLE [timeout_B_7_0_8_1] | [IS_FIREABLE [timeout_B_7_0_7_1] | [IS_FIREABLE [timeout_B_7_0_6_1] | [IS_FIREABLE [timeout_B_7_0_5_1] | [IS_FIREABLE [timeout_B_7_0_4_1] | [IS_FIREABLE [timeout_B_7_0_3_1] | [IS_FIREABLE [timeout_B_7_0_2_1] | [IS_FIREABLE [timeout_B_7_0_1_1] | [IS_FIREABLE [timeout_B_7_0_10_1] | [IS_FIREABLE [timeout_B_7_0_0_1] | [IS_FIREABLE [timeout_B_6_0_9_1] | [IS_FIREABLE [timeout_B_6_0_8_1] | [IS_FIREABLE [timeout_B_6_0_7_1] | [IS_FIREABLE [timeout_B_6_0_6_1] | [IS_FIREABLE [timeout_B_6_0_5_1] | [IS_FIREABLE [timeout_B_6_0_4_1] | [IS_FIREABLE [timeout_B_6_0_3_1] | [IS_FIREABLE [timeout_B_6_0_2_1] | [IS_FIREABLE [timeout_B_6_0_1_1] | [IS_FIREABLE [timeout_B_6_0_10_1] | [IS_FIREABLE [timeout_B_6_0_0_1] | [IS_FIREABLE [timeout_B_5_0_9_1] | [IS_FIREABLE [timeout_B_5_0_8_1] | [IS_FIREABLE [timeout_B_5_0_7_1] | [IS_FIREABLE [timeout_B_5_0_6_1] | [IS_FIREABLE [timeout_B_5_0_5_1] | [IS_FIREABLE [timeout_B_5_0_4_1] | [IS_FIREABLE [timeout_B_5_0_3_1] | [IS_FIREABLE [timeout_B_5_0_2_1] | [IS_FIREABLE [timeout_B_5_0_1_1] | [IS_FIREABLE [timeout_B_5_0_10_1] | [IS_FIREABLE [timeout_B_5_0_0_1] | [IS_FIREABLE [timeout_B_4_0_9_1] | [IS_FIREABLE [timeout_B_4_0_8_1] | [IS_FIREABLE [timeout_B_4_0_7_1] | [IS_FIREABLE [timeout_B_4_0_6_1] | [IS_FIREABLE [timeout_B_4_0_5_1] | [IS_FIREABLE [timeout_B_4_0_4_1] | [IS_FIREABLE [timeout_B_4_0_3_1] | [IS_FIREABLE [timeout_B_4_0_2_1] | [IS_FIREABLE [timeout_B_4_0_1_1] | [IS_FIREABLE [timeout_B_4_0_10_1] | [IS_FIREABLE [timeout_B_4_0_0_1] | [IS_FIREABLE [timeout_B_3_0_9_1] | [IS_FIREABLE [timeout_B_3_0_8_1] | [IS_FIREABLE [timeout_B_3_0_7_1] | [IS_FIREABLE [timeout_B_3_0_6_1] | [IS_FIREABLE [timeout_B_3_0_5_1] | [IS_FIREABLE [timeout_B_3_0_4_1] | [IS_FIREABLE [timeout_B_3_0_3_1] | [IS_FIREABLE [timeout_B_3_0_2_1] | [IS_FIREABLE [timeout_B_3_0_1_1] | [IS_FIREABLE [timeout_B_3_0_10_1] | [IS_FIREABLE [timeout_B_3_0_0_1] | [IS_FIREABLE [timeout_B_2_0_9_1] | [IS_FIREABLE [timeout_B_2_0_8_1] | [IS_FIREABLE [timeout_B_2_0_7_1] | [IS_FIREABLE [timeout_B_2_0_6_1] | [IS_FIREABLE [timeout_B_2_0_5_1] | [IS_FIREABLE [timeout_B_2_0_4_1] | [IS_FIREABLE [timeout_B_2_0_3_1] | [IS_FIREABLE [timeout_B_2_0_2_1] | [IS_FIREABLE [timeout_B_2_0_1_1] | [IS_FIREABLE [timeout_B_2_0_10_1] | [IS_FIREABLE [timeout_B_2_0_0_1] | [IS_FIREABLE [timeout_B_20_0_9_1] | [IS_FIREABLE [timeout_B_20_0_8_1] | [IS_FIREABLE [timeout_B_20_0_7_1] | [IS_FIREABLE [timeout_B_20_0_6_1] | [IS_FIREABLE [timeout_B_20_0_5_1] | [IS_FIREABLE [timeout_B_20_0_4_1] | [IS_FIREABLE [timeout_B_20_0_3_1] | [IS_FIREABLE [timeout_B_20_0_2_1] | [IS_FIREABLE [timeout_B_20_0_1_1] | [IS_FIREABLE [timeout_B_20_0_10_1] | [IS_FIREABLE [timeout_B_20_0_0_1] | [IS_FIREABLE [timeout_B_1_0_9_1] | [IS_FIREABLE [timeout_B_1_0_8_1] | [IS_FIREABLE [timeout_B_1_0_7_1] | [IS_FIREABLE [timeout_B_1_0_6_1] | [IS_FIREABLE [timeout_B_1_0_5_1] | [IS_FIREABLE [timeout_B_1_0_4_1] | [IS_FIREABLE [timeout_B_1_0_3_1] | [IS_FIREABLE [timeout_B_1_0_2_1] | [IS_FIREABLE [timeout_B_1_0_1_1] | [IS_FIREABLE [timeout_B_1_0_10_1] | [IS_FIREABLE [timeout_B_1_0_0_1] | [IS_FIREABLE [timeout_B_19_0_9_1] | [IS_FIREABLE [timeout_B_19_0_8_1] | [IS_FIREABLE [timeout_B_19_0_7_1] | [IS_FIREABLE [timeout_B_19_0_6_1] | [IS_FIREABLE [timeout_B_19_0_5_1] | [IS_FIREABLE [timeout_B_19_0_4_1] | [IS_FIREABLE [timeout_B_19_0_3_1] | [IS_FIREABLE [timeout_B_19_0_2_1] | [IS_FIREABLE [timeout_B_19_0_1_1] | [IS_FIREABLE [timeout_B_19_0_10_1] | [IS_FIREABLE [timeout_B_19_0_0_1] | [IS_FIREABLE [timeout_B_18_0_9_1] | [IS_FIREABLE [timeout_B_18_0_8_1] | [IS_FIREABLE [timeout_B_18_0_7_1] | [IS_FIREABLE [timeout_B_18_0_6_1] | [IS_FIREABLE [timeout_B_18_0_5_1] | [IS_FIREABLE [timeout_B_18_0_4_1] | [IS_FIREABLE [timeout_B_18_0_3_1] | [IS_FIREABLE [timeout_B_18_0_2_1] | [IS_FIREABLE [timeout_B_18_0_1_1] | [IS_FIREABLE [timeout_B_18_0_10_1] | [IS_FIREABLE [timeout_B_18_0_0_1] | [IS_FIREABLE [timeout_B_17_0_9_1] | [IS_FIREABLE [timeout_B_17_0_8_1] | [IS_FIREABLE [timeout_B_17_0_7_1] | [IS_FIREABLE [timeout_B_17_0_6_1] | [IS_FIREABLE [timeout_B_17_0_5_1] | [IS_FIREABLE [timeout_B_17_0_4_1] | [IS_FIREABLE [timeout_B_17_0_3_1] | [IS_FIREABLE [timeout_B_17_0_2_1] | [IS_FIREABLE [timeout_B_17_0_1_1] | [IS_FIREABLE [timeout_B_17_0_10_1] | [IS_FIREABLE [timeout_B_17_0_0_1] | [IS_FIREABLE [timeout_B_16_0_9_1] | [IS_FIREABLE [timeout_B_16_0_8_1] | [IS_FIREABLE [timeout_B_16_0_7_1] | [IS_FIREABLE [timeout_B_16_0_6_1] | [IS_FIREABLE [timeout_B_16_0_5_1] | [IS_FIREABLE [timeout_B_16_0_4_1] | [IS_FIREABLE [timeout_B_16_0_3_1] | [IS_FIREABLE [timeout_B_16_0_2_1] | [IS_FIREABLE [timeout_B_16_0_1_1] | [IS_FIREABLE [timeout_B_16_0_10_1] | [IS_FIREABLE [timeout_B_16_0_0_1] | [IS_FIREABLE [timeout_B_15_0_9_1] | [IS_FIREABLE [timeout_B_15_0_8_1] | [IS_FIREABLE [timeout_B_15_0_7_1] | [IS_FIREABLE [timeout_B_15_0_6_1] | [IS_FIREABLE [timeout_B_15_0_5_1] | [IS_FIREABLE [timeout_B_15_0_4_1] | [IS_FIREABLE [timeout_B_15_0_3_1] | [IS_FIREABLE [timeout_B_15_0_2_1] | [IS_FIREABLE [timeout_B_15_0_1_1] | [IS_FIREABLE [timeout_B_15_0_10_1] | [IS_FIREABLE [timeout_B_15_0_0_1] | [IS_FIREABLE [timeout_B_14_0_9_1] | [IS_FIREABLE [timeout_B_14_0_8_1] | [IS_FIREABLE [timeout_B_14_0_7_1] | [IS_FIREABLE [timeout_B_14_0_6_1] | [IS_FIREABLE [timeout_B_14_0_5_1] | [IS_FIREABLE [timeout_B_14_0_4_1] | [IS_FIREABLE [timeout_B_14_0_3_1] | [IS_FIREABLE [timeout_B_14_0_2_1] | [IS_FIREABLE [timeout_B_14_0_1_1] | [IS_FIREABLE [timeout_B_14_0_10_1] | [IS_FIREABLE [timeout_B_14_0_0_1] | [IS_FIREABLE [timeout_B_13_0_9_1] | [IS_FIREABLE [timeout_B_13_0_8_1] | [IS_FIREABLE [timeout_B_13_0_7_1] | [IS_FIREABLE [timeout_B_13_0_6_1] | [IS_FIREABLE [timeout_B_13_0_5_1] | [IS_FIREABLE [timeout_B_13_0_4_1] | [IS_FIREABLE [timeout_B_13_0_3_1] | [IS_FIREABLE [timeout_B_13_0_2_1] | [IS_FIREABLE [timeout_B_13_0_1_1] | [IS_FIREABLE [timeout_B_13_0_10_1] | [IS_FIREABLE [timeout_B_13_0_0_1] | [IS_FIREABLE [timeout_B_12_0_9_1] | [IS_FIREABLE [timeout_B_12_0_8_1] | [IS_FIREABLE [timeout_B_12_0_7_1] | [IS_FIREABLE [timeout_B_12_0_6_1] | [IS_FIREABLE [timeout_B_12_0_5_1] | [IS_FIREABLE [timeout_B_12_0_4_1] | [IS_FIREABLE [timeout_B_12_0_3_1] | [IS_FIREABLE [timeout_B_12_0_2_1] | [IS_FIREABLE [timeout_B_12_0_1_1] | [IS_FIREABLE [timeout_B_12_0_10_1] | [IS_FIREABLE [timeout_B_12_0_0_1] | [IS_FIREABLE [timeout_B_11_0_9_1] | [IS_FIREABLE [timeout_B_11_0_8_1] | [IS_FIREABLE [timeout_B_11_0_7_1] | [IS_FIREABLE [timeout_B_11_0_6_1] | [IS_FIREABLE [timeout_B_11_0_5_1] | [IS_FIREABLE [timeout_B_11_0_4_1] | [IS_FIREABLE [timeout_B_11_0_3_1] | [IS_FIREABLE [timeout_B_11_0_2_1] | [IS_FIREABLE [timeout_B_11_0_1_1] | [IS_FIREABLE [timeout_B_11_0_10_1] | [IS_FIREABLE [timeout_B_11_0_0_1] | [IS_FIREABLE [timeout_B_10_0_9_1] | [IS_FIREABLE [timeout_B_10_0_8_1] | [IS_FIREABLE [timeout_B_10_0_7_1] | [IS_FIREABLE [timeout_B_10_0_6_1] | [IS_FIREABLE [timeout_B_10_0_5_1] | [IS_FIREABLE [timeout_B_10_0_4_1] | [IS_FIREABLE [timeout_B_10_0_3_1] | [IS_FIREABLE [timeout_B_10_0_2_1] | [IS_FIREABLE [timeout_B_10_0_1_1] | [IS_FIREABLE [timeout_B_10_0_0_1] | IS_FIREABLE [timeout_B_10_0_10_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]]]] | ~ [[[IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]]] | [EX [~ [[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]] | ~ [[~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]] & ~ [EX [~ [[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]

............................................
EG iterations: 42
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-10 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m22.125sec

checking: AX [E [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]] | IS_FIREABLE [timeout_A_0_10_1_0]] | IS_FIREABLE [timeout_A_0_10_2_0]] | IS_FIREABLE [timeout_A_0_10_3_0]] | IS_FIREABLE [timeout_A_0_10_4_0]] | IS_FIREABLE [timeout_A_0_10_5_0]] | IS_FIREABLE [timeout_A_0_10_6_0]] | IS_FIREABLE [timeout_A_0_10_7_0]] | IS_FIREABLE [timeout_A_0_10_8_0]] | IS_FIREABLE [timeout_A_0_10_9_0]] | IS_FIREABLE [timeout_A_0_11_0_0]] | IS_FIREABLE [timeout_A_0_11_10_0]] | IS_FIREABLE [timeout_A_0_11_1_0]] | IS_FIREABLE [timeout_A_0_11_2_0]] | IS_FIREABLE [timeout_A_0_11_3_0]] | IS_FIREABLE [timeout_A_0_11_4_0]] | IS_FIREABLE [timeout_A_0_11_5_0]] | IS_FIREABLE [timeout_A_0_11_6_0]] | IS_FIREABLE [timeout_A_0_11_7_0]] | IS_FIREABLE [timeout_A_0_11_8_0]] | IS_FIREABLE [timeout_A_0_11_9_0]] | IS_FIREABLE [timeout_A_0_12_0_0]] | IS_FIREABLE [timeout_A_0_12_10_0]] | IS_FIREABLE [timeout_A_0_12_1_0]] | IS_FIREABLE [timeout_A_0_12_2_0]] | IS_FIREABLE [timeout_A_0_12_3_0]] | IS_FIREABLE [timeout_A_0_12_4_0]] | IS_FIREABLE [timeout_A_0_12_5_0]] | IS_FIREABLE [timeout_A_0_12_6_0]] | IS_FIREABLE [timeout_A_0_12_7_0]] | IS_FIREABLE [timeout_A_0_12_8_0]] | IS_FIREABLE [timeout_A_0_12_9_0]] | IS_FIREABLE [timeout_A_0_13_0_0]] | IS_FIREABLE [timeout_A_0_13_10_0]] | IS_FIREABLE [timeout_A_0_13_1_0]] | IS_FIREABLE [timeout_A_0_13_2_0]] | IS_FIREABLE [timeout_A_0_13_3_0]] | IS_FIREABLE [timeout_A_0_13_4_0]] | IS_FIREABLE [timeout_A_0_13_5_0]] | IS_FIREABLE [timeout_A_0_13_6_0]] | IS_FIREABLE [timeout_A_0_13_7_0]] | IS_FIREABLE [timeout_A_0_13_8_0]] | IS_FIREABLE [timeout_A_0_13_9_0]] | IS_FIREABLE [timeout_A_0_14_0_0]] | IS_FIREABLE [timeout_A_0_14_10_0]] | IS_FIREABLE [timeout_A_0_14_1_0]] | IS_FIREABLE [timeout_A_0_14_2_0]] | IS_FIREABLE [timeout_A_0_14_3_0]] | IS_FIREABLE [timeout_A_0_14_4_0]] | IS_FIREABLE [timeout_A_0_14_5_0]] | IS_FIREABLE [timeout_A_0_14_6_0]] | IS_FIREABLE [timeout_A_0_14_7_0]] | IS_FIREABLE [timeout_A_0_14_8_0]] | IS_FIREABLE [timeout_A_0_14_9_0]] | IS_FIREABLE [timeout_A_0_15_0_0]] | IS_FIREABLE [timeout_A_0_15_10_0]] | IS_FIREABLE [timeout_A_0_15_1_0]] | IS_FIREABLE [timeout_A_0_15_2_0]] | IS_FIREABLE [timeout_A_0_15_3_0]] | IS_FIREABLE [timeout_A_0_15_4_0]] | IS_FIREABLE [timeout_A_0_15_5_0]] | IS_FIREABLE [timeout_A_0_15_6_0]] | IS_FIREABLE [timeout_A_0_15_7_0]] | IS_FIREABLE [timeout_A_0_15_8_0]] | IS_FIREABLE [timeout_A_0_15_9_0]] | IS_FIREABLE [timeout_A_0_16_0_0]] | IS_FIREABLE [timeout_A_0_16_10_0]] | IS_FIREABLE [timeout_A_0_16_1_0]] | IS_FIREABLE [timeout_A_0_16_2_0]] | IS_FIREABLE [timeout_A_0_16_3_0]] | IS_FIREABLE [timeout_A_0_16_4_0]] | IS_FIREABLE [timeout_A_0_16_5_0]] | IS_FIREABLE [timeout_A_0_16_6_0]] | IS_FIREABLE [timeout_A_0_16_7_0]] | IS_FIREABLE [timeout_A_0_16_8_0]] | IS_FIREABLE [timeout_A_0_16_9_0]] | IS_FIREABLE [timeout_A_0_17_0_0]] | IS_FIREABLE [timeout_A_0_17_10_0]] | IS_FIREABLE [timeout_A_0_17_1_0]] | IS_FIREABLE [timeout_A_0_17_2_0]] | IS_FIREABLE [timeout_A_0_17_3_0]] | IS_FIREABLE [timeout_A_0_17_4_0]] | IS_FIREABLE [timeout_A_0_17_5_0]] | IS_FIREABLE [timeout_A_0_17_6_0]] | IS_FIREABLE [timeout_A_0_17_7_0]] | IS_FIREABLE [timeout_A_0_17_8_0]] | IS_FIREABLE [timeout_A_0_17_9_0]] | IS_FIREABLE [timeout_A_0_18_0_0]] | IS_FIREABLE [timeout_A_0_18_10_0]] | IS_FIREABLE [timeout_A_0_18_1_0]] | IS_FIREABLE [timeout_A_0_18_2_0]] | IS_FIREABLE [timeout_A_0_18_3_0]] | IS_FIREABLE [timeout_A_0_18_4_0]] | IS_FIREABLE [timeout_A_0_18_5_0]] | IS_FIREABLE [timeout_A_0_18_6_0]] | IS_FIREABLE [timeout_A_0_18_7_0]] | IS_FIREABLE [timeout_A_0_18_8_0]] | IS_FIREABLE [timeout_A_0_18_9_0]] | IS_FIREABLE [timeout_A_0_19_0_0]] | IS_FIREABLE [timeout_A_0_19_10_0]] | IS_FIREABLE [timeout_A_0_19_1_0]] | IS_FIREABLE [timeout_A_0_19_2_0]] | IS_FIREABLE [timeout_A_0_19_3_0]] | IS_FIREABLE [timeout_A_0_19_4_0]] | IS_FIREABLE [timeout_A_0_19_5_0]] | IS_FIREABLE [timeout_A_0_19_6_0]] | IS_FIREABLE [timeout_A_0_19_7_0]] | IS_FIREABLE [timeout_A_0_19_8_0]] | IS_FIREABLE [timeout_A_0_19_9_0]] | IS_FIREABLE [timeout_A_0_1_0_0]] | IS_FIREABLE [timeout_A_0_1_10_0]] | IS_FIREABLE [timeout_A_0_1_1_0]] | IS_FIREABLE [timeout_A_0_1_2_0]] | IS_FIREABLE [timeout_A_0_1_3_0]] | IS_FIREABLE [timeout_A_0_1_4_0]] | IS_FIREABLE [timeout_A_0_1_5_0]] | IS_FIREABLE [timeout_A_0_1_6_0]] | IS_FIREABLE [timeout_A_0_1_7_0]] | IS_FIREABLE [timeout_A_0_1_8_0]] | IS_FIREABLE [timeout_A_0_1_9_0]] | IS_FIREABLE [timeout_A_0_20_0_0]] | IS_FIREABLE [timeout_A_0_20_10_0]] | IS_FIREABLE [timeout_A_0_20_1_0]] | IS_FIREABLE [timeout_A_0_20_2_0]] | IS_FIREABLE [timeout_A_0_20_3_0]] | IS_FIREABLE [timeout_A_0_20_4_0]] | IS_FIREABLE [timeout_A_0_20_5_0]] | IS_FIREABLE [timeout_A_0_20_6_0]] | IS_FIREABLE [timeout_A_0_20_7_0]] | IS_FIREABLE [timeout_A_0_20_8_0]] | IS_FIREABLE [timeout_A_0_20_9_0]] | IS_FIREABLE [timeout_A_0_2_0_0]] | IS_FIREABLE [timeout_A_0_2_10_0]] | IS_FIREABLE [timeout_A_0_2_1_0]] | IS_FIREABLE [timeout_A_0_2_2_0]] | IS_FIREABLE [timeout_A_0_2_3_0]] | IS_FIREABLE [timeout_A_0_2_4_0]] | IS_FIREABLE [timeout_A_0_2_5_0]] | IS_FIREABLE [timeout_A_0_2_6_0]] | IS_FIREABLE [timeout_A_0_2_7_0]] | IS_FIREABLE [timeout_A_0_2_8_0]] | IS_FIREABLE [timeout_A_0_2_9_0]] | IS_FIREABLE [timeout_A_0_3_0_0]] | IS_FIREABLE [timeout_A_0_3_10_0]] | IS_FIREABLE [timeout_A_0_3_1_0]] | IS_FIREABLE [timeout_A_0_3_2_0]] | IS_FIREABLE [timeout_A_0_3_3_0]] | IS_FIREABLE [timeout_A_0_3_4_0]] | IS_FIREABLE [timeout_A_0_3_5_0]] | IS_FIREABLE [timeout_A_0_3_6_0]] | IS_FIREABLE [timeout_A_0_3_7_0]] | IS_FIREABLE [timeout_A_0_3_8_0]] | IS_FIREABLE [timeout_A_0_3_9_0]] | IS_FIREABLE [timeout_A_0_4_0_0]] | IS_FIREABLE [timeout_A_0_4_10_0]] | IS_FIREABLE [timeout_A_0_4_1_0]] | IS_FIREABLE [timeout_A_0_4_2_0]] | IS_FIREABLE [timeout_A_0_4_3_0]] | IS_FIREABLE [timeout_A_0_4_4_0]] | IS_FIREABLE [timeout_A_0_4_5_0]] | IS_FIREABLE [timeout_A_0_4_6_0]] | IS_FIREABLE [timeout_A_0_4_7_0]] | IS_FIREABLE [timeout_A_0_4_8_0]] | IS_FIREABLE [timeout_A_0_4_9_0]] | IS_FIREABLE [timeout_A_0_5_0_0]] | IS_FIREABLE [timeout_A_0_5_10_0]] | IS_FIREABLE [timeout_A_0_5_1_0]] | IS_FIREABLE [timeout_A_0_5_2_0]] | IS_FIREABLE [timeout_A_0_5_3_0]] | IS_FIREABLE [timeout_A_0_5_4_0]] | IS_FIREABLE [timeout_A_0_5_5_0]] | IS_FIREABLE [timeout_A_0_5_6_0]] | IS_FIREABLE [timeout_A_0_5_7_0]] | IS_FIREABLE [timeout_A_0_5_8_0]] | IS_FIREABLE [timeout_A_0_5_9_0]] | IS_FIREABLE [timeout_A_0_6_0_0]] | IS_FIREABLE [timeout_A_0_6_10_0]] | IS_FIREABLE [timeout_A_0_6_1_0]] | IS_FIREABLE [timeout_A_0_6_2_0]] | IS_FIREABLE [timeout_A_0_6_3_0]] | IS_FIREABLE [timeout_A_0_6_4_0]] | IS_FIREABLE [timeout_A_0_6_5_0]] | IS_FIREABLE [timeout_A_0_6_6_0]] | IS_FIREABLE [timeout_A_0_6_7_0]] | IS_FIREABLE [timeout_A_0_6_8_0]] | IS_FIREABLE [timeout_A_0_6_9_0]] | IS_FIREABLE [timeout_A_0_7_0_0]] | IS_FIREABLE [timeout_A_0_7_10_0]] | IS_FIREABLE [timeout_A_0_7_1_0]] | IS_FIREABLE [timeout_A_0_7_2_0]] | IS_FIREABLE [timeout_A_0_7_3_0]] | IS_FIREABLE [timeout_A_0_7_4_0]] | IS_FIREABLE [timeout_A_0_7_5_0]] | IS_FIREABLE [timeout_A_0_7_6_0]] | IS_FIREABLE [timeout_A_0_7_7_0]] | IS_FIREABLE [timeout_A_0_7_8_0]] | IS_FIREABLE [timeout_A_0_7_9_0]] | IS_FIREABLE [timeout_A_0_8_0_0]] | IS_FIREABLE [timeout_A_0_8_10_0]] | IS_FIREABLE [timeout_A_0_8_1_0]] | IS_FIREABLE [timeout_A_0_8_2_0]] | IS_FIREABLE [timeout_A_0_8_3_0]] | IS_FIREABLE [timeout_A_0_8_4_0]] | IS_FIREABLE [timeout_A_0_8_5_0]] | IS_FIREABLE [timeout_A_0_8_6_0]] | IS_FIREABLE [timeout_A_0_8_7_0]] | IS_FIREABLE [timeout_A_0_8_8_0]] | IS_FIREABLE [timeout_A_0_8_9_0]] | IS_FIREABLE [timeout_A_0_9_0_0]] | IS_FIREABLE [timeout_A_0_9_10_0]] | IS_FIREABLE [timeout_A_0_9_1_0]] | IS_FIREABLE [timeout_A_0_9_2_0]] | IS_FIREABLE [timeout_A_0_9_3_0]] | IS_FIREABLE [timeout_A_0_9_4_0]] | IS_FIREABLE [timeout_A_0_9_5_0]] | IS_FIREABLE [timeout_A_0_9_6_0]] | IS_FIREABLE [timeout_A_0_9_7_0]] | IS_FIREABLE [timeout_A_0_9_8_0]] | IS_FIREABLE [timeout_A_0_9_9_0]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]] | IS_FIREABLE [timeout_A_0_10_1_0]] | IS_FIREABLE [timeout_A_0_10_2_0]] | IS_FIREABLE [timeout_A_0_10_3_0]] | IS_FIREABLE [timeout_A_0_10_4_0]] | IS_FIREABLE [timeout_A_0_10_5_0]] | IS_FIREABLE [timeout_A_0_10_6_0]] | IS_FIREABLE [timeout_A_0_10_7_0]] | IS_FIREABLE [timeout_A_0_10_8_0]] | IS_FIREABLE [timeout_A_0_10_9_0]] | IS_FIREABLE [timeout_A_0_11_0_0]] | IS_FIREABLE [timeout_A_0_11_10_0]] | IS_FIREABLE [timeout_A_0_11_1_0]] | IS_FIREABLE [timeout_A_0_11_2_0]] | IS_FIREABLE [timeout_A_0_11_3_0]] | IS_FIREABLE [timeout_A_0_11_4_0]] | IS_FIREABLE [timeout_A_0_11_5_0]] | IS_FIREABLE [timeout_A_0_11_6_0]] | IS_FIREABLE [timeout_A_0_11_7_0]] | IS_FIREABLE [timeout_A_0_11_8_0]] | IS_FIREABLE [timeout_A_0_11_9_0]] | IS_FIREABLE [timeout_A_0_12_0_0]] | IS_FIREABLE [timeout_A_0_12_10_0]] | IS_FIREABLE [timeout_A_0_12_1_0]] | IS_FIREABLE [timeout_A_0_12_2_0]] | IS_FIREABLE [timeout_A_0_12_3_0]] | IS_FIREABLE [timeout_A_0_12_4_0]] | IS_FIREABLE [timeout_A_0_12_5_0]] | IS_FIREABLE [timeout_A_0_12_6_0]] | IS_FIREABLE [timeout_A_0_12_7_0]] | IS_FIREABLE [timeout_A_0_12_8_0]] | IS_FIREABLE [timeout_A_0_12_9_0]] | IS_FIREABLE [timeout_A_0_13_0_0]] | IS_FIREABLE [timeout_A_0_13_10_0]] | IS_FIREABLE [timeout_A_0_13_1_0]] | IS_FIREABLE [timeout_A_0_13_2_0]] | IS_FIREABLE [timeout_A_0_13_3_0]] | IS_FIREABLE [timeout_A_0_13_4_0]] | IS_FIREABLE [timeout_A_0_13_5_0]] | IS_FIREABLE [timeout_A_0_13_6_0]] | IS_FIREABLE [timeout_A_0_13_7_0]] | IS_FIREABLE [timeout_A_0_13_8_0]] | IS_FIREABLE [timeout_A_0_13_9_0]] | IS_FIREABLE [timeout_A_0_14_0_0]] | IS_FIREABLE [timeout_A_0_14_10_0]] | IS_FIREABLE [timeout_A_0_14_1_0]] | IS_FIREABLE [timeout_A_0_14_2_0]] | IS_FIREABLE [timeout_A_0_14_3_0]] | IS_FIREABLE [timeout_A_0_14_4_0]] | IS_FIREABLE [timeout_A_0_14_5_0]] | IS_FIREABLE [timeout_A_0_14_6_0]] | IS_FIREABLE [timeout_A_0_14_7_0]] | IS_FIREABLE [timeout_A_0_14_8_0]] | IS_FIREABLE [timeout_A_0_14_9_0]] | IS_FIREABLE [timeout_A_0_15_0_0]] | IS_FIREABLE [timeout_A_0_15_10_0]] | IS_FIREABLE [timeout_A_0_15_1_0]] | IS_FIREABLE [timeout_A_0_15_2_0]] | IS_FIREABLE [timeout_A_0_15_3_0]] | IS_FIREABLE [timeout_A_0_15_4_0]] | IS_FIREABLE [timeout_A_0_15_5_0]] | IS_FIREABLE [timeout_A_0_15_6_0]] | IS_FIREABLE [timeout_A_0_15_7_0]] | IS_FIREABLE [timeout_A_0_15_8_0]] | IS_FIREABLE [timeout_A_0_15_9_0]] | IS_FIREABLE [timeout_A_0_16_0_0]] | IS_FIREABLE [timeout_A_0_16_10_0]] | IS_FIREABLE [timeout_A_0_16_1_0]] | IS_FIREABLE [timeout_A_0_16_2_0]] | IS_FIREABLE [timeout_A_0_16_3_0]] | IS_FIREABLE [timeout_A_0_16_4_0]] | IS_FIREABLE [timeout_A_0_16_5_0]] | IS_FIREABLE [timeout_A_0_16_6_0]] | IS_FIREABLE [timeout_A_0_16_7_0]] | IS_FIREABLE [timeout_A_0_16_8_0]] | IS_FIREABLE [timeout_A_0_16_9_0]] | IS_FIREABLE [timeout_A_0_17_0_0]] | IS_FIREABLE [timeout_A_0_17_10_0]] | IS_FIREABLE [timeout_A_0_17_1_0]] | IS_FIREABLE [timeout_A_0_17_2_0]] | IS_FIREABLE [timeout_A_0_17_3_0]] | IS_FIREABLE [timeout_A_0_17_4_0]] | IS_FIREABLE [timeout_A_0_17_5_0]] | IS_FIREABLE [timeout_A_0_17_6_0]] | IS_FIREABLE [timeout_A_0_17_7_0]] | IS_FIREABLE [timeout_A_0_17_8_0]] | IS_FIREABLE [timeout_A_0_17_9_0]] | IS_FIREABLE [timeout_A_0_18_0_0]] | IS_FIREABLE [timeout_A_0_18_10_0]] | IS_FIREABLE [timeout_A_0_18_1_0]] | IS_FIREABLE [timeout_A_0_18_2_0]] | IS_FIREABLE [timeout_A_0_18_3_0]] | IS_FIREABLE [timeout_A_0_18_4_0]] | IS_FIREABLE [timeout_A_0_18_5_0]] | IS_FIREABLE [timeout_A_0_18_6_0]] | IS_FIREABLE [timeout_A_0_18_7_0]] | IS_FIREABLE [timeout_A_0_18_8_0]] | IS_FIREABLE [timeout_A_0_18_9_0]] | IS_FIREABLE [timeout_A_0_19_0_0]] | IS_FIREABLE [timeout_A_0_19_10_0]] | IS_FIREABLE [timeout_A_0_19_1_0]] | IS_FIREABLE [timeout_A_0_19_2_0]] | IS_FIREABLE [timeout_A_0_19_3_0]] | IS_FIREABLE [timeout_A_0_19_4_0]] | IS_FIREABLE [timeout_A_0_19_5_0]] | IS_FIREABLE [timeout_A_0_19_6_0]] | IS_FIREABLE [timeout_A_0_19_7_0]] | IS_FIREABLE [timeout_A_0_19_8_0]] | IS_FIREABLE [timeout_A_0_19_9_0]] | IS_FIREABLE [timeout_A_0_1_0_0]] | IS_FIREABLE [timeout_A_0_1_10_0]] | IS_FIREABLE [timeout_A_0_1_1_0]] | IS_FIREABLE [timeout_A_0_1_2_0]] | IS_FIREABLE [timeout_A_0_1_3_0]] | IS_FIREABLE [timeout_A_0_1_4_0]] | IS_FIREABLE [timeout_A_0_1_5_0]] | IS_FIREABLE [timeout_A_0_1_6_0]] | IS_FIREABLE [timeout_A_0_1_7_0]] | IS_FIREABLE [timeout_A_0_1_8_0]] | IS_FIREABLE [timeout_A_0_1_9_0]] | IS_FIREABLE [timeout_A_0_20_0_0]] | IS_FIREABLE [timeout_A_0_20_10_0]] | IS_FIREABLE [timeout_A_0_20_1_0]] | IS_FIREABLE [timeout_A_0_20_2_0]] | IS_FIREABLE [timeout_A_0_20_3_0]] | IS_FIREABLE [timeout_A_0_20_4_0]] | IS_FIREABLE [timeout_A_0_20_5_0]] | IS_FIREABLE [timeout_A_0_20_6_0]] | IS_FIREABLE [timeout_A_0_20_7_0]] | IS_FIREABLE [timeout_A_0_20_8_0]] | IS_FIREABLE [timeout_A_0_20_9_0]] | IS_FIREABLE [timeout_A_0_2_0_0]] | IS_FIREABLE [timeout_A_0_2_10_0]] | IS_FIREABLE [timeout_A_0_2_1_0]] | IS_FIREABLE [timeout_A_0_2_2_0]] | IS_FIREABLE [timeout_A_0_2_3_0]] | IS_FIREABLE [timeout_A_0_2_4_0]] | IS_FIREABLE [timeout_A_0_2_5_0]] | IS_FIREABLE [timeout_A_0_2_6_0]] | IS_FIREABLE [timeout_A_0_2_7_0]] | IS_FIREABLE [timeout_A_0_2_8_0]] | IS_FIREABLE [timeout_A_0_2_9_0]] | IS_FIREABLE [timeout_A_0_3_0_0]] | IS_FIREABLE [timeout_A_0_3_10_0]] | IS_FIREABLE [timeout_A_0_3_1_0]] | IS_FIREABLE [timeout_A_0_3_2_0]] | IS_FIREABLE [timeout_A_0_3_3_0]] | IS_FIREABLE [timeout_A_0_3_4_0]] | IS_FIREABLE [timeout_A_0_3_5_0]] | IS_FIREABLE [timeout_A_0_3_6_0]] | IS_FIREABLE [timeout_A_0_3_7_0]] | IS_FIREABLE [timeout_A_0_3_8_0]] | IS_FIREABLE [timeout_A_0_3_9_0]] | IS_FIREABLE [timeout_A_0_4_0_0]] | IS_FIREABLE [timeout_A_0_4_10_0]] | IS_FIREABLE [timeout_A_0_4_1_0]] | IS_FIREABLE [timeout_A_0_4_2_0]] | IS_FIREABLE [timeout_A_0_4_3_0]] | IS_FIREABLE [timeout_A_0_4_4_0]] | IS_FIREABLE [timeout_A_0_4_5_0]] | IS_FIREABLE [timeout_A_0_4_6_0]] | IS_FIREABLE [timeout_A_0_4_7_0]] | IS_FIREABLE [timeout_A_0_4_8_0]] | IS_FIREABLE [timeout_A_0_4_9_0]] | IS_FIREABLE [timeout_A_0_5_0_0]] | IS_FIREABLE [timeout_A_0_5_10_0]] | IS_FIREABLE [timeout_A_0_5_1_0]] | IS_FIREABLE [timeout_A_0_5_2_0]] | IS_FIREABLE [timeout_A_0_5_3_0]] | IS_FIREABLE [timeout_A_0_5_4_0]] | IS_FIREABLE [timeout_A_0_5_5_0]] | IS_FIREABLE [timeout_A_0_5_6_0]] | IS_FIREABLE [timeout_A_0_5_7_0]] | IS_FIREABLE [timeout_A_0_5_8_0]] | IS_FIREABLE [timeout_A_0_5_9_0]] | IS_FIREABLE [timeout_A_0_6_0_0]] | IS_FIREABLE [timeout_A_0_6_10_0]] | IS_FIREABLE [timeout_A_0_6_1_0]] | IS_FIREABLE [timeout_A_0_6_2_0]] | IS_FIREABLE [timeout_A_0_6_3_0]] | IS_FIREABLE [timeout_A_0_6_4_0]] | IS_FIREABLE [timeout_A_0_6_5_0]] | IS_FIREABLE [timeout_A_0_6_6_0]] | IS_FIREABLE [timeout_A_0_6_7_0]] | IS_FIREABLE [timeout_A_0_6_8_0]] | IS_FIREABLE [timeout_A_0_6_9_0]] | IS_FIREABLE [timeout_A_0_7_0_0]] | IS_FIREABLE [timeout_A_0_7_10_0]] | IS_FIREABLE [timeout_A_0_7_1_0]] | IS_FIREABLE [timeout_A_0_7_2_0]] | IS_FIREABLE [timeout_A_0_7_3_0]] | IS_FIREABLE [timeout_A_0_7_4_0]] | IS_FIREABLE [timeout_A_0_7_5_0]] | IS_FIREABLE [timeout_A_0_7_6_0]] | IS_FIREABLE [timeout_A_0_7_7_0]] | IS_FIREABLE [timeout_A_0_7_8_0]] | IS_FIREABLE [timeout_A_0_7_9_0]] | IS_FIREABLE [timeout_A_0_8_0_0]] | IS_FIREABLE [timeout_A_0_8_10_0]] | IS_FIREABLE [timeout_A_0_8_1_0]] | IS_FIREABLE [timeout_A_0_8_2_0]] | IS_FIREABLE [timeout_A_0_8_3_0]] | IS_FIREABLE [timeout_A_0_8_4_0]] | IS_FIREABLE [timeout_A_0_8_5_0]] | IS_FIREABLE [timeout_A_0_8_6_0]] | IS_FIREABLE [timeout_A_0_8_7_0]] | IS_FIREABLE [timeout_A_0_8_8_0]] | IS_FIREABLE [timeout_A_0_8_9_0]] | IS_FIREABLE [timeout_A_0_9_0_0]] | IS_FIREABLE [timeout_A_0_9_10_0]] | IS_FIREABLE [timeout_A_0_9_1_0]] | IS_FIREABLE [timeout_A_0_9_2_0]] | IS_FIREABLE [timeout_A_0_9_3_0]] | IS_FIREABLE [timeout_A_0_9_4_0]] | IS_FIREABLE [timeout_A_0_9_5_0]] | IS_FIREABLE [timeout_A_0_9_6_0]] | IS_FIREABLE [timeout_A_0_9_7_0]] | IS_FIREABLE [timeout_A_0_9_8_0]] | IS_FIREABLE [timeout_A_0_9_9_0]]] U [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]] | IS_FIREABLE [decision_1_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_3_0]] | IS_FIREABLE [decision_3_1]] | IS_FIREABLE [decision_4_0]] | IS_FIREABLE [decision_4_1]] | IS_FIREABLE [decision_5_0]] | IS_FIREABLE [decision_5_1]] | IS_FIREABLE [decision_6_0]] | IS_FIREABLE [decision_6_1]] | IS_FIREABLE [decision_7_0]] | IS_FIREABLE [decision_7_1]] | IS_FIREABLE [decision_8_0]] | IS_FIREABLE [decision_8_1]] | IS_FIREABLE [decision_9_0]] | IS_FIREABLE [decision_9_1]] & [[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]] | IS_FIREABLE [autorisation_B_12_1]] | IS_FIREABLE [autorisation_B_13_1]] | IS_FIREABLE [autorisation_B_14_1]] | IS_FIREABLE [autorisation_B_15_1]] | IS_FIREABLE [autorisation_B_16_1]] | IS_FIREABLE [autorisation_B_17_1]] | IS_FIREABLE [autorisation_B_18_1]] | IS_FIREABLE [autorisation_B_19_1]] | IS_FIREABLE [autorisation_B_1_1]] | IS_FIREABLE [autorisation_B_20_1]] | IS_FIREABLE [autorisation_B_2_1]] | IS_FIREABLE [autorisation_B_3_1]] | IS_FIREABLE [autorisation_B_4_1]] | IS_FIREABLE [autorisation_B_5_1]] | IS_FIREABLE [autorisation_B_6_1]] | IS_FIREABLE [autorisation_B_7_1]] | IS_FIREABLE [autorisation_B_8_1]] | IS_FIREABLE [autorisation_B_9_1]]]]]
normalized: ~ [EX [~ [E [[[IS_FIREABLE [timeout_A_0_9_9_0] | [IS_FIREABLE [timeout_A_0_9_8_0] | [IS_FIREABLE [timeout_A_0_9_7_0] | [IS_FIREABLE [timeout_A_0_9_6_0] | [IS_FIREABLE [timeout_A_0_9_5_0] | [IS_FIREABLE [timeout_A_0_9_4_0] | [IS_FIREABLE [timeout_A_0_9_3_0] | [IS_FIREABLE [timeout_A_0_9_2_0] | [IS_FIREABLE [timeout_A_0_9_1_0] | [IS_FIREABLE [timeout_A_0_9_10_0] | [IS_FIREABLE [timeout_A_0_9_0_0] | [IS_FIREABLE [timeout_A_0_8_9_0] | [IS_FIREABLE [timeout_A_0_8_8_0] | [IS_FIREABLE [timeout_A_0_8_7_0] | [IS_FIREABLE [timeout_A_0_8_6_0] | [IS_FIREABLE [timeout_A_0_8_5_0] | [IS_FIREABLE [timeout_A_0_8_4_0] | [IS_FIREABLE [timeout_A_0_8_3_0] | [IS_FIREABLE [timeout_A_0_8_2_0] | [IS_FIREABLE [timeout_A_0_8_1_0] | [IS_FIREABLE [timeout_A_0_8_10_0] | [IS_FIREABLE [timeout_A_0_8_0_0] | [IS_FIREABLE [timeout_A_0_7_9_0] | [IS_FIREABLE [timeout_A_0_7_8_0] | [IS_FIREABLE [timeout_A_0_7_7_0] | [IS_FIREABLE [timeout_A_0_7_6_0] | [IS_FIREABLE [timeout_A_0_7_5_0] | [IS_FIREABLE [timeout_A_0_7_4_0] | [IS_FIREABLE [timeout_A_0_7_3_0] | [IS_FIREABLE [timeout_A_0_7_2_0] | [IS_FIREABLE [timeout_A_0_7_1_0] | [IS_FIREABLE [timeout_A_0_7_10_0] | [IS_FIREABLE [timeout_A_0_7_0_0] | [IS_FIREABLE [timeout_A_0_6_9_0] | [IS_FIREABLE [timeout_A_0_6_8_0] | [IS_FIREABLE [timeout_A_0_6_7_0] | [IS_FIREABLE [timeout_A_0_6_6_0] | [IS_FIREABLE [timeout_A_0_6_5_0] | [IS_FIREABLE [timeout_A_0_6_4_0] | [IS_FIREABLE [timeout_A_0_6_3_0] | [IS_FIREABLE [timeout_A_0_6_2_0] | [IS_FIREABLE [timeout_A_0_6_1_0] | [IS_FIREABLE [timeout_A_0_6_10_0] | [IS_FIREABLE [timeout_A_0_6_0_0] | [IS_FIREABLE [timeout_A_0_5_9_0] | [IS_FIREABLE [timeout_A_0_5_8_0] | [IS_FIREABLE [timeout_A_0_5_7_0] | [IS_FIREABLE [timeout_A_0_5_6_0] | [IS_FIREABLE [timeout_A_0_5_5_0] | [IS_FIREABLE [timeout_A_0_5_4_0] | [IS_FIREABLE [timeout_A_0_5_3_0] | [IS_FIREABLE [timeout_A_0_5_2_0] | [IS_FIREABLE [timeout_A_0_5_1_0] | [IS_FIREABLE [timeout_A_0_5_10_0] | [IS_FIREABLE [timeout_A_0_5_0_0] | [IS_FIREABLE [timeout_A_0_4_9_0] | [IS_FIREABLE [timeout_A_0_4_8_0] | [IS_FIREABLE [timeout_A_0_4_7_0] | [IS_FIREABLE [timeout_A_0_4_6_0] | [IS_FIREABLE [timeout_A_0_4_5_0] | [IS_FIREABLE [timeout_A_0_4_4_0] | [IS_FIREABLE [timeout_A_0_4_3_0] | [IS_FIREABLE [timeout_A_0_4_2_0] | [IS_FIREABLE [timeout_A_0_4_1_0] | [IS_FIREABLE [timeout_A_0_4_10_0] | [IS_FIREABLE [timeout_A_0_4_0_0] | [IS_FIREABLE [timeout_A_0_3_9_0] | [IS_FIREABLE [timeout_A_0_3_8_0] | [IS_FIREABLE [timeout_A_0_3_7_0] | [IS_FIREABLE [timeout_A_0_3_6_0] | [IS_FIREABLE [timeout_A_0_3_5_0] | [IS_FIREABLE [timeout_A_0_3_4_0] | [IS_FIREABLE [timeout_A_0_3_3_0] | [IS_FIREABLE [timeout_A_0_3_2_0] | [IS_FIREABLE [timeout_A_0_3_1_0] | [IS_FIREABLE [timeout_A_0_3_10_0] | [IS_FIREABLE [timeout_A_0_3_0_0] | [IS_FIREABLE [timeout_A_0_2_9_0] | [IS_FIREABLE [timeout_A_0_2_8_0] | [IS_FIREABLE [timeout_A_0_2_7_0] | [IS_FIREABLE [timeout_A_0_2_6_0] | [IS_FIREABLE [timeout_A_0_2_5_0] | [IS_FIREABLE [timeout_A_0_2_4_0] | [IS_FIREABLE [timeout_A_0_2_3_0] | [IS_FIREABLE [timeout_A_0_2_2_0] | [IS_FIREABLE [timeout_A_0_2_1_0] | [IS_FIREABLE [timeout_A_0_2_10_0] | [IS_FIREABLE [timeout_A_0_2_0_0] | [IS_FIREABLE [timeout_A_0_20_9_0] | [IS_FIREABLE [timeout_A_0_20_8_0] | [IS_FIREABLE [timeout_A_0_20_7_0] | [IS_FIREABLE [timeout_A_0_20_6_0] | [IS_FIREABLE [timeout_A_0_20_5_0] | [IS_FIREABLE [timeout_A_0_20_4_0] | [IS_FIREABLE [timeout_A_0_20_3_0] | [IS_FIREABLE [timeout_A_0_20_2_0] | [IS_FIREABLE [timeout_A_0_20_1_0] | [IS_FIREABLE [timeout_A_0_20_10_0] | [IS_FIREABLE [timeout_A_0_20_0_0] | [IS_FIREABLE [timeout_A_0_1_9_0] | [IS_FIREABLE [timeout_A_0_1_8_0] | [IS_FIREABLE [timeout_A_0_1_7_0] | [IS_FIREABLE [timeout_A_0_1_6_0] | [IS_FIREABLE [timeout_A_0_1_5_0] | [IS_FIREABLE [timeout_A_0_1_4_0] | [IS_FIREABLE [timeout_A_0_1_3_0] | [IS_FIREABLE [timeout_A_0_1_2_0] | [IS_FIREABLE [timeout_A_0_1_1_0] | [IS_FIREABLE [timeout_A_0_1_10_0] | [IS_FIREABLE [timeout_A_0_1_0_0] | [IS_FIREABLE [timeout_A_0_19_9_0] | [IS_FIREABLE [timeout_A_0_19_8_0] | [IS_FIREABLE [timeout_A_0_19_7_0] | [IS_FIREABLE [timeout_A_0_19_6_0] | [IS_FIREABLE [timeout_A_0_19_5_0] | [IS_FIREABLE [timeout_A_0_19_4_0] | [IS_FIREABLE [timeout_A_0_19_3_0] | [IS_FIREABLE [timeout_A_0_19_2_0] | [IS_FIREABLE [timeout_A_0_19_1_0] | [IS_FIREABLE [timeout_A_0_19_10_0] | [IS_FIREABLE [timeout_A_0_19_0_0] | [IS_FIREABLE [timeout_A_0_18_9_0] | [IS_FIREABLE [timeout_A_0_18_8_0] | [IS_FIREABLE [timeout_A_0_18_7_0] | [IS_FIREABLE [timeout_A_0_18_6_0] | [IS_FIREABLE [timeout_A_0_18_5_0] | [IS_FIREABLE [timeout_A_0_18_4_0] | [IS_FIREABLE [timeout_A_0_18_3_0] | [IS_FIREABLE [timeout_A_0_18_2_0] | [IS_FIREABLE [timeout_A_0_18_1_0] | [IS_FIREABLE [timeout_A_0_18_10_0] | [IS_FIREABLE [timeout_A_0_18_0_0] | [IS_FIREABLE [timeout_A_0_17_9_0] | [IS_FIREABLE [timeout_A_0_17_8_0] | [IS_FIREABLE [timeout_A_0_17_7_0] | [IS_FIREABLE [timeout_A_0_17_6_0] | [IS_FIREABLE [timeout_A_0_17_5_0] | [IS_FIREABLE [timeout_A_0_17_4_0] | [IS_FIREABLE [timeout_A_0_17_3_0] | [IS_FIREABLE [timeout_A_0_17_2_0] | [IS_FIREABLE [timeout_A_0_17_1_0] | [IS_FIREABLE [timeout_A_0_17_10_0] | [IS_FIREABLE [timeout_A_0_17_0_0] | [IS_FIREABLE [timeout_A_0_16_9_0] | [IS_FIREABLE [timeout_A_0_16_8_0] | [IS_FIREABLE [timeout_A_0_16_7_0] | [IS_FIREABLE [timeout_A_0_16_6_0] | [IS_FIREABLE [timeout_A_0_16_5_0] | [IS_FIREABLE [timeout_A_0_16_4_0] | [IS_FIREABLE [timeout_A_0_16_3_0] | [IS_FIREABLE [timeout_A_0_16_2_0] | [IS_FIREABLE [timeout_A_0_16_1_0] | [IS_FIREABLE [timeout_A_0_16_10_0] | [IS_FIREABLE [timeout_A_0_16_0_0] | [IS_FIREABLE [timeout_A_0_15_9_0] | [IS_FIREABLE [timeout_A_0_15_8_0] | [IS_FIREABLE [timeout_A_0_15_7_0] | [IS_FIREABLE [timeout_A_0_15_6_0] | [IS_FIREABLE [timeout_A_0_15_5_0] | [IS_FIREABLE [timeout_A_0_15_4_0] | [IS_FIREABLE [timeout_A_0_15_3_0] | [IS_FIREABLE [timeout_A_0_15_2_0] | [IS_FIREABLE [timeout_A_0_15_1_0] | [IS_FIREABLE [timeout_A_0_15_10_0] | [IS_FIREABLE [timeout_A_0_15_0_0] | [IS_FIREABLE [timeout_A_0_14_9_0] | [IS_FIREABLE [timeout_A_0_14_8_0] | [IS_FIREABLE [timeout_A_0_14_7_0] | [IS_FIREABLE [timeout_A_0_14_6_0] | [IS_FIREABLE [timeout_A_0_14_5_0] | [IS_FIREABLE [timeout_A_0_14_4_0] | [IS_FIREABLE [timeout_A_0_14_3_0] | [IS_FIREABLE [timeout_A_0_14_2_0] | [IS_FIREABLE [timeout_A_0_14_1_0] | [IS_FIREABLE [timeout_A_0_14_10_0] | [IS_FIREABLE [timeout_A_0_14_0_0] | [IS_FIREABLE [timeout_A_0_13_9_0] | [IS_FIREABLE [timeout_A_0_13_8_0] | [IS_FIREABLE [timeout_A_0_13_7_0] | [IS_FIREABLE [timeout_A_0_13_6_0] | [IS_FIREABLE [timeout_A_0_13_5_0] | [IS_FIREABLE [timeout_A_0_13_4_0] | [IS_FIREABLE [timeout_A_0_13_3_0] | [IS_FIREABLE [timeout_A_0_13_2_0] | [IS_FIREABLE [timeout_A_0_13_1_0] | [IS_FIREABLE [timeout_A_0_13_10_0] | [IS_FIREABLE [timeout_A_0_13_0_0] | [IS_FIREABLE [timeout_A_0_12_9_0] | [IS_FIREABLE [timeout_A_0_12_8_0] | [IS_FIREABLE [timeout_A_0_12_7_0] | [IS_FIREABLE [timeout_A_0_12_6_0] | [IS_FIREABLE [timeout_A_0_12_5_0] | [IS_FIREABLE [timeout_A_0_12_4_0] | [IS_FIREABLE [timeout_A_0_12_3_0] | [IS_FIREABLE [timeout_A_0_12_2_0] | [IS_FIREABLE [timeout_A_0_12_1_0] | [IS_FIREABLE [timeout_A_0_12_10_0] | [IS_FIREABLE [timeout_A_0_12_0_0] | [IS_FIREABLE [timeout_A_0_11_9_0] | [IS_FIREABLE [timeout_A_0_11_8_0] | [IS_FIREABLE [timeout_A_0_11_7_0] | [IS_FIREABLE [timeout_A_0_11_6_0] | [IS_FIREABLE [timeout_A_0_11_5_0] | [IS_FIREABLE [timeout_A_0_11_4_0] | [IS_FIREABLE [timeout_A_0_11_3_0] | [IS_FIREABLE [timeout_A_0_11_2_0] | [IS_FIREABLE [timeout_A_0_11_1_0] | [IS_FIREABLE [timeout_A_0_11_10_0] | [IS_FIREABLE [timeout_A_0_11_0_0] | [IS_FIREABLE [timeout_A_0_10_9_0] | [IS_FIREABLE [timeout_A_0_10_8_0] | [IS_FIREABLE [timeout_A_0_10_7_0] | [IS_FIREABLE [timeout_A_0_10_6_0] | [IS_FIREABLE [timeout_A_0_10_5_0] | [IS_FIREABLE [timeout_A_0_10_4_0] | [IS_FIREABLE [timeout_A_0_10_3_0] | [IS_FIREABLE [timeout_A_0_10_2_0] | [IS_FIREABLE [timeout_A_0_10_1_0] | [IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [timeout_A_0_9_9_0] | [IS_FIREABLE [timeout_A_0_9_8_0] | [IS_FIREABLE [timeout_A_0_9_7_0] | [IS_FIREABLE [timeout_A_0_9_6_0] | [IS_FIREABLE [timeout_A_0_9_5_0] | [IS_FIREABLE [timeout_A_0_9_4_0] | [IS_FIREABLE [timeout_A_0_9_3_0] | [IS_FIREABLE [timeout_A_0_9_2_0] | [IS_FIREABLE [timeout_A_0_9_1_0] | [IS_FIREABLE [timeout_A_0_9_10_0] | [IS_FIREABLE [timeout_A_0_9_0_0] | [IS_FIREABLE [timeout_A_0_8_9_0] | [IS_FIREABLE [timeout_A_0_8_8_0] | [IS_FIREABLE [timeout_A_0_8_7_0] | [IS_FIREABLE [timeout_A_0_8_6_0] | [IS_FIREABLE [timeout_A_0_8_5_0] | [IS_FIREABLE [timeout_A_0_8_4_0] | [IS_FIREABLE [timeout_A_0_8_3_0] | [IS_FIREABLE [timeout_A_0_8_2_0] | [IS_FIREABLE [timeout_A_0_8_1_0] | [IS_FIREABLE [timeout_A_0_8_10_0] | [IS_FIREABLE [timeout_A_0_8_0_0] | [IS_FIREABLE [timeout_A_0_7_9_0] | [IS_FIREABLE [timeout_A_0_7_8_0] | [IS_FIREABLE [timeout_A_0_7_7_0] | [IS_FIREABLE [timeout_A_0_7_6_0] | [IS_FIREABLE [timeout_A_0_7_5_0] | [IS_FIREABLE [timeout_A_0_7_4_0] | [IS_FIREABLE [timeout_A_0_7_3_0] | [IS_FIREABLE [timeout_A_0_7_2_0] | [IS_FIREABLE [timeout_A_0_7_1_0] | [IS_FIREABLE [timeout_A_0_7_10_0] | [IS_FIREABLE [timeout_A_0_7_0_0] | [IS_FIREABLE [timeout_A_0_6_9_0] | [IS_FIREABLE [timeout_A_0_6_8_0] | [IS_FIREABLE [timeout_A_0_6_7_0] | [IS_FIREABLE [timeout_A_0_6_6_0] | [IS_FIREABLE [timeout_A_0_6_5_0] | [IS_FIREABLE [timeout_A_0_6_4_0] | [IS_FIREABLE [timeout_A_0_6_3_0] | [IS_FIREABLE [timeout_A_0_6_2_0] | [IS_FIREABLE [timeout_A_0_6_1_0] | [IS_FIREABLE [timeout_A_0_6_10_0] | [IS_FIREABLE [timeout_A_0_6_0_0] | [IS_FIREABLE [timeout_A_0_5_9_0] | [IS_FIREABLE [timeout_A_0_5_8_0] | [IS_FIREABLE [timeout_A_0_5_7_0] | [IS_FIREABLE [timeout_A_0_5_6_0] | [IS_FIREABLE [timeout_A_0_5_5_0] | [IS_FIREABLE [timeout_A_0_5_4_0] | [IS_FIREABLE [timeout_A_0_5_3_0] | [IS_FIREABLE [timeout_A_0_5_2_0] | [IS_FIREABLE [timeout_A_0_5_1_0] | [IS_FIREABLE [timeout_A_0_5_10_0] | [IS_FIREABLE [timeout_A_0_5_0_0] | [IS_FIREABLE [timeout_A_0_4_9_0] | [IS_FIREABLE [timeout_A_0_4_8_0] | [IS_FIREABLE [timeout_A_0_4_7_0] | [IS_FIREABLE [timeout_A_0_4_6_0] | [IS_FIREABLE [timeout_A_0_4_5_0] | [IS_FIREABLE [timeout_A_0_4_4_0] | [IS_FIREABLE [timeout_A_0_4_3_0] | [IS_FIREABLE [timeout_A_0_4_2_0] | [IS_FIREABLE [timeout_A_0_4_1_0] | [IS_FIREABLE [timeout_A_0_4_10_0] | [IS_FIREABLE [timeout_A_0_4_0_0] | [IS_FIREABLE [timeout_A_0_3_9_0] | [IS_FIREABLE [timeout_A_0_3_8_0] | [IS_FIREABLE [timeout_A_0_3_7_0] | [IS_FIREABLE [timeout_A_0_3_6_0] | [IS_FIREABLE [timeout_A_0_3_5_0] | [IS_FIREABLE [timeout_A_0_3_4_0] | [IS_FIREABLE [timeout_A_0_3_3_0] | [IS_FIREABLE [timeout_A_0_3_2_0] | [IS_FIREABLE [timeout_A_0_3_1_0] | [IS_FIREABLE [timeout_A_0_3_10_0] | [IS_FIREABLE [timeout_A_0_3_0_0] | [IS_FIREABLE [timeout_A_0_2_9_0] | [IS_FIREABLE [timeout_A_0_2_8_0] | [IS_FIREABLE [timeout_A_0_2_7_0] | [IS_FIREABLE [timeout_A_0_2_6_0] | [IS_FIREABLE [timeout_A_0_2_5_0] | [IS_FIREABLE [timeout_A_0_2_4_0] | [IS_FIREABLE [timeout_A_0_2_3_0] | [IS_FIREABLE [timeout_A_0_2_2_0] | [IS_FIREABLE [timeout_A_0_2_1_0] | [IS_FIREABLE [timeout_A_0_2_10_0] | [IS_FIREABLE [timeout_A_0_2_0_0] | [IS_FIREABLE [timeout_A_0_20_9_0] | [IS_FIREABLE [timeout_A_0_20_8_0] | [IS_FIREABLE [timeout_A_0_20_7_0] | [IS_FIREABLE [timeout_A_0_20_6_0] | [IS_FIREABLE [timeout_A_0_20_5_0] | [IS_FIREABLE [timeout_A_0_20_4_0] | [IS_FIREABLE [timeout_A_0_20_3_0] | [IS_FIREABLE [timeout_A_0_20_2_0] | [IS_FIREABLE [timeout_A_0_20_1_0] | [IS_FIREABLE [timeout_A_0_20_10_0] | [IS_FIREABLE [timeout_A_0_20_0_0] | [IS_FIREABLE [timeout_A_0_1_9_0] | [IS_FIREABLE [timeout_A_0_1_8_0] | [IS_FIREABLE [timeout_A_0_1_7_0] | [IS_FIREABLE [timeout_A_0_1_6_0] | [IS_FIREABLE [timeout_A_0_1_5_0] | [IS_FIREABLE [timeout_A_0_1_4_0] | [IS_FIREABLE [timeout_A_0_1_3_0] | [IS_FIREABLE [timeout_A_0_1_2_0] | [IS_FIREABLE [timeout_A_0_1_1_0] | [IS_FIREABLE [timeout_A_0_1_10_0] | [IS_FIREABLE [timeout_A_0_1_0_0] | [IS_FIREABLE [timeout_A_0_19_9_0] | [IS_FIREABLE [timeout_A_0_19_8_0] | [IS_FIREABLE [timeout_A_0_19_7_0] | [IS_FIREABLE [timeout_A_0_19_6_0] | [IS_FIREABLE [timeout_A_0_19_5_0] | [IS_FIREABLE [timeout_A_0_19_4_0] | [IS_FIREABLE [timeout_A_0_19_3_0] | [IS_FIREABLE [timeout_A_0_19_2_0] | [IS_FIREABLE [timeout_A_0_19_1_0] | [IS_FIREABLE [timeout_A_0_19_10_0] | [IS_FIREABLE [timeout_A_0_19_0_0] | [IS_FIREABLE [timeout_A_0_18_9_0] | [IS_FIREABLE [timeout_A_0_18_8_0] | [IS_FIREABLE [timeout_A_0_18_7_0] | [IS_FIREABLE [timeout_A_0_18_6_0] | [IS_FIREABLE [timeout_A_0_18_5_0] | [IS_FIREABLE [timeout_A_0_18_4_0] | [IS_FIREABLE [timeout_A_0_18_3_0] | [IS_FIREABLE [timeout_A_0_18_2_0] | [IS_FIREABLE [timeout_A_0_18_1_0] | [IS_FIREABLE [timeout_A_0_18_10_0] | [IS_FIREABLE [timeout_A_0_18_0_0] | [IS_FIREABLE [timeout_A_0_17_9_0] | [IS_FIREABLE [timeout_A_0_17_8_0] | [IS_FIREABLE [timeout_A_0_17_7_0] | [IS_FIREABLE [timeout_A_0_17_6_0] | [IS_FIREABLE [timeout_A_0_17_5_0] | [IS_FIREABLE [timeout_A_0_17_4_0] | [IS_FIREABLE [timeout_A_0_17_3_0] | [IS_FIREABLE [timeout_A_0_17_2_0] | [IS_FIREABLE [timeout_A_0_17_1_0] | [IS_FIREABLE [timeout_A_0_17_10_0] | [IS_FIREABLE [timeout_A_0_17_0_0] | [IS_FIREABLE [timeout_A_0_16_9_0] | [IS_FIREABLE [timeout_A_0_16_8_0] | [IS_FIREABLE [timeout_A_0_16_7_0] | [IS_FIREABLE [timeout_A_0_16_6_0] | [IS_FIREABLE [timeout_A_0_16_5_0] | [IS_FIREABLE [timeout_A_0_16_4_0] | [IS_FIREABLE [timeout_A_0_16_3_0] | [IS_FIREABLE [timeout_A_0_16_2_0] | [IS_FIREABLE [timeout_A_0_16_1_0] | [IS_FIREABLE [timeout_A_0_16_10_0] | [IS_FIREABLE [timeout_A_0_16_0_0] | [IS_FIREABLE [timeout_A_0_15_9_0] | [IS_FIREABLE [timeout_A_0_15_8_0] | [IS_FIREABLE [timeout_A_0_15_7_0] | [IS_FIREABLE [timeout_A_0_15_6_0] | [IS_FIREABLE [timeout_A_0_15_5_0] | [IS_FIREABLE [timeout_A_0_15_4_0] | [IS_FIREABLE [timeout_A_0_15_3_0] | [IS_FIREABLE [timeout_A_0_15_2_0] | [IS_FIREABLE [timeout_A_0_15_1_0] | [IS_FIREABLE [timeout_A_0_15_10_0] | [IS_FIREABLE [timeout_A_0_15_0_0] | [IS_FIREABLE [timeout_A_0_14_9_0] | [IS_FIREABLE [timeout_A_0_14_8_0] | [IS_FIREABLE [timeout_A_0_14_7_0] | [IS_FIREABLE [timeout_A_0_14_6_0] | [IS_FIREABLE [timeout_A_0_14_5_0] | [IS_FIREABLE [timeout_A_0_14_4_0] | [IS_FIREABLE [timeout_A_0_14_3_0] | [IS_FIREABLE [timeout_A_0_14_2_0] | [IS_FIREABLE [timeout_A_0_14_1_0] | [IS_FIREABLE [timeout_A_0_14_10_0] | [IS_FIREABLE [timeout_A_0_14_0_0] | [IS_FIREABLE [timeout_A_0_13_9_0] | [IS_FIREABLE [timeout_A_0_13_8_0] | [IS_FIREABLE [timeout_A_0_13_7_0] | [IS_FIREABLE [timeout_A_0_13_6_0] | [IS_FIREABLE [timeout_A_0_13_5_0] | [IS_FIREABLE [timeout_A_0_13_4_0] | [IS_FIREABLE [timeout_A_0_13_3_0] | [IS_FIREABLE [timeout_A_0_13_2_0] | [IS_FIREABLE [timeout_A_0_13_1_0] | [IS_FIREABLE [timeout_A_0_13_10_0] | [IS_FIREABLE [timeout_A_0_13_0_0] | [IS_FIREABLE [timeout_A_0_12_9_0] | [IS_FIREABLE [timeout_A_0_12_8_0] | [IS_FIREABLE [timeout_A_0_12_7_0] | [IS_FIREABLE [timeout_A_0_12_6_0] | [IS_FIREABLE [timeout_A_0_12_5_0] | [IS_FIREABLE [timeout_A_0_12_4_0] | [IS_FIREABLE [timeout_A_0_12_3_0] | [IS_FIREABLE [timeout_A_0_12_2_0] | [IS_FIREABLE [timeout_A_0_12_1_0] | [IS_FIREABLE [timeout_A_0_12_10_0] | [IS_FIREABLE [timeout_A_0_12_0_0] | [IS_FIREABLE [timeout_A_0_11_9_0] | [IS_FIREABLE [timeout_A_0_11_8_0] | [IS_FIREABLE [timeout_A_0_11_7_0] | [IS_FIREABLE [timeout_A_0_11_6_0] | [IS_FIREABLE [timeout_A_0_11_5_0] | [IS_FIREABLE [timeout_A_0_11_4_0] | [IS_FIREABLE [timeout_A_0_11_3_0] | [IS_FIREABLE [timeout_A_0_11_2_0] | [IS_FIREABLE [timeout_A_0_11_1_0] | [IS_FIREABLE [timeout_A_0_11_10_0] | [IS_FIREABLE [timeout_A_0_11_0_0] | [IS_FIREABLE [timeout_A_0_10_9_0] | [IS_FIREABLE [timeout_A_0_10_8_0] | [IS_FIREABLE [timeout_A_0_10_7_0] | [IS_FIREABLE [timeout_A_0_10_6_0] | [IS_FIREABLE [timeout_A_0_10_5_0] | [IS_FIREABLE [timeout_A_0_10_4_0] | [IS_FIREABLE [timeout_A_0_10_3_0] | [IS_FIREABLE [timeout_A_0_10_2_0] | [IS_FIREABLE [timeout_A_0_10_1_0] | [IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U [[IS_FIREABLE [autorisation_B_9_1] | [IS_FIREABLE [autorisation_B_8_1] | [IS_FIREABLE [autorisation_B_7_1] | [IS_FIREABLE [autorisation_B_6_1] | [IS_FIREABLE [autorisation_B_5_1] | [IS_FIREABLE [autorisation_B_4_1] | [IS_FIREABLE [autorisation_B_3_1] | [IS_FIREABLE [autorisation_B_2_1] | [IS_FIREABLE [autorisation_B_20_1] | [IS_FIREABLE [autorisation_B_1_1] | [IS_FIREABLE [autorisation_B_19_1] | [IS_FIREABLE [autorisation_B_18_1] | [IS_FIREABLE [autorisation_B_17_1] | [IS_FIREABLE [autorisation_B_16_1] | [IS_FIREABLE [autorisation_B_15_1] | [IS_FIREABLE [autorisation_B_14_1] | [IS_FIREABLE [autorisation_B_13_1] | [IS_FIREABLE [autorisation_B_12_1] | [IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [decision_9_1] | [IS_FIREABLE [decision_9_0] | [IS_FIREABLE [decision_8_1] | [IS_FIREABLE [decision_8_0] | [IS_FIREABLE [decision_7_1] | [IS_FIREABLE [decision_7_0] | [IS_FIREABLE [decision_6_1] | [IS_FIREABLE [decision_6_0] | [IS_FIREABLE [decision_5_1] | [IS_FIREABLE [decision_5_0] | [IS_FIREABLE [decision_4_1] | [IS_FIREABLE [decision_4_0] | [IS_FIREABLE [decision_3_1] | [IS_FIREABLE [decision_3_0] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_2_0] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | [IS_FIREABLE [decision_0_0] | IS_FIREABLE [decision_0_1]]]]]]]]]]]]]]]]]]]]]]]]]

.-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-CTLFireability-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 9.758sec

checking: [[[EG [~ [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_10_1] | IS_FIREABLE [autorisation_B_11_1]] | IS_FIREABLE [autorisation_B_12_1]] | IS_FIREABLE [autorisation_B_13_1]] | IS_FIREABLE [autorisation_B_14_1]] | IS_FIREABLE [autorisation_B_15_1]] | IS_FIREABLE [autorisation_B_16_1]] | IS_FIREABLE [autorisation_B_17_1]] | IS_FIREABLE [autorisation_B_18_1]] | IS_FIREABLE [autorisation_B_19_1]] | IS_FIREABLE [autorisation_B_1_1]] | IS_FIREABLE [autorisation_B_20_1]] | IS_FIREABLE [autorisation_B_2_1]] | IS_FIREABLE [autorisation_B_3_1]] | IS_FIREABLE [autorisation_B_4_1]] | IS_FIREABLE [autorisation_B_5_1]] | IS_FIREABLE [autorisation_B_6_1]] | IS_FIREABLE [autorisation_B_7_1]] | IS_FIREABLE [autorisation_B_8_1]] | IS_FIREABLE [autorisation_B_9_1]]]] | EG [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] & [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]]]] & E [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]] | IS_FIREABLE [timeout_A_0_10_1_0]] | IS_FIREABLE [timeout_A_0_10_2_0]] | IS_FIREABLE [timeout_A_0_10_3_0]] | IS_FIREABLE [timeout_A_0_10_4_0]] | IS_FIREABLE [timeout_A_0_10_5_0]] | IS_FIREABLE [timeout_A_0_10_6_0]] | IS_FIREABLE [timeout_A_0_10_7_0]] | IS_FIREABLE [timeout_A_0_10_8_0]] | IS_FIREABLE [timeout_A_0_10_9_0]] | IS_FIREABLE [timeout_A_0_11_0_0]] | IS_FIREABLE [timeout_A_0_11_10_0]] | IS_FIREABLE [timeout_A_0_11_1_0]] | IS_FIREABLE [timeout_A_0_11_2_0]] | IS_FIREABLE [timeout_A_0_11_3_0]] | IS_FIREABLE [timeout_A_0_11_4_0]] | IS_FIREABLE [timeout_A_0_11_5_0]] | IS_FIREABLE [timeout_A_0_11_6_0]] | IS_FIREABLE [timeout_A_0_11_7_0]] | IS_FIREABLE [timeout_A_0_11_8_0]] | IS_FIREABLE [timeout_A_0_11_9_0]] | IS_FIREABLE [timeout_A_0_12_0_0]] | IS_FIREABLE [timeout_A_0_12_10_0]] | IS_FIREABLE [timeout_A_0_12_1_0]] | IS_FIREABLE [timeout_A_0_12_2_0]] | IS_FIREABLE [timeout_A_0_12_3_0]] | IS_FIREABLE [timeout_A_0_12_4_0]] | IS_FIREABLE [timeout_A_0_12_5_0]] | IS_FIREABLE [timeout_A_0_12_6_0]] | IS_FIREABLE [timeout_A_0_12_7_0]] | IS_FIREABLE [timeout_A_0_12_8_0]] | IS_FIREABLE [timeout_A_0_12_9_0]] | IS_FIREABLE [timeout_A_0_13_0_0]] | IS_FIREABLE [timeout_A_0_13_10_0]] | IS_FIREABLE [timeout_A_0_13_1_0]] | IS_FIREABLE [timeout_A_0_13_2_0]] | IS_FIREABLE [timeout_A_0_13_3_0]] | IS_FIREABLE [timeout_A_0_13_4_0]] | IS_FIREABLE [timeout_A_0_13_5_0]] | IS_FIREABLE [timeout_A_0_13_6_0]] | IS_FIREABLE [timeout_A_0_13_7_0]] | IS_FIREABLE [timeout_A_0_13_8_0]] | IS_FIREABLE [timeout_A_0_13_9_0]] | IS_FIREABLE [timeout_A_0_14_0_0]] | IS_FIREABLE [timeout_A_0_14_10_0]] | IS_FIREABLE [timeout_A_0_14_1_0]] | IS_FIREABLE [timeout_A_0_14_2_0]] | IS_FIREABLE [timeout_A_0_14_3_0]] | IS_FIREABLE [timeout_A_0_14_4_0]] | IS_FIREABLE [timeout_A_0_14_5_0]] | IS_FIREABLE [timeout_A_0_14_6_0]] | IS_FIREABLE [timeout_A_0_14_7_0]] | IS_FIREABLE [timeout_A_0_14_8_0]] | IS_FIREABLE [timeout_A_0_14_9_0]] | IS_FIREABLE [timeout_A_0_15_0_0]] | IS_FIREABLE [timeout_A_0_15_10_0]] | IS_FIREABLE [timeout_A_0_15_1_0]] | IS_FIREABLE [timeout_A_0_15_2_0]] | IS_FIREABLE [timeout_A_0_15_3_0]] | IS_FIREABLE [timeout_A_0_15_4_0]] | IS_FIREABLE [timeout_A_0_15_5_0]] | IS_FIREABLE [timeout_A_0_15_6_0]] | IS_FIREABLE [timeout_A_0_15_7_0]] | IS_FIREABLE [timeout_A_0_15_8_0]] | IS_FIREABLE [timeout_A_0_15_9_0]] | IS_FIREABLE [timeout_A_0_16_0_0]] | IS_FIREABLE [timeout_A_0_16_10_0]] | IS_FIREABLE [timeout_A_0_16_1_0]] | IS_FIREABLE [timeout_A_0_16_2_0]] | IS_FIREABLE [timeout_A_0_16_3_0]] | IS_FIREABLE [timeout_A_0_16_4_0]] | IS_FIREABLE [timeout_A_0_16_5_0]] | IS_FIREABLE [timeout_A_0_16_6_0]] | IS_FIREABLE [timeout_A_0_16_7_0]] | IS_FIREABLE [timeout_A_0_16_8_0]] | IS_FIREABLE [timeout_A_0_16_9_0]] | IS_FIREABLE [timeout_A_0_17_0_0]] | IS_FIREABLE [timeout_A_0_17_10_0]] | IS_FIREABLE [timeout_A_0_17_1_0]] | IS_FIREABLE [timeout_A_0_17_2_0]] | IS_FIREABLE [timeout_A_0_17_3_0]] | IS_FIREABLE [timeout_A_0_17_4_0]] | IS_FIREABLE [timeout_A_0_17_5_0]] | IS_FIREABLE [timeout_A_0_17_6_0]] | IS_FIREABLE [timeout_A_0_17_7_0]] | IS_FIREABLE [timeout_A_0_17_8_0]] | IS_FIREABLE [timeout_A_0_17_9_0]] | IS_FIREABLE [timeout_A_0_18_0_0]] | IS_FIREABLE [timeout_A_0_18_10_0]] | IS_FIREABLE [timeout_A_0_18_1_0]] | IS_FIREABLE [timeout_A_0_18_2_0]] | IS_FIREABLE [timeout_A_0_18_3_0]] | IS_FIREABLE [timeout_A_0_18_4_0]] | IS_FIREABLE [timeout_A_0_18_5_0]] | IS_FIREABLE [timeout_A_0_18_6_0]] | IS_FIREABLE [timeout_A_0_18_7_0]] | IS_FIREABLE [timeout_A_0_18_8_0]] | IS_FIREABLE [timeout_A_0_18_9_0]] | IS_FIREABLE [timeout_A_0_19_0_0]] | IS_FIREABLE [timeout_A_0_19_10_0]] | IS_FIREABLE [timeout_A_0_19_1_0]] | IS_FIREABLE [timeout_A_0_19_2_0]] | IS_FIREABLE [timeout_A_0_19_3_0]] | IS_FIREABLE [timeout_A_0_19_4_0]] | IS_FIREABLE [timeout_A_0_19_5_0]] | IS_FIREABLE [timeout_A_0_19_6_0]] | IS_FIREABLE [timeout_A_0_19_7_0]] | IS_FIREABLE [timeout_A_0_19_8_0]] | IS_FIREABLE [timeout_A_0_19_9_0]] | IS_FIREABLE [timeout_A_0_1_0_0]] | IS_FIREABLE [timeout_A_0_1_10_0]] | IS_FIREABLE [timeout_A_0_1_1_0]] | IS_FIREABLE [timeout_A_0_1_2_0]] | IS_FIREABLE [timeout_A_0_1_3_0]] | IS_FIREABLE [timeout_A_0_1_4_0]] | IS_FIREABLE [timeout_A_0_1_5_0]] | IS_FIREABLE [timeout_A_0_1_6_0]] | IS_FIREABLE [timeout_A_0_1_7_0]] | IS_FIREABLE [timeout_A_0_1_8_0]] | IS_FIREABLE [timeout_A_0_1_9_0]] | IS_FIREABLE [timeout_A_0_20_0_0]] | IS_FIREABLE [timeout_A_0_20_10_0]] | IS_FIREABLE [timeout_A_0_20_1_0]] | IS_FIREABLE [timeout_A_0_20_2_0]] | IS_FIREABLE [timeout_A_0_20_3_0]] | IS_FIREABLE [timeout_A_0_20_4_0]] | IS_FIREABLE [timeout_A_0_20_5_0]] | IS_FIREABLE [timeout_A_0_20_6_0]] | IS_FIREABLE [timeout_A_0_20_7_0]] | IS_FIREABLE [timeout_A_0_20_8_0]] | IS_FIREABLE [timeout_A_0_20_9_0]] | IS_FIREABLE [timeout_A_0_2_0_0]] | IS_FIREABLE [timeout_A_0_2_10_0]] | IS_FIREABLE [timeout_A_0_2_1_0]] | IS_FIREABLE [timeout_A_0_2_2_0]] | IS_FIREABLE [timeout_A_0_2_3_0]] | IS_FIREABLE [timeout_A_0_2_4_0]] | IS_FIREABLE [timeout_A_0_2_5_0]] | IS_FIREABLE [timeout_A_0_2_6_0]] | IS_FIREABLE [timeout_A_0_2_7_0]] | IS_FIREABLE [timeout_A_0_2_8_0]] | IS_FIREABLE [timeout_A_0_2_9_0]] | IS_FIREABLE [timeout_A_0_3_0_0]] | IS_FIREABLE [timeout_A_0_3_10_0]] | IS_FIREABLE [timeout_A_0_3_1_0]] | IS_FIREABLE [timeout_A_0_3_2_0]] | IS_FIREABLE [timeout_A_0_3_3_0]] | IS_FIREABLE [timeout_A_0_3_4_0]] | IS_FIREABLE [timeout_A_0_3_5_0]] | IS_FIREABLE [timeout_A_0_3_6_0]] | IS_FIREABLE [timeout_A_0_3_7_0]] | IS_FIREABLE [timeout_A_0_3_8_0]] | IS_FIREABLE [timeout_A_0_3_9_0]] | IS_FIREABLE [timeout_A_0_4_0_0]] | IS_FIREABLE [timeout_A_0_4_10_0]] | IS_FIREABLE [timeout_A_0_4_1_0]] | IS_FIREABLE [timeout_A_0_4_2_0]] | IS_FIREABLE [timeout_A_0_4_3_0]] | IS_FIREABLE [timeout_A_0_4_4_0]] | IS_FIREABLE [timeout_A_0_4_5_0]] | IS_FIREABLE [timeout_A_0_4_6_0]] | IS_FIREABLE [timeout_A_0_4_7_0]] | IS_FIREABLE [timeout_A_0_4_8_0]] | IS_FIREABLE [timeout_A_0_4_9_0]] | IS_FIREABLE [timeout_A_0_5_0_0]] | IS_FIREABLE [timeout_A_0_5_10_0]] | IS_FIREABLE [timeout_A_0_5_1_0]] | IS_FIREABLE [timeout_A_0_5_2_0]] | IS_FIREABLE [timeout_A_0_5_3_0]] | IS_FIREABLE [timeout_A_0_5_4_0]] | IS_FIREABLE [timeout_A_0_5_5_0]] | IS_FIREABLE [timeout_A_0_5_6_0]] | IS_FIREABLE [timeout_A_0_5_7_0]] | IS_FIREABLE [timeout_A_0_5_8_0]] | IS_FIREABLE [timeout_A_0_5_9_0]] | IS_FIREABLE [timeout_A_0_6_0_0]] | IS_FIREABLE [timeout_A_0_6_10_0]] | IS_FIREABLE [timeout_A_0_6_1_0]] | IS_FIREABLE [timeout_A_0_6_2_0]] | IS_FIREABLE [timeout_A_0_6_3_0]] | IS_FIREABLE [timeout_A_0_6_4_0]] | IS_FIREABLE [timeout_A_0_6_5_0]] | IS_FIREABLE [timeout_A_0_6_6_0]] | IS_FIREABLE [timeout_A_0_6_7_0]] | IS_FIREABLE [timeout_A_0_6_8_0]] | IS_FIREABLE [timeout_A_0_6_9_0]] | IS_FIREABLE [timeout_A_0_7_0_0]] | IS_FIREABLE [timeout_A_0_7_10_0]] | IS_FIREABLE [timeout_A_0_7_1_0]] | IS_FIREABLE [timeout_A_0_7_2_0]] | IS_FIREABLE [timeout_A_0_7_3_0]] | IS_FIREABLE [timeout_A_0_7_4_0]] | IS_FIREABLE [timeout_A_0_7_5_0]] | IS_FIREABLE [timeout_A_0_7_6_0]] | IS_FIREABLE [timeout_A_0_7_7_0]] | IS_FIREABLE [timeout_A_0_7_8_0]] | IS_FIREABLE [timeout_A_0_7_9_0]] | IS_FIREABLE [timeout_A_0_8_0_0]] | IS_FIREABLE [timeout_A_0_8_10_0]] | IS_FIREABLE [timeout_A_0_8_1_0]] | IS_FIREABLE [timeout_A_0_8_2_0]] | IS_FIREABLE [timeout_A_0_8_3_0]] | IS_FIREABLE [timeout_A_0_8_4_0]] | IS_FIREABLE [timeout_A_0_8_5_0]] | IS_FIREABLE [timeout_A_0_8_6_0]] | IS_FIREABLE [timeout_A_0_8_7_0]] | IS_FIREABLE [timeout_A_0_8_8_0]] | IS_FIREABLE [timeout_A_0_8_9_0]] | IS_FIREABLE [timeout_A_0_9_0_0]] | IS_FIREABLE [timeout_A_0_9_10_0]] | IS_FIREABLE [timeout_A_0_9_1_0]] | IS_FIREABLE [timeout_A_0_9_2_0]] | IS_FIREABLE [timeout_A_0_9_3_0]] | IS_FIREABLE [timeout_A_0_9_4_0]] | IS_FIREABLE [timeout_A_0_9_5_0]] | IS_FIREABLE [timeout_A_0_9_6_0]] | IS_FIREABLE [timeout_A_0_9_7_0]] | IS_FIREABLE [timeout_A_0_9_8_0]] | IS_FIREABLE [timeout_A_0_9_9_0]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]] | IS_FIREABLE [timeout_A_0_10_1_0]] | IS_FIREABLE [timeout_A_0_10_2_0]] | IS_FIREABLE [timeout_A_0_10_3_0]] | IS_FIREABLE [timeout_A_0_10_4_0]] | IS_FIREABLE [timeout_A_0_10_5_0]] | IS_FIREABLE [timeout_A_0_10_6_0]] | IS_FIREABLE [timeout_A_0_10_7_0]] | IS_FIREABLE [timeout_A_0_10_8_0]] | IS_FIREABLE [timeout_A_0_10_9_0]] | IS_FIREABLE [timeout_A_0_11_0_0]] | IS_FIREABLE [timeout_A_0_11_10_0]] | IS_FIREABLE [timeout_A_0_11_1_0]] | IS_FIREABLE [timeout_A_0_11_2_0]] | IS_FIREABLE [timeout_A_0_11_3_0]] | IS_FIREABLE [timeout_A_0_11_4_0]] | IS_FIREABLE [timeout_A_0_11_5_0]] | IS_FIREABLE [timeout_A_0_11_6_0]] | IS_FIREABLE [timeout_A_0_11_7_0]] | IS_FIREABLE [timeout_A_0_11_8_0]] | IS_FIREABLE [timeout_A_0_11_9_0]] | IS_FIREABLE [timeout_A_0_12_0_0]] | IS_FIREABLE [timeout_A_0_12_10_0]] | IS_FIREABLE [timeout_A_0_12_1_0]] | IS_FIREABLE [timeout_A_0_12_2_0]] | IS_FIREABLE [timeout_A_0_12_3_0]] | IS_FIREABLE [timeout_A_0_12_4_0]] | IS_FIREABLE [timeout_A_0_12_5_0]] | IS_FIREABLE [timeout_A_0_12_6_0]] | IS_FIREABLE [timeout_A_0_12_7_0]] | IS_FIREABLE [timeout_A_0_12_8_0]] | IS_FIREABLE [timeout_A_0_12_9_0]] | IS_FIREABLE [timeout_A_0_13_0_0]] | IS_FIREABLE [timeout_A_0_13_10_0]] | IS_FIREABLE [timeout_A_0_13_1_0]] | IS_FIREABLE [timeout_A_0_13_2_0]] | IS_FIREABLE [timeout_A_0_13_3_0]] | IS_FIREABLE [timeout_A_0_13_4_0]] | IS_FIREABLE [timeout_A_0_13_5_0]] | IS_FIREABLE [timeout_A_0_13_6_0]] | IS_FIREABLE [timeout_A_0_13_7_0]] | IS_FIREABLE [timeout_A_0_13_8_0]] | IS_FIREABLE [timeout_A_0_13_9_0]] | IS_FIREABLE [timeout_A_0_14_0_0]] | IS_FIREABLE [timeout_A_0_14_10_0]] | IS_FIREABLE [timeout_A_0_14_1_0]] | IS_FIREABLE [timeout_A_0_14_2_0]] | IS_FIREABLE [timeout_A_0_14_3_0]] | IS_FIREABLE [timeout_A_0_14_4_0]] | IS_FIREABLE [timeout_A_0_14_5_0]] | IS_FIREABLE [timeout_A_0_14_6_0]] | IS_FIREABLE [timeout_A_0_14_7_0]] | IS_FIREABLE [timeout_A_0_14_8_0]] | IS_FIREABLE [timeout_A_0_14_9_0]] | IS_FIREABLE [timeout_A_0_15_0_0]] | IS_FIREABLE [timeout_A_0_15_10_0]] | IS_FIREABLE [timeout_A_0_15_1_0]] | IS_FIREABLE [timeout_A_0_15_2_0]] | IS_FIREABLE [timeout_A_0_15_3_0]] | IS_FIREABLE [timeout_A_0_15_4_0]] | IS_FIREABLE [timeout_A_0_15_5_0]] | IS_FIREABLE [timeout_A_0_15_6_0]] | IS_FIREABLE [timeout_A_0_15_7_0]] | IS_FIREABLE [timeout_A_0_15_8_0]] | IS_FIREABLE [timeout_A_0_15_9_0]] | IS_FIREABLE [timeout_A_0_16_0_0]] | IS_FIREABLE [timeout_A_0_16_10_0]] | IS_FIREABLE [timeout_A_0_16_1_0]] | IS_FIREABLE [timeout_A_0_16_2_0]] | IS_FIREABLE [timeout_A_0_16_3_0]] | IS_FIREABLE [timeout_A_0_16_4_0]] | IS_FIREABLE [timeout_A_0_16_5_0]] | IS_FIREABLE [timeout_A_0_16_6_0]] | IS_FIREABLE [timeout_A_0_16_7_0]] | IS_FIREABLE [timeout_A_0_16_8_0]] | IS_FIREABLE [timeout_A_0_16_9_0]] | IS_FIREABLE [timeout_A_0_17_0_0]] | IS_FIREABLE [timeout_A_0_17_10_0]] | IS_FIREABLE [timeout_A_0_17_1_0]] | IS_FIREABLE [timeout_A_0_17_2_0]] | IS_FIREABLE [timeout_A_0_17_3_0]] | IS_FIREABLE [timeout_A_0_17_4_0]] | IS_FIREABLE [timeout_A_0_17_5_0]] | IS_FIREABLE [timeout_A_0_17_6_0]] | IS_FIREABLE [timeout_A_0_17_7_0]] | IS_FIREABLE [timeout_A_0_17_8_0]] | IS_FIREABLE [timeout_A_0_17_9_0]] | IS_FIREABLE [timeout_A_0_18_0_0]] | IS_FIREABLE [timeout_A_0_18_10_0]] | IS_FIREABLE [timeout_A_0_18_1_0]] | IS_FIREABLE [timeout_A_0_18_2_0]] | IS_FIREABLE [timeout_A_0_18_3_0]] | IS_FIREABLE [timeout_A_0_18_4_0]] | IS_FIREABLE [timeout_A_0_18_5_0]] | IS_FIREABLE [timeout_A_0_18_6_0]] | IS_FIREABLE [timeout_A_0_18_7_0]] | IS_FIREABLE [timeout_A_0_18_8_0]] | IS_FIREABLE [timeout_A_0_18_9_0]] | IS_FIREABLE [timeout_A_0_19_0_0]] | IS_FIREABLE [timeout_A_0_19_10_0]] | IS_FIREABLE [timeout_A_0_19_1_0]] | IS_FIREABLE [timeout_A_0_19_2_0]] | IS_FIREABLE [timeout_A_0_19_3_0]] | IS_FIREABLE [timeout_A_0_19_4_0]] | IS_FIREABLE [timeout_A_0_19_5_0]] | IS_FIREABLE [timeout_A_0_19_6_0]] | IS_FIREABLE [timeout_A_0_19_7_0]] | IS_FIREABLE [timeout_A_0_19_8_0]] | IS_FIREABLE [timeout_A_0_19_9_0]] | IS_FIREABLE [timeout_A_0_1_0_0]] | IS_FIREABLE [timeout_A_0_1_10_0]] | IS_FIREABLE [timeout_A_0_1_1_0]] | IS_FIREABLE [timeout_A_0_1_2_0]] | IS_FIREABLE [timeout_A_0_1_3_0]] | IS_FIREABLE [timeout_A_0_1_4_0]] | IS_FIREABLE [timeout_A_0_1_5_0]] | IS_FIREABLE [timeout_A_0_1_6_0]] | IS_FIREABLE [timeout_A_0_1_7_0]] | IS_FIREABLE [timeout_A_0_1_8_0]] | IS_FIREABLE [timeout_A_0_1_9_0]] | IS_FIREABLE [timeout_A_0_20_0_0]] | IS_FIREABLE [timeout_A_0_20_10_0]] | IS_FIREABLE [timeout_A_0_20_1_0]] | IS_FIREABLE [timeout_A_0_20_2_0]] | IS_FIREABLE [timeout_A_0_20_3_0]] | IS_FIREABLE [timeout_A_0_20_4_0]] | IS_FIREABLE [timeout_A_0_20_5_0]] | IS_FIREABLE [timeout_A_0_20_6_0]] | IS_FIREABLE [timeout_A_0_20_7_0]] | IS_FIREABLE [timeout_A_0_20_8_0]] | IS_FIREABLE [timeout_A_0_20_9_0]] | IS_FIREABLE [timeout_A_0_2_0_0]] | IS_FIREABLE [timeout_A_0_2_10_0]] | IS_FIREABLE [timeout_A_0_2_1_0]] | IS_FIREABLE [timeout_A_0_2_2_0]] | IS_FIREABLE [timeout_A_0_2_3_0]] | IS_FIREABLE [timeout_A_0_2_4_0]] | IS_FIREABLE [timeout_A_0_2_5_0]] | IS_FIREABLE [timeout_A_0_2_6_0]] | IS_FIREABLE [timeout_A_0_2_7_0]] | IS_FIREABLE [timeout_A_0_2_8_0]] | IS_FIREABLE [timeout_A_0_2_9_0]] | IS_FIREABLE [timeout_A_0_3_0_0]] | IS_FIREABLE [timeout_A_0_3_10_0]] | IS_FIREABLE [timeout_A_0_3_1_0]] | IS_FIREABLE [timeout_A_0_3_2_0]] | IS_FIREABLE [timeout_A_0_3_3_0]] | IS_FIREABLE [timeout_A_0_3_4_0]] | IS_FIREABLE [timeout_A_0_3_5_0]] | IS_FIREABLE [timeout_A_0_3_6_0]] | IS_FIREABLE [timeout_A_0_3_7_0]] | IS_FIREABLE [timeout_A_0_3_8_0]] | IS_FIREABLE [timeout_A_0_3_9_0]] | IS_FIREABLE [timeout_A_0_4_0_0]] | IS_FIREABLE [timeout_A_0_4_10_0]] | IS_FIREABLE [timeout_A_0_4_1_0]] | IS_FIREABLE [timeout_A_0_4_2_0]] | IS_FIREABLE [timeout_A_0_4_3_0]] | IS_FIREABLE [timeout_A_0_4_4_0]] | IS_FIREABLE [timeout_A_0_4_5_0]] | IS_FIREABLE [timeout_A_0_4_6_0]] | IS_FIREABLE [timeout_A_0_4_7_0]] | IS_FIREABLE [timeout_A_0_4_8_0]] | IS_FIREABLE [timeout_A_0_4_9_0]] | IS_FIREABLE [timeout_A_0_5_0_0]] | IS_FIREABLE [timeout_A_0_5_10_0]] | IS_FIREABLE [timeout_A_0_5_1_0]] | IS_FIREABLE [timeout_A_0_5_2_0]] | IS_FIREABLE [timeout_A_0_5_3_0]] | IS_FIREABLE [timeout_A_0_5_4_0]] | IS_FIREABLE [timeout_A_0_5_5_0]] | IS_FIREABLE [timeout_A_0_5_6_0]] | IS_FIREABLE [timeout_A_0_5_7_0]] | IS_FIREABLE [timeout_A_0_5_8_0]] | IS_FIREABLE [timeout_A_0_5_9_0]] | IS_FIREABLE [timeout_A_0_6_0_0]] | IS_FIREABLE [timeout_A_0_6_10_0]] | IS_FIREABLE [timeout_A_0_6_1_0]] | IS_FIREABLE [timeout_A_0_6_2_0]] | IS_FIREABLE [timeout_A_0_6_3_0]] | IS_FIREABLE [timeout_A_0_6_4_0]] | IS_FIREABLE [timeout_A_0_6_5_0]] | IS_FIREABLE [timeout_A_0_6_6_0]] | IS_FIREABLE [timeout_A_0_6_7_0]] | IS_FIREABLE [timeout_A_0_6_8_0]] | IS_FIREABLE [timeout_A_0_6_9_0]] | IS_FIREABLE [timeout_A_0_7_0_0]] | IS_FIREABLE [timeout_A_0_7_10_0]] | IS_FIREABLE [timeout_A_0_7_1_0]] | IS_FIREABLE [timeout_A_0_7_2_0]] | IS_FIREABLE [timeout_A_0_7_3_0]] | IS_FIREABLE [timeout_A_0_7_4_0]] | IS_FIREABLE [timeout_A_0_7_5_0]] | IS_FIREABLE [timeout_A_0_7_6_0]] | IS_FIREABLE [timeout_A_0_7_7_0]] | IS_FIREABLE [timeout_A_0_7_8_0]] | IS_FIREABLE [timeout_A_0_7_9_0]] | IS_FIREABLE [timeout_A_0_8_0_0]] | IS_FIREABLE [timeout_A_0_8_10_0]] | IS_FIREABLE [timeout_A_0_8_1_0]] | IS_FIREABLE [timeout_A_0_8_2_0]] | IS_FIREABLE [timeout_A_0_8_3_0]] | IS_FIREABLE [timeout_A_0_8_4_0]] | IS_FIREABLE [timeout_A_0_8_5_0]] | IS_FIREABLE [timeout_A_0_8_6_0]] | IS_FIREABLE [timeout_A_0_8_7_0]] | IS_FIREABLE [timeout_A_0_8_8_0]] | IS_FIREABLE [timeout_A_0_8_9_0]] | IS_FIREABLE [timeout_A_0_9_0_0]] | IS_FIREABLE [timeout_A_0_9_10_0]] | IS_FIREABLE [timeout_A_0_9_1_0]] | IS_FIREABLE [timeout_A_0_9_2_0]] | IS_FIREABLE [timeout_A_0_9_3_0]] | IS_FIREABLE [timeout_A_0_9_4_0]] | IS_FIREABLE [timeout_A_0_9_5_0]] | IS_FIREABLE [timeout_A_0_9_6_0]] | IS_FIREABLE [timeout_A_0_9_7_0]] | IS_FIREABLE [timeout_A_0_9_8_0]] | IS_FIREABLE [timeout_A_0_9_9_0]]] U ~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]]]] | EX [[IS_FIREABLE [liberation_B_constant] | AG [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]
normalized: [EX [[IS_FIREABLE [liberation_B_constant] | ~ [E [true U ~ [[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]] | [E [[[IS_FIREABLE [timeout_A_0_9_9_0] | [IS_FIREABLE [timeout_A_0_9_8_0] | [IS_FIREABLE [timeout_A_0_9_7_0] | [IS_FIREABLE [timeout_A_0_9_6_0] | [IS_FIREABLE [timeout_A_0_9_5_0] | [IS_FIREABLE [timeout_A_0_9_4_0] | [IS_FIREABLE [timeout_A_0_9_3_0] | [IS_FIREABLE [timeout_A_0_9_2_0] | [IS_FIREABLE [timeout_A_0_9_1_0] | [IS_FIREABLE [timeout_A_0_9_10_0] | [IS_FIREABLE [timeout_A_0_9_0_0] | [IS_FIREABLE [timeout_A_0_8_9_0] | [IS_FIREABLE [timeout_A_0_8_8_0] | [IS_FIREABLE [timeout_A_0_8_7_0] | [IS_FIREABLE [timeout_A_0_8_6_0] | [IS_FIREABLE [timeout_A_0_8_5_0] | [IS_FIREABLE [timeout_A_0_8_4_0] | [IS_FIREABLE [timeout_A_0_8_3_0] | [IS_FIREABLE [timeout_A_0_8_2_0] | [IS_FIREABLE [timeout_A_0_8_1_0] | [IS_FIREABLE [timeout_A_0_8_10_0] | [IS_FIREABLE [timeout_A_0_8_0_0] | [IS_FIREABLE [timeout_A_0_7_9_0] | [IS_FIREABLE [timeout_A_0_7_8_0] | [IS_FIREABLE [timeout_A_0_7_7_0] | [IS_FIREABLE [timeout_A_0_7_6_0] | [IS_FIREABLE [timeout_A_0_7_5_0] | [IS_FIREABLE [timeout_A_0_7_4_0] | [IS_FIREABLE [timeout_A_0_7_3_0] | [IS_FIREABLE [timeout_A_0_7_2_0] | [IS_FIREABLE [timeout_A_0_7_1_0] | [IS_FIREABLE [timeout_A_0_7_10_0] | [IS_FIREABLE [timeout_A_0_7_0_0] | [IS_FIREABLE [timeout_A_0_6_9_0] | [IS_FIREABLE [timeout_A_0_6_8_0] | [IS_FIREABLE [timeout_A_0_6_7_0] | [IS_FIREABLE [timeout_A_0_6_6_0] | [IS_FIREABLE [timeout_A_0_6_5_0] | [IS_FIREABLE [timeout_A_0_6_4_0] | [IS_FIREABLE [timeout_A_0_6_3_0] | [IS_FIREABLE [timeout_A_0_6_2_0] | [IS_FIREABLE [timeout_A_0_6_1_0] | [IS_FIREABLE [timeout_A_0_6_10_0] | [IS_FIREABLE [timeout_A_0_6_0_0] | [IS_FIREABLE [timeout_A_0_5_9_0] | [IS_FIREABLE [timeout_A_0_5_8_0] | [IS_FIREABLE [timeout_A_0_5_7_0] | [IS_FIREABLE [timeout_A_0_5_6_0] | [IS_FIREABLE [timeout_A_0_5_5_0] | [IS_FIREABLE [timeout_A_0_5_4_0] | [IS_FIREABLE [timeout_A_0_5_3_0] | [IS_FIREABLE [timeout_A_0_5_2_0] | [IS_FIREABLE [timeout_A_0_5_1_0] | [IS_FIREABLE [timeout_A_0_5_10_0] | [IS_FIREABLE [timeout_A_0_5_0_0] | [IS_FIREABLE [timeout_A_0_4_9_0] | [IS_FIREABLE [timeout_A_0_4_8_0] | [IS_FIREABLE [timeout_A_0_4_7_0] | [IS_FIREABLE [timeout_A_0_4_6_0] | [IS_FIREABLE [timeout_A_0_4_5_0] | [IS_FIREABLE [timeout_A_0_4_4_0] | [IS_FIREABLE [timeout_A_0_4_3_0] | [IS_FIREABLE [timeout_A_0_4_2_0] | [IS_FIREABLE [timeout_A_0_4_1_0] | [IS_FIREABLE [timeout_A_0_4_10_0] | [IS_FIREABLE [timeout_A_0_4_0_0] | [IS_FIREABLE [timeout_A_0_3_9_0] | [IS_FIREABLE [timeout_A_0_3_8_0] | [IS_FIREABLE [timeout_A_0_3_7_0] | [IS_FIREABLE [timeout_A_0_3_6_0] | [IS_FIREABLE [timeout_A_0_3_5_0] | [IS_FIREABLE [timeout_A_0_3_4_0] | [IS_FIREABLE [timeout_A_0_3_3_0] | [IS_FIREABLE [timeout_A_0_3_2_0] | [IS_FIREABLE [timeout_A_0_3_1_0] | [IS_FIREABLE [timeout_A_0_3_10_0] | [IS_FIREABLE [timeout_A_0_3_0_0] | [IS_FIREABLE [timeout_A_0_2_9_0] | [IS_FIREABLE [timeout_A_0_2_8_0] | [IS_FIREABLE [timeout_A_0_2_7_0] | [IS_FIREABLE [timeout_A_0_2_6_0] | [IS_FIREABLE [timeout_A_0_2_5_0] | [IS_FIREABLE [timeout_A_0_2_4_0] | [IS_FIREABLE [timeout_A_0_2_3_0] | [IS_FIREABLE [timeout_A_0_2_2_0] | [IS_FIREABLE [timeout_A_0_2_1_0] | [IS_FIREABLE [timeout_A_0_2_10_0] | [IS_FIREABLE [timeout_A_0_2_0_0] | [IS_FIREABLE [timeout_A_0_20_9_0] | [IS_FIREABLE [timeout_A_0_20_8_0] | [IS_FIREABLE [timeout_A_0_20_7_0] | [IS_FIREABLE [timeout_A_0_20_6_0] | [IS_FIREABLE [timeout_A_0_20_5_0] | [IS_FIREABLE [timeout_A_0_20_4_0] | [IS_FIREABLE [timeout_A_0_20_3_0] | [IS_FIREABLE [timeout_A_0_20_2_0] | [IS_FIREABLE [timeout_A_0_20_1_0] | [IS_FIREABLE [timeout_A_0_20_10_0] | [IS_FIREABLE [timeout_A_0_20_0_0] | [IS_FIREABLE [timeout_A_0_1_9_0] | [IS_FIREABLE [timeout_A_0_1_8_0] | [IS_FIREABLE [timeout_A_0_1_7_0] | [IS_FIREABLE [timeout_A_0_1_6_0] | [IS_FIREABLE [timeout_A_0_1_5_0] | [IS_FIREABLE [timeout_A_0_1_4_0] | [IS_FIREABLE [timeout_A_0_1_3_0] | [IS_FIREABLE [timeout_A_0_1_2_0] | [IS_FIREABLE [timeout_A_0_1_1_0] | [IS_FIREABLE [timeout_A_0_1_10_0] | [IS_FIREABLE [timeout_A_0_1_0_0] | [IS_FIREABLE [timeout_A_0_19_9_0] | [IS_FIREABLE [timeout_A_0_19_8_0] | [IS_FIREABLE [timeout_A_0_19_7_0] | [IS_FIREABLE [timeout_A_0_19_6_0] | [IS_FIREABLE [timeout_A_0_19_5_0] | [IS_FIREABLE [timeout_A_0_19_4_0] | [IS_FIREABLE [timeout_A_0_19_3_0] | [IS_FIREABLE [timeout_A_0_19_2_0] | [IS_FIREABLE [timeout_A_0_19_1_0] | [IS_FIREABLE [timeout_A_0_19_10_0] | [IS_FIREABLE [timeout_A_0_19_0_0] | [IS_FIREABLE [timeout_A_0_18_9_0] | [IS_FIREABLE [timeout_A_0_18_8_0] | [IS_FIREABLE [timeout_A_0_18_7_0] | [IS_FIREABLE [timeout_A_0_18_6_0] | [IS_FIREABLE [timeout_A_0_18_5_0] | [IS_FIREABLE [timeout_A_0_18_4_0] | [IS_FIREABLE [timeout_A_0_18_3_0] | [IS_FIREABLE [timeout_A_0_18_2_0] | [IS_FIREABLE [timeout_A_0_18_1_0] | [IS_FIREABLE [timeout_A_0_18_10_0] | [IS_FIREABLE [timeout_A_0_18_0_0] | [IS_FIREABLE [timeout_A_0_17_9_0] | [IS_FIREABLE [timeout_A_0_17_8_0] | [IS_FIREABLE [timeout_A_0_17_7_0] | [IS_FIREABLE [timeout_A_0_17_6_0] | [IS_FIREABLE [timeout_A_0_17_5_0] | [IS_FIREABLE [timeout_A_0_17_4_0] | [IS_FIREABLE [timeout_A_0_17_3_0] | [IS_FIREABLE [timeout_A_0_17_2_0] | [IS_FIREABLE [timeout_A_0_17_1_0] | [IS_FIREABLE [timeout_A_0_17_10_0] | [IS_FIREABLE [timeout_A_0_17_0_0] | [IS_FIREABLE [timeout_A_0_16_9_0] | [IS_FIREABLE [timeout_A_0_16_8_0] | [IS_FIREABLE [timeout_A_0_16_7_0] | [IS_FIREABLE [timeout_A_0_16_6_0] | [IS_FIREABLE [timeout_A_0_16_5_0] | [IS_FIREABLE [timeout_A_0_16_4_0] | [IS_FIREABLE [timeout_A_0_16_3_0] | [IS_FIREABLE [timeout_A_0_16_2_0] | [IS_FIREABLE [timeout_A_0_16_1_0] | [IS_FIREABLE [timeout_A_0_16_10_0] | [IS_FIREABLE [timeout_A_0_16_0_0] | [IS_FIREABLE [timeout_A_0_15_9_0] | [IS_FIREABLE [timeout_A_0_15_8_0] | [IS_FIREABLE [timeout_A_0_15_7_0] | [IS_FIREABLE [timeout_A_0_15_6_0] | [IS_FIREABLE [timeout_A_0_15_5_0] | [IS_FIREABLE [timeout_A_0_15_4_0] | [IS_FIREABLE [timeout_A_0_15_3_0] | [IS_FIREABLE [timeout_A_0_15_2_0] | [IS_FIREABLE [timeout_A_0_15_1_0] | [IS_FIREABLE [timeout_A_0_15_10_0] | [IS_FIREABLE [timeout_A_0_15_0_0] | [IS_FIREABLE [timeout_A_0_14_9_0] | [IS_FIREABLE [timeout_A_0_14_8_0] | [IS_FIREABLE [timeout_A_0_14_7_0] | [IS_FIREABLE [timeout_A_0_14_6_0] | [IS_FIREABLE [timeout_A_0_14_5_0] | [IS_FIREABLE [timeout_A_0_14_4_0] | [IS_FIREABLE [timeout_A_0_14_3_0] | [IS_FIREABLE [timeout_A_0_14_2_0] | [IS_FIREABLE [timeout_A_0_14_1_0] | [IS_FIREABLE [timeout_A_0_14_10_0] | [IS_FIREABLE [timeout_A_0_14_0_0] | [IS_FIREABLE [timeout_A_0_13_9_0] | [IS_FIREABLE [timeout_A_0_13_8_0] | [IS_FIREABLE [timeout_A_0_13_7_0] | [IS_FIREABLE [timeout_A_0_13_6_0] | [IS_FIREABLE [timeout_A_0_13_5_0] | [IS_FIREABLE [timeout_A_0_13_4_0] | [IS_FIREABLE [timeout_A_0_13_3_0] | [IS_FIREABLE [timeout_A_0_13_2_0] | [IS_FIREABLE [timeout_A_0_13_1_0] | [IS_FIREABLE [timeout_A_0_13_10_0] | [IS_FIREABLE [timeout_A_0_13_0_0] | [IS_FIREABLE [timeout_A_0_12_9_0] | [IS_FIREABLE [timeout_A_0_12_8_0] | [IS_FIREABLE [timeout_A_0_12_7_0] | [IS_FIREABLE [timeout_A_0_12_6_0] | [IS_FIREABLE [timeout_A_0_12_5_0] | [IS_FIREABLE [timeout_A_0_12_4_0] | [IS_FIREABLE [timeout_A_0_12_3_0] | [IS_FIREABLE [timeout_A_0_12_2_0] | [IS_FIREABLE [timeout_A_0_12_1_0] | [IS_FIREABLE [timeout_A_0_12_10_0] | [IS_FIREABLE [timeout_A_0_12_0_0] | [IS_FIREABLE [timeout_A_0_11_9_0] | [IS_FIREABLE [timeout_A_0_11_8_0] | [IS_FIREABLE [timeout_A_0_11_7_0] | [IS_FIREABLE [timeout_A_0_11_6_0] | [IS_FIREABLE [timeout_A_0_11_5_0] | [IS_FIREABLE [timeout_A_0_11_4_0] | [IS_FIREABLE [timeout_A_0_11_3_0] | [IS_FIREABLE [timeout_A_0_11_2_0] | [IS_FIREABLE [timeout_A_0_11_1_0] | [IS_FIREABLE [timeout_A_0_11_10_0] | [IS_FIREABLE [timeout_A_0_11_0_0] | [IS_FIREABLE [timeout_A_0_10_9_0] | [IS_FIREABLE [timeout_A_0_10_8_0] | [IS_FIREABLE [timeout_A_0_10_7_0] | [IS_FIREABLE [timeout_A_0_10_6_0] | [IS_FIREABLE [timeout_A_0_10_5_0] | [IS_FIREABLE [timeout_A_0_10_4_0] | [IS_FIREABLE [timeout_A_0_10_3_0] | [IS_FIREABLE [timeout_A_0_10_2_0] | [IS_FIREABLE [timeout_A_0_10_1_0] | [IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [timeout_A_0_9_9_0] | [IS_FIREABLE [timeout_A_0_9_8_0] | [IS_FIREABLE [timeout_A_0_9_7_0] | [IS_FIREABLE [timeout_A_0_9_6_0] | [IS_FIREABLE [timeout_A_0_9_5_0] | [IS_FIREABLE [timeout_A_0_9_4_0] | [IS_FIREABLE [timeout_A_0_9_3_0] | [IS_FIREABLE [timeout_A_0_9_2_0] | [IS_FIREABLE [timeout_A_0_9_1_0] | [IS_FIREABLE [timeout_A_0_9_10_0] | [IS_FIREABLE [timeout_A_0_9_0_0] | [IS_FIREABLE [timeout_A_0_8_9_0] | [IS_FIREABLE [timeout_A_0_8_8_0] | [IS_FIREABLE [timeout_A_0_8_7_0] | [IS_FIREABLE [timeout_A_0_8_6_0] | [IS_FIREABLE [timeout_A_0_8_5_0] | [IS_FIREABLE [timeout_A_0_8_4_0] | [IS_FIREABLE [timeout_A_0_8_3_0] | [IS_FIREABLE [timeout_A_0_8_2_0] | [IS_FIREABLE [timeout_A_0_8_1_0] | [IS_FIREABLE [timeout_A_0_8_10_0] | [IS_FIREABLE [timeout_A_0_8_0_0] | [IS_FIREABLE [timeout_A_0_7_9_0] | [IS_FIREABLE [timeout_A_0_7_8_0] | [IS_FIREABLE [timeout_A_0_7_7_0] | [IS_FIREABLE [timeout_A_0_7_6_0] | [IS_FIREABLE [timeout_A_0_7_5_0] | [IS_FIREABLE [timeout_A_0_7_4_0] | [IS_FIREABLE [timeout_A_0_7_3_0] | [IS_FIREABLE [timeout_A_0_7_2_0] | [IS_FIREABLE [timeout_A_0_7_1_0] | [IS_FIREABLE [timeout_A_0_7_10_0] | [IS_FIREABLE [timeout_A_0_7_0_0] | [IS_FIREABLE [timeout_A_0_6_9_0] | [IS_FIREABLE [timeout_A_0_6_8_0] | [IS_FIREABLE [timeout_A_0_6_7_0] | [IS_FIREABLE [timeout_A_0_6_6_0] | [IS_FIREABLE [timeout_A_0_6_5_0] | [IS_FIREABLE [timeout_A_0_6_4_0] | [IS_FIREABLE [timeout_A_0_6_3_0] | [IS_FIREABLE [timeout_A_0_6_2_0] | [IS_FIREABLE [timeout_A_0_6_1_0] | [IS_FIREABLE [timeout_A_0_6_10_0] | [IS_FIREABLE [timeout_A_0_6_0_0] | [IS_FIREABLE [timeout_A_0_5_9_0] | [IS_FIREABLE [timeout_A_0_5_8_0] | [IS_FIREABLE [timeout_A_0_5_7_0] | [IS_FIREABLE [timeout_A_0_5_6_0] | [IS_FIREABLE [timeout_A_0_5_5_0] | [IS_FIREABLE [timeout_A_0_5_4_0] | [IS_FIREABLE [timeout_A_0_5_3_0] | [IS_FIREABLE [timeout_A_0_5_2_0] | [IS_FIREABLE [timeout_A_0_5_1_0] | [IS_FIREABLE [timeout_A_0_5_10_0] | [IS_FIREABLE [timeout_A_0_5_0_0] | [IS_FIREABLE [timeout_A_0_4_9_0] | [IS_FIREABLE [timeout_A_0_4_8_0] | [IS_FIREABLE [timeout_A_0_4_7_0] | [IS_FIREABLE [timeout_A_0_4_6_0] | [IS_FIREABLE [timeout_A_0_4_5_0] | [IS_FIREABLE [timeout_A_0_4_4_0] | [IS_FIREABLE [timeout_A_0_4_3_0] | [IS_FIREABLE [timeout_A_0_4_2_0] | [IS_FIREABLE [timeout_A_0_4_1_0] | [IS_FIREABLE [timeout_A_0_4_10_0] | [IS_FIREABLE [timeout_A_0_4_0_0] | [IS_FIREABLE [timeout_A_0_3_9_0] | [IS_FIREABLE [timeout_A_0_3_8_0] | [IS_FIREABLE [timeout_A_0_3_7_0] | [IS_FIREABLE [timeout_A_0_3_6_0] | [IS_FIREABLE [timeout_A_0_3_5_0] | [IS_FIREABLE [timeout_A_0_3_4_0] | [IS_FIREABLE [timeout_A_0_3_3_0] | [IS_FIREABLE [timeout_A_0_3_2_0] | [IS_FIREABLE [timeout_A_0_3_1_0] | [IS_FIREABLE [timeout_A_0_3_10_0] | [IS_FIREABLE [timeout_A_0_3_0_0] | [IS_FIREABLE [timeout_A_0_2_9_0] | [IS_FIREABLE [timeout_A_0_2_8_0] | [IS_FIREABLE [timeout_A_0_2_7_0] | [IS_FIREABLE [timeout_A_0_2_6_0] | [IS_FIREABLE [timeout_A_0_2_5_0] | [IS_FIREABLE [timeout_A_0_2_4_0] | [IS_FIREABLE [timeout_A_0_2_3_0] | [IS_FIREABLE [timeout_A_0_2_2_0] | [IS_FIREABLE [timeout_A_0_2_1_0] | [IS_FIREABLE [timeout_A_0_2_10_0] | [IS_FIREABLE [timeout_A_0_2_0_0] | [IS_FIREABLE [timeout_A_0_20_9_0] | [IS_FIREABLE [timeout_A_0_20_8_0] | [IS_FIREABLE [timeout_A_0_20_7_0] | [IS_FIREABLE [timeout_A_0_20_6_0] | [IS_FIREABLE [timeout_A_0_20_5_0] | [IS_FIREABLE [timeout_A_0_20_4_0] | [IS_FIREABLE [timeout_A_0_20_3_0] | [IS_FIREABLE [timeout_A_0_20_2_0] | [IS_FIREABLE [timeout_A_0_20_1_0] | [IS_FIREABLE [timeout_A_0_20_10_0] | [IS_FIREABLE [timeout_A_0_20_0_0] | [IS_FIREABLE [timeout_A_0_1_9_0] | [IS_FIREABLE [timeout_A_0_1_8_0] | [IS_FIREABLE [timeout_A_0_1_7_0] | [IS_FIREABLE [timeout_A_0_1_6_0] | [IS_FIREABLE [timeout_A_0_1_5_0] | [IS_FIREABLE [timeout_A_0_1_4_0] | [IS_FIREABLE [timeout_A_0_1_3_0] | [IS_FIREABLE [timeout_A_0_1_2_0] | [IS_FIREABLE [timeout_A_0_1_1_0] | [IS_FIREABLE [timeout_A_0_1_10_0] | [IS_FIREABLE [timeout_A_0_1_0_0] | [IS_FIREABLE [timeout_A_0_19_9_0] | [IS_FIREABLE [timeout_A_0_19_8_0] | [IS_FIREABLE [timeout_A_0_19_7_0] | [IS_FIREABLE [timeout_A_0_19_6_0] | [IS_FIREABLE [timeout_A_0_19_5_0] | [IS_FIREABLE [timeout_A_0_19_4_0] | [IS_FIREABLE [timeout_A_0_19_3_0] | [IS_FIREABLE [timeout_A_0_19_2_0] | [IS_FIREABLE [timeout_A_0_19_1_0] | [IS_FIREABLE [timeout_A_0_19_10_0] | [IS_FIREABLE [timeout_A_0_19_0_0] | [IS_FIREABLE [timeout_A_0_18_9_0] | [IS_FIREABLE [timeout_A_0_18_8_0] | [IS_FIREABLE [timeout_A_0_18_7_0] | [IS_FIREABLE [timeout_A_0_18_6_0] | [IS_FIREABLE [timeout_A_0_18_5_0] | [IS_FIREABLE [timeout_A_0_18_4_0] | [IS_FIREABLE [timeout_A_0_18_3_0] | [IS_FIREABLE [timeout_A_0_18_2_0] | [IS_FIREABLE [timeout_A_0_18_1_0] | [IS_FIREABLE [timeout_A_0_18_10_0] | [IS_FIREABLE [timeout_A_0_18_0_0] | [IS_FIREABLE [timeout_A_0_17_9_0] | [IS_FIREABLE [timeout_A_0_17_8_0] | [IS_FIREABLE [timeout_A_0_17_7_0] | [IS_FIREABLE [timeout_A_0_17_6_0] | [IS_FIREABLE [timeout_A_0_17_5_0] | [IS_FIREABLE [timeout_A_0_17_4_0] | [IS_FIREABLE [timeout_A_0_17_3_0] | [IS_FIREABLE [timeout_A_0_17_2_0] | [IS_FIREABLE [timeout_A_0_17_1_0] | [IS_FIREABLE [timeout_A_0_17_10_0] | [IS_FIREABLE [timeout_A_0_17_0_0] | [IS_FIREABLE [timeout_A_0_16_9_0] | [IS_FIREABLE [timeout_A_0_16_8_0] | [IS_FIREABLE [timeout_A_0_16_7_0] | [IS_FIREABLE [timeout_A_0_16_6_0] | [IS_FIREABLE [timeout_A_0_16_5_0] | [IS_FIREABLE [timeout_A_0_16_4_0] | [IS_FIREABLE [timeout_A_0_16_3_0] | [IS_FIREABLE [timeout_A_0_16_2_0] | [IS_FIREABLE [timeout_A_0_16_1_0] | [IS_FIREABLE [timeout_A_0_16_10_0] | [IS_FIREABLE [timeout_A_0_16_0_0] | [IS_FIREABLE [timeout_A_0_15_9_0] | [IS_FIREABLE [timeout_A_0_15_8_0] | [IS_FIREABLE [timeout_A_0_15_7_0] | [IS_FIREABLE [timeout_A_0_15_6_0] | [IS_FIREABLE [timeout_A_0_15_5_0] | [IS_FIREABLE [timeout_A_0_15_4_0] | [IS_FIREABLE [timeout_A_0_15_3_0] | [IS_FIREABLE [timeout_A_0_15_2_0] | [IS_FIREABLE [timeout_A_0_15_1_0] | [IS_FIREABLE [timeout_A_0_15_10_0] | [IS_FIREABLE [timeout_A_0_15_0_0] | [IS_FIREABLE [timeout_A_0_14_9_0] | [IS_FIREABLE [timeout_A_0_14_8_0] | [IS_FIREABLE [timeout_A_0_14_7_0] | [IS_FIREABLE [timeout_A_0_14_6_0] | [IS_FIREABLE [timeout_A_0_14_5_0] | [IS_FIREABLE [timeout_A_0_14_4_0] | [IS_FIREABLE [timeout_A_0_14_3_0] | [IS_FIREABLE [timeout_A_0_14_2_0] | [IS_FIREABLE [timeout_A_0_14_1_0] | [IS_FIREABLE [timeout_A_0_14_10_0] | [IS_FIREABLE [timeout_A_0_14_0_0] | [IS_FIREABLE [timeout_A_0_13_9_0] | [IS_FIREABLE [timeout_A_0_13_8_0] | [IS_FIREABLE [timeout_A_0_13_7_0] | [IS_FIREABLE [timeout_A_0_13_6_0] | [IS_FIREABLE [timeout_A_0_13_5_0] | [IS_FIREABLE [timeout_A_0_13_4_0] | [IS_FIREABLE [timeout_A_0_13_3_0] | [IS_FIREABLE [timeout_A_0_13_2_0] | [IS_FIREABLE [timeout_A_0_13_1_0] | [IS_FIREABLE [timeout_A_0_13_10_0] | [IS_FIREABLE [timeout_A_0_13_0_0] | [IS_FIREABLE [timeout_A_0_12_9_0] | [IS_FIREABLE [timeout_A_0_12_8_0] | [IS_FIREABLE [timeout_A_0_12_7_0] | [IS_FIREABLE [timeout_A_0_12_6_0] | [IS_FIREABLE [timeout_A_0_12_5_0] | [IS_FIREABLE [timeout_A_0_12_4_0] | [IS_FIREABLE [timeout_A_0_12_3_0] | [IS_FIREABLE [timeout_A_0_12_2_0] | [IS_FIREABLE [timeout_A_0_12_1_0] | [IS_FIREABLE [timeout_A_0_12_10_0] | [IS_FIREABLE [timeout_A_0_12_0_0] | [IS_FIREABLE [timeout_A_0_11_9_0] | [IS_FIREABLE [timeout_A_0_11_8_0] | [IS_FIREABLE [timeout_A_0_11_7_0] | [IS_FIREABLE [timeout_A_0_11_6_0] | [IS_FIREABLE [timeout_A_0_11_5_0] | [IS_FIREABLE [timeout_A_0_11_4_0] | [IS_FIREABLE [timeout_A_0_11_3_0] | [IS_FIREABLE [timeout_A_0_11_2_0] | [IS_FIREABLE [timeout_A_0_11_1_0] | [IS_FIREABLE [timeout_A_0_11_10_0] | [IS_FIREABLE [timeout_A_0_11_0_0] | [IS_FIREABLE [timeout_A_0_10_9_0] | [IS_FIREABLE [timeout_A_0_10_8_0] | [IS_FIREABLE [timeout_A_0_10_7_0] | [IS_FIREABLE [timeout_A_0_10_6_0] | [IS_FIREABLE [timeout_A_0_10_5_0] | [IS_FIREABLE [timeout_A_0_10_4_0] | [IS_FIREABLE [timeout_A_0_10_3_0] | [IS_FIREABLE [timeout_A_0_10_2_0] | [IS_FIREABLE [timeout_A_0_10_1_0] | [IS_FIREABLE [timeout_A_0_10_0_0] | IS_FIREABLE [timeout_A_0_10_10_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U ~ [[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]] & [EG [[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistremen
BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.001sec

372 650 968 1280 1524 5318 41826 41852 41842 42114 42132 45336 46872 49278 50532 52464 53918 54136 54329 54557 54734 54945 55099 55230 57667 57889 58147 58297 58507 59055 59178 59266 59378 59500 59591 60399 60927 61683 62111 62228 62332 62460 62612 62735 62829 62425 62407 62402 62419 62447 62495 62591 62657 62789 62945 62873 62734 62554 62284 62368 62432 62496 62560 62608 62668 67028 67028 67024 67316 67688 68204 68756 69194 69710 70016 70234 70265 70301 70355 70447 70515 70587 70659 70704 70847 74986 74986 74982 75262 75616 76090 76606 77206 77428 77644 77838 77875 77911 77947 78055 78121 78193 78256 78319 79322 82160 82156 82406 82568 83072 83486 83954 84242 84434 84670 84689 84737 84773 84855 84919 84985 85075 85120 85207 88598 88594 88608 88850 89276 89732 90146 90338 90590 90718 90815 90851 90893 90975 91039 91103 91173 91227 91323 94344 94344 94358 94588 95110 95482 95662 95914 96082 96258 96277 96331 96355 96431 96495 96575 96643 96688 96775 99458 99454 99674 99860 100274 100442 100682 100844 101071 101110 101147 101183 101195 101303 101367 101431 101497 101551 102462 103868 103878 104116 104434 104650 104818 105046 105190 105311 105342 105372 105396 105488 105552 105616 105680 105721 105864 107625 107625 107847 108075 108225 108441 108585 108789 108883 108902 108938 108956 109038 109102 109166 109230 109285 109370 110801 110801 110970 111147 111291 111495 111627 111821 111888 111913 111937 111961 112377 112761 113241 113625 113865 114079 111952 111996 111951 112114 112861 113239 113629 113851 114091 114735 113852 112958 112274 112028 112316 112604 112892 113180 113360 112767 111113 111104 111216 111820 112018 112216 112360 112576 112570 112194 111550 111088 111058 111250 111442 111634 111802 111904 110272 110264 110244 110442 110731 110827 110947 111091 111421 110994 110552 110108 109994 110090 110186 110294 110378 110438 109439 109432 109417 109495 109567 109639 109687 109759 109914 109607 109367 109133 109215 109407 109599 109791 109959 110061 108690 108696 108676 108732 108972 109246 109396 109498 109642 109918 109323 108851 108479 108389 108485 108581 108677 108749 108817 108129 108137 108111 108219 108346 108418 108478 108550 108704 108516 108319 108211 108175 108223 108271 108319 108355 108397 108418 107732 107721 107757 107787 107823 107847 107883 107876 107765 107609 107429 107433 107529 107625 107745 107805 107861 107321 107313 107313 107370 107478 107646 107700 107760 107916 107737 107609 107418 107310 107370 107418 107472 107520 107550 107582 107233 107232 107259 107289 107325 107349 107385 107468 107385 107303 107249 107205 107371 107467 107563 107647 107731 108621 106880 106878 106894 106966 107056 107134 107182 107254 107370 107045 106769 106535 106461 106509 106557 106605 106647 106675 106397 106397 106385 106445 106505 106529 106559 106595 106652 106553 106433 106379 106399 106447 106495 106543 106579 106621 106734 106351 106342 106402 106432 106468 106498 106534 106589 106493 106385 106331 106343 106391 106439 106487 106523 106565 106686 106303 106293 106341 106377 106401 106437 106467 106514 106397 106331 106259 106281 106335 106389 106437 106473 106503 105914 105914 105915 105939 105975 106005 106041 106089 105992 105881 105755 105443 158306 226088 302786
iterations count:488431 (891), effective:8888 (16)

initing FirstDep: 0m 0.002sec

88964 88895 88823 88775 88748 89758 92101 94650 97972 98674 99150 99572 100713 101229 101710 102758 103314 103789 104937 105515 105991 107634 107842 108311 109034 110778 110778 111436 112238 114149 114204 114723 115347 116235 117926 117926 118722 119624 121941 121992 122190 122866 123818 126416 126465 126446 127142 128134 133385 133407 133407 133407 133390 133450 133672 133869 134040 134230 134436 134643 134814 135005 135216 135427 135615 138193 138244 138266 138378 138452 138769 138769 138769 138769 138826 138919 139025 139101 142548 146770 153807 158924 159708 159732 159779 159806 159834 159833 159860 159860 159885 159885 159908 159908 159936 159933 159936 160010 160038 160036 160034 160032 160025 160027 160061 160061 160069 160069 160069 160069 160068 160113 160192 160221 160329 160344 160329 160309 160370 160355 160335 160396 160386 160366 160345 160428 160408 160388 160372 160455 160435 160420 160399 160487 160472 160452 160432 160529 160510 160490 160475 160454 160554 160539 160519 160499 160483 160589 160569 160554 160534 160519 160655 160655 160655 160655 160655 160793 161142 161471 161543 162321 162773 163273 163698 156177 156177 156177 156177 156177 156177 156180 156182 156178 156199 156175 156157 156127 156109 156091 156067 156037 155996 155996 155997 155997 155998 155999 156003 155951 155940 155846 155760 155721 155721 155709 155704 155699 155692 155688 155683 155676 155674 155620 155590 155538 155449 155375 155373 155355 155343 155336 155328 155309 155304 155286 155280 155270 155260 155247 155209 155161 155108 155055 154969 154939 154929 154910 154898 154893 154881 154863 154857 154847 154828 154825 154815 154796 154798 154774 154733 154690 154633 154579 154491 154460 154450 154440 154419 154407 154402 154390 154372 154366 154358 154346 154328 154326 154314 154296 154295 154279 154255 154203 154171 154116 154026 153971 153937 153929 153917 153898 153886 153879 153869 153857 153839 153833 153825 153813 153795 153789 153781 153769 153751 153750 153734 153710 153690 153625 153607 153507 153454 153373 153372 153360 153350 153332 153320 153312 153304 153292 153280 153261 153256 153248 153236 153224 153205 153204 153192 153182 153164 153163 153139 153123 153099 153052 153013 152956 152899 152805 152771 152761 152749 152739 152721 152709 152701 152693 152681 152669 152653 152638 152637 152625 152615 152603 152585 152581 152571 152559 152547 152532 152510 152452 152406 152364 152322 152267 152229 152148 152053 152011 151989 151939 151899 151865 151849 151770 151682 151603 151524 151394 151345 151316 151289 151268 151249 151228 151213 151202 151177 151156 151140 151127 151077 151057 151046 151017 150992 150973 150949 150937 150923 150899 150878 150861 150853 150802 150786 150762 150746 150721 150700 150678 150671 150645 150623 150604 150589 150582 150529 150505 150489 150464 150443 150418 150407 150382 150362 150345 150332 150286 152355 154321 157611 160756 164042 164343 164376 164437 164712 164760 164800 165109 165161 165202 165484 165592 165634 165696 165991 166098 166158 166227 166550 166656 166719 166773 166857 167241 167299 167371 167430 167832 167936 167984 168062 168146 168559 168662 168728 168791 168879 168950 169404 169470 169534 169629 169725 170147 170160 170169 170180 170189 170196 170208 170212 170226 170229 170244 170248 170251 170265 170269 170284 171052 171143 171173 171218 171244 171284 171302 171324 171358 171378 171398 171420 171441 171453 171469 171486 171502 171514 171523 171533 171548 171556 171562 171570 171576 171585 171588 171592 171596 171599 180611 250979 297070 297079 297070 297070 297070 297540 297519 297516 297524 297546 297543 297539 297572 297569 297565 297580 297594 297590 297586 297601 297614 297610 297607 297620 297633 297630 297626 297629 297652 297648 297644 297641 297652 297665 297662 297658 297655 297665 297678 297675 297671 297667 297668 297697 297697 297696 297692 297689 297684 297687 297690 297693 297694 297696 297699 297699 297702 297702 297705 297705 297706 297702 297698 297690 297192 297241 297236 297248 297243 297247 297247 297240 297247 297241 297237 297235 297234 297228 297224 297220 297218 297212 297206 297201 297199 297193 297187 297183 297176 297160 297135 297123 297104 297089 297077 297212 297799 305125 305074 305035 305008 304993 305443 305439 305436 305470 305466 305463 305479 305492 305489 305485 305517 305514 305510 305515 305538 305534 305530 305527 305557 305553 305550 305546 305575 305572 305568 305564 305561 305589 305585 305582 305578 305575 305602 305598 305594 305591 305587 305619 305619 305619 305616 305612 305611 305604 305607 305610 305612 305615 305616 305618 305619 305621 305622 305624 305624 305623 305619 305613 305105 305139 305156 305162 305164 305154 305168 305162 305153 305162 305158 305151 305155 305149 305145 305138 305139 305133 305127 305123 305114 305114 305108 305104 305098 305089 305065 305052 305031 305014 305004 304995 305005 312006 311372 311340 311336 311331 311316 311312 311308 311293 311289 311285 311281 311267 311263 311260 311247 311242 311239 311235 311223 311219 311215 311211 311208 311196 311192 311189 311185 311175 311171 311167 311163 311160 311151 311146 311143 311139 311136 311131 311130 311130 311130 311130 311130 311124 311116 311111 311103 311095 311088 310975 310428 310494 310491 310487 310470 310467 310463 310447 310444 310440 310435 310422 310418 310414 310410 310397 310393 310390 310385 310373 310370 310366 310362 310351 310347 310343 310340 310335 310325 310322 310318 310314 310310 310301 310297 310294 310290 310287 310284 310284 310284 310284 310284 310262 310274 310266 310259 310251 310246 310232 309769 309849 309845 309842 309825 309821 309818 309803 309798 309794 309791 309776 309772 309769 309764 309751 309748 309744 309741 309728 309724 309720 309717 309705 309702 309698 309694 309691 309680 309676 309673 309669 309664 309656 309652 309648 309645 309641 309638 309638 309638 309638 309638 309618 309631 309624 309616 309611 309603 309589 309293 309397 309392 309388 309371 309368 309364 309349 309345 309341 309337 309323 309319 309315 309312 309298 309294 309291 309287 309274 309271 309267 309263 309253 309248 309244 309241 309237 309227 309223 309219 309216 309212 309202 309199 309195 309191 309188 309184 309184 309184 309184 309184 309182 309177 309173 309166 309158 309151 309139 308996 309418 309441 309438 309441 309463 309460 309455 309484 309481 309477 309504 309501 309497 309493 309520 309516 309512 309509 309534 309530 309527 309523 309526 309544 309540 309536 309533 309556 309552 309549 309545 309541 309564 309560 309556 309553 309549 309553 309575 309575 309573 309569 309564 309886 309887 309888 309889 309887 309889 309889 309889 309889 309889 309889 309889 309887 309883 309879 309870 309988 310682 310679 310675 310704 310701 310697 310700 310721 310718 310714 310742 310738 310734 310731 310757 310753 310749 310746 310771 310767 310764 310760 310764 310781 310777 310774 310770 310793 310790 310786 310782 310779 310801 310797 310794 310790 310787 310791 310791 310791 310788 310784 310780 310764 310765 310766 310768 310769 310768 310769 310767 310769 310768 310769 310769 310765 310761 310757 310223 311414 311437 311433 311437 311459 311455 311451 311480 311476 311473 311500 311496 311493 311489 311515 311512 311508 311504 311530 311526 311522 311519 311522 311539 311536 311532 311529 311552 311548 311545 311541 311537 311560 311556 311552 311549 311545 311527 311549 311549 311546 311543 311538 311521 311522 311524 311525 311526 311525 311527 311526 311527 311527 311527 311527 311525 311520 311515 310981 312178 312201 312197 312201 312223 312219 312215 312244 312240 312237 312264 312260 312257 312253 312279 312276 312272 312268 312294 312290 312286 312283 312286 312303 312300 312296 312292 312316 312312 312308 312305 312301 312323 312320 312316 312312 312309 312313 312313 312313 312310 312307 312302 312285 312286 312286 312288 312289 312288 312290 312289 312291 312290 312291 312291 312287 312284 312279 311745 312969 312966 312962 312991 312988 312984 312987 313009 313005 313001 313029 313025 313021 313018 313044 313040 313037 313033 313058 313055 313051 313047 313051 313068 313064 313061 313057 313080 313077 313073 313069 313066 313088 313084 313081 313077 313074 313078 313078 313078 313075 313071 313067 313051 313051 313051 313052 313053 313052 313054 313053 313055 313054 313056 313056 313052 313048 313044 312510 313730 313726 313723 313752 313748 313745 313748 313769 313766 313762 313789 313786 313782 313777 313805 313801 313797 313794 313819 313815 313812 313808 313832 313829 313825 313821 313818 313841 313837 313834 313830 313827 313849 313845 313841 313838 313834 313839 313839 313839 313836 313832 313828 313812 313811 313812 313813 313813 313812 313814 313813 313815 313814 313816 313816 313813 313809 313803 314108 314481 314477 314473 314503 314499 314495 314499 314520 314516 314513 314540 314536 314532 314528 314555 314551 314548 314543 314570 314566 314562 314559 314583 314579 314576 314572 314567 314592 314588 314584 314581 314576 314599 314596 314592 314588 314585 314590 314590 314590 314586 314583 314563 314565 314568 314571 314574 314576 314577 314579 314580 314582 314583 314585 314585 314583 314579 314577 314744 314735 314728 314718 314708 314700 314666 315280 315273 315263 315253 315245 315213 315567 315558 315551 315541 315533 315523 315495 317223 317278 317299 317448 317496 317517 317565 317734 317752 317794 318000 318012 318042 318097 318306 318324 318360 318403 318647 318665 318689 318744 318798 319032 319058 319106 319157 319442 319454 319484 319539 319593 319900 319918 319942 319997 320071 320315 320354 320384 320423 320493 320556 321098 321149 321168 321159 321173 321163 321177 321172 321162 321173 321167 321162 321164 321160 321154 321147 321148 321144 321138 321132 321123 321125 321119 321113 321108 321098 321086 321061 321041 321025 321018 321001 321074 321094 321086 321103 321097 321107 321101 321097 321105 321099 321093 321095 321093 321088 321082 321082 321079 321074 321068 321064 321062 321057 321051 321047 321041 321026 321001 320989 320971 320958 320937 320984 321036 321032 321045 321039 321045 321044 321039 321043 321041 321035 321027 321036 321030 321024 321016 321022 321016 321010 321005 321003 320999 320993 320988 320982 320978 320953 320930 320913 320905 320893 320900 320955 320974 320982 320982 320974 320988 320982 320974 320985 320979 320973 320977 320973 320967 320961 320963 320959 320953 320947 320939 320942 320936 320931 320925 320916 320905 320881 320862 320847 320839 320813 320864 320917 320908 320927 320921 320927 320926 320921 320925 320923 320917 320909 320917 320911 320906 320897 320902 320896 320891 320885 320883 320879 320874 320868 320864 320856 320833 320812 320802 320786 320773 320780 320835 320856 320848 320864 320860 320871 320865 320861 320868 320862 320856 320850 320856 320850 320846 320838 320841 320835 320831 320825 320823 320819 320813 320807 320802 320798 320773 320753 320735 320720 320713 320741 320879 320948 321155 321293 321484 321572 321581 321589 321597 321606 321611 321621 321625 321637 321641 321653 321657 321670 321689 321715 321680 321594 321594 321637 321675 321683 321707 321723 321748 321704 321584 321581 321572 321579 321593 321607 321628 321643 321571 321451 321467 321463 321463 321469 321481 321499 321511 321491 321350 321342 321336 321327 321331 321341 321351 321361 321377 321329 321209 321197 321191 321186 321179 321187 321195 321203 321210 321208 321100 321038 321034 321028 321022 321020 321022 321028 321034 321039 321035 320903 320862 320858 320852 320846 320837 320839 320843 320847 320853 320858 320786 320666 320667 320663 320657 320651 320643 320643 320645 320647 320650 320653 320581 320461 320450 320425 320404 320388 320375 320347 320348 320347 320347 320346 320344 320188 319644
iterations count:1687891 (3080), effective:9474 (17)
318628
iterations count:1002 (1), effective:2 (0)
143830 154827 156123 157954 159481 161559 184906 185477 185804 186068 186316 186511 186730 186927 187125 187301 187474 187630 187799 187993 188211 188354 188561 188766 188949 193908 193992 194099 194211 194285 194917 194973 195036 195092 195173 195233 195342 195420 195506 202798 216685 224279 230853 231422 230158 229420 229446 229504 229569 229683 229744 229801 229805 229725 229665 241784 243321 245430 247025 248740 249328 259138 288475 296104 296155 296194 296230 296023 296093 296533 304690 304679 304675 304673 304663 304435 304445 304453 312245 312243 312239 312235 312229 311999 311999 311997 319761 319608 319425 319397 319218 319039 318862 318622 318384 318148 317914 317483
iterations count:98785 (180), effective:986 (1)

iterations count:548 (1), effective:0 (0)
293782 294334 294882 295374 295676 295710 295662 295678 295694 295710 295726 296902 296833 296849 296865 296881 296897 296945 298019 297917 297929 297945 297961 297981 298025 298076 300638 300390 300402 300421 300438 300454 300555 300617 300689 301439 301904 301884 301864 302028 302008 301988 302038 302131 302111 302096 302253 302233 302218 302198 302354 302339 302319 302299 302459 302439 302419 302404 302558 302538 302523 302503 302488 302641 302621 302606 302586 302566 302723 302703 302683 302668 302648 302604 302469 302289 302139 302079 302670 303206 303206 303206 303206 303206 303200 303192 303185 303179 303174 303170 303167 303165 303164 303164 303164 303779 303779 303779 303779 303880 303925 303925 303925 303925 303923 303923 303923 303923 304793 304937 305214 307310 308632 310782 311087 311117 311135 311153 311171 311171 311189 311189 311207 311207 311225 311225 311231 311201 311177 311243 311243 311243 311243 311243 311254 311257 311257 311265 311265 311265 311265 311319 311343 311335 311398 311514 311592 311665 311657 311637 311621 311610 311590 311575 311562 311542 311527 311509 311493 311473 311458 311443 311428 311408 311388 311375 311357 311337 311322 311301 311285 311270 311250 311230 311217 311197 311177 311162 311142 311123 311108 311088 311068 311053 311035 311053 311053 311053 311053 311053 304298 304482 304642 304854 305070 305288 305500 306442 307652 308448 308878 309165 309388 309550 309759 309813 309961 310015 310156 310210 310344 310344 310494 310470 310446 310609 310708 310844 310943 311043 311152 311208 311251 311231 311129 311071 310942 310943 310919 310883 310853 310817 310763 310806 310812 310819 310855 310843 310909 310911 310958 310991 310955 310917 310855 310787 310698 310604 310601 310565 310529 310499 310463 310443 310445 310417 310421 310423 310395 310405 310407 310379 310398 310375 310411 310387 310345 310274 310213 310118 310036 310016 309980 309956 309920 309884 309836 309852 309848 309819 309824 309825 309802 309790 309808 309802 309776 309792 309788 309791 309792 309770 309725 309708 309597 309539 309401 309390 309366 309330 309300 309264 309210 309225 309219 309198 309186 309196 309190 309176 309159 309171 309166 309152 309150 309150 309145 309136 309146 309138 309118 309070 309054 308943 308862 308744 308729 308705 308669 308633 308603 308549 308561 308555 308549 308527 308515 308525 308519 308515 308490 308500 308494 308488 308471 308478 308472 308468 308449 308467 308455 308445 308423 308377 308312 308251 308153 308051 308033 307997 307961 307937 307901 307853 307860 307856 307850 307833 307821 307824 307819 307813 307801 307786 307793 307787 307781 307777 307757 307764 307758 307754 307737 307749 307739 307727 307711 307673 307647 307585 307478 307423 307314 307284 307260 307224 307194 307158 307128 307125 307119 307114 307103 307089 307087 307083 307077 307071 307056 307044 307050 307044 307038 307033 307017 307020 307015 307009 307003 306990 306996 306984 306974 306962 306946 306895 306882 306771 306690 306563 306536 306512 306476 306446 306410 306356 306332 306282 306258 306220 306190 306127 306005 305819 305638 305407 305277 305179 305029 304957 304843 304753 304669 304672 304666 304660 304655 304646 304634 304615 304601 304578 304559 304545 304519 304442 304392 304388 304382 304376 304371 304356 304352 304326 304303 304285 304270 304263 304167 304149 304143 304139 304133 304127 304113 304102 304077 304056 304040 304027 303967 303947 303941 303935 303931 303925 303919 303893 303870 303852 303837 303811 305328 310333 316917
iterations count:505367 (922), effective:3974 (7)
263689 264082 264443 264871 265243 265510 265691 265704 265720 265736 265752 265771 267549 267561 267577 267593 267609 267626 268872 269340 269349 269365 269381 269401 269420 269492 270959 272454 272465 272481 272498 272514 272551 272629 272741 272660 274392 274459 274439 275254 278266 284462 286316 286296 286276 286421 286401 286381 286525 286505 286485 286470 286608 286588 286573 286612 286690 286675 286655 286694 286776 286756 286736 286721 286856 286836 286821 286801 286786 286920 286900 286880 286865 286904 286778 286618 286463 286388 286353 287480 287480 287480 287480 287480 287476 287468 287461 287455 287451 287448 287446 287445 287445 287941 287941 287941 287941 287985 288083 288083 288083 288083 288082 288082 288082 288082 288871 289035 289143 290315 291471 293306 294666 294702 294732 294738 294750 294768 294774 294786 294804 294804 294810 294822 294822 294815 294795 294808 294854 294854 294854 294854 294849 294868 294868 294873 294876 294876 294876 294876 294943 294935 294927 295043 295107 295255 289555 289735 289924 290140 290356 290572 290779 291780 293122 293867 294143 294498 294684 294669 294848 295020 295000 295170 295150 295308 295293 295273 295459 295459 295711 295625 295733 295860 295968 296068 296175 296223 296249 296187 296126 296033 295941 295938 295892 295846 295812 295766 295718 295780 295760 295775 295799 295807 295841 295852 295893 295936 295879 295861 295791 295691 295589 295550 295525 295479 295445 295399 295358 295349 295332 295313 295325 295320 295292 295307 295290 295289 295291 295288 295309 295293 295244 295172 295105 295014 294923 294901 294855 294820 294774 294740 294705 294706 294691 294673 294682 294676 294651 294655 294657 294641 294639 294640 294630 294658 294646 294628 294580 294512 294451 294355 294257 294242 294196 294150 294116 294070 294022 294034 294028 294008 293990 294004 293998 293976 293964 293978 293972 293950 293959 293955 293949 293961 293961 293949 293933 293882 293815 293754 293657 293557 293527 293492 293446 293412 293366 293318 293327 293321 293316 293294 293291 293290 293284 293271 293255 293263 293257 293252 293231 293239 293233 293228 293224 293236 293228 293216 293181 293144 293081 293017 292920 292814 292789 292743 292708 292662 292616 292587 292585 292580 292574 292555 292540 292548 292542 292536 292518 292506 292514 292508 292502 292490 292485 292483 292478 292472 292468 292481 292469 292457 292443 292390 292376 292311 292206 292094 292034 292005 291959 291913 291879 291838 291814 291808 291804 291798 291782 291770 291769 291764 291758 291754 291738 291726 291729 291723 291719 291712 291694 291699 291693 291687 291682 291678 291684 291676 291664 291652 291625 291584 291520 291459 291359 291253 291222 291176 291130 291096 291050 290996 290982 290932 290892 290858 290842 290763 290622 290406 290202 289948 289802 289688 289528 289403 289291 289233 289116 289113 289107 289103 289097 289085 289073 289055 289031 289010 289000 288985 288933 288860 288830 288825 288819 288813 288808 288794 288777 288752 288740 288721 288706 288680 288603 288583 288577 288572 288566 288564 288547 288523 288500 288489 288472 288458 288375 288377 288371 288366 288360 288355 288344 288321 288310 288293 288280 288273 293640 303309 312745
iterations count:461275 (841), effective:3821 (6)
206013 226585 251143 252942 255054 260385 264652 268942 274330 279718 284546 289341 294164 298973 303689
iterations count:15490 (28), effective:237 (0)

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="BridgeAndVehicles-COL-V20P10N10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/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/BridgeAndVehicles-COL-V20P10N10.tgz
mv BridgeAndVehicles-COL-V20P10N10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-COL-V20P10N10, 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 r005kn-ebro-146347672700094"
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 ;