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

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

=== Now, execution of the tool begins

BK_START 1496391953844


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


checking for too many tokens
===========================================================================================
S_GlobalResAllocation-PT-05: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GlobalResAllocation-PT-05 @ 3538 seconds
----- Start make result stdout -----
lola: LoLA will run for 3538 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 56180/65536 symbol table entries, 36519 collisions
lola: preprocessing...
lola: finding significant places
lola: 75 places, 56105 transitions, 55 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2220 transition conflict sets
lola: TASK
lola: reading formula from GlobalResAllocation-COL-05-UpperBounds.task
lola: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 69 markings, 104 edges, 14 markings/sec, 0 secs
lola: 210 markings, 365 edges, 28 markings/sec, 5 secs
lola: 381 markings, 685 edges, 34 markings/sec, 10 secs
lola: 566 markings, 1048 edges, 37 markings/sec, 15 secs
lola: 735 markings, 1448 edges, 34 markings/sec, 20 secs
lola: 917 markings, 1816 edges, 36 markings/sec, 25 secs
lola: 1129 markings, 2323 edges, 42 markings/sec, 30 secs
lola: 1332 markings, 2845 edges, 41 markings/sec, 35 secs
lola: 1526 markings, 3277 edges, 39 markings/sec, 40 secs
lola: 1738 markings, 3778 edges, 42 markings/sec, 45 secs
lola: 1943 markings, 4276 edges, 41 markings/sec, 50 secs
lola: 2171 markings, 4827 edges, 46 markings/sec, 55 secs
lola: 2408 markings, 5425 edges, 47 markings/sec, 60 secs
lola: 2646 markings, 6027 edges, 48 markings/sec, 65 secs
lola: 2902 markings, 6633 edges, 51 markings/sec, 70 secs
lola: 3140 markings, 7288 edges, 48 markings/sec, 75 secs
lola: 3339 markings, 7754 edges, 40 markings/sec, 80 secs
lola: 3557 markings, 8251 edges, 44 markings/sec, 85 secs
lola: 3810 markings, 8909 edges, 51 markings/sec, 90 secs
lola: 4093 markings, 9656 edges, 57 markings/sec, 95 secs
lola: 4393 markings, 10515 edges, 60 markings/sec, 100 secs
lola: 4685 markings, 11290 edges, 58 markings/sec, 105 secs
lola: 4978 markings, 12067 edges, 59 markings/sec, 110 secs
lola: 5281 markings, 12927 edges, 61 markings/sec, 115 secs
lola: 5605 markings, 13796 edges, 65 markings/sec, 120 secs
lola: 5844 markings, 14300 edges, 48 markings/sec, 125 secs
lola: 6149 markings, 15093 edges, 61 markings/sec, 130 secs
lola: 6436 markings, 15833 edges, 57 markings/sec, 135 secs
lola: 6738 markings, 16644 edges, 60 markings/sec, 140 secs
lola: 6992 markings, 17293 edges, 51 markings/sec, 145 secs
lola: 7283 markings, 18063 edges, 58 markings/sec, 150 secs
lola: 7574 markings, 18874 edges, 58 markings/sec, 155 secs
lola: 7852 markings, 19595 edges, 56 markings/sec, 160 secs
lola: 8124 markings, 20223 edges, 54 markings/sec, 165 secs
lola: 8445 markings, 21117 edges, 64 markings/sec, 170 secs
lola: 8726 markings, 21941 edges, 56 markings/sec, 175 secs
lola: 8996 markings, 22663 edges, 54 markings/sec, 180 secs
lola: 9334 markings, 23682 edges, 68 markings/sec, 185 secs
lola: 9645 markings, 24510 edges, 62 markings/sec, 190 secs
lola: 9946 markings, 25321 edges, 60 markings/sec, 195 secs
lola: 10274 markings, 26284 edges, 66 markings/sec, 200 secs
lola: 10581 markings, 27084 edges, 61 markings/sec, 205 secs
lola: 10908 markings, 28048 edges, 65 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(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 114 markings, 180 edges, 23 markings/sec, 0 secs
lola: 295 markings, 519 edges, 36 markings/sec, 5 secs
lola: 492 markings, 906 edges, 39 markings/sec, 10 secs
lola: 707 markings, 1375 edges, 43 markings/sec, 15 secs
lola: 929 markings, 1842 edges, 44 markings/sec, 20 secs
lola: 1161 markings, 2402 edges, 46 markings/sec, 25 secs
lola: 1418 markings, 3021 edges, 51 markings/sec, 30 secs
lola: 1667 markings, 3629 edges, 50 markings/sec, 35 secs
lola: 1907 markings, 4174 edges, 48 markings/sec, 40 secs
lola: 2171 markings, 4827 edges, 53 markings/sec, 45 secs
lola: 2431 markings, 5467 edges, 52 markings/sec, 50 secs
lola: 2694 markings, 6133 edges, 53 markings/sec, 55 secs
lola: 2984 markings, 6849 edges, 58 markings/sec, 60 secs
lola: 3262 markings, 7568 edges, 56 markings/sec, 65 secs
lola: 3505 markings, 8139 edges, 49 markings/sec, 70 secs
lola: 3791 markings, 8865 edges, 57 markings/sec, 75 secs
lola: 4073 markings, 9602 edges, 56 markings/sec, 80 secs
lola: 4376 markings, 10481 edges, 61 markings/sec, 85 secs
lola: 4674 markings, 11265 edges, 60 markings/sec, 90 secs
lola: 4966 markings, 12026 edges, 58 markings/sec, 95 secs
lola: 5260 markings, 12868 edges, 59 markings/sec, 100 secs
lola: 5571 markings, 13705 edges, 62 markings/sec, 105 secs
lola: 5810 markings, 14227 edges, 48 markings/sec, 110 secs
lola: 6073 markings, 14888 edges, 53 markings/sec, 115 secs
lola: 6381 markings, 15687 edges, 62 markings/sec, 120 secs
lola: 6702 markings, 16537 edges, 64 markings/sec, 125 secs
lola: 6979 markings, 17263 edges, 55 markings/sec, 130 secs
lola: 7308 markings, 18128 edges, 66 markings/sec, 135 secs
lola: 7598 markings, 18964 edges, 58 markings/sec, 140 secs
lola: 7882 markings, 19659 edges, 57 markings/sec, 145 secs
lola: 8174 markings, 20357 edges, 58 markings/sec, 150 secs
lola: 8503 markings, 21259 edges, 66 markings/sec, 155 secs
lola: 8760 markings, 22018 edges, 51 markings/sec, 160 secs
lola: 9029 markings, 22805 edges, 54 markings/sec, 165 secs
lola: 9359 markings, 23750 edges, 66 markings/sec, 170 secs
lola: 9642 markings, 24501 edges, 57 markings/sec, 175 secs
lola: 9925 markings, 25256 edges, 57 markings/sec, 180 secs
lola: 10236 markings, 26160 edges, 62 markings/sec, 185 secs
lola: 10535 markings, 26960 edges, 60 markings/sec, 190 secs
lola: 10841 markings, 27886 edges, 61 markings/sec, 195 secs
lola: 11176 markings, 28825 edges, 67 markings/sec, 200 secs
lola: 11475 markings, 29707 edges, 60 markings/sec, 205 secs
lola: 11797 markings, 30601 edges, 64 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 111 markings, 175 edges, 22 markings/sec, 0 secs
lola: 289 markings, 506 edges, 36 markings/sec, 5 secs
lola: 487 markings, 899 edges, 40 markings/sec, 10 secs
lola: 695 markings, 1344 edges, 42 markings/sec, 15 secs
lola: 910 markings, 1804 edges, 43 markings/sec, 20 secs
lola: 1129 markings, 2323 edges, 44 markings/sec, 25 secs
lola: 1379 markings, 2942 edges, 50 markings/sec, 30 secs
lola: 1597 markings, 3438 edges, 44 markings/sec, 35 secs
lola: 1853 markings, 4059 edges, 51 markings/sec, 40 secs
lola: 2088 markings, 4608 edges, 47 markings/sec, 45 secs
lola: 2351 markings, 5280 edges, 53 markings/sec, 50 secs
lola: 2589 markings, 5897 edges, 48 markings/sec, 55 secs
lola: 2869 markings, 6548 edges, 56 markings/sec, 60 secs
lola: 3136 markings, 7279 edges, 53 markings/sec, 65 secs
lola: 3368 markings, 7811 edges, 46 markings/sec, 70 secs
lola: 3626 markings, 8463 edges, 52 markings/sec, 75 secs
lola: 3870 markings, 9047 edges, 49 markings/sec, 80 secs
lola: 4174 markings, 9921 edges, 61 markings/sec, 85 secs
lola: 4463 markings, 10711 edges, 58 markings/sec, 90 secs
lola: 4756 markings, 11475 edges, 59 markings/sec, 95 secs
lola: 5068 markings, 12354 edges, 62 markings/sec, 100 secs
lola: 5361 markings, 13156 edges, 59 markings/sec, 105 secs
lola: 5648 markings, 13889 edges, 57 markings/sec, 110 secs
lola: 5872 markings, 14352 edges, 45 markings/sec, 115 secs
lola: 6157 markings, 15109 edges, 57 markings/sec, 120 secs
lola: 6445 markings, 15864 edges, 58 markings/sec, 125 secs
lola: 6748 markings, 16667 edges, 61 markings/sec, 130 secs
lola: 7019 markings, 17353 edges, 54 markings/sec, 135 secs
lola: 7327 markings, 18170 edges, 62 markings/sec, 140 secs
lola: 7619 markings, 19026 edges, 58 markings/sec, 145 secs
lola: 7898 markings, 19695 edges, 56 markings/sec, 150 secs
lola: 8180 markings, 20368 edges, 56 markings/sec, 155 secs
lola: 8508 markings, 21276 edges, 66 markings/sec, 160 secs
lola: 8783 markings, 22091 edges, 55 markings/sec, 165 secs
lola: 9074 markings, 22946 edges, 58 markings/sec, 170 secs
lola: 9368 markings, 23767 edges, 59 markings/sec, 175 secs
lola: 9655 markings, 24530 edges, 57 markings/sec, 180 secs
lola: 9940 markings, 25302 edges, 57 markings/sec, 185 secs
lola: 10262 markings, 26240 edges, 64 markings/sec, 190 secs
lola: 10537 markings, 26965 edges, 55 markings/sec, 195 secs
lola: 10834 markings, 27873 edges, 59 markings/sec, 200 secs
lola: 11182 markings, 28845 edges, 70 markings/sec, 205 secs
lola: 11470 markings, 29691 edges, 58 markings/sec, 210 secs
lola: 11784 markings, 30561 edges, 63 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 13 edges, 3 markings/sec, 0 secs
lola: 108 markings, 201 edges, 19 markings/sec, 5 secs
lola: 220 markings, 434 edges, 22 markings/sec, 10 secs
lola: 346 markings, 720 edges, 25 markings/sec, 15 secs
lola: 469 markings, 994 edges, 25 markings/sec, 20 secs
lola: 594 markings, 1273 edges, 25 markings/sec, 25 secs
lola: 716 markings, 1560 edges, 24 markings/sec, 30 secs
lola: 862 markings, 1905 edges, 29 markings/sec, 35 secs
lola: 1013 markings, 2294 edges, 30 markings/sec, 40 secs
lola: 1168 markings, 2662 edges, 31 markings/sec, 45 secs
lola: 1311 markings, 3035 edges, 29 markings/sec, 50 secs
lola: 1450 markings, 3366 edges, 28 markings/sec, 55 secs
lola: 1593 markings, 3706 edges, 29 markings/sec, 60 secs
lola: 1756 markings, 4096 edges, 33 markings/sec, 65 secs
lola: 1889 markings, 4422 edges, 27 markings/sec, 70 secs
lola: 2050 markings, 4789 edges, 32 markings/sec, 75 secs
lola: 2216 markings, 5239 edges, 33 markings/sec, 80 secs
lola: 2389 markings, 5835 edges, 35 markings/sec, 85 secs
lola: 2546 markings, 6268 edges, 31 markings/sec, 90 secs
lola: 2692 markings, 6682 edges, 29 markings/sec, 95 secs
lola: 2883 markings, 7266 edges, 38 markings/sec, 100 secs
lola: 3047 markings, 7671 edges, 33 markings/sec, 105 secs
lola: 3233 markings, 8192 edges, 37 markings/sec, 110 secs
lola: 3409 markings, 8737 edges, 35 markings/sec, 115 secs
lola: 3594 markings, 9280 edges, 37 markings/sec, 120 secs
lola: 3776 markings, 9802 edges, 36 markings/sec, 125 secs
lola: 3926 markings, 10190 edges, 30 markings/sec, 130 secs
lola: 4096 markings, 10688 edges, 34 markings/sec, 135 secs
lola: 4274 markings, 11185 edges, 36 markings/sec, 140 secs
lola: 4436 markings, 11635 edges, 32 markings/sec, 145 secs
lola: 4612 markings, 12174 edges, 35 markings/sec, 150 secs
lola: 4769 markings, 12553 edges, 31 markings/sec, 155 secs
lola: 4979 markings, 13168 edges, 42 markings/sec, 160 secs
lola: 5148 markings, 13631 edges, 34 markings/sec, 165 secs
lola: 5338 markings, 14144 edges, 38 markings/sec, 170 secs
lola: 5529 markings, 14681 edges, 38 markings/sec, 175 secs
lola: 5714 markings, 15205 edges, 37 markings/sec, 180 secs
lola: 5897 markings, 15743 edges, 37 markings/sec, 185 secs
lola: 6091 markings, 16223 edges, 39 markings/sec, 190 secs
lola: 6269 markings, 16689 edges, 36 markings/sec, 195 secs
lola: 6440 markings, 17194 edges, 34 markings/sec, 200 secs
lola: 6597 markings, 17613 edges, 31 markings/sec, 205 secs
lola: 6779 markings, 18123 edges, 36 markings/sec, 210 secs
lola: 6971 markings, 18647 edges, 38 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 13 markings, 17 edges, 3 markings/sec, 0 secs
lola: 54 markings, 89 edges, 8 markings/sec, 5 secs
lola: 101 markings, 160 edges, 9 markings/sec, 10 secs
lola: 127 markings, 203 edges, 5 markings/sec, 15 secs
lola: 169 markings, 283 edges, 8 markings/sec, 20 secs
lola: 215 markings, 353 edges, 9 markings/sec, 25 secs
lola: 244 markings, 400 edges, 6 markings/sec, 30 secs
lola: 305 markings, 501 edges, 12 markings/sec, 35 secs
lola: 359 markings, 587 edges, 11 markings/sec, 40 secs
lola: 561 markings, 907 edges, 40 markings/sec, 45 secs
lola: 747 markings, 1254 edges, 37 markings/sec, 50 secs
lola: 781 markings, 1305 edges, 7 markings/sec, 55 secs
lola: 916 markings, 1531 edges, 27 markings/sec, 60 secs
lola: 1035 markings, 1739 edges, 24 markings/sec, 65 secs
lola: 1137 markings, 1911 edges, 20 markings/sec, 70 secs
lola: 1187 markings, 2015 edges, 10 markings/sec, 75 secs
lola: 1254 markings, 2132 edges, 13 markings/sec, 80 secs
lola: 1294 markings, 2198 edges, 8 markings/sec, 85 secs
lola: 1317 markings, 2247 edges, 5 markings/sec, 90 secs
lola: 1340 markings, 2304 edges, 5 markings/sec, 95 secs
lola: 1406 markings, 2419 edges, 13 markings/sec, 100 secs
lola: 1466 markings, 2511 edges, 12 markings/sec, 105 secs
lola: 1504 markings, 2574 edges, 8 markings/sec, 110 secs
lola: 1536 markings, 2628 edges, 6 markings/sec, 115 secs
lola: 1682 markings, 2900 edges, 29 markings/sec, 120 secs
lola: 1767 markings, 3066 edges, 17 markings/sec, 125 secs
lola: 1837 markings, 3180 edges, 14 markings/sec, 130 secs
lola: 1912 markings, 3315 edges, 15 markings/sec, 135 secs
lola: 2035 markings, 3517 edges, 25 markings/sec, 140 secs
lola: 2121 markings, 3650 edges, 17 markings/sec, 145 secs
lola: 2253 markings, 3875 edges, 26 markings/sec, 150 secs
lola: 2427 markings, 4169 edges, 35 markings/sec, 155 secs
lola: 2475 markings, 4242 edges, 10 markings/sec, 160 secs
lola: 2608 markings, 4487 edges, 27 markings/sec, 165 secs
lola: 2808 markings, 4859 edges, 40 markings/sec, 170 secs
lola: 2932 markings, 5056 edges, 25 markings/sec, 175 secs
lola: 3068 markings, 5302 edges, 27 markings/sec, 180 secs
lola: 3234 markings, 5585 edges, 33 markings/sec, 185 secs
lola: 3318 markings, 5728 edges, 17 markings/sec, 190 secs
lola: 3346 markings, 5790 edges, 6 markings/sec, 195 secs
lola: 3370 markings, 5850 edges, 5 markings/sec, 200 secs
lola: 3477 markings, 6031 edges, 21 markings/sec, 205 secs
lola: 3677 markings, 6386 edges, 40 markings/sec, 210 secs
lola: 3773 markings, 6533 edges, 19 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 13 edges, 3 markings/sec, 0 secs
lola: 100 markings, 179 edges, 17 markings/sec, 5 secs
lola: 220 markings, 434 edges, 24 markings/sec, 10 secs
lola: 362 markings, 758 edges, 28 markings/sec, 15 secs
lola: 488 markings, 1030 edges, 25 markings/sec, 20 secs
lola: 628 markings, 1347 edges, 28 markings/sec, 25 secs
lola: 758 markings, 1654 edges, 26 markings/sec, 30 secs
lola: 902 markings, 2004 edges, 29 markings/sec, 35 secs
lola: 1066 markings, 2430 edges, 33 markings/sec, 40 secs
lola: 1211 markings, 2760 edges, 29 markings/sec, 45 secs
lola: 1357 markings, 3134 edges, 29 markings/sec, 50 secs
lola: 1494 markings, 3468 edges, 27 markings/sec, 55 secs
lola: 1646 markings, 3839 edges, 30 markings/sec, 60 secs
lola: 1798 markings, 4193 edges, 30 markings/sec, 65 secs
lola: 1956 markings, 4576 edges, 32 markings/sec, 70 secs
lola: 2124 markings, 4995 edges, 34 markings/sec, 75 secs
lola: 2297 markings, 5527 edges, 35 markings/sec, 80 secs
lola: 2453 markings, 6018 edges, 31 markings/sec, 85 secs
lola: 2599 markings, 6405 edges, 29 markings/sec, 90 secs
lola: 2767 markings, 6952 edges, 34 markings/sec, 95 secs
lola: 2947 markings, 7423 edges, 36 markings/sec, 100 secs
lola: 3113 markings, 7836 edges, 33 markings/sec, 105 secs
lola: 3301 markings, 8402 edges, 38 markings/sec, 110 secs
lola: 3472 markings, 8910 edges, 34 markings/sec, 115 secs
lola: 3649 markings, 9420 edges, 35 markings/sec, 120 secs
lola: 3814 markings, 9893 edges, 33 markings/sec, 125 secs
lola: 3986 markings, 10364 edges, 34 markings/sec, 130 secs
lola: 4179 markings, 10909 edges, 39 markings/sec, 135 secs
lola: 4345 markings, 11370 edges, 33 markings/sec, 140 secs
lola: 4536 markings, 11958 edges, 38 markings/sec, 145 secs
lola: 4688 markings, 12345 edges, 30 markings/sec, 150 secs
lola: 4867 markings, 12844 edges, 36 markings/sec, 155 secs
lola: 5049 markings, 13380 edges, 36 markings/sec, 160 secs
lola: 5228 markings, 13864 edges, 36 markings/sec, 165 secs
lola: 5417 markings, 14366 edges, 38 markings/sec, 170 secs
lola: 5595 markings, 14857 edges, 36 markings/sec, 175 secs
lola: 5808 markings, 15488 edges, 43 markings/sec, 180 secs
lola: 6001 markings, 16000 edges, 39 markings/sec, 185 secs
lola: 6171 markings, 16418 edges, 34 markings/sec, 190 secs
lola: 6346 markings, 16894 edges, 35 markings/sec, 195 secs
lola: 6513 markings, 17389 edges, 33 markings/sec, 200 secs
lola: 6694 markings, 17877 edges, 36 markings/sec, 205 secs
lola: 6884 markings, 18430 edges, 38 markings/sec, 210 secs
lola: 7078 markings, 18942 edges, 39 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 54 markings, 89 edges, 8 markings/sec, 5 secs
lola: 96 markings, 151 edges, 8 markings/sec, 10 secs
lola: 126 markings, 201 edges, 6 markings/sec, 15 secs
lola: 150 markings, 246 edges, 5 markings/sec, 20 secs
lola: 206 markings, 338 edges, 11 markings/sec, 25 secs
lola: 239 markings, 393 edges, 7 markings/sec, 30 secs
lola: 299 markings, 494 edges, 12 markings/sec, 35 secs
lola: 333 markings, 545 edges, 7 markings/sec, 40 secs
lola: 523 markings, 848 edges, 38 markings/sec, 45 secs
lola: 743 markings, 1249 edges, 44 markings/sec, 50 secs
lola: 777 markings, 1300 edges, 7 markings/sec, 55 secs
lola: 882 markings, 1478 edges, 21 markings/sec, 60 secs
lola: 1021 markings, 1713 edges, 28 markings/sec, 65 secs
lola: 1124 markings, 1888 edges, 21 markings/sec, 70 secs
lola: 1177 markings, 2000 edges, 11 markings/sec, 75 secs
lola: 1238 markings, 2107 edges, 12 markings/sec, 80 secs
lola: 1278 markings, 2170 edges, 8 markings/sec, 85 secs
lola: 1314 markings, 2241 edges, 7 markings/sec, 90 secs
lola: 1332 markings, 2286 edges, 4 markings/sec, 95 secs
lola: 1398 markings, 2404 edges, 13 markings/sec, 100 secs
lola: 1454 markings, 2493 edges, 11 markings/sec, 105 secs
lola: 1494 markings, 2559 edges, 8 markings/sec, 110 secs
lola: 1531 markings, 2622 edges, 7 markings/sec, 115 secs
lola: 1660 markings, 2854 edges, 26 markings/sec, 120 secs
lola: 1765 markings, 3064 edges, 21 markings/sec, 125 secs
lola: 1797 markings, 3115 edges, 6 markings/sec, 130 secs
lola: 1897 markings, 3280 edges, 20 markings/sec, 135 secs
lola: 2004 markings, 3471 edges, 21 markings/sec, 140 secs
lola: 2099 markings, 3619 edges, 19 markings/sec, 145 secs
lola: 2206 markings, 3790 edges, 21 markings/sec, 150 secs
lola: 2360 markings, 4061 edges, 31 markings/sec, 155 secs
lola: 2458 markings, 4217 edges, 20 markings/sec, 160 secs
lola: 2497 markings, 4281 edges, 8 markings/sec, 165 secs
lola: 2701 markings, 4655 edges, 41 markings/sec, 170 secs
lola: 2828 markings, 4895 edges, 25 markings/sec, 175 secs
lola: 2987 markings, 5161 edges, 32 markings/sec, 180 secs
lola: 3138 markings, 5432 edges, 30 markings/sec, 185 secs
lola: 3271 markings, 5639 edges, 27 markings/sec, 190 secs
lola: 3334 markings, 5766 edges, 13 markings/sec, 195 secs
lola: 3355 markings, 5812 edges, 4 markings/sec, 200 secs
lola: 3381 markings, 5872 edges, 5 markings/sec, 205 secs
lola: 3555 markings, 6160 edges, 35 markings/sec, 210 secs
lola: 3699 markings, 6417 edges, 29 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 56 markings, 91 edges, 8 markings/sec, 5 secs
lola: 101 markings, 160 edges, 9 markings/sec, 10 secs
lola: 127 markings, 203 edges, 5 markings/sec, 15 secs
lola: 168 markings, 282 edges, 8 markings/sec, 20 secs
lola: 209 markings, 342 edges, 8 markings/sec, 25 secs
lola: 249 markings, 409 edges, 8 markings/sec, 30 secs
lola: 306 markings, 502 edges, 11 markings/sec, 35 secs
lola: 381 markings, 620 edges, 15 markings/sec, 40 secs
lola: 597 markings, 981 edges, 43 markings/sec, 45 secs
lola: 753 markings, 1262 edges, 31 markings/sec, 50 secs
lola: 831 markings, 1390 edges, 16 markings/sec, 55 secs
lola: 958 markings, 1594 edges, 25 markings/sec, 60 secs
lola: 1079 markings, 1820 edges, 24 markings/sec, 65 secs
lola: 1171 markings, 1990 edges, 18 markings/sec, 70 secs
lola: 1224 markings, 2078 edges, 11 markings/sec, 75 secs
lola: 1276 markings, 2168 edges, 10 markings/sec, 80 secs
lola: 1314 markings, 2241 edges, 8 markings/sec, 85 secs
lola: 1333 markings, 2287 edges, 4 markings/sec, 90 secs
lola: 1404 markings, 2417 edges, 14 markings/sec, 95 secs
lola: 1468 markings, 2517 edges, 13 markings/sec, 100 secs
lola: 1508 markings, 2581 edges, 8 markings/sec, 105 secs
lola: 1585 markings, 2714 edges, 15 markings/sec, 110 secs
lola: 1745 markings, 3020 edges, 32 markings/sec, 115 secs
lola: 1785 markings, 3097 edges, 8 markings/sec, 120 secs
lola: 1896 markings, 3278 edges, 22 markings/sec, 125 secs
lola: 2010 markings, 3484 edges, 23 markings/sec, 130 secs
lola: 2111 markings, 3635 edges, 20 markings/sec, 135 secs
lola: 2243 markings, 3852 edges, 26 markings/sec, 140 secs
lola: 2422 markings, 4163 edges, 36 markings/sec, 145 secs
lola: 2474 markings, 4241 edges, 10 markings/sec, 150 secs
lola: 2614 markings, 4496 edges, 28 markings/sec, 155 secs
lola: 2810 markings, 4861 edges, 39 markings/sec, 160 secs
lola: 2961 markings, 5104 edges, 30 markings/sec, 165 secs
lola: 3084 markings, 5345 edges, 25 markings/sec, 170 secs
lola: 3260 markings, 5623 edges, 35 markings/sec, 175 secs
lola: 3329 markings, 5756 edges, 14 markings/sec, 180 secs
lola: 3355 markings, 5812 edges, 5 markings/sec, 185 secs
lola: 3383 markings, 5874 edges, 6 markings/sec, 190 secs
lola: 3574 markings, 6193 edges, 38 markings/sec, 195 secs
lola: 3704 markings, 6424 edges, 26 markings/sec, 200 secs
lola: 3892 markings, 6725 edges, 38 markings/sec, 205 secs
lola: 4098 markings, 7028 edges, 41 markings/sec, 210 secs
lola: 4335 markings, 7412 edges, 47 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 649 markings, 874 edges, 130 markings/sec, 0 secs
lola: 1460 markings, 1975 edges, 162 markings/sec, 5 secs
lola: 2403 markings, 3269 edges, 189 markings/sec, 10 secs
lola: 3297 markings, 4504 edges, 179 markings/sec, 15 secs
lola: 4157 markings, 5654 edges, 172 markings/sec, 20 secs
lola: 5018 markings, 6826 edges, 172 markings/sec, 25 secs
lola: 5812 markings, 7909 edges, 159 markings/sec, 30 secs
lola: 6679 markings, 9075 edges, 173 markings/sec, 35 secs
lola: 7441 markings, 10117 edges, 152 markings/sec, 40 secs
lola: 8299 markings, 11261 edges, 172 markings/sec, 45 secs
lola: 9218 markings, 12528 edges, 184 markings/sec, 50 secs
lola: 9989 markings, 13589 edges, 154 markings/sec, 55 secs
lola: 10873 markings, 14780 edges, 177 markings/sec, 60 secs
lola: 11687 markings, 15903 edges, 163 markings/sec, 65 secs
lola: 12527 markings, 17047 edges, 168 markings/sec, 70 secs
lola: 13367 markings, 18183 edges, 168 markings/sec, 75 secs
lola: 14181 markings, 19263 edges, 163 markings/sec, 80 secs
lola: 15022 markings, 20407 edges, 168 markings/sec, 85 secs
lola: 15847 markings, 21570 edges, 165 markings/sec, 90 secs
lola: 16690 markings, 22748 edges, 169 markings/sec, 95 secs
lola: 17458 markings, 23766 edges, 154 markings/sec, 100 secs
lola: 18199 markings, 24767 edges, 148 markings/sec, 105 secs
lola: 19102 markings, 25979 edges, 181 markings/sec, 110 secs
lola: 19983 markings, 27187 edges, 176 markings/sec, 115 secs
lola: 20830 markings, 28317 edges, 169 markings/sec, 120 secs
lola: 21706 markings, 29491 edges, 175 markings/sec, 125 secs
lola: 22539 markings, 30599 edges, 167 markings/sec, 130 secs
lola: 23306 markings, 31638 edges, 153 markings/sec, 135 secs
lola: 24161 markings, 32772 edges, 171 markings/sec, 140 secs
lola: 25022 markings, 33940 edges, 172 markings/sec, 145 secs
lola: 25925 markings, 35157 edges, 181 markings/sec, 150 secs
lola: 26836 markings, 36395 edges, 182 markings/sec, 155 secs
lola: 27746 markings, 37636 edges, 182 markings/sec, 160 secs
lola: 28675 markings, 38916 edges, 186 markings/sec, 165 secs
lola: 29484 markings, 40037 edges, 162 markings/sec, 170 secs
lola: 30267 markings, 41094 edges, 157 markings/sec, 175 secs
lola: 31195 markings, 42383 edges, 186 markings/sec, 180 secs
lola: 32072 markings, 43560 edges, 175 markings/sec, 185 secs
lola: 32985 markings, 44829 edges, 183 markings/sec, 190 secs
lola: 33918 markings, 46094 edges, 187 markings/sec, 195 secs
lola: 34806 markings, 47333 edges, 178 markings/sec, 200 secs
lola: 35713 markings, 48546 edges, 181 markings/sec, 205 secs
lola: 36489 markings, 49619 edges, 155 markings/sec, 210 secs
lola: 37413 markings, 50851 edges, 185 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 687 markings, 922 edges, 137 markings/sec, 0 secs
lola: 1527 markings, 2073 edges, 168 markings/sec, 5 secs
lola: 2467 markings, 3358 edges, 188 markings/sec, 10 secs
lola: 3400 markings, 4637 edges, 187 markings/sec, 15 secs
lola: 4291 markings, 5837 edges, 178 markings/sec, 20 secs
lola: 5181 markings, 7047 edges, 178 markings/sec, 25 secs
lola: 6001 markings, 8158 edges, 164 markings/sec, 30 secs
lola: 6882 markings, 9340 edges, 176 markings/sec, 35 secs
lola: 7778 markings, 10568 edges, 179 markings/sec, 40 secs
lola: 8751 markings, 11894 edges, 195 markings/sec, 45 secs
lola: 9606 markings, 13054 edges, 171 markings/sec, 50 secs
lola: 10392 markings, 14135 edges, 157 markings/sec, 55 secs
lola: 11299 markings, 15355 edges, 181 markings/sec, 60 secs
lola: 12167 markings, 16575 edges, 174 markings/sec, 65 secs
lola: 13078 markings, 17806 edges, 182 markings/sec, 70 secs
lola: 13911 markings, 18912 edges, 167 markings/sec, 75 secs
lola: 14809 markings, 20119 edges, 180 markings/sec, 80 secs
lola: 15621 markings, 21251 edges, 162 markings/sec, 85 secs
lola: 16478 markings, 22455 edges, 171 markings/sec, 90 secs
lola: 17345 markings, 23618 edges, 173 markings/sec, 95 secs
lola: 18127 markings, 24667 edges, 156 markings/sec, 100 secs
lola: 19023 markings, 25876 edges, 179 markings/sec, 105 secs
lola: 19889 markings, 27068 edges, 173 markings/sec, 110 secs
lola: 20717 markings, 28172 edges, 166 markings/sec, 115 secs
lola: 21614 markings, 29366 edges, 179 markings/sec, 120 secs
lola: 22431 markings, 30455 edges, 163 markings/sec, 125 secs
lola: 23153 markings, 31432 edges, 144 markings/sec, 130 secs
lola: 24021 markings, 32589 edges, 174 markings/sec, 135 secs
lola: 24908 markings, 33785 edges, 177 markings/sec, 140 secs
lola: 25778 markings, 34961 edges, 174 markings/sec, 145 secs
lola: 26684 markings, 36175 edges, 181 markings/sec, 150 secs
lola: 27634 markings, 37483 edges, 190 markings/sec, 155 secs
lola: 28558 markings, 38761 edges, 185 markings/sec, 160 secs
lola: 29369 markings, 39881 edges, 162 markings/sec, 165 secs
lola: 30166 markings, 40954 edges, 159 markings/sec, 170 secs
lola: 31059 markings, 42198 edges, 179 markings/sec, 175 secs
lola: 31953 markings, 43398 edges, 179 markings/sec, 180 secs
lola: 32916 markings, 44729 edges, 193 markings/sec, 185 secs
lola: 33887 markings, 46057 edges, 194 markings/sec, 190 secs
lola: 34805 markings, 47332 edges, 184 markings/sec, 195 secs
lola: 35711 markings, 48542 edges, 181 markings/sec, 200 secs
lola: 36530 markings, 49679 edges, 164 markings/sec, 205 secs
lola: 37474 markings, 50936 edges, 189 markings/sec, 210 secs
lola: 38281 markings, 52057 edges, 161 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 20 markings, 19 edges, 4 markings/sec, 0 secs
lola: 116 markings, 213 edges, 19 markings/sec, 5 secs
lola: 242 markings, 477 edges, 25 markings/sec, 10 secs
lola: 394 markings, 828 edges, 30 markings/sec, 15 secs
lola: 524 markings, 1125 edges, 26 markings/sec, 20 secs
lola: 665 markings, 1438 edges, 28 markings/sec, 25 secs
lola: 801 markings, 1765 edges, 27 markings/sec, 30 secs
lola: 951 markings, 2121 edges, 30 markings/sec, 35 secs
lola: 1119 markings, 2547 edges, 34 markings/sec, 40 secs
lola: 1273 markings, 2916 edges, 31 markings/sec, 45 secs
lola: 1432 markings, 3322 edges, 32 markings/sec, 50 secs
lola: 1573 markings, 3653 edges, 28 markings/sec, 55 secs
lola: 1756 markings, 4096 edges, 37 markings/sec, 60 secs
lola: 1899 markings, 4440 edges, 29 markings/sec, 65 secs
lola: 2072 markings, 4866 edges, 35 markings/sec, 70 secs
lola: 2252 markings, 5352 edges, 36 markings/sec, 75 secs
lola: 2429 markings, 5956 edges, 35 markings/sec, 80 secs
lola: 2589 markings, 6381 edges, 32 markings/sec, 85 secs
lola: 2767 markings, 6952 edges, 36 markings/sec, 90 secs
lola: 2966 markings, 7474 edges, 40 markings/sec, 95 secs
lola: 3140 markings, 7907 edges, 35 markings/sec, 100 secs
lola: 3337 markings, 8506 edges, 39 markings/sec, 105 secs
lola: 3524 markings, 9066 edges, 37 markings/sec, 110 secs
lola: 3727 markings, 9657 edges, 41 markings/sec, 115 secs
lola: 3878 markings, 10054 edges, 30 markings/sec, 120 secs
lola: 4066 markings, 10602 edges, 38 markings/sec, 125 secs
lola: 4264 markings, 11161 edges, 40 markings/sec, 130 secs
lola: 4464 markings, 11736 edges, 40 markings/sec, 135 secs
lola: 4636 markings, 12223 edges, 34 markings/sec, 140 secs
lola: 4814 markings, 12687 edges, 36 markings/sec, 145 secs
lola: 5019 markings, 13281 edges, 41 markings/sec, 150 secs
lola: 5207 markings, 13802 edges, 38 markings/sec, 155 secs
lola: 5395 markings, 14304 edges, 38 markings/sec, 160 secs
lola: 5577 markings, 14808 edges, 36 markings/sec, 165 secs
lola: 5771 markings, 15376 edges, 39 markings/sec, 170 secs
lola: 5964 markings, 15911 edges, 39 markings/sec, 175 secs
lola: 6150 markings, 16365 edges, 37 markings/sec, 180 secs
lola: 6339 markings, 16882 edges, 38 markings/sec, 185 secs
lola: 6508 markings, 17381 edges, 34 markings/sec, 190 secs
lola: 6694 markings, 17877 edges, 37 markings/sec, 195 secs
lola: 6890 markings, 18444 edges, 39 markings/sec, 200 secs
lola: 7091 markings, 18979 edges, 40 markings/sec, 205 secs
lola: 7277 markings, 19458 edges, 37 markings/sec, 210 secs
lola: 7488 markings, 20078 edges, 42 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 15 markings, 14 edges, 3 markings/sec, 0 secs
lola: 116 markings, 213 edges, 20 markings/sec, 5 secs
lola: 238 markings, 470 edges, 24 markings/sec, 10 secs
lola: 383 markings, 802 edges, 29 markings/sec, 15 secs
lola: 513 markings, 1096 edges, 26 markings/sec, 20 secs
lola: 652 markings, 1414 edges, 28 markings/sec, 25 secs
lola: 782 markings, 1717 edges, 26 markings/sec, 30 secs
lola: 936 markings, 2088 edges, 31 markings/sec, 35 secs
lola: 1095 markings, 2487 edges, 32 markings/sec, 40 secs
lola: 1252 markings, 2854 edges, 31 markings/sec, 45 secs
lola: 1405 markings, 3250 edges, 31 markings/sec, 50 secs
lola: 1553 markings, 3604 edges, 30 markings/sec, 55 secs
lola: 1721 markings, 4008 edges, 34 markings/sec, 60 secs
lola: 1870 markings, 4372 edges, 30 markings/sec, 65 secs
lola: 2031 markings, 4746 edges, 32 markings/sec, 70 secs
lola: 2213 markings, 5234 edges, 36 markings/sec, 75 secs
lola: 2393 markings, 5846 edges, 36 markings/sec, 80 secs
lola: 2555 markings, 6297 edges, 32 markings/sec, 85 secs
lola: 2722 markings, 6801 edges, 33 markings/sec, 90 secs
lola: 2910 markings, 7332 edges, 38 markings/sec, 95 secs
lola: 3075 markings, 7737 edges, 33 markings/sec, 100 secs
lola: 3258 markings, 8259 edges, 37 markings/sec, 105 secs
lola: 3438 markings, 8815 edges, 36 markings/sec, 110 secs
lola: 3622 markings, 9351 edges, 37 markings/sec, 115 secs
lola: 3793 markings, 9840 edges, 34 markings/sec, 120 secs
lola: 3953 markings, 10257 edges, 32 markings/sec, 125 secs
lola: 4146 markings, 10827 edges, 39 markings/sec, 130 secs
lola: 4329 markings, 11322 edges, 37 markings/sec, 135 secs
lola: 4555 markings, 12001 edges, 45 markings/sec, 140 secs
lola: 4720 markings, 12413 edges, 33 markings/sec, 145 secs
lola: 4948 markings, 13071 edges, 46 markings/sec, 150 secs
lola: 5144 markings, 13625 edges, 39 markings/sec, 155 secs
lola: 5356 markings, 14198 edges, 42 markings/sec, 160 secs
lola: 5567 markings, 14784 edges, 42 markings/sec, 165 secs
lola: 5763 markings, 15350 edges, 39 markings/sec, 170 secs
lola: 5963 markings, 15910 edges, 40 markings/sec, 175 secs
lola: 6141 markings, 16344 edges, 36 markings/sec, 180 secs
lola: 6321 markings, 16835 edges, 36 markings/sec, 185 secs
lola: 6469 markings, 17268 edges, 30 markings/sec, 190 secs
lola: 6643 markings, 17737 edges, 35 markings/sec, 195 secs
lola: 6837 markings, 18277 edges, 39 markings/sec, 200 secs
lola: 7034 markings, 18804 edges, 39 markings/sec, 205 secs
lola: 7224 markings, 19326 edges, 38 markings/sec, 210 secs
lola: 7418 markings, 19890 edges, 39 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 647 markings, 872 edges, 129 markings/sec, 0 secs
lola: 1473 markings, 1992 edges, 165 markings/sec, 5 secs
lola: 2413 markings, 3282 edges, 188 markings/sec, 10 secs
lola: 3330 markings, 4547 edges, 183 markings/sec, 15 secs
lola: 4205 markings, 5718 edges, 175 markings/sec, 20 secs
lola: 5108 markings, 6947 edges, 181 markings/sec, 25 secs
lola: 5901 markings, 8022 edges, 159 markings/sec, 30 secs
lola: 6806 markings, 9239 edges, 181 markings/sec, 35 secs
lola: 7662 markings, 10411 edges, 171 markings/sec, 40 secs
lola: 8614 markings, 11695 edges, 190 markings/sec, 45 secs
lola: 9491 markings, 12901 edges, 175 markings/sec, 50 secs
lola: 10222 markings, 13902 edges, 146 markings/sec, 55 secs
lola: 11153 markings, 15160 edges, 186 markings/sec, 60 secs
lola: 12031 markings, 16388 edges, 176 markings/sec, 65 secs
lola: 12910 markings, 17577 edges, 176 markings/sec, 70 secs
lola: 13727 markings, 18673 edges, 163 markings/sec, 75 secs
lola: 14635 markings, 19890 edges, 182 markings/sec, 80 secs
lola: 15438 markings, 20993 edges, 161 markings/sec, 85 secs
lola: 16326 markings, 22239 edges, 178 markings/sec, 90 secs
lola: 17219 markings, 23449 edges, 179 markings/sec, 95 secs
lola: 17971 markings, 24460 edges, 150 markings/sec, 100 secs
lola: 18850 markings, 25644 edges, 176 markings/sec, 105 secs
lola: 19752 markings, 26883 edges, 180 markings/sec, 110 secs
lola: 20589 markings, 27997 edges, 167 markings/sec, 115 secs
lola: 21436 markings, 29122 edges, 169 markings/sec, 120 secs
lola: 22302 markings, 30290 edges, 173 markings/sec, 125 secs
lola: 23059 markings, 31308 edges, 151 markings/sec, 130 secs
lola: 23906 markings, 32431 edges, 169 markings/sec, 135 secs
lola: 24812 markings, 33656 edges, 181 markings/sec, 140 secs
lola: 25625 markings, 34755 edges, 163 markings/sec, 145 secs
lola: 26541 markings, 35989 edges, 183 markings/sec, 150 secs
lola: 27484 markings, 37277 edges, 189 markings/sec, 155 secs
lola: 28405 markings, 38543 edges, 184 markings/sec, 160 secs
lola: 29187 markings, 39629 edges, 156 markings/sec, 165 secs
lola: 30012 markings, 40747 edges, 165 markings/sec, 170 secs
lola: 30841 markings, 41885 edges, 166 markings/sec, 175 secs
lola: 31782 markings, 43173 edges, 188 markings/sec, 180 secs
lola: 32628 markings, 44324 edges, 169 markings/sec, 185 secs
lola: 33603 markings, 45666 edges, 195 markings/sec, 190 secs
lola: 34474 markings, 46881 edges, 174 markings/sec, 195 secs
lola: 35396 markings, 48116 edges, 184 markings/sec, 200 secs
lola: 36208 markings, 49231 edges, 162 markings/sec, 205 secs
lola: 37113 markings, 50446 edges, 181 markings/sec, 210 secs
lola: 37973 markings, 51625 edges, 172 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 59 markings, 95 edges, 9 markings/sec, 5 secs
lola: 104 markings, 165 edges, 9 markings/sec, 10 secs
lola: 127 markings, 203 edges, 5 markings/sec, 15 secs
lola: 170 markings, 284 edges, 9 markings/sec, 20 secs
lola: 216 markings, 354 edges, 9 markings/sec, 25 secs
lola: 250 markings, 410 edges, 7 markings/sec, 30 secs
lola: 307 markings, 503 edges, 11 markings/sec, 35 secs
lola: 382 markings, 621 edges, 15 markings/sec, 40 secs
lola: 599 markings, 984 edges, 43 markings/sec, 45 secs
lola: 753 markings, 1262 edges, 31 markings/sec, 50 secs
lola: 832 markings, 1391 edges, 16 markings/sec, 55 secs
lola: 957 markings, 1592 edges, 25 markings/sec, 60 secs
lola: 1067 markings, 1799 edges, 22 markings/sec, 65 secs
lola: 1165 markings, 1976 edges, 20 markings/sec, 70 secs
lola: 1223 markings, 2077 edges, 12 markings/sec, 75 secs
lola: 1265 markings, 2148 edges, 8 markings/sec, 80 secs
lola: 1312 markings, 2238 edges, 9 markings/sec, 85 secs
lola: 1330 markings, 2277 edges, 4 markings/sec, 90 secs
lola: 1390 markings, 2389 edges, 12 markings/sec, 95 secs
lola: 1449 markings, 2487 edges, 12 markings/sec, 100 secs
lola: 1492 markings, 2556 edges, 9 markings/sec, 105 secs
lola: 1530 markings, 2618 edges, 8 markings/sec, 110 secs
lola: 1662 markings, 2857 edges, 26 markings/sec, 115 secs
lola: 1767 markings, 3066 edges, 21 markings/sec, 120 secs
lola: 1855 markings, 3209 edges, 18 markings/sec, 125 secs
lola: 1918 markings, 3331 edges, 13 markings/sec, 130 secs
lola: 2059 markings, 3559 edges, 28 markings/sec, 135 secs
lola: 2140 markings, 3683 edges, 16 markings/sec, 140 secs
lola: 2329 markings, 4020 edges, 38 markings/sec, 145 secs
lola: 2458 markings, 4217 edges, 26 markings/sec, 150 secs
lola: 2517 markings, 4319 edges, 12 markings/sec, 155 secs
lola: 2732 markings, 4721 edges, 43 markings/sec, 160 secs
lola: 2847 markings, 4923 edges, 23 markings/sec, 165 secs
lola: 3011 markings, 5199 edges, 33 markings/sec, 170 secs
lola: 3181 markings, 5495 edges, 34 markings/sec, 175 secs
lola: 3302 markings, 5694 edges, 24 markings/sec, 180 secs
lola: 3344 markings, 5787 edges, 8 markings/sec, 185 secs
lola: 3361 markings, 5825 edges, 3 markings/sec, 190 secs
lola: 3421 markings, 5940 edges, 12 markings/sec, 195 secs
lola: 3631 markings, 6314 edges, 42 markings/sec, 200 secs
lola: 3742 markings, 6484 edges, 22 markings/sec, 205 secs
lola: 3942 markings, 6801 edges, 40 markings/sec, 210 secs
lola: 4149 markings, 7111 edges, 41 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 127 markings, 201 edges, 25 markings/sec, 0 secs
lola: 326 markings, 581 edges, 40 markings/sec, 5 secs
lola: 544 markings, 1007 edges, 44 markings/sec, 10 secs
lola: 783 markings, 1550 edges, 48 markings/sec, 15 secs
lola: 1014 markings, 2050 edges, 46 markings/sec, 20 secs
lola: 1290 markings, 2742 edges, 55 markings/sec, 25 secs
lola: 1545 markings, 3308 edges, 51 markings/sec, 30 secs
lola: 1845 markings, 4045 edges, 60 markings/sec, 35 secs
lola: 2132 markings, 4733 edges, 57 markings/sec, 40 secs
lola: 2423 markings, 5454 edges, 58 markings/sec, 45 secs
lola: 2730 markings, 6211 edges, 61 markings/sec, 50 secs
lola: 3065 markings, 7060 edges, 67 markings/sec, 55 secs
lola: 3366 markings, 7809 edges, 60 markings/sec, 60 secs
lola: 3670 markings, 8565 edges, 61 markings/sec, 65 secs
lola: 3992 markings, 9400 edges, 64 markings/sec, 70 secs
lola: 4355 markings, 10426 edges, 73 markings/sec, 75 secs
lola: 4716 markings, 11357 edges, 72 markings/sec, 80 secs
lola: 5074 markings, 12371 edges, 72 markings/sec, 85 secs
lola: 5429 markings, 13334 edges, 71 markings/sec, 90 secs
lola: 5740 markings, 14074 edges, 62 markings/sec, 95 secs
lola: 6028 markings, 14738 edges, 58 markings/sec, 100 secs
lola: 6387 markings, 15710 edges, 72 markings/sec, 105 secs
lola: 6751 markings, 16674 edges, 73 markings/sec, 110 secs
lola: 7073 markings, 17472 edges, 64 markings/sec, 115 secs
lola: 7446 markings, 18535 edges, 75 markings/sec, 120 secs
lola: 7786 markings, 19428 edges, 68 markings/sec, 125 secs
lola: 8107 markings, 20186 edges, 64 markings/sec, 130 secs
lola: 8511 markings, 21284 edges, 81 markings/sec, 135 secs
lola: 8834 markings, 22211 edges, 65 markings/sec, 140 secs
lola: 9197 markings, 23271 edges, 73 markings/sec, 145 secs
lola: 9572 markings, 24348 edges, 75 markings/sec, 150 secs
lola: 9904 markings, 25200 edges, 66 markings/sec, 155 secs
lola: 10297 markings, 26350 edges, 79 markings/sec, 160 secs
lola: 10654 markings, 27302 edges, 71 markings/sec, 165 secs
lola: 11065 markings, 28498 edges, 82 markings/sec, 170 secs
lola: 11454 markings, 29653 edges, 78 markings/sec, 175 secs
lola: 11847 markings, 30730 edges, 79 markings/sec, 180 secs
lola: 12218 markings, 31680 edges, 74 markings/sec, 185 secs
lola: 12573 markings, 32689 edges, 71 markings/sec, 190 secs
lola: 12946 markings, 33665 edges, 75 markings/sec, 195 secs
lola: 13367 markings, 34944 edges, 84 markings/sec, 200 secs
lola: 13718 markings, 35836 edges, 70 markings/sec, 205 secs
lola: 14086 markings, 36860 edges, 74 markings/sec, 210 secs
lola: 14486 markings, 38063 edges, 80 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 15 markings, 20 edges, 3 markings/sec, 0 secs
lola: 69 markings, 111 edges, 11 markings/sec, 5 secs
lola: 111 markings, 179 edges, 8 markings/sec, 10 secs
lola: 131 markings, 212 edges, 4 markings/sec, 15 secs
lola: 197 markings, 325 edges, 13 markings/sec, 20 secs
lola: 234 markings, 385 edges, 7 markings/sec, 25 secs
lola: 293 markings, 483 edges, 12 markings/sec, 30 secs
lola: 332 markings, 544 edges, 8 markings/sec, 35 secs
lola: 570 markings, 923 edges, 48 markings/sec, 40 secs
lola: 752 markings, 1261 edges, 36 markings/sec, 45 secs
lola: 840 markings, 1405 edges, 18 markings/sec, 50 secs
lola: 983 markings, 1637 edges, 29 markings/sec, 55 secs
lola: 1103 markings, 1854 edges, 24 markings/sec, 60 secs
lola: 1177 markings, 2000 edges, 15 markings/sec, 65 secs
lola: 1251 markings, 2126 edges, 15 markings/sec, 70 secs
lola: 1297 markings, 2211 edges, 9 markings/sec, 75 secs
lola: 1324 markings, 2264 edges, 5 markings/sec, 80 secs
lola: 1353 markings, 2325 edges, 6 markings/sec, 85 secs
lola: 1430 markings, 2455 edges, 15 markings/sec, 90 secs
lola: 1492 markings, 2556 edges, 12 markings/sec, 95 secs
lola: 1533 markings, 2625 edges, 8 markings/sec, 100 secs
lola: 1692 markings, 2917 edges, 32 markings/sec, 105 secs
lola: 1776 markings, 3080 edges, 17 markings/sec, 110 secs
lola: 1875 markings, 3241 edges, 20 markings/sec, 115 secs
lola: 1992 markings, 3455 edges, 23 markings/sec, 120 secs
lola: 2110 markings, 3634 edges, 24 markings/sec, 125 secs
lola: 2245 markings, 3857 edges, 27 markings/sec, 130 secs
lola: 2437 markings, 4183 edges, 38 markings/sec, 135 secs
lola: 2481 markings, 4254 edges, 9 markings/sec, 140 secs
lola: 2718 markings, 4689 edges, 47 markings/sec, 145 secs
lola: 2830 markings, 4898 edges, 22 markings/sec, 150 secs
lola: 3017 markings, 5211 edges, 37 markings/sec, 155 secs
lola: 3202 markings, 5529 edges, 37 markings/sec, 160 secs
lola: 3310 markings, 5710 edges, 22 markings/sec, 165 secs
lola: 3346 markings, 5790 edges, 7 markings/sec, 170 secs
lola: 3372 markings, 5853 edges, 5 markings/sec, 175 secs
lola: 3561 markings, 6171 edges, 38 markings/sec, 180 secs
lola: 3704 markings, 6424 edges, 29 markings/sec, 185 secs
lola: 3886 markings, 6716 edges, 36 markings/sec, 190 secs
lola: 4108 markings, 7044 edges, 44 markings/sec, 195 secs
lola: 4362 markings, 7460 edges, 51 markings/sec, 200 secs
lola: 4418 markings, 7544 edges, 11 markings/sec, 205 secs
lola: 4528 markings, 7724 edges, 22 markings/sec, 210 secs
lola: 4635 markings, 7897 edges, 21 markings/sec, 215 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 GlobalResAllocation-COL-05-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496395493605

--------------------
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_GlobalResAllocation-PT-05"
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_GlobalResAllocation-PT-05.tgz
mv S_GlobalResAllocation-PT-05 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_GlobalResAllocation-PT-05, 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-149441612500497"
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 ;