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 PermAdmissibility-COL-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440485000389
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494654461272


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-COL-50 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-50-UpperBounds.task
lola: MAX(p78) : MAX(p78) : MAX(p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51) : MAX(p96) : MAX(p76 + p75 + p74 + p73 + p72 + p71 + p70 + p77) : MAX(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183) : MAX(p130) : MAX(p88 + p87 + p89 + p90 + p91 + p92 + p93 + p94) : MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148) : MAX(p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113) : MAX(p105) : MAX(p85 + p84 + p83 + p82 + p81 + p80 + p79 + p86) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148) : MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157) : MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157)
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(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 539866 markings, 1835240 edges, 107973 markings/sec, 0 secs
lola: 1046983 markings, 3693391 edges, 101423 markings/sec, 5 secs
lola: 1588962 markings, 5705270 edges, 108396 markings/sec, 10 secs
lola: 2116290 markings, 7764770 edges, 105466 markings/sec, 15 secs
lola: 2680482 markings, 9928720 edges, 112838 markings/sec, 20 secs
lola: 3188518 markings, 11985000 edges, 101607 markings/sec, 25 secs
lola: 3764758 markings, 14260111 edges, 115248 markings/sec, 30 secs
lola: 4325888 markings, 16587575 edges, 112226 markings/sec, 35 secs
lola: 4898828 markings, 18700699 edges, 114588 markings/sec, 40 secs
lola: 5440969 markings, 20908125 edges, 108428 markings/sec, 45 secs
lola: 6012639 markings, 23216335 edges, 114334 markings/sec, 50 secs
lola: 6538955 markings, 25419040 edges, 105263 markings/sec, 55 secs
lola: 7055567 markings, 27531400 edges, 103322 markings/sec, 60 secs
lola: 7620011 markings, 29737172 edges, 112889 markings/sec, 65 secs
lola: 8169179 markings, 31898939 edges, 109834 markings/sec, 70 secs
lola: 8704739 markings, 34118709 edges, 107112 markings/sec, 75 secs
lola: 9242362 markings, 36424487 edges, 107525 markings/sec, 80 secs
lola: 9806382 markings, 38711337 edges, 112804 markings/sec, 85 secs
lola: 10355810 markings, 40980874 edges, 109886 markings/sec, 90 secs
lola: 10908324 markings, 43266204 edges, 110503 markings/sec, 95 secs
lola: 11451994 markings, 45575119 edges, 108734 markings/sec, 100 secs
lola: 11986679 markings, 47870261 edges, 106937 markings/sec, 105 secs
lola: 12561948 markings, 50002873 edges, 115054 markings/sec, 110 secs
lola: 13088675 markings, 52188871 edges, 105345 markings/sec, 115 secs
lola: 13612106 markings, 54390030 edges, 104686 markings/sec, 120 secs
lola: 14135311 markings, 56574279 edges, 104641 markings/sec, 125 secs
lola: 14668054 markings, 58879678 edges, 106549 markings/sec, 130 secs
lola: 15223235 markings, 61189943 edges, 111036 markings/sec, 135 secs
lola: 15779635 markings, 63428424 edges, 111280 markings/sec, 140 secs
lola: 16317411 markings, 65701209 edges, 107555 markings/sec, 145 secs
lola: 16855361 markings, 67981726 edges, 107590 markings/sec, 150 secs
lola: 17397108 markings, 70312612 edges, 108349 markings/sec, 155 secs
lola: 17942924 markings, 72674282 edges, 109163 markings/sec, 160 secs
lola: 18463883 markings, 75000147 edges, 104192 markings/sec, 165 secs
lola: 19042515 markings, 77132818 edges, 115726 markings/sec, 170 secs
lola: 19572117 markings, 79246916 edges, 105920 markings/sec, 175 secs
lola: 20098786 markings, 81428811 edges, 105334 markings/sec, 180 secs
lola: 20618334 markings, 83645759 edges, 103910 markings/sec, 185 secs
lola: 21132258 markings, 85823239 edges, 102785 markings/sec, 190 secs
lola: 21648573 markings, 88072560 edges, 103263 markings/sec, 195 secs
lola: 22179935 markings, 90379545 edges, 106272 markings/sec, 200 secs
lola: 22699976 markings, 92700150 edges, 104008 markings/sec, 205 secs
lola: 23267626 markings, 94975252 edges, 113530 markings/sec, 210 secs
lola: 23813282 markings, 97202100 edges, 109131 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(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 601790 markings, 2064218 edges, 120358 markings/sec, 0 secs
lola: 1169405 markings, 4173673 edges, 113523 markings/sec, 5 secs
lola: 1727284 markings, 6299341 edges, 111576 markings/sec, 10 secs
lola: 2309632 markings, 8561269 edges, 116470 markings/sec, 15 secs
lola: 2880446 markings, 10708722 edges, 114163 markings/sec, 20 secs
lola: 3450383 markings, 12990269 edges, 113987 markings/sec, 25 secs
lola: 4016097 markings, 15297748 edges, 113143 markings/sec, 30 secs
lola: 4596267 markings, 17514599 edges, 116034 markings/sec, 35 secs
lola: 5143705 markings, 19683941 edges, 109488 markings/sec, 40 secs
lola: 5672863 markings, 21956571 edges, 105832 markings/sec, 45 secs
lola: 6195224 markings, 23947206 edges, 104472 markings/sec, 50 secs
lola: 6712032 markings, 26101914 edges, 103362 markings/sec, 55 secs
lola: 7246618 markings, 28341221 edges, 106917 markings/sec, 60 secs
lola: 7791922 markings, 30406084 edges, 109061 markings/sec, 65 secs
lola: 8329673 markings, 32561263 edges, 107550 markings/sec, 70 secs
lola: 8824780 markings, 34646678 edges, 99021 markings/sec, 75 secs
lola: 9301057 markings, 36642388 edges, 95255 markings/sec, 80 secs
lola: 9815485 markings, 38744396 edges, 102886 markings/sec, 85 secs
lola: 10311477 markings, 40793540 edges, 99198 markings/sec, 90 secs
lola: 10796907 markings, 42837731 edges, 97086 markings/sec, 95 secs
lola: 11300750 markings, 44943420 edges, 100769 markings/sec, 100 secs
lola: 11832602 markings, 47253443 edges, 106370 markings/sec, 105 secs
lola: 12369988 markings, 49231889 edges, 107477 markings/sec, 110 secs
lola: 12860071 markings, 51167633 edges, 98017 markings/sec, 115 secs
lola: 13337932 markings, 53201130 edges, 95572 markings/sec, 120 secs
lola: 13811823 markings, 55201512 edges, 94778 markings/sec, 125 secs
lola: 14281336 markings, 57115154 edges, 93903 markings/sec, 130 secs
lola: 14766910 markings, 59303323 edges, 97115 markings/sec, 135 secs
lola: 15302866 markings, 61509050 edges, 107191 markings/sec, 140 secs
lola: 15840696 markings, 63700149 edges, 107566 markings/sec, 145 secs
lola: 16359797 markings, 65883292 edges, 103820 markings/sec, 150 secs
lola: 16863372 markings, 68000962 edges, 100715 markings/sec, 155 secs
lola: 17331923 markings, 70011508 edges, 93710 markings/sec, 160 secs
lola: 17831824 markings, 72114151 edges, 99980 markings/sec, 165 secs
lola: 18328145 markings, 74354707 edges, 99264 markings/sec, 170 secs
lola: 18874206 markings, 76400894 edges, 109212 markings/sec, 175 secs
lola: 19413374 markings, 78574742 edges, 107834 markings/sec, 180 secs
lola: 19926435 markings, 80719571 edges, 102612 markings/sec, 185 secs
lola: 20442696 markings, 82826413 edges, 103252 markings/sec, 190 secs
lola: 20957164 markings, 85079974 edges, 102894 markings/sec, 195 secs
lola: 21475972 markings, 87350669 edges, 103762 markings/sec, 200 secs
lola: 21994830 markings, 89572312 edges, 103772 markings/sec, 205 secs
lola: 22514847 markings, 91858115 edges, 104003 markings/sec, 210 secs
lola: 23061806 markings, 94200735 edges, 109392 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(p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 148011 markings, 354832 edges, 29602 markings/sec, 0 secs
lola: 290137 markings, 712123 edges, 28425 markings/sec, 5 secs
lola: 428967 markings, 1033409 edges, 27766 markings/sec, 10 secs
lola: 573158 markings, 1368844 edges, 28838 markings/sec, 15 secs
lola: 718789 markings, 1758590 edges, 29126 markings/sec, 20 secs
lola: 860554 markings, 2120833 edges, 28353 markings/sec, 25 secs
lola: 998955 markings, 2468915 edges, 27680 markings/sec, 30 secs
lola: 1140186 markings, 2829027 edges, 28246 markings/sec, 35 secs
lola: 1285709 markings, 3183980 edges, 29105 markings/sec, 40 secs
lola: 1428917 markings, 3591265 edges, 28642 markings/sec, 45 secs
lola: 1576920 markings, 4027681 edges, 29601 markings/sec, 50 secs
lola: 1723237 markings, 4490236 edges, 29263 markings/sec, 55 secs
lola: 1869717 markings, 5021482 edges, 29296 markings/sec, 60 secs
lola: 2024652 markings, 5535401 edges, 30987 markings/sec, 65 secs
lola: 2203802 markings, 5907662 edges, 35830 markings/sec, 70 secs
lola: 2348796 markings, 6253801 edges, 28999 markings/sec, 75 secs
lola: 2492667 markings, 6619074 edges, 28774 markings/sec, 80 secs
lola: 2638215 markings, 6994577 edges, 29110 markings/sec, 85 secs
lola: 2797453 markings, 7459704 edges, 31848 markings/sec, 90 secs
lola: 2947993 markings, 7830668 edges, 30108 markings/sec, 95 secs
lola: 3088944 markings, 8181777 edges, 28190 markings/sec, 100 secs
lola: 3236022 markings, 8554677 edges, 29416 markings/sec, 105 secs
lola: 3392319 markings, 9024065 edges, 31259 markings/sec, 110 secs
lola: 3545506 markings, 9399273 edges, 30637 markings/sec, 115 secs
lola: 3710366 markings, 9806597 edges, 32972 markings/sec, 120 secs
lola: 3847990 markings, 10159427 edges, 27525 markings/sec, 125 secs
lola: 3990806 markings, 10574360 edges, 28563 markings/sec, 130 secs
lola: 4146172 markings, 10969054 edges, 31073 markings/sec, 135 secs
lola: 4295707 markings, 11369411 edges, 29907 markings/sec, 140 secs
lola: 4443065 markings, 11735942 edges, 29472 markings/sec, 145 secs
lola: 4579803 markings, 12090150 edges, 27348 markings/sec, 150 secs
lola: 4729914 markings, 12538041 edges, 30022 markings/sec, 155 secs
lola: 4879793 markings, 12915492 edges, 29976 markings/sec, 160 secs
lola: 5036433 markings, 13314178 edges, 31328 markings/sec, 165 secs
lola: 5188114 markings, 13713333 edges, 30336 markings/sec, 170 secs
lola: 5323961 markings, 14126772 edges, 27169 markings/sec, 175 secs
lola: 5456161 markings, 14508097 edges, 26440 markings/sec, 180 secs
lola: 5598541 markings, 15002274 edges, 28476 markings/sec, 185 secs
lola: 5733772 markings, 15612127 edges, 27046 markings/sec, 190 secs
lola: 5870942 markings, 16238110 edges, 27434 markings/sec, 195 secs
lola: 6001048 markings, 16864649 edges, 26021 markings/sec, 200 secs
lola: 6130268 markings, 17445635 edges, 25844 markings/sec, 205 secs
lola: 6261362 markings, 18012701 edges, 26219 markings/sec, 210 secs
lola: 6393480 markings, 18549504 edges, 26424 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(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 189738 markings, 588047 edges, 37948 markings/sec, 0 secs
lola: 397805 markings, 1154080 edges, 41613 markings/sec, 5 secs
lola: 598640 markings, 1730683 edges, 40167 markings/sec, 10 secs
lola: 787581 markings, 2421305 edges, 37788 markings/sec, 15 secs
lola: 954963 markings, 3459277 edges, 33476 markings/sec, 20 secs
lola: 1129612 markings, 4372745 edges, 34930 markings/sec, 25 secs
lola: 1303647 markings, 5231821 edges, 34807 markings/sec, 30 secs
lola: 1471474 markings, 6107855 edges, 33565 markings/sec, 35 secs
lola: 1644991 markings, 6894062 edges, 34703 markings/sec, 40 secs
lola: 1824808 markings, 7612241 edges, 35963 markings/sec, 45 secs
lola: 1994007 markings, 8514876 edges, 33840 markings/sec, 50 secs
lola: 2163291 markings, 9367766 edges, 33857 markings/sec, 55 secs
lola: 2340615 markings, 10095325 edges, 35465 markings/sec, 60 secs
lola: 2538191 markings, 10696021 edges, 39515 markings/sec, 65 secs
lola: 2730592 markings, 11335193 edges, 38480 markings/sec, 70 secs
lola: 2898011 markings, 12347650 edges, 33484 markings/sec, 75 secs
lola: 3063893 markings, 13302851 edges, 33176 markings/sec, 80 secs
lola: 3233287 markings, 14123434 edges, 33879 markings/sec, 85 secs
lola: 3408955 markings, 14925549 edges, 35134 markings/sec, 90 secs
lola: 3572915 markings, 15890069 edges, 32792 markings/sec, 95 secs
lola: 3745389 markings, 16675631 edges, 34495 markings/sec, 100 secs
lola: 3907677 markings, 17634113 edges, 32458 markings/sec, 105 secs
lola: 4076497 markings, 18495659 edges, 33764 markings/sec, 110 secs
lola: 4242985 markings, 19275396 edges, 33298 markings/sec, 115 secs
lola: 4403300 markings, 20197642 edges, 32063 markings/sec, 120 secs
lola: 4567389 markings, 21070319 edges, 32818 markings/sec, 125 secs
lola: 4744358 markings, 21787778 edges, 35394 markings/sec, 130 secs
lola: 4941675 markings, 22370078 edges, 39463 markings/sec, 135 secs
lola: 5121932 markings, 23168241 edges, 36051 markings/sec, 140 secs
lola: 5285536 markings, 24161026 edges, 32721 markings/sec, 145 secs
lola: 5454781 markings, 24967624 edges, 33849 markings/sec, 150 secs
lola: 5616470 markings, 25923334 edges, 32338 markings/sec, 155 secs
lola: 5785234 markings, 26800852 edges, 33753 markings/sec, 160 secs
lola: 5966512 markings, 27816001 edges, 36256 markings/sec, 165 secs
lola: 6140909 markings, 29013241 edges, 34879 markings/sec, 170 secs
lola: 6313329 markings, 30134658 edges, 34484 markings/sec, 175 secs
lola: 6481886 markings, 31209627 edges, 33711 markings/sec, 180 secs
lola: 6655920 markings, 32281877 edges, 34807 markings/sec, 185 secs
lola: 6821658 markings, 33156829 edges, 33148 markings/sec, 190 secs
lola: 6998069 markings, 33976056 edges, 35282 markings/sec, 195 secs
lola: 7166326 markings, 35063809 edges, 33651 markings/sec, 200 secs
lola: 7335189 markings, 36126267 edges, 33773 markings/sec, 205 secs
lola: 7502172 markings, 37067326 edges, 33397 markings/sec, 210 secs
lola: 7674508 markings, 37948217 edges, 34467 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(p76 + p75 + p74 + p73 + p72 + p71 + p70 + p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 238629 markings, 386381 edges, 47726 markings/sec, 0 secs
lola: 479423 markings, 790098 edges, 48159 markings/sec, 5 secs
lola: 720904 markings, 1181999 edges, 48296 markings/sec, 10 secs
lola: 961320 markings, 1575964 edges, 48083 markings/sec, 15 secs
lola: 1199153 markings, 1980559 edges, 47567 markings/sec, 20 secs
lola: 1436777 markings, 2384284 edges, 47525 markings/sec, 25 secs
lola: 1674082 markings, 2785602 edges, 47461 markings/sec, 30 secs
lola: 1911053 markings, 3186740 edges, 47394 markings/sec, 35 secs
lola: 2146810 markings, 3582013 edges, 47151 markings/sec, 40 secs
lola: 2383720 markings, 3975487 edges, 47382 markings/sec, 45 secs
lola: 2619212 markings, 4377038 edges, 47098 markings/sec, 50 secs
lola: 2854701 markings, 4779127 edges, 47098 markings/sec, 55 secs
lola: 3088394 markings, 5178614 edges, 46739 markings/sec, 60 secs
lola: 3325474 markings, 5575152 edges, 47416 markings/sec, 65 secs
lola: 3562137 markings, 5965212 edges, 47333 markings/sec, 70 secs
lola: 3796883 markings, 6357729 edges, 46949 markings/sec, 75 secs
lola: 4033252 markings, 6832947 edges, 47274 markings/sec, 80 secs
lola: 4267792 markings, 7344912 edges, 46908 markings/sec, 85 secs
lola: 4501402 markings, 7861729 edges, 46722 markings/sec, 90 secs
lola: 4735679 markings, 8369834 edges, 46855 markings/sec, 95 secs
lola: 4968427 markings, 8889564 edges, 46550 markings/sec, 100 secs
lola: 5201827 markings, 9400308 edges, 46680 markings/sec, 105 secs
lola: 5434316 markings, 9908978 edges, 46498 markings/sec, 110 secs
lola: 5664032 markings, 10418806 edges, 45943 markings/sec, 115 secs
lola: 5895392 markings, 10929498 edges, 46272 markings/sec, 120 secs
lola: 6127347 markings, 11434533 edges, 46391 markings/sec, 125 secs
lola: 6355722 markings, 11943169 edges, 45675 markings/sec, 130 secs
lola: 6585387 markings, 12450693 edges, 45933 markings/sec, 135 secs
lola: 6815852 markings, 12963802 edges, 46093 markings/sec, 140 secs
lola: 7044512 markings, 13468941 edges, 45732 markings/sec, 145 secs
lola: 7274075 markings, 13975285 edges, 45913 markings/sec, 150 secs
lola: 7503184 markings, 14480440 edges, 45822 markings/sec, 155 secs
lola: 7732080 markings, 14983870 edges, 45779 markings/sec, 160 secs
lola: 7964006 markings, 15490180 edges, 46385 markings/sec, 165 secs
lola: 8193400 markings, 15998631 edges, 45879 markings/sec, 170 secs
lola: 8422222 markings, 16501756 edges, 45764 markings/sec, 175 secs
lola: 8653785 markings, 17010425 edges, 46313 markings/sec, 180 secs
lola: 8888684 markings, 17526066 edges, 46980 markings/sec, 185 secs
lola: 9120734 markings, 18040329 edges, 46410 markings/sec, 190 secs
lola: 9354031 markings, 18547843 edges, 46659 markings/sec, 195 secs
lola: 9587270 markings, 19048098 edges, 46648 markings/sec, 200 secs
lola: 9819514 markings, 19559839 edges, 46449 markings/sec, 205 secs
lola: 10048724 markings, 20072164 edges, 45842 markings/sec, 210 secs
lola: 10276939 markings, 20579471 edges, 45643 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(p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 182417 markings, 686896 edges, 36483 markings/sec, 0 secs
lola: 360620 markings, 1523288 edges, 35641 markings/sec, 5 secs
lola: 539383 markings, 2369614 edges, 35753 markings/sec, 10 secs
lola: 717453 markings, 3177891 edges, 35614 markings/sec, 15 secs
lola: 899794 markings, 3953037 edges, 36468 markings/sec, 20 secs
lola: 1082327 markings, 4717958 edges, 36507 markings/sec, 25 secs
lola: 1263342 markings, 5497519 edges, 36203 markings/sec, 30 secs
lola: 1444933 markings, 6264513 edges, 36318 markings/sec, 35 secs
lola: 1628737 markings, 7000754 edges, 36761 markings/sec, 40 secs
lola: 1807925 markings, 7776017 edges, 35838 markings/sec, 45 secs
lola: 1991760 markings, 8525718 edges, 36767 markings/sec, 50 secs
lola: 2175548 markings, 9295950 edges, 36758 markings/sec, 55 secs
lola: 2357512 markings, 10079087 edges, 36393 markings/sec, 60 secs
lola: 2525239 markings, 10979847 edges, 33545 markings/sec, 65 secs
lola: 2697103 markings, 11811560 edges, 34373 markings/sec, 70 secs
lola: 2869007 markings, 12640147 edges, 34381 markings/sec, 75 secs
lola: 3042918 markings, 13489763 edges, 34782 markings/sec, 80 secs
lola: 3211712 markings, 14420293 edges, 33759 markings/sec, 85 secs
lola: 3377429 markings, 15426615 edges, 33143 markings/sec, 90 secs
lola: 3533984 markings, 16546475 edges, 31311 markings/sec, 95 secs
lola: 3679704 markings, 17855962 edges, 29144 markings/sec, 100 secs
lola: 3834784 markings, 19019908 edges, 31016 markings/sec, 105 secs
lola: 3985642 markings, 20244674 edges, 30172 markings/sec, 110 secs
lola: 4156601 markings, 21109487 edges, 34192 markings/sec, 115 secs
lola: 4320166 markings, 22067422 edges, 32713 markings/sec, 120 secs
lola: 4476061 markings, 23169198 edges, 31179 markings/sec, 125 secs
lola: 4620323 markings, 24436881 edges, 28852 markings/sec, 130 secs
lola: 4787558 markings, 25367170 edges, 33447 markings/sec, 135 secs
lola: 4942747 markings, 26427431 edges, 31038 markings/sec, 140 secs
lola: 5100158 markings, 27461005 edges, 31482 markings/sec, 145 secs
lola: 5252408 markings, 28468131 edges, 30450 markings/sec, 150 secs
lola: 5406788 markings, 29476314 edges, 30876 markings/sec, 155 secs
lola: 5561710 markings, 30411225 edges, 30984 markings/sec, 160 secs
lola: 5715432 markings, 31522274 edges, 30744 markings/sec, 165 secs
lola: 5873486 markings, 32566803 edges, 31611 markings/sec, 170 secs
lola: 6043753 markings, 33454924 edges, 34053 markings/sec, 175 secs
lola: 6215747 markings, 34255286 edges, 34399 markings/sec, 180 secs
lola: 6379534 markings, 35184718 edges, 32757 markings/sec, 185 secs
lola: 6548532 markings, 36066449 edges, 33800 markings/sec, 190 secs
lola: 6710523 markings, 37058097 edges, 32398 markings/sec, 195 secs
lola: 6857612 markings, 38310814 edges, 29418 markings/sec, 200 secs
lola: 7017505 markings, 39303011 edges, 31979 markings/sec, 205 secs
lola: 7167449 markings, 40431837 edges, 29989 markings/sec, 210 secs
lola: 7324040 markings, 41479352 edges, 31318 markings/sec, 215 secs
lola: 7480993 markings, 42535495 edges, 31391 markings/sec, 220 secs
lola: 7653220 markings, 43402086 edges, 34445 markings/sec, 225 secs
lola: 7823901 markings, 44323031 edges, 34136 markings/sec, 230 secs
lola: 7987036 markings, 45394814 edges, 32627 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p88 + p87 + p89 + p90 + p91 + p92 + p93 + p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 618393 markings, 2095888 edges, 123679 markings/sec, 0 secs
lola: 1222006 markings, 4401341 edges, 120723 markings/sec, 5 secs
lola: 1810732 markings, 6603728 edges, 117745 markings/sec, 10 secs
lola: 2388257 markings, 8907160 edges, 115505 markings/sec, 15 secs
lola: 2962827 markings, 11034558 edges, 114914 markings/sec, 20 secs
lola: 3537612 markings, 13313773 edges, 114957 markings/sec, 25 secs
lola: 4105525 markings, 15639583 edges, 113583 markings/sec, 30 secs
lola: 4677151 markings, 17825931 edges, 114325 markings/sec, 35 secs
lola: 5222491 markings, 20012860 edges, 109068 markings/sec, 40 secs
lola: 5770979 markings, 22300208 edges, 109698 markings/sec, 45 secs
lola: 6345348 markings, 24569358 edges, 114874 markings/sec, 50 secs
lola: 6889683 markings, 26837481 edges, 108867 markings/sec, 55 secs
lola: 7436465 markings, 29235699 edges, 109356 markings/sec, 60 secs
lola: 8007205 markings, 31252256 edges, 114148 markings/sec, 65 secs
lola: 8541420 markings, 33460230 edges, 106843 markings/sec, 70 secs
lola: 9078784 markings, 35730650 edges, 107473 markings/sec, 75 secs
lola: 9629523 markings, 38004457 edges, 110148 markings/sec, 80 secs
lola: 10191551 markings, 40254972 edges, 112406 markings/sec, 85 secs
lola: 10734004 markings, 42545389 edges, 108491 markings/sec, 90 secs
lola: 11277700 markings, 44853733 edges, 108739 markings/sec, 95 secs
lola: 11825150 markings, 47198753 edges, 109490 markings/sec, 100 secs
lola: 12397521 markings, 49354154 edges, 114474 markings/sec, 105 secs
lola: 12931459 markings, 51491511 edges, 106788 markings/sec, 110 secs
lola: 13455077 markings, 53722928 edges, 104724 markings/sec, 115 secs
lola: 13980082 markings, 55889907 edges, 105001 markings/sec, 120 secs
lola: 14510716 markings, 58190210 edges, 106127 markings/sec, 125 secs
lola: 15045656 markings, 60395019 edges, 106988 markings/sec, 130 secs
lola: 15609286 markings, 62733368 edges, 112726 markings/sec, 135 secs
lola: 16157683 markings, 65031866 edges, 109679 markings/sec, 140 secs
lola: 16695177 markings, 67310341 edges, 107499 markings/sec, 145 secs
lola: 17234470 markings, 69569170 edges, 107859 markings/sec, 150 secs
lola: 17758509 markings, 71962485 edges, 104808 markings/sec, 155 secs
lola: 18299401 markings, 74179903 edges, 108178 markings/sec, 160 secs
lola: 18847264 markings, 76348189 edges, 109573 markings/sec, 165 secs
lola: 19403558 markings, 78546322 edges, 111259 markings/sec, 170 secs
lola: 19924374 markings, 80715259 edges, 104163 markings/sec, 175 secs
lola: 20445597 markings, 82832463 edges, 104245 markings/sec, 180 secs
lola: 20960752 markings, 85106146 edges, 103031 markings/sec, 185 secs
lola: 21482910 markings, 87400954 edges, 104432 markings/sec, 190 secs
lola: 22007730 markings, 89638700 edges, 104964 markings/sec, 195 secs
lola: 22527963 markings, 91954850 edges, 104047 markings/sec, 200 secs
lola: 23078628 markings, 94237012 edges, 110133 markings/sec, 205 secs
lola: 23632399 markings, 96453782 edges, 110754 markings/sec, 210 secs
lola: 24169176 markings, 98738529 edges, 107355 markings/sec, 215 secs
lola: 24701370 markings, 100959786 edges, 106439 markings/sec, 220 secs
lola: 25235314 markings, 103261418 edges, 106789 markings/sec, 225 secs
lola: 25749293 markings, 105477930 edges, 102796 markings/sec, 230 secs
lola: 26285848 markings, 107796310 edges, 107311 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 267639 markings, 567691 edges, 53528 markings/sec, 0 secs
lola: 537489 markings, 1140659 edges, 53970 markings/sec, 5 secs
lola: 797517 markings, 1694611 edges, 52006 markings/sec, 10 secs
lola: 1068201 markings, 2240938 edges, 54137 markings/sec, 15 secs
lola: 1331223 markings, 2829371 edges, 52604 markings/sec, 20 secs
lola: 1598075 markings, 3353388 edges, 53370 markings/sec, 25 secs
lola: 1861413 markings, 3939450 edges, 52668 markings/sec, 30 secs
lola: 2120778 markings, 4468008 edges, 51873 markings/sec, 35 secs
lola: 2388243 markings, 5035305 edges, 53493 markings/sec, 40 secs
lola: 2653930 markings, 5603329 edges, 53137 markings/sec, 45 secs
lola: 2922519 markings, 6139842 edges, 53718 markings/sec, 50 secs
lola: 3185883 markings, 6734397 edges, 52673 markings/sec, 55 secs
lola: 3463619 markings, 7280075 edges, 55547 markings/sec, 60 secs
lola: 3739451 markings, 7821576 edges, 55166 markings/sec, 65 secs
lola: 4014028 markings, 8360995 edges, 54915 markings/sec, 70 secs
lola: 4287987 markings, 8898705 edges, 54792 markings/sec, 75 secs
lola: 4563939 markings, 9440350 edges, 55190 markings/sec, 80 secs
lola: 4842388 markings, 9988526 edges, 55690 markings/sec, 85 secs
lola: 5119221 markings, 10534363 edges, 55367 markings/sec, 90 secs
lola: 5392452 markings, 11071525 edges, 54646 markings/sec, 95 secs
lola: 5665166 markings, 11609987 edges, 54543 markings/sec, 100 secs
lola: 5937207 markings, 12144160 edges, 54408 markings/sec, 105 secs
lola: 6209416 markings, 12680559 edges, 54442 markings/sec, 110 secs
lola: 6480235 markings, 13214300 edges, 54164 markings/sec, 115 secs
lola: 6750126 markings, 13744563 edges, 53978 markings/sec, 120 secs
lola: 7018749 markings, 14275841 edges, 53725 markings/sec, 125 secs
lola: 7282389 markings, 14945071 edges, 52728 markings/sec, 130 secs
lola: 7539857 markings, 15599083 edges, 51494 markings/sec, 135 secs
lola: 7795484 markings, 16243924 edges, 51125 markings/sec, 140 secs
lola: 8067858 markings, 16778346 edges, 54475 markings/sec, 145 secs
lola: 8336634 markings, 17308504 edges, 53755 markings/sec, 150 secs
lola: 8598204 markings, 17921730 edges, 52314 markings/sec, 155 secs
lola: 8855839 markings, 18534320 edges, 51527 markings/sec, 160 secs
lola: 9114374 markings, 19185899 edges, 51707 markings/sec, 165 secs
lola: 9374614 markings, 19783478 edges, 52048 markings/sec, 170 secs
lola: 9640701 markings, 20305713 edges, 53217 markings/sec, 175 secs
lola: 9903511 markings, 20824547 edges, 52562 markings/sec, 180 secs
lola: 10174048 markings, 21373667 edges, 54107 markings/sec, 185 secs
lola: 10444412 markings, 21950133 edges, 54073 markings/sec, 190 secs
lola: 10709891 markings, 22515765 edges, 53096 markings/sec, 195 secs
lola: 10981672 markings, 23071848 edges, 54356 markings/sec, 200 secs
lola: 11250162 markings, 23651987 edges, 53698 markings/sec, 205 secs
lola: 11519252 markings, 24215840 edges, 53818 markings/sec, 210 secs
lola: 11781966 markings, 24762054 edges, 52543 markings/sec, 215 secs
lola: 12041973 markings, 25330390 edges, 52001 markings/sec, 220 secs
lola: 12311924 markings, 25862881 edges, 53990 markings/sec, 225 secs
lola: 12573410 markings, 26445522 edges, 52297 markings/sec, 230 secs
lola: 12841469 markings, 26987079 edges, 53612 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 252666 markings, 1035366 edges, 50533 markings/sec, 0 secs
lola: 517083 markings, 2358504 edges, 52883 markings/sec, 5 secs
lola: 777082 markings, 3622406 edges, 52000 markings/sec, 10 secs
lola: 1037154 markings, 4928337 edges, 52014 markings/sec, 15 secs
lola: 1286275 markings, 6176976 edges, 49824 markings/sec, 20 secs
lola: 1546830 markings, 7437337 edges, 52111 markings/sec, 25 secs
lola: 1800541 markings, 8643157 edges, 50742 markings/sec, 30 secs
lola: 2047368 markings, 9844855 edges, 49365 markings/sec, 35 secs
lola: 2310881 markings, 11323939 edges, 52703 markings/sec, 40 secs
lola: 2566521 markings, 12733389 edges, 51128 markings/sec, 45 secs
lola: 2806205 markings, 14025460 edges, 47937 markings/sec, 50 secs
lola: 3058769 markings, 15471826 edges, 50513 markings/sec, 55 secs
lola: 3310555 markings, 16941001 edges, 50357 markings/sec, 60 secs
lola: 3561319 markings, 18560844 edges, 50153 markings/sec, 65 secs
lola: 3822020 markings, 20033949 edges, 52140 markings/sec, 70 secs
lola: 4080147 markings, 21338593 edges, 51625 markings/sec, 75 secs
lola: 4343990 markings, 22752378 edges, 52769 markings/sec, 80 secs
lola: 4601582 markings, 24349082 edges, 51518 markings/sec, 85 secs
lola: 4863729 markings, 25662333 edges, 52429 markings/sec, 90 secs
lola: 5116313 markings, 26936485 edges, 50517 markings/sec, 95 secs
lola: 5374199 markings, 28385047 edges, 51577 markings/sec, 100 secs
lola: 5629180 markings, 29922620 edges, 50996 markings/sec, 105 secs
lola: 5889605 markings, 31357464 edges, 52085 markings/sec, 110 secs
lola: 6139126 markings, 32595993 edges, 49904 markings/sec, 115 secs
lola: 6389159 markings, 34031339 edges, 50007 markings/sec, 120 secs
lola: 6641800 markings, 35487138 edges, 50528 markings/sec, 125 secs
lola: 6893242 markings, 36888433 edges, 50288 markings/sec, 130 secs
lola: 7134454 markings, 38092173 edges, 48242 markings/sec, 135 secs
lola: 7373512 markings, 39508680 edges, 47812 markings/sec, 140 secs
lola: 7616180 markings, 40838599 edges, 48534 markings/sec, 145 secs
lola: 7857181 markings, 42218242 edges, 48200 markings/sec, 150 secs
lola: 8107359 markings, 43546985 edges, 50036 markings/sec, 155 secs
lola: 8361950 markings, 44813452 edges, 50918 markings/sec, 160 secs
lola: 8616581 markings, 46208058 edges, 50926 markings/sec, 165 secs
lola: 8873072 markings, 47668147 edges, 51298 markings/sec, 170 secs
lola: 9130324 markings, 49089994 edges, 51450 markings/sec, 175 secs
lola: 9386313 markings, 50458877 edges, 51198 markings/sec, 180 secs
lola: 9634625 markings, 51694175 edges, 49662 markings/sec, 185 secs
lola: 9876714 markings, 52894462 edges, 48418 markings/sec, 190 secs
lola: 10115386 markings, 54246330 edges, 47734 markings/sec, 195 secs
lola: 10358311 markings, 55605235 edges, 48585 markings/sec, 200 secs
lola: 10600681 markings, 56925955 edges, 48474 markings/sec, 205 secs
lola: 10839891 markings, 58216037 edges, 47842 markings/sec, 210 secs
lola: 11082002 markings, 59491491 edges, 48422 markings/sec, 215 secs
lola: 11337214 markings, 60805333 edges, 51042 markings/sec, 220 secs
lola: 11594592 markings, 62268871 edges, 51476 markings/sec, 225 secs
lola: 11847362 markings, 63645773 edges, 50554 markings/sec, 230 secs
lola: 12083315 markings, 65095884 edges, 47191 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 261977 markings, 557191 edges, 52395 markings/sec, 0 secs
lola: 518698 markings, 1104480 edges, 51344 markings/sec, 5 secs
lola: 780135 markings, 1661096 edges, 52287 markings/sec, 10 secs
lola: 1052187 markings, 2194857 edges, 54410 markings/sec, 15 secs
lola: 1317214 markings, 2801541 edges, 53005 markings/sec, 20 secs
lola: 1578579 markings, 3315502 edges, 52273 markings/sec, 25 secs
lola: 1849060 markings, 3908118 edges, 54096 markings/sec, 30 secs
lola: 2120228 markings, 4466902 edges, 54234 markings/sec, 35 secs
lola: 2387722 markings, 5034330 edges, 53499 markings/sec, 40 secs
lola: 2653469 markings, 5602401 edges, 53149 markings/sec, 45 secs
lola: 2922100 markings, 6138647 edges, 53726 markings/sec, 50 secs
lola: 3185111 markings, 6732871 edges, 52602 markings/sec, 55 secs
lola: 3439165 markings, 7232324 edges, 50811 markings/sec, 60 secs
lola: 3706835 markings, 7757648 edges, 53534 markings/sec, 65 secs
lola: 3930013 markings, 8195944 edges, 44636 markings/sec, 70 secs
lola: 4164093 markings, 8655907 edges, 46816 markings/sec, 75 secs
lola: 4380790 markings, 9081754 edges, 43339 markings/sec, 80 secs
lola: 4627582 markings, 9565494 edges, 49358 markings/sec, 85 secs
lola: 4897017 markings, 10096502 edges, 53887 markings/sec, 90 secs
lola: 5172889 markings, 10640090 edges, 55174 markings/sec, 95 secs
lola: 5445576 markings, 11175980 edges, 54537 markings/sec, 100 secs
lola: 5717291 markings, 11713529 edges, 54343 markings/sec, 105 secs
lola: 5983657 markings, 12236120 edges, 53273 markings/sec, 110 secs
lola: 6255966 markings, 12772861 edges, 54462 markings/sec, 115 secs
lola: 6526792 markings, 13305392 edges, 54165 markings/sec, 120 secs
lola: 6796726 markings, 13836906 edges, 53987 markings/sec, 125 secs
lola: 7064975 markings, 14374089 edges, 53650 markings/sec, 130 secs
lola: 7328727 markings, 15059558 edges, 52750 markings/sec, 135 secs
lola: 7584932 markings, 15710318 edges, 51241 markings/sec, 140 secs
lola: 7845015 markings, 16340324 edges, 52017 markings/sec, 145 secs
lola: 8116895 markings, 16874698 edges, 54376 markings/sec, 150 secs
lola: 8386367 markings, 17407127 edges, 53894 markings/sec, 155 secs
lola: 8646988 markings, 18037152 edges, 52124 markings/sec, 160 secs
lola: 8905631 markings, 18653576 edges, 51729 markings/sec, 165 secs
lola: 9164637 markings, 19308526 edges, 51801 markings/sec, 170 secs
lola: 9428036 markings, 19887925 edges, 52680 markings/sec, 175 secs
lola: 9693935 markings, 20410817 edges, 53180 markings/sec, 180 secs
lola: 9957175 markings, 20930944 edges, 52648 markings/sec, 185 secs
lola: 10229681 markings, 21500198 edges, 54501 markings/sec, 190 secs
lola: 10499955 markings, 22076832 edges, 54055 markings/sec, 195 secs
lola: 10764579 markings, 22640236 edges, 52925 markings/sec, 200 secs
lola: 11028068 markings, 23163709 edges, 52698 markings/sec, 205 secs
lola: 11295557 markings, 23751768 edges, 53498 markings/sec, 210 secs
lola: 11560501 markings, 24296379 edges, 52989 markings/sec, 215 secs
lola: 11811360 markings, 24829773 edges, 50172 markings/sec, 220 secs
lola: 12073478 markings, 25392063 edges, 52424 markings/sec, 225 secs
lola: 12341831 markings, 25931031 edges, 53671 markings/sec, 230 secs
lola: 12578637 markings, 26456976 edges, 47361 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85 + p84 + p83 + p82 + p81 + p80 + p79 + p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 12 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 174717 markings, 653902 edges, 34943 markings/sec, 0 secs
lola: 353995 markings, 1481685 edges, 35856 markings/sec, 5 secs
lola: 532606 markings, 2329829 edges, 35722 markings/sec, 10 secs
lola: 710962 markings, 3143198 edges, 35671 markings/sec, 15 secs
lola: 893350 markings, 3919810 edges, 36478 markings/sec, 20 secs
lola: 1075604 markings, 4693171 edges, 36451 markings/sec, 25 secs
lola: 1257183 markings, 5470351 edges, 36316 markings/sec, 30 secs
lola: 1438844 markings, 6242112 edges, 36332 markings/sec, 35 secs
lola: 1623164 markings, 6973780 edges, 36864 markings/sec, 40 secs
lola: 1802120 markings, 7753077 edges, 35791 markings/sec, 45 secs
lola: 1986072 markings, 8502107 edges, 36790 markings/sec, 50 secs
lola: 2169705 markings, 9270309 edges, 36727 markings/sec, 55 secs
lola: 2351619 markings, 10054385 edges, 36383 markings/sec, 60 secs
lola: 2520456 markings, 10952291 edges, 33767 markings/sec, 65 secs
lola: 2692334 markings, 11788700 edges, 34376 markings/sec, 70 secs
lola: 2864617 markings, 12621056 edges, 34457 markings/sec, 75 secs
lola: 3038554 markings, 13468631 edges, 34787 markings/sec, 80 secs
lola: 3207425 markings, 14393948 edges, 33774 markings/sec, 85 secs
lola: 3373496 markings, 15397840 edges, 33214 markings/sec, 90 secs
lola: 3530588 markings, 16518920 edges, 31418 markings/sec, 95 secs
lola: 3676484 markings, 17835686 edges, 29179 markings/sec, 100 secs
lola: 3831645 markings, 18996525 edges, 31032 markings/sec, 105 secs
lola: 3982690 markings, 20225488 edges, 30209 markings/sec, 110 secs
lola: 4153891 markings, 21093361 edges, 34240 markings/sec, 115 secs
lola: 4317095 markings, 22048401 edges, 32641 markings/sec, 120 secs
lola: 4473084 markings, 23149416 edges, 31198 markings/sec, 125 secs
lola: 4617121 markings, 24423342 edges, 28807 markings/sec, 130 secs
lola: 4785033 markings, 25351336 edges, 33582 markings/sec, 135 secs
lola: 4943430 markings, 26432875 edges, 31679 markings/sec, 140 secs
lola: 5102470 markings, 27471478 edges, 31808 markings/sec, 145 secs
lola: 5262056 markings, 28519280 edges, 31917 markings/sec, 150 secs
lola: 5422553 markings, 29563984 edges, 32099 markings/sec, 155 secs
lola: 5581923 markings, 30548059 edges, 31874 markings/sec, 160 secs
lola: 5736265 markings, 31661102 edges, 30868 markings/sec, 165 secs
lola: 5898108 markings, 32728688 edges, 32369 markings/sec, 170 secs
lola: 6068297 markings, 33578568 edges, 34038 markings/sec, 175 secs
lola: 6241633 markings, 34376194 edges, 34667 markings/sec, 180 secs
lola: 6403293 markings, 35312314 edges, 32332 markings/sec, 185 secs
lola: 6571586 markings, 36183441 edges, 33659 markings/sec, 190 secs
lola: 6731093 markings, 37201539 edges, 31901 markings/sec, 195 secs
lola: 6875243 markings, 38482434 edges, 28830 markings/sec, 200 secs
lola: 7035763 markings, 39425986 edges, 32104 markings/sec, 205 secs
lola: 7185172 markings, 40530114 edges, 29882 markings/sec, 210 secs
lola: 7339587 markings, 41575715 edges, 30883 markings/sec, 215 secs
lola: 7496083 markings, 42633885 edges, 31299 markings/sec, 220 secs
lola: 7668524 markings, 43475446 edges, 34488 markings/sec, 225 secs
lola: 7837360 markings, 44416516 edges, 33767 markings/sec, 230 secs
lola: 8000672 markings, 45471634 edges, 32662 markings/sec, 235 secs
lola: 8163019 markings, 46536197 edges, 32469 markings/sec, 240 secs
lola: 8330709 markings, 47492350 edges, 33538 markings/sec, 245 secs
lola: 8496934 markings, 48429095 edges, 33245 markings/sec, 250 secs
lola: 8658201 markings, 49470369 edges, 32253 markings/sec, 255 secs
lola: 8828202 markings, 50309956 edges, 34000 markings/sec, 260 secs
lola: 8998942 markings, 51106969 edges, 34148 markings/sec, 265 secs
lola: 9170758 markings, 51907447 edges, 34363 markings/sec, 270 secs
lola: 9342191 markings, 52702346 edges, 34287 markings/sec, 275 secs
lola: 9517781 markings, 53483887 edges, 35118 markings/sec, 280 secs
lola: 9697411 markings, 54254105 edges, 35926 markings/sec, 285 secs
lola: 9861974 markings, 55163939 edges, 32913 markings/sec, 290 secs
lola: 10032519 markings, 55998177 edges, 34109 markings/sec, 295 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 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 275635 markings, 583196 edges, 55127 markings/sec, 0 secs
lola: 551396 markings, 1167884 edges, 55152 markings/sec, 5 secs
lola: 822545 markings, 1743577 edges, 54230 markings/sec, 10 secs
lola: 1100873 markings, 2331352 edges, 55666 markings/sec, 15 secs
lola: 1376472 markings, 2919266 edges, 55120 markings/sec, 20 secs
lola: 1651974 markings, 3460012 edges, 55100 markings/sec, 25 secs
lola: 1922028 markings, 4076685 edges, 54011 markings/sec, 30 secs
lola: 2194508 markings, 4612717 edges, 54496 markings/sec, 35 secs
lola: 2460831 markings, 5192426 edges, 53265 markings/sec, 40 secs
lola: 2727657 markings, 5747276 edges, 53365 markings/sec, 45 secs
lola: 2993413 markings, 6311152 edges, 53151 markings/sec, 50 secs
lola: 3256918 markings, 6875502 edges, 52701 markings/sec, 55 secs
lola: 3537712 markings, 7426743 edges, 56159 markings/sec, 60 secs
lola: 3810415 markings, 7961895 edges, 54541 markings/sec, 65 secs
lola: 4085276 markings, 8501376 edges, 54972 markings/sec, 70 secs
lola: 4358259 markings, 9037084 edges, 54597 markings/sec, 75 secs
lola: 4635319 markings, 9580820 edges, 55412 markings/sec, 80 secs
lola: 4913088 markings, 10128359 edges, 55554 markings/sec, 85 secs
lola: 5188843 markings, 10670898 edges, 55151 markings/sec, 90 secs
lola: 5461436 markings, 11207413 edges, 54519 markings/sec, 95 secs
lola: 5732955 markings, 11744252 edges, 54304 markings/sec, 100 secs
lola: 6003924 markings, 12275576 edges, 54194 markings/sec, 105 secs
lola: 6275869 markings, 12811836 edges, 54389 markings/sec, 110 secs
lola: 6546510 markings, 13344284 edges, 54128 markings/sec, 115 secs
lola: 6814804 markings, 13872703 edges, 53659 markings/sec, 120 secs
lola: 7082077 markings, 14424233 edges, 53455 markings/sec, 125 secs
lola: 7346992 markings, 15104566 edges, 52983 markings/sec, 130 secs
lola: 7603726 markings, 15756435 edges, 51347 markings/sec, 135 secs
lola: 7866037 markings, 16381621 edges, 52462 markings/sec, 140 secs
lola: 8138053 markings, 16916562 edges, 54403 markings/sec, 145 secs
lola: 8407466 markings, 17448988 edges, 53883 markings/sec, 150 secs
lola: 8667544 markings, 18089146 edges, 52016 markings/sec, 155 secs
lola: 8925954 markings, 18713298 edges, 51682 markings/sec, 160 secs
lola: 9186275 markings, 19359163 edges, 52064 markings/sec, 165 secs
lola: 9450048 markings, 19931408 edges, 52755 markings/sec, 170 secs
lola: 9715322 markings, 20453102 edges, 53055 markings/sec, 175 secs
lola: 9977721 markings, 20971809 edges, 52480 markings/sec, 180 secs
lola: 10250481 markings, 21547631 edges, 54552 markings/sec, 185 secs
lola: 10520130 markings, 22122262 edges, 53930 markings/sec, 190 secs
lola: 10784377 markings, 22684756 edges, 52849 markings/sec, 195 secs
lola: 11059932 markings, 23226888 edges, 55111 markings/sec, 200 secs
lola: 11327618 markings, 23822310 edges, 53537 markings/sec, 205 secs
lola: 11597668 markings, 24369178 edges, 54010 markings/sec, 210 secs
lola: 11858813 markings, 24932577 edges, 52229 markings/sec, 215 secs
lola: 12123256 markings, 25489425 edges, 52889 markings/sec, 220 secs
lola: 12389555 markings, 26039297 edges, 53260 markings/sec, 225 secs
lola: 12651144 markings, 26615099 edges, 52318 markings/sec, 230 secs
lola: 12921085 markings, 27144857 edges, 53988 markings/sec, 235 secs
lola: 13179113 markings, 27719874 edges, 51606 markings/sec, 240 secs
lola: 13435439 markings, 28436084 edges, 51265 markings/sec, 245 secs
lola: 13691759 markings, 29146364 edges, 51264 markings/sec, 250 secs
lola: 13944610 markings, 29835822 edges, 50570 markings/sec, 255 secs
lola: 14194818 markings, 30536346 edges, 50042 markings/sec, 260 secs
lola: 14451588 markings, 31187382 edges, 51354 markings/sec, 265 secs
lola: 14729842 markings, 31775552 edges, 55651 markings/sec, 270 secs
lola: 15001103 markings, 32367786 edges, 54252 markings/sec, 275 secs
lola: 15268947 markings, 32962379 edges, 53569 markings/sec, 280 secs
lola: 15529710 markings, 33650152 edges, 52153 markings/sec, 285 secs
lola: 15799342 markings, 34197922 edges, 53926 markings/sec, 290 secs
lola: 16073920 markings, 34778595 edges, 54916 markings/sec, 295 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 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 15 will run for 610 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown unknown 100 unknown unknown 100 100
lola: ========================================
FORMULA PermAdmissibility-COL-50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-5 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-11 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-14 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-15 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494657391453

--------------------
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="PermAdmissibility-COL-50"
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/PermAdmissibility-COL-50.tgz
mv PermAdmissibility-COL-50 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 PermAdmissibility-COL-50, 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 r038-blw7-149440485000389"
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 ;