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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_GlobalResAllocation-COL-05: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_GlobalResAllocation-COL-05: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_GlobalResAllocation-COL-05 @ 3459 seconds
----- Start make result stdout -----
lola: LoLA will run for 3459 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, 38797 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(p70 + p71 + p72 + p73 + p74) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p15 + p16 + p17 + p18 + p19) : MAX(p15 + p16 + p17 + p18 + p19) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p15 + p16 + p17 + p18 + p19) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p0 + p1 + p2 + p3 + p4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
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: 169 markings, 244 edges, 34 markings/sec, 0 secs
lola: 394 markings, 629 edges, 45 markings/sec, 5 secs
lola: 699 markings, 1185 edges, 61 markings/sec, 10 secs
lola: 984 markings, 1693 edges, 57 markings/sec, 15 secs
lola: 1319 markings, 2333 edges, 67 markings/sec, 20 secs
lola: 1653 markings, 2979 edges, 67 markings/sec, 25 secs
lola: 1984 markings, 3606 edges, 66 markings/sec, 30 secs
lola: 2356 markings, 4329 edges, 74 markings/sec, 35 secs
lola: 2731 markings, 5067 edges, 75 markings/sec, 40 secs
lola: 3115 markings, 5836 edges, 77 markings/sec, 45 secs
lola: 3498 markings, 6614 edges, 77 markings/sec, 50 secs
lola: 3894 markings, 7392 edges, 79 markings/sec, 55 secs
lola: 4303 markings, 8227 edges, 82 markings/sec, 60 secs
lola: 4711 markings, 9059 edges, 82 markings/sec, 65 secs
lola: 5113 markings, 9878 edges, 80 markings/sec, 70 secs
lola: 5545 markings, 10847 edges, 86 markings/sec, 75 secs
lola: 5998 markings, 11831 edges, 91 markings/sec, 80 secs
lola: 6464 markings, 12824 edges, 93 markings/sec, 85 secs
lola: 6919 markings, 13821 edges, 91 markings/sec, 90 secs
lola: 7412 markings, 14843 edges, 99 markings/sec, 95 secs
lola: 7917 markings, 15953 edges, 101 markings/sec, 100 secs
lola: 8416 markings, 17078 edges, 100 markings/sec, 105 secs
lola: 8894 markings, 18082 edges, 96 markings/sec, 110 secs
lola: 9374 markings, 19163 edges, 96 markings/sec, 115 secs
lola: 9892 markings, 20347 edges, 104 markings/sec, 120 secs
lola: 10362 markings, 21409 edges, 94 markings/sec, 125 secs
lola: 10799 markings, 22361 edges, 87 markings/sec, 130 secs
lola: 11266 markings, 23361 edges, 93 markings/sec, 135 secs
lola: 11784 markings, 24535 edges, 104 markings/sec, 140 secs
lola: 12272 markings, 25596 edges, 98 markings/sec, 145 secs
lola: 12781 markings, 26745 edges, 102 markings/sec, 150 secs
lola: 13288 markings, 27864 edges, 101 markings/sec, 155 secs
lola: 13766 markings, 28953 edges, 96 markings/sec, 160 secs
lola: 14247 markings, 30129 edges, 96 markings/sec, 165 secs
lola: 14810 markings, 31478 edges, 113 markings/sec, 170 secs
lola: 15388 markings, 32824 edges, 116 markings/sec, 175 secs
lola: 15933 markings, 34082 edges, 109 markings/sec, 180 secs
lola: 16460 markings, 35335 edges, 105 markings/sec, 185 secs
lola: 16888 markings, 36292 edges, 86 markings/sec, 190 secs
lola: 17385 markings, 37484 edges, 99 markings/sec, 195 secs
lola: 17896 markings, 38720 edges, 102 markings/sec, 200 secs
lola: 18398 markings, 39935 edges, 100 markings/sec, 205 secs
lola: 18924 markings, 41198 edges, 105 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
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: 169 markings, 244 edges, 34 markings/sec, 0 secs
lola: 439 markings, 707 edges, 54 markings/sec, 5 secs
lola: 739 markings, 1259 edges, 60 markings/sec, 10 secs
lola: 1054 markings, 1833 edges, 63 markings/sec, 15 secs
lola: 1369 markings, 2432 edges, 63 markings/sec, 20 secs
lola: 1706 markings, 3072 edges, 67 markings/sec, 25 secs
lola: 2058 markings, 3751 edges, 70 markings/sec, 30 secs
lola: 2433 markings, 4483 edges, 75 markings/sec, 35 secs
lola: 2814 markings, 5229 edges, 76 markings/sec, 40 secs
lola: 3159 markings, 5912 edges, 69 markings/sec, 45 secs
lola: 3559 markings, 6729 edges, 80 markings/sec, 50 secs
lola: 3948 markings, 7509 edges, 78 markings/sec, 55 secs
lola: 4367 markings, 8354 edges, 84 markings/sec, 60 secs
lola: 4749 markings, 9132 edges, 76 markings/sec, 65 secs
lola: 5168 markings, 9995 edges, 84 markings/sec, 70 secs
lola: 5559 markings, 10877 edges, 78 markings/sec, 75 secs
lola: 6013 markings, 11865 edges, 91 markings/sec, 80 secs
lola: 6424 markings, 12739 edges, 82 markings/sec, 85 secs
lola: 6813 markings, 13565 edges, 78 markings/sec, 90 secs
lola: 7227 markings, 14481 edges, 83 markings/sec, 95 secs
lola: 7696 markings, 15474 edges, 94 markings/sec, 100 secs
lola: 8124 markings, 16407 edges, 86 markings/sec, 105 secs
lola: 8585 markings, 17425 edges, 92 markings/sec, 110 secs
lola: 8999 markings, 18322 edges, 83 markings/sec, 115 secs
lola: 9449 markings, 19350 edges, 90 markings/sec, 120 secs
lola: 9917 markings, 20399 edges, 94 markings/sec, 125 secs
lola: 10347 markings, 21374 edges, 86 markings/sec, 130 secs
lola: 10758 markings, 22280 edges, 82 markings/sec, 135 secs
lola: 11173 markings, 23155 edges, 83 markings/sec, 140 secs
lola: 11644 markings, 24215 edges, 94 markings/sec, 145 secs
lola: 12119 markings, 25259 edges, 95 markings/sec, 150 secs
lola: 12558 markings, 26238 edges, 88 markings/sec, 155 secs
lola: 13032 markings, 27292 edges, 95 markings/sec, 160 secs
lola: 13547 markings, 28460 edges, 103 markings/sec, 165 secs
lola: 14010 markings, 29538 edges, 93 markings/sec, 170 secs
lola: 14544 markings, 30844 edges, 107 markings/sec, 175 secs
lola: 15107 markings, 32137 edges, 113 markings/sec, 180 secs
lola: 15621 markings, 33360 edges, 103 markings/sec, 185 secs
lola: 16083 markings, 34440 edges, 92 markings/sec, 190 secs
lola: 16539 markings, 35494 edges, 91 markings/sec, 195 secs
lola: 16996 markings, 36539 edges, 91 markings/sec, 200 secs
lola: 17497 markings, 37765 edges, 100 markings/sec, 205 secs
lola: 17989 markings, 38934 edges, 98 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
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: 164 markings, 237 edges, 33 markings/sec, 0 secs
lola: 429 markings, 691 edges, 53 markings/sec, 5 secs
lola: 724 markings, 1233 edges, 59 markings/sec, 10 secs
lola: 1031 markings, 1789 edges, 61 markings/sec, 15 secs
lola: 1348 markings, 2394 edges, 63 markings/sec, 20 secs
lola: 1675 markings, 3019 edges, 65 markings/sec, 25 secs
lola: 2004 markings, 3643 edges, 66 markings/sec, 30 secs
lola: 2369 markings, 4356 edges, 73 markings/sec, 35 secs
lola: 2731 markings, 5067 edges, 72 markings/sec, 40 secs
lola: 3098 markings, 5806 edges, 73 markings/sec, 45 secs
lola: 3478 markings, 6567 edges, 76 markings/sec, 50 secs
lola: 3865 markings, 7336 edges, 77 markings/sec, 55 secs
lola: 4252 markings, 8130 edges, 77 markings/sec, 60 secs
lola: 4635 markings, 8909 edges, 77 markings/sec, 65 secs
lola: 5044 markings, 9742 edges, 82 markings/sec, 70 secs
lola: 5443 markings, 10617 edges, 80 markings/sec, 75 secs
lola: 5855 markings, 11515 edges, 82 markings/sec, 80 secs
lola: 6299 markings, 12469 edges, 89 markings/sec, 85 secs
lola: 6728 markings, 13385 edges, 86 markings/sec, 90 secs
lola: 7151 markings, 14335 edges, 85 markings/sec, 95 secs
lola: 7616 markings, 15289 edges, 93 markings/sec, 100 secs
lola: 8051 markings, 16250 edges, 87 markings/sec, 105 secs
lola: 8516 markings, 17276 edges, 93 markings/sec, 110 secs
lola: 8928 markings, 18167 edges, 82 markings/sec, 115 secs
lola: 9354 markings, 19119 edges, 85 markings/sec, 120 secs
lola: 9816 markings, 20180 edges, 92 markings/sec, 125 secs
lola: 10251 markings, 21138 edges, 87 markings/sec, 130 secs
lola: 10694 markings, 22161 edges, 89 markings/sec, 135 secs
lola: 11113 markings, 23035 edges, 84 markings/sec, 140 secs
lola: 11584 markings, 24087 edges, 94 markings/sec, 145 secs
lola: 12058 markings, 25118 edges, 95 markings/sec, 150 secs
lola: 12485 markings, 26078 edges, 85 markings/sec, 155 secs
lola: 12947 markings, 27109 edges, 92 markings/sec, 160 secs
lola: 13402 markings, 28110 edges, 91 markings/sec, 165 secs
lola: 13857 markings, 29183 edges, 91 markings/sec, 170 secs
lola: 14305 markings, 30262 edges, 90 markings/sec, 175 secs
lola: 14800 markings, 31453 edges, 99 markings/sec, 180 secs
lola: 15331 markings, 32688 edges, 106 markings/sec, 185 secs
lola: 15835 markings, 33858 edges, 101 markings/sec, 190 secs
lola: 16298 markings, 34938 edges, 93 markings/sec, 195 secs
lola: 16709 markings, 35872 edges, 82 markings/sec, 200 secs
lola: 17190 markings, 37031 edges, 96 markings/sec, 205 secs
lola: 17676 markings, 38198 edges, 97 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
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: 16 markings, 15 edges, 3 markings/sec, 0 secs
lola: 137 markings, 196 edges, 24 markings/sec, 5 secs
lola: 338 markings, 604 edges, 40 markings/sec, 10 secs
lola: 520 markings, 968 edges, 36 markings/sec, 15 secs
lola: 720 markings, 1380 edges, 40 markings/sec, 20 secs
lola: 918 markings, 1820 edges, 40 markings/sec, 25 secs
lola: 1132 markings, 2265 edges, 43 markings/sec, 30 secs
lola: 1334 markings, 2704 edges, 40 markings/sec, 35 secs
lola: 1555 markings, 3165 edges, 44 markings/sec, 40 secs
lola: 1765 markings, 3642 edges, 42 markings/sec, 45 secs
lola: 1999 markings, 4138 edges, 47 markings/sec, 50 secs
lola: 2229 markings, 4705 edges, 46 markings/sec, 55 secs
lola: 2435 markings, 5226 edges, 41 markings/sec, 60 secs
lola: 2634 markings, 5654 edges, 40 markings/sec, 65 secs
lola: 2858 markings, 6155 edges, 45 markings/sec, 70 secs
lola: 3064 markings, 6657 edges, 41 markings/sec, 75 secs
lola: 3309 markings, 7310 edges, 49 markings/sec, 80 secs
lola: 3575 markings, 7983 edges, 53 markings/sec, 85 secs
lola: 3822 markings, 8596 edges, 49 markings/sec, 90 secs
lola: 4082 markings, 9249 edges, 52 markings/sec, 95 secs
lola: 4309 markings, 9823 edges, 45 markings/sec, 100 secs
lola: 4540 markings, 10375 edges, 46 markings/sec, 105 secs
lola: 4806 markings, 10996 edges, 53 markings/sec, 110 secs
lola: 5028 markings, 11570 edges, 44 markings/sec, 115 secs
lola: 5311 markings, 12263 edges, 57 markings/sec, 120 secs
lola: 5621 markings, 13102 edges, 62 markings/sec, 125 secs
lola: 5843 markings, 13638 edges, 44 markings/sec, 130 secs
lola: 6102 markings, 14272 edges, 52 markings/sec, 135 secs
lola: 6384 markings, 15016 edges, 56 markings/sec, 140 secs
lola: 6601 markings, 15568 edges, 43 markings/sec, 145 secs
lola: 6861 markings, 16225 edges, 52 markings/sec, 150 secs
lola: 7146 markings, 17007 edges, 57 markings/sec, 155 secs
lola: 7407 markings, 17731 edges, 52 markings/sec, 160 secs
lola: 7659 markings, 18392 edges, 50 markings/sec, 165 secs
lola: 7938 markings, 19206 edges, 56 markings/sec, 170 secs
lola: 8208 markings, 19984 edges, 54 markings/sec, 175 secs
lola: 8455 markings, 20515 edges, 49 markings/sec, 180 secs
lola: 8738 markings, 21245 edges, 57 markings/sec, 185 secs
lola: 9044 markings, 22100 edges, 61 markings/sec, 190 secs
lola: 9316 markings, 22794 edges, 54 markings/sec, 195 secs
lola: 9604 markings, 23610 edges, 58 markings/sec, 200 secs
lola: 9902 markings, 24496 edges, 60 markings/sec, 205 secs
lola: 10192 markings, 25338 edges, 58 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
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: 18 markings, 20 edges, 4 markings/sec, 0 secs
lola: 35 markings, 44 edges, 3 markings/sec, 5 secs
lola: 97 markings, 129 edges, 12 markings/sec, 10 secs
lola: 158 markings, 205 edges, 12 markings/sec, 15 secs
lola: 202 markings, 270 edges, 9 markings/sec, 20 secs
lola: 222 markings, 301 edges, 4 markings/sec, 25 secs
lola: 295 markings, 394 edges, 15 markings/sec, 30 secs
lola: 333 markings, 443 edges, 8 markings/sec, 35 secs
lola: 440 markings, 581 edges, 21 markings/sec, 40 secs
lola: 687 markings, 926 edges, 49 markings/sec, 45 secs
lola: 1177 markings, 1619 edges, 98 markings/sec, 50 secs
lola: 1458 markings, 2012 edges, 56 markings/sec, 55 secs
lola: 1654 markings, 2286 edges, 39 markings/sec, 60 secs
lola: 1983 markings, 2766 edges, 66 markings/sec, 65 secs
lola: 2066 markings, 2876 edges, 17 markings/sec, 70 secs
lola: 2182 markings, 3036 edges, 23 markings/sec, 75 secs
lola: 2298 markings, 3201 edges, 23 markings/sec, 80 secs
lola: 2394 markings, 3334 edges, 19 markings/sec, 85 secs
lola: 2442 markings, 3401 edges, 10 markings/sec, 90 secs
lola: 2507 markings, 3486 edges, 13 markings/sec, 95 secs
lola: 2554 markings, 3551 edges, 9 markings/sec, 100 secs
lola: 2632 markings, 3657 edges, 16 markings/sec, 105 secs
lola: 2684 markings, 3730 edges, 10 markings/sec, 110 secs
lola: 2747 markings, 3827 edges, 13 markings/sec, 115 secs
lola: 2831 markings, 3946 edges, 17 markings/sec, 120 secs
lola: 2886 markings, 4024 edges, 11 markings/sec, 125 secs
lola: 2933 markings, 4103 edges, 9 markings/sec, 130 secs
lola: 2966 markings, 4168 edges, 7 markings/sec, 135 secs
lola: 3034 markings, 4255 edges, 14 markings/sec, 140 secs
lola: 3154 markings, 4440 edges, 24 markings/sec, 145 secs
lola: 3328 markings, 4677 edges, 35 markings/sec, 150 secs
lola: 3490 markings, 4897 edges, 32 markings/sec, 155 secs
lola: 3669 markings, 5152 edges, 36 markings/sec, 160 secs
lola: 3797 markings, 5331 edges, 26 markings/sec, 165 secs
lola: 3892 markings, 5461 edges, 19 markings/sec, 170 secs
lola: 4065 markings, 5702 edges, 35 markings/sec, 175 secs
lola: 4237 markings, 5939 edges, 34 markings/sec, 180 secs
lola: 4385 markings, 6141 edges, 30 markings/sec, 185 secs
lola: 4603 markings, 6442 edges, 44 markings/sec, 190 secs
lola: 4876 markings, 6834 edges, 55 markings/sec, 195 secs
lola: 5104 markings, 7155 edges, 46 markings/sec, 200 secs
lola: 5379 markings, 7567 edges, 55 markings/sec, 205 secs
lola: 5649 markings, 7945 edges, 54 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
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: 16 markings, 15 edges, 3 markings/sec, 0 secs
lola: 136 markings, 194 edges, 24 markings/sec, 5 secs
lola: 328 markings, 584 edges, 38 markings/sec, 10 secs
lola: 507 markings, 941 edges, 36 markings/sec, 15 secs
lola: 702 markings, 1349 edges, 39 markings/sec, 20 secs
lola: 897 markings, 1765 edges, 39 markings/sec, 25 secs
lola: 1103 markings, 2202 edges, 41 markings/sec, 30 secs
lola: 1320 markings, 2675 edges, 43 markings/sec, 35 secs
lola: 1537 markings, 3128 edges, 43 markings/sec, 40 secs
lola: 1740 markings, 3587 edges, 41 markings/sec, 45 secs
lola: 1970 markings, 4075 edges, 46 markings/sec, 50 secs
lola: 2199 markings, 4629 edges, 46 markings/sec, 55 secs
lola: 2429 markings, 5210 edges, 46 markings/sec, 60 secs
lola: 2640 markings, 5667 edges, 42 markings/sec, 65 secs
lola: 2863 markings, 6166 edges, 45 markings/sec, 70 secs
lola: 3089 markings, 6705 edges, 45 markings/sec, 75 secs
lola: 3330 markings, 7376 edges, 48 markings/sec, 80 secs
lola: 3576 markings, 7986 edges, 49 markings/sec, 85 secs
lola: 3823 markings, 8599 edges, 49 markings/sec, 90 secs
lola: 4076 markings, 9234 edges, 51 markings/sec, 95 secs
lola: 4317 markings, 9848 edges, 48 markings/sec, 100 secs
lola: 4551 markings, 10398 edges, 47 markings/sec, 105 secs
lola: 4806 markings, 10996 edges, 51 markings/sec, 110 secs
lola: 5043 markings, 11600 edges, 47 markings/sec, 115 secs
lola: 5342 markings, 12350 edges, 60 markings/sec, 120 secs
lola: 5633 markings, 13129 edges, 58 markings/sec, 125 secs
lola: 5868 markings, 13701 edges, 47 markings/sec, 130 secs
lola: 6129 markings, 14338 edges, 52 markings/sec, 135 secs
lola: 6402 markings, 15053 edges, 55 markings/sec, 140 secs
lola: 6622 markings, 15619 edges, 44 markings/sec, 145 secs
lola: 6906 markings, 16348 edges, 57 markings/sec, 150 secs
lola: 7192 markings, 17127 edges, 57 markings/sec, 155 secs
lola: 7462 markings, 17863 edges, 54 markings/sec, 160 secs
lola: 7719 markings, 18560 edges, 51 markings/sec, 165 secs
lola: 7987 markings, 19338 edges, 54 markings/sec, 170 secs
lola: 8288 markings, 20183 edges, 60 markings/sec, 175 secs
lola: 8520 markings, 20653 edges, 46 markings/sec, 180 secs
lola: 8829 markings, 21528 edges, 62 markings/sec, 185 secs
lola: 9139 markings, 22352 edges, 62 markings/sec, 190 secs
lola: 9422 markings, 23076 edges, 57 markings/sec, 195 secs
lola: 9745 markings, 24044 edges, 65 markings/sec, 200 secs
lola: 10053 markings, 24936 edges, 62 markings/sec, 205 secs
lola: 10349 markings, 25732 edges, 59 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
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: 19 markings, 21 edges, 4 markings/sec, 0 secs
lola: 35 markings, 44 edges, 3 markings/sec, 5 secs
lola: 105 markings, 138 edges, 14 markings/sec, 10 secs
lola: 170 markings, 220 edges, 13 markings/sec, 15 secs
lola: 203 markings, 271 edges, 7 markings/sec, 20 secs
lola: 227 markings, 308 edges, 5 markings/sec, 25 secs
lola: 301 markings, 402 edges, 15 markings/sec, 30 secs
lola: 375 markings, 494 edges, 15 markings/sec, 35 secs
lola: 449 markings, 594 edges, 15 markings/sec, 40 secs
lola: 839 markings, 1138 edges, 78 markings/sec, 45 secs
lola: 1276 markings, 1763 edges, 87 markings/sec, 50 secs
lola: 1497 markings, 2063 edges, 44 markings/sec, 55 secs
lola: 1760 markings, 2434 edges, 53 markings/sec, 60 secs
lola: 2024 markings, 2819 edges, 53 markings/sec, 65 secs
lola: 2082 markings, 2897 edges, 12 markings/sec, 70 secs
lola: 2213 markings, 3075 edges, 26 markings/sec, 75 secs
lola: 2340 markings, 3261 edges, 25 markings/sec, 80 secs
lola: 2404 markings, 3350 edges, 13 markings/sec, 85 secs
lola: 2466 markings, 3430 edges, 12 markings/sec, 90 secs
lola: 2528 markings, 3517 edges, 12 markings/sec, 95 secs
lola: 2566 markings, 3571 edges, 8 markings/sec, 100 secs
lola: 2655 markings, 3687 edges, 18 markings/sec, 105 secs
lola: 2690 markings, 3743 edges, 7 markings/sec, 110 secs
lola: 2757 markings, 3855 edges, 13 markings/sec, 115 secs
lola: 2858 markings, 3989 edges, 20 markings/sec, 120 secs
lola: 2913 markings, 4061 edges, 11 markings/sec, 125 secs
lola: 2951 markings, 4138 edges, 8 markings/sec, 130 secs
lola: 3015 markings, 4232 edges, 13 markings/sec, 135 secs
lola: 3099 markings, 4361 edges, 17 markings/sec, 140 secs
lola: 3222 markings, 4529 edges, 25 markings/sec, 145 secs
lola: 3464 markings, 4861 edges, 48 markings/sec, 150 secs
lola: 3666 markings, 5149 edges, 40 markings/sec, 155 secs
lola: 3788 markings, 5314 edges, 24 markings/sec, 160 secs
lola: 3890 markings, 5458 edges, 20 markings/sec, 165 secs
lola: 4059 markings, 5694 edges, 34 markings/sec, 170 secs
lola: 4231 markings, 5932 edges, 34 markings/sec, 175 secs
lola: 4389 markings, 6147 edges, 32 markings/sec, 180 secs
lola: 4654 markings, 6515 edges, 53 markings/sec, 185 secs
lola: 4893 markings, 6859 edges, 48 markings/sec, 190 secs
lola: 5152 markings, 7223 edges, 52 markings/sec, 195 secs
lola: 5442 markings, 7659 edges, 58 markings/sec, 200 secs
lola: 5672 markings, 7981 edges, 46 markings/sec, 205 secs
lola: 5727 markings, 8053 edges, 11 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
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: 19 markings, 21 edges, 4 markings/sec, 0 secs
lola: 35 markings, 44 edges, 3 markings/sec, 5 secs
lola: 106 markings, 139 edges, 14 markings/sec, 10 secs
lola: 175 markings, 227 edges, 14 markings/sec, 15 secs
lola: 206 markings, 277 edges, 6 markings/sec, 20 secs
lola: 237 markings, 322 edges, 6 markings/sec, 25 secs
lola: 314 markings, 418 edges, 15 markings/sec, 30 secs
lola: 406 markings, 534 edges, 18 markings/sec, 35 secs
lola: 487 markings, 649 edges, 16 markings/sec, 40 secs
lola: 850 markings, 1153 edges, 73 markings/sec, 45 secs
lola: 1277 markings, 1764 edges, 85 markings/sec, 50 secs
lola: 1500 markings, 2068 edges, 45 markings/sec, 55 secs
lola: 1772 markings, 2451 edges, 54 markings/sec, 60 secs
lola: 2028 markings, 2830 edges, 51 markings/sec, 65 secs
lola: 2077 markings, 2891 edges, 10 markings/sec, 70 secs
lola: 2205 markings, 3066 edges, 26 markings/sec, 75 secs
lola: 2324 markings, 3239 edges, 24 markings/sec, 80 secs
lola: 2400 markings, 3342 edges, 15 markings/sec, 85 secs
lola: 2447 markings, 3406 edges, 9 markings/sec, 90 secs
lola: 2521 markings, 3508 edges, 15 markings/sec, 95 secs
lola: 2557 markings, 3558 edges, 7 markings/sec, 100 secs
lola: 2641 markings, 3671 edges, 17 markings/sec, 105 secs
lola: 2689 markings, 3742 edges, 10 markings/sec, 110 secs
lola: 2746 markings, 3825 edges, 11 markings/sec, 115 secs
lola: 2832 markings, 3947 edges, 17 markings/sec, 120 secs
lola: 2891 markings, 4030 edges, 12 markings/sec, 125 secs
lola: 2934 markings, 4104 edges, 9 markings/sec, 130 secs
lola: 2978 markings, 4184 edges, 9 markings/sec, 135 secs
lola: 3040 markings, 4265 edges, 12 markings/sec, 140 secs
lola: 3160 markings, 4447 edges, 24 markings/sec, 145 secs
lola: 3385 markings, 4754 edges, 45 markings/sec, 150 secs
lola: 3566 markings, 5007 edges, 36 markings/sec, 155 secs
lola: 3680 markings, 5166 edges, 23 markings/sec, 160 secs
lola: 3840 markings, 5386 edges, 32 markings/sec, 165 secs
lola: 3911 markings, 5490 edges, 14 markings/sec, 170 secs
lola: 4081 markings, 5731 edges, 34 markings/sec, 175 secs
lola: 4301 markings, 6022 edges, 44 markings/sec, 180 secs
lola: 4405 markings, 6169 edges, 21 markings/sec, 185 secs
lola: 4715 markings, 6604 edges, 62 markings/sec, 190 secs
lola: 4895 markings, 6861 edges, 36 markings/sec, 195 secs
lola: 5160 markings, 7233 edges, 53 markings/sec, 200 secs
lola: 5448 markings, 7672 edges, 58 markings/sec, 205 secs
lola: 5673 markings, 7982 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 8 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19)
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: 341 markings, 468 edges, 68 markings/sec, 0 secs
lola: 874 markings, 1258 edges, 107 markings/sec, 5 secs
lola: 1411 markings, 2073 edges, 107 markings/sec, 10 secs
lola: 1992 markings, 3045 edges, 116 markings/sec, 15 secs
lola: 2514 markings, 3826 edges, 104 markings/sec, 20 secs
lola: 3107 markings, 4726 edges, 119 markings/sec, 25 secs
lola: 3823 markings, 5914 edges, 143 markings/sec, 30 secs
lola: 4442 markings, 7072 edges, 124 markings/sec, 35 secs
lola: 5052 markings, 8066 edges, 122 markings/sec, 40 secs
lola: 5700 markings, 9153 edges, 130 markings/sec, 45 secs
lola: 6400 markings, 10381 edges, 140 markings/sec, 50 secs
lola: 6995 markings, 11338 edges, 119 markings/sec, 55 secs
lola: 7786 markings, 12771 edges, 158 markings/sec, 60 secs
lola: 8528 markings, 14053 edges, 148 markings/sec, 65 secs
lola: 9293 markings, 15378 edges, 153 markings/sec, 70 secs
lola: 10023 markings, 16678 edges, 146 markings/sec, 75 secs
lola: 10790 markings, 18033 edges, 153 markings/sec, 80 secs
lola: 11551 markings, 19476 edges, 152 markings/sec, 85 secs
lola: 12322 markings, 21055 edges, 154 markings/sec, 90 secs
lola: 13192 markings, 22887 edges, 174 markings/sec, 95 secs
lola: 14095 markings, 24652 edges, 181 markings/sec, 100 secs
lola: 14906 markings, 26445 edges, 162 markings/sec, 105 secs
lola: 15704 markings, 28189 edges, 160 markings/sec, 110 secs
lola: 16491 markings, 29783 edges, 157 markings/sec, 115 secs
lola: 17228 markings, 31407 edges, 147 markings/sec, 120 secs
lola: 18050 markings, 33210 edges, 164 markings/sec, 125 secs
lola: 18824 markings, 34949 edges, 155 markings/sec, 130 secs
lola: 19612 markings, 36661 edges, 158 markings/sec, 135 secs
lola: 20256 markings, 38190 edges, 129 markings/sec, 140 secs
lola: 21091 markings, 40055 edges, 167 markings/sec, 145 secs
lola: 21926 markings, 41788 edges, 167 markings/sec, 150 secs
lola: 22832 markings, 44020 edges, 181 markings/sec, 155 secs
lola: 23633 markings, 45723 edges, 160 markings/sec, 160 secs
lola: 24461 markings, 47595 edges, 166 markings/sec, 165 secs
lola: 25275 markings, 49338 edges, 163 markings/sec, 170 secs
lola: 26145 markings, 51528 edges, 174 markings/sec, 175 secs
lola: 26987 markings, 53394 edges, 168 markings/sec, 180 secs
lola: 27857 markings, 55314 edges, 174 markings/sec, 185 secs
lola: 28685 markings, 57235 edges, 166 markings/sec, 190 secs
lola: 29434 markings, 59139 edges, 150 markings/sec, 195 secs
lola: 30244 markings, 60878 edges, 162 markings/sec, 200 secs
lola: 31050 markings, 62800 edges, 161 markings/sec, 205 secs
lola: 31886 markings, 65036 edges, 167 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19)
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: 336 markings, 461 edges, 67 markings/sec, 0 secs
lola: 750 markings, 1073 edges, 83 markings/sec, 5 secs
lola: 1291 markings, 1884 edges, 108 markings/sec, 10 secs
lola: 1783 markings, 2684 edges, 98 markings/sec, 15 secs
lola: 2372 markings, 3626 edges, 118 markings/sec, 20 secs
lola: 2824 markings, 4314 edges, 90 markings/sec, 25 secs
lola: 3500 markings, 5386 edges, 135 markings/sec, 30 secs
lola: 4137 markings, 6489 edges, 127 markings/sec, 35 secs
lola: 4770 markings, 7614 edges, 127 markings/sec, 40 secs
lola: 5309 markings, 8461 edges, 108 markings/sec, 45 secs
lola: 5943 markings, 9575 edges, 127 markings/sec, 50 secs
lola: 6528 markings, 10593 edges, 117 markings/sec, 55 secs
lola: 7120 markings, 11531 edges, 118 markings/sec, 60 secs
lola: 7838 markings, 12869 edges, 144 markings/sec, 65 secs
lola: 8512 markings, 14017 edges, 135 markings/sec, 70 secs
lola: 9206 markings, 15199 edges, 139 markings/sec, 75 secs
lola: 9922 markings, 16488 edges, 143 markings/sec, 80 secs
lola: 10647 markings, 17790 edges, 145 markings/sec, 85 secs
lola: 11264 markings, 18969 edges, 123 markings/sec, 90 secs
lola: 11960 markings, 20325 edges, 139 markings/sec, 95 secs
lola: 12686 markings, 21891 edges, 145 markings/sec, 100 secs
lola: 13399 markings, 23335 edges, 143 markings/sec, 105 secs
lola: 14159 markings, 24769 edges, 152 markings/sec, 110 secs
lola: 14849 markings, 26306 edges, 138 markings/sec, 115 secs
lola: 15596 markings, 27945 edges, 149 markings/sec, 120 secs
lola: 16281 markings, 29243 edges, 137 markings/sec, 125 secs
lola: 17063 markings, 31049 edges, 156 markings/sec, 130 secs
lola: 17777 markings, 32598 edges, 143 markings/sec, 135 secs
lola: 18498 markings, 34281 edges, 144 markings/sec, 140 secs
lola: 19177 markings, 35640 edges, 136 markings/sec, 145 secs
lola: 19882 markings, 37461 edges, 141 markings/sec, 150 secs
lola: 20468 markings, 38703 edges, 117 markings/sec, 155 secs
lola: 21207 markings, 40267 edges, 148 markings/sec, 160 secs
lola: 21923 markings, 41785 edges, 143 markings/sec, 165 secs
lola: 22709 markings, 43676 edges, 157 markings/sec, 170 secs
lola: 23397 markings, 45226 edges, 138 markings/sec, 175 secs
lola: 24066 markings, 46676 edges, 134 markings/sec, 180 secs
lola: 24744 markings, 48193 edges, 136 markings/sec, 185 secs
lola: 25406 markings, 49712 edges, 132 markings/sec, 190 secs
lola: 26138 markings, 51510 edges, 146 markings/sec, 195 secs
lola: 26890 markings, 53153 edges, 150 markings/sec, 200 secs
lola: 27688 markings, 54949 edges, 160 markings/sec, 205 secs
lola: 28485 markings, 56755 edges, 159 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
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: 125 markings, 179 edges, 22 markings/sec, 5 secs
lola: 296 markings, 521 edges, 34 markings/sec, 10 secs
lola: 461 markings, 836 edges, 33 markings/sec, 15 secs
lola: 624 markings, 1160 edges, 33 markings/sec, 20 secs
lola: 811 markings, 1563 edges, 37 markings/sec, 25 secs
lola: 1006 markings, 2007 edges, 39 markings/sec, 30 secs
lola: 1212 markings, 2442 edges, 41 markings/sec, 35 secs
lola: 1415 markings, 2887 edges, 41 markings/sec, 40 secs
lola: 1613 markings, 3299 edges, 40 markings/sec, 45 secs
lola: 1813 markings, 3745 edges, 40 markings/sec, 50 secs
lola: 2022 markings, 4201 edges, 42 markings/sec, 55 secs
lola: 2249 markings, 4765 edges, 45 markings/sec, 60 secs
lola: 2447 markings, 5252 edges, 40 markings/sec, 65 secs
lola: 2661 markings, 5709 edges, 43 markings/sec, 70 secs
lola: 2881 markings, 6204 edges, 44 markings/sec, 75 secs
lola: 3114 markings, 6772 edges, 47 markings/sec, 80 secs
lola: 3321 markings, 7344 edges, 41 markings/sec, 85 secs
lola: 3566 markings, 7961 edges, 49 markings/sec, 90 secs
lola: 3806 markings, 8560 edges, 48 markings/sec, 95 secs
lola: 4065 markings, 9207 edges, 52 markings/sec, 100 secs
lola: 4299 markings, 9795 edges, 47 markings/sec, 105 secs
lola: 4535 markings, 10366 edges, 47 markings/sec, 110 secs
lola: 4787 markings, 10950 edges, 50 markings/sec, 115 secs
lola: 5028 markings, 11570 edges, 48 markings/sec, 120 secs
lola: 5315 markings, 12275 edges, 57 markings/sec, 125 secs
lola: 5618 markings, 13088 edges, 61 markings/sec, 130 secs
lola: 5854 markings, 13668 edges, 47 markings/sec, 135 secs
lola: 6095 markings, 14258 edges, 48 markings/sec, 140 secs
lola: 6323 markings, 14828 edges, 46 markings/sec, 145 secs
lola: 6540 markings, 15409 edges, 43 markings/sec, 150 secs
lola: 6774 markings, 16009 edges, 47 markings/sec, 155 secs
lola: 7053 markings, 16777 edges, 56 markings/sec, 160 secs
lola: 7302 markings, 17434 edges, 50 markings/sec, 165 secs
lola: 7572 markings, 18168 edges, 54 markings/sec, 170 secs
lola: 7808 markings, 18836 edges, 47 markings/sec, 175 secs
lola: 8084 markings, 19618 edges, 55 markings/sec, 180 secs
lola: 8344 markings, 20296 edges, 52 markings/sec, 185 secs
lola: 8568 markings, 20759 edges, 45 markings/sec, 190 secs
lola: 8852 markings, 21592 edges, 57 markings/sec, 195 secs
lola: 9150 markings, 22381 edges, 60 markings/sec, 200 secs
lola: 9424 markings, 23082 edges, 55 markings/sec, 205 secs
lola: 9766 markings, 24099 edges, 68 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
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: 16 markings, 15 edges, 3 markings/sec, 0 secs
lola: 142 markings, 204 edges, 25 markings/sec, 5 secs
lola: 340 markings, 608 edges, 40 markings/sec, 10 secs
lola: 529 markings, 982 edges, 38 markings/sec, 15 secs
lola: 708 markings, 1359 edges, 36 markings/sec, 20 secs
lola: 884 markings, 1737 edges, 35 markings/sec, 25 secs
lola: 1062 markings, 2118 edges, 36 markings/sec, 30 secs
lola: 1280 markings, 2586 edges, 44 markings/sec, 35 secs
lola: 1492 markings, 3038 edges, 42 markings/sec, 40 secs
lola: 1698 markings, 3477 edges, 41 markings/sec, 45 secs
lola: 1910 markings, 3942 edges, 42 markings/sec, 50 secs
lola: 2141 markings, 4472 edges, 46 markings/sec, 55 secs
lola: 2378 markings, 5089 edges, 47 markings/sec, 60 secs
lola: 2584 markings, 5560 edges, 41 markings/sec, 65 secs
lola: 2792 markings, 5976 edges, 42 markings/sec, 70 secs
lola: 3042 markings, 6614 edges, 50 markings/sec, 75 secs
lola: 3273 markings, 7202 edges, 46 markings/sec, 80 secs
lola: 3534 markings, 7892 edges, 52 markings/sec, 85 secs
lola: 3727 markings, 8352 edges, 39 markings/sec, 90 secs
lola: 3995 markings, 9022 edges, 54 markings/sec, 95 secs
lola: 4225 markings, 9568 edges, 46 markings/sec, 100 secs
lola: 4488 markings, 10272 edges, 53 markings/sec, 105 secs
lola: 4723 markings, 10782 edges, 47 markings/sec, 110 secs
lola: 4982 markings, 11468 edges, 52 markings/sec, 115 secs
lola: 5250 markings, 12117 edges, 54 markings/sec, 120 secs
lola: 5561 markings, 12940 edges, 62 markings/sec, 125 secs
lola: 5813 markings, 13556 edges, 50 markings/sec, 130 secs
lola: 6077 markings, 14210 edges, 53 markings/sec, 135 secs
lola: 6364 markings, 14959 edges, 57 markings/sec, 140 secs
lola: 6589 markings, 15528 edges, 45 markings/sec, 145 secs
lola: 6866 markings, 16237 edges, 55 markings/sec, 150 secs
lola: 7159 markings, 17042 edges, 59 markings/sec, 155 secs
lola: 7445 markings, 17827 edges, 57 markings/sec, 160 secs
lola: 7694 markings, 18484 edges, 50 markings/sec, 165 secs
lola: 7970 markings, 19291 edges, 55 markings/sec, 170 secs
lola: 8261 markings, 20118 edges, 58 markings/sec, 175 secs
lola: 8503 markings, 20618 edges, 48 markings/sec, 180 secs
lola: 8802 markings, 21456 edges, 60 markings/sec, 185 secs
lola: 9111 markings, 22288 edges, 62 markings/sec, 190 secs
lola: 9383 markings, 22976 edges, 54 markings/sec, 195 secs
lola: 9688 markings, 23874 edges, 61 markings/sec, 200 secs
lola: 9984 markings, 24724 edges, 59 markings/sec, 205 secs
lola: 10290 markings, 25590 edges, 61 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19)
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: 336 markings, 461 edges, 67 markings/sec, 0 secs
lola: 862 markings, 1237 edges, 105 markings/sec, 5 secs
lola: 1375 markings, 2021 edges, 103 markings/sec, 10 secs
lola: 1881 markings, 2837 edges, 101 markings/sec, 15 secs
lola: 2402 markings, 3666 edges, 104 markings/sec, 20 secs
lola: 2937 markings, 4473 edges, 107 markings/sec, 25 secs
lola: 3606 markings, 5557 edges, 134 markings/sec, 30 secs
lola: 4142 markings, 6495 edges, 107 markings/sec, 35 secs
lola: 4759 markings, 7599 edges, 123 markings/sec, 40 secs
lola: 5375 markings, 8562 edges, 123 markings/sec, 45 secs
lola: 6015 markings, 9710 edges, 128 markings/sec, 50 secs
lola: 6598 markings, 10695 edges, 117 markings/sec, 55 secs
lola: 7183 markings, 11638 edges, 117 markings/sec, 60 secs
lola: 7885 markings, 12945 edges, 140 markings/sec, 65 secs
lola: 8558 markings, 14104 edges, 135 markings/sec, 70 secs
lola: 9224 markings, 15237 edges, 133 markings/sec, 75 secs
lola: 9924 markings, 16490 edges, 140 markings/sec, 80 secs
lola: 10633 markings, 17765 edges, 142 markings/sec, 85 secs
lola: 11232 markings, 18911 edges, 120 markings/sec, 90 secs
lola: 11909 markings, 20214 edges, 135 markings/sec, 95 secs
lola: 12628 markings, 21793 edges, 144 markings/sec, 100 secs
lola: 13372 markings, 23279 edges, 149 markings/sec, 105 secs
lola: 14130 markings, 24717 edges, 152 markings/sec, 110 secs
lola: 14800 markings, 26194 edges, 134 markings/sec, 115 secs
lola: 15460 markings, 27644 edges, 132 markings/sec, 120 secs
lola: 16079 markings, 28845 edges, 124 markings/sec, 125 secs
lola: 16834 markings, 30623 edges, 151 markings/sec, 130 secs
lola: 17588 markings, 32185 edges, 151 markings/sec, 135 secs
lola: 18316 markings, 33879 edges, 146 markings/sec, 140 secs
lola: 18985 markings, 35298 edges, 134 markings/sec, 145 secs
lola: 19705 markings, 36999 edges, 144 markings/sec, 150 secs
lola: 20289 markings, 38294 edges, 117 markings/sec, 155 secs
lola: 21029 markings, 39925 edges, 148 markings/sec, 160 secs
lola: 21767 markings, 41463 edges, 148 markings/sec, 165 secs
lola: 22530 markings, 43230 edges, 153 markings/sec, 170 secs
lola: 23279 markings, 45032 edges, 150 markings/sec, 175 secs
lola: 24042 markings, 46620 edges, 153 markings/sec, 180 secs
lola: 24744 markings, 48193 edges, 140 markings/sec, 185 secs
lola: 25452 markings, 49807 edges, 142 markings/sec, 190 secs
lola: 26213 markings, 51673 edges, 152 markings/sec, 195 secs
lola: 26989 markings, 53398 edges, 155 markings/sec, 200 secs
lola: 27777 markings, 55156 edges, 158 markings/sec, 205 secs
lola: 28523 markings, 56856 edges, 149 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
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: 17 markings, 19 edges, 3 markings/sec, 0 secs
lola: 34 markings, 43 edges, 3 markings/sec, 5 secs
lola: 62 markings, 82 edges, 6 markings/sec, 10 secs
lola: 152 markings, 198 edges, 18 markings/sec, 15 secs
lola: 199 markings, 265 edges, 9 markings/sec, 20 secs
lola: 216 markings, 292 edges, 3 markings/sec, 25 secs
lola: 263 markings, 354 edges, 9 markings/sec, 30 secs
lola: 305 markings, 406 edges, 8 markings/sec, 35 secs
lola: 366 markings, 483 edges, 12 markings/sec, 40 secs
lola: 445 markings, 588 edges, 16 markings/sec, 45 secs
lola: 726 markings, 979 edges, 56 markings/sec, 50 secs
lola: 1150 markings, 1573 edges, 85 markings/sec, 55 secs
lola: 1411 markings, 1944 edges, 52 markings/sec, 60 secs
lola: 1606 markings, 2215 edges, 39 markings/sec, 65 secs
lola: 1865 markings, 2600 edges, 52 markings/sec, 70 secs
lola: 2032 markings, 2834 edges, 33 markings/sec, 75 secs
lola: 2089 markings, 2907 edges, 11 markings/sec, 80 secs
lola: 2196 markings, 3054 edges, 21 markings/sec, 85 secs
lola: 2318 markings, 3227 edges, 24 markings/sec, 90 secs
lola: 2396 markings, 3336 edges, 16 markings/sec, 95 secs
lola: 2438 markings, 3396 edges, 8 markings/sec, 100 secs
lola: 2504 markings, 3483 edges, 13 markings/sec, 105 secs
lola: 2551 markings, 3547 edges, 9 markings/sec, 110 secs
lola: 2599 markings, 3615 edges, 10 markings/sec, 115 secs
lola: 2663 markings, 3700 edges, 13 markings/sec, 120 secs
lola: 2694 markings, 3755 edges, 6 markings/sec, 125 secs
lola: 2769 markings, 3871 edges, 15 markings/sec, 130 secs
lola: 2859 markings, 3990 edges, 18 markings/sec, 135 secs
lola: 2912 markings, 4059 edges, 11 markings/sec, 140 secs
lola: 2942 markings, 4120 edges, 6 markings/sec, 145 secs
lola: 2991 markings, 4200 edges, 10 markings/sec, 150 secs
lola: 3043 markings, 4270 edges, 10 markings/sec, 155 secs
lola: 3164 markings, 4452 edges, 24 markings/sec, 160 secs
lola: 3387 markings, 4756 edges, 45 markings/sec, 165 secs
lola: 3567 markings, 5008 edges, 36 markings/sec, 170 secs
lola: 3679 markings, 5165 edges, 22 markings/sec, 175 secs
lola: 3833 markings, 5378 edges, 31 markings/sec, 180 secs
lola: 3911 markings, 5490 edges, 16 markings/sec, 185 secs
lola: 4095 markings, 5754 edges, 37 markings/sec, 190 secs
lola: 4320 markings, 6047 edges, 45 markings/sec, 195 secs
lola: 4406 markings, 6170 edges, 17 markings/sec, 200 secs
lola: 4730 markings, 6622 edges, 65 markings/sec, 205 secs
lola: 4942 markings, 6922 edges, 42 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 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
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: 149 markings, 213 edges, 30 markings/sec, 0 secs
lola: 389 markings, 619 edges, 48 markings/sec, 5 secs
lola: 659 markings, 1111 edges, 54 markings/sec, 10 secs
lola: 933 markings, 1602 edges, 55 markings/sec, 15 secs
lola: 1239 markings, 2173 edges, 61 markings/sec, 20 secs
lola: 1542 markings, 2758 edges, 61 markings/sec, 25 secs
lola: 1851 markings, 3352 edges, 62 markings/sec, 30 secs
lola: 2179 markings, 3996 edges, 66 markings/sec, 35 secs
lola: 2508 markings, 4643 edges, 66 markings/sec, 40 secs
lola: 2844 markings, 5290 edges, 67 markings/sec, 45 secs
lola: 3153 markings, 5903 edges, 62 markings/sec, 50 secs
lola: 3514 markings, 6645 edges, 72 markings/sec, 55 secs
lola: 3874 markings, 7352 edges, 72 markings/sec, 60 secs
lola: 4235 markings, 8092 edges, 72 markings/sec, 65 secs
lola: 4584 markings, 8798 edges, 70 markings/sec, 70 secs
lola: 4948 markings, 9564 edges, 73 markings/sec, 75 secs
lola: 5308 markings, 10327 edges, 72 markings/sec, 80 secs
lola: 5658 markings, 11094 edges, 70 markings/sec, 85 secs
lola: 6058 markings, 11964 edges, 80 markings/sec, 90 secs
lola: 6445 markings, 12778 edges, 77 markings/sec, 95 secs
lola: 6817 markings, 13572 edges, 74 markings/sec, 100 secs
lola: 7205 markings, 14436 edges, 78 markings/sec, 105 secs
lola: 7616 markings, 15289 edges, 82 markings/sec, 110 secs
lola: 8000 markings, 16134 edges, 77 markings/sec, 115 secs
lola: 8411 markings, 17065 edges, 82 markings/sec, 120 secs
lola: 8799 markings, 17879 edges, 78 markings/sec, 125 secs
lola: 9190 markings, 18747 edges, 78 markings/sec, 130 secs
lola: 9594 markings, 19677 edges, 81 markings/sec, 135 secs
lola: 10007 markings, 20605 edges, 83 markings/sec, 140 secs
lola: 10367 markings, 21420 edges, 72 markings/sec, 145 secs
lola: 10756 markings, 22274 edges, 78 markings/sec, 150 secs
lola: 11165 markings, 23138 edges, 82 markings/sec, 155 secs
lola: 11620 markings, 24164 edges, 91 markings/sec, 160 secs
lola: 12077 markings, 25160 edges, 91 markings/sec, 165 secs
lola: 12500 markings, 26105 edges, 85 markings/sec, 170 secs
lola: 12947 markings, 27109 edges, 89 markings/sec, 175 secs
lola: 13398 markings, 28101 edges, 90 markings/sec, 180 secs
lola: 13827 markings, 29108 edges, 86 markings/sec, 185 secs
lola: 14286 markings, 30220 edges, 92 markings/sec, 190 secs
lola: 14770 markings, 31378 edges, 97 markings/sec, 195 secs
lola: 15301 markings, 32617 edges, 106 markings/sec, 200 secs
lola: 15785 markings, 33734 edges, 97 markings/sec, 205 secs
lola: 16258 markings, 34837 edges, 95 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 216 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
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: 19 markings, 21 edges, 4 markings/sec, 0 secs
lola: 35 markings, 44 edges, 3 markings/sec, 5 secs
lola: 104 markings, 137 edges, 14 markings/sec, 10 secs
lola: 169 markings, 219 edges, 13 markings/sec, 15 secs
lola: 203 markings, 271 edges, 7 markings/sec, 20 secs
lola: 227 markings, 308 edges, 5 markings/sec, 25 secs
lola: 302 markings, 403 edges, 15 markings/sec, 30 secs
lola: 376 markings, 495 edges, 15 markings/sec, 35 secs
lola: 449 markings, 594 edges, 15 markings/sec, 40 secs
lola: 823 markings, 1117 edges, 75 markings/sec, 45 secs
lola: 1271 markings, 1756 edges, 90 markings/sec, 50 secs
lola: 1483 markings, 2044 edges, 42 markings/sec, 55 secs
lola: 1714 markings, 2367 edges, 46 markings/sec, 60 secs
lola: 1998 markings, 2785 edges, 57 markings/sec, 65 secs
lola: 2069 markings, 2881 edges, 14 markings/sec, 70 secs
lola: 2185 markings, 3042 edges, 23 markings/sec, 75 secs
lola: 2295 markings, 3198 edges, 22 markings/sec, 80 secs
lola: 2393 markings, 3333 edges, 20 markings/sec, 85 secs
lola: 2438 markings, 3396 edges, 9 markings/sec, 90 secs
lola: 2505 markings, 3484 edges, 13 markings/sec, 95 secs
lola: 2553 markings, 3550 edges, 10 markings/sec, 100 secs
lola: 2617 markings, 3638 edges, 13 markings/sec, 105 secs
lola: 2683 markings, 3729 edges, 13 markings/sec, 110 secs
lola: 2743 markings, 3820 edges, 12 markings/sec, 115 secs
lola: 2818 markings, 3930 edges, 15 markings/sec, 120 secs
lola: 2875 markings, 4010 edges, 11 markings/sec, 125 secs
lola: 2919 markings, 4073 edges, 9 markings/sec, 130 secs
lola: 2954 markings, 4145 edges, 7 markings/sec, 135 secs
lola: 3018 markings, 4235 edges, 13 markings/sec, 140 secs
lola: 3092 markings, 4353 edges, 15 markings/sec, 145 secs
lola: 3217 markings, 4522 edges, 25 markings/sec, 150 secs
lola: 3445 markings, 4837 edges, 46 markings/sec, 155 secs
lola: 3635 markings, 5102 edges, 38 markings/sec, 160 secs
lola: 3696 markings, 5189 edges, 12 markings/sec, 165 secs
lola: 3870 markings, 5434 edges, 35 markings/sec, 170 secs
lola: 3994 markings, 5605 edges, 25 markings/sec, 175 secs
lola: 4175 markings, 5860 edges, 36 markings/sec, 180 secs
lola: 4343 markings, 6076 edges, 34 markings/sec, 185 secs
lola: 4447 markings, 6225 edges, 21 markings/sec, 190 secs
lola: 4824 markings, 6763 edges, 75 markings/sec, 195 secs
lola: 5004 markings, 7018 edges, 36 markings/sec, 200 secs
lola: 5236 markings, 7344 edges, 46 markings/sec, 205 secs
lola: 5546 markings, 7805 edges, 62 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA 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 1496377373345

--------------------
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-COL-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-COL-05.tgz
mv S_GlobalResAllocation-COL-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-COL-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-149441612400434"
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 ;