fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r088-csrt-149441074600569
Last Updated
June 27, 2017

About the Execution of LoLA for S_BridgeAndVehicles-PT-V80P50N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
616.510 3540068.00 3550450.00 210.10 ? ? 1 1 1 1 ? ? 1 ? ? ? ? ? 80 ? normal

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-V80P50N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074600569
=====================================================================


--------------------
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-V80P50N50-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496355097552


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V80P50N50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-PT-V80P50N50 @ 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: 8816/65536 symbol table entries, 2413 collisions
lola: preprocessing...
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N50-UpperBounds.task
lola: MAX(CHOIX_1 + CHOIX_2) : MAX(CONTROLEUR_1 + CONTROLEUR_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(CONTROLEUR_1 + CONTROLEUR_2) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(CAPACITE) : MAX(CAPACITE) : MAX(ATTENTE_A) : MAX(ROUTE_A) : MAX(SORTI_A) : 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(COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_21 + COMPTEUR_22 + COMPTEUR_23 + COMPTEUR_24 + COMPTEUR_25 + COMPTEUR_26 + COMPTEUR_27 + COMPTEUR_28 + COMPTEUR_29 + COMPTEUR_30 + COMPTEUR_31 + COMPTEUR_32 + COMPTEUR_33 + COMPTEUR_34 + COMPTEUR_35 + COMPTEUR_36 + COMPTEUR_37 + COMPTEUR_38 + COMPTEUR_39 + COMPTEUR_40 + COMPTEUR_41 + COMPTEUR_42 + COMPTEUR_43 + COMPTEUR_44 + COMPTEUR_45 + COMPTEUR_46 + COMPTEUR_47 + COMPTEUR_48 + COMPTEUR_49 + COMPTEUR_50 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_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(SUR_PONT_B) : MAX(CAPACITE)
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(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 1230 markings, 1897 edges, 246 markings/sec, 0 secs
lola: 1893 markings, 3479 edges, 133 markings/sec, 5 secs
lola: 2647 markings, 5258 edges, 151 markings/sec, 10 secs
lola: 3458 markings, 7148 edges, 162 markings/sec, 15 secs
lola: 4339 markings, 9204 edges, 176 markings/sec, 20 secs
lola: 4962 markings, 10768 edges, 125 markings/sec, 25 secs
lola: 5829 markings, 12746 edges, 173 markings/sec, 30 secs
lola: 6437 markings, 14256 edges, 122 markings/sec, 35 secs
lola: 7250 markings, 16148 edges, 163 markings/sec, 40 secs
lola: 7899 markings, 17714 edges, 130 markings/sec, 45 secs
lola: 8462 markings, 19105 edges, 113 markings/sec, 50 secs
lola: 9283 markings, 21001 edges, 164 markings/sec, 55 secs
lola: 10062 markings, 22823 edges, 156 markings/sec, 60 secs
lola: 10899 markings, 24696 edges, 167 markings/sec, 65 secs
lola: 13498 markings, 29958 edges, 520 markings/sec, 70 secs
lola: 14727 markings, 32748 edges, 246 markings/sec, 75 secs
lola: 15688 markings, 35265 edges, 192 markings/sec, 80 secs
lola: 16719 markings, 37844 edges, 206 markings/sec, 85 secs
lola: 17734 markings, 40433 edges, 203 markings/sec, 90 secs
lola: 18419 markings, 42311 edges, 137 markings/sec, 95 secs
lola: 19317 markings, 44717 edges, 180 markings/sec, 100 secs
lola: 20412 markings, 47362 edges, 219 markings/sec, 105 secs
lola: 21057 markings, 48980 edges, 129 markings/sec, 110 secs
lola: 21975 markings, 51455 edges, 184 markings/sec, 115 secs
lola: 22850 markings, 53386 edges, 175 markings/sec, 120 secs
lola: 23587 markings, 55512 edges, 147 markings/sec, 125 secs
lola: 24372 markings, 57261 edges, 157 markings/sec, 130 secs
lola: 25362 markings, 59909 edges, 198 markings/sec, 135 secs
lola: 26189 markings, 61797 edges, 165 markings/sec, 140 secs
lola: 27305 markings, 64645 edges, 223 markings/sec, 145 secs
lola: 28087 markings, 66505 edges, 156 markings/sec, 150 secs
lola: 29367 markings, 69514 edges, 256 markings/sec, 155 secs
lola: 29780 markings, 70803 edges, 83 markings/sec, 160 secs
lola: 30527 markings, 72454 edges, 149 markings/sec, 165 secs
lola: 31765 markings, 75256 edges, 248 markings/sec, 170 secs
lola: 32170 markings, 76666 edges, 81 markings/sec, 175 secs
lola: 33071 markings, 78617 edges, 180 markings/sec, 180 secs
lola: 34200 markings, 81126 edges, 226 markings/sec, 185 secs
lola: 34908 markings, 83246 edges, 142 markings/sec, 190 secs
lola: 35784 markings, 85183 edges, 175 markings/sec, 195 secs
lola: 36615 markings, 87079 edges, 166 markings/sec, 200 secs
lola: 37795 markings, 89970 edges, 236 markings/sec, 205 secs
lola: 38484 markings, 91694 edges, 138 markings/sec, 210 secs
lola: 39361 markings, 93702 edges, 175 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 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 884 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: 3405 markings, 5694 edges, 681 markings/sec, 0 secs
lola: 6674 markings, 12789 edges, 654 markings/sec, 5 secs
lola: 9701 markings, 19437 edges, 605 markings/sec, 10 secs
lola: 13089 markings, 27086 edges, 678 markings/sec, 15 secs
lola: 16109 markings, 34102 edges, 604 markings/sec, 20 secs
lola: 19074 markings, 41067 edges, 593 markings/sec, 25 secs
lola: 22315 markings, 48370 edges, 648 markings/sec, 30 secs
lola: 25738 markings, 56098 edges, 685 markings/sec, 35 secs
lola: 28904 markings, 63976 edges, 633 markings/sec, 40 secs
lola: 31752 markings, 70559 edges, 570 markings/sec, 45 secs
lola: 34407 markings, 77053 edges, 531 markings/sec, 50 secs
lola: 37036 markings, 83417 edges, 526 markings/sec, 55 secs
lola: 39825 markings, 90108 edges, 558 markings/sec, 60 secs
lola: 43233 markings, 97871 edges, 682 markings/sec, 65 secs
lola: 46429 markings, 105068 edges, 639 markings/sec, 70 secs
lola: 49901 markings, 113237 edges, 694 markings/sec, 75 secs
lola: 53180 markings, 121679 edges, 656 markings/sec, 80 secs
lola: 56270 markings, 129338 edges, 618 markings/sec, 85 secs
lola: 59158 markings, 136342 edges, 578 markings/sec, 90 secs
lola: 62124 markings, 143164 edges, 593 markings/sec, 95 secs
lola: 65155 markings, 150854 edges, 606 markings/sec, 100 secs
lola: 68228 markings, 158419 edges, 615 markings/sec, 105 secs
lola: 71278 markings, 165969 edges, 610 markings/sec, 110 secs
lola: 74357 markings, 173671 edges, 616 markings/sec, 115 secs
lola: 77320 markings, 180753 edges, 593 markings/sec, 120 secs
lola: 80894 markings, 189038 edges, 715 markings/sec, 125 secs
lola: 83767 markings, 195628 edges, 575 markings/sec, 130 secs
lola: 87302 markings, 203544 edges, 707 markings/sec, 135 secs
lola: 90903 markings, 212278 edges, 720 markings/sec, 140 secs
lola: 94408 markings, 221530 edges, 701 markings/sec, 145 secs
lola: 97802 markings, 230299 edges, 679 markings/sec, 150 secs
lola: 100620 markings, 237508 edges, 564 markings/sec, 155 secs
lola: 103275 markings, 244094 edges, 531 markings/sec, 160 secs
lola: 105886 markings, 250630 edges, 522 markings/sec, 165 secs
lola: 108817 markings, 257627 edges, 586 markings/sec, 170 secs
lola: 111551 markings, 263896 edges, 547 markings/sec, 175 secs
lola: 114341 markings, 271101 edges, 558 markings/sec, 180 secs
lola: 117142 markings, 278178 edges, 560 markings/sec, 185 secs
lola: 119894 markings, 285276 edges, 550 markings/sec, 190 secs
lola: 122991 markings, 293106 edges, 619 markings/sec, 195 secs
lola: 126069 markings, 300769 edges, 616 markings/sec, 200 secs
lola: 129182 markings, 308729 edges, 623 markings/sec, 205 secs
lola: 132324 markings, 316587 edges, 628 markings/sec, 210 secs
lola: 135473 markings, 324410 edges, 630 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 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 884 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 238 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 884 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: 3410 markings, 5706 edges, 682 markings/sec, 0 secs
lola: 6547 markings, 12499 edges, 627 markings/sec, 5 secs
lola: 9478 markings, 18992 edges, 586 markings/sec, 10 secs
lola: 12902 markings, 26647 edges, 685 markings/sec, 15 secs
lola: 15869 markings, 33498 edges, 593 markings/sec, 20 secs
lola: 18590 markings, 39988 edges, 544 markings/sec, 25 secs
lola: 21446 markings, 46397 edges, 571 markings/sec, 30 secs
lola: 24348 markings, 52709 edges, 580 markings/sec, 35 secs
lola: 27231 markings, 59860 edges, 577 markings/sec, 40 secs
lola: 29916 markings, 66402 edges, 537 markings/sec, 45 secs
lola: 32574 markings, 72509 edges, 532 markings/sec, 50 secs
lola: 35195 markings, 78939 edges, 524 markings/sec, 55 secs
lola: 37840 markings, 85281 edges, 529 markings/sec, 60 secs
lola: 40443 markings, 91463 edges, 521 markings/sec, 65 secs
lola: 43510 markings, 98495 edges, 613 markings/sec, 70 secs
lola: 46367 markings, 104931 edges, 571 markings/sec, 75 secs
lola: 49421 markings, 111982 edges, 611 markings/sec, 80 secs
lola: 52394 markings, 119628 edges, 595 markings/sec, 85 secs
lola: 55157 markings, 126576 edges, 553 markings/sec, 90 secs
lola: 57823 markings, 133136 edges, 533 markings/sec, 95 secs
lola: 60552 markings, 139523 edges, 546 markings/sec, 100 secs
lola: 63177 markings, 145922 edges, 525 markings/sec, 105 secs
lola: 65852 markings, 152692 edges, 535 markings/sec, 110 secs
lola: 68587 markings, 159349 edges, 547 markings/sec, 115 secs
lola: 71206 markings, 165758 edges, 524 markings/sec, 120 secs
lola: 73833 markings, 172288 edges, 525 markings/sec, 125 secs
lola: 76447 markings, 178690 edges, 523 markings/sec, 130 secs
lola: 79594 markings, 185886 edges, 629 markings/sec, 135 secs
lola: 82814 markings, 193512 edges, 644 markings/sec, 140 secs
lola: 86110 markings, 200927 edges, 659 markings/sec, 145 secs
lola: 89700 markings, 209071 edges, 718 markings/sec, 150 secs
lola: 93114 markings, 218119 edges, 683 markings/sec, 155 secs
lola: 96435 markings, 226817 edges, 664 markings/sec, 160 secs
lola: 99592 markings, 234902 edges, 631 markings/sec, 165 secs
lola: 102582 markings, 242340 edges, 598 markings/sec, 170 secs
lola: 105490 markings, 249574 edges, 582 markings/sec, 175 secs
lola: 108377 markings, 256559 edges, 577 markings/sec, 180 secs
lola: 111293 markings, 263342 edges, 583 markings/sec, 185 secs
lola: 114355 markings, 271143 edges, 612 markings/sec, 190 secs
lola: 117430 markings, 278966 edges, 615 markings/sec, 195 secs
lola: 120444 markings, 286686 edges, 603 markings/sec, 200 secs
lola: 123417 markings, 294257 edges, 595 markings/sec, 205 secs
lola: 126442 markings, 301606 edges, 605 markings/sec, 210 secs
lola: 129393 markings, 309262 edges, 590 markings/sec, 215 secs
lola: 132316 markings, 316575 edges, 585 markings/sec, 220 secs
lola: 135204 markings, 323702 edges, 578 markings/sec, 225 secs
lola: 138178 markings, 330873 edges, 595 markings/sec, 230 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 238 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 884 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: 3226 markings, 5321 edges, 645 markings/sec, 0 secs
lola: 6551 markings, 12506 edges, 665 markings/sec, 5 secs
lola: 9568 markings, 19165 edges, 603 markings/sec, 10 secs
lola: 13038 markings, 26975 edges, 694 markings/sec, 15 secs
lola: 16091 markings, 34057 edges, 611 markings/sec, 20 secs
lola: 19083 markings, 41092 edges, 598 markings/sec, 25 secs
lola: 22355 markings, 48450 edges, 654 markings/sec, 30 secs
lola: 25770 markings, 56178 edges, 683 markings/sec, 35 secs
lola: 28964 markings, 64117 edges, 639 markings/sec, 40 secs
lola: 31857 markings, 70768 edges, 579 markings/sec, 45 secs
lola: 34858 markings, 78115 edges, 600 markings/sec, 50 secs
lola: 37906 markings, 85415 edges, 610 markings/sec, 55 secs
lola: 40983 markings, 92761 edges, 615 markings/sec, 60 secs
lola: 44279 markings, 100320 edges, 659 markings/sec, 65 secs
lola: 47288 markings, 106915 edges, 602 markings/sec, 70 secs
lola: 50351 markings, 114324 edges, 613 markings/sec, 75 secs
lola: 53220 markings, 121743 edges, 574 markings/sec, 80 secs
lola: 55936 markings, 128515 edges, 543 markings/sec, 85 secs
lola: 58464 markings, 134688 edges, 506 markings/sec, 90 secs
lola: 61324 markings, 141283 edges, 572 markings/sec, 95 secs
lola: 64457 markings, 148979 edges, 627 markings/sec, 100 secs
lola: 67429 markings, 156561 edges, 594 markings/sec, 105 secs
lola: 70382 markings, 163896 edges, 591 markings/sec, 110 secs
lola: 73363 markings, 171170 edges, 596 markings/sec, 115 secs
lola: 76419 markings, 178616 edges, 611 markings/sec, 120 secs
lola: 79851 markings, 186454 edges, 686 markings/sec, 125 secs
lola: 82972 markings, 193918 edges, 624 markings/sec, 130 secs
lola: 86354 markings, 201447 edges, 676 markings/sec, 135 secs
lola: 89798 markings, 209330 edges, 689 markings/sec, 140 secs
lola: 93135 markings, 218179 edges, 667 markings/sec, 145 secs
lola: 96407 markings, 226737 edges, 654 markings/sec, 150 secs
lola: 99428 markings, 234500 edges, 604 markings/sec, 155 secs
lola: 102280 markings, 241633 edges, 570 markings/sec, 160 secs
lola: 105012 markings, 248301 edges, 546 markings/sec, 165 secs
lola: 107736 markings, 255115 edges, 545 markings/sec, 170 secs
lola: 110432 markings, 261354 edges, 539 markings/sec, 175 secs
lola: 113422 markings, 268789 edges, 598 markings/sec, 180 secs
lola: 116396 markings, 276176 edges, 595 markings/sec, 185 secs
lola: 119405 markings, 283967 edges, 602 markings/sec, 190 secs
lola: 122397 markings, 291475 edges, 598 markings/sec, 195 secs
lola: 125327 markings, 299059 edges, 586 markings/sec, 200 secs
lola: 128023 markings, 305865 edges, 539 markings/sec, 205 secs
lola: 130677 markings, 312292 edges, 531 markings/sec, 210 secs
lola: 133269 markings, 318918 edges, 518 markings/sec, 215 secs
lola: 135924 markings, 325413 edges, 531 markings/sec, 220 secs
lola: 138528 markings, 331793 edges, 521 markings/sec, 225 secs
lola: 140862 markings, 337046 edges, 467 markings/sec, 230 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 238 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 884 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: 3398 markings, 4647 edges, 680 markings/sec, 0 secs
lola: 6348 markings, 9519 edges, 590 markings/sec, 5 secs
lola: 9144 markings, 14392 edges, 559 markings/sec, 10 secs
lola: 12496 markings, 20016 edges, 670 markings/sec, 15 secs
lola: 15845 markings, 26117 edges, 670 markings/sec, 20 secs
lola: 19605 markings, 32534 edges, 752 markings/sec, 25 secs
lola: 23318 markings, 39162 edges, 743 markings/sec, 30 secs
lola: 27033 markings, 45072 edges, 743 markings/sec, 35 secs
lola: 30398 markings, 51535 edges, 673 markings/sec, 40 secs
lola: 37413 markings, 74449 edges, 1403 markings/sec, 45 secs
lola: 42492 markings, 90013 edges, 1016 markings/sec, 50 secs
lola: 45718 markings, 97728 edges, 645 markings/sec, 55 secs
lola: 49051 markings, 106050 edges, 667 markings/sec, 60 secs
lola: 52827 markings, 116018 edges, 755 markings/sec, 65 secs
lola: 56348 markings, 125216 edges, 704 markings/sec, 70 secs
lola: 59967 markings, 134857 edges, 724 markings/sec, 75 secs
lola: 63603 markings, 144473 edges, 727 markings/sec, 80 secs
lola: 67090 markings, 153383 edges, 697 markings/sec, 85 secs
lola: 70861 markings, 163292 edges, 754 markings/sec, 90 secs
lola: 75270 markings, 175711 edges, 882 markings/sec, 95 secs
lola: 79488 markings, 187221 edges, 844 markings/sec, 100 secs
lola: 83073 markings, 196449 edges, 717 markings/sec, 105 secs
lola: 87882 markings, 210372 edges, 962 markings/sec, 110 secs
lola: 91124 markings, 218269 edges, 648 markings/sec, 115 secs
lola: 96254 markings, 233394 edges, 1026 markings/sec, 120 secs
lola: 99243 markings, 240709 edges, 598 markings/sec, 125 secs
lola: 103127 markings, 251201 edges, 777 markings/sec, 130 secs
lola: 107578 markings, 264233 edges, 890 markings/sec, 135 secs
lola: 110637 markings, 271433 edges, 612 markings/sec, 140 secs
lola: 116277 markings, 288892 edges, 1128 markings/sec, 145 secs
lola: 119218 markings, 296118 edges, 588 markings/sec, 150 secs
lola: 122230 markings, 303260 edges, 602 markings/sec, 155 secs
lola: 128237 markings, 322164 edges, 1201 markings/sec, 160 secs
lola: 131558 markings, 330308 edges, 664 markings/sec, 165 secs
lola: 134586 markings, 337528 edges, 606 markings/sec, 170 secs
lola: 139429 markings, 352059 edges, 969 markings/sec, 175 secs
lola: 143497 markings, 364517 edges, 814 markings/sec, 180 secs
lola: 146403 markings, 371129 edges, 581 markings/sec, 185 secs
lola: 149148 markings, 377697 edges, 549 markings/sec, 190 secs
lola: 154073 markings, 392791 edges, 985 markings/sec, 195 secs
lola: 158506 markings, 406489 edges, 887 markings/sec, 200 secs
lola: 161472 markings, 413261 edges, 593 markings/sec, 205 secs
lola: 164321 markings, 420081 edges, 570 markings/sec, 210 secs
lola: 168747 markings, 432825 edges, 885 markings/sec, 215 secs
lola: 174318 markings, 450427 edges, 1114 markings/sec, 220 secs
lola: 177290 markings, 458000 edges, 594 markings/sec, 225 secs
lola: 180215 markings, 464942 edges, 585 markings/sec, 230 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 238 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 884 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: 3515 markings, 4821 edges, 703 markings/sec, 0 secs
lola: 6336 markings, 9499 edges, 564 markings/sec, 5 secs
lola: 9951 markings, 15632 edges, 723 markings/sec, 10 secs
lola: 13769 markings, 22165 edges, 764 markings/sec, 15 secs
lola: 17460 markings, 28905 edges, 738 markings/sec, 20 secs
lola: 21219 markings, 35485 edges, 752 markings/sec, 25 secs
lola: 25122 markings, 42012 edges, 781 markings/sec, 30 secs
lola: 28919 markings, 48532 edges, 759 markings/sec, 35 secs
lola: 34340 markings, 64133 edges, 1084 markings/sec, 40 secs
lola: 41477 markings, 88049 edges, 1427 markings/sec, 45 secs
lola: 44757 markings, 95364 edges, 656 markings/sec, 50 secs
lola: 48482 markings, 104709 edges, 745 markings/sec, 55 secs
lola: 51800 markings, 112939 edges, 664 markings/sec, 60 secs
lola: 55643 markings, 123381 edges, 769 markings/sec, 65 secs
lola: 59282 markings, 133045 edges, 728 markings/sec, 70 secs
lola: 62506 markings, 141179 edges, 645 markings/sec, 75 secs
lola: 65778 markings, 149688 edges, 654 markings/sec, 80 secs
lola: 69756 markings, 160724 edges, 796 markings/sec, 85 secs
lola: 74110 markings, 172764 edges, 871 markings/sec, 90 secs
lola: 77228 markings, 180284 edges, 624 markings/sec, 95 secs
lola: 81471 markings, 192817 edges, 849 markings/sec, 100 secs
lola: 84448 markings, 199728 edges, 595 markings/sec, 105 secs
lola: 89299 markings, 213982 edges, 970 markings/sec, 110 secs
lola: 92390 markings, 221284 edges, 618 markings/sec, 115 secs
lola: 97483 markings, 236680 edges, 1019 markings/sec, 120 secs
lola: 100654 markings, 244043 edges, 634 markings/sec, 125 secs
lola: 105957 markings, 260034 edges, 1061 markings/sec, 130 secs
lola: 109193 markings, 268024 edges, 647 markings/sec, 135 secs
lola: 113066 markings, 278264 edges, 775 markings/sec, 140 secs
lola: 117801 markings, 292974 edges, 947 markings/sec, 145 secs
lola: 120978 markings, 300272 edges, 635 markings/sec, 150 secs
lola: 125268 markings, 312240 edges, 858 markings/sec, 155 secs
lola: 129912 markings, 326659 edges, 929 markings/sec, 160 secs
lola: 132856 markings, 333371 edges, 589 markings/sec, 165 secs
lola: 135657 markings, 340078 edges, 560 markings/sec, 170 secs
lola: 142071 markings, 360463 edges, 1283 markings/sec, 175 secs
lola: 144930 markings, 367667 edges, 572 markings/sec, 180 secs
lola: 147820 markings, 374504 edges, 578 markings/sec, 185 secs
lola: 151124 markings, 383006 edges, 661 markings/sec, 190 secs
lola: 157403 markings, 403122 edges, 1256 markings/sec, 195 secs
lola: 160689 markings, 411437 edges, 657 markings/sec, 200 secs
lola: 163873 markings, 419026 edges, 637 markings/sec, 205 secs
lola: 168107 markings, 430690 edges, 847 markings/sec, 210 secs
lola: 174138 markings, 449977 edges, 1206 markings/sec, 215 secs
lola: 177270 markings, 457950 edges, 626 markings/sec, 220 secs
lola: 180287 markings, 465122 edges, 603 markings/sec, 225 secs
lola: 183309 markings, 472399 edges, 604 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 238 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 884 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: 3544 markings, 4944 edges, 709 markings/sec, 0 secs
lola: 15874 markings, 25508 edges, 2466 markings/sec, 5 secs
lola: 28568 markings, 46145 edges, 2539 markings/sec, 10 secs
lola: 42266 markings, 68906 edges, 2740 markings/sec, 15 secs
lola: 56538 markings, 93028 edges, 2854 markings/sec, 20 secs
lola: 70732 markings, 117052 edges, 2839 markings/sec, 25 secs
lola: 84693 markings, 140831 edges, 2792 markings/sec, 30 secs
lola: 97450 markings, 162698 edges, 2551 markings/sec, 35 secs
lola: 110622 markings, 185035 edges, 2634 markings/sec, 40 secs
lola: 124422 markings, 208689 edges, 2760 markings/sec, 45 secs
lola: 137811 markings, 231607 edges, 2678 markings/sec, 50 secs
lola: 150840 markings, 254042 edges, 2606 markings/sec, 55 secs
lola: 163582 markings, 275909 edges, 2548 markings/sec, 60 secs
lola: 176382 markings, 297757 edges, 2560 markings/sec, 65 secs
lola: 189084 markings, 319704 edges, 2540 markings/sec, 70 secs
lola: 201796 markings, 341570 edges, 2542 markings/sec, 75 secs
lola: 215260 markings, 364642 edges, 2693 markings/sec, 80 secs
lola: 229060 markings, 388494 edges, 2760 markings/sec, 85 secs
lola: 242858 markings, 412032 edges, 2760 markings/sec, 90 secs
lola: 256612 markings, 435792 edges, 2751 markings/sec, 95 secs
lola: 269982 markings, 458875 edges, 2674 markings/sec, 100 secs
lola: 282660 markings, 477714 edges, 2536 markings/sec, 105 secs
lola: 285608 markings, 483244 edges, 590 markings/sec, 110 secs
lola: 286332 markings, 484330 edges, 145 markings/sec, 115 secs
lola: 291304 markings, 491810 edges, 994 markings/sec, 120 secs
lola: 303955 markings, 513001 edges, 2530 markings/sec, 125 secs
lola: 316614 markings, 533383 edges, 2532 markings/sec, 130 secs
lola: 329392 markings, 554737 edges, 2556 markings/sec, 135 secs
lola: 342136 markings, 576287 edges, 2549 markings/sec, 140 secs
lola: 355020 markings, 598228 edges, 2577 markings/sec, 145 secs
lola: 367848 markings, 620035 edges, 2566 markings/sec, 150 secs
lola: 380572 markings, 641769 edges, 2545 markings/sec, 155 secs
lola: 393722 markings, 664164 edges, 2630 markings/sec, 160 secs
lola: 406524 markings, 686080 edges, 2560 markings/sec, 165 secs
lola: 419318 markings, 707965 edges, 2559 markings/sec, 170 secs
lola: 432600 markings, 730708 edges, 2656 markings/sec, 175 secs
lola: 445734 markings, 753407 edges, 2627 markings/sec, 180 secs
lola: 458555 markings, 775302 edges, 2564 markings/sec, 185 secs
lola: 471646 markings, 797931 edges, 2618 markings/sec, 190 secs
lola: 484552 markings, 819949 edges, 2581 markings/sec, 195 secs
lola: 497330 markings, 842020 edges, 2556 markings/sec, 200 secs
lola: 510314 markings, 864448 edges, 2597 markings/sec, 205 secs
lola: 523714 markings, 887298 edges, 2680 markings/sec, 210 secs
lola: 536400 markings, 909193 edges, 2537 markings/sec, 215 secs
lola: 549094 markings, 931097 edges, 2539 markings/sec, 220 secs
lola: 561046 markings, 948577 edges, 2390 markings/sec, 225 secs
lola: 564378 markings, 954930 edges, 666 markings/sec, 230 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 238 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 884 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 9 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 2097 markings, 2098 edges, 419 markings/sec, 0 secs
lola: 6333 markings, 7692 edges, 847 markings/sec, 5 secs
lola: 10811 markings, 19067 edges, 896 markings/sec, 10 secs
lola: 15281 markings, 30033 edges, 894 markings/sec, 15 secs
lola: 19656 markings, 40863 edges, 875 markings/sec, 20 secs
lola: 23921 markings, 51416 edges, 853 markings/sec, 25 secs
lola: 28115 markings, 61759 edges, 839 markings/sec, 30 secs
lola: 32210 markings, 71798 edges, 819 markings/sec, 35 secs
lola: 36218 markings, 81701 edges, 802 markings/sec, 40 secs
lola: 40315 markings, 91824 edges, 819 markings/sec, 45 secs
lola: 44333 markings, 101747 edges, 804 markings/sec, 50 secs
lola: 48152 markings, 111181 edges, 764 markings/sec, 55 secs
lola: 51974 markings, 120473 edges, 764 markings/sec, 60 secs
lola: 56026 markings, 130474 edges, 810 markings/sec, 65 secs
lola: 59917 markings, 140070 edges, 778 markings/sec, 70 secs
lola: 63804 markings, 149654 edges, 777 markings/sec, 75 secs
lola: 67681 markings, 159211 edges, 775 markings/sec, 80 secs
lola: 71450 markings, 168356 edges, 754 markings/sec, 85 secs
lola: 75165 markings, 177502 edges, 743 markings/sec, 90 secs
lola: 78796 markings, 186436 edges, 726 markings/sec, 95 secs
lola: 82394 markings, 195286 edges, 720 markings/sec, 100 secs
lola: 85901 markings, 203906 edges, 701 markings/sec, 105 secs
lola: 89311 markings, 212130 edges, 682 markings/sec, 110 secs
lola: 92783 markings, 220656 edges, 694 markings/sec, 115 secs
lola: 96248 markings, 229161 edges, 693 markings/sec, 120 secs
lola: 99513 markings, 237168 edges, 653 markings/sec, 125 secs
lola: 102786 markings, 245030 edges, 655 markings/sec, 130 secs
lola: 105919 markings, 252699 edges, 627 markings/sec, 135 secs
lola: 109112 markings, 260516 edges, 639 markings/sec, 140 secs
lola: 112208 markings, 267913 edges, 619 markings/sec, 145 secs
lola: 115306 markings, 275492 edges, 620 markings/sec, 150 secs
lola: 118382 markings, 282829 edges, 615 markings/sec, 155 secs
lola: 121369 markings, 289944 edges, 597 markings/sec, 160 secs
lola: 124334 markings, 296977 edges, 593 markings/sec, 165 secs
lola: 127270 markings, 303774 edges, 587 markings/sec, 170 secs
lola: 130077 markings, 309731 edges, 561 markings/sec, 175 secs
lola: 132502 markings, 313657 edges, 485 markings/sec, 180 secs
lola: 135603 markings, 321182 edges, 620 markings/sec, 185 secs
lola: 138476 markings, 328092 edges, 575 markings/sec, 190 secs
lola: 141412 markings, 335022 edges, 587 markings/sec, 195 secs
lola: 147482 markings, 353968 edges, 1214 markings/sec, 200 secs
lola: 154673 markings, 377408 edges, 1438 markings/sec, 205 secs
lola: 161943 markings, 401431 edges, 1454 markings/sec, 210 secs
lola: 169155 markings, 425743 edges, 1442 markings/sec, 215 secs
lola: 176392 markings, 450281 edges, 1447 markings/sec, 220 secs
lola: 183647 markings, 474995 edges, 1451 markings/sec, 225 secs
lola: 190925 markings, 499851 edges, 1456 markings/sec, 230 secs
lola: 198132 markings, 524523 edges, 1441 markings/sec, 235 secs
lola: 205322 markings, 549192 edges, 1438 markings/sec, 240 secs
lola: 212320 markings, 573173 edges, 1400 markings/sec, 245 secs
lola: 219422 markings, 597502 edges, 1420 markings/sec, 250 secs
lola: 226548 markings, 621899 edges, 1425 markings/sec, 255 secs
lola: 233755 markings, 646633 edges, 1441 markings/sec, 260 secs
lola: 241007 markings, 671659 edges, 1450 markings/sec, 265 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 272 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 884 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 11 will run for 327 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_21 + COMPTEUR_22 + COMPTEUR_23 + COMPTEUR_24 + COMPTEUR_25 + COMPTEUR_26 + COMPTEUR_27 + COMPTEUR_28 + COMPTEUR_29 + COMPTEUR_30 + COMPTEUR_31 + COMPTEUR_32 + COMPTEUR_33 + COMPTEUR_34 + COMPTEUR_35 + COMPTEUR_36 + COMPTEUR_37 + COMP... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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 12 will run for 408 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 884 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 13 will run for 545 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 884 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 14 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 1180 markings, 1638 edges, 236 markings/sec, 0 secs
lola: 2281 markings, 3473 edges, 220 markings/sec, 5 secs
lola: 3597 markings, 5358 edges, 263 markings/sec, 10 secs
lola: 5695 markings, 7886 edges, 420 markings/sec, 15 secs
lola: 7505 markings, 9796 edges, 362 markings/sec, 20 secs
lola: 9341 markings, 11742 edges, 367 markings/sec, 25 secs
lola: 11181 markings, 13682 edges, 368 markings/sec, 30 secs
lola: 13833 markings, 18075 edges, 530 markings/sec, 35 secs
lola: 16935 markings, 25185 edges, 620 markings/sec, 40 secs
lola: 19698 markings, 31512 edges, 553 markings/sec, 45 secs
lola: 22322 markings, 37637 edges, 525 markings/sec, 50 secs
lola: 24546 markings, 42921 edges, 445 markings/sec, 55 secs
lola: 27077 markings, 48802 edges, 506 markings/sec, 60 secs
lola: 29241 markings, 53952 edges, 433 markings/sec, 65 secs
lola: 31265 markings, 58742 edges, 405 markings/sec, 70 secs
lola: 33170 markings, 63226 edges, 381 markings/sec, 75 secs
lola: 35037 markings, 67605 edges, 373 markings/sec, 80 secs
lola: 36933 markings, 72047 edges, 379 markings/sec, 85 secs
lola: 38896 markings, 76647 edges, 393 markings/sec, 90 secs
lola: 40505 markings, 80562 edges, 322 markings/sec, 95 secs
lola: 42587 markings, 85557 edges, 416 markings/sec, 100 secs
lola: 44567 markings, 90181 edges, 396 markings/sec, 105 secs
lola: 45906 markings, 93289 edges, 268 markings/sec, 110 secs
lola: 47728 markings, 97747 edges, 364 markings/sec, 115 secs
lola: 49460 markings, 101732 edges, 346 markings/sec, 120 secs
lola: 50836 markings, 105172 edges, 275 markings/sec, 125 secs
lola: 52656 markings, 109367 edges, 364 markings/sec, 130 secs
lola: 53924 markings, 112537 edges, 254 markings/sec, 135 secs
lola: 55795 markings, 116850 edges, 374 markings/sec, 140 secs
lola: 57085 markings, 120075 edges, 258 markings/sec, 145 secs
lola: 59021 markings, 124541 edges, 387 markings/sec, 150 secs
lola: 60303 markings, 127746 edges, 256 markings/sec, 155 secs
lola: 62190 markings, 132080 edges, 377 markings/sec, 160 secs
lola: 63574 markings, 135540 edges, 277 markings/sec, 165 secs
lola: 65440 markings, 139812 edges, 373 markings/sec, 170 secs
lola: 66916 markings, 143502 edges, 295 markings/sec, 175 secs
lola: 68474 markings, 146994 edges, 312 markings/sec, 180 secs
lola: 70257 markings, 151452 edges, 357 markings/sec, 185 secs
lola: 71377 markings, 154252 edges, 224 markings/sec, 190 secs
lola: 73553 markings, 159280 edges, 435 markings/sec, 195 secs
lola: 74776 markings, 162333 edges, 245 markings/sec, 200 secs
lola: 76607 markings, 166493 edges, 366 markings/sec, 205 secs
lola: 78128 markings, 170296 edges, 304 markings/sec, 210 secs
lola: 79196 markings, 172966 edges, 214 markings/sec, 215 secs
lola: 81334 markings, 177880 edges, 428 markings/sec, 220 secs
lola: 82602 markings, 181050 edges, 254 markings/sec, 225 secs
lola: 83699 markings, 183593 edges, 219 markings/sec, 230 secs
lola: 85893 markings, 188837 edges, 439 markings/sec, 235 secs
lola: 87059 markings, 191752 edges, 233 markings/sec, 240 secs
lola: 88537 markings, 194995 edges, 296 markings/sec, 245 secs
lola: 90369 markings, 199577 edges, 366 markings/sec, 250 secs
lola: 91500 markings, 202404 edges, 226 markings/sec, 255 secs
lola: 92775 markings, 205227 edges, 255 markings/sec, 260 secs
lola: 94754 markings, 210080 edges, 396 markings/sec, 265 secs
lola: 95851 markings, 212820 edges, 219 markings/sec, 270 secs
lola: 96793 markings, 215170 edges, 188 markings/sec, 275 secs
lola: 100023 markings, 221507 edges, 646 markings/sec, 280 secs
lola: 103262 markings, 229042 edges, 648 markings/sec, 285 secs
lola: 105973 markings, 234132 edges, 542 markings/sec, 290 secs
lola: 107994 markings, 236613 edges, 404 markings/sec, 295 secs
lola: 109777 markings, 239526 edges, 357 markings/sec, 300 secs
lola: 111356 markings, 242976 edges, 316 markings/sec, 305 secs
lola: 112716 markings, 245963 edges, 272 markings/sec, 310 secs
lola: 114592 markings, 249976 edges, 375 markings/sec, 315 secs
lola: 118223 markings, 258896 edges, 726 markings/sec, 320 secs
lola: 122449 markings, 270150 edges, 845 markings/sec, 325 secs
lola: 127355 markings, 283132 edges, 981 markings/sec, 330 secs
lola: 131896 markings, 296080 edges, 908 markings/sec, 335 secs
lola: 136406 markings, 309061 edges, 902 markings/sec, 340 secs
lola: 140819 markings, 321715 edges, 883 markings/sec, 345 secs
lola: 145085 markings, 334103 edges, 853 markings/sec, 350 secs
lola: 149187 markings, 345983 edges, 820 markings/sec, 355 secs
lola: 153106 markings, 357298 edges, 784 markings/sec, 360 secs
lola: 157435 markings, 370058 edges, 866 markings/sec, 365 secs
lola: 161874 markings, 382909 edges, 888 markings/sec, 370 secs
lola: 166065 markings, 395243 edges, 838 markings/sec, 375 secs
lola: 170445 markings, 407893 edges, 876 markings/sec, 380 secs
lola: 174638 markings, 420221 edges, 839 markings/sec, 385 secs
lola: 178745 markings, 432287 edges, 821 markings/sec, 390 secs
lola: 182717 markings, 443944 edges, 794 markings/sec, 395 secs
lola: 186577 markings, 455261 edges, 772 markings/sec, 400 secs
lola: 190443 markings, 466592 edges, 773 markings/sec, 405 secs
lola: 194475 markings, 478417 edges, 806 markings/sec, 410 secs
lola: 198551 markings, 490370 edges, 815 markings/sec, 415 secs
lola: 203775 markings, 503205 edges, 1045 markings/sec, 420 secs
lola: 208060 markings, 513990 edges, 857 markings/sec, 425 secs
lola: 210142 markings, 517808 edges, 416 markings/sec, 430 secs
lola: 211312 markings, 519755 edges, 234 markings/sec, 435 secs
lola: 212387 markings, 521545 edges, 215 markings/sec, 440 secs
lola: 213553 markings, 523490 edges, 233 markings/sec, 445 secs
lola: 216702 markings, 534170 edges, 630 markings/sec, 450 secs
lola: 217568 markings, 536247 edges, 173 markings/sec, 455 secs
lola: 218364 markings, 538235 edges, 159 markings/sec, 460 secs
lola: 219165 markings, 540464 edges, 160 markings/sec, 465 secs
lola: 219959 markings, 542847 edges, 159 markings/sec, 470 secs
lola: 222118 markings, 547236 edges, 432 markings/sec, 475 secs
lola: 225176 markings, 554328 edges, 612 markings/sec, 480 secs
lola: 227785 markings, 560589 edges, 522 markings/sec, 485 secs
lola: 230138 markings, 566216 edges, 471 markings/sec, 490 secs
lola: 232491 markings, 571836 edges, 471 markings/sec, 495 secs
lola: 234644 markings, 576941 edges, 431 markings/sec, 500 secs
lola: 236783 markings, 582146 edges, 428 markings/sec, 505 secs
lola: 238778 markings, 586987 edges, 399 markings/sec, 510 secs
lola: 240725 markings, 591706 edges, 389 markings/sec, 515 secs
lola: 242683 markings, 596449 edges, 392 markings/sec, 520 secs
lola: 244593 markings, 601069 edges, 382 markings/sec, 525 secs
lola: 246491 markings, 605656 edges, 380 markings/sec, 530 secs
lola: 248227 markings, 609835 edges, 347 markings/sec, 535 secs
lola: 249775 markings, 613691 edges, 310 markings/sec, 540 secs
lola: 251703 markings, 618361 edges, 386 markings/sec, 545 secs
lola: 253510 markings, 622711 edges, 361 markings/sec, 550 secs
lola: 254851 markings, 625964 edges, 268 markings/sec, 555 secs
lola: 256749 markings, 630639 edges, 380 markings/sec, 560 secs
lola: 258460 markings, 634743 edges, 342 markings/sec, 565 secs
lola: 259915 markings, 638381 edges, 291 markings/sec, 570 secs
lola: 261764 markings, 642827 edges, 370 markings/sec, 575 secs
lola: 263035 markings, 646005 edges, 254 markings/sec, 580 secs
lola: 264897 markings, 650481 edges, 372 markings/sec, 585 secs
lola: 266095 markings, 653471 edges, 240 markings/sec, 590 secs
lola: 267983 markings, 658014 edges, 378 markings/sec, 595 secs
lola: 269191 markings, 661034 edges, 242 markings/sec, 600 secs
lola: 271050 markings, 665496 edges, 372 markings/sec, 605 secs
lola: 272279 markings, 668569 edges, 246 markings/sec, 610 secs
lola: 274065 markings, 672846 edges, 357 markings/sec, 615 secs
lola: 275344 markings, 676042 edges, 256 markings/sec, 620 secs
lola: 276822 markings, 679547 edges, 296 markings/sec, 625 secs
lola: 278317 markings, 683285 edges, 299 markings/sec, 630 secs
lola: 279431 markings, 686070 edges, 223 markings/sec, 635 secs
lola: 281293 markings, 690531 edges, 372 markings/sec, 640 secs
lola: 282503 markings, 693556 edges, 242 markings/sec, 645 secs
lola: 283830 markings, 696676 edges, 265 markings/sec, 650 secs
lola: 285543 markings, 700959 edges, 343 markings/sec, 655 secs
lola: 286647 markings, 703719 edges, 221 markings/sec, 660 secs
lola: 288345 markings, 707764 edges, 340 markings/sec, 665 secs
lola: 289717 markings, 711194 edges, 274 markings/sec, 670 secs
lola: 290747 markings, 713769 edges, 206 markings/sec, 675 secs
lola: 292491 markings, 717926 edges, 349 markings/sec, 680 secs
lola: 293776 markings, 721136 edges, 257 markings/sec, 685 secs
lola: 294787 markings, 723666 edges, 202 markings/sec, 690 secs
lola: 297579 markings, 728991 edges, 558 markings/sec, 695 secs
lola: 301141 markings, 737275 edges, 712 markings/sec, 700 secs
lola: 303945 markings, 743078 edges, 561 markings/sec, 705 secs
lola: 305139 markings, 745832 edges, 239 markings/sec, 710 secs
lola: 306199 markings, 748347 edges, 212 markings/sec, 715 secs
lola: 308602 markings, 753627 edges, 481 markings/sec, 720 secs
lola: 312405 markings, 763573 edges, 761 markings/sec, 725 secs
lola: 317575 markings, 776745 edges, 1034 markings/sec, 730 secs
lola: 322488 markings, 790542 edges, 983 markings/sec, 735 secs
lola: 327030 markings, 803643 edges, 908 markings/sec, 740 secs
lola: 331401 markings, 816195 edges, 874 markings/sec, 745 secs
lola: 335899 markings, 829092 edges, 900 markings/sec, 750 secs
lola: 340413 markings, 842216 edges, 903 markings/sec, 755 secs
lola: 344835 markings, 855048 edges, 884 markings/sec, 760 secs
lola: 349117 markings, 867656 edges, 856 markings/sec, 765 secs
lola: 353524 markings, 880434 edges, 881 markings/sec, 770 secs
lola: 357675 markings, 892460 edges, 830 markings/sec, 775 secs
lola: 362032 markings, 905241 edges, 871 markings/sec, 780 secs
lola: 366245 markings, 917633 edges, 843 markings/sec, 785 secs
lola: 370322 markings, 929613 edges, 815 markings/sec, 790 secs
lola: 374432 markings, 941429 edges, 822 markings/sec, 795 secs
lola: 378389 markings, 953037 edges, 791 markings/sec, 800 secs
lola: 382402 markings, 964809 edges, 803 markings/sec, 805 secs
lola: 386488 markings, 976796 edges, 817 markings/sec, 810 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 818 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 884 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: 4127 markings, 5836 edges, 825 markings/sec, 0 secs
lola: 7966 markings, 12255 edges, 768 markings/sec, 5 secs
lola: 11747 markings, 18909 edges, 756 markings/sec, 10 secs
lola: 15755 markings, 25907 edges, 802 markings/sec, 15 secs
lola: 19633 markings, 32572 edges, 776 markings/sec, 20 secs
lola: 23521 markings, 39416 edges, 778 markings/sec, 25 secs
lola: 27208 markings, 45450 edges, 737 markings/sec, 30 secs
lola: 30514 markings, 51760 edges, 661 markings/sec, 35 secs
lola: 37121 markings, 73439 edges, 1321 markings/sec, 40 secs
lola: 42398 markings, 89798 edges, 1055 markings/sec, 45 secs
lola: 45801 markings, 97960 edges, 681 markings/sec, 50 secs
lola: 49669 markings, 107440 edges, 774 markings/sec, 55 secs
lola: 53847 markings, 118413 edges, 836 markings/sec, 60 secs
lola: 57749 markings, 128391 edges, 780 markings/sec, 65 secs
lola: 61670 markings, 138696 edges, 784 markings/sec, 70 secs
lola: 66018 markings, 150247 edges, 870 markings/sec, 75 secs
lola: 70484 markings, 162422 edges, 893 markings/sec, 80 secs
lola: 75151 markings, 175443 edges, 933 markings/sec, 85 secs
lola: 79320 markings, 186670 edges, 834 markings/sec, 90 secs
lola: 83047 markings, 196405 edges, 745 markings/sec, 95 secs
lola: 88067 markings, 210793 edges, 1004 markings/sec, 100 secs
lola: 91517 markings, 219204 edges, 690 markings/sec, 105 secs
lola: 96893 markings, 234971 edges, 1075 markings/sec, 110 secs
lola: 100448 markings, 243581 edges, 711 markings/sec, 115 secs
lola: 105841 markings, 259789 edges, 1079 markings/sec, 120 secs
lola: 109332 markings, 268354 edges, 698 markings/sec, 125 secs
lola: 113608 markings, 280061 edges, 855 markings/sec, 130 secs
lola: 118469 markings, 294368 edges, 972 markings/sec, 135 secs
lola: 121888 markings, 302464 edges, 684 markings/sec, 140 secs
lola: 127635 markings, 320151 edges, 1149 markings/sec, 145 secs
lola: 131483 markings, 330126 edges, 770 markings/sec, 150 secs
lola: 135071 markings, 338678 edges, 718 markings/sec, 155 secs
lola: 141817 markings, 359925 edges, 1349 markings/sec, 160 secs
lola: 145563 markings, 369170 edges, 749 markings/sec, 165 secs
lola: 149091 markings, 377554 edges, 706 markings/sec, 170 secs
lola: 155642 markings, 398031 edges, 1310 markings/sec, 175 secs
lola: 159598 markings, 408856 edges, 791 markings/sec, 180 secs
lola: 163059 markings, 417053 edges, 692 markings/sec, 185 secs
lola: 167059 markings, 427240 edges, 800 markings/sec, 190 secs
lola: 173968 markings, 449552 edges, 1382 markings/sec, 195 secs
lola: 177695 markings, 458969 edges, 745 markings/sec, 200 secs
lola: 181281 markings, 467542 edges, 717 markings/sec, 205 secs
lola: 185651 markings, 479505 edges, 874 markings/sec, 210 secs
lola: 192505 markings, 501570 edges, 1371 markings/sec, 215 secs
lola: 195961 markings, 510399 edges, 691 markings/sec, 220 secs
lola: 199589 markings, 519033 edges, 726 markings/sec, 225 secs
lola: 203143 markings, 527457 edges, 711 markings/sec, 230 secs
lola: 211128 markings, 554037 edges, 1597 markings/sec, 235 secs
lola: 215191 markings, 565084 edges, 813 markings/sec, 240 secs
lola: 218908 markings, 573893 edges, 743 markings/sec, 245 secs
lola: 222375 markings, 582220 edges, 693 markings/sec, 250 secs
lola: 227823 markings, 598179 edges, 1090 markings/sec, 255 secs
lola: 234920 markings, 621148 edges, 1419 markings/sec, 260 secs
lola: 240473 markings, 638575 edges, 1111 markings/sec, 265 secs
lola: 247830 markings, 663058 edges, 1471 markings/sec, 270 secs
lola: 250852 markings, 669907 edges, 604 markings/sec, 275 secs
lola: 254393 markings, 679037 edges, 708 markings/sec, 280 secs
lola: 257848 markings, 688114 edges, 691 markings/sec, 285 secs
lola: 261629 markings, 698396 edges, 756 markings/sec, 290 secs
lola: 265376 markings, 708684 edges, 749 markings/sec, 295 secs
lola: 268950 markings, 718468 edges, 715 markings/sec, 300 secs
lola: 272882 markings, 729378 edges, 786 markings/sec, 305 secs
lola: 277178 markings, 741772 edges, 859 markings/sec, 310 secs
lola: 280544 markings, 750979 edges, 673 markings/sec, 315 secs
lola: 284722 markings, 762770 edges, 836 markings/sec, 320 secs
lola: 288957 markings, 775102 edges, 847 markings/sec, 325 secs
lola: 292792 markings, 785698 edges, 767 markings/sec, 330 secs
lola: 296849 markings, 797429 edges, 811 markings/sec, 335 secs
lola: 300998 markings, 809283 edges, 830 markings/sec, 340 secs
lola: 304643 markings, 819636 edges, 729 markings/sec, 345 secs
lola: 309592 markings, 834363 edges, 990 markings/sec, 350 secs
lola: 313173 markings, 844180 edges, 716 markings/sec, 355 secs
lola: 317260 markings, 856063 edges, 817 markings/sec, 360 secs
lola: 321793 markings, 869648 edges, 907 markings/sec, 365 secs
lola: 325555 markings, 880088 edges, 752 markings/sec, 370 secs
lola: 329563 markings, 891639 edges, 802 markings/sec, 375 secs
lola: 334617 markings, 907058 edges, 1011 markings/sec, 380 secs
lola: 338243 markings, 916904 edges, 725 markings/sec, 385 secs
lola: 341871 markings, 927353 edges, 726 markings/sec, 390 secs
lola: 347528 markings, 944725 edges, 1131 markings/sec, 395 secs
lola: 351130 markings, 954726 edges, 720 markings/sec, 400 secs
lola: 354878 markings, 965416 edges, 750 markings/sec, 405 secs
lola: 358485 markings, 975815 edges, 721 markings/sec, 410 secs
lola: 364432 markings, 993998 edges, 1189 markings/sec, 415 secs
lola: 368031 markings, 1004232 edges, 720 markings/sec, 420 secs
lola: 371696 markings, 1014596 edges, 733 markings/sec, 425 secs
lola: 375289 markings, 1025040 edges, 719 markings/sec, 430 secs
lola: 381755 markings, 1045619 edges, 1293 markings/sec, 435 secs
lola: 385066 markings, 1054599 edges, 662 markings/sec, 440 secs
lola: 388884 markings, 1065239 edges, 764 markings/sec, 445 secs
lola: 392582 markings, 1076020 edges, 740 markings/sec, 450 secs
lola: 396172 markings, 1086419 edges, 718 markings/sec, 455 secs
lola: 402837 markings, 1107404 edges, 1333 markings/sec, 460 secs
lola: 406265 markings, 1117062 edges, 686 markings/sec, 465 secs
lola: 410159 markings, 1127985 edges, 779 markings/sec, 470 secs
lola: 413825 markings, 1138456 edges, 733 markings/sec, 475 secs
lola: 417459 markings, 1148933 edges, 727 markings/sec, 480 secs
lola: 423170 markings, 1167377 edges, 1142 markings/sec, 485 secs
lola: 427652 markings, 1180965 edges, 896 markings/sec, 490 secs
lola: 431375 markings, 1190945 edges, 745 markings/sec, 495 secs
lola: 435177 markings, 1201874 edges, 760 markings/sec, 500 secs
lola: 438865 markings, 1212495 edges, 738 markings/sec, 505 secs
lola: 442525 markings, 1223074 edges, 732 markings/sec, 510 secs
lola: 450174 markings, 1248237 edges, 1530 markings/sec, 515 secs
lola: 453609 markings, 1257852 edges, 687 markings/sec, 520 secs
lola: 457401 markings, 1268082 edges, 758 markings/sec, 525 secs
lola: 461249 markings, 1279081 edges, 770 markings/sec, 530 secs
lola: 464989 markings, 1289825 edges, 748 markings/sec, 535 secs
lola: 468674 markings, 1300571 edges, 737 markings/sec, 540 secs
lola: 475126 markings, 1321290 edges, 1290 markings/sec, 545 secs
lola: 480230 markings, 1336705 edges, 1021 markings/sec, 550 secs
lola: 483905 markings, 1347200 edges, 735 markings/sec, 555 secs
lola: 487825 markings, 1358311 edges, 784 markings/sec, 560 secs
lola: 491623 markings, 1369150 edges, 760 markings/sec, 565 secs
lola: 495360 markings, 1380017 edges, 747 markings/sec, 570 secs
lola: 498976 markings, 1390309 edges, 723 markings/sec, 575 secs
lola: 506023 markings, 1413413 edges, 1409 markings/sec, 580 secs
lola: 510999 markings, 1428348 edges, 995 markings/sec, 585 secs
lola: 514623 markings, 1438771 edges, 725 markings/sec, 590 secs
lola: 518569 markings, 1449945 edges, 789 markings/sec, 595 secs
lola: 522412 markings, 1461007 edges, 769 markings/sec, 600 secs
lola: 526142 markings, 1471856 edges, 746 markings/sec, 605 secs
lola: 529836 markings, 1482344 edges, 739 markings/sec, 610 secs
lola: 534459 markings, 1496447 edges, 925 markings/sec, 615 secs
lola: 542694 markings, 1523993 edges, 1647 markings/sec, 620 secs
lola: 546086 markings, 1533718 edges, 678 markings/sec, 625 secs
lola: 553747 markings, 1558787 edges, 1532 markings/sec, 630 secs
lola: 558711 markings, 1574049 edges, 993 markings/sec, 635 secs
lola: 561692 markings, 1580999 edges, 596 markings/sec, 640 secs
lola: 564998 markings, 1589570 edges, 661 markings/sec, 645 secs
lola: 568266 markings, 1598241 edges, 654 markings/sec, 650 secs
lola: 571568 markings, 1607188 edges, 660 markings/sec, 655 secs
lola: 575227 markings, 1617320 edges, 732 markings/sec, 660 secs
lola: 578920 markings, 1627571 edges, 739 markings/sec, 665 secs
lola: 582267 markings, 1637027 edges, 669 markings/sec, 670 secs
lola: 585859 markings, 1647013 edges, 718 markings/sec, 675 secs
lola: 590093 markings, 1659574 edges, 847 markings/sec, 680 secs
lola: 593286 markings, 1668208 edges, 639 markings/sec, 685 secs
lola: 597605 markings, 1681183 edges, 864 markings/sec, 690 secs
lola: 600779 markings, 1689760 edges, 635 markings/sec, 695 secs
lola: 604415 markings, 1700566 edges, 727 markings/sec, 700 secs
lola: 608568 markings, 1712575 edges, 831 markings/sec, 705 secs
lola: 612129 markings, 1722794 edges, 712 markings/sec, 710 secs
lola: 616699 markings, 1736687 edges, 914 markings/sec, 715 secs
lola: 619868 markings, 1745250 edges, 634 markings/sec, 720 secs
lola: 623599 markings, 1756204 edges, 746 markings/sec, 725 secs
lola: 628434 markings, 1771236 edges, 967 markings/sec, 730 secs
lola: 631485 markings, 1779428 edges, 610 markings/sec, 735 secs
lola: 635273 markings, 1790652 edges, 758 markings/sec, 740 secs
lola: 638920 markings, 1801608 edges, 729 markings/sec, 745 secs
lola: 643792 markings, 1816181 edges, 974 markings/sec, 750 secs
lola: 647121 markings, 1825533 edges, 666 markings/sec, 755 secs
lola: 650518 markings, 1835658 edges, 679 markings/sec, 760 secs
lola: 653965 markings, 1846150 edges, 689 markings/sec, 765 secs
lola: 658732 markings, 1860180 edges, 953 markings/sec, 770 secs
lola: 662032 markings, 1869813 edges, 660 markings/sec, 775 secs
lola: 665236 markings, 1879265 edges, 641 markings/sec, 780 secs
lola: 668537 markings, 1889378 edges, 660 markings/sec, 785 secs
lola: 672912 markings, 1902764 edges, 875 markings/sec, 790 secs
lola: 677389 markings, 1916236 edges, 895 markings/sec, 795 secs
lola: 680621 markings, 1925195 edges, 646 markings/sec, 800 secs
lola: 684389 markings, 1936484 edges, 754 markings/sec, 805 secs
lola: 688071 markings, 1947477 edges, 736 markings/sec, 810 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown 1 unknown unknown unknown unknown unknown 80 unknown 1 1 1 1 unknown unknown
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-8 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496358637620

--------------------
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-V80P50N50"
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-V80P50N50.tgz
mv S_BridgeAndVehicles-PT-V80P50N50 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-V80P50N50, 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-149441074600569"
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 ;