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 PolyORBNT-COL-S10J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494682734685


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S10J30 @ 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: 12774/65536 symbol table entries, 4033 collisions
lola: preprocessing...
lola: finding significant places
lola: 694 places, 12080 transitions, 602 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2328 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J30-UpperBounds.task
lola: MAX(p519) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p512) : MAX(p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86) : MAX(p649) : MAX(p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439) : MAX(p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75) : MAX(p474 + p473 + p472 + p471 + p470 + p469 + p468 + p467 + p466 + p465 + p464 + p463 + p462 + p461 + p460 + p459 + p458 + p457 + p456 + p455 + p454 + p453 + p452 + p451 + p450 + p449 + p448 + p447 + p446 + p445 + p444) : MAX(p476) : MAX(p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75) : MAX(p2) : MAX(p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86) : MAX(p552) : MAX(p2) : MAX(p2) : MAX(p515)
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(p519)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3315 markings, 11504 edges, 663 markings/sec, 0 secs
lola: 6628 markings, 22853 edges, 663 markings/sec, 5 secs
lola: 9458 markings, 26500 edges, 566 markings/sec, 10 secs
lola: 12238 markings, 30305 edges, 556 markings/sec, 15 secs
lola: 15024 markings, 34192 edges, 557 markings/sec, 20 secs
lola: 17808 markings, 38023 edges, 557 markings/sec, 25 secs
lola: 20590 markings, 41890 edges, 556 markings/sec, 30 secs
lola: 23371 markings, 45780 edges, 556 markings/sec, 35 secs
lola: 26151 markings, 49649 edges, 556 markings/sec, 40 secs
lola: 28932 markings, 53542 edges, 556 markings/sec, 45 secs
lola: 31714 markings, 57499 edges, 556 markings/sec, 50 secs
lola: 34496 markings, 61454 edges, 556 markings/sec, 55 secs
lola: 37275 markings, 65475 edges, 556 markings/sec, 60 secs
lola: 40056 markings, 69582 edges, 556 markings/sec, 65 secs
lola: 42963 markings, 73923 edges, 581 markings/sec, 70 secs
lola: 45871 markings, 78462 edges, 582 markings/sec, 75 secs
lola: 48777 markings, 83342 edges, 581 markings/sec, 80 secs
lola: 51839 markings, 92647 edges, 612 markings/sec, 85 secs
lola: 54879 markings, 99595 edges, 608 markings/sec, 90 secs
lola: 57715 markings, 103918 edges, 567 markings/sec, 95 secs
lola: 60528 markings, 108697 edges, 563 markings/sec, 100 secs
lola: 63295 markings, 112933 edges, 553 markings/sec, 105 secs
lola: 66094 markings, 117370 edges, 560 markings/sec, 110 secs
lola: 68923 markings, 122000 edges, 566 markings/sec, 115 secs
lola: 71749 markings, 126477 edges, 565 markings/sec, 120 secs
lola: 74559 markings, 130929 edges, 562 markings/sec, 125 secs
lola: 77360 markings, 135632 edges, 560 markings/sec, 130 secs
lola: 80160 markings, 140026 edges, 560 markings/sec, 135 secs
lola: 82991 markings, 144754 edges, 566 markings/sec, 140 secs
lola: 85811 markings, 149179 edges, 564 markings/sec, 145 secs
lola: 88637 markings, 153819 edges, 565 markings/sec, 150 secs
lola: 91463 markings, 158642 edges, 565 markings/sec, 155 secs
lola: 94285 markings, 163236 edges, 564 markings/sec, 160 secs
lola: 97080 markings, 167784 edges, 559 markings/sec, 165 secs
lola: 99890 markings, 172503 edges, 562 markings/sec, 170 secs
lola: 102708 markings, 177318 edges, 564 markings/sec, 175 secs
lola: 105530 markings, 182234 edges, 564 markings/sec, 180 secs
lola: 108347 markings, 187025 edges, 563 markings/sec, 185 secs
lola: 111166 markings, 191990 edges, 564 markings/sec, 190 secs
lola: 113984 markings, 197033 edges, 564 markings/sec, 195 secs
lola: 116799 markings, 202180 edges, 563 markings/sec, 200 secs
lola: 119616 markings, 207697 edges, 563 markings/sec, 205 secs
lola: 122433 markings, 213761 edges, 563 markings/sec, 210 secs
lola: 125280 markings, 220788 edges, 569 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3299 markings, 11487 edges, 660 markings/sec, 0 secs
lola: 6582 markings, 22685 edges, 657 markings/sec, 5 secs
lola: 10060 markings, 27030 edges, 696 markings/sec, 10 secs
lola: 12817 markings, 30800 edges, 551 markings/sec, 15 secs
lola: 15573 markings, 34634 edges, 551 markings/sec, 20 secs
lola: 18328 markings, 38406 edges, 551 markings/sec, 25 secs
lola: 21085 markings, 42280 edges, 551 markings/sec, 30 secs
lola: 23839 markings, 46106 edges, 551 markings/sec, 35 secs
lola: 26596 markings, 49972 edges, 551 markings/sec, 40 secs
lola: 29351 markings, 53802 edges, 551 markings/sec, 45 secs
lola: 32107 markings, 57729 edges, 551 markings/sec, 50 secs
lola: 34862 markings, 61695 edges, 551 markings/sec, 55 secs
lola: 37617 markings, 65657 edges, 551 markings/sec, 60 secs
lola: 40373 markings, 69729 edges, 551 markings/sec, 65 secs
lola: 43129 markings, 73876 edges, 551 markings/sec, 70 secs
lola: 45885 markings, 78172 edges, 551 markings/sec, 75 secs
lola: 48641 markings, 82841 edges, 551 markings/sec, 80 secs
lola: 51679 markings, 92019 edges, 608 markings/sec, 85 secs
lola: 55645 markings, 99589 edges, 793 markings/sec, 90 secs
lola: 60338 markings, 104877 edges, 939 markings/sec, 95 secs
lola: 65044 markings, 110191 edges, 941 markings/sec, 100 secs
lola: 69770 markings, 115557 edges, 945 markings/sec, 105 secs
lola: 74419 markings, 120850 edges, 930 markings/sec, 110 secs
lola: 79097 markings, 126210 edges, 936 markings/sec, 115 secs
lola: 83816 markings, 131630 edges, 944 markings/sec, 120 secs
lola: 88494 markings, 137077 edges, 936 markings/sec, 125 secs
lola: 93161 markings, 142599 edges, 933 markings/sec, 130 secs
lola: 97852 markings, 148307 edges, 938 markings/sec, 135 secs
lola: 102534 markings, 154987 edges, 936 markings/sec, 140 secs
lola: 106650 markings, 160942 edges, 823 markings/sec, 145 secs
lola: 110715 markings, 166858 edges, 813 markings/sec, 150 secs
lola: 114592 markings, 172772 edges, 775 markings/sec, 155 secs
lola: 118441 markings, 178602 edges, 770 markings/sec, 160 secs
lola: 122299 markings, 184452 edges, 772 markings/sec, 165 secs
lola: 126067 markings, 190064 edges, 754 markings/sec, 170 secs
lola: 129758 markings, 195576 edges, 738 markings/sec, 175 secs
lola: 133508 markings, 201397 edges, 750 markings/sec, 180 secs
lola: 137254 markings, 207152 edges, 749 markings/sec, 185 secs
lola: 140998 markings, 212844 edges, 749 markings/sec, 190 secs
lola: 144596 markings, 218202 edges, 720 markings/sec, 195 secs
lola: 148274 markings, 223886 edges, 736 markings/sec, 200 secs
lola: 151934 markings, 229613 edges, 732 markings/sec, 205 secs
lola: 155477 markings, 234879 edges, 709 markings/sec, 210 secs
lola: 159101 markings, 240615 edges, 725 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(p512)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3309 markings, 11498 edges, 662 markings/sec, 0 secs
lola: 6611 markings, 22797 edges, 660 markings/sec, 5 secs
lola: 9898 markings, 26853 edges, 657 markings/sec, 10 secs
lola: 13205 markings, 31001 edges, 661 markings/sec, 15 secs
lola: 16546 markings, 35253 edges, 668 markings/sec, 20 secs
lola: 19891 markings, 39496 edges, 669 markings/sec, 25 secs
lola: 23217 markings, 43720 edges, 665 markings/sec, 30 secs
lola: 26553 markings, 48035 edges, 667 markings/sec, 35 secs
lola: 29864 markings, 52321 edges, 662 markings/sec, 40 secs
lola: 33210 markings, 56653 edges, 669 markings/sec, 45 secs
lola: 36536 markings, 61037 edges, 665 markings/sec, 50 secs
lola: 39851 markings, 65482 edges, 663 markings/sec, 55 secs
lola: 43190 markings, 70050 edges, 668 markings/sec, 60 secs
lola: 46515 markings, 74792 edges, 665 markings/sec, 65 secs
lola: 49851 markings, 80214 edges, 667 markings/sec, 70 secs
lola: 53191 markings, 91698 edges, 668 markings/sec, 75 secs
lola: 56504 markings, 95916 edges, 663 markings/sec, 80 secs
lola: 60044 markings, 100867 edges, 708 markings/sec, 85 secs
lola: 63434 markings, 105328 edges, 678 markings/sec, 90 secs
lola: 66868 markings, 110043 edges, 687 markings/sec, 95 secs
lola: 70361 markings, 114907 edges, 699 markings/sec, 100 secs
lola: 73794 markings, 119428 edges, 687 markings/sec, 105 secs
lola: 77225 markings, 124181 edges, 686 markings/sec, 110 secs
lola: 80655 markings, 128922 edges, 686 markings/sec, 115 secs
lola: 84101 markings, 133684 edges, 689 markings/sec, 120 secs
lola: 87564 markings, 138468 edges, 693 markings/sec, 125 secs
lola: 91007 markings, 143424 edges, 689 markings/sec, 130 secs
lola: 94411 markings, 148158 edges, 681 markings/sec, 135 secs
lola: 97895 markings, 153145 edges, 697 markings/sec, 140 secs
lola: 101320 markings, 157896 edges, 685 markings/sec, 145 secs
lola: 104771 markings, 162876 edges, 690 markings/sec, 150 secs
lola: 108198 markings, 167977 edges, 685 markings/sec, 155 secs
lola: 111628 markings, 173134 edges, 686 markings/sec, 160 secs
lola: 115058 markings, 178408 edges, 686 markings/sec, 165 secs
lola: 118486 markings, 184173 edges, 686 markings/sec, 170 secs
lola: 121937 markings, 190616 edges, 690 markings/sec, 175 secs
lola: 125695 markings, 195481 edges, 752 markings/sec, 180 secs
lola: 129579 markings, 200634 edges, 777 markings/sec, 185 secs
lola: 133370 markings, 205635 edges, 758 markings/sec, 190 secs
lola: 137212 markings, 210700 edges, 768 markings/sec, 195 secs
lola: 141108 markings, 216022 edges, 779 markings/sec, 200 secs
lola: 144927 markings, 221130 edges, 764 markings/sec, 205 secs
lola: 148819 markings, 226309 edges, 778 markings/sec, 210 secs
lola: 152666 markings, 231380 edges, 769 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(p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3290 markings, 11477 edges, 658 markings/sec, 0 secs
lola: 6593 markings, 22729 edges, 661 markings/sec, 5 secs
lola: 10086 markings, 27062 edges, 699 markings/sec, 10 secs
lola: 12861 markings, 30855 edges, 555 markings/sec, 15 secs
lola: 15640 markings, 34721 edges, 556 markings/sec, 20 secs
lola: 18416 markings, 38517 edges, 555 markings/sec, 25 secs
lola: 21196 markings, 42416 edges, 556 markings/sec, 30 secs
lola: 23971 markings, 46273 edges, 555 markings/sec, 35 secs
lola: 26749 markings, 50165 edges, 556 markings/sec, 40 secs
lola: 29527 markings, 54119 edges, 556 markings/sec, 45 secs
lola: 32303 markings, 58045 edges, 555 markings/sec, 50 secs
lola: 35078 markings, 62008 edges, 555 markings/sec, 55 secs
lola: 37850 markings, 66021 edges, 554 markings/sec, 60 secs
lola: 40624 markings, 70118 edges, 555 markings/sec, 65 secs
lola: 43398 markings, 74290 edges, 555 markings/sec, 70 secs
lola: 46169 markings, 78657 edges, 554 markings/sec, 75 secs
lola: 48939 markings, 83451 edges, 554 markings/sec, 80 secs
lola: 52057 markings, 93385 edges, 624 markings/sec, 85 secs
lola: 56255 markings, 100262 edges, 840 markings/sec, 90 secs
lola: 60971 markings, 105578 edges, 943 markings/sec, 95 secs
lola: 65683 markings, 110958 edges, 942 markings/sec, 100 secs
lola: 70346 markings, 116213 edges, 933 markings/sec, 105 secs
lola: 75096 markings, 121661 edges, 950 markings/sec, 110 secs
lola: 79802 markings, 127053 edges, 941 markings/sec, 115 secs
lola: 84482 markings, 132419 edges, 936 markings/sec, 120 secs
lola: 89200 markings, 137917 edges, 944 markings/sec, 125 secs
lola: 93908 markings, 143491 edges, 942 markings/sec, 130 secs
lola: 98622 markings, 149247 edges, 943 markings/sec, 135 secs
lola: 103341 markings, 156002 edges, 944 markings/sec, 140 secs
lola: 107467 markings, 162104 edges, 825 markings/sec, 145 secs
lola: 111458 markings, 168038 edges, 798 markings/sec, 150 secs
lola: 115381 markings, 174022 edges, 785 markings/sec, 155 secs
lola: 119257 markings, 179802 edges, 775 markings/sec, 160 secs
lola: 123043 markings, 185448 edges, 757 markings/sec, 165 secs
lola: 126763 markings, 191108 edges, 744 markings/sec, 170 secs
lola: 130577 markings, 196917 edges, 763 markings/sec, 175 secs
lola: 134365 markings, 202751 edges, 758 markings/sec, 180 secs
lola: 138144 markings, 208474 edges, 756 markings/sec, 185 secs
lola: 141744 markings, 213842 edges, 720 markings/sec, 190 secs
lola: 145455 markings, 219577 edges, 742 markings/sec, 195 secs
lola: 149186 markings, 225411 edges, 746 markings/sec, 200 secs
lola: 152819 markings, 230804 edges, 727 markings/sec, 205 secs
lola: 156481 markings, 236579 edges, 732 markings/sec, 210 secs
lola: 160091 markings, 242082 edges, 722 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(p649)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3316 markings, 11505 edges, 663 markings/sec, 0 secs
lola: 6642 markings, 22863 edges, 665 markings/sec, 5 secs
lola: 9476 markings, 26344 edges, 567 markings/sec, 10 secs
lola: 12262 markings, 30282 edges, 557 markings/sec, 15 secs
lola: 15049 markings, 34161 edges, 557 markings/sec, 20 secs
lola: 17828 markings, 37951 edges, 556 markings/sec, 25 secs
lola: 20545 markings, 41663 edges, 543 markings/sec, 30 secs
lola: 23436 markings, 45776 edges, 578 markings/sec, 35 secs
lola: 26347 markings, 49714 edges, 582 markings/sec, 40 secs
lola: 29261 markings, 53842 edges, 583 markings/sec, 45 secs
lola: 32174 markings, 57963 edges, 583 markings/sec, 50 secs
lola: 35089 markings, 62259 edges, 583 markings/sec, 55 secs
lola: 37999 markings, 66477 edges, 582 markings/sec, 60 secs
lola: 40911 markings, 70797 edges, 582 markings/sec, 65 secs
lola: 43821 markings, 75216 edges, 582 markings/sec, 70 secs
lola: 46731 markings, 79776 edges, 582 markings/sec, 75 secs
lola: 49647 markings, 85094 edges, 583 markings/sec, 80 secs
lola: 53107 markings, 97079 edges, 692 markings/sec, 85 secs
lola: 56143 markings, 100890 edges, 607 markings/sec, 90 secs
lola: 59187 markings, 105756 edges, 609 markings/sec, 95 secs
lola: 62199 markings, 109548 edges, 602 markings/sec, 100 secs
lola: 65196 markings, 114384 edges, 599 markings/sec, 105 secs
lola: 68144 markings, 118176 edges, 590 markings/sec, 110 secs
lola: 71049 markings, 122930 edges, 581 markings/sec, 115 secs
lola: 73965 markings, 126692 edges, 583 markings/sec, 120 secs
lola: 76942 markings, 131557 edges, 595 markings/sec, 125 secs
lola: 79909 markings, 136366 edges, 593 markings/sec, 130 secs
lola: 82879 markings, 140208 edges, 594 markings/sec, 135 secs
lola: 85865 markings, 145042 edges, 597 markings/sec, 140 secs
lola: 88839 markings, 149772 edges, 595 markings/sec, 145 secs
lola: 91813 markings, 153691 edges, 595 markings/sec, 150 secs
lola: 94800 markings, 158528 edges, 597 markings/sec, 155 secs
lola: 97781 markings, 163074 edges, 596 markings/sec, 160 secs
lola: 100759 markings, 167164 edges, 596 markings/sec, 165 secs
lola: 103744 markings, 171985 edges, 597 markings/sec, 170 secs
lola: 106729 markings, 176789 edges, 597 markings/sec, 175 secs
lola: 109701 markings, 180605 edges, 594 markings/sec, 180 secs
lola: 112685 markings, 185401 edges, 597 markings/sec, 185 secs
lola: 115668 markings, 190177 edges, 597 markings/sec, 190 secs
lola: 118641 markings, 194022 edges, 595 markings/sec, 195 secs
lola: 121624 markings, 198800 edges, 597 markings/sec, 200 secs
lola: 124607 markings, 203563 edges, 597 markings/sec, 205 secs
lola: 127591 markings, 208324 edges, 597 markings/sec, 210 secs
lola: 130565 markings, 212668 edges, 595 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(p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3457 markings, 11655 edges, 691 markings/sec, 0 secs
lola: 6917 markings, 23191 edges, 692 markings/sec, 5 secs
lola: 9842 markings, 27038 edges, 585 markings/sec, 10 secs
lola: 12740 markings, 30981 edges, 580 markings/sec, 15 secs
lola: 15636 markings, 34921 edges, 579 markings/sec, 20 secs
lola: 18535 markings, 38865 edges, 580 markings/sec, 25 secs
lola: 21433 markings, 42807 edges, 580 markings/sec, 30 secs
lola: 24330 markings, 46749 edges, 579 markings/sec, 35 secs
lola: 27225 markings, 50688 edges, 579 markings/sec, 40 secs
lola: 30119 markings, 54627 edges, 579 markings/sec, 45 secs
lola: 33017 markings, 58570 edges, 580 markings/sec, 50 secs
lola: 35908 markings, 62505 edges, 578 markings/sec, 55 secs
lola: 38800 markings, 66556 edges, 578 markings/sec, 60 secs
lola: 41692 markings, 70490 edges, 578 markings/sec, 65 secs
lola: 44581 markings, 74421 edges, 578 markings/sec, 70 secs
lola: 47470 markings, 78354 edges, 578 markings/sec, 75 secs
lola: 50425 markings, 87712 edges, 591 markings/sec, 80 secs
lola: 53834 markings, 98018 edges, 682 markings/sec, 85 secs
lola: 56857 markings, 102271 edges, 605 markings/sec, 90 secs
lola: 59882 markings, 107209 edges, 605 markings/sec, 95 secs
lola: 62843 markings, 111531 edges, 592 markings/sec, 100 secs
lola: 65808 markings, 116487 edges, 593 markings/sec, 105 secs
lola: 68770 markings, 120827 edges, 592 markings/sec, 110 secs
lola: 71734 markings, 125773 edges, 593 markings/sec, 115 secs
lola: 74696 markings, 130089 edges, 592 markings/sec, 120 secs
lola: 77660 markings, 135066 edges, 593 markings/sec, 125 secs
lola: 80613 markings, 139350 edges, 591 markings/sec, 130 secs
lola: 83467 markings, 144165 edges, 571 markings/sec, 135 secs
lola: 86317 markings, 148309 edges, 570 markings/sec, 140 secs
lola: 89162 markings, 152454 edges, 569 markings/sec, 145 secs
lola: 92015 markings, 157277 edges, 571 markings/sec, 150 secs
lola: 94863 markings, 161427 edges, 570 markings/sec, 155 secs
lola: 97718 markings, 166214 edges, 571 markings/sec, 160 secs
lola: 100560 markings, 170345 edges, 568 markings/sec, 165 secs
lola: 103403 markings, 175144 edges, 569 markings/sec, 170 secs
lola: 106241 markings, 179277 edges, 568 markings/sec, 175 secs
lola: 109082 markings, 184085 edges, 568 markings/sec, 180 secs
lola: 111893 markings, 188166 edges, 562 markings/sec, 185 secs
lola: 114705 markings, 192909 edges, 562 markings/sec, 190 secs
lola: 117533 markings, 197029 edges, 566 markings/sec, 195 secs
lola: 120374 markings, 201840 edges, 568 markings/sec, 200 secs
lola: 123210 markings, 205958 edges, 567 markings/sec, 205 secs
lola: 126054 markings, 210736 edges, 569 markings/sec, 210 secs
lola: 128893 markings, 214873 edges, 568 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3296 markings, 11484 edges, 659 markings/sec, 0 secs
lola: 6576 markings, 22664 edges, 656 markings/sec, 5 secs
lola: 10058 markings, 27026 edges, 696 markings/sec, 10 secs
lola: 12821 markings, 30807 edges, 553 markings/sec, 15 secs
lola: 15583 markings, 34649 edges, 552 markings/sec, 20 secs
lola: 18345 markings, 38426 edges, 552 markings/sec, 25 secs
lola: 21108 markings, 42308 edges, 553 markings/sec, 30 secs
lola: 23868 markings, 46143 edges, 552 markings/sec, 35 secs
lola: 26631 markings, 50017 edges, 553 markings/sec, 40 secs
lola: 29392 markings, 53854 edges, 552 markings/sec, 45 secs
lola: 32156 markings, 57788 edges, 553 markings/sec, 50 secs
lola: 34919 markings, 61813 edges, 553 markings/sec, 55 secs
lola: 37679 markings, 65808 edges, 552 markings/sec, 60 secs
lola: 40537 markings, 70011 edges, 572 markings/sec, 65 secs
lola: 43320 markings, 74195 edges, 557 markings/sec, 70 secs
lola: 46144 markings, 78607 edges, 565 markings/sec, 75 secs
lola: 48970 markings, 83492 edges, 565 markings/sec, 80 secs
lola: 52240 markings, 94041 edges, 654 markings/sec, 85 secs
lola: 56707 markings, 100825 edges, 893 markings/sec, 90 secs
lola: 61604 markings, 106327 edges, 979 markings/sec, 95 secs
lola: 66512 markings, 111854 edges, 982 markings/sec, 100 secs
lola: 71433 markings, 117472 edges, 984 markings/sec, 105 secs
lola: 76274 markings, 123013 edges, 968 markings/sec, 110 secs
lola: 81161 markings, 128590 edges, 977 markings/sec, 115 secs
lola: 86086 markings, 134307 edges, 985 markings/sec, 120 secs
lola: 90986 markings, 140010 edges, 980 markings/sec, 125 secs
lola: 95886 markings, 145872 edges, 980 markings/sec, 130 secs
lola: 100790 markings, 152092 edges, 981 markings/sec, 135 secs
lola: 105436 markings, 159068 edges, 929 markings/sec, 140 secs
lola: 109677 markings, 165201 edges, 848 markings/sec, 145 secs
lola: 113668 markings, 171359 edges, 798 markings/sec, 150 secs
lola: 117751 markings, 177455 edges, 817 markings/sec, 155 secs
lola: 121794 markings, 183670 edges, 809 markings/sec, 160 secs
lola: 125813 markings, 189729 edges, 804 markings/sec, 165 secs
lola: 129699 markings, 195499 edges, 777 markings/sec, 170 secs
lola: 133634 markings, 201568 edges, 787 markings/sec, 175 secs
lola: 137504 markings, 207535 edges, 774 markings/sec, 180 secs
lola: 141387 markings, 213364 edges, 777 markings/sec, 185 secs
lola: 145195 markings, 219227 edges, 762 markings/sec, 190 secs
lola: 149058 markings, 225242 edges, 773 markings/sec, 195 secs
lola: 152833 markings, 230818 edges, 755 markings/sec, 200 secs
lola: 156640 markings, 236827 edges, 761 markings/sec, 205 secs
lola: 160388 markings, 242482 edges, 750 markings/sec, 210 secs
lola: 164128 markings, 248386 edges, 748 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p474 + p473 + p472 + p471 + p470 + p469 + p468 + p467 + p466 + p465 + p464 + p463 + p462 + p461 + p460 + p459 + p458 + p457 + p456 + p455 + p454 + p453 + p452 + p451 + p450 + p449 + p448 + p447 + p446 + p445 + p444)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3295 markings, 11483 edges, 659 markings/sec, 0 secs
lola: 6578 markings, 22675 edges, 657 markings/sec, 5 secs
lola: 10059 markings, 27028 edges, 696 markings/sec, 10 secs
lola: 12821 markings, 30807 edges, 552 markings/sec, 15 secs
lola: 15581 markings, 34647 edges, 552 markings/sec, 20 secs
lola: 18342 markings, 38423 edges, 552 markings/sec, 25 secs
lola: 21105 markings, 42305 edges, 553 markings/sec, 30 secs
lola: 23863 markings, 46135 edges, 552 markings/sec, 35 secs
lola: 26626 markings, 50012 edges, 553 markings/sec, 40 secs
lola: 29386 markings, 53847 edges, 552 markings/sec, 45 secs
lola: 32147 markings, 57779 edges, 552 markings/sec, 50 secs
lola: 34909 markings, 61788 edges, 552 markings/sec, 55 secs
lola: 37669 markings, 65795 edges, 552 markings/sec, 60 secs
lola: 40429 markings, 69800 edges, 552 markings/sec, 65 secs
lola: 43186 markings, 73947 edges, 551 markings/sec, 70 secs
lola: 45946 markings, 78247 edges, 552 markings/sec, 75 secs
lola: 48707 markings, 83009 edges, 552 markings/sec, 80 secs
lola: 51758 markings, 92306 edges, 610 markings/sec, 85 secs
lola: 55774 markings, 99730 edges, 803 markings/sec, 90 secs
lola: 60459 markings, 105014 edges, 937 markings/sec, 95 secs
lola: 65169 markings, 110331 edges, 942 markings/sec, 100 secs
lola: 69879 markings, 115724 edges, 942 markings/sec, 105 secs
lola: 74723 markings, 121187 edges, 969 markings/sec, 110 secs
lola: 79696 markings, 126901 edges, 995 markings/sec, 115 secs
lola: 84635 markings, 132589 edges, 988 markings/sec, 120 secs
lola: 89619 markings, 138443 edges, 997 markings/sec, 125 secs
lola: 94556 markings, 144271 edges, 987 markings/sec, 130 secs
lola: 99528 markings, 150428 edges, 994 markings/sec, 135 secs
lola: 104377 markings, 157598 edges, 970 markings/sec, 140 secs
lola: 108763 markings, 163979 edges, 877 markings/sec, 145 secs
lola: 112860 markings, 170057 edges, 819 markings/sec, 150 secs
lola: 116852 markings, 176044 edges, 798 markings/sec, 155 secs
lola: 120934 markings, 182291 edges, 816 markings/sec, 160 secs
lola: 124998 markings, 188525 edges, 813 markings/sec, 165 secs
lola: 129047 markings, 194622 edges, 810 markings/sec, 170 secs
lola: 132922 markings, 200413 edges, 775 markings/sec, 175 secs
lola: 136925 markings, 206526 edges, 801 markings/sec, 180 secs
lola: 140901 markings, 212711 edges, 795 markings/sec, 185 secs
lola: 144717 markings, 218403 edges, 763 markings/sec, 190 secs
lola: 148638 markings, 224539 edges, 784 markings/sec, 195 secs
lola: 152497 markings, 230370 edges, 772 markings/sec, 200 secs
lola: 156106 markings, 235931 edges, 722 markings/sec, 205 secs
lola: 159769 markings, 241652 edges, 733 markings/sec, 210 secs
lola: 163346 markings, 247145 edges, 715 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p476)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3332 markings, 11522 edges, 666 markings/sec, 0 secs
lola: 6689 markings, 22913 edges, 671 markings/sec, 5 secs
lola: 10175 markings, 27171 edges, 697 markings/sec, 10 secs
lola: 12977 markings, 31064 edges, 560 markings/sec, 15 secs
lola: 15777 markings, 34892 edges, 560 markings/sec, 20 secs
lola: 18578 markings, 38774 edges, 560 markings/sec, 25 secs
lola: 21379 markings, 42644 edges, 560 markings/sec, 30 secs
lola: 24179 markings, 46531 edges, 560 markings/sec, 35 secs
lola: 26981 markings, 50520 edges, 560 markings/sec, 40 secs
lola: 29782 markings, 54434 edges, 560 markings/sec, 45 secs
lola: 32582 markings, 58413 edges, 560 markings/sec, 50 secs
lola: 35382 markings, 62460 edges, 560 markings/sec, 55 secs
lola: 38182 markings, 66519 edges, 560 markings/sec, 60 secs
lola: 40981 markings, 70646 edges, 560 markings/sec, 65 secs
lola: 43780 markings, 74887 edges, 560 markings/sec, 70 secs
lola: 46578 markings, 79314 edges, 560 markings/sec, 75 secs
lola: 49376 markings, 84303 edges, 560 markings/sec, 80 secs
lola: 52628 markings, 95455 edges, 650 markings/sec, 85 secs
lola: 57052 markings, 101186 edges, 885 markings/sec, 90 secs
lola: 61792 markings, 106524 edges, 948 markings/sec, 95 secs
lola: 66569 markings, 111917 edges, 955 markings/sec, 100 secs
lola: 71338 markings, 117372 edges, 954 markings/sec, 105 secs
lola: 76097 markings, 122749 edges, 952 markings/sec, 110 secs
lola: 80847 markings, 128236 edges, 950 markings/sec, 115 secs
lola: 85573 markings, 133682 edges, 945 markings/sec, 120 secs
lola: 90340 markings, 139234 edges, 953 markings/sec, 125 secs
lola: 95065 markings, 144883 edges, 945 markings/sec, 130 secs
lola: 100020 markings, 151067 edges, 991 markings/sec, 135 secs
lola: 104860 markings, 158294 edges, 968 markings/sec, 140 secs
lola: 109187 markings, 164547 edges, 865 markings/sec, 145 secs
lola: 113210 markings, 170528 edges, 805 markings/sec, 150 secs
lola: 117273 markings, 176815 edges, 813 markings/sec, 155 secs
lola: 121367 markings, 183018 edges, 819 markings/sec, 160 secs
lola: 125438 markings, 189224 edges, 814 markings/sec, 165 secs
lola: 129429 markings, 195139 edges, 798 markings/sec, 170 secs
lola: 133351 markings, 201186 edges, 784 markings/sec, 175 secs
lola: 137343 markings, 207286 edges, 798 markings/sec, 180 secs
lola: 141301 markings, 213249 edges, 792 markings/sec, 185 secs
lola: 145147 markings, 219161 edges, 769 markings/sec, 190 secs
lola: 149058 markings, 225242 edges, 782 markings/sec, 195 secs
lola: 152869 markings, 230869 edges, 762 markings/sec, 200 secs
lola: 156725 markings, 236958 edges, 771 markings/sec, 205 secs
lola: 160494 markings, 242624 edges, 754 markings/sec, 210 secs
lola: 164292 markings, 248636 edges, 760 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3438 markings, 11635 edges, 688 markings/sec, 0 secs
lola: 7017 markings, 23255 edges, 716 markings/sec, 5 secs
lola: 10486 markings, 27620 edges, 694 markings/sec, 10 secs
lola: 13389 markings, 31577 edges, 581 markings/sec, 15 secs
lola: 16295 markings, 35641 edges, 581 markings/sec, 20 secs
lola: 19201 markings, 39659 edges, 581 markings/sec, 25 secs
lola: 22105 markings, 43680 edges, 581 markings/sec, 30 secs
lola: 25009 markings, 47731 edges, 581 markings/sec, 35 secs
lola: 27910 markings, 51772 edges, 580 markings/sec, 40 secs
lola: 30813 markings, 55883 edges, 581 markings/sec, 45 secs
lola: 33711 markings, 60053 edges, 580 markings/sec, 50 secs
lola: 36614 markings, 64245 edges, 581 markings/sec, 55 secs
lola: 39514 markings, 68499 edges, 580 markings/sec, 60 secs
lola: 42414 markings, 72827 edges, 580 markings/sec, 65 secs
lola: 45317 markings, 77310 edges, 581 markings/sec, 70 secs
lola: 48216 markings, 82092 edges, 580 markings/sec, 75 secs
lola: 51331 markings, 90809 edges, 623 markings/sec, 80 secs
lola: 55439 markings, 99372 edges, 822 markings/sec, 85 secs
lola: 60333 markings, 104872 edges, 979 markings/sec, 90 secs
lola: 65299 markings, 110473 edges, 993 markings/sec, 95 secs
lola: 70204 markings, 116064 edges, 981 markings/sec, 100 secs
lola: 75147 markings, 121715 edges, 989 markings/sec, 105 secs
lola: 80054 markings, 127316 edges, 981 markings/sec, 110 secs
lola: 85005 markings, 133033 edges, 990 markings/sec, 115 secs
lola: 89893 markings, 138730 edges, 978 markings/sec, 120 secs
lola: 94840 markings, 144628 edges, 989 markings/sec, 125 secs
lola: 99751 markings, 150713 edges, 982 markings/sec, 130 secs
lola: 104578 markings, 157919 edges, 965 markings/sec, 135 secs
lola: 108906 markings, 164173 edges, 866 markings/sec, 140 secs
lola: 112951 markings, 170184 edges, 809 markings/sec, 145 secs
lola: 116926 markings, 176191 edges, 795 markings/sec, 150 secs
lola: 120985 markings, 182360 edges, 812 markings/sec, 155 secs
lola: 125019 markings, 188556 edges, 807 markings/sec, 160 secs
lola: 129043 markings, 194614 edges, 805 markings/sec, 165 secs
lola: 132893 markings, 200355 edges, 770 markings/sec, 170 secs
lola: 136871 markings, 206454 edges, 796 markings/sec, 175 secs
lola: 140816 markings, 212595 edges, 789 markings/sec, 180 secs
lola: 144619 markings, 218238 edges, 761 markings/sec, 185 secs
lola: 148500 markings, 224328 edges, 776 markings/sec, 190 secs
lola: 152319 markings, 230137 edges, 764 markings/sec, 195 secs
lola: 156073 markings, 235886 edges, 751 markings/sec, 200 secs
lola: 159867 markings, 241783 edges, 759 markings/sec, 205 secs
lola: 163576 markings, 247454 edges, 742 markings/sec, 210 secs
lola: 167302 markings, 253235 edges, 745 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3468 markings, 11667 edges, 694 markings/sec, 0 secs
lola: 7105 markings, 23347 edges, 727 markings/sec, 5 secs
lola: 10561 markings, 27715 edges, 691 markings/sec, 10 secs
lola: 13484 markings, 31696 edges, 585 markings/sec, 15 secs
lola: 16410 markings, 35785 edges, 585 markings/sec, 20 secs
lola: 19318 markings, 39806 edges, 582 markings/sec, 25 secs
lola: 22233 markings, 43875 edges, 583 markings/sec, 30 secs
lola: 25152 markings, 47909 edges, 584 markings/sec, 35 secs
lola: 28077 markings, 52049 edges, 585 markings/sec, 40 secs
lola: 30998 markings, 56185 edges, 584 markings/sec, 45 secs
lola: 33916 markings, 60308 edges, 584 markings/sec, 50 secs
lola: 36837 markings, 64522 edges, 584 markings/sec, 55 secs
lola: 39756 markings, 68801 edges, 584 markings/sec, 60 secs
lola: 42675 markings, 73204 edges, 584 markings/sec, 65 secs
lola: 45592 markings, 77734 edges, 583 markings/sec, 70 secs
lola: 48510 markings, 82611 edges, 584 markings/sec, 75 secs
lola: 51718 markings, 92166 edges, 642 markings/sec, 80 secs
lola: 56014 markings, 99994 edges, 859 markings/sec, 85 secs
lola: 61010 markings, 105622 edges, 999 markings/sec, 90 secs
lola: 65959 markings, 111257 edges, 990 markings/sec, 95 secs
lola: 70939 markings, 116869 edges, 996 markings/sec, 100 secs
lola: 75893 markings, 122523 edges, 991 markings/sec, 105 secs
lola: 80872 markings, 128276 edges, 996 markings/sec, 110 secs
lola: 85848 markings, 133984 edges, 995 markings/sec, 115 secs
lola: 90837 markings, 139846 edges, 998 markings/sec, 120 secs
lola: 95779 markings, 145756 edges, 988 markings/sec, 125 secs
lola: 100726 markings, 151997 edges, 989 markings/sec, 130 secs
lola: 105383 markings, 158997 edges, 931 markings/sec, 135 secs
lola: 109671 markings, 165195 edges, 858 markings/sec, 140 secs
lola: 113759 markings, 171523 edges, 818 markings/sec, 145 secs
lola: 117931 markings, 177812 edges, 834 markings/sec, 150 secs
lola: 122070 markings, 184138 edges, 828 markings/sec, 155 secs
lola: 126129 markings, 190153 edges, 812 markings/sec, 160 secs
lola: 130102 markings, 196245 edges, 795 markings/sec, 165 secs
lola: 134161 markings, 202442 edges, 812 markings/sec, 170 secs
lola: 138194 markings, 208539 edges, 807 markings/sec, 175 secs
lola: 142087 markings, 214476 edges, 779 markings/sec, 180 secs
lola: 146064 markings, 220593 edges, 795 markings/sec, 185 secs
lola: 149969 markings, 226462 edges, 781 markings/sec, 190 secs
lola: 153858 markings, 232540 edges, 778 markings/sec, 195 secs
lola: 157730 markings, 238410 edges, 774 markings/sec, 200 secs
lola: 161549 markings, 244390 edges, 764 markings/sec, 205 secs
lola: 165319 markings, 250083 edges, 754 markings/sec, 210 secs
lola: 169140 markings, 256180 edges, 764 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3464 markings, 11663 edges, 693 markings/sec, 0 secs
lola: 7101 markings, 23343 edges, 727 markings/sec, 5 secs
lola: 10565 markings, 27719 edges, 693 markings/sec, 10 secs
lola: 13495 markings, 31712 edges, 586 markings/sec, 15 secs
lola: 16428 markings, 35808 edges, 587 markings/sec, 20 secs
lola: 19357 markings, 39855 edges, 586 markings/sec, 25 secs
lola: 22288 markings, 43944 edges, 586 markings/sec, 30 secs
lola: 25213 markings, 47985 edges, 585 markings/sec, 35 secs
lola: 28145 markings, 52135 edges, 586 markings/sec, 40 secs
lola: 31073 markings, 56276 edges, 586 markings/sec, 45 secs
lola: 33931 markings, 60328 edges, 572 markings/sec, 50 secs
lola: 36709 markings, 64364 edges, 556 markings/sec, 55 secs
lola: 39433 markings, 68340 edges, 545 markings/sec, 60 secs
lola: 42192 markings, 72471 edges, 552 markings/sec, 65 secs
lola: 45054 markings, 76906 edges, 572 markings/sec, 70 secs
lola: 47819 markings, 81357 edges, 553 markings/sec, 75 secs
lola: 50645 markings, 88369 edges, 565 markings/sec, 80 secs
lola: 54399 markings, 98200 edges, 751 markings/sec, 85 secs
lola: 59069 markings, 103440 edges, 934 markings/sec, 90 secs
lola: 63748 markings, 108722 edges, 936 markings/sec, 95 secs
lola: 68361 markings, 113938 edges, 923 markings/sec, 100 secs
lola: 73231 markings, 119491 edges, 974 markings/sec, 105 secs
lola: 78214 markings, 125185 edges, 997 markings/sec, 110 secs
lola: 83193 markings, 130944 edges, 996 markings/sec, 115 secs
lola: 88151 markings, 136689 edges, 992 markings/sec, 120 secs
lola: 93130 markings, 142565 edges, 996 markings/sec, 125 secs
lola: 98121 markings, 148620 edges, 998 markings/sec, 130 secs
lola: 103096 markings, 155694 edges, 995 markings/sec, 135 secs
lola: 107493 markings, 162143 edges, 879 markings/sec, 140 secs
lola: 111715 markings, 168434 edges, 844 markings/sec, 145 secs
lola: 115682 markings, 174426 edges, 793 markings/sec, 150 secs
lola: 119717 markings, 180411 edges, 807 markings/sec, 155 secs
lola: 123709 markings, 186537 edges, 798 markings/sec, 160 secs
lola: 127788 markings, 192747 edges, 816 markings/sec, 165 secs
lola: 131840 markings, 198928 edges, 810 markings/sec, 170 secs
lola: 135772 markings, 204746 edges, 786 markings/sec, 175 secs
lola: 139729 markings, 210827 edges, 791 markings/sec, 180 secs
lola: 143705 markings, 217005 edges, 795 markings/sec, 185 secs
lola: 147542 markings, 222727 edges, 767 markings/sec, 190 secs
lola: 151464 markings, 228865 edges, 784 markings/sec, 195 secs
lola: 155303 markings, 234651 edges, 768 markings/sec, 200 secs
lola: 159139 markings, 240676 edges, 767 markings/sec, 205 secs
lola: 162918 markings, 246369 edges, 756 markings/sec, 210 secs
lola: 166718 markings, 252453 edges, 760 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p552)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 6083 markings, 20845 edges, 1217 markings/sec, 0 secs
lola: 10349 markings, 27448 edges, 853 markings/sec, 5 secs
lola: 13582 markings, 31875 edges, 647 markings/sec, 10 secs
lola: 16818 markings, 36353 edges, 647 markings/sec, 15 secs
lola: 20053 markings, 40791 edges, 647 markings/sec, 20 secs
lola: 23277 markings, 45341 edges, 645 markings/sec, 25 secs
lola: 26507 markings, 49863 edges, 646 markings/sec, 30 secs
lola: 29750 markings, 54353 edges, 649 markings/sec, 35 secs
lola: 32982 markings, 58982 edges, 646 markings/sec, 40 secs
lola: 36213 markings, 63659 edges, 646 markings/sec, 45 secs
lola: 39445 markings, 68365 edges, 646 markings/sec, 50 secs
lola: 42676 markings, 73205 edges, 646 markings/sec, 55 secs
lola: 45910 markings, 78211 edges, 647 markings/sec, 60 secs
lola: 49133 markings, 83847 edges, 645 markings/sec, 65 secs
lola: 54506 markings, 98319 edges, 1075 markings/sec, 70 secs
lola: 60043 markings, 104569 edges, 1107 markings/sec, 75 secs
lola: 65697 markings, 110980 edges, 1131 markings/sec, 80 secs
lola: 71331 markings, 117365 edges, 1127 markings/sec, 85 secs
lola: 76956 markings, 123747 edges, 1125 markings/sec, 90 secs
lola: 82590 markings, 130222 edges, 1127 markings/sec, 95 secs
lola: 88205 markings, 136745 edges, 1123 markings/sec, 100 secs
lola: 93844 markings, 143419 edges, 1128 markings/sec, 105 secs
lola: 99477 markings, 150338 edges, 1127 markings/sec, 110 secs
lola: 104775 markings, 158186 edges, 1060 markings/sec, 115 secs
lola: 109354 markings, 164768 edges, 916 markings/sec, 120 secs
lola: 113604 markings, 171228 edges, 850 markings/sec, 125 secs
lola: 118003 markings, 177775 edges, 880 markings/sec, 130 secs
lola: 122320 markings, 184476 edges, 863 markings/sec, 135 secs
lola: 126522 markings, 190676 edges, 840 markings/sec, 140 secs
lola: 130794 markings, 197212 edges, 854 markings/sec, 145 secs
lola: 135049 markings, 203780 edges, 851 markings/sec, 150 secs
lola: 139162 markings, 210024 edges, 823 markings/sec, 155 secs
lola: 143379 markings, 216490 edges, 843 markings/sec, 160 secs
lola: 147483 markings, 222602 edges, 821 markings/sec, 165 secs
lola: 151639 markings, 229106 edges, 831 markings/sec, 170 secs
lola: 155688 markings, 235306 edges, 810 markings/sec, 175 secs
lola: 159791 markings, 241685 edges, 821 markings/sec, 180 secs
lola: 163818 markings, 247797 edges, 805 markings/sec, 185 secs
lola: 167795 markings, 253989 edges, 795 markings/sec, 190 secs
lola: 171796 markings, 260220 edges, 800 markings/sec, 195 secs
lola: 175736 markings, 266442 edges, 788 markings/sec, 200 secs
lola: 179651 markings, 272615 edges, 783 markings/sec, 205 secs
lola: 183537 markings, 278723 edges, 777 markings/sec, 210 secs
lola: 187374 markings, 284743 edges, 767 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3444 markings, 11642 edges, 689 markings/sec, 0 secs
lola: 7038 markings, 23277 edges, 719 markings/sec, 5 secs
lola: 10498 markings, 27637 edges, 692 markings/sec, 10 secs
lola: 13396 markings, 31588 edges, 580 markings/sec, 15 secs
lola: 16277 markings, 35621 edges, 576 markings/sec, 20 secs
lola: 19161 markings, 39543 edges, 577 markings/sec, 25 secs
lola: 22059 markings, 43587 edges, 580 markings/sec, 30 secs
lola: 24957 markings, 47668 edges, 580 markings/sec, 35 secs
lola: 27857 markings, 51707 edges, 580 markings/sec, 40 secs
lola: 30757 markings, 55812 edges, 580 markings/sec, 45 secs
lola: 33655 markings, 59982 edges, 580 markings/sec, 50 secs
lola: 36553 markings, 64171 edges, 580 markings/sec, 55 secs
lola: 39450 markings, 68375 edges, 579 markings/sec, 60 secs
lola: 42347 markings, 72666 edges, 579 markings/sec, 65 secs
lola: 45245 markings, 77165 edges, 580 markings/sec, 70 secs
lola: 48140 markings, 81996 edges, 579 markings/sec, 75 secs
lola: 51245 markings, 90493 edges, 621 markings/sec, 80 secs
lola: 55340 markings, 99269 edges, 819 markings/sec, 85 secs
lola: 60230 markings, 104765 edges, 978 markings/sec, 90 secs
lola: 65187 markings, 110349 edges, 991 markings/sec, 95 secs
lola: 70117 markings, 115973 edges, 986 markings/sec, 100 secs
lola: 75067 markings, 121631 edges, 990 markings/sec, 105 secs
lola: 79972 markings, 127230 edges, 981 markings/sec, 110 secs
lola: 84916 markings, 132898 edges, 989 markings/sec, 115 secs
lola: 89819 markings, 138652 edges, 981 markings/sec, 120 secs
lola: 94756 markings, 144491 edges, 987 markings/sec, 125 secs
lola: 99668 markings, 150601 edges, 982 markings/sec, 130 secs
lola: 104497 markings, 157810 edges, 966 markings/sec, 135 secs
lola: 108833 markings, 164069 edges, 867 markings/sec, 140 secs
lola: 112877 markings, 170087 edges, 809 markings/sec, 145 secs
lola: 116831 markings, 176003 edges, 791 markings/sec, 150 secs
lola: 120870 markings, 182209 edges, 808 markings/sec, 155 secs
lola: 124902 markings, 188379 edges, 806 markings/sec, 160 secs
lola: 128918 markings, 194451 edges, 803 markings/sec, 165 secs
lola: 132775 markings, 200182 edges, 771 markings/sec, 170 secs
lola: 136713 markings, 206242 edges, 788 markings/sec, 175 secs
lola: 140646 markings, 212371 edges, 787 markings/sec, 180 secs
lola: 144481 markings, 218049 edges, 767 markings/sec, 185 secs
lola: 148330 markings, 223961 edges, 770 markings/sec, 190 secs
lola: 152190 markings, 229959 edges, 772 markings/sec, 195 secs
lola: 155934 markings, 235702 edges, 749 markings/sec, 200 secs
lola: 159734 markings, 241606 edges, 760 markings/sec, 205 secs
lola: 163452 markings, 247285 edges, 744 markings/sec, 210 secs
lola: 167188 markings, 253083 edges, 747 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 2058 markings, 7433 edges, 412 markings/sec, 0 secs
lola: 4004 markings, 13249 edges, 389 markings/sec, 5 secs
lola: 6071 markings, 20798 edges, 413 markings/sec, 10 secs
lola: 8188 markings, 24740 edges, 423 markings/sec, 15 secs
lola: 10148 markings, 27139 edges, 392 markings/sec, 20 secs
lola: 11764 markings, 29381 edges, 323 markings/sec, 25 secs
lola: 13374 markings, 31561 edges, 322 markings/sec, 30 secs
lola: 14991 markings, 33852 edges, 323 markings/sec, 35 secs
lola: 17409 markings, 37176 edges, 484 markings/sec, 40 secs
lola: 20343 markings, 41184 edges, 587 markings/sec, 45 secs
lola: 23277 markings, 45341 edges, 587 markings/sec, 50 secs
lola: 26210 markings, 49393 edges, 587 markings/sec, 55 secs
lola: 29143 markings, 53544 edges, 587 markings/sec, 60 secs
lola: 32077 markings, 57689 edges, 587 markings/sec, 65 secs
lola: 35012 markings, 61926 edges, 587 markings/sec, 70 secs
lola: 37934 markings, 66125 edges, 584 markings/sec, 75 secs
lola: 40868 markings, 70507 edges, 587 markings/sec, 80 secs
lola: 43800 markings, 74927 edges, 586 markings/sec, 85 secs
lola: 46732 markings, 79540 edges, 586 markings/sec, 90 secs
lola: 49664 markings, 84967 edges, 586 markings/sec, 95 secs
lola: 53211 markings, 96927 edges, 709 markings/sec, 100 secs
lola: 58063 markings, 102312 edges, 970 markings/sec, 105 secs
lola: 63033 markings, 107948 edges, 994 markings/sec, 110 secs
lola: 68025 markings, 113566 edges, 998 markings/sec, 115 secs
lola: 72986 markings, 119215 edges, 992 markings/sec, 120 secs
lola: 77990 markings, 124937 edges, 1001 markings/sec, 125 secs
lola: 83009 markings, 130737 edges, 1004 markings/sec, 130 secs
lola: 87987 markings, 136517 edges, 996 markings/sec, 135 secs
lola: 92961 markings, 142368 edges, 995 markings/sec, 140 secs
lola: 97951 markings, 148432 edges, 998 markings/sec, 145 secs
lola: 102958 markings, 155520 edges, 1001 markings/sec, 150 secs
lola: 107365 markings, 161960 edges, 881 markings/sec, 155 secs
lola: 111579 markings, 168230 edges, 843 markings/sec, 160 secs
lola: 115737 markings, 174499 edges, 832 markings/sec, 165 secs
lola: 119752 markings, 180460 edges, 803 markings/sec, 170 secs
lola: 123738 markings, 186595 edges, 797 markings/sec, 175 secs
lola: 127802 markings, 192775 edges, 813 markings/sec, 180 secs
lola: 131846 markings, 198934 edges, 809 markings/sec, 185 secs
lola: 135766 markings, 204736 edges, 784 markings/sec, 190 secs
lola: 139694 markings, 210783 edges, 786 markings/sec, 195 secs
lola: 143640 markings, 216922 edges, 789 markings/sec, 200 secs
lola: 147460 markings, 222572 edges, 764 markings/sec, 205 secs
lola: 151347 markings, 228688 edges, 777 markings/sec, 210 secs
lola: 155179 markings, 234486 edges, 766 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p515)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3666 markings, 12031 edges, 733 markings/sec, 0 secs
lola: 7574 markings, 23886 edges, 782 markings/sec, 5 secs
lola: 11275 markings, 28670 edges, 740 markings/sec, 10 secs
lola: 14532 markings, 33170 edges, 651 markings/sec, 15 secs
lola: 17793 markings, 37616 edges, 652 markings/sec, 20 secs
lola: 21035 markings, 42212 edges, 648 markings/sec, 25 secs
lola: 24300 markings, 46727 edges, 653 markings/sec, 30 secs
lola: 27547 markings, 51319 edges, 649 markings/sec, 35 secs
lola: 30791 markings, 55827 edges, 649 markings/sec, 40 secs
lola: 34018 markings, 60474 edges, 645 markings/sec, 45 secs
lola: 37251 markings, 65138 edges, 647 markings/sec, 50 secs
lola: 40482 markings, 69921 edges, 646 markings/sec, 55 secs
lola: 43719 markings, 74769 edges, 647 markings/sec, 60 secs
lola: 46968 markings, 79966 edges, 650 markings/sec, 65 secs
lola: 50245 markings, 86977 edges, 655 markings/sec, 70 secs
lola: 54435 markings, 98239 edges, 838 markings/sec, 75 secs
lola: 60022 markings, 104547 edges, 1117 markings/sec, 80 secs
lola: 65716 markings, 111003 edges, 1139 markings/sec, 85 secs
lola: 71376 markings, 117412 edges, 1132 markings/sec, 90 secs
lola: 77049 markings, 123849 edges, 1135 markings/sec, 95 secs
lola: 82724 markings, 130371 edges, 1135 markings/sec, 100 secs
lola: 88379 markings, 136950 edges, 1131 markings/sec, 105 secs
lola: 94053 markings, 143651 edges, 1135 markings/sec, 110 secs
lola: 99696 markings, 150630 edges, 1129 markings/sec, 115 secs
lola: 105008 markings, 158494 edges, 1062 markings/sec, 120 secs
lola: 109586 markings, 165083 edges, 916 markings/sec, 125 secs
lola: 113911 markings, 171685 edges, 865 markings/sec, 130 secs
lola: 118345 markings, 178250 edges, 887 markings/sec, 135 secs
lola: 122678 markings, 184957 edges, 867 markings/sec, 140 secs
lola: 126879 markings, 191337 edges, 840 markings/sec, 145 secs
lola: 131242 markings, 197812 edges, 873 markings/sec, 150 secs
lola: 135482 markings, 204358 edges, 848 markings/sec, 155 secs
lola: 139679 markings, 210730 edges, 839 markings/sec, 160 secs
lola: 143904 markings, 217274 edges, 845 markings/sec, 165 secs
lola: 148043 markings, 223517 edges, 828 markings/sec, 170 secs
lola: 152219 markings, 230001 edges, 835 markings/sec, 175 secs
lola: 156313 markings, 236227 edges, 819 markings/sec, 180 secs
lola: 160387 markings, 242481 edges, 815 markings/sec, 185 secs
lola: 164461 markings, 248935 edges, 815 markings/sec, 190 secs
lola: 168502 markings, 255052 edges, 808 markings/sec, 195 secs
lola: 172493 markings, 261306 edges, 798 markings/sec, 200 secs
lola: 176452 markings, 267522 edges, 792 markings/sec, 205 secs
lola: 180396 markings, 273728 edges, 789 markings/sec, 210 secs
lola: 184319 markings, 279893 edges, 785 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S10J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494686274324

--------------------
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="PolyORBNT-COL-S10J30"
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/PolyORBNT-COL-S10J30.tgz
mv PolyORBNT-COL-S10J30 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 PolyORBNT-COL-S10J30, 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 r058-smll-149440926100056"
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 ;