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 Peterson-COL-5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869500020
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494484559836


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Peterson-COL-5 @ 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: 2166/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 864 places, 1302 transitions, 841 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2028 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-5-UpperBounds.task
lola: MAX(p0 + p1 + p2 + p3 + p4 + p5) : MAX(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(p678 + p679 + p680 + p681 + p682 + p683) : MAX(p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677) : MAX(p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863) : MAX(p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677) : MAX(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(p0 + p1 + p2 + p3 + p4 + p5) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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 + p98 + p97 + p96 + p99) : MAX(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(p36 + p37 + p38 + p39 + p40 + p42 + p43 + p44 + p45 + p46 + p48 + p49 + p50 + p51 + p52 + p54 + p55 + p56 + p57 + p58 + p60 + p61 + p62 + p63 + p64 + p65 + p59 + p53 + p47 + p41) : MAX(p678 + p679 + p680 + p681 + p682 + p683) : MAX(p678 + p679 + p680 + p681 + p682 + p683) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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 + p98 + p97 + p96 + p99) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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 + p98 + p97 + p96 + p99) : MAX(p467 + p466 + p465 + p464 + p463 + p462 + p461 + p460 + p459 + p458 + p457 + p456)
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(p0 + p1 + p2 + p3 + p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 96866 markings, 261751 edges, 19373 markings/sec, 0 secs
lola: 187908 markings, 618717 edges, 18208 markings/sec, 5 secs
lola: 275347 markings, 1020186 edges, 17488 markings/sec, 10 secs
lola: 361164 markings, 1417132 edges, 17163 markings/sec, 15 secs
lola: 447994 markings, 1812737 edges, 17366 markings/sec, 20 secs
lola: 534913 markings, 2207059 edges, 17384 markings/sec, 25 secs
lola: 621466 markings, 2600244 edges, 17311 markings/sec, 30 secs
lola: 708477 markings, 2986399 edges, 17402 markings/sec, 35 secs
lola: 791715 markings, 3440036 edges, 16648 markings/sec, 40 secs
lola: 874077 markings, 3878707 edges, 16472 markings/sec, 45 secs
lola: 953865 markings, 4354549 edges, 15958 markings/sec, 50 secs
lola: 1044189 markings, 4658577 edges, 18065 markings/sec, 55 secs
lola: 1130272 markings, 5047260 edges, 17217 markings/sec, 60 secs
lola: 1216746 markings, 5431709 edges, 17295 markings/sec, 65 secs
lola: 1303233 markings, 5810604 edges, 17297 markings/sec, 70 secs
lola: 1390034 markings, 6185350 edges, 17360 markings/sec, 75 secs
lola: 1480810 markings, 6524066 edges, 18155 markings/sec, 80 secs
lola: 1565493 markings, 6942556 edges, 16937 markings/sec, 85 secs
lola: 1648748 markings, 7351762 edges, 16651 markings/sec, 90 secs
lola: 1718816 markings, 7929310 edges, 14014 markings/sec, 95 secs
lola: 1808985 markings, 8238680 edges, 18034 markings/sec, 100 secs
lola: 1898236 markings, 8535256 edges, 17850 markings/sec, 105 secs
lola: 1981585 markings, 8927357 edges, 16670 markings/sec, 110 secs
lola: 2066810 markings, 9300612 edges, 17045 markings/sec, 115 secs
lola: 2152174 markings, 9671261 edges, 17073 markings/sec, 120 secs
lola: 2237901 markings, 10034157 edges, 17145 markings/sec, 125 secs
lola: 2322635 markings, 10399438 edges, 16947 markings/sec, 130 secs
lola: 2408278 markings, 10763496 edges, 17129 markings/sec, 135 secs
lola: 2498359 markings, 11090242 edges, 18016 markings/sec, 140 secs
lola: 2578433 markings, 11547613 edges, 16015 markings/sec, 145 secs
lola: 2649426 markings, 12075117 edges, 14199 markings/sec, 150 secs
lola: 2738176 markings, 12344410 edges, 17750 markings/sec, 155 secs
lola: 2824607 markings, 12704567 edges, 17286 markings/sec, 160 secs
lola: 2909974 markings, 13087509 edges, 17073 markings/sec, 165 secs
lola: 2993214 markings, 13469594 edges, 16648 markings/sec, 170 secs
lola: 3075625 markings, 13859598 edges, 16482 markings/sec, 175 secs
lola: 3158849 markings, 14255026 edges, 16645 markings/sec, 180 secs
lola: 3240753 markings, 14624614 edges, 16381 markings/sec, 185 secs
lola: 3324733 markings, 14990968 edges, 16796 markings/sec, 190 secs
lola: 3403632 markings, 15426024 edges, 15780 markings/sec, 195 secs
lola: 3480836 markings, 15843952 edges, 15441 markings/sec, 200 secs
lola: 3549630 markings, 16363287 edges, 13759 markings/sec, 205 secs
lola: 3639026 markings, 16618850 edges, 17879 markings/sec, 210 secs
lola: 3724058 markings, 16985782 edges, 17006 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(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 85302 markings, 206739 edges, 17060 markings/sec, 0 secs
lola: 166836 markings, 538017 edges, 16307 markings/sec, 5 secs
lola: 241918 markings, 988668 edges, 15016 markings/sec, 10 secs
lola: 316761 markings, 1440018 edges, 14969 markings/sec, 15 secs
lola: 391869 markings, 1889914 edges, 15022 markings/sec, 20 secs
lola: 466971 markings, 2341389 edges, 15020 markings/sec, 25 secs
lola: 541888 markings, 2790937 edges, 14983 markings/sec, 30 secs
lola: 615721 markings, 3233898 edges, 14767 markings/sec, 35 secs
lola: 689352 markings, 3674846 edges, 14726 markings/sec, 40 secs
lola: 763813 markings, 4122537 edges, 14892 markings/sec, 45 secs
lola: 837354 markings, 4562195 edges, 14708 markings/sec, 50 secs
lola: 910606 markings, 4999607 edges, 14650 markings/sec, 55 secs
lola: 983515 markings, 5436732 edges, 14582 markings/sec, 60 secs
lola: 1058430 markings, 5889905 edges, 14983 markings/sec, 65 secs
lola: 1133096 markings, 6340030 edges, 14933 markings/sec, 70 secs
lola: 1195966 markings, 6961894 edges, 12574 markings/sec, 75 secs
lola: 1279063 markings, 7226653 edges, 16619 markings/sec, 80 secs
lola: 1352921 markings, 7672333 edges, 14772 markings/sec, 85 secs
lola: 1426748 markings, 8116550 edges, 14765 markings/sec, 90 secs
lola: 1501136 markings, 8563018 edges, 14878 markings/sec, 95 secs
lola: 1575670 markings, 9009907 edges, 14907 markings/sec, 100 secs
lola: 1647893 markings, 9443717 edges, 14445 markings/sec, 105 secs
lola: 1721513 markings, 9884439 edges, 14724 markings/sec, 110 secs
lola: 1795865 markings, 10331264 edges, 14870 markings/sec, 115 secs
lola: 1869451 markings, 10769785 edges, 14717 markings/sec, 120 secs
lola: 1943300 markings, 11210535 edges, 14770 markings/sec, 125 secs
lola: 2021153 markings, 11598012 edges, 15571 markings/sec, 130 secs
lola: 2092186 markings, 12107616 edges, 14207 markings/sec, 135 secs
lola: 2166616 markings, 12554036 edges, 14886 markings/sec, 140 secs
lola: 2219114 markings, 13312148 edges, 10500 markings/sec, 145 secs
lola: 2304087 markings, 13570880 edges, 16995 markings/sec, 150 secs
lola: 2387784 markings, 13831170 edges, 16739 markings/sec, 155 secs
lola: 2461242 markings, 14274367 edges, 14692 markings/sec, 160 secs
lola: 2534182 markings, 14713494 edges, 14588 markings/sec, 165 secs
lola: 2608819 markings, 15160788 edges, 14927 markings/sec, 170 secs
lola: 2683087 markings, 15605685 edges, 14854 markings/sec, 175 secs
lola: 2757300 markings, 16053442 edges, 14843 markings/sec, 180 secs
lola: 2830565 markings, 16492699 edges, 14653 markings/sec, 185 secs
lola: 2902846 markings, 16923937 edges, 14456 markings/sec, 190 secs
lola: 2975923 markings, 17364697 edges, 14615 markings/sec, 195 secs
lola: 3049552 markings, 17806247 edges, 14726 markings/sec, 200 secs
lola: 3122180 markings, 18239367 edges, 14526 markings/sec, 205 secs
lola: 3194104 markings, 18670227 edges, 14385 markings/sec, 210 secs
lola: 3269219 markings, 19061790 edges, 15023 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(p678 + p679 + p680 + p681 + p682 + p683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 93511 markings, 251191 edges, 18702 markings/sec, 0 secs
lola: 184236 markings, 599831 edges, 18145 markings/sec, 5 secs
lola: 272397 markings, 995087 edges, 17632 markings/sec, 10 secs
lola: 360903 markings, 1382959 edges, 17701 markings/sec, 15 secs
lola: 446786 markings, 1780949 edges, 17177 markings/sec, 20 secs
lola: 532155 markings, 2180975 edges, 17074 markings/sec, 25 secs
lola: 616811 markings, 2580929 edges, 16931 markings/sec, 30 secs
lola: 702262 markings, 2967220 edges, 17090 markings/sec, 35 secs
lola: 784912 markings, 3402770 edges, 16530 markings/sec, 40 secs
lola: 865991 markings, 3838234 edges, 16216 markings/sec, 45 secs
lola: 943804 markings, 4321198 edges, 15563 markings/sec, 50 secs
lola: 1033425 markings, 4603208 edges, 17924 markings/sec, 55 secs
lola: 1117406 markings, 4988742 edges, 16796 markings/sec, 60 secs
lola: 1203379 markings, 5357304 edges, 17195 markings/sec, 65 secs
lola: 1286875 markings, 5748427 edges, 16699 markings/sec, 70 secs
lola: 1372570 markings, 6110477 edges, 17139 markings/sec, 75 secs
lola: 1462065 markings, 6461579 edges, 17899 markings/sec, 80 secs
lola: 1547038 markings, 6844702 edges, 16995 markings/sec, 85 secs
lola: 1630456 markings, 7239933 edges, 16684 markings/sec, 90 secs
lola: 1700091 markings, 7789963 edges, 13927 markings/sec, 95 secs
lola: 1784536 markings, 8168395 edges, 16889 markings/sec, 100 secs
lola: 1873577 markings, 8443528 edges, 17808 markings/sec, 105 secs
lola: 1957354 markings, 8805469 edges, 16755 markings/sec, 110 secs
lola: 2041505 markings, 9172417 edges, 16830 markings/sec, 115 secs
lola: 2125517 markings, 9538746 edges, 16802 markings/sec, 120 secs
lola: 2210173 markings, 9896712 edges, 16931 markings/sec, 125 secs
lola: 2293869 markings, 10258099 edges, 16739 markings/sec, 130 secs
lola: 2378187 markings, 10621137 edges, 16864 markings/sec, 135 secs
lola: 2467883 markings, 10930901 edges, 17939 markings/sec, 140 secs
lola: 2546545 markings, 11381856 edges, 15732 markings/sec, 145 secs
lola: 2618641 markings, 11879558 edges, 14419 markings/sec, 150 secs
lola: 2700410 markings, 12219584 edges, 16354 markings/sec, 155 secs
lola: 2785897 markings, 12534753 edges, 17097 markings/sec, 160 secs
lola: 2870351 markings, 12907787 edges, 16891 markings/sec, 165 secs
lola: 2954163 markings, 13278179 edges, 16762 markings/sec, 170 secs
lola: 3037763 markings, 13656527 edges, 16720 markings/sec, 175 secs
lola: 3120405 markings, 14032911 edges, 16528 markings/sec, 180 secs
lola: 3200704 markings, 14432652 edges, 16060 markings/sec, 185 secs
lola: 3278407 markings, 14792480 edges, 15541 markings/sec, 190 secs
lola: 3364709 markings, 15136925 edges, 17260 markings/sec, 195 secs
lola: 3439998 markings, 15617202 edges, 15058 markings/sec, 200 secs
lola: 3518231 markings, 16026776 edges, 15647 markings/sec, 205 secs
lola: 3592410 markings, 16481212 edges, 14836 markings/sec, 210 secs
lola: 3678763 markings, 16776625 edges, 17271 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(p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 97852 markings, 255013 edges, 19570 markings/sec, 0 secs
lola: 182850 markings, 691759 edges, 17000 markings/sec, 5 secs
lola: 267047 markings, 1124116 edges, 16839 markings/sec, 10 secs
lola: 352087 markings, 1537773 edges, 17008 markings/sec, 15 secs
lola: 436979 markings, 1945082 edges, 16978 markings/sec, 20 secs
lola: 519386 markings, 2375213 edges, 16481 markings/sec, 25 secs
lola: 601963 markings, 2792382 edges, 16515 markings/sec, 30 secs
lola: 686808 markings, 3196912 edges, 16969 markings/sec, 35 secs
lola: 771813 markings, 3577429 edges, 17001 markings/sec, 40 secs
lola: 854073 markings, 4036186 edges, 16452 markings/sec, 45 secs
lola: 937406 markings, 4496800 edges, 16667 markings/sec, 50 secs
lola: 1023222 markings, 4865697 edges, 17163 markings/sec, 55 secs
lola: 1107424 markings, 5267032 edges, 16840 markings/sec, 60 secs
lola: 1189795 markings, 5697072 edges, 16474 markings/sec, 65 secs
lola: 1275074 markings, 6097215 edges, 17056 markings/sec, 70 secs
lola: 1360708 markings, 6493511 edges, 17127 markings/sec, 75 secs
lola: 1444939 markings, 6899078 edges, 16846 markings/sec, 80 secs
lola: 1530202 markings, 7301817 edges, 17053 markings/sec, 85 secs
lola: 1614481 markings, 7696483 edges, 16856 markings/sec, 90 secs
lola: 1699118 markings, 8094407 edges, 16927 markings/sec, 95 secs
lola: 1786094 markings, 8448605 edges, 17395 markings/sec, 100 secs
lola: 1856138 markings, 9047314 edges, 14009 markings/sec, 105 secs
lola: 1949831 markings, 9303317 edges, 18739 markings/sec, 110 secs
lola: 2033438 markings, 9707213 edges, 16721 markings/sec, 115 secs
lola: 2115769 markings, 10132168 edges, 16466 markings/sec, 120 secs
lola: 2200519 markings, 10530236 edges, 16950 markings/sec, 125 secs
lola: 2285512 markings, 10925156 edges, 16999 markings/sec, 130 secs
lola: 2368579 markings, 11322179 edges, 16613 markings/sec, 135 secs
lola: 2452147 markings, 11724468 edges, 16714 markings/sec, 140 secs
lola: 2537449 markings, 12115728 edges, 17060 markings/sec, 145 secs
lola: 2621909 markings, 12495791 edges, 16892 markings/sec, 150 secs
lola: 2705936 markings, 12869680 edges, 16805 markings/sec, 155 secs
lola: 2784653 markings, 13335659 edges, 15743 markings/sec, 160 secs
lola: 2864603 markings, 13709174 edges, 15990 markings/sec, 165 secs
lola: 2948039 markings, 14085309 edges, 16687 markings/sec, 170 secs
lola: 3027718 markings, 14506768 edges, 15936 markings/sec, 175 secs
lola: 3107355 markings, 14903533 edges, 15927 markings/sec, 180 secs
lola: 3188852 markings, 15298991 edges, 16299 markings/sec, 185 secs
lola: 3269686 markings, 15701509 edges, 16167 markings/sec, 190 secs
lola: 3353082 markings, 16079212 edges, 16679 markings/sec, 195 secs
lola: 3434215 markings, 16465517 edges, 16227 markings/sec, 200 secs
lola: 3516461 markings, 16848130 edges, 16449 markings/sec, 205 secs
lola: 3598902 markings, 17228968 edges, 16488 markings/sec, 210 secs
lola: 3678049 markings, 17666076 edges, 15829 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(p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 90020 markings, 172134 edges, 18004 markings/sec, 0 secs
lola: 169067 markings, 500466 edges, 15809 markings/sec, 5 secs
lola: 246095 markings, 898229 edges, 15406 markings/sec, 10 secs
lola: 327831 markings, 1254716 edges, 16347 markings/sec, 15 secs
lola: 407332 markings, 1619884 edges, 15900 markings/sec, 20 secs
lola: 485799 markings, 1990018 edges, 15693 markings/sec, 25 secs
lola: 563721 markings, 2358717 edges, 15584 markings/sec, 30 secs
lola: 640588 markings, 2736361 edges, 15373 markings/sec, 35 secs
lola: 717556 markings, 3102427 edges, 15394 markings/sec, 40 secs
lola: 795347 markings, 3465516 edges, 15558 markings/sec, 45 secs
lola: 872587 markings, 3827299 edges, 15448 markings/sec, 50 secs
lola: 951494 markings, 4170305 edges, 15781 markings/sec, 55 secs
lola: 1012375 markings, 4853692 edges, 12176 markings/sec, 60 secs
lola: 1100589 markings, 5029042 edges, 17643 markings/sec, 65 secs
lola: 1180513 markings, 5325809 edges, 15985 markings/sec, 70 secs
lola: 1254708 markings, 5729119 edges, 14839 markings/sec, 75 secs
lola: 1332904 markings, 6101175 edges, 15639 markings/sec, 80 secs
lola: 1411771 markings, 6458621 edges, 15773 markings/sec, 85 secs
lola: 1489189 markings, 6820857 edges, 15484 markings/sec, 90 secs
lola: 1568697 markings, 7162743 edges, 15902 markings/sec, 95 secs
lola: 1649952 markings, 7482335 edges, 16251 markings/sec, 100 secs
lola: 1730347 markings, 7810168 edges, 16079 markings/sec, 105 secs
lola: 1814578 markings, 8090909 edges, 16846 markings/sec, 110 secs
lola: 1892455 markings, 8463770 edges, 15575 markings/sec, 115 secs
lola: 1955951 markings, 9043735 edges, 12699 markings/sec, 120 secs
lola: 2032128 markings, 9397476 edges, 15235 markings/sec, 125 secs
lola: 2117289 markings, 9619509 edges, 17032 markings/sec, 130 secs
lola: 2190438 markings, 10015895 edges, 14630 markings/sec, 135 secs
lola: 2266272 markings, 10398390 edges, 15167 markings/sec, 140 secs
lola: 2343078 markings, 10771775 edges, 15361 markings/sec, 145 secs
lola: 2421377 markings, 11126838 edges, 15660 markings/sec, 150 secs
lola: 2501362 markings, 11461745 edges, 15997 markings/sec, 155 secs
lola: 2577913 markings, 11818318 edges, 15310 markings/sec, 160 secs
lola: 2658361 markings, 12139991 edges, 16090 markings/sec, 165 secs
lola: 2740910 markings, 12452005 edges, 16510 markings/sec, 170 secs
lola: 2820877 markings, 12773042 edges, 15993 markings/sec, 175 secs
lola: 2899354 markings, 13107778 edges, 15695 markings/sec, 180 secs
lola: 2981537 markings, 13405461 edges, 16437 markings/sec, 185 secs
lola: 3046170 markings, 13972811 edges, 12927 markings/sec, 190 secs
lola: 3132181 markings, 14147782 edges, 17202 markings/sec, 195 secs
lola: 3204270 markings, 14518119 edges, 14418 markings/sec, 200 secs
lola: 3279862 markings, 14882127 edges, 15118 markings/sec, 205 secs
lola: 3356036 markings, 15242795 edges, 15235 markings/sec, 210 secs
lola: 3433021 markings, 15595991 edges, 15397 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(p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 97612 markings, 254357 edges, 19522 markings/sec, 0 secs
lola: 182608 markings, 690546 edges, 16999 markings/sec, 5 secs
lola: 266779 markings, 1122915 edges, 16834 markings/sec, 10 secs
lola: 351886 markings, 1536783 edges, 17021 markings/sec, 15 secs
lola: 436878 markings, 1944610 edges, 16998 markings/sec, 20 secs
lola: 519481 markings, 2375821 edges, 16521 markings/sec, 25 secs
lola: 602233 markings, 2793800 edges, 16550 markings/sec, 30 secs
lola: 687167 markings, 3198749 edges, 16987 markings/sec, 35 secs
lola: 773485 markings, 3584195 edges, 17264 markings/sec, 40 secs
lola: 857182 markings, 4049224 edges, 16739 markings/sec, 45 secs
lola: 938803 markings, 4558412 edges, 16324 markings/sec, 50 secs
lola: 1029823 markings, 4885095 edges, 18204 markings/sec, 55 secs
lola: 1114863 markings, 5307375 edges, 17008 markings/sec, 60 secs
lola: 1199142 markings, 5742947 edges, 16856 markings/sec, 65 secs
lola: 1286001 markings, 6153003 edges, 17372 markings/sec, 70 secs
lola: 1372985 markings, 6553477 edges, 17397 markings/sec, 75 secs
lola: 1459105 markings, 6963029 edges, 17224 markings/sec, 80 secs
lola: 1546272 markings, 7370632 edges, 17433 markings/sec, 85 secs
lola: 1631443 markings, 7779710 edges, 17034 markings/sec, 90 secs
lola: 1717943 markings, 8178416 edges, 17300 markings/sec, 95 secs
lola: 1802048 markings, 8616223 edges, 16821 markings/sec, 100 secs
lola: 1879875 markings, 9126936 edges, 15565 markings/sec, 105 secs
lola: 1974234 markings, 9398030 edges, 18872 markings/sec, 110 secs
lola: 2057843 markings, 9833337 edges, 16722 markings/sec, 115 secs
lola: 2142145 markings, 10253910 edges, 16860 markings/sec, 120 secs
lola: 2228746 markings, 10657565 edges, 17320 markings/sec, 125 secs
lola: 2314162 markings, 11066029 edges, 17083 markings/sec, 130 secs
lola: 2399087 markings, 11464469 edges, 16985 markings/sec, 135 secs
lola: 2485428 markings, 11871639 edges, 17268 markings/sec, 140 secs
lola: 2571511 markings, 12272497 edges, 17217 markings/sec, 145 secs
lola: 2657021 markings, 12661823 edges, 17102 markings/sec, 150 secs
lola: 2743491 markings, 13027740 edges, 17294 markings/sec, 155 secs
lola: 2816046 markings, 13577747 edges, 14511 markings/sec, 160 secs
lola: 2905511 markings, 13873261 edges, 17893 markings/sec, 165 secs
lola: 2988332 markings, 14295373 edges, 16564 markings/sec, 170 secs
lola: 3069426 markings, 14711185 edges, 16219 markings/sec, 175 secs
lola: 3150735 markings, 15115337 edges, 16262 markings/sec, 180 secs
lola: 3234836 markings, 15517587 edges, 16820 markings/sec, 185 secs
lola: 3317066 markings, 15925327 edges, 16446 markings/sec, 190 secs
lola: 3403058 markings, 16304743 edges, 17198 markings/sec, 195 secs
lola: 3485831 markings, 16703298 edges, 16555 markings/sec, 200 secs
lola: 3569167 markings, 17096231 edges, 16667 markings/sec, 205 secs
lola: 3654816 markings, 17456558 edges, 17130 markings/sec, 210 secs
lola: 3720597 markings, 18065398 edges, 13156 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(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 88287 markings, 214796 edges, 17657 markings/sec, 0 secs
lola: 168864 markings, 551091 edges, 16115 markings/sec, 5 secs
lola: 243509 markings, 998454 edges, 14929 markings/sec, 10 secs
lola: 317965 markings, 1446618 edges, 14891 markings/sec, 15 secs
lola: 392733 markings, 1896187 edges, 14954 markings/sec, 20 secs
lola: 467468 markings, 2344593 edges, 14947 markings/sec, 25 secs
lola: 541974 markings, 2791574 edges, 14901 markings/sec, 30 secs
lola: 615309 markings, 3231288 edges, 14667 markings/sec, 35 secs
lola: 688465 markings, 3669330 edges, 14631 markings/sec, 40 secs
lola: 762546 markings, 4114784 edges, 14816 markings/sec, 45 secs
lola: 835784 markings, 4552674 edges, 14648 markings/sec, 50 secs
lola: 908810 markings, 4989123 edges, 14605 markings/sec, 55 secs
lola: 981435 markings, 5424094 edges, 14525 markings/sec, 60 secs
lola: 1055834 markings, 5874657 edges, 14880 markings/sec, 65 secs
lola: 1130156 markings, 6320289 edges, 14864 markings/sec, 70 secs
lola: 1191192 markings, 6949861 edges, 12207 markings/sec, 75 secs
lola: 1274300 markings, 7198330 edges, 16622 markings/sec, 80 secs
lola: 1347889 markings, 7641364 edges, 14718 markings/sec, 85 secs
lola: 1421220 markings, 8082784 edges, 14666 markings/sec, 90 secs
lola: 1495057 markings, 8525224 edges, 14767 markings/sec, 95 secs
lola: 1568974 markings, 8969727 edges, 14783 markings/sec, 100 secs
lola: 1642486 markings, 9411117 edges, 14702 markings/sec, 105 secs
lola: 1714507 markings, 9842918 edges, 14404 markings/sec, 110 secs
lola: 1786924 markings, 10277176 edges, 14483 markings/sec, 115 secs
lola: 1859148 markings, 10706692 edges, 14445 markings/sec, 120 secs
lola: 1931223 markings, 11139697 edges, 14415 markings/sec, 125 secs
lola: 2005467 markings, 11536897 edges, 14849 markings/sec, 130 secs
lola: 2076708 markings, 12015320 edges, 14248 markings/sec, 135 secs
lola: 2149428 markings, 12451504 edges, 14544 markings/sec, 140 secs
lola: 2199679 markings, 13195296 edges, 10050 markings/sec, 145 secs
lola: 2279627 markings, 13509134 edges, 15990 markings/sec, 150 secs
lola: 2363175 markings, 13731954 edges, 16710 markings/sec, 155 secs
lola: 2437123 markings, 14127950 edges, 14790 markings/sec, 160 secs
lola: 2508518 markings, 14556236 edges, 14279 markings/sec, 165 secs
lola: 2581210 markings, 14994087 edges, 14538 markings/sec, 170 secs
lola: 2654055 markings, 15431892 edges, 14569 markings/sec, 175 secs
lola: 2726582 markings, 15866858 edges, 14505 markings/sec, 180 secs
lola: 2799554 markings, 16303659 edges, 14594 markings/sec, 185 secs
lola: 2869780 markings, 16727968 edges, 14045 markings/sec, 190 secs
lola: 2940819 markings, 17153641 edges, 14208 markings/sec, 195 secs
lola: 3013485 markings, 17588023 edges, 14533 markings/sec, 200 secs
lola: 3084642 markings, 18016539 edges, 14231 markings/sec, 205 secs
lola: 3155385 markings, 18438823 edges, 14149 markings/sec, 210 secs
lola: 3225876 markings, 18858146 edges, 14098 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 + p1 + p2 + p3 + p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 96350 markings, 260110 edges, 19270 markings/sec, 0 secs
lola: 186808 markings, 613989 edges, 18092 markings/sec, 5 secs
lola: 273664 markings, 1013010 edges, 17371 markings/sec, 10 secs
lola: 358803 markings, 1406187 edges, 17028 markings/sec, 15 secs
lola: 445022 markings, 1797789 edges, 17244 markings/sec, 20 secs
lola: 531062 markings, 2189567 edges, 17208 markings/sec, 25 secs
lola: 616912 markings, 2580448 edges, 17170 markings/sec, 30 secs
lola: 702929 markings, 2965465 edges, 17203 markings/sec, 35 secs
lola: 785811 markings, 3410151 edges, 16576 markings/sec, 40 secs
lola: 866919 markings, 3846292 edges, 16222 markings/sec, 45 secs
lola: 945386 markings, 4328242 edges, 15693 markings/sec, 50 secs
lola: 1035265 markings, 4617257 edges, 17976 markings/sec, 55 secs
lola: 1120962 markings, 5001823 edges, 17139 markings/sec, 60 secs
lola: 1206466 markings, 5384397 edges, 17101 markings/sec, 65 secs
lola: 1292107 markings, 5762572 edges, 17128 markings/sec, 70 secs
lola: 1378388 markings, 6135667 edges, 17256 markings/sec, 75 secs
lola: 1467291 markings, 6485812 edges, 17781 markings/sec, 80 secs
lola: 1553035 markings, 6883266 edges, 17149 markings/sec, 85 secs
lola: 1636335 markings, 7285314 edges, 16660 markings/sec, 90 secs
lola: 1704357 markings, 7863146 edges, 13604 markings/sec, 95 secs
lola: 1792784 markings, 8190641 edges, 17685 markings/sec, 100 secs
lola: 1881920 markings, 8472584 edges, 17827 markings/sec, 105 secs
lola: 1965150 markings, 8850205 edges, 16646 markings/sec, 110 secs
lola: 2049495 markings, 9223459 edges, 16869 markings/sec, 115 secs
lola: 2133476 markings, 9593331 edges, 16796 markings/sec, 120 secs
lola: 2219274 markings, 9949603 edges, 17160 markings/sec, 125 secs
lola: 2302584 markings, 10314094 edges, 16662 markings/sec, 130 secs
lola: 2387127 markings, 10677157 edges, 16909 markings/sec, 135 secs
lola: 2476906 markings, 11007238 edges, 17956 markings/sec, 140 secs
lola: 2557423 markings, 11442516 edges, 16103 markings/sec, 145 secs
lola: 2624235 markings, 12015637 edges, 13362 markings/sec, 150 secs
lola: 2713430 markings, 12264174 edges, 17839 markings/sec, 155 secs
lola: 2799402 markings, 12596517 edges, 17194 markings/sec, 160 secs
lola: 2884435 markings, 12971967 edges, 17007 markings/sec, 165 secs
lola: 2967962 markings, 13353630 edges, 16705 markings/sec, 170 secs
lola: 3051145 markings, 13735893 edges, 16637 markings/sec, 175 secs
lola: 3133136 markings, 14137854 edges, 16398 markings/sec, 180 secs
lola: 3216172 markings, 14512550 edges, 16607 markings/sec, 185 secs
lola: 3299438 markings, 14881523 edges, 16653 markings/sec, 190 secs
lola: 3379541 markings, 15309469 edges, 16021 markings/sec, 195 secs
lola: 3458071 markings, 15720864 edges, 15706 markings/sec, 200 secs
lola: 3525831 markings, 16261811 edges, 13552 markings/sec, 205 secs
lola: 3614667 markings, 16543499 edges, 17767 markings/sec, 210 secs
lola: 3699672 markings, 16862399 edges, 17001 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 95391 markings, 240180 edges, 19078 markings/sec, 0 secs
lola: 186051 markings, 509334 edges, 18132 markings/sec, 5 secs
lola: 265265 markings, 951276 edges, 15843 markings/sec, 10 secs
lola: 343125 markings, 1422915 edges, 15572 markings/sec, 15 secs
lola: 422622 markings, 1901062 edges, 15899 markings/sec, 20 secs
lola: 501038 markings, 2369082 edges, 15683 markings/sec, 25 secs
lola: 580056 markings, 2840768 edges, 15804 markings/sec, 30 secs
lola: 658232 markings, 3305413 edges, 15635 markings/sec, 35 secs
lola: 736933 markings, 3771077 edges, 15740 markings/sec, 40 secs
lola: 814949 markings, 4232894 edges, 15603 markings/sec, 45 secs
lola: 892723 markings, 4692319 edges, 15555 markings/sec, 50 secs
lola: 970353 markings, 5143028 edges, 15526 markings/sec, 55 secs
lola: 1047554 markings, 5582691 edges, 15440 markings/sec, 60 secs
lola: 1124310 markings, 6017509 edges, 15351 markings/sec, 65 secs
lola: 1172148 markings, 6906125 edges, 9568 markings/sec, 70 secs
lola: 1263461 markings, 7152527 edges, 18263 markings/sec, 75 secs
lola: 1349673 markings, 7444690 edges, 17242 markings/sec, 80 secs
lola: 1427981 markings, 7867467 edges, 15662 markings/sec, 85 secs
lola: 1503679 markings, 8320396 edges, 15140 markings/sec, 90 secs
lola: 1581714 markings, 8796674 edges, 15607 markings/sec, 95 secs
lola: 1659262 markings, 9260068 edges, 15510 markings/sec, 100 secs
lola: 1736902 markings, 9720184 edges, 15528 markings/sec, 105 secs
lola: 1813514 markings, 10177810 edges, 15322 markings/sec, 110 secs
lola: 1890083 markings, 10632227 edges, 15314 markings/sec, 115 secs
lola: 1966815 markings, 11081511 edges, 15346 markings/sec, 120 secs
lola: 2043417 markings, 11524624 edges, 15320 markings/sec, 125 secs
lola: 2120287 markings, 11954576 edges, 15374 markings/sec, 130 secs
lola: 2180374 markings, 12595351 edges, 12017 markings/sec, 135 secs
lola: 2239409 markings, 13276877 edges, 11807 markings/sec, 140 secs
lola: 2329130 markings, 13522724 edges, 17944 markings/sec, 145 secs
lola: 2411590 markings, 13845776 edges, 16492 markings/sec, 150 secs
lola: 2485840 markings, 14295347 edges, 14850 markings/sec, 155 secs
lola: 2561306 markings, 14744642 edges, 15093 markings/sec, 160 secs
lola: 2638299 markings, 15211317 edges, 15399 markings/sec, 165 secs
lola: 2714632 markings, 15668792 edges, 15267 markings/sec, 170 secs
lola: 2791550 markings, 16128573 edges, 15384 markings/sec, 175 secs
lola: 2866640 markings, 16575948 edges, 15018 markings/sec, 180 secs
lola: 2942490 markings, 17026569 edges, 15170 markings/sec, 185 secs
lola: 3017974 markings, 17471844 edges, 15097 markings/sec, 190 secs
lola: 3093847 markings, 17916205 edges, 15175 markings/sec, 195 secs
lola: 3169203 markings, 18356151 edges, 15071 markings/sec, 200 secs
lola: 3244177 markings, 18784331 edges, 14995 markings/sec, 205 secs
lola: 3318631 markings, 19199521 edges, 14891 markings/sec, 210 secs
lola: 3360041 markings, 20054269 edges, 8282 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(p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 88631 markings, 215592 edges, 17726 markings/sec, 0 secs
lola: 169575 markings, 553706 edges, 16189 markings/sec, 5 secs
lola: 244516 markings, 1005047 edges, 14988 markings/sec, 10 secs
lola: 319344 markings, 1454090 edges, 14966 markings/sec, 15 secs
lola: 394068 markings, 1904494 edges, 14945 markings/sec, 20 secs
lola: 469172 markings, 2354798 edges, 15021 markings/sec, 25 secs
lola: 544044 markings, 2804462 edges, 14974 markings/sec, 30 secs
lola: 617626 markings, 3245104 edges, 14716 markings/sec, 35 secs
lola: 691000 markings, 3685776 edges, 14675 markings/sec, 40 secs
lola: 765425 markings, 4132045 edges, 14885 markings/sec, 45 secs
lola: 838725 markings, 4570825 edges, 14660 markings/sec, 50 secs
lola: 911870 markings, 5007268 edges, 14629 markings/sec, 55 secs
lola: 984613 markings, 5443190 edges, 14549 markings/sec, 60 secs
lola: 1059169 markings, 5894179 edges, 14911 markings/sec, 65 secs
lola: 1133781 markings, 6342099 edges, 14922 markings/sec, 70 secs
lola: 1195816 markings, 6961430 edges, 12407 markings/sec, 75 secs
lola: 1278516 markings, 7224641 edges, 16540 markings/sec, 80 secs
lola: 1352333 markings, 7667308 edges, 14763 markings/sec, 85 secs
lola: 1426002 markings, 8111973 edges, 14734 markings/sec, 90 secs
lola: 1500280 markings, 8557977 edges, 14856 markings/sec, 95 secs
lola: 1574732 markings, 9004119 edges, 14890 markings/sec, 100 secs
lola: 1648643 markings, 9448195 edges, 14782 markings/sec, 105 secs
lola: 1720794 markings, 9880950 edges, 14430 markings/sec, 110 secs
lola: 1793818 markings, 10318856 edges, 14605 markings/sec, 115 secs
lola: 1866130 markings, 10749725 edges, 14462 markings/sec, 120 secs
lola: 1938637 markings, 11184385 edges, 14501 markings/sec, 125 secs
lola: 2014127 markings, 11568613 edges, 15098 markings/sec, 130 secs
lola: 2084743 markings, 12063730 edges, 14123 markings/sec, 135 secs
lola: 2157626 markings, 12502944 edges, 14577 markings/sec, 140 secs
lola: 2208500 markings, 13248501 edges, 10175 markings/sec, 145 secs
lola: 2290036 markings, 13534613 edges, 16307 markings/sec, 150 secs
lola: 2373022 markings, 13760349 edges, 16597 markings/sec, 155 secs
lola: 2445709 markings, 14181864 edges, 14537 markings/sec, 160 secs
lola: 2516422 markings, 14607462 edges, 14143 markings/sec, 165 secs
lola: 2589111 markings, 15043953 edges, 14538 markings/sec, 170 secs
lola: 2661742 markings, 15479140 edges, 14526 markings/sec, 175 secs
lola: 2734023 markings, 15913733 edges, 14456 markings/sec, 180 secs
lola: 2806573 markings, 16347810 edges, 14510 markings/sec, 185 secs
lola: 2876990 markings, 16771556 edges, 14083 markings/sec, 190 secs
lola: 2946986 markings, 17190239 edges, 13999 markings/sec, 195 secs
lola: 3021074 markings, 17635437 edges, 14818 markings/sec, 200 secs
lola: 3093245 markings, 18067441 edges, 14434 markings/sec, 205 secs
lola: 3165134 markings, 18496612 edges, 14378 markings/sec, 210 secs
lola: 3235906 markings, 18919385 edges, 14154 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(p36 + p37 + p38 + p39 + p40 + p42 + p43 + p44 + p45 + p46 + p48 + p49 + p50 + p51 + p52 + p54 + p55 + p56 + p57 + p58 + p60 + p61 + p62 + p63 + p64 + p65 + p59 + p53 + p47 + p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p678 + p679 + p680 + p681 + p682 + p683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 93404 markings, 250759 edges, 18681 markings/sec, 0 secs
lola: 184350 markings, 600341 edges, 18189 markings/sec, 5 secs
lola: 272640 markings, 996100 edges, 17658 markings/sec, 10 secs
lola: 361190 markings, 1384154 edges, 17710 markings/sec, 15 secs
lola: 447186 markings, 1783030 edges, 17199 markings/sec, 20 secs
lola: 532752 markings, 2183790 edges, 17113 markings/sec, 25 secs
lola: 618593 markings, 2588021 edges, 17168 markings/sec, 30 secs
lola: 705303 markings, 2977901 edges, 17342 markings/sec, 35 secs
lola: 789167 markings, 3423170 edges, 16773 markings/sec, 40 secs
lola: 871359 markings, 3864577 edges, 16438 markings/sec, 45 secs
lola: 951223 markings, 4342212 edges, 15973 markings/sec, 50 secs
lola: 1041952 markings, 4636770 edges, 18146 markings/sec, 55 secs
lola: 1126576 markings, 5032185 edges, 16925 markings/sec, 60 secs
lola: 1213906 markings, 5406544 edges, 17466 markings/sec, 65 secs
lola: 1299514 markings, 5798688 edges, 17122 markings/sec, 70 secs
lola: 1386543 markings, 6162382 edges, 17406 markings/sec, 75 secs
lola: 1477952 markings, 6510116 edges, 18282 markings/sec, 80 secs
lola: 1563193 markings, 6918035 edges, 17048 markings/sec, 85 secs
lola: 1646697 markings, 7326250 edges, 16701 markings/sec, 90 secs
lola: 1715554 markings, 7914985 edges, 13771 markings/sec, 95 secs
lola: 1805765 markings, 8225596 edges, 18042 markings/sec, 100 secs
lola: 1891884 markings, 8504277 edges, 17224 markings/sec, 105 secs
lola: 1975399 markings, 8879456 edges, 16703 markings/sec, 110 secs
lola: 2059828 markings, 9253279 edges, 16886 markings/sec, 115 secs
lola: 2145556 markings, 9615448 edges, 17146 markings/sec, 120 secs
lola: 2230056 markings, 9985978 edges, 16900 markings/sec, 125 secs
lola: 2315009 markings, 10348252 edges, 16991 markings/sec, 130 secs
lola: 2401262 markings, 10711597 edges, 17251 markings/sec, 135 secs
lola: 2490782 markings, 11023731 edges, 17904 markings/sec, 140 secs
lola: 2569609 markings, 11502554 edges, 15765 markings/sec, 145 secs
lola: 2638842 markings, 12048071 edges, 13847 markings/sec, 150 secs
lola: 2727501 markings, 12306538 edges, 17732 markings/sec, 155 secs
lola: 2813698 markings, 12654483 edges, 17239 markings/sec, 160 secs
lola: 2899110 markings, 13032965 edges, 17082 markings/sec, 165 secs
lola: 2983454 markings, 13410140 edges, 16869 markings/sec, 170 secs
lola: 3067949 markings, 13794501 edges, 16899 markings/sec, 175 secs
lola: 3150892 markings, 14192817 edges, 16589 markings/sec, 180 secs
lola: 3233703 markings, 14585716 edges, 16562 markings/sec, 185 secs
lola: 3317234 markings, 14959345 edges, 16706 markings/sec, 190 secs
lola: 3397697 markings, 15391415 edges, 16093 markings/sec, 195 secs
lola: 3475887 markings, 15810814 edges, 15638 markings/sec, 200 secs
lola: 3545044 markings, 16343842 edges, 13831 markings/sec, 205 secs
lola: 3634881 markings, 16604456 edges, 17967 markings/sec, 210 secs
lola: 3718702 markings, 16970719 edges, 16764 markings/sec, 215 secs
lola: 3801237 markings, 17365944 edges, 16507 markings/sec, 220 secs
lola: 3882804 markings, 17769930 edges, 16313 markings/sec, 225 secs
lola: 3963134 markings, 18160916 edges, 16066 markings/sec, 230 secs
lola: 4044340 markings, 18559214 edges, 16241 markings/sec, 235 secs
lola: 4124104 markings, 18963446 edges, 15953 markings/sec, 240 secs
lola: 4202793 markings, 19384767 edges, 15738 markings/sec, 245 secs
lola: 4281630 markings, 19786341 edges, 15767 markings/sec, 250 secs
lola: 4360606 markings, 20225642 edges, 15795 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p678 + p679 + p680 + p681 + p682 + p683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 93643 markings, 251726 edges, 18729 markings/sec, 0 secs
lola: 180379 markings, 581820 edges, 17347 markings/sec, 5 secs
lola: 264510 markings, 958933 edges, 16826 markings/sec, 10 secs
lola: 349335 markings, 1330305 edges, 16965 markings/sec, 15 secs
lola: 432152 markings, 1705286 edges, 16563 markings/sec, 20 secs
lola: 513550 markings, 2092963 edges, 16280 markings/sec, 25 secs
lola: 594669 markings, 2474195 edges, 16224 markings/sec, 30 secs
lola: 676761 markings, 2858087 edges, 16418 markings/sec, 35 secs
lola: 757885 markings, 3247104 edges, 16225 markings/sec, 40 secs
lola: 836921 markings, 3681814 edges, 15807 markings/sec, 45 secs
lola: 907054 markings, 4230749 edges, 14027 markings/sec, 50 secs
lola: 995361 markings, 4480496 edges, 17661 markings/sec, 55 secs
lola: 1078810 markings, 4808700 edges, 16690 markings/sec, 60 secs
lola: 1159824 markings, 5178660 edges, 16203 markings/sec, 65 secs
lola: 1242046 markings, 5543967 edges, 16444 markings/sec, 70 secs
lola: 1324579 markings, 5909441 edges, 16507 markings/sec, 75 secs
lola: 1409290 markings, 6248843 edges, 16942 markings/sec, 80 secs
lola: 1497076 markings, 6564364 edges, 17557 markings/sec, 85 secs
lola: 1575650 markings, 6978306 edges, 15715 markings/sec, 90 secs
lola: 1654636 markings, 7370417 edges, 15797 markings/sec, 95 secs
lola: 1719401 markings, 7932566 edges, 12953 markings/sec, 100 secs
lola: 1805414 markings, 8224582 edges, 17203 markings/sec, 105 secs
lola: 1890165 markings, 8498027 edges, 16950 markings/sec, 110 secs
lola: 1970447 markings, 8857607 edges, 16056 markings/sec, 115 secs
lola: 2051345 markings, 9217683 edges, 16180 markings/sec, 120 secs
lola: 2132658 markings, 9566063 edges, 16263 markings/sec, 125 secs
lola: 2214227 markings, 9915214 edges, 16314 markings/sec, 130 secs
lola: 2294996 markings, 10261887 edges, 16154 markings/sec, 135 secs
lola: 2375643 markings, 10611527 edges, 16129 markings/sec, 140 secs
lola: 2462534 markings, 10914154 edges, 17378 markings/sec, 145 secs
lola: 2538667 markings, 11341861 edges, 15227 markings/sec, 150 secs
lola: 2614588 markings, 11743430 edges, 15184 markings/sec, 155 secs
lola: 2685203 markings, 12175145 edges, 14123 markings/sec, 160 secs
lola: 2767741 markings, 12455219 edges, 16508 markings/sec, 165 secs
lola: 2849001 markings, 12817008 edges, 16252 markings/sec, 170 secs
lola: 2933754 markings, 13184714 edges, 16951 markings/sec, 175 secs
lola: 3017879 markings, 13565200 edges, 16825 markings/sec, 180 secs
lola: 3099281 markings, 13934496 edges, 16280 markings/sec, 185 secs
lola: 3181840 markings, 14344100 edges, 16512 markings/sec, 190 secs
lola: 3264683 markings, 14729903 edges, 16569 markings/sec, 195 secs
lola: 3348401 markings, 15068215 edges, 16744 markings/sec, 200 secs
lola: 3426077 markings, 15539186 edges, 15535 markings/sec, 205 secs
lola: 3505448 markings, 15951881 edges, 15874 markings/sec, 210 secs
lola: 3578412 markings, 16446748 edges, 14593 markings/sec, 215 secs
lola: 3667717 markings, 16724174 edges, 17861 markings/sec, 220 secs
lola: 3750379 markings, 17121382 edges, 16532 markings/sec, 225 secs
lola: 3832004 markings, 17516581 edges, 16325 markings/sec, 230 secs
lola: 3914609 markings, 17924432 edges, 16521 markings/sec, 235 secs
lola: 3994991 markings, 18315081 edges, 16076 markings/sec, 240 secs
lola: 4075627 markings, 18717260 edges, 16127 markings/sec, 245 secs
lola: 4154560 markings, 19133509 edges, 15787 markings/sec, 250 secs
lola: 4233943 markings, 19542739 edges, 15877 markings/sec, 255 secs
lola: 4315836 markings, 19914304 edges, 16379 markings/sec, 260 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 266 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 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 96972 markings, 244577 edges, 19394 markings/sec, 0 secs
lola: 189384 markings, 520672 edges, 18482 markings/sec, 5 secs
lola: 269545 markings, 979408 edges, 16032 markings/sec, 10 secs
lola: 349031 markings, 1458185 edges, 15897 markings/sec, 15 secs
lola: 428408 markings, 1935940 edges, 15875 markings/sec, 20 secs
lola: 508095 markings, 2406102 edges, 15937 markings/sec, 25 secs
lola: 588461 markings, 2891385 edges, 16073 markings/sec, 30 secs
lola: 667923 markings, 3362303 edges, 15892 markings/sec, 35 secs
lola: 748184 markings, 3837861 edges, 16052 markings/sec, 40 secs
lola: 827873 markings, 4309196 edges, 15938 markings/sec, 45 secs
lola: 907205 markings, 4777311 edges, 15866 markings/sec, 50 secs
lola: 986171 markings, 5234875 edges, 15793 markings/sec, 55 secs
lola: 1065290 markings, 5683598 edges, 15824 markings/sec, 60 secs
lola: 1138552 markings, 6210476 edges, 14652 markings/sec, 65 secs
lola: 1197579 markings, 6971280 edges, 11805 markings/sec, 70 secs
lola: 1289307 markings, 7228647 edges, 18346 markings/sec, 75 secs
lola: 1375456 markings, 7550701 edges, 17230 markings/sec, 80 secs
lola: 1450620 markings, 8005549 edges, 15033 markings/sec, 85 secs
lola: 1525429 markings, 8458133 edges, 14962 markings/sec, 90 secs
lola: 1605310 markings, 8937515 edges, 15976 markings/sec, 95 secs
lola: 1683876 markings, 9407040 edges, 15713 markings/sec, 100 secs
lola: 1762447 markings, 9869360 edges, 15714 markings/sec, 105 secs
lola: 1838835 markings, 10327491 edges, 15278 markings/sec, 110 secs
lola: 1913826 markings, 10770103 edges, 14998 markings/sec, 115 secs
lola: 1991684 markings, 11224622 edges, 15572 markings/sec, 120 secs
lola: 2069533 markings, 11672097 edges, 15570 markings/sec, 125 secs
lola: 2147729 markings, 12106646 edges, 15639 markings/sec, 130 secs
lola: 2183852 markings, 13097828 edges, 7225 markings/sec, 135 secs
lola: 2275811 markings, 13372583 edges, 18392 markings/sec, 140 secs
lola: 2362811 markings, 13623109 edges, 17400 markings/sec, 145 secs
lola: 2440345 markings, 14019886 edges, 15507 markings/sec, 150 secs
lola: 2515958 markings, 14477867 edges, 15123 markings/sec, 155 secs
lola: 2593671 markings, 14943279 edges, 15543 markings/sec, 160 secs
lola: 2671859 markings, 15410641 edges, 15638 markings/sec, 165 secs
lola: 2749222 markings, 15875029 edges, 15473 markings/sec, 170 secs
lola: 2825270 markings, 16328222 edges, 15210 markings/sec, 175 secs
lola: 2901299 markings, 16781309 edges, 15206 markings/sec, 180 secs
lola: 2978340 markings, 17236542 edges, 15408 markings/sec, 185 secs
lola: 3055809 markings, 17694262 edges, 15494 markings/sec, 190 secs
lola: 3132976 markings, 18144422 edges, 15433 markings/sec, 195 secs
lola: 3209596 markings, 18584941 edges, 15324 markings/sec, 200 secs
lola: 3286027 markings, 19017147 edges, 15286 markings/sec, 205 secs
lola: 3332771 markings, 19804080 edges, 9349 markings/sec, 210 secs
lola: 3414639 markings, 20196095 edges, 16374 markings/sec, 215 secs
lola: 3503206 markings, 20451239 edges, 17713 markings/sec, 220 secs
lola: 3581473 markings, 20849411 edges, 15653 markings/sec, 225 secs
lola: 3656638 markings, 21300496 edges, 15033 markings/sec, 230 secs
lola: 3733093 markings, 21761442 edges, 15291 markings/sec, 235 secs
lola: 3809705 markings, 22221753 edges, 15322 markings/sec, 240 secs
lola: 3886352 markings, 22676405 edges, 15329 markings/sec, 245 secs
lola: 3962367 markings, 23130703 edges, 15203 markings/sec, 250 secs
lola: 4038888 markings, 23587737 edges, 15304 markings/sec, 255 secs
lola: 4114885 markings, 24039267 edges, 15199 markings/sec, 260 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 266 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 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 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: 98435 markings, 248882 edges, 19687 markings/sec, 0 secs
lola: 192196 markings, 529726 edges, 18752 markings/sec, 5 secs
lola: 273226 markings, 999340 edges, 16206 markings/sec, 10 secs
lola: 353903 markings, 1486096 edges, 16135 markings/sec, 15 secs
lola: 434627 markings, 1973691 edges, 16145 markings/sec, 20 secs
lola: 512782 markings, 2436829 edges, 15631 markings/sec, 25 secs
lola: 593991 markings, 2923985 edges, 16242 markings/sec, 30 secs
lola: 674704 markings, 3402559 edges, 16143 markings/sec, 35 secs
lola: 756148 markings, 3883237 edges, 16289 markings/sec, 40 secs
lola: 836777 markings, 4364559 edges, 16126 markings/sec, 45 secs
lola: 917487 markings, 4837080 edges, 16142 markings/sec, 50 secs
lola: 997657 markings, 5301601 edges, 16034 markings/sec, 55 secs
lola: 1077976 markings, 5756274 edges, 16064 markings/sec, 60 secs
lola: 1138935 markings, 6471866 edges, 12192 markings/sec, 65 secs
lola: 1214870 markings, 7017204 edges, 15187 markings/sec, 70 secs
lola: 1307205 markings, 7282164 edges, 18467 markings/sec, 75 secs
lola: 1392533 markings, 7648599 edges, 17066 markings/sec, 80 secs
lola: 1470417 markings, 8125419 edges, 15577 markings/sec, 85 secs
lola: 1550023 markings, 8605440 edges, 15921 markings/sec, 90 secs
lola: 1630612 markings, 9089189 edges, 16118 markings/sec, 95 secs
lola: 1710576 markings, 9564763 edges, 15993 markings/sec, 100 secs
lola: 1790138 markings, 10039471 edges, 15912 markings/sec, 105 secs
lola: 1869297 markings, 10509517 edges, 15832 markings/sec, 110 secs
lola: 1948360 markings, 10972941 edges, 15813 markings/sec, 115 secs
lola: 2027602 markings, 11432943 edges, 15848 markings/sec, 120 secs
lola: 2105213 markings, 11871648 edges, 15522 markings/sec, 125 secs
lola: 2179713 markings, 12354390 edges, 14900 markings/sec, 130 secs
lola: 2223917 markings, 13238527 edges, 8841 markings/sec, 135 secs
lola: 2315740 markings, 13484138 edges, 18365 markings/sec, 140 secs
lola: 2401518 markings, 13785642 edges, 17156 markings/sec, 145 secs
lola: 2475329 markings, 14233198 edges, 14762 markings/sec, 150 secs
lola: 2551423 markings, 14687775 edges, 15219 markings/sec, 155 secs
lola: 2630991 markings, 15166858 edges, 15914 markings/sec, 160 secs
lola: 2709757 markings, 15638650 edges, 15753 markings/sec, 165 secs
lola: 2789214 markings, 16114364 edges, 15891 markings/sec, 170 secs
lola: 2867110 markings, 16578788 edges, 15579 markings/sec, 175 secs
lola: 2945488 markings, 17045278 edges, 15676 markings/sec, 180 secs
lola: 3023843 markings, 17506519 edges, 15671 markings/sec, 185 secs
lola: 3102285 markings, 17967431 edges, 15688 markings/sec, 190 secs
lola: 3180452 markings, 18419511 edges, 15633 markings/sec, 195 secs
lola: 3258146 markings, 18863134 edges, 15539 markings/sec, 200 secs
lola: 3332062 markings, 19334647 edges, 14783 markings/sec, 205 secs
lola: 3382383 markings, 20110374 edges, 10064 markings/sec, 210 secs
lola: 3473798 markings, 20363349 edges, 18283 markings/sec, 215 secs
lola: 3557452 markings, 20703545 edges, 16731 markings/sec, 220 secs
lola: 3633746 markings, 21165723 edges, 15259 markings/sec, 225 secs
lola: 3710304 markings, 21628048 edges, 15312 markings/sec, 230 secs
lola: 3788866 markings, 22098827 edges, 15712 markings/sec, 235 secs
lola: 3866247 markings, 22559304 edges, 15476 markings/sec, 240 secs
lola: 3944287 markings, 23023434 edges, 15608 markings/sec, 245 secs
lola: 4021740 markings, 23484767 edges, 15491 markings/sec, 250 secs
lola: 4099512 markings, 23941859 edges, 15554 markings/sec, 255 secs
lola: 4175909 markings, 24399988 edges, 15279 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p467 + p466 + p465 + p464 + p463 + p462 + p461 + p460 + p459 + p458 + p457 + p456)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 5 unknown unknown unknown unknown 6
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-10 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-15 6 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494487833181

--------------------
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="Peterson-COL-5"
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/Peterson-COL-5.tgz
mv Peterson-COL-5 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 Peterson-COL-5, 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 r048-smll-149440869500020"
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 ;