About the Execution of LoLA for S_PermAdmissibility-PT-20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11336.200 | 3539968.00 | 3549477.00 | 317.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? 40 ? ? | normal |
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_PermAdmissibility-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200434
=====================================================================
--------------------
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 PermAdmissibility-COL-20-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496390226287
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-PT-20: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-PT-20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-PT-20 @ 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: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-UpperBounds.task
lola: MAX(c13) : MAX(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7) : MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7) : MAX(c14) : MAX(c110) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(c17) : MAX(in2_2 + in2_3) : MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7) : MAX(c13) : MAX(out1_0 + out1_1 + out1_2 + out1_3 + out1_4 + out1_5 + out1_6 + out1_7) : MAX(c19) : MAX(c16) : MAX(c14) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(aux7_2 + aux7_3 + aux7_6 + aux7_7)
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(c13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 887982 markings, 3932406 edges, 177596 markings/sec, 0 secs
lola: 1642574 markings, 7772184 edges, 150918 markings/sec, 5 secs
lola: 2394852 markings, 11455335 edges, 150456 markings/sec, 10 secs
lola: 3172385 markings, 15202629 edges, 155507 markings/sec, 15 secs
lola: 3961549 markings, 18868593 edges, 157833 markings/sec, 20 secs
lola: 4712645 markings, 22613415 edges, 150219 markings/sec, 25 secs
lola: 5435806 markings, 26111843 edges, 144632 markings/sec, 30 secs
lola: 6079158 markings, 29352163 edges, 128670 markings/sec, 35 secs
lola: 6667389 markings, 32530207 edges, 117646 markings/sec, 40 secs
lola: 7259536 markings, 35842221 edges, 118429 markings/sec, 45 secs
lola: 7833611 markings, 39135360 edges, 114815 markings/sec, 50 secs
lola: 8435569 markings, 42760600 edges, 120392 markings/sec, 55 secs
lola: 9045939 markings, 46362082 edges, 122074 markings/sec, 60 secs
lola: 9637804 markings, 49984648 edges, 118373 markings/sec, 65 secs
lola: 10219606 markings, 53630289 edges, 116360 markings/sec, 70 secs
lola: 10756970 markings, 57291460 edges, 107473 markings/sec, 75 secs
lola: 11287401 markings, 61438478 edges, 106086 markings/sec, 80 secs
lola: 11991969 markings, 65396068 edges, 140914 markings/sec, 85 secs
lola: 12751146 markings, 69175938 edges, 151835 markings/sec, 90 secs
lola: 13430665 markings, 72735766 edges, 135904 markings/sec, 95 secs
lola: 14019693 markings, 76327678 edges, 117806 markings/sec, 100 secs
lola: 14562493 markings, 79930040 edges, 108560 markings/sec, 105 secs
lola: 15169305 markings, 83672346 edges, 121362 markings/sec, 110 secs
lola: 15804250 markings, 86909079 edges, 126989 markings/sec, 115 secs
lola: 16425570 markings, 89884555 edges, 124264 markings/sec, 120 secs
lola: 17148181 markings, 93631693 edges, 144522 markings/sec, 125 secs
lola: 17853026 markings, 97253252 edges, 140969 markings/sec, 130 secs
lola: 18517854 markings, 100856843 edges, 132966 markings/sec, 135 secs
lola: 19160973 markings, 104427809 edges, 128624 markings/sec, 140 secs
lola: 19746380 markings, 108067631 edges, 117081 markings/sec, 145 secs
lola: 20303516 markings, 111661023 edges, 111427 markings/sec, 150 secs
lola: 20881030 markings, 115204541 edges, 115503 markings/sec, 155 secs
lola: 21419858 markings, 118704629 edges, 107766 markings/sec, 160 secs
lola: 21877738 markings, 122001987 edges, 91576 markings/sec, 165 secs
lola: 22400455 markings, 125888674 edges, 104543 markings/sec, 170 secs
lola: 23092546 markings, 129523348 edges, 138418 markings/sec, 175 secs
lola: 23672409 markings, 132825581 edges, 115973 markings/sec, 180 secs
lola: 24199532 markings, 136317484 edges, 105425 markings/sec, 185 secs
lola: 24662895 markings, 139589714 edges, 92673 markings/sec, 190 secs
lola: 25239849 markings, 143103418 edges, 115391 markings/sec, 195 secs
lola: 25816609 markings, 146606283 edges, 115352 markings/sec, 200 secs
lola: 26495266 markings, 150059578 edges, 135731 markings/sec, 205 secs
lola: 27062742 markings, 153461236 edges, 113495 markings/sec, 210 secs
lola: 27612876 markings, 156999074 edges, 110027 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(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 444343 markings, 1288208 edges, 88869 markings/sec, 0 secs
lola: 852693 markings, 2763882 edges, 81670 markings/sec, 5 secs
lola: 1184184 markings, 4557043 edges, 66298 markings/sec, 10 secs
lola: 1587000 markings, 6490116 edges, 80563 markings/sec, 15 secs
lola: 1926311 markings, 8252119 edges, 67862 markings/sec, 20 secs
lola: 2317420 markings, 10018599 edges, 78222 markings/sec, 25 secs
lola: 2755051 markings, 11472466 edges, 87526 markings/sec, 30 secs
lola: 3061056 markings, 13209351 edges, 61201 markings/sec, 35 secs
lola: 3416797 markings, 14851113 edges, 71148 markings/sec, 40 secs
lola: 3761179 markings, 16683823 edges, 68876 markings/sec, 45 secs
lola: 4182546 markings, 18027583 edges, 84273 markings/sec, 50 secs
lola: 4491723 markings, 19762294 edges, 61835 markings/sec, 55 secs
lola: 4838132 markings, 21572807 edges, 69282 markings/sec, 60 secs
lola: 5202735 markings, 23367182 edges, 72921 markings/sec, 65 secs
lola: 5578989 markings, 25078727 edges, 75251 markings/sec, 70 secs
lola: 5916120 markings, 26996215 edges, 67426 markings/sec, 75 secs
lola: 6248740 markings, 28895208 edges, 66524 markings/sec, 80 secs
lola: 6561029 markings, 30999555 edges, 62458 markings/sec, 85 secs
lola: 6892795 markings, 33118608 edges, 66353 markings/sec, 90 secs
lola: 7256044 markings, 34953726 edges, 72650 markings/sec, 95 secs
lola: 7574525 markings, 37000476 edges, 63696 markings/sec, 100 secs
lola: 7919701 markings, 38838469 edges, 69035 markings/sec, 105 secs
lola: 8229650 markings, 40921784 edges, 61990 markings/sec, 110 secs
lola: 8558255 markings, 42798507 edges, 65721 markings/sec, 115 secs
lola: 8938481 markings, 44599563 edges, 76045 markings/sec, 120 secs
lola: 9298440 markings, 46371911 edges, 71992 markings/sec, 125 secs
lola: 9633014 markings, 48237290 edges, 66915 markings/sec, 130 secs
lola: 9975968 markings, 49922116 edges, 68591 markings/sec, 135 secs
lola: 10298463 markings, 51664455 edges, 64499 markings/sec, 140 secs
lola: 10623488 markings, 53413930 edges, 65005 markings/sec, 145 secs
lola: 10907361 markings, 55192805 edges, 56775 markings/sec, 150 secs
lola: 11255720 markings, 56994484 edges, 69672 markings/sec, 155 secs
lola: 11589424 markings, 58815417 edges, 66741 markings/sec, 160 secs
lola: 11909989 markings, 60627752 edges, 64113 markings/sec, 165 secs
lola: 12216843 markings, 62378009 edges, 61371 markings/sec, 170 secs
lola: 12512187 markings, 64192185 edges, 59069 markings/sec, 175 secs
lola: 12815581 markings, 65987483 edges, 60679 markings/sec, 180 secs
lola: 13136493 markings, 67755625 edges, 64182 markings/sec, 185 secs
lola: 13491521 markings, 69485002 edges, 71006 markings/sec, 190 secs
lola: 13830968 markings, 71236751 edges, 67889 markings/sec, 195 secs
lola: 14182510 markings, 73001108 edges, 70308 markings/sec, 200 secs
lola: 14519150 markings, 74718177 edges, 67328 markings/sec, 205 secs
lola: 14878508 markings, 76412579 edges, 71872 markings/sec, 210 secs
lola: 15247409 markings, 77934323 edges, 73780 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(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1432646 markings, 4739332 edges, 286529 markings/sec, 0 secs
lola: 2581807 markings, 9506616 edges, 229832 markings/sec, 5 secs
lola: 3759839 markings, 14076390 edges, 235606 markings/sec, 10 secs
lola: 4703927 markings, 18555675 edges, 188818 markings/sec, 15 secs
lola: 5584500 markings, 22872776 edges, 176115 markings/sec, 20 secs
lola: 6339288 markings, 27178868 edges, 150958 markings/sec, 25 secs
lola: 6833036 markings, 31619860 edges, 98750 markings/sec, 30 secs
lola: 8329123 markings, 36541642 edges, 299217 markings/sec, 35 secs
lola: 9120093 markings, 40600772 edges, 158194 markings/sec, 40 secs
lola: 10303222 markings, 44693520 edges, 236626 markings/sec, 45 secs
lola: 11282450 markings, 48746735 edges, 195846 markings/sec, 50 secs
lola: 12099858 markings, 52666841 edges, 163482 markings/sec, 55 secs
lola: 13215048 markings, 57144701 edges, 223038 markings/sec, 60 secs
lola: 14192382 markings, 61552519 edges, 195467 markings/sec, 65 secs
lola: 15091580 markings, 65864799 edges, 179840 markings/sec, 70 secs
lola: 15798081 markings, 70104613 edges, 141300 markings/sec, 75 secs
lola: 16461902 markings, 74267835 edges, 132764 markings/sec, 80 secs
lola: 16996997 markings, 78584479 edges, 107019 markings/sec, 85 secs
lola: 18365179 markings, 83430636 edges, 273636 markings/sec, 90 secs
lola: 19005677 markings, 87404249 edges, 128100 markings/sec, 95 secs
lola: 20044056 markings, 91487530 edges, 207676 markings/sec, 100 secs
lola: 20854372 markings, 95440834 edges, 162063 markings/sec, 105 secs
lola: 21595230 markings, 99450537 edges, 148172 markings/sec, 110 secs
lola: 22332223 markings, 103602434 edges, 147399 markings/sec, 115 secs
lola: 22863472 markings, 107623443 edges, 106250 markings/sec, 120 secs
lola: 23682902 markings, 112120372 edges, 163886 markings/sec, 125 secs
lola: 24253640 markings, 116220081 edges, 114148 markings/sec, 130 secs
lola: 24918569 markings, 120241729 edges, 132986 markings/sec, 135 secs
lola: 25909927 markings, 124289307 edges, 198272 markings/sec, 140 secs
lola: 27028785 markings, 128665125 edges, 223772 markings/sec, 145 secs
lola: 27940414 markings, 132812016 edges, 182326 markings/sec, 150 secs
lola: 28721010 markings, 136831014 edges, 156119 markings/sec, 155 secs
lola: 29473671 markings, 140813750 edges, 150532 markings/sec, 160 secs
lola: 30242123 markings, 144824298 edges, 153690 markings/sec, 165 secs
lola: 30924059 markings, 148730386 edges, 136387 markings/sec, 170 secs
lola: 31407839 markings, 152544888 edges, 96756 markings/sec, 175 secs
lola: 31778537 markings, 156512774 edges, 74140 markings/sec, 180 secs
lola: 33035385 markings, 161087722 edges, 251370 markings/sec, 185 secs
lola: 34095360 markings, 165535615 edges, 211995 markings/sec, 190 secs
lola: 35050154 markings, 169377273 edges, 190959 markings/sec, 195 secs
lola: 35887908 markings, 173128436 edges, 167551 markings/sec, 200 secs
lola: 36633995 markings, 176766581 edges, 149217 markings/sec, 205 secs
lola: 37251159 markings, 180299747 edges, 123433 markings/sec, 210 secs
lola: 37720313 markings, 183730174 edges, 93831 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(c14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1057087 markings, 2340961 edges, 211417 markings/sec, 0 secs
lola: 1990946 markings, 4798276 edges, 186772 markings/sec, 5 secs
lola: 2693496 markings, 7904457 edges, 140510 markings/sec, 10 secs
lola: 3596282 markings, 10574409 edges, 180557 markings/sec, 15 secs
lola: 4472184 markings, 13234520 edges, 175180 markings/sec, 20 secs
lola: 5208367 markings, 16082890 edges, 147237 markings/sec, 25 secs
lola: 5783647 markings, 19147661 edges, 115056 markings/sec, 30 secs
lola: 6403754 markings, 22278356 edges, 124021 markings/sec, 35 secs
lola: 6975932 markings, 25480355 edges, 114436 markings/sec, 40 secs
lola: 7543709 markings, 28586173 edges, 113555 markings/sec, 45 secs
lola: 8100892 markings, 31343068 edges, 111437 markings/sec, 50 secs
lola: 8650112 markings, 34104511 edges, 109844 markings/sec, 55 secs
lola: 9150343 markings, 36882528 edges, 100046 markings/sec, 60 secs
lola: 9618244 markings, 39646052 edges, 93580 markings/sec, 65 secs
lola: 10097688 markings, 42496831 edges, 95889 markings/sec, 70 secs
lola: 10554092 markings, 45450354 edges, 91281 markings/sec, 75 secs
lola: 11027722 markings, 48429031 edges, 94726 markings/sec, 80 secs
lola: 11495430 markings, 51445699 edges, 93542 markings/sec, 85 secs
lola: 11955708 markings, 54470963 edges, 92056 markings/sec, 90 secs
lola: 12557108 markings, 57217201 edges, 120280 markings/sec, 95 secs
lola: 13298194 markings, 59500618 edges, 148217 markings/sec, 100 secs
lola: 14016528 markings, 61936900 edges, 143667 markings/sec, 105 secs
lola: 14791936 markings, 64283205 edges, 155082 markings/sec, 110 secs
lola: 15522826 markings, 66599132 edges, 146178 markings/sec, 115 secs
lola: 16278996 markings, 68918614 edges, 151234 markings/sec, 120 secs
lola: 17025124 markings, 71184491 edges, 149226 markings/sec, 125 secs
lola: 17734136 markings, 73516683 edges, 141802 markings/sec, 130 secs
lola: 18463176 markings, 75886024 edges, 145808 markings/sec, 135 secs
lola: 19455355 markings, 78151062 edges, 198436 markings/sec, 140 secs
lola: 20363109 markings, 80582825 edges, 181551 markings/sec, 145 secs
lola: 21070967 markings, 83498887 edges, 141572 markings/sec, 150 secs
lola: 21908668 markings, 86119842 edges, 167540 markings/sec, 155 secs
lola: 22745138 markings, 88713374 edges, 167294 markings/sec, 160 secs
lola: 23571692 markings, 91260464 edges, 165311 markings/sec, 165 secs
lola: 24107930 markings, 94237708 edges, 107248 markings/sec, 170 secs
lola: 24679926 markings, 97174418 edges, 114399 markings/sec, 175 secs
lola: 25287554 markings, 100150050 edges, 121526 markings/sec, 180 secs
lola: 25826823 markings, 103156283 edges, 107854 markings/sec, 185 secs
lola: 26317483 markings, 106327568 edges, 98132 markings/sec, 190 secs
lola: 26725559 markings, 109554051 edges, 81615 markings/sec, 195 secs
lola: 27055417 markings, 112768866 edges, 65972 markings/sec, 200 secs
lola: 27515723 markings, 115425938 edges, 92061 markings/sec, 205 secs
lola: 28037731 markings, 117806215 edges, 104402 markings/sec, 210 secs
lola: 28527437 markings, 120271255 edges, 97941 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(c110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1468846 markings, 4966115 edges, 293769 markings/sec, 0 secs
lola: 2664362 markings, 9684251 edges, 239103 markings/sec, 5 secs
lola: 3818814 markings, 14232431 edges, 230890 markings/sec, 10 secs
lola: 4718221 markings, 18684368 edges, 179881 markings/sec, 15 secs
lola: 5599255 markings, 23023387 edges, 176207 markings/sec, 20 secs
lola: 6361660 markings, 27307156 edges, 152481 markings/sec, 25 secs
lola: 6847730 markings, 31788777 edges, 97214 markings/sec, 30 secs
lola: 8413414 markings, 36741152 edges, 313137 markings/sec, 35 secs
lola: 9160770 markings, 40800598 edges, 149471 markings/sec, 40 secs
lola: 10377697 markings, 44945398 edges, 243385 markings/sec, 45 secs
lola: 11334653 markings, 48971435 edges, 191391 markings/sec, 50 secs
lola: 12142423 markings, 52984494 edges, 161554 markings/sec, 55 secs
lola: 13268422 markings, 57425717 edges, 225200 markings/sec, 60 secs
lola: 14254193 markings, 61842514 edges, 197154 markings/sec, 65 secs
lola: 15121695 markings, 66158614 edges, 173500 markings/sec, 70 secs
lola: 15855860 markings, 70344149 edges, 146833 markings/sec, 75 secs
lola: 16501656 markings, 74493915 edges, 129159 markings/sec, 80 secs
lola: 17071962 markings, 78822071 edges, 114061 markings/sec, 85 secs
lola: 18378648 markings, 83676954 edges, 261337 markings/sec, 90 secs
lola: 19044502 markings, 87543744 edges, 133171 markings/sec, 95 secs
lola: 20054618 markings, 91650763 edges, 202023 markings/sec, 100 secs
lola: 20867012 markings, 95611447 edges, 162479 markings/sec, 105 secs
lola: 21620027 markings, 99612564 edges, 150603 markings/sec, 110 secs
lola: 22362735 markings, 103736131 edges, 148542 markings/sec, 115 secs
lola: 22872417 markings, 107750672 edges, 101936 markings/sec, 120 secs
lola: 23696556 markings, 112180163 edges, 164828 markings/sec, 125 secs
lola: 24256090 markings, 116231208 edges, 111907 markings/sec, 130 secs
lola: 24908416 markings, 120178497 edges, 130465 markings/sec, 135 secs
lola: 25858894 markings, 124177952 edges, 190096 markings/sec, 140 secs
lola: 26996378 markings, 128512050 edges, 227497 markings/sec, 145 secs
lola: 27889644 markings, 132657143 edges, 178653 markings/sec, 150 secs
lola: 28704053 markings, 136737555 edges, 162882 markings/sec, 155 secs
lola: 29455469 markings, 140745900 edges, 150283 markings/sec, 160 secs
lola: 30235950 markings, 144797008 edges, 156096 markings/sec, 165 secs
lola: 30924157 markings, 148731439 edges, 137641 markings/sec, 170 secs
lola: 31409280 markings, 152552177 edges, 97025 markings/sec, 175 secs
lola: 31776840 markings, 156490720 edges, 73512 markings/sec, 180 secs
lola: 33014432 markings, 161029562 edges, 247518 markings/sec, 185 secs
lola: 34077627 markings, 165465008 edges, 212639 markings/sec, 190 secs
lola: 35041849 markings, 169307601 edges, 192844 markings/sec, 195 secs
lola: 35866256 markings, 173033675 edges, 164881 markings/sec, 200 secs
lola: 36611362 markings, 176677935 edges, 149021 markings/sec, 205 secs
lola: 37245059 markings, 180258269 edges, 126739 markings/sec, 210 secs
lola: 37717718 markings, 183719577 edges, 94532 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(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 408779 markings, 996444 edges, 81756 markings/sec, 0 secs
lola: 805211 markings, 2000078 edges, 79286 markings/sec, 5 secs
lola: 1189895 markings, 2916091 edges, 76937 markings/sec, 10 secs
lola: 1588791 markings, 3871323 edges, 79779 markings/sec, 15 secs
lola: 1978122 markings, 4811658 edges, 77866 markings/sec, 20 secs
lola: 2370061 markings, 5789603 edges, 78388 markings/sec, 25 secs
lola: 2746326 markings, 6710134 edges, 75253 markings/sec, 30 secs
lola: 3111376 markings, 7678007 edges, 73010 markings/sec, 35 secs
lola: 3457178 markings, 8718507 edges, 69160 markings/sec, 40 secs
lola: 3794969 markings, 9787138 edges, 67558 markings/sec, 45 secs
lola: 4125960 markings, 10854641 edges, 66198 markings/sec, 50 secs
lola: 4518270 markings, 11940650 edges, 78462 markings/sec, 55 secs
lola: 4919049 markings, 12877201 edges, 80156 markings/sec, 60 secs
lola: 5295947 markings, 13808070 edges, 75380 markings/sec, 65 secs
lola: 5651853 markings, 14739426 edges, 71181 markings/sec, 70 secs
lola: 6027594 markings, 15775593 edges, 75148 markings/sec, 75 secs
lola: 6411980 markings, 16688912 edges, 76877 markings/sec, 80 secs
lola: 6776867 markings, 17618113 edges, 72977 markings/sec, 85 secs
lola: 7153598 markings, 18572292 edges, 75346 markings/sec, 90 secs
lola: 7490693 markings, 19616671 edges, 67419 markings/sec, 95 secs
lola: 7803106 markings, 20695681 edges, 62483 markings/sec, 100 secs
lola: 8194009 markings, 21726161 edges, 78181 markings/sec, 105 secs
lola: 8583781 markings, 22706119 edges, 77954 markings/sec, 110 secs
lola: 8944424 markings, 23738943 edges, 72129 markings/sec, 115 secs
lola: 9382502 markings, 24827337 edges, 87616 markings/sec, 120 secs
lola: 9761354 markings, 25755154 edges, 75770 markings/sec, 125 secs
lola: 10115700 markings, 26737395 edges, 70869 markings/sec, 130 secs
lola: 10490176 markings, 27783820 edges, 74895 markings/sec, 135 secs
lola: 10901566 markings, 28756477 edges, 82278 markings/sec, 140 secs
lola: 11263003 markings, 29699361 edges, 72287 markings/sec, 145 secs
lola: 11626069 markings, 30676160 edges, 72613 markings/sec, 150 secs
lola: 11969291 markings, 31558498 edges, 68644 markings/sec, 155 secs
lola: 12257948 markings, 32390680 edges, 57731 markings/sec, 160 secs
lola: 12603385 markings, 33280597 edges, 69087 markings/sec, 165 secs
lola: 12977680 markings, 34243689 edges, 74859 markings/sec, 170 secs
lola: 13311842 markings, 35036978 edges, 66832 markings/sec, 175 secs
lola: 13626911 markings, 35790206 edges, 63014 markings/sec, 180 secs
lola: 13924777 markings, 36597312 edges, 59573 markings/sec, 185 secs
lola: 14241760 markings, 37379085 edges, 63397 markings/sec, 190 secs
lola: 14564740 markings, 38227693 edges, 64596 markings/sec, 195 secs
lola: 14905761 markings, 39126950 edges, 68204 markings/sec, 200 secs
lola: 15224073 markings, 40055074 edges, 63662 markings/sec, 205 secs
lola: 15522550 markings, 41026006 edges, 59695 markings/sec, 210 secs
lola: 15817899 markings, 42041173 edges, 59070 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(c17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 477996 markings, 1380214 edges, 95599 markings/sec, 0 secs
lola: 901341 markings, 3082002 edges, 84669 markings/sec, 5 secs
lola: 1264770 markings, 5102489 edges, 72686 markings/sec, 10 secs
lola: 1699367 markings, 7049196 edges, 86919 markings/sec, 15 secs
lola: 2092972 markings, 9010351 edges, 78721 markings/sec, 20 secs
lola: 2530857 markings, 10680323 edges, 87577 markings/sec, 25 secs
lola: 2927091 markings, 12498095 edges, 79247 markings/sec, 30 secs
lola: 3308216 markings, 14412986 edges, 76225 markings/sec, 35 secs
lola: 3685416 markings, 16331890 edges, 75440 markings/sec, 40 secs
lola: 4129167 markings, 17844347 edges, 88750 markings/sec, 45 secs
lola: 4495171 markings, 19782144 edges, 73201 markings/sec, 50 secs
lola: 4866835 markings, 21721823 edges, 74333 markings/sec, 55 secs
lola: 5237411 markings, 23474839 edges, 74115 markings/sec, 60 secs
lola: 5594510 markings, 25160873 edges, 71420 markings/sec, 65 secs
lola: 5934343 markings, 27100816 edges, 67967 markings/sec, 70 secs
lola: 6274308 markings, 29073521 edges, 67993 markings/sec, 75 secs
lola: 6592918 markings, 31208850 edges, 63722 markings/sec, 80 secs
lola: 6934386 markings, 33353622 edges, 68294 markings/sec, 85 secs
lola: 7267468 markings, 35013055 edges, 66616 markings/sec, 90 secs
lola: 7588987 markings, 37093640 edges, 64304 markings/sec, 95 secs
lola: 7936732 markings, 38964790 edges, 69549 markings/sec, 100 secs
lola: 8255160 markings, 41087371 edges, 63686 markings/sec, 105 secs
lola: 8591760 markings, 43021167 edges, 67320 markings/sec, 110 secs
lola: 8979902 markings, 44810224 edges, 77628 markings/sec, 115 secs
lola: 9346896 markings, 46567166 edges, 73399 markings/sec, 120 secs
lola: 9682367 markings, 48425220 edges, 67094 markings/sec, 125 secs
lola: 10022158 markings, 50135149 edges, 67958 markings/sec, 130 secs
lola: 10337618 markings, 51918003 edges, 63092 markings/sec, 135 secs
lola: 10649739 markings, 53600142 edges, 62424 markings/sec, 140 secs
lola: 10938168 markings, 55400209 edges, 57686 markings/sec, 145 secs
lola: 11290386 markings, 57185708 edges, 70444 markings/sec, 150 secs
lola: 11620140 markings, 59001362 edges, 65951 markings/sec, 155 secs
lola: 11922679 markings, 60693094 edges, 60508 markings/sec, 160 secs
lola: 12219582 markings, 62404359 edges, 59381 markings/sec, 165 secs
lola: 12518697 markings, 64235815 edges, 59823 markings/sec, 170 secs
lola: 12829797 markings, 66056386 edges, 62220 markings/sec, 175 secs
lola: 13147716 markings, 67816984 edges, 63584 markings/sec, 180 secs
lola: 13501176 markings, 69541793 edges, 70692 markings/sec, 185 secs
lola: 13845103 markings, 71311283 edges, 68785 markings/sec, 190 secs
lola: 14189292 markings, 73025863 edges, 68838 markings/sec, 195 secs
lola: 14520573 markings, 74727714 edges, 66256 markings/sec, 200 secs
lola: 14881176 markings, 76426434 edges, 72121 markings/sec, 205 secs
lola: 15251194 markings, 77948717 edges, 74004 markings/sec, 210 secs
lola: 15615010 markings, 79721069 edges, 72763 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(in2_2 + in2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: ========================================
lola: subprocess 8 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 377253 markings, 926533 edges, 75451 markings/sec, 0 secs
lola: 735159 markings, 1990766 edges, 71581 markings/sec, 5 secs
lola: 1136753 markings, 3027595 edges, 80319 markings/sec, 10 secs
lola: 1524106 markings, 4077779 edges, 77471 markings/sec, 15 secs
lola: 1961831 markings, 5113146 edges, 87545 markings/sec, 20 secs
lola: 2393430 markings, 6134076 edges, 86320 markings/sec, 25 secs
lola: 2760628 markings, 7103383 edges, 73440 markings/sec, 30 secs
lola: 3143108 markings, 8155715 edges, 76496 markings/sec, 35 secs
lola: 3541580 markings, 9165100 edges, 79694 markings/sec, 40 secs
lola: 3899316 markings, 10154361 edges, 71547 markings/sec, 45 secs
lola: 4301535 markings, 11198453 edges, 80444 markings/sec, 50 secs
lola: 4707139 markings, 12261065 edges, 81121 markings/sec, 55 secs
lola: 5121505 markings, 13526363 edges, 82873 markings/sec, 60 secs
lola: 5521519 markings, 14817516 edges, 80003 markings/sec, 65 secs
lola: 5910533 markings, 15798367 edges, 77803 markings/sec, 70 secs
lola: 6284747 markings, 16769930 edges, 74843 markings/sec, 75 secs
lola: 6664183 markings, 17739757 edges, 75887 markings/sec, 80 secs
lola: 7052790 markings, 18728507 edges, 77721 markings/sec, 85 secs
lola: 7433127 markings, 19737819 edges, 76067 markings/sec, 90 secs
lola: 7817087 markings, 20712493 edges, 76792 markings/sec, 95 secs
lola: 8207530 markings, 21667163 edges, 78089 markings/sec, 100 secs
lola: 8603800 markings, 22665957 edges, 79254 markings/sec, 105 secs
lola: 8982168 markings, 23631976 edges, 75674 markings/sec, 110 secs
lola: 9373393 markings, 24589224 edges, 78245 markings/sec, 115 secs
lola: 9760514 markings, 25598820 edges, 77424 markings/sec, 120 secs
lola: 10143831 markings, 26479981 edges, 76663 markings/sec, 125 secs
lola: 10524480 markings, 27459592 edges, 76130 markings/sec, 130 secs
lola: 10924091 markings, 28416779 edges, 79922 markings/sec, 135 secs
lola: 11302655 markings, 29387930 edges, 75713 markings/sec, 140 secs
lola: 11682580 markings, 30409744 edges, 75985 markings/sec, 145 secs
lola: 12063608 markings, 31436569 edges, 76206 markings/sec, 150 secs
lola: 12437117 markings, 32335122 edges, 74702 markings/sec, 155 secs
lola: 12809741 markings, 33259753 edges, 74525 markings/sec, 160 secs
lola: 13187885 markings, 34223615 edges, 75629 markings/sec, 165 secs
lola: 13577754 markings, 35222513 edges, 77974 markings/sec, 170 secs
lola: 13981366 markings, 36179722 edges, 80722 markings/sec, 175 secs
lola: 14355731 markings, 37147522 edges, 74873 markings/sec, 180 secs
lola: 14730483 markings, 38114763 edges, 74950 markings/sec, 185 secs
lola: 15110685 markings, 39300912 edges, 76040 markings/sec, 190 secs
lola: 15486963 markings, 40239073 edges, 75256 markings/sec, 195 secs
lola: 15859392 markings, 41149936 edges, 74486 markings/sec, 200 secs
lola: 16226409 markings, 42046530 edges, 73403 markings/sec, 205 secs
lola: 16603564 markings, 43029190 edges, 75431 markings/sec, 210 secs
lola: 16983543 markings, 43997070 edges, 75996 markings/sec, 215 secs
lola: 17355242 markings, 44966620 edges, 74340 markings/sec, 220 secs
lola: 17730047 markings, 46053054 edges, 74961 markings/sec, 225 secs
lola: 18086037 markings, 47047727 edges, 71198 markings/sec, 230 secs
lola: 18425347 markings, 48004006 edges, 67862 markings/sec, 235 secs
lola: 18754715 markings, 49015229 edges, 65874 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 894773 markings, 3966475 edges, 178955 markings/sec, 0 secs
lola: 1704255 markings, 8055193 edges, 161896 markings/sec, 5 secs
lola: 2504401 markings, 11977798 edges, 160029 markings/sec, 10 secs
lola: 3307118 markings, 15891641 edges, 160543 markings/sec, 15 secs
lola: 4098091 markings, 19579321 edges, 158195 markings/sec, 20 secs
lola: 4871460 markings, 23374930 edges, 154674 markings/sec, 25 secs
lola: 5643292 markings, 27123982 edges, 154366 markings/sec, 30 secs
lola: 6339426 markings, 30780183 edges, 139227 markings/sec, 35 secs
lola: 7013014 markings, 34469030 edges, 134718 markings/sec, 40 secs
lola: 7656239 markings, 38080356 edges, 128645 markings/sec, 45 secs
lola: 8276139 markings, 41786708 edges, 123980 markings/sec, 50 secs
lola: 8900562 markings, 45483736 edges, 124885 markings/sec, 55 secs
lola: 9497091 markings, 49112830 edges, 119306 markings/sec, 60 secs
lola: 10097534 markings, 52820003 edges, 120089 markings/sec, 65 secs
lola: 10655888 markings, 56568054 edges, 111671 markings/sec, 70 secs
lola: 11198997 markings, 60732391 edges, 108622 markings/sec, 75 secs
lola: 11873721 markings, 64778100 edges, 134945 markings/sec, 80 secs
lola: 12634903 markings, 68581476 edges, 152236 markings/sec, 85 secs
lola: 13349770 markings, 72290030 edges, 142973 markings/sec, 90 secs
lola: 13962848 markings, 75949997 edges, 122616 markings/sec, 95 secs
lola: 14516083 markings, 79570398 edges, 110647 markings/sec, 100 secs
lola: 15160634 markings, 83623133 edges, 128910 markings/sec, 105 secs
lola: 15940688 markings, 87538930 edges, 156011 markings/sec, 110 secs
lola: 16692884 markings, 91279960 edges, 150439 markings/sec, 115 secs
lola: 17422595 markings, 95040700 edges, 145942 markings/sec, 120 secs
lola: 18141114 markings, 98740021 edges, 143704 markings/sec, 125 secs
lola: 18805588 markings, 102410484 edges, 132895 markings/sec, 130 secs
lola: 19436022 markings, 106141421 edges, 126087 markings/sec, 135 secs
lola: 19999002 markings, 109776099 edges, 112596 markings/sec, 140 secs
lola: 20591476 markings, 113375364 edges, 118495 markings/sec, 145 secs
lola: 21166102 markings, 117018355 edges, 114925 markings/sec, 150 secs
lola: 21690460 markings, 120624616 edges, 104872 markings/sec, 155 secs
lola: 22172586 markings, 124645809 edges, 96425 markings/sec, 160 secs
lola: 22887338 markings, 128423481 edges, 142950 markings/sec, 165 secs
lola: 23543658 markings, 132044558 edges, 131264 markings/sec, 170 secs
lola: 24100085 markings, 135645089 edges, 111285 markings/sec, 175 secs
lola: 24632971 markings, 139426520 edges, 106577 markings/sec, 180 secs
lola: 25244460 markings, 143139092 edges, 122298 markings/sec, 185 secs
lola: 25888306 markings, 147002913 edges, 128769 markings/sec, 190 secs
lola: 26637338 markings, 150865112 edges, 149806 markings/sec, 195 secs
lola: 27216265 markings, 154473223 edges, 115785 markings/sec, 200 secs
lola: 27842687 markings, 158383396 edges, 125284 markings/sec, 205 secs
lola: 28520334 markings, 162252669 edges, 135529 markings/sec, 210 secs
lola: 29085838 markings, 165906552 edges, 113101 markings/sec, 215 secs
lola: 29687803 markings, 169810018 edges, 120393 markings/sec, 220 secs
lola: 30442922 markings, 173791377 edges, 151024 markings/sec, 225 secs
lola: 31091656 markings, 177637303 edges, 129747 markings/sec, 230 secs
lola: 31780686 markings, 181712646 edges, 137806 markings/sec, 235 secs
lola: 32429408 markings, 185543051 edges, 129744 markings/sec, 240 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 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out1_0 + out1_1 + out1_2 + out1_3 + out1_4 + out1_5 + out1_6 + out1_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 615559 markings, 1138016 edges, 123112 markings/sec, 0 secs
lola: 1251669 markings, 2331084 edges, 127222 markings/sec, 5 secs
lola: 1874736 markings, 3508186 edges, 124613 markings/sec, 10 secs
lola: 2510691 markings, 4704586 edges, 127191 markings/sec, 15 secs
lola: 3143008 markings, 5895609 edges, 126463 markings/sec, 20 secs
lola: 3765690 markings, 7076311 edges, 124536 markings/sec, 25 secs
lola: 4396771 markings, 8266310 edges, 126216 markings/sec, 30 secs
lola: 5026009 markings, 9455885 edges, 125848 markings/sec, 35 secs
lola: 5654927 markings, 10639613 edges, 125784 markings/sec, 40 secs
lola: 6273321 markings, 11813027 edges, 123679 markings/sec, 45 secs
lola: 6890181 markings, 12983933 edges, 123372 markings/sec, 50 secs
lola: 7533979 markings, 14191964 edges, 128760 markings/sec, 55 secs
lola: 8159991 markings, 15378330 edges, 125202 markings/sec, 60 secs
lola: 8781827 markings, 16551289 edges, 124367 markings/sec, 65 secs
lola: 9401065 markings, 17726497 edges, 123848 markings/sec, 70 secs
lola: 10016833 markings, 18895263 edges, 123154 markings/sec, 75 secs
lola: 10651016 markings, 20090018 edges, 126837 markings/sec, 80 secs
lola: 11280290 markings, 21280180 edges, 125855 markings/sec, 85 secs
lola: 11905539 markings, 22459105 edges, 125050 markings/sec, 90 secs
lola: 12516490 markings, 23616666 edges, 122190 markings/sec, 95 secs
lola: 13134409 markings, 24790018 edges, 123584 markings/sec, 100 secs
lola: 13744894 markings, 25948776 edges, 122097 markings/sec, 105 secs
lola: 14358931 markings, 27227578 edges, 122807 markings/sec, 110 secs
lola: 14960012 markings, 28614881 edges, 120216 markings/sec, 115 secs
lola: 15538661 markings, 30028947 edges, 115730 markings/sec, 120 secs
lola: 16123861 markings, 31417145 edges, 117040 markings/sec, 125 secs
lola: 16713863 markings, 32829900 edges, 118000 markings/sec, 130 secs
lola: 17287759 markings, 34262267 edges, 114779 markings/sec, 135 secs
lola: 17862926 markings, 35683120 edges, 115033 markings/sec, 140 secs
lola: 18455254 markings, 37102294 edges, 118466 markings/sec, 145 secs
lola: 19022684 markings, 38546197 edges, 113486 markings/sec, 150 secs
lola: 19589879 markings, 39955236 edges, 113439 markings/sec, 155 secs
lola: 20163905 markings, 41378645 edges, 114805 markings/sec, 160 secs
lola: 20750915 markings, 42806243 edges, 117402 markings/sec, 165 secs
lola: 21314242 markings, 44246749 edges, 112665 markings/sec, 170 secs
lola: 21877654 markings, 45659889 edges, 112682 markings/sec, 175 secs
lola: 22435262 markings, 47081261 edges, 111522 markings/sec, 180 secs
lola: 23027317 markings, 48520782 edges, 118411 markings/sec, 185 secs
lola: 23595535 markings, 49940153 edges, 113644 markings/sec, 190 secs
lola: 24146227 markings, 51369127 edges, 110138 markings/sec, 195 secs
lola: 24712575 markings, 52779990 edges, 113270 markings/sec, 200 secs
lola: 25264076 markings, 54242869 edges, 110300 markings/sec, 205 secs
lola: 25793541 markings, 56035363 edges, 105893 markings/sec, 210 secs
lola: 26296568 markings, 57864793 edges, 100605 markings/sec, 215 secs
lola: 26810727 markings, 59692929 edges, 102832 markings/sec, 220 secs
lola: 27309231 markings, 61525927 edges, 99701 markings/sec, 225 secs
lola: 27819270 markings, 63348251 edges, 102008 markings/sec, 230 secs
lola: 28312534 markings, 65179610 edges, 98653 markings/sec, 235 secs
lola: 28811909 markings, 67007019 edges, 99875 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 405463 markings, 987284 edges, 81093 markings/sec, 0 secs
lola: 785014 markings, 1948169 edges, 75910 markings/sec, 5 secs
lola: 1169588 markings, 2864074 edges, 76915 markings/sec, 10 secs
lola: 1542669 markings, 3742728 edges, 74616 markings/sec, 15 secs
lola: 1906560 markings, 4640995 edges, 72778 markings/sec, 20 secs
lola: 2303458 markings, 5597001 edges, 79380 markings/sec, 25 secs
lola: 2675981 markings, 6548084 edges, 74505 markings/sec, 30 secs
lola: 3037668 markings, 7477234 edges, 72337 markings/sec, 35 secs
lola: 3382936 markings, 8475470 edges, 69054 markings/sec, 40 secs
lola: 3725515 markings, 9522334 edges, 68516 markings/sec, 45 secs
lola: 4041608 markings, 10600839 edges, 63219 markings/sec, 50 secs
lola: 4382668 markings, 11655934 edges, 68212 markings/sec, 55 secs
lola: 4799943 markings, 12598388 edges, 83455 markings/sec, 60 secs
lola: 5151557 markings, 13446918 edges, 70323 markings/sec, 65 secs
lola: 5514825 markings, 14360140 edges, 72654 markings/sec, 70 secs
lola: 5871958 markings, 15382626 edges, 71427 markings/sec, 75 secs
lola: 6264535 markings, 16329219 edges, 78515 markings/sec, 80 secs
lola: 6640910 markings, 17284029 edges, 75275 markings/sec, 85 secs
lola: 7014075 markings, 18200258 edges, 74633 markings/sec, 90 secs
lola: 7365605 markings, 19218539 edges, 70306 markings/sec, 95 secs
lola: 7686024 markings, 20306689 edges, 64084 markings/sec, 100 secs
lola: 8035840 markings, 21351185 edges, 69963 markings/sec, 105 secs
lola: 8417805 markings, 22290115 edges, 76393 markings/sec, 110 secs
lola: 8791080 markings, 23247698 edges, 74655 markings/sec, 115 secs
lola: 9131937 markings, 24288252 edges, 68171 markings/sec, 120 secs
lola: 9563382 markings, 25254120 edges, 86289 markings/sec, 125 secs
lola: 9898699 markings, 26132722 edges, 67063 markings/sec, 130 secs
lola: 10257886 markings, 27103048 edges, 71837 markings/sec, 135 secs
lola: 10683356 markings, 28216672 edges, 85094 markings/sec, 140 secs
lola: 11048126 markings, 29121712 edges, 72954 markings/sec, 145 secs
lola: 11380746 markings, 30072649 edges, 66524 markings/sec, 150 secs
lola: 11758605 markings, 31024530 edges, 75572 markings/sec, 155 secs
lola: 12108938 markings, 31978444 edges, 70067 markings/sec, 160 secs
lola: 12470375 markings, 32929284 edges, 72287 markings/sec, 165 secs
lola: 12832671 markings, 33842843 edges, 72459 markings/sec, 170 secs
lola: 13200601 markings, 34770747 edges, 73586 markings/sec, 175 secs
lola: 13572147 markings, 35646464 edges, 74309 markings/sec, 180 secs
lola: 13914132 markings, 36569812 edges, 68397 markings/sec, 185 secs
lola: 14252004 markings, 37404868 edges, 67574 markings/sec, 190 secs
lola: 14601793 markings, 38318183 edges, 69958 markings/sec, 195 secs
lola: 14958385 markings, 39271614 edges, 71318 markings/sec, 200 secs
lola: 15279379 markings, 40245720 edges, 64199 markings/sec, 205 secs
lola: 15592180 markings, 41244349 edges, 62560 markings/sec, 210 secs
lola: 15878898 markings, 42244033 edges, 57344 markings/sec, 215 secs
lola: 16275407 markings, 43161076 edges, 79302 markings/sec, 220 secs
lola: 16615924 markings, 44006012 edges, 68103 markings/sec, 225 secs
lola: 16944534 markings, 44894100 edges, 65722 markings/sec, 230 secs
lola: 17311091 markings, 45901513 edges, 73311 markings/sec, 235 secs
lola: 17671171 markings, 46771109 edges, 72016 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 752503 markings, 1513296 edges, 150501 markings/sec, 0 secs
lola: 1465499 markings, 3062316 edges, 142599 markings/sec, 5 secs
lola: 2149312 markings, 4623701 edges, 136763 markings/sec, 10 secs
lola: 2817832 markings, 6319735 edges, 133704 markings/sec, 15 secs
lola: 3450115 markings, 8052439 edges, 126457 markings/sec, 20 secs
lola: 4046859 markings, 9821359 edges, 119349 markings/sec, 25 secs
lola: 4661797 markings, 11489462 edges, 122988 markings/sec, 30 secs
lola: 5233262 markings, 13074037 edges, 114293 markings/sec, 35 secs
lola: 5801937 markings, 14762080 edges, 113735 markings/sec, 40 secs
lola: 6305638 markings, 16888149 edges, 100740 markings/sec, 45 secs
lola: 6746903 markings, 19106283 edges, 88253 markings/sec, 50 secs
lola: 7194459 markings, 21327460 edges, 89511 markings/sec, 55 secs
lola: 7620813 markings, 23368392 edges, 85271 markings/sec, 60 secs
lola: 8042934 markings, 25514552 edges, 84424 markings/sec, 65 secs
lola: 8679797 markings, 27069910 edges, 127373 markings/sec, 70 secs
lola: 9251035 markings, 28598045 edges, 114248 markings/sec, 75 secs
lola: 9822912 markings, 30078538 edges, 114375 markings/sec, 80 secs
lola: 10377187 markings, 31747824 edges, 110855 markings/sec, 85 secs
lola: 10899600 markings, 33398573 edges, 104483 markings/sec, 90 secs
lola: 11411754 markings, 35014396 edges, 102431 markings/sec, 95 secs
lola: 11960659 markings, 36829065 edges, 109781 markings/sec, 100 secs
lola: 12483676 markings, 38676964 edges, 104603 markings/sec, 105 secs
lola: 12983682 markings, 40373769 edges, 100001 markings/sec, 110 secs
lola: 13492465 markings, 42152563 edges, 101757 markings/sec, 115 secs
lola: 13969251 markings, 43994229 edges, 95357 markings/sec, 120 secs
lola: 14454856 markings, 45771482 edges, 97121 markings/sec, 125 secs
lola: 14909875 markings, 47629869 edges, 91004 markings/sec, 130 secs
lola: 15367978 markings, 49265932 edges, 91621 markings/sec, 135 secs
lola: 15822680 markings, 51028606 edges, 90940 markings/sec, 140 secs
lola: 16255694 markings, 52775470 edges, 86603 markings/sec, 145 secs
lola: 16659008 markings, 54838090 edges, 80663 markings/sec, 150 secs
lola: 17007770 markings, 57146932 edges, 69752 markings/sec, 155 secs
lola: 17354865 markings, 59299138 edges, 69419 markings/sec, 160 secs
lola: 17673831 markings, 61476431 edges, 63793 markings/sec, 165 secs
lola: 18000367 markings, 63689803 edges, 65307 markings/sec, 170 secs
lola: 18301103 markings, 65911479 edges, 60147 markings/sec, 175 secs
lola: 18617288 markings, 67939340 edges, 63237 markings/sec, 180 secs
lola: 18919672 markings, 70017404 edges, 60477 markings/sec, 185 secs
lola: 19249861 markings, 72156487 edges, 66038 markings/sec, 190 secs
lola: 19709416 markings, 74266680 edges, 91911 markings/sec, 195 secs
lola: 20148722 markings, 76237857 edges, 87861 markings/sec, 200 secs
lola: 20556193 markings, 78469218 edges, 81494 markings/sec, 205 secs
lola: 20933192 markings, 80584816 edges, 75400 markings/sec, 210 secs
lola: 21342581 markings, 82686800 edges, 81878 markings/sec, 215 secs
lola: 21740354 markings, 84814107 edges, 79555 markings/sec, 220 secs
lola: 22086973 markings, 87236824 edges, 69324 markings/sec, 225 secs
lola: 22425869 markings, 89467525 edges, 67779 markings/sec, 230 secs
lola: 22741438 markings, 91743721 edges, 63114 markings/sec, 235 secs
lola: 23067713 markings, 94038040 edges, 65255 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1042863 markings, 2298723 edges, 208573 markings/sec, 0 secs
lola: 1984029 markings, 4760682 edges, 188233 markings/sec, 5 secs
lola: 2681867 markings, 7870210 edges, 139568 markings/sec, 10 secs
lola: 3580930 markings, 10526304 edges, 179813 markings/sec, 15 secs
lola: 4448243 markings, 13175417 edges, 173463 markings/sec, 20 secs
lola: 5190736 markings, 15985908 edges, 148499 markings/sec, 25 secs
lola: 5760116 markings, 19031587 edges, 113876 markings/sec, 30 secs
lola: 6371553 markings, 22141335 edges, 122287 markings/sec, 35 secs
lola: 6943975 markings, 25314312 edges, 114484 markings/sec, 40 secs
lola: 7506608 markings, 28423835 edges, 112527 markings/sec, 45 secs
lola: 8066725 markings, 31166026 edges, 112023 markings/sec, 50 secs
lola: 8610115 markings, 33905269 edges, 108678 markings/sec, 55 secs
lola: 9113857 markings, 36677650 edges, 100748 markings/sec, 60 secs
lola: 9582456 markings, 39431885 edges, 93720 markings/sec, 65 secs
lola: 10065710 markings, 42294415 edges, 96651 markings/sec, 70 secs
lola: 10523174 markings, 45250198 edges, 91493 markings/sec, 75 secs
lola: 10989892 markings, 48200436 edges, 93344 markings/sec, 80 secs
lola: 11460137 markings, 51222145 edges, 94049 markings/sec, 85 secs
lola: 11919635 markings, 54241201 edges, 91900 markings/sec, 90 secs
lola: 12501709 markings, 57049683 edges, 116415 markings/sec, 95 secs
lola: 13247451 markings, 59324764 edges, 149148 markings/sec, 100 secs
lola: 13964538 markings, 61774665 edges, 143417 markings/sec, 105 secs
lola: 14740276 markings, 64126603 edges, 155148 markings/sec, 110 secs
lola: 15482481 markings, 66453518 edges, 148441 markings/sec, 115 secs
lola: 16236273 markings, 68794138 edges, 150758 markings/sec, 120 secs
lola: 16992461 markings, 71082465 edges, 151238 markings/sec, 125 secs
lola: 17706015 markings, 73414466 edges, 142711 markings/sec, 130 secs
lola: 18427307 markings, 75773820 edges, 144258 markings/sec, 135 secs
lola: 19405550 markings, 78036181 edges, 195649 markings/sec, 140 secs
lola: 20317604 markings, 80472455 edges, 182411 markings/sec, 145 secs
lola: 21038146 markings, 83347597 edges, 144108 markings/sec, 150 secs
lola: 21870166 markings, 85990547 edges, 166404 markings/sec, 155 secs
lola: 22700304 markings, 88607428 edges, 166028 markings/sec, 160 secs
lola: 23541095 markings, 91139943 edges, 168158 markings/sec, 165 secs
lola: 24083982 markings, 94137171 edges, 108577 markings/sec, 170 secs
lola: 24658665 markings, 97080540 edges, 114937 markings/sec, 175 secs
lola: 25273154 markings, 100068458 edges, 122898 markings/sec, 180 secs
lola: 25816813 markings, 103085846 edges, 108732 markings/sec, 185 secs
lola: 26312284 markings, 106287867 edges, 99094 markings/sec, 190 secs
lola: 26725077 markings, 109548744 edges, 82559 markings/sec, 195 secs
lola: 27057415 markings, 112787380 edges, 66468 markings/sec, 200 secs
lola: 27522375 markings, 115455434 edges, 92992 markings/sec, 205 secs
lola: 28048335 markings, 117856188 edges, 105192 markings/sec, 210 secs
lola: 28537808 markings, 120328180 edges, 97895 markings/sec, 215 secs
lola: 29040211 markings, 122911814 edges, 100481 markings/sec, 220 secs
lola: 29494147 markings, 125450281 edges, 90787 markings/sec, 225 secs
lola: 29925206 markings, 127971911 edges, 86212 markings/sec, 230 secs
lola: 30374777 markings, 130648819 edges, 89914 markings/sec, 235 secs
lola: 30836998 markings, 133370012 edges, 92444 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 411332 markings, 1003107 edges, 82266 markings/sec, 0 secs
lola: 809780 markings, 2011492 edges, 79690 markings/sec, 5 secs
lola: 1199091 markings, 2937223 edges, 77862 markings/sec, 10 secs
lola: 1601611 markings, 3904785 edges, 80504 markings/sec, 15 secs
lola: 1992052 markings, 4844414 edges, 78088 markings/sec, 20 secs
lola: 2387516 markings, 5840500 edges, 79093 markings/sec, 25 secs
lola: 2766968 markings, 6763627 edges, 75890 markings/sec, 30 secs
lola: 3134775 markings, 7756017 edges, 73561 markings/sec, 35 secs
lola: 3486680 markings, 8802219 edges, 70381 markings/sec, 40 secs
lola: 3818114 markings, 9888369 edges, 66287 markings/sec, 45 secs
lola: 4154232 markings, 10958491 edges, 67224 markings/sec, 50 secs
lola: 4565859 markings, 12037112 edges, 82325 markings/sec, 55 secs
lola: 4961171 markings, 12976879 edges, 79062 markings/sec, 60 secs
lola: 5337607 markings, 13913563 edges, 75287 markings/sec, 65 secs
lola: 5696067 markings, 14891669 edges, 71692 markings/sec, 70 secs
lola: 6088351 markings, 15919168 edges, 78457 markings/sec, 75 secs
lola: 6475716 markings, 16873212 edges, 77473 markings/sec, 80 secs
lola: 6823855 markings, 17732430 edges, 69628 markings/sec, 85 secs
lola: 7189914 markings, 18682973 edges, 73212 markings/sec, 90 secs
lola: 7514786 markings, 19726047 edges, 64974 markings/sec, 95 secs
lola: 7832562 markings, 20813492 edges, 63555 markings/sec, 100 secs
lola: 8230187 markings, 21813362 edges, 79525 markings/sec, 105 secs
lola: 8613452 markings, 22779918 edges, 76653 markings/sec, 110 secs
lola: 8968776 markings, 23817322 edges, 71065 markings/sec, 115 secs
lola: 9399024 markings, 24860816 edges, 86050 markings/sec, 120 secs
lola: 9762556 markings, 25757928 edges, 72706 markings/sec, 125 secs
lola: 10114831 markings, 26735579 edges, 70455 markings/sec, 130 secs
lola: 10505112 markings, 27825586 edges, 78056 markings/sec, 135 secs
lola: 10905442 markings, 28766146 edges, 80066 markings/sec, 140 secs
lola: 11257018 markings, 29678745 edges, 70315 markings/sec, 145 secs
lola: 11607358 markings, 30632185 edges, 70068 markings/sec, 150 secs
lola: 11955415 markings, 31523591 edges, 69611 markings/sec, 155 secs
lola: 12295824 markings, 32491256 edges, 68082 markings/sec, 160 secs
lola: 12679937 markings, 33485367 edges, 76823 markings/sec, 165 secs
lola: 13053333 markings, 34421537 edges, 74679 markings/sec, 170 secs
lola: 13419498 markings, 35288951 edges, 73233 markings/sec, 175 secs
lola: 13776111 markings, 36222596 edges, 71323 markings/sec, 180 secs
lola: 14123607 markings, 37092661 edges, 69499 markings/sec, 185 secs
lola: 14457165 markings, 37957827 edges, 66712 markings/sec, 190 secs
lola: 14806487 markings, 38834186 edges, 69864 markings/sec, 195 secs
lola: 15136018 markings, 39799904 edges, 65906 markings/sec, 200 secs
lola: 15445064 markings, 40792442 edges, 61809 markings/sec, 205 secs
lola: 15754443 markings, 41769348 edges, 61876 markings/sec, 210 secs
lola: 16127983 markings, 42805110 edges, 74708 markings/sec, 215 secs
lola: 16490986 markings, 43693690 edges, 72601 markings/sec, 220 secs
lola: 16832933 markings, 44565298 edges, 68389 markings/sec, 225 secs
lola: 17174441 markings, 45514803 edges, 68302 markings/sec, 230 secs
lola: 17539894 markings, 46457146 edges, 73091 markings/sec, 235 secs
lola: 17883315 markings, 47340637 edges, 68684 markings/sec, 240 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 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux7_2 + aux7_3 + aux7_6 + aux7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1555254 markings, 5941554 edges, 311051 markings/sec, 0 secs
lola: 3149877 markings, 12256618 edges, 318925 markings/sec, 5 secs
lola: 4780949 markings, 18702211 edges, 326214 markings/sec, 10 secs
lola: 5994572 markings, 24436564 edges, 242725 markings/sec, 15 secs
lola: 7289421 markings, 30379518 edges, 258970 markings/sec, 20 secs
lola: 8706807 markings, 36360534 edges, 283477 markings/sec, 25 secs
lola: 10271621 markings, 42620249 edges, 312963 markings/sec, 30 secs
lola: 11479348 markings, 48357331 edges, 241545 markings/sec, 35 secs
lola: 12766301 markings, 54205522 edges, 257391 markings/sec, 40 secs
lola: 14149540 markings, 60043410 edges, 276648 markings/sec, 45 secs
lola: 15642031 markings, 66007137 edges, 298498 markings/sec, 50 secs
lola: 16871829 markings, 71840824 edges, 245960 markings/sec, 55 secs
lola: 18119467 markings, 77665349 edges, 249528 markings/sec, 60 secs
lola: 19209978 markings, 83147227 edges, 218102 markings/sec, 65 secs
lola: 20030053 markings, 88339578 edges, 164015 markings/sec, 70 secs
lola: 20852455 markings, 93592501 edges, 164480 markings/sec, 75 secs
lola: 22034464 markings, 99283600 edges, 236402 markings/sec, 80 secs
lola: 23117722 markings, 104793553 edges, 216652 markings/sec, 85 secs
lola: 24081820 markings, 110178151 edges, 192820 markings/sec, 90 secs
lola: 25447328 markings, 115810865 edges, 273102 markings/sec, 95 secs
lola: 26788424 markings, 121470851 edges, 268219 markings/sec, 100 secs
lola: 27972706 markings, 127195713 edges, 236856 markings/sec, 105 secs
lola: 29239846 markings, 132764369 edges, 253428 markings/sec, 110 secs
lola: 30449827 markings, 138436255 edges, 241996 markings/sec, 115 secs
lola: 31595240 markings, 143996488 edges, 229083 markings/sec, 120 secs
lola: 32855299 markings, 149417358 edges, 252012 markings/sec, 125 secs
lola: 34252017 markings, 154998131 edges, 279344 markings/sec, 130 secs
lola: 35433323 markings, 160583243 edges, 236261 markings/sec, 135 secs
lola: 36641089 markings, 166240867 edges, 241553 markings/sec, 140 secs
lola: 37764469 markings, 171779540 edges, 224676 markings/sec, 145 secs
lola: 38633356 markings, 177254887 edges, 173777 markings/sec, 150 secs
lola: 39498684 markings, 182736332 edges, 173066 markings/sec, 155 secs
lola: 40635707 markings, 188198267 edges, 227405 markings/sec, 160 secs
lola: 41716484 markings, 193734813 edges, 216155 markings/sec, 165 secs
lola: 42688846 markings, 199138794 edges, 194472 markings/sec, 170 secs
lola: 43818509 markings, 204621283 edges, 225933 markings/sec, 175 secs
lola: 44839838 markings, 209910637 edges, 204266 markings/sec, 180 secs
lola: 45660765 markings, 215190843 edges, 164185 markings/sec, 185 secs
lola: 46530487 markings, 220428191 edges, 173944 markings/sec, 190 secs
lola: 47435578 markings, 225691409 edges, 181018 markings/sec, 195 secs
lola: 48599424 markings, 231273621 edges, 232769 markings/sec, 200 secs
lola: 50058303 markings, 237144682 edges, 291776 markings/sec, 205 secs
lola: 51295192 markings, 243039633 edges, 247378 markings/sec, 210 secs
lola: 52575483 markings, 248812745 edges, 256058 markings/sec, 215 secs
lola: 54038276 markings, 254953261 edges, 292559 markings/sec, 220 secs
lola: 55587748 markings, 261291097 edges, 309894 markings/sec, 225 secs
lola: 56828217 markings, 267257770 edges, 248094 markings/sec, 230 secs
lola: 58044267 markings, 272946605 edges, 243210 markings/sec, 235 secs
lola: 59109005 markings, 278529539 edges, 212948 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown 40 unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PermAdmissibility-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-7 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496393766255
--------------------
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_PermAdmissibility-PT-20"
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_PermAdmissibility-PT-20.tgz
mv S_PermAdmissibility-PT-20 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_PermAdmissibility-PT-20, 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 r118-blw7-149441650200434"
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 '
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 ;