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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GlobalResAllocation-COL-05 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 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 221 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: 168 markings, 265 edges, 34 markings/sec, 0 secs
lola: 418 markings, 725 edges, 50 markings/sec, 5 secs
lola: 719 markings, 1318 edges, 60 markings/sec, 10 secs
lola: 1033 markings, 1949 edges, 63 markings/sec, 15 secs
lola: 1418 markings, 2752 edges, 77 markings/sec, 20 secs
lola: 1784 markings, 3519 edges, 73 markings/sec, 25 secs
lola: 2062 markings, 4113 edges, 56 markings/sec, 30 secs
lola: 2460 markings, 5026 edges, 80 markings/sec, 35 secs
lola: 2845 markings, 5816 edges, 77 markings/sec, 40 secs
lola: 3283 markings, 6821 edges, 88 markings/sec, 45 secs
lola: 3585 markings, 7455 edges, 60 markings/sec, 50 secs
lola: 4002 markings, 8405 edges, 83 markings/sec, 55 secs
lola: 4406 markings, 9352 edges, 81 markings/sec, 60 secs
lola: 4819 markings, 10347 edges, 83 markings/sec, 65 secs
lola: 5245 markings, 11309 edges, 85 markings/sec, 70 secs
lola: 5676 markings, 12297 edges, 86 markings/sec, 75 secs
lola: 6081 markings, 13306 edges, 81 markings/sec, 80 secs
lola: 6517 markings, 14401 edges, 87 markings/sec, 85 secs
lola: 6959 markings, 15495 edges, 88 markings/sec, 90 secs
lola: 7401 markings, 16642 edges, 88 markings/sec, 95 secs
lola: 7837 markings, 17704 edges, 87 markings/sec, 100 secs
lola: 8305 markings, 18904 edges, 94 markings/sec, 105 secs
lola: 8760 markings, 19985 edges, 91 markings/sec, 110 secs
lola: 9237 markings, 21203 edges, 95 markings/sec, 115 secs
lola: 9683 markings, 22303 edges, 89 markings/sec, 120 secs
lola: 10209 markings, 23632 edges, 105 markings/sec, 125 secs
lola: 10702 markings, 24818 edges, 99 markings/sec, 130 secs
lola: 11217 markings, 26155 edges, 103 markings/sec, 135 secs
lola: 11761 markings, 27506 edges, 109 markings/sec, 140 secs
lola: 12250 markings, 28755 edges, 98 markings/sec, 145 secs
lola: 12734 markings, 29971 edges, 97 markings/sec, 150 secs
lola: 13254 markings, 31384 edges, 104 markings/sec, 155 secs
lola: 13783 markings, 32717 edges, 106 markings/sec, 160 secs
lola: 14325 markings, 34146 edges, 108 markings/sec, 165 secs
lola: 14765 markings, 35247 edges, 88 markings/sec, 170 secs
lola: 15339 markings, 36756 edges, 115 markings/sec, 175 secs
lola: 15886 markings, 38153 edges, 109 markings/sec, 180 secs
lola: 16438 markings, 39643 edges, 110 markings/sec, 185 secs
lola: 16999 markings, 41109 edges, 112 markings/sec, 190 secs
lola: 17543 markings, 42617 edges, 109 markings/sec, 195 secs
lola: 18103 markings, 44164 edges, 112 markings/sec, 200 secs
lola: 18681 markings, 45688 edges, 116 markings/sec, 205 secs
lola: 19255 markings, 47249 edges, 115 markings/sec, 210 secs
lola: 19793 markings, 48730 edges, 108 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 183 markings, 294 edges, 37 markings/sec, 0 secs
lola: 473 markings, 830 edges, 58 markings/sec, 5 secs
lola: 788 markings, 1461 edges, 63 markings/sec, 10 secs
lola: 1114 markings, 2105 edges, 65 markings/sec, 15 secs
lola: 1492 markings, 2901 edges, 76 markings/sec, 20 secs
lola: 1843 markings, 3646 edges, 70 markings/sec, 25 secs
lola: 2151 markings, 4322 edges, 62 markings/sec, 30 secs
lola: 2565 markings, 5268 edges, 83 markings/sec, 35 secs
lola: 2959 markings, 6088 edges, 79 markings/sec, 40 secs
lola: 3406 markings, 7106 edges, 89 markings/sec, 45 secs
lola: 3753 markings, 7836 edges, 69 markings/sec, 50 secs
lola: 4202 markings, 8874 edges, 90 markings/sec, 55 secs
lola: 4592 markings, 9781 edges, 78 markings/sec, 60 secs
lola: 5041 markings, 10878 edges, 90 markings/sec, 65 secs
lola: 5473 markings, 11823 edges, 86 markings/sec, 70 secs
lola: 5937 markings, 12958 edges, 93 markings/sec, 75 secs
lola: 6358 markings, 14014 edges, 84 markings/sec, 80 secs
lola: 6830 markings, 15168 edges, 94 markings/sec, 85 secs
lola: 7297 markings, 16362 edges, 93 markings/sec, 90 secs
lola: 7724 markings, 17419 edges, 85 markings/sec, 95 secs
lola: 8196 markings, 18655 edges, 94 markings/sec, 100 secs
lola: 8653 markings, 19707 edges, 91 markings/sec, 105 secs
lola: 9135 markings, 20968 edges, 96 markings/sec, 110 secs
lola: 9614 markings, 22135 edges, 96 markings/sec, 115 secs
lola: 10138 markings, 23459 edges, 105 markings/sec, 120 secs
lola: 10618 markings, 24602 edges, 96 markings/sec, 125 secs
lola: 11109 markings, 25863 edges, 98 markings/sec, 130 secs
lola: 11631 markings, 27172 edges, 104 markings/sec, 135 secs
lola: 12125 markings, 28444 edges, 99 markings/sec, 140 secs
lola: 12630 markings, 29709 edges, 101 markings/sec, 145 secs
lola: 13130 markings, 31048 edges, 100 markings/sec, 150 secs
lola: 13619 markings, 32293 edges, 98 markings/sec, 155 secs
lola: 14137 markings, 33674 edges, 104 markings/sec, 160 secs
lola: 14625 markings, 34889 edges, 98 markings/sec, 165 secs
lola: 15147 markings, 36247 edges, 104 markings/sec, 170 secs
lola: 15688 markings, 37625 edges, 108 markings/sec, 175 secs
lola: 16207 markings, 39063 edges, 104 markings/sec, 180 secs
lola: 16690 markings, 40313 edges, 97 markings/sec, 185 secs
lola: 17177 markings, 41612 edges, 97 markings/sec, 190 secs
lola: 17686 markings, 43018 edges, 102 markings/sec, 195 secs
lola: 18212 markings, 44461 edges, 105 markings/sec, 200 secs
lola: 18744 markings, 45871 edges, 106 markings/sec, 205 secs
lola: 19262 markings, 47261 edges, 104 markings/sec, 210 secs
lola: 19778 markings, 48685 edges, 103 markings/sec, 215 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(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: 173 markings, 274 edges, 35 markings/sec, 0 secs
lola: 452 markings, 785 edges, 56 markings/sec, 5 secs
lola: 762 markings, 1404 edges, 62 markings/sec, 10 secs
lola: 1073 markings, 2026 edges, 62 markings/sec, 15 secs
lola: 1427 markings, 2772 edges, 71 markings/sec, 20 secs
lola: 1784 markings, 3519 edges, 71 markings/sec, 25 secs
lola: 2076 markings, 4144 edges, 58 markings/sec, 30 secs
lola: 2476 markings, 5061 edges, 80 markings/sec, 35 secs
lola: 2859 markings, 5850 edges, 77 markings/sec, 40 secs
lola: 3285 markings, 6827 edges, 85 markings/sec, 45 secs
lola: 3649 markings, 7590 edges, 73 markings/sec, 50 secs
lola: 4083 markings, 8595 edges, 87 markings/sec, 55 secs
lola: 4472 markings, 9517 edges, 78 markings/sec, 60 secs
lola: 4875 markings, 10497 edges, 81 markings/sec, 65 secs
lola: 5290 markings, 11407 edges, 83 markings/sec, 70 secs
lola: 5728 markings, 12426 edges, 88 markings/sec, 75 secs
lola: 6110 markings, 13381 edges, 76 markings/sec, 80 secs
lola: 6541 markings, 14448 edges, 86 markings/sec, 85 secs
lola: 6989 markings, 15577 edges, 90 markings/sec, 90 secs
lola: 7420 markings, 16693 edges, 86 markings/sec, 95 secs
lola: 7839 markings, 17709 edges, 84 markings/sec, 100 secs
lola: 8292 markings, 18879 edges, 91 markings/sec, 105 secs
lola: 8725 markings, 19891 edges, 87 markings/sec, 110 secs
lola: 9199 markings, 21109 edges, 95 markings/sec, 115 secs
lola: 9649 markings, 22213 edges, 90 markings/sec, 120 secs
lola: 10150 markings, 23487 edges, 100 markings/sec, 125 secs
lola: 10613 markings, 24591 edges, 93 markings/sec, 130 secs
lola: 11098 markings, 25833 edges, 97 markings/sec, 135 secs
lola: 11607 markings, 27111 edges, 102 markings/sec, 140 secs
lola: 12069 markings, 28312 edges, 92 markings/sec, 145 secs
lola: 12563 markings, 29532 edges, 99 markings/sec, 150 secs
lola: 13045 markings, 30855 edges, 96 markings/sec, 155 secs
lola: 13525 markings, 32058 edges, 96 markings/sec, 160 secs
lola: 14028 markings, 33379 edges, 101 markings/sec, 165 secs
lola: 14514 markings, 34606 edges, 97 markings/sec, 170 secs
lola: 15014 markings, 35915 edges, 100 markings/sec, 175 secs
lola: 15526 markings, 37211 edges, 102 markings/sec, 180 secs
lola: 16036 markings, 38581 edges, 102 markings/sec, 185 secs
lola: 16540 markings, 39911 edges, 101 markings/sec, 190 secs
lola: 17080 markings, 41357 edges, 108 markings/sec, 195 secs
lola: 17586 markings, 42727 edges, 101 markings/sec, 200 secs
lola: 18112 markings, 44191 edges, 105 markings/sec, 205 secs
lola: 18645 markings, 45584 edges, 107 markings/sec, 210 secs
lola: 19172 markings, 47027 edges, 105 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(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: 153 markings, 226 edges, 27 markings/sec, 5 secs
lola: 335 markings, 560 edges, 36 markings/sec, 10 secs
lola: 528 markings, 939 edges, 39 markings/sec, 15 secs
lola: 752 markings, 1406 edges, 45 markings/sec, 20 secs
lola: 985 markings, 1917 edges, 47 markings/sec, 25 secs
lola: 1221 markings, 2464 edges, 47 markings/sec, 30 secs
lola: 1463 markings, 3037 edges, 48 markings/sec, 35 secs
lola: 1681 markings, 3536 edges, 44 markings/sec, 40 secs
lola: 1927 markings, 4177 edges, 49 markings/sec, 45 secs
lola: 2156 markings, 4710 edges, 46 markings/sec, 50 secs
lola: 2363 markings, 5177 edges, 41 markings/sec, 55 secs
lola: 2565 markings, 5631 edges, 40 markings/sec, 60 secs
lola: 2801 markings, 6205 edges, 47 markings/sec, 65 secs
lola: 3068 markings, 6895 edges, 53 markings/sec, 70 secs
lola: 3274 markings, 7397 edges, 41 markings/sec, 75 secs
lola: 3506 markings, 7925 edges, 46 markings/sec, 80 secs
lola: 3787 markings, 8586 edges, 56 markings/sec, 85 secs
lola: 4026 markings, 9184 edges, 48 markings/sec, 90 secs
lola: 4246 markings, 9718 edges, 44 markings/sec, 95 secs
lola: 4496 markings, 10357 edges, 50 markings/sec, 100 secs
lola: 4720 markings, 10821 edges, 45 markings/sec, 105 secs
lola: 4979 markings, 11390 edges, 52 markings/sec, 110 secs
lola: 5236 markings, 12049 edges, 51 markings/sec, 115 secs
lola: 5495 markings, 12765 edges, 52 markings/sec, 120 secs
lola: 5762 markings, 13516 edges, 53 markings/sec, 125 secs
lola: 6043 markings, 14281 edges, 56 markings/sec, 130 secs
lola: 6324 markings, 15027 edges, 56 markings/sec, 135 secs
lola: 6615 markings, 15824 edges, 58 markings/sec, 140 secs
lola: 6878 markings, 16531 edges, 53 markings/sec, 145 secs
lola: 7127 markings, 17202 edges, 50 markings/sec, 150 secs
lola: 7395 markings, 17910 edges, 54 markings/sec, 155 secs
lola: 7678 markings, 18602 edges, 57 markings/sec, 160 secs
lola: 7947 markings, 19305 edges, 54 markings/sec, 165 secs
lola: 8181 markings, 19842 edges, 47 markings/sec, 170 secs
lola: 8443 markings, 20525 edges, 52 markings/sec, 175 secs
lola: 8692 markings, 21230 edges, 50 markings/sec, 180 secs
lola: 8954 markings, 21962 edges, 52 markings/sec, 185 secs
lola: 9204 markings, 22706 edges, 50 markings/sec, 190 secs
lola: 9491 markings, 23500 edges, 57 markings/sec, 195 secs
lola: 9746 markings, 24222 edges, 51 markings/sec, 200 secs
lola: 9999 markings, 24982 edges, 51 markings/sec, 205 secs
lola: 10276 markings, 25802 edges, 55 markings/sec, 210 secs
lola: 10566 markings, 26616 edges, 58 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(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, 21 edges, 4 markings/sec, 0 secs
lola: 42 markings, 55 edges, 5 markings/sec, 5 secs
lola: 70 markings, 97 edges, 6 markings/sec, 10 secs
lola: 155 markings, 217 edges, 17 markings/sec, 15 secs
lola: 204 markings, 290 edges, 10 markings/sec, 20 secs
lola: 251 markings, 361 edges, 9 markings/sec, 25 secs
lola: 336 markings, 483 edges, 17 markings/sec, 30 secs
lola: 369 markings, 536 edges, 7 markings/sec, 35 secs
lola: 482 markings, 693 edges, 23 markings/sec, 40 secs
lola: 524 markings, 758 edges, 8 markings/sec, 45 secs
lola: 632 markings, 911 edges, 22 markings/sec, 50 secs
lola: 683 markings, 979 edges, 10 markings/sec, 55 secs
lola: 725 markings, 1048 edges, 8 markings/sec, 60 secs
lola: 789 markings, 1147 edges, 13 markings/sec, 65 secs
lola: 885 markings, 1291 edges, 19 markings/sec, 70 secs
lola: 957 markings, 1387 edges, 14 markings/sec, 75 secs
lola: 1013 markings, 1467 edges, 11 markings/sec, 80 secs
lola: 1038 markings, 1519 edges, 5 markings/sec, 85 secs
lola: 1122 markings, 1640 edges, 17 markings/sec, 90 secs
lola: 1338 markings, 1966 edges, 43 markings/sec, 95 secs
lola: 1634 markings, 2414 edges, 59 markings/sec, 100 secs
lola: 1836 markings, 2702 edges, 40 markings/sec, 105 secs
lola: 2164 markings, 3175 edges, 66 markings/sec, 110 secs
lola: 2295 markings, 3388 edges, 26 markings/sec, 115 secs
lola: 2439 markings, 3584 edges, 29 markings/sec, 120 secs
lola: 2598 markings, 3821 edges, 32 markings/sec, 125 secs
lola: 2719 markings, 4017 edges, 24 markings/sec, 130 secs
lola: 2835 markings, 4188 edges, 23 markings/sec, 135 secs
lola: 2886 markings, 4269 edges, 10 markings/sec, 140 secs
lola: 2957 markings, 4369 edges, 14 markings/sec, 145 secs
lola: 3017 markings, 4458 edges, 12 markings/sec, 150 secs
lola: 3355 markings, 4930 edges, 68 markings/sec, 155 secs
lola: 3747 markings, 5502 edges, 78 markings/sec, 160 secs
lola: 3920 markings, 5741 edges, 35 markings/sec, 165 secs
lola: 4100 markings, 6003 edges, 36 markings/sec, 170 secs
lola: 4215 markings, 6160 edges, 23 markings/sec, 175 secs
lola: 4358 markings, 6360 edges, 29 markings/sec, 180 secs
lola: 4526 markings, 6596 edges, 34 markings/sec, 185 secs
lola: 4568 markings, 6688 edges, 8 markings/sec, 190 secs
lola: 4653 markings, 6810 edges, 17 markings/sec, 195 secs
lola: 4796 markings, 7028 edges, 29 markings/sec, 200 secs
lola: 5022 markings, 7360 edges, 45 markings/sec, 205 secs
lola: 5193 markings, 7610 edges, 34 markings/sec, 210 secs
lola: 5382 markings, 7885 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 5 will run for 221 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: 130 markings, 187 edges, 23 markings/sec, 5 secs
lola: 295 markings, 478 edges, 33 markings/sec, 10 secs
lola: 476 markings, 836 edges, 36 markings/sec, 15 secs
lola: 667 markings, 1231 edges, 38 markings/sec, 20 secs
lola: 886 markings, 1673 edges, 44 markings/sec, 25 secs
lola: 1107 markings, 2208 edges, 44 markings/sec, 30 secs
lola: 1317 markings, 2698 edges, 42 markings/sec, 35 secs
lola: 1530 markings, 3183 edges, 43 markings/sec, 40 secs
lola: 1742 markings, 3715 edges, 42 markings/sec, 45 secs
lola: 1979 markings, 4306 edges, 47 markings/sec, 50 secs
lola: 2196 markings, 4802 edges, 43 markings/sec, 55 secs
lola: 2409 markings, 5279 edges, 43 markings/sec, 60 secs
lola: 2629 markings, 5786 edges, 44 markings/sec, 65 secs
lola: 2878 markings, 6406 edges, 50 markings/sec, 70 secs
lola: 3111 markings, 7005 edges, 47 markings/sec, 75 secs
lola: 3341 markings, 7560 edges, 46 markings/sec, 80 secs
lola: 3558 markings, 8030 edges, 43 markings/sec, 85 secs
lola: 3826 markings, 8676 edges, 54 markings/sec, 90 secs
lola: 4063 markings, 9270 edges, 47 markings/sec, 95 secs
lola: 4269 markings, 9768 edges, 41 markings/sec, 100 secs
lola: 4501 markings, 10369 edges, 46 markings/sec, 105 secs
lola: 4707 markings, 10795 edges, 41 markings/sec, 110 secs
lola: 4940 markings, 11309 edges, 47 markings/sec, 115 secs
lola: 5166 markings, 11876 edges, 45 markings/sec, 120 secs
lola: 5403 markings, 12517 edges, 47 markings/sec, 125 secs
lola: 5667 markings, 13217 edges, 53 markings/sec, 130 secs
lola: 5941 markings, 13994 edges, 55 markings/sec, 135 secs
lola: 6198 markings, 14672 edges, 51 markings/sec, 140 secs
lola: 6498 markings, 15506 edges, 60 markings/sec, 145 secs
lola: 6751 markings, 16173 edges, 51 markings/sec, 150 secs
lola: 6994 markings, 16836 edges, 49 markings/sec, 155 secs
lola: 7243 markings, 17492 edges, 50 markings/sec, 160 secs
lola: 7513 markings, 18198 edges, 54 markings/sec, 165 secs
lola: 7773 markings, 18857 edges, 52 markings/sec, 170 secs
lola: 8040 markings, 19527 edges, 53 markings/sec, 175 secs
lola: 8280 markings, 20077 edges, 48 markings/sec, 180 secs
lola: 8564 markings, 20865 edges, 57 markings/sec, 185 secs
lola: 8828 markings, 21589 edges, 53 markings/sec, 190 secs
lola: 9094 markings, 22400 edges, 53 markings/sec, 195 secs
lola: 9365 markings, 23150 edges, 54 markings/sec, 200 secs
lola: 9636 markings, 23883 edges, 54 markings/sec, 205 secs
lola: 9893 markings, 24649 edges, 51 markings/sec, 210 secs
lola: 10173 markings, 25502 edges, 56 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(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, 21 edges, 4 markings/sec, 0 secs
lola: 42 markings, 55 edges, 5 markings/sec, 5 secs
lola: 70 markings, 97 edges, 6 markings/sec, 10 secs
lola: 155 markings, 217 edges, 17 markings/sec, 15 secs
lola: 203 markings, 289 edges, 10 markings/sec, 20 secs
lola: 243 markings, 345 edges, 8 markings/sec, 25 secs
lola: 333 markings, 478 edges, 18 markings/sec, 30 secs
lola: 368 markings, 535 edges, 7 markings/sec, 35 secs
lola: 472 markings, 681 edges, 21 markings/sec, 40 secs
lola: 523 markings, 757 edges, 10 markings/sec, 45 secs
lola: 617 markings, 890 edges, 19 markings/sec, 50 secs
lola: 674 markings, 968 edges, 11 markings/sec, 55 secs
lola: 716 markings, 1032 edges, 8 markings/sec, 60 secs
lola: 777 markings, 1129 edges, 12 markings/sec, 65 secs
lola: 855 markings, 1249 edges, 16 markings/sec, 70 secs
lola: 955 markings, 1385 edges, 20 markings/sec, 75 secs
lola: 1007 markings, 1455 edges, 10 markings/sec, 80 secs
lola: 1032 markings, 1507 edges, 5 markings/sec, 85 secs
lola: 1105 markings, 1619 edges, 15 markings/sec, 90 secs
lola: 1259 markings, 1838 edges, 31 markings/sec, 95 secs
lola: 1627 markings, 2407 edges, 74 markings/sec, 100 secs
lola: 1798 markings, 2647 edges, 34 markings/sec, 105 secs
lola: 2123 markings, 3112 edges, 65 markings/sec, 110 secs
lola: 2284 markings, 3373 edges, 32 markings/sec, 115 secs
lola: 2418 markings, 3555 edges, 27 markings/sec, 120 secs
lola: 2566 markings, 3772 edges, 30 markings/sec, 125 secs
lola: 2702 markings, 3980 edges, 27 markings/sec, 130 secs
lola: 2834 markings, 4186 edges, 26 markings/sec, 135 secs
lola: 2879 markings, 4254 edges, 9 markings/sec, 140 secs
lola: 2955 markings, 4366 edges, 15 markings/sec, 145 secs
lola: 3010 markings, 4448 edges, 11 markings/sec, 150 secs
lola: 3312 markings, 4870 edges, 60 markings/sec, 155 secs
lola: 3719 markings, 5461 edges, 81 markings/sec, 160 secs
lola: 3888 markings, 5697 edges, 34 markings/sec, 165 secs
lola: 4098 markings, 6001 edges, 42 markings/sec, 170 secs
lola: 4192 markings, 6126 edges, 19 markings/sec, 175 secs
lola: 4352 markings, 6351 edges, 32 markings/sec, 180 secs
lola: 4526 markings, 6596 edges, 35 markings/sec, 185 secs
lola: 4568 markings, 6688 edges, 8 markings/sec, 190 secs
lola: 4656 markings, 6818 edges, 18 markings/sec, 195 secs
lola: 4848 markings, 7098 edges, 38 markings/sec, 200 secs
lola: 5061 markings, 7417 edges, 43 markings/sec, 205 secs
lola: 5210 markings, 7636 edges, 30 markings/sec, 210 secs
lola: 5406 markings, 7919 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 7 will run for 221 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, 21 edges, 4 markings/sec, 0 secs
lola: 43 markings, 57 edges, 5 markings/sec, 5 secs
lola: 83 markings, 114 edges, 8 markings/sec, 10 secs
lola: 158 markings, 223 edges, 15 markings/sec, 15 secs
lola: 205 markings, 291 edges, 9 markings/sec, 20 secs
lola: 258 markings, 370 edges, 11 markings/sec, 25 secs
lola: 351 markings, 502 edges, 19 markings/sec, 30 secs
lola: 379 markings, 551 edges, 6 markings/sec, 35 secs
lola: 498 markings, 723 edges, 24 markings/sec, 40 secs
lola: 545 markings, 787 edges, 9 markings/sec, 45 secs
lola: 644 markings, 928 edges, 20 markings/sec, 50 secs
lola: 701 markings, 1006 edges, 11 markings/sec, 55 secs
lola: 760 markings, 1104 edges, 12 markings/sec, 60 secs
lola: 812 markings, 1187 edges, 10 markings/sec, 65 secs
lola: 912 markings, 1326 edges, 20 markings/sec, 70 secs
lola: 981 markings, 1419 edges, 14 markings/sec, 75 secs
lola: 1016 markings, 1471 edges, 7 markings/sec, 80 secs
lola: 1055 markings, 1554 edges, 8 markings/sec, 85 secs
lola: 1178 markings, 1719 edges, 25 markings/sec, 90 secs
lola: 1501 markings, 2211 edges, 65 markings/sec, 95 secs
lola: 1741 markings, 2567 edges, 48 markings/sec, 100 secs
lola: 2018 markings, 2965 edges, 55 markings/sec, 105 secs
lola: 2280 markings, 3369 edges, 52 markings/sec, 110 secs
lola: 2377 markings, 3499 edges, 19 markings/sec, 115 secs
lola: 2527 markings, 3716 edges, 30 markings/sec, 120 secs
lola: 2696 markings, 3970 edges, 34 markings/sec, 125 secs
lola: 2828 markings, 4175 edges, 26 markings/sec, 130 secs
lola: 2851 markings, 4212 edges, 5 markings/sec, 135 secs
lola: 2953 markings, 4364 edges, 20 markings/sec, 140 secs
lola: 3006 markings, 4438 edges, 11 markings/sec, 145 secs
lola: 3289 markings, 4834 edges, 57 markings/sec, 150 secs
lola: 3724 markings, 5467 edges, 87 markings/sec, 155 secs
lola: 3887 markings, 5696 edges, 33 markings/sec, 160 secs
lola: 4097 markings, 6000 edges, 42 markings/sec, 165 secs
lola: 4170 markings, 6097 edges, 15 markings/sec, 170 secs
lola: 4334 markings, 6329 edges, 33 markings/sec, 175 secs
lola: 4523 markings, 6592 edges, 38 markings/sec, 180 secs
lola: 4560 markings, 6671 edges, 7 markings/sec, 185 secs
lola: 4644 markings, 6797 edges, 17 markings/sec, 190 secs
lola: 4744 markings, 6948 edges, 20 markings/sec, 195 secs
lola: 5011 markings, 7345 edges, 53 markings/sec, 200 secs
lola: 5185 markings, 7598 edges, 35 markings/sec, 205 secs
lola: 5365 markings, 7859 edges, 36 markings/sec, 210 secs
lola: 5495 markings, 8046 edges, 26 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(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: 442 markings, 623 edges, 88 markings/sec, 0 secs
lola: 763 markings, 1082 edges, 64 markings/sec, 5 secs
lola: 1287 markings, 1834 edges, 105 markings/sec, 10 secs
lola: 1717 markings, 2480 edges, 86 markings/sec, 15 secs
lola: 2149 markings, 3085 edges, 86 markings/sec, 20 secs
lola: 2695 markings, 3895 edges, 109 markings/sec, 25 secs
lola: 3202 markings, 4628 edges, 101 markings/sec, 30 secs
lola: 3827 markings, 5558 edges, 125 markings/sec, 35 secs
lola: 4296 markings, 6245 edges, 94 markings/sec, 40 secs
lola: 4823 markings, 7012 edges, 105 markings/sec, 45 secs
lola: 5310 markings, 7690 edges, 97 markings/sec, 50 secs
lola: 5797 markings, 8416 edges, 97 markings/sec, 55 secs
lola: 6452 markings, 9385 edges, 131 markings/sec, 60 secs
lola: 7093 markings, 10385 edges, 128 markings/sec, 65 secs
lola: 7664 markings, 11281 edges, 114 markings/sec, 70 secs
lola: 8343 markings, 12324 edges, 136 markings/sec, 75 secs
lola: 8939 markings, 13257 edges, 119 markings/sec, 80 secs
lola: 9485 markings, 14057 edges, 109 markings/sec, 85 secs
lola: 10102 markings, 15014 edges, 123 markings/sec, 90 secs
lola: 10760 markings, 16145 edges, 132 markings/sec, 95 secs
lola: 11390 markings, 17099 edges, 126 markings/sec, 100 secs
lola: 12045 markings, 18079 edges, 131 markings/sec, 105 secs
lola: 12663 markings, 19083 edges, 124 markings/sec, 110 secs
lola: 13329 markings, 20077 edges, 133 markings/sec, 115 secs
lola: 14027 markings, 21318 edges, 140 markings/sec, 120 secs
lola: 14663 markings, 22333 edges, 127 markings/sec, 125 secs
lola: 15200 markings, 23136 edges, 107 markings/sec, 130 secs
lola: 15884 markings, 24216 edges, 137 markings/sec, 135 secs
lola: 16505 markings, 25239 edges, 124 markings/sec, 140 secs
lola: 17138 markings, 26196 edges, 127 markings/sec, 145 secs
lola: 17803 markings, 27341 edges, 133 markings/sec, 150 secs
lola: 18483 markings, 28496 edges, 136 markings/sec, 155 secs
lola: 19177 markings, 29612 edges, 139 markings/sec, 160 secs
lola: 19835 markings, 30853 edges, 132 markings/sec, 165 secs
lola: 20389 markings, 31830 edges, 111 markings/sec, 170 secs
lola: 21130 markings, 33088 edges, 148 markings/sec, 175 secs
lola: 21855 markings, 34334 edges, 145 markings/sec, 180 secs
lola: 22562 markings, 35533 edges, 141 markings/sec, 185 secs
lola: 23276 markings, 36796 edges, 143 markings/sec, 190 secs
lola: 23953 markings, 38056 edges, 135 markings/sec, 195 secs
lola: 24672 markings, 39263 edges, 144 markings/sec, 200 secs
lola: 25419 markings, 40817 edges, 149 markings/sec, 205 secs
lola: 26146 markings, 42235 edges, 145 markings/sec, 210 secs
lola: 26875 markings, 43448 edges, 146 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(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: 447 markings, 632 edges, 89 markings/sec, 0 secs
lola: 781 markings, 1104 edges, 67 markings/sec, 5 secs
lola: 1316 markings, 1879 edges, 107 markings/sec, 10 secs
lola: 1740 markings, 2528 edges, 85 markings/sec, 15 secs
lola: 2182 markings, 3130 edges, 88 markings/sec, 20 secs
lola: 2741 markings, 3957 edges, 112 markings/sec, 25 secs
lola: 3237 markings, 4671 edges, 99 markings/sec, 30 secs
lola: 3876 markings, 5635 edges, 128 markings/sec, 35 secs
lola: 4348 markings, 6313 edges, 94 markings/sec, 40 secs
lola: 4885 markings, 7097 edges, 107 markings/sec, 45 secs
lola: 5375 markings, 7793 edges, 98 markings/sec, 50 secs
lola: 5842 markings, 8480 edges, 93 markings/sec, 55 secs
lola: 6498 markings, 9448 edges, 131 markings/sec, 60 secs
lola: 7110 markings, 10408 edges, 122 markings/sec, 65 secs
lola: 7664 markings, 11281 edges, 111 markings/sec, 70 secs
lola: 8304 markings, 12265 edges, 128 markings/sec, 75 secs
lola: 8910 markings, 13214 edges, 121 markings/sec, 80 secs
lola: 9441 markings, 14002 edges, 106 markings/sec, 85 secs
lola: 10066 markings, 14954 edges, 125 markings/sec, 90 secs
lola: 10708 markings, 16052 edges, 128 markings/sec, 95 secs
lola: 11331 markings, 17008 edges, 125 markings/sec, 100 secs
lola: 11987 markings, 17990 edges, 131 markings/sec, 105 secs
lola: 12576 markings, 18929 edges, 118 markings/sec, 110 secs
lola: 13186 markings, 19859 edges, 122 markings/sec, 115 secs
lola: 13881 markings, 21065 edges, 139 markings/sec, 120 secs
lola: 14477 markings, 22062 edges, 119 markings/sec, 125 secs
lola: 15048 markings, 22923 edges, 114 markings/sec, 130 secs
lola: 15647 markings, 23845 edges, 120 markings/sec, 135 secs
lola: 16230 markings, 24850 edges, 117 markings/sec, 140 secs
lola: 16863 markings, 25770 edges, 127 markings/sec, 145 secs
lola: 17485 markings, 26725 edges, 124 markings/sec, 150 secs
lola: 18070 markings, 27793 edges, 117 markings/sec, 155 secs
lola: 18758 markings, 28932 edges, 138 markings/sec, 160 secs
lola: 19434 markings, 30091 edges, 135 markings/sec, 165 secs
lola: 20084 markings, 31283 edges, 130 markings/sec, 170 secs
lola: 20619 markings, 32228 edges, 107 markings/sec, 175 secs
lola: 21292 markings, 33331 edges, 135 markings/sec, 180 secs
lola: 21998 markings, 34566 edges, 141 markings/sec, 185 secs
lola: 22653 markings, 35704 edges, 131 markings/sec, 190 secs
lola: 23338 markings, 36885 edges, 137 markings/sec, 195 secs
lola: 23968 markings, 38084 edges, 126 markings/sec, 200 secs
lola: 24657 markings, 39223 edges, 138 markings/sec, 205 secs
lola: 25375 markings, 40746 edges, 144 markings/sec, 210 secs
lola: 26065 markings, 42042 edges, 138 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(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: 14 markings, 13 edges, 3 markings/sec, 0 secs
lola: 117 markings, 164 edges, 21 markings/sec, 5 secs
lola: 281 markings, 451 edges, 33 markings/sec, 10 secs
lola: 464 markings, 816 edges, 37 markings/sec, 15 secs
lola: 651 markings, 1202 edges, 37 markings/sec, 20 secs
lola: 859 markings, 1606 edges, 42 markings/sec, 25 secs
lola: 1078 markings, 2129 edges, 44 markings/sec, 30 secs
lola: 1282 markings, 2617 edges, 41 markings/sec, 35 secs
lola: 1490 markings, 3096 edges, 42 markings/sec, 40 secs
lola: 1681 markings, 3536 edges, 38 markings/sec, 45 secs
lola: 1900 markings, 4100 edges, 44 markings/sec, 50 secs
lola: 2109 markings, 4602 edges, 42 markings/sec, 55 secs
lola: 2328 markings, 5098 edges, 44 markings/sec, 60 secs
lola: 2525 markings, 5548 edges, 39 markings/sec, 65 secs
lola: 2748 markings, 6064 edges, 45 markings/sec, 70 secs
lola: 2987 markings, 6683 edges, 48 markings/sec, 75 secs
lola: 3188 markings, 7188 edges, 40 markings/sec, 80 secs
lola: 3426 markings, 7775 edges, 48 markings/sec, 85 secs
lola: 3644 markings, 8221 edges, 44 markings/sec, 90 secs
lola: 3905 markings, 8867 edges, 52 markings/sec, 95 secs
lola: 4116 markings, 9380 edges, 42 markings/sec, 100 secs
lola: 4337 markings, 9929 edges, 44 markings/sec, 105 secs
lola: 4553 markings, 10481 edges, 43 markings/sec, 110 secs
lola: 4781 markings, 10957 edges, 46 markings/sec, 115 secs
lola: 5047 markings, 11552 edges, 53 markings/sec, 120 secs
lola: 5284 markings, 12186 edges, 47 markings/sec, 125 secs
lola: 5538 markings, 12867 edges, 51 markings/sec, 130 secs
lola: 5791 markings, 13584 edges, 51 markings/sec, 135 secs
lola: 6056 markings, 14316 edges, 53 markings/sec, 140 secs
lola: 6343 markings, 15089 edges, 57 markings/sec, 145 secs
lola: 6619 markings, 15832 edges, 55 markings/sec, 150 secs
lola: 6859 markings, 16481 edges, 48 markings/sec, 155 secs
lola: 7116 markings, 17164 edges, 51 markings/sec, 160 secs
lola: 7378 markings, 17862 edges, 52 markings/sec, 165 secs
lola: 7673 markings, 18590 edges, 59 markings/sec, 170 secs
lola: 7926 markings, 19250 edges, 51 markings/sec, 175 secs
lola: 8158 markings, 19793 edges, 46 markings/sec, 180 secs
lola: 8421 markings, 20464 edges, 53 markings/sec, 185 secs
lola: 8705 markings, 21267 edges, 57 markings/sec, 190 secs
lola: 8980 markings, 22050 edges, 55 markings/sec, 195 secs
lola: 9220 markings, 22754 edges, 48 markings/sec, 200 secs
lola: 9513 markings, 23559 edges, 59 markings/sec, 205 secs
lola: 9774 markings, 24300 edges, 52 markings/sec, 210 secs
lola: 10025 markings, 25063 edges, 50 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(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: 136 markings, 196 edges, 24 markings/sec, 5 secs
lola: 317 markings, 526 edges, 36 markings/sec, 10 secs
lola: 498 markings, 880 edges, 36 markings/sec, 15 secs
lola: 718 markings, 1339 edges, 44 markings/sec, 20 secs
lola: 954 markings, 1846 edges, 47 markings/sec, 25 secs
lola: 1176 markings, 2363 edges, 44 markings/sec, 30 secs
lola: 1408 markings, 2915 edges, 46 markings/sec, 35 secs
lola: 1634 markings, 3442 edges, 45 markings/sec, 40 secs
lola: 1844 markings, 3956 edges, 42 markings/sec, 45 secs
lola: 2077 markings, 4527 edges, 47 markings/sec, 50 secs
lola: 2306 markings, 5048 edges, 46 markings/sec, 55 secs
lola: 2525 markings, 5548 edges, 44 markings/sec, 60 secs
lola: 2766 markings, 6115 edges, 48 markings/sec, 65 secs
lola: 3015 markings, 6750 edges, 50 markings/sec, 70 secs
lola: 3244 markings, 7331 edges, 46 markings/sec, 75 secs
lola: 3481 markings, 7876 edges, 47 markings/sec, 80 secs
lola: 3757 markings, 8512 edges, 55 markings/sec, 85 secs
lola: 4009 markings, 9147 edges, 50 markings/sec, 90 secs
lola: 4241 markings, 9707 edges, 46 markings/sec, 95 secs
lola: 4496 markings, 10357 edges, 51 markings/sec, 100 secs
lola: 4724 markings, 10826 edges, 46 markings/sec, 105 secs
lola: 4998 markings, 11435 edges, 55 markings/sec, 110 secs
lola: 5260 markings, 12111 edges, 52 markings/sec, 115 secs
lola: 5535 markings, 12862 edges, 55 markings/sec, 120 secs
lola: 5817 markings, 13648 edges, 56 markings/sec, 125 secs
lola: 6091 markings, 14405 edges, 55 markings/sec, 130 secs
lola: 6404 markings, 15254 edges, 63 markings/sec, 135 secs
lola: 6698 markings, 16052 edges, 59 markings/sec, 140 secs
lola: 6956 markings, 16745 edges, 52 markings/sec, 145 secs
lola: 7224 markings, 17450 edges, 54 markings/sec, 150 secs
lola: 7507 markings, 18188 edges, 57 markings/sec, 155 secs
lola: 7780 markings, 18877 edges, 55 markings/sec, 160 secs
lola: 8057 markings, 19567 edges, 55 markings/sec, 165 secs
lola: 8310 markings, 20154 edges, 51 markings/sec, 170 secs
lola: 8611 markings, 20991 edges, 60 markings/sec, 175 secs
lola: 8896 markings, 21784 edges, 57 markings/sec, 180 secs
lola: 9172 markings, 22623 edges, 55 markings/sec, 185 secs
lola: 9465 markings, 23432 edges, 59 markings/sec, 190 secs
lola: 9730 markings, 24172 edges, 53 markings/sec, 195 secs
lola: 9998 markings, 24979 edges, 54 markings/sec, 200 secs
lola: 10285 markings, 25828 edges, 57 markings/sec, 205 secs
lola: 10592 markings, 26691 edges, 61 markings/sec, 210 secs
lola: 10857 markings, 27425 edges, 53 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(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: 448 markings, 633 edges, 90 markings/sec, 0 secs
lola: 811 markings, 1148 edges, 73 markings/sec, 5 secs
lola: 1380 markings, 1967 edges, 114 markings/sec, 10 secs
lola: 1805 markings, 2625 edges, 85 markings/sec, 15 secs
lola: 2276 markings, 3270 edges, 94 markings/sec, 20 secs
lola: 2894 markings, 4186 edges, 124 markings/sec, 25 secs
lola: 3394 markings, 4885 edges, 100 markings/sec, 30 secs
lola: 4037 markings, 5889 edges, 129 markings/sec, 35 secs
lola: 4553 markings, 6614 edges, 103 markings/sec, 40 secs
lola: 5092 markings, 7381 edges, 108 markings/sec, 45 secs
lola: 5569 markings, 8107 edges, 95 markings/sec, 50 secs
lola: 6195 markings, 8982 edges, 125 markings/sec, 55 secs
lola: 6872 markings, 10027 edges, 135 markings/sec, 60 secs
lola: 7521 markings, 11081 edges, 130 markings/sec, 65 secs
lola: 8134 markings, 11966 edges, 123 markings/sec, 70 secs
lola: 8788 markings, 13003 edges, 131 markings/sec, 75 secs
lola: 9366 markings, 13895 edges, 116 markings/sec, 80 secs
lola: 9989 markings, 14843 edges, 125 markings/sec, 85 secs
lola: 10669 markings, 15974 edges, 136 markings/sec, 90 secs
lola: 11317 markings, 16992 edges, 130 markings/sec, 95 secs
lola: 12007 markings, 18018 edges, 138 markings/sec, 100 secs
lola: 12623 markings, 19017 edges, 123 markings/sec, 105 secs
lola: 13305 markings, 20047 edges, 136 markings/sec, 110 secs
lola: 14008 markings, 21281 edges, 141 markings/sec, 115 secs
lola: 14671 markings, 22347 edges, 133 markings/sec, 120 secs
lola: 15229 markings, 23175 edges, 112 markings/sec, 125 secs
lola: 15914 markings, 24282 edges, 137 markings/sec, 130 secs
lola: 16552 markings, 25311 edges, 128 markings/sec, 135 secs
lola: 17222 markings, 26314 edges, 134 markings/sec, 140 secs
lola: 17911 markings, 27524 edges, 138 markings/sec, 145 secs
lola: 18627 markings, 28735 edges, 143 markings/sec, 150 secs
lola: 19355 markings, 29903 edges, 146 markings/sec, 155 secs
lola: 20060 markings, 31246 edges, 141 markings/sec, 160 secs
lola: 20656 markings, 32291 edges, 119 markings/sec, 165 secs
lola: 21400 markings, 33552 edges, 149 markings/sec, 170 secs
lola: 22144 markings, 34813 edges, 149 markings/sec, 175 secs
lola: 22814 markings, 36017 edges, 134 markings/sec, 180 secs
lola: 23472 markings, 37136 edges, 132 markings/sec, 185 secs
lola: 24159 markings, 38433 edges, 137 markings/sec, 190 secs
lola: 24881 markings, 39738 edges, 144 markings/sec, 195 secs
lola: 25642 markings, 41273 edges, 152 markings/sec, 200 secs
lola: 26394 markings, 42647 edges, 150 markings/sec, 205 secs
lola: 27124 markings, 43810 edges, 146 markings/sec, 210 secs
lola: 27804 markings, 44812 edges, 136 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(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, 21 edges, 4 markings/sec, 0 secs
lola: 43 markings, 57 edges, 5 markings/sec, 5 secs
lola: 87 markings, 119 edges, 9 markings/sec, 10 secs
lola: 158 markings, 223 edges, 14 markings/sec, 15 secs
lola: 206 markings, 293 edges, 10 markings/sec, 20 secs
lola: 261 markings, 374 edges, 11 markings/sec, 25 secs
lola: 352 markings, 505 edges, 18 markings/sec, 30 secs
lola: 375 markings, 544 edges, 5 markings/sec, 35 secs
lola: 495 markings, 714 edges, 24 markings/sec, 40 secs
lola: 535 markings, 774 edges, 8 markings/sec, 45 secs
lola: 643 markings, 927 edges, 22 markings/sec, 50 secs
lola: 694 markings, 994 edges, 10 markings/sec, 55 secs
lola: 754 markings, 1094 edges, 12 markings/sec, 60 secs
lola: 805 markings, 1178 edges, 10 markings/sec, 65 secs
lola: 900 markings, 1310 edges, 19 markings/sec, 70 secs
lola: 974 markings, 1409 edges, 15 markings/sec, 75 secs
lola: 1016 markings, 1471 edges, 8 markings/sec, 80 secs
lola: 1050 markings, 1543 edges, 7 markings/sec, 85 secs
lola: 1148 markings, 1678 edges, 20 markings/sec, 90 secs
lola: 1415 markings, 2079 edges, 53 markings/sec, 95 secs
lola: 1672 markings, 2466 edges, 51 markings/sec, 100 secs
lola: 1982 markings, 2908 edges, 62 markings/sec, 105 secs
lola: 2255 markings, 3319 edges, 55 markings/sec, 110 secs
lola: 2320 markings, 3422 edges, 13 markings/sec, 115 secs
lola: 2520 markings, 3703 edges, 40 markings/sec, 120 secs
lola: 2680 markings, 3943 edges, 32 markings/sec, 125 secs
lola: 2816 markings, 4152 edges, 27 markings/sec, 130 secs
lola: 2843 markings, 4201 edges, 5 markings/sec, 135 secs
lola: 2940 markings, 4342 edges, 19 markings/sec, 140 secs
lola: 2990 markings, 4416 edges, 10 markings/sec, 145 secs
lola: 3191 markings, 4696 edges, 40 markings/sec, 150 secs
lola: 3586 markings, 5257 edges, 79 markings/sec, 155 secs
lola: 3796 markings, 5563 edges, 42 markings/sec, 160 secs
lola: 4031 markings, 5909 edges, 47 markings/sec, 165 secs
lola: 4122 markings, 6031 edges, 18 markings/sec, 170 secs
lola: 4267 markings, 6231 edges, 29 markings/sec, 175 secs
lola: 4452 markings, 6497 edges, 37 markings/sec, 180 secs
lola: 4553 markings, 6652 edges, 20 markings/sec, 185 secs
lola: 4602 markings, 6738 edges, 10 markings/sec, 190 secs
lola: 4679 markings, 6852 edges, 15 markings/sec, 195 secs
lola: 4970 markings, 7279 edges, 58 markings/sec, 200 secs
lola: 5125 markings, 7514 edges, 31 markings/sec, 205 secs
lola: 5292 markings, 7745 edges, 33 markings/sec, 210 secs
lola: 5417 markings, 7944 edges, 25 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(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: 144 markings, 218 edges, 29 markings/sec, 0 secs
lola: 399 markings, 692 edges, 51 markings/sec, 5 secs
lola: 668 markings, 1203 edges, 54 markings/sec, 10 secs
lola: 972 markings, 1831 edges, 61 markings/sec, 15 secs
lola: 1287 markings, 2480 edges, 63 markings/sec, 20 secs
lola: 1612 markings, 3144 edges, 65 markings/sec, 25 secs
lola: 1923 markings, 3822 edges, 62 markings/sec, 30 secs
lola: 2230 markings, 4504 edges, 61 markings/sec, 35 secs
lola: 2594 markings, 5334 edges, 73 markings/sec, 40 secs
lola: 2940 markings, 6046 edges, 69 markings/sec, 45 secs
lola: 3324 markings, 6919 edges, 77 markings/sec, 50 secs
lola: 3624 markings, 7536 edges, 60 markings/sec, 55 secs
lola: 3982 markings, 8356 edges, 72 markings/sec, 60 secs
lola: 4337 markings, 9177 edges, 71 markings/sec, 65 secs
lola: 4696 markings, 10046 edges, 72 markings/sec, 70 secs
lola: 5067 markings, 10930 edges, 74 markings/sec, 75 secs
lola: 5441 markings, 11742 edges, 75 markings/sec, 80 secs
lola: 5819 markings, 12647 edges, 76 markings/sec, 85 secs
lola: 6174 markings, 13536 edges, 71 markings/sec, 90 secs
lola: 6532 markings, 14431 edges, 72 markings/sec, 95 secs
lola: 6929 markings, 15410 edges, 79 markings/sec, 100 secs
lola: 7330 markings, 16447 edges, 80 markings/sec, 105 secs
lola: 7724 markings, 17419 edges, 79 markings/sec, 110 secs
lola: 8132 markings, 18477 edges, 82 markings/sec, 115 secs
lola: 8532 markings, 19448 edges, 80 markings/sec, 120 secs
lola: 8953 markings, 20475 edges, 84 markings/sec, 125 secs
lola: 9381 markings, 21554 edges, 86 markings/sec, 130 secs
lola: 9816 markings, 22619 edges, 87 markings/sec, 135 secs
lola: 10255 markings, 23748 edges, 88 markings/sec, 140 secs
lola: 10665 markings, 24721 edges, 82 markings/sec, 145 secs
lola: 11097 markings, 25826 edges, 86 markings/sec, 150 secs
lola: 11595 markings, 27085 edges, 100 markings/sec, 155 secs
lola: 12054 markings, 28277 edges, 92 markings/sec, 160 secs
lola: 12513 markings, 29407 edges, 92 markings/sec, 165 secs
lola: 12976 markings, 30661 edges, 93 markings/sec, 170 secs
lola: 13450 markings, 31887 edges, 95 markings/sec, 175 secs
lola: 13914 markings, 33076 edges, 93 markings/sec, 180 secs
lola: 14375 markings, 34265 edges, 92 markings/sec, 185 secs
lola: 14829 markings, 35411 edges, 91 markings/sec, 190 secs
lola: 15327 markings, 36726 edges, 100 markings/sec, 195 secs
lola: 15803 markings, 37923 edges, 95 markings/sec, 200 secs
lola: 16266 markings, 39228 edges, 93 markings/sec, 205 secs
lola: 16783 markings, 40525 edges, 103 markings/sec, 210 secs
lola: 17289 markings, 41927 edges, 101 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 222 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, 21 edges, 4 markings/sec, 0 secs
lola: 42 markings, 55 edges, 5 markings/sec, 5 secs
lola: 71 markings, 98 edges, 6 markings/sec, 10 secs
lola: 155 markings, 217 edges, 17 markings/sec, 15 secs
lola: 204 markings, 290 edges, 10 markings/sec, 20 secs
lola: 248 markings, 352 edges, 9 markings/sec, 25 secs
lola: 334 markings, 479 edges, 17 markings/sec, 30 secs
lola: 369 markings, 536 edges, 7 markings/sec, 35 secs
lola: 473 markings, 682 edges, 21 markings/sec, 40 secs
lola: 524 markings, 758 edges, 10 markings/sec, 45 secs
lola: 621 markings, 895 edges, 19 markings/sec, 50 secs
lola: 679 markings, 975 edges, 12 markings/sec, 55 secs
lola: 717 markings, 1034 edges, 8 markings/sec, 60 secs
lola: 778 markings, 1130 edges, 12 markings/sec, 65 secs
lola: 866 markings, 1264 edges, 18 markings/sec, 70 secs
lola: 955 markings, 1385 edges, 18 markings/sec, 75 secs
lola: 1009 markings, 1458 edges, 11 markings/sec, 80 secs
lola: 1033 markings, 1509 edges, 5 markings/sec, 85 secs
lola: 1106 markings, 1620 edges, 15 markings/sec, 90 secs
lola: 1295 markings, 1899 edges, 38 markings/sec, 95 secs
lola: 1631 markings, 2411 edges, 67 markings/sec, 100 secs
lola: 1849 markings, 2721 edges, 44 markings/sec, 105 secs
lola: 2180 markings, 3201 edges, 66 markings/sec, 110 secs
lola: 2301 markings, 3396 edges, 24 markings/sec, 115 secs
lola: 2456 markings, 3607 edges, 31 markings/sec, 120 secs
lola: 2638 markings, 3884 edges, 36 markings/sec, 125 secs
lola: 2776 markings, 4096 edges, 28 markings/sec, 130 secs
lola: 2836 markings, 4189 edges, 12 markings/sec, 135 secs
lola: 2905 markings, 4293 edges, 14 markings/sec, 140 secs
lola: 2972 markings, 4390 edges, 13 markings/sec, 145 secs
lola: 3077 markings, 4538 edges, 21 markings/sec, 150 secs
lola: 3468 markings, 5101 edges, 78 markings/sec, 155 secs
lola: 3769 markings, 5530 edges, 60 markings/sec, 160 secs
lola: 3953 markings, 5808 edges, 37 markings/sec, 165 secs
lola: 4116 markings, 6023 edges, 33 markings/sec, 170 secs
lola: 4261 markings, 6220 edges, 29 markings/sec, 175 secs
lola: 4436 markings, 6478 edges, 35 markings/sec, 180 secs
lola: 4550 markings, 6646 edges, 23 markings/sec, 185 secs
lola: 4602 markings, 6738 edges, 10 markings/sec, 190 secs
lola: 4680 markings, 6853 edges, 16 markings/sec, 195 secs
lola: 4976 markings, 7292 edges, 59 markings/sec, 200 secs
lola: 5140 markings, 7534 edges, 33 markings/sec, 205 secs
lola: 5296 markings, 7750 edges, 31 markings/sec, 210 secs
lola: 5425 markings, 7954 edges, 26 markings/sec, 215 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 1494705168690

--------------------
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="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/GlobalResAllocation-COL-05.tgz
mv 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 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 r028-blw3-149440264300434"
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 ;