About the Execution of LoLA for S_BridgeAndVehicles-PT-V50P50N50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
437.020 | 2964792.00 | 2973331.00 | 180.10 | ? 1 ? ? ? 1 ? 1 1 1 50 ? 50 ? 50 ? | 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-V50P50N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074600515
=====================================================================
--------------------
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-V50P50N50-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496351178700
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-PT-V50P50N50: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V50P50N50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-PT-V50P50N50 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5576/65536 symbol table entries, 632 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 5408 transitions, 161 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5813 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N50-UpperBounds.task
lola: 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) : 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) : 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) : MAX(ROUTE_B) : MAX(CHOIX_1 + CHOIX_2) : MAX(ROUTE_B) : MAX(SUR_PONT_A) : MAX(ROUTE_B) : MAX(CHOIX_1 + CHOIX_2) : MAX(ATTENTE_B) : MAX(SORTI_A) : MAX(VIDANGE_1 + VIDANGE_2) : 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_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(CHOIX_1 + CHOIX_2) : 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_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)
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(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 644 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: 2978 markings, 5193 edges, 596 markings/sec, 0 secs
lola: 5486 markings, 10567 edges, 502 markings/sec, 5 secs
lola: 8044 markings, 16263 edges, 512 markings/sec, 10 secs
lola: 10766 markings, 22100 edges, 544 markings/sec, 15 secs
lola: 13617 markings, 28898 edges, 570 markings/sec, 20 secs
lola: 16128 markings, 34747 edges, 502 markings/sec, 25 secs
lola: 18548 markings, 40341 edges, 484 markings/sec, 30 secs
lola: 21159 markings, 46197 edges, 522 markings/sec, 35 secs
lola: 23826 markings, 52272 edges, 533 markings/sec, 40 secs
lola: 26674 markings, 59311 edges, 570 markings/sec, 45 secs
lola: 29227 markings, 65288 edges, 511 markings/sec, 50 secs
lola: 31561 markings, 70919 edges, 467 markings/sec, 55 secs
lola: 33840 markings, 76478 edges, 456 markings/sec, 60 secs
lola: 36133 markings, 82059 edges, 459 markings/sec, 65 secs
lola: 38411 markings, 87286 edges, 456 markings/sec, 70 secs
lola: 40747 markings, 92791 edges, 467 markings/sec, 75 secs
lola: 43291 markings, 98482 edges, 509 markings/sec, 80 secs
lola: 45890 markings, 104525 edges, 520 markings/sec, 85 secs
lola: 48626 markings, 111561 edges, 547 markings/sec, 90 secs
lola: 51337 markings, 118410 edges, 542 markings/sec, 95 secs
lola: 54010 markings, 124991 edges, 535 markings/sec, 100 secs
lola: 56348 markings, 130532 edges, 468 markings/sec, 105 secs
lola: 58728 markings, 136388 edges, 476 markings/sec, 110 secs
lola: 61213 markings, 142541 edges, 497 markings/sec, 115 secs
lola: 63686 markings, 148513 edges, 495 markings/sec, 120 secs
lola: 65766 markings, 153832 edges, 416 markings/sec, 125 secs
lola: 68144 markings, 159770 edges, 476 markings/sec, 130 secs
lola: 70351 markings, 165125 edges, 441 markings/sec, 135 secs
lola: 72562 markings, 170268 edges, 442 markings/sec, 140 secs
lola: 74909 markings, 175623 edges, 469 markings/sec, 145 secs
lola: 77233 markings, 181463 edges, 465 markings/sec, 150 secs
lola: 79806 markings, 187362 edges, 515 markings/sec, 155 secs
lola: 82036 markings, 192225 edges, 446 markings/sec, 160 secs
lola: 84447 markings, 198133 edges, 482 markings/sec, 165 secs
lola: 86873 markings, 204489 edges, 485 markings/sec, 170 secs
lola: 89377 markings, 211015 edges, 501 markings/sec, 175 secs
lola: 91671 markings, 217001 edges, 459 markings/sec, 180 secs
lola: 94140 markings, 223367 edges, 494 markings/sec, 185 secs
lola: 96727 markings, 229804 edges, 517 markings/sec, 190 secs
lola: 99159 markings, 235934 edges, 486 markings/sec, 195 secs
lola: 101690 markings, 242078 edges, 506 markings/sec, 200 secs
lola: 104353 markings, 248431 edges, 533 markings/sec, 205 secs
lola: 106624 markings, 254235 edges, 454 markings/sec, 210 secs
lola: 109108 markings, 260378 edges, 497 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(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 644 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 237 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 644 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 255 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 644 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 4 will run for 276 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 644 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 5 will run for 301 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 644 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: 1870 markings, 3630 edges, 374 markings/sec, 0 secs
lola: 3152 markings, 6689 edges, 256 markings/sec, 5 secs
lola: 4803 markings, 10707 edges, 330 markings/sec, 10 secs
lola: 7187 markings, 16214 edges, 477 markings/sec, 15 secs
lola: 8606 markings, 19866 edges, 284 markings/sec, 20 secs
lola: 10583 markings, 24514 edges, 395 markings/sec, 25 secs
lola: 12705 markings, 29513 edges, 424 markings/sec, 30 secs
lola: 14207 markings, 33309 edges, 300 markings/sec, 35 secs
lola: 15839 markings, 37367 edges, 326 markings/sec, 40 secs
lola: 17934 markings, 42278 edges, 419 markings/sec, 45 secs
lola: 19475 markings, 46143 edges, 308 markings/sec, 50 secs
lola: 21332 markings, 50595 edges, 371 markings/sec, 55 secs
lola: 23271 markings, 55223 edges, 388 markings/sec, 60 secs
lola: 24804 markings, 59048 edges, 307 markings/sec, 65 secs
lola: 26648 markings, 63525 edges, 369 markings/sec, 70 secs
lola: 28568 markings, 68032 edges, 384 markings/sec, 75 secs
lola: 30087 markings, 71831 edges, 304 markings/sec, 80 secs
lola: 31614 markings, 75663 edges, 305 markings/sec, 85 secs
lola: 33717 markings, 80509 edges, 421 markings/sec, 90 secs
lola: 35187 markings, 84209 edges, 294 markings/sec, 95 secs
lola: 37243 markings, 89010 edges, 411 markings/sec, 100 secs
lola: 38955 markings, 93250 edges, 342 markings/sec, 105 secs
lola: 40726 markings, 97571 edges, 354 markings/sec, 110 secs
lola: 42735 markings, 102266 edges, 402 markings/sec, 115 secs
lola: 44659 markings, 106790 edges, 385 markings/sec, 120 secs
lola: 46599 markings, 111200 edges, 388 markings/sec, 125 secs
lola: 49711 markings, 118285 edges, 622 markings/sec, 130 secs
lola: 51889 markings, 124114 edges, 436 markings/sec, 135 secs
lola: 53890 markings, 129575 edges, 400 markings/sec, 140 secs
lola: 55823 markings, 134931 edges, 387 markings/sec, 145 secs
lola: 57868 markings, 140470 edges, 409 markings/sec, 150 secs
lola: 60086 markings, 146377 edges, 444 markings/sec, 155 secs
lola: 62427 markings, 152500 edges, 468 markings/sec, 160 secs
lola: 64914 markings, 158857 edges, 497 markings/sec, 165 secs
lola: 66333 markings, 162810 edges, 284 markings/sec, 170 secs
lola: 68544 markings, 168909 edges, 442 markings/sec, 175 secs
lola: 71328 markings, 175682 edges, 557 markings/sec, 180 secs
lola: 72680 markings, 179564 edges, 270 markings/sec, 185 secs
lola: 75285 markings, 186212 edges, 521 markings/sec, 190 secs
lola: 76873 markings, 190347 edges, 318 markings/sec, 195 secs
lola: 79421 markings, 196979 edges, 510 markings/sec, 200 secs
lola: 81065 markings, 201186 edges, 329 markings/sec, 205 secs
lola: 83752 markings, 208021 edges, 537 markings/sec, 210 secs
lola: 85086 markings, 211649 edges, 267 markings/sec, 215 secs
lola: 88168 markings, 218913 edges, 616 markings/sec, 220 secs
lola: 89168 markings, 222395 edges, 200 markings/sec, 225 secs
lola: 91286 markings, 227159 edges, 424 markings/sec, 230 secs
lola: 93805 markings, 233577 edges, 504 markings/sec, 235 secs
lola: 94849 markings, 236652 edges, 209 markings/sec, 240 secs
lola: 96599 markings, 240702 edges, 350 markings/sec, 245 secs
lola: 99322 markings, 247285 edges, 545 markings/sec, 250 secs
lola: 100245 markings, 250504 edges, 185 markings/sec, 255 secs
lola: 102085 markings, 254660 edges, 368 markings/sec, 260 secs
lola: 103753 markings, 258448 edges, 334 markings/sec, 265 secs
lola: 106078 markings, 264761 edges, 465 markings/sec, 270 secs
lola: 107693 markings, 268869 edges, 323 markings/sec, 275 secs
lola: 109707 markings, 273575 edges, 403 markings/sec, 280 secs
lola: 112539 markings, 280589 edges, 566 markings/sec, 285 secs
lola: 113768 markings, 284239 edges, 246 markings/sec, 290 secs
lola: 115678 markings, 288685 edges, 382 markings/sec, 295 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 301 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 644 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 7 will run for 335 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 644 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: 1968 markings, 2776 edges, 394 markings/sec, 0 secs
lola: 3846 markings, 5593 edges, 376 markings/sec, 5 secs
lola: 5968 markings, 8468 edges, 424 markings/sec, 10 secs
lola: 8960 markings, 11460 edges, 598 markings/sec, 15 secs
lola: 17841 markings, 32412 edges, 1776 markings/sec, 20 secs
lola: 25329 markings, 50787 edges, 1498 markings/sec, 25 secs
lola: 32188 markings, 67592 edges, 1372 markings/sec, 30 secs
lola: 38599 markings, 83227 edges, 1282 markings/sec, 35 secs
lola: 44518 markings, 97582 edges, 1184 markings/sec, 40 secs
lola: 50137 markings, 111130 edges, 1124 markings/sec, 45 secs
lola: 55534 markings, 123735 edges, 1079 markings/sec, 50 secs
lola: 66884 markings, 160666 edges, 2270 markings/sec, 55 secs
lola: 78745 markings, 200973 edges, 2372 markings/sec, 60 secs
lola: 90656 markings, 241562 edges, 2382 markings/sec, 65 secs
lola: 102524 markings, 282286 edges, 2374 markings/sec, 70 secs
lola: 111333 markings, 303020 edges, 1762 markings/sec, 75 secs
lola: 113185 markings, 307650 edges, 370 markings/sec, 80 secs
lola: 115039 markings, 312285 edges, 371 markings/sec, 85 secs
lola: 116939 markings, 318352 edges, 380 markings/sec, 90 secs
lola: 118738 markings, 324646 edges, 360 markings/sec, 95 secs
lola: 120690 markings, 331104 edges, 390 markings/sec, 100 secs
lola: 128618 markings, 350067 edges, 1586 markings/sec, 105 secs
lola: 135895 markings, 367929 edges, 1455 markings/sec, 110 secs
lola: 142526 markings, 384105 edges, 1326 markings/sec, 115 secs
lola: 148602 markings, 398987 edges, 1215 markings/sec, 120 secs
lola: 154580 markings, 413502 edges, 1196 markings/sec, 125 secs
lola: 160077 markings, 426662 edges, 1099 markings/sec, 130 secs
lola: 165695 markings, 439934 edges, 1124 markings/sec, 135 secs
lola: 177206 markings, 478477 edges, 2302 markings/sec, 140 secs
lola: 188758 markings, 517789 edges, 2310 markings/sec, 145 secs
lola: 200023 markings, 556209 edges, 2253 markings/sec, 150 secs
lola: 209906 markings, 588936 edges, 1977 markings/sec, 155 secs
lola: 212030 markings, 591934 edges, 425 markings/sec, 160 secs
lola: 214230 markings, 595017 edges, 440 markings/sec, 165 secs
lola: 216620 markings, 598302 edges, 478 markings/sec, 170 secs
lola: 219678 markings, 602263 edges, 612 markings/sec, 175 secs
lola: 228088 markings, 622453 edges, 1682 markings/sec, 180 secs
lola: 235338 markings, 640223 edges, 1450 markings/sec, 185 secs
lola: 241920 markings, 656354 edges, 1316 markings/sec, 190 secs
lola: 248027 markings, 671253 edges, 1221 markings/sec, 195 secs
lola: 253764 markings, 685189 edges, 1147 markings/sec, 200 secs
lola: 259140 markings, 698221 edges, 1075 markings/sec, 205 secs
lola: 264337 markings, 710529 edges, 1039 markings/sec, 210 secs
lola: 271143 markings, 726453 edges, 1361 markings/sec, 215 secs
lola: 278408 markings, 744269 edges, 1453 markings/sec, 220 secs
lola: 284983 markings, 760331 edges, 1315 markings/sec, 225 secs
lola: 291116 markings, 775301 edges, 1227 markings/sec, 230 secs
lola: 296779 markings, 789124 edges, 1133 markings/sec, 235 secs
lola: 302171 markings, 802049 edges, 1078 markings/sec, 240 secs
lola: 307252 markings, 814008 edges, 1016 markings/sec, 245 secs
lola: 317697 markings, 847633 edges, 2089 markings/sec, 250 secs
lola: 329243 markings, 886833 edges, 2309 markings/sec, 255 secs
lola: 340992 markings, 926862 edges, 2350 markings/sec, 260 secs
lola: 351709 markings, 961059 edges, 2143 markings/sec, 265 secs
lola: 359602 markings, 980371 edges, 1579 markings/sec, 270 secs
lola: 366528 markings, 997338 edges, 1385 markings/sec, 275 secs
lola: 372909 markings, 1012871 edges, 1276 markings/sec, 280 secs
lola: 378917 markings, 1027483 edges, 1202 markings/sec, 285 secs
lola: 384464 markings, 1040801 edges, 1109 markings/sec, 290 secs
lola: 390278 markings, 1054849 edges, 1163 markings/sec, 295 secs
lola: 401489 markings, 1092407 edges, 2242 markings/sec, 300 secs
lola: 413147 markings, 1132093 edges, 2332 markings/sec, 305 secs
lola: 424845 markings, 1172025 edges, 2340 markings/sec, 310 secs
lola: 433943 markings, 1197359 edges, 1820 markings/sec, 315 secs
lola: 440825 markings, 1214168 edges, 1376 markings/sec, 320 secs
lola: 447035 markings, 1229380 edges, 1242 markings/sec, 325 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 335 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 644 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 9 will run for 383 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 644 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: 1971 markings, 3933 edges, 394 markings/sec, 0 secs
lola: 3701 markings, 7904 edges, 346 markings/sec, 5 secs
lola: 5158 markings, 11426 edges, 291 markings/sec, 10 secs
lola: 6585 markings, 14986 edges, 285 markings/sec, 15 secs
lola: 8541 markings, 19671 edges, 391 markings/sec, 20 secs
lola: 10570 markings, 24475 edges, 406 markings/sec, 25 secs
lola: 12555 markings, 29209 edges, 397 markings/sec, 30 secs
lola: 14221 markings, 33351 edges, 333 markings/sec, 35 secs
lola: 16146 markings, 37972 edges, 385 markings/sec, 40 secs
lola: 18002 markings, 42482 edges, 371 markings/sec, 45 secs
lola: 19607 markings, 46539 edges, 321 markings/sec, 50 secs
lola: 21853 markings, 51742 edges, 449 markings/sec, 55 secs
lola: 23462 markings, 55796 edges, 322 markings/sec, 60 secs
lola: 25365 markings, 60386 edges, 381 markings/sec, 65 secs
lola: 27326 markings, 65071 edges, 392 markings/sec, 70 secs
lola: 28890 markings, 68998 edges, 313 markings/sec, 75 secs
lola: 31099 markings, 74118 edges, 442 markings/sec, 80 secs
lola: 32687 markings, 78144 edges, 318 markings/sec, 85 secs
lola: 34844 markings, 83180 edges, 431 markings/sec, 90 secs
lola: 36355 markings, 87020 edges, 302 markings/sec, 95 secs
lola: 38273 markings, 91447 edges, 384 markings/sec, 100 secs
lola: 39634 markings, 94900 edges, 272 markings/sec, 105 secs
lola: 41457 markings, 99186 edges, 365 markings/sec, 110 secs
lola: 43254 markings, 103510 edges, 359 markings/sec, 115 secs
lola: 45207 markings, 108021 edges, 391 markings/sec, 120 secs
lola: 47451 markings, 112773 edges, 449 markings/sec, 125 secs
lola: 49917 markings, 118902 edges, 493 markings/sec, 130 secs
lola: 52238 markings, 125026 edges, 464 markings/sec, 135 secs
lola: 54050 markings, 130141 edges, 362 markings/sec, 140 secs
lola: 55968 markings, 135425 edges, 384 markings/sec, 145 secs
lola: 57981 markings, 140850 edges, 403 markings/sec, 150 secs
lola: 60169 markings, 146666 edges, 438 markings/sec, 155 secs
lola: 62464 markings, 152615 edges, 459 markings/sec, 160 secs
lola: 64898 markings, 158793 edges, 487 markings/sec, 165 secs
lola: 66206 markings, 162528 edges, 262 markings/sec, 170 secs
lola: 68441 markings, 168541 edges, 447 markings/sec, 175 secs
lola: 71157 markings, 175081 edges, 543 markings/sec, 180 secs
lola: 72247 markings, 178584 edges, 218 markings/sec, 185 secs
lola: 75010 markings, 185256 edges, 553 markings/sec, 190 secs
lola: 76288 markings, 188985 edges, 256 markings/sec, 195 secs
lola: 78994 markings, 195494 edges, 541 markings/sec, 200 secs
lola: 79866 markings, 198543 edges, 174 markings/sec, 205 secs
lola: 81606 markings, 202398 edges, 348 markings/sec, 210 secs
lola: 83900 markings, 208534 edges, 459 markings/sec, 215 secs
lola: 85471 markings, 212538 edges, 314 markings/sec, 220 secs
lola: 88320 markings, 219433 edges, 570 markings/sec, 225 secs
lola: 89501 markings, 223053 edges, 236 markings/sec, 230 secs
lola: 91415 markings, 227456 edges, 383 markings/sec, 235 secs
lola: 93923 markings, 233985 edges, 502 markings/sec, 240 secs
lola: 95361 markings, 237842 edges, 288 markings/sec, 245 secs
lola: 97302 markings, 242295 edges, 388 markings/sec, 250 secs
lola: 99759 markings, 248806 edges, 491 markings/sec, 255 secs
lola: 101326 markings, 252850 edges, 313 markings/sec, 260 secs
lola: 103207 markings, 257261 edges, 376 markings/sec, 265 secs
lola: 105843 markings, 263941 edges, 527 markings/sec, 270 secs
lola: 107235 markings, 267802 edges, 278 markings/sec, 275 secs
lola: 109111 markings, 272200 edges, 375 markings/sec, 280 secs
lola: 112194 markings, 279386 edges, 617 markings/sec, 285 secs
lola: 113172 markings, 282796 edges, 196 markings/sec, 290 secs
lola: 115053 markings, 287195 edges, 376 markings/sec, 295 secs
lola: 116963 markings, 291676 edges, 382 markings/sec, 300 secs
lola: 119818 markings, 298609 edges, 571 markings/sec, 305 secs
lola: 120826 markings, 302061 edges, 202 markings/sec, 310 secs
lola: 122875 markings, 306629 edges, 410 markings/sec, 315 secs
lola: 124744 markings, 311058 edges, 374 markings/sec, 320 secs
lola: 127722 markings, 318113 edges, 596 markings/sec, 325 secs
lola: 128697 markings, 321527 edges, 195 markings/sec, 330 secs
lola: 130672 markings, 325998 edges, 395 markings/sec, 335 secs
lola: 132414 markings, 330158 edges, 348 markings/sec, 340 secs
lola: 134112 markings, 334101 edges, 340 markings/sec, 345 secs
lola: 136696 markings, 340594 edges, 517 markings/sec, 350 secs
lola: 137641 markings, 343561 edges, 189 markings/sec, 355 secs
lola: 139354 markings, 347487 edges, 343 markings/sec, 360 secs
lola: 141069 markings, 351557 edges, 343 markings/sec, 365 secs
lola: 142956 markings, 355981 edges, 377 markings/sec, 370 secs
lola: 145884 markings, 363025 edges, 586 markings/sec, 375 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 383 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 644 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: 19020 markings, 31142 edges, 3804 markings/sec, 0 secs
lola: 42066 markings, 70303 edges, 4609 markings/sec, 5 secs
lola: 65066 markings, 107056 edges, 4600 markings/sec, 10 secs
lola: 72226 markings, 120505 edges, 1432 markings/sec, 15 secs
lola: 74230 markings, 123511 edges, 401 markings/sec, 20 secs
lola: 81264 markings, 134384 edges, 1407 markings/sec, 25 secs
lola: 104266 markings, 173168 edges, 4600 markings/sec, 30 secs
lola: 127492 markings, 211659 edges, 4645 markings/sec, 35 secs
lola: 142960 markings, 238036 edges, 3094 markings/sec, 40 secs
lola: 144866 markings, 240895 edges, 381 markings/sec, 45 secs
lola: 146782 markings, 243769 edges, 383 markings/sec, 50 secs
lola: 162374 markings, 269101 edges, 3118 markings/sec, 55 secs
lola: 183454 markings, 304893 edges, 4216 markings/sec, 60 secs
lola: 204498 markings, 338318 edges, 4209 markings/sec, 65 secs
lola: 211594 markings, 351691 edges, 1419 markings/sec, 70 secs
lola: 213392 markings, 354388 edges, 360 markings/sec, 75 secs
lola: 215144 markings, 356931 edges, 350 markings/sec, 80 secs
lola: 236304 markings, 391885 edges, 4232 markings/sec, 85 secs
lola: 257769 markings, 427624 edges, 4293 markings/sec, 90 secs
lola: 274958 markings, 456751 edges, 3438 markings/sec, 95 secs
lola: 276766 markings, 459463 edges, 362 markings/sec, 100 secs
lola: 278694 markings, 462355 edges, 386 markings/sec, 105 secs
lola: 292676 markings, 484998 edges, 2796 markings/sec, 110 secs
lola: 315740 markings, 524062 edges, 4613 markings/sec, 115 secs
lola: 335802 markings, 557376 edges, 4012 markings/sec, 120 secs
lola: 337784 markings, 560349 edges, 396 markings/sec, 125 secs
lola: 339772 markings, 563331 edges, 398 markings/sec, 130 secs
lola: 355431 markings, 588753 edges, 3132 markings/sec, 135 secs
lola: 378702 markings, 627381 edges, 4654 markings/sec, 140 secs
lola: 394004 markings, 653417 edges, 3060 markings/sec, 145 secs
lola: 395876 markings, 656225 edges, 374 markings/sec, 150 secs
lola: 397788 markings, 659093 edges, 382 markings/sec, 155 secs
lola: 415544 markings, 688144 edges, 3551 markings/sec, 160 secs
lola: 437976 markings, 725069 edges, 4486 markings/sec, 165 secs
lola: 448984 markings, 744037 edges, 2202 markings/sec, 170 secs
lola: 450916 markings, 746935 edges, 386 markings/sec, 175 secs
lola: 452830 markings, 749720 edges, 383 markings/sec, 180 secs
lola: 474934 markings, 786252 edges, 4421 markings/sec, 185 secs
lola: 497026 markings, 822534 edges, 4418 markings/sec, 190 secs
lola: 501350 markings, 830180 edges, 865 markings/sec, 195 secs
lola: 503274 markings, 833066 edges, 385 markings/sec, 200 secs
lola: 511822 markings, 846519 edges, 1710 markings/sec, 205 secs
lola: 534382 markings, 883862 edges, 4512 markings/sec, 210 secs
lola: 549224 markings, 909060 edges, 2968 markings/sec, 215 secs
lola: 551152 markings, 911952 edges, 386 markings/sec, 220 secs
lola: 553090 markings, 914859 edges, 388 markings/sec, 225 secs
lola: 570880 markings, 943994 edges, 3558 markings/sec, 230 secs
lola: 592858 markings, 980267 edges, 4396 markings/sec, 235 secs
lola: 596620 markings, 986728 edges, 752 markings/sec, 240 secs
lola: 598550 markings, 989623 edges, 386 markings/sec, 245 secs
lola: 606342 markings, 1001807 edges, 1558 markings/sec, 250 secs
lola: 627772 markings, 1037115 edges, 4286 markings/sec, 255 secs
lola: 639370 markings, 1056961 edges, 2320 markings/sec, 260 secs
lola: 641296 markings, 1059850 edges, 385 markings/sec, 265 secs
lola: 643056 markings, 1062490 edges, 352 markings/sec, 270 secs
lola: 660198 markings, 1090504 edges, 3428 markings/sec, 275 secs
lola: 679920 markings, 1123456 edges, 3944 markings/sec, 280 secs
lola: 681786 markings, 1126255 edges, 373 markings/sec, 285 secs
lola: 683698 markings, 1129123 edges, 382 markings/sec, 290 secs
lola: 694772 markings, 1146846 edges, 2215 markings/sec, 295 secs
lola: 716700 markings, 1182967 edges, 4386 markings/sec, 300 secs
lola: 720518 markings, 1189612 edges, 764 markings/sec, 305 secs
lola: 722448 markings, 1192507 edges, 386 markings/sec, 310 secs
lola: 730446 markings, 1205029 edges, 1600 markings/sec, 315 secs
lola: 752688 markings, 1241384 edges, 4448 markings/sec, 320 secs
lola: 757312 markings, 1249677 edges, 925 markings/sec, 325 secs
lola: 759226 markings, 1252548 edges, 383 markings/sec, 330 secs
lola: 766594 markings, 1264024 edges, 1474 markings/sec, 335 secs
lola: 788570 markings, 1300251 edges, 4395 markings/sec, 340 secs
lola: 792270 markings, 1306628 edges, 740 markings/sec, 345 secs
lola: 794182 markings, 1309496 edges, 382 markings/sec, 350 secs
lola: 802898 markings, 1323217 edges, 1743 markings/sec, 355 secs
lola: 823594 markings, 1357792 edges, 4139 markings/sec, 360 secs
lola: 825556 markings, 1360735 edges, 392 markings/sec, 365 secs
lola: 827482 markings, 1363624 edges, 385 markings/sec, 370 secs
lola: 840552 markings, 1384570 edges, 2614 markings/sec, 375 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 383 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 644 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: 3424 markings, 3425 edges, 685 markings/sec, 0 secs
lola: 10862 markings, 18237 edges, 1488 markings/sec, 5 secs
lola: 18552 markings, 37122 edges, 1538 markings/sec, 10 secs
lola: 25505 markings, 54110 edges, 1391 markings/sec, 15 secs
lola: 31969 markings, 69897 edges, 1293 markings/sec, 20 secs
lola: 37806 markings, 84156 edges, 1167 markings/sec, 25 secs
lola: 43387 markings, 97646 edges, 1116 markings/sec, 30 secs
lola: 48668 markings, 110335 edges, 1056 markings/sec, 35 secs
lola: 56459 markings, 131883 edges, 1558 markings/sec, 40 secs
lola: 68756 markings, 173465 edges, 2459 markings/sec, 45 secs
lola: 79949 markings, 211590 edges, 2239 markings/sec, 50 secs
lola: 90954 markings, 249238 edges, 2201 markings/sec, 55 secs
lola: 100268 markings, 279040 edges, 1863 markings/sec, 60 secs
lola: 108206 markings, 298417 edges, 1588 markings/sec, 65 secs
lola: 115207 markings, 315577 edges, 1400 markings/sec, 70 secs
lola: 121596 markings, 331210 edges, 1278 markings/sec, 75 secs
lola: 127582 markings, 345866 edges, 1197 markings/sec, 80 secs
lola: 133228 markings, 359552 edges, 1129 markings/sec, 85 secs
lola: 138544 markings, 372362 edges, 1063 markings/sec, 90 secs
lola: 143540 markings, 383980 edges, 999 markings/sec, 95 secs
lola: 154172 markings, 418542 edges, 2126 markings/sec, 100 secs
lola: 165349 markings, 456487 edges, 2235 markings/sec, 105 secs
lola: 176968 markings, 496136 edges, 2324 markings/sec, 110 secs
lola: 188389 markings, 534796 edges, 2284 markings/sec, 115 secs
lola: 191262 markings, 538258 edges, 575 markings/sec, 120 secs
lola: 194270 markings, 541703 edges, 602 markings/sec, 125 secs
lola: 199470 markings, 549948 edges, 1040 markings/sec, 130 secs
lola: 207621 markings, 569925 edges, 1630 markings/sec, 135 secs
lola: 214826 markings, 587580 edges, 1441 markings/sec, 140 secs
lola: 221432 markings, 603743 edges, 1321 markings/sec, 145 secs
lola: 227611 markings, 618794 edges, 1236 markings/sec, 150 secs
lola: 233416 markings, 632942 edges, 1161 markings/sec, 155 secs
lola: 238907 markings, 646110 edges, 1098 markings/sec, 160 secs
lola: 244128 markings, 658050 edges, 1044 markings/sec, 165 secs
lola: 252318 markings, 677946 edges, 1638 markings/sec, 170 secs
lola: 259407 markings, 695330 edges, 1418 markings/sec, 175 secs
lola: 265886 markings, 711190 edges, 1296 markings/sec, 180 secs
lola: 271971 markings, 726015 edges, 1217 markings/sec, 185 secs
lola: 277693 markings, 739881 edges, 1144 markings/sec, 190 secs
lola: 283094 markings, 752682 edges, 1080 markings/sec, 195 secs
lola: 291597 markings, 777825 edges, 1701 markings/sec, 200 secs
lola: 303185 markings, 817085 edges, 2318 markings/sec, 205 secs
lola: 314833 markings, 856775 edges, 2330 markings/sec, 210 secs
lola: 326387 markings, 896324 edges, 2311 markings/sec, 215 secs
lola: 334560 markings, 916577 edges, 1635 markings/sec, 220 secs
lola: 341670 markings, 933987 edges, 1422 markings/sec, 225 secs
lola: 348201 markings, 949918 edges, 1306 markings/sec, 230 secs
lola: 354186 markings, 964496 edges, 1197 markings/sec, 235 secs
lola: 359817 markings, 978138 edges, 1126 markings/sec, 240 secs
lola: 365114 markings, 990688 edges, 1059 markings/sec, 245 secs
lola: 374708 markings, 1020442 edges, 1919 markings/sec, 250 secs
lola: 386199 markings, 1059420 edges, 2298 markings/sec, 255 secs
lola: 397376 markings, 1097434 edges, 2235 markings/sec, 260 secs
lola: 407627 markings, 1130350 edges, 2050 markings/sec, 265 secs
lola: 414878 markings, 1148113 edges, 1450 markings/sec, 270 secs
lola: 421499 markings, 1164270 edges, 1324 markings/sec, 275 secs
lola: 427576 markings, 1179120 edges, 1215 markings/sec, 280 secs
lola: 433211 markings, 1192815 edges, 1127 markings/sec, 285 secs
lola: 438395 markings, 1205238 edges, 1037 markings/sec, 290 secs
lola: 443529 markings, 1217197 edges, 1027 markings/sec, 295 secs
lola: 454593 markings, 1254219 edges, 2213 markings/sec, 300 secs
lola: 465637 markings, 1291788 edges, 2209 markings/sec, 305 secs
lola: 476608 markings, 1329200 edges, 2194 markings/sec, 310 secs
lola: 484981 markings, 1352368 edges, 1675 markings/sec, 315 secs
lola: 491684 markings, 1368802 edges, 1341 markings/sec, 320 secs
lola: 497765 markings, 1383626 edges, 1216 markings/sec, 325 secs
lola: 503450 markings, 1397477 edges, 1137 markings/sec, 330 secs
lola: 508741 markings, 1410207 edges, 1058 markings/sec, 335 secs
lola: 513737 markings, 1422026 edges, 999 markings/sec, 340 secs
lola: 523649 markings, 1453482 edges, 1982 markings/sec, 345 secs
lola: 534814 markings, 1491279 edges, 2233 markings/sec, 350 secs
lola: 545969 markings, 1529362 edges, 2231 markings/sec, 355 secs
lola: 554505 markings, 1553083 edges, 1707 markings/sec, 360 secs
lola: 561188 markings, 1569388 edges, 1337 markings/sec, 365 secs
lola: 567231 markings, 1584121 edges, 1209 markings/sec, 370 secs
lola: 572768 markings, 1597596 edges, 1107 markings/sec, 375 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 383 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 644 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: 3663 markings, 6616 edges, 733 markings/sec, 0 secs
lola: 6781 markings, 13416 edges, 624 markings/sec, 5 secs
lola: 9399 markings, 19262 edges, 524 markings/sec, 10 secs
lola: 12593 markings, 26525 edges, 639 markings/sec, 15 secs
lola: 15402 markings, 32996 edges, 562 markings/sec, 20 secs
lola: 17969 markings, 39056 edges, 513 markings/sec, 25 secs
lola: 20534 markings, 44844 edges, 513 markings/sec, 30 secs
lola: 23410 markings, 51236 edges, 575 markings/sec, 35 secs
lola: 26331 markings, 58526 edges, 584 markings/sec, 40 secs
lola: 29186 markings, 65179 edges, 571 markings/sec, 45 secs
lola: 31472 markings, 70683 edges, 457 markings/sec, 50 secs
lola: 33787 markings, 76322 edges, 463 markings/sec, 55 secs
lola: 36263 markings, 82353 edges, 495 markings/sec, 60 secs
lola: 38778 markings, 88144 edges, 503 markings/sec, 65 secs
lola: 41217 markings, 93901 edges, 488 markings/sec, 70 secs
lola: 43779 markings, 99542 edges, 512 markings/sec, 75 secs
lola: 46283 markings, 105550 edges, 501 markings/sec, 80 secs
lola: 48958 markings, 112416 edges, 535 markings/sec, 85 secs
lola: 51706 markings, 119342 edges, 550 markings/sec, 90 secs
lola: 54284 markings, 125709 edges, 516 markings/sec, 95 secs
lola: 56763 markings, 131396 edges, 496 markings/sec, 100 secs
lola: 58845 markings, 136621 edges, 416 markings/sec, 105 secs
lola: 61158 markings, 142424 edges, 463 markings/sec, 110 secs
lola: 63459 markings, 147986 edges, 460 markings/sec, 115 secs
lola: 65624 markings, 153471 edges, 433 markings/sec, 120 secs
lola: 67835 markings, 158989 edges, 442 markings/sec, 125 secs
lola: 70069 markings, 164435 edges, 447 markings/sec, 130 secs
lola: 72370 markings, 169846 edges, 460 markings/sec, 135 secs
lola: 74750 markings, 175244 edges, 476 markings/sec, 140 secs
lola: 76915 markings, 180716 edges, 433 markings/sec, 145 secs
lola: 79612 markings, 186906 edges, 539 markings/sec, 150 secs
lola: 81939 markings, 192044 edges, 465 markings/sec, 155 secs
lola: 84244 markings, 197625 edges, 461 markings/sec, 160 secs
lola: 86803 markings, 204302 edges, 512 markings/sec, 165 secs
lola: 89315 markings, 210850 edges, 502 markings/sec, 170 secs
lola: 91695 markings, 217064 edges, 476 markings/sec, 175 secs
lola: 94167 markings, 223436 edges, 494 markings/sec, 180 secs
lola: 96809 markings, 230017 edges, 528 markings/sec, 185 secs
lola: 99139 markings, 235878 edges, 466 markings/sec, 190 secs
lola: 101492 markings, 241577 edges, 471 markings/sec, 195 secs
lola: 104006 markings, 247556 edges, 503 markings/sec, 200 secs
lola: 106292 markings, 253390 edges, 457 markings/sec, 205 secs
lola: 108753 markings, 259432 edges, 492 markings/sec, 210 secs
lola: 110893 markings, 265159 edges, 428 markings/sec, 215 secs
lola: 113263 markings, 271096 edges, 474 markings/sec, 220 secs
lola: 115767 markings, 277382 edges, 501 markings/sec, 225 secs
lola: 118157 markings, 283459 edges, 478 markings/sec, 230 secs
lola: 120667 markings, 289773 edges, 502 markings/sec, 235 secs
lola: 123277 markings, 296098 edges, 522 markings/sec, 240 secs
lola: 125736 markings, 302372 edges, 492 markings/sec, 245 secs
lola: 128171 markings, 308399 edges, 487 markings/sec, 250 secs
lola: 130510 markings, 313992 edges, 468 markings/sec, 255 secs
lola: 132761 markings, 319249 edges, 450 markings/sec, 260 secs
lola: 135394 markings, 325659 edges, 527 markings/sec, 265 secs
lola: 137622 markings, 331362 edges, 446 markings/sec, 270 secs
lola: 140469 markings, 337888 edges, 569 markings/sec, 275 secs
lola: 142826 markings, 343202 edges, 471 markings/sec, 280 secs
lola: 145679 markings, 349322 edges, 571 markings/sec, 285 secs
lola: 148071 markings, 355895 edges, 478 markings/sec, 290 secs
lola: 150974 markings, 363565 edges, 581 markings/sec, 295 secs
lola: 153453 markings, 370233 edges, 496 markings/sec, 300 secs
lola: 156167 markings, 377395 edges, 543 markings/sec, 305 secs
lola: 158810 markings, 384366 edges, 529 markings/sec, 310 secs
lola: 161486 markings, 391381 edges, 535 markings/sec, 315 secs
lola: 163904 markings, 397651 edges, 484 markings/sec, 320 secs
lola: 166398 markings, 403984 edges, 499 markings/sec, 325 secs
lola: 169083 markings, 410679 edges, 537 markings/sec, 330 secs
lola: 171411 markings, 416609 edges, 466 markings/sec, 335 secs
lola: 173722 markings, 422422 edges, 462 markings/sec, 340 secs
lola: 176167 markings, 428603 edges, 489 markings/sec, 345 secs
lola: 178803 markings, 435028 edges, 527 markings/sec, 350 secs
lola: 181473 markings, 441388 edges, 534 markings/sec, 355 secs
lola: 183637 markings, 447267 edges, 433 markings/sec, 360 secs
lola: 186301 markings, 453738 edges, 533 markings/sec, 365 secs
lola: 188546 markings, 459773 edges, 449 markings/sec, 370 secs
lola: 190806 markings, 465737 edges, 452 markings/sec, 375 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 383 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 644 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 575 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 644 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: 2398 markings, 4840 edges, 480 markings/sec, 0 secs
lola: 3990 markings, 8753 edges, 318 markings/sec, 5 secs
lola: 6272 markings, 14047 edges, 456 markings/sec, 10 secs
lola: 8284 markings, 18901 edges, 402 markings/sec, 15 secs
lola: 10365 markings, 23860 edges, 416 markings/sec, 20 secs
lola: 11937 markings, 27902 edges, 314 markings/sec, 25 secs
lola: 14124 markings, 33060 edges, 437 markings/sec, 30 secs
lola: 15836 markings, 37361 edges, 342 markings/sec, 35 secs
lola: 18003 markings, 42485 edges, 433 markings/sec, 40 secs
lola: 19637 markings, 46629 edges, 327 markings/sec, 45 secs
lola: 21921 markings, 51946 edges, 457 markings/sec, 50 secs
lola: 23554 markings, 56072 edges, 327 markings/sec, 55 secs
lola: 25835 markings, 61368 edges, 456 markings/sec, 60 secs
lola: 27456 markings, 65461 edges, 324 markings/sec, 65 secs
lola: 29473 markings, 70294 edges, 403 markings/sec, 70 secs
lola: 31343 markings, 74850 edges, 374 markings/sec, 75 secs
lola: 33184 markings, 79339 edges, 368 markings/sec, 80 secs
lola: 35092 markings, 83924 edges, 382 markings/sec, 85 secs
lola: 37144 markings, 88720 edges, 410 markings/sec, 90 secs
lola: 38654 markings, 92590 edges, 302 markings/sec, 95 secs
lola: 40596 markings, 97181 edges, 388 markings/sec, 100 secs
lola: 42439 markings, 101583 edges, 369 markings/sec, 105 secs
lola: 44025 markings, 105338 edges, 317 markings/sec, 110 secs
lola: 45735 markings, 109231 edges, 342 markings/sec, 115 secs
lola: 48004 markings, 113897 edges, 454 markings/sec, 120 secs
lola: 50101 markings, 119544 edges, 419 markings/sec, 125 secs
lola: 52410 markings, 125624 edges, 462 markings/sec, 130 secs
lola: 54329 markings, 130907 edges, 384 markings/sec, 135 secs
lola: 56366 markings, 136281 edges, 407 markings/sec, 140 secs
lola: 58390 markings, 141759 edges, 405 markings/sec, 145 secs
lola: 60228 markings, 146883 edges, 368 markings/sec, 150 secs
lola: 62410 markings, 152439 edges, 436 markings/sec, 155 secs
lola: 64772 markings, 158355 edges, 472 markings/sec, 160 secs
lola: 66020 markings, 162111 edges, 250 markings/sec, 165 secs
lola: 68367 markings, 168283 edges, 469 markings/sec, 170 secs
lola: 69740 markings, 171676 edges, 275 markings/sec, 175 secs
lola: 71829 markings, 177427 edges, 418 markings/sec, 180 secs
lola: 73345 markings, 181050 edges, 303 markings/sec, 185 secs
lola: 75550 markings, 187129 edges, 441 markings/sec, 190 secs
lola: 77330 markings, 191358 edges, 356 markings/sec, 195 secs
lola: 79516 markings, 197318 edges, 437 markings/sec, 200 secs
lola: 81198 markings, 201478 edges, 336 markings/sec, 205 secs
lola: 83766 markings, 208066 edges, 514 markings/sec, 210 secs
lola: 85245 markings, 212010 edges, 296 markings/sec, 215 secs
lola: 88212 markings, 219066 edges, 593 markings/sec, 220 secs
lola: 89189 markings, 222479 edges, 195 markings/sec, 225 secs
lola: 91220 markings, 227022 edges, 406 markings/sec, 230 secs
lola: 93831 markings, 233660 edges, 522 markings/sec, 235 secs
lola: 95159 markings, 237362 edges, 266 markings/sec, 240 secs
lola: 97147 markings, 241946 edges, 398 markings/sec, 245 secs
lola: 99680 markings, 248539 edges, 507 markings/sec, 250 secs
lola: 101174 markings, 252533 edges, 299 markings/sec, 255 secs
lola: 103212 markings, 257276 edges, 408 markings/sec, 260 secs
lola: 105912 markings, 264186 edges, 540 markings/sec, 265 secs
lola: 107320 markings, 268036 edges, 282 markings/sec, 270 secs
lola: 109265 markings, 272575 edges, 389 markings/sec, 275 secs
lola: 112348 markings, 279924 edges, 617 markings/sec, 280 secs
lola: 113423 markings, 283608 edges, 215 markings/sec, 285 secs
lola: 115522 markings, 288333 edges, 420 markings/sec, 290 secs
lola: 117494 markings, 292922 edges, 394 markings/sec, 295 secs
lola: 120139 markings, 299734 edges, 529 markings/sec, 300 secs
lola: 121557 markings, 303565 edges, 284 markings/sec, 305 secs
lola: 123521 markings, 308169 edges, 393 markings/sec, 310 secs
lola: 125480 markings, 312758 edges, 392 markings/sec, 315 secs
lola: 128194 markings, 319758 edges, 543 markings/sec, 320 secs
lola: 129788 markings, 323948 edges, 319 markings/sec, 325 secs
lola: 131757 markings, 328616 edges, 394 markings/sec, 330 secs
lola: 133831 markings, 333424 edges, 415 markings/sec, 335 secs
lola: 136618 markings, 340333 edges, 557 markings/sec, 340 secs
lola: 137862 markings, 344023 edges, 249 markings/sec, 345 secs
lola: 139866 markings, 348703 edges, 401 markings/sec, 350 secs
lola: 141942 markings, 353567 edges, 415 markings/sec, 355 secs
lola: 143844 markings, 357985 edges, 380 markings/sec, 360 secs
lola: 146383 markings, 364768 edges, 508 markings/sec, 365 secs
lola: 148042 markings, 368963 edges, 332 markings/sec, 370 secs
lola: 150109 markings, 373827 edges, 413 markings/sec, 375 secs
lola: 152033 markings, 378384 edges, 385 markings/sec, 380 secs
lola: 153956 markings, 382802 edges, 385 markings/sec, 385 secs
lola: 156477 markings, 389487 edges, 504 markings/sec, 390 secs
lola: 158163 markings, 393753 edges, 337 markings/sec, 395 secs
lola: 160061 markings, 398294 edges, 380 markings/sec, 400 secs
lola: 162114 markings, 403153 edges, 411 markings/sec, 405 secs
lola: 164181 markings, 407948 edges, 413 markings/sec, 410 secs
lola: 167061 markings, 415004 edges, 576 markings/sec, 415 secs
lola: 168270 markings, 418641 edges, 242 markings/sec, 420 secs
lola: 170294 markings, 423355 edges, 405 markings/sec, 425 secs
lola: 172397 markings, 428324 edges, 421 markings/sec, 430 secs
lola: 174506 markings, 433286 edges, 422 markings/sec, 435 secs
lola: 176482 markings, 437895 edges, 395 markings/sec, 440 secs
lola: 179121 markings, 444707 edges, 528 markings/sec, 445 secs
lola: 180702 markings, 448816 edges, 316 markings/sec, 450 secs
lola: 182631 markings, 453413 edges, 386 markings/sec, 455 secs
lola: 184511 markings, 457906 edges, 376 markings/sec, 460 secs
lola: 186667 markings, 462917 edges, 431 markings/sec, 465 secs
lola: 188611 markings, 467489 edges, 389 markings/sec, 470 secs
lola: 191488 markings, 474438 edges, 575 markings/sec, 475 secs
lola: 192498 markings, 477781 edges, 202 markings/sec, 480 secs
lola: 194558 markings, 482447 edges, 412 markings/sec, 485 secs
lola: 196733 markings, 487537 edges, 435 markings/sec, 490 secs
lola: 198743 markings, 492317 edges, 402 markings/sec, 495 secs
lola: 200631 markings, 496812 edges, 378 markings/sec, 500 secs
lola: 202580 markings, 501386 edges, 390 markings/sec, 505 secs
lola: 205350 markings, 508304 edges, 554 markings/sec, 510 secs
lola: 206824 markings, 512276 edges, 295 markings/sec, 515 secs
lola: 208742 markings, 516830 edges, 384 markings/sec, 520 secs
lola: 210789 markings, 521711 edges, 409 markings/sec, 525 secs
lola: 212805 markings, 526475 edges, 403 markings/sec, 530 secs
lola: 214858 markings, 531346 edges, 411 markings/sec, 535 secs
lola: 216753 markings, 535819 edges, 379 markings/sec, 540 secs
lola: 219741 markings, 542853 edges, 598 markings/sec, 545 secs
lola: 220744 markings, 546279 edges, 201 markings/sec, 550 secs
lola: 222696 markings, 550601 edges, 390 markings/sec, 555 secs
lola: 224643 markings, 555219 edges, 389 markings/sec, 560 secs
lola: 226628 markings, 559955 edges, 397 markings/sec, 565 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 575 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 644 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: unknown 1 1 1 50 unknown 50 unknown 50 unknown unknown unknown unknown 1 unknown 1
lola: ========================================
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-4 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-6 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-8 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496354143492
--------------------
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-V50P50N50"
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-V50P50N50.tgz
mv S_BridgeAndVehicles-PT-V50P50N50 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-V50P50N50, 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-149441074600515"
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 '
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 ;