Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V50P50N10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129800501
=====================================================================

--------------------
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-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-1
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
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1496278441728


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/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((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_0>=1"))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_1>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_2>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_3>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_4>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_5>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_6>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_7>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_8>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_9>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_10>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_11>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_12>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_13>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_14>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_15>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_16>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_17>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_18>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_19>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_20>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_21>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_22>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_23>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_24>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_25>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_26>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_27>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_28>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_29>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_30>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_31>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_32>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_33>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_34>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_35>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_36>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_37>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_38>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_39>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_40>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_41>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_42>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_43>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_44>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_45>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_46>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_47>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_48>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_49>=1"))&&("COMPTEUR_10>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_0>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_1>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_2>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_3>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_4>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_5>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_6>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_7>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_8>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_9>=1")))||(((("NB_ATTENTE_A_0>=1")&&("CONTROLEUR_1>=1"))&&("NB_ATTENTE_B_50>=1"))&&("COMPTEUR_10>=1")))))
Formula 0 simplified : !X(("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_1>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_2>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_3>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_4>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_5>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_6>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_7>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_8>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_9>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_10>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_11>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_12>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_13>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_14>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_15>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_16>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_17>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_18>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_19>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_20>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_21>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_22>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_23>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_24>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_25>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_26>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_27>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_28>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_29>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_30>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_31>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_32>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_33>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_34>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_35>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_36>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_37>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_38>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_39>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_40>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_41>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_42>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_43>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_44>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_45>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_46>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_47>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_48>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_49>=1") | ("COMPTEUR_0>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_1>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_2>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_3>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_4>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_5>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_6>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_7>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_8>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_9>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1") | ("COMPTEUR_10>=1" & "CONTROLEUR_1>=1" & "NB_ATTENTE_A_0>=1" & "NB_ATTENTE_B_50>=1"))
Exit code :134
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1328 rows 128 cols
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 0
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 50
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10= 1

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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 12:54:03 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:54:03 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 211 ms
Jun 01, 2017 12:54:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 01, 2017 12:54:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 01, 2017 12:54:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 282 ms
Jun 01, 2017 12:54:04 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 50 ms
Jun 01, 2017 12:54:05 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 54 ms
Jun 01, 2017 12:54:05 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/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]
terminate called after throwing an instance of 'std::runtime_error'
what(): too many atomic propositions (or states)

Jun 01, 2017 12:54:06 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 141 ms
Jun 01, 2017 12:54:10 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4325 ms
Jun 01, 2017 12:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 01, 2017 12:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 159 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 01, 2017 12:54:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1328 took 1263 ms. Total solver calls (SAT/UNSAT): 7843(22/7821)
Jun 01, 2017 12:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/1328 took 2323 ms. Total solver calls (SAT/UNSAT): 14973(42/14931)
Jun 01, 2017 12:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/1328 took 3397 ms. Total solver calls (SAT/UNSAT): 23529(66/23463)
Jun 01, 2017 12:54:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 4412 ms. Total solver calls (SAT/UNSAT): 31372(88/31284)
Jun 01, 2017 12:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/1328 took 5437 ms. Total solver calls (SAT/UNSAT): 38325(112/38213)
Jun 01, 2017 12:54:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/1328 took 6458 ms. Total solver calls (SAT/UNSAT): 46353(148/46205)
Jun 01, 2017 12:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/1328 took 7463 ms. Total solver calls (SAT/UNSAT): 55050(187/54863)
Jun 01, 2017 12:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/1328 took 8534 ms. Total solver calls (SAT/UNSAT): 64416(229/64187)
Jun 01, 2017 12:54:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/1328 took 9539 ms. Total solver calls (SAT/UNSAT): 73106(268/72838)
Jun 01, 2017 12:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/1328 took 10603 ms. Total solver calls (SAT/UNSAT): 81790(307/81483)
Jun 01, 2017 12:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1328 took 11668 ms. Total solver calls (SAT/UNSAT): 91142(349/90793)
Jun 01, 2017 12:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/1328 took 12689 ms. Total solver calls (SAT/UNSAT): 99826(388/99438)
Jun 01, 2017 12:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/1328 took 13706 ms. Total solver calls (SAT/UNSAT): 108509(427/108082)
Jun 01, 2017 12:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1328 took 14771 ms. Total solver calls (SAT/UNSAT): 117861(469/117392)
Jun 01, 2017 12:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/1328 took 15786 ms. Total solver calls (SAT/UNSAT): 126545(508/126037)
Jun 01, 2017 12:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/1328 took 16876 ms. Total solver calls (SAT/UNSAT): 135897(550/135347)
Jun 01, 2017 12:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/1328 took 17877 ms. Total solver calls (SAT/UNSAT): 144580(589/143991)
Jun 01, 2017 12:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/1328 took 18890 ms. Total solver calls (SAT/UNSAT): 153264(628/152636)
Jun 01, 2017 12:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/1328 took 19944 ms. Total solver calls (SAT/UNSAT): 162616(670/161946)
Jun 01, 2017 12:54:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/1328 took 21003 ms. Total solver calls (SAT/UNSAT): 171967(712/171255)
Jun 01, 2017 12:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/1328 took 22008 ms. Total solver calls (SAT/UNSAT): 180651(751/179900)
Jun 01, 2017 12:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/1328 took 23049 ms. Total solver calls (SAT/UNSAT): 188667(787/187880)
Jun 01, 2017 12:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/1328 took 24084 ms. Total solver calls (SAT/UNSAT): 197351(826/196525)
Jun 01, 2017 12:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1328 took 25158 ms. Total solver calls (SAT/UNSAT): 206034(865/205169)
Jun 01, 2017 12:54:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1328 took 26194 ms. Total solver calls (SAT/UNSAT): 214050(901/213149)
Jun 01, 2017 12:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/1328 took 27194 ms. Total solver calls (SAT/UNSAT): 222066(937/221129)
Jun 01, 2017 12:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/1328 took 28259 ms. Total solver calls (SAT/UNSAT): 231418(979/230439)
Jun 01, 2017 12:54:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1328 took 29324 ms. Total solver calls (SAT/UNSAT): 240769(1021/239748)
Jun 01, 2017 12:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1328 took 30390 ms. Total solver calls (SAT/UNSAT): 250121(1063/249058)
Jun 01, 2017 12:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1328 took 31436 ms. Total solver calls (SAT/UNSAT): 258805(1102/257703)
Jun 01, 2017 12:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/1328 took 32508 ms. Total solver calls (SAT/UNSAT): 268157(1144/267013)
Jun 01, 2017 12:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1328 took 33516 ms. Total solver calls (SAT/UNSAT): 276172(1180/274992)
Jun 01, 2017 12:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/1328 took 34566 ms. Total solver calls (SAT/UNSAT): 285524(1222/284302)
Jun 01, 2017 12:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/1328 took 35613 ms. Total solver calls (SAT/UNSAT): 294876(1264/293612)
Jun 01, 2017 12:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/1328 took 36673 ms. Total solver calls (SAT/UNSAT): 304227(1306/302921)
Jun 01, 2017 12:54:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1328 took 37724 ms. Total solver calls (SAT/UNSAT): 313579(1348/312231)
Jun 01, 2017 12:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/1328 took 38775 ms. Total solver calls (SAT/UNSAT): 322931(1390/321541)
Jun 01, 2017 12:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/1328 took 39826 ms. Total solver calls (SAT/UNSAT): 332283(1432/330851)
Jun 01, 2017 12:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/1328 took 40875 ms. Total solver calls (SAT/UNSAT): 341634(1474/340160)
Jun 01, 2017 12:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/1328 took 41918 ms. Total solver calls (SAT/UNSAT): 350318(1513/348805)
Jun 01, 2017 12:54:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1328 took 42991 ms. Total solver calls (SAT/UNSAT): 359670(1555/358115)
Jun 01, 2017 12:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/1328 took 44019 ms. Total solver calls (SAT/UNSAT): 368354(1594/366760)
Jun 01, 2017 12:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 45034 ms. Total solver calls (SAT/UNSAT): 377522(1621/375901)
Jun 01, 2017 12:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1328 took 46148 ms. Total solver calls (SAT/UNSAT): 387593(1648/385945)
Jun 01, 2017 12:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/1328 took 47155 ms. Total solver calls (SAT/UNSAT): 396545(1672/394873)
Jun 01, 2017 12:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/1328 took 48275 ms. Total solver calls (SAT/UNSAT): 406616(1699/404917)
Jun 01, 2017 12:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 49393 ms. Total solver calls (SAT/UNSAT): 416687(1726/414961)
Jun 01, 2017 12:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/1328 took 50461 ms. Total solver calls (SAT/UNSAT): 426307(1753/424554)
Jun 01, 2017 12:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/1328 took 51479 ms. Total solver calls (SAT/UNSAT): 435433(1792/433641)
Jun 01, 2017 12:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1328 took 52496 ms. Total solver calls (SAT/UNSAT): 444569(1831/442738)
Jun 01, 2017 12:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 53521 ms. Total solver calls (SAT/UNSAT): 453037(1867/451170)
Jun 01, 2017 12:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1328 took 54541 ms. Total solver calls (SAT/UNSAT): 462173(1906/460267)
Jun 01, 2017 12:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/1328 took 55559 ms. Total solver calls (SAT/UNSAT): 471309(1945/469364)
Jun 01, 2017 12:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1328 took 56625 ms. Total solver calls (SAT/UNSAT): 480897(1984/478913)
Jun 01, 2017 12:55:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1328 took 57640 ms. Total solver calls (SAT/UNSAT): 490033(2023/488010)
Jun 01, 2017 12:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/1328 took 58683 ms. Total solver calls (SAT/UNSAT): 499169(2062/497107)
Jun 01, 2017 12:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/1328 took 59701 ms. Total solver calls (SAT/UNSAT): 508305(2101/506204)
Jun 01, 2017 12:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1328 took 60720 ms. Total solver calls (SAT/UNSAT): 517441(2140/515301)
Jun 01, 2017 12:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1328 took 61788 ms. Total solver calls (SAT/UNSAT): 527028(2179/524849)
Jun 01, 2017 12:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/1328 took 62806 ms. Total solver calls (SAT/UNSAT): 536165(2218/533947)
Jun 01, 2017 12:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1328 took 63845 ms. Total solver calls (SAT/UNSAT): 545301(2257/543044)
Jun 01, 2017 12:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/1328 took 64864 ms. Total solver calls (SAT/UNSAT): 554437(2296/552141)
Jun 01, 2017 12:55:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1328 took 65932 ms. Total solver calls (SAT/UNSAT): 563573(2335/561238)
Jun 01, 2017 12:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1328 took 66937 ms. Total solver calls (SAT/UNSAT): 572041(2371/569670)
Jun 01, 2017 12:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1328 took 68060 ms. Total solver calls (SAT/UNSAT): 581628(2410/579218)
Jun 01, 2017 12:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1328 took 69127 ms. Total solver calls (SAT/UNSAT): 590765(2449/588316)
Jun 01, 2017 12:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/1328 took 70163 ms. Total solver calls (SAT/UNSAT): 599233(2485/596748)
Jun 01, 2017 12:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/1328 took 71209 ms. Total solver calls (SAT/UNSAT): 608369(2524/605845)
Jun 01, 2017 12:55:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/1328 took 72253 ms. Total solver calls (SAT/UNSAT): 617505(2563/614942)
Jun 01, 2017 12:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/1328 took 73306 ms. Total solver calls (SAT/UNSAT): 626641(2602/624039)
Jun 01, 2017 12:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1328 took 74398 ms. Total solver calls (SAT/UNSAT): 636228(2641/633587)
Jun 01, 2017 12:55:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/1328 took 75439 ms. Total solver calls (SAT/UNSAT): 645365(2680/642685)
Jun 01, 2017 12:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1328 took 76496 ms. Total solver calls (SAT/UNSAT): 654501(2719/651782)
Jun 01, 2017 12:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/1328 took 77537 ms. Total solver calls (SAT/UNSAT): 663637(2758/660879)
Jun 01, 2017 12:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1328 took 78581 ms. Total solver calls (SAT/UNSAT): 672773(2797/669976)
Jun 01, 2017 12:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/1328 took 79626 ms. Total solver calls (SAT/UNSAT): 681909(2836/679073)
Jun 01, 2017 12:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/1328 took 80645 ms. Total solver calls (SAT/UNSAT): 690828(2872/687956)
Jun 01, 2017 12:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 81687 ms. Total solver calls (SAT/UNSAT): 699965(2911/697054)
Jun 01, 2017 12:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1328 took 82737 ms. Total solver calls (SAT/UNSAT): 709101(2950/706151)
Jun 01, 2017 12:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/1328 took 83786 ms. Total solver calls (SAT/UNSAT): 718237(2989/715248)
Jun 01, 2017 12:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/1328 took 84825 ms. Total solver calls (SAT/UNSAT): 727373(3028/724345)
Jun 01, 2017 12:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1328 took 85866 ms. Total solver calls (SAT/UNSAT): 736509(3067/733442)
Jun 01, 2017 12:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1328 took 86883 ms. Total solver calls (SAT/UNSAT): 745428(3103/742325)
Jun 01, 2017 12:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/1328 took 87924 ms. Total solver calls (SAT/UNSAT): 754565(3142/751423)
Jun 01, 2017 12:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1328 took 88972 ms. Total solver calls (SAT/UNSAT): 763701(3181/760520)
Jun 01, 2017 12:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1089/1328 took 90013 ms. Total solver calls (SAT/UNSAT): 772837(3220/769617)
Jun 01, 2017 12:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1328 took 91054 ms. Total solver calls (SAT/UNSAT): 781973(3259/778714)
Jun 01, 2017 12:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/1328 took 92097 ms. Total solver calls (SAT/UNSAT): 791109(3298/787811)
Jun 01, 2017 12:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/1328 took 93110 ms. Total solver calls (SAT/UNSAT): 800028(3334/796694)
Jun 01, 2017 12:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/1328 took 94152 ms. Total solver calls (SAT/UNSAT): 809165(3373/805792)
Jun 01, 2017 12:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/1328 took 95155 ms. Total solver calls (SAT/UNSAT): 817760(3413/814347)
Jun 01, 2017 12:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/1328 took 96175 ms. Total solver calls (SAT/UNSAT): 825809(3528/822281)
Jun 01, 2017 12:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/1328 took 97177 ms. Total solver calls (SAT/UNSAT): 834365(3552/830813)
Jun 01, 2017 12:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1250/1328 took 98185 ms. Total solver calls (SAT/UNSAT): 842921(3576/839345)
Jun 01, 2017 12:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/1328 took 99191 ms. Total solver calls (SAT/UNSAT): 851477(3600/847877)
Jun 01, 2017 12:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/1328 took 100201 ms. Total solver calls (SAT/UNSAT): 860033(3624/856409)
Jun 01, 2017 12:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 100706 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 01, 2017 12:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 01, 2017 12:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1242 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 01, 2017 12:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2474 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 01, 2017 12:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3694 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 01, 2017 12:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 4928 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 01, 2017 12:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 6143 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 01, 2017 12:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7359 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 01, 2017 12:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 8589 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 01, 2017 12:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 9823 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 01, 2017 12:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 11045 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 01, 2017 12:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 12271 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 01, 2017 12:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 13491 ms. Total solver calls (SAT/UNSAT): 31372(572/30800)
Jun 01, 2017 12:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 14716 ms. Total solver calls (SAT/UNSAT): 34224(624/33600)
Jun 01, 2017 12:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1328 took 15720 ms. Total solver calls (SAT/UNSAT): 37656(659/36997)
Jun 01, 2017 12:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1328 took 16781 ms. Total solver calls (SAT/UNSAT): 43008(683/42325)
Jun 01, 2017 12:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1328 took 17841 ms. Total solver calls (SAT/UNSAT): 48360(707/47653)
Jun 01, 2017 12:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/1328 took 18900 ms. Total solver calls (SAT/UNSAT): 53712(731/52981)
Jun 01, 2017 12:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 19962 ms. Total solver calls (SAT/UNSAT): 59064(755/58309)
Jun 01, 2017 12:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/1328 took 21075 ms. Total solver calls (SAT/UNSAT): 64416(779/63637)
Jun 01, 2017 12:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/1328 took 22130 ms. Total solver calls (SAT/UNSAT): 69766(803/68963)
Jun 01, 2017 12:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/1328 took 23182 ms. Total solver calls (SAT/UNSAT): 75110(827/74283)
Jun 01, 2017 12:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/1328 took 24233 ms. Total solver calls (SAT/UNSAT): 80454(851/79603)
Jun 01, 2017 12:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/1328 took 25286 ms. Total solver calls (SAT/UNSAT): 85798(875/84923)
Jun 01, 2017 12:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1328 took 26340 ms. Total solver calls (SAT/UNSAT): 91142(899/90243)
Jun 01, 2017 12:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/1328 took 27393 ms. Total solver calls (SAT/UNSAT): 96486(923/95563)
Jun 01, 2017 12:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 28448 ms. Total solver calls (SAT/UNSAT): 101830(947/100883)
Jun 01, 2017 12:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1328 took 29545 ms. Total solver calls (SAT/UNSAT): 107173(971/106202)
Jun 01, 2017 12:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/1328 took 30604 ms. Total solver calls (SAT/UNSAT): 112517(995/111522)
Jun 01, 2017 12:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1328 took 31668 ms. Total solver calls (SAT/UNSAT): 117861(1019/116842)
Jun 01, 2017 12:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1328 took 32727 ms. Total solver calls (SAT/UNSAT): 123205(1043/122162)
Jun 01, 2017 12:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/1328 took 33788 ms. Total solver calls (SAT/UNSAT): 128549(1067/127482)
Jun 01, 2017 12:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1328 took 34848 ms. Total solver calls (SAT/UNSAT): 133893(1091/132802)
Jun 01, 2017 12:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/1328 took 35908 ms. Total solver calls (SAT/UNSAT): 139236(1115/138121)
Jun 01, 2017 12:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/1328 took 36974 ms. Total solver calls (SAT/UNSAT): 144580(1139/143441)
Jun 01, 2017 12:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1328 took 38045 ms. Total solver calls (SAT/UNSAT): 149924(1163/148761)
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/1328 took 39121 ms. Total solver calls (SAT/UNSAT): 155268(1187/154081)
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/1328 took 40230 ms. Total solver calls (SAT/UNSAT): 160612(1211/159401)
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 41292 ms. Total solver calls (SAT/UNSAT): 165956(1235/164721)
Jun 01, 2017 12:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1328 took 42377 ms. Total solver calls (SAT/UNSAT): 171299(1259/170040)
Jun 01, 2017 12:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 43450 ms. Total solver calls (SAT/UNSAT): 176643(1283/175360)
Jun 01, 2017 12:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 44516 ms. Total solver calls (SAT/UNSAT): 181987(1307/180680)
Jun 01, 2017 12:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1328 took 45581 ms. Total solver calls (SAT/UNSAT): 187331(1331/186000)
Jun 01, 2017 12:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 46646 ms. Total solver calls (SAT/UNSAT): 192675(1355/191320)
Jun 01, 2017 12:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 47712 ms. Total solver calls (SAT/UNSAT): 198019(1379/196640)
Jun 01, 2017 12:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1328 took 48777 ms. Total solver calls (SAT/UNSAT): 203362(1403/201959)
Jun 01, 2017 12:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 49844 ms. Total solver calls (SAT/UNSAT): 208706(1427/207279)
Jun 01, 2017 12:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1328 took 50896 ms. Total solver calls (SAT/UNSAT): 213382(1448/211934)
Jun 01, 2017 12:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/1328 took 51970 ms. Total solver calls (SAT/UNSAT): 218726(1472/217254)
Jun 01, 2017 12:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/1328 took 53049 ms. Total solver calls (SAT/UNSAT): 224070(1496/222574)
Jun 01, 2017 12:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1328 took 54122 ms. Total solver calls (SAT/UNSAT): 229414(1520/227894)
Jun 01, 2017 12:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1328 took 55200 ms. Total solver calls (SAT/UNSAT): 234758(1544/233214)
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/1328 took 56273 ms. Total solver calls (SAT/UNSAT): 240101(1568/238533)
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/1328 took 57347 ms. Total solver calls (SAT/UNSAT): 245445(1592/243853)
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/1328 took 58423 ms. Total solver calls (SAT/UNSAT): 250789(1616/249173)
Jun 01, 2017 12:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1328 took 59514 ms. Total solver calls (SAT/UNSAT): 256133(1640/254493)
Jun 01, 2017 12:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1328 took 60596 ms. Total solver calls (SAT/UNSAT): 261477(1664/259813)
Jun 01, 2017 12:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1328 took 61718 ms. Total solver calls (SAT/UNSAT): 266821(1688/265133)
Jun 01, 2017 12:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/1328 took 62800 ms. Total solver calls (SAT/UNSAT): 272164(1712/270452)
Jun 01, 2017 12:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1328 took 63882 ms. Total solver calls (SAT/UNSAT): 277508(1736/275772)
Jun 01, 2017 12:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1328 took 64959 ms. Total solver calls (SAT/UNSAT): 282852(1760/281092)
Jun 01, 2017 12:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/1328 took 66038 ms. Total solver calls (SAT/UNSAT): 288196(1784/286412)
Jun 01, 2017 12:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1328 took 67121 ms. Total solver calls (SAT/UNSAT): 293540(1808/291732)
Jun 01, 2017 12:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1328 took 68198 ms. Total solver calls (SAT/UNSAT): 298884(1832/297052)
Jun 01, 2017 12:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/1328 took 69212 ms. Total solver calls (SAT/UNSAT): 304227(1856/302371)
Jun 01, 2017 12:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/1328 took 70262 ms. Total solver calls (SAT/UNSAT): 310907(1886/309021)
Jun 01, 2017 12:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1328 took 71317 ms. Total solver calls (SAT/UNSAT): 317587(1916/315671)
Jun 01, 2017 12:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/1328 took 72365 ms. Total solver calls (SAT/UNSAT): 324267(1946/322321)
Jun 01, 2017 12:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/1328 took 73415 ms. Total solver calls (SAT/UNSAT): 330947(1976/328971)
Jun 01, 2017 12:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/1328 took 74525 ms. Total solver calls (SAT/UNSAT): 337626(2006/335620)
Jun 01, 2017 12:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1328 took 75610 ms. Total solver calls (SAT/UNSAT): 342970(2030/340940)
Jun 01, 2017 12:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/1328 took 76698 ms. Total solver calls (SAT/UNSAT): 348314(2054/346260)
Jun 01, 2017 12:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/1328 took 77793 ms. Total solver calls (SAT/UNSAT): 353658(2078/351580)
Jun 01, 2017 12:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1328 took 78884 ms. Total solver calls (SAT/UNSAT): 359002(2102/356900)
Jun 01, 2017 12:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/1328 took 79979 ms. Total solver calls (SAT/UNSAT): 364346(2126/362220)
Jun 01, 2017 12:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/1328 took 81067 ms. Total solver calls (SAT/UNSAT): 369690(2150/367540)
Jun 01, 2017 12:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/1328 took 82286 ms. Total solver calls (SAT/UNSAT): 374165(2158/372007)
Jun 01, 2017 12:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/1328 took 83506 ms. Total solver calls (SAT/UNSAT): 378641(2166/376475)
Jun 01, 2017 12:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/1328 took 84724 ms. Total solver calls (SAT/UNSAT): 383117(2174/380943)
Jun 01, 2017 12:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1328 took 85946 ms. Total solver calls (SAT/UNSAT): 387593(2182/385411)
Jun 01, 2017 12:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/1328 took 87166 ms. Total solver calls (SAT/UNSAT): 392069(2190/389879)
Jun 01, 2017 12:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/1328 took 88386 ms. Total solver calls (SAT/UNSAT): 396545(2198/394347)
Jun 01, 2017 12:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/1328 took 89615 ms. Total solver calls (SAT/UNSAT): 401021(2206/398815)
Jun 01, 2017 12:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/1328 took 90843 ms. Total solver calls (SAT/UNSAT): 405497(2214/403283)
Jun 01, 2017 12:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1328 took 92076 ms. Total solver calls (SAT/UNSAT): 409973(2222/407751)
Jun 01, 2017 12:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/1328 took 93298 ms. Total solver calls (SAT/UNSAT): 414449(2230/412219)
Jun 01, 2017 12:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/1328 took 94535 ms. Total solver calls (SAT/UNSAT): 418925(2238/416687)
Jun 01, 2017 12:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/1328 took 95771 ms. Total solver calls (SAT/UNSAT): 423401(2246/421155)
Jun 01, 2017 12:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/1328 took 97001 ms. Total solver calls (SAT/UNSAT): 426974(2256/424718)
Jun 01, 2017 12:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/1328 took 98180 ms. Total solver calls (SAT/UNSAT): 429642(2268/427374)
Jun 01, 2017 12:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1328 took 99322 ms. Total solver calls (SAT/UNSAT): 432310(2280/430030)
Jun 01, 2017 12:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/1328 took 100387 ms. Total solver calls (SAT/UNSAT): 434765(2288/432477)
Jun 01, 2017 12:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/1328 took 101603 ms. Total solver calls (SAT/UNSAT): 437437(2300/435137)
Jun 01, 2017 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1328 took 102730 ms. Total solver calls (SAT/UNSAT): 440109(2312/437797)
Jun 01, 2017 12:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/1328 took 103797 ms. Total solver calls (SAT/UNSAT): 442565(2320/440245)
Jun 01, 2017 12:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1328 took 104961 ms. Total solver calls (SAT/UNSAT): 445237(2332/442905)
Jun 01, 2017 12:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1328 took 106102 ms. Total solver calls (SAT/UNSAT): 447909(2344/445565)
Jun 01, 2017 12:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 107163 ms. Total solver calls (SAT/UNSAT): 450365(2352/448013)
Jun 01, 2017 12:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 108381 ms. Total solver calls (SAT/UNSAT): 453037(2364/450673)
Jun 01, 2017 12:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1328 took 109535 ms. Total solver calls (SAT/UNSAT): 455709(2376/453333)
Jun 01, 2017 12:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/1328 took 110605 ms. Total solver calls (SAT/UNSAT): 458165(2384/455781)
Jun 01, 2017 12:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/1328 took 111796 ms. Total solver calls (SAT/UNSAT): 460837(2396/458441)
Jun 01, 2017 12:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1328 took 112939 ms. Total solver calls (SAT/UNSAT): 463509(2408/461101)
Jun 01, 2017 12:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/1328 took 114062 ms. Total solver calls (SAT/UNSAT): 465965(2416/463549)
Jun 01, 2017 12:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1328 took 115231 ms. Total solver calls (SAT/UNSAT): 468637(2428/466209)
Jun 01, 2017 12:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/1328 took 116372 ms. Total solver calls (SAT/UNSAT): 471309(2440/468869)
Jun 01, 2017 12:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/1328 took 117441 ms. Total solver calls (SAT/UNSAT): 473765(2448/471317)
Jun 01, 2017 12:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/1328 took 118610 ms. Total solver calls (SAT/UNSAT): 476437(2460/473977)
Jun 01, 2017 12:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1328 took 119751 ms. Total solver calls (SAT/UNSAT): 479109(2472/476637)
Jun 01, 2017 12:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1328 took 120807 ms. Total solver calls (SAT/UNSAT): 481565(2480/479085)
Jun 01, 2017 12:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1328 took 121981 ms. Total solver calls (SAT/UNSAT): 484237(2492/481745)
Jun 01, 2017 12:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 123131 ms. Total solver calls (SAT/UNSAT): 486909(2504/484405)
Jun 01, 2017 12:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1328 took 124190 ms. Total solver calls (SAT/UNSAT): 489365(2512/486853)
Jun 01, 2017 12:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/1328 took 125357 ms. Total solver calls (SAT/UNSAT): 492037(2524/489513)
Jun 01, 2017 12:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1328 took 126540 ms. Total solver calls (SAT/UNSAT): 494709(2536/492173)
Jun 01, 2017 12:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/1328 took 127602 ms. Total solver calls (SAT/UNSAT): 497165(2544/494621)
Jun 01, 2017 12:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/1328 took 128767 ms. Total solver calls (SAT/UNSAT): 499837(2556/497281)
Jun 01, 2017 12:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1328 took 129892 ms. Total solver calls (SAT/UNSAT): 502509(2568/499941)
Jun 01, 2017 12:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1328 took 130943 ms. Total solver calls (SAT/UNSAT): 504965(2576/502389)
Jun 01, 2017 12:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/1328 took 132101 ms. Total solver calls (SAT/UNSAT): 507637(2588/505049)
Jun 01, 2017 12:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/1328 took 133223 ms. Total solver calls (SAT/UNSAT): 510309(2600/507709)
Jun 01, 2017 12:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1328 took 134269 ms. Total solver calls (SAT/UNSAT): 512765(2608/510157)
Jun 01, 2017 12:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1328 took 135427 ms. Total solver calls (SAT/UNSAT): 515437(2620/512817)
Jun 01, 2017 12:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1328 took 136559 ms. Total solver calls (SAT/UNSAT): 518109(2632/515477)
Jun 01, 2017 12:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1328 took 137625 ms. Total solver calls (SAT/UNSAT): 520565(2640/517925)
Jun 01, 2017 12:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1328 took 138784 ms. Total solver calls (SAT/UNSAT): 523237(2652/520585)
Jun 01, 2017 12:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/1328 took 139915 ms. Total solver calls (SAT/UNSAT): 525909(2664/523245)
Jun 01, 2017 12:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/1328 took 140968 ms. Total solver calls (SAT/UNSAT): 528365(2672/525693)
Jun 01, 2017 12:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/1328 took 142182 ms. Total solver calls (SAT/UNSAT): 531037(2684/528353)
Jun 01, 2017 12:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/1328 took 143321 ms. Total solver calls (SAT/UNSAT): 533709(2696/531013)
Jun 01, 2017 12:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/1328 took 144437 ms. Total solver calls (SAT/UNSAT): 536165(2704/533461)
Jun 01, 2017 12:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1328 took 145627 ms. Total solver calls (SAT/UNSAT): 538837(2716/536121)
Jun 01, 2017 12:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1328 took 146785 ms. Total solver calls (SAT/UNSAT): 541509(2728/538781)
Jun 01, 2017 12:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1328 took 147856 ms. Total solver calls (SAT/UNSAT): 543965(2736/541229)
Jun 01, 2017 12:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1328 took 149046 ms. Total solver calls (SAT/UNSAT): 546637(2748/543889)
Jun 01, 2017 12:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1328 took 150195 ms. Total solver calls (SAT/UNSAT): 549309(2760/546549)
Jun 01, 2017 12:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1328 took 151259 ms. Total solver calls (SAT/UNSAT): 551765(2768/548997)
Jun 01, 2017 12:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/1328 took 152425 ms. Total solver calls (SAT/UNSAT): 554437(2780/551657)
Jun 01, 2017 12:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 153621 ms. Total solver calls (SAT/UNSAT): 557109(2792/554317)
Jun 01, 2017 12:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1328 took 154688 ms. Total solver calls (SAT/UNSAT): 559565(2800/556765)
Jun 01, 2017 12:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/1328 took 155878 ms. Total solver calls (SAT/UNSAT): 562237(2812/559425)
Jun 01, 2017 12:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/1328 took 157025 ms. Total solver calls (SAT/UNSAT): 564909(2824/562085)
Jun 01, 2017 12:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/1328 took 158106 ms. Total solver calls (SAT/UNSAT): 567365(2832/564533)
Jun 01, 2017 12:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/1328 took 159289 ms. Total solver calls (SAT/UNSAT): 570037(2844/567193)
Jun 01, 2017 12:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/1328 took 160440 ms. Total solver calls (SAT/UNSAT): 572709(2856/569853)
Jun 01, 2017 12:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1328 took 161556 ms. Total solver calls (SAT/UNSAT): 575165(2864/572301)
Jun 01, 2017 12:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1328 took 162773 ms. Total solver calls (SAT/UNSAT): 577837(2876/574961)
Jun 01, 2017 12:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1328 took 163959 ms. Total solver calls (SAT/UNSAT): 580509(2888/577621)
Jun 01, 2017 12:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1328 took 165032 ms. Total solver calls (SAT/UNSAT): 582965(2896/580069)
Jun 01, 2017 12:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/1328 took 166200 ms. Total solver calls (SAT/UNSAT): 585637(2908/582729)
Jun 01, 2017 12:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1328 took 167347 ms. Total solver calls (SAT/UNSAT): 588309(2920/585389)
Jun 01, 2017 12:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1328 took 168415 ms. Total solver calls (SAT/UNSAT): 590765(2928/587837)
Jun 01, 2017 12:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1328 took 169597 ms. Total solver calls (SAT/UNSAT): 593437(2940/590497)
Jun 01, 2017 12:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1328 took 170742 ms. Total solver calls (SAT/UNSAT): 596109(2952/593157)
Jun 01, 2017 12:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/1328 took 171811 ms. Total solver calls (SAT/UNSAT): 598565(2960/595605)
Jun 01, 2017 12:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/1328 took 172997 ms. Total solver calls (SAT/UNSAT): 601237(2972/598265)
Jun 01, 2017 12:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/1328 took 174143 ms. Total solver calls (SAT/UNSAT): 603909(2984/600925)
Jun 01, 2017 12:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 175214 ms. Total solver calls (SAT/UNSAT): 606365(2992/603373)
Jun 01, 2017 12:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1328 took 176406 ms. Total solver calls (SAT/UNSAT): 609037(3004/606033)
Jun 01, 2017 12:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1328 took 177548 ms. Total solver calls (SAT/UNSAT): 611709(3016/608693)
Jun 01, 2017 12:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/1328 took 178651 ms. Total solver calls (SAT/UNSAT): 614165(3024/611141)
Jun 01, 2017 12:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/1328 took 179809 ms. Total solver calls (SAT/UNSAT): 616837(3036/613801)
Jun 01, 2017 12:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/1328 took 180941 ms. Total solver calls (SAT/UNSAT): 619509(3048/616461)
Jun 01, 2017 12:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/1328 took 181998 ms. Total solver calls (SAT/UNSAT): 621965(3056/618909)
Jun 01, 2017 12:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1328 took 183169 ms. Total solver calls (SAT/UNSAT): 624637(3068/621569)
Jun 01, 2017 12:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/1328 took 184308 ms. Total solver calls (SAT/UNSAT): 627309(3080/624229)
Jun 01, 2017 12:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1328 took 185371 ms. Total solver calls (SAT/UNSAT): 629765(3088/626677)
Jun 01, 2017 12:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1328 took 186542 ms. Total solver calls (SAT/UNSAT): 632437(3100/629337)
Jun 01, 2017 12:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/1328 took 187675 ms. Total solver calls (SAT/UNSAT): 635109(3112/631997)
Jun 01, 2017 12:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1328 took 188735 ms. Total solver calls (SAT/UNSAT): 637565(3120/634445)
Jun 01, 2017 12:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1328 took 189903 ms. Total solver calls (SAT/UNSAT): 640237(3132/637105)
Jun 01, 2017 12:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 191038 ms. Total solver calls (SAT/UNSAT): 642909(3144/639765)
Jun 01, 2017 12:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/1328 took 192105 ms. Total solver calls (SAT/UNSAT): 645365(3152/642213)
Jun 01, 2017 12:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1328 took 193271 ms. Total solver calls (SAT/UNSAT): 648037(3164/644873)
Jun 01, 2017 12:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/1328 took 194406 ms. Total solver calls (SAT/UNSAT): 650709(3176/647533)
Jun 01, 2017 12:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/1328 took 195471 ms. Total solver calls (SAT/UNSAT): 653165(3184/649981)
Jun 01, 2017 12:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1328 took 196635 ms. Total solver calls (SAT/UNSAT): 655837(3196/652641)
Jun 01, 2017 12:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/1328 took 197770 ms. Total solver calls (SAT/UNSAT): 658509(3208/655301)
Jun 01, 2017 12:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/1328 took 198841 ms. Total solver calls (SAT/UNSAT): 660965(3216/657749)
Jun 01, 2017 12:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/1328 took 200015 ms. Total solver calls (SAT/UNSAT): 663637(3228/660409)
Jun 01, 2017 12:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1328 took 201146 ms. Total solver calls (SAT/UNSAT): 666309(3240/663069)
Jun 01, 2017 12:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 202202 ms. Total solver calls (SAT/UNSAT): 668765(3248/665517)
Jun 01, 2017 12:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/1328 took 203362 ms. Total solver calls (SAT/UNSAT): 671437(3260/668177)
Jun 01, 2017 12:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1328 took 204493 ms. Total solver calls (SAT/UNSAT): 674109(3272/670837)
Jun 01, 2017 12:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/1328 took 205551 ms. Total solver calls (SAT/UNSAT): 676565(3280/673285)
Jun 01, 2017 12:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/1328 took 206714 ms. Total solver calls (SAT/UNSAT): 679237(3292/675945)
Jun 01, 2017 12:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/1328 took 207847 ms. Total solver calls (SAT/UNSAT): 681909(3304/678605)
Jun 01, 2017 12:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 208901 ms. Total solver calls (SAT/UNSAT): 684365(3312/681053)
Jun 01, 2017 12:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1328 took 210068 ms. Total solver calls (SAT/UNSAT): 687037(3324/683713)
Jun 01, 2017 12:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1328 took 211203 ms. Total solver calls (SAT/UNSAT): 689709(3336/686373)
Jun 01, 2017 12:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/1328 took 212266 ms. Total solver calls (SAT/UNSAT): 692165(3344/688821)
Jun 01, 2017 12:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/1328 took 213486 ms. Total solver calls (SAT/UNSAT): 694837(3356/691481)
Jun 01, 2017 12:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/1328 took 214622 ms. Total solver calls (SAT/UNSAT): 697509(3368/694141)
Jun 01, 2017 12:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 215696 ms. Total solver calls (SAT/UNSAT): 699965(3376/696589)
Jun 01, 2017 12:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1328 took 216869 ms. Total solver calls (SAT/UNSAT): 702637(3388/699249)
Jun 01, 2017 12:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1328 took 218009 ms. Total solver calls (SAT/UNSAT): 705309(3400/701909)
Jun 01, 2017 12:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/1328 took 219070 ms. Total solver calls (SAT/UNSAT): 707765(3408/704357)
Jun 01, 2017 12:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/1328 took 220245 ms. Total solver calls (SAT/UNSAT): 710437(3420/707017)
Jun 01, 2017 12:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/1328 took 221377 ms. Total solver calls (SAT/UNSAT): 713109(3432/709677)
Jun 01, 2017 12:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1328 took 222452 ms. Total solver calls (SAT/UNSAT): 715565(3440/712125)
Jun 01, 2017 12:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/1328 took 223620 ms. Total solver calls (SAT/UNSAT): 718237(3452/714785)
Jun 01, 2017 12:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/1328 took 224754 ms. Total solver calls (SAT/UNSAT): 720909(3464/717445)
Jun 01, 2017 12:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/1328 took 225827 ms. Total solver calls (SAT/UNSAT): 723365(3472/719893)
Jun 01, 2017 12:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/1328 took 227002 ms. Total solver calls (SAT/UNSAT): 726037(3484/722553)
Jun 01, 2017 12:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/1328 took 228144 ms. Total solver calls (SAT/UNSAT): 728709(3496/725213)
Jun 01, 2017 12:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1328 took 229216 ms. Total solver calls (SAT/UNSAT): 731165(3504/727661)
Jun 01, 2017 12:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1328 took 230386 ms. Total solver calls (SAT/UNSAT): 733837(3516/730321)
Jun 01, 2017 12:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1328 took 231523 ms. Total solver calls (SAT/UNSAT): 736509(3528/732981)
Jun 01, 2017 12:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1328 took 232591 ms. Total solver calls (SAT/UNSAT): 738965(3536/735429)
Jun 01, 2017 12:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/1328 took 233765 ms. Total solver calls (SAT/UNSAT): 741637(3548/738089)
Jun 01, 2017 12:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/1328 took 234905 ms. Total solver calls (SAT/UNSAT): 744309(3560/740749)
Jun 01, 2017 12:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/1328 took 235966 ms. Total solver calls (SAT/UNSAT): 746765(3568/743197)
Jun 01, 2017 12:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1328 took 237133 ms. Total solver calls (SAT/UNSAT): 749437(3580/745857)
Jun 01, 2017 12:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/1328 took 238156 ms. Total solver calls (SAT/UNSAT): 751441(3589/747852)
Jun 01, 2017 12:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1328 took 239220 ms. Total solver calls (SAT/UNSAT): 753897(3597/750300)
Jun 01, 2017 12:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1328 took 240397 ms. Total solver calls (SAT/UNSAT): 756569(3609/752960)
Jun 01, 2017 12:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 241551 ms. Total solver calls (SAT/UNSAT): 759241(3621/755620)
Jun 01, 2017 12:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1073/1328 took 242610 ms. Total solver calls (SAT/UNSAT): 761697(3629/758068)
Jun 01, 2017 12:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/1328 took 243782 ms. Total solver calls (SAT/UNSAT): 764369(3641/760728)
Jun 01, 2017 12:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1081/1328 took 244924 ms. Total solver calls (SAT/UNSAT): 767041(3653/763388)
Jun 01, 2017 12:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 245994 ms. Total solver calls (SAT/UNSAT): 769497(3661/765836)
Jun 01, 2017 12:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/1328 took 247165 ms. Total solver calls (SAT/UNSAT): 772169(3673/768496)
Jun 01, 2017 12:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1328 took 248319 ms. Total solver calls (SAT/UNSAT): 774841(3685/771156)
Jun 01, 2017 1:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/1328 took 249381 ms. Total solver calls (SAT/UNSAT): 777297(3693/773604)
Jun 01, 2017 1:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/1328 took 250576 ms. Total solver calls (SAT/UNSAT): 779969(3705/776264)
Jun 01, 2017 1:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/1328 took 251720 ms. Total solver calls (SAT/UNSAT): 782641(3717/778924)
Jun 01, 2017 1:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1328 took 252788 ms. Total solver calls (SAT/UNSAT): 785097(3725/781372)
Jun 01, 2017 1:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 253961 ms. Total solver calls (SAT/UNSAT): 787769(3737/784032)
Jun 01, 2017 1:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1328 took 255114 ms. Total solver calls (SAT/UNSAT): 790441(3749/786692)
Jun 01, 2017 1:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/1328 took 256184 ms. Total solver calls (SAT/UNSAT): 792897(3757/789140)
Jun 01, 2017 1:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1328 took 257361 ms. Total solver calls (SAT/UNSAT): 795569(3769/791800)
Jun 01, 2017 1:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/1328 took 258509 ms. Total solver calls (SAT/UNSAT): 798241(3781/794460)
Jun 01, 2017 1:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/1328 took 259582 ms. Total solver calls (SAT/UNSAT): 800697(3789/796908)
Jun 01, 2017 1:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/1328 took 260754 ms. Total solver calls (SAT/UNSAT): 803369(3801/799568)
Jun 01, 2017 1:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/1328 took 261910 ms. Total solver calls (SAT/UNSAT): 806041(3813/802228)
Jun 01, 2017 1:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1328 took 262982 ms. Total solver calls (SAT/UNSAT): 808497(3821/804676)
Jun 01, 2017 1:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1328 took 264152 ms. Total solver calls (SAT/UNSAT): 811169(3833/807336)
Jun 01, 2017 1:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/1328 took 265288 ms. Total solver calls (SAT/UNSAT): 813841(3845/809996)
Jun 01, 2017 1:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/1328 took 266333 ms. Total solver calls (SAT/UNSAT): 816120(4003/812117)
Jun 01, 2017 1:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/1328 took 267333 ms. Total solver calls (SAT/UNSAT): 817924(4564/813360)
Jun 01, 2017 1:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 268650 ms. Total solver calls (SAT/UNSAT): 821036(4972/816064)
Jun 01, 2017 1:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/1328 took 269670 ms. Total solver calls (SAT/UNSAT): 822731(5035/817696)
Jun 01, 2017 1:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1328 took 270985 ms. Total solver calls (SAT/UNSAT): 825096(6229/818867)
Jun 01, 2017 1:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/1328 took 272003 ms. Total solver calls (SAT/UNSAT): 829374(6307/823067)
Jun 01, 2017 1:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1328 took 273032 ms. Total solver calls (SAT/UNSAT): 833652(6385/827267)
Jun 01, 2017 1:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/1328 took 274119 ms. Total solver calls (SAT/UNSAT): 837930(6463/831467)
Jun 01, 2017 1:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1328 took 275203 ms. Total solver calls (SAT/UNSAT): 842208(6541/835667)
Jun 01, 2017 1:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1328 took 276230 ms. Total solver calls (SAT/UNSAT): 846486(6619/839867)
Jun 01, 2017 1:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1328 took 277253 ms. Total solver calls (SAT/UNSAT): 850764(6697/844067)
Jun 01, 2017 1:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1328 took 278332 ms. Total solver calls (SAT/UNSAT): 855042(6775/848267)
Jun 01, 2017 1:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1328 took 279423 ms. Total solver calls (SAT/UNSAT): 859320(6853/852467)
Jun 01, 2017 1:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/1328 took 280447 ms. Total solver calls (SAT/UNSAT): 861909(6970/854939)
Jun 01, 2017 1:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 281357 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 01, 2017 1:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 01, 2017 1:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1328) took 666 ms. Total solver calls (SAT/UNSAT): 5306(216/5090)
Jun 01, 2017 1:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/1328) took 1781 ms. Total solver calls (SAT/UNSAT): 14553(594/13959)
Jun 01, 2017 1:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1328) took 2880 ms. Total solver calls (SAT/UNSAT): 23751(972/22779)
Jun 01, 2017 1:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/1328) took 3982 ms. Total solver calls (SAT/UNSAT): 32900(1350/31550)
Jun 01, 2017 1:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1328) took 5120 ms. Total solver calls (SAT/UNSAT): 42000(1728/40272)
Jun 01, 2017 1:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/1328) took 6185 ms. Total solver calls (SAT/UNSAT): 51051(2106/48945)
Jun 01, 2017 1:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/1328) took 7250 ms. Total solver calls (SAT/UNSAT): 60053(2484/57569)
Jun 01, 2017 1:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/1328) took 8295 ms. Total solver calls (SAT/UNSAT): 69006(2712/66294)
Jun 01, 2017 1:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/1328) took 9343 ms. Total solver calls (SAT/UNSAT): 77910(2740/75170)
Jun 01, 2017 1:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/1328) took 10458 ms. Total solver calls (SAT/UNSAT): 88026(2772/85254)
Jun 01, 2017 1:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/1328) took 11571 ms. Total solver calls (SAT/UNSAT): 98078(2804/95274)
Jun 01, 2017 1:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/1328) took 12669 ms. Total solver calls (SAT/UNSAT): 108066(2836/105230)
Jun 01, 2017 1:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/1328) took 13765 ms. Total solver calls (SAT/UNSAT): 117990(2868/115122)
Jun 01, 2017 1:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/1328) took 14850 ms. Total solver calls (SAT/UNSAT): 127850(2900/124950)
Jun 01, 2017 1:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/1328) took 15930 ms. Total solver calls (SAT/UNSAT): 137646(2932/134714)
Jun 01, 2017 1:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/1328) took 16998 ms. Total solver calls (SAT/UNSAT): 147378(2964/144414)
Jun 01, 2017 1:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/1328) took 18066 ms. Total solver calls (SAT/UNSAT): 157046(2996/154050)
Jun 01, 2017 1:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1328) took 19120 ms. Total solver calls (SAT/UNSAT): 166650(3028/163622)
Jun 01, 2017 1:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1328) took 20175 ms. Total solver calls (SAT/UNSAT): 176190(3060/173130)
Jun 01, 2017 1:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1328) took 21217 ms. Total solver calls (SAT/UNSAT): 185666(3092/182574)
Jun 01, 2017 1:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1328) took 22253 ms. Total solver calls (SAT/UNSAT): 195078(3124/191954)
Jun 01, 2017 1:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1328) took 23286 ms. Total solver calls (SAT/UNSAT): 204426(3156/201270)
Jun 01, 2017 1:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1328) took 24374 ms. Total solver calls (SAT/UNSAT): 213710(3188/210522)
Jun 01, 2017 1:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1328) took 25418 ms. Total solver calls (SAT/UNSAT): 222930(3220/219710)
Jun 01, 2017 1:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1328) took 26450 ms. Total solver calls (SAT/UNSAT): 232086(3252/228834)
Jun 01, 2017 1:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1328) took 27503 ms. Total solver calls (SAT/UNSAT): 241178(3284/237894)
Jun 01, 2017 1:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/1328) took 28623 ms. Total solver calls (SAT/UNSAT): 251330(3320/248010)
Jun 01, 2017 1:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1328) took 29738 ms. Total solver calls (SAT/UNSAT): 261401(3356/258045)
Jun 01, 2017 1:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/1328) took 30839 ms. Total solver calls (SAT/UNSAT): 271391(3392/267999)
Jun 01, 2017 1:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1328) took 31931 ms. Total solver calls (SAT/UNSAT): 281300(3428/277872)
Jun 01, 2017 1:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1328) took 32940 ms. Total solver calls (SAT/UNSAT): 290040(3460/286580)
Jun 01, 2017 1:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/1328) took 34015 ms. Total solver calls (SAT/UNSAT): 299796(3496/296300)
Jun 01, 2017 1:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/1328) took 35132 ms. Total solver calls (SAT/UNSAT): 309471(3532/305939)
Jun 01, 2017 1:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/1328) took 36191 ms. Total solver calls (SAT/UNSAT): 319065(3568/315497)
Jun 01, 2017 1:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/1328) took 37245 ms. Total solver calls (SAT/UNSAT): 328578(3604/324974)
Jun 01, 2017 1:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/1328) took 38288 ms. Total solver calls (SAT/UNSAT): 338010(3640/334370)
Jun 01, 2017 1:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/1328) took 39317 ms. Total solver calls (SAT/UNSAT): 347361(3676/343685)
Jun 01, 2017 1:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/1328) took 40343 ms. Total solver calls (SAT/UNSAT): 356631(3712/352919)
Jun 01, 2017 1:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/1328) took 41358 ms. Total solver calls (SAT/UNSAT): 365820(3748/362072)
Jun 01, 2017 1:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/1328) took 42368 ms. Total solver calls (SAT/UNSAT): 374928(3784/371144)
Jun 01, 2017 1:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/1328) took 43368 ms. Total solver calls (SAT/UNSAT): 383955(3820/380135)
Jun 01, 2017 1:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/1328) took 44467 ms. Total solver calls (SAT/UNSAT): 393890(3860/390030)
Jun 01, 2017 1:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/1328) took 45553 ms. Total solver calls (SAT/UNSAT): 403725(3900/399825)
Jun 01, 2017 1:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/1328) took 46627 ms. Total solver calls (SAT/UNSAT): 413460(3940/409520)
Jun 01, 2017 1:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/1328) took 47631 ms. Total solver calls (SAT/UNSAT): 422136(3976/418160)
Jun 01, 2017 1:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/1328) took 48729 ms. Total solver calls (SAT/UNSAT): 431681(4016/427665)
Jun 01, 2017 1:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/1328) took 49821 ms. Total solver calls (SAT/UNSAT): 441126(4056/437070)
Jun 01, 2017 1:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/1328) took 50849 ms. Total solver calls (SAT/UNSAT): 450471(4096/446375)
Jun 01, 2017 1:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/1328) took 51866 ms. Total solver calls (SAT/UNSAT): 459716(4136/455580)
Jun 01, 2017 1:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/1328) took 52877 ms. Total solver calls (SAT/UNSAT): 468861(4176/464685)
Jun 01, 2017 1:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/1328) took 53973 ms. Total solver calls (SAT/UNSAT): 478805(4220/474585)
Jun 01, 2017 1:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/1328) took 55058 ms. Total solver calls (SAT/UNSAT): 488628(4264/484364)
Jun 01, 2017 1:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/1328) took 56126 ms. Total solver calls (SAT/UNSAT): 498330(4308/494022)
Jun 01, 2017 1:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/1328) took 57177 ms. Total solver calls (SAT/UNSAT): 507045(4348/502697)
Jun 01, 2017 1:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/1328) took 58250 ms. Total solver calls (SAT/UNSAT): 516516(4392/512124)
Jun 01, 2017 1:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/1328) took 59304 ms. Total solver calls (SAT/UNSAT): 525866(4436/521430)
Jun 01, 2017 1:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/1328) took 60346 ms. Total solver calls (SAT/UNSAT): 535095(4480/530615)
Jun 01, 2017 1:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/1328) took 61376 ms. Total solver calls (SAT/UNSAT): 544203(4524/539679)
Jun 01, 2017 1:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/1328) took 62387 ms. Total solver calls (SAT/UNSAT): 553190(4568/548622)
Jun 01, 2017 1:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/1328) took 63389 ms. Total solver calls (SAT/UNSAT): 562056(4612/557444)
Jun 01, 2017 1:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/1328) took 64416 ms. Total solver calls (SAT/UNSAT): 570801(4656/566145)
Jun 01, 2017 1:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/1328) took 65482 ms. Total solver calls (SAT/UNSAT): 580203(4704/575499)
Jun 01, 2017 1:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(561/1328) took 66492 ms. Total solver calls (SAT/UNSAT): 588695(4748/583947)
Jun 01, 2017 1:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/1328) took 67522 ms. Total solver calls (SAT/UNSAT): 597821(4796/593025)
Jun 01, 2017 1:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/1328) took 68538 ms. Total solver calls (SAT/UNSAT): 606803(4844/601959)
Jun 01, 2017 1:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(597/1328) took 69538 ms. Total solver calls (SAT/UNSAT): 615641(4892/610749)
Jun 01, 2017 1:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(610/1328) took 70597 ms. Total solver calls (SAT/UNSAT): 625053(4944/620109)
Jun 01, 2017 1:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(623/1328) took 71641 ms. Total solver calls (SAT/UNSAT): 634296(4996/629300)
Jun 01, 2017 1:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(636/1328) took 72666 ms. Total solver calls (SAT/UNSAT): 643370(5048/638322)
Jun 01, 2017 1:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(649/1328) took 73695 ms. Total solver calls (SAT/UNSAT): 652275(5100/647175)
Jun 01, 2017 1:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(663/1328) took 74736 ms. Total solver calls (SAT/UNSAT): 661676(5156/656520)
Jun 01, 2017 1:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(677/1328) took 75751 ms. Total solver calls (SAT/UNSAT): 670881(5212/665669)
Jun 01, 2017 1:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(692/1328) took 76815 ms. Total solver calls (SAT/UNSAT): 680526(5272/675254)
Jun 01, 2017 1:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(707/1328) took 77857 ms. Total solver calls (SAT/UNSAT): 689946(5332/684614)
Jun 01, 2017 1:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(722/1328) took 78873 ms. Total solver calls (SAT/UNSAT): 699141(5392/693749)
Jun 01, 2017 1:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(737/1328) took 79877 ms. Total solver calls (SAT/UNSAT): 708111(5452/702659)
Jun 01, 2017 1:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(752/1328) took 80919 ms. Total solver calls (SAT/UNSAT): 716856(5512/711344)
Jun 01, 2017 1:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(768/1328) took 81943 ms. Total solver calls (SAT/UNSAT): 725936(5576/720360)
Jun 01, 2017 1:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(784/1328) took 82947 ms. Total solver calls (SAT/UNSAT): 734760(5640/729120)
Jun 01, 2017 1:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(801/1328) took 83984 ms. Total solver calls (SAT/UNSAT): 743855(5708/738147)
Jun 01, 2017 1:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(818/1328) took 84987 ms. Total solver calls (SAT/UNSAT): 752661(5776/746885)
Jun 01, 2017 1:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1328) took 86019 ms. Total solver calls (SAT/UNSAT): 761670(5848/755822)
Jun 01, 2017 1:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(855/1328) took 87065 ms. Total solver calls (SAT/UNSAT): 770828(5924/764904)
Jun 01, 2017 1:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(874/1328) took 88072 ms. Total solver calls (SAT/UNSAT): 779625(6000/773625)
Jun 01, 2017 1:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(894/1328) took 89099 ms. Total solver calls (SAT/UNSAT): 788495(6080/782415)
Jun 01, 2017 1:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(915/1328) took 90133 ms. Total solver calls (SAT/UNSAT): 797378(6164/791214)
Jun 01, 2017 1:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(938/1328) took 91160 ms. Total solver calls (SAT/UNSAT): 806601(6256/800345)
Jun 01, 2017 1:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(962/1328) took 92165 ms. Total solver calls (SAT/UNSAT): 815661(6352/809309)
Jun 01, 2017 1:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(988/1328) took 93184 ms. Total solver calls (SAT/UNSAT): 824826(6456/818370)
Jun 01, 2017 1:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1016/1328) took 94201 ms. Total solver calls (SAT/UNSAT): 833940(6568/827372)
Jun 01, 2017 1:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1047/1328) took 95222 ms. Total solver calls (SAT/UNSAT): 843116(6692/836424)
Jun 01, 2017 1:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1081/1328) took 96224 ms. Total solver calls (SAT/UNSAT): 852075(6828/845247)
Jun 01, 2017 1:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1121/1328) took 97243 ms. Total solver calls (SAT/UNSAT): 861135(6988/854147)
Jun 01, 2017 1:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1157/1328) took 98291 ms. Total solver calls (SAT/UNSAT): 867921(7932/859989)
Jun 01, 2017 1:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1180/1328) took 99298 ms. Total solver calls (SAT/UNSAT): 871578(9892/861686)
Jun 01, 2017 1:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1218/1328) took 100322 ms. Total solver calls (SAT/UNSAT): 876461(12020/864441)
Jun 01, 2017 1:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1268/1328) took 101325 ms. Total solver calls (SAT/UNSAT): 880686(14684/866002)
Jun 01, 2017 1:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 101617 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 01, 2017 1:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-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 r010-csrt-149436129800501"
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 ;