About the Execution of LoLA for S_PolyORBNT-COL-S05J60
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2258.100 | 3540220.00 | 3546389.00 | 9678.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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 S_PolyORBNT-COL-S05J60, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500029
=====================================================================
--------------------
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-S05J60-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496278841642
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S05J60: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S05J60: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S05J60 @ 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: 2999/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 969 places, 2030 transitions, 827 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1728 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J60-UpperBounds.task
lola: MAX(p6) : MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + 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 + 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 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704) : MAX(p1) : MAX(p258) : MAX(p773) : MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + 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 + 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 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704) : MAX(p842 + p841 + p840 + p839 + p838) : MAX(p72) : MAX(p258) : MAX(p5) : MAX(p398) : MAX(p258) : MAX(p843) : MAX(p842 + p841 + p840 + p839 + p838) : MAX(p835 + p834 + p833 + p832 + p831 + p830 + p829 + p828 + p827 + p826 + p825 + p824 + p823 + p822 + p821 + p820 + p819 + p818 + p817 + p816 + p815 + p814 + p813 + p812 + p811 + p810 + p809 + p808 + p807 + p806 + p805 + p804 + p803 + p802 + p801 + p800 + p799 + p798 + p797 + p796 + p795 + p794 + p793 + p792 + p791 + p790 + p789 + p788 + p787 + p786 + p785 + p784 + p783 + p782 + p781 + p780 + p779 + p778 + p777 + p776 + p775) : MAX(p836)
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(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 23245 markings, 60948 edges, 4649 markings/sec, 0 secs
lola: 46610 markings, 115999 edges, 4673 markings/sec, 5 secs
lola: 69895 markings, 170783 edges, 4657 markings/sec, 10 secs
lola: 93090 markings, 225088 edges, 4639 markings/sec, 15 secs
lola: 116253 markings, 279300 edges, 4633 markings/sec, 20 secs
lola: 139326 markings, 333564 edges, 4615 markings/sec, 25 secs
lola: 162301 markings, 387358 edges, 4595 markings/sec, 30 secs
lola: 185188 markings, 440927 edges, 4577 markings/sec, 35 secs
lola: 208072 markings, 494473 edges, 4577 markings/sec, 40 secs
lola: 230868 markings, 548137 edges, 4559 markings/sec, 45 secs
lola: 253563 markings, 601284 edges, 4539 markings/sec, 50 secs
lola: 276150 markings, 654150 edges, 4517 markings/sec, 55 secs
lola: 298727 markings, 707006 edges, 4515 markings/sec, 60 secs
lola: 321256 markings, 759741 edges, 4506 markings/sec, 65 secs
lola: 343721 markings, 812636 edges, 4493 markings/sec, 70 secs
lola: 365592 markings, 864231 edges, 4374 markings/sec, 75 secs
lola: 378844 markings, 896538 edges, 2650 markings/sec, 80 secs
lola: 392155 markings, 928161 edges, 2662 markings/sec, 85 secs
lola: 405429 markings, 959689 edges, 2655 markings/sec, 90 secs
lola: 418657 markings, 991137 edges, 2646 markings/sec, 95 secs
lola: 431862 markings, 1022510 edges, 2641 markings/sec, 100 secs
lola: 445047 markings, 1053831 edges, 2637 markings/sec, 105 secs
lola: 458192 markings, 1085091 edges, 2629 markings/sec, 110 secs
lola: 473716 markings, 1121812 edges, 3105 markings/sec, 115 secs
lola: 497732 markings, 1178759 edges, 4803 markings/sec, 120 secs
lola: 521666 markings, 1235772 edges, 4787 markings/sec, 125 secs
lola: 546696 markings, 1295055 edges, 5006 markings/sec, 130 secs
lola: 571582 markings, 1354283 edges, 4977 markings/sec, 135 secs
lola: 596333 markings, 1413205 edges, 4950 markings/sec, 140 secs
lola: 620954 markings, 1471542 edges, 4924 markings/sec, 145 secs
lola: 645644 markings, 1535267 edges, 4938 markings/sec, 150 secs
lola: 671012 markings, 1583715 edges, 5074 markings/sec, 155 secs
lola: 696504 markings, 1631689 edges, 5098 markings/sec, 160 secs
lola: 722176 markings, 1679076 edges, 5134 markings/sec, 165 secs
lola: 747811 markings, 1726425 edges, 5127 markings/sec, 170 secs
lola: 773383 markings, 1773649 edges, 5114 markings/sec, 175 secs
lola: 798934 markings, 1820803 edges, 5110 markings/sec, 180 secs
lola: 824440 markings, 1867928 edges, 5101 markings/sec, 185 secs
lola: 849917 markings, 1914966 edges, 5095 markings/sec, 190 secs
lola: 875339 markings, 1961905 edges, 5084 markings/sec, 195 secs
lola: 900729 markings, 2008814 edges, 5078 markings/sec, 200 secs
lola: 926078 markings, 2055629 edges, 5070 markings/sec, 205 secs
lola: 951388 markings, 2102370 edges, 5062 markings/sec, 210 secs
lola: 976664 markings, 2149058 edges, 5055 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(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 26893 markings, 41693 edges, 5379 markings/sec, 0 secs
lola: 53518 markings, 83061 edges, 5325 markings/sec, 5 secs
lola: 80099 markings, 124350 edges, 5316 markings/sec, 10 secs
lola: 106646 markings, 165592 edges, 5309 markings/sec, 15 secs
lola: 133165 markings, 206809 edges, 5304 markings/sec, 20 secs
lola: 159650 markings, 247978 edges, 5297 markings/sec, 25 secs
lola: 186105 markings, 289122 edges, 5291 markings/sec, 30 secs
lola: 212494 markings, 335799 edges, 5278 markings/sec, 35 secs
lola: 238975 markings, 376952 edges, 5296 markings/sec, 40 secs
lola: 265417 markings, 418058 edges, 5288 markings/sec, 45 secs
lola: 291822 markings, 459116 edges, 5281 markings/sec, 50 secs
lola: 318171 markings, 500130 edges, 5270 markings/sec, 55 secs
lola: 344503 markings, 541077 edges, 5266 markings/sec, 60 secs
lola: 370788 markings, 581998 edges, 5257 markings/sec, 65 secs
lola: 396954 markings, 628357 edges, 5233 markings/sec, 70 secs
lola: 423271 markings, 669279 edges, 5263 markings/sec, 75 secs
lola: 449541 markings, 710185 edges, 5254 markings/sec, 80 secs
lola: 475780 markings, 751011 edges, 5248 markings/sec, 85 secs
lola: 501982 markings, 791801 edges, 5240 markings/sec, 90 secs
lola: 528142 markings, 832542 edges, 5232 markings/sec, 95 secs
lola: 554275 markings, 873261 edges, 5227 markings/sec, 100 secs
lola: 580375 markings, 913915 edges, 5220 markings/sec, 105 secs
lola: 606330 markings, 959974 edges, 5191 markings/sec, 110 secs
lola: 632419 markings, 1000616 edges, 5218 markings/sec, 115 secs
lola: 658470 markings, 1041212 edges, 5210 markings/sec, 120 secs
lola: 684470 markings, 1081738 edges, 5200 markings/sec, 125 secs
lola: 710439 markings, 1122188 edges, 5194 markings/sec, 130 secs
lola: 736212 markings, 1162417 edges, 5155 markings/sec, 135 secs
lola: 761874 markings, 1202476 edges, 5132 markings/sec, 140 secs
lola: 787467 markings, 1242447 edges, 5119 markings/sec, 145 secs
lola: 812954 markings, 1282307 edges, 5097 markings/sec, 150 secs
lola: 838580 markings, 1322305 edges, 5125 markings/sec, 155 secs
lola: 864058 markings, 1367757 edges, 5096 markings/sec, 160 secs
lola: 889681 markings, 1407754 edges, 5125 markings/sec, 165 secs
lola: 915294 markings, 1447743 edges, 5123 markings/sec, 170 secs
lola: 940872 markings, 1487716 edges, 5116 markings/sec, 175 secs
lola: 966423 markings, 1527640 edges, 5110 markings/sec, 180 secs
lola: 991914 markings, 1567463 edges, 5098 markings/sec, 185 secs
lola: 1017365 markings, 1607247 edges, 5090 markings/sec, 190 secs
lola: 1042802 markings, 1647024 edges, 5087 markings/sec, 195 secs
lola: 1068233 markings, 1686764 edges, 5086 markings/sec, 200 secs
lola: 1093616 markings, 1726449 edges, 5077 markings/sec, 205 secs
lola: 1118789 markings, 1771497 edges, 5035 markings/sec, 210 secs
lola: 1144189 markings, 1811203 edges, 5080 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 3308 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: 25541 markings, 64606 edges, 5108 markings/sec, 0 secs
lola: 50390 markings, 120875 edges, 4970 markings/sec, 5 secs
lola: 75107 markings, 176313 edges, 4943 markings/sec, 10 secs
lola: 99735 markings, 231847 edges, 4926 markings/sec, 15 secs
lola: 124247 markings, 286834 edges, 4902 markings/sec, 20 secs
lola: 148765 markings, 341847 edges, 4904 markings/sec, 25 secs
lola: 173116 markings, 396749 edges, 4870 markings/sec, 30 secs
lola: 197404 markings, 451264 edges, 4858 markings/sec, 35 secs
lola: 221604 markings, 505832 edges, 4840 markings/sec, 40 secs
lola: 245660 markings, 559798 edges, 4811 markings/sec, 45 secs
lola: 269705 markings, 613763 edges, 4809 markings/sec, 50 secs
lola: 293655 markings, 667785 edges, 4790 markings/sec, 55 secs
lola: 317445 markings, 721162 edges, 4758 markings/sec, 60 secs
lola: 341257 markings, 774617 edges, 4762 markings/sec, 65 secs
lola: 365066 markings, 828566 edges, 4762 markings/sec, 70 secs
lola: 389858 markings, 886003 edges, 4958 markings/sec, 75 secs
lola: 414498 markings, 942042 edges, 4928 markings/sec, 80 secs
lola: 438965 markings, 997969 edges, 4893 markings/sec, 85 secs
lola: 463308 markings, 1053359 edges, 4869 markings/sec, 90 secs
lola: 487502 markings, 1108397 edges, 4839 markings/sec, 95 secs
lola: 512654 markings, 1165839 edges, 5030 markings/sec, 100 secs
lola: 538802 markings, 1225503 edges, 5230 markings/sec, 105 secs
lola: 565181 markings, 1285684 edges, 5276 markings/sec, 110 secs
lola: 591423 markings, 1345555 edges, 5248 markings/sec, 115 secs
lola: 617532 markings, 1405132 edges, 5222 markings/sec, 120 secs
lola: 643824 markings, 1471950 edges, 5258 markings/sec, 125 secs
lola: 671487 markings, 1527457 edges, 5533 markings/sec, 130 secs
lola: 698976 markings, 1580811 edges, 5498 markings/sec, 135 secs
lola: 726481 markings, 1632992 edges, 5501 markings/sec, 140 secs
lola: 753926 markings, 1685079 edges, 5489 markings/sec, 145 secs
lola: 780340 markings, 1735263 edges, 5283 markings/sec, 150 secs
lola: 806550 markings, 1785096 edges, 5242 markings/sec, 155 secs
lola: 832706 markings, 1834796 edges, 5231 markings/sec, 160 secs
lola: 858795 markings, 1885630 edges, 5218 markings/sec, 165 secs
lola: 884858 markings, 1935240 edges, 5213 markings/sec, 170 secs
lola: 910877 markings, 1984668 edges, 5204 markings/sec, 175 secs
lola: 936854 markings, 2034053 edges, 5195 markings/sec, 180 secs
lola: 962795 markings, 2083346 edges, 5188 markings/sec, 185 secs
lola: 988687 markings, 2132566 edges, 5178 markings/sec, 190 secs
lola: 1014519 markings, 2181667 edges, 5166 markings/sec, 195 secs
lola: 1040312 markings, 2230682 edges, 5159 markings/sec, 200 secs
lola: 1066058 markings, 2279622 edges, 5149 markings/sec, 205 secs
lola: 1091767 markings, 2328504 edges, 5142 markings/sec, 210 secs
lola: 1117446 markings, 2377346 edges, 5136 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(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 33173 markings, 50108 edges, 6635 markings/sec, 0 secs
lola: 65938 markings, 99733 edges, 6553 markings/sec, 5 secs
lola: 98367 markings, 154497 edges, 6486 markings/sec, 10 secs
lola: 130822 markings, 203679 edges, 6491 markings/sec, 15 secs
lola: 163164 markings, 258348 edges, 6468 markings/sec, 20 secs
lola: 195509 markings, 307376 edges, 6469 markings/sec, 25 secs
lola: 227744 markings, 361897 edges, 6447 markings/sec, 30 secs
lola: 260023 markings, 410860 edges, 6456 markings/sec, 35 secs
lola: 292232 markings, 465341 edges, 6442 markings/sec, 40 secs
lola: 324479 markings, 514238 edges, 6449 markings/sec, 45 secs
lola: 356468 markings, 568453 edges, 6398 markings/sec, 50 secs
lola: 388676 markings, 617300 edges, 6442 markings/sec, 55 secs
lola: 420554 markings, 671338 edges, 6376 markings/sec, 60 secs
lola: 452551 markings, 725567 edges, 6399 markings/sec, 65 secs
lola: 484638 markings, 774269 edges, 6417 markings/sec, 70 secs
lola: 516435 markings, 828210 edges, 6359 markings/sec, 75 secs
lola: 548244 markings, 882170 edges, 6362 markings/sec, 80 secs
lola: 580069 markings, 936155 edges, 6365 markings/sec, 85 secs
lola: 612005 markings, 984646 edges, 6387 markings/sec, 90 secs
lola: 643703 markings, 1038446 edges, 6340 markings/sec, 95 secs
lola: 675340 markings, 1092212 edges, 6327 markings/sec, 100 secs
lola: 706956 markings, 1145900 edges, 6323 markings/sec, 105 secs
lola: 738521 markings, 1199560 edges, 6313 markings/sec, 110 secs
lola: 770112 markings, 1253217 edges, 6318 markings/sec, 115 secs
lola: 801667 markings, 1306877 edges, 6311 markings/sec, 120 secs
lola: 833221 markings, 1360494 edges, 6311 markings/sec, 125 secs
lola: 864742 markings, 1414084 edges, 6304 markings/sec, 130 secs
lola: 896203 markings, 1467609 edges, 6292 markings/sec, 135 secs
lola: 927314 markings, 1526304 edges, 6222 markings/sec, 140 secs
lola: 958820 markings, 1579876 edges, 6301 markings/sec, 145 secs
lola: 989989 markings, 1638635 edges, 6234 markings/sec, 150 secs
lola: 1021373 markings, 1692058 edges, 6277 markings/sec, 155 secs
lola: 1052513 markings, 1750788 edges, 6228 markings/sec, 160 secs
lola: 1072658 markings, 1789136 edges, 4029 markings/sec, 165 secs
lola: 1092085 markings, 1820851 edges, 3885 markings/sec, 170 secs
lola: 1124699 markings, 1881579 edges, 6523 markings/sec, 175 secs
lola: 1157340 markings, 1948008 edges, 6528 markings/sec, 180 secs
lola: 1191486 markings, 2010776 edges, 6829 markings/sec, 185 secs
lola: 1225543 markings, 2073455 edges, 6811 markings/sec, 190 secs
lola: 1259547 markings, 2136035 edges, 6801 markings/sec, 195 secs
lola: 1293470 markings, 2198512 edges, 6785 markings/sec, 200 secs
lola: 1327164 markings, 2266340 edges, 6739 markings/sec, 205 secs
lola: 1360960 markings, 2328648 edges, 6759 markings/sec, 210 secs
lola: 1389466 markings, 2533832 edges, 5701 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(p773)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 43651 markings, 63807 edges, 8730 markings/sec, 0 secs
lola: 91029 markings, 144260 edges, 9476 markings/sec, 5 secs
lola: 142543 markings, 217309 edges, 10303 markings/sec, 10 secs
lola: 191427 markings, 294132 edges, 9777 markings/sec, 15 secs
lola: 230760 markings, 370074 edges, 7867 markings/sec, 20 secs
lola: 267436 markings, 438570 edges, 7335 markings/sec, 25 secs
lola: 308894 markings, 508186 edges, 8292 markings/sec, 30 secs
lola: 353556 markings, 586930 edges, 8932 markings/sec, 35 secs
lola: 405437 markings, 659663 edges, 10376 markings/sec, 40 secs
lola: 455085 markings, 734229 edges, 9930 markings/sec, 45 secs
lola: 497011 markings, 813997 edges, 8385 markings/sec, 50 secs
lola: 534152 markings, 881407 edges, 7428 markings/sec, 55 secs
lola: 573612 markings, 952922 edges, 7892 markings/sec, 60 secs
lola: 615649 markings, 1029190 edges, 8407 markings/sec, 65 secs
lola: 667971 markings, 1101881 edges, 10464 markings/sec, 70 secs
lola: 718320 markings, 1175413 edges, 10070 markings/sec, 75 secs
lola: 763032 markings, 1257813 edges, 8942 markings/sec, 80 secs
lola: 799509 markings, 1322692 edges, 7295 markings/sec, 85 secs
lola: 834414 markings, 1392908 edges, 6981 markings/sec, 90 secs
lola: 875142 markings, 1454182 edges, 8146 markings/sec, 95 secs
lola: 921019 markings, 1531115 edges, 9175 markings/sec, 100 secs
lola: 971976 markings, 1604010 edges, 10191 markings/sec, 105 secs
lola: 1019176 markings, 1681307 edges, 9440 markings/sec, 110 secs
lola: 1055531 markings, 1750821 edges, 7271 markings/sec, 115 secs
lola: 1090040 markings, 1816431 edges, 6902 markings/sec, 120 secs
lola: 1131634 markings, 1884871 edges, 8319 markings/sec, 125 secs
lola: 1177271 markings, 1964202 edges, 9127 markings/sec, 130 secs
lola: 1227492 markings, 2035204 edges, 10044 markings/sec, 135 secs
lola: 1276378 markings, 2110640 edges, 9777 markings/sec, 140 secs
lola: 1316368 markings, 2187911 edges, 7998 markings/sec, 145 secs
lola: 1352930 markings, 2255902 edges, 7312 markings/sec, 150 secs
lola: 1393681 markings, 2325358 edges, 8150 markings/sec, 155 secs
lola: 1437926 markings, 2403528 edges, 8849 markings/sec, 160 secs
lola: 1488341 markings, 2474342 edges, 10083 markings/sec, 165 secs
lola: 1535427 markings, 2545293 edges, 9417 markings/sec, 170 secs
lola: 1575391 markings, 2621829 edges, 7993 markings/sec, 175 secs
lola: 1612418 markings, 2689087 edges, 7405 markings/sec, 180 secs
lola: 1650485 markings, 2758555 edges, 7613 markings/sec, 185 secs
lola: 1690452 markings, 2831708 edges, 7993 markings/sec, 190 secs
lola: 1742097 markings, 2903807 edges, 10329 markings/sec, 195 secs
lola: 1790766 markings, 2976118 edges, 9734 markings/sec, 200 secs
lola: 1833297 markings, 3056469 edges, 8506 markings/sec, 205 secs
lola: 1870285 markings, 3123669 edges, 7398 markings/sec, 210 secs
lola: 1909518 markings, 3194808 edges, 7847 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(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 26658 markings, 41380 edges, 5332 markings/sec, 0 secs
lola: 53063 markings, 82452 edges, 5281 markings/sec, 5 secs
lola: 79450 markings, 123478 edges, 5277 markings/sec, 10 secs
lola: 105799 markings, 164466 edges, 5270 markings/sec, 15 secs
lola: 132154 markings, 205478 edges, 5271 markings/sec, 20 secs
lola: 158619 markings, 246627 edges, 5293 markings/sec, 25 secs
lola: 185051 markings, 287710 edges, 5286 markings/sec, 30 secs
lola: 211386 markings, 334312 edges, 5267 markings/sec, 35 secs
lola: 237837 markings, 375435 edges, 5290 markings/sec, 40 secs
lola: 264250 markings, 416501 edges, 5283 markings/sec, 45 secs
lola: 290617 markings, 457499 edges, 5273 markings/sec, 50 secs
lola: 316931 markings, 498465 edges, 5263 markings/sec, 55 secs
lola: 342115 markings, 537873 edges, 5037 markings/sec, 60 secs
lola: 368049 markings, 578312 edges, 5187 markings/sec, 65 secs
lola: 394284 markings, 619136 edges, 5247 markings/sec, 70 secs
lola: 420402 markings, 665429 edges, 5224 markings/sec, 75 secs
lola: 446644 markings, 706286 edges, 5248 markings/sec, 80 secs
lola: 472847 markings, 747087 edges, 5241 markings/sec, 85 secs
lola: 499021 markings, 787837 edges, 5235 markings/sec, 90 secs
lola: 525163 markings, 828540 edges, 5228 markings/sec, 95 secs
lola: 551268 markings, 869199 edges, 5221 markings/sec, 100 secs
lola: 577331 markings, 909812 edges, 5213 markings/sec, 105 secs
lola: 603367 markings, 950389 edges, 5207 markings/sec, 110 secs
lola: 629229 markings, 996331 edges, 5172 markings/sec, 115 secs
lola: 655259 markings, 1036901 edges, 5206 markings/sec, 120 secs
lola: 681249 markings, 1077409 edges, 5198 markings/sec, 125 secs
lola: 707211 markings, 1117852 edges, 5192 markings/sec, 130 secs
lola: 733123 markings, 1158278 edges, 5182 markings/sec, 135 secs
lola: 759013 markings, 1198626 edges, 5178 markings/sec, 140 secs
lola: 784857 markings, 1238971 edges, 5169 markings/sec, 145 secs
lola: 810684 markings, 1279247 edges, 5165 markings/sec, 150 secs
lola: 836486 markings, 1319480 edges, 5160 markings/sec, 155 secs
lola: 862074 markings, 1365092 edges, 5118 markings/sec, 160 secs
lola: 887880 markings, 1405342 edges, 5161 markings/sec, 165 secs
lola: 913656 markings, 1445548 edges, 5155 markings/sec, 170 secs
lola: 939393 markings, 1485711 edges, 5147 markings/sec, 175 secs
lola: 965027 markings, 1525750 edges, 5127 markings/sec, 180 secs
lola: 990606 markings, 1565720 edges, 5116 markings/sec, 185 secs
lola: 1016154 markings, 1605616 edges, 5110 markings/sec, 190 secs
lola: 1041674 markings, 1645502 edges, 5104 markings/sec, 195 secs
lola: 1067173 markings, 1685346 edges, 5100 markings/sec, 200 secs
lola: 1092615 markings, 1725132 edges, 5088 markings/sec, 205 secs
lola: 1117962 markings, 1764766 edges, 5069 markings/sec, 210 secs
lola: 1143157 markings, 1809815 edges, 5039 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(p842 + p841 + p840 + p839 + p838)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 36167 markings, 54154 edges, 7233 markings/sec, 0 secs
lola: 71963 markings, 113440 edges, 7159 markings/sec, 5 secs
lola: 107640 markings, 166955 edges, 7135 markings/sec, 10 secs
lola: 143317 markings, 226060 edges, 7135 markings/sec, 15 secs
lola: 178890 markings, 279437 edges, 7115 markings/sec, 20 secs
lola: 214323 markings, 338229 edges, 7087 markings/sec, 25 secs
lola: 249672 markings, 391297 edges, 7070 markings/sec, 30 secs
lola: 284938 markings, 449890 edges, 7053 markings/sec, 35 secs
lola: 320238 markings, 502896 edges, 7060 markings/sec, 40 secs
lola: 355345 markings, 561240 edges, 7021 markings/sec, 45 secs
lola: 390527 markings, 614106 edges, 7036 markings/sec, 50 secs
lola: 425482 markings, 672272 edges, 6991 markings/sec, 55 secs
lola: 460550 markings, 724940 edges, 7014 markings/sec, 60 secs
lola: 495319 markings, 782874 edges, 6954 markings/sec, 65 secs
lola: 530252 markings, 835385 edges, 6987 markings/sec, 70 secs
lola: 564918 markings, 893148 edges, 6933 markings/sec, 75 secs
lola: 599674 markings, 945440 edges, 6951 markings/sec, 80 secs
lola: 634211 markings, 1003016 edges, 6907 markings/sec, 85 secs
lola: 668805 markings, 1055087 edges, 6919 markings/sec, 90 secs
lola: 701892 markings, 1110732 edges, 6617 markings/sec, 95 secs
lola: 734695 markings, 1160391 edges, 6561 markings/sec, 100 secs
lola: 768361 markings, 1222508 edges, 6733 markings/sec, 105 secs
lola: 802167 markings, 1284846 edges, 6761 markings/sec, 110 secs
lola: 835804 markings, 1346920 edges, 6727 markings/sec, 115 secs
lola: 869276 markings, 1408795 edges, 6694 markings/sec, 120 secs
lola: 902591 markings, 1470483 edges, 6663 markings/sec, 125 secs
lola: 935755 markings, 1531944 edges, 6633 markings/sec, 130 secs
lola: 968754 markings, 1593190 edges, 6600 markings/sec, 135 secs
lola: 1001664 markings, 1654281 edges, 6582 markings/sec, 140 secs
lola: 1034412 markings, 1715195 edges, 6550 markings/sec, 145 secs
lola: 1067043 markings, 1775932 edges, 6526 markings/sec, 150 secs
lola: 1099667 markings, 1836686 edges, 6525 markings/sec, 155 secs
lola: 1133703 markings, 1899314 edges, 6807 markings/sec, 160 secs
lola: 1167663 markings, 1961862 edges, 6792 markings/sec, 165 secs
lola: 1201429 markings, 2029781 edges, 6753 markings/sec, 170 secs
lola: 1235290 markings, 2092185 edges, 6772 markings/sec, 175 secs
lola: 1269067 markings, 2154484 edges, 6755 markings/sec, 180 secs
lola: 1302783 markings, 2216658 edges, 6743 markings/sec, 185 secs
lola: 1336257 markings, 2284210 edges, 6695 markings/sec, 190 secs
lola: 1369875 markings, 2346259 edges, 6724 markings/sec, 195 secs
lola: 1399763 markings, 2547675 edges, 5978 markings/sec, 200 secs
lola: 1433255 markings, 2603847 edges, 6698 markings/sec, 205 secs
lola: 1466708 markings, 2654409 edges, 6691 markings/sec, 210 secs
lola: 1500031 markings, 2710356 edges, 6665 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(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 25060 markings, 61851 edges, 5012 markings/sec, 0 secs
lola: 49821 markings, 118982 edges, 4952 markings/sec, 5 secs
lola: 74406 markings, 173121 edges, 4917 markings/sec, 10 secs
lola: 98872 markings, 226745 edges, 4893 markings/sec, 15 secs
lola: 123331 markings, 280601 edges, 4892 markings/sec, 20 secs
lola: 147741 markings, 334104 edges, 4882 markings/sec, 25 secs
lola: 172038 markings, 387621 edges, 4859 markings/sec, 30 secs
lola: 196317 markings, 441085 edges, 4856 markings/sec, 35 secs
lola: 220562 markings, 494510 edges, 4849 markings/sec, 40 secs
lola: 244732 markings, 547739 edges, 4834 markings/sec, 45 secs
lola: 268863 markings, 600921 edges, 4826 markings/sec, 50 secs
lola: 292924 markings, 653946 edges, 4812 markings/sec, 55 secs
lola: 316957 markings, 706909 edges, 4807 markings/sec, 60 secs
lola: 340980 markings, 759854 edges, 4805 markings/sec, 65 secs
lola: 364857 markings, 812743 edges, 4775 markings/sec, 70 secs
lola: 388816 markings, 865556 edges, 4792 markings/sec, 75 secs
lola: 412673 markings, 918406 edges, 4771 markings/sec, 80 secs
lola: 436519 markings, 971265 edges, 4769 markings/sec, 85 secs
lola: 460356 markings, 1024094 edges, 4767 markings/sec, 90 secs
lola: 484179 markings, 1077171 edges, 4765 markings/sec, 95 secs
lola: 508036 markings, 1130321 edges, 4771 markings/sec, 100 secs
lola: 532422 markings, 1184640 edges, 4877 markings/sec, 105 secs
lola: 557254 markings, 1240211 edges, 4966 markings/sec, 110 secs
lola: 581953 markings, 1295466 edges, 4940 markings/sec, 115 secs
lola: 606558 markings, 1350264 edges, 4921 markings/sec, 120 secs
lola: 631031 markings, 1405043 edges, 4895 markings/sec, 125 secs
lola: 656166 markings, 1463698 edges, 5027 markings/sec, 130 secs
lola: 681611 markings, 1513648 edges, 5089 markings/sec, 135 secs
lola: 706947 markings, 1562122 edges, 5067 markings/sec, 140 secs
lola: 733280 markings, 1611693 edges, 5267 markings/sec, 145 secs
lola: 759579 markings, 1659964 edges, 5260 markings/sec, 150 secs
lola: 785936 markings, 1708348 edges, 5271 markings/sec, 155 secs
lola: 812193 markings, 1756575 edges, 5251 markings/sec, 160 secs
lola: 837969 markings, 1803948 edges, 5155 markings/sec, 165 secs
lola: 864209 markings, 1852094 edges, 5248 markings/sec, 170 secs
lola: 891016 markings, 1902541 edges, 5361 markings/sec, 175 secs
lola: 916509 markings, 1949394 edges, 5099 markings/sec, 180 secs
lola: 941671 markings, 1995671 edges, 5032 markings/sec, 185 secs
lola: 966733 markings, 2041724 edges, 5012 markings/sec, 190 secs
lola: 991798 markings, 2087801 edges, 5013 markings/sec, 195 secs
lola: 1016902 markings, 2133956 edges, 5021 markings/sec, 200 secs
lola: 1041982 markings, 2180065 edges, 5016 markings/sec, 205 secs
lola: 1067113 markings, 2226251 edges, 5026 markings/sec, 210 secs
lola: 1092115 markings, 2272205 edges, 5000 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(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 32110 markings, 48707 edges, 6422 markings/sec, 0 secs
lola: 65144 markings, 98667 edges, 6607 markings/sec, 5 secs
lola: 99382 markings, 155858 edges, 6848 markings/sec, 10 secs
lola: 133949 markings, 207866 edges, 6913 markings/sec, 15 secs
lola: 168300 markings, 265251 edges, 6870 markings/sec, 20 secs
lola: 202866 markings, 317269 edges, 6913 markings/sec, 25 secs
lola: 237076 markings, 374436 edges, 6842 markings/sec, 30 secs
lola: 271396 markings, 431738 edges, 6864 markings/sec, 35 secs
lola: 305784 markings, 483543 edges, 6878 markings/sec, 40 secs
lola: 339893 markings, 540586 edges, 6822 markings/sec, 45 secs
lola: 374108 markings, 597762 edges, 6843 markings/sec, 50 secs
lola: 408385 markings, 649383 edges, 6855 markings/sec, 55 secs
lola: 442291 markings, 706149 edges, 6781 markings/sec, 60 secs
lola: 476234 markings, 762985 edges, 6789 markings/sec, 65 secs
lola: 510272 markings, 819921 edges, 6808 markings/sec, 70 secs
lola: 544220 markings, 876767 edges, 6790 markings/sec, 75 secs
lola: 578300 markings, 928152 edges, 6816 markings/sec, 80 secs
lola: 612148 markings, 984853 edges, 6770 markings/sec, 85 secs
lola: 645871 markings, 1041388 edges, 6745 markings/sec, 90 secs
lola: 679647 markings, 1097996 edges, 6755 markings/sec, 95 secs
lola: 713394 markings, 1154549 edges, 6749 markings/sec, 100 secs
lola: 747098 markings, 1211051 edges, 6741 markings/sec, 105 secs
lola: 780539 markings, 1272859 edges, 6688 markings/sec, 110 secs
lola: 814102 markings, 1329193 edges, 6713 markings/sec, 115 secs
lola: 847648 markings, 1385511 edges, 6709 markings/sec, 120 secs
lola: 881270 markings, 1441916 edges, 6724 markings/sec, 125 secs
lola: 914488 markings, 1503438 edges, 6644 markings/sec, 130 secs
lola: 948075 markings, 1559785 edges, 6717 markings/sec, 135 secs
lola: 981304 markings, 1621346 edges, 6646 markings/sec, 140 secs
lola: 1014590 markings, 1682949 edges, 6657 markings/sec, 145 secs
lola: 1048106 markings, 1739229 edges, 6703 markings/sec, 150 secs
lola: 1081376 markings, 1800849 edges, 6654 markings/sec, 155 secs
lola: 1115251 markings, 1866974 edges, 6775 markings/sec, 160 secs
lola: 1149655 markings, 1932044 edges, 6881 markings/sec, 165 secs
lola: 1183881 markings, 1994942 edges, 6845 markings/sec, 170 secs
lola: 1218190 markings, 2057940 edges, 6862 markings/sec, 175 secs
lola: 1252323 markings, 2126341 edges, 6827 markings/sec, 180 secs
lola: 1286516 markings, 2189196 edges, 6839 markings/sec, 185 secs
lola: 1320646 markings, 2251937 edges, 6826 markings/sec, 190 secs
lola: 1354670 markings, 2314582 edges, 6805 markings/sec, 195 secs
lola: 1384947 markings, 2527784 edges, 6055 markings/sec, 200 secs
lola: 1419277 markings, 2579486 edges, 6866 markings/sec, 205 secs
lola: 1453227 markings, 2636302 edges, 6790 markings/sec, 210 secs
lola: 1487113 markings, 2687399 edges, 6777 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(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 43784 markings, 64023 edges, 8757 markings/sec, 0 secs
lola: 91307 markings, 144661 edges, 9505 markings/sec, 5 secs
lola: 142893 markings, 217741 edges, 10317 markings/sec, 10 secs
lola: 184552 markings, 281992 edges, 8332 markings/sec, 15 secs
lola: 225774 markings, 361199 edges, 8244 markings/sec, 20 secs
lola: 263166 markings, 429957 edges, 7478 markings/sec, 25 secs
lola: 304305 markings, 501334 edges, 8228 markings/sec, 30 secs
lola: 348578 markings, 580065 edges, 8855 markings/sec, 35 secs
lola: 401373 markings, 653755 edges, 10559 markings/sec, 40 secs
lola: 451792 markings, 728883 edges, 10084 markings/sec, 45 secs
lola: 494850 markings, 810240 edges, 8612 markings/sec, 50 secs
lola: 532555 markings, 878311 edges, 7541 markings/sec, 55 secs
lola: 572162 markings, 950850 edges, 7921 markings/sec, 60 secs
lola: 614444 markings, 1027653 edges, 8456 markings/sec, 65 secs
lola: 667539 markings, 1101281 edges, 10619 markings/sec, 70 secs
lola: 718536 markings, 1175762 edges, 10199 markings/sec, 75 secs
lola: 763596 markings, 1258854 edges, 9012 markings/sec, 80 secs
lola: 801648 markings, 1326572 edges, 7610 markings/sec, 85 secs
lola: 839577 markings, 1400126 edges, 7586 markings/sec, 90 secs
lola: 881977 markings, 1469067 edges, 8480 markings/sec, 95 secs
lola: 933186 markings, 1548207 edges, 10242 markings/sec, 100 secs
lola: 984312 markings, 1622429 edges, 10225 markings/sec, 105 secs
lola: 1030252 markings, 1706334 edges, 9188 markings/sec, 110 secs
lola: 1068220 markings, 1773870 edges, 7594 markings/sec, 115 secs
lola: 1106094 markings, 1847519 edges, 7575 markings/sec, 120 secs
lola: 1148557 markings, 1915745 edges, 8493 markings/sec, 125 secs
lola: 1199555 markings, 1995309 edges, 10200 markings/sec, 130 secs
lola: 1250507 markings, 2069231 edges, 10190 markings/sec, 135 secs
lola: 1296316 markings, 2152735 edges, 9162 markings/sec, 140 secs
lola: 1334255 markings, 2220151 edges, 7588 markings/sec, 145 secs
lola: 1371646 markings, 2293529 edges, 7478 markings/sec, 150 secs
lola: 1414241 markings, 2360380 edges, 8519 markings/sec, 155 secs
lola: 1464651 markings, 2440703 edges, 10082 markings/sec, 160 secs
lola: 1515652 markings, 2514522 edges, 10200 markings/sec, 165 secs
lola: 1562087 markings, 2598663 edges, 9287 markings/sec, 170 secs
lola: 1600108 markings, 2666095 edges, 7604 markings/sec, 175 secs
lola: 1637399 markings, 2739941 edges, 7458 markings/sec, 180 secs
lola: 1680101 markings, 2807525 edges, 8540 markings/sec, 185 secs
lola: 1730574 markings, 2887471 edges, 10095 markings/sec, 190 secs
lola: 1781345 markings, 2961525 edges, 10154 markings/sec, 195 secs
lola: 1826588 markings, 3044699 edges, 9049 markings/sec, 200 secs
lola: 1864233 markings, 3112214 edges, 7529 markings/sec, 205 secs
lola: 1902729 markings, 3185037 edges, 7699 markings/sec, 210 secs
lola: 1944247 markings, 3260678 edges, 8304 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(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 34881 markings, 64788 edges, 6976 markings/sec, 0 secs
lola: 68441 markings, 128953 edges, 6712 markings/sec, 5 secs
lola: 100528 markings, 193103 edges, 6417 markings/sec, 10 secs
lola: 131174 markings, 262109 edges, 6129 markings/sec, 15 secs
lola: 171217 markings, 344780 edges, 8009 markings/sec, 20 secs
lola: 214924 markings, 418774 edges, 8741 markings/sec, 25 secs
lola: 257804 markings, 492112 edges, 8576 markings/sec, 30 secs
lola: 299170 markings, 564142 edges, 8273 markings/sec, 35 secs
lola: 339140 markings, 635514 edges, 7994 markings/sec, 40 secs
lola: 378154 markings, 708397 edges, 7803 markings/sec, 45 secs
lola: 414453 markings, 793931 edges, 7260 markings/sec, 50 secs
lola: 447474 markings, 869336 edges, 6604 markings/sec, 55 secs
lola: 479897 markings, 944077 edges, 6485 markings/sec, 60 secs
lola: 511589 markings, 1019010 edges, 6338 markings/sec, 65 secs
lola: 542106 markings, 1095406 edges, 6103 markings/sec, 70 secs
lola: 574886 markings, 1171733 edges, 6556 markings/sec, 75 secs
lola: 608783 markings, 1235954 edges, 6779 markings/sec, 80 secs
lola: 641519 markings, 1299989 edges, 6547 markings/sec, 85 secs
lola: 672801 markings, 1366056 edges, 6256 markings/sec, 90 secs
lola: 708111 markings, 1448626 edges, 7062 markings/sec, 95 secs
lola: 751836 markings, 1522767 edges, 8745 markings/sec, 100 secs
lola: 795058 markings, 1596339 edges, 8644 markings/sec, 105 secs
lola: 836934 markings, 1668832 edges, 8375 markings/sec, 110 secs
lola: 877466 markings, 1740373 edges, 8106 markings/sec, 115 secs
lola: 916893 markings, 1812507 edges, 7885 markings/sec, 120 secs
lola: 954918 markings, 1890390 edges, 7605 markings/sec, 125 secs
lola: 988421 markings, 1973383 edges, 6701 markings/sec, 130 secs
lola: 1021129 markings, 2048405 edges, 6542 markings/sec, 135 secs
lola: 1053052 markings, 2122998 edges, 6385 markings/sec, 140 secs
lola: 1084056 markings, 2198283 edges, 6201 markings/sec, 145 secs
lola: 1115107 markings, 2279216 edges, 6210 markings/sec, 150 secs
lola: 1149657 markings, 2343978 edges, 6910 markings/sec, 155 secs
lola: 1182681 markings, 2407718 edges, 6605 markings/sec, 160 secs
lola: 1214324 markings, 2472236 edges, 6329 markings/sec, 165 secs
lola: 1243965 markings, 2551328 edges, 5928 markings/sec, 170 secs
lola: 1288483 markings, 2626179 edges, 8904 markings/sec, 175 secs
lola: 1331850 markings, 2699905 edges, 8673 markings/sec, 180 secs
lola: 1374043 markings, 2772462 edges, 8439 markings/sec, 185 secs
lola: 1415259 markings, 2844372 edges, 8243 markings/sec, 190 secs
lola: 1454879 markings, 2915741 edges, 7924 markings/sec, 195 secs
lola: 1493446 markings, 2989704 edges, 7713 markings/sec, 200 secs
lola: 1528407 markings, 3075121 edges, 6992 markings/sec, 205 secs
lola: 1561374 markings, 3150237 edges, 6593 markings/sec, 210 secs
lola: 1593474 markings, 3224930 edges, 6420 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(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 33221 markings, 50180 edges, 6644 markings/sec, 0 secs
lola: 66040 markings, 99850 edges, 6564 markings/sec, 5 secs
lola: 98461 markings, 154632 edges, 6484 markings/sec, 10 secs
lola: 130921 markings, 203833 edges, 6492 markings/sec, 15 secs
lola: 163323 markings, 258543 edges, 6480 markings/sec, 20 secs
lola: 195712 markings, 307666 edges, 6478 markings/sec, 25 secs
lola: 228045 markings, 362286 edges, 6467 markings/sec, 30 secs
lola: 260466 markings, 411448 edges, 6484 markings/sec, 35 secs
lola: 292744 markings, 466010 edges, 6456 markings/sec, 40 secs
lola: 325068 markings, 515051 edges, 6465 markings/sec, 45 secs
lola: 357125 markings, 569321 edges, 6411 markings/sec, 50 secs
lola: 389291 markings, 618148 edges, 6433 markings/sec, 55 secs
lola: 421314 markings, 672355 edges, 6405 markings/sec, 60 secs
lola: 453373 markings, 726672 edges, 6412 markings/sec, 65 secs
lola: 485615 markings, 775555 edges, 6448 markings/sec, 70 secs
lola: 517499 markings, 829628 edges, 6377 markings/sec, 75 secs
lola: 549401 markings, 883726 edges, 6380 markings/sec, 80 secs
lola: 581400 markings, 937915 edges, 6400 markings/sec, 85 secs
lola: 613498 markings, 986636 edges, 6420 markings/sec, 90 secs
lola: 645280 markings, 1040567 edges, 6356 markings/sec, 95 secs
lola: 677053 markings, 1094493 edges, 6355 markings/sec, 100 secs
lola: 708761 markings, 1148340 edges, 6342 markings/sec, 105 secs
lola: 740509 markings, 1202228 edges, 6350 markings/sec, 110 secs
lola: 772203 markings, 1256038 edges, 6339 markings/sec, 115 secs
lola: 803905 markings, 1309854 edges, 6340 markings/sec, 120 secs
lola: 835569 markings, 1363654 edges, 6333 markings/sec, 125 secs
lola: 867214 markings, 1417420 edges, 6329 markings/sec, 130 secs
lola: 898554 markings, 1476383 edges, 6268 markings/sec, 135 secs
lola: 930113 markings, 1530062 edges, 6312 markings/sec, 140 secs
lola: 961713 markings, 1583746 edges, 6320 markings/sec, 145 secs
lola: 992956 markings, 1642620 edges, 6249 markings/sec, 150 secs
lola: 1024507 markings, 1696275 edges, 6310 markings/sec, 155 secs
lola: 1055789 markings, 1755182 edges, 6256 markings/sec, 160 secs
lola: 1087064 markings, 1814131 edges, 6255 markings/sec, 165 secs
lola: 1119308 markings, 1874364 edges, 6449 markings/sec, 170 secs
lola: 1151942 markings, 1935103 edges, 6527 markings/sec, 175 secs
lola: 1184522 markings, 1995768 edges, 6516 markings/sec, 180 secs
lola: 1217028 markings, 2056374 edges, 6501 markings/sec, 185 secs
lola: 1249513 markings, 2116906 edges, 6497 markings/sec, 190 secs
lola: 1281900 markings, 2177341 edges, 6477 markings/sec, 195 secs
lola: 1314234 markings, 2237699 edges, 6467 markings/sec, 200 secs
lola: 1346341 markings, 2303396 edges, 6421 markings/sec, 205 secs
lola: 1378089 markings, 2383531 edges, 6350 markings/sec, 210 secs
lola: 1407409 markings, 2563562 edges, 5864 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(p843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 33711 markings, 50861 edges, 6742 markings/sec, 0 secs
lola: 67025 markings, 101202 edges, 6663 markings/sec, 5 secs
lola: 99889 markings, 156528 edges, 6573 markings/sec, 10 secs
lola: 132879 markings, 206448 edges, 6598 markings/sec, 15 secs
lola: 165755 markings, 261805 edges, 6575 markings/sec, 20 secs
lola: 198694 markings, 311645 edges, 6588 markings/sec, 25 secs
lola: 231360 markings, 366752 edges, 6533 markings/sec, 30 secs
lola: 264239 markings, 416513 edges, 6576 markings/sec, 35 secs
lola: 296832 markings, 471512 edges, 6519 markings/sec, 40 secs
lola: 329703 markings, 521256 edges, 6574 markings/sec, 45 secs
lola: 362172 markings, 576097 edges, 6494 markings/sec, 50 secs
lola: 394738 markings, 631071 edges, 6513 markings/sec, 55 secs
lola: 427406 markings, 680543 edges, 6534 markings/sec, 60 secs
lola: 459785 markings, 735278 edges, 6476 markings/sec, 65 secs
lola: 492245 markings, 790102 edges, 6492 markings/sec, 70 secs
lola: 524797 markings, 841066 edges, 6510 markings/sec, 75 secs
lola: 557150 markings, 894114 edges, 6471 markings/sec, 80 secs
lola: 589386 markings, 948639 edges, 6447 markings/sec, 85 secs
lola: 621536 markings, 1003071 edges, 6430 markings/sec, 90 secs
lola: 653793 markings, 1057624 edges, 6451 markings/sec, 95 secs
lola: 685981 markings, 1112101 edges, 6438 markings/sec, 100 secs
lola: 718121 markings, 1166528 edges, 6428 markings/sec, 105 secs
lola: 750232 markings, 1220920 edges, 6422 markings/sec, 110 secs
lola: 782304 markings, 1275233 edges, 6414 markings/sec, 115 secs
lola: 814328 markings, 1329492 edges, 6405 markings/sec, 120 secs
lola: 846395 markings, 1383830 edges, 6413 markings/sec, 125 secs
lola: 878468 markings, 1438154 edges, 6415 markings/sec, 130 secs
lola: 910498 markings, 1492431 edges, 6406 markings/sec, 135 secs
lola: 942164 markings, 1551863 edges, 6333 markings/sec, 140 secs
lola: 974160 markings, 1606109 edges, 6399 markings/sec, 145 secs
lola: 1005811 markings, 1665515 edges, 6330 markings/sec, 150 secs
lola: 1037799 markings, 1719765 edges, 6398 markings/sec, 155 secs
lola: 1069502 markings, 1779244 edges, 6341 markings/sec, 160 secs
lola: 1101407 markings, 1839018 edges, 6381 markings/sec, 165 secs
lola: 1134573 markings, 1900503 edges, 6633 markings/sec, 170 secs
lola: 1167672 markings, 1961879 edges, 6620 markings/sec, 175 secs
lola: 1200593 markings, 2028662 edges, 6584 markings/sec, 180 secs
lola: 1233585 markings, 2089903 edges, 6598 markings/sec, 185 secs
lola: 1266706 markings, 2151307 edges, 6624 markings/sec, 190 secs
lola: 1299967 markings, 2212882 edges, 6652 markings/sec, 195 secs
lola: 1333150 markings, 2274375 edges, 6637 markings/sec, 200 secs
lola: 1366242 markings, 2335744 edges, 6618 markings/sec, 205 secs
lola: 1395590 markings, 2542081 edges, 5870 markings/sec, 210 secs
lola: 1428936 markings, 2598066 edges, 6669 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(p842 + p841 + p840 + p839 + p838)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 34710 markings, 52182 edges, 6942 markings/sec, 0 secs
lola: 69338 markings, 104283 edges, 6926 markings/sec, 5 secs
lola: 103635 markings, 161578 edges, 6859 markings/sec, 10 secs
lola: 138106 markings, 213467 edges, 6894 markings/sec, 15 secs
lola: 172292 markings, 270589 edges, 6837 markings/sec, 20 secs
lola: 206630 markings, 322285 edges, 6868 markings/sec, 25 secs
lola: 240657 markings, 379218 edges, 6805 markings/sec, 30 secs
lola: 274794 markings, 430665 edges, 6827 markings/sec, 35 secs
lola: 308722 markings, 487419 edges, 6786 markings/sec, 40 secs
lola: 342686 markings, 538657 edges, 6793 markings/sec, 45 secs
lola: 376505 markings, 595286 edges, 6764 markings/sec, 50 secs
lola: 410340 markings, 646301 edges, 6767 markings/sec, 55 secs
lola: 444066 markings, 702821 edges, 6745 markings/sec, 60 secs
lola: 477754 markings, 753666 edges, 6738 markings/sec, 65 secs
lola: 511584 markings, 804691 edges, 6766 markings/sec, 70 secs
lola: 544979 markings, 860749 edges, 6679 markings/sec, 75 secs
lola: 578633 markings, 911542 edges, 6731 markings/sec, 80 secs
lola: 611958 markings, 967524 edges, 6665 markings/sec, 85 secs
lola: 645400 markings, 1018037 edges, 6688 markings/sec, 90 secs
lola: 678651 markings, 1073906 edges, 6650 markings/sec, 95 secs
lola: 711887 markings, 1124150 edges, 6647 markings/sec, 100 secs
lola: 745337 markings, 1174653 edges, 6690 markings/sec, 105 secs
lola: 779453 markings, 1243072 edges, 6823 markings/sec, 110 secs
lola: 813607 markings, 1305827 edges, 6831 markings/sec, 115 secs
lola: 847583 markings, 1368394 edges, 6795 markings/sec, 120 secs
lola: 881411 markings, 1430736 edges, 6766 markings/sec, 125 secs
lola: 915067 markings, 1492883 edges, 6731 markings/sec, 130 secs
lola: 948606 markings, 1554847 edges, 6708 markings/sec, 135 secs
lola: 982023 markings, 1616657 edges, 6683 markings/sec, 140 secs
lola: 1015299 markings, 1678247 edges, 6655 markings/sec, 145 secs
lola: 1048442 markings, 1739669 edges, 6629 markings/sec, 150 secs
lola: 1081430 markings, 1800916 edges, 6598 markings/sec, 155 secs
lola: 1115160 markings, 1863133 edges, 6746 markings/sec, 160 secs
lola: 1149490 markings, 1931804 edges, 6866 markings/sec, 165 secs
lola: 1183865 markings, 1994908 edges, 6875 markings/sec, 170 secs
lola: 1218178 markings, 2057928 edges, 6863 markings/sec, 175 secs
lola: 1252279 markings, 2126289 edges, 6820 markings/sec, 180 secs
lola: 1286464 markings, 2189134 edges, 6837 markings/sec, 185 secs
lola: 1320576 markings, 2251841 edges, 6822 markings/sec, 190 secs
lola: 1354593 markings, 2314462 edges, 6803 markings/sec, 195 secs
lola: 1384677 markings, 2527404 edges, 6017 markings/sec, 200 secs
lola: 1418730 markings, 2578737 edges, 6811 markings/sec, 205 secs
lola: 1452593 markings, 2635428 edges, 6773 markings/sec, 210 secs
lola: 1486317 markings, 2686325 edges, 6745 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(p835 + p834 + p833 + p832 + p831 + p830 + p829 + p828 + p827 + p826 + p825 + p824 + p823 + p822 + p821 + p820 + p819 + p818 + p817 + p816 + p815 + p814 + p813 + p812 + p811 + p810 + p809 + p808 + p807 + p806 + p805 + p804 + p803 + p802 + p801 + p800 + p799 + p798 + p797 + p796 + p795 + p794 + p793 + p792 + p791 + p790 + p789 + p788 + p787 + p786 + p785 + p784 + p783 + p782 + p781 + p780 + p779... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 22915 markings, 61505 edges, 4583 markings/sec, 0 secs
lola: 45522 markings, 118435 edges, 4521 markings/sec, 5 secs
lola: 68412 markings, 171906 edges, 4578 markings/sec, 10 secs
lola: 91241 markings, 225236 edges, 4566 markings/sec, 15 secs
lola: 113935 markings, 278495 edges, 4539 markings/sec, 20 secs
lola: 136572 markings, 331389 edges, 4527 markings/sec, 25 secs
lola: 159188 markings, 384475 edges, 4523 markings/sec, 30 secs
lola: 181760 markings, 437221 edges, 4514 markings/sec, 35 secs
lola: 204237 markings, 489993 edges, 4495 markings/sec, 40 secs
lola: 226724 markings, 542795 edges, 4497 markings/sec, 45 secs
lola: 249142 markings, 595218 edges, 4484 markings/sec, 50 secs
lola: 271487 markings, 647676 edges, 4469 markings/sec, 55 secs
lola: 293815 markings, 700104 edges, 4466 markings/sec, 60 secs
lola: 316107 markings, 752474 edges, 4458 markings/sec, 65 secs
lola: 338373 markings, 804779 edges, 4453 markings/sec, 70 secs
lola: 360614 markings, 857050 edges, 4448 markings/sec, 75 secs
lola: 382846 markings, 909279 edges, 4446 markings/sec, 80 secs
lola: 404964 markings, 961513 edges, 4424 markings/sec, 85 secs
lola: 427126 markings, 1013856 edges, 4432 markings/sec, 90 secs
lola: 449270 markings, 1065913 edges, 4429 markings/sec, 95 secs
lola: 471361 markings, 1118103 edges, 4418 markings/sec, 100 secs
lola: 493899 markings, 1171603 edges, 4508 markings/sec, 105 secs
lola: 516911 markings, 1226229 edges, 4602 markings/sec, 110 secs
lola: 540724 markings, 1282693 edges, 4763 markings/sec, 115 secs
lola: 564533 markings, 1339423 edges, 4762 markings/sec, 120 secs
lola: 588299 markings, 1395815 edges, 4753 markings/sec, 125 secs
lola: 611915 markings, 1451834 edges, 4723 markings/sec, 130 secs
lola: 635020 markings, 1506918 edges, 4621 markings/sec, 135 secs
lola: 658718 markings, 1564745 edges, 4740 markings/sec, 140 secs
lola: 682764 markings, 1615213 edges, 4809 markings/sec, 145 secs
lola: 706674 markings, 1664061 edges, 4782 markings/sec, 150 secs
lola: 731075 markings, 1713063 edges, 4880 markings/sec, 155 secs
lola: 755714 markings, 1760884 edges, 4928 markings/sec, 160 secs
lola: 780422 markings, 1808844 edges, 4942 markings/sec, 165 secs
lola: 805015 markings, 1856571 edges, 4919 markings/sec, 170 secs
lola: 829660 markings, 1904404 edges, 4929 markings/sec, 175 secs
lola: 854192 markings, 1952033 edges, 4906 markings/sec, 180 secs
lola: 878782 markings, 1999766 edges, 4918 markings/sec, 185 secs
lola: 903235 markings, 2047231 edges, 4891 markings/sec, 190 secs
lola: 927827 markings, 2094994 edges, 4918 markings/sec, 195 secs
lola: 952310 markings, 2142510 edges, 4897 markings/sec, 200 secs
lola: 976855 markings, 2190169 edges, 4909 markings/sec, 205 secs
lola: 1001282 markings, 2237553 edges, 4885 markings/sec, 210 secs
lola: 1025790 markings, 2285159 edges, 4902 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(p836)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3308 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: 43838 markings, 64108 edges, 8768 markings/sec, 0 secs
lola: 91647 markings, 145081 edges, 9562 markings/sec, 5 secs
lola: 143353 markings, 218391 edges, 10341 markings/sec, 10 secs
lola: 192212 markings, 295646 edges, 9772 markings/sec, 15 secs
lola: 231599 markings, 371556 edges, 7877 markings/sec, 20 secs
lola: 268399 markings, 440613 edges, 7360 markings/sec, 25 secs
lola: 310336 markings, 510366 edges, 8387 markings/sec, 30 secs
lola: 355648 markings, 589790 edges, 9062 markings/sec, 35 secs
lola: 407706 markings, 662932 edges, 10412 markings/sec, 40 secs
lola: 457463 markings, 738044 edges, 9951 markings/sec, 45 secs
lola: 499036 markings, 817569 edges, 8315 markings/sec, 50 secs
lola: 536220 markings, 885305 edges, 7437 markings/sec, 55 secs
lola: 576319 markings, 956832 edges, 8020 markings/sec, 60 secs
lola: 619125 markings, 1034059 edges, 8561 markings/sec, 65 secs
lola: 671545 markings, 1106899 edges, 10484 markings/sec, 70 secs
lola: 721536 markings, 1180288 edges, 9998 markings/sec, 75 secs
lola: 765604 markings, 1262375 edges, 8814 markings/sec, 80 secs
lola: 803280 markings, 1329626 edges, 7535 markings/sec, 85 secs
lola: 841254 markings, 1402492 edges, 7595 markings/sec, 90 secs
lola: 883031 markings, 1473500 edges, 8355 markings/sec, 95 secs
lola: 934449 markings, 1549906 edges, 10284 markings/sec, 100 secs
lola: 984901 markings, 1623238 edges, 10090 markings/sec, 105 secs
lola: 1030323 markings, 1706450 edges, 9084 markings/sec, 110 secs
lola: 1068075 markings, 1773638 edges, 7550 markings/sec, 115 secs
lola: 1105610 markings, 1846805 edges, 7507 markings/sec, 120 secs
lola: 1147874 markings, 1913873 edges, 8453 markings/sec, 125 secs
lola: 1198102 markings, 1993310 edges, 10046 markings/sec, 130 secs
lola: 1248582 markings, 2066342 edges, 10096 markings/sec, 135 secs
lola: 1294636 markings, 2149747 edges, 9211 markings/sec, 140 secs
lola: 1332351 markings, 2216629 edges, 7543 markings/sec, 145 secs
lola: 1369080 markings, 2289949 edges, 7346 markings/sec, 150 secs
lola: 1411747 markings, 2355132 edges, 8533 markings/sec, 155 secs
lola: 1460941 markings, 2435504 edges, 9839 markings/sec, 160 secs
lola: 1511231 markings, 2507834 edges, 10058 markings/sec, 165 secs
lola: 1557936 markings, 2591394 edges, 9341 markings/sec, 170 secs
lola: 1595493 markings, 2657712 edges, 7511 markings/sec, 175 secs
lola: 1631144 markings, 2731234 edges, 7130 markings/sec, 180 secs
lola: 1674010 markings, 2795319 edges, 8573 markings/sec, 185 secs
lola: 1721920 markings, 2875343 edges, 9582 markings/sec, 190 secs
lola: 1772414 markings, 2948056 edges, 10099 markings/sec, 195 secs
lola: 1819145 markings, 3031796 edges, 9346 markings/sec, 200 secs
lola: 1856649 markings, 3098222 edges, 7501 markings/sec, 205 secs
lola: 1893142 markings, 3171498 edges, 7299 markings/sec, 210 secs
lola: 1935448 markings, 3236557 edges, 8461 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-S05J60-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496282381862
--------------------
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="S_PolyORBNT-COL-S05J60"
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/S_PolyORBNT-COL-S05J60.tgz
mv S_PolyORBNT-COL-S05J60 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 S_PolyORBNT-COL-S05J60, 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 r138-smll-149479231500029"
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 '
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 ;