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 BridgeAndVehicles-PT-V80P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126400551
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 111216 markings, 175288 edges, 22243 markings/sec, 0 secs
lola: 226660 markings, 358250 edges, 23089 markings/sec, 5 secs
lola: 340808 markings, 540200 edges, 22830 markings/sec, 10 secs
lola: 459098 markings, 727278 edges, 23658 markings/sec, 15 secs
lola: 570490 markings, 904232 edges, 22278 markings/sec, 20 secs
lola: 679658 markings, 1077042 edges, 21834 markings/sec, 25 secs
lola: 789674 markings, 1252025 edges, 22003 markings/sec, 30 secs
lola: 807270 markings, 1278313 edges, 3519 markings/sec, 35 secs
lola: 821012 markings, 1300505 edges, 2748 markings/sec, 40 secs
lola: 838664 markings, 1327627 edges, 3530 markings/sec, 45 secs
lola: 852656 markings, 1348856 edges, 2798 markings/sec, 50 secs
lola: 869672 markings, 1376321 edges, 3403 markings/sec, 55 secs
lola: 883696 markings, 1396239 edges, 2805 markings/sec, 60 secs
lola: 897688 markings, 1419255 edges, 2798 markings/sec, 65 secs
lola: 914730 markings, 1444467 edges, 3408 markings/sec, 70 secs
lola: 929390 markings, 1468107 edges, 2932 markings/sec, 75 secs
lola: 948776 markings, 1497235 edges, 3877 markings/sec, 80 secs
lola: 963196 markings, 1520184 edges, 2884 markings/sec, 85 secs
lola: 980600 markings, 1546821 edges, 3481 markings/sec, 90 secs
lola: 995564 markings, 1570011 edges, 2993 markings/sec, 95 secs
lola: 1012750 markings, 1596787 edges, 3437 markings/sec, 100 secs
lola: 1027592 markings, 1619332 edges, 2968 markings/sec, 105 secs
lola: 1044574 markings, 1646237 edges, 3396 markings/sec, 110 secs
lola: 1058494 markings, 1666780 edges, 2784 markings/sec, 115 secs
lola: 1075418 markings, 1694217 edges, 3385 markings/sec, 120 secs
lola: 1088786 markings, 1713254 edges, 2674 markings/sec, 125 secs
lola: 1105028 markings, 1739866 edges, 3248 markings/sec, 130 secs
lola: 1119848 markings, 1761310 edges, 2964 markings/sec, 135 secs
lola: 1133818 markings, 1784017 edges, 2794 markings/sec, 140 secs
lola: 1150622 markings, 1808922 edges, 3361 markings/sec, 145 secs
lola: 1166300 markings, 1834073 edges, 3136 markings/sec, 150 secs
lola: 1182018 markings, 1855598 edges, 3144 markings/sec, 155 secs
lola: 1194728 markings, 1875318 edges, 2542 markings/sec, 160 secs
lola: 1210092 markings, 1899958 edges, 3073 markings/sec, 165 secs
lola: 1225140 markings, 1922061 edges, 3010 markings/sec, 170 secs
lola: 1240166 markings, 1945132 edges, 3005 markings/sec, 175 secs
lola: 1254966 markings, 1965532 edges, 2960 markings/sec, 180 secs
lola: 1266732 markings, 1984736 edges, 2353 markings/sec, 185 secs
lola: 1282544 markings, 2009063 edges, 3162 markings/sec, 190 secs
lola: 1297838 markings, 2032663 edges, 3059 markings/sec, 195 secs
lola: 1313748 markings, 2055641 edges, 3182 markings/sec, 200 secs
lola: 1327930 markings, 2076211 edges, 2836 markings/sec, 205 secs
lola: 1339880 markings, 2095792 edges, 2390 markings/sec, 210 secs
lola: 1358546 markings, 2123334 edges, 3733 markings/sec, 215 secs
lola: 1374022 markings, 2147792 edges, 3095 markings/sec, 220 secs
lola: 1388202 markings, 2167226 edges, 2836 markings/sec, 225 secs
lola: 1399050 markings, 2184390 edges, 2170 markings/sec, 230 secs
lola: 1413052 markings, 2206818 edges, 2800 markings/sec, 235 secs
lola: 1427198 markings, 2227558 edges, 2829 markings/sec, 240 secs
lola: 1441226 markings, 2249278 edges, 2806 markings/sec, 245 secs
lola: 1456438 markings, 2270258 edges, 3042 markings/sec, 250 secs
lola: 1468186 markings, 2289384 edges, 2350 markings/sec, 255 secs
lola: 1485354 markings, 2315408 edges, 3434 markings/sec, 260 secs
lola: 1500784 markings, 2339894 edges, 3086 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: 14044 markings, 29367 edges, 2809 markings/sec, 0 secs
lola: 28127 markings, 62049 edges, 2817 markings/sec, 5 secs
lola: 40661 markings, 92002 edges, 2507 markings/sec, 10 secs
lola: 54486 markings, 124793 edges, 2765 markings/sec, 15 secs
lola: 66742 markings, 154682 edges, 2451 markings/sec, 20 secs
lola: 79940 markings, 186433 edges, 2640 markings/sec, 25 secs
lola: 94400 markings, 221024 edges, 2892 markings/sec, 30 secs
lola: 107313 markings, 253500 edges, 2583 markings/sec, 35 secs
lola: 120059 markings, 285215 edges, 2549 markings/sec, 40 secs
lola: 132892 markings, 317498 edges, 2567 markings/sec, 45 secs
lola: 146566 markings, 350050 edges, 2735 markings/sec, 50 secs
lola: 161165 markings, 384787 edges, 2920 markings/sec, 55 secs
lola: 174724 markings, 420131 edges, 2712 markings/sec, 60 secs
lola: 187030 markings, 450743 edges, 2461 markings/sec, 65 secs
lola: 199824 markings, 482689 edges, 2559 markings/sec, 70 secs
lola: 212857 markings, 516219 edges, 2607 markings/sec, 75 secs
lola: 225933 markings, 549556 edges, 2615 markings/sec, 80 secs
lola: 239652 markings, 583015 edges, 2744 markings/sec, 85 secs
lola: 253022 markings, 613468 edges, 2674 markings/sec, 90 secs
lola: 267778 markings, 650975 edges, 2951 markings/sec, 95 secs
lola: 281483 markings, 687184 edges, 2741 markings/sec, 100 secs
lola: 293912 markings, 718522 edges, 2486 markings/sec, 105 secs
lola: 306403 markings, 750128 edges, 2498 markings/sec, 110 secs
lola: 319602 markings, 782540 edges, 2640 markings/sec, 115 secs
lola: 332906 markings, 816864 edges, 2661 markings/sec, 120 secs
lola: 345896 markings, 850779 edges, 2598 markings/sec, 125 secs
lola: 359072 markings, 884482 edges, 2635 markings/sec, 130 secs
lola: 372015 markings, 917563 edges, 2589 markings/sec, 135 secs
lola: 385775 markings, 951171 edges, 2752 markings/sec, 140 secs
lola: 398964 markings, 981012 edges, 2638 markings/sec, 145 secs
lola: 413214 markings, 1015975 edges, 2850 markings/sec, 150 secs
lola: 427603 markings, 1054150 edges, 2878 markings/sec, 155 secs
lola: 441342 markings, 1090631 edges, 2748 markings/sec, 160 secs
lola: 453722 markings, 1122339 edges, 2476 markings/sec, 165 secs
lola: 466269 markings, 1154098 edges, 2509 markings/sec, 170 secs
lola: 478535 markings, 1185245 edges, 2453 markings/sec, 175 secs
lola: 492286 markings, 1218879 edges, 2750 markings/sec, 180 secs
lola: 505213 markings, 1252335 edges, 2585 markings/sec, 185 secs
lola: 518900 markings, 1287881 edges, 2737 markings/sec, 190 secs
lola: 531960 markings, 1321688 edges, 2612 markings/sec, 195 secs
lola: 545115 markings, 1355896 edges, 2631 markings/sec, 200 secs
lola: 558417 markings, 1389592 edges, 2660 markings/sec, 205 secs
lola: 571573 markings, 1423027 edges, 2631 markings/sec, 210 secs
lola: 585289 markings, 1456845 edges, 2743 markings/sec, 215 secs
lola: 597505 markings, 1485975 edges, 2443 markings/sec, 220 secs
lola: 612677 markings, 1519800 edges, 3034 markings/sec, 225 secs
lola: 626720 markings, 1557111 edges, 2809 markings/sec, 230 secs
lola: 641315 markings, 1595476 edges, 2919 markings/sec, 235 secs
lola: 655300 markings, 1633087 edges, 2797 markings/sec, 240 secs
lola: 668337 markings, 1667436 edges, 2607 markings/sec, 245 secs
lola: 680442 markings, 1697884 edges, 2421 markings/sec, 250 secs
lola: 693163 markings, 1730599 edges, 2544 markings/sec, 255 secs
lola: 706260 markings, 1764493 edges, 2619 markings/sec, 260 secs
lola: 718697 markings, 1795340 edges, 2487 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: 21927 markings, 47374 edges, 4385 markings/sec, 0 secs
lola: 42554 markings, 96373 edges, 4125 markings/sec, 5 secs
lola: 62624 markings, 145391 edges, 4014 markings/sec, 10 secs
lola: 81690 markings, 190999 edges, 3813 markings/sec, 15 secs
lola: 102303 markings, 243004 edges, 4123 markings/sec, 20 secs
lola: 120861 markings, 289594 edges, 3712 markings/sec, 25 secs
lola: 139708 markings, 335552 edges, 3769 markings/sec, 30 secs
lola: 159797 markings, 386111 edges, 4018 markings/sec, 35 secs
lola: 179320 markings, 435200 edges, 3905 markings/sec, 40 secs
lola: 197403 markings, 481749 edges, 3617 markings/sec, 45 secs
lola: 215232 markings, 527094 edges, 3566 markings/sec, 50 secs
lola: 233747 markings, 572292 edges, 3703 markings/sec, 55 secs
lola: 253417 markings, 620280 edges, 3934 markings/sec, 60 secs
lola: 273508 markings, 673405 edges, 4018 markings/sec, 65 secs
lola: 291587 markings, 719342 edges, 3616 markings/sec, 70 secs
lola: 310121 markings, 766109 edges, 3707 markings/sec, 75 secs
lola: 327966 markings, 812107 edges, 3569 markings/sec, 80 secs
lola: 345553 markings, 857163 edges, 3517 markings/sec, 85 secs
lola: 363153 markings, 900443 edges, 3520 markings/sec, 90 secs
lola: 382607 markings, 944952 edges, 3891 markings/sec, 95 secs
lola: 401882 markings, 994817 edges, 3855 markings/sec, 100 secs
lola: 421263 markings, 1047013 edges, 3876 markings/sec, 105 secs
lola: 440008 markings, 1095652 edges, 3749 markings/sec, 110 secs
lola: 458312 markings, 1141706 edges, 3661 markings/sec, 115 secs
lola: 477640 markings, 1190270 edges, 3866 markings/sec, 120 secs
lola: 494181 markings, 1232940 edges, 3308 markings/sec, 125 secs
lola: 510560 markings, 1275053 edges, 3276 markings/sec, 130 secs
lola: 527274 markings, 1317736 edges, 3343 markings/sec, 135 secs
lola: 543724 markings, 1359571 edges, 3290 markings/sec, 140 secs
lola: 561360 markings, 1403431 edges, 3527 markings/sec, 145 secs
lola: 581154 markings, 1448022 edges, 3959 markings/sec, 150 secs
lola: 599758 markings, 1494856 edges, 3721 markings/sec, 155 secs
lola: 617452 markings, 1541713 edges, 3539 markings/sec, 160 secs
lola: 635414 markings, 1590040 edges, 3592 markings/sec, 165 secs
lola: 653893 markings, 1637626 edges, 3696 markings/sec, 170 secs
lola: 670344 markings, 1680384 edges, 3290 markings/sec, 175 secs
lola: 687208 markings, 1723215 edges, 3373 markings/sec, 180 secs
lola: 707187 markings, 1772070 edges, 3996 markings/sec, 185 secs
lola: 723742 markings, 1815616 edges, 3311 markings/sec, 190 secs
lola: 741336 markings, 1860770 edges, 3519 markings/sec, 195 secs
lola: 758140 markings, 1904118 edges, 3361 markings/sec, 200 secs
lola: 774647 markings, 1946704 edges, 3301 markings/sec, 205 secs
lola: 791657 markings, 1989887 edges, 3402 markings/sec, 210 secs
lola: 807929 markings, 2031035 edges, 3254 markings/sec, 215 secs
lola: 824814 markings, 2073309 edges, 3377 markings/sec, 220 secs
lola: 842446 markings, 2116018 edges, 3526 markings/sec, 225 secs
lola: 861823 markings, 2160479 edges, 3875 markings/sec, 230 secs
lola: 880407 markings, 2207798 edges, 3717 markings/sec, 235 secs
lola: 899161 markings, 2256706 edges, 3751 markings/sec, 240 secs
lola: 917425 markings, 2305963 edges, 3653 markings/sec, 245 secs
lola: 936016 markings, 2355220 edges, 3718 markings/sec, 250 secs
lola: 953245 markings, 2399563 edges, 3446 markings/sec, 255 secs
lola: 969592 markings, 2441510 edges, 3269 markings/sec, 260 secs
lola: 986303 markings, 2484893 edges, 3342 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: 25124 markings, 52617 edges, 5025 markings/sec, 0 secs
lola: 59135 markings, 137934 edges, 6802 markings/sec, 5 secs
lola: 101808 markings, 257163 edges, 8535 markings/sec, 10 secs
lola: 128439 markings, 314464 edges, 5326 markings/sec, 15 secs
lola: 178527 markings, 460615 edges, 10018 markings/sec, 20 secs
lola: 204759 markings, 518139 edges, 5246 markings/sec, 25 secs
lola: 237680 markings, 600222 edges, 6584 markings/sec, 30 secs
lola: 281296 markings, 722273 edges, 8723 markings/sec, 35 secs
lola: 308643 markings, 783330 edges, 5469 markings/sec, 40 secs
lola: 356626 markings, 922533 edges, 9597 markings/sec, 45 secs
lola: 383094 markings, 980065 edges, 5294 markings/sec, 50 secs
lola: 431615 markings, 1121581 edges, 9704 markings/sec, 55 secs
lola: 457803 markings, 1177879 edges, 5238 markings/sec, 60 secs
lola: 506109 markings, 1318057 edges, 9661 markings/sec, 65 secs
lola: 533037 markings, 1376254 edges, 5386 markings/sec, 70 secs
lola: 580555 markings, 1513726 edges, 9504 markings/sec, 75 secs
lola: 606613 markings, 1569910 edges, 5212 markings/sec, 80 secs
lola: 653060 markings, 1703669 edges, 9289 markings/sec, 85 secs
lola: 680711 markings, 1766725 edges, 5530 markings/sec, 90 secs
lola: 725182 markings, 1892482 edges, 8894 markings/sec, 95 secs
lola: 757304 markings, 1972687 edges, 6424 markings/sec, 100 secs
lola: 792643 markings, 2079379 edges, 7068 markings/sec, 105 secs
lola: 814708 markings, 2135029 edges, 4413 markings/sec, 110 secs
lola: 836548 markings, 2186798 edges, 4368 markings/sec, 115 secs
lola: 858248 markings, 2238923 edges, 4340 markings/sec, 120 secs
lola: 879431 markings, 2292860 edges, 4237 markings/sec, 125 secs
lola: 926858 markings, 2438350 edges, 9485 markings/sec, 130 secs
lola: 948820 markings, 2495438 edges, 4392 markings/sec, 135 secs
lola: 972441 markings, 2556035 edges, 4724 markings/sec, 140 secs
lola: 994714 markings, 2616845 edges, 4455 markings/sec, 145 secs
lola: 1023882 markings, 2699794 edges, 5834 markings/sec, 150 secs
lola: 1065463 markings, 2818575 edges, 8316 markings/sec, 155 secs
lola: 1087620 markings, 2875583 edges, 4431 markings/sec, 160 secs
lola: 1111789 markings, 2938800 edges, 4834 markings/sec, 165 secs
lola: 1134296 markings, 3001625 edges, 4501 markings/sec, 170 secs
lola: 1157427 markings, 3062717 edges, 4626 markings/sec, 175 secs
lola: 1202369 markings, 3198804 edges, 8988 markings/sec, 180 secs
lola: 1227172 markings, 3266943 edges, 4961 markings/sec, 185 secs
lola: 1251385 markings, 3327948 edges, 4843 markings/sec, 190 secs
lola: 1274907 markings, 3392950 edges, 4704 markings/sec, 195 secs
lola: 1318792 markings, 3524361 edges, 8777 markings/sec, 200 secs
lola: 1348529 markings, 3605492 edges, 5947 markings/sec, 205 secs
lola: 1372791 markings, 3670029 edges, 4852 markings/sec, 210 secs
lola: 1397964 markings, 3737587 edges, 5035 markings/sec, 215 secs
lola: 1446477 markings, 3882784 edges, 9703 markings/sec, 220 secs
lola: 1470435 markings, 3944787 edges, 4792 markings/sec, 225 secs
lola: 1492349 markings, 4006475 edges, 4383 markings/sec, 230 secs
lola: 1515080 markings, 4067398 edges, 4546 markings/sec, 235 secs
lola: 1561800 markings, 4205536 edges, 9344 markings/sec, 240 secs
lola: 1584146 markings, 4263734 edges, 4469 markings/sec, 245 secs
lola: 1607205 markings, 4327528 edges, 4612 markings/sec, 250 secs
lola: 1633129 markings, 4399597 edges, 5185 markings/sec, 255 secs
lola: 1677565 markings, 4527699 edges, 8887 markings/sec, 260 secs
lola: 1701305 markings, 4595435 edges, 4748 markings/sec, 265 secs
lola: 1725700 markings, 4659438 edges, 4879 markings/sec, 270 secs
lola: 1767981 markings, 4785477 edges, 8456 markings/sec, 275 secs
lola: 1796393 markings, 4862005 edges, 5682 markings/sec, 280 secs
lola: 1820211 markings, 4927578 edges, 4764 markings/sec, 285 secs
lola: 1846215 markings, 4997939 edges, 5201 markings/sec, 290 secs
lola: 1889819 markings, 5123320 edges, 8721 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: 103432 markings, 161210 edges, 20686 markings/sec, 0 secs
lola: 211058 markings, 329838 edges, 21525 markings/sec, 5 secs
lola: 323100 markings, 505494 edges, 22408 markings/sec, 10 secs
lola: 429948 markings, 672761 edges, 21370 markings/sec, 15 secs
lola: 539430 markings, 844306 edges, 21896 markings/sec, 20 secs
lola: 645990 markings, 1011482 edges, 21312 markings/sec, 25 secs
lola: 751338 markings, 1176540 edges, 21070 markings/sec, 30 secs
lola: 800143 markings, 1251117 edges, 9761 markings/sec, 35 secs
lola: 813480 markings, 1271344 edges, 2667 markings/sec, 40 secs
lola: 824738 markings, 1289573 edges, 2252 markings/sec, 45 secs
lola: 842584 markings, 1314398 edges, 3569 markings/sec, 50 secs
lola: 853776 markings, 1332806 edges, 2238 markings/sec, 55 secs
lola: 868752 markings, 1355247 edges, 2995 markings/sec, 60 secs
lola: 882830 markings, 1375625 edges, 2816 markings/sec, 65 secs
lola: 894226 markings, 1394508 edges, 2279 markings/sec, 70 secs
lola: 910112 markings, 1416925 edges, 3177 markings/sec, 75 secs
lola: 922052 markings, 1435639 edges, 2388 markings/sec, 80 secs
lola: 935074 markings, 1455984 edges, 2604 markings/sec, 85 secs
lola: 949782 markings, 1476186 edges, 2942 markings/sec, 90 secs
lola: 960336 markings, 1493945 edges, 2111 markings/sec, 95 secs
lola: 975368 markings, 1516051 edges, 3006 markings/sec, 100 secs
lola: 988554 markings, 1535634 edges, 2637 markings/sec, 105 secs
lola: 999868 markings, 1554077 edges, 2263 markings/sec, 110 secs
lola: 1017446 markings, 1578478 edges, 3516 markings/sec, 115 secs
lola: 1028458 markings, 1596857 edges, 2202 markings/sec, 120 secs
lola: 1043808 markings, 1619268 edges, 3070 markings/sec, 125 secs
lola: 1056684 markings, 1638616 edges, 2575 markings/sec, 130 secs
lola: 1070136 markings, 1659928 edges, 2690 markings/sec, 135 secs
lola: 1085520 markings, 1681395 edges, 3077 markings/sec, 140 secs
lola: 1096576 markings, 1699896 edges, 2211 markings/sec, 145 secs
lola: 1113004 markings, 1723243 edges, 3286 markings/sec, 150 secs
lola: 1125096 markings, 1742560 edges, 2418 markings/sec, 155 secs
lola: 1139748 markings, 1764351 edges, 2930 markings/sec, 160 secs
lola: 1152918 markings, 1783880 edges, 2634 markings/sec, 165 secs
lola: 1164230 markings, 1802041 edges, 2262 markings/sec, 170 secs
lola: 1179008 markings, 1822089 edges, 2956 markings/sec, 175 secs
lola: 1191146 markings, 1840817 edges, 2428 markings/sec, 180 secs
lola: 1204708 markings, 1862150 edges, 2712 markings/sec, 185 secs
lola: 1219088 markings, 1882047 edges, 2876 markings/sec, 190 secs
lola: 1229371 markings, 1899468 edges, 2057 markings/sec, 195 secs
lola: 1242440 markings, 1917830 edges, 2614 markings/sec, 200 secs
lola: 1256058 markings, 1937121 edges, 2724 markings/sec, 205 secs
lola: 1267042 markings, 1955406 edges, 2197 markings/sec, 210 secs
lola: 1282168 markings, 1977007 edges, 3025 markings/sec, 215 secs
lola: 1293892 markings, 1995313 edges, 2345 markings/sec, 220 secs
lola: 1306074 markings, 2013694 edges, 2436 markings/sec, 225 secs
lola: 1320920 markings, 2033847 edges, 2969 markings/sec, 230 secs
lola: 1331998 markings, 2052189 edges, 2216 markings/sec, 235 secs
lola: 1345876 markings, 2072834 edges, 2776 markings/sec, 240 secs
lola: 1359246 markings, 2092707 edges, 2674 markings/sec, 245 secs
lola: 1371352 markings, 2111665 edges, 2421 markings/sec, 250 secs
lola: 1385960 markings, 2131467 edges, 2922 markings/sec, 255 secs
lola: 1397660 markings, 2150292 edges, 2340 markings/sec, 260 secs
lola: 1411924 markings, 2171775 edges, 2853 markings/sec, 265 secs
lola: 1424900 markings, 2190878 edges, 2595 markings/sec, 270 secs
lola: 1435736 markings, 2208297 edges, 2167 markings/sec, 275 secs
lola: 1449556 markings, 2227004 edges, 2764 markings/sec, 280 secs
lola: 1461404 markings, 2245291 edges, 2370 markings/sec, 285 secs
lola: 1474368 markings, 2265598 edges, 2593 markings/sec, 290 secs
lola: 1488242 markings, 2285231 edges, 2775 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: 22618 markings, 54124 edges, 4524 markings/sec, 0 secs
lola: 41410 markings, 103326 edges, 3758 markings/sec, 5 secs
lola: 59402 markings, 150909 edges, 3598 markings/sec, 10 secs
lola: 77253 markings, 198638 edges, 3570 markings/sec, 15 secs
lola: 94093 markings, 244078 edges, 3368 markings/sec, 20 secs
lola: 110708 markings, 287897 edges, 3323 markings/sec, 25 secs
lola: 127385 markings, 333237 edges, 3335 markings/sec, 30 secs
lola: 144126 markings, 377912 edges, 3348 markings/sec, 35 secs
lola: 159413 markings, 418275 edges, 3057 markings/sec, 40 secs
lola: 176394 markings, 465437 edges, 3396 markings/sec, 45 secs
lola: 197191 markings, 521882 edges, 4159 markings/sec, 50 secs
lola: 216024 markings, 575272 edges, 3767 markings/sec, 55 secs
lola: 233786 markings, 625390 edges, 3552 markings/sec, 60 secs
lola: 252494 markings, 676281 edges, 3742 markings/sec, 65 secs
lola: 272802 markings, 733525 edges, 4062 markings/sec, 70 secs
lola: 291341 markings, 786426 edges, 3708 markings/sec, 75 secs
lola: 309488 markings, 837574 edges, 3629 markings/sec, 80 secs
lola: 331317 markings, 897125 edges, 4366 markings/sec, 85 secs
lola: 351019 markings, 953233 edges, 3940 markings/sec, 90 secs
lola: 370277 markings, 1008718 edges, 3852 markings/sec, 95 secs
lola: 388959 markings, 1061194 edges, 3736 markings/sec, 100 secs
lola: 411068 markings, 1121401 edges, 4422 markings/sec, 105 secs
lola: 432884 markings, 1183804 edges, 4363 markings/sec, 110 secs
lola: 452874 markings, 1240441 edges, 3998 markings/sec, 115 secs
lola: 473051 markings, 1299207 edges, 4035 markings/sec, 120 secs
lola: 492629 markings, 1352563 edges, 3916 markings/sec, 125 secs
lola: 516320 markings, 1419421 edges, 4738 markings/sec, 130 secs
lola: 537766 markings, 1481213 edges, 4289 markings/sec, 135 secs
lola: 557254 markings, 1537122 edges, 3898 markings/sec, 140 secs
lola: 576810 markings, 1593248 edges, 3911 markings/sec, 145 secs
lola: 598314 markings, 1651977 edges, 4301 markings/sec, 150 secs
lola: 620969 markings, 1716643 edges, 4531 markings/sec, 155 secs
lola: 642925 markings, 1780009 edges, 4391 markings/sec, 160 secs
lola: 663318 markings, 1838738 edges, 4079 markings/sec, 165 secs
lola: 683305 markings, 1896643 edges, 3997 markings/sec, 170 secs
lola: 701262 markings, 1946100 edges, 3591 markings/sec, 175 secs
lola: 726841 markings, 2017460 edges, 5116 markings/sec, 180 secs
lola: 747509 markings, 2076791 edges, 4134 markings/sec, 185 secs
lola: 768765 markings, 2138397 edges, 4251 markings/sec, 190 secs
lola: 788552 markings, 2195888 edges, 3957 markings/sec, 195 secs
lola: 806754 markings, 2247869 edges, 3640 markings/sec, 200 secs
lola: 828386 markings, 2307854 edges, 4326 markings/sec, 205 secs
lola: 853116 markings, 2378337 edges, 4946 markings/sec, 210 secs
lola: 873792 markings, 2437892 edges, 4135 markings/sec, 215 secs
lola: 895079 markings, 2499240 edges, 4257 markings/sec, 220 secs
lola: 913435 markings, 2552259 edges, 3671 markings/sec, 225 secs
lola: 934139 markings, 2612474 edges, 4141 markings/sec, 230 secs
lola: 953455 markings, 2666843 edges, 3863 markings/sec, 235 secs
lola: 978651 markings, 2737505 edges, 5039 markings/sec, 240 secs
lola: 1002072 markings, 2805151 edges, 4684 markings/sec, 245 secs
lola: 1022689 markings, 2865065 edges, 4123 markings/sec, 250 secs
lola: 1042109 markings, 2921032 edges, 3884 markings/sec, 255 secs
lola: 1059698 markings, 2970752 edges, 3518 markings/sec, 260 secs
lola: 1077518 markings, 3022776 edges, 3564 markings/sec, 265 secs
lola: 1101038 markings, 3089088 edges, 4704 markings/sec, 270 secs
lola: 1125625 markings, 3158929 edges, 4917 markings/sec, 275 secs
lola: 1147615 markings, 3222628 edges, 4398 markings/sec, 280 secs
lola: 1168498 markings, 3283731 edges, 4177 markings/sec, 285 secs
lola: 1188547 markings, 3341055 edges, 4010 markings/sec, 290 secs
lola: 1207180 markings, 3393958 edges, 3727 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: 22588 markings, 48768 edges, 4518 markings/sec, 0 secs
lola: 43113 markings, 97598 edges, 4105 markings/sec, 5 secs
lola: 63860 markings, 148363 edges, 4149 markings/sec, 10 secs
lola: 82779 markings, 193313 edges, 3784 markings/sec, 15 secs
lola: 102555 markings, 243663 edges, 3955 markings/sec, 20 secs
lola: 120666 markings, 289080 edges, 3622 markings/sec, 25 secs
lola: 138250 markings, 332225 edges, 3517 markings/sec, 30 secs
lola: 158148 markings, 381826 edges, 3980 markings/sec, 35 secs
lola: 176852 markings, 429472 edges, 3741 markings/sec, 40 secs
lola: 194974 markings, 475218 edges, 3624 markings/sec, 45 secs
lola: 212880 markings, 520863 edges, 3581 markings/sec, 50 secs
lola: 231242 markings, 566684 edges, 3672 markings/sec, 55 secs
lola: 251496 markings, 615084 edges, 4051 markings/sec, 60 secs
lola: 272045 markings, 669603 edges, 4110 markings/sec, 65 secs
lola: 290977 markings, 717738 edges, 3786 markings/sec, 70 secs
lola: 310048 markings, 765829 edges, 3814 markings/sec, 75 secs
lola: 328538 markings, 813625 edges, 3698 markings/sec, 80 secs
lola: 346647 markings, 859802 edges, 3622 markings/sec, 85 secs
lola: 364896 markings, 905014 edges, 3650 markings/sec, 90 secs
lola: 384912 markings, 950666 edges, 4003 markings/sec, 95 secs
lola: 404298 markings, 1001438 edges, 3877 markings/sec, 100 secs
lola: 423875 markings, 1053801 edges, 3915 markings/sec, 105 secs
lola: 442213 markings, 1100990 edges, 3668 markings/sec, 110 secs
lola: 461456 markings, 1149033 edges, 3849 markings/sec, 115 secs
lola: 479788 markings, 1196073 edges, 3666 markings/sec, 120 secs
lola: 497888 markings, 1242552 edges, 3620 markings/sec, 125 secs
lola: 516086 markings, 1289004 edges, 3640 markings/sec, 130 secs
lola: 533018 markings, 1332222 edges, 3386 markings/sec, 135 secs
lola: 549212 markings, 1373226 edges, 3239 markings/sec, 140 secs
lola: 566589 markings, 1415920 edges, 3475 markings/sec, 145 secs
lola: 585402 markings, 1458381 edges, 3763 markings/sec, 150 secs
lola: 603763 markings, 1505128 edges, 3672 markings/sec, 155 secs
lola: 621652 markings, 1553078 edges, 3578 markings/sec, 160 secs
lola: 639783 markings, 1601552 edges, 3626 markings/sec, 165 secs
lola: 656987 markings, 1645884 edges, 3441 markings/sec, 170 secs
lola: 673009 markings, 1687602 edges, 3204 markings/sec, 175 secs
lola: 693050 markings, 1736932 edges, 4008 markings/sec, 180 secs
lola: 710889 markings, 1781918 edges, 3568 markings/sec, 185 secs
lola: 728215 markings, 1826428 edges, 3465 markings/sec, 190 secs
lola: 745355 markings, 1871180 edges, 3428 markings/sec, 195 secs
lola: 763412 markings, 1917190 edges, 3611 markings/sec, 200 secs
lola: 780878 markings, 1962395 edges, 3493 markings/sec, 205 secs
lola: 798581 markings, 2007182 edges, 3541 markings/sec, 210 secs
lola: 815759 markings, 2050799 edges, 3436 markings/sec, 215 secs
lola: 834051 markings, 2096246 edges, 3658 markings/sec, 220 secs
lola: 854056 markings, 2140978 edges, 4001 markings/sec, 225 secs
lola: 873482 markings, 2190142 edges, 3885 markings/sec, 230 secs
lola: 892254 markings, 2238415 edges, 3754 markings/sec, 235 secs
lola: 911111 markings, 2288912 edges, 3771 markings/sec, 240 secs
lola: 930314 markings, 2340278 edges, 3841 markings/sec, 245 secs
lola: 948928 markings, 2387980 edges, 3723 markings/sec, 250 secs
lola: 966111 markings, 2432873 edges, 3437 markings/sec, 255 secs
lola: 983211 markings, 2477071 edges, 3420 markings/sec, 260 secs
lola: 1003561 markings, 2527063 edges, 4070 markings/sec, 265 secs
lola: 1023316 markings, 2576239 edges, 3951 markings/sec, 270 secs
lola: 1040375 markings, 2620597 edges, 3412 markings/sec, 275 secs
lola: 1058421 markings, 2667265 edges, 3609 markings/sec, 280 secs
lola: 1075872 markings, 2711862 edges, 3490 markings/sec, 285 secs
lola: 1091990 markings, 2754179 edges, 3224 markings/sec, 290 secs
lola: 1108402 markings, 2796551 edges, 3282 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: 25241 markings, 52909 edges, 5048 markings/sec, 0 secs
lola: 58116 markings, 134554 edges, 6575 markings/sec, 5 secs
lola: 100663 markings, 254873 edges, 8509 markings/sec, 10 secs
lola: 126568 markings, 310690 edges, 5181 markings/sec, 15 secs
lola: 175794 markings, 456389 edges, 9845 markings/sec, 20 secs
lola: 201523 markings, 511481 edges, 5146 markings/sec, 25 secs
lola: 228237 markings, 571071 edges, 5343 markings/sec, 30 secs
lola: 276239 markings, 711697 edges, 9600 markings/sec, 35 secs
lola: 302162 markings, 767420 edges, 5185 markings/sec, 40 secs
lola: 352114 markings, 912825 edges, 9990 markings/sec, 45 secs
lola: 379268 markings, 971771 edges, 5431 markings/sec, 50 secs
lola: 428628 markings, 1114714 edges, 9872 markings/sec, 55 secs
lola: 456541 markings, 1175415 edges, 5583 markings/sec, 60 secs
lola: 505519 markings, 1316757 edges, 9796 markings/sec, 65 secs
lola: 531154 markings, 1372239 edges, 5127 markings/sec, 70 secs
lola: 578137 markings, 1508299 edges, 9397 markings/sec, 75 secs
lola: 603314 markings, 1562879 edges, 5035 markings/sec, 80 secs
lola: 648819 markings, 1694719 edges, 9101 markings/sec, 85 secs
lola: 675124 markings, 1751615 edges, 5261 markings/sec, 90 secs
lola: 720691 markings, 1883197 edges, 9113 markings/sec, 95 secs
lola: 746763 markings, 1940069 edges, 5214 markings/sec, 100 secs
lola: 790635 markings, 2076139 edges, 8774 markings/sec, 105 secs
lola: 813437 markings, 2132235 edges, 4560 markings/sec, 110 secs
lola: 835061 markings, 2184411 edges, 4325 markings/sec, 115 secs
lola: 857388 markings, 2237151 edges, 4465 markings/sec, 120 secs
lola: 880270 markings, 2295273 edges, 4576 markings/sec, 125 secs
lola: 927417 markings, 2439305 edges, 9429 markings/sec, 130 secs
lola: 949436 markings, 2497405 edges, 4404 markings/sec, 135 secs
lola: 973101 markings, 2557548 edges, 4733 markings/sec, 140 secs
lola: 996716 markings, 2621514 edges, 4723 markings/sec, 145 secs
lola: 1033615 markings, 2730335 edges, 7380 markings/sec, 150 secs
lola: 1069924 markings, 2828013 edges, 7262 markings/sec, 155 secs
lola: 1092832 markings, 2887901 edges, 4582 markings/sec, 160 secs
lola: 1115771 markings, 2949333 edges, 4588 markings/sec, 165 secs
lola: 1140676 markings, 3016646 edges, 4981 markings/sec, 170 secs
lola: 1164326 markings, 3081656 edges, 4730 markings/sec, 175 secs
lola: 1214485 markings, 3229827 edges, 10032 markings/sec, 180 secs
lola: 1238263 markings, 3293367 edges, 4756 markings/sec, 185 secs
lola: 1263494 markings, 3360913 edges, 5046 markings/sec, 190 secs
lola: 1289776 markings, 3434925 edges, 5256 markings/sec, 195 secs
lola: 1336686 markings, 3571335 edges, 9382 markings/sec, 200 secs
lola: 1359651 markings, 3635458 edges, 4593 markings/sec, 205 secs
lola: 1383765 markings, 3699240 edges, 4823 markings/sec, 210 secs
lola: 1412010 markings, 3779902 edges, 5649 markings/sec, 215 secs
lola: 1453630 markings, 3899244 edges, 8324 markings/sec, 220 secs
lola: 1477147 markings, 3965973 edges, 4703 markings/sec, 225 secs
lola: 1500219 markings, 4026809 edges, 4614 markings/sec, 230 secs
lola: 1533324 markings, 4121981 edges, 6621 markings/sec, 235 secs
lola: 1569690 markings, 4225730 edges, 7273 markings/sec, 240 secs
lola: 1593200 markings, 4290386 edges, 4702 markings/sec, 245 secs
lola: 1618032 markings, 4356298 edges, 4966 markings/sec, 250 secs
lola: 1661287 markings, 4486248 edges, 8651 markings/sec, 255 secs
lola: 1687816 markings, 4557875 edges, 5306 markings/sec, 260 secs
lola: 1711522 markings, 4621551 edges, 4741 markings/sec, 265 secs
lola: 1736280 markings, 4688405 edges, 4952 markings/sec, 270 secs
lola: 1781364 markings, 4820905 edges, 9017 markings/sec, 275 secs
lola: 1802887 markings, 4878400 edges, 4305 markings/sec, 280 secs
lola: 1826007 markings, 4940482 edges, 4624 markings/sec, 285 secs
lola: 1859867 markings, 5040246 edges, 6772 markings/sec, 290 secs
lola: 1894826 markings, 5140270 edges, 6992 markings/sec, 295 secs
lola: 1918868 markings, 5202153 edges, 4808 markings/sec, 300 secs
lola: 1941753 markings, 5265563 edges, 4577 markings/sec, 305 secs
lola: 1982943 markings, 5390069 edges, 8238 markings/sec, 310 secs
lola: 2004259 markings, 5444898 edges, 4263 markings/sec, 315 secs
lola: 2023465 markings, 5496238 edges, 3841 markings/sec, 320 secs
lola: 2043500 markings, 5548273 edges, 4007 markings/sec, 325 secs
lola: 2062910 markings, 5598880 edges, 3882 markings/sec, 330 secs
lola: 2083289 markings, 5650299 edges, 4076 markings/sec, 335 secs
lola: 2103118 markings, 5706009 edges, 3966 markings/sec, 340 secs
lola: 2123244 markings, 5755521 edges, 4025 markings/sec, 345 secs
lola: 2143170 markings, 5807198 edges, 3985 markings/sec, 350 secs
lola: 2170319 markings, 5882863 edges, 5430 markings/sec, 355 secs
lola: 2210085 markings, 6002409 edges, 7953 markings/sec, 360 secs
lola: 2231950 markings, 6058976 edges, 4373 markings/sec, 365 secs
lola: 2254918 markings, 6122322 edges, 4594 markings/sec, 370 secs
lola: 2278239 markings, 6188688 edges, 4664 markings/sec, 375 secs
lola: 2301484 markings, 6257198 edges, 4649 markings/sec, 380 secs
lola: 2324792 markings, 6323837 edges, 4662 markings/sec, 385 secs
lola: 2362081 markings, 6436836 edges, 7458 markings/sec, 390 secs
lola: 2395739 markings, 6526412 edges, 6732 markings/sec, 395 secs
lola: 2416263 markings, 6581800 edges, 4105 markings/sec, 400 secs
lola: 2433010 markings, 6628385 edges, 3349 markings/sec, 405 secs
lola: 2456746 markings, 6694815 edges, 4747 markings/sec, 410 secs
lola: 2479765 markings, 6758693 edges, 4604 markings/sec, 415 secs
lola: 2502761 markings, 6824334 edges, 4599 markings/sec, 420 secs
lola: 2525370 markings, 6889848 edges, 4522 markings/sec, 425 secs
lola: 2548912 markings, 6957490 edges, 4708 markings/sec, 430 secs
lola: 2593247 markings, 7092052 edges, 8867 markings/sec, 435 secs
lola: 2620282 markings, 7167211 edges, 5407 markings/sec, 440 secs
lola: 2643110 markings, 7230569 edges, 4566 markings/sec, 445 secs
lola: 2665949 markings, 7295970 edges, 4568 markings/sec, 450 secs
lola: 2688322 markings, 7360962 edges, 4475 markings/sec, 455 secs
lola: 2711764 markings, 7428276 edges, 4688 markings/sec, 460 secs
lola: 2759592 markings, 7574636 edges, 9566 markings/sec, 465 secs
lola: 2781605 markings, 7632467 edges, 4403 markings/sec, 470 secs
lola: 2806263 markings, 7703040 edges, 4932 markings/sec, 475 secs
lola: 2829269 markings, 7768940 edges, 4601 markings/sec, 480 secs
lola: 2853059 markings, 7836404 edges, 4758 markings/sec, 485 secs
lola: 2876352 markings, 7904112 edges, 4659 markings/sec, 490 secs
lola: 2923187 markings, 8041472 edges, 9367 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 1494622157210

--------------------
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="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/BridgeAndVehicles-PT-V80P50N10.tgz
mv 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 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 r008-csrt-149436126400551"
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 ;