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 S_BridgeAndVehicles-PT-V50P50N10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900501
=====================================================================

--------------------
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 1496415491563


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 02, 2017 2:58:13 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 2:58:13 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 191 ms
Jun 02, 2017 2:58:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 02, 2017 2:58:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 02, 2017 2:58:14 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 265 ms
Jun 02, 2017 2:58:14 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 51 ms
Jun 02, 2017 2:58:14 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 82 ms
Jun 02, 2017 2:58:15 PM 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 02, 2017 2:58:15 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 221 ms
Jun 02, 2017 2:58:20 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4364 ms
Jun 02, 2017 2:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 02, 2017 2:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 98 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 02, 2017 2:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1328 took 1180 ms. Total solver calls (SAT/UNSAT): 7843(22/7821)
Jun 02, 2017 2:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 2220 ms. Total solver calls (SAT/UNSAT): 14260(40/14220)
Jun 02, 2017 2:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/1328 took 3225 ms. Total solver calls (SAT/UNSAT): 20677(58/20619)
Jun 02, 2017 2:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/1328 took 4261 ms. Total solver calls (SAT/UNSAT): 27094(76/27018)
Jun 02, 2017 2:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 5277 ms. Total solver calls (SAT/UNSAT): 34224(96/34128)
Jun 02, 2017 2:58:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/1328 took 6328 ms. Total solver calls (SAT/UNSAT): 42339(130/42209)
Jun 02, 2017 2:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/1328 took 7393 ms. Total solver calls (SAT/UNSAT): 51036(169/50867)
Jun 02, 2017 2:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/1328 took 8443 ms. Total solver calls (SAT/UNSAT): 58395(202/58193)
Jun 02, 2017 2:58:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/1328 took 9463 ms. Total solver calls (SAT/UNSAT): 67092(241/66851)
Jun 02, 2017 2:58:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/1328 took 10480 ms. Total solver calls (SAT/UNSAT): 75778(280/75498)
Jun 02, 2017 2:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1328 took 11551 ms. Total solver calls (SAT/UNSAT): 85130(322/84808)
Jun 02, 2017 2:58:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1328 took 12597 ms. Total solver calls (SAT/UNSAT): 93146(358/92788)
Jun 02, 2017 2:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 13656 ms. Total solver calls (SAT/UNSAT): 101830(397/101433)
Jun 02, 2017 2:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1328 took 14703 ms. Total solver calls (SAT/UNSAT): 110513(436/110077)
Jun 02, 2017 2:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1328 took 15753 ms. Total solver calls (SAT/UNSAT): 119197(475/118722)
Jun 02, 2017 2:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1328 took 16773 ms. Total solver calls (SAT/UNSAT): 127881(514/127367)
Jun 02, 2017 2:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/1328 took 17814 ms. Total solver calls (SAT/UNSAT): 136564(553/136011)
Jun 02, 2017 2:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/1328 took 18814 ms. Total solver calls (SAT/UNSAT): 145248(592/144656)
Jun 02, 2017 2:58:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/1328 took 19819 ms. Total solver calls (SAT/UNSAT): 153932(631/153301)
Jun 02, 2017 2:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/1328 took 20892 ms. Total solver calls (SAT/UNSAT): 161948(667/161281)
Jun 02, 2017 2:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/1328 took 21971 ms. Total solver calls (SAT/UNSAT): 170631(706/169925)
Jun 02, 2017 2:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/1328 took 23002 ms. Total solver calls (SAT/UNSAT): 178647(742/177905)
Jun 02, 2017 2:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1328 took 24045 ms. Total solver calls (SAT/UNSAT): 187331(781/186550)
Jun 02, 2017 2:58:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/1328 took 25062 ms. Total solver calls (SAT/UNSAT): 196015(820/195195)
Jun 02, 2017 2:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/1328 took 26094 ms. Total solver calls (SAT/UNSAT): 204698(859/203839)
Jun 02, 2017 2:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1328 took 27156 ms. Total solver calls (SAT/UNSAT): 213382(898/212484)
Jun 02, 2017 2:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/1328 took 28229 ms. Total solver calls (SAT/UNSAT): 222734(940/221794)
Jun 02, 2017 2:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/1328 took 29295 ms. Total solver calls (SAT/UNSAT): 232086(982/231104)
Jun 02, 2017 2:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1328 took 30308 ms. Total solver calls (SAT/UNSAT): 240769(1021/239748)
Jun 02, 2017 2:58:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1328 took 31379 ms. Total solver calls (SAT/UNSAT): 250121(1063/249058)
Jun 02, 2017 2:58:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1328 took 32409 ms. Total solver calls (SAT/UNSAT): 258805(1102/257703)
Jun 02, 2017 2:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1328 took 33478 ms. Total solver calls (SAT/UNSAT): 266821(1138/265683)
Jun 02, 2017 2:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1328 took 34554 ms. Total solver calls (SAT/UNSAT): 276172(1180/274992)
Jun 02, 2017 2:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/1328 took 35564 ms. Total solver calls (SAT/UNSAT): 284188(1216/282972)
Jun 02, 2017 2:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1328 took 36641 ms. Total solver calls (SAT/UNSAT): 293540(1258/292282)
Jun 02, 2017 2:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/1328 took 37648 ms. Total solver calls (SAT/UNSAT): 302224(1297/300927)
Jun 02, 2017 2:58:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/1328 took 38696 ms. Total solver calls (SAT/UNSAT): 310907(1336/309571)
Jun 02, 2017 2:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/1328 took 39738 ms. Total solver calls (SAT/UNSAT): 319591(1375/318216)
Jun 02, 2017 2:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/1328 took 40808 ms. Total solver calls (SAT/UNSAT): 328943(1417/327526)
Jun 02, 2017 2:59:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/1328 took 41873 ms. Total solver calls (SAT/UNSAT): 338294(1459/336835)
Jun 02, 2017 2:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1328 took 42879 ms. Total solver calls (SAT/UNSAT): 346978(1498/345480)
Jun 02, 2017 2:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1328 took 43900 ms. Total solver calls (SAT/UNSAT): 355662(1537/354125)
Jun 02, 2017 2:59:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/1328 took 44930 ms. Total solver calls (SAT/UNSAT): 364346(1576/362770)
Jun 02, 2017 2:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1328 took 46043 ms. Total solver calls (SAT/UNSAT): 373046(1609/371437)
Jun 02, 2017 2:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1328 took 47146 ms. Total solver calls (SAT/UNSAT): 381998(1633/380365)
Jun 02, 2017 2:59:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1328 took 48181 ms. Total solver calls (SAT/UNSAT): 390950(1657/389293)
Jun 02, 2017 2:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1328 took 49190 ms. Total solver calls (SAT/UNSAT): 398783(1678/397105)
Jun 02, 2017 2:59:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 50208 ms. Total solver calls (SAT/UNSAT): 407735(1702/406033)
Jun 02, 2017 2:59:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 51212 ms. Total solver calls (SAT/UNSAT): 416687(1726/414961)
Jun 02, 2017 2:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 52220 ms. Total solver calls (SAT/UNSAT): 425639(1750/423889)
Jun 02, 2017 2:59:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/1328 took 53257 ms. Total solver calls (SAT/UNSAT): 434765(1789/432976)
Jun 02, 2017 2:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/1328 took 54293 ms. Total solver calls (SAT/UNSAT): 443901(1828/442073)
Jun 02, 2017 2:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 55324 ms. Total solver calls (SAT/UNSAT): 453037(1867/451170)
Jun 02, 2017 2:59:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1328 took 56356 ms. Total solver calls (SAT/UNSAT): 462173(1906/460267)
Jun 02, 2017 2:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1328 took 57356 ms. Total solver calls (SAT/UNSAT): 470641(1942/468699)
Jun 02, 2017 2:59:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/1328 took 58447 ms. Total solver calls (SAT/UNSAT): 480228(1981/478247)
Jun 02, 2017 2:59:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1328 took 59488 ms. Total solver calls (SAT/UNSAT): 489365(2020/487345)
Jun 02, 2017 2:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1328 took 60536 ms. Total solver calls (SAT/UNSAT): 498501(2059/496442)
Jun 02, 2017 2:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/1328 took 61574 ms. Total solver calls (SAT/UNSAT): 507637(2098/505539)
Jun 02, 2017 2:59:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/1328 took 62629 ms. Total solver calls (SAT/UNSAT): 516773(2137/514636)
Jun 02, 2017 2:59:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/1328 took 63650 ms. Total solver calls (SAT/UNSAT): 525241(2173/523068)
Jun 02, 2017 2:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1328 took 64742 ms. Total solver calls (SAT/UNSAT): 534828(2212/532616)
Jun 02, 2017 2:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/1328 took 65788 ms. Total solver calls (SAT/UNSAT): 543297(2248/541049)
Jun 02, 2017 2:59:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/1328 took 66827 ms. Total solver calls (SAT/UNSAT): 552433(2287/550146)
Jun 02, 2017 2:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/1328 took 67864 ms. Total solver calls (SAT/UNSAT): 561569(2326/559243)
Jun 02, 2017 2:59:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/1328 took 68901 ms. Total solver calls (SAT/UNSAT): 570705(2365/568340)
Jun 02, 2017 2:59:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/1328 took 69935 ms. Total solver calls (SAT/UNSAT): 579841(2404/577437)
Jun 02, 2017 2:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1328 took 70945 ms. Total solver calls (SAT/UNSAT): 588309(2440/585869)
Jun 02, 2017 2:59:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1328 took 71969 ms. Total solver calls (SAT/UNSAT): 597228(2476/594752)
Jun 02, 2017 2:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 73039 ms. Total solver calls (SAT/UNSAT): 606365(2515/603850)
Jun 02, 2017 2:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1328 took 74070 ms. Total solver calls (SAT/UNSAT): 615501(2554/612947)
Jun 02, 2017 2:59:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1328 took 75095 ms. Total solver calls (SAT/UNSAT): 624637(2593/622044)
Jun 02, 2017 2:59:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/1328 took 76169 ms. Total solver calls (SAT/UNSAT): 633773(2632/631141)
Jun 02, 2017 2:59:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 77206 ms. Total solver calls (SAT/UNSAT): 642909(2671/640238)
Jun 02, 2017 2:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 78217 ms. Total solver calls (SAT/UNSAT): 651828(2707/649121)
Jun 02, 2017 2:59:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1328 took 79219 ms. Total solver calls (SAT/UNSAT): 660297(2743/657554)
Jun 02, 2017 2:59:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 80249 ms. Total solver calls (SAT/UNSAT): 668765(2779/665986)
Jun 02, 2017 2:59:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/1328 took 81283 ms. Total solver calls (SAT/UNSAT): 677901(2818/675083)
Jun 02, 2017 2:59:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/1328 took 82328 ms. Total solver calls (SAT/UNSAT): 686369(2854/683515)
Jun 02, 2017 2:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/1328 took 83357 ms. Total solver calls (SAT/UNSAT): 695505(2893/692612)
Jun 02, 2017 2:59:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/1328 took 84397 ms. Total solver calls (SAT/UNSAT): 704641(2932/701709)
Jun 02, 2017 2:59:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 85487 ms. Total solver calls (SAT/UNSAT): 714228(2971/711257)
Jun 02, 2017 2:59:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/1328 took 86519 ms. Total solver calls (SAT/UNSAT): 723365(3010/720355)
Jun 02, 2017 2:59:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1328 took 87544 ms. Total solver calls (SAT/UNSAT): 732501(3049/729452)
Jun 02, 2017 2:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/1328 took 88572 ms. Total solver calls (SAT/UNSAT): 741637(3088/738549)
Jun 02, 2017 2:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 89601 ms. Total solver calls (SAT/UNSAT): 750773(3127/747646)
Jun 02, 2017 2:59:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/1328 took 90638 ms. Total solver calls (SAT/UNSAT): 759909(3166/756743)
Jun 02, 2017 2:59:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 91710 ms. Total solver calls (SAT/UNSAT): 769497(3205/766292)
Jun 02, 2017 2:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/1328 took 92733 ms. Total solver calls (SAT/UNSAT): 778633(3244/775389)
Jun 02, 2017 2:59:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 93754 ms. Total solver calls (SAT/UNSAT): 787769(3283/784486)
Jun 02, 2017 2:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/1328 took 94776 ms. Total solver calls (SAT/UNSAT): 796905(3322/793583)
Jun 02, 2017 2:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/1328 took 95810 ms. Total solver calls (SAT/UNSAT): 806041(3361/802680)
Jun 02, 2017 2:59:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/1328 took 96885 ms. Total solver calls (SAT/UNSAT): 815628(3400/812228)
Jun 02, 2017 2:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/1328 took 97889 ms. Total solver calls (SAT/UNSAT): 823632(3520/820112)
Jun 02, 2017 2:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/1328 took 98957 ms. Total solver calls (SAT/UNSAT): 832939(3548/829391)
Jun 02, 2017 3:00:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1328 took 100024 ms. Total solver calls (SAT/UNSAT): 842208(3574/838634)
Jun 02, 2017 3:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/1328 took 101090 ms. Total solver calls (SAT/UNSAT): 851477(3600/847877)
Jun 02, 2017 3:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1328 took 102157 ms. Total solver calls (SAT/UNSAT): 860746(3626/857120)
Jun 02, 2017 3:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 102566 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 02, 2017 3:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 02, 2017 3:00:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1268 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 02, 2017 3:00:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2505 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 02, 2017 3:00:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3735 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 02, 2017 3:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 4957 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 02, 2017 3:00:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 6177 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 02, 2017 3:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7396 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 02, 2017 3:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 8616 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 02, 2017 3:00:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 9836 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 02, 2017 3:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 11056 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 02, 2017 3:00:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 12277 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 02, 2017 3:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 13499 ms. Total solver calls (SAT/UNSAT): 31372(572/30800)
Jun 02, 2017 3:00:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 14721 ms. Total solver calls (SAT/UNSAT): 34224(624/33600)
Jun 02, 2017 3:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1328 took 15736 ms. Total solver calls (SAT/UNSAT): 37656(659/36997)
Jun 02, 2017 3:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1328 took 16811 ms. Total solver calls (SAT/UNSAT): 43008(683/42325)
Jun 02, 2017 3:00:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1328 took 17878 ms. Total solver calls (SAT/UNSAT): 48360(707/47653)
Jun 02, 2017 3:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/1328 took 18943 ms. Total solver calls (SAT/UNSAT): 53712(731/52981)
Jun 02, 2017 3:00:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 20010 ms. Total solver calls (SAT/UNSAT): 59064(755/58309)
Jun 02, 2017 3:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/1328 took 21077 ms. Total solver calls (SAT/UNSAT): 64416(779/63637)
Jun 02, 2017 3:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/1328 took 22144 ms. Total solver calls (SAT/UNSAT): 69766(803/68963)
Jun 02, 2017 3:00:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/1328 took 23258 ms. Total solver calls (SAT/UNSAT): 75110(827/74283)
Jun 02, 2017 3:00:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/1328 took 24314 ms. Total solver calls (SAT/UNSAT): 80454(851/79603)
Jun 02, 2017 3:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/1328 took 25431 ms. Total solver calls (SAT/UNSAT): 85798(875/84923)
Jun 02, 2017 3:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1328 took 26499 ms. Total solver calls (SAT/UNSAT): 91142(899/90243)
Jun 02, 2017 3:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/1328 took 27569 ms. Total solver calls (SAT/UNSAT): 96486(923/95563)
Jun 02, 2017 3:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 28636 ms. Total solver calls (SAT/UNSAT): 101830(947/100883)
Jun 02, 2017 3:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1328 took 29700 ms. Total solver calls (SAT/UNSAT): 107173(971/106202)
Jun 02, 2017 3:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/1328 took 30811 ms. Total solver calls (SAT/UNSAT): 112517(995/111522)
Jun 02, 2017 3:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1328 took 31878 ms. Total solver calls (SAT/UNSAT): 117861(1019/116842)
Jun 02, 2017 3:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1328 took 32942 ms. Total solver calls (SAT/UNSAT): 123205(1043/122162)
Jun 02, 2017 3:00:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/1328 took 34052 ms. Total solver calls (SAT/UNSAT): 128549(1067/127482)
Jun 02, 2017 3:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1328 took 35102 ms. Total solver calls (SAT/UNSAT): 133893(1091/132802)
Jun 02, 2017 3:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/1328 took 36162 ms. Total solver calls (SAT/UNSAT): 139236(1115/138121)
Jun 02, 2017 3:00:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/1328 took 37225 ms. Total solver calls (SAT/UNSAT): 144580(1139/143441)
Jun 02, 2017 3:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1328 took 38333 ms. Total solver calls (SAT/UNSAT): 149924(1163/148761)
Jun 02, 2017 3:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/1328 took 39416 ms. Total solver calls (SAT/UNSAT): 155268(1187/154081)
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/1328 took 40497 ms. Total solver calls (SAT/UNSAT): 160612(1211/159401)
Jun 02, 2017 3:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 41621 ms. Total solver calls (SAT/UNSAT): 165956(1235/164721)
Jun 02, 2017 3:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1328 took 42684 ms. Total solver calls (SAT/UNSAT): 171299(1259/170040)
Jun 02, 2017 3:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 43747 ms. Total solver calls (SAT/UNSAT): 176643(1283/175360)
Jun 02, 2017 3:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 44809 ms. Total solver calls (SAT/UNSAT): 181987(1307/180680)
Jun 02, 2017 3:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1328 took 45873 ms. Total solver calls (SAT/UNSAT): 187331(1331/186000)
Jun 02, 2017 3:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 46935 ms. Total solver calls (SAT/UNSAT): 192675(1355/191320)
Jun 02, 2017 3:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 47998 ms. Total solver calls (SAT/UNSAT): 198019(1379/196640)
Jun 02, 2017 3:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1328 took 49059 ms. Total solver calls (SAT/UNSAT): 203362(1403/201959)
Jun 02, 2017 3:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 50176 ms. Total solver calls (SAT/UNSAT): 208706(1427/207279)
Jun 02, 2017 3:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1328 took 51236 ms. Total solver calls (SAT/UNSAT): 214050(1451/212599)
Jun 02, 2017 3:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/1328 took 52296 ms. Total solver calls (SAT/UNSAT): 219394(1475/217919)
Jun 02, 2017 3:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/1328 took 53413 ms. Total solver calls (SAT/UNSAT): 224738(1499/223239)
Jun 02, 2017 3:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/1328 took 54502 ms. Total solver calls (SAT/UNSAT): 230082(1523/228559)
Jun 02, 2017 3:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/1328 took 55598 ms. Total solver calls (SAT/UNSAT): 235426(1547/233879)
Jun 02, 2017 3:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1328 took 56682 ms. Total solver calls (SAT/UNSAT): 240769(1571/239198)
Jun 02, 2017 3:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/1328 took 57769 ms. Total solver calls (SAT/UNSAT): 246113(1595/244518)
Jun 02, 2017 3:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/1328 took 58856 ms. Total solver calls (SAT/UNSAT): 251457(1619/249838)
Jun 02, 2017 3:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/1328 took 59943 ms. Total solver calls (SAT/UNSAT): 256801(1643/255158)
Jun 02, 2017 3:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1328 took 60950 ms. Total solver calls (SAT/UNSAT): 261477(1664/259813)
Jun 02, 2017 3:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/1328 took 61955 ms. Total solver calls (SAT/UNSAT): 266153(1685/264468)
Jun 02, 2017 3:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/1328 took 63032 ms. Total solver calls (SAT/UNSAT): 271496(1709/269787)
Jun 02, 2017 3:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/1328 took 64108 ms. Total solver calls (SAT/UNSAT): 276840(1733/275107)
Jun 02, 2017 3:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1328 took 65189 ms. Total solver calls (SAT/UNSAT): 282184(1757/280427)
Jun 02, 2017 3:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/1328 took 66268 ms. Total solver calls (SAT/UNSAT): 287528(1781/285747)
Jun 02, 2017 3:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1328 took 67346 ms. Total solver calls (SAT/UNSAT): 292872(1805/291067)
Jun 02, 2017 3:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/1328 took 68424 ms. Total solver calls (SAT/UNSAT): 298216(1829/296387)
Jun 02, 2017 3:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/1328 took 69470 ms. Total solver calls (SAT/UNSAT): 303559(1853/301706)
Jun 02, 2017 3:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/1328 took 70518 ms. Total solver calls (SAT/UNSAT): 310239(1883/308356)
Jun 02, 2017 3:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1328 took 71568 ms. Total solver calls (SAT/UNSAT): 316919(1913/315006)
Jun 02, 2017 3:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1328 took 72620 ms. Total solver calls (SAT/UNSAT): 323599(1943/321656)
Jun 02, 2017 3:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/1328 took 73679 ms. Total solver calls (SAT/UNSAT): 330279(1973/328306)
Jun 02, 2017 3:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/1328 took 74762 ms. Total solver calls (SAT/UNSAT): 336958(2003/334955)
Jun 02, 2017 3:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/1328 took 75848 ms. Total solver calls (SAT/UNSAT): 342302(2027/340275)
Jun 02, 2017 3:01:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1328 took 76940 ms. Total solver calls (SAT/UNSAT): 347646(2051/345595)
Jun 02, 2017 3:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1328 took 78029 ms. Total solver calls (SAT/UNSAT): 352990(2075/350915)
Jun 02, 2017 3:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1328 took 79123 ms. Total solver calls (SAT/UNSAT): 358334(2099/356235)
Jun 02, 2017 3:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/1328 took 80213 ms. Total solver calls (SAT/UNSAT): 363678(2123/361555)
Jun 02, 2017 3:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/1328 took 81300 ms. Total solver calls (SAT/UNSAT): 369022(2147/366875)
Jun 02, 2017 3:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1328 took 82350 ms. Total solver calls (SAT/UNSAT): 373046(2156/370890)
Jun 02, 2017 3:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 83575 ms. Total solver calls (SAT/UNSAT): 377522(2164/375358)
Jun 02, 2017 3:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1328 took 84803 ms. Total solver calls (SAT/UNSAT): 381998(2172/379826)
Jun 02, 2017 3:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1328 took 86030 ms. Total solver calls (SAT/UNSAT): 386474(2180/384294)
Jun 02, 2017 3:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1328 took 87258 ms. Total solver calls (SAT/UNSAT): 390950(2188/388762)
Jun 02, 2017 3:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1328 took 88484 ms. Total solver calls (SAT/UNSAT): 395426(2196/393230)
Jun 02, 2017 3:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/1328 took 89709 ms. Total solver calls (SAT/UNSAT): 399902(2204/397698)
Jun 02, 2017 3:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/1328 took 90932 ms. Total solver calls (SAT/UNSAT): 404378(2212/402166)
Jun 02, 2017 3:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/1328 took 92164 ms. Total solver calls (SAT/UNSAT): 408854(2220/406634)
Jun 02, 2017 3:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 93176 ms. Total solver calls (SAT/UNSAT): 412211(2226/409985)
Jun 02, 2017 3:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 94473 ms. Total solver calls (SAT/UNSAT): 416687(2234/414453)
Jun 02, 2017 3:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1328 took 95767 ms. Total solver calls (SAT/UNSAT): 421163(2242/418921)
Jun 02, 2017 3:01:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 97048 ms. Total solver calls (SAT/UNSAT): 425639(2250/423389)
Jun 02, 2017 3:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1328 took 98126 ms. Total solver calls (SAT/UNSAT): 428308(2262/426046)
Jun 02, 2017 3:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 99197 ms. Total solver calls (SAT/UNSAT): 430976(2274/428702)
Jun 02, 2017 3:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1328 took 100410 ms. Total solver calls (SAT/UNSAT): 434097(2285/431812)
Jun 02, 2017 3:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1328 took 101615 ms. Total solver calls (SAT/UNSAT): 436769(2297/434472)
Jun 02, 2017 3:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1328 took 102699 ms. Total solver calls (SAT/UNSAT): 439441(2309/437132)
Jun 02, 2017 3:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/1328 took 103977 ms. Total solver calls (SAT/UNSAT): 442565(2320/440245)
Jun 02, 2017 3:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1328 took 105088 ms. Total solver calls (SAT/UNSAT): 445237(2332/442905)
Jun 02, 2017 3:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1328 took 106129 ms. Total solver calls (SAT/UNSAT): 447909(2344/445565)
Jun 02, 2017 3:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 107173 ms. Total solver calls (SAT/UNSAT): 450365(2352/448013)
Jun 02, 2017 3:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 108347 ms. Total solver calls (SAT/UNSAT): 453037(2364/450673)
Jun 02, 2017 3:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1328 took 109391 ms. Total solver calls (SAT/UNSAT): 455709(2376/453333)
Jun 02, 2017 3:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/1328 took 110624 ms. Total solver calls (SAT/UNSAT): 458833(2387/456446)
Jun 02, 2017 3:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/1328 took 111691 ms. Total solver calls (SAT/UNSAT): 461505(2399/459106)
Jun 02, 2017 3:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1328 took 112997 ms. Total solver calls (SAT/UNSAT): 464628(2410/462218)
Jun 02, 2017 3:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1328 took 114058 ms. Total solver calls (SAT/UNSAT): 467301(2422/464879)
Jun 02, 2017 3:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1328 took 115115 ms. Total solver calls (SAT/UNSAT): 469973(2434/467539)
Jun 02, 2017 3:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/1328 took 116314 ms. Total solver calls (SAT/UNSAT): 473097(2445/470652)
Jun 02, 2017 3:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 117368 ms. Total solver calls (SAT/UNSAT): 475769(2457/473312)
Jun 02, 2017 3:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1328 took 118496 ms. Total solver calls (SAT/UNSAT): 478441(2469/475972)
Jun 02, 2017 3:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1328 took 119721 ms. Total solver calls (SAT/UNSAT): 481565(2480/479085)
Jun 02, 2017 3:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1328 took 120772 ms. Total solver calls (SAT/UNSAT): 484237(2492/481745)
Jun 02, 2017 3:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 121854 ms. Total solver calls (SAT/UNSAT): 486909(2504/484405)
Jun 02, 2017 3:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1328 took 123028 ms. Total solver calls (SAT/UNSAT): 489365(2512/486853)
Jun 02, 2017 3:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/1328 took 124136 ms. Total solver calls (SAT/UNSAT): 492037(2524/489513)
Jun 02, 2017 3:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1328 took 125220 ms. Total solver calls (SAT/UNSAT): 494709(2536/492173)
Jun 02, 2017 3:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/1328 took 126445 ms. Total solver calls (SAT/UNSAT): 497833(2547/495286)
Jun 02, 2017 3:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/1328 took 127499 ms. Total solver calls (SAT/UNSAT): 500505(2559/497946)
Jun 02, 2017 3:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1328 took 128695 ms. Total solver calls (SAT/UNSAT): 503628(2570/501058)
Jun 02, 2017 3:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/1328 took 129748 ms. Total solver calls (SAT/UNSAT): 506301(2582/503719)
Jun 02, 2017 3:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/1328 took 130801 ms. Total solver calls (SAT/UNSAT): 508973(2594/506379)
Jun 02, 2017 3:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/1328 took 132055 ms. Total solver calls (SAT/UNSAT): 512097(2605/509492)
Jun 02, 2017 3:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/1328 took 133108 ms. Total solver calls (SAT/UNSAT): 514769(2617/512152)
Jun 02, 2017 3:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1328 took 134138 ms. Total solver calls (SAT/UNSAT): 517441(2629/514812)
Jun 02, 2017 3:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1328 took 135361 ms. Total solver calls (SAT/UNSAT): 520565(2640/517925)
Jun 02, 2017 3:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1328 took 136415 ms. Total solver calls (SAT/UNSAT): 523237(2652/520585)
Jun 02, 2017 3:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/1328 took 137447 ms. Total solver calls (SAT/UNSAT): 525909(2664/523245)
Jun 02, 2017 3:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/1328 took 138665 ms. Total solver calls (SAT/UNSAT): 529033(2675/526358)
Jun 02, 2017 3:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/1328 took 139721 ms. Total solver calls (SAT/UNSAT): 531705(2687/529018)
Jun 02, 2017 3:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1328 took 140919 ms. Total solver calls (SAT/UNSAT): 534828(2698/532130)
Jun 02, 2017 3:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/1328 took 141975 ms. Total solver calls (SAT/UNSAT): 537501(2710/534791)
Jun 02, 2017 3:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/1328 took 143030 ms. Total solver calls (SAT/UNSAT): 540173(2722/537451)
Jun 02, 2017 3:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/1328 took 144225 ms. Total solver calls (SAT/UNSAT): 543297(2733/540564)
Jun 02, 2017 3:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/1328 took 145275 ms. Total solver calls (SAT/UNSAT): 545969(2745/543224)
Jun 02, 2017 3:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/1328 took 146465 ms. Total solver calls (SAT/UNSAT): 548641(2757/545884)
Jun 02, 2017 3:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1328 took 147713 ms. Total solver calls (SAT/UNSAT): 551765(2768/548997)
Jun 02, 2017 3:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/1328 took 148790 ms. Total solver calls (SAT/UNSAT): 554437(2780/551657)
Jun 02, 2017 3:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 149840 ms. Total solver calls (SAT/UNSAT): 557109(2792/554317)
Jun 02, 2017 3:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/1328 took 151076 ms. Total solver calls (SAT/UNSAT): 560233(2803/557430)
Jun 02, 2017 3:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/1328 took 152191 ms. Total solver calls (SAT/UNSAT): 562905(2815/560090)
Jun 02, 2017 3:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 153458 ms. Total solver calls (SAT/UNSAT): 566028(2826/563202)
Jun 02, 2017 3:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 154532 ms. Total solver calls (SAT/UNSAT): 568701(2838/565863)
Jun 02, 2017 3:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1328 took 155605 ms. Total solver calls (SAT/UNSAT): 571373(2850/568523)
Jun 02, 2017 3:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1328 took 156819 ms. Total solver calls (SAT/UNSAT): 574497(2861/571636)
Jun 02, 2017 3:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/1328 took 157894 ms. Total solver calls (SAT/UNSAT): 577169(2873/574296)
Jun 02, 2017 3:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/1328 took 158938 ms. Total solver calls (SAT/UNSAT): 579841(2885/576956)
Jun 02, 2017 3:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1328 took 160177 ms. Total solver calls (SAT/UNSAT): 582965(2896/580069)
Jun 02, 2017 3:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/1328 took 161244 ms. Total solver calls (SAT/UNSAT): 585637(2908/582729)
Jun 02, 2017 3:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1328 took 162289 ms. Total solver calls (SAT/UNSAT): 588309(2920/585389)
Jun 02, 2017 3:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1328 took 163354 ms. Total solver calls (SAT/UNSAT): 590765(2928/587837)
Jun 02, 2017 3:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1328 took 164421 ms. Total solver calls (SAT/UNSAT): 593437(2940/590497)
Jun 02, 2017 3:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1328 took 165463 ms. Total solver calls (SAT/UNSAT): 596109(2952/593157)
Jun 02, 2017 3:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/1328 took 166695 ms. Total solver calls (SAT/UNSAT): 599233(2963/596270)
Jun 02, 2017 3:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/1328 took 167759 ms. Total solver calls (SAT/UNSAT): 601905(2975/598930)
Jun 02, 2017 3:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1328 took 168996 ms. Total solver calls (SAT/UNSAT): 605028(2986/602042)
Jun 02, 2017 3:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/1328 took 170136 ms. Total solver calls (SAT/UNSAT): 607701(2998/604703)
Jun 02, 2017 3:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/1328 took 171210 ms. Total solver calls (SAT/UNSAT): 610373(3010/607363)
Jun 02, 2017 3:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/1328 took 172431 ms. Total solver calls (SAT/UNSAT): 613497(3021/610476)
Jun 02, 2017 3:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/1328 took 173580 ms. Total solver calls (SAT/UNSAT): 616169(3033/613136)
Jun 02, 2017 3:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/1328 took 174622 ms. Total solver calls (SAT/UNSAT): 618841(3045/615796)
Jun 02, 2017 3:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/1328 took 175856 ms. Total solver calls (SAT/UNSAT): 621965(3056/618909)
Jun 02, 2017 3:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1328 took 176919 ms. Total solver calls (SAT/UNSAT): 624637(3068/621569)
Jun 02, 2017 3:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/1328 took 178097 ms. Total solver calls (SAT/UNSAT): 627309(3080/624229)
Jun 02, 2017 3:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/1328 took 179365 ms. Total solver calls (SAT/UNSAT): 630433(3091/627342)
Jun 02, 2017 3:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/1328 took 180421 ms. Total solver calls (SAT/UNSAT): 633105(3103/630002)
Jun 02, 2017 3:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1328 took 181619 ms. Total solver calls (SAT/UNSAT): 636228(3114/633114)
Jun 02, 2017 3:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 182819 ms. Total solver calls (SAT/UNSAT): 638901(3126/635775)
Jun 02, 2017 3:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/1328 took 183921 ms. Total solver calls (SAT/UNSAT): 641573(3138/638435)
Jun 02, 2017 3:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/1328 took 185125 ms. Total solver calls (SAT/UNSAT): 644697(3149/641548)
Jun 02, 2017 3:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/1328 took 186183 ms. Total solver calls (SAT/UNSAT): 647369(3161/644208)
Jun 02, 2017 3:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/1328 took 187215 ms. Total solver calls (SAT/UNSAT): 650041(3173/646868)
Jun 02, 2017 3:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/1328 took 188450 ms. Total solver calls (SAT/UNSAT): 653165(3184/649981)
Jun 02, 2017 3:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1328 took 189512 ms. Total solver calls (SAT/UNSAT): 655837(3196/652641)
Jun 02, 2017 3:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/1328 took 190548 ms. Total solver calls (SAT/UNSAT): 658509(3208/655301)
Jun 02, 2017 3:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/1328 took 191770 ms. Total solver calls (SAT/UNSAT): 661633(3219/658414)
Jun 02, 2017 3:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/1328 took 192825 ms. Total solver calls (SAT/UNSAT): 664305(3231/661074)
Jun 02, 2017 3:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/1328 took 194022 ms. Total solver calls (SAT/UNSAT): 667428(3242/664186)
Jun 02, 2017 3:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/1328 took 195075 ms. Total solver calls (SAT/UNSAT): 670101(3254/666847)
Jun 02, 2017 3:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1328 took 196130 ms. Total solver calls (SAT/UNSAT): 672773(3266/669507)
Jun 02, 2017 3:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/1328 took 197330 ms. Total solver calls (SAT/UNSAT): 675897(3277/672620)
Jun 02, 2017 3:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/1328 took 198442 ms. Total solver calls (SAT/UNSAT): 678569(3289/675280)
Jun 02, 2017 3:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1328 took 199486 ms. Total solver calls (SAT/UNSAT): 681241(3301/677940)
Jun 02, 2017 3:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 200717 ms. Total solver calls (SAT/UNSAT): 684365(3312/681053)
Jun 02, 2017 3:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1328 took 201775 ms. Total solver calls (SAT/UNSAT): 687037(3324/683713)
Jun 02, 2017 3:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1328 took 202815 ms. Total solver calls (SAT/UNSAT): 689709(3336/686373)
Jun 02, 2017 3:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/1328 took 204041 ms. Total solver calls (SAT/UNSAT): 692833(3347/689486)
Jun 02, 2017 3:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/1328 took 205100 ms. Total solver calls (SAT/UNSAT): 695505(3359/692146)
Jun 02, 2017 3:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1328 took 206304 ms. Total solver calls (SAT/UNSAT): 698628(3370/695258)
Jun 02, 2017 3:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/1328 took 207362 ms. Total solver calls (SAT/UNSAT): 701301(3382/697919)
Jun 02, 2017 3:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1328 took 208466 ms. Total solver calls (SAT/UNSAT): 703973(3394/700579)
Jun 02, 2017 3:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1328 took 209664 ms. Total solver calls (SAT/UNSAT): 707097(3405/703692)
Jun 02, 2017 3:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/1328 took 210715 ms. Total solver calls (SAT/UNSAT): 709769(3417/706352)
Jun 02, 2017 3:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/1328 took 211745 ms. Total solver calls (SAT/UNSAT): 712441(3429/709012)
Jun 02, 2017 3:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1328 took 212990 ms. Total solver calls (SAT/UNSAT): 715565(3440/712125)
Jun 02, 2017 3:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/1328 took 214046 ms. Total solver calls (SAT/UNSAT): 718237(3452/714785)
Jun 02, 2017 3:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/1328 took 215079 ms. Total solver calls (SAT/UNSAT): 720909(3464/717445)
Jun 02, 2017 3:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/1328 took 216307 ms. Total solver calls (SAT/UNSAT): 724033(3475/720558)
Jun 02, 2017 3:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/1328 took 217444 ms. Total solver calls (SAT/UNSAT): 726705(3487/723218)
Jun 02, 2017 3:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1328 took 218649 ms. Total solver calls (SAT/UNSAT): 729828(3498/726330)
Jun 02, 2017 3:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1328 took 219703 ms. Total solver calls (SAT/UNSAT): 732501(3510/728991)
Jun 02, 2017 3:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1328 took 220758 ms. Total solver calls (SAT/UNSAT): 735173(3522/731651)
Jun 02, 2017 3:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/1328 took 221958 ms. Total solver calls (SAT/UNSAT): 738297(3533/734764)
Jun 02, 2017 3:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/1328 took 223053 ms. Total solver calls (SAT/UNSAT): 740969(3545/737424)
Jun 02, 2017 3:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/1328 took 224140 ms. Total solver calls (SAT/UNSAT): 743641(3557/740084)
Jun 02, 2017 3:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/1328 took 225374 ms. Total solver calls (SAT/UNSAT): 746765(3568/743197)
Jun 02, 2017 3:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1328 took 226440 ms. Total solver calls (SAT/UNSAT): 749437(3580/745857)
Jun 02, 2017 3:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/1328 took 227481 ms. Total solver calls (SAT/UNSAT): 752109(3592/748517)
Jun 02, 2017 3:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/1328 took 228717 ms. Total solver calls (SAT/UNSAT): 755233(3603/751630)
Jun 02, 2017 3:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/1328 took 229788 ms. Total solver calls (SAT/UNSAT): 757905(3615/754290)
Jun 02, 2017 3:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1328 took 231003 ms. Total solver calls (SAT/UNSAT): 761028(3626/757402)
Jun 02, 2017 3:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1328 took 232088 ms. Total solver calls (SAT/UNSAT): 763701(3638/760063)
Jun 02, 2017 3:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 233265 ms. Total solver calls (SAT/UNSAT): 766373(3650/762723)
Jun 02, 2017 3:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 234502 ms. Total solver calls (SAT/UNSAT): 769497(3661/765836)
Jun 02, 2017 3:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/1328 took 235576 ms. Total solver calls (SAT/UNSAT): 772169(3673/768496)
Jun 02, 2017 3:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1328 took 236673 ms. Total solver calls (SAT/UNSAT): 774841(3685/771156)
Jun 02, 2017 3:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/1328 took 237943 ms. Total solver calls (SAT/UNSAT): 777965(3696/774269)
Jun 02, 2017 3:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/1328 took 239008 ms. Total solver calls (SAT/UNSAT): 780637(3708/776929)
Jun 02, 2017 3:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/1328 took 240071 ms. Total solver calls (SAT/UNSAT): 783309(3720/779589)
Jun 02, 2017 3:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/1328 took 241292 ms. Total solver calls (SAT/UNSAT): 786433(3731/782702)
Jun 02, 2017 3:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/1328 took 242349 ms. Total solver calls (SAT/UNSAT): 789105(3743/785362)
Jun 02, 2017 3:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/1328 took 243550 ms. Total solver calls (SAT/UNSAT): 792228(3754/788474)
Jun 02, 2017 3:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/1328 took 244608 ms. Total solver calls (SAT/UNSAT): 794901(3766/791135)
Jun 02, 2017 3:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/1328 took 245727 ms. Total solver calls (SAT/UNSAT): 797573(3778/793795)
Jun 02, 2017 3:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/1328 took 246764 ms. Total solver calls (SAT/UNSAT): 800028(3786/796242)
Jun 02, 2017 3:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1328 took 247898 ms. Total solver calls (SAT/UNSAT): 802701(3798/798903)
Jun 02, 2017 3:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1328 took 248956 ms. Total solver calls (SAT/UNSAT): 805373(3810/801563)
Jun 02, 2017 3:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1328 took 250156 ms. Total solver calls (SAT/UNSAT): 808497(3821/804676)
Jun 02, 2017 3:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1328 took 251210 ms. Total solver calls (SAT/UNSAT): 811169(3833/807336)
Jun 02, 2017 3:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/1328 took 252235 ms. Total solver calls (SAT/UNSAT): 813841(3845/809996)
Jun 02, 2017 3:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1153/1328 took 253292 ms. Total solver calls (SAT/UNSAT): 816284(4054/812230)
Jun 02, 2017 3:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/1328 took 254292 ms. Total solver calls (SAT/UNSAT): 818088(4615/813473)
Jun 02, 2017 3:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 255470 ms. Total solver calls (SAT/UNSAT): 821036(4972/816064)
Jun 02, 2017 3:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/1328 took 256489 ms. Total solver calls (SAT/UNSAT): 822731(5035/817696)
Jun 02, 2017 3:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/1328 took 257514 ms. Total solver calls (SAT/UNSAT): 824442(5676/818766)
Jun 02, 2017 3:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1328 took 258567 ms. Total solver calls (SAT/UNSAT): 827948(6281/821667)
Jun 02, 2017 3:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/1328 took 259649 ms. Total solver calls (SAT/UNSAT): 832226(6359/825867)
Jun 02, 2017 3:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/1328 took 260731 ms. Total solver calls (SAT/UNSAT): 836504(6437/830067)
Jun 02, 2017 3:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/1328 took 261778 ms. Total solver calls (SAT/UNSAT): 840782(6515/834267)
Jun 02, 2017 3:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1328 took 262902 ms. Total solver calls (SAT/UNSAT): 845060(6593/838467)
Jun 02, 2017 3:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/1328 took 264074 ms. Total solver calls (SAT/UNSAT): 849338(6671/842667)
Jun 02, 2017 3:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1328 took 265164 ms. Total solver calls (SAT/UNSAT): 853616(6749/846867)
Jun 02, 2017 3:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/1328 took 266202 ms. Total solver calls (SAT/UNSAT): 857894(6827/851067)
Jun 02, 2017 3:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/1328 took 267230 ms. Total solver calls (SAT/UNSAT): 861220(6944/854276)
Jun 02, 2017 3:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/1328 took 268250 ms. Total solver calls (SAT/UNSAT): 862916(7008/855908)
Jun 02, 2017 3:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 268584 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 02, 2017 3:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 02, 2017 3:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1328) took 613 ms. Total solver calls (SAT/UNSAT): 3981(162/3819)
Jun 02, 2017 3:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1328) took 1673 ms. Total solver calls (SAT/UNSAT): 11916(486/11430)
Jun 02, 2017 3:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1328) took 2774 ms. Total solver calls (SAT/UNSAT): 21128(864/20264)
Jun 02, 2017 3:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/1328) took 3871 ms. Total solver calls (SAT/UNSAT): 30291(1242/29049)
Jun 02, 2017 3:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/1328) took 5071 ms. Total solver calls (SAT/UNSAT): 39405(1620/37785)
Jun 02, 2017 3:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/1328) took 6160 ms. Total solver calls (SAT/UNSAT): 47178(1944/45234)
Jun 02, 2017 3:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/1328) took 7238 ms. Total solver calls (SAT/UNSAT): 56201(2322/53879)
Jun 02, 2017 3:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/1328) took 8311 ms. Total solver calls (SAT/UNSAT): 65175(2700/62475)
Jun 02, 2017 3:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/1328) took 9448 ms. Total solver calls (SAT/UNSAT): 75371(2732/72639)
Jun 02, 2017 3:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/1328) took 10454 ms. Total solver calls (SAT/UNSAT): 84240(2760/81480)
Jun 02, 2017 3:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/1328) took 11581 ms. Total solver calls (SAT/UNSAT): 94316(2792/91524)
Jun 02, 2017 3:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/1328) took 12704 ms. Total solver calls (SAT/UNSAT): 104328(2824/101504)
Jun 02, 2017 3:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/1328) took 13753 ms. Total solver calls (SAT/UNSAT): 113036(2852/110184)
Jun 02, 2017 3:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/1328) took 14802 ms. Total solver calls (SAT/UNSAT): 121695(2880/118815)
Jun 02, 2017 3:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/1328) took 15862 ms. Total solver calls (SAT/UNSAT): 130305(2908/127397)
Jun 02, 2017 3:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/1328) took 16973 ms. Total solver calls (SAT/UNSAT): 140085(2940/137145)
Jun 02, 2017 3:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/1328) took 18076 ms. Total solver calls (SAT/UNSAT): 149801(2972/146829)
Jun 02, 2017 3:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1328) took 19177 ms. Total solver calls (SAT/UNSAT): 159453(3004/156449)
Jun 02, 2017 3:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/1328) took 20260 ms. Total solver calls (SAT/UNSAT): 169041(3036/166005)
Jun 02, 2017 3:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/1328) took 21338 ms. Total solver calls (SAT/UNSAT): 178565(3068/175497)
Jun 02, 2017 3:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/1328) took 22410 ms. Total solver calls (SAT/UNSAT): 188025(3100/184925)
Jun 02, 2017 3:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/1328) took 23480 ms. Total solver calls (SAT/UNSAT): 197421(3132/194289)
Jun 02, 2017 3:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/1328) took 24538 ms. Total solver calls (SAT/UNSAT): 206753(3164/203589)
Jun 02, 2017 3:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/1328) took 25588 ms. Total solver calls (SAT/UNSAT): 216021(3196/212825)
Jun 02, 2017 3:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/1328) took 26631 ms. Total solver calls (SAT/UNSAT): 225225(3228/221997)
Jun 02, 2017 3:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1328) took 27673 ms. Total solver calls (SAT/UNSAT): 234365(3260/231105)
Jun 02, 2017 3:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/1328) took 28703 ms. Total solver calls (SAT/UNSAT): 243441(3292/240149)
Jun 02, 2017 3:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/1328) took 29726 ms. Total solver calls (SAT/UNSAT): 252453(3324/249129)
Jun 02, 2017 3:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1328) took 30746 ms. Total solver calls (SAT/UNSAT): 261401(3356/258045)
Jun 02, 2017 3:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1328) took 31755 ms. Total solver calls (SAT/UNSAT): 270285(3388/266897)
Jun 02, 2017 3:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1328) took 32801 ms. Total solver calls (SAT/UNSAT): 279105(3420/275685)
Jun 02, 2017 3:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/1328) took 33909 ms. Total solver calls (SAT/UNSAT): 288951(3456/285495)
Jun 02, 2017 3:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/1328) took 34986 ms. Total solver calls (SAT/UNSAT): 297635(3488/294147)
Jun 02, 2017 3:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/1328) took 36002 ms. Total solver calls (SAT/UNSAT): 306255(3520/302735)
Jun 02, 2017 3:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/1328) took 37081 ms. Total solver calls (SAT/UNSAT): 315876(3556/312320)
Jun 02, 2017 3:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/1328) took 38154 ms. Total solver calls (SAT/UNSAT): 325416(3592/321824)
Jun 02, 2017 3:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/1328) took 39154 ms. Total solver calls (SAT/UNSAT): 333828(3624/330204)
Jun 02, 2017 3:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/1328) took 40198 ms. Total solver calls (SAT/UNSAT): 342176(3656/338520)
Jun 02, 2017 3:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/1328) took 41312 ms. Total solver calls (SAT/UNSAT): 351491(3692/347799)
Jun 02, 2017 3:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/1328) took 42359 ms. Total solver calls (SAT/UNSAT): 360725(3728/356997)
Jun 02, 2017 3:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/1328) took 43363 ms. Total solver calls (SAT/UNSAT): 368865(3760/365105)
Jun 02, 2017 3:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/1328) took 44411 ms. Total solver calls (SAT/UNSAT): 377946(3796/374150)
Jun 02, 2017 3:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/1328) took 45413 ms. Total solver calls (SAT/UNSAT): 385950(3828/382122)
Jun 02, 2017 3:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/1328) took 46511 ms. Total solver calls (SAT/UNSAT): 394878(3864/391014)
Jun 02, 2017 3:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/1328) took 47617 ms. Total solver calls (SAT/UNSAT): 404703(3904/400799)
Jun 02, 2017 3:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/1328) took 48707 ms. Total solver calls (SAT/UNSAT): 414428(3944/410484)
Jun 02, 2017 3:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/1328) took 49784 ms. Total solver calls (SAT/UNSAT): 424053(3984/420069)
Jun 02, 2017 3:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/1328) took 50851 ms. Total solver calls (SAT/UNSAT): 433578(4024/429554)
Jun 02, 2017 3:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/1328) took 51905 ms. Total solver calls (SAT/UNSAT): 443003(4064/438939)
Jun 02, 2017 3:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/1328) took 52947 ms. Total solver calls (SAT/UNSAT): 452328(4104/448224)
Jun 02, 2017 3:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/1328) took 53986 ms. Total solver calls (SAT/UNSAT): 461553(4144/457409)
Jun 02, 2017 3:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/1328) took 55007 ms. Total solver calls (SAT/UNSAT): 470678(4184/466494)
Jun 02, 2017 3:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/1328) took 56024 ms. Total solver calls (SAT/UNSAT): 479703(4224/475479)
Jun 02, 2017 3:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/1328) took 57165 ms. Total solver calls (SAT/UNSAT): 489515(4268/485247)
Jun 02, 2017 3:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/1328) took 58217 ms. Total solver calls (SAT/UNSAT): 498330(4308/494022)
Jun 02, 2017 3:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/1328) took 59241 ms. Total solver calls (SAT/UNSAT): 507045(4348/502697)
Jun 02, 2017 3:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/1328) took 60264 ms. Total solver calls (SAT/UNSAT): 515660(4388/511272)
Jun 02, 2017 3:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/1328) took 61337 ms. Total solver calls (SAT/UNSAT): 525021(4432/520589)
Jun 02, 2017 3:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(493/1328) took 62429 ms. Total solver calls (SAT/UNSAT): 534261(4476/529785)
Jun 02, 2017 3:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/1328) took 63454 ms. Total solver calls (SAT/UNSAT): 543380(4520/538860)
Jun 02, 2017 3:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/1328) took 64467 ms. Total solver calls (SAT/UNSAT): 552378(4564/547814)
Jun 02, 2017 3:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/1328) took 65550 ms. Total solver calls (SAT/UNSAT): 562056(4612/557444)
Jun 02, 2017 3:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/1328) took 66620 ms. Total solver calls (SAT/UNSAT): 571590(4660/566930)
Jun 02, 2017 3:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(551/1328) took 67674 ms. Total solver calls (SAT/UNSAT): 580980(4708/576272)
Jun 02, 2017 3:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(563/1328) took 68715 ms. Total solver calls (SAT/UNSAT): 590226(4756/585470)
Jun 02, 2017 3:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(575/1328) took 69736 ms. Total solver calls (SAT/UNSAT): 599328(4804/594524)
Jun 02, 2017 3:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(587/1328) took 70745 ms. Total solver calls (SAT/UNSAT): 608286(4852/603434)
Jun 02, 2017 3:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(600/1328) took 71818 ms. Total solver calls (SAT/UNSAT): 617828(4904/612924)
Jun 02, 2017 3:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(613/1328) took 72871 ms. Total solver calls (SAT/UNSAT): 627201(4956/622245)
Jun 02, 2017 3:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(626/1328) took 73904 ms. Total solver calls (SAT/UNSAT): 636405(5008/631397)
Jun 02, 2017 3:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(639/1328) took 74919 ms. Total solver calls (SAT/UNSAT): 645440(5060/640380)
Jun 02, 2017 3:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(653/1328) took 75995 ms. Total solver calls (SAT/UNSAT): 654981(5116/649865)
Jun 02, 2017 3:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(667/1328) took 77043 ms. Total solver calls (SAT/UNSAT): 664326(5172/659154)
Jun 02, 2017 3:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(681/1328) took 78072 ms. Total solver calls (SAT/UNSAT): 673475(5228/668247)
Jun 02, 2017 3:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(695/1328) took 79075 ms. Total solver calls (SAT/UNSAT): 682428(5284/677144)
Jun 02, 2017 3:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(710/1328) took 80139 ms. Total solver calls (SAT/UNSAT): 691803(5344/686459)
Jun 02, 2017 3:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(724/1328) took 81157 ms. Total solver calls (SAT/UNSAT): 700350(5400/694950)
Jun 02, 2017 3:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(739/1328) took 82189 ms. Total solver calls (SAT/UNSAT): 709290(5460/703830)
Jun 02, 2017 3:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(754/1328) took 83198 ms. Total solver calls (SAT/UNSAT): 718005(5520/712485)
Jun 02, 2017 3:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(769/1328) took 84237 ms. Total solver calls (SAT/UNSAT): 726495(5580/720915)
Jun 02, 2017 3:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(785/1328) took 85256 ms. Total solver calls (SAT/UNSAT): 735303(5644/729659)
Jun 02, 2017 3:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(801/1328) took 86287 ms. Total solver calls (SAT/UNSAT): 743855(5708/738147)
Jun 02, 2017 3:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(818/1328) took 87301 ms. Total solver calls (SAT/UNSAT): 752661(5776/746885)
Jun 02, 2017 3:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1328) took 88341 ms. Total solver calls (SAT/UNSAT): 761670(5848/755822)
Jun 02, 2017 3:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(854/1328) took 89347 ms. Total solver calls (SAT/UNSAT): 770355(5920/764435)
Jun 02, 2017 3:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(873/1328) took 90362 ms. Total solver calls (SAT/UNSAT): 779171(5996/773175)
Jun 02, 2017 3:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(893/1328) took 91393 ms. Total solver calls (SAT/UNSAT): 788061(6076/781985)
Jun 02, 2017 3:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(914/1328) took 92427 ms. Total solver calls (SAT/UNSAT): 796965(6160/790805)
Jun 02, 2017 3:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(936/1328) took 93450 ms. Total solver calls (SAT/UNSAT): 805820(6248/799572)
Jun 02, 2017 3:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(959/1328) took 94466 ms. Total solver calls (SAT/UNSAT): 814560(6340/808220)
Jun 02, 2017 3:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(981/1328) took 95479 ms. Total solver calls (SAT/UNSAT): 822425(6428/815997)
Jun 02, 2017 3:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1007/1328) took 96484 ms. Total solver calls (SAT/UNSAT): 831096(6532/824564)
Jun 02, 2017 3:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1035/1328) took 97486 ms. Total solver calls (SAT/UNSAT): 839678(6644/833034)
Jun 02, 2017 3:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1067/1328) took 98507 ms. Total solver calls (SAT/UNSAT): 848526(6772/841754)
Jun 02, 2017 3:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1103/1328) took 99514 ms. Total solver calls (SAT/UNSAT): 857256(6916/850340)
Jun 02, 2017 3:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1146/1328) took 100532 ms. Total solver calls (SAT/UNSAT): 865985(7088/858897)
Jun 02, 2017 3:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1167/1328) took 101572 ms. Total solver calls (SAT/UNSAT): 869576(8972/860604)
Jun 02, 2017 3:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1199/1328) took 102591 ms. Total solver calls (SAT/UNSAT): 874200(10956/863244)
Jun 02, 2017 3:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1240/1328) took 103605 ms. Total solver calls (SAT/UNSAT): 878628(13228/865400)
Jun 02, 2017 3:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 104405 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 02, 2017 3:06:16 PM 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="S_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/S_BridgeAndVehicles-PT-V50P50N10.tgz
mv S_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 S_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 r090-csrt-149441076900501"
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 ;