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

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

=== Now, execution of the tool begins

BK_START 1494686951641


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S10J40 @ 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: 13274/65536 symbol table entries, 4118 collisions
lola: preprocessing...
lola: finding significant places
lola: 894 places, 12380 transitions, 782 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2738 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J40-UpperBounds.task
lola: MAX(p245) : MAX(p137) : MAX(p1) : MAX(p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p643 + p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p881 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p880 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p879 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p878 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p877 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p876 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p875 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p874 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p873 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p862 + p852 + p842 + p832 + p822 + p812 + p802 + p792 + p782 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p772 + p762 + p752 + p742 + p732 + p722 + p712 + p702 + p692 + p682 + p672 + p662 + p652 + p642 + p632 + p622 + p612 + p602 + p592 + p582 + p572 + p562 + p552 + p542 + p532 + p522 + p512 + p502 + p492) : MAX(p436) : MAX(p137) : MAX(p246) : MAX(p0) : MAX(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) : MAX(p232) : MAX(p1) : MAX(p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242) : MAX(p436) : MAX(p135) : MAX(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) : MAX(p437)
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(p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2460 markings, 8176 edges, 492 markings/sec, 0 secs
lola: 4765 markings, 16625 edges, 461 markings/sec, 5 secs
lola: 7064 markings, 24245 edges, 460 markings/sec, 10 secs
lola: 9362 markings, 32716 edges, 460 markings/sec, 15 secs
lola: 11660 markings, 41461 edges, 460 markings/sec, 20 secs
lola: 13941 markings, 50187 edges, 456 markings/sec, 25 secs
lola: 16112 markings, 57580 edges, 434 markings/sec, 30 secs
lola: 18296 markings, 65327 edges, 437 markings/sec, 35 secs
lola: 20467 markings, 72917 edges, 434 markings/sec, 40 secs
lola: 22652 markings, 80504 edges, 437 markings/sec, 45 secs
lola: 24823 markings, 88177 edges, 434 markings/sec, 50 secs
lola: 27006 markings, 95656 edges, 437 markings/sec, 55 secs
lola: 29165 markings, 103479 edges, 432 markings/sec, 60 secs
lola: 31253 markings, 110508 edges, 418 markings/sec, 65 secs
lola: 33332 markings, 118121 edges, 416 markings/sec, 70 secs
lola: 35421 markings, 125084 edges, 418 markings/sec, 75 secs
lola: 37498 markings, 132628 edges, 415 markings/sec, 80 secs
lola: 39586 markings, 139620 edges, 418 markings/sec, 85 secs
lola: 41665 markings, 147271 edges, 416 markings/sec, 90 secs
lola: 43753 markings, 154189 edges, 418 markings/sec, 95 secs
lola: 45830 markings, 161856 edges, 415 markings/sec, 100 secs
lola: 47916 markings, 168751 edges, 417 markings/sec, 105 secs
lola: 49993 markings, 176515 edges, 415 markings/sec, 110 secs
lola: 52081 markings, 183348 edges, 418 markings/sec, 115 secs
lola: 54159 markings, 191051 edges, 416 markings/sec, 120 secs
lola: 56245 markings, 197915 edges, 417 markings/sec, 125 secs
lola: 58425 markings, 206192 edges, 436 markings/sec, 130 secs
lola: 60614 markings, 213225 edges, 438 markings/sec, 135 secs
lola: 62810 markings, 221213 edges, 439 markings/sec, 140 secs
lola: 64999 markings, 228468 edges, 438 markings/sec, 145 secs
lola: 67195 markings, 236454 edges, 439 markings/sec, 150 secs
lola: 69382 markings, 243817 edges, 437 markings/sec, 155 secs
lola: 71579 markings, 251617 edges, 439 markings/sec, 160 secs
lola: 73764 markings, 259229 edges, 437 markings/sec, 165 secs
lola: 75962 markings, 266887 edges, 440 markings/sec, 170 secs
lola: 78147 markings, 274580 edges, 437 markings/sec, 175 secs
lola: 80343 markings, 282116 edges, 439 markings/sec, 180 secs
lola: 82527 markings, 290026 edges, 437 markings/sec, 185 secs
lola: 84724 markings, 297409 edges, 439 markings/sec, 190 secs
lola: 86906 markings, 305490 edges, 436 markings/sec, 195 secs
lola: 89085 markings, 312742 edges, 436 markings/sec, 200 secs
lola: 91262 markings, 321013 edges, 435 markings/sec, 205 secs
lola: 93448 markings, 327990 edges, 437 markings/sec, 210 secs
lola: 95630 markings, 335961 edges, 436 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 4694 markings, 16453 edges, 939 markings/sec, 0 secs
lola: 8219 markings, 28278 edges, 705 markings/sec, 5 secs
lola: 11875 markings, 42025 edges, 731 markings/sec, 10 secs
lola: 15163 markings, 54236 edges, 658 markings/sec, 15 secs
lola: 17888 markings, 64069 edges, 545 markings/sec, 20 secs
lola: 20600 markings, 73256 edges, 542 markings/sec, 25 secs
lola: 23356 markings, 83265 edges, 551 markings/sec, 30 secs
lola: 26049 markings, 92246 edges, 539 markings/sec, 35 secs
lola: 28787 markings, 101970 edges, 548 markings/sec, 40 secs
lola: 31502 markings, 111476 edges, 543 markings/sec, 45 secs
lola: 34249 markings, 120906 edges, 549 markings/sec, 50 secs
lola: 37042 markings, 131253 edges, 559 markings/sec, 55 secs
lola: 39758 markings, 140171 edges, 543 markings/sec, 60 secs
lola: 42507 markings, 149899 edges, 550 markings/sec, 65 secs
lola: 45216 markings, 159446 edges, 542 markings/sec, 70 secs
lola: 47944 markings, 168793 edges, 546 markings/sec, 75 secs
lola: 50727 markings, 179338 edges, 557 markings/sec, 80 secs
lola: 53452 markings, 188060 edges, 545 markings/sec, 85 secs
lola: 56195 markings, 197821 edges, 549 markings/sec, 90 secs
lola: 58900 markings, 207257 edges, 541 markings/sec, 95 secs
lola: 61622 markings, 216613 edges, 544 markings/sec, 100 secs
lola: 64355 markings, 226710 edges, 547 markings/sec, 105 secs
lola: 67059 markings, 235698 edges, 541 markings/sec, 110 secs
lola: 69802 markings, 245578 edges, 549 markings/sec, 115 secs
lola: 72496 markings, 254715 edges, 539 markings/sec, 120 secs
lola: 75223 markings, 264230 edges, 545 markings/sec, 125 secs
lola: 77946 markings, 274085 edges, 545 markings/sec, 130 secs
lola: 80652 markings, 283298 edges, 541 markings/sec, 135 secs
lola: 83400 markings, 293183 edges, 550 markings/sec, 140 secs
lola: 86089 markings, 302211 edges, 538 markings/sec, 145 secs
lola: 88822 markings, 311961 edges, 547 markings/sec, 150 secs
lola: 91532 markings, 321444 edges, 542 markings/sec, 155 secs
lola: 94242 markings, 330737 edges, 542 markings/sec, 160 secs
lola: 96991 markings, 340929 edges, 550 markings/sec, 165 secs
lola: 99674 markings, 349677 edges, 537 markings/sec, 170 secs
lola: 102409 markings, 359425 edges, 547 markings/sec, 175 secs
lola: 105108 markings, 368835 edges, 540 markings/sec, 180 secs
lola: 107823 markings, 378205 edges, 543 markings/sec, 185 secs
lola: 110552 markings, 388311 edges, 546 markings/sec, 190 secs
lola: 113252 markings, 397205 edges, 540 markings/sec, 195 secs
lola: 115994 markings, 407003 edges, 548 markings/sec, 200 secs
lola: 118683 markings, 416278 edges, 538 markings/sec, 205 secs
lola: 121407 markings, 425716 edges, 545 markings/sec, 210 secs
lola: 124124 markings, 435573 edges, 543 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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2347 markings, 7749 edges, 469 markings/sec, 0 secs
lola: 4562 markings, 16033 edges, 443 markings/sec, 5 secs
lola: 6872 markings, 23605 edges, 462 markings/sec, 10 secs
lola: 9175 markings, 32121 edges, 461 markings/sec, 15 secs
lola: 11481 markings, 40636 edges, 461 markings/sec, 20 secs
lola: 13795 markings, 50159 edges, 463 markings/sec, 25 secs
lola: 15990 markings, 57125 edges, 439 markings/sec, 30 secs
lola: 18178 markings, 65225 edges, 438 markings/sec, 35 secs
lola: 20371 markings, 72357 edges, 439 markings/sec, 40 secs
lola: 22558 markings, 80350 edges, 437 markings/sec, 45 secs
lola: 24751 markings, 87710 edges, 439 markings/sec, 50 secs
lola: 26937 markings, 95561 edges, 437 markings/sec, 55 secs
lola: 29130 markings, 103034 edges, 439 markings/sec, 60 secs
lola: 31315 markings, 110805 edges, 437 markings/sec, 65 secs
lola: 33509 markings, 118435 edges, 439 markings/sec, 70 secs
lola: 35692 markings, 126121 edges, 437 markings/sec, 75 secs
lola: 37886 markings, 133757 edges, 439 markings/sec, 80 secs
lola: 40071 markings, 141295 edges, 437 markings/sec, 85 secs
lola: 42264 markings, 149132 edges, 439 markings/sec, 90 secs
lola: 44446 markings, 156591 edges, 436 markings/sec, 95 secs
lola: 46636 markings, 164525 edges, 438 markings/sec, 100 secs
lola: 48822 markings, 171859 edges, 437 markings/sec, 105 secs
lola: 51012 markings, 180000 edges, 438 markings/sec, 110 secs
lola: 53198 markings, 187233 edges, 437 markings/sec, 115 secs
lola: 55380 markings, 195597 edges, 436 markings/sec, 120 secs
lola: 57564 markings, 202510 edges, 437 markings/sec, 125 secs
lola: 59747 markings, 210588 edges, 437 markings/sec, 130 secs
lola: 61936 markings, 217735 edges, 438 markings/sec, 135 secs
lola: 64118 markings, 225699 edges, 436 markings/sec, 140 secs
lola: 66306 markings, 233054 edges, 438 markings/sec, 145 secs
lola: 68489 markings, 240911 edges, 437 markings/sec, 150 secs
lola: 70678 markings, 248344 edges, 438 markings/sec, 155 secs
lola: 72860 markings, 256055 edges, 436 markings/sec, 160 secs
lola: 75051 markings, 263682 edges, 438 markings/sec, 165 secs
lola: 77231 markings, 271355 edges, 436 markings/sec, 170 secs
lola: 79420 markings, 278980 edges, 438 markings/sec, 175 secs
lola: 81600 markings, 286531 edges, 436 markings/sec, 180 secs
lola: 83788 markings, 294337 edges, 438 markings/sec, 185 secs
lola: 85967 markings, 301798 edges, 436 markings/sec, 190 secs
lola: 88154 markings, 309711 edges, 437 markings/sec, 195 secs
lola: 90334 markings, 317032 edges, 436 markings/sec, 200 secs
lola: 92519 markings, 325141 edges, 437 markings/sec, 205 secs
lola: 94698 markings, 332383 edges, 436 markings/sec, 210 secs
lola: 96879 markings, 340782 edges, 436 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(p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p543 + p544 + p545... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2473 markings, 8241 edges, 495 markings/sec, 0 secs
lola: 4797 markings, 16707 edges, 465 markings/sec, 5 secs
lola: 7107 markings, 24352 edges, 462 markings/sec, 10 secs
lola: 9412 markings, 32872 edges, 461 markings/sec, 15 secs
lola: 11719 markings, 41475 edges, 461 markings/sec, 20 secs
lola: 14028 markings, 50739 edges, 462 markings/sec, 25 secs
lola: 16168 markings, 57883 edges, 428 markings/sec, 30 secs
lola: 18252 markings, 65522 edges, 417 markings/sec, 35 secs
lola: 20348 markings, 72326 edges, 419 markings/sec, 40 secs
lola: 22409 markings, 79760 edges, 412 markings/sec, 45 secs
lola: 24478 markings, 86758 edges, 414 markings/sec, 50 secs
lola: 26541 markings, 94178 edges, 413 markings/sec, 55 secs
lola: 28615 markings, 101333 edges, 415 markings/sec, 60 secs
lola: 30706 markings, 108512 edges, 418 markings/sec, 65 secs
lola: 32775 markings, 116077 edges, 414 markings/sec, 70 secs
lola: 34823 markings, 122944 edges, 410 markings/sec, 75 secs
lola: 36925 markings, 131057 edges, 420 markings/sec, 80 secs
lola: 39029 markings, 137674 edges, 421 markings/sec, 85 secs
lola: 41128 markings, 145336 edges, 420 markings/sec, 90 secs
lola: 43207 markings, 152250 edges, 416 markings/sec, 95 secs
lola: 45261 markings, 159591 edges, 411 markings/sec, 100 secs
lola: 47354 markings, 166843 edges, 419 markings/sec, 105 secs
lola: 49451 markings, 174162 edges, 419 markings/sec, 110 secs
lola: 51556 markings, 181583 edges, 421 markings/sec, 115 secs
lola: 53653 markings, 188834 edges, 419 markings/sec, 120 secs
lola: 55756 markings, 196478 edges, 421 markings/sec, 125 secs
lola: 57854 markings, 203516 edges, 420 markings/sec, 130 secs
lola: 59950 markings, 211571 edges, 419 markings/sec, 135 secs
lola: 62053 markings, 218157 edges, 421 markings/sec, 140 secs
lola: 64150 markings, 225832 edges, 419 markings/sec, 145 secs
lola: 66254 markings, 232812 edges, 421 markings/sec, 150 secs
lola: 68350 markings, 240397 edges, 419 markings/sec, 155 secs
lola: 70455 markings, 247593 edges, 421 markings/sec, 160 secs
lola: 72549 markings, 254934 edges, 419 markings/sec, 165 secs
lola: 74652 markings, 262362 edges, 421 markings/sec, 170 secs
lola: 76748 markings, 269540 edges, 419 markings/sec, 175 secs
lola: 78850 markings, 277220 edges, 420 markings/sec, 180 secs
lola: 80947 markings, 284229 edges, 419 markings/sec, 185 secs
lola: 83041 markings, 292381 edges, 419 markings/sec, 190 secs
lola: 85135 markings, 298890 edges, 419 markings/sec, 195 secs
lola: 87225 markings, 306542 edges, 418 markings/sec, 200 secs
lola: 89323 markings, 313481 edges, 420 markings/sec, 205 secs
lola: 91411 markings, 321013 edges, 418 markings/sec, 210 secs
lola: 93509 markings, 328230 edges, 420 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(p436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2372 markings, 7852 edges, 474 markings/sec, 0 secs
lola: 4589 markings, 16152 edges, 443 markings/sec, 5 secs
lola: 6798 markings, 23307 edges, 442 markings/sec, 10 secs
lola: 8997 markings, 31305 edges, 440 markings/sec, 15 secs
lola: 11195 markings, 39410 edges, 440 markings/sec, 20 secs
lola: 13396 markings, 48299 edges, 440 markings/sec, 25 secs
lola: 15578 markings, 55707 edges, 436 markings/sec, 30 secs
lola: 17751 markings, 63469 edges, 435 markings/sec, 35 secs
lola: 19935 markings, 70873 edges, 437 markings/sec, 40 secs
lola: 22078 markings, 78522 edges, 429 markings/sec, 45 secs
lola: 24230 markings, 86104 edges, 430 markings/sec, 50 secs
lola: 26420 markings, 93605 edges, 438 markings/sec, 55 secs
lola: 28622 markings, 101369 edges, 440 markings/sec, 60 secs
lola: 30814 markings, 108901 edges, 438 markings/sec, 65 secs
lola: 33012 markings, 116777 edges, 440 markings/sec, 70 secs
lola: 35202 markings, 124299 edges, 438 markings/sec, 75 secs
lola: 37401 markings, 132227 edges, 440 markings/sec, 80 secs
lola: 39592 markings, 139580 edges, 438 markings/sec, 85 secs
lola: 41789 markings, 147735 edges, 439 markings/sec, 90 secs
lola: 43981 markings, 154999 edges, 438 markings/sec, 95 secs
lola: 46174 markings, 163350 edges, 439 markings/sec, 100 secs
lola: 48366 markings, 170383 edges, 438 markings/sec, 105 secs
lola: 50556 markings, 178473 edges, 438 markings/sec, 110 secs
lola: 52753 markings, 185659 edges, 439 markings/sec, 115 secs
lola: 54943 markings, 193689 edges, 438 markings/sec, 120 secs
lola: 57140 markings, 200967 edges, 439 markings/sec, 125 secs
lola: 59328 markings, 208890 edges, 438 markings/sec, 130 secs
lola: 61525 markings, 216294 edges, 439 markings/sec, 135 secs
lola: 63713 markings, 224127 edges, 438 markings/sec, 140 secs
lola: 65911 markings, 231685 edges, 440 markings/sec, 145 secs
lola: 68047 markings, 239345 edges, 427 markings/sec, 150 secs
lola: 70144 markings, 246563 edges, 419 markings/sec, 155 secs
lola: 72231 markings, 253726 edges, 417 markings/sec, 160 secs
lola: 74326 markings, 261364 edges, 419 markings/sec, 165 secs
lola: 76413 markings, 268383 edges, 417 markings/sec, 170 secs
lola: 78503 markings, 276329 edges, 418 markings/sec, 175 secs
lola: 80591 markings, 283033 edges, 418 markings/sec, 180 secs
lola: 82678 markings, 290661 edges, 417 markings/sec, 185 secs
lola: 84772 markings, 297610 edges, 419 markings/sec, 190 secs
lola: 86857 markings, 305062 edges, 417 markings/sec, 195 secs
lola: 88953 markings, 312257 edges, 419 markings/sec, 200 secs
lola: 91036 markings, 319605 edges, 417 markings/sec, 205 secs
lola: 93131 markings, 326981 edges, 419 markings/sec, 210 secs
lola: 95216 markings, 334095 edges, 417 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 4772 markings, 16630 edges, 954 markings/sec, 0 secs
lola: 8329 markings, 28711 edges, 711 markings/sec, 5 secs
lola: 12016 markings, 42586 edges, 737 markings/sec, 10 secs
lola: 15286 markings, 54617 edges, 654 markings/sec, 15 secs
lola: 18039 markings, 64622 edges, 551 markings/sec, 20 secs
lola: 20774 markings, 74008 edges, 547 markings/sec, 25 secs
lola: 23543 markings, 83803 edges, 554 markings/sec, 30 secs
lola: 26265 markings, 93042 edges, 544 markings/sec, 35 secs
lola: 29027 markings, 102682 edges, 552 markings/sec, 40 secs
lola: 31777 markings, 112601 edges, 550 markings/sec, 45 secs
lola: 34512 markings, 121948 edges, 547 markings/sec, 50 secs
lola: 37287 markings, 131904 edges, 555 markings/sec, 55 secs
lola: 40023 markings, 141128 edges, 547 markings/sec, 60 secs
lola: 42800 markings, 150876 edges, 555 markings/sec, 65 secs
lola: 45562 markings, 160865 edges, 552 markings/sec, 70 secs
lola: 48314 markings, 170208 edges, 550 markings/sec, 75 secs
lola: 51103 markings, 180239 edges, 558 markings/sec, 80 secs
lola: 53835 markings, 189391 edges, 546 markings/sec, 85 secs
lola: 56612 markings, 199187 edges, 555 markings/sec, 90 secs
lola: 59368 markings, 209076 edges, 551 markings/sec, 95 secs
lola: 62117 markings, 218419 edges, 550 markings/sec, 100 secs
lola: 64905 markings, 228562 edges, 558 markings/sec, 105 secs
lola: 67635 markings, 237685 edges, 546 markings/sec, 110 secs
lola: 70408 markings, 247498 edges, 555 markings/sec, 115 secs
lola: 73160 markings, 257230 edges, 550 markings/sec, 120 secs
lola: 75909 markings, 266622 edges, 550 markings/sec, 125 secs
lola: 78695 markings, 276809 edges, 557 markings/sec, 130 secs
lola: 81423 markings, 285878 edges, 546 markings/sec, 135 secs
lola: 84193 markings, 295728 edges, 554 markings/sec, 140 secs
lola: 86939 markings, 305403 edges, 549 markings/sec, 145 secs
lola: 89686 markings, 314843 edges, 549 markings/sec, 150 secs
lola: 92470 markings, 325038 edges, 557 markings/sec, 155 secs
lola: 95190 markings, 334063 edges, 544 markings/sec, 160 secs
lola: 97957 markings, 343814 edges, 553 markings/sec, 165 secs
lola: 100700 markings, 353473 edges, 549 markings/sec, 170 secs
lola: 103446 markings, 362888 edges, 549 markings/sec, 175 secs
lola: 106229 markings, 373217 edges, 557 markings/sec, 180 secs
lola: 108946 markings, 382151 edges, 543 markings/sec, 185 secs
lola: 111713 markings, 391920 edges, 553 markings/sec, 190 secs
lola: 114460 markings, 401592 edges, 549 markings/sec, 195 secs
lola: 117209 markings, 411007 edges, 550 markings/sec, 200 secs
lola: 119989 markings, 421500 edges, 556 markings/sec, 205 secs
lola: 122703 markings, 430218 edges, 543 markings/sec, 210 secs
lola: 125468 markings, 440086 edges, 553 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(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2466 markings, 8200 edges, 493 markings/sec, 0 secs
lola: 4777 markings, 16642 edges, 462 markings/sec, 5 secs
lola: 7073 markings, 24228 edges, 459 markings/sec, 10 secs
lola: 9368 markings, 32716 edges, 459 markings/sec, 15 secs
lola: 11660 markings, 41244 edges, 458 markings/sec, 20 secs
lola: 13961 markings, 50561 edges, 460 markings/sec, 25 secs
lola: 16141 markings, 57827 edges, 436 markings/sec, 30 secs
lola: 18317 markings, 65834 edges, 435 markings/sec, 35 secs
lola: 20501 markings, 72880 edges, 437 markings/sec, 40 secs
lola: 22678 markings, 80833 edges, 435 markings/sec, 45 secs
lola: 24863 markings, 88074 edges, 437 markings/sec, 50 secs
lola: 27012 markings, 95872 edges, 430 markings/sec, 55 secs
lola: 29204 markings, 103248 edges, 438 markings/sec, 60 secs
lola: 31393 markings, 111065 edges, 438 markings/sec, 65 secs
lola: 33537 markings, 118507 edges, 429 markings/sec, 70 secs
lola: 35586 markings, 125649 edges, 410 markings/sec, 75 secs
lola: 37650 markings, 132997 edges, 413 markings/sec, 80 secs
lola: 39717 markings, 140025 edges, 413 markings/sec, 85 secs
lola: 41815 markings, 147820 edges, 420 markings/sec, 90 secs
lola: 43881 markings, 154728 edges, 413 markings/sec, 95 secs
lola: 45928 markings, 162318 edges, 409 markings/sec, 100 secs
lola: 48021 markings, 169070 edges, 419 markings/sec, 105 secs
lola: 50185 markings, 177013 edges, 433 markings/sec, 110 secs
lola: 52371 markings, 184279 edges, 437 markings/sec, 115 secs
lola: 54555 markings, 192093 edges, 437 markings/sec, 120 secs
lola: 56728 markings, 199533 edges, 435 markings/sec, 125 secs
lola: 58914 markings, 207299 edges, 437 markings/sec, 130 secs
lola: 61105 markings, 214970 edges, 438 markings/sec, 135 secs
lola: 63290 markings, 222546 edges, 437 markings/sec, 140 secs
lola: 65483 markings, 230328 edges, 439 markings/sec, 145 secs
lola: 67648 markings, 237721 edges, 433 markings/sec, 150 secs
lola: 69837 markings, 245632 edges, 438 markings/sec, 155 secs
lola: 72021 markings, 252986 edges, 437 markings/sec, 160 secs
lola: 74208 markings, 261002 edges, 437 markings/sec, 165 secs
lola: 76395 markings, 268303 edges, 437 markings/sec, 170 secs
lola: 78587 markings, 276509 edges, 438 markings/sec, 175 secs
lola: 80772 markings, 283783 edges, 437 markings/sec, 180 secs
lola: 82954 markings, 291883 edges, 436 markings/sec, 185 secs
lola: 85144 markings, 298914 edges, 438 markings/sec, 190 secs
lola: 87326 markings, 306942 edges, 436 markings/sec, 195 secs
lola: 89517 markings, 314153 edges, 438 markings/sec, 200 secs
lola: 91697 markings, 322210 edges, 436 markings/sec, 205 secs
lola: 93887 markings, 329480 edges, 438 markings/sec, 210 secs
lola: 96068 markings, 337253 edges, 436 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2453 markings, 8154 edges, 491 markings/sec, 0 secs
lola: 4757 markings, 16683 edges, 461 markings/sec, 5 secs
lola: 7075 markings, 24745 edges, 464 markings/sec, 10 secs
lola: 9396 markings, 33570 edges, 464 markings/sec, 15 secs
lola: 12481 markings, 43545 edges, 617 markings/sec, 20 secs
lola: 14794 markings, 50814 edges, 463 markings/sec, 25 secs
lola: 17914 markings, 59507 edges, 624 markings/sec, 30 secs
lola: 20038 markings, 66625 edges, 425 markings/sec, 35 secs
lola: 23138 markings, 75075 edges, 620 markings/sec, 40 secs
lola: 25591 markings, 82912 edges, 491 markings/sec, 45 secs
lola: 28378 markings, 90584 edges, 557 markings/sec, 50 secs
lola: 31504 markings, 99291 edges, 625 markings/sec, 55 secs
lola: 33618 markings, 106358 edges, 423 markings/sec, 60 secs
lola: 36718 markings, 114959 edges, 620 markings/sec, 65 secs
lola: 38858 markings, 122360 edges, 428 markings/sec, 70 secs
lola: 41954 markings, 130456 edges, 619 markings/sec, 75 secs
lola: 45073 markings, 139166 edges, 624 markings/sec, 80 secs
lola: 47190 markings, 146198 edges, 423 markings/sec, 85 secs
lola: 50301 markings, 154802 edges, 622 markings/sec, 90 secs
lola: 52427 markings, 161995 edges, 425 markings/sec, 95 secs
lola: 55523 markings, 170338 edges, 619 markings/sec, 100 secs
lola: 58126 markings, 178379 edges, 521 markings/sec, 105 secs
lola: 60755 markings, 185934 edges, 526 markings/sec, 110 secs
lola: 63870 markings, 194544 edges, 623 markings/sec, 115 secs
lola: 65984 markings, 201634 edges, 423 markings/sec, 120 secs
lola: 69073 markings, 210202 edges, 618 markings/sec, 125 secs
lola: 71212 markings, 217646 edges, 428 markings/sec, 130 secs
lola: 74305 markings, 225658 edges, 619 markings/sec, 135 secs
lola: 77437 markings, 234352 edges, 626 markings/sec, 140 secs
lola: 79535 markings, 241358 edges, 420 markings/sec, 145 secs
lola: 82639 markings, 249955 edges, 621 markings/sec, 150 secs
lola: 84764 markings, 257145 edges, 425 markings/sec, 155 secs
lola: 87856 markings, 265457 edges, 618 markings/sec, 160 secs
lola: 90517 markings, 273576 edges, 532 markings/sec, 165 secs
lola: 93082 markings, 281026 edges, 513 markings/sec, 170 secs
lola: 96197 markings, 289672 edges, 623 markings/sec, 175 secs
lola: 98268 markings, 296605 edges, 414 markings/sec, 180 secs
lola: 101379 markings, 305252 edges, 622 markings/sec, 185 secs
lola: 103538 markings, 312822 edges, 432 markings/sec, 190 secs
lola: 106647 markings, 320863 edges, 622 markings/sec, 195 secs
lola: 109794 markings, 329553 edges, 629 markings/sec, 200 secs
lola: 111914 markings, 336636 edges, 424 markings/sec, 205 secs
lola: 115031 markings, 345294 edges, 623 markings/sec, 210 secs
lola: 117180 markings, 352655 edges, 430 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(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2399 markings, 7935 edges, 480 markings/sec, 0 secs
lola: 4748 markings, 16560 edges, 470 markings/sec, 5 secs
lola: 7083 markings, 24262 edges, 467 markings/sec, 10 secs
lola: 9415 markings, 32888 edges, 466 markings/sec, 15 secs
lola: 11746 markings, 41541 edges, 466 markings/sec, 20 secs
lola: 14079 markings, 50838 edges, 467 markings/sec, 25 secs
lola: 16190 markings, 57909 edges, 422 markings/sec, 30 secs
lola: 18293 markings, 65717 edges, 421 markings/sec, 35 secs
lola: 20395 markings, 72459 edges, 420 markings/sec, 40 secs
lola: 22478 markings, 80111 edges, 417 markings/sec, 45 secs
lola: 24649 markings, 87332 edges, 434 markings/sec, 50 secs
lola: 26859 markings, 95229 edges, 442 markings/sec, 55 secs
lola: 29076 markings, 102852 edges, 443 markings/sec, 60 secs
lola: 31285 markings, 110676 edges, 442 markings/sec, 65 secs
lola: 33501 markings, 118425 edges, 443 markings/sec, 70 secs
lola: 35709 markings, 126144 edges, 442 markings/sec, 75 secs
lola: 37927 markings, 133906 edges, 444 markings/sec, 80 secs
lola: 40137 markings, 141527 edges, 442 markings/sec, 85 secs
lola: 42355 markings, 149418 edges, 444 markings/sec, 90 secs
lola: 44564 markings, 157003 edges, 442 markings/sec, 95 secs
lola: 46781 markings, 164973 edges, 443 markings/sec, 100 secs
lola: 48989 markings, 172459 edges, 442 markings/sec, 105 secs
lola: 51204 markings, 180537 edges, 443 markings/sec, 110 secs
lola: 53414 markings, 187919 edges, 442 markings/sec, 115 secs
lola: 55627 markings, 196136 edges, 443 markings/sec, 120 secs
lola: 57837 markings, 203460 edges, 442 markings/sec, 125 secs
lola: 60047 markings, 211789 edges, 442 markings/sec, 130 secs
lola: 62256 markings, 219033 edges, 442 markings/sec, 135 secs
lola: 64464 markings, 227197 edges, 442 markings/sec, 140 secs
lola: 66677 markings, 234348 edges, 443 markings/sec, 145 secs
lola: 68884 markings, 242499 edges, 441 markings/sec, 150 secs
lola: 71098 markings, 249794 edges, 443 markings/sec, 155 secs
lola: 73305 markings, 257822 edges, 441 markings/sec, 160 secs
lola: 75518 markings, 265218 edges, 443 markings/sec, 165 secs
lola: 77723 markings, 273209 edges, 441 markings/sec, 170 secs
lola: 79937 markings, 280660 edges, 443 markings/sec, 175 secs
lola: 82142 markings, 288545 edges, 441 markings/sec, 180 secs
lola: 84355 markings, 296181 edges, 443 markings/sec, 185 secs
lola: 86558 markings, 303980 edges, 441 markings/sec, 190 secs
lola: 88763 markings, 311712 edges, 441 markings/sec, 195 secs
lola: 90962 markings, 319314 edges, 440 markings/sec, 200 secs
lola: 93170 markings, 327141 edges, 442 markings/sec, 205 secs
lola: 95370 markings, 334651 edges, 440 markings/sec, 210 secs
lola: 97575 markings, 342587 edges, 441 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(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2339 markings, 7722 edges, 468 markings/sec, 0 secs
lola: 4635 markings, 16388 edges, 459 markings/sec, 5 secs
lola: 6911 markings, 23773 edges, 455 markings/sec, 10 secs
lola: 9183 markings, 32143 edges, 454 markings/sec, 15 secs
lola: 11453 markings, 40508 edges, 454 markings/sec, 20 secs
lola: 13732 markings, 49824 edges, 456 markings/sec, 25 secs
lola: 15905 markings, 56767 edges, 435 markings/sec, 30 secs
lola: 18064 markings, 64698 edges, 432 markings/sec, 35 secs
lola: 20231 markings, 71890 edges, 433 markings/sec, 40 secs
lola: 22387 markings, 79661 edges, 431 markings/sec, 45 secs
lola: 24555 markings, 87014 edges, 434 markings/sec, 50 secs
lola: 26712 markings, 94685 edges, 431 markings/sec, 55 secs
lola: 28878 markings, 102279 edges, 433 markings/sec, 60 secs
lola: 31033 markings, 109734 edges, 431 markings/sec, 65 secs
lola: 33200 markings, 117404 edges, 433 markings/sec, 70 secs
lola: 35356 markings, 124782 edges, 431 markings/sec, 75 secs
lola: 37521 markings, 132665 edges, 433 markings/sec, 80 secs
lola: 39676 markings, 139902 edges, 431 markings/sec, 85 secs
lola: 41838 markings, 147905 edges, 432 markings/sec, 90 secs
lola: 43994 markings, 155049 edges, 431 markings/sec, 95 secs
lola: 46153 markings, 163327 edges, 432 markings/sec, 100 secs
lola: 48312 markings, 170206 edges, 432 markings/sec, 105 secs
lola: 50466 markings, 178155 edges, 431 markings/sec, 110 secs
lola: 52631 markings, 185181 edges, 433 markings/sec, 115 secs
lola: 54786 markings, 193131 edges, 431 markings/sec, 120 secs
lola: 56951 markings, 200281 edges, 433 markings/sec, 125 secs
lola: 59105 markings, 208010 edges, 431 markings/sec, 130 secs
lola: 61270 markings, 215451 edges, 433 markings/sec, 135 secs
lola: 63422 markings, 223116 edges, 430 markings/sec, 140 secs
lola: 65586 markings, 230611 edges, 433 markings/sec, 145 secs
lola: 67740 markings, 238053 edges, 431 markings/sec, 150 secs
lola: 69903 markings, 245805 edges, 433 markings/sec, 155 secs
lola: 72055 markings, 253110 edges, 430 markings/sec, 160 secs
lola: 74217 markings, 261042 edges, 432 markings/sec, 165 secs
lola: 76370 markings, 268247 edges, 431 markings/sec, 170 secs
lola: 78527 markings, 276370 edges, 431 markings/sec, 175 secs
lola: 80680 markings, 283438 edges, 431 markings/sec, 180 secs
lola: 82833 markings, 291355 edges, 431 markings/sec, 185 secs
lola: 84994 markings, 298352 edges, 432 markings/sec, 190 secs
lola: 87144 markings, 306209 edges, 430 markings/sec, 195 secs
lola: 89305 markings, 313417 edges, 432 markings/sec, 200 secs
lola: 91455 markings, 321119 edges, 430 markings/sec, 205 secs
lola: 93616 markings, 328565 edges, 432 markings/sec, 210 secs
lola: 95759 markings, 336214 edges, 429 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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2353 markings, 7770 edges, 471 markings/sec, 0 secs
lola: 3921 markings, 13472 edges, 314 markings/sec, 5 secs
lola: 6225 markings, 21235 edges, 461 markings/sec, 10 secs
lola: 8521 markings, 29433 edges, 459 markings/sec, 15 secs
lola: 10813 markings, 37897 edges, 458 markings/sec, 20 secs
lola: 13100 markings, 47000 edges, 457 markings/sec, 25 secs
lola: 15318 markings, 54732 edges, 444 markings/sec, 30 secs
lola: 17412 markings, 62162 edges, 419 markings/sec, 35 secs
lola: 19595 markings, 69836 edges, 437 markings/sec, 40 secs
lola: 21678 markings, 76970 edges, 417 markings/sec, 45 secs
lola: 23870 markings, 84771 edges, 438 markings/sec, 50 secs
lola: 26037 markings, 92178 edges, 433 markings/sec, 55 secs
lola: 28150 markings, 99928 edges, 423 markings/sec, 60 secs
lola: 30326 markings, 107190 edges, 435 markings/sec, 65 secs
lola: 32411 markings, 115077 edges, 417 markings/sec, 70 secs
lola: 34593 markings, 122331 edges, 436 markings/sec, 75 secs
lola: 36687 markings, 129959 edges, 419 markings/sec, 80 secs
lola: 38773 markings, 136724 edges, 417 markings/sec, 85 secs
lola: 40936 markings, 144669 edges, 433 markings/sec, 90 secs
lola: 43021 markings, 151567 edges, 417 markings/sec, 95 secs
lola: 45185 markings, 159294 edges, 433 markings/sec, 100 secs
lola: 47267 markings, 166591 edges, 416 markings/sec, 105 secs
lola: 49344 markings, 173730 edges, 415 markings/sec, 110 secs
lola: 51499 markings, 181443 edges, 431 markings/sec, 115 secs
lola: 53591 markings, 188562 edges, 418 markings/sec, 120 secs
lola: 55757 markings, 196482 edges, 433 markings/sec, 125 secs
lola: 57835 markings, 203448 edges, 416 markings/sec, 130 secs
lola: 59999 markings, 211736 edges, 433 markings/sec, 135 secs
lola: 62078 markings, 218263 edges, 416 markings/sec, 140 secs
lola: 64240 markings, 226245 edges, 432 markings/sec, 145 secs
lola: 66411 markings, 233360 edges, 434 markings/sec, 150 secs
lola: 68484 markings, 240871 edges, 415 markings/sec, 155 secs
lola: 70654 markings, 248237 edges, 434 markings/sec, 160 secs
lola: 72729 markings, 255606 edges, 415 markings/sec, 165 secs
lola: 74897 markings, 263195 edges, 434 markings/sec, 170 secs
lola: 77041 markings, 270565 edges, 429 markings/sec, 175 secs
lola: 79138 markings, 278085 edges, 419 markings/sec, 180 secs
lola: 81299 markings, 285484 edges, 432 markings/sec, 185 secs
lola: 83379 markings, 293158 edges, 416 markings/sec, 190 secs
lola: 85539 markings, 300327 edges, 432 markings/sec, 195 secs
lola: 87612 markings, 308247 edges, 415 markings/sec, 200 secs
lola: 89689 markings, 314867 edges, 415 markings/sec, 205 secs
lola: 91852 markings, 322766 edges, 433 markings/sec, 210 secs
lola: 93934 markings, 329613 edges, 416 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(p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2683 markings, 4744 edges, 537 markings/sec, 0 secs
lola: 5295 markings, 8093 edges, 522 markings/sec, 5 secs
lola: 7909 markings, 11441 edges, 523 markings/sec, 10 secs
lola: 10514 markings, 14793 edges, 521 markings/sec, 15 secs
lola: 13129 markings, 18133 edges, 523 markings/sec, 20 secs
lola: 15732 markings, 21913 edges, 521 markings/sec, 25 secs
lola: 18337 markings, 28507 edges, 521 markings/sec, 30 secs
lola: 20947 markings, 31846 edges, 522 markings/sec, 35 secs
lola: 23553 markings, 35193 edges, 521 markings/sec, 40 secs
lola: 26163 markings, 38536 edges, 522 markings/sec, 45 secs
lola: 28770 markings, 41884 edges, 521 markings/sec, 50 secs
lola: 31381 markings, 48896 edges, 522 markings/sec, 55 secs
lola: 33982 markings, 52255 edges, 520 markings/sec, 60 secs
lola: 36593 markings, 55583 edges, 522 markings/sec, 65 secs
lola: 39194 markings, 58940 edges, 520 markings/sec, 70 secs
lola: 41808 markings, 62270 edges, 523 markings/sec, 75 secs
lola: 44409 markings, 65631 edges, 520 markings/sec, 80 secs
lola: 47020 markings, 72643 edges, 522 markings/sec, 85 secs
lola: 49621 markings, 76003 edges, 520 markings/sec, 90 secs
lola: 52233 markings, 79325 edges, 522 markings/sec, 95 secs
lola: 54835 markings, 82686 edges, 520 markings/sec, 100 secs
lola: 57453 markings, 86016 edges, 524 markings/sec, 105 secs
lola: 60049 markings, 89371 edges, 519 markings/sec, 110 secs
lola: 62656 markings, 96386 edges, 521 markings/sec, 115 secs
lola: 65261 markings, 99722 edges, 521 markings/sec, 120 secs
lola: 67866 markings, 103069 edges, 521 markings/sec, 125 secs
lola: 70473 markings, 106407 edges, 521 markings/sec, 130 secs
lola: 73082 markings, 109754 edges, 522 markings/sec, 135 secs
lola: 75686 markings, 113095 edges, 521 markings/sec, 140 secs
lola: 78289 markings, 120123 edges, 521 markings/sec, 145 secs
lola: 80902 markings, 123452 edges, 523 markings/sec, 150 secs
lola: 83499 markings, 126808 edges, 519 markings/sec, 155 secs
lola: 86113 markings, 130136 edges, 523 markings/sec, 160 secs
lola: 88715 markings, 133494 edges, 520 markings/sec, 165 secs
lola: 91327 markings, 136829 edges, 522 markings/sec, 170 secs
lola: 93923 markings, 143862 edges, 519 markings/sec, 175 secs
lola: 96542 markings, 147191 edges, 524 markings/sec, 180 secs
lola: 99137 markings, 150547 edges, 519 markings/sec, 185 secs
lola: 101756 markings, 153877 edges, 524 markings/sec, 190 secs
lola: 104355 markings, 157236 edges, 520 markings/sec, 195 secs
lola: 106969 markings, 160563 edges, 523 markings/sec, 200 secs
lola: 109564 markings, 167587 edges, 519 markings/sec, 205 secs
lola: 112170 markings, 170930 edges, 521 markings/sec, 210 secs
lola: 114776 markings, 174268 edges, 521 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(p436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 1415 markings, 4606 edges, 283 markings/sec, 0 secs
lola: 2654 markings, 8935 edges, 248 markings/sec, 5 secs
lola: 3893 markings, 13340 edges, 248 markings/sec, 10 secs
lola: 5133 markings, 17663 edges, 248 markings/sec, 15 secs
lola: 6370 markings, 21801 edges, 247 markings/sec, 20 secs
lola: 7604 markings, 26027 edges, 247 markings/sec, 25 secs
lola: 8837 markings, 30655 edges, 247 markings/sec, 30 secs
lola: 10074 markings, 35154 edges, 247 markings/sec, 35 secs
lola: 11308 markings, 39840 edges, 247 markings/sec, 40 secs
lola: 12543 markings, 44734 edges, 247 markings/sec, 45 secs
lola: 13783 markings, 50107 edges, 248 markings/sec, 50 secs
lola: 14962 markings, 53602 edges, 236 markings/sec, 55 secs
lola: 16133 markings, 57757 edges, 234 markings/sec, 60 secs
lola: 17304 markings, 61896 edges, 234 markings/sec, 65 secs
lola: 18477 markings, 66526 edges, 235 markings/sec, 70 secs
lola: 19652 markings, 70011 edges, 235 markings/sec, 75 secs
lola: 20823 markings, 74067 edges, 234 markings/sec, 80 secs
lola: 21992 markings, 78181 edges, 234 markings/sec, 85 secs
lola: 23167 markings, 82769 edges, 235 markings/sec, 90 secs
lola: 24338 markings, 86327 edges, 234 markings/sec, 95 secs
lola: 25506 markings, 90388 edges, 234 markings/sec, 100 secs
lola: 26672 markings, 94547 edges, 233 markings/sec, 105 secs
lola: 27844 markings, 99057 edges, 234 markings/sec, 110 secs
lola: 29014 markings, 102666 edges, 234 markings/sec, 115 secs
lola: 30182 markings, 106721 edges, 234 markings/sec, 120 secs
lola: 31349 markings, 110921 edges, 233 markings/sec, 125 secs
lola: 32521 markings, 115348 edges, 234 markings/sec, 130 secs
lola: 33690 markings, 118987 edges, 234 markings/sec, 135 secs
lola: 34857 markings, 123060 edges, 233 markings/sec, 140 secs
lola: 36022 markings, 127297 edges, 233 markings/sec, 145 secs
lola: 37194 markings, 131650 edges, 234 markings/sec, 150 secs
lola: 38361 markings, 135322 edges, 233 markings/sec, 155 secs
lola: 39528 markings, 139425 edges, 233 markings/sec, 160 secs
lola: 40694 markings, 143627 edges, 233 markings/sec, 165 secs
lola: 41866 markings, 147958 edges, 234 markings/sec, 170 secs
lola: 43034 markings, 151616 edges, 234 markings/sec, 175 secs
lola: 44201 markings, 155690 edges, 233 markings/sec, 180 secs
lola: 45570 markings, 160877 edges, 274 markings/sec, 185 secs
lola: 47414 markings, 167011 edges, 369 markings/sec, 190 secs
lola: 49155 markings, 173039 edges, 348 markings/sec, 195 secs
lola: 50967 markings, 179854 edges, 362 markings/sec, 200 secs
lola: 52681 markings, 185346 edges, 343 markings/sec, 205 secs
lola: 54431 markings, 191628 edges, 350 markings/sec, 210 secs
lola: 56490 markings, 198829 edges, 412 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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2453 markings, 8154 edges, 491 markings/sec, 0 secs
lola: 4765 markings, 16695 edges, 462 markings/sec, 5 secs
lola: 7092 markings, 24809 edges, 465 markings/sec, 10 secs
lola: 9423 markings, 33674 edges, 466 markings/sec, 15 secs
lola: 12577 markings, 43732 edges, 631 markings/sec, 20 secs
lola: 14850 markings, 51045 edges, 455 markings/sec, 25 secs
lola: 17992 markings, 59745 edges, 628 markings/sec, 30 secs
lola: 20143 markings, 66996 edges, 430 markings/sec, 35 secs
lola: 23268 markings, 75432 edges, 625 markings/sec, 40 secs
lola: 26031 markings, 83719 edges, 553 markings/sec, 45 secs
lola: 28556 markings, 91237 edges, 505 markings/sec, 50 secs
lola: 31701 markings, 100004 edges, 629 markings/sec, 55 secs
lola: 33845 markings, 107247 edges, 429 markings/sec, 60 secs
lola: 36968 markings, 115777 edges, 625 markings/sec, 65 secs
lola: 39466 markings, 123697 edges, 500 markings/sec, 70 secs
lola: 42254 markings, 131432 edges, 558 markings/sec, 75 secs
lola: 45402 markings, 140200 edges, 630 markings/sec, 80 secs
lola: 47539 markings, 147383 edges, 427 markings/sec, 85 secs
lola: 50659 markings, 156055 edges, 624 markings/sec, 90 secs
lola: 52882 markings, 163692 edges, 445 markings/sec, 95 secs
lola: 55945 markings, 171665 edges, 613 markings/sec, 100 secs
lola: 59098 markings, 180417 edges, 631 markings/sec, 105 secs
lola: 61227 markings, 187555 edges, 426 markings/sec, 110 secs
lola: 64351 markings, 196232 edges, 625 markings/sec, 115 secs
lola: 66509 markings, 203682 edges, 432 markings/sec, 120 secs
lola: 69620 markings, 211835 edges, 622 markings/sec, 125 secs
lola: 72772 markings, 220653 edges, 630 markings/sec, 130 secs
lola: 74901 markings, 227722 edges, 426 markings/sec, 135 secs
lola: 78030 markings, 236399 edges, 626 markings/sec, 140 secs
lola: 80180 markings, 243697 edges, 430 markings/sec, 145 secs
lola: 83297 markings, 252056 edges, 623 markings/sec, 150 secs
lola: 86131 markings, 260410 edges, 567 markings/sec, 155 secs
lola: 88572 markings, 267842 edges, 488 markings/sec, 160 secs
lola: 91708 markings, 276577 edges, 627 markings/sec, 165 secs
lola: 93849 markings, 283774 edges, 428 markings/sec, 170 secs
lola: 96957 markings, 292261 edges, 622 markings/sec, 175 secs
lola: 99412 markings, 300108 edges, 491 markings/sec, 180 secs
lola: 102202 markings, 307784 edges, 558 markings/sec, 185 secs
lola: 105331 markings, 316505 edges, 626 markings/sec, 190 secs
lola: 107446 markings, 323581 edges, 423 markings/sec, 195 secs
lola: 110547 markings, 332175 edges, 620 markings/sec, 200 secs
lola: 112689 markings, 339599 edges, 428 markings/sec, 205 secs
lola: 115787 markings, 347675 edges, 620 markings/sec, 210 secs
lola: 118925 markings, 356434 edges, 628 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(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2464 markings, 8186 edges, 493 markings/sec, 0 secs
lola: 4779 markings, 16644 edges, 463 markings/sec, 5 secs
lola: 7081 markings, 24252 edges, 460 markings/sec, 10 secs
lola: 9379 markings, 32744 edges, 460 markings/sec, 15 secs
lola: 11676 markings, 41291 edges, 459 markings/sec, 20 secs
lola: 13968 markings, 50572 edges, 458 markings/sec, 25 secs
lola: 16137 markings, 57791 edges, 434 markings/sec, 30 secs
lola: 18319 markings, 65836 edges, 436 markings/sec, 35 secs
lola: 20505 markings, 72884 edges, 437 markings/sec, 40 secs
lola: 22687 markings, 80891 edges, 436 markings/sec, 45 secs
lola: 24875 markings, 88119 edges, 438 markings/sec, 50 secs
lola: 27055 markings, 96033 edges, 436 markings/sec, 55 secs
lola: 29243 markings, 103369 edges, 438 markings/sec, 60 secs
lola: 31420 markings, 111193 edges, 435 markings/sec, 65 secs
lola: 33618 markings, 118770 edges, 440 markings/sec, 70 secs
lola: 35808 markings, 126499 edges, 438 markings/sec, 75 secs
lola: 38005 markings, 134199 edges, 439 markings/sec, 80 secs
lola: 40202 markings, 141798 edges, 439 markings/sec, 85 secs
lola: 42410 markings, 149650 edges, 442 markings/sec, 90 secs
lola: 44611 markings, 157145 edges, 440 markings/sec, 95 secs
lola: 46819 markings, 165087 edges, 442 markings/sec, 100 secs
lola: 49017 markings, 172598 edges, 440 markings/sec, 105 secs
lola: 51224 markings, 180610 edges, 441 markings/sec, 110 secs
lola: 53424 markings, 187954 edges, 440 markings/sec, 115 secs
lola: 55629 markings, 196138 edges, 441 markings/sec, 120 secs
lola: 57829 markings, 203418 edges, 440 markings/sec, 125 secs
lola: 60030 markings, 211771 edges, 440 markings/sec, 130 secs
lola: 62230 markings, 218904 edges, 440 markings/sec, 135 secs
lola: 64428 markings, 227027 edges, 440 markings/sec, 140 secs
lola: 66633 markings, 234218 edges, 441 markings/sec, 145 secs
lola: 68830 markings, 242244 edges, 439 markings/sec, 150 secs
lola: 71035 markings, 249551 edges, 441 markings/sec, 155 secs
lola: 73230 markings, 257579 edges, 439 markings/sec, 160 secs
lola: 75435 markings, 264944 edges, 441 markings/sec, 165 secs
lola: 77632 markings, 272811 edges, 439 markings/sec, 170 secs
lola: 79836 markings, 280364 edges, 441 markings/sec, 175 secs
lola: 82032 markings, 288154 edges, 439 markings/sec, 180 secs
lola: 84235 markings, 295886 edges, 441 markings/sec, 185 secs
lola: 86430 markings, 303496 edges, 439 markings/sec, 190 secs
lola: 88633 markings, 311231 edges, 441 markings/sec, 195 secs
lola: 90828 markings, 318801 edges, 439 markings/sec, 200 secs
lola: 93032 markings, 326681 edges, 441 markings/sec, 205 secs
lola: 95227 markings, 334138 edges, 439 markings/sec, 210 secs
lola: 97428 markings, 342166 edges, 440 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(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2444 markings, 8102 edges, 489 markings/sec, 0 secs
lola: 4769 markings, 16621 edges, 465 markings/sec, 5 secs
lola: 7081 markings, 24252 edges, 462 markings/sec, 10 secs
lola: 9389 markings, 32785 edges, 462 markings/sec, 15 secs
lola: 11696 markings, 41397 edges, 461 markings/sec, 20 secs
lola: 13996 markings, 50639 edges, 460 markings/sec, 25 secs
lola: 16176 markings, 57893 edges, 436 markings/sec, 30 secs
lola: 18355 markings, 65990 edges, 436 markings/sec, 35 secs
lola: 20539 markings, 73000 edges, 437 markings/sec, 40 secs
lola: 22718 markings, 81034 edges, 436 markings/sec, 45 secs
lola: 24905 markings, 88227 edges, 437 markings/sec, 50 secs
lola: 27081 markings, 96171 edges, 435 markings/sec, 55 secs
lola: 29268 markings, 103472 edges, 437 markings/sec, 60 secs
lola: 31446 markings, 111329 edges, 436 markings/sec, 65 secs
lola: 33632 markings, 118808 edges, 437 markings/sec, 70 secs
lola: 35805 markings, 126496 edges, 435 markings/sec, 75 secs
lola: 37990 markings, 134120 edges, 437 markings/sec, 80 secs
lola: 40163 markings, 141641 edges, 435 markings/sec, 85 secs
lola: 42348 markings, 149411 edges, 437 markings/sec, 90 secs
lola: 44525 markings, 156816 edges, 435 markings/sec, 95 secs
lola: 46709 markings, 164798 edges, 437 markings/sec, 100 secs
lola: 48886 markings, 172101 edges, 435 markings/sec, 105 secs
lola: 51068 markings, 180187 edges, 436 markings/sec, 110 secs
lola: 53243 markings, 187384 edges, 435 markings/sec, 115 secs
lola: 55416 markings, 195636 edges, 435 markings/sec, 120 secs
lola: 57582 markings, 202623 edges, 433 markings/sec, 125 secs
lola: 59761 markings, 210664 edges, 436 markings/sec, 130 secs
lola: 61945 markings, 217793 edges, 437 markings/sec, 135 secs
lola: 64118 markings, 225699 edges, 435 markings/sec, 140 secs
lola: 66298 markings, 233001 edges, 436 markings/sec, 145 secs
lola: 68469 markings, 240801 edges, 434 markings/sec, 150 secs
lola: 70648 markings, 248216 edges, 436 markings/sec, 155 secs
lola: 72814 markings, 255909 edges, 433 markings/sec, 160 secs
lola: 74901 markings, 263199 edges, 417 markings/sec, 165 secs
lola: 77077 markings, 270735 edges, 435 markings/sec, 170 secs
lola: 79242 markings, 278399 edges, 433 markings/sec, 175 secs
lola: 81397 markings, 285774 edges, 431 markings/sec, 180 secs
lola: 83559 markings, 293656 edges, 432 markings/sec, 185 secs
lola: 85716 markings, 300884 edges, 431 markings/sec, 190 secs
lola: 87877 markings, 308928 edges, 432 markings/sec, 195 secs
lola: 90051 markings, 316144 edges, 435 markings/sec, 200 secs
lola: 92162 markings, 324051 edges, 422 markings/sec, 205 secs
lola: 94359 markings, 331150 edges, 439 markings/sec, 210 secs
lola: 96548 markings, 339206 edges, 438 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-S10J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494690491603

--------------------
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-S10J40"
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-S10J40.tgz
mv PolyORBNT-COL-S10J40 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-S10J40, 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-149440926100065"
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 ;