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

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

=== Now, execution of the tool begins

BK_START 1494650312624


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-COL-05 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-05-UpperBounds.task
lola: MAX(p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170) : MAX(p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p8) : MAX(p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207) : MAX(p199) : MAX(p173) : MAX(p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110) : MAX(p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154) : MAX(p43) : MAX(p171) : MAX(p9) : MAX(p136) : MAX(p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162) : MAX(p82 + p81 + p80 + p79 + p78 + p77 + p76 + p83)
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(p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170)
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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189)
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: 188678 markings, 473090 edges, 37736 markings/sec, 0 secs
lola: 360050 markings, 872080 edges, 34274 markings/sec, 5 secs
lola: 528767 markings, 1269058 edges, 33743 markings/sec, 10 secs
lola: 728447 markings, 1786630 edges, 39936 markings/sec, 15 secs
lola: 899156 markings, 2216887 edges, 34142 markings/sec, 20 secs
lola: 1058901 markings, 2623560 edges, 31949 markings/sec, 25 secs
lola: 1210283 markings, 2998231 edges, 30276 markings/sec, 30 secs
lola: 1373758 markings, 3426340 edges, 32695 markings/sec, 35 secs
lola: 1539757 markings, 3921627 edges, 33200 markings/sec, 40 secs
lola: 1697045 markings, 4382870 edges, 31458 markings/sec, 45 secs
lola: 1846834 markings, 4942133 edges, 29958 markings/sec, 50 secs
lola: 1999120 markings, 5480150 edges, 30457 markings/sec, 55 secs
lola: 2204750 markings, 5910669 edges, 41126 markings/sec, 60 secs
lola: 2359344 markings, 6290732 edges, 30919 markings/sec, 65 secs
lola: 2537504 markings, 6735733 edges, 35632 markings/sec, 70 secs
lola: 2711893 markings, 7211599 edges, 34878 markings/sec, 75 secs
lola: 2909636 markings, 7729423 edges, 39549 markings/sec, 80 secs
lola: 3081278 markings, 8155748 edges, 34328 markings/sec, 85 secs
lola: 3235813 markings, 8553784 edges, 30907 markings/sec, 90 secs
lola: 3407488 markings, 9049363 edges, 34335 markings/sec, 95 secs
lola: 3596757 markings, 9546082 edges, 37854 markings/sec, 100 secs
lola: 3787845 markings, 9999816 edges, 38218 markings/sec, 105 secs
lola: 3953915 markings, 10458867 edges, 33214 markings/sec, 110 secs
lola: 4126199 markings, 10924508 edges, 34457 markings/sec, 115 secs
lola: 4275140 markings, 11311007 edges, 29788 markings/sec, 120 secs
lola: 4438716 markings, 11723464 edges, 32715 markings/sec, 125 secs
lola: 4600052 markings, 12145984 edges, 32267 markings/sec, 130 secs
lola: 4782104 markings, 12651679 edges, 36410 markings/sec, 135 secs
lola: 4956531 markings, 13112868 edges, 34885 markings/sec, 140 secs
lola: 5139974 markings, 13584193 edges, 36689 markings/sec, 145 secs
lola: 5321998 markings, 14118562 edges, 36405 markings/sec, 150 secs
lola: 5476924 markings, 14567002 edges, 30985 markings/sec, 155 secs
lola: 5628526 markings, 15155913 edges, 30320 markings/sec, 160 secs
lola: 5786509 markings, 15831290 edges, 31597 markings/sec, 165 secs
lola: 5950170 markings, 16615374 edges, 32732 markings/sec, 170 secs
lola: 6102415 markings, 17334128 edges, 30449 markings/sec, 175 secs
lola: 6258105 markings, 17981746 edges, 31138 markings/sec, 180 secs
lola: 6399746 markings, 18604711 edges, 28328 markings/sec, 185 secs
lola: 6541073 markings, 19184682 edges, 28265 markings/sec, 190 secs
lola: 6683877 markings, 19772281 edges, 28561 markings/sec, 195 secs
lola: 6829217 markings, 20411293 edges, 29068 markings/sec, 200 secs
lola: 6960736 markings, 20942778 edges, 26304 markings/sec, 205 secs
lola: 7105146 markings, 21388859 edges, 28882 markings/sec, 210 secs
lola: 7238977 markings, 21944201 edges, 26766 markings/sec, 215 secs
lola: 7367401 markings, 22485788 edges, 25685 markings/sec, 220 secs
lola: 7490327 markings, 22987390 edges, 24585 markings/sec, 225 secs
lola: 7641098 markings, 23547322 edges, 30154 markings/sec, 230 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 236 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: 196599 markings, 301241 edges, 39320 markings/sec, 0 secs
lola: 393407 markings, 694655 edges, 39362 markings/sec, 5 secs
lola: 591547 markings, 1111128 edges, 39628 markings/sec, 10 secs
lola: 771762 markings, 1575661 edges, 36043 markings/sec, 15 secs
lola: 940504 markings, 2043046 edges, 33748 markings/sec, 20 secs
lola: 1122513 markings, 2688899 edges, 36402 markings/sec, 25 secs
lola: 1305217 markings, 3337707 edges, 36541 markings/sec, 30 secs
lola: 1487318 markings, 3999244 edges, 36420 markings/sec, 35 secs
lola: 1667879 markings, 4720395 edges, 36112 markings/sec, 40 secs
lola: 1857859 markings, 5311350 edges, 37996 markings/sec, 45 secs
lola: 2050972 markings, 5858922 edges, 38623 markings/sec, 50 secs
lola: 2239927 markings, 6388736 edges, 37791 markings/sec, 55 secs
lola: 2430518 markings, 6915185 edges, 38118 markings/sec, 60 secs
lola: 2614714 markings, 7521702 edges, 36839 markings/sec, 65 secs
lola: 2805849 markings, 8074109 edges, 38227 markings/sec, 70 secs
lola: 2993911 markings, 8645351 edges, 37612 markings/sec, 75 secs
lola: 3179915 markings, 9183230 edges, 37201 markings/sec, 80 secs
lola: 3366540 markings, 9735393 edges, 37325 markings/sec, 85 secs
lola: 3551715 markings, 10274006 edges, 37035 markings/sec, 90 secs
lola: 3742234 markings, 10830231 edges, 38104 markings/sec, 95 secs
lola: 3929839 markings, 11410922 edges, 37521 markings/sec, 100 secs
lola: 4114474 markings, 11945793 edges, 36927 markings/sec, 105 secs
lola: 4302934 markings, 12453822 edges, 37692 markings/sec, 110 secs
lola: 4485042 markings, 13013584 edges, 36422 markings/sec, 115 secs
lola: 4670389 markings, 13541402 edges, 37069 markings/sec, 120 secs
lola: 4852059 markings, 14061495 edges, 36334 markings/sec, 125 secs
lola: 5034131 markings, 14552571 edges, 36414 markings/sec, 130 secs
lola: 5213800 markings, 15101348 edges, 35934 markings/sec, 135 secs
lola: 5403137 markings, 15631096 edges, 37867 markings/sec, 140 secs
lola: 5590468 markings, 16175100 edges, 37466 markings/sec, 145 secs
lola: 5778085 markings, 16733130 edges, 37523 markings/sec, 150 secs
lola: 5960613 markings, 17266057 edges, 36506 markings/sec, 155 secs
lola: 6142943 markings, 17827665 edges, 36466 markings/sec, 160 secs
lola: 6322795 markings, 18408174 edges, 35970 markings/sec, 165 secs
lola: 6500970 markings, 18993906 edges, 35635 markings/sec, 170 secs
lola: 6679455 markings, 19575433 edges, 35697 markings/sec, 175 secs
lola: 6858858 markings, 20139233 edges, 35881 markings/sec, 180 secs
lola: 7041122 markings, 20662013 edges, 36453 markings/sec, 185 secs
lola: 7219608 markings, 21205290 edges, 35697 markings/sec, 190 secs
lola: 7398613 markings, 21742325 edges, 35801 markings/sec, 195 secs
lola: 7577243 markings, 22272345 edges, 35726 markings/sec, 200 secs
lola: 7753944 markings, 22847993 edges, 35340 markings/sec, 205 secs
lola: 7931705 markings, 23418378 edges, 35552 markings/sec, 210 secs
lola: 8112397 markings, 23992406 edges, 36138 markings/sec, 215 secs
lola: 8292406 markings, 24457440 edges, 36002 markings/sec, 220 secs
lola: 8471651 markings, 24959717 edges, 35849 markings/sec, 225 secs
lola: 8647270 markings, 25513686 edges, 35124 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
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: 180387 markings, 569181 edges, 36077 markings/sec, 0 secs
lola: 389723 markings, 1129906 edges, 41867 markings/sec, 5 secs
lola: 593641 markings, 1709522 edges, 40784 markings/sec, 10 secs
lola: 790850 markings, 2351399 edges, 39442 markings/sec, 15 secs
lola: 984811 markings, 3009768 edges, 38792 markings/sec, 20 secs
lola: 1177859 markings, 3731965 edges, 38610 markings/sec, 25 secs
lola: 1358634 markings, 4695514 edges, 36155 markings/sec, 30 secs
lola: 1529829 markings, 5981600 edges, 34239 markings/sec, 35 secs
lola: 1713154 markings, 7013219 edges, 36665 markings/sec, 40 secs
lola: 1894140 markings, 7986729 edges, 36197 markings/sec, 45 secs
lola: 2071568 markings, 8784369 edges, 35486 markings/sec, 50 secs
lola: 2242937 markings, 9918766 edges, 34274 markings/sec, 55 secs
lola: 2426341 markings, 10730337 edges, 36681 markings/sec, 60 secs
lola: 2616179 markings, 11573072 edges, 37968 markings/sec, 65 secs
lola: 2797529 markings, 12497934 edges, 36270 markings/sec, 70 secs
lola: 2987730 markings, 13219066 edges, 38040 markings/sec, 75 secs
lola: 3172213 markings, 14201757 edges, 36897 markings/sec, 80 secs
lola: 3352951 markings, 15083281 edges, 36148 markings/sec, 85 secs
lola: 3540338 markings, 15806982 edges, 37477 markings/sec, 90 secs
lola: 3743641 markings, 16419542 edges, 40661 markings/sec, 95 secs
lola: 3944392 markings, 16982603 edges, 40150 markings/sec, 100 secs
lola: 4138672 markings, 17614697 edges, 38856 markings/sec, 105 secs
lola: 4332360 markings, 18351088 edges, 38738 markings/sec, 110 secs
lola: 4516466 markings, 19140849 edges, 36821 markings/sec, 115 secs
lola: 4686031 markings, 20436007 edges, 33913 markings/sec, 120 secs
lola: 4865349 markings, 21449210 edges, 35864 markings/sec, 125 secs
lola: 5041925 markings, 22382460 edges, 35315 markings/sec, 130 secs
lola: 5206941 markings, 23493975 edges, 33003 markings/sec, 135 secs
lola: 5387736 markings, 24316694 edges, 36159 markings/sec, 140 secs
lola: 5567638 markings, 25283241 edges, 35980 markings/sec, 145 secs
lola: 5749061 markings, 26099272 edges, 36285 markings/sec, 150 secs
lola: 5926926 markings, 27090423 edges, 35573 markings/sec, 155 secs
lola: 6104410 markings, 27981290 edges, 35497 markings/sec, 160 secs
lola: 6295766 markings, 28595001 edges, 38271 markings/sec, 165 secs
lola: 6493467 markings, 29174199 edges, 39540 markings/sec, 170 secs
lola: 6684379 markings, 29813688 edges, 38182 markings/sec, 175 secs
lola: 6867709 markings, 30544863 edges, 36666 markings/sec, 180 secs
lola: 7033905 markings, 31685627 edges, 33239 markings/sec, 185 secs
lola: 7202308 markings, 32680546 edges, 33681 markings/sec, 190 secs
lola: 7363183 markings, 33792043 edges, 32175 markings/sec, 195 secs
lola: 7531250 markings, 34744202 edges, 33613 markings/sec, 200 secs
lola: 7711939 markings, 35595084 edges, 36138 markings/sec, 205 secs
lola: 7890965 markings, 36432833 edges, 35805 markings/sec, 210 secs
lola: 8065450 markings, 37415340 edges, 34897 markings/sec, 215 secs
lola: 8243545 markings, 38209889 edges, 35619 markings/sec, 220 secs
lola: 8439432 markings, 38824946 edges, 39177 markings/sec, 225 secs
lola: 8632094 markings, 39420832 edges, 38532 markings/sec, 230 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 236 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: 209717 markings, 321323 edges, 41943 markings/sec, 0 secs
lola: 418320 markings, 746601 edges, 41721 markings/sec, 5 secs
lola: 625681 markings, 1183818 edges, 41472 markings/sec, 10 secs
lola: 824824 markings, 1725995 edges, 39829 markings/sec, 15 secs
lola: 1014016 markings, 2261472 edges, 37838 markings/sec, 20 secs
lola: 1195476 markings, 2919944 edges, 36292 markings/sec, 25 secs
lola: 1378169 markings, 3573926 edges, 36539 markings/sec, 30 secs
lola: 1559124 markings, 4256520 edges, 36191 markings/sec, 35 secs
lola: 1739809 markings, 4981610 edges, 36137 markings/sec, 40 secs
lola: 1932598 markings, 5511834 edges, 38558 markings/sec, 45 secs
lola: 2121884 markings, 6064669 edges, 37857 markings/sec, 50 secs
lola: 2308000 markings, 6597363 edges, 37223 markings/sec, 55 secs
lola: 2500712 markings, 7097912 edges, 38542 markings/sec, 60 secs
lola: 2685061 markings, 7715751 edges, 36870 markings/sec, 65 secs
lola: 2871812 markings, 8248894 edges, 37350 markings/sec, 70 secs
lola: 3055276 markings, 8816663 edges, 36693 markings/sec, 75 secs
lola: 3239166 markings, 9342157 edges, 36778 markings/sec, 80 secs
lola: 3422603 markings, 9894750 edges, 36687 markings/sec, 85 secs
lola: 3605976 markings, 10436723 edges, 36675 markings/sec, 90 secs
lola: 3790567 markings, 10980995 edges, 36918 markings/sec, 95 secs
lola: 3974306 markings, 11556930 edges, 36748 markings/sec, 100 secs
lola: 4155816 markings, 12063790 edges, 36302 markings/sec, 105 secs
lola: 4340429 markings, 12565007 edges, 36923 markings/sec, 110 secs
lola: 4519559 markings, 13107370 edges, 35826 markings/sec, 115 secs
lola: 4700438 markings, 13630535 edges, 36176 markings/sec, 120 secs
lola: 4879097 markings, 14132602 edges, 35732 markings/sec, 125 secs
lola: 5061115 markings, 14619745 edges, 36404 markings/sec, 130 secs
lola: 5238203 markings, 15170359 edges, 35418 markings/sec, 135 secs
lola: 5426012 markings, 15697367 edges, 37562 markings/sec, 140 secs
lola: 5612992 markings, 16237246 edges, 37396 markings/sec, 145 secs
lola: 5798071 markings, 16786822 edges, 37016 markings/sec, 150 secs
lola: 5978363 markings, 17316214 edges, 36058 markings/sec, 155 secs
lola: 6155542 markings, 17874302 edges, 35436 markings/sec, 160 secs
lola: 6335061 markings, 18454165 edges, 35904 markings/sec, 165 secs
lola: 6513868 markings, 19036631 edges, 35761 markings/sec, 170 secs
lola: 6692433 markings, 19620041 edges, 35713 markings/sec, 175 secs
lola: 6872150 markings, 20176829 edges, 35943 markings/sec, 180 secs
lola: 7052938 markings, 20693666 edges, 36158 markings/sec, 185 secs
lola: 7230289 markings, 21238234 edges, 35470 markings/sec, 190 secs
lola: 7409550 markings, 21774048 edges, 35852 markings/sec, 195 secs
lola: 7587043 markings, 22316179 edges, 35499 markings/sec, 200 secs
lola: 7762814 markings, 22882086 edges, 35154 markings/sec, 205 secs
lola: 7940079 markings, 23446998 edges, 35453 markings/sec, 210 secs
lola: 8119884 markings, 24010614 edges, 35961 markings/sec, 215 secs
lola: 8299230 markings, 24475766 edges, 35869 markings/sec, 220 secs
lola: 8478403 markings, 24976570 edges, 35835 markings/sec, 225 secs
lola: 8652692 markings, 25529394 edges, 34858 markings/sec, 230 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
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: 446855 markings, 2138090 edges, 89371 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 6 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p173)
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: 283977 markings, 1093161 edges, 56795 markings/sec, 0 secs
lola: 569173 markings, 2263022 edges, 57039 markings/sec, 5 secs
lola: 838502 markings, 3432529 edges, 53866 markings/sec, 10 secs
lola: 1124877 markings, 4586741 edges, 57275 markings/sec, 15 secs
lola: 1397883 markings, 5721361 edges, 54601 markings/sec, 20 secs
lola: 1666303 markings, 6861870 edges, 53684 markings/sec, 25 secs
lola: 1911872 markings, 7852756 edges, 49114 markings/sec, 30 secs
lola: 2173611 markings, 8933452 edges, 52348 markings/sec, 35 secs
lola: 2452872 markings, 10082071 edges, 55852 markings/sec, 40 secs
lola: 2720722 markings, 11217282 edges, 53570 markings/sec, 45 secs
lola: 2989306 markings, 12365807 edges, 53717 markings/sec, 50 secs
lola: 3260444 markings, 13513133 edges, 54228 markings/sec, 55 secs
lola: 3516445 markings, 14614393 edges, 51200 markings/sec, 60 secs
lola: 3775397 markings, 15649590 edges, 51790 markings/sec, 65 secs
lola: 4052627 markings, 16793680 edges, 55446 markings/sec, 70 secs
lola: 4327140 markings, 17963499 edges, 54903 markings/sec, 75 secs
lola: 4601817 markings, 19107333 edges, 54935 markings/sec, 80 secs
lola: 4868667 markings, 20228849 edges, 53370 markings/sec, 85 secs
lola: 5138109 markings, 21412983 edges, 53888 markings/sec, 90 secs
lola: 5389179 markings, 22459675 edges, 50214 markings/sec, 95 secs
lola: 5645298 markings, 23460432 edges, 51224 markings/sec, 100 secs
lola: 5917044 markings, 24602475 edges, 54349 markings/sec, 105 secs
lola: 6155522 markings, 25639208 edges, 47696 markings/sec, 110 secs
lola: 6412722 markings, 26725322 edges, 51440 markings/sec, 115 secs
lola: 6676154 markings, 27839458 edges, 52686 markings/sec, 120 secs
lola: 6936019 markings, 29025183 edges, 51973 markings/sec, 125 secs
lola: 7179751 markings, 30025640 edges, 48746 markings/sec, 130 secs
lola: 7403850 markings, 30979011 edges, 44820 markings/sec, 135 secs
lola: 7682313 markings, 32172938 edges, 55693 markings/sec, 140 secs
lola: 7937263 markings, 33415362 edges, 50990 markings/sec, 145 secs
lola: 8183786 markings, 34553493 edges, 49305 markings/sec, 150 secs
lola: 8413816 markings, 35662560 edges, 46006 markings/sec, 155 secs
lola: 8653398 markings, 36815764 edges, 47916 markings/sec, 160 secs
lola: 8891750 markings, 37894842 edges, 47670 markings/sec, 165 secs
lola: 9124248 markings, 39062591 edges, 46500 markings/sec, 170 secs
lola: 9354723 markings, 40129157 edges, 46095 markings/sec, 175 secs
lola: 9615289 markings, 41369189 edges, 52113 markings/sec, 180 secs
lola: 9852431 markings, 42562719 edges, 47428 markings/sec, 185 secs
lola: 10088906 markings, 43707894 edges, 47295 markings/sec, 190 secs
lola: 10325485 markings, 45039041 edges, 47316 markings/sec, 195 secs
lola: 10568276 markings, 46474408 edges, 48558 markings/sec, 200 secs
lola: 10790339 markings, 47723320 edges, 44413 markings/sec, 205 secs
lola: 11015248 markings, 49056130 edges, 44982 markings/sec, 210 secs
lola: 11244710 markings, 50435993 edges, 45892 markings/sec, 215 secs
lola: 11499072 markings, 51660090 edges, 50872 markings/sec, 220 secs
lola: 11759354 markings, 52907652 edges, 52056 markings/sec, 225 secs
lola: 12007579 markings, 54199797 edges, 49645 markings/sec, 230 secs
lola: 12242319 markings, 55476519 edges, 46948 markings/sec, 235 secs
lola: 12478588 markings, 56870337 edges, 47254 markings/sec, 240 secs
lola: 12710807 markings, 58361639 edges, 46444 markings/sec, 245 secs
lola: 12932564 markings, 59680749 edges, 44351 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110)
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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 8 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154)
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: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 9 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
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: 337415 markings, 1739135 edges, 67483 markings/sec, 0 secs
lola: 678407 markings, 3500676 edges, 68198 markings/sec, 5 secs
lola: 977670 markings, 5137047 edges, 59853 markings/sec, 10 secs
lola: 1273893 markings, 6769227 edges, 59245 markings/sec, 15 secs
lola: 1584187 markings, 8748602 edges, 62059 markings/sec, 20 secs
lola: 1869907 markings, 10657068 edges, 57144 markings/sec, 25 secs
lola: 2142263 markings, 12324299 edges, 54471 markings/sec, 30 secs
lola: 2411594 markings, 14109953 edges, 53866 markings/sec, 35 secs
lola: 2666595 markings, 15869511 edges, 51000 markings/sec, 40 secs
lola: 2971414 markings, 17594912 edges, 60964 markings/sec, 45 secs
lola: 3249157 markings, 19081007 edges, 55549 markings/sec, 50 secs
lola: 3502153 markings, 20510016 edges, 50599 markings/sec, 55 secs
lola: 3752688 markings, 21957451 edges, 50107 markings/sec, 60 secs
lola: 3990985 markings, 23507407 edges, 47659 markings/sec, 65 secs
lola: 4192571 markings, 24918457 edges, 40317 markings/sec, 70 secs
lola: 4421839 markings, 26344728 edges, 45854 markings/sec, 75 secs
lola: 4669768 markings, 28067746 edges, 49586 markings/sec, 80 secs
lola: 4947760 markings, 29721384 edges, 55598 markings/sec, 85 secs
lola: 5244775 markings, 31428959 edges, 59403 markings/sec, 90 secs
lola: 5543026 markings, 33018665 edges, 59650 markings/sec, 95 secs
lola: 5831130 markings, 34730440 edges, 57621 markings/sec, 100 secs
lola: 6115150 markings, 36554344 edges, 56804 markings/sec, 105 secs
lola: 6384914 markings, 38343560 edges, 53953 markings/sec, 110 secs
lola: 6646149 markings, 40101426 edges, 52247 markings/sec, 115 secs
lola: 6911019 markings, 41811279 edges, 52974 markings/sec, 120 secs
lola: 7199943 markings, 43510773 edges, 57785 markings/sec, 125 secs
lola: 7487787 markings, 45125518 edges, 57569 markings/sec, 130 secs
lola: 7761424 markings, 46854548 edges, 54727 markings/sec, 135 secs
lola: 8026478 markings, 48687129 edges, 53011 markings/sec, 140 secs
lola: 8282010 markings, 50393577 edges, 51106 markings/sec, 145 secs
lola: 8541449 markings, 52092047 edges, 51888 markings/sec, 150 secs
lola: 8852257 markings, 53781657 edges, 62162 markings/sec, 155 secs
lola: 9152877 markings, 55448537 edges, 60124 markings/sec, 160 secs
lola: 9434112 markings, 57233321 edges, 56247 markings/sec, 165 secs
lola: 9725764 markings, 58879465 edges, 58330 markings/sec, 170 secs
lola: 10014325 markings, 60476077 edges, 57712 markings/sec, 175 secs
lola: 10285256 markings, 62150856 edges, 54186 markings/sec, 180 secs
lola: 10542577 markings, 63850893 edges, 51464 markings/sec, 185 secs
lola: 10863872 markings, 65529073 edges, 64259 markings/sec, 190 secs
lola: 11176338 markings, 67225828 edges, 62493 markings/sec, 195 secs
lola: 11469840 markings, 69036783 edges, 58700 markings/sec, 200 secs
lola: 11765922 markings, 70763075 edges, 59216 markings/sec, 205 secs
lola: 12061441 markings, 72450358 edges, 59104 markings/sec, 210 secs
lola: 12334747 markings, 74250287 edges, 54661 markings/sec, 215 secs
lola: 12604965 markings, 75821037 edges, 54044 markings/sec, 220 secs
lola: 12911918 markings, 77402512 edges, 61391 markings/sec, 225 secs
lola: 13190923 markings, 79057784 edges, 55801 markings/sec, 230 secs
lola: 13484025 markings, 80604773 edges, 58620 markings/sec, 235 secs
lola: 13777510 markings, 82114559 edges, 58697 markings/sec, 240 secs
lola: 14055432 markings, 83728296 edges, 55584 markings/sec, 245 secs
lola: 14309323 markings, 85384078 edges, 50778 markings/sec, 250 secs
lola: 14557224 markings, 87052475 edges, 49580 markings/sec, 255 secs
lola: 14798126 markings, 88706298 edges, 48180 markings/sec, 260 secs
lola: 15082252 markings, 90214234 edges, 56825 markings/sec, 265 secs
lola: 15353094 markings, 91765380 edges, 54168 markings/sec, 270 secs
lola: 15608317 markings, 93400227 edges, 51045 markings/sec, 275 secs
lola: 15851324 markings, 95009356 edges, 48601 markings/sec, 280 secs
lola: 16092409 markings, 96650253 edges, 48217 markings/sec, 285 secs
lola: 16362846 markings, 98156763 edges, 54087 markings/sec, 290 secs
lola: 16635409 markings, 99661019 edges, 54513 markings/sec, 295 secs
lola: 16886343 markings, 101227020 edges, 50187 markings/sec, 300 secs
lola: 17102429 markings, 102687197 edges, 43217 markings/sec, 305 secs
lola: 17290789 markings, 104013800 edges, 37672 markings/sec, 310 secs
lola: 17550542 markings, 105537650 edges, 51951 markings/sec, 315 secs
lola: 17811323 markings, 107044817 edges, 52156 markings/sec, 320 secs
lola: 18051974 markings, 108624126 edges, 48130 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
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: 209119 markings, 761432 edges, 41824 markings/sec, 0 secs
lola: 416698 markings, 1641171 edges, 41516 markings/sec, 5 secs
lola: 618122 markings, 2571326 edges, 40285 markings/sec, 10 secs
lola: 809277 markings, 3676207 edges, 38231 markings/sec, 15 secs
lola: 1009696 markings, 4637414 edges, 40084 markings/sec, 20 secs
lola: 1206226 markings, 5581619 edges, 39306 markings/sec, 25 secs
lola: 1405051 markings, 6498839 edges, 39765 markings/sec, 30 secs
lola: 1607511 markings, 7370588 edges, 40492 markings/sec, 35 secs
lola: 1806720 markings, 8287484 edges, 39842 markings/sec, 40 secs
lola: 2012714 markings, 9131228 edges, 41199 markings/sec, 45 secs
lola: 2212298 markings, 10060200 edges, 39917 markings/sec, 50 secs
lola: 2421063 markings, 10896330 edges, 41753 markings/sec, 55 secs
lola: 2628801 markings, 11769026 edges, 41548 markings/sec, 60 secs
lola: 2838214 markings, 12610412 edges, 41883 markings/sec, 65 secs
lola: 3032182 markings, 13629689 edges, 38794 markings/sec, 70 secs
lola: 3228212 markings, 14642673 edges, 39206 markings/sec, 75 secs
lola: 3423143 markings, 15675830 edges, 38986 markings/sec, 80 secs
lola: 3620804 markings, 16592655 edges, 39532 markings/sec, 85 secs
lola: 3817520 markings, 17520066 edges, 39343 markings/sec, 90 secs
lola: 4012404 markings, 18458050 edges, 38977 markings/sec, 95 secs
lola: 4215752 markings, 19306910 edges, 40670 markings/sec, 100 secs
lola: 4410326 markings, 20248677 edges, 38915 markings/sec, 105 secs
lola: 4615156 markings, 21091851 edges, 40966 markings/sec, 110 secs
lola: 4810968 markings, 22039067 edges, 39162 markings/sec, 115 secs
lola: 5010719 markings, 22919333 edges, 39950 markings/sec, 120 secs
lola: 5209788 markings, 23814867 edges, 39814 markings/sec, 125 secs
lola: 5403624 markings, 24718638 edges, 38767 markings/sec, 130 secs
lola: 5609949 markings, 25535892 edges, 41265 markings/sec, 135 secs
lola: 5818003 markings, 26393927 edges, 41611 markings/sec, 140 secs
lola: 6026188 markings, 27242017 edges, 41637 markings/sec, 145 secs
lola: 6228705 markings, 28145795 edges, 40503 markings/sec, 150 secs
lola: 6424447 markings, 29095556 edges, 39148 markings/sec, 155 secs
lola: 6612560 markings, 30207452 edges, 37623 markings/sec, 160 secs
lola: 6806521 markings, 31174668 edges, 38792 markings/sec, 165 secs
lola: 6995010 markings, 32308804 edges, 37698 markings/sec, 170 secs
lola: 7203303 markings, 33146536 edges, 41659 markings/sec, 175 secs
lola: 7407911 markings, 33998559 edges, 40922 markings/sec, 180 secs
lola: 7599201 markings, 34999661 edges, 38258 markings/sec, 185 secs
lola: 7786313 markings, 36044431 edges, 37422 markings/sec, 190 secs
lola: 7988700 markings, 36898973 edges, 40477 markings/sec, 195 secs
lola: 8176560 markings, 37905172 edges, 37572 markings/sec, 200 secs
lola: 8370634 markings, 38818251 edges, 38815 markings/sec, 205 secs
lola: 8571950 markings, 39700923 edges, 40263 markings/sec, 210 secs
lola: 8766577 markings, 40628078 edges, 38925 markings/sec, 215 secs
lola: 8964000 markings, 41534763 edges, 39485 markings/sec, 220 secs
lola: 9159797 markings, 42453472 edges, 39159 markings/sec, 225 secs
lola: 9364729 markings, 43284642 edges, 40986 markings/sec, 230 secs
lola: 9558183 markings, 44221339 edges, 38691 markings/sec, 235 secs
lola: 9750325 markings, 45164311 edges, 38428 markings/sec, 240 secs
lola: 9945882 markings, 46037044 edges, 39111 markings/sec, 245 secs
lola: 10148316 markings, 46916210 edges, 40487 markings/sec, 250 secs
lola: 10347153 markings, 47877858 edges, 39767 markings/sec, 255 secs
lola: 10540390 markings, 48845788 edges, 38647 markings/sec, 260 secs
lola: 10737580 markings, 49744018 edges, 39438 markings/sec, 265 secs
lola: 10934750 markings, 50652630 edges, 39434 markings/sec, 270 secs
lola: 11140568 markings, 51486551 edges, 41164 markings/sec, 275 secs
lola: 11334928 markings, 52477347 edges, 38872 markings/sec, 280 secs
lola: 11531538 markings, 53390067 edges, 39322 markings/sec, 285 secs
lola: 11725382 markings, 54294235 edges, 38769 markings/sec, 290 secs
lola: 11922770 markings, 55183043 edges, 39478 markings/sec, 295 secs
lola: 12122112 markings, 56085159 edges, 39868 markings/sec, 300 secs
lola: 12320609 markings, 56990412 edges, 39699 markings/sec, 305 secs
lola: 12519336 markings, 57900691 edges, 39745 markings/sec, 310 secs
lola: 12711182 markings, 58821536 edges, 38369 markings/sec, 315 secs
lola: 12905307 markings, 59697980 edges, 38825 markings/sec, 320 secs
lola: 13101127 markings, 60576523 edges, 39164 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
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: 193925 markings, 488066 edges, 38785 markings/sec, 0 secs
lola: 369894 markings, 895294 edges, 35194 markings/sec, 5 secs
lola: 541893 markings, 1300838 edges, 34400 markings/sec, 10 secs
lola: 739805 markings, 1820540 edges, 39582 markings/sec, 15 secs
lola: 909952 markings, 2245123 edges, 34029 markings/sec, 20 secs
lola: 1076012 markings, 2667327 edges, 33212 markings/sec, 25 secs
lola: 1250490 markings, 3092558 edges, 34896 markings/sec, 30 secs
lola: 1423564 markings, 3573653 edges, 34615 markings/sec, 35 secs
lola: 1598010 markings, 4092023 edges, 34889 markings/sec, 40 secs
lola: 1769596 markings, 4671811 edges, 34317 markings/sec, 45 secs
lola: 1932870 markings, 5263714 edges, 32655 markings/sec, 50 secs
lola: 2142380 markings, 5778161 edges, 41902 markings/sec, 55 secs
lola: 2345014 markings, 6257677 edges, 40527 markings/sec, 60 secs
lola: 2522898 markings, 6695637 edges, 35577 markings/sec, 65 secs
lola: 2698879 markings, 7167321 edges, 35196 markings/sec, 70 secs
lola: 2894552 markings, 7695540 edges, 39135 markings/sec, 75 secs
lola: 3067317 markings, 8121513 edges, 34553 markings/sec, 80 secs
lola: 3244604 markings, 8577714 edges, 35457 markings/sec, 85 secs
lola: 3430943 markings, 9108878 edges, 37268 markings/sec, 90 secs
lola: 3621206 markings, 9599494 edges, 38053 markings/sec, 95 secs
lola: 3798669 markings, 10027048 edges, 35493 markings/sec, 100 secs
lola: 3961746 markings, 10485661 edges, 32615 markings/sec, 105 secs
lola: 4140608 markings, 10961417 edges, 35772 markings/sec, 110 secs
lola: 4314333 markings, 11411604 edges, 34745 markings/sec, 115 secs
lola: 4492724 markings, 11857997 edges, 35678 markings/sec, 120 secs
lola: 4658773 markings, 12328788 edges, 33210 markings/sec, 125 secs
lola: 4845415 markings, 12817847 edges, 37328 markings/sec, 130 secs
lola: 5030131 markings, 13294801 edges, 36943 markings/sec, 135 secs
lola: 5214001 markings, 13784776 edges, 36774 markings/sec, 140 secs
lola: 5386170 markings, 14304686 edges, 34434 markings/sec, 145 secs
lola: 5548712 markings, 14773884 edges, 32508 markings/sec, 150 secs
lola: 5733184 markings, 15607144 edges, 36894 markings/sec, 155 secs
lola: 5905207 markings, 16398473 edges, 34405 markings/sec, 160 secs
lola: 6063650 markings, 17161466 edges, 31689 markings/sec, 165 secs
lola: 6215369 markings, 17801343 edges, 30344 markings/sec, 170 secs
lola: 6366689 markings, 18469577 edges, 30264 markings/sec, 175 secs
lola: 6505277 markings, 19044313 edges, 27718 markings/sec, 180 secs
lola: 6650993 markings, 19638221 edges, 29143 markings/sec, 185 secs
lola: 6798239 markings, 20286079 edges, 29449 markings/sec, 190 secs
lola: 6935784 markings, 20850584 edges, 27509 markings/sec, 195 secs
lola: 7081768 markings, 21290112 edges, 29197 markings/sec, 200 secs
lola: 7218261 markings, 21855348 edges, 27299 markings/sec, 205 secs
lola: 7352896 markings, 22425312 edges, 26927 markings/sec, 210 secs
lola: 7485599 markings, 22966879 edges, 26541 markings/sec, 215 secs
lola: 7635343 markings, 23530479 edges, 29949 markings/sec, 220 secs
lola: 7808732 markings, 24044485 edges, 34678 markings/sec, 225 secs
lola: 7980005 markings, 24698846 edges, 34255 markings/sec, 230 secs
lola: 8154376 markings, 25467970 edges, 34874 markings/sec, 235 secs
lola: 8310369 markings, 26219822 edges, 31199 markings/sec, 240 secs
lola: 8446393 markings, 26817735 edges, 27205 markings/sec, 245 secs
lola: 8579288 markings, 27375279 edges, 26579 markings/sec, 250 secs
lola: 8744990 markings, 28056106 edges, 33140 markings/sec, 255 secs
lola: 8902996 markings, 28728748 edges, 31601 markings/sec, 260 secs
lola: 9039729 markings, 29257304 edges, 27347 markings/sec, 265 secs
lola: 9189339 markings, 29888721 edges, 29922 markings/sec, 270 secs
lola: 9340026 markings, 30648084 edges, 30137 markings/sec, 275 secs
lola: 9501725 markings, 31251408 edges, 32340 markings/sec, 280 secs
lola: 9666435 markings, 31989013 edges, 32942 markings/sec, 285 secs
lola: 9804084 markings, 32683117 edges, 27530 markings/sec, 290 secs
lola: 9942378 markings, 33378394 edges, 27659 markings/sec, 295 secs
lola: 10100617 markings, 34092579 edges, 31648 markings/sec, 300 secs
lola: 10241267 markings, 34754867 edges, 28130 markings/sec, 305 secs
lola: 10383899 markings, 35468135 edges, 28526 markings/sec, 310 secs
lola: 10519085 markings, 36088175 edges, 27037 markings/sec, 315 secs
lola: 10659489 markings, 36732803 edges, 28081 markings/sec, 320 secs
lola: 10801210 markings, 37486145 edges, 28344 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
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: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 13 will run for 444 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: 259723 markings, 848778 edges, 51945 markings/sec, 0 secs
lola: 517179 markings, 1775901 edges, 51491 markings/sec, 5 secs
lola: 777793 markings, 2524141 edges, 52123 markings/sec, 10 secs
lola: 1034805 markings, 3349061 edges, 51402 markings/sec, 15 secs
lola: 1287413 markings, 4155848 edges, 50522 markings/sec, 20 secs
lola: 1530895 markings, 5113011 edges, 48696 markings/sec, 25 secs
lola: 1776329 markings, 6090394 edges, 49087 markings/sec, 30 secs
lola: 2019721 markings, 6996952 edges, 48678 markings/sec, 35 secs
lola: 2262972 markings, 7899961 edges, 48650 markings/sec, 40 secs
lola: 2496082 markings, 8867015 edges, 46622 markings/sec, 45 secs
lola: 2721755 markings, 9975706 edges, 45135 markings/sec, 50 secs
lola: 2949448 markings, 11000632 edges, 45539 markings/sec, 55 secs
lola: 3189946 markings, 12074696 edges, 48100 markings/sec, 60 secs
lola: 3437725 markings, 13052475 edges, 49556 markings/sec, 65 secs
lola: 3689108 markings, 14003959 edges, 50277 markings/sec, 70 secs
lola: 3934492 markings, 14761260 edges, 49077 markings/sec, 75 secs
lola: 4182327 markings, 15699322 edges, 49567 markings/sec, 80 secs
lola: 4423063 markings, 16586004 edges, 48147 markings/sec, 85 secs
lola: 4666646 markings, 17521659 edges, 48717 markings/sec, 90 secs
lola: 4903737 markings, 18359431 edges, 47418 markings/sec, 95 secs
lola: 5134181 markings, 19393243 edges, 46089 markings/sec, 100 secs
lola: 5361345 markings, 20512289 edges, 45433 markings/sec, 105 secs
lola: 5595253 markings, 21568654 edges, 46782 markings/sec, 110 secs
lola: 5827860 markings, 22487384 edges, 46521 markings/sec, 115 secs
lola: 6055885 markings, 23500618 edges, 45605 markings/sec, 120 secs
lola: 6287507 markings, 24558118 edges, 46324 markings/sec, 125 secs
lola: 6514577 markings, 25489949 edges, 45414 markings/sec, 130 secs
lola: 6726754 markings, 26651216 edges, 42435 markings/sec, 135 secs
lola: 6934905 markings, 27860631 edges, 41630 markings/sec, 140 secs
lola: 7144545 markings, 29022614 edges, 41928 markings/sec, 145 secs
lola: 7353102 markings, 30179167 edges, 41711 markings/sec, 150 secs
lola: 7560077 markings, 31336105 edges, 41395 markings/sec, 155 secs
lola: 7766582 markings, 32469497 edges, 41301 markings/sec, 160 secs
lola: 7970154 markings, 33604950 edges, 40714 markings/sec, 165 secs
lola: 8162310 markings, 34877481 edges, 38431 markings/sec, 170 secs
lola: 8332760 markings, 36421301 edges, 34090 markings/sec, 175 secs
lola: 8511724 markings, 37826243 edges, 35793 markings/sec, 180 secs
lola: 8714417 markings, 39009345 edges, 40539 markings/sec, 185 secs
lola: 8912090 markings, 40289575 edges, 39535 markings/sec, 190 secs
lola: 9123217 markings, 41385057 edges, 42225 markings/sec, 195 secs
lola: 9332563 markings, 42535911 edges, 41869 markings/sec, 200 secs
lola: 9519466 markings, 43921957 edges, 37381 markings/sec, 205 secs
lola: 9712390 markings, 45246085 edges, 38585 markings/sec, 210 secs
lola: 9912184 markings, 46466278 edges, 39959 markings/sec, 215 secs
lola: 10105831 markings, 47777575 edges, 38729 markings/sec, 220 secs
lola: 10275942 markings, 49269214 edges, 34022 markings/sec, 225 secs
lola: 10444887 markings, 50814053 edges, 33789 markings/sec, 230 secs
lola: 10614771 markings, 52353958 edges, 33977 markings/sec, 235 secs
lola: 10804693 markings, 53784987 edges, 37984 markings/sec, 240 secs
lola: 10980467 markings, 55311893 edges, 35155 markings/sec, 245 secs
lola: 11141857 markings, 56973964 edges, 32278 markings/sec, 250 secs
lola: 11308595 markings, 58708753 edges, 33348 markings/sec, 255 secs
lola: 11482347 markings, 60285206 edges, 34750 markings/sec, 260 secs
lola: 11651960 markings, 61879580 edges, 33923 markings/sec, 265 secs
lola: 11879320 markings, 62893292 edges, 45472 markings/sec, 270 secs
lola: 12131043 markings, 63664989 edges, 50345 markings/sec, 275 secs
lola: 12377671 markings, 64512616 edges, 49326 markings/sec, 280 secs
lola: 12626439 markings, 65281882 edges, 49754 markings/sec, 285 secs
lola: 12868140 markings, 66136219 edges, 48340 markings/sec, 290 secs
lola: 13092260 markings, 67136633 edges, 44824 markings/sec, 295 secs
lola: 13295908 markings, 68270831 edges, 40730 markings/sec, 300 secs
lola: 13498489 markings, 69429975 edges, 40516 markings/sec, 305 secs
lola: 13707417 markings, 70615931 edges, 41786 markings/sec, 310 secs
lola: 13912431 markings, 71839756 edges, 41003 markings/sec, 315 secs
lola: 14096602 markings, 73278436 edges, 36834 markings/sec, 320 secs
lola: 14285999 markings, 74676133 edges, 37879 markings/sec, 325 secs
lola: 14473869 markings, 76160456 edges, 37574 markings/sec, 330 secs
lola: 14715380 markings, 77104455 edges, 48302 markings/sec, 335 secs
lola: 14967830 markings, 77957613 edges, 50490 markings/sec, 340 secs
lola: 15224039 markings, 78730665 edges, 51242 markings/sec, 345 secs
lola: 15467871 markings, 79626990 edges, 48766 markings/sec, 350 secs
lola: 15682197 markings, 80731533 edges, 42865 markings/sec, 355 secs
lola: 15882804 markings, 81969793 edges, 40121 markings/sec, 360 secs
lola: 16095339 markings, 83144763 edges, 42507 markings/sec, 365 secs
lola: 16294873 markings, 84432571 edges, 39907 markings/sec, 370 secs
lola: 16486305 markings, 85765171 edges, 38286 markings/sec, 375 secs
lola: 16671563 markings, 87210554 edges, 37052 markings/sec, 380 secs
lola: 16907665 markings, 88181108 edges, 47220 markings/sec, 385 secs
lola: 17156883 markings, 88989730 edges, 49844 markings/sec, 390 secs
lola: 17388587 markings, 89995891 edges, 46341 markings/sec, 395 secs
lola: 17588658 markings, 91176780 edges, 40014 markings/sec, 400 secs
lola: 17802378 markings, 92321130 edges, 42744 markings/sec, 405 secs
lola: 17997187 markings, 93608189 edges, 38962 markings/sec, 410 secs
lola: 18194004 markings, 94944834 edges, 39363 markings/sec, 415 secs
lola: 18442416 markings, 95777304 edges, 49682 markings/sec, 420 secs
lola: 18686194 markings, 96607839 edges, 48756 markings/sec, 425 secs
lola: 18918433 markings, 97523182 edges, 46448 markings/sec, 430 secs
lola: 19144259 markings, 98529300 edges, 45165 markings/sec, 435 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 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162)
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: 498070 markings, 2397414 edges, 99614 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 15 will run for 880 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82 + p81 + p80 + p79 + p78 + p77 + p76 + p83)
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: 182385 markings, 441585 edges, 36477 markings/sec, 0 secs
lola: 373862 markings, 913897 edges, 38295 markings/sec, 5 secs
lola: 571129 markings, 1380425 edges, 39453 markings/sec, 10 secs
lola: 771114 markings, 1839462 edges, 39997 markings/sec, 15 secs
lola: 952092 markings, 2292060 edges, 36196 markings/sec, 20 secs
lola: 1131177 markings, 2800476 edges, 35817 markings/sec, 25 secs
lola: 1323301 markings, 3276398 edges, 38425 markings/sec, 30 secs
lola: 1516521 markings, 3761903 edges, 38644 markings/sec, 35 secs
lola: 1703978 markings, 4218278 edges, 37491 markings/sec, 40 secs
lola: 1889778 markings, 4716019 edges, 37160 markings/sec, 45 secs
lola: 2065753 markings, 5263985 edges, 35195 markings/sec, 50 secs
lola: 2241322 markings, 5791592 edges, 35114 markings/sec, 55 secs
lola: 2415979 markings, 6282639 edges, 34931 markings/sec, 60 secs
lola: 2596014 markings, 6728153 edges, 36007 markings/sec, 65 secs
lola: 2782485 markings, 7213987 edges, 37294 markings/sec, 70 secs
lola: 2966463 markings, 7695122 edges, 36796 markings/sec, 75 secs
lola: 3150234 markings, 8184059 edges, 36754 markings/sec, 80 secs
lola: 3319430 markings, 8594867 edges, 33839 markings/sec, 85 secs
lola: 3493994 markings, 9017211 edges, 34913 markings/sec, 90 secs
lola: 3662294 markings, 9412608 edges, 33660 markings/sec, 95 secs
lola: 3833485 markings, 9815657 edges, 34238 markings/sec, 100 secs
lola: 4005031 markings, 10232082 edges, 34309 markings/sec, 105 secs
lola: 4187678 markings, 10707028 edges, 36529 markings/sec, 110 secs
lola: 4373394 markings, 11166396 edges, 37143 markings/sec, 115 secs
lola: 4546172 markings, 11644180 edges, 34556 markings/sec, 120 secs
lola: 4714915 markings, 12134675 edges, 33749 markings/sec, 125 secs
lola: 4880009 markings, 12515954 edges, 33019 markings/sec, 130 secs
lola: 5039125 markings, 12871436 edges, 31823 markings/sec, 135 secs
lola: 5199250 markings, 13250054 edges, 32025 markings/sec, 140 secs
lola: 5350195 markings, 13587534 edges, 30189 markings/sec, 145 secs
lola: 5528875 markings, 14029522 edges, 35736 markings/sec, 150 secs
lola: 5705257 markings, 14534400 edges, 35276 markings/sec, 155 secs
lola: 5894397 markings, 15020962 edges, 37828 markings/sec, 160 secs
lola: 6096001 markings, 15481263 edges, 40321 markings/sec, 165 secs
lola: 6286947 markings, 15962316 edges, 38189 markings/sec, 170 secs
lola: 6478322 markings, 16408745 edges, 38275 markings/sec, 175 secs
lola: 6654670 markings, 16873232 edges, 35270 markings/sec, 180 secs
lola: 6828490 markings, 17385937 edges, 34764 markings/sec, 185 secs
lola: 7000204 markings, 17934333 edges, 34343 markings/sec, 190 secs
lola: 7185203 markings, 18434150 edges, 37000 markings/sec, 195 secs
lola: 7381331 markings, 18911952 edges, 39226 markings/sec, 200 secs
lola: 7570685 markings, 19395589 edges, 37871 markings/sec, 205 secs
lola: 7764046 markings, 19878350 edges, 38672 markings/sec, 210 secs
lola: 7951005 markings, 20329777 edges, 37392 markings/sec, 215 secs
lola: 8128154 markings, 20819483 edges, 35430 markings/sec, 220 secs
lola: 8315469 markings, 21317646 edges, 37463 markings/sec, 225 secs
lola: 8487592 markings, 21848278 edges, 34425 markings/sec, 230 secs
lola: 8657665 markings, 22383265 edges, 34015 markings/sec, 235 secs
lola: 8830879 markings, 22910650 edges, 34643 markings/sec, 240 secs
lola: 9000846 markings, 23430896 edges, 33993 markings/sec, 245 secs
lola: 9172548 markings, 23991861 edges, 34340 markings/sec, 250 secs
lola: 9331857 markings, 24400138 edges, 31862 markings/sec, 255 secs
lola: 9512675 markings, 24857655 edges, 36164 markings/sec, 260 secs
lola: 9692149 markings, 25317534 edges, 35895 markings/sec, 265 secs
lola: 9876887 markings, 25782067 edges, 36948 markings/sec, 270 secs
lola: 10055946 markings, 26230538 edges, 35812 markings/sec, 275 secs
lola: 10225601 markings, 26714600 edges, 33931 markings/sec, 280 secs
lola: 10387531 markings, 27163419 edges, 32386 markings/sec, 285 secs
lola: 10541554 markings, 27521498 edges, 30805 markings/sec, 290 secs
lola: 10694710 markings, 27884697 edges, 30631 markings/sec, 295 secs
lola: 10862475 markings, 28295671 edges, 33553 markings/sec, 300 secs
lola: 11030511 markings, 28747359 edges, 33607 markings/sec, 305 secs
lola: 11183838 markings, 29116024 edges, 30665 markings/sec, 310 secs
lola: 11338351 markings, 29501546 edges, 30903 markings/sec, 315 secs
lola: 11495763 markings, 29888236 edges, 31482 markings/sec, 320 secs
lola: 11651723 markings, 30266627 edges, 31192 markings/sec, 325 secs
lola: 11808659 markings, 30652346 edges, 31387 markings/sec, 330 secs
lola: 11962695 markings, 31005155 edges, 30807 markings/sec, 335 secs
lola: 12114038 markings, 31366247 edges, 30269 markings/sec, 340 secs
lola: 12288516 markings, 31796758 edges, 34896 markings/sec, 345 secs
lola: 12481190 markings, 32250892 edges, 38535 markings/sec, 350 secs
lola: 12667722 markings, 32700579 edges, 37306 markings/sec, 355 secs
lola: 12849018 markings, 33191382 edges, 36259 markings/sec, 360 secs
lola: 13041959 markings, 33659535 edges, 38588 markings/sec, 365 secs
lola: 13228291 markings, 34120516 edges, 37266 markings/sec, 370 secs
lola: 13401849 markings, 34639490 edges, 34712 markings/sec, 375 secs
lola: 13574111 markings, 35168845 edges, 34452 markings/sec, 380 secs
lola: 13727718 markings, 35579390 edges, 30721 markings/sec, 385 secs
lola: 13880980 markings, 35949773 edges, 30652 markings/sec, 390 secs
lola: 14029657 markings, 36369850 edges, 29735 markings/sec, 395 secs
lola: 14195409 markings, 36829655 edges, 33150 markings/sec, 400 secs
lola: 14365946 markings, 37304931 edges, 34107 markings/sec, 405 secs
lola: 14520252 markings, 37810284 edges, 30861 markings/sec, 410 secs
lola: 14705300 markings, 38272132 edges, 37010 markings/sec, 415 secs
lola: 14888415 markings, 38749725 edges, 36623 markings/sec, 420 secs
lola: 15067423 markings, 39232055 edges, 35802 markings/sec, 425 secs
lola: 15236950 markings, 39758114 edges, 33905 markings/sec, 430 secs
lola: 15386282 markings, 40171756 edges, 29866 markings/sec, 435 secs
lola: 15550873 markings, 40623354 edges, 32918 markings/sec, 440 secs
lola: 15736106 markings, 41102310 edges, 37047 markings/sec, 445 secs
lola: 15924651 markings, 41570059 edges, 37709 markings/sec, 450 secs
lola: 16100624 markings, 42079164 edges, 35195 markings/sec, 455 secs
lola: 16259288 markings, 42580629 edges, 31733 markings/sec, 460 secs
lola: 16405268 markings, 43052301 edges, 29196 markings/sec, 465 secs
lola: 16545289 markings, 43635869 edges, 28004 markings/sec, 470 secs
lola: 16690216 markings, 44103139 edges, 28985 markings/sec, 475 secs
lola: 16834820 markings, 44580248 edges, 28921 markings/sec, 480 secs
lola: 16991280 markings, 45078976 edges, 31292 markings/sec, 485 secs
lola: 17139377 markings, 45624259 edges, 29619 markings/sec, 490 secs
lola: 17280956 markings, 46161466 edges, 28316 markings/sec, 495 secs
lola: 17430944 markings, 46636473 edges, 29998 markings/sec, 500 secs
lola: 17580455 markings, 47124791 edges, 29902 markings/sec, 505 secs
lola: 17756721 markings, 47503729 edges, 35253 markings/sec, 510 secs
lola: 17935558 markings, 47864456 edges, 35767 markings/sec, 515 secs
lola: 18112429 markings, 48233106 edges, 35374 markings/sec, 520 secs
lola: 18288754 markings, 48608045 edges, 35265 markings/sec, 525 secs
lola: 18462671 markings, 49062168 edges, 34783 markings/sec, 530 secs
lola: 18644971 markings, 49523837 edges, 36460 markings/sec, 535 secs
lola: 18826401 markings, 49968201 edges, 36286 markings/sec, 540 secs
lola: 19004360 markings, 50433105 edges, 35592 markings/sec, 545 secs
lola: 19170651 markings, 50884927 edges, 33258 markings/sec, 550 secs
lola: 19347074 markings, 51329223 edges, 35285 markings/sec, 555 secs
lola: 19504076 markings, 51700433 edges, 31400 markings/sec, 560 secs
lola: 19679705 markings, 52135004 edges, 35126 markings/sec, 565 secs
lola: 19842055 markings, 52517809 edges, 32470 markings/sec, 570 secs
lola: 20017729 markings, 52985301 edges, 35135 markings/sec, 575 secs
lola: 20198827 markings, 53457689 edges, 36220 markings/sec, 580 secs
lola: 20381287 markings, 53915585 edges, 36492 markings/sec, 585 secs
lola: 20556714 markings, 54384311 edges, 35085 markings/sec, 590 secs
lola: 20722061 markings, 54849163 edges, 33069 markings/sec, 595 secs
lola: 20891583 markings, 55329504 edges, 33904 markings/sec, 600 secs
lola: 21073973 markings, 55783693 edges, 36478 markings/sec, 605 secs
lola: 21252319 markings, 56245642 edges, 35669 markings/sec, 610 secs
lola: 21414190 markings, 56686206 edges, 32374 markings/sec, 615 secs
lola: 21572721 markings, 57083396 edges, 31706 markings/sec, 620 secs
lola: 21741228 markings, 57513465 edges, 33701 markings/sec, 625 secs
lola: 21909724 markings, 57937599 edges, 33699 markings/sec, 630 secs
lola: 22068542 markings, 58357621 edges, 31764 markings/sec, 635 secs
lola: 22229345 markings, 58740697 edges, 32161 markings/sec, 640 secs
lola: 22411144 markings, 59209708 edges, 36360 markings/sec, 645 secs
lola: 22592784 markings, 59672128 edges, 36328 markings/sec, 650 secs
lola: 22753547 markings, 60124047 edges, 32153 markings/sec, 655 secs
lola: 22903209 markings, 60542950 edges, 29932 markings/sec, 660 secs
lola: 23068791 markings, 60981430 edges, 33116 markings/sec, 665 secs
lola: 23242815 markings, 61455260 edges, 34805 markings/sec, 670 secs
lola: 23385975 markings, 61954131 edges, 28632 markings/sec, 675 secs
lola: 23558544 markings, 62366540 edges, 34514 markings/sec, 680 secs
lola: 23739752 markings, 62842074 edges, 36242 markings/sec, 685 secs
lola: 23921513 markings, 63307166 edges, 36352 markings/sec, 690 secs
lola: 24106014 markings, 63751904 edges, 36900 markings/sec, 695 secs
lola: 24273084 markings, 64211082 edges, 33414 markings/sec, 700 secs
lola: 24451624 markings, 64678114 edges, 35708 markings/sec, 705 secs
lola: 24629908 markings, 65132602 edges, 35657 markings/sec, 710 secs
lola: 24799408 markings, 65594259 edges, 33900 markings/sec, 715 secs
lola: 24959663 markings, 66041041 edges, 32051 markings/sec, 720 secs
lola: 25128995 markings, 66434959 edges, 33866 markings/sec, 725 secs
lola: 25287985 markings, 66848512 edges, 31798 markings/sec, 730 secs
lola: 25447313 markings, 67201440 edges, 31866 markings/sec, 735 secs
lola: 25628866 markings, 67649077 edges, 36311 markings/sec, 740 secs
lola: 25802914 markings, 68101333 edges, 34810 markings/sec, 745 secs
lola: 25969055 markings, 68560622 edges, 33228 markings/sec, 750 secs
lola: 26122274 markings, 68933910 edges, 30644 markings/sec, 755 secs
lola: 26282255 markings, 69321417 edges, 31996 markings/sec, 760 secs
lola: 26464602 markings, 69788455 edges, 36469 markings/sec, 765 secs
lola: 26632404 markings, 70193631 edges, 33560 markings/sec, 770 secs
lola: 26791757 markings, 70611736 edges, 31871 markings/sec, 775 secs
lola: 26968556 markings, 71073787 edges, 35360 markings/sec, 780 secs
lola: 27120209 markings, 71471465 edges, 30331 markings/sec, 785 secs
lola: 27281788 markings, 71873605 edges, 32316 markings/sec, 790 secs
lola: 27468407 markings, 72339639 edges, 37324 markings/sec, 795 secs
lola: 27641927 markings, 72802747 edges, 34704 markings/sec, 800 secs
lola: 27823526 markings, 73268541 edges, 36320 markings/sec, 805 secs
lola: 27988623 markings, 73746468 edges, 33019 markings/sec, 810 secs
lola: 28139428 markings, 74151750 edges, 30161 markings/sec, 815 secs
lola: 28288214 markings, 74575621 edges, 29757 markings/sec, 820 secs
lola: 28470800 markings, 75026448 edges, 36517 markings/sec, 825 secs
lola: 28622268 markings, 75518727 edges, 30294 markings/sec, 830 secs
lola: 28774541 markings, 76021709 edges, 30455 markings/sec, 835 secs
lola: 28954111 markings, 76424457 edges, 35914 markings/sec, 840 secs
lola: 29130442 markings, 76877237 edges, 35266 markings/sec, 845 secs
lola: 29297435 markings, 77306306 edges, 33399 markings/sec, 850 secs
lola: 29469208 markings, 77739887 edges, 34355 markings/sec, 855 secs
lola: 29630963 markings, 78146824 edges, 32351 markings/sec, 860 secs
lola: 29801013 markings, 78588293 edges, 34010 markings/sec, 865 secs
lola: 29977772 markings, 79042330 edges, 35352 markings/sec, 870 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 10 unknown unknown unknown unknown 5 unknown 10 10 unknown unknown unknown 5 unknown 10 unknown
FORMULA PermAdmissibility-COL-05-UpperBounds-0 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-5 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-7 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-8 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-12 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-14 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494653852615

--------------------
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-05"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-COL-05.tgz
mv PermAdmissibility-COL-05 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PermAdmissibility-COL-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r038-blw7-149440484900362"
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 ;