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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DrinkVendingMachine-PT-10 @ 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: 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 8 bytes per marking, with 4 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: 415 markings, 483 edges, 83 markings/sec, 5 secs
lola: 1010 markings, 1431 edges, 119 markings/sec, 10 secs
lola: 1619 markings, 2274 edges, 122 markings/sec, 15 secs
lola: 2197 markings, 3057 edges, 116 markings/sec, 20 secs
lola: 2761 markings, 3842 edges, 113 markings/sec, 25 secs
lola: 3298 markings, 4763 edges, 107 markings/sec, 30 secs
lola: 3890 markings, 5677 edges, 118 markings/sec, 35 secs
lola: 4520 markings, 6607 edges, 126 markings/sec, 40 secs
lola: 5007 markings, 7304 edges, 97 markings/sec, 45 secs
lola: 5589 markings, 8107 edges, 116 markings/sec, 50 secs
lola: 6131 markings, 8844 edges, 108 markings/sec, 55 secs
lola: 6700 markings, 9636 edges, 114 markings/sec, 60 secs
lola: 7243 markings, 10563 edges, 109 markings/sec, 65 secs
lola: 7835 markings, 11477 edges, 118 markings/sec, 70 secs
lola: 8459 markings, 12401 edges, 125 markings/sec, 75 secs
lola: 8921 markings, 13053 edges, 92 markings/sec, 80 secs
lola: 9480 markings, 13838 edges, 112 markings/sec, 85 secs
lola: 10056 markings, 14623 edges, 115 markings/sec, 90 secs
lola: 10546 markings, 15301 edges, 98 markings/sec, 95 secs
lola: 11084 markings, 16207 edges, 108 markings/sec, 100 secs
lola: 11524 markings, 16903 edges, 88 markings/sec, 105 secs
lola: 12137 markings, 17837 edges, 123 markings/sec, 110 secs
lola: 12645 markings, 18537 edges, 102 markings/sec, 115 secs
lola: 13039 markings, 19080 edges, 79 markings/sec, 120 secs
lola: 13654 markings, 19970 edges, 123 markings/sec, 125 secs
lola: 14119 markings, 20577 edges, 93 markings/sec, 130 secs
lola: 14639 markings, 21303 edges, 104 markings/sec, 135 secs
lola: 15175 markings, 22221 edges, 107 markings/sec, 140 secs
lola: 15678 markings, 23029 edges, 101 markings/sec, 145 secs
lola: 16251 markings, 23883 edges, 115 markings/sec, 150 secs
lola: 16741 markings, 24564 edges, 98 markings/sec, 155 secs
lola: 17123 markings, 25058 edges, 76 markings/sec, 160 secs
lola: 17731 markings, 25936 edges, 122 markings/sec, 165 secs
lola: 18217 markings, 26607 edges, 97 markings/sec, 170 secs
lola: 18835 markings, 27637 edges, 124 markings/sec, 175 secs
lola: 19239 markings, 28211 edges, 81 markings/sec, 180 secs
lola: 19784 markings, 29030 edges, 109 markings/sec, 185 secs
lola: 20379 markings, 29915 edges, 119 markings/sec, 190 secs
lola: 20809 markings, 30528 edges, 86 markings/sec, 195 secs
lola: 21264 markings, 31195 edges, 91 markings/sec, 200 secs
lola: 21710 markings, 31829 edges, 89 markings/sec, 205 secs
lola: 22189 markings, 32638 edges, 96 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 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 8 bytes per marking, with 4 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: 5 markings, 4 edges, 1 markings/sec, 5 secs
lola: 282 markings, 357 edges, 55 markings/sec, 10 secs
lola: 439 markings, 590 edges, 31 markings/sec, 15 secs
lola: 589 markings, 797 edges, 30 markings/sec, 20 secs
lola: 768 markings, 1040 edges, 36 markings/sec, 25 secs
lola: 908 markings, 1365 edges, 28 markings/sec, 30 secs
lola: 1078 markings, 1700 edges, 34 markings/sec, 35 secs
lola: 1187 markings, 1867 edges, 22 markings/sec, 40 secs
lola: 1283 markings, 2006 edges, 19 markings/sec, 45 secs
lola: 1487 markings, 2625 edges, 41 markings/sec, 50 secs
lola: 1615 markings, 2930 edges, 26 markings/sec, 55 secs
lola: 1862 markings, 3749 edges, 49 markings/sec, 60 secs
lola: 2014 markings, 4226 edges, 30 markings/sec, 65 secs
lola: 2190 markings, 4875 edges, 35 markings/sec, 70 secs
lola: 2370 markings, 5335 edges, 36 markings/sec, 75 secs
lola: 2534 markings, 5792 edges, 33 markings/sec, 80 secs
lola: 2679 markings, 6305 edges, 29 markings/sec, 85 secs
lola: 2884 markings, 6942 edges, 41 markings/sec, 90 secs
lola: 3060 markings, 7811 edges, 35 markings/sec, 95 secs
lola: 3246 markings, 8695 edges, 37 markings/sec, 100 secs
lola: 3340 markings, 8910 edges, 19 markings/sec, 105 secs
lola: 3464 markings, 9533 edges, 25 markings/sec, 110 secs
lola: 3580 markings, 9774 edges, 23 markings/sec, 115 secs
lola: 3747 markings, 10241 edges, 33 markings/sec, 120 secs
lola: 3870 markings, 10711 edges, 25 markings/sec, 125 secs
lola: 4049 markings, 11592 edges, 36 markings/sec, 130 secs
lola: 4307 markings, 12218 edges, 52 markings/sec, 135 secs
lola: 4511 markings, 12777 edges, 41 markings/sec, 140 secs
lola: 4703 markings, 13202 edges, 38 markings/sec, 145 secs
lola: 4878 markings, 14000 edges, 35 markings/sec, 150 secs
lola: 5025 markings, 14409 edges, 29 markings/sec, 155 secs
lola: 5212 markings, 15161 edges, 37 markings/sec, 160 secs
lola: 5332 markings, 15541 edges, 24 markings/sec, 165 secs
lola: 5475 markings, 16353 edges, 29 markings/sec, 170 secs
lola: 5586 markings, 16693 edges, 22 markings/sec, 175 secs
lola: 5792 markings, 17268 edges, 41 markings/sec, 180 secs
lola: 6002 markings, 17872 edges, 42 markings/sec, 185 secs
lola: 6215 markings, 18382 edges, 43 markings/sec, 190 secs
lola: 6421 markings, 18993 edges, 41 markings/sec, 195 secs
lola: 6593 markings, 19940 edges, 34 markings/sec, 200 secs
lola: 6773 markings, 20336 edges, 36 markings/sec, 205 secs
lola: 7026 markings, 21034 edges, 51 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 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 8 bytes per marking, with 4 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: 4 markings, 3 edges, 0 markings/sec, 15 secs
lola: 5 markings, 4 edges, 0 markings/sec, 20 secs
lola: 6 markings, 5 edges, 0 markings/sec, 25 secs
lola: 7 markings, 6 edges, 0 markings/sec, 30 secs
lola: 9 markings, 8 edges, 0 markings/sec, 35 secs
lola: 10 markings, 9 edges, 0 markings/sec, 40 secs
lola: 12 markings, 11 edges, 0 markings/sec, 45 secs
lola: 14 markings, 13 edges, 0 markings/sec, 50 secs
lola: 17 markings, 16 edges, 1 markings/sec, 55 secs
lola: 34 markings, 38 edges, 3 markings/sec, 60 secs
lola: 245 markings, 438 edges, 42 markings/sec, 65 secs
lola: 688 markings, 1923 edges, 89 markings/sec, 70 secs
lola: 1123 markings, 3578 edges, 87 markings/sec, 75 secs
lola: 1562 markings, 5422 edges, 88 markings/sec, 80 secs
lola: 1981 markings, 7002 edges, 84 markings/sec, 85 secs
lola: 2365 markings, 8449 edges, 77 markings/sec, 90 secs
lola: 2791 markings, 10208 edges, 85 markings/sec, 95 secs
lola: 3207 markings, 12068 edges, 83 markings/sec, 100 secs
lola: 3581 markings, 13430 edges, 75 markings/sec, 105 secs
lola: 4005 markings, 15135 edges, 85 markings/sec, 110 secs
lola: 4453 markings, 16984 edges, 90 markings/sec, 115 secs
lola: 4888 markings, 18916 edges, 87 markings/sec, 120 secs
lola: 5320 markings, 20714 edges, 86 markings/sec, 125 secs
lola: 5761 markings, 22488 edges, 88 markings/sec, 130 secs
lola: 6179 markings, 24200 edges, 84 markings/sec, 135 secs
lola: 6647 markings, 26187 edges, 94 markings/sec, 140 secs
lola: 7085 markings, 27797 edges, 88 markings/sec, 145 secs
lola: 7474 markings, 29357 edges, 78 markings/sec, 150 secs
lola: 7929 markings, 31206 edges, 91 markings/sec, 155 secs
lola: 8362 markings, 33028 edges, 87 markings/sec, 160 secs
lola: 8818 markings, 34796 edges, 91 markings/sec, 165 secs
lola: 9248 markings, 36430 edges, 86 markings/sec, 170 secs
lola: 9701 markings, 38223 edges, 91 markings/sec, 175 secs
lola: 10221 markings, 40487 edges, 104 markings/sec, 180 secs
lola: 10677 markings, 42476 edges, 91 markings/sec, 185 secs
lola: 11158 markings, 44689 edges, 96 markings/sec, 190 secs
lola: 11648 markings, 46884 edges, 98 markings/sec, 195 secs
lola: 12127 markings, 49077 edges, 96 markings/sec, 200 secs
lola: 12669 markings, 51549 edges, 108 markings/sec, 205 secs
lola: 13185 markings, 53692 edges, 103 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 8 bytes per marking, with 4 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: 312 markings, 348 edges, 62 markings/sec, 5 secs
lola: 932 markings, 1305 edges, 124 markings/sec, 10 secs
lola: 1544 markings, 2218 edges, 122 markings/sec, 15 secs
lola: 2006 markings, 3002 edges, 92 markings/sec, 20 secs
lola: 2520 markings, 3761 edges, 103 markings/sec, 25 secs
lola: 3014 markings, 4503 edges, 99 markings/sec, 30 secs
lola: 3470 markings, 5344 edges, 91 markings/sec, 35 secs
lola: 3958 markings, 6065 edges, 98 markings/sec, 40 secs
lola: 4435 markings, 6857 edges, 95 markings/sec, 45 secs
lola: 4975 markings, 7716 edges, 108 markings/sec, 50 secs
lola: 5431 markings, 8409 edges, 91 markings/sec, 55 secs
lola: 5934 markings, 9185 edges, 101 markings/sec, 60 secs
lola: 6431 markings, 10018 edges, 99 markings/sec, 65 secs
lola: 6858 markings, 10737 edges, 85 markings/sec, 70 secs
lola: 7295 markings, 11451 edges, 87 markings/sec, 75 secs
lola: 7659 markings, 12097 edges, 73 markings/sec, 80 secs
lola: 8201 markings, 13140 edges, 108 markings/sec, 85 secs
lola: 8715 markings, 14678 edges, 103 markings/sec, 90 secs
lola: 9159 markings, 15354 edges, 89 markings/sec, 95 secs
lola: 9473 markings, 15762 edges, 63 markings/sec, 100 secs
lola: 9981 markings, 17020 edges, 102 markings/sec, 105 secs
lola: 10493 markings, 17830 edges, 102 markings/sec, 110 secs
lola: 10995 markings, 19189 edges, 100 markings/sec, 115 secs
lola: 11470 markings, 20099 edges, 95 markings/sec, 120 secs
lola: 11905 markings, 21308 edges, 87 markings/sec, 125 secs
lola: 12291 markings, 21873 edges, 77 markings/sec, 130 secs
lola: 12685 markings, 22505 edges, 79 markings/sec, 135 secs
lola: 13067 markings, 23054 edges, 76 markings/sec, 140 secs
lola: 13561 markings, 23761 edges, 99 markings/sec, 145 secs
lola: 13958 markings, 24371 edges, 79 markings/sec, 150 secs
lola: 14428 markings, 25302 edges, 94 markings/sec, 155 secs
lola: 14809 markings, 25956 edges, 76 markings/sec, 160 secs
lola: 15215 markings, 26592 edges, 81 markings/sec, 165 secs
lola: 15759 markings, 28123 edges, 109 markings/sec, 170 secs
lola: 16255 markings, 29202 edges, 99 markings/sec, 175 secs
lola: 16633 markings, 29847 edges, 76 markings/sec, 180 secs
lola: 17044 markings, 30517 edges, 82 markings/sec, 185 secs
lola: 17477 markings, 31729 edges, 87 markings/sec, 190 secs
lola: 17952 markings, 32992 edges, 95 markings/sec, 195 secs
lola: 18343 markings, 33626 edges, 78 markings/sec, 200 secs
lola: 18760 markings, 34794 edges, 83 markings/sec, 205 secs
lola: 19215 markings, 35717 edges, 91 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 219 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 8 bytes per marking, with 4 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: 5 markings, 4 edges, 0 markings/sec, 10 secs
lola: 7 markings, 6 edges, 0 markings/sec, 15 secs
lola: 9 markings, 8 edges, 0 markings/sec, 20 secs
lola: 11 markings, 10 edges, 0 markings/sec, 25 secs
lola: 12 markings, 11 edges, 0 markings/sec, 30 secs
lola: 16 markings, 15 edges, 1 markings/sec, 35 secs
lola: 20 markings, 19 edges, 1 markings/sec, 40 secs
lola: 28 markings, 27 edges, 2 markings/sec, 45 secs
lola: 180 markings, 201 edges, 30 markings/sec, 50 secs
lola: 336 markings, 408 edges, 31 markings/sec, 55 secs
lola: 454 markings, 570 edges, 24 markings/sec, 60 secs
lola: 614 markings, 830 edges, 32 markings/sec, 65 secs
lola: 793 markings, 1163 edges, 36 markings/sec, 70 secs
lola: 927 markings, 1380 edges, 27 markings/sec, 75 secs
lola: 1076 markings, 1602 edges, 30 markings/sec, 80 secs
lola: 1193 markings, 1758 edges, 23 markings/sec, 85 secs
lola: 1285 markings, 1887 edges, 18 markings/sec, 90 secs
lola: 1415 markings, 2101 edges, 26 markings/sec, 95 secs
lola: 1518 markings, 2239 edges, 21 markings/sec, 100 secs
lola: 1606 markings, 2356 edges, 18 markings/sec, 105 secs
lola: 1684 markings, 2460 edges, 16 markings/sec, 110 secs
lola: 1755 markings, 2560 edges, 14 markings/sec, 115 secs
lola: 1861 markings, 2725 edges, 21 markings/sec, 120 secs
lola: 1978 markings, 2883 edges, 23 markings/sec, 125 secs
lola: 2099 markings, 3054 edges, 24 markings/sec, 130 secs
lola: 2195 markings, 3181 edges, 19 markings/sec, 135 secs
lola: 2331 markings, 3420 edges, 27 markings/sec, 140 secs
lola: 2474 markings, 3682 edges, 29 markings/sec, 145 secs
lola: 2608 markings, 3943 edges, 27 markings/sec, 150 secs
lola: 2742 markings, 4202 edges, 27 markings/sec, 155 secs
lola: 2906 markings, 4477 edges, 33 markings/sec, 160 secs
lola: 3080 markings, 4813 edges, 35 markings/sec, 165 secs
lola: 3168 markings, 4951 edges, 18 markings/sec, 170 secs
lola: 3355 markings, 5326 edges, 37 markings/sec, 175 secs
lola: 3553 markings, 5722 edges, 40 markings/sec, 180 secs
lola: 3732 markings, 6075 edges, 36 markings/sec, 185 secs
lola: 3886 markings, 6315 edges, 31 markings/sec, 190 secs
lola: 3995 markings, 6477 edges, 22 markings/sec, 195 secs
lola: 4140 markings, 6734 edges, 29 markings/sec, 200 secs
lola: 4240 markings, 6878 edges, 20 markings/sec, 205 secs
lola: 4330 markings, 7012 edges, 18 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 8 bytes per marking, with 4 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: 371 markings, 421 edges, 74 markings/sec, 5 secs
lola: 990 markings, 1387 edges, 124 markings/sec, 10 secs
lola: 1589 markings, 2275 edges, 120 markings/sec, 15 secs
lola: 2093 markings, 3127 edges, 101 markings/sec, 20 secs
lola: 2612 markings, 3935 edges, 104 markings/sec, 25 secs
lola: 3075 markings, 4579 edges, 93 markings/sec, 30 secs
lola: 3595 markings, 5557 edges, 104 markings/sec, 35 secs
lola: 4162 markings, 6457 edges, 113 markings/sec, 40 secs
lola: 4708 markings, 7261 edges, 109 markings/sec, 45 secs
lola: 5261 markings, 8136 edges, 111 markings/sec, 50 secs
lola: 5819 markings, 9002 edges, 112 markings/sec, 55 secs
lola: 6434 markings, 10021 edges, 123 markings/sec, 60 secs
lola: 6922 markings, 10817 edges, 98 markings/sec, 65 secs
lola: 7429 markings, 11663 edges, 101 markings/sec, 70 secs
lola: 7941 markings, 12760 edges, 102 markings/sec, 75 secs
lola: 8548 markings, 14438 edges, 121 markings/sec, 80 secs
lola: 9125 markings, 15314 edges, 115 markings/sec, 85 secs
lola: 9519 markings, 15822 edges, 79 markings/sec, 90 secs
lola: 10163 markings, 17261 edges, 129 markings/sec, 95 secs
lola: 10805 markings, 18901 edges, 128 markings/sec, 100 secs
lola: 11354 markings, 19827 edges, 110 markings/sec, 105 secs
lola: 11887 markings, 21258 edges, 107 markings/sec, 110 secs
lola: 12324 markings, 21918 edges, 87 markings/sec, 115 secs
lola: 12787 markings, 22639 edges, 93 markings/sec, 120 secs
lola: 13269 markings, 23327 edges, 96 markings/sec, 125 secs
lola: 13749 markings, 24060 edges, 96 markings/sec, 130 secs
lola: 14286 markings, 25062 edges, 107 markings/sec, 135 secs
lola: 14746 markings, 25863 edges, 92 markings/sec, 140 secs
lola: 15212 markings, 26588 edges, 93 markings/sec, 145 secs
lola: 15861 markings, 28325 edges, 130 markings/sec, 150 secs
lola: 16468 markings, 29546 edges, 121 markings/sec, 155 secs
lola: 17051 markings, 30531 edges, 117 markings/sec, 160 secs
lola: 17643 markings, 32599 edges, 118 markings/sec, 165 secs
lola: 18251 markings, 33494 edges, 122 markings/sec, 170 secs
lola: 18760 markings, 34794 edges, 102 markings/sec, 175 secs
lola: 19304 markings, 36302 edges, 109 markings/sec, 180 secs
lola: 19959 markings, 38102 edges, 131 markings/sec, 185 secs
lola: 20437 markings, 38833 edges, 96 markings/sec, 190 secs
lola: 21039 markings, 40173 edges, 120 markings/sec, 195 secs
lola: 21607 markings, 41110 edges, 114 markings/sec, 200 secs
lola: 22188 markings, 42765 edges, 116 markings/sec, 205 secs
lola: 22762 markings, 43945 edges, 115 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 8 bytes per marking, with 4 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: 27 markings, 28 edges, 2 markings/sec, 45 secs
lola: 266 markings, 492 edges, 48 markings/sec, 50 secs
lola: 1070 markings, 3357 edges, 161 markings/sec, 55 secs
lola: 1891 markings, 6690 edges, 164 markings/sec, 60 secs
lola: 2694 markings, 9831 edges, 161 markings/sec, 65 secs
lola: 3459 markings, 12940 edges, 153 markings/sec, 70 secs
lola: 4286 markings, 16241 edges, 165 markings/sec, 75 secs
lola: 5055 markings, 19654 edges, 154 markings/sec, 80 secs
lola: 5836 markings, 22803 edges, 156 markings/sec, 85 secs
lola: 6700 markings, 26440 edges, 173 markings/sec, 90 secs
lola: 7552 markings, 29696 edges, 170 markings/sec, 95 secs
lola: 8423 markings, 33326 edges, 174 markings/sec, 100 secs
lola: 9264 markings, 36495 edges, 168 markings/sec, 105 secs
lola: 10134 markings, 40115 edges, 174 markings/sec, 110 secs
lola: 10995 markings, 43979 edges, 172 markings/sec, 115 secs
lola: 11861 markings, 47907 edges, 173 markings/sec, 120 secs
lola: 12733 markings, 51830 edges, 174 markings/sec, 125 secs
lola: 13576 markings, 55428 edges, 169 markings/sec, 130 secs
lola: 14434 markings, 59156 edges, 172 markings/sec, 135 secs
lola: 15278 markings, 63224 edges, 169 markings/sec, 140 secs
lola: 16131 markings, 66947 edges, 171 markings/sec, 145 secs
lola: 17006 markings, 70715 edges, 175 markings/sec, 150 secs
lola: 17878 markings, 74832 edges, 174 markings/sec, 155 secs
lola: 18727 markings, 78660 edges, 170 markings/sec, 160 secs
lola: 19592 markings, 82312 edges, 173 markings/sec, 165 secs
lola: 20474 markings, 86228 edges, 176 markings/sec, 170 secs
lola: 21361 markings, 90443 edges, 177 markings/sec, 175 secs
lola: 22226 markings, 94092 edges, 173 markings/sec, 180 secs
lola: 23104 markings, 98270 edges, 176 markings/sec, 185 secs
lola: 24011 markings, 102076 edges, 181 markings/sec, 190 secs
lola: 24944 markings, 106048 edges, 187 markings/sec, 195 secs
lola: 25856 markings, 110265 edges, 182 markings/sec, 200 secs
lola: 26726 markings, 114115 edges, 174 markings/sec, 205 secs
lola: 27506 markings, 117614 edges, 156 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 8 bytes per marking, with 4 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: 724 markings, 986 edges, 144 markings/sec, 5 secs
lola: 1535 markings, 2208 edges, 162 markings/sec, 10 secs
lola: 2227 markings, 3289 edges, 138 markings/sec, 15 secs
lola: 2914 markings, 4378 edges, 137 markings/sec, 20 secs
lola: 3568 markings, 5519 edges, 131 markings/sec, 25 secs
lola: 4236 markings, 6548 edges, 134 markings/sec, 30 secs
lola: 4964 markings, 7702 edges, 146 markings/sec, 35 secs
lola: 5614 markings, 8683 edges, 130 markings/sec, 40 secs
lola: 6428 markings, 10014 edges, 163 markings/sec, 45 secs
lola: 7020 markings, 11007 edges, 118 markings/sec, 50 secs
lola: 7635 markings, 12048 edges, 123 markings/sec, 55 secs
lola: 8491 markings, 14234 edges, 171 markings/sec, 60 secs
lola: 9227 markings, 15437 edges, 147 markings/sec, 65 secs
lola: 9808 markings, 16361 edges, 116 markings/sec, 70 secs
lola: 10636 markings, 18269 edges, 166 markings/sec, 75 secs
lola: 11345 markings, 19817 edges, 142 markings/sec, 80 secs
lola: 12011 markings, 21461 edges, 133 markings/sec, 85 secs
lola: 12558 markings, 22332 edges, 109 markings/sec, 90 secs
lola: 13031 markings, 23002 edges, 95 markings/sec, 95 secs
lola: 13643 markings, 23887 edges, 122 markings/sec, 100 secs
lola: 14302 markings, 25096 edges, 132 markings/sec, 105 secs
lola: 14836 markings, 25992 edges, 107 markings/sec, 110 secs
lola: 15525 markings, 27655 edges, 138 markings/sec, 115 secs
lola: 16263 markings, 29211 edges, 148 markings/sec, 120 secs
lola: 16858 markings, 30180 edges, 119 markings/sec, 125 secs
lola: 17481 markings, 31737 edges, 125 markings/sec, 130 secs
lola: 18185 markings, 33394 edges, 141 markings/sec, 135 secs
lola: 18760 markings, 34794 edges, 115 markings/sec, 140 secs
lola: 19359 markings, 36380 edges, 120 markings/sec, 145 secs
lola: 20051 markings, 38231 edges, 138 markings/sec, 150 secs
lola: 20588 markings, 39077 edges, 107 markings/sec, 155 secs
lola: 21298 markings, 40590 edges, 142 markings/sec, 160 secs
lola: 21917 markings, 41767 edges, 124 markings/sec, 165 secs
lola: 22548 markings, 43637 edges, 126 markings/sec, 170 secs
lola: 23097 markings, 44530 edges, 110 markings/sec, 175 secs
lola: 23716 markings, 45527 edges, 124 markings/sec, 180 secs
lola: 24253 markings, 46933 edges, 107 markings/sec, 185 secs
lola: 24759 markings, 48924 edges, 101 markings/sec, 190 secs
lola: 25180 markings, 50114 edges, 84 markings/sec, 195 secs
lola: 25790 markings, 51673 edges, 122 markings/sec, 200 secs
lola: 26511 markings, 53605 edges, 144 markings/sec, 205 secs
lola: 27197 markings, 54948 edges, 137 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 8 bytes per marking, with 4 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: 268 markings, 336 edges, 53 markings/sec, 5 secs
lola: 519 markings, 693 edges, 50 markings/sec, 10 secs
lola: 772 markings, 1048 edges, 51 markings/sec, 15 secs
lola: 1010 markings, 1562 edges, 48 markings/sec, 20 secs
lola: 1223 markings, 1918 edges, 43 markings/sec, 25 secs
lola: 1497 markings, 2645 edges, 55 markings/sec, 30 secs
lola: 1839 markings, 3696 edges, 68 markings/sec, 35 secs
lola: 2070 markings, 4375 edges, 46 markings/sec, 40 secs
lola: 2429 markings, 5456 edges, 72 markings/sec, 45 secs
lola: 2689 markings, 6394 edges, 52 markings/sec, 50 secs
lola: 3048 markings, 7788 edges, 72 markings/sec, 55 secs
lola: 3274 markings, 8753 edges, 45 markings/sec, 60 secs
lola: 3414 markings, 9192 edges, 28 markings/sec, 65 secs
lola: 3637 markings, 9918 edges, 45 markings/sec, 70 secs
lola: 3860 markings, 10694 edges, 45 markings/sec, 75 secs
lola: 4193 markings, 11898 edges, 67 markings/sec, 80 secs
lola: 4552 markings, 12860 edges, 72 markings/sec, 85 secs
lola: 4843 markings, 13845 edges, 58 markings/sec, 90 secs
lola: 5116 markings, 14894 edges, 55 markings/sec, 95 secs
lola: 5332 markings, 15541 edges, 43 markings/sec, 100 secs
lola: 5524 markings, 16566 edges, 38 markings/sec, 105 secs
lola: 5799 markings, 17282 edges, 55 markings/sec, 110 secs
lola: 6121 markings, 18128 edges, 64 markings/sec, 115 secs
lola: 6446 markings, 19183 edges, 65 markings/sec, 120 secs
lola: 6726 markings, 20223 edges, 56 markings/sec, 125 secs
lola: 7098 markings, 21249 edges, 74 markings/sec, 130 secs
lola: 7409 markings, 22245 edges, 62 markings/sec, 135 secs
lola: 7707 markings, 23597 edges, 60 markings/sec, 140 secs
lola: 8045 markings, 24338 edges, 68 markings/sec, 145 secs
lola: 8306 markings, 24901 edges, 52 markings/sec, 150 secs
lola: 8521 markings, 25946 edges, 43 markings/sec, 155 secs
lola: 8793 markings, 26845 edges, 54 markings/sec, 160 secs
lola: 9177 markings, 28080 edges, 77 markings/sec, 165 secs
lola: 9415 markings, 29203 edges, 48 markings/sec, 170 secs
lola: 9667 markings, 30153 edges, 50 markings/sec, 175 secs
lola: 9969 markings, 31647 edges, 60 markings/sec, 180 secs
lola: 10275 markings, 32466 edges, 61 markings/sec, 185 secs
lola: 10498 markings, 33074 edges, 45 markings/sec, 190 secs
lola: 10710 markings, 34209 edges, 42 markings/sec, 195 secs
lola: 11089 markings, 35933 edges, 76 markings/sec, 200 secs
lola: 11325 markings, 37538 edges, 47 markings/sec, 205 secs
lola: 11551 markings, 38449 edges, 45 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 8 bytes per marking, with 4 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: 746 markings, 1015 edges, 149 markings/sec, 5 secs
lola: 1589 markings, 2275 edges, 169 markings/sec, 10 secs
lola: 2278 markings, 3353 edges, 138 markings/sec, 15 secs
lola: 3025 markings, 4515 edges, 149 markings/sec, 20 secs
lola: 3742 markings, 5778 edges, 143 markings/sec, 25 secs
lola: 4429 markings, 6850 edges, 137 markings/sec, 30 secs
lola: 5254 markings, 8127 edges, 165 markings/sec, 35 secs
lola: 6011 markings, 9333 edges, 151 markings/sec, 40 secs
lola: 6693 markings, 10412 edges, 136 markings/sec, 45 secs
lola: 7397 markings, 11623 edges, 141 markings/sec, 50 secs
lola: 7988 markings, 12818 edges, 118 markings/sec, 55 secs
lola: 8765 markings, 14776 edges, 155 markings/sec, 60 secs
lola: 9357 markings, 15597 edges, 118 markings/sec, 65 secs
lola: 10111 markings, 17180 edges, 151 markings/sec, 70 secs
lola: 10940 markings, 19120 edges, 166 markings/sec, 75 secs
lola: 11540 markings, 20186 edges, 120 markings/sec, 80 secs
lola: 12170 markings, 21688 edges, 126 markings/sec, 85 secs
lola: 12739 markings, 22573 edges, 114 markings/sec, 90 secs
lola: 13335 markings, 23437 edges, 119 markings/sec, 95 secs
lola: 13910 markings, 24284 edges, 115 markings/sec, 100 secs
lola: 14580 markings, 25560 edges, 134 markings/sec, 105 secs
lola: 15165 markings, 26528 edges, 117 markings/sec, 110 secs
lola: 15877 markings, 28357 edges, 142 markings/sec, 115 secs
lola: 16611 markings, 29804 edges, 147 markings/sec, 120 secs
lola: 17282 markings, 31289 edges, 134 markings/sec, 125 secs
lola: 17956 markings, 32996 edges, 135 markings/sec, 130 secs
lola: 18527 markings, 33961 edges, 114 markings/sec, 135 secs
lola: 19176 markings, 35643 edges, 130 markings/sec, 140 secs
lola: 19870 markings, 37969 edges, 139 markings/sec, 145 secs
lola: 20422 markings, 38813 edges, 110 markings/sec, 150 secs
lola: 21085 markings, 40271 edges, 133 markings/sec, 155 secs
lola: 21815 markings, 41632 edges, 146 markings/sec, 160 secs
lola: 22421 markings, 43147 edges, 121 markings/sec, 165 secs
lola: 23060 markings, 44484 edges, 128 markings/sec, 170 secs
lola: 23654 markings, 45438 edges, 119 markings/sec, 175 secs
lola: 24194 markings, 46461 edges, 108 markings/sec, 180 secs
lola: 24693 markings, 47906 edges, 100 markings/sec, 185 secs
lola: 25118 markings, 49888 edges, 85 markings/sec, 190 secs
lola: 25731 markings, 51584 edges, 123 markings/sec, 195 secs
lola: 26394 markings, 53362 edges, 133 markings/sec, 200 secs
lola: 27081 markings, 54801 edges, 137 markings/sec, 205 secs
lola: 27786 markings, 56166 edges, 141 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 8 bytes per marking, with 4 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: 37 markings, 42 edges, 4 markings/sec, 45 secs
lola: 567 markings, 1490 edges, 106 markings/sec, 50 secs
lola: 1484 markings, 5093 edges, 183 markings/sec, 55 secs
lola: 2401 markings, 8583 edges, 183 markings/sec, 60 secs
lola: 3023 markings, 11212 edges, 124 markings/sec, 65 secs
lola: 4341 markings, 16466 edges, 264 markings/sec, 70 secs
lola: 5517 markings, 21479 edges, 235 markings/sec, 75 secs
lola: 6426 markings, 25207 edges, 182 markings/sec, 80 secs
lola: 7322 markings, 28722 edges, 179 markings/sec, 85 secs
lola: 8155 markings, 32157 edges, 167 markings/sec, 90 secs
lola: 9044 markings, 35662 edges, 178 markings/sec, 95 secs
lola: 9942 markings, 39235 edges, 180 markings/sec, 100 secs
lola: 10840 markings, 43229 edges, 180 markings/sec, 105 secs
lola: 11739 markings, 47305 edges, 180 markings/sec, 110 secs
lola: 12647 markings, 51459 edges, 182 markings/sec, 115 secs
lola: 13550 markings, 55339 edges, 181 markings/sec, 120 secs
lola: 14447 markings, 59215 edges, 179 markings/sec, 125 secs
lola: 15353 markings, 63617 edges, 181 markings/sec, 130 secs
lola: 16248 markings, 67413 edges, 179 markings/sec, 135 secs
lola: 17064 markings, 70973 edges, 163 markings/sec, 140 secs
lola: 17919 markings, 75036 edges, 171 markings/sec, 145 secs
lola: 18800 markings, 78947 edges, 176 markings/sec, 150 secs
lola: 19576 markings, 82234 edges, 155 markings/sec, 155 secs
lola: 20213 markings, 85203 edges, 127 markings/sec, 160 secs
lola: 20956 markings, 88474 edges, 149 markings/sec, 165 secs
lola: 21856 markings, 92555 edges, 180 markings/sec, 170 secs
lola: 22645 markings, 96040 edges, 158 markings/sec, 175 secs
lola: 23225 markings, 98763 edges, 116 markings/sec, 180 secs
lola: 24072 markings, 102363 edges, 169 markings/sec, 185 secs
lola: 24990 markings, 106260 edges, 184 markings/sec, 190 secs
lola: 25911 markings, 110542 edges, 184 markings/sec, 195 secs
lola: 26813 markings, 114537 edges, 180 markings/sec, 200 secs
lola: 27707 markings, 118544 edges, 179 markings/sec, 205 secs
lola: 28622 markings, 122452 edges, 183 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 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 8 bytes per marking, with 4 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: 266 markings, 333 edges, 53 markings/sec, 5 secs
lola: 519 markings, 693 edges, 51 markings/sec, 10 secs
lola: 778 markings, 1062 edges, 52 markings/sec, 15 secs
lola: 988 markings, 1515 edges, 42 markings/sec, 20 secs
lola: 1211 markings, 1901 edges, 45 markings/sec, 25 secs
lola: 1449 markings, 2545 edges, 48 markings/sec, 30 secs
lola: 1738 markings, 3379 edges, 58 markings/sec, 35 secs
lola: 2022 markings, 4242 edges, 57 markings/sec, 40 secs
lola: 2349 markings, 5232 edges, 65 markings/sec, 45 secs
lola: 2584 markings, 5998 edges, 47 markings/sec, 50 secs
lola: 2813 markings, 6732 edges, 46 markings/sec, 55 secs
lola: 3098 markings, 8056 edges, 57 markings/sec, 60 secs
lola: 3286 markings, 8777 edges, 38 markings/sec, 65 secs
lola: 3471 markings, 9548 edges, 37 markings/sec, 70 secs
lola: 3722 markings, 10188 edges, 50 markings/sec, 75 secs
lola: 3931 markings, 11050 edges, 42 markings/sec, 80 secs
lola: 4378 markings, 12491 edges, 89 markings/sec, 85 secs
lola: 4715 markings, 13394 edges, 67 markings/sec, 90 secs
lola: 4997 markings, 14296 edges, 56 markings/sec, 95 secs
lola: 5266 markings, 15278 edges, 54 markings/sec, 100 secs
lola: 5492 markings, 16491 edges, 45 markings/sec, 105 secs
lola: 5778 markings, 17236 edges, 57 markings/sec, 110 secs
lola: 6095 markings, 18076 edges, 63 markings/sec, 115 secs
lola: 6446 markings, 19183 edges, 70 markings/sec, 120 secs
lola: 6756 markings, 20284 edges, 62 markings/sec, 125 secs
lola: 7111 markings, 21277 edges, 71 markings/sec, 130 secs
lola: 7433 markings, 22300 edges, 64 markings/sec, 135 secs
lola: 7744 markings, 23681 edges, 62 markings/sec, 140 secs
lola: 8044 markings, 24337 edges, 60 markings/sec, 145 secs
lola: 8292 markings, 24871 edges, 50 markings/sec, 150 secs
lola: 8511 markings, 25918 edges, 44 markings/sec, 155 secs
lola: 8761 markings, 26779 edges, 50 markings/sec, 160 secs
lola: 9082 markings, 27875 edges, 64 markings/sec, 165 secs
lola: 9316 markings, 28591 edges, 47 markings/sec, 170 secs
lola: 9551 markings, 29834 edges, 47 markings/sec, 175 secs
lola: 9797 markings, 30623 edges, 49 markings/sec, 180 secs
lola: 10038 markings, 31793 edges, 48 markings/sec, 185 secs
lola: 10319 markings, 32657 edges, 56 markings/sec, 190 secs
lola: 10511 markings, 33104 edges, 38 markings/sec, 195 secs
lola: 10730 markings, 34337 edges, 44 markings/sec, 200 secs
lola: 11096 markings, 36196 edges, 73 markings/sec, 205 secs
lola: 11318 markings, 37523 edges, 44 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 8 bytes per marking, with 4 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: 253 markings, 318 edges, 50 markings/sec, 5 secs
lola: 505 markings, 675 edges, 50 markings/sec, 10 secs
lola: 727 markings, 977 edges, 44 markings/sec, 15 secs
lola: 950 markings, 1430 edges, 45 markings/sec, 20 secs
lola: 1193 markings, 1877 edges, 49 markings/sec, 25 secs
lola: 1413 markings, 2408 edges, 44 markings/sec, 30 secs
lola: 1682 markings, 3128 edges, 54 markings/sec, 35 secs
lola: 2000 markings, 4163 edges, 64 markings/sec, 40 secs
lola: 2306 markings, 5143 edges, 61 markings/sec, 45 secs
lola: 2549 markings, 5921 edges, 49 markings/sec, 50 secs
lola: 2784 markings, 6674 edges, 47 markings/sec, 55 secs
lola: 3097 markings, 8055 edges, 63 markings/sec, 60 secs
lola: 3286 markings, 8777 edges, 38 markings/sec, 65 secs
lola: 3464 markings, 9533 edges, 36 markings/sec, 70 secs
lola: 3660 markings, 10058 edges, 39 markings/sec, 75 secs
lola: 3895 markings, 10822 edges, 47 markings/sec, 80 secs
lola: 4230 markings, 11974 edges, 67 markings/sec, 85 secs
lola: 4601 markings, 12968 edges, 74 markings/sec, 90 secs
lola: 4877 markings, 13997 edges, 55 markings/sec, 95 secs
lola: 5108 markings, 14870 edges, 46 markings/sec, 100 secs
lola: 5327 markings, 15529 edges, 44 markings/sec, 105 secs
lola: 5524 markings, 16566 edges, 39 markings/sec, 110 secs
lola: 5792 markings, 17268 edges, 54 markings/sec, 115 secs
lola: 6122 markings, 18131 edges, 66 markings/sec, 120 secs
lola: 6457 markings, 19209 edges, 67 markings/sec, 125 secs
lola: 6791 markings, 20371 edges, 67 markings/sec, 130 secs
lola: 7219 markings, 21704 edges, 86 markings/sec, 135 secs
lola: 7537 markings, 22784 edges, 64 markings/sec, 140 secs
lola: 7897 markings, 24003 edges, 72 markings/sec, 145 secs
lola: 8202 markings, 24677 edges, 61 markings/sec, 150 secs
lola: 8416 markings, 25293 edges, 43 markings/sec, 155 secs
lola: 8723 markings, 26700 edges, 61 markings/sec, 160 secs
lola: 9099 markings, 27910 edges, 75 markings/sec, 165 secs
lola: 9335 markings, 28628 edges, 47 markings/sec, 170 secs
lola: 9632 markings, 30081 edges, 59 markings/sec, 175 secs
lola: 9884 markings, 31064 edges, 50 markings/sec, 180 secs
lola: 10180 markings, 32153 edges, 59 markings/sec, 185 secs
lola: 10444 markings, 32963 edges, 53 markings/sec, 190 secs
lola: 10665 markings, 33881 edges, 44 markings/sec, 195 secs
lola: 11015 markings, 35714 edges, 70 markings/sec, 200 secs
lola: 11259 markings, 37070 edges, 49 markings/sec, 205 secs
lola: 11449 markings, 37973 edges, 38 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 8 bytes per marking, with 4 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: 301 markings, 380 edges, 60 markings/sec, 5 secs
lola: 577 markings, 777 edges, 55 markings/sec, 10 secs
lola: 871 markings, 1310 edges, 59 markings/sec, 15 secs
lola: 1140 markings, 1805 edges, 54 markings/sec, 20 secs
lola: 1341 markings, 2125 edges, 40 markings/sec, 25 secs
lola: 1656 markings, 3071 edges, 63 markings/sec, 30 secs
lola: 2022 markings, 4242 edges, 73 markings/sec, 35 secs
lola: 2361 markings, 5256 edges, 68 markings/sec, 40 secs
lola: 2624 markings, 6109 edges, 53 markings/sec, 45 secs
lola: 2951 markings, 7321 edges, 65 markings/sec, 50 secs
lola: 3191 markings, 8450 edges, 48 markings/sec, 55 secs
lola: 3367 markings, 8964 edges, 35 markings/sec, 60 secs
lola: 3572 markings, 9758 edges, 41 markings/sec, 65 secs
lola: 3849 markings, 10671 edges, 55 markings/sec, 70 secs
lola: 4200 markings, 11913 edges, 70 markings/sec, 75 secs
lola: 4601 markings, 12968 edges, 80 markings/sec, 80 secs
lola: 4896 markings, 14051 edges, 59 markings/sec, 85 secs
lola: 5196 markings, 15129 edges, 60 markings/sec, 90 secs
lola: 5422 markings, 16081 edges, 45 markings/sec, 95 secs
lola: 5649 markings, 16880 edges, 45 markings/sec, 100 secs
lola: 5995 markings, 17856 edges, 69 markings/sec, 105 secs
lola: 6397 markings, 18944 edges, 80 markings/sec, 110 secs
lola: 6700 markings, 20170 edges, 61 markings/sec, 115 secs
lola: 7107 markings, 21268 edges, 81 markings/sec, 120 secs
lola: 7463 markings, 22561 edges, 71 markings/sec, 125 secs
lola: 7783 markings, 23764 edges, 64 markings/sec, 130 secs
lola: 8099 markings, 24463 edges, 63 markings/sec, 135 secs
lola: 8335 markings, 24964 edges, 47 markings/sec, 140 secs
lola: 8645 markings, 26515 edges, 62 markings/sec, 145 secs
lola: 8944 markings, 27504 edges, 60 markings/sec, 150 secs
lola: 9282 markings, 28512 edges, 68 markings/sec, 155 secs
lola: 9489 markings, 29625 edges, 41 markings/sec, 160 secs
lola: 9719 markings, 30269 edges, 46 markings/sec, 165 secs
lola: 10023 markings, 31760 edges, 61 markings/sec, 170 secs
lola: 10325 markings, 32672 edges, 60 markings/sec, 175 secs
lola: 10527 markings, 33141 edges, 40 markings/sec, 180 secs
lola: 10805 markings, 34857 edges, 56 markings/sec, 185 secs
lola: 11186 markings, 36657 edges, 76 markings/sec, 190 secs
lola: 11426 markings, 37927 edges, 48 markings/sec, 195 secs
lola: 11648 markings, 38729 edges, 44 markings/sec, 200 secs
lola: 11946 markings, 40763 edges, 60 markings/sec, 205 secs
lola: 12168 markings, 41964 edges, 44 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 219 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 8 bytes per marking, with 4 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: 6 markings, 5 edges, 0 markings/sec, 10 secs
lola: 9 markings, 8 edges, 1 markings/sec, 15 secs
lola: 11 markings, 10 edges, 0 markings/sec, 20 secs
lola: 15 markings, 14 edges, 1 markings/sec, 25 secs
lola: 19 markings, 18 edges, 1 markings/sec, 30 secs
lola: 24 markings, 23 edges, 1 markings/sec, 35 secs
lola: 163 markings, 179 edges, 28 markings/sec, 40 secs
lola: 341 markings, 415 edges, 36 markings/sec, 45 secs
lola: 479 markings, 607 edges, 28 markings/sec, 50 secs
lola: 705 markings, 999 edges, 45 markings/sec, 55 secs
lola: 879 markings, 1317 edges, 35 markings/sec, 60 secs
lola: 1034 markings, 1544 edges, 31 markings/sec, 65 secs
lola: 1183 markings, 1745 edges, 30 markings/sec, 70 secs
lola: 1285 markings, 1887 edges, 20 markings/sec, 75 secs
lola: 1426 markings, 2117 edges, 28 markings/sec, 80 secs
lola: 1548 markings, 2279 edges, 24 markings/sec, 85 secs
lola: 1656 markings, 2423 edges, 22 markings/sec, 90 secs
lola: 1745 markings, 2546 edges, 18 markings/sec, 95 secs
lola: 1874 markings, 2744 edges, 26 markings/sec, 100 secs
lola: 2039 markings, 2972 edges, 33 markings/sec, 105 secs
lola: 2170 markings, 3146 edges, 26 markings/sec, 110 secs
lola: 2342 markings, 3438 edges, 34 markings/sec, 115 secs
lola: 2528 markings, 3782 edges, 37 markings/sec, 120 secs
lola: 2670 markings, 4049 edges, 28 markings/sec, 125 secs
lola: 2899 markings, 4462 edges, 46 markings/sec, 130 secs
lola: 3100 markings, 4839 edges, 40 markings/sec, 135 secs
lola: 3272 markings, 5154 edges, 34 markings/sec, 140 secs
lola: 3586 markings, 5791 edges, 63 markings/sec, 145 secs
lola: 3841 markings, 6255 edges, 51 markings/sec, 150 secs
lola: 3995 markings, 6477 edges, 31 markings/sec, 155 secs
lola: 4179 markings, 6789 edges, 37 markings/sec, 160 secs
lola: 4303 markings, 6966 edges, 25 markings/sec, 165 secs
lola: 4473 markings, 7237 edges, 34 markings/sec, 170 secs
lola: 4595 markings, 7415 edges, 24 markings/sec, 175 secs
lola: 4711 markings, 7612 edges, 23 markings/sec, 180 secs
lola: 4813 markings, 7750 edges, 20 markings/sec, 185 secs
lola: 5002 markings, 8105 edges, 38 markings/sec, 190 secs
lola: 5172 markings, 8421 edges, 34 markings/sec, 195 secs
lola: 5345 markings, 8696 edges, 35 markings/sec, 200 secs
lola: 5489 markings, 8917 edges, 29 markings/sec, 205 secs
lola: 5583 markings, 9047 edges, 19 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 8 bytes per marking, with 4 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: 729 markings, 993 edges, 145 markings/sec, 5 secs
lola: 1605 markings, 2294 edges, 175 markings/sec, 10 secs
lola: 2355 markings, 3445 edges, 150 markings/sec, 15 secs
lola: 3082 markings, 4587 edges, 145 markings/sec, 20 secs
lola: 3825 markings, 5898 edges, 149 markings/sec, 25 secs
lola: 4557 markings, 7042 edges, 146 markings/sec, 30 secs
lola: 5258 markings, 8133 edges, 140 markings/sec, 35 secs
lola: 5990 markings, 9308 edges, 146 markings/sec, 40 secs
lola: 6658 markings, 10346 edges, 134 markings/sec, 45 secs
lola: 7376 markings, 11596 edges, 144 markings/sec, 50 secs
lola: 7974 markings, 12802 edges, 120 markings/sec, 55 secs
lola: 8738 markings, 14710 edges, 153 markings/sec, 60 secs
lola: 9357 markings, 15597 edges, 124 markings/sec, 65 secs
lola: 9954 markings, 16974 edges, 119 markings/sec, 70 secs
lola: 10899 markings, 19058 edges, 189 markings/sec, 75 secs
lola: 11536 markings, 20180 edges, 127 markings/sec, 80 secs
lola: 12196 markings, 21722 edges, 132 markings/sec, 85 secs
lola: 12780 markings, 22630 edges, 117 markings/sec, 90 secs
lola: 13426 markings, 23564 edges, 129 markings/sec, 95 secs
lola: 14067 markings, 24680 edges, 128 markings/sec, 100 secs
lola: 14690 markings, 25764 edges, 125 markings/sec, 105 secs
lola: 15229 markings, 26610 edges, 108 markings/sec, 110 secs
lola: 16021 markings, 28646 edges, 158 markings/sec, 115 secs
lola: 16669 markings, 29909 edges, 130 markings/sec, 120 secs
lola: 17367 markings, 31572 edges, 140 markings/sec, 125 secs
lola: 18085 markings, 33217 edges, 144 markings/sec, 130 secs
lola: 18718 markings, 34341 edges, 127 markings/sec, 135 secs
lola: 19368 markings, 36391 edges, 130 markings/sec, 140 secs
lola: 20132 markings, 38331 edges, 153 markings/sec, 145 secs
lola: 20704 markings, 39378 edges, 114 markings/sec, 150 secs
lola: 21449 markings, 40799 edges, 149 markings/sec, 155 secs
lola: 22097 markings, 42617 edges, 130 markings/sec, 160 secs
lola: 22767 markings, 43955 edges, 134 markings/sec, 165 secs
lola: 23406 markings, 45038 edges, 128 markings/sec, 170 secs
lola: 24075 markings, 46204 edges, 134 markings/sec, 175 secs
lola: 24559 markings, 47671 edges, 97 markings/sec, 180 secs
lola: 25061 markings, 49808 edges, 100 markings/sec, 185 secs
lola: 25604 markings, 51363 edges, 109 markings/sec, 190 secs
lola: 26299 markings, 53179 edges, 139 markings/sec, 195 secs
lola: 27058 markings, 54772 edges, 152 markings/sec, 200 secs
lola: 27847 markings, 56279 edges, 158 markings/sec, 205 secs
lola: 28392 markings, 57170 edges, 109 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1494685773499

--------------------
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="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/DrinkVendingMachine-PT-10.tgz
mv 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 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 r028-blw3-149440264000227"
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 ;