Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 69K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 205K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 72K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 216K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.3K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P20N10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306300312
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526568565142

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N10 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ BridgeAndVehicles-PT-V50P20N10 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1456/65536 symbol table entries, 11 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: ((A (X ((FIREABLE(liberation_A) OR NOT FIREABLE(liberation_B)))) AND A (G (E (X ((FIREABLE(basculement_1) OR FIREABLE(basculement_2))))))) OR A (X (E (G (NOT FIREABLE(liberation_B)))))) : E (G (((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) OR FIREABLE(enregistrement_A_12) OR FIREABLE(enregistrement_A_13) OR FIREABLE(enregistrement_A_14) OR FIREABLE(enregistrement_A_15) OR FIREABLE(enregistrement_A_16) OR FIREABLE(enregistrement_A_17) OR FIREABLE(enregistrement_A_18) OR FIREABLE(enregistrement_A_19) OR FIREABLE(enregistrement_A_20) OR FIREABLE(enregistrement_A_21) OR FIREABLE(enregistrement_A_22) OR FIREABLE(enregistrement_A_23) OR FIREABLE(enregistrement_A_24) OR FIREABLE(enregistrement_A_25) OR FIREABLE(enregistrement_A_26) OR FIREABLE(enregistrement_A_27) OR FIREABLE(enregistrement_A_28) OR FIREABLE(enregistrement_A_29) OR FIREABLE(enregistrement_A_30) OR FIREABLE(enregistrement_A_31) OR FIREABLE(enregistrement_A_32) OR FIREABLE(enregistrement_A_33) OR FIREABLE(enregistrement_A_34) OR FIREABLE(enregistrement_A_35) OR FIREABLE(enregistrement_A_36) OR FIREABLE(enregistrement_A_37) OR FIREABLE(enregistrement_A_38) OR FIREABLE(enregistrement_A_39) OR FIREABLE(enregistrement_A_40) OR FIREABLE(enregistrement_A_41) OR FIREABLE(enregistrement_A_42) OR FIREABLE(enregistrement_A_43) OR FIREABLE(enregistrement_A_44) OR FIREABLE(enregistrement_A_45) OR FIREABLE(enregistrement_A_46) OR FIREABLE(enregistrement_A_47) OR FIREABLE(enregistrement_A_48) OR FIREABLE(enregistrement_A_49) OR FIREABLE(enregistrement_A_50) OR FIREABLE(liberation_B) OR (FIREABLE(liberation_B) AND (FIREABLE(autorisation_A_1_1) OR FIREABLE(autorisation_A_1_2) OR FIREABLE(autorisation_A_1_3) OR FIREABLE(autorisation_A_1_4) OR FIREABLE(autorisation_A_1_5) OR FIREABLE(autorisation_A_1_6) OR FIREABLE(autorisation_A_1_7) OR FIREABLE(autorisation_A_1_8) OR FIREABLE(autorisation_A_1_9) OR FIREABLE(autorisation_A_1_10) OR FIREABLE(autorisation_A_1_11) OR FIREABLE(autorisation_A_1_12) OR FIREABLE(autorisation_A_1_13) OR FIREABLE(autorisation_A_1_14) OR FIREABLE(autorisation_A_1_15) OR FIREABLE(autorisation_A_1_16) OR FIREABLE(autorisation_A_1_17) OR FIREABLE(autorisation_A_1_18) OR FIREABLE(autorisation_A_1_19) OR FIREABLE(autorisation_A_1_20) OR FIREABLE(autorisation_A_1_21) OR FIREABLE(autorisation_A_1_22) OR FIREABLE(autorisation_A_1_23) OR FIREABLE(autorisation_A_1_24) OR FIREABLE(autorisation_A_1_25) OR FIREABLE(autorisation_A_1_26) OR FIREABLE(autorisation_A_1_27) OR FIREABLE(autorisation_A_1_28) OR FIREABLE(autorisation_A_1_29) OR FIREABLE(autorisation_A_1_30) OR FIREABLE(autorisation_A_1_31) OR FIREABLE(autorisation_A_1_32) OR FIREABLE(autorisation_A_1_33) OR FIREABLE(autorisation_A_1_34) OR FIREABLE(autorisation_A_1_35) OR FIREABLE(autorisation_A_1_36) OR FIREABLE(autorisation_A_1_37) OR FIREABLE(autorisation_A_1_38) OR FIREABLE(autorisation_A_1_39) OR FIREABLE(autorisation_A_1_40) OR FIREABLE(autorisation_A_1_41) OR FIREABLE(autorisation_A_1_42) OR FIREABLE(autorisation_A_1_43) OR FIREABLE(autorisation_A_1_44) OR FIREABLE(autorisation_A_1_45) OR FIREABLE(autorisation_A_1_46) OR FIREABLE(autorisation_A_1_47) OR FIREABLE(autorisation_A_1_48) OR FIREABLE(autorisation_A_1_49) OR FIREABLE(autorisation_A_1_50))) OR ((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) OR FIREABLE(enregistrement_A_12) OR FIREABLE(enregistrement_A_13) OR FIREABLE(enregistrement_A_14) OR FIREABLE(enregistrement_A_15) OR FIREABLE(enregistrement_A_16) OR FIREABLE(enregistrement_A_17) OR FIREABLE(enregistrement_A_18) OR FIREABLE(enregistrement_A_19) OR FIREABLE(enregistrement_A_20) OR FIREABLE(enregistrement_A_21) OR FIREABLE(enregistrement_A_22) OR FIREABLE(enregistrement_A_23) OR FIREABLE(enregistrement_A_24) OR FIREABLE(enregistrement_A_25) OR FIREABLE(enregistrement_A_26) OR FIREABLE(enregistrement_A_27) OR FIREABLE(enregistrement_A_28) OR FIREABLE(enregistrement_A_29) OR FIREABLE(enregistrement_A_30) OR FIREABLE(enregistrement_A_31) OR FIREABLE(enregistrement_A_32) OR FIREABLE(enregistrement_A_33) OR FIREABLE(enregistrement_A_34) OR FIREABLE(enregistrement_A_35) OR FIREABLE(enregistrement_A_36) OR FIREABLE(enregistrement_A_37) OR FIREABLE(enregistrement_A_38) OR FIREABLE(enregistrement_A_39) OR FIREABLE(enregistrement_A_40) OR FIREABLE(enregistrement_A_41) OR FIREABLE(enregistrement_A_42) OR FIREABLE(enregistrement_A_43) OR FIREABLE(enregistrement_A_44) OR FIREABLE(enregistrement_A_45) OR FIREABLE(enregistrement_A_46) OR FIREABLE(enregistrement_A_47) OR FIREABLE(enregistrement_A_48) OR FIREABLE(enregistrement_A_49) OR FIREABLE(enregistrement_A_50)) AND FIREABLE(liberation_A) AND (FIREABLE(timeout_B_2_1_0_0) OR FIREABLE(timeout_B_2_2_0_0) OR FIREABLE(timeout_B_2_3_0_0) OR FIREABLE(timeout_B_2_4_0_0) OR FIREABLE(timeout_B_2_5_0_0) OR FIREABLE(timeout_B_2_6_0_0) OR FIREABLE(timeout_B_2_7_0_0) OR FIREABLE(timeout_B_2_8_0_0) OR FIREABLE(timeout_B_2_9_0_0) OR FIREABLE(timeout_B_2_10_0_0) OR FIREABLE(timeout_B_2_11_0_0) OR FIREABLE(timeout_B_2_12_0_0) OR FIREABLE(timeout_B_2_13_0_0) OR FIREABLE(timeout_B_2_14_0_0) OR FIREABLE(timeout_B_2_15_0_0) OR FIREABLE(timeout_B_2_16_0_0) OR FIREABLE(timeout_B_2_17_0_0) OR FIREABLE(timeout_B_2_18_0_0) OR FIREABLE(timeout_B_2_19_0_0) OR FIREABLE(timeout_B_2_20_0_0) OR FIREABLE(timeout_B_2_21_0_0) OR FIREABLE(timeout_B_2_22_0_0) OR FIREABLE(timeout_B_2_23_0_0) OR FIREABLE(timeout_B_2_24_0_0) OR FIREABLE(timeout_B_2_25_0_0) OR FIREABLE(timeout_B_2_26_0_0) OR FIREABLE(timeout_B_2_27_0_0) OR FIREABLE(timeout_B_2_28_0_0) OR FIREABLE(timeout_B_2_29_0_0) OR FIREABLE(timeout_B_2_30_0_0) OR FIREABLE(timeout_B_2_31_0_0) OR FIREABLE(timeout_B_2_32_0_0) OR FIREABLE(timeout_B_2_33_0_0) OR FIREABLE(timeout_B_2_34_0_0) OR FIREABLE(timeout_B_2_35_0_0) OR FIREABLE(timeout_B_2_36_0_0) OR FIREABLE(timeout_B_2_37_0_0) OR FIREABLE(timeout_B_2_38_0_0) OR FIREABLE(timeout_B_2_39_0_0) OR FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_B_2_41_0_0) OR FIREABLE(timeout_B_2_42_0_0) OR FIREABLE(timeout_B_2_43_0_0) OR FIREABLE(timeout_B_2_44_0_0) OR FIREABLE(timeout_B_2_45_0_0) OR FIREABLE(timeout_B_2_46_0_0) OR FIREABLE(timeout_B_2_47_0_0) OR FIREABLE(timeout_B_2_48_0_0) OR FIREABLE(timeout_B_2_49_0_0) OR FIREABLE(timeout_B_2_50_0_0) OR FIREABLE(timeout_B_2_1_1_0) OR FIREABLE(timeout_B_2_2_1_0) OR FIREABLE(timeout_B_2_3_1_0) OR FIREABLE(timeout_B_2_4_1_0) OR FIREABLE(timeout_B_2_5_1_0) OR FIREABLE(timeout_B_2_6_1_0) OR FIREABLE(timeout_B_2_7_1_0) OR FIREABLE(timeout_B_2_8_1_0) OR FIREABLE(timeout_B_2_9_1_0) OR FIREABLE(timeout_B_2_10_1_0) OR FIREABLE(timeout_B_2_11_1_0) OR FIREABLE(timeout_B_2_12_1_0) OR FIREABLE(timeout_B_2_13_1_0) OR FIREABLE(timeout_B_2_14_1_0) OR FIREABLE(timeout_B_2_15_1_0) OR FIREABLE(timeout_B_2_16_1_0) OR FIREABLE(timeout_B_2_17_1_0) OR FIREABLE(timeout_B_2_18_1_0) OR FIREABLE(timeout_B_2_19_1_0) OR FIREABLE(timeout_B_2_20_1_0) OR FIREABLE(timeout_B_2_21_1_0) OR FIREABLE(timeout_B_2_22_1_0) OR FIREABLE(timeout_B_2_23_1_0) OR FIREABLE(timeout_B_2_24_1_0) OR FIREABLE(timeout_B_2_25_1_0) OR FIREABLE(timeout_B_2_26_1_0) OR FIREABLE(timeout_B_2_27_1_0) OR FIREABLE(timeout_B_2_28_1_0) OR FIREABLE(timeout_B_2_29_1_0) OR FIREABLE(timeout_B_2_30_1_0) OR FIREABLE(timeout_B_2_31_1_0) OR FIREABLE(timeout_B_2_32_1_0) OR FIREABLE(timeout_B_2_33_1_0) OR FIREABLE(timeout_B_2_34_1_0) OR FIREABLE(timeout_B_2_35_1_0) OR FIREABLE(timeout_B_2_36_1_0) OR FIREABLE(timeout_B_2_37_1_0) OR FIREABLE(timeout_B_2_38_1_0) OR FIREABLE(timeout_B_2_39_1_0) OR FIREABLE(timeout_B_2_40_1_0) OR FIREABLE(timeout_B_2_41_1_0) OR FIREABLE(timeout_B_2_42_1_0) OR FIREABLE(timeout_B_2_43_1_0) OR FIREABLE(timeout_B_2_44_1_0) OR FIREABLE(timeout_B_2_45_1_0) OR FIREABLE(timeout_B_2_46_1_0) OR FIREABLE(timeout_B_2_47_1_0) OR FIREABLE(timeout_B_2_48_1_0) OR FIREABLE(timeout_B_2_49_1_0) OR FIREABLE(timeout_B_2_50_1_0) OR FIREABLE(timeout_B_2_1_2_0) OR FIREABLE(timeout_B_2_2_2_0) OR FIREABLE(timeout_B_2_3_2_0) OR FIREABLE(timeout_B_2_4_2_0) OR FIREABLE(timeout_B_2_5_2_0) OR FIREABLE(timeout_B_2_6_2_0) OR FIREABLE(timeout_B_2_7_2_0) OR FIREABLE(timeout_B_2_8_2_0) OR FIREABLE(timeout_B_2_9_2_0) OR FIREABLE(timeout_B_2_10_2_0) OR FIREABLE(timeout_B_2_11_2_0) OR FIREABLE(timeout_B_2_12_2_0) OR FIREABLE(timeout_B_2_13_2_0) OR FIREABLE(timeout_B_2_14_2_0) OR FIREABLE(timeout_B_2_15_2_0) OR FIREABLE(timeout_B_2_16_2_0) OR FIREABLE(timeout_B_2_17_2_0) OR FIREABLE(timeout_B_2_18_2_0) OR FIREABLE(timeout_B_2_19_2_0) OR FIREABLE(timeout_B_2_20_2_0) OR FIREABLE(timeout_B_2_21_2_0) OR FIREABLE(timeout_B_2_22_2_0) OR FIREABLE(timeout_B_2_23_2_0) OR FIREABLE(timeout_B_2_24_2_0) OR FIREABLE(timeout_B_2_25_2_0) OR FIREABLE(timeout_B_2_26_2_0) OR FIREABLE(timeout_B_2_27_2_0) OR FIREABLE(timeout_B_2_28_2_0) OR FIREABLE(timeout_B_2_29_2_0) OR FIREABLE(timeout_B_2_30_2_0) OR FIREABLE(timeout_B_2_31_2_0) OR FIREABLE(timeout_B_2_32_2_0) OR FIREABLE(timeout_B_2_33_2_0) OR FIREABLE(timeout_B_2_34_2_0) OR FIREABLE(timeout_B_2_35_2_0) OR FIREABLE(timeout_B_2_36_2_0) OR FIREABLE(timeout_B_2_37_2_0) OR FIREABLE(timeout_B_2_38_2_0) OR FIREABLE(timeout_B_2_39_2_0) OR FIREABLE(timeout_B_2_40_2_0) OR FIREABLE(timeout_B_2_41_2_0) OR FIREABLE(timeout_B_2_42_2_0) OR FIREABLE(timeout_B_2_43_2_0) OR FIREABLE(timeout_B_2_44_2_0) OR FIREABLE(timeout_B_2_45_2_0) OR FIREABLE(timeout_B_2_46_2_0) OR FIREABLE(timeout_B_2_47_2_0) OR FIREABLE(timeout_B_2_48_2_0) OR FIREABLE(timeout_B_2_49_2_0) OR FIREABLE(timeout_B_2_50_2_0) OR FIREABLE(timeout_B_2_1_3_0) OR FIREABLE(timeout_B_2_2_3_0) OR FIREABLE(timeout_B_2_3_3_0) OR FIREABLE(timeout_B_2_4_3_0) OR FIREABLE(timeout_B_2_5_3_0) OR FIREABLE(timeout_B_2_6_3_0) OR FIREABLE(timeout_B_2_7_3_0) OR FIREABLE(timeout_B_2_8_3_0) OR FIREABLE(timeout_B_2_9_3_0) OR FIREABLE(timeout_B_2_10_3_0) OR FIREABLE(timeout_B_2_11_3_0) OR FIREABLE(timeout_B_2_12_3_0) OR FIREABLE(timeout_B_2_13_3_0) OR FIREABLE(timeout_B_2_14_3_0) OR FIREABLE(timeout_B_2_15_3_0) OR FIREABLE(timeout_B_2_16_3_0) OR FIREABLE(timeout_B_2_17_3_0) OR FIREABLE(timeout_B_2_18_3_0) OR FIREABLE(timeout_B_2_19_3_0) OR FIREABLE(timeout_B_2_20_3_0) OR FIREABLE(timeout_B_2_21_3_0) OR FIREABLE(timeout_B_2_22_3_0) OR FIREABLE(timeout_B_2_23_3_0) OR FIREABLE(timeout_B_2_24_3_0) OR FIREABLE(timeout_B_2_25_3_0) OR FIREABLE(timeout_B_2_26_3_0) OR FIREABLE(timeout_B_2_27_3_0) OR FIREABLE(timeout_B_2_28_3_0) OR FIREABLE(timeout_B_2_29_3_0) OR FIREABLE(timeout_B_2_30_3_0) OR FIREABLE(timeout_B_2_31_3_0) OR FIREABLE(timeout_B_2_32_3_0) OR FIREABLE(timeout_B_2_33_3_0) OR FIREABLE(timeout_B_2_34_3_0) OR FIREABLE(timeout_B_2_35_3_0) OR FIREABLE(timeout_B_2_36_3_0) OR FIREABLE(timeout_B_2_37_3_0) OR FIREABLE(timeout_B_2_38_3_0) OR FIREABLE(timeout_B_2_39_3_0) OR FIREABLE(timeout_B_2_40_3_0) OR FIREABLE(timeout_B_2_41_3_0) OR FIREABLE(timeout_B_2_42_3_0) OR FIREABLE(timeout_B_2_43_3_0) OR FIREABLE(timeout_B_2_44_3_0) OR FIREABLE(timeout_B_2_45_3_0) OR FIREABLE(timeout_B_2_46_3_0) OR FIREABLE(timeout_B_2_47_3_0) OR FIREABLE(timeout_B_2_48_3_0) OR FIREABLE(timeout_B_2_49_3_0) OR FIREABLE(timeout_B_2_50_3_0) OR FIREABLE(timeout_B_2_1_4_0) OR FIREABLE(timeout_B_2_2_4_0) OR FIREABLE(timeout_B_2_3_4_0) OR FIREABLE(timeout_B_2_4_4_0) OR FIREABLE(timeout_B_2_5_4_0) OR FIREABLE(timeout_B_2_6_4_0) OR FIREABLE(timeout_B_2_7_4_0) OR FIREABLE(timeout_B_2_8_4_0) OR FIREABLE(timeout_B_2_9_4_0) OR FIREABLE(timeout_B_2_10_4_0) OR FIREABLE(timeout_B_2_11_4_0) OR FIREABLE(timeout_B_2_12_4_0) OR FIREABLE(timeout_B_2_13_4_0) OR FIREABLE(timeout_B_2_14_4_0) OR FIREABLE(timeout_B_2_15_4_0) OR FIREABLE(timeout_B_2_16_4_0) OR FIREABLE(timeout_B_2_17_4_0) OR FIREABLE(timeout_B_2_18_4_0) OR FIREABLE(timeout_B_2_19_4_0) OR FIREABLE(timeout_B_2_20_4_0) OR FIREABLE(timeout_B_2_21_4_0) OR FIREABLE(timeout_B_2_22_4_0) OR FIREABLE(timeout_B_2_23_4_0) OR FIREABLE(timeout_B_2_24_4_0) OR FIREABLE(timeout_B_2_25_4_0) OR FIREABLE(timeout_B_2_26_4_0) OR FIREABLE(timeout_B_2_27_4_0) OR FIREABLE(timeout_B_2_28_4_0) OR FIREABLE(timeout_B_2_29_4_0) OR FIREABLE(timeout_B_2_30_4_0) OR FIREABLE(timeout_B_2_31_4_0) OR FIREABLE(timeout_B_2_32_4_0) OR FIREABLE(timeout_B_2_33_4_0) OR FIREABLE(timeout_B_2_34_4_0) OR FIREABLE(timeout_B_2_35_4_0) OR FIREABLE(timeout_B_2_36_4_0) OR FIREABLE(timeout_B_2_37_4_0) OR FIREABLE(timeout_B_2_38_4_0) OR FIREABLE(timeout_B_2_39_4_0) OR FIREABLE(timeout_B_2_40_4_0) OR FIREABLE(timeout_B_2_41_4_0) OR FIREABLE(timeout_B_2_42_4_0) OR FIREABLE(timeout_B_2_43_4_0) OR FIREABLE(timeout_B_2_44_4_0) OR FIREABLE(timeout_B_2_45_4_0) OR FIREABLE(timeout_B_2_46_4_0) OR FIREABLE(timeout_B_2_47_4_0) OR FIREABLE(timeout_B_2_48_4_0) OR FIREABLE(timeout_B_2_49_4_0) OR FIREABLE(timeout_B_2_50_4_0) OR FIREABLE(timeout_B_2_1_5_0) OR FIREABLE(timeout_B_2_2_5_0) OR FIREABLE(timeout_B_2_3_5_0) OR FIREABLE(timeout_B_2_4_5_0) OR FIREABLE(timeout_B_2_5_5_0) OR FIREABLE(timeout_B_2_6_5_0) OR FIREABLE(timeout_B_2_7_5_0) OR FIREABLE(timeout_B_2_8_5_0) OR FIREABLE(timeout_B_2_9_5_0) OR FIREABLE(timeout_B_2_10_5_0) OR FIREABLE(timeout_B_2_11_5_0) OR FIREABLE(timeout_B_2_12_5_0) OR FIREABLE(timeout_B_2_13_5_0) OR FIREABLE(timeout_B_2_14_5_0) OR FIREABLE(timeout_B_2_15_5_0) OR FIREABLE(timeout_B_2_16_5_0) OR FIREABLE(timeout_B_2_17_5_0) OR FIREABLE(timeout_B_2_18_5_0) OR FIREABLE(timeout_B_2_19_5_0) OR FIREABLE(timeout_B_2_20_5_0) OR FIREABLE(timeout_B_2_21_5_0) OR FIREABLE(timeout_B_2_22_5_0) OR FIREABLE(timeout_B_2_23_5_0) OR FIREABLE(timeout_B_2_24_5_0) OR FIREABLE(timeout_B_2_25_5_0) OR FIREABLE(timeout_B_2_26_5_0) OR FIREABLE(timeout_B_2_27_5_0) OR FIREABLE(timeout_B_2_28_5_0) OR FIREABLE(timeout_B_2_29_5_0) OR FIREABLE(timeout_B_2_30_5_0) OR FIREABLE(timeout_B_2_31_5_0) OR FIREABLE(timeout_B_2_32_5_0) OR FIREABLE(timeout_B_2_33_5_0) OR FIREABLE(timeout_B_2_34_5_0) OR FIREABLE(timeout_B_2_35_5_0) OR FIREABLE(timeout_B_2_36_5_0) OR FIREABLE(timeout_B_2_37_5_0) OR FIREABLE(timeout_B_2_38_5_0) OR FIREABLE(timeout_B_2_39_5_0) OR FIREABLE(timeout_B_2_40_5_0) OR FIREABLE(timeout_B_2_41_5_0) OR FIREABLE(timeout_B_2_42_5_0) OR FIREABLE(timeout_B_2_43_5_0) OR FIREABLE(timeout_B_2_44_5_0) OR FIREABLE(timeout_B_2_45_5_0) OR FIREABLE(timeout_B_2_46_5_0) OR FIREABLE(timeout_B_2_47_5_0) OR FIREABLE(timeout_B_2_48_5_0) OR FIREABLE(timeout_B_2_49_5_0) OR FIREABLE(timeout_B_2_50_5_0) OR FIREABLE(timeout_B_2_1_6_0) OR FIREABLE(timeout_B_2_2_6_0) OR FIREABLE(timeout_B_2_3_6_0) OR FIREABLE(timeout_B_2_4_6_0) OR FIREABLE(timeout_B_2_5_6_0) OR FIREABLE(timeout_B_2_6_6_0) OR FIREABLE(timeout_B_2_7_6_0) OR FIREABLE(timeout_B_2_8_6_0) OR FIREABLE(timeout_B_2_9_6_0) OR FIREABLE(timeout_B_2_10_6_0) OR FIREABLE(timeout_B_2_11_6_0) OR FIREABLE(timeout_B_2_12_6_0) OR FIREABLE(timeout_B_2_13_6_0) OR FIREABLE(timeout_B_2_14_6_0) OR FIREABLE(timeout_B_2_15_6_0) OR FIREABLE(timeout_B_2_16_6_0) OR FIREABLE(timeout_B_2_17_6_0) OR FIREABLE(timeout_B_2_18_6_0) OR FIREABLE(timeout_B_2_19_6_0) OR FIREABLE(timeout_B_2_20_6_0) OR FIREABLE(timeout_B_2_21_6_0) OR FIREABLE(timeout_B_2_22_6_0) OR FIREABLE(timeout_B_2_23_6_0) OR FIREABLE(timeout_B_2_24_6_0) OR FIREABLE(timeout_B_2_25_6_0) OR FIREABLE(timeout_B_2_26_6_0) OR FIREABLE(timeout_B_2_27_6_0) OR FIREABLE(timeout_B_2_28_6_0) OR FIREABLE(timeout_B_2_29_6_0) OR FIREABLE(timeout_B_2_30_6_0) OR FIREABLE(timeout_B_2_31_6_0) OR FIREABLE(timeout_B_2_32_6_0) OR FIREABLE(timeout_B_2_33_6_0) OR FIREABLE(timeout_B_2_34_6_0) OR FIREABLE(timeout_B_2_35_6_0) OR FIREABLE(timeout_B_2_36_6_0) OR FIREABLE(timeout_B_2_37_6_0) OR FIREABLE(timeout_B_2_38_6_0) OR FIREABLE(timeout_B_2_39_6_0) OR FIREABLE(timeout_B_2_40_6_0) OR FIREABLE(timeout_B_2_41_6_0) OR FIREABLE(timeout_B_2_42_6_0) OR FIREABLE(timeout_B_2_43_6_0) OR FIREABLE(timeout_B_2_44_6_0) OR FIREABLE(timeout_B_2_45_6_0) OR FIREABLE(timeout_B_2_46_6_0) OR FIREABLE(timeout_B_2_47_6_0) OR FIREABLE(timeout_B_2_48_6_0) OR FIREABLE(timeout_B_2_49_6_0) OR FIREABLE(timeout_B_2_50_6_0) OR FIREABLE(timeout_B_2_1_7_0) OR FIREABLE(timeout_B_2_2_7_0) OR FIREABLE(timeout_B_2_3_7_0) OR FIREABLE(timeout_B_2_4_7_0) OR FIREABLE(timeout_B_2_5_7_0) OR FIREABLE(timeout_B_2_6_7_0) OR FIREABLE(timeout_B_2_7_7_0) OR FIREABLE(timeout_B_2_8_7_0) OR FIREABLE(timeout_B_2_9_7_0) OR FIREABLE(timeout_B_2_10_7_0) OR FIREABLE(timeout_B_2_11_7_0) OR FIREABLE(timeout_B_2_12_7_0) OR FIREABLE(timeout_B_2_13_7_0) OR FIREABLE(timeout_B_2_14_7_0) OR FIREABLE(timeout_B_2_15_7_0) OR FIREABLE(timeout_B_2_16_7_0) OR FIREABLE(timeout_B_2_17_7_0) OR FIREABLE(timeout_B_2_18_7_0) OR FIREABLE(timeout_B_2_19_7_0) OR FIREABLE(timeout_B_2_20_7_0) OR FIREABLE(timeout_B_2_21_7_0) OR FIREABLE(timeout_B_2_22_7_0) OR FIREABLE(timeout_B_2_23_7_0) OR FIREABLE(timeout_B_2_24_7_0) OR FIREABLE(timeout_B_2_25_7_0) OR FIREABLE(timeout_B_2_26_7_0) OR FIREABLE(timeout_B_2_27_7_0) OR FIREABLE(timeout_B_2_28_7_0) OR FIREABLE(timeout_B_2_29_7_0) OR FIREABLE(timeout_B_2_30_7_0) OR FIREABLE(timeout_B_2_31_7_0) OR FIREABLE(timeout_B_2_32_7_0) OR FIREABLE(timeout_B_2_33_7_0) OR FIREABLE(timeout_B_2_34_7_0) OR FIREABLE(timeout_B_2_35_7_0) OR FIREABLE(timeout_B_2_36_7_0) OR FIREABLE(timeout_B_2_37_7_0) OR FIREABLE(timeout_B_2_38_7_0) OR FIREABLE(timeout_B_2_39_7_0) OR FIREABLE(timeout_B_2_40_7_0) OR FIREABLE(timeout_B_2_41_7_0) OR FIREABLE(timeout_B_2_42_7_0) OR FIREABLE(timeout_B_2_43_7_0) OR FIREABLE(timeout_B_2_44_7_0) OR FIREABLE(timeout_B_2_45_7_0) OR FIREABLE(timeout_B_2_46_7_0) OR FIREABLE(timeout_B_2_47_7_0) OR FIREABLE(timeout_B_2_48_7_0) OR FIREABLE(timeout_B_2_49_7_0) OR FIREABLE(timeout_B_2_50_7_0) OR FIREABLE(timeout_B_2_1_8_0) OR FIREABLE(timeout_B_2_2_8_0) OR FIREABLE(timeout_B_2_3_8_0) OR FIREABLE(timeout_B_2_4_8_0) OR FIREABLE(timeout_B_2_5_8_0) OR FIREABLE(timeout_B_2_6_8_0) OR FIREABLE(timeout_B_2_7_8_0) OR FIREABLE(timeout_B_2_8_8_0) OR FIREABLE(timeout_B_2_9_8_0) OR FIREABLE(timeout_B_2_10_8_0) OR FIREABLE(timeout_B_2_11_8_0) OR FIREABLE(timeout_B_2_12_8_0) OR FIREABLE(timeout_B_2_13_8_0) OR FIREABLE(timeout_B_2_14_8_0) OR FIREABLE(timeout_B_2_15_8_0) OR FIREABLE(timeout_B_2_16_8_0) OR FIREABLE(timeout_B_2_17_8_0) OR FIREABLE(timeout_B_2_18_8_0) OR FIREABLE(timeout_B_2_19_8_0) OR FIREABLE(timeout_B_2_20_8_0) OR FIREABLE(timeout_B_2_21_8_0) OR FIREABLE(timeout_B_2_22_8_0) OR FIREABLE(timeout_B_2_23_8_0) OR FIREABLE(timeout_B_2_24_8_0) OR FIREABLE(timeout_B_2_25_8_0) OR FIREABLE(timeout_B_2_26_8_0) OR FIREABLE(timeout_B_2_27_8_0) OR FIREABLE(timeout_B_2_28_8_0) OR FIREABLE(timeout_B_2_29_8_0) OR FIREABLE(timeout_B_2_30_8_0) OR FIREABLE(timeout_B_2_31_8_0) OR FIREABLE(timeout_B_2_32_8_0) OR FIREABLE(timeout_B_2_33_8_0) OR FIREABLE(timeout_B_2_34_8_0) OR FIREABLE(timeout_B_2_35_8_0) OR FIREABLE(timeout_B_2_36_8_0) OR FIREABLE(timeout_B_2_37_8_0) OR FIREABLE(timeout_B_2_38_8_0) OR FIREABLE(timeout_B_2_39_8_0) OR FIREABLE(timeout_B_2_40_8_0) OR FIREABLE(timeout_B_2_41_8_0) OR FIREABLE(timeout_B_2_42_8_0) OR FIREABLE(timeout_B_2_43_8_0) OR FIREABLE(timeout_B_2_44_8_0) OR FIREABLE(timeout_B_2_45_8_0) OR FIREABLE(timeout_B_2_46_8_0) OR FIREABLE(timeout_B_2_47_8_0) OR FIREABLE(timeout_B_2_48_8_0) OR FIREABLE(timeout_B_2_49_8_0) OR FIREABLE(timeout_B_2_50_8_0) OR FIREABLE(timeout_B_2_1_9_0) OR FIREABLE(timeout_B_2_2_9_0) OR FIREABLE(timeout_B_2_3_9_0) OR FIREABLE(timeout_B_2_4_9_0) OR FIREABLE(timeout_B_2_5_9_0) OR FIREABLE(timeout_B_2_6_9_0) OR FIREABLE(timeout_B_2_7_9_0) OR FIREABLE(timeout_B_2_8_9_0) OR FIREABLE(timeout_B_2_9_9_0) OR FIREABLE(timeout_B_2_10_9_0) OR FIREABLE(timeout_B_2_11_9_0) OR FIREABLE(timeout_B_2_12_9_0) OR FIREABLE(timeout_B_2_13_9_0) OR FIREABLE(timeout_B_2_14_9_0) OR FIREABLE(timeout_B_2_15_9_0) OR FIREABLE(timeout_B_2_16_9_0) OR FIREABLE(timeout_B_2_17_9_0) OR FIREABLE(timeout_B_2_18_9_0) OR FIREABLE(timeout_B_2_19_9_0) OR FIREABLE(timeout_B_2_20_9_0) OR FIREABLE(timeout_B_2_21_9_0) OR FIREABLE(timeout_B_2_22_9_0) OR FIREABLE(timeout_B_2_23_9_0) OR FIREABLE(timeout_B_2_24_9_0) OR FIREABLE(timeout_B_2_25_9_0) OR FIREABLE(timeout_B_2_26_9_0) OR FIREABLE(timeout_B_2_27_9_0) OR FIREABLE(timeout_B_2_28_9_0) OR FIREABLE(timeout_B_2_29_9_0) OR FIREABLE(timeout_B_2_30_9_0) OR FIREABLE(timeout_B_2_31_9_0) OR FIREABLE(timeout_B_2_32_9_0) OR FIREABLE(timeout_B_2_33_9_0) OR FIREABLE(timeout_B_2_34_9_0) OR FIREABLE(timeout_B_2_35_9_0) OR FIREABLE(timeout_B_2_36_9_0) OR FIREABLE(timeout_B_2_37_9_0) OR FIREABLE(timeout_B_2_38_9_0) OR FIREABLE(timeout_B_2_39_9_0) OR FIREABLE(timeout_B_2_40_9_0) OR FIREABLE(timeout_B_2_41_9_0) OR FIREABLE(timeout_B_2_42_9_0) OR FIREABLE(timeout_B_2_43_9_0) OR FIREABLE(timeout_B_2_44_9_0) OR FIREABLE(timeout_B_2_45_9_0) OR FIREABLE(timeout_B_2_46_9_0) OR FIREABLE(timeout_B_2_47_9_0) OR FIREABLE(timeout_B_2_48_9_0) OR FIREABLE(timeout_B_2_49_9_0) OR FIREABLE(timeout_B_2_50_9_0) OR FIREABLE(timeout_B_2_1_10_0) OR FIREABLE(timeout_B_2_2_10_0) OR FIREABLE(timeout_B_2_3_10_0) OR FIREABLE(timeout_B_2_4_10_0) OR FIREABLE(timeout_B_2_5_10_0) OR FIREABLE(timeout_B_2_6_10_0) OR FIREABLE(timeout_B_2_7_10_0) OR FIREABLE(timeout_B_2_8_10_0) OR FIREABLE(timeout_B_2_9_10_0) OR FIREABLE(timeout_B_2_10_10_0) OR FIREABLE(timeout_B_2_11_10_0) OR FIREABLE(timeout_B_2_12_10_0) OR FIREABLE(timeout_B_2_13_10_0) OR FIREABLE(timeout_B_2_14_10_0) OR FIREABLE(timeout_B_2_15_10_0) OR FIREABLE(timeout_B_2_16_10_0) OR FIREABLE(timeout_B_2_17_10_0) OR FIREABLE(timeout_B_2_18_10_0) OR FIREABLE(timeout_B_2_19_10_0) OR FIREABLE(timeout_B_2_20_10_0) OR FIREABLE(timeout_B_2_21_10_0) OR FIREABLE(timeout_B_2_22_10_0) OR FIREABLE(timeout_B_2_23_10_0) OR FIREABLE(timeout_B_2_24_10_0) OR FIREABLE(timeout_B_2_25_10_0) OR FIREABLE(timeout_B_2_26_10_0) OR FIREABLE(timeout_B_2_27_10_0) OR FIREABLE(timeout_B_2_28_10_0) OR FIREABLE(timeout_B_2_29_10_0) OR FIREABLE(timeout_B_2_30_10_0) OR FIREABLE(timeout_B_2_31_10_0) OR FIREABLE(timeout_B_2_32_10_0) OR FIREABLE(timeout_B_2_33_10_0) OR FIREABLE(timeout_B_2_34_10_0) OR FIREABLE(timeout_B_2_35_10_0) OR FIREABLE(timeout_B_2_36_10_0) OR FIREABLE(timeout_B_2_37_10_0) OR FIREABLE(timeout_B_2_38_10_0) OR FIREABLE(timeout_B_2_39_10_0) OR FIREABLE(timeout_B_2_40_10_0) OR FIREABLE(timeout_B_2_41_10_0) OR FIREABLE(timeout_B_2_42_10_0) OR FIREABLE(timeout_B_2_43_10_0) OR FIREABLE(timeout_B_2_44_10_0) OR FIREABLE(timeout_B_2_45_10_0) OR FIREABLE(timeout_B_2_46_10_0) OR FIREABLE(timeout_B_2_47_10_0) OR FIREABLE(timeout_B_2_48_10_0) OR FIREABLE(timeout_B_2_49_10_0) OR FIREABLE(timeout_B_2_50_10_0) OR FIREABLE(autorisation_A_1_1) OR FIREABLE(autorisation_A_1_2) OR FIREABLE(autorisation_A_1_3) OR FIREABLE(autorisation_A_1_4) OR FIREABLE(autorisation_A_1_5) OR FIREABLE(autorisation_A_1_6) OR FIREABLE(autorisation_A_1_7) OR FIREABLE(autorisation_A_1_8) OR FIREABLE(autorisation_A_1_9) OR FIREABLE(autorisation_A_1_10) OR FIREABLE(autorisation_A_1_11) OR FIREABLE(autorisation_A_1_12) OR FIREABLE(autorisation_A_1_13) OR FIREABLE(autorisation_A_1_14) OR FIREABLE(autorisation_A_1_15) OR FIREABLE(autorisation_A_1_16) OR FIREABLE(autorisation_A_1_17) OR FIREABLE(autorisation_A_1_18) OR FIREABLE(autorisation_A_1_19) OR FIREABLE(autorisation_A_1_20) OR FIREABLE(autorisation_A_1_21) OR FIREABLE(autorisation_A_1_22) OR FIREABLE(autorisation_A_1_23) OR FIREABLE(autorisation_A_1_24) OR FIREABLE(autorisation_A_1_25) OR FIREABLE(autorisation_A_1_26) OR FIREABLE(autorisation_A_1_27) OR FIREABLE(autorisation_A_1_28) OR FIREABLE(autorisation_A_1_29) OR FIREABLE(autorisation_A_1_30) OR FIREABLE(autorisation_A_1_31) OR FIREABLE(autorisation_A_1_32) OR FIREABLE(autorisation_A_1_33) OR FIREABLE(autorisation_A_1_34) OR FIREABLE(autorisation_A_1_35) OR FIREABLE(autorisation_A_1_36) OR FIREABLE(autorisation_A_1_37) OR FIREABLE(autorisation_A_1_38) OR FIREABLE(autorisation_A_1_39) OR FIREABLE(autorisation_A_1_40) OR FIREABLE(autorisation_A_1_41) OR FIREABLE(autorisation_A_1_42) OR FIREABLE(autorisation_A_1_43) OR FIREABLE(autorisation_A_1_44) OR FIREABLE(autorisation_A_1_45) OR FIREABLE(autorisation_A_1_46) OR FIREABLE(autorisation_A_1_47) OR FIREABLE(autorisation_A_1_48) OR FIREABLE(autorisation_A_1_49) OR FIREABLE(autorisation_A_1_50)))) OR ((FIREABLE(enregistrement_B_0) OR FIREABLE(enregistrement_B_1) OR FIREABLE(enregistrement_B_2) OR FIREABLE(enregistrement_B_3) OR FIREABLE(enregistrement_B_4) OR FIREABLE(enregistrement_B_5) OR FIREABLE(enregistrement_B_6) OR FIREABLE(enregistrement_B_7) OR FIREABLE(enregistrement_B_8) OR FIREABLE(enregistrement_B_9) OR FIREABLE(enregistrement_B_10) OR FIREABLE(enregistrement_B_11) OR FIREABLE(enregistrement_B_12) OR FIREABLE(enregistrement_B_13) OR FIREABLE(enregistrement_B_14) OR FIREABLE(enregistrement_B_15) OR FIREABLE(enregistrement_B_16) OR FIREABLE(enregistrement_B_17) OR FIREABLE(enregistrement_B_18) OR FIREABLE(enregistrement_B_19) OR FIREABLE(enregistrement_B_20) OR FIREABLE(enregistrement_B_21) OR FIREABLE(enregistrement_B_22) OR FIREABLE(enregistrement_B_23) OR FIREABLE(enregistrement_B_24) OR FIREABLE(enregistrement_B_25) OR FIREABLE(enregistrement_B_26) OR FIREABLE(enregistrement_B_27) OR FIREABLE(enregistrement_B_28) OR FIREABLE(enregistrement_B_29) OR FIREABLE(enregistrement_B_30) OR FIREABLE(enregistrement_B_31) OR FIREABLE(enregistrement_B_32) OR FIREABLE(enregistrement_B_33) OR FIREABLE(enregistrement_B_34) OR FIREABLE(enregistrement_B_35) OR FIREABLE(enregistrement_B_36) OR FIREABLE(enregistrement_B_37) OR FIREABLE(enregistrement_B_38) OR FIREABLE(enregistrement_B_39) OR FIREABLE(enregistrement_B_40) OR FIREABLE(enregistrement_B_41) OR FIREABLE(enregistrement_B_42) OR FIREABLE(enregistrement_B_43) OR FIREABLE(enregistrement_B_44) OR FIREABLE(enregistrement_B_45) OR FIREABLE(enregistrement_B_46) OR FIREABLE(enregistrement_B_47) OR FIREABLE(enregistrement_B_48) OR FIREABLE(enregistrement_B_49) OR FIREABLE(enregistrement_B_50) OR FIREABLE(basculement_1) OR FIREABLE(basculement_2) OR FIREABLE(basculement_1) OR FIREABLE(basculement_2) OR FIREABLE(liberation_A)) OR E (F ((FIREABLE(autorisation_A_1_1) OR FIREABLE(autorisation_A_1_2) OR FIREABLE(autorisation_A_1_3) OR FIREABLE(autorisation_A_1_4) OR FIREABLE(autorisation_A_1_5) OR FIREABLE(autorisation_A_1_6) OR FIREABLE(autorisation_A_1_7) OR FIREABLE(autorisation_A_1_8) OR FIREABLE(autorisation_A_1_9) OR FIREABLE(autorisation_A_1_10) OR FIREABLE(autorisation_A_1_11) OR FIREABLE(autorisation_A_1_12) OR FIREABLE(autorisation_A_1_13) OR FIREABLE(autorisation_A_1_14) OR FIREABLE(autorisation_A_1_15) OR FIREABLE(autorisation_A_1_16) OR FIREABLE(autorisation_A_1_17) OR FIREABLE(autorisation_A_1_18) OR FIREABLE(autorisation_A_1_19) OR FIREABLE(autorisation_A_1_20) OR FIREABLE(autorisation_A_1_21) OR FIREABLE(autorisation_A_1_22) OR FIREABLE(autorisation_A_1_23) OR FIREABLE(autorisation_A_1_24) OR FIREABLE(autorisation_A_1_25) OR FIREABLE(autorisation_A_1_26) OR FIREABLE(autorisation_A_1_27) OR FIREABLE(autorisation_A_1_28) OR FIREABLE(autorisation_A_1_29) OR FIREABLE(autorisation_A_1_30) OR FIREABLE(autorisation_A_1_31) OR FIREABLE(autorisation_A_1_32) OR FIREABLE(autorisation_A_1_33) OR FIREABLE(autorisation_A_1_34) OR FIREABLE(autorisation_A_1_35) OR FIREABLE(autorisation_A_1_36) OR FIREABLE(autorisation_A_1_37) OR FIREABLE(autorisation_A_1_38) OR FIREABLE(autorisation_A_1_39) OR FIREABLE(autorisation_A_1_40) OR FIREABLE(autorisation_A_1_41) OR FIREABLE(autorisation_A_1_42) OR FIREABLE(autorisation_A_1_43) OR FIREABLE(autorisation_A_1_44) OR FIREABLE(autorisation_A_1_45) OR FIREABLE(autorisation_A_1_46) OR FIREABLE(autorisation_A_1_47) OR FIREABLE(autorisation_A_1_48) OR FIREABLE(autorisation_A_1_49) OR FIREABLE(autorisation_A_1_50)))))))) : E (G (((NOT FIREABLE(autorisation_B_2_1) AND NOT FIREABLE(autorisation_B_2_2) AND NOT FIREABLE(autorisation_B_2_3) AND NOT FIREABLE(autorisation_B_2_4) AND NOT FIREABLE(autorisation_B_2_5) AND NOT FIREABLE(autorisation_B_2_6) AND NOT FIREABLE(autorisation_B_2_7) AND NOT FIREABLE(autorisation_B_2_8) AND NOT FIREABLE(autorisation_B_2_9) AND NOT FIREABLE(autorisation_B_2_10) AND NOT FIREABLE(autorisation_B_2_11) AND NOT FIREABLE(autorisation_B_2_12) AND NOT FIREABLE(autorisation_B_2_13) AND NOT FIREABLE(autorisation_B_2_14) AND NOT FIREABLE(autorisation_B_2_15) AND NOT FIREABLE(autorisation_B_2_16) AND NOT FIREABLE(autorisation_B_2_17) AND NOT FIREABLE(autorisation_B_2_18) AND NOT FIREABLE(autorisation_B_2_19) AND NOT FIREABLE(autorisation_B_2_20) AND NOT FIREABLE(autorisation_B_2_21) AND NOT FIREABLE(autorisation_B_2_22) AND NOT FIREABLE(autorisation_B_2_23) AND NOT FIREABLE(autorisation_B_2_24) AND NOT FIREABLE(autorisation_B_2_25) AND NOT FIREABLE(autorisation_B_2_26) AND NOT FIREABLE(autorisation_B_2_27) AND NOT FIREABLE(autorisation_B_2_28) AND NOT FIREABLE(autorisation_B_2_29) AND NOT FIREABLE(autorisation_B_2_30) AND NOT FIREABLE(autorisation_B_2_31) AND NOT FIREABLE(autorisation_B_2_32) AND NOT FIREABLE(autorisation_B_2_33) AND NOT FIREABLE(autorisation_B_2_34) AND NOT FIREABLE(autorisation_B_2_35) AND NOT FIREABLE(autorisation_B_2_36) AND NOT FIREABLE(autorisation_B_2_37) AND NOT FIREABLE(autorisation_B_2_38) AND NOT FIREABLE(autorisation_B_2_39) AND NOT FIREABLE(autorisation_B_2_40) AND NOT FIREABLE(autorisation_B_2_41) AND NOT FIREABLE(autorisation_B_2_42) AND NOT FIREABLE(autorisation_B_2_43) AND NOT FIREABLE(autorisation_B_2_44) AND NOT FIREABLE(autorisation_B_2_45) AND NOT FIREABLE(autorisation_B_2_46) AND NOT FIREABLE(autorisation_B_2_47) AND NOT FIREABLE(autorisation_B_2_48) AND NOT FIREABLE(autorisation_B_2_49) AND NOT FIREABLE(autorisation_B_2_50) AND NOT FIREABLE(liberation_A)) OR (NOT FIREABLE(timeout_B_2_1_0_0) AND NOT FIREABLE(timeout_B_2_2_0_0) AND NOT FIREABLE(timeout_B_2_3_0_0) AND NOT FIREABLE(timeout_B_2_4_0_0) AND NOT FIREABLE(timeout_B_2_5_0_0) AND NOT FIREABLE(timeout_B_2_6_0_0) AND NOT FIREABLE(timeout_B_2_7_0_0) AND NOT FIREABLE(timeout_B_2_8_0_0) AND NOT FIREABLE(timeout_B_2_9_0_0) AND NOT FIREABLE(timeout_B_2_10_0_0) AND NOT FIREABLE(timeout_B_2_11_0_0) AND NOT FIREABLE(timeout_B_2_12_0_0) AND NOT FIREABLE(timeout_B_2_13_0_0) AND NOT FIREABLE(timeout_B_2_14_0_0) AND NOT FIREABLE(timeout_B_2_15_0_0) AND NOT FIREABLE(timeout_B_2_16_0_0) AND NOT FIREABLE(timeout_B_2_17_0_0) AND NOT FIREABLE(timeout_B_2_18_0_0) AND NOT FIREABLE(timeout_B_2_19_0_0) AND NOT FIREABLE(timeout_B_2_20_0_0) AND NOT FIREABLE(timeout_B_2_21_0_0) AND NOT FIREABLE(timeout_B_2_22_0_0) AND NOT FIREABLE(timeout_B_2_23_0_0) AND NOT FIREABLE(timeout_B_2_24_0_0) AND NOT FIREABLE(timeout_B_2_25_0_0) AND NOT FIREABLE(timeout_B_2_26_0_0) AND NOT FIREABLE(timeout_B_2_27_0_0) AND NOT FIREABLE(timeout_B_2_28_0_0) AND NOT FIREABLE(timeout_B_2_29_0_0) AND NOT FIREABLE(timeout_B_2_30_0_0) AND NOT FIREABLE(timeout_B_2_31_0_0) AND NOT FIREABLE(timeout_B_2_32_0_0) AND NOT FIREABLE(timeout_B_2_33_0_0) AND NOT FIREABLE(timeout_B_2_34_0_0) AND NOT FIREABLE(timeout_B_2_35_0_0) AND NOT FIREABLE(timeout_B_2_36_0_0) AND NOT FIREABLE(timeout_B_2_37_0_0) AND NOT FIREABLE(timeout_B_2_38_0_0) AND NOT FIREABLE(timeout_B_2_39_0_0) AND NOT FIREABLE(timeout_B_2_40_0_0) AND NOT FIREABLE(timeout_B_2_41_0_0) AND NOT FIREABLE(timeout_B_2_42_0_0) AND NOT FIREABLE(timeout_B_2_43_0_0) AND NOT FIREABLE(timeout_B_2_44_0_0) AND NOT FIREABLE(timeout_B_2_45_0_0) AND NOT FIREABLE(timeout_B_2_46_0_0) AND NOT FIREABLE(timeout_B_2_47_0_0) AND NOT FIREABLE(timeout_B_2_48_0_0) AND NOT FIREABLE(timeout_B_2_49_0_0) AND NOT FIREABLE(timeout_B_2_50_0_0) AND NOT FIREABLE(timeout_B_2_1_1_0) AND NOT FIREABLE(timeout_B_2_2_1_0) AND NOT FIREABLE(timeout_B_2_3_1_0) AND NOT FIREABLE(timeout_B_2_4_1_0) AND NOT FIREABLE(timeout_B_2_5_1_0) AND NOT FIREABLE(timeout_B_2_6_1_0) AND NOT FIREABLE(timeout_B_2_7_1_0) AND NOT FIREABLE(timeout_B_2_8_1_0) AND NOT FIREABLE(timeout_B_2_9_1_0) AND NOT FIREABLE(timeout_B_2_10_1_0) AND NOT FIREABLE(timeout_B_2_11_1_0) AND NOT FIREABLE(timeout_B_2_12_1_0) AND NOT FIREABLE(timeout_B_2_13_1_0) AND NOT FIREABLE(timeout_B_2_14_1_0) AND NOT FIREABLE(timeout_B_2_15_1_0) AND NOT FIREABLE(timeout_B_2_16_1_0) AND NOT FIREABLE(timeout_B_2_17_1_0) AND NOT FIREABLE(timeout_B_2_18_1_0) AND NOT FIREABLE(timeout_B_2_19_1_0) AND NOT FIREABLE(timeout_B_2_20_1_0) AND NOT FIREABLE(timeout_B_2_21_1_0) AND NOT FIREABLE(timeout_B_2_22_1_0) AND NOT FIREABLE(timeout_B_2_23_1_0) AND NOT FIREABLE(timeout_B_2_24_1_0) AND NOT FIREABLE(timeout_B_2_25_1_0) AND NOT FIREABLE(timeout_B_2_26_1_0) AND NOT FIREABLE(timeout_B_2_27_1_0) AND NOT FIREABLE(timeout_B_2_28_1_0) AND NOT FIREABLE(timeout_B_2_29_1_0) AND NOT FIREABLE(timeout_B_2_30_1_0) AND NOT FIREABLE(timeout_B_2_31_1_0) AND NOT FIREABLE(timeout_B_2_32_1_0) AND NOT FIREABLE(timeout_B_2_33_1_0) AND NOT FIREABLE(timeout_B_2_34_1_0) AND NOT FIREABLE(timeout_B_2_35_1_0) AND NOT FIREABLE(timeout_B_2_36_1_0) AND NOT FIREABLE(timeout_B_2_37_1_0) AND NOT FIREABLE(timeout_B_2_38_1_0) AND NOT FIREABLE(timeout_B_2_39_1_0) AND NOT FIREABLE(timeout_B_2_40_1_0) AND NOT FIREABLE(timeout_B_2_41_1_0) AND NOT FIREABLE(timeout_B_2_42_1_0) AND NOT FIREABLE(timeout_B_2_43_1_0) AND NOT FIREABLE(timeout_B_2_44_1_0) AND NOT FIREABLE(timeout_B_2_45_1_0) AND NOT FIREABLE(timeout_B_2_46_1_0) AND NOT FIREABLE(timeout_B_2_47_1_0) AND NOT FIREABLE(timeout_B_2_48_1_0) AND NOT FIREABLE(timeout_B_2_49_1_0) AND NOT FIREABLE(timeout_B_2_50_1_0) AND NOT FIREABLE(timeout_B_2_1_2_0) AND NOT FIREABLE(timeout_B_2_2_2_0) AND NOT FIREABLE(timeout_B_2_3_2_0) AND NOT FIREABLE(timeout_B_2_4_2_0) AND NOT FIREABLE(timeout_B_2_5_2_0) AND NOT FIREABLE(timeout_B_2_6_2_0) AND NOT FIREABLE(timeout_B_2_7_2_0) AND NOT FIREABLE(timeout_B_2_8_2_0) AND NOT FIREABLE(timeout_B_2_9_2_0) AND NOT FIREABLE(timeout_B_2_10_2_0) AND NOT FIREABLE(timeout_B_2_11_2_0) AND NOT FIREABLE(timeout_B_2_12_2_0) AND NOT FIREABLE(timeout_B_2_13_2_0) AND NOT FIREABLE(timeout_B_2_14_2_0) AND NOT FIREABLE(timeout_B_2_15_2_0) AND NOT FIREABLE(timeout_B_2_16_2_0) AND NOT FIREABLE(timeout_B_2_17_2_0) AND NOT FIREABLE(timeout_B_2_18_2_0) AND NOT FIREABLE(timeout_B_2_19_2_0) AND NOT FIREABLE(timeout_B_2_20_2_0) AND NOT FIREABLE(timeout_B_2_21_2_0) AND NOT FIREABLE(timeout_B_2_22_2_0) AND NOT FIREABLE(timeout_B_2_23_2_0) AND NOT FIREABLE(timeout_B_2_24_2_0) AND NOT FIREABLE(timeout_B_2_25_2_0) AND NOT FIREABLE(timeout_B_2_26_2_0) AND NOT FIREABLE(timeout_B_2_27_2_0) AND NOT FIREABLE(timeout_B_2_28_2_0) AND NOT FIREABLE(timeout_B_2_29_2_0) AND NOT FIREABLE(timeout_B_2_30_2_0) AND NOT FIREABLE(timeout_B_2_31_2_0) AND NOT FIREABLE(timeout_B_2_32_2_0) AND NOT FIREABLE(timeout_B_2_33_2_0) AND NOT FIREABLE(timeout_B_2_34_2_0) AND NOT FIREABLE(timeout_B_2_35_2_0) AND NOT FIREABLE(timeout_B_2_36_2_0) AND NOT FIREABLE(timeout_B_2_37_2_0) AND NOT FIREABLE(timeout_B_2_38_2_0) AND NOT FIREABLE(timeout_B_2_39_2_0) AND NOT FIREABLE(timeout_B_2_40_2_0) AND NOT FIREABLE(timeout_B_2_41_2_0) AND NOT FIREABLE(timeout_B_2_42_2_0) AND NOT FIREABLE(timeout_B_2_43_2_0) AND NOT FIREABLE(timeout_B_2_44_2_0) AND NOT FIREABLE(timeout_B_2_45_2_0) AND NOT FIREABLE(timeout_B_2_46_2_0) AND NOT FIREABLE(timeout_B_2_47_2_0) AND NOT FIREABLE(timeout_B_2_48_2_0) AND NOT FIREABLE(timeout_B_2_49_2_0) AND NOT FIREABLE(timeout_B_2_50_2_0) AND NOT FIREABLE(timeout_B_2_1_3_0) AND NOT FIREABLE(timeout_B_2_2_3_0) AND NOT FIREABLE(timeout_B_2_3_3_0) AND NOT FIREABLE(timeout_B_2_4_3_0) AND NOT FIREABLE(timeout_B_2_5_3_0) AND NOT FIREABLE(timeout_B_2_6_3_0) AND NOT FIREABLE(timeout_B_2_7_3_0) AND NOT FIREABLE(timeout_B_2_8_3_0) AND NOT FIREABLE(timeout_B_2_9_3_0) AND NOT FIREABLE(timeout_B_2_10_3_0) AND NOT FIREABLE(timeout_B_2_11_3_0) AND NOT FIREABLE(timeout_B_2_12_3_0) AND NOT FIREABLE(timeout_B_2_13_3_0) AND NOT FIREABLE(timeout_B_2_14_3_0) AND NOT FIREABLE(timeout_B_2_15_3_0) AND NOT FIREABLE(timeout_B_2_16_3_0) AND NOT FIREABLE(timeout_B_2_17_3_0) AND NOT FIREABLE(timeout_B_2_18_3_0) AND NOT FIREABLE(timeout_B_2_19_3_0) AND NOT FIREABLE(timeout_B_2_20_3_0) AND NOT FIREABLE(timeout_B_2_21_3_0) AND NOT FIREABLE(timeout_B_2_22_3_0) AND NOT FIREABLE(timeout_B_2_23_3_0) AND NOT FIREABLE(timeout_B_2_24_3_0) AND NOT FIREABLE(timeout_B_2_25_3_0) AND NOT FIREABLE(timeout_B_2_26_3_0) AND NOT FIREABLE(timeout_B_2_27_3_0) AND NOT FIREABLE(timeout_B_2_28_3_0) AND NOT FIREABLE(timeout_B_2_29_3_0) AND NOT FIREABLE(timeout_B_2_30_3_0) AND NOT FIREABLE(timeout_B_2_31_3_0) AND NOT FIREABLE(timeout_B_2_32_3_0) AND NOT FIREABLE(timeout_B_2_33_3_0) AND NOT FIREABLE(timeout_B_2_34_3_0) AND NOT FIREABLE(timeout_B_2_35_3_0) AND NOT FIREABLE(timeout_B_2_36_3_0) AND NOT FIREABLE(timeout_B_2_37_3_0) AND NOT FIREABLE(timeout_B_2_38_3_0) AND NOT FIREABLE(timeout_B_2_39_3_0) AND NOT FIREABLE(timeout_B_2_40_3_0) AND NOT FIREABLE(timeout_B_2_41_3_0) AND NOT FIREABLE(timeout_B_2_42_3_0) AND NOT FIREABLE(timeout_B_2_43_3_0) AND NOT FIREABLE(timeout_B_2_44_3_0) AND NOT FIREABLE(timeout_B_2_45_3_0) AND NOT FIREABLE(timeout_B_2_46_3_0) AND NOT FIREABLE(timeout_B_2_47_3_0) AND NOT FIREABLE(timeout_B_2_48_3_0) AND NOT FIREABLE(timeout_B_2_49_3_0) AND NOT FIREABLE(timeout_B_2_50_3_0) AND NOT FIREABLE(timeout_B_2_1_4_0) AND NOT FIREABLE(timeout_B_2_2_4_0) AND NOT FIREABLE(timeout_B_2_3_4_0) AND NOT FIREABLE(timeout_B_2_4_4_0) AND NOT FIREABLE(timeout_B_2_5_4_0) AND NOT FIREABLE(timeout_B_2_6_4_0) AND NOT FIREABLE(timeout_B_2_7_4_0) AND NOT FIREABLE(timeout_B_2_8_4_0) AND NOT FIREABLE(timeout_B_2_9_4_0) AND NOT FIREABLE(timeout_B_2_10_4_0) AND NOT FIREABLE(timeout_B_2_11_4_0) AND NOT FIREABLE(timeout_B_2_12_4_0) AND NOT FIREABLE(timeout_B_2_13_4_0) AND NOT FIREABLE(timeout_B_2_14_4_0) AND NOT FIREABLE(timeout_B_2_15_4_0) AND NOT FIREABLE(timeout_B_2_16_4_0) AND NOT FIREABLE(timeout_B_2_17_4_0) AND NOT FIREABLE(timeout_B_2_18_4_0) AND NOT FIREABLE(timeout_B_2_19_4_0) AND NOT FIREABLE(timeout_B_2_20_4_0) AND NOT FIREABLE(timeout_B_2_21_4_0) AND NOT FIREABLE(timeout_B_2_22_4_0) AND NOT FIREABLE(timeout_B_2_23_4_0) AND NOT FIREABLE(timeout_B_2_24_4_0) AND NOT FIREABLE(timeout_B_2_25_4_0) AND NOT FIREABLE(timeout_B_2_26_4_0) AND NOT FIREABLE(timeout_B_2_27_4_0) AND NOT FIREABLE(timeout_B_2_28_4_0) AND NOT FIREABLE(timeout_B_2_29_4_0) AND NOT FIREABLE(timeout_B_2_30_4_0) AND NOT FIREABLE(timeout_B_2_31_4_0) AND NOT FIREABLE(timeout_B_2_32_4_0) AND NOT FIREABLE(timeout_B_2_33_4_0) AND NOT FIREABLE(timeout_B_2_34_4_0) AND NOT FIREABLE(timeout_B_2_35_4_0) AND NOT FIREABLE(timeout_B_2_36_4_0) AND NOT FIREABLE(timeout_B_2_37_4_0) AND NOT FIREABLE(timeout_B_2_38_4_0) AND NOT FIREABLE(timeout_B_2_39_4_0) AND NOT FIREABLE(timeout_B_2_40_4_0) AND NOT FIREABLE(timeout_B_2_41_4_0) AND NOT FIREABLE(timeout_B_2_42_4_0) AND NOT FIREABLE(timeout_B_2_43_4_0) AND NOT FIREABLE(timeout_B_2_44_4_0) AND NOT FIREABLE(timeout_B_2_45_4_0) AND NOT FIREABLE(timeout_B_2_46_4_0) AND NOT FIREABLE(timeout_B_2_47_4_0) AND NOT FIREABLE(timeout_B_2_48_4_0) AND NOT FIREABLE(timeout_B_2_49_4_0) AND NOT FIREABLE(timeout_B_2_50_4_0) AND NOT FIREABLE(timeout_B_2_1_5_0) AND NOT FIREABLE(timeout_B_2_2_5_0) AND NOT FIREABLE(timeout_B_2_3_5_0) AND NOT FIREABLE(timeout_B_2_4_5_0) AND NOT FIREABLE(timeout_B_2_5_5_0) AND NOT FIREABLE(timeout_B_2_6_5_0) AND NOT FIREABLE(timeout_B_2_7_5_0) AND NOT FIREABLE(timeout_B_2_8_5_0) AND NOT FIREABLE(timeout_B_2_9_5_0) AND NOT FIREABLE(timeout_B_2_10_5_0) AND NOT FIREABLE(timeout_B_2_11_5_0) AND NOT FIREABLE(timeout_B_2_12_5_0) AND NOT FIREABLE(timeout_B_2_13_5_0) AND NOT FIREABLE(timeout_B_2_14_5_0) AND NOT FIREABLE(timeout_B_2_15_5_0) AND NOT FIREABLE(timeout_B_2_16_5_0) AND NOT FIREABLE(timeout_B_2_17_5_0) AND NOT FIREABLE(timeout_B_2_18_5_0) AND NOT FIREABLE(timeout_B_2_19_5_0) AND NOT FIREABLE(timeout_B_2_20_5_0) AND NOT FIREABLE(timeout_B_2_21_5_0) AND NOT FIREABLE(timeout_B_2_22_5_0) AND NOT FIREABLE(timeout_B_2_23_5_0) AND NOT FIREABLE(timeout_B_2_24_5_0) AND NOT FIREABLE(timeout_B_2_25_5_0) AND NOT FIREABLE(timeout_B_2_26_5_0) AND NOT FIREABLE(timeout_B_2_27_5_0) AND NOT FIREABLE(timeout_B_2_28_5_0) AND NOT FIREABLE(timeout_B_2_29_5_0) AND NOT FIREABLE(timeout_B_2_30_5_0) AND NOT FIREABLE(timeout_B_2_31_5_0) AND NOT FIREABLE(timeout_B_2_32_5_0) AND NOT FIREABLE(timeout_B_2_33_5_0) AND NOT FIREABLE(timeout_B_2_34_5_0) AND NOT FIREABLE(timeout_B_2_35_5_0) AND NOT FIREABLE(timeout_B_2_36_5_0) AND NOT FIREABLE(timeout_B_2_37_5_0) AND NOT FIREABLE(timeout_B_2_38_5_0) AND NOT FIREABLE(timeout_B_2_39_5_0) AND NOT FIREABLE(timeout_B_2_40_5_0) AND NOT FIREABLE(timeout_B_2_41_5_0) AND NOT FIREABLE(timeout_B_2_42_5_0) AND NOT FIREABLE(timeout_B_2_43_5_0) AND NOT FIREABLE(timeout_B_2_44_5_0) AND NOT FIREABLE(timeout_B_2_45_5_0) AND NOT FIREABLE(timeout_B_2_46_5_0) AND NOT FIREABLE(timeout_B_2_47_5_0) AND NOT FIREABLE(timeout_B_2_48_5_0) AND NOT FIREABLE(timeout_B_2_49_5_0) AND NOT FIREABLE(timeout_B_2_50_5_0) AND NOT FIREABLE(timeout_B_2_1_6_0) AND NOT FIREABLE(timeout_B_2_2_6_0) AND NOT FIREABLE(timeout_B_2_3_6_0) AND NOT FIREABLE(timeout_B_2_4_6_0) AND NOT FIREABLE(timeout_B_2_5_6_0) AND NOT FIREABLE(timeout_B_2_6_6_0) AND NOT FIREABLE(timeout_B_2_7_6_0) AND NOT FIREABLE(timeout_B_2_8_6_0) AND NOT FIREABLE(timeout_B_2_9_6_0) AND NOT FIREABLE(timeout_B_2_10_6_0) AND NOT FIREABLE(timeout_B_2_11_6_0) AND NOT FIREABLE(timeout_B_2_12_6_0) AND NOT FIREABLE(timeout_B_2_13_6_0) AND NOT FIREABLE(timeout_B_2_14_6_0) AND NOT FIREABLE(timeout_B_2_15_6_0) AND NOT FIREABLE(timeout_B_2_16_6_0) AND NOT FIREABLE(timeout_B_2_17_6_0) AND NOT FIREABLE(timeout_B_2_18_6_0) AND NOT FIREABLE(timeout_B_2_19_6_0) AND NOT FIREABLE(timeout_B_2_20_6_0) AND NOT FIREABLE(timeout_B_2_21_6_0) AND NOT FIREABLE(timeout_B_2_22_6_0) AND NOT FIREABLE(timeout_B_2_23_6_0) AND NOT FIREABLE(timeout_B_2_24_6_0) AND NOT FIREABLE(timeout_B_2_25_6_0) AND NOT FIREABLE(timeout_B_2_26_6_0) AND NOT FIREABLE(timeout_B_2_27_6_0) AND NOT FIREABLE(timeout_B_2_28_6_0) AND NOT FIREABLE(timeout_B_2_29_6_0) AND NOT FIREABLE(timeout_B_2_30_6_0) AND NOT FIREABLE(timeout_B_2_31_6_0) AND NOT FIREABLE(timeout_B_2_32_6_0) AND NOT FIREABLE(timeout_B_2_33_6_0) AND NOT FIREABLE(timeout_B_2_34_6_0) AND NOT FIREABLE(timeout_B_2_35_6_0) AND NOT FIREABLE(timeout_B_2_36_6_0) AND NOT FIREABLE(timeout_B_2_37_6_0) AND NOT FIREABLE(timeout_B_2_38_6_0) AND NOT FIREABLE(timeout_B_2_39_6_0) AND NOT FIREABLE(timeout_B_2_40_6_0) AND NOT FIREABLE(timeout_B_2_41_6_0) AND NOT FIREABLE(timeout_B_2_42_6_0) AND NOT FIREABLE(timeout_B_2_43_6_0) AND NOT FIREABLE(timeout_B_2_44_6_0) AND NOT FIREABLE(timeout_B_2_45_6_0) AND NOT FIREABLE(timeout_B_2_46_6_0) AND NOT FIREABLE(timeout_B_2_47_6_0) AND NOT FIREABLE(timeout_B_2_48_6_0) AND NOT FIREABLE(timeout_B_2_49_6_0) AND NOT FIREABLE(timeout_B_2_50_6_0) AND NOT FIREABLE(timeout_B_2_1_7_0) AND NOT FIREABLE(timeout_B_2_2_7_0) AND NOT FIREABLE(timeout_B_2_3_7_0) AND NOT FIREABLE(timeout_B_2_4_7_0) AND NOT FIREABLE(timeout_B_2_5_7_0) AND NOT FIREABLE(timeout_B_2_6_7_0) AND NOT FIREABLE(timeout_B_2_7_7_0) AND NOT FIREABLE(timeout_B_2_8_7_0) AND NOT FIREABLE(timeout_B_2_9_7_0) AND NOT FIREABLE(timeout_B_2_10_7_0) AND NOT FIREABLE(timeout_B_2_11_7_0) AND NOT FIREABLE(timeout_B_2_12_7_0) AND NOT FIREABLE(timeout_B_2_13_7_0) AND NOT FIREABLE(timeout_B_2_14_7_0) AND NOT FIREABLE(timeout_B_2_15_7_0) AND NOT FIREABLE(timeout_B_2_16_7_0) AND NOT FIREABLE(timeout_B_2_17_7_0) AND NOT FIREABLE(timeout_B_2_18_7_0) AND NOT FIREABLE(timeout_B_2_19_7_0) AND NOT FIREABLE(timeout_B_2_20_7_0) AND NOT FIREABLE(timeout_B_2_21_7_0) AND NOT FIREABLE(timeout_B_2_22_7_0) AND NOT FIREABLE(timeout_B_2_23_7_0) AND NOT FIREABLE(timeout_B_2_24_7_0) AND NOT FIREABLE(timeout_B_2_25_7_0) AND NOT FIREABLE(timeout_B_2_26_7_0) AND NOT FIREABLE(timeout_B_2_27_7_0) AND NOT FIREABLE(timeout_B_2_28_7_0) AND NOT FIREABLE(timeout_B_2_29_7_0) AND NOT FIREABLE(timeout_B_2_30_7_0) AND NOT FIREABLE(timeout_B_2_31_7_0) AND NOT FIREABLE(timeout_B_2_32_7_0) AND NOT FIREABLE(timeout_B_2_33_7_0) AND NOT FIREABLE(timeout_B_2_34_7_0) AND NOT FIREABLE(timeout_B_2_35_7_0) AND NOT FIREABLE(timeout_B_2_36_7_0) AND NOT FIREABLE(timeout_B_2_37_7_0) AND NOT FIREABLE(timeout_B_2_38_7_0) AND NOT FIREABLE(timeout_B_2_39_7_0) AND NOT FIREABLE(timeout_B_2_40_7_0) AND NOT FIREABLE(timeout_B_2_41_7_0) AND NOT FIREABLE(timeout_B_2_42_7_0) AND NOT FIREABLE(timeout_B_2_43_7_0) AND NOT FIREABLE(timeout_B_2_44_7_0) AND NOT FIREABLE(timeout_B_2_45_7_0) AND NOT FIREABLE(timeout_B_2_46_7_0) AND NOT FIREABLE(timeout_B_2_47_7_0) AND NOT FIREABLE(timeout_B_2_48_7_0) AND NOT FIREABLE(timeout_B_2_49_7_0) AND NOT FIREABLE(timeout_B_2_50_7_0) AND NOT FIREABLE(timeout_B_2_1_8_0) AND NOT FIREABLE(timeout_B_2_2_8_0) AND NOT FIREABLE(timeout_B_2_3_8_0) AND NOT FIREABLE(timeout_B_2_4_8_0) AND NOT FIREABLE(timeout_B_2_5_8_0) AND NOT FIREABLE(timeout_B_2_6_8_0) AND NOT FIREABLE(timeout_B_2_7_8_0) AND NOT FIREABLE(timeout_B_2_8_8_0) AND NOT FIREABLE(timeout_B_2_9_8_0) AND NOT FIREABLE(timeout_B_2_10_8_0) AND NOT FIREABLE(timeout_B_2_11_8_0) AND NOT FIREABLE(timeout_B_2_12_8_0) AND NOT FIREABLE(timeout_B_2_13_8_0) AND NOT FIREABLE(timeout_B_2_14_8_0) AND NOT FIREABLE(timeout_B_2_15_8_0) AND NOT FIREABLE(timeout_B_2_16_8_0) AND NOT FIREABLE(timeout_B_2_17_8_0) AND NOT FIREABLE(timeout_B_2_18_8_0) AND NOT FIREABLE(timeout_B_2_19_8_0) AND NOT FIREABLE(timeout_B_2_20_8_0) AND NOT FIREABLE(timeout_B_2_21_8_0) AND NOT FIREABLE(timeout_B_2_22_8_0) AND NOT FIREABLE(timeout_B_2_23_8_0) AND NOT FIREABLE(timeout_B_2_24_8_0) AND NOT FIREABLE(timeout_B_2_25_8_0) AND NOT FIREABLE(timeout_B_2_26_8_0) AND NOT FIREABLE(timeout_B_2_27_8_0) AND NOT FIREABLE(timeout_B_2_28_8_0) AND NOT FIREABLE(timeout_B_2_29_8_0) AND NOT FIREABLE(timeout_B_2_30_8_0) AND NOT FIREABLE(timeout_B_2_31_8_0) AND NOT FIREABLE(timeout_B_2_32_8_0) AND NOT FIREABLE(timeout_B_2_33_8_0) AND NOT FIREABLE(timeout_B_2_34_8_0) AND NOT FIREABLE(timeout_B_2_35_8_0) AND NOT FIREABLE(timeout_B_2_36_8_0) AND NOT FIREABLE(timeout_B_2_37_8_0) AND NOT FIREABLE(timeout_B_2_38_8_0) AND NOT FIREABLE(timeout_B_2_39_8_0) AND NOT FIREABLE(timeout_B_2_40_8_0) AND NOT FIREABLE(timeout_B_2_41_8_0) AND NOT FIREABLE(timeout_B_2_42_8_0) AND NOT FIREABLE(timeout_B_2_43_8_0) AND NOT FIREABLE(timeout_B_2_44_8_0) AND NOT FIREABLE(timeout_B_2_45_8_0) AND NOT FIREABLE(timeout_B_2_46_8_0) AND NOT FIREABLE(timeout_B_2_47_8_0) AND NOT FIREABLE(timeout_B_2_48_8_0) AND NOT FIREABLE(timeout_B_2_49_8_0) AND NOT FIREABLE(timeout_B_2_50_8_0) AND NOT FIREABLE(timeout_B_2_1_9_0) AND NOT FIREABLE(timeout_B_2_2_9_0) AND NOT FIREABLE(timeout_B_2_3_9_0) AND NOT FIREABLE(timeout_B_2_4_9_0) AND NOT FIREABLE(timeout_B_2_5_9_0) AND NOT FIREABLE(timeout_B_2_6_9_0) AND NOT FIREABLE(timeout_B_2_7_9_0) AND NOT FIREABLE(timeout_B_2_8_9_0) AND NOT FIREABLE(timeout_B_2_9_9_0) AND NOT FIREABLE(timeout_B_2_10_9_0) AND NOT FIREABLE(timeout_B_2_11_9_0) AND NOT FIREABLE(timeout_B_2_12_9_0) AND NOT FIREABLE(timeout_B_2_13_9_0) AND NOT FIREABLE(timeout_B_2_14_9_0) AND NOT FIREABLE(timeout_B_2_15_9_0) AND NOT FIREABLE(timeout_B_2_16_9_0) AND NOT FIREABLE(timeout_B_2_17_9_0) AND NOT FIREABLE(timeout_B_2_18_9_0) AND NOT FIREABLE(timeout_B_2_19_9_0) AND NOT FIREABLE(timeout_B_2_20_9_0) AND NOT FIREABLE(timeout_B_2_21_9_0) AND NOT FIREABLE(timeout_B_2_22_9_0) AND NOT FIREABLE(timeout_B_2_23_9_0) AND NOT FIREABLE(timeout_B_2_24_9_0) AND NOT FIREABLE(timeout_B_2_25_9_0) AND NOT FIREABLE(timeout_B_2_26_9_0) AND NOT FIREABLE(timeout_B_2_27_9_0) AND NOT FIREABLE(timeout_B_2_28_9_0) AND NOT FIREABLE(timeout_B_2_29_9_0) AND NOT FIREABLE(timeout_B_2_30_9_0) AND NOT FIREABLE(timeout_B_2_31_9_0) AND NOT FIREABLE(timeout_B_2_32_9_0) AND NOT FIREABLE(timeout_B_2_33_9_0) AND NOT FIREABLE(timeout_B_2_34_9_0) AND NOT FIREABLE(timeout_B_2_35_9_0) AND NOT FIREABLE(timeout_B_2_36_9_0) AND NOT FIREABLE(timeout_B_2_37_9_0) AND NOT FIREABLE(timeout_B_2_38_9_0) AND NOT FIREABLE(timeout_B_2_39_9_0) AND NOT FIREABLE(timeout_B_2_40_9_0) AND NOT FIREABLE(timeout_B_2_41_9_0) AND NOT FIREABLE(timeout_B_2_42_9_0) AND NOT FIREABLE(timeout_B_2_43_9_0) AND NOT FIREABLE(timeout_B_2_44_9_0) AND NOT FIREABLE(timeout_B_2_45_9_0) AND NOT FIREABLE(timeout_B_2_46_9_0) AND NOT FIREABLE(timeout_B_2_47_9_0) AND NOT FIREABLE(timeout_B_2_48_9_0) AND NOT FIREABLE(timeout_B_2_49_9_0) AND NOT FIREABLE(timeout_B_2_50_9_0) AND NOT FIREABLE(timeout_B_2_1_10_0) AND NOT FIREABLE(timeout_B_2_2_10_0) AND NOT FIREABLE(timeout_B_2_3_10_0) AND NOT FIREABLE(timeout_B_2_4_10_0) AND NOT FIREABLE(timeout_B_2_5_10_0) AND NOT FIREABLE(timeout_B_2_6_10_0) AND NOT FIREABLE(timeout_B_2_7_10_0) AND NOT FIREABLE(timeout_B_2_8_10_0) AND NOT FIREABLE(timeout_B_2_9_10_0) AND NOT FIREABLE(timeout_B_2_10_10_0) AND NOT FIREABLE(timeout_B_2_11_10_0) AND NOT FIREABLE(timeout_B_2_12_10_0) AND NOT FIREABLE(timeout_B_2_13_10_0) AND NOT FIREABLE(timeout_B_2_14_10_0) AND NOT FIREABLE(timeout_B_2_15_10_0) AND NOT FIREABLE(timeout_B_2_16_10_0) AND NOT FIREABLE(timeout_B_2_17_10_0) AND NOT FIREABLE(timeout_B_2_18_10_0) AND NOT FIREABLE(timeout_B_2_19_10_0) AND NOT FIREABLE(timeout_B_2_20_10_0) AND NOT FIREABLE(timeout_B_2_21_10_0) AND NOT FIREABLE(timeout_B_2_22_10_0) AND NOT FIREABLE(timeout_B_2_23_10_0) AND NOT FIREABLE(timeout_B_2_24_10_0) AND NOT FIREABLE(timeout_B_2_25_10_0) AND NOT FIREABLE(timeout_B_2_26_10_0) AND NOT FIREABLE(timeout_B_2_27_10_0) AND NOT FIREABLE(timeout_B_2_28_10_0) AND NOT FIREABLE(timeout_B_2_29_10_0) AND NOT FIREABLE(timeout_B_2_30_10_0) AND NOT FIREABLE(timeout_B_2_31_10_0) AND NOT FIREABLE(timeout_B_2_32_10_0) AND NOT FIREABLE(timeout_B_2_33_10_0) AND NOT FIREABLE(timeout_B_2_34_10_0) AND NOT FIREABLE(timeout_B_2_35_10_0) AND NOT FIREABLE(timeout_B_2_36_10_0) AND NOT FIREABLE(timeout_B_2_37_10_0) AND NOT FIREABLE(timeout_B_2_38_10_0) AND NOT FIREABLE(timeout_B_2_39_10_0) AND NOT FIREABLE(timeout_B_2_40_10_0) AND NOT FIREABLE(timeout_B_2_41_10_0) AND NOT FIREABLE(timeout_B_2_42_10_0) AND NOT FIREABLE(timeout_B_2_43_10_0) AND NOT FIREABLE(timeout_B_2_44_10_0) AND NOT FIREABLE(timeout_B_2_45_10_0) AND NOT FIREABLE(timeout_B_2_46_10_0) AND NOT FIREABLE(timeout_B_2_47_10_0) AND NOT FIREABLE(timeout_B_2_48_10_0) AND NOT FIREABLE(timeout_B_2_49_10_0) AND NOT FIREABLE(timeout_B_2_50_10_0) AND NOT FIREABLE(autorisation_B_2_1) AND NOT FIREABLE(autorisation_B_2_2) AND NOT FIREABLE(autorisation_B_2_3) AND NOT FIREABLE(autorisation_B_2_4) AND NOT FIREABLE(autorisation_B_2_5) AND NOT FIREABLE(autorisation_B_2_6) AND NOT FIREABLE(autorisation_B_2_7) AND NOT FIREABLE(autorisation_B_2_8) AND NOT FIREABLE(autorisation_B_2_9) AND NOT FIREABLE(autorisation_B_2_10) AND NOT FIREABLE(autorisation_B_2_11) AND NOT FIREABLE(autorisation_B_2_12) AND NOT FIREABLE(autorisation_B_2_13) AND NOT FIREABLE(autorisation_B_2_14) AND NOT FIREABLE(autorisation_B_2_15) AND NOT FIREABLE(autorisation_B_2_16) AND NOT FIREABLE(autorisation_B_2_17) AND NOT FIREABLE(autorisation_B_2_18) AND NOT FIREABLE(autorisation_B_2_19) AND NOT FIREABLE(autorisation_B_2_20) AND NOT FIREABLE(autorisation_B_2_21) AND NOT FIREABLE(autorisation_B_2_22) AND NOT FIREABLE(autorisation_B_2_23) AND NOT FIREABLE(autorisation_B_2_24) AND NOT FIREABLE(autorisation_B_2_25) AND NOT FIREABLE(autorisation_B_2_26) AND NOT FIREABLE(autorisation_B_2_27) AND NOT FIREABLE(autorisation_B_2_28) AND NOT FIREABLE(autorisation_B_2_29) AND NOT FIREABLE(autorisation_B_2_30) AND NOT FIREABLE(autorisation_B_2_31) AND NOT FIREABLE(autorisation_B_2_32) AND NOT FIREABLE(autorisation_B_2_33) AND NOT FIREABLE(autorisation_B_2_34) AND NOT FIREABLE(autorisation_B_2_35) AND NOT FIREABLE(autorisation_B_2_36) AND NOT FIREABLE(autorisation_B_2_37) AND NOT FIREABLE(autorisation_B_2_38) AND NOT FIREABLE(autorisation_B_2_39) AND NOT FIREABLE(autorisation_B_2_40) AND NOT FIREABLE(autorisation_B_2_41) AND NOT FIREABLE(autorisation_B_2_42) AND NOT FIREABLE(autorisation_B_2_43) AND NOT FIREABLE(autorisation_B_2_44) AND NOT FIREABLE(autorisation_B_2_45) AND NOT FIREABLE(autorisation_B_2_46) AND NOT FIREABLE(autorisation_B_2_47) AND NOT FIREABLE(autorisation_B_2_48) AND NOT FIREABLE(autorisation_B_2_49) AND NOT FIREABLE(autorisation_B_2_50)) OR (NOT FIREABLE(enregistrement_A_0) AND NOT FIREABLE(enregistrement_A_1) AND NOT FIREABLE(enregistrement_A_2) AND NOT FIREABLE(enregistrement_A_3) AND NOT FIREABLE(enregistrement_A_4) AND NOT FIREABLE(enregistrement_A_5) AND NOT FIREABLE(enregistrement_A_6) AND NOT FIREABLE(enregistrement_A_7) AND NOT FIREABLE(enregistrement_A_8) AND NOT FIREABLE(enregistrement_A_9) AND NOT FIREABLE(enregistrement_A_10) AND NOT FIREABLE(enregistrement_A_11) AND NOT FIREABLE(enregistrement_A_12) AND NOT FIREABLE(enregistrement_A_13) AND NOT FIREABLE(enregistrement_A_14) AND NOT FIREABLE(enregistrement_A_15) AND NOT FIREABLE(enregistrement_A_16) AND NOT FIREABLE(enregistrement_A_17) AND NOT FIREABLE(enregistrement_A_18) AND NOT FIREABLE(enregistrement_A_19) AND NOT FIREABLE(enregistrement_A_20) AND NOT FIREABLE(enregistrement_A_21) AND NOT FIREABLE(enregistrement_A_22) AND NOT FIREABLE(enregistrement_A_23) AND NOT FIREABLE(enregistrement_A_24) AND NOT FIREABLE(enregistrement_A_25) AND NOT FIREABLE(enregistrement_A_26) AND NOT FIREABLE(enregistrement_A_27) AND NOT FIREABLE(enregistrement_A_28) AND NOT FIREABLE(enregistrement_A_29) AND NOT FIREABLE(enregistrement_A_30) AND NOT FIREABLE(enregistrement_A_31) AND NOT FIREABLE(enregistrement_A_32) AND NOT FIREABLE(enregistrement_A_33) AND NOT FIREABLE(enregistrement_A_34) AND NOT FIREABLE(enregistrement_A_35) AND NOT FIREABLE(enregistrement_A_36) AND NOT FIREABLE(enregistrement_A_37) AND NOT FIREABLE(enregistrement_A_38) AND NOT FIREABLE(enregistrement_A_39) AND NOT FIREABLE(enregistrement_A_40) AND NOT FIREABLE(enregistrement_A_41) AND NOT FIREABLE(enregistrement_A_42) AND NOT FIREABLE(enregistrement_A_43) AND NOT FIREABLE(enregistrement_A_44) AND NOT FIREABLE(enregistrement_A_45) AND NOT FIREABLE(enregistrement_A_46) AND NOT FIREABLE(enregistrement_A_47) AND NOT FIREABLE(enregistrement_A_48) AND NOT FIREABLE(enregistrement_A_49) AND NOT FIREABLE(enregistrement_A_50))))) : ((E (X ((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(decision_1_7) OR FIREABLE(decision_2_7) OR FIREABLE(decision_1_8) OR FIREABLE(decision_2_8) OR FIREABLE(decision_1_9) OR FIREABLE(decision_2_9) OR FIREABLE(autorisation_B_2_1) OR FIREABLE(autorisation_B_2_2) OR FIREABLE(autorisation_B_2_3) OR FIREABLE(autorisation_B_2_4) OR FIREABLE(autorisation_B_2_5) OR FIREABLE(autorisation_B_2_6) OR FIREABLE(autorisation_B_2_7) OR FIREABLE(autorisation_B_2_8) OR FIREABLE(autorisation_B_2_9) OR FIREABLE(autorisation_B_2_10) OR FIREABLE(autorisation_B_2_11) OR FIREABLE(autorisation_B_2_12) OR FIREABLE(autorisation_B_2_13) OR FIREABLE(autorisation_B_2_14) OR FIREABLE(autorisation_B_2_15) OR FIREABLE(autorisation_B_2_16) OR FIREABLE(autorisation_B_2_17) OR FIREABLE(autorisation_B_2_18) OR FIREABLE(autorisation_B_2_19) OR FIREABLE(autorisation_B_2_20) OR FIREABLE(autorisation_B_2_21) OR FIREABLE(autorisation_B_2_22) OR FIREABLE(autorisation_B_2_23) OR FIREABLE(autorisation_B_2_24) OR FIREABLE(autorisation_B_2_25) OR FIREABLE(autorisation_B_2_26) OR FIREABLE(autorisation_B_2_27) OR FIREABLE(autorisation_B_2_28) OR FIREABLE(autorisation_B_2_29) OR FIREABLE(autorisation_B_2_30) OR FIREABLE(autorisation_B_2_31) OR FIREABLE(autorisation_B_2_32) OR FIREABLE(autorisation_B_2_33) OR FIREABLE(autorisation_B_2_34) OR FIREABLE(autorisation_B_2_35) OR FIREABLE(autorisation_B_2_36) OR FIREABLE(autorisation_B_2_37) OR FIREABLE(autorisation_B_2_38) OR FIREABLE(autorisation_B_2_39) OR FIREABLE(autorisation_B_2_40) OR FIREABLE(autorisation_B_2_41) OR FIREABLE(autorisation_B_2_42) OR FIREABLE(autorisation_B_2_43) OR FIREABLE(autorisation_B_2_44) OR FIREABLE(autorisation_B_2_45) OR FIREABLE(autorisation_B_2_46) OR FIREABLE(autorisation_B_2_47) OR FIREABLE(autorisation_B_2_48) OR FIREABLE(autorisation_B_2_49) OR FIREABLE(autorisation_B_2_50) OR FIREABLE(autorisation_A_1_1) OR FIREABLE(autorisation_A_1_2) OR FIREABLE(autorisation_A_1_3) OR FIREABLE(autorisation_A_1_4) OR FIREABLE(autorisation_A_1_5) OR FIREABLE(autorisation_A_1_6) OR FIREABLE(autorisation_A_1_7) OR FIREABLE(autorisation_A_1_8) OR FIREABLE(autorisation_A_1_9) OR FIREABLE(autorisation_A_1_10) OR FIREABLE(autorisation_A_1_11) OR FIREABLE(autorisation_A_1_12) OR FIREABLE(autorisation_A_1_13) OR FIREABLE(autorisation_A_1_14) OR FIREABLE(autorisation_A_1_15) OR FIREABLE(autorisation_A_1_16) OR FIREABLE(autorisation_A_1_17) OR FIREABLE(autorisation_A_1_18) OR FIREABLE(autorisation_A_1_19) OR FIREABLE(autorisation_A_1_20) OR FIREABLE(autorisation_A_1_21) OR FIREABLE(autorisation_A_1_22) OR FIREABLE(autorisation_A_1_23) OR FIREABLE(autorisation_A_1_24) OR FIREABLE(autorisation_A_1_25) OR FIREABLE(autorisation_A_1_26) OR FIREABLE(autorisation_A_1_27) OR FIREABLE(autorisation_A_1_28) OR FIREABLE(autorisation_A_1_29) OR FIREABLE(autorisation_A_1_30) OR FIREABLE(autorisation_A_1_31) OR FIREABLE(autorisation_A_1_32) OR FIREABLE(autorisation_A_1_33) OR FIREABLE(autorisation_A_1_34) OR FIREABLE(autorisation_A_1_35) OR FIREABLE(autorisation_A_1_36) OR FIREABLE(autorisation_A_1_37) OR FIREABLE(autorisation_A_1_38) OR FIREABLE(autorisation_A_1_39) OR FIREABLE(autorisation_A_1_40) OR FIREABLE(autorisation_A_1_41) OR FIREABLE(autorisation_A_1_42) OR FIREABLE(autorisation_A_1_43) OR FIREABLE(autorisation_A_1_44) OR FIREABLE(autorisation_A_1_45) OR FIREABLE(autorisation_A_1_46) OR FIREABLE(autorisation_A_1_47) OR FIREABLE(autorisation_A_1_48) OR FIREABLE(autorisation_A_1_49) OR FIREABLE(autorisation_A_1_50)))) AND E (X (A (F ((FIREABLE(timeout_A_1_0_0_1) OR FIREABLE(timeout_A_1_0_1_1) OR FIREABLE(timeout_A_1_0_2_1) OR FIREABLE(timeout_A_1_0_3_1) OR FIREABLE(timeout_A_1_0_4_1) OR FIREABLE(timeout_A_1_0_5_1) OR FIREABLE(timeout_A_1_0_6_1) OR FIREABLE(timeout_A_1_0_7_1) OR FIREABLE(timeout_A_1_0_8_1) OR FIREABLE(timeout_A_1_0_9_1) OR FIREABLE(timeout_A_1_0_10_1) OR FIREABLE(timeout_A_1_0_0_2) OR FIREABLE(timeout_A_1_0_1_2) OR FIREABLE(timeout_A_1_0_2_2) OR FIREABLE(timeout_A_1_0_3_2) OR FIREABLE(timeout_A_1_0_4_2) OR FIREABLE(timeout_A_1_0_5_2) OR FIREABLE(timeout_A_1_0_6_2) OR FIREABLE(timeout_A_1_0_7_2) OR FIREABLE(timeout_A_1_0_8_2) OR FIREABLE(timeout_A_1_0_9_2) OR FIREABLE(timeout_A_1_0_10_2) OR FIREABLE(timeout_A_1_0_0_3) OR FIREABLE(timeout_A_1_0_1_3) OR FIREABLE(timeout_A_1_0_2_3) OR FIREABLE(timeout_A_1_0_3_3) OR FIREABLE(timeout_A_1_0_4_3) OR FIREABLE(timeout_A_1_0_5_3) OR FIREABLE(timeout_A_1_0_6_3) OR FIREABLE(timeout_A_1_0_7_3) OR FIREABLE(timeout_A_1_0_8_3) OR FIREABLE(timeout_A_1_0_9_3) OR FIREABLE(timeout_A_1_0_10_3) OR FIREABLE(timeout_A_1_0_0_4) OR FIREABLE(timeout_A_1_0_1_4) OR FIREABLE(timeout_A_1_0_2_4) OR FIREABLE(timeout_A_1_0_3_4) OR FIREABLE(timeout_A_1_0_4_4) OR FIREABLE(timeout_A_1_0_5_4) OR FIREABLE(timeout_A_1_0_6_4) OR FIREABLE(timeout_A_1_0_7_4) OR FIREABLE(timeout_A_1_0_8_4) OR FIREABLE(timeout_A_1_0_9_4) OR FIREABLE(timeout_A_1_0_10_4) OR FIREABLE(timeout_A_1_0_0_5) OR FIREABLE(timeout_A_1_0_1_5) OR FIREABLE(timeout_A_1_0_2_5) OR FIREABLE(timeout_A_1_0_3_5) OR FIREABLE(timeout_A_1_0_4_5) OR FIREABLE(timeout_A_1_0_5_5) OR FIREABLE(timeout_A_1_0_6_5) OR FIREABLE(timeout_A_1_0_7_5) OR FIREABLE(timeout_A_1_0_8_5) OR FIREABLE(timeout_A_1_0_9_5) OR FIREABLE(timeout_A_1_0_10_5) OR FIREABLE(timeout_A_1_0_0_6) OR FIREABLE(timeout_A_1_0_1_6) OR FIREABLE(timeout_A_1_0_2_6) OR FIREABLE(timeout_A_1_0_3_6) OR FIREABLE(timeout_A_1_0_4_6) OR FIREABLE(timeout_A_1_0_5_6) OR FIREABLE(timeout_A_1_0_6_6) OR FIREABLE(timeout_A_1_0_7_6) OR FIREABLE(timeout_A_1_0_8_6) OR FIREABLE(timeout_A_1_0_9_6) OR FIREABLE(timeout_A_1_0_10_6) OR FIREABLE(timeout_A_1_0_0_7) OR FIREABLE(timeout_A_1_0_1_7) OR FIREABLE(timeout_A_1_0_2_7) OR FIREABLE(timeout_A_1_0_3_7) OR FIREABLE(timeout_A_1_0_4_7) OR FIREABLE(timeout_A_1_0_5_7) OR FIREABLE(timeout_A_1_0_6_7) OR FIREABLE(timeout_A_1_0_7_7) OR FIREABLE(timeout_A_1_0_8_7) OR FIREABLE(timeout_A_1_0_9_7) OR FIREABLE(timeout_A_1_0_10_7) OR FIREABLE(timeout_A_1_0_0_8) OR FIREABLE(timeout_A_1_0_1_8) OR FIREABLE(timeout_A_1_0_2_8) OR FIREABLE(timeout_A_1_0_3_8) OR FIREABLE(timeout_A_1_0_4_8) OR FIREABLE(timeout_A_1_0_5_8) OR FIREABLE(timeout_A_1_0_6_8) OR FIREABLE(timeout_A_1_0_7_8) OR FIREABLE(timeout_A_1_0_8_8) OR FIREABLE(timeout_A_1_0_9_8) OR FIREABLE(timeout_A_1_0_10_8) OR FIREABLE(timeout_A_1_0_0_9) OR FIREABLE(timeout_A_1_0_1_9) OR FIREABLE(timeout_A_1_0_2_9) OR FIREABLE(timeout_A_1_0_3_9) OR FIREABLE(timeout_A_1_0_4_9) OR FIREABLE(timeout_A_1_0_5_9) OR FIREABLE(timeout_A_1_0_6_9) OR FIREABLE(timeout_A_1_0_7_9) OR FIREABLE(timeout_A_1_0_8_9) OR FIREABLE(timeout_A_1_0_9_9) OR FIREABLE(timeout_A_1_0_10_9) OR FIREABLE(timeout_A_1_0_0_10) OR FIREABLE(timeout_A_1_0_1_10) OR FIREABLE(timeout_A_1_0_2_10) OR FIREABLE(timeout_A_1_0_3_10) OR FIREABLE(timeout_A_1_0_4_10) OR FIREABLE(timeout_A_1_0_5_10) OR FIREABLE(timeout_A_1_0_6_10) OR FIREABLE(timeout_A_1_0_7_10) OR FIREABLE(timeout_A_1_0_8_10) OR FIREABLE(timeout_A_1_0_9_10) OR FIREABLE(timeout_A_1_0_10_10) OR FIREABLE(timeout_A_1_0_0_11) OR FIREABLE(timeout_A_1_0_1_11) OR FIREABLE(timeout_A_1_0_2_11) OR FIREABLE(timeout_A_1_0_3_11) OR FIREABLE(timeout_A_1_0_4_11) OR FIREABLE(timeout_A_1_0_5_11) OR FIREABLE(timeout_A_1_0_6_11) OR FIREABLE(timeout_A_1_0_7_11) OR FIREABLE(timeout_A_1_0_8_11) OR FIREABLE(timeout_A_1_0_9_11) OR FIREABLE(timeout_A_1_0_10_11) OR FIREABLE(timeout_A_1_0_0_12) OR FIREABLE(timeout_A_1_0_1_12) OR FIREABLE(timeout_A_1_0_2_12) OR FIREABLE(timeout_A_1_0_3_12) OR FIREABLE(timeout_A_1_0_4_12) OR FIREABLE(timeout_A_1_0_5_12) OR FIREABLE(timeout_A_1_0_6_12) OR FIREABLE(timeout_A_1_0_7_12) OR FIREABLE(timeout_A_1_0_8_12) OR FIREABLE(timeout_A_1_0_9_12) OR FIREABLE(timeout_A_1_0_10_12) OR FIREABLE(timeout_A_1_0_0_13) OR FIREABLE(timeout_A_1_0_1_13) OR FIREABLE(timeout_A_1_0_2_13) OR FIREABLE(timeout_A_1_0_3_13) OR FIREABLE(timeout_A_1_0_4_13) OR FIREABLE(timeout_A_1_0_5_13) OR FIREABLE(timeout_A_1_0_6_13) OR FIREABLE(timeout_A_1_0_7_13) OR FIREABLE(timeout_A_1_0_8_13) OR FIREABLE(timeout_A_1_0_9_13) OR FIREABLE(timeout_A_1_0_10_13) OR FIREABLE(timeout_A_1_0_0_14) OR FIREABLE(timeout_A_1_0_1_14) OR FIREABLE(timeout_A_1_0_2_14) OR FIREABLE(timeout_A_1_0_3_14) OR FIREABLE(timeout_A_1_0_4_14) OR FIREABLE(timeout_A_1_0_5_14) OR FIREABLE(timeout_A_1_0_6_14) OR FIREABLE(timeout_A_1_0_7_14) OR FIREABLE(timeout_A_1_0_8_14) OR FIREABLE(timeout_A_1_0_9_14) OR FIREABLE(timeout_A_1_0_10_14) OR FIREABLE(timeout_A_1_0_0_15) OR FIREABLE(timeout_A_1_0_1_15) OR FIREABLE(timeout_A_1_0_2_15) OR FIREABLE(timeout_A_1_0_3_15) OR FIREABLE(timeout_A_1_0_4_15) OR FIREABLE(timeout_A_1_0_5_15) OR FIREABLE(timeout_A_1_0_6_15) OR FIREABLE(timeout_A_1_0_7_15) OR FIREABLE(timeout_A_1_0_8_15) OR FIREABLE(timeout_A_1_0_9_15) OR FIREABLE(timeout_A_1_0_10_15) OR FIREABLE(timeout_A_1_0_0_16) OR FIREABLE(timeout_A_1_0_1_16) OR FIREABLE(timeout_A_1_0_2_16) OR FIREABLE(timeout_A_1_0_3_16) OR FIREABLE(timeout_A_1_0_4_16) OR FIREABLE(timeout_A_1_0_5_16) OR FIREABLE(timeout_A_1_0_6_16) OR FIREABLE(timeout_A_1_0_7_16) OR FIREABLE(timeout_A_1_0_8_16) OR FIREABLE(timeout_A_1_0_9_16) OR FIREABLE(timeout_A_1_0_10_16) OR FIREABLE(timeout_A_1_0_0_17) OR FIREABLE(timeout_A_1_0_1_17) OR FIREABLE(timeout_A_1_0_2_17) OR FIREABLE(timeout_A_1_0_3_17) OR FIREABLE(timeout_A_1_0_4_17) OR FIREABLE(timeout_A_1_0_5_17) OR FIREABLE(timeout_A_1_0_6_17) OR FIREABLE(timeout_A_1_0_7_17) OR FIREABLE(timeout_A_1_0_8_17) OR FIREABLE(timeout_A_1_0_9_17) OR FIREABLE(timeout_A_1_0_10_17) OR FIREABLE(timeout_A_1_0_0_18) OR FIREABLE(timeout_A_1_0_1_18) OR FIREABLE(timeout_A_1_0_2_18) OR FIREABLE(timeout_A_1_0_3_18) OR FIREABLE(timeout_A_1_0_4_18) OR FIREABLE(timeout_A_1_0_5_18) OR FIREABLE(timeout_A_1_0_6_18) OR FIREABLE(timeout_A_1_0_7_18) OR FIREABLE(timeout_A_1_0_8_18) OR FIREABLE(timeout_A_1_0_9_18) OR FIREABLE(timeout_A_1_0_10_18) OR FIREABLE(timeout_A_1_0_0_19) OR FIREABLE(timeout_A_1_0_1_19) OR FIREABLE(timeout_A_1_0_2_19) OR FIREABLE(timeout_A_1_0_3_19) OR FIREABLE(timeout_A_1_0_4_19) OR FIREABLE(timeout_A_1_0_5_19) OR FIREABLE(timeout_A_1_0_6_19) OR FIREABLE(timeout_A_1_0_7_19) OR FIREABLE(timeout_A_1_0_8_19) OR FIREABLE(timeout_A_1_0_9_19) OR FIREABLE(timeout_A_1_0_10_19) OR FIREABLE(timeout_A_1_0_0_20) OR FIREABLE(timeout_A_1_0_1_20) OR FIREABLE(timeout_A_1_0_2_20) OR FIREABLE(timeout_A_1_0_3_20) OR FIREABLE(timeout_A_1_0_4_20) OR FIREABLE(timeout_A_1_0_5_20) OR FIREABLE(timeout_A_1_0_6_20) OR FIREABLE(timeout_A_1_0_7_20) OR FIREABLE(timeout_A_1_0_8_20) OR FIREABLE(timeout_A_1_0_9_20) OR FIREABLE(timeout_A_1_0_10_20) OR FIREABLE(timeout_A_1_0_0_21) OR FIREABLE(timeout_A_1_0_1_21) OR FIREABLE(timeout_A_1_0_2_21) OR FIREABLE(timeout_A_1_0_3_21) OR FIREABLE(timeout_A_1_0_4_21) OR FIREABLE(timeout_A_1_0_5_21) OR FIREABLE(timeout_A_1_0_6_21) OR FIREABLE(timeout_A_1_0_7_21) OR FIREABLE(timeout_A_1_0_8_21) OR FIREABLE(timeout_A_1_0_9_21) OR FIREABLE(timeout_A_1_0_10_21) OR FIREABLE(timeout_A_1_0_0_22) OR FIREABLE(timeout_A_1_0_1_22) OR FIREABLE(timeout_A_1_0_2_22) OR FIREABLE(timeout_A_1_0_3_22) OR FIREABLE(timeout_A_1_0_4_22) OR FIREABLE(timeout_A_1_0_5_22) OR FIREABLE(timeout_A_1_0_6_22) OR FIREABLE(timeout_A_1_0_7_22) OR FIREABLE(timeout_A_1_0_8_22) OR FIREABLE(timeout_A_1_0_9_22) OR FIREABLE(timeout_A_1_0_10_22) OR FIREABLE(timeout_A_1_0_0_23) OR FIREABLE(timeout_A_1_0_1_23) OR FIREABLE(timeout_A_1_0_2_23) OR FIREABLE(timeout_A_1_0_3_23) OR FIREABLE(timeout_A_1_0_4_23) OR FIREABLE(timeout_A_1_0_5_23) OR FIREABLE(timeout_A_1_0_6_23) OR FIREABLE(timeout_A_1_0_7_23) OR FIREABLE(timeout_A_1_0_8_23) OR FIREABLE(timeout_A_1_0_9_23) OR FIREABLE(timeout_A_1_0_10_23) OR FIREABLE(timeout_A_1_0_0_24) OR FIREABLE(timeout_A_1_0_1_24) OR FIREABLE(timeout_A_1_0_2_24) OR FIREABLE(timeout_A_1_0_3_24) OR FIREABLE(timeout_A_1_0_4_24) OR FIREABLE(timeout_A_1_0_5_24) OR FIREABLE(timeout_A_1_0_6_24) OR FIREABLE(timeout_A_1_0_7_24) OR FIREABLE(timeout_A_1_0_8_24) OR FIREABLE(timeout_A_1_0_9_24) OR FIREABLE(timeout_A_1_0_10_24) OR FIREABLE(timeout_A_1_0_0_25) OR FIREABLE(timeout_A_1_0_1_25) OR FIREABLE(timeout_A_1_0_2_25) OR FIREABLE(timeout_A_1_0_3_25) OR FIREABLE(timeout_A_1_0_4_25) OR FIREABLE(timeout_A_1_0_5_25) OR FIREABLE(timeout_A_1_0_6_25) OR FIREABLE(timeout_A_1_0_7_25) OR FIREABLE(timeout_A_1_0_8_25) OR FIREABLE(timeout_A_1_0_9_25) OR FIREABLE(timeout_A_1_0_10_25) OR FIREABLE(timeout_A_1_0_0_26) OR FIREABLE(timeout_A_1_0_1_26) OR FIREABLE(timeout_A_1_0_2_26) OR FIREABLE(timeout_A_1_0_3_26) OR FIREABLE(timeout_A_1_0_4_26) OR FIREABLE(timeout_A_1_0_5_26) OR FIREABLE(timeout_A_1_0_6_26) OR FIREABLE(timeout_A_1_0_7_26) OR FIREABLE(timeout_A_1_0_8_26) OR FIREABLE(timeout_A_1_0_9_26) OR FIREABLE(timeout_A_1_0_10_26) OR FIREABLE(timeout_A_1_0_0_27) OR FIREABLE(timeout_A_1_0_1_27) OR FIREABLE(timeout_A_1_0_2_27) OR FIREABLE(timeout_A_1_0_3_27) OR FIREABLE(timeout_A_1_0_4_27) OR FIREABLE(timeout_A_1_0_5_27) OR FIREABLE(timeout_A_1_0_6_27) OR FIREABLE(timeout_A_1_0_7_27) OR FIREABLE(timeout_A_1_0_8_27) OR FIREABLE(timeout_A_1_0_9_27) OR FIREABLE(timeout_A_1_0_10_27) OR FIREABLE(timeout_A_1_0_0_28) OR FIREABLE(timeout_A_1_0_1_28) OR FIREABLE(timeout_A_1_0_2_28) OR FIREABLE(timeout_A_1_0_3_28) OR FIREABLE(timeout_A_1_0_4_28) OR FIREABLE(timeout_A_1_0_5_28) OR FIREABLE(timeout_A_1_0_6_28) OR FIREABLE(timeout_A_1_0_7_28) OR FIREABLE(timeout_A_1_0_8_28) OR FIREABLE(timeout_A_1_0_9_28) OR FIREABLE(timeout_A_1_0_10_28) OR FIREABLE(timeout_A_1_0_0_29) OR FIREABLE(timeout_A_1_0_1_29) OR FIREABLE(timeout_A_1_0_2_29) OR FIREABLE(timeout_A_1_0_3_29) OR FIREABLE(timeout_A_1_0_4_29) OR FIREABLE(timeout_A_1_0_5_29) OR FIREABLE(timeout_A_1_0_6_29) OR FIREABLE(timeout_A_1_0_7_29) OR FIREABLE(timeout_A_1_0_8_29) OR FIREABLE(timeout_A_1_0_9_29) OR FIREABLE(timeout_A_1_0_10_29) OR FIREABLE(timeout_A_1_0_0_30) OR FIREABLE(timeout_A_1_0_1_30) OR FIREABLE(timeout_A_1_0_2_30) OR FIREABLE(timeout_A_1_0_3_30) OR FIREABLE(timeout_A_1_0_4_30) OR FIREABLE(timeout_A_1_0_5_30) OR FIREABLE(timeout_A_1_0_6_30) OR FIREABLE(timeout_A_1_0_7_30) OR FIREABLE(timeout_A_1_0_8_30) OR FIREABLE(timeout_A_1_0_9_30) OR FIREABLE(timeout_A_1_0_10_30) OR FIREABLE(timeout_A_1_0_0_31) OR FIREABLE(timeout_A_1_0_1_31) OR FIREABLE(timeout_A_1_0_2_31) OR FIREABLE(timeout_A_1_0_3_31) OR FIREABLE(timeout_A_1_0_4_31) OR FIREABLE(timeout_A_1_0_5_31) OR FIREABLE(timeout_A_1_0_6_31) OR FIREABLE(timeout_A_1_0_7_31) OR FIREABLE(timeout_A_1_0_8_31) OR FIREABLE(timeout_A_1_0_9_31) OR FIREABLE(timeout_A_1_0_10_31) OR FIREABLE(timeout_A_1_0_0_32) OR FIREABLE(timeout_A_1_0_1_32) OR FIREABLE(timeout_A_1_0_2_32) OR FIREABLE(timeout_A_1_0_3_32) OR FIREABLE(timeout_A_1_0_4_32) OR FIREABLE(timeout_A_1_0_5_32) OR FIREABLE(timeout_A_1_0_6_32) OR FIREABLE(timeout_A_1_0_7_32) OR FIREABLE(timeout_A_1_0_8_32) OR FIREABLE(timeout_A_1_0_9_32) OR FIREABLE(timeout_A_1_0_10_32) OR FIREABLE(timeout_A_1_0_0_33) OR FIREABLE(timeout_A_1_0_1_33) OR FIREABLE(timeout_A_1_0_2_33) OR FIREABLE(timeout_A_1_0_3_33) OR FIREABLE(timeout_A_1_0_4_33) OR FIREABLE(timeout_A_1_0_5_33) OR FIREABLE(timeout_A_1_0_6_33) OR FIREABLE(timeout_A_1_0_7_33) OR FIREABLE(timeout_A_1_0_8_33) OR FIREABLE(timeout_A_1_0_9_33) OR FIREABLE(timeout_A_1_0_10_33) OR FIREABLE(timeout_A_1_0_0_34) OR FIREABLE(timeout_A_1_0_1_34) OR FIREABLE(timeout_A_1_0_2_34) OR FIREABLE(timeout_A_1_0_3_34) OR FIREABLE(timeout_A_1_0_4_34) OR FIREABLE(timeout_A_1_0_5_34) OR FIREABLE(timeout_A_1_0_6_34) OR FIREABLE(timeout_A_1_0_7_34) OR FIREABLE(timeout_A_1_0_8_34) OR FIREABLE(timeout_A_1_0_9_34) OR FIREABLE(timeout_A_1_0_10_34) OR FIREABLE(timeout_A_1_0_0_35) OR FIREABLE(timeout_A_1_0_1_35) OR FIREABLE(timeout_A_1_0_2_35) OR FIREABLE(timeout_A_1_0_3_35) OR FIREABLE(timeout_A_1_0_4_35) OR FIREABLE(timeout_A_1_0_5_35) OR FIREABLE(timeout_A_1_0_6_35) OR FIREABLE(timeout_A_1_0_7_35) OR FIREABLE(timeout_A_1_0_8_35) OR FIREABLE(timeout_A_1_0_9_35) OR FIREABLE(timeout_A_1_0_10_35) OR FIREABLE(timeout_A_1_0_0_36) OR FIREABLE(timeout_A_1_0_1_36) OR FIREABLE(timeout_A_1_0_2_36) OR FIREABLE(timeout_A_1_0_3_36) OR FIREABLE(timeout_A_1_0_4_36) OR FIREABLE(timeout_A_1_0_5_36) OR FIREABLE(timeout_A_1_0_6_36) OR FIREABLE(timeout_A_1_0_7_36) OR FIREABLE(timeout_A_1_0_8_36) OR FIREABLE(timeout_A_1_0_9_36) OR FIREABLE(timeout_A_1_0_10_36) OR FIREABLE(timeout_A_1_0_0_37) OR FIREABLE(timeout_A_1_0_1_37) OR FIREABLE(timeout_A_1_0_2_37) OR FIREABLE(timeout_A_1_0_3_37) OR FIREABLE(timeout_A_1_0_4_37) OR FIREABLE(timeout_A_1_0_5_37) OR FIREABLE(timeout_A_1_0_6_37) OR FIREABLE(timeout_A_1_0_7_37) OR FIREABLE(timeout_A_1_0_8_37) OR FIREABLE(timeout_A_1_0_9_37) OR FIREABLE(timeout_A_1_0_10_37) OR FIREABLE(timeout_A_1_0_0_38) OR FIREABLE(timeout_A_1_0_1_38) OR FIREABLE(timeout_A_1_0_2_38) OR FIREABLE(timeout_A_1_0_3_38) OR FIREABLE(timeout_A_1_0_4_38) OR FIREABLE(timeout_A_1_0_5_38) OR FIREABLE(timeout_A_1_0_6_38) OR FIREABLE(timeout_A_1_0_7_38) OR FIREABLE(timeout_A_1_0_8_38) OR FIREABLE(timeout_A_1_0_9_38) OR FIREABLE(timeout_A_1_0_10_38) OR FIREABLE(timeout_A_1_0_0_39) OR FIREABLE(timeout_A_1_0_1_39) OR FIREABLE(timeout_A_1_0_2_39) OR FIREABLE(timeout_A_1_0_3_39) OR FIREABLE(timeout_A_1_0_4_39) OR FIREABLE(timeout_A_1_0_5_39) OR FIREABLE(timeout_A_1_0_6_39) OR FIREABLE(timeout_A_1_0_7_39) OR FIREABLE(timeout_A_1_0_8_39) OR FIREABLE(timeout_A_1_0_9_39) OR FIREABLE(timeout_A_1_0_10_39) OR FIREABLE(timeout_A_1_0_0_40) OR FIREABLE(timeout_A_1_0_1_40) OR FIREABLE(timeout_A_1_0_2_40) OR FIREABLE(timeout_A_1_0_3_40) OR FIREABLE(timeout_A_1_0_4_40) OR FIREABLE(timeout_A_1_0_5_40) OR FIREABLE(timeout_A_1_0_6_40) OR FIREABLE(timeout_A_1_0_7_40) OR FIREABLE(timeout_A_1_0_8_40) OR FIREABLE(timeout_A_1_0_9_40) OR FIREABLE(timeout_A_1_0_10_40) OR FIREABLE(timeout_A_1_0_0_41) OR FIREABLE(timeout_A_1_0_1_41) OR FIREABLE(timeout_A_1_0_2_41) OR FIREABLE(timeout_A_1_0_3_41) OR FIREABLE(timeout_A_1_0_4_41) OR FIREABLE(timeout_A_1_0_5_41) OR FIREABLE(timeout_A_1_0_6_41) OR FIREABLE(timeout_A_1_0_7_41) OR FIREABLE(timeout_A_1_0_8_41) OR FIREABLE(timeout_A_1_0_9_41) OR FIREABLE(timeout_A_1_0_10_41) OR FIREABLE(timeout_A_1_0_0_42) OR FIREABLE(timeout_A_1_0_1_42) OR FIREABLE(timeout_A_1_0_2_42) OR FIREABLE(timeout_A_1_0_3_42) OR FIREABLE(timeout_A_1_0_4_42) OR FIREABLE(timeout_A_1_0_5_42) OR FIREABLE(timeout_A_1_0_6_42) OR FIREABLE(timeout_A_1_0_7_42) OR FIREABLE(timeout_A_1_0_8_42) OR FIREABLE(timeout_A_1_0_9_42) OR FIREABLE(timeout_A_1_0_10_42) OR FIREABLE(timeout_A_1_0_0_43) OR FIREABLE(timeout_A_1_0_1_43) OR FIREABLE(timeout_A_1_0_2_43) OR FIREABLE(timeout_A_1_0_3_43) OR FIREABLE(timeout_A_1_0_4_43) OR FIREABLE(timeout_A_1_0_5_43) OR FIREABLE(timeout_A_1_0_6_43) OR FIREABLE(timeout_A_1_0_7_43) OR FIREABLE(timeout_A_1_0_8_43) OR FIREABLE(timeout_A_1_0_9_43) OR FIREABLE(timeout_A_1_0_10_43) OR FIREABLE(timeout_A_1_0_0_44) OR FIREABLE(timeout_A_1_0_1_44) OR FIREABLE(timeout_A_1_0_2_44) OR FIREABLE(timeout_A_1_0_3_44) OR FIREABLE(timeout_A_1_0_4_44) OR FIREABLE(timeout_A_1_0_5_44) OR FIREABLE(timeout_A_1_0_6_44) OR FIREABLE(timeout_A_1_0_7_44) OR FIREABLE(timeout_A_1_0_8_44) OR FIREABLE(timeout_A_1_0_9_44) OR FIREABLE(timeout_A_1_0_10_44) OR FIREABLE(timeout_A_1_0_0_45) OR FIREABLE(timeout_A_1_0_1_45) OR FIREABLE(timeout_A_1_0_2_45) OR FIREABLE(timeout_A_1_0_3_45) OR FIREABLE(timeout_A_1_0_4_45) OR FIREABLE(timeout_A_1_0_5_45) OR FIREABLE(timeout_A_1_0_6_45) OR FIREABLE(timeout_A_1_0_7_45) OR FIREABLE(timeout_A_1_0_8_45) OR FIREABLE(timeout_A_1_0_9_45) OR FIREABLE(timeout_A_1_0_10_45) OR FIREABLE(timeout_A_1_0_0_46) OR FIREABLE(timeout_A_1_0_1_46) OR FIREABLE(timeout_A_1_0_2_46) OR FIREABLE(timeout_A_1_0_3_46) OR FIREABLE(timeout_A_1_0_4_46) OR FIREABLE(timeout_A_1_0_5_46) OR FIREABLE(timeout_A_1_0_6_46) OR FIREABLE(timeout_A_1_0_7_46) OR FIREABLE(timeout_A_1_0_8_46) OR FIREABLE(timeout_A_1_0_9_46) OR FIREABLE(timeout_A_1_0_10_46) OR FIREABLE(timeout_A_1_0_0_47) OR FIREABLE(timeout_A_1_0_1_47) OR FIREABLE(timeout_A_1_0_2_47) OR FIREABLE(timeout_A_1_0_3_47) OR FIREABLE(timeout_A_1_0_4_47) OR FIREABLE(timeout_A_1_0_5_47) OR FIREABLE(timeout_A_1_0_6_47) OR FIREABLE(timeout_A_1_0_7_47) OR FIREABLE(timeout_A_1_0_8_47) OR FIREABLE(timeout_A_1_0_9_47) OR FIREABLE(timeout_A_1_0_10_47) OR FIREABLE(timeout_A_1_0_0_48) OR FIREABLE(timeout_A_1_0_1_48) OR FIREABLE(timeout_A_1_0_2_48) OR FIREABLE(timeout_A_1_0_3_48) OR FIREABLE(timeout_A_1_0_4_48) OR FIREABLE(timeout_A_1_0_5_48) OR FIREABLE(timeout_A_1_0_6_48) OR FIREABLE(timeout_A_1_0_7_48) OR FIREABLE(timeout_A_1_0_8_48) OR FIREABLE(timeout_A_1_0_9_48) OR FIREABLE(timeout_A_1_0_10_48) OR FIREABLE(timeout_A_1_0_0_49) OR FIREABLE(timeout_A_1_0_1_49) OR FIREABLE(timeout_A_1_0_2_49) OR FIREABLE(timeout_A_1_0_3_49) OR FIREABLE(timeout_A_1_0_4_49) OR FIREABLE(timeout_A_1_0_5_49) OR FIREABLE(timeout_A_1_0_6_49) OR FIREABLE(timeout_A_1_0_7_49) OR FIREABLE(timeout_A_1_0_8_49) OR FIREABLE(timeout_A_1_0_9_49) OR FIREABLE(timeout_A_1_0_10_49) OR FIREABLE(timeout_A_1_0_0_50) OR FIREABLE(timeout_A_1_0_1_50) OR FIREABLE(timeout_A_1_0_2_50) OR FIREABLE(timeout_A_1_0_3_50) OR FIREABLE(timeout_A_1_0_4_50) OR FIREABLE(timeout_A_1_0_5_50) OR FIREABLE(timeout_A_1_0_6_50) OR FIREABLE(timeout_A_1_0_7_50) OR FIREABLE(timeout_A_1_0_8_50) OR FIREABLE(timeout_A_1_0_9_50) OR FIREABLE(timeout_A_1_0_10_50))))))) OR A ((((FIREABLE(basculement_1) OR FIREABLE(basculement_2) OR FIREABLE(enregistrement_B_0) OR FIREABLE(enregistrement_B_1) OR FIREABLE(enregistrement_B_2) OR FIREABLE(enregistrement_B_3) OR FIREABLE(enregistrement_B_4) OR FIREABLE(enregistrement_B_5) OR FIREABLE(enregistrement_B_6) OR FIREABLE(enregistrement_B_7) OR FIREABLE(enregistrement_B_8) OR FIREABLE(enregistrement_B_9) OR FIREABLE(enregistrement_B_10) OR FIREABLE(enregistrement_B_11) OR FIREABLE(enregistrement_B_12) OR FIREABLE(enregistrement_B_13) OR FIREABLE(enregistrement_B_14) OR FIREABLE(enregistrement_B_15) OR FIREABLE(enregistrement_B_16) OR FIREABLE(enregistrement_B_17) OR FIREABLE(enregistrement_B_18) OR FIREABLE(enregistrement_B_19) OR FIREABLE(enregistrement_B_20) OR FIREABLE(enregistrement_B_21) OR FIREABLE(enregistrement_B_22) OR FIREABLE(enregistrement_B_23) OR FIREABLE(enregistrement_B_24) OR FIREABLE(enregistrement_B_25) OR FIREABLE(enregistrement_B_26) OR FIREABLE(enregistrement_B_27) OR FIREABLE(enregistrement_B_28) OR FIREABLE(enregistrement_B_29) OR FIREABLE(enregistrement_B_30) OR FIREABLE(enregistrement_B_31) OR FIREABLE(enregistrement_B_32) OR FIREABLE(enregistrement_B_33) OR FIREABLE(enregistrement_B_34) OR FIREABLE(enregistrement_B_35) OR FIREABLE(enregistrement_B_36) OR FIREABLE(enregistrement_B_37) OR FIREABLE(enregistrement_B_38) OR FIREABLE(enregistrement_B_39) OR FIREABLE(enregistrement_B_40) OR FIREABLE(enregistrement_B_41) OR FIREABLE(enregistrement_B_42) OR FIREABLE(enregistrement_B_43) OR FIREABLE(enregistrement_B_44) OR FIREABLE(enregistrement_B_45) OR FIREABLE(enregistrement_B_46) OR FIREABLE(enregistrement_B_47) OR FIREABLE(enregistrement_B_48) OR FIREABLE(enregistrement_B_49) OR FIREABLE(enregistrement_B_50)) AND (FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(decision_1_7) OR FIREABLE(decision_2_7) OR FIREABLE(decision_1_8) OR FIREABLE(decision_2_8) OR FIREABLE(decision_1_9) OR FIREABLE(decision_2_9))) U (FIREABLE(altern_cpt_1_10) OR FIREABLE(altern_cpt_2_10))))) : E (G (E (X (E (G ((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(decision_1_7) OR FIREABLE(decision_2_7) OR FIREABLE(decision_1_8) OR FIREABLE(decision_2_8) OR FIREABLE(decision_1_9) OR FIREABLE(decision_2_9)))))))) : E (((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) OR FIREABLE(enregistrement_A_12) OR FIREABLE(enregistrement_A_13) OR FIREABLE(enregistrement_A_14) OR FIREABLE(enregistrement_A_15) OR FIREABLE(enregistrement_A_16) OR FIREABLE(enregistrement_A_17) OR FIREABLE(enregistrement_A_18) OR FIREABLE(enregistrement_A_19) OR FIREABLE(enregistrement_A_20) OR FIREABLE(enregistrement_A_21) OR FIREABLE(enregistrement_A_22) OR FIREABLE(enregistrement_A_23) OR FIREABLE(enregistrement_A_24) OR FIREABLE(enregistrement_A_25) OR FIREABLE(enregistrement_A_26) OR FIREABLE(enregistrement_A_27) OR FIREABLE(enregistrement_A_28) OR FIREABLE(enregistrement_A_29) OR FIREABLE(enregistrement_A_30) OR FIREABLE(enregistrement_A_31) OR FIREABLE(enregistrement_A_32) OR FIREABLE(enregistrement_A_33) OR FIREABLE(enregistrement_A_34) OR FIREABLE(enregistrement_A_35) OR FIREABLE(enregistrement_A_36) OR FIREABLE(enregistrement_A_37) OR FIREABLE(enregistrement_A_38) OR FIREABLE(enregistrement_A_39) OR FIREABLE(enregistrement_A_40) OR FIREABLE(enregistrement_A_41) OR FIREABLE(enregistrement_A_42) OR FIREABLE(enregistrement_A_43) OR FIREABLE(enregistrement_A_44) OR FIREABLE(enregistrement_A_45) OR FIREABLE(enregistrement_A_46) OR FIREABLE(enregistrement_A_47) OR FIREABLE(enregistrement_A_48) OR FIREABLE(enregistrement_A_49) OR FIREABLE(enregistrement_A_50)) U E (G ((FIREABLE(timeout_B_2_1_0_0) OR FIREABLE(timeout_B_2_2_0_0) OR FIREABLE(timeout_B_2_3_0_0) OR FIREABLE(timeout_B_2_4_0_0) OR FIREABLE(timeout_B_2_5_0_0) OR FIREABLE(timeout_B_2_6_0_0) OR FIREABLE(timeout_B_2_7_0_0) OR FIREABLE(timeout_B_2_8_0_0) OR FIREABLE(timeout_B_2_9_0_0) OR FIREABLE(timeout_B_2_10_0_0) OR FIREABLE(timeout_B_2_11_0_0) OR FIREABLE(timeout_B_2_12_0_0) OR FIREABLE(timeout_B_2_13_0_0) OR FIREABLE(timeout_B_2_14_0_0) OR FIREABLE(timeout_B_2_15_0_0) OR FIREABLE(timeout_B_2_16_0_0) OR FIREABLE(timeout_B_2_17_0_0) OR FIREABLE(timeout_B_2_18_0_0) OR FIREABLE(timeout_B_2_19_0_0) OR FIREABLE(timeout_B_2_20_0_0) OR FIREABLE(timeout_B_2_21_0_0) OR FIREABLE(timeout_B_2_22_0_0) OR FIREABLE(timeout_B_2_23_0_0) OR FIREABLE(timeout_B_2_24_0_0) OR FIREABLE(timeout_B_2_25_0_0) OR FIREABLE(timeout_B_2_26_0_0) OR FIREABLE(timeout_B_2_27_0_0) OR FIREABLE(timeout_B_2_28_0_0) OR FIREABLE(timeout_B_2_29_0_0) OR FIREABLE(timeout_B_2_30_0_0) OR FIREABLE(timeout_B_2_31_0_0) OR FIREABLE(timeout_B_2_32_0_0) OR FIREABLE(timeout_B_2_33_0_0) OR FIREABLE(timeout_B_2_34_0_0) OR FIREABLE(timeout_B_2_35_0_0) OR FIREABLE(timeout_B_2_36_0_0) OR FIREABLE(timeout_B_2_37_0_0) OR FIREABLE(timeout_B_2_38_0_0) OR FIREABLE(timeout_B_2_39_0_0) OR FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_B_2_41_0_0) OR FIREABLE(timeout_B_2_42_0_0) OR FIREABLE(timeout_B_2_43_0_0) OR FIREABLE(timeout_B_2_44_0_0) OR FIREABLE(timeout_B_2_45_0_0) OR FIREABLE(timeout_B_2_46_0_0) OR FIREABLE(timeout_B_2_47_0_0) OR FIREABLE(timeout_B_2_48_0_0) OR FIREABLE(timeout_B_2_49_0_0) OR FIREABLE(timeout_B_2_50_0_0) OR FIREABLE(timeout_B_2_1_1_0) OR FIREABLE(timeout_B_2_2_1_0) OR FIREABLE(timeout_B_2_3_1_0) OR FIREABLE(timeout_B_2_4_1_0) OR FIREABLE(timeout_B_2_5_1_0) OR FIREABLE(timeout_B_2_6_1_0) OR FIREABLE(timeout_B_2_7_1_0) OR FIREABLE(timeout_B_2_8_1_0) OR FIREABLE(timeout_B_2_9_1_0) OR FIREABLE(timeout_B_2_10_1_0) OR FIREABLE(timeout_B_2_11_1_0) OR FIREABLE(timeout_B_2_12_1_0) OR FIREABLE(timeout_B_2_13_1_0) OR FIREABLE(timeout_B_2_14_1_0) OR FIREABLE(timeout_B_2_15_1_0) OR FIREABLE(timeout_B_2_16_1_0) OR FIREABLE(timeout_B_2_17_1_0) OR FIREABLE(timeout_B_2_18_1_0) OR FIREABLE(timeout_B_2_19_1_0) OR FIREABLE(timeout_B_2_20_1_0) OR FIREABLE(timeout_B_2_21_1_0) OR FIREABLE(timeout_B_2_22_1_0) OR FIREABLE(timeout_B_2_23_1_0) OR FIREABLE(timeout_B_2_24_1_0) OR FIREABLE(timeout_B_2_25_1_0) OR FIREABLE(timeout_B_2_26_1_0) OR FIREABLE(timeout_B_2_27_1_0) OR FIREABLE(timeout_B_2_28_1_0) OR FIREABLE(timeout_B_2_29_1_0) OR FIREABLE(timeout_B_2_30_1_0) OR FIREABLE(timeout_B_2_31_1_0) OR FIREABLE(timeout_B_2_32_1_0) OR FIREABLE(timeout_B_2_33_1_0) OR FIREABLE(timeout_B_2_34_1_0) OR FIREABLE(timeout_B_2_35_1_0) OR FIREABLE(timeout_B_2_36_1_0) OR FIREABLE(timeout_B_2_37_1_0) OR FIREABLE(timeout_B_2_38_1_0) OR FIREABLE(timeout_B_2_39_1_0) OR FIREABLE(timeout_B_2_40_1_0) OR FIREABLE(timeout_B_2_41_1_0) OR FIREABLE(timeout_B_2_42_1_0) OR FIREABLE(timeout_B_2_43_1_0) OR FIREABLE(timeout_B_2_44_1_0) OR FIREABLE(timeout_B_2_45_1_0) OR FIREABLE(timeout_B_2_46_1_0) OR FIREABLE(timeout_B_2_47_1_0) OR FIREABLE(timeout_B_2_48_1_0) OR FIREABLE(timeout_B_2_49_1_0) OR FIREABLE(timeout_B_2_50_1_0) OR FIREABLE(timeout_B_2_1_2_0) OR FIREABLE(timeout_B_2_2_2_0) OR FIREABLE(timeout_B_2_3_2_0) OR FIREABLE(timeout_B_2_4_2_0) OR FIREABLE(timeout_B_2_5_2_0) OR FIREABLE(timeout_B_2_6_2_0) OR FIREABLE(timeout_B_2_7_2_0) OR FIREABLE(timeout_B_2_8_2_0) OR FIREABLE(timeout_B_2_9_2_0) OR FIREABLE(timeout_B_2_10_2_0) OR FIREABLE(timeout_B_2_11_2_0) OR FIREABLE(timeout_B_2_12_2_0) OR FIREABLE(timeout_B_2_13_2_0) OR FIREABLE(timeout_B_2_14_2_0) OR FIREABLE(timeout_B_2_15_2_0) OR FIREABLE(timeout_B_2_16_2_0) OR FIREABLE(timeout_B_2_17_2_0) OR FIREABLE(timeout_B_2_18_2_0) OR FIREABLE(timeout_B_2_19_2_0) OR FIREABLE(timeout_B_2_20_2_0) OR FIREABLE(timeout_B_2_21_2_0) OR FIREABLE(timeout_B_2_22_2_0) OR FIREABLE(timeout_B_2_23_2_0) OR FIREABLE(timeout_B_2_24_2_0) OR FIREABLE(timeout_B_2_25_2_0) OR FIREABLE(timeout_B_2_26_2_0) OR FIREABLE(timeout_B_2_27_2_0) OR FIREABLE(timeout_B_2_28_2_0) OR FIREABLE(timeout_B_2_29_2_0) OR FIREABLE(timeout_B_2_30_2_0) OR FIREABLE(timeout_B_2_31_2_0) OR FIREABLE(timeout_B_2_32_2_0) OR FIREABLE(timeout_B_2_33_2_0) OR FIREABLE(timeout_B_2_34_2_0) OR FIREABLE(timeout_B_2_35_2_0) OR FIREABLE(timeout_B_2_36_2_0) OR FIREABLE(timeout_B_2_37_2_0) OR FIREABLE(timeout_B_2_38_2_0) OR FIREABLE(timeout_B_2_39_2_0) OR FIREABLE(timeout_B_2_40_2_0) OR FIREABLE(timeout_B_2_41_2_0) OR FIREABLE(timeout_B_2_42_2_0) OR FIREABLE(timeout_B_2_43_2_0) OR FIREABLE(timeout_B_2_44_2_0) OR FIREABLE(timeout_B_2_45_2_0) OR FIREABLE(timeout_B_2_46_2_0) OR FIREABLE(timeout_B_2_47_2_0) OR FIREABLE(timeout_B_2_48_2_0) OR FIREABLE(timeout_B_2_49_2_0) OR FIREABLE(timeout_B_2_50_2_0) OR FIREABLE(timeout_B_2_1_3_0) OR FIREABLE(timeout_B_2_2_3_0) OR FIREABLE(timeout_B_2_3_3_0) OR FIREABLE(timeout_B_2_4_3_0) OR FIREABLE(timeout_B_2_5_3_0) OR FIREABLE(timeout_B_2_6_3_0) OR FIREABLE(timeout_B_2_7_3_0) OR FIREABLE(timeout_B_2_8_3_0) OR FIREABLE(timeout_B_2_9_3_0) OR FIREABLE(timeout_B_2_10_3_0) OR FIREABLE(timeout_B_2_11_3_0) OR FIREABLE(timeout_B_2_12_3_0) OR FIREABLE(timeout_B_2_13_3_0) OR FIREABLE(timeout_B_2_14_3_0) OR FIREABLE(timeout_B_2_15_3_0) OR FIREABLE(timeout_B_2_16_3_0) OR FIREABLE(timeout_B_2_17_3_0) OR FIREABLE(timeout_B_2_18_3_0) OR FIREABLE(timeout_B_2_19_3_0) OR FIREABLE(timeout_B_2_20_3_0) OR FIREABLE(timeout_B_2_21_3_0) OR FIREABLE(timeout_B_2_22_3_0) OR FIREABLE(timeout_B_2_23_3_0) OR FIREABLE(timeout_B_2_24_3_0) OR FIREABLE(timeout_B_2_25_3_0) OR FIREABLE(timeout_B_2_26_3_0) OR FIREABLE(timeout_B_2_27_3_0) OR FIREABLE(timeout_B_2_28_3_0) OR FIREABLE(timeout_B_2_29_3_0) OR FIREABLE(timeout_B_2_30_3_0) OR FIREABLE(timeout_B_2_31_3_0) OR FIREABLE(timeout_B_2_32_3_0) OR FIREABLE(timeout_B_2_33_3_0) OR FIREABLE(timeout_B_2_34_3_0) OR FIREABLE(timeout_B_2_35_3_0) OR FIREABLE(timeout_B_2_36_3_0) OR FIREABLE(timeout_B_2_37_3_0) OR FIREABLE(timeout_B_2_38_3_0) OR FIREABLE(timeout_B_2_39_3_0) OR FIREABLE(timeout_B_2_40_3_0) OR FIREABLE(timeout_B_2_41_3_0) OR FIREABLE(timeout_B_2_42_3_0) OR FIREABLE(timeout_B_2_43_3_0) OR FIREABLE(timeout_B_2_44_3_0) OR FIREABLE(timeout_B_2_45_3_0) OR FIREABLE(timeout_B_2_46_3_0) OR FIREABLE(timeout_B_2_47_3_0) OR FIREABLE(timeout_B_2_48_3_0) OR FIREABLE(timeout_B_2_49_3_0) OR FIREABLE(timeout_B_2_50_3_0) OR FIREABLE(timeout_B_2_1_4_0) OR FIREABLE(timeout_B_2_2_4_0) OR FIREABLE(timeout_B_2_3_4_0) OR FIREABLE(timeout_B_2_4_4_0) OR FIREABLE(timeout_B_2_5_4_0) OR FIREABLE(timeout_B_2_6_4_0) OR FIREABLE(timeout_B_2_7_4_0) OR FIREABLE(timeout_B_2_8_4_0) OR FIREABLE(timeout_B_2_9_4_0) OR FIREABLE(timeout_B_2_10_4_0) OR FIREABLE(timeout_B_2_11_4_0) OR FIREABLE(timeout_B_2_12_4_0) OR FIREABLE(timeout_B_2_13_4_0) OR FIREABLE(timeout_B_2_14_4_0) OR FIREABLE(timeout_B_2_15_4_0) OR FIREABLE(timeout_B_2_16_4_0) OR FIREABLE(timeout_B_2_17_4_0) OR FIREABLE(timeout_B_2_18_4_0) OR FIREABLE(timeout_B_2_19_4_0) OR FIREABLE(timeout_B_2_20_4_0) OR FIREABLE(timeout_B_2_21_4_0) OR FIREABLE(timeout_B_2_22_4_0) OR FIREABLE(timeout_B_2_23_4_0) OR FIREABLE(timeout_B_2_24_4_0) OR FIREABLE(timeout_B_2_25_4_0) OR FIREABLE(timeout_B_2_26_4_0) OR FIREABLE(timeout_B_2_27_4_0) OR FIREABLE(timeout_B_2_28_4_0) OR FIREABLE(timeout_B_2_29_4_0) OR FIREABLE(timeout_B_2_30_4_0) OR FIREABLE(timeout_B_2_31_4_0) OR FIREABLE(timeout_B_2_32_4_0) OR FIREABLE(timeout_B_2_33_4_0) OR FIREABLE(timeout_B_2_34_4_0) OR FIREABLE(timeout_B_2_35_4_0) OR FIREABLE(timeout_B_2_36_4_0) OR FIREABLE(timeout_B_2_37_4_0) OR FIREABLE(timeout_B_2_38_4_0) OR FIREABLE(timeout_B_2_39_4_0) OR FIREABLE(timeout_B_2_40_4_0) OR FIREABLE(timeout_B_2_41_4_0) OR FIREABLE(timeout_B_2_42_4_0) OR FIREABLE(timeout_B_2_43_4_0) OR FIREABLE(timeout_B_2_44_4_0) OR FIREABLE(timeout_B_2_45_4_0) OR FIREABLE(timeout_B_2_46_4_0) OR FIREABLE(timeout_B_2_47_4_0) OR FIREABLE(timeout_B_2_48_4_0) OR FIREABLE(timeout_B_2_49_4_0) OR FIREABLE(timeout_B_2_50_4_0) OR FIREABLE(timeout_B_2_1_5_0) OR FIREABLE(timeout_B_2_2_5_0) OR FIREABLE(timeout_B_2_3_5_0) OR FIREABLE(timeout_B_2_4_5_0) OR FIREABLE(timeout_B_2_5_5_0) OR FIREABLE(timeout_B_2_6_5_0) OR FIREABLE(timeout_B_2_7_5_0) OR FIREABLE(timeout_B_2_8_5_0) OR FIREABLE(timeout_B_2_9_5_0) OR FIREABLE(timeout_B_2_10_5_0) OR FIREABLE(timeout_B_2_11_5_0) OR FIREABLE(timeout_B_2_12_5_0) OR FIREABLE(timeout_B_2_13_5_0) OR FIREABLE(timeout_B_2_14_5_0) OR FIREABLE(timeout_B_2_15_5_0) OR FIREABLE(timeout_B_2_16_5_0) OR FIREABLE(timeout_B_2_17_5_0) OR FIREABLE(timeout_B_2_18_5_0) OR FIREABLE(timeout_B_2_19_5_0) OR FIREABLE(timeout_B_2_20_5_0) OR FIREABLE(timeout_B_2_21_5_0) OR FIREABLE(timeout_B_2_22_5_0) OR FIREABLE(timeout_B_2_23_5_0) OR FIREABLE(timeout_B_2_24_5_0) OR FIREABLE(timeout_B_2_25_5_0) OR FIREABLE(timeout_B_2_26_5_0) OR FIREABLE(timeout_B_2_27_5_0) OR FIREABLE(timeout_B_2_28_5_0) OR FIREABLE(timeout_B_2_29_5_0) OR FIREABLE(timeout_B_2_30_5_0) OR FIREABLE(timeout_B_2_31_5_0) OR FIREABLE(timeout_B_2_32_5_0) OR FIREABLE(timeout_B_2_33_5_0) OR FIREABLE(timeout_B_2_34_5_0) OR FIREABLE(timeout_B_2_35_5_0) OR FIREABLE(timeout_B_2_36_5_0) OR FIREABLE(timeout_B_2_37_5_0) OR FIREABLE(timeout_B_2_38_5_0) OR FIREABLE(timeout_B_2_39_5_0) OR FIREABLE(timeout_B_2_40_5_0) OR FIREABLE(timeout_B_2_41_5_0) OR FIREABLE(timeout_B_2_42_5_0) OR FIREABLE(timeout_B_2_43_5_0) OR FIREABLE(timeout_B_2_44_5_0) OR FIREABLE(timeout_B_2_45_5_0) OR FIREABLE(timeout_B_2_46_5_0) OR FIREABLE(timeout_B_2_47_5_0) OR FIREABLE(timeout_B_2_48_5_0) OR FIREABLE(timeout_B_2_49_5_0) OR FIREABLE(timeout_B_2_50_5_0) OR FIREABLE(timeout_B_2_1_6_0) OR FIREABLE(timeout_B_2_2_6_0) OR FIREABLE(timeout_B_2_3_6_0) OR FIREABLE(timeout_B_2_4_6_0) OR FIREABLE(timeout_B_2_5_6_0) OR FIREABLE(timeout_B_2_6_6_0) OR FIREABLE(timeout_B_2_7_6_0) OR FIREABLE(timeout_B_2_8_6_0) OR FIREABLE(timeout_B_2_9_6_0) OR FIREABLE(timeout_B_2_10_6_0) OR FIREABLE(timeout_B_2_11_6_0) OR FIREABLE(timeout_B_2_12_6_0) OR FIREABLE(timeout_B_2_13_6_0) OR FIREABLE(timeout_B_2_14_6_0) OR FIREABLE(timeout_B_2_15_6_0) OR FIREABLE(timeout_B_2_16_6_0) OR FIREABLE(timeout_B_2_17_6_0) OR FIREABLE(timeout_B_2_18_6_0) OR FIREABLE(timeout_B_2_19_6_0) OR FIREABLE(timeout_B_2_20_6_0) OR FIREABLE(timeout_B_2_21_6_0) OR FIREABLE(timeout_B_2_22_6_0) OR FIREABLE(timeout_B_2_23_6_0) OR FIREABLE(timeout_B_2_24_6_0) OR FIREABLE(timeout_B_2_25_6_0) OR FIREABLE(timeout_B_2_26_6_0) OR FIREABLE(timeout_B_2_27_6_0) OR FIREABLE(timeout_B_2_28_6_0) OR FIREABLE(timeout_B_2_29_6_0) OR FIREABLE(timeout_B_2_30_6_0) OR FIREABLE(timeout_B_2_31_6_0) OR FIREABLE(timeout_B_2_32_6_0) OR FIREABLE(timeout_B_2_33_6_0) OR FIREABLE(timeout_B_2_34_6_0) OR FIREABLE(timeout_B_2_35_6_0) OR FIREABLE(timeout_B_2_36_6_0) OR FIREABLE(timeout_B_2_37_6_0) OR FIREABLE(timeout_B_2_38_6_0) OR FIREABLE(timeout_B_2_39_6_0) OR FIREABLE(timeout_B_2_40_6_0) OR FIREABLE(timeout_B_2_41_6_0) OR FIREABLE(timeout_B_2_42_6_0) OR FIREABLE(timeout_B_2_43_6_0) OR FIREABLE(timeout_B_2_44_6_0) OR FIREABLE(timeout_B_2_45_6_0) OR FIREABLE(timeout_B_2_46_6_0) OR FIREABLE(timeout_B_2_47_6_0) OR FIREABLE(timeout_B_2_48_6_0) OR FIREABLE(timeout_B_2_49_6_0) OR FIREABLE(timeout_B_2_50_6_0) OR FIREABLE(timeout_B_2_1_7_0) OR FIREABLE(timeout_B_2_2_7_0) OR FIREABLE(timeout_B_2_3_7_0) OR FIREABLE(timeout_B_2_4_7_0) OR FIREABLE(timeout_B_2_5_7_0) OR FIREABLE(timeout_B_2_6_7_0) OR FIREABLE(timeout_B_2_7_7_0) OR FIREABLE(timeout_B_2_8_7_0) OR FIREABLE(timeout_B_2_9_7_0) OR FIREABLE(timeout_B_2_10_7_0) OR FIREABLE(timeout_B_2_11_7_0) OR FIREABLE(timeout_B_2_12_7_0) OR FIREABLE(timeout_B_2_13_7_0) OR FIREABLE(timeout_B_2_14_7_0) OR FIREABLE(timeout_B_2_15_7_0) OR FIREABLE(timeout_B_2_16_7_0) OR FIREABLE(timeout_B_2_17_7_0) OR FIREABLE(timeout_B_2_18_7_0) OR FIREABLE(timeout_B_2_19_7_0) OR FIREABLE(timeout_B_2_20_7_0) OR FIREABLE(timeout_B_2_21_7_0) OR FIREABLE(timeout_B_2_22_7_0) OR FIREABLE(timeout_B_2_23_7_0) OR FIREABLE(timeout_B_2_24_7_0) OR FIREABLE(timeout_B_2_25_7_0) OR FIREABLE(timeout_B_2_26_7_0) OR FIREABLE(timeout_B_2_27_7_0) OR FIREABLE(timeout_B_2_28_7_0) OR FIREABLE(timeout_B_2_29_7_0) OR FIREABLE(timeout_B_2_30_7_0) OR FIREABLE(timeout_B_2_31_7_0) OR FIREABLE(timeout_B_2_32_7_0) OR FIREABLE(timeout_B_2_33_7_0) OR FIREABLE(timeout_B_2_34_7_0) OR FIREABLE(timeout_B_2_35_7_0) OR FIREABLE(timeout_B_2_36_7_0) OR FIREABLE(timeout_B_2_37_7_0) OR FIREABLE(timeout_B_2_38_7_0) OR FIREABLE(timeout_B_2_39_7_0) OR FIREABLE(timeout_B_2_40_7_0) OR FIREABLE(timeout_B_2_41_7_0) OR FIREABLE(timeout_B_2_42_7_0) OR FIREABLE(timeout_B_2_43_7_0) OR FIREABLE(timeout_B_2_44_7_0) OR FIREABLE(timeout_B_2_45_7_0) OR FIREABLE(timeout_B_2_46_7_0) OR FIREABLE(timeout_B_2_47_7_0) OR FIREABLE(timeout_B_2_48_7_0) OR FIREABLE(timeout_B_2_49_7_0) OR FIREABLE(timeout_B_2_50_7_0) OR FIREABLE(timeout_B_2_1_8_0) OR FIREABLE(timeout_B_2_2_8_0) OR FIREABLE(timeout_B_2_3_8_0) OR FIREABLE(timeout_B_2_4_8_0) OR FIREABLE(timeout_B_2_5_8_0) OR FIREABLE(timeout_B_2_6_8_0) OR FIREABLE(timeout_B_2_7_8_0) OR FIREABLE(timeout_B_2_8_8_0) OR FIREABLE(timeout_B_2_9_8_0) OR FIREABLE(timeout_B_2_10_8_0) OR FIREABLE(timeout_B_2_11_8_0) OR FIREABLE(timeout_B_2_12_8_0) OR FIREABLE(timeout_B_2_13_8_0) OR FIREABLE(timeout_B_2_14_8_0) OR FIREABLE(timeout_B_2_15_8_0) OR FIREABLE(timeout_B_2_16_8_0) OR FIREABLE(timeout_B_2_17_8_0) OR FIREABLE(timeout_B_2_18_8_0) OR FIREABLE(timeout_B_2_19_8_0) OR FIREABLE(timeout_B_2_20_8_0) OR FIREABLE(timeout_B_2_21_8_0) OR FIREABLE(timeout_B_2_22_8_0) OR FIREABLE(timeout_B_2_23_8_0) OR FIREABLE(timeout_B_2_24_8_0) OR FIREABLE(timeout_B_2_25_8_0) OR FIREABLE(timeout_B_2_26_8_0) OR FIREABLE(timeout_B_2_27_8_0) OR FIREABLE(timeout_B_2_28_8_0) OR FIREABLE(timeout_B_2_29_8_0) OR FIREABLE(timeout_B_2_30_8_0) OR FIREABLE(timeout_B_2_31_8_0) OR FIREABLE(timeout_B_2_32_8_0) OR FIREABLE(timeout_B_2_33_8_0) OR FIREABLE(timeout_B_2_34_8_0) OR FIREABLE(timeout_B_2_35_8_0) OR FIREABLE(timeout_B_2_36_8_0) OR FIREABLE(timeout_B_2_37_8_0) OR FIREABLE(timeout_B_2_38_8_0) OR FIREABLE(timeout_B_2_39_8_0) OR FIREABLE(timeout_B_2_40_8_0) OR FIREABLE(timeout_B_2_41_8_0) OR FIREABLE(timeout_B_2_42_8_0) OR FIREABLE(timeout_B_2_43_8_0) OR FIREABLE(timeout_B_2_44_8_0) OR FIREABLE(timeout_B_2_45_8_0) OR FIREABLE(timeout_B_2_46_8_0) OR FIREABLE(timeout_B_2_47_8_0) OR FIREABLE(timeout_B_2_48_8_0) OR FIREABLE(timeout_B_2_49_8_0) OR FIREABLE(timeout_B_2_50_8_0) OR FIREABLE(timeout_B_2_1_9_0) OR FIREABLE(timeout_B_2_2_9_0) OR FIREABLE(timeout_B_2_3_9_0) OR FIREABLE(timeout_B_2_4_9_0) OR FIREABLE(timeout_B_2_5_9_0) OR FIREABLE(timeout_B_2_6_9_0) OR FIREABLE(timeout_B_2_7_9_0) OR FIREABLE(timeout_B_2_8_9_0) OR FIREABLE(timeout_B_2_9_9_0) OR FIREABLE(timeout_B_2_10_9_0) OR FIREABLE(timeout_B_2_11_9_0) OR FIREABLE(timeout_B_2_12_9_0) OR FIREABLE(timeout_B_2_13_9_0) OR FIREABLE(timeout_B_2_14_9_0) OR FIREABLE(timeout_B_2_15_9_0) OR FIREABLE(timeout_B_2_16_9_0) OR FIREABLE(timeout_B_2_17_9_0) OR FIREABLE(timeout_B_2_18_9_0) OR FIREABLE(timeout_B_2_19_9_0) OR FIREABLE(timeout_B_2_20_9_0) OR FIREABLE(timeout_B_2_21_9_0) OR FIREABLE(timeout_B_2_22_9_0) OR FIREABLE(timeout_B_2_23_9_0) OR FIREABLE(timeout_B_2_24_9_0) OR FIREABLE(timeout_B_2_25_9_0) OR FIREABLE(timeout_B_2_26_9_0) OR FIREABLE(timeout_B_2_27_9_0) OR FIREABLE(timeout_B_2_28_9_0) OR FIREABLE(timeout_B_2_29_9_0) OR FIREABLE(timeout_B_2_30_9_0) OR FIREABLE(timeout_B_2_31_9_0) OR FIREABLE(timeout_B_2_32_9_0) OR FIREABLE(timeout_B_2_33_9_0) OR FIREABLE(timeout_B_2_34_9_0) OR FIREABLE(timeout_B_2_35_9_0) OR FIREABLE(timeout_B_2_36_9_0) OR FIREABLE(timeout_B_2_37_9_0) OR FIREABLE(timeout_B_2_38_9_0) OR FIREABLE(timeout_B_2_39_9_0) OR FIREABLE(timeout_B_2_40_9_0) OR FIREABLE(timeout_B_2_41_9_0) OR FIREABLE(timeout_B_2_42_9_0) OR FIREABLE(timeout_B_2_43_9_0) OR FIREABLE(timeout_B_2_44_9_0) OR FIREABLE(timeout_B_2_45_9_0) OR FIREABLE(timeout_B_2_46_9_0) OR FIREABLE(timeout_B_2_47_9_0) OR FIREABLE(timeout_B_2_48_9_0) OR FIREABLE(timeout_B_2_49_9_0) OR FIREABLE(timeout_B_2_50_9_0) OR FIREABLE(timeout_B_2_1_10_0) OR FIREABLE(timeout_B_2_2_10_0) OR FIREABLE(timeout_B_2_3_10_0) OR FIREABLE(timeout_B_2_4_10_0) OR FIREABLE(timeout_B_2_5_10_0) OR FIREABLE(timeout_B_2_6_10_0) OR FIREABLE(timeout_B_2_7_10_0) OR FIREABLE(timeout_B_2_8_10_0) OR FIREABLE(timeout_B_2_9_10_0) OR FIREABLE(timeout_B_2_10_10_0) OR FIREABLE(timeout_B_2_11_10_0) OR FIREABLE(timeout_B_2_12_10_0) OR FIREABLE(timeout_B_2_13_10_0) OR FIREABLE(timeout_B_2_14_10_0) OR FIREABLE(timeout_B_2_15_10_0) OR FIREABLE(timeout_B_2_16_10_0) OR FIREABLE(timeout_B_2_17_10_0) OR FIREABLE(timeout_B_2_18_10_0) OR FIREABLE(timeout_B_2_19_10_0) OR FIREABLE(timeout_B_2_20_10_0) OR FIREABLE(timeout_B_2_21_10_0) OR FIREABLE(timeout_B_2_22_10_0) OR FIREABLE(timeout_B_2_23_10_0) OR FIREABLE(timeout_B_2_24_10_0) OR FIREABLE(timeout_B_2_25_10_0) OR FIREABLE(timeout_B_2_26_10_0) OR FIREABLE(timeout_B_2_27_10_0) OR FIREABLE(timeout_B_2_28_10_0) OR FIREABLE(timeout_B_2_29_10_0) OR FIREABLE(timeout_B_2_30_10_0) OR FIREABLE(timeout_B_2_31_10_0) OR FIREABLE(timeout_B_2_32_10_0) OR FIREABLE(timeout_B_2_33_10_0) OR FIREABLE(timeout_B_2_34_10_0) OR FIREABLE(timeout_B_2_35_10_0) OR FIREABLE(timeout_B_2_36_10_0) OR FIREABLE(timeout_B_2_37_10_0) OR FIREABLE(timeout_B_2_38_10_0) OR FIREABLE(timeout_B_2_39_10_0) OR FIREABLE(timeout_B_2_40_10_0) OR FIREABLE(timeout_B_2_41_10_0) OR FIREABLE(timeout_B_2_42_10_0) OR FIREABLE(timeout_B_2_43_10_0) OR FIREABLE(timeout_B_2_44_10_0) OR FIREABLE(timeout_B_2_45_10_0) OR FIREABLE(timeout_B_2_46_10_0) OR FIREABLE(timeout_B_2_47_10_0) OR FIREABLE(timeout_B_2_48_10_0) OR FIREABLE(timeout_B_2_49_10_0) OR FIREABLE(timeout_B_2_50_10_0) OR FIREABLE(basculement_1) OR FIREABLE(basculement_2)))))) : NOT(A (G (A (F ((FIREABLE(autorisation_A_1_1) OR FIREABLE(autorisation_A_1_2) OR FIREABLE(autorisation_A_1_3) OR FIREABLE(autorisation_A_1_4) OR FIREABLE(autorisation_A_1_5) OR FIREABLE(autorisation_A_1_6) OR FIREABLE(autorisation_A_1_7) OR FIREABLE(autorisation_A_1_8) OR FIREABLE(autorisation_A_1_9) OR FIREABLE(autorisation_A_1_10) OR FIREABLE(autorisation_A_1_11) OR FIREABLE(autorisation_A_1_12) OR FIREABLE(autorisation_A_1_13) OR FIREABLE(autorisation_A_1_14) OR FIREABLE(autorisation_A_1_15) OR FIREABLE(autorisation_A_1_16) OR FIREABLE(autorisation_A_1_17) OR FIREABLE(autorisation_A_1_18) OR FIREABLE(autorisation_A_1_19) OR FIREABLE(autorisation_A_1_20) OR FIREABLE(autorisation_A_1_21) OR FIREABLE(autorisation_A_1_22) OR FIREABLE(autorisation_A_1_23) OR FIREABLE(autorisation_A_1_24) OR FIREABLE(autorisation_A_1_25) OR FIREABLE(autorisation_A_1_26) OR FIREABLE(autorisation_A_1_27) OR FIREABLE(autorisation_A_1_28) OR FIREABLE(autorisation_A_1_29) OR FIREABLE(autorisation_A_1_30) OR FIREABLE(autorisation_A_1_31) OR FIREABLE(autorisation_A_1_32) OR FIREABLE(autorisation_A_1_33) OR FIREABLE(autorisation_A_1_34) OR FIREABLE(autorisation_A_1_35) OR FIREABLE(autorisation_A_1_36) OR FIREABLE(autorisation_A_1_37) OR FIREABLE(autorisation_A_1_38) OR FIREABLE(autorisation_A_1_39) OR FIREABLE(autorisation_A_1_40) OR FIREABLE(autorisation_A_1_41) OR FIREABLE(autorisation_A_1_42) OR FIREABLE(autorisation_A_1_43) OR FIREABLE(autorisation_A_1_44) OR FIREABLE(autorisation_A_1_45) OR FIREABLE(autorisation_A_1_46) OR FIREABLE(autorisation_A_1_47) OR FIREABLE(autorisation_A_1_48) OR FIREABLE(autorisation_A_1_49) OR FIREABLE(autorisation_A_1_50) OR FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) OR FIREABLE(enregistrement_A_12) OR FIREABLE(enregistrement_A_13) OR FIREABLE(enregistrement_A_14) OR FIREABLE(enregistrement_A_15) OR FIREABLE(enregistrement_A_16) OR FIREABLE(enregistrement_A_17) OR FIREABLE(enregistrement_A_18) OR FIREABLE(enregistrement_A_19) OR FIREABLE(enregistrement_A_20) OR FIREABLE(enregistrement_A_21) OR FIREABLE(enregistrement_A_22) OR FIREABLE(enregistrement_A_23) OR FIREABLE(enregistrement_A_24) OR FIREABLE(enregistrement_A_25) OR FIREABLE(enregistrement_A_26) OR FIREABLE(enregistrement_A_27) OR FIREABLE(enregistrement_A_28) OR FIREABLE(enregistrement_A_29) OR FIREABLE(enregistrement_A_30) OR FIREABLE(enregistrement_A_31) OR FIREABLE(enregistrement_A_32) OR FIREABLE(enregistrement_A_33) OR FIREABLE(enregistrement_A_34) OR FIREABLE(enregistrement_A_35) OR FIREABLE(enregistrement_A_36) OR FIREABLE(enregistrement_A_37) OR FIREABLE(enregistrement_A_38) OR FIREABLE(enregistrement_A_39) OR FIREABLE(enregistrement_A_40) OR FIREABLE(enregistrement_A_41) OR FIREABLE(enregistrement_A_42) OR FIREABLE(enregistrement_A_43) OR FIREABLE(enregistrement_A_44) OR FIREABLE(enregistrement_A_45) OR FIREABLE(enregistrement_A_46) OR FIREABLE(enregistrement_A_47) OR FIREABLE(enregistrement_A_48) OR FIREABLE(enregistrement_A_49) OR FIREABLE(enregistrement_A_50))))))) : A (F (E (G ((NOT FIREABLE(basculement_1) AND NOT FIREABLE(basculement_2)))))) : E (X (NOT((A (X (FIREABLE(timeout_A_1_0_3_14))) OR A (F (FIREABLE(timeout_A_1_0_0_7))))))) : NOT(A (F (FIREABLE(timeout_B_2_12_1_0)))) : E (F (((E (X (FIREABLE(timeout_A_1_0_5_10))) OR A (X (FIREABLE(timeout_A_1_0_3_48)))) AND A (X ((FIREABLE(autorisation_A_1_6) AND FIREABLE(timeout_B_2_49_6_0))))))) : A (F (FIREABLE(timeout_B_2_41_10_0))) : A (F ((FIREABLE(enregistrement_A_36) AND (E (G (FIREABLE(timeout_B_2_2_0_0))) OR E (G (FIREABLE(timeout_A_1_0_6_9))))))) : ((A (G (FIREABLE(timeout_B_2_42_10_0))) OR E (G ((FIREABLE(timeout_B_2_30_0_0) OR (FIREABLE(timeout_B_2_6_9_0) AND FIREABLE(decision_2_0)))))) OR NOT((A (G (NOT FIREABLE(timeout_A_1_0_9_20))) AND E (G (NOT FIREABLE(timeout_B_2_4_10_0)))))) : A (((NOT FIREABLE(timeout_B_2_20_1_0) OR NOT FIREABLE(autorisation_B_2_41) OR FIREABLE(timeout_B_2_9_2_0)) U (FIREABLE(timeout_B_2_27_2_0) OR FIREABLE(enregistrement_A_31) OR FIREABLE(timeout_A_1_0_9_4)))) : (E (((NOT FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_A_1_0_5_17)) U FIREABLE(enregistrement_A_18))) OR E (X (E (F ((FIREABLE(timeout_B_2_44_1_0) OR FIREABLE(timeout_B_2_26_8_0)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X ((FIREABLE(liberation_A) OR NOT FIREABLE(liberation_B)))) AND A (G (E (X ((FIREABLE(basculement_1) OR FIREABLE(basculement_2))))))) OR A (X (E (G (NOT FIREABLE(liberation_B))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(liberation_A) OR NOT FIREABLE(liberation_B))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((FIREABLE(liberation_A) OR NOT FIREABLE(liberation_B)))
lola: processed formula length: 59
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (NOT FIREABLE(liberation_B)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(liberation_B))))
lola: processed formula length: 41
lola: 26 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 172500 markings, 390911 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((FIREABLE(basculement_1) OR FIREABLE(basculement_2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(EX((FIREABLE(basculement_1) OR FIREABLE(basculement_2))))))
lola: processed formula length: 77
lola: 25 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (X ((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(deci... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((FIREABLE(basculement_1) OR FIREABLE(basculement_2) OR FIREABLE(enregistrement_B_0) OR FIREABLE(enregistrement_B_1) OR FIREABLE(enregistrement_B_2) OR FIREABLE(enregistrement_B_3) OR FIREABLE(enregistrement_B_4) OR FIREABLE(enregistrement_B_5) OR FIREABLE(enregistrement_B_6) OR FIREABLE(enregistrement_B_7) OR FIREABLE(enregistrement_B_8) OR FIREABLE(enregistrement_B_9) OR FIREABLE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((((FIREABLE(basculement_1) OR FIREABLE(basculement_2) OR FIREABLE(enregistrement_B_0) OR FIREABLE(enregistrement_B_1) OR FIREABLE(enregistrement_B_2) OR FIREABLE(enregistrement_B_3) OR FIREABLE(enregistrement_B_4) OR FIREABLE(enregistrement_B_5) OR FIREABLE(enregistrement_B_6) OR FIREABLE(enregistrement_B_7) OR FIREABLE(enregistrement_B_8) OR FIREABLE(enregistrement_B_9) OR FIREABLE... (shortened)
lola: processed formula length: 2387
lola: 27 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 100 markings, 99 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(decisi... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIREABLE(decision_... (shortened)
lola: processed formula length: 3923
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((FIREABLE(timeout_A_1_0_0_1) OR FIREABLE(timeout_A_1_0_1_1) OR FIREABLE(timeout_A_1_0_2_1) OR FIREABLE(timeout_A_1_0_3_1) OR FIREABLE(timeout_A_1_0_4_1) OR FIREABLE(timeout_A_1_0_5_1) OR FIREABLE(timeout_A_1_0_6_1) OR FIREABLE(timeout_A_1_0_7_1) OR FIREABLE(timeout_A_1_0_8_1) OR FIREABLE(timeout_A_1_0_9_1) OR FIREABLE(timeout_A_1_0_10_1) OR FIREABLE(timeout_A_1_0_0_2) OR FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U (FIREABLE(timeout_A_1_0_0_1) OR FIREABLE(timeout_A_1_0_1_1) OR FIREABLE(timeout_A_1_0_2_1) OR FIREABLE(timeout_A_1_0_3_1) OR FIREABLE(timeout_A_1_0_4_1) OR FIREABLE(timeout_A_1_0_5_1) OR FIREABLE(timeout_A_1_0_6_1) OR FIREABLE(timeout_A_1_0_7_1) OR FIREABLE(timeout_A_1_0_8_1) OR FIREABLE(timeout_A_1_0_9_1) OR FIREABLE(timeout_A_1_0_10_1) OR FIREABLE(timeout_A_1_0_0_2) OR FI... (shortened)
lola: processed formula length: 18112
lola: 25 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 532 markings, 533 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (E (G ((FIREABLE(decision_1_0) OR FIREABLE(decision_2_0) OR FIREABLE(decision_1_1) OR FIREABLE(decision_2_1) OR FIREABLE(decision_1_2) OR FIREABLE(decision_2_2) OR FIREABLE(decision_1_3) OR FIREABLE(decision_2_3) OR FIREABLE(decision_1_4) OR FIREABLE(decision_2_4) OR FIREABLE(decision_1_5) OR FIREABLE(decision_2_5) OR FIREABLE(decision_1_6) OR FIREABLE(decision_2_6) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U NOT(EX(NOT(A(TRUE U (NOT FIREABLE(decision_1_0) AND NOT FIREABLE(decision_2_0) AND NOT FIREABLE(decision_1_1) AND NOT FIREABLE(decision_2_1) AND NOT FIREABLE(decision_1_2) AND NOT FIREABLE(decision_2_2) AND NOT FIREABLE(decision_1_3) AND NOT FIREABLE(decision_2_3) AND NOT FIREABLE(decision_1_4) AND NOT FIREABLE(decision_2_4) AND NOT FIREABLE(decision_1_5) AND NOT FIREABLE(decision_2_5... (shortened)
lola: processed formula length: 656
lola: 27 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 5202 markings, 7701 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (X (NOT FIREABLE(timeout_A_1_0_3_14))) AND E (G (NOT FIREABLE(timeout_A_1_0_0_7))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: EX((EX(NOT FIREABLE(timeout_A_1_0_3_14)) AND NOT(A(TRUE U FIREABLE(timeout_A_1_0_0_7)))))
lola: processed formula length: 89
lola: 27 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 421 markings, 420 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((E (X (FIREABLE(timeout_A_1_0_5_10))) OR A (X (FIREABLE(timeout_A_1_0_3_48)))) AND A (X ((FIREABLE(autorisation_A_1_6) AND FIREABLE(timeout_B_2_49_6_0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U ((EX(FIREABLE(timeout_A_1_0_5_10)) OR AX(FIREABLE(timeout_A_1_0_3_48))) AND AX((FIREABLE(autorisation_A_1_6) AND FIREABLE(timeout_B_2_49_6_0)))))
lola: processed formula length: 154
lola: 27 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 422 markings, 421 edges

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_A_1_0_5_17)) U FIREABLE(enregistrement_A_18))) OR E (X (E (F ((FIREABLE(timeout_B_2_44_1_0) OR FIREABLE(timeout_B_2_26_8_0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_A_1_0_5_17)) U FIREABLE(enregistrement_A_18)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((NOT FIREABLE(timeout_B_2_40_0_0) OR FIREABLE(timeout_A_1_0_5_17)) U FIREABLE(enregistrement_A_18)))
lola: processed formula length: 105
lola: 26 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: FIREABLE(enregistrement_A_18)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P20N10-CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 28 markings, 27 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(timeout_B_2_41_10_0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(timeout_B_2_41_10_0)
lola: processed formula length: 33
lola: 25 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 422 markings, 421 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(timeout_B_2_12_1_0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(timeout_B_2_12_1_0)))
lola: processed formula length: 40
lola: 23 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 422 markings, 421 edges

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((NOT FIREABLE(autorisation_A_1_1) AND NOT FIREABLE(autorisation_A_1_2) AND NOT FIREABLE(autorisation_A_1_3) AND NOT FIREABLE(autorisation_A_1_4) AND NOT FIREABLE(autorisation_A_1_5) AND NOT FIREABLE(autorisation_A_1_6) AND NOT FIREABLE(autorisation_A_1_7) AND NOT FIREABLE(autorisation_A_1_8) AND NOT FIREABLE(autorisation_A_1_9) AND NOT FIREABLE(autorisation_A_1_10) AND NOT FIREABLE(aut... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (NOT FIREABLE(autorisation_A_1_1) AND NOT FIREABLE(autorisation_A_1_2) AND NOT FIREABLE(autorisation_A_1_3) AND NOT FIREABLE(autorisation_A_1_4) AND NOT FIREABLE(autorisation_A_1_5) AND NOT FIREABLE(autorisation_A_1_6) AND NOT FIREABLE(autorisation_A_1_7) AND NOT FIREABLE(autorisation_A_1_8) AND NOT FIREABLE(autorisation_A_1_9) AND NOT FIREABLE(autorisation_A_1_10) AND NOT FIREABLE(autorisation_A_... (shortened)
lola: processed formula length: 3816
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 422 markings, 421 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(autorisation_B_2_1) AND NOT FIREABLE(autorisation_B_2_2) AND NOT FIREABLE(autorisation_B_2_3) AND NOT FIREABLE(autorisation_B_2_4) AND NOT FIREABLE(autorisation_B_2_5) AND NOT FIREABLE(autorisation_B_2_6) AND NOT FIREABLE(autorisation_B_2_7) AND NOT FIREABLE(autorisation_B_2_8) AND NOT FIREABLE(autorisation_B_2_9) AND NOT FIREABLE(autorisation_B_2_10) AND NOT FIREABLE(autorisa... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((NOT FIREABLE(autorisation_B_2_1) AND NOT FIREABLE(autorisation_B_2_2) AND NOT FIREABLE(autorisation_B_2_3) AND NOT FIREABLE(autorisation_B_2_4) AND NOT FIREABLE(autorisation_B_2_5) AND NOT FIREABLE(autorisation_B_2_6) AND NOT FIREABLE(autorisation_B_2_7) AND NOT FIREABLE(autorisation_B_2_8) AND NOT FIREABLE(autorisation_B_2_9) AND NOT FIREABLE(autorisation_B_2_10) AND NOT FIREABLE(autorisa... (shortened)
lola: processed formula length: 26053
lola: 23 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 422 markings, 421 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((NOT FIREABLE(basculement_1) AND NOT FIREABLE(basculement_2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U (FIREABLE(basculement_1) OR FIREABLE(basculement_2)))))
lola: processed formula length: 78
lola: 26 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 336044 markings, 1123228 edges, 67209 markings/sec, 0 secs
lola: 534592 markings, 2136290 edges, 39710 markings/sec, 5 secs
lola: 693593 markings, 3153203 edges, 31800 markings/sec, 10 secs
lola: 851089 markings, 4162399 edges, 31499 markings/sec, 15 secs
lola: 987385 markings, 5209554 edges, 27259 markings/sec, 20 secs
lola: 1122449 markings, 6294658 edges, 27013 markings/sec, 25 secs
lola: 1257691 markings, 7381133 edges, 27048 markings/sec, 30 secs
lola: 1391051 markings, 8470420 edges, 26672 markings/sec, 35 secs
lola: 1522312 markings, 9504298 edges, 26252 markings/sec, 40 secs
lola: 1655116 markings, 10567368 edges, 26561 markings/sec, 45 secs
lola: 1788277 markings, 11638254 edges, 26632 markings/sec, 50 secs
lola: 1921762 markings, 12721352 edges, 26697 markings/sec, 55 secs
lola: 2053377 markings, 13789152 edges, 26323 markings/sec, 60 secs
lola: 2182592 markings, 14798419 edges, 25843 markings/sec, 65 secs
lola: 2314204 markings, 15850286 edges, 26322 markings/sec, 70 secs
lola: 2446476 markings, 16919785 edges, 26454 markings/sec, 75 secs
lola: 2578560 markings, 17988637 edges, 26417 markings/sec, 80 secs
lola: 2709943 markings, 19049526 edges, 26277 markings/sec, 85 secs
lola: 2838082 markings, 20064269 edges, 25628 markings/sec, 90 secs
lola: 2966307 markings, 21079325 edges, 25645 markings/sec, 95 secs
lola: 3096320 markings, 22120641 edges, 26003 markings/sec, 100 secs
lola: 3228866 markings, 23189702 edges, 26509 markings/sec, 105 secs
lola: 3359518 markings, 24250384 edges, 26130 markings/sec, 110 secs
lola: 3490094 markings, 25302794 edges, 26115 markings/sec, 115 secs
lola: 3617524 markings, 26325940 edges, 25486 markings/sec, 120 secs
lola: 3742891 markings, 27309323 edges, 25073 markings/sec, 125 secs
lola: 3870826 markings, 28338537 edges, 25587 markings/sec, 130 secs
lola: 4001317 markings, 29377764 edges, 26098 markings/sec, 135 secs
lola: 4129858 markings, 30429124 edges, 25708 markings/sec, 140 secs
lola: 4259326 markings, 31481156 edges, 25894 markings/sec, 145 secs
lola: 4388869 markings, 32534633 edges, 25909 markings/sec, 150 secs
lola: 4515856 markings, 33543755 edges, 25397 markings/sec, 155 secs
lola: 4638723 markings, 34501487 edges, 24573 markings/sec, 160 secs
lola: 4762213 markings, 35496378 edges, 24698 markings/sec, 165 secs
lola: 4889442 markings, 36523471 edges, 25446 markings/sec, 170 secs
lola: 5017615 markings, 37554174 edges, 25635 markings/sec, 175 secs
lola: 5148201 markings, 38614579 edges, 26117 markings/sec, 180 secs
lola: 5274691 markings, 39641557 edges, 25298 markings/sec, 185 secs
lola: 5405019 markings, 40690081 edges, 26066 markings/sec, 190 secs
lola: 5531315 markings, 41719406 edges, 25259 markings/sec, 195 secs
lola: 5653313 markings, 42673431 edges, 24400 markings/sec, 200 secs
lola: 5776509 markings, 43658409 edges, 24639 markings/sec, 205 secs
lola: 5902790 markings, 44679420 edges, 25256 markings/sec, 210 secs
lola: 6029946 markings, 45700506 edges, 25431 markings/sec, 215 secs
lola: 6159174 markings, 46751222 edges, 25846 markings/sec, 220 secs
lola: 6285331 markings, 47773852 edges, 25231 markings/sec, 225 secs
lola: 6412728 markings, 48810397 edges, 25479 markings/sec, 230 secs
lola: 6540137 markings, 49848023 edges, 25482 markings/sec, 235 secs
lola: 6667365 markings, 50886811 edges, 25446 markings/sec, 240 secs
lola: 6790089 markings, 51846817 edges, 24545 markings/sec, 245 secs
lola: 6911351 markings, 52806306 edges, 24252 markings/sec, 250 secs
lola: 7036338 markings, 53818902 edges, 24997 markings/sec, 255 secs
lola: 7161659 markings, 54834013 edges, 25064 markings/sec, 260 secs
lola: 7286848 markings, 55842947 edges, 25038 markings/sec, 265 secs
lola: 7413003 markings, 56873147 edges, 25231 markings/sec, 270 secs
lola: 7538926 markings, 57900500 edges, 25185 markings/sec, 275 secs
lola: 7665804 markings, 58933106 edges, 25376 markings/sec, 280 secs
lola: 7791431 markings, 59953287 edges, 25125 markings/sec, 285 secs
lola: 7917543 markings, 60976150 edges, 25222 markings/sec, 290 secs
lola: 8041386 markings, 61971580 edges, 24769 markings/sec, 295 secs
lola: 8161675 markings, 62925211 edges, 24058 markings/sec, 300 secs
lola: 8284266 markings, 63904013 edges, 24518 markings/sec, 305 secs
lola: 8406386 markings, 64895687 edges, 24424 markings/sec, 310 secs
lola: 8533054 markings, 65922889 edges, 25334 markings/sec, 315 secs
lola: 8657311 markings, 66925491 edges, 24851 markings/sec, 320 secs
lola: 8782561 markings, 67949444 edges, 25050 markings/sec, 325 secs
lola: 8908597 markings, 68974392 edges, 25207 markings/sec, 330 secs
lola: 9034089 markings, 70010787 edges, 25098 markings/sec, 335 secs
lola: 9159762 markings, 71030126 edges, 25135 markings/sec, 340 secs
lola: 9284688 markings, 72048792 edges, 24985 markings/sec, 345 secs
lola: 9411137 markings, 73090031 edges, 25290 markings/sec, 350 secs
lola: 9534150 markings, 74078578 edges, 24603 markings/sec, 355 secs
lola: 9649004 markings, 75012527 edges, 22971 markings/sec, 360 secs
lola: 9769379 markings, 76007897 edges, 24075 markings/sec, 365 secs
lola: 9897509 markings, 77094356 edges, 25626 markings/sec, 370 secs
lola: 10026479 markings, 78103289 edges, 25794 markings/sec, 375 secs
lola: 10151581 markings, 79103791 edges, 25020 markings/sec, 380 secs
lola: 10273579 markings, 80085918 edges, 24400 markings/sec, 385 secs
lola: 10396942 markings, 81073508 edges, 24673 markings/sec, 390 secs
lola: 10517777 markings, 82049208 edges, 24167 markings/sec, 395 secs
lola: 10640204 markings, 83031404 edges, 24485 markings/sec, 400 secs
lola: 10760192 markings, 84003434 edges, 23998 markings/sec, 405 secs
lola: 10888373 markings, 85048724 edges, 25636 markings/sec, 410 secs
lola: 11013816 markings, 86067629 edges, 25089 markings/sec, 415 secs
lola: 11142003 markings, 87113419 edges, 25637 markings/sec, 420 secs
lola: 11265671 markings, 88112058 edges, 24734 markings/sec, 425 secs
lola: 11395358 markings, 89151593 edges, 25937 markings/sec, 430 secs
lola: 11517161 markings, 90167941 edges, 24361 markings/sec, 435 secs
lola: 11643568 markings, 91184183 edges, 25281 markings/sec, 440 secs
lola: 11769449 markings, 92200805 edges, 25176 markings/sec, 445 secs
lola: 11894446 markings, 93196978 edges, 24999 markings/sec, 450 secs
lola: 12023123 markings, 94220978 edges, 25735 markings/sec, 455 secs
lola: 12147449 markings, 95210125 edges, 24865 markings/sec, 460 secs
lola: 12267673 markings, 96194372 edges, 24045 markings/sec, 465 secs
lola: 12390178 markings, 97178547 edges, 24501 markings/sec, 470 secs
lola: 12510843 markings, 98152988 edges, 24133 markings/sec, 475 secs
lola: 12631561 markings, 99135319 edges, 24144 markings/sec, 480 secs
lola: 12754433 markings, 100142089 edges, 24574 markings/sec, 485 secs
lola: 12878863 markings, 101152314 edges, 24886 markings/sec, 490 secs
lola: 13007175 markings, 102193150 edges, 25662 markings/sec, 495 secs
lola: 13130104 markings, 103196350 edges, 24586 markings/sec, 500 secs
lola: 13256136 markings, 104230261 edges, 25206 markings/sec, 505 secs
lola: 13385001 markings, 105265682 edges, 25773 markings/sec, 510 secs
lola: 13509931 markings, 106302620 edges, 24986 markings/sec, 515 secs
lola: 13632190 markings, 107306929 edges, 24452 markings/sec, 520 secs
lola: 13756539 markings, 108312365 edges, 24870 markings/sec, 525 secs
lola: 13880996 markings, 109302538 edges, 24891 markings/sec, 530 secs
lola: 14005200 markings, 110296003 edges, 24841 markings/sec, 535 secs
lola: 14130277 markings, 111298087 edges, 25015 markings/sec, 540 secs
lola: 14250068 markings, 112268325 edges, 23958 markings/sec, 545 secs
lola: 14373491 markings, 113267343 edges, 24685 markings/sec, 550 secs
lola: 14492343 markings, 114240912 edges, 23770 markings/sec, 555 secs
lola: 14614472 markings, 115231245 edges, 24426 markings/sec, 560 secs
lola: 14737020 markings, 116217862 edges, 24510 markings/sec, 565 secs
lola: 14860039 markings, 117227667 edges, 24604 markings/sec, 570 secs
lola: 14982685 markings, 118228673 edges, 24529 markings/sec, 575 secs
lola: 15110784 markings, 119257961 edges, 25620 markings/sec, 580 secs
lola: 15236759 markings, 120305160 edges, 25195 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no unknown unknown unknown yes
lola: memory consumption: 1292208 KB
lola: time consumption: 598 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11) OR ... (shortened)
lola: processed formula length: 22104
lola: 26 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 321366 markings, 925948 edges, 64273 markings/sec, 0 secs
lola: 639744 markings, 1848081 edges, 63676 markings/sec, 5 secs
lola: 941688 markings, 2766904 edges, 60389 markings/sec, 10 secs
lola: 1165960 markings, 3683530 edges, 44854 markings/sec, 15 secs
lola: 1392524 markings, 4652601 edges, 45313 markings/sec, 20 secs
lola: 1615401 markings, 5581780 edges, 44575 markings/sec, 25 secs
lola: 1836612 markings, 6506550 edges, 44242 markings/sec, 30 secs
lola: 2055303 markings, 7449270 edges, 43738 markings/sec, 35 secs
lola: 2279915 markings, 8405482 edges, 44922 markings/sec, 40 secs
lola: 2492822 markings, 9295189 edges, 42581 markings/sec, 45 secs
lola: 2713374 markings, 10240936 edges, 44110 markings/sec, 50 secs
lola: 2935595 markings, 11203151 edges, 44444 markings/sec, 55 secs
lola: 3147373 markings, 12098504 edges, 42356 markings/sec, 60 secs
lola: 3356535 markings, 12987859 edges, 41832 markings/sec, 65 secs
lola: 3572825 markings, 13921192 edges, 43258 markings/sec, 70 secs
lola: 3790618 markings, 14866242 edges, 43559 markings/sec, 75 secs
lola: 4007335 markings, 15795930 edges, 43343 markings/sec, 80 secs
lola: 4204310 markings, 16631884 edges, 39395 markings/sec, 85 secs
lola: 4415400 markings, 17538915 edges, 42218 markings/sec, 90 secs
lola: 4628244 markings, 18466982 edges, 42569 markings/sec, 95 secs
lola: 4843771 markings, 19408954 edges, 43105 markings/sec, 100 secs
lola: 5053856 markings, 20307598 edges, 42017 markings/sec, 105 secs
lola: 5249135 markings, 21140625 edges, 39056 markings/sec, 110 secs
lola: 5457509 markings, 22038199 edges, 41675 markings/sec, 115 secs
lola: 5669919 markings, 22969350 edges, 42482 markings/sec, 120 secs
lola: 5882774 markings, 23896130 edges, 42571 markings/sec, 125 secs
lola: 6097059 markings, 24841327 edges, 42857 markings/sec, 130 secs
lola: 6294627 markings, 25678428 edges, 39514 markings/sec, 135 secs
lola: 6496343 markings, 26548261 edges, 40343 markings/sec, 140 secs
lola: 6704474 markings, 27450952 edges, 41626 markings/sec, 145 secs
lola: 6913914 markings, 28369119 edges, 41888 markings/sec, 150 secs
lola: 7127733 markings, 29308854 edges, 42764 markings/sec, 155 secs
lola: 7340429 markings, 30243710 edges, 42539 markings/sec, 160 secs
lola: 7544616 markings, 31114932 edges, 40837 markings/sec, 165 secs
lola: 7737070 markings, 31946560 edges, 38491 markings/sec, 170 secs
lola: 7942519 markings, 32841777 edges, 41090 markings/sec, 175 secs
lola: 8149328 markings, 33743674 edges, 41362 markings/sec, 180 secs
lola: 8357742 markings, 34653516 edges, 41683 markings/sec, 185 secs
lola: 8566527 markings, 35582909 edges, 41757 markings/sec, 190 secs
lola: 8781225 markings, 36527776 edges, 42940 markings/sec, 195 secs
lola: 8987311 markings, 37417263 edges, 41217 markings/sec, 200 secs
lola: 9157579 markings, 38196894 edges, 34054 markings/sec, 205 secs
lola: 9364292 markings, 39174080 edges, 41343 markings/sec, 210 secs
lola: 9584928 markings, 40084646 edges, 44127 markings/sec, 215 secs
lola: 9779062 markings, 40933321 edges, 38827 markings/sec, 220 secs
lola: 9973712 markings, 41784240 edges, 38930 markings/sec, 225 secs
lola: 10166952 markings, 42631380 edges, 38648 markings/sec, 230 secs
lola: 10370596 markings, 43517597 edges, 40729 markings/sec, 235 secs
lola: 10585539 markings, 44463997 edges, 42989 markings/sec, 240 secs
lola: 10794937 markings, 45377024 edges, 41880 markings/sec, 245 secs
lola: 11010532 markings, 46316594 edges, 43119 markings/sec, 250 secs
lola: 11224603 markings, 47247801 edges, 42814 markings/sec, 255 secs
lola: 11445134 markings, 48173699 edges, 44106 markings/sec, 260 secs
lola: 11639604 markings, 49029470 edges, 38894 markings/sec, 265 secs
lola: 11837511 markings, 49896460 edges, 39581 markings/sec, 270 secs
lola: 12030698 markings, 50753388 edges, 38637 markings/sec, 275 secs
lola: 12225905 markings, 51617977 edges, 39041 markings/sec, 280 secs
lola: 12438780 markings, 52551814 edges, 42575 markings/sec, 285 secs
lola: 12651430 markings, 53490319 edges, 42530 markings/sec, 290 secs
lola: 12862630 markings, 54422486 edges, 42240 markings/sec, 295 secs
lola: 13069343 markings, 55333227 edges, 41343 markings/sec, 300 secs
lola: 13275641 markings, 56228858 edges, 41260 markings/sec, 305 secs
lola: 13489500 markings, 57133438 edges, 42772 markings/sec, 310 secs
lola: 13686343 markings, 58004294 edges, 39369 markings/sec, 315 secs
lola: 13873628 markings, 58840614 edges, 37457 markings/sec, 320 secs
lola: 14067163 markings, 59692507 edges, 38707 markings/sec, 325 secs
lola: 14257516 markings, 60551340 edges, 38071 markings/sec, 330 secs
lola: 14464694 markings, 61463088 edges, 41436 markings/sec, 335 secs
lola: 14674184 markings, 62394218 edges, 41898 markings/sec, 340 secs
lola: 14883535 markings, 63323750 edges, 41870 markings/sec, 345 secs
lola: 15090098 markings, 64239242 edges, 41313 markings/sec, 350 secs
lola: 15299103 markings, 65162106 edges, 41801 markings/sec, 355 secs
lola: 15506339 markings, 66072387 edges, 41447 markings/sec, 360 secs
lola: 15720162 markings, 66990588 edges, 42765 markings/sec, 365 secs
lola: 15914493 markings, 67851515 edges, 38866 markings/sec, 370 secs
lola: 16101595 markings, 68691069 edges, 37420 markings/sec, 375 secs
lola: 16291155 markings, 69539268 edges, 37912 markings/sec, 380 secs
lola: 16481959 markings, 70392148 edges, 38161 markings/sec, 385 secs
lola: 16679057 markings, 71276072 edges, 39420 markings/sec, 390 secs
lola: 16885432 markings, 72198126 edges, 41275 markings/sec, 395 secs
lola: 17090907 markings, 73114885 edges, 41095 markings/sec, 400 secs
lola: 17297162 markings, 74033821 edges, 41251 markings/sec, 405 secs
lola: 17500997 markings, 74952503 edges, 40767 markings/sec, 410 secs
lola: 17713282 markings, 75897790 edges, 42457 markings/sec, 415 secs
lola: 17915433 markings, 76777221 edges, 40430 markings/sec, 420 secs
lola: 18131972 markings, 77712935 edges, 43308 markings/sec, 425 secs
lola: 18321483 markings, 78562912 edges, 37902 markings/sec, 430 secs
lola: 18508876 markings, 79406580 edges, 37479 markings/sec, 435 secs
lola: 18697605 markings, 80254464 edges, 37746 markings/sec, 440 secs
lola: 18881987 markings, 81084507 edges, 36876 markings/sec, 445 secs
lola: 19074221 markings, 81957854 edges, 38447 markings/sec, 450 secs
lola: 19279311 markings, 82878659 edges, 41018 markings/sec, 455 secs
lola: 19486270 markings, 83806860 edges, 41392 markings/sec, 460 secs
lola: 19687537 markings, 84710531 edges, 40253 markings/sec, 465 secs
lola: 19891801 markings, 85616842 edges, 40853 markings/sec, 470 secs
lola: 20099274 markings, 86560590 edges, 41495 markings/sec, 475 secs
lola: 20301503 markings, 87459722 edges, 40446 markings/sec, 480 secs
lola: 20504056 markings, 88347041 edges, 40511 markings/sec, 485 secs
lola: 20718063 markings, 89282730 edges, 42801 markings/sec, 490 secs
lola: 20902380 markings, 90117250 edges, 36863 markings/sec, 495 secs
lola: 21089577 markings, 90962023 edges, 37439 markings/sec, 500 secs
lola: 21276087 markings, 91802547 edges, 37302 markings/sec, 505 secs
lola: 21457923 markings, 92635510 edges, 36367 markings/sec, 510 secs
lola: 21648689 markings, 93496075 edges, 38153 markings/sec, 515 secs
lola: 21848610 markings, 94397787 edges, 39984 markings/sec, 520 secs
lola: 22050172 markings, 95299866 edges, 40312 markings/sec, 525 secs
lola: 22256581 markings, 96243116 edges, 41282 markings/sec, 530 secs
lola: 22455548 markings, 97136818 edges, 39793 markings/sec, 535 secs
lola: 22661887 markings, 98074079 edges, 41268 markings/sec, 540 secs
lola: 22862159 markings, 98971837 edges, 40054 markings/sec, 545 secs
lola: 23065975 markings, 99883429 edges, 40763 markings/sec, 550 secs
lola: 23269519 markings, 100776584 edges, 40709 markings/sec, 555 secs
lola: 23473814 markings, 101683798 edges, 40859 markings/sec, 560 secs
lola: 23658670 markings, 102523020 edges, 36971 markings/sec, 565 secs
lola: 23848318 markings, 103382021 edges, 37930 markings/sec, 570 secs
lola: 24036185 markings, 104231295 edges, 37573 markings/sec, 575 secs
lola: 24219485 markings, 105073473 edges, 36660 markings/sec, 580 secs
lola: 24405563 markings, 105916872 edges, 37216 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no unknown unknown unknown yes
lola: memory consumption: 2056664 KB
lola: time consumption: 1192 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((FIREABLE(enregistrement_A_0) OR FIREABLE(enregistrement_A_1) OR FIREABLE(enregistrement_A_2) OR FIREABLE(enregistrement_A_3) OR FIREABLE(enregistrement_A_4) OR FIREABLE(enregistrement_A_5) OR FIREABLE(enregistrement_A_6) OR FIREABLE(enregistrement_A_7) OR FIREABLE(enregistrement_A_8) OR FIREABLE(enregistrement_A_9) OR FIREABLE(enregistrement_A_10) OR FIREABLE(enregistrement_A_11... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U ((NOT FIREABLE(enregistrement_A_0) AND NOT FIREABLE(enregistrement_A_1) AND NOT FIREABLE(enregistrement_A_2) AND NOT FIREABLE(enregistrement_A_3) AND NOT FIREABLE(enregistrement_A_4) AND NOT FIREABLE(enregistrement_A_5) AND NOT FIREABLE(enregistrement_A_6) AND NOT FIREABLE(enregistrement_A_7) AND NOT FIREABLE(enregistrement_A_8) AND NOT FIREABLE(enregistrement_A_9) AND NOT FIREABLE(en... (shortened)
lola: processed formula length: 31855
lola: 29 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 239367 markings, 653862 edges, 47873 markings/sec, 0 secs
lola: 479533 markings, 1324470 edges, 48033 markings/sec, 5 secs
lola: 684962 markings, 2035657 edges, 41086 markings/sec, 10 secs
lola: 896675 markings, 2789571 edges, 42343 markings/sec, 15 secs
lola: 1100063 markings, 3496758 edges, 40678 markings/sec, 20 secs
lola: 1302313 markings, 4207555 edges, 40450 markings/sec, 25 secs
lola: 1513437 markings, 4958809 edges, 42225 markings/sec, 30 secs
lola: 1717385 markings, 5669794 edges, 40790 markings/sec, 35 secs
lola: 1914160 markings, 6356568 edges, 39355 markings/sec, 40 secs
lola: 2121729 markings, 7095518 edges, 41514 markings/sec, 45 secs
lola: 2329903 markings, 7838392 edges, 41635 markings/sec, 50 secs
lola: 2522157 markings, 8498033 edges, 38451 markings/sec, 55 secs
lola: 2719469 markings, 9191901 edges, 39462 markings/sec, 60 secs
lola: 2922818 markings, 9916852 edges, 40670 markings/sec, 65 secs
lola: 3124886 markings, 10636192 edges, 40414 markings/sec, 70 secs
lola: 3313952 markings, 11286972 edges, 37813 markings/sec, 75 secs
lola: 3507593 markings, 11967744 edges, 38728 markings/sec, 80 secs
lola: 3708199 markings, 12681294 edges, 40121 markings/sec, 85 secs
lola: 3910930 markings, 13405836 edges, 40546 markings/sec, 90 secs
lola: 4111518 markings, 14115430 edges, 40118 markings/sec, 95 secs
lola: 4288405 markings, 14724969 edges, 35377 markings/sec, 100 secs
lola: 4475968 markings, 15385543 edges, 37513 markings/sec, 105 secs
lola: 4674178 markings, 16092659 edges, 39642 markings/sec, 110 secs
lola: 4874163 markings, 16807675 edges, 39997 markings/sec, 115 secs
lola: 5072995 markings, 17517224 edges, 39766 markings/sec, 120 secs
lola: 5257362 markings, 18154577 edges, 36873 markings/sec, 125 secs
lola: 5444376 markings, 18811531 edges, 37403 markings/sec, 130 secs
lola: 5634479 markings, 19486456 edges, 38021 markings/sec, 135 secs
lola: 5828079 markings, 20178023 edges, 38720 markings/sec, 140 secs
lola: 6025206 markings, 20885631 edges, 39425 markings/sec, 145 secs
lola: 6224507 markings, 21598469 edges, 39860 markings/sec, 150 secs
lola: 6414636 markings, 22258201 edges, 38026 markings/sec, 155 secs
lola: 6595513 markings, 22893841 edges, 36175 markings/sec, 160 secs
lola: 6789638 markings, 23584102 edges, 38825 markings/sec, 165 secs
lola: 6986496 markings, 24287605 edges, 39372 markings/sec, 170 secs
lola: 7183521 markings, 24991337 edges, 39405 markings/sec, 175 secs
lola: 7381044 markings, 25704313 edges, 39505 markings/sec, 180 secs
lola: 7583303 markings, 26431927 edges, 40452 markings/sec, 185 secs
lola: 7767055 markings, 27064810 edges, 36750 markings/sec, 190 secs
lola: 7950641 markings, 27711797 edges, 36717 markings/sec, 195 secs
lola: 8143800 markings, 28399219 edges, 38632 markings/sec, 200 secs
lola: 8335728 markings, 29088115 edges, 38386 markings/sec, 205 secs
lola: 8534887 markings, 29804587 edges, 39832 markings/sec, 210 secs
lola: 8738692 markings, 30538798 edges, 40761 markings/sec, 215 secs
lola: 8937358 markings, 31252709 edges, 39733 markings/sec, 220 secs
lola: 9135043 markings, 31954627 edges, 39537 markings/sec, 225 secs
lola: 9308506 markings, 32572611 edges, 34693 markings/sec, 230 secs
lola: 9506031 markings, 33301920 edges, 39505 markings/sec, 235 secs
lola: 9714170 markings, 34028840 edges, 41628 markings/sec, 240 secs
lola: 9909126 markings, 34713208 edges, 38991 markings/sec, 245 secs
lola: 10097398 markings, 35377020 edges, 37654 markings/sec, 250 secs
lola: 10284319 markings, 36044522 edges, 37384 markings/sec, 255 secs
lola: 10474102 markings, 36718115 edges, 37957 markings/sec, 260 secs
lola: 10678694 markings, 37451526 edges, 40918 markings/sec, 265 secs
lola: 10879342 markings, 38172180 edges, 40130 markings/sec, 270 secs
lola: 11080191 markings, 38887339 edges, 40170 markings/sec, 275 secs
lola: 11282796 markings, 39612325 edges, 40521 markings/sec, 280 secs
lola: 11485896 markings, 40328187 edges, 40620 markings/sec, 285 secs
lola: 11689937 markings, 41042066 edges, 40808 markings/sec, 290 secs
lola: 11877843 markings, 41706964 edges, 37581 markings/sec, 295 secs
lola: 12060566 markings, 42359569 edges, 36545 markings/sec, 300 secs
lola: 12246162 markings, 43021379 edges, 37119 markings/sec, 305 secs
lola: 12438053 markings, 43706875 edges, 38378 markings/sec, 310 secs
lola: 12636472 markings, 44418425 edges, 39684 markings/sec, 315 secs
lola: 12837515 markings, 45141863 edges, 40209 markings/sec, 320 secs
lola: 13038211 markings, 45863330 edges, 40139 markings/sec, 325 secs
lola: 13237979 markings, 46580944 edges, 39954 markings/sec, 330 secs
lola: 13437881 markings, 47299130 edges, 39980 markings/sec, 335 secs
lola: 13640123 markings, 48000590 edges, 40448 markings/sec, 340 secs
lola: 13832807 markings, 48681381 edges, 38537 markings/sec, 345 secs
lola: 14020465 markings, 49349804 edges, 37532 markings/sec, 350 secs
lola: 14205503 markings, 50012315 edges, 37008 markings/sec, 355 secs
lola: 14391183 markings, 50676014 edges, 37136 markings/sec, 360 secs
lola: 14582334 markings, 51365767 edges, 38230 markings/sec, 365 secs
lola: 14782375 markings, 52087396 edges, 40008 markings/sec, 370 secs
lola: 14981671 markings, 52805750 edges, 39859 markings/sec, 375 secs
lola: 15180370 markings, 53521305 edges, 39740 markings/sec, 380 secs
lola: 15379067 markings, 54239446 edges, 39739 markings/sec, 385 secs
lola: 15579330 markings, 54966657 edges, 40053 markings/sec, 390 secs
lola: 15777583 markings, 55657574 edges, 39651 markings/sec, 395 secs
lola: 15977994 markings, 56366007 edges, 40082 markings/sec, 400 secs
lola: 16163806 markings, 57028875 edges, 37162 markings/sec, 405 secs
lola: 16348165 markings, 57685679 edges, 36872 markings/sec, 410 secs
lola: 16529152 markings, 58338820 edges, 36197 markings/sec, 415 secs
lola: 16713490 markings, 59004165 edges, 36868 markings/sec, 420 secs
lola: 16906861 markings, 59702909 edges, 38674 markings/sec, 425 secs
lola: 17105827 markings, 60421891 edges, 39793 markings/sec, 430 secs
lola: 17304215 markings, 61138130 edges, 39678 markings/sec, 435 secs
lola: 17498740 markings, 61841052 edges, 38905 markings/sec, 440 secs
lola: 17694710 markings, 62552280 edges, 39194 markings/sec, 445 secs
lola: 17896987 markings, 63284870 edges, 40455 markings/sec, 450 secs
lola: 18091399 markings, 63970801 edges, 38882 markings/sec, 455 secs
lola: 18293534 markings, 64685270 edges, 40427 markings/sec, 460 secs
lola: 18479436 markings, 65349581 edges, 37180 markings/sec, 465 secs
lola: 18662092 markings, 66005251 edges, 36531 markings/sec, 470 secs
lola: 18841619 markings, 66648582 edges, 35905 markings/sec, 475 secs
lola: 19026769 markings, 67318663 edges, 37030 markings/sec, 480 secs
lola: 19207859 markings, 67972805 edges, 36218 markings/sec, 485 secs
lola: 19402449 markings, 68677553 edges, 38918 markings/sec, 490 secs
lola: 19596798 markings, 69380618 edges, 38870 markings/sec, 495 secs
lola: 19798159 markings, 70114861 edges, 40272 markings/sec, 500 secs
lola: 19990829 markings, 70813079 edges, 38534 markings/sec, 505 secs
lola: 20187120 markings, 71529411 edges, 39258 markings/sec, 510 secs
lola: 20383045 markings, 72238411 edges, 39185 markings/sec, 515 secs
lola: 20579651 markings, 72938699 edges, 39321 markings/sec, 520 secs
lola: 20776689 markings, 73636559 edges, 39408 markings/sec, 525 secs
lola: 20972185 markings, 74334294 edges, 39099 markings/sec, 530 secs
lola: 21153818 markings, 74982925 edges, 36327 markings/sec, 535 secs
lola: 21332511 markings, 75629948 edges, 35739 markings/sec, 540 secs
lola: 21514729 markings, 76289476 edges, 36444 markings/sec, 545 secs
lola: 21696545 markings, 76947176 edges, 36363 markings/sec, 550 secs
lola: 21880265 markings, 77615276 edges, 36744 markings/sec, 555 secs
lola: 22078893 markings, 78335928 edges, 39726 markings/sec, 560 secs
lola: 22267644 markings, 79022130 edges, 37750 markings/sec, 565 secs
lola: 22463406 markings, 79737578 edges, 39152 markings/sec, 570 secs
lola: 22656971 markings, 80439547 edges, 38713 markings/sec, 575 secs
lola: 22855041 markings, 81164534 edges, 39614 markings/sec, 580 secs
lola: 23045325 markings, 81854793 edges, 38057 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no unknown unknown unknown yes
lola: memory consumption: 1945964 KB
lola: time consumption: 1786 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(enregistrement_A_36) AND (E (G (FIREABLE(timeout_B_2_2_0_0))) OR E (G (FIREABLE(timeout_A_1_0_6_9)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (FIREABLE(enregistrement_A_36) AND (NOT(A(TRUE U NOT FIREABLE(timeout_B_2_2_0_0))) OR NOT(A(TRUE U NOT FIREABLE(timeout_A_1_0_6_9))))))
lola: processed formula length: 144
lola: 28 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 422 markings, 423 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(timeout_B_2_20_1_0) OR NOT FIREABLE(autorisation_B_2_41) OR FIREABLE(timeout_B_2_9_2_0)) U (FIREABLE(timeout_B_2_27_2_0) OR FIREABLE(enregistrement_A_31) OR FIREABLE(timeout_A_1_0_9_4))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((NOT FIREABLE(timeout_B_2_20_1_0) OR NOT FIREABLE(autorisation_B_2_41) OR FIREABLE(timeout_B_2_9_2_0)) U (FIREABLE(timeout_B_2_27_2_0) OR FIREABLE(enregistrement_A_31) OR FIREABLE(timeout_A_1_0_9_4))))
lola: processed formula length: 209
lola: 27 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 421 markings, 420 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(timeout_B_2_42_10_0))) OR (E (G ((FIREABLE(timeout_B_2_30_0_0) OR (FIREABLE(timeout_B_2_6_9_0) AND FIREABLE(decision_2_0))))) OR (E (F (FIREABLE(timeout_A_1_0_9_20))) OR A (F (FIREABLE(timeout_B_2_4_10_0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(timeout_B_2_30_0_0) OR (FIREABLE(timeout_B_2_6_9_0) AND FIREABLE(decision_2_0)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(timeout_B_2_30_0_0) OR (FIREABLE(timeout_B_2_6_9_0) AND FIREABLE(decision_2_0)))))
lola: processed formula length: 99
lola: 23 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(timeout_B_2_4_10_0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(timeout_B_2_4_10_0)
lola: processed formula length: 32
lola: 25 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 422 markings, 421 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(timeout_A_1_0_9_20)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(timeout_A_1_0_9_20)))
lola: processed formula length: 36
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(timeout_A_1_0_9_20)
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P20N10-CTLFireability-18-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P20N10-CTLFireability-18-0.sara.
sara: place or transition ordering is non-deterministic
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no no unknown no yes
lola: memory consumption: 20356 KB
lola: time consumption: 1788 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((NOT FIREABLE(basculement_1) AND NOT FIREABLE(basculement_2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U (FIREABLE(basculement_1) OR FIREABLE(basculement_2)))))
lola: processed formula length: 78
lola: 26 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 341913 markings, 1137884 edges, 68383 markings/sec, 0 secs
lola: 537220 markings, 2153212 edges, 39061 markings/sec, 5 secs
lola: 695320 markings, 3169413 edges, 31620 markings/sec, 10 secs
lola: 852596 markings, 4178730 edges, 31455 markings/sec, 15 secs
lola: 987056 markings, 5206722 edges, 26892 markings/sec, 20 secs
lola: 1121890 markings, 6290182 edges, 26967 markings/sec, 25 secs
lola: 1257299 markings, 7375256 edges, 27082 markings/sec, 30 secs
lola: 1390587 markings, 8463846 edges, 26658 markings/sec, 35 secs
lola: 1519833 markings, 9484014 edges, 25849 markings/sec, 40 secs
lola: 1651118 markings, 10529356 edges, 26257 markings/sec, 45 secs
lola: 1784311 markings, 11607743 edges, 26639 markings/sec, 50 secs
lola: 1918630 markings, 12692710 edges, 26864 markings/sec, 55 secs
lola: 2050131 markings, 13760329 edges, 26300 markings/sec, 60 secs
lola: 2177635 markings, 14755156 edges, 25501 markings/sec, 65 secs
lola: 2307274 markings, 15795642 edges, 25928 markings/sec, 70 secs
lola: 2437868 markings, 16848601 edges, 26119 markings/sec, 75 secs
lola: 2570060 markings, 17911739 edges, 26438 markings/sec, 80 secs
lola: 2699486 markings, 18964673 edges, 25885 markings/sec, 85 secs
lola: 2827105 markings, 19978788 edges, 25524 markings/sec, 90 secs
lola: 2953950 markings, 20976963 edges, 25369 markings/sec, 95 secs
lola: 3081645 markings, 21999551 edges, 25539 markings/sec, 100 secs
lola: 3209941 markings, 23041475 edges, 25659 markings/sec, 105 secs
lola: 3342328 markings, 24104876 edges, 26477 markings/sec, 110 secs
lola: 3470517 markings, 25153070 edges, 25638 markings/sec, 115 secs
lola: 3600691 markings, 26195442 edges, 26035 markings/sec, 120 secs
lola: 3726347 markings, 27176062 edges, 25131 markings/sec, 125 secs
lola: 3854602 markings, 28205998 edges, 25651 markings/sec, 130 secs
lola: 3982902 markings, 29239414 edges, 25660 markings/sec, 135 secs
lola: 4113348 markings, 30293710 edges, 26089 markings/sec, 140 secs
lola: 4244183 markings, 31348683 edges, 26167 markings/sec, 145 secs
lola: 4372212 markings, 32394105 edges, 25606 markings/sec, 150 secs
lola: 4501598 markings, 33437641 edges, 25877 markings/sec, 155 secs
lola: 4622644 markings, 34381026 edges, 24209 markings/sec, 160 secs
lola: 4749233 markings, 35390905 edges, 25318 markings/sec, 165 secs
lola: 4875060 markings, 36399377 edges, 25165 markings/sec, 170 secs
lola: 5001380 markings, 37425318 edges, 25264 markings/sec, 175 secs
lola: 5129488 markings, 38463231 edges, 25622 markings/sec, 180 secs
lola: 5258474 markings, 39513702 edges, 25797 markings/sec, 185 secs
lola: 5385243 markings, 40541205 edges, 25354 markings/sec, 190 secs
lola: 5512039 markings, 41571797 edges, 25359 markings/sec, 195 secs
lola: 5635044 markings, 42530790 edges, 24601 markings/sec, 200 secs
lola: 5754433 markings, 43478237 edges, 23878 markings/sec, 205 secs
lola: 5877618 markings, 44473266 edges, 24637 markings/sec, 210 secs
lola: 6005517 markings, 45503060 edges, 25580 markings/sec, 215 secs
lola: 6130552 markings, 46510271 edges, 25007 markings/sec, 220 secs
lola: 6256873 markings, 47539972 edges, 25264 markings/sec, 225 secs
lola: 6382934 markings, 48569129 edges, 25212 markings/sec, 230 secs
lola: 6504735 markings, 49558947 edges, 24360 markings/sec, 235 secs
lola: 6631250 markings, 50587098 edges, 25303 markings/sec, 240 secs
lola: 6752943 markings, 51553643 edges, 24339 markings/sec, 245 secs
lola: 6871369 markings, 52490574 edges, 23685 markings/sec, 250 secs
lola: 6988675 markings, 53428804 edges, 23461 markings/sec, 255 secs
lola: 7110086 markings, 54412357 edges, 24282 markings/sec, 260 secs
lola: 7235195 markings, 55422615 edges, 25022 markings/sec, 265 secs
lola: 7359292 markings, 56432819 edges, 24819 markings/sec, 270 secs
lola: 7483044 markings, 57443141 edges, 24750 markings/sec, 275 secs
lola: 7609591 markings, 58473805 edges, 25309 markings/sec, 280 secs
lola: 7735440 markings, 59501919 edges, 25170 markings/sec, 285 secs
lola: 7861160 markings, 60521384 edges, 25144 markings/sec, 290 secs
lola: 7984491 markings, 61529081 edges, 24666 markings/sec, 295 secs
lola: 8104662 markings, 62471329 edges, 24034 markings/sec, 300 secs
lola: 8222250 markings, 63409387 edges, 23518 markings/sec, 305 secs
lola: 8346523 markings, 64406960 edges, 24855 markings/sec, 310 secs
lola: 8469142 markings, 65403836 edges, 24524 markings/sec, 315 secs
lola: 8593045 markings, 66411326 edges, 24781 markings/sec, 320 secs
lola: 8716216 markings, 67408042 edges, 24634 markings/sec, 325 secs
lola: 8842973 markings, 68435840 edges, 25351 markings/sec, 330 secs
lola: 8967983 markings, 69467517 edges, 25002 markings/sec, 335 secs
lola: 9094689 markings, 70501672 edges, 25341 markings/sec, 340 secs
lola: 9219442 markings, 71509763 edges, 24951 markings/sec, 345 secs
lola: 9344927 markings, 72553611 edges, 25097 markings/sec, 350 secs
lola: 9467824 markings, 73548383 edges, 24579 markings/sec, 355 secs
lola: 9586922 markings, 74507095 edges, 23820 markings/sec, 360 secs
lola: 9703214 markings, 75444073 edges, 23258 markings/sec, 365 secs
lola: 9828136 markings, 76504804 edges, 24984 markings/sec, 370 secs
lola: 9956634 markings, 77555042 edges, 25700 markings/sec, 375 secs
lola: 10083000 markings, 78550819 edges, 25273 markings/sec, 380 secs
lola: 10207449 markings, 79553006 edges, 24890 markings/sec, 385 secs
lola: 10330677 markings, 80542781 edges, 24646 markings/sec, 390 secs
lola: 10453484 markings, 81525615 edges, 24561 markings/sec, 395 secs
lola: 10574032 markings, 82508430 edges, 24110 markings/sec, 400 secs
lola: 10700368 markings, 83499065 edges, 25267 markings/sec, 405 secs
lola: 10820444 markings, 84500150 edges, 24015 markings/sec, 410 secs
lola: 10950228 markings, 85532083 edges, 25957 markings/sec, 415 secs
lola: 11075091 markings, 86544771 edges, 24973 markings/sec, 420 secs
lola: 11202611 markings, 87576948 edges, 25504 markings/sec, 425 secs
lola: 11325338 markings, 88606507 edges, 24545 markings/sec, 430 secs
lola: 11450953 markings, 89618469 edges, 25123 markings/sec, 435 secs
lola: 11579255 markings, 90635772 edges, 25660 markings/sec, 440 secs
lola: 11704041 markings, 91673617 edges, 24957 markings/sec, 445 secs
lola: 11827005 markings, 92657150 edges, 24593 markings/sec, 450 secs
lola: 11951236 markings, 93649632 edges, 24846 markings/sec, 455 secs
lola: 12076835 markings, 94639227 edges, 25120 markings/sec, 460 secs
lola: 12194364 markings, 95602598 edges, 23506 markings/sec, 465 secs
lola: 12314910 markings, 96573574 edges, 24109 markings/sec, 470 secs
lola: 12434259 markings, 97542665 edges, 23870 markings/sec, 475 secs
lola: 12554915 markings, 98515435 edges, 24131 markings/sec, 480 secs
lola: 12672878 markings, 99480255 edges, 23593 markings/sec, 485 secs
lola: 12793005 markings, 100454157 edges, 24025 markings/sec, 490 secs
lola: 12920118 markings, 101485799 edges, 25423 markings/sec, 495 secs
lola: 13042326 markings, 102479080 edges, 24442 markings/sec, 500 secs
lola: 13166411 markings, 103486887 edges, 24817 markings/sec, 505 secs
lola: 13291436 markings, 104509378 edges, 25005 markings/sec, 510 secs
lola: 13412021 markings, 105509155 edges, 24117 markings/sec, 515 secs
lola: 13534328 markings, 106496059 edges, 24461 markings/sec, 520 secs
lola: 13656766 markings, 107500882 edges, 24488 markings/sec, 525 secs
lola: 13779151 markings, 108502478 edges, 24477 markings/sec, 530 secs
lola: 13900094 markings, 109458030 edges, 24189 markings/sec, 535 secs
lola: 14023304 markings, 110440188 edges, 24642 markings/sec, 540 secs
lola: 14144417 markings, 111412970 edges, 24223 markings/sec, 545 secs
lola: 14264693 markings, 112391932 edges, 24055 markings/sec, 550 secs
lola: 14386300 markings, 113377689 edges, 24321 markings/sec, 555 secs
lola: 14506636 markings, 114350749 edges, 24067 markings/sec, 560 secs
lola: 14629426 markings, 115338596 edges, 24558 markings/sec, 565 secs
lola: 14749802 markings, 116327587 edges, 24075 markings/sec, 570 secs
lola: 14870905 markings, 117323879 edges, 24221 markings/sec, 575 secs
lola: 14995525 markings, 118336932 edges, 24924 markings/sec, 580 secs
lola: 15120350 markings, 119340020 edges, 24965 markings/sec, 585 secs
lola: 15243639 markings, 120366157 edges, 24658 markings/sec, 590 secs
lola: 15364275 markings, 121357344 edges, 24127 markings/sec, 595 secs
lola: 15490233 markings, 122368490 edges, 25192 markings/sec, 600 secs
lola: 15611746 markings, 123381050 edges, 24303 markings/sec, 605 secs
lola: 15735158 markings, 124393085 edges, 24682 markings/sec, 610 secs
lola: 15860434 markings, 125419540 edges, 25055 markings/sec, 615 secs
lola: 15986562 markings, 126429191 edges, 25226 markings/sec, 620 secs
lola: 16104837 markings, 127387340 edges, 23655 markings/sec, 625 secs
lola: 16228503 markings, 128379807 edges, 24733 markings/sec, 630 secs
lola: 16349115 markings, 129353818 edges, 24122 markings/sec, 635 secs
lola: 16467950 markings, 130318091 edges, 23767 markings/sec, 640 secs
lola: 16587053 markings, 131284876 edges, 23821 markings/sec, 645 secs
lola: 16709832 markings, 132265203 edges, 24556 markings/sec, 650 secs
lola: 16828099 markings, 133240238 edges, 23653 markings/sec, 655 secs
lola: 16943423 markings, 134189026 edges, 23065 markings/sec, 660 secs
lola: 17061946 markings, 135160334 edges, 23705 markings/sec, 665 secs
lola: 17184376 markings, 136158213 edges, 24486 markings/sec, 670 secs
lola: 17308463 markings, 137155786 edges, 24817 markings/sec, 675 secs
lola: 17432808 markings, 138189610 edges, 24869 markings/sec, 680 secs
lola: 17553481 markings, 139189202 edges, 24135 markings/sec, 685 secs
lola: 17674044 markings, 140179806 edges, 24113 markings/sec, 690 secs
lola: 17798653 markings, 141191781 edges, 24922 markings/sec, 695 secs
lola: 17922584 markings, 142211600 edges, 24786 markings/sec, 700 secs
lola: 18046016 markings, 143227013 edges, 24686 markings/sec, 705 secs
lola: 18165254 markings, 144205578 edges, 23848 markings/sec, 710 secs
lola: 18280748 markings, 145166052 edges, 23099 markings/sec, 715 secs
lola: 18401550 markings, 146122025 edges, 24160 markings/sec, 720 secs
lola: 18520871 markings, 147085460 edges, 23864 markings/sec, 725 secs
lola: 18641838 markings, 148058184 edges, 24193 markings/sec, 730 secs
lola: 18761631 markings, 149020501 edges, 23959 markings/sec, 735 secs
lola: 18877103 markings, 149974046 edges, 23094 markings/sec, 740 secs
lola: 18997198 markings, 150952342 edges, 24019 markings/sec, 745 secs
lola: 19115675 markings, 151913512 edges, 23695 markings/sec, 750 secs
lola: 19232837 markings, 152872399 edges, 23432 markings/sec, 755 secs
lola: 19351412 markings, 153840122 edges, 23715 markings/sec, 760 secs
lola: 19469008 markings, 154804789 edges, 23519 markings/sec, 765 secs
lola: 19589178 markings, 155786626 edges, 24034 markings/sec, 770 secs
lola: 19707651 markings, 156769472 edges, 23695 markings/sec, 775 secs
lola: 19830168 markings, 157770803 edges, 24503 markings/sec, 780 secs
lola: 19952339 markings, 158774677 edges, 24434 markings/sec, 785 secs
lola: 20075148 markings, 159791320 edges, 24562 markings/sec, 790 secs
lola: 20198311 markings, 160805309 edges, 24633 markings/sec, 795 secs
lola: 20319582 markings, 161800303 edges, 24254 markings/sec, 800 secs
lola: 20441890 markings, 162811990 edges, 24462 markings/sec, 805 secs
lola: 20565751 markings, 163825896 edges, 24772 markings/sec, 810 secs
lola: 20688094 markings, 164838388 edges, 24469 markings/sec, 815 secs
lola: 20811407 markings, 165851180 edges, 24663 markings/sec, 820 secs
lola: 20933851 markings, 166834154 edges, 24489 markings/sec, 825 secs
lola: 21052685 markings, 167795881 edges, 23767 markings/sec, 830 secs
lola: 21174428 markings, 168778331 edges, 24349 markings/sec, 835 secs
lola: 21293974 markings, 169751317 edges, 23909 markings/sec, 840 secs
lola: 21413106 markings, 170714958 edges, 23826 markings/sec, 845 secs
lola: 21528491 markings, 171662885 edges, 23077 markings/sec, 850 secs
lola: 21644188 markings, 172607066 edges, 23139 markings/sec, 855 secs
lola: 21763080 markings, 173579559 edges, 23778 markings/sec, 860 secs
lola: 21881222 markings, 174548649 edges, 23628 markings/sec, 865 secs
lola: 21999453 markings, 175516662 edges, 23646 markings/sec, 870 secs
lola: 22116533 markings, 176486578 edges, 23416 markings/sec, 875 secs
lola: 22239104 markings, 177489794 edges, 24514 markings/sec, 880 secs
lola: 22361872 markings, 178503854 edges, 24554 markings/sec, 885 secs
lola: 22484359 markings, 179512852 edges, 24497 markings/sec, 890 secs
lola: 22608253 markings, 180528129 edges, 24779 markings/sec, 895 secs
lola: 22729793 markings, 181539507 edges, 24308 markings/sec, 900 secs
lola: 22851600 markings, 182546706 edges, 24361 markings/sec, 905 secs
lola: 22974350 markings, 183559176 edges, 24550 markings/sec, 910 secs
lola: 23096852 markings, 184570093 edges, 24500 markings/sec, 915 secs
lola: 23219485 markings, 185579492 edges, 24527 markings/sec, 920 secs
lola: 23340975 markings, 186590806 edges, 24298 markings/sec, 925 secs
lola: 23467384 markings, 187630229 edges, 25282 markings/sec, 930 secs
lola: 23587273 markings, 188599811 edges, 23978 markings/sec, 935 secs
lola: 23706389 markings, 189551330 edges, 23823 markings/sec, 940 secs
lola: 23828408 markings, 190537264 edges, 24404 markings/sec, 945 secs
lola: 23952234 markings, 191549540 edges, 24765 markings/sec, 950 secs
lola: 24069512 markings, 192512450 edges, 23456 markings/sec, 955 secs
lola: 24188312 markings, 193474905 edges, 23760 markings/sec, 960 secs
lola: 24307051 markings, 194453126 edges, 23748 markings/sec, 965 secs
lola: 24426043 markings, 195423238 edges, 23798 markings/sec, 970 secs
lola: 24544114 markings, 196390006 edges, 23614 markings/sec, 975 secs
lola: 24659693 markings, 197348895 edges, 23116 markings/sec, 980 secs
lola: 24777377 markings, 198311679 edges, 23537 markings/sec, 985 secs
lola: 24895024 markings, 199277257 edges, 23529 markings/sec, 990 secs
lola: 25016827 markings, 200283398 edges, 24361 markings/sec, 995 secs
lola: 25139254 markings, 201296652 edges, 24485 markings/sec, 1000 secs
lola: 25262798 markings, 202307405 edges, 24709 markings/sec, 1005 secs
lola: 25383306 markings, 203314695 edges, 24102 markings/sec, 1010 secs
lola: 25505791 markings, 204325217 edges, 24497 markings/sec, 1015 secs
lola: 25628597 markings, 205338044 edges, 24561 markings/sec, 1020 secs
lola: 25749796 markings, 206354388 edges, 24240 markings/sec, 1025 secs
lola: 25874506 markings, 207393331 edges, 24942 markings/sec, 1030 secs
lola: 25998949 markings, 208416814 edges, 24889 markings/sec, 1035 secs
lola: 26120316 markings, 209412099 edges, 24273 markings/sec, 1040 secs
lola: 26240011 markings, 210415389 edges, 23939 markings/sec, 1045 secs
lola: 26363507 markings, 211429489 edges, 24699 markings/sec, 1050 secs
lola: 26485206 markings, 212408536 edges, 24340 markings/sec, 1055 secs
lola: 26603740 markings, 213367352 edges, 23707 markings/sec, 1060 secs
lola: 26727120 markings, 214360809 edges, 24676 markings/sec, 1065 secs
lola: 26849748 markings, 215369687 edges, 24526 markings/sec, 1070 secs
lola: 26966677 markings, 216322047 edges, 23386 markings/sec, 1075 secs
lola: 27082961 markings, 217271708 edges, 23257 markings/sec, 1080 secs
lola: 27200732 markings, 218241767 edges, 23554 markings/sec, 1085 secs
lola: 27316973 markings, 219197666 edges, 23248 markings/sec, 1090 secs
lola: 27434420 markings, 220161231 edges, 23489 markings/sec, 1095 secs
lola: 27551655 markings, 221121206 edges, 23447 markings/sec, 1100 secs
lola: 27669453 markings, 222109037 edges, 23560 markings/sec, 1105 secs
lola: 27789085 markings, 223087556 edges, 23926 markings/sec, 1110 secs
lola: 27908698 markings, 224079374 edges, 23923 markings/sec, 1115 secs
lola: 28031018 markings, 225092515 edges, 24464 markings/sec, 1120 secs
lola: 28151417 markings, 226088634 edges, 24080 markings/sec, 1125 secs
lola: 28271646 markings, 227082556 edges, 24046 markings/sec, 1130 secs
lola: 28393380 markings, 228087891 edges, 24347 markings/sec, 1135 secs
lola: 28513263 markings, 229093376 edges, 23977 markings/sec, 1140 secs
lola: 28634940 markings, 230097458 edges, 24335 markings/sec, 1145 secs
lola: 28757332 markings, 231106809 edges, 24478 markings/sec, 1150 secs
lola: 28878460 markings, 232124704 edges, 24226 markings/sec, 1155 secs
lola: 29004680 markings, 233173737 edges, 25244 markings/sec, 1160 secs
lola: 29125574 markings, 234166575 edges, 24179 markings/sec, 1165 secs
lola: 29245468 markings, 235166985 edges, 23979 markings/sec, 1170 secs
lola: 29369868 markings, 236178650 edges, 24880 markings/sec, 1175 secs
lola: 29489498 markings, 237158332 edges, 23926 markings/sec, 1180 secs
lola: 29607700 markings, 238116187 edges, 23640 markings/sec, 1185 secs
lola: 29729622 markings, 239109758 edges, 24384 markings/sec, 1190 secs
lola: 29854367 markings, 240125909 edges, 24949 markings/sec, 1195 secs
lola: 29973931 markings, 241099764 edges, 23913 markings/sec, 1200 secs
lola: 30092448 markings, 242073796 edges, 23703 markings/sec, 1205 secs
lola: 30210008 markings, 243042938 edges, 23512 markings/sec, 1210 secs
lola: 30327504 markings, 244009572 edges, 23499 markings/sec, 1215 secs
lola: 30445846 markings, 244978567 edges, 23668 markings/sec, 1220 secs
lola: 30562736 markings, 245946515 edges, 23378 markings/sec, 1225 secs
lola: 30678772 markings, 246912278 edges, 23207 markings/sec, 1230 secs
lola: 30796092 markings, 247863658 edges, 23464 markings/sec, 1235 secs
lola: 30913333 markings, 248851915 edges, 23448 markings/sec, 1240 secs
lola: 31033395 markings, 249849961 edges, 24012 markings/sec, 1245 secs
lola: 31156165 markings, 250866996 edges, 24554 markings/sec, 1250 secs
lola: 31279408 markings, 251888792 edges, 24649 markings/sec, 1255 secs
lola: 31400734 markings, 252892882 edges, 24265 markings/sec, 1260 secs
lola: 31521010 markings, 253887116 edges, 24055 markings/sec, 1265 secs
lola: 31639199 markings, 254876854 edges, 23638 markings/sec, 1270 secs
lola: 31761434 markings, 255885668 edges, 24447 markings/sec, 1275 secs
lola: 31883650 markings, 256899820 edges, 24443 markings/sec, 1280 secs
lola: 32008476 markings, 257954163 edges, 24965 markings/sec, 1285 secs
lola: 32128627 markings, 258943478 edges, 24030 markings/sec, 1290 secs
lola: 32246893 markings, 259930728 edges, 23653 markings/sec, 1295 secs
lola: 32368554 markings, 260918552 edges, 24332 markings/sec, 1300 secs
lola: 32490211 markings, 261962947 edges, 24331 markings/sec, 1305 secs
lola: 32607824 markings, 262918905 edges, 23523 markings/sec, 1310 secs
lola: 32726590 markings, 263875430 edges, 23753 markings/sec, 1315 secs
lola: 32847153 markings, 264841285 edges, 24113 markings/sec, 1320 secs
lola: 32965488 markings, 265821232 edges, 23667 markings/sec, 1325 secs
lola: 33087170 markings, 266818985 edges, 24336 markings/sec, 1330 secs
lola: 33202068 markings, 267761835 edges, 22980 markings/sec, 1335 secs
lola: 33310390 markings, 268657738 edges, 21664 markings/sec, 1340 secs
lola: 33426417 markings, 269605285 edges, 23205 markings/sec, 1345 secs
lola: 33539351 markings, 270538135 edges, 22587 markings/sec, 1350 secs
lola: 33651518 markings, 271475471 edges, 22433 markings/sec, 1355 secs
lola: 33766467 markings, 272415461 edges, 22990 markings/sec, 1360 secs
lola: 33879423 markings, 273360634 edges, 22591 markings/sec, 1365 secs
lola: 34001373 markings, 274336844 edges, 24390 markings/sec, 1370 secs
lola: 34121130 markings, 275320375 edges, 23951 markings/sec, 1375 secs
lola: 34240960 markings, 276299101 edges, 23966 markings/sec, 1380 secs
lola: 34361308 markings, 277281036 edges, 24070 markings/sec, 1385 secs
lola: 34482379 markings, 278270150 edges, 24214 markings/sec, 1390 secs
lola: 34601595 markings, 279241016 edges, 23843 markings/sec, 1395 secs
lola: 34729000 markings, 280264999 edges, 25481 markings/sec, 1400 secs
lola: 34853904 markings, 281297624 edges, 24981 markings/sec, 1405 secs
lola: 34978995 markings, 282330789 edges, 25018 markings/sec, 1410 secs
lola: 35107685 markings, 283351123 edges, 25738 markings/sec, 1415 secs
lola: 35221057 markings, 284309954 edges, 22674 markings/sec, 1420 secs
lola: 35343099 markings, 285321568 edges, 24408 markings/sec, 1425 secs
lola: 35460918 markings, 286285151 edges, 23564 markings/sec, 1430 secs
lola: 35583771 markings, 287302887 edges, 24571 markings/sec, 1435 secs
lola: 35701101 markings, 288264242 edges, 23466 markings/sec, 1440 secs
lola: 35824173 markings, 289280935 edges, 24614 markings/sec, 1445 secs
lola: 35940383 markings, 290233434 edges, 23242 markings/sec, 1450 secs
lola: 36063043 markings, 291242835 edges, 24532 markings/sec, 1455 secs
lola: 36179899 markings, 292201984 edges, 23371 markings/sec, 1460 secs
lola: 36304126 markings, 293223215 edges, 24845 markings/sec, 1465 secs
lola: 36418005 markings, 294183552 edges, 22776 markings/sec, 1470 secs
lola: 36546224 markings, 295185680 edges, 25644 markings/sec, 1475 secs
lola: 36661175 markings, 296184219 edges, 22990 markings/sec, 1480 secs
lola: 36785749 markings, 297165472 edges, 24915 markings/sec, 1485 secs
lola: 36906274 markings, 298188727 edges, 24105 markings/sec, 1490 secs
lola: 37020093 markings, 299144891 edges, 22764 markings/sec, 1495 secs
lola: 37148918 markings, 300172266 edges, 25765 markings/sec, 1500 secs
lola: 37261127 markings, 301154355 edges, 22442 markings/sec, 1505 secs
lola: 37373379 markings, 302037868 edges, 22450 markings/sec, 1510 secs
lola: 37490412 markings, 303021675 edges, 23407 markings/sec, 1515 secs
lola: 37611369 markings, 303994472 edges, 24191 markings/sec, 1520 secs
lola: 37733542 markings, 304993130 edges, 24435 markings/sec, 1525 secs
lola: 37854638 markings, 305982377 edges, 24219 markings/sec, 1530 secs
lola: 37971606 markings, 306937071 edges, 23394 markings/sec, 1535 secs
lola: 38091031 markings, 307911097 edges, 23885 markings/sec, 1540 secs
lola: 38212041 markings, 308917795 edges, 24202 markings/sec, 1545 secs
lola: 38335701 markings, 309928288 edges, 24732 markings/sec, 1550 secs
lola: 38459982 markings, 310939805 edges, 24856 markings/sec, 1555 secs
lola: 38584015 markings, 311959929 edges, 24807 markings/sec, 1560 secs
lola: 38707914 markings, 312982839 edges, 24780 markings/sec, 1565 secs
lola: 38833577 markings, 314003722 edges, 25133 markings/sec, 1570 secs
lola: 38952436 markings, 314972643 edges, 23772 markings/sec, 1575 secs
lola: 39079077 markings, 315999460 edges, 25328 markings/sec, 1580 secs
lola: 39192995 markings, 316959906 edges, 22784 markings/sec, 1585 secs
lola: 39319297 markings, 317980447 edges, 25260 markings/sec, 1590 secs
lola: 39433172 markings, 318937929 edges, 22775 markings/sec, 1595 secs
lola: 39559112 markings, 319958065 edges, 25188 markings/sec, 1600 secs
lola: 39672037 markings, 320906036 edges, 22585 markings/sec, 1605 secs
lola: 39799173 markings, 321930622 edges, 25427 markings/sec, 1610 secs
lola: 39910363 markings, 322884855 edges, 22238 markings/sec, 1615 secs
lola: 40038930 markings, 323897661 edges, 25713 markings/sec, 1620 secs
lola: 40153881 markings, 324890876 edges, 22990 markings/sec, 1625 secs
lola: 40270186 markings, 325851670 edges, 23261 markings/sec, 1630 secs
lola: 40392188 markings, 326865763 edges, 24400 markings/sec, 1635 secs
lola: 40506316 markings, 327806103 edges, 22826 markings/sec, 1640 secs
lola: 40629972 markings, 328816916 edges, 24731 markings/sec, 1645 secs
lola: 40743807 markings, 329782422 edges, 22767 markings/sec, 1650 secs
lola: 40861495 markings, 330737677 edges, 23538 markings/sec, 1655 secs
lola: 40980701 markings, 331734672 edges, 23841 markings/sec, 1660 secs
lola: 41094152 markings, 332668358 edges, 22690 markings/sec, 1665 secs
lola: 41221492 markings, 333705974 edges, 25468 markings/sec, 1670 secs
lola: 41338049 markings, 334695440 edges, 23311 markings/sec, 1675 secs
lola: 41465657 markings, 335694436 edges, 25522 markings/sec, 1680 secs
lola: 41581520 markings, 336652339 edges, 23173 markings/sec, 1685 secs
lola: 41701201 markings, 337608606 edges, 23936 markings/sec, 1690 secs
lola: 41817467 markings, 338580967 edges, 23253 markings/sec, 1695 secs
lola: 41936752 markings, 339551052 edges, 23857 markings/sec, 1700 secs
lola: 42055120 markings, 340531467 edges, 23674 markings/sec, 1705 secs
lola: 42174984 markings, 341516957 edges, 23973 markings/sec, 1710 secs
lola: 42296325 markings, 342508851 edges, 24268 markings/sec, 1715 secs
lola: 42417650 markings, 343501749 edges, 24265 markings/sec, 1720 secs
lola: 42538178 markings, 344488461 edges, 24106 markings/sec, 1725 secs
lola: 42657158 markings, 345479903 edges, 23796 markings/sec, 1730 secs
lola: 42778707 markings, 346468637 edges, 24310 markings/sec, 1735 secs
lola: 42892748 markings, 347414439 edges, 22808 markings/sec, 1740 secs
lola: 43012724 markings, 348404463 edges, 23995 markings/sec, 1745 secs
lola: 43127743 markings, 349352351 edges, 23004 markings/sec, 1750 secs
lola: 43249058 markings, 350347088 edges, 24263 markings/sec, 1755 secs
lola: 43362347 markings, 351276878 edges, 22658 markings/sec, 1760 secs
lola: 43481664 markings, 352265867 edges, 23863 markings/sec, 1765 secs
lola: 43592736 markings, 353182601 edges, 22214 markings/sec, 1770 secs
lola: 43713948 markings, 354182600 edges, 24242 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no no unknown no yes
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no no unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no no unknown no yes
lola: memory consumption: 3641104 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes no no unknown yes unknown yes yes yes no no unknown no yes
lola: memory consumption: 3641352 KB
lola: time consumption: 3570 seconds

BK_STOP 1526572136219

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V50P20N10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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

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