Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 42K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool itstoolsl
Input is BridgeAndVehicles-COL-V50P50N10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r225-ebro-152732379500056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527602915124

14:08:38.718 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
14:08:38.722 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((((X("(((((((((((((((((((((((((((((((((((((((((((((((((((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_1>=1))&&(ATTENTE_B_0>=1))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_2>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_3>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_4>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_5>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_6>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_7>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_8>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_9>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_10>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_11>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_12>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_13>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_14>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_15>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_16>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_17>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_18>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_19>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_20>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_21>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_22>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_23>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_24>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_25>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_26>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_27>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_28>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_29>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_30>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_31>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_32>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_33>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_34>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_35>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_36>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_37>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_38>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_39>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_40>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_41>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_42>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_43>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_44>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_45>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_46>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_47>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_48>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_49>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_50>=1))&&(ATTENTE_B_0>=1)))"))U(F("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))")))U("((((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_A_0>=1)&&(ROUTE_A_0>=1))||((NB_ATTENTE_A_1>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_2>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_3>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_4>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_5>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_6>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_7>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_8>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_9>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_10>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_11>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_12>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_13>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_14>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_15>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_16>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_17>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_18>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_19>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_20>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_21>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_22>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_23>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_24>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_25>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_26>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_27>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_28>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_29>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_30>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_31>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_32>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_33>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_34>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_35>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_36>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_37>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_38>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_39>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_40>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_41>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_42>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_43>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_44>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_45>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_46>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_47>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_48>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_49>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_50>=1)&&(ROUTE_A_0>=1)))")))
Formula 0 simplified : !((X"(((((((((((((((((((((((((((((((((((((((((((((((((((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_1>=1))&&(ATTENTE_B_0>=1))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_2>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_3>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_4>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_5>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_6>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_7>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_8>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_9>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_10>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_11>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_12>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_13>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_14>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_15>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_16>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_17>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_18>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_19>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_20>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_21>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_22>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_23>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_24>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_25>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_26>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_27>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_28>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_29>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_30>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_31>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_32>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_33>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_34>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_35>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_36>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_37>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_38>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_39>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_40>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_41>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_42>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_43>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_44>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_45>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_46>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_47>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_48>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_49>=1))&&(ATTENTE_B_0>=1)))||((((CONTROLEUR_1>=1)&&(CAPACITE_0>=1))&&(NB_ATTENTE_B_50>=1))&&(ATTENTE_B_0>=1)))" U F"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_0>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_1>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_2>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_3>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_4>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_5>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_6>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_7>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_8>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_9>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_1>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_2>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_3>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_4>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_5>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_6>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_7>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_8>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_9>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_10>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_11>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_12>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_13>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_14>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_15>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_16>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_17>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_18>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_19>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_20>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_21>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_22>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_23>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_24>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_25>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_26>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_27>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_28>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_29>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_30>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_31>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_32>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_33>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_34>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_35>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_36>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_37>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_38>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_39>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_40>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_41>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_42>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_43>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_44>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_45>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_46>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_47>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_48>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_49>=1))&&(NB_ATTENTE_B_0>=1)))||((((COMPTEUR_10>=1)&&(CONTROLEUR_1>=1))&&(NB_ATTENTE_A_50>=1))&&(NB_ATTENTE_B_0>=1)))") U "((((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_A_0>=1)&&(ROUTE_A_0>=1))||((NB_ATTENTE_A_1>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_2>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_3>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_4>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_5>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_6>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_7>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_8>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_9>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_10>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_11>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_12>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_13>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_14>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_15>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_16>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_17>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_18>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_19>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_20>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_21>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_22>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_23>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_24>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_25>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_26>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_27>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_28>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_29>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_30>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_31>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_32>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_33>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_34>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_35>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_36>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_37>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_38>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_39>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_40>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_41>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_42>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_43>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_44>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_45>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_46>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_47>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_48>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_49>=1)&&(ROUTE_A_0>=1)))||((NB_ATTENTE_A_50>=1)&&(ROUTE_A_0>=1)))")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 250
// Phase 1: matrix 250 rows 128 cols
invariant :SORTI_A_0 + ROUTE_A_0 + ATTENTE_A_0 + SUR_PONT_A_0 = 50
invariant :NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 + NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 = 1
invariant :CONTROLEUR_0 + CONTROLEUR_1 + CHOIX_0 + CHOIX_1 + VIDANGE_0 + VIDANGE_1 = 1
invariant :COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 = 1
invariant :SUR_PONT_B_0 + ATTENTE_B_0 + ROUTE_B_0 + SORTI_B_0 = 50
invariant :NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 = 1
invariant :CAPACITE_0 + SUR_PONT_A_0 + -1'ATTENTE_B_0 + -1'ROUTE_B_0 + -1'SORTI_B_0 = 0
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
Compilation finished in 26253 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 207 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, ((X((LTLAP0==true)))U(<>((LTLAP1==true))))U((LTLAP2==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 171 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-00 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, ([](<>([]((LTLAP3==true)))))U([]((LTLAP4==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 4531 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-01 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, ((LTLAP3==true))U(<>(((LTLAP5==true))U((LTLAP0==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, ((LTLAP3==true))U(<>(((LTLAP5==true))U((LTLAP0==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP6==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3490 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-03 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP6==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3508 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-04 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, []((LTLAP6==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3549 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-05 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP7==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3740 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-06 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(<>(<>((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 102 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-07 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, []((LTLAP0==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 4111 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-08 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP6==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3376 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-09 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(X(X([](<>((LTLAP6==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(X(X([](<>((LTLAP6==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X([]((LTLAP8==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 323 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-11 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(<>(<>(((LTLAP9==true))U((LTLAP4==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 141796 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-12 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, [](<>([](<>(X((LTLAP1==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 327 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-13 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X((((LTLAP9==true))U((LTLAP3==true)))U((LTLAP7==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 275 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-14 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP7==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 3358 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-15 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, ((LTLAP3==true))U(<>(((LTLAP5==true))U((LTLAP0==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>1800 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, ((LTLAP3==true))U(<>(((LTLAP5==true))U((LTLAP0==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(X(X([](<>((LTLAP6==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 307660 ms.
FORMULA BridgeAndVehicles-COL-V50P50N10-LTLFireability-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -consoleLog -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
May 29, 2018 2:08:38 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -louvain, -smt]
May 29, 2018 2:08:38 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 29, 2018 2:08:38 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1200 ms
May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 29, 2018 2:08:39 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 29, 2018 2:08:39 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 11 ms
May 29, 2018 2:08:39 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 29, 2018 2:08:39 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 119.0 instantiations of transitions. Total transitions/syncs built is 358
May 29, 2018 2:08:40 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 162 ms
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 123 ms
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 80 ms
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CAPACITE_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_2 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_3 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_4 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_5 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_6 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_7 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_8 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_9 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_10 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_11 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_12 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_13 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_14 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_15 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_16 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_17 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_18 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_19 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_20 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_21 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_22 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_23 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_24 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_25 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_26 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_27 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_28 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_29 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_30 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_31 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_32 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_33 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_34 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_35 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_36 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_37 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_38 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_39 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_40 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_41 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_42 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_43 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_44 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_45 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_46 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_47 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_48 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_49 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_A_50 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to SORTI_A_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to ROUTE_A_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to ATTENTE_A_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to SUR_PONT_A_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_2 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_3 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_4 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_5 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_6 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_7 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_8 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_9 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_10 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_11 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_12 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_13 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_14 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_15 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_16 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_17 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_18 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_19 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_20 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_21 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_22 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_23 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_24 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_25 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_26 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_27 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_28 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_29 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_30 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_31 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_32 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_33 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_34 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_35 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_36 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_37 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_38 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_39 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_40 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_41 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_42 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_43 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_44 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_45 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_46 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_47 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_48 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_49 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to NB_ATTENTE_B_50 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to SUR_PONT_B_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to ATTENTE_B_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to ROUTE_B_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to SORTI_B_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CONTROLEUR_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CONTROLEUR_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CHOIX_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CHOIX_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_2 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_3 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_4 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_5 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_6 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_7 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_8 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_9 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to COMPTEUR_10 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to VIDANGE_0 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to VIDANGE_1 in partition

May 29, 2018 2:08:43 PM fr.lip6.move.gal.application.MccTranslator applyOrder
WARNING: Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: -1
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:434)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:145)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:120)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:147)
at fr.lip6.move.gal.application.Application.start(Application.java:235)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:40)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1499)
at org.eclipse.equinox.launcher.Main.main(Main.java:1472)
May 29, 2018 2:08:43 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 77 ms
May 29, 2018 2:08:43 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 13 ms
May 29, 2018 2:08:43 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 37 ms
May 29, 2018 2:08:43 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 11 transitions. Expanding to a total of 1471 deterministic transitions.
May 29, 2018 2:08:43 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 16 ms.
May 29, 2018 2:08:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 105 ms
May 29, 2018 2:08:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 1051 ms
May 29, 2018 2:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
May 29, 2018 2:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1328 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 29, 2018 2:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 271 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 29, 2018 2:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
May 29, 2018 2:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 176 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 29, 2018 2:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
May 29, 2018 2:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(0/1328) took 22162 ms. Total solver calls (SAT/UNSAT): 1201(551/650)
May 29, 2018 2:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/1328) took 25615 ms. Total solver calls (SAT/UNSAT): 4798(590/4208)
May 29, 2018 2:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(6/1328) took 29119 ms. Total solver calls (SAT/UNSAT): 8386(629/7757)
May 29, 2018 2:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/1328) took 33045 ms. Total solver calls (SAT/UNSAT): 11965(668/11297)
May 29, 2018 2:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/1328) took 36474 ms. Total solver calls (SAT/UNSAT): 15535(707/14828)
May 29, 2018 2:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(15/1328) took 40098 ms. Total solver calls (SAT/UNSAT): 19096(746/18350)
May 29, 2018 2:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/1328) took 43672 ms. Total solver calls (SAT/UNSAT): 22648(785/21863)
May 29, 2018 2:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(21/1328) took 47064 ms. Total solver calls (SAT/UNSAT): 26191(824/25367)
May 29, 2018 2:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/1328) took 50554 ms. Total solver calls (SAT/UNSAT): 29725(863/28862)
May 29, 2018 2:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/1328) took 54561 ms. Total solver calls (SAT/UNSAT): 33250(902/32348)
May 29, 2018 2:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(30/1328) took 59134 ms. Total solver calls (SAT/UNSAT): 36766(941/35825)
May 29, 2018 2:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(33/1328) took 62856 ms. Total solver calls (SAT/UNSAT): 40273(980/39293)
May 29, 2018 2:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(36/1328) took 66414 ms. Total solver calls (SAT/UNSAT): 43771(1019/42752)
May 29, 2018 2:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/1328) took 69831 ms. Total solver calls (SAT/UNSAT): 47260(1058/46202)
May 29, 2018 2:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(42/1328) took 74234 ms. Total solver calls (SAT/UNSAT): 50740(1097/49643)
May 29, 2018 2:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(45/1328) took 77863 ms. Total solver calls (SAT/UNSAT): 54211(1136/53075)
May 29, 2018 2:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(48/1328) took 81415 ms. Total solver calls (SAT/UNSAT): 57673(1175/56498)
May 29, 2018 2:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(52/1328) took 84703 ms. Total solver calls (SAT/UNSAT): 61404(1356/60048)
May 29, 2018 2:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/1328) took 88292 ms. Total solver calls (SAT/UNSAT): 67764(1366/66398)
May 29, 2018 2:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/1328) took 91558 ms. Total solver calls (SAT/UNSAT): 72834(1374/71460)
May 29, 2018 2:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/1328) took 94863 ms. Total solver calls (SAT/UNSAT): 79149(1384/77765)
May 29, 2018 2:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/1328) took 98269 ms. Total solver calls (SAT/UNSAT): 85439(1394/84045)
May 29, 2018 2:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/1328) took 101521 ms. Total solver calls (SAT/UNSAT): 91704(1404/90300)
May 29, 2018 2:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/1328) took 104987 ms. Total solver calls (SAT/UNSAT): 97944(1414/96530)
May 29, 2018 2:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(86/1328) took 108433 ms. Total solver calls (SAT/UNSAT): 104159(1424/102735)
May 29, 2018 2:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/1328) took 111831 ms. Total solver calls (SAT/UNSAT): 110349(1434/108915)
May 29, 2018 2:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/1328) took 115137 ms. Total solver calls (SAT/UNSAT): 116514(1444/115070)
May 29, 2018 2:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(101/1328) took 118503 ms. Total solver calls (SAT/UNSAT): 122654(1454/121200)
May 29, 2018 2:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/1328) took 122013 ms. Total solver calls (SAT/UNSAT): 126352(2207/124145)
May 29, 2018 2:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(109/1328) took 125408 ms. Total solver calls (SAT/UNSAT): 131142(2451/128691)
May 29, 2018 2:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(113/1328) took 128755 ms. Total solver calls (SAT/UNSAT): 135916(2695/133221)
May 29, 2018 2:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/1328) took 132163 ms. Total solver calls (SAT/UNSAT): 140674(2939/137735)
May 29, 2018 2:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/1328) took 135640 ms. Total solver calls (SAT/UNSAT): 145416(3183/142233)
May 29, 2018 2:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(125/1328) took 139083 ms. Total solver calls (SAT/UNSAT): 150142(3427/146715)
May 29, 2018 2:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/1328) took 142518 ms. Total solver calls (SAT/UNSAT): 154852(3671/151181)
May 29, 2018 2:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/1328) took 145952 ms. Total solver calls (SAT/UNSAT): 159546(3915/155631)
May 29, 2018 2:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(137/1328) took 149439 ms. Total solver calls (SAT/UNSAT): 164224(4159/160065)
May 29, 2018 2:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(141/1328) took 152900 ms. Total solver calls (SAT/UNSAT): 168886(4403/164483)
May 29, 2018 2:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(145/1328) took 156415 ms. Total solver calls (SAT/UNSAT): 173532(4647/168885)
May 29, 2018 2:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(149/1328) took 159792 ms. Total solver calls (SAT/UNSAT): 178162(4891/173271)
May 29, 2018 2:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(153/1328) took 163138 ms. Total solver calls (SAT/UNSAT): 182776(5135/177641)
May 29, 2018 2:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/1328) took 166670 ms. Total solver calls (SAT/UNSAT): 188587(5257/183330)
May 29, 2018 2:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/1328) took 169687 ms. Total solver calls (SAT/UNSAT): 194417(5257/189160)
May 29, 2018 2:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(168/1328) took 172718 ms. Total solver calls (SAT/UNSAT): 200222(5257/194965)
May 29, 2018 2:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/1328) took 176319 ms. Total solver calls (SAT/UNSAT): 207155(5257/201898)
May 29, 2018 2:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/1328) took 179430 ms. Total solver calls (SAT/UNSAT): 212905(5257/207648)
May 29, 2018 2:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/1328) took 182630 ms. Total solver calls (SAT/UNSAT): 218630(5257/213373)
May 29, 2018 2:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/1328) took 186129 ms. Total solver calls (SAT/UNSAT): 225467(5257/220210)
May 29, 2018 2:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/1328) took 189562 ms. Total solver calls (SAT/UNSAT): 232268(5257/227011)
May 29, 2018 2:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/1328) took 193068 ms. Total solver calls (SAT/UNSAT): 239033(5257/233776)
May 29, 2018 2:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/1328) took 196520 ms. Total solver calls (SAT/UNSAT): 245762(5257/240505)
May 29, 2018 2:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/1328) took 200076 ms. Total solver calls (SAT/UNSAT): 251342(5257/246085)
May 29, 2018 2:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/1328) took 203139 ms. Total solver calls (SAT/UNSAT): 256897(5257/251640)
May 29, 2018 2:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/1328) took 206647 ms. Total solver calls (SAT/UNSAT): 262427(5257/257170)
May 29, 2018 2:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(229/1328) took 210133 ms. Total solver calls (SAT/UNSAT): 269030(5257/263773)
May 29, 2018 2:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/1328) took 213253 ms. Total solver calls (SAT/UNSAT): 273412(5257/268155)
May 29, 2018 2:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/1328) took 216750 ms. Total solver calls (SAT/UNSAT): 279955(5257/274698)
May 29, 2018 2:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/1328) took 220149 ms. Total solver calls (SAT/UNSAT): 286462(5257/281205)
May 29, 2018 2:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/1328) took 223332 ms. Total solver calls (SAT/UNSAT): 291857(5257/286600)
May 29, 2018 2:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/1328) took 226669 ms. Total solver calls (SAT/UNSAT): 297227(5257/291970)
May 29, 2018 2:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(260/1328) took 229844 ms. Total solver calls (SAT/UNSAT): 302572(5257/297315)
May 29, 2018 2:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/1328) took 232860 ms. Total solver calls (SAT/UNSAT): 307892(5257/302635)
May 29, 2018 2:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/1328) took 236147 ms. Total solver calls (SAT/UNSAT): 314243(5257/308986)
May 29, 2018 2:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(277/1328) took 239348 ms. Total solver calls (SAT/UNSAT): 320558(5257/315301)
May 29, 2018 2:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/1328) took 242410 ms. Total solver calls (SAT/UNSAT): 326837(5257/321580)
May 29, 2018 2:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/1328) took 245602 ms. Total solver calls (SAT/UNSAT): 333080(5257/327823)
May 29, 2018 2:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(295/1328) took 248877 ms. Total solver calls (SAT/UNSAT): 339287(5257/334030)
May 29, 2018 2:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/1328) took 252159 ms. Total solver calls (SAT/UNSAT): 345458(5257/340201)
May 29, 2018 2:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/1328) took 255335 ms. Total solver calls (SAT/UNSAT): 351593(5257/346336)
May 29, 2018 2:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/1328) took 258710 ms. Total solver calls (SAT/UNSAT): 357692(5257/352435)
May 29, 2018 2:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(319/1328) took 261889 ms. Total solver calls (SAT/UNSAT): 363755(5257/358498)
May 29, 2018 2:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(325/1328) took 264952 ms. Total solver calls (SAT/UNSAT): 369782(5257/364525)
May 29, 2018 2:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/1328) took 268091 ms. Total solver calls (SAT/UNSAT): 375773(5257/370516)
May 29, 2018 2:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(337/1328) took 271168 ms. Total solver calls (SAT/UNSAT): 381728(5257/376471)
May 29, 2018 2:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/1328) took 274227 ms. Total solver calls (SAT/UNSAT): 387647(5257/382390)
May 29, 2018 2:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(349/1328) took 277327 ms. Total solver calls (SAT/UNSAT): 393530(5257/388273)
May 29, 2018 2:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/1328) took 280420 ms. Total solver calls (SAT/UNSAT): 399377(5257/394120)
May 29, 2018 2:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/1328) took 283524 ms. Total solver calls (SAT/UNSAT): 405188(5257/399931)
May 29, 2018 2:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/1328) took 286952 ms. Total solver calls (SAT/UNSAT): 411922(5257/406665)
May 29, 2018 2:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/1328) took 290413 ms. Total solver calls (SAT/UNSAT): 418607(5257/413350)
May 29, 2018 2:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/1328) took 293451 ms. Total solver calls (SAT/UNSAT): 424298(5257/419041)
May 29, 2018 2:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/1328) took 296815 ms. Total solver calls (SAT/UNSAT): 430892(5257/425635)
May 29, 2018 2:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(395/1328) took 300112 ms. Total solver calls (SAT/UNSAT): 437437(5257/432180)
May 29, 2018 2:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(402/1328) took 303464 ms. Total solver calls (SAT/UNSAT): 443933(5257/438676)
May 29, 2018 2:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(408/1328) took 306509 ms. Total solver calls (SAT/UNSAT): 449462(5257/444205)
May 29, 2018 2:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(415/1328) took 309693 ms. Total solver calls (SAT/UNSAT): 455867(5257/450610)
May 29, 2018 2:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/1328) took 312989 ms. Total solver calls (SAT/UNSAT): 462223(5257/456966)
May 29, 2018 2:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/1328) took 316276 ms. Total solver calls (SAT/UNSAT): 468530(5257/463273)
May 29, 2018 2:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/1328) took 320499 ms. Total solver calls (SAT/UNSAT): 473005(5257/467748)
May 29, 2018 2:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/1328) took 323655 ms. Total solver calls (SAT/UNSAT): 475678(5257/470421)
May 29, 2018 2:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/1328) took 326927 ms. Total solver calls (SAT/UNSAT): 479228(5257/473971)
May 29, 2018 2:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(448/1328) took 330325 ms. Total solver calls (SAT/UNSAT): 485402(5257/480145)
May 29, 2018 2:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(455/1328) took 333471 ms. Total solver calls (SAT/UNSAT): 491527(5257/486270)
May 29, 2018 2:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/1328) took 336599 ms. Total solver calls (SAT/UNSAT): 497603(5257/492346)
May 29, 2018 2:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/1328) took 339783 ms. Total solver calls (SAT/UNSAT): 503630(5257/498373)
May 29, 2018 2:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(476/1328) took 342857 ms. Total solver calls (SAT/UNSAT): 509608(5257/504351)
May 29, 2018 2:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(484/1328) took 346289 ms. Total solver calls (SAT/UNSAT): 516380(5257/511123)
May 29, 2018 2:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(492/1328) took 349706 ms. Total solver calls (SAT/UNSAT): 523088(5257/517831)
May 29, 2018 2:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/1328) took 353151 ms. Total solver calls (SAT/UNSAT): 529732(5257/524475)
May 29, 2018 2:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(507/1328) took 356219 ms. Total solver calls (SAT/UNSAT): 535493(5257/530236)
May 29, 2018 2:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(515/1328) took 359495 ms. Total solver calls (SAT/UNSAT): 542017(5257/536760)
May 29, 2018 2:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(523/1328) took 362782 ms. Total solver calls (SAT/UNSAT): 548477(5257/543220)
May 29, 2018 2:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(531/1328) took 366163 ms. Total solver calls (SAT/UNSAT): 554873(5257/549616)
May 29, 2018 2:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/1328) took 369376 ms. Total solver calls (SAT/UNSAT): 561205(5257/555948)
May 29, 2018 2:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(547/1328) took 372672 ms. Total solver calls (SAT/UNSAT): 567473(5257/562216)
May 29, 2018 2:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(555/1328) took 375900 ms. Total solver calls (SAT/UNSAT): 573677(5257/568420)
May 29, 2018 2:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(563/1328) took 379195 ms. Total solver calls (SAT/UNSAT): 579817(5257/574560)
May 29, 2018 2:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/1328) took 382440 ms. Total solver calls (SAT/UNSAT): 585893(5257/580636)
May 29, 2018 2:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/1328) took 385527 ms. Total solver calls (SAT/UNSAT): 591905(5257/586648)
May 29, 2018 2:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(587/1328) took 388770 ms. Total solver calls (SAT/UNSAT): 597853(5257/592596)
May 29, 2018 2:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(595/1328) took 391863 ms. Total solver calls (SAT/UNSAT): 603737(5257/598480)
May 29, 2018 2:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/1328) took 395173 ms. Total solver calls (SAT/UNSAT): 610280(5257/605023)
May 29, 2018 2:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(613/1328) took 398468 ms. Total solver calls (SAT/UNSAT): 616742(5257/611485)
May 29, 2018 2:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/1328) took 401488 ms. Total solver calls (SAT/UNSAT): 622418(5257/617161)
May 29, 2018 2:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(629/1328) took 404576 ms. Total solver calls (SAT/UNSAT): 628030(5257/622773)
May 29, 2018 2:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/1328) took 407577 ms. Total solver calls (SAT/UNSAT): 633578(5257/628321)
May 29, 2018 2:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(646/1328) took 410835 ms. Total solver calls (SAT/UNSAT): 639743(5257/634486)
May 29, 2018 2:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(655/1328) took 413987 ms. Total solver calls (SAT/UNSAT): 645827(5257/640570)
May 29, 2018 2:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(664/1328) took 417205 ms. Total solver calls (SAT/UNSAT): 651830(5257/646573)
May 29, 2018 2:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(673/1328) took 420229 ms. Total solver calls (SAT/UNSAT): 657752(5257/652495)
May 29, 2018 2:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(682/1328) took 423274 ms. Total solver calls (SAT/UNSAT): 663593(5257/658336)
May 29, 2018 2:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(691/1328) took 426357 ms. Total solver calls (SAT/UNSAT): 669353(5257/664096)
May 29, 2018 2:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(700/1328) took 429517 ms. Total solver calls (SAT/UNSAT): 675032(5257/669775)
May 29, 2018 2:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(710/1328) took 432834 ms. Total solver calls (SAT/UNSAT): 681247(5257/675990)
May 29, 2018 2:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(720/1328) took 436039 ms. Total solver calls (SAT/UNSAT): 687362(5257/682105)
May 29, 2018 2:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(730/1328) took 439107 ms. Total solver calls (SAT/UNSAT): 693377(5257/688120)
May 29, 2018 2:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(741/1328) took 442243 ms. Total solver calls (SAT/UNSAT): 699878(5257/694621)
May 29, 2018 2:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(752/1328) took 445477 ms. Total solver calls (SAT/UNSAT): 706258(5257/701001)
May 29, 2018 2:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(763/1328) took 448484 ms. Total solver calls (SAT/UNSAT): 712517(5257/707260)
May 29, 2018 2:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(774/1328) took 451592 ms. Total solver calls (SAT/UNSAT): 718655(5257/713398)
May 29, 2018 2:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(785/1328) took 454832 ms. Total solver calls (SAT/UNSAT): 724672(5257/719415)
May 29, 2018 2:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(797/1328) took 458045 ms. Total solver calls (SAT/UNSAT): 731098(5257/725841)
May 29, 2018 2:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(809/1328) took 461119 ms. Total solver calls (SAT/UNSAT): 737380(5257/732123)
May 29, 2018 2:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(821/1328) took 464237 ms. Total solver calls (SAT/UNSAT): 743518(5257/738261)
May 29, 2018 2:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(833/1328) took 467242 ms. Total solver calls (SAT/UNSAT): 749512(5257/744255)
May 29, 2018 2:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(843/1328) took 470347 ms. Total solver calls (SAT/UNSAT): 754397(5257/749140)
May 29, 2018 2:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(851/1328) took 474243 ms. Total solver calls (SAT/UNSAT): 758233(5257/752976)
May 29, 2018 2:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(864/1328) took 477385 ms. Total solver calls (SAT/UNSAT): 764330(5257/759073)
May 29, 2018 2:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(876/1328) took 480445 ms. Total solver calls (SAT/UNSAT): 769808(5257/764551)
May 29, 2018 2:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(890/1328) took 483542 ms. Total solver calls (SAT/UNSAT): 776017(5257/770760)
May 29, 2018 2:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(904/1328) took 486687 ms. Total solver calls (SAT/UNSAT): 782030(5257/776773)
May 29, 2018 2:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(919/1328) took 489889 ms. Total solver calls (SAT/UNSAT): 788255(5257/782998)
May 29, 2018 2:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(933/1328) took 492899 ms. Total solver calls (SAT/UNSAT): 793862(5257/788605)
May 29, 2018 2:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(949/1328) took 496028 ms. Total solver calls (SAT/UNSAT): 800030(5257/794773)
May 29, 2018 2:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(964/1328) took 499057 ms. Total solver calls (SAT/UNSAT): 805580(5257/800323)
May 29, 2018 2:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(979/1328) took 502217 ms. Total solver calls (SAT/UNSAT): 810905(5257/805648)
May 29, 2018 2:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(995/1328) took 505387 ms. Total solver calls (SAT/UNSAT): 816337(5257/811080)
May 29, 2018 2:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1011/1328) took 508476 ms. Total solver calls (SAT/UNSAT): 821513(5257/816256)
May 29, 2018 2:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1028/1328) took 511575 ms. Total solver calls (SAT/UNSAT): 826732(5257/821475)
May 29, 2018 2:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1046/1328) took 514665 ms. Total solver calls (SAT/UNSAT): 831943(5257/826686)
May 29, 2018 2:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1065/1328) took 517717 ms. Total solver calls (SAT/UNSAT): 837092(5257/831835)
May 29, 2018 2:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1085/1328) took 520760 ms. Total solver calls (SAT/UNSAT): 842122(5257/836865)
May 29, 2018 2:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1107/1328) took 523822 ms. Total solver calls (SAT/UNSAT): 847193(5257/841936)
May 29, 2018 2:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1132/1328) took 526827 ms. Total solver calls (SAT/UNSAT): 852368(5257/847111)
May 29, 2018 2:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1157/1328) took 529918 ms. Total solver calls (SAT/UNSAT): 856918(5257/851661)
May 29, 2018 2:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1188/1328) took 532994 ms. Total solver calls (SAT/UNSAT): 861692(5257/856435)
May 29, 2018 2:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1225/1328) took 536024 ms. Total solver calls (SAT/UNSAT): 866132(5257/860875)
May 29, 2018 2:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1275/1328) took 539038 ms. Total solver calls (SAT/UNSAT): 869957(5257/864700)
May 29, 2018 2:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 540617 ms. Total solver calls (SAT/UNSAT): 871283(5257/866026)
May 29, 2018 2:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
May 29, 2018 2:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 8296 ms. Total solver calls (SAT/UNSAT): 205(0/205)
May 29, 2018 2:18:44 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 601225ms conformant to PINS in folder :/home/mcc/execution

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V50P50N10"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstoolsl"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool itstoolsl"
echo " Input is BridgeAndVehicles-COL-V50P50N10, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r225-ebro-152732379500056"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.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 ;