fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r190su-smll-143330904700311
Last Updated
August 19, 2015

About the Execution of Marcie for BridgeAndVehicles-PT-V20P10N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9156.140 3600000.00 3599990.00 201.70 TF??????FT?????? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-2270
Executing tool marcie
Input is BridgeAndVehicles-PT-V20P10N20, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190su-smll-143330904700311
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1433564416461

Model: BridgeAndVehicles-PT-V20P10N20
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5

Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
A model checker for Generalized Stochastic Petri nets

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

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityFireability.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

(NrP: 78 NrTr: 968 NrArc: 7350)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m0sec

init dd package: 0m3sec


RS generation: 11m40sec


-> reachability set: #nodes 1911707 (1.9e+06) #states 9,076,326 (6)



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

checking: EF [[[[IS-FIREABLE [altern_cpt_2_20] | IS-FIREABLE [altern_cpt_1_20]] | [[IS-FIREABLE [decision_2_19] | [IS-FIREABLE [decision_1_19] | [IS-FIREABLE [decision_2_18] | [IS-FIREABLE [decision_1_18] | [IS-FIREABLE [decision_2_17] | [IS-FIREABLE [decision_1_17] | [IS-FIREABLE [decision_2_16] | [IS-FIREABLE [decision_1_16] | [IS-FIREABLE [decision_2_15] | [IS-FIREABLE [decision_1_15] | [IS-FIREABLE [decision_2_14] | [[[[[[[[[[[[[[[[[IS-FIREABLE [decision_1_6] | [IS-FIREABLE [decision_2_5] | [IS-FIREABLE [decision_1_5] | [IS-FIREABLE [decision_2_4] | [IS-FIREABLE [decision_1_4] | [IS-FIREABLE [decision_2_3] | [IS-FIREABLE [decision_1_3] | [IS-FIREABLE [decision_2_2] | [IS-FIREABLE [decision_1_2] | [IS-FIREABLE [decision_2_1] | [IS-FIREABLE [decision_1_1] | [IS-FIREABLE [decision_2_0] | IS-FIREABLE [decision_1_0]]]]]]]]]]]]] | IS-FIREABLE [decision_2_6]] | IS-FIREABLE [decision_1_7]] | IS-FIREABLE [decision_2_7]] | IS-FIREABLE [decision_1_8]] | IS-FIREABLE [decision_2_8]] | IS-FIREABLE [decision_1_9]] | IS-FIREABLE [decision_2_9]] | IS-FIREABLE [decision_1_10]] | IS-FIREABLE [decision_2_10]] | IS-FIREABLE [decision_1_11]] | IS-FIREABLE [decision_2_11]] | IS-FIREABLE [decision_1_12]] | IS-FIREABLE [decision_2_12]] | IS-FIREABLE [decision_1_13]] | IS-FIREABLE [decision_2_13]] | IS-FIREABLE [decision_1_14]]]]]]]]]]]]] | ~ [[[[[[IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_1] | IS-FIREABLE [enregistrement_B_0]]]]]]]]]]]]]]]]] | IS-FIREABLE [enregistrement_B_17]] | IS-FIREABLE [enregistrement_B_18]] | IS-FIREABLE [enregistrement_B_19]] | IS-FIREABLE [enregistrement_B_20]]]]] & ~ [[IS-FIREABLE [enregistrement_A_20] | [IS-FIREABLE [enregistrement_A_19] | [IS-FIREABLE [enregistrement_A_18] | [IS-FIREABLE [enregistrement_A_17] | [IS-FIREABLE [enregistrement_A_16] | [IS-FIREABLE [enregistrement_A_15] | [IS-FIREABLE [enregistrement_A_14] | [IS-FIREABLE [enregistrement_A_13] | [IS-FIREABLE [enregistrement_A_12] | [IS-FIREABLE [enregistrement_A_11] | [IS-FIREABLE [enregistrement_A_10] | [IS-FIREABLE [enregistrement_A_9] | [IS-FIREABLE [enregistrement_A_8] | [IS-FIREABLE [enregistrement_A_7] | [IS-FIREABLE [enregistrement_A_6] | [IS-FIREABLE [enregistrement_A_5] | [IS-FIREABLE [enregistrement_A_4] | [IS-FIREABLE [enregistrement_A_3] | [IS-FIREABLE [enregistrement_A_2] | [IS-FIREABLE [enregistrement_A_1] | IS-FIREABLE [enregistrement_A_0]]]]]]]]]]]]]]]]]]]]]]]]
normalized: E [true U [[[IS-FIREABLE [altern_cpt_2_20] | IS-FIREABLE [altern_cpt_1_20]] | [[IS-FIREABLE [decision_2_19] | [IS-FIREABLE [decision_1_19] | [IS-FIREABLE [decision_2_18] | [IS-FIREABLE [decision_1_18] | [IS-FIREABLE [decision_2_17] | [IS-FIREABLE [decision_1_17] | [IS-FIREABLE [decision_2_16] | [IS-FIREABLE [decision_1_16] | [IS-FIREABLE [decision_2_15] | [IS-FIREABLE [decision_1_15] | [IS-FIREABLE [decision_2_14] | [IS-FIREABLE [decision_1_14] | [IS-FIREABLE [decision_2_13] | [IS-FIREABLE [decision_1_13] | [IS-FIREABLE [decision_2_12] | [IS-FIREABLE [decision_1_12] | [IS-FIREABLE [decision_2_11] | [IS-FIREABLE [decision_1_11] | [IS-FIREABLE [decision_2_10] | [IS-FIREABLE [decision_1_10] | [IS-FIREABLE [decision_2_9] | [IS-FIREABLE [decision_1_9] | [IS-FIREABLE [decision_2_8] | [IS-FIREABLE [decision_1_8] | [IS-FIREABLE [decision_2_7] | [IS-FIREABLE [decision_1_7] | [IS-FIREABLE [decision_2_6] | [IS-FIREABLE [decision_1_6] | [IS-FIREABLE [decision_2_5] | [IS-FIREABLE [decision_1_5] | [IS-FIREABLE [decision_2_4] | [IS-FIREABLE [decision_1_4] | [IS-FIREABLE [decision_2_3] | [IS-FIREABLE [decision_1_3] | [IS-FIREABLE [decision_2_2] | [IS-FIREABLE [decision_1_2] | [IS-FIREABLE [decision_2_1] | [IS-FIREABLE [decision_1_1] | [IS-FIREABLE [decision_2_0] | IS-FIREABLE [decision_1_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | ~ [[IS-FIREABLE [enregistrement_B_20] | [IS-FIREABLE [enregistrement_B_19] | [IS-FIREABLE [enregistrement_B_18] | [IS-FIREABLE [enregistrement_B_17] | [IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_1] | IS-FIREABLE [enregistrement_B_0]]]]]]]]]]]]]]]]]]]]]]]] & ~ [[IS-FIREABLE [enregistrement_A_20] | [IS-FIREABLE [enregistrement_A_19] | [IS-FIREABLE [enregistrement_A_18] | [IS-FIREABLE [enregistrement_A_17] | [IS-FIREABLE [enregistrement_A_16] | [IS-FIREABLE [enregistrement_A_15] | [IS-FIREABLE [enregistrement_A_14] | [IS-FIREABLE [enregistrement_A_13] | [IS-FIREABLE [enregistrement_A_12] | [IS-FIREABLE [enregistrement_A_11] | [IS-FIREABLE [enregistrement_A_10] | [IS-FIREABLE [enregistrement_A_9] | [IS-FIREABLE [enregistrement_A_8] | [IS-FIREABLE [enregistrement_A_7] | [IS-FIREABLE [enregistrement_A_6] | [IS-FIREABLE [enregistrement_A_5] | [IS-FIREABLE [enregistrement_A_4] | [IS-FIREABLE [enregistrement_A_3] | [IS-FIREABLE [enregistrement_A_2] | [IS-FIREABLE [enregistrement_A_1] | IS-FIREABLE [enregistrement_A_0]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-0 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 8m46sec

checking: EF [[[~ [~ [[IS-FIREABLE [altern_cpt_2_20] | IS-FIREABLE [altern_cpt_1_20]]]] & [~ [[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]] | IS-FIREABLE [enregistrement_B_2]] | IS-FIREABLE [enregistrement_B_3]] | IS-FIREABLE [enregistrement_B_4]] | IS-FIREABLE [enregistrement_B_5]] | IS-FIREABLE [enregistrement_B_6]] | IS-FIREABLE [enregistrement_B_7]] | IS-FIREABLE [enregistrement_B_8]] | IS-FIREABLE [enregistrement_B_9]] | IS-FIREABLE [enregistrement_B_10]] | IS-FIREABLE [enregistrement_B_11]] | IS-FIREABLE [enregistrement_B_12]] | IS-FIREABLE [enregistrement_B_13]] | IS-FIREABLE [enregistrement_B_14]] | IS-FIREABLE [enregistrement_B_15]] | IS-FIREABLE [enregistrement_B_16]] | IS-FIREABLE [enregistrement_B_17]] | IS-FIREABLE [enregistrement_B_18]] | IS-FIREABLE [enregistrement_B_19]] | IS-FIREABLE [enregistrement_B_20]]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [timeout_A_1_0_0_1] | IS-FIREABLE [timeout_A_1_1_0_1]] | IS-FIREABLE [timeout_A_1_2_0_1]] | IS-FIREABLE [timeout_A_1_3_0_1]] | IS-FIREABLE [timeout_A_1_4_0_1]] | IS-FIREABLE [timeout_A_1_5_0_1]] | IS-FIREABLE [timeout_A_1_6_0_1]] | IS-FIREABLE [timeout_A_1_7_0_1]] | IS-FIREABLE [timeout_A_1_8_0_1]] | IS-FIREABLE [timeout_A_1_9_0_1]] | IS-FIREABLE [timeout_A_1_10_0_1]] | IS-FIREABLE [timeout_A_1_11_0_1]] | IS-FIREABLE [timeout_A_1_12_0_1]] | IS-FIREABLE [timeout_A_1_13_0_1]] | IS-FIREABLE [timeout_A_1_14_0_1]] | IS-FIREABLE [timeout_A_1_15_0_1]] | IS-FIREABLE [timeout_A_1_16_0_1]] | IS-FIREABLE [timeout_A_1_17_0_1]] | IS-FIREABLE [timeout_A_1_18_0_1]] | IS-FIREABLE [timeout_A_1_19_0_1]] | IS-FIREABLE [timeout_A_1_20_0_1]] | IS-FIREABLE [timeout_A_1_0_0_2]] | IS-FIREABLE [timeout_A_1_1_0_2]] | IS-FIREABLE [timeout_A_1_2_0_2]] | IS-FIREABLE [timeout_A_1_3_0_2]] | IS-FIREABLE [timeout_A_1_4_0_2]] | IS-FIREABLE [timeout_A_1_5_0_2]] | IS-FIREABLE [timeout_A_1_6_0_2]] | IS-FIREABLE [timeout_A_1_7_0_2]] | IS-FIREABLE [timeout_A_1_8_0_2]] | IS-FIREABLE [timeout_A_1_9_0_2]] | IS-FIREABLE [timeout_A_1_10_0_2]] | IS-FIREABLE [timeout_A_1_11_0_2]] | IS-FIREABLE [timeout_A_1_12_0_2]] | IS-FIREABLE [timeout_A_1_13_0_2]] | IS-FIREABLE [timeout_A_1_14_0_2]] | IS-FIREABLE [timeout_A_1_15_0_2]] | IS-FIREABLE [timeout_A_1_16_0_2]] | IS-FIREABLE [timeout_A_1_17_0_2]] | IS-FIREABLE [timeout_A_1_18_0_2]] | IS-FIREABLE [timeout_A_1_19_0_2]] | IS-FIREABLE [timeout_A_1_20_0_2]] | IS-FIREABLE [timeout_A_1_0_0_3]] | IS-FIREABLE [timeout_A_1_1_0_3]] | IS-FIREABLE [timeout_A_1_2_0_3]] | IS-FIREABLE [timeout_A_1_3_0_3]] | IS-FIREABLE [timeout_A_1_4_0_3]] | IS-FIREABLE [timeout_A_1_5_0_3]] | IS-FIREABLE [timeout_A_1_6_0_3]] | IS-FIREABLE [timeout_A_1_7_0_3]] | IS-FIREABLE [timeout_A_1_8_0_3]] | IS-FIREABLE [timeout_A_1_9_0_3]] | IS-FIREABLE [timeout_A_1_10_0_3]] | IS-FIREABLE [timeout_A_1_11_0_3]] | IS-FIREABLE [timeout_A_1_12_0_3]] | IS-FIREABLE [timeout_A_1_13_0_3]] | IS-FIREABLE [timeout_A_1_14_0_3]] | IS-FIREABLE [timeout_A_1_15_0_3]] | IS-FIREABLE [timeout_A_1_16_0_3]] | IS-FIREABLE [timeout_A_1_17_0_3]] | IS-FIREABLE [timeout_A_1_18_0_3]] | IS-FIREABLE [timeout_A_1_19_0_3]] | IS-FIREABLE [timeout_A_1_20_0_3]] | IS-FIREABLE [timeout_A_1_0_0_4]] | IS-FIREABLE [timeout_A_1_1_0_4]] | IS-FIREABLE [timeout_A_1_2_0_4]] | IS-FIREABLE [timeout_A_1_3_0_4]] | IS-FIREABLE [timeout_A_1_4_0_4]] | IS-FIREABLE [timeout_A_1_5_0_4]] | IS-FIREABLE [timeout_A_1_6_0_4]] | IS-FIREABLE [timeout_A_1_7_0_4]] | IS-FIREABLE [timeout_A_1_8_0_4]] | IS-FIREABLE [timeout_A_1_9_0_4]] | IS-FIREABLE [timeout_A_1_10_0_4]] | IS-FIREABLE [timeout_A_1_11_0_4]] | IS-FIREABLE [timeout_A_1_12_0_4]] | IS-FIREABLE [timeout_A_1_13_0_4]] | IS-FIREABLE [timeout_A_1_14_0_4]] | IS-FIREABLE [timeout_A_1_15_0_4]] | IS-FIREABLE [timeout_A_1_16_0_4]] | IS-FIREABLE [timeout_A_1_17_0_4]] | IS-FIREABLE [timeout_A_1_18_0_4]] | IS-FIREABLE [timeout_A_1_19_0_4]] | IS-FIREABLE [timeout_A_1_20_0_4]] | IS-FIREABLE [timeout_A_1_0_0_5]] | IS-FIREABLE [timeout_A_1_1_0_5]] | IS-FIREABLE [timeout_A_1_2_0_5]] | IS-FIREABLE [timeout_A_1_3_0_5]] | IS-FIREABLE [timeout_A_1_4_0_5]] | IS-FIREABLE [timeout_A_1_5_0_5]] | IS-FIREABLE [timeout_A_1_6_0_5]] | IS-FIREABLE [timeout_A_1_7_0_5]] | IS-FIREABLE [timeout_A_1_8_0_5]] | IS-FIREABLE [timeout_A_1_9_0_5]] | IS-FIREABLE [timeout_A_1_10_0_5]] | IS-FIREABLE [timeout_A_1_11_0_5]] | IS-FIREABLE [timeout_A_1_12_0_5]] | IS-FIREABLE [timeout_A_1_13_0_5]] | IS-FIREABLE [timeout_A_1_14_0_5]] | IS-FIREABLE [timeout_A_1_15_0_5]] | IS-FIREABLE [timeout_A_1_16_0_5]] | IS-FIREABLE [timeout_A_1_17_0_5]] | IS-FIREABLE [timeout_A_1_18_0_5]] | IS-FIREABLE [timeout_A_1_19_0_5]] | IS-FIREABLE [timeout_A_1_20_0_5]] | IS-FIREABLE [timeout_A_1_0_0_6]] | IS-FIREABLE [timeout_A_1_1_0_6]] | IS-FIREABLE [timeout_A_1_2_0_6]] | IS-FIREABLE [timeout_A_1_3_0_6]] | IS-FIREABLE [timeout_A_1_4_0_6]] | IS-FIREABLE [timeout_A_1_5_0_6]] | IS-FIREABLE [timeout_A_1_6_0_6]] | IS-FIREABLE [timeout_A_1_7_0_6]] | IS-FIREABLE [timeout_A_1_8_0_6]] | IS-FIREABLE [timeout_A_1_9_0_6]] | IS-FIREABLE [timeout_A_1_10_0_6]] | IS-FIREABLE [timeout_A_1_11_0_6]] | IS-FIREABLE [timeout_A_1_12_0_6]] | IS-FIREABLE [timeout_A_1_13_0_6]] | IS-FIREABLE [timeout_A_1_14_0_6]] | IS-FIREABLE [timeout_A_1_15_0_6]] | IS-FIREABLE [timeout_A_1_16_0_6]] | IS-FIREABLE [timeout_A_1_17_0_6]] | IS-FIREABLE [timeout_A_1_18_0_6]] | IS-FIREABLE [timeout_A_1_19_0_6]] | IS-FIREABLE [timeout_A_1_20_0_6]] | IS-FIREABLE [timeout_A_1_0_0_7]] | IS-FIREABLE [timeout_A_1_1_0_7]] | IS-FIREABLE [timeout_A_1_2_0_7]] | IS-FIREABLE [timeout_A_1_3_0_7]] | IS-FIREABLE [timeout_A_1_4_0_7]] | IS-FIREABLE [timeout_A_1_5_0_7]] | IS-FIREABLE [timeout_A_1_6_0_7]] | IS-FIREABLE [timeout_A_1_7_0_7]] | IS-FIREABLE [timeout_A_1_8_0_7]] | IS-FIREABLE [timeout_A_1_9_0_7]] | IS-FIREABLE [timeout_A_1_10_0_7]] | IS-FIREABLE [timeout_A_1_11_0_7]] | IS-FIREABLE [timeout_A_1_12_0_7]] | IS-FIREABLE [timeout_A_1_13_0_7]] | IS-FIREABLE [timeout_A_1_14_0_7]] | IS-FIREABLE [timeout_A_1_15_0_7]] | IS-FIREABLE [timeout_A_1_16_0_7]] | IS-FIREABLE [timeout_A_1_17_0_7]] | IS-FIREABLE [timeout_A_1_18_0_7]] | IS-FIREABLE [timeout_A_1_19_0_7]] | IS-FIREABLE [timeout_A_1_20_0_7]] | IS-FIREABLE [timeout_A_1_0_0_8]] | IS-FIREABLE [timeout_A_1_1_0_8]] | IS-FIREABLE [timeout_A_1_2_0_8]] | IS-FIREABLE [timeout_A_1_3_0_8]] | IS-FIREABLE [timeout_A_1_4_0_8]] | IS-FIREABLE [timeout_A_1_5_0_8]] | IS-FIREABLE [timeout_A_1_6_0_8]] | IS-FIREABLE [timeout_A_1_7_0_8]] | IS-FIREABLE [timeout_A_1_8_0_8]] | IS-FIREABLE [timeout_A_1_9_0_8]] | IS-FIREABLE [timeout_A_1_10_0_8]] | IS-FIREABLE [timeout_A_1_11_0_8]] | IS-FIREABLE [timeout_A_1_12_0_8]] | IS-FIREABLE [timeout_A_1_13_0_8]] | IS-FIREABLE [timeout_A_1_14_0_8]] | IS-FIREABLE [timeout_A_1_15_0_8]] | IS-FIREABLE [timeout_A_1_16_0_8]] | IS-FIREABLE [timeout_A_1_17_0_8]] | IS-FIREABLE [timeout_A_1_18_0_8]] | IS-FIREABLE [timeout_A_1_19_0_8]] | IS-FIREABLE [timeout_A_1_20_0_8]] | IS-FIREABLE [timeout_A_1_0_0_9]] | IS-FIREABLE [timeout_A_1_1_0_9]] | IS-FIREABLE [timeout_A_1_2_0_9]] | IS-FIREABLE [timeout_A_1_3_0_9]] | IS-FIREABLE [timeout_A_1_4_0_9]] | IS-FIREABLE [timeout_A_1_5_0_9]] | IS-FIREABLE [timeout_A_1_6_0_9]] | IS-FIREABLE [timeout_A_1_7_0_9]] | IS-FIREABLE [timeout_A_1_8_0_9]] | IS-FIREABLE [timeout_A_1_9_0_9]] | IS-FIREABLE [timeout_A_1_10_0_9]] | IS-FIREABLE [timeout_A_1_11_0_9]] | IS-FIREABLE [timeout_A_1_12_0_9]] | IS-FIREABLE [timeout_A_1_13_0_9]] | IS-FIREABLE [timeout_A_1_14_0_9]] | IS-FIREABLE [timeout_A_1_15_0_9]] | IS-FIREABLE [timeout_A_1_16_0_9]] | IS-FIREABLE [timeout_A_1_17_0_9]] | IS-FIREABLE [timeout_A_1_18_0_9]] | IS-FIREABLE [timeout_A_1_19_0_9]] | IS-FIREABLE [timeout_A_1_20_0_9]] | IS-FIREABLE [timeout_A_1_0_0_10]] | IS-FIREABLE [timeout_A_1_1_0_10]] | IS-FIREABLE [timeout_A_1_2_0_10]] | IS-FIREABLE [timeout_A_1_3_0_10]] | IS-FIREABLE [timeout_A_1_4_0_10]] | IS-FIREABLE [timeout_A_1_5_0_10]] | IS-FIREABLE [timeout_A_1_6_0_10]] | IS-FIREABLE [timeout_A_1_7_0_10]] | IS-FIREABLE [timeout_A_1_8_0_10]] | IS-FIREABLE [timeout_A_1_9_0_10]] | IS-FIREABLE [timeout_A_1_10_0_10]] | IS-FIREABLE [timeout_A_1_11_0_10]] | IS-FIREABLE [timeout_A_1_12_0_10]] | IS-FIREABLE [timeout_A_1_13_0_10]] | IS-FIREABLE [timeout_A_1_14_0_10]] | IS-FIREABLE [timeout_A_1_15_0_10]] | IS-FIREABLE [timeout_A_1_16_0_10]] | IS-FIREABLE [timeout_A_1_17_0_10]] | IS-FIREABLE [timeout_A_1_18_0_10]] | IS-FIREABLE [timeout_A_1_19_0_10]] | IS-FIREABLE [timeout_A_1_20_0_10]] | IS-FIREABLE [timeout_A_1_0_0_11]] | IS-FIREABLE [timeout_A_1_1_0_11]] | IS-FIREABLE [timeout_A_1_2_0_11]] | IS-FIREABLE [timeout_A_1_3_0_11]] | IS-FIREABLE [timeout_A_1_4_0_11]] | IS-FIREABLE [timeout_A_1_5_0_11]] | IS-FIREABLE [timeout_A_1_6_0_11]] | IS-FIREABLE [timeout_A_1_7_0_11]] | IS-FIREABLE [timeout_A_1_8_0_11]] | IS-FIREABLE [timeout_A_1_9_0_11]] | IS-FIREABLE [timeout_A_1_10_0_11]] | IS-FIREABLE [timeout_A_1_11_0_11]] | IS-FIREABLE [timeout_A_1_12_0_11]] | IS-FIREABLE [timeout_A_1_13_0_11]] | IS-FIREABLE [timeout_A_1_14_0_11]] | IS-FIREABLE [timeout_A_1_15_0_11]] | IS-FIREABLE [timeout_A_1_16_0_11]] | IS-FIREABLE [timeout_A_1_17_0_11]] | IS-FIREABLE [timeout_A_1_18_0_11]] | IS-FIREABLE [timeout_A_1_19_0_11]] | IS-FIREABLE [timeout_A_1_20_0_11]] | IS-FIREABLE [timeout_A_1_0_0_12]] | IS-FIREABLE [timeout_A_1_1_0_12]] | IS-FIREABLE [timeout_A_1_2_0_12]] | IS-FIREABLE [timeout_A_1_3_0_12]] | IS-FIREABLE [timeout_A_1_4_0_12]] | IS-FIREABLE [timeout_A_1_5_0_12]] | IS-FIREABLE [timeout_A_1_6_0_12]] | IS-FIREABLE [timeout_A_1_7_0_12]] | IS-FIREABLE [timeout_A_1_8_0_12]] | IS-FIREABLE [timeout_A_1_9_0_12]] | IS-FIREABLE [timeout_A_1_10_0_12]] | IS-FIREABLE [timeout_A_1_11_0_12]] | IS-FIREABLE [timeout_A_1_12_0_12]] | IS-FIREABLE [timeout_A_1_13_0_12]] | IS-FIREABLE [timeout_A_1_14_0_12]] | IS-FIREABLE [timeout_A_1_15_0_12]] | IS-FIREABLE [timeout_A_1_16_0_12]] | IS-FIREABLE [timeout_A_1_17_0_12]] | IS-FIREABLE [timeout_A_1_18_0_12]] | IS-FIREABLE [timeout_A_1_19_0_12]] | IS-FIREABLE [timeout_A_1_20_0_12]] | IS-FIREABLE [timeout_A_1_0_0_13]] | IS-FIREABLE [timeout_A_1_1_0_13]] | IS-FIREABLE [timeout_A_1_2_0_13]] | IS-FIREABLE [timeout_A_1_3_0_13]] | IS-FIREABLE [timeout_A_1_4_0_13]] | IS-FIREABLE [timeout_A_1_5_0_13]] | IS-FIREABLE [timeout_A_1_6_0_13]] | IS-FIREABLE [timeout_A_1_7_0_13]] | IS-FIREABLE [timeout_A_1_8_0_13]] | IS-FIREABLE [timeout_A_1_9_0_13]] | IS-FIREABLE [timeout_A_1_10_0_13]] | IS-FIREABLE [timeout_A_1_11_0_13]] | IS-FIREABLE [timeout_A_1_12_0_13]] | IS-FIREABLE [timeout_A_1_13_0_13]] | IS-FIREABLE [timeout_A_1_14_0_13]] | IS-FIREABLE [timeout_A_1_15_0_13]] | IS-FIREABLE [timeout_A_1_16_0_13]] | IS-FIREABLE [timeout_A_1_17_0_13]] | IS-FIREABLE [timeout_A_1_18_0_13]] | IS-FIREABLE [timeout_A_1_19_0_13]] | IS-FIREABLE [timeout_A_1_20_0_13]] | IS-FIREABLE [timeout_A_1_0_0_14]] | IS-FIREABLE [timeout_A_1_1_0_14]] | IS-FIREABLE [timeout_A_1_2_0_14]] | IS-FIREABLE [timeout_A_1_3_0_14]] | IS-FIREABLE [timeout_A_1_4_0_14]] | IS-FIREABLE [timeout_A_1_5_0_14]] | IS-FIREABLE [timeout_A_1_6_0_14]] | IS-FIREABLE [timeout_A_1_7_0_14]] | IS-FIREABLE [timeout_A_1_8_0_14]] | IS-FIREABLE [timeout_A_1_9_0_14]] | IS-FIREABLE [timeout_A_1_10_0_14]] | IS-FIREABLE [timeout_A_1_11_0_14]] | IS-FIREABLE [timeout_A_1_12_0_14]] | IS-FIREABLE [timeout_A_1_13_0_14]] | IS-FIREABLE [timeout_A_1_14_0_14]] | IS-FIREABLE [timeout_A_1_15_0_14]] | IS-FIREABLE [timeout_A_1_16_0_14]] | IS-FIREABLE [timeout_A_1_17_0_14]] | IS-FIREABLE [timeout_A_1_18_0_14]] | IS-FIREABLE [timeout_A_1_19_0_14]] | IS-FIREABLE [timeout_A_1_20_0_14]] | IS-FIREABLE [timeout_A_1_0_0_15]] | IS-FIREABLE [timeout_A_1_1_0_15]] | IS-FIREABLE [timeout_A_1_2_0_15]] | IS-FIREABLE [timeout_A_1_3_0_15]] | IS-FIREABLE [timeout_A_1_4_0_15]] | IS-FIREABLE [timeout_A_1_5_0_15]] | IS-FIREABLE [timeout_A_1_6_0_15]] | IS-FIREABLE [timeout_A_1_7_0_15]] | IS-FIREABLE [timeout_A_1_8_0_15]] | IS-FIREABLE [timeout_A_1_9_0_15]] | IS-FIREABLE [timeout_A_1_10_0_15]] | IS-FIREABLE [timeout_A_1_11_0_15]] | IS-FIREABLE [timeout_A_1_12_0_15]] | IS-FIREABLE [timeout_A_1_13_0_15]] | IS-FIREABLE [timeout_A_1_14_0_15]] | IS-FIREABLE [timeout_A_1_15_0_15]] | IS-FIREABLE [timeout_A_1_16_0_15]] | IS-FIREABLE [timeout_A_1_17_0_15]] | IS-FIREABLE [timeout_A_1_18_0_15]] | IS-FIREABLE [timeout_A_1_19_0_15]] | IS-FIREABLE [timeout_A_1_20_0_15]] | IS-FIREABLE [timeout_A_1_0_0_16]] | IS-FIREABLE [timeout_A_1_1_0_16]] | IS-FIREABLE [timeout_A_1_2_0_16]] | IS-FIREABLE [timeout_A_1_3_0_16]] | IS-FIREABLE [timeout_A_1_4_0_16]] | IS-FIREABLE [timeout_A_1_5_0_16]] | IS-FIREABLE [timeout_A_1_6_0_16]] | IS-FIREABLE [timeout_A_1_7_0_16]] | IS-FIREABLE [timeout_A_1_8_0_16]] | IS-FIREABLE [timeout_A_1_9_0_16]] | IS-FIREABLE [timeout_A_1_10_0_16]] | IS-FIREABLE [timeout_A_1_11_0_16]] | IS-FIREABLE [timeout_A_1_12_0_16]] | IS-FIREABLE [timeout_A_1_13_0_16]] | IS-FIREABLE [timeout_A_1_14_0_16]] | IS-FIREABLE [timeout_A_1_15_0_16]] | IS-FIREABLE [timeout_A_1_16_0_16]] | IS-FIREABLE [timeout_A_1_17_0_16]] | IS-FIREABLE [timeout_A_1_18_0_16]] | IS-FIREABLE [timeout_A_1_19_0_16]] | IS-FIREABLE [timeout_A_1_20_0_16]] | IS-FIREABLE [timeout_A_1_0_0_17]] | IS-FIREABLE [timeout_A_1_1_0_17]] | IS-FIREABLE [timeout_A_1_2_0_17]] | IS-FIREABLE [timeout_A_1_3_0_17]] | IS-FIREABLE [timeout_A_1_4_0_17]] | IS-FIREABLE [timeout_A_1_5_0_17]] | IS-FIREABLE [timeout_A_1_6_0_17]] | IS-FIREABLE [timeout_A_1_7_0_17]] | IS-FIREABLE [timeout_A_1_8_0_17]] | IS-FIREABLE [timeout_A_1_9_0_17]] | IS-FIREABLE [timeout_A_1_10_0_17]] | IS-FIREABLE [timeout_A_1_11_0_17]] | IS-FIREABLE [timeout_A_1_12_0_17]] | IS-FIREABLE [timeout_A_1_13_0_17]] | IS-FIREABLE [timeout_A_1_14_0_17]] | IS-FIREABLE [timeout_A_1_15_0_17]] | IS-FIREABLE [timeout_A_1_16_0_17]] | IS-FIREABLE [timeout_A_1_17_0_17]] | IS-FIREABLE [timeout_A_1_18_0_17]] | IS-FIREABLE [timeout_A_1_19_0_17]] | IS-FIREABLE [timeout_A_1_20_0_17]] | IS-FIREABLE [timeout_A_1_0_0_18]] | IS-FIREABLE [timeout_A_1_1_0_18]] | IS-FIREABLE [timeout_A_1_2_0_18]] | IS-FIREABLE [timeout_A_1_3_0_18]] | IS-FIREABLE [timeout_A_1_4_0_18]] | IS-FIREABLE [timeout_A_1_5_0_18]] | IS-FIREABLE [timeout_A_1_6_0_18]] | IS-FIREABLE [timeout_A_1_7_0_18]] | IS-FIREABLE [timeout_A_1_8_0_18]] | IS-FIREABLE [timeout_A_1_9_0_18]] | IS-FIREABLE [timeout_A_1_10_0_18]] | IS-FIREABLE [timeout_A_1_11_0_18]] | IS-FIREABLE [timeout_A_1_12_0_18]] | IS-FIREABLE [timeout_A_1_13_0_18]] | IS-FIREABLE [timeout_A_1_14_0_18]] | IS-FIREABLE [timeout_A_1_15_0_18]] | IS-FIREABLE [timeout_A_1_16_0_18]] | IS-FIREABLE [timeout_A_1_17_0_18]] | IS-FIREABLE [timeout_A_1_18_0_18]] | IS-FIREABLE [timeout_A_1_19_0_18]] | IS-FIREABLE [timeout_A_1_20_0_18]] | IS-FIREABLE [timeout_A_1_0_0_19]] | IS-FIREABLE [timeout_A_1_1_0_19]] | IS-FIREABLE [timeout_A_1_2_0_19]] | IS-FIREABLE [timeout_A_1_3_0_19]] | IS-FIREABLE [timeout_A_1_4_0_19]] | IS-FIREABLE [timeout_A_1_5_0_19]] | IS-FIREABLE [timeout_A_1_6_0_19]] | IS-FIREABLE [timeout_A_1_7_0_19]] | IS-FIREABLE [timeout_A_1_8_0_19]] | IS-FIREABLE [timeout_A_1_9_0_19]] | IS-FIREABLE [timeout_A_1_10_0_19]] | IS-FIREABLE [timeout_A_1_11_0_19]] | IS-FIREABLE [timeout_A_1_12_0_19]] | IS-FIREABLE [timeout_A_1_13_0_19]] | IS-FIREABLE [timeout_A_1_14_0_19]] | IS-FIREABLE [timeout_A_1_15_0_19]] | IS-FIREABLE [timeout_A_1_16_0_19]] | IS-FIREABLE [timeout_A_1_17_0_19]] | IS-FIREABLE [timeout_A_1_18_0_19]] | IS-FIREABLE [timeout_A_1_19_0_19]] | IS-FIREABLE [timeout_A_1_20_0_19]] | IS-FIREABLE [timeout_A_1_0_0_20]] | IS-FIREABLE [timeout_A_1_1_0_20]] | IS-FIREABLE [timeout_A_1_2_0_20]] | IS-FIREABLE [timeout_A_1_3_0_20]] | IS-FIREABLE [timeout_A_1_4_0_20]] | IS-FIREABLE [timeout_A_1_5_0_20]] | IS-FIREABLE [timeout_A_1_6_0_20]] | IS-FIREABLE [timeout_A_1_7_0_20]] | IS-FIREABLE [timeout_A_1_8_0_20]] | IS-FIREABLE [timeout_A_1_9_0_20]] | IS-FIREABLE [timeout_A_1_10_0_20]] | IS-FIREABLE [timeout_A_1_11_0_20]] | IS-FIREABLE [timeout_A_1_12_0_20]] | IS-FIREABLE [timeout_A_1_13_0_20]] | IS-FIREABLE [timeout_A_1_14_0_20]] | IS-FIREABLE [timeout_A_1_15_0_20]] | IS-FIREABLE [timeout_A_1_16_0_20]] | IS-FIREABLE [timeout_A_1_17_0_20]] | IS-FIREABLE [timeout_A_1_18_0_20]] | IS-FIREABLE [timeout_A_1_19_0_20]] | IS-FIREABLE [timeout_A_1_20_0_20]] | [IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]]]]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [decision_1_0] | IS-FIREABLE [decision_2_0]] | IS-FIREABLE [decision_1_1]] | IS-FIREABLE [decision_2_1]] | IS-FIREABLE [decision_1_2]] | IS-FIREABLE [decision_2_2]] | IS-FIREABLE [decision_1_3]] | IS-FIREABLE [decision_2_3]] | IS-FIREABLE [decision_1_4]] | IS-FIREABLE [decision_2_4]] | IS-FIREABLE [decision_1_5]] | IS-FIREABLE [decision_2_5]] | IS-FIREABLE [decision_1_6]] | IS-FIREABLE [decision_2_6]] | IS-FIREABLE [decision_1_7]] | IS-FIREABLE [decision_2_7]] | IS-FIREABLE [decision_1_8]] | IS-FIREABLE [decision_2_8]] | IS-FIREABLE [decision_1_9]] | IS-FIREABLE [decision_2_9]] | IS-FIREABLE [decision_1_10]] | IS-FIREABLE [decision_2_10]] | IS-FIREABLE [decision_1_11]] | IS-FIREABLE [decision_2_11]] | IS-FIREABLE [decision_1_12]] | IS-FIREABLE [decision_2_12]] | IS-FIREABLE [decision_1_13]] | IS-FIREABLE [decision_2_13]] | IS-FIREABLE [decision_1_14]] | IS-FIREABLE [decision_2_14]] | IS-FIREABLE [decision_1_15]] | IS-FIREABLE [decision_2_15]] | IS-FIREABLE [decision_1_16]] | IS-FIREABLE [decision_2_16]] | IS-FIREABLE [decision_1_17]] | IS-FIREABLE [decision_2_17]] | IS-FIREABLE [decision_1_18]] | IS-FIREABLE [decision_2_18]] | IS-FIREABLE [decision_1_19]] | IS-FIREABLE [decision_2_19]]]]
normalized: E [true U [[[[[IS-FIREABLE [timeout_A_1_20_0_20] | [IS-FIREABLE [timeout_A_1_19_0_20] | [IS-FIREABLE [timeout_A_1_18_0_20] | [IS-FIREABLE [timeout_A_1_17_0_20] | [IS-FIREABLE [timeout_A_1_16_0_20] | [IS-FIREABLE [timeout_A_1_15_0_20] | [IS-FIREABLE [timeout_A_1_14_0_20] | [IS-FIREABLE [timeout_A_1_13_0_20] | [IS-FIREABLE [timeout_A_1_12_0_20] | [IS-FIREABLE [timeout_A_1_11_0_20] | [IS-FIREABLE [timeout_A_1_10_0_20] | [IS-FIREABLE [timeout_A_1_9_0_20] | [IS-FIREABLE [timeout_A_1_8_0_20] | [IS-FIREABLE [timeout_A_1_7_0_20] | [IS-FIREABLE [timeout_A_1_6_0_20] | [IS-FIREABLE [timeout_A_1_5_0_20] | [IS-FIREABLE [timeout_A_1_4_0_20] | [IS-FIREABLE [timeout_A_1_3_0_20] | [IS-FIREABLE [timeout_A_1_2_0_20] | [IS-FIREABLE [timeout_A_1_1_0_20] | [IS-FIREABLE [timeout_A_1_0_0_20] | [IS-FIREABLE [timeout_A_1_20_0_19] | [IS-FIREABLE [timeout_A_1_19_0_19] | [IS-FIREABLE [timeout_A_1_18_0_19] | [IS-FIREABLE [timeout_A_1_17_0_19] | [IS-FIREABLE [timeout_A_1_16_0_19] | [IS-FIREABLE [timeout_A_1_15_0_19] | [IS-FIREABLE [timeout_A_1_14_0_19] | [IS-FIREABLE [timeout_A_1_13_0_19] | [IS-FIREABLE [timeout_A_1_12_0_19] | [IS-FIREABLE [timeout_A_1_11_0_19] | [IS-FIREABLE [timeout_A_1_10_0_19] | [IS-FIREABLE [timeout_A_1_9_0_19] | [IS-FIREABLE [timeout_A_1_8_0_19] | [IS-FIREABLE [timeout_A_1_7_0_19] | [IS-FIREABLE [timeout_A_1_6_0_19] | [IS-FIREABLE [timeout_A_1_5_0_19] | [IS-FIREABLE [timeout_A_1_4_0_19] | [IS-FIREABLE [timeout_A_1_3_0_19] | [IS-FIREABLE [timeout_A_1_2_0_19] | [IS-FIREABLE [timeout_A_1_1_0_19] | [IS-FIREABLE [timeout_A_1_0_0_19] | [IS-FIREABLE [timeout_A_1_20_0_18] | [IS-FIREABLE [timeout_A_1_19_0_18] | [IS-FIREABLE [timeout_A_1_18_0_18] | [IS-FIREABLE [timeout_A_1_17_0_18] | [IS-FIREABLE [timeout_A_1_16_0_18] | [IS-FIREABLE [timeout_A_1_15_0_18] | [IS-FIREABLE [timeout_A_1_14_0_18] | [IS-FIREABLE [timeout_A_1_13_0_18] | [IS-FIREABLE [timeout_A_1_12_0_18] | [IS-FIREABLE [timeout_A_1_11_0_18] | [IS-FIREABLE [timeout_A_1_10_0_18] | [IS-FIREABLE [timeout_A_1_9_0_18] | [IS-FIREABLE [timeout_A_1_8_0_18] | [IS-FIREABLE [timeout_A_1_7_0_18] | [IS-FIREABLE [timeout_A_1_6_0_18] | [IS-FIREABLE [timeout_A_1_5_0_18] | [IS-FIREABLE [timeout_A_1_4_0_18] | [IS-FIREABLE [timeout_A_1_3_0_18] | [IS-FIREABLE [timeout_A_1_2_0_18] | [IS-FIREABLE [timeout_A_1_1_0_18] | [IS-FIREABLE [timeout_A_1_0_0_18] | [IS-FIREABLE [timeout_A_1_20_0_17] | [IS-FIREABLE [timeout_A_1_19_0_17] | [IS-FIREABLE [timeout_A_1_18_0_17] | [IS-FIREABLE [timeout_A_1_17_0_17] | [IS-FIREABLE [timeout_A_1_16_0_17] | [IS-FIREABLE [timeout_A_1_15_0_17] | [IS-FIREABLE [timeout_A_1_14_0_17] | [IS-FIREABLE [timeout_A_1_13_0_17] | [IS-FIREABLE [timeout_A_1_12_0_17] | [IS-FIREABLE [timeout_A_1_11_0_17] | [IS-FIREABLE [timeout_A_1_10_0_17] | [IS-FIREABLE [timeout_A_1_9_0_17] | [IS-FIREABLE [timeout_A_1_8_0_17] | [IS-FIREABLE [timeout_A_1_7_0_17] | [IS-FIREABLE [timeout_A_1_6_0_17] | [IS-FIREABLE [timeout_A_1_5_0_17] | [IS-FIREABLE [timeout_A_1_4_0_17] | [IS-FIREABLE [timeout_A_1_3_0_17] | [IS-FIREABLE [timeout_A_1_2_0_17] | [IS-FIREABLE [timeout_A_1_1_0_17] | [IS-FIREABLE [timeout_A_1_0_0_17] | [IS-FIREABLE [timeout_A_1_20_0_16] | [IS-FIREABLE [timeout_A_1_19_0_16] | [IS-FIREABLE [timeout_A_1_18_0_16] | [IS-FIREABLE [timeout_A_1_17_0_16] | [IS-FIREABLE [timeout_A_1_16_0_16] | [IS-FIREABLE [timeout_A_1_15_0_16] | [IS-FIREABLE [timeout_A_1_14_0_16] | [IS-FIREABLE [timeout_A_1_13_0_16] | [IS-FIREABLE [timeout_A_1_12_0_16] | [IS-FIREABLE [timeout_A_1_11_0_16] | [IS-FIREABLE [timeout_A_1_10_0_16] | [IS-FIREABLE [timeout_A_1_9_0_16] | [IS-FIREABLE [timeout_A_1_8_0_16] | [IS-FIREABLE [timeout_A_1_7_0_16] | [IS-FIREABLE [timeout_A_1_6_0_16] | [IS-FIREABLE [timeout_A_1_5_0_16] | [IS-FIREABLE [timeout_A_1_4_0_16] | [IS-FIREABLE [timeout_A_1_3_0_16] | [IS-FIREABLE [timeout_A_1_2_0_16] | [IS-FIREABLE [timeout_A_1_1_0_16] | [IS-FIREABLE [timeout_A_1_0_0_16] | [IS-FIREABLE [timeout_A_1_20_0_15] | [IS-FIREABLE [timeout_A_1_19_0_15] | [IS-FIREABLE [timeout_A_1_18_0_15] | [IS-FIREABLE [timeout_A_1_17_0_15] | [IS-FIREABLE [timeout_A_1_16_0_15] | [IS-FIREABLE [timeout_A_1_15_0_15] | [IS-FIREABLE [timeout_A_1_14_0_15] | [IS-FIREABLE [timeout_A_1_13_0_15] | [IS-FIREABLE [timeout_A_1_12_0_15] | [IS-FIREABLE [timeout_A_1_11_0_15] | [IS-FIREABLE [timeout_A_1_10_0_15] | [IS-FIREABLE [timeout_A_1_9_0_15] | [IS-FIREABLE [timeout_A_1_8_0_15] | [IS-FIREABLE [timeout_A_1_7_0_15] | [IS-FIREABLE [timeout_A_1_6_0_15] | [IS-FIREABLE [timeout_A_1_5_0_15] | [IS-FIREABLE [timeout_A_1_4_0_15] | [IS-FIREABLE [timeout_A_1_3_0_15] | [IS-FIREABLE [timeout_A_1_2_0_15] | [IS-FIREABLE [timeout_A_1_1_0_15] | [IS-FIREABLE [timeout_A_1_0_0_15] | [IS-FIREABLE [timeout_A_1_20_0_14] | [IS-FIREABLE [timeout_A_1_19_0_14] | [IS-FIREABLE [timeout_A_1_18_0_14] | [IS-FIREABLE [timeout_A_1_17_0_14] | [IS-FIREABLE [timeout_A_1_16_0_14] | [IS-FIREABLE [timeout_A_1_15_0_14] | [IS-FIREABLE [timeout_A_1_14_0_14] | [IS-FIREABLE [timeout_A_1_13_0_14] | [IS-FIREABLE [timeout_A_1_12_0_14] | [IS-FIREABLE [timeout_A_1_11_0_14] | [IS-FIREABLE [timeout_A_1_10_0_14] | [IS-FIREABLE [timeout_A_1_9_0_14] | [IS-FIREABLE [timeout_A_1_8_0_14] | [IS-FIREABLE [timeout_A_1_7_0_14] | [IS-FIREABLE [timeout_A_1_6_0_14] | [IS-FIREABLE [timeout_A_1_5_0_14] | [IS-FIREABLE [timeout_A_1_4_0_14] | [IS-FIREABLE [timeout_A_1_3_0_14] | [IS-FIREABLE [timeout_A_1_2_0_14] | [IS-FIREABLE [timeout_A_1_1_0_14] | [IS-FIREABLE [timeout_A_1_0_0_14] | [IS-FIREABLE [timeout_A_1_20_0_13] | [IS-FIREABLE [timeout_A_1_19_0_13] | [IS-FIREABLE [timeout_A_1_18_0_13] | [IS-FIREABLE [timeout_A_1_17_0_13] | [IS-FIREABLE [timeout_A_1_16_0_13] | [IS-FIREABLE [timeout_A_1_15_0_13] | [IS-FIREABLE [timeout_A_1_14_0_13] | [IS-FIREABLE [timeout_A_1_13_0_13] | [IS-FIREABLE [timeout_A_1_12_0_13] | [IS-FIREABLE [timeout_A_1_11_0_13] | [IS-FIREABLE [timeout_A_1_10_0_13] | [IS-FIREABLE [timeout_A_1_9_0_13] | [IS-FIREABLE [timeout_A_1_8_0_13] | [IS-FIREABLE [timeout_A_1_7_0_13] | [IS-FIREABLE [timeout_A_1_6_0_13] | [IS-FIREABLE [timeout_A_1_5_0_13] | [IS-FIREABLE [timeout_A_1_4_0_13] | [IS-FIREABLE [timeout_A_1_3_0_13] | [IS-FIREABLE [timeout_A_1_2_0_13] | [IS-FIREABLE [timeout_A_1_1_0_13] | [IS-FIREABLE [timeout_A_1_0_0_13] | [IS-FIREABLE [timeout_A_1_20_0_12] | [IS-FIREABLE [timeout_A_1_19_0_12] | [IS-FIREABLE [timeout_A_1_18_0_12] | [IS-FIREABLE [timeout_A_1_17_0_12] | [IS-FIREABLE [timeout_A_1_16_0_12] | [IS-FIREABLE [timeout_A_1_15_0_12] | [IS-FIREABLE [timeout_A_1_14_0_12] | [IS-FIREABLE [timeout_A_1_13_0_12] | [IS-FIREABLE [timeout_A_1_12_0_12] | [IS-FIREABLE [timeout_A_1_11_0_12] | [IS-FIREABLE [timeout_A_1_10_0_12] | [IS-FIREABLE [timeout_A_1_9_0_12] | [IS-FIREABLE [timeout_A_1_8_0_12] | [IS-FIREABLE [timeout_A_1_7_0_12] | [IS-FIREABLE [timeout_A_1_6_0_12] | [IS-FIREABLE [timeout_A_1_5_0_12] | [IS-FIREABLE [timeout_A_1_4_0_12] | [IS-FIREABLE [timeout_A_1_3_0_12] | [IS-FIREABLE [timeout_A_1_2_0_12] | [IS-FIREABLE [timeout_A_1_1_0_12] | [IS-FIREABLE [timeout_A_1_0_0_12] | [IS-FIREABLE [timeout_A_1_20_0_11] | [IS-FIREABLE [timeout_A_1_19_0_11] | [IS-FIREABLE [timeout_A_1_18_0_11] | [IS-FIREABLE [timeout_A_1_17_0_11] | [IS-FIREABLE [timeout_A_1_16_0_11] | [IS-FIREABLE [timeout_A_1_15_0_11] | [IS-FIREABLE [timeout_A_1_14_0_11] | [IS-FIREABLE [timeout_A_1_13_0_11] | [IS-FIREABLE [timeout_A_1_12_0_11] | [IS-FIREABLE [timeout_A_1_11_0_11] | [IS-FIREABLE [timeout_A_1_10_0_11] | [IS-FIREABLE [timeout_A_1_9_0_11] | [IS-FIREABLE [timeout_A_1_8_0_11] | [IS-FIREABLE [timeout_A_1_7_0_11] | [IS-FIREABLE [timeout_A_1_6_0_11] | [IS-FIREABLE [timeout_A_1_5_0_11] | [IS-FIREABLE [timeout_A_1_4_0_11] | [IS-FIREABLE [timeout_A_1_3_0_11] | [IS-FIREABLE [timeout_A_1_2_0_11] | [IS-FIREABLE [timeout_A_1_1_0_11] | [IS-FIREABLE [timeout_A_1_0_0_11] | [IS-FIREABLE [timeout_A_1_20_0_10] | [IS-FIREABLE [timeout_A_1_19_0_10] | [IS-FIREABLE [timeout_A_1_18_0_10] | [IS-FIREABLE [timeout_A_1_17_0_10] | [IS-FIREABLE [timeout_A_1_16_0_10] | [IS-FIREABLE [timeout_A_1_15_0_10] | [IS-FIREABLE [timeout_A_1_14_0_10] | [IS-FIREABLE [timeout_A_1_13_0_10] | [IS-FIREABLE [timeout_A_1_12_0_10] | [IS-FIREABLE [timeout_A_1_11_0_10] | [IS-FIREABLE [timeout_A_1_10_0_10] | [IS-FIREABLE [timeout_A_1_9_0_10] | [IS-FIREABLE [timeout_A_1_8_0_10] | [IS-FIREABLE [timeout_A_1_7_0_10] | [IS-FIREABLE [timeout_A_1_6_0_10] | [IS-FIREABLE [timeout_A_1_5_0_10] | [IS-FIREABLE [timeout_A_1_4_0_10] | [IS-FIREABLE [timeout_A_1_3_0_10] | [IS-FIREABLE [timeout_A_1_2_0_10] | [IS-FIREABLE [timeout_A_1_1_0_10] | [IS-FIREABLE [timeout_A_1_0_0_10] | [IS-FIREABLE [timeout_A_1_20_0_9] | [IS-FIREABLE [timeout_A_1_19_0_9] | [IS-FIREABLE [timeout_A_1_18_0_9] | [IS-FIREABLE [timeout_A_1_17_0_9] | [IS-FIREABLE [timeout_A_1_16_0_9] | [IS-FIREABLE [timeout_A_1_15_0_9] | [IS-FIREABLE [timeout_A_1_14_0_9] | [IS-FIREABLE [timeout_A_1_13_0_9] | [IS-FIREABLE [timeout_A_1_12_0_9] | [IS-FIREABLE [timeout_A_1_11_0_9] | [IS-FIREABLE [timeout_A_1_10_0_9] | [IS-FIREABLE [timeout_A_1_9_0_9] | [IS-FIREABLE [timeout_A_1_8_0_9] | [IS-FIREABLE [timeout_A_1_7_0_9] | [IS-FIREABLE [timeout_A_1_6_0_9] | [IS-FIREABLE [timeout_A_1_5_0_9] | [IS-FIREABLE [timeout_A_1_4_0_9] | [IS-FIREABLE [timeout_A_1_3_0_9] | [IS-FIREABLE [timeout_A_1_2_0_9] | [IS-FIREABLE [timeout_A_1_1_0_9] | [IS-FIREABLE [timeout_A_1_0_0_9] | [IS-FIREABLE [timeout_A_1_20_0_8] | [IS-FIREABLE [timeout_A_1_19_0_8] | [IS-FIREABLE [timeout_A_1_18_0_8] | [IS-FIREABLE [timeout_A_1_17_0_8] | [IS-FIREABLE [timeout_A_1_16_0_8] | [IS-FIREABLE [timeout_A_1_15_0_8] | [IS-FIREABLE [timeout_A_1_14_0_8] | [IS-FIREABLE [timeout_A_1_13_0_8] | [IS-FIREABLE [timeout_A_1_12_0_8] | [IS-FIREABLE [timeout_A_1_11_0_8] | [IS-FIREABLE [timeout_A_1_10_0_8] | [IS-FIREABLE [timeout_A_1_9_0_8] | [IS-FIREABLE [timeout_A_1_8_0_8] | [IS-FIREABLE [timeout_A_1_7_0_8] | [IS-FIREABLE [timeout_A_1_6_0_8] | [IS-FIREABLE [timeout_A_1_5_0_8] | [IS-FIREABLE [timeout_A_1_4_0_8] | [IS-FIREABLE [timeout_A_1_3_0_8] | [IS-FIREABLE [timeout_A_1_2_0_8] | [IS-FIREABLE [timeout_A_1_1_0_8] | [IS-FIREABLE [timeout_A_1_0_0_8] | [IS-FIREABLE [timeout_A_1_20_0_7] | [IS-FIREABLE [timeout_A_1_19_0_7] | [IS-FIREABLE [timeout_A_1_18_0_7] | [IS-FIREABLE [timeout_A_1_17_0_7] | [IS-FIREABLE [timeout_A_1_16_0_7] | [IS-FIREABLE [timeout_A_1_15_0_7] | [IS-FIREABLE [timeout_A_1_14_0_7] | [IS-FIREABLE [timeout_A_1_13_0_7] | [IS-FIREABLE [timeout_A_1_12_0_7] | [IS-FIREABLE [timeout_A_1_11_0_7] | [IS-FIREABLE [timeout_A_1_10_0_7] | [IS-FIREABLE [timeout_A_1_9_0_7] | [IS-FIREABLE [timeout_A_1_8_0_7] | [IS-FIREABLE [timeout_A_1_7_0_7] | [IS-FIREABLE [timeout_A_1_6_0_7] | [IS-FIREABLE [timeout_A_1_5_0_7] | [IS-FIREABLE [timeout_A_1_4_0_7] | [IS-FIREABLE [timeout_A_1_3_0_7] | [IS-FIREABLE [timeout_A_1_2_0_7] | [IS-FIREABLE [timeout_A_1_1_0_7] | [IS-FIREABLE [timeout_A_1_0_0_7] | [IS-FIREABLE [timeout_A_1_20_0_6] | [IS-FIREABLE [timeout_A_1_19_0_6] | [IS-FIREABLE [timeout_A_1_18_0_6] | [IS-FIREABLE [timeout_A_1_17_0_6] | [IS-FIREABLE [timeout_A_1_16_0_6] | [IS-FIREABLE [timeout_A_1_15_0_6] | [IS-FIREABLE [timeout_A_1_14_0_6] | [IS-FIREABLE [timeout_A_1_13_0_6] | [IS-FIREABLE [timeout_A_1_12_0_6] | [IS-FIREABLE [timeout_A_1_11_0_6] | [IS-FIREABLE [timeout_A_1_10_0_6] | [IS-FIREABLE [timeout_A_1_9_0_6] | [IS-FIREABLE [timeout_A_1_8_0_6] | [IS-FIREABLE [timeout_A_1_7_0_6] | [IS-FIREABLE [timeout_A_1_6_0_6] | [IS-FIREABLE [timeout_A_1_5_0_6] | [IS-FIREABLE [timeout_A_1_4_0_6] | [IS-FIREABLE [timeout_A_1_3_0_6] | [IS-FIREABLE [timeout_A_1_2_0_6] | [IS-FIREABLE [timeout_A_1_1_0_6] | [IS-FIREABLE [timeout_A_1_0_0_6] | [IS-FIREABLE [timeout_A_1_20_0_5] | [IS-FIREABLE [timeout_A_1_19_0_5] | [IS-FIREABLE [timeout_A_1_18_0_5] | [IS-FIREABLE [timeout_A_1_17_0_5] | [IS-FIREABLE [timeout_A_1_16_0_5] | [IS-FIREABLE [timeout_A_1_15_0_5] | [IS-FIREABLE [timeout_A_1_14_0_5] | [IS-FIREABLE [timeout_A_1_13_0_5] | [IS-FIREABLE [timeout_A_1_12_0_5] | [IS-FIREABLE [timeout_A_1_11_0_5] | [IS-FIREABLE [timeout_A_1_10_0_5] | [IS-FIREABLE [timeout_A_1_9_0_5] | [IS-FIREABLE [timeout_A_1_8_0_5] | [IS-FIREABLE [timeout_A_1_7_0_5] | [IS-FIREABLE [timeout_A_1_6_0_5] | [IS-FIREABLE [timeout_A_1_5_0_5] | [IS-FIREABLE [timeout_A_1_4_0_5] | [IS-FIREABLE [timeout_A_1_3_0_5] | [IS-FIREABLE [timeout_A_1_2_0_5] | [IS-FIREABLE [timeout_A_1_1_0_5] | [IS-FIREABLE [timeout_A_1_0_0_5] | [IS-FIREABLE [timeout_A_1_20_0_4] | [IS-FIREABLE [timeout_A_1_19_0_4] | [IS-FIREABLE [timeout_A_1_18_0_4] | [IS-FIREABLE [timeout_A_1_17_0_4] | [IS-FIREABLE [timeout_A_1_16_0_4] | [IS-FIREABLE [timeout_A_1_15_0_4] | [IS-FIREABLE [timeout_A_1_14_0_4] | [IS-FIREABLE [timeout_A_1_13_0_4] | [IS-FIREABLE [timeout_A_1_12_0_4] | [IS-FIREABLE [timeout_A_1_11_0_4] | [IS-FIREABLE [timeout_A_1_10_0_4] | [IS-FIREABLE [timeout_A_1_9_0_4] | [IS-FIREABLE [timeout_A_1_8_0_4] | [IS-FIREABLE [timeout_A_1_7_0_4] | [IS-FIREABLE [timeout_A_1_6_0_4] | [IS-FIREABLE [timeout_A_1_5_0_4] | [IS-FIREABLE [timeout_A_1_4_0_4] | [IS-FIREABLE [timeout_A_1_3_0_4] | [IS-FIREABLE [timeout_A_1_2_0_4] | [IS-FIREABLE [timeout_A_1_1_0_4] | [IS-FIREABLE [timeout_A_1_0_0_4] | [IS-FIREABLE [timeout_A_1_20_0_3] | [IS-FIREABLE [timeout_A_1_19_0_3] | [IS-FIREABLE [timeout_A_1_18_0_3] | [IS-FIREABLE [timeout_A_1_17_0_3] | [IS-FIREABLE [timeout_A_1_16_0_3] | [IS-FIREABLE [timeout_A_1_15_0_3] | [IS-FIREABLE [timeout_A_1_14_0_3] | [IS-FIREABLE [timeout_A_1_13_0_3] | [IS-FIREABLE [timeout_A_1_12_0_3] | [IS-FIREABLE [timeout_A_1_11_0_3] | [IS-FIREABLE [timeout_A_1_10_0_3] | [IS-FIREABLE [timeout_A_1_9_0_3] | [IS-FIREABLE [timeout_A_1_8_0_3] | [IS-FIREABLE [timeout_A_1_7_0_3] | [IS-FIREABLE [timeout_A_1_6_0_3] | [IS-FIREABLE [timeout_A_1_5_0_3] | [IS-FIREABLE [timeout_A_1_4_0_3] | [IS-FIREABLE [timeout_A_1_3_0_3] | [IS-FIREABLE [timeout_A_1_2_0_3] | [IS-FIREABLE [timeout_A_1_1_0_3] | [IS-FIREABLE [timeout_A_1_0_0_3] | [IS-FIREABLE [timeout_A_1_20_0_2] | [IS-FIREABLE [timeout_A_1_19_0_2] | [IS-FIREABLE [timeout_A_1_18_0_2] | [IS-FIREABLE [timeout_A_1_17_0_2] | [IS-FIREABLE [timeout_A_1_16_0_2] | [IS-FIREABLE [timeout_A_1_15_0_2] | [IS-FIREABLE [timeout_A_1_14_0_2] | [IS-FIREABLE [timeout_A_1_13_0_2] | [IS-FIREABLE [timeout_A_1_12_0_2] | [IS-FIREABLE [timeout_A_1_11_0_2] | [IS-FIREABLE [timeout_A_1_10_0_2] | [IS-FIREABLE [timeout_A_1_9_0_2] | [IS-FIREABLE [timeout_A_1_8_0_2] | [IS-FIREABLE [timeout_A_1_7_0_2] | [IS-FIREABLE [timeout_A_1_6_0_2] | [IS-FIREABLE [timeout_A_1_5_0_2] | [IS-FIREABLE [timeout_A_1_4_0_2] | [IS-FIREABLE [timeout_A_1_3_0_2] | [IS-FIREABLE [timeout_A_1_2_0_2] | [IS-FIREABLE [timeout_A_1_1_0_2] | [IS-FIREABLE [timeout_A_1_0_0_2] | [IS-FIREABLE [timeout_A_1_20_0_1] | [IS-FIREABLE [timeout_A_1_19_0_1] | [IS-FIREABLE [timeout_A_1_18_0_1] | [IS-FIREABLE [timeout_A_1_17_0_1] | [IS-FIREABLE [timeout_A_1_16_0_1] | [IS-FIREABLE [timeout_A_1_15_0_1] | [IS-FIREABLE [timeout_A_1_14_0_1] | [IS-FIREABLE [timeout_A_1_13_0_1] | [IS-FIREABLE [timeout_A_1_12_0_1] | [IS-FIREABLE [timeout_A_1_11_0_1] | [IS-FIREABLE [timeout_A_1_10_0_1] | [IS-FIREABLE [timeout_A_1_9_0_1] | [IS-FIREABLE [timeout_A_1_8_0_1] | [IS-FIREABLE [timeout_A_1_7_0_1] | [IS-FIREABLE [timeout_A_1_6_0_1] | [IS-FIREABLE [timeout_A_1_5_0_1] | [IS-FIREABLE [timeout_A_1_4_0_1] | [IS-FIREABLE [timeout_A_1_3_0_1] | [IS-FIREABLE [timeout_A_1_2_0_1] | [IS-FIREABLE [timeout_A_1_0_0_1] | IS-FIREABLE [timeout_A_1_1_0_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]]] & ~ [[IS-FIREABLE [enregistrement_B_20] | [IS-FIREABLE [enregistrement_B_19] | [IS-FIREABLE [enregistrement_B_18] | [IS-FIREABLE [enregistrement_B_17] | [IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]] & [IS-FIREABLE [altern_cpt_2_20] | IS-FIREABLE [altern_cpt_1_20]]] & [IS-FIREABLE [decision_2_19] | [IS-FIREABLE [decision_1_19] | [IS-FIREABLE [decision_2_18] | [IS-FIREABLE [decision_1_18] | [IS-FIREABLE [decision_2_17] | [IS-FIREABLE [decision_1_17] | [IS-FIREABLE [decision_2_16] | [IS-FIREABLE [decision_1_16] | [IS-FIREABLE [decision_2_15] | [IS-FIREABLE [decision_1_15] | [IS-FIREABLE [decision_2_14] | [IS-FIREABLE [decision_1_14] | [IS-FIREABLE [decision_2_13] | [IS-FIREABLE [decision_1_13] | [IS-FIREABLE [decision_2_12] | [IS-FIREABLE [decision_1_12] | [IS-FIREABLE [decision_2_11] | [IS-FIREABLE [decision_1_11] | [IS-FIREABLE [decision_2_10] | [IS-FIREABLE [decision_1_10] | [IS-FIREABLE [decision_2_9] | [IS-FIREABLE [decision_1_9] | [IS-FIREABLE [decision_2_8] | [IS-FIREABLE [decision_1_8] | [IS-FIREABLE [decision_2_7] | [IS-FIREABLE [decision_1_7] | [IS-FIREABLE [decision_2_6] | [IS-FIREABLE [decision_1_6] | [IS-FIREABLE [decision_2_5] | [IS-FIREABLE [decision_1_5] | [IS-FIREABLE [decision_2_4] | [IS-FIREABLE [decision_1_4] | [IS-FIREABLE [decision_2_3] | [IS-FIREABLE [decision_1_3] | [IS-FIREABLE [decision_2_2] | [IS-FIREABLE [decision_1_2] | [IS-FIREABLE [decision_2_1] | [IS-FIREABLE [decision_1_1] | [IS-FIREABLE [decision_1_0] | IS-FIREABLE [decision_2_0]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-1 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m0sec

checking: EF [[IS-FIREABLE [liberation_B] & [[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]] | IS-FIREABLE [enregistrement_B_2]] | IS-FIREABLE [enregistrement_B_3]] | IS-FIREABLE [enregistrement_B_4]] | IS-FIREABLE [enregistrement_B_5]] | IS-FIREABLE [enregistrement_B_6]] | IS-FIREABLE [enregistrement_B_7]] | IS-FIREABLE [enregistrement_B_8]] | IS-FIREABLE [enregistrement_B_9]] | IS-FIREABLE [enregistrement_B_10]] | IS-FIREABLE [enregistrement_B_11]] | IS-FIREABLE [enregistrement_B_12]] | IS-FIREABLE [enregistrement_B_13]] | IS-FIREABLE [enregistrement_B_14]] | IS-FIREABLE [enregistrement_B_15]] | IS-FIREABLE [enregistrement_B_16]] | IS-FIREABLE [enregistrement_B_17]] | IS-FIREABLE [enregistrement_B_18]] | IS-FIREABLE [enregistrement_B_19]] | IS-FIREABLE [enregistrement_B_20]] & [IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]]] & [IS-FIREABLE [liberation_B] & [[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_A_0] | IS-FIREABLE [enregistrement_A_1]] | IS-FIREABLE [enregistrement_A_2]] | IS-FIREABLE [enregistrement_A_3]] | IS-FIREABLE [enregistrement_A_4]] | IS-FIREABLE [enregistrement_A_5]] | IS-FIREABLE [enregistrement_A_6]] | IS-FIREABLE [enregistrement_A_7]] | IS-FIREABLE [enregistrement_A_8]] | IS-FIREABLE [enregistrement_A_9]] | IS-FIREABLE [enregistrement_A_10]] | IS-FIREABLE [enregistrement_A_11]] | IS-FIREABLE [enregistrement_A_12]] | IS-FIREABLE [enregistrement_A_13]] | IS-FIREABLE [enregistrement_A_14]] | IS-FIREABLE [enregistrement_A_15]] | IS-FIREABLE [enregistrement_A_16]] | IS-FIREABLE [enregistrement_A_17]] | IS-FIREABLE [enregistrement_A_18]] | IS-FIREABLE [enregistrement_A_19]] | IS-FIREABLE [enregistrement_A_20]]]] & ~ [~ [[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]] | IS-FIREABLE [enregistrement_B_2]] | IS-FIREABLE [enregistrement_B_3]] | IS-FIREABLE [enregistrement_B_4]] | IS-FIREABLE [enregistrement_B_5]] | IS-FIREABLE [enregistrement_B_6]] | IS-FIREABLE [enregistrement_B_7]] | IS-FIREABLE [enregistrement_B_8]] | IS-FIREABLE [enregistrement_B_9]] | IS-FIREABLE [enregistrement_B_10]] | IS-FIREABLE [enregistrement_B_11]] | IS-FIREABLE [enregistrement_B_12]] | IS-FIREABLE [enregistrement_B_13]] | IS-FIREABLE [enregistrement_B_14]] | IS-FIREABLE [enregistrement_B_15]] | IS-FIREABLE [enregistrement_B_16]] | IS-FIREABLE [enregistrement_B_17]] | IS-FIREABLE [enregistrement_B_18]] | IS-FIREABLE [enregistrement_B_19]] | IS-FIREABLE [enregistrement_B_20]]]]]]]
normalized: E [true U [IS-FIREABLE [liberation_B] & [[IS-FIREABLE [enregistrement_B_20] | [IS-FIREABLE [enregistrement_B_19] | [IS-FIREABLE [enregistrement_B_18] | [IS-FIREABLE [enregistrement_B_17] | [IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] & [[IS-FIREABLE [liberation_B] & [IS-FIREABLE [enregistrement_A_20] | [IS-FIREABLE [enregistrement_A_19] | [IS-FIREABLE [enregistrement_A_18] | [IS-FIREABLE [enregistrement_A_17] | [IS-FIREABLE [enregistrement_A_16] | [IS-FIREABLE [enregistrement_A_15] | [IS-FIREABLE [enregistrement_A_14] | [IS-FIREABLE [enregistrement_A_13] | [IS-FIREABLE [enregistrement_A_12] | [IS-FIREABLE [enregistrement_A_11] | [IS-FIREABLE [enregistrement_A_10] | [IS-FIREABLE [enregistrement_A_9] | [IS-FIREABLE [enregistrement_A_8] | [IS-FIREABLE [enregistrement_A_7] | [IS-FIREABLE [enregistrement_A_6] | [IS-FIREABLE [enregistrement_A_5] | [IS-FIREABLE [enregistrement_A_4] | [IS-FIREABLE [enregistrement_A_3] | [IS-FIREABLE [enregistrement_A_2] | [IS-FIREABLE [enregistrement_A_0] | IS-FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]] & [[IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]] & [IS-FIREABLE [enregistrement_B_20] | [IS-FIREABLE [enregistrement_B_19] | [IS-FIREABLE [enregistrement_B_18] | [IS-FIREABLE [enregistrement_B_17] | [IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-2 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m2sec

checking: AG [~ [~ [~ [[[IS-FIREABLE [basculement_1] | IS-FIREABLE [basculement_2]] & [IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]]]]]]]
normalized: ~ [E [true U [[IS-FIREABLE [altern_cpt_1_20] | IS-FIREABLE [altern_cpt_2_20]] & [IS-FIREABLE [basculement_1] | IS-FIREABLE [basculement_2]]]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P10N20-ReachabilityFireability-3 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m0sec

checking: EF [~ [[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]] | IS-FIREABLE [enregistrement_B_2]] | IS-FIREABLE [enregistrement_B_3]] | IS-FIREABLE [enregistrement_B_4]] | IS-FIREABLE [enregistrement_B_5]] | IS-FIREABLE [enregistrement_B_6]] | IS-FIREABLE [enregistrement_B_7]] | IS-FIREABLE [enregistrement_B_8]] | IS-FIREABLE [enregistrement_B_9]] | IS-FIREABLE [enregistrement_B_10]] | IS-FIREABLE [enregistrement_B_11]] | IS-FIREABLE [enregistrement_B_12]] | IS-FIREABLE [enregistrement_B_13]] | IS-FIREABLE [enregistrement_B_14]] | IS-FIREABLE [enregistrement_B_15]] | IS-FIREABLE [enregistrement_B_16]] | IS-FIREABLE [enregistrement_B_17]] | IS-FIREABLE [enregistrement_B_18]] | IS-FIREABLE [enregistrement_B_19]] | IS-FIREABLE [enregistrement_B_20]] | [[[[[[[[[[[[[[[[[[[[IS-FIREABLE [enregistrement_A_0] | IS-FIREABLE [enregistrement_A_1]] | IS-FIREABLE [enregistrement_A_2]] | IS-FIREABLE [enregistrement_A_3]] | IS-FIREABLE [enregistrement_A_4]] | IS-FIREABLE [enregistrement_A_5]] | IS-FIREABLE [enregistrement_A_6]] | IS-FIREABLE [enregistrement_A_7]] | IS-FIREABLE [enregistrement_A_8]] | IS-FIREABLE [enregistrement_A_9]] | IS-FIREABLE [enregistrement_A_10]] | IS-FIREABLE [enregistrement_A_11]] | IS-FIREABLE [enregistrement_A_12]] | IS-FIREABLE [enregistrement_A_13]] | IS-FIREABLE [enregistrement_A_14]] | IS-FIREABLE [enregistrement_A_15]] | IS-FIREABLE [enregistrement_A_16]] | IS-FIREABLE [enregistrement_A_17]] | IS-FIREABLE [enregistrement_A_18]] | IS-FIREABLE [enregistrement_A_19]] | IS-FIREABLE [enregistrement_A_20]]]]]
normalized: E [true U ~ [[[IS-FIREABLE [enregistrement_A_20] | [IS-FIREABLE [enregistrement_A_19] | [IS-FIREABLE [enregistrement_A_18] | [IS-FIREABLE [enregistrement_A_17] | [IS-FIREABLE [enregistrement_A_16] | [IS-FIREABLE [enregistrement_A_15] | [IS-FIREABLE [enregistrement_A_14] | [IS-FIREABLE [enregistrement_A_13] | [IS-FIREABLE [enregistrement_A_12] | [IS-FIREABLE [enregistrement_A_11] | [IS-FIREABLE [enregistrement_A_10] | [IS-FIREABLE [enregistrement_A_9] | [IS-FIREABLE [enregistrement_A_8] | [IS-FIREABLE [enregistrement_A_7] | [IS-FIREABLE [enregistrement_A_6] | [IS-FIREABLE [enregistrement_A_5] | [IS-FIREABLE [enregistrement_A_4] | [IS-FIREABLE [enregistrement_A_3] | [IS-FIREABLE [enregistrement_A_2] | [IS-FIREABLE [enregistrement_A_0] | IS-FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]] | [IS-FIREABLE [enregistrement_B_20] | [IS-FIREABLE [enregistrement_B_19] | [IS-FIREABLE [enregistrement_B_18] | [IS-FIREABLE [enregistrement_B_17] | [IS-FIREABLE [enregistrement_B_16] | [IS-FIREABLE [enregistrement_B_15] | [IS-FIREABLE [enregistrement_B_14] | [IS-FIREABLE [enregistrement_B_13] | [IS-FIREABLE [enregistrement_B_12] | [IS-FIREABLE [enregistrement_B_11] | [IS-FIREABLE [enregistrement_B_10] | [IS-FIREABLE [enregistrement_B_9] | [IS-FIREABLE [enregistrement_B_8] | [IS-FIREABLE [enregistrement_B_7] | [IS-FIREABLE [enregistrement_B_6] | [IS-FIREABLE [enregistrement_B_5] | [IS-FIREABLE [enregistrement_B_4] | [IS-FIREABLE [enregistrement_B_3] | [IS-FIREABLE [enregistrement_B_2] | [IS-FIREABLE [enregistrement_B_0] | IS-FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]


before gc: list nodes free: 362421

after gc: idd nodes used:2224684, unused:61775316; list nodes free:322394729

BK_TIME_CONFINEMENT_REACHED

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

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


initing FirstDep: 0m0sec

231 2935 5441 7988 9535 12140 14735 17302 19823 22280 24655 26930 29006 30856 32486 33902 35110 36116 36932 37570 38036 42175 42367 42700 42952 43228 43525 43834 44155 44488 44833 45025 45045 45070 45084 45115 45150 45189 45231 45255 45304 45357 45385 45442 45498 45528 45585 45613 45669 45699 45756 45784 45840 45870 45898 45954 45962 46377 46381 46386 46391 46396 46401 46403 46408 46413 46441 46421 46426 46428 46433 46463 46441 46446 46448 46478 46456 46461 46463 46493 46471 46476 83836 84050 84191 84350 84463 84539 84591 84671 84745 84791 84962 89313 93597 100103 107531 115721 124513 133747 143263 152901 162501 171363 179267 186213 192201 197231 201303 204417 206573 207771 323259 465081 465594 466335 467304 468501 469869 471921 473289 474657 476025 476104 476119 476154 476187 476218 476247 476261 476287 476311 476344 476343 476362 476362 476362 476374 476362 476362 476362 476374 476362 476362 476362 476374 476547 476637 476668 476695 476735 476727 476744 476757 476766 476770 476773 476807 476769 476747 476737 476715 476728 476681 476659 476649 476662 476615 476605 476583 476608 476583 496353 495342 494724 494177 494193 493794 494778 495038 495158 494838 493898 493758 493758 493758 493758 493758 493758 493758 493758 494638 494418 494198 493978 491630 498893 498494 497867 497012 495929 494675 493421 492167 490913 489659 489713 489799 489824 489845 489862 489869 489880 489887 489911 489890 489887 489880 489867 489841 489840 489802 489789 489763 489762 489724 489711 489685 489684 486537 487803 488583 489101 489281 489927 489927 491067 491257 491409 491523 491599 491637 491637 491599 491390 491181 490972 489927 489927 489927 489927 507734 507464 506978 506276 505358 504224 503036 501848 500660 499472 499526 499615 499648 499679 499708 499722 499748 499772 499804 499804 499823 499840 499840 499840 499852 499840 499840 499840 499852 499840 499840 499852 506415 506415 506415 506415 506379 507189 507387 507549 507675 507765 507819 507837 507819 507765 507567 507369 507171 506973 506775 506577 508045 516771 516414 515853 515088 514119 512436 511314 510192 509665 509753 509766 509797 509826 509853 509878 509890 509912 509932 509961 509958 509973 509973 509973 509985 509973 509973 509973 509985 509973 513678 515678 515678 515678 515626 516119 515728 515660 515660 515660 515660 515660 515660 515660 516595 516408 516221 516034 515847 517148 524753 524417 523889 523169 522257 521201 520145 519089 518593 518673 518703 518731 518757 518788 518810 518813 518832 518849 518857 518871 518889 518877 518877 518877 518889 518889 518877 518877 523772 523772 523772 523418 523770 523770 523770 523770 523770 523770 523770 523770 523770 524474 524298 524122 523946 525090 531650 531335 530840 530165 529310 528320 527330 526340 526385 526459 526486 526511 526534 526545 526565 526583 526609 526606 526619 526630 526630 526630 526642 526630 526630 526630 530775 530775 530775 530397 530787 530787 530787 530787 530787 530787 530787 531537 531447 531282 531117 530952 531949 537540 537246 536784 536154 535356 534432 533508 533074 533144 533170 533194 533216 533243 533261 533262 533277 533290 533296 533306 533322 533310 533310 533310 533322 536765 536765 536765 536481 536789 536789 536789 536789 537181 537461 537419 537349 537251 537097 536943 537803 542501 542228 541799 541214 540473 539615 538757 538796 538860 538883 538904 538923 538940 538948 538962 538974 538995 538988 538995 538995 538995 539007 541820 541820 541820 541568 541854 541854 542114 542400 542400 542374 542322 542244 542140 541997 542730 546611 546359 545963 545423 544739 543947 543575 543635 543657 543677 543695 543711 543733 543731 543742 543751 543755 543761 543775 543763 545766 546018 546018 545820 546060 546060 546060 546132 546480 546444 546384 546300 546192 546808 549948 549717 549354 548859 548232 547506 547539 547593 547612 547629 547644 547651 547663 547673 547691 547698 547689 547692 547692 549437 549437 549287 549485 549485 549485 549485 549485 549485 549485 549595 550115 552590 552380 552050 551600 551030 550720 550770 550788 550804 550824 550824 550835 550844 550851 550854 550858 550872 552165 552165 552165 552217 552427 552457 552217 552217 552217 552217 552217 554661 554526 554283 553932 553473 553221 553266 553282 553296 553308 553325 553322 553329 553334 553336 553338 554278 554278 554332 554494 554512 554512 554494 554458 554404 554740 556105 555817 555505 555097 555121 555160 555167 555179 555189 555197 555203 555216 555208 555860 555860 555804 555900 556028 556020 555996 555956 556208 557165 557018 556787 556472 556493 556527 556538 556547 556554 556557 556561 556563 556992 556950 557020 557020 557020 557020 557020 557913 557823 557661 557427 557445 557474 557483 557490 557495 557498 557499 557764 557782 557836 557830 557812 557932 558322 558217 558052 558067 558091 558098 558103 558106 558197 558257 558267 558267 558267 558596 558536 558428 558440 558459 558464 558467 558468 558531 558547 558547 558708 558663 558633 558648 558652 558654 558685 558685 558703 558730 558716 558726 558728 558735 558739 558781 558745 558738 558842 558729 558729 558729 558729 558729 558729 558729 558884 558729 558729 558729 558729 558832 558729 558729 558729 558793 558729 558729 558767 558729 558732 555696 555291 555216 555147 555251 555439 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 555229 558034 557687 557210 556649 556052 555491 555062 554765 554600 554599 554567 554560 554652 554658 554540 554540 554540 554540 554540 554540 554682 554540 554540 554540 554540 554630 554540 554540 554540 554591 554540 554540 554565 550427 550243 550165 550123 550195 550510 550559 550585 550591 550580 550555 550519 550475 550426 550360 550305 550261 550195 550195 552368 552130 551767 551320 550837 550366 550003 549772 549673 549673 549670 549662 549652 549646 549633 549633 549633 549764 549633 549633 549633 549633 549736 549633 549633 549633 549633 549684 549633 549633 549658 546036 545906 545840 545689 545871 545871 545871 545871 545871 545871 545871 545871 545871 545871 545871 545871 545871 547252 546989 546644 546263 545894 545597 545432 545423 545399 545392 545460 545462 545366 545352 545344 545344 545344 545344 545460 545344 545344 545344 545344 545408 545344 545344 545344 545369 542443 542191 542131 542013 542145 542145 542145 542145 542145 542145 542235 542205 542178 542156 541937 542971 542750 542471 542180 541925 541760 541747 541727 541720 541711 541700 541774 541680 541664 541655 541655 541655 541655 541745 541655 541655 541655 541706 541655 541655 541655 539095 539017 538912 539002 539002 539002 539002 539002 539002 539002 539002 539002 539474 539230 539017 538816 538675 538658 538642 538679 538679 538621 538609 538595 538579 538570 538551 538551 538641 538551 538551 538551 538551 538589 538551 538551 536494 536438 536428 536493 536490 536480 536466 536451 536438 536284 536554 536417 536270 536159 536144 536132 536125 536116 536105 536092 536139 536069 536051 536031 536020 536020 536084 536020 536020 536020 536020 534493 534433 534390 534420 534420 534420 534426 534308 534385 534290 534209 534196 534188 534205 534201 534167 534155 534141 534125 534116 534097 534076 534117 534053 534053 534053 534053 533020 532980 532954 532966 532970 532890 532872 532819 532808 532804 532811 532805 532783 532771 532757 532741 532732 532713 532692 532707 532657 532644 532644 532086 532070 532065 532027 531988 531993 531975 531968 531959 531948 532014 531928 531912 531894 531884 531863 531840 531944 531802 531789 531789 531892 531789 531789 531789 531853 531789 531789 531789 531814 531789 529627 529381 529225 529091 528992 529152 529184 529205 529212 529212 529200 529185 529160 529136 529092 529059 529026 529004 528982 528971 528353 529276 529073 528821 528542 528260 528029 527864 527765 527746 527732 527732 527779 527787 527732 527732 527732 527732 527732 527732 527835 527732 527732 527732 527732 527822 527732 527732 527732 527783 527732 527732 527757 524661 524603 524561 524379 524477 524477 524477 524477 524477 524477 524477 524477 524477 524477 524477 524488 524409 525350 525213 525033 524832 524634 524469 524370 524349 524337 524330 524362 524358 524304 524290 524274 524256 524246 524225 524292 524190 524164 524151 524125 524202 524125 524125 524125 524163 524125 524125 521526 521484 521352 521412 521412 521412 521412 521412 521412 521412 521412 521412 521412 521837 521689 521557 521422 521308 521242 521242 521242 521242 521242 521242 521242 521242 521291 521242 521242 521242 521242 521242 521306 521242 521242 521242 521293 521242 521242 521242 519584 519544 519476 519508 519508 519508 519508 519515 519516 519446 519628 519554 519473 519407 519386 519380 519373 519387 519380 519347 519333 519317 519308 519289 519268 519296 519233 519207 519194 519168 519193 519142 519142 519142 517868 517844 517811 517835 517831 517828 517769 517778 517734 517701 517701 517701 517701 517701 517701 517701 517701 517701 517722 517701 517701 517701 517701 517726 517701 517701 517701 517726 517315 517305 517297 517299 517272 517259 517247 517244 517236 517226 517214 517200 517192 517175 517156 517218 517124 517100 517087 517061 517125 517022 516996 516983 517060 516983 516983 516983 517021 516983 516986 515606 515374 515200 515084 515021 515111 515131 515141 515147 515145 515135 515126 515111 515090 515068 515046 515024 515013 515002 514425 514846 514664 514508 514331 514142 514010 513911 513845 513845 513845 513845 513845 513845 513845 513845 513894 513845 513845 513845 513845 513845 513909 513845 513845 513845 513909 513845 513845 513845 513883 513845 513845 511845 511813 511707 511759 511759 511759 511759 511759 511759 511759 511759 511759 511759 511759 512188 512128 512033 511916 511814 511688 511661 511655 511655 511655 511655 511655 511655 511655 511655 511655 511702 511655 511655 511655 511655 511706 511655 511655 511655 511706 511655 511655 511655 510236 510206 510155 510179 510179 510179 510179 510193 510187 510129 510266 510213 510147 510102 510079 510075 510068 510076 510068 510042 510028 510012 510003 509984 509963 509978 509928 509902 509889 509863 509875 509824 509811 509785 509810 508774 508750 508727 508733 508733 508733 508698 508672 508643 508631 508631 508631 508631 508631 508631 508631 508631 508685 508631 508631 508631 508631 508631 508695 508631 508631 508631 508695 508631 508631 508682 508669 508631 508634 508009 507849 507684 507582 507538 507594 507606 507615 507618 507615 507606 507600 507590 507576 507554 507543 507532 507510 507190 507130 507035 506918 506792 506666 506567 506501 506474 506468 506468 506468 506495 506468 506468 506468 506468 506468 506468 506519 506468 506468 506468 506468 506519 506468 506468 506468 506519 506468 506468 506493 504929 504905 504887 504863 504899 504903 504903 504899 504863 504863 504863 504863 505056 505009 504955 504877 504826 504763 504763 504760 504752 504742 504730 504723 504708 504691 504704 504662 504640 504616 504603 504577 504589 504538 504525 504499 504511 504460 504447 504472 503334 503314 503292 503300 503300 503305 503262 503266 503245 503210 503196 503196 503196 503196 503196 503196 503196 503235 503196 503196 503196 503196 503196 503247 503196 503196 503196 503247 503196 503196 503196 503247 503196 503196 503221 503196 502814 502650 502538 502505 502542 502551 502554 502557 502556 502551 502542 502529 502523 502512 502501 502479 502048 502003 501920 501842 501740 501647 501581 501515 501515 501515 501515 501515 501515 501515 501515 501544 501547 501515 501515 501515 501515 501553 501515 501515 501515 501553 501515 501515 501515 501553 501515 501515 500441 500425 500410 500431 500430 500430 500428 500424 500418 500374 500483 500439 500406 500361 500336 500334 500334 500334 500334 500334 500351 500334 500334 500334 500334 500334 500359 500334 500334 500334 500334 500359 500334 500334 500334 500359 499837 499823 499813 499815 499788 499771 499757 499754 499746 499741 499730 499717 499702 499724 499676 499656 499634 499622 499597 499622 499558 499532 499519 499544 499480 499454 499441 499466 499415 499415 499440 499415 498768 498616 498530 498503 498527 498535 498539 498539 498479 498479 498479 498479 498479 498479 498479 497967 497926 497872 497794 497717 497654 497588 497557 497555 497555 497555 497555 497555 497572 497555 497555 497555 497555 497555 497580 497555 497555 497555 497555 497580 497555 497555 497580 497580 497555 497555 496999 496991 496971 496993 496993 496991 496987 496961 497014 496993 496960 496925 496921 496921 496921 496941 496944 496921 496921 496921 496921 496921 496959 496921 496921 496921 496921 496959 496921 496921 496921 496959 496921 496921 496921 496946 496921 496890 496738 496624 496603 496620 496625 496626 496623 496623 496621 496617 496611 496581 496581 496084 496054 496000 495941 495890 495827 495761 495761 495761 495761 495761 495761 495761 495761 495761 495782 495761 495761 495761 495761 495786 495761 495761 495761 495786 495786 495761 495761 495786 495761 495761 495207 495201 495195 495201 495195 495195 495180 495151 495135 495135 495135 495135 495135 495135 495135 495164 495135 495135 495135 495135 495135 495173 495135 495135 495135 495173 495135 495135 495135 495173 495135 495135 495160 495135 494942 494817 494725 494729 494729 494729 494729 494729 494729 494729 494729 494729 494729 494212 494168 494135 494090 494033 493967 493967 493967 493967 493967 493967 493967 493967 493986 493967 493967 493967 493967 493967 493992 493967 493967 493967 493992 493967 493967 493967 493992 493967 493967 493419 493413 493409 493389 493376 493353 493349 493342 493333 493322 493332 493320 493286 493268 493248 493237 493214 493227 493176 493150 493137 493149 493123 493072 493059 493071 493020 492994 492981 493006 492981 492568 492440 492343 492343 492343 492343 492343 492343 492343 492343 492343 492343 491841 491803 491770 491725 491668 491635 491633 491642 491644 491633 491633 491633 491633 491633 491633 491633 491658 491633 491633 491633 491658 491658 491633 491633 491633 491658 491633 491633 491658 491633 491636 491876 491750 491687 491676 491681 491660 491660 491660 491660 491660 491660 491226 491211 491184 491145 491094 491064 491062 491062 491062 491062 491077 491079 491062 491062 491062 491062 491062 491087 491062 491062 491062 491087 491087 491062 491062 491087 491062 491062 491062 491087 491062 491135 491039 490991 490991 490991 490991 491009 491005 490999 490727 490587 490566 490533 490488 490461 490459 490459 490459 490472 490459 490459 490459 490459 490459 490459 490484 490459 490459 490459 490459 490484 490459 490459 490459 490484 490459 490459 490484 490484 490459 490473 490368 490326 490326 490326 490326 490326 490333 490095 489961 489940 489907 489860 489860 489860 489860 489860 489860 489860 489860 489879 489860 489860 489860 489860 489860 489885 489860 489860 489860 489885 489860 489860 489860 489885 489860 489860 489885 489860 489755 489683 489675 489677 489677 489675 489671 489467 489333 489306 489265 489265 489265 489265 489265 489265 489265 489265 489284 489265 489265 489265 489265 489265 489290 489265 489265 489265 489290 489265 489265 489265 489290 489265 489265 489290 489265 489083 489023 489016 489017 489016 489013 488843 488730 488694 488676 488674 488674 488674 488674 488674 488674 488674 488674 488674 488697 488674 488674 488674 488674 488699 488674 488674 488674 488699 488674 488674 488674 488699 488674 488677 488451 488391 488355 488355 488355 488355 488131 488116 488087 488087 488087 488087 488087 488087 488087 488087 488087 488087 488110 488087 488087 488087 488087 488112 488087 488087 488087 488112 488087 488087 488087 488112 488087 488090 487778 487733 487706 487706 487706 487533 487518 487506 487504 487504 487504 487504 487519 487504 487504 487504 487504 487504 487504 487529 487504 487504 487504 487529 487504 487504 487504 487529 487504 487504 487504 487529 487504 487097 487067 487063 486995 486936 486927 486925 486925 486936 486925 486925 486925 486925 486925 486925 486925 486950 486925 486925 486925 486925 486950 486925 486925 486925 486950 486925 486925 486950 486925 486925 486441 486426 486420 486360 1019363 1509233 1762086 1843704 1911707
iterations count:2318427 (2395), effective:15786 (16)

initing FirstDep: 0m0sec

1288233 1405208 1405197 1405186 1405178 1405168 1405162 1405154 1405147 1405142 1405135 1405129 1405125 1405119 1405113 1405107 1405104 1405099 1405094 1405089 1405086 1405081 1405077 1405072 1405070 1405066 1405062 1405057 1405053 1405057 1405061 1405065 1405068 1405072 1405076 1405079 1405083 1405087 1405090 1405094 1405097 1405100 1405104 1405107 1405110 1405114 1405117 1405120 1405123 1405126 1405129 1405132 1405135 1405138 1405141 1405144 1405147 1405150 1405153 1405156 1405158 1405161 1405164 1405167 1405169 1405172 1405175 1405177 1405180 1405183 1405185 1405188 1405190 1405193 1405195 1405198 1405200 1405203 1405205 1405208 1405210 1405213 1405215 1405217 1405220 1405222 1405224 1405227 1405229 1405231 1405234 1405210 1405186 1405162 1405126 1405102 1405078 1405054 1405018 1405007 1539659 1598621 1647503 1686305 1715027 1734509 1750082 1753814 1754793 1768206 1767956 1767404 1944444 1948917 1948799 1948663 1948493 1948289 1948051 1947779 1947473 1947133 1946759 1946385 1946011 1945637 1945263 1944889 1944515 1944141 1943767 1943393 1943138 1942985 1942764 1942475 1942118 1941727 1941353 1940979 1940605 1940418 1939927 1939799 1939623 1939383 1939079 1938711 1938535 1938183 1937831 1937479 1937127 1936802 1936682 1936517 1936292 1936157 1935842 1935497 1935167 1935002 1934672 1934342 1933831 1933775 1933649 1933467 1933355 1933089 1932767 1932459 1932305 1931997 1931689 1931535 1931014 1930910 1930845 1930676 1930572 1930325 1930026 1929883 1929597 1929311 1929168 1928882 1928739 1928303 1928195 1928123 1927943 1927835 1927583 1927439 1927175 1926911 1926779 1926515 1926383 1925842 1925798 1925699 1925633 1925468 1925369 1925138 1925006 1924764 1924643 1924401 1924280 1924038 1923917 1923447 1923407 1923297 1923227 1923057 1922957 1922727 1922617 1922397 1922287 1922067 1921957 1921847 1921346 1921310 1921229 1921175 1921040 1920959 1920869 1920662 1920563 1920365 1920266 1920167 1919969 1919870 1919419 1919387 1919355 1919267 1919211 1919147 1918995 1918907 1918723 1918635 1918547 1918371 1918283 1918195 1918019 1917706 1917678 1917615 1917573 1917524 1917405 1917335 1917258 1917097 1917020 1916943 1916789 1916712 1916635 1916481 1916207 1916183 1916129 1916093 1916051 1916003 1915889 1915823 1915751 1915619 1915553 1915487 1915421 1915289 1915223 1915157 1914902 1914882 1914857 1914827 1914752 1914707 1914657 1914602 1914487 1914432 1914377 1914322 1914212 1914157 1914102 1914047 1913835 1913819 1913799 1913775 1913747 1913679 1913639 1913595 1913547 1913459 1913415 1913371 1913327 1913283 1913195 1913151 1912994 1912982 1912970 1912937 1912916 1912892 1912865 1912835 1912802 1912733 1912700 1912667 1912634 1912601 1912535 1912502 1912469 1912351 1912343 1912335 1912313 1912299 1912283 1912265 1912245 1912223 1912199 1912155 1912133 1912111 1912089 1912067 1912045 1912001 1911922 1911918 1911914 1911909 1911903 1911896 1911888 1911869 1911858 1911846 1911835 1911824 1911813 1911802 1911791 1911780 1911758 1911747 1911707
iterations count:373672 (386), effective:1000 (1)
306325 333592 335115 335045 335281 335300 336657 338463 339986 339916 340152 340171 341472 343242 344705 344908 344941 346242 348003 349506 349656 349692 350993 352744 354227 354397 354218 355735 359006 358906 358925 360442 363741 363601 363607 365124 368390 368270 369614 371162 372589 372325 373842 376645 376358 377875 380554 380266 381783 384281 384052 385569 387866 389221 390403 391258 392775 394678 396195 398069 399481 400480 402657 403595 405711 406512 408528 408590 438394 438280 438330 438378 465314 506481 508554 512700 516975 521769 524619 530061 534336 540426 543276 546126 552864 555714 558564 564525 568800 573075 575925 583959 586809 589659 592509 599766 604041 608316 611166 613944 623022 625620 628218 630816 633414 643521 645867 648213 650559 652905 655179 663753 665847 668988 671082 673176 675198 683358 685200 687042 688884 691647 693489 700386 702771 704361 705951 707541 709131 711516 717909 719916 721254 722592 723930 725268 726606 727944 734811 735897 736983 738069 739155 740241 741327 742413 748308 749142 749976 750810 751644 752478 753312 754146 754908 759669 760251 760833 761415 761997 762579 763161 763743 764119 767701 768037 768373 768709 769045 769381 769717 770053 770398 811309 811241 811209 810874 810823 810723 810371 810337 810405 810271 810203 809902 809817 809783 809749 809649 809365 809263 809229 809195 809161 809061 808709 808675 808845 808777 808709 808641 808439 808087 808053 808257 808189 808121 808053 807985 807851 807783 807550 807397 807567 807499 807431 807363 807295 807161 807093 806877 806707 806673 806639 806775 806707 806639 806571 806437 806369 806170 805983 805949 805915 805881 805847 805949 805881 805813 805679 805611 805446 805259 805225 805191 805157 805123 805089 805191 805123 805055 804921 804853 804688 804501 804501 804467 804433 804399 804365 804501 804433 804365 804297 804163 804095 803930 803743 803743 803743 803709 803675 803879 803811 803743 803675 803607 803539 803405 803337 803172 802985 802985 802985 803325 803257 803189 803121 803053 802985 802917 802849 802781 802647 802579 802414 802227 802601 802601 802601 802567 802499 802431 802363 802295 802227 802159 802091 801921 801821 801469 801469 801843 801843 801843 801843 801843 801809 801741 801673 801605 801537 801265 801231 801197 801163 801063 800711 800711 801085 801085 801085 801085 801085 801085 800677 800643 800609 800575 800541 800507 800473 800439 800405 800305 799953 799953 800327 800327 799953 799953 799953 799953 799953 799919 799885 799851 799817 799783 799749 799817 799749 799615 799547 799382 799195 799195 799195 799195 799195 799195 799195 799195 799195 799161 799399 799331 799263 799195 799127 799059 798991 798857 798789 798403 798369 798210 798125 798091 797949 797898 797779 797603 797569 797535 797501 797433 797257 797223 797189 797155 797121 797053 796877 796843 796809 796809 796758 796673 796639 796565 796514 796463 796412 796361 796310 796225 796015 795981 795947 795913 795879 795845 795811 795777 795709 795533 795499 795465 795431 795465 795414 795363 795312 795227 795193 795170 795119 795068 795017 794966 794915 794779 794745 794711 794643 794467 794467 794433 794399 794365 794331 794297 794263 794263 794212 794127 794093 794104 794104 794070 794019 793968 793917 793866 793815 793679 793645 793611 793543 793367 793367 793367 793367 793333 793299 793265 793231 793197 793214 793163 793112 793027 792993 793004 793004 793004 793004 792970 792919 792868 792817 792647 792613 792579 792545 792511 792443 792267 792267 792267 792267 792267 792267 792233 792318 792267 792216 792165 792114 792063 792012 791927 791893 791904 791904 791904 791904 791904 791717 791683 791649 791615 791581 791547 791513 791479 791445 791411 791343 791167 791167 791354 791354 791354 791354 791354 791320 791269 791218 791167 791116 791065 791014 790895 790861 790793 790617 790617 790617 790617 790617 790617 790617 790617 790617 790583 790549 790617 790566 790515 790464 790413 790362 790277 790243 790254 790254 790254 790254 790254 790254 790254 790067 790067 790033 789999 789965 789931 789897 789863 789829 789795 789761 789693 789517 808307 808302 808344 836201 836983 837969 839159 840162 841335 842542 844106 845517 846690 847472 849087 850260 851042 851824 854425 855207 855989 858012 859185 859967 860749 861531 864540 865322 866104 866886 869283 870354 871068 871782 872853 875233 876202 876848 877494 878140 878786 881115 882271 882849 883427 884005 884583 886827 887592 888102 888867 889377 889887 890363 892709 893151 893593 894035 894698 895140 895548 897707 898081 898455 898829 899203 899577 900138 901923 902382 902688 902994 903300 903606 903912 904371 905935 906292 906530 906768 907006 907244 907482 907720 908043 909437 909607 909777 909947 910117 910287 910457 910712 910800 911873 911977 912081 912185 912289 912393 912497 912653 912757 915883 924896 924864 924717 924637 924605 924474 924426 924346 924314 924199 924151 924103 924023 923991 923892 923844 923796 923748 923636 923473 923441 923409 923377 923345 923313 923249 923086 923054 923022 922990 922958 922926 922862 922830 922779 922731 922683 922635 922587 922539 922491 922411 922379 922344 922296 922248 922200 922056 922024 921992 921960 921896 921733 921701 921669 921637 921605 921573 921541 921541 921493 921413 921381 921394 921362 921314 921266 921218 921170 921122 921074 920962 920930 920866 920703 920703 920703 920671 920639 920607 920575 920543 920511 920479 920463 920383 920351 920364 920364 920364 920332 920284 920236 920188 920140 920092 920044 919932 919900 919836 919673 919673 919673 919673 919673 919641 919609 919577 919545 919513 919481 919481 919433 919353 919321 919334 919334 919334 919334 919334 919302 919254 919206 919158 919110 918966 918934 918902 918870 918806 918643 918643 918643 918643 918643 918643 918643 918611 918579 918643 918595 918547 918499 918451 918403 918323 918291 918304 918304 918304 918304 918304 918304 918128 918096 918064 918032 918000 917968 917936 917904 917872 917840 917776 917613 917613 917613 917613 917789 917789 917789 917789 917757 917709 917661 917613 917565 917517 917469 917421 917325 917261 917098 917098 917098 917098 917098 917098 917098 917098 917098 917098 917066 917034 917002 917050 917002 916954 916906 916858 916778 916746 933975 933842 933875 933663 960477 961037 962157 963261 964941 966077 967181 967917 969613 970349 971085 972973 973709 974813 976893 977629 978365 979101 981373 982109 982845 983949 986413 987149 987885 988621 989325 991917 992589 993597 994269 994909 997453 998061 998669 999277 999885 1002381 1003197 1003741 1004285 1004829 1005373 1005885 1008237 1008957 1009437 1009917 1010397 1010877 1012877 1013501 1013917 1014541 1014957 1015373 1015789 1017645 1018173 1018525 1018877 1019405 1019757 1020109 1020429 1022253 1022541 1022829 1023117 1023549 1023837 1024125 1024381 1025965 1026189 1026413 1026637 1026861 1027197 1027421 1027645 1028877 1029117 1029277 1029437 1029597 1029837 1029997 1030157 1030317 1031232 1031379 1031477 1031575 1031673 1031820 1031918 1032016 1032114 1032164 1043574 1043514 1043364 1043334 1043274 1043124 1043094 1043064 1043004 1042854 1042824 1042794 1042764 1042704 1042554 1042524 1042494 1042464 1042434 1042374 1042224 1042194 1042209 1042164 1042119 1042044 1042014 1041954 1041909 1041864 1041819 1041774 1041729 1041654 1041474 1041579 1041534 1041384 1041354 1041324 1041294 1041264 1041204 1041054 1041024 1040994 1040964 1040934 1040904 1040904 1040859 1040784 1040754 1040739 1040694 1040649 1040604 1040559 1040514 1040469 1040424 1040379 1040274 1040124 1040124 1040094 1040064 1040034 1040004 1039974 1039944 1039914 1039884 1039854 1039794 1039644 1039644 1039644 1039734 1039689 1039644 1039599 1039554 1039509 1039464 1039419 1039344 1039314 1039329 1039329 1039329 1039299 1039104 1039074 1039044 1039014 1038984 1038954 1038924 1038894 1038834 1038684 1038684 1038684 1038684 1038819 1038774 1038729 1038684 1038639 1038594 1038549 1038504 1038459 1038384 1038354 1038369 1038369 1038369 1038369 1038204 1038174 1038144 1038114 1038084 1038054 1038024 1037994 1037964 1037934 1037874 1037724 1037724 1037724 1037889 1037889 1037889 1037859 1037814 1037769 1037724 1037679 1037634 1037589 1037544 1037454 1037394 1037244 1037244 1037244 1037244 1037244 1037244 1037244 1037244 1037214 1037184 1037154 1037124 1037094 1037109 1037064 1037019 1036944 1036914 1036929 1036929 1036929 1036929 1036929 1036929 1036929 1036929 1036899 1036854 1036809 1036644 1036614 1036584 1036554 1036524 1036494 1036434 1036284 1036284 1036284 1036284 1036284 1036284 1036284 1036284 1036449 1036419 1036374 1036329 1036284 1036239 1036194 1036149 1036104 1036059 1035984 1035954 1051673 1051578 1051624 1076181 1076871 1077741 1078791 1079676 1081056 1082466 1083156 1084401 1085436 1086126 1087551 1088586 1089621 1091226 1092261 1092951 1093641 1095426 1096461 1097151 1098186 1100151 1101186 1101876 1102566 1103256 1105371 1106316 1107261 1107891 1108521 1110621 1111476 1112046 1112616 1113186 1114011 1116321 1116831 1117341 1117851 1118361 1118871 1120851 1121751 1122201 1122651 1123101 1123551 1123971 1126041 1126431 1127016 1127406 1127796 1128186 1128546 1130451 1130781 1131111 1131441 1131936 1132266 1132596 1134171 1134576 1134846 1135116 1135386 1135791 1136061 1136331 1137711 1138026 1138236 1138446 1138656 1138971 1139181 1139391 1139571 1140801 1140951 1141101 1141251 1141401 1141626 1141776 1141926 1142004 1142951 1143043 1143135 1143227 1143319 1143457 1143549 1143641 1143733 1146399 1154356 1154328 1154205 1154135 1154107 1153998 1153956 1153886 1153858 1153763 1153721 1153679 1153609 1153581 1153500 1153458 1153416 1153374 1153304 1153276 1153209 1153167 1153125 1153083 1152999 1152943 1152806 1152778 1152750 1152722 1152694 1152666 1152638 1152582 1152445 1152417 1152389 1152361 1152333 1152305 1152291 1152221 1152193 1152168 1152126 1152084 1152042 1152000 1151958 1151916 1151874 1151804 1151776 1151765 1151723 1151681 1151639 1151499 1151471 1151443 1151415 1151387 1151331 1151194 1151194 1151166 1151138 1151110 1151082 1151054 1151068 1151026 1150984 1150914 1150886 1150903 1150903 1150875 1150833 1150791 1150749 1150707 1150665 1150623 1150525 1150497 1150441 1150304 1150304 1150304 1150304 1150276 1150248 1150220 1150192 1150164 1150136 1150108 1150094 1150024 1149996 1150013 1150013 1150013 1150013 1149985 1149943 1149901 1149859 1149817 1149775 1149733 1149635 1149607 1149551 1149414 1149414 1149414 1149414 1149414 1149414 1149386 1149358 1149330 1149302 1149274 1149246 1149246 1149204 1149134 1149106 1149123 1149123 1149123 1149123 1149123 1149123 1149095 1149053 1149011 1148969 1148927 1148801 1148773 1148745 1148717 1148661 1148524 1148524 1148524 1148524 1148524 1148524 1148524 1148524 1148496 1148468 1148440 1148482 1148440 1148398 1148356 1148314 1148244 1148216 1148233 1148233 1148233 1148233 1148233 1148233 1148233 1148233 1148205 1148023 1147995 1147967 1147939 1147911 1147883 1147855 1147827 1147771 1147634 1147634 1147634 1147634 1147634 1147634 1147634 1147788 1147788 1147760 1147718 1147676 1147634 1147592 1147550 1147508 1147466 1147424 1147354 1147189 1161582 1161487 1161281 1184749 1185239 1186219 1187185 1188333 1188977 1190293 1191259 1192743 1193387 1194031 1195683 1196327 1196971 1198469 1199757 1200401 1201045 1203033 1203677 1204321 1204965 1206799 1207765 1208731 1209375 1209991 1212259 1212847 1213435 1214023 1214877 1217103 1217635 1218167 1218699 1219231 1219735 1221891 1222605 1223081 1223557 1224033 1224481 1226539 1226959 1227379 1228009 1228429 1228849 1230599 1231145 1231509 1231873 1232237 1232601 1233147 1234771 1235233 1235541 1235849 1236157 1236465 1236773 1237207 1238803 1239055 1239307 1239559 1239811 1240063 1240315 1240567 1242051 1242247 1242443 1242639 1242835 1243031 1243227 1243423 1243591 1244809 1244949 1245089 1245229 1245369 1245509 1245649 1245789 1246660 1246789 1246875 1246961 1247047 1247133 1247219 1247305 1247391 1247478 1257368 1257342 1257316 1257205 1257140 1257114 1257016 1256977 1256912 1256886 1256801 1256762 1256723 1256658 1256508 1256560 1256521 1256482 1256404 1256352 1256228 1256202 1256176 1256150 1256124 1256098 1256046 1255922 1255896 1255870 1255844 1255818 1255792 1255766 1255714 1255590 1255564 1255538 1255564 1255525 1255486 1255447 1255382 1255356 1255336 1255297 1255258 1255219 1255180 1255141 1255102 1255024 1254972 1254848 1254822 1254796 1254770 1254744 1254718 1254692 1254666 1254640 1254614 1254562 1254438 1254438 1254412 1254386 1254360 1254399 1254360 1254321 1254282 1254243 1254178 1254152 1254171 1254171 1254145 1254106 1254067 1254028 1253989 1253872 1253846 1253820 1253794 1253742 1253618 1253618 1253618 1253618 1253592 1253566 1253540 1253514 1253488 1253462 1253462 1253423 1253358 1253332 1253351 1253351 1253351 1253351 1253325 1253286 1253247 1253208 1253169 1253130 1253091 1253000 1252974 1252922 1252798 1252798 1252798 1252798 1252798 1252798 1252772 1252746 1252720 1252694 1252668 1252642 1252642 1252603 1252538 1252512 1252531 1252531 1252531 1252531 1252531 1252531 1252505 1252466 1252427 1252388 1252349 1252310 1252206 1252180 1252154 1252102 1251978 1251978 1251978 1251978 1251978 1251978 1251978 1251978 1251952 1251926 1251900 1251874 1251900 1251861 1251822 1251783 1251718 1251692 1251711 1251711 1251711 1251711 1251711 1251711 1251711 1251711 1251685 1251646 1251607 1251464 1251438 1251412 1251386 1251360 1251334 1251282 1251158 1251158 1251158 1251158 1251158 1251158 1251158 1251158 1251158 1251275 1251236 1251197 1251158 1251119 1251080 1251041 1251002 1250963 1250898 1250872 1263694 1263580 1263362 1285157 1285612 1286522 1287419 1288784 1289707 1290604 1291202 1292580 1293178 1293776 1295310 1296207 1296805 1298495 1299093 1299691 1300289 1302135 1302733 1303630 1304228 1306230 1306828 1307426 1308024 1308596 1310702 1311521 1312067 1312613 1313133 1315200 1315694 1316188 1316682 1317423 1319204 1319867 1320309 1320751 1321193 1321635 1322051 1323962 1324547 1324937 1325327 1325717 1326107 1327732 1328239 1328746 1329084 1329422 1329760 1330098 1331606 1332035 1332321 1332607 1333036 1333322 1333608 1333868 1335350 1335584 1335818 1336052 1336403 1336637 1336871 1337079 1338366 1338548 1338730 1338912 1339185 1339367 1339549 1339731 1340732 1340927 1341057 1341187 1341317 1341512 1341642 1341772 1341902 1342646 1342766 1342846 1342926 1343006 1343126 1343206 1343286 1343366 1343407 1352537 1352489 1352378 1352390 1352306 1352195 1352219 1352183 1352099 1351988 1352024 1351988 1351916 1351868 1351757 1351733 1351709 1351685 1351661 1351613 1351502 1351478 1351454 1351430 1351406 1351382 1351334 1351223 1351199 1351175 1351151 1351127 1351103 1351055 1351031 1350920 1350896 1350872 1350896 1350860 1350824 1350788 1350728 1350704 1350689 1350653 1350617 1350581 1350545 1350509 1350473 1350437 1350353 1350242 1350350 1350314 1350170 1350146 1350122 1350098 1350074 1350050 1350026 1349978 1349867 1349867 1349843 1349819 1349795 1349771 1349795 1349759 1349723 1349687 1349627 1349603 1349624 1349624 1349600 1349564 1349528 1349492 1349456 1349420 1349384 1349300 1349276 1349228 1349117 1349117 1349117 1349117 1349093 1349069 1349045 1349021 1348997 1348973 1348949 1348925 1348877 1348853 1348742 1348742 1348742 1348874 1348850 1348814 1348778 1348742 1348706 1348670 1348634 1348598 1348562 1348502 1348367 1348499 1348499 1348499 1348499 1348367 1348343 1348319 1348295 1348271 1348247 1348223 1348199 1348175 1348151 1348103 1347992 1347992 1347992 1347992 1347992 1348124 1348100 1348064 1348028 1347992 1347956 1347920 1347884 1347848 1347812 1347752 1347617 1347749 1347749 1347749 1347749 1347749 1347617 1347617 1347593 1347569 1347545 1347521 1347497 1347473 1347449 1347425 1347401 1347353 1347242 1347242 1347242 1347242 1347374 1347374 1347374 1347374 1347350 1347314 1347278 1347242 1347206 1347170 1347134 1347098 1347026 1346978 1346867 1346999 1346999 1346999 1346867 1346867 1346867 1346867 1346867 1346867 1346843 1346819 1346795 1346771 1346747 1346723 1346723 1346687 1346627 1346603 1346492 1357888 1357640 1377762 1378182 1379022 1379850 1381110 1381962 1382790 1383342 1384614 1385166 1385718 1387134 1387962 1388514 1390074 1390626 1391178 1391730 1393434 1393986 1394790 1395366 1397214 1397766 1398318 1398870 1399398 1401342 1401846 1402602 1403106 1403586 1405494 1405950 1406406 1406862 1407318 1409190 1409802 1410210 1410618 1411026 1411434 1411818 1413582 1414122 1414482 1414842 1415202 1415562 1417062 1417530 1417842 1418310 1418622 1418934 1419246 1420638 1421034 1421298 1421562 1421958 1422222 1422486 1422726 1424094 1424310 1424526 1424742 1425066 1425282 1425498 1425690 1426878 1427046 1427214 1427382 1427550 1427802 1427970 1428138 1429062 1429242 1429362 1429482 1429602 1429782 1429902 1430022 1430142 1430829 1430940 1431014 1431088 1431162 1431273 1431347 1431421 1431495 1431533 1439903 1439859 1439761 1439772 1439717 1439597 1439619 1439586 1439531 1439509 1439444 1439411 1439378 1439323 1439203 1439247 1439214 1439181 1439148 1439071 1438973 1439028 1438995 1438907 1438885 1438863 1438819 1438721 1438699 1438677 1438655 1438633 1438611 1438589 1438545 1438447 1438425 1438403 1438381 1438359 1438337 1438326 1438271 1438249 1438151 1438129 1438173 1438140 1438107 1438074 1438041 1438008 1437953 1437931 1437932 1437899 1437866 1437833 1437800 1437767 1437734 1437657 1437635 1437591 1437493 1437493 1437471 1437449 1437427 1437405 1437383 1437361 1437339 1437317 1437295 1437251 1437153 1437153 1437153 1437131 1437109 1437153 1437120 1437087 1437054 1437021 1436988 1436933 1436911 1436934 1436934 1436934 1436912 1436879 1436846 1436813 1436780 1436681 1436659 1436637 1436615 1436571 1436473 1436473 1436473 1436473 1436473 1436451 1436429 1436407 1436385 1436363 1436374 1436341 1436308 1436253 1436231 1436254 1436254 1436254 1436254 1436254 1436232 1436199 1436166 1436133 1436100 1436067 1436034 1435957 1435935 1435891 1435793 1435914 1435914 1435793 1435793 1435793 1435793 1435771 1435749 1435727 1435705 1435683 1435661 1435639 1435628 1435573 1435551 1435453 1435453 1435574 1435574 1435574 1435574 1435574 1435552 1435519 1435486 1435453 1435420 1435387 1435354 1435277 1435255 1435211 1435113 1435234 1435234 1435113 1435113 1435113 1435113 1435113 1435113 1435091 1435069 1435047 1435025 1435003 1434981 1434981 1434948 1434893 1434871 1434773 1434773 1434894 1434894 1434894 1434894 1434894 1434894 1434894 1434872 1434839 1434806 1434773 1434740 1434641 1434619 1434597 1434575 1434531 1434433 1444596 1444281 1462730 1463115 1463885 1464644 1465546 1466052 1467086 1467592 1469011 1469517 1470023 1471321 1471827 1472333 1473510 1474269 1475028 1475534 1477096 1477602 1478108 1478614 1480055 1480814 1481573 1482079 1482563 1484345 1484807 1485269 1485731 1486193 1488151 1488569 1488987 1489405 1489823 1490219 1491913 1492287 1492848 1493222 1493596 1493948 1495565 1495895 1496225 1496555 1497050 1497380 1498755 1499184 1499470 1499756 1500042 1500328 1500614 1502033 1502396 1502638 1502880 1503122 1503364 1503606 1503848 1505201 1505399 1505597 1505795 1505993 1506191 1506389 1506587 1507599 1507907 1508061 1508215 1508369 1508523 1508677 1508831 1508963 1509920 1510030 1510140 1510250 1510360 1510470 1510580 1510690 1510748 1511477 1511545 1511613 1511681 1511749 1511817 1511885 1511953 1512021 1513767 1519612 1519592 1519517 1519467 1519447 1519382 1519352 1519302 1519282 1519227 1519197 1519167 1519117 1519097 1519052 1519022 1518992 1518962 1518912 1518892 1518857 1518827 1518797 1518767 1518737 1518687 1518667 1518642 1518612

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-V20P10N20"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/root/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-V20P10N20.tgz
mv BridgeAndVehicles-PT-V20P10N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2270"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-PT-V20P10N20, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r190su-smll-143330904700311"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;