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_DrinkVendingMachine-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612200227
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496359694012


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


checking for too many tokens
===========================================================================================
S_DrinkVendingMachine-PT-10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DrinkVendingMachine-PT-10 @ 3537 seconds
----- Start make result stdout -----
lola: LoLA will run for 3537 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 111280/65536 symbol table entries, 66439 collisions
lola: preprocessing...
lola: finding significant places
lola: 120 places, 111160 transitions, 60 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48320 transition conflict sets
lola: TASK
lola: reading formula from DrinkVendingMachine-COL-10-UpperBounds.task
lola: MAX(optionSlots_10 + optionSlots_1 + optionSlots_2 + optionSlots_3 + optionSlots_4 + optionSlots_5 + optionSlots_6 + optionSlots_7 + optionSlots_8 + optionSlots_9) : MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10) : MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9) : MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 + ready_38 + ready_39 + ready_40) : MAX(theOptions_10 + theOptions_1 + theOptions_2 + theOptions_3 + theOptions_4 + theOptions_5 + theOptions_6 + theOptions_7 + theOptions_8 + theOptions_9) : MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 + ready_38 + ready_39 + ready_40) : MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9) : MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 + ready_38 + ready_39 + ready_40) : MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10) : MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 + ready_38 + ready_39 + ready_40) : MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9) : MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10) : MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10) : MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10) : MAX(theOptions_10 + theOptions_1 + theOptions_2 + theOptions_3 + theOptions_4 + theOptions_5 + theOptions_6 + theOptions_7 + theOptions_8 + theOptions_9) : MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 + ready_38 + ready_39 + ready_40)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(optionSlots_10 + optionSlots_1 + optionSlots_2 + optionSlots_3 + optionSlots_4 + optionSlots_5 + optionSlots_6 + optionSlots_7 + optionSlots_8 + optionSlots_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 421 markings, 490 edges, 84 markings/sec, 5 secs
lola: 1056 markings, 1497 edges, 127 markings/sec, 10 secs
lola: 1755 markings, 2482 edges, 140 markings/sec, 15 secs
lola: 2361 markings, 3300 edges, 121 markings/sec, 20 secs
lola: 3026 markings, 4393 edges, 133 markings/sec, 25 secs
lola: 3588 markings, 5236 edges, 112 markings/sec, 30 secs
lola: 4320 markings, 6357 edges, 146 markings/sec, 35 secs
lola: 4895 markings, 7146 edges, 115 markings/sec, 40 secs
lola: 5493 markings, 7984 edges, 120 markings/sec, 45 secs
lola: 6090 markings, 8794 edges, 119 markings/sec, 50 secs
lola: 6685 markings, 9617 edges, 119 markings/sec, 55 secs
lola: 7236 markings, 10555 edges, 110 markings/sec, 60 secs
lola: 7849 markings, 11498 edges, 123 markings/sec, 65 secs
lola: 8502 markings, 12455 edges, 131 markings/sec, 70 secs
lola: 8982 markings, 13143 edges, 96 markings/sec, 75 secs
lola: 9660 markings, 14107 edges, 136 markings/sec, 80 secs
lola: 10246 markings, 14903 edges, 117 markings/sec, 85 secs
lola: 10840 markings, 15773 edges, 119 markings/sec, 90 secs
lola: 11304 markings, 16549 edges, 93 markings/sec, 95 secs
lola: 11946 markings, 17548 edges, 128 markings/sec, 100 secs
lola: 12584 markings, 18463 edges, 128 markings/sec, 105 secs
lola: 12974 markings, 19003 edges, 78 markings/sec, 110 secs
lola: 13541 markings, 19792 edges, 113 markings/sec, 115 secs
lola: 14049 markings, 20485 edges, 102 markings/sec, 120 secs
lola: 14618 markings, 21276 edges, 114 markings/sec, 125 secs
lola: 15168 markings, 22213 edges, 110 markings/sec, 130 secs
lola: 15668 markings, 23017 edges, 100 markings/sec, 135 secs
lola: 16258 markings, 23891 edges, 118 markings/sec, 140 secs
lola: 16762 markings, 24589 edges, 101 markings/sec, 145 secs
lola: 17308 markings, 25370 edges, 109 markings/sec, 150 secs
lola: 17859 markings, 26090 edges, 110 markings/sec, 155 secs
lola: 18383 markings, 26835 edges, 105 markings/sec, 160 secs
lola: 18932 markings, 27762 edges, 110 markings/sec, 165 secs
lola: 19419 markings, 28498 edges, 97 markings/sec, 170 secs
lola: 20076 markings, 29510 edges, 131 markings/sec, 175 secs
lola: 20561 markings, 30176 edges, 97 markings/sec, 180 secs
lola: 21005 markings, 30779 edges, 89 markings/sec, 185 secs
lola: 21607 markings, 31703 edges, 120 markings/sec, 190 secs
lola: 22071 markings, 32437 edges, 93 markings/sec, 195 secs
lola: 22627 markings, 33235 edges, 111 markings/sec, 200 secs
lola: 23254 markings, 34236 edges, 125 markings/sec, 205 secs
lola: 23871 markings, 35337 edges, 123 markings/sec, 210 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 219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 81 markings, 80 edges, 16 markings/sec, 5 secs
lola: 329 markings, 414 edges, 50 markings/sec, 10 secs
lola: 523 markings, 698 edges, 39 markings/sec, 15 secs
lola: 715 markings, 964 edges, 38 markings/sec, 20 secs
lola: 895 markings, 1345 edges, 36 markings/sec, 25 secs
lola: 1103 markings, 1743 edges, 42 markings/sec, 30 secs
lola: 1236 markings, 1933 edges, 27 markings/sec, 35 secs
lola: 1432 markings, 2447 edges, 39 markings/sec, 40 secs
lola: 1606 markings, 2913 edges, 35 markings/sec, 45 secs
lola: 1889 markings, 3837 edges, 57 markings/sec, 50 secs
lola: 2071 markings, 4376 edges, 36 markings/sec, 55 secs
lola: 2338 markings, 5207 edges, 53 markings/sec, 60 secs
lola: 2494 markings, 5595 edges, 31 markings/sec, 65 secs
lola: 2696 markings, 6410 edges, 40 markings/sec, 70 secs
lola: 2958 markings, 7336 edges, 52 markings/sec, 75 secs
lola: 3140 markings, 8199 edges, 36 markings/sec, 80 secs
lola: 3286 markings, 8777 edges, 29 markings/sec, 85 secs
lola: 3410 markings, 9184 edges, 25 markings/sec, 90 secs
lola: 3548 markings, 9709 edges, 28 markings/sec, 95 secs
lola: 3747 markings, 10241 edges, 40 markings/sec, 100 secs
lola: 3907 markings, 10993 edges, 32 markings/sec, 105 secs
lola: 4140 markings, 11786 edges, 47 markings/sec, 110 secs
lola: 4421 markings, 12579 edges, 56 markings/sec, 115 secs
lola: 4651 markings, 13087 edges, 46 markings/sec, 120 secs
lola: 4838 markings, 13836 edges, 37 markings/sec, 125 secs
lola: 5010 markings, 14327 edges, 34 markings/sec, 130 secs
lola: 5226 markings, 15191 edges, 43 markings/sec, 135 secs
lola: 5382 markings, 15935 edges, 31 markings/sec, 140 secs
lola: 5524 markings, 16566 edges, 28 markings/sec, 145 secs
lola: 5747 markings, 17164 edges, 45 markings/sec, 150 secs
lola: 5964 markings, 17793 edges, 43 markings/sec, 155 secs
lola: 6187 markings, 18323 edges, 45 markings/sec, 160 secs
lola: 6417 markings, 18985 edges, 46 markings/sec, 165 secs
lola: 6618 markings, 19994 edges, 40 markings/sec, 170 secs
lola: 6865 markings, 20568 edges, 49 markings/sec, 175 secs
lola: 7107 markings, 21268 edges, 48 markings/sec, 180 secs
lola: 7356 markings, 21994 edges, 50 markings/sec, 185 secs
lola: 7555 markings, 22828 edges, 40 markings/sec, 190 secs
lola: 7790 markings, 23779 edges, 47 markings/sec, 195 secs
lola: 8015 markings, 24273 edges, 45 markings/sec, 200 secs
lola: 8202 markings, 24677 edges, 37 markings/sec, 205 secs
lola: 8353 markings, 25157 edges, 30 markings/sec, 210 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 219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 2 markings, 1 edges, 0 markings/sec, 5 secs
lola: 3 markings, 2 edges, 0 markings/sec, 10 secs
lola: 5 markings, 4 edges, 0 markings/sec, 15 secs
lola: 6 markings, 5 edges, 0 markings/sec, 20 secs
lola: 7 markings, 6 edges, 0 markings/sec, 25 secs
lola: 8 markings, 7 edges, 0 markings/sec, 30 secs
lola: 10 markings, 9 edges, 0 markings/sec, 35 secs
lola: 12 markings, 11 edges, 0 markings/sec, 40 secs
lola: 14 markings, 13 edges, 0 markings/sec, 45 secs
lola: 19 markings, 18 edges, 1 markings/sec, 50 secs
lola: 61 markings, 74 edges, 8 markings/sec, 55 secs
lola: 427 markings, 1043 edges, 73 markings/sec, 60 secs
lola: 933 markings, 2873 edges, 101 markings/sec, 65 secs
lola: 1408 markings, 4750 edges, 95 markings/sec, 70 secs
lola: 1859 markings, 6557 edges, 90 markings/sec, 75 secs
lola: 2396 markings, 8565 edges, 107 markings/sec, 80 secs
lola: 2880 markings, 10633 edges, 97 markings/sec, 85 secs
lola: 3365 markings, 12612 edges, 97 markings/sec, 90 secs
lola: 3862 markings, 14595 edges, 99 markings/sec, 95 secs
lola: 4410 markings, 16775 edges, 110 markings/sec, 100 secs
lola: 4947 markings, 19153 edges, 107 markings/sec, 105 secs
lola: 5421 markings, 21088 edges, 95 markings/sec, 110 secs
lola: 5902 markings, 23106 edges, 96 markings/sec, 115 secs
lola: 6381 markings, 25012 edges, 96 markings/sec, 120 secs
lola: 6904 markings, 27221 edges, 105 markings/sec, 125 secs
lola: 7393 markings, 29030 edges, 98 markings/sec, 130 secs
lola: 7888 markings, 31051 edges, 99 markings/sec, 135 secs
lola: 8346 markings, 32962 edges, 92 markings/sec, 140 secs
lola: 8827 markings, 34834 edges, 96 markings/sec, 145 secs
lola: 9349 markings, 36814 edges, 104 markings/sec, 150 secs
lola: 9861 markings, 38921 edges, 102 markings/sec, 155 secs
lola: 10408 markings, 41293 edges, 109 markings/sec, 160 secs
lola: 11014 markings, 44066 edges, 121 markings/sec, 165 secs
lola: 11592 markings, 46628 edges, 116 markings/sec, 170 secs
lola: 12219 markings, 49507 edges, 125 markings/sec, 175 secs
lola: 12820 markings, 52185 edges, 120 markings/sec, 180 secs
lola: 13402 markings, 54651 edges, 116 markings/sec, 185 secs
lola: 13986 markings, 57143 edges, 117 markings/sec, 190 secs
lola: 14567 markings, 59780 edges, 116 markings/sec, 195 secs
lola: 15159 markings, 62619 edges, 118 markings/sec, 200 secs
lola: 15758 markings, 65344 edges, 120 markings/sec, 205 secs
lola: 16232 markings, 67344 edges, 95 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 387 markings, 440 edges, 77 markings/sec, 5 secs
lola: 1034 markings, 1441 edges, 129 markings/sec, 10 secs
lola: 1616 markings, 2308 edges, 116 markings/sec, 15 secs
lola: 2146 markings, 3190 edges, 106 markings/sec, 20 secs
lola: 2631 markings, 3958 edges, 97 markings/sec, 25 secs
lola: 3152 markings, 4689 edges, 104 markings/sec, 30 secs
lola: 3690 markings, 5714 edges, 108 markings/sec, 35 secs
lola: 4206 markings, 6512 edges, 103 markings/sec, 40 secs
lola: 4748 markings, 7308 edges, 108 markings/sec, 45 secs
lola: 5286 markings, 8175 edges, 108 markings/sec, 50 secs
lola: 5825 markings, 9015 edges, 108 markings/sec, 55 secs
lola: 6437 markings, 10024 edges, 122 markings/sec, 60 secs
lola: 6921 markings, 10816 edges, 97 markings/sec, 65 secs
lola: 7404 markings, 11631 edges, 97 markings/sec, 70 secs
lola: 7876 markings, 12642 edges, 94 markings/sec, 75 secs
lola: 8454 markings, 13875 edges, 116 markings/sec, 80 secs
lola: 9020 markings, 15186 edges, 113 markings/sec, 85 secs
lola: 9407 markings, 15664 edges, 77 markings/sec, 90 secs
lola: 9954 markings, 16974 edges, 109 markings/sec, 95 secs
lola: 10523 markings, 17878 edges, 114 markings/sec, 100 secs
lola: 11149 markings, 19493 edges, 125 markings/sec, 105 secs
lola: 11705 markings, 20478 edges, 111 markings/sec, 110 secs
lola: 12229 markings, 21795 edges, 105 markings/sec, 115 secs
lola: 12685 markings, 22505 edges, 91 markings/sec, 120 secs
lola: 13156 markings, 23181 edges, 94 markings/sec, 125 secs
lola: 13670 markings, 23924 edges, 103 markings/sec, 130 secs
lola: 14218 markings, 24948 edges, 110 markings/sec, 135 secs
lola: 14704 markings, 25789 edges, 97 markings/sec, 140 secs
lola: 15209 markings, 26582 edges, 101 markings/sec, 145 secs
lola: 15802 markings, 28191 edges, 119 markings/sec, 150 secs
lola: 16422 markings, 29483 edges, 124 markings/sec, 155 secs
lola: 16894 markings, 30250 edges, 94 markings/sec, 160 secs
lola: 17431 markings, 31649 edges, 107 markings/sec, 165 secs
lola: 17970 markings, 33013 edges, 108 markings/sec, 170 secs
lola: 18451 markings, 33821 edges, 96 markings/sec, 175 secs
lola: 18997 markings, 35234 edges, 109 markings/sec, 180 secs
lola: 19506 markings, 37185 edges, 102 markings/sec, 185 secs
lola: 20027 markings, 38203 edges, 104 markings/sec, 190 secs
lola: 20502 markings, 38928 edges, 95 markings/sec, 195 secs
lola: 21078 markings, 40259 edges, 115 markings/sec, 200 secs
lola: 21607 markings, 41110 edges, 106 markings/sec, 205 secs
lola: 22117 markings, 42648 edges, 102 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theOptions_10 + theOptions_1 + theOptions_2 + theOptions_3 + theOptions_4 + theOptions_5 + theOptions_6 + theOptions_7 + theOptions_8 + theOptions_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 4 markings, 3 edges, 1 markings/sec, 5 secs
lola: 5 markings, 4 edges, 0 markings/sec, 10 secs
lola: 8 markings, 7 edges, 1 markings/sec, 15 secs
lola: 11 markings, 10 edges, 1 markings/sec, 20 secs
lola: 13 markings, 12 edges, 0 markings/sec, 25 secs
lola: 16 markings, 15 edges, 1 markings/sec, 30 secs
lola: 22 markings, 21 edges, 1 markings/sec, 35 secs
lola: 31 markings, 30 edges, 2 markings/sec, 40 secs
lola: 234 markings, 273 edges, 41 markings/sec, 45 secs
lola: 390 markings, 482 edges, 31 markings/sec, 50 secs
lola: 504 markings, 638 edges, 23 markings/sec, 55 secs
lola: 715 markings, 1019 edges, 42 markings/sec, 60 secs
lola: 874 markings, 1310 edges, 32 markings/sec, 65 secs
lola: 990 markings, 1478 edges, 23 markings/sec, 70 secs
lola: 1134 markings, 1678 edges, 29 markings/sec, 75 secs
lola: 1249 markings, 1837 edges, 23 markings/sec, 80 secs
lola: 1351 markings, 2004 edges, 20 markings/sec, 85 secs
lola: 1458 markings, 2158 edges, 21 markings/sec, 90 secs
lola: 1553 markings, 2286 edges, 19 markings/sec, 95 secs
lola: 1645 markings, 2409 edges, 18 markings/sec, 100 secs
lola: 1721 markings, 2516 edges, 15 markings/sec, 105 secs
lola: 1815 markings, 2667 edges, 19 markings/sec, 110 secs
lola: 1938 markings, 2830 edges, 25 markings/sec, 115 secs
lola: 2077 markings, 3024 edges, 28 markings/sec, 120 secs
lola: 2171 markings, 3147 edges, 19 markings/sec, 125 secs
lola: 2296 markings, 3358 edges, 25 markings/sec, 130 secs
lola: 2430 markings, 3604 edges, 27 markings/sec, 135 secs
lola: 2556 markings, 3840 edges, 25 markings/sec, 140 secs
lola: 2669 markings, 4048 edges, 23 markings/sec, 145 secs
lola: 2861 markings, 4398 edges, 38 markings/sec, 150 secs
lola: 3024 markings, 4720 edges, 33 markings/sec, 155 secs
lola: 3125 markings, 4873 edges, 20 markings/sec, 160 secs
lola: 3286 markings, 5180 edges, 32 markings/sec, 165 secs
lola: 3502 markings, 5619 edges, 43 markings/sec, 170 secs
lola: 3709 markings, 6033 edges, 41 markings/sec, 175 secs
lola: 3872 markings, 6295 edges, 33 markings/sec, 180 secs
lola: 3994 markings, 6476 edges, 24 markings/sec, 185 secs
lola: 4144 markings, 6738 edges, 30 markings/sec, 190 secs
lola: 4260 markings, 6904 edges, 23 markings/sec, 195 secs
lola: 4402 markings, 7139 edges, 28 markings/sec, 200 secs
lola: 4513 markings, 7288 edges, 22 markings/sec, 205 secs
lola: 4620 markings, 7450 edges, 21 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 587 markings, 722 edges, 117 markings/sec, 5 secs
lola: 1340 markings, 1873 edges, 151 markings/sec, 10 secs
lola: 1959 markings, 2925 edges, 124 markings/sec, 15 secs
lola: 2616 markings, 3940 edges, 131 markings/sec, 20 secs
lola: 3217 markings, 4810 edges, 120 markings/sec, 25 secs
lola: 3788 markings, 5835 edges, 114 markings/sec, 30 secs
lola: 4370 markings, 6778 edges, 116 markings/sec, 35 secs
lola: 5053 markings, 7833 edges, 137 markings/sec, 40 secs
lola: 5654 markings, 8737 edges, 120 markings/sec, 45 secs
lola: 6398 markings, 9977 edges, 149 markings/sec, 50 secs
lola: 6929 markings, 10825 edges, 106 markings/sec, 55 secs
lola: 7494 markings, 11817 edges, 113 markings/sec, 60 secs
lola: 8071 markings, 12934 edges, 115 markings/sec, 65 secs
lola: 8762 markings, 14769 edges, 138 markings/sec, 70 secs
lola: 9329 markings, 15563 edges, 113 markings/sec, 75 secs
lola: 9905 markings, 16507 edges, 115 markings/sec, 80 secs
lola: 10629 markings, 18256 edges, 145 markings/sec, 85 secs
lola: 11263 markings, 19674 edges, 127 markings/sec, 90 secs
lola: 11851 markings, 21171 edges, 118 markings/sec, 95 secs
lola: 12359 markings, 21981 edges, 102 markings/sec, 100 secs
lola: 12842 markings, 22715 edges, 97 markings/sec, 105 secs
lola: 13416 markings, 23552 edges, 115 markings/sec, 110 secs
lola: 13925 markings, 24303 edges, 102 markings/sec, 115 secs
lola: 14543 markings, 25505 edges, 124 markings/sec, 120 secs
lola: 15030 markings, 26320 edges, 97 markings/sec, 125 secs
lola: 15681 markings, 27960 edges, 130 markings/sec, 130 secs
lola: 16316 markings, 29307 edges, 127 markings/sec, 135 secs
lola: 16865 markings, 30195 edges, 110 markings/sec, 140 secs
lola: 17450 markings, 31678 edges, 117 markings/sec, 145 secs
lola: 18071 markings, 33200 edges, 124 markings/sec, 150 secs
lola: 18561 markings, 34035 edges, 98 markings/sec, 155 secs
lola: 19129 markings, 35579 edges, 114 markings/sec, 160 secs
lola: 19668 markings, 37475 edges, 108 markings/sec, 165 secs
lola: 20244 markings, 38470 edges, 115 markings/sec, 170 secs
lola: 20733 markings, 39624 edges, 98 markings/sec, 175 secs
lola: 21375 markings, 40702 edges, 128 markings/sec, 180 secs
lola: 21949 markings, 41827 edges, 115 markings/sec, 185 secs
lola: 22489 markings, 43450 edges, 108 markings/sec, 190 secs
lola: 23017 markings, 44399 edges, 106 markings/sec, 195 secs
lola: 23592 markings, 45346 edges, 115 markings/sec, 200 secs
lola: 24098 markings, 46231 edges, 101 markings/sec, 205 secs
lola: 24566 markings, 47679 edges, 94 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 3 markings, 2 edges, 0 markings/sec, 5 secs
lola: 4 markings, 3 edges, 0 markings/sec, 10 secs
lola: 5 markings, 4 edges, 0 markings/sec, 15 secs
lola: 7 markings, 6 edges, 0 markings/sec, 20 secs
lola: 8 markings, 7 edges, 0 markings/sec, 25 secs
lola: 10 markings, 9 edges, 0 markings/sec, 30 secs
lola: 12 markings, 11 edges, 0 markings/sec, 35 secs
lola: 15 markings, 14 edges, 1 markings/sec, 40 secs
lola: 28 markings, 29 edges, 3 markings/sec, 45 secs
lola: 280 markings, 535 edges, 50 markings/sec, 50 secs
lola: 1059 markings, 3318 edges, 156 markings/sec, 55 secs
lola: 1829 markings, 6410 edges, 154 markings/sec, 60 secs
lola: 2598 markings, 9382 edges, 154 markings/sec, 65 secs
lola: 3327 markings, 12501 edges, 146 markings/sec, 70 secs
lola: 4076 markings, 15415 edges, 150 markings/sec, 75 secs
lola: 4799 markings, 18517 edges, 145 markings/sec, 80 secs
lola: 5531 markings, 21548 edges, 146 markings/sec, 85 secs
lola: 6267 markings, 24581 edges, 147 markings/sec, 90 secs
lola: 7038 markings, 27647 edges, 154 markings/sec, 95 secs
lola: 7857 markings, 30933 edges, 164 markings/sec, 100 secs
lola: 8672 markings, 34210 edges, 163 markings/sec, 105 secs
lola: 9464 markings, 37240 edges, 158 markings/sec, 110 secs
lola: 10285 markings, 40748 edges, 164 markings/sec, 115 secs
lola: 11091 markings, 44396 edges, 161 markings/sec, 120 secs
lola: 11898 markings, 48064 edges, 161 markings/sec, 125 secs
lola: 12692 markings, 51642 edges, 159 markings/sec, 130 secs
lola: 13489 markings, 55054 edges, 159 markings/sec, 135 secs
lola: 14299 markings, 58537 edges, 162 markings/sec, 140 secs
lola: 15117 markings, 62418 edges, 164 markings/sec, 145 secs
lola: 15842 markings, 65751 edges, 145 markings/sec, 150 secs
lola: 16660 markings, 69168 edges, 164 markings/sec, 155 secs
lola: 17480 markings, 72860 edges, 164 markings/sec, 160 secs
lola: 18282 markings, 76720 edges, 160 markings/sec, 165 secs
lola: 19088 markings, 80103 edges, 161 markings/sec, 170 secs
lola: 19915 markings, 83778 edges, 165 markings/sec, 175 secs
lola: 20730 markings, 87372 edges, 163 markings/sec, 180 secs
lola: 21542 markings, 91167 edges, 162 markings/sec, 185 secs
lola: 22343 markings, 94685 edges, 160 markings/sec, 190 secs
lola: 23162 markings, 98509 edges, 164 markings/sec, 195 secs
lola: 23944 markings, 101797 edges, 156 markings/sec, 200 secs
lola: 24760 markings, 105262 edges, 163 markings/sec, 205 secs
lola: 25580 markings, 108922 edges, 164 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 707 markings, 966 edges, 141 markings/sec, 5 secs
lola: 1489 markings, 2153 edges, 156 markings/sec, 10 secs
lola: 2167 markings, 3216 edges, 136 markings/sec, 15 secs
lola: 2790 markings, 4168 edges, 125 markings/sec, 20 secs
lola: 3421 markings, 5280 edges, 126 markings/sec, 25 secs
lola: 4041 markings, 6193 edges, 124 markings/sec, 30 secs
lola: 4715 markings, 7270 edges, 135 markings/sec, 35 secs
lola: 5384 markings, 8343 edges, 134 markings/sec, 40 secs
lola: 6098 markings, 9455 edges, 143 markings/sec, 45 secs
lola: 6707 markings, 10440 edges, 122 markings/sec, 50 secs
lola: 7383 markings, 11606 edges, 135 markings/sec, 55 secs
lola: 7893 markings, 12665 edges, 102 markings/sec, 60 secs
lola: 8587 markings, 14515 edges, 139 markings/sec, 65 secs
lola: 9241 markings, 15454 edges, 131 markings/sec, 70 secs
lola: 9807 markings, 16358 edges, 113 markings/sec, 75 secs
lola: 10592 markings, 18013 edges, 157 markings/sec, 80 secs
lola: 11247 markings, 19654 edges, 131 markings/sec, 85 secs
lola: 11870 markings, 21217 edges, 125 markings/sec, 90 secs
lola: 12423 markings, 22073 edges, 111 markings/sec, 95 secs
lola: 12911 markings, 22816 edges, 98 markings/sec, 100 secs
lola: 13540 markings, 23735 edges, 126 markings/sec, 105 secs
lola: 14156 markings, 24833 edges, 123 markings/sec, 110 secs
lola: 14713 markings, 25801 edges, 111 markings/sec, 115 secs
lola: 15318 markings, 26773 edges, 121 markings/sec, 120 secs
lola: 16150 markings, 29055 edges, 166 markings/sec, 125 secs
lola: 16790 markings, 30067 edges, 128 markings/sec, 130 secs
lola: 17472 markings, 31723 edges, 136 markings/sec, 135 secs
lola: 18171 markings, 33365 edges, 140 markings/sec, 140 secs
lola: 18759 markings, 34793 edges, 118 markings/sec, 145 secs
lola: 19368 markings, 36391 edges, 122 markings/sec, 150 secs
lola: 20095 markings, 38285 edges, 145 markings/sec, 155 secs
lola: 20670 markings, 39337 edges, 115 markings/sec, 160 secs
lola: 21381 markings, 40708 edges, 142 markings/sec, 165 secs
lola: 22065 markings, 42573 edges, 137 markings/sec, 170 secs
lola: 22659 markings, 43809 edges, 119 markings/sec, 175 secs
lola: 23205 markings, 44710 edges, 109 markings/sec, 180 secs
lola: 23793 markings, 45659 edges, 118 markings/sec, 185 secs
lola: 24327 markings, 47045 edges, 107 markings/sec, 190 secs
lola: 24847 markings, 49506 edges, 104 markings/sec, 195 secs
lola: 25233 markings, 50202 edges, 77 markings/sec, 200 secs
lola: 25876 markings, 51986 edges, 129 markings/sec, 205 secs
lola: 26619 markings, 53829 edges, 149 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 276 markings, 345 edges, 55 markings/sec, 5 secs
lola: 519 markings, 693 edges, 49 markings/sec, 10 secs
lola: 786 markings, 1136 edges, 53 markings/sec, 15 secs
lola: 1029 markings, 1604 edges, 49 markings/sec, 20 secs
lola: 1223 markings, 1918 edges, 39 markings/sec, 25 secs
lola: 1482 markings, 2614 edges, 52 markings/sec, 30 secs
lola: 1793 markings, 3537 edges, 62 markings/sec, 35 secs
lola: 2042 markings, 4284 edges, 50 markings/sec, 40 secs
lola: 2368 markings, 5331 edges, 65 markings/sec, 45 secs
lola: 2624 markings, 6109 edges, 51 markings/sec, 50 secs
lola: 2909 markings, 7006 edges, 57 markings/sec, 55 secs
lola: 3164 markings, 8251 edges, 51 markings/sec, 60 secs
lola: 3333 markings, 8896 edges, 34 markings/sec, 65 secs
lola: 3507 markings, 9626 edges, 35 markings/sec, 70 secs
lola: 3747 markings, 10241 edges, 48 markings/sec, 75 secs
lola: 3937 markings, 11069 edges, 38 markings/sec, 80 secs
lola: 4374 markings, 12482 edges, 87 markings/sec, 85 secs
lola: 4668 markings, 13122 edges, 59 markings/sec, 90 secs
lola: 4938 markings, 14138 edges, 54 markings/sec, 95 secs
lola: 5200 markings, 15137 edges, 52 markings/sec, 100 secs
lola: 5383 markings, 15936 edges, 37 markings/sec, 105 secs
lola: 5568 markings, 16655 edges, 37 markings/sec, 110 secs
lola: 5874 markings, 17598 edges, 61 markings/sec, 115 secs
lola: 6199 markings, 18348 edges, 65 markings/sec, 120 secs
lola: 6473 markings, 19490 edges, 55 markings/sec, 125 secs
lola: 6769 markings, 20327 edges, 59 markings/sec, 130 secs
lola: 7113 markings, 21280 edges, 69 markings/sec, 135 secs
lola: 7422 markings, 22271 edges, 62 markings/sec, 140 secs
lola: 7726 markings, 23642 edges, 61 markings/sec, 145 secs
lola: 8021 markings, 24285 edges, 59 markings/sec, 150 secs
lola: 8273 markings, 24828 edges, 50 markings/sec, 155 secs
lola: 8471 markings, 25592 edges, 40 markings/sec, 160 secs
lola: 8742 markings, 26738 edges, 54 markings/sec, 165 secs
lola: 9082 markings, 27875 edges, 68 markings/sec, 170 secs
lola: 9317 markings, 28592 edges, 47 markings/sec, 175 secs
lola: 9581 markings, 29950 edges, 53 markings/sec, 180 secs
lola: 9823 markings, 30689 edges, 48 markings/sec, 185 secs
lola: 10085 markings, 31901 edges, 52 markings/sec, 190 secs
lola: 10343 markings, 32710 edges, 52 markings/sec, 195 secs
lola: 10563 markings, 33649 edges, 44 markings/sec, 200 secs
lola: 10824 markings, 34915 edges, 52 markings/sec, 205 secs
lola: 11164 markings, 36609 edges, 68 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 740 markings, 1005 edges, 148 markings/sec, 5 secs
lola: 1589 markings, 2275 edges, 170 markings/sec, 10 secs
lola: 2273 markings, 3347 edges, 137 markings/sec, 15 secs
lola: 2997 markings, 4482 edges, 145 markings/sec, 20 secs
lola: 3650 markings, 5636 edges, 131 markings/sec, 25 secs
lola: 4309 markings, 6697 edges, 132 markings/sec, 30 secs
lola: 5012 markings, 7780 edges, 141 markings/sec, 35 secs
lola: 5643 markings, 8720 edges, 126 markings/sec, 40 secs
lola: 6456 markings, 10047 edges, 163 markings/sec, 45 secs
lola: 7040 markings, 11033 edges, 117 markings/sec, 50 secs
lola: 7697 markings, 12176 edges, 131 markings/sec, 55 secs
lola: 8520 markings, 14404 edges, 165 markings/sec, 60 secs
lola: 9234 markings, 15445 edges, 143 markings/sec, 65 secs
lola: 9870 markings, 16458 edges, 127 markings/sec, 70 secs
lola: 10704 markings, 18701 edges, 167 markings/sec, 75 secs
lola: 11482 markings, 20113 edges, 156 markings/sec, 80 secs
lola: 12116 markings, 21591 edges, 127 markings/sec, 85 secs
lola: 12705 markings, 22529 edges, 118 markings/sec, 90 secs
lola: 13335 markings, 23437 edges, 126 markings/sec, 95 secs
lola: 13925 markings, 24303 edges, 118 markings/sec, 100 secs
lola: 14605 markings, 25596 edges, 136 markings/sec, 105 secs
lola: 15202 markings, 26574 edges, 119 markings/sec, 110 secs
lola: 15943 markings, 28491 edges, 148 markings/sec, 115 secs
lola: 16648 markings, 29875 edges, 141 markings/sec, 120 secs
lola: 17334 markings, 31490 edges, 137 markings/sec, 125 secs
lola: 17970 markings, 33013 edges, 127 markings/sec, 130 secs
lola: 18503 markings, 33921 edges, 107 markings/sec, 135 secs
lola: 19162 markings, 35624 edges, 132 markings/sec, 140 secs
lola: 19827 markings, 37911 edges, 133 markings/sec, 145 secs
lola: 20322 markings, 38589 edges, 99 markings/sec, 150 secs
lola: 20877 markings, 39891 edges, 111 markings/sec, 155 secs
lola: 21523 markings, 40967 edges, 129 markings/sec, 160 secs
lola: 22089 markings, 42602 edges, 113 markings/sec, 165 secs
lola: 22662 markings, 43813 edges, 115 markings/sec, 170 secs
lola: 23200 markings, 44704 edges, 108 markings/sec, 175 secs
lola: 23770 markings, 45632 edges, 114 markings/sec, 180 secs
lola: 24286 markings, 46978 edges, 103 markings/sec, 185 secs
lola: 24801 markings, 49023 edges, 103 markings/sec, 190 secs
lola: 25190 markings, 50127 edges, 78 markings/sec, 195 secs
lola: 25822 markings, 51722 edges, 126 markings/sec, 200 secs
lola: 26549 markings, 53678 edges, 145 markings/sec, 205 secs
lola: 27226 markings, 55010 edges, 135 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(wait_10 + wait_11 + wait_12 + wait_13 + wait_14 + wait_15 + wait_16 + wait_17 + wait_18 + wait_19 + wait_20 + wait_21 + wait_22 + wait_23 + wait_24 + wait_25 + wait_26 + wait_27 + wait_28 + wait_29 + wait_30 + wait_31 + wait_32 + wait_33 + wait_34 + wait_35 + wait_36 + wait_37 + wait_38 + wait_39 + wait_40 + wait_1 + wait_2 + wait_3 + wait_4 + wait_5 + wait_6 + wait_7 + wait_8 + wait_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 3 markings, 2 edges, 0 markings/sec, 5 secs
lola: 4 markings, 3 edges, 0 markings/sec, 10 secs
lola: 5 markings, 4 edges, 0 markings/sec, 15 secs
lola: 7 markings, 6 edges, 0 markings/sec, 20 secs
lola: 8 markings, 7 edges, 0 markings/sec, 25 secs
lola: 10 markings, 9 edges, 0 markings/sec, 30 secs
lola: 13 markings, 12 edges, 1 markings/sec, 35 secs
lola: 16 markings, 15 edges, 1 markings/sec, 40 secs
lola: 46 markings, 54 edges, 6 markings/sec, 45 secs
lola: 608 markings, 1624 edges, 112 markings/sec, 50 secs
lola: 1450 markings, 4940 edges, 168 markings/sec, 55 secs
lola: 2290 markings, 8166 edges, 168 markings/sec, 60 secs
lola: 3166 markings, 11878 edges, 175 markings/sec, 65 secs
lola: 4033 markings, 15244 edges, 173 markings/sec, 70 secs
lola: 4885 markings, 18906 edges, 170 markings/sec, 75 secs
lola: 5737 markings, 22396 edges, 170 markings/sec, 80 secs
lola: 6816 markings, 26925 edges, 216 markings/sec, 85 secs
lola: 7784 markings, 30701 edges, 194 markings/sec, 90 secs
lola: 8763 markings, 34561 edges, 196 markings/sec, 95 secs
lola: 9721 markings, 38306 edges, 192 markings/sec, 100 secs
lola: 10692 markings, 42537 edges, 194 markings/sec, 105 secs
lola: 11634 markings, 46815 edges, 188 markings/sec, 110 secs
lola: 12579 markings, 51181 edges, 189 markings/sec, 115 secs
lola: 13554 markings, 55351 edges, 195 markings/sec, 120 secs
lola: 14551 markings, 59698 edges, 199 markings/sec, 125 secs
lola: 15511 markings, 64281 edges, 192 markings/sec, 130 secs
lola: 16452 markings, 68229 edges, 188 markings/sec, 135 secs
lola: 17416 markings, 72570 edges, 193 markings/sec, 140 secs
lola: 18325 markings, 76891 edges, 182 markings/sec, 145 secs
lola: 19279 markings, 80919 edges, 191 markings/sec, 150 secs
lola: 20237 markings, 85273 edges, 192 markings/sec, 155 secs
lola: 21100 markings, 89180 edges, 173 markings/sec, 160 secs
lola: 21953 markings, 92928 edges, 171 markings/sec, 165 secs
lola: 22816 markings, 96839 edges, 173 markings/sec, 170 secs
lola: 23657 markings, 100598 edges, 168 markings/sec, 175 secs
lola: 24523 markings, 104268 edges, 173 markings/sec, 180 secs
lola: 25469 markings, 108414 edges, 189 markings/sec, 185 secs
lola: 26336 markings, 112400 edges, 173 markings/sec, 190 secs
lola: 27230 markings, 116453 edges, 179 markings/sec, 195 secs
lola: 28136 markings, 120361 edges, 181 markings/sec, 200 secs
lola: 29081 markings, 124492 edges, 189 markings/sec, 205 secs
lola: 29955 markings, 128366 edges, 175 markings/sec, 210 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 219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 282 markings, 357 edges, 56 markings/sec, 5 secs
lola: 519 markings, 693 edges, 47 markings/sec, 10 secs
lola: 815 markings, 1194 edges, 59 markings/sec, 15 secs
lola: 1068 markings, 1685 edges, 51 markings/sec, 20 secs
lola: 1243 markings, 1942 edges, 35 markings/sec, 25 secs
lola: 1501 markings, 2653 edges, 52 markings/sec, 30 secs
lola: 1806 markings, 3565 edges, 61 markings/sec, 35 secs
lola: 2031 markings, 4256 edges, 45 markings/sec, 40 secs
lola: 2362 markings, 5258 edges, 66 markings/sec, 45 secs
lola: 2624 markings, 6109 edges, 52 markings/sec, 50 secs
lola: 2904 markings, 6996 edges, 56 markings/sec, 55 secs
lola: 3170 markings, 8289 edges, 53 markings/sec, 60 secs
lola: 3344 markings, 8919 edges, 35 markings/sec, 65 secs
lola: 3539 markings, 9690 edges, 39 markings/sec, 70 secs
lola: 3813 markings, 10589 edges, 55 markings/sec, 75 secs
lola: 4073 markings, 11641 edges, 52 markings/sec, 80 secs
lola: 4493 markings, 12739 edges, 84 markings/sec, 85 secs
lola: 4824 markings, 13807 edges, 66 markings/sec, 90 secs
lola: 5066 markings, 14739 edges, 48 markings/sec, 95 secs
lola: 5320 markings, 15514 edges, 51 markings/sec, 100 secs
lola: 5525 markings, 16568 edges, 41 markings/sec, 105 secs
lola: 5813 markings, 17310 edges, 58 markings/sec, 110 secs
lola: 6199 markings, 18348 edges, 77 markings/sec, 115 secs
lola: 6498 markings, 19545 edges, 60 markings/sec, 120 secs
lola: 6839 markings, 20479 edges, 68 markings/sec, 125 secs
lola: 7205 markings, 21674 edges, 73 markings/sec, 130 secs
lola: 7494 markings, 22658 edges, 58 markings/sec, 135 secs
lola: 7794 markings, 23788 edges, 60 markings/sec, 140 secs
lola: 8111 markings, 24488 edges, 63 markings/sec, 145 secs
lola: 8335 markings, 24964 edges, 45 markings/sec, 150 secs
lola: 8621 markings, 26462 edges, 57 markings/sec, 155 secs
lola: 8931 markings, 27477 edges, 62 markings/sec, 160 secs
lola: 9247 markings, 28301 edges, 63 markings/sec, 165 secs
lola: 9393 markings, 29139 edges, 29 markings/sec, 170 secs
lola: 9646 markings, 30111 edges, 51 markings/sec, 175 secs
lola: 9876 markings, 31049 edges, 46 markings/sec, 180 secs
lola: 10132 markings, 32001 edges, 51 markings/sec, 185 secs
lola: 10419 markings, 32900 edges, 57 markings/sec, 190 secs
lola: 10654 markings, 33854 edges, 47 markings/sec, 195 secs
lola: 11009 markings, 35681 edges, 71 markings/sec, 200 secs
lola: 11276 markings, 37111 edges, 53 markings/sec, 205 secs
lola: 11510 markings, 38331 edges, 47 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 291 markings, 366 edges, 58 markings/sec, 5 secs
lola: 542 markings, 720 edges, 50 markings/sec, 10 secs
lola: 856 markings, 1279 edges, 63 markings/sec, 15 secs
lola: 1122 markings, 1782 edges, 53 markings/sec, 20 secs
lola: 1276 markings, 1992 edges, 31 markings/sec, 25 secs
lola: 1564 markings, 2767 edges, 58 markings/sec, 30 secs
lola: 1917 markings, 3883 edges, 71 markings/sec, 35 secs
lola: 2258 markings, 5035 edges, 68 markings/sec, 40 secs
lola: 2462 markings, 5523 edges, 41 markings/sec, 45 secs
lola: 2703 markings, 6425 edges, 48 markings/sec, 50 secs
lola: 3016 markings, 7646 edges, 63 markings/sec, 55 secs
lola: 3260 markings, 8724 edges, 49 markings/sec, 60 secs
lola: 3403 markings, 9165 edges, 29 markings/sec, 65 secs
lola: 3620 markings, 9886 edges, 43 markings/sec, 70 secs
lola: 3859 markings, 10693 edges, 48 markings/sec, 75 secs
lola: 4207 markings, 11928 edges, 70 markings/sec, 80 secs
lola: 4608 markings, 12983 edges, 80 markings/sec, 85 secs
lola: 4896 markings, 14051 edges, 58 markings/sec, 90 secs
lola: 5196 markings, 15129 edges, 60 markings/sec, 95 secs
lola: 5368 markings, 15878 edges, 34 markings/sec, 100 secs
lola: 5558 markings, 16635 edges, 38 markings/sec, 105 secs
lola: 5914 markings, 17683 edges, 71 markings/sec, 110 secs
lola: 6267 markings, 18510 edges, 71 markings/sec, 115 secs
lola: 6600 markings, 19955 edges, 67 markings/sec, 120 secs
lola: 6954 markings, 20786 edges, 71 markings/sec, 125 secs
lola: 7326 markings, 21927 edges, 74 markings/sec, 130 secs
lola: 7621 markings, 23035 edges, 59 markings/sec, 135 secs
lola: 7991 markings, 24224 edges, 74 markings/sec, 140 secs
lola: 8274 markings, 24830 edges, 57 markings/sec, 145 secs
lola: 8486 markings, 25814 edges, 42 markings/sec, 150 secs
lola: 8777 markings, 26812 edges, 58 markings/sec, 155 secs
lola: 9131 markings, 27979 edges, 71 markings/sec, 160 secs
lola: 9340 markings, 28641 edges, 42 markings/sec, 165 secs
lola: 9639 markings, 30097 edges, 60 markings/sec, 170 secs
lola: 9883 markings, 31063 edges, 49 markings/sec, 175 secs
lola: 10143 markings, 32025 edges, 52 markings/sec, 180 secs
lola: 10426 markings, 32920 edges, 57 markings/sec, 185 secs
lola: 10659 markings, 33866 edges, 47 markings/sec, 190 secs
lola: 11040 markings, 35793 edges, 76 markings/sec, 195 secs
lola: 11287 markings, 37133 edges, 49 markings/sec, 200 secs
lola: 11539 markings, 38419 edges, 50 markings/sec, 205 secs
lola: 11808 markings, 39799 edges, 54 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theProducts_1 + theProducts_2 + theProducts_3 + theProducts_4 + theProducts_5 + theProducts_6 + theProducts_7 + theProducts_8 + theProducts_9 + theProducts_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 287 markings, 362 edges, 57 markings/sec, 5 secs
lola: 542 markings, 720 edges, 51 markings/sec, 10 secs
lola: 858 markings, 1284 edges, 63 markings/sec, 15 secs
lola: 1129 markings, 1791 edges, 54 markings/sec, 20 secs
lola: 1283 markings, 2006 edges, 31 markings/sec, 25 secs
lola: 1569 markings, 2776 edges, 57 markings/sec, 30 secs
lola: 1934 markings, 3906 edges, 73 markings/sec, 35 secs
lola: 2286 markings, 5094 edges, 70 markings/sec, 40 secs
lola: 2570 markings, 5969 edges, 57 markings/sec, 45 secs
lola: 2820 markings, 6747 edges, 50 markings/sec, 50 secs
lola: 3129 markings, 8147 edges, 62 markings/sec, 55 secs
lola: 3333 markings, 8896 edges, 41 markings/sec, 60 secs
lola: 3514 markings, 9640 edges, 36 markings/sec, 65 secs
lola: 3780 markings, 10324 edges, 53 markings/sec, 70 secs
lola: 4032 markings, 11558 edges, 50 markings/sec, 75 secs
lola: 4477 markings, 12707 edges, 89 markings/sec, 80 secs
lola: 4788 markings, 13716 edges, 62 markings/sec, 85 secs
lola: 5037 markings, 14573 edges, 50 markings/sec, 90 secs
lola: 5307 markings, 15483 edges, 54 markings/sec, 95 secs
lola: 5524 markings, 16566 edges, 43 markings/sec, 100 secs
lola: 5799 markings, 17282 edges, 55 markings/sec, 105 secs
lola: 6126 markings, 18139 edges, 65 markings/sec, 110 secs
lola: 6452 markings, 19198 edges, 65 markings/sec, 115 secs
lola: 6779 markings, 20347 edges, 65 markings/sec, 120 secs
lola: 7168 markings, 21591 edges, 78 markings/sec, 125 secs
lola: 7500 markings, 22674 edges, 66 markings/sec, 130 secs
lola: 7841 markings, 23882 edges, 68 markings/sec, 135 secs
lola: 8154 markings, 24578 edges, 63 markings/sec, 140 secs
lola: 8366 markings, 25185 edges, 42 markings/sec, 145 secs
lola: 8650 markings, 26526 edges, 57 markings/sec, 150 secs
lola: 8985 markings, 27632 edges, 67 markings/sec, 155 secs
lola: 9292 markings, 28539 edges, 61 markings/sec, 160 secs
lola: 9505 markings, 29661 edges, 43 markings/sec, 165 secs
lola: 9787 markings, 30420 edges, 56 markings/sec, 170 secs
lola: 10059 markings, 31844 edges, 54 markings/sec, 175 secs
lola: 10343 markings, 32710 edges, 57 markings/sec, 180 secs
lola: 10581 markings, 33688 edges, 48 markings/sec, 185 secs
lola: 10877 markings, 35163 edges, 59 markings/sec, 190 secs
lola: 11229 markings, 36745 edges, 70 markings/sec, 195 secs
lola: 11440 markings, 37955 edges, 42 markings/sec, 200 secs
lola: 11689 markings, 38920 edges, 50 markings/sec, 205 secs
lola: 11986 markings, 41019 edges, 59 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(theOptions_10 + theOptions_1 + theOptions_2 + theOptions_3 + theOptions_4 + theOptions_5 + theOptions_6 + theOptions_7 + theOptions_8 + theOptions_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 4 markings, 3 edges, 0 markings/sec, 5 secs
lola: 7 markings, 6 edges, 1 markings/sec, 10 secs
lola: 9 markings, 8 edges, 0 markings/sec, 15 secs
lola: 12 markings, 11 edges, 1 markings/sec, 20 secs
lola: 15 markings, 14 edges, 1 markings/sec, 25 secs
lola: 20 markings, 19 edges, 1 markings/sec, 30 secs
lola: 30 markings, 29 edges, 2 markings/sec, 35 secs
lola: 277 markings, 331 edges, 49 markings/sec, 40 secs
lola: 439 markings, 546 edges, 32 markings/sec, 45 secs
lola: 656 markings, 910 edges, 43 markings/sec, 50 secs
lola: 871 markings, 1307 edges, 43 markings/sec, 55 secs
lola: 1031 markings, 1541 edges, 32 markings/sec, 60 secs
lola: 1188 markings, 1751 edges, 31 markings/sec, 65 secs
lola: 1302 markings, 1915 edges, 23 markings/sec, 70 secs
lola: 1450 markings, 2146 edges, 30 markings/sec, 75 secs
lola: 1570 markings, 2308 edges, 24 markings/sec, 80 secs
lola: 1680 markings, 2454 edges, 22 markings/sec, 85 secs
lola: 1778 markings, 2599 edges, 20 markings/sec, 90 secs
lola: 1934 markings, 2825 edges, 31 markings/sec, 95 secs
lola: 2089 markings, 3039 edges, 31 markings/sec, 100 secs
lola: 2212 markings, 3206 edges, 25 markings/sec, 105 secs
lola: 2421 markings, 3585 edges, 42 markings/sec, 110 secs
lola: 2608 markings, 3943 edges, 37 markings/sec, 115 secs
lola: 2829 markings, 4355 edges, 44 markings/sec, 120 secs
lola: 3051 markings, 4769 edges, 44 markings/sec, 125 secs
lola: 3182 markings, 4975 edges, 26 markings/sec, 130 secs
lola: 3499 markings, 5614 edges, 63 markings/sec, 135 secs
lola: 3798 markings, 6196 edges, 60 markings/sec, 140 secs
lola: 3980 markings, 6456 edges, 36 markings/sec, 145 secs
lola: 4156 markings, 6753 edges, 35 markings/sec, 150 secs
lola: 4287 markings, 6940 edges, 26 markings/sec, 155 secs
lola: 4439 markings, 7191 edges, 30 markings/sec, 160 secs
lola: 4574 markings, 7388 edges, 27 markings/sec, 165 secs
lola: 4670 markings, 7537 edges, 19 markings/sec, 170 secs
lola: 4795 markings, 7723 edges, 25 markings/sec, 175 secs
lola: 4947 markings, 7989 edges, 30 markings/sec, 180 secs
lola: 5126 markings, 8325 edges, 36 markings/sec, 185 secs
lola: 5297 markings, 8598 edges, 34 markings/sec, 190 secs
lola: 5447 markings, 8850 edges, 30 markings/sec, 195 secs
lola: 5563 markings, 9015 edges, 23 markings/sec, 200 secs
lola: 5691 markings, 9233 edges, 26 markings/sec, 205 secs
lola: 5854 markings, 9539 edges, 33 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready_9 + ready_8 + ready_7 + ready_6 + ready_5 + ready_4 + ready_3 + ready_2 + ready_1 + ready_10 + ready_11 + ready_12 + ready_13 + ready_14 + ready_15 + ready_16 + ready_17 + ready_18 + ready_19 + ready_20 + ready_21 + ready_22 + ready_23 + ready_24 + ready_25 + ready_26 + ready_27 + ready_28 + ready_29 + ready_30 + ready_31 + ready_32 + ready_33 + ready_34 + ready_35 + ready_36 + ready_37 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 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: 2 markings, 1 edges, 0 markings/sec, 0 secs
lola: 820 markings, 1146 edges, 164 markings/sec, 5 secs
lola: 1649 markings, 2347 edges, 166 markings/sec, 10 secs
lola: 2383 markings, 3479 edges, 147 markings/sec, 15 secs
lola: 3161 markings, 4701 edges, 156 markings/sec, 20 secs
lola: 3876 markings, 5964 edges, 143 markings/sec, 25 secs
lola: 4653 markings, 7170 edges, 155 markings/sec, 30 secs
lola: 5389 markings, 8350 edges, 147 markings/sec, 35 secs
lola: 6133 markings, 9500 edges, 149 markings/sec, 40 secs
lola: 6790 markings, 10653 edges, 131 markings/sec, 45 secs
lola: 7416 markings, 11646 edges, 125 markings/sec, 50 secs
lola: 8126 markings, 13014 edges, 142 markings/sec, 55 secs
lola: 8937 markings, 15053 edges, 162 markings/sec, 60 secs
lola: 9459 markings, 15736 edges, 104 markings/sec, 65 secs
lola: 10203 markings, 17325 edges, 149 markings/sec, 70 secs
lola: 10988 markings, 19181 edges, 157 markings/sec, 75 secs
lola: 11659 markings, 20407 edges, 134 markings/sec, 80 secs
lola: 12295 markings, 21878 edges, 127 markings/sec, 85 secs
lola: 12842 markings, 22715 edges, 109 markings/sec, 90 secs
lola: 13510 markings, 23699 edges, 134 markings/sec, 95 secs
lola: 14100 markings, 24737 edges, 118 markings/sec, 100 secs
lola: 14697 markings, 25776 edges, 119 markings/sec, 105 secs
lola: 15278 markings, 26696 edges, 116 markings/sec, 110 secs
lola: 16024 markings, 28652 edges, 149 markings/sec, 115 secs
lola: 16690 markings, 29934 edges, 133 markings/sec, 120 secs
lola: 17367 markings, 31572 edges, 135 markings/sec, 125 secs
lola: 18021 markings, 33093 edges, 131 markings/sec, 130 secs
lola: 18600 markings, 34094 edges, 116 markings/sec, 135 secs
lola: 19285 markings, 36279 edges, 137 markings/sec, 140 secs
lola: 20002 markings, 38173 edges, 143 markings/sec, 145 secs
lola: 20571 markings, 39051 edges, 114 markings/sec, 150 secs
lola: 21319 markings, 40628 edges, 150 markings/sec, 155 secs
lola: 21943 markings, 41821 edges, 125 markings/sec, 160 secs
lola: 22612 markings, 43744 edges, 134 markings/sec, 165 secs
lola: 23125 markings, 44575 edges, 103 markings/sec, 170 secs
lola: 23770 markings, 45632 edges, 129 markings/sec, 175 secs
lola: 24316 markings, 47032 edges, 109 markings/sec, 180 secs
lola: 24864 markings, 49543 edges, 110 markings/sec, 185 secs
lola: 25238 markings, 50208 edges, 75 markings/sec, 190 secs
lola: 25944 markings, 52133 edges, 141 markings/sec, 195 secs
lola: 26696 markings, 54089 edges, 150 markings/sec, 200 secs
lola: 27437 markings, 55599 edges, 148 markings/sec, 205 secs
lola: 28132 markings, 56753 edges, 139 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DrinkVendingMachine-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DrinkVendingMachine-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496363234268

--------------------
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_DrinkVendingMachine-PT-10"
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_DrinkVendingMachine-PT-10.tgz
mv S_DrinkVendingMachine-PT-10 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_DrinkVendingMachine-PT-10, 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 r108-blw3-149441612200227"
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 ;