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 lola
Input is S_BridgeAndVehicles-PT-V80P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074600551
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1496354166668


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-PT-V80P50N10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V80P50N10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-PT-V80P50N10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2296/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N10-UpperBounds.task
lola: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(ATTENTE_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80) : MAX(SUR_PONT_A) : MAX(ATTENTE_A) : MAX(CAPACITE) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(ROUTE_A) : MAX(ROUTE_B) : MAX(SUR_PONT_A) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 117818 markings, 185952 edges, 23564 markings/sec, 0 secs
lola: 236176 markings, 373864 edges, 23672 markings/sec, 5 secs
lola: 349658 markings, 553793 edges, 22696 markings/sec, 10 secs
lola: 465442 markings, 737057 edges, 23157 markings/sec, 15 secs
lola: 581466 markings, 921478 edges, 23205 markings/sec, 20 secs
lola: 706360 markings, 1119153 edges, 24979 markings/sec, 25 secs
lola: 798308 markings, 1265857 edges, 18390 markings/sec, 30 secs
lola: 813914 markings, 1288638 edges, 3121 markings/sec, 35 secs
lola: 831420 markings, 1316912 edges, 3501 markings/sec, 40 secs
lola: 847836 markings, 1340776 edges, 3283 markings/sec, 45 secs
lola: 864764 markings, 1368286 edges, 3386 markings/sec, 50 secs
lola: 882072 markings, 1393781 edges, 3462 markings/sec, 55 secs
lola: 897154 markings, 1418418 edges, 3016 markings/sec, 60 secs
lola: 914562 markings, 1444228 edges, 3482 markings/sec, 65 secs
lola: 929806 markings, 1468789 edges, 3049 markings/sec, 70 secs
lola: 947648 markings, 1495669 edges, 3568 markings/sec, 75 secs
lola: 961744 markings, 1517814 edges, 2819 markings/sec, 80 secs
lola: 979236 markings, 1544929 edges, 3498 markings/sec, 85 secs
lola: 993426 markings, 1566469 edges, 2838 markings/sec, 90 secs
lola: 1010602 markings, 1593817 edges, 3435 markings/sec, 95 secs
lola: 1024272 markings, 1613860 edges, 2734 markings/sec, 100 secs
lola: 1042072 markings, 1642759 edges, 3560 markings/sec, 105 secs
lola: 1057708 markings, 1665570 edges, 3127 markings/sec, 110 secs
lola: 1075242 markings, 1693974 edges, 3507 markings/sec, 115 secs
lola: 1089164 markings, 1713915 edges, 2784 markings/sec, 120 secs
lola: 1105336 markings, 1740290 edges, 3234 markings/sec, 125 secs
lola: 1120322 markings, 1762021 edges, 2997 markings/sec, 130 secs
lola: 1136500 markings, 1788579 edges, 3236 markings/sec, 135 secs
lola: 1151670 markings, 1810495 edges, 3034 markings/sec, 140 secs
lola: 1167260 markings, 1835369 edges, 3118 markings/sec, 145 secs
lola: 1182960 markings, 1856867 edges, 3140 markings/sec, 150 secs
lola: 1195272 markings, 1876270 edges, 2462 markings/sec, 155 secs
lola: 1211100 markings, 1901347 edges, 3166 markings/sec, 160 secs
lola: 1226718 markings, 1924718 edges, 3124 markings/sec, 165 secs
lola: 1242358 markings, 1948132 edges, 3128 markings/sec, 170 secs
lola: 1257246 markings, 1968952 edges, 2978 markings/sec, 175 secs
lola: 1268840 markings, 1988158 edges, 2319 markings/sec, 180 secs
lola: 1286278 markings, 2014244 edges, 3488 markings/sec, 185 secs
lola: 1301886 markings, 2039264 edges, 3122 markings/sec, 190 secs
lola: 1317028 markings, 2060129 edges, 3028 markings/sec, 195 secs
lola: 1330216 markings, 2080034 edges, 2638 markings/sec, 200 secs
lola: 1344028 markings, 2102287 edges, 2762 markings/sec, 205 secs
lola: 1360302 markings, 2126371 edges, 3255 markings/sec, 210 secs
lola: 1374428 markings, 2148353 edges, 2825 markings/sec, 215 secs
lola: 1388652 markings, 2167829 edges, 2845 markings/sec, 220 secs
lola: 1399814 markings, 2185727 edges, 2232 markings/sec, 225 secs
lola: 1414210 markings, 2208502 edges, 2879 markings/sec, 230 secs
lola: 1428204 markings, 2229222 edges, 2799 markings/sec, 235 secs
lola: 1443840 markings, 2252869 edges, 3127 markings/sec, 240 secs
lola: 1458926 markings, 2274017 edges, 3017 markings/sec, 245 secs
lola: 1470130 markings, 2292560 edges, 2241 markings/sec, 250 secs
lola: 1485780 markings, 2315993 edges, 3130 markings/sec, 255 secs
lola: 1499842 markings, 2338401 edges, 2812 markings/sec, 260 secs
lola: 1514770 markings, 2359292 edges, 2986 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14399 markings, 30213 edges, 2880 markings/sec, 0 secs
lola: 28433 markings, 62792 edges, 2807 markings/sec, 5 secs
lola: 41101 markings, 92971 edges, 2534 markings/sec, 10 secs
lola: 55513 markings, 127352 edges, 2882 markings/sec, 15 secs
lola: 68558 markings, 159112 edges, 2609 markings/sec, 20 secs
lola: 82525 markings, 192613 edges, 2793 markings/sec, 25 secs
lola: 97361 markings, 228700 edges, 2967 markings/sec, 30 secs
lola: 110212 markings, 260347 edges, 2570 markings/sec, 35 secs
lola: 123521 markings, 293984 edges, 2662 markings/sec, 40 secs
lola: 137052 markings, 327762 edges, 2706 markings/sec, 45 secs
lola: 151843 markings, 361644 edges, 2958 markings/sec, 50 secs
lola: 167285 markings, 400927 edges, 3088 markings/sec, 55 secs
lola: 180643 markings, 434656 edges, 2672 markings/sec, 60 secs
lola: 192914 markings, 464689 edges, 2454 markings/sec, 65 secs
lola: 206430 markings, 499498 edges, 2703 markings/sec, 70 secs
lola: 219743 markings, 533616 edges, 2663 markings/sec, 75 secs
lola: 233061 markings, 567348 edges, 2664 markings/sec, 80 secs
lola: 247231 markings, 600767 edges, 2834 markings/sec, 85 secs
lola: 262855 markings, 637709 edges, 3125 markings/sec, 90 secs
lola: 277398 markings, 676497 edges, 2909 markings/sec, 95 secs
lola: 290973 markings, 711328 edges, 2715 markings/sec, 100 secs
lola: 304220 markings, 744793 edges, 2649 markings/sec, 105 secs
lola: 317507 markings, 777397 edges, 2657 markings/sec, 110 secs
lola: 330833 markings, 812026 edges, 2665 markings/sec, 115 secs
lola: 343926 markings, 845447 edges, 2619 markings/sec, 120 secs
lola: 356914 markings, 879256 edges, 2598 markings/sec, 125 secs
lola: 369979 markings, 912235 edges, 2613 markings/sec, 130 secs
lola: 383474 markings, 945354 edges, 2699 markings/sec, 135 secs
lola: 396528 markings, 975698 edges, 2611 markings/sec, 140 secs
lola: 411522 markings, 1011477 edges, 2999 markings/sec, 145 secs
lola: 426554 markings, 1051369 edges, 3006 markings/sec, 150 secs
lola: 440655 markings, 1088712 edges, 2820 markings/sec, 155 secs
lola: 453695 markings, 1122297 edges, 2608 markings/sec, 160 secs
lola: 465869 markings, 1153015 edges, 2435 markings/sec, 165 secs
lola: 477864 markings, 1183485 edges, 2399 markings/sec, 170 secs
lola: 491139 markings, 1215813 edges, 2655 markings/sec, 175 secs
lola: 504216 markings, 1249811 edges, 2615 markings/sec, 180 secs
lola: 517214 markings, 1283310 edges, 2600 markings/sec, 185 secs
lola: 530379 markings, 1317402 edges, 2633 markings/sec, 190 secs
lola: 543779 markings, 1352291 edges, 2680 markings/sec, 195 secs
lola: 555957 markings, 1383598 edges, 2436 markings/sec, 200 secs
lola: 568030 markings, 1414316 edges, 2415 markings/sec, 205 secs
lola: 580431 markings, 1445258 edges, 2480 markings/sec, 210 secs
lola: 593089 markings, 1475688 edges, 2532 markings/sec, 215 secs
lola: 607606 markings, 1508632 edges, 2903 markings/sec, 220 secs
lola: 622268 markings, 1545167 edges, 2932 markings/sec, 225 secs
lola: 635521 markings, 1580376 edges, 2651 markings/sec, 230 secs
lola: 648954 markings, 1616092 edges, 2687 markings/sec, 235 secs
lola: 661779 markings, 1650300 edges, 2565 markings/sec, 240 secs
lola: 674986 markings, 1684568 edges, 2641 markings/sec, 245 secs
lola: 687654 markings, 1716250 edges, 2534 markings/sec, 250 secs
lola: 700949 markings, 1750677 edges, 2659 markings/sec, 255 secs
lola: 714060 markings, 1784286 edges, 2622 markings/sec, 260 secs
lola: 727701 markings, 1816578 edges, 2728 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 22132 markings, 47841 edges, 4426 markings/sec, 0 secs
lola: 43280 markings, 97981 edges, 4230 markings/sec, 5 secs
lola: 64462 markings, 149892 edges, 4236 markings/sec, 10 secs
lola: 84208 markings, 196781 edges, 3949 markings/sec, 15 secs
lola: 104738 markings, 248768 edges, 4106 markings/sec, 20 secs
lola: 123305 markings, 295554 edges, 3713 markings/sec, 25 secs
lola: 142212 markings, 341090 edges, 3781 markings/sec, 30 secs
lola: 162869 markings, 394119 edges, 4131 markings/sec, 35 secs
lola: 181988 markings, 441958 edges, 3824 markings/sec, 40 secs
lola: 200158 markings, 488840 edges, 3634 markings/sec, 45 secs
lola: 218031 markings, 533980 edges, 3575 markings/sec, 50 secs
lola: 237326 markings, 579897 edges, 3859 markings/sec, 55 secs
lola: 257131 markings, 630277 edges, 3961 markings/sec, 60 secs
lola: 277404 markings, 683035 edges, 4055 markings/sec, 65 secs
lola: 295694 markings, 728850 edges, 3658 markings/sec, 70 secs
lola: 313797 markings, 775796 edges, 3621 markings/sec, 75 secs
lola: 331504 markings, 821248 edges, 3541 markings/sec, 80 secs
lola: 349150 markings, 865970 edges, 3529 markings/sec, 85 secs
lola: 367187 markings, 910911 edges, 3607 markings/sec, 90 secs
lola: 387304 markings, 956734 edges, 4023 markings/sec, 95 secs
lola: 407022 markings, 1008801 edges, 3944 markings/sec, 100 secs
lola: 427493 markings, 1063252 edges, 4094 markings/sec, 105 secs
lola: 446204 markings, 1111699 edges, 3742 markings/sec, 110 secs
lola: 465761 markings, 1159726 edges, 3911 markings/sec, 115 secs
lola: 483644 markings, 1205878 edges, 3577 markings/sec, 120 secs
lola: 501506 markings, 1251858 edges, 3572 markings/sec, 125 secs
lola: 519169 markings, 1297218 edges, 3533 markings/sec, 130 secs
lola: 537251 markings, 1343268 edges, 3616 markings/sec, 135 secs
lola: 555240 markings, 1387433 edges, 3598 markings/sec, 140 secs
lola: 574107 markings, 1433186 edges, 3773 markings/sec, 145 secs
lola: 593399 markings, 1478678 edges, 3858 markings/sec, 150 secs
lola: 612446 markings, 1528115 edges, 3809 markings/sec, 155 secs
lola: 631144 markings, 1578680 edges, 3740 markings/sec, 160 secs
lola: 650097 markings, 1628195 edges, 3791 markings/sec, 165 secs
lola: 666922 markings, 1671805 edges, 3365 markings/sec, 170 secs
lola: 684439 markings, 1716459 edges, 3503 markings/sec, 175 secs
lola: 704251 markings, 1765299 edges, 3962 markings/sec, 180 secs
lola: 721044 markings, 1808318 edges, 3359 markings/sec, 185 secs
lola: 737592 markings, 1851203 edges, 3310 markings/sec, 190 secs
lola: 754143 markings, 1893847 edges, 3310 markings/sec, 195 secs
lola: 771139 markings, 1937691 edges, 3399 markings/sec, 200 secs
lola: 788498 markings, 1981428 edges, 3472 markings/sec, 205 secs
lola: 804773 markings, 2023284 edges, 3255 markings/sec, 210 secs
lola: 821856 markings, 2065668 edges, 3417 markings/sec, 215 secs
lola: 838838 markings, 2107838 edges, 3396 markings/sec, 220 secs
lola: 858085 markings, 2150997 edges, 3849 markings/sec, 225 secs
lola: 876929 markings, 2198943 edges, 3769 markings/sec, 230 secs
lola: 895341 markings, 2246593 edges, 3682 markings/sec, 235 secs
lola: 913435 markings, 2295268 edges, 3619 markings/sec, 240 secs
lola: 931252 markings, 2342773 edges, 3563 markings/sec, 245 secs
lola: 948508 markings, 2386937 edges, 3451 markings/sec, 250 secs
lola: 964865 markings, 2429596 edges, 3271 markings/sec, 255 secs
lola: 981717 markings, 2473043 edges, 3370 markings/sec, 260 secs
lola: 1000658 markings, 2520048 edges, 3788 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 25057 markings, 52449 edges, 5011 markings/sec, 0 secs
lola: 59433 markings, 138803 edges, 6875 markings/sec, 5 secs
lola: 102488 markings, 258109 edges, 8611 markings/sec, 10 secs
lola: 129058 markings, 315937 edges, 5314 markings/sec, 15 secs
lola: 179235 markings, 462425 edges, 10035 markings/sec, 20 secs
lola: 205742 markings, 519928 edges, 5301 markings/sec, 25 secs
lola: 239373 markings, 605699 edges, 6726 markings/sec, 30 secs
lola: 281949 markings, 723750 edges, 8515 markings/sec, 35 secs
lola: 311683 markings, 792709 edges, 5947 markings/sec, 40 secs
lola: 359334 markings, 928268 edges, 9530 markings/sec, 45 secs
lola: 388046 markings, 993708 edges, 5742 markings/sec, 50 secs
lola: 435797 markings, 1129898 edges, 9550 markings/sec, 55 secs
lola: 465436 markings, 1198449 edges, 5928 markings/sec, 60 secs
lola: 512325 markings, 1331278 edges, 9378 markings/sec, 65 secs
lola: 543282 markings, 1405680 edges, 6191 markings/sec, 70 secs
lola: 588039 markings, 1529923 edges, 8951 markings/sec, 75 secs
lola: 622731 markings, 1619110 edges, 6938 markings/sec, 80 secs
lola: 660631 markings, 1720012 edges, 7580 markings/sec, 85 secs
lola: 698098 markings, 1820328 edges, 7493 markings/sec, 90 secs
lola: 732349 markings, 1908053 edges, 6850 markings/sec, 95 secs
lola: 774069 markings, 2024792 edges, 8344 markings/sec, 100 secs
lola: 799786 markings, 2095118 edges, 5143 markings/sec, 105 secs
lola: 821422 markings, 2148926 edges, 4327 markings/sec, 110 secs
lola: 842754 markings, 2200557 edges, 4266 markings/sec, 115 secs
lola: 864138 markings, 2255574 edges, 4277 markings/sec, 120 secs
lola: 899587 markings, 2354722 edges, 7090 markings/sec, 125 secs
lola: 936995 markings, 2460838 edges, 7482 markings/sec, 130 secs
lola: 960174 markings, 2521491 edges, 4636 markings/sec, 135 secs
lola: 984237 markings, 2588402 edges, 4813 markings/sec, 140 secs
lola: 1006447 markings, 2648045 edges, 4442 markings/sec, 145 secs
lola: 1054982 markings, 2797073 edges, 9707 markings/sec, 150 secs
lola: 1076226 markings, 2842311 edges, 4249 markings/sec, 155 secs
lola: 1097477 markings, 2899817 edges, 4250 markings/sec, 160 secs
lola: 1120512 markings, 2965187 edges, 4607 markings/sec, 165 secs
lola: 1144104 markings, 3026602 edges, 4718 markings/sec, 170 secs
lola: 1172976 markings, 3107908 edges, 5774 markings/sec, 175 secs
lola: 1218049 markings, 3237966 edges, 9015 markings/sec, 180 secs
lola: 1241783 markings, 3305122 edges, 4747 markings/sec, 185 secs
lola: 1266844 markings, 3371776 edges, 5012 markings/sec, 190 secs
lola: 1300444 markings, 3468281 edges, 6720 markings/sec, 195 secs
lola: 1340404 markings, 3582236 edges, 7992 markings/sec, 200 secs
lola: 1367023 markings, 3654320 edges, 5324 markings/sec, 205 secs
lola: 1391541 markings, 3719737 edges, 4904 markings/sec, 210 secs
lola: 1435620 markings, 3852278 edges, 8816 markings/sec, 215 secs
lola: 1465177 markings, 3932693 edges, 5911 markings/sec, 220 secs
lola: 1490220 markings, 4000591 edges, 5009 markings/sec, 225 secs
lola: 1513094 markings, 4060864 edges, 4575 markings/sec, 230 secs
lola: 1558609 markings, 4198312 edges, 9103 markings/sec, 235 secs
lola: 1581912 markings, 4258651 edges, 4661 markings/sec, 240 secs
lola: 1604658 markings, 4322098 edges, 4549 markings/sec, 245 secs
lola: 1628528 markings, 4385314 edges, 4774 markings/sec, 250 secs
lola: 1677000 markings, 4526292 edges, 9694 markings/sec, 255 secs
lola: 1702289 markings, 4596980 edges, 5058 markings/sec, 260 secs
lola: 1728048 markings, 4664816 edges, 5152 markings/sec, 265 secs
lola: 1775234 markings, 4807704 edges, 9437 markings/sec, 270 secs
lola: 1799410 markings, 4868973 edges, 4835 markings/sec, 275 secs
lola: 1821471 markings, 4929886 edges, 4412 markings/sec, 280 secs
lola: 1844928 markings, 4993787 edges, 4691 markings/sec, 285 secs
lola: 1889274 markings, 5121993 edges, 8869 markings/sec, 290 secs
lola: 1914742 markings, 5192613 edges, 5094 markings/sec, 295 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 108490 markings, 169493 edges, 21698 markings/sec, 0 secs
lola: 225794 markings, 353086 edges, 23461 markings/sec, 5 secs
lola: 339668 markings, 531763 edges, 22775 markings/sec, 10 secs
lola: 450900 markings, 705543 edges, 22246 markings/sec, 15 secs
lola: 567799 markings, 889438 edges, 23380 markings/sec, 20 secs
lola: 679383 markings, 1063770 edges, 22317 markings/sec, 25 secs
lola: 790352 markings, 1237337 edges, 22194 markings/sec, 30 secs
lola: 807780 markings, 1261612 edges, 3486 markings/sec, 35 secs
lola: 819202 markings, 1280907 edges, 2284 markings/sec, 40 secs
lola: 835456 markings, 1304605 edges, 3251 markings/sec, 45 secs
lola: 849348 markings, 1325424 edges, 2778 markings/sec, 50 secs
lola: 862677 markings, 1346378 edges, 2666 markings/sec, 55 secs
lola: 879602 markings, 1370158 edges, 3385 markings/sec, 60 secs
lola: 891000 markings, 1389337 edges, 2280 markings/sec, 65 secs
lola: 907292 markings, 1413036 edges, 3258 markings/sec, 70 secs
lola: 920972 markings, 1433743 edges, 2736 markings/sec, 75 secs
lola: 934722 markings, 1455487 edges, 2750 markings/sec, 80 secs
lola: 949332 markings, 1475573 edges, 2922 markings/sec, 85 secs
lola: 959775 markings, 1492964 edges, 2089 markings/sec, 90 secs
lola: 974650 markings, 1515057 edges, 2975 markings/sec, 95 secs
lola: 988888 markings, 1536166 edges, 2848 markings/sec, 100 secs
lola: 1002092 markings, 1556900 edges, 2641 markings/sec, 105 secs
lola: 1018852 markings, 1580446 edges, 3352 markings/sec, 110 secs
lola: 1030066 markings, 1599497 edges, 2243 markings/sec, 115 secs
lola: 1046864 markings, 1623459 edges, 3360 markings/sec, 120 secs
lola: 1059528 markings, 1643426 edges, 2533 markings/sec, 125 secs
lola: 1074792 markings, 1666323 edges, 3053 markings/sec, 130 secs
lola: 1088842 markings, 1687109 edges, 2810 markings/sec, 135 secs
lola: 1102864 markings, 1709321 edges, 2804 markings/sec, 140 secs
lola: 1118558 markings, 1731601 edges, 3139 markings/sec, 145 secs
lola: 1130572 markings, 1751430 edges, 2403 markings/sec, 150 secs
lola: 1148116 markings, 1775849 edges, 3509 markings/sec, 155 secs
lola: 1159728 markings, 1795236 edges, 2322 markings/sec, 160 secs
lola: 1174230 markings, 1815601 edges, 2900 markings/sec, 165 secs
lola: 1188136 markings, 1835734 edges, 2781 markings/sec, 170 secs
lola: 1200526 markings, 1856121 edges, 2478 markings/sec, 175 secs
lola: 1218722 markings, 1881404 edges, 3639 markings/sec, 180 secs
lola: 1229978 markings, 1900367 edges, 2251 markings/sec, 185 secs
lola: 1243766 markings, 1919639 edges, 2758 markings/sec, 190 secs
lola: 1256628 markings, 1938083 edges, 2572 markings/sec, 195 secs
lola: 1267576 markings, 1956320 edges, 2190 markings/sec, 200 secs
lola: 1284052 markings, 1979606 edges, 3295 markings/sec, 205 secs
lola: 1295936 markings, 1998733 edges, 2377 markings/sec, 210 secs
lola: 1308260 markings, 2016657 edges, 2465 markings/sec, 215 secs
lola: 1322072 markings, 2035395 edges, 2762 markings/sec, 220 secs
lola: 1332730 markings, 2053470 edges, 2132 markings/sec, 225 secs
lola: 1348866 markings, 2076944 edges, 3227 markings/sec, 230 secs
lola: 1362044 markings, 2097451 edges, 2636 markings/sec, 235 secs
lola: 1375926 markings, 2117881 edges, 2776 markings/sec, 240 secs
lola: 1391060 markings, 2139205 edges, 3027 markings/sec, 245 secs
lola: 1403574 markings, 2159911 edges, 2503 markings/sec, 250 secs
lola: 1421092 markings, 2184351 edges, 3504 markings/sec, 255 secs
lola: 1432268 markings, 2203012 edges, 2235 markings/sec, 260 secs
lola: 1447372 markings, 2224043 edges, 3021 markings/sec, 265 secs
lola: 1461328 markings, 2245158 edges, 2791 markings/sec, 270 secs
lola: 1476382 markings, 2268368 edges, 3011 markings/sec, 275 secs
lola: 1491272 markings, 2290269 edges, 2978 markings/sec, 280 secs
lola: 1503276 markings, 2309040 edges, 2401 markings/sec, 285 secs
lola: 1517088 markings, 2327737 edges, 2762 markings/sec, 290 secs
lola: 1528362 markings, 2345824 edges, 2255 markings/sec, 295 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 22277 markings, 53222 edges, 4455 markings/sec, 0 secs
lola: 41101 markings, 102602 edges, 3765 markings/sec, 5 secs
lola: 58762 markings, 149216 edges, 3532 markings/sec, 10 secs
lola: 76487 markings, 196669 edges, 3545 markings/sec, 15 secs
lola: 93496 markings, 242628 edges, 3402 markings/sec, 20 secs
lola: 109945 markings, 285863 edges, 3290 markings/sec, 25 secs
lola: 126794 markings, 331701 edges, 3370 markings/sec, 30 secs
lola: 143293 markings, 375795 edges, 3300 markings/sec, 35 secs
lola: 158737 markings, 416520 edges, 3089 markings/sec, 40 secs
lola: 175065 markings, 461393 edges, 3266 markings/sec, 45 secs
lola: 195818 markings, 518225 edges, 4151 markings/sec, 50 secs
lola: 215320 markings, 573351 edges, 3900 markings/sec, 55 secs
lola: 232313 markings, 620877 edges, 3399 markings/sec, 60 secs
lola: 250911 markings, 671994 edges, 3720 markings/sec, 65 secs
lola: 272088 markings, 731693 edges, 4235 markings/sec, 70 secs
lola: 290053 markings, 782293 edges, 3593 markings/sec, 75 secs
lola: 307845 markings, 833231 edges, 3558 markings/sec, 80 secs
lola: 327001 markings, 884963 edges, 3831 markings/sec, 85 secs
lola: 348754 markings, 946528 edges, 4351 markings/sec, 90 secs
lola: 370939 markings, 1010372 edges, 4437 markings/sec, 95 secs
lola: 389983 markings, 1063996 edges, 3809 markings/sec, 100 secs
lola: 413951 markings, 1129891 edges, 4794 markings/sec, 105 secs
lola: 436552 markings, 1194285 edges, 4520 markings/sec, 110 secs
lola: 458141 markings, 1256647 edges, 4318 markings/sec, 115 secs
lola: 477767 markings, 1312372 edges, 3925 markings/sec, 120 secs
lola: 500228 markings, 1373629 edges, 4492 markings/sec, 125 secs
lola: 524457 markings, 1442962 edges, 4846 markings/sec, 130 secs
lola: 545647 markings, 1503929 edges, 4238 markings/sec, 135 secs
lola: 565230 markings, 1559370 edges, 3917 markings/sec, 140 secs
lola: 585825 markings, 1618674 edges, 4119 markings/sec, 145 secs
lola: 610503 markings, 1686684 edges, 4936 markings/sec, 150 secs
lola: 633076 markings, 1750915 edges, 4515 markings/sec, 155 secs
lola: 654238 markings, 1811497 edges, 4232 markings/sec, 160 secs
lola: 674691 markings, 1870341 edges, 4091 markings/sec, 165 secs
lola: 695441 markings, 1930773 edges, 4150 markings/sec, 170 secs
lola: 720528 markings, 1999941 edges, 5017 markings/sec, 175 secs
lola: 744008 markings, 2067605 edges, 4696 markings/sec, 180 secs
lola: 763774 markings, 2123911 edges, 3953 markings/sec, 185 secs
lola: 783765 markings, 2181499 edges, 3998 markings/sec, 190 secs
lola: 804391 markings, 2241477 edges, 4125 markings/sec, 195 secs
lola: 825075 markings, 2298955 edges, 4137 markings/sec, 200 secs
lola: 850174 markings, 2369409 edges, 5020 markings/sec, 205 secs
lola: 871472 markings, 2431022 edges, 4260 markings/sec, 210 secs
lola: 892170 markings, 2491091 edges, 4140 markings/sec, 215 secs
lola: 912024 markings, 2547873 edges, 3971 markings/sec, 220 secs
lola: 933316 markings, 2610102 edges, 4258 markings/sec, 225 secs
lola: 951871 markings, 2663923 edges, 3711 markings/sec, 230 secs
lola: 978063 markings, 2735509 edges, 5238 markings/sec, 235 secs
lola: 1001420 markings, 2803009 edges, 4671 markings/sec, 240 secs
lola: 1023003 markings, 2865839 edges, 4317 markings/sec, 245 secs
lola: 1044441 markings, 2928278 edges, 4288 markings/sec, 250 secs
lola: 1064229 markings, 2984709 edges, 3958 markings/sec, 255 secs
lola: 1080140 markings, 3030951 edges, 3182 markings/sec, 260 secs
lola: 1101849 markings, 3091259 edges, 4342 markings/sec, 265 secs
lola: 1125145 markings, 3157697 edges, 4659 markings/sec, 270 secs
lola: 1145288 markings, 3215425 edges, 4029 markings/sec, 275 secs
lola: 1164393 markings, 3270839 edges, 3821 markings/sec, 280 secs
lola: 1183177 markings, 3324520 edges, 3757 markings/sec, 285 secs
lola: 1203613 markings, 3385003 edges, 4087 markings/sec, 290 secs
lola: 1223621 markings, 3442876 edges, 4002 markings/sec, 295 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 22229 markings, 48027 edges, 4446 markings/sec, 0 secs
lola: 43255 markings, 97912 edges, 4205 markings/sec, 5 secs
lola: 64709 markings, 150530 edges, 4291 markings/sec, 10 secs
lola: 84995 markings, 198904 edges, 4057 markings/sec, 15 secs
lola: 105836 markings, 251462 edges, 4168 markings/sec, 20 secs
lola: 124806 markings, 299469 edges, 3794 markings/sec, 25 secs
lola: 144315 markings, 345624 edges, 3902 markings/sec, 30 secs
lola: 165070 markings, 399769 edges, 4151 markings/sec, 35 secs
lola: 184000 markings, 447328 edges, 3786 markings/sec, 40 secs
lola: 201911 markings, 492907 edges, 3582 markings/sec, 45 secs
lola: 218931 markings, 536346 edges, 3404 markings/sec, 50 secs
lola: 237626 markings, 580473 edges, 3739 markings/sec, 55 secs
lola: 256877 markings, 629572 edges, 3850 markings/sec, 60 secs
lola: 276406 markings, 680721 edges, 3906 markings/sec, 65 secs
lola: 293926 markings, 724820 edges, 3504 markings/sec, 70 secs
lola: 312449 markings, 772360 edges, 3705 markings/sec, 75 secs
lola: 330788 markings, 819593 edges, 3668 markings/sec, 80 secs
lola: 348712 markings, 864836 edges, 3585 markings/sec, 85 secs
lola: 366697 markings, 909543 edges, 3597 markings/sec, 90 secs
lola: 385426 markings, 952012 edges, 3746 markings/sec, 95 secs
lola: 403576 markings, 999502 edges, 3630 markings/sec, 100 secs
lola: 421965 markings, 1048867 edges, 3678 markings/sec, 105 secs
lola: 439498 markings, 1094296 edges, 3507 markings/sec, 110 secs
lola: 455811 markings, 1135839 edges, 3263 markings/sec, 115 secs
lola: 474285 markings, 1181405 edges, 3695 markings/sec, 120 secs
lola: 490807 markings, 1224055 edges, 3304 markings/sec, 125 secs
lola: 507194 markings, 1266500 edges, 3277 markings/sec, 130 secs
lola: 523717 markings, 1308878 edges, 3305 markings/sec, 135 secs
lola: 540318 markings, 1350637 edges, 3320 markings/sec, 140 secs
lola: 556990 markings, 1392021 edges, 3334 markings/sec, 145 secs
lola: 575201 markings, 1435489 edges, 3642 markings/sec, 150 secs
lola: 595760 markings, 1484688 edges, 4112 markings/sec, 155 secs
lola: 615654 markings, 1536775 edges, 3979 markings/sec, 160 secs
lola: 635412 markings, 1590032 edges, 3952 markings/sec, 165 secs
lola: 654321 markings, 1638747 edges, 3782 markings/sec, 170 secs
lola: 670982 markings, 1682121 edges, 3332 markings/sec, 175 secs
lola: 688238 markings, 1725618 edges, 3451 markings/sec, 180 secs
lola: 709180 markings, 1777404 edges, 4188 markings/sec, 185 secs
lola: 726473 markings, 1822460 edges, 3459 markings/sec, 190 secs
lola: 743557 markings, 1866695 edges, 3417 markings/sec, 195 secs
lola: 760430 markings, 1910236 edges, 3375 markings/sec, 200 secs
lola: 777260 markings, 1952788 edges, 3366 markings/sec, 205 secs
lola: 793327 markings, 1994295 edges, 3213 markings/sec, 210 secs
lola: 809857 markings, 2036126 edges, 3306 markings/sec, 215 secs
lola: 827494 markings, 2080320 edges, 3527 markings/sec, 220 secs
lola: 845734 markings, 2123319 edges, 3648 markings/sec, 225 secs
lola: 864848 markings, 2168124 edges, 3823 markings/sec, 230 secs
lola: 883376 markings, 2215349 edges, 3706 markings/sec, 235 secs
lola: 901477 markings, 2262664 edges, 3620 markings/sec, 240 secs
lola: 919596 markings, 2311801 edges, 3624 markings/sec, 245 secs
lola: 938479 markings, 2361479 edges, 3777 markings/sec, 250 secs
lola: 956195 markings, 2407181 edges, 3543 markings/sec, 255 secs
lola: 973104 markings, 2450970 edges, 3382 markings/sec, 260 secs
lola: 990476 markings, 2495560 edges, 3474 markings/sec, 265 secs
lola: 1012111 markings, 2547771 edges, 4327 markings/sec, 270 secs
lola: 1030048 markings, 2594163 edges, 3587 markings/sec, 275 secs
lola: 1047298 markings, 2638848 edges, 3450 markings/sec, 280 secs
lola: 1065293 markings, 2684866 edges, 3599 markings/sec, 285 secs
lola: 1083162 markings, 2731165 edges, 3574 markings/sec, 290 secs
lola: 1100888 markings, 2776801 edges, 3545 markings/sec, 295 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 303 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 12 will run for 378 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 13 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 26822 markings, 56430 edges, 5364 markings/sec, 0 secs
lola: 65390 markings, 157211 edges, 7714 markings/sec, 5 secs
lola: 104901 markings, 263394 edges, 7902 markings/sec, 10 secs
lola: 131727 markings, 321802 edges, 5365 markings/sec, 15 secs
lola: 182174 markings, 469404 edges, 10089 markings/sec, 20 secs
lola: 208269 markings, 525963 edges, 5219 markings/sec, 25 secs
lola: 242449 markings, 614935 edges, 6836 markings/sec, 30 secs
lola: 282439 markings, 724820 edges, 7998 markings/sec, 35 secs
lola: 311644 markings, 792559 edges, 5841 markings/sec, 40 secs
lola: 359630 markings, 928859 edges, 9597 markings/sec, 45 secs
lola: 385584 markings, 986034 edges, 5191 markings/sec, 50 secs
lola: 433126 markings, 1124827 edges, 9508 markings/sec, 55 secs
lola: 459101 markings, 1180912 edges, 5195 markings/sec, 60 secs
lola: 506642 markings, 1319361 edges, 9508 markings/sec, 65 secs
lola: 532447 markings, 1374885 edges, 5161 markings/sec, 70 secs
lola: 579613 markings, 1511721 edges, 9433 markings/sec, 75 secs
lola: 606840 markings, 1570432 edges, 5445 markings/sec, 80 secs
lola: 655026 markings, 1707799 edges, 9637 markings/sec, 85 secs
lola: 688713 markings, 1791709 edges, 6737 markings/sec, 90 secs
lola: 730521 markings, 1903802 edges, 8362 markings/sec, 95 secs
lola: 775281 markings, 2028720 edges, 8952 markings/sec, 100 secs
lola: 802369 markings, 2100297 edges, 5418 markings/sec, 105 secs
lola: 825332 markings, 2156815 edges, 4593 markings/sec, 110 secs
lola: 848315 markings, 2216778 edges, 4597 markings/sec, 115 secs
lola: 872106 markings, 2275907 edges, 4758 markings/sec, 120 secs
lola: 918736 markings, 2414219 edges, 9326 markings/sec, 125 secs
lola: 941713 markings, 2471714 edges, 4595 markings/sec, 130 secs
lola: 964542 markings, 2536337 edges, 4566 markings/sec, 135 secs
lola: 987932 markings, 2596911 edges, 4678 markings/sec, 140 secs
lola: 1010491 markings, 2658949 edges, 4512 markings/sec, 145 secs
lola: 1058005 markings, 2802864 edges, 9503 markings/sec, 150 secs
lola: 1078606 markings, 2849228 edges, 4120 markings/sec, 155 secs
lola: 1101359 markings, 2912678 edges, 4551 markings/sec, 160 secs
lola: 1124752 markings, 2974703 edges, 4679 markings/sec, 165 secs
lola: 1148172 markings, 3038081 edges, 4684 markings/sec, 170 secs
lola: 1181948 markings, 3135347 edges, 6755 markings/sec, 175 secs
lola: 1220319 markings, 3244622 edges, 7674 markings/sec, 180 secs
lola: 1245246 markings, 3313522 edges, 4985 markings/sec, 185 secs
lola: 1269070 markings, 3378129 edges, 4765 markings/sec, 190 secs
lola: 1303710 markings, 3477863 edges, 6928 markings/sec, 195 secs
lola: 1340753 markings, 3583369 edges, 7409 markings/sec, 200 secs
lola: 1365676 markings, 3651078 edges, 4985 markings/sec, 205 secs
lola: 1389674 markings, 3715524 edges, 4800 markings/sec, 210 secs
lola: 1427948 markings, 3828727 edges, 7655 markings/sec, 215 secs
lola: 1460591 markings, 3921637 edges, 6529 markings/sec, 220 secs
lola: 1484334 markings, 3982815 edges, 4749 markings/sec, 225 secs
lola: 1506581 markings, 4042863 edges, 4449 markings/sec, 230 secs
lola: 1545884 markings, 4161765 edges, 7861 markings/sec, 235 secs
lola: 1575437 markings, 4244631 edges, 5911 markings/sec, 240 secs
lola: 1598485 markings, 4302560 edges, 4610 markings/sec, 245 secs
lola: 1620996 markings, 4365144 edges, 4502 markings/sec, 250 secs
lola: 1665787 markings, 4501165 edges, 8958 markings/sec, 255 secs
lola: 1690610 markings, 4564497 edges, 4965 markings/sec, 260 secs
lola: 1714058 markings, 4629402 edges, 4690 markings/sec, 265 secs
lola: 1739531 markings, 4697656 edges, 5095 markings/sec, 270 secs
lola: 1784580 markings, 4828219 edges, 9010 markings/sec, 275 secs
lola: 1808456 markings, 4895913 edges, 4775 markings/sec, 280 secs
lola: 1833240 markings, 4960820 edges, 4957 markings/sec, 285 secs
lola: 1876413 markings, 5091728 edges, 8635 markings/sec, 290 secs
lola: 1902989 markings, 5160097 edges, 5315 markings/sec, 295 secs
lola: 1927551 markings, 5226731 edges, 4912 markings/sec, 300 secs
lola: 1956576 markings, 5310420 edges, 5805 markings/sec, 305 secs
lola: 1991475 markings, 5417957 edges, 6980 markings/sec, 310 secs
lola: 2011619 markings, 5461238 edges, 4029 markings/sec, 315 secs
lola: 2029995 markings, 5513850 edges, 3675 markings/sec, 320 secs
lola: 2052337 markings, 5567853 edges, 4468 markings/sec, 325 secs
lola: 2072416 markings, 5627031 edges, 4016 markings/sec, 330 secs
lola: 2094131 markings, 5680429 edges, 4343 markings/sec, 335 secs
lola: 2114968 markings, 5731945 edges, 4167 markings/sec, 340 secs
lola: 2135737 markings, 5786701 edges, 4154 markings/sec, 345 secs
lola: 2155856 markings, 5840681 edges, 4024 markings/sec, 350 secs
lola: 2204563 markings, 5988721 edges, 9741 markings/sec, 355 secs
lola: 2221893 markings, 6029803 edges, 3466 markings/sec, 360 secs
lola: 2242127 markings, 6091484 edges, 4047 markings/sec, 365 secs
lola: 2263080 markings, 6148137 edges, 4191 markings/sec, 370 secs
lola: 2285035 markings, 6210417 edges, 4391 markings/sec, 375 secs
lola: 2307548 markings, 6276563 edges, 4503 markings/sec, 380 secs
lola: 2331692 markings, 6344911 edges, 4829 markings/sec, 385 secs
lola: 2381080 markings, 6495705 edges, 9878 markings/sec, 390 secs
lola: 2402718 markings, 6541615 edges, 4328 markings/sec, 395 secs
lola: 2421577 markings, 6595947 edges, 3772 markings/sec, 400 secs
lola: 2440990 markings, 6650553 edges, 3883 markings/sec, 405 secs
lola: 2462649 markings, 6713169 edges, 4332 markings/sec, 410 secs
lola: 2484427 markings, 6773268 edges, 4356 markings/sec, 415 secs
lola: 2506309 markings, 6835773 edges, 4376 markings/sec, 420 secs
lola: 2527577 markings, 6897226 edges, 4254 markings/sec, 425 secs
lola: 2549430 markings, 6958984 edges, 4371 markings/sec, 430 secs
lola: 2590129 markings, 7082945 edges, 8140 markings/sec, 435 secs
lola: 2617228 markings, 7157258 edges, 5420 markings/sec, 440 secs
lola: 2639314 markings, 7218473 edges, 4417 markings/sec, 445 secs
lola: 2660929 markings, 7281543 edges, 4323 markings/sec, 450 secs
lola: 2681992 markings, 7340927 edges, 4213 markings/sec, 455 secs
lola: 2702934 markings, 7403251 edges, 4188 markings/sec, 460 secs
lola: 2733905 markings, 7495184 edges, 6194 markings/sec, 465 secs
lola: 2771178 markings, 7600277 edges, 7455 markings/sec, 470 secs
lola: 2792741 markings, 7665067 edges, 4313 markings/sec, 475 secs
lola: 2813610 markings, 7726697 edges, 4174 markings/sec, 480 secs
lola: 2835584 markings, 7787360 edges, 4395 markings/sec, 485 secs
lola: 2857592 markings, 7849428 edges, 4402 markings/sec, 490 secs
lola: 2889496 markings, 7944891 edges, 6381 markings/sec, 495 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 1010 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 724 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: RESULT
lola:
SUMMARY: 1 1 1 unknown unknown unknown 1 unknown unknown unknown unknown 80 80 unknown 1 1
lola: ========================================
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-11 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-12 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496356696284

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-PT-V80P50N10.tgz
mv S_BridgeAndVehicles-PT-V80P50N10 execution

# this is for BenchKit: explicit launching of the test

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