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 SafeBus-COL-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963200200
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494804312646


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SafeBus-COL-15 @ 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: 5437/65536 symbol table entries, 1233 collisions
lola: preprocessing...
lola: finding significant places
lola: 636 places, 4801 transitions, 556 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2193 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-COL-15-UpperBounds.task
lola: MAX(p634 + p633 + p632 + p631 + p630 + p629 + p628 + p627 + p626 + p625 + p624 + p623 + p622 + p621 + p620) : MAX(p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619) : MAX(p573 + p572 + p571 + p570 + p569 + p568 + p567 + p566 + p565 + p564 + p563 + p562 + p561 + p560 + p559) : MAX(p15 + p16 + p17 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18) : MAX(p599 + p600 + p601 + p602 + p603 + p598 + p597 + p596 + p595 + p594 + p593 + p592 + p591 + p590 + p589) : MAX(p599 + p600 + p601 + p602 + p603 + p598 + p597 + p596 + p595 + p594 + p593 + p592 + p591 + p590 + p589) : MAX(p15 + p16 + p17 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18) : MAX(p286) : MAX(p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542) : MAX(p573 + p572 + p571 + p570 + p569 + p568 + p567 + p566 + p565 + p564 + p563 + p562 + p561 + p560 + p559) : MAX(p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619) : MAX(p604) : MAX(p635) : MAX(p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + 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) : MAX(p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558) : MAX(p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + 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)
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(p634 + p633 + p632 + p631 + p630 + p629 + p628 + p627 + p626 + p625 + p624 + p623 + p622 + p621 + p620)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2386 markings, 3087 edges, 477 markings/sec, 0 secs
lola: 4904 markings, 7255 edges, 504 markings/sec, 5 secs
lola: 7400 markings, 11197 edges, 499 markings/sec, 10 secs
lola: 9879 markings, 15497 edges, 496 markings/sec, 15 secs
lola: 12548 markings, 20256 edges, 534 markings/sec, 20 secs
lola: 15369 markings, 24919 edges, 564 markings/sec, 25 secs
lola: 17966 markings, 29335 edges, 519 markings/sec, 30 secs
lola: 20602 markings, 33866 edges, 527 markings/sec, 35 secs
lola: 23228 markings, 38222 edges, 525 markings/sec, 40 secs
lola: 26024 markings, 43108 edges, 559 markings/sec, 45 secs
lola: 28781 markings, 47854 edges, 551 markings/sec, 50 secs
lola: 31535 markings, 52768 edges, 551 markings/sec, 55 secs
lola: 34230 markings, 57666 edges, 539 markings/sec, 60 secs
lola: 36970 markings, 63079 edges, 548 markings/sec, 65 secs
lola: 39587 markings, 68058 edges, 523 markings/sec, 70 secs
lola: 42279 markings, 72740 edges, 538 markings/sec, 75 secs
lola: 44945 markings, 77929 edges, 533 markings/sec, 80 secs
lola: 47544 markings, 83262 edges, 520 markings/sec, 85 secs
lola: 50028 markings, 87832 edges, 497 markings/sec, 90 secs
lola: 52617 markings, 92652 edges, 518 markings/sec, 95 secs
lola: 55118 markings, 98283 edges, 500 markings/sec, 100 secs
lola: 57631 markings, 103445 edges, 503 markings/sec, 105 secs
lola: 60336 markings, 108363 edges, 541 markings/sec, 110 secs
lola: 63009 markings, 113670 edges, 535 markings/sec, 115 secs
lola: 65551 markings, 119249 edges, 508 markings/sec, 120 secs
lola: 68118 markings, 124333 edges, 513 markings/sec, 125 secs
lola: 70602 markings, 129798 edges, 497 markings/sec, 130 secs
lola: 73242 markings, 135413 edges, 528 markings/sec, 135 secs
lola: 75880 markings, 141390 edges, 528 markings/sec, 140 secs
lola: 78513 markings, 147022 edges, 527 markings/sec, 145 secs
lola: 81144 markings, 151986 edges, 526 markings/sec, 150 secs
lola: 83607 markings, 156896 edges, 493 markings/sec, 155 secs
lola: 86282 markings, 162551 edges, 535 markings/sec, 160 secs
lola: 88955 markings, 168101 edges, 535 markings/sec, 165 secs
lola: 91559 markings, 173331 edges, 521 markings/sec, 170 secs
lola: 94186 markings, 178710 edges, 525 markings/sec, 175 secs
lola: 96625 markings, 184346 edges, 488 markings/sec, 180 secs
lola: 99192 markings, 189599 edges, 513 markings/sec, 185 secs
lola: 101625 markings, 194527 edges, 487 markings/sec, 190 secs
lola: 104346 markings, 200512 edges, 544 markings/sec, 195 secs
lola: 107092 markings, 205800 edges, 549 markings/sec, 200 secs
lola: 109854 markings, 211589 edges, 552 markings/sec, 205 secs
lola: 112500 markings, 217136 edges, 529 markings/sec, 210 secs
lola: 115170 markings, 222764 edges, 534 markings/sec, 215 secs
lola: 117818 markings, 228634 edges, 530 markings/sec, 220 secs
lola: 120359 markings, 234109 edges, 508 markings/sec, 225 secs
lola: 122986 markings, 239537 edges, 525 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573 + p572 + p571 + p570 + p569 + p568 + p567 + p566 + p565 + p564 + p563 + p562 + p561 + p560 + p559)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2929 markings, 3009 edges, 586 markings/sec, 0 secs
lola: 6230 markings, 6431 edges, 660 markings/sec, 5 secs
lola: 9549 markings, 9907 edges, 664 markings/sec, 10 secs
lola: 12803 markings, 13317 edges, 651 markings/sec, 15 secs
lola: 16140 markings, 16807 edges, 667 markings/sec, 20 secs
lola: 19379 markings, 20175 edges, 648 markings/sec, 25 secs
lola: 22407 markings, 23378 edges, 606 markings/sec, 30 secs
lola: 25627 markings, 26750 edges, 644 markings/sec, 35 secs
lola: 28733 markings, 30027 edges, 621 markings/sec, 40 secs
lola: 32120 markings, 33590 edges, 677 markings/sec, 45 secs
lola: 35518 markings, 37177 edges, 680 markings/sec, 50 secs
lola: 38749 markings, 40584 edges, 646 markings/sec, 55 secs
lola: 41940 markings, 43890 edges, 638 markings/sec, 60 secs
lola: 45021 markings, 47121 edges, 616 markings/sec, 65 secs
lola: 48020 markings, 50340 edges, 600 markings/sec, 70 secs
lola: 51244 markings, 53830 edges, 645 markings/sec, 75 secs
lola: 54590 markings, 57406 edges, 669 markings/sec, 80 secs
lola: 57890 markings, 60903 edges, 660 markings/sec, 85 secs
lola: 61226 markings, 64487 edges, 667 markings/sec, 90 secs
lola: 64615 markings, 68061 edges, 678 markings/sec, 95 secs
lola: 67969 markings, 71589 edges, 671 markings/sec, 100 secs
lola: 71312 markings, 75120 edges, 669 markings/sec, 105 secs
lola: 74698 markings, 78756 edges, 677 markings/sec, 110 secs
lola: 78061 markings, 82393 edges, 673 markings/sec, 115 secs
lola: 81465 markings, 85998 edges, 681 markings/sec, 120 secs
lola: 84802 markings, 89533 edges, 667 markings/sec, 125 secs
lola: 88130 markings, 93049 edges, 666 markings/sec, 130 secs
lola: 91544 markings, 96644 edges, 683 markings/sec, 135 secs
lola: 94617 markings, 99889 edges, 615 markings/sec, 140 secs
lola: 97955 markings, 103421 edges, 668 markings/sec, 145 secs
lola: 101145 markings, 106772 edges, 638 markings/sec, 150 secs
lola: 104364 markings, 110171 edges, 644 markings/sec, 155 secs
lola: 107669 markings, 113631 edges, 661 markings/sec, 160 secs
lola: 111039 markings, 117200 edges, 674 markings/sec, 165 secs
lola: 114262 markings, 120673 edges, 645 markings/sec, 170 secs
lola: 117654 markings, 124399 edges, 678 markings/sec, 175 secs
lola: 120982 markings, 127934 edges, 666 markings/sec, 180 secs
lola: 124308 markings, 131490 edges, 665 markings/sec, 185 secs
lola: 127735 markings, 135237 edges, 685 markings/sec, 190 secs
lola: 130965 markings, 138707 edges, 646 markings/sec, 195 secs
lola: 134362 markings, 142439 edges, 679 markings/sec, 200 secs
lola: 137730 markings, 146054 edges, 674 markings/sec, 205 secs
lola: 140933 markings, 149545 edges, 641 markings/sec, 210 secs
lola: 143989 markings, 152842 edges, 611 markings/sec, 215 secs
lola: 147046 markings, 156073 edges, 611 markings/sec, 220 secs
lola: 150091 markings, 159306 edges, 609 markings/sec, 225 secs
lola: 153482 markings, 162994 edges, 678 markings/sec, 230 secs
lola: 156916 markings, 166619 edges, 687 markings/sec, 235 secs
lola: 159946 markings, 169871 edges, 606 markings/sec, 240 secs
lola: 163017 markings, 173140 edges, 614 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p599 + p600 + p601 + p602 + p603 + p598 + p597 + p596 + p595 + p594 + p593 + p592 + p591 + p590 + p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2701 markings, 2742 edges, 540 markings/sec, 0 secs
lola: 5578 markings, 5705 edges, 575 markings/sec, 5 secs
lola: 8344 markings, 8622 edges, 553 markings/sec, 10 secs
lola: 11172 markings, 11599 edges, 566 markings/sec, 15 secs
lola: 13915 markings, 14514 edges, 549 markings/sec, 20 secs
lola: 16489 markings, 17209 edges, 515 markings/sec, 25 secs
lola: 19206 markings, 20129 edges, 543 markings/sec, 30 secs
lola: 21883 markings, 23024 edges, 535 markings/sec, 35 secs
lola: 24495 markings, 25807 edges, 522 markings/sec, 40 secs
lola: 27174 markings, 28655 edges, 536 markings/sec, 45 secs
lola: 29950 markings, 31592 edges, 555 markings/sec, 50 secs
lola: 32828 markings, 34609 edges, 576 markings/sec, 55 secs
lola: 35530 markings, 37532 edges, 540 markings/sec, 60 secs
lola: 38300 markings, 40540 edges, 554 markings/sec, 65 secs
lola: 41022 markings, 43534 edges, 544 markings/sec, 70 secs
lola: 43782 markings, 46566 edges, 552 markings/sec, 75 secs
lola: 46439 markings, 49361 edges, 531 markings/sec, 80 secs
lola: 49164 markings, 52236 edges, 545 markings/sec, 85 secs
lola: 51863 markings, 55173 edges, 540 markings/sec, 90 secs
lola: 54489 markings, 58124 edges, 525 markings/sec, 95 secs
lola: 57235 markings, 61053 edges, 549 markings/sec, 100 secs
lola: 59916 markings, 64045 edges, 536 markings/sec, 105 secs
lola: 62624 markings, 67109 edges, 542 markings/sec, 110 secs
lola: 65288 markings, 70179 edges, 533 markings/sec, 115 secs
lola: 68000 markings, 73213 edges, 542 markings/sec, 120 secs
lola: 70490 markings, 76152 edges, 498 markings/sec, 125 secs
lola: 73254 markings, 79216 edges, 553 markings/sec, 130 secs
lola: 75623 markings, 82393 edges, 474 markings/sec, 135 secs
lola: 78376 markings, 85494 edges, 551 markings/sec, 140 secs
lola: 81029 markings, 88851 edges, 531 markings/sec, 145 secs
lola: 83730 markings, 92029 edges, 540 markings/sec, 150 secs
lola: 86097 markings, 95323 edges, 473 markings/sec, 155 secs
lola: 88570 markings, 98613 edges, 495 markings/sec, 160 secs
lola: 91461 markings, 102057 edges, 578 markings/sec, 165 secs
lola: 93991 markings, 105460 edges, 506 markings/sec, 170 secs
lola: 96654 markings, 108737 edges, 533 markings/sec, 175 secs
lola: 99009 markings, 112174 edges, 471 markings/sec, 180 secs
lola: 101742 markings, 115317 edges, 547 markings/sec, 185 secs
lola: 104431 markings, 118557 edges, 538 markings/sec, 190 secs
lola: 106810 markings, 121948 edges, 476 markings/sec, 195 secs
lola: 109589 markings, 125057 edges, 556 markings/sec, 200 secs
lola: 112467 markings, 128123 edges, 576 markings/sec, 205 secs
lola: 114916 markings, 131604 edges, 490 markings/sec, 210 secs
lola: 117588 markings, 135104 edges, 534 markings/sec, 215 secs
lola: 120339 markings, 138049 edges, 550 markings/sec, 220 secs
lola: 123184 markings, 141028 edges, 569 markings/sec, 225 secs
lola: 125724 markings, 143815 edges, 508 markings/sec, 230 secs
lola: 128190 markings, 146870 edges, 493 markings/sec, 235 secs
lola: 130343 markings, 150237 edges, 431 markings/sec, 240 secs
lola: 132489 markings, 153089 edges, 429 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p599 + p600 + p601 + p602 + p603 + p598 + p597 + p596 + p595 + p594 + p593 + p592 + p591 + p590 + p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2638 markings, 2679 edges, 528 markings/sec, 0 secs
lola: 5300 markings, 5423 edges, 532 markings/sec, 5 secs
lola: 7966 markings, 8232 edges, 533 markings/sec, 10 secs
lola: 10696 markings, 11090 edges, 546 markings/sec, 15 secs
lola: 13465 markings, 14060 edges, 554 markings/sec, 20 secs
lola: 16293 markings, 16999 edges, 566 markings/sec, 25 secs
lola: 19010 markings, 19920 edges, 543 markings/sec, 30 secs
lola: 21729 markings, 22855 edges, 544 markings/sec, 35 secs
lola: 24359 markings, 25671 edges, 526 markings/sec, 40 secs
lola: 27019 markings, 28495 edges, 532 markings/sec, 45 secs
lola: 29730 markings, 31358 edges, 542 markings/sec, 50 secs
lola: 32545 markings, 34290 edges, 563 markings/sec, 55 secs
lola: 35214 markings, 37203 edges, 534 markings/sec, 60 secs
lola: 37816 markings, 40029 edges, 520 markings/sec, 65 secs
lola: 40392 markings, 42849 edges, 515 markings/sec, 70 secs
lola: 42892 markings, 45496 edges, 500 markings/sec, 75 secs
lola: 45528 markings, 48429 edges, 527 markings/sec, 80 secs
lola: 48283 markings, 51338 edges, 551 markings/sec, 85 secs
lola: 51062 markings, 54271 edges, 556 markings/sec, 90 secs
lola: 53745 markings, 57264 edges, 537 markings/sec, 95 secs
lola: 56505 markings, 60280 edges, 552 markings/sec, 100 secs
lola: 59227 markings, 63252 edges, 544 markings/sec, 105 secs
lola: 61948 markings, 66397 edges, 544 markings/sec, 110 secs
lola: 64436 markings, 69092 edges, 498 markings/sec, 115 secs
lola: 66922 markings, 71942 edges, 497 markings/sec, 120 secs
lola: 69257 markings, 74687 edges, 467 markings/sec, 125 secs
lola: 71662 markings, 77467 edges, 481 markings/sec, 130 secs
lola: 74235 markings, 80350 edges, 515 markings/sec, 135 secs
lola: 76631 markings, 83605 edges, 479 markings/sec, 140 secs
lola: 79349 markings, 86721 edges, 544 markings/sec, 145 secs
lola: 81819 markings, 89776 edges, 494 markings/sec, 150 secs
lola: 84467 markings, 92863 edges, 530 markings/sec, 155 secs
lola: 86664 markings, 96068 edges, 439 markings/sec, 160 secs
lola: 89183 markings, 99596 edges, 504 markings/sec, 165 secs
lola: 91842 markings, 102518 edges, 532 markings/sec, 170 secs
lola: 94155 markings, 105714 edges, 463 markings/sec, 175 secs
lola: 96723 markings, 108809 edges, 514 markings/sec, 180 secs
lola: 99065 markings, 112233 edges, 468 markings/sec, 185 secs
lola: 101742 markings, 115317 edges, 535 markings/sec, 190 secs
lola: 104257 markings, 118326 edges, 503 markings/sec, 195 secs
lola: 106641 markings, 121563 edges, 477 markings/sec, 200 secs
lola: 109352 markings, 124804 edges, 542 markings/sec, 205 secs
lola: 112145 markings, 127757 edges, 559 markings/sec, 210 secs
lola: 114604 markings, 131139 edges, 492 markings/sec, 215 secs
lola: 117192 markings, 134700 edges, 518 markings/sec, 220 secs
lola: 119952 markings, 137622 edges, 552 markings/sec, 225 secs
lola: 122780 markings, 140601 edges, 566 markings/sec, 230 secs
lola: 125463 markings, 143492 edges, 537 markings/sec, 235 secs
lola: 128018 markings, 146607 edges, 511 markings/sec, 240 secs
lola: 130287 markings, 150175 edges, 454 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 3107 markings, 3189 edges, 621 markings/sec, 0 secs
lola: 6435 markings, 6648 edges, 666 markings/sec, 5 secs
lola: 9623 markings, 9984 edges, 638 markings/sec, 10 secs
lola: 12837 markings, 13351 edges, 643 markings/sec, 15 secs
lola: 16256 markings, 16923 edges, 684 markings/sec, 20 secs
lola: 19311 markings, 20107 edges, 611 markings/sec, 25 secs
lola: 22292 markings, 23252 edges, 596 markings/sec, 30 secs
lola: 25257 markings, 26366 edges, 593 markings/sec, 35 secs
lola: 28196 markings, 29437 edges, 588 markings/sec, 40 secs
lola: 31313 markings, 32753 edges, 623 markings/sec, 45 secs
lola: 34505 markings, 36106 edges, 638 markings/sec, 50 secs
lola: 37591 markings, 39382 edges, 617 markings/sec, 55 secs
lola: 40777 markings, 42688 edges, 637 markings/sec, 60 secs
lola: 44111 markings, 46156 edges, 667 markings/sec, 65 secs
lola: 47363 markings, 49649 edges, 650 markings/sec, 70 secs
lola: 50576 markings, 53136 edges, 643 markings/sec, 75 secs
lola: 53848 markings, 56613 edges, 654 markings/sec, 80 secs
lola: 57148 markings, 60124 edges, 660 markings/sec, 85 secs
lola: 60338 markings, 63504 edges, 638 markings/sec, 90 secs
lola: 63639 markings, 67024 edges, 660 markings/sec, 95 secs
lola: 66740 markings, 70297 edges, 620 markings/sec, 100 secs
lola: 69682 markings, 73392 edges, 588 markings/sec, 105 secs
lola: 72626 markings, 76533 edges, 589 markings/sec, 110 secs
lola: 75680 markings, 79804 edges, 611 markings/sec, 115 secs
lola: 79079 markings, 83459 edges, 680 markings/sec, 120 secs
lola: 82378 markings, 86960 edges, 660 markings/sec, 125 secs
lola: 85765 markings, 90562 edges, 677 markings/sec, 130 secs
lola: 88866 markings, 93825 edges, 620 markings/sec, 135 secs
lola: 92229 markings, 97356 edges, 673 markings/sec, 140 secs
lola: 95518 markings, 100831 edges, 658 markings/sec, 145 secs
lola: 98944 markings, 104471 edges, 685 markings/sec, 150 secs
lola: 102410 markings, 108103 edges, 693 markings/sec, 155 secs
lola: 105639 markings, 111520 edges, 646 markings/sec, 160 secs
lola: 108735 markings, 114744 edges, 619 markings/sec, 165 secs
lola: 112081 markings, 118323 edges, 669 markings/sec, 170 secs
lola: 115295 markings, 121799 edges, 643 markings/sec, 175 secs
lola: 118348 markings, 125125 edges, 611 markings/sec, 180 secs
lola: 121619 markings, 128608 edges, 654 markings/sec, 185 secs
lola: 124785 markings, 132017 edges, 633 markings/sec, 190 secs
lola: 128135 markings, 135678 edges, 670 markings/sec, 195 secs
lola: 131450 markings, 139249 edges, 663 markings/sec, 200 secs
lola: 134770 markings, 142877 edges, 664 markings/sec, 205 secs
lola: 138011 markings, 146351 edges, 648 markings/sec, 210 secs
lola: 141204 markings, 149860 edges, 639 markings/sec, 215 secs
lola: 144354 markings, 153213 edges, 630 markings/sec, 220 secs
lola: 147701 markings, 156786 edges, 669 markings/sec, 225 secs
lola: 150979 markings, 160293 edges, 656 markings/sec, 230 secs
lola: 154222 markings, 163766 edges, 649 markings/sec, 235 secs
lola: 157562 markings, 167302 edges, 668 markings/sec, 240 secs
lola: 160752 markings, 170748 edges, 638 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p286)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 3011 markings, 3235 edges, 602 markings/sec, 0 secs
lola: 6127 markings, 6965 edges, 623 markings/sec, 5 secs
lola: 9335 markings, 10713 edges, 642 markings/sec, 10 secs
lola: 12603 markings, 14693 edges, 654 markings/sec, 15 secs
lola: 15740 markings, 18602 edges, 627 markings/sec, 20 secs
lola: 18620 markings, 22476 edges, 576 markings/sec, 25 secs
lola: 21660 markings, 26270 edges, 608 markings/sec, 30 secs
lola: 24928 markings, 30495 edges, 654 markings/sec, 35 secs
lola: 28222 markings, 34781 edges, 659 markings/sec, 40 secs
lola: 31095 markings, 38688 edges, 575 markings/sec, 45 secs
lola: 34068 markings, 42490 edges, 595 markings/sec, 50 secs
lola: 37198 markings, 46550 edges, 626 markings/sec, 55 secs
lola: 40498 markings, 50597 edges, 660 markings/sec, 60 secs
lola: 43734 markings, 55299 edges, 647 markings/sec, 65 secs
lola: 46824 markings, 59485 edges, 618 markings/sec, 70 secs
lola: 50172 markings, 63557 edges, 670 markings/sec, 75 secs
lola: 53409 markings, 68064 edges, 647 markings/sec, 80 secs
lola: 56737 markings, 72693 edges, 666 markings/sec, 85 secs
lola: 59733 markings, 76858 edges, 599 markings/sec, 90 secs
lola: 62994 markings, 81040 edges, 652 markings/sec, 95 secs
lola: 66303 markings, 85295 edges, 662 markings/sec, 100 secs
lola: 69207 markings, 88850 edges, 581 markings/sec, 105 secs
lola: 71799 markings, 92313 edges, 518 markings/sec, 110 secs
lola: 74567 markings, 96322 edges, 554 markings/sec, 115 secs
lola: 77613 markings, 100975 edges, 609 markings/sec, 120 secs
lola: 80480 markings, 105008 edges, 573 markings/sec, 125 secs
lola: 83426 markings, 109578 edges, 589 markings/sec, 130 secs
lola: 86698 markings, 114395 edges, 654 markings/sec, 135 secs
lola: 89677 markings, 118704 edges, 596 markings/sec, 140 secs
lola: 92517 markings, 122870 edges, 568 markings/sec, 145 secs
lola: 95275 markings, 126881 edges, 552 markings/sec, 150 secs
lola: 98050 markings, 130990 edges, 555 markings/sec, 155 secs
lola: 100998 markings, 135410 edges, 590 markings/sec, 160 secs
lola: 103926 markings, 139297 edges, 586 markings/sec, 165 secs
lola: 107017 markings, 143946 edges, 618 markings/sec, 170 secs
lola: 109882 markings, 148021 edges, 573 markings/sec, 175 secs
lola: 112826 markings, 152875 edges, 589 markings/sec, 180 secs
lola: 115685 markings, 157457 edges, 572 markings/sec, 185 secs
lola: 118491 markings, 161998 edges, 561 markings/sec, 190 secs
lola: 121407 markings, 166252 edges, 583 markings/sec, 195 secs
lola: 124768 markings, 171663 edges, 672 markings/sec, 200 secs
lola: 127835 markings, 176136 edges, 613 markings/sec, 205 secs
lola: 130812 markings, 180488 edges, 595 markings/sec, 210 secs
lola: 133944 markings, 185396 edges, 626 markings/sec, 215 secs
lola: 136879 markings, 189876 edges, 587 markings/sec, 220 secs
lola: 139800 markings, 194346 edges, 584 markings/sec, 225 secs
lola: 142951 markings, 199441 edges, 630 markings/sec, 230 secs
lola: 146012 markings, 204441 edges, 612 markings/sec, 235 secs
lola: 149206 markings, 209574 edges, 639 markings/sec, 240 secs
lola: 152123 markings, 214090 edges, 583 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2758 markings, 2949 edges, 552 markings/sec, 0 secs
lola: 5493 markings, 6086 edges, 547 markings/sec, 5 secs
lola: 8222 markings, 9251 edges, 546 markings/sec, 10 secs
lola: 11007 markings, 12704 edges, 557 markings/sec, 15 secs
lola: 13781 markings, 15890 edges, 555 markings/sec, 20 secs
lola: 16494 markings, 19134 edges, 543 markings/sec, 25 secs
lola: 19158 markings, 22316 edges, 533 markings/sec, 30 secs
lola: 21858 markings, 25516 edges, 540 markings/sec, 35 secs
lola: 24588 markings, 28827 edges, 546 markings/sec, 40 secs
lola: 27317 markings, 32202 edges, 546 markings/sec, 45 secs
lola: 30012 markings, 35496 edges, 539 markings/sec, 50 secs
lola: 32704 markings, 38988 edges, 538 markings/sec, 55 secs
lola: 35472 markings, 42583 edges, 554 markings/sec, 60 secs
lola: 38287 markings, 46063 edges, 563 markings/sec, 65 secs
lola: 41168 markings, 49659 edges, 576 markings/sec, 70 secs
lola: 44064 markings, 53392 edges, 579 markings/sec, 75 secs
lola: 46863 markings, 56874 edges, 560 markings/sec, 80 secs
lola: 49579 markings, 60208 edges, 543 markings/sec, 85 secs
lola: 52261 markings, 63482 edges, 536 markings/sec, 90 secs
lola: 54955 markings, 66829 edges, 539 markings/sec, 95 secs
lola: 57750 markings, 70294 edges, 559 markings/sec, 100 secs
lola: 60604 markings, 73840 edges, 571 markings/sec, 105 secs
lola: 63355 markings, 77188 edges, 550 markings/sec, 110 secs
lola: 66022 markings, 80083 edges, 533 markings/sec, 115 secs
lola: 68759 markings, 83193 edges, 547 markings/sec, 120 secs
lola: 71585 markings, 86499 edges, 565 markings/sec, 125 secs
lola: 74383 markings, 89770 edges, 560 markings/sec, 130 secs
lola: 77169 markings, 93083 edges, 557 markings/sec, 135 secs
lola: 79667 markings, 96009 edges, 500 markings/sec, 140 secs
lola: 82381 markings, 99303 edges, 543 markings/sec, 145 secs
lola: 85182 markings, 102627 edges, 560 markings/sec, 150 secs
lola: 87898 markings, 105573 edges, 543 markings/sec, 155 secs
lola: 90740 markings, 108776 edges, 568 markings/sec, 160 secs
lola: 93592 markings, 112115 edges, 570 markings/sec, 165 secs
lola: 96361 markings, 115300 edges, 554 markings/sec, 170 secs
lola: 99081 markings, 118520 edges, 544 markings/sec, 175 secs
lola: 101786 markings, 121737 edges, 541 markings/sec, 180 secs
lola: 104470 markings, 125105 edges, 537 markings/sec, 185 secs
lola: 107148 markings, 128255 edges, 536 markings/sec, 190 secs
lola: 109869 markings, 131544 edges, 544 markings/sec, 195 secs
lola: 112515 markings, 134737 edges, 529 markings/sec, 200 secs
lola: 115149 markings, 137946 edges, 527 markings/sec, 205 secs
lola: 117839 markings, 141224 edges, 538 markings/sec, 210 secs
lola: 120748 markings, 144773 edges, 582 markings/sec, 215 secs
lola: 123491 markings, 148164 edges, 549 markings/sec, 220 secs
lola: 126211 markings, 151515 edges, 544 markings/sec, 225 secs
lola: 128882 markings, 154824 edges, 534 markings/sec, 230 secs
lola: 131621 markings, 158272 edges, 548 markings/sec, 235 secs
lola: 134296 markings, 161608 edges, 535 markings/sec, 240 secs
lola: 136946 markings, 164870 edges, 530 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573 + p572 + p571 + p570 + p569 + p568 + p567 + p566 + p565 + p564 + p563 + p562 + p561 + p560 + p559)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: ========================================
lola: subprocess 10 will run for 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2422 markings, 3133 edges, 484 markings/sec, 0 secs
lola: 5023 markings, 7442 edges, 520 markings/sec, 5 secs
lola: 7584 markings, 11477 edges, 512 markings/sec, 10 secs
lola: 10078 markings, 15827 edges, 499 markings/sec, 15 secs
lola: 12713 markings, 20533 edges, 527 markings/sec, 20 secs
lola: 15339 markings, 24881 edges, 525 markings/sec, 25 secs
lola: 17900 markings, 29223 edges, 512 markings/sec, 30 secs
lola: 20510 markings, 33735 edges, 522 markings/sec, 35 secs
lola: 23091 markings, 37978 edges, 516 markings/sec, 40 secs
lola: 25794 markings, 42724 edges, 541 markings/sec, 45 secs
lola: 28420 markings, 47274 edges, 525 markings/sec, 50 secs
lola: 31145 markings, 52083 edges, 545 markings/sec, 55 secs
lola: 33796 markings, 56811 edges, 530 markings/sec, 60 secs
lola: 36479 markings, 61916 edges, 537 markings/sec, 65 secs
lola: 39134 markings, 67347 edges, 531 markings/sec, 70 secs
lola: 41716 markings, 71822 edges, 516 markings/sec, 75 secs
lola: 44425 markings, 76975 edges, 542 markings/sec, 80 secs
lola: 47002 markings, 82107 edges, 515 markings/sec, 85 secs
lola: 49603 markings, 87020 edges, 520 markings/sec, 90 secs
lola: 52321 markings, 92142 edges, 544 markings/sec, 95 secs
lola: 54928 markings, 97808 edges, 521 markings/sec, 100 secs
lola: 57467 markings, 103113 edges, 508 markings/sec, 105 secs
lola: 60011 markings, 107639 edges, 509 markings/sec, 110 secs
lola: 62632 markings, 112869 edges, 524 markings/sec, 115 secs
lola: 65343 markings, 118865 edges, 542 markings/sec, 120 secs
lola: 68128 markings, 124352 edges, 557 markings/sec, 125 secs
lola: 70727 markings, 130210 edges, 520 markings/sec, 130 secs
lola: 73358 markings, 135635 edges, 526 markings/sec, 135 secs
lola: 76039 markings, 141698 edges, 536 markings/sec, 140 secs
lola: 78701 markings, 147450 edges, 532 markings/sec, 145 secs
lola: 81452 markings, 152552 edges, 550 markings/sec, 150 secs
lola: 84048 markings, 157795 edges, 519 markings/sec, 155 secs
lola: 86678 markings, 163322 edges, 526 markings/sec, 160 secs
lola: 89324 markings, 168852 edges, 529 markings/sec, 165 secs
lola: 91988 markings, 174384 edges, 533 markings/sec, 170 secs
lola: 94603 markings, 179567 edges, 523 markings/sec, 175 secs
lola: 97220 markings, 185599 edges, 523 markings/sec, 180 secs
lola: 99836 markings, 190978 edges, 523 markings/sec, 185 secs
lola: 102385 markings, 196114 edges, 510 markings/sec, 190 secs
lola: 105146 markings, 202238 edges, 552 markings/sec, 195 secs
lola: 107779 markings, 207171 edges, 527 markings/sec, 200 secs
lola: 110497 markings, 213006 edges, 544 markings/sec, 205 secs
lola: 113173 markings, 218612 edges, 535 markings/sec, 210 secs
lola: 115810 markings, 224130 edges, 527 markings/sec, 215 secs
lola: 118419 markings, 229936 edges, 522 markings/sec, 220 secs
lola: 121155 markings, 235710 edges, 547 markings/sec, 225 secs
lola: 123669 markings, 240874 edges, 503 markings/sec, 230 secs
lola: 126302 markings, 246748 edges, 527 markings/sec, 235 secs
lola: 128838 markings, 251923 edges, 507 markings/sec, 240 secs
lola: 131423 markings, 257236 edges, 517 markings/sec, 245 secs
lola: 133984 markings, 262911 edges, 512 markings/sec, 250 secs
lola: 136411 markings, 268360 edges, 485 markings/sec, 255 secs
lola: 138858 markings, 273402 edges, 489 markings/sec, 260 secs
lola: 141329 markings, 278532 edges, 494 markings/sec, 265 secs
lola: 143895 markings, 283943 edges, 513 markings/sec, 270 secs
lola: 146476 markings, 289573 edges, 516 markings/sec, 275 secs
lola: 148963 markings, 294851 edges, 497 markings/sec, 280 secs
lola: 151475 markings, 300816 edges, 502 markings/sec, 285 secs
lola: 153984 markings, 306017 edges, 502 markings/sec, 290 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 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p604)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 4682 markings, 5129 edges, 936 markings/sec, 0 secs
lola: 9325 markings, 10285 edges, 929 markings/sec, 5 secs
lola: 13957 markings, 15643 edges, 926 markings/sec, 10 secs
lola: 18529 markings, 21201 edges, 914 markings/sec, 15 secs
lola: 23118 markings, 26941 edges, 918 markings/sec, 20 secs
lola: 27791 markings, 32542 edges, 935 markings/sec, 25 secs
lola: 32417 markings, 37935 edges, 925 markings/sec, 30 secs
lola: 36973 markings, 43528 edges, 911 markings/sec, 35 secs
lola: 41546 markings, 49223 edges, 915 markings/sec, 40 secs
lola: 45993 markings, 55022 edges, 889 markings/sec, 45 secs
lola: 50500 markings, 60841 edges, 901 markings/sec, 50 secs
lola: 54983 markings, 66475 edges, 897 markings/sec, 55 secs
lola: 59598 markings, 72061 edges, 923 markings/sec, 60 secs
lola: 64173 markings, 77632 edges, 915 markings/sec, 65 secs
lola: 68699 markings, 83435 edges, 905 markings/sec, 70 secs
lola: 73195 markings, 89087 edges, 899 markings/sec, 75 secs
lola: 77827 markings, 95007 edges, 926 markings/sec, 80 secs
lola: 82365 markings, 100786 edges, 908 markings/sec, 85 secs
lola: 86908 markings, 106368 edges, 909 markings/sec, 90 secs
lola: 91447 markings, 111984 edges, 908 markings/sec, 95 secs
lola: 96004 markings, 117847 edges, 911 markings/sec, 100 secs
lola: 100474 markings, 123648 edges, 894 markings/sec, 105 secs
lola: 104949 markings, 129288 edges, 895 markings/sec, 110 secs
lola: 109417 markings, 134978 edges, 894 markings/sec, 115 secs
lola: 114047 markings, 140982 edges, 926 markings/sec, 120 secs
lola: 118528 markings, 146406 edges, 896 markings/sec, 125 secs
lola: 123137 markings, 152347 edges, 922 markings/sec, 130 secs
lola: 127687 markings, 158360 edges, 910 markings/sec, 135 secs
lola: 132186 markings, 164802 edges, 900 markings/sec, 140 secs
lola: 136792 markings, 171067 edges, 921 markings/sec, 145 secs
lola: 141484 markings, 176879 edges, 938 markings/sec, 150 secs
lola: 146031 markings, 182364 edges, 909 markings/sec, 155 secs
lola: 150558 markings, 188338 edges, 905 markings/sec, 160 secs
lola: 155153 markings, 194245 edges, 919 markings/sec, 165 secs
lola: 159848 markings, 200714 edges, 939 markings/sec, 170 secs
lola: 164432 markings, 206544 edges, 917 markings/sec, 175 secs
lola: 169063 markings, 212190 edges, 926 markings/sec, 180 secs
lola: 173612 markings, 217840 edges, 910 markings/sec, 185 secs
lola: 178114 markings, 223877 edges, 900 markings/sec, 190 secs
lola: 182790 markings, 229893 edges, 935 markings/sec, 195 secs
lola: 187322 markings, 235883 edges, 906 markings/sec, 200 secs
lola: 191904 markings, 241841 edges, 916 markings/sec, 205 secs
lola: 196334 markings, 247876 edges, 886 markings/sec, 210 secs
lola: 200959 markings, 253538 edges, 925 markings/sec, 215 secs
lola: 205466 markings, 258962 edges, 901 markings/sec, 220 secs
lola: 209886 markings, 264574 edges, 884 markings/sec, 225 secs
lola: 214393 markings, 270056 edges, 901 markings/sec, 230 secs
lola: 218854 markings, 276093 edges, 892 markings/sec, 235 secs
lola: 223321 markings, 281905 edges, 893 markings/sec, 240 secs
lola: 227793 markings, 287636 edges, 894 markings/sec, 245 secs
lola: 232442 markings, 293815 edges, 930 markings/sec, 250 secs
lola: 237013 markings, 300010 edges, 914 markings/sec, 255 secs
lola: 241396 markings, 305844 edges, 877 markings/sec, 260 secs
lola: 245767 markings, 311551 edges, 874 markings/sec, 265 secs
lola: 250330 markings, 317670 edges, 913 markings/sec, 270 secs
lola: 254688 markings, 323261 edges, 872 markings/sec, 275 secs
lola: 259229 markings, 329232 edges, 908 markings/sec, 280 secs
lola: 263740 markings, 335135 edges, 902 markings/sec, 285 secs
lola: 268288 markings, 341509 edges, 910 markings/sec, 290 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 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p635)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 4632 markings, 5077 edges, 926 markings/sec, 0 secs
lola: 9217 markings, 10148 edges, 917 markings/sec, 5 secs
lola: 13808 markings, 15460 edges, 918 markings/sec, 10 secs
lola: 18345 markings, 20972 edges, 907 markings/sec, 15 secs
lola: 22833 markings, 26580 edges, 898 markings/sec, 20 secs
lola: 27512 markings, 32197 edges, 936 markings/sec, 25 secs
lola: 32087 markings, 37589 edges, 915 markings/sec, 30 secs
lola: 36651 markings, 43159 edges, 913 markings/sec, 35 secs
lola: 41200 markings, 48796 edges, 910 markings/sec, 40 secs
lola: 45658 markings, 54631 edges, 892 markings/sec, 45 secs
lola: 50184 markings, 60490 edges, 905 markings/sec, 50 secs
lola: 54724 markings, 66105 edges, 908 markings/sec, 55 secs
lola: 59367 markings, 71759 edges, 929 markings/sec, 60 secs
lola: 64006 markings, 77420 edges, 928 markings/sec, 65 secs
lola: 68584 markings, 83290 edges, 916 markings/sec, 70 secs
lola: 73165 markings, 89057 edges, 916 markings/sec, 75 secs
lola: 77812 markings, 94989 edges, 929 markings/sec, 80 secs
lola: 82344 markings, 100759 edges, 906 markings/sec, 85 secs
lola: 86887 markings, 106338 edges, 909 markings/sec, 90 secs
lola: 91449 markings, 111986 edges, 912 markings/sec, 95 secs
lola: 96022 markings, 117868 edges, 915 markings/sec, 100 secs
lola: 100507 markings, 123687 edges, 897 markings/sec, 105 secs
lola: 105009 markings, 129367 edges, 900 markings/sec, 110 secs
lola: 109531 markings, 135117 edges, 904 markings/sec, 115 secs
lola: 114217 markings, 141225 edges, 937 markings/sec, 120 secs
lola: 118801 markings, 146809 edges, 917 markings/sec, 125 secs
lola: 123408 markings, 152684 edges, 921 markings/sec, 130 secs
lola: 128070 markings, 158898 edges, 932 markings/sec, 135 secs
lola: 132612 markings, 165276 edges, 908 markings/sec, 140 secs
lola: 137211 markings, 171605 edges, 920 markings/sec, 145 secs
lola: 141877 markings, 177378 edges, 933 markings/sec, 150 secs
lola: 146467 markings, 182932 edges, 918 markings/sec, 155 secs
lola: 151040 markings, 188956 edges, 915 markings/sec, 160 secs
lola: 155696 markings, 194948 edges, 931 markings/sec, 165 secs
lola: 160327 markings, 201308 edges, 926 markings/sec, 170 secs
lola: 164974 markings, 207225 edges, 929 markings/sec, 175 secs
lola: 169646 markings, 212920 edges, 934 markings/sec, 180 secs
lola: 174244 markings, 218731 edges, 920 markings/sec, 185 secs
lola: 178750 markings, 224708 edges, 901 markings/sec, 190 secs
lola: 183284 markings, 230486 edges, 907 markings/sec, 195 secs
lola: 188044 markings, 236987 edges, 952 markings/sec, 200 secs
lola: 192657 markings, 242978 edges, 923 markings/sec, 205 secs
lola: 197225 markings, 249045 edges, 914 markings/sec, 210 secs
lola: 201879 markings, 254562 edges, 931 markings/sec, 215 secs
lola: 206438 markings, 260352 edges, 912 markings/sec, 220 secs
lola: 210897 markings, 265703 edges, 892 markings/sec, 225 secs
lola: 215466 markings, 271511 edges, 914 markings/sec, 230 secs
lola: 220027 markings, 277767 edges, 912 markings/sec, 235 secs
lola: 224492 markings, 283321 edges, 893 markings/sec, 240 secs
lola: 229031 markings, 289087 edges, 908 markings/sec, 245 secs
lola: 233682 markings, 295706 edges, 930 markings/sec, 250 secs
lola: 238134 markings, 301452 edges, 890 markings/sec, 255 secs
lola: 242682 markings, 307664 edges, 910 markings/sec, 260 secs
lola: 247126 markings, 313472 edges, 889 markings/sec, 265 secs
lola: 251721 markings, 319522 edges, 919 markings/sec, 270 secs
lola: 256171 markings, 325346 edges, 890 markings/sec, 275 secs
lola: 260744 markings, 331355 edges, 915 markings/sec, 280 secs
lola: 265353 markings, 337335 edges, 922 markings/sec, 285 secs
lola: 269898 markings, 343729 edges, 909 markings/sec, 290 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 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2443 markings, 2442 edges, 489 markings/sec, 0 secs
lola: 4830 markings, 4914 edges, 477 markings/sec, 5 secs
lola: 7227 markings, 7522 edges, 479 markings/sec, 10 secs
lola: 9621 markings, 10093 edges, 479 markings/sec, 15 secs
lola: 12000 markings, 12651 edges, 476 markings/sec, 20 secs
lola: 14422 markings, 15557 edges, 484 markings/sec, 25 secs
lola: 16795 markings, 18421 edges, 475 markings/sec, 30 secs
lola: 19170 markings, 21358 edges, 475 markings/sec, 35 secs
lola: 21600 markings, 24330 edges, 486 markings/sec, 40 secs
lola: 23990 markings, 27337 edges, 478 markings/sec, 45 secs
lola: 26403 markings, 30443 edges, 483 markings/sec, 50 secs
lola: 28780 markings, 33372 edges, 475 markings/sec, 55 secs
lola: 31165 markings, 36227 edges, 477 markings/sec, 60 secs
lola: 33575 markings, 39195 edges, 482 markings/sec, 65 secs
lola: 35975 markings, 42290 edges, 480 markings/sec, 70 secs
lola: 38391 markings, 45250 edges, 483 markings/sec, 75 secs
lola: 40778 markings, 48231 edges, 477 markings/sec, 80 secs
lola: 43184 markings, 51300 edges, 481 markings/sec, 85 secs
lola: 45607 markings, 54708 edges, 485 markings/sec, 90 secs
lola: 48001 markings, 57878 edges, 479 markings/sec, 95 secs
lola: 50393 markings, 61342 edges, 478 markings/sec, 100 secs
lola: 52792 markings, 64410 edges, 480 markings/sec, 105 secs
lola: 55198 markings, 67310 edges, 481 markings/sec, 110 secs
lola: 57601 markings, 70176 edges, 481 markings/sec, 115 secs
lola: 60022 markings, 73632 edges, 484 markings/sec, 120 secs
lola: 62403 markings, 76961 edges, 476 markings/sec, 125 secs
lola: 64774 markings, 80216 edges, 474 markings/sec, 130 secs
lola: 67112 markings, 83165 edges, 468 markings/sec, 135 secs
lola: 69523 markings, 86580 edges, 482 markings/sec, 140 secs
lola: 71889 markings, 89557 edges, 473 markings/sec, 145 secs
lola: 74279 markings, 92569 edges, 478 markings/sec, 150 secs
lola: 76666 markings, 95506 edges, 477 markings/sec, 155 secs
lola: 79068 markings, 98465 edges, 480 markings/sec, 160 secs
lola: 81448 markings, 101526 edges, 476 markings/sec, 165 secs
lola: 83802 markings, 104504 edges, 471 markings/sec, 170 secs
lola: 86183 markings, 107543 edges, 476 markings/sec, 175 secs
lola: 88586 markings, 110515 edges, 481 markings/sec, 180 secs
lola: 90976 markings, 113653 edges, 478 markings/sec, 185 secs
lola: 93368 markings, 116688 edges, 478 markings/sec, 190 secs
lola: 95786 markings, 120128 edges, 484 markings/sec, 195 secs
lola: 98174 markings, 123653 edges, 478 markings/sec, 200 secs
lola: 100572 markings, 126820 edges, 480 markings/sec, 205 secs
lola: 102954 markings, 130002 edges, 476 markings/sec, 210 secs
lola: 105334 markings, 133379 edges, 476 markings/sec, 215 secs
lola: 107786 markings, 136544 edges, 490 markings/sec, 220 secs
lola: 110170 markings, 139959 edges, 477 markings/sec, 225 secs
lola: 112496 markings, 142901 edges, 465 markings/sec, 230 secs
lola: 114849 markings, 145919 edges, 471 markings/sec, 235 secs
lola: 117236 markings, 149366 edges, 477 markings/sec, 240 secs
lola: 119599 markings, 152864 edges, 473 markings/sec, 245 secs
lola: 121972 markings, 156341 edges, 475 markings/sec, 250 secs
lola: 124311 markings, 159649 edges, 468 markings/sec, 255 secs
lola: 126715 markings, 162581 edges, 481 markings/sec, 260 secs
lola: 129077 markings, 165551 edges, 472 markings/sec, 265 secs
lola: 131440 markings, 168866 edges, 473 markings/sec, 270 secs
lola: 133813 markings, 172011 edges, 475 markings/sec, 275 secs
lola: 136162 markings, 175360 edges, 470 markings/sec, 280 secs
lola: 138530 markings, 178340 edges, 474 markings/sec, 285 secs
lola: 140923 markings, 181664 edges, 479 markings/sec, 290 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 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2483 markings, 3512 edges, 497 markings/sec, 0 secs
lola: 5019 markings, 8013 edges, 507 markings/sec, 5 secs
lola: 7559 markings, 12859 edges, 508 markings/sec, 10 secs
lola: 9942 markings, 17510 edges, 477 markings/sec, 15 secs
lola: 12315 markings, 22476 edges, 475 markings/sec, 20 secs
lola: 14537 markings, 27757 edges, 444 markings/sec, 25 secs
lola: 17078 markings, 33693 edges, 508 markings/sec, 30 secs
lola: 19329 markings, 38349 edges, 450 markings/sec, 35 secs
lola: 21645 markings, 43480 edges, 463 markings/sec, 40 secs
lola: 24175 markings, 48707 edges, 506 markings/sec, 45 secs
lola: 26640 markings, 54314 edges, 493 markings/sec, 50 secs
lola: 28837 markings, 58594 edges, 439 markings/sec, 55 secs
lola: 31119 markings, 63908 edges, 456 markings/sec, 60 secs
lola: 33560 markings, 69287 edges, 488 markings/sec, 65 secs
lola: 36008 markings, 74630 edges, 490 markings/sec, 70 secs
lola: 38405 markings, 80453 edges, 479 markings/sec, 75 secs
lola: 40848 markings, 86487 edges, 489 markings/sec, 80 secs
lola: 43144 markings, 91847 edges, 459 markings/sec, 85 secs
lola: 45390 markings, 97868 edges, 449 markings/sec, 90 secs
lola: 47678 markings, 103209 edges, 458 markings/sec, 95 secs
lola: 50173 markings, 109213 edges, 499 markings/sec, 100 secs
lola: 52409 markings, 115114 edges, 447 markings/sec, 105 secs
lola: 54532 markings, 120210 edges, 425 markings/sec, 110 secs
lola: 56660 markings, 126133 edges, 426 markings/sec, 115 secs
lola: 58939 markings, 131892 edges, 456 markings/sec, 120 secs
lola: 61241 markings, 137215 edges, 460 markings/sec, 125 secs
lola: 63647 markings, 142637 edges, 481 markings/sec, 130 secs
lola: 65856 markings, 147790 edges, 442 markings/sec, 135 secs
lola: 68220 markings, 154078 edges, 473 markings/sec, 140 secs
lola: 70485 markings, 159953 edges, 453 markings/sec, 145 secs
lola: 72845 markings, 165919 edges, 472 markings/sec, 150 secs
lola: 75315 markings, 172757 edges, 494 markings/sec, 155 secs
lola: 77588 markings, 177882 edges, 455 markings/sec, 160 secs
lola: 79860 markings, 184113 edges, 454 markings/sec, 165 secs
lola: 82050 markings, 190416 edges, 438 markings/sec, 170 secs
lola: 84338 markings, 196451 edges, 458 markings/sec, 175 secs
lola: 86959 markings, 202185 edges, 524 markings/sec, 180 secs
lola: 89201 markings, 207865 edges, 448 markings/sec, 185 secs
lola: 91802 markings, 213921 edges, 520 markings/sec, 190 secs
lola: 94352 markings, 220274 edges, 510 markings/sec, 195 secs
lola: 96854 markings, 226188 edges, 500 markings/sec, 200 secs
lola: 99359 markings, 232371 edges, 501 markings/sec, 205 secs
lola: 101547 markings, 238311 edges, 438 markings/sec, 210 secs
lola: 104027 markings, 244214 edges, 496 markings/sec, 215 secs
lola: 106618 markings, 251235 edges, 518 markings/sec, 220 secs
lola: 109132 markings, 256173 edges, 503 markings/sec, 225 secs
lola: 111570 markings, 263062 edges, 488 markings/sec, 230 secs
lola: 113856 markings, 270029 edges, 457 markings/sec, 235 secs
lola: 116129 markings, 276268 edges, 455 markings/sec, 240 secs
lola: 118466 markings, 281768 edges, 467 markings/sec, 245 secs
lola: 120861 markings, 286554 edges, 479 markings/sec, 250 secs
lola: 123153 markings, 293959 edges, 458 markings/sec, 255 secs
lola: 125735 markings, 301163 edges, 516 markings/sec, 260 secs
lola: 128260 markings, 307158 edges, 505 markings/sec, 265 secs
lola: 130587 markings, 313840 edges, 465 markings/sec, 270 secs
lola: 133044 markings, 320542 edges, 491 markings/sec, 275 secs
lola: 135392 markings, 326522 edges, 470 markings/sec, 280 secs
lola: 137793 markings, 332401 edges, 480 markings/sec, 285 secs
lola: 140020 markings, 337536 edges, 445 markings/sec, 290 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 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2224 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: 2415 markings, 2414 edges, 483 markings/sec, 0 secs
lola: 4783 markings, 4867 edges, 474 markings/sec, 5 secs
lola: 7188 markings, 7482 edges, 481 markings/sec, 10 secs
lola: 9574 markings, 10042 edges, 477 markings/sec, 15 secs
lola: 11955 markings, 12601 edges, 476 markings/sec, 20 secs
lola: 14355 markings, 15474 edges, 480 markings/sec, 25 secs
lola: 16732 markings, 18338 edges, 475 markings/sec, 30 secs
lola: 19089 markings, 21259 edges, 471 markings/sec, 35 secs
lola: 21506 markings, 24212 edges, 483 markings/sec, 40 secs
lola: 23886 markings, 27211 edges, 476 markings/sec, 45 secs
lola: 26294 markings, 30319 edges, 482 markings/sec, 50 secs
lola: 28663 markings, 33244 edges, 474 markings/sec, 55 secs
lola: 31028 markings, 36059 edges, 473 markings/sec, 60 secs
lola: 33445 markings, 39031 edges, 483 markings/sec, 65 secs
lola: 35836 markings, 42063 edges, 478 markings/sec, 70 secs
lola: 38240 markings, 45064 edges, 481 markings/sec, 75 secs
lola: 40633 markings, 48049 edges, 479 markings/sec, 80 secs
lola: 43057 markings, 51133 edges, 485 markings/sec, 85 secs
lola: 45469 markings, 54506 edges, 482 markings/sec, 90 secs
lola: 47867 markings, 57678 edges, 480 markings/sec, 95 secs
lola: 50253 markings, 61176 edges, 477 markings/sec, 100 secs
lola: 52630 markings, 64196 edges, 475 markings/sec, 105 secs
lola: 55034 markings, 67139 edges, 481 markings/sec, 110 secs
lola: 57415 markings, 69954 edges, 476 markings/sec, 115 secs
lola: 59844 markings, 73376 edges, 486 markings/sec, 120 secs
lola: 62242 markings, 76722 edges, 480 markings/sec, 125 secs
lola: 64625 markings, 80036 edges, 477 markings/sec, 130 secs
lola: 66981 markings, 82988 edges, 471 markings/sec, 135 secs
lola: 69405 markings, 86412 edges, 485 markings/sec, 140 secs
lola: 71780 markings, 89433 edges, 475 markings/sec, 145 secs
lola: 74242 markings, 92525 edges, 492 markings/sec, 150 secs
lola: 76666 markings, 95506 edges, 485 markings/sec, 155 secs
lola: 79102 markings, 98506 edges, 487 markings/sec, 160 secs
lola: 81528 markings, 101657 edges, 485 markings/sec, 165 secs
lola: 83909 markings, 104634 edges, 476 markings/sec, 170 secs
lola: 86305 markings, 107692 edges, 479 markings/sec, 175 secs
lola: 88710 markings, 110672 edges, 481 markings/sec, 180 secs
lola: 91092 markings, 113808 edges, 476 markings/sec, 185 secs
lola: 93502 markings, 116840 edges, 482 markings/sec, 190 secs
lola: 95923 markings, 120323 edges, 484 markings/sec, 195 secs
lola: 98307 markings, 123850 edges, 477 markings/sec, 200 secs
lola: 100694 markings, 126999 edges, 477 markings/sec, 205 secs
lola: 103144 markings, 130272 edges, 490 markings/sec, 210 secs
lola: 105587 markings, 133726 edges, 489 markings/sec, 215 secs
lola: 107974 markings, 136814 edges, 477 markings/sec, 220 secs
lola: 110388 markings, 140238 edges, 483 markings/sec, 225 secs
lola: 112792 markings, 143280 edges, 481 markings/sec, 230 secs
lola: 115200 markings, 146424 edges, 482 markings/sec, 235 secs
lola: 117632 markings, 149957 edges, 486 markings/sec, 240 secs
lola: 120018 markings, 153517 edges, 477 markings/sec, 245 secs
lola: 122413 markings, 156996 edges, 479 markings/sec, 250 secs
lola: 124816 markings, 160261 edges, 481 markings/sec, 255 secs
lola: 127243 markings, 163244 edges, 485 markings/sec, 260 secs
lola: 129660 markings, 166318 edges, 483 markings/sec, 265 secs
lola: 132061 markings, 169556 edges, 480 markings/sec, 270 secs
lola: 134474 markings, 172982 edges, 483 markings/sec, 275 secs
lola: 136855 markings, 176201 edges, 476 markings/sec, 280 secs
lola: 139239 markings, 179230 edges, 477 markings/sec, 285 secs
lola: 141660 markings, 182731 edges, 484 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown 15 unknown unknown unknown unknown unknown unknown 15 unknown unknown unknown unknown unknown unknown
FORMULA SafeBus-COL-15-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-2 15 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-9 15 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-15-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494807852087

--------------------
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="SafeBus-COL-15"
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/SafeBus-COL-15.tgz
mv SafeBus-COL-15 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 SafeBus-COL-15, 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 r068-csrt-149440963200200"
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 ;